미분가능한 원뿔형 최소 초곡면의 야코비 연산자 Fredholm 성질

초록

본 논문은 비자명 원뿔 C에 점근하는 최소 초곡면 Σ의 야코비 연산자 J₍Σ₎=Δ₍Σ₎+|A₍Σ₎|²에 대한 Fredholm 이론을 전개한다. Σ가 S‑대칭을 갖고 비퇴화(dilation‑nondegenerate) 조건을 만족할 때, 오른쪽 역연산자를 구축하여 J₍Σ₎ϕ=f 를 적절한 가중 Hölder 공간에서 해석적으로 해결한다. 또한 Lawson 원뿔 및 그 변형에 대한 구체적 예시를 제시하고, 이러한 결과가 Allen‑Cahn 방정식의 해 구성에 어떻게 활용될 수 있는지를 논의한다.

상세 분석

논문은 먼저 N≥3인 차원에서 최소 초곡면 Σ가 비자명 S‑불변 원뿔 C에 점근한다는 가정(H1‑H4)을 명시한다. 여기서 S는 C의 대칭군이며, Σ는 동일한 대칭을 상속한다. 야코비 연산자 J₍Σ₎=Δ₍Σ₎+|A₍Σ₎|²의 핵심은 기하학적 야코비 필드, 즉 평행 이동·확대·회전에 의해 생성되는 해들의 공간 G(Σ)이다. 저자들은 ζ₀(y)=y·ν₍Σ₎(y)와 ζⱼ(y)=eⱼ·ν₍Σ₎(y) (j=1,…,N+1) 및 회전에 대응하는 ζ_M을 정의하고, 이들 중 ζ₀이 무한대에서의 감소율을 ν̄로 정의한다(ν̄≤0).

Theorem 1.1은 ν<ν̄이면 G(Σ)∩D_ν(Σ)={0}임을 보이며, 이는 ν̄보다 빠르게 감소하는 비자명 기하학적 야코비 필드가 존재하지 않음을 의미한다. 이를 바탕으로 “dilation‑nondegenerate” 개념을 도입한다: ν̄>2−N이고 ν<ν̄인 모든 ν에 대해 D_ν(Σ)={0}이면 Σ는 비퇴화한다. 이 정의는 기존의 비퇴화 개념보다 약하지만, 원뿔 C가 비자명일 때는 자연스럽게 만족된다.

다음으로 저자들은 가중 Hölder 공간 C^{k,α}_ν(Σ,S)를 도입하고, 연산자 A_δ:L²_δ→L²_δ (δ∈ℝ) 를 정의한다. A_δ는 변환 ϕ=|y|^{-(N−2)/2}u 로부터 유도된 L이라는 2차 미분 연산자이며, A_δ는 자가adjoint임을 보인다. 핵심은 A_δ가 Fredholm이며, 핵과 여핵이 유한 차원이라는 사실이다. 이를 위해 인덱스 계산에 원뿔 Γ의 고유값 λ_j와 인덱스 루트 Λ_j를 사용한다. ν가 인덱스 루트가 아니면 A_δ는 전단사에 가까운 성질을 갖고, 오른쪽 역연산자 Φ를 구축할 수 있다.

Theorem 1.3은 Σ가 S‑dilation‑nondegenerate이고 ν>2−N−ν̄이면서 ν가 C의 인덱스 루트가 아니면, 임의의 f∈C^{0,α}_{ν−2}(Σ,S)에 대해 해 ϕ∈C^{2,α}_ν(Σ,S) 가 존재하고 ‖ϕ‖≤C‖f‖가 성립함을 증명한다. 이는 야코비 방정식의 선형 이론을 완성한다.

구체적인 예시로는 최소화 원뿔 C_{m,n} (Lawson 원뿔)과 그 대칭군 S=O(m)×O(n) 를 고려한다. 기존 연구