ξ12.3 含参变量的积分
一、含参变量的有限积分
设二元函数f (x,u)在矩形域R (βα≤≤≤≤u b x a ,)有定义,],,[βα∈?u 一元函数f(x,u)在[a,b]可积,即积分
dx
u x f a b
),(?
存在 ],[βα∈?u 都对应唯一一个确定的积分(值)
),(u x f a b
?dx .于是,积分
dx u x f a b
),(?是定义在区间],[βα的函数,记为],[,),()(βα?∈=?u dx u x f a
b u ,称为含参变量的有限积分,u 称为参变量。
下面讨论函数)(u ?在区间 ],[βα的分析性质,即连续性、可微性与可积性
定理 1 若函数),(u x f 在矩形域R ),(βα≤≤≤≤u b x a 连续,则函数
dx u x f a
b
u ),()(?=?在区间也连续。
证明
有
,使取],,[u ],,[βαβα∈?+?∈?u u u
.
),(),()()(.
)],(),([)()dx u x f u u x f a
b
u u u dx u x f u u x f a
b
u u u -?+≤-?+-?+=-?+??????(
根据ξ10.2定理8,函数),(u x f 在闭矩形域R 一致连续,即
,,:),(),(,0,02121221,1δδδε<-<-∈?>?>?y y x x R y x y x 有
ε<-),(),(2211y x f y x f .
特别地,.:),(),,(δ∈?+?u R u u x u x 有 .),(),(ε<-?+u x f u u x f 于是,,δ
)(),(),()()(a b dx u x f u u x f a
b u u u -<-?+≤-?+?ε?? 即函数在区间连续.
设[]βα,0∈u ,由连续定义,有
)()(lim ),(lim
u u dx u x f a b
u u u u ??==→→?
=
dx u x f a b dx u x f a b u u ),(lim ),(0
0→??=. 由此可见,当函数),(u x f 满足定理1的条件时,积分与极限可以交换次序. 定理2 若函数),(u x f 与
u
f
??在矩形域R(βα≤≤≤≤u b x a ,)连续,则函数在区间[βα,]可导,且[]βα,∈?u ,有
dx
u u x f a b u du d
??=?),()(? 或
dx u u x f a b dx u x f a
b
du d ??=??),(),(. 简称积分号下可微分.
证明 [][],,u,,,βαβα∈?+?∈?u u u 使取有
[].),(),()()(dx u x f u u x f a
b
u u u -?+=-?+??? (1) 已知
u
f
??在R 存在,根据微分中值定理,有 .10,),(),(),('<?+=-?+θθu u u x f u x f u u x f u 将它代入(1)式,等号两端除以u ?,有
.10,),()
()('
<+=?-?+?θθ??dx u u x f a
b u u u u u 在上面等式等号两端减去dx u x f a
b
u ),('?,有
d x u x f a
b
u u u u u ),()
()('?-?-?+?? dx u x f u u x f a
b u u ),(),(''
-?+≤?
θ. 根据 ξ10.2定理8,函数),('u x f u 在闭矩形域R 一致连续,即
,0,0>?>?δε,:),(),,(δ∈?+?u R u u x u x 有.),(),(''εθ<-?+u x f u u x f u u 从而,
有
),(),()
()('a b dx u x f a
b
u u u u u -≤-?-?+?ε??即 dx u x f a
b
u
u u u u u ),()
()(lim '0
?=?-?+→??? 或
.),()(dx u u x f a b u du
d
??=?? 定理2指出,当函数),(u x f 满足定理2的条件时,导数与积分可以交换次序. 定理 3 若函数),(u x f 在矩形域R (βα≤≤≤≤u b x a ,)连续,则函数
dx u x f a
b
u ),()(?=?在区间[]βα,可积,且
.).(),(dx du u x f a b du dx u x f a b ??
????=??????????αβαβ (2) 简称积分号下可积分.
证明 根据定理1,函数)(u ?在[]βα,连续,则函数)(u ?在区间[]βα,可积.下
面
证
明
等
式
(
2
)
成
立
.
[]
βα,∈?t ,设
.),()(,),()(21dx du u x f t a b t L du dx u x f a b t t L ???
???=??????=????αα
根据4.8ξ定理1,有.),()('
1
dx t x f a
b
t L ?=
已知du u x f t ),(?α与du u x f t
t ),(???α
都在R 连续,根据定理2,有
dx du u x f t
a b dt d t L ??????=
??),()('2α =dx du u x f t t a b ??
????????
),(α =dx t x f a
b
),(?.
于是,[]βα,∈?t ,有()().'2'
1
t L t L =.由1.6ξ例1,()(),21C t L t L =-其中C 是常数.特别地,当α=t 时,()(),021==ααL L 则C=0,即()()β==t t L t L 当.21时,有
()(),21ββL L =即.),(),(dx du u x f a b du dx u x f a b ??
????=??????????αβαβ
定理3指出,当函数),(u x f 满足定理3的条件时,关于不同变量的积分可以交换次序。
以上所讲的含参变量的有限积分,只是被积分函数含有参变量.一般情况下,除被积函数含有参变量外,积分的上、下限也可含有参变量,即).(),(u b b u a a ==不难看到,[]βα,u ? ,对应唯一一个积分(值),),()
()(dx u x f u a u b ?
它仍是区间[]
βα,上的函数,设[].,,),()
()
()(βαψ∈=?u dx u x f u a u b u 这里只给出函数)(u ψ在区间[]βα,的可微性. 定理4 若函数),(u x f 与
u
f
??在矩形域R(βα≤≤≤≤x b x a ,)连续,而函数)(u a 与)(u b 在区间[]βα,可导,[]βα,∈?u ,有
()().,b u b a b u a a ≤≤≤≤ 则函
数
()()()
dx u x f u a u b u ),(?
=ψ在区间
[]
βα,可导,且
()()()()[]()()[]().,,),(''u a u u a f u b u u b f dx u u x f u a u b u du
d
-+??=?ψ (3)
证明 []()u b z u a y u ==∈?),(,,设βα与).,,(),(u z y F dx u x f y
z
=?有
()()
()
()()()[].,,,u u b u a F dx u x f u a u b u ==?ψ 已知
u
F Z F y F ??????,,都是连续函数.由3.10ξ定理4的推论,函数()u z y F ,,关于变量u 可导,有(),'u
z z F u y y F u F u ????+????+??=
ψ其中 ).,(),(),,(),(,),(),(u z f dx u x f y z z z F u y f dx u x f y
z
y y F dx u x f u z y dx u x f y z
u u F =??=??-=??=????=??=??????
于是,()()()().,,,'''z u z f y u y f dx u x f u
y z u +-??
=?
ψ 将()u a y =与()u b z =代入上式,有
()()()()+??=?dx u u x f u a u b u du
d
,ψ
[]()()[]().,),(''u a u u a f u b u u b f -
显然,当()u a 与()u b 是常数时,()()0''==u b u a ,定理4的特殊情况就是定理2.
二、含参变量的无穷积分
设二元函数),(u x f 在区域()βα≤≤+∞≤≤x x a D ,有定义,[]βα,∈?u ,无穷积分()du u x f a
,?
∞+都收敛,即[]βα,∈?u 都对应唯一一个无穷积分(值)
()du u x f a
,?∞
+ .于是()du u x f a
,?∞
+是区间[]βα,上的函数,记为
()(),,dx u x f a
u ?
∞+=? []βα,∈u ,
称为含参变量的无穷积分,有时也建成无穷积分,u 是参变量.
已知无穷积分()dx x f a
?
∞+与级数∑∞
=1n n u 的敛散概念、敛散判别法及其性质基
本上是平行的.不难想到,含参变量的无穷积分()dx u x f a
,?
∞+
与函数项级数∑∞
=1
n n u 之间亦应如此.讨论函数项级数的和函数的分析性质,一致
收敛起着重要作用.同样,讨论含参变量的无穷积分所确定的函数分析性质,一致收敛同样也起着重要的作用. []βα,∈?u 无穷积分()dx u x f a
,?
∞+都收敛,即[]βα,∈?u ,有
()()dx u x f a A
dx u x f a
A ,lim ,??+∞→=∞+. 即u u A A A >?>?>?,0,0ε,有
()()()ε<∞
+=-∞
+???dx u x f a
dx u x f a A dx u x f a
,,, (4)
一般来说,对[]βα,上不同的u 1和u 2,在ε相等的情况下,1u A 与2u A 也是不同的.区间[]βα,有无限多个点u ,因而对应无限多个正数A u ([]βα,,0∈?>?u A A ,有(4)式成立)呢?事实上,由得含参变量的无穷积分在区间[]βα,存在着通用的正数0A .于是,有下面一致收敛概念: 定义 设I u ∈?(区间),无穷积分()dx u x f a
,?∞+收敛.若0,0A ?>?ε(通
用)>0,,,0I u A A ∈?>?有
ε<∞
+=-∞
+???dx u x f A
dx u x f a A u x f a
),(),(),(,则称无
穷积分()dx u x f a
,?
∞+在区间I 一致收敛. 若无穷积分()dx u x f a
,?
∞+在区间I 不存在通用的00>A ,就是非一致收敛.现将一
致收敛与非一致收敛列表对比如下:
无穷积分()dx u x f a
,?∞+在区间I
一致收敛
.),(A
,,,0,000εε<∞+∈?>?>?>??
dx u x f I u A A A 有
非一致收敛
.),(A ,,,0,000
0000εε≥∞
+∈?>?>?>??dx u x f I u A A A 有
例6 证明:无穷积分dx ue xu
-?∞+0
在区间[]()0,>a b a 一致收敛. 证明 设A>0,求无穷积分(将u 看作常数)
dx ue xu
-?∞+0.
设dt u
dx t xu 1
,==,有dx ue xu -?
∞+0=dt u ue Au 11-?∞+=dt e Au 1-?∞+=.Au e - 已知b x a ≤≤,有
.Aa
Au xu e e dx ue A
---≤=∞+? ,0>?ε由不等式ε<-Aa e ,解得ε1ln 1a A >
.取ε
1
ln 10a A =.于是,0>?ε,ε1
ln 10a A =
?,0A A >?,[]b a u ,∈?,有,ε<≤∞+--?Aa xu e dx ue A
即无穷积分在区间[]b a ,一致收敛.
定理5(柯西一致收敛准则) 无穷积分dx u x f ),(0?∞
+在区间I 一致收敛I u A A A A A ∈?>>?>?>??,,0,002010与ε,有
.),(1
2
ε
A
证明 (?)由一致收敛的定义,,,,0,000I u A A A ∈?>?>?>?ε有
.2),(ε
<∞
+?dx u x f A
从而,0201A A A A >>?与,分别有
2
),(1
ε
<
∞
+?dx u x f A
与
2
),(2
ε
<
∞
+?dx u x f A
.于是,
dx u x f A dx u x f A
dx u x f A
A ),(),(),(2
1
1
2
?
??∞+-∞
+=
.
2
2
),(),(21εε
ε
=+
<
∞++∞+≤??dx
u x f A dx u x f A
(?)010,0,0A A A >?>?>?ε与,,02I u A A ∈?>有
ε
A ),(1
2
.
令+∞→2A ,有()ε≤∞+?dx u x f A ,1
,即无穷积分在()dx u x f ,0?∞
+区间I 一致收敛. 定理6 若I u B x B ∈?>?>?,,0,有()),(,x F u x f ≤ (5) 且无穷积分dx x F a )(?
∞+收敛,则无穷积分()dx u x f ,0
?∞
+在区间I 一致收敛. 证明 已知无穷积分dx x F a
)(?∞
+收敛,根据ξ12.1定理2无穷积分的柯西收敛准则,即 010,,0A A a A >?>?>?ε 与 ,02A A > 有
().1
2
ε
由不等式(5),{}010,,m
a x A A B a A >?>?与,02A A >,I u ∈?有
.)(),(),(1
2
1
2
1
2
ε<≤
≤
???dx x F A A dx u x f A
A dx u x f A
A
再根据定理5的充分性,无穷积分()dx u x f a
,?
∞
+在区间I 一致收敛. 定理6中的函数()x F 称为优函数.定理6亦称为优函数判别法.
例7 证明:无穷积分dx e ux 2
-?∞+在区间一致收敛(0>a ). 证明 .),,[2
2ax ux e e a u --≤+∞∈?有
已知无穷积分dx e ax 2
-?
∞+收敛(见ξ12.1 例7),根据定理6,则无穷积分dx e ux 2
0-?∞+在区间一致收敛.
例8 证明:无穷积分dx y
x xy
2
2cos 1+∞+?在R 一致收敛. 证明 ,R y ∈?有
.1
cos 2
22x
y x xy ≤+ 已知无穷积分dx x 211?∞+收敛,则无穷积分dx y x xy 2
2cos 1+∞+?在R 一致收敛. 定理6是判别某些无穷积分一致收敛性的很简单的判别法 ,但这种方法有
一定的局限性:凡是能用定理6判别无穷积分是一致收敛,此无穷积分必然是绝对收敛;如果无穷积分是一致收敛,同时又是条件收敛,那么就不能用定理来判别.对于这种情况,有下面的定理:
定理7(狄利克雷判别法) 若()u x f ,,()u x g ,满足:
1)当+∞→A 时,积分dx u x f a
A
),(?对[]βα,∈u 一致有界;
2)),(u x g 是x 的单调函数,且+∞→x 时,关于u 一致收敛于0.则无穷积分
()()dx u x g u x f a ,,?∞
+在[]βα,上一致收敛.
证明 由条件1),[],,,0βα∈?>?u M 有
.),(M d x u x f a A
于是'A ?,[]βα,''∈?>u a A 及,有(不妨设'''A A <)
().2),(),(,'
''''
'M dx u x f x A dx u x f x A dx u x f A
A ≤+≤???
由条件2),[]βαε,,,00∈?>?>?u a A ,有 .),(ε
''',A A ∈?ξ,有
dx u x f A u A g dx u x f A u A g dx u x g u x f A A ),(),(),('),(),(),('
''
''
'
'
'???+≤ξ
ξ
.422εεεM M M =+≤
由定理5知,无穷积分()()dx u x g u x f a
,,?∞
+在[]βα,上一致收敛. 定理8(阿贝尔判别法) 若),(),,(u x g u x f 满足: 1)无穷积分dx u x f a
),(?
∞
+关于[]βα,∈u 一致收敛; 2)函数),(u x g 关于x 单调,且关于u 在[]βα,上一致有界.则无穷积分
()()dx u x g u x f a ,,?∞
+在[]βα,上一致收敛.
例9 证明:无穷积分dx x
x e yx sin 0-?∞+在区间[]+∞,0一致收敛. 证明 因为对0≥?y 函数yx e -关于x 是单调减少,且0≥?x ,0≥?y ,有
1≤-yx e ,而无穷积分dx x
x
sin 0?
∞+一致收敛.根据阿贝尔判别法,无穷积分
dx x x
e yx sin 0-?∞+在[]+∞,0一致收敛.
例10 证明:无穷积分),0[,1sin 02
+∞∈+∞+?p dx x
x p
在一致收敛. 证明 作替换,2,t dt dx t x ==有dt t
t t dx x x p
p ???
? ??+∞+=+∞+??2212sin 01sin 0. 已知无穷积分dt t
t sin 0
?
∞+(关于p )一致收敛.而函数()???
? ?
?
+=
2
121p t t f (在
0≥p )关于是单调减少,且关于一致有界.于是,由阿贝尔判别法,无穷积分
),0[1sin 0
2
+∞+∞+?在dx x
x p
一致收敛.
()dx u x f a
u ),(?
∞+=?在区间[]βα,一致收敛,则函数()u ?在区间[]βα,连续.
证明 由一致收敛的定义,[]βαε,,0,0,00∈?>?>?>?u A A A ,有
().3
,ε
<∞+?dx u x f A [][]βαβα,,,00∈?+∈?u u u 取,有
().3,0ε<∞+?dx u x f A 与 ().3
,0ε
+∞+?dx u u x f A
根据定理1,函数()()dx u x f a A
u p ,?=在区间[]βα,连续,当然在任意一点
[]βα,0∈u 也连续,即对上述同样的,,0,0δδε>?>u 有
()()().3
,),(0000ε<-?+=
-?+??dx u x f a A dx u u x f a A
u p u u p 于是,(),,0,,0000δδε>?>?>?>?u A A A 有 ()()00u u u ??-?+=
()()dx u x f a
dx u u x f a
00,,?
?∞+-?+∞
+
=
()()-?+∞++?+?
?dx u u x f A
dx u u x f a
A
00,,
()()dx u x f A dx u x f a A 00,,??∞
+-
()()+-?+≤
??dx u x f a A dx u u x f a A
00,,
()()dx u x f A dx u u x f A
0,,??∞
++?+∞
+
.3
3
3
εε
ε
ε
=+
+
<
即函数()u ?在区间[]βα,连续.
()()dx u x f a
u ,?
∞+=?在区间[]βα,一致收敛,则函数()u ?在区间[]βα,可积,且
()(),,dx du u x f a du u ??
?
???∞+=???αβ?αβ 即 ()().,,dx du u x f a du dx u x f a ??
????∞+=??????∞+????αβαβ 简称积分号下可积分.
证明 根据定理9,函数()u ?在区间[]βα,连续,则函数()u ?在区间[]βα,可积.由一致收敛定义,[]βαε,,,0,000∈?>?>?>?u A A A ,有
().,ε<∞
+?dx u x f A (6)
根据定理3,有
()().,,dx du u x f a A du dx u x f a A ??
?
???=??????????αβαβ 从而,0A A >?时,有
()()du dx u x f a du u ??
?
???∞+=???,αβ?αβ
=()()du dx u x f A dx u x f a A ???
???∞++???,,αβ
=()()du dx u x f A du dx u x f a A ??
?
???∞++??????????,,αβαβ
=()().,,du dx u x f A dx du u x f a A ???
???∞++??????????αβαβ
于是,由不等式(6)有
()()dx du u x f a A du u ??
?
???-???,αβ?αβ
=
()du dx u x f A ??
?
???∞+??,αβ
()du dx u x f A
,??
∞
+≤αβ <(),αβεα
β
ε-=?du
即 ()()dx du u x f a A du u A ??
?
???=???+∞→,lim αβ?αβ
= ().,dx du u x f a ??
?
???∞+??
αβ 定理11 若函数()u x f ,与()u x f u ,'在区域()βα≤≤+∞≤≤u x a D ,连续,且无穷积分()()dx u x f a
u ,?
∞+=?在区间[]βα,收敛,而无穷积分()dx u x f a
u ,'?
∞+在
区间[]βα,一致收敛,则函数()u ?在区间[]βα,可导,且
()(),,'
'dx u x u
f a u ?
∞+=? 即
()().,,dx u x f u a dx u x f a
du d ???
∞+=?∞
+ 简称积分号下可微分.
证明 [],,βα∈?u 讨论积分 ().,'dt dx t x t f a u ??
?
????∞+?α 根据定理10,有
()dt dx t x t f a u ???
????∞+?,'α
=()()dx u t x f a dx dt t x t f u a ???????∞+=??
??????
∞+αα,,' =()[]dx t x f a
,?
∞+- ()[]dx x f a
α,?
∞+
=()().α??-u 对上式两端关于u 求导数,有()().,'
'dx u x u
f a u ?
∞+=?
即
()().,,dx u x f u a dx u x f a
du d ???
∞+=?∞
+ 类似地,含参变量的瑕积分也有一致收敛及其判别法,以及含参变量瑕积分
所定义函数的分析性质. 三、Γ函数与B 函数
Γ函数与B 函数是连个含参变量的反常积分所定义的非初等函数,它们在数学、物理中有广泛的应用. (一)Γ函数
函数()dx x e x --?
∞+=Γ10
αα称为Γ函数(伽马函数). 已知函数()αΓ的定义域是区间()+∞,0(见ξ12.2例7).下面讨论Γ函数的两个性质.
1. Γ函数在区间()+∞,0连续.
事实上,()dx x e x --?∞+=Γ10
αα =dx x e x --?101α+.11
dx x
e x --?
∞+α (),使与21,,0ααα?+∞∈? .2
10ααα≤≤<
(]1,0∈?x ,有 .111x e x x e x
--≤--αα [)+∞∈?,1x ,有 .121x e x x e x
--≤--αα 已知瑕积分
dx e x
x
--?1101
α与无穷积分
dx e x x --?∞
+121
α都是收敛,则无穷积分
dx e x
x
--?∞
+10
α在区间[]21,αα一致收敛.而被积函数x e x --1α在区域
()21,0ααα≤≤+∞< 数在点α连续.因为α是区间()+∞,0任意一点,所以Γ函数在区间()+∞,0连续. 2.递推公式:,0>?α有 ()() x x e d x dx e x ---∞+=∞+=+Γ?? α αα0 01 =().0 10 αααααΓ=∞++---∞+-? dx e x e x x x 设+∈+≤ 而.10≤- 特别地,+∈=N n n ,α,有()()()() =-Γ-=Γ=+Γ111n n n n n n =()().1121Γ????-? n n 而()101=∞+=Γ-?dx e x ,即 ().0 !1dx e x n n x n -?∞+==+Γ 这是!n 的一个分析表达式.函数Γ就是!n 的自然推广,后者只对自然数有定义, 现在推广到自变量是任何正数范围. (二) B 函数 函数B ()()dx x x q p q p 1 110 1,---=?称为B 函数(贝塔函数) 已知B ()q p ,的定义域是区域()+∞<<+∞< 1.对称性:B ()q p ,=B ().,p q 事实上,设dt dx t x -=-=,1,有 B ()q p ,=()dx x x q p 11101---?=()dt t t q p 11 110----? =()dt t t p q 1 110 1---?=B ()q p , 2.递推公式:1,0>>?q p ,有B ()q p ,= 1 1 -+-q p q B ()1,-q p 事实上,由分部积分公式,1,0>>?q p ,有 B ()q p ,=() dx x x q p 1 1 10 1 ---?=() ??? ? ??--?p x d x p q 1 10 1 =()()dx x x p q x p x q p q p 2 10110111----+-? = ()[] ()dx x x x x p q q p p 21 1110 11-------? = ()()()dx x x x p q dx x x p q q p q p 1 121110 111011----------?? = ()()q p B p q q p B p q ,11,1----, 即B ()q p ,= 1 1 -+-q p q B ()1,-q p . 由对称性,,0,1>>?q p 又有 B ()().,11 1 ,q p B q p p q p --+-= . 特别+∈=N n n q ,地,,逐次应用递推公式,有 B ()()1,1 1 ,--+-= n p B n p n n p = ()()()() ()2,2121--+-+--n p B n p n p n n =()()()()() ().1,1211221p B p n p n p n n +-+-+???-?-= 而B ()1,p =dx x p 101 -?=p 1 ,即 B ()n p ,= ()()() .11!1-++-n p p p n 当()+∈==N n m n q m p ,,时,有 B ()n m ,= ()()()11!1-++-n m m m n = ()()()! 1!1!1-+--n m m n 或 B ()n m ,= ()()() n m n m +ΓΓΓ. 这个公式表明,尽管B 函数与Γ函数的定义在形式上没有关系,但它们之间 却有着内在联系.这个公式可推广为0,0>>?q p ,有B ()()()() q p q p q p +ΓΓΓ= ,. (10) 3.0,0>>?q p ,B ().sin cos 022,1212???π d q p q p --?= 事实上,设?2cos =x ,???d dx cos sin 2-=,有 B ()()dx x x q p q p 1 110 1,---=? =() ()().cos sin 2sin cos 2 1 2 1 2?????πd q p ---? =.sin cos 0221212???π d q p --?. (11) 由公式(11),有下面几个简单公式:0,0>>?q p ,有 ()()()().2,21sin cos 0 21212q p q p q p B d q p +ΓΓΓ= =--????π (12) 在公式(12)中,令2 1+= n q 与21 =p .1->?n ,有 .1222121sin 0 2?? ? ??+Γ? ?? ??Γ??? ? ?+Γ=?n n d n ??π (13) 在公式(13)中,令0=n ,有()2 21211221210 2?? ??????? ??Γ=ΓΓ?? ? ??Γ=??π d , 或π=????????? ??Γ2 2121,即 .21π=?? ? ??Γ 4.证明勒让德公式:0>?a ,有()().222112a a a a Γ=??? ? ? +ΓΓ-π 证明 B ()()()[]dx x x dx x x a a a a a 1 1110 1101,----=-=?? =()[]()[]dx x x dx x x a a 112 11210 11---+-?? . 对等号右端第二个积分作变换.设t x -=1,d x =-d t ,有 ()[]( )[]dt t t dx x x a a 1 02 11 12 111----=-?? =()[].11210 dx x x a --? B ()a a ,=2()[]dx x x a 121 1--? = 2.21411 2 210 dx x a -?? ? ???????? ??--? 设u du dx u x 4,2121-==-,有 B ()()121 21122110121 ,----=-=?a a a dt u u a a B .,21?? ? ??a 由公式(10),有 ()()()() .212 121212? ?? ? ?+ΓΓ??? ??Γ=ΓΓΓ-a a a a a a 已知π=??? ??Γ21,即 ()().222112a a a a Γ=??? ?? +ΓΓ-π 特别地,令41= a ,有 .2212 434112 1ππ =??? ??Γ=?? ?