[论文解读] On Trace Theorems for Sobolev Spaces

Pier Domenico Lamberti, Luigi Provenzano|arXiv (Cornell University)|Oct 9, 2019

Advanced Mathematical Modeling in Engineering参考文献 23被引用 4

一句话总结

本文提出了一种基于傅里叶的新型方法，利用多参数多调和Steklov问题，显式刻画了在Lipschitz定义域上对 $ k \geq 2 $ 的Sobolev函数空间 $ H^k(\Omega) $ 的迹空间，将先前针对 $ k=2 $ 的结果扩展至更高阶情形，并通过边界值问题的特征函数实现了迹的谱分解。主要贡献在于系统地描述了迹空间的谱论结构，将Auchmuty的 $ H^1 $ 框架推广至高阶Sobolev空间。

ABSTRACT

We survey a few trace theorems for Sobolev spaces on $N$-dimensional Euclidean domains. We include known results on linear subspaces, in particular hyperspaces, and smooth boundaries, as well as less known results for Lipschitz boundaries, including Besov's Theorem and other characterizations of traces on planar domains, polygons in particular, in the spirit of the work of P. Grisvard. Finally, we present a recent approach, originally developed by G. Auchmuty in the case of the Sobolev space $H^1(Ω)$ on a Lipschitz domain $Ω$, and which we have further developed for the trace spaces of $H^k(Ω)$, $k\geq 2$, by using Fourier expansions associated with the eigenfunctions of new multi-parameter polyharmonic Steklov problems.

研究动机与目标

• 将迹空间的谱表征从 $ H^1(\Omega) $ 扩展至 $ H^k(\Omega) $（$ k \geq 2 $）在Lipschitz定义域上的情形。
• 通过多参数多调和Steklov问题的特征函数，显式描述迹空间 $ \gamma_j(W^{k,2}(\Omega)) $ 和总迹空间 $ \Gamma(W^{k,2}(\Omega)) $。
• 通过为多调和算子构造新的边界特征值问题，将Auchmuty针对 $ H^1 $ 的方法推广至高阶Sobolev空间。
• 建立迹空间结构与与 $ (-\Delta)^k $ 相关的边界微分算子谱性质之间的联系。

提出的方法

• 为多调和算子 $ \Delta^k $ 构造一族以 $ \lambda $ 和 $ \mu $ 为参数的多参数Steklov型边界值问题，生成能张成迹空间的特征函数。
• 通过边界值问题的弱形式（如 (4.24) 和 (4.25)）定义特征值问题，其中边界算子包含法向导数和Hessian矩阵的曲面散度。
• 利用这些Steklov问题特征函数的傅里叶展开，将 $ H^k(\Omega) $ 函数的迹分解为谱分量。
• 定义阶数为 $ j+k $ 的边界微分算子 $ \mathcal{N}_j $，以推广多调和算子的Neumann型条件。
• 推导特征值 $ \sigma^{(\ell)}(\beta^{(\ell)}_0, \dots, \beta^{(\ell)}_{k-1}) $ 的渐近行为及Weyl型特征值渐近性，确保谱基的完备性。
• 证明这些问题的特征函数在迹空间中构成Riesz基，从而实现迹的稳定且显式的表示。

实验结果

研究问题

• RQ1 在Lipschitz定义域 $ \Omega $ 上，如何显式刻画 $ H^k(\Omega) $（$ k \geq 2 $）的迹空间，超越经典的Besov空间描述？
• RQ2 当 $ k \geq 2 $ 时，迹空间的谱结构是什么？它如何与多调和算子边界值问题的特征函数相联系？
• RQ3 Auchmuty基于 $ H^1 $ 的方法能否通过一族多参数Steklov问题推广至高阶Sobolev空间？
• RQ4 边界微分算子 $ \mathcal{N}_j $ 在刻画 $ H^k(\Omega) $ 函数迹的过程中起什么作用？
• RQ5 所构造Steklov问题的特征值 $ \sigma^{(\ell)} $ 如何依赖于参数 $ \beta^{(\ell)}_j $？其渐近行为如何？

主要发现

• 在Lipschitz定义域 $ \Omega $ 上，对 $ k \geq 2 $，迹空间 $ \gamma_0(H^k(\Omega)) $ 通过多调和算子 $ \Delta^k $ 的多参数Steklov问题的特征函数表征，推广了Auchmuty的 $ H^1 $ 结果。
• 当 $ k=2 $ 时，迹空间由问题 (4.24) 和 (4.25) 的特征函数描述，且被证明是其他问题在 $ \lambda, \mu \to -\infty $ 时的极限，与已知谱极限一致。
• 所构造问题的特征值 $ \sigma^{(0)}_j(\lambda) $ 和 $ \sigma^{(1)}_j(\mu) $ 构成递增序列，并满足Weyl型渐近性，确保了谱基的完备性。
• 边界微分算子 $ \mathcal{N}_j $（推广Neumann条件）被显式识别为：当 $ k=2 $ 时，$ \mathcal{N}_0 u = \frac{\partial^2 u}{\partial \nu^2} $ 且 $ \mathcal{N}_1 u = -\text{div}_{\partial\Omega}((D^2 u \cdot \nu)_{\partial\Omega}) - \frac{\partial \Delta u}{\partial \nu} $。
• 该方法通过Steklov问题特征函数的傅里叶展开，实现了迹空间的完整且显式的谱分解，支持迹的稳定且可构造的表示。
• 该框架可推广至任意 $ k \geq 2 $，一般特征值问题 (4.13) 产生一族边界值问题，其特征函数在 $ H^k(\Omega) $ 的迹空间中构成Riesz基。