跳到主要内容

東京大学 工学系研究科 2011年8月実施 数学 第3問

Author

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

Description

I. ζ=f(z)=(1+z)/(1z)\zeta=f(z)=(1+z)/(1-z)z<1|z|<1 を右半平面 Reζ>0\operatorname{Re}\zeta>0 に写すことを示せ。また z=eiφz=e^{i\varphi}0<φ<2π0<\varphi<2\pi)の像を求めよ。

II. hh は右半平面で正則、閉右半平面で連続であり、ζ|\zeta|\to\inftyh(ζ)0h(\zeta)\to0 とする。 ζ0=ξ0+iη0,ζ1=ξ0+iη0\zeta_0=\xi_0+i\eta_0,\zeta_1=-\xi_0+i\eta_0ξ0>0\xi_0>0)とおく。 半径 R>ζ0R>|\zeta_0| の右半円と虚軸上の直径からなる閉路 CC を時計回りに一周するとき、

h(ζ0)=12πiCh(ζ)ζζ0dζ,0=12πiCh(ζ)ζζ1dζh(\zeta_0)=-\frac1{2\pi i}\oint_C\frac{h(\zeta)}{\zeta-\zeta_0}\,d\zeta, \qquad 0=-\frac1{2\pi i}\oint_C\frac{h(\zeta)}{\zeta-\zeta_1}\,d\zeta

が成り立つ。これらを用いて次式を導け。

h(ξ0+iη0)=1πξ0ξ02+(η0t)2h(it)dt.h(\xi_0+i\eta_0)=\frac1\pi\int_{-\infty}^\infty \frac{\xi_0}{\xi_0^2+(\eta_0-t)^2}h(it)\,dt.

III. kk が単位円内で正則、閉単位円板で連続ならば、0r<1,0<θ<2π0\le r<1,0<\theta<2\pi に対し次式が成り立つことを導け。

k(reiθ)=12π02π1r21+r22rcos(θφ)k(eiφ)dφ.k(re^{i\theta})=\frac1{2\pi}\int_0^{2\pi} \frac{1-r^2}{1+r^2-2r\cos(\theta-\varphi)}k(e^{i\varphi})\,d\varphi.

図

题目描述

I. 设 ζ=f(z)=(1+z)/(1z)\zeta=f(z)=(1+z)/(1-z)。证明它把 z<1|z|<1 映为 Reζ>0\operatorname{Re}\zeta>0,并求单位圆上 z=eiφz=e^{i\varphi}0<φ<2π0<\varphi<2\pi)的像。

II. hh 在右半平面解析,在闭右半平面连续,且 h(ζ)0h(\zeta)\to0ζ|\zeta|\to\infty)。 设 ζ0=ξ0+iη0,ζ1=ξ0+iη0\zeta_0=\xi_0+i\eta_0,\zeta_1=-\xi_0+i\eta_0ξ0>0\xi_0>0。 令 CC 为右半圆与虚轴直径组成的顺时针闭路,半径 R>ζ0R>|\zeta_0|。已知

h(ζ0)=12πiCh(ζ)ζζ0dζ,0=12πiCh(ζ)ζζ1dζ.h(\zeta_0)=-\frac1{2\pi i}\oint_C\frac{h(\zeta)}{\zeta-\zeta_0}\,d\zeta, \qquad 0=-\frac1{2\pi i}\oint_C\frac{h(\zeta)}{\zeta-\zeta_1}\,d\zeta.

由此证明

h(ξ0+iη0)=1πξ0ξ02+(η0t)2h(it)dt.h(\xi_0+i\eta_0)=\frac1\pi\int_{-\infty}^\infty \frac{\xi_0}{\xi_0^2+(\eta_0-t)^2}h(it)\,dt.

III. 若 kk 在单位圆内解析、在闭圆盘连续,证明对 0r<1,0<θ<2π0\le r<1,0<\theta<2\pi

k(reiθ)=12π02π1r21+r22rcos(θφ)k(eiφ)dφ.k(re^{i\theta})=\frac1{2\pi}\int_0^{2\pi} \frac{1-r^2}{1+r^2-2r\cos(\theta-\varphi)}k(e^{i\varphi})\,d\varphi.

Kai

I

Re1+z1z=1z21z2>0.\operatorname{Re}\frac{1+z}{1-z}=\frac{1-|z|^2}{|1-z|^2}>0.

逆変換 z=(ζ1)/(ζ+1)z=(\zeta-1)/(\zeta+1) において、 ζ1<ζ+1    Reζ>0|\zeta-1|<|\zeta+1|\iff\operatorname{Re}\zeta>0 だから、右半平面への全単射である。 境界上では

f(eiφ)=icotφ2,\boxed{f(e^{i\varphi})=i\cot\frac\varphi2},

φ\varphi00 から 2π2\pi まで増加すると、虚軸上を +i+i\infty から i-i\infty へ動く。

II

与えられた二式の差を取る。積分核の差は

1ζζ01ζζ1=2ξ0(ζζ0)(ζζ1).\frac1{\zeta-\zeta_0}-\frac1{\zeta-\zeta_1} =\frac{2\xi_0}{(\zeta-\zeta_0)(\zeta-\zeta_1)}.

半円弧上で核は O(R2)O(R^{-2})、弧長は πR\pi R なので、弧積分は零に収束する。 虚軸上の直径は iR-iR から iRiR に向かう。ζ=it\zeta=it とおくと、核の差は 2ξ0/[ξ02+(tη0)2]-2\xi_0/[\xi_0^2+(t-\eta_0)^2] となり、

h(ζ0)=limR1πRRξ0h(it)ξ02+(tη0)2dt,h(\zeta_0)=\lim_{R\to\infty}\frac1\pi\int_{-R}^R \frac{\xi_0h(it)}{\xi_0^2+(t-\eta_0)^2}\,dt,

となる。これが求める公式である。

III

g(ζ)=(ζ1)/(ζ+1)g(\zeta)=(\zeta-1)/(\zeta+1) とおき、 h(ζ)=k(g(ζ))k(1)h(\zeta)=k(g(\zeta))-k(1) に II を適用する。この関数は無限遠で零に収束する。 z0=reiθz_0=re^{i\theta}ζ0=f(z0)\zeta_0=f(z_0) とおくと、

ξ0=1r21z02,η0=2rsinθ1z02.\xi_0=\frac{1-r^2}{|1-z_0|^2},\qquad \eta_0=\frac{2r\sin\theta}{|1-z_0|^2}.

t=cot(φ/2)t=\cot(\varphi/2) と変数変換し整理すると、

ξ0dtξ02+(tη0)2=1r22[1+r22rcos(θφ)]dφ.\frac{\xi_0|dt|}{\xi_0^2+(t-\eta_0)^2} =\frac{1-r^2}{2[1+r^2-2r\cos(\theta-\varphi)]}\,d\varphi.

半平面の核の積分は π\pi なので、定数 k(1)k(1) が両辺で相殺され、所望の公式を得る。