23歳になりました。

先日は私の誕生日でした。お祝いのメッセージをくれた先輩や友人、後輩、また両親や祖父母に、この場を借りて改めて感謝申し上げます。

この前友人と話をして思ったことは、20歳まではきちんと自分の歳をカウントダウンするから自分が現在何歳なのか覚えているけれども、20歳を過ぎると飲酒をはじめとする制限が解除されるので、特に歳をわざわざ数えなくなるから現在自分が何歳なのかわからなくなるってことですね。

この前、誕生日を友人や家族に祝ってもらえて、ケーキも用意してくれたんですけど、この歳になるとろうそくの本数なんて気にしなくなりましたね。誕生日を祝ってくれる、それだけで十分嬉しいものです。

〈 友人宅にて 〉

〈 自宅にて 〉

誕生日に神様から「良い」閃きがプレゼントされたりするのかなと期待していましたが、残念ながら閃きませんでした。どうやら努力が足りないようです。今後はもっと頑張ろうと思います。

今週の日曜日はクリスマスですね。なんとこの日、有馬記念があるというではないですか。有馬記念は毎年1,3着は当てるのですが、2着を外しています。今年こそはきちんと2着も当てて、3連単を取り、その払い戻しで自分にクリスマスプレゼントを買おうと思います。

研究の進捗は金曜日に更新します。では。

研究進捗2016/12/15

・今週のゼミはキャンセルになった。その代わり先生や助教などと1時間ほど議論した。ゼミがキャンセルになったのはもしかしたら先生がライブ直前だからかもしれない。

・統計力学については知りたいことが載っている本が無かったのでほとんど勉強しなかった。

・適切な条件を課すことにより線形化出来なかった界面の方程式を線形化することができた。

・方程式が1つ足りない可能性が大きいことが判明した。これは熱流束が通常のフーリエ法則を満たしていると仮定し、エントロピー増大則が成立させるための条件を考察することにより解決するだろう。解決すれば、熱流束がフーリエ法則を満たしていない現時点での結果を「改良」したことになる。

・今後の方程式を解析する上での「心」を先生から教えてもらった。いろいろ教えてもらったが結局は先生が昔書いた論文を読めとのことだった。

＜来週の目標＞

・先生から読まないといけない論文を2つ紹介してもらった。そのうち1つはざっと読んだ事のある論文だったので、来週の水曜日までに精読する。他方の論文も同時並行して読み、第3章の終わりまでを土曜日までに精読する。

・論文の精読が終了次第、モデリングを再考する。

先日松屋で初めてカレー食べたんですけど、牛丼より美味しいですね。それ以来時々松屋でカレー食べてます。松屋のカレーは少しスパイシーで、しかも牛丼より安い。でもなんでカレーに味噌汁がついてくるのかは謎です。松屋はとにかく味噌汁をつけたがりますね。まあ、美味しいので今度松屋行ったら牛丼ではなくカレーを頼んでみてください。では。

仮免許を取得した。

こんばんは。すっかり冬って感じですね。先日手袋をいただいたのですが、手袋ってこんなにも暖かいんですね。

さて、一昨日の日曜日に仮免の学科試験があり、無事にパスすることができた。これで仮免許を取得し、いよいよ路上で教習である。

当初の免許取得目標は年内だったけれども、まあ無理だろう。混み始めていることを考慮すれば、2月上旬に卒業検定が終わるのが現実的な目標なのかな。

1月の中旬までなら空いてるだろうと高をくくってたが、もうすでに混み始めている。特に高校生が増えた。たぶん冬休みっぽいやつなんだろうね。でも、午前中は空いているから、午前中にせっせと通えば早めに取れたりするのかな。

とりあえず、研究と教習所を両立しつつそろそろ部屋を大掃除したいと思います。

p.s

今日の研究において大変素晴らしい進捗を得た。まだ計算メモにしか書いてないのでそれをまとめて今度のゼミで発表する。結局、「物理的な意味付け」はそれほど意味を成さなかったし、熱流束の仮定も変えずに済んだ。これについてはゼミが終わったあと研究進捗を更新する。

