Generic non-uniqueness of minimizing harmonic maps from a ball to a sphere

1. 연구 배경 및 문제 제기 (Problem)

• 주제: 3 차원 단위 공 $B^3$ 에서 2 차원 단위 구 $S^2$ 로 가는 조화 사상 (Harmonic maps) 중 디리클레 에너지 (Dirichlet energy) 를 최소화하는 사상의 비단일성 (Non-uniqueness) 문제.
• 정의: 주어진 경계 조건 $\phi \in W^{1/2, 2}(\partial B^3, S^2)$ 에 대해, 에너지 $E(u) = \int_{B^3} |\nabla u|^2 dx$ 를 최소화하는 사상 $u \in W^{1, 2}(B^3, S^2)$ 을 찾는 문제.
• 기존 지식:
  • 비자명한 경계 조건에 대해 오일러 - 라그랑주 방정식의 해는 무수히 많을 수 있음.
  • 단일성 (Uniqueness): Almgren 의 정리에 따르면, $W^{1, 2}$ 노름에서 작은 perturbation 을 주면, 단일 최소해 (unique minimizer) 를 갖는 경계 조건이 일반적 (generic) 으로 존재함 (즉, 비단일성 사례는 $W^{1, 2}$ 위상에서 드묾).
  • 비단일성 사례: 특정 경계 조건 (예: 거울 대칭, 특이점 개수 차이 등) 에 대해 최소해가 여러 개 존재하는 예시들은 이미 알려져 있었으나, 이러한 사례들이 밀집 (dense) 하게 분포하는지에 대한 질문은 $W^{1, 2}$ 위상에서는 부정적임.
• 연구 목표: $W^{1, 2}$ 가 아닌 $W^{1, p}$ ($p < 2$) 위상에서 작은 perturbation 을 가했을 때, 비단일성이 발생하는 경계 조건들이 밀집하게 분포하는지 증명하는 것. 즉, "어떤 경계 조건이든 $W^{1, p}$ ($p<2$) 에서 아주 작은 변화로 비단일성 사례를 만들 수 있다"는 것을 보이는 것.

2. 주요 방법론 (Methodology)

저자들은 다음과 같은 두 가지 핵심 도구를 결합하여 증명을 수행했습니다.

A. Homotopy Construction (호모토피 구성) - Section 2

• 핵심 아이디어: 두 개의 매끄러운 사상 $\phi, \psi$ ($S^2 \to S^2$) 가 서로 호모토픽하고, 작은 공 $B_r(x)$ 밖에서는 일치한다고 가정할 때, 이 두 사상을 연결하는 호모토피 $H_t$ 를 구성하여 $W^{1, p}$ ($p<2$) 노름이 작게 유지되도록 하는 것.
• 기술적 난제: 일반적으로 $W^{1, p}$ ($p<n$) 공간에서 호모토피를 구성할 때, 변형 과정 전체에서 노름이 원래 사상과 얼마나 가까운지 통제하기 어려움.
• 해결책 (Theorem 2.1 & 2.2):
  • $\phi$와 $\psi$가 $B_r(x)$ 밖에서 일치한다면, $W^{1, p}$ 노름이 두 사상의 $B_{2r}(x)$ 내에서의 노름 합에 의해 통제되는 호모토피를 구성할 수 있음을 증명.
  • 스케일링 기법: $B_r(x)$ 내부의 호모토피를 더 작은 반지름 $\tau$ 로 스케일링하여, $p < n$ (여기서는 $p < 2$) 일 때 $W^{1, p}$ 노름이 $\tau^{(n-p)/p}$ 항에 의해 작아지도록 함.
  • 이를 통해 $\phi$와 $\psi$가 매우 가깝고, 그 차이가 국소적 (small ball) 이라면, 연결하는 호모토피 전체가 $W^{1, p}$에서 $\phi$에 매우 가깝게 유지됨을 보임.

B. Lavrentiev Gap 현상 및 특이점 개수 변화 - Section 3

