听朋友推荐说简书这里写东西比较舒适,而且支持Markdown。
在本平台的第一篇文章就用一个简单的数学推导来开场,顺带测试LaTeX公式支持如何。
练习:导出0阶Bessel函数:的级数表达式。
一般情况下,导出积分的级数表达式的方法是直接将被积函数展开,然后交换积分次序。但在这里我们注意到被积函数符合Euler公式的表达,因此我们在这里尝试首先利用Euler公式进行导出。那么:
式(1)中等号右侧第二项为其积分区间上的奇函数,故有:
式(2)事实上是0阶Bessel函数的另一种常用表达方法。也就是说,至此我们的推导才真正开始。
将用Taylor级数对变量展开,即得:
再次使用Euler公式:做代换,可知(3)中的积分项,其积分区域将由实数轴的转换为复平面上的单位圆,记此单位圆为,同时此积分将由定积分转换为复平面上关于的围道积分(Contour Integral)。
变换过程如下:
即:
将用二项式展开,整理得:
按照惯例,我们将使用留数定理解决(5)中的围道积分。值得注意的是,此围道积分当且仅当时不为零。这是Cauchy积分定理和留数定理共同决定的。因为当时被积函数是完备的,故积分为零。而当时,做如下证明从而验证我们此处的结论:
设,此时被积函数在原点处有阶奇点,则由留数定理可得:
故此围道积分当且仅当时不为零。
那么立即得:
即:
整理得:
此即所求0阶Bessel函数的级数展开式。