邢家省， 楊小遠(yuǎn)

(1.北京航空航天大學(xué)數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院， 北京　100191；2.數(shù)學(xué)、信息與行為教育部重點(diǎn)實(shí)驗(yàn)室， 北京　100191)

?

廣義菲涅爾積分的積分交換次序計(jì)算方法

邢家省1，2， 楊小遠(yuǎn)1，2

(1.北京航空航天大學(xué)數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院， 北京100191；2.數(shù)學(xué)、信息與行為教育部重點(diǎn)實(shí)驗(yàn)室， 北京100191)

考慮兩無(wú)窮區(qū)間上積分交換次序定理的充分條件，經(jīng)典定理的充分條件要求函數(shù)在二重?zé)o界區(qū)域上絕對(duì)可積，這個(gè)條件太強(qiáng)，將經(jīng)典的二重廣義積分的絕對(duì)可積條件換成積分的內(nèi)閉一致收斂性條件，得到數(shù)學(xué)分析中應(yīng)有的廣泛條件下的兩積分交換次序結(jié)果。利用廣泛條件下的兩積分交換次序定理，對(duì)廣義菲涅爾積分計(jì)算中的積分可交換次序給出了一般性證明方法，統(tǒng)一了相關(guān)廣義積分的計(jì)算問(wèn)題，溝通了不同方法之間的內(nèi)在聯(lián)系，給出的方法簡(jiǎn)單直接。

菲涅爾積分；廣義菲涅爾積分；含參變量廣義積分；內(nèi)閉一致收斂性；兩無(wú)窮區(qū)間上的積分交換次序定理

兩無(wú)窮區(qū)間上的積分交換次序定理[1-12]是數(shù)學(xué)分析中的重要經(jīng)典結(jié)果，文獻(xiàn)[1-8，12]給出了兩無(wú)窮區(qū)間上積分可交換積分次序的充分條件和證明過(guò)程。然而此經(jīng)典定理在使用中非常不方便，對(duì)許多二元函數(shù)實(shí)施積分交換次序時(shí)不能直接套用，有時(shí)只能間接的在兩任意內(nèi)部區(qū)間上套用[2,5,7-10]，然后再通過(guò)對(duì)變動(dòng)區(qū)間上的積分取極限[2,5,7-10]。經(jīng)典定理的充分條件要求二元函數(shù)在二重?zé)o界區(qū)域上絕對(duì)可積[1-8]，這個(gè)條件也相當(dāng)苛刻，一些常見(jiàn)函數(shù)也不滿足此條件，也只能間接使用，然后采用其他復(fù)雜的解決辦法[2,5,7-10]。這就必然導(dǎo)致要對(duì)經(jīng)典的積分交換次序條件進(jìn)行改進(jìn)[2,5,7-14]，在廣泛的充分條件下給出積分交換次序定理的結(jié)果，得到數(shù)學(xué)分析中最好的理論表現(xiàn)形式，并且在導(dǎo)出好的結(jié)果的過(guò)程中完全是利用數(shù)學(xué)分析自身已有的理論方法，利用新的表述結(jié)果可以更方便于解決一批函數(shù)的積分計(jì)算問(wèn)題。以理論先進(jìn)的形式傳播，達(dá)到數(shù)學(xué)分析學(xué)中應(yīng)有的理論高度，構(gòu)成一般性的處理方法。

1　無(wú)窮區(qū)間上積分交換次序定理的經(jīng)典充分條件及其局限性

定理1[1-7](無(wú)窮區(qū)間的積分交換次序)設(shè)函數(shù)f(x,u)在[a,+∞)×[α,+∞)上連續(xù)，如果滿足下列條件：

定理1是標(biāo)準(zhǔn)數(shù)學(xué)分析中的經(jīng)典結(jié)果，文獻(xiàn)[1-7]中對(duì)定理1的敘述和證明過(guò)程都是此條件。定理1中充分條件(1)是包含端點(diǎn)的半內(nèi)閉一致收斂性條件，這是不必要的，完全可以改為不含端點(diǎn)的真正內(nèi)閉一致收斂性條件；定理1的條件(2)是二元函數(shù)在無(wú)界區(qū)域上的絕對(duì)可積條件，此條件相當(dāng)苛刻，對(duì)許多函數(shù)不能直接套用此定理。在內(nèi)部區(qū)間上間接的使用[2,5,7-8]，然后采用再取極限的辦法，這是相當(dāng)繁瑣的?？梢詫⒍ɡ?中的條件(1)和條件(2)改進(jìn)為一般形式，得到好的一般結(jié)果形式，新的結(jié)果更方便于使用。

2　函數(shù)列積分的極限理論結(jié)果

定理2[1-4]設(shè){fn(x)}是[a,b]上的黎曼可積函數(shù)列，如果{fn(x)}在[a,b]上一致收斂于f(x)。則有：

