Você está na página 1de 87

Sumario

1 Definicoes basicas 2

2 Classificacao em tipos para as EDPs quase-lineares de 2a ordem com


duas variaveis independentes 4

3 Problema de Cauchy para a equacao da onda unidimensional 12

4 Breve estudo sobre series de Fourier 20

5 Problema de valores iniciais e de fronteira para a equacao da onda


unidimensional 38

6 1a lista de exerccios 43

7 Funcoes teste 49

8 Princpio de Hamilton 55

9 Distrinbuicoes sobre 57

10 2a lista de exerccios 65

11 Espaco de Sobolev de ordem 1 sobre o aberto (0, L) 67

12 Solucao fraca do problema misto para equacao da Onda unidimensional 76

13 3a lista de exerccio 83

Referencias Bibliograficas 87

1
1 Definicoes basicas
Definicao 1.1 (i) Uma equacao diferencial parcial (EDP) de n variaveis independentes
(n 2) e uma equacao da forma

u 2 u 2u ku
 
F x1 , x2 , . . . , xn , u, , ,..., , . . . , k = 0, (1.1)
x1 x21 x1 x2 xn

onde x = (x1 , x2 , . . . , xn ) Rn .
(ii) A funcao u = u(x) (u : Rn R) e denominada funcao incognita.
(iii) Se a derivada de maior ordem que aparece em (1.1) e de ordem k, dizemos a EDP
(1.1) e de ordem k.
(iv) A EDP (1.1) e dita linear se F e linear em u e nas derivadas parciais de u que
aparecem em (1.1). Caso contrario, dizemos que a EDP (1.1) e nao linear.
(v) A EDP (1.1) e dita quase-linear (ou semi-linear) quando F e linear nas derivadas
de maior ordem que aparecem em (1.1).

Exemplo 1.2 A forma mais geral de uma EDP linear de segunda ordem e
n n
X 2u X u
aij (x) + bj (x) + c(x)u(x) + d(x) = 0, (1.2)
i,j=1
xi xj j=1 xj

onde aij 6= 0, para algum (i, j).

Exemplo 1.3 A forma mais geral de uma EDP quase-linear de segunda ordem e
n
2u
 
X u u
aij (x) =f x, u, ,..., . (1.3)
i,j=1
xi xj x1 xn

Definicao 1.4 No caso linear, dizemos que a equacao e homogenea se o termo indepen-
dente de u e identicamente nulo. Caso contrario, a equacao e dita nao homogenea.

Exemplo 1.5 (Equacao de Laplace) A equacao

u = 0, (1.4)
n
X 2
onde = 2
e o operador de Laplace (ou Laplaciano) em Rn , e uma equacao linear
i=1
x i
a
homogenea de 2 ordem. Esta equacao esta ligada a fenomenos estacionarios (indepen-
dentes do tempo) como, por exemplo, potenciais eletrostaticos gerados por distribuicoes
fixas de cargas. Por este motivo, a equacao (1.4) e denominada equacao do potencial.
A equacao de Laplace e um caso particular da equacao de poisson, u = f , onde
f = f (x1 , x2 , . . . , xn ).

2
Exemplo 1.6 (Equacao da onda em dimensao espacial n N) A equacao
n
2u 2
X 2u
c 2
= 0,
t2 i=1
x i

a qual pode ser reescrita na forma,


2u
c2 x u = 0,
t2
n
n+1 n
X 2
com u : Q R R, u = u(x, t), x = (x1 , . . . , xn ) R , x = 2
e c R, e
i=1
x i
uma EDP linear homogenea de 2a ordem. Esta equacao esta associada a propagacao de
ondas e fenomenos ondulatorios (por isso recebe o nome de equacao da onda). Quase
sempre escrevemos a equacao da onda na forma
2u
c2 u = 0, (1.5)
t2
onde fica subentendido que o Laplaciano e nas varaveis espaciais (xi )1in . A variavel t >
0 representa o tempo e c > 0 e uma constante que representa a velocidade de propagacao
da onda.
Exemplo 1.7 (Equacao do calor) A equacao
n
X 2u
u
2 = 0,
t i=1
x2i
a qual pode ser reescrita na forma
u
2 x u = 0,
t
n
X 2
com u : Q Rn+1 R, u = u(x, t), x Rn , x = 2
e R, e uma EDP linear
i=1
x i
homogenea de 2a ordem. Esta equacao esta associada a propagacao de calor e processos
de difusao e, por este motivo, e denominada equacao do calor. quase sempre escrevemos
a equacao do calor na forma
u
2 u = 0, (1.6)
t
onde fica subentendido que o Laplaciano e nas variaveis espaciais (xi )1in . A variavel
t > 0 representa o tempo e 2 e uma constante chamada de difusividade termica.
Exemplo 1.8 (Equacao de Schrodinger) Seja
~2
i + + V = 0, (1.7)
t 2m
onde : Q R4 R, = (x, t), x R3 , t > 0, V = V (x, t) e bem comportada com
valores reais, h = 2m~ e a constante de plank e m > 0. A EDP (1.7) e conhecida como
equacao de Schrodinger. Ela descreve a interacao de uma partcula quantica de massa
m com potencial V . E uma EDP linear homogenea de 2a ordem.

3
Exemplo 1.9 (Equacao de Schrodinger nao linear) A equacao
~2
i + + ||2 = 0, (1.8)
t 2m
e uma EDP nao linear (e quase-linear) de 2a ordem denominada equacao de Schrodinger
nao linear. Esta equacao descreve feixes modulares em otica nao linear.
Exemplo 1.10 (Equacao de Korteweg - de Vries) A equacao
u 3 u u
+ 3 +u = 0, (1.9)
t t x
onde u : Q R2 R, e conhecida como equacao de Korteweg - de Vries (KdV). Ela
e uma equacao quase-linear de 3a ordem e descreve a propagacao de ondas nao lineares
em canais rasos.
Exemplo 1.11 (Equacao de Burger ou de Hopf ) A equacao
u u
+u = 0, 1.10
t u
e conhecida como equacao de Burger ou de Hopf. Ela e uma equacao nao linear de 1a
ordem a qual aparece no estudo de ondas de choque e leis de conservacao.
Agora, vamos comecar a estudar o que se entende por solucao de uma EDP. Isto nao
e tao simples, visto que a nocao intuitiva de que uma solucao e uma funcao que satisfaz a
equacao identicamente e um tanto vaga, pois existem varias interpretacoes possveis dessa
nocao. No momento, vamos considerar apenas as solucoes classicas, as quais definimos
em seguida.
Definicao 1.12 Uma solucao classica de uma EDP de ordem K em um domnio Q Rn
(aqui domnio significa que Q Rn e aberto e conexo) e uma funcao u C k (Q) que
satisfaz a equacao pontualmente em Q.

2 Classificacao em tipos para as EDPs quase-lineares


de 2a ordem com duas variaveis independentes
Nesta secao vamos nos restringir ao estudo das EDPs quase-lineares de 2a ordem com
duas variaveis independentes e coeficientes reais. Neste caso, a forma mais geral desta
equacao e
2u 2u 2u 2u
 
u u
a11 (x, y) 2 + a12 (x, y) + a21 (x, y) + a22 (x, y) 2 = f x, y, u, , .
x xy yx y x y
Como estamos considerando solucoes classicas num domnio Q, temos que u C 2 (Q).
2u 2u
Segue do teorema de Schwarz que = , de modo que a equacao fica
xy yx
2u 2u 2u
 
u u
a(x, y) 2 + 2b(x, y) + c(x, y) 2 = f x, y, u, , . (2.1)
x xy y x y

4
Definicao 2.1 Seja (x0 , y0 ) Q R2 .
(i) Dizemos que a equacao (2.1) e eltica em (x0 , y0 ) quando

[b(x0 , y0 )]2 a(x0 , y0 )c(x0 , y0 ) < 0.

(ii) Dizemos que a equacao (2.1) e parabolica em (x0 , y0 ) quando

[b(x0 , y0 )]2 a(x0 , y0 )c(x0 , y0 ) = 0.

(iii) Dizemos que a equacao (2.1) e hiperbolica em (x0 , y0 ) quando

[b(x0 , y0 )]2 a(x0 , y0 )c(x0 , y0 ) > 0.

(iv) A equacao (2.1) e eltica (respectivamente parabolica ou hiperbolica) em um sub-


conjunto Q R2 se for eltica (respectivamente parabolica ou hiperbolica) em todos os
pontos de Q.

Exemplo 2.2 A equacao de Poisson,

2u 2u
+ = f (x, y)
x2 y 2

e eltica no domnio de f . De fato, como a(x, y) = 1, b(x, y) = 0 e c(x, y) = 1, entao

b2 ac = 1 < 0, (x, y) D(f ).

Exemplo 2.3 A equacao do calor,

u 2 u
2 = f (x, t)
t x
e parabolica em D(f ). Com efeito, reescrevemos a equacao na forma

2u u
2
= f (x, t)
x t
e vemos que a(x, t) = 1, b(x, t) = 0 e c(x, t) = 0, logo

b2 ac = 0, (x, t) D(f ).

Exemplo 2.4 A equacao da onda,

2u 2u
2 = f (x, t)
t2 x
e hiperbolica em D(f ), visto que a(x, y) = 1, b(x, y) = 0 e c(x, y) = 1, logo

b2 ac = 1 > 0, (x, t) D(f ).

5
Exemplo 2.5 A equacao de Tricomi,

2u 2u
y + =0
x2 y 2

e do tipo misto (ou seja, seu tipo varia). Note que a(x, y) = y, b(x, y) = 0 e c(x, y) = 1,
de modo que
b2 ac = y, (x, y) D(f ).
Dessa forma,
b2 ac = y < 0, (x, y) {(x, y) R2 ; y > 0};
b2 ac = y = 0, (x, y) {(x, y) R2 ; y = 0};
b2 ac = y > 0, (x, y) {(x, y) R2 ; y < 0}.

Teorema 2.6 Sejam Q R2 , (x0 , y0 ) Q, U Q uma vizinhanca do ponto (x0 , y0 ) e


F : U R2 , dada por F (x, y) = ( = (x, y), = (x, y)), uma funcao de classe C 2 (Q)
tal que JF 6= 0, isto e,

det(dF )(x, y) = x (x, y)y (x, y) y (x, y)x (x, y) 6= 0, (x, y) U.

Suponha, ainda, que u = u(x, y) e uma solucao classica de (2.1) em Q. Entao existe uma
vizinhanca V do ponto (0 , 0 ) = F (x0 , y0 ), onde F e inversvel e definindo

v(x, y) = (u F 1 )(, ) = u(x, y),

temos que

2v 2v 2v
 
v v
A(, ) 2 + 2B(, ) + C(, ) 2 = g , , v, , em V,

com os coeficientes A, B e C satisfazendo

B 2 AC = (b2 ac)(JF )2 .

Demonstracao: Note que F satisfaz as hipoteses do teorema da funcao inversa,


entao existe uma vizinhanca V do ponto (0 , 0 ) = F (x0 , y0 ) onde existe
F 1 : V U e F 1 C 2 (V ).
(, ) 7 F 1 (, ) = (x = (, ), y = (, ))
Defina v(x, y) = (u F 1 )(, ) = u(x, y). Segue da regra da cadeia que:

u v v
= + (2.2)
x x x
u v v
= + (2.3)
y y y
2u 2
2 v 2v 2
2 v v v
2
= x 2 + 2x x + y 2 + xx + xx (2.4)
x

6
2u 2
2 v 2v 2
2 v v v
2
= y 2
+ 2
y y + y 2
+ yy + yy (2.5)
y
2u 2v 2v v v
= x y 2 + (y x + x y ) + xy + xy (2.6)
xy
Logo, substituindo (2.2) (2.6) em (2.1), temos

2u 2u 2u 2
2
2 v
a 2 + 2b + c 2 = (ax + 2bx y + cy ) 2
x xy y
2v
+ [2ax x + 2b(y x + x y ) + 2cy y ]

2v
+ (ax2 + 2bx y + cy2 )
2
v
+ (ax x + 2bx y + cy y)

v
+ (ax x + 2bx y + cy y)

e    
u u v v v v
f x, y, u, , = f , , v, x + x , y + y .
x y
Portanto, desde que u = u(x, y) e solucao classica de (2.1) em U Q, temos

2v 2v 2v
 
v v
A(, ) 2 + 2B(, ) + C(, ) 2 = g , , v, , , (, ) V,

onde

A(, ) = a2x + 2bx y + c2y


B(, ) = ax x + b(y x + x y ) + cy y
C(, ) = ax2 + 2bx y + cy2

e
 
v v v v
g , , v, , = (ax x + 2bx y + cy y) (ax x + 2bx y + cy y)

 
v v v v
+ f , , v, x + x , y + y .

Alem disso, e facil ver que

B 2 AC = (b2 ac)(JF )2 .

7
Observacao 2.7 De acordo com o teorema 2.6, a classificacao de uma EDP (quase-
linear de 2a ordem com duas variaveis independentes) em eltica, parabolica e hiperbolica
e invariante sob mudancas de coordenadas locais.

Definicao 2.8 Formas canonicas

(i) A forma canonica de uma equacao eltica e:

uxx + uyy = f (x, y, u, ux , uy )

(ii) A forma canonica de uma equacao parabolica e :

uxx = f (x, y, u, ux , uy )

(iii) A forma canonica de uma equacao hiperbolica e :

utt uxx = f (t, x, uut , ux )

Definicao 2.9 ( Curvas caractersticas ) Dizemos que uma curva no plano xy e uma
curva caracterstica para a equacao (2.1) quando e descrita por y = y(x) com y solucao
da E.D.O.
dy b b2 ac
= a(x, y) 6= o
dx a

E facil ver que :

(i) Se (2.1) e uma EDP eltica, entao b2 ac < 0, desta forma nao existem curvas
caractersticas.

(ii) Se (2.1) e uma EDP parabolica , entao b2 ac = 0, teremos uma unica famlia de
curvas caractersticas obtida pela solucao da equacao
dy b
= .
dx a

(iii) Se (2.1) e uma EDP hiperbolica, entao b2 ac > 0, teremos duas famlias de curvas
caractersticas obtidas pelas solucoes de:

dy b + b2 ac dy b b2 ac
= e = .
dx a dx a

Teorema 2.10 ( Reducao a forma canonica - caso hiperbolico )


Se (2.1) e hiperbolicoa entao existe uma mudanca de variaveis local que a transforma
na forma canonica de uma equacao hiperbolica.

8
Demonstracao Suponhamos que (2.1) seja hiperbolica, entao existem duas famlias de
curvas caractersticas

(x, y) = C te (x, y) = C te
dy x dy x
= =
dx y dx y
Desde que y = y(x) e uma curva caracterstica temos que

dy b b2 ac
=
dx a
donde
dy 2 dy
a( ) 2b( ) + c = 0 ()
dx dx
dy
Substituindo dx
= xy na equacao () obtemos

2x x a2x + 2by x + c2y


a 2
+ 2b +c=0 =0
y y 2y

Isto implica que a2x + 2by x + c2y = 0.


Analogamente, substituindo dxdy
= xy em (), temos

ax2 + 2bx y + cY2 = 0.

Agora considere a mudanca de variaveis F (x, y) = ( = (x, y), = (x, y)). Com
hipotese de suavidade sobre os coeficientes a, b, c da equacao (2.1) ( por exemplo, a =
a(x, y), b = b(x, y) e c = c(x, y) sao funcoes de classe C 1 na regiao de interesse )
e a = a(x, y) 6= 0, temos que = (x, y) e = (x, y) sao de classe C 2 e o jacobiano
J(, ) = x y y x 6= 0 ( pois x y y x = 0 xy = xy o que nao ocorre pois temos
duas famlias distintas de curvas caractersticas ), assim, F e uma mudanca de variaveis
e, conforme vimos no teorema anterior, definindo v(, ) = (uF 1 )(, ) = u(x, y) temos
que (2.1) transforma-se na equacao

2v 2v 2v
A(, ) + 2B(, ) + C(, ) = g(, , v, v , v )
2 2
onde
A(, ) = a2x + 2by x + c2y = 0
B(, ) = ax x + b(x y + y x ) + cy y 6= 0 ( pois B 2 AC > 0)
C(, ) = ax2 + 2bx y + cy2 = 0
Entao dividindo por 2B(, ) temos

2v
= ge(, , v, v , v )

que e a forma canonica de uma EDP hiperbolica.

9
Teorema 2.11 ( Reducao a forma canonica - caso parabolico )
Se (2.1) e parabolica entao existe uma mudanca de variaveis local que a transforma
na forma canonica de uma equacao parabolica.

Demonstracao:
Supondo (2.1) parabolica, entao existe apenas uma famlia de curvas caractersticas
dy
(x, y) = C te , desta maneira temos dx = xy com y 6= 0.
dy
Desde que y = y(x) e uma curva caracterstica temos dx
= ab , desta forma temos

dy 2 dy
a( ) 2b( ) + c = 0
dx dx
dy
donde substituindo dx
= xy resulta que

ax2 + 2bx y + cY2 = 0.

Escolhemos agora arbitrariamente = (x, y) tal que 6= e J (, ) = x y y x 6=


0. Desta forma F (x, y) = ( = (x, y), (x, y)) e uma mudanca de variaveis e definindo
v(, ) = (u F 1 ) (, ) temos que a equacao (2.1) e transformada na equacao

2v 2v 2v
A(, ) + 2B(, ) + C(, ) = g(, , v, v , v )
2 2
onde
C(, ) = ax2 + 2bx y + cY2 = 0.
Alem disso B(, ) = ax y +b(x y +y x )+cy y = 0 pois devemos ter B 2 AC =
0. Tambem notamos que A(, ) = a2x + 2by x + c2y 6= 0, pois caso contrario a famlia
de curvas (x, y) = C te iria coincidir com (x, y) = C te .
E dividindo a equacao acima por A(, ) obtemos

2v
= ge(, , v, v , v )
2
que e a forma canonica de uma EDP parabolica.

Exemplo 2.12 Considere a equacao da onda

2u 2
2 u
c =0
t2 x2
Neste caso temos a(x, t) = c2 , b(x, t) = 0 e c(x, t) = 1. Entao as curvas caractersticas
serao solucoes da equacao
dt 1 1
= t = + C te
dx c c
Logo as duas famlias de curvas caractersticas sao:
x + ct = C te

10
x ct = C te
Considere a mudanca de variaveis F (x, y) = ( = x + ct, = x ct).

F : R2 R2   
1 c x
(x, y) 7 F (x, y) = = (x + ct, x ct)
1 c t

1 c
det(dF (x, y)) = = c c = 2c 6= 0 (x, y) R2
1 c
cuja inversa e
F 1 : R2 R2
+
(, ) 7 F 1 (, ) =

2
, 2c
Definindo v(, ) = (u F 1 ) (, ) temos v(, ) = u(x, t) e portanto
u v v u v v
(x, t) = (, ) + (, ); (x, t) = c (, ) c (, )
x t

2u 2v 2v 2v 2v
(x, t) = (, ) + (, ) + (, ) + (, )
x2 2 2
2v 2v 2v
= (, ) + 2 (, ) + (, )
2 2

2u
 2
2v
 2
2v
 
v v
(x, t) = c (, )c + (, )(c) c (, )(c) + 2 (, )(c)
t2 2
2 2 2
v v v
= c2 2 (, ) 2c2 (, ) + c2 2 (, )

Substituindo na equacao da onda temos:
2v
4c2 () = 0

ou ainda
2v
() = 0.

Exemplo 2.13 Considere a equacao do calor
u 2u
2 2 = 0
t x
Neste caso a(x, t) = 2 , b(x, t) = 0 e c(x, t) = 0. As curvas caractersticas serao
solucoes da equacao
dt
= 0 t = C te
dx
A equacao ja se encontra na forma canonica
2u 1 u
2
= 2
x t

11
Exemplo 2.14 Considere a equacao

uxx 4uxy + 4uyy = 4 + 2ux

Neste caso, a(x, y) = 1, b(x, y) = 2, e c(x, y) = 4. As curvas caractersticas serao


dy
solucoes da equacao dx = 2, ou seja, y = 2x + C te .
Considere a mudanca de variaveis F (x, y) = ( = x, = y + 2x). Observe que = x
foi escolhido arbitrariamente talque x y y x 6= 0. Definindo v(, ) = (u F 1 ) (, ) =
u(x, y) temos:

u v v 2u 2v 2v 2v
(x, y) = (, ) + 2 (, ), (x, y) = (, ) + 4 (, ) + 4 (, )
x x2 2 2

u v 2u 2v 2v 2u 2v
(x, y) = (, ), (x, y) = (, ) + 2 2 (, ), (x, y) = (, )
y yx y 2 2
Substituindo na equacao obtemos:

v = 4 + 2(v + 2v ) v = 2v + 4v + 4

que e a forma canonica da EDP parabolica.

