研究如下半线性波动方程的初值问题

其中$\Delta = \sum\limits_{i = 1}^n\frac{\partial^2}{\partial x_i^2}$,且初值满足

该研究问题是如下半线性波动方程小初值Cauchy问题(Strauss猜测)的拓展:

其中$n\geq2$, $\varepsilon>0$是小参数.由此定义(1.1)解的一个生命跨度为$T(\varepsilon)$,

当$1<p<2$时,方程的解常用相应的积分方程来定义并用标准的Strichartz估计来处理,见Sideris^[1], Georgiev等^[2]. 1980年, Kato^[3]证明了当$n = 1$,对于任何$p>1$,都有$T(\varepsilon)<\infty$. 1981年, Strauss^[4]对问题(1.3)当$n\geq2$有以下的Strauss猜想:当$p>p_0(n)$时, $T(\varepsilon) = \infty$,即存在整体解;当$1<p\leq p_0(n)$时, $T(\varepsilon)<\infty$,即解在有限时间内破裂.其中, $p_0(n)$为以下二次方程的正根:

即

$p_0(n)$为Strauss指数, $p_0(n)$是单调递减的.这个猜想的部分结果已经被许多作者证实.

1992年, Zhou^[5]证明了当$n = 1$时,对于任何$p>1$有以下的生命跨度估计

其中$c$和$C$代表正的常数,但独立于$\varepsilon$.此外, 1990年, Lindblad^[6]给出了当$p = 2$时更精确的结果

同样, Lindblad^[6]还得到当$(n, p) = (2.2)$时的下列结果

其中$a = a(\varepsilon)$是满足下面等式的数字

(1)对于次临界指标$1<p<p_0(n)(n\geq3)$或$2<p<p_0(2)(n = 2)$,有以下猜想

其中$\gamma(p, n)$由(1.4)式定义.注意到,将$n = 1$的$\gamma(p, n)$代入(1.9)式中那么和(1.5)式的第二行相同.下表总结了验证这一猜想的结果.

注意到,对于$n = 2, 3$,有

已经在本表中建立.此外, $n\geq4$时的次临界情形生命跨度上界估计蕴含在Sideris^[1]的结果中,该文中的方法也被Georgiev等^[2]和Zhou, Han^[7]分别用来建立波动方程组和外区域上初边值问题次临界情形的生命跨度上界估计.最早的Kato型引理(Kato^[3])的思想是证明未知函数在全空间上的积分会在有限时间内破裂.

(2)对于临界指标$p = p_0(n)$,有如下猜想

下表总结了验证这一猜想的结果.

本文参照Takamura^[8]中的思想,利用波动方程解的表达式,改进了文献[9]中$n = 2,$$1<p\leq2$及$n = 1,$$p>1$情形时解的生命跨度上界估计.主要结论为如下两个定理:

定理1.1  令$n = 2, 1<p\leq2$且$f\equiv0$.假设$g\in C^1({\Bbb R}^2)$为非负且有紧支集$g\subset\{x\in {\Bbb R}^2:|x|\leq R\}$.若问题(1.1)有解$u\in C^1({\Bbb R}^2\times[0, T(\varepsilon)))$,且满足$suppu(x, t)\subset \{(x, t)\in {\Bbb R}^2\times [0, \infty):|x|\leq t+R\}$.那么必定存在一个正常数$\varepsilon_2 = \varepsilon_2(g, p, R)$,使得$\bar{T}(\varepsilon)$满足

其中$a(\varepsilon)$满足$a(\varepsilon)^{4\alpha+2}\varepsilon^2 \log (1+a) = 1, 0<\varepsilon\leq \varepsilon_2$,且$C$是一个独立于$\varepsilon$的正常数.

定理1.2  当$n = 1, p>1$,假设$f\in C^2({\Bbb R}), g\in C^1({\Bbb R})$都有$(f, g)\subset \{x\in {\Bbb R}^2:|x|\leq R\}$.若问题(1.1)有解$u\in C^2({\Bbb R}\times[0, T(\varepsilon)))$,那么必定存在一个正常数$\varepsilon_3 = \varepsilon_3(f, g, p, R)$,使得$\bar{T}(\varepsilon)$满足

