[论文解读] Periodic Solutions to Dissipative Hyperbolic Systems. I: Fredholm Solvability of Linear Problems

Irina Kmit, Lutz Recke|arXiv (Cornell University)|Aug 14, 2011

Differential Equations and Numerical Methods参考文献 12被引用 6

一句话总结

本文建立了具反射边界条件的一维空间中线性一阶双曲组的周期解的弗雷德霍姆可解性与 $C^1$-正则性。文章引入了两个非共振条件——一个依赖于 $a_j$、$b_{jj}$ 及边界系数，另一个涉及 $ abla_t a_j$——在非严格双曲情形下也保证弗雷德霍姆选择定理与增强正则性。

ABSTRACT

This paper concerns linear first-order hyperbolic systems in one space dimension of the type $$ \partial_tu_j + a_j(x,t)\partial_xu_j + \sum\limits_{k=1}^nb_{jk}(x,t)u_k = f_j(x,t),\; x \in (0,1),\; j=1,\ldots,n, $$ with periodicity conditions in time and reflection boundary conditions in space. We state a non-resonance condition (depending on the coefficients $a_j$ and $b_{jj}$ and the boundary reflection coefficients), which implies Fredholm solvability of the problem in the space of continuous functions. Further, we state one more non-resonance condition (depending also on $\partial_ta_j$), which implies $C^1$-solution regularity. Moreover, we give examples showing that both non-resonance conditions cannot be dropped, in general. Those conditions are robust under small perturbations of the problem data. Our results work for many non-strictly hyperbolic systems, but they are new even in the case of strict hyperbolicity.

研究动机与目标

• 建立具反射边界条件的线性一阶双曲系统周期解的弗雷德霍姆选择定理。
• 识别出关于系数 $a_j$、$b_{jj}$ 及边界反射项的非共振条件，确保在连续函数空间中实现弗雷德霍姆可解性。
• 推导出涉及 $ abla_t a_j$ 的第二个非共振条件，以保证解的 $C^1$-正则性。
• 通过反例证明两个条件的紧致性，并验证其在小扰动下的鲁棒性。
• 当所有系数均为 $C^\infty$-光滑且 $a_j$ 与时间无关时，将正则性结果推广至 $C^\infty$-光滑解。

提出的方法

• 利用特征曲线 $\tau_j(\xi,x,t)$ 与积分因子 $c_j(\xi,x,t)$ 和 $d_j(\xi,x,t)$，将偏微分方程组转化为等价的积分方程组。
• 定义时间上 $2\pi$-周期的连续函数与连续可微函数的空间 $\mathcal{C}_n$ 与 $\tilde{\mathcal{C}}_n^1$。
• 应用特征线法，推导出编码边界条件与周期条件的积分表示式 (1.9) 与 (1.10)。
• 采用算子理论方法分析与积分形式相关的线性算子 $I - C - D$，证明其具有弗雷德霍姆性质。
• 通过时间导数 $\partial_t^k u$ 的归纳法建立正则性，证明在第二个非共振条件下有 $\partial_t^k u \in \tilde{\mathcal{C}}_n^1$。
• 通过对方程与积分方程的逐次微分，结合 $a_j$ 的时间无关性，证明 $C^1$-正则性与更高阶光滑性。

实验结果

研究问题

• RQ1 在系数 $a_j$、$b_{jj}$ 与反射项 $r_{jk}$ 满足何种条件时，周期双曲系统在连续函数空间中具有弗雷德霍姆选择定理？
• RQ2 对 $\partial_t a_j$ 的何种附加条件可保证系统解的 $C^1$-正则性？
• RQ3 非共振条件是否可被削弱或移除而不损失弗雷德霍姆可解性或正则性？
• RQ4 系统的结构，特别是反射边界条件，如何影响周期解的可解性与正则性？
• RQ5 特征曲线 $\tau_j(\xi,x,t)$ 与积分因子 $c_j$、$d_j$ 在将偏微分方程组约化为可解积分形式的过程中起何种作用？

主要发现

• 第一个非共振条件——依赖于 $a_j$、$b_{jj}$ 与 $r_{jk}$——是周期问题在 $\mathcal{C}_n$ 中弗雷德霍姆可解性的必要且充分条件。
• 第二个非共振条件，涉及 $\partial_t a_j$，可确保解为 $C^1$-光滑；若 $a_j$ 与时间无关且所有数据均为 $C^\infty$，则解为 $C^\infty$-光滑。
• 第一个非共振条件不可省略，反例表明若其不成立则弗雷德霍姆可解性将不成立。
• 第二个非共振条件同样不可或缺，反例表明若其不成立则 $C^1$-正则性将不成立。
• 非共振条件在问题数据的小 $C^1$-扰动下保持稳定。
• 积分形式 (1.9)–(1.10) 完全刻画了经典解，使得可运用算子理论方法证明弗雷德霍姆性质与正则性。