阿贝尔变换

从阿贝尔变换看定积分分部积分公式刘鹏飞数学与应用数学专业05级基地班指导老师尹小玲2006年9月摘要:通过深入了解阿贝尔变换的几何意义,分析它与定积分存在某种联系;经过进一步探讨,得到由阿贝尔变换可以推导出定积分分部积分公式.关键词：阿贝尔变换，定积分，分部积分。阿贝尔变换：设有两组数kkba,),,3,2,1(mk为了求和数mmmkkkbabababa22111引入mmbbbBbbbBbbBbB21321321211,,,,这样，112211,,,mmmBBbBBbBb把它代入和式中得)()()(1233122111mmmmkkkBBaBBaBBaBabammmmmBaBaaBaaBaa11232121)()()(111)(mkmmkkkBaBaa这个变换式：1111)(mkmmkkkmkkkBaBaaba(1)就称为阿贝尔变换或和差变换。上述阿贝尔变换，有一个简单的几何解释。为了简单起见，以6m为例，设0ka，且)6,5,4,3,2,1(0kbk，且ka单调下降。这时，61kkkba在上图中就表示以kb为底，ka为高的六个矩形的面积之和，这正是此图中大的阶梯形的面积。它显然等于以6543216bbbbbbB为底，以6a为高的矩形面积，以及以kkbbbB21为底，1kkaa),5,4,3,2,1(k为高的五个“扁”矩形的面积之和，可见，阿贝尔变换在几何上只是把大阶梯形面积转化成两种不同方向的矩形面积之和而已。阿贝尔变换可以看作是求图形的面积，而定积分运算也是求图形的面积，因此二者之间有一定的联系。从广义上看，定积分运算和阿贝尔变换一样都是一种求和的运算。我们进一步分析1111)(mkmmkkkmkkkBaBaaba（约定00B）。不妨将数项看成是函数在某些点的函数值，即设函数)(),(xBxa定义在区间],[上，mxxxx321，令),(,)(),(2211mmxaaxaaxaa),,2,1)((mkxBBkk。将其代入（1）式得11111)()()())()(()]()()[(mkmmkkkmkkkkxBxaxBxaxaxBxBxa或111111111)())()(()()()()()]()()[(mkkkkmmmkkkkxBxaxaxBxaxBxaxBxBxa(2)其中0)(0xB。为了便于讨论，设函数)(),(xBxa是区间],[上连续函数，且具有连续导函数，则由连续函数的四则运算法则知)()(xBxa也是连续函数，且它在],[上是可积的。则由微分中值定理，k+1),(1kkxx,))(()()(111kkkkkxxBxBxBk+1),(1kkxx,))(()()(111kkkkkxxaxaxa于是(2)式化为1111'111111'1)())(()()()()())(()(mkkkkkmmmkkkkkxBxxaxBxaxBxaxxBxa（3）上式十分类似于定积分的分部积分公式：若函数)(),(xVxU在],[ba有连续的微商)(),(xVxU，则有分部积分公式bababadxxUxVxVxUdxxVxU)()(|)()()()(''。下面我们利用阿贝尔变换而得的（3）式来给出定积分的分部积分公式的证明.由于)(),(xBxa在],[有连续导函数)(),(xBxa，则函数)()(xBxa与)()(xBxa也是],[的连续函数,它们均在[,]上可积。即0,10，对于],[的任意分法：nxxxx321，及)2)((1nixcxciiii的任意取法，只要1}max{ix)2,(1nixxxiii，均有2|)()(|1111'1IxcBcankkkk(I为常数,dxxBxaI)()(').)(xa是],[上的连续函数，故它在],[上有界，即0M，使得|Mxa|)(，],[x又)('xB在],[上连续，则它在],[一致连续，故对于上面的,20，当d,e],[且|d-e|2时，有)(2|)()(|''MeBdB则对于前面],[的分法mxxxx321，当}max{ixmin{1,2}时，|)()(|1111'1IxBxamkkkk|)()()()()()(|1111'11111'11111'1IxxBxaxxBxaxBxamkkkkmkkkkmkkkk|)()(||)()()()(|1111'11111'11111'1IxxBxaxxBxaxBxamkkkkmkkkkmkkkk22MM22即dxxBxaxBxamkkkk)()()()(lim1111'10同理，dxxBxaxxBamkkkk)()()()(lim1111'0则对（3）式两边取极限有dxxBxaBaBadxxBxa)()()()()()()()(dxxBxaxBxa)()(|)()(通过上面的证明我们可以看到阿贝尔变换和定积分的分部积分公式的内在联系。我想，数学的内涵是极为丰富的，数学之中许多形似或性近的公式或定理也许存在着共同的本质，有其相通之处，我们应当深入探讨下去。