MathOverflow is a question and answer site for professional mathematicians. 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

Let $H$ be a Hilbert space, and $T:D(T)\subset H\rightarrow H$ and $S:D(S)\subset H\rightarrow H$ be unbounded self-adjoint operators.

Is $T+S:D(T)\cap D(S)\rightarrow H$ self-adjoint?

share|cite|improve this question
Usually, $T+S$ is not even densely defined. – Andreas Thom Feb 26 '13 at 14:48
up vote 6 down vote accepted

The answer is no. $\newcommand{\bR}{\mathbb{R}}$ Consider the Hilbert space of $L^2$-functions

$$ u:[0,1]\to \bR^2,\;\;u(t)=(x(t), y(t)) . $$


$$ D(T)=\Bigl\lbrace u\in H;\;\int_0^1 \bigl\vert u'(t)\bigr\vert^2 dt <\infty,\;;\;x(0)=x(1)=0\;\Bigr\rbrace, $$

$$ D(S)=\Bigl\lbrace u\in H;\;\int_0^1 \bigl|u'(t)\bigr|^2 dt <\infty,\;;\;y(0)=y(1)=0\;\Bigr\rbrace. $$

Denote by $J:\bR^2\to\bR^2$ the linear operator $(x,y)\mapsto (-y,x)$. For $u\in D(T)$ defines

$$ Tu=\frac{du}{dt}, $$

while for $ u\in D(S)$ define

$$ Su=\frac{du}{dt}. $$

Both operators $S$ and $T$ are selfadjoint. Note that

$$ D(T)\cap D(S)= \Bigl\lbrace u\in H;\;\int_0^1 \bigl|u'(t)\bigr|^2 dt <\infty,\;\;u(0)=u(1)=0\,\Bigr\rbrace. $$

The operator $A:=T+S:D(A)= D(T)\cap D(S)\to H$ is symmetric, but not selfadjoint. Indeed, $ v\in D(A^*)$ if and only if, there exists $C>0$ such that

$$ \bigl\vert\;(Au, v)_{H} \;\bigr\vert \leq C\Vert u\Vert_H,\;\;\forall u\in D(A). $$

The constant function $t\mapsto v(t)= (1,1)$ satisfies this condition because for any $u\in D(A)$ we have

$$ (Au, v)_H=\int_0^1 \bigl(\; 2Ju'(t), v(t)\;\bigr) dt = 2\int_0^1\frac{d}{dt} \bigl(\; Ju(t), v(t)\;\bigr) =0. $$

We have produced a function $v\in D(A^*)\setminus D(A)$.

share|cite|improve this answer
you may want to fix the boundary conditions in the domains and possibly also the operators, which are currently the same. – Delio Mugnolo Feb 26 '13 at 18:49
The boundary conditions are different. The philosophy of this example goes bak about 10 years to work of H. Weyl. Thr selfadjoint extensions of a symmetric operator are classified by the lagrangian subspaces of a certain symplectic vector space associated to this operator. The symmetric extensions correspond to the isotropic subspaces of this symplectic space. I chose the boundary conditions following this principle. The operators I've just described play an important role in symplectic Floer theory. – Liviu Nicolaescu Feb 27 '13 at 10:30
100 years perhaps? – Igor Khavkine Feb 27 '13 at 11:31
Yep!I meant 100 years. It was really early when I wrote that. L – Liviu Nicolaescu Feb 27 '13 at 12:18
I agree with your idea. I was just saying that there was a typo in your formulae - and there still is. What does it mean $x(0)=x(1)=0$, since you are introducing a class of functions $u$? – Delio Mugnolo Feb 27 '13 at 17:55

This is one of the central problems of modern mathematical physics. One could fill libraries with the mathematics generated by the most important special case---the Schrödinger operator. Mathematically, this is the question of when the sum of the Laplace operator and a multiplication operator on $L^2$ is self-adjoint (more precisely, essentially self-adjoint). The writings of Barry Simon, many of which are available online, are a good place to start.

share|cite|improve this answer

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.