SphericalY - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Conversions : Function : SphericalY

SphericalY

The Spherical Harmonics function

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

SphericalY(λ, μ, θ, φ)

Parameters

λ

-

algebraic expression

μ

-

algebraic expression

θ

-

algebraic expression

φ

-

algebraic expression

Description

  

SphericalY(λ, μ, θ, φ) represents spherical harmonics, that is, the angular part of the solution to Laplace's equation in spherical coordinates (r,θ,φ).

Diff(r^2*Diff(f(r,theta,phi),r),r) + 1/sin(theta)*Diff(sin(theta)*Diff(f(r,theta,phi),theta),theta) + 1/sin(theta)^2*Diff(f(r,theta,phi),phi,phi) = 0;

rr2rfr,θ,φ+θsinθθfr,θ,φsinθ+2φ2fr,θ,φsinθ2=0

(1)
  

The SphericalY functions are particularly relevant in quantum mechanics, where they are eigenfunctions of observable operators associated with angular momentum - see Abramowitz and Stegun, Chapter VI. SphericalY is normalized such that

Int(Int(abs(SphericalY(lambda,lambda,theta,phi))^2*sin(theta),theta=0..Pi),phi=0..2*Pi) = 1;

∫02π∫0πSphericalYλ,λ,θ,φ2sinθⅆθⅆφ=1

(2)
  

so that when written in terms of the associated LegendreP function of the first kind, SphericalY is given by

FunctionAdvisor( definition, SphericalY );

SphericalYλ,μ,θ,φ=121μ2λ+1πλμ!ⅇIφμLegendrePλ,μ,cosθλ+μ!,AndNotλ+μ::negint,Notλμ::negint

(3)
  

Attention should be paid to the normalization conventions adopted. The requirement that the double integral mentioned is equal to one does not fix a phase, which can then be chosen in different ways; following the definitions given by references 2 and 3 (at the bottom), thus, in Maple the right-hand side of the definition above includes the multiplicative factor −1μ. In second place, the Maple choice for the branch cuts of Pλμz follow conventions which, for λ and μ not integers and outside a unit circle around z=0, are slightly different than those presented for instance in the first reference below. Finally, noting that SphericalY is more frequently used with λ and μ integers, λ positive and μλ, in this case the three square roots entering the definition above,

((2*lambda+1)/Pi)^(1/2)*(lambda-mu)!^(1/2)/(lambda+mu)!^(1/2);

2λ+1πλμ!λ+μ!

(4)
  

can be combined,

combine((4)) assuming posint;

2λ+1λμ!πλ+μ!

(5)
  

resulting into a form of the definition usually presented in textbooks - this combination of the radicals, however, is not valid for arbitrary complex values of λ or μ.

  

The SphericalY functions constitute a complete set of orthonormal functions satisfying

Int(Int(SphericalY(lambda,mu,theta,phi)*conjugate(SphericalY(rho,nu,theta,phi))*sin(theta),theta=0..Pi),phi=0..2*Pi) = delta[lambda,rho]*delta[mu,nu];

∫02π∫0πSphericalYλ,μ,θ,φSphericalYρ,ν,θ,φ&conjugate0;sinθⅆθⅆφ=δλ,ρδμ,ν

(6)
  

where in the right-hand side we have Kronecker deltas. Due to the rich structure of these functions, including periodicity with respect to both θ and φ and reflection properties regarding each of its four arguments, the number of identities they satisfy is rather large. Some important ones are

FunctionAdvisor( identities, SphericalY );

SphericalYλ,μ,θ,φ=SphericalYλ,μ,θ,φ,SphericalYλ,μ,θ,φ=SphericalYλ,μ,θ,φⅇ2Iμφ,SphericalYλ,μ,θ,φ=SphericalY1λ,μ,θ,φ2λ+1Γλ+μΓλμ+112λΓλμΓλ+μ+1,Andλ+μ::Notnonposint,λμ::Notnonposint,λ+μ+1::Notnonposint,λμ+1::Notnonposint,SphericalYλ,μ,θ,φ=SphericalYλ,μ,θ,φⅇ2Iμφ,Andλ::nonnegint,μ::integer,μλ,λμ,SphericalYλ,μ,θ,φ=1μSphericalYλ,μ,θ,φ&conjugate0;,Andλ::nonnegint,μ::integer,μλ,λμ,SphericalYλ,μ,θ,φ=SphericalYλ,μ,2πn+θ,φ,Andn::integer,SphericalYλ,μ,θ,φ=SphericalYλ,μ,θ,φ+2πnμ,Andn::integer,μ0

(7)

Examples

Expressing SphericalY in terms of LegendreP

convertSphericalYλ,μ,θ,φ,LegendreP

121μ2λ+1πλμ!ⅇIφμLegendrePλ,μ,cosθλ+μ!

(8)

In the typical case where λ is a positive integer, μ is an integer and μλ the square roots are automatically combined resulting in the form frequently found in textbooks

convertSphericalYλ,μ,θ,φ,LegendrePassumingλ::posint,μ::integer,μλ

121μ2λ+1λμ!πλ+μ!ⅇIφμLegendrePλ,μ,cosθ

(9)

Special values

FunctionAdvisorspecial_values,SphericalY

SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;0&comma;And2&lambda;&plus;1&equals;0&comma;SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;0&comma;And&mu;::integer&comma;&theta;&pi;::even&comma;SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;0&comma;And&real;&mu;<0&comma;&theta;&pi;::even&comma;SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;0&comma;And&lambda;::nonnegint&comma;&mu;::posint&comma;&lambda;<&mu;&comma;SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;0&comma;And&lambda;::nonnegint&comma;&theta;&pi;::integer&comma;&mu;::posint&comma;SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;121&lambda;2floor12&theta;&pi;&pi;&theta;&pi;2&lambda;&plus;1&pi;&comma;And&lambda;::nonnegint&comma;&theta;&pi;::integer&comma;&mu;&equals;0

(10)

Hypergeometric representation

FunctionAdvisorspecialize&comma;SphericalY&comma;hypergeom

SphericalY&lambda;&comma;&mu;&comma;&theta;&comma;&phi;&equals;121&mu;2&lambda;&plus;1&pi;&lambda;&mu;&excl;&ExponentialE;I&phi;&mu;cos&theta;&plus;112&mu;hypergeom&lambda;&comma;&lambda;&plus;1&comma;1&mu;&comma;1212cos&theta;&lambda;&plus;&mu;&excl;cos&theta;112&mu;&Gamma;1&mu;&comma;AndNot&lambda;&plus;&mu;::negint&comma;Not&lambda;&mu;::negint&comma;Not1&mu;::nonposint

(11)

References

  

Abramowitz, M., and Stegun, I., eds. Handbook of Mathematical Functions. New York: Dover Publications.

  

Arfken, G., and Weber, H.J. Mathematical Methods for Physicists. 3rd ed. Academic Press, 1985.

  

Cohen-Tannoudji, C.; Diu, B.; and Laloe, F. Quantum Mechanics. Paris: Hermann, 1977. Vol. 1, Complement A-VI.

See Also

FunctionAdvisor

hypergeom

JacobiP

LegendreP

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam