You are on page 1of 78

Universidade Federal de Juiz de Fora

Andr Desiderio Maldonado

Integral de Lebesgue, Espaos de Sobolev e Aplicaes

Juiz de Fora 2013

Andr Desiderio Maldonado

Integral de Lebesgue, Espaos de Sobolev e Aplicaes

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

Juiz de Fora 2013

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.

minha me, que sempre me apoiou e me incentivou nos estudos.

At mesmo a maior das caminhadas comea com um primeiro Passo. Gandhi

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 )

Espao de Sobolev denido indutivamente como W m+1,p (I ) = {u Lp (I ); u 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 Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Funes Integrveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Espaos Lp 2.1 Os espaos Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Aplicao: Um problema de contorno linear 3.1 Um Problema de Contorno Linear . . . . . . . . . . . . . . . . . . . . .

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

i. , X . ii. A Ac = X \ A . iii. Se (An )nN uma sequncia de conjuntos em ento


nN

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 .

Captulo 1. Integral de Lebesgue

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.

1.2. Funes 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) =

Captulo 1. Integral de Lebesgue

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:

1.2. Funes Mensurveis

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

ii. F (x) = sup fn (x).


nN

iii. f (x) = lim inf fn (x).


nN

iv. F (x) = lim sup fn (x).


nN

Ento as funes denidas acima so mensurveis e se f = F ento lim fn (x) uma


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

Captulo 1. Integral de Lebesgue

20

i. 0 n (x) n+1 (x) x X , n N . ii. f (x) = lim n (x) para cada x X .


nN

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

Ekn = X . Sendo assim, dena

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

isto , n (x) n+1 (x).

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

Captulo 1. Integral de Lebesgue

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)

b. Se (Fi )iN uma sequncia decrescente de , isto , se Fi+1 Fi i N e (F1 ) = + ento (


iN

) 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

lim (Fi ) = (F1 ) lim (Bi ) = (F1 )


i

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)

lim (Fi ) = (F1 )

iN

Captulo 1. Integral de Lebesgue

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)

e, pelo mesmo motivo, ( ) 1 1 2 ({a}) = lim ( a , a + ) = lim = 0. n n n n n

(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)

Captulo 1. Integral de Lebesgue

26

Ento a integral de com respeito a medida denida como d =


n i=1

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

i. Denimos a integral de f com respeito a medida como sendo f d = sup

d (1.21)

ii. Se f M + e E ento f E M + e a integral de f sobre E denida como sendo f d =


E

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)

Captulo 1. Integral de Lebesgue

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)

Portanto, temos que


n

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

An = ({x X ; fn (x) a1 } E1 ) ... ({x X ; fn (x) am } Em ) e portanto An .

(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

An . Com efeito, se x X , ento existe n0 N tal

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

Armao 4. Temos que d = lim


n A n

d.

(1.31)

Com efeito, pelo Lema 6 temos que a funo denida em por (E ) = E d (1.32)

uma medida e, utilizando o Lema 5 obtemos que d = (X ) = lim (An ) = lim


n

n A n

d.

(1.33)

Sendo assim, passando o limite em (1.30) obtemos que d lim


n

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)

Captulo 1. Integral de Lebesgue

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)

ii. Se f,g M + , ento f + g M + e (f + g )d = f d + gd. (1.39)

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)

ii. Demonstrao anloga a feita no item anterior.

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)

ou seja, gm d lim inf


n

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

) lim inf fn d = lim gm d lim inf fn d.


n m n

(1.44)

Corolrio 3. Se f M + e denida em por (E ) =


E

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)

Captulo 1. Integral de Lebesgue

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)

ou seja, (En ) = 0. Se N = {x X ; f (x) > 0} temos ento que


nN

N=

En ,

(1.49)

e como En En+1 segue, pelo Lema 7, que (N ) = 0, ou seja, que

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

Fatou, segue que 0 f d lim inf


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

1.5. Funes Integrveis

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)

Demonstrao. Seja N o conjunto de medida nula tal que

f (x) = lim fn (x), x M = X \ N.


n

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)

