UNIVERSIDADE ESTADUAL VALE DO ACARAU Curso de Licenciatura Plena em Matemtica a

Joo Vianey Vasconcelos Rios a

EQUACOES DIFERENCIAIS EXATAS E DETERMINACAO DE EXTREMOS

SOBRAL - 2009

Joo Vianey Vasconcelos Rios a

EQUACOES DIFERENCIAIS EXATAS E DETERMINACAO DE EXTREMOS

Monograa apresentada ` Universidade Esa tadual Vale do Acara como requisito paru cial para obteno do t ca tulo de Licenciatura Plena em Matemtica. a

Orientador: Prof. Dr.

SOBRAL - 2009

Joo Vianey Vasconcelos Rios a

EQUACOES DIFERENCIAIS EXATAS E DETERMINACAO DE EXTREMOS

Monograa apresentada ` Universidade Estadual Vale do Acara como requisito parcial a u para obteno do t ca tulo de Licenciatura Plena em Matemtica. a

Monograa aprovada em:

Orientador: Prof. Dr. Tarcisio Praciano Pereira (UVA) 2 Examinador: Prof. 3 Examinador: Prof.

Prof. Ms. Nilton Jos Neves Cordeiro e Coordenador do Curso de Matemtica a

Agradecimentos
Agradeo primeiramente ` Deus, pois foi meu principal refgio nos momentos dif c a u ceis, me permitindo continuar com a elaboraao deste trabalho. c ` A minha fam lia, que tem me ajudado ` conquistar objetivos e sempre me impulsiona a a lutar na vida. Aos meus amigos e colegas do curso que, mesmo estando juntos na jornada, torcem por meu sucesso. E um agradecimento especial ao meu orientador, Tarcisio Praciano Pereira, pela partilha de conhecimento, boa vontade e sinceridade para com a concluso desta monograa. a

Resumo Este trabalho tem como principal objetivo descrever um novo algoritmo para determinaao de extremos, tendo como base as equaoes diferenciais exatas. A partir de dados c c colhidos, ser descrito o modelo F gerado pelas curvas que estes dados delimitam, ou seja, a concluir que existe uma superf que modela um certo fenmeno. cie o No primeiro cap tulo irei estabelecer algumas denioes que iro dar suporte ao obc a jetivo do trabalho, observando quais os tipos de curvas que resultados colhidos por uma malha selecionada sobre uma regio podem produzir. a No segundo cap tulo, apresentarei uma discusso sobre as equaoes diferenciais exatas, a c desde a introduo do conceito, passando pela soluao de uma equao deste tipo e sua ca c ca relaao com o gradiente. c Finalmente criar uma linguagem que permita rapidamente montar um mtodo para e obtenao de extremos a partir de equaoes diferenciais exatas, apresentando um novo c c algoritmo e utilizando os difeo como suporte. Termino fazendo uma descriao geomtrica c e dos difeo.

Palavras-chave: equaes diferenciais exatas, difeomorsmo, extremos. co

Lista de Figuras
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 f (x, y) = x2 + y 2 e suas curvas de n vel . . . . . . . . . . . . . . . . . . f (x, y) = (x2 + y 2 ) e suas curvas de n vel . . . . . . . . . . . . . . . . Curvas de nvel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Um Difeomorsmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Difeomorsmo de uma curva do tipo c rculo . . . . . . . . . . . . . . . . . 6 7 7 8 9

Curvas do tipo Crculos Concntricos . . . . . . . . . . . . . . . . . . . . . 10 e Assntota: horizontal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Assntota: vertival e oblqua . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Regio de curvas abertas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 a

1.10 Difeomorsmo de uma curva do tipo hiperblico . . . . . . . . . . . . . . . 12 o 1.11 Famlia de Curvas do tipo hiperblico . . . . . . . . . . . . . . . . . . . . . 13 o 1.12 O passo de montanha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.13 Famlia de curvas do tipo crculos concntricos entre uma fam de curvas e lia do tipo hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 o 2.1 3.1 3.2 3.3 3.4 3.5 3.6 O Mtodo do Gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 e Campo de direes de um modelo F . . . . . . . . . . . . . . . . . . . . . . 25 co O caso particular de um campo de direes . . . . . . . . . . . . . . . . . . 26 co Prolongamento das retas tangentes . . . . . . . . . . . . . . . . . . . . . . 27 Famlia de curvas do tipo crculos concntricos . . . . . . . . . . . . . . . . 27 e Famlia de crculos concntricos . . . . . . . . . . . . . . . . . . . . . . . . 28 e Perpendicular QP encontrando o extremo . . . . . . . . . . . . . . . . . . . 29

Sumrio a
Introduo ca 1 Curvas produzidas por dados 1.1 1.2 1.3 1.4 O que produzem dados colhidos para uma malha? . . . . . . . . . . . . . . Curvas do tipo c rculos concntricos . . . . . . . . . . . . . . . . . . . . . . e 3 4 4 8

Curvas do tipo hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 o Passo de Montanha e os extremos . . . . . . . . . . . . . . . . . . . . . . . 13 16

2 Equaes Diferenciais Exatas co 2.1 2.2 2.3 2.4 2.5

Uma breve introduao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 c Condio de existncia de uma ED exata . . . . . . . . . . . . . . . . . . . 18 ca e Soluo de uma equaao diferencial exata . . . . . . . . . . . . . . . . . . . 19 ca c Gradiente de uma funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 ca Polinmio de Taylor de segundo grau . . . . . . . . . . . . . . . . . . . . . 23 o 24

3 Novo algoritmo para determinao de extremos ca 3.1 3.2 3.3 3.4 3.5

Levantamento e Taxas de variaao . . . . . . . . . . . . . . . . . . . . . . . 24 c Obteno das Curvas de n ca vel . . . . . . . . . . . . . . . . . . . . . . . . . 25 As curvas que poss obter . . . . . . . . . . . . . . . . . . . . . . . . . 26 e vel Modelagem de fenmenos a partir de dados amostrais . . . . . . . . . . . . 27 o Uma descriao geomtrica dos difeo . . . . . . . . . . . . . . . . . . . . . . 29 c e 31 32

Concluso a Referncias Bibliogrcas e a

Introduo ca
A Matemtica a cincia dos nmeros e dos clculos. Desde a antiguidade, o homem a e e u a utiliza a matemtica para facilitar a vida e organizar a sociedade. A Matemtica foi a a usada pelos eg pcios nas construao de pirmides, diques, canais de irrigao e estudos c a ca de astronomia. Os gregos antigos tambm desenvolveram vrios conceitos matemticos. e a a Atualmente, esta cincia est presente em vrias reas da sociedade como, por exemplo, e a a a arquitetura, informtica, medicina, f a sica, qu mica etc. Podemos dizer, que em tudo que olhamos existe a Matemtica. a A Matemtica uma rea instrinsecamente presente no nosso cotidiano, alm de ser a e a e essencial e eciente, ela facilita a resoluao de diversas problemticas pois abstm-se de c a e mudanas nos seus conceitos e denioes j que se trata de uma disciplina da rea das c c a a Exatas. Uma deniao, um teorema, estabelecidos h muitos e muitos anos, permanecem c a intactos at hoje, preservando a magn e ca sequncia de racioc e nios de tantos e tantos matemticos daquela poca. Por mais que realizemos novas descobertas nos dias atua e ais, sempre precisaremos utilizar conceitos pr-estabelecidos, ou seja, os pr-requisitos e e necessrios ` realizaao de um mtodo, um algoritmo novos foram deduzidos muito antia a c e gamente por matemticos. a Nessa mesma linha ns, os matemticos de hoje, precisamos produzir sempre mais, o a tanto melhorando quanto descobrindo coisas novas. O nosso material produzido servir a de base para outros matemticos. Nosso trabalho ser recompensado quando auxiliarem a a pesquisas, ajudarem a sociedade, serem pr-requisitos para estudos. Com persistncia, e e vamos aumentado o leque de opes da nossa Matemtica, minimizando a abstrao de co a ca alguns conceitos e conquistando o espao que a Matemtica merece estar. c a

