贝塞尔函数
贝塞尔函数的有关公式
贝塞尔函数的有关公式贝塞尔函数是数学中一类特殊的函数，广泛应用于物理学、工程学和数学物理学等领域。
贝塞尔函数一族的定义包括第一类贝塞尔函数、第二类贝塞尔函数以及修正的贝塞尔函数。
本文将介绍这些贝塞尔函数的基本定义和性质，并给出一些常见的贝塞尔函数公式。
一、第一类贝塞尔函数(Bessel Function of the First Kind)第一类贝塞尔函数是非负整数阶的解特殊二阶常微分方程贝塞尔方程的解。
第一类贝塞尔函数通常用J_n(x)表示，其中n是阶数，x是实数。
它的定义为：J_n(x) = (1/π) ∫[0,π] cos(nθ - xsinθ) dθ其中,J_0(x)是常数函数。
第一类贝塞尔函数有一些重要的性质：1.对于所有的实数x和n≥0，J_n(x)是实函数。
2.J_0(x)在x=0处取得最大值，而在其他地方有若干个零点。
3.J_n(x)在x→0时的行为类似于x^n，即J_n(x)~(x/2)^n/(n!)。
第一类贝塞尔函数的递推公式:J_{n+1}(x)=(2n/x)J_n(x)-J_{n-1}(x)其中J_{1}(x)=(2/x)J_0(x)。
第一类贝塞尔函数的导数计算公式:dJ_n(x)/dx = J_{n-1}(x) - (n/x) J_n(x)利用这个公式可以计算贝塞尔函数的导数。
二、第二类贝塞尔函数(Bessel function of the second kind)第二类贝塞尔函数是贝塞尔方程的另一类解，通常用Y_n(x)表示，其中n是阶数，x是实数。
第二类贝塞尔函数的定义为：Y_n(x) = (1/π) ∫[0,π] sin(nθ - xsinθ) dθ其中,Y_0(x)是称作“诺依曼函数”。
第二类贝塞尔函数的性质如下：1.对于所有的实数x和n≥0，Y_n(x)是实函数。
2.Y_0(x)在x=0处不取得最大值，而在其他地方有若干个零点。
3. Y_n(x)在x→0时的行为类似于(2/π)(ln(x/2) + γ) + O(x^2)。
贝塞尔函数
第一类贝塞尔函数 J (x)的级数表示式为
J
(x)
(1)k
k 0
1
k !( k
1)
( x ) 2k 2
J
(x)
(1)k
k 0
1
k !(
k
1)
( x ) 2k 2
式中 ( x) 是伽马函数．满足关系
（1.2.1）
( k 1) ( k )( k 1) ( 2)( 1)( 1)
H (1)
H(2)
(x) (x)
J J
(x) (x)
iN iN
( (
x) x)
（1.1.9）
分别将
H (1)
,
H(
2
)
称为第一种和第二种汉克尔函数．
于是贝塞尔方程的通解又可以表示为
y(x
A
H (1)
(
x
)
BH(2) ( x)
（1.1.10）
最后，总结 阶贝塞尔方程的通解通常有下列三种形式：
x 和
可以为任意数．
1.1.2 贝塞尔方程的解
通过数学物理方程的幂级数求解方法可以得出结论：
（1）当 整数时，贝塞尔方程(1.1.6)的通解为
y( x) AJ ( x) BJ ( x) （1.1.7）
其中 A, B 为任意常数，J (x) 定义为 阶第一类贝塞尔函数
但是当 n 整数时，有 Jn (x) (1)n Jn (x) 故上述解中的 Jn (x)
Jn (x)
(1)k
k n
1 k !(n
k
( x)n2k 1) 2
(1)n (1)l
1
( x)n2l ,
l0
l !(n l 1) 2
贝塞尔函数
y ( s k )ak x s k 1
y ( s k )(s k 1)ak x s k 2
k 0
k 0
xy ( s k )ak x s k
k 0
x 2 y ( s k )(s k 1)ak x s k
2 2 x y xy ( x n ) y 0 2
5/13
比较欧拉方程
变换
x y xy y 0
2
x e xp(t )
dy dy dt 1 dy dx dt dx x dt
或
t ln x
d2y 1 dy 1 d dy 1 d 2 y dy 2 ( ) 2 ( 2 ) 2 dx x dt x dx dt x dt dt
( x) xJn1 ( x) nJ n ( x) xJ n ( x) xJn1 ( x) nJ n ( x) xJ n
2nJ n ( x) xJn1 ( x) xJn1 ( x)
③ ④
( x) J n1 ( x) J n1 ( x) 2J n
18/13
d n [ x J n ( x )] x n J n1 ( x ) dx
d n [ x J n ( x )] x n J n1 ( x ) dx
( x) x n J n1 ( x) nx n1J n ( x) x n J n ( x) x n J n1 ( x) nx n1J n ( x) x n J n
( 1)m 2( n m ) x 2 n1 2 m n 2 m m! ( n 1 m 1) m 0 2
贝塞尔函数详细介绍(全面)
(−1) m x 2 n + 2 m −1 = x n J ( x) = x n ∑ n + 2 m−1 n −1 2 m!⋅Γ(n + m) m =0
∞
d x n J n ( x ) = x n J n −1 ( x ) dx d −n x J n ( x) = − x − n J n +1 ( x) dx
y = AJ n ( x) + BYn ( x)
A、B为任意常数， n为任意实数
数学物理方程与特殊函数
第5章贝塞尔函数
三 贝塞尔函数的性质
(−1) m x J n ( x) = ∑ ⋅ m = 0 m! Γ ( n + m + 1) 2
∞ n+2m
J α ( x) cos απ − J −α ( x) Yn ( x) = lim α →n sin απ
= −3J1 ( x) + 2 J1 ( x) + J1 ( x) − J 3 ( x) = − J 3 ( x)
数学物理方程与特殊函数
第5章贝塞尔函数
(4)
d n x J n ( x) = x n J n −1 ( x) dx = − xJ1 ( x ) + ∫ x −1 J1 ( x )dx 2 = − xJ1 ( x) + 2 ∫ J1 ( x)dx d −n x J n ( x) = − x − n J n +1 ( x) = − xJ1 ( x ) − 2 ∫ dJ 0 ( x) = − xJ1 ( x) − 2 J 0 ( x ) + C dx ′ (5) ∫ x 3 J 0 ( x )dx = ∫ x 2 dxJ1 ( x ) = x 3 J 1 ( x ) − 2 ∫ x 2 J1 ( x)dx J n −1 ( x) − J n +1 ( x) = 2 J n ( x) 2n J n −1 ( x) + J n +1 ( x) = J n ( x) 3 2 3 2 = x J 1 ( x ) − 2 ∫ dx J 2 ( x ) = x J 1 ( x ) − 2 x J 2 ( x ) + C x
贝塞尔函数
贝塞尔函数贝塞尔函数是贝塞尔方程的解，它们和其他函数组合成柱调和函数。
贝塞尔函数和初等函数是在物理和工程中最常用的函数。
贝塞尔函数是以19世纪德国天文学家F.W.贝塞尔的姓氏命名的，他在1824年第一次描述过它们。
贝塞尔函数（Bessel functions）是数学上的一类特殊函数的总称。
一般贝塞尔函数是一些常微分方程（一般称为'''贝塞尔方程'''）的标准解函数。
贝塞尔方程是一个二阶常微分方程，必然存在两个线性无关的解。
针对各种具体情况，人们提出了这些解的不同形式。
下面分别介绍不同类型的贝塞尔函数。
这类方程的解无法用初等函数系统地表示。
但是可以运用自动控制理论中的相平面法对其进行定性分析。
这里被称为其对应贝塞尔函数的阶数。
实际应用中最常见的情形为是整数，对应解称为阶贝塞尔函数。
尽管在上述微分方程中，本身的正负号不改变方程的形式，但实际应用中仍习惯针对和定义两种不同的贝塞尔函数。
这样做能带来好处，比如消除了函数在=0点的不光滑性。
几个正整数阶的贝塞尔函数早在18世纪中叶被瑞士数学家丹尼尔·伯努利在研究悬链振动时提出，当时引起了数学界的轰动。
雅各布·伯努利，莱昂哈德·欧拉|欧拉、约瑟夫·路易斯·拉格朗日|拉格朗日等数学大师对贝塞尔函数的研究作出过重要贡献。
1817年，德国数学家弗里德里希·威廉·贝塞尔在研究约翰内斯·开普勒提出的三体万有引力系统的运动问题时，第一次系统地提出了贝塞尔函数的理论框架，后人以他的名字来命名了这种函数。
贝塞尔函数在波动问题以及各种涉及有势场的问题中占有非常重要的地位。
因为贝塞尔方程是在柱坐标或球坐标下使用分离变量法求解拉普拉斯方程和亥姆霍兹方程时得到的。
最典型的问题有：在圆柱形波导中的电磁波传播问题；圆柱体中的热传导定律|热传导问题；以及圆形（或环形）薄膜的振动模态分析问题。
贝塞尔函数
贝塞尔函数
贝塞尔函数（Bessel functions），是数学上的一类特殊函数的总称。
通常单说的贝塞尔函数指第一类贝塞尔函数（Bessel function of the first kind）。
一般贝塞尔函数是下列常微分方程（一般称为贝塞尔方程）的标准解函数：
这类方程的解是无法用初等函数系统地表示。
由于贝塞尔微分方程是二阶常微分方程，因此需要两个独立的函数来表示其标准解函数。
通常，第一种贝塞尔函数和第二种贝塞尔函数用于表示标准解函数：
注意，由于在x=0 时候是发散的（无穷），当取x=0 时，相关系数必须为0时，才能获得有物理意义的结果。
贝塞尔函数的特定形式随上述方程式中的任何实数或复数α发生变化（相应地，α称为相应贝塞尔函数的阶数）。
实际应用中最常见的情况是α为整数n，相应的解称为n阶贝塞尔函数。
尽管在上述微分方程中，α本身的正负号不改变方程的形式，但实际应用中仍习惯针对α和−α定义两种不同的贝塞尔函数（这样做能带来好处，比如消除了函数在α=0 点的不光滑性）。
贝塞尔函数也被称为柱谐函数、圆柱函数或圆柱谐波，因为他们是于拉普拉斯方程在圆柱坐标上的求解过程中被发现的。
贝塞尔函数的几个正整数阶特例早在18世纪中叶就由瑞士数学家丹尼尔·伯努利在研究悬链振动时提出了，当时引起了数学界的兴趣。
丹尼尔的叔叔雅各布·伯努利，欧拉、拉格朗日等数学大师对贝塞尔函数的研究作出过重要贡献。
1817年，德国数学家贝塞尔在研究开普勒提出的三体引力系统的运动问题时，第一次系统地提出了贝塞尔函数的总体理论框架，后人以他的名字来命名了这种函数。
第4章-贝塞尔函数
级数解的导数为： y '
k 0
(
k )ck
x k1
y"
k 0
(
k
)(
k
1)ck
x k 2
20
y x cn xn n0
( c0 0, 为常数)
代入方程(2)，
y 1 y (1 2 ) y 0 (2)
x
x2
( v 为任意实数)
得到
(n )(n 1)cn xn2 (n )cn xn2 cn xn
利用级数的比值判别法（或达朗贝尔判别法）
可以判定这个级数在除 x=0 点外的整个实数轴 上收敛，因此，级数式是贝塞尔方程的解．
28
下面我们分两种情况，找出方程贝塞尔的两个线性无 关的解，得到方程贝塞尔的通解：
（１） 1 及 2 不是整数， 将 1 代入式
y(x) (1)n
1
( x)2n
n0
n!(n 1) 2
18
由定理2知, 在 x=0点的邻域 x 0 内至少存在
一个下面形式的级数解
y x cn xn n0
( c0 0, 为常数)
将此式代入方程
y
1 x
y
2
(1 x2
)y
0
(2)
( v 为任意实数)
19
y
1 x
y
(1
x
2 2
)y
0
(2)
( v 为任意实数)
y x cn xn n0
( c0 0, 为常数)
31
我们可用
J
(x)
(1) n
n0
1
n!(n
( x )2n 1) 2
统一表示第一类贝塞尔函数(也称为第一类柱函数)。
贝塞尔函数的推导
贝塞尔函数的推导一、什么是贝塞尔函数贝塞尔函数是一类特殊的数学函数，以法国数学家皮埃尔-西蒙·拉普拉斯的朋友雅各布-路易·贝塞尔（Jacob Ludwig Carl Bessel）之名命名。
贝塞尔函数在物理学、工程学、计算机图形学等领域都有广泛应用。
贝塞尔函数可以由贝塞尔微分方程推导而来，表达式中包含了贝塞尔函数的阶数和自变量。
贝塞尔函数包括贝塞尔第一类函数（记作Jn(x)）和贝塞尔第二类函数（记作Yn(x)），它们是贝塞尔微分方程的两个线性无关解。
二、贝塞尔函数的推导贝塞尔函数的推导是从贝塞尔微分方程出发，通过一系列变换和求解得到的结果。
下面将详细介绍贝塞尔函数的推导过程。
2.1 贝塞尔微分方程贝塞尔微分方程是一个二阶常微分方程，表示为：x^2y’’ + xy’ + (x^2 - n^2)y = 0其中，y’’表示y对x的二阶导数，y’表示y对x的一阶导数，n为贝塞尔函数的阶数。
2.2 贝塞尔函数的级数解通过将贝塞尔微分方程进行级数展开，得到贝塞尔函数的级数解。
假设贝塞尔函数的级数解表示为：y(x) = Σ An*x^(n+r)代入贝塞尔微分方程，得到：Σ (n+r)(n+r-1)An x^(n+r) + Σ (n+r)An*x^(n+r) + Σ (x^2 - n2)An x(n+r) = 0整理得到：Σ [(n+r)*(n+r-1) + (n+r) + (x^2 - n^2)] * An*x^(n+r) = 0由于An与x无关，所以方程中每一项系数都必须为零，即：(n+r)*(n+r-1) + (n+r) + (x^2 - n^2) = 0化简得到：(n+r)^2 - n^2 = 0解得：r = ±n所以，贝塞尔函数的级数解可以表示为：y(x) = Σ A*x^(n+r)其中，r为贝塞尔函数的阶数。
2.3 贝塞尔函数的通解贝塞尔函数的通解是将级数解带入初始条件得到的。
贝塞尔函数零点
贝塞尔函数零点一、什么是贝塞尔函数贝塞尔函数是数学中一类重要的特殊函数，它们在多个领域有广泛的应用。
贝塞尔函数最早由德国数学家弗里德里希·贝塞尔在19世纪初提出，并以他的名字命名。
贝塞尔函数的定义非常复杂，涉及到虚数单位和积分运算，但是它们的性质和特征非常有趣和有用。
二、贝塞尔函数的表达形式贝塞尔函数有多种不同的表达形式，其中最常见的是第一类贝塞尔函数和第二类贝塞尔函数。
第一类贝塞尔函数用记号J_n(x)表示，它的表达形式可以用级数或积分表示。
第二类贝塞尔函数用记号Y_n(x)表示，它的表达形式也可以用级数或积分表示。
三、贝塞尔函数的性质1. 零点的存在性贝塞尔函数作为特殊函数，它们的零点具有特殊的性质。
对于第一类贝塞尔函数J_n(x)，当n为非负整数时，它们在正半轴上有无穷多个零点。
这些零点通常用J_n(x)的根号值来表示，比如J_0(x)的第一个零点就是x=2.4048。
而对于第二类贝塞尔函数Y_n(x)，它们在正半轴上也有无穷多个零点，但是这些零点并不是随着n的增大而增大。
2. 零点的性质贝塞尔函数的零点具有特殊的性质。
首先，贝塞尔函数的零点都是实数，可以通过数值方法求得。
其次，贝塞尔函数的零点是孤立的，不存在重复的零点。
最后，贝塞尔函数的零点可以分布在整个实数轴上，不仅限于正半轴。
3. 零点的计算方法求解贝塞尔函数的零点是一个重要的数值计算问题。
一般来说，可以采用近似计算方法或数值优化算法来求解贝塞尔函数的零点。
常用的方法包括二分法、牛顿法、割线法等。
这些方法可以快速且准确地计算出贝塞尔函数的零点。
四、贝塞尔函数零点的应用贝塞尔函数的零点在科学和工程中有广泛的应用。
下面列举几个常见的应用领域：1. 物理学贝塞尔函数的零点在物理学中有重要的应用。
比如在电磁学中，贝塞尔函数的零点可以用来描述电磁波的传播和分布。
在量子力学中，贝塞尔函数的零点可以用来描述粒子在势场中的行为和性质。
2. 工程学贝塞尔函数的零点在工程学中也有广泛的应用。
bessely函数
bessely函数贝塞尔函数（Bessel function）是数学中的一类特殊函数，由德国数学家弗里德里希·贝塞尔（Friedrich Bessel）在19世纪初引入和研究的。
贝塞尔函数在物理学、工程学和数学中有广泛的应用。
贝塞尔函数可以分为第一类贝塞尔函数和第二类贝塞尔函数两类。
第一类贝塞尔函数一般记作Jn(z)，其中n为阶数，z为自变量。
第二类贝塞尔函数一般记作Yn(z)。
贝塞尔函数满足贝塞尔方程，即二阶常微分方程：z^2 * d^2y/dz^2 + z * dy/dz + (z^2 - n^2) * y = 0贝塞尔函数的性质和特点使其在科学和工程领域中拥有广泛的应用，特别是在波动理论、电磁学、热力学和量子力学中。
以下是贝塞尔函数的一些重要应用：1.振动问题：贝塞尔函数可以描述弦、鼓膜、声音等的振动情况。
通过解贝塞尔方程，可以得到这些系统的振动模式和频率。
2.圆柱波：贝塞尔函数是描述无限长圆柱体中的波动现象的基本工具。
例如，电磁波在圆柱体中的传播可以用贝塞尔函数来描述。
3.散射和辐射问题：贝塞尔函数的特殊性质使其在散射和辐射问题中有重要应用。
例如，电磁波在球体上的散射和辐射问题可以通过贝塞尔函数来求解。
4.热传导问题：贝塞尔函数可以描述热传导问题中的温度分布。
例如，考虑一个半径为R的无限长圆柱体，在柱体表面施加边界条件后，可以通过贝塞尔函数来求解圆柱体内部的温度分布。
5.量子力学：贝塞尔函数在量子力学中有重要的应用，特别是在氢原子问题中。
贝塞尔函数可以用来描述氢原子中电子的径向波函数。
除了上述的应用，贝塞尔函数还在其他领域中发挥着重要的作用，如电磁场分析、激光传输、声学等。
贝塞尔函数的定义和性质可以通过级数展开、递归关系或微分方程等多种方法来推导和求解。
总结起来，贝塞尔函数是一类特殊函数，具有广泛的应用领域。
它可以用来描述振动问题、圆柱波、散射和辐射问题、热传导问题以及量子力学中的一些问题。
贝塞尔函数
贝塞尔函数1.贝塞尔方程及解:令()()()(),,=R ,u ϕτϕτΦZ 为分离变量的解，则()R ,满足本征值问题的方程，2222210R dy dR m R dx d ω⎛⎫∂++-= ⎪∂⎝⎭（17.1.1）其中2ω是分量的本征值问题的本征值。
若作变换()R()R()y(x);m xx x ωλνω=====或； 则上面方程可以变换：2//2/2(x )y 0x y x y ν++-= （17.1.1a ）当ν≠整数时，贝塞尔方程的通解为：(x)AJ (x)BJ (x)y νν-=+当ν=整数时，由于J m -=(1)(x)m m J -，因此通解为 (x)AJ (x)BY (x)m m y =+式中A 与B 为任意常数，J (x)m 与Y (x)m 分别定义为 m 阶第一类与m 阶第二类贝塞尔函数。
2.贝塞尔方程的的级数解二阶线性齐次常微分方程2'''22(x )y 0,0x y xy x b υ++-=≤≤ 为贝塞尔方程现在x=0的领域求解贝塞尔方程的解 2.1级数解的形式由p(x)=1x,q(x)=1-22x ν可见，x=0是p=（x ）的一阶极点，是q(x)的二阶极点。
因此，x=0是方程的正则奇点，方程的第一解具有形式;nkk p k k k k y x C x C x ∞∞+===∑=∑ 2.1.12.2指标方程将2.1.1代入贝塞尔方程可得：22300(k )0k p k k k k k C x C x ρρν∞∞+++==⎡⎤∑+-+∑=⎣⎦ 2.1.2 由x 的最低次幂x ρ的系数为0，即得：220()C 0x ρρν-=因0C 0≠，即得指标方程220ρν-=。
由此得指标1,ρν= 2ρν=-2.3．系数递推公式为确定起见，令ν>0，并将ρ=1ρ=ν代入2.1.2中得到22200(k )0k k k k k k C x C x νννν∞∞+++==⎡⎤∑+-+∑=⎣⎦ 改变第二项的求和指标，可得202k(k 2)0k k k k k k C xC xννν∞∞++-==∑++∑=由x的同次幂数之和为0，1(12)0C ν+=2k(k 2)0k k k C C ν-++=由此得10C =2(1)k(k 2)k k C C ν--=+2.4.推公式求系数得特解 ………将系数代入1.1中的贝塞尔方程的一个特解为20120(1)(1)C (x)2!(n 1)n n n n y x n ννν∞+=-Γ-+=∑Γ++2.5.另一个特解同理，令2ρρν==-可得另一个特解为20220(1)(1)C (x)2!(n 1)n n n n y xn ννν∞-=-Γ-+=∑Γ-++3.第一类贝塞尔函数第一类贝塞尔函数(x)J ν的级数形式为21(x)(1)()!(1)2kkk dy x J k νννκ+∞==-Γ++∑经过证明可得：,(x)(1)(x)mm m J J -=-同理可得：,(x)(x)m m J J -=因此：,(x)(1)(x)mmm J J -=-4.第二类贝塞尔函数：第二类贝塞尔函数是Weber 和Schlafli ,通常把它定义为 cos (x)(x)Y (x)sin J J νννπνπ--Y (x)m 的级数形式为Y (x)m ={}1220021(m k 1)!1(1)ln (x)()(k)(m )()2!2!(m k)2k m m k m m k k k x x x J k k κγϕϕκπππ-∞-++==---⎡⎤+--++⎢⎥+⎣⎦∑∑式中γ=0.577216,而 (k)ϕ=11n nκ=∑当x 很小时，可得 0Y ≈2lnx π（0ν=）当x 很大时，(x)(x )42xY νπν≈-- （17.1.12）5.第三类贝塞尔函数 通常定义为(1)H (x)iY (x)J ννν=+ (2)H (x)iY (x)J ννν=-则方程（17.1.1 a）的通解可以写成为(1)(2)y(x)AH H (x)B νν=+ 当x →∞时其渐进展开式为3(x )(1)22H (x )x i o νν--=+ （17.1.14a ）3(x )(2)242H (x )x i o νπν----=+ （17.1.14b ） 当x 0→时其渐进展开式为 (1)!2(x)()H ix ννπ-≈- （ν>0） (2)2H (x)iln x νπ≈-总结上述，ν阶贝塞尔方程2/22(x )y 0x y xy ν++-= 的通解有三种形式： (1)y(x)AJ(x)(x)BJ =+ (ν0≠)(2)y(x)AJ(x)(x)BY ν=+ (ν可取任意整数) (3)(1)(2)y(x)AH (x)(x)BH νν=+ (ν可取任意整数) 其中A,B 为常数。
贝塞尔函数求导
贝塞尔函数求导一、什么是贝塞尔函数贝塞尔函数（Bessel function）是应用广泛的一类特殊函数，它们最早由德国数学家费迪南德·弗朗茨·恩斯特·贝塞尔（Friedrich Ernst Bessel）在19世纪初引入并研究。
贝塞尔函数可以描述电磁波的传播、量子力学的行为、热传导等各种自然现象。
在数学上，贝塞尔函数涉及到一类方程，称为贝塞尔方程。
该方程形式简单，但是解析解并不容易求得，因此科学家们对贝塞尔函数的性质进行了详细研究，并发展出了一系列的逼近方法和数值计算方法。
二、贝塞尔函数的定义贝塞尔函数分为第一类贝塞尔函数（Bessel function of the first kind）和第二类贝塞尔函数（Bessel function of the second kind）两类。
两类贝塞尔函数的定义如下：1. 第一类贝塞尔函数第一类贝塞尔函数通常用符号J_n(x)表示，其中n为贝塞尔函数的阶数，x为自变量。
第一类贝塞尔函数可以通过以下定义得到：J_n(x) = (1/π) ∫[0, π] cos(nθ - x sinθ) dθ其中θ为积分变量。
2. 第二类贝塞尔函数第二类贝塞尔函数通常用符号Y_n(x)表示，其定义如下：Y_n(x) = (1/π) ∫[0, π] sin(nθ - x sinθ) dθ三、贝塞尔函数的性质贝塞尔函数具有许多有趣的性质，下面我们来逐一介绍一些重要的性质。
1. 递归关系贝塞尔函数有一种重要的递归关系，可以用来计算不同阶数的贝塞尔函数：J_{n+1}(x) = (2n/x) J_n(x) - J_{n-1}(x)Y_{n+1}(x) = (2n/x) Y_n(x) - Y_{n-1}(x)2. 趋于无穷大和零点当自变量x趋于无穷大时，贝塞尔函数的行为有一定的规律，可以用渐近展开式来描述。
同样地，贝塞尔函数的零点也是研究的重要问题之一。
贝塞尔函数
第五章 贝塞尔函数在第二章中，用分离变量法求解了一些定解问题。
从§2.3可以看出，当我们采用极坐标系后，经过分离变量就会出现变系数的线性常微分方程。
在那里，由于只考虑圆盘在稳恒状态下的温度分布，所以得到了欧拉方程。
如果不是考虑稳恒状态而是考虑瞬时状态，就会得到一种特殊类型的常微分方程。
本章将通过在柱坐标系中对定解问题进行分离变量，引出在§2.6中曾经指出过的贝塞尔方程，并讨论这个方程解的一些性质。
下面将看到，在一般情况下，贝塞尔方程的解不能用初等函数表出，从而就导入一类特殊函数，称为贝塞尔函数。
贝塞尔函数具有一系列性质，在求解数学物理问题时主要是引用正交完备性。
§5.1 贝塞尔方程的引出下面以圆盘的瞬时温度分布为例推导出贝塞尔方程。
设有半径为R 的薄圆盘，其侧面绝缘，若圆盘边界上的温度恒保持为零摄氏度，且初始温度为已知，求圆盘内瞬时温度分布规律。
这个问题可以归结为求解下述定解问题：222222222222220(),,0, (5.1)(,),, (5.2)0, t x y R u u u a x y R t t x y u x y x y R u ϕ=+=∂∂∂=++<>∂∂∂=+≤= (5.3)⎧⎪⎪⎪⎨⎪⎪⎪⎩用分离变量法解这个问题，先令(,,)(,)()u x y t V x y T t =代入方程（5.1）得22222()V VVT a T x y∂∂'=+∂∂或22222(0)V V T x ya T Vλλ∂∂+'∂∂==-> 由此得到下面关于函数()T t 和(,)V x y 的方程20T a T λ'+= （5.4）22220V VV x y λ∂∂++=∂∂ （5.5）从（5.4）得2()a tT t Aeλ-=方程（5.5）称为亥姆霍兹（Helmholtz ）方程。
为了求出这个方程满足条件2220x y R V+== （5.6）的非零解，引用平面上的极坐标系，将方程（5.5）与条件（5.6）写成极坐标形式得22222110,,02, (5.7)0,02, (5.8)R V v VV R Vρλρθπρρρρθθπ=⎧∂∂∂+++=<≤≤⎪∂∂∂⎨⎪=≤≤⎩ 再令 (,)()()V P ρθρθ=Θ， 代入（5.7）并分离变量可得()()0θμθ''Θ+Θ= （5.9）22()()()()0P P P ρρρρλρμρ'''++-= （5.10）由于(,,)u x y t 是单值函数，所以(,)V x y 也必是单值得，因此()θΘ应该是以2π为周期的周期函数，这就决定了μ只能等于如下的数：2220,1,2,,,n对应于2n n μ=，有0()2a θΘ=（为常数） ()cos sin ,(1,2,)n n n a n b n n θθθΘ=+=以2n n μ=代入（5.10）得222()()()()0P P n P ρρρρλρρ'''++-= （5.11）这个方程与（2.93）相比，仅仅是两者的自变量和函数记号有差别，所以，它是n 阶贝塞尔方程。
Bessel函数介绍
第一类贝塞尔函数图2 0阶、1阶和2阶第一类贝塞尔函数（贝塞尔J函数）曲线（在下文中，第一类贝塞尔函数有时会简称为“J函数”，敬请读者留意。
）第一类α阶贝塞尔函数Jα(x)是贝塞尔方程当α为整数或α非负时的解，须满足在x= 0 时有限。
这样选取和处理Jα的原因见本主题下面的性质介绍；另一种定义方法是通过它在x = 0 点的泰勒级数展开（或者更一般地通过幂级数展开，这适用于α为非整数）：上式中Γ(z)为Γ函数（它可视为阶乘函数向非整型自变量的推广）。
第一类贝塞尔函数的形状大致与按速率衰减的正弦或余弦函数类似（参见本页下面对它们渐进形式的介绍），但它们的零点并不是周期性的，另外随着x的增加，零点的间隔会越来越接近周期性。
图2所示为0阶、1阶和2阶第一类贝塞尔函数Jα(x)的曲线（α = 0,1,2）。
如果α不为整数，则Jα(x)和J−α(x)线性无关，可以构成微分方程的一个解系。
反之若α是整数，那么上面两个函数之间满足如下关系：于是两函数之间已不满足线性无关条件。
为寻找在此情况下微分方程与Jα(x)线性无关的另一解，需要定义第二类贝塞尔函数，定义过程将在后面的小节中给出。
贝塞尔积分α为整数时贝塞尔函数的另一种定义方法由下面的积分给出：（α为任意实数时的表达式见参考文献[2]第360页）这个积分式就是贝塞尔当年提出的定义，而且他还从该定义中推出了函数的一些性质。
另一种积分表达式为：和超几何级数的关系贝塞尔函数可以用超几何级数表示成下面的形式：第二类贝塞尔函数（诺依曼函数）图3 0阶、1阶和2阶第二类贝塞尔函数（贝塞尔Y函数）曲线图（在下文中，第二类贝塞尔函数有时会简称为“Y函数”，敬请读者留意。
）第二类贝塞尔函数也许比第一类更为常用。
15第十五章 贝塞尔函数
16
§15.2 贝塞尔函数的性质
1. Jn(x) 的母函数
∑ exp[( t
−
1) t
x 2
]
=
∞
Jn(
n=−∞
x)
t
n
∑ ∑ 证明：exp[( t − 1 ) x ] = ∞ t k ( x )k ∞ ( − t )−m ( x )m
t 2 k=0 k! 2 m=0 m! 2
n=k−m ⇒
∑ ∑ ∑ =
Jν ( x), J−ν ( x) 线性无关
11
•对ν=n 为整数，通解 y(x) = cn Jn( x) + dn Nn(x)
诺依曼函数
Nν ( x)
=
cos(ν
π ) Jν ( x) − sin(ν π )
J −ν ( x)
洛必达法则
⇒
Nn(x) =
1 [ Jν (x) − (−1)n π ∂ν
∑ ν阶 Bessel 函数
Jν(x)
=
∞ k=0
k!
(−1)k Γ(k + ν
+
1)
x 2
ν + 2k
• 对任何 x≠0，级数绝对收敛
• 推广到负整数ν= –n ，应用 Γ(k − n + 1) = ∞, k < n
J−n(
x)
=
lim
ν →−n
Jν
(x)
= (−1)n J n( x)
10
3. 贝塞尔方程的通解
≡ k2
= −n2
Z ′′ = k 2 Z
Z(z) = ek z or e−k z (k ≠ 0?)
Φ′′ = − n2 Φ
贝塞尔函数
贝塞尔函数贝塞尔函数是贝塞尔方程的解。
它们与其他功能结合形成圆柱谐波功能。
除基本功能外，贝塞尔功能是物理学和工程学中最常用的功能。
它们以19世纪德国天文学家贝塞尔（F.W. Bessel）的名字命名，后者于1824年首次对其进行了描述。
贝塞尔函数是数学中一类特殊函数的总称。
常规贝塞尔函数是以下常微分方程（通常称为“贝塞尔方程”）的标准解函数。
这种方程的解不能用基本函数来系统地表示。
但是，可以将自动控制理论中的相平面法用于定性分析。
在这里，它被称为其对应的贝塞尔函数的顺序。
在实际应用中，最常见的情况是整数，相应的解称为阶贝塞尔函数。
尽管在上面的微分方程中，符号本身不会改变方程的形式，但在实际应用中仍然习惯定义两个不同的Bessel函数（这可以带来好处，例如消除点处的函数不平滑性）。
定义贝塞尔方程是二阶常微分方程，必须有两个线性独立的解。
针对各种特定情况，提出了这些解决方案的不同形式。
下面描述了不同类型的贝塞尔函数。
历史瑞士数学家丹尼尔·伯努利（Daniel Bernoulli）在18世纪中叶提出了几个正整数阶的Bessel函数，这在当时引起了数学界的轰动。
Jacobs Bernoulli，Leonhard Euler和Joseph Louis Lagrange为Bessel函数的研究做出了重要贡献。
1817年，德国数学家弗里德里希·威廉·贝塞尔（Friedrich Wilhelm Bessel）在研究约翰内斯·开普勒（Johannes Kepler）提出的三体重力系统的运动问题时，首次提出了贝塞尔函数的理论框架。
后人以他的名字命名这个功能。
现实背景和适用范围贝塞尔方程是通过使用变量分离方法在圆柱坐标或球坐标中求解拉普拉斯方程和亥姆霍兹方程而获得的。
因此，贝塞尔函数在波动问题和涉及势场的各种问题中起着重要作用。
*电磁波在圆柱波导中的传播；*圆柱体中的热传导定律|导热问题；*圆形（或环形）膜的振动模式分析；贝塞尔函数的一个示例：鼓鼓表面在中心被击中后，沿拉紧鼓表面的二阶振动模式的半径方向的振幅分布是贝塞尔函数（考虑正负号）。
贝塞尔函数
1 2
J 1 2 ( x)
Ynx n1 2 x dx x 2
n
J n1 2 ( x)
（与
J ( n1 2) ( x)
不一样！）
Y( n1 2) ( x)
2
( m 1, 2,) 的正交性。
rJ
0
R
n
(
m
(n)
R
r ) Jn(
k
( n)
R
r )d r
0, 2 2 R R 2 ( n) 2 (n) J ( ) J ( ), n 1 m n1 m 2 2
mk mk.
Jn (
m ( n)
R
r)
m 1 在【0，R】上，带权重r正交。
数值解，再用（1）式求
J v ( x)
的
当n为正整数或零时， 表达式为
，整数阶Bessel函数
(n k 1) (n k )!
（ 2）
k n 2 k
J n ( x)
(1) x J n ( x) k 0 k!(n k )! 2
第一类贝塞尔函数
k
n2k
nv
J v ( x)
k
（ 1）
(1) x J v ( x) k 0 k!(v k 1) 2
n 2 k
第一类贝塞尔函数
求
1.先求的
的方法： J v (x )
2.非整数阶Bessel函数也可以通过递推关系得出。
(v k 1)
当为整数时，例如， v n，
Yn ( x) lim
n
贝塞尔函数课件
3
正交性
贝塞尔函数之间具有正交性质，适合用于展开函数。
贝塞尔函数的计算方法
级数展开求解
可以使用贝塞尔函数的级数展开 式近似求解。
径向波动方程求解
使用贝塞尔函数表（示例）
贝塞尔函数是径向波动方程的解， 可用于求解相关问题。
通过查表，可以直接获取贝塞尔 函数的数值。
贝塞尔函数的在物理学中的应用
电磁场问题中的应用
贝塞尔函数用于描述电磁场分 布、辐射和散射等问题。
圆形共振问题中的应 用
贝塞尔函数用于解决圆形共振 腔中的电磁波问题。
量子力学中的应用
贝塞尔函数用于描述量子力学 中的球对称问题和径向波函数。
总结
在本课件中，我们介绍了贝塞尔函数的定义和基本类型，讨论了贝塞尔函数的性质和计算方法，以及它在物理 学中的应用。希望通过这些内容，您对贝塞尔函数有更全面的了解。
贝塞尔函数PPT课件
贝塞尔函数是一种数学函数，常用于解决各种科学领域中的物理和数学问题。 本课件将介绍贝塞尔函数的定义、类型、性质、计算方法以及在物理学中的 应用。
什么是贝塞尔函数
贝塞尔函数是一类特殊的数学函数，它是贝塞尔微分方程的解。它广泛应用 于物理学、工程学和数学等领域，例如波动理论、振动问题和量子力学。
下一步研究方向
贝塞尔函数作为一种重要的数学工具，在各个领域中仍有许多未解决的问题 和有待深入研究的方向。我们鼓励您继续探索和应用贝塞尔函数。
参考文献
1. Jiang, X., & Li, X. (2019). Applications of Bessel functions in physics. Physics Education, 54(6), 065010.
bessel函数
bessel函数贝塞尔函数（Bessel Function）是一个在数学中具有广泛应用的特殊函数。
它得名于德国数学家弗里德里希·贝塞尔（Friedrich Bessel），他在19世纪早期首次引入了这个函数。
贝塞尔函数可以分为第一类贝塞尔函数（Bessel Function of the First Kind）和第二类贝塞尔函数（Bessel Function of the Second Kind），分别用J(x)和Y(x)表示。
这两个函数都是解贝塞尔微分方程而得到的，其方程形式为：x^2*y''(x)+x*y'(x)+(x^2-n^2)*y(x)=0其中，y(x)是贝塞尔函数，y'(x)和y''(x)分别表示y(x)的一阶和二阶导数，n是贝塞尔函数的阶数。
第一类贝塞尔函数J(x)在数学和物理学中应用非常广泛。
它在波动现象、电磁场理论、量子力学、光学等领域都有重要的作用。
贝塞尔函数具有周期性，其性质和三角函数类似。
当x趋近于无穷大时，贝塞尔函数的振幅会逐渐减小，并呈现振幅快速振荡的特点。
这种振荡现象在光学中有重要应用，例如描述光的衍射和干涉。
第二类贝塞尔函数Y(x)在数学和物理学中的应用较少，主要用于表示贝塞尔函数的通解形式。
贝塞尔函数的解可以表示为线性组合的形式，其中包括第一类和第二类贝塞尔函数。
第二类贝塞尔函数在x趋近于零的时候有发散的性质，因此在物理问题中较少使用。
除了第一类和第二类贝塞尔函数外，还存在修正贝塞尔函数（Modified Bessel Function），通常用I(x)和K(x)表示。
修正贝塞尔函数在数学分析中也有广泛的应用，特别是在处理边界值问题和椭圆型方程时会经常出现。
贝塞尔函数的计算通常使用数值方法进行，尤其是在高阶贝塞尔函数的计算中。
常用的数值计算方法包括泰勒展开法、渐进展开法、递推关系等。
此外，贝塞尔函数还有一系列的性质和恒等式，如递推关系、积分关系、级数展开等，这些性质可以用于简化贝塞尔函数的计算和分析。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第二类贝塞尔函数，或称Neumann函数()Y xn第三类贝塞尔函数汉克尔（Hankel）函数开尔文函数（或称汤姆孙函数）n阶第一类开尔文（Kelvin）第五章贝塞尔函数在第二章中，用分离变量法求解了一些定解问题。
从§可以看出，当我们采用极坐标系后，经过分离变量就会出现变系数的线性常微分方程。
在那里，由于只考虑圆盘在稳恒状态下的温度分布，所以得到了欧拉方程。
如果不是考虑稳恒状态而是考虑瞬时状态，就会得到一种特殊类型的常微分方程。
本章将通过在柱坐标系中对定解问题进行分离变量，引出在§中曾经指出过的贝塞尔方程，并讨论这个方程解的一些性质。
下面将看到，在一般情况下，贝塞尔方程的解不能用初等函数表出，从而就导入一类特殊函数，称为贝塞尔函数。
贝塞尔函数具有一系列性质，在求解数学物理问题时主要是引用正交完备性。
§ 贝塞尔方程的引出下面以圆盘的瞬时温度分布为例推导出贝塞尔方程。
设有半径为R 的薄圆盘，其侧面绝缘，若圆盘边界上的温度恒保持为零摄氏度，且初始温度为已知，求圆盘内瞬时温度分布规律。
这个问题可以归结为求解下述定解问题：222222222222220(),,0, (5.1)(,),, (5.2)0, t x y R u u u a x y R t t x y u x y x y R u ϕ=+=∂∂∂=++<>∂∂∂=+≤= (5.3)⎧⎪⎪⎪⎨⎪⎪⎪⎩用分离变量法解这个问题，先令(,,)(,)()u x y t V x y T t =代入方程（）得22222()V V VT a T x y ∂∂'=+∂∂ 或22222 (0)V V T x y a T Vλλ∂∂+'∂∂==->由此得到下面关于函数()T t 和(,)V x y 的方程20T a T λ'+= （）22220V V V x yλ∂∂++=∂∂ （） 从（）得2()a t T t Ae λ-= 方程（）称为亥姆霍兹（Helmholtz ）方程。
为了求出这个方程满足条件2220x y R V +== （）的非零解，引用平面上的极坐标系，将方程（）与条件（）写成极坐标形式得22222110,,02, (5.7)0,02, (5.8)R V v V V R V ρλρθπρρρρθθπ=⎧∂∂∂+++=<≤≤⎪∂∂∂⎨⎪=≤≤⎩ 再令 (,)()()V P ρθρθ=Θ，代入（）并分离变量可得()()0θμθ''Θ+Θ= （）22()()()()0P P P ρρρρλρμρ'''++-= （）由于(,,)u x y t 是单值函数，所以(,)V x y 也必是单值得，因此()θΘ应该是以2π为周期的周期函数，这就决定了μ只能等于如下的数：2220,1,2,,,n L L对应于2n n μ=，有00()2a θΘ=（为常数） ()cos sin ,(1,2,)n n n a nb n n θθθΘ=+=L以2n n μ=代入（）得222()()()()0P P n P ρρρρλρρ'''++-= （）这个方程与（）相比，仅仅是两者的自变量和函数记号有差别，所以，它是n 阶贝塞尔方程。
若再作代换r =，并记 ()F r P=， 则得222()()()()0r F r rF r r n F r '''++-=.这是n 阶贝塞尔方程最常见的形式。
由条件（）及温度u 是有限的，分别可得()0(0)P R P =⎧⎪⎨<+∞⎪⎩ （） 因此，原定解问题的最后解决就归结为求贝塞尔方程（）在条件（）下的特征值与特征函数（（中第一个条件是在R ρ=处的第一类边界条件，第二个条件是在0ρ=处的自然边界条件，由于2()k ρρ=在0ρ=处为零，所以在这一点应加自然边界条件）。
在下一节先讨论方程（）的解法，然后在§中再回过头来讨论这个特征值问题。
§ 贝塞尔方程的求解在上一节中，从解决圆盘的瞬时温度分布问题引出了贝塞尔方程，本节来讨论这个方程的解法。
按惯例，仍以x 表示自变量，以y 表示未知函数，则n 阶贝塞尔方程为22222()0d y dy x x x n y dx dx ++-= （） 其中n 为任意实数或复数。
我们仅限于n 为任意实数，且由于方程中的系数出现2n 的项，所以在讨论时，不妨先假定0n ≥。
设方程（）有一个级数解，其形式为20120()c kc k k k k y x a a x a x a x a x ∞+==+++++=∑L L ，00a ≠ （） 其中常数c 和(0,1,2,)k a k =L 可以通过把y 和它的导数,y y '''代入（）来确定。
将（）及其导数代入（）后得220{[()(1)()()]}0c k k k c k c k c k xn a x ∞+=++-+++-=∑化简后写成22221220122()[(1)]{[()]}0c c c k k k k c n a x c n a x c k n a a x ∞++-=-++-++-+=∑要上式为恒等式，必须各个x 幂的系数全为零，从而得到下列各式： 1°220()0a c n -=；2°221[(1)]0a c n +-=；3°222[()]0(2,3,)k k c k n a a k -+-+==L 。
由1°得c n =±，代入2°得10a =。
先暂取c n =，代入3°得 4°2(2)k k a a k n k --=+。
因为10a =，由4°知13570a a a a =====L ，而246,,,a a a L 都可以用0a 表示，即022(22)a a n -=+， 0424(22)(24)a a n n =++g ， 06246(22)(24)(26)a a n n n -=+++g g ， …0202(1)2462(22)(24)(22)(1)2!(1)(2)()mm m m a a m n n n m a m n n n m =-+++-=+++g g L L L .由此知（）的一般项为202(1)2!(1)(2)()m n m m a x m n n n m +-+++L 0a 是一个任意常数，让0a 取一个确定的值，就得（）得一个特解。
把0a 取作012(1)n a n =Γ+ 这样选取0a 可使一般项系数中2的次数与x 的次数相同，并可以运用下列恒等式：()(1)(2)(1)(1)(1)n m n m n n n n m ++-++Γ+=Γ++L使分母简化，从而使（）中一般项的系数变成221(1)2!(1)m m n m a m n m +=-Γ++ （） 这样就比较整齐、简单了。
以（）代入（）得到（）的一个特解2120(1)(0)2!(1)n mmn m m x y n m n m +∞+==-≥Γ++∑ 用级数的比率判别法（或称达朗贝尔判别法）可以判定这个级数在整个数轴上收敛。
这个无穷级数所确定的函数，称为n 阶第一类贝塞尔函数。
记作220()(1)(0)2!(1)n mmn n m m x J x n m n m +∞+==-≥Γ++∑ （） 至此，就求出了贝塞尔方程的一个特解()n J x 。
当n 为正整数或零时，(1)()!n m n m Γ++=+，故有220()(1)(0,1,2,)2!()!n mmn n m m x J x n m n m +∞+==-=+∑L （） 取c n =-时，用同样的方法可得（）的另一特解220()(1)(1,2,)2!(1)!n mmn n m m x J x n m n m -+∞--+==-≠Γ-++∑L （） 比较（）式与（）式可见，只要在（）右端把n 换成n -，即可得到（）式。
因此不论n 式正数还是负数，总可以用（）统一地表达第一类贝塞尔函数。
当n 不为整数时，这两个特解()n J x 与()n J x -是线性无关的，由齐次线性常微分方程的通解的结构定理知道，（）的通解为()()n n y AJ x BJ x -=+ （）其中,A B 为两个任意常数。
当然，在n 不为整数的情况，方程（）的通解除了可以写成（）式以外还可以写成其它的形式，只要能够找到该方程另一个与()n J x 线性无关的特解，它与()n J x 就可构成（）的通解，这样的特解是容易找到的。
例如，在（）中取cot ,csc A n B n ππ==-，则得到（）的一个特解()cot ()csc ()()cos ()()sin n n n n n Y x n J x n J x J x n J x n n ππππ--=--=≠整数（） 显然，()n Y x 与()n J x 是线性无关的，因此，（）的通解可以写成()()n n y AJ x BY x =+ （）由（）式所确定的函数()n Y x 称为第二类贝塞尔函数，或称Neumann 函数。
§ 当n 为整数时贝塞尔方程的通解上一节说明，当n 不为整数时，贝塞尔方程（）的通解由（）或（）式确定，当n 为整数时，（）的通解应该是什么样子呢？ 首先，我们证明当n 为整数时，()n J x 与()n J x -是线性相关的。
事实上，不妨设n 为正整数N （这不失一般性，因n 为负整数时，会得到同样的结果），这在（）中，1(1)N m Γ-++当0,1,2,,(1)m N =-L 时均为零，这时级数从m N =起才开始出现非零项。
于是（）可以写成222424()(1)2!(1)! (1){}2!2(1)!2(2)!2! (1)()N mmN n m m N N N N NN N N N N x J x m N m x x x N N N J x -+∞--+=++++=-Γ-++=--++++=-∑L即()N J x 与()N J x -线性相关，这时()N J x 与()N J x -已不能构成贝塞尔方程的通解了。
为了求出贝塞尔方程的通解，还要求出一个与()N J x 线性无关的特解。
取哪一个特解？自然我们想到第二类贝塞尔函数。
不过当n 为整数时（）的右端没有意义，要想把整数阶贝塞尔方程的通解也写成（）的形式，必须先修改第二类贝塞尔函数的定义。
在n 为整数的情况，我们定义第二类贝塞尔函数为()cos ()()lim ()sin n n J x J x Y x n ααααπαπ-→-=为整数 （） 由于当n 为整数时，()(1)()cos ()n n n n J x J x n J x π-=-=，所以上式右端的极限为“00”形式的不定型的极限，应用洛必达法则并经过冗长的推导，最后得2100200(1)()2212()()(ln )2(!)1m m m m k x x Y x J x c m k ππ∞-==-=+-+∑∑ 21021100021(1)!()()(ln )2!2(1)()1112 (),(1,2,3,)!()!11n mn n n m m n m n m m m k k x n m x Y x J x c m x n m n m k k πππ-+-=+∞+--===--⎛⎫=+- ⎪⎝⎭--+=+++∑∑∑∑L （） 其中111lim(1ln)0.557223n c n →∞=++++-=L L ，称为欧拉常数。