Você está na página 1de 21

JCABarata.

Curso de Fsica-Matem
atica

Captulo 9

T
opicos de Algebra
Linear. II

9.3
9.4

9.5
9.6
9.7

Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . .
Exponenciais, Logaritmos e Fun
co
es Analticas de Matrizes . . . . . . . .
9.2.1 A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . .
A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . .
Aplica
co
es Lineares em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . .
9.4.1 Alguns Fatos Gerais sobre Aplicaco
es Lineares em Mat (C, n) . . . . . . . .
9.4.2 Alguns Exemplos Especficos de Aplicaco
es Lineares em Mat (C, n) . . . . .
A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . .
A F
ormula de Duhamel e Algumas de suas Conseq
u
encias . . . . . . . . .
Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

411
414
. 421
424
426
. 427
. 432
437
442
447

Comentamos ao leitor mais avancado que as express


oes acima (e suas demonstracoes abaixo) valem nao apenas para
algebras de matrizes, mas tambem no contexto mais geral de algebras- de Banach com unidade.
As f
ormulas acima sao empregadas em v
arias areas da Fsica (como na Mec
anica Qu
antica, na Mec
anica Estatstica
e na Teoria Qu
antica de Campos) e da Matematica (como na Teoria de Grupos). Faremos uso delas, por exemplo, nos
Captulos 20 e 21. Suas provas serao apresentadas, pela ordem, na Proposicao 9.12, pagina 424, na Proposicao 9.14,
pagina 433, no Teorema 9.1 da Secao 9.5, pagina 437 e na Secao 9.6, pagina 442. A u
nica demonstracao que se pode
classificar como complexa e a da f
ormula de Baker-Campbell-Hausdorff, as demais sao simples. No correr das paginas
seguintes outras identidades u
teis, nao listadas acima, serao obtidas.

presente captulo diferencia-se do anterior por explorar aspectos mais topol


ogicos de algebras de matrizes.
Portanto, uma certa familiaridade com as nocoes basicas de espacos metricos (vide Captulo 24, pagina 1166)
e u
til. Discutiremos a definicao de funcoes analticas de matrizes, em particular, a exponencial e o logaritmo.
Nosso principal objetivo, porem, e provar as seguintes relacoes: para matrizes A, B Mat (C, n), valem:

F
ormula de Lie-Trotter1 :

exp (A + B) =

lim

exp



m
1
1
.
A exp
B
m
m

(9.1)

lim

exp







m2
1
1
1
1
A exp
B exp A exp B
.
m
m
m
m

Serie de Lie:
exp(B)A exp(B) = A +

9.1

Uma Topologia M
etrica em Mat (C, n)

Discutiremos nesta secao uma topologia metrica natural em Mat (C, n) a qual usaremos na Secao 9.2 para definir certas
funcoes analticas de matrizes, tais como a exponencial e o logaritmo.
Recordando, Mat (C, n) e o conjunto de todas as matrizes complexas n n e GL(C, n) Mat (C, n) e o conjunto
de todas as matrizes complexas n n inversveis. Como j
a observamos, GL(C, n) e um grupo.
Normas de matrizes. A norma operatorial

F
ormula do comutador:

exp [A, B] =

(9.2)

X
i

1 h
B, B, . . . , [B , A] .
m!
{z
}
|
m=1
m vezes

(9.3)

Seja V um espaco vetorial de dimens


ao finita, comopCn ou Rn , dotado de uma norma k kV . Para Cn u =
(u1 , . . . , un ), por exemplo, podemos adotar kukCn := |u1 |2 + + |un |2 . Vamos denotar por L(V ) o conjunto de
bem sabido que L(V ) e igualmente um espaco vetorial. Por exemplo,
todas as aplicacoes lineares de V em V . E
L(Cn ) = Mat (C, n) e L(Rn ) = Mat (R, n).
Com uso da norma de V e possvel definir uma norma tambem em L(V ). Para A L(V ) define-se
kAkL(V ) := sup
uV
u6=0

F
ormula de Baker-Campbell-Hausdorff2 (sobre a convergencia, vide comentario adiante):




1
1
1
exp(A) exp(B) = exp A + B + [A, B] +
A, [A, B] +
B, [B, A] + .
2
12
12

(9.4)

exp(A + B) = exp(A) +

Observac
oes.

da qual se obtem a serie de Duhamel:


"
Z t
Z t Z t1 Z
X
et(A+B) = etA 1 +

et1 A Bet1 A dt1 +


0

m=2

1 Marius

sup

Para A L(V ), a norma kAkL(V ) definida acima


e denominada norma operatorial induzida pela norma k kV . Como comentaremos abaixo,
uma conseq
h
a outras normas em L(Cn ) e L(Rn ) que n
ao a norma operatorial, mas que s
ao equivalentes `
aquela. E
u
encia imediata da definica
o
de norma operatorial que
kAukV kAkL(V ) kukV ,
(9.7)

tk A

Be

k=1

tk A

dtm dt1 .

(9.6)

A norma operatorial tem a seguinte propriedade importante: para A, B L(V ) quaisquer, tem-se
kABkL(V ) kAkL(V ) kBkL(V ) .
Essa propriedade e denominada sub-multiplicatividade da norma k kL(V ) . Nem toda norma em Mat (C, n) possui essa
propriedade.
E. 9.2 Exerccio importante. Mostre isso. Sugestao: use (9.7).

410

kAukV .

uV
kukV =1

para todo vetor u V .


m
tm1 Y

Sophus Lie (18421899). Hale Freeman Trotter (1931).


Frederick Baker (18661956). John Edward Campbell (18621924). Felix Hausdorff (18681942).
3 Jean Marie Constant Duhamel (17971872).

2 Henry

(9.5)

Note que
kAkL(V ) =



exp (1 s)(A + B) B exp sA ds ,

kAukV
.
kukV

E. 9.1 Exerccio. Mostre que k kL(V ) assim definida e, de fato, uma norma no espaco vetorial L(V ).

F
ormula de Duhamel3 :
Z

411/2070

A serie dentro da exponencial no lado direito de (9.4) e um tanto complexa, mas envolve apenas comutadores m
ultiplos
de ordem cada vez maior de A e B. A express
ao completa encontra-se em (9.59), pagina 437. Ao contr
ario das f
ormulas
que lhe precedem e sucedem, a f
ormula de Baker-Campbell-Hausdorff nao e v
alida para quaisquer matrizes A e B pois,
no caso geral, a convergencia da serie do lado direito so pode ser
para matrizes suficientemente pequenas,
 estabelecida

2
1
a saber, tais que kAkC e kBkC sejam ambas menores que 2 ln 2 2 0, 12844 . . . (a definicao da norma operatorial
k kC de matrizes sera apresentada adiante). Claro e que, nos casos felizes em que os comutadores m
ultiplos das matrizes
A e B se anulam a partir de uma certa ordem, a serie do lado direito sera finita e, portanto, convergente.

Conte
udo
9.1
9.2

Captulo 9

Vers
ao de 18 de julho de 2013.

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

412/2070

Observac
ao. Em Mat (C, n) e possvel provar que kA kMat (C, n) = kAkMat (C, n) e que kAk2Mat (C, n) = kA AkMat (C, n) (propriedade
C ). Vide Teorema 37.11, p
agina 1850.

importante comentar que o procedimento de construcao de normas em L(V ) pode ser repetido. Como L(V ) e
E
igualmente um espaco vetorial normado e de dimens
ao finita, podemos definir uma norma em L(L(V )) (o conjunto de
todas as aplicacoes lineares de L(V ) em L(V )) definindo para A L(L(V ))
kAkL(L(V ))

kAAkL(V )
:= sup
.
kAkL(V )
AL(V )

Vamos a um exemplo. Tomemos V = Cn , L(V ) = Mat (C, n). Seja uma matriz X Mat (C, n) fixa. Com ela
poderemos definir um elemento denotado por ad[X] de L(Mat (C, n)) por

kad[X]kL(Mat (C, n))

kAk1

kAk2

kAkp

:=

:=

max

a, b = 1, ..., n
n X
n
X
a=1 b=1

:=

n
X
kAej k2C
|Aij |2 .
=
kej k2C
i=1

Logo, para todo j,


kAk2 := sup

vCn
v6=0

|Aab |,

(9.8)

kAvk2C

kvk2C

|Aab | ,

n X
n
X
n X
n
X

a=1 b=1

|Aab |2

|Aab |p

!1/p

j=1

kAvk2C =

(9.10)

n
X
i=1

i=1

|Aij |2

(9.13)

i=1 j=1

kAk2 := sup
Como

n
X
i=1

|Aij |2

max

i=1, ..., n

n X
n
X
kAvk2C

|Aij |2 .
kvk2C
i=1 j=1

(9.14)



|Aij |2 , segue de (9.13) que
kAk2

A express
ao (9.11) generaliza (9.9) e (9.10). A norma kAk2 e por vezes denominada a norma de Frobenius4 da matriz A.
E. 9.3 Exerccio. Mostre que (9.8)-(9.11) de fato definem normas em Mat (C, n). (Note que (9.9)-(9.10) sao casos
particulares de (9.11)). Use a desigualdade de Minkowski (pagina 1198) para (9.11).
6

n
X

n X
n
X
|(Av)i |2
|Aij |2 kvk2C .
vCn
v6=0

(9.11)

j=1, ..., n

j=1

k=1

Logo,

com p 1 .

max

Tem-se tambem o seguinte. Para qualquer vetor v Cn , vale (Av)i =


j=1 Aij vj . Assim, pela desigualdade de
Cauchy-Schwarz (3.17), pagina 197,

!
n
n
n
X
X
X
|vk |2 =
|Aij |2 kvk2C .
|(Av)i |2
|Aij |2

(9.9)
!1/2

kAej k2C
=
j=1, ..., n kej k2
C
max

Pn

Da,

a=1 b=1

:=

Aqui denotaremos a norma operatorial de uma matriz A por kAk.

Sejam ei , i = 1, . . . , n os vetores da base can


onica de Cn , ou seja, os vetores cuja j-esima componente e (ei )j = ij .
Se A Mat (C, n), e claro que a i-esima componente do vetor Aej e (Aej )i = Aij . Da,

A6=0

Daqui para a frente denotaremos a norma operatorial de matrizes em Cn por k kC ou simplesmente por k k. Alem da
norma operatorial, ha outras normas que podem ser definidas em L(Cn ). Para A Mat (C, n) podemos, por exemplo,
definir as seguintes normas:
kAk

E. 9.5 Exerccio.
Seja D Mat (C, n) uma matriz diagonal: D = diag (d1 , . . . , dn ) com dk C. Mostre que
kDkC = max{|d1 |, . . . , |dn |}, ou seja, para matrizes diagonais kDkC = kDk .
6

kXAkMat (C, n) + kAXkMat (C, n)


sup
2kXkMat (C, n) .
kAkMat (C, n)
AL(V )

A6=0

413/2070

importante lembrar o Teorema 3.2, p


Observac
ao. E
agina 200, que afirma que em espacos vetoriais de dimens
ao finita todas as normas
s
ao equivalentes. Assim, em Mat (C, n) a norma operatorial kAkC e as normas kAk e kAkp com p 1 s
ao todas equivalentes. Note-se,
por
em, que a propriedade de sub-multiplicatividade kABkC kAkC kBkC da norma operatorial n
ao
e necessariamente compartilhada por
outras normas. Devido `
a equival
encia de todas as normas matriciais, tem-se em geral kABk ckAk kBk para alguma constante c > 0.

A Mat (C, n) .

evidente que ad[X] e uma aplicacao linear de Mat (C, n) em Mat (C, n), ou seja, um elemento de L(Mat (C, n)).
E
Note-se que
kXA AXkMat (C, n)

= sup
kAkMat (C, n)
AL(V )

Captulo 9

Vers
ao de 18 de julho de 2013.

Equival
encia entre normas matriciais

A6=0

E assim por diante para todos os espacos de aplicacoes L(L( L(V )) ).

ad[X]A := [X, A] = XA AX,

JCABarata. Curso de Fsica-Matem


atica

Logo, para todo i, j vale |Aij | kAk, ou seja,

max

max |Aij |2 .

j=1, ..., n i=1, ..., n

kAk kAk .

De (9.14) vemos tambem que


E. 9.4 Exerccio. A norma de Frobenius (9.10) tem uma interpretacao interessante. Mostre que,

hA, Bi = Tr (A B) =

n X
n
X

Aab Bab ,

(9.12)

a=1 b=1

A, B Mat (C, p
n), define um
pproduto escalar em Mat (C, n). Mostre que (9.10) e a norma associada a esse produto escalar,
6
ou seja, kAk2 = hA, Ai = Tr (A A).
4 Ferdinand

Georg Frobenius (18491917).

kAk2

n X
n
X
i=1 j=1

|Aij |2

n X
n
X
i=1 j=1

kAk2 = n2 kAk2 .

Conclumos assim que em Mat (C, n)


kAk kAk nkAk .

(9.15)

A express
ao (9.15) mostra-nos que caso tenhamos uma seq
uencia de matrizes Am com kAm k 0 quando m ,
entao cada elemento de matriz (Am )ij tambem converge a zero quando m . E vice-versa: Se (Am )ij 0 para todos
ij quando m , entao kAm k 0 quando m .

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

414/2070

Nota. Antes de prosseguirmos, comentemos tambem que as duas desigualdades (9.15) sao optimais, ou seja, nao podem ser melhoradas
para matrizes gen
ericas. Por exemplo,
e evidente que k1k = 1 e que k1k = 1. Assim, pelo menos nesse caso tem-se a igualdade na primeira
desigualdade de (9.15). H
a tamb
em um caso em que se tem a igualdade na segunda desigualdade de (9.15). Considere-se a matriz M cujos
elementos de matriz s
ao todos iguais a 1, ou seja, Mij = 1 para todos i, j. Seja o vetor u de Cn cujas componentes s
ao todas iguais a 1, ou
elementar ver que M u = nu. Logo kM ukC = n. Portanto, kM k n e kM k = 1. Assim, kM k nkM k e, da
seja, ui = 1 para todo i. E
kukC
segunda desigualdade de (9.15), conclumos que, nesse caso, kM k = nkM k .

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

