[論文レビュー] A free boundary problem associated with the isoperimetric inequality

Ar. Abanov, Catherine Bénéteau+2 more|arXiv (Cornell University)|Jan 15, 2016

Mathematical Dynamics and Fractals参考文献 30被引用数 3

ひとこと要約

この論文は、30年前の予想を証明し、解析的コンテンツが理論的下界 $2\text{Area}(\Omega)/P(\Gamma)$ に達する唯一の領域が円板とアニュラスであることを、共形写像、シュワーツ微分、過剰決定境界値問題を用いて示している。結果として、この自由境界値問題の極値領域は正確にアニュラスと円板であることが確認され、解析的コンテンツが古典的等周不等式および流体動力学の問題と結びつく。

ABSTRACT

This paper proves a 30 year old conjecture that disks and annuli are the only domains where analytic content - the uniform distance from $\bar{z}$ to analytic functions - achieves its lower bound. This problem is closely related to several well-known free boundary problems, in particular, Serrin's problem about laminar flow of incompressible viscous fluid for multiply-connected domains, and Garabedian's problem on the shape of electrified droplets. Some further ramifications and open questions, including extensions to higher dimensions, are also discussed.

研究の動機と目的

• 解析的コンテンツの極値領域に関する長年の予想を解消すること。これは等周不等式に関連している。
• 解析的コンテンツの下界 $2\text{Area}(\Omega)/P(\Gamma)$ を達成するのは、円板とアニュラスのみであることを確立すること。
• 解析的コンテンツ問題を、セリニの問題やガラバディアンのドロップレット問題を含む古典的自由境界値問題と結びつけること。
• 単連結な場合に限らない極値領域の特徴付けを、特に二重連結な領域にまで拡張すること。
• 高次元およびより一般的な境界条件における結果の意味と未解決の問題を検討すること。

提案手法

• 対称性と共形不変性を活用し、自由境界値問題を連結性が2以下の領域に還元すること。
• シュワーツ微分を用いて、アニュラスから極値領域への共形写像を分析し、それが線形または $a/z + b$ の形でなければならないことを示すこと。
• 四則恒等式 (1.2) を適用し、解析的コンテンツと調和および楕円型偏微分方程式を結びつけること。
• 各成分で一定の法線微分と一定の境界値を持つ過剰決定境界値問題 (1.3) を分析すること。
• リッカティ方程式とシュワーツ微分の同次性を用いて、極値性を保つすべての共形写像を分類する証明をすること。
• モビウス不変性とシュワーツ微分の変換則を用いて、共形写像の形を制約すること。

実験結果

リサーチクエスチョン

• RQ1 どの領域 $\Omega$ が最小解析的コンテンツ $\lambda(\Omega) = 2\text{Area}(\Omega)/P(\Gamma)$ を達成するか？
• RQ2 二重連結領域に対しても、唯一円板とアニュラスがこの下界に達するという予想を厳密に証明できるか？
• RQ3 定理1.2における境界条件（$\bar{z}$ を含み、弧長微分を含むもの）は、物理的自由境界値問題とどのように関係しているか？
• RQ4 シュワーツ微分は、アニュラスから極値領域への極値共形写像を特徴付ける際に果たす役割は何か？
• RQ5 結果を高次元、特に $\mathbb{R}^n$ に拡張できるか。ここで下界が鋭でない可能性がある。

主な発見

• 予想は完全に解決された：解析的コンテンツが $\lambda(\Omega) = 2\text{Area}(\Omega)/P(\Gamma)$ に達するのは、円板とアニュラスのみである。
• 二重連結領域では、アニュラスから極値領域への共形写像は、線形または $a/z + b$ の形でなければならない。これは、像が再びアニュラスであることを意味する。
• 各成分で一定の法線微分と一定の境界値を持つ過剰決定問題 (1.3) の解は、アニュラスと円板のときのみ存在する。
• 四則恒等式 (1.2) が、$\Omega$ 内のすべての有界な解析関数に対して成り立つのは、$\Omega$ が円板またはアニュラスであるときのみである。
• 共形写像のシュワーツ微分は同次的関数方程式を満たし、$c/z^2$ でなければならない。これにより、写像の形の分類が導かれる。
• 結果は、極値領域が解析的コンテンツが等周下界に達するものに正確に一致することを確認し、複素解析、偏微分方程式、幾何的関数論を結びつける。