多変数複素解析 · 2026-11-13

A Hadamard Formula for Equilibrium Envelopes under Parallel Deformation

平行移動する領域の平衡包絡とHadamard変分公式

Ziyu Li

ziyu-li-x1std pluripotential-theory monge-ampere-equations Pluripotential theory 多重ポテンシャル論 Complex Monge–Ampère equations 複素Monge–Ampère方程式 Monge Ampère Monge Ampere Monge-Ampère Monge-Ampere

arXiv Abstract

Let $(X,ω_0)$ be a compact Kähler manifold of complex dimension $n$, and let $U\Subset X$ have $C^{3,1}$ uniformly strongly pseudoconvex boundary. Consider the signed parallel family $U_t=\{ρ<t\}$, where $ρ$ is a defining function agreeing near $\partial U$ with the signed distance, negative in $U$. Let $u_t$ be the equilibrium envelope with zero obstacle on $X\setminus U_t$, and write $Σ_t=\partial U_t$, with outward unit normal $ν_t$. We prove that the normalized Monge--Ampère energy $e(t)=E_{ω_0}(u_t)$ belongs to $C^{1,1/2}([-τ,τ])$ for some $τ>0$ and satisfies the Hadamard formula $$ e'(t)=\frac{1}{n+1}\int_{Σ_t}\left(-\partial_{ν_t}u_t\right)^2 dσ_{ρ,t}^{\mathrm{tot}}, |t|<τ. $$ Here $dσ_{ρ,t}^{\mathrm{tot}}$ is the interior outward Anzellotti trace of $$ \frac{1}{V} d^cρ\wedge \sum_{p=0}^{n-1}(p+1) ω_{u_t}^{p}\wedgeω_0^{n-1-p}, V=\int_Xω_0^n, ω_{u_t}=ω_0+dd^c u_t. $$ This measure is positive and uniformly comparable to the induced surface measure. The proof combines uniform $C^{1,1}$ estimates up to the boundary from the interior with $1/2$-Hölder stability of the normal derivatives under the normal-flow identifications. We identify the boundary part of the normalized Monge--Ampère measure with the negative outward trace of a divergence-measure flux current. The one-sided weak-* limits of the mixed Bedford--Taylor boundary measures yield the weighted total flux appearing in the variation formula.

日本語要約

境界を動かしたときに、退化した複素Monge–Ampère方程式の平衡包絡から定まるエネルギーがどう変わるかを扱う。滑らかな解の通常の変分公式を直接使う代わりに、内部側の一様正則性と混合Monge–Ampère測度の片側境界極限を組み合わせる。結果として、法線微分の二乗と重み付き境界測度による変分公式が得られ、静的な境界質量と変分に現れる全フラックスの相違も明確になる。

Let $(X,ω_0)$ be a compact Kähler manifold of complex dimension $n$, and let $U\Subset X$ have $C^{3,1}$ uniformly strongly pseudoconvex boundary. Consider the signed parallel family $U_t=\{ρ<t\}$, where $ρ$ is a defining function agreeing near $\partial U$ with the signed distance, negative in $U$. Let $u_t$ be the equilibrium envelope with zero obstacle on $X\setminus U_t$, and write $Σ_t=\partial U_t$, with outward unit normal $ν_t$. We prove that the normalized Monge--Ampère energy $e(t)=E_{ω_0}(u_t)$ belongs to $C^{1,1/2}([-τ,τ])$ for some $τ>0$ and satisfies the Hadamard formula $$ e'(t)=\frac{1}{n+1}\int_{Σ_t}\left(-\partial_{ν_t}u_t\right)^2 dσ_{ρ,t}^{\mathrm{tot}}, |t|<τ. $$ Here $dσ_{ρ,t}^{\mathrm{tot}}$ is the interior outward Anzellotti trace of $$ \frac{1}{V} d^cρ\wedge \sum_{p=0}^{n-1}(p+1) ω_{u_t}^{p}\wedgeω_0^{n-1-p}, V=\int_Xω_0^n, ω_{u_t}=ω_0+dd^c u_t. $$ This measure is positive and uniformly comparable to the induced surface measure. The proof combines uniform $C^{1,1}$ estimates up to the boundary from the interior with $1/2$-Hölder stability of the normal derivatives under the normal-flow identifications. We identify the boundary part of the normalized Monge--Ampère measure with the negative outward trace of a divergence-measure flux current. The one-sided weak-* limits of the mixed Bedford--Taylor boundary measures yield the weighted total flux appearing in the variation formula.

コンパクトKähler多様体で強擬凸領域の境界を平行移動させ、対応する平衡包絡のMonge–Ampèreエネルギーの変化を調べる。境界の法線微分と弱いフラックス測度を用いたHadamard公式を示し、エネルギーの微分に1/2-Hölder連続性を与える。

arXiv
2607.17187v4
初回投稿日
2026-07-19
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
several-complex-variables 2026

原論文を開く

書誌情報

要約

平衡包絡は、与えられた制約の下で最大の多重劣調和関数を取る構成である。本論文ではコンパクトKähler多様体の領域の外側で関数を零以下に制限し、その領域の境界を平行移動したときに包絡のエネルギーがどう変わるかを調べる。

古典的なHadamard公式では、領域の変形に伴うエネルギーの微分が境界上の法線微分を用いて表される。しかし、ここでは包絡が退化した複素Monge–Ampère方程式を満たすため、滑らかな関数族の計算をそのまま適用できない。内部側からの正則性と、発散測度カレントの弱い境界トレースが必要になる。

著者は境界の $C^{3,1}$ 正則性と一様強擬凸性の下で、エネルギーが $C^{1,1/2}$ 級になり、その微分が法線微分の二乗の境界積分となることを示す。積分に現れる測度は混合積に重みを付けた全フラックスであり、高次元では静的なMonge–Ampère境界質量とは区別される。

