复变函数结课报告——狄利克雷积分的几种证明

news/2024/12/18 9:17:59/

狄利克雷积分

∫ 0 + ∞ sin ⁡ x x d x = π 2 \int_{0}^{+\infty}\frac{\sin x}{x}\mathrm{d}x=\frac{\pi}{2} 0+xsinxdx=2π

上式就是狄利克雷积分的形式。
考虑到这是复变函数的结课报告,因此给出的证明都将和复变函数有关,且以下变量和公式的用法习惯参考梁昆淼主编的《数学物理方法》(第四版)。

①留数定理法:

也就是书本上给出的做法。
∫ 0 + ∞ sin ⁡ x x d x = 1 2 ∫ − ∞ + ∞ sin ⁡ x x d x = 1 2 i ∫ − ∞ + ∞ e i x x d x \begin{aligned}&\int_{0}^{+\infty}\frac{\sin x}{x}\mathrm{d}x\\ =&\frac{1}{2}\int_{-\infty}^{+\infty}\frac{\sin x}{x}\mathrm{d}x\\ =&\frac{1}{2\mathrm{i}}\int_{-\infty}^{+\infty}\frac{e^{\mathrm{i}x}}{x} \mathrm{d}x\end{aligned} ==0+xsinxdx21+xsinxdx2i1+xeixdx

f ( z ) = e i x z f(z)=\frac{e^{\mathrm{i}x}}{z} f(z)=zeix,显然 f ( z ) f(z) f(z)在实轴上只有一个单极点 z 0 = 0 z_0=0 z0=0,由留数定理可得
= π 2 ⋅ R e s f ( z 0 ) = π 2 ⋅ e i z 0 = π 2 \begin{aligned}&=\frac{\pi}{2}\cdot \mathrm{Res}f(z_0)\\ &=\frac{\pi}{2}\cdot e^{\mathrm{i}z_0}\\ &=\frac{\pi}{2} \end{aligned} =2πResf(z0)=2πeiz0=2π

②费曼积分法:

详情可见:费曼积分法。
I ( a ) = ∫ 0 + ∞ e − a x ⋅ sin ⁡ x x d x I(a)=\int_{0}^{+\infty}e^{-ax}\cdot\frac{\sin x}{x}\mathrm{d}x I(a)=0+eaxxsinxdx,显然 I ( 0 ) = S , I ( + ∞ ) = 0 I(0)=S,I(+\infty)=0 I(0)=S,I(+)=0

T = ∂ I ∂ a = − ∫ 0 + ∞ e − a x ⋅ sin ⁡ x d x = 1 a ∫ 0 + ∞ sin ⁡ x d e − a x = 1 a sin ⁡ x e − a x ∣ 0 ∞ − 1 a ∫ 0 + ∞ e − a x ⋅ cos ⁡ x d x = − 1 a ∫ 0 + ∞ e − a x ⋅ cos ⁡ x d x = 1 a 2 ∫ 0 + ∞ cos ⁡ x d e − a x = 1 a 2 ∫ 0 + ∞ cos ⁡ x e − a x ∣ 0 ∞ − 1 a 2 ∫ 0 + ∞ e − a x ⋅ ( − sin ⁡ x ) d x = − 1 a 2 + 1 a 2 ∫ 0 + ∞ e − a x ⋅ sin ⁡ x d x = − 1 a 2 + 1 a 2 ( − T ) ⇒ ∂ I ∂ a = T = − 1 a 2 + 1 \begin{aligned}T=\frac{\partial I}{\partial a}&=-\int_{0}^{+\infty}e^{-ax}\cdot\sin x\mathrm{d}x\\ &=\frac{1}{a}\int_{0}^{+\infty}\sin x\mathrm{d}{e^{-ax}}\\ &=\frac{1}{a}\sin xe^{-ax}\bigg|_{0}^{\infty}-\frac{1}{a}\int_{0}^{+\infty}e^{-ax}\cdot\cos x\mathrm{d}x\\ &=-\frac{1}{a}\int_{0}^{+\infty}e^{-ax}\cdot\cos x\mathrm{d}x\\ &=\frac{1}{a^2}\int_{0}^{+\infty}\cos x\mathrm{d}{e^{-ax}}\\ &=\frac{1}{a^2}\int_{0}^{+\infty}\cos xe^{-ax}\bigg|_{0}^{\infty}-\frac{1}{a^2}\int_{0}^{+\infty}e^{-ax}\cdot(-\sin x)\mathrm{d}x\\ &=-\frac{1}{a^2}+\frac{1}{a^2}\int_{0}^{+\infty}e^{-ax}\cdot\sin x\mathrm{d}x\\ &=-\frac{1}{a^2}+\frac{1}{a^2}(-T)\\ \Rightarrow \frac{\partial I}{\partial a}=T&=-\frac{1}{a^2+1} \end{aligned} T=aIaI=T=0+eaxsinxdx=a10+sinxdeax=a1sinxeax 0a10+eaxcosxdx=a10+eaxcosxdx=a210+cosxdeax=a210+cosxeax 0a210+eax(sinx)dx=a21+a210+eaxsinxdx=a21+a21(T)=a2+11

