[논문 리뷰] Square functions in the Hermite setting for functions with values in UMD spaces

Jorge J. Betancor, Alejandro J. Castro외 3명|arXiv (Cornell University)|2012. 03. 07.

Advanced Harmonic Analysis Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 $1 < p < \infty$ 인 경우 르베그-보흐너 공간 $L^p(\mathbb{R}^n, B)$ 가 $H = L^2((0,\infty), dt/t)$ 에 값이 있는 $\gamma$-라돈이행 연산자 $\gamma(H, B)$ 에 값을 갖는 헤르mite 리틀우드-파일스 $g$-함수의 유계성에 의해 특징지워진다는 것을 증명한다. 또한, 바나흐 공간 $B$ 가 UMD 이라는 것과 이 $g$-함수들이 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로 유계임이 동치임을 증명한다. 이러한 결과는 UMD 공간에 값이 있는 경우 유클리드 설정에서의 제곱 함수 이론을 헤르미트 설정으로 확장한다.

ABSTRACT

In this paper we characterize the Lebesgue Bochner spaces $L^p(\mathbb{R}^n,B)$, $1

연구 동기 및 목표

• 1 < p < \infty 인 경우 $L^p(\mathbb{R}^n, B)$ 의 보흐너-르베그 공간을 $\gamma(H, B)$ 에 값을 갖는 헤르미트 리틀우드-파일스 $g$-함수를 사용하여 특징짓는 것.
• 헤르미트 $g$-함수의 유계성이 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로의 사상에서의 유계성에 의해 UMD 바나흐 공간이 특징지워지는 새로운 특징을 설정하는 것.
• UMD 바나흐 공간에 값이 있는 함수에 대해 유클리드 설정에서의 제곱 함수 이론을 헤르미트 설정으로 확장하는 것.
• 스펙트럼 다중화자와 특이 적분이 헤르미트 설정에서의 맥락에서 $\gamma$-라돈이행 연산자의 역할을 조사하는 것.

제안 방법

• 저자들은 헤르미트 연산자 $\mathscr{L} = -\Delta + |x|^2$ 에 의해 생성되는 파oisson 반군 $\{P_t^\mathscr{L}\}_{t>0}$ 을 사용하여 헤르미트 리틀우드-파일스 $g$-함수 $g_\mathscr{L}(f)(x) = \left(\int_0^\infty \left|t \frac{\partial}{\partial t} P_t^\mathscr{L}(f)(x)\right|^2 \frac{dt}{t}\right)^{1/2}$ 를 정의한다.
• 벡터 값 설정에서 $g$-함수의 목적지 공간으로서, $H = L^2((0,\infty), dt/t)$ 에서 바나흐 공간 $B$ 로의 $\gamma$-라돈이행 연산자 $\gamma(H, B)$ 의 공간을 도입한다.
• 핵심 기술 도구로는 헤르미트 열핵 $W_t^\mathscr{L}(x,y)$ 에 대한 메플러 공식, 파oisson 핵에 대한 순서화 공식, 그리고 도함수 $\left|\left(\frac{\partial}{\partial x_j} \pm x_j\right)W_u^\mathscr{L}(x,y)\right|$ 의 점별 추정이 포함된다.
• 저자들은 $T_{j,\pm}^\mathscr{L}$ 를 $T_{j,\pm}^\mathscr{L}(f)(x,t) = t \left(\frac{\partial}{\partial x_j} \pm x_j\right) P_t^\mathscr{L}(f)(x)$ 로 정의하고, $B$ 가 UMD 공간일 경우 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로의 유계성을 보인다.
• 저자들은 $g$-함수를 리프스 변환 $R_j^\pm$ 과 항등식 $\mathscr{G}_{\mathscr{L}\pm 2,B}(R_j^\pm(f)) = \mp t \left(\frac{\partial}{\partial x_j} \pm x_j\right) P_t^\mathscr{L}(f)$ 를 통해 연결하여, UMD 공간에서 $R_j^\pm$ 의 $L^p$ 유계성에 대해 알려진 결과를 활용한다.
• 저자들은 $B$ 가 UMD 공간이 되는 것과 $g$-함수 $g_\mathscr{L}$ 가 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로 유계임이 동치임을 증명함으로써, UMD 공간의 새로운 특징을 설정한다.

