Physlib

Physlib.QuantumMechanics.Blackbody.PlancksLaw

Planck's Law

In this module we define Planck's law for blackbody radiation: The spectral density of electromagnetic radiation emitted by a black body in thermal equilibrium at a given temperature T, when there is no net flow of matter or energy between the body and its environment.

i. Overview

According to Planck's distribution law, the spectral energy radiance (per unit frequency) for a black body at given temperature `T` as a function of frequency `ν` is given by

`B(ν, T) = 2 h ν³ / c² · 1 / (e^{h ν / (k_B T)} - 1)`

where `h` is Planck's constant, `c` the speed of light, and `k_B` the Boltzmann constant.

ii. Key results

- `spectralRadiance` : The spectral radiance per unit frequency of blackbody radiation. - `spectralRadiance_pos` : The spectral radiance is positive for positive frequency and temperature. - `spectralRadiance_absZero` : The spectral radiance is 0 at absolute zero.

iii. Table of contents

  • A. The spectral radiance

iv. References

* https://en.wikipedia.org/wiki/Planck%27s_law

A. The spectral radiance

20 declarations

definition

Spectral radiance of blackbody radiation B(ν,T)B(\nu, T)

The spectral radiance per unit frequency of blackbody radiation at frequency ν\nu and temperature TT, for a given speed of light cc, is defined as: B(ν,T)={2hν3c21exp⁡(hνkBT)−1if ν>0 and T>00otherwiseB(\nu, T) = \begin{cases} \frac{2h\nu^3}{c^2} \frac{1}{\exp\left(\frac{h\nu}{k_B T}\right) - 1} & \text{if } \nu > 0 \text{ and } T > 0 \\ 0 & \text{otherwise} \end{cases} where hh is the Planck constant and kBk_B is the Boltzmann constant. The definition is extended by zero outside the physical domain (where ν≤0\nu \le 0 or T≤0T \le 0).

theorem

B(ν,T)>0B(\nu, T) > 0 for ν>0\nu > 0 and T>0T > 0

For a given speed of light cc, frequency ν∈R\nu \in \mathbb{R}, and temperature TT, if the frequency ν\nu is strictly positive and the temperature TT is strictly positive, then the spectral radiance of blackbody radiation B(ν,T)B(\nu, T) is strictly positive (B(ν,T)>0B(\nu, T) > 0).

theorem

B(ν,0)=0B(\nu, 0) = 0

For any speed of light cc and frequency ν\nu, the spectral radiance of blackbody radiation B(ν,T)B(\nu, T) at absolute zero temperature (T=0T = 0) is zero: B(ν,0)=0B(\nu, 0) = 0

theorem

B(ν,0)=0B(\nu, 0) = 0

For any speed of light cc and frequency ν∈R\nu \in \mathbb{R}, the spectral radiance of blackbody radiation B(ν,T)B(\nu, T) at absolute zero temperature (T=0T = 0) is zero: B(ν,0)=0B(\nu, 0) = 0

theorem

B(0,T)=0B(0, T) = 0

For any black body BB (at a given temperature TT) and speed of light cc, the spectral radiance per unit frequency B(ν,T)B(\nu, T) is zero when the frequency ν\nu is zero: B(0,T)=0B(0, T) = 0

theorem

B(ν,T)=0B(\nu, T) = 0 for non-positive frequency ν≤0\nu \le 0

For a black body BB and speed of light cc, the spectral radiance at frequency ν\nu, denoted B(ν,T)B(\nu, T), is equal to 00 whenever the frequency is non-positive (ν≤0\nu \le 0).

definition

Spectral radiance per unit wavelength B(λ,T)B(\lambda, T)

For a black body BB with temperature TT and a given speed of light cc, the spectral radiance per unit wavelength λ\lambda is defined as: B(λ,T)={2hc2λ51exp⁡(hcλkBT)−1if λ>00if λ≤0 B(\lambda, T) = \begin{cases} \dfrac{2 h c^2}{\lambda^5} \dfrac{1}{\exp\left(\frac{h c}{\lambda k_B T}\right) - 1} & \text{if } \lambda > 0 \\ 0 & \text{if } \lambda \le 0 \end{cases} where hh is Planck's constant and kBk_B is the Boltzmann constant.

theorem

B(λ,T)>0B(\lambda, T) > 0 for positive wavelength and temperature

For a black body BB with absolute temperature T>0T > 0 and speed of light cc, the spectral radiance per unit wavelength B(λ,T)B(\lambda, T) is strictly positive for any wavelength λ>0\lambda > 0.

theorem

B(λ,T)≥0B(\lambda, T) \ge 0 for λ>0\lambda > 0 and T>0T > 0

For a black body BB with temperature T>0T > 0 and speed of light cc, the spectral radiance per unit wavelength B(λ,T)B(\lambda, T) is non-negative for any wavelength λ>0\lambda > 0, i.e., B(λ,T)≥0 B(\lambda, T) \ge 0 where B(λ,T)B(\lambda, T) is the energy radiance per unit wavelength as defined by Planck's Law.

theorem

The spectral radiance per unit wavelength B(λ,T)B(\lambda, T) vanishes at absolute zero (T=0T = 0)

For any speed of light cc and any wavelength λ∈R\lambda \in \mathbb{R}, the spectral radiance per unit wavelength B(λ,T)B(\lambda, T) of a black body at absolute zero temperature (T=0T = 0) is zero.

theorem

The spectral radiance per unit wavelength B(0,T)=0B(0, T) = 0 at zero wavelength

For a black body BB and the speed of light cc, the spectral radiance per unit wavelength B(λ,T)B(\lambda, T) is equal to 00 when the wavelength λ\lambda is 00, i.e., B(0,T)=0B(0, T) = 0.

theorem

B(λ,T)=0B(\lambda, T) = 0 for λ≤0\lambda \le 0

For a black body BB and the speed of light cc, the spectral radiance per unit wavelength B(λ,T)B(\lambda, T) is equal to 00 if the wavelength λ\lambda is non-positive (λ≤0\lambda \le 0).

theorem

Correspondence between Wavelength and Frequency Spectral Radiance: Bλ(λ,T)=cλ2Bν(ν,T)B_\lambda(\lambda, T) = \frac{c}{\lambda^2} B_\nu(\nu, T)

For a black body BB at a positive temperature T>0T > 0 and given the speed of light cc, the spectral radiance per unit wavelength Bλ(λ,T)B_{\lambda}(\lambda, T) for any wavelength λ>0\lambda > 0 is related to the spectral radiance per unit frequency Bν(ν,T)B_{\nu}(\nu, T) by: Bλ(λ,T)=cλ2Bν(cλ,T) B_{\lambda}(\lambda, T) = \frac{c}{\lambda^2} B_{\nu}\left(\frac{c}{\lambda}, T\right) where ν=cλ\nu = \frac{c}{\lambda} is the frequency corresponding to wavelength λ\lambda.

definition

First radiation constant c1=2hc2c_1 = 2hc^2

Given the speed of light cc, the first radiation constant c1c_1 is a real number defined as c1=2hc2c_1 = 2hc^2, where hh is the Planck constant.

theorem

The first radiation constant c1c_1 is positive

For any speed of light cc, the first radiation constant c1c_1 is strictly positive (c1>0c_1 > 0).

theorem

First radiation constant c1=2hc2c_1 = 2hc^2

For a given speed of light cc, the first radiation constant c1c_1 is equal to 2hc22 h c^2, where hh is Planck's constant.

definition

Second radiation constant c2c_2

Given the speed of light cc, the second radiation constant c2c_2 is defined as: c2=hckBc_2 = \frac{hc}{k_B} where hh is Planck's constant and kBk_B is the Boltzmann constant.

theorem

The second radiation constant c2c_2 is positive

For any speed of light cc, the second radiation constant c2c_2 is positive, i.e., c2>0c_2 > 0.

theorem

c2=hckBc_2 = \frac{hc}{k_B}

For a given speed of light cc, the second radiation constant c2c_2 is equal to hckB\frac{hc}{k_B}, where hh is Planck's constant and kBk_B is the Boltzmann constant.

theorem

Planck's Law for B(λ,T)B(\lambda, T) in Terms of Radiation Constants c1c_1 and c2c_2

For a black body BB with temperature TT and speed of light cc, if the wavelength λ>0\lambda > 0 and the temperature T>0T > 0, then the spectral radiance per unit wavelength B(λ,T)B(\lambda, T) is given by B(λ,T)=c1λ51exp⁡(c2λT)−1B(\lambda, T) = \frac{c_1}{\lambda^5} \frac{1}{\exp\left(\frac{c_2}{\lambda T}\right) - 1} where c1c_1 is the first radiation constant 2hc22hc^2 and c2c_2 is the second radiation constant hckB\frac{hc}{k_B}.