[論文レビュー] Geometric quantities arising from bubbling analysis of mean field equations

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

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) の幾何的役割を理解すること。
• ヘッセ行列 H(a) を用いて、複数グリーン関数 G_n の自明な臨界点がいつ退化するかを解明すること。
• ラメ曲線の幾何を用いて、D(a) と H(a) を結ぶ明示的かつ計算可能な公式を導出すること。
• D(a) と H(a) が非ゼロである場合の非自明な条件に基づき、バブル解の局所的一意性を決定するための枠組みを提供すること。

提案手法

• バブル列における ρ_k − 8πn の漸近展開を測るグローバル幾何的量 D(a) を導入する。
• 自明な臨界点 a における複数グリーン関数 G_n のヘッセ行列の行列式として H(a) を定義する。
• E^n 上の G_n の臨界点をパラメトライズするためにラメ曲線理論を適用する。
• 複素解析およびワイエルシュトラスの楕円関数を用いて、グリーン関数 G の2階微分を計算する。
• 特別な点（半周期およびワイエルシュトラス点）における det D^2 G_n の明示的公式を、(log ϑ)_{zz} および ϑ-関数の恒等式を用いて導出する。
• トーラスの幾何とその不変量を通じて、定数 c_p を介して D(a) と H(a) の比例関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 平坦トーラス上の平均場方程式のバブル解の文脈において、幾何的量 D(a) と H(a) はどのように関係しているか？
• RQ2 複数グリーン関数の自明な臨界点における漸近的制御パラメータ D(a) とヘッセ行列 H(a) の正確な関係は何か？
• RQ3 半周期やワイエルシュトラス点などの特別な点において、ヘッセ行列 H(a) を明示的に計算できるか？
• RQ4 ヘッセ行列 H(a) が何時ゼロになるか、そしてそのことがバブル解の一意性にどのように影響するか？
• 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 の場合に限って c_p = 0 となる。これは τ ≡ e^{πi/3} のときにのみ発生する。
• 結果として、D(a) と H(a) が一般にゼロでないことが確認され、これらの条件下でバブル解の局所的一意性が保証される。