[論文レビュー] Non-Local Isoperimetric Problems

Agnese Di Castro, Berardo Ruffini+2 more|arXiv (Cornell University)|Jun 29, 2014

Nonlinear Partial Differential Equations参考文献 24被引用数 3

ひとこと要約

本稿は、$s < t$ を満たす異なる順序 $s$ と $t$ の分数階境界長の競合を伴う非局所的等周問題を調査する。小さな体積では、エネルギー汎関数 $\mathcal{F}_{s,t}$ の最小化子として球が一意に得られることを、定量的分数階等周不等式を用いて示す。すべての体積について最小化子の存在と正則性が証明されているが、大きな体積では球が最小化子でないことが示唆され、最小化問題に豊かな幾何的構造が存在することが示唆される。

ABSTRACT

We characterize the volume-constrained minimizers of a nonlocal free energy given by the difference of the $t$-perimeter and the $s$-perimeter, with $s$ smaller than $t$. Exploiting the quantitative fractional isoperimetric inequality, we show that balls are the unique minimizers if the volume is sufficiently small, depending on $t-s$, while the existence vs. nonexistence of minimizers for large volumes remains open. We also consider the corresponding isoperimetric problem and prove existence and regularity of minimizers for all $s,\\,t$. When $s=0$ this problem reduces to the fractional isoperimetric problem, for which it is well known that balls are the only minimizers.

研究の動機と目的

• $s < t$ を満たす $t$-および $s$-境界長を組み合わせた非局所的エネルギー汎関数の体積制約付き最小化子を特徴づけること。
• この非局所的等周問題の最小化子の存在、正則性、剛性（一意性）を調査すること。
• 長距離および短距離の相互作用が競合する非局所的設定において、古典的等周不等式を拡張すること。
• 特に小さな体積領域において、球が一意の最適化子である条件を特定すること。
• $s \to 0$ および $t \to 1$ の極限において、既知の分数階および古典的等周不等式がどのように回復されるかを分析すること。

提案手法

• エネルギー汎関数 $\mathcal{F}_{s,t}(E)$ は、$t$-および $s$-境界長の重み付き差分として定義され、$s \to 0$ および $t \to 1$ の極限での連続性を保つように正規化定数が設定されている。
• 直接法を用いて最小化子の存在を示し、$L^1$ 収束における下半連続性とコンパクト性を用いる。
• 最小化条件と分数階等周不等式から導かれる、$t$-境界長の新しい $\omega$-最小性の概念を用いて、最小化子の正則性を証明する。
• 小さな体積においてエネルギーが球でのみ厳密に最小化されることを示すために、定量的分数階等周不等式を用いる。
• 小さな体積における剛性の証明は、$s$ および $t$ の個別の値に依存せず、差 $t - s$ のみに依存する安定性推定に依存する。
• 体積制約なしの一般化された等周問題に対しては、スケーリングの議論とコンパクト性により最小化子が存在することを示し、体積制約付きの場合と同様の正則性が保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 固定体積 $m$ に対して、非局所的エネルギー $\mathcal{F}_{s,t}(E)$ の球が一意の最小化子となる条件は何か？
• RQ2 エネルギー $\mathcal{F}_{s,t}$ の最小化問題は、すべての体積 $m > 0$ に対して最小化子をもつのか、それとも小さな $m$ のみか？
• RQ3 長距離（$t$-境界長）と短距離（$s$-境界長）の効果の競合は、最小化子の形状にどのように影響するか？
• RQ4 最小化子の正則性は、次元 $N$ および指数の差 $t - s$ にどのように依存するか？
• RQ5 $s \to 0$ および $t \to 1$ の極限において、古典的等周不等式がこの非局所的問題の極限として回復されるか？

主な発見

• 任意の $0 \leq s < t \leq 1$ に対して、閾値 $\bar{m}_0(N, t-s) > 0$ が存在し、すべての体積 $m < \bar{m}_0$ に対して最小化子が存在する。
• 体積 $m < \bar{m}_1(N, t-s) \leq \bar{m}_0$ に対して、$\mathcal{F}_{s,t}$ の唯一の最小化子は、測度 $m$ の球である。これは定量的分数階等周不等式による。
• 最小化子の正則性は、ハウスドルフ次元が $N-2$ 以下の特異集合を除いて $C^{1,\beta}$ であり、$t=1$ のときには正則性が $N-8$ に向上する。
• 体積制約なしの問題 $\widetilde{\mathcal{F}_{s,t}}$ の最小化子は存在し、正則性を有しており、体積制約付きの場合と同様の正則性特性を示す。
• エネルギー汎関数 $\mathcal{F}_{s,t}$ は $s$ および $t$ に関して $[0,1]$ 上で連続に依存し、極限 $s \to 0$、$t \to 1$ で古典的等周汎関数が回復される。
• 大きな体積では球が最小化子でないことが示され、最小化問題が球対称性を超えた非自明な幾何的構造を示している。