Cap tulo 1 Curvas produzidas por dados

Como sabemos, a Matemtica est mais do que envolvida no nosso cotidiano. Tal fato se a a torna evidente quando se observa engenheiros analisando construes; topgrafos analico o sando o relevo de determinadas regies; at qu o e micos e f sicos, entre professores e cientistas, todos utilizam a Matemtica de alguma forma. Em todas estas prosses a Matemtica a o a est intrinsecamente presente, uma vez que diversos clculos somente so poss a a a veis utilizando os artif cios matemticos como ferramenta. Pode-se dizer que, quando se trabalha a com a anlise de dados, a Matemtica e seus mtodos so as principais ferramentas utilia a e a zadas.

1.1

O que produzem dados colhidos para uma malha?

Quando se trabalha com dados colhidos sobre determinado fenmeno, seja ele natural o ou articial, em uma determinada regio, tem-se em mos uma das principais, se no a a a a principal ferramenta para entender onde e como tal fenmeno varia, com isso teremos a o possibilidade de analisar o crescimento do mesmo. Como estamos tratando de Matemtica e falando em pontos, algo que pode nos vir a a cabea o que dois ou mais pontos (dados) produzem. Trs pontos so necessrios c e e a a para se gerar um plano, assim como dois pontos so necessrios para se gerar uma reta, a a e assim sucessivamente. Obteremos objetos ou, matematicamente falando, obteremos variedades geomtricas. Mas na anlise de uma, digamos, determinado crescimento da e a biodiversidade de uma regio, ns matemticos, nos responsabilizamos em determia o a nar seu extremo, ou seja, de alguma alterao que esteja ocorrendo num determinado ca ecossistema. Como exemplo, um problema que vem afetando diversas regies do pa o s e 4

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

