[논문 리뷰] The boundedness of some operators with rough kernel on the weighted Morrey spaces

Hua Wang|arXiv (Cornell University)|2010. 11. 26.

Advanced Harmonic Analysis Research참고 문헌 7인용 수 12

한 줄 요약

이 논문은 무게 함수가 부여된 모레이 공간 $L^{p,\rho}(w)$ 위에서 노드가 무거운 동차 핵을 가진 특이 적분, 마르친키에비치 적분, 그리고 그들의 공역자에 대해 무게 함수의 적분성 조건과 무게 클래스에 대해 정확한 조건 하에 가중치가 부여된 유계성을 확립한다. 이는 $q' \leq p < \infty$ 및 $w \in A_{p/q'}$ 조건 하에 연산자 $T_{\bigwedge}$, $M_{\bigwedge}$, $\mu_{\bigwedge}$ 및 그들의 $BMO$ 함수에 대한 공역자들이 $L^{p,\kappa}(w)$ 위에서 유계임을 증명하며, 고전적 결과를 가중치가 부여된 모레이 공간 설정으로 확장하고 최적의 지수 범위를 제공한다.

ABSTRACT

Let $Ω\in L^q(S^{n-1})$ with $1

연구 동기 및 목표

• 무거운 특이 및 최대 연산자의 유계성 이론을 가중치가 부여된 모레이 공간 설정으로 확장한다.
• 모레이 공간 $L^{p,\kappa}(w)$ 위에서 동차 특이 적분 $T_{\Omega}$ 및 최대 연산자 $M_{\Omega}$ 의 최적 $L^p$ 유계성을 $\Omega \in L^q(S^{n-1})$, $1 < q < \infty$, 및 $w \in A_{p/q'}$ 조건 하에 확립한다.
• 동일한 가중치 모레이 공간 위에서 $b \in BMO(\mathbb{R}^n)$ 인 경우에 대해 공역자 연산자 $[b, T_{\Omega}]$ 및 $[b, \mu_{\Omega}]$ 의 유계성을 조사한다.
• 연산자가 여전히 유계일 수 있는 지수 $p$ 와 무게 클래스 $A_p$ 의 최적 범위를 결정하며, 특히 공역자에 대해 $p > q'$ 인 최적의 임계값을 규명한다.

제안 방법

• 연산자의 크기를 볼록 영역 주변에서 제어하기 위해 이중 분해와 켈더론-지그문드 분해 기법을 활용한다.
• 가중치가 부여된 약한 유계성 및 $A_p$ 무게에 대한 역 헬더 부등식을 사용하여 이중 볼록 영역 위에서 최대 함수의 성장을 제어한다.
• $BMO$ 함수의 존-니레버그 부등식을 활용하여 공역자 항목에서 $b$ 의 진동을 제어한다.
• 핵심 추정은 이중 볼록 영역을 통해 연산자의 $L^{p,\kappa}(w)$-노름을 유계화하고, $A_p$ 조건을 사용하여 수준 집합의 가중치 측도를 제어하는 데 사용된다.
• 혼합 지수 $p$, $p'$, $q'$ 를 사용한 헬더 부등식을 통해 커널 $\Omega$ 의 $L^q$-적분 가능성과 $b$ 의 $BMO$ 노름을 다룬다.
• 공역자 유계성의 증명은 커널을 국소화된 부분들로 나누고, 각 부분을 $BMO$ 노름과 커널의 무한대에서의 감쇠성으로 추정하는 데 사용된다.

실험 결과

연구 질문

• RQ1 무거운 커널 $\Omega$ 와 무게 함수 $w$ 가 어떤 조건을 만족할 경우 최대 연산자 $M_{\Omega}$ 는 가중치 모레이 공간 $L^{p,\kappa}(w)$ 위에서 유계일까?
• RQ2 모레이 공간 $L^{p,\kappa}(w)$ 위에서 $q' \leq p < \infty$ 및 $w \in A_{p/q'}$ 조건 하에 동차 특이 적분 $T_{\Omega}$ 는 유계일까?
• RQ3 함수 $b \in BMO(\mathbb{R}^n)$ 이고 $w \in A_{p/q'}$ 일 때, 공역자 연산자 $[b, T_{\Omega}]$ 와 $[b, \mu_{\Omega}]$ 는 $L^{p,\kappa}(w)$ 위에서 유계일까?
• RQ4 공역자 $[b, \mu_{\Omega}]$ 가 $L^{p,\kappa}(w)$ 위에서 유계로 유지될 수 있는 최적의 지수 $p$ 범위는 무엇이며, 이는 $\Omega \in L^q(S^{n-1})$ 에 따라 어떻게 달라지는가?
• RQ5 무게 함수 $w \in A_{p/q'}$ 조건 하에 $\mu_{\Omega}$ 와 그 공역자의 유계성 결과를 $1 < q \leq \infty$ 와 $q' < p < \infty$ 의 전체 범위로 확장할 수 있는가?

주요 결과

• 최대 연산자 $M_{\Omega}$ 는 모든 $q' \leq p < \infty$, $w \in A_{p/q'}$, 및 $0 < \kappa < 1$ 조건 하에 $L^{p,\kappa}(w)$ 위에서 유계이며, 이는 함수 $f$ 와 무관한 연산자 노름을 가진다.
• 동차 특이 적분 $T_{\Omega}$ 는 $q' \leq p < \infty$, $w \in A_{p/q'}$, 및 $0 < \kappa < 1$ 조건 하에 동일한 조건에서 $L^{p,\kappa}(w)$ 위에서 유계이다.
• 공역자 $[b, T_{\Omega}]$ 는 $q' < p < \infty$, $w \in A_{p/q'}$, 및 $0 < \kappa < 1$ 조건 하에 $b \in BMO(\mathbb{R}^n)$ 이면 $L^{p,\kappa}(w)$ 위에서 유계이다.
• 마르친키에비치 적분 $\mu_{\Omega}$ 는 $q' < p < \infty$, $w \in A_{p/q'}$, 및 $0 < \kappa < 1$ 조건 하에 $\Omega \in L^q(S^{n-1})$, $1 < q \leq \infty$ 이면 $L^{p,\kappa}(w)$ 위에서 유계이다.
• 공역자 $[b, \mu_{\Omega}]$ 는 $q' < p < \infty$, $w \in A_{p/q'}$, 및 $0 < \kappa < 1$ 조건 하에 $b \in BMO(\mathbb{R}^n)$ 이고 $\Omega \in L^q(S^{n-1})$, $1 < q \leq \infty$ 이면 $L^{p,\kappa}(w)$ 위에서 유계이다.
• 결과는 $p > q'$ 조건이 공역자 연산자의 유계성에 필수적이며, 최대 및 특이 적분 연산자에 대해 $p \geq q'$ 가 최적임을 의미하여 최적성을 보장한다.