Observacao 2.15 O caso eltico e mais complicado pois nao temos curvas caractersticas.
Entretanto, afirmamos que e sempre possvel reduzir qualquer EDP eltica a forma canonica.
A demonstracao deste fato e bastante complicada para ser apresentada num curso intro-
dutorio.

3 Problema de Cauchy para a equacao da onda uni-


dimensional
Denomina-se problema de Cauchy, ou problema de valores iniciais, para a equacao da
onda unidimensional ao problema


utt a2 uxx = 0, < x < e t>0 (3.1)

u(x, 0) = u0 (x) (3.2)

ut (x, 0) = u1 (x), (3.3)

onde u0 : R R e u1 : R R sao funcoes dadas.

Teorema 3.1 (Existencia) Se uo C 2 (R) e u1 C 1 (R), entao a funcao


Z x+at
1 1
u(x, t) = [u0 (x + at) + u0 (x at)] + u1 ( )d, x R e t 0 (3.4)
2 2a xat

e uma solucao classica do problema (3.1) (3.3).

12
Demonstracao: Observamos, inicialmente, que a funcao u definida por (3.4) faz
sentido para todo (x, t) R2 e u C 2 (R2 ). Desta forma vemos que existem as restricoes
u(x, 0) e ut (x, 0).
Derivando (3.4) temos:
u 1 1
(x, t) = [u00 (x + at) + u00 (x at)] + [u1 (x + at) u1 (x at)] ;
x 2 2a
2u 1 1 0
(x, t) = [u000 (x + at) + u000 (x at)] + [u (x + at) u01 (x at)] ;
x 2 2 2a 1
u a 1
(x, t) = [u00 (x + at) u00 (x at)] + [u1 (x + at) + u1 (x at)] ;
t 2 2
2u a2 00 00 a 0
2
(x, t) = [u 0 (x + at) + u 0 (x at)] + [u1 (x + at) u01 (x at)] ,
t 2 2

donde
2u 2
2 u
(x, t) a (x, t) = 0,
t2 x2
para todo x R e t > 0, ou seja, u satisfaz (3.1). Alem disso, e facil ver que u(x, 0) =
u
u0 (x) e (x, 0) = u1 (x).
t
Observacao 3.2 A expressao (3.4) que define u como solucao do problema de Cauchy
e conhecida como formula de dAlembert. Ela foi obtida por dAlembert pelo seguinte
raciocnio: conforme vimos anteriormente, a mudanca de variaveis

F (x, t) = ( = x + at, = x at),

transforma a equacao (3.1) na equacao

2v
(, ) = 0, onde v(, ) = u(x, t).

Integrando em relacao a obtemos
v
(, ) = ()

e integrando em relacao a encontramos
Z
v(, ) = ()d + f ().
R
Denotando g() = ()d ficamos com

v(, ) = f () + g().

Retornando as variaveis originais obtemos u(x, t) = f (x + at) + g(x at), onde f e g sao
funcoes arbitrarias de classe C 2 . Esta e a solucao geral da equacao (3.1). Agora podemos

13
determinar as funcoes f e g para que as condicoes (3.2) e (3.3) sejam satisfeitas. De
fato, sendo

u(x, 0) = f (x) + g(x) = u0 (x)


u
(x, 0) = a[f 0 (x) g 0 (x)] = u1 (x)
t

segue que
f (x) + g(x) = u0 (x)
(
u1 (x)
f 0 (x) g 0 (x) = .
a
Integrando a 2a equacao temos
Z x
1
f (x) + g(x) = u1 ( )d + [f (0) g(0)].
a 0

Somando esta a 1a equacao resulta


Z x
1
2f (x) = u0 (x) + u1 ( )d + [f (0) g(0)],
a 0

donde segue que


x  
f (0) g(0)
Z
u0 (x) 1
f (x) = + u1 ( )d +
2 2a 0 2
e portanto
x  
f (0) g(0)
Z
u0 (x) 1
g(x) = u1 ( )d .
2 2a 0 2
Logo,

u(x, t) = f (x + at) + g(x at)


Z x+at  
u0 (x + at) 1 f (0) g(0)
= + u1 ( )d +
2 2a 0 2
Z xat  
u0 (x at) 1 f (0) g(0)
+ u1 ( )d
2 2a 0 2
Z x+at
1 1
= [u0 (x + at) + u0 (x at)] + u1 ( )d
2 2a xat

Nosso proximo objetivo e estudar o problema de Cauchy para a equacao da onda nao
homogenea. Antes de enunciarmos os resultados, vamos trabalhar formalmente para ver
que as expressoes nao caem do ceu.
Considere o problema

14

utt a2 uxx = f (x, t), xR e t>0 (3.5)

u(x, 0) = u0 (x) (3.6)

ut (x, 0) = u1 (x), (3.7)
e admitindo que existe solucao, tomemos (x0 , t0 ) um ponto qualquer, arbitrariamente
fixado onde se deseja calcular a solucao.
Multiplicando (3.5) por (1) e integrando sobre o triangulo caracterstico ( e a
regiao cuja fronteira e formada pelas curvas caractersticas que passam por (x0 , t0 ) e pelo
eixo das abscissas), temos:
Z Z Z Z
2
(a uxx utt )dxdt = f (x, t)dxdt. (3.8)

Usando o teorema de Green vemos que

Z Z Z Z I
2 2
(a uxx utt )dxdt = (a ux ) (ut ) dxdt =
M dx + N dt
x | {z } t |{z}
N M
I
= ut dx + a2 ux dt
I I I
2 2
= ut dx + a ux dt + ut dx + a ux dt + ut dx + a2 ux dt
C1 C2 C3
= I1 + I2 + I3

onde
C1 = {(x, t) R2 ; x0 at0 x x0 + at0 e t = 0},
C2 = {(x, t) R2 ; x + at = x0 + at0 },
C3 = {(x, t) R2 ; x at = x0 at0 }.

Agora vamos calcular as integrais I1 , I2 e I3 .


i) A funcao : [x0 at0 , x0 + at0 ] R2 definida por (s) = (x(s), t(s)) = (s, 0) e uma
parametrizacao para C1 . Entao
Z x0 +at0
(ut ((s)), a2 ux ((s))), 0 (s) ds


I1 =
x at
Z 0x0 +at0 0
(ut (s, 0), a2 ux (s, 0)), (1, 0) ds


=
x at
Z 0x0 +at0 0
= ut (s, 0)ds
x0 at0
Z x0 +at0
= u1 (s)ds.
x0 at0

15
ii) A funcao : [x0 , x0 + at0 ] R2 definida por (s) = s, a1 s + x0 +at

a
0
e uma
parametrizacao para C2 . Entao
Z x0 +at0
(ut ((s)), a2 ux ((s))), 0 (s) ds


I2 =
x
Z 0x0 +at0   
2 1
= (ut ((s)), a ux ((s))), 1, ds
x0 a
Z x0 +at0 Z x0 +at0  
1
= [aux ((s)) ut ((s))]ds = a ux ((s)) ut ((s)) ds
x0 x0 a
Z x0 +at0
d
= a u((s))ds = a[u((x0 + at0 )) u((x0 ))]
x0 ds
= a[u(x0 + at0 , 0) u(x0 , t0 ))] = a[u0 (x0 + at0 ) u(x0 , t0 )]

iii) A funcao : [x0 at0 , x0 ] R2 definida por (s) = s, a1 s + x0a+at0



e uma
parametrizacao para C3 . Entao
Z x0
(ut ((s)), a2 ux ((s))), 0 (s) ds


I3 =
x0 at0
Z x0 at   
0
2 1
= (ut ((s)), a ux ((s))), 1, ds
x0 a
Z x0 at0 Z x0 at0  
1
= [ut ((s)) + aux ((s))]ds = a ux ((s)) + ut ((s)) ds
x0 x0 a
Z x0 at0
d
= a u((s))ds = a[u((x0 at0 )) (u(x0 ))]
x0 ds
= a[u(x0 at0 , 0) u(x0 , t0 ))] = a[u0 (x0 at0 ) u(x0 , t0 )]

Usando os calculos de I1 , I2 e I3 obtemos


Z Z Z x0 +at0
2
(a uxx utt )dxdt = a[u0 (x0 at0 ) + u0 (x0 + at0 )] + u1 ( )d 2au(x0 , t0 ).
x0 at0
(3.9)
De (3.8) e (3.9) temos
Z x0 +at0 Z Z 
1 1
u(x0 , t0 ) = [u0 (x0 at0 ) + u0 (x0 + at0 )] + u1 ( )d + f (x, t)dxdt .
2 2a x0 at0

Como (x0 , t0 ) foi fixado arbitrariamente, obtemos


Z x+at Z Z 
1 1
u(x, ) = [u0 (x at) + u0 (x + at)] + u1 ( )d + f (, s)dds . (3.10)
2 2a xat

Portanto, podemos concluir que se u0 C 2 (R), u1 C 1 (R), f C(R [0, )) e


u C 2 (R (0, )) C 1 (R [0, )) e uma solucao do problema (3.5) - (3.7), entao u
pode ser calculada explicitamente pela formula (3.10).

16
Observamos tambem que se w = w(x, t) e v = v(x, t) sao,respectivamente, solucoes
classicas dos problemas

utt a2 uxx = 0 utt a2 uxx = f (x, t)

() u(x, 0) = u0 (x) () u(x, 0) = 0
ut (x, 0) = u1 (x) ut (x, 0) = 0

entao u(x, t) = w(x, t) + v(x, t) e solucao do problema (3.5) - (3.7).


Este fato e (3.10) nos indica que
Z Z
1
v(x, t) = f (, s)dds, (3.11)
2a

onde e o triangulo caracterstico pelo ponto (x, t), deve ser solucao de (), pois ja
sabemos que
Z x+at
1 1
w(x, t) = [u0 (x at) + u0 (x + at)] + u1 ( )d
2 2a xat
e a solucao de dAlembert para o problema ().
Ainda podemos substituir a integral dupla de (3.11) por integrais iteradas. Ou seja
Z Z Z t Z x+a(ts)
1 1
v(x, t) = f (, s)dds = f (, s)dds.
2a 2a 0 xa(ts)

Teorema 3.3 ( Existencia de solucao para o problema nao homogeneo com dados
nulos ). Se f : R [0, ) R e uma funcao continuamente diferenciavel e limitada
entao v : R [0, ) R definida por
Z t Z x+a(ts)
1
v(x, t) = f (, s)dds (3.12)
2a 0 xa(ts)
e solucao classica do problema

vtt a2 vxx = f < x < t>0 (3.13)

v(x, 0) = vt (x, 0) = 0 < x < (3.14)

Demonstracao: Nossa demonstracao e conhecida na literatura como princpio de


Duhamel. Iniciamos verificando que:
(1 ) Se f C 1 (R [0, )) entao a funcao : R [0, ) [0, ) R definida por:
Z x+at
1
(x, t, s) = f (, s)d
2a xat
esta bem definida e para todo s 0 ( fixado ) temos que a aplicacao (x, t) (x, t, s) e
uma solucao do problema

tt (x, t, s) a2 xx (x, t, s) = 0 < x < t>0

(x, 0, s) = 0
< x <
t (x, 0, s) = f (x, s)

17
De fato, veja que e da forma
Z (x,t)
1
(x, t, s) = f (, s)d
2a (x,t)

com (x, t) = x at e (x, t) = x + at. Pela regra de Leibniz temos


1
t (x, t, s) = 2a [f (x + at, s)a f (x at, s)(a)] = 12 [f (x + at, s) + f (x at, s)]
tt (x, t, s) = 21 f (x + at, s)(a) + f (x at, s)(a) = a2 [fx (x + at, s) fx (x at, s)]

x x
1 1
x (x, t, s) = 2a [f (x + at, s) f (x at, s)] , xx (x, t, s) = 2a [fx (x + at, s) fx (x at, s)]

donde conclui-se a nossa afirmacao (1 ).


Continuamos com a seguinte afirmacao:
(2 ) Seja como no item (1 ) e para s 0 fixado defina : R [s, ) R por

(x, t) = (x, t s, s) deta forma temos que



tt (x, t, s) a2 xx (x, t, s) = 0 < x < t>s

(x, s, s) = 0

t (x, s, s) = f (x, s)
Com efeito,

t (x, t, s) = t (x, t s, s) tt (x, t, s) = tt (x, t s, s)


x (x, t, s) = x (x, t s, s) xx (x, t, s) = xx (x, t s, s)

donde, usando o item anterior, segue a nossa afirmacao.


A terceira etapa da prova consiste em observar que
Z t Z t
v(x, t) = (x, t, s)ds = (x, t s, s)ds
0 0
Z t Z x+a(ts) Z t Z x+a(ts)
1 1
= f (, s)dds = f (, s)dds
0 2a xa(ts) 2a 0 xa(ts)

Desta forma
Z
vt (x, t) = (x, t, t) + t (x, t, s)ds mas
(x, t, t) = 0
0
Z t Z t
vtt (x, t) = t (x, t, t) + tt (x, t, s)ds = f (x, t) + tt (x, t, s)ds
0 0
Z t
= f (x, t) + a2 xx (x, t, s)ds = f (x, t) + a2 vxx (x, t)
0

Ou seja, vtt (x, t) a2 vxx (x, t) = f (x, t). Tambem vemos que v(x, 0) = 0 e vt (x, 0) = 0.
Isto conclui a demonstracao.

Teorema 3.4 ( Existencia, Unicidade e dependencia contnua dos dados )

18
Se u0 C 2 (R), u1 C 1 (R) e f C 1 (R [0, )) e limitada, entao a funcao
Z x+at Z t Z x+a(ts)
1 1 1
u(x, t) = [u0 (x + at) + u0 (x at)] + u1 ( )d + f (, s)dds
2 2a xat 2a 0 xa(ts)
(3.15)
e a unica solucao do problema (3.5)-(3.7), a qual depende continuamente dos dados
iniciais.

Demonstracao: Dos teoremas 3.1 e 3.2 e a linearidade dos problemas resulta que
(3.15) e uma solucao de (3.5)-(3.7). Para provar a unicidade suponhamos que u1 , u2
sejam solucoes classicas de (3.5)-(3.7). Entao, considerando u(x, t) = u1 (x, t) u2 (x, t)
temos que u(x, t) e solucao classica do problema

utt a2 uxx = 0 (3.16)

u(x, 0) = ut (x, 0) = 0 (3.17)

Multiplicando (3.16) por 2ut (x, t) resulta que


2
(ut + a2 u2x ) (2a2 ux ut ) = 0
t x
ou ainda

(2a2 ux ut ) (u2t + a2 u2x ) = 0 (3.18)
x t
Agora, dado (x0 , t0 ) R [0, ) um ponto arbitrariamente fixado, denotamos por
(x0 , t0 ) o triangulo caracterstico. Z Z  
M L
Integrando (3.18) sobre (x0 , t0 ) temos dxdt = 0 onde M=
x t
2a2 ux ut e L = u2t + a2 u2x . Usando o teorema de Green temos:
Z Z   I
M L
0 = dxdt = Ldx + M dt
x t
I I I
= Ldx + M dt + Ldx + M dt Ldx + M dt
C1 C2 C3
Z x0 +at0 Z x0 +at0
0 0
= h(L((s)), M ((s))), (s)ids h(L((s)), M ((s))), (s)ids
x0 at0 x0
Z x0
0
h(L((s)), M ((s))), (s)ids
x0 at0
Z x0 +at0 Z x0 +at0   Z x0  
M ((s)) M ((s))
= L((s)ds L((s)) ds L((s)) + ds
x0 at0 x0 a x0 at0 a
Z x0 +at0 Z x0
2
= [ut ((s)) aux ((s))] ds [ut ((s)) + aux ((s))]2 ds
x0 x0 at0

Portanto
Z x0 +at0 Z x0
2
[ut ((s)) aux ((s))] ds + [ut ((s)) + aux ((s))]2 ds = 0
x0 x0 at0

19
Logo 
ut ((s)) aux ((s)) = 0 s [x0 , x0 + at0 ]
ut ((s)) + aux ((s)) = 0 s [x0 at0 , x0 ]acabouabateria
a uat ux = 0
   d
ds
(u )(s) = 0
a uat + ux = 0 d
ds
(u )(s) = 0
donde
(u )(s) = K1 s [x0 , x0 + at0 ] e (u )(s) = K2 s [x0 at0 , x0 ]
K1 = u((x0 + at0 )) = u(x0 + at0 , 0) = 0
K2 = u((x0 at0 )) = u(x0 at, 0) = 0
O que implica que u(x, t) = 0 (x, t) . Donde em particular u(x0 , t0 ) = 0.
Pela arbitrariedade do ponto (x0 , t0 ) segue que u(x, t) = 0 (x, t) R [0, )
u1 (x, t) = u2 (x, t) a solucao e unica.
Para provar a dependencia contnua dos dados sejam u0 , u1 , f e ue0 , ue1 , fe duas ternas
de dados iniciais com solucoes u e u e respectivamente. Entao
1 1
u(x, t) u
e(x, t) = [u0 (x + at) ue0 (x + at)] + [u0 (x at) + u e0 (x at)]
2 2
Z x+at Z t Z x+a(ts) h
1 1 i
+ [u1 ( ) u
e1 ( )] d + f (, s) fe(, s) dds
2a xat 2a 0 xa(ts)

(x, t) R[0, )

Portanto, dados T > 0 e  > 0, existe = T2
tal que se
(1 + T + 2
)

sup |u0 () u
e0 ()| < , sup |u1 () u
e1 ()| < , sup |f (, s) fe(, s)| <
R R R

entao
1 1 1 1
|u(x, t) u
e(x, t)| < + + (2a)t + at2
2 2 2a 2a
2
= + t + t
2
t2 T2
= (1 + t + ) < (1 + T + )= (x, t) R [0, T ]
2 2
O que prova a dependencia contnua em relacao aos dados iniciais.

4 Breve estudo sobre series de Fourier


Dado um numero real L > 0, representamos por P2L (R) o espaco vetorial das funcoes
f : R R periodicas de perodo 2L.

Definicao 4.1 Dada f P2L (R) L1 ([L, L]) definimos

1 L
Z
nx
an = f (x)cos dx, n 0; (4.1)
L L L

20
Z L
1 nx
bn = f (x)sen dx, n 1. (4.2)
L L L
Os numeros an e bn com n 0 e n 1, respectivamente, sao chamados coeficientes de
Fourier da funcao f e a serie trigonometrica

a0 X  nx nx 
+ an cos + bn sen (4.3)
2 n=1
L L

e chamada serie de Fourier de f .

Pela definicao da serie de Fourier e propriedades elementares de funcoes pares e


mpares e obvio o seguinte resultado.

Teorema 4.2 Seja f P2L (R) L1 ([L, L]).


a) Se f e uma funcao par (f (x) = f (x), x R), entao a serie de Fourier de f e
uma serie de cossenos dada por

a0 X nx
+ an cos ,
2 n=1
L
com Z L
2 nx
an = f (x)cos dx.
L 0 L
b) Se f e uma funcao mpar (f (x) = f (x), x R), entao a serie de Fourier de f
e uma serie de senos dada por

a0 X nx
+ bn sen ,
2 n=1
L
com Z L
2 nx
bn = f (x)sen dx.
L 0 L

Teorema 4.3 (Estimativas para os coeficientes de Fourier)


i) Se f P2L (R) L1 ([L, L]) entao existe uma constante M tal que

|an | M, n 0

|bn | M, n 1.
ii) Se f P2L (R) e derivavel e f 0 L1 ([L, L]) entao existe uma constante K tal que
k K
|an | e |bn | , n 1.
n n
iii) Se f P2L (R) C 1 (R) e tal que f 00 L1 ([L, L]) entao existe uma constante C
tal que
C C
|an | 2 e |bn | 2 , n 1.
n n
21
Demonstracao: i)
L
1 L
Z Z
1 nx
|an | |f (x)| cos dx |f (x)|dx = M, n 0.

L L | {zL } L L
1

L
1 L
Z Z
1 nx
|bn | |f (x)| sen dx |f (x)|dx = M, n 1.

L L | {zL } L L
1

ii) Para verificar (ii) efetuamos uma integracao por partes, ou seja:
Z L
1 nx
an = f (x)cos dx
L L
L
 L Z L
1 L nx L 0 nx
= f (x) sen f (x)sen dx

L n L L n L L


| {z }
=0
Z L
1 nx
= f 0 (x)sen dx.
n L L

De modo analogo temos Z L


1 nx
bn = f 0 (x)cos dx.
n L L
Entao, denotando por a0n e b0n os coeficientes de Fourier de f 0 , isto e,
Z L
1 nx
a0n = f 0 (x)cos dx,
L L L
Z L
1 nx
b0n = f 0 (x)sen dx,
L L L
temos: Z L
1 nx L
an = f 0 (x)sen dx = b0n , n 1. (4.4)
n L L n
Z L
1 nx L 0
bn = f 0 (x)cos dx = a , n 1. (4.5)
n L L n n
Donde Z L
1 K
|an | |f (x)|dx = , n 1.
n L n
Z L
1 K
|bn | |f (x)|dx = , n 1.
n L n

