1. 引言
Schwarz导数也称对称导数,是一种弱于普通导数的推广形式,在数学分析和动力系统上有着广泛的应用,本文借助Schwarz导数,给出带有拉格朗日型余项的泰勒展开,和拉格朗日插值及余项,并给出一种高阶Schwarz导数的新定义以建立与普通导数的联系。
2. Schwarz导数的概念
定义1 (Schwarz导数)设f在
空心邻域
上有定义,若
存在,则称其为f在
处的Schwarz导数,记为
。
3. Schwarz导数的性质 [1]
定理1 若f在
处可导,则
。
此处略去定理1证明过程,需要注意的是,该定理的逆命题不成立,可以给出反例,
在
处导数不存在,而Schwarz导数
。
定理2 若
在
点Schwarz导数存在,则
在
点Schwarz导数也存在,且有
定理3 若
在
点连续,且Schwarz导数存在,则
和
在
点
Schwarz导数也存在,且有
定理2和定理3说明Schwarz导数在一定条件下具有四则运算性质,其证明已有参考文献 [2] 给出,此处不进行赘述。
定理4 (Roll中值定理)设函数f在
上连续,在
上Schwarz可导,且
,则存在
,使得
。
定理5 (Lagrange中值定理)设函数f在
上连续,在
上Schwarz可导,则存在
,使得
定理6 (Cauchy中值定理)设函数f在
上连续,在
上Schwarz可导,且对任意的
,有
,且
为凸函数,则存在
,使得
4. 带有拉格朗日型余项的泰勒展开
定理7 设存在邻域
,f在
上
阶可导,
在
上1阶Schwarz可导,则,存在
,满足
证明 设
,
令
,
则
在
上
阶可导,
在
上1阶Schwarz可导。
对
进行推导,有
,
,
特别的,有
,对
应用Roll中值定理,则存在
,使得
。因此,又有
,再用一次Roll中值定理,则存在
,使得
。以此类推,应用
次Roll中值定理,最终可得,存在
,使得
。
在
上,
满足Schwarz导数的Lagrange中值定理的条件,故存在
,使得
,
而
,则
,
即
两式联立,解出k的范围是
,
因此,
5. 拉格朗日插值及余项
定理8 设f在
上
阶可导,
在
上1阶Schwarz可导,则存在唯一的
次多项式
满足
,且存在
,满足
证明 根据多项式插值定理,可以说明
次多项式
的存在性和唯一性,下面仅给出定理后半部分余项表达式的证明,设
令
则
在
上
阶可导,
在
上1阶Schwarz可导。
根据
的定义,可知
,根据Roll中值定理,每个小区间上都存在一点
,满足
,再用一次Roll中值定理,则存在
,满足
,以此类推,应用
次Roll中值定理,最终得到,存在
,满足
。
在
上,
满足Schwarz导数的Lagrange中值定理的条件,故存在
,使得
,
而
,则
,
即
,
两式联立,解出k的范围是
,
因此,
6. 高阶Schwarz导数的新定义 [3]
在参考文献 [4] 中已给出n阶Schwarz导数的定义,设f在
空心邻域
上有定义,若
存在,则称其为f在
处的n阶Schwarz导数,记为
。该定义下,n阶Schwarz导数与n阶导数不一定相等,为建立n阶Schwarz导数与n阶导数之前的关系,本文中给出一种n阶Schwarz导数的新定义,在该定义下,n阶Schwarz导数与n阶导数相等。
定义2 (n阶Schwarz导数)设f在
空心邻域
上有定义,若
存在,则称其为f在
处的n阶Schwarz导数,记为
。
定理9 若f在
处存在n阶导数
,则f在
处存在新定义下的n阶Schwarz导数
,且有
。
证明 首先证明以下结论成立,
将式子进行变形,有
,
定义算子
,用算子D作用于等式
,得到
,
以此类推,作用s次,有
,
当
时,有
,
即
下面证明
。
对Schwarz导数的新定义进行变形,有
该定理证明中,组合数的证明参考《清疏数学竞赛》。
7. 总结
Schwarz导数作为导数概念的推广,在数学分析和动力系统中被广泛应用。本文从Schwarz导数的概念和性质出发,给出其带有拉格朗日型余项的泰勒展开式和拉格朗日插值余项的推导,并提出一种Schwarz高阶导数的新定义,将导数的性质推广到Schwarz导数上来。
NOTES
*通讯作者。