Enunciado
Física - Moysés - Vol. 4 - Ed: 1º - Capítulo 5.Problemas - Ex. 3
Demonstre que os vetores de polarização circular (5.39) formam uma base ortonormal para um produto escalar de vetores complexos e definido como , ou seja, que
Passo 1
Pessoal, antes de começar a substituir, vamos entender melhor o que essas equações estão falando.
A primeira diz que o produto interno de dois vetores diferentes da base têm que ser nulo:
Ou seja, os vetores são ortogonais uns aos outros. Nesse caso a base já seria ortogonal.
A segunda diz que o produto interno de um vetor com ele mesmo (ou, nesse caso, com o seu próprio conjungado) têm que dar .
Isso vai garantir que a base seja ortonormal, e não só ortogonal.
Passo 2
Então tá, agora vamos lembrar quais eram esses vetores de polarização circular, e os seus conjugados complexos:
Percebeu que eles são os complexos conjugados um do outro? É isso que vai ajudar a gente agora.
O que acontece quando fazemos um produto interno de um desses vetores pelo seu próprio conjungado complexo?
Cuidado, isso é um produto escalar! Não é uma multiplicação. Resolvendo ficamos com isso aqui:
E como e :
Que é exatamente o que a gente esperava. A conta para o produto interno é idêntica:
Ok, provamos a primeira condição.
Passo 3
Agora vamos ver se os produtos internos de vetores diferentes se anulam:
Começando com :
Fazendo o produto interno:
E, mais uma vez, o outro produto é idêntico:
Pronto! Provamos as duas condições. Isso quer dizer que esses vetores formam uma base ortonormal!
Resposta
Demonstração.