Diferenciabilidade for the practical man

Henrique Fleming
1 Comecinho
O leitor destas notas estara familiarizado com fun coes de uma variavel real, e
de valores reais, que sejam contnuas e diferenciaveis ate qualquer ordem. Estas
fun coes tem o nome de fun c oes C

. Os fsicos se referem a elas dizendo que

s ao bem comportadas.
Para um tratamento semelhante ao meu, mas com guras bonitas, veja
http://oregonstate.edu/dept/math/CalculusQuestStudyGuides/vcalc/partial/partial.html
Para fun coes diferenciaveis de uma variavel, temos uma maneira impor-
tantssima de resolver o seguinte problema: dado o valor da fun cao em um
ponto P, determinar o valor dela num outro ponto, bem proximo,P +dP. Seja
x a coordenada do ponto P, e x + dx a coordenada do ponto P + dP. Ent ao
f(x + dx) f(x) +
_
df
dx
_
x
dx (1)
que e a f ormula dos acrescimos nitos.
Exerccios:
(1)Mostre que, para x muito pequeno,
e
x
1 + x
sin x x
cos x 1
log (1 + x) x
(1 + x)

1 + x
(2)A corre c ao seguinte e dada pela f ormula
f(x + dx) = f(x) + dx
_
df
dx
_
x
+
1
2!
(dx)
2
_
d
2
f
dx
2
_
x
(2)
Para cada fun c ao do exerccio (1), calcule esta nova aproxima c ao.
Consideremos agora uma fun cao de 3 variaveis, f(x, y, z) com valores reais.
Os matematicos diriam:
f : O R
3
R (3)
onde O e um aberto de R
3
. Gostaramos de ter uma formula dos acrescimos
nitos tambem neste caso. Para isso precisamos do conceito de derivada par-
cial. Uma fun cao como a que descrevemos sera diferenciavel se existirem, e
1
forem contnuas, as fun coes
f
x
,
f
y
,
f
z
, denominadas derivadas parciais de f, e
denidas assim:
_
f
x
_
x
0
,y
0
,z
0
= lim
h0
f(x
0
+ h, y
0
, z
0
) f(x
0
, y
0
, z
0
)
h
(4)
ou seja, e a derivada de f em rela cao a x como se y e z fossem constantes.
Deni coes analogas s ao dadas para
f
y
e
f
z
.
Um ponto de coordenadas (x
0
, y
0
, z
0
) pode ser representado pelo vetor r
0
= x
0

i+y
0

j+z
0

k.
Um ponto generico e representado pelo vetor r = x

i + y

j + z

k. Um valor generico da fun c ao

f pode ent ao ser escrito como
f(x, y, z) = f(r) (5)
Diz-se que uma fun c ao f e contnua no ponto r
0
se, dado > 0, existe tal que
|f(r) f(r
0
)| < desde que |r r
0
| < (6)
Em palavras, para r muito pr oximo de r
0
, f(r) e muito pr oximo de f(r
0
). Uma fun c ao e
diferenci avel se: (1) For contnua; (2) Seu gr aco n ao tiver bicos ou vincos. No caso
de uma fun c ao de duas vari aveis, f(x, y), podemos visualizar esse conceito assim: o gr aco
da fun c ao, ou seja, o gr aco z = f(x, y), e, se ela for contnua, uma superfcie acima do
plano xy. A fun c ao e diferenci avel num ponto (x, y), se o a superfcie do gr aco tiver um
plano tangente no ponto (x, y, z = f(x, y)). Neste caso, localmente, a superfcie do gr aco se
confunde com o plano tangente. Veja as guras da segunda referencia da internet, abaixo.
A formula dos acrescimos nitos, neste caso, e
f(x + dx, y + dy, z + dz) = f(x, y, z) + dx
f
x
+ dy
f
y
+ dz
f
z
(7)
sendo as derivadas parciais do segundo membro calculadas no ponto (x, y, z).
Exemplos:
(1)f(x, y, z) = x
2
yz + xy
2
z + xyz
3
.
As derivadas parciais s ao:
f
x
= 2xyz + y
2
z + yz
3
f
y
= x
2
z + 2xyz + xz
3
f
z
= x
2
y + xy
2
+ 3xyz
2
(2)f(x, y, z) = x + y + z
f
x
= 1
f
y
= 1
f
z
= 1
(3)f(x, y, z) = x(log y)e
z
f
x
= (log y)e
z
f
y
=
x
y
e
z
f
z
= x(log y)e
z
2
(4) Resultados importantes:
x
x
= 1
x
y
= 0
x
z
= 0
etc...
Exerccios:
(1) Considere a fun c ao r(x, y, z) =
_
x
2
+ y
2
+ z
2
(a)Calcule as derivadas parciais
r
x
,
r
y
e
r
z
.
(b)Usando a f ormula dos acrescimos nitos, calcule r(x + dx, y + dy, z + dz).
(c) Seja dr = r(x + dx, y + dy, z + dz) r(x, y, z) Mostre que
dr
2
= dx
2
+ dy
2
+ dz
2
A formula dos acrescimos nitos, eq.(7), pode ser reescrita em termos de
vetores: seja dr = dx

