[論文レビュー] Distribution of Energy and Convergence to Equilibria in Extended Dissipative Systems

Thierry Gallay, Siniša Slijepčević|arXiv (Cornell University)|Dec 7, 2012

Stability and Controllability of Differential Equations参考文献 16被引用数 5

ひとこと要約

本稿は、局所的エネルギー散逸則 $ partial_t e = \mathrm{div}_x f - d$ に従う拡張された散乱系における時間積分エネルギー流束の普遍的上限を確立する。$N \leq 2$ の場合、相対的にコンパクトな軌道が平均的に平衡状態の集合に収束することを証明し、$ mathbb{R} \times \mathbb{T}$ におけるナビエ＝ストークス方程式に応用することで、時間平均化の下で大規模な部分領域で渦度が一様にゼロに収束することを示す。

ABSTRACT

We are interested in understanding the dynamics of dissipative partial differential equations on unbounded spatial domains. We consider systems for which the energy density $e \ge 0$ satisfies an evolution law of the form $\partial_t e = div_x f - d$, where $-f$ is the energy flux and $d \ge 0$ the energy dissipation rate. We also suppose that $|f|^2 \le b(e)d$ for some nonnegative function $b$. Under these assumptions we establish simple and universal bounds on the time-integrated energy flux, which in turn allow us to estimate the amount of energy that is dissipated in a given domain over a long interval of time. In low space dimensions $N \le 2$, we deduce that any relatively compact trajectory converges on average to the set of equilibria, in a sense that we quantify precisely. As an application, we consider the incompressible Navier-Stokes equation in the infinite cylinder $\R imes \T$, and for solutions that are merely bounded we prove that the vorticity converges uniformly to zero on large subdomains, if we disregard a small subset of the time interval.

研究の動機と目的

• 非有界領域におけるエネルギー保存が成り立たない散乱PDEの長時間ダイナミクスを理解すること。
• グローバルなラプラシアン関数が存在しない状況下でも解が平衡状態に収束する条件を特定すること。
• 反応拡散方程式や減衰波動方程式に関する先行研究を、局所的エネルギー散逸を有する広範な系クラスに一般化すること。
• コンパクト空間領域における時間平均的挙動に基づいて、平衡状態への収束を定量的に評価すること。
• 抽象的枠組みを $ mathbb{R} \times \mathbb{T}$ における非圧縮性ナビエ＝ストークス方程式に適用し、時間平均化の下で大規模な部分領域で一様に渦度が消滅することを証明すること。

提案手法

• エネルギー保存則を $\partial_t e = \mathrm{div}_x f - d$ として形式化し、$e \geq 0$、$f$ をエネルギー流束、$d \geq 0$ を散逸率とする。
• 古典的形 $|f|^2 \leq C e d$ を一般化し、非負関数 $b$ を用いて $|f|^2 \leq b(e)d$ という構造的条件を課す。
• 空間領域における時間積分エネルギー流束の普遍的かつモデルに依存しない上限を導出する。
• これらの上限を用いて、長時間間隔およびコンパクト空間領域におけるエネルギー散逸を推定する。
• 特にエネルギー流束の径対称プロファイルに関して、ODE比較技法を用いて解の漸近的挙動を分析する。
• 方程式 $h' = 2h^2 - \frac{N-1}{r}h + \frac{N-1}{r^2}$ の解の一意性と閾値的挙動を確立し、修正ベッセル関数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非有界領域における散乱系が、全エネルギーが保存されない場合でも、どのような条件下で平衡状態に収束するか？
• RQ2 グローバルエネルギー減衰に依存せずに、拡張された散乱系における時間積分エネルギー流束をどのように上限付けることができるか？
• RQ3 空間次元 $N$ がこのような系の長時間ダイナミクスに果たす役割は何か。特に $N \leq 2$ と $N > 2$ の区別にどのように寄与するか？
• RQ4 抽象的枠組みを $ mathbb{R} \times \mathbb{T}$ における非圧縮性ナビエ＝ストークス方程式に適用し、渦度がゼロに収束することを導けるか？
• RQ5 径対称におけるエネルギー流束プロファイルの正確な漸近的挙動は何か。また、それがグローバル解の性質をどのように決定するか？

主な発見

• $N \leq 2$ の場合、任意の相対的にコンパクトな軌道は、コンパクト空間集合上で一様に平均的に平衡状態の集合に収束する。
• 条件 $|f|^2 \leq b(e)d$ の下で、時間積分エネルギー流束は、特定の系に依存せず普遍的に上限を持つ。
• $N=2$ の場合、径方向エネルギー流束プロファイル $h_N(r)$ は $r \to 0^+$ で $h_2(r) \sim r \log(1/r)$ を満たし、明示的な対数補正が存在する。
• 方程式 $h' = 2h^2 - \frac{N-1}{r}h + \frac{N-1}{r^2}$ の唯一の正の解は $h_N(r) = \frac{K_{N/2}(r)}{K_{N/2 - 1}(r)}$ で、流束が修正ベッセル関数と関連づけられる。
• $h_N$ より上または下から出発するODEの解は、有限の $r$ で発散するか符号を変えるため、正のグローバル解の一意性が証明される。
• $\mathbb{R} \times \mathbb{T}$ における非圧縮性ナビエ＝ストークス方程式において、有界解は時間平均化の下で、大規模な部分領域で $\|\omega(t)\|_{L^\infty} \to 0$ が一様に成り立ち、点での収束が失敗しても成立する。