0

東大数理院試過去問解答例(2018B07)

172
0

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

2018B07

R2上のベクトル場X
X=(xyx(x2+3y2))x+(x+yy(3x2+y2))y
で定める。
(1) 任意の点(x0,y0)R2について、t=0(x0,y0)を通るXの積分曲線γ:(,)R2が定義され、γ((0,))は有界であることを示せ。
(2) コンパクト台を持つ任意のC関数f:R2Rについて、ベクトル場
X+fy
はゼロ点を持つことを示せ。

  1. まずf=x+y及びg=xyなる変数変換によって、Xの積分曲線γ=(f(t),g(t))は微分方程式
    f=f+gf3
    g=f+gg3
    の積分曲線である。ここで
    ddt(f2+g2)=2f(f+gf3)+2g(f+gg3)=2(f2+g2)2(f4+g4)
    である。よって有界領域D:={(x,y)|x4+y4<x2+y2}について、関数f2+g2(f(t),g(t))Dなるtでは正の傾きを持ち、境界D上では傾きが0になり、それ以外の点では負の傾きを持つ。ここでC:=max(x,y)DD(x2+y2)とおく。もし(f(0),g(0))DDであったとすると、DDU={(x,y)|x2+y2C}であることから、f2+g2Uの外では必ず傾きが<0になる。ここでf2+g2>Cなる点が存在するとすると平均値の定理から傾きが>0になる点が存在し矛盾。よって常にf2+g2Cであるから、特に有界である。次に(f(0),g(0))DDの場合を考える。これはあるt0に於いてf(f(t0),g(t0))DDを満たすか、任意のt>0について(f(t),g(t))DDを満たすかのいずれかである。前者の場合f2+g2max{C,maxt[0,t0](f2+g2)}であるから有界であり、後者の場合f2+g2は傾きが常に負の正値関数なので、f2+g2は有界である。以上からγ((0,))は有界集合である。
  2. ここでも座標(f,g)の下議論を行うが、以下では(f,g)の代わりに座標の記号(x,y)を用い、fはコンパクト台を持つC関数R2Rとする。このとき問題のベクトル場は
    X+f(xy)
    で表され、問題を示すためには連立方程式
    {x+yy3=f(x,y)x+yx3=f(x,y)
    つまり
    {x+yy3=f(x,y)2y(x3+y3)=0
    を満たす解が存在することを示せば良い。ここでfがコンパクト台を持つことから曲線S:2y(x3+y3)=0上の点(x1,y1),(x2,y2)
    x1+y1y13<0
    x2+y2y23>0
    f(x1,y1)=f(x2,y2)=0
    を満たすように取れ、中間値の定理からx3+y3y33=f(x3,y3)なるS上の点(x3,y3)を取ることができる。この点は問題のベクトル場のゼロ点になっている。
投稿日:20231124
更新日:2023127
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント 

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中