关于三类基本初等函数的拉格朗日中值点的渐近性
On the Asymptotic Property of the Mediate Point in the Lagrange’s Mean Value Theorem of Three Basic Elementary Functions
DOI: 10.12677/PM.2023.1310281, PDF, HTML, XML,    国家自然科学基金支持
作者: 张传芳, 杨春玲:广东石油化工学院理学院,广东 茂名
关键词: 渐近性中值点拉格朗日中值定理基本初等函数Asymptotic Property Median Point Lagrange’s Mean Value Theorem Basic Elementary Functions
摘要: 本文讨论了三种基本初等函数的拉格朗日中值点的渐近性问题,结果表明:除幂函数当区间左端点为0时,中值取定值外,其余情况的幂函数、指数函数、对数函数当区间右端点趋向于区间左端点时,拉格朗日中值点均趋向于区间中点。
Abstract: In this paper, the asymptotic behavior of the Lagrange median points of three basic elementary functions is discussed. The results show that, except for the power functions where the left endpoint of the interval is 0 and the median value is fixed, the power functions, exponential functions, and logarithmic functions of median points tend to the midpoint of the interval, when the right endpoint of the interval tends to the left endpoint.
文章引用:张传芳, 杨春玲. 关于三类基本初等函数的拉格朗日中值点的渐近性[J]. 理论数学, 2023, 13(10): 2737-2743. https://doi.org/10.12677/PM.2023.1310281

1. 引言

在高等数学中微分中值定理的重要性是不言而喻的,它们是沟通函数与其导数关系的桥梁,是讨论导数应用的理论基础。但微分中值定理中只肯定了中值点的存在性,没有给出中值点的数量、位置等信息。当然,这并不影响其重要的应用价值。关于微分中值定理的中值点的渐近性始于1982年AlfonsoG. Azpeitia在文献 [1] 中对带有拉格朗日型余项的泰勒定理中的中值点的渐近性的研究。此后,有许多学者对该问题进行了改进和推广,如文献 [2] - [7] 考虑了柯西中值定理的中值点的渐近性,文献 [8] [9] 讨论了高阶拉格朗日中值定理的中值点的渐近性问题。现将文献中与本文有关的结论列举如下:

泰勒定理 [1] [10] [11] [12] 若在点r的某邻域内有n阶导数,则介于r与x之间,使得

定理1 [1] 设在点r的某邻域存在且在r点连续,,则对于泰勒定理中的

(1)

记:,则与x有关,即,此时(1)式可改为

(2)

众所周知,拉格朗日中值定理是泰勒定理当时的特殊情况:

拉格朗日中值定理 [10] [11] [12] 设函数上连续,在内可导,则存在,使得

(3)

推论1 [1] [2] [3] 当时,则(2)式化为

(4)

上式表明,随着区间长度无限地缩短,中值点越来越接近于区间的中点 [2] 。

定理2 [4] [5] [6] [7] [13] [14] 设函数在点r的某邻域内具有直到n阶导数,在r点连续,且,则(3)式中的中值点满足

(5)

特别需要强调:条件是不可缺少的 [1] [2] [3] 。文献 [1] [2] [3] 中均有实例表明当条件不成立时,该定理的结论不一定成立。本文旨在考虑三类基本初等函数——幂函数、指数函数、对数函数的拉格朗日中值点的渐近性问题,其中仅有幂函数在区间左端点为零时满足定理2条件,其余情形并不满足该定理条件,而指数函数和对数函数在任何区间上均不满足定理2的条件,说明定理2的条件仅是充分条件,而非必要条件。

2. 主要结论

2.1. 幂函数

(一) 幂指数

定理3 设,幂函数

1) 若,则的拉格朗日中值定理中的满足

2) 若,则的拉格朗日中值定理中的满足

证明 不妨设,由拉格朗日中值定理得

类似于文献 [13] 有

1) 若,显然有

2) 若,因为是考虑x趋向于r时的极限,故此不妨设,由幂级数展开式及洛必达法则可得

对于时,类似可得结论,在此省略其证明。证毕

注 ① 当时,由可知,此时与x无关,仅与幂函数的指数有关。特别地,当时,,此时,即无论x取何值,中值点均为区间的中点;当取大于1的正整数n时,,此时与(5)式的结论相同,且满足定理2条件;但当不取正整数时,例如,则,并不满足定理2条件,此时不存在 [3] 。