(1)f(x)在[a,b]上黎曼可積；

定理3[1-4]設(shè){fn(x)}是[a,b]上的連續(xù)函數(shù)列，如果{fn(x)}在[a,b]上一致收斂于f(x)。則有：

(1)f(x)在[a,b]上連續(xù)；

定理4的區(qū)間(a,b)可為有限區(qū)間，也可為無(wú)限區(qū)間。定理4常被使用的情形是控制收斂定理。

如果滿足：

(1)對(duì)任意b>B>A>a，{fn(x)}在[A,B]上一致收斂于f(x)；

定理5的區(qū)間(a,b)可為有限區(qū)間，也可為無(wú)限區(qū)間。

如果滿足：

(1)對(duì)任意B>A>a，{fn(x)}在[A,B]上一致收斂于f(x)；

定理4、5、6雖然是以函數(shù)列的極限形式敘述的，但完全可以寫(xiě)出其他極限形式的相應(yīng)結(jié)論[1-4]。

3　無(wú)窮區(qū)間上積分交換次序的充分條件的改進(jìn)結(jié)果

結(jié)論得證。

定理8設(shè)函數(shù)f(x,u)在[a,b]×(c,+∞)上連續(xù)，如果滿足條件：

定理9設(shè)函數(shù)f(x,u)在[a,b]×(c,+∞)上連續(xù)，如果滿足條件：

定理10設(shè)函數(shù)f(x,u)在[a,b]×(c,+∞)上連續(xù)，如果滿足條件：

定理11(無(wú)窮區(qū)間上的積分交換次序)設(shè)函數(shù)f(x,u)在(a,+∞)×(c,+∞)上連續(xù)，如果滿足下列條件：

從而

故

定理12[8,12](無(wú)窮區(qū)間上的積分交換次序)設(shè)函數(shù)f(x,u)在(a,+∞)×(c,+∞)上連續(xù)，如果滿足下列條件：

顯然定理11和定理12的條件比定理1的條件廣泛自然，也就是定理11和定理12的結(jié)果優(yōu)于定理1的結(jié)果，應(yīng)該采用定理11或者定理12去替代定理1，數(shù)學(xué)分析中的積分交換次序定理應(yīng)該以定理11或定理12的結(jié)果為最終形式，此結(jié)果完全是利用數(shù)學(xué)分析自身已有的理論方法，證明過(guò)程沒(méi)有增加任何困難。定理11或定理12的充分條件，在實(shí)際應(yīng)用中非常方便于驗(yàn)證，減少了解決問(wèn)題的難度，使用范圍廣泛。定理11或定理12的結(jié)果，達(dá)到了數(shù)學(xué)分析中應(yīng)有的理論高度。

一般地，對(duì)(a,b)×(c,d)上的積分交換次序定理的充分條件類似的可以給出，這里下限a,c可以是有限的或?yàn)?∞，上限b,d可以是有限的或?yàn)?∞。

4　Dirichlet積分的簡(jiǎn)便計(jì)算方法

(1)

需證明成立：

(2)

在(2)式成立的情況下，可得到

(3)

故

(4)

在(4)式兩端，令b→+∞，取極限，則得

(5)

在(5)式兩端，令a→0+，取極限，則得(2)式成立。

5　廣義菲涅爾積分計(jì)算中的積分交換次序的一般方法

(6)

可以證明成立[2,5-7]：

(7)

在(7)式成立的情況下，可得

故有

其中利用了貝塔函數(shù)的性質(zhì)[1-3]和Γ函數(shù)的余元公式[1-3]。

證明(7)式成立：

(8)

H(a,y)-H(b,y)

F(a,b,y)=g(y)H(a,y)-g(y)H(b,y)

利用黎曼積分下的積分收斂定理，于是有

在(8)式兩端令b→+∞,a→0+，取極限，得到成立

故(7)式得證。

(9)

注意到

利用定理14的結(jié)果，可以再次得到

定理15[2,5-7]設(shè)0<λ<1，則有

證明利用分部積分和定理14的結(jié)果，得

定理16[2,5-7]設(shè)p>1，則有

用類似于證明(7)式的方法，同理可證成立

(10)

利用(10)式，可以得到：

定理17[2,5-7]設(shè)α>0,0<λ<1，則有

定理18[2,5-7]設(shè)p>1，則有

6　一類Euler積分公式及其應(yīng)用

從而

x∈[0,1]

對(duì)-1

λcos(λtsinα)sinα]dt=

定理20的結(jié)果得證。

定理22[2,15]設(shè)k>0,-1<λ<1，則有

(11)

(12)

用類似于證明(7)式的方法，可以證明成立：

(13)

于是

在

于是

