【SPONSORED LINK】

H26院試/京都大学/数学・数理解析専攻/基礎科目II

平成26年度/京都大学大学院/理学研究科/数学・数理解析専攻の大学院入試問題の「基礎科目II」の解答の方針と解答です.

ただし,採点基準などは公式に発表されていないため,ここでの解答が必ずしも正解とならない場合もあり得るので注意してください.

なお,過去問は京都大学のホームページから入手できます.

【参考:京都大学数学教室の過去問

【SPONSORED LINK】

問題と解答の方針

問題は7問あり,数学系志願者は問1~問5の5問を,数理解析系志願者は問1〜問7から選択して5問を解答します.試験時間は3時間です.

この記事では問5まで掲載しています.

なお,解答作成には万全を期していますが,論理の飛躍,誤りがあることは有り得ます.

問1

実数値関数f(x)[0,\infty)で連続で,\lim\limits_{x\to\infty}f(x)=1とする.このとき

\begin{align*} \lim_{n\to\infty}\dfrac{1}{n!}\dint_0^{\infty}f(x)e^{-x}x^{n}\,dx=1 \end{align*}

であることを証明せよ.

解答の方針

問の極限値1は\lim\limits_{x\to\infty}f(x)=1の1であろうことは想像がつく.この考えのもとで,任意の\epsilon>0に対して,|f(x)-1|<\epsilonをみたすR>0を定め,Rの前後で積分を評価すれば良さそうである.

\dint_{R}^{\infty}f(x)e^{-x}x^{n}\,dx1-\epsilon<f(x)<1+\epsilonであることを用いれば,また\dint_0^{R}f(x)e^{-x}x^{n}\,dxfがコンパクト集合[0,R]で連続であることを用いればよい.

これにより,ともに\lim\limits_{n\to\infty}\dint_{R}^{\infty}e^{-x}x^{n}\,dxの計算に帰着する.

解答例

部分積分を繰り返し行うことにより,

\begin{align*} &\frac{1}{n!}\int_{0}^{\infty} e^{-x}x^{n}\,dx \\=&-\frac{e^{-x}x^{n}}{n!}+\frac{1}{(n-1)!}\int_{0}^{\infty} e^{-x}x^{n-1}\,dx \\=&-\frac{e^{-x}x^{n}}{n!}-\frac{e^{-x}x^{n-1}}{(n-1)!}+\frac{1}{(n-2)!}\int_{0}^{\infty} e^{-x}x^{n-2}\,dx \\=&\dots \\=&-\frac{e^{-x}x^{n}}{n!}-\frac{e^{-x}x^{n-1}}{(n-1)!}-\dots-\frac{e^{-x}x}{1!}+\frac{1}{0!}\int_{0}^{\infty} e^{-x}\,dx \\=&-\frac{e^{-x}x^{n}}{n!}-\frac{e^{-x}x^{n-1}}{(n-1)!}-\dots-\frac{e^{-x}x}{1!}-\frac{e^{-x}}{0!} \\=&-e^{-x}\sum_{k=0}^{n}\frac{x^{k}}{k!} \end{align*}

が分かる.ただし,0^0=1とする.

ここで,任意に\epsilon>0をとる.

\lim_{x\to\infty}f(x)=1より,R>0が存在して,x\ge Rなら\abs{f(x)-1}<\epsilonが成り立つから,

\begin{align*} \frac{1}{n!}\int_{R}^{\infty} f(x)e^{-x}x^{n}\,dx <&(1+\epsilon)\brc{-e^{-x}\sum_{k=0}^{n}\frac{x^{k}}{k!}}_{R}^{\infty} \\=&(1+\epsilon)e^{-R}\sum_{k=0}^{n}\frac{R^{k}}{k!} \\\to&(1+\epsilon)e^{-R}e^{R} =1+\epsilon\quad(n\to\infty), \\\frac{1}{n!}\int_{R}^{\infty} f(x)e^{-x}x^{n}\,dx >&(1-\epsilon)\brc{-e^{-x}\sum_{k=0}^{n}\frac{x^{k}}{k!}}_{R}^{\infty} \\=&(1-\epsilon)e^{-R}\sum_{k=0}^{n}\frac{R^{k}}{k!} \\\to&(1-\epsilon)e^{-R}e^{R} =1-\epsilon\quad(n\to\infty) \end{align*}

なので,\epsilonの任意性より

\begin{align*} \lim_{n\to\infty}\frac{1}{n!}\int_{R}^{\infty} f(x)e^{-x}x^{n}\ dx=1 \end{align*}

