[논문 리뷰] Fractional Vector-Valued Littlewood-Paley-Stein Theory for Semigroups

José L. Torrea, Jiawen Zhang|arXiv (Cornell University)|2011. 05. 30.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 범주형 공간에 값이 있는 함수에 대해, 파oisson 반군의 분수 도함수를 정의하여 일반화된 분수 리틀우드–페이리 $g$-함수, 영역 함수, 그리고 $g^*_{\rho}$-함수를 도입한다. 이들 연산자의 $L^p$-공간에서의 유계성은 기저 범주형 공간의 루신 코타입 $q$ 성질을 특징짓며, 이는 분수 차수와 무관하다. 또한 거의 확실히 유한성과 루신 코타입 간의 연관성을 규명한다. 주요 부산물로는 거의 어디에서나 존재하는 특이 적분을 통한 UMD 공간의 새로운 특성화가 도출된다.

ABSTRACT

We consider the fractional derivative of a general Poisson semigroup. With this fractional derivative we define the generalized fractional Littlewood-Paley $g$-function for semigroups acting on $L^p$-spaces of functions with values in Banach spaces. We give a characterization of the classes of Banach spaces for which the fractional Litlewood-Paley $g$-function is bounded on $L^p$-spaces. We show that the class of Banach spaces is independent of the order of derivation and coincides with the classical (Lusin type/cotype) case. It is also shown that the same kind of results exist for the case of the fractional area function and the fractional $g^*_λ$-function on $\mathbb{R}^n$. At last, we consider the relationship of the almost sure finiteness of the fractional Littlewood-Paley $g$-function, area function and $g^*_λ$-function with the Lusin cotype property of the underlying Banach space. As a byproduct of the techniques developed, one can get some results of independent interest for vector-valued Calderón--Zygmund operators. For example, one can get the following characterization, a Banach space $\mathbb{B}$ is UMD if and only if for some (or, equivalently, for every) $p\in [1,\infty)$, $\displaystyle \lim_{ε ightarrow 0} \int_{|x-y|> ε} \frac{f(y)}{x-y}dy $ exists extup{a.e.} $x\in \mathbb{R}$ for every $f\in L^p_\mathbb{B}(\mathbb{R}).$

연구 동기 및 목표

• 클래식한 리틀우드–페이리 이론을 파oisson 반군의 분수 도함수에 대해 확장하여, 범주형 공간에 값이 있는 함수에 작용하는 경우를 다루는 것.
• 일반화된 분수 $g$-함수가 $L^p$-공간에서 유계가 되는 범주형 공간을 특징짓는 것.
• 기저 범주형 공간의 루신 코타입 성질과 분수 제곱 함수의 거의 확실히 유한성 간의 관계를 조사하는 것.
• 벡터-값 $L^p$-공간에서 특이 적분의 거의 어디에서나 존재함을 통해 UMD 공간의 새로운 특성화를 수립하는 것.

제안 방법

• 감마 함수를 포함하는 적분 표현을 통해 파oisson 반군의 분수 도함수를 정의한다.
• 이 분수 도함수를 사용하여 일반화된 분수 리틀우드–페이리 $g$-함수, 영역 함수, $g^*_{\rho}$-함수를 도입한다.
• 스펙트럼 이론과 Calderón–Zygmund 분해 기법을 활용하여, 범주형 공간에 값이 있는 $L^p$-공간에서의 이들 연산자의 유계성을 분석한다.
• 최대 함수 추정과 약한 유형 $(1,1)$ 유계성 추정을 적용하여, 연산자의 거의 어디에서나 유한성과 루신 코타입 성질 간의 관계를 규명한다.
• 매끄러운 절단 함수를 사용한 정규화 기법을 통해 최대 특이 적분 연산자의 제어를 하고, 이를 하디–라이틀우드 최대 함수와 연결한다.
• 기존의 쌍대성 및 보간 결과를 활용하여, 분수 제곱 함수의 유계성이 고전적 경우와 동일한 범주형 공간의 클래스를 특징짓는다는 것을 보인다.

실험 결과

연구 질문

• RQ1 어떤 범주형 공간에서 분수 리틀우드–페이리 $g$-함수가 $1 < p < \infty$ 에서 $L^p$-공간에서 유계가 되는가?
• RQ2 분수 $g$-함수가 유계가 되는 범주형 공간의 집합은 분수 도함수의 차수에 따라 달라지는가?
• RQ3 분수 $g$-함수의 거의 확실히 유한성과 기저 범주형 공간의 루신 코타입 성질 간의 관계는 무엇인가?
• RQ4 벡터-값 설정에서 $\lim_{\varepsilon \to 0^+} \int_{|x-y| > \varepsilon} \frac{f(y)}{x-y} dy$ 의 거의 어디에서나 존재함이 UMD 공간을 특징짓는가?

주요 결과

• 분수 $g$-함수가 $L^p$-공간에서 유계가 되는 범주형 공간의 집합은 분수 차수 $\alpha$ 와 무관하며, 고전적 루신 코타입 $q$ 클래스와 정확히 일치한다.
• 동일한 유계성 결과는 $\mathbb{R}^n$ 에서의 분수 영역 함수와 분수 $g^*_{\lambda}$-함수에도 적용되며, 동일한 특성화를 갖는다.
• 분수 $g$-함수, 영역 함수, $g^*_{\lambda}$-함수의 거의 확실히 유한성은 기저 범주형 공간이 루신 코타입 $q$ 를 갖는다는 것을 의미하며, 그 역도 성립한다.
• 범주형 공간 $\mathbb{B}$ 는 어떤 (또는 모든) $p \in [1,\infty)$ 에 대해, 모든 $f \in L^p_{\mathbb{B}}(\mathbb{R})$ 에 대해 $\lim_{\varepsilon \to 0^+} \int_{|x-y| > \varepsilon} \frac{f(y)}{x-y} dy$ 가 거의 어디에서나 존재할 때, 그리고 그 때에만 UMD이다.
• 개발된 기법들을 통해, 벡터-값 설정에서 힐버트 변환의 거의 어디에서나 존재함을 통해 UMD 공간의 새로운 특성화를 도출할 수 있다.
• 결과들은 벡터-값 캘러손–지그문트 연산자로까지 확장되며, 최대 특이 적분의 거의 어디에서나 존재함이 약한 유형 $(1,1)$ 유계성과 따라서 UMD 성질을 유도한다는 것을 보여준다.