新潟大 自然科学研究科 数理物質科学専攻 数理科学コース 数学 2019年度 第2回募集 院試 過去問 解答例・解説（全6問）

方針と構造

$n$ 次元では体積要素に $r^{n-1}$ が付くので、被積分関数は $r^{n-1-\alpha}$ になる。 $\displaystyle\int_0^1r^{p}dr$ が収束する条件は $p>-1$ なので、 収束条件は一律に $\alpha<n$ となる。 表面積の因子（$2$、$2\pi$、$4\pi$）を掛ければ値も一目で書ける。 $$\int_{|x|\le1,\,x\ne0}\frac{dx}{|x|^\alpha} =\frac{\sigma_{n-1}}{n-\alpha}\qquad(0<\alpha<n),$$ ここで $\sigma_{n-1}$ は $n-1$ 次元単位球面の面積である。

物理的な意味

$3$ 次元でクーロンポテンシャル $1/r$（$\alpha=1$）が可積分なのは $1<3$ だからで、 電荷密度が有限なら点電荷のポテンシャルのエネルギー積分は原点で発散しない。 一方、電場の $2$ 乗 $1/r^4$（$\alpha=4$）は $4>3$ なので発散し、 これが古典電磁気学における点電荷の自己エネルギー発散にあたる。

無限遠側との違い

本問は原点（内側）の特異性だが、外側 $\displaystyle\int_{|x|\ge1}\frac{dx}{|x|^\alpha}$ では 条件が逆転して $\alpha>n$ のとき収束する。 内側と外側の条件が $\alpha=n$ を境に反転するので、 $\mathbb R^n$ 全体で積分すると $\alpha$ をどう取っても発散する。

失点しやすい点

(2)(3) でヤコビアン（$r$ および $r^2\sin\varphi$）を落とすと、 すべて (1) と同じ条件 $\alpha<1$ になってしまう。 また境界の $\alpha=n$ のときが対数発散であることも述べておくと丁寧である。 $\alpha>0$ という前提があるので $\alpha\le0$ の場合は考えなくてよい。

方針

(4) は「$A$ が対角化できないから固有値も分からない」と誤解しやすいが、 上三角化（シューア分解でもジョルダン分解でもよい）さえできれば 多項式 $p(A)$ の固有値は $p(\lambda)$ で決まる。 実際、複素行列はつねに上三角化でき、 $p$ を作用させても上三角のまま対角成分が $p(\lambda_i)$ になる。

検算

(2)：$A^{-1}$ の各成分は $\det A=4$ で割った値なので、 $A\cdot A^{-1}=I$ を1行だけでも確かめておく。 第1行 $(-2,-3,0)$ と $A^{-1}$ の第1列 $\left(\frac52,-2,-2\right)$ の内積は $-5+6+0=1$、第2列との内積は $-\frac32+\frac32+0=0$ で正しい。

(3)：特性多項式に $\lambda=1$ を入れると $1-5+8-4=0$ で確かに根である。 また固有値の和 $1+2+2=5=\operatorname{tr}A$、積 $1\cdot2\cdot2=4=\det A$ も合う。

対称・交代分解の一意性

$A=S+T$（$S$ 対称、$T$ 交代）という分解は一意である。 転置を取ると $A^{\mathsf T}=S-T$ となり、和と差から $S,T$ が確定するからである。 $n$ 次正方行列全体の空間が対称行列の空間と交代行列の空間の直和になる、 という事実の具体例になっている。

失点しやすい点

(3) で「重解があるから対角化できない」と結論するのは誤りである。 単位行列は重解を持つが対角化可能（すでに対角）である。 必ず固有空間の次元を調べること。 (4) では $2^{2019}$ を計算しようとせず、そのままの形で答えてよい。

3つの命題の位置づけ

(1) は「収束 $\Rightarrow$ コーシー」で、どの距離空間でも成り立つ。 逆「コーシー $\Rightarrow$ 収束」が成り立つ空間を完備という。 $\mathbb Q$（有理数）は完備でない典型例で、$\sqrt2$ に近づく有理数列は コーシーだが $\mathbb Q$ の中に極限を持たない。 (2)(3) はその完備性を議論するときの基本道具になる。

(2)(3) の使いどころ

$\mathbb R^n$ では「コーシー列 $\Rightarrow$ 有界（(2)）$\Rightarrow$ 収束部分列が存在 （ボルツァーノ・ワイエルシュトラス）$\Rightarrow$ もとの列も収束」という流れで 完備性が示される。最後の段では 「コーシー列が収束部分列を持てばもとの列も同じ極限に収束する」を使う。 (3) はその補題を組み立てる材料である。

$n_k\ge k$ を明示する理由

(3) で「部分列だから当然」と済ませると、 添字が飛ぶことによる $N$ の取り直しが必要かどうかが曖昧になる。 $n_k\ge k$ を示しておけば、$k\ge N$ から直ちに $n_k\ge N$ が言え、 同じ $N$ をそのまま使えることがはっきりする。

失点しやすい点

(1) で $\varepsilon$ をそのまま使うと $d(x_m,x_n)<2\varepsilon$ となり、 定義の形にならない。最初に $\varepsilon/2$ を取ること （$2\varepsilon$ でも任意性から同値だが、その旨を書く必要がある）。 (2) で「$N$ 以降は $x_N$ の近くにいるから有界」だけでは、 最初の有限個を押さえていない。最大値を取る一手間が要る。

(1) が土台になっていること

(1) は「同じ剰余類に属する」ことを $a^{-1}b\in H$ という代数的な条件に翻訳する。 この翻訳があるので、剰余類の集合に群構造を入れる際の well-defined 性の議論が簡単になる。 (2)(3) でも暗黙にこの同値性を使っている。

