4
$\begingroup$

I'm given two solutions to Legendre's equation:

$$P_1=x$$

$$Q_0=\frac{1}{2} \ln\left(\frac{1+x}{1-x}\right)$$

I'm trying to explain why their overlap integral (i.e. $\int_{-1}^{1} P_1 Q_0 dx$) is non-zero. I computed it and it is indeed non-zero, but I'm having a difficult time justifying why that is. I'm thinking it has something to do with that fact that the $P_n$ and $Q_n$ solutions are constructed w.r.t different weight functions. Or perhaps it has something to do with the completeness of solutions. Any thoughts?

  • 0
    my thoughts are with the different weight functions.2012-11-27
  • 0
    What do you mean different weight functions?2012-11-27
  • 0
    I think a simple way of looking at this is that both $P_1$ and $Q_0$ are odd functions so the product $P_1Q_0$ is even and thus the integral is non-zero (since the product is not zero everywhere).2012-11-27
  • 0
    @Pragabhava: I'm not exactly sure. I just know the $P_n$ solutions can be formed from the Sturm-Liouville form of the Legendre operator and have the S-L form uses a weight function.2012-11-27
  • 0
    @aawaldrop: I don't think that's correct. It isn't that simple. The solutions corresponding to a particular eigenvalue are, in general, orthogonal (for a self-adjoint operator). But, for some reason, that doesn't apply here. I'm trying to figure out why...2012-11-27

2 Answers 2

2

As has been shown, the integral is not zero. This is okay. Since $P$ and $Q$ obey different boundary conditions they are eigenfunctions of different Sturm-Liouville systems, so we should not expect them to be orthogonal.


Consider a more familiar example, $$\begin{array}{l} y'' + n^2 y = 0 \\ y(0) = y(\pi) = 0. \end{array}$$ The unnormalized eigenfunctions are $f_{n} = \sin n x$, where $n \in \mathbb{N}$. Sturm-Liouville theory tells us the eigenfunctions must be orthogonal, and of course they are. The related system $$\begin{array}{l} y'' + n^2 y = 0 \\ y'(0) = y'(\pi) = 0 \end{array}$$ has eigenfunctions $g_{n} = \cos n x$. Again, the eigenfunctions are orthogonal. However, Sturm-Liouville theory has nothing to say about whether $f_m$ and $g_n$ are orthogonal, and in fact they are not in general. For example, $$\int_0^\pi dx\, \sin x \cos 2x = -\frac{2}{3}.$$

  • 0
    Awesome. That's what I suspected. What are the corresponding Sturm-Liouville systems for the P and Q solutions?2012-11-27
  • 0
    @Alex: The differential equation is the Legendre differential equation. The restrictions on $P$ are that $P$ be finite and nonzero at $x=\pm 1$. The restrictions on $Q$ are that $1/Q$ vanish at $x = \pm 1$. Have a look [here](http://books.google.com/books?id=WLEVEY-3gIAC&lpg=PA275&ots=nMMHde9OYF&dq=boundary%20conditions%20legendre%20differential%20equation&pg=PA275#v=onepage&q&f=false) for a short discussion of the boundary conditions on $P$. Cheers!2012-11-27
0

Since $Q_0(x)$ is pointymmetric $$ Q_0(x)=\frac{1}{2} \ln\left(\frac{1+x}{1-x}\right)=-\frac{1}{2} \ln\left(\frac{1+(-x)}{1-(-x)}\right)=-Q_0(-x) $$ as is $P_1(x)=-P_1(-x)$, there product is symmetric $$ P_1(x)Q_0(x)=(-1)^2P_1(-x)Q_0(-x). $$

Since your limits are also symmetric we'll get $$ \int_{-1}^{1} P_1(x) Q_0(x) dx=\int_{-1}^{0} P_1(x) Q_0(x) dx+\int_{0}^{1} P_1(x) Q_0(x) dx=2\int_{0}^{1} P_1(x) Q_0(x) dx $$ and since $P_1(x)$ and $ Q_0(x)$ are both positive on $[0,1]$, your integral is non-zero.

  • 0
    Right. I agree. But the question is why... Typically eigenfunctions corresponding to distinct eigenvalues for a self-adjoint operator are orthogonal, but they obviously aren't in this case. I'm trying to find out essentially why the theorem doesn't apply. And I think it has something to do with the weight functions.2012-11-27