Equações de autovalor

A equação de Schrödinger independente do tempo é um exemplo de uma equação de autovalor.

 

\ begin {displaymath} \ bgroup \ color {black} H \;  u (x) = E \;  u (x) \ egroup \ end {displaymath}

 

 

O hamiltoniano opera na autofunção , dando a uma constante o autovalor vezes a mesma função. (Eigen significa o mesmo em alemão.) \ bgroup \ color {black} $ u (x) $ \ egroup \ bgroup \ color {black} $ E $ \ egroup

Normalmente, para estados ligados, existem muitas soluções de autofunção (denotadas aqui pelo índice \ bgroup \ color {black} $ i $ \ egroup).

\ bgroup \ color {black} $ \ displaystyle H \;  \ psi_i = E_i \ psi_i $ \ egroup

Para estados que representam uma partícula (particularmente estados ligados), devemos exigir que as soluções sejam normalizáveis . Soluções que não são normalizáveis ​​devem ser descartadas. Uma função de onda normalizável deve ir a zero no infinito.

 

\ begin {displaymath} \ bgroup \ color {black} \ psi (\ infty) \ rightarrow 0 \ egroup \ end {displaymath}

 

 

Na verdade, todas as derivadas de \ bgroup \ color {black} $ \ psi $ \ egroupdevem ir a zero no infinito para que a função de onda permaneça em zero.

Vamos provar mais tarde que as autofunções são ortogonais entre si.

\ bgroup \ color {black} $ \ displaystyle \ langle \ psi_i \ vert \ psi_j \ rangle = \ delta_ {ij} $ \ egroup

 

 

\ begin {displaymath} \ bgroup \ color {black} \ int \ limits _ {- \ infty} ^ \ infty \ psi ^ * (x) \ psi (x) dx = 1 \ egroup \ end {displaymath}

 

 

Assumiremos que as autofunções formam um conjunto completo de forma que qualquer função pode ser escrita como uma combinação linear delas.

 

\ begin {displaymath} \ bgroup \ color {black} \ psi = \ alpha_1 \ psi_1 + \ alpha_2 \ psi_2 + \ alpha_3 \ psi_3 + ... \ egroup \ end {displaymath}

 

 

\ bgroup \ color {black} $ \ displaystyle \ psi = \ sum \ limits_ {i = 1} ^ \ infty \ alpha_i \ psi_i $ \ egroup

(Isso pode ser comprovado por muitas das funções próprias que usaremos.)

Como as autofunções são ortogonais, podemos calcular facilmente os coeficientes na expansão de uma função de onda arbitrária \ bgroup \ color {black} $ \ psi $ \ egroup.

 

\ begin {displaymath} \ bgroup \ color {black} \ alpha_i = \ langle \ psi_i \ vert \ psi \ rangle = \ l ... ... ângulo \ alpha_j = \ sum \ limits_j \ delta_ {ij} \ alpha_j = \ alpha_i \ egroup \ end {displaymath}

 

 

Mais tarde, pensaremos nas autofunções como vetores unitários em um espaço vetorial. A função de onda arbitrária \ bgroup \ color {black} $ \ psi $ \ egroupé então um vetor naquele espaço.

 

\ begin {displaymath} \ bgroup \ color {black} \ psi = \ pmatrix {\ alpha_1 \ cr \ alpha_2 \ cr \ alpha_3 \ cr ... \ cr} \ egroup \ end {displaymath}

 

 

É instrutivo calcular o valor esperado do hamiltoniano usando a expansão \ bgroup \ color {black} $ \ psi $ \ egroupe a ortonormalidade das autofunções.

 

\ begin {eqnarray *} \ langle \ psi \ vert H \ vert \ psi \ rangle & = & \ sum \ limits_ {ij} \ langle ... ... alpha_i ^ * \ alpha_i E_i = \ sum \ limits_ {i } \ vert \ alpha_i \ vert ^ 2E_i \\ \ end {eqnarray *}

 

 

 

 

Podemos ver que os coeficientes dos autoestados representam amplitudes de probabilidade de estar nesses estados , uma vez que os quadrados absolutos dos coeficientes obviamente fornecem a probabilidade. \ bgroup \ color {black} $ \ alpha_i ^ * \ alpha_i $ \ egroup

Conjugado Hermitiano de um Operador

Primeiro, vamos definir o Conjugado Hermitiano de um operador \ bgroup \ color {black} $ H $ \ egroupa ser \ bgroup \ color {black} $ H ^ \ dagger $ \ egroup. O significado deste conjugado é dado na seguinte equação.

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ psi \ vert H \ vert \ psi \ rangle = \ int \ ... ... psi \ rangle \ equiv \ langle H ^ \ dagger \ psi \ vert \ psi \ rangle \ egroup \ end {displaymath}

 

 

