[論文レビュー] 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空間に対応する鋭い1次元縮約を示し、減衰/正則性結果を伴う最適な半径方向埋め込みを確立する。

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.

研究の動機と目的

• EuclideanおよびHyperbolic空間を超える半径関数のSobolev埋め込みを動機づけ、拡張する。
• 測地極座標による正確な1次元縮約を開発する。
• W^{k,p}_{rad}(M)をW^{k,p}((0,R), phi^{N-1})の観点から特徴づけ、同値性を証明する。
• 有界および無界多様体に対する重み付きL^{q}_{phi^{theta}}空間への最適な埋め込みを導く。
• 原点近傍および無限遠での挙動を捉える半径方向レマと減衰推定を確立する。

提案手法

• 球対称なリーマン多様体上の測地座標を用いて、半径方向Sobolev問題を重み付きの1次元設定へ縮約する。
• 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の場合に、radial lemmasを伴ってL^{q}_{phi^{theta}}への埋め込みを得る。
• 定理1.4を無限大のケースR = infinityについて証明し、減衰レマと加重Lebesgue空間への埋め込みを含める。

実験結果

リサーチクエスチョン

• RQ1 球対称な多様体上の半径方向関数は、一つの重み付きSobolev表現によって完全に特徴づけられるか。
• RQ2 有界・無界な球対称多様体上の半径方向Sobolev関数の正確な重み付きLebesgue埋め込みは何か。
• RQ3 Origin近傍および無限遠での半径方向Sobolev関数を支配する減衰と半径レマの推定は何か。
• RQ4 W^{k,p}_{rad}(M)とW^{k,p}((0,R), phi^{N-1})はいつ一致・同値になるか。
• RQ5 本結果は古典的なEuclideanおよびHyperbolicの半径埋め込みを、より広い幾何設定へどう一般化するか。

主な発見

• 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) の埋め込みが成り、N>kpの場合の明示的な範囲q <= p^{*}_{theta}と、有界設定での対応するコンパクト性（定理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）。
• 結果はEuclideanおよびHyperbolicの半径埋め込みを、一般の球対称多様体へ統一・拡張する。