Professional Documents
Culture Documents
Trabalho de Concluso de Curso apresentada ao Departamento de Matemtica da Universidade Federal de Juiz de Fora, como requisito parcial para a obteno do Grau Bacharel em Matemtica Orientador: Luiz Fernando de Oliveira Faria
Maldonado, Andr Desiderio Integral de Lebesgue, Espaos de Sobolev e Aplicaes / Andr Desiderio Maldonado. -2013. 76 f. : il. Trabalho de Concluso de Curso (Bacharelado em Matemtica) - Universidade Federal de Juiz de Fora, Juiz de Fora, 2013. 1. Matemtica. 2. Equaes Diferenciais. 3. Integral de Lebesgue. 4. Espaos de Sobolev. 5. Mtodos Variacionais. I. Ttulo.
AGRADECIMENTOS
Ao meu orientador Luiz Fernando por todo suporte, apoio e principalmente pacincia. Gostaria de agradecer tambm ao professor Wilson Oliveira, meu orientador dos tempos em que cursava Fsica. Aos meus professores acadmicos tanto da graduao como do mestrado com ateno especial para Bernhard, Jens e Jos Luiz do Departamento de Fsica da UFJF; Fabio, Flaviana, Sergio e Olimpio do Departamento de Matemtica da UFJF e Andr da Faculdade de Engenharia Eltrica. Me ensinaram lies importantes, que no se encontram em livros e que vou levar para o resto da vida. Aline, minha namorada e companheira, pela pacincia e compreenso e principalmente por todo o amor que recebi. minha famlia como um todo, com ateno especial para os meus avs Marco e Clia por todo o amor que me dedicam, e ao meu Tio Marco pela ateno. Aos meus amigos Paulo, Wilker, Raony, Alcides e Daniel, companheiros de repblica; Rodrigo, Sebastio, Pedrosa, Alexandre e Tassio, companheiros de curso; Felipe, Nicolai, Gadelha e Raul, amigos de escola; juntamente com todos os outros colegas de mestrado. A todos que me apoiaram nos ltimos tempos com ateno especial para meus colegas de trabalho Nelson, Roney, Sandra, Lonardo, Vitor, Larcio, Lucy e Tatiana. Universidade Federal de Juiz de Fora e ao Departamento de Matemtica. FAPEMIG pelo suporte nanceiro.
RESUMO
Neste trabalho fazemos uma introduo da Teoria da Integrao de Lebesgue na reta real. Aps uma exposio sistemtica dos principais fatos da teoria, fazemos uma aplicao no estudo das equaes diferenciais utilizando os espaos de Sobolev. Palavras-chave: Integral de Lebesgue, Equaes Diferenciais, Mtodos Variacionais, Espaos de Sobolev
ABSTRACT
In this work we present an introduction to the Lebesgue Theory of Integration on real line. After systematic exposition of the main results, we show an application in the study of the Dierencial Equations using the Sobolev Spaces. Keywords: Lebesgue Integral, Dierential Equations, Sobolev Spaces, Variational Techniques
LISTA DE SMBOLOS
E (E,E ) q.t.p. R IR B (x; r) espao dual de E topologia fraca denida em E convergncia forte convergncia fraca quase todo ponto Conjunto dos Nmeros Reais intervalo aberto Bola aberta de raio r e centro x no espao normado E dada por {z E ; z xE < r} S (x; r) Esfera de raio r e centro x no espao normado E dada por {z E ; z xE = r} suppf Lp (I ) indica o suporte da funo f espao das funes Lebesgue-mensurveis u : I R ( ) 1 com norma-Lp nita |u|p = I |u|p dx p ,1 p < espao das funes Lebesgue-mensurveis e essencialmente limitadas u : I R com norma-L uL = supxI |u(x)| C k (I )
k (I ) C0
L (I )
funes k vezes continuamente diferenciveis emI conjunto das funes C k (I ) com u = 0 em I , (k 0) k k 0 C (I ) Espao de Sobolev com norma uW 1,p = (uLp + u Lp ) p
1
C (I ) W 1,p (I )
W m,p (I )
H m (I ; R)
Espao de Sobolev W m,2 (I ) com produto interno < u; v >H m = I uvdx + I u v dx + I u v dx + + I u(m) v (m) dx Valor absoluto de x ou medida de Lebesgue do conjunto x
|x|
Sumrio
1 Integral de Lebesgue 1.1 1.2 1.3 1.4 1.5 algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Funes Mensurveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 14 17 21 25 33 39 43 49 49 62 62 63 64 65 66 69
A Elementos de Anlise Funcional A.1 Espaos Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2 Espaos com Produto Interno . . . . . . . . . . . . . . . . . . . . . . . . A.3 Espaos Topolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.4 Compacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.5 Funes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B Espaos de Sobolev
B.1 Espaos de Sobolev W 1,p (I ) . . . . . . . . . . . . . . . . . . . . . . . . . B.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.3 O espao H1 0 [a,b] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . C Funcionais Diferenciveis C.1 Denies Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D Propriedades da Topologia Fraca D.1 Propriedades bsicas da convergncia fraca . . . . . . . . . . . . . . . . . Referncias Bibliogrcas
69 70 70 72 72 74 74 76
Introduo
A teoria da integrao teve suas raizes no "mtodo de exausto", inventado por Eudoxos e posteriormente desenvolvido por Arquimedes para calcular reas e volumes de guras geomtricas. Nos Sculos XVII e XVIII, os trabalhos de Newton e Leibniz permitiram que este mtodo se transformasse em uma ferramenta sistemtica para calcular reas, volumes e resolver problemas elementares de mecnica. Com o desenvolvimento da teoria do integral, a aplicao em geometria e mecnica perdeu sua importncia, dando lugar a questes mais analticas para as quais a chamada "Teoria Clssica"no era suciente. Nos dias atuais matemticos esto interessados no estudo da Teoria da Integraco aplicada em convergncia de sries, equaes diferenciais ou probabilidade. Para tal estudo, a Teoria Clssica da Integral, que culminou com a Integral de Riemann, foi substituida pelos trabalhos pioneiros de Henri Lebesgue, publicados no incio do sculo XX. A razo desta mudana simples: Os teoremas de convergncia da Teoria da Integral de Lebesgue so mais gerais, mais completos e mais elegantes que os da Teoria da Integral de Riemann. Neste trabalho fazemos uma exposico bsica da Teoria da Integral de Lebesgue na reta real. Ao nal apresentamos uma aplicao da teoria demonstrando a existncia de soluo para um problema envolvendo equaes diferenciais.
Captulo 1
Integral de Lebesgue
Neste captulo vamos fazer a construo da Integral de Lebesgue de funes reais denidas em subconjuntos da reta real. Para isto ns vamos denir uma estrutura chamada de algebra em um conjunto arbitrrio X e, atravs dessa estrutura, ns vamos denir o que seriam os espaos mensurveis e, sobre estes espaos, vamos denir o que seriam as funes mensurveis. Aps isso, vamos denir um tipo especial de funo chamado de medida e, a partir da, iremos construir o conceito de Integral de Lebesgue.
1.1
algebra
No desenvolvimento da integral de Lebesgue a nossa ateno est voltada para uma classe de funes reais denidas em um conjunto X no vazio. Como o desenvolvimento da teoria no depende do conjunto em questo, ns no iremos fazer qualquer hiptese adicional sobre este conjunto. Dado um conjunto X = , ns vamos considerar um subconjunto de P(X ) que "bem comportado"num sentido tcnico, isto , vamos assumir que uma algebra. Denio 1 ( algebra). Uma famlia de subconjuntos de um conjunto X chamada de algebra se satisfaz as seguintes condies:
1.1. algebra
15
An .
Observao 1. imediato que dado um conjunto X , o conjunto de suas partes P(X ), assim como o conjunto {, X } so algebras de X , sendo respectivamente a maior e a menor das algebras de X . Observao 2. Utilizando as relaes de De Morgan, obtemos que ( )c i. A = Ac
L L
( ii.
L
)c A =
L
Ac
Assim, dada uma( sequncia )c(An )nN em uma algebra de um conjunto X , a interseo An = Ac tambm um elemento de n
nN nN
Exemplo 1. Sejam 1 e 2 algebras de um conjunto X . Ento 3 = 1 2 tambm uma algebra. Com efeito, vamos vericar cada uma das condies. i. Como 1 algebra temos que , X 1 . Analogamente temos que , X 2 . Logo, temos que , X 3 . ii. Seja A 3 . Temos ento que A 1 e como 1 algebra temos que Ac 1 . Analogamente obtemos que Ac 2 e portanto Ac 3 . iii. Seja (An )nN uma sequncia de conjuntos em 3 . Temos que (An )nN 1 e como este algebra segue que An 1 . Analogamente temos que An 2 e
nN nN
consequentemente
nN
An 3 .
16
Mostramos portando que 3 uma algebra. Observao 3. Fizemos a demontrao do Exemplo 1 utilizando a interseo de dois conjuntos para exibir a ideia chave. Obviamente o resultado continua sendo vlido para uma coleo qualquer de algebras, isto , se ( )L so algebras de um conjunto X ento uma algebra do conjunto X .
L
Exemplo 2. Dada uma coleco no vazia A de subconjuntos de um conjunto X , existe a menor algebra de X que contm A, denotada por (A) e chamada de algebra gerada por A, no seguinte sentido: Se alguma algebra que contm A, ento (A) . Com efeito, dena (A) =
L
onde ( )L so todas as algebras de X que contm A. Observe que como P(X ) uma algebra de X que contm A ento (A) est bem denida e alm disso, utilizando a Observao 3 conclumos que (A) uma algebra. Segue da denio de (A) que se alguma algebra que contm A ento (A) . Exemplo 3. Considere que X = R. A algebra de Borel B a algebra de R gerada pelos intervalos abertos. Neste caso, um elemento A B chamado de conjunto de Borel ou boreliano. Observao 4. Note que a algebra de Borel B tambm pode ser denida como sendo a algebra gerada pelos intervalos fechados de R. Denio 2. Um espao mensurvel um par (X, ) onde X um conjunto qualquer e uma algebra de X . Alm disso, os elementos de sero chamados de conjuntos mensurveis, ou, quando a algebra estiver implcita, sero chamados apenas de mensurveis.
17
1.2
Funes Mensurveis
No que segue, X = (X,) denota um espao mensurvel. Denio 3. Uma funo f : X R mensurvel se, para cada R, o conjunto {x X ; f (x) > } est em , ou seja , mensurvel. Observao 5. Quando no houver risco de confuso a funo ser chamada apenas de mensurvel. Observao 6. Se A = {x X ; f (x) > } ento B = {x X ; f (x) } pois algebra. Alm disso, segue imediatamente das propriedades de algebra que C = {x X ; f (x) < } e D = {x X ; f (x) } . Por outro lado, se supomos que C = {x X ; f (x) < } , conclumos que A,B,D . Portanto, na denio de funo mensurvel poderamos utilizar qualquer um dos conjuntos A,B,C e D. Exemplo 4. Toda funo f : X R constante mensurvel. Com efeito, se f (x) = c x X temos que X se < c; se c; sendo que estes sempre so conjuntos de qualquer algebra de X . Exemplo 5. Seja E um conjunto mensurvel. A funo caracterstica E : X R denida por 1 se x E 0 se x /E
{x X ; f (x) > } =
(1.1)
E (x) =
18
mensurvel. Com efeito, temos que {x X ; f (x) > } = se 1 e . {x X ; f (x) > } = E se 0 < 1 e E . {x X ; f (x) > } = X se < 0 e X . Segue que E mensurvel. possvel mostrar que o conjunto M (X, ) das funes reais mensurveis formam um espao vetorial com as operaes usuais de soma e produto por escalar. Na verdade possvel mostrar ainda mais, que o que o prximo lema nos diz. Lema 1. Sejam f,g M (X,) e c R. Ento as funes i. cf ii. f + g iii. f g iv. |f | so mensurveis. Para demonstrao veja [1] pgina 9. Exemplo 6. Seja f : X R uma funo. Dena as funes f + : X R dada por f + (x) = max(f (x),0). f : X R dada por f (x) = max(f (x),0). As funes acima so chamadas respectivamente de parte positiva e parte negativa de f e valem as seguintes igualdades:
19
i. f = f + f ii. |f | = f + + f Alm disso, f mensurvel se e somente se f + e f so mensurveis. Mais ainda: f mensurvel se e somente se |f | mensurvel. Com efeito, se f + e f so mensurveis o resultado segue utilizando o Lema 1. Por outro lado, se f mensurvel ento os conjuntos E + = {x X ; f (x) > 0} e E = {x X ; f (x) < 0} so mensurveis e alm disso, f + (x) = f (x)E + (x) e f (x) = f (x)E (x). Logo, f + e f so mensurveis. A ltima armao imediata. O prximo lema trata da convergncia pontual de funes mensurveis. Lema 2. Seja (fn )nN uma sequncia em M (X,) e dena as funes i. f (x) = inf fn (x).
nN
funo mensurvel. Para demonstrao veja [1] pgina 12. Ns j vimos que se uma sequncia de funes mensurveis converge pontualmente para uma funo f , ento f mensurvel. O prximo lema nos garante que dada uma funo mensurvel no negativa f M (X,), possvel obter uma sequncia montona de funes mensurveis no negativas e com imagem nita n tais que f (x) = lim n (x).
nN
a partir destas funes que deniremos a Integral de Lebesgue. Lema 3. Se f uma funo no negativa em M (X,), ento existe uma sequncia (n )nN em M (X,) tal que
20
iii. Cada n tem um nmero nito de elementos na sua imagem. Demonstrao. Seja n N xado. A ideia da demonstrao dividir a imagem da funo f em n2n conjuntos e a partir de suas pr-imagens denir a funo n . Com efeito, se k = 0, 1, ..., k 2n 1 dena o conjunto Ekn = {x X ; k 2n f (x) < (k + 1)2n }, e se k = n2n dena Ekn = {x X ; f (x) n}. imediato que os conjuntos Ekn so disjuntos e a funo n da seguinte maneira:
n2 k=0
n
n 2n k=0
n (x) =
k 2n Ekn .
(1.2)
Segue diretamente de sua denio que n (x) 0 x X e, pelo Lema 1, temos que a funo n mensurvel. Vamos mostrar agora que a sequncia de funes (n )nN satisfaz as propriedades enunciadas: i. Claramente temos que n (x) 0 x X . Seja ento x X arbitrrio. Temos que x Ek1 n para algum k1 e x Ek2 (n+1) para algum k2 com 2k1 k2 . Temos assim que n (x) = k1 2n k2 n 2 = k2 2(n+1) = n+1 (x), 2
1.3. Medida
21
ii. Seja x X e > 0. Temos que existe n0 N tal que 2n0 < . Como n 0 (x) = k 2n0 f (x) < (k + 1)2n0 para algum k, segue que |f (x) n 0 (x)| 2n0 < . iii. Segue imediatamente da denio de n . O lema est, portanto, demonstrado.
1.3
Medida
Ns j introduzimos a noo de espao mensurvel (X, ), que consiste em um conjunto X e uma algebra . Vamos agora considerar funes, chamadas de medidas, . Estas funes podem ser intuidenidas em e tomando valores em R {+} = R tivamente interpretadas como a rea, comprimento e massa. Portanto, natural que o seu valor seja nulo no conjunto e que esta seja aditiva para a unio de conjuntos disjuntos. Denio 4 (Medida). Uma medida uma funo denida em uma algebra tal que : de um conjunto X e tomando valores em R {+} = R i. () = 0. ii. (E ) 0 E . iii. Se (Ei )iN uma sequncia de conjuntos disjuntos entre si, ento (
i N
) Ei =
iN
(Ei )
(1.3)
Observao 7. Como ns permitimos que uma medida assuma o valor +, possvel que o lado direito da equao (1.3) seja uma srie divergente. Por outro lado, se
22
(E ) = + E dizemos que nita. Mais geralmente, se existe uma sequncia (Ei )iN tal que (Ei ) = +, i N eX= Ei , dizemos que a medida f inita .
iN
Exemplo 7. Seja X = R e = B a algebra de Borel. possvel mostrar que existe uma nica medida , chamada de medida de Lebesgue, denida em B tal que se E = (a,b) B ento (E ) = b a. Esta medida no nita mas f inita. Vamos agora enunciar e provar alguns resultados que sero utilizados futuramente. Lema 4. Seja uma medida denida em uma algebra . Se E e F pertencem a e E F , ento (E ) (F ). Alm disso, se (E ) < + ento (F \ E ) = (F ) (E ). Demonstrao. Basta notar que F = E (F \ E ). Assim, (F ) = (E ) + (F \ E ) pois E e F \ E so disjuntos. Lema 5. Seja uma medida denida em uma algebra . a. Se (Ei )iN uma sequncia crescente de , isto , se Ei Ei+1 i N ento (
i N
) Ei = lim (Ei ).
i
(1.4)
) Fi = lim (Fi ).
i
(1.5)
Demonstrao. Vamos fazer a demonstrao de cada item. a. Se (Ei ) = + para algum i N ento ambos os lados da equao (1.4) so innitos. Podemos, portanto, assumir que (Ei ) = i N. Dena a sequncia (Ai )iN de conjuntos onde A1 = E1 e Ai+1 = Ei+1 \ Ei . Temos que Ai Aj = se
1.3. Medida
23
i = j e
i N
Ai =
i N
Ei . Logo,
(
i N
) Ei =
(
iN
) Ai =
iN
(Ai ) = lim
i m=1
( Am )
(1.6)
ou seja, (
iN
) Ei = lim
i
) Am = lim (Ei )
i
(1.7)
m=1
b. Dena Bi = F1 \ Fi . Temos que a sequncia (Bi )iN crescente e Aplicando a parte (a) do lema, obtemos (
i N
iN
Fi =
i N
Bi .
) Fi =
(
i N
) Bi = lim (Bi ).
i
(1.8)
Como (Bi ) = i N, segue pelo Lema 4 que (Bi ) = (F1 ) (Fi ). Assim, temos que (
i
)
iN
Bi
(1.9)
Como
i N
Bi = F1 \
i N
Fi , segue que
(
i N
) Bi = (F1 )
(
iN
) Fi , (1.10)
ou seja, (
i
( (F1 ) lim
i
)) Fi = lim
i
(
i N
) Fi (1.11)
iN
24
Denio 5 (Espao de Medida). Um espao de media uma tripla (X,, ) consistindo de um conjunto X , uma algebra e uma medida denida em . Exemplo 8. Considere o espao de medida X = (R,B, ) onde B a algebra de Borel e a medida de Lebesgue. 1. Se a R, temos que o conjunto {a} B pois ) ( 1 1 a ,a + {a} = n n
nN
(1.12)
(1.13)
2. Conclumos a partir do tem (1) que se E R um conjunto enumervel, ento E B e (E ) = 0. Em particular, o conjunto Q dos nmeros racionais mensurvel e tem medida nula. 3. Temos claramente que ) ) ) ( ( ( 1 1 1 1 [a,b) = a , b , (a,b] = e [a,b] = . a, b + a ,b + n n n n
nN nN nN
(1.14) Logo, ((a,b)) = ([a,b)) = ((a,b]) = ([a,b]). 4. Se A R um conjunto aberto, ento (A) = 0 se, e somente se, A = . Com efeito, se x A e A aberto, ento existe > 0 tal que (a , a + ) A e consequentemente (A) 2 pelo Lema 4. Por outro lado, se A = temos por denio de medida que (A) = 0. Para nalizar esta seo, vamos introduzir uma terminologia muito til e que ser utilizada posteriormente. Dizemos que determinada proposio vlida q.t.p. (quase
1.4. A Integral
25
todo ponto) se existe um conjunto de medida nula N tal que a proposio em questo vlida em X \ N . Quando a medida estiver subentendida diremos apenas que a proposio vlida q.t.p.
1.4
A Integral
Nesta seo ns vamos denir o conceito de integral primeiramente para funes mensurveis simples no negativas e, posteriormente, para funes reais mensurveis arbitrrias. O resultado principal o Teorema da Convergncia Montona que uma ferramenta bsica para o desenvolvimento posterior da teoria. Sendo assim, no que segue X = (X,,) como espao de medida xo e vamos denotar o conjunto de todas as funes mensurveis por M = M (X, ) e o conjunto de todas as funes mensurveis no negativas por M + = M + (X, ). Denio 6. Uma funo : X R simples quando seu conjunto imagem nito. Temos que uma funo simples pode ser representada da seguinte forma
n i=1
ai Ei ,
(1.15)
onde ai R e Ei , para todo i {1,2,...,n}. Mais ainda: se exigimos que os ai sejam distintos entre si, e que os Ei sejam disjuntos entre si, esta representao nica e chamada de Representao Padro da funo simples . Denio 7 (Integral de uma funo simples). Seja M + uma funo simples com representao padro dada por =
n i=1
ai Ei .
(1.16)
26
ai (Ei ) .
(1.17)
Observao 8. Na denio acima e no que segue estamos convencionando que 0 = 0. Exemplo 9. Considerando X = (R, B, ), temos que a integral da funo identicamente nula igual a zero, enquanto que a integral de qualquer outra funo constante no negativa +. Enunciamos a seguir algumas propriedades elementares da integral. Lema 6. a. ( + )d = b. cd = c ii. Se denida em como sendo (E ) = ento uma medida sobre . Para demonstrao veja [1] pgina 29. Denio 8 (Integral de uma funo mensurvel no negativa). Seja f M + e o conjunto de todas as funes simples de M + tais que (x) f (x), x X . E d (1.20) d (1.19) d + d (1.18) i. Se e so funes simples em M + e c 0, ento:
1.4. A Integral
27
d (1.21)
f E d. (1.22)
O lema a seguir consequncia imediata da denio acima e nos garante que a integral montona com respeito ao integrando e com respeito ao conjunto sobre o qual se est integrando. Lema 7. 1. Se f e g pertencem a M + e f (x) g (x), x X , ento f d gd. (1.23)
2. Se f M + e E, F com E F ento f d
E F
f d (1.24)
Agora estamos preparados para enunciar e provar o resultado mais importante desta seo . O Teorema da Convergncia Montona, devido a B. Levi nos d a ferramenta chave para as obter propriedades fundamentais de convergncia da Integral de Lebesgue. Teorema 1 (Convergncia Montona). Se (fn )nN M + uma sequncia montona crescente, isto , fn (x) fn+1 (x), x X e (fn )nN converge pontualmente para uma funo f , ento f M + e vale que f d = lim
n
fn d. (1.25)
28
Demonstrao. Pelo Lema 2 temos que a funo f mensurvel. Como fn (x) fn+1 (x) f (x), segue, pelo Lema 7 que fn d fn+1 d f d, n N. (1.26)
fn d f d. (1.27)
lim
Para mostrar a desigualdade oposta, seja R com 0 < < 1, uma funo simples em M + satisfazendo (x) f (x), x X e dena para cada n N o conjunto
An = {x X ; fn (x) > (x)}. Armao 1. Temos que An , n N. Com efeito, se = representao padro da funo , temos que m
(1.28) a
i=1 ai Ei
(1.29)
Armao 2. Temos que An An+1 pois se x An , temos que fn+1 fn (x) > (x). Armao 3. Temos que X =
nN
que (x) fn0 (x) f (x) pois f (x) = limnN fn (x) e, consequentemente, x An0 . Aplicando o Lema 7 obtemos que d
An An
fn d
fn d =
X
fn d. (1.30)
1.4. A Integral
29
d.
(1.31)
Com efeito, pelo Lema 6 temos que a funo denida em por (E ) = E d (1.32)
n A n
d.
(1.33)
fn d. (1.34)
Como a desigualdade acima vale para qualquer R com 0 < < 1, temos que d lim
n
fn d, (1.35)
e como uma funo simples arbitrria em M + com (x) f (x) x X , segue que f d = sup
d lim
n
fn d, (1.36)
onde o conjunto de todas as funes simples em M + com (x) f (x), x X . Utilizando as desigualdades (1.27) e (1.36) conclumos que f d = lim
n
fn d. (1.37)
30
Observao 9. Note que no estamos assumindo que ambos os lados da equao (1.51) ( ) so nitos. Com efeito, a sequncia fn d nN montona crescente de nmeros mas talvez no em R. reais estendidos tendo um limite em R Vamos agora expor alguns resultados imediatos do Teorema da Convergncia Montona. Corolrio 1. i. Se f M + e c 0, ento cf M + e cf d = c f d. (1.38)
Demonstrao. Vamos provar cada um dos tens. i. Se c = 0 o resultado imediato. Se c > 0, seja (n )nN uma sequncia montona crescente de funes simples convergindo para a funo cf (vide Lema 3). Aplicando o Lema 6 e o Teorema da Convergncia Montona obtemos que cf d = lim
n
cn d = c lim
n
n d = c
f d. (1.40)
O prximo resultado tambm uma consequncia do Teorema da Convergncia Montona. Ele muito importante uma vez que nos permite lidar com sequncias de funes que no sejam montonas.
1.4. A Integral
31
Corolrio 2 (Lema de Fatou). Se (fn )nN M + ento ( lim inf fn d lim inf
n n
fn d. (1.41)
Demonstrao. Para cada m N, dena gm (x) = inf {fm (x), fm+1 (x), ...}, x X . Assim, temos que se m n, ento gm (x) fn (x) x X e, consequentemente, gm d fn d, (1.42)
fn d. (1.43)
Como a sequncia (gm )mN montona crescente, isto , gm (x) gm+1 (x), x X e o seu limite lim inf fn , segue, pelo Teorema da Convergncia Montona, que
n
(1.44)
f d, E ,
(1.45)
ento uma medida. Demonstrao imediata a partir do Teorema da Convergncia Montona. Para maiores detalhes veja [1] pgina 34. Corolrio 4. Suponha que f M + . Ento f (x) = 0 q.t.p. se, e somente se, f d = 0 (1.46)
32
Demonstrao. Se a equao (1.46) valida, dena, para cada n N, o conjunto { } 1 En = x X ; f (x) > . n Temos assim que f (x) 0= f d 1 E (x), x X e ento n n 1 1 En d = (En ) 0, n n (1.48)
(1.47)
N=
En ,
(1.49)
f (x) = 0, x X N
com (N ) = 0. Reciprocamente, se f (x) = 0 q.t.p. e E = {x X ; f (x) > 0}, ento (E ) = 0 e denindo para cada n N, fn (x) = nE , obtemos que f lim inf fn e, pelo Lema de
n
fn d = 0. (1.50)
Abaixo, apresentamos uma verso do Teorema da Convergncia Montona substituindo a convergncia pontual em X pela convergncia q.t.p.. Corolrio 5 (Teorema da Convergncia Montona com convergncia q.t.p.). Se (fn )nN M + uma sequncia montona crescente, isto , fn (x) fn+1 (x), x X
33
e (fn )nN converge q.t.p. para uma funo f , ento f M + e vale que f d = lim
n
fn d. (1.51)
Temos que fn M converge pontualmente para f M em X e pelo Teorema da Convergncia Montona segue que f M d = lim
n
fn M d. (1.52)
) gn d =
(
nN
) gn d . (1.54)
1.5
Funes Integrveis
34
f M + . Nesta seo vamos estender este conceito para funes em M , isto , funes mensurveis podendo tomar valores positivos ou negativos. Para isto, chamamos a ateno ao fato de que se f M , ento sua parte positiva f + e sua parte negativa f ) so elementos de M + , estando, portanto, bem denidos os nmeros ( em R f + d e f d.
(1.55)
Denio 9. A conjunto L = L(X,, ) das funes integrveis a Lebesgue com respeito a medida consiste no conjunto de todas as funes mensurveis f M , tais que a suas partes positiva e negativa possuem integral nita, ou seja, { L = L(X,, ) = f M (X,);
+
f d < + e
} f d < + .
(1.56)
Neste caso, se f L ento sua integral com respeito a medida denida por f d =
+
f d
f d,
(1.57)
f E d =
f E d
f E d.
(1.58)
O objetivo principal desta seo o Teorema da Convergncia Dominada de Lebesgue, que segundo o prprio Lebesgue, o o teorema mais importante de sua teoria. Para isto, vamos enunciar e provar alguns resultados. O resultado a seguir comumente chamado de "propriedade da integrabilidade absoluta"da integral de Lebesgue. Lema 8. Seja f M . Ento f L, ou seja, f integrvel se, e somente se, |f |
35
(1.59)
Demonstrao. Por denio temos que f L se, e somente se, f + e f pertencem a M + e tm integral nita. Como |f | = f + + f , segue que f integrvel se, e somente se, |f| integrvel. Alm disso, temos que f d = f + d f d f + d + f d = |f |d.
(1.60)
Demonstrao. Basta aplicar o lema anterior para concluir que |f | integrvel e, consequentemente, f integrvel. Utilizando o Lema 7 obtm se a desigualdade desejada. possvel mostrar que o conjunto L = L(X, ,), munido com as operaes usuais de soma e produto por escalar utilizadas para funes, um espao vetorial. A demonstrao cannica e pode ser encontrada em [1], pgina 43. Sendo assim, vamos apenas enunciar o resultado. Lema 9. Se f,g L e R, ento f + g L assim como f L e alm disso vale que i. (f + g ) d = f d + gd (1.62)
36
ii. (f ) d = f d, (1.63)
ou seja, L um espao vetorial real quando munido com as operaes usuais de soma e produto por escalar das funes. Vamos agora mostrar o resultado principal desta seo. Teorema 2 (Convergncia Dominada de Lebesgue). Seja (fn )nN L uma sequncia de funes integrveis que converge q.t.p. para uma funo mensurvel f . Suponha que existe uma funo integrvel g L tal que |fn (x)| g (x), x X , n N. Ento f integrvel e vale que f d = lim
n
fn d. (1.64)
(1.65)
Redenindo as funes fn e f em N como sendo identicamente nulas, obtemos que a convergncia pontual se d em todo o conjunto X e isso no altera o valor das integrais pois o conjunto N tem medida nula. Assim, como |f | g em X , segue pelo Lema 8 e Corolrio 7 que f integrvel. Vamos mostrar agora que f d = lim
n
fn d. (1.66)
37
Com efeito, como g + fn 0, podemos aplicar o Lema de Fatou e concluir que gd + f d = (g + f ) d lim inf (g + fn ) d nN ( ) gd + fn d = lim inf nN = gd + lim inf fn d,
nN
(1.67)
fn d. (1.68)
Por outro lado, temos tambm que g fn 0 e, de maneira anloga, conclumos que gd ou seja, lim sup
nN
f d
gd lim sup
nN
fn d f d. (1.70)
fn d. (1.71)
38
Captulo 2
Espaos Lp
No captulo anterior ns denimos a Integral de Lebesgue de uma funo mensurvel arbitrria. Como vimos no Lema 9, o conjunto L = L(X, , ) de todas as funes integrveis se torna um espao vetorial real com as operaes usuais de soma e produto escalar denidas para as funes. Neste captulo ns iremos colocar uma estrutura de espao de Banach no conjunto das funes integrveis e veremos que para fazer isto, necessrio identicar duas funes que so iguais q.t.p. O conjunto formado por essas classe de equivalncias so os chamados espaos de Lebesgue Lp . O resultado principal deste captulo o Teorema de Riez-Fischer, segundo o qual, se 1 p < ento o espao Lp um espao de Banach com a norma uLp =
p
|u|p d.
Denio 10. Se V um espao vetorial real, ento uma funo : V R chamada de norma se satisfaz as seguintes condies: i. u 0, u V . ii. u = 0 se, e somente se u = 0.
Captulo 2. Espaos Lp
40
iii. u = ||u, R; u V . iv. u + v u + v , u,v V . Exemplo 10. A funo mdulo | | : R R dene uma norma em R. Exemplo 11. Se V = Rn , ento as funes a seguir denem uma norma no espao euclidiano Rn : 1. us = |u1 | + |u2 | + ... + |un |, u = (u1 ,u2 ,...,un ) Rn . 2. um = max{|u1 |,|u2 |,...,|un |}, u = (u1 ,u2 ,...,un ) Rn . 3. u = n |u1 |2 + |u2 |2 + ... + |un |2 , u = (u1 ,u2 ,...,un ) Rn .
Exemplo 12. O espao l1 das sequncias reais x = (xn )nN cujas sries so absoluta mente convergentes, isto , tais que S (x) = |xn | < , um espao vetorial normado com a norma denida por S . Exemplo 13. Se consideramos em V = C 1 [a,b] a funo denida por N (u) = sup |f (x)| ; u C 1 [a,b]
x[a,b]
(2.1)
temos que N no dene uma norma em C 1 [a,b]. Com efeito, temos que a funo N satisfaz as condies i, iii, e iv da Denio 10, porm qualquer funo constante c satisfaz N (c) = 0. Logo a condio ii no satisfeita e consequentemente N no dene uma norma em C 1 [a,b]. Observao 10. Quando uma funo denida em um espao vetorial V satisfaz as condies i, iii, e iv da Denio 10, dizemos que esta funo uma semi-norma. Denio 11. Seja X = (X, , ) espao de medida. Se f L = L(X,,) ento denimos a funo N : L R como sendo N (f ) = |f |p d f L.
(2.2)
41
O lema a seguir nos diz que a funo denida acima uma semi-norma no espao L. Lema 10. O espao L = L(X, ,) um espao vetorial e a funo N (f ) = |f |p d f L
dene uma semi-norma em L. Alm disso, se N (f ) = 0, ento f = 0 q.t.p. Demonstrao. Pelo Lema 9 temos que L um espao vetorial. Vamos mostrar que a funo N satisfaz cada uma das condies da Denio 10. Com efeito, imediato que N (f ) 0 e que N (f ) = ||N (f ), para toda f L. Alm disso, temos que se f,g L, ento |f + g | L e vale que |f + g | |f | + |g |. Logo, pelo Lema 7, temos que |f + g |d (|f | + |g |)d = |f |d + |g |d. (2.3)
Isso mostra que a funo N dene uma semi-norma em L e, pelo Corolrio 4, temos que N (f ) = 0 se, e somente se, f = 0 q.t.p. A m de tornarmos o espao L em um espao vetorial normado, introduzimos em X = (X, ,) a seguinte relao: Denio 12. Sejam f,g X . Dizemos que f g se f = g q.t.p. Claramente a relao acima dene uma relao de equivalncia em X . Note que ao passarmos o quociente pela relao 12 no espao L, estamos identicando duas funes que so iguais q.t.p. Assim, se f,g L e f g , ento f d = gd. (2.4)
Captulo 2. Espaos Lp
42
Desta forma, o conjunto L1 = L1 (X, ,) de todas as classes de equivalncia de [f ] com f L se torna um espao normado com a norma [f ]1 = |f |d.
Com efeito, L1 claramente se torna um espao vetorial com as operaes de soma e produto por escalar usuais: [f + g ] = [f ] + [g ] e [f ] = [f ] para quaisquer [f ],[g ] L1 e R. Alm disso, temos que a norma 1 est bem denida, pois se [f ],[g ] L1 com [f ] = [g ], ento |f | = |g | q.t.p. e [f ]1 = |f |d = |g |d = [g ]1 . (2.6)
As condies (i), (iii) e (iv ) da denio de norma claramente so satisfeitas. Finalmente, se [f ]1 = 0, ento |f |d = 0, ou seja, f = 0 q.t.p. e portanto [f ] = [0]. Observao 11. Note que os elementos do conjunto L1 so classes de equivalncias de funes. Porm, costumeiro trat-los como funes uma vez que seu comportamento algbrico o mesmo. Sendo assim, no que segue, denotaremos as classes de equivalncia [f ] L1 apenas por f e escreveremos f 1 ao invs de [f ]1 . (2.7)
2.1. Os espaos Lp
43
2.1
Os espaos Lp
Nesta seo vamos estudar uma famlia de espaos normados formados por classes de equivalncias de funes mensurveis. Denio 13. Seja 1 p < . O espao Lp = Lp (X, , ) consiste em todas as classes de equivalncia das funes mensurveis f M (X,) tais que
X
|f |p d < .
(2.8)
J vimos que se p = 1, ento o espao L1 se torna um espao normado com a norma |u|d u Lp . A proposio a seguir generaliza este resultado para o caso de 1 < p < . Proposico 1. Seja 1 < p < . O espao Lp um espao vetorial real. Alm disso, a seguinte funo dene uma norma em Lp : ( uLp =
X
|u|
) 1
(2.9)
Para provar a proposio acima, vamos enunciar e provar algumas desigualdades importantes vlidas para os espaos Lp . Lema 11 (Desigualdade de Young). Sejam A,B R posititivos. Se p,q [1,) so 1 1 tais que + = 1, ento p q Ap B p + . (2.10) AB p q Demonstrao. Temos que se 0 < < 1 a funo f denida em (0, ) por f (t) = tt
derivvel e f (t) = (1 t1 ), onde = 1 . Logo, temos que f (t) < 0 se 0 < t < 1
e f (t) > 0 se t > 1. Sendo assim, temos que f (1) f (t), t (0,), ou seja,
t t + (1 ), t (0,).
(2.11)
Captulo 2. Espaos Lp
44
Tomando t = que
a b
(2.12)
AB
Ap B p + , A,B, (a,), p q
(2.13)
1 1 + = 1. Ento p q (2.14)
Demonstrao. Se f = 0 ou g = 0 o resultado imediato. Sendo assim, suponha que f p = 0 e g q = 0. Temos que o produto f g mensurvel e utilizando a desigualdade f g de Young com A = eB= obtemos que f p g q |f g | |f |p |g |q + , f p g q pf p q g q e integrando obtemos |f g |d , f p g q 1 ou seja, f g 1 f p g q . (2.17) (2.16) (2.15)
2.1. Os espaos Lp Lema 13 (Desigualdade de Minkowsky). Seja 1 < p < e f,g Lp . Ento
45
(2.18)
(2.19)
pois a funo t tp convexa para t > 0. Isto nos mostra que f + g Lp . Observe agora que |f + g |p = |f + g | |f + g |p1 |f ||f + g |p1 + |g ||f + g |p1 .
(2.20) 1 1 + =1 p q
Note agora que como f + g Lp , segue que |f + g |p L1 . Alm disso, se ento p = (p 1)q e segue que |f + g |p1 )q d =
|f + g |p d,
(2.21)
(2.22)
e que
p q |g ||f + g |p1 d g p |f + g p ,
(2.23)
q q q f + g p p f p f + g + g p f + g f + g p (f p + g p ) .
(2.24)
Captulo 2. Espaos Lp
46
p
p q
= 1 obtemos que
f + g p f p + g p .
(2.25)
Note que a demonstrao da Proposio 1 imediata a partir da desigualdade de Minkowsky. Com efeito, se f,g Lp e , R ento f + g Lp pois ( |f + g |d ) 1 = f + g p ||f p + | |g p . p
(2.26)
Alm disso, a funo denida em (2.9) bviamente dene uma norma em Lp . Sendo assim, resta saber se o espao Lp completo nesta norma, o que verdade e ser provado no prximo resultado. Teorema 3 (Riesz-Fischer). Seja 1 p < . Ento o espao Lp munido com a norma ( up = ) 1
p
|u| d
, u Lp ,
(2.27)
completo, isto , Lp um espao de Banach. Demonstrao. Seja (un )nN Lp uma sequncia de Cauchy. Dado > 0, existe n0 = n0 () tal que se n,m > n0 ento
fn fm p < ,
(2.28)
ou seja
p |fn fm |p p d < .
(2.29)
Fixe n1 > n. possvel obter n2 > n1 tal que fn2 fn1 p < 1 2 , pois a sequncia de
2.1. Os espaos Lp
47
Cauchy. Prosseguindo desta maneira obtemos uma subsequncia (fnk )kN tal que fnk+1 fnk p < 1 . 2k
(2.30)
Para no carregar a notao denotemos gk = fnk . Seja ento g (x) = |g1 (x)| +
kN
(2.31)
Temos que g mensurvel e no negativa. Sendo assim, aplicando o Lema de Fatou conclumos que ]p [ n |g1 | + |g | d lim inf |gk+1 gk | d,
p nN k=1
(2.32)
ou seja, ( ) 1
p
[ lim inf g1 p +
nN
|g |p d
n k=1
] gk+1 gk p g1 p + 1. (2.33)
Dena E = {x X ; g (x) < }. Temos que E e (X \ E ) = 0. Logo, a srie denida em (2.31) absolutamente convergente q.t.p. Desta forma, dena f em X da seguinte maneira: g1 (x) + (gk+1 (x) gk (x)) se x E ;
k=1
f (x) =
(2.34)
0 se x = E.
Temos que gk f q.t.p. e |gk | < g, k N. Pelo Teorema da Convergncia Dominada conclumos que [
n n k=1
|f | d = lim
|g1 +
Captulo 2. Espaos Lp
48
(2.36)
e portanto gk f em Lp . Resta mostrar que fn f em Lp . Para isto, note que tomando m > n0 e k N sucientemente grande temos que
|fm gk |p d < p .
(2.37)
|fm gk |p d p ,
(2.38)
Captulo 3
3.1
(3.1)
50
um operador diferencial atuando em funes C 2 [a,b] e as funes p,q e f , denidas no intervalo [a,b] satisfazem as seguintes hipteses: i. p C 1 [a,b] e p(t) > 0, t [a,b]. ii. q C [a,b] e q (t) 0, t [a,b]. iii. f C [a,b]. Denio 14 (Soluo Clssica). Uma soluo clssica do problema (3.1) uma funo u C 2 [a,b] que satisfaz a equao (3.1) e se anula nos extremos do intervalo [a,b], ou seja, u(a) = u(b) = 0. A denio acima nos motiva a questionarmos o seguinte: Para responder a pergunta acima, vamos buscar algumas condies necessrias. Para isto, seja v C 1 [a,b] com v (a) = v (b) = 0 e suponha que u0 C 2 [a,b] seja uma soluo clssica de (3.1). Multiplicando a equao (3.1) por v e integrando obtemos b [ (
a
f (t)v (t)dt
(3.3)
b (
) p(t)u v (t)dt
(3.4)
q (t)u(t)v (t)dt =
a
f (t)v (t)dt.
(3.5)
51
Conclumos ento que toda soluo clssica u C 2 [a,b] do problema (3.1), se existir, deve satisfazer a equao (3.5) para qualquer v C 1 [a,b] com v (a) = v (b) = 0. Por outro lado, no bvio que a recproca seja verdadeira. Na verdade, a funo u no
1 [a,b]. Isto nos motiva precisa nem ser de classe C 2 , bastando por exemplo que u C0
seguinte denio.
1 uma soluo fraca de (3.1) se satisfaz a equao Denio 15. Uma funo u C0 1 [a,b], isto , se (3.5) para todo v C0
q (t)u(t)v (t)dt =
a
(3.6)
Observao 12. Para no deixar a notao excessivamente carregada, iremos suprimir o intervalo e a varivel de integrao uma vez que estes so os mesmo sempre. Sendo b assim, utilizaremos a notao f dt para designar f (t)dt.
a
Veremos agora que mais fcil procurar por solues fracas. Para isto, considere o
1 [a,b] R dado por funcional : C0
(v ) =
1 2
pv 2 dt +
1 2
qv 2 dt
1 f vdt, v C0 [a,b].
(3.7)
pu 0 v dt +
qu0 vdt
f vdt +
h 2
pv 2 + qv 2 dt,
(3.8)
pu 0 v dt
+ qu0 vdt
f vdt. (3.9)
Observao 13. O limite acima chamado no Clculo das Variaes como Primeira Variao do funcional e ser denotado por (u0 ) v .
52
(3.10)
ponto de mnimo do funcional , ento u0 uma soluo fraca do problema (3.1), ou seja, a existncia de uma soluo fraca para o problema (3.1) pode ser estabelecida se provarmos que o funcional tem um mnimo. Seguindo nesta direo, mostraremos inicialmente que limitado inferiormente. Para isto, note que se 0 < p = min p(t) e, utilizando que q (t) 0, t [a,b], juntat[a,b]
f2
v2
) 1
(3.11)
Para prosseguir, vamos utilizar a seguinte desigualdade: Proposico 2 (Desigualdade de Wirtinger). Existe c R positivo e independente de u tal que
a b
u(t)2 dt c2
1 u 2 (t)dt, u C0 [a,b].
(3.12)
u(t) =
a
u (s)ds.
(3.13)
53
Note agora que, pela desigualdade de Cauchy-Schwartz, temos t t ( t ) 1 2 1 2 |u(t)||u (s)|ds |u(t)|(t a) 2 |u(t)| = |u(t)| u (s)ds , u (s)ds
2 a a a
(
a
u (s)ds
) 1 2 . (3.15)
u(t) = |u(t)| (t a)
u 2 (s)ds,
(3.16)
u 2 (s)ds.
(3.17)
Tomando c2 =
u(t) dt c
u 2 (t)dt
(3.18)
Observao 14. A melhor constante c da desigualdade acima pode ser obtida utilizando sries de Fourier. Alm disso, existe uma verso multidimencional da proposio acima conhecida como Desigualdade de Poincar. Para maiores detalhes veja [3] pgina 31 e [2] pgina 290. Utilizando a desigualdade de Wirtinger em (3.11), obtemos (u) p ( f ) 1 ( 2 v ) 1
2
u dt c
(3.19)
54
Fazendo X =
u 2 dt conclumos que ( f ) 1
2
(u) p X c
X,
(3.20)
c2 que um polinmio do segundo grau, cujo valor mnimo 4 p que c2 1 f 2 dt, u C0 [a,b]. (u) 4 p
(3.21)
Conclumos assim que o funcional limitado inferiormente. Resta ento nos questionar se seu nmo assumido, isto , se o funcional possui um mnimo em
1 [a,b]. C0
O Teorema de Bolzano-Weierstrass da Anlise arma que toda funo real denida em um intervalo fechado e limitado da reta assume seu nmo neste intervalo. O essencial deste resultado so fatos topolgicos a respeito da funo e de seu domnio e, de fato, possvel generalizar este resultado da seguinte maneira. Teorema 4. Seja X um espao topolgico compacto e f : X R uma funo semicontnua inferiormente. Ento o seu nmo assumido, isto , existe x0 X tal que f (x0 ) f (x), x X . Demonstrao. Para uma demonstrao veja o Apndice A, Teorema 8. Para tentar aplicar o Teorema 4 precisamos introduzir alguma topologia no conjunto
1 [a,b]. Sendo assim, note primeiramente que este um espao vetorial sobre o corpo C0
dos nmeros reais quando mnido com as operaes usuais de soma e produto. Alm disso, ele se torna um espao normado se o munirmos da norma ( u = ) 1 2 1 u dt , u C0 .
2
(3.22)
55
1 [a,b] munido com a norma denida Designemos, ento, por X o espao normado C0
em (3.22). Proposico 3. O funcional contnuo em X . Demonstrao. Com efeito, se un u em X, temos que 2 2 2 p(vn v )dt p v 2 dt 0. vn
(3.23)
(3.24)
(3.25)
As desigualdades acima nos mostram que (v ) = lim (vn ), ou seja, que contnuo em X . Antes de prosseguir, relembremos que uma funo f : X R denida em um espao topolgico X contnua se, e somente se, a imagem inversa f 1 (I ) de qualquer intervalo aberto I R for um subconjunto aberto de X . Por outro lado, uma funo f : X R denida em um espao topolgico X semicontnua inferiormente se, e somente se, a imagem inversa f 1 (a, + ) um aberto. Logo, toda funo contnua semicontnua inferiormente. Sendo assim, temos que o funcional contnuo e consequentemente semicontnuo inferiormente. Para utilizarmos o Teorema 4 precisamos provar que X compacto. Ocorre que isto falso. Com efeito, o conjunto X no completo como nos mostra o exemplo abaixo.
56
fn (x) =
1 [1,1] com a norma (3.22), porm Temos que (fn )nN uma sequncia de Cauchy em C0 1 [1,1] tal que f f 0. no existe f C0 n
Para contornar este obstculo considere o espao de Lebesgue L2 = L2 [a,b]. Vamos introduzir em L2 o conceito de derivada fraca. Denio 16. Seja u L2 . Dizemos que u tem derivada fraca em L2 se existir v L2 tal que u dt =
1 vdt, Cc [a,b].
(3.27)
Observao 15. A ideia da denio acima surge da integrao por partes. Com
1 [a,b] e C 1 [a,b] temos, utilizando integrao por partes, que efeito, se u C0 c
u dt =
u|b a
u=
u .
(3.28)
Em particular, se u L2 tem derivada no sentido usual u L2 , ento ela tambm possui derivada fraca em L2 e estas coincidem. Sendo assim, tambm denotaremos a derivada fraca de u por u . Observao 16. Sabemos que se uma funo derivvel no sentido usual, ento ela contnua. Isto tambm vale para a derivada fraca, ou seja, se f L2 admite derivada C [a,b] tal que fraca em L2 ento f admite um representante contnuo, isto , existe f q.t.p. Para demonstrao veja [2] pgina 284. f =f
57
derivada fraca em L2 e que se anulam nos extremos do intervalo [a,b], isto , u(a) = u(b) = 0. Temos que este um subespao vetorial de L2 . Na verdade, possvel mostrar que ele se torna um espao de Banach com a norma ( u =
2
) 1
u dt
1 , u H0 [a,b].
(3.29)
1 [a,b] possvel mostrar(veja [2] pgina 204) que se considerarmos a imerso C0 1 [a,b], isto , se identicarmos cada funo de C 1 [a,b] com a sua classe de equivalncia H0 0 1 [a,b], ento C 1 [a,b] ca denso em H 1 [a,b]. em H0 0 0 1 [a,b] um exemplo de espao de Sobolev. Veremos a seguir que ele O espao H0
pu 0 v dt
+ qu0 vdt
f vdt. (3.30)
como Teorema de Riez, nos diz que as bolas fechadas de um espao vetorial normado so compactas (na topologia da norma) se, e somente se, a dimenso do espao nita. Para contornar este obstculo vamos introduzir o conceito de topologia fraca. Primeiramente, relembremos que dado um conjunto X , uma topologia de X uma coleo de subconjuntos de suas partes P(X ) tais que:
58
A .
Ai .
Quando munimos X de uma topologia, este se torna um espao topolgico. A topologia fraca de um espao de Banach X denida como sendo a menor topologia de X que faz os funcionais lineares denidos em X serem contnuos. Esta denio
1 [a,b], ela ca bastante abstrata, mas no nosso caso particular, isto , no espao H0
bem intuitiva uma vez que este um espao de Hilbert com o produto interno < u; v >H =
1 u v dt, u,v H0 [a,b].
(3.31)
1 [a,b] pode ser identicado com si prprio, e utiliPor este motivo, o espao dual de H0
(3.32)
fracamente compactas em espaos de Hilbert (veja Apndice D, Teorema 16). Desta forma podemos tentar utilizar o Teorema 4 para concluir que o funcional assume seu nmo em alguma bola fechada B [0,R]. O nico detalhe que no h garantias de que o funcional seja contnuo na topologia fraca. Para isto, utilizaremos o seguinte teorema: Teorema 5. Seja E um espao de Banach e um funcional semicontnuo inferiormente e convexo denido em E . Ento semicontnuo inferiormente na topologia fraca de E .
59
Demonstrao. Para demonstrao veja [3] pgina 34. Para utilizar o teorema acima precisamos mostrar que o funcional convexo. Isto feito no lema a seguir.
1 [a,b] como Lema 14. Considere o funcional denido em H0
1 (v ) = 2
1 pv dt + 2
2
qv dt
f vdt. (3.33)
(3.34)
Demonstrao. Temos que a funo real dada por x x2 convexa, ou seja, (tx + (1 t)y )2 tx2 + (1 t)y 2 . Sendo assim, temos que 1 2 t p(tu + (1 t)v ) dt 2
2
(1 t) pu dt + 2
2
pv 2 dt; qv 2 dt.
(3.35) (3.36)
1 2
q (tu + (1 t)v )2 dt
t 2
qu2 dt +
(1 t) 2
(3.37)
Utilizando o teorema acima conclumos que o funcional assume, de fato, o seu nmo
1 [a,b]. em algum ponto u0 H0
60
pu
(u)(vn v ) =
v vn
dt + qu(vn v )dt =
f (vn v ) 0. (3.38)
Segue ento que o funcional diferencivel a Frchet e como u0 um ponto de mnimo, segue que (u0 ) = 0 e consequentemente
1 < (u0 ); v >= (u0 )v = 0, v H0 [a,b],
(3.39)
isto ,
pu 0 v dt
+ qu0 vdt =
1 f vdt, v H0 [a,b].
(3.40)
Observao 17. A expresso acima o que, de fato, chamamos de soluo fraca para o problema (3.1). , essencialmente, a mesma denio dada em (15). A nica diferena que a derivada tomada no sentido fraco. Antes de passarmos a parte de regularizao da soluo, vamos provar a unicidade
1 [a,b] solues fracas do problema (3.1). da soluo fraca. Com efeito, sejam u1 , u2 H0
1 qv (u1 u2 ) = 0, v H0 [a,b].
(3.41)
q (u1 u2 )2 dt = 0,
(3.42)
o que implica em
2 p(u 1 u2 ) dt = 0.
(3.43)
61
Como p(t) > 0, t [a,b] segue que u 1 = u2 . Isto por sua vez implica que u1 u2 = 0,
pois u1 (a) = u1 (b) = u2 (a) = u2 (b) = 0. Segue portanto que a soluo fraca nica. Vamos agora mostrar que a soluo fraca u0 encontrada de fato uma soluo clssica. Para ver isto, note que
pu 0 v dt =
(3.44)
2 Isto nos mostra que pu 0 possui derivada fraca em L e esta vale (pu0 ) = qu0 f . Temos assim que pu 0 contnua e, consequentemente, u0 existe no sentido usual e
esta contnua (veja Apndice B, Observao 24). Utilizando a regra do produto para derivadas em pu 0 conclumos que
pu 0 = p u0 + qu0 f
(3.45)
Apndice A
Denio 17. Seja E um espao vetorial real. Suponha que esteja denida em E uma funo : E R tal que 1. u 0, u E e u = 0 se, e somente se u = 0. 2. u = ||u, u E, R. 3. u + v u + v , u,v E . Nestas condies a funo chamada de norma e vamos dizer que (E, ) um espao normado. Em espaos normados possvel denir o conceito de limite. Denio 18. Seja E um espao normado e (un ) E uma sequncia. Diremos que (un ) converge fortemente a u E quando para cada > 0 for possvel obter N0 N tal que se n > N0 ento un u < . H tambm para espaos normados a noo de sequncia de Cauchy.
63
Denio 19. Seja E um espao normado e (un ) E uma sequncia. Vamos dizer que a sequncia (un ) uma sequncia de Cauchy quando para cada > 0 for possvel obter N0 tal que se m, n N com n, m > N0 ento um un < . Observao 18. imediato que toda sequncia que converge fortemente uma sequncia de Cauchy. A recproca, porm, no verdadeira. Basta considerar o espao (Q, ||) onde |x| = max(x, x). Os espaos normados onde vale a recproca so chamados de Espaos de Banach.
A.2
Denio 20. Seja E um espao vetorial real. Dizemos que uma funo < ; >: E E R dene um produto interno em E se 1. < ; > bilinear. 2. < ; > simtrica. 3. < u; u > 0, u E e < u; u >= 0 se, e somente se, u = 0. Neste caso
dizemos que (E, < ; >) um espao com produto interno. Observao 19. Se (E, < ; >) um espao com produto interno, ento possvel mostrar a seguinte desigualdade, conhecida como Desigualdade de Cauchy-Schwartz | < u; v > |2 < u; u > < v ; v > . A partir disto, imediato ver que a funo : E R denida por u = (< u; u >) 2
1
dene uma norma em E. Logo, em todo espao com produto interno possvel denir uma norma induzida pelo produto interno. Consequentemente surge em espaos com produto interno a noo de limite. Finalmente, se num espao com produto interno
64
toda sequncia de Cauchy for fortemente convergente a algum elemento deste espao com a norma induzida, ento este espao ser chamado de Espao de Hilbert.
A.3
Espaos Topolgicos
Denio 21. Seja X um conjunto no vazio. Uma topologia em X uma coleo de subconjuntos de X tal que 1. , X . 2. Se {A }L ento
L
A .
n i=1
3. Se A1 , A2 , ..., An ento
Ai .
Os elementos de so chamados de abertos e dizemos que (X, ) um espao topolgico. Quando a topologia estiver subentendida vamos denotar apenas por X para no carregar a notao. Em espaos topolgicos possvel introduzir o conceito de limite. Denio 22. Seja (un )nN uma sequncia no espao topolgico X e u X . Dizemos que lim un = u se para todo aberto A de X que contm u, for possvel obter N0 N tal que se n > N0 ento un A. Observao 20. Se E um espao normado, possvel induzir em E uma topologia atravs de sua norma (a saber, a topologia gerada pelas bolas abertas). Neste caso, as denies de limite que introduzimos para espaos normados e espaos topolgicos so equivalentes. Por outro lado, nem toda topologia provm de uma norma. Ver [5] . Denio 23. Seja X um conjunto no vazio. Uma mtrica (ou distncia) em X uma funo d : X X R tal que 1. d(u,v ) 0, u,v X e d(u,v ) = 0 se, e somente se, u = v .
A.4. Compacidade
65
2. d(u,v ) = d(v,u), u,v X . 3. d(u,v ) d(u,w) + d(w,v ), u,v,w, X . Neste caso dizemos que (X,d) um espao mtrico. Em espaos mtricos possvel introduzir o conceito de limite. Denio 24. Seja (X,d) um espao mtrico, (un )nN X e u X . Dizemos que lim un = u se para cada > 0, for possvel obter N0 N tal que se n > N0 ento d(un ,u) < . Observao 21. Se (X, ) um espao normado a funo d(u,v ) = u v dene uma mtrica em X , ou seja, em todo espao normado possvel induzir uma mtrica. Neste caso as denies de limite so equivalentes. Por outro lado, possvel mostrar que nem toda mtrica provm de uma norma. Observao 22. Em espaos mtricos possvel induzir uma topologia associada mtrica (a saber a topologia gerada pelas bolas abertas). Neste caso, as denies de limite que introduzimos so equivalentes. Por outro lado, possvel mostrar que nem toda topologia provm de uma mtrica. Os espaos topolgicos em que a topologia provm de uma mtrica so chamados de espaos metrizveis. Veja [5].
A.4
Compacidade
Nesta seo nos dedicamos aos conjuntos compactos. Tais conjuntos tem importncia fundamental no nosso estudo uma vez que esto intimamente ligados convergncias de sequncias. Denio 25. Seja X um espao topolgico e Y X . Dizemos que a famlia de abertos {U }L uma cobertura aberta de Y se Y L U . Se o conjunto L nito, dizemos que a cobertura nita.
66
Denio 26. Seja X um espao topolgico e Y X . Dada uma cobertura aberta {U }L do conjunto Y, dizemos que a famlia {U }L onde L L uma subcober tura de Y se Y L U . Podemos agora denir conjuntos compactos. Denio 27. Seja X um espao topolgico. Um subconjunto K X compacto quando toda cobertura aberta de K possuir alguma subcobertura nita.
A.5
Funes Contnuas
Denio 28. Uma funo f : X Y entre dois espaos topolgicos X e Y contnua se a imagem inversa f 1 (Ay ) de um aberto Ay de Y sempre for um aberto de X . Observao 23. Em espaos mtricos a continuidade de uma funo se d atravs da mtrica. Com efeito, uma funo f : M1 M2 entre dois espaos mtricos M1 e M2 contnua se dado x M1 e uma sequncia (xn )nN M1 com d1 (xn ,x) 0, tem-se d2 (f (xn ),f (x)) 0. Vamos considerar agora funes reais f : X R denidas em um espao topolgico X . Para este tipo de funes existe uma noo menor de continuidade chamada de semicontinuidade. Denio 29. Dizemos que uma funo f : X R semicontnua inferiormente se a imagem inversa f 1 (a,) for um aberto de X . Analogamente, dizemos que uma funo f : X R semicontnua superiormente se a imagem inversa f 1 (,a) for um aberto de X . Os teoremas a seguir tm importncia fundamental no estudo da anlise. Teorema 6. Weierstrass Seja f : X Y uma funo contnua entre espaos topolgicos. Se K X for um compacto, ento f (K ) um compacto de Y .
67
Demonstrao. Seja (B )L uma cobertura aberta de f (K ). Pela continuidade de f segue que (A )L uma cobertura aberta de K, onde A = f 1 (B ). Como K compacto, temos que existem uma quantidade nita 1 , 2 ,...,n L tais que K n n n Ai e , consequentemente, f (K ) f (Ai ) Bi , ou seja, f (K ) compacto.
i=1 i=1 i=1
Teorema 7. Borel-Lebesgue Um subconjunto K R compacto se, e somente se, fechado e limitado. Para demonstrao veja [5] Utilizando os teoremas de Weierstrass e de Borel-Lebesgue, conclumos que se f : X R for uma funo contnua denida em um espao topolgico compactoX , ento f (X ) fechado e limitado e, consequentemente, f assume seus mximos e mnimos em X . possvel concluir algo parecido para funes reais semicontnuas. Teorema 8. Uma funo f : X R semicontnua inferiormente denida em um espao topolgico compacto X assume seu mnimo em X . Analogamente, uma funo f:X R semicontnua superiormente denida em um espao topolgico compacto X assume seu mximo em X . Demonstrao. Suponha que f seja semicontnua inferiormente. Observe primeiramente que f (X ) limitada inferiormente .Com efeito, {(n,)}nZ so abertos de R e R= (n,). Desta forma X = f 1 (n,) e pela compacidade de X existe uma
nZ nZ k i=1
Seja ento c0 = inf f (X ) e suponha por absurdo que c0 / f (X ). Pela denio de nmo, temos que existe uma sequncia estritamente decrescente (yn )nN f (X ) tais que yn c0 . Desta forma, temos que X = f 1 (yn ,) e pela compacidade de X segue que X = f 1 (yk0 ,) para algum k0 , o que absurdo pois se n > k0 , temos que yn f (X ) mas yn / (yn ,) pois yn < yk0 . Conclumos assim que c0 f (X ) e
nN
68
portanto f assume seu mnimo em X . A demonstrao anloga para o caso de f ser semicontnua superiormente.
Apndice B
Espaos de Sobolev
Neste captulo vamos denir os espaos de Sobolev.
B.1
Seja I R um intervalo possivelmente ilimitado e seja p R com 1 p +. Denio 30. O espao de Sobolev W 1,p (R) denido como W 1,p (I ) = {u Lp (I ); g Lp (I ) tal que
R
u dx =
gdx C0 (I )}.
u dx =
gdx C0 (I ).
(B.2)
Neste caso, denotamos u = g e dizemos que u a derivada fraca de u. Teorema 9. O espao W 1,p (I ) um espao de Banach com a norma uW1,p = up + u p , u W 1,p (I ),
(B.3)
70
1 onde uLp = [ I |u|p ] p . Alm disso, W 1,p (I ) reexivo se 1 < p < + e separvel se 1 p < +. Para demonstrao veja [2].
B.2
Propriedades
) tal que Teorema 10. Seja u W 1,p (I ). Existe uma funo u C (I u(x) = u (x) q.t.p.em I u (x) u (y ) =
y x
(B.4)
u (t)dt.
(B.5)
Observao 24. Em outras palavras, o teorema acima nos diz que toda funo u W 1,p (I ) possui um representante contnuo. Alm disso, se a derivada fraca de u for contnua, isto , tiver um representante contnuo, ento , na notao do teorema, u C 1 (I ) e, consequentemente, possui derivada no sentido usual.
(R) tal que Teorema 11. Seja u W 1,p (I ) Ento existe uma sequncia (un ) em C0
B.3
O espao H1 0 [a,b]
Quando p = 2, ns denotamos o espao de Sobolev W 1,2 (I ) por H 1 (I ). Neste espao ns introduzimos o seguinte produto interno: < f ; g >= f gd + f g d.
(B.6)
B.3. O espao H1 0 [a,b] Note agora que a norma induzida em H 1 (I ) dada por ( ) 2 uH = u2 2 + u 2 .
71
(B.7)
1 (I ) H 1 (I ) e suponha que I limitado. Denimos o Considere agora a imerso C0 1 (I ) como sendo o fecho de C 1 (I ) em H 1 (I ). espao H0 0
Vamos agora enunciar algumas propriedades bsicas deste espao. Para isto, suponha que I = [a,b].
1 [a,b] se, e somente se, u(a) = u(b) = 0. Teorema 12. Seja u H 1 [a,b]. Ento u H0
Para demonstrao veja [2] pgina 217. Teorema 13 (Desigualdade de Poincar). Existe uma constante positiva C > 0 tal que
1 uH C u 2 , u H0 [a,b].
(B.8)
Para demonstrao veja [2] pgina 218. Observao 25. O teorema acima nos diz que a norma dada por u = u 2 em
1 [a,b] equivalente norma , pois, obviamente, temos que u u . H0 2 H H
Apndice C
Funcionais Diferenciveis
C.1 Denies Bsicas
Neste captulo indicar a norma do espao de Banach em questo. Denio 31. Seja : U R onde U um aberto de um espao de Banach X. O funcional Gateaux diferencivel em u U se existir f X tal que para todo v X 1 lim [(u + tv ) (u) t < f ; v >] = 0. t0 t Neste caso, o funcional f nico e ser chamado de derivada de Gateaux em u e ser denotado por (u) dada por 1 < (u); v >= lim ((u + tv ) (u)). t0 t Observao 26. < (u), v > a derivada direcional de em u na direo v . Denio 32. O funcional tem derivada a Frchet f X em u U se 1 [(u + th) (u) < f ; h >] = 0. h
h0
lim
73
Neste caso, f a derivada a Frchet de em u e ser denotada por (u). Observao 27. O fucional diferencivel a Frchet (ou a Gateaux) se for diferencivel em todos os pontos de U . Observao 28. Se diferencivel a Frchet, ento diferencivel a Gateaux Observao 29. O funcional C 1 (U ; R) se possuir derivada de Frchet em todos os pontos de U e a funo u (u) for contnua em U . Teorema 14. Se tem derivada de Gateaux contnua em U ento C 1 (U ; R), ou seja, diferencivel a Frchet. Para maiores detalhes veja [4].
Apndice D
D.1
Teorema 15. Seja (xn ) X uma sequncia. Ento 1. [xn x] [< f,xn >< f,x >, f X ]. 2. Se xn x ento xn x. 3. Se xn x ento (xn ) limitada e x lim inf xn . 4. Se xn x e fn f em X ento < fn , xn >< f,x >.
75
Teorema 16 (Kakutani). Seja X um espao de Banach. Ento X reexivo se, e somente se, a bola B [0,1] = {x X ; x 1} compacta na topologia fraca (X, X ). Observao 31. O teorema acima tem importncia fundamental neste trabalho e no estudo das equaes diferenciais de uma maneira geral.
1 [a,b] reexivo. Logo suas bolas fechadas so fracamente Observao 32. O espao H0
compactas .
Referncias Bibliogrcas
[1] R.G. Bartle. The Elements of Integration. John Wiley Sons, 1966. [2] H. Brezis. Functional analysis, Sobolev spaces and partial dierential equations. Springer-Verlag New York Inc, 2010. [3] D.G. de Figueiredo. Mtodos variacionais em equaes diferenciais. Matemtica Universitria, 7:2147, 1988. [4] A.N. Kolmogorov and S.V. Fomin. Introdutory real analysis. Dover, 1975. [5] E.L. Lima. Espaos Mtricos. IMPA, 1993.