Regular Curves, Singular Graphs: Cantor Parts and the Relaxed Willmore Energy

技術要約：正則な曲線、特異なグラフ：カントール部分と緩和されたウィルモア・エネルギー

問題提起
本論文は、曲率依存型汎関数、特に一次元のウィルモア・エネルギー（弾性エネルギー）およびその $L^p$ 一般化に関する、変分問題における正則化（または有限エネルギー極限）の正則性に関する根本的な問いに取り組んでいる。自由不連続問題および特別変動関数（SBV）の理論の文脈において、微分における「拡散した」特異性を排除し、絶対連続部分とジャンプ部分のみを残すことが、緩和されたエネルギーが有限である場合の標準的な期待である。ジャンプ部分は幾何学的にはグラフの極限における垂直なセグメントに対応し、カントール部分は拡散した原子のない特異測力を表す。

中心となる調査対象は、有限の緩和された一次元ウィルモア・エネルギー $W(u)$ が、$u \in BV((0,1))$ である場合に、$u \in SBV((0,1))$（すなわち、分布微分 $D^c u$ のカントール部分が消滅すること）を必ずしも意味するかどうかである。特定の指数 $p$ が 1 に近い場合には、カントール部分がエネルギー的に中立であるか、あるいは排除される可能性を示唆する先行研究の結果があったが、$p=2$（ウィルモアの場合）および一般的な $p>1$ における挙動、特に幾何学的制約がそのような特異性を排除できるかどうかについては、未解決の問題であった。

手法
著者らは、Dal Maso, Fonseca, Leoni, および Morini (DMFLM09) によって開発された緩和理論に基づく構成的アプローチを採用している。彼らの手法は以下のステップを含む：