Isto é, \ bgroup \ color {black} $ H ^ \ dagger $ \ egroupdeve operar no conjugado de \ bgroup \ color {black} $ \ psi $ \ egroupe dar o mesmo resultado para a integral como quando \ bgroup \ color {black} $ H $ \ egroupopera em \ bgroup \ color {black} $ \ psi $ \ egroup.

A definição do Conjugado Hermitiano de um operador pode ser simplesmente escrita na notação Bra-Ket.

\ bgroup \ color {black} $ \ displaystyle \ langle A ^ \ dagger \ phi \ vert \ psi \ rangle = \ langle \ phi \ vert A \ psi \ rangle $ \ egroup

Partindo dessa definição, podemos provar algumas coisas simples. Tomando o conjugado complexo

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ psi \ vert A ^ \ dagger \ phi \ rangle = \ langle A \ psi \ vert \ phi \ rangle \ egroup \ end {displaymath}

 

 

Agora, considerando o conjugado de Hermitian \ bgroup \ color {black} $ A ^ \ dagger $ \ egroup.

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ left (A ^ \ dagger \ right) ^ \ dagger \ psi \ vert \ phi \ rangle = \ langle A \ psi \ vert \ phi \ rangle \ egroup \ fim {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} \ left (A ^ \ dagger \ right) ^ \ dagger = A \ egroup \ end {displaymath}

 

 

Se tomarmos o conjugado Hermitiano duas vezes, voltaremos ao mesmo operador.

É fácil mostrar isso

 

\ begin {displaymath} \ bgroup \ color {black} \ left (\ lambda A \ right) ^ \ dagger = \ lambda ^ * A ^ \ dagger \ egroup \ end {displaymath}

 

 

e

 

\ begin {displaymath} \ bgroup \ color {black} \ left (A + B \ right) ^ \ dagger = A ^ \ dagger + B ^ \ dagger \ egroup \ end {displaymath}

 

 

apenas a partir das propriedades do produto escalar.

Nós também podemos mostrar que

 