研究進捗2016/12/9

・先週発表した内容をすべてLaTeXにまとめた．

・流体の界面を「大きく」見た．これによりまずは境界条件は無視することができ，流体内の方程式と界面の方程式のみを考えた．

・界面の法線ベクトル，平均曲率を計算し，それを線形項と非線形項に分けた．

・界面が時間によって変わってしまうため，「適切な」座標変換を行うことで界面を固定した．

・方程式が非線形なので，それを線形化した．すなわち，方程式のうち，線形項を左辺に，非線形項を右辺に移項した．

・しかし，界面の方程式のうち一つが，線形化できなかった．これはモデリングにおいて熱流束（Heat Flux）の仮定を間違えていることが原因と考えられる．

＜来週の目標＞

・助教のとなりの机の研究員にNavier-Stokes-Korteweg system のモデリングに関する最近の論文を頂いたので，これを参考に先週までに導出した式が「物理的な意味付け」が可能なのか，チェックする．場合によってはモデリングをやり直す．

・統計力学をもう一度勉強する．特に相転移に関する物理法則を勉強する．

最近風邪が流行っているようです．私は2年に1回くらいしか風邪をひきませんが，バカだから風邪をひかないんだと言われないようにもっと頑張りたいと思います．まずは仮免の学科試験ですね．頑張ります．では．

よくわかるN次元の極座標変換。

おはようございます．今日もいい天気ですね．

最近，極座標変換について講義で詳しく説明されたことないなあ，とふと思った．もちろん，3次元の場合までは講義でやるけれども，N次元の場合は記憶が正しければ教わったことはない気がする．そこで今回はN次元の場合の極座標変換について説明することにする．

として，

，

，

，

・・・

，

，

，

とおく．

このときのJacobianは

となるので，

である．

これは のとき成り立つことはよく知られているから， として数学的帰納法により示すことができる．この証明のアイディアとしては，まず直交座標から円柱座標に変換し，その次に円柱座標から極座標に変換すればよい．この説明がわかりやすいサイトとして

wasan.hatenablog.com

が挙げられる．一応杉浦光夫著の『解析入門II』にも記述があるが，初学者にとっては説明が難しく感じられると思う．

ここで，半径 のN-1次元単位球面 の表面積 は，Gamma関数 を用いて

と表せることが知られている．

ゆえに関数 が のみの関数で と表せるとき，

と積分を書き換えることができる．

ルベーグ積分の場合のこの証明として

