UNIVERSIDADE ESTADUAL DO CEAR UECE DANIEL BRANDO MENEZES

UMA ATUAL ABORDAGEM SOBRE O TEOREMA DE SARKOVSKII

Fortaleza/Cear 2011

Daniel Brando Menezes

UMA ATUAL ABORDAGEM SOBRE O TEOREMA DE SARKOVSKII

Monografia apresentada ao Curso de Licenciatura Plena em Matemtica do Centro de Cincias e Tecnologia (CCT) da Universidade Estadual do Cear (UECE), como parte dos requisitos para obteno do ttulo de Graduado em Matemtica. Orientadora: Prof. Dr. Marina Sobolevsky

Fortaleza/Cear 2011
2

DANIEL BRANDO MENEZES

UMA ATUAL ABORDAGEM SOBRE O TEOREMA DE SARKOVSKII

Monografia apresentada Universidade Estadual do Cear como requisito obrigatrio para obteno de grau de licenciado em Matemtica.

Monografia apresentada e aprovada em ____ de ________________de 2011.

Banca Examinadora:

____________________________________ Prof. Dr. Marina Sobolevsky Orientadora Universidade Estadual do Cear - UECE

____________________________________ Prof. Dr. Joo Marques Pereira Universidade Estadual do Cear UECE

____________________________________ Prof. Dr. Thelmo Pontes de Arajo Universidade Estadual do Cear - UECE

DEDICATRIA

Ao meu Deus que, antes de tudo, deu-me fora para vencer essa luta em meio a tantas tribulaes. Ao meu av, que l do cu me acompanhou e segurou minha mo no me deixando desistir de meu sonho. A minha v e tias, que viram meus esforos dirios e contriburam incessantemente, apoiando, dando foras e rezando sempre pela minha felicidade. Ao meu grande amor, Lidiane, que Deus ps em minha vida para permanecer ao meu lado seguindo as minhas pegadas sempre motivando e me fazendo crescer constantemente. A minha orientadora, Prof. Dr. Marina Sobolevsky, que mesmo com suas atribuies rotineiras, no hesitou em aceitar meu pedido de orientao e guiou-me nesse estudo sempre com muita dedicao e ateno. Aos meus admirveis professores Dr. Joo Montenegro e Dr. Alberto Flvio, que mostraram verdadeiramente a beleza da matemtica pura em suas aulas e, alm disso, confiaram e acreditaram em mim e me fizeram descobrir que eu era capaz. A Prof. Dr. Ivoneide, que to pacientemente mostrou os primeiros passos da pesquisa cientfica e acompanhou minha formao final inclusive com grande participao neste trabalho monogrfico. A Prof. Ana Carolina, por ter me incentivado a participar ativamente de eventos cientficos e por ter sido a primeira a ter contato com a rea de Educao Matemtica. Aos meus amigos do grupo de estudos Evaldo, Gilderlan, Airton, Evaldo, Rafael, Wesley, Artur e Ariany, por terem enfrentado esse longo caminho ao meu lado e nunca terem me deixado baixar a cabea demonstrando muito companheirismo e amizade, pois somente eles compreendem o grau de dificuldade desse curso. Aos meus ex professores, Judson Santos e Eduardo Leo, que diziam com toda propriedade que era na matemtica que eu deveria estar e me apoiaram nos momentos de indeciso. Aos amigos Nilo e Osiel, que so meus fiis companheiros mesmo na distncia e por terem sido uma presena to marcante em meu perodo de graduao. Aos meus amigos Neto, Vincius e Danilo, pela confiana, companhia e cumplicidade incomensurveis.

[...] Daqui pra frente tudo vai ser diferente, voc tem que aprender a ser gente e seu orgulho no vale nada [...]. In Memoriam a Jos Expedito Menezes

RESUMO
Essa monografia realiza uma anlise do Teorema de Sarkovskii escolhido pela sua importncia nos sistemas dinmicos ao revelar um modo de caracterizar o caos e criar uma ordem no trivial dos nmeros naturais denominada ordem de Sarkovskii e teve como finalidade descrever de uma maneira clara e concisa o Teorema sob a forma de um levantamento bibliogrfico tendo como principal recurso um artigo do Dr. Yuri Gomes Lima publicado em 2008, intitulado Teorema de Sharkovsky. A parte descritiva da monografia foi realizada com a reestruturao e complementao dos detalhes que estavam incompreendidos ou foram deixados como triviais para o leitor, bem como mostrar as consideraes de alguns casos anlogos. A caracterizao do caos foi realizada para um caso particular de uma funo contnua de perodo igual a trs, provando que ela tambm funo de todos os perodos e para essa demonstrao foi necessrio o apoio de algumas ferramentas, tais como as noes de continuidade, grafos de Markov e Teorema do Valor Intermedirio. Este foi essencial, pois as demonstraes abordadas baseiam-se no uso sucessivo do T.V.I. e para a sua prova foram abrangidas as definies de conexidade encontradas na Topologia. O uso de representaes grficas que permitem a construo de cadeias de diferentes tamanhos ou ciclos, ou seja, de quaisquer perodos, foi propiciada pela utilizao dos Grafos de Markov. Os resultados obtidos aps os estudos e reestruturao do artigo supracitado propiciaram a soluo de alguns questionamentos sobre a existncia de pontos fixos e como eles se comportam, assim como, estudar os pontos peridicos. Esse estudo gera, portanto, uma nova fonte bibliogrfica para o tema de sistemas dinmicos a qual tem seus objetivos especficos pautados na descrio minuciosa do Teorema de Sarkovskii.

Palavras-chave: Teorema do Valor Intermedirio; Teorema de Sarkovskii; Pontos peridicos. 6

SUMRIO
8 9 11 11 12 16 16 18 20 20 23 23 27 33 34 35

