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 have solved other problems like this using integration by parts. In this case, I can't figure out what to make each part for the integration. The question is true/false. Ultimately to show this you have to find the adjoint and see if it is what they claim it is, i.e., $\displaystyle uv - \int vdu$.

What do you make $u$ and $v$?

If $\langle f \vert g \rangle = \displaystyle \int_0^{\infty} f(x) g(x) e^{-x} dx$ for functions $f,g \in L_2([0,\infty))$ and $L = \left(x + \dfrac{d}{dx} \right)$ (assume that all elements of $L_2([0,\infty))$ are differentiable), its adjoint is $L^* = \left(x - \dfrac{d}{dx} \right)$.

share|cite|improve this question
A related problem. – Mhenni Benghorbal May 11 '13 at 3:38
up vote 4 down vote accepted

We want $L^*$ such that $$\langle f \vert Lg \rangle = \langle L^*f \vert g \rangle$$ We have $$S=\int_0^{\infty} e^{-x}f(x)\left(x+\dfrac{d}{dx}\right)g(x) dx = \int_0^{\infty}x e^{-x}f(x) g(x) dx + \int_0^{\infty} e^{-x} f(x) dg(x)$$ We have $$\int_0^{\infty} e^{-x} f(x) dg(x) = \int_0^{\infty} d\left(e^{-x} f(x)g(x)\right) - \int_0^{\infty} g(x) d\left(e^{-x} f(x)\right)$$ Hence, $$\int_0^{\infty} g(x) d\left(e^{-x} f(x)\right) = \int_0^{\infty} g(x)\left(e^{-x} \dfrac{df}{dx} - e^{-x} f(x)\right) dx$$ Hence, $$S = \int_0^{\infty}e^{-x}\overbrace{\left(xf(x)-\dfrac{df}{dx}+f(x)\right)}^{L^*f}g(x)dx + \int_0^{\infty} d\left(e^{-x} f(x)g(x)\right)$$ Hence, the adjoint is $$L^* = \left(x+1 - \dfrac{d}{dx}\right)$$

share|cite|improve this answer
I'm not seeing how the last term reduces to zero. – John Moeller May 11 '13 at 3:32
@JohnMoeller The last term integrates to $\left. e^{-x} f(x) g(x) \right\vert_0^{\infty}$. For $L^2$ functions, with $f(0) = g(0) = 0$, the term goes off. Hence, $L^*$ is the adjoint of the operator on the subspace of function $S^* = \{f(x) \in L^2([0,\infty)): f(x) = 0\}$. – user17762 May 11 '13 at 3:37
But what if $f(x) = e^{-x}$? Then $f$ is square-integrable on $[0,\infty]$. I don't see why $f(0)$ has to be $0$. – John Moeller May 11 '13 at 3:43
@JohnMoeller The adjoint is usually only defined on a subspace of the original space. – user17762 May 11 '13 at 3:45
But the OP's question doesn't have the constraint that $f(0) = g(0) = 0$. – John Moeller May 11 '13 at 3:46

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.