On the second anisotropic Cheeger constant and related questions

기술 요약: 제2 이방성 체거 상수와 관련 문제에 대하여

문제 정의
본 논문은 지수 $p$가 1보다 큰 값에서 1로 접근할 때($p \to 1^+$), 이방성 $p$-라플라스 연산자의 제2 고유값 $\lambda_{2,F}(p, \Omega)$의 점근적 거동을 조사한다. 연산자는 $-Q_p u := -\text{div}(F^{p-1}(\nabla u)\nabla_\xi F(\nabla u))$로 정의되며, 여기서 $F$는 $\mathbb{R}^n$ 상의 매끄럽고 볼록한 1-동차 노름(1-homogeneous norm)이다. 첫 번째 고유값과 첫 번째 이방성 체거 상수($h_{1,F}$) 사이의 관계는 잘 확립되어 있는 반면, 제2 고유값과 그에 대응하는 "제2" 체거 상수($h_{2,F}$) 사이의 관계는 더 엄밀한 분석을 필요로 한다. 또한 본 논문은 "뒤틀린(twisted)" 이방성 $q$-체거 상수와 관련된 제약 최소화 문제를 탐구한다.

방법론
저자는 변분법과 핀슬러 기하학(Finsler geometry), 그리고 유계 변동 함수(BV) 이론의 도구들을 사용한다. 주요 방법론적 구성 요소는 다음과 같다:

• 변분적 특성 규명: Lusternik-Schnirelmann 이론과 두 개의 서로 소인 부영역으로의 분해를 통해 제2 고유값의 min-max 특성을 활용한다.
• 근사 기법: 영역 경계에 대한 제한적인 가정을 부과하지 않고도 정칙성(regularity) 문제를 다루기 위해, BV 함수를 컴팩트 지지(compact support)를 가진 매끄러운 함수로 내부 근사하는 결과([BDPP, Theorem 4.3])를 활용한다.
• 코에라 공식(Coarea Formulas): 함수의 총 변동(total variation)을 레벨 셋(level sets)의 이방성 둘레와 연결하기 위해 이방성 코에라 공식을 적용한다.
• 등주 부등식(Isoperimetric Inequalities): 고정된 부피에 대해 울프 형상(Wulff shape)이 이방성 둘레를 최소화한다는 이방성 등주 부등식을 사용하여 하한을 도출하고 최소화자를 규명한다.
• 뒤틀린 상수 분석: 뒤틀린 체거 상수 문제를 서로 소인 집합들에 대한 최소화 문제로 재정립하고, 이를 울프 형상을 포함하는 1차원 최적화 문제로 축소한다.

주요 기여 및 결과

1. 제2 고유값에 대한 이방성 체거 부등식:
   본 논문은 제2 고유값에 대한 체거 유형의 부등식을 다음과 같이 확립한다:
   $$\lambda_{2,F}(p, \Omega) \geq \left( \frac{h_{2,F}(\Omega)}{p} \right)^p$$
   여기서 제2 이방성 체거 상수 $h_{2,F}(\Omega)$는 다음과 같이 정의된다:
   $$h_{2,F}(\Omega) := \inf \left\{ \max \left\{ \frac{P_F(E_1)}{|E_1|}, \frac{P_F(E_2)}{|E_2|} \right\} : E_1, E_2 \subset \Omega, E_1 \cap E_2 = \emptyset, |E_1|, |E_2| > 0 \right\}$$
   여기서 $P_F(E)$는 이방성 둘레를 나타낸다.

2. $p \to 1^+$일 때의 극한 거동:
   주요 결과는 제2 고유값이 극한에서 제2 체거 상수로 수렴함을 증명한다:
   $$\lim_{p \to 1^+} \lambda_{2,F}(p, \Omega)^{1/p} = h_{2,F}(\Omega)$$
   증명은 체거 부등식(하한)을 보여주는 것과, $h_{2,F}$의 최소화 집합들에 기반한 테스트 함수를 구성하는 것(상한)을 모두 포함한다.

3. 고유함수의 수렴:
   본 논문은 정규화된 제2 고유함수 $u_{2,p}$가 (부분 수열로서) $L^1(\Omega)$에서 단위 $L^1$ 노름을 갖는 함수 $u_2 \in BV(\Omega)$로 수렴함을 보여준다. 이 극한 함수는 $\int_\Omega |Du_2|_F \leq h_{2,F}(\Omega)$를 만족하며, 제2 고유함수의 마디 구조(nodal structure)를 반영하여 양수 또는 음수가 아니다.

4. 고차 고유값에서의 불일치:
   저자는 $k=2$일 때는 극한이 성립하지만, $k \geq 3$인 경우에는 $\limsup_{p \to 1^+} \lambda_{k,F}(p, \Omega)^{1/p} \leq h_{k,F}(\Omega)$라는 부등식만을 보장할 수 있음을 언급한다. 이러한 불일치는 $k$번째 고유함수가 일반적으로 $k$개의 서로 다른 마디 영역(nodal domains)을 갖지 않기 때문에 발생한다.

5. 뒤틀린 이방성 $q$-체거 상수:
   본 논문은 평균이 0인 함수들의 $L^q$ 노름에 대한 이방성 총 변동의 하한으로 정의되는 상수 $K_{q,F}(\Omega)$를 연구한다. $h_{1,F}(\Omega) \leq K_{1,F}(\Omega) \leq h_{2,F}(\Omega)$임이 밝혀졌다.

• 최소화: 고정된 부피를 가진 집합들에 대한 $K_{q,F}(\Omega)$의 최소화자는 두 개의 서로 소인 울프 형상의 합집합임이 증명되었다.
• 유일성 및 기하학: 임계 지수 $\tilde{q}(n)$이 식별되었다. $q < \tilde{q}$인 경우, 유일한 최소화자는 반지름이 같은 두 개의 서로 소인 울프 형상으로 구성된다. $q > \tilde{q}$인 경우, 유일한 최소화자는 반지름이 다른 두 개의 서로 소인 울프 형상으로 구성된다. $n=2$인 경우, $\tilde{q} = 7/4$이며, 최소화자는 임계값에서도 유일하고 대칭적이다.

의의 및 주장
본 논문은 알려진 $p$-라플라시안의 제1 고유값에 대한 점근적 이론을 제2 고유값으로 확장한다고 주장한다. $\lambda_{2,F}$가 $h_{2,F}$로 수렴함을 증명함으로써, 본 연구는 스펙트럼 이론과 기하학적 최적화 사이의 간극을 메우며 제2 모드에 대한 이론적 연결고리를 제공한다. 저자는 BV 함수의 내부 근사 기법을 활용함으로써 기존 문헌(예: [Li, S])에서 발견되는 특정 정칙성 가정을 극복했다고 명시적으로 밝힌다. 또한, 뒤틀린 체거 상수 최소화자의 특성 규명은 이방성 맥락에서 제로 평균(zero-mean) 조건이 가하는 제약을 기하학적으로 이해하게 하며, 이는 기존의 유클리드 결과를 일반화한다. 본 논문은 새로운 실험적 응용을 제안하기보다는 비선형 고유값 문제, 이방성 기하학, 그리고 체거 유형 상수 사이를 연결하는 이론적 틀을 공고히 하는 데 목적이 있다.