LISTA DE FIGURAS.......................................................................................................... 1. INTRODUO............................................................................................................... 2. NOES DE FUNO PARA A DEMONSTRAO DE SHAKOVSKII............. 2.1 Um Histrico sobre o Teorema de Sarkovskii.............................................................. 2.2 Um tipo especial de funo: Funes Contnuas.......................................................... 3. NOES DE CONEXIDADE....................................................................................... 3.1 Espaos Mtricos Conexos........................................................................................... 3.2 Teorema do Valor Intermedirio................................................................................... 3.3 Noes de Grafos.......................................................................................................... 3.3.1 Grafos de Markov e a Definio Formal............................................................... 4. O TEOREMA DE SARKOVSKII................................................................................ 4.1 Definies e Proposies Iniciais.................................................................................. 4.2 O Perodo 3 (trs) e a Implicao para o Caos de Li e Yorke....................................... 4.3 Uma Nova ordem dos Nmeros Inteiros Positivos....................................................... 5. CONSIDERAES FINAIS......................................................................................... 6. REFERNCIAS..............................................................................................................

LISTA DE FIGURAS
Figura 01: Grfico de uma funo contnua. Guidorizzi, 2001.......................................... Figura 02: Grfico de uma funo descontnua. Guidorizzi, 2001..................................... Figura 03: Grfico com intervalo da imagem. Guidorizzi, 2001....................................... Figura 04: Grfico com intervalo do domnio. Guidorizzi, 2001....................................... Figura 05: Grfico de uma funo com um intervalo descontnuo. Guidorizzi, 2001....... Figura 06: Grfico com os pontos que satisfazem a definio do Teorema do valor Intermedirio. Guidorizzi, 2001.......................................................................................... Figura 07: Grfico de uma funo do 1 grau com dois intervalos. Pesquisa Direta......... Figura 08: Grafo de Markov para os intervalos e . Pesquisa Direta........................... Figura 09: Funo contnua que satisfaz f( ) = ,f( ) = e f( ) = . Lima, 2008.. Figura 10: Grafo de Markov para os intervalos e (o lao significa a aplicao da funo). Lima, 2008............................................................................................................. Figura 11: Funo contnua que satisfaz f( ) = , f( ) = e f( ) = . Pesquisa Direta, 2011......................................................................................................................... Figura 12: Grafo de Markov para os intervalos e (o lao significa a aplicao da funo). Pesquisa Direta...................................................................................................... 13 13 13 13 14 18 21 22 28 28 31 31

1. INTRODUO
As funes, no transcorrer do tempo, representaram instrumentos de muitos estudos e propiciaram a criao de muitos teoremas, tais como o Teorema de Sarkovskii que, conforme citado por Do (2009), foi escrito no ano de 1960 pelo matemtico ucraniano Oleksandr Mikolaiovich Sharkovsky. Este Teorema induziu uma ordem no trivial dos nmeros naturais e mostrou que a ordem preservada quando se trata da existncia de pontos peridicos. O bojo do Teorema afirma que, dada uma funo contnua definida em um intervalo compacto da reta, se existir um ponto de perodo K, em que K L na ordem de Sarkovskii, ento f tambm possuir pontos de perodo L. De forma particular, iremos nos restringir ao caso em que se em uma funo contnua definida no mesmo intervalo compacto da reta, existir um ponto de perodo 3, ento tambm possuir pontos de quaisquer perodos. Esse estudo monogrfico pautado no artigo publicado em meio eletrnico do Dr. Yuri Gomes Lima em 2008 que aborda esse teorema e tem como objetivo geral apresentar de forma clara e concisa o Teorema de Sarkovskii utilizando somente o auxlio de ferramentas provindas das Noes de continuidade, Teorema do Valor mdio e Grafos de Markov, os quais sero apresentados de maneira diferenciada. E, de uma forma minuciosa, foram apresentados como objetivos especficos preencher as lacunas que ficaram no texto de Yuri (2008), considerando os casos anlogos e as demonstraes que ficaram subtendidas. O presente trabalho sobre o Teorema de Sarkovskii foi desenvolvido sob a gide de uma pesquisa bibliogrfica, pois essa forma de estudo representa uma ferramenta eficaz para conhecer a problemtica em que o tema est inserido atravs da anlise sucinta dos materiais publicados em perodos distintos e que focam vises de autores sobre determinado assunto (SILVA, 2001). A fundamentao terica constou de bibliografias retiradas de artigos publicados em meio eletrnico e indexados nos sites da Coordenao de Aperfeioamento de Pessoal de Nvel Superior (CAPES) e da Sociedade Brasileira de Matemtica (SBM), alm de obras que se encontravam disponveis em bibliotecas. A organizao da monografia est dividida em trs captulos, dos quais o primeiro discorreu sobre as noes de continuidade e realizou o enfoque sobre a definio das funes contnuas abordando especificamente os temas que serviram para a concretizao das provas de Sarkovskii, assim como, uma sinopse histrica desse estudo. 9

O segundo captulo inicia com as definies primitivas da rea da topologia com as noes de conexidade, tendo como tema principal algumas proposies de espao mtrico conexo e isso serviu como subsdio para a demonstrao do Teorema do Valor Intermedirio. Foram apresentadas ainda algumas noes sobre a Teoria dos Grafos, restringindo-se a um tipo de especial de grafo: grafos de Markov. O terceiro captulo, em seu bojo, traz a definio do teorema de Sarkovskii e o uso de algumas definies, proposies e lemas que contriburam para a obteno de importantes resultados que convergiram aos Teoremas procurados, Li e York e Sarkovskii, alm de mostrar uma ordem no trivial dos nmeros naturais atravs de uma generalizao. Por fim, as consideraes finais, que apresentam uma reflexo de todo o trabalho, pontuando as principais evidncias colhidas e as recomendaes necessrias para que o tema possa atingir objetivos alm dos j alcanados, dentre eles, servir como mais uma fonte de pesquisa para os estudiosos da rea de sistemas dinmicos.

10

2. NOES DE FUNO PARA A DEMONSTRAO DE SHAKOVSKII

2.1 Um Histrico sobre o Teorema de Sarkovskii

