[논문 리뷰] Inhomogeneous Dirichlet problems involving the infinity-Laplacian

Tilak Bhattacharya, Ahmed Mohammed|arXiv (Cornell University)|2011. 04. 08.

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

한 줄 요약

이 논문은 페론의 방법과 사전 최대값 경계를 조합하여 무한대 라플라스 연산자를 포함하는 비동차 딜리클레 문제에 대한 점성 해의 존재성을 위한 일반적인 충분 조건을 수립한다. 유계 영역에 대해 존재 결과를 제시하고, 큰 내반경을 가진 영역에서 해가 존재하지 않게 하는 비동차 항의 명시적 클래스를 규명하여 이전 연구에서 남아 있던 열린 문제를 더 날카롭고 일반적인 조건으로 해결한다.

ABSTRACT

Our purpose in this paper is to provide a self contained account of the inhomogeneous Dirichlet problem $Δ_\infty u=f(x,u)$ where $u$ takes a prescribed continuous data on the boundary of bounded domains. We employ a combination of Perron's method and a priori estimates to give general sufficient conditions on the right hand side $f$ that would ensure existence of viscosity solutions to the Dirichlet problem. Examples show that these sufficient conditions may not be relaxed. We also identify a class of inhomogeneous terms for which the corresponding Dirichlet problem has no solution in any domain with large in-radius. Several results, which are of independent interest, are developed to build towards the main results. The existence theorems provide substantial improvement of previous results, including our earlier results \cite{BMO} on this topic.

연구 동기 및 목표

• 무한대 라플라스 연산자 딜리클레 문제에서 비동차 항 f(x,t)에 대한 부호 및 단조성 제약 조건을 제거한다.
• 임의의 유계 영역에서 점성 해의 존재를 보장하는 f에 대한 일반적인 충분 조건을 개발한다.
• 내반경이 큰 영역에서 해가 존재하지 않는 f의 명시적 클래스를 규명한다.
• [6]의 이전 결과를 확장하고 개선하며, 특히 f와 도메인에 대한 제한적인 가정을 제거한다.

제안 방법

• f에 대한 사전 최대값 경계를 이용해 적절한 하위해와 상위해를 구성함으로써 페론의 방법을 응용한다.
• 점성 해에 대한 비교 원리를 활용하여 하위해 및 상위해 성질을 검증한다.
• 반경 방향 테스트 함수를 사용하여 무한대 라플라스 연산자에 대한 삼차 비선형성과 함께 고유값에 대한 명시적 하한 및 상한을 도출한다.
• f의 등위집합의 내구 및 외구 반경을 이용하여 해의 존재 또는 비존재에 대한 정량적 추정을 유도한다.
• 강한 최소 원리와 구 내에서의 무한대 조화 함수에 대한 볼록성 논증을 활용하여 비교 추정을 도출한다.
• f가 사전 최대값 경계를 만족할 경우, 도메인 크기와 무관하게 해가 존재함을 입증한다.

실험 결과

연구 질문

• RQ1 무한대 라플라스 연산자 비동차 딜리클레 문제에서 어떤 일반적인 조건 하에 f(x,t)가 임의의 유계 영역에서 점성 해를 가질 수 있는가?
• RQ2 f가 t에 대해 음수 또는 양수 또는 단조일 필요 없이 해의 존재를 보장할 수 있는가?
• RQ3 f에 어떤 조건이 도메인의 내반경이 클 경우 해의 비존재를 초래하는가?
• RQ4 삼차 비선형성을 가진 무한대 라플라스 연산자에 대해 고유값 유형의 추정을 어떻게 도출할 수 있는가?
• RQ5 f에 대한 단조성 및 부호 제약 조건을 제거함으로써 [6]의 결과를 어느 정도 일반화할 수 있는가?

주요 결과

• f가 사전 최대값 경계를 만족할 경우, 부호나 단조성 가정 없이 모든 유계 영역에서 해가 존재한다.
• Δ∞u + λa(x)u³ = 0 문제에 대해 고유값 λ에 대한 필수 하한은 λ ≥ 1/(σ³MR⁴)이며, 여기서 R은 외구 반경이고 M = sup a(x)이다.
• 양의 고유함수의 경우 λ ≤ 4(4/3)³ / (σ³Mαρₐ⁴)이 성립하며, 여기서 ρₐ는 집합 {x : a(x) > αM}의 내구 반경이다. 이는 큰 λ에 대해 부호가 변화하는 고유함수가 존재함을 시사한다.
• f가 t에 대해 음수이면서 감소함일 경우, 내반경이 큰 영역에서 해가 존재하지 않음을 명시적 반례로 보여준다.
• 이전 결과 [6]을 일반화하고 개선하였으며, 이제까지 단조성 또는 부호가 정해진 f에 국한되었던 경우들을 포함한다.
• 사전 경계를 통한 하위해 및 상위해의 구성 방법은 도메인 기하학적 구조에 영향을 받지 않으며, R과 ρₐ를 통해만 영향을 받는다.