[論文レビュー] Some optimization problems for nonlinear elastic membranes

Leandro M. Del Pezzo, Julián Fernández Bonder|ArXiv.org|Jan 14, 2008

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

ひとこと要約

本稿は、非線形境界条件を伴うp-Laplacianに従う非線形な弾性膜の最適化問題を研究する。3つの負荷クラス—再配置、L^q-球、固定境界測度を持つ集合の特性関数—について、最大化可能解の存在を確立し、特性関数クラスの最適負荷が自身も特性関数であり、最適集合の境界に沿って解が定数であることを証明する。

ABSTRACT

In this paper we study some optimization problems for nonlinear elastic membranes. More precisely, we consider the problem of optimizing the cost functional $\J(u)=\int_{\partialΩ} f(x) u d \H^{N-1}$ over some admissible class of loads $f$ where $u$ is the (unique) solution to the problem $-Δ_p u + |u|^{p-2}u = 0$ in $Ω$ with $| abla u|^{p-2}u_ν= f$ on $\partial Ω$.

研究の動機と目的

• 非線形弾性膜のエネルギー汎関数 $ \mathcal{J}(f) = \int_{\partial\Omega} f u \, d\mathcal{H}^{N-1} $ を最大化する最適負荷分布を調査すること。
• 再配置、L^q-単位球、および固定表面測度を持つ集合の特性関数の3つの適切な負荷クラスを分析すること。
• 各クラス内での最大化可能解の存在を確立し、特に特性関数クラスの構造を特徴づけること。
• 形状微分と一次変分解析を用いて最適性の必要条件を導出すること。
• 特に球のような対称領域における最適集合の幾何学的・位相的性質を調査すること。

提案手法

• 再配置、L^q-単位球、特性関数の3つの異なる適切な負荷クラスにおける最適化問題を定式化する。
• 変分法と弱*コンパクト性を用いて、固定L^1ノルムを持つ有界L^1関数の緩和クラスにおける最大化可能解の存在を証明する。
• bathtub原理と再配置理論を適用して再配置クラスを分析し、極値再配置の存在を示す。
• 形状微分技術を用いて、支持集合の領域摂動に対するコスト汎関数の一次変分を計算する。
• 接方向発散と境界積分を含む一次変分の公式を導出し、支持集合の境界における臨界性条件を導く。
• 球面対称化（例：球面対称化）を用いて、球体における最適集合が球帽であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた関数 $ f_0 $ の再配置のクラスにおいて、コスト汎関数 $ \mathcal{J}(f) = \int_{\partial\Omega} f u \, d\mathcal{H}^{N-1} $ の最大化可能解は存在するか？
• RQ2 適切な負荷がL^q-単位球に制限される場合、最大化可能解の構造はいかなるものか？
• RQ3 支持集合の $ \mathcal{H}^{N-1} $-測度が固定されるとき、最適負荷が特性関数である可能性はあるか？
• RQ4 最適特性関数負荷の支持集合が持つ幾何的性質は何か？
• RQ5 解 $ u $ は最適集合の境界に沿って定数か？

主な発見

• 与えられた関数 $ f_0 $ の再配置クラスにおいて、最大化可能解が存在し、bathtub原理により特徴づけられる。
• L^q-単位球クラスにおいて、一意的な最大化可能解は、Steklovに類似した非線形固有値問題の第一固有関数である。
• 固定境界測度を持つ集合の特性関数クラスにおいて、最大化可能解が存在し、かつその解自体が特性関数である。
• 最適特性関数負荷に対応する解 $ u $ は、支持集合の境界に沿って定数である。
• コスト汎関数の一次変分が0となるのは、$ u $ が $ \partial D $ に沿って定数であるときであり、これは $ D $ が体積摂動に関して臨界点であることを示唆する。
• 領域 $ \Omega $ が球体である場合、対称化の議論により最適集合が球帽であることが示され、一般領域では非一意性および潜在的な位相的複雑性が示唆される。