∴ S = I ( 0 ) − I ( + ∞ ) = ∫ + ∞ 0 ∂ I ∂ a d a = ∫ + ∞ 0 − 1 a 2 + 1 d a = − arctan ⁡ a ∣ + ∞ 0 = π 2 \begin{aligned} \therefore S&=I(0)-I(+\infty)\\ &=\int_{+\infty}^{0}\frac{\partial I}{\partial a}\mathrm{d}a\\ &=\int_{+\infty}^{0}-\frac{1}{a^2+1}\mathrm{d}a\\ &=-\arctan a\bigg|_{+\infty}^{0}\\ &=\frac{\pi}{2} \end{aligned} S=I(0)I(+)=+0aIda=+0a2+11da=arctana +0=2π

③拉普拉斯变换法:

先证明两个重要的性质:
[ 1 ] : f ‾ ( 0 ) = ∫ 0 + ∞ f ( t ) d t [ 2 ] : L [ f ( t ) t ] = ∫ p + ∞ L [ u ] d u \begin{aligned} &[1]:\overline{f}(0)=\int_{0}^{+\infty}f(t)\mathrm{d}t\\ &[2]:\mathscr{L}\bigg[\frac{f(t)}{t}\bigg]=\int_{p}^{+\infty}\mathscr{L}\big[u\big]\mathrm{d}u \end{aligned} [1]:f(0)=0+f(t)dt[2]:L[tf(t)]=p+L[u]du

性质 [ 1 ] [1] [1]
f ‾ ( 0 ) = ∫ 0 + ∞ f ( t ) e − 0 ⋅ t d t = ∫ 0 + ∞ f ( t ) d t \begin{aligned}\overline{f}(0)&=\int_{0}^{+\infty}f(t)e^{-0\cdot t}\mathrm{d}t\\ &=\int_{0}^{+\infty}f(t)\mathrm{d}t\\ \end{aligned} f(0)=0+f(t)e0tdt=0+f(t)dt

性质 [ 2 ] [2] [2]
∫ p + ∞ L [ u ] d u = ∫ p + ∞ ∫ 0 + ∞ f ( t ) e − u t d t d u = ∫ 0 + ∞ ∫ p + ∞ f ( t ) e − u t d u d t = ∫ 0 + ∞ f ( t ) d t ∫ p + ∞ e − u t d u = ∫ 0 + ∞ f ( t ) ⋅ ( − 1 t ) e − u t ∣ p + ∞ d t = ∫ 0 + ∞ f ( t ) t e − p t d t = L [ f ( t ) t ] \begin{aligned}&\int_{p}^{+\infty}\mathscr{L}\big[u\big]\mathrm{d}u\\ =&\int_{p}^{+\infty}\int_{0}^{+\infty}f(t)e^{-ut}\mathrm{d}t\mathrm{d}u\\ =&\int_{0}^{+\infty}\int_{p}^{+\infty}f(t)e^{-ut}\mathrm{d}u\mathrm{d}t\\ =&\int_{0}^{+\infty}f(t)\mathrm{d}t\int_{p}^{+\infty}e^{-ut}\mathrm{d}u\\ =&\int_{0}^{+\infty}f(t)\cdot(-\frac{1}{t})e^{-ut}\bigg|_{p}^{+\infty}\mathrm{d}t\\ =&\int_{0}^{+\infty}\frac{f(t)}{t}e^{-pt}\mathrm{d}t\\ =&\mathscr{L}\bigg[\frac{f(t)}{t}\bigg] \end{aligned} ======p+L[u]dup+0+f(t)eutdtdu0+p+f(t)eutdudt0+f(t)dtp+eutdu0+f(t)(t1)eut p+dt0+tf(t)eptdtL[tf(t)]

