院試hub

東京大学 院試 過去問 解答例

東大 数理科学研究科 数理科学専攻 専門科目A 2011年度 院試 解答例・解説

東京大学 数理科学研究科 数理科学専攻 専門科目A 2011年度の院試 過去問について、設問ごとの解法方針・部分点の置き所を解説。全7問収録の解答・解説PDFと併用できます。問題本文は含みません。

最終更新:

1 — 対角化可能性と相似条件

相似では特性多項式だけでは足りない場合がある

固有値が相異なる場合は,特性多項式の一致だけで十分である。注意すべきなのは (λ2)3(\lambda-2)^3 になる場合で,このときはジョルダンブロックの大きさまで 確認する必要がある。

階数でジョルダン型を読む

三次で唯一の固有値が 22 のとき,rank(T2I)=1\operatorname{rank}(T-2I)=1 なら 固有空間は二次元で,ジョルダン型は 2+12+1 である。 rank(T2I)=2\operatorname{rank}(T-2I)=2 なら固有空間は一次元で,型は 33 になる。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

(1) 特性多項式を計算する。AA については χA(λ)=det(λIA)=(λ2){λ24λ+3+a2}=(λ2){(λ2)2+a21}. \chi_A(\lambda) =\det(\lambda I-A) =(\lambda-2)\{\lambda^2-4\lambda+3+a^2\} =(\lambda-2)\{(\lambda-2)^2+a^2-1\}. したがって,a±1a\neq \pm1 のときは三つの固有値が相異なるので AA は対角化可能である。

a=1a=1 のときも a=1a=-1 のときも特性多項式は (λ2)3(\lambda-2)^3 である。ここで A2I=(00011a1a1). A-2I= \begin{pmatrix} 0&0&0\\ 1&-1&a\\ 1&-a&1 \end{pmatrix}. a=1a=1 ではこの行列の階数は 11a=1a=-1 では階数は 22 である。 いずれの場合も固有空間の次元は 33 ではないので,AA は対角化可能でない。 よって A が対角化可能a±1 A\ \text{が対角化可能} \quad\Longleftrightarrow\quad a\neq \pm1 である。

(2) 次に BB の特性多項式は χB(λ)=(λ2){λ24λ+6b}=(λ2){(λ2)2+2b}. \chi_B(\lambda) =(\lambda-2)\{\lambda^2-4\lambda+6-b\} =(\lambda-2)\{(\lambda-2)^2+2-b\}. 相似なら特性多項式が一致するから,まず a21=2b,すなわちa2+b=3 a^2-1=2-b,\qquad\text{すなわち}\qquad a^2+b=3 が必要である。

a±1a\neq\pm1 かつ a2+b=3a^2+b=3 のとき,両者は同じ相異なる三つの固有値をもつ。 どちらも対角化可能なので,同じ対角行列に相似であり,したがって互いに相似である。

残る重根の場合を調べる。特性多項式が (λ2)3(\lambda-2)^3 になるのは a=±1,b=2 a=\pm1,\qquad b=2 のときである。このとき B2I=(222111333) B-2I= \begin{pmatrix} -2&2&-2\\ 1&-1&1\\ 3&-3&3 \end{pmatrix} であり,階数は 11,かつ (B2I)2=0(B-2I)^2=0 である。したがって BB のジョルダン型は 22 次ブロック一つと 11 次ブロック一つである。 一方,a=1a=1 のときの AArank(A2I)=1\operatorname{rank}(A-2I)=1 かつ (A2I)2=0(A-2I)^2=0 なので同じジョルダン型である。a=1a=-1 のときは rank(A2I)=2\operatorname{rank}(A-2I)=2 で,ジョルダン型が異なる。

最終答

(1)A が対角化可能a±1 \text{(1)}\quad \boxed{ A\text{ が対角化可能} \quad\Longleftrightarrow\quad a\neq \pm1 } (2)A と B が相似a2+b=3,a1 \text{(2)}\quad \boxed{ A\text{ と }B\text{ が相似} \quad\Longleftrightarrow\quad a^2+b=3,\quad a\neq -1 }

2 — 特異積分の極限

発散しそうな対数は xlogxx\log x 型で消える

被積分関数は x=0x=02logx-2\log x 程度に大きくなるが, 0εlogxdx\int_0^\varepsilon |\log x|\,dx は有限である。原始関数で見ると, 端点で問題になる項は xlog(1+x2)x\log(1+x^{-2}) だけで,これは 00 に収束する。