o proliferamento do Aedes aegypti, o mosquito causador da dengue, que tem provocado grandes movimentos no intuito de combat-lo, e o trabalho dos matemticos analisar e a e quais pontos so os mais problemticos, ou seja, a anlise da quantidade de focos do a a a mosquito para ento descrever tal quantidade, depois compete ` algum rgo pblico o a a o a u combate propriamente dito. No geral, a Matemtica se compromete a analisar tanto a o objeto causador de uma degradaao ambiental como algum outro fenmeno que seja c o importante para o ambiente, assim precisar crescer e se propagar, a problemtica muitas a a vezes culmina numa perda de biodiversidade, mas pode tambm ser algo importante para e o ecossistema, e com esse objetivo que venho produzindo este trabalho: descrever um e novo algoritmo para determinao de extremos de algum fenmeno. ca o Anlise: neste momento que entra a questo dos extremos e dos passos de montaa e a nha (mais adiante tratarei destes assuntos), onde a Matemtica atua de forma objetiva, e a at porque o trabalho de um matemtico consiste em analisar um fnomeno e indicar seus e a e extremos (pontos cr ticos), cabe a outro prossional tomar as medidas que se justiquem, mas que que claro que no estou aqui retirando a responsabilidade dos matemticos ena a quanto fora de suas atribuioes (a Matemtica: ferramenta de trabalho do matemtico), c a a mas a Matemtica, enquanto cincia, trabalha na anlise do fenmeno e aponta seus a e a o pontos cr ticos. Pode-se perceber tambm que, para topgrafos e engenheiros, o interesse observar e o e a deformao do relevo de uma determinada regio, por exemplo, observar se h uma ca a a elevao (montanha) ou uma depresso (buraco), e nesse estudo a Matemtica tambm ca a a e tem papel fundamental, a partir da determinaao de extremos que se ir determinar e c a tais mximos (montanhas), tais m a nimos (buracos), seus pontos cr ticos, como tambm os e passos de montanha que delimitam regies onde h extremos. A Topograa estuda as o a alteraoes no relevo de uma determinada regio, e a Matemtica dentro da Topograa ser c a a a usada para se determinar os pontos cr ticos deste relevo. Como o objetivo a descriao de e c um algoritmo para se determinar extremos, estou fazendo uma ligaao com a Topograa c pois a variaao de um fenmeno dene um relevo dinmico que se altera ao longo do c o a tempo. Crescimento de biodiversidades, estudo das alteraoes no relevo, so diversos campos c a que a Matemtica atua quando a anlise visa a determinaao de extremos. Pontos cr a a c ticos para matemticos indica pontos de mximos, m a a nimo, passo de montanha, ou seja,

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

perceber at que ponto atingiu a variao utilizando algoritmos que realizem, digamos, e ca uma modelagem na regio, isso permitir que se obtenha um modelo do crescimento do a a fenmeno ao longo do tempo, para assim serem realizadas projees. o co Embora a Topograa no seja usada neste trabalho, vou tomar exemplos de ocasies a o em que engenheiros ou topgrafos possam se deparar, j que existe uma semelhana com o a c o relevo dinmico. a Supondo que, analisando a deformao de um determinado relevo, queira se determica nar seus extremos. Primeiramente se dene uma malha sobre uma regio e se faz um a levantamento de dados, estabelecem-se algumas variveis e tomam-se alguns pontos que a sero necessrios para serem realizadas aproximaoes. a a c
0m

f(x,y)

9m 30m 44m 60m

200 180 160 140 eixo z 120 100 80 60 40 20 0 10 5 10 5 eixo x 0 0 5 5 10 10 eixo y

Figura 1.1: f (x, y) = x2 + y 2 e suas curvas de n vel

Hipoteticamemte, esta gura poderia representar a deformaao em algum ponto de c um relevo e algumas de suas curvas de n vel. Note que h alguns valores em metros, so a a as alturas de cada curva de n vel, eles representam que se est abaixo do n do solo, a vel ento se trata de um buraco, uma depressso. Como se trata de uma depresso, as curvas a a a de n determinam um ponto de m vel nimo no relevo. Outro exemplo:

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

1m 15m

f(x,y)
40m

0 20 40 60 eixo z 80 100 120 140 160 180 200 10 5 10 5 eixo x 0 0 5 5 10 10 eixo y

55m 80m

Figura 1.2: f (x, y) = (x2 + y 2 ) e suas curvas de n vel

Esta seria a deformaao de um relevo e alguma das provveis curvas de n c a vel. Agora h valores positivos representando que se est acima do n do solo, ento temos um a a vel a morro ou uma montanha, uma elevaao. Como se trata de uma elevaao, as curvas de c c n determinam um ponto de mximo no relevo. vel a

50m

3m 3m 25m 20m 8m

9m 4m

Figura 1.3: Curvas de n vel

Mas podem haver ocasies em que curvas determinem dois ou mais extremos, por o exemplo, uma regio que tenha uma elevaao e uma depresso, como na gura. Com isso, a c a numa mesma regio poder existir um mximo e um m a a a nimo no relevo. Analisando-se os trs casos vistos, percebe-se que, ao se obter curvas de n e vel em sequncia (uma dentro da outra) ca fcil a determinaao do extremo: est no centro e a c a das curvas. Esta discusso preliminar permitiu analisar, hipoteticamente, como se d a detera a minaao de extremos em regies. Atravs de um levantamento de dados, podem ser c o e

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

obtidas curvas (no algbricas) mas que tero um conceito a partir de agora quando irei a e a apresentar que tipos de curvas podem ser descritas quando se trabalha com dados.

1.2

Curvas do tipo c rculos concntricos e

C rculos concntricos so curvas que possuem o mesmo centro, sem contudo terem, obrie a gatoriamente, o mesmo raio. E um conceito importante para o objetivo do trabalho, o difeomorsmo, que caracteriza-se por ser uma equivalncia topolgica que preserva a difee o renciabilidade. Esse um exemplo de difeormorsmo: a imagem de uma grelha retangular e em um quadrado sob um difeomorsmo do quadrado para si mesmo.

Figura 1.4: Um Difeomorsmo

Topologia a parte da Matemtica que identica as propriedades dos conjuntos e os e a torna equivalentes do ponto de vista de funes cont co nuas. Sei que usei uma sentena c extremamente vaga. Vou melhorar um pouco. Para denir topologia, selecionamos conjuntos que chamamos os abertos do conjunto. Isto permite conceituar as funes denidas neste conjunto como cont co nuas. E a genera-

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS lizaao das bolas abertas denidas com c |x a| < r em topologias oriundas de mtricas, ou distncias. e a

Desta forma pode-se dizer que quadrados e c rculos so equivalentes. Mas um quadrado a no seria equivalente a um anel (a diferena entre dois c a c rculos concntricos) porque, e no segundo retiramos um pedao interior. Enquanto foi retirada uma parte do c c rculo, preservou-se todo o quadrado, portanto a relao de equivalncia no se aplicaria. ca e a Logo, discos (c rculos + interior) so topologicamente equivalentes a curvas fechadas a com seu interior. E o que estou usando neste caso. No que diz respeito ` diferenciabilidade, precisa-se que dos dois lados se encontrem a curvas diferenciveis e a bijetividade dos difeo permite isto. a Ento vou tomar como ponto inicial as curvas do tipo c a rculo estabelecendo a seguinte deniao: c Denio 1 (Curva do tipo C ca rculo) Uma curva ser dita do tipo c a rculo quando houver um difeomorsmo entre ela e um c rculo. Quando cortarmos um morro ou levantarmos dados, dicilmente sero encontrados a c rculos porque estas curvas so algbricas e dados que descrevem fenmenos no so a e o a a algbricos. Por isso, quando estamos tratando de anlise de dados, necessitamos de um e a meio que chegue mais prximo da algebricidade para que, com recursos matemticos, o a possamos realizar os devidos estudos. Observe a gura abaixo:

Figura 1.5: Difeomorsmo de uma curva do tipo c rculo

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

10

De acordo com a denio, que esta curva ser chamada curva do tipo c ca a rculo pois ela e difeomorfa ao c rculo que est logo ao lado, j que se trata de uma equivalncia topolgica. a a e o Como os difeo preservam a diferenciabilidade, ento o c a rculo tambm diferencivel em e e a todos os seus pontos. Inicialmente propus uma primeira deniao para estabelecer um caso particular de c onde quero realmente chegar, que so uma fam de curvas de n em sequncia. Este a lia vel e termo pode transparecer que sejam curvas em la, mas so curvas contidas em outras a curvas. A partir de agora entender-se- melhor. Assim como z para o caso particular, a vou generalizar o conceito estabelecendo mais uma deniao. c Denio 2 (Fam de Curvas do tipo C ca lia rculos Concntricos) Uma fam de e lia curvas do tipo c rculo dita uma famlia de curvas do tipo C e rculos Concntricos quando e houver um difeomorsmo entre uma famlia de c rculos concntricos e esta fam de e lia curvas. Ento posso armar que estas curvas de n so equivalentes: a vel a

Figura 1.6: Curvas do tipo C rculos Concntricos e

Fazendo-se uma comparao, percebe-se que todas as curvas foram mantidas, somente ca alterei o formato de apresent-las, quer dizer, z uma remodelagem. Ento vou admitir a a que existe uma equivalncia topolgica entre tais objetos. e o Na fam de c lia rculos concntricos, h um quadrado arredondado, isto implica que e a existe derivada em todos os seus pontos. Arredondei para preservar a diferenciabilidade que a relaao de difeomorsmo garante. c

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

11

1.3

Curvas do tipo hiperblico o

As hiprboles so curvas que possuem retas ass e a ntotas. Estas retas so tais que a distncia a a entre ela e um ponto P da curva (a hiprbole) tende a zero ` medida que este ponto P se e a afasta indenidamente da origem. Observando a gura abaixo, pode-se entender melhor este tipo de curva:
y

1 0 P

Figura 1.7: Ass ntota: horizontal

Afastando-se o ponto P indenidamente da origem na direo do eixo x, pode-se ca observar que a distncia entre a reta e o ponto P tender ` zero, tender ` zero sem a a a a a nunca ser zero, quer dizer, sem nunca tocar a reta. Assim diz-se que a reta em vermelho ass e ntota ` hiprbole. a e Este um exemplo de uma hiprbole, mas elas podem se apresentar de outras formas: e e podem ser tambm vertical e oblqua, respectivamente: e
y
y

Figura 1.8: Assntota: vertival e obl qua

Assim, para cada reta ass ntota existente, tem-se uma hiprbole correspondente. e

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

12

So estes tipos de curvas que tambm podemos ter quando trabalhamos com dados a e colhidos, no exatamente hiprboles, mas difeomrca `s hiprboles. Se o objetivo a e o a e e determinar extremos, eles podem estar dentro das regies que estas curvas delimitam. o Pode-se entender melhor observando essa gura: perceba que existem curvas abertas dentro de uma regio (uma curva que contm as outras). Observando a gura, note que a e h uma sequncia de curvas, e de fora para dentro encontra-se uma abertura, al dentro a e e que os extremos podem estar.

Figura 1.9: Regio de curvas abertas a

Tomando como caso particular uma curva do tipo hiperblico vou estabelecer a prxima o o deniao: c Denio 3 (Curva do tipo Hiperblico) Uma curva ser dita do tipo hiperblico ca o a o quando houver um difeomorsmo entre ela e uma hiprbole. e Com um difeomorsmo, consegue-se chegar mais prximo da algebricidade para ento o a se poder construir um mtodo que se almeja. e

Figura 1.10: Difeomorsmo de uma curva do tipo hiperblico o

Do ponto de vista topolgico, as curvas da gura acima so equivalentes. Mas os difeo, o a que como so chamadas as relaes de difeomorsmo, no determinam somente uma e a co a

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

13

equivalncia topolgica, mas tambm preservam a diferenciabilidade entre os objetos. e o e Desta forma, admitindo-se que a curva da esquerda alguma curva de n e vel de uma superf z = F (x, y) continuamente diferencivel, e sendo o quadrado arredondado cie a diferencivel, ento existe um difeomorsmo entre estas curvas. Portanto a curva da a a esquerda uma curva do tipo hiperblico. e o Vou propor uma nova deniao, agora generalizando o conceito expandindo a denio c ca anterior. Denio 4 (Fam ca lia de Curvas do Tipo Hiperblico) Dizemos que uma fam o lia de curvas hiperblicas uma famlia de curvas do tipo hiperblico quando houver um o e o difeomorsmo entre uma famlia de hiprboles e esta fam de curvas. e lia Assim, com a deniao proposta, pode-se garantir que as curvas de n abaixo so c vel a equivalentes:

Figura 1.11: Fam de Curvas do tipo hiperblico lia o

Ou seja, atravs da relaao de difeomorsmo entre ambas, as curvas obtidas so uma e c a Famlia de Curvas do tipo hiperblico. o

1.4

Passo de Montanha e os extremos

Seguindo com a mesma discusso, e em contrapartida com as curvas do tipo c a rculos concntricos, entenda o que estou fazendo. Quando encontram-se, com os dados, uma e famlia de curvas do tipo hiperblico, conclui-se que al existe um passo de montanha o e portanto, numa direo perpendicular, haver uma fam de curvas do tipo c ca a lia rculos

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

14

concntricos. Os passos de montanha so os que correspondem, no caso univariado, aos e a pontos de inexo. So regies cr a a o ticas porque elas delimitam regies onde h extremos. o a Vamos entender melhor observando o esboo abaixo: c

Figura 1.12: O passo de montanha

Colhidos alguns dados, obteve-se1 uma certa regio com curvas do tipo hiperblico e a o curvas do tipo crculos concntricos, ento al existe um passo de montanha. Repare na e a linha vermelha que percorre o entremeio destas curvas, ela tambm uma curva do tipo e e hiperblico. O passo de montanha este caminho que segue a linha vermelha2 . Quando o e escrevi que numa direo perpendicular `s curvas do tipo hiperblico existir uma fam ca a o a lia de curvas do tipo crculos concntricos, me reria ` fam de curvas fechadas que pode e a lia mos observar na gura. Estando no passo de montanha e saindo numa perpendicular encontram-se curvas que, dependendo do relevo, pode ser um morro ou uma depresso a para os topgrafos (relevo geogrco); ou um ponto forte ou fraco de alteraao para os o a c matemticos (relevo dinmico). a a Mas tambm, entre curvas do tipo hiperblico, podem ser encontradas curvas do tipo e o c rculos concntricos representando, por exemplo, uma alteraao no relevo (relevo gee c ogrco); ou uma alteraao de biodiversidade (relevo dinmico). a c a

1 2

Por difeomorsmo. Mas que no implica ser somente em cima da linha, voc pode sair de cima dela tambm. a e e

CAP ITULO 1. CURVAS PRODUZIDAS POR DADOS

15

Figura 1.13: Famlia de curvas do tipo crculos concntricos entre uma fam de curvas e lia do tipo hiperblico o

Nas deduoes e exemplicaoes, utilizei constantemente o material de trabalho dos c c topgrafos e engenheiros, ou seja, o estudo do relevo geogrco de uma regio. Foi proo a a posital o uso deste artif cio para elaborar toda uma linguagem que culmine no objetivo desta monograa. Estou trabalhando na busca de um mtodo que sirva, por exemplo, e para medir a alteraao no ecossistema de uma regio, portanto o relevo dinmico que se c a a assemelha ao relevo com que os topgrafos trabalham, mas a palavra dinmico esclarece o a a diferena, pois se trata do dinamismo de algum fenmeno variando no tempo. c o Em certas ocasies, o relevo geogrco tambm poder se alterar com as eroses que o a e a o possam ocorrer, mas estou excluindo este fato, como se o relevo permanecesse em e condioes normais, isto , sem nenhuma alteraao da natureza. Ento, a melhor forma que c e c a encontrei para aplicar exemplos e permitir um melhor entendimento foi atravs do estudo e de um certo relevo que, assim como as curvas no algbricas que se obtm com dados a e e e que apontam para extremos, as curvas de um relevo tambm apontam, as elevaoes e e c depresses. Portanto so bastante semelhantes. o a

Cap tulo 2 Equaes Diferenciais Exatas co

Nos cap tulos anteriores analisei os vrios tipos de curvas que dados colhidos de uma a determinada regio podem fornecer. Para as curvas fechadas, fam de curvas do tipo a lia crculo, sero denominadas curvas do tipo crculos concntricos; para as curvas abertas, a e famlia de curvas do tipo hiperblico sero denominadas curvas do tipo hiperblico. Mais o a o adiante notar-se- a relao entre curvas de n e equaes diferenciais exatas. a ca vel co

2.1

Uma breve introduo ca

Quando se estuda Equaao Diferencial Ordinria (EDO), um tipo de equaao particular c a c so as equaes diferenciais exatas. Tais equaes se caracterizam por assumirem a forma: a co co dw = 0 (2.1)

A homogeneidade (termo forante igual a zero) necessria e essencial porque a soluao c e a c de equaes deste tipo uma primitiva w cujo diferencial est expresso na equaao. co e a c Vou considerar uma funao duas vezes continuamente diferencivel de uma regio c a a como sendo z = F (x, y) ; (x, y) R2 (2.2)

da qual posso deduzir uma expresso diferencial exata da forma a dz = F F dx + dy x y (2.3)

Pode-se dizer que ela representa uma superf de um tipo bastante especial, j que cie a expressa o grco de uma funo continuamente diferencivel. a ca a Ao cortarmos a superf z = F (x, y) por planos paralelos ao plano x0y que, nesse cie caso, sero planos constantes, ou alturas z = C (C constante), o mesmo que resolvermos a e 16

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS o seguinte sistema de equaes: co z = F (x, y) z=C

17

ou seja, para cada plano constante traado, tem-se uma respectiva imagem de uma curva c nesse plano, melhor dizendo, uma projeo sobre o dom da superf z = F (x, y). A ca nio cie esta projeao d-se o nome de curva de n c a vel. Isso quer dizer que se trata mesmo de estarmos resolvendo o sistema acima, pois juntando-se as equaoes tem-se, geometricamente, c uma curva no espao: c F (x, y) = C (2.4)

obtida pela intercesso das duas variedades geomtricas expressas no sistema: um plano a e e uma superf cie. Tomando-se esta ultima expresso, as curvas de n C de z = F (z, y) para alguma a vel constante C adequada, vou diferenci-la, quer dizer, aplicar a derivada dos dois lados. a Ento a (F (x, y)) = C da qual se obtem F F dx + dy = 0 (2.6) x y Portanto, solucionar uma equaao diferencial exata, consiste-se em encontrar uma c superf z = F (x, y) tal que sua diferencial esta ultima equao. Ento diz-se que as cie e ca a soluoes de uma equao diferencial exata so as curvas de n F (x, y) = C. c ca a vel A forma cannica de uma equaao diferencial exata, ou forma abreviada de repreo c sentaao, : c e P (x, y)dx + Q(x, y)dy = 0 Com isso, pode-se estabelecer o seguinte: A equao ca P (x, y)dx + Q(x, y)dy = 0 dita equao diferencial exata se existir uma funo z = F (x, y) tal que e ca ca P (x, y) = F dx x Q(x, y) = F dy y Ento, resolver uma equaao diferencial exata descobrir uma superf z = F (x, y) a c e cie se utilizando de suas derivadas parciais. (2.7) (2.5)

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS

18

2.2

Condio de existncia de uma ED exata ca e

Como foi visto, as soluoes de uma equaao diferencial exata c c P (x, y)dx + Q(x, y)dy = 0 sos as curvas de n a vel F (x, y) = C para alguma contante C que seja admiss vel.

Observao importante: ca Se z = F (x, y) uma variedade n~o-linear de dimenso 2, ento sua variedade e a a a tangente n~o-linear de dimenso 2, ou seja, um plano tangente. e a a Cortando-se1 z = F (x, y) com um plano obtemos uma projeo de uma curva desta ca superf neste plano, portanto uma variedade linear de dimenso 1, ento a variedade cie a a tangente linear de dimenso 1, ou seja, uma reta tangente. e a A esta ultima variedade no-linear tangente d-se o nome de curva de n a a vel.

Estou sempre falando em equao diferencial exata, mas no respondi qual a condiao ca a c para que uma equao diferencial da forma ca P (x, y)dx + Q(x, y)dy = 0 seja considerada exata. E um pouco simples chegar a esta concluso, com algum conhecimento de Clculo a a facilmente pode-se denir tal condiao, na qual vou chamar aqui de condio de existncia. c ca e Seja a expresso diferencial exata a P (x, y)dx + Q(x, y)dy = 0 (2.8)

com P (x, y) e Q(x, y) funoes cont c nuas. Isso implica que existe uma funao z = F (x, y) c satisfazendo: P (x, y) = Observe que P 2F = y yx
1

F x

Q(x, y) =

F y

(2.9)

Q 2F = x xy

(2.10)

Corta-se paralelamente ao plano x0y.

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS

19

Do Clculo, sabe-se pelo Teorema de Clairaut que, se uma funao tem derivadas a c parciais cont nuas, ento suas derivadas mistas so iguais, ou seja, a a 2F 2F = xy yx (2.11)

Comparando-se (1.10) e (1.11) conclui-se que, para uma equaao diferencial da forma c como em (1.8) ser considerada uma equao diferencial exata, deve ser satisfeita a seguinte ca condiao: c Q P = y x esta relao conhecida como condio de Euler. ca e ca Portanto, pode-se denir que uma equao diferencial da forma: ca P (x, y)dx + Q(x, y)dy = 0 ser exata se, e somente se, a condiao a c Q P = y x for satisfeita. Esta a condio de existncia para que uma equaao diferencial seja considerada e ca e c exata. (2.12)

2.3

Soluo de uma equao diferencial exata ca ca

J vimos que F (x, y) = C uma curva de n a e vel da superf z = F (x, y). Supondo cie conhecido um ponto-soluo (a, b) de F (x, y) = C, a equaao da reta tangente ` curva ca c a de n que passa por (a, b) pode ser obtida atravs da derivada impl vel e cita da mesma, ou seja, derivando implicitamente F (x, y) = C tem-se F F dx + dy = 0 x y e realizando-se as substituies co P (x, y) = com dx := (x a) e dy := (y b) (2.15) F F e Q(x, y) = x y (2.14) (2.13)

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS

20

deni-se que a equaao da reta tangente ` curva de n F (x, y) = C, fazendo P = P (x, y) c a vel e Q = Q(x, y), ca expressa da seguinte forma P (x a) + Q(y b) = 0 (2.16)

Note que esta ultima equaao foi deduzida a partir da expresso (1.13) com as subs c a tituioes (1.14) e (1.15), portanto so a mesma equao. c a ca Tomando-se a equao (1.16) vou fazer o seguinte: ca Sabendo-se que b = F (a) P (x a) + Q(y F (a)) = 0 Q(y F (a)) = P (x a) y = F (a) + por esta ultima equaao, deduz-se que se c Q= pode-se explicitar y = f (x) ; obtendo-se assim a variedade linear tangente y = f (a) + Fx |(a,b) (x a) Fy (2.22) f (a) = P Q (2.21) F =0 y (2.20) P Q (x a) (2.17) (2.18) (2.19)

e com isso, o coeciente angular desta reta o coeciente angular de y = f (x) no ponto e x = a. Como tambm, se e P = pode-se explicitar x = g(y) ; obtendo-se a variedade linear tangente x = g(b) + Fy |(a,b) (y b) Fx (2.25) g (b) = Q P (2.24) F =0 x (2.23)

e com isso o coeciente angular desta reta o coeciente angular de x = g(y) no ponto e y = b.

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS

21

Estas duas indues advm do Teorema da Funo Impl co e ca cita, no qual garante que nas variedades lineares, sempre que o coeciente de uma varivel for diferente de zero, a esta varivel pode ser explicitada e a equao assim resultante ainda de uma varivel a ca e a tangente. Pelas deduoes anteriores, pode-se concluir que (1.13) trata-se de uma reta tangente c ` F (x, y) = C passando por (a, b). Ento a equaao diferencial de qualquer das curvas a a e c de n F (x, y) = C para alguma constante C correspondente. vel Portanto, as soluoes da equaao diferencial exata c c P (x, y)dx + Q(x, y)dy = 0 so as curvas de n F (x, y) = C para constantes C admiss a vel veis.

