[論文レビュー] Mass-conserving solutions to coagulation-fragmentation equations with non-integrable fragment distribution function

Philippe Laurençot|arXiv (Cornell University)|Apr 24, 2018

Coagulation and Flocculation Studies参考文献 38被引用数 8

ひとこと要約

本稿は、非可積分な断片分布関数を伴う凝集-断片化方程式に対して、質量を保存する弱解の存在を確立する。特に、断片化によって無限個の断片が生成される場合（例：bν(x,y) = (ν+2)x^ν/y^{ν+1} かつ ν ∈ (−2,−1]）を想定する。非可積分な断片化を扱うために、m > −1−ν である重み付きL1空間X_{m}を用い、凝集核Kと断片化率aが原点付近で十分に速く消える条件の下で存在を証明する。主な結果は、標準的なL1枠組みがbνの特異性のため失敗する状況でも、質量を保存するC([0,∞); X_{m0},w ∩ X_1,w)内での大域的弱解の構成である。

ABSTRACT

Existence of mass-conserving weak solutions to the coagulation-fragmentation equation is established when the fragmentation mechanism produces an infinite number of fragments after splitting. The coagulation kernel is assumed to increase at most linearly for large sizes and no assumption is made on the growth of the overall fragmentation rate for large sizes. However, they are both required to vanish for small sizes at a rate which is prescribed by the (non-integrable) singularity of the fragment distribution.

研究の動機と目的

• 非可積分な断片分布関数bを伴う凝集-断片化方程式に対して、質量を保存する弱解の存在を確立すること。特に、bν(x,y) = (ν+2)x^ν/y^{ν+1} かつ ν ∈ (−2,−1] の場合、分裂時に無限個の断片が生成されることを想定する。
• bνの非可積分性が標準的なL1理論の失敗を引き起こすため、重み付きL1空間X_m = L1((0,∞), x^m dx) においてm > −1−ν を満たすものに置き換えることで、解の挙動を制御すること。
• 初期データf_in ∈ X_{m0} ∩ X_1 かつ ∫ x ln(ln(x+5)) f_in(x) dx < ∞ を満たす場合、X_{m0} ∩ X_1の弱位相における大域的弱解の存在を証明すること。
• bνの特異性を補うために、凝集核Kと総合断片化率aがx→0のとき十分に速く消える必要があることを示すこと。一方で、大きなサイズでは任意の増加を許容する。
• f_in ∈ X_m かつ m > 1 ならば、すべてのT > 0に対してf ∈ L∞(0,T; X_m) が成り立つように、高次モーメントの伝播を示すこと。

提案手法

• 証明は切断法を用いる。適切な関数空間において、凝集-断片化方程式の正則化版を構築し、Banachの不動点定理を用いて適切に定式化する。
• X_{m0}における弱コンパクト性は、x^{m0}f_jのL1ノルムの一様有界性と時間に関する等連続性に依存し、時間正則性推定と大きなサイズにおける減衰制御を用いる。
• 弱位相におけるX_{m0}のArzelà-Ascoli定理の変種を用いてコンパクト性を導出し、対角線列の議論により極限関数f ∈ C([0,∞); X_{m0},w ∩ X_1,w) を抽出する。
• 極限関数fが元の方程式の弱形式を満たすことを、切断された方程式における極限操作により示す。これは、断片化項の一様可積分性と無限遠における挙動の制御に依存する。
• 質量保存の証明は、X_1における弱収束と、M_1(f_j(t))が一様有界かつM_1(f_in)に収束することに依存する。
• 重み関数ξ(x) = max{x^{m0}, x^{1+δ}} を用いた相対エントロピー型の議論により、Gronwallの補題を用いて微分不等式を解くことで、一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非可積分な断片分布関数bを伴う凝集-断片化方程式に対して、bν(x,y) = (ν+2)x^ν/y^{ν+1} かつ ν ∈ (−2,−1] のような場合に、質量を保存する弱解が存在しうるか？
• RQ2 bが非可積分な場合に適切な関数的枠組みは何か？標準的なL1枠組みは重み付きL1空間X_mに置き換えられるか？
• RQ3 bが非可積分な特異性を持つ場合に、凝集核Kと総合断片化率aは原点付近でどのように振る舞う必要があるか？
• RQ4 断片化プロセスが無限個の断片を生成し、標準的な可積分性仮定が成立しない状況でも、質量を保存する大域的弱解を構成することは可能か？
• RQ5 同じ仮定のもとで高次モーメントを時間的に伝播させることは可能か？また、解がすべてのT > 0に対してL∞(0,T; X_m) に属するためにはどのような条件が必要か？

主な発見

• 本稿では、f_in ∈ X_{m0} ∩ X_1 かつ ∫ x ln(ln(x+5)) f_in(x) dx < ∞ を満たす場合、非可積分なbνを伴う凝集-断片化方程式に対して、少なくとも1つの弱解f ∈ C([0,∞); X_{m0},w ∩ X_1,w) の存在を確立する。
• 解fは質量を保存する：すべてのt ≥ 0に対してM_1(f(t)) = M_1(f_in) が成り立つ。これは、bνの非可積分性のため標準的なL1空間が不十分であるにもかかわらず成立する。
• 初期データf_in ∈ X_m かつあるm > 1 を満たす場合、すべてのT > 0に対して解f ∈ L∞(0,T; X_m) が成り立つ。これは高次モーメントの伝播を示している。
• 凝集核Kと断片化率aは、x→0のときbνの特異性と整合する速度で消える必要がある。具体的には、K(x,y) ≤ K_0(2+x+y) およびa(x) ≤ A_R x^{m_0 + ν + 1} （xが小さいとき）を満たし、m_0 > −1−ν である。
• 重み関数ξ(x) = max{x^{m_0}, x^{1+δ}} を用いた重み付きL1推定とGronwallの不等式を用いて、有限なm_0および2+δモーメントを持つ関数のクラスにおいて、解の一意性が証明された。
• 証明は、∫_T^0 ∫_R^∞ a(x)f_j(s,x) dx ds → 0 （R→∞のとき）という、無限遠における断片化項の一様制御に依存しており、弱形式における極限操作を可能にする。