東大数理院試過去問解答例(2019B06)

ここでは東大数理の修士課程の院試の2013B07の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2019B06

写像$f:\mathbb{R}^2\to\mathbb{R}^3$を
$$ f(u,v)=(v\cos u,v\sin u,e^u) $$
で定義する。ここで$f$の像を$S$とおく。曲面$S$上の滑らかな曲線$\gamma(t)$が漸近曲線であるとは、任意の$t$に対してベクトル$\gamma''(t)$が$S$に接していることを指す。
(1) 関数$u(t),v(t)$を用いて
$$ f(u(t),v(t)) $$
と表される$S$上の滑らかな曲線が漸近曲線であるための必要充分条件を$u,v$に関する微分方程式で表しなさい。
(2) 任意の$p\in S$について、$p$を通る$2$つの漸近曲線で、$p$に於ける速度ベクトルが互いに一次独立であるようなものが存在することを示せ。また$p=(1,0,1)$についてこのような曲線を求めなさい。

計算によって
$$ \frac{d^2(v(t)\cos u(t))}{dt^2}=v''(t)\cos u(t)-2v'(t)u'(t)\sin u(t)-v(t)(u''(t)\sin u(t)+u'(t)^2\cos u(t)) $$
$$ \frac{d^2(v(t)\sin u(t))}{dt^2}=v''(t)\sin u(t)+2v'(t)u'(t)\cos u(t)+v(t)(u''(t)\cos u(t)-u'(t)^2\sin u(t)) $$
$$ \frac{d^2(e^{u(t)})}{dt^2}=e^{u(t)}u'(t)^2+e^{u(t)}u''(t) $$
である。一方曲面$S$は方程式
$$ x\sin\log z-y\cos\log z=0 $$
で表されるから、その$(x,y,z)=(u,v,w)$に於ける法線ベクトルは
$$ (\sin\log e^{u(t)},-\cos\log e^{u(t)},\frac{v(t)\cos u(t)}{e^{u(t)}}\cos\log e^{u(t)}+\frac{v(t)\sin u(t)}{e^{u(t)}}\sin\log e^{u(t)})=(\sin u(t),-\cos u(t),\frac{v(t)}{e^{u(t)}}) $$
であり、$\gamma''(t)$が漸近曲線であることは上記の法線ベクトルと$\gamma''(t)$の内積が$0$になることと同値である。よって満たすべき方程式は
$$ {\color{red}u'(t)(u'(t)v(t)-2v'(t))=0} $$
である。
まず与えられた$p=(v\cos u,v\sin u,e^u)$に対して曲線$(t\cos u,t\sin u,e^u)$及び$(ve^{\frac{t-u}{2}}\cos t,ve^{\frac{t-u}{2}}\sin t,e^t)$を考えたとき、これは(1)で求めた微分方程式を満たし、それぞれの速度ベクトルは
$$ (\cos u,\sin u,0) $$
$$ (\ast,\ast,e^t) $$
の型をしているから一次独立である。よって前半が示せた。そして$p=(1,0,1)$のとき上記の曲線の方程式に$(u,v)=(0,1)$を代入して
$$ {\color{red}(e^{\frac{t}{2}}\cos t,e^{\frac{t}{2}}\sin t,e^t)} $$
$$ {\color{red}(t,0,1)} $$
が得られる。

投稿日：2023年10月20日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

佐々木藍

8851

佐々木藍(Ai Sasaki)です。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。X(旧Twitter)→＠sasaki_aiiro

他の人のコメント

コメントはありません。

読み込み中

佐々木藍

東大数理院試過去問解答例(2019B06)