其中$0<\varepsilon\leq \varepsilon_3$,且$C$是一个独立于$\varepsilon$的正常数.

正文安排如下:第2节,利用构造辅助函数和球坐标变换,对半线性波动方程的加权非线性项进行估计;第3节,证明定理1.1,讨论$\alpha$的取值范围,并与定理1.3的生命跨度估计作对比;第4节,证明定理1.2,并与定理1.3的生命跨度估计作对比.

定理1.3^[9]  设$f$与$g$满足(1.2)式,假设问题(1.1)有解

使得

我们有$T(\varepsilon)\leq C\varepsilon^{-\frac{p(p-1)}{(p-1)a-q+2}}$,其中$a = n+1- \frac{(n-1)p}{2}+2\alpha$, $q = n(p-1)-2\alpha$.

引理1.1^[8]  设$p>1, a>0, q>0$,满足

设$F\in C^2([0, T))$满足

其中$A, B, R, T_0$为正的常数.当$C_0 = C_0(p, a, q, B)$,使得

若假设(1.16)式用下式替换

同时$t_0>0$, $F(t_0)\geq2F(0).$然后,将引理1.1的结论转化为存在一个正常数$C_0 = C_0(p, a, q, B)$,

从而

引理1.2^[8]  当$n\geq2$,且$1<p<p_0(n)$,假设假设$f$与$g$满足(1.2)式的函数,且问题(1.3)有解

使得

那么存在$\varepsilon_0 = \varepsilon_0(f, g, n, p, R)$,使得

其中$0<\varepsilon<\varepsilon_0$,且$C$为正的常数独立于$\varepsilon$.

在本文中,记号$C$表示常数,在不同的地方可能表示不同的值.

构造辅助函数

对于适当的$a$和$q$,函数$F(t)$满足引理1.1的常微分不等式.首先,

这里用到波动方程的有限传播速度以及如下事实:

为散度定理的推论.为了估计(2.2)式的右端项,直接应用Hölder不等式,得

即

从而有

引理2.1^[9]  若$\alpha<\frac{n(p-1)}{2}$,则

证  由球坐标变换,可得

引理证毕.

因此

从而得到

在定理1.1的假设下,应用非齐次二维波动方程的Poisson公式可得

注意到$|y|\leq R, |x|\leq t+R$由于第一项的支集的特性,且第二项为非负,应用不等式

可得

如果假设$|x|+R\leq t$,当$|y|\leq R$有$|x-y|\leq t$,得到

从而

这与高维情况相同.结合(2.2)和(3.2)式,可得

由球坐标变换可知

当$1<p<2$时,且$\alpha<0$,由(3.3)式的右端项

有

对上面的不等式在$[3R, t]$积分,利用$F'(0) = \| g\| _{L^1(R^2)}\varepsilon>0$,得到

从而可得

结合(2.6)式可知

将当$n = 2, 1<p<2$时的情况应用到引理1.1,有

那么

即$\alpha>\frac{p-3}2$.同时由(3.4)式中的条件可知$\alpha<0$,也使得引理2.1中的$\alpha<\frac{n(p-1)}2$成立.

综合上述, $\frac{p-3}2<\alpha<0$.

由改进的Kato引理1.1的生命跨度,可得$\bar{T}(\varepsilon)\leq C_0A^{-(p-1)/(2M)},$其中$A = \varepsilon ^p$, $M = -\frac12 p^2+\frac32p+p\alpha$.可得

同时,将$n = 2, 1<p<2$的情况应用到定理1.3来估计生命跨度,可得

其中$a = 3-\frac p2+2\alpha$, $q = 2p-2-2\alpha$.从而

比较(3.7)与(3.8)式,由于$0<\varepsilon \ll 1$,且

从而

即当$n = 2, 1<p<2$的生命跨度$\bar{T}(\varepsilon)$估计优于$T(\varepsilon)$.

当$p = 2$时,由(3.3)式的右端项利用分部积分,可得

为了不失一般性,假设

注意到$(t-R)/2\geq R$等价于$t\geq 3R$.因此,可以缩小积分区间为$[R, (t-R)/2]$,可得

从而

其中

可得

由(3.9)式可知, $32R^4-3R\geq3R$.结合(2.2)和(3.3)式,可得

