オイラー方程式(圧縮性) — 数値解法と実装

カテゴリ: 流体解析(CFD) | 2026-01-20
euler-equations-method
数値解法の舞台裏

数値解法

🧑‍🎓

オイラー方程式をコンピュータで解くには、衝撃波の扱いがポイントになるんですよね?


🎓

そのとおり。オイラー方程式の解には衝撃波や接触不連続面といった不連続解が含まれる。これらを数値的に正しく捕獲するための手法が、圧縮性CFDの核心技術だ。


Godunovの方法とリーマンソルバー

🎓

Godunovの方法では、セル界面で局所的なリーマン問題を解いて数値フラックスを求める。


$$ \mathbf{F}_{i+1/2} = \mathbf{F}(\mathbf{U}^*(0; \mathbf{U}_L, \mathbf{U}_R)) $$

ここで $\mathbf{U}^*$ はリーマン問題の解、$\mathbf{U}_L, \mathbf{U}_R$ はセル界面の左右の状態だ。厳密リーマンソルバーは計算コストが高いので、近似リーマンソルバーが広く使われている。


ソルバー特徴長所短所
Roe (1981)線形化リーマン解接触不連続の解像度高いエントロピー修正が必要
HLL (1983)2波近似堅牢、実装が簡単接触不連続が拡散
HLLC (1994)3波近似(接触波含む)接触不連続も解像Roeより若干拡散
AUSM+ (1996)質量流束分離全マッハ数対応パラメータ調整必要
🧑‍🎓

Roeのリーマンソルバーが有名ですけど、具体的にはどう計算するんですか?


🎓

Roeは左右の状態からRoe平均を計算して、ヤコビアンを線形化する。Roe平均密度は $\hat{\rho} = \sqrt{\rho_L \rho_R}$ で定義される。数値フラックスは


$$ \mathbf{F}_{i+1/2} = \frac{1}{2}(\mathbf{F}_L + \mathbf{F}_R) - \frac{1}{2}|\hat{\mathbf{A}}|(\mathbf{U}_R - \mathbf{U}_L) $$

第2項が数値的な散逸を加える風上項だ。


高次精度化: MUSCL法とリミッター

🎓

1次精度のGodunovスキームでは衝撃波が数十セルにまたがってしまう。高次精度化にはMUSCL(Monotone Upstream-centered Schemes for Conservation Laws)法を使う。


$$ \mathbf{U}_{L} = \mathbf{U}_i + \frac{1}{2}\phi(r)(\mathbf{U}_i - \mathbf{U}_{i-1}) $$

ここで $\phi(r)$ はスロープリミッター関数。リミッターを使わないと衝撃波近傍でGibbs振動が発生する。代表的なリミッターには minmod、van Leer、superbee がある。


🧑‍🎓

リミッターの選び方で結果が変わるんですか?


🎓

かなり変わる。minmod は最も拡散的だけど安定、superbee は鮮鋭だけど疎密波を階段状にしてしまう傾向がある。実用的には van Leer か van Albada が良いバランスだ。WENO(Weighted Essentially Non-Oscillatory)スキームは5次精度で衝撃波捕獲も優れているが、計算コストが高い。


🧑‍🎓

時間積分はどうするんですか?


🎓

陽解法ならTVD Runge-Kutta法(Shu-Osher 3段3次)が定番だ。CFL条件は


$$ \Delta t \leq \text{CFL} \cdot \frac{\Delta x}{|u| + a} $$

CFL $\leq 1$ が安定条件だ。陰解法ではLU-SGS(Lower-Upper Symmetric Gauss-Seidel)法が効率的で、CFL数を大きく取れるから定常計算の収束が速いんだ。


Coffee Break よもやま話

ライト兄弟は最初の「CFDエンジニア」だった?

ライト兄弟は1901年に自作の風洞で200以上の翼型を試験しました。当時のコンピュータは? もちろん存在しません。彼らは手作業で揚力と抗力を測定し、最適な翼型を見つけ出した。現代のCFDエンジニアがFluent1発で計算する揚力係数を、ライト兄弟は何百回もの風洞実験で手に入れたのです。