定理23[2,15]設(shè)k>0,0<λ<1，則有

(14)

利用(14)式，可得

并利用Euler公式

(sinα)λΓ(λ)cosλα

于是，

Γ(1-λ)Γ(λ)(sinα)λcosλα=

F(0)=2π

sin(usinx)sinx]dx=

[1] 常庚哲,史濟(jì)懷.數(shù)學(xué)分析教程(下冊(cè))[M].北京:高等教育出版社,2003.

[2] 黃玉民,李成章.數(shù)學(xué)分析(下冊(cè))[M].2版.北京:科學(xué)出版社,2007.

[3] 華羅庚,著.王元,校.高等數(shù)學(xué)引論(第二冊(cè))[M].北京:科學(xué)出版社,2009.

[4] 張筑生.數(shù)學(xué)分析新講(第三冊(cè))[M].北京:北京大學(xué)出版社,1990.

[5] 費(fèi)定暉,周學(xué)圣.吉米多維奇數(shù)學(xué)分析習(xí)題集題解(五)[M].濟(jì)南:山東科學(xué)技術(shù)出版社,1980.

[6] 裴禮文.數(shù)學(xué)分析中的典型問(wèn)題與方法[M].北京:高等教育出版社,2002.

[7] 匡繼昌.實(shí)分析與泛函分析續(xù)論(上冊(cè))[M].北京:高等教育出版社,2015.

[8] 白玉蘭,陳述濤.一個(gè)二次廣義積分的順序交換問(wèn)題[J].哈爾濱師范大學(xué)學(xué)報(bào):自然科學(xué)版,1987,3(3):13-18.

[9] 姜贊臣.含參變量無(wú)窮積分在積分號(hào)下可積分定理的推廣[J].淄博師專學(xué)報(bào),1995(2):15-17.

[10] 匡繼昌.Dirichlet積分九種解法的思路分析[J].高等數(shù)學(xué)研究,2012,15(4):61-64.

[11] 許寧.Dirichlet積分及其應(yīng)用[J].高等數(shù)學(xué)研究,2014,17(3):15-19.

[12] 邢家省,楊小遠(yuǎn),白璐.兩無(wú)窮區(qū)間上積分交換次序充分條件的改進(jìn)及其應(yīng)用[J].四川理工學(xué)院學(xué)報(bào):自然科學(xué)版,2016,29(1):87-92.

[13]FLANDERSH.OntheFresnelIntegrals[J].TheAmericanMath.Monthly,1982,89(4):264-266.

[14]LEONARDIE.MoreonFresnelIntegrals[J].TheAmericanMath.Monthly,1988,95(5):431-433.

[15] 華羅庚,著.王元,校.高等數(shù)學(xué)引論(第三冊(cè))[M].北京:科學(xué)出版社,2009.

CalculationofIntegralsExchangeofGeneralizedFresnelIntegrals

XING Jiasheng, YANG Xiaoyuan

(1.SchoolofMathematicsandSystemsScience,BeihangUniversity,Beijing200191,China;2.LMIBoftheMinistryofEducation,BeihangUniversity,Beijing100191,China)

Consideredthesufficientconditionofexchangetheoremofintegralsequencewithintwoinfiniteinterval,sufficientconditionofclassicaltheoryisverystrongwhichrequirefunctionabsolutelyintegrableintwiceunboundedintervals.Iftheabsolutelyintegrableconditionofclassictwiceintegralintointernaluniformconvergenceofintegralischanged,theresultoftwiceintegralexchangingsequencewithinreasonablegeneralizedconditionofmathematicalanalysisisgained.Usedtheexchangetheoremofintegralsequencewithinthegeneralizedcondition,thegeneralproofofintegralsexchangeofthegeneralizedFresnelintegralwhichunifythecalculationofgeneralizedintegralsisgiven.Furthermore,thismethodcanimprovetheefficiencyofcalculation.

Fresnelintegrals;generalizedFresnelintegrals;generalizedintegralcontainedparameters;innercloseuniformlyconvergence;integralsexchangetheoremoninfiniteinterval

2015-11-22

國(guó)家自然科學(xué)基金資助項(xiàng)目(61271010)；北京航空航天大學(xué)校級(jí)重大教改項(xiàng)目(201401)

邢家省(1964-)，男，河南泌陽(yáng)人，副教授，博士，主要從事偏微分方程、微分幾何方面的研究，(E-mail)xjsh@buaa.edu.cn;

楊小遠(yuǎn)(1964-)，女，遼寧沈陽(yáng)人，教授，博導(dǎo)，主要從事應(yīng)用調(diào)和分析、圖像處理方面的研究，(E-mail)xiaoyuanyang@buaa.edu.cn

1673-1549(2016)03-0085-08

10.11863/j.suse.2016.03.18

O177.2

A