[論文レビュー] A revised proof of uniqueness of self-similar profiles to Smoluchowski's coagulation equation for kernels close to constant

Barbara Niethammer, Sebastian Throm+1 more|arXiv (Cornell University)|Oct 12, 2015

Stochastic processes and statistical mechanics参考文献 5被引用数 5

ひとこと要約

本稿は、定数に近い核を持つスモラフソフの凝集体方程式について、同次型が0次であり、解析的仮定のもとで、自己相似的プロファイルの一意性について、修正され完全な証明を提供する。ラプラス変換技術と摂動解析を用いて、定数核の十分小さな摂動について一意性を確立し、以前の証明における欠落を補い、物理的に重要な核の広いクラスへと結果を拡張する。

ABSTRACT

In this article we correct the proof of a uniqueness result for self-similar solutions to Smoluchowski's coagulation equation for kernels $K=K(x,y)$ that are homogeneous of degree zero and close to constant in the sense that \begin{equation*} -\varepsilon \leq K(x,y)-2 \leq \varepsilon \left( \Big(\frac{x}{y}\Big)^α + \Big(\frac{y}{x}\Big)^α ight) \end{equation*} for $α\in [0,\frac 1 2)$. Assuming in addition that $K$ has an analytic extension to $\mathbb{C}\setminus(-\infty,0]$ and prescribing the precise asymptotic behaviour of $K$ at the origin, we prove that self-similar solutions with given mass are unique if $\varepsilon$ is sufficiently small.

研究の動機と目的

• 核が定数に近いスモラフソフの凝集体方程式の自己相似解の一意性に関する、以前の証明における重大な欠落を是正すること。
• 核が0次同次かつ特定の重み付きノルムで定数核に近い場合に、有限質量を持つ自己相似的プロファイルの一意性を確立すること。
• 核の摂動が解析的かつ有界である条件のもとで一意性を証明すること、特に0次同次かつ $\alpha \in [0, \frac{1}{2})$ の核に対して。
• 古典的3次元凝集体核など、解けない可能性のある核に対しても、一意性結果の適用範囲を拡張すること。

提案手法

• 自己相似的プロファイルのスケーリングアンザッツ $\phi(\xi,t) = t^{-2}f(\xi/t)$ を用いて、凝集体方程式を積分方程式に変換する。
• プロファイル $f$ のラプラス変換を用いて、積分方程式をラプラス変数 $p$ における微分方程式に変換する。
• 核を $K = 2 + \varepsilon W$ と書き、$W$ が $x/y$ および $y/x$ のべき関数で有界であることを仮定して摂動解析を適用する。
• 関数 $W(\cdot,1)$ が $\mathbb{C} \setminus (-\infty,0]$ で解析的であり、有界であることを用いて、摂動項のラプラス変換を制御する。
• 2つの候補プロファイル間の差 $m = \mu - c_\varepsilon$ について線形化方程式を導出し、$p$ に依存する境界を用いて $L^1$ および重み付き $L^1$ ノルムを推定する。
• 得られた微分方程式 $M'(p) + \frac{2c_\varepsilon}{p}M(p) = R(p)$ と可積分性の議論を用いて、$\varepsilon$ が十分小さいとき $m = 0$ を示し、一意性を導く。

実験結果

リサーチクエスチョン

• RQ1 核が定数核の小さな摂動である場合、スモラフソフの凝集体方程式の自己相似的プロファイルは一意のままであるか？
• RQ2 核が0次同次かつ定数に近く、解析的および成長条件を満たす場合、一意性結果は厳密に確立可能か？
• RQ3 パrameter $\alpha \in [0, \frac{1}{2})$ は、自己相似的解の一意性を保証するために果たす役割は何か？
• RQ4 ラプラス変換と摂動技法を用いて、以前の証明における欠落をどのように是正できるか？

主な発見

• 核 $K$ が0次同次であり、$|K(x,y) - 2| \leq \varepsilon \left( (x/y)^\alpha + (y/x)^\alpha \right)$ かつ $\alpha \in [0, \frac{1}{2})$ を満たす場合、有限質量を持つ自己相似的プロファイルは一意である。
• $K$ が $\mathbb{C} \setminus (-\infty, 0]$ に解析的拡張を持ち、$W$ について示された成長および正値性の境界を満たす限り、十分小さい $\varepsilon > 0$ に対して一意性が成り立つ。
• 2つの自己相似的プロファイルが同じ質量を持つ場合、それらは同一であることを示し、差 $m = \mu - c_\varepsilon$ が $\varepsilon \to 0$ の極限で消えることを証明することで、一意性を確立した。
• ラプラス変換法により、$R(p)$ の境界を用いて摂動項を制御でき、$\|m\|_{(0)} \leq C\delta \|m\|_{(0)}$ が得られ、$\delta \to 0$ として $\varepsilon \to 0$ のとき $m = 0$ を強制する。
• この結果により、この核のクラスについての動的スケーリング仮説が裏付けられ、$t \to \infty$ のとき、解が一意の自己相似的プロファイルに収束することが示された。