\ begin {displaymath} \ bgroup \ color {black} \ left (AB \ dagger) ^ \ dagger = B ^ \ dagger A ^ \ dagger. \ egroup \ end {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ phi \ vert AB \ psi \ rangle = \ langle ... ... \ rangle = \ langle B ^ \ dagger A ^ \ dagger \ phi \ vert \ psi \ rangle \ egroup \ end {displaymath}

 

 

Exemplo: Encontre o conjugado hermitiano do operador $ a + ib $*

Exemplo: Encontre o conjugado hermitiano do operador . $ {\ partial \ over \ partial x} $*

Operadores Hermitianos

Uma variável física deve ter valores esperados reais (e autovalores). Isso implica que os operadores que representam variáveis ​​físicas têm algumas propriedades especiais.

Calculando o conjugado complexo do valor esperado de uma variável física, podemos facilmente mostrar que os operadores físicos são seu próprio conjugado hermitiano .

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ psi \ vert H \ vert \ psi \ rangle ^ * = \ le ... ... fty \ psi (x) (H \ psi (x)) ^ * dx = \ langle H \ psi \ vert \ psi \ rangle \ egroup \ end {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} \ langle H \ psi \ vert \ psi \ rangle = \ langle \ psi \ vert H \ psi \ rangle = \ langle H ^ \ dagger \ psi \ vert \ psi \ rangle \ egroup \ end {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} H ^ \ dagger = H \ egroup \ end {displaymath}

 

 

Os operadores que são seus próprios Conjugados Hermitianos são chamados de Operadores Hermitianos .

\ bgroup \ color {black} $ \ displaystyle H ^ \ dagger = H $ \ egroup

Autofunções e espaço vetorial

As funções de onda são análogas aos vetores no espaço 3D. Os vetores unitários de nosso espaço vetorial são autoestados.

No espaço 3D normal , representamos um vetor por seus componentes.

 

\ begin {displaymath} \ bgroup \ color {black} \ vec {r} = x \ hat {x} + y \ hat {y} + z \ hat {z} = \ sum \ limits_ {i = 1} ^ 3r_i \ hat {u} _i \ egroup \ end {displaymath}

 

 

Os vetores unitários \ bgroup \ color {black} $ \ hat {u} _i $ \ egroupsão ortonormais,

 

\ begin {displaymath} \ bgroup \ color {preto} \ hat {u} _i \ cdot \ hat {u} _j = \ delta_ {ij} \ egroup \ end {displaymath}

 

 

onde \ bgroup \ color {black} $ \ delta_ {ij} $ \ egroupé o delta de Kroneker usual, igual a 1 se \ bgroup \ color {black} $ i = j $ \ egroupe, de outra forma, igual a zero.

Autofunções - os vetores unitários de nosso espaço - são ortonormais.

 

\ begin {displaymath} \ bgroup \ color {preto} \ langle \ psi_i \ vert \ psi_j \ rangle = \ delta_ {ij} \ egroup \ end {displaymath}

 

 

Representamos nossas funções de onda - os vetores em nosso espaço - como combinações lineares de estados próprios (vetores unitários).

 

\ begin {displaymath} \ bgroup \ color {black} \ psi = \ sum \ limits_ {i = 1} ^ \ infty \ alpha_i \ psi_i \ egroup \ end {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} \ phi = \ sum \ limits_ {j = 1} ^ \ infty \ beta_j \ psi_j \ egroup \ end {displaymath}

 

 

No espaço 3D normal, podemos calcular o produto escalar entre dois vetores usando os componentes.

 

\ begin {displaymath} \ bgroup \ color {black} \ vec {r} _1 \ cdot \ vec {r} _2 = x_1x_2 + y_1y_2 + z_1z_2 \ egroup \ end {displaymath}

 

 

Em nosso espaço vetorial, definimos o produto escalar como sendo

 

\ begin {eqnarray *} \ langle \ psi \ vert \ phi \ rangle & = & \ langle \ sum \ limits_ {i = 1} ^ \ inft ... ... eta_j \ delta_ {ij} = \ sum \ limits_ {i = 1} ^ \ infty \ alpha ^ * _ i \ beta_i \\ \ end {eqnarray *}

 

 

 

 

Também podemos calcular o produto escalar dos componentes dos vetores. Nosso espaço vetorial é um pouco diferente por causa do complexo conjugado envolvido na definição de nosso produto escalar.

De um ponto de vista mais matemático, as funções quadradas integráveis ​​formam um Espaço de Hilbert (vetorial). O produto escalar é definido como acima.

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ phi \ vert \ psi \ rangle = \ int \ limits _ {- \ infty} ^ \ infty d ^ 3r \ phi ^ * \ psi \ egroup \ end {displaymath }

 

 

As propriedades do produto escalar são fáceis de derivar da integral.

 

\ begin {displaymath} \ bgroup \ color {preto} \ langle \ phi \ vert \ psi \ rangle = \ langle \ psi \ vert \ phi \ rangle ^ * \ egroup \ end {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ phi \ vert \ lambda_1 \ psi_1 + \ lambda _... ... ert \ psi_1 \ rangle + \ lambda_2 \ langle \ phi \ vert \ psi_2 \ rangle \ egroup \ fim {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ lambda_1 \ phi_1 + \ lambda_2 \ phi_2 \ v ... ... ert \ psi \ rangle + \ lambda_2 ^ * \ langle \ phi_2 \ vert \ psi \ rangle \ egroup \ end {displaymath}

 

 

\ bgroup \ color {black} $ \ langle \ psi \ vert \ psi \ rangle $ \ egroupé real e maior que 0. É igual a zero sse \ bgroup \ color {black} $ \ psi = 0 $ \ egroup. Também podemos derivar a desigualdade de Schwartz.

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ psi_1 \ vert \ psi_2 \ rangle \ leq \ sqrt ... ... psi_1 \ vert \ psi_1 \ rangle \ langle \ psi_2 \ vert \ psi_2 \ rangle} \ egroup \ end {displaymath}

 

 

Operadores lineares transformam vetores no espaço em outros vetores.

 

\ begin {displaymath} \ bgroup \ color {black} \ psi '= A \ psi \ egroup \ end {displaymath}

A partícula em uma caixa 1D

Como um exemplo simples, resolveremos o problema 1D Particle in a Box . Essa é uma partícula confinada a uma região \ bgroup \ color {black} $ 0 <x <a $ \ egroup. Podemos fazer isso com o potencial (não físico) que é zero dentro desses limites e \ bgroup \ color {black} $ + \ infty $ \ egroupfora dos limites.

 

O mesmo problema com simetria de paridade

Se simplesmente redefinirmos a posição da caixa para que , nosso problema tenha simetria sob a operação de Paridade . \ bgroup \ color {black} $ - {a \ over 2} <x <{a \ over 2} $ \ egroup

 

\ begin {displaymath} \ bgroup \ color {black} x \ rightarrow -x \ egroup \ end {displaymath}

 

 

O hamiltoniano permanece inalterado se fizermos a transformação acima. O hamiltoniano comuta com o operador de paridade.

 

\ begin {displaymath} \ bgroup \ color {black} [H, P] = 0 \ egroup \ end {displaymath}

 

 

Isso significa que \ bgroup \ color {black} $ (Pu_i) $ \ egroupé uma autofunção de \ bgroup \ color {black} $ H $ \ egroupcom o mesmo autovalor de energia.

 

\ begin {displaymath} \ bgroup \ color {black} H (Pu_i) = P (Hu_i) = PE_iu_i = E_i (Pu_i) \ egroup \ end {displaymath}

 

 

Portanto, deve ser uma constante vezes a mesma autofunção de energia.

 

\ begin {displaymath} \ bgroup \ color {black} Pu_i = cu_i \ egroup \ end {displaymath}

 

 

As equações dizem que as autofunções de energia também são autofunções do operador de paridade .

Se operarmos duas vezes com paridade, voltamos à função original,

 

\ begin {displaymath} \ bgroup \ color {preto} P ^ 2u_i = u_i \ egroup \ end {displaymath}

 

 

portanto, os autovalores de paridade devem ser$ \ pm 1 $ .

 

\ begin {displaymath} \ bgroup \ color {black} Pu_i = \ pm 1 u_i \ egroup \ end {displaymath}

 

 

As condições de limite são

 

\ begin {displaymath} \ bgroup \ color {black} \ psi (\ pm {a \ over 2}) = 0. \ egroup \ end {displaymath}

 

 

Isso dá dois tipos de soluções .

 

\ begin {eqnarray *} u_n ^ + (x) & = & \ sqrt {2 \ over a} \ cos \ left ({(2n-1) \ pi x \ over a} \ right ... ... ar ^ 2 \ over 2ma ^ 2} \\ E_n ^ - & = & (2n) ^ 2 {\ pi ^ 2 \ hbar ^ 2 \ over 2ma ^ 2} \\ \ end {eqnarray *}

 

 

 

 

Juntos, eles são exatamente equivalentes ao conjunto de soluções que tínhamos com a caixa definida para ser de 0 a$ a $ . Eles \ bgroup \ color {black} $ u_n ^ + (x) $ \ egrouptêm autovalor +1 sob o operador de paridade. Eles \ bgroup \ color {black} $ u_n ^ - (x) $ \ egrouptêm autovalor -1 sob o operador de paridade.

Este é um exemplo de simetria do problema, fazendo com que um operador comute com o Hamiltoniano. Podemos então ter autofunções simultâneas desse operador e \ bgroup \ color {black} $ H $ \ egroup. Nesse caso, todas as autofunções de energia também são aut Estados de paridade. A paridade é conservada.

Uma função de onda arbitrária pode ser escrita como uma soma das autofunções de energia recuperando a série de Fourier em sua forma padrão .

 

\ begin {displaymath} \ bgroup \ color {black} \ psi (x) = \ sum \ limits_ {n = 1} ^ \ infty [A_n ^ + u_n ^ + (x) + A_n ^ -u_n ^ - (x) ] \ egroup \ end {displaymath}
\ begin {displaymath} \ bgroup \ color {black} V (x) = \ left \ {\ matrix {0 & 0 <x <a \ cr \ infty & \ mathrm {where}} \ right.  \ egroup \ end {displaymath}

 

 

Por causa do potencial infinito, esse problema tem condições de contorno muito incomuns . (Normalmente, exigiremos a continuidade da função de onda e de sua primeira derivada.) A função de onda deve ser zero em \ bgroup \ color {black} $ x = 0 $ \ egroupe, \ bgroup \ color {black} $ x = a $ \ egroupuma vez que deve ser contínua e é zero na região de potencial infinito. A primeira derivada não precisa ser contínua na fronteira (ao contrário de outros problemas), por causa da descontinuidade infinita no potencial.

equação de Schrödinger independente do tempo (também chamada de equação de autovalor de energia) é

 

\ begin {displaymath} \ bgroup \ color {black} Hu_j = E_ju_j \ egroup \ end {displaymath}

 

 

com o hamiltoniano (dentro da caixa)

 

\ begin {displaymath} \ bgroup \ color {black} H = - {\ hbar ^ 2 \ over 2m} {d ^ 2 \ over dx ^ 2} \ egroup \ end {displaymath}

 

 

Nossas soluções terão

 

\ begin {displaymath} \ bgroup \ color {black} u_j = 0 \ egroup \ end {displaymath}

 

 

fora da caixa.

solução dentro da caixa pode ser escrita como

 

\ begin {displaymath} \ bgroup \ color {preto} u_j = e ^ {ikx} \ egroup \ end {displaymath}

 

 

onde \ bgroup \ color {black} $ k $ \ egrouppode ser positivo ou negativo. Precisamos escolher combinações lineares que satisfaçam a condição de contorno que . \ bgroup \ color {black} $ u_j (x = 0) = u_j (x = a) = 0 $ \ egroup

Podemos fazer isso facilmente, escolhendo

 

\ begin {displaymath} \ bgroup \ color {preto} u_j = C \ sin (kx) \ egroup \ end {displaymath}

 

 

que satisfaz automaticamente o BC em 0. Para satisfazer o BC em \ bgroup \ color {black} $ x = a $ \ egroup, precisamos que o argumento de seno esteja \ bgroup \ color {black} $ n \ pi $ \ egrouplá.

 

\ begin {displaymath} \ bgroup \ color {preto} u_n = C \ sin \ left ({n \ pi x \ over a} \ right) \ egroup \ end {displaymath}

 

 

Conectando isso de volta à equação de Schrödinger, obtemos

 

\ begin {displaymath} \ bgroup \ color {black} {- \ hbar ^ 2 \ over 2m} (- {n ^ 2 \ pi ^ 2 \ over a ^ 2}) C \ sin (kx) = EC \ sin ( kx). \ egroup \ end {displaymath}

 

 

Haverá apenas uma solução que satisfaça o BC para um conjunto quantizado de energias .

 

\ begin {displaymath} \ bgroup \ color {black} E_n = {n ^ 2 \ pi ^ 2 \ hbar ^ 2 \ over 2ma ^ 2} \ egroup \ end {displaymath}

 

 

Temos soluções para a equação de Schrödinger que satisfazem as condições de contorno. Agora precisamos definir a constante \ bgroup \ color {black} $ C $ \ egrouppara normalizá- los como 1.

 

\ begin {displaymath} \ bgroup \ color {black} \ langle u_n \ vert u_n \ rangle = \ vert C \ vert ^ ... ... \ left ({n \ pi x \ over a} \ right) dx = \ vert C \ vert ^ 2 {a \ over 2} \ egroup \ end {displaymath}

 

 

Lembre-se de que o valor médio de \ bgroup \ color {black} $ \ sin ^ 2 $ \ egroupé a metade (na metade dos períodos). Então, definimos \ bgroup \ color {black} $ C $ \ egroupdando-nos as funções próprias

 

\ begin {displaymath} \ bgroup \ color {black} u_n = \ sqrt {2 \ over a} \ sin \ left ({n \ pi x \ over a} \ right) \ egroup \ end {displaymath}

 

 

As primeiras quatro funções próprias são representadas graficamente a seguir. O estado fundamental tem a menor curvatura e o menor número de zeros da função de onda.

 

\ epsfig {arquivo = figs / eigen.eps, largura = 5in}

Observe que esses estados teriam uma paridade definida se \ bgroup \ color {black} $ x = 0 $ \ egroupestivessem no centro da caixa.

expansão de uma função de onda arbitrária nessas autofunções é essencialmente nossa Série de Fourier original . Este é um bom exemplo das autofunções de energia sendo ortogonais e cobrindo o espaço.

 

 

Autofunções do Momentum

Também podemos olhar para as autofunções do operador momentum .

 

\ begin {displaymath} \ bgroup \ color {preto} p_ {op} u_p (x) = pu_p (x) \ egroup \ end {displaymath}

 

 

 

 

\ begin {displaymath} \ bgroup \ color {black} {\ hbar \ over i} {d \ over dx} u_p (x) = pu_p (x) \ egroup \ end {displaymath}

 

 

Os eigenstates são

 

\ begin {displaymath} \ bgroup \ color {black} u_p (x) = C e ^ {ipx / \ hbar} \ egroup \ end {displaymath}

 

 

com \ bgroup \ color {black} $ p $ \ egrouppermitido ser positivo ou negativo.

Essas soluções não vão a zero no infinito, portanto não são normalizáveis ​​para uma partícula.

 

\ begin {displaymath} \ bgroup \ color {preto} \ langle p \ vert p \ rangle = \ langle u_p \ vert u_p \ rangle = \ infty \ egroup \ end {displaymath}

 

 

Este é um problema comum para este tipo de estado.

Usaremos um tipo diferente de normalização para os autoestados de momentum (e os autoestados de posição).

 

\ begin {displaymath} \ bgroup \ color {black} \ langle p '\ vert p \ rangle = \ vert C \ vert ^ 2 \ i ... ... i (p-p') x / \ hbar} dx = 2 \ pi \ hbar \ vert C \ vert ^ 2 \ delta (p-p ') \ egroup \ end {displaymath}

 

 

Em vez do delta de Kronecker, usamos a função delta de Dirac. Os estados próprios de momentum têm uma faixa contínua de valores próprios, de modo que não podem ser indexados como os estados próprios de energia de um sistema ligado. Isso significa que o delta de Kronecker não poderia funcionar de qualquer maneira.

Estes são os auto-estados de momentum

\ bgroup \ color {black} $ \ displaystyle u_p (x) = {1 \ over \ sqrt {2 \ pi \ hbar}} e ^ {ipx / \ hbar} $ \ egroup

satisfazendo a condição de normalização

\ bgroup \ color {black} $ \ displaystyle \ langle p '\ vert p \ rangle = \ delta (p-p') $ \ egroup

Para um hamiltoniano de partícula livre , tanto o momento quanto a paridade comutam com \ bgroup \ color {black} $ H $ \ egroup. Portanto, podemos fazer autofunções simultâneas.

 

\ begin {eqnarray *} [H, p] = 0 \\ {[H, P] = 0} \\ \ end {eqnarray *}

 

 

 

 

Não podemos fazer autofunções de todos os três operadores, uma vez que

 

\ begin {displaymath} \ bgroup \ color {black} [P, p] \ neq 0. \ egroup \ end {displaymath}

 

 

Portanto, temos a escolha dos \ bgroup \ color {black} $ e ^ {ikx} $ \ egroupestados que são autofunções de \ bgroup \ color {black} $ H $ \ egroupe de \ bgroup \ color {black} $ p $ \ egroup, mas contêm componentes de paridade positivos e negativos. ou temos os estados \ bgroup \ color {black} $ \ sin (kx) $ \ egroup\ bgroup \ color {black} $ \ cos (kx) $ \ egroupque contêm dois momentos, mas são estados próprios de \ bgroup \ color {black} $ H $ \ egroupe Paridade. Estas são apenas combinações lineares diferentes das mesmas soluções.

Derivações e cálculos

 

As funções próprias dos operadores hermitianos são ortogonais

Queremos provar que as autofunções dos operadores Hermitianos são ortogonais. Na verdade, faremos isso primeiro, exceto no caso de autovalores iguais .

Suponha que temos um operador Hermitiano $ A $e duas de suas autofunções tais que

 

\ begin {eqnarray *} A \ psi_1 = a_1 \ psi_1 \\ A \ psi_2 = a_2 \ psi_2. \\ \ end {eqnarray *}

 

 

 

 

Agora calculamos de duas maneiras. \ bgroup \ color {black} $ \ langle \ psi_2 \ vert A \ vert \ psi_1 \ rangle $ \ egroup

 

\ begin {eqnarray *} \ langle \ psi_2 \ vert A \ psi_1 \ rangle & = & a_1 \ langle \ psi_2 \ vert \ psi _... ... A \ psi_2 \ vert \ psi_1 \ rangle = a_2 \ langle \ psi_2 \ vert \ psi_1 \ rangle \\ \ end {eqnarray *}

 

 

 

 

Lembre-se de que os autovalores são reais, portanto, não há necessidade de conjugação.

Agora subtraímos as duas equações . Os lados esquerdos são iguais, então eles dão zero.

 

\ begin {displaymath} \ bgroup \ color {black} 0 = (a_2-a_1) \ langle \ psi_2 \ vert \ psi_1 \ rangle \ egroup \ end {displaymath}

 

 

Se \ bgroup \ color {black} $ a_1 \ neq a_2 $ \ egroupentão

 

\ begin {displaymath} \ bgroup \ color {black} \ langle \ psi_2 \ vert \ psi_1 \ rangle = 0. \ egroup \ end {displaymath}

 

 

As autofunções são ortogonais .

E se duas das autofunções tiverem o mesmo autovalor ? Então, nossa prova não funciona. Suponha que seja real, pois sempre podemos ajustar uma fase para torná-la real. Uma vez que qualquer combinação linear de e tem o mesmo valor próprio, podemos usar qualquer combinação linear. Nosso objetivo será escolher duas combinações lineares ortogonais . Vamos tentar \ bgroup \ color {black} $ \ langle \ psi_2 \ vert \ psi_1 \ rangle $ \ egroup\ bgroup \ color {black} $ \ psi_1 $ \ egroup\ bgroup \ color {black} $ \ psi_2 $ \ egroup

 

\ begin {eqnarray *} \ psi _ + & = & {1 \ over \ sqrt {2}} \ left (\ psi_1 + \ psi_2 \ right) \\ \ psi _- & = & {1 \ over \ sqrt {2} } \ left (\ psi_1 - \ psi_2 \ right) \\ \ end {eqnarray *}

 

 

 

 

tão

 

\ begin {eqnarray *} \ langle \ psi _ + \ vert \ psi _- \ rangle & = & {1 \ over 2} \ left (1-1 + (\ lang ... ... \ vert \ psi_2 \ rangle- \ langle \ psi_2 \ vert \ psi_1 \ rangle \ right) = 0. \\ \ end {eqnarray *}

 

 

 

 

Isso é zero sob a suposição de que o produto escalar é real.

Assim, encontramos um conjunto ortogonal de autofunções, mesmo no caso de alguns dos autovalores serem iguais (degenerados). De agora em diante, vamos apenas assumir que estamos trabalhando com um conjunto ortogonal de autofunções.

Continuidade de funções de onda e derivados

Podemos usar a equação de Schrödinger para mostrar que a primeira derivada da função de onda deve ser contínua , a menos que o potencial seja infinito na fronteira.

 

\ begin {eqnarray *} {- \ hbar ^ 2 \ over 2m} {d ^ 2 \ psi \ over dx ^ 2} = (EV (x)) \ psi \\ {d ^ 2 \ psi \ over dx ^ 2 } = {2m \ over \ hbar ^ 2} (V (x) -E) \ psi \\ \ end {eqnarray *}

 

 

 

 

Integre ambos os lados logo abaixo de um limite (presume-se que esteja em \ bgroup \ color {black} $ x = 0 $ \ egroup) até logo acima.

 

\ begin {displaymath} \ bgroup \ color {black} \ int \ limits _ {- \ epsilon} ^ {+ \ epsilon} {d ^ 2 \ p ... ... its _ {- \ epsilon} ^ {+ \ epsilon } (V (x) -E) \ psi dx \ rightarrow 0 \ egroup \ end {displaymath}

 

 

Deixe \ bgroup \ color {black} $ \ epsilon $ \ egroupir para zero e o lado direito deve ir para zero para potenciais finitos.

 

\ begin {displaymath} \ bgroup \ color {black} \ left. {d \ psi \ over dx} \ right \ vert _ {+ \ eps ... ... ft. {d \ psi \ over dx} \ right \ vert _ {- \ epsilon} \ rightarrow 0 \ egroup \ end {displaymath}

 

 

Potenciais infinitos não são físicos, mas geralmente são úteis. O potencial da função delta é muito útil, portanto, derivaremos uma equação de continuidade especial para ele. Suponha . Integrando a Equação de Schrödinger, obtemos \ bgroup \ color {black} $ V (x) = V_0 \ delta (x) $ \ egroup

 

\ begin {displaymath} \ bgroup \ color {black} \ int \ limits _ {- \ epsilon} ^ {+ \ epsilon} {d ^ 2 \ p ... ... t \ limits _ {- \ epsilon} ^ {+ \ epsilon} (V_0 \ delta (x) -E) \ psi dx \ egroup \ end {displaymath}

 

 

Como antes, os termos finitos na integral à direita vão para zero como , mas agora a função delta dá uma contribuição fixa para a integral. \ bgroup \ color {black} $ \ epsilon \ rightarrow 0 $ \ egroup

 

\ begin {displaymath} \ bgroup \ color {black} \ left. {d \ psi \ over dx} \ right \ vert _ {+ \ eps ... ... dx} \ right \ vert _ {- \ epsilon} = {2m \ over \ hbar ^ 2} V_0 \ psi (0) \ egroup \ end {displaymath}

 

 

Há uma descontinuidade na derivada da função de onda proporcional à função de onda naquele ponto (e à força do potencial da função delta).

Exemplos

 

Conjugado Hermitiano de um Operador Constante

Se temos o operador \bgroup\color{black}$O=a+ib$\egrouponde \bgroup\color{black}$a$\egroup\ bgroup \ color {black} $ b $ \ egroupsão reais, qual é o seu conjugado hermitiano? Pela definição do conjugado hermitiano

 

\ begin {displaymath} \ bgroup \ color {preto} \ langle \ phi \ vert O \ psi \ rangle = \ langle O ^ \ dagger \ phi \ vert \ psi \ rangle. \ egroup \ end {displaymath}

 

 

É fácil ver a partir da integral que

 

\ begin {displaymath} \ bgroup \ color {black} \ langle (a-ib) \ phi \ vert \ psi \ rangle = \ lang ... ... vert (a + ib) \ psi \ rangle = (a + ib) \ langle \ phi \ vert \ psi \ rangle \ egroup \ end {displaymath}

 

 

Portanto, o conjugado Hermitiano de um operador constante é seu conjugado complexo.

Conjugado Hermitiano de \ bgroup \ color {black} $ {\ partial \ over \ partial x} $ \ egroup

Queremos calcular o conjugado hermitiano do operador . Usaremos a integral para derivar o resultado. \ bgroup \ color {black} $ {\ partial \ over \ partial x} $ \ egroup

 

\ begin {displaymath} \ bgroup \ color {black} \ left <\ phi \ left \ vert {\ partial \ over \ parti ... ... nfty} ^ \ infty \ phi ^ * (x) {\ partial \ psi (x) \ over \ partial x} dx \ egroup \ end {displaymath}

 

 

Podemos integrar isso por partes, diferenciando \ bgroup \ color {black} $ \ phi $ \ egroupe integrando para obter \ bgroup \ color {black} $ \ psi $ \ egroup.

 

\ begin {displaymath} \ bgroup \ color {black} \ left <\ phi \ left \ vert {\ partial \ over \ parti ... ... ft. {- \ partial \ over \ partial x} \ phi \ right \ vert \ psi \ right> \ egroup \ end {displaymath}

 

 

Portanto, o conjugado hermitiano de é . \ bgroup \ color {black} $ {\ partial \ over \ partial x} $ \ egroup \ bgroup \ color {black} $ - {\ partial \ over \ partial x} $ \ egroup

Observe que o conjugado Hermitiano do operador momentum é o mesmo do operador original. Portanto, o operador de impulso é Hermitiano. \ bgroup \ color {black} $ {\ hbar \ over -i} {- \ partial \ over \ partial x} $ \ egroup

Problemas de teste de amostra

  1. Uma partícula está confinada a uma caixa de comprimento $ L $em uma dimensão. Ele está inicialmente no estado fundamental. De repente, uma parede da caixa é movida para fora, formando uma nova caixa de comprimento $ 3L $. Qual é a probabilidade de a partícula estar no estado fundamental da nova caixa? Você pode achar útil saber essa resposta $ \ int \ sin (Ax) \ sin (Bx) dx = {\ sin \ left ((AB) x \ right) \ over 2 (AB)} - {\ sin \ left ((A + B) x \ right ) \ sobre 2 (A + B)} $

     

    \ begin {eqnarray *} P & = & \ vert \ langle u_0 ^ {(L)} \ vert u_0 ^ {(3L)} \ rangle \ vert ^ 2 \\ \ ... ... {3} \ over 2 } \ right) = {9 \ over 8 \ pi} \\ P & = & {81 \ over 64 \ pi ^ 2} \\ \ end {eqnarray *}

     


     

  2. Uma partícula de massa $ m $está em uma caixa unidimensional de comprimento L. A partícula está no estado fundamental. O tamanho da caixa é repentinamente (simetricamente) expandido para 3L de comprimento. Encontre a probabilidade de a partícula estar no estado fundamental do novo potencial. (Sua resposta pode incluir uma integral que você não precisa avaliar.) Encontre a probabilidade de estar no primeiro estado excitado do novo potencial.
  3. Duas autofunções degeneradas do hamiltoniano são normalizadas apropriadamente e possuem as seguintes propriedades.

     

    \ begin {eqnarray *} H \ psi_1 & = & E_0 \ psi_1 \\ H \ psi_2 & = & E_0 \ psi_2 \\ P \ psi_1 & = & - \ psi_2 \\ P \ psi_2 & = & - \ psi_1 \\ \ end {eqnarray *}

     


     

    Quais são os estados apropriadamente normalizados que são autofunções de H e P? Quais são suas energias?
  4. Encontre os primeiros três (mais baixos) autoestados de energia para uma partícula localizada em uma caixa como essa $ 0 <x <a $. Ou seja, o potencial é zero dentro da caixa e infinito fora. Estabeleça as condições de contorno e mostre que suas soluções as satisfazem. Normalize as soluções para representar uma partícula na caixa.
  5. Uma partícula está no primeiro estado excitado de uma caixa de comprimento $ L $. Qual é esse estado? Agora, uma parede da caixa é repentinamente movida para fora para que a nova caixa tenha comprimento $ D $. Qual é a probabilidade de a partícula estar no estado fundamental da nova caixa? Qual é a probabilidade de a partícula estar no primeiro estado excitado da nova caixa?
  6. * Suponha isso. O que é? O que é? O que é? $ \ phi (p) = \ delta (p-p_0) $$ \ psi (x) $$ <p ^ 2> $$ <x ^ 2> $
  7. Para uma partícula livre, o operador hamiltoniano H é dado por . Encontre as funções ,, que são autofunções tanto do hamiltoniano quanto de . Escreva a autofunção que tem autovalor de energia e autovalor de momento . Agora escreva as autofunções correspondentes no espaço de momento. $ H = p_ {op} ^ 2 / 2m $$ \ psi (x) $$ p $$ E_0 $$ p_0 $
  8. * Uma partícula de massa$ m $está em uma caixa unidimensional de comprimento L. A partícula está no estado fundamental. É feita uma medição do momento da partícula. Encontre a probabilidade de que o valor medido esteja entre$ p_0 $e$ p_0 + dp $.
  9. Uma partícula de massa $ m $está em um potencial constante $ V (x) = - V_0 $ para todo x. Quais dois operadores comutam com o hamiltoniano e podem, portanto, se tornar constantes do movimento? Uma vez que esses dois operadores não comutam um com o outro, deve haver duas maneiras de escrever as autofunções de energia, uma correspondendo a cada operador de comutação. Escreva essas duas formas de autofunções do hamiltoniano que também são autofunções desses dois operadores.
  10. Uma partícula está confinada a uma "caixa" em uma dimensão. Ou seja, o potencial é zero para $ x $entre 0 e $ L $, e o potencial é infinito para $ x $menos que zero ou $ x $maior que $ L $.
    a)
    Forneça uma expressão para as autofunções do operador hamiltoniano. Estas são as soluções independentes do tempo para este problema. (Dica: as funções reais serão mais simples de usar aqui.)
    b)
    Suponha que uma partícula esteja no estado fundamental desta caixa. Agora, uma parede da caixa é repentinamente movida de $ x = L $para $ x = W $onde $ W> L $. Qual é a probabilidade de a partícula ser encontrada no estado fundamental do novo potencial? (Você pode deixar sua resposta no formulário que contém uma integral claramente especificada.)
  11. Uma partícula de massa $ m $está em uma caixa unidimensional de comprimento $ L $. A partícula está no estado fundamental. O tamanho da caixa é repentinamente expandido para o comprimento $ 3L $. Encontre a probabilidade de a partícula estar no estado fundamental do novo potencial. (Sua resposta pode incluir uma integral que você não precisa avaliar.) Encontre a probabilidade de estar no primeiro estado excitado do novo potencial.