1. 引言
积分中值定理在微积分理论中占有极其重要的地位,近年来,积分中值定理中间点的渐近性质越来越引起人们的重视,并且取得了一些很好的结论。本文中定理 [1] [2] 分别介绍了积分第一中值定理与积分第二中值定理;定理 [3] [4] [5] [6] 就积分型Cauchy中值定理讨论了在积分区间长度趋于零时中间点
的渐近性质;定理 [7] 就积分型Cauchy中值定理讨论了在积分区间长度趋于无穷大时中间点
的渐近性质。本文在已经取得的一些渐进性质的基础之上所取得的重要推广,它们都是更为一般的结论:
1) 设函数
和
在
上连续,对
,
且不变号;在a点处为n次可微,且
,
,
若
是
所确定的,则有:
。
2) 设函数
在
上具有直至n阶和m阶连续导数,
,
,
,
,
,
.
对
,
且不变号。
若
是由
所确定的,则有:
,其中A,B为常数。
2. 关于积分型Cauchy中值定理
定理1 (积分第一中值定理)若
在
上连续,
,则在
中至少存在一点
,使得
.
定理2 (积分第二中值定理)设函数
在
上可积,
在
上单调,则在
上存在一点
,使得
3. 积分区间长度趋于零时,中间点
的渐近性
定理3 设函数
和
在区间
上连续,
在点a可导,
在
上不变号,且
。由积分第一中值定理[本文中定理1],则存在由
所确定的
[
],有
.
定理4 设函数
在区间
上连续,
存在,且
,
;
在
上有连续的导函数,且
。
若
是由
所确定的,则有
.
上面我们看到了积分中值定理的一些渐进性质,对上面的性质作一些推广,可以得到更一般的结论。
定理5 设函数
和
在
上连续,对
,
且不变号;在a点处为n次可微,且
,
,
.
若
是
所确定的,则有
.
证明把
与
在点a展开成Tayor公式:
(1)
(2)
其中
在
上连续,且
由(1),(2)可得
(3)
(4)
(5)
(6)
将(3),(4),(5),(6)代入
,并化简可得
现在,以
除上式的两边,并且令
,再利用L’Hospital法则可以推出
由于
,故有
. (7)
证毕。
在定理5中,令n = 1,便可以得到以下的结果:
推论1设函数
和
在
上连续,对
,
且不变号;
和
在a点处可导,且
,
,
,
.
若
是
所确定的,则有
.
又在定理5中,若取
,即得:
推论2 若
是区间
上的联续函数,且
,
若
是
所确定的,则有
.
当
为n阶可导,
为m阶可导时(
),积分型Cauchy中值定理的中间点
有如下的渐近性质:
定理6 设函数
和
分别在
上有n阶和m阶的连续导数,
,
;
,
,对
,
且不变号。
若
是由
所确定的,则有
. (8)
4. 积分区间长度趋于无限时,中间点
的渐近性
为了讨论
时中间点
的渐近性质,我们先给出两个引理:
引理1 设函数
在
内有意义,且满足
1)
;
2)
在
内可微且
;
3)
(有限或无穷)。
则必有
。
此称为改进的罗比塔法则。
引理2 若
,
,则
1) 当A < 0时,
;
2) 当A > 0时,
。
定理7 设函数
在
上连续且
不变号,
,
,
,
,又有
,
。
则对
,必存在
,使得
. (9)
且
. (10)
其中
为非零常数,
为实数,
且
。
若令
,
,则有:
推论3 设
在
上连续,
,且对
,
,又有
,则对
,必存在
,使得
.
且
.
此即为第一积分中值定理的中间点在
时的渐近性。
上面我们看到了积分中值定理的一些渐进性质,对上面的性质作一些推广,又可以得到更一般的结论。
本文通过运用积分型Cauchy中值定理,分别讨论了在积分区间长度趋于零和积分区间长度趋于无穷大时中间点
的渐近性质。定理5与定理7是本文在已经取得的一些渐进性质的基础之上所取得的重要推广,它们都是更为一般的结论,并且它们的特殊情况[本文中推论1,2,3]是渐进性质的一些经典结论,其在实际解决一些问题的时候十分的简洁、方便。
基金项目
青海省自然科学基金(2021-ZJ-708)项目。