氢原子问题的薛丁格方程式为[2]:131-145:
- ;
其中, 是约化普朗克常数, 是电子与原子核的约化质量, 是量子态的波函数, 是能量, 是库仑位势:
- ;
其中, 是真空电容率, 是单位电荷量, 是电子离原子核的距离。
采用球坐标 ,将拉普拉斯算子展开:
- 。
猜想这薛丁格方程式的波函数解 是径向函数 与球谐函数 的乘积:
- 。
参数为天顶角和方位角的球谐函数,满足角部分方程式[2]:160-170:
- ;
其中,非负整数 是轨角动量的角量子数。磁量子数 (满足 )是轨角动量对于 z-轴的(量子化的)投影。不同的 与 给予不同的轨角动量函数解答 :
- ;
其中, 是虚数单位, 是伴随勒让德多项式,用方程式定义为
- ;
而 是 阶勒让德多项式,可用罗德里格公式表示为:
- 。
径向函数满足一个一维薛丁格方程式:[2]:145-157
- 。
方程式左边的第二项可以视为离心力位势,其效应是将径向距离拉远一点。
除了量子数 与 以外,还有一个主量子数 。为了满足 的边界条件, 必须是正值整数,能量也离散为能级 。随著量子数的不同,函数 与 都会有对应的改变。按照惯例,规定用波函数的下标符号来表示这些量子数。这样,径向函数可以表达为
- ;
其中, 。 近似于波耳半径 。假若,原子核的质量是无限大的,则 ,并且,约化质量等于电子的质量, 。 是广义拉盖尔多项式,其定义式可在条目拉盖尔多项式里找到。
广义拉盖尔多项式 另外还有一种在量子力学里常用的定义式(两种定义式不同):[2]:152
- ;
其中, 是拉盖尔多项式,可用罗德里格公式表示为
- 。
为了要结束广义拉盖尔多项式的递回关系,必须要求量子数 。
按照这种定义式,径向函数表达为
- 。
知道径向函数 与球谐函数 的形式,可以写出整个量子态的波函数,也就是薛丁格方程式的整个解答:
- 。
量子数 、 、 ,都是整数,容许下述值:[2]:165-166
- ,
- ,
- 。
每一个原子轨域都有特定的角动量向量 。它对应的算符是一个向量算符 。角动量算符的平方 的本征值是[2]:160-164
- 。
角动量向量对于任意方向的投影是量子化的。设定此任意方向为 z-轴的方向,则量子化公式为
- 。
因为 , 与 是对易的, 与 彼此是相容可观察量,这两个算符有共同的本征态。根据不确定性原理,可以同时地测量到 与 的同样的本征值。
由于 , 与 互相不对易, 与 彼此是不相容可观察量,这两个算符绝对不会有共同的基底量子态。一般而言, 的本征态与 的本征态不同。
给予一个量子系统,量子态为 。对于可观察量算符 ,所有本征值为 的本征态 ,形成了一组基底量子态。量子态 可以表达为这基底量子态的线性组合: 。对于可观察量算符 ,所有本征值为 的本征态 ,形成了另外一组基底量子态。量子态 可以表达为这基底量子态的线性组合: 。
假若,测量可观察量 ,得到的测量值为其本征值 ,则量子态机率地塌缩为本征态 。假若,立刻再测量可观察量 ,得到的答案必定是 ,在很短的时间内,量子态仍旧处于 。可是,假若改为立刻测量可观察量 ,则量子态不会停留于本征态 ,而会机率地塌缩为 本征值是 的本征态 。这是量子力学里,关于测量的一个很重要的特性。
根据不确定性原理,
- 。
的不确定性与 的不确定性的乘积 ,必定大于或等于 。
类似地, 与 之间, 与 之间,也有同样的特性。
电子的总角动量必须包括电子的自旋。在一个真实的原子里,因为电子环绕著原子核移动,会感受到磁场。电子的自旋与磁场产生作用 ,这现象称为自旋-轨道作用。当将这现象纳入计算,自旋与角动量不再是保守的,可以将此想像为电子的进动。为了维持保守性,必须取代量子数 、 与自旋的投影 ,而以量子数 , 来计算总角动量。[2]:271-275
在原子物理学里,因为一阶相对论性效应,与自旋-轨道耦合,而产生的原子谱线分裂,称为精细结构。[2]:271-275
非相对论性、无自旋的电子产生的谱线称为“粗略结构”。氢原子的粗略结构只跟主量子数 有关。可是,更精确的模型,考虑到相对论效应与自旋-轨道效应,能够分解能级的简并,使谱线能更精细地分裂。相对于粗略结构,精细结构是一个 效应;其中, 是精细结构常数。
在相对论量子力学里,狄拉克方程式可以用来计算电子的波函数。用这方法,能阶跟主量子数 、总量子数 有关[3][4],容许的能量为:
- 。