Quantum mechanics/Quantum field theory on a violin string

This construction of an elementary quantum field theory will also give readers a glimpse of Fourier series expansions, Hamiltonian mechanics, and also Black-body radiation. It assumes that the reader is familiar with the solution to Schrödinger equation for a quantum harmonic oscillator.

The classical theory of transverse waves on a string
We begin with the classical theory of transverse waves on a vibrating string with length, $$L$$, mass $$M$$, and tension, $$T$$. The dispersion relation, ω=ω(k), relates frequency to wavelength:


 * $$\omega_n= c k_n = \frac{c\pi}{L}n$$ ,

where $$\omega=2\pi f$$ is the angular frequency and   $$k=2\pi /\lambda$$ is the wavenumber. The boundary conditions at each of the string of length $$L$$ imply that the wavenumber can take on only those values that cause the length to equal integral number of half wavelengths: $$k_nL=n\pi$$, where $$n$$ may be taken to be a positive integer (1,2,3...). Thus we have:


 * $$k_n=\frac{n\pi}{L}$$.

The speed of transverse waves is,


 * $$c=\sqrt{\frac{T}{\mu}}$$,

where $$\mu=M/L$$ is the linear mass density.

Fourier series and wave energy
In our classical wave, the transverse displacement obeys,


 * $$y(x,t)=\sqrt 2\sum_{n=1}^{\infty}\xi_n(t)\sin{\frac{n\pi x}{L}}$$

While it is not customary to include the factor $$\sqrt 2$$ in this Fourier series, the insertion of this factor redefines the coefficients $$\xi_n$$ in a way that will prove convenient for establishing that this system is equivalent to an infinite collection of simple harmonic oscillators.

The quantum mechanical version of a classical theory begins with some canonical version of the theory. We shall adopt the convention than $$\dot\xi$$ denotes $$d\xi/dt$$.The total kinetic energy of the wave is,


 * $$KE = \frac 1 2 \mu \int_0^L dx \,\dot y^2 =

\frac \mu 2 \sum_{n=1}^{\infty}\sum_{m=1}^{\infty}2\dot\xi_n\dot\xi_m \int_0^L \sin{\frac{n\pi x}{L}}\sin{\frac{m\pi x}{L}}\,dx$$

The double sum contains terms when the two indices (m,n) are equal and terms where they are not equal.


 * $$\sum_{n=1}^{\infty}\sum_{m=1}^{\infty}\{...\}=\sum_{n=m}\{...\}+\sum_{n\ne m}\{...\}$$

The integrals over the product of the two sine waves have simple properties because the interval of length L contains exactly an integral number of half-wavelengths (i.e., n and m are both integers). Therefore,


 * $$\int_0^L

\sin{\frac{n\pi x}{L}}\sin{\frac{m\pi x}{L}}\,dx = 0 \ \ \  if \ n\ne m$$


 * $$\int_0^L

\sin{\frac{n\pi x}{L}}\sin{\frac{m\pi x}{L}}\,dx = \frac L 2 \ \ \ if \   n=m$$

This result is easy to remember if one notes that the average of a sinusoidal over n half wavelengths equals 1/2 if n is an integer, and that the integral of a constant over a segment equals the length of that segment:


 * $$\int\sin^2(...)dx=\int\overline{\sin^2(...)}dx = \frac 1 2 \int dx =\frac 1 2 L$$

This is one of many examples in physics where a class of functions (here sine functions) obeys this orthogonality condition:


 * $$\int f_n(x)f_m(x)dx = 0 \ \ if \ m\ne n$$

If this identity holds, $$f_n$$ and $$f_m$$ are said to be orthogonal functions because $$\int f(x)g(x)dx$$ is known as the inner product of the functions $$f$$ and $$g$$ (if $$f$$ and $$g$$ are real). Whenever such a collection of orthogonal functions is defined, the range of the integral must be specified (here it is from $$0$$ to $$L$$.)

With this substitution we have for the kinetic energy of a vibrating string:


 * $$KE=\frac 1 2 m\sum_{n=1}^{\infty}\dot\xi_n^2$$

If the factor of $$\sqrt 2$$ had not been inserted earlier, we would have redefined our amplitude so that the wave's kinetic energy would take this intuitive form.

Potential energy in a wave
The work required to stretch a string of length $$L$$ to a length of $$L+\delta L$$ is $$T\delta L$$, where $$T$$ is the tension in the string. This work acts as a potential energy. A transverse wave with displacement $$y=y(x)$$ has a length given by,


 * $$\int_{x=0}^{x=L} \sqrt{dx^2+dy^2} =

\int_0^L \sqrt{  1+   \left( \frac{dy}{dx} \right)^2     }dx \approx \int_0^L { \left[ 1+  \frac 1 2\left( \frac{dy}{dx} \right)^2 + ... \right]   dx} $$

where we have used the approximation for small &epsilon;: (1+&epsilon;)p≈1+p&epsilon;.

If y=y(x,t) represents a wave, it is customary to replace the derivative by a partial derivative:dy/dx → ∂y/∂x. Moreover, it is convenient to express the partial derivative in terms of the wavenumber described above.


 * $$\frac{\partial}{\partial x}

\left(\sin{\frac{n\pi x}{L}}\right) =\underbrace{\frac{n\pi}{L}}_{k_n}\cos{\frac{n\pi x}{L}}=k_n\cos{\frac{n\pi x}{L}} $$

where we note that $$k_n=n\pi/L$$ is the wavenumber of the n-th mode. Using the Fourier series expansion described above we have, the potential energy of the wave is


 * $$PE = \frac 1 2 T \int_0^L \left(\frac{\partial y}{\partial x}\right)^2 dx =