415/2070

S
eries de pot
encias de matrizes

Seja A Mat (C, n) uma matriz n n complexa e seja {am m N} uma seq
uencia de n
umeros complexos. A
express
ao
N

X
X
am Am = a0 1 + a1 A + a2 A2 + a3 A3 +
am Am = lim
N

m=0

m=0

e dita ser uma serie de potencias convergente, caso o limite acima exista em Mat (C, n).
Nota.

A desigualdade (9.14) significa que kAk kAk2 . Ao mesmo tempo, a desigualdade (9.13) mostra que
n
X

nkAk2 =

j=1

kAk2

n X
n
X
j=1 i=1

|Aij |2 = kAk22 .

Proposi
c
ao 9.1 A seria de potencias

1
kAk2 kAk kAk2 .
n

(9.16)

E. 9.6 Exerccio. Mostre que em Mat (C, n)


1
kAk1 kAk nkAk1 .
n2
n
X

am Am e convergente se

i, j=1

(9.17)

m=0

e, entao, use (9.15).


N
X

kSN SM kC =

m=M+1

E. 9.7 Exerccio. Mostre que as desigualdades (9.18) tambem nao podem ser melhoradas.

|am | kAkm
C < .

m=0

|Aij | n kAk ou seja


(9.18)

P
m
e uma serie numerica e, portanto, mais simples
A import
ancia dessa proposicao reside no fato que
m=0 |am |kAkC
de lidar.
N
X
am Am . Teremos para M < N ,
Prova. Sejam as somas parciais SN :=

kAk kAk1 n2 kAk .




am Am

N
X

m=M+1

|am | kAkm
C .

PN
P
m
e uma seq
uencia de Cauchy. Logo
Agora, como a serie numerica m=0 |am | kAkm
C converge, sN :=
m=0 |am | kAkC
PN
m
pode
ser
feito
menor
que
qualquer

>
0
dado,
desde
que
escolhamos
M e N grandes o suficiente.
|a
|
kAk
m
C
m=M+1
Logo SN e tambem uma seq
uencia de Cauchy no espaco metrico completo Mat (C, n). Portanto, SN converge em
Mat (C, n) quando N .

Nota.

