[論文レビュー] Forced periodic solutions for nonresonant parabolic equations on R^N

Aleksander Ćwiszewski, Renata Łukasiak|arXiv (Cornell University)|Apr 1, 2014

Advanced Mathematical Modeling in Engineering参考文献 12被引用数 4

ひとこと要約

本稿は、ℝ^N 上の非共鳴な放物型方程式に対して、漸近的に線形な非線形性をもつ T-周期的解の存在に十分な条件を確立する。平均化技術と非コンパクト写像のための固定点指数論を用いて、無限遠における非線形性の時間平均がラプラシアンの固有値空間と共振しない（すなわち、Ker(Δ + ŷf∞) = {0}）ならば、H²(ℝ^N) ∩ C¹(L²) 内に T-周期的解が存在することを証明する。

ABSTRACT

Criteria for the existence of $T$-periodic solutions of nonautonomous parabolic equation $u_t = Δu + f(t,x,u)$, $x\in\mathbb{R}^N$, $t>0$ with asymptotically linear $f$ will be provided. It is expressed in terms of time average function $\hat f$ of the nonlinear term $f$ and the spectrum of the Laplace operator $Δ$ on $\mathbb{R}^N$. One of them says that if the derivative $\hat f_\infty$ of $\hat f$ at infinity does not interact with the spectrum of $Δ$, i.e. $\mathrm{Ker} (-Δ+ \hat f_\infty)=\{0\}$, then the parabolic equation admits a $T$-periodic solution. Another theorem is derived in the situation, where the linearization at $0$ and infinity differ topologically, i.e. the total multiplicities of negative eigenvalues of the averaged linearizations at $0$ and $\infty$ are different mod $2$.

研究の動機と目的

• ℝ^N 上の非自己同型放物型方程式に対して、漸近的に線形な非線形性をもつ T-周期的解の存在基準を確立すること。
• ℝ^N におけるコンパクト性の欠如を補うために、非コンパクト写像のための固定点指数論を適応すること。
• 平均化法とスペクトル解析を用いて、有界領域からの周期的解の結果を無限領域 ℝ^N へ拡張すること。
• 線形化問題が無限大または原点で非自明な周期的解をもたない条件を提供し、位相的次数を用いて非線形問題における周期的解の存在を保証すること。
• 時間平均非線形性とラプラシアンのスペクトルとの相互作用を分析し、共鳴を回避すること。

提案手法

• ヘンリーの平均化技術を適用し、時間依存放物型PDEを時間平均関数 f̂(x) = (1/T)∫₀ᵀ f(t,x,u) dt を含む極限問題に還元する。
• 周期的解を Ψₜ: H¹(ℝ^N) × [0,1] → H¹(ℝ^N) として定義される軌道に沿った移動作用素を用いて、Ψ_T の不動点として研究する。
• 非コンパクト写像のためのレーライ＝シューアの固定点指数を用い、特に t → 0+ の極限における指数の極限を考察する。
• u=0 および u→∞ における線形化問題 Δu + f̂(x,u)/u → 0 を分析し、負の固有値の個数を用いて位相的次数を決定する。
• 固定点指数の加法性およびホモトピー不変性を用いて、非線形問題の指数と平均化された線形化作用素の指数を比較する。
• 半フローの適切性を確立し、スペクトル条件（Ker(Δ + f̂∞) = {0}）を用いて、線形化問題に非自明な周期的解が存在しないことを示し、非線形問題の非ゼロ指数を保証する。

実験結果

リサーチクエスチョン

• RQ1 ℝ^N 上の非共鳴放物型方程式が T-周期的外力を受けた場合、どのような条件下で T-周期的解が存在するか？
• RQ2 非有界領域における放物型PDEの文脈で、固定点指数を非コンパクト写像にどのように適応できるか？
• RQ3 非線形性の時間平均が周期的解の存在に果たす役割は何か？
• RQ4 無限大または原点における線形化が非自明な周期的解をもたないのはいつか？ そして、その条件が非線形問題における解の存在をどのように示唆するか？
• RQ5 0 および ∞ における線形化作用素の位相的不変量（例えば、2 を法とする次数）を用いて、非自明な周期的解の存在を推論できるか？

主な発見

• Ker(Δ + f̂∞) = {0} である限り、f̂∞ が f の無限大における時間平均の微分であるとすると、放物型方程式は C([0,∞), H²(ℝ^N)) ∩ C¹([0,∞), L²(ℝ^N)) 内に T-周期的解をもつ。
• 0 および ∞ における平均化線形化の正の固有値の総重複度が 2 を法として異なる場合、非自明な T-周期的解が存在する。
• H¹(ℝ^N) 内の球上での移動作用素 Ψ_T の固定点指数は (−1)^m(∞) に等しく、ここで m(∞) は無限大における平均化線形化の負の固有値の個数を表す。
• 線形化問題が非ゼロの T-周期的解をもたず、平均化非線形性 f̂∞ が Δ のスペクトルと共振しない限り、T-周期的解の存在が保証される。
• 球殻領域 U = B_R ar{B}_r 上での非線形問題の指数は (−1)^m(∞) − (−1)^m(0) に等しく、m(∞) と m(0) が異なる偶奇性を持つ場合、非ゼロとなり、U 内に不動点が存在することを示唆する。
• 証明は、t → 0+ の極限における平均化半フローの固定点指数の極限に依拠しており、これが線形化作用素の指数に等しくなる。この性質により、位相的推論が可能になる。