[論文レビュー] Properties of Kondratiev spaces

Stephan Dahlke, Markus Hansen+2 more|arXiv (Cornell University)|Nov 5, 2019

Holomorphic and Operator Theory参考文献 29被引用数 7

ひとこと要約

本稿は、多面体型領域上のコンドラチェフ空間における連続的かつコンパクトな埋め込みの必要十分条件を確立し、点乗乗法の性質を特徴づける。点乗乗法に関して、重みパラメータ $ a $ が $ a \geq \frac{d}{p} $ を満たす場合に限り、コンドラチェフ空間が代数をなすことが証明されており、さらに次数 $ m $ に対する滑らかさの制約が課される。これは、既知の結果を一般化された多面体型領域および滑らかでない錐にまで拡張するものである。

ABSTRACT

In this paper, we investigate Kondratiev spaces on domains of polyhedral type. In particular, we will be concerned with necessary and sufficient conditions for continuous and compact embeddings, and in addition we shall deal with pointwise multiplication in these spaces.

研究の動機と目的

• 多面体型領域上のコンドラチェフ空間の連続的およびコンパクトな埋め込みの必要十分条件を特定すること。
• 特に代数をなす場合に、コンドラチェフ空間の点乗乗法における構造を調査すること。
• 錐や同次空間上のモデルケースの結果を、一般の多面体型領域へと拡張すること。
• 非線形偏微分方程式の解のベソフ正則性をコンドラチェフ空間の埋め込みを用いて研究する基盤を提供すること。

提案手法

• 著者らは、特異境界集合への距離に基づく重みを用いて定義されるコンドラチェフ空間 $ \mathcal{K}^m_{a,p}(\Omega,M) $ を分析する。
• 局所化の原理を用い、錐上のモデルケースから一般の多面体型領域への結果の移行に拡張作用素を用いる。
• 等価ノルムおよび重み付きソボレフ空間の技法に依拠し、特にモデルケース $ \mathbb{R}^d \times \mathbb{R}^\ell_* $ において分析を行う。
• 乗法に関しては、モーザー型の不等式を導出し、異なるパrameter $ m, p, a $ を持つ空間の積を研究する。
• 正則化された距離関数 $ \tilde{\varrho}^b $ を用いた同型定理により、属する条件および乗法の性質を特徴づける。
• パーティション・オブ・ユニティおよび拡張技術を用いて、滑らかでない錐および多面体型・一般化された多面体型領域へと結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 多面体型領域上のコンドラチェフ空間が連続的埋め込みをもつのはどのような条件下か？
• RQ2 多面体型領域上のコンドラチェフ空間の埋め込みがコンパクトとなるのはいつか？
• RQ3 点乗乗法が $ \mathcal{K}^m_{a,p} \times \mathcal{K}^m_{a,p} $ を $ \mathcal{K}^m_{a,p} $ に写像し、代数をなすのはいつか？
• RQ4 パrameter $ m, p, a $ が、これらの空間における点乗乗法の有界性にどのように影響するか？
• RQ5 異なる $ m, p, a $ パrameter を持つコンドラチェフ空間の積の挙動はいかなるものか？

主な発見

• 滑らかな錐 $ K $ 上のコンドラチェフ空間 $ \mathcal{K}^m_{a,p}(K,\{0\}) $ は、点乗乗法に関して代数をなすための必要十分条件は $ a \geq \frac{d}{p} $ であり、$ 1 < p < \infty $ の場合 $ m > \frac{d}{p} $、$ p = 1 $ の場合 $ m \geq d $ である。
• $ n = 2 $ の場合、$ m \in \mathbb{N} $、$ \max(1, d/2) < p < \infty $、$ a \geq \frac{d}{p} - 1 $ の条件下で、積 $ u \cdot v $ は不等式 $ \|u \cdot v \|_{\mathcal{K}^{m-1}_{a-1,p}} \leq c \|v\|_{\mathcal{K}^{m+1}_{a+1,p}} \|u\|_{\mathcal{K}^{m-1}_{a-1,p}} $ を満たす。
• 一般化された多面体型領域 $ D $ 上の空間 $ \mathcal{K}^m_{a,p}(D,M) $ は、$ \mathbb{R}^d \times \mathbb{R}^\ell_* $ 上のモデルケースの条件を満たす場合に限り、代数をなす。同じパラメータ制約が適用される。
• 滑らかな錐 $ K $ 上で、関数 $ \tilde{\varrho}^b $ が $ \mathcal{K}^m_{a+b,p}(K,\{0\}) $ に属するための必要十分条件は、$ p < \infty $ の場合 $ a < \frac{d}{p} $、$ p = \infty $ の場合 $ a \leq 0 $ である。
• 角領域 $ I $ に対して、$ \tilde{\varrho}^b \in \mathcal{K}^m_{a+b,p}(I,M_\ell) $ であるための必要十分条件は、$ p < \infty $ の場合 $ a < \frac{d - \ell}{p} $、$ p = \infty $ の場合 $ a \leq 0 $ である。
• 乗法および埋め込みに関する結果は、拡張作用素およびパーティション・オブ・ユニティ技術を用いて、モデルケースから一般の多面体型領域へと拡張され、条件が十分であることが保証される。