22
iii) Para verificar (iii) efetuamos mais uma integracao por partes, agora nas expressoes
de an e bn obtidas em (ii). Isto e,
Z L
1 nx
an = f 0 (x)sen dx
n L
L
 L Z L
1
0 L nx L 00 nx
= f (x) cos + f (x)cos dx

n n L L n L L
| {z }
=0
Z L
L nx
= f 00 (x)cos dx.
n2 2 L L

De modo analogo encontramos


Z L
L nx
bn = 2 2 f 00 (x)sen dx.
n L L

Entao, denotando por a00n e b00n os coeficientes de Fourier de f 00 , isto e,


Z L
1 nx
a00n = f 00 (x)cos dx,
L L L
Z L
1 nx
b00n = f 00 (x)sen dx,
L L L
temos:
L
L2
Z
L nx
an = 2 2 f 00 (x)cos dx = 2 2 a00n , n 1. (4.6)
n L L n
L
L2
Z
L nx
bn = 2 2 f 00 (x)sen dx = 2 2 b00n , n 1. (4.7)
n L L n
Donde Z L
L C
|an | 2 2 |f 00 (x)|dx = , n 1.
n L n2
Z L
L C
|bn | 2 2 |f 00 (x)|dx = , n 1.
n L n2

Teorema 4.4 (Forma integral para a sequencia das somas parciais da serie de Fourier)
Seja f P2L (R) L1 ([L, L]). Entao (Sn )nN , a sequencia das somas parciais da serie
de Fourier de f , pode ser escrita na forma
Z L Z L+x
Sn (x) = Dn (x y)f (y)dy = Dn ()f (x )d, x R,
L L+x

23
" n
#
1 1 X nx
onde Dn : R R, definida por Dn () = + cos , n N, e denominada
L 2 k=1 L
nucleo de Dirichlet e satisfaz as seguintes propriedades:
i) Dn P2L (R) C(R);
n + 21

ii) Dn e uma funcao par e Dn (0) = ;
L
Z L
iii) Dn ()d = 1;
L
sen n + 21

1 L
, se 6= 0, 2L, 4L, . . .



2
iv) Dn () = sen
1
 2L
n + 2
se = 0, 2L, 4L, . . ..

,
L
Demonstracao: Se (Sn )nN e a sequencia das somas parciais da serie de Fourier de f
temos
n  
a0 X kx kx
Sn (x) = + ak cos + bk sen
2 k=1
L L
Z L n 
1 L
Z 
1 X k kx
= f ( )d + f ( )cos d cos
2L L k=1
L L L L
 Z L  
1 k kx
+ f ( )sen d sen
L L L L
Z L " n  #
1 1 X kx k kx k
= + cos cos + sen sen f ( )d
L L 2 k=1
L L L L
Z L " n
#
1 1 X k
= + cos (x ) f ( )d
L L 2 k=1
L
Z L
= Dn (x )f ( )d
L
Z xL
= Dn ()f (x )(d)
x+L
Z x+L
= Dn ()f (x )d
xL

As propriedades (i) e (ii) sao consequencias imediatas da definicao de Dn . Alem disso,


Z L Z L n
!
1 1 X kx
Dn ()d = + cos d
L L L 2 k=1 L
Z L n
1 L
Z
1 X kx
= d + cos d
2L L k=1
L L L
| {z }
=0

24
1
= (2L) = 1
2L

o que prova (iii).


Por fim, para obter (iv) notemos que
n
X 2 n
1+ eik = 1 + ei + ei + . . . + ei
k=1
1 ei(n+1)
=
1 ei
1ei(n+1) 1
ei 2 ei(n+ 2 )


ei 2
= 1ei
=
i
ei 2 ei 2
e 2

donde ! 1
!
ei 2 ei(n+ 2 )
n
X n
X
ik
1+ cos(k) = Re 1 + e = Re ,
k=1 k=1 ei 2 ei 2
sempre que = 0, 2, 4, . . .. Ou ainda,
n
sen 2 + sen n + 12

X
1+ cos(k) = ,
k=1
2sen 2
para = 0, 2, 4, . . ..
Usando isto e a definicao de Dn , obtemos (iv).
Corolario 4.5 Sejam f P2L (R)L1 ([L, L]) e (Sn )nN a sequencia das somas parciais
da serie de Fourier de f . Entao
Z L
Sn (x) = Dn ()[f (x + ) f (x )]d, x R, (4.8)
0
onde Dn e o nucleo de Dirichlet.
Demonstracao: Pelo teorema anterior temos
Z x+L
Sn (x) = Dn ()f (x )d = ().
xL
Como f e Dn sao funcoes periodicas de perodo 2L, temos
Z L Z 0 Z L
() = Dn ()f (x )d = Dn ()f (x )d + Dn ()f (x )d = ().
L L 0
Fazendo = t, segue que x = x + t e d = dt e ficamos com
Z 0 Z L
() = Dn (t)f (x + t)(dt) + Dn ()f (x )d
L 0
Z L Z L
= Dn (t)f (x + t)dt + Dn ()f (x )d
0 0
= ( )

25
E como Dn e par
Z L Z L
( ) = Dn (t)f (x + t)dt + Dn ()f (x )d
0 0
Z L
= Dn ()[f (x + ) f (x )]d.
0

Como queriamos.

Corolario 4.6 Sejam P2L (R) L1 ([L, L]) e x [L, L] tal que existam os limites
laterais
f (x+ ) = lim+ f () e f (x ) = lim f ().
x x
Entao definindo
f (x+ ) + f (x )
 
En (x) = Sn (x) ,
2
onde (Sn )nN e a sequencia das somas parciais da serie de Fourier de f , tem-se
Z L
En (x) = Dn ()g(x, )d,
0

onde g(x, ) = [f (x + ) f (x+ )] + [f (x ) f (x )].


Demonstracao:
f (x+ ) + f (x )
 
En (x) = Sn (x)
2
Z L
f (x+ ) + f (x )
 
(Pelo Cor. 4.5) = Dn ()[f (x + ) + f (x )]d
0 2
Z L Z L
f (x )+
f (x )
= Dn ()f (x + )d + Dn ()f (x )d
0 2 0 2
Z L Z L
(Pelo Teo. 4.4) = Dn ()f (x + )d Dn ()f (x+ )d
0 0
Z L Z L
+ Dn ()f (x )d Dn ()f (x )d
0 0
Z L
= Dn (){[f (x + ) f (x+ )] + [f (x ) f (x )]}d
0
Z L
= Dn ()g(x, )d
0

Como Desejavamos.

Lema 4.7 (Riemann-Lebesgue) Seja f : [a, b] R tal que F L1 ([a, b]). Entao
Z b
lim f (x)sen(tx)dx = 0 ()
t a

26
Z b
lim f (x)cos(tx)dx = 0 ().
t a

Demonstracao: (a) Suponhamos, inicialmente, que f seja limitada, isto e, que exista
M > 0 tal que |f (x)| < M , x [a, b]. Sendo f integravel, existe uma particao de
[a, b],
: a = x0 < x1 < ... < xn = b,
tal que S(f, ) s(f, ) < , onde
n
X
S(f, ) = Mj (xj xj1 ), Mj = sup{f (x); xj1 x xj },
j=1

n
X
s(f, ) = mj (xj xj1 ), mj = inf{f (x); xj1 x xj }.
j=1

j
Vamos mostrar (). Considere a particao de [a, b] determinada pelos pontos xj = a + (b a),
n
para j = 0, 1, ..., n. Entao
Z b n
X Z xj n Z
X xj
f (x)sen(tx)dx = f (xj ) sen(tx)dx + [f (x) f (xj )]sen(tx)dx. (1)
a j=1 xj1 j=1 xj1

Agora observe que Z b


cos(tx) x 2
f (x)sen(tx)dx =
|xj1
j
(2)

a t t
e que
|f (x) f (xj )| Mj mj , para xj1 x xj . (3)
Substituindo as estimativas (3) e (2) em (1), obtemos
Z b n
2nM X
f (x)sen(tx)dx
+ (mj mj )(xj xj1 ), (4)

a t j=1

e atente para o fato de que o somatorio em (4) e a diferenca entre as somas superior e

inferior relativas a particao . Portanto, dado .0, tome n tal que S(f, ) s(f, ) < .
2
2nM 
E a seguir, com esse n fixado, tome t0 tal que < . Logo, dado .0, temos que
t 2
Z b


f (x)sen(tx)dx < .
(5)
a

(b) Suponhamos agora que f L1 ([a, b]). Dado  > 0, tome uma funcao contnua
: [a, b] R (veja o exerccio 19 da segunda lista) tal que
Z b

|f (x) (x)|dx < . (6)
a 2

27
Agora, como toda funcao contnua num compacto e limitada e integravel, podemos aplicar
a parte (a) da demonstracap e concluir que existe t0 tal que, para t > t0 , tem-se
Z b

(x)sen(tx)dx . (7)
2
a

Tambem temos que


Z b Z b Z b
f (x)sen(tx)dx = (x)sen(tx)dx + [f (x) (x)]sen(tx)dx,
a a a

de modo que
Z b Z b Z b


f (x)sen(tx)dx
(x)sen(tx)dx + |f (x) (x)|dx.
a a a

Assim, segue das estimativas (6) e (7) que dado  > 0, existe t0 tal que, se t t0 , entao
Z b


f (x)sen(tx)dx ,
a

o que demonstra o Lema de Riemann-Lebesgue.

Teorema 4.8 ( Teste de Dini ) Sejam f P2L (R) L1 ([L, L]) eZ x [L, L] tal que

g(x, )
existam os limites laterais f (x+ ) e f (x ). Se existe > 0 tal que d <

0
entao lim En (x) = 0
n

Demonstracao: De acordo com o corolario 2 temos


Z L Z Z L
g(x, )
En (x) = Dn ()g(x, )d = Dn () d + Dn ()g(x, )d
0 0
(n + 21 )
Z Z L  
g(x, ) g(x, )
= Dn () d + sen
 d
0 L 2Lsen 2L

Agora a ideia e tornar cada uma destas integrais pequenas. Observe que
 
(n+ 12 )
sen L


|Dn ()| =

 n N
2Lsen 2L 2Lsen 2L



Desde que () = 2Lsen 2L
e uma funcao crescente e contnua em (0, L], temos que

1
|Dn ()| (L) = [0, L] n N.
2

28
Portanto dado  > 0 existe 0 < 0 < min{L, } tal que
Z 0
1 0 g(x, )
Z
g(x, ) d <  ,
Dn () d n N

0 2 0 2
Uma vez escolhido tal 0 , vamos considerar a outra integral. Vemos que
"  #
n + 21
Z L Z L
g(x, )
sen
 d = h()sen(K)d
0 L 2Lsen 2L 0

n + 12

g(x, )
onde h() =
 eK= . Note que
2Lsen 2L
L


2Lsen 2L 6= 0 [0 , L] e g(x, ) L1 ([0 , L]), entao h L1 ([0 , L]). Portanto,
pelo lema de Riemann-Lebesgue
Z L
lim h()sen(K)d = 0
K 0

Logo, existe n0 N suficientemente grande tal que


Z "  #
L n + 21 g(x, ) 
sen d < se n n0



L 2

0 2Lsen 2L

Assim,
 
|En (x)| < + = , n n0
2 2
Ou seja, lim En (x) = 0.
n

Observacao 4.9 Pela definicao de En (x), veja que nas hipoteses do teste de Dini pode-
mos afirmar que a serie de Fourier de f converge no ponto x para a media aritimetica
dos limites laterais de f , isto e:
 n  f (x+ ) + f (x )
a0 X   n 
+ an cos x + bn sen x = .
2 n=1
L L 2

Observacao 4.10 No teste de Dini, a condicao


Z
g(x, )
> 0 tal que d <

0

e tecnicamente nao muito simpatica de ser verificada. Portanto, para efeito pratico
buscamos condicoes mais simples as quais impliquem nesta ( Veja exerccio ).

Definicao 4.11
(i) Uma funcao f : R R e seccionalmente contnua ( ou contnua por partes )
quando, em qualquer intervalo, f possui um numero finito de descontinuidades
sendo todas descontinuidades de primeira especie. A classe das funcoes f : R R
seccionalmente contnuas e denotada por SC(R).

29
( ii ) Uma funcao f : R R e seccionalmente diferenciavel ( ou diferenciavel por
0
partes ) quando f SC(R) e f SC(R) ( Note que a funcao derivada nao esta
definida em todos os pontos ). A classe das funcoes f : R R seccionalmente
diferenciaveis e representada por SD(R).
Teorema 4.12 ( De Fourier ) Se f P2L (R) SD(R) entao a serie de Fourier de f
1
converge, em cada ponto x R, para [f (x+ ) + f (x )], isto e
2
  n  f (x+ ) + f (x )
a0 X  n 
+ an cos x + bn sen x = .
2 n=1
L L 2
Demonstracao: Basta ver que se f P2L (R) SD(R) entao em cada ponto x R
estao satisfeitas as condicoes do teste de Dini.
A seguir vamos estudar as series de Fourier de funcoes de L2 ([L, L]). Veremos que
o espaco L2 e o mais adequado. Sabemos que L2 ([L, L]) e um espaco de Hilbert com o
produto interno
Z L
(f g) = f (x)g(x)dx f, g L2 ([L, L]).
L

Suponhamos que (n )nN seja um sistema ortonormal em L2 ([L, L]) e para cada m N
seja Vm = [1 , 2 , , m ] o subespaco gerado pelos m primeiros elementos. Dada
f L2 ([L, L]) a distancia de f aos elementos de Vm tem um mnimo, ou seja:
Teorema 4.13 ( Propriedade minimizante ) Sejam f L2 ([L, L]), (n )nN um sis-
tema ortonormal em L2 ([L, L]), Vm = [1 , 2 , , m ] e J : Vm R definido por
J(u) = kf uk2L2 ([L,L]) .
m
X
Entao w = (f 1 )1 + (f 2 )2 + + (f m )m = (f k )k Vm e
k=1
J(w) J(u) u Vm .
Demonstracao: Seja u Vm um elemento arbitrariamente escolhido. Entao u e
uma combinacao linear dos 1 , 2 , , m , isto e, existem escalares c1 , , cm tais que
Xm
u= ck k . Desta forma
k=1

J(u) = kf uk2L2 ([L,L]) = (f u, f u) = kf k2L2 ([L,L]) 2(f, u) + kuk2L2 ([L,L])


m
! m m
!
X X X
= kf k2L2 ([L,L]) 2 f, ck k + ck k , cj j
k=1 k=1 j=1
m
X m
X
= kf k2L2 ([L,L]) 2 ck (f, k ) + c2k ( aqui usamos que (n )nN e ortonormal )
k=1 k=1
m
X m
X m
X
= kf k2L2 ([L,L]) + [c2k 2ck (f, k )] + (f, k ) 2
(f, k )2 ( completando quadrado)
k=1 k=1 k=1
Xm m
X
= kf k2L2 ([L,L]) + [ck (f, k )]2 (f, k )2
k=1 k=1

30
Logo vimos que o mnimo de J(u) e atingido quando ck = (f, k ) para todo k =
1, , m . Portanto, tomando
X m
w= (f, k )k
k=1

resulta que J(w) J(u) u Vm .


Usando os calculos acima e desde que 0 J(w) temos:

Corolario 4.14 Sejam f L2 ([L, L]) e (n )nN um sistema ortonormal em L2 ([L, L]).
Entao:
m
2 m
X X
(i) f (f, k )k = kf k2L2 ([L,L]) (f, k )2 m N

2
k=1 L ([L,L]) k=1
( Identidade de Bessel )
m
X
(ii) (f, k )2 kf k2L2 ([L,L]) m N
k=1
( Desigualdade de Bessel )

X
Observacao 4.15 Da desigualdade de Bessel vemos que a serie (f, n )2 e conver-
n=1
gente e

X
(f, n )2 kf k2L2 ([L,L]) 4.9
n=1

Como k tem norma 1 para todo k N, o produto escalar (f, k ) pode ser considerado
como sendo a componente do vetor f na direcao de k . Assim, a desigualdade de Bessel e
(4.9) dizem que a soma dos quadrados das componentes de um vetor f , em relacao a um
sistema ortonormal (n )nN , nao pode ser maior do que o quadrado do comprimento do
vetor f . Nos espacos euclidianos de dimensao finita temos que a soma dos quadrados das
componentes e igual ao quadrado do comprimento do vetor (Teorema de Pitagoras). Isto
tambem ocorre em L2 ([L, L]), desde que o sistema ortonormal (n )nN seja tambem
completo, ou seja, nao existe um elemento 6= 0 de L2 ([L, L]) que seja ortogonal a
todos os elementos de (n )nN .

Teorema 4.16 (Identidade de Parseval) Seja (n )nN um sistema ortonormal e com-


pleto em L2 ([L, L]). Entao, qualquer que seja f L2 ([L, L]) tem-se
n
X
Sn = (f, k )k f em L2 ([L, L])
k=1


!
X
ou seja, ||Sn f ||L2 ([L,L]) 0, quando n ; f= (f, n )n
n=1

31
e
X
|(f, n )|2 = ||f ||2 .
n=1
n
X
Demonstracao: Consideremos a sequencia Sn = (f, k )k . Dados m, n N (m
k=1
n) temos
m
X
||Sm Sn ||2L2 = || (f, k )k ||2L2
k=n+1
m m
!
X X
= (f, k )k , (f, i )i
k=n+1 i=n+1
m
X
= |(f, k )|2 0 quando m, m (por (4.9))
i=n+1

Portanto, (Sn )nN e uma sequencia de Cauchy no espaco completo L2 ([L, L]). Entao
(Sn )nN e convergente em L2 ([L, L]).
Seja u L2 ([L, L]) o limite de (Sn )nN , isto e

X n
X
u= (f, n )n = lim (f, k )k .
n
n=1 k=1

Fixado arbitrariamente j N, qualquer que seja n j temos


!
Xn
|(u, j ) (f, j )| = (u, j ) (f, k )k , j


k=1
!
X n
= u (f, k )k , j


k=1

X n
u (f, k )k ||j ||L2 .

2
k=1 L
| {z }
0,quando n

Entao (u, j ) = (f, j ), j N.


Mas isto implica que (u f, j ) = 0, j N, donde segue que u = f em L2 ([L, L]).

X
Assim provamos que f = (f, n )n .
n=1
Da Desigualdade de Bessel temos
n
n
2
X X
2
|(f, k )| + f (f, k )k = ||f ||2L2 ,

2
k=1 k=1 L
| {z }
0,quando n

32
e da resulta que

X
|(f, n )|2 = ||f ||2L2 .
n=1

Como queramos.

Agora vamos aplicar os teoremas (4.6) e (4.7) a uma situacao concreta e concluir
importantes resultados sobre a serie de Fourier de uma funcao f L2 ([L, L]).

Exemplo 4.17 E facil ver que


 
1 1 x 1 x 1 nx 1 nx
= , cos , sen , . . . , cos , sen ,...
2L L L L L L L L L

e um sistema ortonomal e completo em L2 ([L, L]).


Escrevendo
1 1 nx 1 nx
0 (x) = , k (x) = cos , k (x) = sen , k 1,
2L L L L L
podemos escrever o sistema da seguinte forma

= {0 , 1 , 1 , . . . , n , n , . . .} = {1 , 2 , . . .} = (n )nN .

Neste caso, dada f P2L L2 ([L, L]) temos



X
(f, n )n (x) = (f, 1 )1 (x) + (f, 2 )2 (x) + . . . + (f, n )n (x) + . . .
n=1
= (f, 0 )0 (x), . . . , (f, n )n (x), (f, n )n (x), . . .
 
1 1 (f, ) nx (f, n ) nx
= f, + . . . + n cos + sen + ...
2L 2L L L L L

Lembramos que os coeficientes de Fourier de f sao:

1 L
Z
(f, 1) a0 (f, 1)
a0 = f (x)dx = =
L L L 2 2L
Z L
1 nx (f, Ln ) (f, n )
an = f (x)cos dx = = , n1
L L L L L

1 L
Z
nx (f, Ln ) (f, n )
bn = f (x)sen dx = = , n1
L L L L L

Portanto,

X a0 X  nx nx 
(f, n )n (x) = + an cos + bn sen
n=1
2 n=1
L L
e a serie de Fourier de f .

33
Usando isto e os teoremas (4.6) e (4.7) obtemos o seguinte resultado.

Teorema 4.18 Sejam f P2L L2 ([L, L]) e (an )nN , (bn )nN os coeficientes de Fourier
de f . Entao tem-se
i) (Desigualdade de Bessel)
n L
a20 X 2
Z
1
+ (ak + b2k ) |f (x)|2 dx, n N.
2 k=1
L L

ii) A serie de fourier de f converge em L2 ([L, L]) para f , isto e,


Z L 1/2
2
||Sn f ||L2 ([L,L]) = |Sn (x) f (x)| dx 0, quando n .
L