2.4

Gradiente de uma funo ca

Do Clculo, sabe-se que, se o gradiente de uma funao for igual a zero em algum ponto a c ento, naquele ponto a funo tem um extremo. Desta forma, para um ponto ser extremo, a ca deve acontecer a seguinte igualdade: grad f = que o mesmo que resolver o sistema: e f = 0 x f =0 f= y f =0 z Normalmente irei me referir ao gradiente com o s mbolo (nabla). Este s mbolo f f f , , x y z = 0, 0, 0 (2.26)

foi introduzido mais tarde por William Hamilton que foi rapidamente assimilado pela comunidade cient ca em geral. Observe que o gradiente se trata de um vetor, neste caso, nas coordenadas x, y, z.

O gradiente SEMPRE ser ortogonal `s curvas de n a a vel

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS

22

Considere uma funo f (x, y) denida num conjunto A R2 ; f (x, y) diferencivel ca e a em todo o seu dom nio. Considere tambm o conjunto: e B = {(x, y) A ; f (x, y) = C} Pelo conjunto B f (x, y) = C derivando a expresso acima tem-se que a f f dx + dy = 0 x y Para dx = (x a) e dy = (y b) a expresso acima ca assim a f f (x a) + (y b) = 0 x y (2.29) (2.28) (2.27)

que pode ser interpretada como o produto escalar do vetor gradiente de f por um vetor tangente ` f no ponto (a, b): a f f , x y , (x a, y b) =0 (2.30)

Da geometria vetorial, se o produto escalar entre dois vetores for igual a zero e porque tais vetores so perpendiculares. Se acima este produto zero, pode-se concluir a e que o gradiente ortogonal `s curvas de n f (x, y) = C. e a vel Pela ortogonalidade do gradiente `s curvas de n a vel, nota-se que ele aponta para o extremo de uma funo quando esses gradientes formam uma reta chegando ao ponto ca extremo. Isto ocorre com os c rculos concntricos, como pode ser observado abaixo: e

LEGENDA:

extremo gradientes

Figura 2.1: O Mtodo do Gradiente e

CAP ITULO 2. EQUACOES DIFERENCIAIS EXATAS

23

Tomando-se um ponto do c rculo externo, indo de encontro ao centro dos c rculos atravs do gradiente, no ponto central o gradiente zero, pois curvas deste tipo dee e nem um parabolide tangente ao centro, o que implica que no centro dos c o rculos est o a extremo. E este mtodo, chamado de Mtodo do Gradiente, que utilizarei como ferramenta e e para chegar ao objetivo do trabalho.

2.5

Polinmio de Taylor de segundo grau o

