数学随笔(第一次用本平台)

听朋友推荐说简书这里写东西比较舒适,而且支持Markdown。

在本平台的第一篇文章就用一个简单的数学推导来开场,顺带测试LaTeX公式支持如何。

练习:导出0阶Bessel函数:J_0(x)=\frac{1}{2\pi}\int_0^{2\pi}e^{ix\sin\vartheta}\mathrm{d}\vartheta的级数表达式。

一般情况下,导出积分的级数表达式的方法是直接将被积函数展开,然后交换积分次序。但在这里我们注意到被积函数符合Euler公式的表达,因此我们在这里尝试首先利用Euler公式进行导出。那么:
J_0(x)=\frac{1}{2\pi}\int_0^{2\pi}\cos(x\sin\vartheta)\mathrm{d}\vartheta+\frac{1}{2\pi}\int_0^{2\pi}\sin(x\sin\vartheta)\mathrm{d}\vartheta\tag{1}
式(1)中等号右侧第二项为其积分区间上的奇函数,故有:
J_0(x)=\frac{1}{2\pi}\int_0^{2\pi}\cos(x\sin\vartheta)\mathrm{d}\vartheta\tag{2}

式(2)事实上是0阶Bessel函数的另一种常用表达方法。也就是说,至此我们的推导才真正开始。

\cos (x\sin\vartheta)用Taylor级数对变量x展开,即得:
J_0(x)=\frac{1}{2\pi}\sum_{k=0}^\infty\frac{(-1)^k}{(2k)!}x^{2k}\int_0^{2\pi}\sin^{2k}\vartheta\mathrm{d}\vartheta\tag{3}
再次使用Euler公式:做代换s=\exp({i\vartheta}),可知(3)中的积分项,其积分区域将由实数轴的[0,2\pi]转换为复平面上的单位圆|s|=1,记此单位圆为\gamma,同时此积分将由定积分转换为复平面上关于\gamma的围道积分(Contour Integral)。

变换过程如下:
\int_0^{2\pi}\sin^{2k}\vartheta\mathrm{d}\vartheta\stackrel{e^{i\vartheta}=\cos\vartheta+i\sin\vartheta}{=\!\!=\!\!=\!\!=\!\!=\!\!=\!\!=\!\!=\!\!=\!\!=\!\!=\!\!=}\\ \int_0^{2\pi}\frac{1}{2^{2k}i^{2k}}(e^{i\vartheta}-\frac{1}{e^{i\vartheta}})^{2k}\mathrm{d}\vartheta\stackrel{s=e^{i\vartheta}}{-\!\!\!-\!\!\!-\!\!\!\rightarrow}\frac{1}{2^{2k}i^{2k}}\oint_\gamma(s-\frac{1}{s})\frac{\mathrm{d}s}{is}

即:
J_0(x)=\frac{1}{2\pi}\sum_{k=0}^\infty\frac{(-1)^k}{(2k)!}x^{2k}\frac{1}{2^{2k}i^{2k}}\oint_\gamma(s-\frac{1}{s})\frac{\mathrm{d}s}{is}\tag{4}
(s-1/s)^{2k}用二项式展开,整理得:
J_0(x)=\frac{1}{2\pi}\sum_{k=0}^\infty\left\{\frac{x^{2k}}{i\cdot(2k)!\cdot2^{2k}}\left[\sum_{n=0}^{2k} \left(\begin{matrix}2k\\n \end{matrix}\right) (-1)^n\oint_\gamma s^{2k-2n-1}\mathrm{d}s\right]\right\} \tag{5}
按照惯例,我们将使用留数定理解决(5)中的围道积分。值得注意的是,此围道积分当且仅当n=k时不为零。这是Cauchy积分定理和留数定理共同决定的。因为当2k-2n-1\geqslant0时被积函数是完备的,故积分为零。而当n>k时,做如下证明从而验证我们此处的结论:

n=k+m,\,\,\,m\in\mathbb{N}^+,此时被积函数在原点处有2m+1阶奇点,则由留数定理可得:
\oint_\gamma\frac{\mathrm{d}s}{s^{2m+1}}=2\pi i\mathrm{Res}[\frac{1}{s^{2m+1}},0]=\frac{2\pi i}{\Gamma(2m+1)}\lim_{s\rightarrow0}\frac{\mathrm{d}^{2m}}{\mathrm{d}s^{2m}}s^{2m+1}\frac{1}{s^{2m+1}}=0
故此围道积分当且仅当n=k时不为零。

那么立即得:
J_0(x)=\frac{1}{2\pi}\sum_{k=0}^\infty\left\{\frac{2\pi ix^{2k}}{i\cdot(2k)!\cdot2^{2k}} \left(\begin{matrix}2k\\k \end{matrix}\right) (-1)^k\mathrm{Res}[\frac{1}{s},0]\right\} \tag{6}
即:
J_0(x)=\frac{1}{2\pi}\sum_{k=0}^\infty\frac{2\pi ix^{2k}(-1)^k}{(2k)!\cdot i\cdot2^{2k}}\cdot\frac{(2k)!}{(k!)^2}
整理得:
J_0(x)=\sum_{k=0}^\infty\frac{(-1)^k}{(k!)^2}\left(\frac{x}{2}\right)^{2k}
此即所求0阶Bessel函数的级数展开式。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 202,802评论 5 476
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,109评论 2 379
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 149,683评论 0 335
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,458评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,452评论 5 364
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,505评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,901评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,550评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,763评论 1 296
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,556评论 2 319
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,629评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,330评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,898评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,897评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,140评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,807评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,339评论 2 342

推荐阅读更多精彩内容

  • 历史寻根复变函数的前世今生: 历史上第一个遇到‘虚数’即复数的人是印度的数学家Bhaskara Achary(约1...
    罗泽坤阅读 34,734评论 4 36
  • 数学学习规律简析 育人是一个极为复杂的课题,我们简直还没有开...
    徐玉鹏文件阅读 967评论 0 2
  • 这里的中译文刊登于《数学译林》2002年第2期,译者白承铭。白承铭教授任职于南开大学陈省身数学所,当时他翻译这篇文...
    无脑中年人的极简学前班阅读 174评论 0 0
  • 高等数学 第一章 第一节 函数的概念 函数的定义 自变量-因变量-定义域-值域-对应法则 定义域相同,对应法则相同...
    原上的小木屋阅读 2,280评论 0 1
  • 考试科目:高等数学、线性代数、概率论与数理统计 考试形式和试卷结构 一、试卷满分及考试时间 试卷满分为150分,考...
    Saudade_lh阅读 1,073评论 0 0