最後の極限は二つの項を別々に見る

log(1+u)u\log(1+u)\le u を使うと第一項は 1/t1/t で押さえられる。 残りは逆正接の標準極限だけであり,値は π\pi になる。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

(1) 原始関数を求める。x>0x>0ddx{xlog(1+1x2)+2arctanx}=log(1+1x2) \frac{d}{dx}\left\{ x\log\left(1+\frac{1}{x^2}\right)+2\arctan x \right\} = \log\left(1+\frac{1}{x^2}\right) である。したがって f(s,t)=[xlog(1+1x2)+2arctanx]x=sx=t. f(s,t) = \left[ x\log\left(1+\frac{1}{x^2}\right)+2\arctan x \right]_{x=s}^{x=t}. ここで slog(1+1s2)slog(2s2)=slog22slogs0(s+0) s\log\left(1+\frac{1}{s^2}\right) \le s\log\left(\frac{2}{s^2}\right) = s\log2-2s\log s \longrightarrow0 \quad(s\to+0) であり,arctans0\arctan s\to0 である。よって g(t):=lims+0f(s,t)=tlog(1+1t2)+2arctant. g(t):=\lim_{s\to+0}f(s,t) = t\log\left(1+\frac{1}{t^2}\right)+2\arctan t.

(2) 次に t+t\to+\infty とする。 0tlog(1+1t2)t1t2=1t0 0\le t\log\left(1+\frac{1}{t^2}\right) \le t\cdot\frac{1}{t^2} = \frac1t \longrightarrow0 であり,arctantπ/2\arctan t\to \pi/2 であるから limt+g(t)=π. \lim_{t\to+\infty}g(t)=\pi.

最終答

(1)lims+0f(s,t)=tlog(1+1t2)+2arctant \text{(1)}\quad \boxed{ \lim_{s\to+0} f(s,t) = t\log\left(1+\frac{1}{t^2}\right)+2\arctan t } (2)limt+g(t)=π \text{(2)}\quad \boxed{\lim_{t\to+\infty}g(t)=\pi}

3 — コンパクト開位相の基本閉性

証明の核は点列の取り直し

存在量化された点 xnx_n はそのままでは極限を持つとは限らないが, 定義域 XX がコンパクトなので収束部分列を取れる。ここがこの問題の最重要点である。

一様収束を使う箇所

fn(xn)f_n(x_n) のように点 xnx_n が動く場合,単なる各点収束では不十分である。 一様距離で収束しているからこそ,dY(fn(xn),f(xn))d_Y(f_n(x_n),f(x_n))xnx_n に依らず 小さくできる。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

C(X,Y)C(X,Y) には一様距離が入っている。まず (1) E={(f,g)C(X,Y)×C(X,Y)xX, f(x)=g(x)} E=\{(f,g)\in C(X,Y)\times C(X,Y)\mid \exists x\in X,\ f(x)=g(x)\} が閉であることを示す。

(fn,gn)E(f_n,g_n)\in E(f,g)(f,g) に収束したとする。各 nn について xnXx_n\in X を取り,fn(xn)=gn(xn)f_n(x_n)=g_n(x_n) とできる。XX はコンパクトなので, 部分列を取り直して xnxXx_n\to x\in X としてよい。すると dY(f(x),g(x))dY(f(x),fn(xn))+dY(fn(xn),gn(xn))+dY(gn(xn),g(x)). d_Y(f(x),g(x)) \le d_Y(f(x),f_n(x_n)) +d_Y(f_n(x_n),g_n(x_n)) +d_Y(g_n(x_n),g(x)). 中央の項は 00 であり,左右の項は一様収束と f,gf,g の連続性から 00 に 収束する。よって f(x)=g(x)f(x)=g(x) であり,(f,g)E(f,g)\in E である。

(2) 次に S={fC(X,Y)f は全射} S=\{f\in C(X,Y)\mid f\text{ は全射}\} が閉であることを示す。fnSf_n\in Sff に一様収束したとする。 任意の yYy\in Y を固定する。各 nn について全射性より fn(xn)=y f_n(x_n)=y となる xnXx_n\in X が取れる。再び XX のコンパクト性から,部分列を取り直して xnxXx_n\to x\in X とできる。一様収束と連続性により dY(f(x),y)dY(f(x),fn(xn))+dY(fn(xn),y)0. d_Y(f(x),y) \le d_Y(f(x),f_n(x_n)) + d_Y(f_n(x_n),y) \longrightarrow 0. したがって f(x)=yf(x)=y である。yy は任意だったので ff は全射であり, SS は閉である。

