Lipschitz regularity of solutions to two-phase $p$-Laplacian free boundary problems with right hand side

이 논문은 비균질 (non-zero right hand side) p-라플라시안 (p-Laplacian) 에 대한 두 상 (two-phase) 자유 경계 문제의 해에 대한 국소 리프시츠 (Lipschitz) 정칙성을 증명하는 것을 목표로 합니다. 저자 Fausto Ferrari 와 Claudia Lederman 은 점성 해 (viscosity solutions) 에 대해 이 최적의 정칙성을 확립하였으며, 이는 동차 (homogeneous, 우변이 0 인 경우) 상황에서도 새로운 결과입니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 연구 문제 및 배경 (Problem Statement)

논문에서 다루는 문제는 다음과 같은 형태의 자유 경계 문제입니다:

$$\begin{cases} \Delta_p u = f, & \text{in } \Omega^+(u) \cup \Omega^-(u), \\ u^+_\nu = G(u^-_\nu, x), & \text{on } F(u) := \partial \Omega^+(u) \cap \Omega, \end{cases}$$

여기서:

• $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ 는 $p$-라플라시안 연산자 ($1 < p < \infty$) 입니다.
• $\Omega^+(u) = \{x \in \Omega : u(x) > 0\}$, $\Omega^-(u) = \{x \in \Omega : u(x) \le 0\}^\circ$ 는 각각 양의 영역과 음의 영역입니다.
• $F(u)$ 는 자유 경계 (free boundary) 입니다.
• $u^\pm_\nu$ 는 각 영역 내부로 향하는 법선 방향의 도함수입니다.
• $f \in L^\infty(\Omega)$ 는 0 이 아닌 우변 (right hand side) 입니다.
• $G(t, x)$ 는 자유 경계 조건을 정의하는 함수로, 특정 조건 (P1)-(P4) 을 만족합니다.

주요 난제:

• $p \neq 2$인 경우 연산자는 비선형이며, $1 < p < 2$일 때는 특이 (singular), $p > 2$일 때는 퇴화 (degenerate) 됩니다.
• 우변 $f \neq 0$인 경우, $|\nabla u|^{p-2}$ 인자가 무시할 수 없게 되어 기존 균일 타원형 (uniformly elliptic) 연산자에서 사용되던 기법들을 직접 적용하기 어렵습니다.
• 기존 연구 (예: $p=2$인 선형 경우) 에서는 단조성 공식 (monotonicity formula) 을 사용했으나, 일반적인 $p \neq 2$ 및 비균질 $f$에 대해서는 이러한 공식이 알려져 있지 않습니다.

2. 방법론 (Methodology)

저자들은 De Silva (DS) 가 균일 타원형 완전 비선형 연산자에 대해 개발한 접근법을 p-라플라시안 문제에 적용하여 확장했습니다. 핵심 전략은 다음과 같습니다:

1. 점성 해 (Viscosity Solutions) 프레임워크: 약해 (weak solutions) 가 아닌 점성 해를 다루어 더 넓은 적용 가능성을 확보했습니다.
2. 국소 Hölder 정칙성 먼저 증명 (Theorem 1.2):
   • 리프시츠 정칙성을 증명하기 전에, 먼저 해의 국소 Hölder 연속성 ($C^{0,\alpha}$) 을 증명합니다.
   • 이는 자유 경계 조건 $G$에 대해 더 일반적인 조건 ($\sigma t \le G(t,x) \le \sigma^{-1}t$) 하에서도 성립함을 보입니다.
   • 증명에는 $p$-라플라시안에 대한 약한 Harnack 부등식과 경계 Harnack 원리가 사용됩니다.
3. 평탄한 자유 경계의 $C^{1,\gamma}$ 정칙성 개선 (Section 3):
   • 저자들의 이전 논문 [FL3] 의 결과를 재검토하고 개선합니다.
   • 자유 경계가 평탄할 때 (flat free boundary), 해가 $C^{1,\gamma}$ 정칙성을 가진다는 정리를 다양한 경우 ($f \equiv 0$, $p=2$, $G(t,x) \equiv G(t)$ 등) 에 대해 확장합니다.
   • 특히, $f \neq 0$이고 $p \neq 2$인 경우, $G$의 점근적 성질 (P2, P4) 을 이용하여 스케일링 기법을 적용합니다.
