[論文レビュー] A bound from below on the temperature for the Navier-Stokes-Fourier system

Eric Baer, Alexis Vasseur|arXiv (Cornell University)|Nov 5, 2014

Navier-Stokes equation solutions参考文献 16被引用数 5

ひとこと要約

本稿では、非線形圧力依存性を有する圧縮性ナビエ＝ストークス＝フォーリエ系の弱解に対して、局所的エントロピー不等式と修正されたデ・ジョルジ反復法を用いて、一様な温度下界を確立する。主な結果は、圧力が温度に関して線形でない場合でも、物理的に妥当な仮定のもとで、空間的・時間的に温度がゼロから一様に離れていることである。

ABSTRACT

We give a uniform bound from below on the temperature for a variant of the compressible Navier-Stokes-Fourier system, under suitable hypotheses. This system of equations forms a mathematical model of the motion of a compressible fluid subject to heat conduction. Building upon the work of [16], we identify a class of weak solutions satisfying a localized form of the entropy inequality (adapted to measure the set where the temperature becomes small) and use a form of the De Giorgi argument for $L^\infty$ bounds of solutions to elliptic equations with bounded measurable coefficients.

研究の動機と目的

• 圧力が温度に関して線形でない場合の圧縮性ナビエ＝ストークス＝フォーリエ系へのL∞バインディングのデ・ジョルジ法の拡張を目的とする。
• 物理的に妥当な状態方程式のもとで、弱解の温度に対して一様な下界を確立することを目的とする。
• 従来の結果では圧力が線形であることを仮定していたが、より一般的で熱力学的に整合性のあるモデルへの一般化を目的とする。
• 局所的エントロピー不等式を満たす弱解のクラスを特定し、これによりデ・ジョルジ法の適用が可能となるようにすることを目的とする。
• このような解に対して、空間的・時間的に温度がゼロから一様に離れていることを証明することを目的とする。

提案手法

• 有界可測係数をもつ楕円型方程式に対するデ・ジョルジ反復技法を、時間に依存するナビエ＝ストークス＝フォーリエ系に適応する。
• 温度がゼロに近づく際の成長を制御するため、エントロピー不等式（不等式14）の局所的形を用いる。
• 温度の下界を逐次的に伝播させるために、チェビシェフの不等式に基づく非線形反復スキームを適用する。
• エントロピー差を測るための重み関数W(θ, Ck, ‖ρ‖L∞)を導入し、低温領域におけるエネルギー散逸を制御する。
• 温度の下界を段階的に改善するための切り上げレベル（Ck）の系列を用いる。
• 密度の有界性および初期温度がゼロから離れていることを利用して、応力テンソルSのわずかな非線形成長に対処する。

実験結果

リサーチクエスチョン

• RQ1 圧力が温度に関して線形でない場合に、圧縮性ナビエ＝ストークス＝フォーリエ系の弱解に対して一様な温度下界を確立できるか？
• RQ2 エントロピーおよび圧力の非線形法則を有する系に対して、デ・ジョルジ法をどのように適応できるか？
• RQ3 どの弱解のクラスが、温度の下界を制御するための局所的エントロピー不等式の適用を可能にするか？
• RQ4 密度の有界性および初期温度のゼロからの離隔が、線形圧力モデルを超える方法の拡張に果たす役割は何か？
• RQ5 物理的に妥当な状態方程式および弱解の仮定のもとで、温度が空間的・時間的に一様にゼロから離れているか？

主な発見

• 任意のτ ∈ (0, T)に対して、ητ,T > 0が存在し、τ < t < Tおよびほとんど everywhere x ∈ Ωに対してθ(t, x) ≥ ητ,Tが almost everywhere で成り立つ。これにより、温度に対して一様な下界が確立される。
• この結果は、初期密度および初期速度がρ ∈ L∞(0,T;Lω(Ω))（ω > 3）およびu ∈ L²(0,T;H¹₀(Ω))を満たすという仮定のもとで成り立つ。
• 温度の下界は、局所的エントロピー不等式とチェビシェフの不等式に依存するデ・ジョルジ型反復によって確立される。
• 密度が有界であり、初期温度がゼロから離れている場合には、より強い結果が得られる：すべてのt ∈ [0,T]およびほとんど everywhere x ∈ Ωに対してθ(t,x) ≥ ηT > 0が成り立つ。
• 証明は、温度が閾値以下に低下すると、エントロピー収支および質量保存則が満たされないため、温度が下限で有界でなければならないことを示している。
• 応力テンソルSがわずかに非線形成長を示す場合でも、初期温度がゼロから離れている限り、この方法は適用可能である。