Both sides previous revision
Previous revision
|
|
math121a-f23:september_25_monday [2023/09/26 21:05] pzhou |
math121a-f23:september_25_monday [2023/09/26 21:16] (current) pzhou |
We can check z+ is within the unit circle, z− is outside it. Hence to apply residue theorem, we get | We can check z+ is within the unit circle, z− is outside it. Hence to apply residue theorem, we get |
I=(2πi)(2/i)Resz=z+2z+ϵ(z2+1)1= 2+2ϵz+4π=1−ϵ22π | I=(2πi)(2/i)Resz=z+2z+ϵ(z2+1)1= 2+2ϵz+4π=1−ϵ22π |
| |
| ===== integration of real rational function ===== |
| Consider |
| ∫0∞1+x31dx |
| We first truncate it to |
| I1,R=∫0R1+x31dx |
| then I1=limR→∞I1,R is what we want. |
| |
| We next complete the integration contour to a full closed loop, by adding two more pieces of integral |
| * $I_{2,R} = \int_{|z|=R, 0<\arg(z)<2\pi/3} \frac{1}{1+z^3} dz $ |
| * $I_{3,R} = \int_{z=r e^{i2\pi/3}, r=R}^0 \frac{1}{1+z^3} dz = e^{i2\pi/3} \int_{r=R}^0 \frac{1}{1+r^3} dr = - e^{i2\pi/3} I_{1,R}$ |
| |
| We also know that |
| IR=I1,R+I2,R+I3,R=2πiResz=eπi/3z31=2πi3e2πi/31 |
| taking limit R→∞, we can show (here I ignore it) that I3,R→0, then |
| I_1 (1 - e^{i2\pi/3}) = 2\pi i \frac{1}{3 e^{2\pi i / 3} } |
| hence |
| I1=3(e2πi/3−e4πi/3)2πi |
| |
| |