最終答

E={(f,g)C(X,Y)×C(X,Y)xX, f(x)=g(x)},S={fC(X,Y)f は全射}. \begin{aligned} E&=\{(f,g)\in C(X,Y)\times C(X,Y)\mid{}\\ &\qquad \exists x\in X,\ f(x)=g(x)\},\\ S&=\{f\in C(X,Y)\mid f\text{ は全射}\}. \end{aligned} (1)E は閉集合である \text{(1)}\quad \boxed{E\text{ は閉集合である}} (2)S は閉集合である \text{(2)}\quad \boxed{S\text{ は閉集合である}}

4 — 線形漸化式と部分和作用素

漸化式空間は有限次元

漸化式が kNk\ge N で成り立つため,最初の NN 項を決めれば以後は全て決まる。 この有限次元性が第二小問の矛盾の受け皿になる。

部分和は次数を一つ上げる

定数列を一度和にすると n+1n+1,もう一度和にすると二次式というように, 反復部分和は多項式の次数を上げる。有限次元の漸化式空間がこれを無限に吸収する ことはできない。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

(1) 漸化式の特性多項式を p(λ)=λNc1λN1cN1λcN p(\lambda)=\lambda^N-c_1\lambda^{N-1}-\cdots-c_{N-1}\lambda-c_N とおく。cN0c_N\neq0 なので p(0)=cN0p(0)=-c_N\neq0 である。一方,複素数体上の 多項式 pp は少なくとも一つ根をもつ。その根を λ\lambda とすると λ0\lambda\neq0 である。

この λ\lambda に対し ak=λka_k=\lambda^k とおけば ak=c1ak1++cNakN(kN) a_k=c_1a_{k-1}+\cdots+c_Na_{k-N}\qquad(k\ge N) p(λ)=0p(\lambda)=0 と同値である。したがって (λk)k=0W(\lambda^k)_{k=0}^{\infty}\in W であり,第一小問が従う。

(2) 第二小問では背理法を用いる。仮に f(W)Wf(W)\subset W とする。 上で取った幾何数列 ak=λka_k=\lambda^kWW に属する。

λ=1\lambda=1 の場合,定数列 1=(1,1,)\mathbf{1}=(1,1,\ldots) がすでに WW に入る。 λ1\lambda\neq1 の場合は f(a)n=i=0nλi=λn+11λ1=λλ1λn1λ1. f(a)_n=\sum_{i=0}^n\lambda^i = \frac{\lambda^{n+1}-1}{\lambda-1} = \frac{\lambda}{\lambda-1}\lambda^n-\frac{1}{\lambda-1}. ここで aWa\in W かつ f(a)Wf(a)\in W なので,定数列 1\mathbf{1}WW に属する。 いずれの場合も 1W\mathbf{1}\in W が分かった。

仮定 f(W)Wf(W)\subset W から 1,f(1),f2(1), \mathbf{1},\quad f(\mathbf{1}),\quad f^2(\mathbf{1}),\quad\ldots はすべて WW に属する。ところが fm(1)n=(n+mm)(m=0,1,2,) f^m(\mathbf{1})_n=\binom{n+m}{m}\qquad(m=0,1,2,\ldots) であり,これは nn に関する次数 mm の多項式列である。次数が異なる多項式列は 一次独立なので,WW は無限個の一次独立な元を含むことになる。

しかし WW の元は最初の NN 項で一意に決まるため,dimWN\dim W\le N である。 これは矛盾である。したがって,どのように N,c1,,cNN,c_1,\ldots,c_N を選んでも f(W)Wf(W)\subset W とはならない。

最終答

(1)(λn)n=0W(p(λ)=0, λ0) \text{(1)}\quad \boxed{(\lambda^n)_{n=0}^{\infty}\in W\quad(p(\lambda)=0,\ \lambda\ne0)} ただし p(λ)=λNc1λN1cN1λcN p(\lambda)=\lambda^N-c_1\lambda^{N-1}-\cdots-c_{N-1}\lambda-c_N である。 (2)f(W)⊄W \text{(2)}\quad \boxed{f(W)\not\subset W}

5 — 対数発散の係数と定数項

