KARINE DE ALMEIDA SANTOS. Teoria da Média para Equações Diferenciais Ordinárias e Algumas Aplicações em Mecânica
|
|
- Elisa Miranda
- 5 Há anos
- Visualizações:
Transcrição
1 KARINE DE ALMEIDA SANTOS Teoria da Média para Equações Diferenciais Ordinárias e Algumas Aplicações em Mecânica Clássica UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE MATEMÁTICA 216 i
2 KARINE DE ALMEIDA SANTOS Dissertação apresentada ao Programa de Pós- Graduação em Matemática da Universidade Federal de Uberlândia, como parte dos requisitos para obtenção do título de MESTRE EM MATEMÁTICA. Área de Concentração: Matemática. Linha de Pesquisa: Equações Diferenciais Ordinárias. Orientador: Prof. Dr. Márcio José Horta Dantas. UBERLÂNDIA - MG 216 ii
3 Dados Internacionais de Catalogação na Publicação CPI Sistema de Bibliotecas da UFU, MG, Brasil S237t Santos, Karine de Almeida, Teoria da Média para Equações Diferenciais Ordinárias e Algumas Aplicações em Mecânica Celeste / Karine de Almeida Santos f. : il. Orientador: Márcio José Horta Dantas. Dissertação mestrado - Universidade Federal de Uberlândia, Programa de Pós-Graduação em Matemática. Inclui bibliografia. 1. Matemática - Teses. 2. Equações Diferenciais Ordinárias - Teses. 3. Método da Média - Teses. 4. Estabilidade - Teses. I. Dantas, Márcio José Horta. II. Universidade Federal de Uberlândia, Programa de Pós- Graduação em Matemática. III. Título. CDU: 51 iii
4 UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE MATEMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA Av. João Naves de Ávila, 2121, Bloco 1F, Sala 1F 152 Campus Santa Mônica, Uberlândia - MG, CEP ALUNOA: Karine de Almeida Santos. NÚMERO DE MATRÍCULA: 11412MAT1. ÁREA DE CONCENTRAÇÃO: Matemática. LINHA DE PESQUISA: Equações Diferenciais Ordinárias. PÓS-GRADUAÇÃO EM MATEMÁTICA: Nível Mestrado. TÍTULO DA DISSERTAÇÃO: Teoria da Média para Equações Diferenciais Ordinárias e Algumas Aplicações em Mecânica Clássica. ORIENTADOR: Prof. Dr. Márcio José Horta Dantas. Esta dissertação foi APROVADA em reunião pública realizada na Sala 3 do Bloco 3P Reitoria do Campus Santa Mônica, em 17 de fevereiro de 216, às 1h min, pela seguinte Banca Examinadora: NOME ASSINATURA Prof. Dr. Márcio José Horta Dantas UFU - Universidade Federal de Uberlândia Prof. Dr. Cláudio Gomes Pessoa UNESP - São José do Rio Preto Prof. Dr. Marcus Augusto Bronzi UFU - Universidade Federal de Uberlândia Uberlândia-MG, 17 de fevereiro de 216. Scanned by CamScanner iv
5 Dedicatória Aos meus amados pais: Ilda e Leontino in memoriam. v
6 Agradecimentos A Deus, principalmente, por: me conduzir com saúde, força e proteção, pelas constantes formas de aprendizado, pelo dom da música e pelas boas pessoas que cruzam meu caminho. Ao meu pai pelo amor, carinho e por deixar lembranças de sua alegria, boa conduta, generosidade e humildade. A minha mãe pelo amor, carinho, pelos bons valores transmitidos, por acreditar em mim, incentivar e ajudar continuamente em todos os momentos, pelo aconchego do seu colo, sacrifícios, paciência, compreensão, conselhos e constantes orações. Por tantas outras coisas pequenas e grandiosas que só as mães fazem. As minhas avós que sempre transmitiram amor, carinho, cuidado, bons valores e por suas preciosas orações. Aos meus irmãos Leonardo e Wesley pelo amor, cuidado, carinho, torcida, compreensão e por me dar a segurança necessária para estar longe. Ao afilhadinho Gabriel que alegra com sua chegada nesta reta final. A presença, torcida e carinho das minhas madrinhas, em especial, aos padrinhos Nedina e Gentil, por além disso, incentivar e me acolherem em sua casa no início de dessa jornada. A meus tios e tias, em especial, Mágda, Santa e Marília pela constante presença, ajuda, torcida e carinho. Aos primos e primas pelo pensamento positivo, incentivo e por me acolherem com carinho, em especial, a minha prima Elizete, pelo forte incentivo, orientações, carinho, descontração e presença. A Elisangela e as primas Lilian, Elaine, Edivane, Thainara, Fernanda e Eliana por estarem sempre carinhosamente presentes, torcendo, alegrando e incentivando. Aos amigos e amigas que estão sempre torcendo, em especial, Nívea, Eloiso, Mislene, Serginei, Daniela, Última, Luiz, Elizabete, Kelly e Gisele G. pela irmandade que supera ausência e distância, pelos bons papos, risadas, apoio, torcida e por ajudar, cada um a seu modo nas diversas etapas desta caminhada. Ao meu namorado Leodan pelo carinho, alegria, cuidado e constante incentivo. As pessoas que aqui em Uberlândia encontrei. A começar por Isabel e sua família por me acolherem com carinho e confiança, minha gratidão. A Murilo, Eduard, Nathali, Renato e Paula por me acolherem e incentivarem. A Kelly, Eli, Rafaela, Ana, Jennifer, Davidson, Danilo, Rodrigo, Simone e Letícia pelos vários momentos de alegria, companhia, aprendizado, união e apoio nesta caminhada. Aos meus professores da UFV, em especial, ao Diogo, Catarina e Rogério pelos conselhos, oportunidades e incentivo dados na graduação para que eu prosseguisse estudando. Aos professores da UFU pelo aprendizado proporcionado, em especial, ao professor Márcio, por aceitar e conduzir este trabalho com paciência, empenho, flexibilidade e por contribuir em meu crescimento acadêmico. Aos membros da banca por contribuirem com a melhoria deste trabalho. A todos que, de alguma forma, me ajudaram nesta caminhada. A CAPES pelo apoio financeiro que nos permite a dedicação necessária. vi
7 Santos, K. A. Teoria da Média Para Equações Diferenciais Ordinárias e Algumas Aplicações em Mecânica Clássica p. Dissertação de Mestrado, Universidade Federal de Uberlândia, Uberlândia-MG. Resumo O principal objetivo desta dissertação é estabelecer resultados básicos da Teoria da Média para Equações Diferenciais Ordinárias e aplicá-los em alguns problemas de Mecânica Clássica. Estudaremos dois problemas de mecânica. O primeiro versa sobre existência e estabilidade de soluções periódicas no pêndulo com dissipação. O segundo consiste em estudar a existência de soluções periódicas do problema lunar de Hill regularizado proveniente da Mecânica Celeste. Palavras-chave: Equações Diferenciais Ordinárias, Método da Média e estabilidade. vii
8 Santos, K. A. Averaging Theory For Ordinary Differential Equations And Some Applications in Classical Mechanics p. M. Sc. Dissertation, Federal University of Uberlândia, Uberlândia-MG. Abstract The main objective of this dissertation is to establish the basic results of the Averaging Theory for Ordinary Differential Equations and used them in some problems of Classical Mechanics. Two mechanical problems are given here. The first one is about the existence and stability of periodic solutions in the mathematical pendulum with dissipation. The second one is about the existence of periodic solutions of regularized Hill lunar problem with comes from Celestial Mechanics. Keywords: Ordinary Differential Equations, Method of Average and estability. viii
9 Sumário Resumo Abstract vii viii Introdução 1 1 Teoria Preliminar Tópicos preliminares de Análise Estabilidade de operadores lineares hiperbólicos Teorema da Função Implícita Global: um caso elementar Tópicos preliminares de Equações Diferenciais Ordinárias Um teorema de redução Teoria da Média Notas históricas Fórmula Generalizada da Variação de Parâmetros Exemplos Principais resultados Teorema da Média: soluções aproximadas no caso periódico Exemplos Teorema da Existência de Órbitas Periódicas Teorema da Estabilidade de Órbitas Periódicas Aplicação da Teoria da Média ao Pêndulo Amortecido 54 4 Aplicação da Teoria da Média ao Problema Lunar de Hill Regularizado 64 Referências Bibliográficas 76 ix
10 Introdução Este trabalho é composto por 4 capítulos e tem como objetivo estudar certos sistemas de Equações Diferenciais Ordinárias E. D. O. por meio da Teoria da Média. Esta teoria teve surgimento por volta do século XVIII e foi validada por Fatou em Desde então tem sido estudada por outros nomes como Krylov, Bogoliubov, Mitropolsky, dentre outros e tem contemplado problemas de Física, Matemática e Engenharia. No primeiro capítulo abordaremos conceitos e resultados fundamentais de Análise e E. D. O. que sustentarão o desenvolvimento dos demais capítulos. Aqui as referências utilizadas foram: [2], [3], [4], [5], [6], [7], [9], [12], [13] e [16]. O segundo capítulo irá abordar a Teoria da Média. Em um primeiro momento é feito uma abordagem histórica sobre a mesma e, em seguida, apresentamos o resultado da fórmula generalizada da variação dos parâmetros que nos será útil ao reescrever determinados sistema de E.D.O.. Na seção seguinte, introduzimos alguns conceitos e exemplificamos o uso dos mesmos bem como o uso dos resultados da seção anterior. A última seção deste capítulo aborda os três resultados que formalizam a Teoria da Média, a saber, o Teorema da Média que nos mostra que é mais simples estudar um dado sistema por meio do sistema médio, já que suas soluções são próximas; o Teorema de Existência de Órbitas Periódicas que irá garantir a existência de órbitas periódicas para um dado sistema por meio de algumas informações do sistema médio e, por fim, o Teorema de Estabilidade de Órbitas Periódicas que, como o próprio nome diz, irá permitir estudar a estabilidade de um dado sistema também via a estabilidade do sistema médio. As referências usadas neste capítulo foram: [1], [14], [15], [13] e [4]. Por fim, os capítulos 3 e 4 trazem duas aplicações baseadas respectivamente nos artigos [1] e [8] em que alguns cálculos foram realizados pelo software gratuito e de código aberto: Maxima, a Computer Algebra System. Karine de Almeida Santos Uberlândia-MG, 5 de janeiro de
11 Capítulo 1 Teoria Preliminar Neste capítulo veremos conceitos e resultados preliminares para o desenvolvimento da teoria subsequente. 1.1 Tópicos preliminares de Análise Definição 1.1 Dizemos que uma função f : R X R n, onde X R n, é T -periódica se existe T > tal que ft + T, x = ft, x para todo t R e x X. Definição 1.2 Uma função f : a t, a + t X R n, onde a é uma constante positiva e x X R n, é Lipschitziana com respeito à segunda variável se existe L > tal que ft, x ft, y L x y para todos x, y X e t a t, a + t. Definição 1.3 Sejam x, y R n. O segmento de reta de extremos x e y é o conjunto [x, y] = {1 tx + ty; t [, 1]}. C R n é convexo quando contém qualquer segmento de reta cujos extremos pertencem a C. Isto é, x, y C [x, y] C. Definição 1.4 Seja LR m, R n = {T : R m R n ; T é um operador linear}. Sobre esse espaço, definimos a norma : LR m, R n R, T = sup T x n, x m 1 onde m e n denotam, respectivamente, as normas euclidianas de R m e R n. Lema 1.1 Sejam A, B LR n, R n e x R n, temos: i Ax A x n ; ii AB A B ; iii A k A k ; k N. Os item i pode ser visto em 2 página 92 de [5] bem como os itens ii e iii em 7 página 98 de [5]. 2
12 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Teorema 1.1 Fórmula de Taylor com Resto Integral Seja U R m aberto, f : U R n de classe C p+1 e [a, a + v] U. Então onde fa + v = fa + f a v f a v p! f p a v p + r p v, f p a v p = p f v p a = v p 1 f v p 1 a e r p v = 1 p! Sua demonstração pode ser vista em [6], página t p f p+1 a + tv v p+1 dt Observação 1.1 Ao longo do texto denotaremos os coeficientes da Fórmula de Taylor por f i a = 1 i! f i a, onde i é um inteiro não-negativo. Teorema 1.2 Desigualdade do Valor Médio Seja U R m aberto, f : U R n contínua em [a, a + v] U e diferenciável em todos os pontos do segmento a, a + v. Se f x M para todo x a, a + v, então fa + v fa n M v m. Corolário 1.1 Seja U R m aberto e convexo. Se f : U R n é diferenciável e f x M para todo x U, então f é Lipschitziana e fx fy n M x y m para todos x, y U. As demonstrações do Teorema 1.2 e seu Corolário 1.1 podem ser consultadas em [6], página 264. Definição 1.5 Seja U R m aberto. Uma função f : U R n é localmente Lipschitziana se para cada ponto a de U, existe uma vizinhança V de a em U tal que a restrição f V é Lipschitziana em V. Proposição 1.1 Seja U R m aberto e f : U R n de classe C 1, então f é localmente Lipschitziana. A demonstração deste resultado pode ser consultada na página 163 de [4]. Proposição 1.2 Derivação sob o Sinal de Integral Seja U R n aberto e f : U [a, b] R uma função com as seguintes propriedades: i para todo x U, a função t ft, x é integrável em t [a, b]; f ii a i-ésima derivada parcial x, t existe para cada x, t U [a, b] e a função f : x i x i U [a, b] R assim definida, é contínua. Então a função ϕ : U R, dada por ϕx = cada ponto x U, como sendo b a ϕ b f x = t, xdt. x i a x i O próximo resultado será utilizado na demonstração do Lema 3.1. ft, xdt possui a i-ésima derivada parcial em Corolário 1.2 Se f : [a, b] U R é contínua e possui n derivadas parciais contínuas f b : [a, b] U R, então ϕ : U R definida por ϕx = ft, xdt é de classe C 1. x i a 3
13 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE As demonstrações dos dois resultados acima podem ser consultadas em [6], páginas 143 e 144 respectivamente. Teorema 1.3 Teorema da Função Inversa Seja A R n um aberto, f : A R n de classe f C r e a A. Se det x a, então existe uma vizinhança U de a tal que a restrição f U é um difeomorfismo de classe C r sobre fu = V R n aberto. Teorema 1.4 Teorema da Função Implícita Seja U R k R n aberto, f : U R n uma f função de classe C r, r 1. Se a, b U é tal que fa, b = c e det a, b, então y existem abertos V R k contendo a e Z R n tais que f 1 c V Z é o gráfico de uma função g : V Z, isto é, para cada x V existe um único y = gx Z tal que fx, y = c e, consequentemente, ga = b. Além disso, g é de classe C r tal que: para cada x V, tem-se g x = [ ] 1 [ ] f f x, gx x, gx y x As demonstrações dos dois resultados acima podem ser consultadas, respectivamente, em [9], página 69 e [6], página 164. Definição 1.6 Dizemos que um espaço métrico M, d é completo se toda sequência de Cauchy em M converge para um elemento de M. Observação 1.2 O espaço LR n, R m, d é completo com a métrica d induzida pela norma, em que d : LR n, R m LR n, R m R A, B da, B = A B. O próximo resultado será utilizado no Teorema 2.2 para obtenção do inverso de I + εa. Proposição 1.3 Sejam A LR n, R n e ε > tal que ε A = c < 1. inversível e seu inverso é dado por Então I + εa é I + εa 1 = I εa + ε 2 A n A n +. Demonstração: Considere a série 1 k εa k e a sequência formada pela soma parcial de seus termos S n = k= n 1 k εa k. Mostremos que: k= i S n n=1 é uma sequência de de Cauchy em LR n, R n. ii lim S n = S = I εa 1. n i De fato, S m S n = m 1 k εa k k= n 1 k εa k k= 4
14 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE e, sem perda de generalidade, suponhamos m > n. Daí, S m S n = m k=n+1 1 k εa k m k=n+1 1 k εa k m k=n+1 εa k m k=n+1 c k. Como temos n c k é uma série geométrica de razão c < 1 segue que é convergente e, portanto, k=1 m ɛ >, n N; m, n > n c k < ɛ. k=n+1 Dessa forma, S m S n m k=n+1 c k < ɛ. Logo, dado ɛ >, existe n N tal que S m S n < ɛ sempre que m, n > n. Portanto, S n n=1 é de Cauchy. Agora, do fato de S n n=1 ser de Cauchy em LR n, R n e este ser completo, segue que S n n=1 é convergente em LR n, R n, isto é, existe S LR n, R n tal que lim n S n = S. ii Sabemos que Como I + εas = I + εa lim n S n = lim n I + εas n = lim n I + εai εa + ε 2 A n εa n = lim n I + 1 n εa n+1. I + 1 n εa n+1 I = 1 n εa n+1 εa n+1 c n+1. Tomando o limite, segue que lim n εa n+1 c lim n c n. Assim, lim n I + εa n+1 = I. E, portanto, I + εas = I. Analogamente, verifica-se que SI + εa = I. Dessa forma, concluímos que S = lim n S n = I εa + ε 2 A n εa n + é o inverso de I + εa. 5
15 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Estabilidade de operadores lineares hiperbólicos Iremos agora trabalhar alguns conceitos para demonstrarmos os dois últimos resultados desta seção. Ambos serão de grande importância para obtermos conclusões à respeito da estabilidade de soluções periódicas no Teorema 2.4. Definição 1.7 Seja S : C m C m um operador linear em C m. i Dizemos que λ C é um autovalor de S se existe x não nulo em C m tal que S x = λx. ii O auto-espaço de S associado a λ é o subespaço de C m dado por V λ, S = {x C m ; S x = λx}. Aos elementos de V λ, S damos o nome de autovetores de S associado a λ. Definição 1.8 Seja A LR m, R m, λ C é autovalor de A se o mesmo é raiz do polinômio característico pλ = deta λi. Definição 1.9 Um operador linear T : R n possuem parte real não nula. R n é hiperbólico se todos seus autovalores Sejam z = z 1,..., z m, w = w 1,..., w m C m e λ C. Sabemos que C m munido com as operações + : C m C m C m z, w z + w = z 1 + w 1,..., z m + w m : C C m C m λ, z λz = λz 1,..., λz m é um espaço vetorial sobre C. Definimos em C m o produto interno, C : C m C m C z, w z, w = m z i w i, i=1 bem como a norma C : C m C z z = z, z Observação 1.3 Dado z C m existem únicos u, v R m tal que z = u + vi. Definição 1.1 Seja A LR m, R m. A complexificação de A, A C : C m C m, é definida por A C u + iv = Au + iav, onde u, v R m. Definição 1.11 Seja S : C m C m. A norma de S é dada por C = sup{ Sz ; z C m e z C 1}. 6
16 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Lema 1.2 Seja A LR m, R m,, então A C C = A. Demonstração: Por definição, A C C = sup A C z. Seja z C m tal que z = u + iv, onde u, v R m, temos z C m z 1 z 2 C= u 2 m+ v 2 m 1. Seja z C m tal que z C 1, então A C z 2 C= A C u + iv 2 C = A C u + iv, A C u + iv C = A C u + ia C v, A C u + ia C v C = A C u, A C u C + ia C v, A C u C + A C u, ia C v C + ia C v, ia C v C = A C u, A C u C + ia C v, A C u C + ia C v, A C u C + ia C v, ia C v C = A C u, A C u C + A C v, A C v C = Au 2 m+ Av 2 m A 2 u 2 m+ A 2 v m 2 A 2 u 2 m+ v 2 m = A 2 z C A 2. Dessa forma, A C u + iv C A, ou seja, A é uma cota superior para { A C z C ; z C m e z C 1 } e como sup A C z C é a menor delas, segue que Por outro lado, z C m z C 1 A C C A. 1.1 A C C = sup A C u + iv C sup A C u = sup Au = A. 1.2 u+iv C =1 u =1 u =1 Assim, por 1.1 e 1.2, temos A C C = A. Lema 1.3 Seja A LR m, R m,, λ é autovalor de A se, e somente se, λ é autovalor de A C. Demonstração: Mostremos que A e A C possuem os mesmos polinômios característicos. Para isto vejamos que toda base de R m sobre C é base de C m sobre C. De fato, seja B = {v 1,..., v m } uma base de R m, como B possui m elementos e dim C C m = m se mostrarmos que B gera C m, então B será base para C m. Seja z C m, pela Observação 1.3, existem únicos a, b R m tais que z = a + ib m e como cada a, b R m, então existem α i e β i reais, com i = 1,..., m tais que a = α i v i e b = m β i v i. Logo, z = i=1 m α i v i + i i=1 m β i v i = i=1 i=1 m α i + iβ i v i, ou seja, B gera C m e, portanto, B é base de C m. Considere agora B a base canônica do R m. Pelo que vimos acima, B também é base de C m. Assim, sendo [A] B e [A C ] B as representações matriciais dos operadores A e A C escritos na base B, segue que [A] B = [A C ] B. Portanto, seus polinômios característicos são iguais. i=1 7
17 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Lema 1.4 Seja A n n=1 uma sequência em LRm, R m tal que A n A em LR m, R m,. Então A C n A C em LC m, C m, C. Demonstração: Por hipótese, A n A, ou seja, lim n A n A =. Agora, A C n A C u + iv = A C nu + iv A C u + iv Dessa forma, por 1.3 e pelo Lema 1.2, temos = A n u + ia n v Au iav = A n Au + ia n Av = A n A C u + iv. 1.3 A C n A C C = A n A C C = A n A 1.4 Assim, Logo, A C n A C. lim n AC n A C C = lim A n A =. n Observação 1.4 Ao considerarmos em R m a base canônica, podemos identificar os elementos de LR m, R m com matrizes m m cujo espaço é denotado por M m R e, dado um operador A LR m, R m, representamos os elementos da i-ésima linha e j-ésima coluna da matriz associada à A por A ij. Lema 1.5 A função det : R n... R n = R n2 R é de classe C. Sua demonstração pode ser consultada em [6], página 253. Teorema 1.5 Seja A n n=1 uma sequência em LRm, R m, tal que A n A. Então existe uma subsequência n k k=1 tal que, se λ n k,1,..., λ nk,m são raízes de g k λ = detλi A nk, incluindo suas multiplicidades, então i λ n,j n=1, j = 1,..., m é limitada; ii existe subsequência de λ n,j n=1 que converge para λ j, j = 1,..., m; iii λ j é raiz de gλ = detλi A. Além disso, todas as raízes de gλ são dadas exatamente por λ j, j = 1,..., m. Demonstração: Sejam λ n,1,..., λ n,m autovalores de A C n e v n,1,..., v n,m seus respectivos autovetores com n 1 e v n,j C = 1 para todo j = 1,..., m. 8
18 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE i Note que: A C nv n,j, v n,j C = λ n,j v n,j, v n,j C = λ nj v n,j, v n,j C = λ nj v n,j 2 C= λ n,j e, pela desigualdade de Cauchy-Schwarz, temos: λ n,j C = A C nv n,j, v n,j A C n C v n,j 2 C= A C n C = A n, 1.5 onde a última igualdade decorre do Lema 1.2. Por hipótese, A n A em LR m, R m,, logo A n n=1 é limitada. Assim, existe M > tal que A n M e, portanto, λ n,j C A n M, para todo n 1 e j = 1,..., m. 1.6 ii Seja q n = λ n,1,..., λ n,m C m. De 1.6 decorre que q n B[, M] C m para todo n 1. Assim, q n n=1 é limitada no compacto B[, M] e, pelo Teorema de Bolzano- Weierstrass, segue que q n n=1 admite subsequência q nk k=1 convergente. Pela compacidade de B[, M], concluímos que q nk q = λ 1,..., λ m tal que q B[, M] e lim λ n k,j = λ j com j = 1,..., m. 1.7 k iii Seja g k λ = detλi A C n k o polinômio característico de A C n k. Como λ nk,j é autovalor de A C n k, então o mesmo é raiz de g k, ou seja, então = g k λ nk = detλ nk,ji A C n k, = lim k g k λ nk,j = lim k detλ nk,ji A C n k. 1.8 Pelo Lema 1.5 e por 1.7 em 1.8 temos det lim λ n k,ji A C n k k = detλ j I A C = gλ j. 1.9 Assim, λ 1,..., λ m são autovalores de A C e, pelo Lema 1.3, concluímos que os mesmos são autovalores de A. Observação 1.5 No teorema anterior, as multiplicidades dos autovalores de g k não são mantidas em g. Considere por exemplo A k = k Note que lim n A n = I, g k λ = λ 1 2 λ 1 1 k e gλ = λ 13. O autovalor λ = 1 tem multiplicidade 2 em g k e, no entanto, o mesmo tem multiplicidade 3 em g. 9
19 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Teorema 1.6 Seja A LR m, R m um operador hiperbólico. Então existe δ > tal que qualquer C BA, δ = {B LR m, R m ; A B < δ} tem todos os autovalores com partes reais não nulas. Demonstração: Suponhamos, por absurdo, que o teorema não seja válido. Então para cada n N existe δ n = 1 n tal que C n B A, 1 e C n tem um autovalor com parte real nula. Sejam λ n,1,..., λ n,m n todos os autovalores de C n onde λ n,i é tal que Reλ n,i = para algum i = 1,..., m. Pelo item ii do Teorema 1.5, existe uma subsequência n k k=1 e λ j, j = 1,..., m, tal que lim λ nk,j = λ j. k Pelo item iii do Teorema 1.5, λ j é autovalor de A, ou seja, como Reλ n,i = segue que Reλ i =. Isto é A possui um autovalor com parte real nula, o que contradiz a hipótese. Portanto, existe δ > tal que se C BA, δ então todos os autovalores de C tem parte real não nula. Teorema 1.7 Seja A LR m, R m um operador hiperbólico tal que A possua a autovalores com parte real negativa e b = m a autovalores com parte real positiva, incluindo suas possíveis multiplicidades. Então existe δ > tal que se C BA, δ LR m, R m então C possui a autovalores com parte real negativa e b autovalores com parte real positiva, incluindo suas multiplicidades. Demonstração: Pelo Teorema 1.6, existe δ > tal que C BA, δ então todos os autovalores de C tem parte real não nula. Suponha que para todo n N tal que 1 n < δ, exista C n B A, 1 tal n que o número de autovalores de C n com parte real negativa seja a n e o número de autovalores com parte real positiva seja b n com a n, b n a, b para todo n N. Sendo C n hiperbólico, segue do Teorema 1.6 que a n + b n = m. Temos a n, b n {1,..., m} {1,..., m} e lim C n A =. 1.1 n Assim, pelo Teorema 1.5, existe C nk subsequência de C n tal que C nk A e se λ nk,1,..., λ nk,m são autovalores de C nk, então lim λ n k,j = λ j, 1.11 k onde λ j é autovalor de A para todo j = 1,..., m incluindo suas multiplicidades. Como {1,..., m} {1,..., m} é compacto, ao passarmos à subsequência a nk, b nk de a n, b n, podemos assumir a nk = a e b nk = b tais que e a + b = m 1.12 a, b a, b Reordenemos os autovalores de C nk de tal modo que os primeiros a autovalores tenham parte real negativa e os demais b autovalores sejam aqueles cuja parte real é positiva. Assim, de 1.11, segue que lim Reλ n k,j = Reλ j, j = 1,..., m k 1
20 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Dessa forma, como Reλ nk,j < para todos j = 1,..., a segue que de 1.14 que Reλ j < para todos j = 1,..., a. Portanto, a a Da mesma forma, se j = a + 1,..., m, então Reλ nk,j > e, portanto, Reλ j > para todos j = a + 1,..., m. Logo, b b E, por 1.16 em 1.12, segue que b = m a m a = b a a. Mas, por 1.15 e este último, resulta que a = a. Analogamente, por 1.15 em 1.12 temos a = m b m b = a b b. Mas por 1.16 e este último temos b = b. Desse modo, a, b = a, b o que contradiz o fato de a n, b n a, b para todo n N. Teorema 1.8 Seja M > e A LR m, R m um operador hiperbólico tal que A tem exatamente a autovalores com parte real negativa e b = m a autovalores com parte real positiva, contando suas multiplicidades. Então existe ε tal que a matriz I m + εa + εb tem a autovalores com norma menor que 1 e b autovalores com parte real com norma maior que 1 para todo < ε < ε e B < M, contando suas multiplicidades. Demonstração: Note que I +εa+εb = I +εa+oε, pois B M. Seja C = A+Oε e ε > tal que ε < ε, então pelo Teorema 1.7, existe δ > tal que C BA, δ e C possui a autovalores com parte real negativa e b autovalores com parte real positiva. Considere v ε,1,..., v ε,a, v ε,a+1... v ε,b seus respectivos autovetores tais que v ε,j = 1, para todos j = 1,..., m. Assim, onde C C v ε,j = λ ε,j v ε,j, { Reλε,j <, se j = 1,..., a Reλ ε,j >, se j = a + 1,..., b Escreva λ ε,j = α ε,j + iβ ε,j, onde α ε,j, β ε,j R para todos j = 1,..., m. Segue de 1.17 que { αε,j <, se j = 1,..., a α ε,j >, se j = a + 1,..., b Dessa forma, temos I + εc C v ε,j = I v ε,j + εc C v ε,j = v ε,j + ελ ε,j v ε,j = 1 + ελ ε,j v ε,j Portanto, os autovalores de I + εc C são 1 + ελ ε,j, onde j = 1,..., m. Mostremos que: i Se j = 1,..., a, então 1 + ελ ε,j C < 1; 11
21 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE ii Se j = a + 1,..., m, então 1 + ελ ε,j C > 1. Primeiramente, como λ ε,j = α ε,j + iβ ε,j, temos 1 + ελ ε,j C = 1 + εα ε,j + iβ ε,j = 1 + εα ε,j + iεβ ε,j = 1 + εα ε,j 2 + εβ ε,j E, também pelo Lema 1.2, temos onde B M. C C 2 C= C 2 = A + Oε 2 A + εb M, 1.21 i Se j {1,..., a}, então α ε,j <. Note que de 1.2, temos 1 + ελ ε,j 2 C= 1 + 2εα ε,j + ε 2 α 2 ε,j + ε 2 β 2 ε,j = 1 + ε2α ε,j + ε λ ε,j Sejam λ 1,..., λ m os autovalores de C, tais que: Reλ j <, se j = 1,..., a Reλ j >, se j = a + 1,..., m. Então Logo, Seja lim λ ε,j = λ j, j = 1,..., m ε + lim Reλ ε,j = Reλ j, j = 1,..., m. ε + max{reλ 1,..., Reλ a } = L < Dessa forma, L 2 > λ j para todo j = 1,..., a. Assim, dado L 2 >, existe ε j > tal que, se < ε < ε j então Reλ ε,j Reλ j < L 2 Reλ ε,j < Reλ j L 2 L L 2 = L 2, onde esta última desigualdade decorre de Além disso, temos λ ε,j 2 C= λ ε,j 2 C v ε,j 2 C= λ ε,j v ε,j 2 C= C C v ε,j 2 C C C 2 C v ε,j 2 C= C C 2 C M, 1.25 onde esta última desigualdade decorre de { Assim, considerando ε = min ε 1,..., ε a, L }, obtemos que se < ε < ε então 2M α ε,j = Reλ ε,j L 2 e 2α ε,j + ε λ ε,j 2 2 L 2 + ε λ ε,j 2 C L + εm L L 2 = L 2 <, onde a segunda desigualdade ocorre devido a Portanto, segue de 1.22 e deste 12
22 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE último fato visto acima que 1 + ελ ε,j 2 C= 1 + ε2α ε,j + ε λ ε,j 2 C 1 + ε L 2 < 1, < ε < ε. ii Como j {a + 1,..., m} segue que α ε,j > e 1 + α ε,j 2 > 1. Além disso, β 2 ε,j > o que por 1.2 implica em 1 + λ ε,j C > 1 para todos j = a + 1,..., m. 13
23 CAPÍTULO 1. TEORIA PRELIMINAR 1.1. TÓPICOS PRELIMINARES DE ANÁLISE Teorema da Função Implícita Global: um caso elementar O resultado principal desta seção é uma pequena modificação do caso mais simples do principal teorema de [16]. Mas antes, vejamos o Lema 1.6 Seja U R n aberto e f : U a, b R tal que f é de classe C 1 e f x, y y para todo x, y U a, b. Se existe g : U a, b tal que fx, gx = para todo x U, então g é de classe C 1. Demonstração: Seja x U tal que fx, gx = e f y x, gx. Então pelo Teorema 1.4, existe U 1 U e Z U a, b R n+1 tais que x U 1 e x, gx Z e uma única função ϕ : U 1 a, b de classe C 1 tal que ϕx = gx e fx, ϕx =, para todo x U 1. Como por hipótese fx, gx = para todo x U, e U 1 U, segue que fx, gx = para todo x U 1. Assim, pelo Teorema de Valor Médio, existe y [gx, ϕx] tal que = fx, ϕx fx, gx = f x, yϕx gx. y Além disso, f y x, y, então ϕx = gx para todo x U 1. Como ϕ é C 1 e ϕ = g para todo x U 1 então, em particular, g é C 1 em x e como x é arbitrário em U segue que g é C 1 em U. Teorema 1.9 Seja Ω R n um aberto e f : Ω a, b R de classe C 1 tal que i f x, y, x, y Ω a, b; y ii lim inf fx, y <, x Ω; y a + iii lim sup y b fx, y >, x Ω; então existe g : Ω a, b de classe C 1 tal que fx, gx = para todo x Ω. Demonstração: Seja x Ω, segue de ii e iii que existem y 1, y 2 a, b tais que fx, y 1 < e fx, y 2 >. Por i e pelo Teorema do Valor Intermediário, existe z [y 1, y 2 ] tal que fx, z =. Mostremos que z é único. De fato, suponhamos que exista z z [y 1, y 2 ] tal que fx, z =. Pelo Teorema do Valor Médio, temos = fx, z fx, z = f x, zz z 1.26 y Como f x, z, então z z = z = z que é uma contradição. Logo z é único. Assim, y para cada x Ω, existe um único z = gx a, b tal que fx, gx = e pelo Lema 1.6, segue que g é de classe C 1. 14
24 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS 1.2 Tópicos preliminares de Equações Diferenciais Ordinárias Os dois resultados que apresentaremos a seguir são de grande importância, suas demonstrações podem ser consultadas em [15] nas páginas 4 e 5 respectivamente. Teorema 1.1 Existência e Unicidade de Soluções Sejam U R n aberto, I b = {t R; t t b} com b > e f : I b U R n. Considere o problema de valor inicial ẋ = ft, x, xt = x 1.27 onde x D U, D = {x R n ; x x a} sendo a >. Se f é tal que: i f é contínua em I b D; ii f é Lipschitziana com relação a x; então o problema de valor inicial admite única solução em I α, onde α = min sup ft, x. I b D b, a M e M = Teorema 1.11 Desigualdade de Gronwall Sejam φ, α, β funções reais contínuas tais que βt e Então φt αt + φt αt + t t βsφsds. βsαse t s βrdr ds. Considere o sistema de equações onde At M n R é contínua. ẋ = Atx, 1.28 Definição 1.12 Dizemos que ϕt = ϕ ij t i,j, de ordem n e com i, j = 1,..., n, é uma matriz solução de 1.28 se ϕ = Atϕt, onde esta última se trata de uma igualdade entre matrizes. Neste caso, cada coluna ϕ j : R R n é solução de 1.28 em R com i {1, 2,..., n}. Lema 1.7 Os vetores ϕ j t, j = 1,..., n, são linearmente independentes se, e somente se, det ϕ j t para todo t R. Referência: [3], página 8. Observação 1.6 Em particular, se para algum t R, ϕ j t, j = 1,..., n são linearmente independentes, então ϕ j t são linearmente independentes para todo j = 1,..., n e t R. Definição 1.13 Dizemos que ϕt M n R é uma matriz fundamental de 1.28 se ϕt é matriz solução, isto é, ϕ = Atϕt e, ainda, det ϕt para algum t R. Observação 1.7 Pelo Lema 1.7 e a Observação 1.6, temos que toda matriz fundamental é inversível. 15
25 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Definição 1.14 À matriz fundamental ϕt tal que ϕt = I damos o nome de matriz principal. O resultado seguinte pode ser encontrado em [3], página 93. Proposição 1.4 Seja Xt a matriz solução de Ẋ = AX. Se det X, então eat = XtX 1. Além disso, e At 1 = e At. A matriz e At é matriz principal de Ẋ = AX em t =. Teorema 1.12 Floquet Seja ẋ = Atx, 1.29 onde At é contínua e T -periódica. Toda matriz fundamental Xt de 1.29 pode ser escrita na forma Xt = P te Bt, onde P t é T -periódica e B é uma matriz constante. Os dois resultados a seguir, podem ser consultados [13], página 144. Proposição 1.5 Para toda matriz solução Xt de 1.28, existe uma matriz constante e não singular C tal que Xt + T = XtC. A esta matriz damos o nome de matriz monodromia. Proposição 1.6 Sejam X 1 t e X 2 t soluções de 1.28 e C 1, C 2 suas respectivas matrizes monodromia. Então C 1 e C 2 são conjugadas. Isto é, existe uma matriz não singular P tal que C 1 = P 1 C 2 P. Este último resultado nos diz que os autovalores da matriz fundamental da solução de 1.28 serão sempre os mesmos quaisquer que seja a matriz solução de Proposição 1.7 Seja Xt matriz fundamental de Então a matriz monodromia de Xt é C = e BT. Demonstração: Pela Proposição 1.5, existe C matriz monodromia de Xt, tal que Xt + T = XtC. Pelo Teorema 1.12, existem P t T -periódica e B matriz constante tal que Xt = P te Bt. Assim, Xt + T = P t + T e Bt+T XT = P T e BT. 1.3 Além disso, I = X = P I = P e como P t é T -periódica, temos: P T = P = I. Assim, por 1.3, segue que XT = e BT e como C é matriz monodromia de Xt, então XT = X + T = XC = I C = C. Portanto, C = XT = I e BT = e BT. Definição 1.15 Aos autovalores de multiplicidade k da matriz monodromia, C, damos o nome de números característicos ou multiplicadores característicos de multiplicidade k de
26 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Definição 1.16 Seja U R m aberto, f : R U R m e ẋ = ft, x, 1.31 onde f é T -periódica em t e ϕt é uma solução T -periódica em t de A linearização de 1.31 é dada por ẏ = At y, onde At = f t, ϕt é T -periódica em t. x Note que, como f é T -periódica em t então At também é. De fato, por hipótese, ft + T, x = ft, x. Então, f x T -periódica. Agora, At + T = f x t + T, ϕt + T = f x t + T, x = f x f t, x. Assim, t, x é x f t, ϕt + T = t, ϕt = At. x Sendo que a penúltima igualdade decorre do fato de ϕ ser T -periódica em t. Seja U R n aberto e f : U R n de classe C 1, tal que ẋ = fx, x = y Definição 1.17 Dizemos que Iy é o intervalo máximo de soluções de 1.32 contendo y se, dada qualquer solução x : J R n de 1.32, temos J Iy. Assim, para cada y U, existe um única solução Φt tal que Φ = y definida no intervalo maximal Iy R. Considere então o seguinte conjunto Ω R U assim definido Ω = {t, y R U; t Iy}. Definição 1.18 A aplicação Φ : Ω U, Φt, y = xt é denominada fluxo de 1.32 e algumas vezes denotaremos Φt, y por Φ t y. Teorema 1.13 Ω é um aberto em R U e a aplicação Φ : Ω U é contínua. A demonstração deste teorema pode ser consultada em [4], Teorema 2, página 175. O teorema a seguir nos fornece uma propriedade que será utilizada mais adiante e pode ser consultado em [2], página 152. Teorema 1.14 Seja U R n aberto, f : U R n de classe C 1 e Φ : Ω R n é o fluxo de ẋ = fx. Então Φ t, Φs, x = Φt + s, x para todos s, t R e x U tais que s, t + s Ix. Teorema 1.15 Seja U R n aberto, f : R U R n de classe C r onde r 1. Então o fluxo Φ : Ω R n da equação diferencial ẋ = fx também é de classe C r. Sua demonstração pode ser consultada no Teorema 2, página 32 de [4]. 17
27 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Observação 1.8 Seja Ω = {t, y R U; t Iy}, onde U R n aberto, Iy R é o intervalo maximal e seja f : Ω R n. Toda equação não autônoma que depende de t: ẋ = ft, x, x = y 1.33 pode ser escrita como uma equação autônoma que não depende de t onde Zt = st, xt. De fato, basta fazer st = t, daí e defina Ż = F Z = 1, fz, 1.34 Z t = 1, x t = 1, ft, xt 1.35 F : R n+1 R n+1, F Z = 1, fz. Sendo assim, 1.34 é um sistema autônomo. Ponha Z = u, y R R. O fluxo de 1.34 é dado por Υt, Z = Υ 1 t, Υ 2 t, Z, onde Υ 1 t = t + u e Υ 2 é tal que Υ 2 t t, Z = fυ 1t, Υ 2 t, Z. Além disso, pelo Teorema 1.15, segue que Υt, Z é de classe C 1, isto é, Υ 1 t e Υ 2 t, Z também o são. Agora vejamos que o fluxo de 1.33 é dado por: De fato, Ψt, y = Υ 2 t,, y i Note que Ψ, y = Υ 2,, y = y. ii E também, Ψ t t, y = Υ 2 t t,, y = f t, Υ 2t,, y = ft, Ψt, y. Além disso, considere y = y 1,..., y n e Υ 2 : R R n+1 R n t, u, y Υ 1 2t, u, y 1, Υ 2 2t, u, y 2,..., Υ n 2t, u, y n
28 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Assim, temos Υ t, u, y = u, y = Υ 1 u t, u, y Υ 1 t, u, y y Υ 2 u t, u, y Υ 2 t, u, y y 1 Υ 1 2 u t, u, y Υ 1 2 y 1 t, u, y. Υ n 2 u t, u, y Υ n 2 y 1 t, u, y. Υ 1 2 y n t, u, y.... Υ n 2 y n t, u, y n+1 n+1 Assim, Note que Υ, u, y = u, y, então Portanto, Υ Υ2 det t, u, y = det t, u, y. u, y y Υ 1 = det I = det, u, y u, y Υ, u, y = I. Logo, u, y Υ2 det, u, y y Υ2 = det, u, y. y para t adequadamente pequeno. Dessa forma, segue pelo Teorema?? que, para todo y R n, existe um intervalo I y, tal que I y e para cada t I y a aplicação é inversível. y Ψt, y Observação 1.9 Vejamos que o Teorema 1.14 não é válido para sistemas não autônomos. Consideremos o seguinte problema de valor inicial { ẋ = t x 1.38 x = x. Note que Ψt, x = e t2 2 x é o fluxo de 1.38, pois Ψ t, x = t e t2 2 x = tψt, x e Ψ, x = x. 19
29 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS No entanto, tomando s = 1, t = 2 e x = 1, temos Ψt + s, x = Ψ1 + 2, 1 = Ψ3, 1 = e 9 2 e 5 2 = Ψ1, e 4 2 = Ψ1, Ψ2, 1 = Ψt, Ψs, x. À seguir introduziremos duas importantes definições que nos conduzirão ao conceito de estabilidade. Para tal, utilizaremos a notação ϕt, t, x para indicar a solução de 1.31 que passa pelas condições iniciais t, x. Definição 1.19 Uma solução ϕt, t, x de 1.31 é Liapunov estável se as seguintes condições são satisfeitas: i existe ρ > tal que a solução ϕt, t, x 1 está definida para todo t t, sempre que x 1 x < ρ. ii para todo ε >, existe δ > tal que δ ρ e ϕt, t, x 1 ϕt, t, x < ε para todo t t, sempre que x 1 x < δ. Definição 1.2 A solução ϕt, t, x de 1.31 a qual é Liapunov estável é assintoticamente estável se existe σ > tal que σ ρ e ϕt, t, x 1 ϕt, t, x quando t, sempre que x 1 x < σ. Teorema 1.16 Sejam U R n, f : R U R T -periódica na variável t e ϕt, t, x solução T -periódica de i Se todos os números característicos da linearização de 1.31 possuem valor absoluto menor que 1, então a solução ϕt, t, x é assintoticamente estável. ii Se algum dos números característicos da linearização de 1.31 possui valor absoluto maior que 1, então a solução ϕt, t, x é instável. Demonstrações: i ver [13], página 264 e ii ver [1], página 281, Teorema 7.6. Definição 1.21 Seja U R n aberto e f : U R n de classe C 1. Considere o seguinte sistema ẋ = fx 1.39 Uma integral primeira do sistema anterior é uma função F : U R de classe C 1 tal que F xt é constante, onde xt é uma solução qualquer de
30 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Um teorema de redução O teorema a seguir nos fornece informações de um sistema de n + 1 equações por meio de um sistema de n equações. Teorema 1.17 Sejam Ω R m aberto, f : R Ω ε, ε R m, g : R Ω ε, ε R ambas de classe C r, r 1 e 2π-periódicas na primeira variável. Suponha que y s, ε seja uma solução 2π-periódica de y εfs, ys, ε, ε s, ε = 1 + εgs, ys, ε, ε. 1.4 Então existem ε 1, ε e T : ε 1, ε 1 R de classe C r tais que i T = 2π; ii O sistema ẋ = εfθt, ε, yt, ε, ε θ = 1 + εgθt, ε, yt, ε, ε 1.41 tem solução x t, ε, θ t, ε tal que x t + T ε, ε = x t, ε e θ t + T ε, ε = θ t, ε + 2π. Demonstração: Consideremos f e g restritas a R Ω [ε, ε ] onde < ε < ε. Vamos provar que: i s, ε gs, ys, ε é limitada; Seja s R, ε [ ε, ε ] e y s, ε uma solução 2π-periódica de 1.4 na variável s e como g é 2π periódica na variável s, temos {gs, y s, ε, ε; s R, ε [ ε, ε ]} = {gs, y s, ε, ε; s [, 2π], ε [ ε, ε ]}. Agora, como [, 2π] {y s, ε} [ ε, ε ] é compacto, g C r, em particular contínua, segue do Teorema de Weierstrass que g é limitada, digamos por M, para todo s R e ε [ ε, ε ]. ii existe ε 1 > tal que 1 + εgs, y s, ε, ε > 1 2 para todo s R e ε ε 1, ε 1 ; Tome ε 1 > tal que ε < ε 1 < 1. Pelo item anterior, segue que 2M εgs, y s, ε, ε < ε gs, y s, ε, ε < ε 1 M < 1 2 εgs, y s, ε, ε < 1 2 para todo ε ε 1, ε 1. εgs, y s, ε, ε > εgs, y s, ε, ε > 1 2, iii Seja I R e h : I ε 1, ε 1 R, hs, ε = s du 1 + εgu, y u, ε, ε. 21
31 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Para cada ε ε 1, ε 1, seja h ε : R R, h ε s = h. Mostremos que h ε é um difeomorfismo. De fato, como h εs = h ε s s = εgs, y s, ε, ε temos h εs >, isto é, h ε é monótona crescente e, portanto, injetora. Além disso, pelo item i e ii, temos Se s >, segue de 1.43 que Portanto, s du 1 + M <, < 1 + εgu, y u, ε, ε < 1 + M M < 1 < εgu, y u, ε, ε s du 1 + εgu, y u, ε, ε < lim h s εs lim s + s M Agora, se s <, segue de 1.43 que Assim, s s du 1 + M < du 1 + M < s s lim h s εs lim s s 1 + M s 2du h ε s > s 1 + M. = + lim s + h εs = du 1 + εgu, y u, ε, ε h ε s s du 1 + M > s h ε s. = lim s h εs = Dessa forma, dado z R por 1.45, existe s 1 R tal que h ε s 1 < z e por 1.44, existe s 2 R tal que z < h ε s 2. Isto é, h ε s 1 < z < h ε s 2. Então pelo Teorema do Valor Intermediário, segue que existe c s 1, s 2 tal que h ε c = z. Portanto, h ε é sobrejetora. Assim, h ε admite inversa h 1 ε s e h 1 ε h ε s = 1 h εs Além disso, note que tanto h ε quanto sua inversa são de classe C 1 pois g assim o é. Defina De 1.46, segue que θ t, ε = h 1 ε t x t, ε = y h 1 ε t, ε
32 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS θ ht, ε = h 1 ε h ε t = 1 h εt 1.48 Por 1.42 em 1.48, temos: θ h ε t = 1 + εg t, y t, ε, ε θ h ε h 1 ε t, ε = 1 + εg h 1 ε t, y h 1 ε t, ε, ε. Assim, θ t, ε = 1 + εg θ t, ε, x t, ε, ε E por 1.47, temos x t, ε = y h 1 ε εf = 1 + εg = t, εh 1 t h 1 ε h 1 ε ε t, y h 1 ε t, ε, ε θ t, ε t, y h 1 ε t, ε, ε εf θ t, ε, x t, ε, ε 1 + εg θ t, ε, x t, ε, ε. 1 + εg θ t, ε, x t, ε, ε Assim, x t, ε = εf θ t, ε, x t, ε, ε 1.5 E também por 1.47, temos x h ε t, ε = y h 1 ε h ε t, ε = y t, ε. Portanto, x h ε, ε = y, ε Por hipótese, y t, ε é 2π-periódica, então x h ε t + 2π, ε = y t + 2π, ε = y t, ε. Portanto, De 1.51 e 1.52, segue que x h ε 2π, ε = y 2π, ε = y, ε x h ε 2π, ε = x, ε Agora considere T ε = h ε 2π = 2π du 1 + εgu, y u, ε, ε. 23
33 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Temos T = 2π. Pelo Corolário 1.2, segue que T é de classe C r e por 1.53, segue que Do mesmo modo, x T ε, ε = x, ε θ t, ε = h 1 ε t θ h ε t, ε = h 1 ε h ε t, ε = t Tomando t = 2π em 1.55, temos θ 2π, ε = θ h ε 2π, ε = θ T ε, ε = 2π Agora tomando t = em 1.55, temos θ, ε = θ h ε, ε = θ T, ε = Considere ut, ε = vt, ε = x t + T ε, ε, θ t + T ε, ε = u 1 t, ε, u 2 t, ε 1.58 x t, ε, θ t, ε + 2π = v 1 t, ε, v 2 t, ε Mostremos que ut, ε e vt, ε são soluções de 1.4. De fato, u t, ε = u 1t, ε, u 2t, ε = x t + T ε, ε, θ t + T ε, ε. Por 1.49 e 1.5, temos u t, ε = εf = θ t + T ε, ε, x t + T ε, ε, ε εfu 2 t, v, u 1 t, ε, ε, 1 + εgu 2 t, v, u 1 t, ε, ε, 1 + εg θ t + T ε, ε, x t + T ε, ε, ε. 1.6 Do mesmo modo, v t, ε = v 1t, ε, v 2t, ε = x t, ε, θ t, ε. Por 1.49 e 1.5, temos v t, ε = εf θ t, ε, x t, ε, ε, 1 + εg θ t, ε, x t, ε, ε. E pela periodicidade de f e g na primeira variável, segue que v t, ε = εf θ t, ε + 2π, x t, ε, ε, 1 + εg θ t, ε + 2π, x t, ε, ε = εfv 2 t, ε, v 1 t, ε, ε, 1 + εgv 2 t, ε, v 1 t, ε, ε Além disso, u, ε = x T ε, ε, θ T ε, ε 24
34 CAPÍTULO 1. TEORIA PRELIMINAR 1.2. TÓPICOS PRELIMINARES DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS e por 1.54 e 1.56, temos: E também como v, ε = u, ε = x, ε, 2π. x, ε, θ, ε + 2π, segue de 1.57 que Assim, v, ε = x, ε, + 2π = x, ε, 2π. u, ε = x, ε, 2π = v, ε. Portanto, tanto ut, ε quanto vt, ε são soluções de 1.4 passando pela mesma condição inicial. Dessa forma, pela unicidade das soluções, por 1.58 e 1.59, segue que: u 1 t, ε = x t + T ε, ε = x t, ε = v 1 t, ε e Logo, ut, ε = vt, ε u 2 t, ε = θ t + T ε, ε = θ t, ε + 2π = v 2 t, ε. Observação 1.1 Caso tenhamos y s = fs, ys, ε, ε a + εgs, ys, ε, ε, onde a e ẋ = εfθt, ε, yt, ε, ε θ = a + εgθt, ε, yt, ε, ε o resultado anterior também é válido. 25
35 Capítulo 2 Teoria da Média 2.1 Notas históricas Este capítulo engloba os principais resultados da Teoria da Média. Para se ter uma ideia dessa teoria, Newton, em meados do século XVII, propôs o problema de N-corpos que consiste em obter equações de movimento que possam descrever as trajetórias dos planetas no sistema solar. Um fato curioso é que ele mesmo resolveu o problema para 2-corpos o que levou à constatação da teoria de trajetórias elípticas descrita por Kepler. Naquela ocasião, o estudo das equações eram tomados de forma isolada entre dois corpos: o Sol e o outro corpo em questão. Posteriormente, percebeu-se que pequenos desvios de órbitas ocorriam devido, por exemplo, à presença dos outros corpos celestes bem como quanto ao meio ao qual se encontram. Devido à percepção dessa influência, o próximo passo seria obter soluções considerando os demais corpos em questão, a começar pelo problema de 3-corpos e isso era e ainda é algo complicado. Vários cientistas propuseram uma formulação para tal problema, muitas vezes envolvendo formas engenhosas com grandes cálculos numéricos, algo extremamente complicado e geralmente sem o devido êxito. Eis que no século XVIII, surge a teoria de perturbação onde cientistas buscavam formas de relacionar a teoria da gravitação de Newton com movimento de planetas e satélites. Clairaut então dá os primeiros passos rumo ao que conhecemos hoje pelo Método da Média e, posteriormente, Lagrange e Laplace nos fornecem uma forma aprimorada e mais clara deste método que permite estudar, dentre vários outros, o problema de 3-corpos. Para isso, Lagrange propôs que uma perturbação fosse feita na equação do problema de 2-corpos. Grosso modo, este método consiste em aplicar o Método da Variação de Parâmetros para escrever uma dada equação na forma que denominaremos canônica ou padrão. Dessa forma, obtemos um sistema mais simples que o primeiro, no entanto, a obtenção de solução pode ser tão difícil quanto antes. A fim de simplificar este último sistema aplicamos o Método da Média cuja ideia tem por base a expansão de Fourier que permite expressar uma função em termos de senos e cossenos, e estas devido sua periodicidade, irão eliminar vários termos durante o cálculo de integração dos coeficientes de Fourier o que torna mais simples nosso sistema de equações. Após o século XIX, esse método foi validado por Fatou, tem sido estudado e pode ser encontrado em artigos de vários pesquisadores como Krylov, Bogoliubov, Mitropolsky, etc. Para obtenção mais detalhada de tais fatos, o leitor poderá consultar [15], pág 136, 137 e [14], pág
36 CAPÍTULO 2. TEORIA DA MÉDIA 2.2. FÓRMULA GENERALIZADA DA VARIAÇÃO DE PARÂMETROS 2.2 Fórmula Generalizada da Variação de Parâmetros Para aplicarmos a Teoria da Média é necessário que o sistema esteja escrito em sua forma canônica, no entanto, nem sempre isso ocorre. O teorema a seguir nos fornece uma forma de fazer isto. Definição 2.1 Seja U R n, f : [, + U ε, ε R n onde f é Lipschitziana com relação a segunda variável. Diremos que o sistema ẋ = ft, x, ε se encontra na forma canônica ou padrão sempre que ft, x, ε = εf t, x, ε 2.1 onde F : [, + U R n é de classe C 2 ou simplesmente ft, x, =. Teorema 2.1 Sejam U R n aberto, f : R U R n e g : R U ε, ε R n funções de classe C 1. Se Ψt, y é fluxo de 1.33 e yt = Ψ 1 t xt, então é escrita como onde g t, y, ε = Demonstração: [ ] 1 Ψ t, yt, ε gt, Ψt, yt, ε. x ẋ = ft, x + εgt, x, ε 2.2 ẏ = εg t, y, ε, 2.3 De posse da Observação 1.8, vimos que Ψ t xt é inversível e, por hipótese, yt = Ψ 1 t xt. Daí, xt = Ψ t yt = Ψt, yt. Derivando esta última, obtemos Substituindo em 2.2, temos x t = Ψ Ψ t, yt + t x t, yty t. Ψ Ψ t, yt + t x t, yty t = ft, Ψt, yt + εgt, Ψt, yt, ε. 2.4 Agora, do fato de Ψ ser fluxo de 1.33, segue que Ψ t, Ψt, y = ft, Ψt, yt. Dessa t forma, segue de 2.4 que Ψ x t, yty t = εgt, Ψt, yt, ε. Vimos também pela Observação 1.8 que Ψ t, yt é inversível. Portanto, x onde g t, y, ε = y t = εg t, y, ε, [ ] 1 Ψ t, yt, ε gt, Ψt, yt, ε. x 27
37 CAPÍTULO 2. TEORIA DA MÉDIA 2.2. FÓRMULA GENERALIZADA DA VARIAÇÃO DE PARÂMETROS O resultado anterior é uma adaptação do argumento usado em [11], página 9. Corolário 2.1 Considere o sistema ẋ = Atx + εgt, x, 2.5 onde At M n R é contínua e gt, x é uma função diferenciável nas variáveis t e x. Se ϕt é matriz principal do sistema ẋ = Atx e yt = [ϕt] 1 xt, então Demonstração: ẏ = ε[ϕt] 1 gt, ϕty. 2.6 Note que este é um caso particular da equação 2.2, em que ft, x = Atx. Tomemos o fluxo Φt, y = ϕty de 2.5, onde y é um vetor n 1. Então pelo Teorema 2.1, temos ẏ = ε[ϕt] 1 gt, ϕty. 2.7 Note que, se At = A matriz constante, então 2.7 reescreve-se como Exemplos Considere o seguinte sistema ẏ = εe At gt, e At y. Agora reescreva 2.8 como segue ẋ 1 x = ẏ 1 y }{{} A ẍ + x = εfx, ẋ ε No caso ε =, considere o seguinte problema de valor inicial ẋ = y ẏ = x x = r cos ψ y = r sen ψ, fx, y onde r. Sendo assim, os autovalores de A são λ 1 = i e λ 2 = i. O autovetor associado a λ 1 é v 1 = i, 1. Dessa forma a solução St = e λ 1t v 1 = cost + i sen t i 1 = sen t cos t cos t + i sen t Assim, uma matriz fundamental Xt é dada tomando os vetores colunas de St, isto é, sen t cos t Xt =. cos t sen t. 28
38 CAPÍTULO 2. TEORIA DA MÉDIA 2.2. FÓRMULA GENERALIZADA DA VARIAÇÃO DE PARÂMETROS Note que det X = 1 e sua inversa é sen t cos t X 1 t = cos t sen t. Assim, pela Proposição 1.4 temos sen t cos t e At = XtX 1 = cos t sen t 1 1 cos t sen t = sen t cos t Logo, a solução geral de 2.8 é xt cos t sen t = yt sen t cos t a b = a cos t + b sen t a sen t + b cos t E Agora, pelas condições iniciais, segue que a = x = r cos ψ e b = y = r sen ψ. Portanto, substituindo os valores de a e b em 2.12, temos xt r cos ψ = cos t r sen ψ sen t r cost + ψ = yt r cos ψ sen t r sen ψ cos t r sen t + ψ Assim, o fluxo de 2.1 em termos de coordenadas polares é r cost + ψ Φt, r, ψ = r sen t + ψ Φ cost + ψ r sen t + ψ t, r, ψ = r, ψ sen t + ψ r cost + ψ ] 1 cost + ψ sen t + ψ = [ Φ t, r, ψ r, ψ sen t + ψ r Dessa forma, aplicando o Teorema 2.1 em 2.9, temos ṙ ψ cost + ψ sen t + ψ = ε sen t + ψ cost + ψ r r cost + ψ r, 2.15 εfr cost + ψ, r sen t + ψ ou seja, { ṙ = ε sen t + ψfr cost + ψ, r sen t + ψ cost + ψ ψ = ε fr cost + ψ, r sen t + ψ r Neste caso, também poderíamos ter usado o Corolário 2.1. Exemplo 2.1 Considere a equação. 2.16, ẍ + x = ε ẋ + x Neste caso, fx, ẋ = x 2 ẋ. Para efeito de cálculos iremos considerar r no lugar de rt bem como ψ em vez de ψt. Note que 29
ANA MARIA TRAVAGLINI SISTEMA DE RÖSSLER E DINÂMICA TEOREMA DA MÉDIA
ANA MARIA TRAVAGLINI SISTEMA DE RÖSSLER E DINÂMICA DE GALÁXIAS: APLICAÇÕES DO TEOREMA DA MÉDIA UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE MATEMÁTICA 216 i ANA MARIA TRAVAGLINI SISTEMA DE RÖSSLER E
Leia mais1 Álgebra linear matricial
MTM510019 Métodos Computacionais de Otimização 2018.2 1 Álgebra linear matricial Revisão Um vetor x R n será representado por um vetor coluna x 1 x 2 x =., x n enquanto o transposto de x corresponde a
Leia maisO Teorema de Peano. f : D R n. uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e uma função ϕ : I R n tais que
O Teorema de Peano Equações de primeira ordem Seja D um conjunto aberto de R R n, e seja f : D R n (t, x) f(t, x) uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e
Leia mais10 Estabilidade de Métodos de Passo Simples
MAP 2310 - Análise Numérica e Equações Diferenciais I 1 o Semestre de 2008 Análise Numérica NÃO REVISADO! 10 Estabilidade de Métodos de Passo Simples Continuamos interessados em estudar Métodos de Discretização
Leia maisProva: Usando as definições e propriedades de números reais, temos λz = λx + iλy e
Lista Especial de Exercícios de Física Matemática I Soluções (Número complexo, sequência de Cauchy, função exponencial e movimento hamônico simples) IFUSP - 8 de Agosto de 08 Exercício Se z x + iy, x,
Leia mais1 Equações Diferenciais Ordinárias: Sistemas de Equações
Equações Diferenciais Ordinárias: Sistemas de Equações O sistema geral de duas equações diferenciais pode ser escrito como: ẋ = F x,y,t ẏ = Gx,y,t Uma Solução de é um par x t e y t de funções de t tais
Leia maisTopologia do espaço Euclidiano
Capítulo 1 Topologia do espaço Euclidiano 1 O espaço vetorial R n iguais a R: Seja n N. O espaço euclidiano n dimensional é o produto cartesiano de n fatores R n = R R R }{{} n cópias Os pontos de R n
Leia maisParte II. Análise funcional II
Parte II Análise funcional II 12 Capítulo 5 Produto de Operadores. Operadores inversos Neste capítulo vamos introduzir a noção de produto de operadores assim como a de operador invertível. Para tal precisamos
Leia maisÁLGEBRA LINEAR I - MAT0032
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR I - MAT32 12 a Lista de exercícios
Leia maisparamétrica: Uma abordagem via Método
This is a preprint of: Nonlinear Dynamics and Parametric Excitation: An Approach by Averaging, Murilo R. Cândido, Mastersthesis, Universidade Federal de Uberlandia, Uberlandia, 14. MURILO RODOLFO CÂNDIDO
Leia maisSistemas de Equações Diferenciais Lineares
Capítulo 9 Sistemas de Equações Diferenciais Lineares Agora, estamos interessados em estudar sistemas de equações diferenciais lineares de primeira ordem: Definição 36. Um sistema da linear da forma x
Leia maisApostila Minicurso SEMAT XXVII
Apostila Minicurso SEMAT XXVII Título do Minicurso: Estrutura algébrica dos germes de funções Autores: Amanda Monteiro, Daniel Silva costa Ferreira e Plínio Gabriel Sicuti Orientadora: Prof a. Dr a. Michelle
Leia maisAnálise Matemática III - Turma especial
Análise Matemática III - Turma especial Fichas 1 a 5 - Solução parcial 1.3 Seja D E k um conjunto fechado. Uma transformação T : D D diz-se uma contracção se existe c < 1 tal que para todos os x, y D se
Leia maisA (u + iv) = (a + ib) (u + iv) = (au bv) + i (av + bu).
DICAS E RESPOSTAS DA LISTA DE EXERCÍCIOS 4 EDO II - MAP 036 PROF: PEDRO T P LOPES WWWIMEUSPBR/ PPLOPES/EDO Os exercícios a seguir foram selecionados dos livros dos autores Claus Doering-Artur Lopes e Jorge
Leia maisSistemas Lineares Periódicos: Teoria de Floquet
Sistemas Lineares Periódicos: eoria de Floquet Considere o sistema linear homogêneo e periódico ẋ = A(t)x, (1) onde R t A(t) M n (R)(ou M n (C)) é contínua e periódica, isto é, existe > 0 tal que A(t +
Leia maisf(x) = max{f 1 (x),..., f k (x)}. a + b + a b, a, b R., f 2 (x) =
Solução dos Exercícios Capítulo 4 Exercício 4.1: Sejam f 1 e f 2 duas funções de R n em R e considere g: R n R definida por g(x) = max{f 1 (x), f 2 (x)}. Prove se verdadeira ou dê contra-exemplo se falsa:
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas - CCE Departamento de Matemática Primeira Lista de MAT641 - Análise no R n
Universidade Federal de Viçosa Centro de Ciências Exatas - CCE Departamento de Matemática Primeira Lista de MAT641 - Análise no R n 1. Exercícios do livro Análise Real, volume 2, Elon Lages Lima, páginas
Leia maisANÁLISE COMPLEXA E EQUAÇÕES DIFERENCIAIS. Apresente e justifique todos os cálculos
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise ANÁLISE COMPLEXA E EQUAÇÕES DIFERENCIAIS TESTES DE RECUPERAÇÃO A - 6 DE JUNHO DE 9 - DAS H ÀS :3H Teste Apresente e justifique
Leia mais184 Instituto de Matemática UFF
184 Instituto de Matemática UFF Capítulo 4 Aplicações diferenciáveis 1 Diferenciabilidade de uma aplicação Definição 1.1. Uma aplicação f : U R n, definida no aberto U R m, é diferenciável no ponto a U
Leia maisLista 8 de Análise Funcional - Doutorado 2018
Lista 8 de Análise Funcional - Doutorado 2018 Professor Marcos Leandro 17 de Junho de 2018 1. Sejam M um subespaço de um espaço de Hilbert H e f M. Mostre que f admite uma única extensão para H preservando
Leia maisConvergência em espaços normados
Chapter 1 Convergência em espaços normados Neste capítulo vamos abordar diferentes tipos de convergência em espaços normados. Já sabemos da análise matemática e não só, de diferentes tipos de convergência
Leia mais25/05/06 MAP Análise Numérica e Equações Diferenciais I 1 o Semestre de EDO linear homogênea a coeficientes constantes - Continução
25/05/06 MAP 2310 - Análise Numérica e Equações Diferenciais I 1 o Semestre de 2006 Continuação 185 EDO linear homogênea a coeficientes constantes - Continução Exercício 36 Ache a solução geral complexa
Leia maisMAE125 Álgebra Linear /1 Turmas EQN/QIN
MAE25 Álgebra Linear 2 205/ Turmas EQN/QIN Planejamento (última revisão: 0 de junho de 205) Os exercícios correspondentes a cada aula serão cobrados oralmente na semana seguinte à aula e valem nota Todas
Leia mais1. Não temos um espaço vetorial, pois a seguinte propriedade (a + b) v = a v + b v não vale. De fato:
Sumário No que se segue, C, R, Q, Z, N denotam respectivamente, o conjunto dos números complexos, reais, racionais, inteiros e naturais. Denotaremos por I (ou id) End(V ) a função identidade do espaço
Leia maisModelagem em Sistemas Complexos
Modelagem em Sistemas Complexos Bifurcação local de campos vetoriais Marcone C. Pereira Escola de Artes, Ciências e Humanidades Universidade de São Paulo São Paulo - Brasil Abril de 2012 Nesta aula discutiremos
Leia maisORDINÁRIAS. Víctor Arturo Martínez León
INTRODUÇÃO ÀS EQUAÇÕES DIFERENCIAIS ORDINÁRIAS Víctor Arturo Martínez León September 3, 2017 Súmario 1 Equações diferenciais lineares de primeira ordem 2 2 Equações diferenciais lineares de segundo ordem
Leia maisCapítulo 5. Operadores Auto-adjuntos. Curso: Licenciatura em Matemática. Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo
Capítulo 5 Operadores Auto-adjuntos Curso: Licenciatura em Matemática Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo Disciplina: Álgebra Linear II Unidade II Aula 5: Operadores Auto-adjuntos
Leia maisComeçamos relembrando o conceito de base de um espaço vetorial. x = λ 1 x λ r x r. (1.1)
CAPÍTULO 1 Espaços Normados Em princípio, os espaços que consideraremos neste texto são espaços de funções. Isso significa que quase todos os nossos exemplos serão espaços vetoriais de dimensão infinita.
Leia maisEspaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:
Espaços Euclidianos Espaços R n O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: R n = {(x 1,..., x n ) : x 1,..., x n R}. R 1 é simplesmente o conjunto R dos números
Leia maisCap.2. Representação de Estado e Controlabilidade
Cap.2. Representação de Estado e Controlabilidade Visão geral do capítulo Neste capítulo trataremos o problema da controlabilidade de sistemas lineares invariantes no tempo. Faremos antes uma breve revisão
Leia maisModelagem Computacional. Parte 7 2
Mestrado em Modelagem e Otimização - RC/UFG Modelagem Computacional Parte 7 2 Prof. Thiago Alves de Queiroz 2/2016 2 [Cap. 7] BURDEN, R. L.; FAIRES, J. D. Numerical Analysis (9th ed). Cengage Learning,
Leia maisA Projeção e seu Potencial
A Projeção e seu Potencial Rolci Cipolatti Departamento de Métodos Matemáticos Instituto de Matemática, Universidade Federal do Rio de Janeiro C.P. 68530, Rio de Janeiro, Brasil e-mail: cipolatti@im.ufrj.br
Leia maisDERIVADAS PARCIAIS. y = lim
DERIVADAS PARCIAIS Definição: Seja f uma função de duas variáveis, x e y (f: D R onde D R 2 ) e (x 0, y 0 ) é um ponto no domínio de f ((x 0, y 0 ) D). A derivada parcial de f em relação a x no ponto (x
Leia maisExponencial de uma matriz
Exponencial de uma matriz Ulysses Sodré Londrina-PR, 21 de Agosto de 2001; Arquivo: expa.tex Conteúdo 1 Introdução à exponencial de uma matriz 2 2 Polinômio característico, autovalores e autovetores 2
Leia maisNotas Sobre Sequências e Séries Alexandre Fernandes
Notas Sobre Sequências e Séries 2015 Alexandre Fernandes Limite de seqüências Definição. Uma seq. (s n ) converge para a R, ou a R é limite de (s n ), se para cada ɛ > 0 existe n 0 N tal que s n a < ɛ
Leia maisMatrizes Semelhantes e Matrizes Diagonalizáveis
Diagonalização Matrizes Semelhantes e Matrizes Diagonalizáveis Nosso objetivo neste capítulo é estudar aquelas transformações lineares de R n para as quais existe pelo menos uma base em que elas são representadas
Leia maisFundamentos de Controle Não Linear: Conceitos Matemáticos Importantes (em Progresso)
Fundamentos de Controle Não Linear: Conceitos Matemáticos Importantes (em Progresso) Leonardo A. B. Torres PPGEE/UFMG October 2, 2018 Leonardo A. B. Torres (PPGEE/UFMG) FCNL: Conceitos Matemáticos October
Leia maisMAE125 Álgebra Linear /2 Turmas EQN/QIN
MAE25 Álgebra Linear 2 205/2 Turmas EQN/QIN Planejamento (última revisão: 26 de outubro de 205) Os exercícios correspondentes a cada aula serão cobrados oralmente na aula seguinte e valem nota Todas as
Leia maisUFRGS INSTITUTO DE MATEMÁTICA E ESTATÍSTICA Programa de Pós-Graduação em Matemática Aplicada Prova Escrita - Processo Seletivo 2017/2 - Mestrado
UFRGS INSTITUTO DE MATEMÁTICA E ESTATÍSTICA Programa de Pós-Graduação em Matemática Aplicada Prova Escrita - Processo Seletivo 27/2 - Mestrado A prova é composta de 6 (seis) questões, das quais o candidato
Leia maisOBJETIVO. Prova1-Trivial,porinduçãoeusaoteoremafundamentaldaálgebra...3
O TEOREMA DE CAYLEY-HAMILTON Carlos Alexandre Gomes (UFRN) e Oswaldo Rio Branco de Oliveira (IMEUSP) http://www.ime.usp.br/~oliveira oliveira@ime.usp.br Ano 2015 e Ano 2017 OBJETIVO Nesta notas apresentamos
Leia maisÁlgebra Linear /2 Turma EM1 (unificada)
Álgebra Linear 2 2013/2 Turma EM1 (unificada) Planejamento preliminar (última revisão: 3/4/2013) Os exercícios correspondentes a cada aula serão discutidos na aula seguinte e não valem nota Este planejamento
Leia maisFísica Matemática II: Notas de aula
Física Matemática II: Notas de aula Rafael Sussumu Y. Miada Nessas notas, faremos uma introdução à teoria dos espaços métricos e normados, e aos operadores lineares em espaços normados. Os resultados obtidos
Leia maisTopologia. Fernando Silva. (Licenciatura em Matemática, 2007/2008) 13-agosto-2018
Topologia (Licenciatura em Matemática, 2007/2008) Fernando Silva 13-agosto-2018 A última revisão deste texto está disponível em http://webpages.fc.ul.pt/~fasilva/top/ Este texto é uma revisão do texto
Leia maisMAT2458 ÁLGEBRA LINEAR PARA ENGENHARIA II 2 a Prova - 2 o semestre de T ( p(x) ) = p(x + 1) p(x), (a) 8, (b) 5, (c) 0, (d) 3, (e) 4.
MAT2458 ÁLGEBRA LINEAR PARA ENGENHARIA II 2 a Prova - 2 o semestre de 218 Q1. Considere a transformação linear T : P 3 (R) P 2 (R), dada por T ( p(x) ) = p(x + 1) p(x), para todo p(x) P 3 (R), e seja A
Leia maisA forma canônica de Jordan
A forma canônica de Jordan 1 Matrizes e espaços vetoriais Definição: Sejam A e B matrizes quadradas de orden n sobre um corpo arbitrário X. Dizemos que A é semelhante a B em X (A B) se existe uma matriz
Leia maisAnálise Complexa e Equações Diferenciais 1 ō Semestre 2016/2017
Análise Complexa e Equações Diferenciais 1 ō Semestre 016/017 ō Teste Versão A (Cursos: MEBiol, MEQ 17 de Dezembro de 016, 10h [,0 val 1 Considere a equação diferencial e t + y e t + ( 1 + ye t dy dt 0
Leia maisCapítulo 2. Ortogonalidade e Processo de Gram-Schmidt. Curso: Licenciatura em Matemática
Capítulo 2 Ortogonalidade e Processo de Gram-Schmidt Curso: Licenciatura em Matemática Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves de Melo Disciplina: Álgebra Linear II Unidade II Aula
Leia maisÁLGEBRA LINEAR I - MAT0032
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR I - MAT0032 11 a Lista de
Leia maisNoções de Álgebra Linear
Noções de Álgebra Linear 1. Espaços vetoriais lineares 1.1. Coordenadas 2. Operadores lineares 3. Subespaços fundamentais 4. Espaços normados 5. Espaços métricos 6. Espaços de Banach 7. Espaços de Hilbert
Leia maisForma Canônica de Matrizes 2 2
Forma Canônica de Matrizes Slvie Olison Kamphorst Departamento de Matemática - ICE - UFMG Versão. - Novembro 5 a b Seja A c d induzida por A uma matriz real e seja T a transformação operador linear de
Leia maisEquações diferenciais autônomas e aplicações
Universidade Estadual Paulista Júlio de Mesquita Filho Instituto de Geociências e Ciências Exatas Câmpus de Rio Claro Equações diferenciais autônomas e aplicações Éverton de Toledo Hanser Dissertação apresentada
Leia maisLinearização de Modelos e Teoremas Locais
Modelos e Teoremas Locais Prof. Marcus V. Americano da Costa F o Departamento de Engenharia Química Universidade Federal da Bahia Salvador-BA, 05 de janeiro de 2017. Sumário Introdução => Uma grande parte
Leia maisAnálise Complexa e Equações Diferenciais 2 ō Semestre 2013/2014
Análise Complexa e Equações Diferenciais 2 ō Semestre 213/21 Cursos: 2 ō Teste, versão A LEIC, MEEC, LEMat, MEAer, MEBiol, MEQ, MEAmbi 31 de Maio de 21, 11h3 [1,5 val. 1. Considere a equação diferencial
Leia maisQuestão 4 (2,0 pontos). Defina função convexa (0,5 pontos). Seja f : I R uma função convexa no intervalo aberto I. Dado c I (qualquer)
DM IMECC UNICAMP, Análise I, Prof. Marcelo M. Santos Exame Final, 15/07/2009 Aluno: RA: Ass.: Observações: Tempo de prova: 100min; Justifique sucintamente todas as suas afirmações; Disponha as suas resoluções
Leia maisOperadores em espaços normados
Capítulo 7 Operadores em espaços normados Neste capítulo vamos introduzir uma série de operadores em espaços normados os quais são muito úteis, nomeadamente, na resolução de equações envolvendo operadores.
Leia maisPropriedades das Funções Contínuas
Propriedades das Funções Contínuas Prof. Doherty Andrade 2005- UEM Sumário 1 Seqüências 2 1.1 O Corpo dos Números Reais.......................... 2 1.2 Seqüências.................................... 5
Leia maisÁlgebra Linear /2 Turma 11852
Álgebra Linear 2 202/2 Turma 852 Planejamento (última revisão: 26/0/202) Os exercícios correspondentes a cada aula serão cobrados oralmente na aula seguinte e valem nota Todas as referências e exercícios
Leia maisy (n) (x) = dn y dx n(x) y (0) (x) = y(x).
Capítulo 1 Introdução 1.1 Definições Denotaremos por I R um intervalo aberto ou uma reunião de intervalos abertos e y : I R uma função que possua todas as suas derivadas, a menos que seja indicado o contrário.
Leia maisCap. 5 Estabilidade de Lyapunov
Cap. 5 Estabilidade de Lyapunov 1 Motivação Considere as equações diferenciais que modelam o oscilador harmônico sem amortecimento e sem força aplicada, dada por: M z + Kz = 0 Escolhendo-se x 1 = z e x
Leia maisÁlgebra Linear e suas Aplicações Notas de Aula. Petronio Pulino = Q
Álgebra Linear e suas Aplicações Notas de Aula Petronio Pulino 1 3 4 3 1 0 4 0 1 = Q 4 1 6 Qt Q t Q = 1 1 1 PULINUS Álgebra Linear e suas Aplicações Notas de Aula Petronio Pulino Departamento de Matemática
Leia maisde modo que γ (t) 2 = 3e t. Pelo Proposição 6.3, γ é retificável no intervalo [0, T], para cada T > 0 e lim γ (t) 2 dt = 3, )) se t 0 0 se t = 0
Solução dos Exercícios Capítulo 6 Exercício 6.1: Seja γ: [, + [ R 3 definida por γ(t) = (e t cos t, e t sen t, e t ). Mostre que γ é retificável e calcule seu comprimento. Solução: γ é curva de classe
Leia maisO teorema do ponto fixo de Banach e algumas aplicações
O teorema do ponto fixo de Banach e algumas aplicações Andressa Fernanda Ost 1, André Vicente 2 1 Acadêmica do Curso de Matemática - Centro de Ciências Exatas e Tecnológicas - Universidade Estadual do
Leia maisANÁLISE COMPLEXA E EQUAÇÕES DIFERENCIAIS AULA TEÓRICA DE MAIO DE 2017
ANÁLISE COMPLEXA E EQUAÇÕES DIFERENCIAIS AULA TEÓRICA 3 7 DE MAIO DE 27 A = 2 2 2 A matriz tem como valor próprio λ = 2 (triplo. Para os vectores próprios: { z = y + z = v = A matriz não é diagonalizável,
Leia maisEES-20: Sistemas de Controle II
EES-: Sistemas de Controle II 14 Agosto 17 1 / 49 Recapitulando: Estabilidade interna assintótica Modelo no espaço de estados: Equação de estado: ẋ = Ax + Bu Equação de saída: y = Cx + Du Diz-se que o
Leia mais= f(0) D2 f 0 (x, x) + o( x 2 )
6 a aula, 26-04-2007 Formas Quadráticas Suponhamos que 0 é um ponto crítico duma função suave f : U R definida sobre um aberto U R n. O desenvolvimento de Taylor de segunda ordem da função f em 0 permite-nos
Leia maisÁlgebra linear A Primeira lista de exercícios
Álgebra linear A Primeira lista de exercícios Prof. Edivaldo L. dos Santos (1) Verifique, em cada um dos itens abaixo, se o conjunto V com as operações indicadas é um espaço vetorial sobre R. {[ ] a b
Leia maisÁlgebra Linear AL. Luiza Amalia Pinto Cantão. Depto. de Engenharia Ambiental Universidade Estadual Paulista UNESP
Álgebra Linear AL Luiza Amalia Pinto Cantão Depto de Engenharia Ambiental Universidade Estadual Paulista UNESP luiza@sorocabaunespbr Matrizes Inversas 1 Matriz Inversa e Propriedades 2 Cálculo da matriz
Leia maisLista de Exercícios Equações Diferenciais Ordinárias I MAT 871
Lista de Exercícios Equações Diferenciais Ordinárias I MAT 871 1 de abril de 2017 Esta lista contém exercícios de [1], [2], [3] e [4]. separados por aulas em ordem decrescente de aula. Os exercícios estão
Leia maisAula 22 Derivadas Parciais - Diferencial - Matriz Jacobiana
Derivadas Parciais - Diferencial - Matriz Jacobiana MÓDULO 3 - AULA 22 Aula 22 Derivadas Parciais - Diferencial - Matriz Jacobiana Introdução Uma das técnicas do cálculo tem como base a idéia de aproximação
Leia maisd(t x, Ty) = d(x, y), x, y X.
Capítulo 6 Espaços duais 6.1 Preliminares A análise funcional foi nos seus primórdios o estudo de funcionais. Assim, nos dias de hoje um princípio fundamental da análise funcional é a investigação de espaços
Leia maisPROVA EXTRAMUROS-MESTRADO (i) O tempo destinado a esta prova é de 5 horas.
PROVA EXTRAMUROS-MESTRADO - 2016 NOME: IDENTIDADE (OU PASSAPORTE): ASSINATURA: Instruções (i) O tempo destinado a esta prova é de 5 horas. (ii) A parte I (duas questões dissertativas) corresponde a 25%
Leia maisAnálise III (Análise no IR n )
Análise III (Análise no IR n ) Notas de aulas André Arbex Hallack Agosto/2008 Índice 1 Noções Topológicas no IR n 1 1.1 O espaço vetorial IR n................................ 1 1.2 Seqüências......................................
Leia maisSynergismus Scyentifica UTFPR. XIII ERMAC Mini Curso. Diferenciais
Synergismus Scyentifica UTFPR Mini Curso Aplicações da Álgebra Linear a Equações Diferenciais Gilson Tumelero Marieli Musial Colegiado de Matemática - FAFIUV Pato Branco, setembro de 2009 Sumário Introdução
Leia maisIntroduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;
META Introduzir os conceitos de base e dimensão de um espaço vetorial. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: distinguir entre espaços vetoriais de dimensão fnita e infinita; determinar
Leia maisUM CURSO DE OTIMIZAÇÃO. Ademir Alves Ribeiro Elizabeth Wegner Karas
UM CURSO DE OTIMIZAÇÃO Ademir Alves Ribeiro Elizabeth Wegner Karas Curitiba 2011 Sumário Prefácio 1 Introdução 2 1 Revisão de Conceitos 4 1.1 Sequências.................................... 4 1.1.1 Definições
Leia maisAnálise II (a parte no IR n )
Análise II (a parte no IR n ) Notas de aulas André Arbex Hallack Janeiro/2008 Índice 1 Noções Topológicas no IR n 1 1.1 O espaço vetorial IR n................................ 1 1.2 Seqüências......................................
Leia maisLista 4. Esta lista, de entrega facultativa, tem três partes e seus exercícios versam sobre séries, funções contínuas e funções diferenciáveis em R.
UFPR - Universidade Federal do Paraná Departamento de Matemática CM095 - Análise I Prof José Carlos Eidam Lista 4 INSTRUÇÕES Esta lista, de entrega facultativa, tem três partes e seus exercícios versam
Leia maisEquação Geral do Segundo Grau em R 2
8 Equação Geral do Segundo Grau em R Sumário 8.1 Introdução....................... 8. Autovalores e autovetores de uma matriz real 8.3 Rotação dos Eixos Coordenados........... 5 8.4 Formas Quadráticas..................
Leia maisDINÂMICA DO SISTEMA CARRO-PÊNDULO
DINÂMICA DO SISTEMA CARRO-PÊNDULO Rafael Alves Figueiredo 1 Universidade Federal de Uberlândia Av. João Naves de Ávila, 2121, Santa Mônica, Uberlândia, MG, Brasil. rafamatufu@yahoo.com.br Márcio José Horta
Leia maisTeoria da Medida e Integração (MAT505)
Teoria da Medida e Integração (MAT505) Modos de convergência V. Araújo Mestrado em Matemática, UFBA, 2014 1 Modos de convergência Modos de convergência Neste ponto já conhecemos quatro modos de convergência
Leia mais{ 1 se x é racional, 0 se x é irracional. cos(k!πx) = cos(mπ) = ±1. { 1 se x Ak
Solução dos Exercícios Capítulo 0 Exercício 0.: Seja f k : [0, ] R a função definida por Mostre que f k (x) = lim j (cos k!πx)2j. { f k (x) = se x {/k!, 2/k!,..., }, 0 senão e que f k converge pontualmente
Leia maisProfessor: Carlos Eugênio da Costa Teoria Microeconômica II Monitor: Diego Santiago
Professor: Carlos Eugênio da Costa Teoria Microeconômica II - 2012 Monitor: Diego Santiago EPGE/FGV Introdução matemática 1 Introdução Esta introdução visa familiarizar o aluno com ferramentas matemáticas
Leia mais23 e 24. Forma Quadrática e Equação do Segundo Grau em R 3. Sumário
23 e 24 Forma Quadrática e Equação do Segundo Grau em R 3 Sumário 23.1 Introdução....................... 2 23.2 Autovalores e Autovetores de uma matriz 3 3.. 2 23.3 Mudança de Coordenadas no Espaço........
Leia mais1 Diferenciabilidade e derivadas direcionais
UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática CM048 - Cálculo II - Matemática Diurno Prof. Zeca Eidam Nosso objetivo nestas notas é provar alguns resultados
Leia maisMAP2310. Análise Numérica e Equações Diferenciais I. 1 Equações Diferenciais Ordinárias
MAP2310 14/03/2005 Análise Numérica e Equações Diferenciais I 1 o Semestre de 2005 1 1 Equações Diferenciais Ordinárias 1.1 Introdução Equações envolvendo uma variável independente real t, uma função desconhecida
Leia maisINSTITUTO DE MATEMÁTICA E ESTATÍSTICA UNIVERSIDADE DE SÃO PAULO
EXERCÍCIOS INSTITUTO DE MATEMÁTICA E ESTATÍSTICA UNIVERSIDADE DE SÃO PAULO MAT-2458 Álgebra Linear para Engenharia II Primeira Lista de Exercícios - Professor: Equipe da Disciplina 1. Em R 3, sejam S 1
Leia mais1 a Lista de Exercícios de MAT3458 Escola Politécnica 2 o semestre de 2016
1 a Lista de Exercícios de MAT3458 Escola Politécnica o semestre de 16 1 Para que valores de t R a função definida por (x 1, x ), (y 1, y ) = x 1 y 1 + tx y é um produto interno em R? Para cada par de
Leia maisUniversidade Federal da Paraíba - UFPB Centro de Ciências Exatas e da Natureza - CCEN Departamento de Matemática - DM
Universidade Federal da Paraíba - UFPB Centro de Ciências Exatas e da Natureza - CCEN Departamento de Matemática - DM 3 a Lista de Exercícios de Introdução à Álgebra Linear Professor: Fágner Dias Araruna
Leia maisInversão de Matrizes
Inversão de Matrizes Prof. Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2015.2 21 de
Leia mais3.3 Retrato de fase de sistemas lineares de 1 a ordem
MAP 2310 - Análise Numérica e Equações Diferenciais I Continuação - 25/05/2006 1 o Semestre de 2006 3.3 Retrato de fase de sistemas lineares de 1 a ordem O espaço de fase de um sistema da forma ẏ = Ay,
Leia maisTeoria da Medida e Integração (MAT505)
Modos de convergência Teoria da Medida e Integração (MAT505) Modos de convergência. V. Araújo Instituto de Matemática, Universidade Federal da Bahia Mestrado em Matemática, UFBA, 2014 Modos de convergência
Leia maisMatrizes e Linearidade
Matrizes e Linearidade 1. Revisitando Matrizes 1.1. Traço, Simetria, Determinante 1.. Inversa. Sistema de Equações Lineares. Equação Característica.1. Autovalor & Autovetor 4. Polinômios Coprimos 5. Função
Leia maisDANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte
Leia maisTEOREMAS CLÁSSICOS DE ANÁLISE APLICADOS AO ESPAÇO C(K; R m )
UNIVERSIDADE FEDERAL DO AMAPÁ COLEGIADO DE MATEMÁTICA CURSO DE LICENCIATURA EM MATEMÁTICA RAFAELA GOVEIA BRITO TEOREMAS CLÁSSICOS DE ANÁLISE APLICADOS AO ESPAÇO C(K; R m ) MACAPÁ - AP 216 RAFAELA GOVEIA
Leia maisFichas de Análise Matemática III
Fichas de Análise Matemática III Fernando Lobo Pereira, João Borges de Sousa Depto de Engenharia Electrotécnica e de Computadores Faculdade de Engenharia da Universidade do Porto Instituto de Sistemas
Leia maisMAT Álgebra Linear para Engenharia II
MAT2458 - Álgebra Linear para Engenharia II Prova de Recuperação - 05/02/2014 Nome: Professor: NUSP: Turma: INSTRUÇÕES (1) A prova tem início às 7:30 e duração de 2 horas. (2) Não é permitido deixar a
Leia maisFUNDAMENTOS DE CONTROLE - EEL 7531
14 de maio de 2015 Introdução a sistemas não-lineares Embora modelos lineares sejam muito usados, sistemas reais apresentam algum tipo de não-linearidade Em muitos casos a faixa de operação limitada faz
Leia maisParte 3 - Produto Interno e Diagonalização
Parte 3 - Produto Interno e Diagonalização Produto Escalar: Sejam u = (u 1,..., u n ) e v = (v 1,..., v n ) dois vetores no R n. O produto escalar, ou produto interno euclidiano, entre esses vetores é
Leia maisCálculo Diferencial e Integral II Resolução do Exame/Teste de Recuperação 02 de Julho de 2018, 15:00h - versão 2 Duração: Exame (3h), Teste (1h30)
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Cálculo Diferencial e Integral II do Exame/Teste de Recuperação 2 de Julho de 218, 15:h - versão 2 Duração: Exame (3h),
Leia maisEquações Diferenciais Ordinárias: um Resultado de Existência e Alguns Critérios não Usuais de Unicidade de Solução
Universidade Federal de Campina Grande Centro de Ciências e Tecnologia Unidade Acadêmica de Matemática Curso de Graduação em Matemática Equações Diferenciais Ordinárias: um Resultado de Existência e Alguns
Leia mais