[论文解读] On homogeneous Sobolev and Besov spaces on the whole and the half space

Anatole Gaudin|arXiv (Cornell University)|Nov 14, 2022

Advanced Harmonic Analysis Research参考文献 29被引用 4

一句话总结

本文提出了一种基于分布的新型构造方法，用于定义 $\mathbb{R}^n$ 和上半空间 $\mathbb{R}^n_+$ 上的齐次索伯列夫空间与贝索夫空间，通过避免对多项式取商空间，确保乘积法则与迹算子的明确定义。利用 $\mathcal{S}'_h(\mathbb{R}^n)$ 上的实分析与复分析插值理论，建立了迹定理，并将该框架应用于狄利克雷与诺伊曼拉普拉斯算子，获得了精确的估计。

ABSTRACT

In this paper, we propose an elementary construction of homogeneous Sobolev spaces of fractional order on $\mathbb{R}^n$ and $\mathbb{R}^n_+$. This construction completes the construction of homogeneous Besov spaces on $\mathcal{S}'_h(\mathbb{R}^n)$ started by Bahouri, Chemin and Danchin on $\mathbb{R}^n$. We will also extend the treatment done by Danchin and Mucha on $\mathbb{R}^n_+$, and the construction of homogeneous Sobolev spaces of integer orders started by Danchin, Hieber, Mucha and Tolksdorf on $\mathbb{R}^n$ and $\mathbb{R}^n_+$. Properties of real and complex interpolation, duality, and density are discussed. Trace results are also reviewed. Our approach relies mostly on interpolation theory and yields simpler proofs of some already known results in the case of Besov spaces. The lack of completeness on the whole scale will lead to consideration of intersection spaces with decoupled estimates to circumvent this issue. As standard and simple applications, we treat the problems of Dirichlet and Neumann Laplacians in these homogeneous functions spaces.

研究动机与目标

• 为 $\mathbb{R}^n$ 与 $\mathbb{R}^n_+$ 上的齐次索伯列夫与贝索夫空间提供一种一致的、基于分布的实现方式，避免对多项式取商空间所带来的模糊性。
• 解决在对多项式取商后的缓增分布等价类上工作时，乘积法则与迹算子非唯一性的问题。
• 通过插值理论与低频投影的衰减条件，建立半空间上齐次空间的迹定理。
• 将该框架应用于 $\mathbb{R}^n_+$ 上的狄利克雷与诺伊曼拉普拉斯算子，证明其在齐次函数空间中的有界性与正则性结果。
• 通过在 $\mathcal{S}'_h$ 上进行插值，将先前齐次空间的构造（如 Bahouri-Chemin-Danchin、Danchin-Mucha 所做）推广至分数阶与非整数阶。

提出的方法

• 将齐次函数空间定义为 $\mathcal{S}'_h(\u005Cmathbb{R}^n)$ 的子空间，即在 $\lambda \to \infty$ 时低频范数一致趋于零的缓增分布空间，以保证低频投影的衰减。
• 利用实分析与复分析插值理论构造齐次贝索夫与索伯列夫空间，借助 $\mathcal{S}'_h$ 的结构保持分布性质，并避免完备性问题。
• 通过将 $\mathbb{R}^{n-1}$ 上的数据映射到 $\mathbb{R}^n_+$ 上的函数的扩展算子 $T$，利用泊松核与傅里叶乘子技术建立迹算子。
• 使用伸缩变换推导出精确的迹估计：对 $f \in \dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})$，有 $\|Tf\|_{\dot{H}^{s,p}(\mathbb{R}^n_+)} \lesssim \|f\|_{\dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})}$。
• 通过实插值与 $L^p$ 基范数、加权估计，将结果推广至贝索夫空间中非端点的 $q$-范数。
• 证明泊松半群的有界性，并利用频率局部化与标度论证推导出扩展算子 $T$ 的估计。

实验结果

研究问题

• RQ1 如何在不取多项式商空间的前提下，将 $\mathbb{R}^n$ 与 $\mathbb{R}^n_+$ 上的齐次索伯列夫与贝索夫空间一致地定义为缓增分布的子空间？
• RQ2 $\mathcal{S}'_h(\mathbb{R}^n)$ 空间在齐次函数空间中如何实现乘积法则与迹算子的明确定义？
• RQ3 插值理论能否用于将半空间上齐次空间的构造从整数阶推广至分数阶？
• RQ4 齐次贝索夫与索伯列夫空间中函数的精确迹估计是什么？它们如何依赖于正则性与可积性参数？
• RQ5 该框架如何应用于狄利克雷与诺伊曼拉普拉斯算子，以在齐次函数空间中建立有界性与正则性？

主要发现

• 空间 $\mathcal{S}'_h(\mathbb{R}^n)$，即通过低频投影一致趋于零所定义的空间，为齐次函数空间提供了稳定的定义域，避免了多项式等价类带来的模糊性。
• 对 $s \geq 0$，$p \in (1, \infty)$，以及 $f \in \dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})$，扩展算子 $T$ 满足 $\|Tf\|_{\dot{H}^{s,p}(\mathbb{R}^n_+)} \lesssim \|f\|_{\dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})}$，从而建立了精确的迹估计。
• 对 $s > 0$，$p \in (1, \infty)$，$q \in [1, \infty)$，以及 $f \in \dot{B}^{s - 1/p}_{p,q}(\mathbb{R}^{n-1})$，通过实插值与伸缩变换，有估计 $\|Tf\|_{\dot{B}^{s}_{p,q}(\mathbb{R}^n_+)} \lesssim \|f\|_{\dot{B}^{s - 1/p}_{p,q}(\mathbb{R}^{n-1})}$ 成立。
• 该构造使得（拟）乘积法则与迹算子明确定义，解决了在多项式取商后的分布等价类中非唯一性所引发的问题。
• 该框架成功地将先前齐次空间的结果推广至分数阶，并统一处理了半空间上狄利克雷与诺伊曼拉普拉斯算子的分析。
• 通过使用交集空间与解耦估计，规避了齐次空间不完备性的问题，从而实现了对非线性偏微分方程的一致分析。