26
Objetivo Espaços de Hilbert Teorema de representação de Riesz Equação de Laplace Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert ANÁLISE FUNCIONAL E EQUAÇÕES DIFERENCIAIS PARCIAIS Nemuel Rocha Lima Orientador: Prof. Dr. Julio Cesar de Souza Almeida 4 de dezembro de 2013 Nemuel Rocha Lima UFAL

Apresentação-Nemuelll.pdf

Embed Size (px)

Citation preview

Page 1: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

ANÁLISE FUNCIONAL E EQUAÇÕES DIFERENCIAISPARCIAIS

Nemuel Rocha Lima

Orientador: Prof. Dr. Julio Cesar de Souza Almeida

4 de dezembro de 2013

Nemuel Rocha Lima UFAL

Page 2: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

1 Objetivo

2 Espaços de Hilbert

3 Teorema de representação de Riesz

4 Equação de Laplace

5 Reformulando o problema de Dirichlet para equação de Laplace como umfuncional linear limitado num espaco de Hilbert

Nemuel Rocha Lima UFAL

Page 3: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

O objetivo do nosso trabalho é estudar um pouco de análise funcional eaplicar no estudo de Equações Diferenciais Parciais. Apesar de nossoprojeto afirmar que vamos fazer um estudo de certa forma completo, nosentido que além de estudar existência e unicidades das equações tambémnos propomos a estudar a dedução (modelagem) dessas equações, essaúltima proposta foi trânsferida para o segundo ano do nosso trabalho.

Nemuel Rocha Lima UFAL

Page 4: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

1 Objetivo

2 Espaços de Hilbert

3 Teorema de representação de Riesz

4 Equação de Laplace

5 Reformulando o problema de Dirichlet para equação de Laplace como umfuncional linear limitado num espaco de Hilbert

Nemuel Rocha Lima UFAL

Page 5: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Definição

Uma forma Bilinear 〈·, ·〉 : E × E −→ R é um produto interno em uma espaçovetorial E sobre R se satisfaz as seguintes propriedades:

1 〈αx + βy , z〉 = α 〈x , z〉+ β 〈y , z〉, ∀ x , y , z ∈ E e α, β ∈ R2 〈x , y〉 = 〈y , x〉, ∀ x , y ∈ E3 〈x , x〉 ≥ 0, ∀ x ∈ E e 〈x , x〉 = 0 ⇔ x = 0

Definição

Dizemos que H é um espaço de Hilbert se H é um espaço vetorial comproduto interno e completo com respeito a norma ||x || =

√〈x , x〉( Toda

sequência de Cauchy em H converge para um elemento de H)

Exemplo 1. Exemplos familiares de espaços de Hilbert são os espaçoseuclidianos Rn

Exemplo 2 . Outro exemplo de espaço de Hilbert é o L2

Nemuel Rocha Lima UFAL

Page 6: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Definição

Uma forma Bilinear 〈·, ·〉 : E × E −→ R é um produto interno em uma espaçovetorial E sobre R se satisfaz as seguintes propriedades:

1 〈αx + βy , z〉 = α 〈x , z〉+ β 〈y , z〉, ∀ x , y , z ∈ E e α, β ∈ R2 〈x , y〉 = 〈y , x〉, ∀ x , y ∈ E3 〈x , x〉 ≥ 0, ∀ x ∈ E e 〈x , x〉 = 0 ⇔ x = 0

Definição

Dizemos que H é um espaço de Hilbert se H é um espaço vetorial comproduto interno e completo com respeito a norma ||x || =

√〈x , x〉( Toda

sequência de Cauchy em H converge para um elemento de H)

Exemplo 1. Exemplos familiares de espaços de Hilbert são os espaçoseuclidianos Rn

Exemplo 2 . Outro exemplo de espaço de Hilbert é o L2

Nemuel Rocha Lima UFAL

Page 7: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Definição

Uma forma Bilinear 〈·, ·〉 : E × E −→ R é um produto interno em uma espaçovetorial E sobre R se satisfaz as seguintes propriedades:

