1. 引言
对于非线性波动方程解的存在性以及解的爆破性质的研究一直是学者们重视的课题。如果把非线性波动方程的问题引申到宇宙空间,按照宇宙学原理,在宇宙学尺度上天体系统最重要的特征是其具有均匀性和各向异性。弗里德曼–勒梅特–罗伯逊–沃尔克度规(Friedmann-Lemaître-Robertson-Walker metric)是爱因斯坦场方程(Einstein field equations)的一个精确解,简称FLRW度规,描述的是一个满足宇宙学原理(cosmological principle)的宇宙,它有均匀性和各向同性的特性。现代宇宙学在过去的近100年间,科学家对FLRW度规的各种复杂情况都进行了研究,在这个数学框架内,宇宙的每一次观测结果几乎都是可以解释的,它主要描述了宇宙时空的两个属性,其属性之一是空间的几何结构。
刘安国文献 [1] 中可知爱因斯坦场方程解的一般式是利用对称性求得的,在默认了宇宙均匀性及各向同性以后,还需要考虑宇宙随时间膨胀或收缩的情况。为了方便我们可以将度规中的空间部分对时间的依赖性放在一个因子a中,于是利用其均匀性和各向同性可以将度规在笛卡尔坐标系写成如下的形式:
,
其中
代表了度规中的空间部分。如果我们用状态方程下的能量动量求解爱因斯坦方程可以得到:
(1)
其中c是一个常数,
是一个比例常数,详见文献 [2] 。
近些年来关于Friedmann-Lemaître-Robertson-Walk时空的半线性波动方程及其解的爆破问题学者们进行了广泛的研究,其中对于加速膨胀的Friedmann-Lemaître-Robertson-Walk时空,有如下柯西问题:
(2)
这里
和
为非负实数,
为小的参数,
为(2)经典解的生命跨度,也是T的最大值,假设
表示Fujita指数,可写为
,
表示施特劳斯指数,它是如下方程的正根:
,
Takamura K等证明了在有限时间内的爆炸和
情况下的跨度上限估计,令
,
其中
是
的正根。在文献 [3] 中作者得到如下生命跨度:
(3)
最近Palmier在文献 [4] 中用不同的方法得到了如上结果。
然而如果Fujita指数大于Strauss指数,那么生命的上限估计会比(3)更尖锐,其结果证明可以参考文献 [5] 和 [6] ,实际上已经在文献 [7] 中证明
的跨度上界:
从文献 [4] 中我们可以得到相同的结果,而且上述结果也对应于 [8] 的结果,如果幂p是由Strauss指数所主导,那么到目前为止所述的这些都是尖锐的,在这种情况下我们可以说生命跨度是波动的,如文献 [9] 中提到的。
以上的结果都是基于加速膨胀的Friedmann-Lemaître-Robertson-Walk时空,考虑的问题为这三种方程的特殊情况,即方程
的特殊情形。这里
为波动算子。
本文主要考虑以下柯西问题在该收缩时空解的爆破,即为上述三种方程在
,
以及
,
为使该不等式成立的最大正数时的情形:
(4)
(5)
(6)
其中
是一个小的参数,
,
。
2. 主要定理
在本文中的所有C可能为不同的非负常数,对于以上柯西问题解的爆破问题我们只需证明下列定理:
定理1.1 假设
,
,
是柯西问题(4)的经典解,对于
,存在一个正数且独立于A1,p,
和C的常数
,使得T满足:
,
这里C是独立于A1,p,
和C的常数。
定理1.2 假设
,
,
是柯西问题(5)的经典解,其中
,
,对于
,存在一个正数且独立于A1,p,
和C的常数
,使得T满足:
,
这里C是独立于A1,p,
和C的常数。
推论1.1:如果
,T满足
。
定理1.3 假设
,
,
是柯西问题(6)的经典解,其中
,
,对于
,存在一个正数且独立于
,p,
和C的常数
,使得T满足:
,
这里C是独立于A1,p,
和C的常数。
推论1.2:如果
,T满足
。
3. 必要的引理
对于以上的定理的证明,需要引入如下引理及其证明。
引理2.1 假设
,
,
,
,
,
以及
,
这里
,如果
满足下面三个条件:
i)
,
,
ii)
,
,
iii)
。
其中A0,A1是正常数,使得T满足:
,
这里C是独立A1,
,p以及c的常数。
证明 我们主要通过引用文献 [2] 、 [10] 以及 [11] 的方法证明该引理。
在假设(ii)的两边同时乘以
得:
,
对于上述不等式在
上积分得:
,
由假设可知
,
,可得
。
将i)代入ii)得:
(7)
将不等式(7)两边同时乘以
得:
(8)
由
,上述不等式(8)两端分别在
积分得:
即
基于以上的事实,我们定义序列
,
,
,其中
。
由
,
,
,
其中
;
;
。
解得
,
,
,
所以
以及
这里
。
对上式取对数,我们可以得到:
,
这里
。
所以
其中
。
又由于
,通过假设的条件,选取足够大的t,可以找到一个正的
满足如下:
,
易知对于足够大的t,当
时
,所以
因此的到生命跨度T满足:
,
其中
,C是独立A1,
,p以及c的常数。
即完成引理2.1的证明。
引理2.2 假设
,
,
,
,
,
以及
,
其中
,如果
满足下面三个条件:
i)
,
,
ii)
,
,
iii)
,
。
其中A0,A1是正常数,使得T满足:
,
其中这里
,
为使该不等式成立的最大正数。
证明与引理2.1的证明相似,在假设(ii)的两端同乘以
得:
,
再对上述不等式在
积分:
通过假设(iii)可知
。即
。
将(i)代入(ii)后,再在不等式两边同乘以
得:
,
,
同样对上述不等式在
上积分:
,
,
又因为
,所以
对上述不等式再次在
积分得:
,
由假设iii)
,即
,
基于以上的事实,我们定义序列
,
,
由
以及
,
其中
;
;
;
可得:
,
,
,
,
易得
,
,
这里
。
当j足够大时,以及
。
所以
其中
。
又由于
,
通过假设的条件,选取足够大的t,可以找到一个正的
满足如下:
,
易知所以对于足够大的t,当
时
,所以
,
,
对上述不等式两端取指数得:
因此得到T满足
,
其中
,即证。
引理2.3 Poincaré不等式:对于任意的
,存在常数
,使得
。
4. 定理的证明
通过应用上述引理,下面求三类半线性波方程FLRW时空中解的爆破情况。
4.1. 定理1.1的证明
首先令
,通过 [12] 可知该柯西问题:
,
又由于
(9)
对于(4)的柯西问题,同时对式子两边在
上积分以及通过Hölder不等式得:
(10)
对不等式(10)左边乘以
得:
,
即
,
我们得到
,
其中
。
对于(10)中
因此
(11)
,
对于(10)式两边同时乘以
,并在
上积分得:
,
将(10)式代入(11)得
我们最后得
,
这里
;
;
;
以及
。
又由于
,我们得到柯西问题的生命跨度满足:
,
定理得证。
对于定理1.2及定理1.3的情况我们利用相同的方法进行证明。
4.2. 定理1.2的证明
对于柯西问题(5)的生命跨度,首先引入
,
易得
(12)
上式利用Hölder不等式得:
(13)
由于
,对不等式(13)左边积分可得:
,
所以
,再对上述不等式在
积分得:
(14)
这里
是独立于C和t的常数,在不等式(13)两边同乘以
再在
积分得:
,
,
结合(9),(14)再次在
积分得:
,
这里
以及
,
易知这种情况的柯西问题的生命跨度为:
,
如果
,T满足
,定理1.2即证。
4.3. 定理1.3的证明
对于柯西问题(6)的生命跨度,同样首先引入
,
同柯西问题(6)我们易知
(15)
上式引理2.3以及Hölder不等式得:
(16)
因为
,对(16)左边在
积分得
,
由于
,
,再对上述不等式在
积分得:
(17)
对不等式(16)重复上述定理1.2证明的步骤得:
,
这里
以及
,
这种情况的柯西问题的生命跨度为:
,
如果
,T满足
,定理1.3即证。
5. 总结
本文对收缩的FLRW时空背景下的三种半线性波动方程更为一般的情形做出了解的爆破的证明以及生命跨度估计,对前人的结论进行一定程度的推广。对方程解的爆破的研究的意义和研究方程解的整体存在性一样,具有重大的意义,我们可以在解的表达式难以求出的时候对解进行一个随时间变化的趋势的描述,求出生命跨度估计对于研究这些宇宙中满足这三类方程的波具有一定物理意义,我们可以通过生命跨度来估计这些波在宇宙中的传播时间上限。但是受研究方法的限制以及作者本人水平,本文无法完全解决一般情况下的该方程的解的爆破问题,读者在推导过程中应该可以发现,对
所做的各种假设其实也是为了能在不等式计算方面进行一个较为简便的处理,使得生命跨度的估计可以顺利得到,不做如上假设,则暂时无法得出更为一般的结论。若能彻底解决一般情形下的问题,这将对宇宙学有十分重要的意义。