[論文レビュー] On Existence of $L^2$-solutions of Coupled Boltzmann Continuous Slowing Down Transport Equation System

Jani Tervo, Petri Kokkonen+2 more|arXiv (Cornell University)|Mar 17, 2016

Gas Dynamics and Kinetic Theory参考文献 45被引用数 4

ひとこと要約

本稿は、放射線治療における荷電粒子輸送をモデル化する、連立連続的減速近似（CSDA）ボルツマン輸送方程式のL²解の存在および一意性を確立する。変分法、半群論、m-発散的作用素の手法を用いて、L²型空間における弱解の存在を証明し、事前推定式を導出し、解の正値性を保証する。これは、正確な線量計算に不可欠な微分断面積における超特異性を扱うものである。

ABSTRACT

The paper considers a coupled system of linear Boltzmann transport equations (BTE), and its Continuous Slowing Down Approximation (CSDA). This system can be used to model the relevant transport of particles used e.g. in dose calculation in radiation therapy. The evolution of charged particles (e.g. electrons and positrons) are in practice often modelled using the CSDA version of BTE because of the so-called forward peakedness of scattering events contributing to the particle fluencies (or particle densities), which causes severe problems in numerical methods. We shall find, after the preliminary treatments, that for some interactions CSDA-type modelling is actually necessary due to hyper-singularities in the differential cross-sections of certain interactions, that is, first or second order partial derivatives with respect to energy and angle must be included into the transport part of charged particles. The existence and uniqueness of (weak) solutions is shown, under sufficient criteria and in appropriate $L^2$-based spaces, for a single (particle) CSDA-equation by using three techniques, the Lions-Lax-Milgram Theorem (variational approach), the theory of $m$-dissipative operators and the theory evolution operators (semigroup approach). The due a priori estimates are derived and the positivity of solutions are retrieved. In addition, we prove the corresponding results and estimates for the system of coupled transport equations. The related existence results are given for the adjoint problem as well. We also give some computational points (e.g. certain explicit formulas), and we outline a related inverse problem at the end of the paper.

研究の動機と目的

• 荷電粒子の線形ボルツマン輸送方程式（BTE）の連続的減速近似（CSDA）に対する弱L²解の数学的存在および一意性を確立すること。
• 前向きに鋭い散乱に起因する、CSDAモデル化を必要とする微分断面積における超特異性を扱うこと。
• 線量計算において重要な、光子、電子、陽電子の3つのCSDA-BTEの連立系への存在結果の拡張。
• L²フレームワーク内での事前推定式の導出および解の正値性の証明。
• 随伴問題の存在結果の提示および、放射線治療における関連逆問題の概要

提案手法

• Lions-Lax-Milgramの定理を適用し、L²型関数空間における変分定式化を用いて存在および一意性を証明する。
• m-発散的作用素の理論を用いて、ヒルベルト空間設定下での輸送問題の適切な定式化を確立する。
• 半群論（時間発展作用素）を用いて時間依存解を解析し、事前推定式を導出する。
• 双線形型の推定式を導出し、Ceaの推定式を適用して、混合ノルムソボレフ空間における有限要素法（FEM）の収束性を検証する。
• SO(3)上での群論的技法およびハア測度を用いて、境界積分推定に不可欠な幾何的恒等式を証明する。
• 不変測度を用いた球面上の面積分とSO(3)上での積分との間の関係を確立し、解析における重要なトレース推定式を可能にする。

実験結果

リサーチクエスチョン

• RQ1 単一のCSDA-Boltzmann方程式に対して、弱L²解が存在する条件は何か？
• RQ2 微分断面積における超特異性は、荷電粒子輸送におけるCSDAの正当化に不可欠なため、数学的にどのように取り扱えるか？
• RQ3 解の存在、一意性、正値性を保証する適切な関数空間および推定式は何か？
• RQ4 単一方程式の存在理論を、光子、電子、陽電子の3つのCSDA-BTEの連立系へどのように拡張できるか？
• RQ5 逆放射線治療の文脈において、随伴問題の役割は何か？同様の存在結果が得られるか？

主な発見

• 変分法、半群論、m-発散的作用素の3つの独立した手法を用いて、単一CSDA-Boltzmann方程式に対する弱L²解の存在および一意性が証明された。
• 有限要素法（FEM）が混合ノルムソボレフ空間で収束するための安定性と収束性を保証する事前推定式が導出された。
• 物理的整合性が線量計算に不可欠であるため、解の正値性が厳密に保証された。
• 光子、電子、陽電子の3つのCSDA-BTEの連立系に対しても、十分な条件下で存在および一意性が確立された。
• 随伴問題に対しても同様の存在結果が示され、逆問題の定式化への可能性を支持する。
• ハア測度の不変性を用いて、SO(3)上での積分と球面上の積分との間の幾何的恒等式を厳密に証明した。この恒等式は、解析における重要なトレース推定式の基盤をなす。