Skip to main content
2 of 6
deleted 5 characters in body

Equality cannot hold unless $x \in \{-1,1\}$

By playing around with assoc. Legendre polynomials, I arrived at

$$((l+1)+m) (P_l^m(x))^2+((l+1)-m)(P_{l+1}^m(x))^2 = 2(l+1)x P_l^m(x)P_{l+1}^m(x).$$

Now, I want to show that we don't have equality for $x \in (-1,1).$

I undertook quite some computations in order to be sure that this is really the case, but I currently don't see why this is true.

There are some simple ways to start with:

For $x=0$ the inequality is obvious and both sides are even functions.