[論文レビュー] Embedding operators and boundary-value problems for rough domains

Goldshtein, V. G., А. Г. Рамм|ArXiv.org|Nov 8, 2004

Advanced Numerical Analysis Techniques参考文献 11被引用数 4

ひとこと要約

この論文は、境界に最小限の滑らかさの仮定しか課さない粗い領域に対して、ディリクレ、ノイマン、ロビン条件を満たす楕円型境界値問題の存在およびフレドホルム性を、ソボレフ空間とライプニッツ空間の間の埋め込み作用素の解析によって確立する。主な貢献は、リーマン球面や擬等長的に等価な領域を含む広範な粗い領域クラスにおいて、埋め込み作用素 $ i_2: H^1(D) \to L^2(\partial D) $ がコンパクトであることを証明することであり、これによりスペクトル理論や散乱応用が可能になる。

ABSTRACT

In the first part of the paper boundary-value problems are considered under weak assumptions on the smoothness of the domains. We assume nothing about smoothness of the boundary $\partial D$ of a bounded domain $D$ when the homogeneous Dirichlet boundary condition is imposed; we assume boundedness of the embedding $i_{1}:H^{1}(D) o L^{2}(D)$ when the Neumann boundary condition is imposed; we assume boundedness of the embeddings $i_{1}$ and of $i_{2}:H^{1}(D) o L^{2}(\partial D)$ when the Robin boundary condition is imposed, and, if, in addition, $i_{1}$ and $i_{2}$ are compact, then the boundary-value problems with the spectral parameter are of Fredholm type. Several examples of the classes of rough domains for which the embedding $i_2$ is compact are given. Applications to scattering by rough obstacles are mentioned.

研究の動機と目的

• 境界の滑らかさに関する最小限の仮定の下で、楕円型境界値問題の理論を拡張すること。
• 粗い領域における埋め込み作用素 $ i_1: H^1(D) \to L^2(D) $ および $ i_2: H^1(D) \to L^2(\partial D) $ の有界性とコンパクト性を分析すること。
• 弱い正則性条件の下で、スペクトルパラメータを含む境界値問題のフレドホルム性を確立すること。
• 立方体に擬等長的に同値な新しい粗い領域のクラスを導入・特徴づけ、その上でトレース埋め込み $ i_2 $ がコンパクトであることを示すこと。
• 特に外部領域における粗い障害物による散乱問題への応用を示すこと。

提案手法

• 境界の滑らかさを要しない弱い定式化（例：$[u,\phi] = (F,\phi)$）を用いて、$ \partial D $ の滑らかさを回避する。
• 外部領域における解の存在を示すために、極限吸収原理を用いる。
• 標準領域からの擬等長ホメオモルフィズムを用いて、$ QI $（立方体に擬等長的に同値な領域）のクラスを定義する。
• ホメオモルフィズムの擬等長性と $ N-1 $ 性質を用いて、$ QI $-領域においてトレース埋め込み $ i_2: H^1(D) \to L^2(\partial D) $ がコンパクトであることを証明する。
• $ i_2 $ と $ i_1 $ のコンパクト性を用いて、スペクトルパラメータを含む問題のフレドホルム性を確立する。
• 外部領域 $ D' = \mathbb{R}^n \setminus D $ に対して、$ D' $ を滑らかな境界成分をもつより大きな領域 $ \widetilde{D} $ に埋め込むことで理論を応用する。

実験結果

リサーチクエスチョン

• RQ1 境界 $ \partial D $ にどの程度の最小限の正則性仮定があれば、ラプラシアンに対するディリクレ、ノイマン、ロビン境界値問題が $ H^1(D) $ 内に解を持つのか？
• RQ2 どの粗い領域に対して、トレース埋め込み $ i_2: H^1(D) \to L^2(\partial D) $ がコンパクトになるのか？
• RQ3 非滑らか領域におけるスペクトルパラメータを含む境界値問題のフレドホルム性を確立できるか？
• RQ4 どのクラスの粗い領域がコンパクトなトレース埋め込みを許容し、幾何学的にどのように特徴づけられるか？
• RQ5 結果は、粗い障害物を持つ外部領域における散乱問題へどのように拡張されるか？

主な発見

• クラス $ QI $ に属する領域では、埋め込み作用素 $ i_2: H^1(D) \to L^2(\partial D) $ がコンパクトである。このクラスには、立方体に擬等長的に同値なすべての領域が含まれる。
• クラス $ QI $ には、リーマン境界を持つ領域や、より不規則な境界（例：らせん型領域）が含まれており、後者は任意のリーマン関数のグラフとして表せない。
• $ D \in Q $ に対して、スペクトルパラメータを含むロビン条件の境界値問題は、$ i_1 $ と $ i_2 $ がコンパクトであればフレドホルム型である。
• 外部領域 $ D' $ におけるディリクレ、ノイマン、ロビン問題の解は、$ H^1_{\text{loc}}(D') \cap L^2_a(D') $（$ a \in (1,2) $）に存在し、$ (A - i0)^{-1}F $ の極限として与えられる。
• 境界が $ \partial D $ と滑らかなコンact多様体 $ S $ からなる有界な部分領域 $ \widetilde{D} \subset D' $ に対して、$ \widetilde{D} \in Q $ ならば、トレース埋め込み $ i_2 $ はコンパクトである。
• 三角形からの擬等長微分同相を用いたらせん型領域の構成により、このような領域は $ QI $ に属し、原点を除き境界は $ Q $-リーマン的であることが示される。