[논문 리뷰] Overdetermined boundary value problems for the $\infty$-Laplacian

Giuseppe Buttazzo, Bernd Kawohl|arXiv (Cornell University)|2009. 11. 13.

Nonlinear Partial Differential Equations참고 문헌 13인용 수 5

한 줄 요약

이 논문은 ∞-라플라시안에 대한 과잉결정 경계값 문제를 도메인 Ω⊂ℝⁿ에서 연구하며, 점근적 해석을 통해 u∞(x)=d(x,∂Ω)가 경계에서의 거리 함수임을 보이고, 이는 Ω∖ℛ(Ω)에서 |Du|−1=0과 −Δ∞u=0을 만족하는 유일한 점성 해임을 보여준다. 이때, u=0과 −∂u/∂ν=1이 ∂Ω에서 성립하며, 해가 웹-함수일 경우 Ω는 반드시 구가 되어야 한다.

ABSTRACT

We consider overdetermined boundary value problems for the $\infty$-Laplacian in a domain $Ω$ of $\R^n$ and discuss what kind of implications on the geometry of $Ω$ the existence of a solution may have. The classical $\infty$-Laplacian, the normalized or game-theoretic $\infty$-Laplacian and the limit of the $p$-Laplacian as $p o \infty$ are considered and provide different answers.

연구 동기 및 목표

• ∞-라플라시안에 대한 과잉결정 경계값 문제가 해를 가질 경우 도메인 Ω⊂ℝⁿ의 기하적 의미를 규명하는 것.
• 클래식, 정규화, p-라플라시안의 극한으로서의 ∞-라플라시안 정의 및 해 개념(점성 해 대비 약한 해)이 Ω의 기하학적 구조에 미치는 영향을 분석하는 것.
• 해가 거리 함수에만 의존하는 웹-함수 해를 가정할 경우, 유일한 가능한 도메인은 구임을 증명하는 것.
• 정규 집합 Ω∖ℛ(Ω)에서 |Du|−1=0과 −Δ∞u=0을 동시에 만족하는 점성 해로서 거리 함수 d(x,∂Ω)가 유일한 해임을 증명하는 것.

제안 방법

• ∞-라플라시안은 −Δ∞u = ⟨D²u Du, Du⟩로 정의되며, 접점에서의 하부 및 상부 해 조건을 통해 해를 점성 해로 간주한다.
• 공의 반지름에 대해 반지름 해를 분석하여 u(r) = (3⁴ᐟ³/4)(R⁴ᐟ³−r⁴ᐟ³)의 명시적 형태를 도출하며, −∂u/∂ν = a 조건이 R = a³/3을 유도함을 보인다.
• p→∞로의 점근적 분석을 통해 p-라플라시안 방정식에 대해, 점성 해 uₚ가 거리 함수 u∞(x)=d(x,∂Ω)로 수렴함을 보였다.
• p-라플라시안 부등식에서 극한을 취함으로써 u∞가 min{|Du|−1, −⟨D²u Du, Du⟩}=0의 점성 하부해 및 상부해임을 증명하였다.
• 카우치-코바레프스키 정리와 가장 급격한 상승 방향의 궤적 분석을 통해 일반 도메인에서의 웹-함수 가정을 정당화하였다.
• 비교 원리 및 수렴 논증을 통해 극한 방정식이 정규 집합에서 eikonal 방정식 |Du|=1과 ∞-조화 방정식 −Δ∞u=0를 모두 포괄함을 보였다.

실험 결과

연구 질문

• RQ1 −Δ∞u=1에 대해 점성 해가 존재하고 u=0, −∂u/∂ν=a가 ∂Ω에서 성립할 경우, 도메인 Ω에 어떤 기하적 제약 조건이 가해지는가?
• RQ2 과잉결정 문제에서 ∞-라플라시안의 해 구조는 p-라플라시안과 어떻게 다를까? 특히 정칙성 및 해의 유일성 측면에서.
• RQ3 거리 함수 d(x,∂Ω)는 eikonal 방정식과 ∞-조화 방정식을 동시에 포함하는 극한 과잉결정 문제의 점성 해로 작용할 수 있는가?
• RQ4 거리 함수가 ∞-라플라시안의 유일한 고유함수인 조건은 무엇이며, 릿지 집합 ℛ(Ω)은 이 유일성에 어떤 영향을 미치는가?
• RQ5 웹-함수 가정은 해의 구조와 도메인 기하학 간의 연결을 어떻게 뒷받기하며, 일반 도메인에서 이 가정은 타당한가?

주요 결과

• 거리 함수 u∞(x)=d(x,∂Ω)는 Ω에서 min{|Du|−1, −⟨D²u Du, Du⟩}=0의 점성 해이며, Ω∖ℛ(Ω)에서 |Du|=1과 −Δ∞u=0을 모두 만족한다.
• 해는 ∂Ω에서 u=0, ∂Ω의 미분 가능 부분에서 −∂u/∂ν=1을 만족하여 매우 과잉결정된 경계값 문제의 해가 된다.
• 만약 릿지 집합 ℛ(Ω)이 중앙축 M(Ω)과 일치한다면, u∞는 ∞-라플라시안의 유일한 고유함수이며, Ω에서 고유값 방정식 min{−⟨D²u Du, Du⟩, −|Du|+Λ∞u}=0을 만족한다.
• 클래식 ∞-라플라시안의 경우, 반지름 R=a³/3인 공 내에서의 반지름 해는 Dirichlet 및 Neumann 경계 조건을 모두 충족하며, 유일하게 이러한 해를 가질 수 있는 도메인은 구임을 보여준다.
• 점성 해 접근법은 |Du|=0 또는 헤시안이 특이해지는 점에서의 비연속 해를 분석할 수 있게 하며, 위에서 또는 아래에서 접하는 매끄러운 함수를 대상으로 테스트함으로써 이를 가능하게 한다.
• p→∞로의 수렴은 점성 해 이론에 기반하여 uₚ가 u∞로 수렴함을 보였으며, 극한 방정식은 과잉결정 문제의 본질적 특징을 포괄한다.