[논문 리뷰] Geometric quantities arising from bubbling analysis of mean field equations

Chang‐Shou Lin, Chin-Lung Wang|arXiv (Cornell University)|2016. 09. 23.

Nonlinear Partial Differential Equations참고 문헌 7인용 수 3

한 줄 요약

이 논문은 평탄한 토러스 위의 평균 장 방정식의 블러잉 솔루션에서의 점근적 행동을 제어하는 D(a)와 임계점이 자명한 다중 그린 함수의 헤시안 H(a) 사이의 정확한 기하학적 관계를 수립한다. 라메 곡선 이론과 복소해석학을 활용하여 D(a)와 H(a)를 연결하는 명시적 공식을 유도함으로써, 블러잉 구성에 의해 블러잉 솔루션의 분류와 유일성을 가능하게 한다.

ABSTRACT

Let $E = \Bbb C/Λ$ be a flat torus and $G$ be its Green function with singularity at $0$. Consider the multiple Green function $G_n$ on $E^n$: $$G_{n}(z_1,\cdots,z_n) := \sum_{i < j} G(z_{i} - z_{j}) - n \sum_{i = 1} ^{n} G(z_{i}).$$ A critical point $a = (a_1, \cdots, a_n)$ of $G_n$ is called trivial if $\{a_1, \cdots, a_n\} = \{-a_1, \cdots, -a_n\}$. For such a point $a$, two geometric quantities $D(a)$ and $H(a)$ arising from bubbling analysis of mean field equations are introduced. $D(a)$ is a global quantity measuring asymptotic expansion and $H(a)$ is the Hessian of $G_n$ at $a$. By way of geometry of Lamé curves developed in our previous paper (Cambridge J. Math 3, 2015), we derive precise formulas to relate these two quantities.

연구 동기 및 목표

• 평탄한 토러스 위의 평균 장 방정식 블러잉 분석에서 D(a)와 H(a)의 기하학적 역할을 이해하는 것.
• 다중 그린 함수 G_n의 자명한 임계점에서의 비퇴화성 여부를 H(a) 분석을 통해 해결하는 것.
• 라메 곡선의 기하학을 활용하여 D(a)와 H(a)를 연결하는 명시적이고 계산 가능한 공식을 도출하는 것.
• D(a)와 H(a)가 0이 아닐 때의 조건을 통해 국소 유일성을 판단할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 블러잉 수열에서 ρ_k − 8πn의 점근 전개를 측정하는 전역 기하량 D(a)를 도입한다.
• 자명한 임계점 a에서 다중 그린 함수 G_n의 헤시안 행렬식으로 H(a)를 정의한다.
• E^n 위에서 G_n의 임계점을 매개변수화하기 위해 라메 곡선 이론을 적용한다.
• 복소해석학과 위어스트라스 타니엔트 함수를 사용하여 그린 함수 G의 이阶도 도함수를 계산한다.
• 특수점(반주기점과 위어스트라스 점)에서 det D^2 G_n의 명시적 공식을 (log ϑ)_{zz}와 ϑ-함수 항등식을 통해 유도한다.
• 토러스의 기하학과 그 불변량을 통해 D(a)와 H(a) 사이의 비례관계를 상수 c_p를 통해 수립한다.

실험 결과

연구 질문

• RQ1 평탄한 토러스 위의 평균 장 방정식 블러잉 솔루션의 맥락에서 기하량 D(a)와 H(a)는 어떻게 관련되어 있는가?
• RQ2 다중 그린 함수의 자명한 임계점에서 점근적 제어 매개변수 D(a)와 헤시안 H(a) 사이의 정확한 관계는 무엇인가?
• RQ3 반주기점과 위어스트라스 점과 같은 특수점에서 헤시안 H(a)는 명시적으로 계산될 수 있는가?
• RQ4 헤시안 H(a)가 언제 0이 되며, 이는 블러잉 솔루션의 유일성에 어떤 영향을 미치는가?
• RQ5 라메 곡선의 기하학은 D(a)와 H(a)의 계산을 어떻게 지원하는가?

주요 결과

• 양의 비례상수 c_p를 통해 D(a)와 H(a) 사이의 정확한 공식이 도출되었으며, 모든 자명한 임계점 a에 대해 H(a) = c_p D(a)임을 보였다.
• 반주기점 (1/2 ω_i, 1/2 ω_j)에서 헤시안 행렬식은 det D^2 G_2(p) = (4/(2π)^4) × |2e_i e_j + e_k^2 − 3e_k η_1|^2 + (2π/b) Re(3 ē_k (2e_i e_j + e_k^2 − 3e_k η_1))로 주어지며, 여기서 b = Im τ이다.
• 위어스트라스 점 (q, -q)에서 ℘(q) = ±√(g_2/12)일 경우, 헤시안 행렬식은 det D^2 G_2(p) = (9/π^4) |℘(q)|^2 (|℘(q) + η_1|^2 − (2π/b) Re(℘(q) + η_1))로 주어진다.
• 반주기점에서 상수 c_p는 c_p = e^{-c} |e_i - e_j| |e_i - e_k| |e_j - e_k| / (4bπ^4) > 0로 명시적으로 계산된다.
• 위어스트라스 점에서는 c_p = (9e^{-c}/(4bπ^4)) |℘(q)|^2 |℘'(q)|^4 ≥ 0이며, c_p > 0이 되기 위해서는 ℘(q) ≠ 0여야 하며, 이는 오직 τ ≡ e^{πi/3}일 때에만 성립한다.
• 결과적으로 D(a)와 H(a)가 일반적으로 0이 아님을 확인하였으며, 이는 이러한 조건 하에서 블러잉 솔루션의 국소 유일성을 의미한다.