[論文レビュー] On Trace Theorems for Sobolev Spaces

Pier Domenico Lamberti, Luigi Provenzano|arXiv (Cornell University)|Oct 9, 2019

Advanced Mathematical Modeling in Engineering参考文献 23被引用数 4

ひとこと要約

本稿では、多パラメータ多調波ステクロフ問題を用いた新しいフーリエベースのアプローチを提示し、$ k \geq 2 $ に対してリプシッツ領域 $ \Omega $ 上のソボレフ関数 $ H^k(\Omega) $ のトレース空間を明示的に特徴づける。これは $ k=2 $ の場合の先行研究を拡張し、多調波ステクロフ問題の固有関数によるトレースのスペクトル分解を提供する。主な貢献は、アーチュティの $ H^1 $ フレームワークを高階ソボレフ空間へ一般化した、系統的なスペクトル理論的記述である。

ABSTRACT

We survey a few trace theorems for Sobolev spaces on $N$-dimensional Euclidean domains. We include known results on linear subspaces, in particular hyperspaces, and smooth boundaries, as well as less known results for Lipschitz boundaries, including Besov's Theorem and other characterizations of traces on planar domains, polygons in particular, in the spirit of the work of P. Grisvard. Finally, we present a recent approach, originally developed by G. Auchmuty in the case of the Sobolev space $H^1(Ω)$ on a Lipschitz domain $Ω$, and which we have further developed for the trace spaces of $H^k(Ω)$, $k\geq 2$, by using Fourier expansions associated with the eigenfunctions of new multi-parameter polyharmonic Steklov problems.

研究の動機と目的

• リプシッツ領域上で $ H^1(\Omega) $ から $ H^k(\Omega) $ へのトレース空間のスペクトル的特徴づけを拡張すること。
• 多パラメータ多調波ステクロフ問題の固有関数を用いて、トレース空間 $ \gamma_j(W^{k,2}(\Omega)) $ および総トレース空間 $ \Gamma(W^{k,2}(\Omega)) $ の明示的記述を提供すること。
• 多調波作用素のための新しい境界固有値問題を構築することで、アーチュティの $ H^1 $ アプローチを高階ソボレフ空間へ一般化すること。
• $ (-\Delta)^k $ に関連する境界微分作用素のスペクトル的性質とトレース空間の構造との関係を確立すること。

提案手法

• 多調波作用素 $ \Delta^k $ に対する多パラメータステクロフ型境界値問題の族を構築し、パラメータ $ \lambda $ と $ \mu $ でパrameter化することで、トレース空間を張る固有関数を生成する。
• 境界値問題の弱化形式（例えば (4.24) と (4.25)）を用いて、法線微分とヘッシアンの表面発散を含む境界作用素を含む固有値問題を定義する。
• これらのステクロフ問題の固有関数に関するフーリエ展開を用いて、$ H^k(\Omega) $ 関数のトレースをスペクトル成分に分解する。
• 多調波作用素のノイマン型条件を一般化する、$ j+k $ 階の境界微分作用素 $ \mathcal{N}_j $ を定義する。
• 固有値 $ \sigma^{(\ell)}(\beta^{(\ell)}_0, \dots, \beta^{(\ell)}_{k-1}) $ の漸近的挙動と、ウェイリータイプの固有値漸近展開を導出し、スペクトル基底の完全性を保証する。
• これらの問題の固有関数がトレース空間においてリース基底をなすことを確立し、トレースの安定的かつ明示的な表現を可能にする。

実験結果

リサーチクエスチョン

• RQ1 リプシッツ領域 $ \Omega $ 上で $ k \geq 2 $ の場合の $ H^k(\Omega) $ トレース空間は、古典的なベゾフ空間の記述を超えて、どのように明示的に特徴づけられるか？
• RQ2 $ k \geq 2 $ の場合、トレース空間のスペクトル的構造は何か？ そして、多調波作用素の境界値問題の固有関数とどのように関連するか？
• RQ3 アーチュティの $ H^1 $ ベースのアプローチは、多パラメータステクロフ問題の族を用いて高階ソボレフ空間へ一般化可能か？
• RQ4 境界微分作用素 $ \mathcal{N}_j $ は、$ H^k(\Omega) $ 関数のトレースを特徴づける上で果たす役割は何か？
• RQ5 構築されたステクロフ問題の固有値 $ \sigma^{(\ell)} $ はパラメータ $ \beta^{(\ell)}_j $ にどのように依存するか？ また、その漸近的挙動は何か？

主な発見

• リプシッツ領域 $ \Omega $ 上で $ k \geq 2 $ の場合、トレース空間 $ \gamma_0(H^k(\Omega)) $ は、多調波作用素 $ \Delta^k $ の多パラメータステクロフ問題の固有関数を用いて特徴づけられ、アーチュティの $ H^1 $ 結果を一般化する。
• $ k=2 $ の場合、トレース空間は問題 (4.24) と (4.25) の固有関数によって記述され、$ \lambda, \mu \to -\infty $ の極限として他の問題の極限として得られることを示し、既知のスペクトル的極限と整合性を確認する。
• 構築された問題の固有値 $ \sigma^{(0)}_j(\lambda) $ と $ \sigma^{(1)}_j(\mu) $ は増加列をなし、ウェイリータイプの漸近展開を満たすため、完全なスペクトル基底の存在が保証される。
• ノイマン条件を一般化する境界微分作用素 $ \mathcal{N}_j $ は、$ k=2 $ の場合、$ \mathcal{N}_0 u = \frac{\partial^2 u}{\partial \nu^2} $ および $ \mathcal{N}_1 u = -\text{div}_{\partial\Omega}((D^2 u \cdot \nu)_{\partial\Omega}) - \frac{\partial \Delta u}{\partial \nu} $ として明示的に特定される。
• 本手法により、ステクロフ問題の固有関数におけるフーリエ展開を用いた、トレース空間の完全かつ明示的なスペクトル分解が可能となり、安定的かつ構成的トレース表現が実現される。
• この枠組みは任意の $ k \geq 2 $ に拡張可能であり、一般の固有値問題 (4.13) により、$ H^k(\Omega) $ のトレース空間のリース基底をなす固有関数の族が得られる。