关于Hölder空间中分数阶Laplace算子的范数估计问题

嗨，这个问题在调和分析和偏微分方程领域是个很经典的结论，我来给你详细梳理一下：

首先明确你的核心问题：你想问的是，对于$\alpha \in (0,1)$，是否存在常数$c>0$，使得对所有$f \in C^{{0,\alpha}(\mathbb{R}}d)$，都有
$$
|(1-\Delta)^{\frac{\alpha}{2}} f|{\infty} \leq c|f|{C^{0, \alpha}}
$$
答案是肯定的，这个估计完全成立，下面从几个直观的角度给你解释原因：

1. 利用Besov空间的等价性 #

首先要知道，Hölder空间$C^{{0,\alpha}(\mathbb{R}}d)$和Besov空间$B_{\infty,\infty}^{\alpha(\mathbb{R}}d)$是等价的，它们的范数可以互相控制：
$$
|f|{C^{0,\alpha}} \approx |f|{B_{\infty,\infty}^\alpha} = |f|\infty + \sup{h \neq 0} \frac{|f(\cdot+h) - f(\cdot)|\infty}{|h|^\alpha}
$$
而分数阶算子$(1-\Delta)^{{\frac{\alpha}{2}}$是Besov空间之间的有界算子：对于任意实数$s,t$，$(1-\Delta)}s$可以把$B{\infty,\infty}^{{t+s}$连续映射到$B_{\infty,\infty}}t$。这里取$t=0$，$s=\frac{\alpha}{2}$，就直接得到$(1-\Delta)^{{\frac{\alpha}{2}}$把$B_{\infty,\infty}}\alpha$（也就是$C^{{0,\alpha}$）映射到$B_{\infty,\infty}}0 = L^\infty$，这就给出了你要的范数估计。

2. 积分核的直观估计 #

我们可以用$(1-\Delta)^{\frac{\alpha}{2}}$的积分表示来直接推导有界性。这个算子的核$K(z)$有两个关键性质：

• 当$|z| \leq 1$时，$|K(z)| \leq C |z|^{-d-\alpha}$（和分数阶Laplace算子的核类似，但带有正则化修正）；
• 当$|z| > 1$时，$|K(z)| \leq C e^{-c|z|}$（指数衰减，这是$(1-\Delta)$引入的正则化带来的，避免了分数阶Laplace算子核的慢衰减问题）。

那么$(1-\Delta)^{\frac{\alpha}{2}} f(x)$可以写成：
$$
(1-\Delta)^{\frac{\alpha}{2}} f(x) = c_1 f(x) + c_2 \int_{\mathbb{R}^d} (f(x) - f(y)) K(x-y) dy
$$
拆分积分进行估计：

• 对于$|x-y| \leq 1$的区域：利用$f$的Hölder连续性，$|f(x)-f(y)| \leq |f|{C^{0,\alpha}} |x-y|^{\alpha$，代入后积分的被积函数变为$O(|z|}{-d})$，结合算子的主值正则化，积分收敛且被$|f|{C^{0,\alpha}}$控制；
• 对于$|x-y| > 1$的区域：$|f(x)-f(y)| \leq 2|f|\infty \leq 2|f|{C^{0,\alpha}}$，结合核的指数衰减，$\int_{|z|>1} e^{-c|z|} dz$是收敛的，这部分也被$|f|_{C^{0,\alpha}}$控制。

3. 傅里叶乘子视角 #

从傅里叶变换的角度，$(1-\Delta)^{\frac{\alpha}{2}}$的乘子是$m(\xi) = (1+|\xi|²⁾{\frac{\alpha}{2}}$。对于$f \in C^{0,\alpha}$，其傅里叶变换$\hat{f}(\xi)$满足：

• 当$|\xi| \leq 1$时，$|\hat{f}(\xi)| \leq C |f|\infty \leq C |f|{C^{0,\alpha}}$；
• 当$|\xi| > 1$时，$|\hat{f}(\xi)| \leq C |f|_{C^{0,\alpha}} |\xi|^{-\alpha}$（这是Hölder连续函数的傅里叶变换标准衰减性质）。

那么$|(1-\Delta)^{\frac{\alpha}{2}} f|\infty \leq \frac{1}{(2\pi)^d} \int{\mathbb{R}^d} (1+|\xi|²⁾{\frac{\alpha}{2}} |\hat{f}(\xi)| d\xi$，拆分积分后：

• 小$\xi$区域：积分结果是$O(|f|_{C^{0,\alpha}})$；
• 大$\xi$区域：$(1+|\xi|²⁾{\frac{\alpha}{2}} \approx |\xi|^\alpha$，乘以$|\hat{f}(\xi)| \approx |\xi|^{{-\alpha}$后被积函数是$O(1)$，积分收敛，整体也被$|f|_{C}{0,\alpha}}$控制。

综上，确实存在这样的常数$c>0$（仅依赖于空间维度$d$和$\alpha$），使得你给出的估计成立。

备注：内容来源于stack exchange，提问作者Analyst