Characterization of weights for the variable fractional maximal operator and weighted inequalities for variable fractional rough operators

기술적 요약: 가변 분수 최대 연산자에 대한 가중치 특성화 및 가변 분수 거친 연산자에 대한 가중 부등식

문제 제기
본 논문은 가변 르베그 공간 $L^{p(\cdot)}(\mathbb{R}^n)$ 에서 가변 분수 최대 연산자 $M_{\beta(\cdot), r(\cdot)}$ 의 유계성을 위해 필요한 가중치 클래스의 특성화를 다룬다. 이전 연구들 (예: Diening 등, Melchiori 와 Pradolini) 은 지수에 대한 로그 - Hölder 연속성 조건 하에서 이러한 연산자들의 무가중 유계성을 확립했으나, 가중 이론은 불완전한 상태였다. 구체적으로, 가변 지수 $p(\cdot), q(\cdot), r(\cdot)$ 및 $\beta(\cdot)$ 를 가진 분수 설정으로 고전적인 Muckenhoupt $A_p$ 클래스와 가변 $A_{p(\cdot)}$ 클래스를 일반화하는 가중치 클래스를 정의할 필요성이 있었다. furthermore, 본 논문은 가변 Hormander 유형의 조건을 도입하고 이에 상응하는 가중 부등식을 확립함으로써, 거친 특이 적분 연산자 이론을 가변 분수 맥락으로 확장하고자 한다.

방법론
저자들은 가변 르베그 공간에서의 조화 분석 기법들을 결합하여 적용한다:

1. 가변 지수 분석: 이 연구는 가변 르베그 공간 $L^{p(\cdot)}$ 의 속성, 특히 Hardy-Littlewood 최대 연산자의 유계성을 보장하고 일반화된 Hölder 부등식 및 정육면체의 특성 함수에 대한 노름 추정을 가능하게 하는 로그 - Hölder 연속성 조건 ($p(\cdot) \in P_{log}$) 에 크게 의존한다.
2. 가중치 특성화: $A_{p(\cdot), r(\cdot)}$ 로 표시되는 새로운 가중치 클래스가 정의된다. 이 클래스는 다음 조건으로 특성화된다:
   $$\|\chi_Q \omega\|_{p(\cdot)} \|\chi_Q \omega^{-1}\|_{q(\cdot)} \leq C \|\chi_Q\|_{r(\cdot)}$$
   여기서 $1/r(\cdot) = 1/p(\cdot) + 1/q(\cdot)$ 이다. 저자들은 이러한 가중치와 연산자 유계성 사이의 관계를 규명하기 위해 외삽 정리와 희소 지배 기법을 활용한다.