As express
oes (9.15), (9.16), (9.17) e (9.18) mostram-nos de modo explcito que em Mat (C, n) as normas k k, k k , k k1 e k k2 s
ao
equivalentes (vide definica
o `
a p
agina 199). Como j
a mencionamos, em espacos de dimens
ao finita todas as normas matriciais s
ao equivalentes
(Teorema 3.2, p
agina 200).

*
A import
ancia de se introduzir uma norma em L(V ) e que podemos dessa forma introduzir uma nocao de dist
ancia
entre elementos desse conjunto, ou seja, podemos definir uma metrica em L(V ) por d(A, B) = kA Bk. Deixamos para
o leitor a tarefa de demonstrar que isso de fato define uma metrica em L(V ). Com isso, fazemos de L(V ) um espaco
dotado de uma topologia metrica. Fora isso, o importante Teorema 37.2 demonstrado a` pagina 1829 afirma que L(V )
ser
a um espaco metrico completo se V o for. Logo, como Cn e Rn sao sabidamente espacos vetoriais completos, assim o
possvel dessa forma falar de convergencia de seq
ser
ao Mat (C, n), Mat (R, n), assim como L(Mat (C, n)) etc. E
uencias
e series de matrizes de Mat (C, n), Mat (R, n), assim como de elementos de L(Mat (C, n)) etc. Abaixo faremos uso
repetido desse fato fundamental.

9.2

A seguinte proposicao e fundamental:

m=0

Logo, conclumos que em Mat (C, n)

Sugest
ao: Mostre primeiro que kAk

Adotaremos sempre a convenca


o que A0 = 1.

Exponenciais, Logaritmos e Func


oes Analticas de Matrizes

No estudo da teoria de grupos e em outras areas e muito conveniente definir certas funcoes de operadores lineares, tais
como exponenciais, logaritmos etc. J
a abordamos a definicao da exponenciacao de matrizes nos captulos 8 e 12. Vamos
aqui tentar uma abordagem mais geral.

Fun
c
oes analticas de matrizes

A Proposicao 9.1 conduz `a seguinte definicao. Seja r > 0 e Dr = {z C| |z| < r} o disco aberto de raio r centrado
em 0 no plano complexo. Seja f : Dr C uma funcao analtica em Dr . Como bem
f pode ser expressa em
P sabemos,
m
(m)
(0)/m!.
termos de uma serie de potencias (serie de Taylor centrada em z0 = 0): f (z) =
m=0 fm z , onde fm = f
P

m
bem sabido tambem que essa serie e absolutamente convergente em Dr :
E
|f
|
|z|
<
,
se
|z|
<
r.
Podemos
m
m=0
entao definir

X
fm Am
f (A) :=
m=0

para toda a matriz A com kAkC < r, pois a proposicao acima garante que a serie de matrizes do lado direito converge a
alguma matriz de Mat (C, n), que denotamos por f (A), fazendo uma analogia obvia com a funcao numerica f .
A seguinte proposicao sobre essas funcoes de matrizes sera freq
uentemente usada no que seguir
a.

Proposi
c
ao 9.2 I. Sejam f e g duas func
oes analticas no mesmo domnio Dr . Definamos (f + g)(z) := f (z) + g(z)
e (f g)(z) := f (z)g(z), z Dr . Ent
ao, para A Mat (C, n) com kAkC < r teremos f (A) + g(A) = (f + g)(A) e
f (A)g(A) = g(A)f (A) = (f g)(A).
II. Sejam f e g duas func
oes analticas, com domnios Drf e Drg , respectivamente, e tais que a imagem de g esteja
contida no domnio de f . Podemos ent
ao definir f g(z) := f (g(z)). Ent
ao, para A Mat (C, n) com kAkC < rg
teremos f (g(A)) = f g(A).
2
Prova. Exerccio.
Note-se que a parte I da proposicao acima afirma que existe um homomorfismo da algebra das funcoes analticas em
um domnio Dr C e Mat (C, n).

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

416/2070

Vamos mais adiante usar o seguinte resultado, que essencialmente afirma que as matrizes f (A) definidas acima, com
f analtica em um domnio Dr C, dependem continuamente de A.
Proposi
c
ao 9.3 Seja
f func
ao complexa analtica em um domnio Dr C, com f tendo a serie de Taylor absolutamente
P
convergente f (z) = k=0 fk z k , |z| < r. Seja tambem Bm , m N, uma seq
uencia de matrizes de Mat (C, n) tais que
limm kBm kC = 0. Ent
ao, para todo A Mat (C, n) com kAkC < r tem-se

Prova. Comecemos com um comentario sobre o enunciado do teorema. Para que f (A + Bm ) esteja definido e necess
ario
que kA + Bm kC < r. Como kA + Bm kC kAkC + kBm kC e kAkC < r, a condicao e satisfeita para m grande o suficiente,
pois limm kBm kC = 0. Assim, estaremos supondo que m e grande o suficiente de modo que kBm kC < para algum
tal que kAkC + < r. Feita essa ressalva, passemos `a demonstracao.

A prova da proposicao segue como conseq


uencia das duas observacoes seguintes. A primeira e que para quaisquer
matrizes X, Y Mat (C, n) e qualquer k inteiro positivo tem-se a seguinte identidade algebrica:
k1
X

X p (X Y ) Y k1p .

p=0

(9.19)

Para provar isso, basta expandir a soma do lado direito e mostrar, ap


os alguns cancelamentos, que obtem-se o lado
esquerdo (faca!).
P
A segunda observacao e que se f eP
analtica em Dr , sua derivada tambem o e. Assim, f (z) = k=0 kfk z k1 converge
k1
absolutamente para |z| < r, ou seja,
< sempre que |z| < r.
k=0 k|fk | |z|
Assim,

f (A + Bm ) f (A) =

k=0

Usando (9.19) com X = A + Bm e Y = A, teremos


f (A + Bm ) f (A) =

fk

k=0



fk (A + Bm )k Ak .

k1
X
p=0

k=0

|fk |

k1
X
p=0

k=0

|fk |

kA + Bm kpC kAkk1p
.
C

k1
X
p=0

(kAkC + )k1 = kBm kC

Analogamente, podemos definir


ln(1 + A) =

X
(1)m1 m
A
m
m=1

(9.21)

k=0

Nota.


Para kA 1kC < 1 podemos definir ln(A) por ln(A) := ln 1 + (A 1) .

E. 9.8 Exerccio. Usando a Proposicao 9.2, mostre que (exp(A))m = exp(mA) para toda matriz A Mat (C, n) e todo
m Z. Mostre tambem que

exp ln(1 + A) = 1 + A

para toda matriz A Mat (C, n) com kAkC < 1 e que


ln exp(B) = B

para toda matriz B Mat (C, n) com k exp(B) 1kC < 1.


Note que




X 1


Bm
k exp(B) 1kC =


m!
m=1

Assim, a condicao k exp(B) 1kC < 1 e satisfeita se kBkC < ln 2.

X
1
kBkC
kBkm
1.
C = e
m!
m=1

Sobre a exponencial de matrizes temos o seguinte:


Proposi
c
ao 9.4 Existe uma bola aberta Br (0) de raio r > 0 centrada em 0 em Mat (C, n) tal que a aplicac
ao exp :
Mat (C, n) Mat (C, n) definida acima e um homeomorfismo (em verdade, um difeomorfismo) entre Br (0) e sua
imagem, exp(Br (0)), a qual e uma vizinhanca aberta da matriz identidade 1.
2

X
1 m
A . E f
acil ver que
m!
m=2

k(A)k
e contnua e diferenci
avel em uma vizinhanca de 0 (em verdade, em toda parte) e
kAk 0 para kAk 0. exp(A) 1
sua derivada em 0 e a identidade. A afirmacao da Proposicao 9.4 segue entao do bem conhecido Teorema da Aplicacao
Inversa (vide, por exemplo, [162]).

Junto com o u
ltimo exerccio, isso prova a seguinte proposicao:

Agora, como dissemos, kA + Bm kC < kAkC + < r e, obviamente, kAkC < kAkC + < r. Portanto,
kf (A + Bm ) f (A)kC kBm kC

417/2070

para toda matriz A Mat (C, n), pois a serie de Taylor da funcao exponencial converge absolutamente em todo o plano
complexo.

Prova. Temos que, para todo A Mat (C, n), exp(A) 1 = A + (A), onde (A) :=

(A + Bm )p Bm Ak1p .

Logo,
kf (A + Bm ) f (A)kC kBm kC

Captulo 9

Vers
ao de 18 de julho de 2013.

para toda matriz A Mat (C, n) com kAkC < 1, pois a serie de Taylor da funcao ln(1 + z) converge absolutamente em
D1 .

lim f (A + Bm ) = f (A) .

Xk Y k =

JCABarata. Curso de Fsica-Matem


atica

Proposi
c
ao 9.5 Para toda matriz A Mat (C, n) com kA 1kC < 1 tem-se

exp ln(A) = A .

k|fk | (kAkC + )k1 .

Como comentamos acima, a soma do lado direito e finita. Como, porem, kBm kC 0 para m , teremos
limm kf (A + Bm ) f (A)kC = 0, que e o que queramos provar.

Para toda matriz B Mat (C, n) com kBkC < ln 2 tem-se


ln exp(B) = B .

(9.22)
2

Exponenciais e logaritmos de matrizes

Com as definicoes apresentadas acima, podemos definir exponenciais e logaritmos de matrizes. Temos,
exp(A) e

X
1 m
:=
A
m!
m=0

Exponenciais de matrizes diagonaliz


aveis e o Teorema Espectral

(9.20)

Se A Mat (C, n) e diagonaliz


avel, o Teorema Espectral (Teorema 8.5, pagina 342) e o Calculo Funcional (Teorema
8.6, pagina 344) permitem obter express
Pr oes simples para a exponencial exp(A) em termos dos autovalores e dos projetores
espectrais de A. De fato, seja A = k=1 k Ek a decomposicao espectral de A, com {1 , . . . , r } sendo seus autovalores

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

418/2070

distintos (1 r n) e Ek sendo seus projetores espectrais (dados, por exemplo, comoPem (8.55), pagina 345). Pelo
n
1 a
x que
Calculo Funcional, Teorema 8.6, pagina 344, temos para o polin
omio de Taylor pn (x) = a=0 a!
pn (A) =

r
X

k=1

Tomando-se o limite n , segue facilmente que


eA =

r
X


pn k Ek .

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

E. 9.11 Exerccio. Por que?

Logo,
eA+B =

X
1
1 p
Ap B mp =
A
(m

p)!p!
p!
p=0 m=p
p=0

Agora, com a mudanca de vari


avel l = m p,

ek Ek ,

k=1

m=p

express
ao essa de grande utilidade na determinacao explcita da exponencial de matrizes diagonaliz
aveis.

419/2070

1
B mp
(m p)!
m=p

X
1 l
1
B mp =
B = eB .
(m p)!
l!
l=0

Assim,

E. 9.9 Exerccio. Usando tambem o Teorema Espectral e o Calculo Funcional, obtenha express
oes para o logaritmo de
matrizes diagonalizaveis (em situacoes nas quais ele esteja definido).
6

eA+B =

X
p=0

Analogamente se prova que eA+B = eB eA .

1 p B
A e = eA eB .
p!

Exponenciais de matrizes. Comutatividade

Para dois n
umeros complexos z e w e bem conhecida a validade da propriedade exp(z) exp(w) = exp(z + w) da funcao
exponencial. Podemos nos perguntar: sera essa propriedade valida tambem para matrizes? A resposta e que em geral tal
relacao n
ao e v
alida, apenas em certos casos especiais. A quest
ao de determinar o produto de exponenciais de matrizes
tem grande import
ancia em v
arias manipulacoes algebricas e muito do que seguir
a abordar
a esse problema.
Lembremos a primeiramente a seguinte proposicao.
Proposi
c
ao 9.6 Se A, B Mat (C, n) s
ao duas matrizes que comutam, ou seja, AB = BA, ent
ao
eA+B = eA eB = eB eA .

(9.23)
2

A propriedade (9.23) e familiar quando A e B sao n


umeros, mas nao e obvia quando A e B sao matrizes. De fato
a relacao acima e geralmente falsa caso A e B sejam matrizes que nao comutam. No caso em que A e B nao comutam
A B
o produto e e pode ser computado com uso da f
ormula de Baker-Campbell-Hausdorff, discutida na Secao 9.5, pagina
437.

*
Podemos nos perguntar: o que ocorre se A e B nao comutarem? H
a alguma maneira de calcular exp(A+B) em termos
de produtos de exp(A) e exp(B) nesse caso? A resposta a essas quest
oes e dada por tres formulas muito importantes,
a f
ormula de Lie-Trotter, a f
ormula do comutador e a f
ormula de Baker-Campbell-Hausdorff, das quais trataremos mais
adiante.
Algumas propriedades de fun
c
oes analticas de matrizes

Os exerccios seguintes, os quais sao muito simples de provar, apresentam afirmativas freq
uentemente usadas sobre
funcoes analticas de matrizes.
E. 9.12 Exerccio. Usando a definicao (9.20), mostre que
P 1 exp(A)P = exp P 1 AP
para matrizes n n reais ou complexas A e P , sendo P inversvel.

(9.24)
6

Prova da Proposicao 9.6. Pela definicao


eA+B = 1 +

X
X
1
1
(A + B)m =
(A + B)m ,
m!
m!
m=0

m=1

omio de Newton
onde convencionamos que (A + B) = 1. Como A e B comutam, vale a regra do bin
m  
X
m
(A + B)m =
Ap B mp .
p
p=0
0

E. 9.10 Exerccio.
exemplos.

Por que? Vale a regra do bin


omio de Newton no caso de A e B nao comutarem? Teste alguns
6

Assim,
e

A+B

 
X
m
X
m
X
X
1 m p mp
1
=
Ap B mp .
A B
=
m!
(m p)!p!
p
m=0 p=0
m=0 p=0

Agora, vale a seguinte regra de mudanca de ordem de somas:


X
m
X

m=0 p=0
5 Isaac

Newton (16431727).

( ) =

E. 9.13 Exerccio. Usando a definicao (9.20), mostre que



exp(A)T = exp AT
e que

exp(A) = exp (A )

para A Mat (C, n) ou A Mat (R, n).

Os exerccios acima podem ser facilmente generalizados:


E. 9.14 Exerccio.

Seja f (z) :=

m=0

fm z m uma serie de potencias convergente para |z| < r0 para algum r0 > 0. Entao

para A Mat (C, n) com kAk < r0 tem-se


!T

X
X
m
fm Am
=
fm AT
m=0

m=0

fm Am

m=0

fm (A )m ,

m=0

X

fm z m = f (z). Prove essas afirmativas. Prove tambem que
ou seja, f (A)T = f AT e f (A) = f (A ), onde f (z) :=
m=0

( ) .

P 1

p=0 m=p

m=0


ou seja, P 1 f (A)P = f P 1 AP .

fm Am

P =

m=0

fm P 1 AP

m

,
6

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

420/2070

Tambem muito u
til e a afirmacao contida no seguinte exerccio:
E. 9.15 Exerccio.

Sejam f (z) =

fm z m e g(z) =

m=0

m=0

gm z m duas series de potencias convergentes em |z| < r1 e

|z| < r2 , respectivamente. Sejam A e B Mat (C, n) duas matrizes com kAk < r1 e kBk < r2 tais que AB = BA. Entao
f (A)g(B) = g(B)f (A). Prove isso.
6
O determinante de exponenciais de matrizes

O Teorema de Decomposicao de Jordan (Teorema 8.20, pagina 375) permite-nos demonstrar o resultado a seguir,
muito u
til, sobre o determinante de exponenciais de matrizes. Uma primeira demonstracao do mesmo foi apresentada
na Proposicao 8.14, pagina 332.
Proposi
c
ao 9.7 Seja A Mat (C, n) ou A Mat (R, n). Ent
ao vale que

det eA = eTr(A) .

(9.25)
2

Prova da Proposi
c
ao 9.7. Pelo Teorema de Decomposicao de Jordan, existe uma matriz inversvel T tal que A =
T 1 (D + N )T , onde D e diagonal, N e nilpotente e DN = N D. Logo,

eA = exp T 1 (D + N )T = T 1 exp(D + N )T = T 1 exp(D) exp(N )T .








det eA = det T 1 eD eN T = det T 1 det eD det eN det (T ) = det eD det eN ,

pois det T 1 = 1/ det (T ). Assim, pelo Lema 9.1, pela Proposicao 8.11 e pela propriedade (8.33),
completando a prova.

9.2.1

= eTr(D) eTr(N ) = eTr(D+N ) = eTr(T

(D+N )T )

= eTr(A) ,

A Exponenciac
ao de Matrizes e os Grupos GL(C, n) e GL(R, n)

Em primeiro lugar, tem-se a seguinte proposicao elementar:


Proposi
c
ao 9.8 A aplicac
ao exp definida em (9.20) e uma aplicac
ao de Mat (C, n) em GL(C, n) (ou, correspondentemente, de Mat (R, n) em GL(R, n)).
2
2

Prova. A parte referente `a matriz diagonal e a mais f


acil. Suponhamos que D e a matriz diagonal D = diag (d1 , . . . , dn),
sendo que os elementos da diagonal sao os autovalores de D. Segue que eD e a matriz diagonal D = diag ed1 , . . . , edn .

Assim, pela Proposicao 8.4, pagina 325, det eD = ed1 ++dn = eTr(D) .

Tratemos agora da parte referente `a matriz nilpotente N . Iremos provar provar que se N e nilpotente todos os
autovalores de eN sao iguais a 1. Pela Proposicao 8.30, pagina 370, os autovalores de N sao todos nulos, Assim, se
e um autovetor de N teremos eN = , ou seja, e autovetor de eN com autovalor 1. Infelizmente, isso nao nos
permite concluir diretamente que todos os demais autovetores de eN tem a mesma propriedade mas, como veremos, isso
e verdade.
k
X
1 m
N . Seja 6= 0 um autovetor
Vamos supor que o ndice de N seja k, ou seja, N k+1 = 0. Assim, eN = 1 +
m!
m=1
de eN com autovalor e suponhamos que 6= 1. De eN = tem-se

421/2070

Recordemos que GL(C, n) (respectivamente, GL(R, n)) designa o grupo das matrizes inversveis complexas (reais)
n n. Aqui discutiremos a relacao entre a exponenciacao de matrizes e esses grupos. Essa discussao ter
a um papel mais
relevante quando tratarmos da teoria dos grupos de Lie e algebras de Lie nos Captulos 20 e 21.

Lema 9.1 Se D Mat (C, n) e uma matriz diagonal complexa n n, ent


ao

det eD = eTr(D) .

Captulo 9

eliminando o termo com N k . Aplicando N k1 a ambos os lados, conclumos que ( 1)N k1 = 0, j


a que no lado
direito aparecem potencias como N k , N k+1 etc., todas nulas. Como 6= 1, devemos ter N k1 = 0. Prosseguindo
N
dessa forma concluiremos por fim que N = 0. Assim, e = 1 = , provando que = 1, uma contradicao.

A conclusao e que todos os autovalores de eN sao iguais a 1, e pela Proposicao 8.4, pagina 325, det eN = 1.
Notemos
que,
pela
Proposi
c

a
o
8.30,
p
a
gina
370,
os
autovalores
de
N
s
a
o
todos
nulos
e,
assim,
Tr(N
)
=
0.
Logo,

det eN = 1 = eTr(N ) . Isso completa a prova do lema.

det eA

Para a prova precisamos de um lema preparat


orio simples.

k
X
1 m
N
( 1) =
m!
m=1

Vers
ao de 18 de julho de 2013.

Portanto,

suficiente que provemos (9.25) para matrizes complexas primeiro, pois matrizes reais podem ser obtidas de matrizes
E
complexas do limite quando a parte imagin
aria dos elementos de matriz vai a zero e a continuidade, tanto do lado direito
quanto do lado esquerdo de (9.25) em relacao aos elementos de matriz de A, garante a validade daquela express
ao para
matrizes reais tambem.

Igualmente, se N Mat (C, n) e uma matriz nilpotente complexa n n, ent


ao

det eN = eTr(N ) = 1 .

JCABarata. Curso de Fsica-Matem


atica

(9.26)

e, assim, aplicando N a ambos os lados, conclumos que ( 1)N = 0, j


a que no lado direito aparecem potencias
como N k+1 , N k+2 etc., todas nulas. Como 6= 1, devemos ter N k = 0. Retornando a (9.26), podemos re-escreve-la
como
k1
X 1
N m
( 1) =
m!
m=1

evidente pela definicao (9.20) que exp(0) = 1. Tudo o que se deseja provar e que para qualquer A Mat (C, n)
Prova. E
entao exp(A) e inversvel. Ora, por (9.23), e elementar constatar que exp(A)1 = exp(A).
Tem-se tambem o seguinte:
Proposi
c
ao 9.9 Para n 2 as aplicac
oes exp : Mat (C, n) GL(C, n) e exp : Mat (R, n) GL(R, n) n
ao s
ao
injetoras.
2

Prova. Para matrizes complexas, basta constatar que, no exemplo das matrizes diagonais na forma D = diag (2k1 i, . . . , 2kn i, )
com kl Z, tem-se exp(D) = 1.

0 1
, R. Como facilmente se ve,
Para matrizes reais, considere-se a matriz real A() := J onde J :=

1 0

tem-se para m N, A()2m = (1)m ()2m 1 e A()2m+1 = (1)m ()2m+1 J. Da, como facilmente se verifica por (9.20),

cos
exp(A()) = cos()1 + sen ()J =

sen

sen
.

cos

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

422/2070

f
acil,
Logo, exp(A(2k)) = 1 para todo k Z. Assim a exponenciacao de matrizes reais 2 2 nao pode ser injetora. E
a partir desse exemplo, construir outros para matrizes reais n n com n 2.
Agora demonstraremos duas proposicoes nas quais as matrizes reais e complexas se diferenciam.
Proposi
c
ao 9.10 As aplicac
oes exp : Mat (R, n) GL(R, n), n 1, n
ao s
ao sobrejetoras.

Proposi
c
ao 9.11 As aplicac
oes exp : Mat (C, n) GL(C, n), n 1, s
ao sobrejetoras.

` pagina 9.2.1 fazemos alguns comentarios adicionais sobre a Proposicao 9.10.


A
Prova da Prop. 9.11. A Proposicao 9.11 afirma que toda matriz complexa inversvel nn pode ser escrita como exponencial
de outra matriz complexa nn. Provemos isso. Seja A GL(C, n). Pelo Teorema da Decomposicao de Jordan (Teorema
8.20, pagina 375) existe uma matriz inversvel P tal que P 1 AP = D + N com D diagonal, N nilpotente, DN = N D,
sendo que D tem na diagonal principal os autovalores da matriz A. Esse u
ltimo fato diz-nos que D nao tem autovalores
nulos e, portanto, e tambem inversvel.
Podemos assim escrever D + N = D(1 + D1 N ). O que faremos agora e provar os seguintes fatos:

2. 1 + D

N pode ser escrita como 1 + D

N =e

Queremos agora provar que essa igualdade vale para todo z. Usando novamente o fato que as matrizes D1 e N comutam
k+1
entre si, o fato que D1 N
= 0 e o fato que a soma em (9.28) e finita, teremos
exp(G(z)) = exp

k
Y



m
(z)m
exp
D1 N
m
m=1
k
Y

m=1

"

1+

k
X
(1)l (z)ml
l=1

l!

ml

D1 N

ml

Como as somas a produtos acima sao finitos (conseq


uencia da nilpotencia de D1 N ), constatamos que exp(G(z)) e um
polinomio em z para todo z C. Ora, j
a verificamos acima que, quando |z| e pequeno, exp(G(z)) e igual ao polinomio em
z dado por 1 + zD1 N . Como polinomios sao funcoes analticas em toda parte isso implica que exp(G(z)) = 1 + zD1 N
para todo z C. Em particular, para z = 1, o que significa que 1 + D1 N = exp(G), onde
G G(1) =

k
X
(1)m+1
m
m=1

D1 N

m

E. 9.16 Exerccio. Usando a definicao (9.30), prove explicitamente que exp(G) = 1 + D1 N .

(9.30)

Coment
arios sobre a Proposi
c
ao 9.10

Prova de 1. Sejam 1 , . . . , l os autovalores distintos de D. Pelo Teorema Espectral (vide Teorema 8.5, pagina 342, ou
l
X
Teorema 8.7, pagina 347) podemos escrever D =
j Ej , onde as matrizes Ej satisfazem (8.63) e (8.64) e, de acordo
j=1

1
mj (D). (Os
com (8.65), podem ser expressas como polin
omios em D (um fato que ser
a usado mais abaixo): Ej = mj (
j)
polin
omios mj foram definidos na demonstracao do Teorema 8.7). Seja, para cada j, um n
umero complexo fj escolhido
de forma que exp(fj ) = j . Encontrar tais fj s sempre e possvel pois os j s sao nao-nulos, j
a que D e inversvel. Se
definirmos
l
X
F :=
fj Ej
j=1

Sobre matrizes reais e possvel dizer mais que o enunciado da Proposicao 9.10 e sua prova. Em verdade, nao sao
apenas as matrizes com determinante negativo que est
ao fora da imagem da exponenciacao de matrizes reais. H
a algumas
com determinante positivo que tambem est
ao fora. Se M e uma matriz real inversvel, entao seus autovalores sao as
razes do polinomio caracterstico p(x) = det(x1 M ). Como M e real, esse polinomio tem coeficientes reais e, como
e bem sabido, as razes de polinomios com coeficientes reais ou sao n
umeros reais ou sao pares de n
umeros complexos

0
complexo-conjugados uns dos outros. Por exemplo, as razes do polinomio caracterstico da matriz

fj
mj (D) ,
mj (j )

(9.27)

ou seja, F pode ser expressa como um polin


omio em D.
Prova de 2. Como D1 e N comutam (por que?), segue que D1 N e nilpotente de ordem, digamos, k, ou seja
k+1
D1 N
= 0. Assim, para z C escolhido de modo que kzD1 N k < 1, o logaritmo de 1 + zD1 N est
a bem
definido e vale (vide (9.21))
k
X (z)m
m
D1 N
.
(9.28)
G(z) =
m
m=1
Sabemos pela Proposicao 9.5 que nesse caso em que kzD

N k < 1, ou seja, |z| < 1/kD

exp(G(z)) = 1 + zD1 N .

N k, temos

1 0
.

0 2

(9.31)

Isso posto, estudemos os autovalores das matrizes da forma eA com A real. Esses sao as razes do polinomio caracterstico p(x) = det(x1 eA ). Como toda matriz real e tambem membro de Mat (C, n) podemos aplicar o Teorema
da Decomposicao de Jordan (Teorema 8.20, pagina 375) e afirmar que existe uma matriz inversvel complexa P tal que
P 1 AP = D + N com D diagonal, N nilpotente, DN = N D, sendo que D tem na diagonal os autovalores da matriz
real A. Assim, pela propriedade do determinante,

p(x) = det(x1 eA ) = det P 1 (x1 eA )P = det(x1 eD eN ) .
f
E
acil de ver da6 que os autovalores de eA sao os elementos da diagonal da matriz diagonal eD , que sao, como comentamos
acima, exponenciais dos autovalores da matriz real A. Podemos nos perguntar: podem os elementos da diagonal de eD
6 Pois

(9.29)

1
sao i.

De qualquer forma, uma matriz com determinante positivo pode, digamos, ter duas razes negativas distintas simples,
como e, por exemplo, o caso da matriz

e f
acil constatar por (8.63) e (8.64) que exp(F ) = D (faca!). Isso prova 1. Note que, pelo que comentamos acima, vale

j=1

k
X
m
(z)m
D1 N
m
m=1

para alguma matriz G conveniente.

Desses tres fatos conclumos que P 1 AP = exp(F + G) e, portanto, A = exp (M ), onde M = P (F + G)P 1 , provando
o que desejamos.

F =

423/2070

Prova de 3. Por (9.27), F e um polinomio em D. Assim, F comuta com D e com N . Logo, por (9.30), F comuta com
G. Isso e o que queramos provar e, assim, a prova da Proposicao 9.11 est
a completa.

3. Podemos escolher F e G de modo que F G = GF .

l
X

Captulo 9

1. D pode ser escrita como D = eF para alguma matriz F conveniente.


1

Vers
ao de 18 de julho de 2013.

Prova da Prop. 9.10. Pela Proposicao 9.25, o determinante da exponencial de qualquer matriz real e positivo. Ora, existem
em GL(R, n) matrizes com determinante negativo. Logo, a exponenciacao de matrizes reais nao pode ser sobrejetora.

JCABarata. Curso de Fsica-Matem


atica

eD .

numa base conveniente a matriz eD eN


e uma matriz triangular superior, tendo na diagonal principal os elementos da diagonal de

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

424/2070

serem n
umeros negativos? A resposta e sim, mas para isso e necess
ario que A tenha um autovalor complexo cuja parte
imagin
aria seja da forma (2k + 1), com k inteiro. Ora, como A e real, existe pelo que comentamos acima, um outro
autovalor complexo de A cuja parte imagin
aria e da forma (2k + 1), pois os autovalores complexos aparecem em pares
complexo-conjugados. Isso diz-nos que os autovalores negativos de eA tem multiplicidade par! Ora, isso nem sempre e
o caso para matrizes inversveis, como mostra o exemplo do u
ltimo paragrafo. Assim, matrizes reais com determinante
positivo e com pelo menos um autovalor negativo com multiplicidade mpar nao est
ao na imagem da exponencial de
nenhuma matriz real. Tal e o caso da matriz de (9.31). Em verdade, mesmo matrizes com determinante positivo e com
autovalores
negativos com multiplicidade par podem nao estar na imagem da exponencial. Tal e o caso das matrizes

1 a
0 1 com a 6= 0 (mostre isso).

9.3

A F
ormula de Lie-Trotter e a F
ormula do Comutador

H
a duas express
oes envolvendo produtos de exponenciais de matrizes que sao bastante u
teis. Sao as f
ormulas conhecidas
como f
ormula de Lie-Trotter7 e f
ormula do comutador. A f
ormula de Lie-Trotter e importante nao apenas no estudo de
grupos de Lie matriciais mas tambem na Mec
anica Estatstica e na Mec
anica Qu
antica, onde e freq
uentemente empregada.
A f
ormula de Lie-Trotter, por exemplo, e usada na Mec
anica Estatstica para relacionar sistemas quanticos de spin a
sistemas classicos de spin.

JCABarata. Curso de Fsica-Matem


atica

Assim,






1

kSm kC
exp m A

exp A + B
F
ormula do Comutador:

exp [A, B] =

lim

exp

lim

exp



m
1
1
.
A exp
B
m
m







m2
1
1
1
1
.
A exp
B exp A exp B
m
m
m
m

(9.33)

Note-se que (Tm )m = exp (A + B) e que tudo o que desejamos e provar que (Sm )m converge a exp (A + B), ou seja,
lim k(Sm )m (Tm )m kC = 0 .

p=0

k=0

p=0

kSm Tm kC mkSm Tm kC e(kAkC +kBkC ) .

Como se ve da u
ltima express
ao, tudo o que temos de fazer para mostrar que k(Sm )m (Tm )m kC vai a zero quando
m e provar que kSm Tm kC vai a zero com 1/m2 quando m cresce. Isso e feito escrevendo as express
oes explcitas
para Sm e Tm em termos da serie de Taylor da funcao exponencial:

Sm Tm = exp






1
1
1
A exp
B exp
(A + B)
m
m
m

"

1+

X mk
1
A+
Ak
m
k!
k=2

Sm T m = 1 +

#"

1+

# "
#

X
X
1
1
mk k
mk
B+
B 1 + (A + B) +
(A + B)k .
m
k!
m
k!
k=2

k=2

(9.34)

k=0

7 A f
ormula de Lie-Trotter foi originalmente demonstrada por Lie (Marius Sophus Lie (18421899)) e posteriormente generalizada por v
arios
autores, entre eles Trotter (Hale Freeman Trotter (1931)) em On the Product of Semi-Groups of Operators. Proc. Amer. Math. Soc. 10,
545551 (1959). O leitor poder
a encontrar v
arias dessas generalizaco
es (por exemplo para operadores auto-adjuntos n
ao-limitados agindo em
espacos de Hilbert) em [197]. O assunto
e ainda hoje objeto de pesquisa.
8 Para a f
ormula de Lie-Trotter seguiremos aqui a demonstraca
o de [197].

1
1
1
1
1
A + B 1 (A + B) + 2 Sm =
Sm ,
m
m
m
m
m2

onde Sm e uma serie, um tanto complicada, mas convergente em norma e tal que limm kSm kC = finito. Assim,
1
kSm kC e, portanto, lim k(Sm )m (Tm )m kC = 0. Isso demonstrou a f
ormula de Lie-Trotter. O
mkSm Tm kC
m
m
estudante mais avancado pode facilmente convencer-se que precisamente a mesma demonstracao se aplica ao contexto
de operadores limitados agindo em espacos de Banach.
Para a f
ormula do comutador usaremos outro procedimento. Definimos








1
1
1
1
Um := exp
A exp
B exp A exp B
m
m
m
m
e teremos

Um =

"

1+

X mk
1
1
A+
A2 +
Ak
m
2m2
k!
k=3

"

Precisamos, portanto, estudar (Sm )m (Tm )m . Para isso, e u


til empregarmos a identidade algebrica (9.19). Daquela
relacao e das propriedades da norma operatorial, segue que

Pela definicao, temos para qualquer matriz M Mat (C, n)



X
X
1
1 k


M
kM kkC = ekMkC .
k exp (M ) kC =


k!
k!

m1
X

Na u
ltima desigualdade usamos que (m 1)/m < 1 e que kSm Tm kC nao depende de p.

m1p
kSm kpC kSm Tm kC kTm kC
.






exp 1 B e(kAkC +kBkC )/m


m
C

k(Sm )m (Tm )m kC e(kAkC +kBkC )(m1)/m

(9.32)

Prova. Vamos primeiramente provar a f


ormula de Lie-Trotter8 e posteriormente passar a` f
ormula do comutador.
Comecamos definindo, para m N,






1
1
1
A exp
B
e
Tm := exp
(A + B) .
Sm := exp
m
m
m

m1
X

425/2070

Expandindo-se a u
ltima linha, e identificando os termos em 1/m, e f
acil constatar que

k(Sm )m (Tm )m kC

Captulo 9

e kTm kC e(kAkC +kBkC )/m . Retornando a (9.34), teremos

Proposi
c
ao 9.12 Para quaisquer matrizes A, B Mat (C, n) valem:

F
ormula de Lie-Trotter:

Vers
ao de 18 de julho de 2013.

#"

1+

X mk
1
1
B+
B2 +
Bk
m
2m2
k!
k=3

1
1
A+
A2 +
m
2m2

k=3

(m)k k
A
k!

#"

X (m)k
1
1
B+
B2 +
Bk
m
2m2
k!
k=3

Com um pouco de paciencia podemos expandir o produto dos quatro fatores do lado direito e constatar (faca!) que
os termos envolvendo 1/m se cancelam e o termo proporcional a 1/m2 e AB BA (outros termos como (1/m2 )A2 e
(1/m2 )B 2 tambem se cancelam. Verifique!). Ou seja, ficamos com
Um = 1 +

1
1
(AB BA) + 3 Rm ,
m2
m

(9.35)

1
m 3 Rm

sao os termos restantes da expansao. Rm e uma express


ao complicada, mas envolvendo series convergentes
onde
e de tal forma que limm kRm kC e finito.
Isso diz que para m grande o suficiente a norma de Um 1 e pequena e, assim, podemos tomar o logaritmo de Um ,
definido por ln(Um ) = ln(1 + (Um 1)). Por (9.35) e pela expansao do logaritmo teremos



1
1
1
1
ln(Um ) = ln 1 + (Um 1) = ln 1 + 2 (AB BA) + 3 Rm =
(AB BA) + 3 Rm ,
m
m
m2
m

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

426/2070

ou seja,

1
R ,
(9.36)
m m

onde Rm e novamente uma express


ao complicada, mas envolvendo series convergentes e de tal forma que limm kRm kC
1
Rm = 0 podemos escrever, pela Proposicao 9.3,
e finito. Como limm m



1
exp [A, B] = lim exp [A, B] + Rm .
m
m
m2 ln(Um ) = [A, B] +

Agora, por (9.36),

Logo,

Isso e o que desej


avamos provar9.

Captulo 9

Vers
ao de 18 de julho de 2013.

427/2070

sobre tais aplicacoes lineares e na Secao 9.4.2, pagina 432, vamos exibir e estudar algumas dessas aplicacoes lineares
de interesse especfico e discutir suas relacoes. Os resultados aos quais chegaremos tem interesse por si so, mas nossa
intencao e tambem a de preparar a demonstracao da f
ormula de Baker-Campbell-Hausdorff, a ser realizada na Secao 9.5,
pagina 437.

9.4.1

Alguns Fatos Gerais sobre Aplica


c
oes Lineares em Mat (C, n)

Como espaco vetorial complexo, Mat (C, n) pode ser dotado de diversos produtos escalares. O mais relevante, talvez,
n X
n
X



e que empregaremos no que segue, e aquele definido em (9.12): A, B := Tr A B =
Aij Bij , com A, B
i=1 j=1





m2
2
1
= (Um )m .
exp [A, B] + Rm = exp m2 ln(Um ) = exp ln(Um )
m

exp [A, B] =

JCABarata. Curso de Fsica-Matem


atica

Mat (C, n).

Dizemos que uma colecao {F , {1, . . . , n2 }} de n2 elementos


linearmente independentes de Mat (C, n) e uma
 
base ortonormal em Mat (C, n), se valer hF , F i = Tr F F = .

lim (Um )m .

A demonstracao que apresentamos da f


ormula do comutador pode ser usada para obter-se uma outra demonstracao
da f
ormula de Lie-Trotter. Isso e o conte
udo exerccio que segue.
ormula de Lie-Trotter usando as ideias da prova da f
ormula do comutador, exibida acima.
E. 9.17 Exerccio. Demonstre a f
6

Mat (C, n) possui uma base natural de vetores que, coincidentemente, e uma base ortonormal em relacao ao produto
escalar acima. Trata-se da base composta pelas n2 matrizes E a, b , com a, b {1, . . . , n}, onde E ab e a matriz cujo
elemento ij e nulo a menos que i = a e que j = b, em cujo caso (E a, b )ij = 1. Em smbolos,

E a, b ij = ia jb .

Note-se que E a, b

= E b, a . Claro est
a que toda matriz A Mat (C, n) pode ser escrita na forma
A =

n X
n
X

Aab E a, b

a=1 b=1

Uma segunda vers


ao da f
ormula de Lie-Trotter

e que

A f
ormula da Lie-Trotter e por vezes evocada (notadamente na Mec
anica Estatstica) em uma forma ligeiramente
diferente:




m


1
1
1
.
(9.37)
A exp
B exp
A
exp (A + B) = lim exp
m
2m
m
2m




1
1
1
A exp m
B exp 2m
A e auto-adjunta se A e
A vantagem de (9.37) sobre (9.32)
reside no fato de que exp 2m

1
1
B o forem, enquanto que exp m A exp m B nao e. Em certas aplicacoes (notadamente na Mec
anica Estatstica) e
importante preservar a auto-adjuncao dos aproximantes de exp(A + B) usados na f
ormula da Lie-Trotter.

9.4

i=1 j=1

n
X
i=1

ia ic

n
X
j=1

jb jd = ac bd ,



mostrando que E a, b , a, b {1, . . . , n} e uma base ortonormal em Mat (C, n).


O espa
co L Mat (C, n) das aplica
c
oes lineares de Mat (C, n) em si mesmo

E. 9.18 Exerccio. Demonstre (9.37) a partir de (9.32). Sugestao: verifique primeiramente que, para todo m N, vale






m




m



1
1
1
1
1
1
1
= exp
exp
A exp
B exp
A
A exp
B exp
A
A
exp
2m
m
2m
2m
m
m
2m
e, em seguida, use (9.32), tomando adequadamente o limite m .

n X
n
X

a, b

E , E c, d =
(E a, b )ij (E c, d )ij =

Aplicac
oes Lineares em Mat (C, n)

O conjunto de matrizes Mat (C, n) e naturalmente um espaco vetorial complexo de dimens


ao finita n2 , pois combinacoes
lineares de matrizes complexas n n sao novamente matrizes complexas n n, com a matriz nula fazendo o papel de
vetor nulo. Em areas relacionadas `a Teoria de Grupos e `a Mec
anica Qu
antica (Informacao Qu
antica) ha interesse no
estudo de aplicacoes lineares agindo no espaco vetorial Mat (C, n). Na Secao 9.4.1 apresentaremos alguns fatos gerais
9 O estudante pode estar curioso (ou perplexo) sobre o por qu
e de n
ao finalizamos a demonstraca
o partindo de (9.36), escrevendo
2
m2 ln(Um ) = ln((Um )m ) e tomando diretamente da o limite m . A raz
ao
e que o fato de Um ser pr
oximo de 1 em norma n
ao
2
2
garante que (Um )m tamb
em o seja. Assim, o logaritmo de (Um )m pode n
ao fazer sentido. Para evitar esse transtorno l
ogico
e mais
conveniente finalizar a demonstraca
o com uso da funca
o exponencial de matrizes, para a qual tais problemas de definica
o n
ao ocorrem.

Uma aplicacao L : Mat (C, n) Mat (C, n) e dita ser uma aplicacao linear se satisfizer
L(zA + wB) = zL(A) + wL(B)

para todos z, w C e todas A, B Mat (C, n). Denotaremos por L Mat (C, n) o conjunto de todas as aplicacoes


lineares de Mat (C, n) em


 si mesmo. E bastante claro que L Mat (C, n) e tambem um espa
 co vetorial complexo,
 pois
se L, M L Mat (C, n) e z, w C, definimos zL + wM como o elemento de L Mat (C, n) dado por zL + wM (A) :=
zL(A) + wM(A) para todo A Mat (C, n).



Podemos dotar L Mat (C, n) de um produto escalar atraves do seguinte procedimento. Seja F , {1, . . . , n2 }
uma base ortonormal em Mat (C, n). Definimos para L, M a express
ao.
n2


X


Tr L(F ) M(F ) .
L, M :=
=1

evidente que trata-se de uma forma sesquilinear e e f


E
acil ver que e uma forma sesquilinear Hermitiana, pois
n2
n2




X
X


L, M =
Tr M(F ) L(F ) = M, L ,
Tr L(F ) M(F ) =
=1

=1

tambem claro que


onde usamos que Tr(A) = Tr(A ) para toda A Mat (C, n). E
n2


X


L, L :=
Tr L(F ) L(F ) 0
=1

(9.38)

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

428/2070






para todo L L Mat (C, n) . Tem-se tambem que L, L = 0 implica que Tr L(F ) L(F ) = 0 para todo , o que

implica que L(F ) = 0 para todo , o que, por sua vez implica que L = 0, pois
 os F compoe uma base em Mat (C, n).
interessante ainda mostrar que (9.38)
Isso estabeleceu que (9.38) e, de fato, um produto escalar em L Mat (C, n) . E
independe da particular base ortonormal adotada em Mat (C, n). Para ver isso, seja {G , {1, . . . , n2 }} uma outra
base ortonormal em Mat (C, n) e escrevamos

F =

n2
X

=1

E a, b =
(9.39)

=1 =1 =1

=1

Tr(A)1 =


F AF .

(9.41)

Retornando com isso a (9.39), obtemos

n
X

=1

n X
n
n X
n


X
X




Gab = Tr F E a, b =
F kl E a, b kl =
F kl ka lb =
k=1 l=1




Tr (F ) G F = Tr (G ) G = .

a=1 b=1

Portanto,

n
n X
X

Para demonstr
a-la, determinemos o elemento ij da matriz E

ij

n
n X
X
k=1 l=1

E a, b

ik

Akl E a, b

lj


a, b

n
n X
X

E a, b

k=1 l=1

ki

Akl E a, b

lj

n X
n
X

Aaa ib jb =

a=1

que e o elemento ij da matriz Tr(A)1, provando (9.40).

Aaa

n
X

ka ib Akl la jb = Aaa ib jb .

ib jb = Tr(A) ij ,

ab

(9.42)

(9.43)

n X
n
X

ab

= Tr F

= .

n
X


F AF ,
F AF =
=1

Segue de (9.41), tomando-se A = 1, que

Logo, o elemento ij da matriz do lado direito de (9.40) vale


n
X

ab

(9.40)

k=1 l=1

a=1 b=1

como queramos provar.

AE a, b . Pela regra de produto de matrizes, temos

n X
n
X

=1 =1


E a, b AE a, b .

a=1 b=1



E a, b AE a, b

n X
n
X

A seguinte identidade e importante e sera empregada adiante: para toda A Mat (C, n) vale

a=1 b=1 =1 =1

=1

Tr(A)1 =

Uma identidade para o tra


co de elementos de Mat (C, n)

Tr(A)1 =

=1

a=1 b=1

=1

estabelecendo a independencia que desej


avamos provar.

k=1 l=1

Assim, temos por (9.40) que

2
2
n X
n X
n
n
n X
n
n2 X
n2
X
X
X
X




Gab F =
Gab F A
F ab F ab F AF
Tr(A)1 =

Agora,
n2
n2 X
n2




X
X


Tr L(G ) M(G ) ,
Tr L(G ) M(G ) =
L, M =
=1 =1

Gab F ,

=1

=1

= Tr (G )

n
X

para certas constantes Gab C, pois as matrizes F formam uma base. Usando a ortonormalidade dessas matrizes,
segue facilmente tambem que

n2
 



 

X
Tr (F ) G Tr (G ) F
Tr (G ) F Tr (G ) F =

n
X

Para a demonstracao, observemos que podemos escrever

n2 X
n2 X
n2
 


 
X


L, M =
Tr (G ) F Tr (G ) F Tr L(G ) M(G ) .

Agora,
2

429/2070

Uma das razoes pelas quais a relacao (9.40) e relevante e que a mesma pode ser estendida para outras bases orgonormais
em Mat (C, 
n). Seja {F , {1, . . . , n2 }} uma base ortonormal em Mat (C, n), ou seja, tal que hF , F i =

Tr F F = . Afirmamos que vale
=1


Tr (G ) F G .

Captulo 9

Vers
ao de 18 de julho de 2013.

Teremos

n
X

JCABarata. Curso de Fsica-Matem


atica

n
X

=1


F F = n1 .

(9.44)

De (9.41) vamos extrair uma importante conclusao sobre a forma geral de aplicacoes lineares de Mat (C, n) em si
mesmo.

A forma geral de elementos de L Mat (C, n)


2
Afirmamos que se F , {1, . . . , n } e uma base ortonormal em Mat (C, n), entao L pode ser escrita na forma
2

L(A) =

n X
n
X

=1 =1


F AF ,

A Mat (C, n) ,

(9.45)

para certas constantes C independentes de A. Demonstremos essa afirmacao. Como as matrizes F compoe uma
base ortonormal e L(A) Mat (C, n), podemos escrever

b=1

A =

n
X

=1

Tr

 
F A F .

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

430/2070

L(A) =

n
X

=1

n


X
 
 
Tr F A L(F ) =
L(F )Tr F A

n X
n
X

(9.41)

=1

onde

L(F ) F

=1 =1

n
X

F AF =
M AF ,
=1

n
X

M
Como M Mat (C, n), podemos escrever M =
base ortonormal em Mat (C, n)) com

