一类铁磁链方程解存在性.docVIP

一类铁磁链方程解存在性 　　摘要: 研究了具有初始和边界条件下线性抛物形微分方程组以及铁磁链方程在边界值下的问题,并且证明了解的存在性. 　　关键词: 存在性；解；铁磁链方程 　　中图分类号:O175.2 　　 文献标识码:A文章编号:1672-8513(2010)05-0352-04 　　 　　Existence of the Solution Ferro-Magnetic Chain 　　ZHONG Tai?yong,DENG Le?bin,LI Jun?hua 　　 (Department of Mathematics, Yunyang Teachers College, Shiyan 442000, China) 　　Abstract: This paper discusses the linear parabolic system with the initial and boundary conditions and the initial boundary value problem of the ferro-magnetic spin chain equation, and proves the existence of the solution. 　　Key words: existence; solution; ferro-magnetic chain 　　 　　 连续性海森伯自旋波方程在物理学家中引起了相当大的兴趣.在1维的铁磁链的古典研究中，对于各向同性的海森伯方程链即所谓的Landan?Lifshitz方程［1］是下列方程系统中的一种特殊情况： 　　?z?t=z×z??xx+f(x,t,z) 　　其中z=(u,v,w)是未知的3维向量值函数，f(x,t,z)是给定的关于x,t和z的3维向量值函数,“×”表示2个3维向量的叉乘.关于铁磁连方程组在有界问题下的弱解的存在性已经在文献［2］中得到证明.而下列含有吉尔伯特阻尼项的方程组 　　z?t=－αz×(z×z??xx)+z×z??xx+z×f(x,t,z). 　　上式关于广义系统铁磁链方程组的光滑整体解的存在性问题已经在文献［3］中得到证明了. 　　1 线性抛物方程组解的存在性 　　我们考虑线性抛物方程组 　　z?t=A(x,t)z??xx－z?x－z+f(x,t),(1) 　　具有下列初始值和边界条件下 　　z(0,t)=0 和 z?x(0,t)=0，当x=0时,(2) 　　z(l,t)=0 和 z?x(l,t)=0，当x=l时,(3) 　　z(x,0)=z?0(x)，当x=0时,(4) 　　其中z(x,t)和z?0(x)是2个n维向量值函数. 　　引理1 假设线性抛物方程组(1)和初始值向量值函数z?0(x)满足下列条件： 　　1）?f(x,t)是一在Q?T上n维向量值平方可积函数， 　　其中Q?T={0≤x≤l,0≤t≤τ}，(0≤τ≤T); 　　2）?z?0(x)∈W(1)?2(0,l)是n维向量值函数，满足边界条件; 　　3）?A(x,t)是在Q?T上的N×N正定矩阵和可测有界矩阵，则在边界问题(1) ~(4)存在唯一的向量值解 　　z(x,t)∈L?∞((0,t);W(1)?2(0,l))∩W(2,1)?2(Q?T),(5) 　　且具有下列估计 　　?sup?z(x,t)??w?2(1)(0,l)+z?t??L?2(Q?T)+z??xx??L?2(Q?T)≤k(z?0??w??2?(1)(0,l)+f??L?2(Q?T)).(6) 　　证明 用z和z??xx分别对方程组(1)做内积，可以得到 　　(z,z?t)－(z,Az??xx)+(z,z?x)+(z,z)=(z,f), 　　(z??xx,z?t)－(z??xx,Az??xx)+(z??xx,z?x)+(z??xx,z)=(z??xx,f). 　　然后对上面式子进行相减，因为 　　?∫?l?0(z??xx(x,t),z?t(x,t))?d?x=z?x(x,t),z?t(x,t)?l?0－∫?l?0(z?x(x,t),z??xt(x,t))?d?x 　　再利用边界条件(2)和(3)，可以得到上面的等式中的右边第1项为0，于是有 　　∫?l?0(z??xx(x,t),z?t(x,t))?d?x=－∫?l?0(z?x(x,t),z??xt(x,t))?d?x=－12?d??d?tz?x(?,t)?2??L?2(0,l). 　　在矩形区域上，对上面的得到的减式进行积分，可得 　　[JP3]z(?,t)?2??w?2(1)(0,l)-z?0?2??w?2(1)(0,l)+2?Q?T(z??xx,Az??xx)?d?x