Spherical Harmonics: Showing $\delta_{m,0}\sqrt{\frac{2\ell + 1}{4\pi}}$

Click For Summary
SUMMARY

The discussion centers on demonstrating the spherical harmonics identity \(Y_{\ell}^m(0,\varphi) = \delta_{m,0}\sqrt{\frac{2\ell + 1}{4\pi}}\). The key conclusion is that the Kronecker delta \(\delta_{m,0}\) ensures the expression evaluates to zero for all \(m \neq 0\). The associated Legendre polynomial \(P_l^m(\cos(\theta))\) contributes to this result, as it equals zero for non-zero \(m\) when \(\theta = 0\). Users confirmed the identity using Mathematica's SphericalY function, validating that non-zero \(m\) yields zero.

PREREQUISITES
  • Understanding of spherical harmonics and their properties
  • Familiarity with the Kronecker delta function
  • Knowledge of associated Legendre polynomials
  • Experience with Mathematica for computational verification
NEXT STEPS
  • Study the properties of spherical harmonics in detail
  • Learn about the derivation and applications of associated Legendre polynomials
  • Explore the use of Mathematica for symbolic computation in physics
  • Investigate the implications of the Kronecker delta in mathematical identities
USEFUL FOR

Mathematicians, physicists, and students studying quantum mechanics or mathematical methods in physics will benefit from this discussion, particularly those focusing on spherical harmonics and their applications.

Dustinsfl
Messages
2,217
Reaction score
5
I am trying to show that
\[
Y_{\ell}^m(0,\varphi) = \delta_{m,0}\sqrt{\frac{2\ell + 1}{4\pi}}.
\]
When \(m = 0\), I obtain \(\sqrt{\frac{2\ell + 1}{4\pi}}\).

However, I am not getting 0 for other \(m\). Plus, to show this is true, I can't methodically go through each \(m\).

How can I do this?
 
Physics news on Phys.org
dwsmith said:
I am trying to show that
\[
Y_{\ell}^m(0,\varphi) = \delta_{m,0}\sqrt{\frac{2\ell + 1}{4\pi}}.
\]
When \(m = 0\), I obtain \(\sqrt{\frac{2\ell + 1}{4\pi}}\).

However, I am not getting 0 for other \(m\). Plus, to show this is true, I can't methodically go through each \(m\).

How can I do this?
The [math]\delta _{m, 0} [/math] forces the expression to be 0 unless m = 0. There is no other m to compute with. I'm not sure what you are trying to get at with the "other" m values?

-Dan
 
topsquark said:
The [math]\delta _{m, 0} [/math] forces the expression to be 0 unless m = 0. There is no other m to compute with. I'm not sure what you are trying to get at with the "other" m values?

-Dan

I understand the kronecker delta. I am trying to show the identity is true.
 
dwsmith said:
I understand the kronecker delta. I am trying to show the identity is true.
Oh! I see the problem now. Yes, the expression is not correct.
[math]Y_l^m( \theta, \phi ) = (-1)^m \sqrt{ \frac{2l + 1}{4 \pi} \frac{(l - m)!}{(l + m)!}} P_l^m( cos ( \theta ) ) e^{i m \phi }[/math]

Gah! I can't get the LaTeX to code the second line. Anyway, the only term that drops out for theta = 0 is the associated Legendre polynomial. Not much of a simplification. Are you perhaps adding some together?

-Dan
 
Last edited by a moderator:
topsquark said:
Oh! I see the problem now. Yes, the expression is not correct.
[math]Y_l^m( \theta, \phi ) = (-1)^m \sqrt{ \frac{2l + 1}{4 \pi} \frac{(l - m)!}{(l + m)!}} P_l^m( cos ( \theta ) ) e^{i m \phi }[/math]

Gah! I can't get the LaTeX to code the second line. Anyway, the only term that drops out for theta = 0 is the associated Legendre polynomial. Not much of a simplification. Are you perhaps adding some together?

-Dan

No but I am pretty sure it is correct. I have Mathematica so I have entered in SphericalY[l,m,0,\phi] and tried different l's and m's, but every time m is nonzero, I do get zero back.
 
dwsmith said:
No but I am pretty sure it is correct. I have Mathematica so I have entered in SphericalY[l,m,0,\phi] and tried different l's and m's, but every time m is nonzero, I do get zero back.
Okay, yes you are correct. I had been thinking that [math]P_l^m(1) = 1[/math] but that's only true for m = 0. When theta = 0 [math]P_l^m(1) = 0[/math] for non-zero m as all the non-zero m are proportional to sin(theta).

-Dan
 

Similar threads

Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
895
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K