[論文レビュー] Sobolev spaces and Lagrange interpolation

Bogdan Bojarski|arXiv (Cornell University)|Jan 23, 2012

Advanced Harmonic Analysis Research参考文献 40被引用数 5

ひとこと要約

この論文は、Sobolev空間 $W^{m,p}(\bbR^n)$ 内の関数の $m$ 階差分を含む、新しい点ごとの不等式について幾何的で直接的な証明を提供する。$|\nabla^m f(x;y)| \leq |x-y|^m (\hat{a}_f^m(x) + \hat{a}_f^m(y))$ が成り立ち、ある $\hat{a}_f^m \in L^p(\bbR^n)$ に対して成り立つ。これにより、ラグランジュ補間の剰余項とSobolev関数の構造が結びつけられる。結果として、可変リプシッツ係数を用いたSobolev関数の点ごとの特徴付けが得られ、その正則性および近似性に関する新たな知見が得られる。

ABSTRACT

In this short paper the discussion of the pointwise characterization of functions $f$ in the Sobolev space $W^{m,p}(\R^n)$ given in the recent paper (Bojarski) is supplemented in \SS1 by a direct, essentially geometric, proof of the novel inequality (for $m>1$), appearing in Bojarski apparently for the first time, and involving the use of the $m$-th difference of the function $f$. Moreover in \SS2 some additional comments to the text in Bojarski are given and a natural class of Sobolev spaces in domains $G$ in $\R^n$ is defined. \SS3 contains some final remarks.

研究の動機と目的

• Sobolev空間 $W^{m,p}(\bbR^n)$ 内の関数の $m$ 階差分を含む、以前に[6]で導入された新しい点ごとの不等式について、直接的で幾何的な証明を提供すること。
• ラグランジュ補間の剰余項と有限差分を用いたSobolev関数の点ごとの特徴付けを明確化し、拡張すること。
• 領域 $G \subset \bbR^n$ におけるSobolev空間の自然なクラスを定義し、その構造的性質を議論すること。
• ラグランジュ補間とテイラー＝ホイットニー剰余項がSobolev空間構造解析における基本的道具である役割を強調すること。

提案手法

• アフィン直線上の補間誤差の点ごとの測度としての $m$ 階差分作用素 $\Delta_h^m f(x)$ を用い、等間隔のノードにおけるラグランジュ補間の剰余項として解釈すること。
• 対称性と体積比を活用して、$r = |x-y|$ に対して $\Sigma_r = B(x,r) \cap B(y,r)$ という球面断片における幾何的平均化を適用すること。
• Hardy-Littlewood maximal関数の推定を用いて、$|\nabla^m f|$ の $L^p$-有界最大関数を介して、鍵となる不等式 $|\Delta^m f(x;y)| \leq |x-y|^m (\hat{a}_f^m(x) + \hat{a}_f^m(y))$ を確立すること。
• $\hat{a}_f^m$ を $|\nabla^m f|$ の局所最大関数によって上から抑える可変リプシッツ係数として構成し、$L^p(\bbR^n)$ 内での可積分性を保証すること。
• 不等式を領域 $G \subset \bbR^n$ に拡張し、Sobolev空間理論におけるトレース作用素および幾何的制約について議論すること。
• ソボレフの研究で用いられた平均化技術を用いて、アフィン直線に沿った点ごとの挙動を、グローバルな $L^p$ 可積分性および関数の正則性に結びつけること。

実験結果

リサーチクエスチョン

• RQ1 Sobolev空間 $W^{m,p}(\bbR^n)$ 内の関数の $m$ 階差分は、補間の剰余項と幾何的平均化を用いて、どのように点ごとに有界化できるか？
• RQ2 可変リプシッツ係数 $\hat{a}_f^m$ は、有限差分を用いたSobolev関数の特徴付けにおいて、果たす役割は何か？
• RQ3 ラグランジュ補間の剰余項は、古典的なテイラー＝ホイットニー剰余項とどのように関係し、$W^{m,p}$ 関数の構造的洞察をどのように提供するか？
• RQ4 点ごとの不等式 $\Delta^m f(x;y)$ を用いることで、標準的な $L^p$ ノルムを超えたSobolev関数の新たな特徴付けは可能か？
• RQ5 この点ごとのアプローチは、近似理論、微分可能性、およびSobolev空間における埋め込み定理にどのような意味を持つのか？

主な発見

• 関数 $f \in W^{m,p}(\bbR^n)$、$p > 1$ に対して、不等式 $|\Delta^m f(x;y)| \leq |x-y|^m (\hat{a}_f^m(x) + \hat{a}_f^m(y))$ について、直接的で幾何的な証明が確立され、$\hat{a}_f^m \in L^p(\bbR^n)$ を満たす。これにより、有限差分を用いたSobolev関数の点ごとの特徴付けが得られる。
• 可変リプシッツ係数 $\hat{a}_f^m$ が $|\nabla^m f|$ の局所最大関数によって上から抑えることができ、点ごとの正則性と $|\nabla^m f|$ の $L^p$-可積分性が結びつくことが示された。
• ラグランジュ補間の剰余項 $\Delta^m f(x;y)$ は、Sobolev空間理論における基本的対象と特定され、アフィン直線に沿って等間隔ノードで $f(y)$ を補間する多項式による近似誤差と同等であることが明らかになった。
• 点ごとの不等式により、Sobolev関数の研究がアフィン線分上での挙動に還元され、Fubini型の因子分解 $\bbR^n \sim \bbR^{n-k} \times \bbR^k$ を用いた新たな特徴付けが可能になった。
• この枠組みは、Lusin型近似、$C^\infty$ 関数の稠密性、Calderón型微分可能性定理といった構造的性質のより深い分析を可能にする。
• 本アプローチは、非等間隔ノードへの一般化、Glaeser型補間スキーム、点ごとの補間剰余項の制御を用いたHajłasz埋め込み定理の拡張といった、新たな研究分野を開く。