Sunteți pe pagina 1din 8

Um estudo sobre funes contnuas que no so diferenciveis em nenhum ponto

Maria Anglica Arajo

Universidade Federal de Uberlndia - Faculdade de Matemtica Graduanda em Matemtica - Programa de Educao Tutorial
mariangelica. petmat@ yahoo. com. br

Vincius Vieira Fvaro


favaro@ famat. ufu. br

Universidade Federal de Uberlndia - Faculdade de Matemtica Professor Adjunto I

Resumo: Neste trabalho construmos um exemplo de uma funo contnua f : R R que no diferencivel em nenhum ponto. Para a construo de tal exemplo, introduzimos alguns conceitos e resultados bsicos da Anlise Matemtica, e aplicamos esses resultados na construo de tal exemplo. Alm disso, zemos um breve apanhado histrico do surgimento do problema de encontrar funes contnuas que no so diferenciveis em nenhum ponto.

1 Introduo
Com o surgimento do Clculo Diferencial, mais precisamente, o conceito de continuidade e diferenciabilidade de funes reais a valores reais, vrios problemas naturais aparecem. Para motivar o propsito deste trabalho, vamos estudar alguns problemas: Toda funo contnua diferencivel? No, por exemplo a funo f (x) = |x|, x R, no derivvel em p = 0, entretanto, esta funo contnua em p = 0, o que nos mostra que uma funo pode ser contnua em um ponto sem ser derivvel neste ponto. Desse modo, continuidade no implica em diferenciabilidade. Note que tal funo no diferencivel em 0, pois os limites laterais abaixo so diferentes: lim f (x) f (0) |x| |0| = =1 x0 x0

x 0+

lim
x

f (x) f (0) |x| |0| = = 1 x0 x0

Na gura 1.1 temos o grco da funo f (x) = |x|. Note que o grco de f no possui reta tangente no ponto (0, 0).

FAMAT em Revista

Figura 1.1: Exemplo de uma funo contnua mas no diferencivel Existe alguma funo que no diferencivel em nenhum ponto? Sim, a funo de Dirichlet um exemplo de funo que no diferencivel em nenhum ponto. A mesma dada por f (x) = 1, se x Q 0, se x (R Q)

Vamos mostrar que f no contnua em nenhum ponto a R. Primeiramente, seja a R Q. Tome =


1 2

> 0. Ento para cada > 0, como Q denso em R, existe x Q, tal que |x a| < , mas |f (x ) f (a)| = |1 0| = 1 > 1 = . 2

Portanto, f no contnua em a. O caso a Q, decorre de maneira anloga usando a densidade de R Q em R. Portanto f no contnua em nenhum ponto de R. Como toda funo contnua diferencivel, segue que f no diferencivel em nenhum ponto de R. Note que, nesse exemplo, a funo no diferencivel em nenhum ponto, pois no contnua em nenhum ponto. Isso motiva a prxima pergunta: Existe alguma funo contnua f que no seja diferencivel em innitos pontos? Sim, basta estender por periodicidade a funo f (x) = |x| a toda reta, conforme gura 1.2 Agora, trataremos do problema central deste trabalho: Existe uma funo f contnua que no seja diferencivel em todos os pontos de R? fcil percebermos que continuidade no implica em diferenciabilidade; que existem funes que no so diferenciveis em nenhum ponto; e funes contnuas f que no so diferenciveis em innitos pontos; mas nossa intuio pode falhar quando nos perguntamos se existe alguma funo contnua que no diferencivel em nenhum ponto de seu domnio.
Introduo Universidade Federal de Uberlndia

Um estudo sobre funes contnuas que no so diferenciveis em nenhum ponto

Figura 1.2: Exemplo de uma funo no diferencivel em innitos pontos De fato, no incio do sculo XIX, muitos matemticos acreditavam que as funes contnuas tinham derivadas num nmero signicativo de pontos e alguns matemticos tentaram dar justicativas tericas deste fato, como por exemplo A. M. mpere em um trabalho publicado em 1806. Mas at o incio do sculo XIX os principais conceitos do Clculo ainda no tinham uma fundamentao lgica adequada e o trabalho de mpere falhava nisso, dadas as limitaes das denies de seu tempo. Em 1872, K. Weierstrass publicou um trabalho que chocou a comunidade matemtica provando que esta conjectura era falsa. Mais precisamente, ele construiu um exemplo de uma funo contnua que no era diferencivel em nenhum ponto. A funo em questo, foi denida por

w(x) =
k=0

ak cos(bk x),

onde 0 < a < 1 e b um nmero mpar tal que ab > 1 + 3 . Este no foi o primeiro exemplo de uma 2 funo com tais propriedades; com o tempo, foram encontrados exemplos datados de antes do exemplo de Weierstrass, como os do matemtico tcheco B. Bolzano, em torno de 1830 e do matemtico suo C. Cellrier, em torno de 1860. Aps o exemplo de Weierstrass, vrios outros matemticos deram suas contribuies construindo exemplos de funes contnuas que no so diferenciveis em nenhum ponto. Neste trabalho apresentaremos o exemplo devido a van der Waerden, mas para isso precisaremos de alguns resultados bsicos da Anlise Matemtica.

