[論文レビュー] Rigorous numerics for PDEs with indefinite tail: existence of a periodic solution of the Boussinesq equation with time-dependent forcing

Aleksander Czechowski, Piotr Zgliczyński|arXiv (Cornell University)|Apr 17, 2015

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

ひとこと要約

この論文は、時間に依存する外力が作用する、滑らかで古典的で周期的な解が存在することを、厳密数値計算を用いて、病的な（正則化効果の欠如による）ボウシネスク方程式に対して確立している。ガラーキン射影における自己一貫的境界と周期的隔離セグメントを構築することで、特定のパラメータ領域においてこのような解の存在を証明し、解のノルムとフーリエモードにおける減衰率についての境界も得ている。

ABSTRACT

We consider the Boussinesq PDE perturbed by a time-dependent forcing. Even though there is no smoothing effect for arbitrary smooth initial data, we are able to apply the method of self-consistent bounds to deduce the existence of smooth classical periodic solutions in the vicinity of 0. The proof is non-perturbative and relies on construction of periodic isolating segments in the Galerkin projections.

研究の動機と目的

• 正則化効果の欠如による病的な性質を有するボウシネスク方程式に対して、時間周期的で滑らかで古典的な解の存在を確立すること。
• 従来、散乱型偏微分方程式に適用されてきた厳密数値補助法を、尾部に不定性（不安定・安定両方の方向性を有する）を有する系、特に両方の強い反発的・吸引的方向が存在する系へと拡張すること。
• ガラーキン射影における周期的隔離セグメントに基づく位相的アプローチを新たに開発・適用し、非斉次的・病的な偏微分方程式における周期的解の存在を証明すること。
• βおよびεを含むパラメータ範囲において、解のノルムとフーリエモードにおける減衰率について、明示的かつ検証可能な境界を提供すること。

提案手法

• PDEを有限次元系に縮小するためにガラーキン射影を用い、その後区間演算を用いて自己一貫的境界を構築する。
• 位相的議論により周期的隔離セグメントを構成できる形に変数変換を施す。
• 射影された位相空間における周期的軌道の分離を確認するため、不等式 (61) と (35) を区間演算で検証する。
• 解のフーリエ係数に対しては6次多項式減衰率を、時間微分に対しては4次多項式減衰率を用い、空間的滑らかさを保証する。
• 非摂動的かつ、ベクトル場の流れにおける位相的不変性を活用することで、ボウシネスク方程式のような不定尾部を有する系に対しても適用可能である。
• 計算はCAPDパッケージを用い、区間演算により厳密な誤差制御と検証可能な境界を確保する。

実験結果

リサーチクエスチョン

• RQ1 正則化効果の欠如する病的な偏微分方程式において、厳密数値計算を用いて周期的解の存在を証明することは可能か？
• RQ2 周期的隔離セグメントの手法は、ボウシネスク方程式のような時間に依存する外力が作用する系を含む、不定尾部を有する系へと拡張可能か？
• RQ3 このような系における周期的解について、解のノルムとフーリエ減衰率の検証可能な境界を計算可能か？
• RQ4 非摂動的アプローチにより、強制ボウシネスク方程式に対して滑らかで古典的な解の存在を確立することは可能か？

主な発見

• σ = 3、τ > 0、f(t,x) ∈ ℱₜᴬ ∪ ℱₜᴮ のとき、β = 1.5、1.75、2.5 に対してそれぞれ ε ∈ [-0.05, 0.05]、[-0.1, 0.1]、[-0.3, 0.3] の範囲で、古典的τ周期的解が存在する。
• β = 1.5 および f ∈ ℱₜᴬ の場合、解は ||u(t,·)||_{L²} ≤ 0.28862115 および ||u(t,·)||_{C⁰} ≤ 0.12440683 を満たす。
• β = 2.5 および f ∈ ℱₜᴮ の場合、解は ||u(t,·)||_{L²} ≤ 0.84724825 および ||uₜ(t,·)||_{C⁰} ≤ 1.4795576 を満たす。
• 解は空間的C⁴滑らかさと時間的C²滑らかさを持ち、フーリエ係数はuに対してO(1/k⁶)、uₜに対してO(1/k⁴)の速度で減衰する。
• 存在証明は非摂動的であり、M = 6モードおよび尾部の減衰率s = 6を用いた検証済み区間演算計算に依拠している。
• 滑らかさの欠如する系においても、自己一貫的境界と隔離セグメントを用いて周期的解の存在が確認された。