请输入您要查询的百科知识:

 

词条 弗雷德霍姆积分方程
释义

§ 弗雷德霍姆积分方程

§ 正文

形如 1

(1)

和 2

(2)

的积分方程,依次称为第一种弗雷德霍姆积分方程和第二种弗雷德霍姆积分方程,其中λ 是参数,φ(x)是未知函数,核K(x,y)和自由项 ƒ(x)是预先给定的函数。通常假设 K(x,y)属于平方绝对可积函数类,记,B是非负数。当ƒ(x)恒为零时,称为齐次积分方程,否则称为非齐次积分方程。

逐次逼近法及解核  第二种弗雷德霍姆积分方程的最简便的一种解法是逐次逼近法,即按递推公式

给出方程(2)的n+1次近似解

,这里Km(x,y)表示K(x,y)的m次叠核,即 易知,

,这里l可取为小于m的任何自然数。当|λ|<B-1时,近似解序列{φn(x)}在【α,b】上是一致收敛的,其极限φ(x)就是方程(2)的解。

若级数一致收敛,记之为Γ(x,y;λ),则Γ(x,y;λ)同时满足下面两个方程:

,

(3)

,

(4)对于某值λ,若有平方绝对可积函数Γ(x,y;λ)同时适合方程(3)、(4),则称Γ(x,y;λ)为解核。这时方程(2)对任意的自由项ƒ(x)有惟一解,它可表为

,

(5)反之亦然。

对于解核不存在的值 λ,称为特征值。否则,称为正则值。当且仅当λ是特征值时,对应的齐次方程

(6)才有非零解。非零解φ(x)称为对应于λ的特征函数。

弗雷德霍姆方法  E.I.弗雷德霍姆给出了一般情形的解核构造法。设 K(x,y)是有界核,即│K(x,y)│<M(M 是实常数),记

,

(7)

,

(8)式中

。应用阿达马引理可估计,从而推知级数(7)、(8)对于一切复值 λ是绝对一致收敛的,因此,D(λ)、D(x,y;λ)都是关于λ的整函数,并分别称为弗雷德霍姆行列式和弗雷德霍姆一阶子式。可以证明,解核可表为Г(x,y;λ)=D(x,y;λ)/D(λ)。这表明解核是λ的半纯函数。同时,解核的极点都是 D(λ)的零点,也都是齐次方程(6)的特征值。反之亦然。

弗雷德霍姆定理  弗雷德霍姆对于第二种积分方程的研究,可归结为如下的四个定理,总称为弗雷德霍姆定理。它是弗雷德霍姆积分方程理论的基础。

第一定理 在λ复平面的任意有限区域内,方程(2)至多只有有限个特征值。

第二定理 每个特征值λ至少对应于一个特征函数,且所对应的线性无关的特征函数的个数是有限的。这个有限数称为λ的秩。

第三定理 设λ是核K(x,y)的特征值,则 憳是共轭核 的特征值。齐次方程 (6)与其共轭齐次方程具有相同的秩。

第四定理 若λ是核K(x,y)的特征值,则非齐次方程(2)可解的充分必要条件为:方程(2)的自由项ƒ(x)与其共轭齐次方程的所有线性无关解ψi(x)正交,即

,式中r是λ的秩。

因此,非齐次方程(2),或者对任意自由项可解,或者相应的齐次方程有非零解。这一结论通常称为弗雷德霍姆备择定理。

对于第一种弗雷德霍姆积分方程,若φ(x)是它的解,又有非零的任意函数ψ(x)使得,则φ(x)+ψ(x)也是它的解。E.施密特对方程(1)的特征值和特征函数给出了如下的定义:若对于某实数 λ存在非零的函数φ(x)和ψ(x),满足方程组

,

,则称λ是方程(1)的特征值,而【φ (x),ψ(x)】称为对应于λ的相伴特征函数对。易知,φ(x)和ψ(x)又分别为下面的第二种弗雷德霍姆积分方程的特征函数:

,式中

,式中

。而K壟(x,y)(i=1,2)都是对称正核,故λ是实数,不妨认为λ > 0。方程(1)一定存在一组正特征值{λi}和对应的正交标准的相伴特征函数对{φi(x),ψi(x)}。有时也称之为奇值和奇值函数序列。应用它可类似地建立展开定理。施密特指出,方程(1)可解的必要条件是级数式中ƒi=(ƒ,φ)。以后,(C.-)É.皮卡进而证明,在正交标准特征函数系{φi(x)}是完备的情形,这条件也是充分的。此即所谓施密特-皮卡定理。

对于第一种弗雷德霍姆积分方程的研究,近代有了新的进展,并提供了一些有效的解法,但至今还未建立起系统的理论。

§ 配图

§ 相关连接

随便看

 

百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/12/19 3:48:15