Pn2

n
X

(j
a que

Tr L(F ) F

=1

=1

L(F ) F

=1


, {1, . . . , n2 } e tambem uma

F .

L(A) =

=1 =1

como queramos mostrar.


Importante no contexto da Fsica Qu
antica e a identificacao de quais elementos de L Mat (C, n) levam matrizes
auto-adjuntas em matrizes auto-adjuntas. O resultado a seguir fornece a resposta a essa quest
ao.

Proposi
c
ao 9.13 Uma aplicac
ao L L Mat (C, n) leva matrizes auto-adjuntas em matrizes auto-adjuntas se e somente se satisfizer L(A) = L(A ) para toda A Mat (C, n).

Se L L Mat (C, n) for escrita na forma geral (9.45) ou (9.47),
2

(9.46)

AF ,


F AF


para toda A Mat (C, n). Vamos mostrar que a colecao T , , {1, . . . , n2 } e ortonormal em relacao ao
produto escalar (9.38). De fato,
T (A) :=

n2
n2




X
X




:=
Tr F (F ) F F F F
Tr T (F ) T (F ) =
T , T
=1

= Tr F

n2
X

(F ) F F

=1

F F

(9.41)



  
Tr F Tr F F
F

  
 
= Tr F F Tr F F
= ,

como desej
avamos estabelecer.



2
Com isso, vemos
 que T , , {1, . . . , n } e uma base ortonormal em L Mat (C, n) e que todo elemento
L L Mat (C, n) pode ser univocamente escrito na forma
2

L =

n
n X
X

T ,

=1 =1

n
X

n2
n2




X
X


Tr (F ) (F ) F L(F ) ,
Tr T (F ) L(F ) =
= T , L =
=1

(9.47)

=1


d M A M ,

(9.49)

para toda A Mat (C, n). As matrizes M podem ser escolhidas ortonormais:

Tr (M ) M = ,
para toodos , {1, . . . , n2 }.


Em outras palavras, essa proposicao estabelece que L L Mat (C, n) preserva a propriedade de auto-adjunticidade
de matrizes de Mat (C, n) se e somente se existir uma base ortonormal M Mat (C, n), {1, . . . , n2 } e n
umeros

Pn2
reais d R, {1, . . . , n2 } tais que L(A) = =1 d M A M para toda A Mat (C, n).

Prova da Proposicao 9.13. Seja L L Mat (C, n) dotada da propriedade que L(B) = L(B) para toda B Mat (C, n)
satisfazendo B = B. Se A Mat (C, n), podemos escrever A = Re (A) + iIm (A) com Re (A) e Im (A) sendo
 as matrizes

1
:= 21 (A + A ) e Im (A) := 2i
auto-adjuntas definidas
(A A ). Teremos, L(A) = L Re (A)
 por Re (A)
 + iL Im (A)
 .

Logo, como L Re (A)


e
L
Im
(A)
s
a
o,
por
hip
o
tese,
auto-adjuntas,
segue
que
L(A)
=
L
Re
(A)

iL
Im
(A)
=

L Re (A) iIm (A) = L(A ), como desejavamos constatar.

Vamos agora supor, reciprocamente, que L(A) = L(A ) para toda A Mat (C, n). Se B Mat (C, n) satisfaz
B = B, teremos L(B) = L(B ) = L(B), provando que L(B) e auto-adjunta.


Se L L Mat (C, n) satisfaz L(A) = L(A ), ou seja, L(A) = L A , para toda A Mat (C, n), temos, pela
f
ormula geral (9.45), que
2

n X
n
X

=1 =1

n X
n
X



F AF ,
F AF = L(A) = L A
=
=1 =1

ou seja,
2

n X
n
X

=1 =1

para certas constantes C, as quais sao dadas por

(9.48)

L(A) =

H
a uma segunda demonstracao da forma geral (9.45), a qual e, talvez, mais elegante e instrutiva. Para ,
{1, . . . , n2 }, seja T L Mat (C, n) definido por

T ,

=1 =1

uma condic
ao necess
aria e suficiente para que tenhamos L(A) = L(A ) para toda A Mat (C, n) e que valha =
para todos , {1, . . . , n2 }. Por fim, uma condic
ao necess
aria e suficiente para que isso se de e que existam
constantes reais d R, {1, . . . , n2 } e matrizes M Mat (C, n), {1, . . . , n2 } tais que


A forma geral de elementos de L Mat (C, n) . Uma segunda abordagem

n X
n
X

=1

=1

431/2070

Opera
c
oes Lineares em Mat (C, n) que preservam auto-adjunticidade

L =

Portanto,
n2 X
n2
X

Captulo 9

Vers
ao de 18 de julho de 2013.

tal como em (9.46). A relacao (9.47) e precisamente (9.45). Da independencia dos T vemos que a representacao (9.47)
e (9.45) determina L univocamente.

Logo,
2

JCABarata. Curso de Fsica-Matem


atica

T =

n X
n
X

T .

=1 =1

Pela unicidade da representacao (9.47), conclumos que = para todos , {1, . . . , n2 }. A recproca e evidente.

Se L L Mat (C, n) e da forma (9.49), e evidente que L(A) = L(A ) para todaa A Mat (C, n). Seja agora

L L Mat (C, n) da forma geral (9.45) ou (9.47), com = para todos , {1, . . . , n2 }. Isso diz-nos
que a matriz Mat (C, n2 ), cujos elementos de matriz sao , e uma matriz auto-adjunta e, portanto, pode ser

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

432/2070

diagonalizada por uma


aria (Teorema 8.13, pagina 357). Assim, existe u Mat (C, n2 ) com = u du, com
 matriz unit
d = diag d1 , . . . , d , sendo d os autovalores reais de Assim, escrevemos, para toda A Mat (C, n),
2

L(A) =

n X
n
X

=1 =1

AF =

JCABarata. Curso de Fsica-Matem


atica

u d u F

=1 =1 =1
2

n
X

=1

onde

X
m


1
ad[X] (A)
Exp ad[X] (A) :=
m!
m=0

AF

n
X

=1

u F A

n
X

=1

u F =

n
X

=1

d M

Captulo 9

433/2070

Dado que ad[X] e uma aplicacao linear em um espaco vetorial de dimens


ao finita, sua exponencial e bem definida.
Definimos Exp[ad[X]] como sendo a aplicacao linear no espaco das matrizes complexas n n, Exp[ad[X]] : Mat (C, n)
Mat (C, n) dada por

n X
n X
n
X

Vers
ao de 18 de julho de 2013.

A M ,

:=

A+

A+

X
m
1
ad[X] (A) ,
m!
m=1

X

i
1 h
X, X, . . . , [X , A] ,
m! |
{z
}
m=1
m vezes

para toda A Mat (C, n). A convergencia da serie e automaticamente garantida pelas observacoes da Secao 9.2.

M :=

n
X

A rela
c
ao entre ad e Ad

u F ,

H
a uma relacao elegante entre as aplicacoes ad e Ad, a qual se expressa na seguinte proposicao:

=1

provando (9.49). Note-se que, como u Mat (C, n2 ) e unit


aria, vale
2

Tr (M ) M

n
X

u (u ) = .
u u Tr (F ) F =
{z
}
|
=1
=1 =1
n X
n
X

Proposi
c
ao 9.14 Seja X Mat (C, n) qualquer. Ent
ao




Ad exp(X) = Exp ad[X] ,

(9.50)

ou seja, para toda matriz A Mat (C, n) vale

exp(X)A exp(X) = A +

X
m
1
ad[X] (A) ,
m!
m=1

(9.51)

ou seja,

9.4.2

Alguns Exemplos Especficos de Aplicac


oes Lineares em Mat (C, n)
exp(X)A exp(X) = A +


Nesta secao apresentaremos alguns elementos de L Mat (C, n) dotados de interesse especial e estudaremos suas propriedades, tendo como objetivo maior a demonstracao da f
ormula de Baker, Campbell e Hausdorff na Secao 9.5, pagina
437. Alguns dos resultados que obteremos, porem, sao de utilidade na Teoria de Grupos, na Mec
anica Qu
antica e outas
areas.

X
i

1 h
X, X, . . . , [X , A]
m! |
{z
}
m=1
m vezes

= A + [X, A] +

As aplica
c
oes ad

 1h

i
1
X, [X, A] +
X, X, [X, A] + .
2!
3!

(9.52)
2

Dada uma matriz X Mat (C, n) fixa podemos definir uma aplicacao linear ad[X] em Mat (C, n), ad[X] :
Mat (C, n) Mat (C, n) por
ad[X](A) := [X, A] = XA AX .

Coment
arios.

para toda matriz A Mat (C, n).

As express
oes (9.51) e (9.52) s
ao empregadas de v
arias formas na Mec
anica Qu
antica, na Mec
anica Estatstica Qu
antica e na Teoria
Qu
antica de Campos, especialmente na Teoria de Perturbaco
es e nas Teorias de Calibre.

As aplica
c
oes Ad

Analogamente, seja G GL(C, n) uma matriz inversvel fixa. Podemos definir uma aplicacao linear Ad[G] em
Mat (C, n), Ad[G] : Mat (C, n) Mat (C, n) por

A express
ao (9.51) ou (9.52)
e comummente denominada s
erie de Lie, mas alguns autores tamb
em a denominam f
ormula
de Baker-Campbell-Hausdorff. Reservaremos esse nome apenas para a express
ao (9.59), adiante.

Prova. Seja t R e sejam A e X matrizes complexas n n fixas quaisquer. Definamos

Ad[G](A) := GAG1 .
e
Definindo a exponencia
c
ao de ad

Denotaremos por (ad[X])p ou ad[X]p a p-esima potencia de ad[X]:


h
i

ad[X]p (A) = X, X, . . . , [X , A] .
{z
}
|
p vezes

Aqui, p = 1, 2, . . .. Para facilitar a notacao em aplicacoes futuras, convencionaremos que ad[X]0 (A) = A para toda
matriz A Mat (C, n).

X


m
tm
1 (t) := Exp ad[tX] (A) = A +
ad[X] (A)
m!
m=1



2 (t) := Ad exp(tX) (A) = exp(tX)A exp(tX) .

Vamos mostrar que 1 (t) = 2 (t) para todo t provando para isso que ambas satisfazem a mesma equacao diferencial
linear com a mesma condicao inicial.

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

434/2070

trivial constatar que 1 (0) = 2 (0) = A. Pela definicao tem-se


E
d
1 (t) =
dt

Analogamente, calculemos

d
dt 2 (t).

d
2 (t)
dt

m=1

m1

t
(m 1)!

ad[X]

!
m1
tm1
ad[X]
(A)
(m 1)!
m=1

ad[X]

X
m
tm
ad[X] (A)
m!
m=0




ad[X] Exp ad[tX] (A)

k=0

dexp[X](A) :=


ad[X] exp(tX)A exp(tX)

=
Em resumo, 2 (t) satisfaz

(9.54)

para todo A Mat (C, n).


E. 9.20 Exerccio. Mostre que a serie do lado direito esta bem definida, ou seja, que e convergente para todos X e A. 6

Aplicando a regra de Leibniz10 ,

X exp(tX)A exp(tX) exp(tX)A exp(tX)X

n1
X 1
X
X k AX nk1 ,
n!
n=1
k=0


d
1 (t) = ad[X] 1 (t) .
dt

435/2070

Isso motiva a seguinte definicao. Para X Mat (C, n) fixo, definimos uma aplicacao linear dexp[X] : Mat (C, n)
Mat (C, n), denominada aplicac
ao diferencial exponencial, por


ad[X] 1 (t) .

d
(exp(tX)A exp(tX))
dt

Captulo 9

d
exp(F (t))? O estudante apressado poderia imaginar que
Vamos nos colocar o seguinte problema: como calcular dt
exp(F (t)) = exp(F (t))F (t). Isso e, todavia, em geral falso, pois essa regra de derivacao nao vale para matrizes!

Isso e assim, pois a matriz F (t) nao necessariamente comuta com a matriz F (t). Tem-se, em verdade, que para todo
m = 1, 2, 3, . . .,

m1
X
d
d
F (t)k F (t)F (t)mk1 .
F (t) F (t) =
(F (t))m =
{z
}
dt
dt |
k=0
m vezes
Conseq
uentemente,
n1
X
X 1

d
exp F (t) =
F (t)k F (t)F (t)nk1 .
(9.53)
dt
n!
n=1

Vers
ao de 18 de julho de 2013.

d
dt

m
ad[X] (A)

=
Em resumo, 1 (t) satisfaz

JCABarata. Curso de Fsica-Matem


atica

Com essa definicao podemos, por (9.53), escrever






d
exp F (t) = dexp F (t) F (t) .
(9.55)
dt
Para uma express
ao alternativa para a derivada da exponencial de uma matriz dependente de um parametro, vide equacao
(9.77), pagina 443.
Por razoes que ficarao claras adiante quando provarmos a f
ormula de Baker, Campbell e Hausdorff, e conveniente
expressar dexp[X] em termos de ad[X]. Como veremos, e possvel fazer isso e o resultado est
a expresso na Proposicao
9.15 que apresentaremos e demonstraremos a seguir.


ad[X] 2 (t) .

Antes, porem, duas definicoes. Para z C definimos a funcao complexa (z) por


d
2 (t) = ad[X] 2 (t) .
dt

Constatamos assim que 1 (t) e 2 (t) satisfazem a mesma equacao diferencial com a mesma condicao inicial. Pelo
Teorema de existencia e unicidade de solucoes de sistemas de equacoes diferenciais lineares com coeficientes constantes
discutido na Secao 12.2, isso implica que 1 (t) = 2 (t) para todo t R e, em particular para t = 1, que e a afirmacao
do teorema.
Coment
ario. O teorema acima e sua demonstracao exemplificam uma situacao nao muito incomum, onde apresenta-se um resultado que

e muito difcil de ser provado por um procedimento mas muito f


acil de ser demonstrado por outro. Tente o leitor demonstrar a identidade
(9.51) expandindo as exponenciais do lado direito em suas s
eries de Taylor, ou seja, escrevendo

X
X
(1)l k
X AX l
exp(X)A exp(X) =
k!l!
k=0 l=0

(z) :=

X
(1)m m
1 ez
=
z .
z
(m
+ 1)!
m=0

(9.56)

Como a serie de Taylor do lado direito converge para todo z C, (z) e uma funcao inteira, ou seja, e analtica em toda
parte.
Pelos nossos comentarios da Secao 9.2, podemos definir para todo X Mat (C, n) uma aplicacao linear [X] :
Mat (C, n) Mat (C, n) dada por
[X] := (ad[X]) ,
(9.57)
ou seja, [X] e a aplicacao que a todo A Mat (C, n) associa a matriz [X](A) dada por
[X](A) =

e reordenando as somas de modo a obter o lado esquerdo de (9.51)! Ainda que seja possvel provar (9.51) dessa forma, um tal procedimento

e muitssimo mais complexo que aquele que empregamos, e que faz apenas uso de um fato b
asico bem conhecido da teoria das equaco
es
diferenciais.

X
(1)m
ad[X]m (A) .
(m
+ 1)!
m=0

(9.58)

Pelos comentarios da Secao 9.2 a serie do lado direito converge para todos X, A Mat (C, n).
E. 9.19 Exerccio. Tenha a ideia certa antes de tentar resolver qualquer problema.

Proposi
c
ao 9.15 Com as definic
oes apresentadas acima, vale para todos A, X Mat (C, n) a express
ao
dexp[X](A) = exp(X) [ad[X]](A) ,

A aplica
c
ao diferencial exponencial dexp

Seja F (t) uma matriz complexa n n cujos elementos de matriz (F (t))ij sao funcoes diferenci
aveis em relacao a t.
d
(F (t))ij . Em palavras, F (t) e obtida diferenciando cada elemento de
Seja tambem F (t) a matriz cujo elemento ij e dt
matriz de F (t).
10 Gottfried

Wilhelm von Leibniz (16461716).

ou seja,
dexp[X](A) = exp(X)

X
(1)m
ad[X]m (A) .
(m + 1)!
m=0

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

436/2070

Tambem como comentado acima, e in


util tentar provar a proposicao partindo de (9.54) e aplicando forca-bruta. A
demonstracao usara uma serie de truques elegantes.

JCABarata. Curso de Fsica-Matem


atica

H(t)

H(t) := t dexp[tX](A) .
=

A ideia e descobrir uma equacao diferencial que H(t) satisfaz e, em seguida, resolve-la. Note-se que, pela definicao,
H(0) = 0. Como veremos, resolver a equacao diferencial e tarefa relativamente f
acil. Um pouco mais trabalhoso e
encontrar a equacao diferencial. Para isso temos que calcular a derivada de H(t) em relacao a t.

n1
X
X

n=1 k=0

A+

(9.50)

k=0

n=1 k=0

A 1+

n!

X k AX nk = A +

n
X
t
Xn
n!
n=1

A exp(tX) + tX

A exp(tX) + tX

X
n
X
tn

n=1 k=1

n!

n
X
X
tn1

n!

n1
X
X tn1

n=1 k=0

n
X
n
X
X
t
tn k
AX n +
X AX nk
n!
n!
n=1
n=1

exp(sX)A exp(sX) ds = exp(tX)

exp(tX)

exp(tX)

t exp(tX)



Exp ad[sX] (A) ds = exp(tX)



Ad exp(sX) (A) ds

t X

0 m=0

(s)m
ad[X]m (A) ds
m!

Z t

X
X
(1)m tm+1
(1)m
sm ds = exp(tX)
ad[X]m (A)
ad[X]m (A)
m!
(m + 1)!
0
m=0
m=0

(9.58)

X
(1)m tm
ad[X]m (A)
(m + 1)!
m=0

t exp(tX) [tX](A) .

k=1

n=1 k=1

n!

X
n
X
tn k
tn1
X k AX nk1 =
X AX nk
(n 1)!
n!
n=0

X
n
X
tn

X k AX nk1

437/2070


exp (t s)X A exp(sX) ds

exp(tX)

n1
X
X tn

n=1 k=0

Pela definicao de H(t) e de dexp[tX](A) em (9.54), tem-se


d
d
(t dexp[tX](A)) =
dt
dt

Captulo 9

Assim, como H(0) = 0 e G(t) = A exp(tX), teremos

Prova. Vamos definir, para A, X Mat (C, n) fixas e t R,

d
H(t) =
dt

Vers
ao de 18 de julho de 2013.

n!

X k AX nk = A exp(tX) +

X
n
X
tn k
X AX nk
n!
n=1

Essa express
ao vale para todo t R. Tomando t = 1, teremos H(1) = exp(X)[X](A), ou seja,
dexp[X](A) = exp(X) [X](A) ,

k=1

k1

AX

nk

X k AX nk1

A exp(tX) + X (t dexp[tX](A)) = A exp(tX) + XH(t) .

Em resumo, H(t) satisfaz a equacao diferencial


d
H(t) = XH(t) + A exp(tX) ,
dt
com a condicao inicial H(0) = 0.
Como estudamos `a pagina 497 da Secao 12.2.2, a solucao geral da equacao matricial
Z t

d
exp (t s)X G(s)ds .
M(t) = XM(t) + G(t)
e
M(t) = exp(tX)M(0) +
dt
0

que e o que queramos provar.


Reunindo todos esses resultados, estamos agora preparados para provar a f
ormula de Baker, Campbell e Hausdorff.

9.5

A F
ormula de Baker, Campbell e Hausdorff

A presente secao e dedicada `a demonstracao da celebre F


ormula de Baker-Campbell-Hausdorff. Seguiremos com diversas
modificacoes o tratamento de [106]. O resultado principal que desejamos provar encontra-se expresso no seguinte teorema:
Teorema 9.1 (F
ormula
Baker-Campbell-Hausdorff
) Para A, B Mat (C, n) tais que kAkC e kBkC sejam
 de

ambas menores que 12 ln 2 22 0, 12844 . . ., vale
exp(A) exp(B) = exp(A B) ,

com

A B := A + B +

k, l0 a1 , b1 0
k+l>0 a1 +b1 >0

ak , bk 0
ak +bk >0

(1)k
l!(k + 1)(b1 + + bk + 1)

k
Y

1
a !b !
i=1 i i

ad[A]a1 ad[B]b1 ad[A]ak ad[B]bk ad[A]l (B) . (9.59)


Os primeiros termos de (9.59) s
ao


1
1
1
A B = A + B + [A, B] +
A, [A, B] +
B, [B, A] + .
2
12
12

(9.60)
2

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

438/2070

Coment
ario.

A express
ao (9.59)
e a c
elebre f
ormula de Baker11 , Campbell12 e Hausdorff13 , que desempenha um papel importante no
estudo de grupos de Lie e outras
areas. Advertimos que, devido `
a sua complexidade e devido `
a restrica
o quanto `
a norma das matrizes A e
B, a f
ormula de Baker-Campbell-Hausdorff tem um escopo de aplicaco
es relativamente limitado no que concerne a c
omputos de produtos de
exponenciais. A mesma f
ormula, por
em, presta-se `
a demonstraca
o de v
arios teoremas, especialmente na teoria dos grupos de Lie. Uma situaca
o
interessante na qual a f
ormula de Baker-Campbell-Hausdorff pode ser empregada
e aquela na qual comutadores de ordem suficientemente
grande das matrizes A e B se anulam, pois a o lado direito de (9.59) ou (9.60) tem um n
umero finito de termos. Tal ocorre nas chamadas
algebras de Lie nilpotentes. O leitor que procura um exemplo simples do uso de (9.60) pode interessar-se em ler sobre o chamado grupo de

Heisenberg na Seca
o 20.2.2, p
agina 975.

Prova do Teorema 9.1. A estrategia que empregaremos para provar a f


ormula de Baker, Campbell e Hausdorff e
muito semelhante `aquela empregada na demonstracao da Proposicao 9.15. Seja, para A, B Mat (C, n) fixas tais que
14
kAkC < ln(2)/2 e kBkC < ln(2)/2, a matriz


G(t) := ln exp(A) exp(tB) ,
(9.61)
para t [1, 1]. Vamos identificar uma equacao diferencial satisfeita por G(t) e, em seguida, resolve-la.

Comecemos procurando calcular a derivada de G(t) em relacao a t. Isso e uma tarefa mais difcil do que parece e
conveniente calcular primeiro a derivada de exp(G(t)). Por um lado, temos que
procederemos de modo indireto. E

e, portanto,




dexp G(t) G (t) = exp(A) exp(tB)B .

X (1)k1
ln(z)
ln(1 + (z 1))
= z
= z
(z 1)k1 ,
z1
z1
k

(9.62)

A ideia que agora perseguiremos e tentar inverter essa express


ao de modo a obter G (t) (que aparece no argumento de
no lado esquerdo). Para isso faremos uso do seguinte lema:
Lema 9.2 Sejam as func
oes complexas

mostrando que (z) e analtica na regiao |z 1| < 1. Agora, se |z| < ln 2, tem-se |ez 1| < 1, pois ez 1 =
|ez 1|

z ln(z)
,
z1
sendo que a primeira j
a fora definida em (9.56). Ent
ao vale

Assim, ez est
a dentro da regiao onde e analtica, onde vale que
 z 

e z
1 ez
(ez )(z) =
= 1,
z
e 1
z

Note-se que para que as manipulacoes de acima sejam v


alidas e necess
ario (para ficarmos no domnio de validade de
(9.63)) que kadG(t)k < ln 2. Afirmamos que, para tal, e suficiente ter-se
!
1
2
ln 2
kAkC , kBkC < ln 2
.
(9.66)
<
2
2
2
De fato, para que se tenha kadG(t)k < ln 2 e suficiente que kG(t)kC < ln(2)/2. Se Z(t) := exp(A) exp(tB), entao
G(t) = ln(Z(t)) e teremos
kG(t)kC = k ln(Z(t))kC = k ln 1 + (Z(t) 1))kC

zC,





kZ(t) 1kC = exp(A) exp(tB) 1

para todo z C tal que |z| < ln 2.


11 Henry




X
1
1
.
kZ(t) 1kkC = ln
k
1 kZ(t) 1kC

(9.67)

k=1

Agora,

|z 1| < 1 ,

(ez )(z) = 1

X
1 m
z e
m!
m=1

X
X
1
1
|z|m <
(ln 2)m = eln 2 1 = 1 .
m!
m!
m=1
m=1

(z) :=

(9.64)

k=1

Essa e a equacao diferencial procurada e que e satisfeita por G(t), com a condicao inicial G(0) = A.

o que implica que





G(t) G (t) = exp(G(t)) exp(A) exp(tB)B = exp(tB) exp(A) exp(A) exp(tB)B = B .

1 ez
,
z

(z) := z

onde id e a aplicacao identidade: id(A) := A, para toda A Mat (C, n). Portanto, assumindo que kad[G(t)]k < ln 2
teremos, aplicando [G(t)] a (9.62),


G (t) = G(t) (B) .
(9.65)

Usando a Proposicao 9.15, pagina 435, essa u


ltima igualdade pode ser escrita como
 


exp G(t) G(t) G (t) = exp(A) exp(tB)B ,

(z) :=

Prova. Usando a expansao em serie de Taylor da funcao ln, podemos escrever

Assim, se kad[X]k < ln 2 (para ficarmos no domnio de validade de (9.63)), teremos






[X][X] := Exp ad[X] ad[X] = id ,




d
exp(G(t)) = dexp G(t) G (t) .
dt




G(t) G (t) = B .

439/2070

O uso que faremos desse lema e o seguinte. Seja X Mat (C, n) qualquer. Por analogia com a definicao de [X] em
(9.57), definimos






[X] := Exp ad[X]
= Ad exp(X) .

d
d
exp(G(t)) = exp(A) exp(tB) = exp(A) exp(tB)B .
dt
dt
Por outro tem-se, pela definicao da aplicacao dexp, que

Resumindo, tem-se

Captulo 9

Vers
ao de 18 de julho de 2013.

que e o que queramos provar.

exp(G(t)) = exp(A) exp(tB)

Portanto,

JCABarata. Curso de Fsica-Matem


atica

(9.63)
2

Frederick Baker (18661956).


12 John Edward Campbell (18621924).
13 Felix Hausdorff (18681942).
14 A condi
ca
o kAkC < ln(2)/2 e kBkC < ln(2)/2 garante que k exp(A) exp(tB) 1kC < 1 para todo t [1, 1]. Assim, o logaritmo de
exp(A) exp(tB) em (9.61) est
a definido.





(exp(A) 1) (exp(tB) 1) + (exp(A) 1) + (exp(tB) 1)

kexp(A) 1kC kexp(tB) 1kC + kexp(A) 1kC + kexp(tB) 1kC



 
 

ekAkC 1 ekBkC 1 + ekAkC 1 + ekBkC 1

ekAkC +kBkC 1

(9.66)

<

2
2
1 = 1
.
2
2

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

Logo, por (9.67),


kG(t)kC < ln

1
11+

2
2

440/2070

JCABarata. Curso de Fsica-Matem


atica

l=0

Para prosseguir devemos escrever (9.65) de forma mais conveniente. Pela definicao da aplicacao Ad, e bem f
acil ver
que
h
i
h i
h i
Ad eX eY = Ad eX Ad eY .
E. 9.21 Exerccio. Verifique.

Fora isso,

X




1
ad[A]a ad[sB]b id =
Exp ad[A] Exp ad[sB] id =
a!b!
a=0
b=0


k1




Exp ad[A] Exp ad[sB] id










= Ad exp(A) exp(tB)
= Ad exp G(t)
Exp ad[G(t)]

a1 , b1 0
a1 +b1 >0

ln eA eB

(9.68)

= A+






Exp ad[A] Exp ad[sB] (B) ds .






Exp ad[A] Exp ad[sB] (B)
=

"

k1



 X




(1)k1 
Exp ad[A] Exp ad[sB]
Exp ad[A] Exp ad[sB] id
(B)
k
k=1

k1
X








(1)k1 
Exp ad[A] Exp ad[sB] id
Exp ad[A] Exp ad[sB] (B)
k
k=1

"

k1
X






(1)k1 
Exp ad[A] Exp ad[sB] id
Exp ad[A] (B) , (9.70)
k
k=1

onde, na u
ltima passagem, usamos o fato obvio que




Exp ad[sB] (B) = Ad exp(sB) (B) = exp(sB)B exp(sB) = B .

1
ad[A]a ad[B]b .
a!b!

sb1 ++sk1
ad[A]a1 ad[B]b1 ad[A]ak1 ad[B]bk1 . (9.72)
a1 !b1 ! ak1 !bk1 !

ak1 , bk1 0
ak1 +bk1 >0

a1 , b1 0
a1 +b1 >0

1
0

i=1

ak1 , bk1
ak1 +bk1 >0

R1
0

1
ai !bi !

ad[A]a1 ad[B]b1 ad[A]ak1 ad[B]bk1 ad[A]l (B) ds .

sb1 ++bk1 ds = (b1 + + bk1 + 1)1 , temos






Exp ad[A] Exp ad[sB] (B) ds =

k1
Y

(1)k1 sb1 ++bk1


l!k
0

Trocando-se a integral pelas somas e usando que

k=1 l=0






Exp ad[A] Exp ad[sB] (B) ds =

0 k=1 l=0

(9.69)

Estando j
a na reta final, resta-nos calcular a integral do lado direito, o que pode ser feito com o uso da expansao em
o que faremos. Por (9.64), teremos
serie de dada em (9.64) e um pouco de paciencia. E

1
0

1X

Tomando-se t = 1 teremos

sb

Inserindo-se (9.71) e (9.72) em (9.70), tem-se

com G(0) = A como condicao inicial. Isto posto, nossa tarefa agora e resolver (9.68), o que pode ser feito por uma
simples integracao. Teremos, portanto,
Z t 
Z t




Exp ad[A] Exp ad[sB] (B) ds .
G (s) ds =
G(t) G(0) =
0

 








Ad exp(A) Ad exp(tB)
= Exp ad[A] Exp ad[tB] .

A equacao diferencial (9.65) para G(t) assume, portanto, a forma







G (t) = Exp ad[A] Exp ad[tB] (B) ,

a, b0
a+b>0

Com isso,

Assim,
=

441/2070

Desejamos
ltima express
ao diretamente em termos das aplicacoes ad[A] e ad[sB]. O u
ltimo fator,

escrever esta u
Exp ad[A] , e simplesmente

X


1
Exp ad[A] =
ad[A]l .
(9.71)
l!

ln 2
,
2

como desejamos.



G(t)

Captulo 9

Vers
ao de 18 de julho de 2013.

a1 , b1 0
a1 +b1 >0

k=0 l=0

(1)k1
l!k(b1 + + bk1 + 1)

ak1 , bk1 0
ak1 +bk1 >0

a1 , b1 0
a1 +b1 >0

ak , bk 0
ak +bk >0

k1
Y
i=1

(1)k
l!(k + 1)(b1 + + bk + 1)

1
ai !bi !

k
Y

1
a !b !
i=1 i i

ad[A]a1 ad[B]b1 ad[A]ak1 ad[B]bk1 ad[A]l (B)


!

ad[A]a1 ad[B]b1 ad[A]ak ad[B]bk ad[A]l (B) .


(9.73)

Na u
ltima igualdade fizemos apenas a mudanca de vari
aveis k k + 1.
Retornando a (9.69), temos entao

ln eA eB
onde

A B := A +

X
k=0 l=0

a1 , b1 0
a1 +b1 >0

ak , bk 0
ak +bk >0

= AB ,

(1)k
l!(k + 1)(b1 + + bk + 1)

k
Y

1
a !b !
i=1 i i

ad[A]a1 ad[B]b1 ad[A]ak ad[B]bk ad[A]l (B) . (9.74)

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

442/2070

f
E
acil ver que o termo com k = l = 0 nas somas do lado direito e igual a B. Com essa identificacao, finalmente
 chega-se

a (9.59). Como j
a comentamos, a convergencia e garantida se kAkC e kBkC forem ambas menores que 12 ln 2 22
0, 12844 . . ..
E. 9.22 Exerccio importante. Colecionando os termos com a1 + b1 + + ak + bk + l 2 em (9.59), mostre que os
primeiros termos de A B sao aqueles dados em (9.60), pagina 437.
6

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

443/2070

de um parametro . Entao vale


d  A() 
e
=
d

e(1s)A()


d
A() esA() ds .
d

(9.77)

Essa relacao tem aplicacoes em equacoes diferenciais e na Mec


anica Estatstica (dentro e fora do equilbrio). Alguns
autores tambem denominam-na f
ormula de Duhamel. O leitor deve compara-la `a express
ao alternativa (9.55). Passemos
`a demonstracao.
Sendo A() diferenci
avel, vale, para todo suficientemente pequeno,

*
A( + ) = A() +
Coment
ario.

Um coment
ario que adiantamos
e que, como discutiremos melhor no Captulo 21, p
agina 1074 (vide, em especial, a Proposica
o
21.8, p
agina 1095), o produto expresso em (9.59), define uma estrutura de grupo em sub-
algebras de Lie nilpotentes de Mat (C, n). De
fato,
e possvel provar que
e um produto associativo (pois o produto de exponenciais de matrizes
e associativo) e
e f
acil ver que A 0 = A
e que A (A) = 0 para toda matriz A. Com isso, a matriz nula
e o elemento neutro do grupo e A
e a inversa de A. Isso tamb
em mostra
que
e por vezes possvel construir um produto associativo a partir de outro n
ao-associativo, como o comutador de matrizes.

onde

d
A() + R(, ) ,
d

1
lim R(, ) = 0 .

(9.78)

(9.79)

Tem-se, entao,

9.6

A F
ormula de Duhamel e Algumas de suas Conseq
u
encias

Nesta secao demonstraremos a F


ormula de Duhamel15 :
Z 1


exp (1 s)(A + B) B exp sA ds ,
exp(A + B) = exp(A) +

d
exp(A())
d

def.

(9.78)

(9.75)

v
alida para quaisquer matrizes A, B Mat (C. n), e estudaremos algumas de suas conseq
uencias. A demonstracao e
simples. Diferenciando-se es(A+B) esA em relacao a s, tem-se






d
d sA
d s(A+B) sA
e
e
+ es(A+B)
e
es(A+B) esA
=
ds
ds
ds





es(A+B) (A + B) esA + es(A+B) (A) esA
=

1 =

de onde segue que


et(A+B) = etA +

s(A+B)

Be

sA

ds ,

e(1s)(A()+ d ()+R(, ))
dA

Z



dA
() esA() ds
d

e(1s)(A()+ d ()+R(, ))
dA



1
R(, ) esA() ds

e(1s)A()



Z 1


1
dA
e(1s)A() lim R(, ) esA() ds
() esA() ds +
0
d

e(1s)A()


dA
() esA() ds ,
d

Na express
ao (9.76) exponenciais do tipo e(A+B) aparecem em ambos os lados. Isso sugere que podemos inserir
iterativamente (9.76) dentro de si mesma de modo a obter outras express
oes recorrentes, como apresentado nas passagens
(9.76)

Para t = 1, isso reduz-se a (9.75), que e o que queramos provar. De (9.76) podem ser extradas v
arias relacoes u
teis,
que trataremos agora.

Uma das conseq


uencias mais u
teis da f
ormula de Duhamel e uma relacao para a derivada da exponencial de uma
matriz que depende de um parametro. Seja A() Mat (C. n) uma matriz que depende contnua e diferenciavelmente
Marie Constant Duhamel (17971872).

Z

Iterando a f
ormula de Duhamel

es(A+B) B e(st)A ds ,

A mudanca de vari
avel de integracao s t s conduz a
Z t
e(ts)(A+B) B esA ds .
et(A+B) = etA +

15 Jean

lim

como queramos demonstrar.

Derivada de uma exponencial em rela


c
ao a um par
ametro





Z 1
dA
dA
1 A()
() + R(, ) esA() ds eA()
e(1s)(A()+ d ()+R(, ))
e
+

d
0

lim

(9.79)





1
d
exp A() + A() + R(, ) exp (A())

Integrando-se ambos os lados entre 0 e t, obtem-se


Z

lim

+ lim

= es(A+B) B esA .

t(A+B) tA



1
exp(A( + )) exp(A())

(9.75)

lim

JCABarata. Curso de Fsica-Matem


atica

Captulo 9

Vers
ao de 18 de julho de 2013.

444/2070

JCABarata. Curso de Fsica-Matem


atica

= e

tA

= etA +
Z tZ

(ts1 )A

Be

e(ts1 s2 )(A+B) B es2 A ds2

s1 A

ds1 +

Z tZ
0

0
t

ts1 s2

e(ts1 )A B es1 A ds1 +

Z tZ

ts1

ts1 s2

ds2 ds1

Z tZ
0

e(ts1 s2 s3 )(A+B) B es3 A ds3

ts1
0

esk A B

k=1

k=1

e(ts1 sm+1 )(A+B) dsm+1 ds1 .

(9.82)

ts1

B es2 A B es1 A ds2 ds1

Para matrizes ou elementos de uma algebra- de Banach e possvel tomar o limite N nas express
oes (9.80)-(9.82),
como na proposicao que segue.
Proposi
c
ao 9.16 Sejam matrizes A, B Mat (C, n). Ent
ao,

e(ts1 s2 )A B es2 A B es1 A ds2 ds1

Be

s3 A

Be

s2 A

Be

s1 A

"

et(A+B) = etA 1 +

ds3 ds2 ds1 .

ts1 sm

(ts1 s2 s3 )(A+B)

m=2

ts1

Be

s1 A

Z tZ
0

Be

s2 A

m=2

Z ts1 sm "m+1
Y

E. 9.24 Exerccio. Verifique!



Z
e(ts1 s2 )A +

Repetindo-se N vezes o procedimento, teremos


"
Z t
N Z tZ
X
et(A+B) = etA 1 +
es1 A B es1 A ds1 +

Z tZ

(ts1 s2 )(A+B)

B es1 A ds1

e(ts1 )A B es1 A ds1 +

ts1

= etA +

ts1

Substituindo A A e B B na express
ao acima, tomando a adjunta da express
ao resultante e usando o fato que,

para qualquer matriz M Mat (C, n), vale (exp (M )) = exp(M ), obtem-se
"
#
Z tm1 Y
Z t
m
N Z t Z t1
X

et(A+B) = etA 1 +
etk A B etk A dtm dt1

et1 A B et1 A dt1 +

ts1

Z
Z t
e(ts1 )A +

445/2070

E. 9.23 Exerccio. Verifique!

auto-explicativas abaixo. Partindo de (9.76) e repetindo a iteracao duas vezes, tem-se


Z t
e(ts1 )(A+B) B es1 A ds1
et(A+B) = etA +
= etA +

Captulo 9

Vers
ao de 18 de julho de 2013.

ts1

e(ts1 sm+1 )(A+B)

ts1 sm1

e(s1 ++sm )A

m1
Y
k=0

m
Y

k=0


B esmk A dsm ds1


B esm+1k A dsm+1 ds1 ,

(9.80)

para todo N N, N 2, sendo que convencionamos definir a produt


oria de matrizes da esquerda para a direita, ou seja,
L
Y
Mk = M1 ML (e necess
ario fixar uma convencao devido a` nao-comutatividade do produto de matrizes).