실험 결과

연구 질문

• RQ1 1 < p < \infty 인 경우, 보흐너-르베그 공간 $L^p(\mathbb{R}^n, B)$ 는 $\gamma(H, B)$ 에 값을 갖는 헤르미트 리틀우드-파일스 $g$-함수를 사용하여 특징지워질 수 있는가?
• RQ2 $\gamma$-라돈이행 연산자가 바나흐 공간 값 함수에 대한 제곱 함수 이론을 헤르미트 설정으로 확장하는 데 어떤 역할을 하는가?
• RQ3 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로의 헤르미트 $g$-함수의 유계성이 바나흐 공간 $B$ 의 UMD 성질과 동치인가?
• RQ4 헤르미트 설정에서의 리프스 변환 $R_j^\pm$ 이 $g$-함수와 $\gamma$-라돈이행 연산자와 어떻게 관련되어 있는가?
• RQ5 $n$ 과 $B$ 에 어떤 조건이 성립할 경우, 연산자 $T_{j,-}^\mathscr{L}$ 가 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로 유계가 되는가?

주요 결과

• 헤르미트 리틀우드-파일스 $g$-함수 $g_\mathscr{L}(f)$ 는 $f \in L^p(\mathbb{R}^n)$ 이고 $1 < p < \infty$ 일 때, $\|f\|_{L^p(\mathbb{R}^n)} \asymp \|g_\mathscr{L}(f)\|_{L^p(\mathbb{R}^n)}$ 의 동치성을 만족하며, 이는 고전 결과를 헤르미트 설정으로 확장한다.
• 바나흐 공간 $B$ 에 대해, 공간 $L^p(\mathbb{R}^n, B)$ 는 $\gamma(H, B)$ 에 값을 갖는 $g$-함수의 유계성에 의해 특징지워지며, 즉 $\|f\|_{L^p(\mathbb{R}^n, B)} \asymp \|g_\mathscr{L}(f)\|_{L^p(\mathbb{R}^n, \gamma(H, B))}$ 이다.
• 연산자 $T_{j,\pm}^\mathscr{L}$ 는 $T_{j,\pm}^\mathscr{L}(f)(x,t) = t \left(\frac{\partial}{\partial x_j} \pm x_j\right) P_t^\mathscr{L}(f)(x)$ 로 정의되며, $B$ 가 UMD 공간일 경우 $1 < p < \infty$ 에 대해 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로 유계이다.
• $T_{j,+}^\mathscr{L}$ 의 유계성은 모든 $n \geq 1$ 에 대해 성립하지만, $T_{j,-}^\mathscr{L}$ 는 커널 도함수의 성장 추정에 의해 $n \geq 3$ 이 필요하다.
• 바나흐 공간 $B$ 가 UMD 이라는 것과 $L^p(\mathbb{R}^n, B)$ 에서 $L^p(\mathbb{R}^n, \gamma(H, B))$ 로의 헤르미트 $g$-함수의 유계성이 동치임은, $1 < p < \infty$ 에 대해 어떤 값이라도 성립하며, 이는 UMD 공간의 새로운 특징을 제공한다.
• 헤르미트 설정에서의 리프스 변환 $R_j^\pm$ 이 $L^p(\mathbb{R}^n, B)$ 에서 $1 < p < \infty$ 에 대해 유계임은 $B$ 가 UMD 공간일 때에만 성립하며, 이 성질은 $\gamma$-라돈이행 연산자 프레임워크를 통해 관련된 $g$-함수의 유계성과 연결되어 있다.