[论文解读] Radial Sobolev embeddings on spherically symmetric Riemannian manifolds

João Marcos do Ó, Guozhen Lu+1 more|arXiv (Cornell University)|Feb 13, 2026

Geometric Analysis and Curvature Flows被引用 0

一句话总结

该论文证明了一个尖锐的一维约化：球对称流形上的 Sobolev 空间中的径向函数对应于区间上的加权 Sobolev 空间，并建立了对衰减/正则性的最优径向嵌入到带权 Lebesgue 空间的结果。

ABSTRACT

We study Sobolev spaces of radial functions on spherically symmetric Riemannian manifolds. Using geodesic polar coordinates, we give a sharp one-dimensional reduction: a radial function belongs to the Sobolev space on the manifold if and only if its radial representation lies in an associated weighted Sobolev space on an interval, with weights determined explicitly by the metric. This characterization allows us to prove optimal Sobolev-type embeddings for radial functions into weighted Lebesgue spaces on both bounded and unbounded spherically symmetric manifolds. As further consequences, we establish new radial lemmas and decay estimates that capture the precise behaviour of radial Sobolev functions near the origin and at infinity. Our results unify and extend the classical radial embeddings in Euclidean and hyperbolic spaces.

研究动机与目标

• 推动并扩展径向函数在欧几里得和双曲空间之外的 Sobolev 嵌入研究。
• 通过测地极坐标Develop 精确的一维约化。
• 用 W^{k,p}_{rad}(M) 与 W^{k,p}((0,R), phi^{N-1}) 的关系来表征并证明等价性。
• 提出在有界与无界流形上对带权 L^{q}_{phi^{theta}} 的最优嵌入。
• 建立径向引理与衰减估计，刻画原点附近与无穷远处的行为。）

提出的方法

• 在球对称的黎曼流形上使用测地极坐标，将径向 Sobolev 问题约化为带权的一维设定。
• 将 W^{k,p}((0,R), phi^{N-1}) 定义为带权 phi^{N-1} 的径向加权 Sobolev 空间。
• 证明定理 1.1，将径向 Sobolev 函数与其径向表示及导数关系联系起来。
• 证明定理 1.2，建立 W^{k,p}_{rad}(M) 与 W^{k,p}((0,R), phi^{N-1}) 之间的等价与包含关系。
• 证明定理 1.3（有界 R）以获得对 L^{q}_{phi^{theta}} 的嵌入及径向引理的结果。
• 证明定理 1.4（无界情况 R = ∞），包括一个衰减引理与对带权 Lebesgue 空间的嵌入。

实验结果

研究问题

• RQ1 径向函数是否可以通过一维带权 Sobolev 表示完全表征？
• RQ2 有界与无界球对称流形上径向 Sobolev 函数的带权 Lebesgue 嵌入的精确形式是什么？
• RQ3 在原点附近与无穷远处，控制径向 Sobolev 函数的衰减和径向引理的估计是什么？
• RQ4 何时 W^{k,p}_{rad}(M) 与 W^{k,p}((0,R), phi^{N-1}) 相等或等价？
• RQ5 将结果如何将经典的欧几里得与双曲径向嵌入推广到这一更广泛的几何 setting？

主要发现

• 径向函数在 W^{k,p}_{rad}(M) 与 W^{k,p}((0,R), phi^{N-1}) 中相互对应，并有精确的导数关系（定理 1.1）。
• 存在 W^{k,p}_{rad}(M) -> L^{q}_{phi^{theta}}(M) 的嵌入，明确的范围为 q <= p^{*}_{theta}（当 N>kp 时），在有界情形下对应紧性（定理 1.3），在无界情形下亦成立（定理 1.4）。
• 等价性结果表明 W^{k,p}_{rad}(M) 包含于并在某些条件下等价于 W^{k,p}((0,R), phi^{N-1})（定理 1.2）。
• 径向引理给出原点附近的逐点衰减估计，涉及 phi 的表达，覆盖 N>kp 与 N=kp 的情形（命题 5.2, 5.3）。
• 这些结果将欧几里得与双曲的径向嵌入统一并推广到一般球对称流形。