na forma

es1 A B es1 A ds1

Z tZ
X

m=2

ts1

ts1 sm1

e(s1 ++sm )A

m1
Y
k=0

#

B esmk A dsm ds1 , (9.83)

ou, equivalentemente,
"

et(A+B) = etA 1 +

et1 A B et1 A dt1 +

Z tZ
X

m=2

t1

m
tm1 Y

k=1

#

etk A B etk A dtm dt1 ,

(9.84)

para todo t R, a convergencia sendo uniforme para t em compactos. As expans


oes em serie acima s
ao denominadas
series de Duhamel.
2

k=1

Com as mudancas de vari


aveis
t1

= t s1 ,

s1

= t t1 ,

t2

= t (s1 + s2 ) ,

s2

= t1 t2 ,

..
.

tm

sm

podemos re-escrever as integrais entre colchetes acima na forma


"
Z t
Z
N Z t Z t1
X
1+
et(A+B) =
et1 A B et1 A dt1 +

Z tZ
0

m=2

ts1

ts1 sm

k=1

..
.

= t (s1 + + sm ) ,

Prova. A prova consiste em mostrar que o limite N de (9.80) ou (9.82) existe. Tomemos provisoriamente
 t [T, T ]
para algum T > 0. Para [T, T ], tem-se ke A k e| |kAk eT kAk . Seja M := max eT kAk , eT kA+Bk . Tem-se

