[논문 리뷰] Real Interpolation method, Lorentz spaces and refined Sobolev inequalities

Diego Chamorro, Pierre Gilles Lemarié–Rieusset|arXiv (Cornell University)|2012. 11. 14.

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

한 줄 요약

이 논문은 실 보간 이론을 사용하여 로렌츠 공간과 베소프 공간을 포함하는 정련된 소볼레프 부등식에 대한 간결한 증명을 제공한다. 이는 로렌츠 노름이 가중된 베소프 노름의 곱으로 제어될 수 있음을 보여준다. 주요 기여는 최적의 지수를 가진 일반 부등식 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{eta,q_0}_{r_0}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}^{\theta}$ 를 보여주는 것으로, 보간을 통해 증명하고 웨이브릿을 사용하지 않은 원자 구조를 통해 최적성도 입증한다.

ABSTRACT

In this article we give a straightforward proof of refined inequalities between Lorentz spaces and Besov spaces and we generalize previous results of H. Bahouri and A. Cohen. Our approach is based in the characterization of Lorentz spaces as real interpolation spaces. We will also study the sharpness and optimality of these inequalities.

연구 동기 및 목표

• 로렌츠 공간과 베소프 공간을 포함하는 정련된 소볼레프 부등식에 대한 직접적이고 기본적인 증명을 제공하는 것.
• 바우리와 코헨의 이전 결과를 $q = r$ 에서 일반적인 $r \neq q$ 로 확장하는 것.
• 구성적 원자 예제를 사용하여 정련된 부등식의 최적성과 최적 조건을 확립하는 것.
• 로렌츠 공간을 실 보간 공간으로 특성화하여 이러한 부등식의 분석을 통합하고 단순화하는 것.

제안 방법

• 저자들은 동차 베소프 공간 사이에서의 실 보간 공간으로서 로렌츠 공간을 특성화하는 방법을 사용한다.
• 실 보간 방법을 적용하여 불등식 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r}}^{\theta}$ 를 유도한다. 여기서 $\theta = \alpha/(\alpha+\beta)$ 이다.
• 스케일링 추론을 통해 필수적인 동차 조건 $1/p = (1-\theta)/q_0 + \theta/q_1$ 를 확립한다.
• 정확성 증명을 위해, 서로소인 dyadic 정육면체에 지지된 제어된 $L^{p,r}$ 및 베소프 노름을 갖는 철저히 구성된 원자 함수 $f_L$ 이 사용된다.
• 균일한 베소프 노름 추정을 보장하기 위해, $N > \max(|\alpha|, |\beta|)$ 에 대해 0이 되는 모멘트를 갖는 매끄럽고 compactly supported 함수에 의존한다.
• 최적 조건 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ 는 부등식 체인에서 $L \to \infty$ 를 취할 때 유도되며, 더 이상 향상시킬 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 정련된 부등식 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{s,q}_{q}}^{q/p} \|f\|_{\dot{B}^{s-n/q,\infty}_{q}}^{1-q/p}$ 는 $r \neq q$ 로 일반화될 수 있는가?
• RQ2 부등식 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r_0}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}^{\theta}$ 는 일반적인 $r_0, r_1$ 에 대해 성립하는가?
• RQ3 이러한 부등식이 성립하기 위한 지수 $p, r, q_0, q_1, r_0, r_1$ 의 필수 및 충분 조건은 무엇인가?
• RQ4 웨이브릿을 피하는 구성적 예를 사용하여 부등식의 최적성을 증명할 수 있는가?
• RQ5 유도된 지수 조건 하에서 보간 공간 $[\dot{B}^{\alpha,q_0}_{r_0}, \dot{B}^{-\beta,q_1}_{r_1}]_{\theta,1}$ 이 $L^{p,r}$ 에 포함되는가?

주요 결과

• 모든 $r \in [1,\infty]$ 에 대해 부등식 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r}}^{\theta}$ 가 성립하며, 바우리와 코헨의 결과를 $r \neq q$ 로 일반화한다.
• 정확성은 함수 $f_L$ 을 구성함으로써 확인되며, 이때 $\|f_L\|_{L^{p,r}} \sim L^{1/r}$ 이고, 베소프 노름의 곱은 $L^{(1-\theta)/r_0 + \theta/r_1}$ 으로 스케일링되며, 따라서 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ 가 필수적임을 증명한다.
• 최적 조건 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ 는 정확하다: $\|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}$ 에서 더 약한 노름 $\|f\|_{\dot{B}^{-\beta,q_1}_{r}}$ 로 대체할 수 없다.
• 증명은 웨이브릿을 피하고, 오히려 베소프 공간의 원자들을 사용하여 노름 추정을 위한 더 일반적이고 접근성이 높은 구조를 제공한다.
• 저자들은 유도된 지수 조건 하에서 로렌츠 공간 $L^{p,r}$ 가 실 보간 공간 $[\dot{B}^{\alpha,q_0}_{r_0}, \dot{B}^{-\beta,q_1}_{r_1}]_{\theta,1}$ 에 포함됨을 확립한다.
• 결과적으로, $r > r_1$ 인 경우 $\|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}$ 를 더 약한 노름 $\|f\|_{\dot{B}^{-\beta,q_1}_{r}}$ 로 대체할 수 없음을 증명함으로써, 지수 $r$ 에서의 최적성도 입증한다.