Carolina Paz Barateiro Vignoto (PIBIC/CNPq-UEM), Josiney Alves de Souza
(Orientador), e-mail: jasouza3@uem.br. Universidade Estadual de Maring/Departamento de Matemtica. Cincias Exatas e da Terra Matemtica. Palavras-chave: curvas, superfcies, campos de vetores. Resumo: O presente projeto teve como objetivo o estudo sobre campos de vetores em espaos euclidianos e no euclidianos. A meta principal desenvolver a maneira formal de definir e estudar campos de vetores sobre superfcies, introduzindo a teoria global de campos de vetores sobre variedades. Introduo O objetivo central desse projeto foi fazer uma introduo teoria de campos de vetores sobre variedades diferenciais por meio de um estudo de campos de vetores sobre superfcies. Foram estudados os conceitos de , formas diferenciais, campos de vetores e fluxo de diferenciabilidade no campos de vetores. Introduzimos tambm a maneira formal de definir e estudar campos de vetores e fluxo sobre variedades, aplicando isso no caso de superfcies. Para uma visualizao imediata foi considerado os casos bi e tridimensionais. A motivao principal para a execuo desse projeto so as aplicaes de campos de vetores em reas de estudo na Fsica. Pelo menos em termos de terminologia, o conceito de campo de vetores tem razes em exemplos fsicos como campo gravitacional, campo eletrosttico, campo de velocidades de um fluido, etc. Materiais e mtodos Os materiais utilizados foram os livros (CARMO, 2006; LIMA, 2006). O mtodo de estudo adotado foi o estudo individual dos tpicos do programa, com apresentaes semanais de seminrios ao orientador a fim de expor os resultados obtidos e esclarecer possveis dvidas, assim o orientador pode indicar os possveis problemas e os novos tpicos a serem estudados. No final do projeto foi apresentado um relatrio tcnico com os resultados
alcanados. O orientando tambm apresentar em encontros de iniciao
cientfica os resultados obtidos durante a realizao do projeto. Resultados e Discusso Inicialmente estudamos os conceitos bsicos de continuidade e de diferenciabilidade no . Avanamos com o estudo sobre curvas, onde podemos denominar subconjuntos de R, que em certo sentido so unidimensionais e podem ser aplicados os mtodos do calculo diferencial. Estudamos as curvas diferenciveis parametrizadas, juntamente, vimos curvas regulares e o comprimento de arco. Desenvolvemos a teoria local das curvas parametrizadas pelo comprimento de arco. Dentro deste estudo, vimos o Triedo de Frenet, com o qual obtemos as principais caracterizaes de curvas. Depois disso iniciamos o estudo de superfcies regulares. Estas so definidas como um subconjunto S do R tal que, para cada ponto em S, existe uma vizinhana V desse ponto em R e uma aplicao X de um conjunto aberto de R sobre a interseco de V com S que esta contida em R, de tal maneira a satisfazer trs condies: (1) X ser diferencivel; (2) X um homeomorfismo; (3) Condio de regularidade. A partir desse conceito, estudamos os conceitos de mudana de parmetros e funes diferenciveis sobre superfcies. Definimos mudana de parmetro da seguinte forma: tome um ponto de uma superfcie regular S e duas parametrizaes de S, X levando um subconjunto U de R a S e Y levando um subconjunto V de R em S, sendo que o ponto considerado estar na interseco de X(U) e Y(V). Esta interseco gera a regio W. A mudana de coordenadas ento dada pela composio da inversa de X com Y, sendo essa aplicao um difeomorfismo. Como dito, vimos os conceitos de funes diferenciveis, mostramos que, ao estender as definies de diferenciabilidade a superfcies, a noo natural de equivalncia associada diferenciabilidade a noo de difeomorfismo. Duas superfcies regulares S1 e S2 so difeomorfas se existir uma aplicao diferenciavel que leve S1 S2 e que tenha uma inversa diferencivel. Estudamos tambm os conceitos locais das aplicaes das funes diferenciveis sobre superfcies. Durante os estudos destes conceitos vimos exemplos de algumas superfcies regulares para as quais podamos aplicar as propriedades de superfcies estudadas. Logo em seguida estudamos plano tangente e diferencial de uma aplicao. Neste tpico, vimos que a condio de regularidade garante que o conjunto de vetores tangentes s curvas parametrizadas de S, passando por um ponto p, constitui um plano. Ento temos que o plano dxq(R), que passa por x(q)= p chamado de plano tangente e denotado por TpS. Com esta noo de plano tangente vimos os conceitos de diferencial de uma aplicao (diferencivel) entre superfcies. Chegamos ento parte final e mais importante do projeto. Estudamos os conceitos de campo de vetores. Um
campo de vetores em um conjunto aberto U contido em R uma aplicao
que associa a cada ponto q pertencente a U um vetor w(q) pertencente a R. O campo de vetores w diferenciavel se, escrevendo q=(x,y) e w(q)=(a(x,y),b(x,y)), as funes a e b so diferenciaveis em U. Definimos a trajetria deste campo, uma curva parametrizada diferenciavel C(t)=(x(t),y(t)) tal que C(t)=w(C(t)). Estudamos os principais teoremas envolvendo as caracterizaes de campos de vetores, at que chegamos a definio de que um campo de vetores w em um conjunto aberto U contido em S de uma superfcies regular S a correspondncia que associa a cada ponto p pertencente a U um vetor w(p) pertencente ao plano TpS. O campo de vetores w diferenciavel em p se, para alguma parametrizao X(u,v) em p, as funes a(u,v) e b(u,v) dadas por w(p)=a(u,v)Xu + b(u,v)Xv so funes diferenciaveis em p. Aps isso vimos alguns exemplos importantes e finalizamos o nosso estudo sobre campos de vetores proposto no projeto. Concluses Os resultados desse projeto mostraram a maneira formal de se definir campos de vetores em espaos no-euclidianos, desde que exista uma estrutura diferencivel adequada para isso. O estudo dos tpicos de diferenciabilidade, curvas, superfcies, campos de vetores e fluxo sobre variedades realizados neste trabalho nos permite prosseguir com os avanos nos estudos, e assim aplicar esses conceitos no desenvolvimento de ferramentas para o estudo de problemas na Fsica. Agradecimentos Agradecemos a UEM e ao CNPq pelo apoio financeiro concedido. Referncias CARMO, M. P., Geometria Diferencial de Curvas e Superfcies. Textos Universitrios. Rio de Janeiro: Sociedade Brasileira de Matemtica, 2006. LIMA, E. L., Curso de anlise vol. 2. Rio de Janeiro: IMPA, 2006.