Como (N ) = 0, segue que f N = fn N = 0 q.t.p e pelo Corolrio 4 obtemos que f N d = fn N d = 0 n N. (1.53)

Como f = f M + f N e fn = fn M + fn N o resultado segue.

Corolrio 6. Suponha que (gn )nN seja uma sequncia em M + . Ento (


nN

) gn d =

(
nN

) gn d . (1.54)

Demonstrao. Basta aplicar o Teorema da Convergncia Montona sequncia fn = g1 + g2 + g3 + ... + gn .

1.5

Funes Integrveis

Na seo anterior ns denimos a Integral de Lebesgue de uma funo arbitrria

Captulo 1. Integral de Lebesgue

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)

e, se E , denimos a integral de f sobre E com respeito a medida por f d =


E

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 |

1.5. Funes Integrveis

35

integrvel. Nesse caso, temos que f d |f |d.

(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)

Corolrio 7. Se f M , g integrvel e |f | |g |, ento f integrvel e |f |d |g |d. (1.61)

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)

Captulo 1. Integral de Lebesgue

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)

Demonstrao. Seja N o conjunto de medida nula tal que

f (x) = lim fn (x), x M = X \ N.


n

(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)

1.5. Funes Integrveis

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)

ou seja, f d lim inf


nN

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, (1.69)

fn d f d. (1.70)

Combinando as duas desigualdades conclumos que f d = lim


n

fn d. (1.71)

e o teorema est demonstrado.

Captulo 1. Integral de Lebesgue

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

Em particular, se f L tal que f = 0 q.t.p, ento |f | = 0 q.t.p, e assim, |f |d = 0. (2.5)

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

na inequao acima, onde a,b (0,), e multiplicando por b obtemos

a b a + b, onde a igualdade vale se, e somente se, a = b.


1 , A = ap e B = bp , conclumos que Tomando = p

(2.12)

AB

Ap B p + , A,B, (a,), p q

(2.13)

onde a igualdade vale se, e somente se, A = B .

Lema 12 (Desigualdade de Hlder ). Sejam f Lp e g Lq , onde f g L1 e vale que f g 1 f p g q

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

f + g p f p + g p . Demonstrao. Temos que |f + g |p 2p (|f |p + |g |p ) ,

(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)

ou seja, |f + g |p1 Lq . Aplicando a desigualdade de Hlder obtemos que


p q |f ||f + g |p1 d f p |f + g p ,

(2.22)

e que
p q |g ||f + g |p1 d g p |f + g p ,

(2.23)

Integrando em (2.20) e utilizando as desigualdades acima obtemos que


p p p

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

q Se f + g p = 0 o resultado imediato. Caso contrrio, dividimos (2.24) por f + g p

e utilizando o fato de que 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

|gk+1 (x) gk (x)|.

(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

]p (gk+1 gk )| d 2p g p p < (2.35)

|f | d = lim

|g1 +

Captulo 2. Espaos Lp

48

e portanto f Lp . Como |f gk |p 2p g p , segue pelo Teorema da Convergncia Dominada, que 0 = lim f gk p ,


k

(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)

Aplicando o Lema de Fatou, obtemos que


k

|fm f | lim inf

|fm gk |p d p ,

(2.38)

sempre que m > n0 . Isto prova que fm f em Lp .

Captulo 3

Aplicao: Um problema de contorno linear


Neste captulo, faremos um exemplo de aplicao da teoria da integrao de Lebesgue no estudo de equaes diferenciais. Como veremos a seguir, os mtodos variacionais so uma das principais ferramentas utilizadas para resolver problemas na teoria das equaes diferenciais. A idia central a formulao de um problema variacional equivalente, em um certo sentido, que consiste na obteno de pontos crticos para um funcional associado ao problema diferencial. O termo funcional usado para designar uma funo real cujo domnio um espao vetorial.

3.1

Um Problema de Contorno Linear

Considere o seguinte problema de contorno

Lu = f, em [a,b], u(a) = u(b) = 0,

(3.1)

Captulo 3. Aplicao: Um problema de contorno linear

50