離散化手法の詳細解説

空間離散化における手法選択が数値精度・安定性・計算コストに与える影響を詳述する。

風上差分(Upwind)

1次風上: 数値拡散が大きいが安定。2次風上: 精度向上するが振動のリスク。高レイノルズ数流れでは必須。

中心差分(Central Differencing)

2次精度だが、Pe数 > 2で数値振動が発生。低レイノルズ数の拡散支配流れに適する。

TVDスキーム(MUSCL、QUICK等)

リミッタ関数により数値振動を抑制しつつ高精度を維持。衝撃波や急勾配の捕捉に有効。

有限体積法 vs 有限要素法

FVM: 保存則を自然に満足。CFDの主流。FEM: 複雑形状・マルチフィジックスに有利。SPH等のメッシュフリー法も発展中。

マトリクスソルバーの選定指針

問題規模と特性に応じた最適なソルバー選択のガイドライン。

ソルバー種別詳細・推奨条件
圧力-速度連成(SIMPLE系)SIMPLE: 標準的だが収束が遅い。SIMPLEC: 圧力補正の緩和が改善。PISO: 非定常問題に適する。
連立系ソルバーAMG(代数的マルチグリッド): 大規模問題の標準。ILU前処理: メモリ効率良好。ブロックGauss-Seidel: 連成系に有効。
DOF別推奨〜10⁵セル: SIMPLE+AMG、10⁵〜10⁷セル: SIMPLEC+AMG+並列、10⁷セル〜: 結合型ソルバー(Coupled Solver)を検討

時間積分法と収束判定

ソルバー内部の制御パラメータと収束判定基準について記述する。

CFL条件(クーラン数)

陽解法: CFL ≤ 1が安定条件。陰解法: CFL > 1でも安定だが、精度と反復回数に影響。LES: CFL ≈ 1を推奨。物理的意味: 1タイムステップで情報が1セル以上進まないこと。

残差モニタリング

連続の式・運動量・エネルギーの各残差が3〜4桁低下で収束と判断。質量保存の残差は特に重要。

緩和係数

圧力: 0.2〜0.3、速度: 0.5〜0.7が一般的な初期値。発散する場合は緩和係数を下げる。収束後は上げて加速。

非定常計算の内部反復

各タイムステップ内で定常解に収束するまで反復。内部反復数: 5〜20回が目安。残差がタイムステップ間で変動する場合は時間刻みを見直す。

数値解法の直感的理解

FVMのイメージ

有限体積法は「会計帳簿」に似ている。各セル(口座)について「入ってくる量」と「出ていく量」の収支を厳密に管理する。隣のセルに流れ出た量は、そのセルに流れ込む量と完全に一致する——これが「保存性」であり、流体解析で質量やエネルギーが勝手に増減しないことを保証する。

SIMPLE法のたとえ

SIMPLE法は「交互に調整する」手法。まず速度を仮に求め(予測ステップ)、その速度で質量保存が満たされるよう圧力を補正し(補正ステップ)、補正された圧力で速度を修正する——このキャッチボールを繰り返して正解に近づく。2人で棚を水平にする作業に似ている:片方が高さを合わせ、もう片方がバランスを取り、これを交互に繰り返す。

風上差分のたとえ

風上差分は「川の流れに立って上流の情報を重視する」手法。川の中にいる人が下流を見ても水の出所は分からない——上流の情報が下流を決めるという物理を反映した離散化手法。精度は1次だが、流れの方向を正しく捕捉するため安定性が高い。

CFDメッシュの品質管理や乱流モデルの選定に悩む時間を、もっと創造的な設計作業に使えたら。 — Project NovaSolverはそんな実務者の声から生まれました。

CAEの未来を、実務者と共に考える

Project NovaSolverは、オイラー方程式(圧縮性)における実務課題の本質に向き合い、エンジニアリングの現場を支える道具づくりを目指す研究開発プロジェクトです。

プロジェクトの最新情報を見る →