が従う.また,fはコンパクト集合[0,R]で連続だから,M:=\max_{x\in[0,R]}\abs{f(x)}が存在するので,

\begin{align*} \abs{\frac{1}{n!}\int_{0}^{R} f(x)e^{-x}x^{n}\,dx} \le&\frac{1}{n!}\int_{0}^{R} |f(x)|e^{-x}x^{n}\,dx \\\le&\frac{M}{n!}\int_{0}^{R}e^{-x}x^{n}\,dx \\=&M\bra{-e^{-R}\sum_{k=0}^{n}\frac{R^k}{n!}+1} \\\to&M\bra{-e^{-R}e^{R}+1} =0\quad(n\to\infty) \end{align*}

だから,

\begin{align*} \lim_{n\to\infty}\frac{1}{n!}\int_{0}^{R} f(x)e^{-x}x^{n}\,dx=0 \end{align*}

が従う.

以上より,

\begin{align*} &\lim_{n\to\infty}\frac{1}{n!}\int_{0}^{\infty}f(x)e^{-x}x^{n}\,dx \\=&\lim_{n\to\infty}\bra{\frac{1}{n!}\int_{0}^{R}f(x)e^{-x}x^{n}\,dx+\frac{1}{n!}\int_{R}^{\infty}f(x)e^{-x}x^{n}\,dx} \\=&1 \end{align*}

が従う.

問2

n, mを正の整数とする.xを変数とするn次以下の\C係数多項式の全体をV_nとし,和,差,スカラー倍によりV_n\C上のベクトル空間とみなす.m個の複素数\alpha_1,\dots,\alpha_mに対し,線形写像F:V_n\to\C^mF(f)=(f(\alpha_1),\dots,f(\alpha_m))で定める.このとき,

(i) Fが単射になるための必要十分条件をn, m, \alpha_1\dots,\alpha_mのみを用いて述べよ.

(i) Fが全射になるための必要十分条件をn, m, \alpha_1,\dots,\alpha_mのみを用いて述べよ.

解答の方針

問が曖昧であるが,\alpha_1,\dots,\alpha_mがすべて異なるとは限らないとする.したがって,集合\{\alpha_1,\dots,\alpha_m\}の元の個数はm以下であるとする.

(i) Fは線形なので,Fが単射であることと\operatorname{Ker}F=\{0\}であることは同値であることに注意する.

r:=\#\{\alpha_1,\dots,\alpha_m\}とし,\alpha_1,\dots,\alpha_mのうち等しいものをまとめたものを\beta_1,\dots,\beta_{r}とする.

もしn\ge rなら,f(x)=(x-\beta_1)\dots(x-\beta_r)\in V_n\setminus\{0\}F(f)=0をみたすから\mathrm{Ker}F\neq\{0\}である.

またn<rなら,代数学の基本定理によりFは単射となる.

(ii) F:V_n\to\C^mについて,\dim{V_n}=n+1, \C^mなので,n+1<mの場合には全射になり得ない.

また,もしm>\#\{\alpha_1,\dots,\alpha_m\}なら,\alpha_i=\alpha_jとなるi, jが存在するから全射でない.

逆に,n+1\ge mなら,任意の(\gamma_1,\dots,\gamma_m)\in\C^mに対してF(f)=(\gamma_1,\dots,\gamma_m)となるf\in V_nが構成できるから,Fは全射となる.

解答例

(i) r:=\#\{\alpha_1,\dots,\alpha_m\}とし,\alpha_1,\dots,\alpha_mの等しいものを全てまとめて\beta_1,\dots,\beta_rとする.

Fは線形だから,Fが単射であることと,\operatorname{Ker}F=\{0\}であることが同値であることに注意する.

もしn\ge rなら

\begin{align*} f(x)=(x-\beta_1)\dots(x-\beta_r)\in V_n\setminus\{0\} \end{align*}

F(f)=(0,\dots,0)をみたすから,\operatorname{Ker}F\neq\{0\}でない.よって,Fが単射ならn<rを満たすことが必要である.

逆にn<rとすると,f(x)\in V_n\setminus\{0\}なら\beta_1,\dots,\beta_rの少なくとも1つを根にもたないので,F(f)\neq(0,\dots,0)である.

よって,\operatorname{Ker}F=\{0\}となり,Fは単射である.

以上より,Fが単射となるための必要十分条件は

\begin{align*} n<\#\{\alpha_1,\dots,\alpha_m\} \end{align*}

である.