onde ( ) Lu = p(t)u + q (t)u (3.2)

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

] ) p(t)u (t) v (t) + q (t)u(t)v (t) dt =

f (t)v (t)dt

(3.3)

Utilizando integrao por partes obtemos que


a b

p(t)u (t)v (t)dt =

b (

) p(t)u v (t)dt

(3.4)

e, substituindo (3.4) em (3.3), obtemos que


a b

q (t)u(t)v (t)dt =
a

p(t)u (t)v (t)dt +

f (t)v (t)dt.

(3.5)

3.1. Um Problema de Contorno Linear

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

p(t)u (t)v (t)dt +


a

q (t)u(t)v (t)dt =
a

b 1 f (t)v (t)dt, v C0 [a,b]

(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)

1 [a,b] e h = 0 R. Temos que Sejam u0 ,v C0

(u0 + hv ) (u0 ) = h e consequentemente,

pu 0 v dt +

qu0 vdt

f vdt +

h 2

pv 2 + qv 2 dt,

(3.8)

(u0 + hv ) (u0 ) lim = h0 h

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 .

Captulo 3. Aplicao: Um problema de contorno linear

52

1 for um mnimo do funcional , ento Temos ento que se u0 C0

1 (u0 ) (u0 + tv ), v C0 [a,b], t R,

(3.10)

1 . Com efeito, basta considerar a funo : R R e assim, (u0 ) v = 0, v C0 v

dada por v (t) = (u0 + tv ), t R. Temos que t = 0 um ponto de mnimo de


1 e assim (u ) v = (0) = 0. Sendo assim, conclumos que se u um v ; v C0 0 0 v

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]

mente com a desigualdade de Cauchy-Schwartz, obtemos que (u) p u 2 dt ( ) 1 (


2

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)

1 [a,b]. Pelo Teorema Fundamental do Clculo, temos que Demonstrao. Seja u C0

u(t) =
a

u (s)ds.

(3.13)

3.1. Um Problema de Contorno Linear

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

(3.14) ou seja, |u(t)| (t a)


1 2

(
a

u (s)ds

) 1 2 . (3.15)

Elevando ambos os lados ao quadrado, obtemos


a t

u(t) = |u(t)| (t a)

u 2 (s)ds,

(3.16)

ou ainda, u(t) = |u(t)| (t a)


a 2 2

u 2 (s)ds.

(3.17)

Tomando c2 =

(b a)2 e integrando ambos os lados da inequao (3.17), obtemos 2


a b

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)

Captulo 3. Aplicao: Um problema de contorno linear

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

f 2 dt. Segue portanto

(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)

3.1. Um Problema de Contorno Linear

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)

De maneira inteiramente anloga e, utilizando a Desigualdade de Wirtinger, obtemos 2 2 2 2 q (vn vn v 2 dt 0. v ) dt c q

(3.24)

Utilizando agora a Desigualdade de Cauchy-Schwartz e a Desigualdade de Wirtinger obtemos ( ) 1 ( ) 1 2 2 2 2 f (vn v )dt c f dt | v v | dt 0. n


n