O teorema de Sarkovskii amplamente discutido em mbito cientfico nacional e internacional da matemtica e tem sua importncia destacada no tema de sistemas dinmicos. Um artigo publicado no site da Sociedade Brasileira de Matemtica datado de 8 de janeiro 2008 escrito pelo matemtico Dr. Yuri Gomes Lima faz um breve estudo sobre o Teorema utilizando como nicos instrumentos para as demonstraes: o Teorema do Valor Intermedirio e alguns resultados sobre o Grafo de Markov. Os demais autores que escreveram sobre esse assunto desenvolveram o mesmo raciocnio e mostraram que para provar a existncia do caos, aps a descoberta do perodo 3 em determinada funo contnua no intervalo compacto da reta, bastava somente usar repetidas vezes o Teorema do Valor Intermedirio. O primeiro matemtico a provar o Teorema com essa ferramenta foi Xun- Cheng Huang (BARROS e MOITINHO, 2011). O matemtico Bau-Sem Du escreveu sobre o Teorema de Sarkovsky muito primitivamente em 1985, e j, naquela poca, utilizou referncias bibliogrficas de outros autores mais antigos e, de forma elementar, descreveu o assunto, vindo a revis-lo em 2009, mostrando algo mais emprico e menos disperso. A prova do Teorema de Sharkovskii foi apresentada aos poucos, isto , foi o compndio de vrias demonstraes parciais que, ao longo do tempo, foram sendo provados por vrios matemticos, tais como: Li-Yorke, Block, Guckenheimer, Misiurewicz e Young. A descoberta dos artigos de Sharkovskii contribuiu de modo importante para o avano no estudo de sistemas dinmicos unidimensionais e isso teve como consequncia uma produo matemtica significante durante os ltimos 30 anos do sculo passado. O Teorema de Sarkovskii possui um caso especial que foi desenvolvido pelos matemticos Li e York e publicado em 1975 pela revista Monthly. Esse caso afirma que, dada

11

uma funo contnua definida em um intervalo compacto da reta, se existir um ponto de perodo 3, ento possuir pontos de quaisquer perodos (BARROS e MOITINHO, 2011). Essas realizaes foram possveis aps uma evoluo de milhes de anos, desde quando as funes, mesmo sem terem sido descobertas, j representavam uma forte ferramenta para os homens primitivos, pois eles usavam esse conceito de modo bem rudimentar, j que relacionavam a quantidade de animais com o nmero de pedras e isso aumentava o controle de seus rebanhos, o que representou um passo importante para o desenvolvimento da matemtica (S ET AL, 2003).

2.2 Um Tipo Especial de Funo: Funes Contnuas

Nos sculos XVIII e XIX, foram observados os aparecimentos de muitos processos fsicos contnuos e, por conta disso, no se concebia nenhum outro fenmeno que ocorresse de maneira descontnua. O indito ocorreu quando, em 1920, veio tona o conhecimento de que as diferentes frequncias da luz emitidas pelo aquecimento dos tomos geravam um processo descontnuo. Desde ento, as funes contnuas so usadas em diversas reas do conhecimento, tais como aproximao de um planeta ao sol ou quantidade mxima da concentrao de plasma na corrente sangunea (THOMAS, 2006, p. 120). Uma funo pode ser contnua em todo seu domnio ou somente em um ponto x = a. Seja D, o domnio da funo, se existir o limite de f(x) com x, ponto de D, tendendo a a e esse limite for igual a f(a), diz-se que essa funo contnua nesse ponto a e caso ela tenha essa propriedade em todos os pontos de D, ento ela dita contnua em todo seu domnio. (VILA, 2006) A palavra contnua significa sem interrupo, ou seja, esse estudo refere-se s funes cujos grficos no sofrem descontinuao em seu traado. Essa uma definio informal e simplria, por isso ser abordado um conceito mais sofisticado por meio de uma definio utilizando epsillon e delta. Conforme Guidorizzi (2001, p.61):

Definio 1 :Seja f uma funo e p um ponto de seu domnio. Definimos: f contnua em p para todo > 0 dado, existe > 0 ( dependendo de ) tal que, para todo x , p - < x < p + f(p) < f(x) < f(p) + . 12

Como exemplo, vejamos o comportamento de duas funes f e g, respectivamente, quando o valor do domnio x for igual a p.

Figura 01: Grfico de uma funo contnua. Guidorizzi, 2001. uma

Figura 02: Grfico de funo descontnua.

Guidorizzi, 2001.

Nota-se que todos os pontos do domnio de f, de acordo com a figura 01, possuem imagem, mas por outro lado no ocorre o mesmo na figura 02 com a funo g. A funo f, conforme a figura 03, em cada ponto existe um dado > 0 e certo >0 ( dependendo de ) e, pela figura 04, tal que f(p) permanece no intervalo f(p) e f(p) + quando o p permanece entre ] p , p + [ . A funo que possui esses intervalos no domnio e imagem denominada de contnua, que o caso das figuras 03 e 04 respectivamente.

Figura com intervalo

03: da

Grfico imagem.

Figura 04: Grfico com intervalo do domnio. Guidorizzi, 2001. 13

Guidorizzi, 2001.

A funo g no satisfaz essa propriedade, pois a figura 05 mostra que o intervalo na imagem no contnuo, ou seja, para um > 0 no existe > 0 correspondente e essa funo ser denominada descontnua.

Figura 05: Grfico de uma funo com um intervalo descontnuo. Guidorizzi, 2001. Corolrio 1: Sejam as funes f e g : X contnuas em um ponto a do domnio, ento sero contnuas nesse mesmo ponto as funes f + g, f . g, f/g: X , devendo apenas observar a restrio para f/g 0. O domnio da funo f/g o subconjunto de X, em que a existncia de > 0 resulta X (a , a + ) contido no domnio. (LIMA, 2009, p. 76)

Teorema 1: Uma funo polinomial contnua em todos os pontos do domnio.

A demonstrao a seguir foi baseada no texto de clculo de Leithold (1994, p.103). Considerando a seguinte funo polinomial definida por:

f(x) =

+... +

x+

(1)

Observa-se que os coeficientes devem ser numerous reais, a qualquer pertencente ao domnio da funo, tem-se:

0 e n um inteiro

no negativo. Por seguidas aplicaes do Teorema do Limite, pode-se mostrar que, para um

14

im

( )=

+... +

a+

(2)

A partir de (2), verifica-se: im ( ) = f(a).

(3)

15

3. NOES DE CONEXIDADE
Neste captulo foram descritas algumas definies encontradas em Topologia que, segundo Gonalves (2006, p. 2), tiveram seu desenvolvimento no sculo XX quando houve a compreenso de que esse tema se apresentava como elo dentro da prpria matemtica. A conexidade ser tratada especificamente, pois fornecer ferramentas para uma prova no usual do Teorema do Valor Intermedirio.

3.1 Espaos Mtricos Conexos

Os conceitos abordados neste subttulo foram resultados de um estudo bibliogrfico realizado em alguns captulos de Vilches (20?), porm alguns conceitos primitivos sobre espaos topolgicos no sero aprofundados por no representarem o objetivo do captulo. Podemos definir a conexidade de um espao topolgico como segundo Gonalves (2006, p.33):

Definio 1: Um espao topolgico X denominado conexo quando no existirem dois conjuntos abertos A e B disjuntos no vazios em que X = A B. Caso algum desses requisitos no seja cumprido, o conjunto chamado desconexo.

Observao 1: Todo subconjunto unitrio de um espao mtrico M unitrio. (DOMINGUES, 1982, p. 134) Pode ser citado como exemplo de espao topolgico conexo, o caso dos conjuntos e . Por outro lado, conforme Domingues (1982, p. 133) seja I = *0, 1+ e A = {0} e B = {1}, A e B so disjuntos, so ambos no vazios e sua unio o conjunto dado. Logo: A = ] -1, 1/2, *0, 1+ (1)

