[论文解读] Spectral criteria for solutions of evolution equations and comments on reduced spectra

Bolis Basit, G Hans|arXiv (Cornell University)|Jun 10, 2010

Nonlinear Differential Equations Analysis参考文献 14被引用 10

一句话总结

本文重新探討了有界可測函數 $\phi \in L^\infty(J, \mathbb{X})$ 相對於函數族 $\mathcal{F} \subset L^1_{\text{loc}}(J, \mathbb{X})$ 的簡化譜 $\mathrm{sp}_{\mathcal{F}}(\phi)$，證明除非 $\phi$ 和 $\mathcal{F}$ 屬於有界一致連續函數空間，否則此類譜無法透過 Carleman 譜恢復。本文建立了演化方程 $\frac{du}{dt} = Au(t) + \phi(t)$ 的有界弱解的譜判據，表明解為幾乎殆純週期函數當且僅當 $\phi$ 的簡化譜為空集。

ABSTRACT

We revisit the notion of reduced spectra $sp_{\Cal {F}} (ϕ)$ for bounded measurable functions $ϕ\in L^{\infty} (J,\Bbb{X})$, ${\Cal {F}}\subset L^1_{loc}(J,\Bbb{X})$. We show that it can not be obtained via Carleman spectra unless $ϕ\in BUC(J,\Bbb{X})$ and ${\Cal {F}} \subset BUC(J,\Bbb{X})$. In section 3, we give two examples which seem to be of independent interest for spectral theory. In section 4, we prove a spectral criteria for bounded mild solutions of evolution equation (*) $\frac{d u(t)}{dt}= A u(t) + ϕ(t) $, $u(0)=x\in \Bbb{X}$, $t\in {J}$, where $A$ is a closed linear operator on $\Bbb{X}$ and $ϕ\in L^{\infty} ({J}, \Bbb{X})$ where $ {J} \in\{ _+, \}$.

研究动机与目标

• 釐清 Carleman 譜在表達一般 $\phi \in L^\infty(J, \mathbb{X})$ 的簡化譜 $\mathrm{sp}_{\mathcal{F}}(\phi)$ 時的限制。
• 研究在演化方程背景下，簡化譜可透過譜理論表徵的條件。
• 建立演化方程 $\frac{du}{dt} = Au(t) + \phi(t)$ 的有界弱解存在性與正則性（特別是幾乎殆純週期性）的譜判據。
• 提供兩個獨立感興趣的例子，涉及譜理論，特別是函數族的結構及其不變性性質。

提出的方法

• 作者透過與 $L^1$ 函數的卷積及正交補集條件定義簡化譜 $\mathrm{sp}_{\mathcal{F}}(\phi)$：$\lambda \in \mathrm{sp}_{\mathcal{F}}(\phi)$ 當且僅當對所有滿足 $\Phi * f|_J \in \mathcal{F}$ 的 $f \in L^1(\mathbb{R}, \mathbb{C})$，均有 $\hat{f}(\lambda) = 0$。
• 他們分析滿足平移不變性、一致閉包性及 BUC 不變性的函數族 $\mathcal{F}$ 的結構，使用如 $\mathcal{F} \subset \mathrm{MF}(J, \mathbb{X})$ 和 $\Delta$-條件等性質。
• 透過將 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 與解 $u(t)$ 的幾乎殆純週期性連結，推導出弱解的譜判據，利用 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 推得 $u \in \mathrm{VAA}(\mathbb{X})$ 的事實。
• 他們運用調和分析工具，包括傅里葉變換 $\hat{f}(\lambda) = \int_{-\infty}^\infty e^{-i\lambda t} f(t) dt$，以及平均算子 $M_h \psi(t) = \frac{1}{h} \int_0^h \psi(t+s) ds$，以分析譜的不變性。
• 證明依賴於等價關係 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 當且僅當 $\phi \in \mathrm{MF}(J, \mathbb{X})$，此關係表示 $\phi$ 屬於平均遍歷平均的閉包。
• 他們利用 $\mathcal{F}$ 對有界線性算子 $B \in \mathcal{L}(\mathbb{X})$ 的不變性與 $\mathcal{F}$ 的正性，推導出譜包含與不變性性質。

实验结果

研究问题

• RQ1 在何種條件下，$\phi \in L^\infty(J, \mathbb{X})$ 時，簡化譜 $\mathrm{sp}_{\mathcal{F}}(\phi)$ 可透過 Carleman 譜表示？
• RQ2 何時 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 與演化方程 $\frac{du}{dt} = Au(t) + \phi(t)$ 的弱解 $u(t)$ 的幾乎殆純週期性等價？
• RQ3 $\mathcal{F} \subset L^1_{\text{loc}}(J, \mathbb{X})$ 應具備何種必要且充分條件，以確保 $\mathrm{sp}_{\mathcal{F}}(\phi)$ 在 $\mathbb{R}$ 上良好定義且閉合？
• RQ4 函數族 $\mathcal{F}$ 的不變性性質（如平移不變性、一致閉包性、BUC 不變性）如何影響 $\phi$ 的譜性質？
• RQ5 有界弱解的譜判據能否超越 $\mathrm{VAA}(\mathbb{X})$ 擴展至其他函數族，如 $\mathrm{AP}(\mathbb{X})$ 或 $C_0(J, \mathbb{X})$？

主要发现

• 除非 $\phi \in \mathrm{BUC}(J, \mathbb{X})$ 且 $\mathcal{F} \subset \mathrm{BUC}(J, \mathbb{X})$，否則簡化譜 $\mathrm{sp}_{\mathcal{F}}(\phi)$ 無法透過 Carleman 譜恢復，顯示在此脈絡中 Carleman 方法的根本限制。
• 對於 $\phi \in L^\infty(J, \mathbb{X})$，有 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 當且僅當 $\phi \in \mathrm{MF}(J, \mathbb{X})$，此結果建立譜消失與平均遍歷性之間的關鍵連結。
• 若 $\mathcal{F}$ 是 $\mathrm{BC}(J, \mathbb{X})$ 的閉、正不變線性子空間，且 $\phi \in \mathcal{F}$ 滿足 $\phi'$ 一致連續，則 $\phi' \in \mathcal{F}$，顯示其對微分具有強烈不變性。
• 對於演化方程 $\frac{du}{dt} = Au(t) + \phi(t)$ 的有界弱解，其譜判據為：$\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 當且僅當解 $u(t)$ 為幾乎殆純週期函數，即 $u \in \mathrm{VAA}(\mathbb{X})$，前提是 $\mathcal{F}$ 滿足 $\Delta$-條件且一致閉包。
• 作者構造了兩個獨立感興趣的例子：其一顯示 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$ 不會導致 $\phi \in \mathrm{MF}$，除非 $\mathcal{F} \subset \mathrm{MF}$；另一個則說明透過 Carleman 方法無法恢復譜。
• 若 $\mathcal{F} \subset \mathrm{MF}(J, \mathbb{X})$，則對所有 $\phi \in L^\infty(J, \mathbb{X})$ 皆有 $\mathrm{sp}_{\mathcal{F}}(\phi) = \emptyset$，但逆命題在無額外正則性下不成立，如反例 $\phi = g$，$\mathcal{F} = g \cdot \mathrm{AP}(\mathbb{C})$ 所示。