i + dy

j + dz

k. Deno o gradiente de f assim:

f
f
x

i +
f
y

j +
f
z

k (8)
O smbolo

e pronunciado nabla porque, diz-se, tem a forma de uma antigo
instrumento musical hebraico. Outros dizem que e a letra G no alfabeto
Klingon. Go gure!
O fato e que a formula dos acrescimos nitos pode agora ser escrita assim:
df f(r + dr) f(r) = dr.

f (9)
Exemplos:
(1)A fun c ao r(x, y, z) =
_
x
2
+ y
2
+ z
2
e a dist ancia do ponto de coordenadas x, y e z ` a
origem. Calculemos o seu gradiente. Verica-se facilmente que
r
x
=
x
r
r
y
=
y
r
r
z
=
z
r
Logo, temos

r =
1
r
(x

i + y

j + z

k)
e, como x

i + y

j + z

k = r, o resultado e

r =
r
r
Notando que r e o m odulo de r, vemos que o gradiente de r e o vetor unit ario na dire c ao radial,
ou seja, na dire c ao em que a dist ancia do ponto (x, y, z) ` a origem cresce mais rapidamente.
Veremos que isto n ao e coincidencia.
3
(2) Considere uma fun c ao qualquer da vari avel r, que vem a ser a fun c ao descrita acima.
Temos aqui um caso de fun c ao composta (ou fun c ao de func ao):
f(r) = f(r(x, y, z))
e a fun c ao e, em ultima an alise, fun c ao de x, y e z. Temos, ent ao, de calcular derivadas
f
x
,
etc. Demonstra-se o importante resultado, denominado regra da cadeia:
1
f
x
=
df
dr
r
x
f
y
=
df
dr
r
y
f
z
=
df
dr
r
z
Podemos agora calcular

f:

f(r) =
f
x

i +
f
y

j +
f
z

k
=
df
dr
_
r
x

i +
r
y

j +
r
z

k
_
=
df
dr

r
Obtivemos, assim, uma f ormula muito importante:

f(r) =
df
dr
r
r
(10)
Exemplos:

r
2
=
dr
2
dr

r = 2r
r
r
= 2r

1
r
=
_

1
r
2
_
r
r
=
r
r
3
2 Meio
A esta altura, o leitor deve rever, com muita aten cao, o Captulo 7 (Conserva cao
da energia no movimento geral) do livro Fsica B asica, Vol.1, de H.M. Nussen-
zveig.
1
Este e um caso particular da regra da cadeia mais geral: sejam (x, y, z), (x, y, z) e
r(x, y, z) fun c oes (diferenci aveis) e consideremos uma fun c ao f(r, , ). Naturalmente, em
maior detalhe, teramos:
f(r, , ) = f(r(x, y, z), (x, y, z), (x, y, z))
de modo que, em ultima an alise, f e fun c ao de x, y, z. Como calcular as derivadas parciais de
f em rela c ao a x, y, z? A resposta e a regra da cadeia (aqui em toda a sua gl oria):
f
x
=
f
r
r
x
+
f

x
+
f

x
f
y
=
f
r
r
y
+
f

y
+
f

y
f
z
=
f
r
r
z
+
f

z
+
f

z
Este e um dos resultados mais uteis da teoria.
4
2.1 Mais gradiente
A eq.(9) sera usada para obter a propriedade fundamental do gradiente. Pode-
mos escreve-la
df(r) = dr.

f (11)
que e lida assim: quando o argumento de f (nome bonito para r) e alterado
pelo vetor dr, ou seja, passa de r para r + dr, a fun cao varia de df. Em (11),
tomemos |dr| = 1, o que da, para o modulo de df:
df(r) = |

f| cos (12)
onde e o angulo entre os vetores dr e

f. De (12) vemos que, dado |

