電気通信大学 情報理工学研究科 機械知能システム学専攻 2021年8月実施 選択問題 応用数学
Author
祭音Myyura (co-authored with GPT 5.6 SOL)
Description
- b>0 に対して
I(a,b)=2πi1∫−∞∞x−ibeiaxdx
を a>0,a=0,a<0 に分けて求めよ。ただし a=0 の積分は limR→∞∫−RR で定義する。θ(a)=limb→0+I(a,b) のグラフを示し、その導関数を考察せよ。
- z=eiθ (0≤θ<2π) に対して sinθ=(z−zˉ)/(2i) を示せ。さらに、実数 α に対し
exp{2α(z−z1)}=n=−∞∑∞Jn(α)zn
から Jn(α) の実積分表示を導け。
- Joukowski 変換 w=z+a2/z (a>0) が、原点中心・半径 c>a の円を楕円へ、原点を端点とする半直線 z=reiθ0 (r>0, 0≤θ0<2π) を双曲線へ写すことを示せ。
题目描述
用围道积分导出阶跃函数及其广义导数;由 Laurent 系数得到 Bessel 函数的积分表示;最后研究 Joukowski 变换下圆和射线的像。
Kai
(1)
a>0 では上半平面に閉じると極 z=ib を囲むので、
I(a,b)=z=ibResz−ibeiaz=e−ab.
a<0 では下半平面に閉じ、極を囲まないので I(a,b)=0 である。
a=0 では対称積分の定義より、
2πi1R→∞lim∫−RRx−ibdx=21.
したがって、
I(a,b)=⎩⎨⎧e−ab,21,0,a>0,a=0,a<0.
(2)
θ(a)=⎩⎨⎧1,21,0,a>0,a=0,a<0
であり、グラフは次のとおりである。

これは Heaviside の階段関数である。通常の意味では a=0 で微分不可能であり、超関数の意味では
θ′(a)=δ(a)
となる。
(1)
z=eiθ ならば zˉ=e−iθ であるから、
sinθ=2iz−zˉ.
(2)
Laurent 係数の公式と z=eiθ より、
Jn(α)=2πi1∮∣z∣=1exp{2α(z−z1)}zn+1dz=2π1∫02πei(αsinθ−nθ)dθ.
θ と 2π−θ の項を組にすると虚部が消える。したがって、
Jn(α)=π1∫0πcos(nθ−αsinθ)dθ.
(1)
z=ceiθ (c>a) とおくと、
w=(c+ca2)cosθ+i(c−ca2)sinθ.
w=u+iv と書けば、
(c+a2/c)2u2+(c−a2/c)2v2=1,
ゆえに像は楕円である。
(2)
z=reiθ0 (r>0) とおくと、
u=(r+ra2)cosθ0,v=(r−ra2)sinθ0.
sinθ0cosθ0=0 のとき消去して、
cos2θ0u2−sin2θ0v2=4a2,
すなわち u の符号が cosθ0 と一致する双曲線の一枝を得る。sinθ0=0 では実軸上の半直線 u≥2a または u≤−2a、cosθ0=0 では虚軸全体に退化する。