一类偏微分方程特征值带权估计.docxVIP

一类偏微分方程特征值带权估计 1 nn,121122 、m2）是一个有平滑边界的带。考虑到以下特征值问题。 {-△5u=λs(x)u,x∈Ω?ku?vk=0,k=0,1,2,3,4;x∈?Ω (1.1)(1.2) 其中v是边界?Ω的单位外法向量,x=(x1,x2,?,xn)?s(x)∈c(ˉΩ),且满足 其中μi(i=1,2)是正实数,△为拉普拉斯算子。 本文中,我们运用文献中的方法,并对其方法加以改进,获得了用前n个特征值来估计第n+1个特征值的上界的不等式,其估计系数与区域的度量无关。这个结果在力学和物理学中有着广泛的应用。 根据方程理论知,问题(1.1)、(1.2)的特征值是离散的,且都是正实数。 设问题(1.1)、(1.2)的特征值为 0λ1≤λ2≤…≤λn≤λn+1≤… 与之对应的特征函数为u1,u2,…,un,un+1,…,且满足 ∫Ωs(x)uiujdx=δij={1i=j0i≠j(i,j=1,2,?)(1.4) 利用(1.3)和(1.4),得 1μ2≤∫Ω|ui|2dx≤1μ1(1.5) 记:???=?2=△?ui,xk=?ui?xk?ui,xk,xj=?2ui?xk?xj(i,j,k=1,2,?)。 从问题(1.1)和(1.2),利用分部积分法,有 λi=∫Ωui(-△5ui)dx=∫Ω|?5ui|2dx,(i=1,2,?,xk)(1.6) 设?ik=xkui-n∑j=1akijuj(1.7) 其中akij=∫Ωxks(x)uiujdx,(i=1,2,…,n;k=1,2,…,m)。 显然,akij=akji,?ik与u1,u2,…,un带权正交,且满足 ?ik=??ik?v=?2?ik?v2=?3?ik?v3=?4?ik?v4=0,x∈?Ω,(i=1,2,?,n;k=1,2,…,m) 于是,利用Rayleigh定理,得到下列不等式 λn+1≤∫Ω?ik(-△5?ik)dx∫Ωs(x)?ik2dx(i=1,2,?,n;k=1,2,…,m) (1.8) 计算得 -△5?ik=λis(x)xkui-10△4ui,xk-∑j=1naijkλjs(x)uj(1.9) 利用?ik与uj(j=1,2,…,n)的带权正交性,以及∫Ωs(x)?ik2dx=∫Ωxks(x)?ikuidx,从式(1.9),有 ∫Ω?ik(-△5?ik)dx=λi∫Ωs(x)?ik2dx-10∫Ω?ik△4ui,xkdx(1.10) 设 Ιik=-∫Ω?ik△4ui,k,Ι=∑k=1m∑i=1nΙik?Uik=∫Ωs(x)?ik2dx,U=∑k=1m∑i=1nUik。 利用式(1.10),得 ∑k=1m∑i=1n∫Ω?ik(-△5?ik)dx=∑k=1m∑i=1nλi∫Ωs(x)?ik2dx+10Ι(1.11) 利用式(1.8)和(1.11),有 λn+1U≤∑k=1m∑i=1nλi∫Ωs(x)?ik2dx+10Ι(1.12) 在式(1.12)中,用λn替代所有的λi(i=1,2,…,n),有 (λn+1-λn)U≤10I(1.13) 2 明确i的特征函数 引理1 设ui是问题(1.1)、(1.2)对应特征值λi的特征函数(i=1,2,…,n),则 1)∫Ω|?3ui|2≤λi35μ125; 2)∫Ω|?2ui|2≤λi25μ135; 3)∫Ω|?ui|2≤λi5μ145。 证利用分部积分法、Schwartz不等式和(1.5),得 ∫Ω|?ui|2dx≤μ1-12(∫Ω|?2ui|2dx)12(2.1) 同理,∫Ω|?2ui|2dx≤μ1-14(∫Ω|?2ui|2dx)14(∫Ω|?3ui|2dx)12。 化简,得 ∫Ω|?2ui|2dx≤μ1-13(∫Ω|?3ui|2dx)23(2.2) 利用分部积分法,Schwartz不等式,(1.5), (2.1),(2.2)和(1.6),得 ∫Ω|?3ui|2dx≤μ116λi14(∫Ω|?3ui|2dx)712 化简得引理1(1)式。引理1(1)代入(2.2)得引理1(2)式。引理1(2)代入(2.1)得引理1(3)式。 引理2 设ui是问题(1.1)、(1.2)对应特征值λi的特征函数(i=1,2,…,n),则 1)∑k=1m∫Ω|?3ui,xk|2dx=∫Ω|?4ui|2dx; 2)-∑k=1m∫Ωxkui△4ui,xkdx=12(8+m)∫Ω|?4ui|2dx。 证对于1),利用分部积分法,得 ∑k=1m∫Ω|?3ui,xk|2dx=∑k=1m∫Ωui,xk(-△3ui,xk)dx=∑k=1m∫Ωui,xkxk△3uidx =∫Ω△ui?△3uidx=∫Ω|?4ui|2dx 类似地,有 -∫Ωxkui△4ui,xkdx=∫Ω|?4ui|2dx+∫Ωxkui△4ui,xkdx+8∫Ωui△