f|, o
maximo acrescimo `a fun cao f se da para aquela dire cao de dr que corresponde
ao maximo valor de cos , ou seja, = 0. Isto e, o maximo acrescimo de f ocorre
quando dr tem a mesma dire cao (e sentido) que o vetor

f. Em palavras, o
gradiente de uma fun c ao aponta para a dire c ao de m aximo crescimento dessa
fun c ao.
2.2 Coordenadas esfericas
As coordenadas cartesianas s ao as melhores, mas nao s ao as unicas. Para de-
terminar o vetor r, que vai da origem ao ponto P, podemos dar as tres com-
ponentes cartesianas de r, que vem a ser as tres coordenadas cartesianas de P,
mas tambem podemos dar o tamanho do vetor, sua dire cao e seu sentido. Ou
seja, o modulo |r| r e dois angulos que podem ser os angulos e da gura.
As coordenadas esfericas do ponto P s ao, ent ao, r, e .

x
y
z
P
r
A rela cao entre as coordenadas cartesianas e esfericas e dada por
x = r sin cos (13)
y = r sin sin (14)
z = r cos (15)
5
sendo as inversas dadas por
r =
_
x
2
+ y
2
+ z
2
(16)
= arctan
y
x
(17)
= arctan
_
x
2
+ y
2
z
(18)
As coordenadas cartesianas referem-se `a base xa formada pelos vetores
unitarios

i,

j e

k. De fato, o vetor de posi cao r, que termina no ponto P, tem
proje coes ao longo dos eixos dessa base que s ao exatamente as coordenadas de
P. Note-se que

x =

i

y =

j

z =

k
Qual sera a base que, para as coordenadas esfericas, desempenha o papel da
base

i,

j,

k? A pista est a dada pelas equa coes acima: devemos procurar os
vetores que s ao os gradientes das fun coes r(x, y, z), (x, y, z), (x, y, z).
Temos:

r =
r
r
. (19)
Logo, temos o primeiro vetor da base,
e
r
=
1
r
(x

i + y

j + z

k) (20)
Analogamente, podemos calcular e

:
e

_
arctan
_
x
2
+ y
2
z
_
=
1
r
2
1
_
x
2
+ y
2
_
xz

i + yz

j (x
2
+ y
2
)

k
_
Finalmente, calculamos e

:
e

_
arctan
y
x
_
=
y

i + x

j
x
2
+ y
2
Verica-se sem qualquer diculdade que os vetores e
r
, e

e e

s ao ortogonais, e
que e
r
e e

s ao unitarios. Contudo, e

e tal que
e

.e

=
1
r
2
(21)
Em princpio nao ha qualquer problema em usar uma base de vetores nao
unitarios. Porem, uma base ortonormal tem os seus confortos,
2
e ent ao preferi-
2
O principal dos quais e: sejam e
1
, e
2
e e
3
vetores que constituem uma base ortonormal.
Seja v um vetor qualquer. Ent ao,
v = (v.e
1
)e
1
+ (v.e
2
)e
2
+ (v.e
3
)e
3
6
mos usar os vetores
e
r
=
1
r
(x

i + y

j + z

k) (22)
e

=
y

i + x

j
x
2
+ y
2
(23)
e

=
1
r
1
_
x
2
+ y
2
_
xz

i + yz

j (x
2
+ y
2
)

k
_
(24)
Em termos desta base, seja v um vetor que come ca no ponto P. Ent ao podemos
escrever
v = (v.e
r
)e
r
+ (v.e

)e

+ (v.e

)e

(25)
ou
v = v
r
e
r
+ v

+ v

(26)
2.3 Derivadas mistas
Dada uma fun cao f(x, y, z) e suas derivadas parciais
f
x
, etc, que tambem s ao
fun coes, podemos calcular as derivadas parciais das derivadas parciais. Estas s ao
chamadas de derivadas segundas de f. O seguinte resultado e extremamente
importante tanto na propria matematica como nas aplica coes: as derivadas
mistas nao dependem da ordem de deriva cao. Por exemplo:

2
f
xy
=

2
f
yx
(27)
Exemplo:
A fun cao f(x, y) = x
y
. Temos
f
x
= yx
y1

2
f
yx
=

y
_
yx
y1
_
= x
y1
(1 + y log x)
f
y
= (log x)x
y

2
f
xy
=