(ii) もしm>\#\{\alpha_1,\dots,\alpha_m\}なら,\alpha_i=\alpha_j, i<jなるi,j\in\{1,\dots,m\}が存在するから,任意のf\in V_nに対し,F(f)=(\dots,f(\alpha_i),\dots,f(\alpha_j),\dots)は第i成分と第j成分が等しいから全射になりえない.

よって,Fが全射ならm=\#\{\alpha_1,\dots,\alpha_m\}であることが必要である.

また,

  • \C上の線型空間V_{n}の次元はn+1
  • \C上の線型空間\C^{m}の次元はm

だから,n+1<mのときはFは全射になりえず,Fが全射であるためにはn+1\ge mを満たすことが必要である.

逆に,m=\#\{\alpha_1,\dots,\alpha_m\}かつn+1\ge mが成り立つとする.任意の(\gamma_1,\dots,\gamma_m)\in\C^{m}に対して,

\begin{align*} g(x) =& \frac{\gamma_1(x-\alpha_2)(x-\alpha_3)\dots(x-\alpha_m)}{(\alpha_1-\alpha_2)(\alpha_1-\alpha_3)\dots(\alpha_1-\alpha_m)} \\&+\frac{\gamma_2(x-\alpha_1)(x-\alpha_3)\dots(x-\alpha_m)}{(\alpha_2-\alpha_1)(\alpha_2-\alpha_3)\dots(\alpha_2-\alpha_m)} \\&+\dots +\frac{\gamma_m(x-\alpha_1)(x-\alpha_2)\dots(x-\alpha_{m-1})}{(\alpha_m-\alpha_1)(\alpha_m-\alpha_3)\dots(\alpha_m-\alpha_{m-1})} \end{align*}

m-1次の\C係数多項式で,F(g)=(\gamma_1,\dots,\gamma_m)を満たす.さらに,m-1\le nだからg\in V_nである.

よって,Fは全射である.

以上より,Fが全射となるための必要十分条件は

\begin{align*} \begin{cases} m=\#\{\alpha_1,\dots,\alpha_m\}\\ n\ge m-1 \end{cases} \end{align*}

である.

問3

L_R (R>0)は複素平面において-R+2iを始点,R+2iを終点とする線分を表す.このとき

\begin{align*} \lim_{R\to\infty}\int_{L_R}\frac{\cos{z}}{z^2+1}\,dz \end{align*}

の値を求めよ.

解答の方針

形式的には,z=x+2iに沿って拡張された複素平面\C\cup\{\infty\}を一周するときの積分と考えられるから,\set{z\in\C}{\Im{z}\ge2}で被積分関数は正則であることを考えると,Cauchyの積分定理より問の値は0になると予想できる.

したがって,留数が全て打ち消されるようにうまく経路を選べる可能性を感じる.実際,z=iを内部に含む2種類の経路をうまく選べば,留数計算すらなしに値が求まる.

解答例

L_{R}

\begin{align*} L_R=\set{z\in \C}{z=x+2i,x\in[-R,R]} \end{align*}

と表せ,以下R>2で考える.

\begin{align*} &C_R:=\set{z\in \C}{z=R+(2-y)i,y\in[0,2]}, \\&L:=\set{z\in \C}{z=-x,x\in[-R,R]}, \\&C_{-R}:=\set{z\in \C}{z=-R+yi,y\in[0,2]}, \\&C:=\set{z\in\C}{z=Re^{i(\pi-\theta)},\theta\in[0,\pi]}, \\&\Gamma:=L_R\cup C_R\cup L\cup C_{-R}, \\&\Delta:=C\cup L, \\&f(z):=\frac{e^{iz}}{z^2+1} \end{align*}

とする.

Rendered by QuickLaTeX.com

f\Gamma,\Delta上で連続だから,

\begin{align*} \int_{L_R}f(z)\,dz =&\int_{L_R}\frac{\cos{z}}{z^2+1}\,dz+i\int_{L_R}\frac{\sin{z}}{z^2+1}\,dz, \\\int_{C_{R}}f(z)\,dz =&\int_{0}^{2}\frac{e^{i(R+(2-y)i)}}{(R+(2-y)i)^2+1}\,(-idy) \\=&\int_{2}^{0}\frac{e^{i(R+yi)}}{(R+yi)^2+1}\,idy =-\int_{0}^{2}\frac{e^{i(R+yi)}}{(R+yi)^2+1}\,idy \\=&-\int_{0}^{2}\frac{e^{i(R+yi)}}{(R+yi)^2+1}\,idy =\int_{C_{-R}}f(z)\,dz, \\\abs{\int_{C}f(z)\,dz} =&\abs{\int_{0}^{\pi}\frac{e^{iRe^{i(\pi-\theta)}}}{R^2e^{2i(\pi-\theta)}+1}\,\bra{iRe^{i(\pi-\theta)}dz}} \le\int_{0}^{\pi}\frac{Re^{-R\sin{(\pi-\theta)}}}{\abs{R^2e^{2i(\pi-\theta)}+1}}\,dz \\\le&\int_{0}^{\pi}\frac{R}{R^2-1}\,dz =\frac{\pi R}{R^2-1} \to0\quad(R\to\infty) \end{align*}

