[論文レビュー] Schauder estimates in generalized Hölder spaces

Jongchun Bae, Moritz Kaßmann|arXiv (Cornell University)|May 20, 2015

Advanced Harmonic Analysis Research参考文献 14被引用数 19

ひとこと要約

本稿は、実数の指数に束縛されない一般化された Hölder 空間 $C^{\psi}(\mathbb{R}^d)$ における積分微分作用素の Schauder 評価を確立する。関数的微分可能性順序 $\varphi$ と $\psi$ を導入することで、方程式 $\mathcal{L}u = f$ の解 $u$ が $C^{\varphi\psi}(\mathbb{R}^d)$ に属する正則性を証明し、古典的 Schauder 理論を非整数で関数値をとる微分可能性順序を持つより細かい関数空間のスケールへ拡張する。

ABSTRACT

We prove Schauder estimates in generalized Hölder spaces $C^ψ(\mathbb{R}^d)$. These spaces are characterized by a general modulus of continuity $ψ$, which cannot be represented by a real number. We consider linear operators $\mathcal{L}$ between such spaces. The operators $\mathcal{L}$ under consideration are integrodifferential operators with a functional order of differentiability $φ$ which, again, is not represented by a real number. Assuming that $\mathcal{L}$ has $ψ$-continuous coefficients, we prove that solutions $u \in C^{φψ}(\mathbb{R}^d)$ to linear equations $\mathcal{L} u = f \in C^ψ(\mathbb{R}^d)$ satisfy a priori estimates in $C^{φψ}(\mathbb{R}^d)$.

研究の動機と目的

• 標準的な Hölder 空間 $C^{\alpha}$ を超えて、一般化された Hölder 空間 $C^{\psi}(\mathbb{R}^d)$ の広いクラスへ古典的 Schauder 評価を拡張すること。
• 状態依存核を有する積分微分作用素 $\mathcal{L}$ と、実数で表されない関数的微分可能性順序 $\varphi$ を分析すること。
• 係数 $a(x,h)$ が $\psi$-連続である条件下で、$f \in C^{\psi}(\mathbb{R}^d)$ である方程式 $\mathcal{L}u = f$ の解 $u$ に対して、スケール $C^{\varphi\psi}(\mathbb{R}^d)$ における事前評価を確立すること。
• 関数的順序 $\varphi\psi$ を導入することで、特異核と微細スケールの正則性の両者を統一的に扱い、一般化された枠組みにおいてこれら二つが自然に調和することを示すこと。

提案手法

• モジュラス連続性 $\psi:(0,1] \to (0,\infty)$ を用いて、標準的な $|x-y|^\alpha$ の代わりに $\psi(|x-y|)$ を用いることで、一般化された Hölder 空間 $C^{\psi}(\mathbb{R}^d)$ を定義する。$\lim_{r\to 0^+}\psi(r) = 0$ を満たすものとする。
• $\psi$ が誘導する微分可能性順序の関数的性質を特徴付けるために、$M_\psi$ と $m_\psi$ を定義し、区間 $I_\psi = [m_\psi, M_\psi]$ を定義する。
• 核が $a(x,h)/|h|^{d}\varphi(|h|)$ の形をとり、$\varphi$ が微分可能性順序を定義するような、平行移動不変な積分微分作用素 $\mathcal{L}$ を研究する。
• 変数係数の場合を定数係数の場合に還元するための凍結法を用い、ポテンシャル理論と半ノルム $[\mathcal{L}u]_{C^{0;\psi}}$ の推定を適用する。
• 一般化された Hölder ノルムと $a(x,h)$ が $\psi$-連続であるという仮定に基づき、$|\Delta_k \Delta_h u(x)|$ と $|\Delta_k (\mathcal{L}u)(x)|$ の境界を確立する。
• $\varphi$, $\psi$, および核 $a(x,h)$ に関する条件の下で、$\|\mathcal{L}u\|_{C^{\psi}} \leq c \|u\|_{C^{\varphi\psi}}$ を満たす定数 $c$ が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Hölder 指数を一般のモジュラス連続性 $\psi$ に置き換えたより細かい関数空間スケールにおいて、Schauder 評価を拡張することは可能か？
• RQ2 正則性が実数 $\alpha$ で表されない場合、微分可能性順序の概念をどのように一般化すべきか？
• RQ3 作用素 $\mathcal{L}$ が状態依存核を有する場合、方程式 $\mathcal{L}u = f$ の解 $u$ の自然な関数的微分可能性順序 $\varphi\psi$ は何か？
• RQ4 特異核の性質と一般化された Hölder 空間の性質は、統一的な正則性理論において自然に一致するか？
• RQ5 $\psi$ と $\varphi$ に対してどのような条件下で、解空間 $C^{\varphi\psi}(\mathbb{R}^d)$ が方程式 $\mathcal{L}u = f$ に対して事前評価を提供するか？

主な発見

• 関数 $f \in C^{\psi}(\mathbb{R}^d)$ かつ $\mathcal{L}$ の係数が $\psi$-連続であれば、方程式 $\mathcal{L}u = f$ の解 $u$ は $C^{\varphi\psi}(\mathbb{R}^d)$ に属し、ある定数 $c$ を用いて $\|u\|_{C^{\varphi\psi}} \leq c(\|u\|_{C^0} + \|f\|_{C^{\psi}})$ が成り立つことを証明した。
• 関数的微分可能性順序 $\varphi\psi$ は、$M_\varphi$, $m_\varphi$, $M_\psi$, $m_\psi$ の合成により定義され、$I_{\varphi\psi} \subset (0,1)$ となるようにすることで、整数順序に起因する技術的問題を回避する。
• $M_\varphi < 1$ の場合、作用素 $\mathcal{L}$ は勾配補正項を含まず、$x$ に一様に $|\mathcal{L}u(x)| \leq c_1 \|u\|_{C^{\varphi\psi}}$ が成り立つ。
• $M_\varphi \geq 1$ の場合、作用素には勾配補正項 $\nabla u(x) \cdot h \mathbf{1}_{\{|h|\leq 1\}}$ が含まれ、$|k| \leq 1$ のとき $|\Delta_k (\mathcal{L}u)(x)| \leq c_2 \|u\|_{C^{\varphi\psi}} \psi(|k|)$ が成り立つことを確立した。
• $\varphi$, $\psi$, および核 $a(x,h)$ に関する適切な仮定の下で、$\mathcal{L}$ が $C^{\varphi\psi}(\mathbb{R}^d)$ から $C^{\psi}(\mathbb{R}^d)$ への連続作用素であることが証明され、$[\mathcal{L}u]_{C^{0;\psi}} \leq c_2 \|u\|_{C^{\varphi\psi}}$ が成り立つ。
• 証明は、切断関数を用いて $\mathcal{L}u$ を $\eta f$, $u \mathcal{L}\eta$, および剰余項 $H$ に分解し、各成分を一般化されたモジュラス $\psi$ を用いて $C^{\psi}$-ノルムで推定することに依拠している。