[论文解读] Matrix Lyapunov inequalities for ordinary and elliptic partial differential equations

A. Cañada, Salvador Villegas|ArXiv.org|Jun 5, 2009

Nonlinear Differential Equations Analysis参考文献 18被引用 3

一句话总结

本文為具法向邊界條件的線性常微分方程與橢圓型偏微分方程系統，建立所有 p ≥ 1 條件下的最佳 Lp 李雅普諾夫型不等式。透過將最佳李雅普諾夫常數連結至最小化問題，將經典的 L∞ 結果推廣至一般 Lp 設定，並應用施瓦茨定理於共振非線性問題，證明在常微分方程與偏微分方程情境下解的存在性與唯一性。

ABSTRACT

This paper is devoted to the study of $L_p$ Lyapunov-type inequalities for linear systems of equations with Neumann boundary conditions and for any constant $p \geq 1$. We consider ordinary and elliptic problems. The results obtained in the linear case are combined with Schauder fixed point theorem to provide new results about the existence and uniqueness of solutions for resonant nonlinear problems. The proof uses in a fundamental way the nontrivial relation between the best Lyapunov constants and the minimum value of some especial minimization problems.

研究动机与目标

• 推導所有 p ≥ 1 條件下，具法向邊界條件之常微分方程與橢圓型偏微分方程系統的最優 Lp 李雅普諾夫型不等式。
• 將經典的 L∞ 李雅普諾夫不等式推廣至完整的 Lp 範數範疇，包含 p = 1 與 p = ∞。
• 建立最佳李雅普諾夫常數與特定最小化問題最小值之間的關聯。
• 利用施瓦茨定理將線性結果應用於非線性共振問題，確保解的存在性與唯一性。
• 將先前針對 L∞ 不等式之工作擴展至更廣泛的矩陣係數類別與各分量之混合 Lpi 範數。

提出的方法

• 推導系統 u''(x) + A(x)u(x) = 0 在法向條件 u'(0) = u'(L) = 0 下的 Lp 李雅普諾夫不等式，其中 A(x) 為對稱矩陣。
• 引入對角主成分矩陣 B(x) = diag(b11(x), ..., bnn(x))，使得 A(x) ≤ B(x)，並對每個 i 界定 bii+(x) 的 Lpi 範數。
• 利用特徵值的變分特徵化與最小化問題，將最佳李雅普諾夫常數與 bii+ 的 Lpi 範數關聯。
• 將施瓦茨定理應用於非線性問題 Δu + Gu(x,u) = 0 之法向邊界條件。
• 建構一解算子 T，將 u 映射至線性化問題之解，其係數矩陣為 D(x,u) = ∫₀¹ Guu(x,θu)dθ。
• 透過索伯列夫嵌入 W^{2,q}(Ω) ⊂ C(Ω) 及 Lpi(Ω) 中的弱收斂性，證明解算子 T 的有界性與緊緻性。

实验结果

研究问题

• RQ1 對於所有 p ≥ 1，具法向邊界條件之線性常微分方程系統，其最優 Lp 李雅普諾夫型不等式為何？
• RQ2 最佳李雅普諾夫常數如何透過涉及對角矩陣元素正部 Lpi 範數之最小化問題來表徵？
• RQ3 Lp 李雅普諾夫不等式能否用於建立共振非線性常微分方程與偏微分方程系統之解的存在性與唯一性？
• RQ4 混合 Lpi 範數（各分量使用不同 p_i）在推廣經典 L∞ 結果中扮演何種角色？
• RQ5 在 Hessian 矩陣 Guu(x,u) 滿足何種條件下，非線性法向邊界問題 Δu + Gu(x,u) = 0 會存在唯一解？

主要发现

• 對於每個 i ∈ {1, ..., n}，若 ‖bii+‖_{p_i} < β_{p_i}，且對所有 k ≠ 0 有 ∫_Ω ⟨A(x)k, k⟩ dx > 0，則線性問題 u'' + A(x)u = 0 在法向條件下僅有零解。
• 關鍵常數 β_{p_i} 來自最小化問題，代表在 Lp_i 意義下最佳可能之界。
• 對於具法向條件之非線性橢圓型問題 Δu + Gu(x,u) = 0，若 A(x) ≤ Guu(x,u) ≤ B(x)，且對所有 i 有 ‖bii+‖_{p_i} < β_{p_i}，則存在唯一解。
• 該方法透過允許各分量使用不同之 p_i ∈ (N/2, ∞]，推廣先前之 L∞ 結果，提升彈性與適用性。
• 存在性證明依賴於施瓦茨定理應用於完全連續且有界的解算子。
• 唯一性透過證明任意兩解所導出之線性化問題滿足 Lp 李雅普諾夫不等式，從而迫使差異為零來建立。