[論文レビュー] Compactness of the embedding operators for rough domains

Vladimir Gol’dshtein, А. Г. Рамм|ArXiv.org|Aug 3, 2000

Advanced Numerical Analysis Techniques被引用数 4

ひとこと要約

本稿では、境界がリプシッツ条件や錐条件を満たさない場合でも、Sobolev埋込み $ H^1(D) \to L^2(D) $ がコンパクトとなる非滑らかで有界な領域の新クラス——特に「基本的」領域（ET）およびその有限重ね合わせ（T）——を導入する。主な貢献は、抽象的コンパクト性基準と擬等角写像を用いた一般枠組みにより、古典的領域を超えてコンパクト性を拡張し、粗い障害物における散乱理論への応用を広げることにある。

ABSTRACT

New classes of non-smooth bounded domains D, for which the embedding operator from H^1(D) into L^2(D) is compact are introduced. Examples are given and applications to scattering by rough obstacles are mentioned.

研究の動機と目的

• リプシッツ領域や拡張領域といった古典的領域を超えて、非滑らかで有界な領域の新たなクラスについて、埋込み $ H^1(D) \to L^2(D) $ がコンパクトとなる条件を同定すること。
• ヒルベルト空間における埋込み作用素のコンパクト性に関する抽象的必要十分条件を基に、粗い領域における埋込み作用素のコンパクト性を確立する一般枠組みを構築すること。
• 境界にジャンプ不連続性やより複雑な特異性を含む領域を含む「基本的」領域（ET）を導入することで、コンパクト埋込みを有する領域のクラスを一般化すること。
• 基本的領域（ET）から得られるコンパクト性結果を、その有限重ね合わせ（クラス T）にまで拡張し、可算個の境界成分をもつ領域を含める。
• 得られた結果を散乱理論に応用し、粗い障害物に対して存在・一意性定理の有効性を、従来よりも広い領域クラスにまで拡張すること。

提案手法

• 文献[12]から導出された、ヒルベルト空間における埋込み作用素のコンパクト性に関する抽象的必要十分条件を用い、$ i: H^1(D) \to L^2(D) $ のコンパクト性を分析する。
• 「基本的」領域（ET）を、局所的にリプシッツ領域に近似可能で、境界が連続関数の局所的グラフとして表される領域として定義する。これにはジャンプ型不連続性を有する領域も含まれる。
• Sobolev型補題を適用し、基本的領域（ET）からその有限重ね合わせ（クラス T）へのコンパクト性の拡張を実現し、可算個の境界成分をもつ領域に対しても有効となる。
• 準等長写像（クラス L）および2-擬等角写像（クラス Q）に基づく領域クラスを導入し、以前のクラス（例えば Fraenkel のクラス E）を一般化。非等方的境界挙動を許容する。
• $ a(s) \to 0 $ となるように $ a(s) \to 0 $ となるように、$ \|u\|_{L^2} \leq a(s)\|u\|_{H^1} + b\|P_s u\|_{L^2} $ の形のノルム不等式と射影 $ P_s $ を含む抽象的コンパクト性基準を用い、コンパクト性を証明する。
• 歪度 $ K(\phi) = \sup_x \frac{\lambda_n(x)}{\lambda_1(x)\cdots\lambda_{n-1}(x)} $ を用いて定義される2-擬等角写像の概念を用い、境界歪みが制御された領域を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 境界が錐条件やリプシッツ条件を満たさない非滑らかで有界な領域のどのクラスについて、埋込み $ H^1(D) \to L^2(D) $ がコンパクトとなるか。
• RQ2 境界が区分連続関数のグラフとして表され、ジャンプ不連続性を有する領域に対しても、埋込み作用素のコンパクト性を確立できるか。
• RQ3 基本的領域（ET）から得られるコンパクト性結果を、境界が可算個の成分をもつ場合を含めた有限重ね合わせの領域（クラス T）にどのように拡張できるか。
• RQ4 擬等角または準等長写像を用いることで、コンパクト埋込みを有する領域クラスをどの程度一般化できるか。また、これらのクラスは古典的クラス（C クラスや E クラス）とどのように関係するか。
• RQ5 射影とノルム分解を含む抽象的コンパクト性基準が、粗い領域におけるコンパクト性の証明に果たす役割は何か。

主な発見

• クラス $ ET $ の「基本的」領域は、境界が局所的に連続関数のグラフである領域（クラス C）をすべて含むが、ジャンプ不連続性やより複雑な特異性を有する領域も含む。
• 境界が可算個の連結成分をもつ場合でさえも、クラス $ T $（$ ET $ 領域の有限重ね合わせ）に属するすべての領域について、埋込み $ H^1(D) \to L^2(D) $ はコンパクトである。
• 準等長写像による同値関係で定義されるクラス $ L $ は、Fraenkel のクラス $ E $ を含み、境界に欠けた半径を除いた円板のような領域（$ \partial\Omega = \partial\overline{\Omega} $ を満たさない領域）も含む。
• 2-擬等角写像によるクラス $ Q $ は $ L $ よりも厳密に大きいクラスであり、非等方的境界挙動を許容し、従来のクラスではカバーされない領域も含む。
• 抽象的コンパクト性基準——$ \|u\|_{L^2} \leq a(s)\|u\|_{H^1} + b\|P_s u\|_{L^2} $ かつ $ a(s) \to 0 $ ——は、埋込み作用素のコンパクト性に対して必要かつ十分である。
• 本結果により、粗い障害物における散乱問題の存在・一意性定理の適用範囲が、従来の知られていた範囲よりも著しく広がった。