2 Denies e resultados preparatrios


Denio 2.1. Seja X R. Uma sequncia de funes fn : X R uma correspondncia que associa a cada nmero natural n uma funo denida de X em R. Dizemos que a sequncia de funes converge simplesmente (ou pontualmente) para a funo f : X R se para cada x R, a sequncia de nmeros (fn (x)) = (f1 (x), f2 (x), . . . , fn (x), . . .) converge para o nmero f (x). Em outras palavras, (fn ) converge para f simplesmente se dado x X e > 0, n0 N tal que n Notao: fn f simplesmente. Denio 2.2. Dizemos que a sequncia de funes fn : X R converge uniformemente para uma funo f : X R, se dado > 0, n0 N tal que
Faculdade de Matemtica Denies e resultados preparatrios

n0 |fn (x) f (x)| < .

FAMAT em Revista

n Notao: fn f
u

n0 |fn (x) f (x)| < , x X.

Denio 2.3. Uma srie de funes uma srie do tipo

fn (x) = f1 (x) + f2 (x) + .


n=1

Dizemos que tal srie converge pontualmente se para cada x X a srie numrica fn (x) converge (ou a sequncia das somas parciais (sn (x)) , onde sn (x) = f1 (x) + + fn (x), convergente). n=1 Denio 2.4. Dizemos que a convergncia uniforme, ou que a srie de funes converge uniformemente se a sequncia das somas parciais (sn ), onde sn (x) = f1 (x)+ +fn (x), converge uniformemente. Ou seja, fn (x) converge uniformemente em X para a soma f (x), se dado > 0, n0 N tal que n=1
n

n0 |f (x)
j=1

fn (x)| = |
j=n+1

fj (x)| < , x X.

Teorema 2.1 (Critrio de Cauchy para sries numricas). Uma condio necessria e suciente para que uma srie an seja convergente que dado qualquer > 0, exista n0 N tal que, para todo inteiro positivo p, n n0 |an+1 + an+2 + + an+p | < Demonstrao: Primeiramente, suponha an = S, com soma parcial Sn = n aj . Da Sn j=1 converge para S, donde segue que (Sn ) uma sequncia de Cauchy. Assim, seja > 0 e p N. Como (Sn ) de Cauchy, existe n0 N, tal que m, n Tome m = n + p, ento n n0 m = n + p > n n0 |an+1 + + an+p | = |Sn+p Sn | <
n j=1 aj .

n0 |Sn Sm | < .

Contrariamente, considere a sequncia das somas parciais Sn = que > 0, n0 N tal que , p N n m, n n0 |Sn Sn+p | < n0 , m n |Sn Sm | <

Assim, segue da hiptese

Logo, (Sn ) uma sequncia de Cauchy, o que implica que (Sn ) convergente. Potanto, an convergente. Apresentaremos agora dois resultados que sero usados na construo de nosso exemplo: Teorema 2.2. Se uma srie de funes contnuas para f (x), ento f tambm contnua. fn (x) converge uniformemente em um intervalo

Teorema 2.3 (Teste de Weierstrass). Seja fn : X R uma sequncia de funes e suponha que existam constantes positivas Mn , n N, tais que |fn (x)| Mn , x X e n N. Se Mn convergente, ento a srie fn (x) converge absolutamente e uniformemente em X.
Denies e resultados preparatrios Universidade Federal de Uberlndia

Um estudo sobre funes contnuas que no so diferenciveis em nenhum ponto

Demonstrao: pois

Pelo teste da comparao, para cada x X, temos que |fn (x)| Mn , x X, n N e Mn convergente.

|fn (x)| converge,

Portanto, fn (x) converge absolutamente, x X. Seja > 0. Como Teorema 2.1 que existe n0 N tal que
m

Mn convergente, segue do

m > n Assim, x X e m > n n0 temos

n0
j=n+1

Mj < .

|fn+1 (x) + + fm (x)|

|fn+1 (x)| + |fn+2 (x)| + + |fm (x)|


m

Mn+1 + Mn+2 + + Mn =
j=n+1

Mj < . fn (x) converge uniformemente.

Portanto, segue do Critrio de Cauchy para sries de funes que

Agora estamos aptos a construir uma funo contnua que no diferencivel em nenhum ponto.

3 A funo de van der Waerden