B = -1/2, 2, *0,1+ Ento A e B so conjuntos abertos, portanto I desconexo.

(2)

16

Os seguintes corolrios serviro para apoiar na demonstrao do Teorema do Valor Intermedirio:

Proposio 1: Seja a mtrica euclidiana ou usual sobre , e X conexo. Ento, X vazio, segmento, semi segmento ou intervalo.

Para a demonstrao considera-se como a = inf X e b = Sup X. Deve-se provar que X = (a, b) ou [a, b] ou (a,b] ou [a,b). Supondo, por absurdo, que essa afirmao no seja verdadeira. Ento, por exemplo, existe c , a < c < b, ta que c X.( X ,a, b-). Ento, X = [a, c) (c, b] (a - , c ) (c, b + ) X = {X (a - , c )} { (b + ) X}, pois X = X . (3) (4)

Temos por (4), que A = X (a - , c ) e B = (b + ) X, logo A,B , c , ento X no conexo, logo a hiptese por absurdo falsa. Proposio 2: Se X conexo e f : X Y uma funo contnua, ento f(X) conexo.

A prova dessa proposio pelo absurdo, ou seja, supor que f(X) no conexo. Logo f(X) = A B; A,B abertos e A B = . Como a funo contnua, A B aberto implica = X. Porm: (A B) = (A) (B) (A) = e (5) (B) = , da, pela definio de funo: (6) (A B) aberto e (A B)

Como A B = , ento (A) (B)

Logo X no conexo o que um absurdo, portanto f(X) conexo. 17

3.2 Teorema do Valor Intermedirio

vila (2006, p. 161) afirma que esse um teorema de visualizao geomtrica bvia e por conta disso, foi aceito e usado no sculo XVIII, sem questionamento, porm sua prova analtica se deu com Bolzano em um de seus trabalhos em 1817. Um exemplo clssico da utilizao desse teorema est no clculo aproximado das razes de polinmios. Neste captulo, foram discutidas duas demonstraes diferenciadas que resultaram no mesmo objetivo. Inicialmente, analisada uma generalizao do Teorema abordada sob o prisma da topologia: Proposio 3: Sejam X conexo e f : X contnua. E sejam a e b X ento ,a, b- f(X), ou seja, para todo c ta que f(a) < c < f(b), existe x X, em que f(x) = c. Demonstrao: Se f uma funo contnua, pela proposio 2, f(X) conexa e, portanto, pela proposio 1, f(X) tambm um intervalo. Seja [ , conclui-se que para todo c , , ], existe - f(X), ou seja, existe x X, em que f(x) = c. Proposio 4: Seja a funo f: [a, b] R contnua. Se f(a) < d < f(b), ento existe c (a ,b) tal que f(c) = d como se verifica pela figura 06. - e f(a) = e f(b) = , ento = f(a) f(X), = f(b) f(X) ta que , ,

Figura 06: Grfico com os pontos que satisfazem a definio do Teorema do valor Intermedirio. Guidorizzi, 2001.

18

Para a segunda demonstrao utilizaremos as idias contidas em Cattai (2009, p.65): Teorema 1: Seja f: [a, b] [a,b] e f (a) < L < f (b) ento existe c (a, b) tal que f (c) = L.

Demonstrao: faremos o uso de um conjunto S para a retirada de algumas concluses. S = {x [a, b]; f (x) = L}

(7)

Disso conclui-se que S no vazio, pois a S e limitado superiormente, j que b a cota superior de S. Seja c = sup S e ( f( ) S com n tal que c. Temos que ) = L para todo n N e devido a continuidade de f em c, temos que: im f( ) = f (c)

(8)

Portanto, f(c) L, e resulta que c < b. Supondo f(c) < L, Cattai ( 2009, p. 65) apoiou o restante do raciocnio na seguinte proposio: Proposio 5: Seja f : A contnua em x A. Se f (x) < L , ento existe > 0 tal que f (x) < L para todo x A tal que x x < . Temos uma concluso anloga se f (x) > L. Logo, em virtude dessa proposio, existe > 0 tal que se x [a, b] e x c < , ento f(x) < L. Como c < b, pode-se tomar x [a, b] com c < x < c + , para obter que f (x) < L. O que significa afirma que x S e x > c = sup S, o que absurdo. Portanto, f (x) = L.

19

3.3 Noes de Grafos