Dados obtidos de um levantamento podem produzir apenas curvas de dois tipos: curvas do tipo hiperblico (hiperbolides) ou curvas do tipo c o o rculos concntricos (parabolides), e o o que signica passo de montanha ou extremo, respectivamente. No primeiro caso, um passo de montanha indica que, numa direao perpendicular `s curvas de n c a vel podem haver extremos. J no segundo caso, os dados levantados que indicam que h extremos. a a Este conceito de extremos faz-nos direcionarmos para o Polinmio de Taylor (de o segundo grau) que denido pela seguinte soma: e 1 P (x, y) = f (a, b) + J(a, b)(x a, y b) + H(a, b)(x a, y b)(x a, y b) 2 em que J(x, y) a Jacobiana (Gradiente), as derivadas parciais, denida por: e J(x, y) = F F , x y (2.32) (2.31)

e H(x, y) o Hessiano, a matriz das derivadas parciais de segunda ordem da funao, e c denida por: 2f x2 H(x, y) = 2 f yx 2f xy 2 f y 2

(2.33)

Caso o determinante da matriz H(x, y) seja denido positivo ento F tem um ponto a de extremo pois, neste caso, ambos os termos de H(x, y) so todos positivos (m a nimo) ou todos negativos (mximo). a Caso este determinante seja negativo, ento os termos tm sinais contrrios. a e a E sendo zero, nada se pode concluir.

Cap tulo 3 Novo algoritmo para determinao ca de extremos

Chega-se ento ao momento crucial deste trabalho. A partir de agora, irei tratar de a formalizar um mtodo que ligeiramente fornea o crescimento, por exemplo, da variaao e c c de algum fenmeno, quer dizer, vou criar uma linguagem que permita rapidamente montar o um mtodo para obter extremos. O objetivo ser ento descrever um novo algoritmo que e a a aponte na direo do crescimento (ou decrescimento), ou seja, a partir de dados amostrais ca (uma coleo discreta de informaes) modelar um fenmeno, que irei chamar de modelo ca co o F , para determinar seu extremo.

3.1

Levantamento e Taxas de variao ca

O modelo F ser descrito a partir de dados levantados, quando se obtm as taxas de a e variaao parciais: c F x e F y

De uma malha tomada (selecionada) sobre uma certa regio, levantam-se dados. a Levantados estes dados, calculam-se as taxas de variao a partir das variveis prca a e estabelecidas no estudo quando se dene o que vai pesquisar, o que vai analisar, buscandose aproximar uma certa regio para estabelecer projeoes pontuais, ou seja, analisar onde a c se concentra o extremo do modelo F . Com dados tabulados, tem-se ento uma coleao a c discreta de informaoes para uma certa regio indicando as taxa de variao parciais, c a ca relativamente a OX e OY em cada ponto, ou seja, tem-se uma tabela descrevendo uma malha de pontos, e cada ponto tem um par de taxas de variao parcial. ca Desta forma, a partir dos dados, pode-se observar o comportamento das curvas de n do modelo F em um intervalo. vel 24

CAP ITULO 3. NOVO ALGORITMO PARA DETERMINACAO DE EXTREMOS 25

3.2

Obteno das Curvas de n ca vel

Como citei, do Clculo sabe-se que a derivada determina uma reta tangente no ponto em a que se tem a taxa de variao. Tal deniao leva a concluir que, quando se interpretam ca c os dados de algum levantamento como taxas de variao nas direes dos eixos, naqueles ca co pontos podem ser obtidas curvas de n vel a partir das retas tangentes encontradas em cada ponto que foi denido o comportamento do modelo F . O grco seguinte mostra geometricamente a idia do algortimo que estou construindo: a e

Figura 3.1: Campo de direes de um modelo F co

Campo de direes porque so pequenos segmentos de reta tangentes `s curvas que co a a passam nos pontos da malha. Vou comparar inicialmente, por razes pedaggicas, com o caso univariado. Cada sego o mento de reta representa a derivada da curva naquele ponto, e so denominados diferencial a total: dz = F F dx + dy x y (3.1)

ou seja, o diferencial total produz a equao de cada um daqueles pequenos segmentos ca de reta. Como se tratam de retas tangentes, certamente, em cada um destes pontos, passa alguma curva que tem por tangente esta reta. Isto porque a derivada produz uma variedade tangente da mesma dimenso da variedade que foi derivada. Desta forma, a pode-se garantir que existem curvas passando por aqueles pontos.

CAP ITULO 3. NOVO ALGORITMO PARA DETERMINACAO DE EXTREMOS 26

3.3

As curvas que poss e vel obter

Analisando-se o modelo F , em cada n da malha seu comportamento descrito por o e uma equao diferencial exata (EDE)1 , quer dizer, na vizinhana daquele ponto o modelo ca c F toma aproximadamente a mesma direao que a EDE descreve, com isso, no se sabe c a certamente como a curva est descrita mas, nos pontos onde foram estabelecidas as EDEs a sabe-se desse comportamento e assim, obtem-se uma aproximaao das curvas de n c vel naqueles pontos. Uma vez estabelecidas retas tangentes, garante-se a existncia de curvas passando por e aqueles pontos. Agora o principal objetivo ser descrever tais curvas. a Vou tomar como ponto de partida a malha abaixo (caso particular):

Figura 3.2: O caso particular de um campo de direes co

Observando-se cada reta tangente, tem-se uma idia do caminho percorrido pela curva, e quer dizer, faz-se uma aproximao para se chegar ao resultado esperado. E como ligar ca cada ponto onde a curva certamente toca, percorrendo a malha com curvas suaves para que a curva que se est descrevendo seja totalmente derivvel. O resultado seriam curvas a a de n vel. Agora pode-se notar que, no campo de direes do modelo F , as retas tangentes esto co a dispostas como as do caso particular, de modo que podem formar curvas de n vel, pois observe que se prolongarmos cada reta tangente, uma tocaria na outra em algum ponto e as curvas circulares seriam naturalmente vistas (aproximadamente, claro):

So retas tangentes. a

CAP ITULO 3. NOVO ALGORITMO PARA DETERMINACAO DE EXTREMOS 27

Figura 3.3: Prolongamento das retas tangentes

Seguindo este procedimento, aquele campo de direoes ser um campo descrito, aproc a ximadamente, pelas curvas abaixo:

Figura 3.4: Famlia de curvas do tipo c rculos concntricos e

E para este tipo de curva que irei descrever um novo algoritmo que determina o extremo do modelo F gerado.

3.4

Modelagem de fenmenos a partir de dados amoso trais

Na seao anterior deduzi que as curvas descritas pelo campo de direes so curvas do c co a tipo c rculos concntricos. Ainda no cap e tulo 2 introduzi o conceito de difeomorsmo que se tratam das equivalncias topolgicas que preservam a diferenciabilidade. E nesse e o instante que os difeo sero essenciais. Com um difeomorsmo, faz-se uma remodelagem a para denir um tipo de curva que esteja mais prximo da algebricidade. O prximo passo o o ser descrever o novo algoritmo para determinao dos extremos destas curvas. a ca Quando dados discretos fornecem curvas do tipo c rculos concntricos, isto indica que e h um ponto de extremo localizado no centro destas curvas. Neste trabalho no vou a a

