[논문 리뷰] A free boundary problem for semi-linear elliptic equation and its applications

Jianfeng Cheng, Lili Du|arXiv (Cornell University)|2020. 06. 03.

Nonlinear Partial Differential Equations참고 문헌 30인용 수 4

한 줄 요약

이 논문은 비선형 비동차 타원형 방정식에 대해 베르누이 유형의 자유경계 조건을 갖는 경우의 해와 자유경계에 대한 존재성, 리프시츠 연속성, 비퇴화성, 정칙성을 확립한다. 변분적 접근을 통해 자유경계가 $ C^{1,\beta} $-정칙임을 증명하고, 이 결과를 응용하여 일반 비선형성 조건을 갖는 정 steady, 비압축성, 점성 없는 제트류 및 캐비타이션 흐름의 잘 정의됨을 입증한다.

ABSTRACT

In this paper, we consider a free boundary problem of a semilinear nonhomogeneous elliptic equation with Bernoulli's type free boundary. The existence and regularity of the solution to the free boundary problem are established by use of the variational approach. In particular, we establish the Lipschitz continuity and non-degeneracy of a minimum, and regularity of the free boundary. As a direct and important application, the well-posedness results on the steady, incompressible inviscid jet and cavitational flow with general vorticity are also obtained in this paper.

연구 동기 및 목표

• 비선형 비동차 타원형 방정식에 의해 지배되는 자유경계 문제에 대한 해의 존재성과 정칙성을 확립하는 것.
• 기존의 동차 경우(예: Alt와 Caffarelli)의 결과를 변수 비선형성 조건이 있는 비동차 비선형 설정으로 확장하는 것.
• 최소화자의 리프시츠 연속성과 비퇴화성, 그리고 자유경계의 $ C^{1,\beta} $-정칙성을 입증하는 것.
• 이론적 결과를 응용하여 일반 비선형성 조건을 갖는 정 steady, 비압축성, 점성 없는 제트류 및 캐비타이션 흐름의 잘 정의됨을 입증하는 것.
• 물리적 흐름 모델의 맥락에서 해와 자유경계의 유일성 및 단조성 확립.

제안 방법

• 에너지 기능 $ J(\theta) = ∫_\Omega (|\nabla\theta|^2 + F(\theta) + \lambda^2(X) \chi_{\{\theta>0\}}) \, dX $ 의 변분 최소화 문제로 문제를 재구성하며, 여기서 $ F(t) = -2\int_0^t f(s)\,ds $ 이다.
• 적절한 소볼레프 공간에서 변분법의 직접적 방법을 통해 최소화자의 존재성을 증명한다.
• 해가 자유경계 근처에서의 행동을 분석하기 위해 블로업 분석과 측도 추정을 적용한다.
• 강한 최대원리와 호프의 보조정리를 활용하여 해를 비교하고 자유경계 및 경계값 $ \lambda $ 의 유일성을 확보한다.
• 자유경계 근처에서 평탄성과 선형 성장 추정을 확립하여 정칙성을 도출한다.
• 하游 영역에서의 해의 점근적 행동을 이용하여 흐름 프로파일의 유일성을 입증한다.

실험 결과

연구 질문

• RQ1 비동차 항 $ f(\psi) \neq 0 $ 를 갖는 비선형 타원형 자유경계 문제에 대해 에너지 기능의 최소화자가 존재하는가?
• RQ2 일반적인 비선형성 조건 하에서 최소화자의 리프시츠 연속성과 비퇴화성이 확보될 수 있는가?
• RQ3 비동차 항이 존재하는 경우 $ f(\psi) \neq 0 $ 일 때 자유경계 $ \partial\{\psi > 0\} \cap \Omega $ 는 정칙적(특히 $ C^{1,\beta} $)인가?
• RQ4 이론적 결과를 응용하여 일반 비선형성 조건을 갖는 정 steady, 비압축성, 점성 없는 제트류 및 캐비타이션 흐름의 존재성과 유일성을 입증할 수 있는가?
• RQ5 물리적 흐름 모델의 맥락에서 경계값 $ \lambda $ 는 유일한가?

주요 결과

• 에너지 기능의 최소화자 $ \psi $ 는 정리 2.4에 의해 $ \Omega $ 에서 리프시츠 연속적이다.
• 최소화자는 비퇴화 조건을 만족한다: $ x_0 \in \partial\{\psi > 0\} $ 이면 어떤 $ c > 0 $ 에 대해 $ \sup_{B_r(x_0)} \psi \geq c r $ 이며, 이는 $ r $ 에 대해 균일하다.
• 자유경계 $ \Gamma = \partial\{\psi > 0\} \cap \Omega $ 는 정리 3.15에 의해 $ C^{1,\beta} $-정칙적이다.
• 주어진 경계 조건과 자유경계 조건을 만족하는 최소화자 클래스 내에서 자유경계 문제의 해 $ \psi $ 는 유일하다.
• 경계값 $ \lambda $ 는 하류 영역에서의 해의 점근적 행동에 의해 유일하게 결정된다.
• 비선형성 조건이 일반적인 정 steady, 비압축성, 점성 없는 제트류 및 캐비타이션 흐름의 잘 정의됨은 변분 프레임워크를 통해 입증된다.