具有Dirichlet边界条件的非线性波动方程的时间周期解

Time Periodic Solutions of Nonlinear Waveequation with Dirichletboundary Conditions

摘要: 本文考虑具有小振幅时间周期外力项的非线性波动方程的Dirichlet边值问题，关注其时间周期解的存在性。结合Lyapunov-Schmidt约化、隐函数定理和压缩映象原理，我们证明当外力频率满足一个特定的Diophantine型的非共振条件时，方程存在相同频率的时间周期解。进一步地，对所得的周期解，我们将建立其在Sobolev意义下与古典意义下的正则性结论。最后，我们还将给出在方程的静态平衡点附近周期解的局部唯一性。

Abstract: This paper is concerned with the time-periodic solutions of the Dirichlet boundary value problem for nonlinear wave equations in the presence of a time-periodic external forcing with frequency ω and amplitude ε. Combining the Lyapunov-Schmidt reduction, the implicit function theorem and the contraction mapping principle, we prove the existence of time-periodic solutions. The result holds for ω belongs to a Diophantine type parameter set. Moreover, we prove the regularity of the solutions in both Sobolev and classical cases. Finally, we prove the local uniqueness near a static equilibrium.

1. 引言

考虑非线性波动方程Dirichlet边值问题

$\{\begin{array}{l}{u}_{tt}-u_{xx}=\epsilon f\left(x,\omega t,u\right),x\in \left(0,\pi \right),t\in ℝ,\\ u\left(0,t\right)=u\left(\pi ,t\right)=0,t\in ℝ.\end{array}$ (1.1)

方程(1.1)常被用于描述两端固定的弦在周期外力下的受迫振动，这里 $\omega >0$ 表示外力频率， $0<\epsilon \ll 1$ 是用于描述外力振幅的摄动参数。本文关注当外力 $f\left(x,\cdot ,u\right)$ 的周期为 $2\pi$ 时，方程是否存在频率为 $\omega$ (即周期为 $2\pi /\omega$ )的时间周期解。

非线性波动方程的周期解研究始于Rabinowitz [1] ，文中将椭圆边值理论的方法扩展到非线性波动方程中，进而将求解问题重新表述为一个变分问题，对 $\omega =1$ 的情形建立了(1.1)的周期解存在性结论。当频率为1时，Dirichlet边界条件下对应的D’Alembert算子谱 $\left\{l^2-j^2,l\in \mathbb{Z},j\ge 1\right\}$ 包含无穷重的零特征值，即完全共振情形。Rabinowitz通过对非线性项f施加单调性条件，使得所对应的无穷维分支问题可解，从而解决了完全共振所导致的可逆性缺失。受此启发，Tanaka [2] ，Fokam [3] 利用紧性和单调性方法得到了非线性波动方程的周期解。Brézis，Bahri，Nirenberg等，发展了Rabinowitz的变分方法进一步建立起一维非线性波动方程周期解的相关结论，见 [4] [5] [6] 。Cheng-Zhang [7] ，Wei [8] 结合Rabinowitz的变分方法和鞍点约化技术得到了高维非线性波动方程的周期解。需要指出的是，上述文章中的研究对象大都是有理频率的周期系统，事实上将Rabinowitz的变分方法推广至 $\omega \in \mathbb{Q}$ 并不会遇到本质困难，然而在处理无理频时，我们所遇到的难点则与完全共振情形大不相同。这是因为有理频率的限定在变分方法中作为一种紧性条件通常是不可或缺的。当 $\omega \in ℝ\backslash \mathbb{Q}$ 时，D’Alembert算子 ${\omega }^2{\partial }_{tt}-{\partial }_{xx}$ 的谱 $\left\{{\omega }^2{l}^2-j^2,l\in \mathbb{Z},j\in {\mathbb{Z}}^{+}\right\}$ 中没有零特征值，但零却是聚点，此时线性化算子存在任意小的特征值，此种机制导致的共振现象在数学上称之为小除数现象。这一现象在无穷维周期系统、拟周期系统中广泛存在，它使得诸如隐函数定理等许多传统的证明手段失效，因此波动算子的逆算子的有界性变得难以估计。为攻克这一难点，文 [9] 引入了KAM理论，文 [10] [11] 引入了Nash-Moser迭代技术用以求解具有Hamilton结构的几类偏微分方程，尤其是波动方程，更多成果见 [12] [13] [14] [15] [16] 。

必须说明的是小除数现象的产生并不完全取决于振动频率的有理性，McKenna [17] 应用不动点定理证明了当 $f\left(x,t,u\right)=g\left(u\right)+h\left(x,t\right)$ ，g关于u满足一致Lipschitz条件时，方程(1.1)的弱解存在性。在研究过程中McKenna发现当频率属于实数域中的一个零测度子集时并不产生小除数共振，除了全体有理数以外这一频率集还包含部分无理数。文 [18] 借用数论中的概念对其给出了准确的描述，即零测集中的ω满足连分数展开有界，又见Mawhin和Ben-Naoum [19] 。后来，Bambusi [20] [21] 借鉴了Diophantine近似的理念提出了一个关于频率ω的强非共振条件，利用这一条件可构造出一个正测度的频率集，使得对应的算子谱拥有更好的分离性，从而允许对非线性项的高阶部分应用经典的压缩映象原理。最近，Wei [22] 利用完全约化技术和Leray-Schauder理论，在非线性项满足渐近非共振条件下，得到了非线性波动方程周期解的存在性。

受Bambusi [20] [21] 的启发，并且基于对方程在静态平衡点附近动力学行为的观察，我们自然地想到将非线性扰动视为小振幅的零平均震荡来处理。反映在方法上，便是采用经典的Lyapunov-Schmidt约化，将原方程分解成分支方程和值域方程。首先，对f的零阶分支方程施加适当的非退化条件，通过经典的隐函数定理求解分支方程；然后在频率ω满足非共振条件时，通过压缩映象原理求解值域方程；最终得出周期解的存在性、正则性与局部唯一性。

本文的结构如下：第1节介绍研究背景和非线性波动方程周期解的一些结果；第2节介绍一些预备知识，隐函数定理和Banach不动点定理；第3.1节通过Lyapunov-Schmidt约化将规范化后的方程分解成分支方程和值域方程并给出本文的主要结果定理3.1；第3.2节我们在f满足非退化条件下利用经典的隐函数定理求解分支方程；第3.3节我们在频率ω满足非共振条件下利用压缩映象原理求解值域方程；最后，结合3.2节和3.3节的结果完成定理3.1的证明。

2. 预备知识

本节给出一些本文所需的定理。

定理2.1. [23] (隐函数定理)设 $X,Y,Z$ 是Banach空间， $E\subset X\times Y$ 是点 $\left(x_0,y_0\right)$ 的一个开邻域。设 $f\in C\left(E,Z\right)$ 关于y有F偏导算子 $f_y\left(x,y\right)={f^{\prime }}_y\left(x,y\right)$ 且 $f_y\in C\left(E,L\left(Y,Z\right)\right)$ ，假设f满足以下2式：

(i) $f\left(x_0,y_0\right)=0$ ；

(ii) $f_y^{-1}\left(x_0,y_0\right)\in L\left(Z,Y\right)$ 。

则对方程 $f\left(x,y\right)=0$ 存在 $r,r_1>0$ 和唯一的 $y=u\left(x\right)\in C\left(B_r\left(x_0\right),B_{r_1}\left(y_0\right)\right)$ ，使得：

(i) $B_r\left(x_0\right)\times B_{r_1}\left(y_0\right)\subset E$ ；

(ii) $u\left(x_0\right)=y_0$ ；

(iii) $f\left(x,u\left(x\right)\right)=0,\forall x\in B_r\left(x_0\right)$ 。

进一步，若 $f\in C^1\left(E,Z\right)$ ，则 $u\in C^1\left(B_r\left(x_0\right),Y\right)$ 且

$u^{\prime }\left(x\right)=-f_y^{-1}\left(x,u\left(x\right)\right)\circ f_x\left(x,u\left(x\right)\right),\forall x\in B_r(\; x\; 0\; )$

其中 $B_r\left(x_0\right)=\left\{x\in X:\Vert x-x_0\Vert <r\right\},B_{r_1}\left(y_0\right)=\left\{y\in Y:\Vert y-y_0\Vert <r_1\right\}.$

定理2.2. [24] (Banach不动点定理)设X是Banach空间， $A:X\to X$ 是一个非线性映射，并且有

$\Vert A\left(u\right)-A\left(\tilde{u}\right)\Vert \le \gamma \Vert u-\tilde{u}\Vert \left(u,\tilde{u}\in X\right),$

这里常数 $\gamma <1$ ，我们称A是一个严格的压缩映射，A在X中必定存在唯一的不动点。

3. 主要结果及其证明

3.1. 主要结论

首先通过 $t\to \omega t$ 将(1.1)规范化：

$\{\begin{array}{l}{\omega }^2{u}_{tt}-u_{xx}=\epsilon f\left(x,t,u\right),x\in \left(0,\pi \right),t\in ℝ,\\ u\left(0,t\right)=u\left(\pi ,t\right)=0,\end{array}$ (3.1)

其中f关于t具有 $2\pi$ 周期，假定f关于 $\left(t,u\right)$ 是解析的，即

$f\left(x,t,u\right)={\displaystyle \underset{l\in \mathbb{Z},k\in \mathbb{N}}{\sum }{f}_{l,k}\left(x\right)u^k{\text{e}}^{ilt}}.$

其中 $f_{l,k}\left(x\right)\in H_0^1\left(\left(0,\pi \right)\right)$ ，且关于l共轭对称，即 $f_{-l,k}=\overline{f_{l,k}}$ .

定义Banach空间

$\begin{array}{l}{U}_{\sigma ,s}:=\{u\left(x,t\right)={\displaystyle \underset{l\in \mathbb{Z}}{\sum }{u}_l\left(x\right){\text{e}}^{ilt}:u_l\in H_0^1\left(\left(0,\pi \right);ℂ\right),u_{-l}={\bar{u}}_l,}\\ {\Vert u\Vert }_{\sigma ,s}^2:={\displaystyle \underset{l\in \mathbb{Z}}{\sum }{\Vert u_l\Vert }_{H^1}^2\left(1+l^{2s}\right){\text{e}}^{2\sigma \left|l\right|}<\infty }\},\end{array}$

其中 $\sigma \ge 0$ ， $s\ge 0$ 。当 $\sigma >0$ 时，上述空间中的函数，在复平面上的带型区域 $\left|\mathrm{Im}t\right|<\sigma$ 中存在有界解析延拓，且当 $s>1/2$ 时， $U_{\sigma ,s}$ 是一个乘积代数：

${\Vert uv\Vert }_{\sigma ,s}\le c_s{\Vert u\Vert }_{\sigma ,s}{\Vert v\Vert }_{\sigma ,s},\forall u,v\in U_{\sigma ,s},$

其中

$c_s:=2^s{\left({\displaystyle \underset{n\in \mathbb{Z}}{\sum }\frac{1}{1+n^{2s}}}\right)}^{1/2}.$

此外，我们还要求f满足以下假设：

(F)存在 $\sigma >0$ ， $r>0$ 使得

${\displaystyle \underset{k\in \mathbb{N}}{\sum }{C}_k\left(f\right)r^k<\infty },$

其中

$C_k\left(f\right)=\sqrt{{\displaystyle \underset{l\in \mathbb{Z}}{\sum }{\Vert f_{l,k}\left(x\right)\Vert }_{H^1}^2\left(1+l^2\right){\text{e}}^{4\sigma \left|l\right|}}}<\infty ,\forall k\in \mathbb{N}.$

当 $\epsilon /\omega \to 0$ 时，方程 的解趋于某个静态解 $v\left(x\right)$ 。出于这种观察，我们自然地想到应用Lyapunov-Schmidt约化。

将空间分解成两部分： $U_{\sigma ,s}=V\oplus W_{\sigma ,s}$ ，其中

$V:=H_0^1\left(\left(0,\pi \right)\right),W_{\sigma ,s}:=\left\{w\in U_{\sigma ,s}:w={\displaystyle \underset{l\ne 0}{\sum }{w}_l\left(x\right){\text{e}}^{ilt}}\right\}.$

如此一来，我们就可把 $u\in U_{\sigma ,s}$ 写成 $u=v\left(x\right)+w\left(x,t\right)$ ，其中 $v\in V,w\in W_{\sigma ,s}$ 。将方程(3.1)分别投影到 $V,W_{\sigma ,s}$ 上就得到

$\{\begin{array}{l}-v_{xx}=\epsilon {\displaystyle {\prod }_{V}f\left(v+w\right)},分支方程,\\ L_{\omega }w=\epsilon {\displaystyle {\prod }_{W}f\left(v+w\right),值域方程,}\end{array}$

其中 ${\prod }_V,{\prod }_W$ 为从 $u\in U_{\sigma ,s}$ 映射到 $V,W_{\sigma ,s}$ 上的投影算子，Nemitski算子

$f\left(u\right)\left(x,t\right):=f\left(x,t,u\left(x,t\right)\right)$

以及

$L_{\omega }u:={\omega }^2{u}_{tt}-u_{xx}.$

观察值域方程可知当 $\epsilon /\omega \to 0$ 时， $w\to 0$ 。在这个极限下对应的分支方程为

$-v_{xx}=\epsilon f_0\left(x,v\left(x\right)\right),$ (3.2)

其中

$f_0\left(x,u\right)={\displaystyle \underset{k\in \mathbb{N}}{\sum }{f}_{0,k}\left(x\right)u^k}.$

非自治常微分方程(3.2)叫做零阶分支方程，我们对它施加以下假设：

(V)对某一 $\bar{\epsilon }>0$ ，方程

$\{\begin{array}{l}-v_{xx}=\bar{\epsilon }{f}_0\left(x,v\left(x\right)\right),\\ v\left(0\right)=v\left(\pi \right)=0,\end{array}$ (3.3)

在 $H_0^1\left(\left(0,\pi \right)\right)$ 中存在非退化解 $\bar{v}$ ，即(3.3)在 $\bar{v}$ 处的线性化方程

$\{\begin{array}{l}-h_{xx}=\bar{\epsilon }{f^{\prime }}_0\left(\bar{v}\right)h,\\ h\left(0\right)=h\left(\pi \right)=0,\end{array}$

在 $H_0^1\left(\left(0,\pi \right)\right)$ 中的解只有 $h\equiv 0$ 。

需要说明的是假设(V)并不苛刻，只要 $f_0$ 满足适当的条件，(V)是显然成立的，我们给出两个很容易想到的例子：

情形一，当 $\bar{\epsilon }=0$ 时， $\bar{v}=0$ 即是(3.3)的非退化解，于是由隐函数定理可知，对足够小的 $\bar{\epsilon }$ ，(3.3)同样存在非退化解。

情形二，若 $f_0\left(x,0\right)={\partial }_u{f}_0\left(x,0\right)=0$ ，则对任意的 $\bar{\epsilon }>0$ ， $\bar{v}>0$ 都是方程(3.3)的非退化解。

考虑以下方程的特征问题

$\{\begin{array}{l}-{{\phi }^{″}}_j={\lambda }_j{\phi }_j,\\ {\phi }_j\left(0\right)={\phi }_j\left(\pi \right)=0,\end{array}$

记 ${\lambda }_j,j=1,2,\cdots$ 为严格单调递增的特征值列，记 ${\omega }_j=\sqrt{{\lambda }_j}$ 对应弦的特征频率， ${\Vert {\phi }_j\Vert }_{H^1}=1,j=1,2,\cdots$ 。我们要求ω满足以下条件：

(Q)称ω满足非共振条件，若对于 $\gamma >0$ ，有 $\omega \in W_{\gamma }\subseteq ℝ$ ，这里

$W_{\gamma }:=\left\{\omega :\left|\omega l-{\omega }_j\right|\ge \frac{\gamma }{l},\forall j,l\in \mathbb{N},l\ge 1\right\}.$

下面，我们给出本文的主要定理。

定理3.1. 令f满足假设(F)与(V)，则对 $\forall \gamma >0$ ，存在 $C,\delta >0$ (与 $f,\bar{\epsilon },\bar{v}$ 有关)，使得当

$\left(\epsilon ,\omega \right)\in \left({\epsilon }_1,{\epsilon }_2\right)\times W_{\gamma }\cap \left\{\left(\epsilon ,\omega \right):\frac{\epsilon }{\omega }\le \delta \gamma \right\}$

时，方程(3.1)存在局部唯一解

$u\left(\epsilon ,\omega \right)=v\left(\epsilon ,w\left(\epsilon ,\omega \right)\right)+w\left(\epsilon ,\omega \right),$

其中 $v\in V$ ， $w\in W_{\sigma ,s}$ 分别满足分支方程与值域方程，并且

${\Vert w\left(\epsilon ,\omega \right)\Vert }_{\sigma ,s}\le C\frac{\epsilon }{\gamma \omega },{\Vert v\left(\epsilon ,w\left(\epsilon ,\omega \right)\right)-\bar{v}\Vert }_{H^1}\le C\frac{\epsilon }{\gamma \omega }+C\left|\epsilon -\bar{\epsilon }\right|.$

注：当 $\sigma ,s$ 满足适当的条件时，定理3.1中的解包含以下两种正则性结论：

情形一，当 $\sigma =0$ 时， $u\in U_{\sigma ,s}$ 具备Sobolev正则性；

情形二，当 $\sigma >0$ ， $s>1/2$ 时， $u\in U_{\sigma ,s}$ 是解析的。

由于 $u\in U_{\sigma ,s}$ 具备以上正则性结论，当 $\sigma ,s$ 满足适当的条件时古典意义的正则性也蕴含其中。因为对 $\forall t\in ℝ$ ，有 $u\left(t,\cdot \right)\in H^3\left(\left(0,\pi \right)\right)$ ，而 $H^3\left(\left(0,\pi \right)\right)$ 可嵌入到 $C^2\left(\left(0,\pi \right)\right)$ 中。

3.2. 分支方程

之前我们使用过一个f导出的Nemitski算子，现在给出它的解析性质，这样由下面的引理可知， $f,f^{\prime },f^{″},\cdots$ 在u的某个邻域内是一致有界的。

引理3.2. 令f满足(F)， $\sigma \ge 0$ ， $s>1/2$ ，则Nemitski算子

$f\left(u\right)\left(x,t\right):=f\left(x,t,u\left(x,t\right)\right)$

在 $\left\{u\in U_{\sigma ,s}:c_s{\Vert u\Vert }_{\sigma ,s}<r\right\}$ 上是良定义的并且是解析的。

证明 首先，对 $s>1/2$ ，由

${\displaystyle \underset{l\in \mathbb{Z}}{\sum }{\Vert u_l\Vert }_{\infty }}\le \sqrt{\frac{\pi }{2}}{\displaystyle \underset{l\in \mathbb{Z}}{\sum }{\Vert u_l\Vert }_{H^1}}\le \sqrt{\frac{\pi }{2}}{\left({\displaystyle \underset{l\in \mathbb{Z}}{\sum }{\Vert u_l\Vert }_{H^1}^2\left(1+l^{2s}\right)}\right)}^{1/2}{\left({\displaystyle \underset{l\in \mathbb{Z}}{\sum }\frac{1}{1+l^{2s}}}\right)}^{1/2},$

有 ${\Vert \cdot \Vert }_{\infty }\le c_s{\Vert \cdot \Vert }_{\sigma ,s}$ 。从而当 $c_s{\Vert \cdot \Vert }_{\sigma ,s}<r$ ， $\sigma \ge 0$ 时，由(F)可知 $\left|f\left(x,t,u\left(x,t\right)\right)\right|<\infty$ 。因此，Nemitski算子f关于 ${\Vert \cdot \Vert }_{\sigma ,s}$ 是良定义的。

根据 ${\Vert \cdot \Vert }_{\sigma ,s}$ 的定义，存在 $C=C\left(\sigma ,s\right)>0$ ，使得对 $\forall \sigma \ge 0$ ， $k\in \mathbb{N}$ ，有

${\Vert {\displaystyle \underset{l\in \mathbb{Z}}{\sum }{f}_{l,k}\left(x\right){\text{e}}^{ilt}}\Vert }_{\sigma ,s}\le C{\Vert {\displaystyle \underset{l\in \mathbb{Z}}{\sum }{f}_{l,k}\left(x\right){\text{e}}^{ilt}}\Vert }_{2\sigma }=C{C}_k\left(f\right)<\infty .$

那么当 $c_s{\Vert \cdot \Vert }_{\sigma ,s}<r$ 时，由(F)有

${\Vert f\left(u\right)\Vert }_{\sigma ,s}\le {{\displaystyle \underset{k\in \mathbb{N}}{\sum }\Vert \left({\displaystyle \underset{l\in \mathbb{Z}}{\sum }{f}_{l,k}\left(x\right){\text{e}}^{ilt}}\right)u^k\Vert }}_{\sigma ,s}\le C{\displaystyle \underset{k\in \mathbb{N}}{\sum }{C}_k\left(f\right){\left(c_s{\Vert u\Vert }_{\sigma ,s}\right)}^k}<C{\displaystyle \underset{k\in \mathbb{N}}{\sum }{C}_k\left(f\right)r^k}<\infty .$

最后，Nemitski算子f关于 ${\Vert \cdot \Vert }_{\sigma ,s}$ 的解析性可由幂函数性质推得(详见 [25] 中的附录A)。

从现在起，我们所用的函数空间脚标仅限于 $\sigma \ge 0$ ， $s>1/2$ 。由引理3.2可知，对上述脚标，存在一个公共的常数 $R_0>0$ ，使得在 $\left\{u\in U_{\sigma ,s}:{\Vert u\Vert }_{\sigma ,s}<R_0\right\}$ 上f是解析的，且 $f,f^{\prime },f^{″},\cdots$ 有公共上界。

由引理3.2可知，f在u的某个邻域内是解析的，因此我们可以利用经典的隐函数定理得到分支方程解的存在性，光滑性及局部唯一性结论。

引理3.3. 设(F)与(V)成立，存在 $R\in \left(0,R_0\right)$ 以及 $\bar{\epsilon }$ 的邻域 $\left[{\epsilon }_1,{\epsilon }_2\right]$ ，对 $\forall \sigma \ge 0$ ， $s>1/2$ ，存在 $C^{\infty }$ 映射：

$v\left(\epsilon ,w\right):\left({\epsilon }_1,{\epsilon }_2\right)\times \left\{w\in W_{\sigma ,s}:{\Vert w\Vert }_{\sigma ,s}<R\right\}\to V,$

使得 $v\left(\epsilon ,w\right)$ 满足分支方程。此外， ${\partial }_{\epsilon }v$ 与 ${\partial }_{w}v$ 存在与 $\sigma ,s$ 无关的上界。

证明 直接应用经典的隐函数定理即可证得解的存在性。

由 ${\partial }_{\epsilon }v$ 与 ${\partial }_{w}v$ 的有界性可以得到

${\Vert v\left(\epsilon ,w\right)-v\left(\epsilon ,0\right)\Vert }_{H^1}\le C{\Vert w\Vert }_{\sigma ,s},{\Vert v\left(\epsilon ,0\right)-\bar{v}\Vert }_{H^1}\le C\left|\epsilon -\bar{\epsilon }\right|.$

3.3. 值域方程

记 $F\left(\epsilon ,w\right):=f\left(v\left(\epsilon ,w\right)+w\right)$ ，于是值域方程可以写成

$L_{\omega }w=\epsilon {\displaystyle {\prod }_{W}F}\left(\epsilon ,w\right).$ (3.4)

从引理3.2可知F在 $\left({\epsilon }_1,{\epsilon }_2\right)\times \left\{w\in W_{\sigma ,s}:{\Vert w\Vert }_{\sigma ,s}<R\right\}$ 上解析，且各阶导数一致有界。

接下来，我们利用压缩映象原理来求解(3.4)，由此可得值域方程解的存在性，光滑性和局部唯一性。

引理3.4. 设(Q)成立，令 $\epsilon \in \left({\epsilon }_1,{\epsilon }_2\right)$ ，对 $\forall \sigma \in \left[0,{\sigma }_0\right]$ ， $s>1/2$ ，存在 $K,K^{\prime },\delta >0$ ，使得当 $\epsilon /\gamma \omega <\delta$ 时， $L_{\omega }$ 在 $W_{\sigma ,s}$ 中可逆，其逆估计

${\Vert L_{\omega }^{-1}\Vert }_{\sigma ,s}\le \frac{K}{\gamma \omega }.$ (3.5)

并且存在 $w\in W_{\sigma ,s}$ 满足 ，且有

${\Vert w\Vert }_{\sigma ,s}\le \frac{\epsilon K^{\prime }}{\gamma \omega }.$ (3.6)

证明 当(Q)成立且 $\epsilon \in \left({\epsilon }_1,{\epsilon }_2\right)$ 时， $L_{\omega }$ 的特征值满足

$\left|{\omega }^2{l}^2-{\omega }_j^2\right|=\left|\left(\omega l-{\omega }_j\right)\left(\omega l+{\omega }_j\right)\right|>\frac{\gamma }{l}\cdot \omega l=\gamma \omega .$

因此 $L_{\omega }$ 可逆，且(3.5)成立。由 $L_{\omega }$ 可逆，可得到

$w=\epsilon L_{\omega }^{-1}{\displaystyle {\prod }_{W}F\left(\epsilon ,w\right)}:=T_{\omega }\left(w\right).$

对 $\forall w_{lj}\in H_0^1\left(\left(0,\pi \right)\right)$ ，记 $L_{\omega }^l{w}_l\left(x\right)=L_{\omega }^l{\displaystyle \underset{j\ge 1}{\sum }{w}_{lj}{\phi }_j}={\displaystyle \underset{j\ge 1}{\sum }\left(-{\omega }^2{l}^2+{\omega }_j^2\right)w_{lj}{\phi }_j}$ ，则

${\Vert {\left(L_{\omega }^l\right)}^{-1}{w}_l\Vert }_{H^1}^2={{\displaystyle \underset{j\ge 1}{\sum }\left(\frac{w_{lj}}{{\omega }_j^2-{\omega }^2{l}^2}\right)}}^2\le {{\displaystyle \underset{j\ge 1}{\sum }\left(\frac{l{w}_{lj}}{\gamma \left(\omega l+{\omega }_j\right)}\right)}}^2\le {\left(\frac{1}{\gamma \omega }\right)}^2{\Vert w_l\Vert }_{H^1}^2.$

因此对 $\forall w\in W_{\sigma ,s}$ ，由 $L_{\omega }^{-1}w={\displaystyle \underset{l\ge 1}{\sum }\left[{\left(L_{\omega }^l\right)}^{-1}{w}_l\right]{\text{e}}^{ilt}}={\displaystyle \underset{l\ge 1}{\sum }\frac{w_l}{{\omega }_j^2-{\omega }^2{l}^2}{\text{e}}^{ilt}}$ ，有

${\Vert L_{\omega }^{-1}w\Vert }_{\sigma ,s}\le \frac{1}{\gamma \omega }{\Vert w\Vert }_{\sigma ,s}.$

从而

${\Vert T_{\omega }w\Vert }_{\sigma ,s}=\epsilon {\Vert L_{\omega }^{-1}{\displaystyle {\prod }_{W}F\left(\epsilon ,w\right)}\Vert }_{\sigma ,s}\le \frac{\epsilon }{\gamma \omega }{\Vert {\displaystyle {\prod }_{W}F\left(\epsilon ,w\right)}\Vert }_{\sigma ,s}\le \frac{\epsilon }{\gamma \omega }{\Vert F\left(\epsilon ,w\right)\Vert }_{\sigma ,s}.$

记 $B_R:=\left\{w\in W_{\sigma ,s}:{\Vert w\Vert }_{\sigma ,s}\le R\right\}$ ，当 $\epsilon \in \left({\epsilon }_1,{\epsilon }_2\right)$ ， $w\in B_R$ 时， $F\left(\epsilon ,w\right)$ 解析，且各阶导数一致有界，从而存在 $K^{″}>0$ ，使得

${\Vert T_{\omega }w\Vert }_{\sigma ,s}\le \frac{\epsilon K^{″}}{\gamma \omega }{\Vert w\Vert }_{\sigma ,s}.$

因此，当 $\epsilon /\gamma \omega$ 足够小时，不妨令 $\epsilon /\gamma \omega <\delta$ ， $T_{\omega }$ 是 $B_R$ 中的一个压缩映射，从而根据压缩映象原理，存在唯一的 $w\in W_{\sigma ,s}$ 满足 ，且存在 $K^{\prime }>0$ ，使得 $w\in W_{\sigma ,s}$ 满足(3.6)。

3.4. 总结

在3.2与3.3节我们分别得到了分支方程与值域方程的解存在性、正则性与局部唯一性结论，至此，定理3.1的全部结论已证明完毕。

基金项目

基金项目：国家自然科学基金项目(12101130)；福建省自然科学基金项目(2021J05130)；福建省教育厅中青年教师教育科研项目(JAT190024)。

参考文献

NOTES

^*通讯作者。