1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Spectrum of Hermitian operator

  1. Jan 10, 2008 #1
    1. The problem statement, all variables and given/known data

    Show that the spectrum [itex] \sigma [/itex] of a linear continuous Hermitian operator A on a Hilbert space H consist of real numbers, ie [itex] \sigma(A)\subset \mathbb{R} [/itex].


    2. Relevant equations

    Well the spectrum of A are the elements [itex] \lambda\in\mathbb{C} [/itex] such [itex] \lambda I - A [/itex] is NOT invertible (a generalization of eigenvalues).

    Hermitian operator A satisfies: (Ax, y) = (x, Ay) for all x,y in H. (.,.) is the inner product in H.

    3. The attempt at a solution

    It is stated in the problem that I can do it, by first showing the following 2 statements for [itex] \lambda = \alpha + i\beta [/itex],

    [tex]1.\quad \|(\lambda I - A)x\| \geq |\beta|\|x\| [/tex]
    [tex]2.\quad \mathrm{Im}\left( (\lambda I - A)x, x) = \beta\|x\|^2 [/tex]

    I have shown 2. but I'm lost on showing the 1.
    By writing 1. as an innerproduct and expanding I can arrive at

    [tex] \|(\lambda I-A)x\|^2 = \|\lambda x\|^2 + \|Ax\|^2 - 2\alpha(Ax,x) [/tex]

    If I could show that [itex] \|Ax\|^2 - 2\alpha(Ax,x) \geq 0 [/itex] I would have shown 1. But I can't seem to show that, does inequality even hold?
    Or maybe there is another way to show 1., any hint would be great!
     
  2. jcsd
  3. Jan 10, 2008 #2

    olgranpappy

    User Avatar
    Homework Helper

    Just look at (x,Ax) where 'x' is an eigenvector of A.
     
  4. Jan 11, 2008 #3
    For a linear operator in infinite dimensions, eigenvalues sometimes don't even exist. So you can't just consider x to be an 'eigenvector' and say [itex] Ax = \lambda x [/itex]. That is elements in the spectrum are not just eigenvalues.

    Beside I don't think it is even possible to show [itex] \|Ax\|^2 - 2\alpha(Ax,x) \geq 0 [/itex], since there is not exactly a direct connection between [itex] \alpha [/itex] and everything else in that equation, so that number could be arbitrarily big and what could compensate for that to hold the inequality true?

    So maybe there is an easier approach?
     
  5. Jan 11, 2008 #4

    olgranpappy

    User Avatar
    Homework Helper

    if the eigenvalue doesn't exist then how are you going to prove that it is real?
     
  6. Jan 11, 2008 #5

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    It seems to me that you're not expanding it correctly: [itex](x,\lambda y) = \bar{\lambda} (x,y)[/itex].

    Personally I would rescale A to B=(A-[itex]\alpha[/itex])/[itex]\beta[/itex]. Then A-[itex]\lambda[/itex]I is invertible iff B-i is. Now since we're in a Hilbert space, an operator is invertible if it and its adjoint are bounded below. So proceed to show that B-i and (B-i)*=B+i are bounded below in the same spirit you were attempting to do (1); this time it's easier because there are less things to juggle around.
     
    Last edited: Jan 11, 2008
  7. Jan 11, 2008 #6
    I don't see how that should make it easier, and I assume you mean B-iI and A-alpha*I? since A is an operator. And I haven't heard about the statement that an operator is invertible if it and its adjoint are bounded below.

    But the expansion goes like this

    [tex] \|(\lambda I - A)x\|^2 = (\lambda x - Ax,\lambda x - Ax) = (\lambda x, \lambda x) + (Ax,Ax) - (Ax,\lambda x) - (\lambda x, Ax) [/tex]

    and

    [tex] (Ax,\lambda x) + (\lambda x, Ax) = (Ax,x)(\lambda + \bar{\lambda}) = 2\alpha(Ax,x) [/tex]

    And so my calculation from before follows, what is going wrong here, I can't see it :(
     
  8. Jan 11, 2008 #7

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    Ah - yes, your work is fine. At first I confused your "alpha" and "lambda". Sorry about that!

    Try Cauchy-Schwarz to wrap things up: (Ax,x) is real, and thus less than or equal to ||Ax|| ||x||. If you still need help, post back.

    (By the way, if you rescale, then you won't need to use Cauchy-Schwarz or worry about 'completing the square'. This is what I meant when I said "easier". But I guess this isn't very helpful if you don't know the theorem I'm referring to.)
     
  9. Jan 12, 2008 #8

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

    If A is linear, continuous and symmetric it can be extended by continuity to the whole Hilbert space, thus making it self adjoint. In this case you need to show that the spectrum of a bounded self-adjoint operator is purely real. The best full and clear proof for this result is, i believe, in Geroch's book "Mathematical physics", pages 298-299. Unlike other books on functional analysis, he assumes the boundedness of the self-adjoint operator so eveything applies.
     
  10. Jan 12, 2008 #9
    bigubau: I heard about extension by continuity in class, but I'm afraid the text book we're using doesn't talk about it at all. Using "An Introduction to Hilbert Space" by N. Young.

    morphism: I did consider Cauchy-Schwarz before but didn't succeed in getting anywhere. But now you mentioned completing the square so I tried that and got (nowhere?):

    [tex] \|(\lambda I -A)x\|^2 \geq \left( |\lambda|\|x\| - \frac{\alpha}{|\lambda|}\|Ax\| \right)^2 + \|Ax\|^2\left(1-\frac{\alpha^2}{|\lambda|^2}\right) [/tex]

    (did complete square in maple so I don't think there are errors there :P). The last term is non-negative so

    [tex] \|(\lambda I -A)x\| \geq |\lambda|\|x\| - \frac{\alpha}{|\lambda|}\|Ax\| \geq |\beta|\|x\| - \|Ax\| [/tex]

    So close...! But you can't proceed anywhere from here, looks like a dead end.. :(
     
    Last edited: Jan 12, 2008
  11. Jan 12, 2008 #10

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    [tex] \|(\lambda I-A)x\|^2 = \|\lambda x\|^2 + \|Ax\|^2 - 2\alpha(Ax,x) [/tex]

    [tex] \geq |\lambda|^2 \| x\|^2 - 2\alpha \|Ax\| \|x \| + \|Ax\|^2 [/tex]

    [tex] = (\alpha^2 + \beta^2) \| x\|^2 - 2\alpha \|Ax\| \|x \| + \|Ax\|^2 [/tex]

    [tex] = (\alpha \|x\| - \|Ax\|)^2 + \beta^2 \| x\|^2 [/tex]
     
  12. Jan 12, 2008 #11
    doh ofcourse, using it that way, Thx!

    Well we wanted to show that the spectrum is real, so we have some steps left.
    In the problem it is stated that by (1) I get that [itex] \lambda I-A [/itex] (lets call it B from now on) is injective and have closed range. The injective part is easy, but I'm a little unsure about the closed range part.
    If I consider any sequence (y_n) with y_n = Bx_n for every n, then since we're in a Hilbert space lim x_n exists, and there for lim y_n is also in the range by continuity of B, but is this correct? I didn't even use (1).

    Furthermore it says I can conclude from (2) that B has a dense range. But if the range is closed this would just require showing that B is surjective, right? And I'm completly clueless on this one, any hints?
     
  13. Jan 12, 2008 #12

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    This doesn't make a lot of sense to me. Did you mean to say that (y_n) is a Cauchy sequence? If so, then yes this is true, and precisely because we know (1), since we can use it to show that (x_n) is also Cauchy. Then the continuity of B will let us conclude that the image of B is complete and hence closed.

    The point, I think, is to avoid manually proving that B is surjective. Since we know that B has closed range, proving that its range is dense in H will automatically prove that it's surjective.
     
    Last edited: Jan 12, 2008
  14. Jan 13, 2008 #13
    True (y_n) would have to be assumed to be a Cauchy sequence, and then I wanted to show that its limit is in the range, by using that if y_n = Bx_n then lim y_n = B(lim x_n) and we know that lim x_n exist since our space is complete, and hence lim y_n would be in the range.
    But what you say is more clear, showing that it is complete rather than closed.

    To show a set is dense you can show that the closure equals the space surrounding it, so in this case you would have to show that rg B = H. But showing this would be no different than showing surjectivity.
    Are there easier ways of showing that its dense?
     
  15. Jan 13, 2008 #14

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    lim B(x_n) = B(lim x_n) is true only if we know a priori that lim x_n exists. This is where we use (1):
    [tex]\|x_n - x_m\| \leq \frac{1}{|\beta|^2} \|Bx_n - Bx_m\| \to 0[/tex]

    Yup: in a Hilbert space, we know that [itex]\bar{S} = S^{\perp \perp}[/itex]. But the orthogonal complement of rgB is {y : <y,Bx>=0 for all x}, so in particular, for y in the orthocomplement, <y,By>=0 which implies that y=0 (by (2)). So the closure of the range is {0}^\perp = H.
     
  16. Jan 13, 2008 #15
    Thanks for your great help morphism.
    Now there is only one last thing left, which is to show [itex] \lambda [/itex] is real. Since B is bijective it has an inverse (in the set theoretic sense), so by (1) we get

    [tex] \|BB^{-1}x\| = \|x\| \geq |\beta|\|B^{-1}x\| [/tex]

    And so the operator norm of B^{-1} is bounded by

    [tex] \|B^{-1}\| \leq |\beta|^{-1} [/tex]

    So for [itex] \beta \neq 0 [/itex] B is invertible? It's because I just considered the set-theoretic inverse of B and therefore unsure of weather this implies that B is invertible.
    And this (if true) then implies that if [itex] \lambda [/itex] has an imaginary part then it is not in the spectrum, right?
     
  17. Jan 13, 2008 #16

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    It's a consequence (and in fact an equivalent) of the open mapping theorem that the set theoretic inverse of a mapping between Banach spaces is bounded (note that we used the fact that [itex]\beta \neq 0[/itex] to prove that B is invertible). I believe this is sometimes called the "inverse mapping theorem" or the "bounded inverse theorem". The rest of what you said is spot on: if [itex]\lambda[/itex] has an imaginary part, then we're screwed.
     
  18. Jan 13, 2008 #17
    So

    [tex] \|B^{-1}\| \leq |\beta|^{-1} [/tex]

    Does make sense and does imply that B^{-1} is bounded and hence B is invertible?´

    EDIT:
    Wait we just showed B is bijective, so B^{-1} IS bounded as you say by the theorem, but we wanted to tell when it's NOT bounded. And you can't just conclude it's not bounded when beta = 0. Or can u?
     
    Last edited: Jan 13, 2008
  19. Jan 13, 2008 #18

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    I couldn't exactly see how you got

    [tex] \|BB^{-1}x\| = \|x\| \geq |\beta|\|B^{-1}x\|[/tex]

    But the point is, you don't even need to worry about B^{-1} being bounded. The Hilbert spaceness gives you this for free.
     
  20. Jan 13, 2008 #19
    Well I apply (1) for [itex] x = B^{-1}z [/itex] so everything follows. And the boundedness of the operator follows from by dividing through with ||x|| so I get

    [tex] |\beta|\|B^{-1}\left(\frac{x}{\|x\|}\right)\| \leq 1 [/tex]

    And the norm of an operator is defined as

    [tex] \|B^{-1}\| = \sup_{\|x\|\leq 1}(B^{-1}x) [/tex]

    So

    [tex] \|B^{-1}\|\leq\|B^{-1}\left(\frac{x}{\|x\|}\right)\| \leq |\beta|^{-1} [/tex]

    But didn't we WANT to show that it IS bounded with that choice of beta, so that we could conclude lambda isn't in the spectrum when it has imgainary part?

    EDIT: I guess since I don't know the theorem I have to use another approach.
     
    Last edited: Jan 13, 2008
  21. Jan 13, 2008 #20

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    If you don't know the theorem then your method looks like the best alternative, and it does seem correct! But really, it's one of the fundamental theorems of functional analysis. It gives us the boundedness of the inverse for free once we establish its existence (and we DID establish it for said choice of beta). So I guess the problem is fully solved now. :smile:
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Spectrum of Hermitian operator
  1. Hermitian Operators (Replies: 3)

  2. Hermitian Operators (Replies: 13)

  3. Hermitian Operators (Replies: 1)

Loading...