跳到主要内容

京都大学 情報学研究科 システム科学専攻 2006年8月実施 工業数学

Author​

犬 (finalized by 祭音Myyura with assistance from GPT 6 Astra)

Description​

問題1​

(1) 11 の16乗根のうち偏角が正で最小のものを z≠1z\ne1 とする。S=∑k=07z2kS=\sum_{k=0}^7z^{2k} を求めよ。

(2) 0<a<b0<a<b とするとき I=∫−∞∞dx/{(x2+a2)(x2+b2)}I=\int_{-\infty}^\infty dx/\{(x^2+a^2)(x^2+b^2)\} を求めよ。

(3) z=x+iyz=x+iy とするとき、f(z)=sin⁡(z2)f(z)=\sin(z^2) の実部を x,yx,y で表せ。

問題2​

正則関数を f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y)、z=x+iyz=x+iy と書く。導出過程を示して答えよ。

(1) z1=x+Δx+iy,z2=x+i(y+Δy)z_1=x+\Delta x+iy,z_2=x+i(y+\Delta y) とする。差商 (f(z1)−f(z))/(z1−z)(f(z_1)-f(z))/(z_1-z)、(f(z2)−f(z))/(z2−z)(f(z_2)-f(z))/(z_2-z) の Δx→0,Δy→0\Delta x\to0,\Delta y\to0 における極限を u,vu,v で表せ。

(2) 上の結果からコーシー・リーマンの関係式を導け。

(3) u(x,y)=x3−3xy2u(x,y)=x^3-3xy^2 のとき f(z)f(z) を求めよ。

题目描述​

问题1​

(1) z≠1z\ne1 是 11 的16次方根中正辐角最小者,求 ∑k=07z2k\sum_{k=0}^7z^{2k}。

(2) 0<a<b0<a<b,求 ∫−∞∞dx/[(x2+a2)(x2+b2)]\int_{-\infty}^\infty dx/[(x^2+a^2)(x^2+b^2)]。

(3) z=x+iyz=x+iy,用 x,yx,y 表示 sin⁡(z2)\sin(z^2) 的实部。

问题2​

全纯函数 f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y),z=x+iyz=x+iy。给出推导:

(1) 设 z1=x+Δx+iyz_1=x+\Delta x+iy,z2=x+i(y+Δy)z_2=x+i(y+\Delta y),分别求沿实轴、虚轴差商 (f(zj)−f(z))/(zj−z)(f(z_j)-f(z))/(z_j-z) 的极限。

(2) 据此推导柯西–黎曼方程。

(3) 若 u=x3−3xy2u=x^3-3xy^2,求 ff。

Kai​

問題1​

(1) z=eiπ/8z=e^{i\pi/8}、z2≠1z^2\ne1、z16=1z^{16}=1 より S=(1−z16)/(1−z2)=0\boxed{S=(1-z^{16})/(1-z^2)=0}。

(2) 部分分数分解より

I=1b2−a2(∫−∞∞dxx2+a2−∫−∞∞dxx2+b2)=πab(a+b).I=\frac1{b^2-a^2}\left(\int_{-\infty}^\infty\frac{dx}{x^2+a^2}-\int_{-\infty}^\infty\frac{dx}{x^2+b^2}\right) =\boxed{\frac\pi{ab(a+b)}}.

(3) z2=x2−y2+2ixyz^2=x^2-y^2+2ixy と sin⁡(α+iβ)=sin⁡αcosh⁡β+icos⁡αsinh⁡β\sin(\alpha+i\beta)=\sin\alpha\cosh\beta+i\cos\alpha\sinh\beta より

Re⁡sin⁡(z2)=sin⁡(x2−y2)cosh⁡(2xy).\boxed{\operatorname{Re}\sin(z^2)=\sin(x^2-y^2)\cosh(2xy)}.

問題2​

(1) 実方向の極限は ux+ivxu_x+iv_x、虚方向の極限は (uy+ivy)/i=vy−iuy(u_y+iv_y)/i=v_y-iu_y。

(2) 正則性により両極限は一致するので、実部と虚部を比較して

ux=vy,uy=−vx.\boxed{u_x=v_y,\qquad u_y=-v_x}.

(3) vy=3x2−3y2v_y=3x^2-3y^2 より v=3x2y−y3+C(x)v=3x^2y-y^3+C(x)。さらに vx=6xy=−uyv_x=6xy=-u_y より C′(x)=0C'(x)=0。したがって

f(z)=z3+iC,C∈R.\boxed{f(z)=z^3+iC,\qquad C\in\mathbb R}.