[論文レビュー] A stability result for Neumann problems in dimension $N \ge 3$

Alessandro Giacomini|ArXiv.org|May 8, 2002

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

ひとこと要約

本稿は、$N \geq 3$次元における破損領域上のノイマン問題の安定性について、十分条件を確立する。すなわち、コンパクト集合列 $(K_n)$ が一様な $C$-条件を満たすならば、その場合、局所的に $(N-1)$-次元リプシッツ部分多様体上に埋め込まれた有限閉円錐に類似する構造を持つ。このとき、関連する解は $W^{1,p}$ に収束する。主な結果は、$1 < p \leq 2$ に対して、解空間 $W^{1,p}(\Omega \setminus K_n)$ が $W^{1,p}(\Omega \setminus K)$ にモスコ収束することであり、これにより極限において伝搬条件が存在せず、ノイマン問題の完全な安定性が保証される。

ABSTRACT

We give a sufficient condition in dimension $N \ge 3$ in order to obtain the stability of a sequence of Neumann problems on fractured domains.

研究の動機と目的

• $N \geq 3$ 次元における破損領域上のノイマン問題が、コンパクト集合 $K_n$ のハウスドルフ収束に従って安定する条件を確立すること。
• 連結性や成分の有界性が十分でない高次元において、標準的な安定性基準が失敗することを扱うこと。
• $1 < p \leq 2$ に対して、解空間 $W^{1,p}(\Omega \setminus K_n)$ が $W^{1,p}(\Omega \setminus K)$ にモスコ収束することにより、ノイマン問題の安定性が保証されることを証明すること。
• $K_n$ が $(N-1)$-次元リプシッツ部分多様体上に局所的に埋め込まれるという $C$-条件（特に超平面条件）が、モスコ収束の観点から必要かつ十分であることを示すこと。

提案手法

• 一様な局所的正則性条件として $C$-条件を導入する。これは、各点 $x \in K_n$ の近傍で、$K_n$ が $C^1$-正則な $(N-1)$-次元部分多様体に含まれ、接空間内での有限閉円錐 $C$ と局所的に比較可能であることを要請する。
• ノイマン問題の安定性を特徴付ける中心的な解析的道具として、$L^p$-ソボレフ空間の閉部分空間のモスコ収束を用いる。
• 弱い上界（weak-limsup）および強い下界（strong-liminf）条件の確認により、モスコ収束を証明する。すなわち、$Y' \subseteq Y$ および $Y \subseteq Y''$ を満たし、$Y''$ が閉かつ $D \subseteq Y''$ が稠密な部分集合であることを示す。
• $p$-ラプラシアンノイマン問題に関連する汎関数に対する $\Gamma$-収束技法を用い、$C$-条件の不成立が収束の不成立を引き起こすことを示す。
• $C$-条件の (b) を満たさないが (a) と (c) は満たす例を明示的に構成し、超平面条件が安定性に本質的であることを示す。
• ファトウの補題と勾配の $L^p$-有界性を用いて弱極限を抽出し、極限関数がほとんどいたるところの断面 $x_N = \text{const}$ で $W^{1,p}$-正則性を満たすことを確認することで、$\Gamma$-極限構造を検証する。

実験結果

リサーチクエスチョン

• RQ1 $N \geq 3$ において、コンパクト集合 $K_n$ を領域 $\Omega$ から除いたノイマン問題の解が、$K_n \to K$ がハウスドルフ距離で収束するとき、$\Omega \setminus K$ 上の解に収束する条件は何か？
• RQ2 なぜ $N \geq 3$ 次元では、連結成分の数や $\mathcal{H}^{1}$-有界性に基づく標準的な安定性条件が失敗するのか？
• RQ3 奇性集合 $K_n$ に対する幾何的正則性条件によって、極限において伝搬条件が存在しないことを保証できるか？
• RQ4 $K_n$ が局所的に超平面に含まれる（$C$-条件の (b)）という条件が、$W^{1,p}(\Omega \setminus K_n)$ のモスコ収束に必要であるか？
• RQ5 $C$-条件が満たされない場合、$\Gamma$-収束は不安定性を検出するためにどのように役立つか？

主な発見

• $K_n$ が $C$-条件を満たし、$K_n \to K$ がハウスドルフ距離で収束するならば、ノイマン問題 (1.1) は $L^2$-意味で安定であり、解 $u_n$ が $H^1(\Omega \setminus K)$ に $u$ に収束する。
• $C$-条件のもとで、すべての $1 < p \leq 2$ に対して、空間 $W^{1,p}(\Omega \setminus K_n)$ が $W^{1,p}(\Omega \setminus K)$ にモスコ収束する。これによりノイマン問題の安定性が保証される。
• $C$-条件は必要である。特に、$K_n$ が局所的に超平面に含まれる（条件 (b)）という要件を欠如させると、モスコ収束が失敗する。$p=2$ の反例によりこれを示した。
• 反例において、$K_n$ は $\mathbb{R}^N$ 内の細いストリップで構成され、$K_n \to K$ がハウスドルフ距離で収束するが、解は $L^2$ で強く収束しない。これは $\Gamma$-極限条件に反する。
• 反例により、$C^1$-正則性と円錐構造（条件 (a) と (c)）が一貫していても、超平面条件（b）が欠如すると、極限関数が断面で $W^{1,p}$ に属さず、強い収束が破れる。
• $\Gamma$-収束の証明は、勾配の $L^p$-有界性とファトウの補題を用いて弱極限を抽出し、$\Gamma$-極限がほとんどいたるところの断面 $x_N = \text{const}$ で $W^{1,p}$-正則性を持つ関数を含むことを確認することで成り立つ。