Por volta de 1906, surgiu na Rssia, o interesse pelo estudo de cadeias ligadas por eventos e teve como representante Andrei Andreyevitch Markov. Esse tema foi amplamente difundido no decorrer do sculo XX e seus resultados contriburam significativamente para a teoria cintica dos gases e para muitos fenmenos biolgicos e sociais, pois alguns eventos estudados dependiam de resultados precedentes. A esse tipo de desencadeamento foi dado o nome de Cadeia de Markov (BOYER, 1996). Em outras palavras, a Cadeia de Markov formada por sequncias de variveis aleatrias em que uma varivel futura determinada pela varivel presente, ou seja, um desencadeamento de resultados de forma independente. Alguns exemplos desses tipos de cadeias ocorrem no balanceamento qumico com a representao de uma seta que determina o consumo dos reagentes e formao dos produtos e nos circuitos eltricos com a passagem da corrente eltrica, tais como a Ponte de Wheatstone.

3.3.1 Grafos de Markov e a Definio Formal

O grafo uma estrutura definida por G(V, E), em que V o conjunto de elementos denominado vrtice e E, o conjunto de elementos chamados de arestas. A resoluo de problemas motiva o aparecimento de esquemas ou modelos com o intuito de uma melhor visualizao dos dados e ideias. A partir disso, possvel encontrar a soluo ideal para o problema e um exemplo de uma ferramenta bastante eficaz o grafo de Markov. A definio formal do Grafo de Markov de acordo com Lima (2008, p. 02):

Seja uma funo contnua f: I I e ,... , I intervalos fechados. O grafo de Markov associado funo f e aos intervalos ,... , um grafo G = (V, E) tal que V = { ,..., + e E = { / f ( ) }. Podem-se inferir alguns resultados dessa definio, pois existem representaes diferentes de um mesmo grafo ou uma mesma representao pode descrever grafos distintos. Os Grafos podem ter suas arestas orientadas, da serem chamados de Grafos Orientados, ou 20

seja, para o exemplo de uma conexo que interliga um satlite () base na terra () podem ser representada pelos grafos orientados e, nesse caso, (, ) (, ), pois no primeiro, o satlite se comunica com a terra e, no segundo, a terra se comunica com o satlite, ou seja, informaes distintas. Um tipo especial de grafos o grafo orientado, conforme Sequeira (2007, p.5) enuncia:

Definio 2: Denomina-se grafo orientado um par G(V, E), em que V um conjunto finito de vrtices e E uma famlia de pares ordenados (x, y) de elementos de V.

Observao 2: Cada aresta no grafo com extremidades diferentes pode ser denominada como lao e, caso tenha a mesma extremidade, de lacete. Vejamos o comportamento da seguinte funo f: [0, a] [0, a] e seu grfico conforme a figura 07: 2x, se x f(x) 2a 2x, se x

Figura 07: Grfico de uma funo do 1 grau 21

Com dois intervalos. Pesquisa Direta. Faamos os intervalos I = [ , ], em que f(I) = f([0, a]) = f( = [a/2, a] e f( ), f( )

= [0, a/2] e

), portanto o grafo de Markov relativo a esses intervalos ser

representado de acordo com a figura 08.

Figura 08: Grafo de Markov para os intervalos Observao 3: Como f( )

. Pesquisa Direta.

, isso permite a construo de ciclos de quaisquer .

tamanhos devido aos inmeros loops que podem ser formados de

22

4. O TEOREMA DE SHARKOVSKII
A prova desse teorema no requer ferramentas to sofisticadas e pode ser encontrada em livros que versam sobre o tema de sistemas dinmicos. (BARTON e BURNS, 2000). O presente captulo analisar sucintamente algumas definies, proposies e lemas adotados preponderantemente por Yuri Gomes Lima (2008) e outros autores com o intuito de alcanar os seguintes objetivos: provar um teorema e mostrar sua generalizao atravs do uso de uma ordem no trivial nos inteiros positivos, a qual chamada de ordem de Sharkovskii.

4.1. Definies e Proposies Iniciais

O Teorema do Valor Intermedirio estudado no captulo anterior uma importante ferramenta para apresentao das definies e proposies iniciais nesse estudo. Definio I. Seja f: X X e x X, ento x ser o ponto fixo de f, se f(x)=x e o conjunto dos pontos fixos dado por Fix(f) = { x I/ f(x) = x}. Definio II. Seja f: X X contnua e x X ento x ser o ponto cclico ou peridico de ordem n de f, se (x) = x para todo k < n e (x) x, e para n 1 o conjunto (x) = = { x Fix(f) / n menor natural d tal que

dos pontos de perodo n dado por x }.

Observao 1: ressalta-se que todo ponto fixo cclico de ordem n = 1.

Lima (2008, p. 1) afirma em seu artigo que toda funo contnua possui ponto fixo a partir da seguinte proposio: Proposio 1: Seja I = [a,b], se f : I I contnua, ento Fix(f) .

Para a demonstrao dessa proposio, faremos uso de uma particularidade para o Teorema do Valor Intermedirio com o objetivo de generalizar o resultado, ou seja, consideremos uma funo g: [a,b] e f: [a,b] [a,b], tal que g(x)= f(x) x; sabe-se,

23

contudo, que de acordo com Lima (2009, p.76) a funo g contnua, pois a soma da funo f contnua com uma polinomial e toda funo polinomial contnua; da, temos que, g(a) = f(a) a 0, pois a f(a), f(b) b g(b) = f(b) b 0

(1)

(2)

possvel utilizar o T.V.I. para a funo contnua g. Desse fato, infere-se que existe um ponto c [a,b], tal que g(c) = 0, logo conclui-se que g(c) = f(c) c = 0, portanto, f(c) = c. Observao 2: Em outras palavras, a proposio 1 significa que f(I) I e isso implica que Fix(f) .

Em outra proposio, Lima (2008, p1) utiliza como hiptese a recproca da proposio 1, porm com a mesma tese. Proposio 2: Seja f : I I contnua. Se J I um intervalo fechado tal que f(J) J ento Fix (f / J) . Seja J= [a,b] e, pela definio de imagem e hiptese, supondo existirem c,d [a,b], tais que f(c) = a e f(d) = b, ao se recorrer funo contnua g(x) = f(x) x, satisfazem s condies: a c g(c) = f(c) c g(c) 0 b d g(d) = f(d) d g(d) 0

(3)

(4)

Pelo T.V.I., existe x [c,d], tal que g(x) = 0, logo f(x) = x, portanto x Fix(f/J). A anlise do artigo de Yuri Gomes Lima continua com a seguinte proposio:

24

Proposio 3: f (x)

Sejam f : I I, uma funo contnua e

2 ;

, . . . ,

I,

intervalos fechados, tais que f( 1 ) , i = 0,1,2,..., n 1

f( 2 ) ... f( )

; ento existe x Fix(f ) tal que

Demonstrao: ser necessria a utilizao de um lema para complementar a prova dessa proposio: I, tais que f( )

Lema 1:

Sejam dois intervalos fechados, .

, ento

existe um intervalo fechado J tal que f(J) =

Demonstrao do Lema 1: Seja imagem e hiptese, existem a e b

= [a,b] e

= [c,d] e, pela definio de

tais que f(a) = c e f(b) = d. Denotamos por I = [a,

b] ou [b, a], da, pelo Teorema do Valor Intermedirio dado y [c,d], existe x I, ou seja f( I ) [c,d]. Logo, o intervalo I satisfaz a mesma propriedade que [a, b], j que f( I ) [c,d]. Alm disso, se provamos que J I tal que f(J) = , ento o mesmo intervalo J satisfaz J [a, b]. Ento sem perda de generalizao pode-se supor que {a, b} = {a, b}:

{f(a), f(b)} = {c, d}

(5)

Denotando: a = Max {x [a, b] / f(x) = f(a)} = Mn {x [

(6)

, b] / f(x) = f(b)}

(7)

De (6) infere-se que x[

, b) tal que f(x) = f(a)

(8)

E, de (7), que: x(

] tal que f(x) = f(b).

(9)

25

Afirmamos que [ demonstrada a dupla incluso. Para f([ {f( Da, [c, d] f([ ,

] = J, isto f([

]) = [c, d] e para isso deve ser

]) [c, d], temos que f(

) = f(a) e f( ) = f(b) e por (5), conclui-se , ], tal que f(x) = y.

), f( )} = {c,d}, logo, pelo T.V.I., dado y [c,d] existe x [ , ]). ,

A segunda incluso f([ considerao de dois casos:

]) [c, d] dever ser demonstrada com a

Se f(a) = c e f(b) = d (c < d) [

Considerando

], se f( ) < c, ento se tem f( ) < c < d, pelo Teorema , b), tal que

