第三节线性算子
1.3线性有界算子,巴拿赫空间中的几个定理
§3线性有界算子,巴拿赫空间中的几个定理一、线性赋泛空间在前一节,对集合引入距离的概念,从而定义了极限下面再引入元素的加法及数乘的代数运算。
定义1:设为一集合,如果:(一)在中定义了加法,即对中的任意元素,存在相应的元素,记,称为的和,并适合:E E ,x y u E ∈u x y =+,x y E(1)(2)()(3)在中存在唯一的元素(称为零元素),对任何中的元素,有(4)在中存在唯一的元素,使称为的负元素,记为。
(二)在中定义了元素与数(实数或复数)的乘法,即在中存在元素,x y y x+=+()()x y z x y z ++=++z E ∈E θE x x xθ+=E 'x 'x x θ+='x x x −E E v记(为任何实数或复数,),称之为与元素的数积,适合:(5)(6)(是数)(7)(8)便称为线性空间(或向量空间),称中元素为向量。
若数积运算只对实数(复数)有意义,则称是实(复)线性空间。
v ax =a a x E ∈x ()()a bx ab x =,a b ()a b x ax bx+=+()a x y ax ay+=+E E E 1x x⋅=定义2:设是线性空间,是的非空子集。
如果对任何,对于中的元素都有及,那么,按中的加法及数积也成为线性空间,称为的线性子空间(或简称子空间)。
和是的两个子空间,称为平凡子空间。
若则称是的真子空间,每个子空间都含有零元素。
E M E αM ,x y x y M +∈x M α∈M E E E E {}0E M ≠M E定义3:设是线性空间的向量是个数,称为的线性组合。
若中之集的任意的有限个向量都线性无关,则称是的线性无关子集。
若是中的线性无关子集且对于中的每个非零向量都是中向量的线性组合,则称是的一组基若中存在由(有限)个线性无关向量组成的基,就说是维(有限维)线性空间,否则说是无限维空间。
E n E M M E A E E x A A E E n E n 12,,,n x x x …12,,,n ααα…11n n x x αα++…1,,n x x …引入距离,则不难验证,满足距离公理的三个条件,于是线性赋范空间就成为距离空间,今后对线性赋范空间总是按(*)式引入距离使之成为距离空间。
物理学中的拉普拉斯算子
物理学中的拉普拉斯算子在物理学中,拉普拉斯算子常常出现在各种方程中。
那么,什么是拉普拉斯算子呢?拉普拉斯算子是一个向量算子,通常表示为$\nabla^2$。
在三维笛卡尔坐标系下,它的表达式为:$\nabla^2=\dfrac{\partial^2}{\partialx^2}+\dfrac{\partial^2}{\partial y^2}+\dfrac{\partial^2}{\partial z^2}$可以看出,拉普拉斯算子是由三个二阶偏微分算子组成的。
在一个三维欧几里得空间中,拉普拉斯算子描述了一个点周围的曲率或弯曲程度。
因此,它被广泛应用于物理学、工程学等领域的方程中。
在自然科学中,拉普拉斯算子的应用十分广泛。
例如,在流体力学中,拉普拉斯算子常常用于描述流体中的速度场和压力场。
在电动力学中,它被用来表示电场和磁场的变化。
在热学中,它可以描述温度场和热流的分布。
总之,无论是哪个领域,只要涉及到连续性和光滑性,都可以使用拉普拉斯算子。
拉普拉斯算子还有一个重要的应用,那就是求解微分方程。
由于很多微分方程的解与拉普拉斯算子的特征函数有关,因此拉普拉斯算子可以用于求解各种微分方程。
这也是为什么它在物理学和工程学中如此重要的原因之一。
那么,拉普拉斯算子有哪些性质呢?首先,它是一个线性算子,满足以下性质:$\nabla^2(f+g)=\nabla^2f+\nabla^2g$$\nabla^2(af)=a\nabla^2f$其中,$f$和$g$是可导的标量函数,$a$是标量。
其次,拉普拉斯算子和向量算子$\nabla$存在一种联系。
在三维笛卡尔坐标系下,$\nabla$可以表示为:$\nabla=\dfrac{\partial}{\partial x}\hat{x}+\dfrac{\partial}{\partial y}\hat{y}+\dfrac{\partial}{\partial z}\hat{z}$那么,$\nabla^2$可以写成$\nabla\cdot\nabla$的形式。
第二章 线性算子与线性泛函
第二章 线性算子与线性泛函第一节 有界线性算子一、线性算子本段中只需假设,,X Y Z 等是K 上的向量空间。
定义: 若一个映射:T X Y →满足()(,,,)T x y Tx Tyx y X αβαβαβ+=+∈∈K ,则称T 为从X 到Y 的线性算子。
容易看出,上述等式可推广到更一般的情形:()i iiiiiT x Tx αα=∑∑。
命题2.1.1 设:T X Y →是一线性算子,则以下结论成立:(1)任给子空间A X ⊂与子空间B Y ⊂,TA 与1T B -分别为Y 与X 的子空间。
特别,(0)0T =与()R T TX =(值域)是Y 的子空间;1()(0)N T T -是X 的子空间(称为T 的核或零空间)。
(2)若向量组{}i x X ⊂线性相关,则{}i Tx 亦线性相关;若A 是X 的子空间且dim A <∞,则dim dim TA A <。
(3)T 是单射(){0}N T ⇔=。
说明:若0()Tx Y x X ≡∈∈,则称T 为零算子,就记为0;若(),Tx x x X αα≡∈∈K 为常数,则称T 为纯量算子(或相似变换,若0α≠),记作I α,当0α=与1时,I α分别是零算子和单位算子。
对线性算子可定义两种自然的运算:线性运算与乘法。
若,:T S X Y →是线性算子,,αβ∈K ,则:T S X Y αβ+→是一个线性算子,它定义为()().(2.1.2)T S x Tx Sx x X αβαβ+=+∈若:R Y Z →是另一个算子,则由()()().(2.1.3)RT x R Tx x X =∈定义出一个线性算子:RT X Z →,称它为R 与T 的乘积。
实际上,线性算子的乘积就是它们的复合。
容易原子能正验证,如上定义的运算有以下性质:11(),()();R T S RT RS R R T RT R T +=+⎧⎨+=+⎩分配律()();()Q RT QR T =结合律()()(),()RT R T R T αααα==∈K只要以上等式的一端有意义。
研究生矩阵论第讲 线性空间
矩阵论1、意义随着科学技术的发展,古典的线性代数知识己不能满足现代科技的需要,矩阵的理论和方法业巳成为现代科技领域必不可少的工具.有人认为:“科学计算实质就是矩阵的计算”.这句话概括了矩阵理论和方法的重要性及其应用的广泛性.因此,学习和掌握矩阵的基本理论和方法,对于理、工科研究生来说是必不可少的数学工具.2、内容《矩阵论》与工科《线性代数》课程在研究矩阵的内容上有较大的差异:线性代数:研究行列式、矩阵的四则运算(加、减、乘、求逆 ) 以及第一类初等变换 (非正交的)、对角标准形 (含二次型) 以及n阶线性方程组的解等基本内容.矩阵论:研究矩阵的几何理论(线性空间、线性算子、内积空间等)、第二与第三类初等变换(正交的)、分析运算(矩阵微积分和级数)、矩阵的范数与条件数、广义逆与分解、若尔当标准形以及几类特殊矩阵与特殊运算等,内容十分丰富.3、方法在研究的方法上,矩阵论与线性代数也有很大的不同:线性代数:引入概念直观,着重计算.矩阵论:着重从几何理论的角度引入矩阵的许多概念和运算,把矩阵看成是线性空间上线性算子的一种数量表示.深刻理解它们对将来正确处理实际问题有很大的作用.第1讲线性空间内容: 1.线性空间的概念;2.基变换与坐标变换;3.子空间与维数定理;4.线性空间的同构线性空间与线性变换是矩阵分析中经常用到的两个极其重要的概念,也是通常几何空间概念的推广和抽象,线性空间是某类客观事物从量的方面的一个抽象.§1 线性空间的概念1. 群,环,域代数学是用符号代替数(或其它)来研究数(或其它)的运算性质和规律的学科,简称代数.代数运算:假定对于集A中的任意元素a与集B中的任意元素b,按某一法则与集C中唯一确定的元素c对应,则称这个对应为A、B的一个(二元)代数运算.代数系统:指一个集A满足某些代数运算的系统.1.1群定义1.1 设V 是一个非空集合,在集合V 的元素之间定义了一种代数运算,叫做加法,记为“+”.即,对V 中给定的一个法则,对于V 中任意元素βα,,在V 中都有惟一的一个元ν与他们对应,称ν为βα,的和,记为βαν+=.若在“+”下,满足下列四个条件,则称V 为一个群.1)V 在“+”下是封闭的.即,若,,V ∈βα有 V ∈+βα;2) V 在“+”下是可结合的.即,)()(γβαγβα++=++ ,V ∈γ;3)在V 中有一个元e ,若,V ∈β有 βββ=+=+e e ;e 称为单位元;4)对于,V ∈β有 e =+=+αββα.称α为β的逆元.注:对V 任意元素βα,,都有αββα+=+,则称V 为交换群或阿贝尔群.1.2 环定义1.2 设V 是一个非空集合,在集合V 的元素之间定义了两种代数运算,分别叫做加法、乘法,记为“+”与“*”.即,对V 中给定的一个法则,对于V 中任意元素α,β,在V 中都有惟一的一个元ν与他们对应,称ν为α,β的和与积,记为βαν+=(βαν*=).满足下列三个条件,则称V 为一个环. 1)V 在“+”下是阿贝尔群;2) V 在“*”下是可结合的.即,)()(νβανβα**=**;3)乘法对加法满足左、右分配律,即对于V 中任意元素α,β,ν,有 βνανβαν**)(*+=+,νβνανβα*+*=*+)(.注:对V 任意元素βα,,都有αββα*=*,则称V 为交换环.1.3 域定义 1.3 设V 满足环的条件,且在对“加法”群中去除单位元的集合对于“乘法”满足交换群的条件,则称V 为域.例:有理数集对于通常的数的加法和乘法运算构成域,称之为有理数域.最常见的数域有有理数域Q 、实数域R 、复数域C .实数域和复数域是工程上较常用的两个数域.此外,还有其它很多数域.如{}.,2)2(Q b a b a Q ∈+=,不难验证,)2(Q 对实数四则运算封闭的,所以)2(Q 也是一个数域.而整数集合Z 就不是数域. 数域有一个简单性质,即所有的数域都包含有理数域作为它的一部分.特别,每个数域都包含整数0和1.2. 线性空间定义 1.4 设V 是一个非空集合,P 是一个数域.在集合V 的元素之间定义了一种代数运算,叫做加法,记为“+”:即,给出了一个法则对于V 中任意元素βα,,在V 中都有惟一的一个元ν与他们对应,称ν为βα,的和,记为βαν+=.在数域P 与集合V 的元素之间还定义了一种代数运算,称为数量乘法(数乘),记为“•”:即,对于数域P 中任一数k 和V 中任一元α,在V 中都有惟一的一个元δ与它们对应,称δ为k 与α的数乘,记为αδ•=k .如果加法与数乘这两种运算在V 中是封闭的,且满足如下八条规则:⑴ 交换律αββα+=+;⑵ 结合律)()(γβαγβα++=++ ,V ∈γ;⑶ V V ∈∃∈∀0,α,有αα=+0,(0称为零元素);⑷ V V ∈∃∈∀βα,,有 0=+βα,(β称为的α负元素,记为α-); ⑸ P V ∈∈∀1,α,有 αα=•1;⑹ αα•=••)()(kl l k ,P l k ∈,;⑺ ααα•+•=•+l k l k )(;⑻ βαβα•+•=+•k k k )(,则称集合V 为数域P 上的线性空间.当数域P 为实数域时,V 就称为实线性空间;P 为复数域,V 就称为复线性空间.例 1.按通常向量的加法与数乘运算,由全体实n 维向量组成的集合,在实数域R 上构成一个实线性空间,记为n R ;由全体复n 维向量组成的集合,在复数域C 上构成—个复线性空间,记为n C .例 2.按照矩阵的加法及数与矩阵的乘法,由数域P 上的元素构成的全体n m ⨯矩阵所成的集合,在数域P 上构成一个线性空间,记为n m P ⨯.而其中秩为)0(>r r 的全体矩阵所成的集合rR 则不构成线性空间,为什么?(事实上,零矩阵r R O ∉).例3.按通常意义的函数加法和数乘函数,闭区间[]b a ,上的连续函数的全体所成的集合,构成线性空间[]b a C ,.例4. 设+R ={全体正实数},其“加法”及“数乘”运算定义为xy y x =+, k x x k = 。
具有多项差分算子的三阶q-差分方程边值问题
具有多项差分算子的三阶q-差分方程边值问题杨小辉;李杰民【摘要】q-差分方程边值问题解的存在性已经引起国内外数学工作者的研究兴趣,并且得到许多有价值的结果.研究一类三阶q-差分方程边值问题,该问题是由一个三阶q-差分方程和3个具有多项q-差分算子为边界条件构成.这种边界条件可以看成是Sturm-Liouville边界条件的推广.利用Banach压缩映射原理和Krasnoselskii 不动点定理,获得了该类边值问题解的存在性和唯一性的充分条件.所得条件简洁,便于验证.结果推广和改进了已有文献中的定理.最后,举2个例子来演示所得结论的应用.【期刊名称】《四川师范大学学报(自然科学版)》【年(卷),期】2015(038)006【总页数】9页(P875-883)【关键词】q-差分方程;q-微分;q-积分;边值问题【作者】杨小辉;李杰民【作者单位】广东警官学院计算机系,广东广州510230;岭南师范学院数学与计算科学学院,广东湛江524048【正文语种】中文【中图分类】O175.7q-差分方程历史悠久[1-4],q-差分方程在多个学科中已得到应用[5-8].近年来q-差分方程解的存在性问题是数学工作者研究的中心问题之一[9-17].Sturm-Liouville型边值问题一直是大家关注的问题[18-21].B. Ahmad等[12]研究了三阶q-差分方程两点边值问题解的存在性,其中是标准三阶q-差分算子.C. L. Yu等[15]研究了三阶q-差分方程两点边值问题正解的存在性,其中,0<q<1,Iq={qn:n∈N}∪{0,1},f∈C([0,1]×[0,+∞),[0,+∞)),α,β≥0,α+β>0且(α-β)/(α+β)≤q,α、β、q都是常数,注意到边值问题(1)和(2)仅涉及到一个q-差分算子Dq,而涉及多项q-差分算子的三阶q-差分方程边值问题的研究较少.受到文献[12-13]的启发,本文研究具有4个q-差分算子的三阶q-差分方程两点边值问题其中,0<q<1,f∈C(I×R,R),I=[0,1],参数pi∈(0,1)(i=1,2,3),α、β、γ都是常数,且α,β,γ≥0,记首先介绍相关概念,然后给出2个引理.定义 2.1[8] 设0<q<1,g在R上有定义,g在t∈R点的q-差分为定义 2.2[8] 设0<q<1,g在R上有定义,g在t∈R点的高阶q-差分为定义 2.3[8] 设0<q<1,t>0,函数g(t):[0,t]→R在区间[0,t]上的q-积分记为Iqg(t),定义为). (该级数收敛)若g在[a,b]上有定义,函数g(t)定义在区间[a,b]上的q-积分定义为注意到IqDqg(t)=g(t)-g(0)(g(t)在t=0处连续).引理 2.4[8] q-差分算子有如下性质:r.引理 2.5 设y(t)∈C[0,1],则u为边值问题u(0)-αDp1u(0)=0,u(1)+βDp2u(1)=0,的解当且仅当β(1+p2)]y(s)dqs+(1-p2)dqs}.证明设u为(4)式的解.在[0,t]上对方程进行q-积分得到对(6)式在[0,t]上进行q-积分得到对(7)式在[0,t]上进行q-积分得到其中,a0、a1、a2是常数.当t≠0时,注意到}.又有还有同理此时,可知Dpiu(0)=a1.当t≠0时,于是有].类似(10)和(11)式可得利用(4)式的边值条件可以得到把(13)式代入(8)式,并令t=1得到由(9)式知所以利用u(1)+βDp2u(1)=0得到s.(15)式两边通乘以1+q,左边等于β(1+p2)+γβ(1+p3)]=a2Δ,右边等于β(1+p2)]y(s)dqs+s.整理得β(1+p2)]y(s)dqs+(1-p2)dqs}.把(16)式代入(13)式,可得a0和a1,把a0、a1和a2代入(8)式得到(5)式,所以u满足(5)式.反之,设u满足(5)式,容易验证u满足(4)式.证毕.为了进一步的分析,设X=C[I,R]表示从I到R的所有连续函数集合,定义范数‖X‖=sup{|x(t)|,t∈I}.这时X为Banach空间.记(1+p2)q](1-p2+β)}.定理 3.1 设f∈C(I×R,R),I=[0,1],且满足Lipschitz条件∀t∈I, u,v∈R,L为Lipschitz常数,则当LH<1时,(3)式有唯一解,其中H为(17)式定义.证明构造X上的非线性算子F为β(1+p2)]f(s,u(s))dqs+(1-p2)dqs}, u∈X.由f的连续性容易证明F:X→X是全连续算子,u为(18)式的解当且仅当u∈X为F 的不动点.设先取δ使LH≤δ<1,再取r使r≥MH/(1-δ).设Br={u∈X:‖u‖≤r},当u∈Br时,有|u(t)|≤r,t∈[0,1],所以β(1+p2)]f(s,u(s))dqs+(1-p2)dqs}|≤f(s,0)|+|f(s,0)|)dqs+(1+β)(1+q)qs+β(1+p2)]×(|f(s,u(s))-f(s,0)|+|f(s,0)|)dqs+(|f(s,u(s))-f(s,0)|+|f(s,0)|)dqs]}≤(1+β)(1+q)qs+β(1+p2)|dqs+β(1+p2)dqs+(1+p2)q](1-p2+β)]}≤(1+p2)q](1-p2+β)]}≤(Lr+M)H=LHr+MH≤LHr+(1-δ)r=(LH+1-δ)r≤r.(H为(17)式所定义.)这表明FBr⊂Br.设u,v∈X有[f(s,u(s))-f(s,v(s))]dqs+β(1+p2)][f(s,u(s))-f(s,v(s))]dqs+[f(s,u(s))-f(s,v(s))])dqs}|≤L‖u-v‖β(1+p2)|dqs+L‖u-v‖L‖u-v‖(1+p2)q](1-p2+β)]}=LH‖u-v‖.当LH<1时,F是压缩映射.由Banach压缩映射原理,F在Br内有唯一不动点u.利用引理2.5,u是(3)式的唯一解.引理 3.2[18](Krasnoselskii不动点定理) 假设K是Banach空间X的一个非空有界闭凸子集.若算子F1和F2是满足条件:(i) F1x+F2y∈K,x,y∈K;(ii) F1是全连续算子;(iii) F2是压缩算子,那么存在z∈K使得z=F1z+F2z.定理 3.3 设f∈C(I×R,R),且满足条件:(A1) |f(t,u)-f(t,v)|≤L|u-v|,L为Lipschitz常数;(A2) 存在φ∈C(I,R+)使得|f(t,u)|≤φ(t), ∀(t,u)∈I×R,若Lh<1,其中则(3)式至少有一解.证明设Banach空间X如第二节定义.算子F1和F2分别如下定义:(1+β)(1+q)qs+β(1+p2)]f(s,u(s))dqs+(1-p2)dqs}, u∈X.由引理3.2知u为(3)式的解当且仅当u满足u=F1u+F2u.设r≥‖φ‖H且固定,取K={u∈X:‖u‖≤r}.证明分3步完成.第1步:证当u,v∈K时,F1u+F2v∈K.β(1+p2)]f(s,v(s))dqs+β(1+p2)]|f(s,v(s))|d qs+(1-p2+β)|f(s,v(s))|/(1-p2)dqs}|≤‖φ‖(1+p2)q](1-p2+β)]}≤‖φ‖(1+p2)q](1-p2+β)]}≤‖φ‖H≤r.因此F1u+F2v∈K,这表明引理3.2的(i)成立.第2步:证F1是全连续算子.由条件(A2)知F1是连续,又K有界,于是可设∀t1,t2∈I,且t1<t2,u∈K有qs(t1-t2)]f(s,u(s))dqs|=→0, t1→t2.上式表明F1(K)是相对紧的.由Arzelá-Ascoli定理知F1在K上是紧的,所以F1是全连续算子.因此引理3.2的(ii)成立.第3步:证F2是压缩算子.设u,v∈K时有[f(s,u(s))-f(s,v(s))]dqs+[f(s,u(s))-f(s,v(s))]dqs}|≤|f(s,u(s))-f(s,v(s))|dqs+|f(s,u(s))-f(s,v(s))|dqs]}≤L‖u-v‖(1+p2)q](1-p2+β)]}≤Lh‖u-v‖.结合(19)式知F2是压缩算子.因此引理3.2的所有条件都成立.由引理3.2知存在u∈K满足u=F1u+F2u.所以(3)式至少有一解,即定理3.3成立.证毕.例 4.1 考查如下边值问题t∈[0,1], L>0,u(1)+D1/4u(1)=0,则当0<L<1/1.604 5时,(20)式有唯一解.证明与(3)式对应,易知q=1/2,p1=1/3,p2=1/4,p3=1/5,α=1/4,β=1,γ=1,容易验证Δ=99/20,H≈1.604 5,f=L[t3+cos t+1+sin u(t)],且|Lsin u-Lsin v|≤L|u-v|,当0<L<1/1.604 5时,有LH<1,所以定理3.1的条件完全满足,则(20)式有唯一解.证毕.例 4.2 考查如下边值问题t∈[0,1], L>0,u(1)+D1/4u(1)=0,则当0<L<3 213/4 070时,(21)式有唯一解.证明与(3)式对应,易知q=1/2,p1=1/3,p2=1/4,p3=1/5,α=1/4,β=1,γ=2,易算得Δ=153/20,h=4 070/3 213,且当0<L<3 213/4 070时,有Lh<1,所以定理3.3的条件完全满足,则(21)式有唯一解.证毕注 4.3 文献[12-13]中的定理不能应用到(20)和(21)式.致谢刘玉记教授对本文提供了指导,广东警官学院青年项目(2013-Q01)和湛江师范学院自然科学研究项目(QL1101)对本文给予了资助,谨致谢意.【相关文献】[1] Jackson F H. On q-difference equations[J]. Am J Math,1910,32(4):305-314.[2] Carmichael R D. The general theory of linear q-difference equations[J]. Am JMath,1912,34(2):147-168.[3] Mason T E. On properties of the solutions of linear q-difference equations with entire function coefficients[J]. Am J Math,1915,37(4):439-444.[4] Adams C R. On the linear ordinary q-difference equation[J]. Ann Math,1928,30(4):195-205.[5] Finkelstein R, Marcus E. Transformation theory of the q-oscillator[J]. J MathPhys,1995,36:2652-2672.[6] Finkelstein R.The q-Coulomb problem[J]. J Math Phys,1996,37:2628-2636.[7] Gasper G, Rahman M. Basic Hypergeometric Series[M]. Cambridge:Cambridge University Press,1990.[8] Kac V, Cheung P. Quantum Calculus[M]. New York:Springer-Verlag,2002:1-5.[9] Bangerezako G. Variational q-calculus[J]. J Math Anal Appl,2004,289(2):650-665.[10] Ahmad B, Ntouyas S K. Boundary value problems for q-difference inclusions[J]. Abst Appl Anal,2011,2011:15.[11] Ahmad B, Ahmed A, Ntouyas S K. A study of second-order q-difference equations with boundary conditions[J]. Adv Diff Eqns,2012,2012:35.[12] Ahmad B. Boundary-value problems for nonlinear third-order q-difference equations[J]. Electron J Diff Eqns,2011,94:1-7.[13] Wu G C. Variational iteration method for q-difference equations of second order[J]. J Appl Math,2012,2012:1-5.[14] Thiramanus P, Tariboon J. Nonlinear second-order q-difference equations with three-point boundary conditions[J]. Comput Appl Math,doi:10.1007/s40314-013-0067-x. [15] Yu C L, Wang J F. Eigenvalue of boundary value problem for nonlinear singular third-order q-difference equations[J]. Adv Diff Eqns,2014,2014:21.[16] Ntouyas S K, Tariboon J. Nonlocal boundary value problems for q-difference equations and inclusions[J]. Inter J Diff Eqns,2015,2015:1-12[17] Xu N, Zhong C P. Existence and properties of meromorphic solutions of some q-difference equations[J]. Adv Diff Eqns,2015,2015:16.[18] 赵亚明. 奇异Sturm-Liouville型方程与自然边界条件[J]. 四川师范大学学报:自然科学版,1987,15(3):37-42.[19] 罗卫华,吕晓亚,吴开腾. Sturm-Liouville边值问题的正解存在性及其界[J]. 四川师范大学学报:自然科学版,2011,34(1):55-58.[20] 倪黎,韦煜明,茹凯,等. 带p-Laplacian算子Sturm-Liouville型三点边值问题正解的存在性[J].广西师范学院学报:自然科学版,2013,30(1):26-28.[21] 王勇,张秋果,韦煜明,等. Sturm-Liouville边值问题三个正解的存在性[J]. 广西师范学院学报:自然科学版,2012,29(2):29-33.[22] 韦煜明,王勇,唐艳秋,等. 具p-Laplacian算子时滞微分方程边值问题解的存在唯一性[J]. 广西师范学院学报:自然科学版,2012,30(2):48-53.[23] 王媛. 二阶差分方程边值问题正解的存在性[J]. 西南大学学报:自然科学版,2009,31(7):58-62.[24] 顿调霞,李永祥. 一类三阶常微分方程的两点边值问题的正解[J]. 四川师范大学学报:自然科学版,2014,37(6):810-813.[25] Smart D R. Fixed Point Theorems[M]. Cambridge:Cambridge University Press,1980. 2010 MSC:39A13。
第四章4.1-4.3线性泛函与线性泛函的延拓定理(短)
T 是线性算子。 {Tn }是基本列 0, N , 当 n, m N 时,Tn Tm Tn Tm Tn 为基本数列 Tn 有界,设 Tn M , ( n 1, 2,3, ) Tn x Tn x M x Tx M x(n ) T 是有界算子 T B ( X , Y )
注:1)定义中,D为算子T的定义域; M是算子T的界值;T(D)={Tx|xD}称
为算子T的值域 2)有界算子与有界函数不同。例如 f(x)=x 无界函数 有界算子: |f(x)|=|x|<2|x|
3) T是连续算子 T在D上处处连续
2. 有界线性算子的性质 定理1 设X、Y是线性赋范空间,DX是线性子空间,T: DY 是线性算子,则
x X
定理2 设X、Y是线性赋范空间,DX是线性子空间,T: DY是 有界线性算子,则T的范数具有下列性质: (1) ||Tx||||T|| ||x||, xD (2)
T sup Tx Y sup Tx Y
x 1 xD x 1 xD
(即||T||是有界线性算子T的最小界值) (可作为范数定义)
x 1 x D
则B (X,Y)成为线性赋范空间,称之为(有界)线性算子空间。
2. 线性算子空间中的极限理论 定义4 (算子序列的一致收敛与强收敛)设X、Y是两个线性赋范 空间,Tn, TB(X,Y), n=1,2,…
(1) 如果||Tn-T||0, 则称算子序列{Tn}按范数收敛于T, 或称{Tn}一致收敛于T. (2) 如果xX,||Tnx -Tx||0, 则称算子序列{Tn}强收敛 于T, 或称{Tn}按点收敛于T.
T su p T x T x 0 m ax
算子代数的分类
算子代数的分类算子代数学是一门探讨操作、特征和结构之间关系的数学分支。
它分为两个大类,代数算子代数和几何算子代数。
本文介绍了代数算子代数的分类,包括抽象代数算子和有限维算子代数等。
一、抽象代数算子代数抽象代数算子代数是研究算子代数结构与性质而不考虑具体元素的一种数学。
此类算子代数状态下,算子是一个未知的集合,给定一组条件,研究它们之间的关系和结构。
抽象代数算子代数的结构一般是复杂的,其结构关系有时也非常复杂。
抽象代数算子代数有两个主要的分支:抽象线性算子代数和抽象非线性算子代数。
抽象线性算子代数是研究满足线性相关性的算子代数。
它通常分为两个分支:有限维线性算子代数和无限维线性算子代数。
抽象非线性算子代数指的是研究满足非线性关系的算子代数。
它也可以分为有限维和无限维的分支。
二、有限维算子代数有限维算子代数是研究矩阵空间的阶为有限的算子代数。
它是研究抽象代数算子代数的一种细分。
有限维算子代数的研究方法主要有两种,一是基于矩阵的方法,二是基于算子的方法。
基于矩阵的方法是指从矩阵原理出发,分析矩阵之间的联系。
基于算子的方法是指从算子角度出发,分析算子之间的联系。
有限维算子代数可以分为四类:数值算子代数、线性算子代数、多项式算子代数和微分算子代数。
数值算子代数是指从标量到矩阵的算子代数;线性算子代数是指只包括线性函数的算子代数;多项式算子代数是指只包括多项式的算子代数;微分算子代数是指只包括微分的算子代数。
三、无限维算子代数无限维算子代数是研究空间阶无限的算子代数。
它主要通过极限来研究无限维的算子代数结构,具体有几类:抽象无限维算子代数、常微分算子代数、哈密顿算子代数、拉格朗日算子代数等。
抽象无限维算子代数是指研究超出有限维空间的算子结构的算子代数。
它是抽象代数算子代数的一种衍生形式,主要是研究无限维空间中的算子的特点。
常微分算子代数是指不仅研究常微分算子,而且是研究常微分算子在整个无限空间中的算子代数结构。
线性代数
九章算术线性代数作为一个独立的分支在20世纪才形成,然而它的历史却非常久远。“鸡兔同笼”问题实际 上就是一个简单的线性方程组求解的问题。最古老的线性问题是线性方程组的解法,在中国古代的数学著作《九 章算术·方程》章中,已经作了比较完整的叙述,其中所述方法实质上相当于现代的对方程组的增广矩阵的行施 行初等变换,消去未知量的方法。
凯莱矩阵论始于凯莱,在十九世纪下半叶,因若当的工作而达到了它的顶点。1888年,皮亚诺以公理的方式 定义了有限维或无限维线性空间。托普利茨将线性代数的主要定理推广到任意体(domain)上的最一般的向量空 间中。线性映射的概念在大多数情况下能够摆脱矩阵计算而不依赖于基的选择。
学术地位
线性代数在数学、物理学和技术学科中有各种重要应用,因而它在各种代数分支中占居首要地位。在计算机 广泛应用的今天,计算机图形学、计算机辅助设计、密码学、虚拟现实等技术无不以线性代数为其理论和算法基 础的一部分。线性代数所体现的几何观念与代数方法之间的联系,从具体概念抽象出来的公理化方法以及严谨的 逻辑推证、巧妙的归纳综合等,对于强化人们的数学训练,增益科学智能是非常有用的。随着科学的发展,我们 不仅要研究单个变量之间的关系,还要进一步研究多个变量之间的关系,各种实际问题在大多数情况下可以线性 化,而由于计算机的发展,线性化了的问题又可以被计算出来,线性代数正是解决这些问题的有力工具。线性代 数的计算方法也是计算数学里一个很重要的内容。
所谓“线性”,指的就是如下的数学关系:。其中,f叫线性算子或线性映射。所谓“代数”,指的就是用符 号代替元素和运算,也就是说:我们不关心上面的x,y是实数还是函数,也不关心f是多项式还是微分,我们统 一把他们都抽象成一个记号,或是一类矩阵。合在一起,线性代数研究的就是:满足线性关系的线性算子f都有哪 几类,以及他们分别都有什么性质。
带p-Laplacian算子的三阶微分方程边值问题正解的存在性
带p-Laplacian算子的三阶微分方程边值问题正解的存在性郭彦平;李春景;韩迎迎【摘要】许多不同应用数学和物理领域的研究都可归结为带有p-Laplacian算子的边值问题,因此对此问题的研究具有重要的理论意义和应用价值.本文讨论了带p-Laplacian算子三阶三点边值问题:{(φp(u′))″(t)+a(t)f(t,u(t),u′(t))=0,0<t<1,u(0)=0,φp(u′)(1)=αφp(u′)(η),(φp(u′))′(0)=0的正解的存在性,其中φp(s)=|s|p-2 s,p>1.应用Avery-Peterson不动点定理,当非线性项f满足一定的增长条件时,得到上述边值问题至少存在三个正解的充分条件.【期刊名称】《河北科技大学学报》【年(卷),期】2014(035)006【总页数】5页(P524-528)【关键词】p-Laplacian;边值问题;Avery-Peterson不动点定理【作者】郭彦平;李春景;韩迎迎【作者单位】河北科技大学理学院,河北石家庄050018;河北科技大学理学院,河北石家庄050018;河北科技大学理学院,河北石家庄050018【正文语种】中文【中图分类】O175.8的正解的存在性,其中φp(s)=|s|p-2s,p>1。
应用Avery-Peterson不动点定理,当非线性项f满足一定的增长条件时,得到上述边值问题至少存在三个正解的充分条件。
本文讨论带p-Laplacian算子的三阶三点边值问题:的正解的存在性,其中φp(s)=|s|p-2s,p>1。
近年来,许多学者都在关注三阶微分方程边值问题,并研究其正解的存在性[1-15]。
张立新等在文献[1]中研究了三阶三点边值问题:其中φp(s)=|s|p-2s,p>1,利用Avery-Peterson不动点定理证明了3个正解的存在性。
郭少聪等在文献[2]中讨论了三点边值问题:3个拟对称正解的存在性,其中α>0,0<η<1,φp(s)=|s|p-2s。
三阶常系数线性非齐次微分方程通解的降阶法
关 键 词 非 齐 次微 分 方 程 ;降阶 法 ;通 解 ;特 解
中图 分 类 号 O175.14
文 献 标 识 码ห้องสมุดไป่ตู้ A
文 章 编 号 1008—1399(2018)04—0059—03
Reduced O rder M ethod for General Solution of Third Order Linear Nonhom ogeneous Differential Equation with Constant Coefficients
1 引 言
众 所周 知 ,一 般 的高 阶微分 方 程 没有 普 遍 的解
法 ,处理 问题 的基 本原 则 是 降 阶 ,利 用 变 换 把 高 阶
微 分 方程 的求 解 问题化 为较 低 阶 的方 程来 求 解.低
阶方 程 的求 解 要 比高 阶方 程 的 求解 简 单 一些 L1].因
用 范 围不 广. 又有 作 者 采 用 变 量 分 离 法 或 算 子 法
[4-s]来 求解 非 齐次 微 分方 程 ,但 其 推导 过 程 比较 复
杂 .鉴于 以上 方 法 都 有 不 足 之 处 ,本 文 借 助 文 E6]
中降 阶法 的思 想 ,用 不 同 于 一 般 教 科 书 中 的 降 阶
李 文 娟 ,李 书 海 ,汤 获
(赤 峰学 院 数 学 与 统 计 学 院 ,内 蒙古 赤 峰 024000)
摘 要 将 降 阶 法应 用 于 三 阶 常 系数 线 性 非 齐 次微 分 方 程 ,对 一 般 类 型 的 非 齐 次 项 形 式 ,给 出 了上 述 方 程 的 通 解
公 式 ,此 外 还 给 出 了相 应 的 应 用 例 题 .
线性微分方程与常微分算子的基本理论
线性微分方程与常微分算子的基本理论线性微分方程是微积分学中的一个重要分支,它描述了某个未知函数及其导数之间的关系。
在解决实际问题和建立数学模型中,线性微分方程有着广泛的应用。
而在研究线性微分方程时,常微分算子的概念是不可或缺的工具。
本文将介绍线性微分方程与常微分算子的基本理论。
一、线性微分方程的定义与性质线性微分方程是指具有以下形式的方程:\[a_n(x)y^{(n)}(x) + a_{n-1}(x)y^{(n-1)}(x) + \cdots + a_1(x)y'(x) +a_0(x)y(x) = g(x)\]其中,$y(x)$是未知函数,$a_i(x)$和$g(x)$($i=0,1,\cdots,n$)是已知函数,$y^{(k)}(x)$表示$y(x)$的$k$阶导数。
线性微分方程的阶数是指方程中最高导数的阶数。
线性微分方程的解具有以下性质:1. 线性微分方程的解集是一个线性空间;2. 若$y_1(x)$和$y_2(x)$是齐次线性微分方程的解,那么它们的线性组合$a_1y_1(x) + a_2y_2(x)$也是该方程的解;3. 通过已知的解可以构造出新的解。
二、常微分算子的定义与性质常微分算子是一种将函数映射为函数的操作符号。
定义常微分算子$D$如下:\[D = \frac{d}{dx}\]其中,$\frac{d}{dx}$表示对$x$求导。
常微分算子具有以下性质:1. 常微分算子对常数函数有特殊的作用,即$\frac{d}{dx}c = 0$,其中$c$为常数;2. 常微分算子满足线性运算性质,即对于函数$f(x)$和$g(x)$,以及常数$a$和$b$,有$\frac{d}{dx}(af(x) + bg(x)) = a\frac{d}{dx}f(x) +b\frac{d}{dx}g(x)$;3. 常微分算子满足链式法则,即$\frac{d}{dx}f(g(x)) =\frac{df}{dg}\frac{dg}{dx}$。
非线性奇异三阶两点边值问题的正解
考虑 如下非 线性奇 异三 阶微分 方程 / ()+h t厂 / Z f ()( ):0 IZ 满 足如下边 值条 件 :Z0 =/( )=0 / 1 :0 / ) Z0 ( ,( ) Z
至少有 一个正 解存在 。
() 1 () 2
在 文献 [ ] 作 者 了利 用 了锥 拉伸 与压缩 不动点 定理 , 1 中, 在超 线性 和 次线 性 的条件 下 , 明了 问题 ( ) 2 证 1 ()
i ( 十 ( “ = r t h) ) 0 “ ) t
“ 0 : “( ) = “ 1 =0 () ,0 ()
的正解存在性。通过与一个 线性算子相关 的第一特征值 的讨论 , 用不动点指数定理 , 运 得到 了正解存在 的结果。
关 键 词 : 异 ; 值 问题 ; 解 奇 边 正
取 。 {t P m M) II,P c ,上 锥 R 。P P:M) i ( ( ∈ l t } 。 E1 的 . c 。 M 则 为 o] P
÷ t} ≤《
令 )) 上(s( “ )st E1 ( ( : Gt)s (s d ∈o ] “t ,J ) () I l , ( )) 上(s( (s r ( = Gt)s M) ut ,J ) ( I l
( 3 )
则 称 函数 “ t 问题 ( ) 2 的正解 。 ()是 1 ()
维普资讯
引理 2 1I 格林 函数 G t ), . J (, 满足下面不等式 s
G(,)≤ g s 0≤ ts≤ 1 ts () ,
() 4 () 5
G, ・ 1 } ≤≤ () g t ( ≤≤ , l s 0
+
0≤ t s≤ 1时 ≤
= 1( 1
≤1
微分方程算子法总结
微分方程算子法总结微分方程算子法是微分方程的一种解法方法,通过将微分方程中的微分算子用代数符号表示,转化为代数方程的形式来求解微分方程。
这种方法在微分方程的解法中起到了重要的作用。
下面是对微分方程算子法的总结,包括定义、基本原理、解题步骤和应用等方面的内容。
一、定义二、基本原理三、解题步骤1.将微分方程中的微分算子用代数符号表示,一般用p(D)来表示D^k 的形式,其中D表示微分算子,k为一个正整数。
2.对代数符号p(D)进行运算,根据微分算子的运算性质进行替换、展开、相乘等运算。
3.将运算后得到的代数方程转化为普通的代数方程,消去代数符号后求解。
4.最后,根据求得的代数方程解,通过对代数解进行逆运算,将代数解转化为函数解,即为微分方程的解。
四、应用1.线性常微分方程的解法,如齐次线性常微分方程、非齐次线性常微分方程等。
2.偏微分方程的解法,如一维波动方程、一维热传导方程等。
通过微分方程算子法,可以将偏微分方程转化为常微分方程的形式进行求解。
3.变系数微分方程的解法,如变系数线性常微分方程等。
通过微分方程算子法,可以将变系数微分方程转化为常系数微分方程的形式进行求解。
4.高阶微分方程的解法,如二阶、三阶及更高阶微分方程等。
通过微分方程算子法,可以将高阶微分方程转化为一阶微分方程的形式进行求解。
五、优缺点1.能够将微分方程转化为代数方程进行求解,简化了计算过程。
2.适用范围广泛,能够解决多种类型的微分方程问题。
3.理论基础扎实,运算性质清晰,易于理解和应用。
1.对于非线性微分方程或特殊形式的微分方程,微分方程算子法可能不太适用。
2.运算过程中需要进行大量的代数计算,可能存在繁琐的计算步骤。
3.求解过程中可能会出现复杂的代数式,需要一定的代数知识和计算技巧。
六、总结微分方程算子法是一种重要的微分方程解法方法,通过将微分方程转化为代数方程,简化了微分方程的求解过程。
它在数学和工程领域具有广泛的应用和重要的意义。
第三章 线性算子与线性泛函
精选2021版课件
18
定理3的证明:由于f 是M的有界线性泛函,那么 | f (x) ||| f ||M || x ||,这里|| f ||M sup{| f (m) |;mM}.
||m||1
令p(x) || f ||M || x ||,则p是X上的次可加正齐次泛函, 由定理1,存在X上的连续线性泛函F满足:
精选2021版课件
14
2 在 扩 大 的 定 义 域 上 作 f的 线 性 延 拓 令 f1λx1yfyλc,λx1yX1.
易 证 f1是 X1上 的 线 性 泛 函 ,且 f1|Mf.
3 恰当选择被控制的延拓
f在X1上的线性延拓具有形式:
令f1λx1y f yλc,λx1yX1.
选择恰当的c使得
这表明sup p yM
y -
x1
f
y
inf
yM
p
y
x1
f
y.
取满足下面的不等式的c即可
sup p
yM
y -
x1
f
y
c
inf p y
yM
x1
f
y.
精选2021版课件
16
2 做出f满足以下条件的全部延拓;
f |M f
f
x
px,xX
记这些延拓的全体为Γ.那么我们有
Γg|g是Dg上的线h-Steinhaus定理):设X 是Banach空间,
Y是赋范线性空间,算子族{T; } B(X ,Y ) 满足:
sup || T x || ,x X .那么sup || T || .
推论1:设 fn是Banach空间X 上的一列有界线性泛函,
如果 fn在X的每点x处有界, 那么 fn一致有界.
三阶线性齐次微分方程解的Sturm比较定理
由假设与题设知有 x ∃( t1 ) = 0 , x ( t1 ) = 0 , y ( t) = - q2 ( t) y( t) 则 ( 8) 式变为 - x ∃( 0) y( 0) - x #( t1 ) y#( t1 ) + x#( 0) y#( 0) - x
1 ( 0) y∃( 0) + 2∀ 0 q2 ( t) x( t) y( t) dt
) , 女, 陕西榆林人, 在读研究生, 研究方向为微分方程的稳定性。 E - m a i:l q iaom e@ i 126 . com ) , 男, 陕西富县人, 教授, 主要研究方向为微分方程的稳定性理论。
薛巧梅 , 秦宏立 , 张荣荣 : 三阶线性齐次微分方程解的 Stur m 比较定理
∋ 19∋ t2 < % % < tn < 1, 而 y ( t) 的零点是 <
2009年 7 月 第 19卷 第 4 期
榆 林 学 院 学 报 J OU RNAL O F YU LI N UN I V ER S I TY
July. 2009 V o. l 19 N o. 4
三阶线性齐次微分方程解的 Sturm 比较定理
薛巧梅, 秦宏立, 张荣荣
( 延安大学 数学与计算机科学学院 , 陕西 延安 716000) 摘 要 : 研究了一类三阶线性齐次微分方程解的 Stur m 比较定理的理论, 在三阶线性齐次微分方程的 S tu rm 基本定理的基础上得出了 Stur m 比较定理 , 所得结论推广了现有文献的相应结果 。 关键词 : 三阶线性齐次微分方程 ; 零点 ; 拐点; 单调函数; Stur m 比较定理 中图分类号 : O175 . 29 文献标识码 : A 文章编号 : 1008- 3871( 2009) 04- 0018- 02 1 引言 自瑞士数学家 Stur m. Charles- F ranco is于 19世 纪 40年代首先提出关于二阶微分方程解的零点分 布定理和比较定理以来, 一直受到人们的广泛关注。 近年来 , Stur m 比较理 论的数学思想 不仅在常微分 方程, 甚至在偏微分方程以及泛函微分方程中都得 到了发展和应 用 , 同时 , 就基本理 论研究方面也 得出了许多结果 , 但大多数都是针对二阶微分方程 的
求二阶和三阶常系数非齐次线性微分方程特解的一个公式
求二阶和三阶常系数非齐次线性微分方程特解的一个公式3王 焕 (西北大学数学系 西安 710069)摘要 基于微分算子分裂的思想,受到一阶线性方程求解公式的启发,运用多重积分交换积分顺序的技巧,得到求二阶和三阶常系数非齐次线性微分方程特解的一般性公式.关键词 算子分裂 常系数非齐次线性微分方程 通解 特解 中图分类号 O175.1对于二阶常系数非齐次线性微分方程y″+py′+qy=f(x)(1)其中p,q是实的常数,f(x)在其定义域内连续,以下同此.由文献[1,2,3]可知,求解(1)归结为其对应的齐次方程y″+py′+qy=0(2)的通解和非次方程(1)本身的一个特解y3.对于三阶以及n阶常系数非齐次线性微分方程y +p1y″+p2y′+p3y=f(x)(3)和y(n)+p1y(n-1)+p2y(n-2)+…+p n-1y′+p n y=f(x)(4)其中pi=1,2,……n,是常数,有类似的结论.对于二阶非齐次方程(1),求其特解y3的方法有常数变易法,比较(待定)系数法,拉普拉斯变换法,以及算子解法等,参见[1,2,3].其中常数变易法求解过程比较繁琐,其余三种解法只针对特珠的类型,缺乏一般性.本文基于算子分裂的思想,受到一阶线性方程求解公式的启发,并运用多重积分交换积分顺序的技巧,得到二阶和三阶常系数非齐次线性微分方程求解的一般性公式.该结论可以进一步推广到对n阶常系数非齐次线性微分方程(4)的求解.定理1 对于二阶常系数非齐次方程(1),假定(1)对应的齐次方程(2)的特征方程有特征根r1,r2,则(1)的一个特解y3满足下列公式:(i)当r1,r2是两个不相等实根时,y3=e r1xr1-r2∫e-r1x f(x)d x+e r2xr1-r2∫e-r2x f(x)d x(5)(ii)当r1,r2是两个相等实根,即r1=r2=r时,y3=x e rx∫e-rx f(x)d x-e rx∫x e-rx f(x)d x(6)(iii)当r1,r2是一对共轭复根,即r1,2=α±iβ(β≠0)y3=1β[e ax sinβx∫e-ax cosβx·f(x)d x-e ax cosβx∫e-ax sinβx·f(x)d x](7)52Vol.9,No.3 May,2006 高等数学研究ST UD I ES I N C OLLEGE MATHE MATI CS3收稿日期:2005-09-05证明 将方程(1)变形为(y′-r1y)′-r2(y′-r1y)=f(x)(8)则(8)式等同于下述分解后的一阶微分系统的耦合,其中y1=y,y1′-r1y1=y2y2′-r2y2=f(x)(9)由一阶线性微分方程求解公式可得出y=y1=e r1x∫x x0e-r1s y2(s)d s y2=e r2x∫x x0e-r2t y2f(t)d t (10)其中x是函数定义域内某一点,比如初始时刻等.从而y=e r1x∫x x0e-r1s(e r2s∫s x0e-r2t f(t)d t)d s= e r1x∫x x0e(r2-r1)s∫s x0e-r2t f(t)d t d s (11)运用多重积分交换积分顺序的技巧,得到:(i)当r1≠r2时,y=e r1x∫x x0e-r2t f(t)∫x t e(r2-r1)s d s d t= 1r2-r1e r1x∫x x0[e(r2-r1)x-e(r2-r1)t]e-r2t f(t)d t= er1xr1-r2∫x xe-r1t f(t)d t+e r2xr2-r1∫x xe-r2t f(t)d t(12)从而得到(1)的一个特解y3如(5)式所示.(ii)当r1=r2=r时,y=e rx∫t x0∫s x0e-rt f(t)d t d s= e rx∫x x0e-rt f(t)d t∫x t d s= x e rx∫x x0e-rt f(t)d t-e rx∫x x0t e-rt f(t)d t(13)从而得到(1)的一个特解y3如(6)式所示.(iii)当r1,2=α±iβ(β≠0)时,不难推出(7)式成立.定理2 对于三阶常系数非齐次方程(3),假定(3)所对应齐次方程的特征方程有特征根r1, r2,r3,则(3)的一个特解y3满足下列公式:(i)当r1,r2,r3互不相等(包括有虚根)时,y3=e r1xL′(r1)∫e-r1x f(x)d x+e r2x L′(r2)∫e-r2x f(x)d x+e r3x L′(r3)∫e-r3x f(x)d x(14)此处L′(r1)=(r1-r2)(r1-r3),L′(r2)=(r2-r1)(r2-r3),L′(r3)=(r3-r1)(r3-r2),(ii)当r1=r2=r3=r时,y3=12x2e rx∫e-rx f(x)d x-x e rx∫x e-rx f(x)d x+12e rx∫x2e-rx f(x)d x(15)62高等数学研究 2006年5月(iii )当其中两根相等,且不等于第三根时,比如r 2=r 3=r ≠r 1时,有y3=e r 1x(r -r 1)2∫e-r 1xf (x )d x -erx(r -r 1)2∫e-rxf (x )d x +x e rxr -r 1∫e -rx f (x )d x -e rxr -r 1∫x e -rxf (x )d x(16)对于r 1=r 3=r ≠r 2,以及r 1=r 2=r ≠r 3,有类似的公式.(证明办法类似定理1,从略)下面举几个例子说明.例1 求y ″-2y ′+y =1xe x的通解.解 所对应齐次方程的特征方程为r 2-2r +1=0,特征根r 1=r 2=r =1.由公式(6)得到非齐次方程的一个特解为y3=x ex∫e-x1xe xd x -e x∫x e-x 1xe xd x =xe x In x -x ex从而所求通解为y =C 1e x+Cx e x+x e xIn x -x e x=C 1e x+C 2x e x+x e x In x,(此处C 2=C -1)例2 求y ″-5y ′+6y =x e 2x的一个特解.解 易知特征根r 1=i,r 2=-i,由公式(7)得y3=sin x ∫cos x (x co s2x )d x -co s x ∫sin x (x co s2x )d x = 12sin x ∫x (cos3x +cos x )d x -12co s x ∫x (sin3x -sin x )d x =49sin2x -13x co s2x例3 求y +3y ″+3y ′+y =e -x(x -5)的通解.解 易知所对应齐次方程的特征方程有三重根r 1=r 2=r 3=r =-1,由公式(15),y 3=12x 2e -x ∫(x -5)d x -x e -x ∫x (x -5)d x +12e -x ∫x 2(x -5)d x =124x 3(x -20)e-x从而通解为y =(C 1+C 2x +C 3x 2)e -x +124x 3(x -20)e -x.例4 求y -y ′=co s2x 的通解.解 所对应齐次方程的特征方程有根r 1=1,r 2=-1,r 3=0,由公式(14)得y3=e x2∫e -x cos2x d x +e -x2∫e xcos2x d x1-1∫co s2x d x =110(-co s2x +2sin2x )+110(co s2x +2sin2x )-12sin2x =-110sin2x 通解为y =C 1e x+C 2e-x+C 3-110sin2x .注 (1)对于n 阶常系数非齐次线性微分方程(4),可以做类似的讨论,只是此时特征方程的根的分类情况相当复杂,这里不做进一步讨论了.(2)和比较(待定)系数法相比,该公式对右端项f (x )的要求相当低,只要能求出不定积分,就能用此方法,所以说该公式较具一般性.(下转第34页)72第9卷第3期 王焕:求二阶和三阶常系数非齐次线性微分方程特解的一个公式又函数在x =1处连续,故展开式对x =1成立.即11+x=1+∑∞n =1(-1)n(2n -1)!!(2n )!!x n ,(-1<x ≤1).例5 将ln (x +1+x 2)展开成关于x 的幂级数,并求展开式成立的区间.解 由(3)式得(ln (x +1+x 2))′=11+x2=1+∑∞n =1(-1)n (2n -1)!!(2n )!!(2n +1)x 2n +1,(-1<x <1)在x =±1处,函数ln (x +1+x 2)是连续的,在x =-1处,级数为-1+∑∞n =1(-1)n +1(2n -1)!!(2n )!!(2n +1)=-1+∑∞n =1unu n=(2n -1)!!(2n )!!·1(2n +1)<12n +1·12n +1<1n 3/2,即级数绝对收敛.在x =1处,级数为1+∑∞n =1(-1)n(2n -1)!!(2n )!!(2n +1),同理也是收敛的.故展开式对x =±1均成立,即ln (x +1+x 2)=x +∑∞n =1(-1)n(2n -1)!!(2n )!!(2n +1)x 2n +1,(-1≤x ≤1).例6 将x1+x2展开成关于x 的幂级数,并求展开式成立的区间.解 由(3)式得x1+x2=x +∑∞n =1(-1)n(2n -1)!!(2n )!!·x 2n +1,(-1<x <1)在x =±1处,函数x1+x 2连续,对应级数为1+∑∞n =1(-1)n(2n -1)!!(2n )!!,1+∑∞n =1(-1)n +1(2n -1)!!(2n )!!与例4同理可得二交错级数收敛,故展开式对x ±1也在立,即x 1+x2=x +∑∞n =1(-1)n (2n -1)!!(2n )!!·x 2n +1,(-1≤x ≤1).从上面六个例题可以看出,不等式:对任意的正整数n 12n +1<(2n -1)!!(2n )!!=1·3……(2n -3)·(2n -1)2·4……(2n -2)·2n <12n +1,在判别级数敛散性方面起着重要的作用.(上接第27页)参考文献[1]王高雄等.常微分方程(第二版).北京:高等教育出版社,1997年重印.[2]同济大学教研室.高等数学(第三版).北京:高等数学出版社,1993年重印.[3]数学手册编写组.数学手册.北京:高等教育出版社,2004年重印.43高等数学研究 2006年5月。
第三节线性算子
当X = Y时,称T 是线性变换,当Y = K时,称T 是线性泛函。 相关概念:核空间ker T、线性同构。 称T 在x点连续,是指对任意点列{xn }, 若xn → x, 则Txn → Tx; 若T 在X 的每一点都连续,则称T 在X 上连续。 定理1.设X , Y 是赋范线性空间,T : X → Y 是线性算子,则 (a)T 在X 上连续当且仅当T 在X 中的某点x0处连续;特别的 等价于若xn → θ ( X 中零元),则Txn → θ (Y中零元). (b)当X 的维数有限时,T 在X 上是连续的。
fx0有界线性算子空间110111supsupsup1sup0002supsupxxxxxxtxtbxyttxtxxttxttbxyttxtxt????????????????????????算子的范数验证算子算子范数满足以下条件
赋范线性空间
内积空间
三个空间的关系
赋范线性空间都是距离空间:ρ(x,y )= || x y ||; 反之,要求距离满足条件 : ρ (ax, θ ) =| a | ρ ( x, θ ), 范数定义 || x ||= ρ ( x, θ )。 内积空间都是赋范线性空间 :|| x ||= ( x, x) 2 ;反之, 范数满足中线公式: x + y ||2 + || x y ||2 = 2 || x ||2 +2 || y ||2 , || 内积定义 1 (x,y )= (|| x + y ||2 || x y ||2 +i || x + yi ||2 i || x + yi ||2 ) 4
因为任何n维赋范线性空间都与n维欧式空间线性同构,所 以有限维的赋范线性空间是线性同构的当且仅当它们的维 数相等。 绝大多数的泛函分析课程都是讲述特殊的线性空间和线性 算子的性质,而自然界中的现象更多是非线性的,非线性 问题是更广阔更具有挑战性的领域,有着多样性和复杂性。 人们在处理这类问题的方法: 一、推广线性情形时的有关理论的想法和方法; 二、化整为零,在局部范围内运用线性方法,将非线性问 题转化为线性问题
三阶变系数线性微分方程的算子解法
第2 6卷
一
( = : () 一 一 ,() ( + , c一 一 , ) c一 r . ) a d ) ) ( 五 : 一 , -
c 一 戈 =c一 c 2 ) . 一 一c一 一 + t () : () ()一 ( 一 () . 3 ) I ) a 3 c4 ( ( 卜
是 可积 的 ,则 n阶变 系数 线性 微分算 子
D + 一( D 一+ 一( D 一 + +r( D+a( I ) “。 2 ) “ … 上 ) l ( ) ) () 2
可 分解 出一 阶微 分算 子 的因式 D—f( ,这 时微分 算 子 () J ) 2 可表 示 为 :
(( = ( ( +d( ( + ( +/ I. ( ) ( l L ) )z 0 ) l ) ) ) J ) ( ( d ) + )
再把 式 (4 代 人 式 ( 1可 得 到 以下 的微 分算 子分解 式 : 1) 1)
D +n ( D +n( ) ’ 2 ) 2 I o+r( ) D+b l x z :『 l 】 ( ) D+d( l I I I ) D+d( I 2 ) (6 1)
数 线性 方程 的一 种 简便 实用 的方 法. 由于在 理论 研究 和 实 际应 用 中 出现有 大量 的 三阶 以
上 的高 阶变 系数 线性 微 分方 程 ,因此 ,近 年来人 们注 重 对高 阶 变 系数 线性 方程 求解 方法 的研究 ,并 已取 得 了一 些成 果 “ . 本 文 应用 文 献 [ — ] 3 4 的有 关 结果 研 究 了三 阶变 系数 线 性微 分方 程 的算 子解 法 ,得 到了这 类方 程 的求 解方 法 和可 积类 型.
定 理 l 如果 函数 a() 。 , () 足下 列的条 件 : 2 , ( 满 )
线性代数方程组的解法
线性代数方程组的解法关键词:线性代数方程组;高斯消元法;列主元消元法;三角分解法;杜立特尔分解法;迭代法;雅可比迭代法;高斯-赛德尔迭代法1引言目前,解线性代数方程组在计算机上常用的的方法大致把它分为两类:“直接法”与“迭代法”.在线性代数中曾指出阶线性代数方程组有唯一的解,并且可以用克拉默法则求方程组的解,初次看来问题已经解决,但从使用效果看并不是这样的.因为求阶线性代数方程组,如果用克拉默法则,需要计算个阶行列式,每个阶行列式为项之和,每项又是个元素的乘积,所以计算中仅乘法次数就高达次,当较大时,它的计算量是非常惊人的.因为现在所碰到的很多问题都需要很大的计算量,故需要好用的算法来求解.先来回顾一下回代过程和迭代过程.(1)是一个三角形方程组,当有唯一解时,可以用反推的方式求解,也就是先从第个方程解得, (2)然后代入第个方程,可得到, (3)如此继续下去,假设已得到,, , ,代进第个方程即得的计算, (4)上述求解的过程叫做回代过程.定义1[1] (向量的范数) 若向量的某个实值函数满足1.是非负的,即且的充要条件是 ;2.是齐次的,即 ;3.三角不等式,即对,总是有.那么上向量的范数(或模)就是 .下面给几个最常遇到的向量范数.向量的“1”范数:(5)向量的“2”范数:(6)向量的范数:(7)例1设求 , , .解由式(5),(6)及(7)知.定义2若矩阵的某个实值函数满足1.是非负的,即且的充要条件是 ;2.是齐次的,即 ;3.三角不等式,即对总有;1.矩阵的乘法不等式,即对总有,那么称为上矩阵的范数(或模).表 1是矩阵几个常用算子范数的定义与算式.表 1范数名称记号定义计算公式“1”范数(又名列模)“2”范数(又名谱模)“”范数(又名行模)的极限就是方程组的解向量,这时候在给定允许的误差内,只要适当的大,就可以作为方程组在满足精度要求条件下的近似解.这种求近似解的方法就是解线性方程组的一类基本的迭代解法,其中称为迭代矩阵,公式(9)称迭代公式(或迭代过程),由迭代公式得到的序列叫做迭代序列.如果迭代的序列是收敛的,则称为迭代法收敛;如果迭代的序列是不收敛,则称它是迭代法发散.定理3设 .如果约化主元素,则可以利用高斯消元的方法把方程组约化成三角形方程组来求解,其计算公式如下:(1)消元计算:对依次计算(2)回代计算:3用高斯消元法与列主元消元法解线性代数方程组(重点)!3.1 高斯消元法解方程组用高斯消元的方法求线性代数方程组的解的整个计算过程可分为两个环节,也就是利用按照次序消去未知数的方法,把原来的方程组转化成跟它同解的三角形方程组(这个转化的过程叫消元过程),再通过回代过程求三角形方程组的解,最终得到原来方程组的解.其中按照方程的顺进行消元的高斯消元法,又叫顺序消元法.3.2列主元消元法解方程组列主元消元法实际上是一种行交换的消元法,它跟顺序消元法比较而言,主要特点是在进行第次消元前,不管的值是否等于零,都在子块的第一列中选择一个元,使,并将中的第行元与第行元互相变换(相当于交换同解方程组中的第个方程),然后再进行消元计算得到结果.注:列主元素法的精度虽然稍低于全主元素法[1],但它计算简单,相对比全主元素法它的工作的量大大减少,并且从计算经验和理论分析都可以表明,它与全主元素法同样拥有很好的值稳定性,列主元素法是求解中小型浓密型方程组的最好的方法之一.4用三角分解法解线性代数方程组4.1 矩阵的三角分解定义4把一个阶矩阵分解成两个三角矩阵相乘的形式称为矩阵的三角分解.常见的矩阵三角分解是其中是下三角形的矩阵,是上三角形的矩阵.定理5[1](矩阵三角分解基本定理)设 .若的顺序主子式,那么存在唯一的杜利特尔分解其中是单位下三角形矩阵,为非奇异的上三角形矩阵.如果是单位下三角形的矩阵,是上三角形的矩阵,那么把这种分解法称为杜利特尔分解法,其中杜利特尔分解法是这种三角分解的一种特例,下面主要介绍利用杜利特尔分解法来求方程组的解.4.2 用杜利特尔分解法解线性代数方程组用杜利特尔分解法解方程组的步骤可以把它归纳为(1)实现分解,也就是1.按算式(11)(12)依次计算的第一行元与的第一列元;1.对按算式(13)(14)依次计算的第行元与的第列元.(2)求解三角形方程组,即按算式依次计算 .(3)求解三角形方程组,即按算式依次计算.利用杜利特尔分解法解方程组与高斯消元法是相似的,它重要的优点是:在利用分解,解有相同的系数矩阵的方程组时,用杜利特尔分解法非常方便,只用两个式子就可以得到方程组的解.5用迭代法解线性代数方程组用迭代法求方程组的解,需要考虑迭代过程的收敛性,在下面的讨论中,都假设方程组的系数矩阵的对角阵是不为零的.5.1 用雅可比迭代法解方程组对于一般线性方程组,如果从第个方程解出,就可以把它转化成等价的方程组. (15)从而可以得到对应的迭代公式(16)这就是解一般方程组的分量形式的雅可比(Jacobi)迭代公式.如果把它改成(17)并把系数矩阵表示成(18)其中则可以看出式的左右两端分别是向量和的第个分量,故因为可逆,所以于是就可以得到是雅可比迭代的公式.其中(称为雅可比迭代矩阵), .5.2 用高斯-赛德尔迭代法解方程组高斯-赛德尔迭代法也是常用的迭代法,设线性代数方程组为,则高斯-赛德尔迭代法的迭代公式为(19)其中迭代法(19)就称为高斯-赛德尔迭代法.通过雅可比迭代法类似的途径,就可以得到矩阵的表达式其中(称为高斯-赛德尔迭代矩阵), .高斯-赛德尔迭代法与雅可比迭代法都有算式简单、容易在计算机上实现等优点,但是用计算机来计算时,雅可比迭代法需要两组工作单元用来寄存与的量,而高斯赛-德尔迭代法只需一组工作单元存放或的分量.对于给定的线性方程组,用这两种方法求解可能都收敛或者都不收敛,也可能一个收敛另一个不收敛,两种方法的收敛速度也不一样.5.3 迭代法的收敛条件与误差分析定义6[1]矩阵全部的特征值的模的最大值,叫做矩阵的谱半径,记作 ,即.定理7[1]对任意初始向量迭代过程收敛的充要条件是;当时,越小,那么其收敛的速度是越快的.由定理7可知,用雅可比迭代法求解时,其迭代的过程是收敛的,而用高斯-赛德尔迭代法来求解,其迭代的过程是发散的.在不同条件下,收敛的速度是不同的,对同一矩阵,一种方法是收敛的,一种方法发散.第 7 页。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
当X = Y时,称T 是线性变换,当Y = K时,称T 是线性泛函。 相关概念:核空间ker T、线性同构。 称T 在x点连续,是指对任意点列{xn }, 若xn → x, 则Txn → Tx; 若T 在X 的每一点都连续,则称T 在X 上连续。 定理1.设X , Y 是赋范线性空间,T : X → Y 是线性算子,则 (a)T 在X 上连续当且仅当T 在X 中的某点x0处连续;特别的 等价于若xn → θ ( X 中零元),则Txn → θ (Y中零元). (b)当X 的维数有限时,T 在X 上是连续的。
例2. 区间[0,1]上的连续可微函数全体按极大模是赋范 线性空间,其上的微分算子是无界线性算子 取 函数列{sin nπ t},显然 || sin nπ t ||= 1, 但
d || (sin nπ t ) ||= nπ || cos nπ t ||= nπ → ∞(n → ∞) dt d 因此,微分算子 : C 1[0,1] → C[0,1]是无界算子。 dt
定理2 : 线性算子T 是连续的充要条件是T 是有界的。 算子T的范数 || T ||:式 || T ( x) ||≤ M || x || ,x ∈ D(T )中M 的下确界。 || Tx || 可以证明:|| T ||= sup || Tx ||= sup || Tx ||= sup || x|| =1 || x|| ≤1 || x|| ≠ 0 || x || 例:L [a, b]上算子T : (Tf )( x) = ∫ f (t )dt , f ∈ L1[a, b]
Tn一致收敛强于Tn 强收敛;f n的强收敛强于弱*收敛; 例如:单边移位算子S ∈ B (l 2 ),{Sn }强收敛于0,而 || S n ||= 1, n ≥ 1.
我们知道收敛的序列都是有界集合,类似于定理3的证明, 我们可以得到一下结论。 {T 定理4:设X 是赋范线性空间,Y 是Banach空间, n } B ( X , Y ) 满足条件:(1) Tn ||}是有界数列; {|| (2)在X 中的某一稠密子集G中的每个元素x,{Tn ( x)}都收敛. 则{Tn }强收敛于某一个算子T ∈ B ( X , Y ), 且 || T ||≤ lim || T || .
设X 是赋范线性空间,a是一常数。映射T : T ( x) = ax称为 相似算子,a = 1时,称为恒定算子或单位算子,记为I。 例1.定义:Tx(t ) = ∫ x(τ )dτ , f ( x) = ∫ x(τ )dτ , x ∈ C[a, b],
a a t b
则T 是C[a, b]上的一个线性算子,f 是一个线性泛函。
定理3的证明:设{Tn } B( X , Y )为一Cauchy列,往证{Tn }收敛。 因为 || Tn Tm ||→ 0( n, m → ∞), 则对x ∈ X , 必有 || Tn x Tm x ||=|| (Tn Tm )( x) ||≤|| Tn Tm || || x ||→ 0(n, m → ∞). 这说明{Tn ( x)}是Y 为一Cauchy列,由Y的完备性,在Y中存在 唯一的一个元素,记为T ( x), 使得Tn ( x) → T ( x), (n → ∞). 注意到 ||| Tn || || Tm |||≤|| Tn Tm ||→ 0(n, m → ∞), 故 由{Tn }的线性和{|| Tn ||}的收敛性可得T ∈ B( X , Y )。 对ε 0,存在自然数N 0,使得当n, m N 0时,对 || x ||≤ 1, || Tn x Tm x ||=|| (Tn Tm )( x) ||≤|| Tn Tm || || x ||≤ ε . 固定x, 令m → ∞,可得 || Tn x Tx ||≤ ε,x ∈ X ,|| x ||≤ 1. 从而对n N 0,Tn T ||≤ ε。故{Tn }在B( X , Y )收敛,B( X , Y )完备。 ||
|| x|| =1 || x|| =1
≤ sup || T1 x || + sup || T2 x ||=|| T1 || + || T2 ||
|| x|| =1 || x|| =1
注:1.一般说来,赋范线性空间B ( X , Y )未必是完备的; 2.赋范线性空间X 上的有界线性泛函的全体B( X( x) || 构成一个Banach
|| x|| =1
空间,我们称之为X 的共轭空间,记为X *; (a )如果赋范线性空间X 等距同构于X * , 则称X 是自共轭的;
* (b)如果赋范线性空间X 等距同构于( X *), 则称X 是自反的。
3.T ∈ B ( X , Y ), S ∈ B(Y , Z ), 则复合算子ST ∈ B ( X , Z ), 且 ||| ST ||≤|| S || || T || 。 定理3:设Y 是完备的赋范线性空间,则B ( X , Y )是完备的。
1
第三节 线性映射与线性算子
设X 1 ,X 2是数域K上的线性空间,映射T : X 1 → X 2 称为X 1到X 2的一个 线性映射,如果T α x + β y)=α T ( x) + β T ( y ), x, y ∈ X 1 , α , β ∈ K。 ( 显然:T : θ → θ。 当T 是双射时,称T 是一个线性同构,称X 1 , X 2是线性同构的。 例子:n阶方阵A是R n → R n的线性映射,可逆矩阵都是线性同构。 有限阶矩阵的研究,线性代数、高等代数和矩阵论中都有涉及; 我们泛函分析中主要研究是无穷维线性空间(Banach空间)上的 线性映射。
定理5.设X 是赋范线性空间,嵌入算子τ 是X 到X **的等 距线性算子,即: x** ||=|| x ||, (α x + β y )** = α x** + β y**。 || 推论6.设X 是赋范线性空间,则X 是X **的嵌入子空间。 推论7.设{ f n } X * , 则{ f n }按范数收敛(强收敛) { f n }弱收敛 { f n }弱 * 收敛; X 是自反的时,f n }弱收敛 { f n }弱 * 收敛。 { 定理7. (7.1)若xn → x(n → ∞), 则{xn }弱收敛于x; (7.2)若{xn }弱收敛于x,且{xn }弱收敛于y, 则x = y; (7.3)若{xn }弱收敛于x, 则{xn }是有界的。
有界线性算子空间
|| Tx || 算子T ∈ B( X , Y )的范数 || T ||= sup || Tx ||= sup || Tx ||= sup || x|| =1 || x||≤1 || x|| ≠ 0 || x || 验证算子算子范数 || || 满足以下条件: (1) || T ||= sup || Tx ||≥ 0,|| T ||= 0 T = 0( B( X , Y )中零元)
因为任何n维赋范线性空间都与n维欧式空间线性同构,所 以有限维的赋范线性空间是线性同构的当且仅当它们的维 数相等。 绝大多数的泛函分析课程都是讲述特殊的线性空间和线性 算子的性质,而自然界中的现象更多是非线性的,非线性 问题是更广阔更具有挑战性的领域,有着多样性和复杂性。 人们在处理这类问题的方法: 一、推广线性情形时的有关理论的想法和方法; 二、化整为零,在局部范围内运用线性方法,将非线性问 题转化为线性问题
1 a x
(1.)T : L1[a, b] → C[a, b]时,|| T ||= 1 (2.)T : L1[a, b] → L1[a, b]时,|| T ||= b a 一般来说,求一个具体算子的范数并不容易,很多 场合中只能对其范数做出估计
注:设f是赋范线性空间X上的线性泛函,则 (1) f连续当且仅当f的零空间N(f)是X的闭 子空间; (2)非零线性泛函f不连续当且仅当N(f)在X 中稠密。 N(f)={x;f(x)=0}
赋范线性空间
内积空间
三个空间的关系
赋范线性空间都是距离空间:ρ(x,y )= || x y ||; 反之,要求距离满足条件 : ρ (ax, θ ) =| a | ρ ( x, θ ), 范数定义 || x ||= ρ ( x, θ )。 内积空间都是赋范线性空间 :|| x ||= ( x, x) 2 ;反之, 范数满足中线公式: x + y ||2 + || x y ||2 = 2 || x ||2 +2 || y ||2 , || 内积定义 1 (x,y )= (|| x + y ||2 || x y ||2 +i || x + yi ||2 i || x + yi ||2 ) 4
n →∞
设X 是赋范线性空间,则X 的共轭空间X * , 二次共轭空间
* X ** =(X * )都是赋范线性空间。下面考虑它们之间关系
对每个x ∈ X , 定义X *上泛函x**:x** ( f ) = f ( x), f ∈ X * . 注意到 :| x** ( f ) |=| f ( x) |≤|| f || || x ||, f ∈ X * . 显然,x**是X *上有界线性泛函,且 || x** ||≤|| x || . 称此泛函是由x生成的,算子τ : X → X ** ,τ ( x) = x**为 嵌入算子。
|| x|| =1
(2) || α T ||= sup || α Tx ||=| α | sup || Tx ||=| α | || T ||;
|| x|| =1 || x|| =1
(3) || T1 + T2 ||== sup || (T1 + T2 ) x ||= sup || T1 x + T2 x ||