[论文解读] Sobolev spaces on locally compact abelian groups

Przemysław Górka, Enríque G. Reyes|arXiv (Cornell University)|Aug 15, 2012

Advanced Mathematical Physics Problems参考文献 19被引用 3

一句话总结

本文通过基于弱次可加权函数的傅里叶分析框架，在任意局部紧阿贝尔群上引入了索伯列夫空间，建立了索伯列夫嵌入定理与雷利希-孔德拉科夫紧致性定理的类比。主要贡献在于利用这些索伯列夫型空间中的不动点论证，证明了在紧致阿贝尔群上广义欧几里得玻色子弦方程存在连续解。

ABSTRACT

Motivated by a class of nonlinear equations of interest for string theory, we introduce Sobolev spaces on arbitrary locally compact abelian groups and we examine some of their properties. Specifically, we focus on analogs of the Sobolev embedding and Rellich- Kondrachov compactness theorems. As an application, we prove the existence of continuous solutions to a generalized euclidean bosonic string equation possed on an arbitrary compact abelian group.

研究动机与目标

• 将索伯列夫空间理论从欧几里得空间和黎曼流形推广至任意局部紧阿贝尔群。
• 基于傅里叶变换与哈尔测度，建立用于研究此类群上非线性伪微分方程的泛函分析框架。
• 建立类似于经典索伯列夫空间理论中的嵌入与紧致性定理。
• 将所发展的理论应用于证明在紧致阿贝尔群上广义非线性弦方程存在连续解。
• 为利用拓扑群上的调和分析研究非局部场方程提供严格的分析基础。

提出的方法

• 通过傅里叶变换与权函数 $ \gamma \in \Gamma $，在局部紧阿贝尔群 $ G $ 上定义索伯列夫空间 $ H^s_\gamma(G) $，其中 $ \Gamma $ 由弱次可加权函数构成。
• 利用普朗歇尔定理与傅里叶逆定理，通过积分 $ \int_{G^\wedge} (1 + \gamma(\xi)^2)^s |\hat{f}(\xi)|^2 d\mu_{G^\wedge}(\xi) $ 表征 $ H^s_\gamma(G) $ 中函数的范数。
• 在 $ \gamma $ 与对偶群 $ G^\wedge $ 满足适当条件时，建立连续嵌入 $ H^{c,\infty}(G) \hookrightarrow H^s_\gamma(G) \hookrightarrow L^{2\alpha}(G) $。
• 通过傅里叶乘子 $ \frac{1}{1 + \gamma(\xi)^2 e^{c\gamma(\xi)^2}} $ 定义线性算子 $ L_c $，其作为非局部算子 $ \Delta e^{-c\Delta} $ 的正则化逆算子。
• 构造一个非线性解映射 $ \mathcal{G} $，用于求解 $ L_c \tilde{u} = V(\cdot, u) $，其中 $ V(x,u) = U(x,u) - u $，并证明其连续性与紧致性。
• 在 $ L^{2\alpha}(G) $ 的闭有界凸子集 $ Y_\epsilon \subset L^{2\alpha}(G) $ 中应用沙德勒不动点定理，证明存在不动点，即解 $ \phi \in \mathcal{H}^{c,\infty}(G) \cap C(G) $。

实验结果

研究问题

• RQ1 能否在不依赖微分结构的前提下，通过调和分析在任意局部紧阿贝尔群上合理定义索伯列夫空间？
• RQ2 在该推广设定下，经典索伯列夫嵌入定理与雷利希-孔德拉科夫紧致性定理的类比是否成立？
• RQ3 广义欧几里得玻色子弦方程 $ \Delta e^{-c\Delta}\phi = U(x,\phi) $ 是否能在紧致阿贝尔群上连续函数空间中求解？
• RQ4 非线性项 $ U(x,\phi) $ 与权函数 $ \gamma $ 需满足何种条件，才能通过不动点方法保证解的存在性？
• RQ5 权函数 $ \gamma \in \Gamma $ 的选择如何影响所生成索伯列夫空间的正则性与嵌入性质？

主要发现

• 在条件 $ (1 + \gamma(\cdot)^2)^{-1} \in L^\delta(G^\wedge) $ 且 $ \delta > 1 $ 下，有 $ H^{c,\infty}(G) \hookrightarrow H^s_\gamma(G) \hookrightarrow L^{2\alpha}_{\mu_G}(G) $，其中 $ s \in (\delta - \delta/\alpha, \delta) $。
• 由傅里叶乘子 $ (1 + \gamma(\xi)^2 e^{c\gamma(\xi)^2})^{-1} $ 定义的线性算子 $ L_c $ 有界且核为平凡，且满足 $ \|u_g\|_{\mathcal{H}^{c,\infty}(G)} = \|g\|_{L^2_{\mu_G}(G)} $。
• 在假设 $ \|h\|_{L^2_{\mu_G}(G)} $ 足够小，且 $ \frac{|\xi(h) - 1|}{(1 + \gamma(\xi)^2)^{\delta - \delta/\alpha}} \to 0 $ 在 $ G^\wedge $ 上一致成立时，非线性问题 $ \Delta e^{-c\Delta}\phi = U(x,\phi) $ 在 $ \mathcal{H}^{c,\infty}(G) \cap C(G) $ 中存在解。
• 解映射 $ \mathcal{G} $ 是紧致且连续的，使得可在空间 $ L^{2\alpha}_{\mu_G}(G) $ 中应用沙德勒不动点定理。
• 当 $ s \in (\delta - \delta/\alpha, \delta) $ 时，嵌入 $ H^s_\gamma(G) \hookrightarrow\hookrightarrow L^{2\alpha}_{\mu_G}(G) $ 成立，这对不动点论证中的紧致性至关重要。
• 该理论在 $ \mathbb{R}^n $ 与 $ \mathbb{T}^n $ 上恢复经典索伯列夫空间，在 $ \gamma(\xi) = \|\xi\|_p $ 时亦涵盖 $ p $-进索伯列夫空间，展现出广泛适用性。