[논문 리뷰] Decay estimates for Rivière's equation, with applications to regularity and compactness

Ben Sharp, Peter M. Topping|arXiv (Cornell University)|2011. 02. 03.

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

한 줄 요약

이 논문은 ℝ²의 단위 원판에서 Rivière의 임계 방정식에 대한 해에 대한 날카운 감쇠 추정을 수립하며, 조화 및 거의 조화 사상 이론을 일반화한다. 약한 해가 연결장 Ω의 L² 노름이 작을 경우 p ∈ (1,2)에 대해 W^{2,p}_{ ext{loc}}에 속함을 증명하고, 비동차 항에 대해 L ext{ln}L 유계 조건이 성립할 경우 W^{1,2}에서 컴팩턴스를 확립함으로써 기하학적 PDE의 정규성과 에너지 집중에 관한 결과를 확장한다.

ABSTRACT

We derive a selection of energy estimates for a generalisation of a critical equation on the unit disc in $\mathbb{R}^2$ introduced by Rivière. Applications include sharp regularity results and compactness theorems which generalise a large amount of previous geometric PDE theory, including some of the theory of harmonic and almost-harmonic maps from surfaces.

연구 동기 및 목표

• ℝ²의 단위 원판에서 Rivière 방정식 -\Delta u = \Omega \cdot \nabla u + f에 대한 해에 대해 날카운 L^p 정규성 추정을 수립하는 것.
• 기존의 W^{2,2} 및 C^{1,\alpha} 영역을 초월한 정규성 이론을 확장하며, 특히 L^2 연결장 설정에서의 임계 상황을 다루는 것.
• 비동차 항 f에 대해 f ∈ L\text{ln}L 조건을 만족할 경우 해의 수열이 W^{1,2}에서 컴팩턴스를 보임을 증명하는 것.
• W^{1,2}에서 에너지 집중을 배제하면서도 고차원 노름에서의 집중 가능성을 허용하고, 이러한 행동을 f에 대한 의존성으로 특성화하는 것.

제안 방법

• 가중치 Sobolev 및 Lorentz 공간 기법을 사용하여 일반화된 Rivière 방정식에 대한 L^p 에너지 추정을 유도한다.
• 비타당성 조건 \|\Omega\|_{L^2} \leq \eta_0를 적용하여 방정식의 비타당성 없는 구조를 제어하고 W^{2,p} 유계를 확보한다.
• Rellich-Kondrachov 정리를 적용하여 W^{2,p} 제어로부터 W^{1,t}에서 t < \frac{2p}{2-p}에 대해 전콤팩턴스를 유도한다.
• 새로운 흠모드 흠모드 보조정리(Lemma A.7)를 활용하여 진동 행동을 제어하고 감쇠 추정을 도출한다.
• Radon 측도 이론을 분석하여 f_n에 대해 L\text{ln}L 유계 조건이 컴팩턴스를 확보하는 데 날카로운 조건임을 보인다.
• BV 함수 이론과 측도의 미분 이론을 적용하여 |V_n|^2 및 |\nabla V_n|의 극한을 제어한다.

실험 결과

연구 질문

• RQ1 f ∈ L^p(B_1), p < 2 이고 \|\Omega\|_{L^2}가 작을 경우, Rivière 방정식의 해에 대해 날카운 W^{2,p} 정규성 추정을 수립할 수 있는가?
• RQ2 W^{1,2}(B_{1/2})에서 해의 수열이 컴팩턴스를 보이기 위해 필요한 비동차 항 f의 최적 적분 가능성은 무엇인가?
• RQ3 두 번째 도함수가 집중되더라도 f_n이 L\text{ln}L에서 유계일 경우 컴팩턴스가 유지될 수 있는가?
• RQ4 L\text{ln}L 공간이 컴팩턴스를 확보하는 데 날카로운가, 아니면 h^1과 같은 더 큰 공간으로 대체될 수 있는가?

주요 결과

• f ∈ L^p(B_1), p ∈ (1,2) 이고 \|\Omega\|_{L^2} \leq \eta_0 이면, 임의의 U \subset\subset B_1에 대해 \|u\|_{W^{2,p}(U)} \leq C(\|f\|_{L^p} + \|u\|_{L^1}) 를 만족하며, 이는 W^{2,p}_{\text{loc}} 정규성을 증명한다.
• f ∈ L^p 이면 해 u는 모든 q < \infty 에 대해 W^{1,q}_{\text{loc}} 에 속하고, C^{0,2(1-1/p)} 에도 속하며, Rupflin의 결과를 복원한다.
• \|\Omega_n\|_{L^2} \leq \eta_2, \|u_n\|_{L^1} + \|f_n\|_{L\ln L} \leq \Lambda 이면, 수열 u_n 이 W^{1,2}(B_{1/2})에서 컴팩턴스를 보이며, 부분수열을 취하면 수렴함을 의미한다.
• f_n 이 h^1에서 유계일 경우 결과가 성립하지 않음을 보여, L\text{ln}L 이 컴팩턴스 결과에 대해 날카로운 조건임을 입증한다.
• \Omega 에 대한 소형 조건이 없이 추정식 (3)이 성립하지 않음을 보였으며, 이는 \|\Omega_k\|_{L^2} 가 유계이지만 \|u_k\|_{W^{2,p}} 가 무한대가 되는 수열이 존재함을 보여준다.
• \|\nabla^2 u_n\|_{L^1} 의 집중은 f_n 이 L\text{ln}L 에서 집중될 경우에만 가능하며, 이는 고차원 집중이 비동차 항에 의존함을 연결한다.