Strictly stable solutions in uniformly convex planar domains may have nonconvex superlevel sets

기술 요약: 균등 볼록 평면 영역에서의 엄격하게 안정적인 해는 비볼록 상위수준 집합을 가질 수 있다

문제 정의
본 논문은 준선형 타원형 방정식의 정성적 이론에 관한 근본적인 질문을 다룬다: 즉, 영역 $\Omega \subset \mathbb{R}^2$의 볼록성이 디리클레 문제(Dirichlet problem)의 양의 해의 레벨 집합(또는 상위수준 집합)의 볼록성을 강제하는가 하는 점이다:
$$\begin{cases} -\Delta u = f(u) & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega. \end{cases}$$
구체적으로, 본 논문은 겔판드 비선형성(Gelfand nonlinearity) $f(u) = e^u$ 및 이동된 멱함수 형태의 비선형성 $f(u) = (a+u)^p$ ($a>0, p>1$)와 같은 전형적인 비선형성에 대해, **안정성(stability)**이 레벨 집합의 볼록성을 회복시키는지 조사한다. 마카리마노프(Makar-Limanov), 브라스캠프-리브(Brascamp-Lieb), 카펠리니-프리드만(Caffarelli-Friedman) 등의 고전적 결과들은 특정 사례들(토션 함수, 첫 번째 고유함수, 또는 특정 오목 비선형성)에 대해 준오목성(quasiconcavity)을 확립하였으나, 하멜(Hamel), 나디라슈빌리(Nadirashvili), 사이어(Sire) [22]는 일반적인 비선형성에서는 볼록성이 깨질 수 있음을 보여주었다. 따라서 **최소 엄격하게 안정적인 해(minimal strictly stable solutions)**의 상태는 브레지스(Brezis) [7]가 제기한 미해결 과제로 남아 있었다.

