[논문 리뷰] Riesz transforms outside a convex obstacle

Rowan Killip, Monica Vişan외 1명|arXiv (Cornell University)|2012. 05. 25.

Advanced Mathematical Physics Problems참고 문헌 35인용 수 4

한 줄 요약

이 논문은 $d \geq 3$ 차원에서 부드러운 볼록 장애물의 외부 영역에서 딜리클레 라플라스 연산자에 대해 리에즈 변환의 날카운 $L^p$ 유계성과 동차 소볼레프 노름의 등가성을 확립한다. 열핵 추정, 스펙트럼 이론 및 반례를 이용하여, 리에즈 변환이 $1 < p < d$ 에서 $L^p$ 에서는 유계이지만 $p > d$ 에서는 무한한 것으로 증명한다. $p = d$ 에서의 끝점은 미해결 상태로 남아 있다. 이러한 결과들은 고전적인 유클리드 조화해석 도구를 외부 영역 설정으로 이전할 수 있게 하며, 에너지 임계 비선형 슈뢰딩거 방정식에의 응용이 가능하다.

ABSTRACT

The goal of this paper is to develop some basic harmonic analysis tools for the Dirichlet Laplacian in the exterior domain associated to a smooth convex obstacle in dimensions $d\geq 3$. Specifically, we will discuss analogues of the Mikhlin Multiplier Theorem, Littlewood-Paley Theory, and Hardy inequalities, culminating in a proof that homogeneous Sobolev norms defined with respect to the Dirichlet and whole-space Laplacians are equivalent for the sharp ranges of integrability exponent $p$ and regularity $s$. Counterexamples are included to show that these results are indeed sharp. In particular, we precisely settle the question of boundedness of Riesz transforms on $L^p$, including the endpoint. The utility of such results in the study of nonlinear PDE is that they allow us to deduce important results, such as the fractional product and chain rules for the Dirichlet Laplacian, directly from the classical Euclidean setting. As an application, we discuss the local well-posedness and stability problems for energy-critical NLS. All the results of this paper play an essential role in the authors' proof of large-data global well-posedness and scattering for the energy-critical NLS in three dimensional exterior domains; see arXiv:1208:4904.

연구 동기 및 목표

• 부드러운 볼록 장애물의 외부 영역에서 딜리클레 라플라스 연산자에 대해 조화해석 도구—미크힐린 스펙트럼 이론, 리틀우드-팔리 이론, 하디 부등식—을 개발하기 위해.
• 외부 영역에서 딜리클레 라플라스 연산자에 대해 리에즈 변환의 날카운 $L^p$ 유계성을 확립하고, 끝점까지 포함하기 위해.
• 정확한 $p$ 및 $s$ 범위에서, 딜리클레 라플라스 연산자와 전체 공간 라플라스 연산자를 통한 정의된 동차 소볼레프 노름 $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ 과 $\|(-\Delta_{\mathbb{R}^d})^{s/2}f\|_{L^p}$ 의 등가성을 증명하기 위해.
• 리에즈 변환의 $L^p$ 유계성 결과의 날카움을 보여주기 위해 반례를 제시하기 위해.
• 고전적인 유클리드 조화해석 결과를 외부 영역 설정으로 이전할 수 있도록 하여, 에너지 임계 NLS와 같은 비선형 PDE의 분석을 촉진하기 위해.

제안 방법

• 스펙트럼 이론과 딜리클레 라플라스 연산자 $-\Delta_\Omega$ 의 함수해석학적 계산을 이용하여, $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ 를 통해 동차 소볼레프 노름을 정의한다.
• 열핵 추정과 인수분해 $\sqrt{t}\nabla e^{t\Delta_\Omega} = [\nabla(-\Delta_{\mathbb{R}^d})^{-1/2}][(-\Delta_{\mathbb{R}^d})^{1/2}(-\Delta_\Omega)^{-1/2}][(-t\Delta_\Omega)^{1/2}e^{t\Delta_\Omega}]$ 를 적용하여 외부 영역 및 유클리드 열 흐름을 연결한다.
• 특정 테스트 함수 $u(t,x) = (1 - |x|^{2-d})g(t,x)$ 를 사용한 모순 증명을 통해, $p > d$ 에서 $L^p$ 유계성이 성립하지 않음을 보여준다. 여기서 $g$ 는 가우시안 열 해이다.
• 콤���트 지지가 있는 $\psi \in C_c^\infty(\mathbb{R}^d)$ 를 사용하여 $\int \psi = 0$, $\int x\psi = 0$ 이며, 수열 $f_R$ 를 구성함으로써 $\|(-\Delta_{\mathbb{R}^d})^{s/2}f_R\|_{L^p} \gtrsim 1$ 이지만 $\|(-\Delta_\Omega)^{s/2}f_R\|_{L^p} \to 0$ 이 되도록 하여, 소볼레프 노름 등가성의 날카운 성질을 증명한다.
• 하디 부등식과 경계 추론 정리를 적용하여, $H^1_D(\Omega)$ 에서 열방정식의 해에 대한 경계에서의 소멸성과 정규성을 보장한다.
• 스펙트럼 정리를 활용하여, $L^2(\Omega)$ 에서 자기수반 연산자로 $(-\Delta_\Omega)^{s/2}$ 를 정의하며, 정의역은 $H^1_D(\Omega)$ 이다.

실험 결과

연구 질문

• RQ1 부드러운 볼록 장애물의 외부 영역에서 $d \geq 3$ 차원에서 딜리클레 라플라스 연산자에 대해 리에즈 변환이 $L^p(\Omega)$ 에서 어떤 $p \in (1, \infty)$ 에서 유계인가?
• RQ2 함수 $f \in C_c^\infty(\Omega)$ 에 대해, 동차 소볼레프 노름 $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ 과 $\|(-\Delta_{\mathbb{R}^d})^{s/2}f\|_{L^p}$ 는 등가인가? 그리고 $p$ 와 $s$ 의 어떤 범위에서 성립하는가?
• RQ3 모든 $t > 0$ 에 대해 균일 추정 $\|\sqrt{t}\nabla e^{t\Delta_\Omega}f\|_{L^p} \lesssim \|f\|_{L^p}$ 이 성립하는 최적의 $p$ 범위는 무엇인가?
• RQ4 리에즈 변환의 $L^p$ 유계성이 $p > d$ 에서 실패함을 보여주는 반례를 구성할 수 있는가?
• RQ5 미크힐린 스펙트럼 이론과 리틀우드-팔리 이론과 같은 고전적인 조화해석 도구는 어느 정도까지 딜리클레 라플라스 연산자에 대해 외부 영역 설정으로 확장되는가?

주요 결과

• 부드러운 볼록 장애물의 외부 영역에서 $d \geq 3$ 차원에서 딜리클레 라플라스 연산자에 대해 리에즈 변환이 $1 < p < d$ 에서 $L^p$ 에서는 유계이지만 $p > d$ 에서는 무한하며, 끝점 $p = d$ 는 여전히 미해결 상태이다.
• 함수 $f \in C_c^\infty(\Omega)$ 에 대해, 동차 소볼레프 노름 $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ 과 $\|(-\Delta_{\mathbb{R}^d})^{s/2}f\|_{L^p}$ 는 정확히 $1 < p < d$ 이고 $s \in (0, d/p)$ 일 때 등가이며, 이 범위는 날카롭다.
• 모든 $t > 0$ 에 대해 균일 추정 $\|\sqrt{t}\nabla e^{t\Delta_\Omega}f\|_{L^p} \lesssim \|f\|_{L^p}$ 이 성립하는 것은 $p < d$ 일 때에만 성립하며, $p > d$ 에서는 실패한다. 이는 편향된 가우시안 열 해를 사용한 모순 증명으로 입증되었다.
• 반례를 통해 리에즈 변환의 $L^p$ 유계성이 $p > d$ 에서 실패함을 보였으며, 소볼레프 노름 등가성의 날카움은 수열 $f_R$ 을 통해 확인되었는데, 이때 $\|(-\Delta_{\mathbb{R}^d})^{s/2}f_R\|_{L^p} \gtrsim 1$ 이지만 $\|(-\Delta_\Omega)^{s/2}f_R\|_{L^p} \to 0$ 이다. $R \to \infty$ 일 때 성립한다.
• 결과들은 고전적인 유클리드 조화해석 도구—예를 들어 분수 차수의 곱셈 법칙 및 연쇄 법칙—을 딜리클레 라플라스 연산자로 직접 이전할 수 있게 하며, 외부 영역에서 에너지 임계 비선형 슈뢰딩거 방정식의 국소 적으로 잘 정의된 해와 안정성에 대한 새로운 증명을 가능하게 한다.
• 논문은 스펙트럼 이론을 통한 $\dot{H}_D^{s,p}(\Omega)$ 의 정의와 $\dot{H}^{s,p}(\mathbb{R}^d)$ 의 제한을 통한 정의가 $s < 3/2$ 에서 등가임을 증명하였으며, $s=1$ 의 경우를 통해 $s \leq 1$ 으로 확장된다.