Generating function for the Laguerre polynomials

The generating function for the Laguerre polynomials is a mathematical tool that, when expanded as a power series, produces Laguerre polynomials as its coefficients in terms of a variable.

Eq430 means that the cofficient of in the expansion of is . To prove this, we expand the exponential term as a Taylor series:

Expanding as a binomial series gives

Since

we have

Letting

We now have a sum over and then over . Since and both and range from to , the sum over  ranges from to . The new range of in the outer sum is determined by the conditions that and , where and range from to . Consequently, has a lower limit of 0 and an upper limit of . Eq431, after swapping the order of summation, then becomes

where are the Laguerre polynomials.

 

Next article: Recurrence relations of the Laguerre polynomials
Previous article: Rodrigues’ formula for the Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Recurrence relations of the Laguerre Polynomials

The recurrence relations of the Laguerre polynomials describe how each polynomial in the sequence can be obtained from its predecessors.

Some useful recurrence relations of the Laguerre polynomials include

To derive eq434, differentiate eq430 with respect to to give

Substituting eq430 gives

Equating the coefficients of yields

which rearranges to eq434.

To derive eq435, differentiate eq430 with respect to to give

Substituting eq430 gives

Equating the coefficients of yields eq435. To derive eq436, differentiate eq434 with respect to to yield

Substituting eq435 gives

Letting in eq435, substituting the result in the above equation and rearranging yields eq436.

 

Next article: Orthogonality of the Laguerre polynomials
Previous article: Generating function for the Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Associated Laguerre polynomials

The associated Laguerre polynomials are a sequence of polynomials that are solutions to the associated Laguerre differential equation:

where are the associated Laguerre polynomials.

To show that are solutions to eq442, we refer to eq420, where . Letting , we have . Differentiating this equation times with respect to gives

Applying Leibniz’ theorem,

This implies that . Since is also a solution to the associated Laguerre differential equation, can also be expressed as

When , eq442 becomes the Laguerre differential equation. Therefore, . Substituting eq425 in eq443 yields

For , the terms in the summation equal zero. For , we note that , and so,

Letting ,

Eq444 is the general expression for the un-normalised associated Laguerre polynomials. Using eq444, the first few associated Laguerre polynomials in terms of are

 

Next article: Rodrigues’ formula for the associated Laguerre polynomials
Previous article: Orthogonality of the Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Orthogonality of the Laguerre polynomials

The orthogonality of the Laguerre polynomials states that the integral of the product of two distinct Laguerre polynomials over a specified interval is zero.

It is defined mathematically as:

where is known as a weight function.

 

Question

Why is the weight function included? Can the orthogonality of the Laguerre polynomials be defined as , where ? Why are the limits of integration from 0 to ?

Answer

The weight function is an integral part of the orthogonality definition of Laguerre polynomials due to its role in ensuring convergence and its practical applications. It is often tied to specific problems, such as those in quantum mechanics. Omitting the weight function would sever this connection and could potentially alter the orthogonality properties of the polynomials. Therefore, defining orthogonality without the weight function would generally be invalid and would not reflect the intended use and properties of the Laguerre polynomials.

The weight function naturally defines the integration range because as , making the integral convergent over this range. This range is also connected to specific problems, such as the radial part of the wave functions in quantum mechanics. In the context of the hydrogen atom, represents a distance, which is always non-negative.

 

To prove eq438, we multiply eq430 for and to give

Multiplying through by and integrating with respect to yields

which simplifies to

Expressing the LHS as a binomial series gives

Equating the coefficients of when gives eq438. If we further equate the coefficients of when , we have .

Therefore,

 

Next article: Associated Laguerre polynomials
Previous article: Recurrence relations of the Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Rodrigues’ formula for the associated Laguerre polynomials

The Rodrigues’ formula for the associated Laguerre polynomials is a mathematical expression that provides a method to calculate any associated Laguerre polynomial using differentiation.

It is given by

To prove eq446, we apply Leibniz’ theorem as follows:

Substituting and in the above equation and rearranging yields

Letting , we have , which is the expression for the associated Laguerre polynomials.

 

