[论文解读] Interpolation with a function parameter and refined scale of spaces

Vladimir Mikhailets, Aleksandr Murach|ArXiv.org|Dec 7, 2007

Advanced Harmonic Analysis Research参考文献 22被引用 33

一句话总结

本文通过函数参数，特别是卡拉马塔意义下的慢变函数，建立了希尔伯特空间的改进插值理论。证明了在紧致流形上的各向同性霍尔曼空间可通过椭圆伪微分算子的泛函演算表征为插值空间，完整描述了通过正常变函数构成的精细尺度。

ABSTRACT

The interpolation of couples of separable Hilbert spaces with a function parameter is studied. The main properties of the classic interpolation are proved. Some applications to the interpolation of isotropic Hörmander spaces over a closed manifold are given.

研究动机与目标

• 将经典插值理论中幂参数的推广扩展到更广泛的函数参数类别。
• 通过函数参数将紧致流形上的各向同性霍尔曼空间 $ H^{s, ho} $ 表征为插值空间。
• 建立霍尔曼空间精细尺度与正定椭圆伪微分算子谱理论之间的联系。
• 证明 $ H^{s, ho} $ 中的范数与 $ \varphi_s(A_0) $ 的图范数等价，其中 $ A_0 $ 是某椭圆算子的闭包。

提出的方法

• 通过生成算子 $ J $ 的泛函演算，定义在可容许对 $ [X_0, X_1] $ 上的函数参数 $ \psi \in \mathcal{B} $ 的插值。
• 利用正自伴算子的谱理论，定义插值空间 $ X_\psi := \mathrm{Dom}(\psi(J)) $，其范数为 $ \|u\|_{X_\psi} = \|\psi(J)u\|_{X_0} $。
• 将插值空间 $ [L_2(\Gamma), \mathrm{Dom}(A_0^k)]_\psi $ 表征为与 $ H^{s,\varphi}(\Gamma) $ 同范数等价，其中 $ \psi(t^k) = \varphi_s(t) $。
• 将该理论应用于算子 $ A_0 = (1 - \Delta_\Gamma)^{m/2} $，其中 $ \Delta_\Gamma $ 是紧致黎曼流形 $ \Gamma $ 上的贝尔特拉米-拉普拉斯算子。
• 证明对光滑函数 $ f \in C^\infty(\Gamma) $，有 $ \|f\|_{H^{s,\varphi}(\Gamma)} \asymp \|\varphi_s(A_0)f\|_{L_2(\Gamma)} $。
• 建立 $ C^\infty(\Gamma) $ 在 $ \mathrm{Dom}(\varphi_s(A_0)) $ 中的稠密性，并证明 $ H^{s,\varphi}(\Gamma) $ 与 $ \mathrm{Dom}(\varphi_s(A_0)) $ 中范数的等价性。

实验结果

研究问题

• RQ1 能否将经典插值函子中幂参数的设定推广至包含慢变函数在内的最大类函数参数？
• RQ2 如何通过函数参数插值表征紧致流形上各向同性霍尔曼空间 $ H^{s,\varphi} $？
• RQ3 霍尔曼空间精细尺度与椭圆伪微分算子谱性质之间的精确关系是什么？
• RQ4 在何种条件下 $ H^{s,\varphi}(\Gamma) $ 中的范数与 $ \varphi_s(A_0) $ 的图范数等价？

主要发现

• 空间 $ H^{s,\varphi}(\Gamma) $ 同构于算子 $ \varphi_s(A_0) $ 的定义域 $ \mathrm{Dom}(\varphi_s(A_0)) $，其中 $ A_0 $ 是某阶为 $ m $ 的正定椭圆伪微分算子的闭包。
• 当 $ s \geq 0 $ 时，若 $ s = 0 $ 且 $ 1/\varphi $ 在无穷远处有界，则 $ H^{s,\varphi}(\Gamma) $ 中的范数与 $ \varphi_s(A_0) $ 的图范数等价。
• 插值空间 $ [L_2(\Gamma), \mathrm{Dom}(A_0^k)]_\psi $ 与 $ H^{s,\varphi}(\Gamma) $ 同范数等价，其中 $ \psi(t^k) = \varphi_s(t) $。
• 对所有 $ f \in C^\infty(\Gamma) $，有 $ \|f\|_{H^{s,\varphi}(\Gamma)} $ 与 $ \|\varphi_s(A_0)f\|_{L_2(\Gamma)} $ 等价。
• 空间 $ C^\infty(\Gamma) $ 在 $ \mathrm{Dom}(\varphi_s(A_0)) $ 中稠密，从而保证了插值空间的完备性与分离性。