Consideremos inicialmente a funo f0 : R R, dada por f0 (x) = {x}, onde {x} denota a distncia de x ao inteiro mais prximo. Por exemplo, f0 (9, 2) = 0, 2; f0 (8) = 0; f0 (1, 83) = 0, 17. Agora considere a funo f1 (x) = f0 (10x), x R. Por exemplo f1 (5, 64) = a distncia de 56, 4 a 56 que 0, 4. Da mesma forma denimos f2 (x) como sendo a distncia de 100x ao inteiro mais prximo, ou seja, f2 (x) = f0 (100x). Generalizando, temos fk (x) = f0 (10k x), x R e k = 0, 1, 2, . . . As guras 3.1, 3.2 e 3 representam os grcos das funes f0 , f1 e f2 , respectivamente. Note que j no uma tarefa simples desenhar uma reta tangente ao grco de f2 . A partir do grco de f0 , vemos que ela peridica de perodo 1 (ou melhor, f0 (x+1) = f0 (x), x R ), contnua e alm disso |f0 (x)| Denamos agora a seguinte funo

1 , x R. 2

F (x) =
k=0

fk (x) , x R. 10k 1 1 = k 2 2.10


k=0

(3.1)

Como,

k=0

fk (x) 10k

k=0

1 10k

1 1 uma srie convergente, segue do Teste de Weierstrass que a srie (3.1) uniformemente e 2 k=0 10k convergente em R. Em particular, temos que F est bem denida. Nosso objetivo mostrar que F contnua, mas no derivvel em nenhum ponto de R. k (x) Como cada fk contnua e f10k converge uniformemente para F (x) em R, segue do Teorema k=0
Faculdade de Matemtica A funo de van der Waerden

FAMAT em Revista

Figura 3.1: grco de f0

Figura 3.2: grco de f1

Figura 3.3: grco de f2

A funo de van der Waerden

Universidade Federal de Uberlndia

Um estudo sobre funes contnuas que no so diferenciveis em nenhum ponto

2.2 que F contnua em R. Portanto, nos resta mostrar que F no diferencivel em nenhum ponto de R. Para isto, contruiremos uma sequncia (xn ) tal que lim xn = a, mas no exista o limite n=1
n

F (xn ) F (a) . n xn a lim Para isto, suponha a = a0 , a1 a2 . . . an . . . , com n N e considere xn = a0 , a1 a2 . . . an1 bn an+1 . . . onde bn = an + 1 se an = 4 ou 9 e bn = an 1 se an = 4 ou an = 9. Assim, xn a = 10n . Por exemplo, se a = 0, 27451, temos x1 x2 x3 x4 Para esses exemplos, temos f0 (x3 ) f0 (a) = 0, 001 f1 (x3 ) f1 (a) = +0, 01 f2 (x3 ) f2 (a) = 0, 1 f3 (x3 ) f3 (a) = 0 fk (x3 ) fk (a) = 0, k 3 Generalizando, temos que para n N fk (xn ) fk (a) = 10kn , k = 0, 1, . . . , n 1 fk (xn ) fk (a) = 0, k n Assim, F (xn ) F (a) = xn a
k=0

= 0, 37451 = 0, 28451 = 0, 27351 = 0, 27461

fk (xn ) fk (a) = 10k (xn a)

n1 k=0

10kn = 10k (10n )

n1

1.
k=0

n )F Logo, F (xxn a (a) um inteiro par, se n for par, ou um inteiro mpar se n for mpar. Portanto, temos que F (xn ) F (a) lim n xn a

no existe. Ento, F no derivvel em a, para todo a R, como queramos demonstrar. As guras 3 e 3, representam os grcos das somas parciais de F para n = 6, nos intervalos [0, 1] e [0.49, 0.51], respectivamente. Esses grcos do uma noo de como o grco de F se comporta, apesar de no ser possvel construir o grco de tal funo. Para somas parciais de F cada vez maiores, ca cada vez mais difcil encontrar retas tangentes ao grco de F .

4 Consideraes nais
O estudo de funes contnuas que no so diferenciveis em nenhum ponto importante no s por ser um problema clssico do Clculo, mas tambm por estar conectado com vrios outros ramos da matemtica; como por exemplo na teoria de fractais e na teoria do caos. Alm disso, vrios outros resultados interessantes foram obtidos para tais funes, utilizando teoremas clssicos de Topologia.
Faculdade de Matemtica Consideraes nais

10

FAMAT em Revista

Um exemplo surpreendente (que estudaremos posteriormente) sobre tais funes obtido usando o Teorema de Baire. Utilizando este resultado, S. Banach provou que existem muito mais funes contnuas que no so diferenciveis em nenhum ponto (no sentido de categoria de Baire) do que funes contnuas que so diferenciveis.

Referncias Bibliogrcas
[1] G. vila, Introduo Anlise Matemtica, Edgard Blcher, So Paulo, 2006. [2] R. Goldberg, Methods of Real Analysis, John Wiley e Sons, New York, 1976. [3] E. L. Lima, Curso de Anlise, vol.1, Projeto Euclides, Rio de Janeiro, 2008.

Consideraes nais

Universidade Federal de Uberlndia

S-ar putea să vă placă și