因此,
L [ sin ⁡ x x ] = ∫ p + ∞ L [ sin ⁡ x ] d x = ∫ p + ∞ 1 1 + x 2 d x = arctan ⁡ x ∣ p + ∞ = π 2 − arctan ⁡ p \begin{aligned}\mathscr{ L}\bigg[\frac{\sin x}{x}\bigg]&=\int_{p}^{+\infty}\mathscr{L}\big[\sin x]\mathrm{d}x\\ &=\int_{p}^{+\infty}\frac{1}{1+x^2}\mathrm{d}x\\ &=\arctan x\bigg|_{p}^{+\infty}\\ &=\frac{\pi}{2}-\arctan p\end{aligned} L[xsinx]=p+L[sinx]dx=p+1+x21dx=arctanx p+=2πarctanp

∴ ∫ 0 + ∞ sin ⁡ x x d x = f ‾ ( 0 ) = L [ sin ⁡ x x ] ∣ p = 0 = π 2 \begin{aligned}\therefore \int_{0}^{+\infty}\frac{\sin x}{x}\mathrm{d}x&=\overline{f}(0)\\ &=\mathscr{L}\bigg[\frac{\sin x}{x}\bigg]\bigg|_{p=0}\\ &=\frac{\pi}{2} \end{aligned} 0+xsinxdx=f(0)=L[xsinx] p=0=2π

总结

费曼积分法中 e − a x e^{-ax} eax是一种缩放因子,拉普拉斯变换中 e − p t e^{-pt} ept是一种收敛因子,其本质都是同一种东西,且两者的前提条件都是缩放下的新表达式的导数的定积分一致收敛(只有这样才能交换求导和积分的次序,证明可以参考级数意义下的证明)。不管是费曼积分还是拉普拉斯变换,两者重要的一步都是进行变量的变换,有异曲同工之妙,尽显数学之美。


http://www.ppmy.cn/news/85540.html

相关文章

强化学习:值迭代和策略迭代

值迭代 通过上一章的学习,我们知道了贝尔曼最优方程的求解实际上分两部分,一是给定一个初始值 v k v_k vk​ 找到最优策略 π k 1 π_{k1} πk1​ ,二是更新 v k 1 v_{k1} vk1​   下面,我们将详细剖析这个算法&#xff0…

第八章:C语言的简单指针

谈起指针,简直就是谈虎色变,学习C语言的人都知道,指针的难度,就好像高中的导数一样,难道离谱,但是但是,别慌呀,咱们慢慢来,空杯心态,一步一个脚印&#xff0c…

gulimall-商城业务-商品上架

商城业务 前言一、商品上架1.1 商品 Mapping1.2 商品信息保存到es1.3 es数组的扁平化处理1.4 构造基本数据 前言 本文继续记录B站谷粒商城项目视频 P128-135 的内容,做到知识点的梳理和总结的作用,接口文档地址:gulimall接口文档 一、商品上…

SpringBoot中的依赖注入和自动注入

Spring Boot中的依赖注入和自动注入 前言详细讲讲依赖注入给出依赖的三种注入的方式的示例从概念上讲讲自动注入Spring Boot中注解Autowired,自动注入注解默认使用哪种注入方式给我一些上面自动注入的简单示例依赖注入和自动注入的关联以及不同点 前言 以下内容为本…

团队数千人,苹果XR头显核心高管大曝光

上周,彭博社Mark Gurman从参与研发的相关人士了解到的消息,阐述了苹果XR头显开发简史。本周,继续公布了参与到苹果XR头显研发工作的一些关键岗位或高管人士。相关阅读:《苹果XR头显简史:现实困境与未来预期》 Mark Gu…

JMeter参数化四种实现方式

1 参数化释义 什么是参数化?从字面上去理解的话,就是事先准备好数据(广义上来说,可以是具体的数据值,也可以是数据生成规则),而非在脚本中写死,脚本执行时从准备好的数据中取值。 参…

mac 安装 MongoDB

一.官网下载安装包 1.1 下载安装包 Download MongoDB Community Server | MongoDB 1.2 将下载好的 MongoDB 安装包解压缩,并将文件夹名改为 mongodb(可改成自己想要的任何名字)。 1.3 按快捷键 Command Shift G 打开前往文件夹弹窗&#…

PostgreSQL中的行锁

行锁在PG中比较特殊,在9.4以前,只有两种类型的行锁, FOR UPDATE 和FOR SHARE,因为只有两种锁,粒度比较大,极大的影响了并发性。所以从9.4开始引入了FOR KEY SHARE和FOR NO KEY UPDATE这两种行锁。目前这四种…