iii) (Identidade de Parseval)


L
a20 X 2
Z
1
+ (an + b2n ) = |f (x)|2 dx, n N.
2 n=1
L L

Teorema 4.19 (Unicidade da Serie de Fourier) Sejam f, g P2L L2 ([L, L]) tais que
suas series de Fourier sejam iguais. Entao f = g em L2 ([L, L]).
Demonstracao: Definindo h(x) = f (x) g(x) para todo x R, resulta que os coe-
ficientes de Fourier de h sao todos nulos (pois pela hipotese f e g possuem os mesmos
coeficientes de Fourier. Logo,

(h, 0 ) = (h, n ) = (h, n ) = 0, n 1,

onde
1 1 nx 1 nx
T h0 (x) = , n (x) = cos , n (x) = sen , n 1.
2L L L L L

Como = {0 , 1 , 1 , . . . , n , n , . . .} e um sistema completo em L2 ([L, L]) resulta


que h = 0 em L2 ([L, L]), donde segue que f = g em L2 ([L, L]).

Teorema 4.20 Se f P2L C(R) e a serie de Fourier de f e uniformemente convergente


em R, entao sua soma (seu limite) e necessariamente igual a f .
Demonstracao: Seja

a0 X  nx nx 
+ an cos + bn sen
2 n=1
L L

a serie de Fourier de f e suponhamos que esta serie convirja uniformemente em R para


uma funcao g. Entao temos que g C(R) e

a0 X  nx nx 
g(x) = + an cos + bn sen , x R.
2 n=1
L L

34
Agora vamos calcular os coeficientes de Fourier de g para mostrar que coincidem com os
de f . Fixando k N temos
Z L
(g, k ) = g(x)k (x)dx
L

Z L X !
= (f, n )n (x) k (x)dx
L n=1

X Z L
(pela conv. unif. da serie ) = (f, n )n (x)k (x)dx
n=1 L

X Z L
= (f, n ) n (x)k (x)dx
n=1 L

(pela ortonormalidade de (n )) = (f, k )

Logo, as series de Fourier de f e g coincidem e segue do teorema anterior que f = g


em L2 ([L, L]). Isto quer dizer que as funcoes coincidem, a menos de uma quantidade
enumeravel de pontos de [L, L]. Desta forma, segue da periodicidade e da continuidade
de f e g que f (x) = g(x), x R.

Teorema 4.21 Seja f P2L C 1 (R) tal que f 00 L1 ([L, L]). Entao a serie de Fourier
de f converge uniformemente (e absolutamente) em R para f .
Demonstracao: Nas hipoteses do teorema a funcao f satisfaz as condicoes do teorema
de Fourier (T eorema 4.5). Este fato e a continuidade de f nos garante que a serie de
Fourier de f converge pontualmente para f em R, ou seja,

a0 X  nx nx 
f (x) = + an cos + bn sen , x R.
2 n=1
L L

Resta concluir que a convergencia e uniforme e absoluta em R. Para isto, note que
nx nx
an cos + bn sen |an | + |bn |

L L
2C
(Pelo Teo. 4.2(iii))
n2
= Mn , x R.


X
E a serie numerica Mn e convergente. Logo, pelo Teste de Weierstrass para con-
n=1
vergencia de series temos que a serie de Fourier de f converge uniformemente e absolu-
tamente para f .

Teorema 4.22 Seja f P2L (R) C(R) tal que f 0 L2 ([L, L]). Entao a serie de
Fourier de f converge uniformemente em R para f .

35
Demonstracao: Das identidades (4.4) e (4.5) resulta que
nx nx L
an cos + bn sen |an | + |bn | = (|a0 | + |b0n |) = Mn

L L n n

X
e a serie Mn e convergente. Com efeito, seja (Tn )nN a sequencia das somas parciais
n=1

X
da serie Mn , entao
n=1
n n
X X L
Tn = Mk = (|a0k | + |b0k |)
k=1 k=1
k
n
!1/2 n
!1/2
X L2 X
22
(|a0k | + |b0k |)2
k=1
k k=1
n
!1/2 n
!1/2
X L2 X
22
2(|a0k |2 + |b0k |2 )
k=1
k k=1
n
!1/2 n
!1/2
L 2 X 1 X
= 2
(|a0k |2 + |b0k |2 )
k=1
k k=1

! 1/2
!1/2
L 2 X 1 X
2
(|a0k |2 + |b0k |2 ) , n N.
k=1
n k=1

Como as duas series acima sao convergentes ( a primeira porque e a serie geometrica
e a segunda porque f 0 L2 ([L, L]) de modo que vale a identidade de Parseval para
os coeficientes de Fourier de f 0 ), temos que (Tn )nN e monotona, nao-decrescente e
limitada, e portanto, convergente.
Segue do teste de Weierstrass que a serie de Fourier de f converge uniformemente e
absolutamente em R. Desde que f P2L (R) C(R), segue do teorema ?? que a serie de
Fourier de f converge uniformemente ( e absolutamente ) em R para f .
Teorema 4.23 Seja f P2L (R) SC(R) tal que f 0 L2 ([L, L]). Entao a serie de
Fourier de f converge uniformemente para f em todo intervalo fechado que nao contem
pontos de descontinuidade de f .
Demonstracao: Sejam x1 , . . ., xk os pontos do intervalo [L, L) onde f e descontinua.
Denotamos

wj = f (x+ j ) f (xj ), j = 1, 2, . . . , k
(isto e, wj e o salto de f no ponto de descontinuidade xj ) e
j (x) = wj (x xj ),
onde P2L (R) e e dada por
1
2 1 + Lx , se L x < 0


(x) = 0, se x = 0
1 x

2
1 L
, se 0 < x L.

36
cuja serie de Fourier converge uniformemente para em qualquer intervalo que nao
contenha pontos da forma 2Ln, n Z (veja exerccio 32 da 1a lista).
Fixado arbitrariamente j {1, . . . , k}, temos:
i) j (xj 2Ln) = wj (xj 2Ln xj ) = wj (2Ln) = 0, n = 0, 1, 2, ....
ii)
wj
j+ (x) := lim+ (x) = lim+ wj (x xj ) = lim+ wj () =
xxj xxj 0 2
wj
j (x) := lim (x) = lim wj (x xj ) = lim wj () =
xxj xxj 0 2

donde j e dsescontnua no ponto xj e o salto de j ) nestes pontos e


j+ (x) j (x) = wj .
De modo analogo podemos ver que, em verdade, j e descontnua nos pontos da forma
xj 2Ln, n = 1, 2, ..., e o salto de j no ponto xj 2Ln e wj .
Agora considere
gj (x) = f (x) j (x), x R
e teremos que gj e contnua em todo ponto x 6= xi + 2Ln, i = 1, 2, ..., k. Alem disso, se
x = xj 2Ln temos que o salto de gj no ponto xj 2Ln e a diferenca dos saltos de f e
j neste ponto, que e igual a zero, o que implica que gj e contnua no ponto xj 2Ln,
n = 1, 2, .... Nos demais pontos xi 2Ln, para i 6= j, gj e descontnua.
Entao vemos que a funcao gj elimina os pontos de descontinuidade da forma xj 2Ln,
ou seja, os pontos de descontinuidade de gj serao os mesmos da funcao f a menos
dos pontos da forma xi 2Ln, para i 6= j. Com o objetivo de eliminarmos todas as
descontinuidades definimos
k
X
g(x) = f (x) j (x), xR
j=1

e obtemos que g e contnua em todo ponto x. Mais detalhadamente, note que


g P2L (R) C(R) com g 0 L2 ([L, L]).
Pelo teorema anterior, a serie de Fourier de g converge para g, uniformemente em R.
Alem disso, da definicao de j e do exerccio, e facil ver que a serie de fourier de j
converge para j , uniformemente em todo intervalo fechado que nao contem pontos da
forma xj 2Ln. Logo, escrevendo
k
X
f (x) = g(x) + j (x)
j=1

conclumos que a serie de fourier de f (que e a soma das series de Fourier de g e j ,


para j = 1, 2, ..., k) converge uniformemente para f em qualquer intervalo que nao contem
pontos da forma xj 2Ln, os quais sao justamente os pontos de descontinuidade da
funcao f .

37
5 Problema de valores iniciais e de fronteira para a
equacao da onda unidimensional
Denomina-se problema de valores iniciais e de fronteira para a equacao da onda unidi-
mensional, o problema

utt a2 uxx = 0 0<x<L t>0 (5.1)

u(0, t) = u(L, t) = 0 t 0 (5.2)

u(x, 0) = u0 (x) ut (x, 0) = u1 (x) 0 x L (5.3)
onde u0 : [0, L] R e u1 : [0, L] R sao funcoes dadas.

Definicao 5.1 Denotamos Q = (0, L) (0, ). Uma funcao u : Q R e uma solucao


classica do problema (5.1) (5.3) quando:
i) u C 2 (Q) C 1 (Q)
ii) u satisfaz pontualmente em Q a equacao (5.1) e as condicoes (5.2), (5.3).
000 00
Teorema 5.2 Sejam u0 C 2 ([0, L]) e u1 C 1 ([0, L]), tais que u0 , u1 SC([0, L]) e
00 00
u0 (0) = u0 (L) = u0 (0) = u0 (L) = u1 (0) = u1 (L) = 0. Entao
 
X nat nat nx
u(x, t) = an cos + bn sen sen
n=1
L L L

2 L
Z Z L
nx 2 nx
onde an = u0 (x)sen dx e bn = u1 (x)sen dx e a unica solucao
L 0 L na 0 L
classica do problema (5.1) (5.3), a qual depende continuamente dos dados iniciais.

Demonstracao: i) Existencia
000 00 00
Desde que u0 C 2 ([0, L]), u0 SC([0, L]) e u0 (0) = u0 (L) = u0 (0) = u0 (L) = 0,
realizando tres integracoes por partes temos:

Z L Z L
2 nx 2 0 nx
an = u0 (x)sen dx = u0 cos dx
L 0 L n 0 L
Z L Z L
2L 00 nx 2L2 000 nx
= 2 2 u0 (x)sen dx = 3 3 u0 (x)cos dx (5.4)
n 0 L n 0 L
00
e, como u1 C 1 ([0, L]), u1 SC([0, L]) e U1 (0) = u1 (L) = 0 realizando duas
integracoes por partes temos:

Z L Z L
2 nx 2L 0 nx
bn = u1 (x)sen dx = 2 2 u1 (x)cos dx
na 0 L n a 0 L
Z L
2L 00 nx
= 3 3 u1 (x)sen dx (5.5)
n a 0 L

38
Portanto, existem constantes C1 e C2 tais que
C1 C2
|an | e |bn | (5.6)
n3 n3

Agora veja que an cos nat + bn sen nat sen nx |an | + |bn | C1 +C

L L L n3
2
= Mn (x, t)
Q.
X
Desde que Mn e convergente, pelo teste de Weierstrass resulta que a serie de funcoes
n=1
 
X nat nat nx
an cos + bn sen sen converge uniformemente e absolutamente em Q.
n=1
L L L
 
nat nat nx
Denotando un (x, t) = an cos + bn sen sen podemos ver que:
L L L
 
un na nat na nat nx
(x, t) = an sen + bn cos sen (x, t) Q
t L L L L L
 
un nan nat nbn nat nx
(x, t) = cos + sen cos (x, t) Q
x L L L L L
donde

un a (C1 + c2 )a 1
t (x, t) (n|an | + n|bn |) . 2 =M (x, t) Q
fn
L L n

un (C1 + c2 ) 1
x (x, t) (n|an | + n|bn |) . 2 = Mn (x, t) Q

L L n
Pf P
Desde que as series numericas Mn e M n sao convergentes, pelo teste de Weier-
strass, temos que as series

X un X un
(x, t) e (x, t)
n=1
t n=1
x

Sao uniformemente convergente em Q. Logo pelo exerccio 24 temos que u C 1 (Q) e


vale a derivacao termo a termo, ou seja:
 
X un X na nat na nat nx
ut (x, t) = (x, t) = an sen + bn cos sen
n=1
t n=1
L L L L L
 
X un X nan nat nbn nat nx
ux (x, t) = (x, t) = cos + sen cos
n=1
x n=1
L L L L L
Nos pontos da fronteira de Q temos:

X
X
un (x, h) un (x, 0)
u(x, h) u(x, 0)
ut (x, 0) = lim+ = lim+ n=1 n=1
h0 h h0 h

X un (x, h) un (x, 0) X un (x, h) un (x, 0)
= lim+ = lim+
h0
n=1
h n=1
h0 h

39

X un
= (x, 0)
n=1
t


X un X un
Analogamente ut (0, t) = (0, t) e ut (L, t) = (L, t).
n=1
t n=1
t
 
X na nat na nat nx
Logo, ut (x, t) = an sen + bn cos sen , (x, t) Q e
n=1
L L L L L
ut C(Q).
 
X nan nat nbn nat nx
De modo analogo temos que ux (x, t) = cos + sen cos (x, t)
n=1
L L L L L
Q e ux C(Q). Para
 2tratar das derivadas segundas vemos  que
2 un n 2 a2 nat n2 2 a2 nat nx
2
(x, t) = 2
an cos 2
bn sen sen
t L L L L L
2
 2 2 2 2

un n nat n nat nx
2
(x, t) = 2 an cos 2 bn sen sen
x L L L L L
donde
2
2 a2 2
2
2 2

un 2
 un 2

(x, t) n |a n | + n |b n | e (x, t) n |an | + n |b n | (5.7)
t2 L2 x2 L2

Observe que nao e conveniente usar (5.6) em (5.7) pois a serie resultante nao converge.
Portanto e necessario obter algo mais. Considere u e0 e u
e1 extensoes contnuas, periodicas
e mpares de u0 e u1 respectivamente. Entao:
000 000
e0 SC(R) e u
u e0 e uma funcao par,
00 00
u
e1 SC(R) e u e1 e uma funcao mpar.
000
Denotando por cn , dn os coeficientes de Fourier de u e0 e por rn , qn os coeficientes de
00
Fourier de u e temos:
Z L 1
2 000 nx
cn = u0 (x)cos dx, dn = 0
L 0 L
2 L 00
Z
nx
rn = 0, qn = u1 (x)sen dx.
L 0 L
Estas relacoes, (5.4) e (5.5) implicam em
L3 L3
an = 3 3 C n e bn = 3 3 q n ,
n n a
donde

L3 1 L3 1 1
 
2 2
n |an | = 3 . .|cn | 3 . + |cn |
n 2 n2
L3 1 L3 1 1
 
2 2
n |bn | = 3 . .|qn | 3 . + |qn |
n 2 n2
2

n2 |an | + n2 |bn | C te n2
+ |cn |2 + |qn |2 (5.8)

40
De (5.7) e (5.8) temos
2   2  
un te 2 2 2
un te 2 2 2
t2 (x, t) C + |cn | + |qn | e x2 (x, t) C + |cn | + |qn |

n2 n2
(x, t) Q,
 
X 2 2 2
+ |cn | + |qn | e convergente ( |cn |2 e |qn |2 convergem pela iden-
P P
e 2
n=1
n
tidade de Parseval ou desigualdade de Bessel ). Portanto segue que u C 2 (Q) e vale
derivacao termo a termo
 2 2 2
nat n2 2 a2

X n a nat nx
utt (x, t) = 2
an cos + 2
bn sen sen (x, t) Q
n=1
L L L L L

X n2 2 nat n2 2
 
nat nx
uxx (x, t) = 2
a n cos + 2 bn sen sen (x, t) Q
n=1
L L L L L
e, desta forma, u C 2 (Q) C 1 (Q) e, vemos tambem que u satisfaz a equacao (5.1)
pontualmente em Q.
As condicoes de fronteira u(0, t) = u(L, t) = 0 t 0 sao trivialmente satisfeitas.
Para verificarmos as condicoes iniciais observamos que u e0 e u
e1 dadas acima satisfazem:
u e1 [P2L (R) SD(R) C(R)] e sao funcoes mpares. Logo pelo teorema de
e0 , u
Fourier, temos que para todo x R

2 L
Z
X nx nx
u
e0 (x) = n sen onde n = u
e0 (x)sen dx = an
n=1
L L 0 L

2 L
Z
X nx nx na
u
e1 (x) = n sen onde n = u
e1 (x)sen dx = bn
n=1
L L 0 L L
Em particular, para todo x [0, L], temos

X nx X na nx
u0 (x) = an sen e u1 (x) = bn sen (5.9)
n=1
L n=1
L L
Por outro lado, calculando u(x, 0), ut (x, 0) e usando (5.9) temos que u(x, 0) = u0 (x)
e ut (x, 0) = u1 (x) [0, L]. Isto completa a demonstracao da existencia de solucao.

ii) Unicidade

Suponhamos que u e v sejam solucoes classicas do problema (5.1) (5.3). Entao


denotando w(x, t) = u(x, t) v(x, t) teremos que w C 2 (Q) C 1 (Q) e satisfaz

wtt a2 wxx = 0 em Q

w(0, t) = w(L, t) = 0 t 0

w(x, 0) = wt (x, 0) = 0 0 x L

41
Z L
Definimos E(t) = [(wt (x, t))2 + a2 9wx (x, t))2 ]dx t 0 e podemos ver que
0

1
E C ((0, )) C([0, ))


dE
(t) = 0 t>0 E(t) = 0 t 0
dt

E(0) = 0

Entao wt (x, t) = wx (x, t) = 0 (x, t) Q e isto implica que


w(x, t) = 0 (x, t) Q u(x, t) = v(x, t) (x, t) Q
o que prova a unicidade.

iii) Para verificarmos a dependencia contnua em relacao aos dados, consideremos u


e v solucoes classicas dos problemas, respectivamente:

utt a2 uxx = 0 em Q vtt a2 vxx = 0 em Q

u(0, t) = u(L, t) = 0 t > 0 v(0, t) = v(L, t) = 0 t >0

u(x, 0) = u0 (x), ut (x, 0) = u1 (x) 0 < x < L v(x, 0) = v0 (x), vt (x, 0) = v1 (x) 0 < x < L

onde ku0 v0 kC 1 ([0,L]) < e ku1 v1 kC([0,L]) < , sendo > 0


Entao temos que w(x, t) = u(x, t) v(x, t) satisfaz


wtt a2 wxx = 0 em Q

() w(0, t) = w(L, t) = 0 t>0
w(x, 0) = w0 (x) = u0 (x) v0 (x) wt (x, 0) = w1 (x) = u1 (x) v1 (x)

Como w C 2 (Q) C 1 (Q) podemos escrever


Z x
w(x, t) = w(0, t) + w (, t)d (x, t) Q
0
Z x Z x

|w(x, t)| =
w (, t)d |w (, t)|d
0 0
Z L Z L  21 Z L  21
2 2
|w (, t)|d 1 d |w (, t)| d
0 0 0
 21
L
Z
= L |wx (x, t)|2 dx
0

L
L L L 2 L
Z Z Z
2 2 2
|w(x, t)| L |wx (x, t)| dx 2 |wt (x, t)| dx + 2 a |wx (x, t)|2 dx
0 a 0 a 0
 Z L 
L L L
|wt (x, t)|2 + a2 |wx (x, t)|2 dx = 2 E(t) = 2 E(0)
 
=
a2 0 a a
Z L
L
|wt (x, 0)|2 + a2 |wx (x, 0)|2 dx
 
= 2
a 0

42
L Lh
Z i
0 0
= 2 |u1 (x) v1 (x)|2 + a2 |u0 (x) v0 (x)|2 dx
a 0
L L2
2 2 (1 + a2 )L = 2 (1 + a2 ) 2
a a
h p i
|w(x, t)| La (1 + a2 ) (x, t) Q

ku vkC(Q) C te o que completa a demonstracao do teorema.

6 1a lista de exerccios
1) Classifique as equacoes segundo o tipo e coloque as na sua forma canonica:
a) 4uxx + 12uxy + 5uyy = 6ux uy
b) uxx 4uxy + 4uyy = 4 + 2ux
2u 2u 2u
c) (1 + x2 )2 2 2(1 + x2 )(1 + y 2 ) + (1 + y 2 )2 2 = 0
x xy y
2) Determine, respectivamente, os conjuntos do plano onde a equacao dada e hiperbolica,
eltica ou parabolica:
2u 2u 2
2 u
a) + 2x + (1 y ) =0
x2 xy y 2
b) uyy + 5uy = 8uxx + 3ux + u

3) Seja V o conjunto de solucoes da equacao utt uxx = 0 em R2 . Mostre que V munido


da soma usual de funcoes e produto de um escalar por uma funcao e um espaco vetorial.
Verifique que dimV = . Observe que a equacao dada e uma EDP, linear, de 2a ordem
com coeficientes constantes e compare este resultado com o caso de equacoes diferenciais
ordinarias.

4) Considere a equacao:

auxx + buxy + cuyy + dux + euy + hu + k(x, y) = 0 em R2 ()

onde a, b, c, d, e, h sao constantes reais e k : R e uma funcao contnua.


i) Se a2 + b2 + c2 6= 0 e a equacao () e hiperbolica em Omega, prove que existe uma
transformacao da forma
    
1 1 x
= ()
2 2 y
tal que nas coordenadas (, ) a equacao () tem a forma

u = d1 u + e1 u + h1 u + k1 (, )

onde d1 , e1 , h1 R e k1 : 1 R e contnua. Aqui 1 e a imagem de pela transformacao


().

43
ii) Se a2 + b2 + c2 6= 0 e a equacao () e eltica em , prove que existe uma transformacao
da forma () tal que nas coordenadas (, ) a equacao () tem a forma

u + u = d1 u + e1 u + h1 u + k1 (, )

onde d1 , e1 , h1 R e k1 : 1 R e contnua.
iii) Se a2 + b2 + c2 6= 0 e a equcao () e parabolica em , demonstre que existe uma
transformacao da forma () tal que nas coordenadas (, ) a equacao () tem a forma

u = d1 u + e1 u + h1 u + k1 (, )

onde d1 , e1 , h1 R e k1 : 1 R e contnua.

2 2
2
5) Considere o operador L = a , onde a e uma constante. Suponha que
t2 x2
u = u(x, t) e v = v(x, t) satisfacam L(u) = L(v) = 0. Prove que L(ut vt + a2 ux vx ) = 0.

6) Faca a deducao fsica da equacao diferencial parcial que descreve:


a) As pequenas vibracoes tranversais de uma corda elastica.
b) A temperatura numa barra uniforme com a superfcie lateral isolada termicamente.

7) Considere o problema de Cauchy:



utt 4uxx = cosx < x < t > 0
() u(x, 0) = (x + 1)(2 x) < x <
ut (x, 0) = 0 < x <

a) Encontre a solucao de ().


b) Determine as equacoes das retas caractersticas do ponto (2, 1).
c) Encontre o domnio de influencia do ponto (3, 0).

8) Seja
utt 4uxx = 0 xR t>0

(P) u(x, 0) = sen2x = u0 (x)

ut (x, 0) = cos2x = u1 (x)
Ache a solucao de (P). Calcule o deslocamento e a velocidade do ponto x = 0 para t > 0.
Determine o domnio de dependencia do ponto (4, 1) e o domnio de influencia do ponto
(2, 0).

9) Considere o problema de valores iniciais



utt = 4uxx < x < t > 0
u(x, 0) = x expx2 < x <


ut (x, 0) = cos2x

Compare as respostas obtidas com as respostas do exerccio anterior. O que voce conclui?

44
10) Sejam : R R, : R R e g : R2 R tais que , C 1 (R) e g C 1 (R2 ).
Prove que a funcao
Z (x)
G(x) = g(x, s)ds xR
(x)

e de classe C 1 (R) e sua derivada


Z (x)
0 0 0 g
G (x) = g(x, (x)) (x) g(x, (x)) (x) + (x, s)ds
(x) x

11) O deslocamento de uma corda infinita em vibracao transversal sao dados por u(x, t) =
cos(xct). Determine a equacao diferencial que rege essas vibracoes, bem como a posicao
inicial e a velocidade inicial da corda.

12) Considere uma corda infinita vibrando transversalmente, sem acao de forcas exter-
nas, e suponha que os pontos x = 0 e x = L permanecam fixos durante todo o processo
vibratorio. Mostre que u(x, t) = F (x+at)+G(xat), onde F e G sao funcoes arbitrarias
de classe C 2 , e solucao da equacao utt a2 uxx = 0, (x, t) R2 . Alem disso, prove que
u = u(x, t) e periodica em x de perodo 2L e periodica em t de perodo 2L a
.

13) Dadas C 2 (R), C 1 (R) e f C 2 (R) encontre uma solucao para o problema

utt uxx + aut + bux = 0 (x, t) R2

u(0, t) = f (t)
t0
u(x, 0) = (x) ut (x, 0) = (x) x 0

Note que , e f devem satisfazer as seguintes condicoes de compatibilidade:


0 00 00
f (0) = (0), f (0) = (0) e f (0) = (0).

14) Dadas f, g C 2 (R), determine uma funcao u = u(x, y) de classe C 2 )(R) solucao do
problema:
uxx u = 0 (x, y) R2
(P) u(0, y) = f (y) y R
ux (0, y) = g(y) y R

Prove que a solucao de (P) e unica.

15) Dadas u0 C 2 (R) e u1 C 1 (R), encontre uma solucao para o problema:



u C 2 (R2 )
utt uxx = (ut + ux ) (x, t) R2
u(x, 0) = u0 (x) ut (x, 0) = u1 (x) x R

Discuta a unicidade e a dependencia contnua em relacao aos dados:

45
16) Sejam Rn um domnio limitado onde vale o teorema da divergencia, = a
fronteira de e o normal unitario em .
i) Dada g C 2 (), prove que existe no maximo uma solucao u C 2 () para o problema
de Dirichelet
u = 0 em

u| = g

ii) Dada g C 1 (), prove que o problema de Neumann



u = 0 em
u

|
= g
Z
2
tem solucao u C () se, e somente se, g(x)d = 0. Alem disso , verifique que

qualquer par de solucoes difere por uma constante.
( Sugestao: no item i) use a primeira identidade de Green
Z Z

( + )dx = d , C 2 ()

e no item ii) use a segunda identidade de Green


Z Z  

( )dx = d , C 2 () )

17) Demonstre que:


i) A soma de duas funcoes pares e uma funcao par;
ii) A soma de duas funcoes mpares e uma funcao mpar;
iii) O produto de duas funcoes pares e uma funcao par;
iv) O produto de duas funcoes mpares e uma funcao par;
v) O produto de uma funcao par por uma funcao mpar e uma funcao mpar;
vi) Seja f : R R uma funcao par, integravel em qualquer intervalo limitado. Entao
Z L Z L
f (x)dx = 2 f (x)dx, L > 0.
L 0

vii) Seja f : R R uma funcao mpar, integravel em qualquer intervalo limitado. Entao
Z L
f (x)dx = 0, L > 0.
L

18) Mostre que


 
1 1 x 1 x 1 nx 1 nx
= , cos , sen , . . . , cos , sen ,...
2L L L L L L L L L

e um sistema ortonormal e completo em L2 ([L, L]).

46
19) Demonstre que se f : [a, b] R e uma funcao de L1 (f e |f | sao integraveis no
sentido de Riemann) entao, dado  > 0, existe uma funcao contnua : [a, b] R tal
que Z b
|f (x) (x)|dx <  e (a) = (b) = 0.
a

20) Verifique que a condicao dada implica que a condicao tecnica do Teste de Dini e
satisfeita:
a) f e Holder-contnua numa vizinhanca do ponto x, isto e, existem constantes , e k
tais que
|f (t) f (s)| k|t s| , t, s [x , x + ];
b) f e derivavel no ponto x;
c) f SC(R) e as razoes incrementais

f (x + ) f (x+ ) f (x ) f (x )
e

sao limitadas para > 0, suficientemente pequeno;
d) f e tal que existem as derivadas laterais em x:

f (x + ) f (x+ ) f (x ) f (x )
f+0 (x) = lim+ e f0 (x) = lim .
0 0

21) Usando as condicoes do exerccio 20, enuncie teoremas de convergencia para a serie
de Fourier de uma funcao.

22) Sejam (fn )nN C([a, b]) e f C([a, b]) tal que fn f em C([a, b]) (isto e, fn f
uniformemente em [a, b]). Mostre que
Z b
f (x)dx = lim fn (x)dx.
a n

23) Seja (fn )nN C 1 ([a, b]) tal que existe o limite lim fn (x0 ) para algum x0 [a, b].
n
Suponha ainda que a sequencia das derivadas (fn0 )nN converge uniformemente em [a, b]
para uma funcao g C([a, b]). Mostre que (fn )nN converge uniformemente em [a, b]
para uma funcao f C 1 ([a, b]) e, alem disso, f 0 (x) = g(x), x [a, b].

24) Enuncie e demonstre resultados analogos aos dos exerccios 22 e 23 para o caso de

X
uma serie de funcoes fn .
n=1

47
25) (Teste M de Weierstrass) Sejam (fn )nN C([a, b]) e (Mn )nN uma sequencia
numarica tais que:
|fn (x)| Mn , x [a, b] e n N.

X
X
Se Mn converge, prove que a serie de funcoes fn converge uniformemente (e ab-
n=1 n=1
solutamente) em [a, b].

26) Calcule os coeficientes de Fourier das seguintes funcoes. Esboce o grafico de cada
funcao, juntamente com as tres primeiras aproximacoes de Fourier Sn (x):
a) f (x) = x2 , x ;
b) g(x) = 1 + x, 1 < x < 2.

27) a) Considere a extensao periodica de perodo 2 da funcao u(x) = + 1 x2 , 1
x 1, e sua serie de Fourier. A serie de Fourier obtida converge para u em 1 x 1
?
b) E possvel obter uma serie de Fourier em senos para a funcao v(x) = x, 0 x ,
de modo que a convergencia seja uniforme? Justifique suas respostas.

28) Seja u : [L, L] R satisfazendo:


i) u C 3 ([L, L]) e u(iv) SC([L, L]).
ii) u(L) = u(L), u0 (L) = u0 (L), u00 (L) = u00 (L), u000 (L) = u000 (L).
denote por ak e bk os coeficientes de Fourier de u e prove que:
a) lim k 4 ak = 0 e lim k 4 bk = 0;
n n
X
b) a serie k j (|ak | + |bk |) converge se j = 0, 1, 2, 3.
n=1

29) Dada a funcao (x) = x, 0 x , determine sua serie de Fourier de modo


que a convergencia da serie para u seja uniforme em [0, ].

30) Considere a funcao u(x) = x2 , 0 x . Ache as representacoes em series de


Fourier em cossenos e em senos de u. Qual delas converge uniformemente para u ? Por
que ?

31) Seja P2L (R) definida por


1
2 1 + Lx , se L x < 0


(x) = 0, se x = 0
1 x

2
1 L , se 0 < x L.

Prove que a serie de Fourier de converge uniformemente para em qualquer intervalo


que nao contenha pontosda forma 2Ln, n Z.

32) Use o metodo de separacao de variaveis e obtenha um candidato a solucao do prob-

48
lema
utt a2 uxx = 0 0<x<L t>0

u(0, t) = u(L, t) = 0 t 0

u(x, 0) = u0 (x) ut (x, 0) = u1 (x) 0 x L
33) Considere o problema parabolico

ut kuxx = 0 0<x<L t>0

(P ) u(0, t) = u(L, t) = 0 t 0
u(x, 0) = u0 (x) 0xL
a) Desenvolva o metodo de separacao de variaveis e encontre um candidato a solucao do
problema (P );
b) Defina o conceito de solucao classica (forte) para o problema (P );
c) Enuncie e demonstre o teorema de existencia de solucao forte para o problema (P ),
analogo ao teorema 5.1.

34) (Princpio do mnimo-maximo) Sejam (x1 , t1 ), (x2 , t2 ) R2 tais que x1 x2 e


t1 t2 . Denote por Q12 o retangulo

Q12 = {(x, t) R2 ; x1 x2 e t1 t2 }

e `1 = {x = x1 , t1 t2 }, `2 = {x1 x x2 , e t = t1 }, `3 = {x = x2 , t1
t2 }.
Se u C(Q12 ) satisfaz a equacao

ut kuxx = 0, x1 x2 e t1 t2 ,

prove que o maximo e o mnimo de u sao assumidos em um dos lados `1 , `2 ou `3 .

35) Enuncie e demonstre um resultado de unicidade de solucao para o problema (P ) do


exerccio 33.

36) Mostre que existe uma solucao do problema misto



utt uxx = F (x, t) 0 < x < L t>0

u(0, t) = u(L, t) = 0 t 0

u(x, 0) = u0 (x) ut (x, 0) = u1 (x) 0 x L

onde F (x, t) = F1 (x)sen(wt), F1 C([0, L]), w > 0 constante, u0 C 2 ([0, L])


(k)
com u(k) (0) = u0 (0) = 0, k = 0, 1, 2, u1 C 1 ([0, L]) com u1 (0) = u1 (L) = 0.
Sugestao: Mostre que u = v + z, onde v e da forma v(x, t) = X(x)sen(wt).

7 Funcoes teste
Aqui e nas secoes futuras, a menos que se diga algo em contrario, denota um subcon-
junto aberto do Rn . Por C () e representamos o espaco vetorial das funcoes f : R
indefinidamente continuamente derivaveis em .

49
Dada u C (), denomina-se o suporte de u ao fecho em do conjunto dos pontos
de onde u e diferente de zero, isto e:

supp(u) = {x ; u(x) 6= 0}

Denotaremos por C0 (R) o subespaco de C () constituido pelas funcoes u cujo


suporte e um compacto contido em , isto e:

C0 () = {u C (); supp(u) e um compacto contido em }

Exemplo 7.1 Seja


1
e x2

: R R se x > 0
x 7 (x) = 0 se x 0
Entao C (R). De fato, se x > 0 e obvio que existe (n) (x) n N e,
1
alem disso, (n) (x) e uma combinacao linear finita de termos da forma xj e x2 , ou
m
X 1
seja, existem escalares a0 , a1 , . . . am tais que (n) (x) = aj xj e x2 . Por outro lado, se
j=0
x < 0 entao (n) (x) = 0 n N.
No ponto x = 0 temos a seguinte afirmacao:
Para todo n N existe (n) (0) e (n) (0) = 0. Vamos provar esta afirmacao usando
induem n. Para n = 1 temos:
1
)
(0+h)(0) e h2
limh0+ h
= limh0+ h = 0 0 (0) = 0
limh0 (0+h)(0)
h
= limh0 0 = 0
Suponha que (n) (0) = 0 entao


Pm 1
(n) (0+h)(n) (0) aj hj e h2 Pm 12
aj h(j+1) e

limh0+ h
= limh0+ j=0 h  = limh0 + j=0
h



=
Pm 1
(j+1) h2 (n+1) (0) = 0
j=0 aj limh0+ h e =0

(n) (0+h)(n) (0)
limh0 h
= limh0 0 = 0

Portanto para todo n N temos


( P 1
(n)
m
j=0 aj xj e x2 se x>0
(x) =
0 se x0
m
X 1
desde que lim+ aj xj e x2 = 0, vemos que para todo n N, (n) e contnua no
x0
j=0
ponto x = 0. Logo C (R).

50
Exemplo 7.2 Seja
( 1

: R R e (1x2 ) se |x| < 1
x 7 (x) = 0 se |x| 1
De modo analogo ao exemplo anterior, podemos verificar que C (R). Alem
disso, e facil ver que {x R; (x) 6= 0} = (1, 1). Portanto supp() = [1, 1] que e um
compacto de R. Assim, C0 (R).

Teorema 7.3 C0 () e denso em Lp (), 1 p < .

Demonstracao: Este resultado e obtido como aplicacao de 2 lemas.


Lema 1 Dada u Lp () existe uma sequencia (fm )mN de funcoes de Lp () com
suporte compacto tal que fm u em Lp ().
P rova : Para cada m N, considere

fm : R
x 7 fm (x) = u(x)XKm (x)

onde (Km )mN e a sequencia de conjuntos compactos exibida na observacao anterior e


XKm e a funcao caracterstica de Km . Entao e obvio que fm Lp () e o suporte de fm
e um compacto (supp(fm ) = supp(u) supp(XKm )). Alem disso, vejamos que:
(fm u)(x) = fm (x) u(x) = u(x)XKm (x) u(x) = (XKm (x) 1)u(x)
(fm u)(x) 0 q.s. em ()
p
|(fm u)(x)| 0 q.s. em () ()
p p 1
Tambem temos |(fm u)(x)| |u(x)| L () ().
De () e () e o teorema da convergencia dominada de Lesbegue resulta que
Z
|(fm u)(x)|p dx 0

kfm ukLp () 0 fm u em LP () o que conclui o lema 1.


Lema 2 Dada Lp () tal que suporte de e um compacto, existe uma sequencia
(m )mN C0 () tal que m em Lp ().
P rova : Consideremos e extensao de zero fora de , ou seja,

e : Rn R 
(x) se x
x
7 (x)
e =
0 se x Rn \

Entao e obvio que e Lp (Rn ) e supp()e = supp() que e um compacto contido em



. Considere (m )mN C0 (R ) a sequencia regularizante no Rn , dada no exemplo 4.
n

Logo, pelos exerccios 4 e 5 da 2a lista, obtemos que:


e C (Rn )
(m ) 0
e e em Lp (Rn )
(m )
supp(m )e supp(m ) + supp() e = B 1 (0) + supp().
m

51
1
Desta ultima, se m0 e suficientemente grande tal que m0
< dist(K, ) teremos que
supp(m )
e B 1 (0) + supp() , m m0 .
m
Seja (m )mN definida por:

1 = (m0 )
e | , 2 = (m +1 )
0
e | , . . . m = (m +(m1) )
0
e | , ....

Assim vemos que (m )mN e uma sequencia de funcoes C0 () e m em Lp (). Isto


conclui a prova do Lema 2.
Agora vamos aplicar os Lemas 1 e 2 para obter o teorema 7.3. Entao, sejam dados
arbritariamente u Lp () e  > 0. Pelo Lema 1, existe f Lp () de suporte compacto
tal que

ku f kLp () < (7.1)
2
Pelo Lema 2, existe entao C0 () tal que

kf kLp () < (7.2)
2
Portanto, de 7.1 e 7.2 temos que:
 
ku kLp () = ku f + f kLp () ku f kLp () + kf kLp () < + =
2 2
o que prova o Teorema 7.3.

Observacao 7.4 O Teorema 7.3 nos mostra que a classe de funcoes C0 embora pareca
ser muito pequena ( porque exige muito de seus elementos ), ela extremamente significa-
tiva pois e uma classe densa em qualquer Lp (), 1 p < .

Teorema 7.5 (Lema de Du Bois-Raymond) Seja u L1loc (). Entao


Z
u(x)(x)dx = 0, C0 () (6.3)

se, e somente se, u = 0 q.s. em .


Demonstracao: () Suponhamos que u L1loc () satisfaz (6.3) e sejam D um
aberto limitado e  > 0 arbitrariamente fixados. Desde que C0 (D) e denso em L1 (D),
existe v C0 (D) tal que Z
|u(x) v(x)|dx < . (6.4)
D
Alem disso, se C0 (D) e
e e a extensao de zero fora de D, temos que
Z Z Z

v(x)(x)dx = v(x)(x)dx u(x) (x)dx
e

D D
| {z }
=0,pela hipotese
Z

= (v(x) u(x))(x)dx
D

52
Z
|v(x) u(x)||(x)|dx
D
 Z
max |(x)| |v(x) u(x)|dx
xD D
 
max |(x)| ,
|{z} xD
(6.4)

ou seja, Z  
C0 (D).

v(x)(x)dx max |(x)| , (6.5)

D
xD

Agora, sejam K1 = {x D; v(x) } e K2 = {x D; v(x) }. Entao K1 e K2


sao compactos, disjuntos e |v(x)| < , x D\K, onde K = K1 K2 . Pelo Lema de
Urysohn, existem 1 , 2 C0 (D) tais que

1 = 1 em K1 , 1 = 0 em K2 , 0 1 1,

2 = 0 em K1 , 2 = 1 em K2 , 0 1 1.
Portanto, tomando = 1 2 resulta que C0 (D), = 1 em K1 , = 1 em
K2 e 1 1. Desta forma
Z Z Z
v(x)(x)dx = v(x)(x)dx + v(x)(x)dx
D K D\K

e da segue que
Z Z Z

v(x)(x)dx
= v(x)(x)dx
v(x)(x)dx
K D D\K
Z Z

v(x)(x)dx + v(x)(x)dx
D D\K
   Z
max |(x)|  + max |(x)| |v(x)|dx
|{z} xD xD D\K
(6.5) | {z } | {z }
=1 =1
 + (D) = [1 + (D)]

ou seja, Z

v(x)(x)dx [1 + (D)]. (6.6)

K
Veja que da definicao de , K1 e K2 temos ainda que
Z Z Z

v(x)(x)dx = v(x)(x)dx + v(x)(x)dx

K
ZK1 Z
K2


= v(x)dx + (v(x))dx
K1 K2

53
Z Z

=
|v(x)|dx + |v(x)|dx
ZK1 K2

= |v(x)|dx
ZK
= |v(x)|dx.
K

Isto e (6.6) nos dao que


Z
|v(x)|dx [1 + (D)]. (6.7)
K

Finalmente obtemos
Z Z
|u(x)|dx = |u(x) v(x) + v(x)|dx
D ZD Z
|u(x) v(x)|dx + |v(x)|dx
ZD ZD Z
= |u(x) v(x)|dx + |v(x)|dx + |v(x)| dx
D K D\K | {z }
<
((6.4) e (6.7) )  + [1 + (D)] + (D)
= [2(1 + (D))] 
| {z }
=c
= c

Pela arbitrariedade do  > 0 temos que


Z
|u(x)|dx = 0 u = 0 q.s. em D.
D

Pela arbitrariedade de D , limitado, resulta que u = 0 q.s. em .


() A recproca e obvia.

O espaco C0 (), munido da topologia limite indutivo e um espaco topologico de-


nominado espaco das funcoes teste. Denotamos este espaco topologico por D(), isto e,
d() = (C0 (), ). Portanto, vale o seguinte resultado:

Uma sequencia ( )N D() converge em D para uma funcao D() ( )


se, e somentes se, as duas condicoes abaixo sao satisfeitas:
i) K compacto tal que supp() K e supp( ) K, N;
ii) D D uniformemente em K, = (1 , 2 , . . . , n ) Nn .