Z Z
m
Z tm1
Z t Z t1
Z tm1 Y
m

t t1

M 2 kBk|t|


dtm dt1 =

etk A B etk A dtm dt1 M 2m kBkm



0 0
m!
0
0
0
0

tm1 m1
Y

e(ts1 sm+1 )(A+B)

k=0

m
Y

k=0

e, analogamente,

= tm1 tm ,

etmk A B etmk


A


Z Z
Z ts1 sm
m

t ts1
Y



B esm+1k A dsm+1 ds1
et(s1 ++sm+1 )(A+B)



0 0
0
k=0

dtm dt1 etA


B esm+1k A dsm+1 ds1 .

(M kBk|t|)m+1
(m + 1)!

As duas desigualdades provam a convergencia uniforme para t [T, T ]. Como T e arbitr


ario, a convergencia se da
para todo t R.
(9.81)

Na Secao 12.4, pagina 506, apresentamos uma generalizacao da express


ao (9.84), a chamada serie de Dyson para da
teoria de perturbacoes (vide, em particular, a express
ao (12.29)). Vide tabem Exerccio E. 12.8, pagina 508.

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

446/2070

JCABarata. Curso de Fsica-Matem


atica

9.7

Outros resultados an
alogos

O metodo de demonstracao da f
ormula de Duhamel apresentado acima pode ser empregado na obtencao de outros
resultados. Sejam novamente matrizes A, B Mat (C, n). Entao, vale
tB