1. 緩和の枠組み： 彼らは、$X^p_\psi$ 上の緩和された汎関数 $F_p(u)$（ウィルモア項と全変動項を含む）の特性化を利用する。有限の緩和エネルギーを持つ関数のための鍵となる条件は、その特異部分が、微分（絶対連続代表）$(u')_a$ が $\pm \infty$ に発散する集合上で集中していることである。
2. 重ね合わせの構成： カウンターエグザンプルを構成するために、著者らは関数 $u = U + f_\delta$ を定義する。
   • $f_\delta$ は一般化されたカントール関数（単調で連続であり、非自明なカントール部分 $D^c f_\delta$ を持つ）である。
   • $U$ は、特定の目的のために構成された連続かつ単調な関数であり、その微分 $U'$（$u'$ の絶対連続部分として機能する）が、カントール集合 $D_\delta$ 上で正確に $+\infty$ に発散するように設計されている。
3. 特異プロファイルの設計： $U$ の構成は、カントール集合の構成過程で除去された区間上に定義された特定の特異プロファイル $\Phi$ に依存している。このプロファイルは以下のように設計されている：
   • $U'$ は $D_\delta$ 上で発散し、特異部分の集中条件を満たす。
   • 構成 $\Psi_p \circ U'$（ここで $\Psi_p$ は重み関数 $\psi^{1/p}$ の原始である）がソボレフ空間 $W^{1,p}$ に属し、曲率エネルギーが有限であることを保証する。
   • 傾斜が非有界であるにもかかわらず、エネルギー積分の収束を確実にするために、構成のパラメータ（スケーリング係数および指数）が注意深く調整されている。
4. 幾何学的解析： 著者らは、$u$ のグラフの幾何学的性質を解析する。彼らは、関数 $u$ のグラフは垂直投影において特異な微分を持つが、曲線自体は $C^1 \cap W^{2,p}$ クラスの弧長パラメータ化 $\gamma$ を持つことを示す。さらに、適切な回転によってグラフのカントール部分が完全に排除され、回転されたグラフ関数の微分がリプシッツ連続（したがって $SBV$）になることを示す。

主な結果
本論文は以下の主要な定理および系を確立している：

• 定理 1 (ウィルモアの場合)： $u \in BV((0,1)) \cap C^0([0,1])$ である連続関数 $u$ が存在し、緩和されたウィルモア・エネルギー $W(u)$ は有限であるが、その微分のカントール部分が非ゼロ（$D^c u \neq 0$）である。したがって、有限の緩和ウィルモア・エネルギーは $u \in SBV((0,1))$ を必ずしも意味しない。
• 定理 2 (一般的な重み付きの場合)： この結果は、重み関数 $\psi$ が十分に速く減衰する場合（$\psi(t) \leq C t^{-\alpha}$ かつ $\alpha > 2p-1$）、すべての $p > 1$ についての一般的な重み付き曲率エネルギー $F_p$ にも拡張される。
• 系 3 ($L^p$-曲率エネルギー)： 重みが $t^{-(3p-1)}$ として減衰する緩和された $L^p$-曲率エネルギー $W_p$ の特定の場合において、有限のエネルギーは、いかなる $p > 1$ に対しても非自明なカントール部分を排除しない。
• 幾何学的解釈 (定理 9 および 注意 10)： 構成された関数のグラフは、弧長パラメータ化 $\gamma$ を持ち、これは正則な $C^1$ 曲線であり、平方可積分な（または一般の $p$ に対して $L^p$ の）曲率を持つ。ある特定のバリアントでは、グラフは $C^2$ 劣多様体（submanifold）にさえなり得る。カントール部分の存在は、投影によるアーティファクトであることが示されており、グラフを回転させればそれは消失する。
• 系 6 (エネルギーのスケーリング)： このような関数の緩和されたウィルモア・エネルギーは、非自明なカントール部分を維持したまま、任意に小さくすることができる。これは、カントール部分を排除する正のエネルギー閾値が存在しないことを意味する。
• 系 15 (回転体の性質)： $C^2$ 正則なプロファイル曲線（$C^2$ バリアントを用いて構成）を軸の周りに回転させることで、有限のウィルモア・エネルギーを持ち、その生成半径関数が分布微分において非自明なカントール部分を持つ回転体を得ることができる。

意義および主張
本論文は、その構成が緩和された曲率汎関数の正則性に関する理解を根本的に変えるものであると主張している：

1. SBV 期待の崩壊： これは、有限の緩和曲率エネルギーが拡散した特異性（カントール部分）を排除するという直感に反するものである。これは、第一階の汎関数（例えば Mumford-Shah エネルギー）の挙動とは対照的である。ここで、エネルギー境界は通常 SBV 正則性を強制する。
2. 投影依存性： 著者らは、カントール部分が基礎となる幾何学的曲線の本質的な特異性ではないことを強調している。曲線自体は幾何学的に「穏やか」（正則な $C^1$ で可積分な曲率を持つ）であるが、特定の投影（グラフ表現）が特異な部分を導入している。これは、曲線の本質的な幾何学と、そのグラフ表現の正則性の間の区別を浮き彫りにしている。
3. 緩和理論との適合性： この構成は、緩和理論（Dal Maso et al.）によって要求される「吹出し（blow-up）」メカニズムが、$p=2$ およびそれ以上のケースにおいてもカントール部分を収容するのに十分であることを示しており、これまでの $p$ が 1 に近い場合に限定されていた結果を拡張している。
4. 極小値への影響： 著者らは、彼らの結果が、緩和されたウィルモア・エネルギーの極小値の正則性が、小さなエネルギーの議論（パラメトリックなウィルモア理論で一般的であるもの）のみから導出できないことを示唆している。代わりに、正則性は最小化条件や低次の項に依存する必要がある。なぜなら、エネルギー自体は、傾斜の吹出し集合上に集中している場合、カントール部分を罰しないからである。

論文は、この構成は一次元的なものであるものの、積構成を通じて二次元のグラフ問題へと埋め込むことが可能であり、同様の現象が高次元においても起こり得ることを示唆しているが、実際の極小値におけるカントール部分の存在は依然として未解決の問いであると結論付けている。