1 〈αx + βy , z〉 = α 〈x , z〉+ β 〈y , z〉, ∀ x , y , z ∈ E e α, β ∈ R2 〈x , y〉 = 〈y , x〉, ∀ x , y ∈ E3 〈x , x〉 ≥ 0, ∀ x ∈ E e 〈x , x〉 = 0 ⇔ x = 0

Definição

Dizemos que H é um espaço de Hilbert se H é um espaço vetorial comproduto interno e completo com respeito a norma ||x || =

√〈x , x〉( Toda

sequência de Cauchy em H converge para um elemento de H)

Exemplo 1. Exemplos familiares de espaços de Hilbert são os espaçoseuclidianos Rn

Exemplo 2 . Outro exemplo de espaço de Hilbert é o L2

Nemuel Rocha Lima UFAL

Page 8: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

1 Objetivo

2 Espaços de Hilbert

3 Teorema de representação de Riesz

4 Equação de Laplace

5 Reformulando o problema de Dirichlet para equação de Laplace como umfuncional linear limitado num espaco de Hilbert

Nemuel Rocha Lima UFAL

Page 9: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Teorema

Sejam H um espaço de Hilberta e f : H −→ R um funcional linear limitado.Então existe um único z ∈ H tal que

f (x) = 〈x , z〉 ∀ x ∈ H.

Além disso ‖f‖ = ‖z‖

Para mostrar esse teorema mostramos os seuintes Lemas:

Lema

Seja H um espaço de Hilbert, M ⊂ H subespaço fechado e x ∈ H. Então umúnico elemento z ∈ M mais próximo de x, ou seja, tal que

‖x − z‖ = infy∈M‖x − y‖

Nemuel Rocha Lima UFAL

Page 10: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Teorema

Sejam H um espaço de Hilberta e f : H −→ R um funcional linear limitado.Então existe um único z ∈ H tal que

f (x) = 〈x , z〉 ∀ x ∈ H.

Além disso ‖f‖ = ‖z‖

Para mostrar esse teorema mostramos os seuintes Lemas:

Lema

Seja H um espaço de Hilbert, M ⊂ H subespaço fechado e x ∈ H. Então umúnico elemento z ∈ M mais próximo de x, ou seja, tal que

‖x − z‖ = infy∈M‖x − y‖

Nemuel Rocha Lima UFAL

Page 11: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Lema (Teorema da Projeção)

Seja H espaço de Hilbert e M ⊂ H subespaço fechado. Dado x ∈ H existemúnicos z ∈ M e w ∈ M⊥ = h ∈ H/ 〈h, y〉 = 0 ∀y ∈ M tais que x = z + w

Nemuel Rocha Lima UFAL

Page 12: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

1 Objetivo

2 Espaços de Hilbert

3 Teorema de representação de Riesz

4 Equação de Laplace

5 Reformulando o problema de Dirichlet para equação de Laplace como umfuncional linear limitado num espaco de Hilbert

Nemuel Rocha Lima UFAL

Page 13: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Nosso objetivo agora é estudar a problema∆u(x) = 0 x ∈ Ω

u(x) = f (x) x ∈ ∂Ω(1)

Para isso, fazemos algumas considerações prévias:

Definição

Seja Ω ⊂ Rn e C2(Ω) . O Laplaciano ∆u é definido por:

∆u = div∇u =n∑

i=1

∂2u(x)

∂x2i

= 0.

A equação homogênea ∆u = 0 é chamada a equação de Lalace

Nemuel Rocha Lima UFAL

Page 14: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Nosso objetivo agora é estudar a problema∆u(x) = 0 x ∈ Ω

u(x) = f (x) x ∈ ∂Ω(1)

Para isso, fazemos algumas considerações prévias:

Definição

Seja Ω ⊂ Rn e C2(Ω) . O Laplaciano ∆u é definido por:

∆u = div∇u =n∑

i=1

∂2u(x)

∂x2i

= 0.

A equação homogênea ∆u = 0 é chamada a equação de Lalace

