- #1
member 428835
Find Green's function of $$K(f(x)) = (1-x^2)f''(x)-2xf'(x)+\left(2-\frac{1}{1-x^2}\right)f(x):x\in[cos(\alpha),1]$$
subject to boundary conditions: $$f|_{x=1} < \infty\\
f|_{x=\cos(\alpha)} = 0.$$
Two fundamental solutions are associated Legendre polynomials (after all, this is Legendre's associated ODE). These are notated ##P_1^1(x)## and ##Q_1^1(x)##.
To construct a Green's function for ##K##, we use variation of parameters. I omit details, but the Green's function I find is
$$ G_L(x,y) = \frac{P_1^1(x)\left( \frac{\tau_2}{\tau_1} P_1^1(y)- Q_1^1(y)\right)}{W(y)}:\cos\alpha<x<y<1\\
G_R(x,y) = \frac{P_1^1(y)\left( \frac{\tau_2}{\tau_1} P_1^1(x)- Q_1^1(x)\right)}{W(y)}:\cos\alpha<y<x<1$$
where ##W## is the Wronskian of ##P_1^1,Q_1^1## and ##\tau_1 = P_1^1(\cos\alpha)## and ##\tau_2 = Q_1^1(\cos\alpha)##.
My question is, why isn't this Green's function self adjoint despite the ODE being self-adjoint?
subject to boundary conditions: $$f|_{x=1} < \infty\\
f|_{x=\cos(\alpha)} = 0.$$
Two fundamental solutions are associated Legendre polynomials (after all, this is Legendre's associated ODE). These are notated ##P_1^1(x)## and ##Q_1^1(x)##.
To construct a Green's function for ##K##, we use variation of parameters. I omit details, but the Green's function I find is
$$ G_L(x,y) = \frac{P_1^1(x)\left( \frac{\tau_2}{\tau_1} P_1^1(y)- Q_1^1(y)\right)}{W(y)}:\cos\alpha<x<y<1\\
G_R(x,y) = \frac{P_1^1(y)\left( \frac{\tau_2}{\tau_1} P_1^1(x)- Q_1^1(x)\right)}{W(y)}:\cos\alpha<y<x<1$$
where ##W## is the Wronskian of ##P_1^1,Q_1^1## and ##\tau_1 = P_1^1(\cos\alpha)## and ##\tau_2 = Q_1^1(\cos\alpha)##.
My question is, why isn't this Green's function self adjoint despite the ODE being self-adjoint?