背景と問題設定

$(X,\omega_0)$ を複素 $n$ 次元のコンパクトKähler多様体とする。$U\Subset X$ の境界はコンパクトな $C^{3,1}$ 級一様強擬凸超曲面とする。定義関数 $\rho$ は境界近くで符号付き距離に一致し、$U$ 内で負とする。小さい $t$ に対し $$ U_t=\lbrace \rho<t\rbrace ,\quad \Sigma_t=\partial U_t,\quad \nu_t=\nabla\rho|_{\Sigma_t},\quad \nu_t\text{ は外向き単位法線}, $$ $$ u_t=\sup\lbrace v\in\operatorname{PSH}(X,\omega_0):v\leq0\text{ on }X\setminus U_t\rbrace ^{\ast } $$ と定める。上付きの星は上半連続正則化を表す。$u_t=0$ は領域外で成り立ち、領域内では $\omega_{u_t}^n=0$ である。$\omega_u=\omega_0+dd^cu$、$d^c=\frac{i}{2}(\bar\partial-\partial)$、$V=\int_X\omega_0^n$ として $$ E_{\omega_0}(u)=\frac{1}{(n+1)V}\sum_{j=0}^{n}\int_X u\thinspace \omega_u^j\wedge\omega_0^{n-j} $$ を扱う。先行研究の重みを変える平衡エネルギーの変分に対し、本論文は制約集合を動かす問題である。

主結果

一様正則性と動く境界の安定性（Theorem A）

小さい $|t|$ に対して内部側の $C^{1,1}$ ノルムが一様に有界となり、 $$ -\omega_0\leq dd^cu_t\leq C\omega_0, \qquad \Vert u_t-u_s\Vert _{L^\infty(X)}\leq C|t-s| $$ が成り立つ。法線流による領域の同一視を $\Xi_{s,t}$、境界上の制限を $\Psi_{s,t}$ とすると、$0<\beta<1$ に対して $$ \Vert u_t\circ\Xi_{s,t}-u_s\Vert _{C^{1,\beta}(U_s)}\leq C_\beta|t-s|^{(1-\beta)/2}. $$ 特に $q_t=-\partial_{\nu_t}u_t$ は $$ \Vert q_t\circ\Psi_{s,t}-q_s\Vert _{C^0(\Sigma_s)}\leq C|t-s|^{1/2} $$ を満たす。この指数が最終的なエネルギー微分の正則性につながる。

境界質量と法線トレース（Theorem B）

$\mu_0=V^{-1}\omega_{u_0}^n$ の境界への制限を $\mu_0^{\mathrm{sing}}$ とする。内部側のBedford–Taylor積から $$ T_{u_0}=\sum_{p=0}^{n-1}\omega_{u_0}^{p}\wedge\omega_0^{n-1-p},\qquad J[u_0]=V^{-1}d^cu_0\wedge T_{u_0} $$ を定める。$d\sigma_\rho$ を $V^{-1}d^c\rho\wedge T_{u_0}$ の内部外向きAnzellottiトレースとすると、 $$ \mu_0^{\mathrm{sing}}=-\operatorname{Tr}^{\mathrm{out}}_{\partial U}J[u_0] =(-\partial_{\nu_0}u_0)d\sigma_\rho. $$ 多重ポテンシャル論の境界質量と幾何学的測度論のフラックスを同定する式である。

混合トレースと全フラックス（Theorem C）

混合測度 $V^{-1}\omega_{u_\varepsilon}^j\wedge\omega_{u_0}^{n-j}$ の境界への制限は、$\varepsilon\downarrow0$ の片側弱極限を持つ。$0\leq j\leq n-1$ にわたるその和には $$ B_t^{\mathrm{tot}}=\sum_{p=0}^{n-1}(p+1)\omega_{u_t}^{p}\wedge\omega_0^{n-1-p},\qquad d\sigma_{\rho,t}^{\mathrm{tot}}=\operatorname{Tr}^{\mathrm{out}}_{\Sigma_t} \bigl(V^{-1}d^c\rho\wedge B_t^{\mathrm{tot}}\bigr) $$ が現れる。$t=0$ では極限の和が $(-\partial_{\nu_0}u_0)d\sigma_{\rho,0}^{\mathrm{tot}}$ に一致する。この測度は正で、誘導される表面測度と一様に比較可能である。重み $p+1$ を落として静的な測度と同一視してはいけない。

Hadamard公式（Theorem D）

ある $\tau>0$ について $e(t)=E_{\omega_0}(u_t)$ は $[-\tau,\tau]$ 上で $C^{1,1/2}$ 級となり、 $$ \frac{d}{dt}E_{\omega_0}(u_t)=\frac{1}{n+1}\int_{\Sigma_t} (-\partial_{\nu_t}u_t)^2\thinspace d\sigma_{\rho,t}^{\mathrm{tot}},\qquad |t|<\tau $$ が成り立つ。端点では対応する片側公式を持つ。これは指定した平行移動族についての定理であり、任意の境界変形にそのまま拡張した主張ではない。

証明の見取り図

正の密度を持つDirichlet近似から内部側の一様評価を得て、動く領域を法線流で比較する。次に弱い法線トレースを使って境界質量を同定し、混合測度の片側極限を制御する。エネルギーの正確な有限差分と境界展開を組み合わせることで係数 $1/(n+1)$ が現れ、法線微分の1/2-Hölder安定性が微分の正則性を与える。Introduction末尾では、$\mathbb P^1$ と高次元トーリック模型による検算も予告される。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–6
  • Introduction中で言及された主要結果: Theorems A–D
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2607.17187v4
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction