1. ## The adjoint of unbounded operator

Hello. I'm trying to find the adjoint of A, where A is unbounded operator in $\displaystyle L^2[0,1]$, D(A)=C[0,1], (Af)t=f(0).
I think, $\displaystyle A^*$ is operator $\displaystyle A^*g=g$. Is this correct? And what is $\displaystyle D(A^*)$?

2. Originally Posted by karkusha
Hello. I'm trying to find the adjoint of A, where A is unbounded operator in $\displaystyle L^2[0,1]$, D(A)=C[0,1], (Af)t=f(0).
I think, $\displaystyle A^*$ is operator $\displaystyle A^*g=g$. Is this correct? And what is $\displaystyle D(A^*)$?
If $\displaystyle g\in D(A^*)$, with $\displaystyle A^*(g) = h$, then $\displaystyle \langle Af,g\rangle = \langle f,h\rangle$ for all f in C[0,1]. Writing the inner products as integrals, $\displaystyle \displaystyle\int_0^1\!\!\!f(0)\overline{g(t)}\,dt = \int_0^1\!\!\! f(t)\overline{h(t)}\,dt$. In particular, if f(0) = 0 then $\displaystyle \displaystyle\int_0^1\!\!\! f(t)\overline{h(t)}\,dt = 0$. But continuous functions vanishing at 0 are dense in $\displaystyle L^2[0,1]$, so if h is orthogonal to all such functions then h = 0.

So I reckon that $\displaystyle A^*$ is the zero operator. Next, what is the domain of $\displaystyle A^*$? Well, if $\displaystyle g\in D(A^*)$ and $\displaystyle A^*(g) = 0$ then $\displaystyle \displaystyle\int_0^1\!\!\!f(0)\overline{g(t)}\,dt = 0$ for all f in C[0,1]. That condition is equivalent to $\displaystyle \displaystyle\int_0^1\!\!\!g(t)\,dt = 0$. So it looks as though the domain of $\displaystyle A^*$ is $\displaystyle \{g\in L^2[0,1] : \langle g,1\rangle = 0\}$ (where 1 denotes the constant function 1 on [0,1]).

3. Yes, you are right! Thank you very much!