[論文レビュー] Second Order Operators Subject to Dirichlet Boundary Conditions in Weighted Triebel-Lizorkin Spaces: Parabolic Problems

Nick Lindemulder|arXiv (Cornell University)|Dec 13, 2018

Advanced Harmonic Analysis Research参考文献 35被引用数 6

ひとこと要約

本稿は、滑らかな領域上の重み付きトライベル＝リゾルキン空間における非同次ディリクレ境界条件を伴う2階放物型PDEに対して、$L_q$-最大正則性を確立する。時間および空間にべき乗重みを用いることで、適合条件を要件とせず、初期境界データの最適正則性を達成し、滑らかでない境界データの取り扱いを滑らかさ効果によって可能にする。

ABSTRACT

In this paper we consider second order parabolic partial differential equations subject to the Dirichlet boundary condition on smooth domains. We establish weighted $L_{q}$-maximal regularity in weighted Triebel-Lizorkin spaces for such parabolic problems with inhomogeneous boundary data. The weights that we consider are power weights in time and space, and yield flexibility in the optimal regularity of the initial-boundary data, allow to avoid compatibility conditions at the boundary and provide a smoothing effect. In particular, we can treat rough inhomogeneous boundary data.

研究の動機と目的

• 2階放物型問題の非同次ディリクレ境界条件が付与された重み付きトライベル＝リゾルキン空間における$L_q$-最大正則性を確立すること。
• 時間および空間にべき乗重みを用いることで、最大正則性理論を滑らかでない初期境界データへ拡張すること。
• 重み付き関数空間を活用することで、境界における適合条件の必要性を排除すること。
• 混合ノルム重み付き設定において、データ空間と解空間の間の同型写像を保証する枠組みを提供すること。
• 可変正則性および重み付きのより広いクラスのトライベル＝リゾルキン空間へ、$L_p$-最大正則性に関する先行結果を一般化すること。

提案手法

• 可変正則性および可積分性をモデル化するため、べき乗重み$w_\nu^\text{dist}(x) = \text{dist}(x,\partial\mathscr{O})^\nu$を用いた重み付きトライベル＝リゾルキン空間$F^s_{p,r}(\bullet, w_\nu^\text{dist})$を用いる。
• 2階楕円型作用素に対する$H^\infty$-計算技法を適用し、最大正則性結果を導出する。
• 時間に重み$v_\mu(t) = t^\mu$（$\mu \in (-1, q-1)$）を用いた混合ノルム重み付き$L_q$-空間を用い、時間正則性および初期データの挙動を制御する。
• 解空間からトレース空間へのトレース作用素$\mathrm{Tr}_{\partial\mathscr{O}}$を有界線形写像として確立し、境界データの制御を可能にする。
• 微視的改善を通じて、解が高階重み付きソボレフ空間に正則性を獲得することを示す埋め込み結果を導出する。
• 異なる正則性および重みパラメータにおけるスペクトルパラメータ$\lambda_0$の独立性を活用し、スケール間の推移を統一する。

実験結果

リサーチクエスチョン

• RQ1 非同次ディリクレ境界条件を伴う放物型問題について、重み付きトライベル＝リゾルキン空間における$L_q$-最大正則性を確立できるか？
• RQ2 時間および空間に用いるべき乗重みが、初期境界データおよび解空間の正則性にどのように影響するか？
• RQ3 重み付き空間を用いることで、最大正則性理論において境界における適合条件をどの程度回避できるか？
• RQ4 解が属する正確なトレース空間は何か？ そして、それはデータ空間とどのように関係するか？
• RQ5 解空間が高階重み付きソボレフ空間に埋め込まれるか？ これは滑らかさ効果を示唆するか？

主な発見

• 本稿は、べき乗重み付きトライベル＝リゾルキン空間における放物型問題について、$L_q$-最大正則性を確立し、データ空間と解空間の間の位相的同型写像を保証する。
• 熱方程式に対して、トレース作用素$u \mapsto u|_{\partial\mathscr{O}}$は、解空間から${{}_0B^\delta_{p,p}}(J; L_p(\partial\mathscr{O})) \cap L_p(J; B^{2\delta}_{p,p}(\partial\mathscr{O}))$への同型写像を定義する。ここで$\delta = 1 - \frac{1+\gamma}{2p} \in (0,1)$である。
• 解空間は$\bigcap_{\mu > -1} \left[ W^1_q(J, v_\mu; F^{s + \frac{\mu - \gamma}{p}}_{p,1,\mu}(\mathscr{O})) \cap L_q(J, v_\mu; F^{s + \frac{\mu - \gamma}{p} + 2}_{p,1,\mu}(\mathscr{O})) \right]$に埋め込まれており、重みにわたる正則性の向上を示している。
• 解は高階重み付きソボレフ空間に正則性を獲得する：$\bigcap_{k \in \mathbb{N}} \left[ W^1_q(J, v_\mu; W^{k}_p(\mathscr{O}, w_{\gamma + (k-s)p}^{\partial\mathscr{O}})) \cap L_q(J, v_\mu; W^{k+2}_p(\mathscr{O}, w_{\gamma + (k-s)p}^{\partial\mathscr{O}})) \right]$。これは滑らかさ効果を示唆する。
• 結果は、無限区間$J = \mathbb{R}$および有限区間$J = (0,T)$の両方に対して成り立ち、有限の場合には$\lambda_0 = -\infty$が可能である。
• 適切な重み選択により、適合条件を回避することで、滑らかでない非同次境界データの取り扱いが可能になる。