7

Consider the Sturm-Liouville operator $$L(u) = -(pu')' + qu$$ where, $p \in C^1[a,b]$ and $q \in C[a,b]$ with $p(t) \neq 0$ for $t \in [a,b]$ are complex valued functions, with boundary conditions: \begin{align*}\alpha u(a) + \beta u'(a) = 0 \\ \gamma u(b) + \delta u'(b) = 0\end{align*} where, $\alpha, \beta, \gamma, \delta \in \mathbb{C}$.

Prove that the operator is self-adjoint iff $p,q$ are real valued and $\alpha \overline{\beta} = \overline{\alpha} \beta$, $\gamma \overline{\delta} = \overline{\gamma} \delta$ (i.e., requiring $\alpha, \beta, \gamma, \delta$ to be real valued.)

If the boundary conditions and $p,q$ are real valued then clearly $L$ is self-adjoint, i.e., $\displaystyle \int_a^b L(u) \overline{v} = \int_a^b u\overline{L(v)}, \quad \forall u,v \in C^2[a,b]$ satisfying the boundary conditions, which can be verified by simply integration by parts. It's proving the converse that I'm having trouble with. (This is Exercise 1 of Chapter 7 in Coddington-Levinson).

r9m
  • 18,208
  • $u, v$ in the integral-formula must satisfy the boundary conditions ?? – A. PI Dec 27 '16 at 20:39
  • @A.MONNET yes, they satisfy the boundary conditions. Thanks! – r9m Dec 27 '16 at 20:40
  • 1
    Shouldn't $\delta$ be in the second line in the BC? – A. PI Dec 27 '16 at 20:48
  • @A.MONNET The condition $\alpha \overline{\beta} = \overline{\alpha} \beta$ is equivalent to $\alpha$ and $\beta$ having the same argument, i.e., the initial data $\alpha u(a) + \beta u'(a) = 0$ is effectively real-valued. I don't think further $\alpha \beta$ to be real valued is necessary. – r9m Dec 27 '16 at 21:06
  • Sorry, It was a typo ... I meant $\alpha \bar{\beta}$ is real ... then as you mentioned both should be real. – A. PI Dec 27 '16 at 21:11

1 Answers1

7

As a first step, we get rid of the boundary terms arising in the integration by parts by considering only $u,v$ vanishing at least of second order at $a$ and $b$. Then, assuming $L$ is self-adjoint, from the integration by parts we find that

$$\int_a^b (qu - (pu')')\overline{v}\,d\lambda = \int_a^b (\overline{q} u - (\overline{p} u')')\overline{v}\,d\lambda\tag{1}$$

for all eligible $u,v$, and hence

$$qu - (pu')' \equiv \overline{q}u - (\overline{p}u')'\tag{2}$$

on $[a,b]$. (If the two sides of $(2)$ were not identical for some eligible $u$, we could find a nonnegative $v\in C^2[a,b]$ with support in a subinterval of $(a,b)$ where e.g. the real part of the left hand side is strictly greater than the real part of the right hand side, and such a pair of functions would violate $(1)$, contradicting the self-adjointness of $L$.)

Considering only real-valued $u$ in $(2)$, it follows that

$$ru - (su')' \equiv 0\tag{3}$$

for such $u$, where $r = \operatorname{Im} q$ and $s = \operatorname{Im} p$. Since $s(a)u'(a) = 0 = s(b)u'(b)$ for all eligible $u$, integration of $(3)$ yields

$$\int_a^b r(t)u(t)\,dt = 0\tag{4}$$

for all such $u$, and hence $r \equiv 0$, that is the real-valuedness of $q$ (otherwise, similar to the above, we could find a nonnegative $u$ with support in a subinterval of $(a,b)$ where $r$ is strictly positive or strictly negative, violating $(4)$). Plugging that into $(3)$, we find that $s\cdot u'$ must be constant for all eligible $u$, and since $u'(a) = 0$ then, we further obtain $s\cdot u' \equiv 0$ for all eligible $u$. Since for every $t\in (a,b)$ we can find an eligible $u$ with $u'(t)\neq 0$, it follows that $s\equiv 0$ on $(a,b)$, and by continuity on $[a,b]$. Thus $p$ must also be real-valued.

Having established that $p$ and $q$ must be real-valued if $L$ is self-adjoint, we finally look at the boundary conditions. Two integrations by part yield

\begin{align} \int_a^b u(p\overline{v}')'\,d\lambda &= u(p\overline{v}')\biggr\rvert_a^b - \int_a^b u'(p\overline{v}')\,d\lambda \\ &= u(p\overline{v}')\biggr\rvert_a^b - (pu')\overline{v}\biggr\rvert_a^b + \int_a^b (pu')'\overline{v}\,d\lambda, \end{align}

and the self-adjointness of $L$ means the boundary terms cancel, i.e. we have

$$u(b)p(b)\overline{v'(b)} - u(a)p(a)\overline{v'(a)} = u'(b)p(b)\overline{v(b)} - u'(a)p(a)\overline{v(a)},$$

or, after rearranging,

$$p(b)\bigl(u(b)\overline{v'(b)} - u'(b)\overline{v(b)}\bigr) = p(a)\bigl(u(a)\overline{v'(a)} - u'(a)\overline{v(a)}\bigr)\tag{5}$$

for all $u,v\in C^2[a,b]$ satisfying the boundary conditions. Let $w \colon [a,b] \to [0,1]$ be a smooth function with $w(t) = 0$ for $t \leqslant \frac{2a+b}{3}$ and $w(t) = 1$ for $t \geqslant \frac{a+2b}{3}$. Then if $u\in C^2[a,b]$ satisfies the boundary conditions, so do $w\cdot u$ and $(1 - w)\cdot u$, and replacing $u$ with $w\cdot u$ resp. $(1-w)\cdot u$ we see that $(5)$ can only hold if

$$u(b)\overline{v'(b)} = u'(b)\overline{v(b)}\quad\text{and}\quad u(a)\overline{v'(a)} = u'(a)\overline{v(a)}$$

for all $u, v \in C^2[a,b]$ satisfying the boundary conditions. In particular, taking $v = u$, it follows that $u'(a)\overline{u(a)}, u'(b)\overline{u(b)} \in \mathbb{R}$ for all admissible $u$. If $\alpha = 0$ or $\beta = 0$, the condition $\alpha\overline{\beta} = \overline{\alpha}\beta$ trivially holds, and if $\alpha\beta \neq 0$, the boundary condition yields

$$\alpha\overline{\beta} \lvert u(a)\rvert^2 = - \lvert\beta\rvert^2 u'(a)\overline{u(a)}$$

after multiplication with $\overline{\beta u(a)}$. Choosing $u$ with $u(a) \neq 0$ then yields $\alpha\overline{\beta} \in \mathbb{R}$. The argument for $\gamma\overline{\delta} \in \mathbb{R}$ is the same.

Daniel Fischer
  • 211,575
  • 1
    $\left[\begin{array}{cc}u(a) & u'(a) \ v(a) & v'(a)\end{array}\right]$ has $0$ determinant because $\left[\begin{array}{c}\alpha \ \beta\end{array}\right]$ is a non-trivial element of the null space of this matrix. That simplifies the argument a little. – Disintegrating By Parts Dec 29 '16 at 22:32
  • Can anyone explain how the expression in (1) comes up? – mudok Oct 16 '17 at 05:58
  • 1
    @mudok The assumed self-adjointness of $L$ yields $\int_a^b L(u)\cdot \overline{v},dt = \int_a^b u\cdot \overline{L(v)},dt$. Since $\overline{f'(t)} = (\overline{f})'(t)$, the latter is $\int_a^b u\bigl(\overline{q}\cdot \overline{v} - (\overline{p}\cdot \overline{v}')'\bigr),dt$. Integration by parts then moves the derivatives back to $u$. – Daniel Fischer Oct 16 '17 at 11:18
  • Sir, I had previously done the same computation as you just said but I could not get rid of the term $\overline{p}(u'\bar{v}-u\bar{v}')|_a^b$ in the integration by parts in (1). – mudok Oct 16 '17 at 16:33
  • @mudok I consider only functions $u, v$ that vanish of at least second order at $a$ and $b$ there, that makes the boundary terms vanish. (It would suffice for that if only one of them vanishes of second order, or if both vanish of first order.) – Daniel Fischer Oct 16 '17 at 17:47
  • @Daniel Sir pardon my ignorance. I really don't understand the last comment of yours. Can you please explain a bit more? – mudok Oct 17 '17 at 04:30
  • @mudok I prove that for a self-adjoint $L$, the functions $p$ and $q$ are real-valued, and the conditions on $\alpha, \beta, \gamma, \delta$ in two steps. In the first step, I prove that $p,q$ are real-valued. For that, I consider only functions $u,v$ vanishing at the endpoints of the interval (and also with $u',v'$ vanishing there, so that the boundary conditions are satisfied and the functions belong to the space $L$ is defined on), as stated in the first sentence of the answer. For such functions, the boundary terms in the integration by parts are zero. And considering only such functions – Daniel Fischer Oct 17 '17 at 10:00
  • suffices to show that $p,q$ are real-valued. After that, I consider also $u,v$ not vanishing at the endpoints, to prove the conditions on $\alpha, \beta, \gamma, \delta$ are satisfied, using the real-valuedness of $p$ and $q$. – Daniel Fischer Oct 17 '17 at 10:00
  • "For that, I consider only functions $u,v$ vanishing at the endpoints of the interval (and also with $u',v'$ vanishing there, so that the boundary conditions are satisfied and the functions belong to the space $L$ is defined on)" Sir my confusion lies here. Why can we choose such functions? If $u(a)=0,u'(a)=0$ wouldn't uniqueness of solutions imply that $u(t)=0$ on $[a,b]$? – mudok Oct 17 '17 at 17:19
  • 1
    @mudok We are not looking at functions such that $L(u) = f$ for some given $f$, so we don't have a "uniqueness of solutions of differential equations" theorem. We are looking at the operator $L$ defined on the space $X = { u \in C^2([a,b]) : \alpha u(a) + \beta u'(a) = 0 = \gamma u(b) + \delta u'(b)}$. And in that space, there are a lot of functions with $u(a) = u'(a) = u(b) = u'(b) = 0$. – Daniel Fischer Oct 17 '17 at 17:25
  • @DanielFischer: I would appreciate if you would comment on my question: https://math.stackexchange.com/questions/2889310/additional-term-in-the-sturm-liouville-self-adjoint-operator In that question, I started from the most general second order operator $L(u) = a u'' + b u' + c u$, assuming $a$, $b$ and $c$ complex functions and forced the operator to be self-adjoint. I got the additional term which is absent from the standard SL operator. Can you help me argue why the additional term should vanish? – Fizikus Aug 21 '18 at 15:22
  • @Fizikus If I interpret wikipedia correctly, one should be able to get rid of the additional term by multiplying with an integrating factor. If that is right, it's just that the Sturm-Liouville form is structurally simpler, so that is the standard form. But differential equations are not my department, I know very little about them. – Daniel Fischer Aug 21 '18 at 19:22