Spherical Potential Well
   HOME

TheInfoList



OR:

In the quantum mechanics description of a particle in spherical coordinates, a spherically symmetric potential, is a potential that depends only on the distance between the particle and a defined centre point. One example of a spherical potential is the electron within a hydrogen atom. The electron's potential depends only on its distance from the proton in the atom's nucleus. This spherical potential can be derived from Coulomb's law. In the general case, the dynamics of a particle in a spherically symmetric potential are governed by a Hamiltonian of the following form: \hat = \frac + V(r) Where m_0 is the mass of the particle, \hat is the
momentum operator In quantum mechanics, the momentum operator is the operator (physics), operator associated with the momentum (physics), linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case o ...
, and the potential V(r) depends only on r, the modulus of the radius vector. The possible
quantum states In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement in quantum mechanics, measurement on a system. Knowledge of the quantum state together with the rul ...
of the particle are found by using the above Hamiltonian to solve the Schrödinger equation for its
eigenvalues In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted b ...
, which are wave functions. To describe these spherically symmetric systems, it is natural to use spherical coordinates, r, \theta and \phi. When this is done, the time-independent Schrödinger equation for the system is separable. This means solutions to the angular dimensions of the equation can be found independently of the radial dimension. This leaves an ordinary differential equation in terms only of the radius, r, which determines the
eigenstates In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution i ...
for the particular potential, V(r).


Structure of the eigenfunctions

The
eigenstates In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution i ...
of the
system A system is a group of Interaction, interacting or interrelated elements that act according to a set of rules to form a unified whole. A system, surrounded and influenced by its environment (systems), environment, is described by its boundaries, ...
have the form: \psi(r, \theta, \phi) = R(r)\Theta(\theta)\Phi(\phi) in which the spherical polar angles θ and φ represent the
colatitude In a spherical coordinate system, a colatitude is the complementary angle of a given latitude, i.e. the difference between a right angle and the latitude. Here Southern latitudes are defined to be negative, and as a result the colatitude is a non- ...
and azimuthal angle, respectively. The last two factors of ψ are often grouped together as spherical harmonics, so that the eigenfunctions take the form: \psi(r, \theta, \phi) = R(r)Y_(\theta,\phi). 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: \frac = -\frac \nabla^2 = - \frac \left \frac \left(r^2 \frac\right) - \hat^2 \right The spherical harmonics satisfy \hat^2 Y_(\theta,\phi)\equiv \left\ Y_(\theta,\phi) = \ell(\ell+1)Y_(\theta,\phi). Substituting this into the Schrödinger equation we get a one-dimensional eigenvalue equation, \frac\frac \left(r^2\frac\right) - \frac R + \frac \left -V(r)\right = 0. This equation can be reduced to an equivalent 1-D Schrödinger equation by substituting R(r) = u(r)/r, where u(r) satisfies + \frac \left -V_(r)\rightu = 0 which is precisely the one-dimensional Schrödinger equation with an effective potential given by V_(r) = V(r) + , where the radial coordinate ''r'' ranges from 0 to \infty. The correction to the potential ''V''(''r'') is called the centrifugal barrier term. If \lim_ r^2 V(r) =0, then near the origin, R \sim r^\ell.


Solutions for potentials of interest

Five special cases arise, of special importance: #V(r) = 0, or solving the vacuum in the basis of spherical harmonics, which serves as the basis for other cases. #V(r)=V_0 (finite) for r and zero elsewhere. # V(r) = 0 for r < r_0 and infinite elsewhere, the spherical equivalent of the
square well In quantum mechanics, the particle in a box model (also known as the infinite potential well or the infinite square well) describes a particle free to move in a small space surrounded by impenetrable barriers. The model is mainly used as a hypo ...
, useful to describe bound states in a
nucleus Nucleus ( : nuclei) is a Latin word for the seed inside a fruit. It most often refers to: *Atomic nucleus, the very dense central region of an atom *Cell nucleus, a central organelle of a eukaryotic cell, containing most of the cell's DNA Nucle ...
or quantum dot. #V(r) \propto r^for the three-dimensional isotropic harmonic oscillator. #V(r) \propto \frac 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 A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
, cf. particle in a box. The following derivations rely heavily on Bessel functions and
Laguerre polynomial In mathematics, the Laguerre polynomials, named after Edmond Laguerre (1834–1886), are solutions of Laguerre's equation: xy'' + (1 - x)y' + ny = 0 which is a second-order linear differential equation. This equation has nonsingular solutions only ...
s.


