Escolar Documentos
Profissional Documentos
Cultura Documentos
1 Definicoes basicas 2
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
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
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.
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
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.
4
Definicao 2.1 Seja (x0 , y0 ) Q R2 .
(i) Dizemos que a equacao (2.1) e eltica em (x0 , y0 ) quando
2u 2u
+ = f (x, y)
x2 y 2
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 ).
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
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}.
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
temos que
2v 2v 2v
v v
A(, ) 2 + 2B(, ) + C(, ) 2 = g , , v, , em V,
B 2 AC = (b2 ac)(JF )2 .
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
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 .
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.
uxx = f (x, y, u, ux , uy )
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
(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
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
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
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.
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
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
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.
utt a2 uxx = 0, < x < e t>0 (3.1)
u(x, 0) = u0 (x) (3.2)
ut (x, 0) = u1 (x), (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
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
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
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 }.
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 )]
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
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)
17
De fato, veja que e da forma
Z (x,t)
1
(x, t, s) = f (, s)d
2a (x,t)
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.
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)
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.
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
|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
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
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
24
1
= (2L) = 1
2L
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
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
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
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
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
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
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
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
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
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 .
!
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
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]).
= {0 , 1 , 1 , . . . , n , n , . . .} = {1 , 2 , . . .} = (n )nN .
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
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,
onde
1 1 nx 1 nx
T h0 (x) = , n (x) = cos , n (x) = sen , n 1.
2L L L 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
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
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.
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
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
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
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)
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
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
4) Considere a equacao:
u = d1 u + e1 u + h1 u + k1 (, )
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.
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).
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)
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
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
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
vii) Seja f : R R uma funcao mpar, integravel em qualquer intervalo limitado. Entao
Z L
f (x)dx = 0, L > 0.
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.
(x) = 0, se x = 0
1 x
2
1 L , se 0 < x L.
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.
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 ,
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}
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
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).
fm : R
x 7 fm (x) = u(x)XKm (x)
e : Rn R
(x) se x
x
7 (x)
e =
0 se x Rn \
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 | , ....
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 < .
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
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
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
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
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
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
56
9 Distrinbuicoes sobre
Lembramos que denota um subconjunto aberto de Rn .
T T em D0 () hT , i hT, i em R, D().
Tu : D() R Z
7 hTu , i = u(x)(x)dx
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
57
Z
max | (x)| |u(x)|dx
xK0 K0
= max | (x)| ||u||L1 (K0 ) |{z}
0
xK0
Qdo
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,
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
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
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.
||
onde || = 1 + . . . + n e D = .
x1 1 x2 2 . . . xnn
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(),
= (1)|| hT T, D i 0, quando .
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 ().
D u = D Tu
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.
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.
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
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 ().
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.
Prove que f 0.
b) Verifique que
D(+) T = D (D T ) = D (D T ) = D(+) T, T D0 () e , Nn .
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).
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.
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)}
E facil ver que H 1 (0, L) L2 (0, L) e um espaco vetorial. Alem disso, a aplicacao
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].
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
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,
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
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 +
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
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
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).
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
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
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
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
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
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
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
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,
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
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
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
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).
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 )
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
e um espaco de Banach.
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
2) a) Mostre que
Z L
0 0
((u, v)) = u (x)v (x)dx, u, v H 1 (0, L)
0
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))
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
86
Referencias
[1] BACHMAN,G. & NARICI,L., Functional analysis. New York, Academic Press
Inc., 1966.
87