Solving for Potential with Circular Harmonics & Legendre Polynomials

  • Context: Graduate 
  • Thread starter Thread starter kthouz
  • Start date Start date
  • Tags Tags
    Circular Harmonics
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
7 replies · 8K views
kthouz
Messages
188
Reaction score
0
I have a problem consisting in solving for potential in 2 dim polar coordinates where I am asked to use circular harmonics. Can I still use Legendre polynomials (since these are actually for spherical harmonics)? If not what are their analoguous in polar coordinates?
 
on Phys.org
I believe that "circular harmonics" refers to the Gauss-Laguerre functions defined by

[itex]GL_n(r) = L_n(r^2) exp(-r^2/2)[/itex]

where [itex]L_n(x)[/itex] is the nth Laguerre polynomial. (They are often denoted by a script L, but I don't know how to do that.) They turn up in descriptions of circular radar and laser beams. They constitute a complete orthogonal basis and have the very handy property that each is its own Hankel transform. They're distinctly different from both Legendre polynomials and Bessel functions, but they're useful for expanding potentials in circular geometries.
 
The Bessel and Neumann (or equivalently the Hankel) functions provide a basis for the radial equation, when separating the 2D Laplace equation in polar coordinates. For the angular part, which I'd identify with the analog of spherical harmonics in 2D are simply the orthonormal set of exponential functions

[tex]u_m(\varphi)=\frac{1}{\sqrt{2 \pi}} \exp(\mathrm{i} m \varphi), \quad m \in \mathbb{Z},[/tex]

or, if you prefer real basis,

[tex]u_0(\varphi)=\frac{1}{\sqrt{2 \pi}}, \quad u_m^{(1)}(\varphi)=\cos(m \varphi), \quad u_m^{(2)}(\varphi) \sin(\varphi), \quad m \in \mathbb{N}_{>0}.[/tex]

The general solution of the Laplace equation in terms of the corresponding series reads

[tex]\phi(r,\varphi)=\sum_{m=-\infty}^{\infty} [\phi_m^{(1)} J_m(r/r_0) + \phi_m^{(2)} N_m(r/r_0)] u_m(\varphi).[/tex]

This form with the Bessel and Neumann functions is convenient since [itex]J_m[/itex] is the solution of the radial equation which is analytic in [itex]r=0[/itex], while [itex]N_m[/itex] is singular at the origin.
 
The OP specifically said two-dimensional. The solution to the potential in two-dimensional polar coordinates is not Bessel functions (that is the solution to three-dimensional cylindrical coordinates) but us just powers of the radial coordinate times sines and cosines of the angular coordinate. In two-dimensions, circular harmonics are just sines and cosines in the angular coordinate with a single-valued condition applied (thus leading to harmonics).
See the end of http://faculty.uml.edu/cbaird/95.657%282011%29/EMLecture4.pdf" .
 
Last edited by a moderator:
kthouz said:
I have a problem consisting in solving for potential in 2 dim polar coordinates where I am asked to use circular harmonics. Can I still use Legendre polynomials (since these are actually for spherical harmonics)? If not what are their analoguous in polar coordinates?

Perhaps Zernike polynomials?