Local stability for a class of Saint-Venant type inequalities

기술 요약: 성-베넌트 유형 부등식의 한 부류에 대한 국소적 안정성

문제 정의
본 논문은 $\Omega$에서 $-\Delta u = 1$ (경계 조건 $u=0$ on $\partial\Omega$)인 디리클레 토션 문제(Dirichlet torsion problem)의 해 $u$에 대하여, 형상 범함수(shape functional) $J(\Omega) = \int_\Omega j(u) \, dx$의 정량적 안정성을 다룬다. 여기서 함수 $j: \mathbb{R} \to \mathbb{R}$는 볼록(convex)하고, 비음수(nonnegative)이며, 립시츠 연속(Lipschitz continuous)이고, $j(0)=0$을 만족한다고 가정한다.

탈렌티의 비교 원리(Talenti's comparison principle)에 의해, 고정된 측도를 가진 모든 영역 중에서 구(ball) $\Omega^\sharp$가 $J(\Omega)$를 최대화한다는 것이 알려져 있다. 핵심적인 문제는 이 극대 성질에 대한 날카로운 정량적 안정성 추정치를 확립하는 것이다. 구체적으로, 저자들은 $J(\Omega^\sharp) - J(\Omega)$라는 "결손(deficit)"이 영역 $\Omega$의 구형 대칭성으로부터의 거리의 제곱을 제어하기를 구하고자 한다. 이러한 결과는 브라스코, 데 필리피스, 벨리초프[9]에 의해 $j(s)=s$인 특정 토션 강성(torsional rigidity)의 경우에 이미 확립된 바 있으나, 본 연구는 일반적인 볼록 함수 $j$로 정의된 더 넓은 범주의 범함수로 이 분석을 확장한다.

방법론
분석은 **근사 구형 집합(nearly spherical sets)**의 범주로 제한된다. 영역 $\Omega$는 단위 구 $B_1$의 작은 $C^{2,\gamma}$ 법선 섭동(normal perturbation)으로 간주되는 함수 $\phi$에 의해 매개되는 것으로 정의된다. 부피는 보존되며($|\Omega| = |B_1|$), 질량 중심은 원점에 고정된다.

주요 도구로는 **형상 미분법(method of shape derivatives)**이 사용된다. 저자들은 단위 구로부터 시작하여 자율 벡터장(autonomous vector field) $V$에 의해 생성되는 부피 보존 변형 흐름(volume-preserving deformation flow) $\{\Omega(t)\}_{t \ge 0}$을 고려한다. 안정성은 범함수 $f(t) = J(\Omega(t))$의 1차 및 2차 변분에 대한 분석을 통해 조사된다.

주요 기술적 단계는 다음과 같다:

1. 1차 변분(First Variation): 하다마드 공식(Hadamard's formula)과 변형장의 발산이 0이라는 성질을 사용하여 1차 미분을 계산한다. $f'(0) = 0$임을 보여줌으로써 구가 임계점임을 확인한다.
2. 2차 변분 및 부가 상태(Second Variation and the Adjoint State): $f''(t)$를 계산하는 것은 상태 함수(state function)의 물질 미분(material derivative)인 $\dot{u}$를 포함하기 때문에 까다로운 과제이다. 이를 우회하기 위해 저자들은 다음과 같은 보조 경계값 문제의 해인 부가 상태(adjoint state) $p$를 도입한다:
   $$\begin{cases} -\Delta p = j'(u) & \text{in } \Omega \\ p = 0 & \text{on } \partial\Omega \end{cases}$$
   이 기법을 통해 2차 변분의 경계 적분 식에서 $\dot{u}$를 제거할 수 있으며, 결과적으로 섭동의 기울기($\nabla u, \nabla p$)와 경계 섭동에만 의존하는 다루기 쉬운 식을 얻을 수 있다.
3. 스펙트럼 분석(Spectral Analysis): $t=0$에서의 2차 변분은 경계 섭동 공간 상의 이차 형식(quadratic form)으로 표현된다. 저자들은 섭동을 구면 조화 함수(spherical harmonics)로 전개하여 이 형식의 코어시비티(coercivity, 강성)를 분석한다. 이들은 이 이차 형식이 (이미 제약 조건에 의해 고정된 이동 및 부피 변화에 해당하는 1차 구면 조화 함수들에 직교하는 섭동 부분 공간 위에서) 양의 정부호(positive definite)임을 입증한다.
4. 연속성 및 코어시비티(Continuity and Coercivity): 증명은 두 가지 주요 해석적 추정에 의존한다:
   • 개선된 연속성(Improved Continuity): 2차 변분 $f''(t)$가 $f''(0)$에 근접함을 보여줌으로써, 비선형 나머지 항이 양의 성질을 파괴하지 않도록 보장한다.
     easily
   • 코어시비티(Coercivity): 섭동이 작고 부피/중심 제약을 만족하는 경우, 2차 변분이 섭동의 $H^{1/2}$-노름의 제곱에 상수를 곱한 값보다 하한이 높음을 증명한다.

주요 기여 및 결과
주요 결과는 정리 1.2로, 근사 구형 집합에 대한 국소적 안정성 부등식을 확립한다. 구체적으로, $\Omega$가 $|\Omega| = |B_1|$이고 질량 중심이 원점인 $C^{2,\gamma}$ 급의 근사 구형 집합일 때, 다음을 만족하는 상수 $\delta_c > 0$와 $C(n, j) > 0$가 존재한다:
$$J(B_1) - J(\Omega) \ge C(n, j) \|\phi\|_{H^{1/2}(\partial B_1)}^2$$
여기서 $\phi$는 경계 섭동의 매개변수이다.

논문은 이 일반적인 결과가 적용될 수 있는 몇 가지 구체적인 응용 사례를 강조한다:

• 토션 강성(Torsional Rigidity): $j(s)=s$인 경우에 대해 [9]의 결과를 회복한다.
• $L^p$-노름($L^p$-norms): $p \ge 2$인 $j(s) = s^p$에 대해 유효하다.
• 모저-트루딩거 범함수(Moser–Trudinger Functional): $n=2$ 차원에서 $j(s) = e^{s^2} - 1$인 경우에 유효하다.

또한 저자들은 부록 B에서 $j''$에 대한 더 약한 정칙성 가정(구체적으로 $j'' \in L^{n/2}$)과 $j$ 및 그 도함수의 특정 구조적 조건을 바탕으로 코어시비티를 확립하는 **대안적 증명(Alternative Proof)**을 제공한다.

의의 및 주장
본 논문은 특정 토션 강성 사례에서 광범위한 성-베넌트 유형 부등식으로 정량적 안정성 이론을 확장한다고 주장한다. 그 의의는 부가 상태를 도입함으로써 형상 미분법의 구조적 적응을 성공적으로 수행했다는 점에 있다. 이를 통해 저자들은 2차 변분에서 발생하는 비선형성 $j$로 인한 추가 항들을 효과적으로 관리할 수 있었다.

저자들은 결과가 국소적(근사 구형 집합으로 제한됨)임에도 불구하고 $H^{1/2}$-노름을 사용하는 것이 매우 중요하다고 강조한다. 이 노름은 부피 편차와 경계의 진동 거동을 모두 포착하여 비대칭성을 측정하는 견고한 척도를 제공한다. 이 연구는 파베르-크라니크(Faber–Krahn) 부등식과 성-베넌트 부등식의 기초적인 정량적 안정성 결과[9]를 직접적으로 구축하며, 안정성 메커니즘이 서로 다른 볼록 범함수들 사이에서도 견고하게 작동함을 보여준다.