54
8 Princpio de Hamilton
Nesta secao vamos considerar novamente o problema misto para as vibracoes tranversais
de uma corda elastica de comprimento L, presa nos extremos. Isto porque pretende-
mos obter motivacao para os conceitos de solucao fraca e de derivada no sentido das
distribuicoes.
Logo denotemos, como antes, u = u(x, t) a posicao da corda no instante de tempo t.
A energia potencial da corda e:

1 L 2
Z
U (t) = ux (x, t)dx = C te = tensao .
2 0
A energia cinetica da corda e:

1 L 2
Z
V (t) = ut (x, t)dt = C te = densidade .
2 0

A funcao t 7 (V (t) U (t)) e denominada Lagrangeana do sistema, e a integral


Z t
J(u) = (V (t) U (t))dt
0

e, por definicao, a acao entre os instantes inicial (t = 0) e final (t = T ). Note que


denotando Q = (0, L) (0, T ) temos que a acao e um funcional dado por:
Z
1
J(u) = [u2 (x, t) u2x (x, t)]dxdt
2 Q t

Olhando para o funcional J e levando-se em conta que u deve ser solucao do problema
misto e natural dizermos que J esta definido para as funcoes u : Q R, tais que
u C(Q), u(0, t) = u(L, t) = 0 para t 0, ut e ux L2 (Q). Ou seja, representamos
por
A(Q) = classe das funcoes admissveis em Q
= {u C(Q); ut , ux L2 (Q) e u(0, t) = u(L, t) = 0, 0 t T }
e
J : A(q) R
u 7 J(u) = 12 Q [u2t (x, t) u2x (x, t)]dxdt
R

Princpio de Hamilton: As vibracoes transversais da corda elastica e representada


pela funcao u A(Q) que torna a acao mnima ( isto e, u A(Q) que minimiza o
funcional J ).
Desta forma, se u A(Q) e o mnimo do funcional J, entao a derivada direcional
J
(u) = 0, para toda direcao v.
v
Equivalentemente, para toda v A(Q), tem-se que

h : (, ) R
7 h() = J(u + v)

55
0
satisfaz h (0) = 0. Portanto:
1
R
J(u + v) J(u) = 2 QR
[(ut (x, t) + vt (x, t))2 (ux (x, t) + vx (x, t))2 ]dxdt
12 Q [u2t (x, t) u2x (x, t)]dxdt
R
= Q (ut (x, t)vt (x, t) ux (x, t)vx (x, t))dxdt
2 R
+ 2 Q (vt2 (x, t) vx2 (x, t))dxdt

donde
J(u + v) J(u)
Z Z

= (ut (x, t)vt (x, t) ux (x, t)vx (x, t))dxdt + (vt2 (x, t) vx2 (x, t))dxdt
Q 2 Q

0
Entao, tomando o limite 0 e usando que h (0) = 0, temos
Z
(ut (x, t)vt (x, t) ux (x, t)vx (x, t))dxdt = 0
Q

ou ainda
Z
[ut (x, t)vt (x, t) a2 ux (x, t)vx (x, t)]dxdt = 0, v A(Q) (8.3)
Q


aqui a2 = .

Observe que a integral (8.3) exige bem menos da funcao u do que exigiu-se para que u
fosse solucao classica do problema misto para as vibracoes da corda elastica. Alem disso,
se u satisfazer (8.3) e tiver regularidade, por exemplo, u C 2 (Q) entao vemos que:
Z LZ T Z TZ L
2
ut (x, t)vt (x, t)dtdx a ux (x, t)vx (x, t)dxdt = 0, v A(Q) tal que
0 0 0 0
v e nula na fronteira de Q.
Z L Z T 
T
ut (x, t)v(x, t)|0 utt (x, t)v(x, t)dt dx
0 0
Z T Z L 
2 L
a ux (x, t)v(x, t)|0 uxx (x, t)v(x, t)dx dt = 0, v A(Q)
0 0

talZque v e nula na fronteira deZ Q.


utt (x, t)v(x, t)dxdt + a2 uxx (x, t)v(x, t)dxdt = 0
Z Q Q

[utt (x, t) a2 uxx (x, t)]v(x, t)dxdt = 0, v A(Q); v|Q = 0


Q Z
Em particular (utt (x, t) a2 uxx (x, t))dxdt, D(). Donde pelo lema de Du
Q
Bois Raymond segue que utt a2 uxx = 0 em Q.
Logo expressao integral (8.3) nos motiva abandonar o carater pontual (local) no con-
ceito de solucao classica e introduzir novo conceito de solucao, bem como, novo conceito
de derivada e formular espacos convenientes para onde considerar os dados iniciais.

56
9 Distrinbuicoes sobre
Lembramos que denota um subconjunto aberto de Rn .

Definicao 9.1 Define-se distribuicao sobre , toda aplicacao T : R linear e


contnua (a continuidade de T e no sentido da convergencia em D()).
Equivalentemente, T e uma distribuicao sobre quando T e uma funcao real definida
em D() satisfazendo:
i) hT, + i = hT, i + hT, i, , D()
ii) hT, i = hT, i, D() e R;
iii) hT, i 0 em R, para toda sequencia ( )N tal que 0 em D().

O conjunto de todas as distribuicoes sobre , munido da soma usual de funcoes e o


produto de uma funcao por um escalar e, obviamente, um espaco vetorial. Este espaco
vetorial munido da topologia fraca e um espaco topologico que sera denotado por D0 ().
Portanto, D0 () representa o espaco vetorial de todas as distribuicoes sobre munido
da nocao de convergencia:

T T em D0 () hT , i hT, i em R, D().

Exemplo 9.2 Se u L1loc () entao esta bem definida a funcao

Tu : D() R Z
7 hTu , i = u(x)(x)dx

e Tu D0 (). De fato, dada D() temos que:


 
max |(x)| |u(x)|, se x K = supp()

|u(x)(x)| v(x) = xK
0, se x \K.

isto e, desde que u L1loc () , temos que v L1 (). Logo, (u) L1 () provando-se
que Tu esta bem definida. Observamos tambem que
Z Z
hTu , i = u(x)(x)dx = u(x)(x)dx.
K

A linearidade de Tu : D() R e obvia. Mostremos a continuidade. Seja ( )N


tal que 0 em D(). Entao existe um compacto K0 tal que supp( ) K0 ,
N e D 0 uniformemente em K0 , Nn . Portanto,
Z

|hTu , i| = u(x) (x)dx

Z

=
u(x) (x)dx
Z K0
|u(x)|| (x)|dx
K0

57
 Z
max | (x)| |u(x)|dx
xK0 K0
 
= max | (x)| ||u||L1 (K0 ) |{z}
0
xK0
Qdo

donde hTu , i 0 em R, quando . Portanto, Tu : D() R e contnua.

Exemplo 9.3 Desde que

LP () , LPloc () , L1loc (),

1 p < , entao se u Lp () ou u Lp (), a funcao


loc
Tu : D() R Z
7 hTu , i = u(x)(x)dx

esta bem definida e Tu D0 ().

Exemplo 9.4 (A distribuicao de Dirac) Sejam x0 e x0 : D() R definida


por hx0 , i = (x0 ), D(). De fato, a lineridade e trivial. Se ( )N D() e
0 em D() entao K0 compacto tal que supp( ) K0 , N e D 0
uniformemente em K0 , Nn . Logo,

|hx0 , i| = |(x0 )| max | (x)| 0 hx0 , i 0 em R,


xK0

o que mostra a continuidade de x0 : D() R.

Teorema 9.5 A aplicacao

T : L1loc () D0 ()
u 7 T (u) = Tu

onde
Tu : D() R Z
7 hTu , i = u(x)(x)dx

e linear, injetora, nao-sobrejetora e contnua.
Demonstracao: A linearidade de T e trivial. Pelo Lema de Du Bois-Raymond con-
clumos facilmente que T e injetora. Para mostrar que T nao e sobrejetora, vamos provar
que x0 6 T (L1loc ()). Portanto, suponhamos por absurdo que x0 T (L1loc ()). Isto quer
dizer que u L1loc () tal que Tu = x0 , o que implica
Z
u(x)(x)dx = hx0 , i = (x0 ), D().

58
Por outro lado, se D(), definindo (x) = ||x x0 ||2Rn (x) temos que D().
Entao
Z Z
0 = (x0 ) u(x)(x)dx = u(x)||x x0 ||2Rn (x)dx, D,

e segue do Lema de Du Bois-Raymond que u(x)||x x0 ||2Rn = 0 q.s. em . Assim, u = 0


q.s. em donde segue que x0 = 0 em D0 (), o que e absurdo! Isto prova que T nao e
sobrejetora. Para concluir a demonstracao, resta verificar a continuidade de T . Entao
seja (u )N tal que u u em L1loc , entao para todo compacto K tem-se que
Z
|u (x) u(x)|dx 0, quando .
K

Desta forma, se D() e K = supp() tem-se




|hTu , i| = T(uu ) ,
Z

= (u (x) u(x)) (x)dx
Z

= (u (x) u(x)) (x)dx

K
Z
max |(x)| |u (x) u(x)| dx 0
xK K

Isto mostra que Tu Tu em D0 (), provando a continuidade de T .


 
Note que, do teorema anterior, podemos identificar L1loc () com um subespaco T L1loc ()
D0 ().
 
1 1
L () isomorfo T L ()
loc loc


T

 
L1 ()

contnua T L1loc ()
Desta forma, identifica-se u L1loc () com Tu D0 () e escreve-se u no lugar de Tu .
Via esta identificacao escrevemos

L1loc () , D0 ()
 
e as distribuicoes u T L1loc ()
sao ditas distribuicoes localmente integraveis sobre .
Para motivar o conceito de derivada de uma distribuicao, suponhamos que Rn
seja um aberto limitado com fronteira bem regular. Alem disso, suponhamos que
u
u C 1 () com C(), i = 1, 2, . . . , n. Entao, se D()
xi
u
(u) = +u .
xi xi xi

59
Integrando sobre e usando o teorema de Gauss, temos
Z Z

u(x) (x) cos(xi , ~ )d = (u)dx
|{z} xi
0 em
Z Z
u
= (x)(x)dx + u(x) (x)dx
xi xi

donde Z Z
u
(x)(x)dx = u(x) (x)dx. (8.1)
xi xi
Aqui esta a motivacao para derivada de uma distribuicao. No caso da reta e con-
sequencia da formula de integracao por partes. Observe que ela abandona o carater
localda derivada e enfatizaa derivada de forma global no aberto . Veja que (8.1)
pode ser reescrita como segue
D E 

T u , = Tu , , D(), (8.2)
xi xi


pois u e L1loc ().
xi

Definicao 9.6 Seja T D0 (). A derivada de T em relacao e xi , i = 1, . . . , n, denotada


T T
por , e o funcional : D() R definido por
xi xi
   
T
, = T, , D().
xi xi

T
E facil ver que : D() R e linear. Com efeito,
xi
   
T
, + = T, ( + )
xi xi
 

= T, +
xi xi
   

= T, T,
xi xi
   
T T
= , + , , , D().
xi xi

e
   
T
, = T, (
xi xi

60
 

= T,
x
  i 

= T,
x
  i
T
= , , R e , D().
xi

Alem disso, se ( )N D e em D(), segue da nocao de convergencia em


D() e da continuidade de T : D() R que
   
T
xi , = T, xi

 

= T,
0, quando ,
xi

T T
ou seja, : D() R e linear e contnua e, portanto, D0 (), i = 1, . . . , n.
xi xi
T
Portanto, resumindo, temos que as derivadas , de uma distribuicao T , sao ainda
xi
distribuicoes sobre . Logo: Toda distribuicao e integravel e sua derivada e uma dis-
tribuicao.

Definicao 9.7 Sejam T D0 () e = (1 , . . . , n ) Nn . a derivada de ordem de T


e o funcional
D T : D() R
7 hD T, i = (1)|| hT, D i

||
onde || = 1 + . . . + n e D = .
x1 1 x2 2 . . . xnn

E facil ver que D T : D() R e linear e contnua, isto e, D T D0 (), Nn .


Portanto, toda distribuicao sobre possui derivadas de todas as ordens, as quais sao
ainda distribuicoes sobre .
Alem disso, o operador
D : D0 () D0 ()
T 7 D T
e linear e contnuo, no sentido da convergencia de D0 (). De fato, se T, W D() entao
(T + W ) D() e

hD (T + W ), i = (1)|| hT + W, D i
= (1)|| hT, D i + (1)|| hW, D i
= hD T, i + hD W, i
= hD T + D W, i , D(),

61
donde segue que D (T + W ) = D T + D W em D0 ().
Tambem podemos ver que se R entao (T ) D() e

hD (T ), i = (1)|| hT, D i
= (1)|| hT, D i
= hD T, i
= hD T, i , D(),

Logo, D (T ) = D T em D0 (). Portanto, D : D0 () D0 () e linear.


Para verificarmos a continuidade, consideremos (T )N D0 () tal que T T em
D(). Entao, para toda D() temos

|hD T , i hD T, i| = (1)|| hT , D i (1)|| hT, D i


= (1)|| hT T, D i 0, quando .

Assim temos que hD T , i hD T, i em R, D(), o que implica que D T


D T em D0 (). Isto prova a continuidade do operador D : D0 () D0 ().
Pelo teorema 9.5, vimos que via a aplicacao
T : L1loc () D0 ()
u 7 T (u) = Tu

onde
Tu : D() R Z
7 hTu , i = u(x)(x)dx,

 
e possvel identificar L1loc () com T L1loc () e escrevemos L1loc () , D0 (). Isto per-
mite definir a derivada distribucional de uma funcao u L1loc ().

Definicao 9.8 Dada u L1loc () e Nn definimos a derivada de ordem de u, no


sentido das distribuicoes, como sendo a distribuicao D Tu . Isto e, por definicao

D u = D Tu

Observacao 9.9 i) Portanto:

hDu , i = (1)|| hTu , D i

ii) Toda funcao u Lp (), 1 p < , possui derivada de todas as ordens, no


sentido das distribuicoes.

Teorema 9.10 Seja u L1loc () tal que u possui derivada classica de ordem perten-
cente a L1loc (), entao esta derivada classica de u coincide com a derivada de ordem
de u, no sentido das distribuicoes.

62
Considere Nn e denote por D e D os operadores derivada de ordem no
sentido classico e no sentido das distribuicoes, respectivamente. Entao podemos enunciar
o teorema 9.10 na seguinte forma.

Teorema 9.11 Sejam u L1loc () e Nn tais que D u L1loc (). Entao TD u = D Tu


em D0 ().

Demonstracao: Inicialmente provamos o resultado para || = 1. Neste caso,


D = x i e D = x i para algum i = 1, 2, . . . , n.
Entao

Z Z
u
hT u , i = (x)(x)dx = u(x) (x)dx
xi xi
xi

Tu Tu 0
= hTu , i=h , i, D() T u = em D ()
xi xi x i xi
Agora suponha valido o resultado para Nn com || = k. Entao se Nn e
|| = k + 1 temos que


D = (D ) e D = (D ) para algum i = 1, 2, . . . , n.
xi xi
Logo:
Z Z

hTD u , i = (D u)(x)(x)dx = (D u)(x)(x)dx
x i
Z

= (D u)(x) (x)dx = hTD u , i
xi xi

= hD Tu , i=h (D Tu ) < i
xi xi

= hD Tu , i, D()

TD u = D Tu
o que prova o teorema.

Observacao 9.12 Veja que o teorema 9.10 diz que

D u = TD u = D Tu = D u

Considerando o teorema acima nao mais faremos distincao entre a derivada no sentido
das distribuicoes e a derivada classica, ou seja, a menos que se diga explicitamente algo
ao contrario, a palavra derivada sempre sera derivada no sentido das distribuicoes.

63

1 se x>0
Exemplo 9.13 Seja H : R R definida por H(x) = Determine a
0 se x<0
derivada de H.
Por definicao para D() temos:
Z
0 0 0
hH , i = hH, i = H(x) (x)dx
R
Z 0 Z Z
0 0 0
= H(x) (x)dx H(x) (x)dx = (x)dx
0 0
Z s
0
= lims (s)ds = lims ((s) (0)) = lims (s) + (0) = (0)
0
= h0 , i
0 0
Temos entao que H = 0 em D ().

Observacao 9.14 De acordo com o exemplo acima existem funcoes u L1loc (Om)
cuja derivada nao e uma distribuicao localmente integravel sobre . D u = Dal Tu 6
T (L1loc ()), ou seja, D u nao se identifica com uma funcao localmente integravel sobre
.
0
Exemplo 9.15 Seja v(x) = |x|, x R. Calcule v .
Z
0 0 0
hv , i = hv, i = v(x) (x)dx
R
Z 0 Z 
0 0
= v(x) (x)dx + v(x) (x)dx
0
Z 0 Z 
0 0
= x (x)dx + x (x)dx
0

agora note que

Z 0 Z 0  Z 0  Z 0
0 0
x (x)dx = lims x (x)dx = lims x(x)|0s (x)dx = (x)dx
s s

Z Z s  Z s  Z
0 0
x (x)dx = lims x (x)dx = lims x(x)|s0 (x)dx = (x)dx
0 0 0 0
Z 0 Z Z
0
Entao hv , i = (x)dx + (x)dx = H(x)(x)dx = hH, i
0 R
0
A derivada de v e uma distribuicao localmente integravel, isto e, v se identifica com
uma funcao de L1loc ().

64
10 2a lista de exerccios
1) Mostre que as definicoes de suporte para funcoes contnuas e para funcoes de Lp sao
equivalentes quando u C() Lp ().

2) Sejam u, v C() e R ( 6= 0). Prove que:


a) supp(u + v) supp(u) supp(v)
b) supp(uv) supp(u) supp(v)
c) supp(u) = supp(u)

3) Dada uma funcao u : Rn R e y Rn define-se a funcao translacao de u por y,


denotada por y u, como sendo
(y u) : Rn R
x 7 (y u)(x) = u(x y)
a) Se u C(Rn ) e y Rn , mostre que (y u) C(Rn ) e supp(y u) = y + supp(u).
b) Se u Lp (Rn ) e y Rn , verifique (y u) Lp (Rn ). Alem disso, mostre que a aplicacao
f : Rn Lp (Rn )
y 7 f (y) = (y u)
4) Sejam u : Rn R e v : Rn R duas funcoes tais que para quase todo x Rn
a aplicacao y 7 u(x y)v(y) e integravel em todo o Rn . Nestas condicoes define-se a
convolucao de u por v, denotada por (u v), como sendo a funcao
(u v) : Rn R
Z
x 7 (u v)(x) = u(x y)v(y)dy
Rn

a) Mostre que se u L1 (Rn ) e v Lp (Rn ), 1 p < , entao (u v) Lp (Rn ) e


supp(u v) supp(u) + supp(v).
b) Se u C0 (Rn ) e v L1loc (Rn ), prove que (u v) C(Rn ).
c) u Lp (Rn ) e v Lq (Rn ) com 1 p < , 1 q < e r o numero real verificando
1 1 1
= + 1 0. Mostre que
r p q
(u v) Lr (Rn ) e ku vkLr kukLp kvkLq .
d) Se u C0k (Rn ) e v L1loc (Rn ), k N, prove que (u v) C k (Rn ) e D (u v) =
(D u) v, = (1 , . . . , n ) Nn com kk = 1 + . . . n = k. Em particular, verifique
que se u C0 (Rn ) e v Lp (Rn ), 1 p < , entao (u v) (C (Rn ) Lp (Rn )) e
D (u v) = (D u) v, Nn . Quando, alem disso, v possui suporte compacto tem-se
que (u v) C0 (Rn ).

5) Sejam (m )mN a sequencia regularizante no Rn dada no exemplo 4 e u Lp (Rn ), 1


p < . Mostre que (m u) u em Lp (Rn ).

65
6) Verifique que o conjunto de todas as distribuicoes sobre munido da soma usual de
funcoes e produto de um numero por uma funcao e um espaco vetorial.

7) Para cada m N, considere m : Rm R dada por


( 1
n (1m2 kxk2 )
m (x) = km e se kxkRn < m1
0 se kxkRn m1
Z Z
1

onde k = e (1m 2 kxk2 )
dx. Prove que m (x)dx = 1, m N.
B1 (0) Rn

8) Seja f C(Rn ) tal que


