[論文レビュー] Finite element approximation of the $p(\cdot)$-Laplacian

Dominic Breit, Lars Diening+1 more|arXiv (Cornell University)|Nov 20, 2013

Advanced Mathematical Modeling in Engineering参考文献 34被引用数 3

ひとこと要約

この論文は、可変指数 $p(\cdot)$-ラプラシアンの有限要素近似に対する事前誤差推定を確立し、指数 $p(\cdot)$ が $\alpha$-ホルダー連続であるとき、勾配誤差が準ノルムで $O(h^{\alpha})$ の速度で収束することを示している。解析は重み付きノルム技術および可変指数ルベーグ空間とソボレフ空間の性質に依拠している。

ABSTRACT

We study a~priori estimates for the Dirichlet problem of the $p(\cdot)$-Laplacian, \[-\mathrm{div}(| abla v|^{p(\cdot)-2} abla v) = f. \] We show that the gradients of the finite element approximation with zero boundary data converges with rate $O(h^α)$ if the exponent $p$ is $α$-Hölder continuous. The error of the gradients is measured in the so-called quasi-norm, i.e. we measure the $L^2$-error of $| abla v|^{\frac{p-2}{2}} abla v$.

研究の動機と目的

• 可変指数 $p(\cdot)$ を持つ $p(\cdot)$-ラプラシアンの有限要素近似に対する事前誤差推定を確立すること。
• 非線形性が可変成長を示す問題において不可欠な準ノルムにおける有限要素勾配近似の収束速度を定量化すること。
• 文献における空白を埋め、可変指数非線形PDEにおける有限要素法の最初の明示的収束速度を提供すること。
• 重み付きノルムとオルリーツ型推定を用いて、古典的有限要素収束理論を可変指数空間の設定に拡張すること。
• 収束速度が指数 $p(\cdot)$ の正則性、特にホルダー連続性にどのように依存するかを分析すること。

提案手法

• 有限要素近似の誤差を測るための準ノルム $\| |\nabla v|^{\frac{p-2}{2}} \nabla v - |\nabla v_h|^{\frac{p-2}{2}} \nabla v_h \|_{L^2}$ の使用。
• 可変指数を伴う一般化されたルベーグ空間およびソボレフ空間における最良近似および補間推定の適用。
• 指数の摂動を制御するための、$p(\cdot)$ の対数的ホルダー連続性を含む可変指数空間における重要な推定の使用。
• N-関数の $\rho$-関数枠組み、$\rho(t) = \int_0^t (\kappa + s)^{p(x)-2} s \, ds$ を用いて $p(\cdot)$-ラプラシアン構造をモデル化。
• 可変指数に起因する非線形性の差を制御するためのシフト不変推定およびシフト変換補題（例：補題 A.5）の使用。
• 非線形勾配差と $\rho_{|\nabla v|}$-ノルムの等価性の確立により、重み付きエネルギー推定の使用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 指数 $p(\cdot)$ がホルダー連続に限る場合、$p(\cdot)$-ラプラシアンの有限要素近似の収束速度は何か？
• RQ2 非線形構造を反映する準ノルムを用いることで、最適誤差推定をどのように導出できるか？
• RQ3 指数 $p(\cdot)$ の正則性、特にホルダー連続性が、有限要素法の収束速度にどの程度影響を与えるか？
• RQ4 オルリーツ空間技法と重み付きノルムを用いて、古典的有限要素収束理論を可変指数問題に拡張できるか？
• RQ5 指数 $p(\cdot)$ の対数的ホルダー連続性が、最大作用素の有界性を保証し、誤差解析を可能にする役割は何か？

主な発見

• 指数 $p(\cdot)$ が $\alpha$-ホルダー連続であるとき、$p(\cdot)$-ラプラシアンの有限要素近似は、準ノルムで $O(h^{\alpha})$ の速度で収束する。
• 誤差は、$p(\cdot)$-ラプラシアンの自然なエネルギー変数である $|\nabla v|^{\frac{p-2}{2}} \nabla v$ の $L^2$-ノルムで測定される。
• 収束速度は鋭く、指数 $p(\cdot)$ のホルダー正則性に直接依存しており、正則性が高くなるほど収束が速くなる。
• 重要な推定を保証するため、$p(\cdot)$ の対数的ホルダー連続性に依拠しており、これは $L^{p(\cdot)}$ における最大作用素の有界性に不可欠である。
• N-関数に基づく重み付きエネルギー枠組みを導入することで、古典的有限要素収束理論が可変指数問題に拡張された。
• この枠組みにより、シフト不変推定およびオルリーツ型空間におけるノルムの等価性を用いて、可変成長を示す非線形性の取り扱いが可能になる。