[논문 리뷰] Symmetry and linear stability in Serrin's overdetermined problem via the stability of the parallel surface problem

Giulio Ciraolo, Rolando Magnanini외 1명|arXiv (Cornell University)|2015. 01. 29.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 3

한 줄 요약

이 논문은 병행 표면 문제의 안정성과 연결하여 Serrin의 과다결정 문제에 대한 최적의 선형 안정성을 확립한다. 병행 표면에서의 리프시츠 정규성 추정에 기반한 새로운 전략을 사용하여, 경계에서 법선 도함수가 일정할 경우 도메인이 구임을 증명하고, $C^{2,\tau}$ 영역에서 날카운 선형 안정성 추정을 제공한다.

ABSTRACT

We consider the solution of the problem $$ -Δu=f(u) \ \mbox{ and } \ u>0 \ \ \mbox{ in } \ Ω, \ \ u=0 \ \mbox{ on } \ Γ, $$ where $Ω$ is a bounded domain in $\mathbb{R}^N$ with boundary $Γ$ of class $C^{2,τ}$, $00$, where $r_e$ and $r_i$ are the radii of a spherical annulus containing $Γ$, $Γ^δ$ is a surface parallel to $Γ$ at distance $δ$ and sufficiently close to $Γ$, and $[u]_{Γ^δ}$ is the Lipschitz semi-norm of $u$ on $Γ^δ$; secondly, if in addition $u_ν$ is constant on $Γ$, show that $$ [u]_{Γ^δ}=o(C_δ)\ \mbox{ as } \ δ o 0^+. $$ In this paper, we prove that this strategy is successful. As a by-product of this method, for $C^{2,τ}$-regular domains, we also obtain a linear stability estimate for Serrin's symmetry result. Our result is optimal and greatly improves the similar logarithmic-type estimate of [ABR] and the Hölder estimate of [CMV] that was restricted to convex domains.

연구 동기 및 목표

• Serrin의 대칭 정리가 병행 표면 문제의 안정성에 기반하여 유도될 수 있다는 [CMS2]의 추측을 해결하기 위해.
• Serrin의 과다결정 문제에 대한 선형 안정성 추정을 $C^{2,\tau}$-정규 도메인에서 확립하기 위해.
• 이전의 로그형 및 허더형 안정성 추정을 개선하여 최적의 선형 경계를 달성하기 위해.
• 기하학적 및 해석적 기법을 통해 병행 표면 문제의 안정성과 Serrin 문제의 대칭성 및 안정성 간의 연결을 수립하기 위해.

제안 방법

• 거리 $\delta$ 떨어진 병행 표면 $\Gamma^\delta$ 에서 해 $u$ 의 리프시츠 정규성 추정을 테일러 전개와 곡률 추정을 사용하여 유도하기 위해.
• 해 $u$ 의 리프시츠 반정규 $[u]_{\Gamma^\delta}$ 를 $\Gamma$ 와 $\Gamma^t$ 에서 $u_\nu$ 와 $u_{\nu\nu}$ 의 반정규에 연결하는 핵심 부등식 (5.1) 수립하기 위해.
• $u$ 의 $C^{2,\tau}$ 정규성을 사용하여 $t \to 0^+$ 일 때 $[u_{\nu\nu}]_{\Gamma^t}$ 의 감쇠를 제어하고 적분 가능성 보장하기 위해.
• 병행 표면 안정성에 대한 정리 4.2 를 적용하여, $r_e - r_i$ 가 $[u_{\nu\nu}]_{\Gamma^t}$ 의 적분에 의해 유계임을 보이는 양극성 포함 추정 $B_{r_i} \subset \Omega \subset B_{r_e}$ 유도하기 위해.
• $\delta \to 0^+$ 로 한없이 갈 때 극한을 취하여 선형 안정성 추정 $r_e - r_i \leq 2C [u_\nu]_\Gamma$ 를 도출하기 위해.
• $[u_{\nu\nu}]_{\Gamma^t} = O(t^{\tau-1})$ 이라는 사실을 활용하여 적분 항이 극한에서 사라지도록 보장하고, $u_\nu$ 가 일정할 경우 대칭을 도출하기 위해.

실험 결과

연구 질문

• RQ1 Serrin의 대칭 정리는 병행 표면 문제에 기반한 안정성 추론을 통해 도출될 수 있는가?
• RQ2 $C^{2,\tau}$ 영역에서 Serrin의 과다결정 문제에 대한 최적의 정량적 안정성 추정은 무엇인가?
• RQ3 병행 표면 $\Gamma^\delta$ 에서 $u$ 의 리프시츠 정규성은 도메인 $\Omega$ 의 기하학적 성질을 어떻게 제어하는가?
• RQ4 로그형 또는 허더형 경계를 초월하여 선형 안정성 추정을 개선할 수 있는가?
• RQ5 $u$ 의 $C^{2,\tau}$ 정규성은 $t \to 0^+$ 일 때 $[u_{\nu\nu}]_{\Gamma^t}$ 의 감쇠에 어떤 역할을 하는가?

주요 결과

• 저자들은 [CMS2]에서 제기한 추측을 확인하였으며, Serrin의 대칭 결과는 병행 표면 문제의 안정성에 기반하여 도출될 수 있다.
• 날카운 선형 안정성 추정이 확립되었다: $r_e - r_i \leq 2C [u_\nu]_\Gamma$, 여기서 $C$ 는 $N$ 과 $\tau$ 에만 의존하는 보편 상수이다.
• 이 안정성 추정은 최적이며, [ABR]의 로그 추정과 [CMV]의 허더형 추정을 모두 초월한다. 특히 이전의 추정은 볼록성을 요구했지만, 본 논문은 그렇지 않다.
• 이 방법은 안정성의 결과로서 대칭을 도출한다: $u_\nu$ 가 $\Gamma$ 에서 일정할 경우, $\Omega$ 는 구이다.
• 이 증명은 병행 표면에서 $u$ 의 리프시츠 반정규를 $\Gamma$ 와 $\Gamma^t$ 에서의 법선 도함수에 따라 bound하는 새로운 추정 (5.1) 에 의존한다.
• $[u_{\nu\nu}]_{\Gamma^t} = O(t^{\tau-1})$ 의 감쇠 속도는 $\delta \to 0^+$ 일 때 적분 항이 사라지도록 보장하여 선형 경계를 가능하게 한다.