2

I read that a second derivative operator is self-adjoint, namely $\langle L(u),v\rangle=\langle u,L(v)\rangle$ and $L$ is the second derivative operator. But if I define $$\langle u,v\rangle=\int_0^1 u(x)v(x)\text{d}x,$$ I just don't see how it works if I take, say $ u(x) =x , v(x)=x^2 $. I will have in this case
$$\int_0^1 u(x)''v(x)\text{d}x \ne \int_0^1 u(x)v(x)''\text{d}x$$

I hope someone can clear my confusion. Thanks!

user829347
  • 3,402
Tomer
  • 434

2 Answers2

3

Suppose you are in $L^2(\mathbb R)$ and define $A:=\dfrac{d^2}{dx^2}$. Integrating by parts you have $$\begin{align} (f,Ag)_{L^2(\mathbb R)}&=\int_{-\infty}^{+\infty}f(x)g''(x)dx=[f(x)g'(x)]_{-\infty}^{+\infty}-\int_{-\infty}^{+\infty}f'(x)g'(x)dx\\&=[f(x)g'(x)]_{-\infty}^{+\infty}-[f'(x)g(x)]_{-\infty}^{+\infty}+\int_{-\infty}^{+\infty}f''(x)g(x)dx \end{align}$$ but the boundary terms are zero so we have $$(f,Ag)_{L^2(\mathbb R)}=\int_{-\infty}^{+\infty}f''(x)g(x)dx=(A^{\dagger}f,g)_{L^2(\mathbb R)}\implies A=A^{\dagger}.$$

Vajra
  • 2,725
0

The property of being self-adjoint depends on the domain of the operator. When you take $X=L^2[0,1]$ the second derivative is self-adjoint if, for instance, you choose $$D(\frac{d^2}{dx^2}):=H^2_0[0,1].$$ The function you chose ($u(x)=x$ and $v(x)=x^2$) do not belong to this domain, that's why the condition $\langle Au,v\rangle_2=\langle u,Av\rangle_2$ is not satisfied.

In the proof given by @Vajra the domain is assumed to be $H^2(\mathbb{R})$ and it is known that any function and its derivative in this Sobolev space vanish when $x\to\pm\infty$.

So, the domain is essential to prove that an operator is self-adjoint, in particular the boudary conditions are.