Question

How do we change the variable in the summation by letting ?

Answer

When , , and when , . So, . Reversing the summation order, .

 

 

Next article: Generating functions for the associated Laguerre polynomials
Previous article: associated Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Generating functions for the associated Laguerre polynomials

The generating function for the associated Laguerre polynomials is a mathematical tool that, when expanded as a power series, produces associated Laguerre polynomials as its coefficients in terms of a variable.

It is defined as

To prove eq448, we differentiate the generating function for the Laguerre polynomials (see eq430) times with respect to to give

When , the terms in the summation equal zero. So,

From eq443, , which when substituted in the above equation yields,

Letting gives

which rearranges to eq448.

 

Next article: Recurrence relations of the associated Laguerre polynomials
Previous article: Rodrigues’ formula for the associated Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Recurrence relations of the associated Laguerre Polynomials

The recurrence relations of the associated Laguerre polynomials describe how each polynomial in the sequence can be obtained from its predecessors.

Some useful recurrence relations of the associated Laguerre polynomials include

Eq450 can be proven by differentiating the generating function for the associated Laguerre polynomials (see eq448) with respect to to give

Substituting eq448 yields

Equating the coefficients of  and rearranging them results in eq450. Eq451 can be proven by replacing with in the recurrence relations of the Laguerre polynomials (see eq436) to give

Differentiating this equation times with respect to using Leibniz’ theorem and multiplying through by yields

Only the last two terms in the summation ( and ) survives. Therefore,

Substituting eq443 and rearranging the result gives eq451.

 

Next article: Orthogonality of the associated Laguerre polynomials
Previous article: Generating function for the associated Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Orthogonality of the associated Laguerre polynomials

The orthogonality of the associated Laguerre polynomials states that the integral of the product of two distinct associated Laguerre polynomials over a specified interval is zero.

It is defined mathematically as:

where is known as a weight function.

 

Question

Why is the weight function included? Can the orthogonality of the associated Laguerre polynomials be defined as , where ? Why are the limits of integration from 0 to ? Why are the polynomials and not ?

Answer

The weight function is an integral part of the orthogonality definition of associated Laguerre polynomials due to its role in ensuring convergence and its practical applications. It is often tied to specific problems, such as those in quantum mechanics. Omitting the weight function would sever this connection and could potentially alter the orthogonality properties of the polynomials. Therefore, defining orthogonality without the weight function would generally be invalid and would not reflect the intended use and properties of the associated Laguerre polynomials.

The weight function naturally defines the integration range because as , making the integral convergent over this range. This range is also connected to specific problems, such as the radial part of the wave functions in quantum mechanics. In the context of the hydrogen atom, represents a distance, which is always non-negative.

The eigenvalue of is a function of and not . Since the eigenfunctions of a Hermitian operator are orthogonal, two associated Laguerre polynomials with distinct values of  must be orthogonal. If we allow the values of to be different, we wouldn’t know if the result of the integral is solely due to the values of .

 

To prove eq453, we multiply the generating function for the associated Laguerre polynomials (see eq448) for and to give

Multiplying through by and integrating with respect to yields

 

Question

Show that , where is a non-negative integer.,

Answer

Let , and , and then and . Integrating by parts,

Let and , and then and . Integrating by parts

If we carry out integrations by parts, we have

 

Therefore, eq454 becomes

Expressing the LHS as a binomial series,

So,

Equating the coefficients of when  gives eq453.

 

Next article: Normalisation constant of the associated Laguerre polynomials
Previous article: REcurrence relations of the associated Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Normalisation constant of the associated Laguerre polynomials

The normalisation constant ensures that the associated Laguerre polynomials are properly scaled, thereby maintaining the probabilistic interpretation of quantum states.

To determine the normalisation constant , we equate the coefficients of eq455 when to give

Substituting and scaling the result of the integral to unity, we have or

Consider the integral of orthogonal associated Laguerre polynomials . Substituting eq450 and rearranging gives

Substituting eq456 yields

Eq457 is used to determine the normalisation constant of a hydrogenic radial wavefunction.

 

