Is Q Self-adjoint Given Certain Conditions?

  • Thread starter noblegas
  • Start date
  • Tags
    Operator
Yes! Now set the two sides equal. You can cancel some terms and what remains will prove that Q is self-adjoint. You are almost there!Yes! Now set the two sides equal. You can cancel some terms and what remains will prove that Q is self-adjoint. You are almost there!In summary, the conversation discusses how to prove that an operator Q is self-adjoint if it satisfies the condition (\phi,Q\phi)=(Q\phi,\phi) for all \phi. The conversation includes steps for developing each side of the equation and setting them equal to each other, using the definition of the inner product notation, and canceling terms to prove that Q is self
  • #1
noblegas
268
0

Homework Statement



Show that if the operator Q satifies

[tex](\phi,Q\phi)=(Q\phi,\phi)[/tex] for all [tex]\phi[/tex], then Q is self-adjoint , that is

[tex](\varphi,QX)=(Q\varphi,X).[/tex] Consider the functions

[tex]\phi_1=\varphi+X[/tex],[tex] \phi_2=\phi+i*X[/tex]

Note: X is NOT a matrix. Could not find the latex code for the curvy X so i just typed X

Homework Equations


The Attempt at a Solution



[tex](\phi,Q\phi)=(Q\phi,\phi)[/tex] =[tex](\phi_1,Q\phi_1)=(Q\phi_1,\phi_1)=(\varphi+X),Q(\varphi+X), [/tex] (Q\phi,\phi)=[tex](\phi_2,Q\phi_2)=(Q\phi_1,\phi)=(\varphi+X)i,Q(\varphi+X)i[/tex] ? Am I off in the right direction?
 
Physics news on Phys.org
  • #2
is my question to esoteric
 
  • #3
It is hard to sort out what you are doing because your Latex code is mangled up. I would start with what is known, namely

[tex]((\varphi+\chi),Q(\varphi+\chi))=(Q(\varphi+\chi),(\varphi+\chi))[/tex]

and develop each side separately, i.e.

Left side =
Right side =

Set the two sides equal and use that

[tex](\chi,Q\chi)=(Q\chi,\chi);\ (\varphi,Q\varphi)=(Q\varphi,\varphi)[/tex]

to get some terms to cancel. After that you should be able to see how to finish. BTW "curvy X" is \chi.
 
  • #4
kuruman said:
It is hard to sort out what you are doing because your Latex code is mangled up. I would start with what is known, namely

[tex]((\varphi+\chi),Q(\varphi+\chi))=(Q(\varphi+\chi),(\varphi+\chi))[/tex]

and develop each side separately, i.e.

Left side =
Right side =

Set the two sides equal and use that z

[tex](\chi,Q\chi)=(Q\chi,\chi);\ (\varphi,Q\varphi)=(Q\varphi,\varphi)[/tex]

to get some terms to cancel. After that you should be able to see how to finish. BTW "curvy X" is \chi.


shouldn't I plug in [tex]\phi_2[/tex] as well ?
 
  • #5
Yes, that is part 2. Do this one first to see how it works, then do the other one following the same procedure.
 
  • #6
kuruman said:
Yes, that is part 2. Do this one first to see how it works, then do the other one following the same procedure.

[tex]
((\varphi+\chi),Q(\varphi+\chi))=q(\varphi+\chi), (\varphi+\chi))=q*(\varphi+\chi), (\varphi+\chi))[/tex], q is some number.
So now what?
 
  • #7
Are you given that Qφ = qφ where q is some number? It does not appear so. You need to distribute Q and get four terms on each side.
 
  • #8
kuruman said:
Are you given that Qφ = qφ where q is some number? It does not appear so. You need to distribute Q and get four terms on each side.