である.ただし,\theta\in[0,\pi]より-R\sin{(\pi-\theta)}<0に注意.

f\Gamma,\Delta上およびz=iを除く\Gamma,\Deltaの内部で正則で,z=ifの1位の極である.

\Gamma,\Deltaはその定め方からともに負の向きが定まる(向きが等しい)から,

\begin{align*} \int_{\Gamma}f(z)\,dz=\int_{\Delta}f(z)\,dz \end{align*}

が従う.以上より,

\begin{align*} \lim_{R\to\infty}\int_{L}f(z)\,dz =&\lim_{R\to\infty}\Re\bra{\int_{L_R}f(z)\,dz} \\=&\lim_{R\to\infty}\Re\brb{\bra{\int_{\Gamma}-\int_{C_R}-\int_{L}-\int_{C_{-R}}}f(z)\,dz} \\=&\lim_{R\to\infty}\Re\brb{\bra{\int_{\Gamma}-\bra{\int_{\Delta}-\int_{C}}}f(z)\,dz} \\=&\lim_{R\to\infty}\Re\bra{\int_{\Gamma}f(z)\,dz-\int_{\Delta}f(z)\,dz} =0 \end{align*}

を得る.

問4

G=(\Z/4\Z)\times(\Z/6\Z)\times(\Z/9\Z)の指数3の部分群の個数を求めよ.

解答の方針

3G:=\set{3g\in G}{g\in G}とする.HGの指数3の部分群とすると,Gの元の3倍はHに属する.すなわち,3G\subset Hである.

よって,(G/3G)/(H/3G)\cong G/Hなので,Gの指数3の部分群と,G/3Gの指数3の部分群は全単射に対応する.

さらに,準同型定理からG/3G\cong(\Z/3\Z)\times(\Z/3\Z)だから,(\Z/3\Z)\times(\Z/3\Z)の指数3の部分群の個数を求めれば良い.

解答例

\Z_{n}:=\Z/n\Zとおき,Gの指数3の部分群をHとする.Gは可換なのでH \lhd Gだから,G/Hは剰余群である.

|G/H|=3は素数なのでG/H\cong \Z_{3}だから,g\in Gならば3g+H=3(g+H)=Hなので3g\in Hとなる.

よって,3G:=\set{3g\in G}{g\in G} \subset Hを得る.

(G/3G)/(H/3G)\cong G/Hなので,Gの指数3の部分群と,G/3Gの指数3の部分群は全単射に対応する.

自然な準同型\phi:G\to\{0\}\times\Z_{3}\times\Z_{3}

\begin{align*} &\operatorname{Im}\phi=\{0\}\times\Z_{3}\times\Z_{3}, \\&\operatorname{Ker}\phi=\Z_4\times\{0,3\}\times\{0,3,6\}=3G \end{align*}

をみたすから,準同型定理によりG/3G\cong\Z_{3}\times\Z_{3}である.よって,\Z_{3}\times\Z_{3}の指数3の部分群の個数を求めればよい.

\Z_{3}\times\Z_{3}の指数3の部分群の位数は|\Z_{3}\times\Z_{3}|/3=3である.

また,素因数分解\abs{\Z_{3}\times\Z_{3}}=3^2により,\Z_{3}\times\Z_{3}の任意の真部分群の位数は3だから,\Z_{3}\times\Z_{3}の真部分群の数を求めれば良い.

任意のx\in\Z_{3}\times\Z_{3}\setminus\{(0,0)\}に対して2x\neq(0,0), 3x=(0,0)だから,xにより生成される群\anb{x}は位数3の部分群となる.

|\anb{x}|=3は素数なので\anb{x}は巡回群で,\anb{x}=\{(0,0),x,2x\}なので,\anb{x}=\anb{y}となるy\in\Z_{3}\times\Z_{3}\setminus\{(0,0)\}は2個存在する.

したがって,求める個数は

\begin{align*} \frac{\abs{\Z_{3}\times\Z_{3}\setminus\{(0,0)\}}}{2}=\frac{3^2-1}{2}=4 \end{align*}

である.

問5