[A, e ] =

(ts)B

[A, B]e

sB

ds .

d
ds

E. 9.25 Exerccio. Seja A uma matriz n n diagonalizavel e seja

(9.85)

A =

r
X

k Ek

k=1


sB

= esB [A, B]esB (justifique!). Integrando-se ambos os lados de 0 a t,


Z t
esB [A, B]esB ds .
(9.86)
etB AetB A =

esB Ae

447/2070

Exerccios Adicionais

Para a prova, observamos que


obtem-se

Captulo 9

Vers
ao de 18 de julho de 2013.

Multiplicando-se `a esquerda por etB chega-se `a express


ao (9.85). Expressoes como (9.85) sao empregadas na teoria de
perturbacoes na Mec
anica Qu
antica.

sua representacao espectral, onde 1P


, . . . , r sao seus r autovalores distintos (1 r n) e Ek sao seus projetores espectrais,
satisfazendo Ea Eb = a, b Ea e 1 = rk=1 Ek .
a) Mostre que

exp(A) =

r
X

ek Ek .

(9.87)

k=1

b) Usando esse fato calcule exp(tA1 ) e exp(tA2 ) para as matrizes A1 e A2 dadas por

2i 1 + 5i
.
A2 =

3 8i
9

0
2
,
A1 =

9i 1 6i

