1 波動関数の基本概念
1.1 状態としての波動関数
波動関数とは、量子系の状態を数学的に表す関数（またはそれに相当する表現）である。多くの場面では、位置や運動量などの観測対象に対応する変数に依存して複素数値をとり、その値から状態の性質を計算できる。波動関数は、単一の現象を直接記述するというより、同一の準備条件から生じ得る観測結果を統計的に予測するための基礎情報を担う。
量子力学の枠組みでは、状態は「観測の前に確定した量の組」ではなく、「観測可能量の確率規則を与える対象」として扱われる。そのため、波動関数の具体的な形は選んだ表現（座標系、基底）に依存して変わる一方で、物理的予測は同じになるように整合的に定式化されている。
1.2 波動関数の意味（確率との関係）
1.2.1 ヒルベルト空間における状態ベクトル
波動関数は、より抽象的にはヒルベルト空間内の状態ベクトルとして理解できる。座標表示を採用する場合、状態ベクトルに対応する成分が波動関数となり、基底の選択によって成分の形は変わる。重要なのは、同じ状態ベクトルに対して異なる表示を用いても、測定規則に基づく最終的な予測は一致することである。
状態ベクトルは、複素線形空間としての性質をもち、状態間の「関係の強さ」は内積により定義される。波動関数の値そのものよりも、内積や規格化により導かれる確率的情報が、観測と結びつく中心となる。
1.2.2 観測と確率の対応
測定では、ある観測量に対して定義された確率分布が現れる。たとえば位置を測定する状況では、ある領域に粒子が見出される確率が波動関数の絶対値二乗に比例する形で与えられる。複素位相を含む情報は絶対値二乗だけには還元されないが、確率として観測される量は最終的に規則に従って計算される。
この対応関係は重ね合わせとも密接である。状態が複数の成分の和で表されるとき、位相差により干渉項が形成され、確率分布が単純な足し算にならない。この性質が、量子論の特徴的な統計構造を支えている。
1.3 正規化と規格化の条件
波動関数は通常、測定結果の全確率が1になるように正規化される。座標表示では、空間全体にわたる絶対値二乗の積分が1に等しいことが要請される。これは、粒子がどこかで検出されるという物理的前提を数理的に反映した条件である。
また、状態が規格化されることで期待値や分散といった量が適切なスケールで計算できる。場合によっては、束縛状態では正規化可能な波動関数が用いられ、散乱状態では連続スペクトルに関連する扱いが必要になるため、状況に応じた規格化（たとえばデルタ関数型の規格化）が議論されることがある。
2 数学的定式化
2.1 表現（座標表示・運動量表示など）
同一の物理状態は、座標や運動量など異なる変数を基底とする表現によって異なる形に書き下される。座標表示では波動関数は位置に依存し、運動量表示では運動量に依存する関数として現れる。これらの表現は、基底変換により互いに変換可能であり、数学的にはフーリエ変換が関与する場合が多い。
さらに、角度やスピン成分など、追加の自由度を含むときは基底の拡張が必要になる。表現ごとの「形の違い」は、測定のしやすさや問題設定の都合により選択されるが、物理予測の不変性が担保されるように定式化されている。
2.1.1 表示の違いと同値性
座標と運動量のように、異なる基底を採用した結果として得られる関数は異なって見える。しかしそれらは同一の状態ベクトルを別の座標で記述したにすぎない。したがって、期待値や確率といった観測可能量に関する計算は、基底を変えても同じ値を与える。
同値性は、変換がユニタリであるという性質に基づく。ユニタリ変換は内積を保存するため、規格化や干渉の構造を含む確率規則が維持される。結果として、波動関数の見た目の差は、基底選択の差として整理される。
2.2 演算子としての観測量
観測可能量は通常、線形演算子として表される。位置は位置演算子、運動量は運動量演算子として定義され、ハミルトニアンは時間発展を決める生成子として機能する。演算子は状態ベクトルに作用して新たなベクトルを生み、測定では固有値と固有状態が役割を担う。
測定規則では、観測量のスペクトル（固有値の集合）に応じた確率が定まる。スペクトルが離散の場合は固有状態成分の二乗に結びつき、連続スペクトルでは波動関数の分布を通じた取り扱いが用いられる。演算子がエルミート（自己共役）であることは、測定値が実数になることや期待値が物理的に意味をもつことに関わる。
2.3 内積・ノルム・射影
状態ベクトル間の関係は内積で定義される。内積は複素数を一般にとり、その絶対値や実部は重ね合わせの度合いに関連する。ノルムは内積から導かれ、状態の大きさや規格化のための基盤になる。
射影は、特定の基底や固有空間に成分を落とす操作として理解できる。たとえばある固有値に対応する部分空間へ射影した成分のノルム平方は、その結果が得られる確率に対応する。射影演算子を積み重ねることで、測定の確率分布を系統立てて構成できる。
3 時間発展とシュレーディンガー方程式
3.1 自由粒子の時間発展
自由粒子ではポテンシャルエネルギーがゼロとして近似され、ハミルトニアンは運動エネルギーに対応する。時間発展はシュレーディンガー方程式に従い、波動関数は時間に対して振動的に変化する。運動量基底で状態を表すと位相因子の形に整理されやすく、各運動量成分が異なる角速度で回転するため、波束の形が時間とともに変化する。
このとき、確率密度の時間依存も導かれる。一般に、波束は単純に平行移動するだけでなく、分散（拡がり）を示し得る。自由粒子の解析では、この分散の様子を時間発展演算子や既知の積分公式を用いて具体的に計算できる。
3.2 ポテンシャルがある場合の取り扱い
ポテンシャルが存在するとき、ハミルトニアンに位置（または一般化された座標）依存の項が加わる。時間発展方程式は同様に形としてはシュレーディンガー方程式であるが、解の導出は困難になりやすい。特定のポテンシャル形（階段状、井戸状、調和型など）では、変数分離や既知の微分方程式の性質を利用して解を得られる。
一般のポテンシャルでは、厳密解を求めにくいため摂動論や数値計算が用いられることが多い。摂動では弱いポテンシャルが基底となり、補正としてエネルギーや状態の修正を段階的に評価する。数値法では波動関数を格子点上で近似し、微分演算子を離散化して時間発展を追跡する。
3.3 一般の時間依存系の形式解
時間依存する系では、ハミルトニアンが時刻に依存するため、単純な指数関数による表現は一般にはそのまま成立しない。形式解は時間順序積（タイム・オーダリング）を用いて記述される。これは、異なる時刻での演算子が可換とは限らないため、作用の順序を明示する必要があることを反映している。
この枠組みにより、与えられた初期状態から任意の時刻での状態が原理的に構成される。計算実務では、時間依存が周期的である場合の近似（たとえば Floquet 理論の考え方）や、時間変化が緩やかな場合の近似など、状況に応じた簡略化が導入される。
4 代表的な例と計算手法
4.1 1次元の井戸型ポテンシャル
井戸型ポテンシャルは、ある領域において粒子が束縛され得る状況をモデル化する。最も単純な有限井戸では、井戸内部でポテンシャルが低く、外側では高い。そのため、エネルギーが井戸の外側の領域で指数関数的に減衰する形をとり、束縛状態の離散的な固有エネルギーが現れる。
計算では、領域ごとにシュレーディンガー方程式の解を一般形で書き、境界条件（波動関数の連続性および必要に応じた微分の連続性）で係数を決める。解くべき条件は超越方程式になることが多く、解析的に扱える場合と数値で求める場合がある。井戸の深さや幅が固有準位の数に影響するため、パラメータ依存の理解が重要になる。
4.2 調和振動子と固有状態
調和振動子はポテンシャルが座標の二乗に比例する形で与えられ、量子力学で特に重要なモデルの一つである。エネルギー準位は離散的で等間隔になり、固有状態はエルミート多項式を用いて表される。波動関数はガウス型の減衰と多項式部分の組で構成され、直感的な振る舞い（中心付近に集中し、励起に伴い節が増える）を持つ。
計算手法としては、差分演算子ではなく、生成・消滅演算子の代数的構造を利用する方法が代表的である。これにより固有状態とエネルギーの関係が系統的に得られ、期待値計算も効率化される。摂動を加えたときの基礎としても用いられることが多い。
4.3 ステップ・バリア透過（トンネル効果を含む）
バリア透過は、粒子のエネルギーがバリアの高さを下回っても波動関数がバリア内に浸み込み、結果として反対側へ到達する可能性がある現象を記述する。これは古典的な運動エネルギーの制限と異なり、量子波の拡がりと干渉に由来する。いわゆるトンネル効果として知られる。
計算では、境界で波動関数とその微分（または適切な条件）が連続するように、各領域での波動関数を平面波と減衰形の組で書く。係数比較により透過率や反射率が求まり、入射エネルギーやバリア幅に対する依存が導かれる。バリアが有限幅の場合は、内部での位相整合が起こり、透過率が振動的に変化する場合もある。
4.4 変数分離と固有値問題の整理
多くの定型ポテンシャルでは、時間と空間の変数を分離して解を構成できる。典型的には、波動関数を時間部分と空間部分の積として仮定し、時間方向には指数関数的な位相因子が得られ、空間方向には時間に依存しないシュレーディンガー方程式が残る。これにより、境界条件とともに固有値問題へ帰着する。
固有値問題の解は、固有関数（空間形）と固有値（エネルギー）として整理される。一般の初期状態は、固有関数の重ね合わせとして展開でき、時間発展では各成分が異なる位相で進む。したがって計算手法としては、まず固有状態を求め、ついで初期条件の展開係数を内積で決める流れが有効になる。この枠組みは束縛・散乱の両方に適用可能であり、扱うスペクトルの性質に応じて規格化や連続成分の取り扱いを調整する必要がある。