[論文レビュー] Self-similar solutions with fat tails for Smoluchowski's coagulation equation with singular kernels

Barbara Niethammer, Sebastian Throm+1 more|arXiv (Cornell University)|Nov 6, 2014

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 4

ひとこと要約

本稿は、$ C_1(x^{-a}y^b + x^b y^{-a}) \leq K(x,y) \leq C_2(x^{-a}y^b + x^b y^{-a}) $ を満たす正則で同次的な核 $ K(x,y) $ を持つスモリューチョフの凝集体積方程式に対して、重い尾を持つ自己相似解の存在を確立する。$ a > 0 $、$ b < 1 $ であり、スモリューチョフの古典的核を含む。著者らは $ K_\varepsilon $ を用いた正則化手法を用い、解 $ h_\varepsilon $ を構築し、$ \varepsilon \to 0 $ の極限に移行する。存在性は、特別に選ばれたテスト関数を用いた双対問題から得られる一様な下界を介して証明される。

ABSTRACT

We show the existence of self-similar solutions with fat tails for Smoluchowski's coagulation equation for homogeneous kernels satisfying $C_1 \left(x^{-a}y^{b}+x^{b}y^{-a} ight)\leq K\left(x,y ight)\leq C_2\left(x^{-a}y^{b}+x^{b}y^{-a} ight)$ with $a&gt;0$ and $b&lt;1$. This covers especially the case of Smoluchowski's classical kernel $K(x,y)=(x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3})$. For the proof of existence we first consider some regularized kernel $K_ε$ for which we construct a sequence of solutions $h_ε$. In a second step we pass to the limit $ε o 0$ to obtain a solution for the original kernel $K$. The main difficulty is to establish a uniform lower bound on $h_ε$. The basic idea for this is to consider the time-dependent problem and choosing a special test function that solves the dual problem.

研究の動機と目的

• スモリューチョフの凝集体積方程式に対して、重い尾を持つ自己相似解の存在を確立すること。
• 従来、有界核に限られていた重い尾解の結果を、$ K(x,y) = (x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3}) $ のような特異核へと拡張すること。
• 正則化された解 $ h_\varepsilon $ に対して一様な下界を示すという挑戦に直面するが、これは $ \varepsilon \to 0 $ の極限に移行するための鍵となる。
• 時間依存問題と特別に構築されたテスト関数を解く双対問題を用いる、革新的な技術を開発し、必要な下界を導出すること。

提案手法

• 特異核 $ K $ を $ K_\varepsilon $ に正則化し、$ C^1 $ の正則性を保ちつつ、同次性と有界性を維持する。
• 初期データ $ h_0 $ を用いて時間依存方程式 (6) の解 $ h_\varepsilon $ を構築し、対数時間における時間発展方程式を用いる。
• 単量体密度 $ h(x,t) = xg(x,t) $ を導入し、自己相似方程式を発散型形式 (5) に再定式化し、これにより時間依存方程式 (6) を得る。
• 双対問題の手法を用いる：随伴方程式を満たすテスト関数を選択し、$ h_\varepsilon $ に対する一様な下界を導出する。これはコンパクト性を保証する上で不可欠である。
• $ \varepsilon \to 0 $ の極限に移行する際、弱収束と一様な有界性を用い、元の方程式 (5) の解 $ h $ を得る。
• 核の成長条件を仮定したもとで、$ h(x) \sim Cx^{-\rho} $ として $ x \to \infty $ のときの重い尾の振る舞いを示す。ここで $ \rho = \gamma + 1/\beta $ である。

実験結果

リサーチクエスチョン

• RQ1 スモリューチョフの凝集体積方程式に対して、$ K(x,y) \sim x^{-a}y^b + x^b y^{-a} $ の形をした特異核 $ K(x,y) $ を持つ自己相似解が重い尾を持つものとして存在するか？
• RQ2 有界核に限られていた存在証明を、特に $ K(x,y) = (x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3}) $ のような古典的核へと拡張できるか？
• RQ3 特異な場合において、$ \varepsilon \to 0 $ に移行するために不可欠な正則化解 $ h_\varepsilon $ に対して一様な下界を保証する技術は何か？
• RQ4 特異な状態では点での制御が不可能であるが、双対問題をどのように活用して $ h_\varepsilon $ に対する下界を導出できるか？

主な発見

• 本稿は、$ C_1(x^{-a}y^b + x^b y^{-a}) \leq K(x,y) \leq C_2(x^{-a}y^b + x^b y^{-a}) $ を満たす正則で同次的な核 $ K(x,y) $ を持つ、広範なクラスの特異核に対して、重い尾を持つ自己相似解の存在を証明する。ここで $ a > 0 $、$ b < 1 $ である。
• この結果は、$ K(x,y) = (x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3}) $ であるスモリューチョフの古典的核を含み、研究対象の特異核のクラスに含まれる。
• 主な技術的貢献は、特別に選ばれたテスト関数を用いた双対問題から得られる、正則化解 $ h_\varepsilon $ に対する一様な下界の構築である。
• 著者らは、分布的意味での自己相似方程式 (5) の解 $ h $ の存在を確立し、$ x \to \infty $ のときの必要な重い尾の減衰 $ h(x) \sim Cx^{-\rho} $ を満たすことを示した。
• 証明は正則化手順と弱コンパクトネスに依存しており、$ \varepsilon \to 0 $ のとき $ h_\varepsilon $ が $ h $ に収束することを保証し、解が重い尾の性質を引き継ぐことを示した。
• この手法は、標準的手法が積分可能性や下界の欠如により失敗する非可解で特異な核へと存在結果を拡張するためのフレームワークを提供する。