Escolar Documentos
Profissional Documentos
Cultura Documentos
NATUREZA E A MATEMTICA
O FOGO
Como derivar
vez uma funo
descontnua
A TERRA
Como Euclides
ajudou os
aliados na
Segunda Guerra
A GUA
Computadores
movidos a gua
O AR
Do sopro da
vida ao DNA
Objetivos
Este mini-curso pretende salientar pedagogicamente as conexes
do incio da filosofia da natureza com algumas recentes
descobertas matemticas. A justificativa para isto muito simples:
se o homem passou no incio da civilizao por este ritual de
revelao cientfica, que marcou to profundamente nossa
cultura, parece-nos muito salutar e natural colocar tais questes
aos alunos, principalmente se ela puder ser abordada segundo
uma perspectiva interdisciplinar.
O SILNCIO
Arnaldo Antunes / Carlinhos Brown
A Mitologia
e a ira da natureza
Uma lenda afro-brasileira
Conta-se que Olorum (Deus), encontrou Iemanj (Rainha das guas) em seu trono e ficou
muito bravo. Para castig-la, Olorum determinou que Iemanj fosse habitar o planeta Terra.
Iemanj levou consigo suas pores de gua (os 7 mares) afim de acomod-los nos sete vales
do planeta, mas como no havia espao suficiente, o planeta acabou inundando. Preocupada,
ela pediu ajuda a Ogum - o trabalho fsico na terra. Ela pediu que Ogum cavasse a terra para
que suas guas se acomodassem. Descuidadamente Ogum abriu uma fenda profunda no solo,
atingindo o reino de Obaluai (o fogo geolgico - subterrneo). Obaluai se sentiu ofendido por
seu reino ter sido inundado e reagiu com um terremoto que abalou a Terra enrrugando-a.
Assim se formaram os continentes, os vales e as montanhas. Iemanj representa tambm a
fertilidade, a vida que vem da gua. Xang e toda a sua genealogia do fogo, aqueceu a terra
criando condies de vida. O fogo aqueceu a gua que se evaporou, formando o ar que vem a
ser Oxal, aparecendo a seguir as florestas e a flora simbolizadas por Oxossi.
gua - Iemanj
Ar -Oxal
Terra -Obaluai
Fogo - Xang
Lunrio perptuo
Antnio Nbrega
A origem da Cincia
Tales e a gua
Tales foi um mercador, engenheiro e
astrnomo que acreditava que a substncia bsica
da qual todas as outras so formadas era a gua;
esta crena muito provavelmente deveu-se s
propriedades fsicas e qumicas peculiares da gua
sem as quais no haveria a vida, como tambm s
suas viagens maritmas, principalmente ao Egito.
considerado o fundador da filosofia cosmolgica e
sua grande contribuio para a Matemtica reside
no fato de que as verdades, mesmo que evidentes,
devem ser provadas.
Cosmogonias e Cosmologias
Fogo
Quente
Seco
Terra
Ar
Frio
mido
gua
Aximandro e o peiron
O caos
Anaxmenes e o ar
A transformao da matria
Herclito, o obscuro
No podemos entrar duas vezes no
mesmo rio, dizia, pois da
segunda vez tanto o rio como ns,
mudamos.
Parmnides
O ser imutvel e ao mesmo tempo
eterno, pois se o ser pudesse se
transformar, deixaria de ser o que ,
sendo assim um no-ser, e se tornaria
novamente um ser
Percepo x Razo
z1
y1
y2
z2
z3
x1
x2
x3
y3
z1
z2
z3
x1
x2
x3
y1
y2
y3
Pitgoras
Pitgoras foi uma figura lendria, fundador de uma
sociedade secreta de cunho religioso, voltada ao
estudo da Filosofia, tendo a Matemtica como via de
salvao.
A cosmologia pitagrica v o universo formado por
unidades indivisveis, separadas por intervalos
resultante da respirao do universo vivo. As
unidades indivisveis seriam os nmeros, que
formariam assim a alma de tudo o que existe.
Para os pitagricos os quatro qualidades quente, frio,
mido e seco - so apenas manifestaes das
combinaes ou dissociaes dos nmeros.
A descoberta pelos pitagricos da existncia de nmeros
irracionais provocou uma profunda crise em sua
sociedade e, muito provavelmente por causa disto,
passaram a estudar os aspectos geomtricos, em
detrimento aos aspectos mais algbricos, da
Matemtica.
d=
p
,
q
q 0,
mdc( p, q) = 1. Como
d 2 = 2 p 2 = 2q 2
e como o quadrado de p par, p deve ser par. Mas a ltima equao nos
diz que q tambm deve ser par, pelo mesmo motivo anterior. Isto uma
contradio pois mdc(p,q) = 1.
Pluralismo
Demcrito foi o pai da teoria que coloca os tomos como
formadores do universo. Eles eram, para ele, partculas
indivisveis e minsculas que se achavam em constante
movimento. O vcuo entre os tomos, para Demcrito,
teria existncia real.
Anaxgoras acreditava que no princpio havia um magma em
que tudo estava misturado e que existia uma fora
inteligente ou um motor csmico, separada do magma,
que provocaria neste um movimento - como um turbilho separando o denso e o rarefeito, o frio e o quente, o mido
e o seco, a luminosidade da escurido.
Empdocles acreditava na pluralidade; defendia que o
universo era composto pelos seguintes quatro elementos
bsicos: ar, gua, fogo e terra e que a qualidade de
nenhum deles seria preponderante sobre os outros. As
coisas existentes seriam o resultado da mistura desses
quatro elementos.
O que ocorre
com a madeira
queimando? A
gua o que faz
a madeira
crepitar e estalar.
A fumaa
devido ao ar, o
fogo o que
vemos e as
cinzas so a
terra.
Plato
fogo
ar
gua
terra
universo
Aristteles
Foi discpulo de Plato e professor de Alexandre, o Grande.
A filosofia nasce do espanto admirativo que os seres
humanos tm diante de uma situao problemtica, mas
no um impulso espontneo, sendo causada por uma
aporia, isto uma dificuldade insolvel para o pensador.
Aristteles desenvolveu um sistema filosfico prprio, em
que a essncia do que existe obtida pela razo aplicada
aos dados fornecidos pelos sentidos, colocando o
conhecimento da verdade como uma abstrao da natureza.
Silogismo aristotlico atual
Se a propaganda a alma do
negcio e sexo a alma da
propaganda, ento sexo a
alma do negcio.
O perodo helenstico
Alexandria
Euclides e Arquimedes
A SEGUNDA COISA QUE TODO MATEMTICO DEVERIA SABER
Provar que existem infinitos nmeros primos
Dado um nmero natural n, a seqncia de nmeros naturais que se inicia
em n e termina em n!+1, deve conter pelo menos um nmero primo.
De fato, se dividirmos n!+1 por qualquer nmero entre 2 e n inclusive,
sempre teremos resto 1, pois n! contm todos esses nmeros como
fatores. Agora, todo nmero maior do que 1 tem um divisor maior do que 1,
pois o prprio nmero um divisor de si mesmo. Existe portanto um
menor nmero que divisor de n!+1 e ele deve ser entre n e n!+1
(contando-se o extremo superior). Este nmero tem que ser primo, porque
se ele tivesse um divisor menor do que ele e diferente de 1, este divisor
tambm dividiria n!+1 e seria menor do que o menor divisor, o que um
absurdo. Logo ele deve ser primo e assim provamos que entre n e n!+1
sempre existe um nmero primo. Como n qualquer, existem infinitos
nmeros primos.
Imprio Romano
O FOGO
Como usar o fogo para derivar vez uma funo descontnua?
TEOREMA: Toda funo derivvel contnua.
Demonstr.:
O fogo e a Cincia
A fria da natureza
A revoluo agrcola e
a idade dos metais
Relgios de fogo
Relgios de corda
Relgios de vela
Despertador de fogo
A
A
u1
u2
A Equao do Calor
Fluxo de Calor:
q(x,t) = - m. A. ux(x,t)
u(x,t) a temperatura no ponto x no instante t.
ux(x,t) a derivada de u com relao a x
m constante - depende do material.
O sinal negativo aparece pois o calor difundese do mais quente para o mais frio.
Q =
t o + t
to + t
q(x ,t)dt
o
to
to
q(xo + x, t)dt =
x = xo
t o +t
m[u (x
x
to
x = xo+ x
+ x, t) ux (xo , t)]Adt
A Equao do Calor
Q =
to + t
to
TFC =>
t o + t xo + x
to
xo
xo + x
cu
( x , t ) dt ) Adx
xo
mu xx ( x , t ) dxdt =
t o + t xo + x
cu ( x , t ) dxdt
t
to
xo
ut ku xx = 0
Equao do calor
Equaes parablicas
Equaes de difuso
Domnio da energia
mecnica
Revoluo Industrial
Os mtodos de
resoluo s
apareceram no incio
do sculo XIX
Um churrasco matemtico
0
ut ku xx = 0
u (0, t ) = 0
u ( L, t ) = 0
u ( x,0) = f ( x)
u(x,t)
G ' (t ) kG (t ) = 0
EDOs
=
n
n
= 2 2 , n = 1,2,3,...
L
n 2 2 kt
kt
G (t ) = c.e
= c.e
n 2 2 kt
un = e
L2
L2
nx
sen
,
L
n = 1,2,...
So solues da
equao do calor
com dados nulos
na fronteira
un = e
L2
nx
sen
,
L
n = 1,2,...
nx
ao
nx
+ (an cos
+ bn sen
f ( x) =
)
L
L
2 n =1
f ( x) =
n =
c e
n =
nx
L
sendo
i
1
cn =
f ( x )e
2L L
n x
L
dx
A transformada de Fourier
Se f(x) uma funo real, sua transformada de Fourier dada por
^
f ( ) =
e ix f ( x ) dx
1 g ( x) =
1
2
e ix g ( )d
d
dx
f ) ( ) =
d
(
dx
e ix
d
dx
^
=
f ( x ) dx {
f ) ( ) = i f ( )
partes
i e ix f ( x ) dx
O produto de convoluo
O produto de convoluo de duas funes definido por:
( f * g )( x) = f ( x y ) g ( y )dy
A importncia deste novo produto deve-se aos seguintes fatos:
f * g
( f .g ) =
2
( f * g ) = f .g
De fato,
( f * g ) ( ) = e ix ( f * g )( x ) dx = e ix
f ( x y ) g ( y ) dy dx
u t u xx = 0
Obtemos:
u( x,0) = f ( x)
^
t u + u = 0, u ( x,0) = f ( x)
2
u ( x, t ) = 1 ( f
2
1 1
( ). e t )( x) =
(
2
( )) * 1 (e t )( x)
Ou seja
u ( x, t ) = f * K t ( x )
sendo
1
=
x
(
)
Kt
2
ix
e e
t dt =
4t
4t
Propriedades do ncleo da
equao do calor
No limite, quando t converge para zero,
os grficos acima indicam que as funes se
aproximam da distribuio de Dirac, que
vale zero fora da origem e infinito na origem.
( x)dx = 1
A distribuio a derivada da funo de
Heaviside H(x) = 0 para x < 0 e H(x) = 1
para x > 0.
o elemento neutro da convoluo:
f * = f , f
Suavidade
u ( x, t ) = f * K t ( x ) =
e
4t
( x y )2
4t
f ( y )dy
^
d
1
f ( x ) = i ( f ( ))( x )
dx
Fmula Mgica
ix
i
df
(x) = e eiy f ( y) dy d
2
dx
Outras derivadas
Derivadas de ordem n:
d 2 f
(x) =
2
dx
d n f
n
(
)
x
i
=
n
dx
f ( ))( x )
n = 1 , 2 , 3 ,...
f ( ))( x ),
Derivadas de ordem :
1
2
dx
f
1
2
(x) = i
1
2
1
2
f ( ))( x )
Operadores Pseudo-diferenciais
Possuem a seguinte forma:
1
Au ( x ) =
2
Alberto Caldern
e i( x
y )
a ( x , y , ) u ( y ) dy
Antoni Zygmund
Lars Hrmander
Estudos futuros
Teoria Elementar das
distribuies
Introduo aos
operadores pseudodiferenciais
Teorema de NashMoser e suas
aplicaes