[论文解读] 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。
• 提供条件，使得在无穷远或零处的线性化问题不支持非平凡周期解，从而通过拓扑度保证非线性问题存在周期解。
• 分析时间平均非线性项与拉普拉斯算子谱之间的相互作用，以避免共振。

提出的方法

• 应用 Henry 的平均化技巧，将时间依赖的抛物型 PDE 化为包含时间平均函数 f̂(x) = (1/T)∫₀ᵀ f(t,x,u) dt 的极限问题。
• 利用沿轨道的平移算子 Ψₜ: H¹(ℝ^N) × [0,1] → H¹(ℝ^N) 将周期解视为 Ψ_T 的不动点。
• 采用非紧映射的 Leray-Schauder 不动点指数，特别是当 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+ 时平均半流不动点指数的极限，其等于线性化算子的指数，从而实现拓扑推断。