[論文レビュー] Regularity of free boundaries in anisotropic capillarity problems and the validity of Young's law

Guido De Philippis, Francesco Maggi|arXiv (Cornell University)|Feb 3, 2014

Nonlinear Partial Differential Equations参考文献 23被引用数 5

ひとこと要約

本稿は、異方性毛細管問題における自由境界の正則性を確立し、自由境界が無視できる集合を除いて滑らかであり、ほとんど至るところの境界点でヤングの法則が成り立つことを確認している。変分法および吹き出し解析を用いて、境界制約付きの異方性エネルギーを最小化する有限径数集合への正則性結果を拡張した。

ABSTRACT

Local volume-constrained minimizers in anisotropic capillarity problems develop free boundaries on the walls of their containers. We prove the regularity of the free boundary outside a closed negligible set, showing in particular the validity of Young's law at almost every point of the free boundary. Our regularity results are not specific to capillarity problems, and actually apply to sets of finite perimeter (and thus to codimension one integer rectifiable currents) arising as minimizers in other variational problems with free boundaries.

研究の動機と目的

• 液体の滴が非一様な表面張力および接着性を示す容器に閉じ込められた異方性毛細管問題における自由境界の正則性を確立すること。
• 液体と容器壁の間の接触角を規定するヤングの法則が、自由境界のほとんど至るところの点で成り立つことを証明すること。
• 毛細管問題に限らず、自由境界を伴う一般の異方性エネルギーを最小化する解についての正則性理論を拡張すること。
• 吹き出し法および次元削減技術を用いて、容器壁付近における自由境界の特異集合の構造を分析すること。

提案手法

• 異方性表面張力、濡れエネルギー、およびポテンシャルエネルギーを含む自由エネルギー汎関数の局所的体積制約最小化子を分析する。
• 仮想仕事の原理および毛細管のガウスの表現を適用し、毛細管表面およびその容器壁への接触における平衡条件を導出する。
• 特異点近傍での最小化子の挙動を調べるために吹き出し解析を用い、特異点における吹き出しは最小エネルギーを持つ錐体であることを示す。
• フェデラーの古典的次元削減論法を適用し、自由境界における特異集合のハウスドルフ次元を制御する。
• 局所的に $C^{1,1}$ 微分同相写像を用いて問題を半空間におけるモデル問題に還元し、エネルギー汎関数の構造を保存する。
• ほぼ単調性公式および比較集合を用いて、吹き出し極限が錐体でなければならないことを証明し、特異集合が大きすぎる場合には矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 異方性毛細管問題における自由境界が、無視できる集合を除いて正則であるのはどのような条件下か？
• RQ2 液体と容器壁の間の接触角を規定するヤングの法則は、自由境界のほとんど至るところの点で成り立つか？
• RQ3 毛細管問題の正則性理論は、一般の有限径数集合が異方性エネルギーを最小化する解へと拡張可能か？
• RQ4 容器壁付近における自由境界の特異集合の構造と次元は何か？
• RQ5 容器の境界の幾何構造および表面張力の異方性は、最小化子の正則性にどのように影響するか？

主な発見

• 自由境界は、$\tfrac{1}{2}$-ハウスドルフ測度がゼロである閉集合を除いて $C^{2}$-正則であり、ほとんど至るところの正則性を保証する。
• ヤングの法則は自由境界のほとんど至るところの点で成り立ち、接触角が異方性表面張力および接着係数によって決定されることを示す。
• 自由境界の特異集合のハウスドルフ次元は、$n=3$ のとき最大で $n-3$ であり、離散的である。$n=4$ のときも離散的であり、$n\geq 5$ のときには、すべての $s>n-4$ に対して $s$-次元ハウスドルフ測度が消える。
• 特異点における最小化子の吹き出し極限は、内部で平均曲率がゼロで、境界で一定の接触角を持つ錐体であり、特異集合が大きすぎる場合には矛盾を引き起こす。
• 正則性結果は毛細管問題に限らず、自由境界を伴う一般の異方性エネルギー最小化解、特に codimension-one なリーマン可能な電流に対しても成立する。
• 証明は、$C^{1,1}$ 微分同相写像による半空間モデル問題への還元および、スケーリングされた径数およびエネルギー汎関数のほぼ単調性の利用に依存する。