[論文レビュー] Towards $C^0$ finite element methods for fourth-order elliptic equation. Part I: general boundary conditions

Xihao Zhang, Hengguang Li+2 more|arXiv (Cornell University)|Feb 4, 2026

Advanced Numerical Methods in Computational Mathematics被引用数 0

ひとこと要約

この論文は、混合境界条件を有する多角形領域上の四次問題に対してC0有限要素法を可能にする修正混合型定式化を開発し、ポアソン方程式系へと問題を分解し、収束理論と数値検証を提供する。

ABSTRACT

This paper is part of a series developing $C^0$ finite element methods for fourth-order elliptic equations on polygonal domains. Here, we investigate how boundary conditions influence the design of effective $C^0$ schemes, specifically focusing on equations without lower-order terms, namely the biharmonic equation. We propose a modified mixed formulation that decomposes the problem into a system of Poisson equations, where the number of equations depends on both the largest interior angle and the boundary conditions on its two adjacent sides. In contrast to the naive mixed formulation, which involves only two Poisson problems, the proposed approach guarantees convergence to the true solution for arbitrary polygonal domains and general boundary conditions, including Navier, Neumann, and mixed boundary conditions. $C^0$ finite element algorithms are developed, rigorous error estimates are established, and numerical experiments are presented to demonstrate the well-posedness and effectiveness of the proposed method.

研究の動機と目的

• 多角形領域上の一般境界条件の下での四次問題に対する C0-FEM の必要性を動機づける。
• 解を適切な Sobolev 空間に制限する修正混合型定式化を提案する。
• C0 有限要素法アルゴリズムを開発し、厳密な誤差推定を提供する。
• 混合ポアソン系定式化と元の biharmonic 問題との等価性を示す。
• 数値実験と既存法との比較を通じてアプローチを検証する。

提案手法

• biharmonic 問題を、ラプラス像の直交補空間に基づく補正を付加したポアソン方程式の分離系として再定式化する。
• 領域幾何と境界型に結びつく ξ_m 関数を用いて直交補空間の有限次元基底を特定・構成する。
• 修正混合定式化を定義し、w はポアソン問題、ũ は w_S（w の Laplace 像への射影）を右辺とするポアソン問題を解く。
• C0 線形有限要素アルゴリズムを開発し、ポアソン系を解き、係数 c_m の小さな線形系を通じて補正を課す。
• 修正後の定式化と適切な Sobolev空間における元の biharmonic 問題との同値性を証明し、誤差推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 polygonal 領域上の一般境界条件が biharmonic 方程式の設計と収束性にどう影響するか。
• RQ2 Navier/Neumann/Dirichlet の混合境界条件を持つ biharmonic 問題を、空間制限補正を伴う分離ポアソン系により信頼性高く解けるか。
• RQ3 領域の最大内部角が必要な追加ポアソン問題の数と収束率に与える影響は何か。
• RQ4 提案された修正混合定式化とそれに対応する C0-FEM アルゴリズムは、さまざまな境界条件と領域形状の下で最適またはほぼ最適な収束率を提供するか。

主な発見

• 修正混合定式化は biharmonic 問題をポアソン問題の系へと変換し、追加方程式の数は最大内部角と隣接境界条件に依存する。
• ラプラス像の直交補空間は有限次元であり、基底 {ξ_m} は素朴な分離を修正して解を適切な Sobolev 空間に整える。
• 提案された C0-FEM アルゴリズムは w の H1 ノルムおよび u の H2 ノルムで収束を達成し、最大角と境界型に影響される。
• Navier/Neumann 境界条件の場合、線形ラグランジュ要素での最適収束率 h を達成し、混合境界条件では ω に応じて h または h^{2α} の収束率となる。
• 理論的結果は修正定式化と元の biharmonic 問題の間の等価性を確立し、数値実験は良好な適定性と有効性を確認する。