• Hardt-Lin 예시 활용: 기존 연구 [7, 9] 에서 제시된 경계 조건을 변형하여, 에너지 최소화 사상의 특이점 (singularities) 개수가 다른 두 개의 최소해가 존재하는 경우를 찾음.
• 증명 전략:
  1. 임의의 매끄러운 경계 조건 $\phi$를 시작점으로 삼음.
  2. $W^{1, p}$ ($p<2$) 에서 $\phi$에 매우 가까운 $\phi_0$를 찾아, $\phi_0$는 유일한 최소해 $u_0$ (특이점 개수 $M$) 를 갖도록 함 (Theorem 1.1 활용).
  3. Section 2 의 호모토피 구성 정리를 사용하여, $\phi_0$와 특이점 개수가 $M+1$ 이상인 최소해 $u_1$를 갖는 $\phi_1$을 연결하는 호모토피 $H_t$를 구성.
  4. $t$를 0 에서 1 로 변화시키면서, 특이점 개수가 $M$ 이하인 최소해가 존재하는 마지막 시점 $\tau$를 정의.
  5. $\tau$에서의 경계 조건 $H_\tau$에 대해, $M$개 이하의 특이점을 가진 최소해와 $M+1$개 이상의 특이점을 가진 최소해가 동시에 존재함을 보임 (안정성 정리와 특이점의 수렴 성질 이용).

3. 주요 결과 (Key Results)

• Theorem 1.2 (주요 정리):
  • 임의의 매끄러운 경계 조건 $\phi \in C^\infty(S^2, S^2)$와 $\epsilon > 0$에 대해, $W^{1, p}(S^2, S^2)$ ($p < 2$) 노름에서 $\epsilon$만큼 가까운 $\psi$가 존재하며, $\psi$는 서로 다른 개수의 특이점을 가진 적어도 두 개의 에너지 최소화 사상을 갖는 경계 조건이 됨.
  • 의미: 비단일성이 발생하는 경계 조건들의 집합은 $W^{1, p}$ ($p<2$) 위상에서 조밀 (dense) 하다.
• Theorem 2.1 & 2.2 (호모토피 구성):
  • $p < n$일 때, 국소적으로만 다른 두 사상 사이를 연결하는 호모토피를 $W^{1, p}$ 노름에서 통제 가능하게 구성할 수 있음을 증명. 이는 $p \ge 2$인 경우와 구별되는 중요한 성질.

4. 기여 및 의의 (Contributions & Significance)

1. 비단일성의 일반성 (Generic Non-uniqueness) 확립:
   • 기존에 알려진 비단일성 사례가 단순히 "존재"하는 것을 넘어, $W^{1, p}$ ($p<2$) 위상에서 어떤 경계 조건이든 아주 작은 perturbation 으로 비단일성 사례로 바꿀 수 있음을 보임. 이는 비단일성이 $W^{1, 2}$가 아닌 더 약한 위상에서는 오히려 일반적 (generic) 임을 의미.
2. 호모토피의 노름 통제 (Norm Control for Homotopies):
   • $W^{1, p}$ ($p<2$) 공간에서 두 사상 사이의 호모토피를 구성할 때, 변형 과정 전체에서 노름이 작게 유지될 수 있음을 보인 것은 본 논문의 핵심 기술적 기여. 이는 $W^{1, p}$ 사상 간의 호모토피 이론에서 중요한 진전.
3. 안정성 결과와의 대비:
   • $W^{1, 2}$ 노름에서는 작은 perturbation 이 최소해의 특이점 개수를 바꾸지 않는다는 안정성 결과와 대조적으로, $W^{1, p}$ ($p<2$) 노름에서는 작은 perturbation 만으로도 특이점 개수가 변하고 비단일성이 발생할 수 있음을 명확히 함.
4. Lavrentiev Gap 현상과의 연결:
   • Lavrentiev Gap (연속 함수와 Sobolev 함수 간의 에너지 infimum 차이) 현상이 발생하는 경계 조건을 $W^{1, p}$ 위상에서 밀집하게 존재함을 보임으로써, 비선형 편미분방정식의 해의 구조에 대한 이해를 심화.

5. 결론

이 논문은 3 차원 공에서 구로 가는 조화 사상 문제에서, $W^{1, 2}$ 위상에서는 단일성이 일반적이지만, $W^{1, p}$ ($p<2$) 위상에서는 비단일성이 일반적임을 증명했습니다. 이를 위해 저자들은 국소적 호모토피 구성을 통해 $W^{1, p}$ 노름을 통제하는 새로운 기법을 개발했으며, 이를 통해 비단일성 사례가 경계 조건 공간 전체에 조밀하게 분포함을 보였습니다. 이 결과는 비선형 편미분방정식의 해의 유일성 문제와 Sobolev 공간의 기하학적 구조에 대한 중요한 통찰을 제공합니다.