[논문 리뷰] On the analyticity of solutions to non-linear elliptic partial differential equations

Simon Blatt|arXiv (Cornell University)|2020. 09. 18.

Differential Equations and Boundary Problems참고 문헌 6인용 수 5

한 줄 요약

이 논문은 가중 $L^2$ 추정과 코시의 주요화 방법을 사용하여 완전 비선형 2차 타원 PDE의 $C^\infty$ 해의 해석성에 대한 간결하고 기본적인 증명을 제시한다. 카토 유형의 커파 함수 기법과 고차 미분 법칙을 통해 가중 미분에 대한 재귀 부등식을 유도함으로써, 저자들은 방정식이 실해석적이며 타원적임이 보장되는 임의의 점 근처에서 해가 실해석적임을 보여준다.

ABSTRACT

We give an easy proof of the fact that $C^\infty$ solutions to non-linear elliptic equations of second order $$ ϕ(x, u, D u, D^2 u)=0 $$ are analytic. Following ideas of Kato, the proof uses an inductive estimate for suitable weighted derivatives. We then conclude the proof using Cauchy's method of majorants}.

연구 동기 및 목표

• 완전 비선형 2차 타원 PDE의 $C^\infty$ 해의 해석성을 증명하기 위한 더 단순하고 자가 포함된 증명을 제공하는 것.
• 커트오프 함수와 가중 미분에 대한 재귀 추정을 사용하여 카토의 접근법을 비선형 방정식으로 확장하는 것.
• 가중 미분의 재귀 bound에 코시의 주요화 방법을 적용하여 해석성을 확립하는 것.
• 카토의 방법을 완전 비선형 시스템으로 일반화한 하시모토의 尝태적 일반화를 명확히 하고 보완하는 것.
• 방정식이 실해석적이며 타원적임이 보장되는 임의의 점 근처에서 해가 실해석적임을 보여주는 것.

제안 방법

• 고차 미분의 성장률을 국소화하고 통제하기 위해 부드러운 커파 함수 $\rho$ 를 사용하여 가중 미분 $\rho^{N} \partial^{\alpha} u$ 를 사용한다.
• 라플라스 연산자 및 그 고차 일반화에 대한 $L^2$-추정을 적용하여, Proposition 2.4 를 통해 $\|D^2 u\|_{H^m}$ 과 $\|\Delta u\|_{H^m}$ 를 연결한다.
• Banach 대수 성질을 $H^m(\mathbb{R}^n)$ 에 적용하여 노름 $\|\cdot\|_{\widetilde{H}^m}$ 을 사용해 미분의 곱을 bound 한다.
• Faà di Bruno의 공식과 일반화된 곱 법칙을 적용하여 PDE 내의 복합성에서 발생하는 비선형 항을 통제한다.
• 이항 계수와 $N$ 에 대한 다항식 성장률을 포함하는 재귀 부등식을 $M_N = \|\rho^N \partial^\alpha u\|_{\widetilde{H}^m}$ 에 대해 도출한다.
• 코시의 주요화 방법을 적용하여 재귀 수열을 해석적 ODE의 테일러 계수와 비교함으로써 factorials 감소 보장한다.

실험 결과

연구 질문

• RQ1 완전 비선형 타원 PDE의 $C^\infty$ 해의 해석성은 더 기본적이고 자가 포함된 방법으로 증명될 수 있는가?
• RQ2 카토의 커파 함수 기법($\Delta u = u^2$ 에 대해)은 임의의 비선형 타원 시스템으로 얼마나 일반화될 수 있는가?
• RQ3 가중 $L^2$ 추정과 $H^m$ 의 Banach 대수 성질은 고차 미분을 어떻게 통제할 수 있는가?
• RQ4 주요화 방법은 비선형 타원 PDE의 해석성에 대해 구축 가능한 증명을 제공하는가?
• RQ5 해석성을 주요화 비교를 통해 유도하는 데 필요한 도구가 되는 도함수 bound의 정확한 재귀적 구조는 무엇인가?

주요 결과

• 방정식이 실해석적이며 타원적임이 보장되는 임의의 점 $x_0 \in \Omega$ 근처에서 해 $u$ 는 실해석적이다.
• 가중 미분에 대한 재귀 추정 $M_N = \|\rho^N \partial^\alpha u\|_{\widetilde{H}^m}$ 은 $M_{N+1} \leq C\varepsilon M_{N+1} + C\sum_{l=1}^N \binom{N}{l} P^l(\{A_1^k k!\}, \{M_k\}) M_{N+1-l} + \text{저차항}$ 을 만족한다.
• 주요화 ODE와의 비교를 통해 도함수는 $M_N \leq \tilde{C} B^N N!$ 을 만족하며, 이는 Lemma 2.1 을 통해 해석성을 유도한다.
• 이 증명은 $C^\infty$ 해가 완전 비선형 타원 PDE에 대해 실해석적임을 보여주며, 고전 결과를 새로운 접근법으로 확인한다.
• 깊은 함수해석학을 피하고 기본적인 $L^2$ 추정, 연쇄법칙, 코시의 주요화 방법에만 의존한다.
• 방정식이 실해석적이며 $D^2u$ 에 대한 헤시안이 정정의 행렬임의 의미에서 타원적임이 보장되는 최소 조건 하에서도 결과가 성립한다.