x
(log x)x
y
= x
y1
(1 + y log x)
3 Fim
O que vimos aqui foi o que se chama uma gambiarra. Uma solu cao impro-
visada para resolver o problema de que os cursos de Fsica e Matem atica nao
s ao sincronizados. N ao e um problema do nosso curso, e um problema de todos
os cursos. A propria Harvard University, a melhor do mundo, nao o conseguiu
resolver, e a prova disso e que dois grandes fsicos de Harvard, Norman Ramsey
(Premio Nobel de Fsica,1989) e Daniel Kleppner (que o ganhara a qualquer
hora) resolveram escrever um livrinho chamado Quick Calculus, para que os
estudantes de fsica pudessem calcular suas derivadas e integrais antes de qu os
matematicos chegassem l a. O livrinho, naturalmente, e excelente, e a bib-
lioteca do Instituto de Fsica em toneladas dele: altamente recomendavel.
7
Isto posto, e necessario dizer que os matematicos nao est ao errados. O prob-
lema deles e ensinar matematica, e nao fsica. E a matematica mudou muito,
no seculo XX. Hoje em dia, o calculo diferencial de uma fun cao f : R
n
R
m
e
uma elegante combina cao de analise com algebra linear (que e geometria: veja
o extraordinario livrinho de Jean Dieudonne, Linear Algebra and Geometry),
que esclareceu muitos pontos obscuros da analise classica, ate mesmo o conceito
de diferencial de uma fun cao, que foi profundamente modicado. Esta obra
dos analistas, iniciada no nal do seculo XIX com o estudo da integra cao e da
topologia, constitui um grande triunfo da mente humana. Para iniciar-se nessas
maravilhas nao e nem necessario enrolar a lingua: Elon Lages Lima escreveu
lindos volumes em portugues, que educam enquanto maravilham: chamam-se

Algebra Linear e Curso de An alise, vols.I e II.

Caro aluno, como dizia um assessor do presidente FHC, nao se apequene.
V a para o melhor. Depois desta inevit avel gambiarra, mergulhe na bibliograa
verdadeira. N ao podemos nos dar ao luxo de ignorar uma obra de arte que,
anal, est a quase ao alcance das maos.
4 Referencias: internet
http://oregonstate.edu/dept/math/CalculusQuestStudyGuides/vcalc/254.html
http://www.bio.brandeis.edu/biomath/populate/surface.html
5 Referencias: livros
Richard Courant, Herbert Robbins, What is Mathematics. Para iniciantes. Ensina as ideias
do C alculo Diferencial e Integral magistralmente, num estilo leve e agrad avel. Quando voce
ve, j a aprendeu coisas tremendas! Apesar de ser para iniciantes, e t ao bom que e lido ate por
matem aticos de verdade.
Godfrey Hardy, Pure Mathematics. Grande livro, escrito por um genio.(Veja abaixo).
Camille Jordan, Cours dAnalyse `a LEcole Polytechnique. Grande livro, escrito por um
genio, sendo que o genio de cima virou genio lendo este livro. O livro de cabeceira tambem
de Freeman Dyson.
Walter Rudin, Principles of Mathematical Analysis, ag uenta dignamente a companhia dos
dois de cima. N ao e pouco!
Richard Courant, Dierential and Integral Calculus, bonito e estimulante.
Tom Apostol, Calculus. Enorme, mas o Sinue gosta dele.
J.E.Thompson, Calculus for the Practical Man. Relquia! O livro onde o Feynman estu-
dou. Ainda existe ` a venda nos sebos americanos.
Sylvanus Thompson, Martin Gardner, Calculus Made Easy. Coment ario de um leitor:
Sylvanus Thompsons Calculus Made Easy is arguably the best math teaching ever. To a non-
mathematician, its simplicity and clarity reveals the mathematical genius of Newton, Leibniz,
8
and Thompson himself. Martin Gardner deserves huge thanks for renewing this great book.
Julian Simon. (Outro livro em que Feynman estudou. Ainda ` a venda na Barnes & Noble!.)
Norman Ramsey, Daniel Kleppner, Quick Calculus, escrito no estilo da instru c ao programada.
Jean Dieudonne, Linear Algebra and Geometry. Grande matem atico frances, que j a foi profes-
sor da USP, constr oi toda a geometria euclideana na linguagem da algebra linear, e descobre
que as duas coisas coincidem! Livro muito premiado pelo estilo e originalidade.
Elon Lages Lima,

Algebra Linear. Muito l ucido. Meu preferido para este tema.
Elon Lages Lima, Curso de Analise, vols.1 e 2. Livro requintado, claro e com muitos ex-
erccios.
9