[论文解读] 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 估计，其中连续模 $\psi$ 不与实指数相关联。通过引入可微性函数阶 $\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)$.

研究动机与目标

• 将经典 Schauder 估计从标准 Hölder 空间 $C^{\alpha}$ 扩展到更广泛的广义 Hölder 空间 $C^{\psi}(\mathbb{R}^d)$，其特征由一般连续模 $\psi$ 描述。
• 分析具有状态依赖核和函数可微性阶 $\varphi$（不以实数表示）的积分微分算子 $\mathcal{L}$。
• 在 $\psi$-连续系数条件下，为方程 $\mathcal{L}u = f$ 的解 $u$ 建立在尺度 $C^{\varphi\psi}(\mathbb{R}^d)$ 中的先验估计，其中 $f \in C^{\psi}(\mathbb{R}^d)$。
• 通过引入函数阶 $\varphi\psi$，统一研究奇异核与精细正则性，表明这两个方面在广义框架下自然协调。

提出的方法

• 使用连续模 $\psi:(0,1] \to (0,\infty)$ 定义广义 Hölder 空间 $C^{\psi}(\mathbb{R}^d)$，满足 $\lim_{r\to 0^+}\psi(r) = 0$，以 $\psi(|x-y|)$ 取代标准的 $|x-y|^\alpha$。
• 引入指标 $M_\psi$ 和 $m_\psi$ 以表征由 $\psi$ 所诱导的函数可微性阶，定义区间 $I_\psi = [m_\psi, M_\psi]$。
• 研究具有核 $a(x,h)/|h|^{d}\varphi(|h|)$ 的平移不变积分微分算子 $\mathcal{L}$，其中 $\varphi$ 定义了可微性阶的函数形式。
• 使用冻结方法将变系数情形约化为常系数情形，应用潜在论和对半范数 $[\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 Schauder 估计能否扩展到以一般连续模 $\psi$ 取代 Hölder 指标 $\alpha$ 的更精细函数空间尺度？
• RQ2 当正则性不以实数 $\alpha$ 表征时，可微性阶的概念应如何推广？
• RQ3 当算子 $\mathcal{L}$ 具有状态依赖核时，方程 $\mathcal{L}u = f$ 的解的自然函数可微性阶 $\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$ 满足 $u \in 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$ 的 $k$，建立估计 $|\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}$-范数下的大小。