CAP ITULO 3. NOVO ALGORITMO PARA DETERMINACAO DE EXTREMOS 28 determinar se h extremo, o que vou apresentar um novo algoritmo que encontra este a e extremo. Os difeo so funes bijetivas, ou seja, so invers a co a veis. Um difeomorsmo a noao e c principal de equivalncia em topologia diferencial, e a topologia como a geometria sem e e a escala (as dimenses), a cincia que trata das superf o e e cies elsticas, e trata os objetos a pelas relaes que tm entre si, independente de suas dimenses. Formalmente se diz que co e o os difeo estabelecem uma relaao de equivalncia entre variedades. Ento: c e a Denio 5 Duas variedades diferenciveis sero difeomorfas entre si quando existir ca a a uma aplicao entre elas que seja diferencivel, invert e sua inversa seja diferencivel. ca a vel a Vou admitir, por hiptese, que os dados discretos representam curvas diferenciveis, o a ento h uma aplicaao das difeo que transforma a fam de curvas do tipo c a a c lia rculos concntricos numa fam de c e lia rculos concntricos: e

Figura 3.5: Famlia de c rculos concntricos e

Nesta fam de c lia rculos concntricos, qualquer perpendicular a um ponto arbitrrio e a em um dos c rculos, passa no ponto de extremo, uma vez que, sendo perpendicular `s a variedades tangente esta reta seguir para o centro, que onde estar localizado o extremo. a e a Encontrado o extremo para a fam de c lia rculos concntricos, e pela bijetividade do e difeomorsmo, pode-se agora voltar para as curvas do tipo c rculos concntricos e localizar e o ponto de extremo pela imagem inversa da reta descrita, um caminho que vai de um e ponto de uma das curvas do tipo c rculos concntricos e chega ao ponto de extremo. e

CAP ITULO 3. NOVO ALGORITMO PARA DETERMINACAO DE EXTREMOS 29 Observe a relaao difeomrca ocorrida. A fam de c c o lia rculos concntricos descreveu e uma reta que encotra o extremo destas curvas no centro:

Figura 3.6: Perpendicular QP encontrando o extremo

De acordo com o Polinmio de Taylor de segundo grau, existe um parabolide tangente o o ao ponto P , este ponto o extremo do modelo F . e

3.5

Uma descrio geomtrica dos difeo ca e

O difeomorsmo foi uma aplicao essencial para a descrio do novo algoritmo para a ca ca determinaao de extremos de um modelo F obtido a partir de dados discretos. Hipotec ticamente segui apresentando como constru o difeo, foi uma teoria usada por mim. e do Mas na prtica esta aplicaao bem mais interessante. a c e Para realizar esta aplicao, usa-se um programa grco, como o GIMP, para deformar ca a a fam de curvas obtidas at conseguir uma fam de c lia e lia rculos concntricos. e Para fazer isto, vai-se controlando uma lista de transformaoes T 1, T 2, . . . , T n com o c

CAP ITULO 3. NOVO ALGORITMO PARA DETERMINACAO DE EXTREMOS 30 programa grco at se obter c a e rculos. Ento, no programa grco, o difeo a composta: a a e T1 T2 . . . Tn = T (3.2)

E agora, com o mesmo programa grco, pode-se executar as operaes inversas, ou a co seja,
1 1 1 T1 , T 2 , . . . , T n

(3.3)

que produziro a
1 1 Tn . . . T 21 T1 = T 1

(3.4)

Assim, aps realizada a volta com estas transformaoes no programa grco, para o o c a modelo F pode-se transformar o segmento QP em Q P . Foi esta aplicao que hipoteca ticamente utilizei em que, na prtica se d pelas transformaoes realizadas dentro de um a a c programa grco. a O difeo neste trabalho dado pelas operaes grcas num programa grco sempre e co a a sob a suposiao razovel de que todas as operaes so difeomorsmos. c a co a Este um novo algoritmo para determinaao de extremos. e c

Concluso a
Entre os mais variados assuntos que rodeiam o nosso cotidiano, e que a Matemtica aborda a com certa frequncia a determinao de extremos de funes. Determinar o extremo de e e ca co uma funo consiste-se em analisar em que ponto a funo apresenta seu maior valor no ca ca caso de um mximo, ou de seu menor valor no caso de um m a nimo. Quando derivamos (diferenciamos) uma funo, obtemos variedades tangentes, objetos estes que, para o ca caso univariado y = f (x) sua derivada segunda y = f (x) fornece um objeto constante, tangente ao extremo da parbola, uma reta pra ser mais exato, isto quer dizer que a a derivada de segunda ordem nos diz se y = f (x) tem um mximo ou um m a nimo. No caso bivariado z = f (x, y) o mesmo racioc nio, o que diferencia a variedade e tangente que, nesse caso, a derivada de segunda ordem fornece um plano tangente me vez da reta. Neste caso, o plano tangencia um parabolide. o Os dois casos acima tratam de extremos no caso algbrico. Este trabalho teve como e principal objetivo estabelecer um novo algoritmo para a determinao de extremos, mas a ca partir de equaoes diferenciais exatas quando se interpretam dados discretos como taxas c de variaao nas direes dos eixos. Introduzir a relao de difeomorsmo se fez necessrio c co ca a uma vez que, trabalhando no caso no algbrico precisaria de alguma aplicao que rea e ca modelasse as curvas obtidas a partir dos dados chegando mais prximo da algebricidade. o E esta aplicaao tornou-se essencial. c O resultado nal foi a descriao de um novo algoritmo para, a partir de dados amosc trais, uma coleao discreta de informaoes, modelar um fenmeno que seria representado c c o por uma funao, o modelo F obtido a partir de dados, as taxas de variaao parciais. c c

Referncias Bibliogrcas e a
[1] PRACIANO-PEREIRA, T. Equaes Diferenciais Ordinrias. Ediao eletrnica, co a c o Sobral: Laboratrio Computacional de Matemtica, 2007. Dispon o a vel em: http://www.uvanet.br/matematica/livros.php [3] Wikipedia - A enciclopdia livre. Dieomorphism. e http://en.wikipedia.org/wiki/Dieomorphism. Acessado em: 15 de Abril de 2009. [4] Wikipedia - A enciclopdia livre. Equao diferencial exata. e ca http://pt.wikipedia.org/wiki/Equao diferencial exata. Acessado em: 3 de Maio de ca 2009. [2] SILVA, Ana Paula da. O Teorema da Funo Impl ca cita e Equaoes Diferenciais c Exatas: Equaoes Diferenciais Exatas. 2006. 40 f. Monograa (graduao em Cincias c ca e Matemtica) - Curso de Matemtica, Universidade Estadual Vale do Acara, Sobral, a a u 2006. Dispon em: http://www.edo-metodos.sobralmatematica.org/textos/ vel [5] Wikipedia - A enciclopdia livre. Gradiente. e http://pt.wikipedia.org/wiki/Gradiente. Acessado em: 23 de Maio de 2009.