Vacuum case states

Let us now consider ''V''(''r'') = 0 (if V_0, replace everywhere ''E'' with E-V_0). Introducing the dimensionless variable \rho\ \stackrel\ kr, \qquad k\ \stackrel\ \sqrt the equation becomes a Bessel equation for ''J'' defined by J(\rho)\ \stackrel\ \sqrt\rho R(r) (whence the notational choice of ''J''): \rho^2\frac+\rho \frac+\left rho^2-\left(\ell+\frac\right)^2 \rightJ = 0 which regular solutions for positive energies are given by so-called ''Bessel functions of the first kind'' J_(\rho) so that the solutions written for ''R'' are the so-called ''Spherical Bessel function'' R(r) = j_l(kr) \ \stackrel\ \sqrt J_(kr). The solutions of Schrödinger equation in polar coordinates for a particle of mass m_0 in vacuum are labelled by three quantum numbers: discrete indices ''ℓ'' and ''m'', and ''k'' varying continuously in \psi(\mathbf) = j_\ell(kr) Y_(\theta,\phi) where k\ \stackrel\ \sqrt/\hbar, j_\ell are the spherical Bessel functions and Y_ 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(i \mathbf\cdot\mathbf).


Sphere with finite "square" potential

Let us now consider the potential V(r)=V_0 for r and V(r)=0 elsewhere. That is, inside a sphere of radius r_0 the potential is equal to ''V''0 and it is zero outside the sphere. A potential with such a finite discontinuity is called a ''square potential.''A. Messiah, ''Quantum Mechanics'', vol. I, p. 78, North Holland Publishing Company, Amsterdam (1967). Translation from the French by G.M. Temmer 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: #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 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: R(r) = A j_\ell\left(\sqrtr\right), \qquad r < r_0 with ''A'' a constant to be determined later. Note that for bound states, V_0 < 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) = Bh^_\ell\left(i\sqrtr\right), \qquad r>r_0 Second constraint on continuity of ψ at r=r_0 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 V_0=0 inside the sphere and \infty outside, the problem becomes that of matching the wavefunction inside the sphere (the
spherical Bessel functions Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrary ...
) 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 u_ the ''k''th zero of j_\ell, we have: E_ = \frac So that one is reduced to the computations of these zeros u_, typically by using a table or calculator, as these zeros are not solvable for the general case. In the special case \ell = 0 (spherical symmetric orbitals), the spherical Bessel function is j_0(x) = \frac , which zeros can be easily given as u_ = k \pi. Their energy eigenvalues are thus: E_ = \frac = \frac


3D isotropic harmonic oscillator

