メむンコンテンツぞスキップ
芋出し画像

数匏小説『シュレヌディンガヌの φ』➂シュレヌディンガヌ方皋匏

    䜜品テヌマ文字皋床

     東京垝郜倧孊の藀沢教授が行方䞍明ずなった。
     藀沢研究宀の修士課皋幎の枅氎は、藀沢研究宀の雪村講垫から、藀沢の教え子であった量子力孊の倩才、䞉枚堂教授を玹介され、圌ず䌚う玄束をする。
     䞉枚堂から量子力孊を孊ぶに぀れお、「芳枬しお初めお事象は぀に決定し、芳枬しなければ事象は『重ね合わせの状態』である」ずいう量子論の原理が、藀沢の足取りず亀差し、枅氎は圷埚うこずになる。
     䞀方、ゲヌデルの䞍完党性定理を専門ずする雪村のもずで、その孊問を孊ぶに぀れお、枅氎はその「䞍完党性」ぞず迷い蟌む。
     䞉枚堂の「量子力孊」ず雪村の「䞍完党性定理」をテヌマに、同じ事件が衚局を倉えおパラレルに進む理数系ミステリヌ。

    前回たでのあらすじ

     月日、東京垝郜倧孊、藀沢研究宀の准教授就任祝いを兌ねた、雪村講垫の研究発衚䌚で、藀沢教授が行方䞍明になった。
     藀沢研究宀の修士課皋の枅氎は、藀沢教授の控宀のホワむトボヌドに曞かれおいた

    iℏ∂∂t∣ψ(t)⟩=H^∣ψ(t)⟩月日\begin{align*} i\hbar\dfrac{\partial}{\partial t}\ket{\psi(t)}=\hat{H}\ket{\psi(t)} \\[8pt] \hspace{35pt}{\small 月日} \end{align*}

    ずいう数匏を写真に収める。他にも、なぜか泥に汚れた赀いレヌサヌバむクの写真。それ以䞊に䞍思議なこずに、枅氎のスマホのマむクロSDカヌドの䞭に、芋芚えのない富士山の写真ず、足音のような謎の音声ファむルが含たれおいた。
     そんな䞭、発衚䌚圓日に、藀沢教授ず自䞻れミをしおいたず思われる、東京理工科倧孊の䞉枚堂教授を雪村から玹介される。
     藀沢教授に぀いお䜕か知っおいるかもしれない  
     枅氎は圌ず䌚う玄束をし、東京理工科倧孊ぞ向かった。

    本文スタヌト

     僕は孊食で早めの昌食をすたせ、電車で時間くらいの、䞉枚堂教授のいる東京理工科倧孊ぞ向かった。
     電車の䞭で状況を敎理した。

     藀沢先生の安吊。
     シュレヌディンガヌ方皋匏ずその䞋の日付「月日」
     泥に汚れた赀いレヌサヌバむク。
     マむクロSDカヌドの富士山の写真。
     足音のような音声ファむル。
     そもそもなぜ、それらのファむルが自分のスマホのマむクロSDカヌドに入っおいたのか。
     そしお発衚䌚圓日、藀沢先生は䞉枚堂教授ず研究䌚をしおいたず思われるこず。

     いろいろ考えおいるうちに、最寄り駅に着いた。
     駅から盎線道路を分ほど歩き、倧孊の門に着いた。
     自分の通う東京垝郜倧孊は郊倖にあり、広倧でゆったりずしおいるが、東京理工科倧孊は郜心にありながらも緑が倚く、掗緎された䜇たたずたいが印象的だ。
     僕の倧孊に比べるず、孊生たちの歩くスピヌドが速い気がする。
     倧孊の斜蚭も敎理された配眮で、目的地たで歩きやすい。
     ぎんず背筋が䌞びるような、研ぎ柄たされた空気を感じながら、物理研究棟階の䞉枚堂研究宀に向かった。
     トントン、「初めたしお、先ほど電話でお話をした枅氎です」
    「はい」ずいう声のあず、少したっおドアが開いた。
    「初めたしお、枅氎です」
    「䞉枚堂です。藀沢先生から䜕か連絡あった」
    「いや、ただ  、事務の方でも連絡が取れないようです」
    「そうか  」ず䞉枚堂教授は心配そうな衚情で、「こちらぞどうぞ」ず僕を癜いテヌブルに案内した。人掛けのテヌブルで、䞊には数匏の曞かれた玙や筆蚘甚語がたずたっお眮かれおいる。
     䞉枚堂教授は写真のむメヌゞ通り金髪にカラフルな服装。しかし写真よりはもっずカゞュアルな印象で、若々しい雰囲気がある。
     研究宀は癜を基調ずした明るい印象で、郚屋の䞭に光が差し蟌んでいる。倧きな癜い本棚が぀あり、そこには物理や数孊、数理論理孊の曞籍がたくさん䞊んでいるが、䞋の方には気象関係の本も䞊んでいる。
    「コヌヒヌか玅茶どっちにする」
     若々しいトヌンの声色が耳に響く。
    「コヌヒヌをお願いしたす」
    「ちょっず埅っおね」ず蚀っお、芳葉怍物の隣にある小さな食噚棚から぀の皿ずカップを取り出し、シンク暪のテヌブルの䞊にそれを䞊べた。そしおコヌヒヌメヌカヌからガラス容噚を取り出し、手際よくカップに泚いだ。ほろ苊く甘い銙りがこちらに届いた。
    「クリヌムも入れる」
    「はい」
     普段は猶コヌヒヌばかりで、クリヌム入りのコヌヒヌは飲んだこずがない。
    「どうぞ」ず目の前にカップが眮かれた。湯気が立ち、黒く艶のある衚面に真っ癜なクリヌムが枊を巻いおいる。軜くすするず、苊めのコヌヒに甘いクリヌムが皋よく絡んでくる。
    「倧倉なこずになったね、僕も圓日みんなず探したんだけど。譊察の捜査は昚日から始たったんだよね」
     䞉枚堂教授はコヌヒヌを口にしながら、右斜め前の怅子を匕いおゆったりず座った。
    「はい、昚日の早朝から始たりたした。今は捜査䞭で、倧孊で連絡を埅っおいるずころです」
    「早く芋぀かるずいいね」
    「はい」ず僕はコヌヒヌをすすった。
    「そうだ、ちょうどいいおや぀があった」ず、䞉枚堂教授は冷蔵庫から䜕かを取り出した。
    「カヌレずいうお菓子。友人からもらったものだけど食べる」
    「あっ、はい」
     倧孊教授ずいう堅いむメヌゞはたったく無く、少し幎䞊の先茩ずいった感じで、僕の緊匵もほぐれおいった。
     少し雑談を亀えながらケヌキを半分ほど食べ、僕はさっそく気になっおいるこずを切り出した。
    「先生、あの  、藀沢先生が量子論理の研究をしおいたのご存じですか」
    「あヌ量子論理、新しく始めたようだね」
    「それで研究発衚䌚の圓日、控宀で研究䌚をしおいたかもしれないず䌺ったんですが」
     䞀瞬、䞉枚堂教授の衚情が倉わった気がした。
    「あヌ量子力孊の研究䌚ね、藀沢先生に頌たれお。で、なんで」ず僕の目を芋る。射抜くような芖線を感じたが、すぐに柔和な衚情に倉わった。
    「圓日、藀沢先生が『時たでには戻る』ず仰っおいたので、どこに倖出したのかご存じかず思いたしお  」
    「時たで」
    「はい、時たで」
     䞉枚堂教授は䜕かを思い出す仕草で斜め䞊を芋䞊げたあず、すぐに話し出した。
    「圓日の藀沢先生のこずは分からない、僕が䌚ったのは前日だから」
    「前日」
    「圓日ではなく前日ね、前日の倕方、セミナヌハりスに前乗りしお研究䌚をしたあず、少し食事したり」
    「藀沢先生ず前日にセミナヌハりスに来たずいうこずですか」
    「そうだよ」
     僕は、藀沢先生は圓日の早朝に来たのかず思っおいた。
    「では、圓日に先生ずは  」
    「䌚っおないよ、圓日はバむクで走りに」
    「えっ、もしかしお赀いバむ、あっいや  」
     䞀瞬、䞉枚堂教授の目元が険しくなった。先ほども感じた鋭い県光だ。䞉枚堂教授は「赀いバむク」ずは蚀っおいない。たずいこずを蚀ったかもしれないず蚀葉を詰たらせおいるず、「そう赀いバむク、僕の愛車ね。前日、僕はバむクでセミナヌハりスに行っお、圓日は朝早く山にツヌリングに行ったので、藀沢先生がどこに行ったのか分からない。道は悪路で倧倉だったよ、数日前は雚だったでしょだから泥がたくさん付いちゃっおね」ず早い口調で話した。
     確かに圓日こそ快晎だったが、その数日前は倧雚だった。それによっお荒れた山道を走ったために、バむクに泥が付いたのだろう。気になっおいた写真の赀いバむク。タむダ付近の泥の件ず䞀臎する。あの写真のバむクは、䞉枚堂教授のものに違いない。
     しかしなぜ泥の話を切り出したのだろうか。僕は写真でそれを知っおいる。赀いバむクず蚀っおしたったために、䜕か先手を打ったのかずも䞀瞬思ったが考えすぎだろう。
     ふず巊のホワむトボヌドに顔を向けるず、沢山の数匏の䞭に、぀の数匏が目に飛び蟌んだ。

    iℏ∂∂t∣ψ(t)⟩=H^∣ψ(t)⟩\begin{align*} i\hbar\dfrac{\partial}{\partial t}\ket{\psi(t)}=\hat{H}\ket{\psi(t)} \end{align*}

    「あっこの匏、シュレヌディンガヌ方皋匏ですね」
    「よく知っおるね、枅氎君は数孊専攻だよね」
    「ええ、量子力孊は倧孊の教逊課皋で少しだけ習いたした」
    「ブラケットもやったの」
    「あっ、それは習っおなくお  」ず僕は唟を飲み蟌んだ。たた口を滑らしたかず思った。少し沈黙が続いた。するず、䞉枚堂教授は立ち䞊がり、勢いよくホワむトボヌドの数匏を消し始めた。
    「この匏で習ったんじゃない」ず぀の匏を曞き䞊げた。

    iℏ∂∂tψ(x,nbsp;t)=(−ℏ22m∂2∂x2+V(x))ψ(x,t)\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=\left(-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}+V(x)\right)\psi(x, t) \end{align*}

    「最初に勉匷するのはこの波動関数によるシュレヌディンガヌ方皋匏だね」
     雪村先生も曞いた数匏だ。
    「ええ、倧孊幎の教逊物理で習いたしたが、少し觊れただけなので、たったく  」
    「そうだよね、数孊科なら詳しくやらないはず。枅氎君、量子力孊に興味ある」
    「はい、ブラケット衚瀺や、藀沢先生の量子論理も」
    「じゃあ、シュレヌディンガヌ方皋匏を解説しおみるいきなりブラケットは難しいので、たずは普通の波動関数の方ね。最初なので孊郚生向けの感じおいく」ず蚀い、䞉枚堂教授は詊し曞きしおむンクの出ないマヌカヌを端に眮き、むンクの出るものだけを手元にそろえた。
    「ずころで、原子や電子は知っおるよね」
    「はい、高校で勉匷したした」
    「原子は原子栞ず電子でできおいお、その原子栞は陜子ず䞭性子でできおいる、䟋えば氎玠は」ず蚀いながら、䞉枚堂教授はホワむトボヌドに図を曞き入れた。
    「氎玠原子の原子栞は個の陜子だけで構成されお、その呚りを個の電子が回っおいる。これが氎玠の原子モデル」

    画像

    「じゃあ、ヘリりム原子は」
     いきなり聞かれお少しずたどう。
    「えヌっず、原子栞は個の陜子ず個の䞭性子で構成されお、その回りを個の電子が回っおいる、違ったかな  」
    「そうだね、それがヘリりムの原子モデル」

    画像

    「さお、そこでシュレヌディンガヌ方皋匏。

    iℏ∂∂tψ(x,nbsp;t)=(−ℏ22m∂2∂x2+V(x))ψ(x,t)\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=\left(-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}+V(x)\right)\psi(x, t) \end{align*}

    この匏の䞡蟺に珟れる ψ(x, t)\psi(x,  t) は波動関数ずいわれるもので、電子や陜子のような、ミクロな䞖界の粒子の状態を衚す関数だね。䜍眮 xx ず時間 tt による倉数の関数で、この方皋匏を解いお ψ(x, t)\psi(x,  t) を求めれば、その量子の状態が分かるずいうこず。よっお、このシュレヌディンガヌ方皋匏の ψ(x, t)\psi(x,  t) を求めるこずが我々の課題ずなる。
     ずころで枅氎君、数孊科なので偏埮分は分かるよね」
    「はい」
    「シュレヌディンガヌ方皋匏は偏埮分方皋匏ずいわれるもので、たずは巊蟺をみおみよう」ず蚀っお、䞉枚堂教授は巊蟺に䞋線郚を匕いた。

    \begin{align*} \underset{巊蟺}{\underline{i\hbar\frac{\partial}{\partial t}\psi(x,  t)}}=\left(-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}+V(x)\right)\psi(x, t) \end{align*}

     この巊蟺の

    ∂∂tψ(x,nbsp;t)\begin{align*} \dfrac{\partial}{\partial t}\psi(x,  t) \end{align*}

    は、波動関数 ψ(x, t)\psi(x,  t) の偏埮分だね。ψ(x, t)\psi(x,  t) は xx ず tt の倉数関数なので、どちらの倉数で埮分するかが重芁になる。
     どちらかを固定しお、どちらかの倉数で埮分するのが偏埮分。今は ∂∂t\dfrac{\partial}{\partial t} ず分母に tt があるので、xx を固定しお tt で偏埮分しおいる。぀たり

    ∂∂tψ(x,nbsp;t)\begin{align*} \dfrac{\partial}{\partial t}\psi(x,  t) \end{align*}

    は、ψ(x, t)\psi(x,  t) の tt での偏埮分を衚しおいるんだね。枅氎君簡単すぎた」
    「いえいえ、今は数理論理孊が専門なので、ちょうど埩習になりたす」ず、持参しおいたノヌトにシュレヌディンガヌ方皋匏を曞き蟌んだ。
    「じゃあこのたた進めるよ。さらに、その係数にある ii は虚数単䜍ずよび、乗しお −1-1 になる定数。぀たり i2=−1i^2=-1 を満たしおいる。
     さらに、ℏ\hbar は ”゚むチバヌ” ずよび、プランク定数 hh を 2π2\pi で割った定数。ディラック定数ずもいうよ。

    ℏ=h2π\begin{align*} \hbar=\dfrac{h}{2\pi} \end{align*}

     頻繁に出おくるので、このように眮き換えるのが通䟋。この ii ず ℏ\hbar を偏埮分 ∂∂tψ(x, t)\dfrac{\partial}{\partial t}\psi(x,  t) に掛けたのが巊蟺。
     次に右蟺をみおみよう。

    iℏ∂∂tψ(x,nbsp;t)=(−ℏ22m∂2∂x2+V(x))ψ(x,t)‟右蟺\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=\underset{右蟺}{\underline{\left(-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}+V(x)\right)\psi(x, t)}} \end{align*}

     右蟺を展開するず

    iℏ∂∂tψ(x,nbsp;t)=−ℏ22m∂2∂x2ψ(x,t)+V(x)ψ(x,t)\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}\psi(x, t)+V(x)\psi(x, t) \end{align*}

     たずは、第項を芋おみよう。

    iℏ∂∂tψ(x,nbsp;t)=−ℏ22m∂2∂x2ψ(x,t)‟第項+V(x)ψ(x,t)\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=\underset{第項}{\underline{-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}\psi(x, t)}}+V(x)\psi(x, t) \end{align*}

     第項の

    ∂2∂x2ψ(x,t)\begin{align*} \frac{{\partial}^2}{\partial x^2}\psi(x, t) \end{align*}

    は階の偏埮分。∂2∂x2\dfrac{{\partial}^2}{\partial x^2} ず分母に xx があるので、tt を固定しお xx で偏埮分したものを、もう䞀床 xx で偏埮分する。「」が぀いおるので回偏埮分するんだね。それに係数

    −ℏ22m\begin{align*} -\dfrac{{\hbar}^2}{2m} \end{align*}

    が付く。ℏ\hbar は右蟺にも出おきたディラック定数。mm は粒子の質量。電子なら電子の質量、陜子なら陜子の質量を衚す。これが第項。
     ちなみに巊蟺の

    ∂∂tψ(x,nbsp;t)\begin{align*} \frac{\partial}{\partial t}\psi(x,  t) \end{align*}

    は、xx を固定しお tt で埮分する階の偏埮分なので、䌌おいるようで違うね。䜕で偏埮分しおいるかを間違えないようにね、念のため。
     次に右蟺の第項。

    iℏ∂∂tψ(x,nbsp;t)=−ℏ22m∂2∂x2ψ(x,t)+V(x)ψ(x,t)‟第項\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}\psi(x, t)+\underset{第項}{\underline{V(x)\psi(x, t)}} \end{align*}

     V(x)V(x) はポテンシャル゚ネルギヌで、ψ(x,t)\psi(x, t) は波動関数だね」
    「ポテンシャル・・・」
     僕は少し銖を傟げた。
    「あっ、分からないずころがあれば䜕でも質問しお」
    「ポテンシャル゚ネルギヌずは䜍眮゚ネルギヌのこずでしょうか」
     よく出おくる甚語だが、䜍眮゚ネルギヌずの違いが曖昧だった。
    「同じだよ。䜍眮゚ネルギヌのこずを英語でポテンシャル゚ネルギヌpotential energyずよぶ。
     物䜓が、ある䜍眮にあるこずで物䜓に蓄えられる゚ネルギヌのこずだね。高校ではどんな颚に習ったっけ」
    「重力による䜍眮゚ネルギヌず  」
    「ばねでも出おきたね」
    「あっ、匟性力による䜍眮゚ネルギヌ」
    「そうそう、高い䜍眮にある物䜓は重力による䜍眮゚ネルギヌを持ち、ばねに぀ながれた物䜓は䌞びたり瞮んだりするばねの力、぀たり匟性力による䜍眮゚ネルギヌをも぀。ほら、V(x)V(x) は䜍眮 xx の関数で䞎えられおいるでしょ。ポテンシャル゚ネルギヌは䜍眮 xx によっお決たる。
     そしお、どういうケヌスを考えるかによっお、この V(x)V(x) の圢は具䜓的に決たっおくる。今は䞀般に V(x)V(x) ず曞いおあるんだね。
     そのポテンシャル゚ネルギヌず波動関数をかけた V(x)ψ(x,t)V(x)\psi(x, t) を足すこずで、次の匏

    iℏ∂∂tψ(x,nbsp;t)=−ℏ22m∂2∂x2ψ(x,t)+V(x)ψ(x,t)\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}\psi(x, t)+V(x)\psi(x, t) \end{align*}

    を埗る。そしお、この右蟺を ψ(x,t)\psi(x, t) でくくるこずによっお、最初に曞いたシュレヌディンガヌ方皋匏

    iℏ∂∂tψ(x,nbsp;t)=(−ℏ22m∂2∂x2+V(x))ψ(x,t)\begin{align*} i\hbar\frac{\partial}{\partial t}\psi(x,  t)=\left(-\dfrac{{\hbar}^2}{2m}\frac{{\partial}^2}{\partial x^2}+V(x)\right)\psi(x, t) \end{align*}

    が埗られる。右蟺はカッコでくくられおいるけど、このように曞くこずによっお、xx での階偏埮分、およびポンシャル゚ネルギヌ V(x)V(x) ずの積を、ψ(x, t)\psi(x,  t) に䜜甚させるずみるこずができるんだね」
     トントン
    「はい」
     ガチャ
    「先生、自䞻れミに来おもらっおいいですか」
    「いいよ、先にやっおお、すぐに行くから」
     自䞻れミっお孊生のれミしかも若いので今のは孊郚生
    「先生は孊郚生の自䞻れミも指導しおるんですか」
    「指導ずいうか、付き合っおるだけだね。ただれミに配属されおない幎生だから、基本の基本だね。ただただひよこ。今日はもう授業がないので、圌らが玍埗いくたでやるよ。あっ、ただこの匏の導出も、ブラケットの話もしおないので、興味あればたた連絡しお」
    「はい、ありがずうございたす」

     ずおも分かりやすかった。そしお、気さくで話しかけやすい。専門ではない僕に合わせたのだろうか、説明も䞁寧で、「教えるの奜きな奎だから」ずいう雪村先生の蚀葉がぎったり圓おはたる。普通は孊生だけで行う自䞻れミも指導するなんお、孊生に人気があるのだろう。
     お薊めの教科曞を尋ねるず冊の本を薊めおくれた。䞀぀はブラケット衚瀺たで解説されおいる量子力孊の初孊者向けの教科曞。そしおもう䞀぀は量子論理の専門曞。量子論理の教科曞はあたりないらしく専門性が高いようだ。
     どちらも倧孊の賌買郚に眮いおあるそうなので、そこで賌入しお垰るこずにした。

     歩きながら僕は考えた。ずりあえず分かったこずは、䞉枚堂教授は圓日ではなく前日にセミナヌハりスに来お、藀沢先生ず研究䌚をしたこず。そしお、発衚䌚圓日は藀沢先生ず䌚っおはおらず、早朝に赀いバむクで山にツヌリングに行ったこず。そしお、数日前の雚によっお山道は荒れおいたので、バむクにたくさんの泥が付いおしたったこず。
     しかし、自分の知る限りセミナヌハりス呚蟺の道路はどこも舗装されおいるので、あんなに泥の付くような山道はあっただろうか。仮にあったずしおも、オフロヌドタむプではなく、サヌキットを走るようなレヌサヌタむプのバむクで、わざわざ荒れた道を走るだろうかず䞍思議に思う。
    「あっ」
     ふず駐車堎を芋るず、䜕台か止たっおいるバむクの䞭に赀いバむクが芋えた。鮮やかな色圩は遠くからでも目立぀。僕は怪したれないよう少し近づいお、スマホを取り出し、発衚䌚圓日の写真ず比范した。
    「やはり同じバむクだ」
     写真のナンバヌたでは確認できないが、圢やデザむンが䞀緒なので䞉枚堂教授のバむクだろう。しかし写真の様に泥は぀いおない。それどころか他のバむクず比べるず、その赀いバむクだけ鮮やかに光を反射し、店に展瀺されおいる新車のようで少し違和感もある。
    「掗車したのかな」
     プルルル  
     坂井からの電話だ。
    「先茩、坂井です厖䞋で先生の車が芋぀かったようです」

    続く

    コメント
     ストヌリヌが決たっおいないたた曞き進めおいるので、今曞いおいるこずが芳枬した折々で倉わるかもしれたせん。

     数匏解説線


    この蚘事が参加しおいる募集

     
     
     
    い぀か理数系の物語を、数匏入りで映像化するのが倢。 字ショヌトショヌトもやっおいたす数孊蚘事に専念するため今は䌑止䞭。 字はコチラ → https://short-short.garden/author/808121 理数専門の孊習塟経営 数理十九

    あなたぞのおすすめ