arXiv論文メモ
新着一覧
math.NA / cs.NA · 査読状況未確認

単体上の離散de Rham複体に使う高次双直交基底

High order biorthogonal functions for the discrete de Rham complex on simplices*

Tim Haubold, Sven Beuchler, Joachim Schöberl

この論文をやさしく読む

ひとことで言うと

有限要素法でベクトル場を表すため、複数の関数空間に対応する高次の基底関数を構成した数学・計算手法の研究です。

何に役立つ?

考えられる用途は、対象の有限要素空間で安定した基底を選び、L²射影の計算を効率化することです。

この研究の面白いところ

既存の基底定義を空間の包含関係に合うよう修正し、H(div)ではヤコビ多項式による閉形式の双直交基底を与えています。

どこまで分かった?

要旨では基底の構成と高速計算が可能になる形式を述べていますが、具体的な計算時間や実問題での精度比較は示されていません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

hp有限要素法では、基底関数の選び方が近似解を得る際の安定性と計算費用に大きく影響する。二次元と三次元の単体要素では、重みの異なるヤコビ多項式から作るテンソル積に似た基底関数が、条件数と疎性について最適な性質を与える。本論文では、Nédélec空間、Raviart–Thomas空間、Brezzi–Douglas–Marini(BDM)空間に対して、そのような高次基底を構成する。既存のZaglmayrの定義を修正し、関数が第一種Nédélec空間とRaviart–Thomas空間に属するようにする。第二種Nédélec空間とBDM空間がそれぞれ対応する他方の空間の拡張になるよう、基底を設計する。 後半では、H¹(Ω)とH(curl, Ω)についての先行研究を引き継ぎ、H(div, Ω)の双直交基底関数を導入する。これらの関数は、ヤコビ多項式のテンソル積の和として閉じた形で表せるため、L²射影を高速に計算できる。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-23(UTC)
最新改訂
2026-09-23 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

It is well known that the choice of basis functions in hp-FEM heavily influences the stability and the computational cost in order to obtain an approximate solution. For simplicial elements in two and three space dimensions, tensor-product-like basis functions built from Jacobi polynomials with different weights yield optimal properties with respect to condition number and sparsity. In this paper we construct such a high order basis for the Nédélec spaces and for the Raviart-Thomas and Brezzi-Douglas-Marini spaces, modifying existing definitions of Zaglmayr so that the functions belong to the Nédélec spaces of first kind and the Raviart-Thomas spaces. The bases are designed so that the Nédélec space of second kind and the BDM space are extensions of the respective other spaces. In the second part of the paper we introduce biorthogonal basis functions for $H(\text{div}, {\Omega})$ continuing previous research for $H^1({\Omega})$ and $H(\text{curl}, {\Omega})$. These functions can be expressed in closed form as sums of tensor products of Jacobi polynomials, which allows for fast computation of the $L^2$-projection.

arXiv ID: 2609.28345 / 要約の誤りについて