[论文解读] Ground states of time-harmonic semilinear Maxwell equations in R^3 with vanishing permittivity

Jarosław Mederski|arXiv (Cornell University)|Jun 17, 2014

Advanced Mathematical Physics ProblemsMathematics参考文献 21被引用 21

一句话总结

该论文通过在强不定泛函上使用变分法，证明了在 $\mathbb{R}^3$ 中 permittivity 为零的时谐非线性麦克斯韦方程存在基态解。关键结果表明，当势能 $V(x) = -\rho \tau^2 \varepsilon(x)$ 的 $L^{3/2}$-范数小于最优索博列夫常数时，在非线性项 $F$ 满足适当增长条件的前提下，基态解存在。

ABSTRACT

We investigate the existence of solutions $E:\mathbb{R}^3 o\mathbb{R}^3$ of the time-harmonic semilinear Maxwell equation $$ abla imes( abla imes E) + V(x) E = \partial_E F(x,E) \quad ext{in}\mathbb{R}^3,$$ where $V:\mathbb{R}^3 o\mathbb{R}$, $V(x)\leq 0$ a.e. on $\mathbb{R}^3$, $ abla imes$ denotes the curl operator in $\mathbb{R}^3$ and $F:\mathbb{R}^3 imes\mathbb{R}^3 o\mathbb{R}$ is a nonlinear function in $E$. In particular we find a ground state solution provided that suitable growth conditions on $F$ are imposed and $L^{3/2}$-norm of $V$ is less than the best Sobolev constant. In applications $F$ is responsible for the nonlinear polarization and $V(x)=-μω^2\varepsilon(x)$ where $μ>0$ is the magnetic permeability, $ω$ is the frequency of the time-harmonic electric field $\Re\{E(x)e^{iωt}\}$ and $\varepsilon$ is the linear part of the permittivity in an inhomogeneous medium.

研究动机与目标

• 建立 $ ^3$ 中具有零介电常数的时谐非线性麦克斯韦方程基态解的存在性。
• 分析在非线性极化占主导地位的 epsilon 接近零（ENZ）介质中电磁波的行为。
• 解决由于势能 $V(x) \leq 0$ 变号而引起的强不定变分结构的挑战。
• 证明当 $V$ 的 $L^{3/2}$-范数小于最优索博列夫常数时，基态解存在。
• 研究此类解在非线性光学介质（特别是克尔型材料）中的物理相关性。

提出的方法

• 将时谐麦克斯韦方程表述为 $\nabla \times (\nabla \times E) + V(x)E = \partial_E F(x,E)$ 在 $\r^3$ 上，其中 $V(x) \leq 0$。
• 对与方程相关的强不定泛函应用变分法，利用 Nehari-Pankov 流形定位临界点。
• 对 $F$ 施加增长条件，如 $f(x,E) = \Gamma(x)\min\{|E|^{p-2}, |E|^{q-2}\}E$，其中 $2 < p \leq q$。
• 采用集中紧致性论证与全局紧致性分析，克服 $ ^3$ 中紧致性的缺失。
• 使用 Pohozaev 型恒等式与缩放论证推导出解的 Pohozaev 恒等式，证明能量有限且解非平凡。
• 采用适当的截断与逼近方案处理非线性项，确保泛函在空间 $\mathcal{D}(\mathrm{curl}, p, q)$ 上定义良好。

实验结果

研究问题

• RQ1 在 $ ^3$ 中，当介电常数为零时，时谐非线性麦克斯韦方程在何种条件下存在基态解？
• RQ2 势能 $V(x)$ 的 $L^{3/2}$-范数与非平凡解存在性之间有何关系？
• RQ3 能否将变分法应用于由变号势能引起的强不定泛函？
• RQ4 非线性项 $F$ 在确保局域化、有限能量解的存在性中起何种作用？
• RQ5 当 $V = 0$ 或 $V$ 为常数时，是否可在某些 $F$ 的增长条件下排除非平凡解？

主要发现

• 当 $V(x)$ 的 $L^{3/2}$-范数严格小于最优索博列夫常数时，$ ^3$ 中时谐非线性麦克斯韦方程存在基态解。
• 在非线性项 $F$ 满足适当亚临界增长条件（包括对应克尔效应的 $p=4$ 情况）的假设下，基态解存在。
• 当 $V=0$ 或 $V$ 为常负时，若 $q \leq 6$ 或 $p > 6$，则不存在非平凡经典解，这是由 Pohozaev 恒等式导出的矛盾所致。
• 解 $E$ 属于空间 $\mathcal{D}(\mathrm{curl}, p, q)$，该空间嵌入到 $L^{p,q} = L^p(\r^3, \r^3) + L^q(\r^3, \r^3)$ 中，确保电磁能量有限。
• 能量泛函满足 Pohozaev 恒等式：$\int_{\r^3} |\nabla \times E|^2 dx = 3 \int_{\r^3} F(E) dx + \int_{\r^3} \langle f(E), E \rangle dx$，这对证明基态解的存在性至关重要。
• 该方法通过全局紧致性论证与 Nehari-Pankov 流形技术成功处理了 $ ^3$ 中的紧致性缺失问题，确保 Palais-Smale 序列收敛。