Nemuel Rocha Lima UFAL

Page 15: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

Definição

A função Φ(x) : Rn − 0 −→ R definida por:

Φ(x) =

1

2πlog|x | se n = 2

1n(n − 2)ωn

1|x|n−2 sen ≥ 3

(2)

é a Solução Fundamental para equação de Laplace.Utilizando essa função pudemos mostrar

Teorema

Seja f ∈ C2(Rn) com suporte compacto .Defina:

u(y) =

∫Rn

Φ(x − y)f (x)dx

Então , u é de classe C2 e é uma solução da equação de Poisson

∆u(x) = −f (x)

em Rn

Nemuel Rocha Lima UFAL

Page 16: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

Definição

A função Φ(x) : Rn − 0 −→ R definida por:

Φ(x) =

1

2πlog|x | se n = 2

1n(n − 2)ωn

1|x|n−2 sen ≥ 3

(2)

é a Solução Fundamental para equação de Laplace.Utilizando essa função pudemos mostrar

Teorema

Seja f ∈ C2(Rn) com suporte compacto .Defina:

u(y) =

∫Rn

Φ(x − y)f (x)dx

Então , u é de classe C2 e é uma solução da equação de Poisson

∆u(x) = −f (x)

em RnNemuel Rocha Lima UFAL

Page 17: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

1 Objetivo

2 Espaços de Hilbert

3 Teorema de representação de Riesz

4 Equação de Laplace

5 Reformulando o problema de Dirichlet para equação de Laplace como umfuncional linear limitado num espaco de Hilbert

Nemuel Rocha Lima UFAL

Page 18: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Dada uma função f ∈ C0(∂Ω), o problema de Dirichlet para equação delaplace consiste em encontrar uma função U ∈ C2(Ω) ∩ C0(Ω) tal que

∆U = 0 em ΩU = f sobre ∂Ω

Mas resolver a equação de Laplace é equivalente a resolver o seguinteproblema:

v = 0 sobre ∂Ω∆v = −w em Ω

(3)

onde v = U − f e ∆v = ∆f = wAqui Ω ⊂ R2 é um subconjunto aberto limitado e conexo , para o qual vale oteorema da divergente. Consequentemente a formula de integração porpartes também vale.

Nemuel Rocha Lima UFAL

Page 19: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Dada uma função f ∈ C0(∂Ω), o problema de Dirichlet para equação delaplace consiste em encontrar uma função U ∈ C2(Ω) ∩ C0(Ω) tal que

∆U = 0 em ΩU = f sobre ∂Ω

Mas resolver a equação de Laplace é equivalente a resolver o seguinteproblema:

v = 0 sobre ∂Ω∆v = −w em Ω

(3)

onde v = U − f e ∆v = ∆f = wAqui Ω ⊂ R2 é um subconjunto aberto limitado e conexo , para o qual vale oteorema da divergente. Consequentemente a formula de integração porpartes também vale.

Nemuel Rocha Lima UFAL

Page 20: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Em C1(Ω) definimos a forma bilinear por :

〈u, v〉 =

∫Ω

n∑i=1

ux ivx idX

Mas com essa definição o espaço C1(Ω) não é um espaço vetorial comproduto interno pois, basta tomar u = c constante e verificar que asderivadas parcias ux i = 0, i = 1...n; assim temos que

〈u, u〉 =

∫Ω

n∑i=1

0 = 0

mas deveria ser 〈u, u〉 > 0 logo não satisfaz uma das propriedades para serproduto interno.

Nemuel Rocha Lima UFAL

Page 21: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Definimos agora C10 (Ω) o subespaço das funções u ∈ C1(Ω) com suporte

compacto em Ω. Dessa forma

〈u, v〉 =

∫Ω

n∑i=1

ux ivx idx

define um produto interno em C10 (Ω).

Se v ∈ C2(Ω) é uma solução de (3) e u ∈ C10 (Ω) então usando a fórmula de

integração por partes podemos mostrar que:

〈u, v〉 = −∫

Ω

