阿贝尔变换

从阿贝尔变换看定积分分部积分公式
刘鹏飞 数学与应用数学专业 05级基地班
指导老师 尹小玲
2006年9月
摘要:通过深入了解阿贝尔变换的几何意义,分析它与定积分存在某种联系;经过进一步探讨,得到由阿贝尔变换可以推导出定积分分部积分公式.
关键词：阿贝尔变换，定积分，分部积分。

阿贝尔变换：设有两组数k k b a ,),,3,2,1(m k =为了求和数
m m m
k k
k b a b a b a b
a ++=∑=22111
引入 m m b b b B b b b B b b B b B ++=++=+==21321321211,,,, 这样， 112211,,,--=-==m m m B B b B B b B b 把它代入和式中得
)()()(1233122111
-=-+-+-+=∑m m m m
k k
k B B a B B a B B a B a b
a
m m m m m B a B a a B a a B a a +-+-+-=--11232121)()()( ∑-=++-=
1
1
1)(m k m m k k k
B a B a a
这个变换式：
∑∑-=+=+-=1
1
11
)(m k m m k k k
m
k k
k B a B a a
b a (1)
就称为阿贝尔变换或和差变换。

上述阿贝尔变换，
有一个简单的几何解释。

为了简单起见，以6=m 为例，设0≥k a ，
且)6,5,4,3,2,1(0=≥k b k ，且k a 单调下降。

这时，∑=6
1
k k k b a 在上图中就表示以k b 为底，k
a 为高的六个矩形的面积之和，这正是此图中大的阶梯形的面积。

它显然等于以6543216
b b b b b b B +++++=为底，
以6a 为高的矩形面积，以及以k k b b b B +++= 21为底，1+-k k a a ),5,4,3,2,1(=k 为高的五个“扁”矩形的面积之和，可见，阿贝尔变换在几何上只是把大阶梯形面积转化成两种不同方向的矩形面积之和而已。

阿贝尔变换可以看作是求图形的面积，而定积分运算也是求图形的面积，因此二者之间有一定的联系。

从广义上看，定积分运算和阿贝尔变换一样都是一种求和的运算。

我们进一步分析
∑∑-=+=+-=1
1
11
)(m k m m k k k
m k k
k B a B a a
b a （约定00=B ）。

不妨将数项看成是函数在某些点的函数值，即设函数)(),(x B x a 定义在区间],[βα上，
βα=<<<=m x x x x 321，令
),(,)(),(2211m m x a a x a a x a a ===
),,2,1)((m k x B B k k ==。

将其代入（1）式得
∑∑-=-=-+-=-1
1
11
1)()()())()(()]()()[(m k m m k k k m
k k k k
x B x a x B x a x a x B x B x
a
或
∑∑-=+-=++---=-1
1
1111
1
11
)())()(()()()()()]()()[(m k k k k m m m k k k k x B x a x a x B x a x B x a x B x B x
a (2)
其中0)(0=x B 。

为了便于讨论，设函数)(),(x B x a 是区间],[βα上连续函数，且具有连续导函数，则由连续函数的四则运算法则知)()(x B x a 也是连续函数，且它在],[βα上是可积的。

则由微分中值定理，
∃ξk+1∈),(1+k k x x ,s.t ))(()()(111k k k k k x x B x B x B -'=-+++ξ
∃ηk+1∈),(1+k k x x ,s.t ))(()()(111k k k k k x x a x a x a -'=-+++η 于是(2)式化为
∑∑-=++-=+++---=-1
1
11'111
1
11'
1
)())(()()()()())(()(m k k k k k m m m k k k k k x B x x a x B x a x B x a x x B x
a ηξ（3）
上式十分类似于定积分的分部积分公式：若函数)(),(x V x U 在],[b a 有连续的微商
)(),(x V x U ''，则有分部积分公式
⎰⎰-=b
a
b
a
b
a
dx x U x V x V x U dx x V x U )()(|)()()()('
'。

下面我们利用阿贝尔变换而得的（3）式来给出定积分的分部积分公式的证明. 由于)(),(x B x a 在],[βα有连续导函数)(),(x B x a ''，则函数)()(x B x a '与)()(x B x a '也是],[βα的连续函数,它们均在[α,β]上可积。

即∀ε>0,∃δ1>0，对于],[βα的任意分法：
βα=<<<=n x x x x 321，及)2)((1n i x c x c i i i i ≤≤≤≤- 的任意取法，只要1}max{δλ<∆=i x )2,(1n i x x x i i i ≤≤-=∆-，均有
2
|)()(|1
111'
1ε
<
-∆∑-=+++I x c B c a n k k k k (I 为常数,⎰=β
α
dx x B x a I )()(').
)(x a 是],[βα上的连续函数，故它在],[βα上有界，即0>∃M ，使得
|M x a ≤|)(，],[βα∈x
又)('x B 在],[βα上连续，则它在],[βα一致连续，故对于上面的ε,∃δ2>0，当d,e ∈]
,[βα
且|d-e|<δ2时，有
)
(2|)()(|''αβε
-<
-M e B d B
则对于前面],[βα的分法βα=<<<=m x x x x 321，当<∆=}max{i x λmin{δ1,δ2}时，
|)()(|1
111'1I x B x a m k k k k -∆∑-=+++ξ
|)()()()()()(|1
1
11'111
11'
111
11'
1I x x B x a x x B x a x B x a m k k k k m k k k k m k k k k -∆+∆-∆=∑∑∑-=+++-=+++-=+++ξ
|)()(||)()()()(|1
1
11'111
11'
111
11'
1I x x B x a x x B x a x B x a m k k k k m k k k k m k k k k -∆+∆-∆≤∑∑∑-=+++-=+++-=+++ξ
2
2ε
ε
+
<M
M
εε
ε
=+
=
2
2
即 ⎰∑'=∆-=+++→β
α
λξdx x B x a x B x a m k k k k )()()()(lim 1
1
11'10
同理， ⎰∑'=∆-=++→β
α
ληdx x B x a x x B a m k k k k )()()()(lim 11
11'
则对（3）式两边取极限有
⎰⎰'--='β
α
β
αααββdx x B x a B a B a dx x B x a )()()()()()()()( ⎰'-=β
α
β
α
dx x B x a x B x a )()(|)()(
通过上面的证明我们可以看到阿贝尔变换和定积分的分部积分公式的内在联系。

我想，数学的内涵是极为丰富的，数学之中许多形似或性近的公式或定理也许存在着共同的本质，有其相通之处，我们应当深入探讨下去。