Loss function: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Bodormenta
m See also: - added another wiki link to a loss function
 
No edit summary
Line 1: Line 1:
Hi there. Let me begin by introducing the author, her title is Sophia. I've usually cherished residing in Kentucky but now I'm contemplating other options. I am truly fond of handwriting but I can't make it my occupation really. Credit authorising is how she tends to make a living.<br><br>Feel free to visit my web blog; real psychics; [http://allakro.org/?document_srl=621083 allakro.org visit my website],
{{Multiple issues|confusing=July 2009|tone=July 2009}}
An important kind of problem in [[quantum mechanics]] is that of a particle in a '''spherically symmetric potential''', i.e., a potential that depends only on the distance between the particle and a defined center point. In particular, if the particle in question is an electron and the potential is derived from [[Coulomb's law]], then the problem can be used to describe a hydrogen-like (one-electron) atom (or ion).
 
In the general case, the dynamics of a particle in a spherically symmetric potential are governed by a [[Hamiltonian (quantum mechanics)|Hamiltonian]] of the following form:
 
:<math>\hat{H} = \frac{\hat{p}^2}{2m_0} + V(r)</math>
 
where <math>m_0</math> is the mass of the particle, <math>\hat{p}</math> is the momentum operator, and the potential <math>V(r)</math> depends only on&nbsp;<math>r</math>, the modulus of the radius vector&nbsp;'''r'''. The [[quantum mechanical]] wavefunctions and energies (eigenvalues) are found by solving the [[Schrödinger equation]] with this Hamiltonian. Due to the spherical symmetry of the system, it is natural to use [[spherical coordinates]] <math>r</math>, <math>\theta</math> and <math>\phi</math>. When this is done, the time-independent [[Schrödinger equation]] for the system is [[separation of variables|separable]], allowing the angular problems to be dealt with easily, and leaving an ordinary differential equation in <math>r</math> to determine the energies for the particular potential <math>V(r)</math> under discussion.
 
== Structure of the eigenfunctions ==
 
The [[eigenfunction]]s of the [[Schrödinger equation]] have the form
:<math>\psi(r, \theta, \phi) = R(r)\Theta(\theta)\Phi(\phi) \,\;</math>
in which the [[spherical angle|spherical polar angles]] θ and φ represent the [[colatitude]] and [[azimuth]]al angle, respectively. The last two factors of ψ are often grouped together as [[spherical harmonics]], so that the eigenfunctions take the form
:<math>\psi(r, \theta, \phi) = R(r)Y_{lm}(\theta,\phi).\,</math>
 
The differential equation which characterizes the function <math>R(r) \,\;</math> is called the '''radial equation'''.
 
== Derivation of the radial equation ==
 
The kinetic energy operator in [[spherical coordinates|spherical polar coordinates]] is
:<math>
\frac{\hat{p}^2}{2m_0} = -\frac{\hbar^2}{2m_0} \nabla^2 =
- \frac{\hbar^2}{2m_0\,r^2}\left[ \frac{\partial}{\partial r}\Big(r^2 \frac{\partial}{\partial r}\Big) - \hat{l}^2 \right].
</math>
The [[spherical harmonics]] satisfy
:<math>
\hat{l}^2 Y_{lm}(\theta,\phi)\equiv \left\{ -\frac{1}{\sin^2\theta} \left[
\sin\theta\frac{\partial}{\partial\theta} \Big(\sin\theta\frac{\partial}{\partial\theta}\Big)
+\frac{\partial^2}{\partial \phi^2}\right]\right\} Y_{lm}(\theta,\phi)
= l(l+1)Y_{lm}(\theta,\phi).</math>
 
Substituting this into the [[Schrödinger equation]] we get a one-dimensional eigenvalue equation,
:<math>\left \{ - {\hbar^2 \over 2m_0 r^2} {d\over dr}\left(r^2{d\over dr}\right) +{\hbar^2 l(l+1)\over 2m_0r^2}+V(r) \right \} R(r)=ER(r).</math>
 
=== Relationship with 1-D Schrödinger equation ===
Note that the first term in the kinetic energy can be rewritten
 
:<math> T_r\equiv \frac{1}{r^2} \frac{d}{dr}r^2\frac{d}{dr} = \frac{1}{r}\frac{d^2}{dr^2}r.</math>
 
If subsequently the substitution <math>u(r)\ \stackrel{\mathrm{def}}{=}\  rR(r)</math> is made into
 
:<math> - {\hbar^2 \over 2m_0 r} {d^2 \over dr^2}\left(r R(r)\right) +{\hbar^2 l(l+1)\over 2m_0r^2}R(r)+V(r) R(r)=ER(r),</math>
 
the radial equation becomes
 
:<math> - {\hbar^2 \over 2m_0} {d^2 u \over dr^2} + V_{\mathrm{eff}}(r) u(r) = E u(r)</math>
 
which is precisely a Schrödinger equation for the function ''u(r)'' with an effective potential given by
 
:<math> V_{\mathrm{eff}}(r) = V(r) + {\hbar^2l(l+1) \over 2m_0r^2},</math>
 
where the radial coordinate ''r'' ranges from 0 to <math>\infty</math>. The correction to the potential ''V''(''r'') is called the '''centrifugal barrier term'''.
 
== Solutions for potentials of interest ==
Five special cases arise, of special importance:
#''V''(''r'') = 0, or solving the vacuum in the basis of [[spherical harmonic]]s, which serves as the basis for other cases.
#<math>V(r)=V_0</math> (finite) for <math>r<r_0</math> and 0 elsewhere, or a particle in the spherical equivalent of the [[Particle in a box|square well]], useful to describe [[scattering state|scattering]] and [[bound state]]s in a [[atomic nucleus|nucleus]] or quantum dot.
# As the previous case, but with an infinitely high jump in the potential on the surface of the sphere.
#''V''(''r'')&nbsp;~&nbsp;''r''<sup>2</sup> for the three-dimensional isotropic harmonic oscillator.
#''V''(''r'')&nbsp;~&nbsp;1/''r'' to describe bound states of [[hydrogen-like atom]]s.
 
We outline the solutions in these cases, which should be compared to their counterparts in [[cartesian coordinates]], cf. [[particle in a box]]. This article relies heavily on [[Bessel function]]s and [[Laguerre polynomial]]s.
 
=== Vacuum case ===
Let us now consider ''V''(''r'') = 0 (if <math>V_0</math>, replace everywhere ''E'' with <math>E-V_0</math>). Introducing the dimensionless variable
:<math>\rho\ \stackrel{\mathrm{def}}{=}\  kr, \qquad k\ \stackrel{\mathrm{def}}{=}\  \sqrt{2m_0E\over\hbar^2}</math>
the equation becomes a Bessel equation for ''J'' defined by <math>J(\rho)\ \stackrel{\mathrm{def}}{=}\  \sqrt\rho R(r)</math> (whence the notational choice of ''J''):
:<math>\rho^2{d^2J\over d\rho^2}+\rho{dJ\over d\rho}+\left[\rho^2-\left(l+\frac{1}{2}\right)^2\right]J=0</math>
 
which regular solutions for positive energies are given by so-called [[Bessel_function#Bessel_functions_of_the_first_kind_:_J.CE.B1|''Bessel functions of the first kind']] <math>J_{l+1/2}(\rho)</math> so that the solutions written for ''R'' are the so-called [[Bessel_function#Spherical_Bessel_functions:_jn.2C_yn|''Spherical Bessel function'']]
<math>R(r) = j_l(kr) \ \stackrel{\mathrm{def}}{=}\  \sqrt{\pi/(2kr)} J_{l+1/2}(kr)</math>.
 
The solutions of Schrödinger equation in polar coordinates for a particle of mass <math>m_0</math> in vacuum are labelled by three quantum numbers: discrete indices ''l'' and ''m'', and ''k'' varying continuously in <math>[0,\infty)</math>:
:<math>\psi(\mathbf{r})=j_l(kr)Y_{lm}(\theta,\phi)</math>
where <math>k\ \stackrel{\mathrm{def}}{=}\  \sqrt{2m_0E}/\hbar</math>, <math>j_l</math> are the spherical Bessel function and <math>Y_{lm}</math> are the spherical harmonics.
 
These solutions represent states of definite angular momentum, rather than of definite (linear) momentum, which are provided by plane waves <math>\exp(i \mathbf{k}\cdot\mathbf{r})</math>.
 
=== Sphere with square potential===
 
Let us now consider the potential <math>V(r)=V_0</math> for <math>r<r_0</math> and <math>V(r)=0</math> elsewhere. That is, inside a sphere of radius <math>r_0</math> the potential is equal to ''V''<sub>0</sub> and it is zero outside the sphere. A potential with such a finite discontinuity is called a ''square potential.''<ref name ="Messiah">A. Messiah, ''Quantum Mechanics'', vol. I, p. 78, North Holland Publishing Company, Amsterdam (1967). Translation from the French by G.M. Temmer</ref>
 
We first consider bound states, i.e., states which display the particle mostly inside the box (confined states). Those have an energy ''E'' less than the potential outside the sphere, i.e., they have negative energy, and we shall see that there are a discrete number of such states, which we shall compare to positive energy with a continuous spectrum, describing scattering on the sphere (of unbound states). Also worth noticing is that unlike Coulomb potential, featuring an infinite number of discrete bound states, the spherical square well has only a finite (if any) number because of its finite range (if it has finite depth).
The resolution essentially follows that of the vacuum with normalization of the total wavefunction added, solving two Schrödinger equations &mdash; inside and outside the sphere &mdash; of the previous kind, i.e., with constant potential. Also the following constraints hold:
#The wavefunction must be regular at the origin.
#The wavefunction and its derivative must be continuous at the potential discontinuity.
#The wavefunction must converge at infinity.
 
The first constraint comes from the fact that [[Bessel function#Bessel functions of the second kind|Neumann ''N'']] and [[Bessel function#Hankel functions|Hankel ''H'' functions]] are singular at the origin. The physical argument that ''ψ'' must be defined everywhere selected [[Bessel function#Bessel functions of the first kind|Bessel function of the first kind ''J'']] over the other possibilities in the vacuum case. For the same reason, the solution will be of this kind inside the sphere:
 
:<math>R(r)=Aj_l\left(\sqrt{2m_0(E-V_0)\over\hbar^2}r\right),\qquad r<r_0</math>
 
with ''A'' a constant to be determined later. Note that for bound states, <math>V_0<E<0</math>.
 
Bound states bring the novelty as compared to the vacuum case that ''E'' is now negative (in the vacuum it was to be positive). This, along with third constraint, selects Hankel function of the first kind as the only converging solution at infinity (the singularity at the origin of these functions does not matter since we are now outside the sphere):
 
:<math>R(r)=Bh^{(1)}_l\left(i\sqrt{-2m_0E\over\hbar^2}r\right),\qquad r>r_0</math>
 
Second constraint on continuity of ψ at <math>r=r_0</math> along with normalization allows the determination of constants ''A'' and ''B''. Continuity of the derivative (or [[logarithmic derivative]] for convenience) requires quantization of energy.
 
=== Sphere with infinite square potential ===
 
In case where the potential well is infinitely deep, so that we can take <math>V_0=0</math> inside the sphere and <math>\infty</math> outside, the problem becomes that of matching the wavefunction inside the sphere (the spherical Bessel functions) with identically zero wavefunction outside the sphere.  Allowed energies are those for which the radial wavefunction vanishes at the boundary.  Thus, we use the zeros of the spherical Bessel functions to find the energy spectrum and wavefunctions.  Calling <math>u_{l,k}</math> the ''k''<sup>th</sup> zero of <math>j_l</math>, we have:
 
:<math>E_{kl}={u_{l,k}^2\hbar^2\over2m_0r_0^2}</math>
 
So that one is reduced to the computations of these zeros <math>u_{l,k}</math>, typically by using a table or calculator, as these zeros are not solvable for the general case.
 
In the special case <math>l = 0</math> (spherical symmetric orbitals), the spherical Bessel function is <math>j_0(x)=\frac{\sin x} {x}</math>, which zeros can be easily given as <math>u_{0,k} = k \pi</math>. Their energy  eigenvalues are thus:
 
:<math>E_{k0}={(k \pi)^2\hbar^2\over2m_0r_0^2}={k^2h^2\over8m_0r_0^2}</math>
 
=== 3D isotropic harmonic oscillator ===<!-- This section is linked from [[Quantum harmonic oscillator]] -->
The potential of a [[Quantum harmonic oscillator#Example: 3D isotropic harmonic oscillator|3D isotropic harmonic oscillator]] is
:<math> V(r) = \frac{1}{2} m_0 \omega^2 r^2. </math>
In [[Quantum harmonic oscillator#N-dimensional harmonic oscillator|this article]] it is shown that an ''N''-dimensional isotropic harmonic oscillator has the energies
 
:<math>E_n = \hbar \omega( n + \frac{N}{2})\quad\hbox{with}\quad n=0,1,\ldots,\infty,
</math>
 
i.e.,  ''n'' is a non-negative integral number;  ω is the (same) fundamental frequency of the ''N'' modes of the oscillator. In this case ''N'' = 3, so that the radial Schrödinger equation becomes,
 
:<math>
\left[-{\hbar^2 \over 2m_0} {d^2 \over dr^2} + {\hbar^2l(l+1) \over 2m_0r^2}+\frac{1}{2} m_0 \omega^2 r^2 - \hbar\omega(n+\frac{3}{2}) \right] u(r) = 0.
</math>
 
Introducing
 
:<math>\gamma \equiv \frac{m_0\omega}{\hbar}</math>
 
and recalling that <math>u(r) = r R(r)\,</math>, we will show that the radial Schrödinger equation  has the normalized solution,
 
:<math>
R_{n,l}(r) =N_{nl} \, r^{l} \, e^{-\frac{1}{2}\gamma r^2}\; L^{(l+\frac{1}{2})}_{\frac{1}{2}(n-l)}(\gamma r^2),
</math>
 
where the function <math>L^{(\alpha)}_k(\gamma r^2)</math> is a [[Laguerre polynomials#Generalized Laguerre polynomials|generalized Laguerre polynomial]] in ''γr''<sup>2</sup> of order ''k'' (i.e., the highest power of the polynomial is proportional to ''γ''<sup>''k''</sup>''r''<sup>2''k''</sup>).
 
The normalization constant ''N<sub>nl</sub>'' is,
 
:<math>
N_{nl} = \left[\frac{ 2^{n+l+2} \,\gamma^{l+\frac{3}{2}} } {\pi^{\frac{1}{2}}}
        \right]^{\frac{1}{2}}
        \left[\frac{ [\frac{1}{2}(n-l)]!\;[\frac{1}{2}(n+l)]!}{(n+l+1)!}
        \right]^{\frac{1}{2}} .
</math>
 
The eigenfunction ''R<sub>n,l</sub>(r)'' belongs to energy ''E<sub>n</sub>'' and is to be multiplied by the spherical harmonic <math>Y_{lm}(\theta, \phi)\,</math>, where
 
:<math> l = n, n-2, \ldots, l_\min\quad
\hbox{with}\quad l_\min =
\begin{cases}
1 & \mathrm{if}\; n\; \mathrm{odd} \\
0 & \mathrm{if}\; n\; \mathrm{even}
\end{cases}
</math>
 
This is the same result as given in [[Quantum harmonic oscillator#Example: 3D isotropic harmonic oscillator|this article]] if we realize that <math>\gamma = 2 \nu\,</math>.
 
==== Derivation ====
First we transform the radial equation by a few successive substitutions to the generalized Laguerre differential equation, which has known solutions: the generalized Laguerre functions.
Then we normalize the generalized Laguerre functions to unity. This normalization is with
the usual volume element ''r''<sup>2</sup>&nbsp;d''r''.
 
First we [[nondimensionalization|scale]] the radial coordinate
 
:<math>y = \sqrt{\gamma}r \quad \hbox{with}\quad \gamma \equiv \frac{m_0\omega}{\hbar},</math>
 
and then the equation becomes
 
:<math>\left[{d^2 \over dy^2} - {l(l+1) \over y^2} - y^2 + 2n - 3 \right] v(y) = 0 </math>
 
with <math>v(y) = u \left(y / \sqrt{\gamma} \right)</math>.
 
Consideration of the limiting behaviour of ''v''(''y'') at the origin and at infinity suggests the following substitution for ''v''(''y''),
:<math>v(y) = y^{l+1} e^{-y^2/2} f(y).</math>
This substitution transforms the differential equation to
 
:<math>\left[{d^2 \over dy^2} + 2 \left(\frac{l+1}{y}-y\right)\frac{d}{dy} + 2n - 2l  \right] f(y) = 0,</math>
 
where we divided through with <math>y^{l+1} e^{-y^2/2}</math>, which can be done so long as ''y'' is not zero.
 
===== Transformation to Laguerre polynomials =====
If the substitution <math>x = y^2\,</math> is used, <math>y = \sqrt{x}</math>, and the differential operators become
 
:<math>\frac{d}{dy} = \frac{dx}{dy}\frac{d}{dx} = 2 y \frac{d}{dx} = 2 \sqrt{x} \frac{d}{dx}, \text{ and }</math>
:<math>\frac{d^2}{dy^2} = \frac{d}{dy} \left( 2 y \frac{d}{dx} \right) = 4 x \frac{d^2}{dx^2} + 2 \frac{d}{dx}. </math>
 
The expression between the square brackets multiplying ''f''(''y'') becomes the differential equation characterizing the generalized [[Laguerre polynomials#Generalized Laguerre polynomials|Laguerre equation]] (see also [[Confluent hypergeometric function#Kummer.27s equation|Kummer's equation]]):
 
:<math>x\frac{d^2g}{dx^2} + \Big( (l+\frac{1}{2}) + 1 - x\Big) \frac{dg}{dx} + \frac{1}{2}(n-l) g(x) = 0</math>
with <math>g(x) \equiv f(\sqrt{x}) \,\;</math>.
 
Provided <math>k \equiv (n-l)/2 \,</math> is a non-negative integral number, the solutions of
this equations are generalized (associated) [[Laguerre polynomials]]
 
:<math> g(x) = L_k^{(l+\frac{1}{2})}(x).</math>
 
From the conditions on ''k'' follows: (i) <math>n \ge l\,</math> and (ii) ''n'' and ''l'' are either both odd or both even. This leads to the condition on ''l'' given above.
 
===== Recovery of the normalized radial wavefunction =====
Remembering that <math>u(r) = r R(r)\,</math>, we get the normalized radial solution
:<math>
R_{n,l}(r) =N_{nl} \, r^{l} \, e^{-\frac{1}{2}\gamma r^2}\; L^{(l+\frac{1}{2})}_{\frac{1}{2}(n-l)}(\gamma r^2).
</math>
 
The normalization condition for the radial wavefunction is
 
:<math>\int^\infty_0 r^2 |R(r)|^2 \, dr = 1.</math>
 
Substituting <math>q = \gamma r^2 \,\;</math>, gives <math>dq = 2 \gamma r \, dr \,\;</math> and the equation becomes
 
:<math>\frac{N^2_{nl}}{2\gamma^{l+{3 \over 2}}}
\int^\infty_0 q^{l + {1 \over 2}} e^{-q} \left [ L^{(l+\frac{1}{2})}_{\frac{1}{2}(n-l)}(q) \right ]^2  \, dq = 1.</math>
 
By making use of the [[Laguerre polynomials#Generalized Laguerre polynomials|orthogonality properties]] of the generalized Laguerre polynomials, this equation simplifies to
:<math>\frac{N^2_{nl}}{2\gamma^{l+{3 \over 2}}} \cdot \frac{\Gamma[\frac{1}{2}(n+l+1)+1]}{[\frac{1}{2}(n-l)]!} = 1.</math>
 
Hence, the [[normalization constant]] can be expressed as
 
:<math>N_{nl} = \sqrt{\frac{2 \, \gamma^{l+{3\over 2}} \, (\frac{n-l}{2})! }{\Gamma(\frac{n+l}{2}+\frac{3}{2})}} </math>
 
Other forms of the normalization constant can be derived by using [[Gamma function#Properties|properties of the gamma function]], while noting that ''n'' and ''l'' are both of the same parity. This means that ''n''&nbsp;+&nbsp;''l'' is always even, so that the gamma function becomes
 
:<math>\Gamma \left[{1 \over 2} + \left( \frac{n+l}{2} + 1 \right) \right]
= \frac{\sqrt{\pi}(n+l+1)!!}{2^{\frac{n+l}{2}+1}} = \frac{\sqrt{\pi}(n+l+1)!}{2^{n+l+1}[\frac{1}{2}(n+l)]!},</math>
 
where we used the definition of the [[double factorial]]. Hence, the normalization constant is also given by
 
:<math> N_{nl} = \left [ \frac{2^{n+l+2} \,\gamma^{l+{3 \over 2}}\,[{1 \over 2}(n-l)]!\;[{1 \over 2}(n+l)]!}{\;\pi^{1 \over 2} (n+l+1)! } \right ]^{1 \over 2}
= \sqrt{2} \left( \frac{\gamma}{\pi} \right )^{1 \over 4} \,({2 \gamma})^{\ell \over 2} \, \sqrt{\frac{2 \gamma (n-l)!!}{(n+l+1)!!}}
.</math>
 
=== Hydrogen-like atoms ===
{{main|hydrogen-like atom}}
 
A hydrogenic (hydrogen-like) atom is a two-particle system consisting of a nucleus and an electron. The two particles interact through the potential given by [[Coulomb's law]]:
 
:<math>V(r) = -\frac{1}{4 \pi \epsilon_0} \frac{Ze^2}{r}</math>
 
where
* ε<sub>0</sub> is the [[Permittivity#Vacuum permittivity|permittivity]] of the vacuum,
* ''Z'' is the [[atomic number]] (''eZ'' is the charge of the nucleus),
* ''e'' is the [[elementary charge]] (charge of the electron),
* ''r'' is the distance between the electron and the nucleus.
 
The mass ''m''<sub>0</sub>, introduced above, is the [[reduced mass]] of the system. Because the electron mass is about  1836 smaller than the mass of the lightest nucleus (the proton), the value of ''m''<sub>0</sub> is very close to the mass of the electron ''m''<sub>e</sub> for all hydrogenic atoms. In the remaining of the article we make the approximation
''m''<sub>0</sub> = ''m''<sub>e</sub>. Since  ''m''<sub>e</sub> will appear explicitly in the formulas it will be easy to correct for this approximation if necessary.
 
In order to simplify the Schrödinger equation, we introduce the following constants that define the [[atomic unit]] of energy and length, respectively,
 
:<math> E_\textrm{h} = m_\textrm{e} \left( \frac{e^2}{4 \pi \varepsilon_0 \hbar}\right)^2 \quad\hbox{and}\quad
a_{0} = {{4\pi\varepsilon_0\hbar^2}\over{m_\textrm{e} e^2}}. </math>
 
Substitute <math> y = Zr/a_0\,</math> and <math>W = E/(Z^2 E_\textrm{h})\,</math>  into the radial Schrödinger equation given above. This gives an equation in which all natural constants are hidden,
:<math> \left[ -\frac{1}{2} \frac{d^2}{dy^2} + \frac{1}{2} \frac{l(l+1)}{y^2} - \frac{1}{y}\right] u_l = W u_l .
</math>
Two classes of solutions of this equation exist: (i) ''W'' is negative, the corresponding eigenfunctions are square integrable and the values of ''W'' are quantized (discrete spectrum).
(ii) ''W'' is non-negative. Every real non-negative value of ''W'' is physically allowed (continuous spectrum), the corresponding eigenfunctions are non-square integrable. In the remaining part of this article only class (i) solutions will be considered. The wavefunctions are known as [[bound state]]s, in contrast to the class (ii) solutions that are known as ''scattering states''.
 
For negative ''W'' the quantity <math>\alpha \equiv 2\sqrt{-2W}</math> is real and positive. The scaling of ''y'', i.e., substitution of  <math>x \equiv \alpha y </math>  gives the Schrödinger equation:
 
:<math>
\left[  \frac{d^2}{dx^2} -\frac{l(l+1)}{x^2}+\frac{2}{\alpha x} - \frac{1}{4} \right] u_l = 0,
\quad \text{with } x \ge 0.
</math>
 
For <math> x \rightarrow \infty</math> the inverse powers of ''x'' are negligible and a solution for large ''x'' is <math>\exp[-x/2]</math>. The other solution, <math>\exp[x/2]</math>, is physically non-acceptable. For <math> x \rightarrow 0</math> the inverse square power dominates and a solution for small ''x'' is ''x''<sup>''l''+1</sup>. The other solution, ''x''<sup>-''l''</sup>, is physically non-acceptable.
Hence, to obtain a full range solution we substitute
 
:<math>
u_l(x) = x^{l+1} e^{-x/2}f_l(x).\,
</math>
 
The equation for ''f''<sub>''l''</sub>(''x'') becomes,
 
:<math>
\left[ x\frac{d^2}{dx^2} + (2l+2-x) \frac{d}{dx} +(\nu -l-1)\right] f_l(x) = 0 \quad\hbox{with}\quad \nu = (-2W)^{-\frac{1}{2}}.
</math>
 
Provided <math>\nu-l-1</math> is a non-negative integer, say ''k'', this equation has polynomial solutions written as
 
:<math>
L^{(2l+1)}_{k}(x),\qquad k=0,1,\ldots ,
</math>
 
which are  [[Laguerre polynomials#Generalized Laguerre polynomials|generalized Laguerre polynomials]] of order ''k''.  We will take the convention for generalized Laguerre polynomials
of Abramowitz and Stegun.<ref>{{Abramowitz_Stegun_ref|22|775}}</ref>
Note that the Laguerre polynomials given  in many quantum mechanical textbooks, for instance the book of Messiah,<ref name="Messiah" /> are those of Abramowitz and Stegun multiplied by a factor (''2l+1+k'')! The definition given [[Laguerre polynomials#Generalized Laguerre polynomials|in this Wikipedia article]] coincides with the one of Abramowitz and Stegun.
 
The energy becomes
 
:<math> W = -\frac{1}{2n^2}\quad \hbox{with}\quad n \equiv k+l+1 . </math>
 
The [[principal quantum number]] ''n'' satisfies <math> n \ge l+1</math>, or <math> l \le n-1</math>.
Since <math>\alpha = 2/n</math>, the total radial wavefunction is
 
:<math>
R_{nl}(r) = N_{nl} \left(\frac{2Zr}{na_0}\right)^{l}\; e^{-{\textstyle \frac{Zr}{na_0}}}\; L^{(2l+1)}_{n-l-1}\left(\frac{2Zr}{na_0}\right),
</math>
 
with normalization constant
:<math>N_{nl} = \left[\left(\frac{2Z}{na_0}\right)^3 \cdot \frac{(n-l-1)!}{2n[(n+l)!]^3}\right]^{1 \over 2}</math>
 
which belongs to the energy
:<math> E = - \frac{Z^2}{2n^2}E_\textrm{h},\qquad n=1,2,\ldots .
</math>
 
In the computation of the normalization constant use was made of the integral
<ref>H. Margenau and G. M. Murphy, ''The Mathematics of Physics and Chemistry'', Van Nostrand, 2nd edition (1956), p. 130. Note that convention of the Laguerre polynomial in this book differs from the present one. If we indicate the Laguerre in the definition  of Margenau and Murphy with a bar on top, we have <math>\bar{L}^{(k)}_{n+k} = (-1)^k (n+k)! L^{(k)}_n</math>.
</ref>
 
:<math>
\int_0^\infty x^{2l+2} e^{-x} \left[ L^{(2l+1)}_{n-l-1}(x)\right]^2 dx =
\frac{2n (n+l)!}{(n-l-1)!} .
</math>
 
==References==
<references />
 
* {{Cite book |title=Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators |author= Gerald Teschl |authorlink= Gerald Teschl |publisher= American Mathematical Society |year=2009 |url=http://www.mat.univie.ac.at/~gerald/ftp/book-schroe/ |isbn=9780821846605  }}
 
{{DEFAULTSORT:Particle In A Spherically Symmetric Potential}}
[[Category:Partial differential equations]]
[[Category:Quantum models]]

Revision as of 02:35, 20 November 2013

Template:Multiple issues An important kind of problem in quantum mechanics is that of a particle in a spherically symmetric potential, i.e., a potential that depends only on the distance between the particle and a defined center point. In particular, if the particle in question is an electron and the potential is derived from Coulomb's law, then the problem can be used to describe a hydrogen-like (one-electron) atom (or ion).

In the general case, the dynamics of a particle in a spherically symmetric potential are governed by a Hamiltonian of the following form:

H^=p^22m0+V(r)

where m0 is the mass of the particle, p^ is the momentum operator, and the potential V(r) depends only on r, the modulus of the radius vector r. The quantum mechanical wavefunctions and energies (eigenvalues) are found by solving the Schrödinger equation with this Hamiltonian. Due to the spherical symmetry of the system, it is natural to use spherical coordinates r, θ and ϕ. When this is done, the time-independent Schrödinger equation for the system is separable, allowing the angular problems to be dealt with easily, and leaving an ordinary differential equation in r to determine the energies for the particular potential V(r) under discussion.

Structure of the eigenfunctions

The eigenfunctions of the Schrödinger equation have the form

ψ(r,θ,ϕ)=R(r)Θ(θ)Φ(ϕ)

in which the spherical polar angles θ and φ represent the colatitude and azimuthal angle, respectively. The last two factors of ψ are often grouped together as spherical harmonics, so that the eigenfunctions take the form

ψ(r,θ,ϕ)=R(r)Ylm(θ,ϕ).

The differential equation which characterizes the function R(r) is called the radial equation.

Derivation of the radial equation

The kinetic energy operator in spherical polar coordinates is

p^22m0=22m02=22m0r2[r(r2r)l^2].

The spherical harmonics satisfy

l^2Ylm(θ,ϕ){1sin2θ[sinθθ(sinθθ)+2ϕ2]}Ylm(θ,ϕ)=l(l+1)Ylm(θ,ϕ).

Substituting this into the Schrödinger equation we get a one-dimensional eigenvalue equation,

{22m0r2ddr(r2ddr)+2l(l+1)2m0r2+V(r)}R(r)=ER(r).

Relationship with 1-D Schrödinger equation

Note that the first term in the kinetic energy can be rewritten

Tr1r2ddrr2ddr=1rd2dr2r.

If subsequently the substitution u(r)=defrR(r) is made into

22m0rd2dr2(rR(r))+2l(l+1)2m0r2R(r)+V(r)R(r)=ER(r),

the radial equation becomes

22m0d2udr2+Veff(r)u(r)=Eu(r)

which is precisely a Schrödinger equation for the function u(r) with an effective potential given by

Veff(r)=V(r)+2l(l+1)2m0r2,

where the radial coordinate r ranges from 0 to . The correction to the potential V(r) is called the centrifugal barrier term.

Solutions for potentials of interest

Five special cases arise, of special importance:

  1. V(r) = 0, or solving the vacuum in the basis of spherical harmonics, which serves as the basis for other cases.
  2. V(r)=V0 (finite) for r<r0 and 0 elsewhere, or a particle in the spherical equivalent of the square well, useful to describe scattering and bound states in a nucleus or quantum dot.
  3. As the previous case, but with an infinitely high jump in the potential on the surface of the sphere.
  4. V(r) ~ r2 for the three-dimensional isotropic harmonic oscillator.
  5. V(r) ~ 1/r to describe bound states of hydrogen-like atoms.

We outline the solutions in these cases, which should be compared to their counterparts in cartesian coordinates, cf. particle in a box. This article relies heavily on Bessel functions and Laguerre polynomials.

Vacuum case

Let us now consider V(r) = 0 (if V0, replace everywhere E with EV0). Introducing the dimensionless variable

ρ=defkr,k=def2m0E2

the equation becomes a Bessel equation for J defined by J(ρ)=defρR(r) (whence the notational choice of J):

ρ2d2Jdρ2+ρdJdρ+[ρ2(l+12)2]J=0

which regular solutions for positive energies are given by so-called Bessel functions of the first kind' Jl+1/2(ρ) so that the solutions written for R are the so-called Spherical Bessel function R(r)=jl(kr)=defπ/(2kr)Jl+1/2(kr).

The solutions of Schrödinger equation in polar coordinates for a particle of mass m0 in vacuum are labelled by three quantum numbers: discrete indices l and m, and k varying continuously in [0,):

ψ(r)=jl(kr)Ylm(θ,ϕ)

where k=def2m0E/, jl are the spherical Bessel function and Ylm are the spherical harmonics.

These solutions represent states of definite angular momentum, rather than of definite (linear) momentum, which are provided by plane waves exp(ikr).

Sphere with square potential

Let us now consider the potential V(r)=V0 for r<r0 and V(r)=0 elsewhere. That is, inside a sphere of radius r0 the potential is equal to V0 and it is zero outside the sphere. A potential with such a finite discontinuity is called a square potential.[1]

We first consider bound states, i.e., states which display the particle mostly inside the box (confined states). Those have an energy E less than the potential outside the sphere, i.e., they have negative energy, and we shall see that there are a discrete number of such states, which we shall compare to positive energy with a continuous spectrum, describing scattering on the sphere (of unbound states). Also worth noticing is that unlike Coulomb potential, featuring an infinite number of discrete bound states, the spherical square well has only a finite (if any) number because of its finite range (if it has finite depth).

The resolution essentially follows that of the vacuum with normalization of the total wavefunction added, solving two Schrödinger equations — inside and outside the sphere — of the previous kind, i.e., with constant potential. Also the following constraints hold:

  1. The wavefunction must be regular at the origin.
  2. The wavefunction and its derivative must be continuous at the potential discontinuity.
  3. The wavefunction must converge at infinity.

The first constraint comes from the fact that Neumann N and Hankel H functions are singular at the origin. The physical argument that ψ must be defined everywhere selected Bessel function of the first kind J over the other possibilities in the vacuum case. For the same reason, the solution will be of this kind inside the sphere:

R(r)=Ajl(2m0(EV0)2r),r<r0

with A a constant to be determined later. Note that for bound states, V0<E<0.

Bound states bring the novelty as compared to the vacuum case that E is now negative (in the vacuum it was to be positive). This, along with third constraint, selects Hankel function of the first kind as the only converging solution at infinity (the singularity at the origin of these functions does not matter since we are now outside the sphere):

R(r)=Bhl(1)(i2m0E2r),r>r0

Second constraint on continuity of ψ at r=r0 along with normalization allows the determination of constants A and B. Continuity of the derivative (or logarithmic derivative for convenience) requires quantization of energy.

Sphere with infinite square potential

In case where the potential well is infinitely deep, so that we can take V0=0 inside the sphere and outside, the problem becomes that of matching the wavefunction inside the sphere (the spherical Bessel functions) with identically zero wavefunction outside the sphere. Allowed energies are those for which the radial wavefunction vanishes at the boundary. Thus, we use the zeros of the spherical Bessel functions to find the energy spectrum and wavefunctions. Calling ul,k the kth zero of jl, we have:

Ekl=ul,k222m0r02

So that one is reduced to the computations of these zeros ul,k, typically by using a table or calculator, as these zeros are not solvable for the general case.

In the special case l=0 (spherical symmetric orbitals), the spherical Bessel function is j0(x)=sinxx, which zeros can be easily given as u0,k=kπ. Their energy eigenvalues are thus:

Ek0=(kπ)222m0r02=k2h28m0r02

3D isotropic harmonic oscillator

The potential of a 3D isotropic harmonic oscillator is

V(r)=12m0ω2r2.

In this article it is shown that an N-dimensional isotropic harmonic oscillator has the energies

En=ω(n+N2)withn=0,1,,,

i.e., n is a non-negative integral number; ω is the (same) fundamental frequency of the N modes of the oscillator. In this case N = 3, so that the radial Schrödinger equation becomes,

[22m0d2dr2+2l(l+1)2m0r2+12m0ω2r2ω(n+32)]u(r)=0.

Introducing

γm0ω

and recalling that u(r)=rR(r), we will show that the radial Schrödinger equation has the normalized solution,

Rn,l(r)=Nnlrle12γr2L12(nl)(l+12)(γr2),

where the function Lk(α)(γr2) is a generalized Laguerre polynomial in γr2 of order k (i.e., the highest power of the polynomial is proportional to γkr2k).

The normalization constant Nnl is,

Nnl=[2n+l+2γl+32π12]12[[12(nl)]![12(n+l)]!(n+l+1)!]12.

The eigenfunction Rn,l(r) belongs to energy En and is to be multiplied by the spherical harmonic Ylm(θ,ϕ), where

l=n,n2,,lminwithlmin={1ifnodd0ifneven

This is the same result as given in this article if we realize that γ=2ν.

Derivation

First we transform the radial equation by a few successive substitutions to the generalized Laguerre differential equation, which has known solutions: the generalized Laguerre functions. Then we normalize the generalized Laguerre functions to unity. This normalization is with the usual volume element r2 dr.

First we scale the radial coordinate

y=γrwithγm0ω,

and then the equation becomes

[d2dy2l(l+1)y2y2+2n3]v(y)=0

with v(y)=u(y/γ).

Consideration of the limiting behaviour of v(y) at the origin and at infinity suggests the following substitution for v(y),

v(y)=yl+1ey2/2f(y).

This substitution transforms the differential equation to

[d2dy2+2(l+1yy)ddy+2n2l]f(y)=0,

where we divided through with yl+1ey2/2, which can be done so long as y is not zero.

Transformation to Laguerre polynomials

If the substitution x=y2 is used, y=x, and the differential operators become

ddy=dxdyddx=2yddx=2xddx, and 
d2dy2=ddy(2yddx)=4xd2dx2+2ddx.

The expression between the square brackets multiplying f(y) becomes the differential equation characterizing the generalized Laguerre equation (see also Kummer's equation):

xd2gdx2+((l+12)+1x)dgdx+12(nl)g(x)=0

with g(x)f(x).

Provided k(nl)/2 is a non-negative integral number, the solutions of this equations are generalized (associated) Laguerre polynomials

g(x)=Lk(l+12)(x).

From the conditions on k follows: (i) nl and (ii) n and l are either both odd or both even. This leads to the condition on l given above.

Recovery of the normalized radial wavefunction

Remembering that u(r)=rR(r), we get the normalized radial solution

Rn,l(r)=Nnlrle12γr2L12(nl)(l+12)(γr2).

The normalization condition for the radial wavefunction is

0r2|R(r)|2dr=1.

Substituting q=γr2, gives dq=2γrdr and the equation becomes

Nnl22γl+320ql+12eq[L12(nl)(l+12)(q)]2dq=1.

By making use of the orthogonality properties of the generalized Laguerre polynomials, this equation simplifies to

Nnl22γl+32Γ[12(n+l+1)+1][12(nl)]!=1.

Hence, the normalization constant can be expressed as

Nnl=2γl+32(nl2)!Γ(n+l2+32)

Other forms of the normalization constant can be derived by using properties of the gamma function, while noting that n and l are both of the same parity. This means that n + l is always even, so that the gamma function becomes

Γ[12+(n+l2+1)]=π(n+l+1)!!2n+l2+1=π(n+l+1)!2n+l+1[12(n+l)]!,

where we used the definition of the double factorial. Hence, the normalization constant is also given by

Nnl=[2n+l+2γl+32[12(nl)]![12(n+l)]!π12(n+l+1)!]12=2(γπ)14(2γ)22γ(nl)!!(n+l+1)!!.

Hydrogen-like atoms

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.

A hydrogenic (hydrogen-like) atom is a two-particle system consisting of a nucleus and an electron. The two particles interact through the potential given by Coulomb's law:

V(r)=14πϵ0Ze2r

where

The mass m0, introduced above, is the reduced mass of the system. Because the electron mass is about 1836 smaller than the mass of the lightest nucleus (the proton), the value of m0 is very close to the mass of the electron me for all hydrogenic atoms. In the remaining of the article we make the approximation m0 = me. Since me will appear explicitly in the formulas it will be easy to correct for this approximation if necessary.

In order to simplify the Schrödinger equation, we introduce the following constants that define the atomic unit of energy and length, respectively,

Eh=me(e24πε0)2anda0=4πε02mee2.

Substitute y=Zr/a0 and W=E/(Z2Eh) into the radial Schrödinger equation given above. This gives an equation in which all natural constants are hidden,

[12d2dy2+12l(l+1)y21y]ul=Wul.

Two classes of solutions of this equation exist: (i) W is negative, the corresponding eigenfunctions are square integrable and the values of W are quantized (discrete spectrum). (ii) W is non-negative. Every real non-negative value of W is physically allowed (continuous spectrum), the corresponding eigenfunctions are non-square integrable. In the remaining part of this article only class (i) solutions will be considered. The wavefunctions are known as bound states, in contrast to the class (ii) solutions that are known as scattering states.

For negative W the quantity α22W is real and positive. The scaling of y, i.e., substitution of xαy gives the Schrödinger equation:

[d2dx2l(l+1)x2+2αx14]ul=0,with x0.

For x the inverse powers of x are negligible and a solution for large x is exp[x/2]. The other solution, exp[x/2], is physically non-acceptable. For x0 the inverse square power dominates and a solution for small x is xl+1. The other solution, x-l, is physically non-acceptable. Hence, to obtain a full range solution we substitute

ul(x)=xl+1ex/2fl(x).

The equation for fl(x) becomes,

[xd2dx2+(2l+2x)ddx+(νl1)]fl(x)=0withν=(2W)12.

Provided νl1 is a non-negative integer, say k, this equation has polynomial solutions written as

Lk(2l+1)(x),k=0,1,,

which are generalized Laguerre polynomials of order k. We will take the convention for generalized Laguerre polynomials of Abramowitz and Stegun.[2] Note that the Laguerre polynomials given in many quantum mechanical textbooks, for instance the book of Messiah,[1] are those of Abramowitz and Stegun multiplied by a factor (2l+1+k)! The definition given in this Wikipedia article coincides with the one of Abramowitz and Stegun.

The energy becomes

W=12n2withnk+l+1.

The principal quantum number n satisfies nl+1, or ln1. Since α=2/n, the total radial wavefunction is

Rnl(r)=Nnl(2Zrna0)leZrna0Lnl1(2l+1)(2Zrna0),

with normalization constant

Nnl=[(2Zna0)3(nl1)!2n[(n+l)!]3]12

which belongs to the energy

E=Z22n2Eh,n=1,2,.

In the computation of the normalization constant use was made of the integral [3]

0x2l+2ex[Lnl1(2l+1)(x)]2dx=2n(n+l)!(nl1)!.

References

  1. 1.0 1.1 A. Messiah, Quantum Mechanics, vol. I, p. 78, North Holland Publishing Company, Amsterdam (1967). Translation from the French by G.M. Temmer
  2. Template:Abramowitz Stegun ref
  3. H. Margenau and G. M. Murphy, The Mathematics of Physics and Chemistry, Van Nostrand, 2nd edition (1956), p. 130. Note that convention of the Laguerre polynomial in this book differs from the present one. If we indicate the Laguerre in the definition of Margenau and Murphy with a bar on top, we have L¯n+k(k)=(1)k(n+k)!Ln(k).
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534