do Valor Intermedirio, existe x [ , b], tal que f(x) = c, mas por (8) x [ f(x) = f(a) = c, logo f( ) c. Se f( ) > d, ento se tem c < d < f( ), pelo T.V.I., existe x [ f(x) = d, mas por (9) x ( , ] tal que f(x) = f(b) = d. Portanto f( ) d.

], tal que

Se f(a) = d e f(b) = c (c < d) [

Considerando existe x [ c.

], se f( ) < c, ento se tem f( ) < c < d, pelo T.V.I., , b) tal que f(x) = f(a) = c, logo f( )

,b], tal que f(x) = c, mas por (8) x [

Se f( ) > d, ento se tem c < d < f( ), pelo T.V.I., existe x [ f(x) = d, mas por (9) x ( , ] tal que f(x) = f(b) = d. Portanto ( ) d. ,

], tal que

Conclui-se, ento, que f([ = [c, d].

]) [c,d]. E provando a dupla incluso f([

])

Com o auxlio do Lema anterior ser possvel provar a proposio 3:

26

Tem-se f( ) = existe

I, tal que f( 1 )
3

2,

ento pelo Lema 1, existe ( )

tal que

, como f( 2 ) , tal que

f( 2 ) = f(f( )), por hiptese

e ainda pelo Lema 1,

( )= ...

, da, pelo Princpio da Induo Matemtica Finita, seja, (10)

, tal que

( )=

Pela hiptese da proposio 3, temos: ) ( )) ( )

