[논문 리뷰] Geometric regularity estimates for fully nonlinear elliptic equations with free boundaries

J.V. da Silva, Raimundo Leitão외 1명|arXiv (Cornell University)|2020. 08. 11.

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

한 줄 요약

이 논문은 해가 알려지지 않은 영역에서 식별적으로 0이 되는 (데드 코어가 있는) 자유경계를 가진 완전비선형 타원형 방정식의 점성해에 대해 날카로운 기하학적 정규성 추정을 수립한다. 이는 개선된 $ C^{\tilde{\rho}} $ 정규성까지 날카로운 지수 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $에서 성립하며, $ \nu = \frac{\nu_0}{\nu_0 - 1} $, $ \nu_0 = \frac{N(\gamma+1)}{\gamma+2} $ 이며, 자유경계에 대한 비퇴화성, 다공성, 하우스도르프 측도 추정을 유도하고, 제어된 성장률을 갖는 전체해에 대한 날카로운 리우빌형 정리도 증명한다.

ABSTRACT

In this manuscript we study geometric regularity estimates for problems driven by fully nonlinear elliptic operators under strong absorption conditions. We establish improved geometric regularity along the free boundary, for a sharp value depending only on structural parameters. Non degeneracy among others measure theoretical properties are also obtained. A sharp Liouville result for entire solutions with controlled growth at infinity is proved. We also present a number of applications consequential of our findings.

연구 동기 및 목표

• 자유경계를 가진 완전비선형 타원형 방정식의 점성해에 대해 개선된 기하학적 정규성 추정을 수립하는 것, 특히 해가 알려지지 않은 영역에서 0이 될 수 있을 경우에 중점을 두는 것.
• 자유경계 근처에서 음이 아닌 해의 점근적 행동을 분석하는 것, 특히 데드코어 집합에서 해가 어떻게 퇴적되는지의 속도를 다루는 것.
• 구조적 매개변수인 $ \nu_0 $, $ \gamma $, $ \mu $에만 의존하는 날카로운 정규성 지수 $ \tilde{\rho} $를 도출하고, 자유경계의 비퇴화성 및 측도론적 성질을 증명하는 것.
• 제어된 성장률을 갖는 전체해에 대해 날카로운 리우빌형 정리를 증명하는 것이며, 비자명한 해는 무한대에서 $ |x|^{\frac{\gamma+2}{\gamma+1-\mu}} $ 보다 빠르게 성장해야 한다는 것을 보여주는 것.
• 자유경계의 완전한 기하학적 및 해석적 기술을 제공하는 것, 다공성과 $ (N - \xi) $-하우스도르프 측도 추정을 포함하는 것.

제안 방법

• 비선형 타원형 방정식에 대한 점성해 이론을 사용하여, 구조가 비선형성 또는 특이성을 갖는 경우를 다루며, $ F(x, Du, D^2u) + |Du|^\gamma \langle \mathfrak{b}(x), Du \rangle = f(u)\chi_{\{u>0\}} $ 로 제어되는 경우.
• $ F $에 대한 $ (\lambda, \Lambda, \gamma) $-타원성 및 $ \gamma $-동차성 조건를 적용하여 연산자에 대한 구조적 통제를 확보하는 것.
• 해와 비교하기 위해 명시적인 반경 초과해 $ v(x) = \Theta \cdot (|x - x_0| - r_0)_+^{\frac{\gamma+2}{\gamma+1-\mu}} $ 를 구성하여 비퇴화성 및 성장 추정을 도출하는 것.
• 비교 원리 및 장벽 방법을 사용하여 자유경계점 근처 및 무한대에서 해의 행동을 통제하는 것.
• 다공성 및 측도론적 도구(참고 문헌 [34]에 기반)를 활용하여 자유경계가 $ N $-차원 르베그 측도가 0이며 다공성임을 유추하는 것.
• 날카로운 정규성 지수 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $ 를 도출하며, 여기서 $ \nu = \frac{\nu_0}{\nu_0 - 1} $ 이고, $ \nu_0 $ 는 $ \gamma $, $ \mu $, $ N $ 에 따라 결정된다. 이는 향상된 하우더 정규성의 정량적 기준이 된다.

실험 결과

연구 질문

• RQ1 비선형성 또는 특이성을 갖는 완전비선형 타원형 방정식의 음이 아닌 점성해가 데드코어 영역에서 퇴적되는 정확한 속도는 무엇인가?
• RQ2 자유경계 $ \partial\{u > 0\} \cap \Omega $ 에서 해에 대한 최적의 하우더 정규성 지수 $ \tilde{\rho} $ 는 무엇이며, 이는 어떤 구조적 매개변수에 따라 달라지는가?
• RQ3 자기경계의 기하학적 성질인 다공성 및 하우스도르프 측도는 PDE의 구조와 해의 행동에서 어떻게 유도되는가?
• RQ4 제어된 성장률을 갖는 전체해에 대해 날카로운 리우빌형 정리를 수립할 수 있으며, 정확한 성장 임계값은 무엇인가?
• RQ5 자유경계가 르베그 측도가 0을 가지는 조건은 무엇이며, 어떤 측도론적 성질을 도출할 수 있는가?

주요 결과

• 비퇴화성 성립: 임의의 $ x_0 \in \overline{\{u > 0\}} \cap B_{1/2} $ 에 대해 $ \sup_{B_r(x_0)} u \geq C_\sharp \cdot r^{\frac{\gamma+2}{\gamma+1-\mu}} $, 여기서 $ C_\sharp $ 는 $ N, \Lambda, \inf \lambda_0, \gamma, \mu $ 에만 의존한다.
• 자유경계를 따라 개선된 정규성 확립: $ X \in \{u > 0\} \cap B_{r_0}(Y_0) $ 에 대해 $ u(X) \leq C^\sharp \cdot \text{dist}(X, \partial\{u > 0\})^{\tilde{\rho}} $, 여기서 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $, $ \nu = \frac{\nu_0}{\nu_0 - 1} $, $ \nu_0 = \frac{N(\gamma+1)}{\gamma+2} $.
• 자유경계 $ \partial\{u > 0\} \cap \Omega' $ 는 다공성 $ \epsilon/2 $ 를 가지며, 이는 $ N $-차원 르베그 측도가 0임을 의미한다.
• 다공성과 알려진 측도론적 결과를 기반으로 자유경계는 유한한 $ (N - \xi) $-하우스도르프 측도를 가진다.
• 날카로운 리우빌 정리 성립: $ \mathbb{R}^N $ 에서 방정식의 모든 전체해 $ u $ 에 대해 $ \sup_{\partial B_{s_0}} u / s_0^{\frac{\gamma+2}{\gamma+1-\mu}} \leq c \Theta $ 를 만족하는 작은 $ c $ 가 존재하면, 해는 식별적으로 0이 아니면 $ |x|^{\frac{\gamma+2}{\gamma+1-\mu}} $ 보다 더 빠르게 성장해야 한다.
• 상수 $ \Theta(N, \Lambda, \lambda_0, \gamma, \mu) = \left[ \inf \lambda_0 \cdot \frac{(\gamma+1-\mu)^{\gamma+2}}{N\Lambda(\mu+1)(\gamma+2)^{\gamma+1}} \right]^{1/(\gamma+1-\mu)} $ 는 최적이며, 반경해 $ u(x) = \Theta (|x| - r_0)_+^{\frac{\gamma+2}{\gamma+1-\mu}} $ 에서 등호가 성립한다.