Physlib.QuantumMechanics.Hydrogen.Rydberg
The Rydberg formula and the spectral series of the hydrogen atom
i. Overview
The bound-state energies expected for the `d`-dimensional hydrogen atom with potential `-k / r` are `E_n = -Ry / (n + (d - 1) / 2) ^ 2` for `n : ℕ`, with the Rydberg energy `Ry = m k ^ 2 / (2 ℏ ^ 2)`. This module defines these Bohr levels and derives from them, by algebra alone, the Rydberg formula for the energy, the frequency and the wavelength of the photon emitted in a transition between two levels, together with the Lyman, Balmer and Paschen series and their series limits.
The statement that these values are the point spectrum of the hydrogen Hamiltonian is not proved here; it is a separate TODO of the `Basic` module. Nothing in this module depends on the Hamiltonian.
ii. Key results
Definitions: - `rydbergEnergy` : the Rydberg energy `Ry = m k ^ 2 / (2 ℏ ^ 2)`. - `levelIndex` : the effective principal quantum number `L n = n + (d - 1) / 2`. - `energyLevel` : the Bohr levels `E_n = -Ry / L n ^ 2`. - `transitionFrequency` : the frequency `ν = (E_{n₂} - E_{n₁}) / h` of the photon emitted in the transition from `n₂` to `n₁`, and `wavelength` its wavelength `c / ν`. - `rydbergFrequency` : the Rydberg frequency `R_ν = Ry / h`. - `lymanFrequency`, `balmerFrequency`, `paschenFrequency` : the three classical series.
Lemmas: - `energyLevel_strictMono` : the Bohr levels increase strictly with `n` when `2 ≤ d` and `k ≠ 0`. - `transitionFrequency_eq` : the Rydberg formula `ν = R_ν (1 / L n₁ ^ 2 - 1 / L n₂ ^ 2)`. - `wavelength_inv` : its wavenumber form `1 / λ = (R_ν / c) (1 / L n₁ ^ 2 - 1 / L n₂ ^ 2)`. - `tendsto_transitionFrequency` : the series limit `ν → R_ν / L n₁ ^ 2` as `n₂ → ∞`. - `balmerFrequency_lt_lymanFrequency` : for `2 ≤ d ≤ 5`, every Balmer line lies below every Lyman line.
iii. Table of contents
- A. The Bohr levels
- B. Transitions and the Rydberg formula
- C. The spectral series
iv. References
* None.
A. The Bohr levels
The Rydberg energy `Ry = m k ^ 2 / (2 ℏ ^ 2)` sets the scale of the spectrum, and the level index `L n = n + (d - 1) / 2` is the effective principal quantum number in dimension `d`; for `d = 3` it is `n + 1`, the usual principal quantum number, with `n = 0` the ground state.
B. Transitions and the Rydberg formula
A transition from the level `n₂` down to the level `n₁` emits a photon of energy `E_{n₂} - E_{n₁}`, frequency `ν = (E_{n₂} - E_{n₁}) / h` and wavelength `λ = c / ν`, with `c` the speed of light. The Rydberg formula expresses these through the Rydberg frequency `R_ν = Ry / h`, the frequency of a photon carrying the Rydberg energy.
The same definitions are used for any pair of levels. When `2 ≤ d` and `k ≠ 0` and `n₂ < n₁`, the level `n₂` lies below `n₁`: the transition from `n₂` to `n₁` goes up and absorbs a photon, and the frequency and the wavelength defined here are then negative, their absolute values being those of the absorbed photon. For `n₁ = n₂` there is no photon and the frequency is `0`.
C. The spectral series
The Lyman, Balmer and Paschen series collect the transitions down to the levels of index `0`, `1` and `2`; for `d = 3` these are the levels `n = 1`, `2` and `3` of the usual numbering.
43 declarations
Rydberg energy
The Rydberg energy of a hydrogen-like atom is defined as where is the mass, is the potential constant, and is the reduced Planck constant.
The Rydberg energy of a hydrogen-like atom is given by the formula where is the mass, is the potential constant, and is the reduced Planck constant.
Level index of the -th Bohr level
For a natural number , the level index (also known as the effective principal quantum number) of the -th Bohr level in a -dimensional hydrogen atom is defined as: In the specific case of , this corresponds to the standard principal quantum number .
For a -dimensional hydrogen atom, the level index (the effective principal quantum number) for a given natural number is defined by the formula: where is the dimension of the atom.
-th Bohr energy level
For a natural number , the -th Bohr energy level of a -dimensional hydrogen atom is defined as: where is the Rydberg energy and is the effective principal quantum number (or level index). These values represent the expected bound-state energies of the hydrogen atom Hamiltonian. In the case where and , the level index is zero and the energy level is defined to be .
Bohr energy level formula
For a -dimensional hydrogen atom and a natural number , the energy of the -th Bohr level is given by: where is the Rydberg energy and is the level index (the effective principal quantum number), defined as .
The Rydberg energy is non-negative, meaning .
if
Let be the potential constant and be the Rydberg energy of a hydrogen-like atom. If , then the Rydberg energy is strictly positive ().
If the potential constant , then the Rydberg energy .
The level index is non-negative for
For a -dimensional hydrogen atom where the dimension , the level index (also known as the effective principal quantum number) is non-negative for any . That is, , where the level index is defined as .
for
For a -dimensional hydrogen atom, if the dimension satisfies , then for any natural number , the level index is strictly positive ().
The level index is strictly increasing
For a -dimensional hydrogen atom, the level index (effective principal quantum number) defined as is strictly increasing with respect to the natural number . That is, for any , if , then .
is monotone
The level index (effective principal quantum number) of a -dimensional hydrogen atom, defined as for , is monotone. That is, for any natural numbers and , if , then .
The Bohr energy levels are non-positive ()
For any natural number , the -th Bohr energy level of the -dimensional hydrogen atom is non-positive, i.e., .
for and
For a -dimensional hydrogen atom with potential constant , if the dimension satisfies and the potential constant , then for any natural number , the -th Bohr energy level is strictly negative, i.e., .
when
Suppose the potential constant of a -dimensional hydrogen atom is . Then for any natural number , the -th Bohr energy level is equal to .
Bohr energy levels are strictly increasing for and
In a -dimensional hydrogen atom with potential parameter and dimension , the sequence of Bohr energy levels is strictly increasing with respect to . That is, for any natural numbers , the corresponding energy levels satisfy .
Monotonicity of Bohr energy levels
For a -dimensional hydrogen atom, if the dimension , then the sequence of Bohr energy levels is monotonically increasing. That is, for any natural numbers and , if , then .
Transition energy
For two natural numbers and , the transition energy is the difference between the -th and -th Bohr energy levels, defined as . This represents the energy associated with a transition between these two levels.
Transition energy equals
For any two natural numbers and , the transition energy between the corresponding Bohr energy levels is the difference between the -th energy level and the -th energy level: where denotes the -th energy level `energyLevel n` and denotes the transition energy `transitionEnergy n₁ n₂`.
Transition frequency
For two natural numbers and representing energy levels of a hydrogen atom, the transition frequency is defined as the ratio of the transition energy to the Planck constant : This value is positive when (corresponding to the emission of a photon), negative when (corresponding to the absorption of a photon with frequency ), and zero when .
Transition Frequency
For any two natural numbers and representing energy levels of a hydrogen atom, the transition frequency between these levels is equal to the transition energy divided by the Planck constant : where is the energy difference between the -th and -th Bohr levels.
For any two natural numbers and representing energy levels of a hydrogen atom, let denote the transition frequency. Exchanging the two levels changes the sign of the transition frequency:
The Transition Frequency of an Energy Level to Itself is 0
For any energy level index , the transition frequency between the level and itself is .
Rydberg frequency
The Rydberg frequency is the real number defined as the ratio of the Rydberg energy to the Planck constant : It represents the frequency of a photon whose energy is equal to the Rydberg energy.
Transition wavelength
For a given speed of light and two natural numbers and representing energy levels of a -dimensional hydrogen atom, the wavelength associated with the transition from level to level is defined as: where is the transition frequency between these levels. When (and assuming ), represents the wavelength of the emitted photon. If , the transition corresponds to absorption, and the resulting wavelength is negative, with its absolute value representing the physical wavelength of the absorbed photon. For , where the frequency is zero, the wavelength is defined as .
For any speed of light and natural numbers and representing indices of energy levels, the transition wavelength between these levels is given by the ratio of the speed of light to the transition frequency :
Rydberg Formula for Transition Energy
For any two natural numbers and , the transition energy between the -th and -th Bohr energy levels of a -dimensional hydrogen atom is given by the Rydberg formula: where is the Rydberg energy and is the level index (effective principal quantum number) for the -th level.
The Rydberg frequency is given by the expression: where is the mass of the particle, is the coupling constant of the potential, and is the reduced Planck constant.
The Rydberg frequency is non-negative, that is, .
If the potential parameter is non-zero (), then the Rydberg frequency is strictly positive ().
if
If the potential parameter is equal to , then the Rydberg frequency is equal to .
Rydberg formula for transition frequency
For any natural numbers and , the transition frequency between the Bohr levels and is given by the Rydberg formula: where is the Rydberg frequency and is the level index (effective principal quantum number) for the -th energy level in dimensions.
for
Consider a -dimensional hydrogen atom with potential parameter . If and , then for any two energy level indices such that , the transition frequency is strictly positive.
The transition frequency is negative when
For a -dimensional hydrogen atom with dimension and potential constant , the transition frequency between the levels with indices and is strictly negative if . This corresponds to an upward transition (absorption of a photon) from level to level .
Rydberg Formula for the Wavenumber
For a given speed of light and two energy level indices of a -dimensional hydrogen atom, the inverse of the transition wavelength (the wavenumber) is given by the Rydberg formula: where is the Rydberg frequency and is the level index (effective principal quantum number) defined as .
For and , is strictly increasing in
Consider a hydrogen atom in dimension with potential parameter . For a fixed energy level index , the transition frequency is strictly increasing with respect to the level index . That is, for any , if , then .
Monotonicity of the Hydrogen Transition Frequency with respect to for
Let be the dimension of a hydrogen atom such that . For a fixed lower energy level index , the transition frequency is monotonically non-decreasing with respect to the upper energy level index . That is, for any , if , then .
For a fixed lower energy level , as the upper energy level tends to infinity, the transition frequency converges to the series limit: where is the Rydberg frequency and is the effective principal quantum number (level index) for the level in dimensions.
Lyman frequency
For a natural number , the Lyman frequency is defined as the frequency of a photon associated with the transition between the -th energy level and the ground state (level ). It is calculated as the transition frequency from level to level : where is the energy of the -th level and is the Planck constant.
Balmer series frequency
For a natural number , the Balmer frequency is defined as the frequency of the photon associated with the transition between the energy level of index and the energy level of index . It represents the -th line of the Balmer series for a -dimensional hydrogen atom, calculated as: where and are the Bohr energy levels and is Planck's constant.
Paschen frequency for level
For a natural number representing an energy level, the Paschen frequency is the frequency of the photon involved in the transition between level and the level with index 2 in a -dimensional hydrogen atom. It is defined as: where and are the Bohr energy levels and is the Planck constant.
for
In a -dimensional hydrogen atom model with and a non-zero coupling constant , the frequency of any line in the Balmer series is strictly less than the frequency of any line in the Lyman series. Formally, for any and (where ), the Balmer frequency and the Lyman frequency satisfy the inequality: where the frequencies are defined by the energy transitions and between the Bohr levels . This separation of spectral series holds because for these dimensions, the Balmer series limit is less than or equal to the first Lyman line frequency.
