Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I would like to find the adjoint operator of $$ T\colon L^2([0,1])\to H^1([0,1]),\quad x\mapsto\int\limits_0^t x(s)\, ds. $$ Here $H^1([0,1])$ is the Sobolev space $W^{1,2}([0,1])$.

I tried to find this adjoint operator and after some time I came to the conclusion that this operator is given by $$ x\mapsto \int_t^1 x(s)\, ds + \overline{x'(t)}. $$ Is this correct? Because the calculation is rather long, I did not write it down here. But if it may be necessary to see the calculation, then i will add it of course.

Greetings

share|improve this question
2  
It looks more or less okay (I think I see where you get everything), but I am not sure about the complex conjugation over the $x'(t)$. Perhaps it would be better if you showed the computation. –  Willie Wong Jan 11 '13 at 12:20
    
okay, i added it. –  math12 Jan 11 '13 at 12:46
add comment

2 Answers

up vote 2 down vote accepted

So my result is wrong?

My calculation now is:

$\langle Tf,g\rangle_{H^1}=\langle Tf,g\rangle_{L^2} + \langle (Tf)',g'\rangle_{L^2}$

$=\int\limits_0^1 (Tf)(x)\overline{g(x)}\, dx+\int\limits_0^1 (Tf)'(x)\overline{g'(x)}\, dx$

$=\int\limits_0^1\int\limits_0^x f(s)\, ds\overline{g(x)}\, dx+\int\limits_0^1 f(x)\cdot \overline{g'(x)}\, dx$

$=\int\limits_0^1\int\limits_s^1 f(s)\overline{g(x)}\, dx\, ds+\int\limits_0^1 f(x)\overline{g'(x)}\, dx$

$=\int\limits_0^1 f(s)\int\limits_s^1\overline{g(x)}\, dx\, ds+\int\limits_0^1 f(x)\overline{g'(x)}\, dx$

$=\int\limits_0^1 \left(f(s)\int\limits_s^1\overline{g(x)}\, dx+f(s)\overline{g'(s)}\right)\, ds$

$=\int\limits_0^1 f(s)\cdot \left(\int\limits_s^1\overline{g(x)}\, dx+\overline{g'(s)}\right)\, ds$

And so i now come to the conclusion, that the adjoint operator is given by

$x\mapsto \int\limits_t^1 x(s)\, ds+x'(t)$.

Where is my mistake?? Or is it right now?

share|improve this answer
    
Why don't you add it to your question? It would be better visible. Just click "edit" under you question –  Ilya Jan 11 '13 at 12:48
1  
It is good now. In the version you wrote in you question statement you took the complex conjugate of the $x'$ term, which is incorrect. –  Willie Wong Jan 11 '13 at 13:27
    
thank you very much for your help –  math12 Jan 11 '13 at 13:29
add comment

Let $f$ and $g$ two test functions. We have $$\langle f,Tg\rangle_{H^1}=\int_0^1f(t)\overline{\int_0^tg(s)ds}dt+\int_0^1f'(t)\overline{g(t)}dt.$$ Integrating by parts, this gives \begin{align}\langle f,Tg\rangle_{H^1}&=\int_0^1f(s)ds\overline{\int_0^1g(t)dt}-\int_0^1\int_0^tf(s)ds\overline{g(t)}dt+\int_0^1f'(t)\overline{g(t)}dt\\ &=\int_0^1\int_t^1f(s)ds\overline{g(t)}dt+\int_0^1f'(t)\overline{g(t)}dt, \end{align} so $T^*f(x)=\int_x^1f(s)ds+f'(x)$.

share|improve this answer
    
Is my solution correct? I am confused now, sorry. My solution is that $T^*$ is given by $f\mapsto\int_t^1 f(s)\, ds + f'(t)$. You have $-f'(t)$. –  math12 Jan 11 '13 at 21:12
    
Yes, it is (and I upvoted it). –  Davide Giraudo Jan 11 '13 at 21:12
    
Thanks! You helped me very much with your answer. –  math12 Jan 11 '13 at 21:30
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.