f:S^2\to S^1C^{\infty}級写像とする.ただし,S_nn次元球面

\begin{align*} \set{(x_0,\dots,x_n)\in\R^{n+1}}{\dsum_{i=0}^{n}x_i^2=1} \end{align*}

表す.このとき,S^2上の少なくとも2点においてfの微分は零写像になることを示せ.

解答の方針

fS^2S^1になめらかに貼り付ける写像とみることができる.

このとき,S^2S^1の中のどこかで折り返さなければならなず,この折り返しはS^1の中での偏角の最小値,最大値であろうことがイメージでき,実際この偏角が最小値,最大値をとるときに微分が0となる.

このことを厳密に扱うために,写像の持ち上げを用いる.

解答例

被覆空間p:\R\to S^1;x\longmapsto(\cos{2\pi x},\sin{2\pi x})\Rが単連結だから普遍被覆である.また,S^2は単連結だからfの持ち上げ\tilde{f}:S^2\to\Rが存在する.

p:\R\to S^1は被覆空間でC^{\infty}級,fはもとよりC^{\infty}級だから\tilde{f}は可微分写像である.

\tilde{f}は連続でS^2はコンパクトだから,\tilde{f}(S^2)は最大値M,最小値mをもつ.

a\in\tilde{f}^{-1}(M),b\in\tilde{f}^{-1}(m)をとる.

a\in S^2の座標近傍(U,\phi),(u,v)\in Uをとり,(u_0,v_0):=\phi(a)\in \phi(U)\subset\Rとすると,M=\bra{\tilde{f}\circ\phi^{-1}}(u_0,v_0)が最大値だから,\tilde{f}\circ\phi^{-1}:U\to\Rの微分可能性より,

\begin{align*} \pd{\bra{\tilde{f}\circ\phi^{-1}}}{u}(u_0,v_0) =\pd{\bra{\tilde{f}\circ\phi^{-1}}}{v}(u_0,v_0) =0 \end{align*}

である.よって,\tilde{f}a\in S^2でのJacobi行列は

\begin{align*} (J\tilde{f})_{a} =&\brc{\pd{\tilde{f}}{u}(a),\pd{\tilde{f}}{v}(a)} \\=&\brc{\pd{\bra{\tilde{f}\circ\phi^{-1}}}{u}(u_0,v_0),\pd{\bra{\tilde{f}\circ\phi^{-1}}}{v}(u_0,v_0)} \\=&[0,0] \end{align*}

である.b\in S^2でも同様にして,\bra{J\tilde{f}}_b=[0,0]である.

いま,f=p\circ\tilde{f}であるから,fa,b\in S^2でのJacobi行列は

\begin{align*} &(Jf)_{a}=(Jp)_{\tilde{f}(a)}(J\tilde{f})_{a}=0, \\&(Jf)_{b}=(Jp)_{\tilde{f}(b)}(J\tilde{f})_{b}=0 \end{align*}

となって,S^2上の少なくとも2点においてfの微分は零写像になる.

参考文献

以下の3冊は,実際に私が使用したものである.

演習 大学院入試問題

ところどころ誤植があったり,もう少しスッキリ解答できるところがあるのが残念.しかし,問題量は非常に豊富である.

全2巻で,

  • 1巻 第1編 線形代数
    1巻 第2編 微分・積分学
    1巻 第3編 微分方程式
  • 2巻 第4編 ラプラス変換,フーリエ変換,特殊関数,変分法
    2巻 第5編 複素関数論
    2巻 第6編 確率・統計

が扱われている.

問題の種類としては発想問題よりも,ちゃんと地に足つけた考え方で解ける問題が多い.

計算量が多い問題,基本問題も多く扱われているが,試験では基本問題ほど手早く処理することが求められるので,その意味で試験への対応力が養われるであろう.(私自身,計算力があまり高くないので苦労した.)

詳解と演習大学院入試問題〈数学〉

上述の姫野氏の問題集とは対照的に,問題数はそこまで多くないが1問1問の解説が丁寧になされている.また,構成が読みやすい.

第1章 数え上げと整数
第2章 線形代数
第3章 微積分
第4章 微分方程式
第5章 複素解析
第6章 ベクトル解析
第7章 ラプラス変換
第8章 フーリエ変換
第9章 確率

典型的な問題でも複数の解法を紹介しているので,私は参考になることも多かった.

個人的に,この本は非常に好感が持てる良書であった.

関連記事

【SPONSORED LINK】

シェアする

  • このエントリーをはてなブックマークに追加

フォローする

記事一覧は

こちら

Twitterを

フォロー

大学院入試

解答例