微分を使わず距離だけでソボレフ空間を特徴付ける
A purely metric characterization of supercritical Sobolev spaces
この論文をやさしく読む
ひとことで言うと
通常は微分を使って記述する関数の滑らかさを、点どうしの距離に基づく条件だけで判定できることを示す研究です。
何に役立つ?
通常の座標や微分を使いにくい距離空間でも、ソボレフ空間に属する写像を理解するための道具になります。
この研究の面白いところ
ユークリッド空間の判定法だけでなく、値が任意のバナッハ空間に入る写像まで含め、2種類のソボレフ空間と同じクラスになることを示しています。
どこまで分かった?
指数が次元に対応する値を上回る超臨界の場合の結果です。一般の距離空間では完備性、Q-Ahlfors正則性、Poincaré不等式の条件が必要で、無条件の距離空間に対する主張ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文では、局所的な超臨界ソボレフ空間に属する連続写像について、微分を使わない純粋に距離的な特徴付けを与える。具体的には、p>nのとき、連続写像f:ℝⁿ→ℝᵐが局所ソボレフ空間W^{1,p}_loc(ℝⁿ:ℝᵐ)に属することと、fが(p,1−n/p)-コンパクト・ヘルダー写像であることが同値であることを示す。 実際には、より一般的な次の結果を証明する。Xが完備なQ-Ahlfors正則距離空間で、p>Qを満たすp-Poincaré不等式を支持し、Vが任意のバナッハ空間であるとき、コンパクト・ヘルダー級CH^{p,1−Q/p}(X:V)は、局所Hajłaszソボレフ空間M^{1,p}_loc(X:V)および局所Newtonソボレフ空間N^{1,p}_loc(X:V)の連続代表元とちょうど一致する。また、対応する半ノルムの間の定量的な比較も確立する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21(UTC)
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper we provide a purely metric and derivative-free characterization of continuous mappings in the local supercritical Sobolev space. More specifically, we show that a continuous mapping $f\colon\mathbb{R}^n\to\mathbb{R}^m$ lies in the local Sobolev space $W^{1,p}_\text{loc}(\mathbb{R}^n\colon\mathbb{R}^m)$ if and only if $f$ is a $(p,1-n/p)$-compactly Hölder mapping, where $p>n$. In fact, we prove the following more general result: whenever $X$ is a complete $Q$-Ahlfors regular metric space supporting a $p$-Poincaré inequality with $p>Q$, and $V$ is any Banach space, the compactly Hölder class $CH^{p,1-Q/p}(X\colon V)$ consists precisely of the continuous representatives of the local Hajł asz and Newtonian Sobolev spaces $M^{1,p}_\text{loc} (X \colon V)$ and $N^{1,p}_\text{loc}(X\colon V)$. We also establish quantitative comparisons between the corresponding seminorms.
著者のコメント
26 pages
arXiv ID: 2609.24520 / 要約の誤りについて