和を階乗に落とす

積分後に出る和は,そのまま評価するより klog(k+2)klogk\sum k\log(k+2)-\sum k\log k として添字をずらすのが速い。 するとほとんどの jlogjj\log j が消え,残るのは log(N!)\log(N!) と端の二項だけになる。

係数 aa は対数発散の係数

漸近展開の主項は (1/2)logN(1/2)\log N である。これと異なる aa を選ぶと (1/2a)logN(1/2-a)\log N が残るため,有限極限にはならない。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

kk について xk+2x=12k2(k+2x) \frac{x}{k+2x} = \frac12-\frac{k}{2(k+2x)} であるから 01xk+2xdx=12k4logk+2k. \int_0^1\frac{x}{k+2x}\,dx = \frac12-\frac{k}{4}\log\frac{k+2}{k}. したがって IN=N214k=1Nklogk+2k. I_N = \frac{N}{2} -\frac14 \sum_{k=1}^N k\log\frac{k+2}{k}. ここで和を整理する。 k=1Nklogk+2k=k=1Nklog(k+2)k=1Nklogk. \sum_{k=1}^N k\log\frac{k+2}{k} = \sum_{k=1}^N k\log(k+2)-\sum_{k=1}^N k\log k. 第一項で j=k+2j=k+2 と置くと k=1Nklogk+2k=2log(N!)+(N1)log(N+1)+Nlog(N+2). \begin{aligned} \sum_{k=1}^N k\log\frac{k+2}{k} &= -2\log(N!) +(N-1)\log(N+1)+N\log(N+2). \end{aligned} よって IN=N2+12log(N!)N14log(N+1)N4log(N+2). I_N = \frac{N}{2} +\frac12\log(N!) -\frac{N-1}{4}\log(N+1) -\frac{N}{4}\log(N+2).

Stirling の公式 log(N!)=NlogNN+12log(2πN)+o(1) \log(N!)=N\log N-N+\frac12\log(2\pi N)+o(1) を用いる。また log(N+1)=logN+1N+o ⁣(1N),log(N+2)=logN+2N+o ⁣(1N) \log(N+1)=\log N+\frac1N+o\!\left(\frac1N\right), \qquad \log(N+2)=\log N+\frac2N+o\!\left(\frac1N\right) である。これらを代入して定数項まで集めると IN=12logN+14log(2π)34+o(1). I_N = \frac12\log N+\frac14\log(2\pi)-\frac34+o(1). したがって有限な極限をもたせるためには a=12 a=\frac12 でなければならず,そのときの極限は 14log(2π)34 \frac14\log(2\pi)-\frac34 である。

最終答

a=12,limN(IN12logN)=14log(2π)34. a=\frac12,\qquad \lim_{N\to\infty}\left(I_N-\frac12\log N\right) = \frac14\log(2\pi)-\frac34.

6 — 単位円上の留数計算

極が円の内側に入るかだけを見る

分母の零点は z=1/az=1/a である。したがって a<1|a|<1a>1|a|>1 で 場合分けが反転する。ここを取り違えると符号以前に値が変わる。

留数の符号

1az=a(z1/a)1-az=-a(z-1/a) なので,留数には 1/a-1/a が付く。 単に Cauchy の積分公式を当てはめるときも,この係数を忘れないことが採点上重要である。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

積分される関数は f(z)1az \frac{f(z)}{1-az} である。ff は単位閉円板の近傍で正則なので,特異点の候補は 1az=0,z=1a 1-az=0,\qquad z=\frac1a だけである。a=0a=0 の場合は分母が 11 であり,積分は正則関数の周回積分だから 00 である。

a<1|a|<1 のときは 1/a>1|1/a|>1 なので,単位円の内部に特異点はない。したがって 12πiz=1f(z)1azdz=0. \frac{1}{2\pi i}\int_{|z|=1}\frac{f(z)}{1-az}\,dz=0.

a>1|a|>1 のときは 1/a<1|1/a|<1 であり,単位円の内部に単純極 z=1/az=1/a がある。 その留数は Resz=1/af(z)1az=f(1/a)a=1af ⁣(1a). \operatorname*{Res}_{z=1/a}\frac{f(z)}{1-az} = \frac{f(1/a)}{-a} = -\frac{1}{a}f\!\left(\frac1a\right). よって留数定理から積分値もこの値に等しい。

最終答

