[論文レビュー] The lower bound of the error estimate in the L2 norm for the Adini element of the biharmonic equation

Jun Hu, Zhong‐Ci Shi|arXiv (Cornell University)|Nov 20, 2012

Advanced Numerical Methods in Computational Mathematics参考文献 11被引用数 5

ひとこと要約

この論文は、双曲型方程式に対するアディーニ非適合有限要素法の $L^2$ ノルム誤差推定値の下界を確立し、収束速度が $\mathcal{O}(h^2)$ を超えることはできないことを証明している。これにより、ラスコーとレサンの長年の予想である、$L^2$ および $H^1$ 収束速度がエネルギーノルムの速度を超えることはない、という仮説を厳密に裏付けた。解析は、精密化された補間作用素と $(-f, e)_{L^2}$ の恒等式に依拠しており、これは主要な誤差項を分離し、$H^4$ 正則性のもとで下界を導出可能にする。

ABSTRACT

This paper is devoted to the $L^2$ norm error estimate of the Adini element for the biharmonic equation. Surprisingly, a lower bound is established which proves that the $ L^2$ norm convergence rate can not be higher than that in the energy norm. This proves the conjecture of [Lascaux and Lesaint, Some nonconforming finite elements for the plate bending problem, RAIRO Anal. Numer. 9 (1975), pp. 9--53.] that the convergence rates in both $L^2$ and $H^1$ norms can not be higher than that in the energy norm for this element.

研究の動機と目的

• 双曲型問題におけるアディーニ有限要素法の $L^2$ ノルム誤差推定値に関する長年の未解決問題を解消すること。
• ラスコーとレサン（1975年）の予想である、$L^2$ および $H^1$ 収束速度がエネルギーノルムの速度を超えることはない、という仮説を厳密に証明すること。
• $L^2$ 誤差推定値の下界を確立し、一般には高次の収束が達成できないことを示すこと。

提案手法

• 新しい展開法を用いて、標準補間作用素 $\Pi_h$ の改良された性質を導出することで、従来の正則性要件を緩和した。
• 誤差の主要寄与項を高次項から分離するための $(-f, w - w_h)_{L^2}$ の重要な恒等式を確立した。
• 恒等式を精密化された補間推定と組み合わせ、$L^2$ 誤差の下界を導出する。
• Poincaré 不等式を適用して $L^2$ と $H^1$ 誤差の境界を結びつけ、両者が $\mathcal{O}(h^2)$ 未満であることを示した。
• 正確な解の $H^4$ 正則性に依拠しており、以前の研究で用いられた $H^5$ の仮定を弱めた。
• 離散的 $L^2$ 誤差が $h^2 \| \partial^3 w / \partial x^2 \partial y \|_{L^2}$ に比例する項によって下から抑えられることを示した。これは非自明な右辺 $f$ の下で非ゼロのまま保たれる。

実験結果

リサーチクエスチョン

• RQ1 アディーニ要素の $L^2$ ノルム誤差推定値は $\mathcal{O}(h^2)$ を超える可能性があるか、それともこれが最良の収束速度か？
• RQ2 ラスコーとレサン（1975年）の予想である、$L^2$ および $H^1$ の収束速度がエネルギーノルムの速度を超えることはない、という仮説は数学的に妥当か？
• RQ3 2次の一致性と近似を満たすにもかかわらず、アディーニ要素の何の構造的性質が高次の $L^2$ 収束を妨げているのか？

主な発見

• アディーニ要素の $L^2$ ノルム誤差推定値には $\mathcal{O}(h^2)$ の下界があり、収束速度はこれ以上改善できない。
• Poincaré 不等式と $L^2$ の下界から、$H^1$ ノルム誤差推定値も $\mathcal{O}(h^2)$ 未満であることが示された。
• 標準補間作用素 $\Pi_h$ は、$|v - \Pi_h v|_{H^1} \leq C h^2 |v|_{H^4}$ という精密化された誤差推定を満たしており、解析において中心的な役割を果たす。
• 恒等式 $(-f, w - w_h)_{L^2} = \text{主要項} + \text{高次項}$ により、主な誤差寄与項を分離可能となった。
• 誤差恒等式の主要項は $h^2 \| \partial^3 w / \partial x^2 \partial y \|_{L^2}$ に比例しており、$f \not\equiv 0$ のとき非ゼロのまま保たれ、下界が非自明であることを保証する。
• 解析は解の $H^4$ 正則性のみを要請しており、類似の研究で用いられた $H^5$ の仮定を改善した。