Análise Funcional Não-Linear Aplicada ao Estudo de Problemas Elípticos Não-Locais

Documentos relacionados
Existência de solução fraca para um problema de Dirichlet não-linear com a condição de Ambrosetti-Rabinowitz

Resumo. u (t) + G (u(t)) = f(t). O segundo é referente ao sistema Hamiltoniano. u (t) = J H(t, u(t)).

Neste trabalho, mostramos a existência de soluções para a seguinte classe de problemas elípticos. u = λu + p(x, u), x Ω

1 Introdução. Problemas Elípticos Assintoticamente Lineares

Mini-Curso II. Introdução às Equações Elípticas

Lista 8 de Análise Funcional - Doutorado 2018

Resumo. ü + G (u) = f(t).

Existência de soluções para equações elípticas semilineares envolvendo não linearidades do tipo côncavo-convexas

Problemas Superlineares e não Quadráticos no innito via Teorema do Passo da Montanha

Resumo. Neste trabalho estudamos os espaços L p(x) (Ω) e W 1, p(x) (Ω), bem como a exitência de solução fraca para problemas elípticos do tipo

Equações Semilineares Elípticas com o Termo Não-Linear Relacionado ao Primeiro Autovalor

Sobre uma classe de problemas elípticos com não linearidades do tipo côncavo-convexa

Existência, não existência e unicidade de solução positiva para problemas elípticos sublineares.