12πiz=1f(z)1azdz={0,a<1,1af ⁣(1a),a>1. \frac{1}{2\pi i}\int_{|z|=1}\frac{f(z)}{1-az}\,dz = \begin{cases} 0, & |a|<1,\\[2mm] -\dfrac{1}{a}f\!\left(\dfrac1a\right), & |a|>1. \end{cases}

7 — 法線反射から生じる微分方程式

反射条件を式にする

点から直線への反射公式を使うと,法線の傾きや反射点を図形的に追う必要がない。 法線の方程式を (Xt)+f(t)(Yf(t))=0(X-t)+f'(t)(Y-f(t))=0 と書ければ,あとは代数計算で微分方程式が出る。

z=f(x)/xz=f(x)/x による単純化

得られる式は ffxfxf' が同じ次数で現れるため, f=xzf=xz と置くのが自然である。すると二次方程式の平方完成により xz=z2+1xz'=\sqrt{z^2+1} となり,標準積分 arsinhz\operatorname{arsinh}z に帰着する。

2011年度は公開から時間が経過しているため、解答・最終答まで全文公開しています

(1) t>0t>0 を固定し,y=f(t)y=f(t)m=f(t)m=f'(t) とおく。点 (t,y)(t,y) における 法線は,接線方向 (1,m)(1,m) に垂直な直線なので (Xt)+m(Yy)=0 (X-t)+m(Y-y)=0 と書ける。

直線 αX+βY+γ=0\alpha X+\beta Y+\gamma=0 に関して点 (0,0)(0,0) を反射した点の XX 座標は 2αγα2+β2 -\frac{2\alpha\gamma}{\alpha^2+\beta^2} である。ここでは α=1, β=m, γ=tmy\alpha=1,\ \beta=m,\ \gamma=-t-my だから,反射点の XX 座標は 2(t+my)1+m2 \frac{2(t+my)}{1+m^2} である。条件よりこれが tt に等しいので 2(t+yf(t))1+f(t)2=t. \frac{2(t+yf'(t))}{1+f'(t)^2}=t. 整理すると f(t)22f(t)tf(t)1=0 f'(t)^2-2\frac{f(t)}{t}f'(t)-1=0 を得る。これが y=f(x)y=f(x) の満たす微分方程式である。

(2) 次に z=f(t)t z=\frac{f(t)}{t} とおくと,f(t)=z+tzf'(t)=z+t z' である。上の方程式に代入すると (z+tz)22z(z+tz)1=0, (z+t z')^2-2z(z+t z')-1=0, すなわち (tz)2z21=0. (t z')^2-z^2-1=0. 関数 ff は増加関数であり,条件式から f(t)>0f'(t)>0 であるから f(t)=z+z2+1 f'(t)=z+\sqrt{z^2+1} を選ぶ。したがって tz=z2+1 t z'=\sqrt{z^2+1} である。

(3) この微分方程式は分離形で, dzz2+1=dtt. \frac{dz}{\sqrt{z^2+1}}=\frac{dt}{t}. 積分して arsinhz=logt+C \operatorname{arsinh}z=\log t+C を得る。正定数 c=eCc=e^C を用いれば z=sinh(log(ct))=ct1ct2. z=\sinh(\log(ct)) = \frac{ct-\dfrac1{ct}}{2}. よって f(t)=tz=ct2c12(c>0). f(t)=tz=\frac{c t^2-c^{-1}}{2}\qquad(c>0). 実際,この形の関数は f(t)=ct>0f'(t)=ct>0 で増加し, f(t)22f(t)tf(t)1=c2t2(c2t21)1=0 f'(t)^2-2\frac{f(t)}{t}f'(t)-1 = c^2t^2-\bigl(c^2t^2-1\bigr)-1=0 を満たすので条件を満たす。

最終答

(1)f(x)22f(x)xf(x)1=0. \text{(1)}\quad \boxed{ f'(x)^2-2\frac{f(x)}{x}f'(x)-1=0. } (2)z=f(x)x は xdzdx=z2+1を満たす \text{(2)}\quad \boxed{ z=\frac{f(x)}x \text{ は }\quad x\frac{dz}{dx}=\sqrt{z^2+1} \quad\text{を満たす} } (3)f(x)=cx2c12(c>0) \text{(3)}\quad \boxed{ f(x)=\frac{c x^2-c^{-1}}{2}\qquad(c>0) }

東京大学 専門科目A — 他の年度