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 need help seeing that $$ \mathcal{L}^* g = -\frac{\partial (bg)}{\partial x} + \frac{1}{2}\frac{\partial^2(\sigma^2g)}{\partial x^2} $$ is the adjoint operator of $$ \mathcal{L} = b\frac{\partial f}{\partial x} + \frac{1}{2}\sigma\frac{\partial ^2 f}{\partial x^2} $$ in the $L^2$ sense $\langle \mathcal{L}f,g\rangle = \langle f,\mathcal{L}^*g\rangle$, where $b(x)$ and $\sigma(x)$ are some suitable functions. Doing the computations I arrive to $$ \eqalign{ \langle \mathcal{L}f,g\rangle &= \int_{\mathbb{R}} \left(b\frac{\partial f}{\partial x} + \frac{1}{2}\sigma\frac{\partial ^2 f}{\partial x^2}\right)g dx = \cdots\text{by parts x2} \cr &= \int_{\mathbb{R}}f\left(-\frac{\partial (bg)}{\partial x} + \frac{1}{2}\frac{\partial^2(\sigma^2g)}{\partial x^2}\right)dx + \left[ bfg + \frac{1}{2}\sigma^2g\frac{\partial f}{\partial x} - \frac{1}{2}\frac{\partial(\sigma^2g)}{\partial x^2}f\right]_{-\infty}^{+\infty}\ . } $$ So basically I need help understanding in what circumstances $$ \left[ bfg + \frac{1}{2}\sigma^2g\frac{\partial f}{\partial x} - \frac{1}{2}\frac{\partial(\sigma^2g)}{\partial x^2}f\right]_{-\infty}^{+\infty} = 0 $$ so that $\mathcal{L}^*$ is the adjoint of $\mathcal{L}$.

(Reference Robert V.Kohn ch1 pg 14.)

share|improve this question
    
Your problem is covered under this theorem "Sturm–Liouville theory". See en.wikipedia.org/wiki/Sturm%E2%80%93Liouville_theory. See the different types of boundary conditions. –  Mhenni Benghorbal Jul 21 '12 at 11:46
3  
$\mathcal{L}$ and $\mathcal{L}^*$ are unbounded operators on $L^2$, and so you have to consider their domains. If they have been defined correctly, you should find that when $f$ is in the domain of $\mathcal{L}$ and $g$ is in the domain of $\mathcal{L}^*$, then the boundary term vanishes. –  Nate Eldredge Jul 21 '12 at 15:25
    
@Mhenni: I converted your post to a comment as we discourage posting just a link as an answer (except in the case of reference requests). If you have the time, please consider posting a more detailed answer. Thanks. –  Willie Wong Jul 26 '12 at 21:51

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.