Z
f (x)(x)dx = 0, D(Rn ).
Rn

Prove que f 0.

9) a) Mostre que se u e uma solucao classica (forte) da equacao


utt a2 uxx = 0, em Q = (0, L) (0, T ),
entao Z
ut t a2 ux x dxdt = 0,

A(Q) com |Q = 0.
Q

b) Enuncie e demonstre resultado analogo ao tem (a) para o caso n-dimensional.

10) Sejam Rn um aberto, x0 e x0 D0 () a distribuicao de Dirac. Prove que


existe uma sequencia de distribuicoes localmente integraveis sobre que converge para
x0 em D0 ().

11) Se T D0 () e Nn , prove que D T D0 ()

12) a) Se T D0 () entao mostre que que


2T 2T
= em D0 ().
xi xj xj xi

b) Verifique que
D(+) T = D (D T ) = D (D T ) = D(+) T, T D0 () e , Nn .

c) Dados u C () e T D0 () define-se o produto (uT ) como sendo o funcional


(uT ) : D() R definido por huT, i = hT, ui. Mostre que (uT ) assim definido e uma
distribuicao sobre . Alem disso, mostre que vale a regra de Leibniz:
u T
(uT ) = T +u , i = 1, 2, . . . , n.
xi xi xi

66
13) a) Seja D( R). Mostre que existe D(R) tal que 0 = se, e somente se,
Z
(x)dx = 0.
R

dT
b) Prove que se T D0 (R) e = 0, entao T = c (ou seja, T = Tc , onde c e uma
dx
constante).

14) Calcule a derivada (no sentido das distribuicoes) das funcoes:



ax, se 0 x x0
a) u(x) =
b(x L), se x0 < x L,
u(x0 ) u(x0 )
onde a = ,b= e 0 < x0 < L.
x0 (L x0 )
b) Sejam L > 0, x0 (0, L) e  > 0 tal que o intervalo [x0 , x0 + ] (0, L). Considere

c, se |x x0 | 
v(x) =
0, se x (0, x0 ) (x0 + , L).

c) w : (2, 2) R

cos 2
x , se 2 < x 1
x
7 w(x) = 1, se 1 < x 0
x2
4
, se 0 < x 2

d) f (x) = senx, x R.

15) Considere a sequencia de funcoes (u )N , u : Rn R definida por



1
0,
se kxk
u (x) =
1
n+1 , se kxk .

Prove que uv 0 q.s. em Rn quando e que (u )N nao converge em D0 (Rn ).

11 Espaco de Sobolev de ordem 1 sobre o aberto


(0, L)
A motivacao para introduzirmos o espaco de Sobolev sera o estudo do problema misto (
de valores iniciais e de fronteira ) para a equacao da onda unidimensional estudado, do

67
ponto de vista classico , na secao 5. Nesta secao, vimos que para a existencia de solucoes
classicas muito se exigiu dos dados iniciais.
Por outro lado, via o princpio de Hamilton, vimos na secao 7, que e possvel sub-
stituirmodelo pontual pela equacao integral
Z
(ut vt a2 ux vx )dxdt = 0, v A(Q) (11.4)
Q

Neste contexto, vamos procurar estabelecer condicoes mnimas para os dados iniciais
u0 e u1 , de modo que seja possvel resolver o problema.
Observe que uma escolha bem natural, do ponto de vista fsico, e u0 : [0, L] R
possuindo a seguinte configuracao

ax se 0 x x0
u0 (x) =
b(x L) se x0 x L

u0 (x0 ) u0 (x0 )
onde a = eb= .
x0 (L x0 )
No contexto classico este caso nao pode ser tratado pois, u0 nao e derivavel. Vejamos,
entretanto, que a derivada de u0 no sentido das distribuicoes e uma distribuicao de
quadrado integravel sobre (0, L) que se identifica com a funcao

a se 0 < x < x0
w(x) =
b se x0 < x < L

Definicao 11.1 Definimos o espaco de Sobolev de ordem 1, sobre o aberto (0, L), deno-
tado por H 1 (0, L), como sendo
dTu
H 1 (0, L) = {u L2 (0, L), T (L2 (0, L))}
dx
dTu
= {u L2 (0, L), w L2 (0, L) tal que Tw = }
dx
0
= {u L2 (0, L), u L2 (0, L)}

Observacao 11.2 Bem entendido as identificacoes, podemos dizer simplesmente que:


H 1 (0, L) e o espaco das funcoes u L2 (0, L) cuja derivada ( no sentido das distribuicoes
) pertence a L2 (0, L).

E facil ver que H 1 (0, L) L2 (0, L) e um espaco vetorial. Alem disso, a aplicacao

((, )) : H 1 (0, L) H 1 (0, L) R


Z L Z L
0 0
(u, v) 7 ((u, v)) = u(x)v(x)dx + u (x)v (x)dx
0 0

e um produto interno em H 1 (0, L), cuja norma associada e


du 2
Z L Z L
2 2
kuk = |u(x)| dx + (x) dx
dx
0 0

68
Denotando o produto interno e a norma em L2 (0, L) por:
Z L Z L
2
(u, v) = u(x)v(x)dx e |u| = |u(x)|2 dx
0 0

vemos que
0 0
((u, v))p= (u, v) + (u , v )
kuk = |u|2 + |u0 |2
E facil ver que (H 1 (0, L), ((, )), k k) e um espaco de Hilbert. Tambem podemos ver
que se u H 1 (0, L) entao:
0
|u|2 |u|2 + |u |2 = kuk2 |u| kuk, u H 1 (0, L) entao, H 1 (0, L) , L2 (0, L).

Teorema 11.3 Se u H 1 (0, L) entao existe uma unica v C([0, L]) tal que u = v
quase sempre em (0, L).
0
Demonstracao: Como u H 1 (0, L) entao u L2 (0, L) e u LZ2 (0, L), donde
x
0 0
u L1 (0, L). Entao podemos definir w : (0, L) R por w(x) = u(x) u (s)ds.
0
Desta forma, para D(0, L) temos:
 Z x
Z L 
0 0 0 0
hw , i = hw, i = u(x) u (s)ds (x)dx
0 0
Z L Z L Z x 
0 0 0
= u(x) (x)dx + u (s)ds (x)dx
0 0 0
0 0
= hu , i hh , i
0 0
hu u , i = h0, i
Rx 0 0 0
Aqui h(x) = 0 u (s)ds, entao w = 0 em D (0, L) w(x) = C quase sempre em
(0, L). Z x
0
Definimos v : [0, L] R por v(x) = C + u (s)ds e temos que v(x) = u(x) quase
0
sempre em (0, L) e v C([0, L]), o que prova a existencia. Para verificar a unicidade
suponha que v1 , v2 C([0, L]) com v1 = u e v2 = u quase sempre em (0, L), isto implica
que v1 = v2 quase sempre em (0, L), mas como v1 , v2 C([0, L]) devemos ter v1 (x) =
v2 (x), x [0, L].

Corolario 11.4 H 1 (0, L) , C([0, L])

Demonstracao: Pelo teorema se u H 1 (0, L), u se identifica com uma funcao contnua
em [0, L]. Entao u C([0, L]).
Desde que toda funcao contnua num compacto assume mnimo, seja x0 [0, L] tal
que u(x0 ) = min |u(x)|. Entao podemos ver que
0xL
Z x
0
u(x) = u(x0 ) + u (s)ds.
x0

69
L
1 L
Z Z Z L
0 0
|u(x)| |u(x0 )| + |u (x)|dx = |u(x0 )|dx + |u (x)|dx
0 L 0 0
Z L Z L
1 0
|u(x)|dx + |u (x)|dx
L 0 0
Z L  21 Z L  21 Z L  12 Z L  21
1 2 0 2
dx |u(x)| dx + dx |u (x)|
L 0 0 0 0
1 1 0 0
= 1 |u| + L |u | C(|u| + |u |)
2

L2
0 0
|u(x)|2 C 2 (|u| + |u |)2 C 2 (2|u|2 + 2|u |2 ) = 2C 2 kuk2 , x [0, L].

kukC([0,L]) = max |u(x)|2 2C 2 kuk2 kukC([0,L]) C 2kuk, u H 1 (0, L)
0xL

O Terema 11.3 e seu corolario nos permite a seguinte definicao:

Definicao 11.5 Define-se o espaco de sobolev H01 (0, L) como sendo o subespaco de
h1 (0, L) constituido pelas funcoes u H 1 (0, L) tais que U (0) = u(L) = 0. Ou seja,

H01 = {u H 1 (0, L), u(0) = u(L) = 0}

Teorema 11.6 (Desigualdade de Poincare-Friedricks )


0
|u| L|u |, u H01 (0, L)

Demonstracao: Seja u H01 entao


Z x
0
|u(x)| = u(0) +
u (s)ds
0
Z L Z L  21 Z L  21
0 0 2
|u (s)|ds ds |u (s)| ds
0 0 0
1 0
= L 2 |u |, x (0, L)
0 0 RL 0
|u(x)|2 L|u |2 |u|2 L|u |2 0 = L2 |u |2
0
|u| L|u |, u H01 (0, L).
Como consequencia imediata desta desigualdade temos que:

(((, ))) : H01 H01 R


Z L
0 0 0 0
(u, v) 7 (((u, v))) = u (x)v (x)dx = (u , v )
0

e um produto interno em H01 , cuja norma associada e dada por:


Z L  21
0 0
p 2
|ku|k = (((u, v))) = |u (x)| dx = |u |, u H01
0

70
Alem disso, se u H01 (0, L) temos

 0 0
|ku|k2 = |u |2 |u|2 + |u |2 = kuk2
0 0 0 0
kuk2 = |u|2 + |u |2 L2 |u |2 + |u |2 = (L2 + 1)|u |2 = (L2 + 1)|ku|k

ou seja, H01 (0, L) as normas |k |k e k k sao equivalentes.


Notacao: Tomando o devido cuidado para nao fazer confusao, por simplicidade nos
calculos, em H01 (0, L) usamos a norma |||.||| a qual denotamos por ||.||. Entao em H01 (0, L)
denotamos: Z L
((u, v)) = u0 (x)v 0 (x)dx = (u0 , v 0 ), u, v H01 (0, L),
0
Z L 2
0
||u|| = 2
|u (x)| dx = |u0 |, u H01 (0, L).
0

O teorema a seguir da uma importante caracterizacao para o espaco H01 (0, L).
H 1 (0,L)
Teorema 11.7 D(0, L) = H01 (0, L).
H 1 (0,L)
Demonstracao: i) D(0, L) H01 (0, L)
H 1 (0,L)
Seja u D(0, L) , entao existe uma sequencia ( )N D(0, L) tal que
em H0 (0, L). Iste e o fato de H01 (0, L) C[(0, L)] implicam que u C(0, L) e
1

uniformemente em [0, L]. Como D(0, L) temos que (0) = (L) = 0, . Logo
u(0) = u(L) = 0, ou seja, u H01 (0, L).
H 1 (0,L)
ii) H01 (0, L) D(0, L) .
A demonstracao da inclusao acima e feita em duas etapas.
1a etapa : (Truncamento) Mostremos que dada u H01 (0, L), existe uma sequencia
de funcoes ( )N tal que supp( ) e um compacto de (0, L) e u em H 1 (0, L).
De fato, para cada N, considere : [0, L] R dada por

se x 0, 1 L 1 , L
   
0,
se x 2 , L 2




1, 
1
se x 1 , 2

(x) = x ,

 
1


, se x L 2 , L 1 .

x L +


cuja derivada, no sentido das distribuicoes, e:



se x 0, 1  2 , L 2 L 1 , L
     
0,
0 (x) = , se x 1 , 2
, se x L 2 , L 1 .


Desta forma, vemos que:

( u)(x) u(x), q.s. em (0, L) |( u)(x) u(x)|2 0, q.s. em (0, L)

71
e |( u)(x) u(x)|2 = |( (x) 1)u(x)|2 = | (x) 1|2 |u(x)|2 |u(x)|2 L1 (0, L)
| {z }
1
Pelo Teorema da Convergencia Dominada de Lebesgue resulta que
Z L
lim |( u)(x) u(x)|2 dx = 0
0

|( u) u|2L2 (0,L) 0 ( u) u, em L2 (0, L). (9.2)


Desde que u H01 (0, L), temos que u0 L2 (0, L). Entao, de modo analogo, temos
que
( u0 ) u0 , em L2 (0, L). (9.3)
Agora, note que como u H01 (0, L), temos
Z x
2
u(x) = u0 (s)ds, se 0 < x <
0
e assim,
Z x
|u(x)| |u0 (s)|ds
0
Z x 1/2 Z x 1/2
0 2
ds |u (s)| ds
0 0
!1/2
Z 2/
x1/2 |u0 (s)|2 ds
0

Z 2/
|u(x)| x 2
|u0 (s)|2 ds.
0
e Z L
2
u(x) = u0 (s)ds, se L <x<L
x
de modo que,
Z L 1/2 Z L 1/2
0 2
|u(x)| ds |u (s)| ds
x x
!1/2
Z L
(L x)1/2 |u0 (s)|2 ds
L 2

Z L
2
|u(x)| (L x) |u0 (s)|2 ds.
L 2

72
Segue que
Z L Z 2/ Z L 1
2 2 2
( u) (x)dx = u (x)dx + 2 u2 (x)dx
0 1/ L 2
Z 2/ Z 2/ Z L 1 Z L
0
x2
|u (s)| dsdx + 2 2
(L x) |u0 (s)|2 dsdx
1/ 0 L 2 L 2
! !
Z 2/ Z 2/ Z L Z L 1
= 2 |u0 (s)|2 xdx ds + 2 |u0 (s)|2 (L x)dx ds
0 1/ L 2 L 2

2/ 2/ L L 1
x2 (L x)2
Z  Z 
2 0 2 2 0 2
= |u (s)| ds + |u (s)| ds
0 2 1/ L 2 2 L 2
"Z #
2/ Z L
3
= |u0 (s)|2 ds + |u0 (s)|2 ds 0 quando
2 0 L 2

Entao, k0 uk2L2 (0,L) 0, o que implica que

(0 u) 0 em L2 (0, L). (9.4)


Definindo = (0 u), N, temos que supp( ) e um compacto de (0, L) e de
(9.2) segue que u em L2 (0, L). Pela regra de Leibniz
= (0 u) + ( u0 ) u0 em L2 (0, L).
| {z } | {z }

(9.4)0 (9.3)u0

Portanto, u em H 1 (0, L), o que prova a primeira etapa.


2a etapa : (Regularizacao) Vamos mostraragora que dada v H 1 (0, L) tal que
supp(v) e um compacto de (0, L), existe uma sequencia ( )N D(0, L) tal que v
em H 1 (0, L).
Com efeito, a ideia e extender a situacao para a reta R, regularizar e voltar (restringir)
ao intervalo (0, L). Entao, dada v H 1 (0, L) tal que supp(v) e um compacto de (0, L),
considere ve, a extensao de v zero fora de (0, L). Entao ve H 1 (R).
De fato, e obvio que ve L2 (R) e para provar que (e v )0 L2 (R) vamos verificar que
v )0 = (v
(e g 0 ) em D 0 (R). Logo, seja D(R) e consideremos V uma vizinhanca de supp(v)

e D(R) tal que (x) = 1, se x V, e supp() (0, L). Assim temos


v )0 , i = he
h(e v , 0 i
Z
= ve(x)0 (x)dx
ZR
= ve(x)()0|(0,L) (x)dx
supp(v)
* +
= v, ()0|(0,L)
| {z }
D(0,L)

73
D E
= v 0 , ()0|(0,L)
Z
= v 0 (x)()|(0,L) dx
ZR
= v 0 (x)(x)dx
Zsupp(v)
= e(v 0 )(x)(x)dx
DR E
= e(v 0 ),

v )0 = (v
(e g 0 ) em D 0 (R).

Portanto, ve H 1 (0, L) e supp(ev ) = supp(v) (0, L). Considere ( )N uma


sequencia regularizante em R. Pelos exerccios 4 4 5 da segunda lista, vemos que:
( ? ve) D(R);
( ? ve)0 = ( ? (e
v )0 );
supp(( ? ve) supp() + supp(e
v );
( ? w) w em L2 (R), w L2 (R).
Logo, para 0 (0 suficientemente grande) temos que supp( ? ve) (0, L)

( ? ve) ve em L2 (0, L)
( ? ve) ve em H 1 (R)
0 0 0 2
v ) ) (e
( ? ve) = ( ? (e v ) em L (0, L)

Desde que para 0


( ? ve) ve em H 1 (R)
e
supp( ? ve) (0, L)
restringimos e obtemos ( ? ve)|(0,L) D((0, L)) e
( ? ve)|(0,L) ve|(0,L) = v em H 1 (R).
Isto conclui a 2a etapa e a demonstracao esta completa.
Finalizamos esta secao introduzindo mais alguns espacos funcionais.

2 2 u : (0, L) (0, T ) R
L (0, T ; L (0, L)) = , tais que para quase todo t
(x, t) 7 u(x, t)
Z L
2
2
(0, T ), u(,t) L (0, L) e a aplicacao t 7 |u(t)| = |u(x, t)|2 dx e integravel em
0
(0, T )} e um espaco de Hilbert munido do produto interno e norma
Z T Z TZ L
(u, v)L2 (0,T ;L2 (0,L)) = (u(t), v(t))L2 (0,L) dt = u(x, t)v(x, t)dxdt
0 0 0

74
Z T Z T Z L
|u|2L2 (0,T ;L2 (0,L)) = |u(t)|2L2 (0,L) dt = |u(x, t)|2 dxdt
0 0 0

u : (0, L) (0, T ) R
L2 (0, T ; H01 (0, L)) = , tais que para quase todo t
(x, t) 7 u(x, t)
Z L
2 2
(0, T ), u(,t) L (0, L) e a aplicacao t 7 ku(t)k = |u0 (x, t)|2 dx e integravel em
0
(0, T )} e um espaco de Hilbert munido do produto interno e norma
Z T Z TZ L
((u, v))L2 (0,T ;H01 (0,L)) = ((u(t), v(t)))dt = u0 (x, t)v 0 (x, t)dxdt
0 0 0
Z T Z T Z L
kuk2L2 (0,T ;H 1 (0,L)) = ku(t)k dt =2
|u0 (x, t)|2 dxdt
0
0 0 0

u : (0, L) [0, T ] R
C([0, T ]; L2 (0, L)) = , tais que para quase todo t
(x, t) 7 u(x, t)
Z L 1/2
2
[0, T ], u(,t) L2 (0, L) e a aplicacao t 7 |u(t)| = |u(x, t)| dx e contnua
0
em [0, T ]} munido da norma

|u|C([0,T ];L2 (0,L)) = max ku(t)kL2 (0,L)


0tT

e um espaca de Banach.
Agora, voltando ao objetivo inicial desta secao, vemos ser razoavel, no estudo do
problema misto para a equacao da onda, considerar os dados u0 e u1 nas classes H01 (0, L)
e L2 (0, l), respectivamente.
Alem disso, para obter um conceito de solucao consideremos a equacao integral obtida
pelo Princpio de Hamilton. Tomando v = v onde D(0, L) e v H01 (0, L) temos:
Z
(ut 0 v a2 ux vx )dxdt,
Q

ou ainda Z T Z T
0 0
(u (t), v) (t)dt + (ux (t), vx )(t)dt = 0.
0 0

Como (u0 (t), v) L2 (0, L) (ux (t), vx ) = ((u(t), v))H01 (0,L) L2 (0, L) definem distribuicoes
em D(0, T ), segue que
 
d 0
(u (t), v), + a2 h((u0 (t), v)), i = 0
dt
o que implica que
d 0
(u (t), v) + a2 ((u0 (t), v)) = 0 em D0 (0, L), v H01 (0, L).
dt

75
12 Solucao fraca do problema misto para equacao da
Onda unidimensional
Teorema 12.1 (Existencia e Unicidade ) Se u0 H01 (0, L), u1 L2 (0, L) e T > 0
entao existe uma unica solucao u : (0, L) (0, T ) R tal que:
u C([0, T ]; H01 (0, L))
0
u C([0, T ]; L2 (0, L))
d 0 0
(u (t), v) + ((u(t), v)) = 0
dt em D (0, L), v H01 (0, L)
0
u(0) = u0 , u (0) = u1

Demonstracao: Seja (wk )kN o sidtema ortonormal e completo em L2 (0, L), ortog-
onal e completo em H01 (0, L) dada por
  12
2 kx
wk (x) = sen , k = 1, 2,
L L
d2
que sao funcoes proprias do operador A = com domnio D(A) = H01 (0, L)
dx2
H 2 (0, L). Denote por Vm = [w1 , w2 , , wm ] o subespaco de H01 (0, L) gerado pelas m
primeiras funcoes do sistema (wk )kN .
Problema aproximado Para cada m N seja

um : [0, T ] Vm H01 (0, L)


