Dirichlet 积分
【问题】计算广义积分
解法一:构造含参变量函数
记
构造函数
则
同时,利用定积分的基本性质,可以证明
复变函数积分的特殊性质
复变函数积分的性质几乎与第二类曲线积分的性质一致。这里做一个补充和总结。
设曲线 的长度为 , 是有界的,且
那么有如下不等式成立
所以,根据极限的两边夹定理,当 时
极限的两边夹定理
设数列 收敛,且当 时
若存在自然数 ,使得当 时,数列 满足
则数列 收敛,且当 时
对函数 求一阶导数
然后我们令
应用两次分部积分法
解得
于是
等式两边同时积分,由牛顿-莱布尼兹公式得
解得
解法二:化为二重积分
考虑如下广义积分
将之代入原式得
化为二重积分后,交换积分次序,即先对 积分
由解法一的计算结果可知,上式可化简为
解法三:留数定理
留数
洛朗级数负幂项的系数
留数定理
闭合回路积分等于所有孤立奇点的留数之和
根据欧拉公式可知
所以
构造复变函数
它有一个孤立奇点 。由留数定理得
注意到此处在运用留数定理时,被积函数是定义在实数域上的。实轴上的奇点具有对称性,积分路径(即实轴)的上半部分和下半部分对积分的贡献是相等的。因此,在应用留数定理时只需考虑上半复平面的情况即可。
其中, 是一个任意小的常数。所以曲线积分的路径是一个半径为 的圆。
作变量变换 ,相当于将复平面顺时针旋转了 90°。但是这并没有改变曲线积分的路径,即
下面来计算这个环路上的积分
由柯西积分定理可知,如果环路所围成的区域是单连通区域,即没有孤立奇点,那么积分结果为零。这意味着
那么,下面只需求解
作变量变换 ,得到
于是
解法四:柯西积分定理
由解法三可知
定义复变函数
为了挖掉 的孤立奇点 ,定义 的积分路径 为
所构成的正向闭曲线,如下图所示
由柯西积分定理得
那么
下面分别计算这两个曲线积分。首先计算外环路径上的积分
这里进行了两次放大。第一次是利用积分的基本性质(保号性的推论),第二次是将曲线简化为割线。具体来说,对于
而根据被积函数的单调性,达到化曲为直、放大结果的目的。
所以当 时
下面继续计算内环路径上的积分。我们尝试将 展开成洛朗级数
由于被积函数中需要展开的部分只有指数函数,相当于是作了泰勒级数展开。
下面研究正幂项的积分,令
则
这里一共进行了两次放大。第一次是利用积分的基本性质(保号性的推论),第二次是将求和的每一项都放大 倍。
所以当 时
于是
将 (1), (2) 这两个积分的结果代入原式 (*),得到
附:闭曲线作图相关代码
import numpy as np
import matplotlib.pyplot as plt
# 定义参数
R = 10.0 # 外半径
r = 1.0 # 内半径
# 生成参数 t
theta = np.linspace(0, np.pi, 100) # 0到2π之间均匀分布的100个点
t1 = np.linspace(-R, -r, 50) # -R到-r之间均匀分布的50个点
t2 = np.linspace(r, R, 50) # r到R之间均匀分布的50个点
# 生成复数 z
z1 = r * np.exp(1j * theta) # 内圆上的点
z2 = R * np.exp(1j * theta) # 外圆上的点
z3 = t1 # 右侧线上的点
z4 = t2 # 左侧线上的点
p = np
# 绘制图形
plt.figure(figsize=(6, 6)) # 设置图形大小
plt.plot(np.real(z1), np.imag(z1), 'b') # 绘制内圆弧
plt.plot(np.real(z2), np.imag(z2), 'r') # 绘制外圆弧
plt.plot(np.real(z3), np.imag(z3), 'g') # 绘制右侧线
plt.plot(np.real(z4), np.imag(z4), 'g') # 绘制左侧线
plt.plot(0, 0, 'ko') # 绘制奇点
# 绘制曲线方向
plt.plot(0, 10, 'r<')
plt.plot(0, 1, 'b>')
plt.plot(-5, 0, 'g>')
plt.plot(5, 0, 'g>')
plt.xlabel('Real') # x轴标签
plt.ylabel('Imaginary') # y轴标签
plt.title('Closed Curve') # 图形标题
plt.grid(True) # 显示网格
plt.axis('equal') # 设置坐标轴比例相等
plt.show() # 显示图形
解法五:傅里叶变换
考虑如下定积分
这是一个傅里叶逆变换的表达式,它充分地说明了频域内的信号
在时域内对应的信号就是被积函数 ,即
令 ,得到
又因为 是偶函数,所以
解法六:拉普拉斯变换
构造一个以 为变量的函数
则原式的值即为 。对 作拉普拉斯变换得
交换二重积分的积分次序后,使用两次分部积分法计算内层积分
解得
代入原式得
于是,再将 作拉普拉斯逆变换得
查阅拉普拉斯变换对可知
其中 是单位阶跃函数
所以 的表达式为
于是
特别地,我们通过拉普拉斯逆变换的方法发现,对于任意的 ,有