[論文レビュー] On symmetry and asymmetry in a problem of shape optimization

Alexander I. Nazarov|arXiv (Cornell University)|Aug 17, 2012

Analytic and geometric function theory参考文献 5被引用数 6

ひとこと要約

本稿は、Sobolevノルムと重み付き $ L^p $-セミノルムを含む多次元形状最適化問題における対称性の破れを調査する。$ q > \widehat{q} = \left(\frac{r-1}{n}+1\right)^2p - \frac{(r-1)^2}{n} $ のとき、最適な領域は等しくない二つの球であることが証明され、以前の主張（$ q = r-1 $ のとき常に等しい球が最適である）と矛盾する。

ABSTRACT

We investigate a shape optimization problem of the Polya-Szego type and prove some results on symmetry and asymmetry of extremal domains.

研究の動機と目的

• 関数 $ \lambda(p,q,r;\Omega) = \inf \frac{\|\nabla u\|_{L^p}}{\|u\|_{L^q}} $ の形状最適化問題を $ L^r $-平均ゼロ制約の下で解くこと。
• 以前の予想に従い、$ q = r-1 $ のとき最適領域が常に二つの等しい球であるかどうかを特定すること。
• $ \widehat{q} $ の臨界閾値を同定し、それより上では最小化子において対称性が破れる条件を特定すること。
• $ q > \widehat{q} $ の領域において最小化子が非対称となる条件を確立すること。
• 文献[7]における主張（$ p \in (1,\infty) $ および $ q = r-1 $ のとき、等しい球が最適である）を反証すること。

提案手法

• シュバルツの対称化を用いて、領域が二つの互いに素な球の和集合でない限り、下界が厳密に減少することを示す。
• 最小化子のオイラー＝ラグランジュ方程式を導出し、ラグランジュ乗数 $ \lambda $ と $ \mu $ を含む系を得る。
• 単位球上で径数的ODEに問題を還元し、スケーリングと定数倍を用いて解を変換する。
• 最小化問題を二つの球の相対半径に依存する関数 $ F(y) $ に変換する。
• $ F(y) $ の $ y = 0 $ の周りのテイラー展開を分析し、凸性・凹性を特定することで最小値の位置を特定する。
• テイラー級数の2次項における指数 $ \gamma $ を用いて、対称性が破れる（$ \gamma < 0 $）か保持される（$ \gamma > 0 $）かを決定する。

実験結果

リサーチクエスチョン

• RQ1 文献[7]が主張するように、$ q = r-1 $ のとき、形状最適化問題の最適領域は常に二つの等しい球であるか？
• RQ2 $ q > \widehat{q} $ のとき最小化子が非対称になる臨界値 $ \widehat{q} $ は何か？
• RQ3 1次元の場合と同様に、$ q > (2r-1)p $ のとき、多次元でも対称性の破れが生じるか？
• RQ4 $ \widehat{q} $ は $ p, r, n $ にどのように依存するか？また、$ r-1 \to p^* $ のときの挙動は？
• RQ5 還元された汎関数の変分的および漸近的解析を用いて、対称性の破れ閾値を正確に特徴づけられるか？

主な発見

• $ q > \widehat{q} = \left(\frac{r-1}{n}+1\right)^2p - \frac{(r-1)^2}{n} $ のとき、最適形状は等しくない二つの球であり、多次元における対称性の破れが証明された。
• $ q = r-1 $ のとき、最適形状は二つの等しい球であり、この条件は鋭い：$ q = r-1 + \delta $（$ \delta > 0 $）では、$ r-1 \to p^* $ のとき対称性が破れる。
• 1次元の場合と比較して、臨界閾値 $ \widehat{q} $ は $ (2r-1)p $ よりも厳密に大きいことが示され、高次元では異なる分岐点があることが示唆される。
• $ F(y) $ はエネルギー比をモデル化するが、$ q = r-1 $ のとき分子は厳密に凸で分母は定数であり、したがって $ y = 0 $（すなわち等しい球）に一意の最小値が存在する。
• $ q > \widehat{q} $ のとき、2次項の係数 $ \gamma < 0 $ であるため、$ y = 0 $ に局所的最大値が存在し、最小値は $ y \neq 0 $ すなわち非等しい球で達成される。
• 本結果により、[7, 定理1]が主張する「$ p \in (1,\infty) $ および $ q = r-1 $ のとき、等しい球が最適である」という主張が反証された。$ q $ が $ \widehat{q} $ を超えると非対称性が生じるためである。