4. 근사 및 컴팩트성 논증 (Approximation & Compactness):
   • 해가 리프시츠가 아니라고 가정하고, 스케일링된 해의 수열을 고려합니다.
   • 이 수열이 균일하게 수렴하여 극한 해 $u^*$ 를 얻으며, $u^*$ 는 $\Delta_p u^* = 0$을 만족함을 보입니다 (Lemma 5.1).
   • 극한 해에 대한 내부 $C^{1,\alpha}$ 추정치를 사용하여, 원래 해가 리프시츠 정칙성을 만족함을 모순을 통해 증명합니다 (Lemma 5.2).

3. 주요 가정 (Key Assumptions)

함수 $G(t, x)$에 대해 다음과 같은 조건을 둡니다:

• (P1) $G$는 $t$에 대해 엄격하게 증가하며 $t \to \infty$일 때 무한대로 발산합니다.
• (P2) $t \to \infty$일 때 $\frac{\partial G}{\partial t} \to 1$이고 $\frac{\partial^2 G}{\partial t^2} = O(1/t)$입니다 (점근적으로 선형).
• (P3) $G(t, \cdot)$는 $t$에 대해 균일하게 Hölder 연속입니다.
• (P4) $f \neq 0$이고 $p \neq 2$인 경우, $t^{-1}G(t)$가 충분히 큰 $t$에서 엄격하게 감소합니다 (예: $G(t) = (g(x) + t^p)^{1/p}$ 형태).

4. 주요 결과 (Key Results)

Theorem 1.1 (최적 정칙성 - Optimal Regularity)

• 결과: 문제 (1.1) 의 점성 해 $u$는 국소적으로 Lipschitz 연속입니다.
• 정리: $B_1$에서 해 $u$에 대해 다음 부등식이 성립합니다:
  $$\|\nabla u\|_{L^\infty(B_{1/2})} \le C(\|u\|_{L^\infty(B_{3/4})} + 1)$$
  여기서 $C$는 $n, p, \|f\|_{L^\infty}, G$에만 의존하는 양수입니다.
• 의의: 이는 이 문제에 대한 최적의 정칙성 (optimal regularity) 입니다. 즉, 해의 기울기가 유계라는 것이 증명되었습니다.

Theorem 1.2 (국소 Hölder 연속성)

• 결과: 더 일반적인 조건 하에서 해는 국소적으로 Hölder 연속 ($C^{0,\alpha}$) 입니다.
• 조건: $G(t, x)$가 $t > M$에서 $\sigma t \le G(t, x) \le \sigma^{-1}t$를 만족하면 성립합니다.
• 의의: 이는 리프시츠 정칙성 증명의 첫 단계이자, 독립적으로 중요한 결과입니다.

5. 기여 및 의의 (Contributions & Significance)

1. 비균질 p-라플라시안 문제의 최적 정칙성 증명:

   • 기존에 $p=2$ (선형) 인 경우나 동차 ($f=0$) 인 경우에만 알려진 리프시츠 정칙성을, 비선형 ($p \neq 2$) 이면서 비균질 ($f \neq 0$) 인 일반적인 경우로 확장했습니다.
   • 특히 $f \neq 0$인 경우 $|\nabla u|^{p-2}$ 인자의 영향을 정교하게 처리하여 난제를 극복했습니다.

2. 점성 해에 대한 적용:

   • 약해가 아닌 점성 해 (viscosity solutions) 에 대해 결과를 증명함으로써, 해의 존재성과 정칙성을 다루는 범위를 넓혔습니다. 이는 물리학적 모델 (예: 유체 역학, 전기 영동 등) 에 더 넓은 적용 가능성을 제공합니다.

3. 새로운 기법의 개발:

   • 단조성 공식이 부재한 $p \neq 2$ 상황에서, 평탄한 자유 경계의 정칙성과 컴팩트성 논증을 결합한 새로운 증명 기법을 제시했습니다.
   • De Silva 의 균일 타원형 연산자에 대한 기법을 p-라플라시안의 특이/퇴화 성질을 고려하여 성공적으로 변형했습니다.

4. 동차 경우의 새로운 결과:

   • 우변이 0 인 경우 ($f \equiv 0$) 에 대해서도 기존 문헌에 없던 새로운 리프시츠 정칙성 결과를 제시했습니다 (기존에는 p-Bernoulli 함수의 최소값에 대한 결과만 존재함).

6. 결론

이 논문은 비선형 p-라플라시안에 기반한 두 상 자유 경계 문제의 해가 국소적으로 리프시츠 연속임을 증명하여 해당 분야의 정칙성 이론을 한 단계 발전시켰습니다. 특히 우변이 0 이 아닌 일반적인 경우와 점성 해 프레임워크를 다룬 것은 수학적 분석의 중요한 진전이며, 다양한 응용 분야에서 이 문제의 해의 거동을 이해하는 데 필수적인 기초를 제공합니다.