[논문 리뷰] Musielak-Orlicz Campanato Spaces and Applications

Yiyu Liang, Dachun Yang|arXiv (Cornell University)|2013. 01. 29.

Advanced Harmonic Analysis Research참고 문헌 35인용 수 6

한 줄 요약

이 논문은 변수 Orlicz 함수 $\varphi(x,t)$ 와 $A_\infty$ 가중수를 사용하여 일반화된 고전적 Campanato 및 BMO 공간을 도입하고, Musielak-Orlicz 하드스페이스 $H^\varphi(\mathbb{R}^n)$ 와의 쌍대성 관계를 수립한다. 주요 결과로는 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 대한 John-Nirenberg 부등식이 도출되며, 이는 $\varphi$-Carleson 측도의 특성화로 이어지고, 변동형 지수 및 가중치 설정으로까지 쌍대성 이론을 확장한다.

ABSTRACT

Let $φ: \mathbb R^n imes [0,\infty) o[0,\infty)$ be such that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty(\mathbb R^n)$ weight uniformly in $t$. In this article, the authors introduce the Musielak-Orlicz Campanato space ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$ and, as an application, prove that some of them is the dual space of the Musielak-Orlicz Hardy space $H^φ(\mathbb R^n)$, which in the case when $q=1$ and $s=0$ was obtained by L. D. Ky [arXiv: 1105.0486]. The authors also establish a John-Nirenberg inequality for functions in ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$ and, as an application, the authors also obtain several equivalent characterizations of ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$, which, in return, further induce the $φ$-Carleson measure characterization of ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$.

연구 동기 및 목표

• 고전적 Campanato 및 BMO 공간을 변수 Orlicz 함수 $\varphi(x,t)$ 와 $A_\infty$ 가중수를 사용하여 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 로 일반화한다.
• 기존의 $q=1$, $s=0$ 경우에 대한 결과를 확장하여 Musielak-Orlicz 하드스페이스 $H^\varphi(\mathbb{R}^n)$ 와 공간 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 간의 쌍대성을 수립한다.
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 속하는 함수에 대한 John-Nirenberg 유형의 부등식을 증명하여, 이러한 공간을 특성화하는 데 핵심적인 도구를 제공한다.
• $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 의 등가 특성화를 도출하고, 이를 통해 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 대한 $\varphi$-Carleson 측도 특성화를 얻는다.

제안 방법

• $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 을 구간 $B$ 에서의 $f - P_B^s f$ 의 $L^q$ 반준위의 상한으로 정의하며, $|B|^{-\beta}$ 로 정규화하고 $\beta = \frac{1}{q} - \frac{1}{q} + \text{related to } \varphi$ 를 고려한다.
• 차수 최대 $s$ 인 다항식 사영 $P_B^s f$ 를 사용하여 국소 다항식 행동을 제거함으로써 척도 불변 반준위를 확보한다.
• Calderón-Zygmund 분해와 $A_\infty$ 가중수 성질을 이용하여 분포 함수의 지수적 감쇠를 추정함으로써 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 대한 John-Nirenberg 부등식을 증명한다.
• 이중 분해, 텐트 공간 노름, 원자 분해를 이용하여 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 의 등가 특성화를 수립한다.
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 을 $\varphi$-Carleson 측도와 연결하기 위해 제곱 함수 $\phi_t * b$ 의 노름을 사용하며, $\|d\mu\|_\varphi \lesssim \|b\|_{\mathcal{L}_{\varphi,1,s}}$ 를 보인다.
• 원자 분해와 Plancherel 공식을 이용한 쌍대성 추론을 통해 $\|f\|_{H^\varphi} \|d\mu\|_\varphi \gtrsim \left|\int f \bar{b} \, dx\right|$ 를 증명함으로써 $b \in \mathcal{L}_{\varphi,1,s}$ 임을 보인다.

실험 결과

연구 질문

• RQ1 고전적 $H^1(\mathbb{R}^n)$ 과 $\mathrm{BMO}(\mathbb{R}^n)$ 간의 쌍대성은 Musielak-Orlicz 하드스페이스 및 Campanato 공간으로 확장될 수 있는가?
• RQ2 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에서 John-Nirenberg 부등식이 성립하는가? 이는 고전적 경우를 일반화하는가?
• RQ3 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 의 등가 특성화는 텐트 공간 노름 또는 원자 분해로 어떻게 기술할 수 있는가?
• RQ4 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 대한 $\varphi$-Carleson 측도 특성화는 제곱 함수 추정과 쌍대성으로 유도될 수 있는가?
• RQ5 변수 $\varphi$ 에 대해 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 이나 기존의 가중 BMO 또는 Orlicz BMO 공간과 어떻게 관련이 있는가?

주요 결과

• $\varphi(x,\cdot)$ 가 Orlicz 함수이고 $\varphi(\cdot,t)$ 가 모든 $t$ 에 대해 $A_\infty(\mathbb{R}^n)$ 가중수로 일관되게 유지될 경우, Musielak-Orlicz Campanato 공간 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 는 잘 정의된다.
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 대해 John-Nirenberg 부등식이 성립하며, 이는 $f - P_B^s f$ 의 분포 함수가 지수적으로 감쇠함을 의미하며, 쌍대성에 핵심적이다.
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 는 Musielak-Orlicz 하드스페이스 $H^\varphi(\mathbb{R}^n)$ 과 쌍대임을 보이며, 고전적 쌍대성 $H^1(\mathbb{R}^n)^* = \mathrm{BMO}(\mathbb{R}^n)$ 를 일반화한다.
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 에 대한 $\varphi$-Carleson 측도 특성화가 수립됨: 측도 $d\mu$ 가 $\varphi$-Carleson이 되기 위한 필요충분조건은 모든 $b \in \mathcal{L}_{\varphi,1,s}$ 에 대해 $\|d\mu\|_\varphi \lesssim \|b\|_{\mathcal{L}_{\varphi,1,s}}$ 를 만족하는 것이다.
• Ky(2011)의 이전 결과를 $q \in [1,\infty)$ 와 $s \in \mathbb{Z}_+$ 의 전체 범위로 확장하며, 제곱 함수 및 텐트 공간을 통한 새로운 특성화를 제공한다.
• $\varphi(x,t) = w(x)t$ 이고 $w \in A_1(\mathbb{R}^n)$, $p \in (0,1)$ 인 경우에 결과가 새로운 것으로, 비표준 가중수 및 지수로의 확장에 있어 새로운 기여를 한다.