\frac T 2 \sum_{n=1}^{\infty}\sum_{m=1}^{\infty}2 \xi_n(t)\xi_m(t) k_n k_m \int_0^L \cos{\frac{n\pi x}{L}}\cos{\frac{m\pi x}{L}}\,dx$$

As occurred previously with the kinetic energy this double sum becomes a single sum over all cases where m = n  because the cosine functions are also orthogonal functions over this range of integration (provided n and m are integers). As before the integral $$\int\cos^2(k_nx)dx = L/2$$ because the average value of cos2 is 1/2 whenever the cosine is averaged over an integral number of half-wavelengths.


 * $$PE = \frac 1 2 \sum_{n=1}^{\infty}

\frac{n^2\pi^2T}{L} \xi_n^2 =\frac 1 2 \sum_{n=1}^{\infty}K_n\xi_n^2 $$

where the spring constant associated with the nth mode is


 * $$K_n=\frac{n^2\pi^2T}{L}=Lk_n^2T=n^2K_1$$

It is known for the classical wave equation for a stretched string that each mode oscillates as
 * $$\xi_n(t)=A\sin\omega_n t+ B\cos\omega_n t$$

where
 * $$ \omega_n = \sqrt{\frac{K_n}{M}}= n\omega_1$$,

and $$\omega_1 =\sqrt\frac{K_1}{M}$$ is the frequency of the lowest order standing wave in the classical vibrating string).

Quantizing the harmonic oscillators
From the known behavior of the classical violin string, we obtain equations of motion, which if cast in canonical form, will tell us how to create the quantum mechanical version of the theory. Our canonical form shall be that of Hamiltonian mechanics. Our goal is to show that the classical vibrating string is identical to an (almost?) infinite number of independent simple harmonic oscillators.


 * $$ H(\xi_1, \xi_2, \xi_3, ...,\mathcal P_1, \mathcal P_2, \mathcal P_3, ...)

= \frac{1}{2M} \left( \mathcal P_1^2 +\mathcal P_2^2 + \mathcal P_3^2 + +... \right) +\frac 1 2 K_1 \left( 1^2 \xi_1^2 + 2^2 \xi_2^2 + 3^2 \xi_3^2 + ...\right) $$,

where $$\mathcal P=M\dot\xi$$ is the conjugate momentum. The wave equation for the simple harmonic oscillator is well known. The variables $$\xi_1, \xi_2, \xi_3, \xi_4,...$$ play the same role as $$x,y,z$$ in the quantum mechanics of a single particle. Schrödinger's equation is: $$i\hbar\frac{\partial}{\partial t} \Psi = \frac{-\hbar^2}{2M} \left( \frac{\partial^2}{\partial \xi_1^2}+\frac{\partial^2}{\partial \xi_2^2}+\frac{\partial^2}{\partial \xi_3^2}+... \right)\Psi+ \frac 1 2 K_1\left( 1^2\xi_1^2+ 2^2\xi_2^2+  3^2\xi_3^2+ ... \right)\Psi $$

The solution is of the form,$$\psi e^{-i\hbar\Omega t}$$, where $$\Psi = \prod \psi_1(\mathcal N_1,\xi_1)\cdot \psi_1(\mathcal N_2,\xi_2)\cdot \psi_3(\mathcal N_3,\xi_3)... $$

and


 * $$\Omega =\omega_1  \sum_{n=1}^{\infty} \left(  n \mathcal N_n + \frac 1 2    \right)   $$

and


 * $$\psi_n(\mathcal N_1,\xi_1)$$

is the energy eigenstate for the in the $$\mathcal N^{\mathrm{th}}$$ energy level of potential associated with a spring constant equal to $$K_n$$.

The energy eigenstates are: $$ \psi(\mathcal N,n,\xi) = \frac{1}{\sqrt{2^\mathcal N\,\mathcal N!}} \cdot \left(\frac{m\omega_n}{\pi \hbar}\right)^{1/4} \cdot e^{ - \frac{m\omega_n x^2}{2 \hbar}} \cdot H_\mathcal N\left(\sqrt{\frac{m\omega_n}{\hbar}} x \right), \qquad \mathcal N = 0,1,2,\ldots. $$

The Hermite polynomials are,
 * $$H_\mathcal N(\xi)=(-1)^n e^{\xi^2}\frac{d^\mathcal N}{d\xi^\mathcal N}\left(e^{-x^2}\right)$$.



From Wikipedia, the first eleven physicists' Hermite polynomials are:


 * $$H_0(x)=1\,$$
 * $$H_1(x)=2x\,$$
 * $$H_2(x)=4x^2-2\,$$
 * $$H_3(x)=8x^3-12x\,$$
 * $$H_4(x)=16x^4-48x^2+12\,$$
 * $$H_5(x)=32x^5-160x^3+120x\,$$
 * $$H_6(x)=64x^6-480x^4+720x^2-120\,$$
 * $$H_7(x)=128x^7-1344x^5+3360x^3-1680x\,$$
 * $$H_8(x)=256x^8-3584x^6+13440x^4-13440x^2+1680\,$$
 * $$H_9(x)=512x^9-9216x^7+48384x^5-80640x^3+30240x\,$$
 * $$H_{10}(x)=1024x^{10}-23040x^8+161280x^6-403200x^4+302400x^2-30240\,$$

Wikipedia

 * Canonical quantization
 * Second quantization

This is one of four Wikiversity resources on divergent series

 * Divergent_series
 * Quantum mechanics/Casimir effect in one dimension
 * Quantum mechanics/Quantum field theory on a violin string.
 * MATLAB/Divergent_series_investigations

External
http://www.tcm.phy.cam.ac.uk/~bds10/aqp/lec16-17_compressed.pdf