这个式子出现了一个额外的项$\log \frac {t}2$.

对上面的不等式在$[32R^4, t]$积分,利用$F'(0) = \| g\| _{L^1(R^2)}\varepsilon>0$,得到

同样步骤在$[64R^4, t]$积分,由于$F(0) = 0$,可得

由(2.6)式当$n = 2, p = 2$时,可得

将当$n = 2, p = 2$时的情况应用到引理1.1,有

由(1.13)式可知, $M = 2\alpha+1$.如果$T_0$满足

将$T_1 = T_0$代入(1.18)式中,可得

同时,由(3.10)与(1.14)式

结合(3.13)与(3.14)式,可得

取适当的$T_0$,若$\frac{\| g\| _{L^1(R^2)}}{\pi C_0^{4\alpha+2}}\geq 1$,假设$\frac{T_0}{16} = a(\varepsilon),$其中$a(\varepsilon)$满足$a(\varepsilon)^{4\alpha+2}\varepsilon^2 \log (1+a) = 1$.因此存在一个正常数$\varepsilon_{21} = \varepsilon_{21}(g, R)$,满足

由(3.12)式中的$a(\varepsilon)$是单调递减的函数,且$\lim\limits_{\varepsilon\rightarrow+0}a(\varepsilon) = \infty$.且$R\geq 1$可知

即

结合(3.12)与(3.15)式,可得

另一部分$\frac{\| g\| _{L^1(R^2)}}{\pi C_0^{4\alpha+2}}\leq 1$,假设

由(3.12)式,且存在一个正常数$\varepsilon_{22} = \varepsilon_{22}(g, R)$,满足

同时$R\geq1$,即

结合(3.12)与(3.15)式,可得

从而

结合(3.16)和(3.17)式,由引理1.1可得

其中$\varepsilon_2 = \min\{\varepsilon_{21}, \varepsilon_{22}\}$.同时$2^{2/M}T_1 = 2^{\frac2{2\alpha +1}}T_0$,所以

由改进的Kato引理1.1的生命跨度,可得

其中$a(\varepsilon)$满足$a(\varepsilon)^{4\alpha+2}\varepsilon^2 \log (1+a) = 1$,由(3.7)与(3.18)式完成了定理1.1的证明.

同时,将当$n = 2, p = 2$时的情况应用到定理1.3来估计生命跨度,可得$T(\varepsilon)\leq C\varepsilon^\frac{-p(p-1)}{(p-1)a-q+2},$其中$a = n+1-(n-1)p/2+2\alpha, q = n(p-1)-2\alpha$.可得

比较(3.18)与(3.19)式,有

即当$n = 2, p = 2$,的生命跨度$\bar{T}(\varepsilon)$估计优于$T(\varepsilon)$.

由于$u\in C^2({\Bbb R}\times[0, T(\varepsilon)))$,且$suppu(x, t)\subset \{x\in {\Bbb R}^2:|x|\leq R\}$,对(2.1)式在${\Bbb R}$积分

由(2.6)式当$n = 1$时,可得

由一维的达朗贝尔公式可知

(1)当$\int_{\Bbb R} g(x){\rm d}x>0$,由(4.3)式可得

其中$G = \frac12\int_{\Bbb R} g(x){\rm d}x>0$.

结合(4.1)式,有

由$F'(R)\geq F'(0)>0, F(R)>F(0)\geq0$,并对上式在区间$[R, t]$积分2次,有

结合(4.2)与(4.4)式,由引理1.1可得

可得

从而

同时,将$n = 1, p>1$的情况应用到定理1.3中来估计生命跨度,可得

其中$a = 2+2\alpha, q = p-1-2\alpha$.

从而

比较(4.5)与(4.6)式,由于$p>1$且$0<\varepsilon\ll 1$,可知

从而

即当$n = 1, p>1$的生命跨度$\bar{T}(\varepsilon)$估计优于$T(\varepsilon)$.

(2)当$f\geq0(\not\equiv0), g\equiv0$由(4.3)式可得

结合(4.1)式,可得

由$F'(R)\geq F'(0)>0, F(R)>F(0)\geq0$,并对上式在区间$[R, t]$积分2次,有

与(1)同理,于是完成了定理1.2的证明.