Real Analysis: Modern Techniques and Their Applications (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

が挙げられる．

さて，昨日修了検定があって無事パスしました．今度の日曜日仮免の学科試験があるので，研究と両立して勉強したいと思います．では．

研究進捗2016/12/2

・先週発表した内容をすべてLaTeXにまとめた．

・熱力学からの観点から残りの境界条件をすべて導出し，ゼミで発表した．

・これにより，Navier-Stokes-Korteweg system の2相流体のモデリングが終了した．

＜来週の目標＞

・表面張力などをしっかり計算する．

・上記の計算を元に，Navier-Stokes-Korteweg system を線形化する．この結果はS田先生のNavier-Stokes-Fourier system の結果と同様になるので，それを確認する．

・昨日のゼミで発表した内容をLaTeXにまとめる．

さて明日はいよいよ仮免前の終了検定です．安全運転を心がけたいと思います．では．

関数解析の本。

「関数解析」といわれるものは非常に範囲が広い分，その応用も多岐にわたる．しかし関数解析の授業が解析系の分野として扱われるため，学部生のとき，解析系に進まないから勉強しなくてもいいや，という人をよく見かける気がする．

大学院に進学してから研究で関数解析を使うことが判明して，いざ関数解析を勉強しようと思っても，関数解析の本はいろいろあり，また本によって載っている事項が微妙に違ったりしていて，独学するには難しい．そこで今回は関数解析の本を紹介することにした．

関数解析の参考書としてまず挙げられるのは吉田耕作先生の "Functional Analysis" である．

Functional Analysis (Classics in Mathematics S.)

この本はいろいろなことが載っているが，古い本ということもあり，半群の理論についてはほとんど書かれていない．また，証明は行間が広すぎてほとんど参考にならない．良くも悪くも辞書のような本.

またゼミで大人気の本としてBrezis 先生の "Functional Analysis, Sobolev Spaces and Partial Differential Equations" が挙げられる．

Functional Analysis, Sobolev Spaces and Partial Differential Equations (Universitext)

ただ，この本もよくわからない上に証明の仕方に癖があり，独学には向かない．一方「読み応えのある」本なので自主ゼミにはピッタリ.

実解析への応用を意識した本としてAdams-Fournier の "Sbolev Spaces" が挙げられる．

Sobolev Spaces, Volume 140, Second Edition (Pure and Applied Mathematics)

この本は前半にはヒルベルト空間やルベーグ空間などの基本がさらっと書いてあり，Sobolev 空間や補間空間，Lorentz 空間，Besov 空間などについてそこそこ詳しく書いてある．いわゆる「解析系」の研究室に進む人は持っておいて損はない．ちなみに私はよく参照している．

和書で有名な関数解析の参考書として黒田先生の「関数解析」が挙げられる．

関数解析 共立数学講座 (15)

いろいろ書いてあり，初めて見たときにはこんなに勉強できないよ，と思ってしまうが，ここに書いてあることは（最低限）すべて勉強すべきことなので，関数解析を独学する場合は，この本をベースにわからないところをほかの本を参照しながら読み進めていくスタイルがよいと思う．ただ，この本はビジュアル的に読みにくい．

和書で有名な関数解析の参考書として藤田・伊藤・黒田の「関数解析」が挙げられる．

関数解析 (岩波基礎数学選書)

この本は見た目は難しそうだが，説明は丁寧である．先程紹介した黒田先生の「関数解析」の本が嫌だなって人はこっちでもいいと思う．この本の弱点を挙げると，索引が少ないのでわからなかったことを調べにくいことである．この本の後ろのほうは内容が少し難しいので，途中で読むのをあきらめてもいいと思う．

私のように授業を全く聞いてなかった人が関数解析を独学するとなった場合，上で紹介した本は少々とっつきにくいかもしれない．そんな人には洲之内先生の「関数解析入門」を紹介したい．

関数解析入門 (サイエンスライブラリ―理工系の数学)

この本は「本当に」最小限知っておくべきことがコンパクトにまとまっている．授業の予習にはぴったりな感じだが，期末試験の勉強などには向かないし，レポート書くときも参考にならない．あくまでもさらっと勉強するしたい人向けの本．ちなみにこの本の付録についてあるルベーグ積分はうまくまとまっているのでルベーグ積分を全く勉強したことない人はこの本の付録でルベーグ積分を勉強するのがいいと思う．

標準的な関数解析の「教科書」として増田先生の「関数解析」が挙げられる。

関数解析 (数学シリーズ)

この本は難しすぎず、かといって簡単すぎないので「丁度いい」。関数解析の授業ではこの内容に沿って行われることが多いと思う。

増田先生の「関数解析」よりもう少し詳しい本として宮寺先生の「関数解析」が挙げられる．

関数解析

この本は他の本では省略されている式変形が詳しく書かれていることが多く，「初心者」向けの本である．ただ，用いている記号がやや古い感じがするので，そこさえクリアできれば持っていて損のない本。しかし絶版であるから図書館で借りよう。

最近出版された本として山田先生の本が挙げられる。

工学のための関数解析 (工学のための数学)

この本は工学向けを謳ってるが、知っておくべきことが満遍なく載っていて、証明もきちんと書いてあるところが多い。カラー印刷だし、結構見やすい。今回紹介した本の中でも一番オススメしたい。誤植が多いという文句がTwitterでチラホラみかけるが、誤植なんてどの本にもあるし、この本に限らず、誤植を訂正する気持ちで読み進めるのがいいと思います。

今週の研究の進捗は明日書きたいと思います。では。