個数密度関数法(PBM)
個数密度関数法(PBM)の理論基礎
概要
先生、個数密度関数法(PBM)って何ですか?
PBM(Population Balance Model)は、気泡・液滴・粒子のサイズ分布の時間空間変化を追跡するモデルだ。合体(coalescence)、分裂(breakup)、核生成(nucleation)、成長(growth)によってサイズ分布が変化する過程を記述する。
どんな場面で使うんですか?
気泡塔での気泡径分布、乳化プロセスでの液滴径分布、晶析での結晶サイズ分布、エアロゾルの粒径変化など、分散相のサイズ分布が重要な問題全般で使う。Euler-Euler法と組み合わせて使うのが一般的だ。
支配方程式
PBMの方程式を教えてください。
体積 $V$ を持つ粒子(気泡・液滴)の個数密度 $n(V, \mathbf{x}, t)$ の輸送方程式は次の通りだ。
右辺の各項は以下を表す。
- $B_{coal}$: 合体による生成(2つの小さな粒子が合体してVのサイズになる)
- $D_{coal}$: 合体による消滅(サイズVの粒子が他と合体してより大きくなる)
- $B_{break}$: 分裂による生成(大きな粒子が分裂してVのサイズが生まれる)
- $D_{break}$: 分裂による消滅(サイズVの粒子が分裂して小さくなる)
合体と分裂の速度はどうモデル化するんですか?
代表的なクロージャモデルを示そう。
| プロセス | モデル例 | 駆動メカニズム |
|---|---|---|
| 合体頻度 | Prince & Blanch (1990) | 乱流衝突 + 膜排出 |
| 合体頻度 | Luo (1993) | 乱流エネルギー |
| 分裂頻度 | Luo & Svendsen (1996) | 乱流渦による分裂 |
| 分裂頻度 | Martínez-Bazán (2010) | 慣性-表面張力バランス |
Sauter平均径
サイズ分布から代表径を求めるにはどうするんですか?
Sauter平均径 $d_{32}$ が最もよく使われる。
$m_k = \int_0^\infty V^{k/3} n(V) dV$ は分布の $k$ 次モーメントだ。$d_{32}$ は体積-表面積比に対応し、物質移動や反応速度の評価に適している。
個体群バランス——工学の「進化論」としての多相流理論
Population Balance Equation(PBE)は、サイズ・年齢・組成などの「内部座標」を持つ個体群の時空間変化を記述する汎用的な枠組みです。生物の個体群動態(Lotka-Volterra方程式)と数学的に同型であり、気泡分布・結晶粒径分布・細胞濃度分布まで統一的に扱えます。化学工学でのPBE応用はRandolph & Larson(1971年)の結晶化論文が草分けで、50年後の今はCFDと連成したC-PBE(Coupled PBE)として医薬品製造・気泡塔・液液抽出の設計ツールに進化しています。
個数密度関数法(PBM)の数値計算手法
数値解法の詳細
PBMの数値的な解き方を教えてください。
PBEは体積(サイズ)を追加の独立変数とする積分微分方程式なので、直接解くのは困難だ。以下の離散化手法が使われる。
| 手法 | 概要 | 計算コスト | 精度 |
|---|---|---|---|
| MUSIG (Multi-Size Group) | サイズ空間をビンに分割 | 高(ビン数に比例) | ビン数依存 |
| QMOM (Quadrature MOM) | モーメント法 + 求積公式 | 低(6〜8モーメント) | 良好 |
| DQMOM | 直接求積モーメント法 | 低 | 良好 |
| S-Gamma | 2パラメータ分布仮定 | 最低 | 分布形状に制約 |
MUSIGとQMOMの違いを教えてください。
MUSIGはサイズ空間を10〜30のビン(size group)に分割し、各ビンの個数密度を輸送方程式として解く。精度が高いが、ビン数だけ追加の輸送方程式を解くため計算コストが大きい。
QMOM(McGraw, 1997)はサイズ分布を直接解かず、最初の数個のモーメント($m_0, m_1, ..., m_5$等)の輸送方程式を解く。Product-Difference Algorithm(PDA)やWheeler法で求積公式の節点と重みを決定し、合体・分裂のソース項を計算する。
Fluentでの実装
Ansys FluentではEulerian Multiphase + Population Balance Modelで利用可能だ。
| 手法 | Fluent名称 | ビン/モーメント数 |
|---|---|---|
| Discrete Method | Size Group | 10〜30ビン |
| QMOM | Quadrature MOM | 6モーメント |
| DQMOM | Direct QMOM | 2〜4環境 |
| SMM | Standard MOM | 6モーメント |
STAR-CCM+での実装
STAR-CCM+では S-Gamma モデル(Lo, 2000)が標準で、2パラメータ(平均径と分散)で分布を追跡する。計算コストが最も低いが、分布形状がガンマ分布に制約される。MUSIGも利用可能だ。
OpenFOAMでの実装
OpenFOAMでは populationBalanceModel クラスがv2006以降で利用可能だ。MUSIG(iMUSIG含む)とQMOMが実装されている。設定は constant/phaseProperties 内の populationBalanceCoeffs で行う。
QMOM vs DQMOM——モーメント法のトレードオフ
CFD-PBEの計算コストを現実的に抑えるためにモーメント法が使われます。QMOM(Quadrature Method of Moments)は分布関数を求積点で近似し、モーメント方程式のみを解くことで分布全体の時間発展を追跡します。しかし分裂・合体が複雑な系では求積点が交差する「moment inversion問題」が発生します。DQMOM(Direct QMOM)は各求積点の位置と重みを直接輸送方程式で解くことでこの問題を回避しますが、ソース項の非線形性が収束を困難にします。気泡塔CFDのベンチマークでは、QMOMとDQMOMの気泡径分布予測が10〜20%の差を持つケースが多く、モデル選択が結果に無視できない影響を与えます。
個数密度関数法(PBM)の実務適用
実践ガイド
PBM解析の手順を教えてください。
気泡塔の気泡径分布解析を例に説明しよう。
1. Euler-Euler設定: 液相(連続相)+ 気相(分散相)
2. PBM有効化: 気相にPopulation Balanceを設定
3. サイズ範囲: 最小1 mm〜最大20 mm(10〜20ビン)
4. 合体モデル: Prince-Blanch or Luo
5. 分裂モデル: Luo-Svendsen
6. 抗力: サイズ依存(各ビンの径でIshii-Zuberを適用)
7. 初期分布: 均一径 or 実験分布で初期化
8. 後処理: $d_{32}$、局所気泡径分布の時間空間変化
サイズ範囲とビン数の設定
ビン数はどのくらい必要ですか?
| 手法 | 推奨ビン/モーメント数 | 計算コスト増加 |
|---|---|---|
| MUSIG | 15〜25ビン | 輸送方程式×15〜25追加 |
| iMUSIG | 3〜5速度グループ×5〜10サイズ | 中程度 |
| QMOM | 6モーメント | 輸送方程式×6追加 |
| S-Gamma | 2パラメータ | 最小限 |
iMUSIGって何ですか?
inhomogeneous MUSIG の略で、CFX が最初に実装した手法だ。サイズグループをさらに速度グループに分け、大きな気泡と小さな気泡に異なる速度場を持たせる。Tomiyama揚力の符号反転(小気泡は壁面へ、大気泡は中心へ)を再現するのに不可欠だ。
検証のポイント
PBMの結果をどう検証しますか?
以下の実験量との比較が標準だ。
| 計測量 | 計測手法 | 備考 |
|---|---|---|
| 局所気泡径分布 | 光ファイバープローブ | 確率密度関数 |
| Sauter平均径 $d_{32}$ | 位相ドップラー法 | 径と速度同時計測 |
| ガスホールドアップ | 差圧計、ワイヤーメッシュセンサー | 断面平均・局所 |
| 気泡上昇速度 | 高速カメラ + 画像処理 | サイズ-速度相関 |
医薬品結晶化——粒径分布を設計するCFD-PBE
医薬品原薬の製造プロセスで最重要な単位操作の一つが「結晶化(Crystallization)」です。結晶の粒径分布(PSD)は溶解度・ろ過性・生体内溶解速度を決定し、最終製品の効き目に直結します。バッチ晶析槽のCFD-PBEにより、攪拌速度・温度プロファイル・種結晶量を最適化してCVが5%以内のPSDを実現した事例が報告されています。AstraZenecaは2015年以降、主要化合物の晶析条件をCFD-PBEなしに決定しない方針を社内で決定したとされており、規制申請書にもシミュレーション結果が添付されています。
個数密度関数法(PBM)のソフトウェア比較
商用ツール比較
PBMに対応しているツールを比較してください。
| ツール | PBM手法 | 合体モデル | 分裂モデル | 特徴 |
|---|---|---|---|---|
| Ansys Fluent | MUSIG, QMOM, DQMOM, SMM | Luo, Prince-Blanch | Luo-Svendsen, Laakkonen | 最多の手法選択肢 |
| STAR-CCM+ | S-Gamma, MUSIG | 標準モデル | 標準モデル | S-Gammaが軽量 |
| Ansys CFX | iMUSIG, MUSIG | Prince-Blanch | Luo-Svendsen | iMUSIGの元祖 |
| OpenFOAM | MUSIG, QMOM | 基本モデル | 基本モデル | カスタマイズ自由 |
用途別推奨
| 用途 | 推奨ツール | 理由 |
|---|---|---|
| 気泡塔リアクター | Fluent, CFX | PBM + Euler-Eulerの成熟度 |
| 乳化・分散 | Fluent | QMOM + 液液分散 |
| 晶析プロセス | Fluent (DQMOM) | 核生成 + 成長 |
| 二相流配管(ボイド分布) | CFX (iMUSIG) | 速度グループ分割 |
| 学術研究 | OpenFOAM | 新しいクロージャモデル実装 |
晶析でもPBMを使うんですね。
晶析では核生成、結晶成長、凝集、破砕がサイズ分布を決める。PBMはまさにこれらの過程を記述するための枠組みだ。Fluentの DQMOM は結晶の成長速度がサイズ依存する場合にも対応できる。
化学工学のプロセスシミュレーションでは、PBMの結果をAspen Plus等のプロセスシミュレータにフィードバックしてプラント全体の最適化を行うワークフローも確立されつつある。
gPROMS vs Fluent PBM——PBE連成シミュレーションの産業標準
Population Balance Modelingの商用エコシステムは、プロセスシミュレータ側とCFD側の二つの軸で発展しています。Process Systems EnterpriseのgPROMSはバッチ晶析・乳化プロセスのPBEを高度に実装しており、製薬業界で広く使われています。CFD側ではANSYS Fluent のPBMモジュールがQMOM/DQMOMを標準実装し、気泡塔・液液分散系のCFD-PBEが産業案件として受注されています。OpenFOAMのpopulationBalanceFoamはオープンソースとして急速に機能拡張されており、学術から産業への橋渡し役を担っています。
個数密度関数法(PBM)の先端研究
先端技術と研究動向
PBMの最新研究にはどんなものがありますか?
いくつかの方向性を見ていこう。
DNSからのクロージャモデル構築
気泡の合体・分裂過程をVOF法のDNSで直接計算し、合体効率や分裂頻度のクロージャ相関を改良する研究が進んでいる。Tryggvason et al.(Notre Dame)やLu & Tryggvason(2013)のFront-Tracking DNSが先駆的だ。
多変数PBM
サイズだけでなく他の変数も追跡できますか?
2Dや多次元のPBMとして、サイズと組成、サイズと温度、サイズと形状など複数の内部変数を同時に追跡する研究がある。晶析での結晶形状(多形)制御や、噴霧での液滴温度-サイズ結合などに応用される。ただし次元の呪いで計算コストが急増するため、QMOMやCQMOMが効率的な解法として研究されている。
機械学習による合体・分裂カーネル
DNSデータを教師データとして、合体効率や分裂頻度をニューラルネットワークで予測するモデルが提案されている。従来の経験相関では表現できない複雑なパラメータ依存性を学習できる利点がある。
LES + PBM
RANSベースのPBMではなく、LESと組み合わせて乱流の大規模構造がサイズ分布に与える影響を直接捕捉する研究が進んでいる。気泡塔の過渡的な気泡径変化や混合性能の予測精度が向上する。
LESとPBMの組み合わせは計算コストが高そうですね。
その通り。MUSIG+LESは非常に重いので、S-GammaやQMOMのような低コスト手法との組み合わせが現実的だ。
Moments Closure——PBEのクロージャー問題との格闘
PBEを解析的に扱う上での根本的困難は「クロージャー問題」です。気泡分裂頻度・合体速度をサイズの関数として定式化する際、二体以上の相関を表す高次モーメントが低次モーメント方程式に現れ、閉じた方程式系が得られません。このクロージャーには物理的仮定(Homogeneous Turbulence近似等)が必要で、その妥当性が予測精度の上限を決めます。2020年代にはデータ駆動型クロージャー(機械学習で実験データからクロージャーモデルを直接学習)の研究が急増しており、従来の半経験式に比べて予測精度が30%向上したという報告もあります。
個数密度関数法(PBM)のトラブル対応
トラブルシューティング
PBMでよくあるトラブルを教えてください。
順番に見ていこう。
1. 気泡径が実験と大きくずれる
対策:
- 合体・分裂モデルの係数を確認(デフォルト値が適切でない場合がある)
- 表面張力の値が正しいか確認(分裂頻度は表面張力に強く依存)
- 乱流散逸率 $\varepsilon$ の計算精度を確認(分裂頻度は$\varepsilon$の関数)
- メッシュ依存性を確認(粗いメッシュでは$\varepsilon$が不正確になる)
2. サイズ分布が両端に偏る
最小ビンと最大ビンに集中してしまいます…
対策:
- サイズ範囲を広げる(最小・最大が実際の分布範囲をカバーしているか確認)
- ビン数を増やしてサイズ解像度を上げる
- 合体/分裂のバランスを確認(一方が極端に強いと偏る)
3. PBM方程式の残差が収束しない
対策:
- PBMの under-relaxation を下げる(0.3〜0.5)
- まずPBMなしでEuler-Euler部分を収束させてからPBMを有効化
- 初期の気泡径分布を物理的に妥当な値で設定
- タイムステップを小さくする
4. QMOMでモーメントが非物理的になる
症状: 負のモーメントや求積公式の破綻。
対策:
- モーメントのリアライザビリティ条件を確認
- QMOMからDQMOMに切り替えて安定性を改善
- モーメントの上限・下限クリッピングを有効化
5. ツール固有の注意点
| ツール | 注意点 |
|---|---|
| Fluent | MUSIGのビン数が多いとメモリ消費が急増。QMOMの方がスケーラブル |
| CFX | iMUSIG の速度グループ数は3〜5が推奨。多すぎると不安定 |
| STAR-CCM+ | S-Gamma はガンマ分布仮定なので、二峰性分布は表現できない |
| OpenFOAM | PBMの実装はバージョンで変更が多いので、最新ドキュメントを確認 |
粒径が発散する——PBEの数値安定性問題の診断
CFD-PBEで最も厄介なのが「計算途中で気泡径や結晶サイズが非現実的な値に発散する」現象です。多くの場合、分裂・合体のカーネル関数がサイズに対して高次の依存性を持ち、大径粒子が出現すると合体速度が爆発的に増加するポジティブフィードバックが起きます。対策として粒径の上限制限子(Dmax)を設定することが応急処置ですが、この値の物理的根拠が必要です。より根本的にはモーメント法の離散化スキームを上流差分から高次精度スキームに変え、発散の「タネ」となる数値振動を抑えることが効果的です。
関連トピック
なった
詳しく
報告