Xm
t 7 um (t) = aj (t)wj
j=1

tal que
00
(um (t), wj ) + ((um (t), wj )) = 0 1jm (12.1)
um (0) = u0m = m (u0 , wk )wk
P
0 k=1 (12.2)
u (0) = u1m = Pm (u1 , wk )wk (12.3)
m k=1

E facil ver que o problema (12.1)-(12.3) e equivalente ao sistema de E.D.O. de 2a


ordem 00
aj (t) + j aj (t) = 0 t [0, T ] 1 j m

a(0) = (u0 , wj )
0
a (0) = (u1 , wj )
 2
j
onde j = . Pela teoria das E.D.O. encontramos
L
p p
aj (t) = C1 sen j t + C2 cos j t
das condicoes iniciais obtemos
(
aj (0) = C2 = (u0 , wj )
0 (u1 ,wj )
aj (0) = C1 j = (u1 , wj ) C1 =
p
j

76
p (u1 , wj ) p
donde aj (t) = (u0 , wj )cos j t + p sen j t 0 t T e 1 j m.
j
Logo:
um : [0, T ] Vm
m m
" #
X X p (u1 , wj ) p
t 7 um (t) = um (t) = aj (t)wj = (u0 , wj )cos j t + p sen j t wj
j=1 j=1
j

e solucao do problema aproximado (12.1)-(12.3).


Estimativas a priori: Uma vez obtidas as solucoes aproximadas (um )mN , vamos obter
estimativas que nos permitam passar ao limite.
Estimativa 1: dados m, n N, n m, temos
m
X
um (t) un (t) = aj (t)wj
j=n+1

entao:
m m
!! m m
X X X X
kum (t)un (t)k2H 1 (0,L) = aj (t)wj , aj (t)wj = a2j (t)kwj k2 = j a2j (t)
0
j=n+1 j=n+1 j=n+1 j=n+1

2 12
m
X p (u1 , wj ) p
kum (t) un (t)kH01 (0,L) = j (u0 , wj )cos j t + p sen j t

j=n+1
j

m
!1
X p p p 2 2
= j (u0 , wj )cos j t(u1 , wj )sen j t
j=n+1
" m 
# 21
X p 2
j |(u0 , wj )| + |(u1 , wj )|
j=n+1

m
! 21 m
! 21
X X
j |(u0 , wj )|2 + |(u1 , wj )|2
j=n+1 j=n+1

m
! 12 m
! 21
X |((u0 , wj ))|2 X
= + |(u1 , wj )|2 , t 0
j=n+1
j j=n+1

Logo
m
! 21 m
! 21
X |((u0 , wj ))|2 X
kum un kC([0,T ];H01 (0,L)) + |(u1 , wj )|2 (12.4)
j=n+1
j j=n+1

m
0 0 0
X
Estimativa 2: um (t) un (t) = aj (t)wj
j=n+1

77
m
! 12
0 0
X p p p 2
|um (t) un (t)kL2 (0,L) = j (u0 , wj )sen j t + (u1 , wj )cos j t
j=n+1

m h
! 21
X p i2
j |(u0 , wj )| + |(u1 , wj )|
j=n+1

m
! 21 m
! 21
X X
j |(u0 , wj )|2 + |(u1 , wj )|2
j=n+1 j=n+1

m
! 12 m
! 21
X |((u0 , wj ))|2 X
= + |(u1 , wj )|2 , t 0
j=n+1
j j=n+1

Logo
m
! 12 m
! 21
0 0
X |((u0 , wj ))|2 X
kum un kC([0,T ];L2 (0,L)) + |(u1 , wj )|2 (12.5)
j=n+1
j j=n+1

Fixado f N, multiplicando a equacao (10.1) por D(0, T ) e integrando de 0 a T


obtemos:
Z T Z T
00
(um (t), wj )(t)dt + ((um (t), wj ))(t)dt = 0, m j.
0 0

Integrando por partes a primeira parcela do lado esquerdo da equacao acima temos:
Z T Z T
0 0
(um (t), wj ) (t)dt + ((um (t), wj ))(t)dt = 0, m j. (10.6)
0 0

Como u0m u0 em C([0, T ]; L2 (0, L)) , L2 ([0, T ]; L2 (0, L)), entao u0m u0 em
L ([0, T ]; L2 (0, L)), o que implica que u0m * u0 em L2 ([0, T ]; L2 (0, L)). Segue que
2

0
h, u0m i h, u0 i , L2 ([0, T ]; L2 (0, L) .

Considere a aplicacao
(wj 0 ) : L2 ([0, T ]; L2 (0, L)) R Z
.
v(x, t)wj (x)0 (t)dxdt


v 7 (wj ) , v =
0
Q

0
Entao (wj 0 ) (L2 ([0, T ]; L2 (0, L)) . Portanto

(wj 0 ) , u0m (wj 0 ) , u0 ,





em R,

ou seja, Z Z
u0m (x, t)wj (x)0 (t)dxdt u0 (x, t)wj (x)0 (t)dxdt,
Q Q

78
donde segue que Z T Z T
(u0m (t), wj )0 (t)dt (u0 (t), wj )0 (t)dt. (10.7)
0 0

Agora com relacao a (um )mN temos que um u em C([0, T ]; H01 (0, L)) , L2 ([0, T ]; H01 (0, L)),
entao um u em L2 ([0, T ]; H01 (0, L)), o que implica que um * u em L2 ([0, T ]; H01 (0, L)).
Segue que 0
h, um i h, ui , L2 ([0, T ]; H01 (0, L) .
Considere a aplicacao

(wj ) : L2 ([0, T ]; H01 (0, L)) R


Z T

.
v 7 (wj ) , v = ((v(t), wj ))(t)dt
0

Como


Z T
(w
j )
,v |((v(t), wj ))||(t)|dt
0
Z T
max |(t)| kwj )kkv(t)kdt
0tT 0
Z T1/2 Z T 1/2
2 2
c kwj )k dt kv(t)k dt
0 0
= ckwj kT 1/2 kvkL2 ([0,T ];H01 (0,L)) ,

| {z }
cte

0
entao (wj ) (L2 ([0, T ]; H01 (0, L)) . Logo,



(wj ) , um (wj ) , u , em R,

donde segue que


Z T Z T
((um (t), wj ))(t)dt ((u(t), wj ))(t)dt. (10.8)
0 0

De (10.6) (10.8) obtemos, por passagem ao limite, que:


Z T Z T
0 0
(u (t), wj ) (t)dt + ((u(t), wj ))(t)dt = 0, j N. (10.9)
0 0

Desde que (wj )jN e completo em H01 (0, L), dado qualquer v H01 (0, L), temos que
X
v = lim j wj . Entao, multiplicando (10.9) por j e somando para j de 1 ate temos:

j=1
| {z }
v

Z T Z T
0 0
(u (t), v ) (t)dt + ((u(t), v ))(t)dt = 0.
0 0

79
Tomando o limite quando temos
Z T Z T
0 0
(u (t), v) (t)dt + ((u(t), v)) (t)dt = 0, v H01 (0, L), D(0, T ).
0 | {z } 0 | {z }
L2 (0,T ) L2 (0,T )

de modo que  
d 0
(u (t), v), + h((u0 (t), v)), i = 0,
dt
o que implica
d 0
(u (t), v) + a2 ((u0 (t), v)) = 0 em D0 (0, L), v H01 (0, L).
dt
Portanto u e solucao fraca de nosso problema.

Dados iniciais: Como un u em C([0, T ]; H01 (0, L)), entao um (0) u(0) em H01 (0, L).
De (10.2) temos tambem que um (0) = u0m u0 em H01 (0, L). Portanto, u(0) = u0 em
H01 (0, L).
Analogamente, desde que u0n u0 em C([0, T ]; L2 (0, L)), entao u0m (0) u0 (0) em
L2 (0, L). De (10.3) temos tambem que u0m (0) = u1m u1 em L2 (0, L). Portanto,
u0 (0) = u1 em L2 (0, L).
Unicidade: Suponha que existam duas solucoes u e u? . Entao definindo w = u u?
teremos que

w C([0, T ]; H01 (0, L)) C 1 ([0, T ]; L2 (0, L))



d 0

(u (t), v) + a2 ((u0 (t), v)) = 0 em D0 (0, L), v H01 (0, L)
dt
w(0) = w0 (0) = 0

Nestas condicoes temos que



X m
X
w(t) = j (t)wj = lim k (t)wk , em L2 (0, L)
m
j=1 k=1


X m
X
0
w (t) = j0 (t)wj = lim k0 (t)wk , em L2 (0, L)
m
j=1 k=1
e
Z T Z T
0 0
(w (t), v) (t)dt + ((w(t), v))(t)dt = 0, v H01 (0, L), D(0, T ).
0 0

Em particular, fazendo v = wj temos:



!
X
0
(w (t), wj ) = k0 (t)wk , wj = j0 (t)
k=1

80

!!
X
((w0 (t), wj )) = k (t)wk , wj = j j (t)
k=1

donde Z T Z T
j0 (t)0 (t)dt
+ j j (t)(t)dt = 0, D(0, T ).
0 0
 
d 0
(t), + hj j (t), i = 0, D(0, T ).
dt j
d 0
(t) + j j (t) = 0, em D0 (0, T ).
dt j | {z }
L2 (0,T )

d 0
Entao (t) = j00 (t) e uma distribuicao em L2 (0, T ) (q.s. em [0, T ]).
dt j
Em verdade j : [0, T ] R e contnua, Entao

j00 (t) + j j (t) = 0, t [0, T ].

Das condicoes iniciais para w e w0 , resultea


 00
j (t) + j j (t) = 0, t [0, T ]
j (0) = j0 (0) = 0

Pela teoria de E.D.O.s obtemos j (t) = 0, t [0, T ] o que implica que w = 0 em


C([0, T ]; H01 (0, L)). Portanto, u = u? em C([0, T ]; H01 (0, L)).

Definicao 12.2 Toda funcao u : Q = (0, L) (0, T ) R satisfazendo


u C([0, T ]; H01 (0, L)), u0 C([0, T ]; L2 (0, L))

d 0 (12.8)
(u (t), v) + ((u(t), v)) = 0 em d0 (0, T ), v H 1 (0, L) (12.9)
dt 0
u(0) = u0 , u0 (0) = u1 (12.10)
e dita solucao fraca do problema misto
2u 2u
2 2 =0 em Q (12.11)
t x
u(0, t) = u(L, t) = 0 t 0 (12.12)

u
u(x, 0) = u0 (x)
t
(x, 0) = u1 (x), x [0, L] (12.13)

Observacao 12.3 Com esta definicao, o teorema 12.1 pode ser reescrito da seguinte
forma:

Teorema 12.4 Se u0 H01 (0, L) e u1 L2 (0, L) entao existe uma unica u solucao fraca
do problema misto (12.11)-(12.13).

Observacao 12.5 O teorema 12.1 permite definir a aplicacao

S : H01 (0, L) L2 (0, L) C([0, T ]; H01 (0, L)) C([0, T ]; L2 (0, L))
0
(u0 , u1 ) 7 S(u0 , u1 ) = (u, u )

onde u e solucao fraca do problema (12.11)-(12.13).

81
Note que H01 (0, L) L2 (0, L) munido da norma
 21
k(u0 , u1 )kH01 L2 = ku0 k2 + |u1 |2

e um espaco de Hilbert. Tambem observe que C([0, T ]; H01 (0, L)) C([0, T ]; L2 (0, L))
munido da norma

k(, )k = kkC([0,T ];H01 (0,L)) + kkC([0,T ];L2 (0,L))

e um espaco de Banach.

Teorema 12.6 (Dependencia Contnua em relacao aos dados ) a aplicacao S definida


acima e contnua.

Demonstracao: seja (um )mN a sequencia de solucoes aproximadas construdas na


demonstracao do teorema 12.1. Entao
m m
" #
X X p (u1 , wj ) p
um (t) = aj (t)wj = (u0 , wj )cos j t + p sen j t wj
j=1 j=1
j
e, de modo analogo a estimativa 1, temos:
" m 
# 21
X p 2
kum kC([0,T ];H01 (0,L)) j |(u0 , wj )| + |(u1 , wj )|
j=1
" m
# 21
X
j |(u0 , wj )|2 + |(u1 , wj )|2

2
j=1
" m m
# 21
X |((u0 , wj ))|2 X
= 2 + |(u1 , wj )|2
j=1
j j=1
 [ 1
= 2 ku0 k2H 1 (0,L) + |u1 |2L2 (0,L)
0 2
Analogo a estimativa 2 temos:
0 1
kum kC([0,T ];L2 (0,L)) 2 ku0 k2 + |u1 k2 2
0 1
Logo kum kC([0,T ];H01 (0,L)) + kum kC([0,T ];L2 (0,L)) 2 2 ku0 k2 + |u1 k2 2 .
0 0
Como um u em C([0, T ]; H01 (0, L)) e um u em C([0, T ]; L2 (0, L)), passando ao
limite desigualdade acima obtemos:

kS(u0 , u1 )kC([0,T ];H01 (0,L))C([0,T ];L2 (0,L)) 2 2k(u0 , u1 )kH01 (0,L)L2 (0,L)

82
13 3a lista de exerccio
1) a) Verifique que H 1 (0, L) e um espaco vetorial. Mostre que a aplicacao (, )H 1 (0,L) :
H 1 (0, L) H 1 (0, L) R definida por:
Z L Z L
0 0 0 0
(u, v)H 1 (0,L) = (u, v)L2 (0,L) + (u , v )L2 (0,L) = u(x)v(x)dx + u (x)v (x)dx
0 0

e um produto internoem H 1p (0, L).


b) Considere k kH 1 (0,L) = (, )H 1 (0,L) e prove que (H 1 (0, L), (, )H 1 (0,L) , k kH 1 (0,L) ) e
um espaco de Hilbert.

2) a) Mostre que
Z L
0 0
((u, v)) = u (x)v (x)dx, u, v H 1 (0, L)
0

em H01 (0, L).


e um produto interno p
b) Considere kuk = ((u, u)) e mostre que esta norma em H 1 (0, L) e equivalente a
norma induzida pelo H 1 (0, L).

3) a) Seja H 2 (0, L) o espaco de sobolev de ordem 2. Verifique que


0 0 00 00
(u, v)H 2 (0,L) = (u, v)L2 (0,L) + (u , v )L2 (0,L) + (u , v )L2 (0,L) , u, v H 2 (0, L)

e um produto interno qem H 2 (0, L).


b) Seja kukH 2 (0,L) = (u, u)H 2 (0,L) e prove que H 2 (0, L), (, )H 2 (0,L) , k kH 2 (0,L) e um


espaco de Hilbert.
c) Considere o espaco V = H01 (0, L) H 2 (0, L) munido da norma induzida por H 2 (0, L).
Prove que o operador
d2
2 :V L2 (0, L)
dx
d2 u
u 7
dx2
e linear e contnuo. ( Sugestao: para provar a continuidade, use o teorema do grafico
fechado).
d) Mostre que  2
d u d2 v

(u, v)V = , , u, v V
dx2 dx2 L2 (0,L)
2
p d u
kukV = (u, u)V = 2 , u V
dx L2 (0,L)
sao, respectivamente, um produto interno e norma em V. Alem disso, verifique em V esta
norma e equivalente a norma induzida por H 2 (0, L).

83
4) a) Verifique que L2 (0, T ; L2 (0, L)) e um espaco de Hilbert.
b) Verifique que L2 (0, T ; H01 (0, L)) e um espaco de Hilbert.
c) Mostre que C([0, T ]; L2 (0, L)) e um espaco de Banach.

5) Prove que
a) C([0, T ]L2 (0, L)) , L2 (0, T ; L2 (0, L))
b) C([0, T ]; H01 (0, L)) , L2 (0, T ; H01 (0, L))

6) a) Prove que o problema


00
w (t) + w(t) = 0, em (0, T )
()
w(0) = w0 (0) = 0
 2
k
possui solucao nao nula somente para os valores k = , k = 1, 2, . . . , sendo dada
L
pelas funcoes
 1/2
2 kx
wk (x) = sen , k = 1, 2, 3, . . .
L L

b) Mostre que (wk )kN e um sistema ortonormal e completo em L2 (0, L) e ortogonal e


completo em H01 (0, L).

c) Considere os espacos (L2 (0, L), (, ), | |) e (H01 (0, L), ((, )), k k) onde
Z L Z L 1/2
2
(u, v) = u(x)v(x)dx ; |u| = |u(x)| dx , u, v L2 (0, L)
0 0

e
Z L Z L 1/2
0 0 0 2
((u, v)) = u (x)v (x)dx ; kuk = |u( x)| dx , u, v H01 (0, L).
0 0

Prove que:
i) kwk k2 = k , k N;
ii) ((, wk )) = k (, wk ), k N e H01 (0, L);
 
wk
d) Prove que e um sistema ortonormal e completo em H01 (0, L).
k kN
e) Se u0 H01 (0, L) e u1 L2 (0, L), mostre que:
Xm
i) u0m = (u0 , wk )wk u0 em H01 (0, L)
k=1
m
X
ii) u1m = (u1 , wk )wk u1 em L2 (0, L)
k=1

84

X
X
2
iii) As series j |(u0 , wk )| e |(u1 , wk )|2 sao convergentes.
j=1  j=1

f ) Considere V, (,) V , kkV onde V = H01 (0, L) H 2 (0, L), (,) V e kkV sao dados no tem
(d) do exerccio 3. Mostre que:
i) kwk kV = k , k N;
2
ii) (, w
 kV) = k (, wk )L2 (0,L) , k N e V ;
wk
iii) e um sistema ortonormal e completo em V .
k
g) Se u0 H01 (0, L) H 2 (0, L) e u1 H01 (0, L), prove que:
Xm
i) u0m = (u0 , wk )wk u0 em H01 (0, L) H 2 (0, L)
k=1
m
X
ii) u1m = (u1 , wk )wk u1 em H01 (0, L)
k=1

X
X
iii) As series 2j |(u0 , wk )|2 e j |(u1 , wk )|2 sao convergentes.
j=1 j=1

7) Prove que se u0 H01 (0, L) H 2 (0, L), u1 H01 (0, L) e T > 0, entao existe uma unica
funcao u : Q R (Q = (0, L) (0, T )) tal que
u C([0, T ]; H01 (0, L) H 2 (0, L)) , u0 C([0, T ]; H01 (0, L)) e u00 C([0, T ]; L2 (0, L))

2u

00
u (t) 2 (t) = 0, t [0, T ], q.s.em(0, L)
u(0) = ux; u0 (0) = u

0 1

8) Seja u a funcao dada no teorema (10, 1). Prove que u satisfaz a seguinte identidade
de energia:
ku0 (t)k2 + |u(t)|2 = ku0 k2 + |u1 |2 , t.

9) Estude o problema
2u 2u

2 = f em Q = (0, L) (0, T )


(P)
t2 x
u(0, t) = u(L, t) = 0, t 0
u(x, 0) = u0 (x) e ut (x, 0) = u1 (x)
i) Existencia e unicidade de solucao fraca quando u0 H01 (0, L), u1 L2 (0, L) e
f L2 (0, T ; L2 (0, L)).
ii) Existencia e unicidade de solucao quando u0 H01 (0, L) H 2 (0, L)), u1 H01 (0, L) e
f L2 (0, T ; H01 (0, L)).
iii) Existencia e unicidade de solucao quando u0 H01 (0, L), u1 L2 (0, L), f L2 (0, T ; L2 (0, L))
com f 0 L2 (0, T ; L2 (0, L)).

85
10) Define-se H m (0, L) como sendo o espaco vetorial das funcao u L2 (0, L) tais que
dk u
L2 (0, L), para k = 1, 2, . . . , m.
dxk
a) Prove que
m
LX
dk u dk v
Z
((u, v))m = (x) (x)dx, u, v H m (0, L)
0 k=0
dxk dxk

e um produto interno em H m (0, L).


b) Mostre que H m (0, L) munido do produto interno do tem anterior e um espaco de
Hilbert.
c) Prove que as funcoes de H m (0, L) sao Holderianas em [0, L]. Em particular sao
contnuas.
d) Mostre que H m (0, L) C m1 ([0, L]).
e) Defina H0m (0, L) e prove que ele coincide com o fecho de D(0, L) em H m (0, L).

86
Referencias
[1] BACHMAN,G. & NARICI,L., Functional analysis. New York, Academic Press
Inc., 1966.

[2] MEDEIROS,L.A. & MELLO,E.A., A Integral de Lebesgue. Rio de Janeiro,


Instituto de matematica da UFRJ, 1989.

[3] MEDEIROS,L.A., FERREL,J.L. & BIAZUTTI,A.C., Metodos Classicos


em Equacoes Diferenciais Parciais. Rio de Janeiro, Instituto de matematica da
UFRJ, 2000.

[4] MEDEIROS,L.A., Iniciacao aos Espacos de Sobolev e Aplicacoes. Rio de


Janeiro, Instituto de matematica da UFRJ, 1983.

87