Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.


share|cite|improve this question
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
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|cite|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
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

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|cite|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

Your Answer


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.