The potential of a 3D isotropic harmonic oscillator is V(r) = \frac m_0 \omega^2 r^2. An ''N''-dimensional isotropic harmonic oscillator has the energies E_n = \hbar \omega\left( n + \frac \right) \quad\text\quad n=0,1,\ldots,\infty, 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, \left \frac \frac + +\frac m_0 \omega^2 r^2 - \hbar\omega\left(n+\tfrac\right) \rightu(r) = 0. Introducing \gamma \equiv \frac and recalling that u(r) = r R(r), we will show that the radial Schrödinger equation has the normalized solution, R_(r) = N_ \, r^ \, e^\; L^_(\gamma r^2), where the function L^_k(\gamma r^2) is a
generalized Laguerre polynomial In mathematics, the Laguerre polynomials, named after Edmond Laguerre (1834–1886), are solutions of Laguerre's equation: xy'' + (1 - x)y' + ny = 0 which is a second-order linear differential equation. This equation has nonsingular solutions only ...
in ''γr''2 of order ''k'' (i.e., the highest power of the polynomial is proportional to ''γ''''k''''r''2''k''). The normalization constant ''Nnℓ'' is, N_ = \left frac \right \left frac \right . The eigenfunction belongs to energy and is to be multiplied by the spherical harmonic Y_(\theta, \phi), where \ell = n, n-2, \ldots, \ell_\min\quad \text\quad \ell_\min = \begin 1 & \text~ n~ \text \\ 0 & \text~ n~ \text \end This is the same result as given in the
Harmonic Oscillator In classical mechanics, a harmonic oscillator is a system that, when displaced from its Mechanical equilibrium, equilibrium position, experiences a restoring force ''F'' Proportionality (mathematics), proportional to the displacement ''x'': \v ...
article, with the minor notational difference of \gamma = 2 \nu.


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 . First we
scale Scale or scales may refer to: Mathematics * Scale (descriptive set theory), an object defined on a set of points * Scale (ratio), the ratio of a linear dimension of a model to the corresponding dimension of the original * Scale factor, a number ...
the radial coordinate y = \sqrtr \quad \text\quad \gamma \equiv \frac, and then the equation becomes \left frac - \frac - y^2 + 2n + 3 \rightv(y) = 0 with v(y) = u \left(y / \sqrt \right). Consideration of the limiting behaviour of at the origin and at infinity suggests the following substitution for , v(y) = y^ e^ f(y). This substitution transforms the differential equation to \left frac + 2 \left(\frac-y\right)\frac + 2n - 2\ell \rightf(y) = 0, where we divided through with y^ e^, which can be done so long as ''y'' is not zero.


= Transformation to Laguerre polynomials

= If the substitution x = y^2 is used, y = \sqrt, and the differential operators become \frac = \frac\frac = 2 y \frac = 2 \sqrt \frac, and \frac = \frac \left( 2 y \frac \right) = 4 x \frac + 2 \frac. The expression between the square brackets multiplying ''f''(''y'') becomes the differential equation characterizing the generalized Laguerre equation (see also Kummer's equation): x\frac + \left( \left(\ell+\frac\right) + 1 - x\right) \frac + \frac (n - \ell) g(x) = 0 with g(x) \equiv f(\sqrt) . Provided k \equiv (n-\ell)/2 is a non-negative integral number, the solutions of this equations are generalized (associated) Laguerre polynomials g(x) = L_k^(x). From the conditions on ''k'' follows: (i) n \ge \ell and (ii) ''n'' and ''ℓ'' are either both odd or both even. This leads to the condition on ''ℓ'' given above.


= Recovery of the normalized radial wavefunction

= Remembering that u(r) = r R(r), we get the normalized radial solution R_(r) = N_ \, r^ \, e^\; L^_(\gamma r^2). The normalization condition for the radial wavefunction is \int^\infty_0 r^2 , R(r), ^2 \, dr = 1. Substituting q = \gamma r^2 , gives dq = 2 \gamma r \, dr and the equation becomes \frac \int^\infty_0 q^ e^ \left L^_(q) \right 2 \, dq = 1. By making use of the orthogonality properties of the generalized Laguerre polynomials, this equation simplifies to \frac \cdot \frac = 1. Hence, the normalization constant can be expressed as N_ = \sqrt Other forms of the normalization constant can be derived by using properties of the gamma function, while noting that ''n'' and ''ℓ'' are both of the same parity. This means that ''n'' + ''ℓ'' is always even, so that the gamma function becomes \Gamma \left frac + \left( \frac + 1 \right) \right= \frac = \frac, where we used the definition of the
double factorial In mathematics, the double factorial or semifactorial of a number , denoted by , is the product of all the integers from 1 up to that have the same parity (odd or even) as . That is, :n!! = \prod_^ (n-2k) = n (n-2) (n-4) \cdots. For even , the ...
. Hence, the normalization constant is also given by N_ = \left \frac \right = \sqrt \left( \frac \right )^ \,()^ \, \sqrt.


Hydrogen-like atoms

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) = -\frac \frac where * ''ε''0 is the permittivity of the vacuum, * ''Z'' is the atomic number (''eZ'' is the charge of the nucleus), * ''e'' is the
elementary charge The elementary charge, usually denoted by is the electric charge carried by a single proton or, equivalently, the magnitude of the negative electric charge carried by a single electron, which has charge −1 . This elementary charge is a fundame ...
(charge of the electron), * ''r'' is the distance between the electron and the nucleus. The mass ''m''0, introduced above, is the reduced mass of the system. Because the electron mass is about 1836 times smaller than the mass of the lightest nucleus (the proton), the value of ''m''0 is very close to the mass of the electron ''m''e for all hydrogenic atoms. In the remaining of the article we make the approximation ''m''0 = ''m''e. Since ''m''e 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, E_\textrm = m_\textrm \left( \frac\right)^2 \quad\text\quad a_0 = . Substitute y = Zr/a_0 and W = E/(Z^2 E_\textrm) into the radial Schrödinger equation given above. This gives an equation in which all natural constants are hidden, \left -\frac \frac + \frac \frac - \frac\rightu_\ell = W u_\ell . 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. Considering only class (i) solutions restricts the solutions to wavefunctions which are bound states, in contrast to the class (ii) solutions that are known as ''scattering states''. For class (i) solutions with negative ''W'' the quantity \alpha \equiv 2\sqrt is real and positive. The scaling of ''y'', i.e., substitution of x \equiv \alpha y gives the Schrödinger equation: \left \frac -\frac + \frac - \frac \rightu_\ell = 0, \quad \text x \ge 0. For x \rightarrow \infty the inverse powers of ''x'' are negligible and a solution for large ''x'' is \exp x/2/math>. The other solution, \exp /2/math>, is physically non-acceptable. For x \rightarrow 0 the inverse square power dominates and a solution for small ''x'' is ''x''''ℓ''+1. The other solution, ''x''−''ℓ'', is physically non-acceptable. Hence, to obtain a full range solution we substitute u_l(x) = x^ e^f_\ell(x). The equation for ''f''''ℓ''(''x'') becomes, \left x\frac + (2\ell+2-x) \frac +(n - \ell - 1)\rightf_\ell(x) = 0 \quad\text\quad n = (-2W)^=\frac. Provided n-\ell-1 is a non-negative integer, say ''k'', this equation has polynomial solutions written as L^_(x),\qquad k=0,1,\ldots , which are generalized Laguerre polynomials of order ''k''. We will take the convention for generalized Laguerre polynomials of Abramowitz and Stegun. Note that the Laguerre polynomials given in many quantum mechanical textbooks, for instance the book of Messiah, are those of Abramowitz and Stegun multiplied by a factor (''2ℓ''+1+''k'')!. The energy becomes W = -\frac\quad \text\quad n \equiv k+\ell+1 . The principal quantum number ''n'' satisfies n \ge \ell+1, or \ell \le n-1. Since \alpha = 2/n, the total radial wavefunction is R_(r) = \frac = N_ \left(\frac\right)^\; e^\; L^_\left(\frac\right), with normalization constant which absorbs extra terms from \frac N_ = \left left(\frac\right)^3 \cdot \frac\right which belongs to the energy E = - \fracE_\textrm,\qquad n=1,2,\ldots . In the computation of the normalization constant use was made of the integralH. 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 \bar^_ = (-1)^k (n+k)! L^_n. \int_0^\infty x^ e^ \left L^_(x)\right2 dx = \frac .


References

{{DEFAULTSORT:Particle In A Spherically Symmetric Potential Partial differential equations Quantum models