与幂指数的函数关系,再利用取整函数的性质可得。事实上,由,有

再由

由幂函数在第一象限的单调性知道,此时的中值点是唯一的。随着的增大而单调递增趋于1,即的增函数。由于此时有,故此,即随着幂指数的增加,单调递增趋向于区间右端点x。

② 若,此时并不满足推论1中的条件,但此时仍有(4)式成立。

(二) 幂指数

推论2设,幂函数,则的拉格朗日中值定理中的满足

2.2. 指数函数

定理4 设,指数函数,则的拉格朗日中值定理中的满足

证明 由拉格朗日中值定理有

类似于文献 [13] 有

再由对数运算性质及洛必达法则可得

证毕

注 指数函数在任何区间上均不满足推论1或者定理2的条件,但随着x趋向于r,中值点依然趋向于区间中点。

2.3. 对数函数

定理5 设,对数函数,则的拉格朗日中值定理中的满足

证明 由拉格朗日中值定理有

再由洛必达法则可得

证毕

注 对数函数在任何区间上均不满足推论1或者定理2的条件,但随着区间左端点x趋向于区间右端点r时,中值点依然趋向于区间中点。

3. 结束语

本文讨论了三种基本初等函数——幂函数、指数函数、对数函数的拉格朗日中值点的渐近性问题。除幂函数当左端点为0时,中值取定值外,其余情形的幂函数、指数函数、对数函数中值点的渐近性结果均相似,即随着区间右端点x趋向于左端点r时,拉格朗日中值点趋向于区间的中点。这一结果也与文献中的结果类似,但除幂函数中当幂指数取正整数且左端点为0时满足文献中的定理条件外,其余情形的幂函数、指数函数、对数函数均不满足文献中定理要求的条件,可见文献中的定理条件仅是充分条件,而非必要条件。

致谢

在此对参考文献给予的启发与思考以及审稿人提出的宝贵意见表示衷心感谢!

基金项目

1) 国家自然基金项目编号:11961037。

2) 广东石油化工学院科研基金人才引进项目,项目编号:2019rc101。

参考文献

[1] Azpeitia, A.G. (1982) On the Lagrange Remainder of the Taylor Formula. The American Mathematical Monthly, 89, 311-312.
https://doi.org/10.1080/00029890.1982.11995444
[2] 李文荣. 关于中值定理“中间点”的渐近性[J]. 数学的实践与认识, 1985(2): 53-57.
[3] 张广梵. 关于微分中值定理的一个注记[J]. 数学的实践与认识, 1988(1): 87-89.
[4] 戴立辉. 微分中值定理ξ的变化趋势[J]. 工科数学, 1994, 10(4): 178-181.
[5] 任立顺, 安玉坤. 关于“中值点”渐近性的一般结果[J]. 西北师范大学学报(自然科学版), 1995, 31(3): 31-34.
[6] 高国成. 微分中值定理“中间点”的渐近性[J]. 工科数学, 2001, 17(5): 102-104.
[7] 程希旺. 微分中值定理中值点渐进性研究的新进展[J]. 数学的实践与认识, 2009, 39(14): 229-233.
[8] 李元中, 冯汉桥. Onthe Asymptotic Behavior of the Intermedi-ate Point in the Higher-Order Lagrange Mean Value Theorem [J]. 数学杂志, 1991, 11(3): 298-300.
[9] 苑倩倩, 路振国, 任立顺. 高阶Lagrange中值定理“中值点”的渐近性[J]. 大学数学, 2021, 37(2): 78-84.
[10] 华东师范大学数学系. 数学分析: 上册[M]. 第4版. 北京: 高等教育出版社, 2010: 123, 141.
[11] 刘名生, 冯伟贞, 韩彦昌. 数学分析(一) [M]. 第3版. 北京: 科学出版社, 2019: 156, 141.
[12] 同济大学数学科学学院. 高等数学: 上册[M]. 第8版. 北京: 高等教育出版社, 2023: 133, 124.
[13] 李治远. 拉格朗日中值定理中值点的确定与渐进性[J]. 通化师范学院学报, 2016, 37(6): 27-28.
[14] 吴艳. 拉格朗日中值定理“中值点”的注记[J]. 高等数学研究, 2022, 25(4): 22-23+27.