[論文レビュー] On two functionals involving the maximum of the torsion function

Antoine Henrot, Ilaria Lucardesi+1 more|arXiv (Cornell University)|Feb 4, 2017

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

ひとこと要約

本稿は、ねじり関数の最大値を含む2つの形状汎関数 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ および $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ を調査する。ここで $ T(\Omega) $ はねじり剛性、$ M(\Omega) $ はねじり関数の最大値、$ \lambda_1(\Omega) $ は最初のディリクレ固有値である。$ F $ に対して鋭い上界を確立し、凸領域では $ F(\Omega) \leq 2/3 $ を証明した。また $ G(\Omega) \geq 1 $ は鋭いが、一般には最大化子は存在しない。凸集合では最大化子の存在は示されたが特定されず、2次元では正三角形が $ G $ を最大にするのだと推測されている。

ABSTRACT

In this paper we investigate upper and lower bounds of two shape functionals involving the maximum of the torsion function. More precisely, we consider $T(Ω)/(M(Ω)|Ω|)$ and $M(Ω)λ_1(Ω) $, where $Ω$ is a bounded open set of $\mathbb{R}^d$ with finite Lebesgue measure $|Ω|$, $M(Ω)$ denotes the maximum of the torsion function, $T(Ω)$ the torsion, and $λ_1(Ω)$ the first Dirichlet eigenvalue. Particular attention is devoted to the subclass of convex sets.

研究の動機と目的

• ねじり関数の最大値を含む2つの汎関数 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ および $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ に対する鋭い上界および下界を確立すること。
• これらの汎関数が $ \mathbb{R}^d $ 内の有界な開集合上でどのように振る舞うかを分析すること、特に凸領域に注目すること。
• $ G(\Omega) $ の最大化子が存在するか、特に凸集合のクラスにおいて存在するかを特定し、形状微分を用いて臨界条件を調査すること。
• 曲率や境界の正則性などの幾何的特徴が、特に2次元において $ F $ および $ G $ の境界にどのように影響を与えるかを調査すること。

提案手法

• 著者たちは、ねじり剛性 $ T(\Omega) $ および最初のディリクレ固有値 $ \lambda_1(\Omega) $ の変分的定式化を用い、スケール不変性を活用して $ F $ および $ G $ を分析した。
• $ F(\Omega) $ に関しては、鋭い上界 $ F(\Omega) \leq 1 $ を導出し、境界における曲率に基づく推定を用いて、凸領域では $ F(\Omega) \leq 2/3 $ を証明した。
• $ G(\Omega) $ に関しては、下界 $ G(\Omega) \geq 1 $ を確立し、これが鋭いことを示した。また、トポロジカル微分を用いて、広いクラスの領域では最大化子が存在しないことを示した。
• 穴あき集合 $ \Omega_\epsilon(x) = \Omega \setminus \overline{B}_\epsilon(x) $ を用いた領域の摂動を分析し、グリーン関数および境界挙動を用いた $ \lambda_1 $ およびねじり関数の漸近展開を導出した。
• 形状微分を用いて $ G(\Omega) $ の導関数を評価し、正三角形が一般の正則領域の中で臨界点でないことが示された（導関数が消えない）。
• ホフプの原理および境界展開を用いて、境界付近では小さな摂動によって $ G $ を増加させられることを示し、これが最大性に矛盾することを示した。

実験結果

リサーチクエスチョン

• RQ1 汎関数 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ の最良の上界および下界は何か、特に凸領域においては？
• RQ2 有界な開集合のクラス $ \mathbb{R}^d $ において、汎関数 $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ の最大化子は存在するか？
• RQ3 2次元の凸領域において、正三角形は $ G(\Omega) $ の最大化子であるか？また、形状変動の下で臨界点であるか？
• RQ4 曲率や境界の正則性といった幾何的特徴は、$ F $ や $ G $ の値にどのように影響を与えるか？
• RQ5 形状微分を用いて、正三角形のような特定の領域が臨界点でないことを除外できるか？

主な発見

• 汎関数 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ は $ F(\Omega) \leq 1 $ を満たし、これは鋭い。等号は退化する領域の極限で達成される。
• 凸領域では、この境界が $ F(\Omega) \leq 2/3 $ に改善され、正則な平面凸領域では境界の曲率に基づいた評価が得られる。
• 汎関数 $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ は $ G(\Omega) \geq 1 $ を満たし、これは鋭い。等号は細長い領域の極限で達成される。
• すべての有限測度の有界な開集合のクラスにおいて、$ G(\Omega) $ の最大化子は存在しない。これは、$ G $ を増加させる摂動を構成することで示された。
• 凸領域では $ G(\Omega) $ の最大化子は存在するが、特定されていない。2次元では正三角形が最適であると推測されているが、形状微分が消えないため、臨界点ではない。
• 穴あき領域における漸近展開を用いて、境界付近では $ G(\Omega) $ を厳密に増加させる小さな摂動が可能であることが示され、これは最大性に矛盾する。