3. 커널 조건: 본 논문은 Hormander 조건의 가변 버전 ($H_{\beta(\cdot), r(\cdot)}$) 과 크기 조건 ($S_{\beta(\cdot), r(\cdot)}$) 을 도입한다. 이러한 조건들은 가변 지수로 정의된 고리 (annuli) 위의 커널 차이의 노름을 포함하며, 고전적인 $L^r$-Hormander 조건을 가변 설정으로 일반화한다.
4. Coifman-Fefferman 부등식: 저자들은 이러한 새로운 조건을 만족하는 커널을 가진 적분 연산자들이 가변 분수 최대 연산자 $M_{\beta(\cdot), r'(\cdot)}$ 에 의해 점근적으로 지배됨을 증명한다. 이 지배는 가중 최대 연산자로부터 적분 연산자로 가중 추정을 이전할 수 있게 한다.
5. 반례 및 엄격한 포함 관계: 도입된 조건의 날카로움을 입증하기 위해 저자들은 특정 커널을 구성하여 서로 다른 Hormander 클래스 간의 포함 관계 (예: $s(\cdot) > r(\cdot)$ 일 때 $H_{s(\cdot)} \subsetneq H_{r(\cdot)}$) 가 엄격함을 보인다.

주요 기여 및 결과

1. $M_{\beta(\cdot), r(\cdot)}$ 에 대한 가중치 특성화:
   주요 결과 (정리 1.6) 는 가변 분수 최대 연산자 $M_{\beta(\cdot), r(\cdot)}: L^{p(\cdot)}(\omega) \to L^{q(\cdot)}(\omega)$ 의 가중 유계성이 가중치 $\omega$ 가 클래스 $A_{q(\cdot), \frac{\beta(\cdot)r(\cdot)}{\beta(\cdot)-r(\cdot)}}$ 에 속할 때만 성립함을 확립한다. 이 결과는 고전적 분수 최대 연산자와 $r(\cdot) \equiv 1$ 인 경우에 대한 이전 발견들을 일반화한다.

2. 가변 Hormander 조건:
   본 논문은 $H_{\beta(\cdot), r(\cdot)}$ 및 $S_{\beta(\cdot), r(\cdot)}$ 클래스를 정의한다. 커널 $K$ 가 $H_{\beta(\cdot), r(\cdot)}$ 에 속하고 크기 조건 $S_{\beta(\cdot), r(\cdot)}$ 을 만족하면, 연관된 적분 연산자 $T_{\beta(\cdot)}$ 가 최대 연산자 $M_{\beta(\cdot), r'(\cdot)}$ 에 의해 지배됨을 보인다.

3. 거친 연산자에 대한 가중 부등식:
   Coifman-Fefferman 부등식 (정리 1.12 및 1.14) 을 사용하여, 저자들은 가변 설정에서 거친 커널을 가진 적분 연산자에 대한 가중 강한 유형 추정을 증명한다. 구체적으로, $\omega \in A_{p(\cdot)}$ 이면 $\|Tf\omega\|_{p(\cdot)} \lesssim \|f\omega\|_{p(\cdot)}$ 이 성립한다. 분수 사례에서는 $\omega \in A_{q(\cdot), \frac{\beta(\cdot)r'(\cdot)}{\beta(\cdot)-r'(\cdot)}}$ 조건 하에서 $L^{p(\cdot)}$ 에서 $L^{q(\cdot)}$ 로 매핑되는 연산자에 대한 가중 추정이 유도된다.

4. BMO 추정:
   본 논문은 연산자 $T_{\beta(\cdot)}$ 에 대한 가중 BMO 추정 (정리 1.17) 을 제공하며, 이는 가중치와 지수에 대한 적절한 조건 하에서 $\|T_{\beta(\cdot)}f\|_{*, \omega} \lesssim \|\omega f\|_{\beta(\cdot)}$ 임을 보인다.

5. 예시 및 엄격한 포함 관계:
   제 4 절은 새로운 가변 조건을 만족하는 커널의 명시적 예시를 제공한다. 중요하게도, 저자들은 클래스 $H_{r(\cdot)}$ 가 공집합이 아니며, $s(\cdot) > r(\cdot)$ 일 때 포함 관계 $H_{s(\cdot)} \subsetneq H_{r(\cdot)}$ 가 엄격함을 증명하여, 새로운 조건들이 상수 지수 대응물들과 본질적으로 구별되며 더 일반적임을 확인한다.

의의
본 논문은 가중 부등식 이론을 가변 분수 설정으로 확장하여, 이전 결과들이 무가중 공간이나 상수 지수로 제한되었던 문헌의 공백을 메운다. $A_{p(\cdot), r(\cdot)}$ 클래스와 가변 Hormander 조건을 도입함으로써, 저자들은 가변 르베그 공간에서 최대 연산자와 거친 적분 연산자 모두를 분석하기 위한 통합된 프레임워크를 제공한다. 이 결과들은 고전적 분수 최대 연산자와 표준 $L^r$-Hormander 조건에 대한 알려진 정리를 일반화하여, 비표준 성장 설정에서의 조화 분석을 위한 더 유연한 도구 세트를 제공한다. 특정 커널의 구성은 도입된 조건의 필요성과 날카로움을 검증하는 역할을 한다.