Weakly stable solutions of Serrin's problem

기술 요약: 세린의 문제(Serrin's Problem)의 약한 안정적 해

문제 정의
본 논문은 영역 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$)와 함수 $u \in C^\infty(\bar{\Omega})$가 다음을 만족하는 세린의 과결정 문제(overdetermined problem)를 다룬다:
$$\begin{cases} -\Delta u = n & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \\ |Du| = 1 & \text{on } \partial\Omega. \end{cases}$$
J. Serrin (1971)과 H. Weinberger (1971)는 컴팩트한 해가 반드시 단위 구(unit ball)임을 밝혀냈으나, 비컴팩트한 해(예: 실린더)도 존재한다. H. Berestycki, L. Caffarelli, L. Nirenberg는 모든 비컴팩트 해가 단위 구이거나 $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$ 형태의 실린더와 합동이어야 한다는 가설을 제기했다. 그러나 일반적인 반선형 문제(semilinear problems)에 대해서는 이 가설에 대한 반례가 존재한다. 본 논문은 **약한 안정성(weak stability)**이라는 추가 가정을 통해 $f(u) = n$인 경우에 대해 이 가설을 구체적으로 조사한다.

방법론 및 접근 방식
저자들은 변분법적 접근법을 기하학적 분석 및 점근적 추정치와 결합하여 사용한다. 핵심 방법론은 다음과 같다:

1. 변분적 특성: 해는 상대적 부피를 보존하는 $\{u>0\}$의 콤팩트한 섭동(perturbation)에 대하여 범함수 $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (여기서 $F' = f = n$)의 임계점으로 간주된다.
2. 안정성 정의:
   • 약한 안정성 (Weak Stability): 영역이 $\{u > 0\}$의 상대적 부피를 보존하는 콤팩트한 섭동들 사이에서 $J$에 대한 2차 미분 테스트를 만족한다. 이는 다음과 같이 공식화된다:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     여기서 $\phi \in C^\infty_c(\bar{\Omega})$이고 $\int_{\partial\Omega} \phi = 0$이다.
   • 안정성 (Stability): 동일한 부등식이 평균이 0이라는 제약 조건 없이 모든 $\phi \in C^\infty_c(\bar{\Omega})$에 대해 성립한다.
3. 그레이디언트 및 점근적 추정: 저자들은 $u$에 대한 결정적인 그레이디언트 추정치(구체적으로 $\Omega$ 내에서 $|Du| < 1$이며 $\partial\Omega$ 상에서 $H \le n$)를 확립하고, 큰 구 $B_\lambda(0)$와 교차하는 $\Omega$의 부피 $V(\lambda)$ 및 경계 면적 $A(\lambda)$의 점근적 거동을 분석한다.
4. 모순 증명: 증명은 $\Omega$가 무한한 부피를 갖는다고 가정함으로써 진행된다. 발산 정리(divergence theorem)로부터 유도된 점근적 관계 $A(\lambda) \approx n V(\lambda)$를 사용하여, 저자들은 무한한 부피가 영역을 완전히 **안정적(stable)**으로 만든다는 것을 입증한다. 특정 컷오프 함수(cutoff functions)를 사용하여 안정성 부등식을 테스트하고, 보조 함수 $\phi = u + \frac{1}{2}|Du|^2$의 하해밀턴성(subharmonicity)을 활용함으로써, 경계 적분의 부호와 안정성 조건 사이의 모순을 도출한다.
5. 유한 부피 분석: 무한한 부피 가능성을 배제한 후, 저자들은 Weinberger의 논법을 비컴팩트 설정에 맞게 수정하여 유한 부피 성분들이 반드시 단위 구여야 함을 보인다. 또한, 약한 안정성을 사용하여 영역이 연결되어 있음을 증명함으로써, 서로 떨어진 구들의 합집합(disjoint unions of balls) 가능성을 배제한다.

주요 결과

• 정리 2 (주요 결과): 모든 차원 $n \ge 2$에 대하여, $\Omega$가 세린 문제의 약한 안정적 해라면, $\Omega$는 반지름이 1인 구이다. 결과적으로, 비컴팩트한 약한 안정적 해는 존재하지 않는다.
• 그레이디언트 경계: 본 논문은 모든 해에 대하여 $\Omega$ 내에서 $|Du| < 1$이고 $\partial\Omega$ 상에서 평균 곡률 $H$가 $H \le n$을 만족함을 증명한다.
• 안정성 함의: 어떤 해가 무한한 부피를 가지면, 약한 안정성은 완전한 안정성을 함의한다.
• 차원 독립성: 관련 문제(예: 1-phase Bernoulli 문제)에 대한 이전 결과들이 차원에 크게 의존하는 것(예: $n \le 3$ 대 $n \ge 7$)과 달리, 이 결과는 모든 $n \ge 2$에 대해 성립한다.

의의 및 주장
본 논문은 **세린 문제의 약한 안정적 해는 필연적으로 컴팩트하다(구체적으로 둥근 구이다)**는 것을 증명한다고 주장한다. 이 결과는 비컴팩트 대안(실린더)이 약하게 안정적이지 않음을 보여줌으로써, 약한 안정성 가정하에서의 Berestycki-Caffarelli-Nirenberg 가설을 효과적으로 해결한다. 이러한 가정은 "변분적 관점에서 자연스러운" 것으로 설명된다.

저자들은 자신들의 결과가 차원 $n=2$로 제한되고 $\partial\Omega$의 곡률이 유계(bounded curvature)여야 했던 이전 정리( [12]의 Theorem 1)를 일반화한다는 점을 강조한다. 현재의 작업은 차원 제한을 제거하고 곡률 유계 가정을 없앴다. 증명 기법은 이전 연구들과 구별되는데, 이는 가우스-보네 정리($n=2$에 특화됨)나 알려진 안정성 문제의 반례로 인해 고차원에서 실패할 수 있는 저차원 특화 논법을 피하기 때문이다.

이 결과는 최소 곡면 이론(minimal surface theory)의 맥락 내에 위치하며, 여기서 세린 문제의 약한 안정적 해는 약하게 안정적인 최소 모세관 곡면(minimal capillary surfaces)의 블로우업 극한(blow-up limits)으로 나타난다. 여기서 확립된 강직성(rigidity) 결과는 접촉각이 $0$또는$\pi$에 가까운 모세관 곡면을 규명하기 위한 근본적인 요소 역할을 한다.