no, it is given in a section of my textbook but not in the problem.[tex](\varphi+\chi),Q(\varphi+\chi)=(\varphi+\chi),Q(\varphi)+Q(\chi)=(\varphi,Q\varphi)+(\chi,Q(\chi)[/tex] given that
[tex]
(\phi,Q\phi)=(Q\phi,\phi)
[/tex],then [tex](\varphi,Q\varphi)+(\chi,Q(\chi)=Q(\varphi,\varphi)+Q(\chi,\chi)?[/tex]
 
  • #9
What does your textbook say the definition of the notation

[tex](\varphi,Q\varphi)[/tex]

is? Is there any reason to believe that

[tex](\varphi,Q\varphi)=Q(\varphi,\varphi) ?[/tex]

The parentheses with the comma in between them mean something. What is it?
 
  • #10
kuruman said:
What does your textbook say the definition of the notation

[tex](\varphi,Q\varphi)[/tex]

is? Is there any reason to believe that

[tex](\varphi,Q\varphi)=Q(\varphi,\varphi) ?[/tex]

The parentheses with the comma in between them mean something. What is it?

it is the notation for the inner product. I think that I can only move Q out side when its a constant, but Q is a matrix. my book says: [tex](\varphi,Q\varphi)=(Q\varphi,\varphi)[/tex]
 
  • #11
Right. So you cannot move Q outside the parentheses. It is a matrix and it needs a vector to operate on. This means that Q needs to be inside the parentheses either on the left or on the right side of the comma. What you wrote in posting #8 is incorrect. Try again.
 
  • #12
[tex]
(\varphi+\chi),Q(\varphi+\chi)=(\varphi+\chi),Q(\varphi)+Q(\chi)=(\varphi,Q\varphi)+(\chi,Q(\chi)= (\varphi,Q\varphi)+(\chi,Q(\chi)=(Q\varphi,\varphi )+(Q\chi,\chi)=(Q\varphi+Q\chi,\varphi+\chi)=(Q(\varphi+\chi),(\varphi+\chi)?
[/tex]

therefore[tex] (\varphi+\chi),Q(\varphi+\chi))=(Q(\varphi+\chi),(\varphi+\chi))[/tex] and is self-adjointed?
 
Last edited:
  • #13
One more time. Start with the left side and split it into two terms

[tex]((\varphi+\chi),Q(\varphi+\chi))=((\varphi+\chi),Q\varphi)+((\varphi+\chi),Q\chi) [/tex]

the last result can be split into four terms

[tex]=(\varphi,Q\varphi)+(\chi,Q\varphi)+(\varphi,Q\chi)+(\chi,Q\chi) [/tex]

Now do the same with the right side which is

[tex](Q(\varphi+\chi),(\varphi+\chi))[/tex]

then set the two sides equal.
 
  • #14
kuruman said:
One more time. Start with the left side and split it into two terms

[tex]((\varphi+\chi),Q(\varphi+\chi))=((\varphi+\chi),Q\varphi)+((\varphi+\chi),Q\chi) [/tex]

the last result can be split into four terms

[tex]=(\varphi,Q\varphi)+(\chi,Q\varphi)+(\varphi,Q\chi)+(\chi,Q\chi) [/tex]

Now do the same with the right side which is

[tex](Q(\varphi+\chi),(\varphi+\chi))[/tex]

then set the two sides equal.

[tex]
(Q(\varphi+\chi),(\varphi+\chi))=((Q\varphi,(\varphi+\chi))+(Q\chi,(\varphi+\chi)=
((Q\varphi,(\varphi+\chi))+(Q\chi,(\varphi+\chi)=(Q\varphi,\varphi)+((Q\varphi,\chi)+(Q\chi, \varphi)+(Q\chi,\chi)=(\varphi,Q\varphi)+((\varphi,Q\chi)+(\chi, Q\varphi)+(\chi,Q\chi) ?[/tex]
 

FAQ: Is Q Self-adjoint Given Certain Conditions?

What is a self-adjoint operator?

A self-adjoint operator is a mathematical object that operates on a vector space and has the property that the operation on a vector and its adjoint (conjugate transpose) on the same vector result in the same value. In other words, the operator is equal to its own adjoint.

How is a self-adjoint operator different from other types of operators?

Self-adjoint operators are unique in that they have real eigenvalues and orthogonal eigenvectors. This makes them particularly useful in solving physical problems as they represent observables in quantum mechanics and other areas of physics.

What is the significance of self-adjoint operators in quantum mechanics?

In quantum mechanics, self-adjoint operators represent physical observables such as position, momentum, energy, and spin. This allows us to make predictions about the behavior of a quantum system and understand the underlying physical principles.

How do you determine whether an operator is self-adjoint?

To determine if an operator is self-adjoint, we can use the Hermitian adjoint (conjugate transpose) of the operator and check if the two are equal. If they are, then the operator is self-adjoint. We can also use the spectral theorem, which states that a linear operator is self-adjoint if and only if it has a basis of orthogonal eigenvectors.

What are some real-world applications of self-adjoint operators?

In addition to their use in quantum mechanics, self-adjoint operators have many applications in engineering, physics, and other scientific fields. They are used in signal processing, control theory, and partial differential equations, among others. They are also essential in understanding the behavior of physical systems, such as vibrations in a mechanical system or the behavior of a quantum particle in a potential well.

Back
Top