Associated Legendre polynomials: complex vs real argument

In summary, the relationship between complex- and real-argument associated Legendre polynomials is not straightforward. While they can be written in terms of each other, using the real-argument polynomial to calculate the complex-argument polynomial can lead to different values. There are also discrepancies in the definition of the polynomials from different sources, with some including a phase factor. It is unclear why a phase would be included in a purely mathematical concept with no physical significance. Further clarification is needed to fully understand the relationship between these definitions.
  • #1
avikarto
56
9
I am having trouble understanding the relationship between complex- and real-argument associated Legendre polynomials. According to Abramowitz & Stegun, EQ 8.6.6,
$$P^\mu_\nu(z)=(z^2-1)^{\mu/2}\cdot\frac{d^\mu P_\nu(z)}{dz^\mu}$$
$$P^\mu_\nu(x)=(-1)^\mu(1-x^2)^{\mu/2}\cdot\frac{d^\mu P_\nu(x)}{dx^\mu}$$

Since the Legendre polynomials P_v(z) and P_v(x) don't differ by overall imaginary factors (EQ 8.6.18, Rodrigues' formula), it would seem that one could write
$$P^\mu_\nu(z)=\frac{P^\mu_\nu(x)}{i\,^\mu}$$

However, calculating the complex-argument polynomial from the real-argument polynomial this way gives numerically different values than using the complex formula directly. What am I missing in the relationship between these definitions? Thanks!
 
  • #3
Some more info for clarification - from different sources, these expressions can be written (for ##\nu=\mu=m##) as...

According to Abramowitz & Stegun, EQ 8.6.6,
$$P^m_m(z)=\frac{(z^2-1)^{m/2}}{2^m m!}\cdot\frac{d^{2m} (z^2-1)^m}{dz^{2m}}$$
According to Arfken 85, Section 12.5,
$$P^m_m(z)=\frac{(1-z^2)^{m/2}}{2^m m!}\cdot\frac{d^{2m} (z^2-1)^m}{dz^{2m}}$$
According to Wolfram MathWorld,
$$P^m_m(z)=(-1)^m\frac{(1-z^2)^{m/2}}{2^m m!}\cdot\frac{d^{2m} (z^2-1)^m}{dz^{2m}}$$

Testing some calculations arbitrarily for m=3, these come out to be...

Abram: ##P^m_m(Cos(z))=-15\,i\,Sin^3(z)##
Arfken: ##P^m_m(Cos(z))=15\,Sin^3(z)##
Wolfram: ##P^m_m(Cos(z))=-15\,Sin^3(z)##
(note, Wolfram's appears to be real valued. Dividing by ##i^m## as in the OP would bring this one in line with Abramowitz.)

Clearly, all of these can't simultaneously be right. Something about the general state of the definition for ##P^m_m(z)## seems to have serious issues. Does anyone know what is going on here?

Supposedly, the ##(-1)^m## in Wolfram's definition is a phase which makes it differ from Arfken, but why is a phase included at all in something that is purely mathematical and not at all physical? Aren't the polynomials just solutions to a mathematical equation with no physical meaning?
 

What are Associated Legendre polynomials?

Associated Legendre polynomials are a set of mathematical functions used in physics and engineering to describe the behavior of physical systems. They are a generalization of the Legendre polynomials, which are solutions to a specific type of differential equation.

What is the difference between complex and real arguments for Associated Legendre polynomials?

The arguments for Associated Legendre polynomials can either be complex numbers or real numbers. When the argument is a complex number, the resulting polynomial is also complex. When the argument is a real number, the resulting polynomial is real. The complex polynomials are used to describe physical systems with complex behavior, while the real polynomials are used for systems with real behavior.

What are some applications of Associated Legendre polynomials?

Associated Legendre polynomials have many applications in physics, engineering, and mathematics. They are commonly used to describe the shape of the Earth, the behavior of electromagnetic fields, and the motion of particles in quantum mechanics. They also have applications in signal processing, image analysis, and statistical analysis.

How are Associated Legendre polynomials calculated?

The values of Associated Legendre polynomials can be calculated using recurrence relations, which allow for efficient computation. These recurrence relations involve the use of the factorial function and the gamma function. There are also various software programs and libraries that can calculate the polynomials for specific arguments.

Are there any other types of Legendre polynomials?

Yes, there are other types of Legendre polynomials, such as the Confluent Hypergeometric Function of the First Kind and the Jacobi Polynomials. These polynomials have their own unique properties and applications, but they are all related to the original Legendre polynomials.

Similar threads

  • General Math
Replies
1
Views
845
Replies
6
Views
926
  • Advanced Physics Homework Help
Replies
1
Views
1K
Replies
1
Views
741
  • General Math
Replies
3
Views
752
  • Advanced Physics Homework Help
Replies
1
Views
962
  • General Math
Replies
7
Views
883
  • Differential Equations
Replies
1
Views
2K
  • Special and General Relativity
Replies
7
Views
1K
Replies
18
Views
2K
Back
Top