Next article: Radial wavefunction
Previous article: ORthogonality of the associated Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page

Radial wavefunction

The radial wavefunction describes the probability distribution of the distance between an electron and the nucleus of a hydrogenic atom.

It is given by

where

are the associated Laguerre polynomials.
is the principal quantum number.
is the orbital angular momentum quantum number
is the Bohr radius.
is the distance between an electron and the nucleus of a hydrogenic atom.

 

Question

What is a hydrogenic atom?

Answer

It is an atom with only one electron, regardless of the number of protons in its nucleus, making it similar to a hydrogen atom in terms of its electronic structure. Examples of hydrogenic atoms include the hydrogen atom, He+, Li2+ and others.

 

To derive the un-normalised form of eq458, consider the Schrodinger equation of a hydrogenic atom, which is a two-particle problem. Utilising the concepts of center of mass and reduced mass, we have

where

is the kinetic energy operator of the translational motion of the system.
is the kinetic energy operator of the internal motion (rotational and vibrational motions) of the system.
is the combined masses of the electron and the nucleus.
is the reduced mass.
and are the laplacian operators acting on the centre of mass coordinates and the reduced mass coordinates, respectively.
is the ratio of the Planck constant and .
is the atomic number of the atom.
is the vacuum permittivity.
is the total wavefunction of the atom.
is the eigenvalue corresponding to .

Since translational motion is independent from rotational and vibrational motions, , where and are the translational energy of the system and the internal motion energy of the system respectively. This implies that . Noting that translational energy is purely kinetic, we can separate eq459 into two one-particle problems:

Eq460 is associated with the translational motion of the entire atom. Therefore, we are only concerned with eq461, which corresponds to the motion of the electron relative to the nucleus. Since (see this article for derivation), we can assume that , where  are the spherical harmonics. Multiplying eq461 through by and recognising that gives

where .

Substituting eq96 and eq133 yields the radial differential equation:

where .

Question

If , show that .

Answer

Substituting in the chain rule gives , which when substituted in yields . Substituting in the chain rule results in . Finally substituting in gives .

 

Letting , , and noting that  gives

To determine the solution to eq462, we analyse its asymptotes. As , eq462 approximates to , which has a possible solution of , where is a constant. When , the term dominates, giving , which has a solution of , where is a constant. Each solution on its own is not square-integrable over the interval . However, we can combine them to give a square-integrable form: .

 

Question

Verify that is a solution to eq462. Hence, show that , where , is also a solution to eq462.

Answer

Substituting the second derivative of  in eq462, we get , which when substituted in and then in yields the eigenvalue .

Consider , where . Substituting the second derivative of in eq462, we get and the eigenvalue , which implies that is a solution to eq462. Since eq462 is a linear differential equation, each term in , and hence the entire function, is a solution to eq462. We can simplify to , where because and .

is known as the principal quantum number. Since , we have

Consequently, the eigenvalue associated with eq462, and hence with the radial differential equation, is a function of :

where we have replaced with .

 

Substituting , and its second derivative in eq462 gives

To solve eq463, we transform it into an associated Laguerre differential equation, which has known solutions. This is accomplished by setting . Then, , and eq463 becomes

Eq464 is an associated Laguerre differential equation. Comparing eq464 and eq442, we have

where are the associated Laguerre polynomials.

The explicit expression of can then be found by carrying out the following substitutions:

    1. Substituting in yields , where is the Bohr radius.
    2. Substituting in gives .
    3. Substituting in  results in .
    4. Substituting in eq444, where and , gives

Substituting in yields . Substituting and noting that , we have

Eq466 is the un-normalised radial wavefunction for a hydrogenic atom. To derive its normalisation constant , we begin by substituting ,  and in eq457 to give

The expression for the normalisation of eq466 is or equivalently


Substituting eq467 yields

Therefore, the normalised radial wavefunction is

which can be easily rearranged to eq458.

 

Next article: Total wavefunction of a hydrogenic atom
Previous article: Normalisation constant of the associated Laguerre polynomials
Content page of quantum mechanics
Content page of advanced chemistry
Main content page
Mono Quiz