跳到主要内容

千葉大学 融合理工学府 数学情報科学専攻 数学・情報数理学コース 2020年8月実施 専門 B5

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

  1. 実関数 u,vu,v(x0,y0)(x_0,y_0) で全微分可能とする。f=u+ivf=u+ivz0=x0+iy0z_0=x_0+iy_0 とし、dfz0(a+ib)=fx(z0)a+fy(z0)bdf_{z_0}(a+ib)=f_x(z_0)a+f_y(z_0)b と定める。ffz0z_0 で複素微分可能であることと、dfz0df_{z_0}C\mathbb C 線形であることの同値性を示せ。
  2. nn を正整数、R>1R>1 とする。CC は実軸上を R-R から RR に進み、上半円 ReiθRe^{i\theta}0θπ0\le\theta\le\pi)を通って戻る閉曲線とする。(a) C(1+z2)ndz\int_C(1+z^2)^{-n}dz、(b) 0(1+x2)ndx\int_0^\infty(1+x^2)^{-n}dx を求めよ。

题目描述

(1) 设 u,vu,v(x0,y0)(x_0,y_0) 全微分可微,f=u+ivf=u+iv。证明 ffz0=x0+iy0z_0=x_0+iy_0 复可微当且仅当实微分 dfz0(a+ib)=fxa+fybdf_{z_0}(a+ib)=f_xa+f_yb 是复线性的。(2) 对正整数 nn,计算沿正向上半圆闭路 CC(半径 R>1R>1)的积分 C(1+z2)ndz\int_C(1+z^2)^{-n}dz,以及 0(1+x2)ndx\int_0^\infty(1+x^2)^{-n}dx

Kai

(1) 実全微分可能性から

f(z0+h)f(z0)=dfz0(h)+o(h).f(z_0+h)-f(z_0)=df_{z_0}(h)+o(|h|).

dfz0df_{z_0} が複素線形なら dfz0(h)=dfz0(1)hdf_{z_0}(h)=df_{z_0}(1)h なので f(z0)=dfz0(1)f'(z_0)=df_{z_0}(1)。逆に複素微分可能なら、実軸方向と虚軸方向の差商から fx(z0)=f(z0)f_x(z_0)=f'(z_0)fy(z0)=if(z0)f_y(z_0)=if'(z_0)。従って dfz0(h)=f(z0)hdf_{z_0}(h)=f'(z_0)h である。

(2)(a) 内部の極は ii のみで、その留数は

Resz=i1(1+z2)n=(1)n1(2n2)!((n1)!)2(2i)2n1.\operatorname{Res}_{z=i}\frac1{(1+z^2)^n} =\frac{(-1)^{n-1}(2n-2)!}{((n-1)!)^2(2i)^{2n-1}}.

留数定理により

Cdz(1+z2)n=π(2n2)!22n2((n1)!)2.\boxed{\int_C\frac{dz}{(1+z^2)^n}=\frac{\pi(2n-2)!}{2^{2n-2}((n-1)!)^2}}.

(b) 上半円上の積分の絶対値は πR/(R21)n0\pi R/(R^2-1)^n\to0。実軸の被積分関数は偶関数なので

0dx(1+x2)n=π(2n2)!22n1((n1)!)2.\boxed{\int_0^\infty\frac{dx}{(1+x^2)^n}=\frac{\pi(2n-2)!}{2^{2n-1}((n-1)!)^2}}.