FEniCS — CAE用語解説

FEniCS（FEnite element Computational Software）はCambridgeやChalmersなどの大学コンソーシアムが開発したOSSのFEM計算フレームワークで、PythonとC++で使える。最大の特徴は「弱形式の変分問題をほぼそのままコードで書ける」UFLという数式記述言語だ。たとえばポアソン方程式の弱形式をuvdx = fvdxというUFL表現で書いて数行のPythonを追加すれば動くFEMコードができる。研究者が新しい物理モデルや要素タイプをプロトタイプするのに最適で、TopologyOptimizationやカスタム構成則の実装などCA研究で広く使われているよ。

FEniCSは「研究・プロトタイピング向け」で商用ソルバーとは棲み分けている。接触問題・大規模並列・複雑な境界条件の自動化などは商用ソルバーが圧倒的に使いやすいが、FEniCSは「自分で定式化した方程式を自分でコード化したい」研究者に最適だ。Dolphin-X（FEniCSxの新バージョン）はMPI並列に完全対応していて、スーパーコンピューターでの大規模計算にも使われる。学術論文では「Abaqusを使いました」より「FEniCSで実装しました」の方が実装の透明性が高いと評価される傾向もある。最近はFEniCSx+JAX（自動微分）を使ったPDEベースのインバース問題や機械学習統合の研究が盛んだよ。