The spectrum of a bounded differential equation

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
greentea28a
Messages
11
Reaction score
0
is it possible to work backwards from a spectrum to which operator?
 
Physics news on Phys.org
Think about finite dimensions. If I give you all the eigenvalues, you still need to know what the eigenvectors are before you know the linear transformation.
 
homeomorphic said:
Think about finite dimensions. If I give you all the eigenvalues, you still need to know what the eigenvectors are before you know the linear transformation.

But in that case you do know the transformation up to unitary equivalence (well, if you also know the multiplicities of the eigenvalues)! So the spectrum forms a very nice invariant in finite dimensions (called a unitary invariant).

Sadly enough, the same is not true for infinite dimensions, not even for bounded operators. For example, multiplication by ##x## on ##L^2([0,1])## and an operator with a complete set of eigenfunctions whose eigenvalues are dense in ##[0,1]##. These two operators can't be much different, but they do share the same spectrum.
Finding a stronger unitary invariant can be done and yields the commutative multiplicity theorem. I refer to the beautiful book by Reed and Simon for a discussion.
 
But in that case you do know the transformation up to unitary equivalence (well, if you also know the multiplicities of the eigenvalues)! So the spectrum forms a very nice invariant in finite dimensions (called a unitary invariant).

Well, if you assume it's Hermitian, right? Then all your eigenvectors are orthogonal.

The context was that of differential equations. That means the operator will be self-adjoint if your boundary conditions make it so, but not always.

I assume with enough extra information, you can eventually get back the operator. For example, if you knew how the operator acted on dense subset of the solution space, you should be good to go.