[논문 리뷰] Harmonic Analysis Operators Associated with Multidimensional Bessel Operators

Jorge J. Betancor, Alejandro J. Castro외 1명|arXiv (Cornell University)|2010. 03. 01.

Advanced Harmonic Analysis Research참고 문헌 29인용 수 3

한 줄 요약

이 논문은 다차원 베셀 연산자의 열 반군과 관련된 최대 연산자 및 리틀우드-파일리 g-함수의 약한 유형 (1,1) 유계성을 확립하고, 모든 $1 < p < ∞$ 에 대해 다차원 베셀 설정에서 리에즈 변환의 강한 유형 (p,p) 및 약한 유형 (1,1) 유계성을 증명한다. 결과들은 가중 측도 공간과 이진 분해 기법을 사용하여 고차원 베셀 맥락으로 고전적 조화해석을 확장한다.

ABSTRACT

In this paper we establish that the maximal operator and the Littlewood-Paley g-function associated with the heat semigroup defined by multidimensional Bessel operators are of weak type (1,1). Also, we prove that Riesz transforms in the multidimensional Bessel setting are of strong type (p,p), for every $1

연구 동기 및 목표

• 최대 연산자, 리틀우드-파일리 g-함수, 리에즈 변환과 같은 조화해석 연산자를 다차원 베셀 설정으로 확장한다.
• 측도 $\prod x_j^{2\lambda_j} dx$ 에 대한 가중 $L^p$ 공간에서 이러한 연산자의 약한 유형 (1,1) 및 강한 유형 (p,p) 유계성을 확립한다.
• 일차원 베셀 조화해석 결과를 열 반군 이론과 리에즈 변환 이론을 활용하여 고차원($n \geq 2$)으로 일반화한다.
• 다차원 베셀 설정에서 핵심 조화해석 연산자(최대 연산자, g-함수, 리에즈 변환)에 대한 완전한 $L^p$-유계성 이론을 제공하고, 열 반군의 거의 모든 곳에서의 수렴을 포함한다.

제안 방법

• 노와크와 스토그렌(2010)의 기법을 변형하여 이진 분해와 약한 유형 추정을 통해 최대 연산자의 약한 유형 (1,1) 유계성을 증명한다.
• 다차원 베셀 연산자 $\Delta_{\lambda_1,\dots,\lambda_n}$ 에 의해 생성되는 열 반군 $\{W_t^{\lambda_1,\dots,\lambda_n}\}_{t>0}$ 를 사용하였으며, 이는 측도 $m_{\lambda_1,\dots,\lambda_n}$ 에 대해 대칭 확산 반군이다.
• 리틀우드-파일리 g-함수를 $g^{\lambda_1,\dots,\lambda_n}(f)(x) = \left(\int_0^\infty \left|t \frac{\partial}{\partial t} W_t^{\lambda_1,\dots,\lambda_n}(f)(x)\right|^2 \frac{dt}{t}\right)^{1/2}$ 로 정의하고, 그 약한 유형 (1,1) 유계성을 증명한다.
• 리에즈 변환 $R_i^{\lambda_1,\dots,\lambda_n}$ 을 인수분해 $\Delta_{\lambda_i} = \left(\frac{d}{dx_i}\right)^* \frac{d}{dx_i}$ 를 통해 정의하고, 최대 함수 추정과 이진 분해를 사용하여 $L^p$-유계성을 증명한다.
• 이진 입자 $\prod_{j=1}^n [2^{m_j}, 2^{m_j+1})$ 를 사용하여 연산자를 국소화하고, 최대 함수 추정을 통해 약한 유형 노름을 통제한다.
• 최대 연산자 및 g-함수의 $L^p$-유계성과 $L^1$-약한 추정을 조합하여, $1 < p < \infty$ 에 대해 리에즈 변환의 $L^p$-유계성을 유도하고, 보간법과 표준 극한 추론을 통해 약한 유형 (1,1)을 얻는다.

실험 결과

연구 질문

• RQ1 다차원 베셀 열 반군과 관련된 최대 연산자가 측도 $\prod x_j^{2\lambda_j} dx$ 에 대해 약한 유형 (1,1)인가?
• RQ2 다차원 베셀 열 반군과 관련된 리틀우드-파일리 g-함수는 $L^1$ 을 약한 $L^1$ 으로 매핑하는가?
• RQ3 다차원 베셀 설정에서 리에즈 변환은 모든 $1 < p < \infty$ 에 대해 $L^p$ 에서 유계인가?
• RQ4 다차원 베셀 설정에서 리에즈 변환은 약한 유형 (1,1)인가?
• RQ5 다차원 베셀 연산자와 관련된 열 반군은 $L^p$ 함수에 대해 거의 모든 곳에서 수렴하는가?

주요 결과

• 최대 연산자 $W_*^{\lambda_1,\dots,\lambda_n}$ 은 측도 $m_{\lambda_1,\dots,\lambda_n}$ 에 대해 약한 유형 (1,1)이며, 즉 $\|W_*^{\lambda_1,\dots,\lambda_n}(f)\|_{L^{1,\infty}} \leq C \|f\|_{L^1}$ 이다.
• 리틀우드-파일리 g-함수 $g^{\lambda_1,\dots,\lambda_n}$ 은 $L^1((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 에서 약한 $L^1((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 로 유계이다.
• 모든 $1 < p < \infty$ 에 대해 리에즈 변환 $R_i^{\lambda_1,\dots,\lambda_n}$ 은 $L^p((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 에서 유계이다.
• 리에즈 변환 $R_i^{\lambda_1,\dots,\lambda_n}$ 은 약한 유형 (1,1)이며, 즉 $\|R_i^{\lambda_1,\dots,\lambda_n}(f)\|_{L^{1,\infty}} \leq C \|f\|_{L^1}$ 이다.
• 모든 $f \in L^p((0,\infty)^n, \prod x_j^{2\lambda_j} dx)$ 에 대해 $1 \leq p < \infty$ 이면 열 반군이 $\lim_{t \to 0^+} W_t^{\lambda_1,\dots,\lambda_n}(f)(x) = f(x)$ 거의 모든 곳 $x \in (0,\infty)^n$ 에서 수렴한다.
• 리에즈 변환은 거의 모든 곳에서 주로값 적분으로 잘 정의된다: $R_i^{\lambda_1,\dots,\lambda_n}(f)(x) = \lim_{\varepsilon \to 0^+} \int_{|x-y| > \varepsilon} R_i^{\lambda_1,\dots,\lambda_n}(x,y) f(y) dy$ 거의 모든 곳 $x \in (0,\infty)^n$ 에서.