|
等式(59)源自向量束上曲率的定义,并利用Satz3。21 in[Baum(2014)],ρ(π)=π* · .现在我们在适当的希尔伯特空间上引入拉普拉斯连接。定义39。现金流束截面的空间可以通过引入,对于s,快速截面f=f(t,x,ω)=(fs(t,x,ω))s,转化为标量乘积空间∈[0,+∞[g=g(t,x,ω)=(gs(t,x,ω))s∈[0,+∞[,如下:(f,g):=ZOhmdPZXdNxZ+∞dt hf,gi(t,x,ω)=E^i(f,g)L(M,R[0+∞[)ó=(f,g)L(Ohm,五、 其中hf,gi(x,t,ω):=Z+∞dsfs(t,x,ω)gs(t,x,ω)。可积截面的希尔伯特空间如下:H:=L(Ohm, 五、 A,dP)=f=f(t,x,ω)=(fs(t,x,ω))s∈[0,+∞[(f,f)L(Ohm,五、 A,dP)<+∞. (62)在考虑拉普拉斯连接时,对于保证自伴性的局部椭圆边界条件,有两种标准选择:oDirichlet bo-u-ndary条件:BD(f):=f|M.(63)o诺依曼边界条件:BN(f):=(Vνf)|M、 (64)式中,ν表示法向单位向量场M通过考虑ωa参数依赖性,我们可以应用标准结果泛函分析来获得以下命题。40号提案。拉普拉斯的联系V:=五、*V由Neumann边界条件dom给出的域定义VBN:=^f∈ H | f(ω,·,·)∈ H(M,R[0+∞[),BN(f(ω,·,·))=0 ω ∈ Ohm()(65)是H上的自伴算子。其谱由[0]中的离散谱(特征值)和连续谱(近似特征值)的不相交并组成+∞[:规格(VBN)=specd(VBN)˙∪特种部队(VBN)。(66)如果M是紧凑的,例如,通过设置M:=[0,T]×X,X RNcompact和T<+∞, 然后连续谱是空的,特征值可以按单调递增序列排序,收敛到+∞.备注41。
|