Homogenization for the $p$-Laplacian in a $d$-dimensional ball perforated along the unit sphere: the critical case $p=d$

기술 요약: 단위 구면을 따라 구멍이 뚫린 $d$차원 구에서의 $p$-라플라시안에 대한 균질화 (임계 사례 $p=d$)

문제 정의
본 논문은 $\rho > 1$인 구 $B(0, \rho) \setminus \Gamma_\varepsilon \subset \mathbb{R}^d$ 내의 경계값 문제에 대한 페론 해(Perron solution) $u_\varepsilon$의 점근적 거동을 조사한다. 도메인은 단위 구 $S^{d-1}$ 근처에 분포된 수많은 작은 컴팩트 공동(cavities)들의 합집합 $\Gamma_\varepsilon$에 의해 구멍이 뚫려 있다. 각 공동은 구 위에서 간격 $\varepsilon$으로 점근적으로 균등 분포되어 있는 "앵커(anchors)" $S(\varepsilon)$를 중심으로 한다. 각 공동은 컴팩트 집합 $K_s$의 축척된 복사본 $s + \alpha(\varepsilon)\varepsilon K_s$이다 (여기서 축척 인자 $\alpha(\varepsilon) \to 0$).

경계 조건은 $\Gamma_\varepsilon$ 위에서 $u_\varepsilon = 1$이고, $\partial B(0, \rho)$ 위에서 $u_\varepsilon = 0$이다. 본 연구는 특히 차원과 지수가 같은 임계 사례 $p = d > 1$에 초점을 맞춘다. 이 사례는 관련 문헌에서 이전에 분석된 하위 임계($p < d$) 및 상위 임계($p > d$) 영역과는 구별된다. 이 임계 사례에서 공동과 벌크 포텐셜 사이의 상호작용은 로그 용량(logarithmic capacity) 메커니즘에 의해 지배되며, 이는 공동 크기에 대한 지수적 임계 스케일링을 유도한다.

방법론
저자들은 $d$-조화적(d-harmonic) 설정에 맞춤화된 변분법, 용량 추정 및 비교 원리의 조합을 사용한다.

1. 스케일링 및 임계 창(Critical Window): 저자들은 파라미터 $\tau = \lim_{\varepsilon \downarrow 0} [\varepsilon \log(1/\alpha(\varepsilon))]^{-1}$를 통해 임계 스케일링 영역을 식별한다. 이는 공동의 크기가 $\alpha(\varepsilon) \approx \exp(-1/(\tau\varepsilon))$와 같이 거동함을 의미한다. 파라미터 $\tau \in [0, \infty]$는 해의 거시적 거동을 결정한다.
2. 안사츠(Ansatz) 구성: 두 가지 근사 함수(ansatz)가 구성된다:
   • 벌크 $d$-조화적 포텐셜 $U_\rho$(상수 $A$에 의해 스케일링됨)와 국소적 방사형 펌프(radial bumps)들의 합을 결합한 명시적 방사형 안사츠 $u_\varepsilon^A$.
   • 방사형 펌프를 개별 공동 $K_s$의 정확한 $d$-용량 포텐셜 $V^s_R$로 대체한 형상 적응형 안사츠 $\hat{u}_\varepsilon^A$.
3. 에너지 최소화: 분석의 핵심은 $d$-에너지 범함수 $E(v) = \int |\nabla v|^d$를 최소화하는 데 있다. 저자들은 안사츠 함수의 점근적 에너지를 유도하며, 총 에너지가 파라미터 $A$에 의존하는 범함수 $\phi_\tau(A)$로 수렴함을 보여준다. 최적의 계수 $A^*$는 이 범함수의 최소값으로 식별된다.
4. 국소 추정 및 분리:
   • 국소 에너지 경계: "좋은/나쁜 앵커" 분류와 국소 진동 추정(Lemma 3.1–3.3)을 사용하여, 해가 단위 구 근처의 구형 껍질(spherical shells) 위에서 상수 값에 가깝다는 것을 입증한다.
   • 분리 정리: $p$-라플라시안($p=d$)에 대한 핵심 기술적 도구인 분리 정리(Theorem 6.1)를 사용한다. 이는 공동들과 단위 구 사이의 영역에서 조화 함수의 진동을 제한하여, 공동의 영향이 구로부터 빠르게 감쇠함을 증명한다. 이는 최대 원리와 특정 장벽(barrier) 구성에 의존한다.