6
E. 9.26 Exerccio. As chamadas matrizes de Pauli sao definidas por

0
:=

1
,

0
:=

0
1
.
:=

0 1

a) Mostre que as mesmas satisfazem as seguintes relacoes algebricas: para todos a, b = 1, 2, 3 valem
3
X

[a , b ] := a b b a

{a , b } := a b + b a

2ab 1 ,

a b

ab 1 + i

2i

abc c ,

c=1

3
X

abc c .

c=1

b) Mostre que as quatro matrizes 1, 1 , 2 , 3 formam uma base em Mat (C, 2): toda matriz complexa 2 2 pode ser
escrita como uma combinacao linear das mesmas.
c) Mostre que as matrizes 1, 1 , 2 , 3 sao ortonormais em relacao ao seguinte produto escalar definido em Mat (C, 2):
hA, Bi := 21 Tr (A B).
d) Obtenha a representacao espectral das matrizes de Pauli.
e) Seja ~ := (1 , 2 , 3 ) um vetor de comprimento 1 de R3 , ou seja, k~k = 1. Seja, ~ ~ := 1 1 + 2 2 + 3 3 , onde
k sao as matrizes de Pauli, definidas acima. Prove que

exp (i~ ~ ) = cos() 1 + i sen () ~ ~ .
Sugestao: Obtenha a decomposicao espectral de ~ ~ e use (9.87).

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

Varias das express


oes acima obtidas sao empregadas na Mecanica Quantica.

448/2070

E. 9.27 Exerccio. Este e um exerccio sobre exponenciacao de matrizes nilpotentes com algumas observacoes sobre o grupo
de Lorentz em 2 + 1-dimensoes. O grupo de Lorentz e discutido na Secao 20.6, pagina 1033.
0 1 0 
Mostre que N := 1 0 1 e uma matriz nilpotente de ndice 3, ou seja, que N 2 6= 0, mas N 3 = 0. Mostre, com isso,
01 0

que D(q) := eqN , com q R, e dada por

q
1 + 2

D(q) = q

2
q
2

q
1
q

q2

q
.

q2
1 2

(9.88)

Verifique explicitamente, usando o lado esquerdo de (9.88), que valem D(0) = 1 e D(q1 )D(q2 ) = D(q1 + q2 ) para todos
q1 , q2 R. As matrizes D(q) representam, assim, o que se chama de um subgrupo uniparametrico, cujo gerador e N .

As matrizes D(q) desempenham um papel no estudo do grupo de Lorentz (no caso, em 2 + 1-dimensoes), estando
relacionadas `as chamadas translacoes horosfericas: umtipo de transformacao de Lorentz que mantem invariante um vetor tipo
1
luz dado. No caso, o vetor tipo luz e o vetor := 0 . De fato, N = 0 e, portanto, D(q) = para todo q R.
1

A transformacao de Lorentz D(q) e obtida por uma combina


cao de boots
 coes, no senguinte sentido. A matriz
 0 1e 0rota
0 0 0 
N pode ser escrita na forma N = L + M1 , onde L := 0 0 1 e M1 := 1 0 0 . A matriz L e o gerador das rotacoes
0 00
01 0
espaciais e a matriz M1 e o gerador de boots na direcao 1. Pela f
ormuta de Trotter, vale
h
q 
q
in
qL+qM1
= lim exp
D(q) = e
L exp
M1
.
n
n
n


q
q
q
A matrix exp n L representa uma rotacao espacial de n e matrix exp n M1 representa um boost na direcao 1 com
rapidez nq . Assim, podemos dizer informalmente que a transformacao de Lorentz D(q) e obtida por uma sucessao de rotacoes
infinitesimais e boots infinitesimais na direcao 1.
curioso notar que as coordenadas espaciais de apontam na direcao 2, mas para que se mantenha esse vetor tipo luz
E
invariante por uma transformacao de Lorentz e preciso combinar boots na direcao 1 com rotacoes espaciais, na forma acima
esclarecida.
6

JCABarata. Curso de Fsica-Matem


atica

Vers
ao de 18 de julho de 2013.

Captulo 9

449/2070

Parte IV
Equa
c
oes Diferenciais

450