Riesz-Schauder定理在一类积分方程的应用

  • 格式:doc
  • 大小:415.71 KB
  • 文档页数:7

Riesz-Schauder定理在一类积分方程的应用 朱伟丰 (重庆师范大学 数学学院 重庆市 404100)

摘要:通过实例来对Riesz—Schauder定理应用,找到一类积分方程,当1,2是

)()(2211xfAAx的系数且],[bax,而且)()(2211xfAAx在

],[baC有解的可能,它的充分必要条件,以及进一步推广到方程)()(1xfAxinnn,

系数为ikk,,2,1,,ikxxFdyyyxKAnnnkknkbakk,,2,1,)()(,1在],[baC有解的可能,它的充分必要条件。

关键字:伴随算子;有界变分函数;积分方程;

1、引言 在这篇论文主要对文献[2]中Kneser 类型的积分方程推广。我使用的方法来自于文献[10],Riesz—Schauder定理应用一类Kneser积分方程。其中函数的相关性来自于文献[9]。 考虑下面积分方程

)()(2211xfAAx ],[bax (1)

bankkikiikbaiiiixxxFdydzzyzyxKA1)()()()()(),,(

其中1K、2K、1kF、2kF、f为已知函数;kx是区间],[ba中的点;],[,F,2k1baCfFk,),,(),,,(1zyxLzyxK在区间],[],[],[bababa连续,],[baC表示在],[ba内的实连续函

数的集合。在(1)中的),,()(),,,()(211kkkkkkkkxxxLxFxxxKxF且0,kk,那么对于如下表达式 babankkkxFdydzzyF1)(),( (2)

其中连续函数F是Riemann可积函数。0k对于下述积分的性质非常重要:如果0)(xF和(2)等于0,那么有F(x)恒等于零。在这种情况下,(1)左边的常系数1与(2)中的函数)()(),,(),(111zyzyxKzyF一致。同理对于0k也有函数)()(),,(),(22zyzyxLzyL一致。 对于1充分小时,(1)右边对于],[baCf都有解。而目前解决的关键在于构建一个与(1)相关的算子,以及有解时对1的估算范围。对于2也同1一样的处理。及其推

广到方程)()(1xfAxinnn,系数为ikAkk,,2,1,,,在],[baC有解的可能,它的充分必要条件。 在],[baC的空间中,一个连续线性的一般性算子是从Radon]1[得到的。其中最关键的

是Lebesgue—Stieltjes积分怎么用算子表示。由于零测度集在解(1)中的非常重要,我不建议用Lebesgue积分。 2、伴随算子和有界变分函数

在Banach空间],[baC的范数)(max],[xbax,我们使用如下算子

babadydzzyzyxKT)()(),,(

111

)()()(111kkkkxxxFT nk,,2,1

同理可得kPP,,nk,,2,1 )1(PTRPTR

)1(kkkkkkPTRPTR12



nk,,2,1

那么,(1)式可以写成 hE)( (3)

其中)(1211,fh,是单位算子,nkkRRE1。D(R),)(kRD,D(T), )(kTD,D(P),)(kPD的范围与R(R), )(kRR, R(T), )(kTR, R(P), )(kPR算子的变化

范围满足的条件:],[)()(baCRDRDk,],[)()(baCTDTDk, ],[)()(baCPDPDk且],[)(),(),(),(),(),(baCPRPRTRTRRRRRkkk。

0V表示报酬均一的有界变分函数的集合。x1和x2是闭区间[a,b]全部有界变分

的函数,满足(1)存在常数c,],[baE(E是[a,b]稠密集),Eba,;(2)式中,,Ex有cxx21。],[baC表示在],[baC线性连续函数的集合。我们可以辨认出在0

V 有用的一类,同时我们不能在有用的],[baC和函数x某一种类中区别区来,即给你一类就能确定他唯一的作用。我们还要判断一个有界变分函数是否属于这一种类的函数。 引理 Q是nkkTTQ1伴随算子,并且满足如下运算





nkkkkbazabaxdxxFzdydtytyxKQ11111)())()()(),,((

0Vx (4)

其中 ],(1],[0bxzxazzkkk当当 当1),,[;0,bbxbaxzbxnnnn,当。(证明省略) 3、非齐次方程解决的可能性条件 定理1在(1)中,当1,2是(1)式的系数,而且(1)式在],[baC有解的可能,它的充分必要条件是对于 zxdxxFzdydtytyxKjjnkjkjjkkbazabajj11)())()()(),,(( (5)

其中j=1,2对于(5)所有的0Vxj分别满足的条件是 baxdAxf0)())((

12

(6)

baxdAxf0)()1)((

21

 (7)

且j的范围分别为 ),,(max1],[1nkkjjkbabajjbaxjxxFdydtytyxK (8)

证明:由于j=1时对应(5)(6)(8)与j-2对应(5)(7)(8)的证明方法一样,所以选择j=1时对应(5)(6)(8)。

设S为],[baC的有界子集,那么,由kT表达式就知STk在],[baC中相对紧密,即他满足

相对紧密的条件。由于],[],[:baCbaCT的紧算子,那么Q也是紧算子。 由于(1)式可以写成2211)()(AxfAx这种形式时,那么(3)式可以写成22)(AfQ (9)

在(9)用Riesz—Schauder定理]6[。如果是(1)的系数,那么非齐次方程(9)有解, 当且仅当每一个解],[baC的齐次伴随方程0Q且满足关系022Af。其中0Q最关键在于一个生成函数x中有用,当

0Q,那么对于所有],[baC都有0)(Q。设x是有用中的一

个生成函数,x1是满足(4)式右边且有用Q的一个生成函数。那么就有 baxxdx0

1

],[baC (10)

因为01aa,根据生成函数的唯一性定理]4[满足(10)充分必要条件:01xx恰好E是],[ba中稠密集并包括端点。因此,齐次伴随方程就化成了(5)

式。从(5)试中,得到关于函数z更多的信息,除了在xx点外,在闭区间],[ba连续。

证明(10)算子Q的形式zxdzQba,,其中 



nkkkkzabaxxFzdydtytyxKzx11111)()()()(),,(,

(11)

设)(x为zx,对变量z在闭区间],[ba的全变差函数。对于每个],[bax,对于(11)右边第二项是在kxz点的跳跃的阶梯函数)(1xFk。使K(t)是],[ba的连续函数,同时也使zazzhzdttKz

,其中左连续阶梯函数,假设有唯一的点1x不连

续,bxa1且1110cxx。用],;[ba表示在],[ba中全变差函数。我们选择满足bx1,并将其在],[1x随意分割mx2101,那么

我们可以的到如下不等式,],;[2101011xhhhhcmiii

从],;[1x的定义得出miii11是它的最小上界。那么,不等式的右边我们通过他0max1ii极限得到。因为h是连续函数,所以有

miiixhhh111],;[]5[

和],;[],;[111xxhc。由于 ],;[],;[],;[],;[11111xhcxxhx 就可以得出],;[],;[111xhcx,由于dttKbahba],;[,根据]5[得到如下关系式],;[],;[],;[],;[11bhxxahba,从而得到1],;[cdttKbaba 其中对于ax1或者bx1也成立。 将],[ba分成若干份,是每一份所包括的比不是(11)中不连续点,利用变量,那么有



nkkkbabaxxFdydtytyxKx11111,,

,那么得到(8)式。

定理2 ],[,,,21baCxfxfxfn且线性无关,设bannndyyyxKxf,, knknknxxxKxf,,其中nK、f为已知函数;kx是区间],[ba中的点;

],[,KnbaCf,yxKn,在区间],[],[baba连续,],[baC表示在],[ba内的实函数的

集合。对于)()(11xfxfxfxinjkknnn其中ni,在],[baC有解决的可能,它的充分必要条件是对于 yxdxxKydttxKnnnjkknkaayan11)),()(),((



所有的0Vxn分别满足的条件是:banmnxdBxf0)())((1 

inmjkkmmmnmjkkmmmmxfxfxfxfB11111

设],0[1dn,测d的范围为jkkibaibaxixxKdttxKd1],[,,max nddd,,min1

参考文献: [1] Radon, J., Sitzsber. Akad,Wiss. Wien, 1919, vol. 128, pp. 1083—1121 [2] Kneser, A., Rend. Circ. Mat. di Palermo, 1914, vol. 38, pp. 133—169. [3] Titchmarsh, E.,The Theory of Functions, London: Oxford University, 1975.