f( (

(11)

(12)

(13)

Pelo Lema 1, existe Ento, (x) ...

tal que

( )=

. ( )=

(14) ( )= ( )=

Portanto, ( ), tem-se que

... , para x

e .

, i = 1,2,3,...., n. Assim, ( )=

, ou seja, pela proposio 2, x

, tal que

(x) = x. E, como

Observao 3: A proposio 3 pode ser generalizada para o grafo de Markov com a seguinte esquematizao: Seja (x) ... um grafo de Markov, ento existe x (x) tal que

, em que i assume valores de 0 a n 1.

4.2 O Perodo 3 (trs) e a Implicao para o Caos de Li e Yorke

Os resultados obtidos nas sees anteriores so imprescindveis para a continuao e demonstrao do Teorema adiante. Segundo Lima (2008, p.3):

27

Teorema 1: Uma funo contnua que estiver definida em [0,1] [0,1] possuir um ponto de perodo 3, ento f possuir pontos de quaisquer perodos.

Esse teorema considerado um corolrio do Teorema de Sharkovskii e para sua demonstrao usada a funo f: I I contnua, em que I = [0,1]. I em que f( ) = < <

Demonstrao: Seja

, f( ) =

e f( ) =

em que

e, supondo inicialmente,

; vejamos como esses pontos do domnio

se comportam com suas respectivas imagens no grfico ilustrado pela figura 09, observado no artigo de Yuri Lima.

Figura 09: Funo contnua que satisfaz f( ) = f( ) = e f( ) = . Lima, 2008.

Podem ser representados por meio do grafo de Markov os intervalos e =[ , ] de acordo com a figura 10. Pelo T.V.I., f([ , ] e f( ) f([ , ]) [ f( ), ( )] = [ ,

=[ ,

] ],

]) [f( ), ( )] = [ ,

e essa unio forma um loop no grafo

que permitir a construo de ciclos de tamanhos quaisquer, ou seja, a existncia de um ponto comum aos dois intervalos permite construir n-interaes quantas forem necessrias.

Figura 10: Grafo de Markov para os intervalos e (o lao significa a aplicao da funo). Lima, 2008. 28

O objetivo da prova mostrar que as conjecturas acima resultam em existncia da funo com perodo igual a dois e maiores do que trs e isso significa provar que (f) .

Caso I: perodo igual a 2 (dois) , pela proposio 3, existe um ponto x , como ={ (f). ex , ento x tal que x ], ,

Seja o ciclo fix

(x) e alm disso x fix f(x). Ento, f(x) . Se x ( )

} e f(x) [ , ={ }, da x =

conclui-se que f(x) x, pois x mas (x) = x e

, o que um absurdo. Logo, x

Caso II: perodo igual maior do que 3 (trs)

De forma anloga ao caso I, ser feito o uso de um ciclo arbitrrio: (15)

Da, pela proposio 3, existe x funes compostas associadas aos intervalos (x)

, tal que

(x) = x, em que as (n 2) , ou seja,

pertencem a (x)

f(x),

(x),...,

(16)

Por absurdo, iremos supor que x

(f), ento x

(f) para algum d < n

(Obs.: d divisor prprio de n) (LIMA, 2008). Para mostrar tal afirmao, ser necessrio utilizar o algoritmo da diviso, pode-se escrever n em funo de d, ou seja, n = k.d + r, para 0 r < d

(17)

Disso resulta: f (x) = x f

.

(x) = x f (f

(x)) = x f (x) = x

(18) 29

De (17), se r 0, ento r < d, absurdo, pois x segundo a definio II, logo r = 0, ento n = k.d.

(f) e d o valor mnimo

Infere-se que 1 d < n, da o menor valor que k pode assumir 2, portanto d , 0 d -1 e para tal valor de k, admite-se n 4 2n 4 n n 2,

resultando, portanto: 0d1< n2 (19)

Logo, de (19), tem-se que n 1 = d 1 + n d, ento,

(x). Por outro lado,

(20)

(x) =

(x))

(21)

E como

(x) = x e

(x) = x,

Conclui-se que

(x) = x e

(x) =

(x) (x)

(22)

Ao realizar a anlise de (16) e (22), tem-se logo:

da,

(x) =

x=

(x) = f( ) =

(23)

f(x) = f( ) =

(24)

Do absurdo gerado por (24), conclui-se que x Ie

(f).

Supondo o caso, para f( ) = f( ) =

, em que

<

<

e f( ) =

. A figura 11 mostra o comportamento desses pontos e suas imagens.

30

Figura 11: Funo contnua que satisfaz f( ) = , f( ) = e f( ) = . Pesquisa Direta, 2011. A figura 12 mostra o grafo de markov associados aos intervalos =[ , ]. Sabe-se que f( ) e f( ) =[ , ]e

e essa unio forma um loop no grafo que

permitir a construo de ciclos de tamanhos quaisquer, ou seja, a existncia de um ponto comum aos dois intervalos permite construir n-interaes quantas forem necessrias.

Figura 12: Grafo de Markov para os intervalos e (o lao significa a aplicao da funo). Pesquisa Direta. Caso I: perodo igual a 2 (dois) (f). 31 , pela proposio 3, existe um ponto x ={ } e f(x) [ , ={ }, da x =

Seja o ciclo = x. Ento, f(x) . Se x ex , como

tal que ( )

(x)

], conclui-se que f(x) x, pois x , mas (x) = x e ,o

, ento x

que um absurdo. Logo, x

Caso II: perodo igual maior do que 3 (trs)

De forma anloga ao caso I, ser feito o uso de um ciclo arbitrrio: (25)

Da, pela proposio 3, existe x compostas associadas aos intervalos (x) pertencem a (x)

(x) = x em que as (n 2) funes , ou seja,

f(x),

(x),...,

(26) (f), ento x (f) para algum d < n

Por absurdo, iremos supor que x

(Obs.: d divisor prprio de n) (Lima, 2008). Para mostrar tal afirmao, ser necessrio utilizar o algoritmo da diviso, podendo escrever n em funo de d e que j fora mostrado anteriormente na suposio anterior em (18). Aps reajustarmos os clculos ao novo grafo de Markov e utilizar a concluso em (22) tem-se que: (x)

(x) =

(27)

Ao analisar (26) e (27) percebe-se que

(x) =

, logo:

x=

(x) = f( ) =

(28)

f(x) = f( ) =

(29)

Do absurdo gerado por (29), conclui-se que x

(f).

32

4.3 Uma Nova Ordem dos Nmeros Inteiros Positivos

Sarkovskii provou seu famoso teorema em 1962 e desde dessa poca muitos matemticos provaram de maneiras diferenciadas (BERNHARDT, 2004, P. 38). Esse teorema cria uma nova ordem para os inteiros positivos: 3 5 7 ... 2.3 2.5 2.7 ... 2 .3 2 .5 ... 2 ... 2 1. (30)

Teorema 2: Seja a funo contnua f: I I. Se f possui um ponto de perodo n, em que n m, ento a funo possui um ponto de perodo m. O Teorema 1 do presente captulo uma consequncia dessa generalizao, pois o nmero 3 (trs) o maior nmero da ordem de Sarkovskii e, portanto, uma funo de perodo 3 decorre ser uma funo de quaisquer perodos. No caso em que uma funo possui o perodo 5 no se pode afirmar que ela tambm possui perodo 3, j que na ordem 3 5, mas obrigatoriamente tem perodo 7 (ROCHA, 2006, p. 15). Em suma, o Teorema de Sarkovskii mostra para funes contnuas quais perodos implicam outros perodos. Primeiro so dispostos todos os nmeros mpares, exceto o nmero 1; depois listamos os mpares multiplicados por dois e logo aps, continuando a sequncia, por 2, 2,..., 2 ; da, finalizando com as potncias de base 2 at chegar ao nmero 1. Esse o significado da ordem de Sarkovskii.

33

5. CONSIDERAES FINAIS
O Teorema de Sarkovskii sempre mostrou interesse dos matemticos, pois um assunto que trabalha uma forma diferente de lidar com o caos e sua demonstrao uma simples utilizao do Teorema do Valor Intermedirio que influencia nas provas das proposies e lemas. Esse estudo descritivo priorizou a reescrita do artigo do Dr. Yuri Gomes Lima em 2008, intitulado Teorema de Sharkovsky e conseguiu o objetivo de explicar todos os detalhes e esclarecer as informaes omissas, alm de mostrar a demonstrao de alguns casos anlogos. No decorrer dos captulos foi obtida uma ordem lgica para o resultado final que foi a demonstrao de um caso particular do Teorema de Sarkovskii atravs do uso de temas com reduzida complexidade. As noes de continuidade representaram subsdio para o desenvolvimento das funes contnuas. No captulo seguinte, as noes de conexidade auxiliaram o desenvolvimento da demonstrao do Teorema do Valor Intermedirio. Por fim, os grafos de Markov foram a principal esquematizao utilizada para criar iteraes de quaisquer perodos. Esse desencadeamento de simples contedos resultou em uma compreenso mais fcil do Teorema. A presente monografia deixou espao para que haja a continuidade dos estudos sobre o Teorema de Sarkovskii, j que a existncia dos pontos peridicos revela comportamentos diferenciados, tais como, para uma funo contnua de perodo 5, que j se torna mais complexa, mas pode ser demonstrada com a generalizao de Sarkovskii. A presente monografia representa, portanto, mais uma forma de bibliografia para a literatura matemtica na subrea de sistemas dinmicos, porm deve ser entendida como precursora para o desenvolvimento de possveis trabalhos na rea de sistemas dinmicos na ps- graduao.

34

6. REFERNCIAS

VILA, Geraldo. Anlise Matemtica para a Licenciatura. 3 ed. So Paulo: Edgard Blucher, 2006.

BARTONS, Reids; BURNS, Keith. A Simple Case of Sharkovskiis Theorem. The American Mathematical Monthly. Disponvel em: < http://www.jstor.org/stable /2695586 >. Acesso em: 18 abr. 2011.

BERNHARDT, Chris. A Sharkovsky Theorem for a Discrete System. Journal of Difference Equations and Applications, Fairfield, USA, v. 10, n. 1, p. 29 40 jan 2004.

BOYER, Carl B. Histria da matemtica. 2 Edio. So Paulo: Edgard Blcher Ltda, 1996.

CATTAI, Adriano Pedreira. Anlise Real. Bahia: [s.n.], 2009.

DO, Minhnhat. College of Phisical and Mathematical Sciences. [S.L.]. Disponvel em: < http://cpms-old.byu.edu/node/1735>. Acesso em: 04 dez. 2011.

DOMINGUES, Higino Hugueros. Espaos Mtricos e Introduo Topologia. So Paulo: Atual, 1982.

DU, Bau Sem. A Simple Proof of Sharkovskys Theorem Rerevisited. Math.DS, Taiwan, v. 7, p. 1 25, sep 2009.

DU, Bau Sem. The Minimal Number of Periodic orbits of Periods Guaranteed in Sharkovskiis Theorem. Bull. Austral. Math. Soc. v. 31, p. 89 103, 1985.

35

GONALVES, Natlia de Barros. Topologia do ponto de vista da Teoria dos conjuntos. So Carlos, 2006. 42f. Monografia (Graduao em Matemtica). Universidade Federal de So Carlos, So Carlos SP, 2006. Disponvel em: < http://www.impa.br

/opencms/pt/eventos/downloads/jornadas_2006/trabalhos/jornadas_natalia_gonxalves.pdf>. Acesso em: 05 dez 2011.

GUIDORIZZI, Hamilton Luiz. Um Curso de Clculo. 5. ed. Rio de Janeiro: LTC, 2001.

LEITOHOLD, Louis. O Clculo com Geometria Analtica. 3 ed. So Paulo: Harbra Ltda, 1994.

LIMA, Elon Lages. Anlise Real: Funes de Uma Varivel. 10 ed. Rio de Janeiro: IMPA, 2009.

LIMA, Yuri Gomes. Material da XI Semana Olmpica. Olimpada Brasileira de Matemtica, Rio de Janeiro. Disponvel em: <http://www.obm.org.br/opencms

/semana_olimpica/XI.htm>. Acesso em: 04 dez. 2011.

MOITINHO, Valter Victor Cerqueira; BARROS, Jean Fernandes. Uma Demonstrao do Teorema de Sarkovskii. In: 28 Colquio Brasileiro de Matemtica, 2011, Rio de Janeiro. Anais do 28 Colquio Brasileiro de Matemtica. 2011. p.1. Disponvel em: < http://www.impa.br/opencms/pt/pesquisa/pesquisa_coloquio_brasileiro_de_matemati ca/CBM28/ attach/poster_valter_moitinho.pdf >

ROCHA, Jaqueline Siqueira. Sistemas Dinmicos Caticos. Rio de Janeiro. Disponvel em: <http://www.impa.br/opencms/pt/eventos/downloads/jornadas_2006/trabalhos/jornadas_ jaqueline_rocha.pdf. Acesso em 09 dez 2011.

S, Pedro Franco; SOUZA, Glageane da Silva; SILVA, Isaac Dayan Bastos. Conceito de Funo: alguns dados histricos. Revista Traos. Belm, v. 6, n. 11, p. 81 94, ago, 2003. 36

SEQUEIRA, Lus. Matemtica Discreta. Disponvel em: < http://www.ptmat.fc.ul.pt /~lsequeir/md/teoricas/aula22print.pdf >. Acesso em: 07 dez 2011.

SILVA, Edna Lcia da; MENEZES, Estela Muzskat. Metodologia da Pesquisa e Elaborao de Dissertao. 3. Ed. Florianpolis: Laboratrio de Ensino a Distncia da UFSC, 2001. 121p.

THOMAS, George B. Clculo. 4 ed. So Paulo: Pearson, 2006.

VILCHES, Maurcio A. Topologia Geral. Rio de Janeiro: [s.n.], [20?].

37