u∆vdx =

∫Ω

uwdx

Nemuel Rocha Lima UFAL

Page 22: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Definimos agora C10 (Ω) o subespaço das funções u ∈ C1(Ω) com suporte

compacto em Ω. Dessa forma

〈u, v〉 =

∫Ω

n∑i=1

ux ivx idx

define um produto interno em C10 (Ω).

Se v ∈ C2(Ω) é uma solução de (3) e u ∈ C10 (Ω) então usando a fórmula de

integração por partes podemos mostrar que:

〈u, v〉 = −∫

Ω

u∆vdx =

∫Ω

uwdx

Nemuel Rocha Lima UFAL

Page 23: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Seja l o funcional linear em C10 (Ω) definido por

l(u) =

∫Ω

uwdX

A nossa solução v deve satisfazer

l(u) = 〈u, v〉

Se C10 (Ω) fosse um espaço de Hilbert e l fosse um funcional linear limitado

em C10 (Ω) a existência de v seria asegurada pelo teorema da representação

de Riesz. A limitação de l seguirá da desigual de cauchy e poincaré que nospermiti obter uma cota superior para a norma L2 em termos da norma deDirichlet, ou seja,

‖u‖2 ≤ N‖u‖ = N (〈u, u〉)12 =

(∫Ω

n∑i=1

u2x idx

) 12

, u ∈ C10 (Ω).

Nemuel Rocha Lima UFAL

Page 24: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

Seja l o funcional linear em C10 (Ω) definido por

l(u) =

∫Ω

uwdX

A nossa solução v deve satisfazer

l(u) = 〈u, v〉

Se C10 (Ω) fosse um espaço de Hilbert e l fosse um funcional linear limitado

em C10 (Ω) a existência de v seria asegurada pelo teorema da representação

de Riesz. A limitação de l seguirá da desigual de cauchy e poincaré que nospermiti obter uma cota superior para a norma L2 em termos da norma deDirichlet, ou seja,

‖u‖2 ≤ N‖u‖ = N (〈u, u〉)12 =

(∫Ω

n∑i=1

u2x idx

) 12

, u ∈ C10 (Ω).

Nemuel Rocha Lima UFAL

Page 25: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

PIBIC

No entanto este espaço não é completo . Por isso consideramos seucompletamente em relação a norma de Dirichlet ‖ · ‖ , denotado por H1

0 (Ω)onde u ∈ H1

0 (Ω) é representado por uma sequência de cauchyu1, u2, u3, ... ∈ C1

0Portanto o nosso problema modificado é:Encontrar v ∈ H1

0 (Ω) tal que φ(u) = 〈u, v〉, para todo u ∈ H10 (Ω) , onde φ(u)

é uma extensão para H10 (Ω) do funcional l(U) em C1

0 (Ω).Por extensão e utilizando a desigualdade de Poincaré, mostramos que ofuncional φ é limitado em H1

0 (Ω). Então pelo Teorema da Representação deRiesz existirá v ∈ H1

0 (Ω) tal que φ(u) = 〈u, v〉, para todo u(x) ∈ H10 (Ω). Com

isso só nos faltará mostrar que tal v é realmente uma solução de (3)

Nemuel Rocha Lima UFAL

Page 26: Apresentação-Nemuelll.pdf

ObjetivoEspaços de Hilbert

Teorema de representação de RieszEquação de Laplace

Reformulando o problema de Dirichlet para equação de Laplace como um funcional linear limitado num espaco de Hilbert

Mostraremos que a solução v do problema modificado é uma solução doproblema (3) ou seja

v = 0 sobre ∂Ω∆v = −w em Ω

A solução v pode ser identificada com uma sequência de Cauchyv1, v2, ...vn ∈ C1

0 (Ω). Por causa da desigualdade de Poincaré, v pode seridentificada como um elemento de L2(Ω). Assim não é difícil concluir que∫

ω

v∆u dx = −∫ω

wu dx , para toda função teste u; onde v ∈ L2

Nemuel Rocha Lima UFAL