5. 수렴 증명: 저자들은 $u_\varepsilon$가 $L^\infty$ 노름과 소볼레프 공간 $H^{1,d}_0$ 모두에서 최적의 계수 $A^*$를 갖는 안사츠로 수렴함을 증명한다. 이는 $u_\varepsilon$의 에너지와 안사츠의 에너지를 비교하고, 그래디언트 차이를 제어하기 위해 클라크슨 부등식(Clarkson's inequality)을 활용함으로써 달성된다.

주요 결과
본 논문은 균등 분포된 앵커(H1), 공동의 균등 양의 용량(H2), 그리고 임계 스계일링(H3) 가정하에 다음의 주요 정리들을 확립한다:

1. 균질화 극한 (Theorem 1.1): $\varepsilon \to 0$일 때, 해 $u_\varepsilon$는 스케일링된 방사형 포텐셜 $A^* U_\rho(x)$로 $\bar{B}(0, \rho) \setminus S^{d-1}$의 컴팩트 부분 집합 위에서 균등하게 수렴한다:
   $$u_\varepsilon(x) \to A^* U_\rho(x)$$
   여기서 $U_\rho(x) = \min\{1, 1 - \log|x|/\log\rho\}$는 단위 구의 $d$-조화적 포텐셜이다. 스케일링 인자 $A^*$는 $\tau$에 의해 다음과 같이 명시적으로 결정된다:
   $$A^* = \begin{cases} \frac{\tau \sigma^{1/(d-1)} \log \rho}{1 + \tau \sigma^{1/(d-1)} \log \rho} & 0 \le \tau < \infty \\ 1 & \tau = \infty \end{cases}$$
   여기서 $\sigma$는 앵커의 밀도와 관련된다. 구멍 뚫린 집합의 $d$-용량은 $\omega_{d-1} (\log \rho)^{-(d-1)} (A^*)^{d-1}$로 수렴한다.

2. 강한 근사 및 균등 근사 (Theorem 1.2): 해 $u_\varepsilon$는 $L^\infty$ 노름과 $H^{1,d}_0$ 노름 모두에서 형상 적응형 안사츠 $\hat{u}_\varepsilon^{A^*}$(그리고 결과적으로 명시적 방사형 안사츠 $u_\varepsilon^{A^*}$)로 수렴한다. 이는 안사츠가 거시적 극한뿐만 아니라 공동 근처의 미시적 프로파일까지 포착함을 확인시켜 준다.

의의 및 주장
본 논문은 초곡면(hypersurface)에 집중된 구멍이 있는 임계 사례 $p=d$에서 $p$-라플라시안의 균질화 문제를 해결한다고 주장한다.

• 임계 스케일링: 하위 임계 사례($p < d$)에서 임계 스케일이 대수적(algebraic)인 것과 달리, 저자들은 $p=d$인 경우 임계 스케일이 **지수적(exponential)**임을 보여준다. 이는 효과적인 용량이 로그 스케일링 파라미터 $\tau$에 의존하는 질적으로 다른 극한 거동을 이끌어낸다.
• 공형 불변성(Conformal Invariance): 저자들은 임계 사례에서 $d$-에너지의 공형 불변성 때문에, 공동의 구체적인 기하학적 세부 사항(균등한 비퇴화성을 제외하고)이 주요 점근적 거동에 영향을 미치지 않는다는 점에 주목한다. 이는 공동의 용량 값이 동일해야 했던 하위 임계 사례와 대조된다.
• 명시적 구성: 본 논문은 에너지와 점별 노름 모두에서 높은 정밀도로 해를 근사하는 명시적 안사츠를 제공하며, 미시적 공동 구조에서 거시적 균질화 포텐셜로의 전이를 완전하게 설명한다.

이 연구는 저자들의 이전 결과(특히 하위 임계 사례 $p < d$에 관한 연구)를 확장하며, 경계 지수 $p=d$에 대한 공백을 메워, 구 위에 분포된 소멸하는 구멍들이 임계 차원에서 비선형 타원형 방정식의 전역 해에 어떻게 영향을 미치는지에 대한 엄밀한 프레임워크를 제공한다.