[논문 리뷰] Symmetry of minimizers with a level surface parallel to the boundary

Giulio Ciraolo, Rolando Magnanini외 1명|arXiv (Cornell University)|2012. 03. 23.

Advanced Mathematical Modeling in Engineering참고 문헌 41인용 수 7

한 줄 요약

이 논문은 함수 $\mathcal{I}_{\Omega}(v) = \int_{\Omega}[f(|Dv|) - v]\,dx$ 의 최소화자가 경계 $\partial\Omega$에 평행한 단일 등고선을 가질 경우, 유계 도메인 $\Omega$가 반드시 구가 되어야 한다는 것을 증명한다. $f$에 대한 정규성 및 볼록성 조건 하에서, 저자들은 완전 비선형 타원형 및 방정식의 점성 해에 대해 이동 평면 방법을 적용하여 구 대칭성을 증명하며, 이는 최소화자가 전체적으로 구 대칭이어야 한다는 이전 결과들을 일반화한다.

ABSTRACT

We consider the functional $$I_Ω(v) = \int_Ω[f(|Dv|) - v] dx,$$ where $Ω$ is a bounded domain and $f$ is a convex function. Under general assumptions on $f$, G. Crasta [Cr1] has shown that if $I_Ω$ admits a minimizer in $W_0^{1,1}(Ω)$ depending only on the distance from the boundary of $Ω$, then $Ω$ must be a ball. With some restrictions on $f$, we prove that spherical symmetry can be obtained only by assuming that the minimizer has one level surface parallel to the boundary (i.e. it has only a level surface in common with the distance). We then discuss how these results extend to more general settings, in particular to functionals that are not differentiable and to solutions of fully nonlinear elliptic and parabolic equations.

연구 동기 및 목표

• 최소화자가 경계 $\partial\Omega$에 평행한 등고선을 가질 경우 도메인 $\Omega$가 반드시 구가 되는 조건을 규명하는 것.
• 최소화자가 구 대칭이어야 한다는 조건을 요구하는 Crasta의 결과를 일반화하기 위해, 최소화자의 대칭 조건을 단일 등고선이 경계에 평행하다는 조건으로 약화시키는 것.
• 약한 비교 원리와 경계점 성질을 갖는 일반적인 완전 비선형 타원형 및 방정식에 대해 대칭 결과를 수립하는 것.
• 이동 평면 방법을 미분 가능하지 않거나 열화된 함수에 적용하여, 에이코날 방정식과 관련된 기능에 적용하는 것.
• 도메인과 라그랑지안 $f$에 대한 최소한의 정규성 조건 하에서 점성 해에 대해 대칭 결과를 일반화하는 것.

제안 방법

• 저자들은 $f$가 볼록하고 $C^1$, 특정 성장 및 정규성 조건을 만족한다고 가정하며, $W^{1,\infty}_0(\Omega)$ 내에서 기능 $\mathcal{I}_{\Omega}(v) = \int_{\Omega}[f(|Dv|) - v]\,dx$ 의 최소화자를 분석한다.
• 최소화자 $u$가 $\Gamma_\delta = \{x \in \Omega : d(x) = \delta\}$ 의 튜브형 이웃 영역에서 $C^1$-연속이면서 $\Gamma_\delta$ 상에서 일정하다고 가정한다. 즉, $u = c > 0$ on $\Gamma_\delta$.
• 증명은 두 번째 도함수 $f''$ 가 $s > \sigma$ 에서 양이며 허더 연속임을 요구하는 이동 평면 방법에 기반한다. 이는 관련된 PDE의 충분한 정규성을 보장한다.
• 기능은 점성 해의 관점에서 완전 비선형 PDE $F(u, Du, D^2u) = 0$ 와 연결되며, 비교 원리(약한 비교 원리(WCP), 강한 비교 원리(SCP), 경계점 성질(BPP))를 통해 대칭성이 유도된다.
• 시간에 의존하는 해 $u(x,t)$ 가 $u_t - F(u, Du, D^2u) = 0$ 을 만족하고 딜레르트 경계 조건을 갖는 경우, 이동 평면 방법을 파라볼릭 방정식으로 확장한다.
• 대칭 결론은 $F$ 가 반사에 대해 불변임을 가정할 때 성립하며, 비교 원리의 사용은 $t^*$ 에서 일정한 등고선이 존재할 경우 $\Omega$ 가 구임을 보장한다.

실험 결과

연구 질문

• RQ1 최소화자가 경계에 평행한 단일 등고선을 가질 경우, 어떤 조건에서 도메인이 반드시 구가 되는가?
• RQ2 최소화자가 구 대칭이 아니더라도 단일 등고선이 경계에 평행할 경우, 대칭 결과를 일반화할 수 있는가?
• RQ3 이동 평면 방법을 비미분 가능하거나 열화된 함수에 적용할 수 있는 범위는 어느 정도인가? 특히 에이코날 방정식과 관련된 함수에 대해.
• RQ4 약한 비교 원리(WCP), 강한 비교 원리(SCP), 경계점 성질(BPP) 및 반사 불변성(IR)이 일반 비선형 PDE에서 대칭 결과를 어떻게 도와주는가?
• RQ5 공간-시간에서 정적 등고선을 가진 파라볼릭 방정식에 대해 대칭 결과를 일반화할 수 있는가?

주요 결과

• 최소화자 $u$ 가 $\Gamma_\delta$ 근처에서 $C^1$-연속이면서 $\Gamma_\delta$ 상에서 일정할 경우, $u$ 가 구 대칭이 아니더라도 $\Omega$ 는 반드시 구여야 한다.
• 이 결과는 최소한의 가정 하에서도 성립한다: $f$ 는 볼록하고 $C^1$, 비감소적이며, $f(0) = 0$ 이고 $f(s)/s \to \infty$ as $s \to \infty$, $f'' > 0$ 이며 $s > \sigma \geq 0$ 에서 $C^{2,\alpha}$ 이며 $f'$ 는 $[0,\sigma]$ 에서 0이 된다.
• 이동 평면 방법은 조건 (IR), $\Omega$ 에서의 (WCP), $\Gamma_\delta$ 의 이웃 영역에서의 (SCP), (BPP) 를 만족하는 완전 비선형 타원형 방정식 $F(u, Du, D^2u) = 0$ 의 점성 해에 적용되며, 이로 인해 $\Omega$ 가 구임을 도출할 수 있다.
• 파라볼릭 방정식 $u_t - F(u, Du, D^2u) = 0$ 에 대해, 어떤 $t^* \in (0,T)$ 에서 $u = c$ on $\Gamma_\delta \times \{t^*\}$ 이면, 동일한 $F$ 의 구조적 가정 하에 $\Omega$ 는 반드시 구여야 한다.
• 비미분 가능성이 있는 $f$ 에 대해서도, 예를 들어 정리 3.6에서 보여지듯이, 복소수 에이코날 해와 관련된 비연속 라그랑지안에 대해 방법을 적응함으로써 결과가 확장된다.
• 대칭 결과는 강건하다: $\partial\Omega$ 가 매끄럽지 않아도, $\Gamma_\delta$ 가 $C^1$ 이고 내부 구의 조건을 만족한다면 성립한다.