(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.

Captulo 3. Aplicao: Um problema de contorno linear

56

1 [1,1] a sequncia de funes (f ) Exemplo 14. Consideremos no espao C0 n nN de-

nidas por 0 nx se x [1, 1 2] se x [ 1 2,


1 2 1 +n ]

fn (x) =

1 1 1 .(3.26) 1 se x [ 1 2 + n,2 n] 1 1 nx se x [ 1 2 n,2] 0 se x [ 1 2 ,1]

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

3.1. Um Problema de Contorno Linear

57

1 [a,b] L2 das funes u L2 que possuem Considere agora o subconjunto H0

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

resolve parcialmente o nosso problema. Com efeito, o funcional denido em (3.7)


1 [a,b] e como C 1 [a,b] denso em H 1 [a,b] segue que o funcional pode ser denido em H0 0 0 1 [a,b]. Alm disso, continua sendo verdade que contnuo em H0

(u0 + hv ) (u0 ) = lim h0 h

pu 0 v dt

+ qu0 vdt

f vdt. (3.30)

A nica diferena que as derivadas so no sentido fraco. Desta forma, conseguimos


1 [a,b]. contornar a no completude do espao C0

Se tentarmos utilizar novamente o Teorema 4, vamos continuar esbarrando na no


1 [a,b] no compacto uma vez que ilimitado. compacidade. Com efeito, o espao H0 1 [a,b] so compactas, uma vez que o espao Na verdade, nem as bolas fechadas de H0 1 [a,b] tem dimenso innita e um famoso resultado de Anlise Funcional conhecido H0

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:

Captulo 3. Aplicao: Um problema de contorno linear

58

i. , X . ii. Se (A )L uma famlia de subconjuntos de , ento


n i=1

A .

iii. Se A1 ,A2 ,...,An ento

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

zando o Teorema da Representao de Riez conclumos que se un converge fracamente,


1 [a,b], ento isto , na topologia fraca, para u H0

1 < v ; un >< f ; u > , v H0 [a,b].

(3.32)

1 [a,b] que as bolas fechadas so O motivo de introduzirmos a topologia fraca em H0

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 .

3.1. Um Problema de Contorno Linear

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)

Ento convexo, isto , se t [0,1], ento


1 (tu + (1 t)v ) t(u) + (1 t)(v ), u,v H0 [a,b].

(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

Logo, conclumos que

(tu + (1 t)v ) t(u) + (1 t)(v ).

(3.37)

Utilizando o teorema acima conclumos que o funcional assume, de fato, o seu nmo
1 [a,b]. em algum ponto u0 H0

Observe agora que o funcional Gateaux diferencivel(veja Apndice C) em


1 [a,b] e suas derivadas de Gateaux so contnuas. Com efeito, se v v em H 1 [a,b] H0 n 0

Captulo 3. Aplicao: Um problema de contorno linear

60

e utilizando as desigualdades de Wirtinger e Cauchy-Schwartz, obtemos que

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

Temos assim que


pv (u 1 u2 )dt +

1 qv (u1 u2 ) = 0, v H0 [a,b].

(3.41)

Em particular, tomando v = u1 u2 obtemos que


2 p(u 1 u2 ) dt +

q (u1 u2 )2 dt = 0,

(3.42)

o que implica em
2 p(u 1 u2 ) dt = 0.

(3.43)

3.1. Um Problema de Contorno Linear

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 =

1 [qu0 f ]vdt, v H0 [a,b].

(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)

2 [a,b] e o problema 3.1 possui nica soluo clssica. e consequentemente u0 C0

Apndice A

Elementos de Anlise Funcional


A.1 Espaos Normados

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.

A.2. Espaos com Produto Interno

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

Espaos com Produto Interno

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

Apndice A. Elementos de Anlise Funcional

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.

Apndice A. Elementos de Anlise Funcional

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 .

A.5. Funes Contnuas

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

quantidade nita n1 ,...,nk Z tais que X = inferiormente.

f 1 (ni ,), ou seja, f (X ) limitado

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

Apndice A. Elementos de Anlise Funcional

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

Espaos de Sobolev W 1,p (I )

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 )}.

(B.1) Se u W 1,p (I ) ento existe g Lp (I ) tal que


R

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)

Apndice B. Espaos de Sobolev

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

(un )I u em W 1,p (I ). Para demonstraes veja [2].

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)

O espao H 1 (I ) com o produto interno denido acima se torna um espao de Hilbert.

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

C.1. Denies Bsicas

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

Propriedades da Topologia Fraca


No que segue, faremos uma exposio bsica sobre as propriedades bsicas da topologia fraca. Para uma viso mais detalhada veja ([2]). Denio 33. Seja X um espao de Banach. A topologia fraca (X, X ) a topologia menos na que torna todos os funcionais X contnuos. Observao 30. Quando colocamos em X a topologia fraca (X, X ) induzimos uma nova noo de convergncia chamada de convergncia fraca. Neste caso, diremos que (un ) converge fracamente a u X e denotaremos por un u.

D.1

Propriedades bsicas da convergncia fraca

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 >.

D.1. Propriedades bsicas da convergncia fraca

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.

You might also like