[论文解读] Very Singular Similarity Solutions and Hermitian Spectral Theory for Semilinear Odd-Order PDEs

R. S. Fernandes, В. А. Галактионов|ArXiv.org|Oct 26, 2009

Advanced Mathematical Physics Problems参考文献 27被引用 3

一句话总结

本文为奇数阶半线性PDE中的非自伴算子建立了Hermite型谱理论，证明在临界指数 $ p_l = 1 + \frac{3}{l+1} $ 处，极奇异相似解（VSSs）发生分岔，每个 $ p_l $ 对应于缩放算子 $ \mathbf{B} $ 的一个特征函数 $ \psi_l $。分析揭示了在 $ p $-参数空间中存在可数个亚临界Pitchfork分岔，该结论通过解析方法得到证实，并在 $ l=0 $, $ k=1 $ 时获得数值支持。

ABSTRACT

Very singular self-similar solutions of semilinear odd-order PDEs are studied on the basis of a Hermitian-type spectral theory for linear rescaled odd-order operators.

研究动机与目标

• 为奇数阶线性和半线性PDE中出现的非自伴缩放算子 $ \mathbf{B} $ 和 $ \mathbf{B}^* $ 建立精细化谱理论。
• 利用该谱框架分析线性色散方程 $ u_t = u_{xxx} $ 解的渐近行为。
• 为半线性方程 $ u_t = u_{xxx} - |u|^{p-1}u $ 的极奇异相似解（VSSs）的存在性提供证明，尤其关注临界指数 $ p_l $ 处的情况。
• 证明在每个 $ p = p_l = 1 + \frac{3}{l+1} $ 处，$ p $-分支的VSSs从 $ \mathbf{B} $ 的特征函数 $ \psi_l $ 分岔产生，使用分岔理论进行分析。
• 提供解析与数值证据，证明尽管在临界点附近存在数值困难，仍存在可数个 $ p $-分岔分支。

提出的方法

• 形式推导缩放算子 $ \mathbf{B} = D_y^3 + \frac{1}{3}yD_y + \frac{1}{3}I $ 及其伴随算子 $ \mathbf{B}^* = D_y^3 - \frac{1}{3}yD_y $，其离散谱为 $ \sigma(\mathbf{B}) = \sigma(\mathbf{B}^*) = \{ -\frac{l}{3} \}_{l=0}^\infty $。
• 识别特征函数 $ \psi_l(y) = \frac{(-1)^l}{\sqrt{l!}} D_y^l \operatorname{Ai}(y) $，其中 $ \operatorname{Ai}(y) $ 为Airy函数。
• 应用Hermite谱理论于算子对 $ \{ \mathbf{B}, \mathbf{B}^* \} $，确保对偶特征函数系满足 $ \langle \psi_l, \psi_l^* \rangle_* = 1 $。
• 通过自相似假设 $ u(x,t) = t^{-1/(p-1)} f(x/t^{1/3}) $ 将半线性PDE约化为ODE，得到方程 $ \mathbf{B}f + \left( \frac{1}{p-1} - \frac{1}{3} \right)f - |f|^{p-1}f = 0 $。
• 利用分岔理论分析临界指数 $ p_l $ 附近的解分支，设 $ \varepsilon = p_l - p $，导出 $ |C|^{p-1} \propto \varepsilon $。
• 使用梯形积分法（MatLab `trapz`）进行数值延拓，验证 $ \int |F|^3 F > 0 $ 的正性，支持在 $ p_0 = 4 $ 处基本VSS的存在性。

实验结果

研究问题

• RQ1 非自伴算子 $ \mathbf{B} $ 及其伴随算子 $ \mathbf{B}^* $ 的谱结构如何决定线性色散方程 $ u_t = u_{xxx} $ 解的渐近行为？
• RQ2 特征函数 $ \psi_l $ 在半线性方程 $ u_t = u_{xxx} - |u|^{p-1}u $ 中形成极奇异相似解（VSSs）的过程中起什么作用？
• RQ3 在哪些临界指数 $ p $ 处发生VSSs的分岔？这些指数与 $ \mathbf{B} $ 的特征值 $ \lambda_l = -l/3 $ 有何关联？
• RQ4 尽管在 $ p_l $ 附近存在数值困难，是否能通过解析方法证明存在可数个 $ p $-分支的VSSs？
• RQ5 在每个 $ p = p_l $ 处的分岔性质（如Pitchfork分岔）如何？解的振幅如何随 $ \varepsilon = p_l - p $ 变化？

主要发现

• 线性算子 $ \mathbf{B} $ 及其伴随算子 $ \mathbf{B}^* $ 拥有离散谱 $ \sigma(\mathbf{B}) = \sigma(\mathbf{B}^*) = \{ -\frac{l}{3} \}_{l=0}^\infty $，其特征函数为 $ \psi_l(y) = \frac{(-1)^l}{\sqrt{l!}} D_y^l \operatorname{Ai}(y) $。
• 对于半线性方程 $ u_t = u_{xxx} - |u|^{p-1}u $，识别出可数个临界指数 $ p_l = 1 + \frac{3}{l+1} $，$ l = 0,1,2,\dots $，在这些点处VSSs从 $ \psi_l $ 分岔产生。
• 在每个 $ p = p_l $ 处发生亚临界Pitchfork分岔，解振幅满足 $ |C|^{p-1} \propto \varepsilon $，其中 $ \varepsilon = p_l - p $，且 $ \kappa_l = \langle |\psi_l|^{p-1}\psi_l, \psi_l^* \rangle_* > 0 $。
• 数值证据支持在 $ p_0 = 4 $ 处存在首个分岔分支，且 $ \int |F|^3 F > 0 $，证实分岔方程中非线性项的正性。
• 尽管由于在 $ p_l $ 附近出现振荡行为导致数值困难，但解析证明确认了可数个 $ p $-分支的存在，如图11所示。
• 当 $ l \to \infty $ 时，临界指数 $ p_l \to 1^+ $，表明高阶特征模态在极限下表现出越来越强的奇异性。