Um estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto M
a
U
n
G
m
i
r
U
P
r
a
o
v
f
v
r
s
a
r
r
s
o
g
a
o
a
r
@
a
i
d
f
a
e
j
a
A
d
e
i
u
t
a
t
e
t
o
u
a
l
j
e
t
t
b
i
c
@
v
r
e
r
l
-
a
h
o
U
e
a
y
a
d
o
U
á
a
á
I
f
d
m
r
ú
m
F
d
a
l
e
t
a
e
.
r
e
r
n
r
a
p
F
d
m
e
.
e
A
a
M
c
V
d
c
m
i
s
i
F
e
l
l
e
a
e
i
é
d
d
u
s
s
d
g
i
e
n
n
n
c
e
i
a
a
í
i
A
u
i
n
n
a
e
d
r
i
i
v
a
a
V
f
r
â
n
P
o
d
r
o
i
o
a
g
.
r
c
-
a
o
F
m
m
.
a
c
a
b
d
r
u
l
e
d
a
E
d
d
e
u
d
c
a
e
ç
M
ã
o
a
T
t
e
u
m
t
á
o
r
t
i
i
a
c
a
l
b
e
r
l
â
n
d
i
a
-
F
a
c
u
l
d
a
d
e
d
e
M
a
t
e
m
á
t
i
c
a
u
.
b
r
Neste trabalho construímos construímos um exemplo exemplo de uma função função contínu contínuaa f : R → R que não é diferenciável em nenhum ponto. Para a construção de tal exemplo, exemplo, introduzimos introduzimos alguns conceitos conceitos e resultados resultados básicos básicos da Análise Análise Matemática, Matemática, e aplicamos aplicamos esses resultados resultados na construção de tal exemplo. exemplo. Além disso, fizemos um breve breve apanhado histórico do surgimento do problema de encontrar funções contínuas que não são diferenciáveis em nenhum ponto.
Resumo:
1
Intr Introdu oduçã ção o
Com o surgimento do Cálculo Diferencial, mais precisamente, o conceito de continuidade e diferenciabilida renciabilidade de de funções reais a valores reais, vários vários problemas naturais naturais aparecem. Para motivar motivar o propósito deste trabalho, vamos estudar alguns problemas: problemas: •
Toda função contínua é diferenciável? Não, por exemplo a função f (x) = |x|, ∀x ∈ R, não é derivável em p = 0, entretanto, esta função é contínua em p = 0, o que nos mostra que uma função pode ser contínua em um ponto sem ser derivável neste ponto. Desse modo, continuidade não implica em diferenciabilidade. Note que tal função não é diferenciável em 0, pois os limites laterais abaixo são diferentes: lim
x→ 0+
lim
x→ 0−
f (x) − f (0) |x| − |0| = =1 x−0 x−0
f (x) − f (0) |x | − | 0 | = = −1 x−0 x−0
Na figura 1.1 temos o gráfico da função f (x) = |x|. Note Note que que o gráfic gráficoo de f não possui reta tangente tangente no ponto (0, 0).
4
FAMAT em Revista
Figura 1.1: Exemplo de uma função contínua mas não diferenciável •
Existe alguma função que não é diferenciável em nenhum ponto? Sim, a função de Dirichlet é um exemplo de função que não é diferenciável em nenhum ponto. A mesma é dada por f (x) =
, se x ∈ Q 0, se x ∈ (R − Q)
1
Vamos mostrar que f não é contínua em nenhum ponto a ∈ R. Primeiramente, seja a ∈ R − Q. Tome ε = 12 > 0. Então 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 não é contínua em a. O caso a ∈ Q, decorre de maneira análoga usando a densidade de R − Q em R. Portanto f não é contínua em nenhum ponto de R. Como toda função contínua é diferenciável, segue que f não é diferenciável em nenhum ponto de R. Note que, nesse exemplo, a função não é diferenciável em nenhum ponto, pois não é contínua em nenhum ponto. Isso motiva a próxima pergunta: •
Existe alguma função contínua f que não seja diferenciável em infinitos pontos? Sim, basta estender por periodicidade a função f (x) = |x| a toda reta, conforme figura 1.2 Agora, trataremos do problema central deste trabalho:
•
Existe uma função f contínua que não seja diferenciável em todos os pontos de
R?
É fácil percebermos que continuidade não implica em diferenciabilidade; que existem funções que não são diferenciáveis em nenhum ponto; e funções contínuas f que não são diferenciáveis em infinitos pontos; mas nossa intuição pode falhar quando nos perguntamos se existe alguma função contínua que não é diferenciável em nenhum ponto de seu domínio. Introdução
Universidade Federal de Uberlândia
Um estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto
5
Figura 1.2: Exemplo de uma função não diferenciável em infinitos pontos De fato, no início do século XIX, muitos matemáticos acreditavam que as funções contínuas tinham derivadas num número “significativo” de pontos e alguns matemáticos tentaram dar justificativas teóricas deste fato, como por exemplo A. M. Àmpere em um trabalho publicado em 1806. Mas até o início do século XIX os principais conceitos do Cálculo ainda não tinham uma fundamentação lógica adequada e o trabalho de Àmpere falhava nisso, dadas as limitações das definições de seu tempo. Em 1872, K. Weierstrass publicou um trabalho que “chocou” a comunidade matemática provando que esta conjectura era falsa. Mais precisamente, ele construiu um exemplo de uma função contínua que não era diferenciável em nenhum ponto. A função em questão, foi definida por ∞
( )=
w x
ak cos(bk πx),
k=0
onde 0 < a < 1 e b é um número ímpar tal que ab > 1 + 32π . Este não foi o primeiro exemplo de uma função com tais propriedades; com o tempo, foram encontrados exemplos datados de antes do exemplo de Weierstrass, como os do matemático tcheco B. Bolzano, em torno de 1830 e do matemático suíço C. Cellérier, em torno de 1860. Após o exemplo de Weierstrass, vários outros matemáticos deram suas contribuições construindo exemplos de funções contínuas que não são diferenciáveis em nenhum ponto. Neste trabalho apresentaremos o exemplo devido a van der Waerden, mas para isso precisaremos de alguns resultados básicos da Análise Matemática.
2
Definições e resultados preparatórios
Seja X ⊂ R. Uma sequência de funções f n : X → R é uma correspondência que associa a cada número natural n uma função definida de X em R. Dizemos que a sequência de funções converge simplesmente (ou pontualmente) para a função f : X → R se para cada x ∈ R, a sequência de números (f n (x)) = (f 1 (x), f 2 (x), . . . , fn (x), . . .) converge para o número f (x). Em outras palavras, (f n ) converge para f simplesmente se dado x ∈ X e ε > 0, ∃n0 ∈ N tal que Definição 2.1.
∀n n0 ⇒ | f n (x) − f (x)| < ε. Notação:
f n → f simplesmente.
Definição 2.2. Dizemos que a sequência função f : X → R, se dado ε > 0, ∃n0 ∈ N Faculdade de Matemática
de funções f n : X → R converge uniformemente para uma tal que Definições e resultados preparatórios
6
FAMAT em Revista
n n0 ⇒ |f n (x) − f (x)| < ε, ∀x ∈ X. u
f n → f
Notação: Definição 2.3.
Uma série de funções é uma série do tipo ∞
f n (x) = f 1 (x) + f 2 (x) + · · · .
n=1
Dizemos que tal série converge pontualmente se para cada x ∈ X a série numérica f n (x) converge (ou a sequência das somas parciais (sn (x))n=1 , onde sn (x) = f 1 (x) + · · · + f n (x), é convergente).
∞
Dizemos que a convergência é uniforme , ou que a série de funções converge uniformemente se a sequência das somas parciais (sn ), onde sn (x) = f 1 (x)+ · · ·+f n (x), converge uniformemente. Ou seja, n=1 f n (x) converge uniformemente em X para a soma f (x), se dado ε > 0, ∃n0 ∈ N tal que Definição 2.4.
∞
n
∀n n0
⇒| ( )− f x
j =1
∞
( )| = |
f n x
f j (x)| < ε, ∀x ∈ X.
j =n+1
(Critério de Cauchy para séries numéricas) . Uma condição necessária e suficiente para que uma série an seja convergente é que dado qualquer ε > 0, exista n0 ∈ N tal que, para todo inteiro positivo p, Teorema 2.1
n n0 ⇒ |an+1 + an+2 + · · · + an+ p | < ε n
an = S , com soma parcial S n = j =1 a j . Daí S n Demonstração: Primeiramente, suponha converge para S , donde segue que (S n ) é uma sequência de Cauchy. Assim, seja ε > 0 e p ∈ N. Como (S n ) é de Cauchy, existe n0 ∈ N, tal que
m, n n0 ⇒ | S n − S m | < ε.
Tome m = n + p, então n n0 ⇒ m = n + p > n n0 ⇒ |an+1 + · · · + an+ p | = |S n+ p − S n | < ε
Contrariamente, considere a sequência das somas parciais S n = que ∀ε > 0, ∃n0 ∈ N tal que , ∀ p ∈ N
n j =1 a j
. Assim, segue da hipótese
n n0 ⇒ |S n − S n+ p | < ε m, n n0 , m n ⇒ |S n − S m | < ε
Logo, (S n ) é uma sequência de Cauchy, o que implica que (S n ) é convergente. Potanto, an é convergente.
Apresentaremos agora dois resultados que serão usados na construção de nosso exemplo: Teorema 2.2. Se uma série de funções contínuas para f (x), então f também é contínua.
f n (x) converge uniformemente em um intervalo
(Teste de Weierstrass) . Seja f n : X → R uma sequência de funções e suponha que existam constantes positivas M n , n ∈ N, tais que |f n (x)| M n , ∀x ∈ X e ∀n ∈ N. Se M n é convergente, então a série f n (x) converge absolutamente e uniformemente em X . Teorema 2.3
Definições e resultados preparatórios
Universidade Federal de Uberlândia
Um estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto
Demonstração:
Pelo teste da comparação, para cada x ∈ X , temos que
pois |f n (x)| M n , ∀x ∈ X, ∀n ∈ N e
|
f n (x)| converge,
M n é convergente.
Portanto, f n (x) converge absolutamente, ∀x ∈ X. Seja ε > 0. Como Teorema 2.1 que existe n0 ∈ N tal que
7
M n é convergente, segue do
m
∀m > n n0 ⇒
M j < ε.
j =n+1
Assim, ∀x ∈ X e ∀m > n n0 temos |f n+1 (x) + · · · + f m (x)| |f n+1 (x)| + |f n+2 (x)| + · · · + |f m (x)| m
M n+1
+ M n+2 + · · · + M n =
M j < ε.
j =n+1
Portanto, segue do Critério de Cauchy para séries de funções que
f n (x) converge uniformemente.
Agora estamos aptos a construir uma função contínua que não é diferenciável em nenhum ponto.
3
A função de van der Waerden
Consideremos inicialmente a função f 0 : R → R, dada por f 0 (x) = {x}, onde {x} denota a distância de x ao inteiro mais próximo. Por exemplo, f 0 (9, 2) = 0, 2; f 0 (−8) = 0; f 0 (1, 83) = 0, 17. Agora considere a função f 1 (x) = f 0 (10x), x ∈ R. Por exemplo f 1 (5, 64) = a distância de 56, 4 a 56 que é 0, 4. Da mesma forma definimos f 2 (x) como sendo a distância de 100x ao inteiro mais próximo, ou seja, f 2(x) = f 0 (100x). Generalizando, temos f k (x) = f 0 (10k x), x ∈ R e k = 0, 1, 2, . . .
As figuras 3.1, 3.2 e 3 representam os gráficos das funções f 0 , f 1 e f 2 , respectivamente. Note que já não é uma tarefa simples desenhar uma reta tangente ao gráfico de f 2 . A partir do gráfico de f 0 , vemos que ela é periódica de período 1 (ou melhor, f 0 (x +1) = f 0 (x), ∀x ∈ R ), é contínua e além disso 1 |f 0 (x)| , ∀x ∈ R. 2
Definamos agora a seguinte função ∞
( )=
F x
k=0
f k (x)
10k
(3.1)
, x ∈ R.
Como, ∞
f k (x)
10k
k=0
1
∞
k=0
1 1 = 2.10k 2
∞
k=0
1 10k
1
e é uma série convergente, segue do Teste de Weierstrass que a série ( 3.1) é uniformemente 2 k=0 10k convergente em R. Em particular, temos que F está bem definida.
∞
Nosso objetivo é mostrar que F é contínua, mas não é derivável em nenhum ponto de R. Como cada f k é contínua e k=0 f 10(x) converge uniformemente para F (x) em R, segue do Teorema
∞
Faculdade de Matemática
k
k
A função de van der Waerden
8
FAMAT em Revista
Figura 3.1: gráfico de f 0
Figura 3.2: gráfico de f 1
Figura 3.3: gráfico de f 2
A função de van der Waerden
Universidade Federal de Uberlândia
Um estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto
9
2.2 que F é contínua em R. Portanto, nos resta mostrar que F não é diferenciável em nenhum ponto de R. Para isto, contruiremos uma sequência (xn )n=1 tal que lim xn = a, mas não exista o limite ∞
n→∞
lim
n→∞
F (xn ) − F (a) . xn − a
Para isto, suponha a = a0 , a1a2 . . . an . . . , com n ∈ N e considere xn = a0 , a1 a2 . . . an
1 bn an+1 . . .
−
= 4 ou 9 e bn = an − 1 se an = 4 ou an = 9. onde bn = an + 1 se an n Assim, xn − a = ±10 . Por exemplo, se a = 0, 27451, temos −
x1 x2 x3 x4
= 0, 37451 = 0, 28451 = 0, 27351 = 0, 27461
Para esses exemplos, temos f 0 (x3 ) − f 0 (a) = −0, 001 f 1 (x3 ) − f 1 (a) = +0, 01 f 2 (x3 ) − f 2 (a) = −0, 1 f 3 (x3 ) − f 3 (a) = 0 f k (x3 ) − f k (a) = 0, k 3
Generalizando, temos que para n ∈ N f k (xn ) − f k (a) = ±10k n , k = 0, 1, . . . , n − 1 f k (xn ) − f k (a) = 0, k n −
Assim, F (xn ) − F (a) = xn − a
∞
k=0
f k (xn ) − f k (a) = 10k (xn − a)
n−1
k=0
±10k n = 10k (±10 n ) −
−
n−1
±1
.
k=0
(a) Logo, F (xx ) F é um inteiro par, se n for par, ou é um inteiro ímpar se n for ímpar. a Portanto, temos que n − n−
lim
n→∞
F (xn ) − F (a) xn − a
não existe. Então, F não é derivável em a, para todo a ∈ R, como queríamos demonstrar. As figuras 3 e 3, representam os gráficos das somas parciais de F para n = 6, nos intervalos [0, 1] e [0.49, 0.51], respectivamente. Esses gráficos dão uma noção de como o gráfico de F se comporta, apesar de não ser possível construir o gráfico de tal função. Para somas parciais de F cada vez maiores, fica cada vez mais difícil encontrar retas tangentes ao gráfico de F .
4
Considerações finais
O estudo de funções contínuas que não são diferenciáveis em nenhum ponto é importante não só por ser um problema clássico do Cálculo, mas também por estar conectado com vários outros ramos da matemática; como por exemplo na teoria de fractais e na teoria do caos. Além disso, vários outros resultados interessantes foram obtidos para tais funções, utilizando teoremas clássicos de Topologia. Faculdade de Matemática
Considerações finais
10
FAMAT em Revista
Um exemplo surpreendente (que estudaremos posteriormente) sobre tais funções é obtido usando o Teorema de Baire. Utilizando este resultado, S. Banach provou que existem “muito mais” funções contínuas que não são diferenciáveis em nenhum ponto (no sentido de categoria de Baire) do que funções contínuas que são diferenciáveis.
Referências Bibliográficas [1] G. Ávila, Introdução à Análise Matemática , Edgard Blücher, São Paulo, 2006. [2] R. Goldberg, Methods of Real Analysis , John Wiley e Sons, New York, 1976. [3] E. L. Lima, Curso de Análise, vol.1, Projeto Euclides, Rio de Janeiro, 2008.
Considerações finais
Universidade Federal de Uberlândia
