[論文レビュー] Radon measure-valued solutions of first order hyperbolic conservation laws

Michiel Bertsch, Flavia Smarrazzo+2 more|arXiv (Cornell University)|Mar 27, 2018

Navier-Stokes equation solutions参考文献 8被引用数 3

ひとこと要約

本稿は、非負のRadon測度値初期データを伴う一次保存則のエントロピー解の存在および一意性を確立する。測度値エントロピー定式化を導入し、解の特異部が特性曲線に沿って連続的に進化することを証明する。鋭い二分法が成立する：$φ$ の無限大における漸近的挙動に応じて、解は即座に $ L^1 $ 関数に正則化される（$φ$ が部分線形の場合）か、特異性が無期限に持続される（例：線形の場合 $φ(u)=u$）。

ABSTRACT

We study nonnegative solutions of the Cauchy problem $$ \begin{cases} u_t+[φ(u)]_x=0 & ext{in } \mathbb{R} imes (0,T) \\ u=u_0\ge 0& ext{in } \mathbb{R} imes \{0\}, \end{cases} $$ where $u_0$ is a Radon measure and $φ:[0,\infty)\mapsto \mathbb{R}$ is a globally Lipschitz continuous function. We construct suitably defined entropy solutions in the space of Radon measures. Under some additional conditions on $φ$, we prove their uniqueness if the singular part of $u_0$ is a finite superposition of Dirac masses. In terms of the behaviour of $φ$ at infinity we give criteria to distinguish two cases: either all solutions are function-valued for positive times (an instantaneous regularizing effect), or the singular parts of certain solutions persist until some positive {\em waiting time} (in the linear case $φ(u)=u$ this happens for all times). In the latter case we describe the evolution of the singular parts.

研究の動機と目的

• 初期データが非負で有限なRadon測度である場合の一次双曲的保存則に対するエントロピー解の定義と構成。
• 解の特異部の時間的進化、特にその持続または消滅の分析。
• 特に初期特異部が有限個のDirac質量の重ね合わせである場合に、フラックス関数 $φ$ に特定の条件を課したもとでのエントロピー解の一意性の確立。
• $φ$ の漸近的挙動に基づいて二つの解の状態に分類すること：即座に $L^1$ 関数に正則化されるか、正の時間において特異性が持続するか。
• 滑らかな初期データによる一貫した近似手続きを提供し、それが測度値エントロピー解に収束することを示す。

提案手法

• 測度値エントロピー解は、テスト関数 $ξ$ と双対性ペアリング $\langle u_s(\cdot,t), \xi_\nu \rangle_{\mathbb{R}}$ を含む弱定式化により定義される。ここで $\xi_\nu = \xi_t + C_\varphi \xi_x$ かつ $C_\varphi = \lim_{u\to\infty} \varphi(u)/u$ である。
• Diracデルタに収束する滑らかな初期データを用いた近似手続きを採用し、$n \to \infty$ の極限で解を構成する。
• 解の特異部は特性 $x = x_0 + C_\varphi t$ に沿って非増加であり、$C_\varphi = 0$ の場合には等号が成り立つ。
• 相対エントロピーの議論を用いて一意性を証明し、同じ初期データを持つ二つのエントロピー解が空間時間で almost everywhere で一致することを示す。
• 証明は比較原理に依拠し、絶対連続部 $u_r$ がRadon測度の空間値で時間に関して連続であるという事実にも依存する。
• 具体的な例（例えば $\varphi(u) = \text{sgn}(p)[(1+u)^p - 1]$、$p < 1$）を通じて構成の妥当性を検証し、解が明示的に計算され、エントロピー解として正当化されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 フラックス関数 $\varphi$ がどのような条件下で、双曲的保存則の解が $t > 0$ で即座に正則化（すなわち $L^1$-値）されるか。
• RQ2 解の特異部がすべての正の時間にわたり持続する条件は何か。また、特性曲線に沿ってどのように進化するか。
• RQ3 初期データが有限個のDirac質量の重ね合わせである場合、測度値エントロピー解は一意的か。
• RQ4 $\varphi(u)$ の無限大における漸近的挙動が、特異性が即座に正則化されるか、それとも持続するかをどのように決定するか。
• RQ5 滑らかな初期データからの一貫した近似スキームにより解が構成可能か。

主な発見

• 部分線形フラックス関数（$C_\varphi = 0$）の場合、例として $\varphi(u) = \text{sgn}(p)[(1+u)^p - 1]$（$p < 1$）、解は即座に正則化され、$t > 0$ では特異部が消滅する。
• 線形の場合 $\varphi(u) = u$（$C_\varphi = 1$）では、特異部はすべての $t > 0$ で持続し、解はすべての正の時間で測度のままである。
• $φ$ が凹かつ部分線形（$p < 1$, $p \neq 0$）の場合、解は特異部が消滅するまでの待機時間 $t_0$ を示し、その後に制御された方法で進化する。
• $p < 0$ の場合、特異部は $\max\{1-t, 0\}\delta_0$ であり、$t = 1$ で消滅する。一方、正則部は明示的に $[(|p|tx^{-1})^{1/(1-p)} - 1]\chi_A$ で与えられる。
• $0 < p < 1$ の場合、解は完全に正則であり、$u(x,t) = [(|p|tx^{-1})^{1/(1-p)} - 1]\chi_B$ で与えられ、$t > 0$ では特異部は存在せず、待機時間 $t_0 = 0$ である。
• 初期データが有限個のDirac質量の重ね合わせであり、$φ$ が特定の凹性および増大度条件を満たす場合、エントロピー解の一意性が確立される。