Hace ⟨ψ|A^|ψ⟩=⟨ψ|B^|ψ⟩⟨ψ|A^|ψ⟩=⟨ψ|B^|ψ⟩\langle\psi|\hat{A}|\psi\rangle = \langle\psi|\hat{B}|\psi\rangle para todo |ψ⟩|ψ⟩|\psi\rangle implica que A^=B^A^=B^\hat{A} ​​= \hat{ B}?

Tengo que resolver este simple problema:

Dejar A ^ y B ^ Sean dos operadores hermitianos tales que:

ψ | A ^ | ψ = ψ | B ^ | ψ | ψ

Pruebalo

A ^ = B ^ .
Pista: ampliar | ψ en alguna base adecuada.

He intentado ingenuamente:

ψ | A ^ B ^ | ψ = 0 | ψ

Por lo tanto A ^ B ^ = 0 exactamente.

Pero esto parece funcionar siempre con operadores no hermitianos. ¿Me equivoco?

Creo que el punto es mostrar por qué ψ | A ^ B ^ | ψ = 0 significa que A ^ B ^ = 0

Respuestas (1)

Sí, OP tiene razón: se cumple para operadores no necesariamente autoadjuntos 1 .

Prueba esbozada:

  1. restando B ^ de ambos operadores (y renombrando), podemos asumir wlog que B ^ = 0 ^ .

  2. Volver a escribir A ^ = A ^ 1 + i A ^ 2 , dónde A ^ 1 = A ^ + A ^ 2 y A ^ 2 = A ^ A ^ 2 i son operadores autoadjuntos.

  3. Usa el truco de la polarización para demostrar que

    | ϕ , | ψ H :     0   =   ϕ + ψ | A ^ | ϕ + ψ ϕ | A ^ | ϕ ψ | A ^ | ψ   =   ϕ | A ^ | ψ + ψ | A ^ | ϕ   =   2 R mi ϕ | A ^ 1 | ψ + 2 i R mi ϕ | A ^ 2 | ψ .

  4. Deducir que

    | ϕ , | ψ H :     R mi ϕ | A ^ 1 | ψ   =   0   =   R mi ϕ | A ^ 2 | ψ .

  5. Deducir que

    | ϕ , | ψ H :     ϕ | A ^ 1 | ψ   =   0   =   ϕ | A ^ 2 | ψ .

  6. Concluye esto A ^ = 0 ^ .


1 Ignoraremos las sutilezas con operadores ilimitados , dominios, extensiones autoadjuntas , etc., en esta respuesta.

¿Por qué usas dos vectores? | ϕ y | ψ ? La pregunta original asume el mismo vector en ambos lados. ψ | A ^ | ψ = 0
@skdys | ϕ y | ψ ambos representan cualquier elemento en el espacio, por lo que | ϕ = | ψ es un caso más específico de esta demostración.
¿Se mantiene la igualdad en los casos que se ignoran?