방법론
저자는 일차원 새들-노드(saddle-node, fold) 분기에 의해 구동되는 기하학적 메커니즘을 사용하여 반례를 구성한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 일차원 폴(Fold) 분석:
   본 논문은 구간 $(-h, h)$ 위에서 $U(\pm h)=0$을 만족하는 일차원 문제 $-U'' = f(U)$를 분석한다. "폴-허용 가능한(fold-admissible)" 비선형성(진폭 $A$로부터 반폭 $h(A)$로의 사상이 비퇴화된 폴을 갖는 경우)에 대하여, 저자는 임계 진폭 $A_c$ (여기서 $h'(A_c)=0$) 근처에서, 고정된 레벨 $t$의 높이 $Y_t(h)$와 반폭 $h$ 사이의 관계가 **제곱근 특이점(square-root singularity)**을 보임을 입증한다. 구체적으로, $h$가 임계 폭 $h_c$에 미만에서 접근할 때(안정적인 하부 가지를 따라), 높이는 다음과 같이 행동한다:
   $$Y_t(h) \approx Y_c - c_t \sqrt{h_c - h}$$
   이 전개식은 음함수 정리와 폴에서의 선형 연산자의 성질을 사용하여 유도된다.

2. 영역의 기하학적 구성:
   저자는 매끄럽고 유계이며 **균등 볼록(uniformly convex)**한 "느린 채널(slow channel)" 영역 $\Omega_\epsilon$을 구성한다. 이 영역은 수평 방향으로 완만하게 변화하는 폭 $H(X)$를 가진 길고 얇은 형태로 설계되었다. 함수 $H(X)$는 오목하게 선택되며, 임계 폭 $h_c$보다 약간 낮은 수준에서 변화하도록 설정된다. 결정적으로, 저자는 특정 중간 지점에서 $\sqrt{h_c - H(X)}$ 항(레벨 집합의 높이를 결정하는 항)이 (볼록한 상위수level 집합에 필요한 오목성을 위반하여) **엄격한 중간점-볼록성(midpoint-convexity)**을 갖도록 하는 특정한 프로파일 $H(X)$를 선택한다. 이는 제곱근 특이성을 활용함으로써 달성된다: 만약 $D(X) = h_c - H(X)$가 볼록하다면, $D(X)$가 작고 양수인 점 근처에서 $-\sqrt{D(X)}$는 엄격한 중간점-볼록성을 가질 수 있다.

3. 해석적 근사 및 안정성:
   장벽(barrier) 논법과 극대 원리(maximum principle)를 사용하여, 저자는 구성된 영역 $\Omega_\epsilon$에서의 실제 해 $u_\epsilon$이 영역의 종횡비 $\epsilon \to 0$일 때 형식적인 일차원 프로파일 $V(X, \eta) = U_{H(X)}(\eta)$에 $L^\infty$ 의미에서 균등하게 가까워짐을 증명한다.

   • 존재성 및 최소성: 영(zero) 부하해(subsolution)와 최대 폭에서의 일차원 프로파일로부터 유도된 전역 상해(supersolution) 사이의 단조 반복법을 통해 최소 해를 구성한다.
   • 엄격한 안정성: 2차원 선형 연산자를 1차원 선형 연산자와 비교함으로써 최소 해의 엄격한 안정성을 확립한다. 1차원 연산자가 안정적인 가지(stable branch) 상에서 양의 스펙트럼 간극(spectral gap)을 가지므로, 2차원 해 역시 엄격한 안정성을 물려받는다.
   • 비볼록성: 실제 해의 $L^\infty$ 근사 오차가 $O(\epsilon^2)$임을 보임으로써, 이것이 제곱근 특이성에 의해 생성된 레벨 집합 높이의 유한한 "중간점 위반(midpoint violation)"을 교정하기에는 불충분함을 보인다. 따라서 최소 엄격하게 안정적인 해의 실제 상위수준 집합은 비볼록하다.

주요 기여 및 결과

• 정리 1.2: 임의의 폴-허용 가능한 비선형성 $f$에 대하여, 매끄럽고 균등 볼록한 평면 영역 $\Omega$와 최소이며 엄격하게 안정적인 해 $u$가 존재하여, 상위수준 집합 $\{u > t_0\}$가 볼록하지 않음을 보인다.
• 따름정리 1.3: 이 결과는 겔판드 비선형성($f(u)=e^u$) 및 이동된 멱함수 비선형성($f(u)=(a+u)^p, a>0, p>1$)에 구체적으로 적용되어, 브레지스의 질문에 대한 부정적인 답변을 제공한다.
• 따름정리 3.8: 이 결과는 매개변수화된 문제 $-\Delta u = \lambda f(u)$로 확장되어, 매개변수 범위 전체에서 최소 엄격하게 안정적인 해에 대한 볼록성 결여가 지속됨을 보여준다.
• 폴-허용 가능성 검증: 본 논문은 $e^u$와 $(a+u)^p$가 폴 메커니즘에 필요한 구조적 조건(Proposition 2.10 및 2.11)을 충족함을 명시적으로 검증한다.

의의 및 주장
본 논문은 표준적인 비선형성에 대해 균등 볼록 영역에서 안정성이 레벨 집합의 볼록성을 회복하는지에 대한 질문에 결정적인 부정적 답변을 제공한다고 주장한다.

• 이전 반례들과의 차별점: 하멜, 나디라슈빌리, 사이어 [22]의 이전 반례들(특수하게 구성된 비볼록 비선형성에 의존함)이나 모네오와 샤그홀리안 [37](자유 경계 극한을 포함함)과 달리, 이 구성은 양수이고 증가하며 볼록한 비선형성을 가진 매끄럽고 균등 볼록하며 단순 연결된 영역을 사용한다.
• 메커니즘: 비볼록성은 위상(topology), 다중 임계점, 또는 비단조 반응항 때문이 아니다. 대신, 이는 안정적인 일차원 폴 근처에서의 **제곱근 응답(square-root response)**에서 기인한다. 본 논문은 "효과적인" 일차원 폴이 주변 영역의 볼록성 성질을 압도하고 무효화한다고 주장한다.
• 최소 해: 이 결과는 최소 해에 적용된다는 점에서 특히 강력하다. 이러한 해들은 일반적으로 이론에서 가장 "규칙적"이고 안정적인 구성으로 여겨지며, 이들이 엄격하게 안정적임이 밝혀졌다.

요약하자면, 본 논문은 가장 유리한 기하학적 환경(균등 볼록 영역)과 가장 견고한 해의 유형(최소, 엄격하게 안정적인 해)에서도, $e^u$나 멱법칙과 같은 표준적인 비선형성에 대해 영역의 볼록성이 상위수준 집합의 볼록성을 보장하지 못함을 입증한다.