Rectifiability of free boundaries in singular diffusion problems

기술 요약: 특이 확산 문제에서의 자유 경계의 가측성(Rectifiability)

문제 정의
본 연구는 특이 반응 항을 갖는 퇴화된 확산 범함수의 최소화 데이타에 대한 자유 경계 $\partial\{u > 0\}$의 정칙성을 다룬다. 범함수는 다음과 같이 정의된다:
$$J_\Omega(v) := \int_\Omega \left( \frac{|Dv|^p}{p} + v^\gamma \right) dx$$
여기서 $\Omega \subset \mathbb{R}^n$은 유계 영역이며, $p \ge 2$, $\gamma \in (0, 1)$이다. 최소화 함수 $u$는 고정된 경계 조건을 가진 $W^{1,p}(\Omega)$ 내의 비음수 함수 볼록 집합 $K$ 내에서 구해진다.

관련된 오일러-라그랑주 방정식은 특이한 소스를 갖는 $p$-라플라스 방정식이다:
$$\Delta_p u = \gamma u^{\gamma-1} \quad \text{in } \{u > 0\} \cap \Omega.$$
지수 $\gamma < 1$로 인해, 우변은 $u \to 0^+$일 때 발산하며, 이는 자유 경계 근처에서 최소화 함수의 거동을 매우 복잡하게 만든다. 선형 사례($p=2$)의 경우 Phillips에 의해 자유 경계의 가측성이 확립되었으나, 비선형 사례($p > 2$)의 경우 자유 경계의 가측성 문제는 미해결 과제로 남아 있었다.

방법론 및 핵심 요소
주요 결과의 증명은 이전 연구들로부터 도출되어 비선형 설정으로 확장된 두 가지 주요 해석적 구성 요소에 의존한다:

1. 비선형 변환의 적분 가능성:
   저자는 최소화 함수의 특정 비선형 변환인 $u^{\frac{p-\gamma}{p}}$의 $p$-라플라스 연산자의 적분 가능성을 확립한다. 이 성질은 $|Du|^p$가 $u^\gamma$에 의해 유계라는 점계수 기울기 추정치(Theorem s. 2.1, [3]로부터)로부터 유도된다. 구체적으로, 보조정리 3.1은 $\Delta_p(u^{\frac{p-\gamma}{p}}) \in L^1(\{u > 0\} \cap B_r)$임을 증명한다. 이는 알려진 $p=2$에 대한 결과를 퇴화된 경우인 $p \ge 2$로 확장한 것이다.

2. 영 집합(Zero set)의 하우스도르프 차원 추정:
   본 논문은 영 집합 $\{u=0\}$의 르베그 측도가 0이 되는 부분의 크기를 조사한다. 보조정리 4.1은 만약 $|\{u=0\} \cap B_{3r}| = 0$이면, 더 작은 구 내부의 영 집합의 하우스도르프 차원이 엄격히 $n-1$보다 작음을 보여준다. 구체적으로, $\mathcal{H}^{n - 2 - \frac{\gamma}{p-\gamma}}(\{u=0\} \cap B_r) = 0$이다. 이 추정치는 $u^{\gamma-2}$의 적분 가능성을 분석하고 최소화 함수의 비퇴화성(non-degeneracy)을 활용하여 얻어진다.

주요 결과
중심 정리(Theorem 5.1)는 범함수 (1.1)의 임의의 최소화 함수 $u$에 대하여, 자유 경계가 $(n-1)$-가측(rectifiable)임을 단언한다. 더 정확하게, 본 논문은 자유 경계가 $\mathcal{H}^{n-1}$-거의 모든 점에서 측도론적 외방 법선(outward normal)을 가짐을 증명한다.

이 결과는 "불규칙한" 자유 경계 부분이 $0$의$(n-1)$ 차원 하우스도르프 측도를 갖는다는 것을 보여줌으로써 공식화된다:
$$\mathcal{H}^{n-1}(\partial\{u > 0\} \setminus \partial_{\text{red}}\{u > 0\}) = 0.$$
여기서 $\partial_{\text{red}}\{u > 0\}$는 유한 둘레 집합에 대한 De Giorgi의 구조 정리에 의해 국소적으로 $(n-1)$-가측임이 알려진 축소된 자유 경계(reduced free boundary)를 의미한다.

증명은 귀류법으로 진행된다. 영 집합의 밀도가 0인 자유 경계 내의 집합 $A$가 존재한다고 가정하면, 저자는 블로우업 분석(blow-up analysis)을 수행한다. 극한 함수 $u_0$는 일차원적(형태 $v(x) = (a \cdot x)_+$)임이 밝혀지며, 이는 그 영 집합이 초평면임을 의미한다. 그러나 보조정리 4.1의 하우스도르프 차원 추정치는 그러한 초평면이 $n-1$보다 큰 차원에서 무한한 측도를 가져야 함을 시사하며, 이는 모순을 일으킨다.

의의 및 범위
본 노트는 특이 확산 문제에서의 자유 경계의 가측성에 관한 문헌의 공백을 메운다. 기존 연구 [3, 4]가 $p > 2$인 경우의 국소적 정칙성과 유한 둘레 성질을 확립했음에도 불구하고, 자유 경계의 구체적인 가측성은 증명되지 않은 상태였다.

본 논문은 자신의 기여를 Phillips [13, 14]의 선형 결과와 장애물 문제(obstacle problem) [9]에 대한 가측성 결과를 $p \ge 2$인 특이 반응 항의 맥락으로 확장하는 것으로 명시한다. 저자들은 극한 사례인 $\gamma=0$ (공극 문제, cavity problem)과 $\gamma=1$ (장애물 문제)이 기존 문헌 [7, 10, 6, 5, 9]에서 별도로 다루어졌음을 언급하며, 본 연구는 특히 중간 단계인 특이 영역 $\gamma \in (0, 1)$를 목표로 한다.

이 연구 결과는 $p$-라플라시안의 퇴화성과 반응 항의 특이성에도 불구하고, 활성 영역($\{u>0\}$)과 비활성 영역($\{u=0\}$) 사이의 인터페이스가 거의 모든 곳에서 잘 정의된 기하학적 구조를 유지하며, 측도론적 의미에서 접평면을 가짐을 확인시켜 준다.