[論文レビュー] A sampling inequality for fractional order Sobolev semi-norms using arbitrary order data

Andrew T. Corrigan, John Wallin+1 more|ArXiv.org|Jan 26, 2008

Numerical methods in engineering参考文献 13被引用数 3

ひとこと要約

本稿は、分数階Sobolev半ノルムのサンプリング不等式を拡張し、任意の順数の微分データを組み込み、非整数滑らかさにおける最適な境界を可能にする。この手法により、シュバックの非対称メッシュレスフレームワークにおける収束速度が向上し、特に高階Sobolevノルムおよび非同次境界値問題において顕著である。

ABSTRACT

To improve convergence results obtained using a framework for unsymmetric meshless methods due to Schaback (Preprint Göttingen 2006), we extend, in two directions, the Sobolev bound due to Arcangéli et al. (Numer Math 107, 181-211, 2007), which itself extends two others due to Wendland and Rieger (Numer Math 101, 643-662, 2005) and Madych (J. Approx Theory 142, 116-128, 2006). The first is to incorporate discrete samples of arbitrary order derivatives into the bound, which are used to obtain higher order convergence in higher order Sobolev norms. The second is to optimally bound fractional order Sobolev semi-norms, which are used to obtain more optimal convergence rates when solving problems requiring fractional order Sobolev spaces, notably inhomogeneous boundary value problems.

研究の動機と目的

• Sobolev半ノルムの既存のサンプリング不等式を拡張することで、非対称メッシュレス法における収束速度を向上させること。
• 離散的な任意順数の微分値をサンプリング境界に組み込むことにより、高階テスト離散化における不安定性を解消すること。
• 分数階Sobolev半ノルムを最適に境界づけることにより、分数階Sobolev空間における問題に対するより良い収束推定が可能になること。
• シュバックのフレームワークを高階テスト離散化を用いて修正することで、より強いノルムにおける高階収束を実現すること。

提案手法

• アーランゲリらのサンプリング不等式を一般化し、左辺に整数階ノルムの代わりに分数階Sobolev半ノルムを許容する。
• サンプリング不等式に用いる微分の順数を表す新たなパラメータμを導入し、従来のμ = 0の設定を一般化する。
• α(s) = s^{m̃-m} による改善された減衰を有する形で、|u|_{l,q,Ω} ≤ C(d^{r-l-n(1/p-1/q)_+}|u|_{r,p,Ω} + d^{n/γ - l}||u|_b||_κ) の境界を導出する。
• 新しい不等式をシュバックの非対称メッシュレス法フレームワーク内に適用し、高階テスト離散化を用いた強いテスト法を採用する。
• Sobolevノルムにおいて、収束速度が O(h^{(m̃-m)+(μ₁-m₁)}) の程度であることを確立する。ここで μ₁ はテスト離散化の順数を表す。
• 試行とテスト離散化パラメータのバランスを保つために、逆推定係数 γ(r) = r^{m- m̃} を用い、比例的な細分化を保証する。

実験結果

リサーチクエスチョン

• RQ1 分数階Sobolev半ノルムを境界づけるサンプリング不等式を、最適な収束速度を維持したまま拡張することは可能か？
• RQ2 高階微分データをどのようにサンプリング不等式に組み込むことで、メッシュレス法における高階テスト離散化の安定性を向上させられるか？
• RQ3 シュバックのフレームワークにおいて高階テスト空間を用いる場合、試行とテスト離散化パラメータの最適なバランスは何か？
• RQ4 高階微分データの組み込みにより、ゼロ階テストに比べて高階Sobolevノルムにおける収束速度が向上するか？
• RQ5 分数階ノルムにおいて、テスト離散化の過剰な細分化を避けるために、サンプリング不等式の定数α(s)を改善できるか？

主な発見

• 新しいサンプリング不等式は、分数階Sobolev半ノルムに対して最適な減衰率 α(s) = s^{m̃-m} を達成し、従来の suboptimal な α(s) = s^{m̃-⌈m⌉} を回避する。
• 高階微分データ（パラメータμを介して）を組み込むことで、より強いSobolevノルムにおける高階収束が可能となり、表1は μ₁ ≥ 1 の場合に改善された収束率を示している。
• 2次元または3次元のポアソン問題において、テスト離散化に μ₁ = 2 以上を用いることで、H⁶(Ω) において収束順序 O(h^{(m̃-m)-2}) を達成し、μ₁ = 0 の場合を上回る性能を示す。
• 収束の順序はテスト空間の正則性によって制限される：一様な安定性を維持するためには、μₖ はテスト空間の順数より少なくとも nₖ/2 以上小さくなければならない。
• L²(Ω) における収束は、高階ノルムから非最適に結論づけることはできない。これは U が少なくとも H^{m+2}(Ω) の正則性を持つ必要があるためであり、m ≥ 2 + n/2 を意味する。
• 修正されたシュバックフレームワークは、収束速度 O(h^{(m̃-m)+(μ₁-m₁)}) を達成しており、高階テスト離散化が高階ノルムにおける収束を向上させることを示している。