Quinta lista de Exercícios - Análise Funcional, período Professor: João Marcos do Ó. { 0 se j = 1 y j = (j 1) 1 x j 1 se j 2.

Julio Roberto Soares da Silva. Problemas elípticos não-locais com expoente crítico

DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de

Existência de soluções para uma classe de problemas elípticos não quadráticos no infinito

O Método de Sub e Supersolução e Aplicações a Problemas Elípticos

Mateus Balbino Guimarães. Problemas elípticos não lineares envolvendo equações do tipo Kirchhoff

O teorema do ponto fixo de Banach e algumas aplicações

Elifaleth Rego Sabino

Existência e multiplicidade de soluções para problemas do tipo anisotrópico.

Métodos Variacionais, Desigualdade do Tipo Trudinger-Moser e Aplicações

Soluções radiais e não radiais para a Equação de Hénon na bola unitária

Topologia. Fernando Silva. (Licenciatura em Matemática, 2007/2008) 13-agosto-2018

Mini Curso. O Lema de Lax-Milgram e Aplicações

Existência de Solução Global e Taxas de Decaimento para uma Equação de Placas Semilinear em R n

Notas de Aula. Análise Funcional

Multiplicidade de Soluções para uma Classe de Problemas Críticos via Categoria de Lusternik-Schnirelman

Notas Sobre Sequências e Séries Alexandre Fernandes

Faremos aqui uma introdução aos espaços de Banach e as diferentes topologías que se podem definir nelas.

Um espaço métrico incompleto 1

Problemas de Kirchhoff com crescimento

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE CIÊNCIAS EXATAS E DA NATUREZA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA

Teoria da Medida e Integração (MAT505)

Universidade de Brasília. Instituto de Ciências Exatas. Departamento de Matemática

Problemas de fronteira livre nas EDP elípticas: uma tentativa fuzzy

SMA 5878 Análise Funcional II

MAT Cálculo Avançado - Notas de Aula

Então (τ x, ) é um conjunto dirigido e se tomarmos x U U, para cada U vizinhança de x, então (x U ) U I é uma rede em X.

Lista 4. Esta lista, de entrega facultativa, tem três partes e seus exercícios versam sobre séries, funções contínuas e funções diferenciáveis em R.

Multiplicidade de soluções positivas para algumas classes de problemas elípticos em R 2 com condição de Neumann

Multiplicidade de soluções para problemas elípticos singulares envolvendo crescimento crítico

Luiz Fernando de Oliveira Faria

Existência de solução não-negativa para equações indefinidas do tipo Kirchhoff em domínio exterior com crescimento subcrítico ou crítico.

Estabilização de Sistemas a Excitação Persistente

Robustez da dinâmica sob perturbações: da semicontinuidade superior à estabilidade estrutural. Arthur Geromel Fischer

Métodos Topológicos e Variacionais para Problemas de Dirichlet com p Laplaciano

UNIVERSIDADE FEDERAL DE SÃO CARLOS CENTRO DE CIÊNCIAS EXATAS E DE TECNOLOGIA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA

Problemas Elípticos Periódicos e Assintoticamente Periódicos

Começamos relembrando o conceito de base de um espaço vetorial. x = λ 1 x λ r x r. (1.1)

Cap. 5 Estabilidade de Lyapunov

O Teorema de Peano. f : D R n. uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e uma função ϕ : I R n tais que

A Projeção e seu Potencial

Física Matemática II: Notas de aula

Continuidade de processos gaussianos

A Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário

Teoria da Medida e Integração (MAT505)

Produtos de potências racionais. números primos.

Uma condição necessária e suciente para integrabilidade de uma função real

Uma condição necessária e suciente para integrabilidade de uma função real

MULTIPLICIDADE DE SOLUÇÕES PARA UM PROBLEMA DO TIPO AMBROSETTI-PRODI

Parte II. Análise funcional II

O Método de Sub e Supersoluções para Soluções Fracas

Um estudo sobre problemas elípticos singulares perturbados por termos sublineares

Marina Andretta. 17 de setembro de Baseado no livro Numerical Optimization, de J. Nocedal e S. J. Wright.

Existência de uma solução semi-nodal para um sistema FitzHugh-Nagumo.

Teoria da Medida e Integração (MAT505)

Compacidade de conjuntos e operadores lineares

Problemas Elípticos do tipo p(x)-kirchho em Espaços Generalizado de Lebesgue-Sobolev

Sobre Soluções Positivas para uma Classe de Equações Elípticas Semilineares

{ 1 se x é racional, 0 se x é irracional. cos(k!πx) = cos(mπ) = ±1. { 1 se x Ak

Convergência em espaços normados

Comportamento Assintótico de uma Equação de Onda Não-linear com Amortecimento

da Teoria do conjuntos

de Operadores Lineares

INTRODUÇÃO À ANÁLISE CONVEXA E APLICAÇÕES INTRODUCTION TO CONVEX ANALYSIS AND APLICATIONS

Multiplicidade de soluções para sistemas do tipo Schrödinger-Poisson

Soluções clássicas para uma equação elíptica semilinear não homogênea

MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos

Existência de soluções para duas classes de problemas elípticos usando a aplicação bração relacionada à Variedade de Nehari

Cláudia Aline Azevedo dos Santos

CÁLCULO I. 1 A Função Logarítmica Natural. Objetivos da Aula. Aula n o 22: A Função Logaritmo Natural. Denir a função f(x) = ln x;

Método do Gradiente Projetado Para Funções Convexas Generalizadas

Noções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno. André Arbex Hallack

f(x) = max{f 1 (x),..., f k (x)}. a + b + a b, a, b R., f 2 (x) =

Invariância da integral por homotopia, fórmula de Cauchy e séries de Taylor

Gelson Conceição Gonçalves dos Santos

O TEOREMA DE ARZELÁ ASCOLI. Osmar Rogério Reis Severiano¹, Fernando Pereira de Souza².

Um Problema Elíptico no R N Assintoticamente Linear e Autônomo no Innito

1 Diferenciabilidade e derivadas direcionais

Equações elípticas com não linearidades críticas e perturbações de ordem inferior. Maycon Sullivan Santos Araújo

Problemas de minimização com singularidades

1, se t Q 0, se t R\Q

Existência e Concentração de Soluções para uma Equação de Schrödinger Estacionária

Equações de Schrödinger quaselineares com potenciais singulares ou se anulando no innito

Soluções para uma Equação de Schrödinger Quasilinear

Análise Matemática I 1 o Exame (Grupos I, II, III, IV, V e VI) 2 o Teste (Grupos IV, V e VI)

Notas Para o Curso de Medida e. Daniel V. Tausk

Espaço Dual, Transposta e Adjunta (nota da álgebra linear 2)

Transcrição:

Universidade Federal de Campina Grande Centro de Ciências e Teconologia Programa de Pós-Graduação em Matemática Curso de Mestrado em Matemática Análise Funcional Não-Linear Aplicada ao Estudo de Problemas Elípticos Não-Locais por Natan de Assis Lima sob orientação do Prof. Dr. Francisco Julio Sobreira de Araújo Corrêa Dissertação apresentada ao Corpo Docente do Programa de Pós-Graduação em Matemática - CCT - UFCG, como requisito parcial para obtenção do título de Mestre em Matemática. Este trabalho contou com apoio nanceiro da CNPq

Análise Funcional Não-Linear Aplicada ao Estudo de Problemas Elípticos Não-Locais por Natan de Assis Lima Dissertação apresentada ao Corpo Docente do Programa de Pós-Graduação em Matemática - CCT - UFCG, como requisito parcial para obtenção do título de Mestre em Matemática. Área de Concentração: Análise Aprovada por: Prof. Dr. Angelo Roncalli Furtado de Holanda - UFCG Prof. Dr. Silvano Dias Bezerra de Menezes - UFC Prof. Dr. Francisco Julio Sobreira de Araújo Corrêa - UFCG Orientador Universidade Federal de Campina Grande Centro de Ciências e Tecnologia Programa de Pós-Graduação em Matemática Curso de Mestrado em Matemática Março/21 ii

Resumo Neste trabalho usaremos algumas técnicas da Análise Funcional Não-Linear para estudar a existência de solução para os chamados Problemas Elípticos Não-Locais, entre os quais destacamos aqueles que incluem o operador de Kirchho, ou seja, problemas do tipo M( u 2 ) u = f(x, u) em, u = em, (1) onde R N é um domínio limitado com fronteira suave, M : R + R, R + = [, + ), e f : R R são funções satisfazendo certas condições a serem apresentadas ao longo deste trabalho e é o operador Laplaciano. Palavras Chave: Problemas Elípticos Não-Locais, Operador de Kirchho, Equação de Carrier, Método Variacional, Método de Galerkin, Sub e Supersolução.

Abstract In this work we will use some techniques of Nonlinear Analysis Functional to study the existence of solutions for the some Nonlocal Elliptic Problems, among then those which include the Kirchho operator, that is, problems of the type M( u 2 ) u = f(x, u) em, u = em, where R N is boundary domain with smooth boundary, M : R + R, R + = [, + ), and f : R R are functions satisfying some properties which will be timely introduced and is the Laplace operator. (2) Keywords: Nonlocal Elliptic Problems, Kirchho Operator, Carrier Equation, Variational Method, Galerkin Method, Sub and Supersolution.

Agradecimentos - Primeiramente, agradeço a Deus por toda força, coragem e saúde que me deu durante este trabalho. - A meu orientador, Prof. Francisco Julio Sobreira de Araújo Corrêa, pela dedicação, atenção e paciência durante o desenvolvimento deste trabalho. - Aos meus Pais Marco Aurélio e Jussara, aos meus irmãos Andyara e Inoan, e a minha esposa Renata, minha eterna gratidão pela presença em todos os momentos de minha vida, dando-me força, auxiliando-me, compreendendo-me nas horas difíceis. - Aos professores Dr. Angelo Roncalli Furtado de Holanda e Dr. Silvano Dias Bezerra de Menezes por se mostrarem prestativos e disponíveis para fazerem à avaliação deste trabalho de dissertação, fazendo parte da Banca Examinadora. - Aos meus colegas que compartilharam comigo esses anos de estudos, meus agradecimentos. - A todos que fazem o DME da UFCG. - Ao Conselho Nacional de Desenvolvimento Cientíco e Tecnológico (CNPq), pelo apoio nanceiro. - Ao Instituto Nacional de Ciência e Tecnologia de Matemática (INCTMat), pelo apoio nanceiro. - A todos que contribuíram, de forma direta, ou indiretamente, para concretização deste trabalho, meu muito obrigado. v

Dedicatória A minha esposa Renata, aos meus pais Marco Aurélio e Jussara e aos meus irmãos Andyara e Inoan. vi

Notações (1) R N, N 1; (2) - fronteira de ; (3) B R () - Bola fechada de centro zero e raio R; (4) B δ (x) - Bola aberta de centro x e raio δ; (5) L 2 () = { u : R/u é mensurável e u 2 dx < + } (6) H 1 (), H 1 () e W 1,p () - espaços de Sobolev; ( ) 1 (7) u = u 2 2 dx norma do espaço H 1 (); ( ) 1 (8) u 1,2 = ( u 2 + u 2 2 )dx a norma do espaço H 1 (). ( ) 1 (9) u 2 = u 2 2 dx norma do espaço L 2 (); (1) q.t.p. - em quase toda parte; (11) u = N 2 u i=1 (12) C,α () = x 2 i := Laplaciano de u; { } u(x) u(y) u C(); sup < + x,y x y α (13) C 1,α () = {u C 1 (); D i u C,α () i, i 1}. com < α < 1; vii

Conteúdo Introdução.................................... 6 1 Problemas Não-Locais Via Minimização 14 1.1 Resultados Básicos de Minimização.................... 14 1.2 O Problema de Kirchho M-linear..................... 18 1.3 Teorema da Deformação e um Princípio de Mínimo........... 26 1.4 Um Problema Não-Local com Condição de Neumann.......... 4 2 O Teorema do Passo da Montanha 48 2.1 O Teorema do Passo da Montanha.................... 48 2.2 Primeiro Resultado de Existência..................... 5 2.3 Segundo Resultado de Existência..................... 62 3 Problemas Singulares Via Método de Galerkin 68 3.1 Teorema do Ponto Fixo de Brouwer.................... 68 3.2 O Problema M-Linear........................... 69 3.3 Um Caso Sub-linear............................. 75 3.4 Um Resultado de Existência e Unicidade de Solução........... 81 4 Aplicações do Método de Sub e Supersolução 85 4.1 Um Problema Sub-linear.......................... 86 4.2 Existência de Soluções Positivas para uma Classe de Sistemas Elípticos Não-Locais.................................. 98 4.3 Existência de Solução Via Teorema do Ponto Fixo de Schauder..... 19 A Uma Consequência da Condição de Ambrosetti-Rabinowitz 116

ii B Um Operador Compacto 119 C Alguns Resultados Utilizados 123 Bibliograa 127

Introdução Neste trabalho, usaremos algumas técnicas da Análise Funcional Não-Linear para estudar a existência de solução dos chamados Problemas Elípticos Não-Locais. Os Problemas Elípticos Não-Locais, muito embora apresentem uma variedade relevante de situações físicas, biológicas e das engenharias e requeiram, em seu estudo, técnicas não-triviais da Análise Não-Linear, somente recentemente têm recebido a devida atenção por partes dos pesquisadores em Equações Diferenciais Parciais Elípticas. Vários autores tem estudado problemas não-locais, entre os quais citamos [4], [9], [13], [14], [16], [28] e suas referências onde diferentes técnicas foram usadas. Destacamos, aqui, aqueles que incluem o operador de Kirchho, ou seja, problemas do tipo M( u 2 ) u = f(x, u) em, u = em, (3) onde R N é um domínio limitado com fronteira suave, M : R + R, R + = [, + ), e f : R R são funções dadas e é o operador de Laplace, em que. é a norma usual no espaço de Sobolev H 1 () dada por ( u = u 2 dx ) 1 2. Este problema é bem conhecido, sendo a versão estacionária da equação da onda estudada por Kirchho [21]. Mais precisamente, Kirchho considerou o modelo dado por

( ρ 2 u t ρ 2 h + E 2L L u x 2 dx ) 7 2 u =, (4) x2 onde os parâmetros nesta equação possuem os seguintes signicados: L é o comprimento da corda, h é a área de sua seção transversal, E é o módulo de Young do material do qual ela é feita, ρ é a densidade da massa e ρ é a tensão inicial. Este modelo estende a equação de onda clássica proposta por D' Alembert, considerando os efeitos da mudança de comprimento da corda durante a vibração. A versão (4) apareceu pela primeira vez no trabalho de Kirchho [21], em 1883, mas apenas com a publicação do trabalho de J. Lions [24], no qual foi proposta uma abordagem de Análise Funcional para tal problema, a equação dada em (4) começou a receber maior atenção. Destacamos, também, alguns problemas que, incluem a equação de Carrier, a( u 2 2) u = f(x, u) em, u = em, (5) onde R N é um domínio limitado com fronteira suave, a : R (, + ), f : R R são funções dadas e é a norma usual do espaço L 2 (). ( u 2 = u 2 dx G.F. Carrier [1] deduz a equação que modela vibrações de uma corda elástica quando as mudanças nas tensões não são pequenas ρu tt ( 1 + EA LT L ) 1 2 ) u 2 dx u xx =. (6) Aqui, u(x, t) é o deslocamento do ponto x no instante t, T é a tensão axial inicial, E é o módulo de Young de um material, A é a seção transversal de uma corda, L é o comprimento da corda e ρ é a densidade do material. Claramente, se as propriedades do material variam com x e t, então temos uma equação hiperbólica quase-linear do tipo u tt a(x, t, u(t) 2 2) u =. (7)

8 Larkin [22] estudou a equação não homogênea de Carrier u tt a(x, t, u(t) 2 2) u + g(x, t, u t ) = f(x, t), (8) provando a existência e unicidade de soluções globais e decaimento exponencial da energia. Quando as funções a e g não dependem de x e t, Frota, Cousin e Larkin [2] provaram a existência de soluções globais para o problema misto de Carrier sem restrição no tamanho dos dados iniciais. No que segue, faremos um breve comentário dos capítulos deste trabalho. No Capítulo 1, intitulado Problemas Não-Locais Via Minimização, utilizaremos Métodos Variacionais Via Minimização para estudar a existência de solução em alguns problemas não-locais. O primeiro problema não-local que estudaremos é M( u 2 ) u = f(x) em, u = em, (9) onde f L 2 () e M : R + R, é uma função contínua satisfazendo < m M(s) M < + s R, com m, M R. (1) A versão local de (9), isto é, quando M(t) 1, é o problema de Dirichlet clássico cuja solução existe e é única. Em Chipot, Valente e Caarelli [14] os autores mostraram um resultado para o problema (9) que aparece na seção 1.2 deste trabalho. Podemos citar outros autores que estudaram este problema, como por exemplo, Alves, Corrêa e Ma [4]. Um outro problema que foi estudado neste trabalho, é dado por M( u 2 2) u = f(u) + ρ(x) em, u η = em, em que R N (N 1) é um domínio limitado com fronteira suave, M : R + R é (11)

9 uma função contínua satisfazendo (1), f : R R é uma função contínua p-periódica e ρ L 2 () as quais satisfazem p f(s)ds =, ρ(x)dx =. (12) Aqui, adaptaremos para o problema (11) o que foi desenvolvido por Costa [17]. No Capítulo 2, denominado O Teorema do Passo da Montanha, demonstraremos, na seção 2.1, este teorema na versão de Ambrosetti e Rabinowitz [6], e nas seções seguintes aplicaremos este teorema para estudar alguns problemas não-locais. O primeiro problema considerado foi M( u 2 ) u = f(x, u) em, u = em, (13) onde R N (N 1) é um domínio limitado com fronteira suave, M : R + R é uma função contínua e não-crescente satisfazendo < M M(t) M, t, (14) em que M, M > são constantes e f : R R é uma função de Carathéodory cumprindo as seguintes condições: (f 1 ) Existem constantes c, d > e θ < N+2 N 2 se N 3 θ < + se N = 1, 2 tais que f(x, s) c s θ + d. (f 2 ) lim s f(x, s) s =, uniformemente em x. (f 3 ) Existem µ > 2 e r > tais que < µf (x, s) sf(x, s), s r onde F (x, s) = s f(x, ξ)dξ.

1 Seguimos algumas idéias desenvolvidas em Alves, Corrêa e Ma [4] para estudar o problema (13). Estes autores mostraram que, com algumas hipóteses adicionais, encontramos a existência de solução positiva para o problema (13). O outro problema considerado neste capítulo foi o seguinte M( u 2 ) u = f(u) em, u = em, (15) onde R N (N 1) é um domínio limitado com fronteira suave, f : R R uma função de Carathéodory satisfazendo as condições (f 1 ) (f 2 ) (f 3 ) acima mencionadas e M : R + R é função contínua satisfazendo, (M 1 ) Existem m 1, t 1 > tais que, M(t) m 1 se, t t 1. (M 2 ) Existem m 2, t 2 > tais que, < M(t) m 2 se, t t 2. (M 3 ) lim t + M(t2 )t = +. (M 4 ) M é não-crescente e M(t) > para todo t. A versão generalizada do problema (15) é dada por, [M( u p 1,p)] p 1 p u = f(x, u) em, u = em, cujo R N é como antes, 1 < p < N, f é uma função superlinear com crescimento subcrítico e M é uma função satisfazendo (M 1 ) - (M 4 ). Nascimento [26], mostra a existência de solução não-trivial e não-negativa para o problema em questão. No Capítulo 3, intitulado Problemas Singulares Via Método de Galerkin, estudamos existência de solução para alguns problemas elípticos não-locais utilizando o Método de Galerkin. O primeiro problema considerado é dado por, M( u 2 ) u = f em, u = em, (16)

11 onde R N é um domínio limitado com fronteira suave, f H 1 () e M : R R é uma função contínua satisfazendo (M ) Existem constantes t, m > tais que, M(t) m > t t. O segundo problema foi o caso sub-linear, M( u 2 ) u = u α em, u > em, u = em, (17) cujo < α < 1, M é não-crescente e contínua, H(t) = M(t 2 )t é crescente, H(R) = R e G(t) = t(m(t 2 )) 2 1 α é injetora. Por m, consideramos o problema, ( ) a u q dx u = f em, u = em, em que R N é um domínio limitado, 1 < q < 2N, N 3, a : R (, + ) é uma N 2 dada função e f H 1 (). Observe que, quando q = 2 temos a equação de Carrier. (18) Seguimos neste capítulo as idéias desenvolvidas por Corrêa-Menezes [16] onde os autores mostram, também, a existência de solução para o problema (16) considerando a função M descontínua. Vários autores possuem trabalhos relacionados com os problemas (16) - (17) - (18), são eles Alves-Corrêa [3], Corrêa [15] e Chipot-Lovat [13] respectivamente. O problema (18) foi estudado por Chipot-Lovat [13] considerando q = 2. No Capítulo 4, denominado Aplicações do Método de Sub e Supersolução, encontramos a existência de solução utilizando o Método de Sub e Supersolução Via Iteração Monotônica. Consideramos, primeiramente, a seguinte classe de problemas não-locais M( u 2 ) u = f(x, u) em, u > em, u = em, (19)

em que R N, (N 1) é um domínio limitado e suave, f : R + R + é uma função de classe C 1 satisfazendo f(x, t) lim t + t 12 > λ 1 (2) e e a função M satisfaz f(x, t) lim t + t < λ 1, (21) (m ) M : R + R + é contínua e existe m > tal que M(t) m >, para todo t, (m 1 ) M é não-crescente em [, + ). O problema (19) foi estudado seguindo as idéias desenvolvidas em Corrêa [15] que por sua vez segue as idéias de Alves-Corrêa [3]. Em seguida, estudamos a seguinte classe de sistemas com termos não-locais u = f 1 (x, u) v p 1 α 1, x, v = f 2 (x, v) u p 2 α 2, x, u >, v >, x, u = v =, x, (22) onde R N, (N 1), é um domínio limitado e suave, p i >, 1 α i e f i, i = 1, 2 são positivas, não-decrescentes e Lipschitz contínua respectivamente em u, v H 1 (). O sistema (22) segue o trabalho de Chen-Gao [11] onde os autores estudam a versão estacionária do problema considerado em Deng, Li e Xie [28]. Por m, a classe de problemas elípticos não-locais, ( ) a udx u = λf(u) em, u = em. (23) em que a : R R é uma função contínua satisfazendo Existem números positivos a a tais que a a(t) a, t R, (24)

13 λ > é um parâmetro, e existe θ > tal que f : [, θ] R é uma função de classe C 1 satisfazendo f() = f(θ) =, (25) f () >, (26) f(t) >, para todos t (, θ). (27) [12]. Designaremos por λ 1 o primeiro autovalor de (, H()), 1 o qual satisfaz v 2 dx λ 1 = inf. (28) v H 1() v 2 dx O problema (22) é um caso particular do problema abordado pelos autores em No Apêndice A vamos mostrar um resultado da Análise Funcional, que será de grande ajuda no estudo dos problemas não-locais abordados nos capítulos 1 e 2. No Apêndice B vamos mostrar que o operador T, que surge, também, nos capítulos 1 e 2, é um operador compacto. Por m, no Apêndice C estaremos enunciando os principais resultados utilizados durante o desenvolvimento deste trabalho.

Capítulo 1 Problemas Não-Locais Via Minimização Este capítulo tem como objetivo apresentar alguns resultados básicos de minimização, tal como demonstrar algumas versões do Teorema de Deformação, e utilizá-los para obter soluções fracas para uma classe de Problemas Elípticos Não-Locais. 1.1 Resultados Básicos de Minimização Nesta seção, apresentaremos o conceito de função semicontinua inferiormente e demonstraremos um teorema que será de grande importância na obtenção de existência de solução para o problema de Kirchho M-Linear, M( u 2 ) u = f(x) em, u = em, onde f L 2 () e M : R + R, é uma função dada. Comecemos com a denição de função semicontínua inferiormente. Denição 1.1 Seja X um espaço topológico. Diz-se que uma função φ : X R é semicontínua inferiormente (s.c.i.) se φ 1 ((a, + )) é aberto em X, qualquer que seja a R. (Se X for um espaço métrico, então φ : X R é s.c.i. se, e somente se, φ(u) lim inf φ(u n ) para qualquer u X e (u n ) X tal que u n u).

Teorema 1.1 Seja X um espaço topológico compacto e seja φ : X R um funcional s.c.i.. Então φ é limitado inferiormente e existe u X tal que φ(u ) = inf u X φ(u). Demonstração: Inicialmente, observemos que se pode escrever R = + ( n, + ). Sendo φ s.c.i. e X um espaço topológico, tem-se X = + n=1 φ 1 (( n, + )) onde φ 1 (( n, + )) é aberto em X. Como X é compacto, segue-se que existe n N tal que X = n n=1 φ 1 (( n, + )). Logo, φ(u) > n u X, de sorte que φ é limitado inferiormente. Seja c = inf φ(u) > u X e suponha, por contradição, que φ(u) > c para todo u X, ou seja, u X, n N tal que φ(u) > c + 1 n. Assim, X = + n=1 Como X é compacto, existe n 1 N tal que X = n 1 n=1 φ 1 ((c + 1 n, + )). φ 1 ((c + 1 n, + )), n=1 15 isto é, φ(u) > c + 1 n 1 u X. Sendo c = inf u X φ(u) tem-se que c c + 1 n 1, o que é um absurdo. Portanto, o ínmo c é atingido, ou seja, existe u X tal que φ(u ) = inf u X φ(u).

Denição 1.2 Seja X um espaço topológico. Diz-se que φ : X R é fracamente semicontínua inferiormente (fracamente s.c.i.) se, φ for s.c.i. considerando X com sua topologia fraca. Teorema 1.2 Seja X um espaço de Hilbert e suponha que o funcional φ : X R seja: (i) fracamente s.c.i., (ii) coercivo, isto é, φ(u) + quando u +. Então φ é limitado inferiormente e existe u X tal que φ(u ) = inf u X φ(u). Demonstração: Sendo φ coercivo, escolhemos R > tal que φ(u) φ(), u X com u > R. Sendo X um espaço de Hilbert, tem-se que X é uniformemente convexo, o que implica pelo Teorema de Milman-Pettis [7], que X é um espaço reexivo. Usando o Teorema de Kakutani [7], obtemos que B R () é fracamente compacta. Ora, sendo φ fracamente s.c.i. e B R () fracamente compacta, tem-se que φ restrito a B R () X é fracamente s.c.i.. Pelo Teorema 1.1, φ é limitado inferiormente e existe u B R () tal que φ(u ) = inf φ(u). u B R () Como B R () seque-se que φ(u ) φ(), o que implica φ(u ) φ(u) u X com u > R. Assim, φ(u ) φ(u), u X. Ou seja, φ é limitado inferiormente em X e φ(u ) = inf u X φ(u). 16 Exemplo 1 Seja R N (N 1) um domínio limitado e seja F : R R uma função satisfazendo as chamadas condições de Carathéodory (Ver Apêndice C). Sob uma condição de crescimento adequada, a saber { σ < 2N/(N 2) se N 3, Existem a, b > e σ < + se N = 1, 2,

17 tais que, F (x, s) a s σ + b, x e s R, (1.1) então o funcional Ψ(u) = F (x, u)dx está bem denido e é fracamente contínuo no espaço de Sobolev H 1 (). Primeiramente vamos vericar que o funcional Ψ está bem denido. De fato, para u H 1 (), tem-se Ψ(u) = F (x, u)dx F (x, u) dx (a u σ + b)dx. Logo, sendo um domínio limitado e pela imersão compacta de Sobolev H 1 () L σ (), σ < 2N N 2, N 3 obtemos Ψ(u) a u σ σ + b < + mostrando que Ψ está bem denido. tais que tem-se, Consideraremos N 3. Os casos N = 1, 2 seguem-se de maneira análoga. Agora, mostremos que Ψ é fracamente contínua. Com efeito, pela imersão compacta de Sobolev, dados (u n ) H 1 () e u H 1 () Assim, seja p σ p σ u n u em H 1 () u n u em L p (), 1 p < 2N N 2, N 3. 1. Com isso, temos a imersão contínua L p/σ () L 1 (). Pela continuidade do operador de Nemytskii [19], seque-se F (., u n (.)) F (., u(.)) em L p/σ () F (., u n (.)) F (., u(.)) em L 1 ().

18 Com isso, e daí Ψ(u n ) Ψ(u) F (x, u n (x)) F (x, u(x)) dx Ψ(u n ) Ψ(u) F (., u n (.)) F (., u(.)) 1 quando n + logo, Ψ(u n ) Ψ(u) em R. Portanto, Ψ é fracamente contínuo. 1.2 O Problema de Kirchho M-linear Nesta seção, vamos mostrar a existência de solução fraca para o problema de Kirchho M-linear M( u 2 ) u = f(x) em, u = em, (1.2) onde M : R + R é uma função contínua satisfazendo em que m, M R são constantes e f L 2 (). [14]. onde, < m M(s) M s R (1.3) Nesta seção, seguiremos as idéias desenvolvidas por Chipot, Valente e Caarelli Consideremos o funcional energia E : H() 1 R denido por E(u) = 1 ( ) 2 M u 2 dx Ψ(u) u H() 1 (1.4) M(s) = s M(ξ)dξ e Ψ(u) = f(x)udx. Proposição 1.1 Seja E : H 1 () R denido por (1.4). Então E está bem denido e, além disso, E C 1 (H(), 1 R) com E (u).v = M( u 2 ) u vdx f(x)vdx u, v H 1 (). (1.5)

19 Demonstração: Observemos, inicialmente, que os termos que compõem o funcional E estão todos bem denidos e o funcional Ψ é linear, contínuo e diferenciável a Fréchet com Ψ (u)v = f(x)vdx u, v H(). 1 Com isso, basta mostrarmos que o funcional ϕ : H 1 () R denido por ϕ(u) = 1 2 M(l(u)), onde l(u) = u 2 para todo u H 1 (), é de classe C 1 (H 1 (), R). Mas isso ocorre, pois a composta de funções diferenciáveis é diferenciável. Logo, sendo l e M diferenciáveis com e l (u)v = 2 u, v = 2 u vdx u H 1 () M (s) = M(s) s R, obtemos, ϕ (u)v = M( u 2 ) u vdx u H(). 1 (1.6) Portanto, o funcional E está bem denido e é de classe C 1 (H 1 (), R) com derivada dada por (1.5). Uma função u H() 1 é solução fraca de (1.2) se satiszer, M( u 2 ) u vdx f(x)vdx = u H(). 1 Portanto, u H 1 () é solução de (1.2) se, e somente se, u é um ponto crítico de E. Teorema 1.3 O funcional E denido em (1.4) possui um mínimo global em H 1 (). Demonstração: Inicialmente, mostraremos que o funcional E é coercivo. De fato, de (1.3) tem-se M(s) = ou seja, s M(ξ)dξ s m dξ = m s s R, M( u 2 ) m u 2 u H 1 ().

Além disso, das desigualdades de Hölder e de Poincaré obtemos f(x)udx f(x)udx f(x) u dx f 2 u 2 c f 2 u e, portanto, E(u) = 1 ( ) 2 M u 2 dx Logo, f(x)udx 1 2 m u 2 c f 2 u ( ) 1 E(u) u 2 m u c f 2 + quando u +, mostrando que E é coercivo e, consequentemente, limitado inferiormente. Mostraremos que E é fracamente s.c.i.. u H 1 (), u H 1 (). Sejam (u n ) H 1 () e u H 1 () tais que u n u em H 1 (). Da semicontinuidade inferior da norma, deduzimos que, Assim, e obtemos, 2 lim inf u n 2 u 2. (1.7) n + ( ) 1 lim inf E(u n) = lim inf n + n + 2 M( u n 2 ) f(x)u n dx. Como as funções acima são integrais limitadas e contínuas tem-se lim inf E(u n) = n + lim inf E(u n) = n + Daí, segue-se lim inf E(u n) = n + lim n + ( 1 2 ( 1 un ) 2 M(ξ)dξ f(x)u n dx, 2 lim n + un 2 ) M(ξ)dξ lim f(x)u n dx. n + ( 1 lim inf ) n + un 2 M(ξ)dξ lim f(x)u n dx. 2 n + Logo, pelo Teorema de Lebesque [18] e pela desigualdade dada por (1.7), tem-se ( lim inf E(u 1 u 2 ) n) M(ξ)dξ f(x)udx, n + 2 ou seja, lim inf E(u n) E(u) n +

21 mostrando que o funcional E é fracamente s.c.i. em H 1 (). Portanto, pelo Teorema 1.2, existe u H 1 () tal que E(u ) = inf E(u). u H 1() Observação 1.1 Quando trabalhamos com o problema local { u = f(x) em, u = em, (1.8) o funcional energia associado J : H() 1 R é dado por J(u) = 1 u 2 dx f(x)udx u H 1 2 (), f L 2 (), o qual possui um único mínimo global. No entanto, como veremos mais adiante, o funcional E pode ter vários mínimos. Teorema 1.4 O conjunto das soluções fracas de (1.2) está em correspondência biunívoca com o conjunto das soluções de [M(µ)] 2.µ = ϕ 2 (1.9) em que ϕ é a única solução fraca de { ϕ = f(x) em, ϕ = em. (1.1) Demonstração: Seja u H() 1 uma solução fraca de (1.2), ou seja, M( u 2 ) u vdx f(x)vdx = v H(), 1 a qual pode ser reescrita como (M( u 2 )u) vdx f(x)vdx = v H(). 1 Agora, seja ϕ H() 1 a única solução fraca de (1.1), então ϕ vdx f(x)vdx = v H(). 1 Por unicidade de solução fraca de (1.1) tem-se M( u 2 )u = ϕ M( u 2 ) u = ϕ [M( u 2 )] 2 u 2 = ϕ 2

22 e daí, u 2 é solução de (1.9). Reciprocamente, seja µ uma solução de (1.9) e designemos por u µ a solução do problema M(µ) u µ = f(x) em, u µ = em, que existe e é única pois, M(µ). Novamente, por unicidade de solução fraca de (1.1), tem-se M(µ)u µ = ϕ M(µ) u µ = ϕ [M(µ)] 2 u µ 2 = ϕ 2 = [M(µ)] 2 µ. Logo, u µ 2 = µ é solução de (1.2). Consequentemente, M( u µ 2 ) u µ = f(x) em u µ = em. o que conclui a demonstração. Observação 1.2 Pelo Teorema 1.4 as soluções fracas de (1.2) (pontos estacionários de E) são determinados pelas soluções da equação ϕ M(µ) = 2 µ = ϕ (1.11) µ de modo que podemos escolher M tal que (1.11) possa ter uma ou mais soluções. Exemplo 2 Considerando M(t) = e µ para µ, o problema (1.2) possui o mesmo número de soluções da equação e µ µ = ϕ. Observemos que satisfaz g(µ) = e µ µ g() = e lim g(µ) =. µ + Notando que g (µ) = e µ. µ + 1 2 e µ.µ 1/2 e que g (µ) = se, e somente se µ = 1 2, segue-se que g atinge seu ponto de máximo em µ = 1 2 e g(1/2) = 1 e 1/2. 2. Portanto,

(i) se ϕ > (ii) se ϕ = (iii) ϕ < 1 e 1/2. 2 1 e 1/2. 2 1 e 1/2. 2, o problema (1.2) não possui solução;, o problema (1.2) possui somente uma solução;, o problema (1.2) possui exatamente duas soluções. Como podemos observar, a presença do termo M( u 2 ) produz grandes diferenças entre o problema não-local (1.2) e o problema local (1.8). Observação 1.3 Se M : R + (, + ) for contínua, 23 for crescente e segue-se, em vista de t M(t)t 1 2 lim t + M(t)t 1 2 = +, lim t + M(t)t 1 2 = e do Teorema do Valor Intermediário, que o problema (1.2) possui uma única solução. Teorema 1.5 (Comparação de Energias) Sejam u 1 e u 2 duas soluções de (1.2) correspondentes às soluções µ 1 e µ 2 da equação (1.9). Suponhamos que (respectivamente, M(µ) < ϕ µ, M(µ) = ϕ µ ). M(µ) > ϕ µ µ (µ 1, µ 2 ) (1.12) Então, E(u 2 ) > E(u 1 ) (respectivamente, E(u 2 ) < E(u 1 ), E(u 2 ) = E(u 1 )). Demonstração: Seja u j a solução única de M( µ j 2 ) u j = f(x) em, isto é, u j 2 = µ j e u j = ϕ, j = 1, 2. M(µ j ) Assim, E(u j ) = 1 2 M( u j 2 ) f(x)u j dx = 1 2 E(u j ) = 1 2 µj u j = em, uj 2 M(ξ)dξ M(ξ)dξ ϕ f(x) M(µ j ) dx. ϕ f(x) M(µ j ) dx

24 e Sendo ϕ a solução única de (1.1), tem-se ϕ 2 = f(x)ϕdx. Logo, Daí, E(u j ) = 1 2 E(u 1 ) = 1 2 E(u 2 ) = 1 2 µj µ1 µ2 Subtraindo E(u 1 ) de E(u 2 ) obtemos, M(ξ)dξ ϕ 2 M(µ j ). M(ξ)dξ ϕ 2 M(µ 1 ), M(ξ)dξ ϕ 2 M(µ 2 ). E(u 2 ) E(u 1 ) = 1 2 µ2 E(u 2 ) E(u 1 ) = 1 2 M(ξ)dξ ϕ 2 M(µ 2 ) 1 2 µ2 µ1 M(ξ)dξ + ϕ 2 M(µ 1 ), µ 1 M(ξ)dξ + ϕ 2 M(µ 1 ) ϕ 2 M(µ 2 ). Como u 1 e u 2 são soluções correspondentes a µ 1 e µ 2, respectivamente, tem-se ( ) [M(µ 1 )] 2 µ 1 = ϕ 2 = [M(µ 2 )] 2 µ 2. Daí, µ2 E(u 2 ) E(u 1 ) = 1 M(ξ)dξ + M(µ 1 )µ 1 M(µ 2 )µ 2. 2 µ 1 Consideremos, inicialmente, o caso em que M(µ) > ϕ µ µ (µ 1, µ 2 ). Assim, e daí, E(u 2 ) E(u 1 ) > 1 2 µ2 ϕ dξ + M(µ 1 )µ 1 M(µ 2 )µ 2. µ 1 ξ E(u 2 ) E(u 1 ) > ϕ µ 2 ϕ µ 1 + M(µ 1 )µ 1 M(µ 2 )µ 2. Observe que, por ( ) tem-se M(µ 1 )µ 1 = ϕ µ 1 e M(µ 2 )µ 2 = ϕ µ 2. Logo, E(u 2 ) E(u 1 ) > M(µ 2 )µ 2 M(µ 1 )µ 1 + M(µ 1 )µ 1 M(µ 2 )µ 2 =. Portanto, E(u 2 ) > E(u 1 ). Os outros casos são feitos de maneira análoga.

Observação 1.4 Note que o funcional E(u) não é convexo e, pelo Teorema 1.4, pode possuir mais de um mínimo global. Aplicação 1.1 A seguir, faremos uma aplicação usando argumentos semelhantes àqueles utilizados no estudo do problema M-Linear. Estudaremos o problema M( u 2 ) u = u α em, u > em, u = em, 25 (1.13) onde 1 < α < N + 2 se N 3 e 1 < α < + se N = 1, 2. N 2 comparação com o problema semilinear, w = w α em, w > em, w = em, Isto será feito por (1.14) o qual, como é bem conhecido, para os valores de α descritos acima, possui solução positiva. Mostra-se então, que: Teorema 1.6 Suponhamos que a função M satisfaça a condição (1.3). Então o problema (1.13) possui pelo menos o mesmo número de soluções da equação M(t) = w 1 α t α 1 2 (com relação a t > ), (1.15) onde w é solução positiva do problema (1.14). Além disso, se lim t M(t) t α 1 2 =, (1.16) então, o problema (1.13) possui pelo menos uma solução positiva. Demonstração: Seja t > uma solução da equação (1.15). Escrevendo γ = t 1 2 w 1, vê-se que logo, γw 2 t 1 2 = w w 2 = (t 1 2 ) 2 w w = t M( γw 2 ) = M(t) = w 1 α t α 1 2 = (t 1 2 w 1 ) α 1

26 ou seja, M( γw 2 ) = M(t) = γ α 1. Portanto, u = γw > é uma solução de (1.13) pois M( u 2 ) u = M( γw 2 ) (γw) = γ α 1 γ( w) Agora, observe que, de (1.3), tem-se M( u 2 ) u = γ α w α = u α. M(t) lim t + t α 1 2 = +. Em virtude da continuidade de M, a equação (1.15) possui uma solução, qualquer que seja a solução w de (1.14). Então, o problema (1.13) possui uma solução, o que conclui a demonstração do teorema. 1.3 Teorema da Deformação e um Princípio de Mínimo Nesta seção demonstraremos duas versões do Teorema de Deformação (ver Costa [17]) que serão fundamentais na demonstração de um princípio de mínimo importante. No que segue, designamos por X um espaço de Banach, φ : X R um funcional de classe C 1 (X, R) e por φ c o conjunto de todos os níveis menores ou iguais a c, isto é, φ c = {u X; φ(u) c}. Denição 1.3 Sejam U X e φ C 1 (U, R). O vetor v X é dito vetor pseudogradiente (p.g.) para φ em u U se (i) v 2 φ (u) (ii) φ (u), v φ (u) 2. Denição 1.4 Um campo pseudo-gradiente para φ C 1 (X, R) é uma aplicação localmente Lipschitziana V : Y X, onde Y = {u X; φ (u) }, satisfazendo as condições

27 (i) V (u) 2 φ (u) (ii) φ (u), V (u) φ (u) 2 para todo u Y. Observação 1.5 Combinação convexa de vetores p.g. para φ em u é também um vetor p.g. para φ em u. Com efeito, sejam (v j ) j J uma família de vetores p.g. para φ em u e (α j ) j J uma partição de unidade em X. Consideremos w = α j v j. j J Note que, v j 2 φ (u) e φ (u), v j φ (u) 2, j J. Daí, w = α j v j α j v j = α j v j j J j J j J w j J α j (2 φ (u) ) = 2 φ (u) j J α j assim, e w 2 φ (u) φ (u), w = φ (u), α j v j = α j ( φ (u), v j ) (α j φ (u) 2 ). j J j J j J Logo, φ (u), w j J (α j φ (u) 2 ) = φ (u) 2 j J α j = φ (u) 2. Portanto, w é um vetor p.g. para φ em u. Lema 1.1 Todo φ C 1 (X, R) possui um campo pseudo-gradiente.

28 Demonstração: Seja ũ Y, logo φ (ũ). w = 1 e Então, existe w = w(ũ) X com ( ) φ (ũ), w > 2 3 φ (ũ). Com efeito, desde que φ (ũ) é um funcional linear contínuo, tem-se φ (ũ) = sup φ (ũ), w. (1.17) w =1 Daí, como φ (ũ) > 2 3 φ (ũ), por (1.17) temos que, existe (w n ) X com w n = 1 tal que φ (ũ), w n φ (ũ) quando n +. Assim, existe w = w n para n sucientemente grande tal que φ (ũ), w > 2 3 φ (ũ). Agora dena a seguinte função, v : Y X ũ v(ũ) = 3 2 φ (ũ) w. Assim, v(ũ) = 3 2 φ (ũ) < 2 φ (ũ) e de onde tem-se φ (ũ), v(ũ) = φ (ũ), 3 2 φ (ũ) w, φ (ũ), v(ũ) = 3 2 φ (ũ) φ (ũ), w. Agora, por ( ) obtemos φ (ũ), v(ũ) > 3 2 2 3 φ (ũ) φ (ũ) e, consequentemente, φ (ũ), v(ũ) > φ (ũ) 2.

29 Desde que φ é contínua, existe uma vizinhança aberta de ũ em Y que iremos denotar por Vũ tal que para cada u Vũ tem-se: v(ũ) < 2 φ (u) (1.18) e φ (u), v(ũ) > φ (u) 2. (1.19) Note que a família {Vũ; ũ Y } é uma cobertura em Y. Além disso, Y X é metrizável, portanto paracompacto, logo existe um renamento localmente nito {Vũj } j J. Desta forma, existe uma partição de unidade contínua e localmente lipschitziana {φ j } j J subordinada a {Vũj } j J tal que φ j 1 e φ j = 1 em Y. j J Considere V (u) = φ j (u)v j tal que v j = v(ũ j ), u Y. j J Fixado u Y, existe I J nito tal que V (z) = j I φ j (z)v j z B δ (u), mostrando que V é localmente lipschitziana, pois V é soma nita de funções localmente lipschitziana φ j (z)v j em B δ (u). Para xar a idéia, vamos supor I = {1, 2,..., n } tal que n = n (u) e δ = δ(u), portanto, n V (z) = φ j (z)v j z B δ (u). j=1 Em particular, n V (u) = φ j (u)v j j=1 e daí n V (u) φ j (u) v j. j=1 Usando (1.18), obtém-se n V (u) 2φ j (u) φ (u) j=1

3 isto é, n V (u) 2 φ (u) φ j (u), j=1 V (u) 2 φ (u). Além disso, n φ (u), V (u) = φ (u), φ j (u)v j logo, n φ (u), V (u) = φ j (u) φ (u), v j de onde obtém-se, por (1.19), n φ (u), V (u) φ j (u) φ (u) 2, j=1 j=1 j=1 ou seja, Assim, n φ (u), V (u) φ (u) 2 φ j (u). j=1 φ (u), V (u) φ (u) 2, mostrando que existe um campo pseudo-gradiente para φ. Observação 1.6 Quando X é um espaço de Hilbert e φ C 1 (X, R) tem uma derivada localmente lipschitziana φ : X X, então o gradiente de φ (quando restrito a Y ), φ : Y X é claramente um campo pseudo-gradiente para φ. Com efeito, como para todo u X, φ(u) satisfaz φ (u), h = φ(u), h h X obtemos, φ(u) = φ (u) 2 φ (u) e φ (u), φ(u) = φ(u), φ(u) = φ(u) 2 = φ (u) 2, u X. Logo, φ(u) : Y X é um campo pseudo-gradiente para φ em Y.

31 Denição 1.5 Seja S X e δ >, designamos por S δ a vizinhança fechada de S denida por S δ = {u X; d(u, S) δ}. O seguinte resultado é uma versão quantitativa do Teorema de Deformação sem uma condição de compacidade sobre φ. Teorema 1.7 Seja φ : X R um funcional de classe C 1 (X, R). Suponhamos que S X, c R e ɛ, δ > são tais que φ (u) 4ɛ δ para todo u φ 1 ([c 2ɛ, c + 2ɛ]) S 2δ. (1.2) Então existe η C([, 1] X, X) tal que, para todo u X e t [, 1], tem-se: (i) η(, u) = u, (ii) η(t, u) = u se u / φ 1 ([c 2ɛ, c + 2ɛ]) S 2δ, (iii) η(1, φ c+ɛ S) φ c ɛ S δ, (iv) η(t,.) : X X é um homeomorsmo. Demonstração: Denamos A = φ 1 ([c 2ɛ, c + 2ɛ]) S 2δ, e de sorte que B A Y. B = φ 1 ([c ɛ, c + ɛ]) S δ Y = {u X; φ (u) }, Além disso, considere V : Y X um campo pseudo-gradiente para φ e denamos uma função localmente lipschitziana p : X R da seguinte forma p(u) = dist(u, A c ) dist(u, A c ) + dist(u, B). Observe que, p 1 e 1 se u B, p(u) = se u X \ A.

32 Agora, considere a seguinte aplicação localmente lipschitziana Note que, f : X X u f(u) = p(u) V (u) V (u). f(u) = V (u) p(u) V (u) = p(u) 1, u X. Segue que o problema de Cauchy w (t) = f(w), w() = u, tem solução única (Ver dos Santos [27]) a qual denotaremos por w(t, u), sendo denida para todo t. Seja η : [, 1] X X denida por η(t, u) = w(δt, u). Então, (i) η(, u) = w(, u) = u; (ii) η(t, u) = w(δt, u) = u, se u / A = φ 1 ([c 2ɛ, c + 2ɛ]) S 2δ ; De fato, considere u / A e seja w 1 (t, u) = u t R. Note que o que implica w 1(t, u) = = f(w 1 (t, u)) w 1(t) w 1 () = u. = f(w 1 (t)), Assim, pelo teorema de existência e unicidade, tem-se w 1 (t, u) = w(t, u) = u t R. Daí, w(δt, u) = u t R, logo, η(t, u) = w(δt, u) = u t [, 1]. (iii) η(1, φ c+ɛ S) φ c ɛ S δ ; De fato, note que, para t, temos: w(t, u) u = w(t, u) w(, u) = t t w (τ, u)dτ = f(w(τ, u))dτ

33 logo, w(t, u) u t f(w(τ, u)) dτ t w(t, u) u t δ t [, δ], dτ = t, portanto, se u S tem-se isto é, de onde concluímos dist(w(t, u), S) δ, w(t, u) S δ u S, w(t, S) S δ t [, δ] η(t, S) S δ t [, 1]. (1.21) Por outro lado, para cada u X xado, a função é decrescente pois, φ : [, 1] R t φ(w(t, u)) d dt φ(w(t, u)) = φ (w(t, u))w (t, u) = φ (w(t, u))f(w(t, u)), e usando a denição da função f, ( ) d dt φ(w(t, u)) = V (w(t, u)) φ (w(t, u)) p(w(t, u)), V (w(t, u)) ( ) d φ(w(t, u)) = p(w(t, u)) φ V (w(t, u)) (w(t, u)) dt V (w(t, u)) logo, pela Denição 1.4 tem-se portanto, d φ(w(t, u)) dt ( p(w(t, u)) φ (w(t, u)) 2 d φ(w(t, u)), dt V (w(t, u)) ), (1.22)

34 mostrando que φ(w(t, u)) é decrescente. Com isso, seja u φ c+ɛ S e vamos mostrar as seguintes armações: (a) Se φ(w( t, u)) < c ɛ para algum t [, δ) então, φ(η(1, u)) = φ(w(δ, u)) φ(w( t, u)) < c ɛ, de onde podemos concluir que, Portanto, disto e de (1.21) obtemos, η(1, u) φ c ɛ. η(1, u) φ c ɛ S δ. (b) Neste caso, supondo w(t, u) B = φ 1 ([c ɛ, c + ɛ]) S δ t [, δ] de sorte que, usando (1.22), a Denição 1.4 e o fato que p 1 em B, obtém-se δ d δ ) φ(w(δ, u)) φ(w(, u)) = φ(w(t, u))dt ( p(w(t, u)) φ (w(t, u)) 2 dt dt V (w(t, u)) φ(w(δ, u)) φ(u) δ onde usamos (1.2) na última desigualdade. 1 2 φ (w(t, u)) dt c + ɛ 1 4ɛ 2 δ δ = c ɛ, Portanto, em qualquer dos casos (a) ou (b), mostramos que η(1, u) = w(δ, u) φ c ɛ S δ se u φ c+ɛ S. Por último mostremos (iv), isto é, η(t,.) : X X é um homeomorsmo. Para isto, denamos as seguintes funções g : X X u g(u) = η(t, u) = w(δt, u), e h : X X u h(u) = w( δt, u). Observe o seguinte, (g h)(u) = g(h(u)) = w(δt, h(u)) = w(δt, w( δt, u))

35 usando propriedade de uxo (Ver dos Santos [27]), obtemos, (g h)(u) = w(δt δt, u) = w(, u) = u. Com um raciocínio análogo encontramos, (h g)(u) = w(, u) = u de onde segue que η é inversível. Além disso, η(t,.) = w(δt,.) é contínua pela dependência contínua com relação aos dados iniciais para w(δt,.). Desde que w( δt,.) também é contínua, η(t,.) : X X é um homeomorsmo. Denição 1.6 Um funcional φ : X R de classe C 1 (X; R), é dito vericar a condição de Palais-Smale, denotada por (P S), se toda sequência (u n ) X tal que, φ(u n ) é limitada e φ (u n ), possui uma subsequência que converge forte em X. Como consequência do Teorema 1.7, obtemos a seguinte versão do Teorema da Deformação. Teorema 1.8 Suponha que φ C 1 (X, R) satisfaz a condição de Palais-Smale {(P S)}. Se c R não for um valor crítico de φ então, para todo ɛ > sucientemente pequeno, existe η C([, 1] X, X) tal que (para qualquer u X e t [, 1]): (i) η(, u) = u, (ii) η(t, u) = u se u / φ 1 ([c 2ɛ, c + 2ɛ]), (iii) η(1, φ c+ɛ ) φ c ɛ, (iv) η(t,.) : X X é um homeomorsmo. Demonstração: Como c R não é um valor crítico para φ, devem existir constantes α, β > tais que u φ 1 ([c 2α, c + 2α]) φ (u) β, pois do contrário, para quaisquer α, β > existirá ũ φ 1 ([c 2α, c + 2α]) com φ (ũ) < β.

36 Considerando α = 1 2n e β = 1, para cada n 1 tem-se n ( u n X com u n φ 1 [c 1 n, c + 1 ) n ] e φ (u n ) 1 n. Assim, passando ao limite quando n + obtemos φ(u n ) c e φ (u n ). Da condição Palais-Smale, existe uma subsequência (u nk ) (u n ) tal que Desde que φ C 1 (X, R) tem-se, u nk u para algum u X. φ(u nk ) φ(u) e φ (u nk ) φ (u). Portanto, pela unicidade dos limites obtemos φ(u) = c e φ (u) =. Logo, c é um valor crítico de φ, o que contradiz a hipótese. Daí, usando o Teorema 1.7 com S = X, ɛ (, α] xado e δ = 4ɛ β concluímos a demonstração do teorema. Torna-se claro na demonstração acima que o Teorema 1.8 é válido sob uma condição mais fraca de compacidade, a saber, a condição {(P S) c } que deniremos a seguir. Denição 1.7 Seja φ : X R um funcional de classe C 1 (X; R), e c R. O funcional φ verica a condição de Palais-Smale no nível c ou (P S) c, se dada uma sequência (u n ) X tal que φ(u n ) c e φ (u n ), então c é um valor crítico de φ. Esta condição é útil em certas situações onde φ não é coercivo, como veremos no próximo resultado. Teorema 1.9 Seja X um espaço de Banach e seja φ C 1 (X, R). Se, (i) φ é limitado inferiormente com (ii) φ satisfaz (P S) c, c = inf u X φ(u),

37 então, existe u X tal que (Logo, c é um valor crítico de φ). φ(u ) = inf u X φ(u). Demonstração: Suponhamos, por contradição, que c não seja um valor crítico de φ. Então, o Teorema 1.8 implica a existência de ɛ > sucientemente pequeno e η C([, 1] X, X) tais que η(1, φ c+ɛ ) φ c ɛ, daí, φ c+ɛ φ c ɛ, o que é um absurdo pois, φ c ɛ =, já que c = inf u X φ(u). Portanto, c é um valor crítico de φ. Como na próxima seção estaremos estudando um problema de Neumann, iremos trabalhar no espaço H 1 () o qual será decomposto da seguinte maneira: Como toda função constante pertence a H 1 (), designaremos por X 1 = 1 o espaço de tais funções, o qual pode ser identicado com R. Designaremos por X o espaço das funções em H 1 () que possuem média zero em, ou seja, X = {w H 1 (); wdx = }. Para u H 1 (), seja u H 1 () dada por u := u 1 udx onde 1 udx é uma constante real. Logo, u dx = udx ( ) 1 udx = e assim, toda função u H 1 () pode ser escrita na forma u = α + u em que α é uma constante real e u possui média zero.

38 Observe que tal decomposição é única. De fato, se u = α + u = α + ũ, onde α, u, α e ũ são como antes, teremos α α = ũ u. Vamos, agora, integrar ambos os membros desta igualdade (α α) = α = α, obtendo assim, ũ = u o que mostra a unicidade da decomposição. Consequentemente, H 1 () = X X 1, isto é, a decomposição de H 1 () acima é em soma direta. em X. A seguir, demonstraremos uma Desigualdade do tipo Poincaré para as funções Lema 1.2 (Desigualdade de PoincaréWirtinger) (Ver Nascimento [26]) Existe uma constante C > tal que w 2 dx C Demonstração: Sejam ψ o funcional denido por e S a variedade ψ : X R w ψ(w) = w 2 dx, para todo w X. w 2 dx, para todo w X, S = {w X ; w 2 dx = 1}. Desde que ψ é limitado inferiormente em H 1 (), também será limitado inferiormente em S H 1 (). Logo, pelo Postulado de Dedekind existe ψ tal que ψ = inf w S ψ(w). é, Então, pela denição de ínmo, existe uma sequência minimizante (w n ) S, isto ψ(w n ) ψ = inf w S ψ(w).

Consequentemente, w n 2 dx = 1 e existe uma constante positiva C 1 tal que 39 w n 2 dx C 1, para todo n N. Com este fato, a sequência (w n ) é limitada em H 1 () e em vista disso, a sequência real ( w n 2 1,2) possui subsequência convergente. Além disso, H 1 () é um espaço reexivo, o que implica a existência de w H 1 () tal que, a menos de subsequência, w n w em H 1 (). Daí, pela imersão compacta H 1 () L 2 (), tem-se w n w em L 2 (). e Em particular, pela continuidade da integral, obtém-se = w n dx w dx Consequentemente, w S. 1 = w n 2 dx w 2 dx. Armação 1.1 ψ > Suponhamos, por contradição, que ψ =. Como o funcional l : H 1 () R w l(w) = w 2 1,2 é convexo, semicontínuo inferiormente e w n w em H 1 () segue-se ( = lim n w n 2 dx = lim n w n 2 dx + w n 2 dx ) w n 2 dx = lim n ( w n 2 1,2 w n 2 2) = lim n w n 2 1,2 lim w n 2 2 = w 2 1,2 w 2 2 = w 2 dx,

4 isto é, o que implica w 2 dx =, w (x) = C 2 q.t.p. em, onde C 2 é uma constante real. Como w S X temos w dx = C 2 dx = e concluímos que C 2 =, o que é impossível devido a w 2 dx = 1. Portanto, ψ >. Voltemos à demonstração do teorema. Desde que ψ w 2 dx, para todo w S com w 2 = 1, tomando-se w X, observando que w w 2 = 1, segue-se ( ) ψ w 2 dx = 1 w 2 dx w 2 w 2 2 o que implica em w 2 2 1 w 2 dx, para todo w X ψ mostrando a Desigualdade de Poincaré-Wirtinger. 1.4 Um Problema Não-Local com Condição de Neumann Nesta seção iremos estudar uma aplicação da seção precedente. Vamos considerar o seguinte problema de Neumann não-linear M( u 2 2) u = f(u) + ρ(x) em, u η = em, (1.23)

41 onde R N (N 1) é um domínio limitado com fronteira suave, f : R R é uma função contínua p-periódica, M : R + R é uma função contínua e ρ L 2 () as quais satisfazem e p f(s)ds =, ρ(x)dx = (1.24) < µ M(s) M < + em que µ, M R. (1.25) A versão local, isto é, M(t) 1, foi estudada em Costa [17]. Além disso, seguiremos as idéias desenvolvidas por ele adaptando o estudo a função M. Estaremos interessados em encontrar soluções fracas de (1.23), isto é, funções u H 1 () tais que M( u 2 2) u vdx = f(u)vdx + ρ(x)vdx v H 1 (). (1.26) por onde Associado ao problema (1.23) temos o funcional energia E : H 1 () R, dado E(u) = 1 ( ) 2 M u 2 dx M(t) = t F (u)dx M(τ)dτ e F (s) = ρ(x)udx u H 1 () (1.27) s f(τ)dτ. (1.28) Proposição 1.2 O funcional E : H 1 () R denido por (1.27) está bem denido. Além disso, E é limitado inferiormente e é de classe C 1 (H 1 (), R) com ( ) E (u)v = M u 2 dx u vdx (f(u)+ρ(x))vdx u, v H 1 (). (1.29) Demonstração: Uma vez que, neste caso as funções M e f : R R são contínuas e f é periódica satisfazendo (1.24), segue-se que F é periódica, portanto F (s) A e E está claramente bem denida em H 1 (). Agora vamos mostrar que o funcional E é limitado inferiormente. Para isto vamos decompor em soma direta o espaço H 1 () como H 1 () = X X 1, onde X 1 e X são como denidos anteriormente.

42 Então, escrevendo em (1.27) u = v + w com v X e w X 1 obtemos, E(u) = E(v + w) = 1 2 M( (v + w) 2 2) F (v + w)dx ρ(x)(v + w)dx. Note que, w = e ρ(x)wdx = w ρ(x)dx =, daí, da limitação da F e de (1.25) temos, E(u) 1 2 µ v 2 2 A ρ(x)vdx, das desigualdades de Hölder e Poincaré-Wirtinger, E(u) 1 2 µ v 2 2 A c ρ 2 v 2 logo, E(u) v 2 ( 1 2 µ v 2 c ρ 2 ) A u H 1 (). Portanto, E é limitado inferiormente. Mostremos que E C 1 (H 1 (), R). Observe que os funcionais ϕ(u) = 1 2 M( u 2 2) e q(u) = ρ(x)udx são diferenciáveis a Fréchet e ϕ, q C 1 (H 1 (), R) com ϕ (u)v = M( u 2 2) u vdx u, v H 1 (), e q (u)v = ρ(x)vdx u, v H 1 (). Assim, basta mostrarmos que ψ(u) = F (u)dx onde F (s) = s f(τ)dτ é de classe C 1 (H 1 (), R) com, ψ (u)v = f(u)vdx u, v H 1 (). (1.3) Fixemos u H 1 (), e denamos g(v) = ψ(u + v) ψ(u) f(u)vdx.

43 e daí, Daí, pela denição da ψ, g(v) = (F (u + v) F (u))dx f(u)vdx. Observe que, pelo Teorema Fundamental do Cálculo, tem-se Então, 1 g(v) = d F (u + tv)dt = F (u + v) F (u). dt [ 1 ] d F (u + tv)dt dx f(u)vdx. dt Usando a Regra da Cadeia [ 1 ] g(v) = (f(u + tv)v)dt dx f(u)vdx, Logo, g(v) = [ 1 g(v) = ] [ 1 ] (f(u + tv)v)dt dx (f(u)v)dt dx. [ 1 ] (f(u + tv)v f(u)v)dt dx. Usando, o Teorema de Fubini obtemos, 1 [ ] g(v) = (f(u + tv)v f(u)v)dx dt, g(v) 1 [ ] f(u + tv) f(u) v dx dt. Como f é limitada temos que f L 2 (). Logo, podemos usar a desigualdade de Hölder, obtendo g(v) 1 f(u + tv) f(u) 2 v 2 dt. Pela imersão contínua de Sobolev H 1 () L 2 (), se v em H 1 () v em L 2 () u + tv u em L 2 (), t [, 1]. Sendo f contínua, tem-se f(u + tv) f(u) em L 2 (), t [, 1].

44 Assim, g(v) c g(v) v 1,2 v 2 c ( g(v) lim lim c v v 1,2 v 1 1 f(u + tv) f(u) 2 dt, ) f(u + tv) f(u) 2 dt, pelo Teorema da Convergência Dominada de Lesbegue, g(v) 1 ( ) lim c lim v v f(u + tv) f(u) 2 dt =. 1,2 v Logo, g(v) lim =. v v 1,2 Portanto, ψ é diferenciável a Fréchet, com derivada dada por (1.3). Vamos vericar que, ψ C 1 (H 1 (), R). Sejam (u n ) H 1 () e u H 1 () tais que, Daí, Então como, u n u em H 1 (). ψ (u n ) ψ (u) H 1 = sup (ψ (u n ) ψ (u))v = v 1,2 1 sup (f(u n ) f(u))vdx v 1,2 1 sup v 1,2 1 f(u n ) f(u) v dx sup f(u n ) f(u) 2 v 2 v 1,2 1 sup (c f(u n ) f(u) 2 v 1,2 ) v 1,2 1 c f(u n ) f(u) 2 n 1. u n u em H 1 () tem-se u n u em L 2 (). Pela continuidade da função f obtemos, f(u n ) f(u) em L 2 (). Logo, ψ (u n ) ψ (u) em H 1 (). Portanto, ψ C 1 (H 1 (), R).

45 Teorema 1.1 Suponhamos que (1.24) e (1.25) sejam válidos, onde f C(R, R) é p- periódica e ρ L 2 (). Então, o problema (1.23) possui uma solução fraca u H 1 (). Demonstração: Em vista da Proposição 1.2, encontraremos um ponto crítico do funcional E C 1 (H 1 (), R) dado por (1.27). Sendo F p-periódica e ρ(x)dx =, segue-se E(u + p) = 1 2 M( (u + p) 2 2) F (u + p)dx ρ(x)(u + p)dx e daí, E(u + p) = 1 2 M( (u) 2 2) F (u)dx ρ(x)udx = E(u). Portanto, E(u + p) = E(u) u H 1 (). Armação 1.2 E satisfaz (P S) c para todo c R. De fato, seja (u n ) H 1 () tal que E(u n ) c e E (u n ). Escreva u n = v n + w n com v n X e w n X 1, n N. Então, E(u n ) = E(v n + w n ) = 1 2 M( (v n + w n ) 2 2) F (v n + w n )dx ρ(x)(v n + w n )dx, com um mesmo raciocínio feito anteriormente, obtemos E(u n ) 1 2 µ v n 2 2 A ρ(x)v n dx e E(u n ) C 1 para algum C 1 > (pois, E(u n ) c). Logo, ( ) 1 v n 2 2 µ v n 2 c ρ 2 A C 1, ( v n 2 ) é limitada. Então, pela desigualdade de Poincaré-Wirtinger, ( v n 2 ) é limitada. Portanto, ( v n 1,2 ) = ( ) ( v n 2 2 + v n 2 2) 1 2 é limitada.

Seja, agora, w n [, p) tal que w n w n (mod p), denindo ũ n = v n + w n, tem-se 46 E(ũ n ) = E(v n + w n ) = E(v n + w n + αp) = E(v n + w n ) = E(u n ) ou seja, E(ũ n ) = E(u n ). Analogamente, E (ũ n ) = E (v n + w n ) = E (v n + w n + αp) = E (v n + w n ) = E (u n ). Logo, E(ũ n ) c e E (ũ n ). Ora, sendo ( v n 1,2 ) limitada e w n [, p) tem-se que ( ũ n 1,2 ) é limitada. Temos ainda que ( ũ n 2 ) é limitada. Assim, ũ n 2 2 t. Como H 1 () é um espaço reexivo, existe ũ H 1 () tal que, a menos de subsequência, ũ n ũ em H 1 (). Logo, pela imersão contínua de Sobolev H 1 () L 2 (), ũ n ũ em L 2 (), e pela continuidade da função M obtemos, M( ũ n 2 2) M( t) em R. Sendo E(u) = M( u 2 2)u T (u) onde T : H 1 () H 1 () é operador compacto, tem-se M( ũ n 2 2)ũ n = E(ũ n ) + T (ũ n ) + T (ũ) em H 1 (), ũ n = 1 M( ũ n 2 2) M( ũ n 2 2)ũ n 1 M( t) T (ũ) em H1 (). Então por unicidade, ũ n ũ em H 1 (). Portanto, E(ũ) = c e E (ũ) =, ou seja, c é um valor crítico de E.

47 Aplicando o Teorema 1.9, concluímos que existe u H 1 () tal que E(u ) = inf E(u). u H 1 () Isto é, existe solução fraca para o problema (1.23).

Capítulo 2 O Teorema do Passo da Montanha Neste capítulo demonstraremos o Teorema do Passo da Montanha e em seguida apresentaremos duas aplicações ao problema não-local do tipo M( u 2 ) u = f(x, u) em, u = em, onde a não-linearidade f tem crescimento subcrítico e superlinear, e M : R + R é uma função contínua satisfazendo certas condições a serem apresentadas ao longo das próximas seções. 2.1 O Teorema do Passo da Montanha Nesta seção demonstraremos o Teorema do Passo da Montanha de Ambrosetti e Rabinowitz [6]. Teorema 2.1 Sejam X um espaço de Banach e φ C 1 (X, R) um funcional satisfazendo a condição de Palais-Smale (P S) (ou(p S) c ). Se e X e < r < e são tais que então, é um valor crítico de φ com c b, onde a max{φ(), φ(e)} < inf φ(u) b, (2.1) u =r c = inf γ Γ max t [,1] φ(γ(t)) Γ = {γ C([, 1], X)/γ() = e γ(1) = e}.

49 Demonstração: Primeiramente, vamos vericar que c está bem denido. De fato, para cada γ Γ, a função h : [, 1] R t h(t) = φ(γ(t)) é uma função contínua denida num compacto, portanto possui máximo, isto é, Por outro lado, a função é também uma função contínua com max h(t) = max φ(γ(t)). t [,1] t [,1] Λ : [, 1] R t Λ(t) = γ(t) Λ() = γ() = = e Λ(1) = γ(1) = e > r. Usando o teorema do Valor Intermediário, existe t (, 1) tal que Λ(t ) = r isto é, γ(t ) = r implicando em γ(t ) B r (fronteira da bola com centro na origem e raio r). Daí, max φ(γ(t)) φ(γ(t )) b, pois b = inf φ(u). t [,1] u =r Pelo estudo feito, b é uma cota inferior para o conjunto { } Y = max φ(γ(t)); γ Γ t [,1], logo, pelo Postulado de Dedekind, tal conjunto tem ínmo e deve ser maior ou igual a b, ou seja, o nível "minimax"dado por está bem denido e verica c b. c = inf γ Γ max t [,1] φ(γ(t)) Suponhamos por contradição que c não é valor crítico. Então pelo Teorema 1.7, existem < ɛ < b a e η C([, 1] X, X) tais que 2 η(t, u) = u se u / φ 1 ([c 2ɛ, c + 2ɛ]), t [, 1],

5 η(1, φ c+ɛ ) φ c ɛ. Pela denição de c como o ínmo sobre Γ, podemos escolher um γ Γ tal que max φ(γ (t)) c + ɛ (2.2) t [,1] e denir o caminho ˆγ(t) = η(1, γ (t)). mas como Assim, como γ Γ tem-se ˆγ() = η(1, γ ()) = η(1, ), ˆγ(t) = η(1, γ (t)) ˆγ(1) = η(1, γ (1)) = η(1, e), e por (2.2) temos que o que implicam ˆγ Γ. φ(), φ(e) a < b 2ɛ c 2ɛ ˆγ() = η(1, ) = e ˆγ(1) = η(1, e) = e Mas então, pelo estudo feito tem-se max φ(ˆγ(t)) c ɛ t [,1] o que é um absurdo, em vista da denição de c. Portanto, c é um valor crítico. 2.2 Primeiro Resultado de Existência Nesta seção, vamos mostrar um resultado de existência de solução não-trivial, para o problema de Dirichlet não-linear M( u 2 ) u = f(x, u) em, u = em, (2.3) onde R N (N 2) é um domínio limitado com fronteira suave, M : R + R é uma função contínua e não-crescente satisfazendo (M, ) < M M(t) M, t

em que, M, M são constantes reais, e f : R R é uma função de Carathéodory satisfazendo as seguintes condições: 51 (f 1 ) Existem constantes c, d > e 1 θ < N+2 N 2 se N 3, 1 θ < + se N = 1, 2, tais que f(x, s) c s θ + d. (f 2 ) lim s f(x, s) s =, uniformemente em x. (f 3 ) Existem µ > 2 e r > tais que < µf (x, s) sf(x, s), s r onde F (x, s) = s f(x, ξ)dξ. Seguiremos algumas idéias desenvolvidas por Alves, Corrêa e Ma [4]. Estamos interessados em encontrar soluções fracas de (2.3), isto é, funções u H() 1 tais que M( u 2 ) u vdx f(x, u)vdx = v H(). 1 (2.4) Deniremos o funcional energia associado ao problema (2.3) e mostraremos que, ele está bem denido e é de classe C 1. Isso implica que, encontrar a solução para o problema em questão, se resume em encontrar pontos críticos para o funcional energia associado. Proposição 2.1 Suponhamos que f : R R seja uma função de Carathéodory satisfazendo a condição (f 1 ) e M satisfaz (M, ). Então o funcional E(u) = 1 2 M( u 2 ) F (x, u)dx u H(), 1 (2.5) onde M(t) = t M(ξ)dξ e F (x, s) = s f(x, ξ)dξ, está bem denido, e além disso, E C 1 (H(), 1 R) com E (u)v = M( u 2 ) u vdx f(x, u)vdx, u, v H(). 1 (2.6)