04第四章 解析函数的级数展开_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者贡献于
评价文档：
115页免费90页免费100页免费2页¥1.0012页免费 47页免费1页免费55页2下载券7页免费107页4下载券
喜欢此文档的还喜欢30页免费54页免费65页2下载券46页免费55页免费
04第四章 解析函数的级数展开|解​析​函​数​的​级​数​展​开
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：3.53MB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢《数学物理方法》第四章 1_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者贡献于
评价文档：
36页2下载券36页2下载券23页免费35页1下载券11页免费 34页免费96页1下载券18页免费51页免费17页免费
喜欢此文档的还喜欢35页免费15页免费19页免费51页免费61页免费
《数学物理方法》第四章 1|
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：2.08MB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢温馨提示！由于新浪微博认证机制调整，您的新浪微博帐号绑定已过期，请重新绑定！&&|&&
LOFTER精选
阅读(112)|
用微信&&“扫一扫”
将文章分享到朋友圈。
用易信&&“扫一扫”
将文章分享到朋友圈。
历史上的今天
在LOFTER的更多文章
loftPermalink:'',
id:'fks_',
blogTitle:'倒伽函数的全定义幂级数',
blogAbstract:'
一、倒伽函数即伽马函数的倒函数，在全复平面上是全解析的，无极点，无奇点。有无数个阶数为1的收敛零点，存在一个阶数为无穷大的发散零点。
&&&&&&&&&&&&&& L(z)=1/Γ(z)=∑(n=0…∞)anzn+1.
&&&&& 其中，an=L(n)(1)/(n!)，｜z｜＜∞.
二、求an的递进公式：
&&&&&&&&& ',
blogTag:'函数',
blogUrl:'blog/static/',
isPublished:1,
istop:false,
modifyTime:0,
publishTime:5,
permalink:'blog/static/',
commentCount:0,
mainCommentCount:0,
recommendCount:0,
bsrk:-100,
publisherId:0,
recomBlogHome:false,
currentRecomBlog:false,
attachmentsFileIds:[],
groupInfo:{},
friendstatus:'none',
followstatus:'unFollow',
pubSucc:'',
visitorProvince:'',
visitorCity:'',
visitorNewUser:false,
postAddInfo:{},
mset:'000',
remindgoodnightblog:false,
isBlackVisitor:false,
isShowYodaoAd:true,
hostIntro:'',
hmcon:'1',
selfRecomBlogCount:'0',
lofter_single:''
{list a as x}
{if x.moveFrom=='wap'}
{elseif x.moveFrom=='iphone'}
{elseif x.moveFrom=='android'}
{elseif x.moveFrom=='mobile'}
${a.selfIntro|escape}{if great260}${suplement}{/if}
{list a as x}
推荐过这篇日志的人：
{list a as x}
{if !!b&&b.length>0}
他们还推荐了：
{list b as y}
转载记录：
{list d as x}
{list a as x}
{list a as x}
{list a as x}
{list a as x}
{if x_index>4}{break}{/if}
${fn2(x.publishTime,'yyyy-MM-dd HH:mm:ss')}
{list a as x}
{if !!(blogDetail.preBlogPermalink)}
{if !!(blogDetail.nextBlogPermalink)}
{list a as x}
{if defined('newslist')&&newslist.length>0}
{list newslist as x}
{if x_index>7}{break}{/if}
{list a as x}
{var first_option =}
{list x.voteDetailList as voteToOption}
{if voteToOption==1}
{if first_option==false},{/if}&&“${b[voteToOption_index]}”&&
{if (x.role!="-1") },“我是${c[x.role]}”&&{/if}
&&&&&&&&${fn1(x.voteTime)}
{if x.userName==''}{/if}
网易公司版权所有&&
{list x.l as y}
{if defined('wl')}
{list wl as x}{/list}维基百科，自由的百科全书
图1 贝塞尔函数的一个实例：一个紧绷的鼓面在中心受到敲击后的二阶振动振型，其振幅沿半径方向上的分布就是一个贝塞尔函数（考虑正负号）。实际生活中受敲击的鼓面的振动是各阶类似振动形态的叠加。
贝塞尔函数（Bessel functions），是数学上的一类的总称。通常单说的贝塞尔函数指（Bessel function of the first kind）。一般贝塞尔函数是下列（一般称为贝塞尔方程）的标准解函数：
这类方程的解是无法用系统地表示。
由於贝塞尔微分方程是二階，需要由兩個獨立的函數來表示其标准解函数。典型的是使用和來表示标准解函数：
注意，由於
在 x=0 時候是的（），當取 x=0 時，相關係數
必須為0時，才能獲得有物理意義的結果。
贝塞尔函数的具体形式随上述方程中任意实数或複數α变化而变化（相应地，α被称为其对应贝塞尔函数的阶数）。实际应用中最常见的情形为α是n，对应解称为n 阶贝塞尔函数。
尽管在上述微分方程中，α本身的正负号不改变方程的形式，但实际应用中仍习惯针对α和-α定义两种不同的贝塞尔函数（这样做能带来好处，比如消除了函数在α=0 点的不光滑性）。
贝塞尔函數也被稱為、圓柱函數或圓柱諧波，因為他們是於在上的求解過程中被發現的。
贝塞尔函数的几个正整数阶特例早在18世纪中叶就由在研究悬链振动时提出了，当时引起了数学界的兴趣。的叔叔，、等数学大师对贝塞尔函数的研究作出过重要贡献。1817年，数学家在研究提出的三体系统的运动问题时，第一次系统地提出了贝塞尔函数的总体理论框架，后人以他的名字来命名了这种函数
贝塞尔方程是在或下使用求解和时得到的（在圆柱域问题中得到的是整阶形式 α = n；在球形域问题中得到的是半奇数阶形式 α = n+ 1/2 ），因此贝塞尔函数在问题以及各种涉及有势场的问题中占有非常重要的地位，最典型的问题有：
在圆柱形中的传播问题；
圆柱体中的问题；
圆形（或环形）的模态分析问题；
在其他一些领域，贝塞尔函数也相当有用。譬如在中的（）或（）的定义中，都要用到贝塞尔函数。
贝塞尔方程是一个二阶常微分方程，必然存在两个的解。针对各种具体情况，人们提出了表示这些解的不同形式。下面分别介绍这些不同类型的贝塞尔函数。
图2 0阶、1阶和2阶第一类贝塞尔函数（贝塞尔J函数）曲线
第一类贝塞尔函数（Bessel function of the first kind），又称贝塞尔函数（Bessel function），下文中有时会简称为J函数，記作Jα。
第一类α阶贝塞尔函数Jα(x)是贝塞尔方程当α为整数或α非负时的解，须满足在x = 0 时有限。这样选取和处理Jα的原因见本主题下面的；另一种定义方法是通过它在x = 0 点的展开（或者更一般地通过展开，这适用于α为非整数）：
上式中为（它可视为函数向非整型的推广）。第一类贝塞尔函数的形状大致与按速率衰减的或函数类似（参见本页下面对它们渐进形式的介绍），但它们的零点并不是周期性的，另外随着x的增加，零点的间隔会越来越接近周期性。图2所示为0阶、1阶和2阶第一类贝塞尔函数的曲线（）。
如果α不为整数，则和线性无关，可以构成微分方程的一个解系。反之若是整数，那么上面两个函数之间满足如下关系：
于是两函数之间已不满足线性无关条件。为寻找在此情况下微分方程与线性无关的另一解，需要定义第二类贝塞尔函数，定义过程将在后面的小节中给出。
为整数时贝塞尔函数的另一种定义方法由下面的积分给出：
（为任意实数时的表达式见第360页）
这个积分式就是贝塞尔当年提出的定义，而且他还从该定义中推出了函数的一些性质。另一种积分表达式为：
贝塞尔函数可以用表示成下面的形式：
ɑ為整數。由於函數線性相關的特性(用了一個就少了一個，所以要再構造一個)，才需定義如下詳細介紹的第二類貝塞爾函數。
图3 0阶、1阶和2阶第二类贝塞尔函数（贝塞尔Y 函数）曲线图
第二类贝塞尔函数（Bessel function of the second kind），又称诺伊曼函数（Neumann function），下文中有时会简称为Y函数，記作Yα。
第二类贝塞尔函数也许比第一类更为常用。 这种函数通常用Yα(x)表示，它们是贝塞尔方程的另一类解。x = 0 点是第二类贝塞尔函数的（无穷）奇点。
Yα(x)又被称为诺依曼函数（Neumann function），有时也记作Nα(x)。它和Jα(x)存在如下关系：
若α为整数（此时上式是型）则取右端的值。
从前面对Jα(x)的定义可以知道，若α不为整数时，定义Yα是多余的（因为贝塞尔方程的两个线性无关解都已经用J函数表示出来了）。另一方面，若α为整数，Yα便可以和Jα构成贝塞尔方程的一个解系。与J函数类似，Y函数正负整数阶之间也存在如下关系：
Jα(x)和Yα(x)均为沿负实半轴割开的内关于x的。当α为整数时，复平面内不存在贝塞尔函数的，所以J 和Y 均为x 的。若将x 固定，则贝塞尔函数是α的整函数。图3所示为0阶、1阶和2阶第二类贝塞尔函数的曲线（）：
第三类贝塞尔函数（Bessel function of the third kind），又称汉克尔函数（Hankel function）。
贝塞尔方程的另外一对重要的线性无关解称为函数（Hankel functions）Hα(1)(x)和Hα(2)(x)，分别定义为：
其中i 为单位。以上的线性组合也成为第三类贝塞尔函数；它们描述了二维的内行柱面波解和外行柱面波解（"行"与在"行动"中同音）。
利用前面推出的关系可将汉克尔函数表示成：
若α为整数，则须对等号右边取极限值。另外，无论α是不是整数，下面的关系都成立：
贝塞尔函数当变量x 为时同样成立，并且当x 为纯时能得到一类重要情形——它们被称为第一类修正贝塞尔函数（modified Bessel function of the first kind）和第二类修正贝塞尔函数（modified Bessel function of the second kind），或虚变量的贝塞尔函数（有时还称为双曲型贝塞尔函数），定义为：
以上形式保证了当变量x 为时，函数值亦为实数。这两个函数构成了下列修正贝塞尔方程（与一般贝塞尔方程的差别仅在两个正负号）的一个相互线性无关的解系：
修正贝塞尔函数与一般贝塞尔函数的差别在于：一般贝塞尔函数随实变量是振荡型的，而修正贝塞尔函数Iα 和Kα则分别是和型的。和第一类贝塞尔函数Jα一样，函数Iα当α & 0 时在x=0 点等于0，当α=0时在x=0 点趋于有限值。类似地，Kα在x=0 点发散（趋于无穷）。
图4-1 第一类修正贝塞尔函数对实自变量的曲线（）
图4-2 第二类修正贝塞尔函数对实自变量的曲线（）
复数变量的贝塞尔函数之零值：的解在α≥-1的情况下都是实数；阶数-2&α&-1的情况下，除了实数之外还有且仅有一对共轭的纯虚数解（G.N Watson ）。
第二类修正贝塞尔函数有时候被称为第三类修正贝塞尔函数（modified Bessel function of the third kind）。
图5-1 第一类球贝塞尔函数曲线（）
图5-2 第二类球贝塞尔函数曲线（）
若使用求解下的三维，则可得到如下形式关于径向（r 方向）分量的：
关于上述方程的一对线性无关解称为球贝塞尔函数，分别用jn和yn表示（有时也记为nn）。这两个函数与一般贝塞尔函数Jn和Yn 存在关系：
球贝塞尔函数也可写成：
0阶第一类球贝塞尔函数又称为。头几阶整阶球贝塞尔函数的表达式分别为：
还可以依照前面构造汉克尔函数相同的步骤构造所谓 球汉克尔函数：
事实上，所有半奇数阶贝塞尔函数都可以写成由组成的封闭形式的表达式，球贝塞尔函数也同样可以。特别地，对所有非负整数n，存在：
而对实自变量x，hn(2)是上面hn(1)的复共轭（!! 表示双）。由此我们可以通过得到h，再分离实部虚部，求出相应阶j 和h 的表达式，譬如j0(x) = sin(x)/x，y0(x) = -cos(x)/x，等等。
黎卡提-贝塞尔函数（Riccati-Bessel functions）和球贝塞尔函数比较类似：
该函数满足方程：
这个方程以及相应的黎卡提-贝塞尔解是（）于1908年研究在球状颗粒表面问题时提出的，后人将这种散射称为（）。这个问题近几年的进展可参见文献 Du (2004)。
后人有时会遵从（）在1909年的论文中的记法，用 代替前面的。
贝塞尔函数在α非负时具有下面的渐近形式。当自变量x 为小量，即时，有：
式中γ为（也叫歐拉常數，等于 0....），Γ为。对于很大的x，即时，渐近形式为：
（α=1/2 时渐近号两边严格相等；参见前面对球贝塞尔函数的介绍）。其他形式贝塞尔函数的渐近形式可以从上面的式子直接推得。譬如，对大自变量，修正贝塞尔函数的渐近形式为：
对小自变量：
整阶（α = n）第一类贝塞尔函数Jn常通过对其（generating function）的（）展开来定义：
上式得左边即为整阶第一类贝塞尔函数的母函数，这是于1843年提出的。（这种定义也可以通过或其他方法推广到非整数阶）。整阶函数的另一个重要性质是下列雅可比-安格尔恒等式（Jacobi-Anger identity）：
利用这一等式可以将展开成一系列柱面波的叠加，或者将信号分解成的叠加。
函数Jα、Yα、Hα(1)和Hα(2)均满足：
其中Z代表J, Y, H(1)或H(2)。（常将这两个恒等式联立推出其他关系）。从这组递推关系可以通过低阶贝塞尔函数（或它们的低阶）计算高阶贝塞尔函数（或它们的高阶）。特别地，有：
由于贝塞尔方程对应的作用算符除以x 后便是一个（的）（），所以它的解在适当的下须满足正交性关系。特别地，可推得：
其中α & -1，δm,n为，uα,m表示Jα(x)的第m 级。这个正交性关系可用于计算中各项的系数，以利用该级数将任意函数写成α固定、m 变化的函数Jα(x uα,m)的无穷叠加形式。（可以立即得到球贝塞尔函数相应的关系）。
另一个正交性关系是下列在α & -1/2时成立的“封闭方程”（closure equation）：
其中δ为。球贝塞尔函数的正交性条件为（当α & 0）：
贝塞尔方程的另一个重要性质与其（）相关，由（）得到：
其中Aα 和Bα是贝塞尔方程的任意两个解，Cα是与x 无关的常数（由α和贝塞尔函数的种类决定）。譬如，若Aα = Jα、Bα = Yα，则Cα is 2/π。该性质在修正贝塞尔函数中同样适用，譬如，若Aα = Iα、Bα = Kα，则Cα为-1。
[1] 严镇军编，《数学物理方程》，第二版，中国科学技术大学出版社，合肥，2002，第82页~第123页，/O·177
[2] Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (Dover: New York, 1972) （英文）
整阶贝塞尔函数
J, Y （韦伯） and H （汉开尔）
修正贝塞尔函数（I和K）
开尔文函数
分数阶贝塞尔函数
球贝塞尔函数（j、y和h）
修正球贝塞尔函数（I和K）
黎卡提-贝塞尔函数
艾里函数（Airy functions）
[3] George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists (Harcourt: San Diego, 2001).
[4] Frank Bowman, Introduction to Bessel Functions (Dover: New York, 1958) .
[5] G. N. Watson, A Treatise on the Theory of Bessel Functions, Second Edition, (1966) Cambridge University Press.
[6] G. Mie, "Beitr?ge zur Optik trüber Medien, speziell kolloidaler Metall?sungen", Ann. Phys. Leipzig 25(1908), p.377.
[7] Hong Du, "Mie-scattering calculation," Applied Optics 43 (9),
：隐藏分类：