指数 $2$ が特別な理由

一般に指数の小さい部分群ほど正規になりやすい。 指数 $2$ ならつねに正規、指数 $p$（$|G|$ の最小素因数）でも正規になることが知られている。 一方、指数 $3$ では正規でない例がある。 $G=S_3$、$H=\left\{e,(12)\right\}$ は指数 $3$ だが $(13)H=\{(13),(123)\}$、$H(13)=\{(13),(132)\}$ で一致しない。

位数 $4$ の群の分類

上の証明から、位数 $4$ の群は $\mathbb Z/4\mathbb Z$（巡回群）か $\mathbb Z/2\mathbb Z\times\mathbb Z/2\mathbb Z$（クラインの四元群）のいずれかで、 どちらも可換である。 より一般に「位数 $p^2$（$p$ 素数）の群は可換」が成り立ち、 これは類等式から中心が非自明であることを使って示される。

失点しやすい点

(2) で左剰余類だけを見て「$gH=G\setminus H$ だから正規」とすると、 右剰余類も同じ分割を与えることの確認が抜ける。 両方に触れること。 (3) で「$|G/H|=4$ だから $\mathbb Z/4$ または $\mathbb Z/2\times\mathbb Z/2$」と 分類を引用するなら、その分類自体の根拠（上の場合分け）を添えるとよい。

$\kappa=-\tau$ となること

$\tau/\kappa$ が定数の曲線を定傾曲線（一般らせん）といい、 接線ベクトルがある定方向と一定の角をなすことと同値である。 本問は比が $-1$ でその一例になっている。実際、単位接ベクトルは $$\bm T=\frac{\bm p'}{\left|\bm p'\right|} =\frac{\left(e^{t},\,-e^{-t},\,\sqrt2\right)}{e^{t}+e^{-t}}$$ で、$\bm d=\dfrac{1}{\sqrt2}(1,-1,0)$ との内積は $$\bm T\cdot\bm d=\frac{\frac{1}{\sqrt2}\left(e^{t}+e^{-t}\right)}{e^{t}+e^{-t}}=\frac{1}{\sqrt2}$$ と $t$ によらない。すなわち接線は定方向 $(1,-1,0)$ とつねに $45^\circ$ をなす。 $\left|\tau/\kappa\right|=1$ がこの $45^\circ$ に対応している。

検算：$t=0$ での値

$\kappa(0)=\dfrac{\sqrt2}{4}\simeq0.354$、$\tau(0)=-\dfrac{\sqrt2}{4}$。 $\bm p'(0)=(1,-1,\sqrt2)$ の大きさは $\sqrt{1+1+2}=2$、 $\bm p'(0)\times\bm p''(0)=(-\sqrt2,\sqrt2,2)$ の大きさは $\sqrt{2+2+4}=2\sqrt2$ なので $\kappa=\dfrac{2\sqrt2}{2^3}=\dfrac{\sqrt2}{4}$ で一致する。

曲線の形

$xy=e^t\cdot e^{-t}=1$ なので、この曲線は双曲柱面 $xy=1$ 上にあり、 $z=\sqrt2\,t$ で高さが決まる。 $t\to\pm\infty$ で $\kappa,|\tau|\to0$ となり、遠方ではほぼ直線的になる。 最も曲がるのは $t=0$ の付近である。

失点しやすい点

(3) で $\left|\bm p'\right|^3$ の割り算、 (4) で $\left|\bm p'\times\bm p''\right|^2$（$3$ 乗ではない）を取り違えないこと。 また $\left|\bm p'\right|^2=e^{2t}+e^{-2t}+2$ を $\left(e^t+e^{-t}\right)^2$ と見抜けるかで計算量が大きく変わる。 $e^{2t}+e^{-2t}=\left(e^t+e^{-t}\right)^2-2$ を思い出すこと。

なぜ双対を経由するか

主問題は $\ge$ 型なので、スラック変数を引くと初期基底解が $\bm x=\bm 0$、 スラック $=-\bm b<0$ となって実行可能でない。 2段階法や人為変数が必要になる。 双対に移すと $\le$ 型の最大化になり、原点が実行可能なので スラック変数をそのまま初期基底にできる。 (3) が「双対をシンプレックス法で解け」と指示しているのはこのためである。

相補性条件による検算

最適解では「主の制約が不等号（緩い）なら対応する双対変数は $0$」 「双対変数が正なら対応する主の制約は等号」が成り立つ。 $(5,5)$ では第1制約 $3\cdot5+5=20>16$、第4制約 $5+10=15>14$ が緩く、 実際 $y_1=y_4=0$ である。逆に第2・第3制約は等号で $y_2,y_3>0$。 すべて整合している。

図解での確認

最適解が $L_2$ と $L_3$ の交点であることは、 目的関数の勾配 $(4,5)$ が $L_2$ の法線 $(1,1)$ と $L_3$ の法線 $(2,3)$ の 非負結合になっていることと同値である。 実際 $(4,5)=2(1,1)+1(2,3)$ で、係数 $2$ と $1$ がそのまま $y_2,y_3$ になっている。 双対変数の意味がここに見える。

失点しやすい点

(1) で頂点を列挙するとき、2直線の交点がすべて頂点になるとは限らない。 他の制約を満たすかを必ず確認すること （本問では $L_1\cap L_3$、$L_1\cap L_4$、$L_2\cap L_4$ が脱落する）。 (3) では「計算過程も記述すること」と指定されているので、 各回のピボット列・ピボット行の選び方（最大係数規則と最小比規則）を書くこと。