Reformulacao Tese

UNIVERSIDADE DE EVORA
Mestrado em Matem
atica Aplicada
Bi
enio 2004 / 2005
Exist
encia de minimizantes
para integrais n
ao-convexos do c
alculo das varia
co
es
com lagrangiano mensur
avel
Disserta
c
ao apresentada por:
Pedro Miguel Lola Sim
oes
Orientador: Professor Doutor Ant
onio Ornelas
(Professor Associado com Agrega
c
ao)
Evora
2007
Agradecimentos:
Agradeco, em primeiro, aos meus pais e irma, por toda a ajuda que
deram durante este momento de aprendizagem. Sem eles, sem o seu apoio
e animo, o prazer de concluir este trabalho nao teria tido lugar.
Devo tambem agradecer ao meu orientador, o Professor Doutor Ant
onio
Ornelas, por todo o apoio que me deu em todos os momentos da elaborac
ao
desta dissertacao. O seu apoio cientfico foi indiscutvel, e ser seu orientando
um enorme privilegio.
Por fim, um profundo sentimento para com os meus colegas e amigos.
Resumo:
Exist
encia de minimizantes para integrais n
ao-convexos do
c
alculo das varia
c
oes com lagrangiano mensur
avel
Analisam-se varios artigos de investigac
ao matematica que demonstram
a existencia de minimizantes, numa classe de func
oes reais x(t), de vari
avel
real, absolutamente contnuas definidas num intervalo compacto, para integrais do calculo das variac
oes com lagrangiano nao-convexo relativamente
à variavel velocidade x0 (t). O nosso objectivo e alcancar uma fertilizac
ao
cruzada entre dois metodos bem diferentes; e assim conseguir, no futuro
proximo, avancar mais alem e obter novos resultados de existencia de minimizantes de integrais nao-convexos.
Abstract:
Existence of minimizers for nonconvex integrals of the calculus of
variations with measurable lagrangian
We analyse several math research papers which prove existence of minimizers, in a class of real x(t) functions, of one real variable, absolutely
continuous on a compact interval, for integrals of the calculus of variations
with lagrangian nonconvex relative to the velocity variable x0 (t). Our aim
is to reach a cross-fertilization between two quite distinct methods; and to
succeed in obtaining, in the near future, new existence results for minimizers
of nonconvex integrals.
Conte
udo
Captulo 1.
Introducao
Captulo 2. O calculo das variac

oes no caso convexo
1. Breve resenha historica
2. O problema fundamental do calculo das variac
oes
3. Condicoes necessarias de optimalidade
4. O metodo directo
5. Regularidade dos minimizantes
13
13
16
16
18
22
Captulo 3. Resultados recentes no caso nao-convexo

1. O problema nao dependente da vari
avel de estado
2. O problema autonomo
25
25
35
Apendice A. Definicoes e resultados preliminares

1. Espacos topologicos e lineares
2. Analise convexa
3. Medida e espacos funcionais
77
78
85
92
Apendice. Bibliografia
113
CAPTULO 1
Introduc
ao
Esta dissertacao de Mestrado tem como objectivo o estudo de problemas
de existencia de minimizantes para integrais com lagrangiano mensuravel
(nomeadamente nao semicontnuo inferior). Ao longo da dissertac
ao, alem
de resultados recentes, expoem-se tambem aspectos mais classicos da teoria.
Em termos de organizacao, divide-se nas seguintes partes:
(1) Introducao;
(2) O calculo das variac
oes no caso convexo;
(3) Resultados recentes no caso nao-convexo;
(4) Apendice: Definicoes e resultados preliminares.
No remanescente deste captulo, faremos uma breve introduc
ao aos problemas considerados neste texto.
No segundo captulo, para alem de uma bresve resenha historica, apresentamse resultados classicos do C
alculo das Variaco
es (express
ao que foi utilizada
pela primeira vez por Leonard Euler em 1760 (ver [GH04, pag. 18], [GF00,
pag. 6], [SW01]) apos ter recebido uma carta, de Louis Lagrange, onde se
expunha um novo metodo baseado no que actualmente chamamos variac
oes
para o estudo de problemas isoperimetricos).
O nascimento do Calculo das Variac
oes e atribudo a Johann Bernoulli
quando anos antes, em 1696, desafiou a comunidade matematica com o
Problema da Braquist
ocrona (ver [BGH98, pag. 44], [GH04, pag. 367],
[GF00, pag. 3], [SW01]):
... Se num plano vertical forem dados dois pontos A e B, pretendese especificar a
orbita AM B da massa pontual m
ovel M ao longo da qual,
partindo de A, e sob a influencia do seu pr
oprio peso, chega a B no mais
curto tempo possvel...
O problema fundamental do Calculo das Variac
oes, consiste em minimizar um integral do tipo
Z b
(1)
L(t, x(t), x0 (t))dt, definido em XAB ,
a
onde XAB representa a classe das func

oes x : [a, b] IRn que satisfazem
as condicoes de fronteira x(a) = A e x(b) = B.
A func
ao
L : [a, b] IRn IRn [0, +] chama-se lagrangiano. Usamos os simbolos (t, s, ) para os argumentos de L (tempo, estado, velocidade).
Costumam levantar-se tres questoes fundamentais relativamente a este
problema: Existe minimizante? O minimizante e regular? O minimizante
7

1. INTRODUC
AO
satisfaz as condic
oes necess
arias? Como e obvio, em geral a resposta a
estas questoes e negativa, caso nao se imponham hipoteses adicionais sobre
o lagrangiano.
Em relacao à primeira pergunta, as hipoteses usuais impostas ao lagrangiano, sob as quais e possvel provar um resultado de existencia de soluc
ao,
no conjunto XAB , sao: a semicontinuidade inferior do lagrangiano, a convexidade em relacao à velocidade e a condic
ao de crescimento superlinear,
i.e., a exigencia da existencia de uma func
ao () tal que ()
converge para
+ quando tende para +, e L(t, s, ) (). Este metodo e conhecido
por Metodo Directo do C
alculo das Variac
oes e foi desenvolvido, principalmente, pelo matematico italiano L. Tonelli (em 1915, ver [Ces83, pag.
533]). De um modo geral, uma vez que existe sempre uma sucessao minimizante para o integral (1), i.e., uma sucessao de func
oes (xn ()) tais que
Rb
0 (t))dt converge para o
L(t,
x
(t),
x
nfimo
de
(1),
e
como
a condic
ao de
n
n
a
crescimento superlinear implica a precompacidade fraca de (xn ()), podemos
sempre seleccionar uma subsucessao minimizante fracamente convergente
para uma funcao y() absolutamente contnua, definida em [a, b]. Como as
hipoteses de convexidade e semicontinuidade inferior do lagrangiano (ver
[Ces83], [Dac89], [ET99], [Iof77]) asseguram a semicontinuidade inferior
sequencial fraca do integral (1), conclui-se que uma tal func
ao y() minimiza
o integral considerado.
No caso em que o lagrangiano e nao-convexo, uma possvel estrategia
para provar a existencia de minimizantes consiste em obter como acima um
minimizante z() para o funcional integral convexificado
Z
(2)
a
L (t, x(t), x0 (t))dt,
definido em XAB ,
(onde
L ()
representa
a
func
ao
bipolar
de
L(),
i.e.,
epi L (s, ) = co epi L(s, )), de tal modo que z() satisfaz propriedades
de regularidade adequadas; e ent
ao utilizam-se tais propriedades para construir um novo minimizante relaxado y() que, alem disso, tambem minimiza
o integral nao-convexo (1).
Supondo que existe um minimizante y(), outro problema consiste em
determinar condicoes necessarias que y() tera que satisfazer, por ser minimizante. Em analise real, um princpio usual consiste em, dado um minimizante pertencente ao interior do domnio de uma func
ao, obter uma condic
ao
necessaria para este ponto explorando o que acontece na sua vizinhanca, por
exemplo, o gradiente da func
ao tera de ser zero. Pode ent
ao perguntar-se,
sera possvel adaptar este princpio ao Calculo das Variac
oes? A resposta
a esta pergunta e afirmativa, e conduz-nos à Equac
ao de Euler-Lagrange e
suas variantes. Isto e feito considerando uma variac
ao admissvel, i.e., uma
n
funcao () C0 ([a, b]; IR ), e considerando o integral (1) ( que por uma

questao de comodidade escrevemos (1)=I()) aplicado a x() + (), onde
e um n
umero real, e sendo o novo integral I(x() + ()) encarado como

1. INTRODUC
AO
uma funcao real da variavel real . Para esta func

ao, o ponto = 0 deve ser
de estacionaridade. Sempre que seja possvel passar ao limite sob o sinal do
integral, obtemos a equacao de Euler-Lagrange
Z b
[hL (t, y(t), y 0 (t)), 0 (t)i + hLs (t, y(t), y 0 (t)), (t)i]dt = 0,
a
ou, representando por
d
dt
a derivada no sentido fraco,
d
L (t, y(t), y 0 (t)) = Ls (t, y(t), y 0 (t)).
dt
Tonelli provou a validade da Equac
ao de Euler-Lagrange quando o lagrangiano L() e de classe C 3 , ou C 2 no caso n = 1, e L () e estritamente positiva. Muitos esforcos foram feitos com o intuito de enfraquecer as
condicoes de regularidade impostas ao o lagrangiano (ver [BM85], [Ces83],
[Cla90], [CV85], [IR75], [MOS02]).
Em [BM85] , J. M. Ball e V.J. Mizell apresentam um exemplo de
Lagrangiano tal que Ls (, y(), y 0 ()) e nao integr
avel (aqui y() e o minimizante). Portanto tera que se impor alguma condic
ao sobre o termo
Ls (, y(), y 0 ()) de modo a assegurar a validade da equac
ao de Euler-Lagrange.
Em [Ces83], [Cla90], [MOS02], [VZ97], partindo-se do pressuposto
de existencia de uma funcao integr
avel S(t), tal que para toda a func
ao
x() na vizinhanca do minimizante, |Ls (t, x(t), x0 (t))| e limitado por S(t) e
demonstra-se a validade da equac
ao de Euler-Lagrange, supondo L(t, , x0 (t))
localmente Lipschitziana.
Mais tarde, F. H. Clarke, em [Cla75] e [Cla90] demonstrou a inclusao
diferencial de Euler-Lagrange para o caso em que o lagrangiano satisfaz:
L(t, , ) e localmente limitado e localmente lipschitziano; e L(t, s, ) e convexo.
Contudo, a condicao local de Lipschitz em relac
ao à segunda vari
avel
exclui uma grande classe de lagrangianos para os quais o problema de minimizacao do integral (1) tem soluc
ao. Nomeadamente aqueles em que:
L(t, , ) e uma funcao semicontnua inferior, com crescimento superlinear; e
L(t, s, ) e convexa.
Em [AAB89], L. Ambrosio, O. Ascenzi e G. Buttazzo, consideram o
problema de minimizacao de integrais dos tipos
Z b
(3)
L(t, x0 (t))dt,
a
(4)
L(x(t), x0 (t))dt
definidos na classe de funcoes XAB . Assim, com o objectivo de estudar o

problema de minimizacao do integral (4), onde L : IRn IRn [0, +] e tal
que L(s, ) e convexa, semicontnua inferior e L(, ) e mensuravel, os autores
observam que se y() e soluc
ao do problema considerado, ent
ao a aplicac
ao
10
1. INTRODUC
AO
identidade (t) t e minimo local para o integral (3), pelo que a primeira
parte deste artigo se dedica ao estudo de funcionais deste tipo. Portanto,
provam que toda a solucao y() e regular e satisfaz a inclusao diferencial
de Euler-Lagrange, para funcionais do tipo (3), e DuBois-Reymond, para
funcionais do tipo (4).
No terceiro captulo, estudam-se os artigos de C. Marcelli [Mar02] e de
A. Ornelas [Orn], [Orn05], onde se demonstra a existencia e regularidade
da solucao para o problema de minimizac
ao de funcionais integrais (3) e (4),
respectivamente.
P. Kaiser (ver [Ces83, p. 440]), para funcionais integrais (3), definidos
para funcoes x() W 1,p ([a, b]; IRn ) tais que x(a) = 0 e x(b) = d, com
1
lagrangiano L(t, ) = (t)(1 + ()2 ) 2 ( caso em que o integral representa
um comprimento de arco ponderado), provou que a existencia de mnimo
depende do declive d. Posteriormente condic
oes necessarias e suficientes para
a existencia de mnimo para o funcional integral (3), em que o lagrangiano
verifica: L(, ) mensuravel, L(t, ) C 1 (IR) e convexo, sao estudadas no
artigo [Mar97]. A extensao dos resultados a apresentados, ao caso em que
o lagrangiano e nao-convexo e nao-superlinear e pouco suave estudam-se no
artigo [Mar02].
Em [Orn05], observa-se que na demonstrac
ao de existencia de minimizante, um ingrediente essencial para a semicontinuidade inferior sequencial fraca do integral (4), costuma ser a semicontinuidade inferior do lagrangiano L() (ver [Iof77], [ET99], [Dac89]); contudo, em [DBD83] e
[Amb87] demonstra-se que para uma grande classe de lagrangianos unidimensionais, aqueles em que L(s, ) e uma func
ao convexa e semicontnua
inferior ( como acontece quando L() e L B-mensur
avel, L(, 0) e semicontnua inferior com valores finitos e o subdiferencial L(, 0) contem
uma funcao m() L1loc (IR)), e possvel obter a semicontinuidade inferior
sequencial fraca para o integral L(). Isto permite considerar problemas
de minimizacao de funcionais integrais em que a dependencia do lagrangiano em relacao à variavel de estado s pode ser extremamente irregular, por
exemplo, nao-semicontnua inferior nos pontos onde s 6= 0.
De facto, nos artigos [Orn], [Orn05], prova-se a existencia de minimizantes para o integral (4), no caso escalar unidimensional em que sobre o
lagrangiano se impoem hipoteses que contem as anteriores. Por exemplo, e
admissvel a funcao L(, ) ser nao-semicontnua inferior ( excepto nos pontos (s, 0)) e admite-se possibilidade de ser L(s, 0) = + ou L(s, 0) =
para alguns valores de s.
Por outro lado, existem resultados que demonstram que a convexidade
nao e uma condicao necessaria para a existencia de minimizantes. Em
[Orn05], destaca-se a importancia que a condic
ao de zero-convexidade do
lagrangiano (i.e., L (s, 0) = L(s, 0)) tem na demonstrac
ao da existencia de
minimizantes para os integrais do tipo (4), onde o lagrangiano e nao-linear,
nao-convexo, mas zero-convexo e com crescimento superlinear.

1. INTRODUC
AO
11
Em [Orn05], prova-se ainda, que embora o lagrangiano tenha um comportamento muito irregular numa vizinhanca de pontos (s, 0), o minimizante
e regular( prova-se que o minimizante e bimonotono) e satisfaz a inclusao
diferencial de DuBois-Reymond.
Por fim, em apendice da-se enfase a pre-requisitos necessarios para o
estudo dos problemas considerados. Assim, recordam-se enunciados e resultados de Analise Funcional, Analise Convexa, Analise Multivariada e Teoria
da Medida.
CAPTULO 2
O c
alculo das varia
co
es no caso convexo
1. Breve resenha hist
orica
O estudo de problemas do calculo das variac
oes e bastante antigo. Provavelmente, a primeira pessoa a considerar seriamente um problema de minimizacao do ponto de vista cientfico foi Hero de Alexandria, que viveu
entre 10 d.c. e 75 d.c.. Ele estudou a reflexao dos raios solares e afirmou,
sem prova, que quando a luz emitida por um objecto e reflectida por um
espelho segue o menor caminho possvel desde o objecto ate ao olho.
Por sua vez, Pappus ( 350 a.c. - 290 a.c.), rei da Alexandria prometeu uma recompensa excepcional aos serventes civis e ao pessoal militar,
oferecendo-lhes toda a terra que eles conseguissem cercar com um arado
num determinado perodo de tempo. Deste modo, o problema de encontrar a curva plana com um determinado comprimento de area maxima, ou
problema isoperimetrico, nasceu. Pappus nao foi o primeiro a considerar
problemas isoperimetricos. Contudo, no seu livro Mathematical Colection
ele recolheu e sistematizou resultados de muitos matematicos anteriores,
extraindo-os de trabalhos de Euclides (325 a.c.- 265 a.c.), Arquimedes (287
a.c. -212 a.c.), Zenorodus (200 a.c.- 140 a.c.), e Hypsicles (190 a.c. - 120
a.c.).
Um problema mais geral de minimizac
ao optica foi estudado em meados
do sec.XVII pelo matematico Pierre de Fermat (1601-1665). Ele acreditava
que a natureza actua sempre atraves de meios e maneiras que s
ao sempre
as mais f
aceis e r
apidas mas nem sempre pelos caminhos mais curtos.
O primeiro problema normalmente associado ao desenvolvimento da teoria matematica do calculo das variac
oes e o problema da braquistocrona.
Este e tambem, indubitavelmente o mais famoso problema desta teoria. Em
Junho de 1696, Johann Bernoulli (1667-1748) publicou um desafio à comunidade matematica com o seguinte enunciado:
... Se num plano vertical forem dados dois pontos A e B, pretendese especificar a
orbita AM B da massa pontual m
ovel M ao longo da qual,
partindo de A, e sob a influencia do seu pr
oprio peso, chega a B no mais
curto tempo possvel...
Depois de enunciar o problema, Johann Bernoulli assegurou aos seus leitores que a solucao do problema era muito u
til na mecanica, e que nao era
uma recta. O prazo para entrega de respostas imposto por Johann Bernoulli
foi ate à Pascoa de 1697, altura em que ele prometeu publicar a sua propria
13
14
DAS VARIAC
OES
NO CASO CONVEXO
2. O CALCULO
solucao. Aquando do incio do desafio, Johann Bernoulli tambem enviou o

problema privadamente ao matematico Leibniz (1646-1716), numa carta datada de 9 de Junho de 1696. A 16 de Junho de 1696 ele recebeu uma soluc
ao
completa como resposta. Newton (1643-1727) tambem resolveu o problema
da braquistocrona. No final os u
nicos a conseguir resolver correctamente este
problema foram Jacob Bernoulli, Leibniz, Newton, Tschirnhaus e lHopital.
O matematico, Leonard Euler (1707-1783) tinha ligac
oes proprias com
a famlia Bernoulli. Dada esta relac
ao proxima, nao e de estranhar que Euler se tenha interessado pelo calculo das variac
oes. Em 1728, Euler tinha ja
escrito acerca de encontrar equac
oes para curvas geodesicas e em 1744 publicou o seu livro de referencia Metodo para descobrir linhas curvas que gozam
da propriedade de m
aximo ou de mnimo. Alguns matematicos preferem as
datas 1728 ou 1744 para o nascimento da teoria do calculo das variac
oes
em vez de 1697 (data em que foi publicada a soluc
ao para o problema da
braquistocrona).
Euler desenvolveu um metodo para resolver problemas especficos e
sistematizou-o num instrumento poderoso. Com este novo metodo ele foi
capaz de estudar uma classe bastante generalizada de problemas. O seu trabalho cientifco considerava uma grande variedade de problemas geodesicos,
varios problemas de braquistocrona modificados e mais gerais, problemas
envolvendo restricoes isoperimetricas e ate questoes de invari
ancia. Apesar
de alguns matematicos antes de Euler terem dado atenc
ao a tais problemas,
ele examinou se as suas condic
oes fundamentais se manteriam intactas com
uma mudanca geral de coordenadas (estas questoes so foram desenvolvidas no sec. XX). Na sua publicac
ao de 1744, Euler mostrou a primeira
condicao necessaria para mnimo, a denominada condic
ao necessaria de
Euler-Lagrange.
Um outro topico de interesse integrado no trabalho de Euler, e o da
superfcie mnima. Euler descobriu a primeira superfcie nao trivial deste
tipo: a catenoide.
Apesar de ser verdade que pouco tempo depois a tecnica de Euler foi superada pela de Lagrange, naquela epoca tudo isto era matematica completamente inovadora. Os seus metodos eram notaveis pela clareza e perspicacia.
Em 1755, Jean Louis Lagrange (1736-1813) enviou a Euler uma carta que
continha detalhes de uma ideia nova e bela. Nesta carta, Lagrange mostrou
a Euler como ele podia eliminar os metodos geometricos enfadonhos do seu
processo. Essencialmente, ele tinha desenvolvido uma ideia de comparac
ao
de funcoes que levaria quase directamente à equac
ao de Euler - Lagrange.
Depois de considerar o metodo de Lagrange, Euler converteu-se instantaneamente, abandonou os seus antigos metodos geometricos e baptizou toda
esta teoria pelo nome que agora utilizamos, o C
alculo das Variac
oes, em
honra do metodo variacional de Lagrange.
Euler e Lagrange corresponderam-se frequentemente nos anos seguintes,
com Lagrange a trabalhar arduamente para estender a sua teoria. Ate ao
final de 1760, ele foi capaz de publicar um grande n
umero de resultados

1. BREVE RESENHA HISTORICA
15
no Miscellanea Taurinensia, um jornal cientfico em Turim, com o ttulo

de Ensaio acerca do novo metodo para determinar m
aximos e mnimos de
f
ormulas de integrais indefinidos.
Em 1786, Adrien Marie Legendre (1752-1833) apresentou uma
dissertacao à Academia de Paris intitulada Sobre o metodo de distinguir
m
aximos de mnimos no c
alculo das variac
oes. Legendre considerou o problema de determinar se uma extremal e um arco minimizante ou maximizante. Analisou a segunda variac
ao do funcional, motivado pelo teorema
de Taylor. Legendre foi capaz de obter a condic
ao necessaria de segunda
ordem L 0 aplicado a minimizante, o que e surpreendentemente semelhante ao que conhecemos do calculo elementar com o teste da segunda
derivada. Legendre tentou mostrar a condic
ao fortalecida L > 0, que nao
e verdade.
So passados cinquenta anos da descoberta inicial de Legendre, relativa
a condicao necessaria de segunda variac
`
ao, e que outro matematico tentou
desenvolver esta teoria no sentido das condic
oes necessarias e suficientes.
Em 1836, Gustav Jacobi (1804-1851) demonstrou rigorosamente o que agora
chamamos de condicao suficiente de Jacobi.
Em 1870, Karl Weierstrass reviu toda a teoria do calculo das variac
oes.
Weierstrass foi o primeiro a realcar a importancia do domnio da funcional
que estamos a tentar minimizar. Ele tambem examinou o conjunto das
funcoes admissveis. Um dos seus feitos mais notaveis foi um novo teorema
de suficiencia para mnimo. Dois novos conceitos, o campo de extremais e
funcao excesso de Weiertrass foram desenvolvidos, assim como um novo tipo
de mnimo, o chamado mnimo forte.
Com base no trabalho desenvolvido por Weierstrass, outros matematicos,
tais como Bolzano, Bliss, Caratheodory, Hilbert, deram ao calculo uma estrutura matematica rigorosa.
Em 1900 no Congresso internacional de Matem
atica de Paris, Hilbert
formulou vinte e tres problemas que considerava fundamentais para o desenvolvimento da matematica no sec.XX. Tres deles (19, 20 e 23) eram sobre
calculo das variacoes.
Com efeito, foi Hilbert ( em 1900) o primeiro a resolver um problema
variacional ( o problema da minimizac
ao do funcional integral unidimensional de Dirichelet) abordando directamente o funcional integral ( em vez
do lagrangiano, como era pratica ate ent
ao), e da o nome Metodo Directo.
Contudo so em 1915, Tonelli provou a existencia de soluc
ao para o problema
geral do calculo das variacoes. Estes metodos de abordagem do problema,
conhecidos por metodos directos, promoveram um grande desenvolvimento
da analise em geral, atingindo maior notoriedade na analise funcional, teoria
da medida e equacoes diferenciais.
16
DAS VARIAC
OES
NO CASO CONVEXO
2. O CALCULO
2. O problema fundamental do c
alculo das varia
c
oes
O problema fundamental do calculo das variac
oes consiste na determinacao de um extremante - um minimizante ou um maximizante - para
um integral que depende de uma func
ao pertencente a uma determinada
classe de funcoes, em particular, func
oes cujos valores nos extremos de um
determinado intervalo real limitado sao fixos.
Portanto, consideramos [a, b], com a < b um dado intervalo na recta real
IR. Facamos XAB representar a classe de todas as func
oes absolutamente
n
contnuas, x : [a, b] IR , n 1, que satisfazem as condic
oes de fronteira
(5)
x(a) = A,
x(b) = B
onde A, B IRn , estao fixos. Seja ainda L() uma func

ao real definida em
n
n
[a, b] IR IR . Assim, pretende-se minimizar o integral
Z b
(6)
I(x()) =
L(t, x(t), x0 (t))dt, x() XAB
a
onde x0 (t) representa a derivada
dx
dt ,
isto e, x0 (t) = ( dxdt(t) , ..., dxdt(t) ).
o 2.1. [GF00]
Definic
a
`
(1) A func
ao L() chamamos Lagrangiano do problema fundamental do
c
alculo das variac
oes;
(2) As func
oes x() que satisfazem as condic
oes de fronteira (5) dizemse traject
orias admissveis;
(3) Quando o Lagrangiano L() n
ao depende explicitamente da vari
avel
independente t, diz-se que o problema e aut
onomo.
3. Condi
c
oes necess
arias de optimalidade
o 3.1. [GF00] Uma traject
Definic
a
oria admissvel y() e um minimizante global de I() se para as traject
orias admissveis x()
(7)
I(y()) I(x()).
Dizemos que uma func

ao y() XAB e um minimizante local de I()
quando a condicao
I(y()) I(x())
se verifica para todas as func
oes x() XAB suficientemente proximas de
y().
Contudo a nocao de suficientemente proximasprecisa de ser definida.
Para tal e necessario definir uma metrica que permita introduzir o conceito
de vizinhanca. Sao usuais no calculo das variac
oes duas metricas: a forte e
a fraca.
Consideremos as seguintes metricas:
0 (y(), x()) = sup {ky() x()k}
t[a,b]
NECESSARIAS
DE OPTIMALIDADE
3. CONDIC
OES
17
1 (y(), x()) = sup {ky() x()k + ky 0 () x0 ()k}.

t[a,b]
o 3.2. [GF00] O conjunto

Definic
a
N (y()) = {x : [a, b] IRn : x() AC[a, b] e 0 (y(), x()) < }
designa-se por vizinhanca forte de y().
Por sua vez, o conjunto
N0 (y()) = {x : [a, b] IRn : x() AC[a, b] e 1 (y(), x()) < }
designa-se por vizinhanca fraca de y().
o 3.3. [GF00] Uma traject
Definic
a
oria admissvel y() diz-se um minimizante local forte para o funcional integral I(), se existir uma vizinhanca
forte N de y() tal que
I(y()) I(x())
para toda a traject
oria admissvel x() N (y()).
Analogamente, dizemos que uma trajectoria admissvel y() e um minimizante local fraco para o integral variacional I() se existir uma vizinhanca
fraca N0 de y() tal que
I(y()) I(x())
para toda a trajectoria admissvel x() N0 . Todo o mnimo global e
tambem um mnimo local e, de modo semelhante, um mnimo local forte
e tambem um mnimo local fraco. Em ambos os casos o oposto nem sempre e verdadeiro. Quando o problema em questao admite soluc
ao, se uma
condicao necessaria para mnimo local forte nao da nenhum candidato, ent
ao
podemos concluir que nao existe nenhum mnimo local forte e que a soluc
ao
e um mnimo local fraco. Na verdade, a teoria da existencia no calculo
das variacoes verifica a existencia numa classe maior de func
oes admissveis
para as quais as condicoes necessarias de optimalidade classicas nao sao necessariamente validas. Muitos problemas de aspecto simples nao admitem
solucao na classe de funcoes admissveis onde eles sao formulados, e onde
as condicoes necessarias classicas sao validas. Nesta situac
ao, nao faz sentido aplicar qualquer uma das condic
oes necessarias: podemos ser levados
a conclusoes erradas, apenas porque a condic
ao de existencia que assumimos à priori nao e satisfeita. Isto e conhecido como o paradoxo de Perron
[You00]. Podemos concluir, contudo, que o problema nao tem qualquer
solucao na classe XAB se quer as condic
oes necessarias para mnimo forte,
quer as condicoes necessarias para mnimo fraco nao derem nenhum candidato.
3.1. Condi
c
ao necess
aria cl
assica para mnimo local forte.
o 3.4. (Fun
Definic
a
c
ao Excesso de Weierstrass [GF00])
A func
ao excesso de Weierstrass E : [a, b] IRn IRn IRn IR, associada
ao lagrangiano L() do integral I(), e definida por
E(t, x(t), x0 (t), ) =
DAS VARIAC
OES
NO CASO CONVEXO
2. O CALCULO
18
= L(t, x(t), ) L(t, x(t), x0 (t)) hx0 (t) , L (t, x(t), x0 (t))i.
(8)
Teorema 3.1. [GF00] Suponhamos que y() e um minimizante local

forte para o integral I(), e que L() e uma funca
o de classe C 2 em [a, b]
n
n
IR IR . Ent
ao
E(t, y(t), y 0 (t), ) 0,
(9)
IRn ,
t [a, b].
3.2. Condi
c
ao necess
aria cl
assica para mnimo local fraco.
Teorema 3.2. [GF00]
Suponhamos que y() e um minimizante local fraco para o integral I(), e
que L() e uma func
ao de classe C 2 em [a, b] IRn IRn . Ent
ao
d
(10)
L (t, y(t), y 0 (t)) = Ls (t, y(t), y 0 (t)).
dt
A equacao (10) designa-se por equac
ao de Euler-Lagrange e as suas
solucoes sao chamadas extremais.
Teorema 3.3. [BGH98]
Suponhamos que y() e um minimizante local fraco para o integral I(), e
que L() e uma func
ao
d
(11)
[L(t, y(t), y 0 (t)) y 0 (t)L (t, y(t), y 0 (t))] = Lt (t, y(t), y 0 (t)).
dt
A equacao (11) designa-se por condic
ao de DuBois-Reymond.
Teorema 3.4. [Ces83]
Suponhamos que y() e um minimizante local fraco para o integral I(x), e
que L() e uma func
ao
(12)
Li k (t, y(t), y 0 (t)) i k 0,
IRn .
o 3.1. [Ces83]
Observac
a
(1) Se o lagrangiano L(t, ) n
ao depende da vari
avel de estado s, a
equac
ao de Euler-Lagrange reduz-se a
(13)
L (t, x0 (t)) = C,
onde C e uma constante arbitr
aria.
(2) Se o lagrangiano L(s, ) n
ao depende do tempo t, a equac
ao de
DuBois-Reymond reduz-se a
(14)
L(x(t), x0 (t)) hx0 (t), L (x(t), x0 (t))i = C,

onde C e uma constante arbitr
aria.
4. O m
etodo directo
O metodo directo do calculo das variac

oes deve o seu nome ao facto de
se procurar determinar os minimizantes directamente a partir do funcional
integral. Este metodo e uma das principais ferramentas na obtenc
ao de
solucoes de equacoes com derivadas parciais nao-lineares.

DIRECTO
4. O METODO
19
Para compreendermos mais claramente a essencia desta tecnica, vejamos

o que sucede no caso de dimensao finita.
Consideramos I : IRn IR. Pretendemos encontrar x0 IR tal que
I(x0 ) I(x) para todo o x IRn . Para garantirmos a existencia de
nfimo finito precisamos de impor que I() seja limitado inferiormente (isto
e, I(x)) c > x IRn ).
Sejam < m = inf{I(x) : x IRn } e (xn ) uma sucessao minimizante, isto e, I(xn ) m.
Se tal sucessao minimizante tiver todos os seus termos contidos num conjunto fechado e limitado, o que, devido ao facto de o espaco ter dimensao
finita significa que (xn ) esta contida num conjunto compacto, podemos extrair uma subsucessao convergente para um ponto do conjunto, isto e, existe
(xnk ) com xnk x0 . Entao I(xnk ) m, porque I(xnk ) e uma subsucessao
de I(xn ), logo converge para o mesmo limite de I(xn ). Por outro lado, como
I() e contnua I(xnk ) I(x0 ), logo por unicidade do limite I(x0 ) = m e
portanto x0 e o minimizante desejado.
De facto, nao e necessario que a func
ao seja contnua, isto e, nao e
necessario que limn+ I(xn ) = I(x) sempre que xn x, mas apenas
limn+ I(xn ) I(x), ou seja, que I() seja semicontnuo inferior, pois so
estamos interessados no mnimo.
A ideia do metodo directo e, reproduzir esta analise no caso de dimensao
finita, encontrar sucessoes minimizantes pertencentes a um conjunto fechados e limitado e assegurar a semicontinuidade inferior. Contudo, em dimensao infinita, este problema e muito mais delicado. Com efeito, a primeira hipotese nao e, em geral, suficiente para permitir a extracc
ao de uma
subsucessao convergente. Isto e possvel apenas, com uma topologia mais
fraca que a usual. A segunda imposic
ao e ent
ao que I() seja semicontnuo
inferiormente em relacao à topologia fraca, para garantir que o nfimo seja
de facto um minimizante. Este u
ltimo requisito e cumprido por uma vasta
classe de funcionais I(), nomeadamente aqueles cuja func
ao integranda e
convexa relativamente à vari
avel velocidade.
O problema de obter boas propriedades de compacidade e o problema de
obter a semicontinuidade inferior do funcional, sao antag
onicos, na medida
em que quanto mais se enfraquece a topologia menos possibilidades temos
de I() ser semicontnuo inferiormente.
Um espaco de funcoes X razo
avel deve ser completo. Devemos revestir
X com a topologia fraca para obtermos a compacidade das soluc
oes minimizantes. No caso em que X e reflexivo, uma das caractersticas das topologias fracas e que as sucessoes uniformemente limitadas sao pre-compactas.
Assim, para obter a compacidade na topologia fraca, e suficiente obter a
limitacao das sucessoes minimizantes, e isto pode ser obtido impondo um
comportamento apropriado da func
ao lagrangiano no infinito (por exemplo,
o crescimento superlinear).
20
DAS VARIAC
OES
NO CASO CONVEXO
2. O CALCULO
4.1. Teorema geral de exist

encia. Considera-se o problema da minimizacao de integrais do tipo
Z b
L(t, x(t), x0 (t))dt, x() XAB ,
a
em que
XAB := {x() AC([a, b], IRn ) : x(a) = A, x(b) = B}

com A e B fixos.
Teorema 4.1. [AFP00, pag. 267] Seja L : [a, b]IRn IRn [0, +]
uma func
ao normal com L(t, s, ) convexa em IRn para todo o s IRn e todo
o t [a, b].
Ent
ao, o integral
Z b
L(t, x(t), x0 (t))dt
a
e sequencialmente semicontnuo inferior no espaco L1 ([a, b], IRn )L1 ([a, b], IRn )
dotado da topologia forte em L1 ([a, b], IRm ) e da topologia fraca em L1 ([a, b], IRn ).
Um resultado, muito conhecido, de existencia de soluc
ao do Calculo das
Variacoes e:
o 4.1. Diz-se que L(t, s, ) tem crescimento superlinear se exisDefinic
a
tir uma func
ao () tal que:
(1) L(t, s, ) () t, s, ;
(2) ()
|| quando || .
o 4.2. Diz-se que L(t, s, ) tem crescimento polinomial m se
Definic
a
existirem constantes positivas c0 , c1 , c2 e uma constante m 1 tais que:
c0 ||m L(t, s, ) c1 ||m + c2 ,
t, s, .
Teorema 4.2. (Teorema da Exist

encia de Tonelli [ET99, pag.
250])
Seja L : [a, b] IRn IRn (, +] uma funca
o normal tal que:
n
(1) L(t, s, ) e convexa em IR para qualquer t [a, b] e qualquer s
IRn ;
(2)
L(t, s, ) (||) + a(t)
onde : [0, +[ (0, +] e uma func
ao crescente, semicontnua
inferior e convexa, que satisfaz a condic
ao de crescimento superlinear e a() L1 ([a, b], IRn ).
Ent
ao, existe soluc
ao para o problema da minimizac
ao de integrais do tipo
Z b
a
na classe de funco
es

DIRECTO
4. O METODO
21
com A e B fixos.
4.2. Teoria de relaxa
c
ao. Nesta secc
ao considera-se o problema da
minimizacao de integrais variacionais do tipo
Z b
a
definido na classe de funcoes

com A e B fixos, em que o lagrangiano L() e nao convexo.
Como se viu na seccao anterior, no caso unidimensional, a condic
ao de
convexidade do lagrangiano e nao so suficiente, mas tambem necessaria para
garantir a semicontinuidade inferior do integral.
Isto sugere, uma limitac
ao dos metodos directos face a problemas variacionais onde se procura provar a existencia de soluc
ao sem a convexidade do
lagrangiano. Com efeito, existem problemas variacionais, nos quais nao se
supoem hipoteses de semicontinuidade inferior ou convexidade, com soluc
ao
optima. Isto acontece, em particular, quando o lagrangiano e linear em
relacao à variavel de estado.

Um resultado deste tipo foi estabelecido por Neustadt, ao aperceberse das potencialidades do Teorema de Liapunov. Mais tarde, teoremas de
existencia para lagrangianos nao-convexos foram estendidos a lagrangianos
mais gerais.
O seguinte resultado e uma extensao do (Teorema 4.1) no caso em que
o lagrangiano L(t, s, ) e nao-convexo.
Teorema 4.3. [ET99, pag. 247] Seja L : [a, b]IRn IRn (, +]
uma func
ao normal, com
L(t, s, ) (||),
onde : (0, +) (0, +) e uma func
ao crescente, semicontnua inferior,
convexa e superlinear.
Ent
ao, o integral
Z b
L (t, x(t), x0 (t))dt
a
e sequencialmente semicontnuo inferior no espaco L1 ([a, b], IRn )L1 ([a, b], IRn )
dotado da topologia forte em L1 ([a, b], IRm ) e da topologia fraca em L1 ([a, b], IRn ).
Teorema 4.4. (Teorema de Relaxa
c
ao [ET99, pag. 251]) Seja L :
n
n
[a, b] IR IR (, +] uma funca
o normal, com
L(t, s, ) (||) + a(t),
onde : (0, +) (0, +] e uma funca
o crescente, semicontnua inferior e
convexa, que satisfaz a condic
ao de crescimento superlinear e a() L1 (a, b).
DAS VARIAC
OES
NO CASO CONVEXO
2. O CALCULO
22
Ent
ao, existe minimizante para o integral relaxado
Z b
L (t, x(t), x0 (t))dt,
a
definido na classe
XAB := {x AC([a, b], IRn ) : x(a) = A, x(b) = B}
com A e B fixos.
o 4.1. [ET99, pag. 287] No caso em que se verificam as
Observac
a
hip
oteses:
(1) : [0, +) [0, +) e uma func
ao convexa, crescente e semicontnua inferior que satisfaz a condic
ao de crescimento superlinear;
(2) g() uma funca
o normal definida em [a, b] IRn , tal que g(t, )
(||)
(3) Dados 1 , e L() uma func
ao normal definida em [a, b]
IRn IRn , para os quais:
(a) se 1 < , existem a1 e a2 L1 ([a, b]), b 0 e c 1 tais
que g(t, ) + a2 (t) L(t, x, ) cg(t, ) + b|x| + a1 (t);
(b) se = , existe a2 L1 ([a, b]) e, para todo o k > 0, existem
c 1 e a1 L1 ([a, b]) tais que g(t, ) + a2 (t) L(t, x, )
cg(t, ) + a1 (t) para |x| k;
(c) para quase todo t [a, b], a restric
ao de L(t, , ) a
IRm dom g(t, ) e contnua.
Rb
Rb
o integral relaxado tem soluc
ao e min a L (t, x(t), x0 (t))dt = inf a L(t, x(t), x0 (t))dt.
5. Regularidade dos minimizantes
Teorema 5.1. [BGH98, pag. 134] Seja L : [a, b] IRn IRn IR uma
func
ao de classe C 2 , com crescimento polinomial de grau p > 1, n 1, e
que satisfaz as seguintes condic
oes:
(1) Existem constantes c0 , c1 > 0 tais que para todo o (t, s, ) [a, b]
IRn IRn ,
(15)
c0 ||p L(t, s, ) c1 (1 + ||p );

(2) Existe uma func
ao M (R) > 0 tal que
(16)
|Ls (t, s, ) L (t, s, )| M (R)(1 + ||p ),

para todo (t, s, ) [a, b] IRn IRn com t2 + |s|2 R2 ;
(3) para todo (t, s, ) [a, b] IRn IRn e para todo o IRn \ {0},
(17)
Li k (t, s, ) i k > 0.
5. REGULARIDADE DOS MINIMIZANTES
23
p
Seja XAB
a classe das func
oes x() W 1,p (a, b; IRn ) que satisfazem as
p
condic
oes de fronteira x(a) = A e x(b) = B. Suponha-se y() XAB
um
minimizante (local) para o integral
Z b
m
(18)
L(t, x(t), x0 (t))dt, x() XAB
.
a
Ent
ao, y() C 2 ([a, b]; IRn ) e satisfaz a equac
ao de Euler-Lagrange.
Teorema 5.2. [BGH98, pag. 144] Seja L() uma func
ao suave com
crescimento superlinear, e que satisfaz L > 0.
Seja y() XAB um minimizante local forte para o integral
Z b
(19)
L(t, x(t), x0 (t))dt,
a
e suponha-se que: ou Ls (, y(), y 0 ()) L1 (a, b); ou que Lt (, y(), y 0 ())

L1 (a, b).
Ent
ao, y() e suave e satisfaz tanto a equac
ao de Euler-Lagrange
d
L (t, y(t), y 0 (t)) + Ls (t, y(t), y 0 (t)) = 0,
dt
bem como a equac
ao de DuBois-Reymond
(20)
(21)
d
[L(t, y(t), y 0 (t)) y 0 (t)L (t, y(t), y 0 (t))] = Lt (t, y(t), y 0 (t)).
dt
5.1. Condi
c
oes necess
arias sob a forma de inclus
oes diferenciais. Como consequencia de desenvolvimentos recentes em analise nao suave, foi possvel estender as condic
oes necessarias classicas de existencia de
solucao sob a forma de inclusoes diferenciais.
Nesta seccao considera-se o problema de minimizac
ao de integrais do
tipo
Z b
L(t, x0 (t))dt,
a
L(x(t), x0 (t))dt
definidos em XAB . Define-se , como anteriormente, para p [1, +], a

classe de funcoes
p
XAB
:= {x(t) W 1,p ([a, b], IRn ) : x(a) = A, x(b) = B},
e para > 0 as vizinhancas forte e fraca (respectivamente)de y():

Np (y()) = {x(t) y(t) + W01,p ([a, b], IRn ) : |y(t) x(t)| < , t [a, b]},
p
N 0 (y()) = {x(t) y(t)+W01,p ([a, b], IRn ) : ky(t)x(t)kW 1,p < , t [a, b]}.
0
DAS VARIAC
OES
NO CASO CONVEXO
2. O CALCULO
24
p
o 5.1. Uma func
Definic
a
ao y() XAB
denomina-se W 1,q -minimizante
1,q
local forte (resp. W -minimizante local fraco), com q p, se existir uma
constante > 0 tal que
Z b
Z b
0
L(t, x0 (t))dt,
L(t, y (t))dt
a
qualquer que seja x()
Nq (y())
(resp. x() N 0 q (y())).
Teorema 5.3. [AAB89] Seja L : [a, b] IRn [0, +] uma func

ao
LB-mensur
avel, com L(t, ) semicontnua inferior e convexa q.s. em [a, b].
Seja y() XAB um W 1, -minimizante local fraco para o integral
Z b
L(t, x0 (t))dt
a
y 0 (t)
com
int (dom L(t, )) q.s. em [a, b].
Ent
ao, existe c IRn que verifica a inclus
ao c L(t, y 0 (t)) q.s. em
[a, b].
Teorema 5.4. [AAB89] Seja L : IRn IRn [0, +] uma func
ao de
Borel, tal que para todo o s IRn , L(s, ) e convexa e semicontnua inferior
em IRn . Seja y() XAB um W 1,1 -minimizante local fraco para o integral
Z b
L(x(t), x0 (t))dt, x() XAB .
a
Sup
oe-se ainda que
(22)
y 0 (t) int (dom L(y(t), ))
q.s. em
[a, b].
Ent
ao, existem c IR e uma func
ao mensur
avel p(t) tais que
p(t) L(y(t), y 0 (t)),
c = hp(t), y 0 (t)i L(y(t), y 0 (t)),
q.s. em [a,b].
CAPTULO 3
Resultados recentes no caso n

ao-convexo
1. O problema n
ao dependente da vari
avel de estado
Nesta seccao considera-se o problema de minimizac
ao de integrais
Z b
(23)
L(t, x0 (t))dt, x() X0d ,
a
onde X0d e a classe das func

oes x : [a, b] IRn absolutamente contnuas que
satisfazem as condicoes de fronteira x(a) = 0 e x(b) = d.
Teorema 1.1. [Mar02] Seja L : [a, b] IRn (, +] uma func
ao
L B-mensur
avel, tal que dom(L(t, )) e convexo q.s. em [a, b].
Suponha-se que existe uma func
ao absolutamente contnua y() tal que
Rb
0
o integral a L(t, y (t))dt existe, tem valor finito, e
y 0 (t) int(domL(t, ))
(24)
q.s. em
[a, b].
Ent
ao, quaisquer que sejam p, q [1, +] e para todo o > 0,
Z b
Z b
0
(25)
infp
L(t, x (t))dt =
infq
L (t, x0 (t))dt.
x()N (y()) a
Em particular,
(26)
x()N (y()) a
L(t, x (t))dt =
inf
p
x()X0d
Z
0
inf
p
x()X0d
L (t, x0 (t))dt.
o. Como L (t, ) L(t, ), basta mostrar que qualquer

Demonstrac
a
que seja > 0, e quaisquer que sejam p, q [1, +]
Z
infp
x()N (y()) a
Z
L(t, x0 (t))dt
infq
x()N (y()) a
L (t, x0 (t))dt,
Com vista ao absurdo, supoe-se que para algum > 0 e p, q [1, +],
existe w(t) Nq (y()), tal que
Z b
Z b
0
L (t, w (t))dt <
infp
L(t, x0 (t))dt.
a
x()N (y()) a
Considera-se portanto, dois n

umeros reais e , para os quais
Z b
Z b
0
L (t, w (t))dt < < <
infp
L(t, x0 (t))dt.
x()N (y()) a
25

3. RESULTADOS RECENTES NO CASO NAO-CONVEXO
26
Escolhe-se ]0, 12 [, de tal modo que B(w(t), ) B(y(t), ) para todo

o t [a, b] e
Z b
Z b
0
L (t, w (t))dt +
L (t, y 0 (t))ds < .
(1 )
a
define-se w(t)
e := (1 )w(t) + y(t) de tal modo que para todo o t [a, b]
B(w(t),
e
) B(y(t), ), e pela convexidade da func
ao L ()
Z b
Z b
Z b
0
L (t, w
e (t))dt (1 )
L (t, w (t))dt +
L (t, y 0 (t))dt < .
a
w0 (t)
(L (t, ))
Alem disso, como

dom
q.s. em [a, b], em virtude da
convexidade do conjunto dom L(t, ), e como y 0 (t) int(dom L(t, )) verificase a inclusao w
e0 (t) int(domL(t, )) q.s. em [a, b]. Logo,
(27)
Rb
a
L (t, w
e0 (t)) = co L(t, w
e0 (t))
q.s. em
[a, b].
Considera-se g : [a; b] IR, com g() L1 (a, b), g(t) > L (t, w
e0 (t)) e
g(t)dt < .
Combinando (27) juntamente com (128) resulta que a multifunc
ao
: t [a, b] (t) [0, 1]n+1 (IRn )(n+1) ,
n+1
n+1
n+1
X
X
X
(t) := (, ) :
j = 1,
j j = w
e0 (t),
j L(t, j ) g(t), L(t, j ) < + ,
j=1
j=1
j=1
e nao vazia e mensuravel. Aplica-se o (Teorema 3.37) e deduz-se a existencia

de funcoes mensuraveis j : [a, b] [0, 1], j : [a, b] IR, j = 1, ..., n + 1,
P
e0 (t) e
tais que n+1
j=1 j j = w
(28)
n+1
X
j L(t, j ) g(t) q.s. em
[a, b].
j=1
Considera-se > 0 um n
umero real, tal que para todo o conjunto
E [a, b] com |E| < 2 se verificam as desigualdades:
Z
0
|y (t)| + |w
e0 (t)| dt < ,
(29)
3
E
Z
(30)
1
|L(t, y 0 (t))|dt < ( ),
2
E
Z
(31)
g(t)dt < .
[a,b]\E
Escolhe-se r ]0, 1[ tal que para G = {t : B(w

e0 (t), nr) domL(t, )}
|G| > b a 2 .
DEPENDENTE DA VARIAVEL
DE ESTADO
1. O PROBLEMA NAO
27
Considera-se C G um conjunto compacto, com (ba) < |C| < ba,

e M > 0 uma constante, tal que para q.t.p t C e para todo IRn com
i {w
ei0 (t), w
ei0 (t) + r, w
ei0 (t) r}, i = 1, ..., n,
0
(32)
n+1
X
|y (t)| + |w
e (t)| +
|j (t)| +
j=1
n+1
X
|L(t, j (t))| + |L(t, )| M
j=1
Definem-se = min{
2M , , |C|, 3n }, [a, b] \ C um conjunto, e N > 0
uma constante, tais que
(33)
n+1
X
(|L(t, j )| + |j (t)|)+|w
e0 (t)|+|y 0 (t)| N
q.s. em
[a, b]\(C),
j=1
Z
|w
e0 (t) y 0 (t)|dt r.
(34)
Considera-se C 0 C um conjunto com |C 0 | = . Define-se =

[a, b] \ ( C 0 ) e 1 , ..., s uma partic
ao finita de em subconjuntos
mensuraveis e dois a dois disjuntos, tais que |k | < , sup k inf k+1 ,
k = 1, ..., s, e
Z
|w
e0 (t)| +
(35)
k
n+1
X
j=1
|j (t)| dt ,
3
k = 1, ..., s.
Para todo o k {1, ..., s} aplica-se o (Teorema 3.33) às func

oes
hj : k IRn+1 , j = 1, ..., n + 1 definidas por hj (t) = (j (t), L(t, j (t))),e
k
deduz-se que para todo o k = 1, ..., s existem conjuntos disjuntos E1k , ..., En+1
Pt Pn+1
k tais que para (t) = k=1 j=1 E k (s)j (t)
j
(36)
(t)dt =
k
n+1
X
k j=1
Z
j (t)j (t)dt =
w
e0 (t)dt,
k = 1, ..., s,
e por (28) e (31)

Z
(37)
L(t, (t))dt =
Z n+1
X
j=1
Z
j (t)L(t, j (t))dt
g(t)dt < .
R
Para todo o i {1, ..., n} define-se i (t) := [w
ei0 (t) yi0 (t)]dt. Pela
desigualdade (34) pode escolher-se um conjunto Ci0 C 0 tal que |Ci0 | = |ir(t)| .

28
Define-se ainda, para todo o i {1, ..., n},
yi0 (t)
em t ,
i (t) em t ,
i (t) :=
w
ei0 (t) + r sgn (i (t))
em t Ci0 ,
w
em t C 0 \ Ci0 ,
ei0 (t)
Rt
e faz-se x
e(t) = a ( )d . Por (32) resulta que |L(t, (t))| M
q.s. em C 0 . Alem disso, de (36) obtem-se
Z
x
e0i (t)dt =
Z
Z
Z
=
x0i (t)dt +
i (t)dt +
w
ei0 (t)dt + |i (t)| sgn (i (t)) =
a
Z
=
a
C0
w
ei0 (t)dt.
Entao, por (32) e (33), y(t) x

e(t) W01, (a, b).
Por (29), (35) e (36), para todo o t [a, b]
|e
x(t) w(t)|
e
Z
|y 0 ( ) w
e0 ( )|d +
|( ) w
e0 ( )|d + n

+ + ,
3 3 3
onde k {1, ..., s} e tal que sup k1 < s sup k , e 0 = {a}. Logo,
x
e(t) Np (y()). Das desigualdades (30) e (37) deduz-se
Z b
L(t, x
e0 (t))dt =
L(t, y (t))dt +
Z
L(t, (t))dt +
L(t, (t))dt <

C0
1
< ( ) + + M <
2
Z b
infp
L(t, x0 (t))dt
x()N (y()) a
o que contradiz a hipotese formulada.
O seguinte Teorema generaliza o (Teorema 5.3). Consideram-se lagrangianos nao-convexos, aos quais so e exigida a L B-mensurabilidade. Recorrendo ao (Teorema 1.1), prova-se que a inclusao de Euler-Lagrange e
condicao necessaria e suficiente para a existencia de mnimo.
DE ESTADO
1. O PROBLEMA NAO
29
Teorema 1.2. [Mar02] Sejam, L : [a, b] IRn (, +] uma

func
ao L B-mensur
avel tal que dom (L(t, )) e um conjunto convexo q.s.
Rb
em [a, b], e y(t) XAB de tal modo que: o funcional integral a L(t, y 0 (t))dt
existe, e finito, e
y 0 (t) int (dom L(t, )),
(38)
q.s. em
[a, b].
Ent
ao, as seguintes condic
oes s
ao equivalentes:
1,p
(1) y(t) e um W -minimizante local forte para o funcional integral
Rb
L(t, y 0 (t))dt;
Rab
Rb
(2) a L (t, y 0 (t))dt = minx()X p a L (t, x0 (t))dt;
0d
(3) Existe c IRn tal que c L(t, y 0 (t)) q.s. em [a, b], i.e., y()
satisfaz a inclus
ao diferencial de Euler-Lagrange.
o. Parte I: (1) (2).
Demonstrac
a
uma consequencia imediata do (Teorema 1.1), pois L () e convexa.
E
Parte II: (2) (3).
Considera-se que
e ) := max{ L (t, ), L (t, y 0 (t)) 1} [L (t, y 0 (t)) 1].
L(t,
e ) e uma funcao nao negativa, convexa e semicontnua inferior.
Ora, L(t,
e x0 (t)) L (t, x0 (t)) L (t, y 0 (t)) + 1, resulta que
Portanto, como L(t,
Z b
Z b
e y 0 (t))dt = min
e x0 (t))dt.
L(t,
L(t,
x()X0d
e y 0 (t)) q.s. em [a, b],

Pelo (Teorema 5.3) existe c IR tal que c L(t,
n
i.e,
max{L (t, ), L (t, y 0 (t)) 1} L (t, y 0 (t)) + hc, y 0 (t)i,
qualquer que seja IRn e q.s. em [a, b].
Logo, existe um n
umero real > 0 tal que
L (t, ) L (t, y 0 (t)) + hc, y 0 (t)i
q.s. em [a, b] e para todo o B(y 0 (t), ). Pela convexidade de L (),
c L (t, y 0 (t)) q.s. em [a, b].
Portanto,
L(t, ) L (t, ) L (t, y 0 (t)) + hc, y 0 (t)i =
= L(t, y 0 (t)) + hc, y 0 (t)i.
Parte III: (3) (1).
p
Para toda a funcao x() X0d
, pela desigualdade subgradiente
Z b
L(t, x0 (t))dt
Z
Z
0
L(t, x (t))dt +
a
a
b
Z
0
hc, x (t) y (t)idt =

a
L(t, y 0 (t))dt.

30
Dado um subconjunto S IRn , representamos por S () a sua func

ao
indicatriz. Se y() e um W 1, -minimizante local fraco para o integral
Rb
0
ca N 0
(y()), define-se
a L(t, x (t))dt na vizinhan
e (t, ) := L(t, ) + B(y0 (t),) ().
L
Rb
e (t, x0 (t))dt. PorEntao, y() e um minimizante global para o integral a L
tanto:
Corolario 1.1. Suponhamos que se verificam as hip
oteses do (Teorema
1.2), ent
ao a func
ao y() XAB e um W 1, -minimizante local fraco para
Rb
o se
o funcional integral a L(t, x0 (t))dt na vizinhaca fraca N 0
(y()) se e s
existe uma constante c IRn tal que
e (t, y 0 (s)) =
c L
{ : L(t, w0 (t)) L(t, y 0 (t)) + h , w(t) y 0 (t)i
w(t) B(y 0 (t), )}.
q.s. em [a, b]
Teorema 1.3. Seja L : [a, b] IR (, +] uma func
ao L Bmensur
avel. Denota-se por Ct = { IRn : L(t, ) = L (t, )} e suponhase que existe uma func
ao m() Lp (a, b) tal que
(39)
(Ct ) B(0, m(t)) q.s. em [a, b],

Rb
p
Ent
ao o funcional integral a L(t, x0 (t))dt admite mnimo na classe X0d
se
p
e s
o se existe y() X0d tal que
Z b
Z b
0
L (t, x0 (t))dt
L (t, y (t))dt = min p
x(t)X0d
e y 0 (t) co(Ct )
q.s.
em
[a, b].
o. Parte I: (Condi
Demonstrac
a
c
ao Necess
aria).
A demonstracao e imediata, por aplicac
ao do (Teorema 1.2).
Parte II: (Condi
c
ao suficiente).
Como y 0 (t) co (Ct ) existem func
oes mensuraveis j : [a, b] [0, 1],
j : [a, b] IR, com j (t) Ct , j = 1, ..., n + 1 tais que
n+1
X
j j (t) = y 0 (t),
j=1
e L (t, ) e uma funcao afim no conjunto co{j (s), j = 1, ..., n + 1} q.s. em

[a, b].
Aplica-se o (Teorema de Liapunov 3.33) às func
oes gj (t) = (j , L (t, j (t))),
j = 1, ..., n + 1, e deduz-se a existencia de conjuntos disjuntos e mensuraveis
DE ESTADO
1. O PROBLEMA NAO
31
Rb
Rb 0
P
E1 , ..., En+1 , tais que para (t) = n+1
j=1 Ej (t)j (t), a (t)dt = a y (t)dt e
Z b
n+1
XZ
L(t, (t))dt =
L (t, j (t))dt =
a
j=1
Z b n+1
X
a j=1
Ej
Z
j (t)L (t, j (t))dt =
Pela inclusao (39) e como (t)
Lp (a, b)
L (t, y 0 (t))dt.
tem-se o resultado pretendido.
1.1. Integrais com lagrangiano L (t, ) afim no infinito. Nesta

seccao supoe-se que: L : [0, 1] IR IR e uma func
ao normal, e que para
todo t [a, b], Ct = { IR : L (t, ) = L(t, )} (se Ct nao depender to
tempo t, o conjunto denota-se por C).
Rb
Como consequencia do (Teorema 1.2), se o integral a L(t, x0 (t))dt tem
como minimizante a funcao y(), ent
ao L (t, ) IR e o conjunto Ct 6=
q.s. em [0, 1]. Por este motivo, doravante considera-se Ct 6= q.s. em [0, 1].
Considera-se tambem que o inv
olucro convexo L (t, ) e afim em IR \ Ct .
Mais precisamente, considera-se que o conjunto Ct e limitado q.s. em [0, 1]
e que L (t, ) e afim no complementar de Ct .
No caso em que o lagrangiano e autonomo, i.e., L(t, ) = h() o mnimo
existe se e so se
min C d max C.
Quanto o lagrangiano nao e autonomo, para que exista mnimo e necessario que
Z 1
Z 1
(40)
[min Ct ]dt d
[max Ct ]dt,
0
caso os integrais estejam bem definidos. Contudo esta condic

ao nao e suficiente para garantir a existencia de mnimo. No que se segue estabelece-se
uma limitacao sobre o declive d mais forte que (40), de modo a obter uma
condicao necessaria e suficiente para a existencia de mnimo.
Considera-se a seguinte notac
ao:
(t, ) as derivadas laterais esquerda e direita de L (t, );
L
(t,
)
e
L
e
d
(t) = L
e (t, )(t, min Ct ) e (t) = Ld (t, )(t, max Ct );
ge , gd : [a, b] IR IR func
oes tais que
para < (t)

max L (t, )
gd (t, ) :=
max Ct
para (t)
para > (t)

min L (t, )
ge (t, ) :=
min Ct
para (t)
onde L (t, ) denota o subgradiente de L (t, ).

32
o 1.1. Quando (t) < < (t), as func

Observac
a
oes ge () e gd ()
s
ao (respectivamente) as derivadas laterais esquerda e direita de L (t, ). As
func
oes s
ao truncadas de modo a assumir valores no intervalo [min Ct , max Ct ].
Apesar desta modificac
ao, ge () e gd () satisfazem as mesmas propriedades que as derivadas de L (t, ). Em particular, ge () e gd () s
ao mon
otonas,
n
ao decrescentes, e gd () e contnua `
a direita, enquanto que ge () e contnua
`
a esquerda.
Observe-se tambem que min Ct L (t, (t)) e max Ct L (t, (t)).
Definem-se
ainda
= inf esst[0,1] Ld (t, max Ct ).
sup esst[0,1] L
e (t, min Ct )
Teorema 1.4. Suponha-se que Ct e limitado q.s. em IR, e que max Ct ,

min Ct Lp (a, b). Ent
ao, o integral
Z b
L(t, x0 (t))dt
a
admite mnimo se e s
o se e
Z b
Z b
(41)
ge (t, )dt d
gd (t, )dt.
a
o. Parte I: (Condi
Demonstrac
a
c
ao necess
aria).
Rb
Como consequencia do (Teorema 1.2), se o integral a L(t, x0 (t))dt adR1
mite mnimo, existem uma func
ao y() e uma constante c tais que 0 y 0 (t)dt =
de
(42)
c L (t, y 0 (t)) q.s. em [a, b].
Alem disso, y 0 (t) Ct q.s. em [0, 1]. Portanto,
(t) = L
e (t, min Ct ) Le (t, y (t)) c Ld (t, y (t)) Ld (t, max Ct ) = (t)
q.s. em [0, 1]. Logo, c .

Como c L (t, y 0 (t))
ge (t, ) ge (t, c) y 0 (t) gd (t, c) gd (t, ),
donde resulta (41).
Parte II: (Condi
c
ao suficiente).
Como gd () e ge () sao func
oes contnuas à direita e esquerda (respectiR1
R1
vamente), as funcoes Gd ( ) := 0 gd (s, )dt e Ge ( ) := 0 ge (s, )dt s

ao
contnuas à direita e à esquerda (respectivamente) em [, ]. Portanto, para
c := sup { : Ge ( ) d},
Z 1
Z 1
Ge (t, c) =
ge (t, c)dt d
gd (t, c)dt = Gd (t, c).
0
Entao, existe uma constante r [0, 1] tal que, a func

ao
para t [0, r]
ge (t, c)
(t) :=
gd (t, c)
para t [r, 1]
DE ESTADO
1. O PROBLEMA NAO
33
R1
satisfaz a igualdade 0 (t)dt = d.
Rt
Define-se y(t) = 0 ( )d . Ent
ao, de como se definiu (), resulta que
y 0 (t) L (t, ), i.e., c L (t, y 0 (t)) q.s. em [0, 1].
Portanto, como consequencia do (Teorema 1.3), y(t) e um minimizante
para o integral
Z b
L(t, x0 (t))dt.
a
1.2. Integrais com lagrangiano L (t, ) estritamente convexo.

Nesta seccao considera-se que o lagrangiano L : [0, 1]IR IR tem inv
olucro
estritamente convexo no infinito, i.e., considera-se que o conjunto Nt =
IR\Ct e limitado q.s. em IR, e que L(t, ) e estritamente convexa em IR\co Nt .
Denota-se por:
Le (t, ) e Ld (t, ) as derivadas laterais esquerda e direita de L(t, );
Le (t, ) e Ld (t, ) as derivadas laterais esquerda e direita de L (t, );
Considera-se ainda que:
Le (t, ) = Ld (t, ) = lim Le (t, ) = lim Ld (t, ),
e
Le (t, +) = Ld (t, +) = lim Le (t, ) = lim Ld (t, ).
+
= sup esst[0,1] Le (t, ) e = inf esst[0,1] Ld (t, +).

Tdp = { [, ] IR : Ld (t, ) Lp (0, 1)} ,
Tep = { [, ] IR : Le (t, ) Lp (0, 1)} .
Teorema 1.5. Suponha-se que Nt e um conjunto limitado q.s. em [0, 1]
com
(43)
min Nt , max Nt Lp (0, 1);
e L(t, ) estritamente convexa em IR \ co Nt .

Rb
Ent
ao, o integral a L(t, x0 (t))dt admite mnimo se e s
o se uma das
seguintes condic
oes se verifica:
R1
R1
(1) Tdp Tep 6= e inf Tep 0 Le (t, )dt < d < sup T p 0 Ld (t, )dt;
d
R1
(2) Tep 6= e d = min Tep 0 Le (t, )dt;
R1
(3) Tdp 6= e d = max T p 0 Ld (t, )dt.
d
o. Parte I: (Condi
Demonstrac
a
c
ao suficiente).
Por [Mar97, Teorema 3] deduz-se a existencia de um minimizante z()
Rb
para o funcional integral relaxado a L (t, x0 (t))dt.
O problema reduz-se portanto a provar a existencia de uma func
ao y()
Rb
R b
1,p
0
0
z() + W0 (0, 1) tal que a L(t, y (t))dt = a L (t, z (t))dt.
34
Como o conjunto Nt e limitado, [ET99, Lema 8.3.3]

L (t, ) = min {1 L(t, 1 ) + 2 L(t, 2 ) :
: 1 , 2 [0, 1], 1 + 2 = 1, 1 1 + 2 2 = }.
Portanto, por [ET99, Proposic
ao 8.3.1] existem func
os mensuraveis
1 , 2 : [0, 1] [0, 1]; 1 , 2 : [0, 1] IR tais que
L (t, z 0 (t)) = 1 L(t, 1 ) + 2 L(t, 2 ),
com z 0 (t) = 1 1 + 2 2 . Alem disso, por (43) 1 , 2 Lp (0, 1).
Aplica-se o (Teorema de Liapunov 3.33) às func
oes
gj (t) = (j , L(t, j (t))),
para j = 1, 2, e deduz-se a existencia de dois conjuntos disjuntos e mensuraveis E1 e E2 tais que para (t) = E1 (t)1 (t) + E2 (t)2 (t),
Z 1
Z 1
(t)dt =
z 0 (t)dt e
Z
0
1
L(t, (t))dt =
L(t, 1 )dt +
L(t, 2 )dt =
E1
E2
Z 1
=
[1 L(t, 1 )dt + 2 L(t, 2 )] dt =
0
Z 1
=
L (t, z 0 (t))dt.
Rt 0
Portanto, para y(t) = 0 ( )d , y(t) z(t) + W01,p (0, 1) e
Z b
Z b
0
L(t, y (t))dt =
L (t, z 0 (t))dt.
0
Parte II: (Condi

c
ao necess
aria).
Como L (t, ) = (L (t, )) o teorema fica demonstrado por aplicac
ao
do (Teorema 5.3) e por [Mar97, Teorema 3].

2. O PROBLEMA AUTONOMO
35
2. O problema aut
onomo
No que segue estudam-se os artigos [Orn], [Orn05],onde se demonstra, para o caso escalar unidimensional, a existencia de minimizantes para
integrais do tipo
Z b
(44)
L(x(t), x0 (t))dt,
x() XAB ,
a
onde XAB representa a classe das func

oes absolutamente contnuas x :
[a, b] IR IR que verificam as condic
oes de fronteira x(a) = A e x(b) = B.
Em [Orn05] chama a atenc
ao para o facto do ingrediente essencial para a
Rb
semicontinuidade inferior sequencial fraca do funcional integral a L(x(t), x0 (t))dt
ser a semicontinuidade inferior do lagrangiano L(), em [Iof77]) e [Amb87]
demonstra-se que para uma grande classe de lagrangianos unidimensionais,
aqueles em que L(x(t), ) e uma func
ao convexa e semicontnua inferior (
como acontece quando L() e L B-mensuravel, L(, 0) e semicontnua inferior com valores finitos e cujo subdiferencial L(, 0) contem uma func
ao
m() L1loc (IR)), e possvel obter a semicontinuidade inferior sequencial fraca
Rb
para o integral a L(x(t), x0 (t))dt. Isto permite considerar problemas de minimizacao
de
funcionais
integrais,
do
tipo
Rb
0
encia do lagrangiano em relac
ao à sea L(x(t), x (t))dt, em que a depend
gunda variavel x0 (t) pode ser extremamente irregular, por exemplo, naosemicontnua inferior em qualquer ponto onde x0 (t) 6= 0. Assim, nos artigos
[Orn], [Orn05] o autoremonstra a existencia de minimizantes para o inteRb
gral a L(x(t), x0 (t))dt, no caso em que sobre o lagrangiano sao consideradas
hipoteses de contem as anteriores, no caso escalar unidimensional. Com
efeito, em [Orn05] considera-se que L(, x0 (t)) nao semicontnua inferior (
excepto nos pontos (x(t), 0)), admitindo a possibilidade de ser L(, 0) = +
e L(, 0) = em qualquer ponto.
Por outro lado, existem resultados que demonstram que a convexidade
nao e uma condicao necessaria para a existencia de minimizantes. Em
[Orn05], destaca-se a importancia que a condic
ao de zero-convexidade do
lagrangiano (i.e., L (x(t), 0) = L(x(t), 0) com x() unidimensional) tem
na demonstracao da existencia de minimizantes para os integrais do tipo
Rb
0
e nao-linear, nao-convexo, mas zeroa L(x(t), x (t))dt onde o lagrangiano
convexo e com crescimento superlinear no infinito ( isto e, verifica a condic
ao:
(45)
inf L(IR, )
+
||
|| +.
Em [Orn05]prova-se que o minimizante e bimonotono, embora se considere que o lagrangiano tem um comportamento muito irregular numa vizinhanca de pontos (x(t), 0).
2.1. Mensurabilidade do lagrangiano.

36
Lema 2.1. Sejam x : [a, b] IR uma func

ao absolutamente contnua,
L e L0 : IR IR [, +] funco
es L B-mensur
aveis, para as quais
existe uma constante M 0 tal que
(46)
L(s, ), L0 (s, ) M (1 + ||)
IR e q.t.p. s IR
Se alem disso, L(, 0) for semicontnua inferior, L0 (, 0) 0 e S ()

representar a func
ao caracterstica de um conjunto mensur
avel S x([a, b]).
Ent
ao os integrais
Z b
(47)
L(x(t), x0 (t))dt
a
Z
(48)
a
L0 (x(t), x0 (t))x1 (S) (t)dt,
existem, e as func
oes L(x(t), x0 (t)) e L0 (x(t), x0 (t))x1 (S) (t) s
ao mensur
aveis.
o. A demonstrac
Demonstrac
a
ao do Teorema divide-se em varias partes:
Parte I: Definem-se os conjuntos
SL := {s IR :
L(s, 0) < +},
E0 := {t [a, b] : x0 (t) = 0},

E 0 := {t [a, b] : x0 (t) (, 0) (0, +)},
de tal modo que , SL e um boreliano, e E0 e E 0 s
ao mensuraveis. Com
efeito, da semicontinuidade inferior de L(, 0) resulta que para todo
S o k k IR,
k := {s IR : L(s, 0) k}
S
e
um
conjunto
fechado.
Como
kIR SL =
SL
{s
IR
:
L(s,
0)
k}
=
{s
IR
:
L(s,
0)
}
=
S
e F .
L
kIR
0
A mensurabilidade dos conjuntos E0 e E resulta de:
0
0
E 0 = {t [a, b] : x0 (t) (, 0)}{t [a, b] : x0 (t) (0, +)} = E
E+
e de E0 = [a, b] \ E 0 N (em que N e um conjunto de medida nula), logo

os conjuntos sao mensuraveis.
Portanto, em E0 a func
ao L(x(), x0 ()) = L(x(), 0) e mensuravel, pois
L(, 0) e semicontnua inferior.
Define-se tambem
L(s, ) para s SL ou 6= 0
L1 (s, ) :=
0
para
s
/ SL e = 0,
de tal forma que L1 (x(), x0 ())E 0 () = L(x(), x0 ())E 0 () q.s. em [a, b],
porque para t E 0 x0 (t) 6= 0. Como L1 (s, 0) IR s IR, definem-se
(s) := L1 (s, 0) e L0 (s, ) = L1 (s, )(s) pelo que L0 () e LB-mensur
avel
e L0 (, 0) 0.
Portanto: para provar a mensurabilidade da func
ao
L(x(), x0 ()) = L1 (x(), x0 ())E 0 () + L(x(), 0)E0 () =
= L0 (x(), x0 ())E 0 () + (x())E 0 () + L(x(), 0)E0 ()
q.s. em
[a, b]

37
basta provar a mensurabilidade de L0 (x(), x0 ())E 0 (), que e um caso particular do que segue (no caso em que S = IR).
Parte II:
Poe-se u() = (x(), x0 ())E 0 (), LS (s, ) := L0 (s, )S (s), () := LS (u()),
donde resulta que () = LS (x(), x0 ()) q.s. em [a, b] (ambos sao iguais a 0
q.s. em [a, b] \ E 0 , e coincidem no conjunto mensuravel E 0 ).
No que segue demonstra-se que () e uma func
ao mensuravel.
1
LS () e uma funcao LB-mensur
avel: LS (+) = L1
0 (+)(S IR),
1
e, como para cada r 0, LS ((r, +)) = L1
((r,
+))
(S IR) enquanto
0
1
1
que para r < 0 LS ((r, +)) = L0 ((r, +)) [(IR \ S) IR] que sao
conjuntos L B-mensuraveis .
Em particular, qualquer conjunto do tipo C = L1
S ((r, +)) pode (por
definicao de -algebra L B) ser gerado ( atraves de reunioes, intersecc
oes e
complementacoes contaveis ) a partir de conjuntos do tipo M B (com
necessario provar a mensurabiliM mensuravel e B um boreliano). E
dade da funcao (), i.e., dos conjuntos 1 ((r, +)), 1 (+); ou o
que e o mesmo, provar a mensurabilidade dos conjuntos u1 (C), para cada
1
C = L1
S ((r, +)) (para todo o r IR) e para C = LS (+). Para tal,
e suficiente provar a mensurabilidade de cada conjunto u1 (M B), porque cada um dos outros u1 (C) pode obter-se como resultado de aplicar
as operacoes (, , \) aos conjuntos u1 (M B) (necessarias para gerar C
a partir dos conjuntos M B), logo a mensurabilidade de u1 (C) e consequencia da mensurabilidade de u1 (M B).
Por outro lado, cada conjunto M B pode ser decomposto em conjuntos
do tipo (F N ) B = (F B) (N B), com F F e N um conjunto
de medida nula, de tal modo que
u1 (M B) = u1 (F B) u1 (N B).
Como cada conjunto u1 (F B) e mensuravel, resta provar a mensurabilidade dos conjuntos u1 (N B).
Com este intuto, define-se Ec := [a, b] \ E 0 . Ent
ao u() (0, 0) em
Ec , pelo que, se (0, 0) N B, Ec u1 (N B) e u1 (N B) Ec =
E0 ; ou entao (0, 0)
/ N B, caso em que Ec [a, b] \ u1 (N B) e
u1 (N B) Ec = .
Por definicao de E 0 , resulta que x() tem derivada x0 () 6= 0 q.s. em
T := {t E 0 : x(t) N }; por outro lado |x(T )| = 0, pois x(T ) N e
|N | = 0. Logo, 0 6= x0 (t) = 0 q.s. em T , por aplicac
ao do (Teorema 3.25),
1
devemos ter |T | = 0. Assim, o conjunto Z := u (N B) E 0 T tambem
tem medida nula, e portanto, e mensuravel.
Tendo em consideracao o que foi escrito nestes dois u
ltimos paragrafos,
u1 (N B) e igual a Ec Z ou ent
ao a Z, que sao ambos um conjunto mensuravel. (Isto acontece porque u1 (N C) e mensuravel qualquer que seja
conjunto C (mensuravel ou nao) e pode-se usar u() em vez de (x(), x0 ())).
Parte III:
38
Pondo M2 := min L(x([a, b]), 0), em E0 tem-se que

L(x(), x0 ()) = L(x(), 0) M2 (1 + |x0 ()|)
q.s. em
[a, b].
Tomando M1 := max{M, M2 }, prova-se que caso

L(x(), x0 ()) M1 (1 + |x0 ()|) q.s. em [a, b],
Rb
o funcional integral a L(x(t), x0 (t))dt existe (com valor finito ou +). Por
hipotese o conjunto
S1 := {s S : IR L(s, ) < M (1 + ||) para algum IR}
tem medida nula, logo pelo (Teorema 3.25) x0 (t) = 0 q.s. em T1 := {t
E 0 : x(t) S1 }, e |T1 | = 0. Portanto, verifica-se a desigualdade q.s. nos
conjuntos E0 e T 0 := {t E 0 : x(t) IR\S1 }; embora o seu complementar
T1 tenha medida nula.
De modo similar, se () = LS (x(), x0 ()) M1 (1 + |x0 ()|) q.s., ent
ao
Rb
0
o funcional integral a L0 (x(t), x (t))x1 (S) (t)dt existe (com valor finito ou
+). Mas, verifica-se de novo a desigualdade pretendida em x1 (S \ IRn )
( pois a () = 0 M1 (1 + |x0 ()|) ) q.s. em E0 , e em T 0 := {t E 0 :
x(t) S \ S0 }, onde
S0 := {s S : IR L0 (s, ) < M (1 + ||)},
enquanto que o seu complementar T0 := {t E 0 :
nula.
x(t) S0 }; tem medida
o 2.1. Uma forma de garantir a L B-mensurabilidade de

Observac
a
uma func
ao L : IR IR [, +], e exigir que L(, ) seja mensur
avel
para todo IR e L(s, ) seja ou contnua (por exemplo, convexa com valores finitos), ou ent
ao convexa e semicontnua inferior com domnio nunca
singular s (ver [RW98]).
S
ao propriedade equivalentes `
a L B-mensurabilidade mais a semicontinuidade inferior de L(s, ) :
i) a multifunc
ao s 7 epi L(s, ) tem valores fechados e e mensur
avel
(ver [RW98]);
e : IR IR [, +] Borel mensur
ii) existe uma func
ao L
avel,
e ) semicontnua inferior, para a qual L(s,
e ) = L(s, ) s
com L(s,
IR \ , onde representa um Boreliano de medida nula;
iii) Para todo o n N existem conjuntos fechados Kn IR com |IR \
Kn | < n1 , de tal modo que L() restringida a Kn IR e semicontnua
inferior.
e
Para L(), e L()
como no ponto ii), e com L(, 0) semicontnua inferior, verifica-se que ([Amb87, Observac
ao 4.5]):

39
define-se uma nova func

ao L1 : IR IR [, +],
e ) para 6= 0 e s IR \
L(s,
L1 (s, ) :=
L(s, 0)
para
= 0 e s ;
Ent
ao L1 (, 0) = L(, 0) e semicontnua inferior, L1 () e Borel
mensur
avel, L1 (s, ) = L1 (s, ) e semicontnua inferior (e convexa;
ou contnua, se L(s, ) o for) s IR \ , L1 (s, ) L(s, 0) e convexa e contnua s , i.e., L1 () e Borel mensur
avel e L1 (s, )
e semicontnua inferior e convexa; ou contnua, se L(s, ) o for)
s IR. Isto implica que se x : [a, b] IR e uma func
ao absolutamente contnua ent
ao
L1 (x(t), x0 (t)) = L(x(t), x0 (t))
q.s.;
com efeito, esta igualdade verifica-se para todos os pontos t para

os quais ou x(t) IR \ ou x0 (t) = 0, i.e., q.s. em [a, b]. Como
x0 (t) = 0 em q.t.p. t tal que x(t) , pelo ( Teorema3.25), porque x0 (t) existe q.s.. Como L1 () e Borel mensur
avel, a igualdade
L1 (x(t), x0 (t)) = L(x(t), x0 (t)) q.s., prova n
ao s
o a mensurabilidade
da func
ao t 7 L(x(t), x0 (t)) ( de uma forma independente do (Lema
2.1(1)), como tambem acentua a irrelev
ancia (com o objectivo de
Rb
lidar com integrais do tipo a L(x(t), x0 (t))dt), de considerar L1 ()
em vez de L(), pois o valor do integral e o mesmo.
Isto mostra que sempre que L() se considera LB-mensur
avel,
com L(, 0) e L(s, ) semicontnuas inferiores s, n
ao e limitativo
consider
a-las Borel mensur
aveis; enquanto que no que diz respeito
a propriedades de regularidade de L(s, ), basta consider
a-las com
excepc
ao de um conjunto de medida nula (caso as func
oes verifiquem essa propriedade).
2.2. Mudan
ca de vari
aveis.
Lema 2.2. Sejam x() XAB , m : x([a, b]) IR uma func
ao mensur
avel
e S x([a, b]) um conjunto mensur
avel. Ent
ao os integrais
Z B
(49)
m(s)S (s)ds
A
Z
(50)
a
m(x(t)) x0 (t)x1 (S) (t)dt
existem e s
ao iguais, desde que se verifique uma das hip
oteses:
(1) ou m() L (S);

1
(2) ou
ao limitada, em que M (s) :=
R s m() L (S) e M (x()) tem variac
m()
()d;
S
A
(3) ou o integral (50) existe;
40
(4) ou x() e uma func

ao mon
otona e o integral (49) existe ( por exemplo, m (), ou m+ () L1 (S); e se isto acontecer para S = x(E),
com E [a, b] mensur
avel, podemos escrever (49)=(50) como
Z
Z
(51)
m(s)ds =
m(x(t))x0 (t)dt ).
x(E)
o. A demonstrac
Demonstrac
a
ao do Teorema divide-se em varias partes.
Parte I:
Considere-se que m() L (S). Qualquer que seja a func
ao absolutamente contnua x(), a mensurabilidade do lagrangiano L(x(t), x0 (t)) e
garantida pelo (Lema 2.1). Define-se L0 (s, ) := m() (que e func
ao de
Caratheodory) e aplica-se o (Corolario 3.3) com f () = m()S (). Logo,
RB
Rb
0
e finito.
A m(s)S (s)ds = a m(x(t))x (t)x1 (S) (t)dt
Parte II:
1
Supoe-se agora que m()
ao de variac
ao liR s L (S), e M (x()) e uma func
mitada, tal que M (s) := A m()S ()d. Por aplicac
ao do (Teorema 3.32);
RB
Rb
m(x())x0 () L1 (x1 (S)), e A m(s)S (s)ds = a m(x(t))x0 (t)x1 (S) (t)dt,
isto caso M (x()) seja absolutamente contnua, o que pelo (Teorema 3.24)
resulta de M (x()) ter variac
ao limitada (pois verifica a condic
ao (N) de
Lusin).
Parte III:
Rb
Suponhamos que o integral a m(x(t))x0 (t)x1 (t)dt existe. Para provar
a mensurabilidade dos conjuntos E := {t x1 (S) : x0 (t) (, 0)},
E+ := {t x1 (S) : x0 (t) (0, +)}, S = F N (com F do tipo
F e N um conjunto de medida nula). Considera-se o conjunto mensuravel
T := {t [a, b] : x0 (t) (, 0)}, ent
ao,
E = T x1 (F N ) = T [x1 (F ) x1 (N )] =
1
2
= [T x1 (F )] [T x1 (N )] = E
E
,
1
2,
onde E
e um conjunto mensuravel. Como E
e um conjunto de medida
0
2 , mas x0 (t) = 0 em
nula (logo mensuravel): x (t) 6= 0 para todo o t E
2
1
q.s. em E (porque x(x (N )) N e x() e uma func
ao absolutamente
contnua). De modo analogo se prova que o conjunto E+ e mensuravel.
Considera-se o conjunto mensuravel T+ := {t [a, b] : x0 (t) (0, +)}.
Logo,
E+ = T+ x1 (F N ) = T+ [x1 (F ) x1 (N )] =
1
2
= [T+ x1 (F )] [T+ x1 (N )] = E+
E+
,
2,
1
e um conjunto de
e um conjunto mensuravel. Atendendo a que E+
onde E+
0
2 , mas x0 (t) = 0
medida nula (logo mensuravel) x () 6= 0 para todo o t E+
2 (pois x(x1 (N )) N e x()
e uma func
ao absolutamente
em q.s. em E+
contnua).

41
Define-se, para n = 1, 2, ...,
n
para s com m(s) n
m(s)
para s com m(s) [n, n]
mn (s) :=
n
para s com m(s) n
Z b
An :=
mn (x(t))+ x0 (t)E+ (t)dt,
a
b
Z
Bn :=
Z
Cn :=
Z
Dn :=
a
b
mn (x(t)) |x0 (t)|E (t)dt,

mn (x(t)) x0 (t)E+ (t)dt,
mn (x(t))+ |x0 (t)|E (t)dt,
Cada um destes funcionais integrais e finito e 0, e da primeira parte

da demonstracao resulta que
Z b
Z B
En := An Dn :=
mn (x(t))+ x0 (t)x1 (S) (t)dt =
mn (s)+ S (s)ds
Z
Fn := Cn Bn :=
Z
mn (x(t)) x0 (t)x1 (S) (t)dt =
Z
Gn := An + Bn :=
Z
Hn := Cn + Dn :=
mn (s) S (s)ds
[mn (x(t))x0 (t)]+ x1 (S) (t)dt
[mn (x(t))x0 (t)] x1 (S) (t)dt
Como 0 mn (s)+ mn+1 (s)+ m(s)+ , (mn (s)+ ) m(s)+

quando n + (o mesmo acontece para mn (s) ), do (Teorema da
convegencia monotona 3.6) resulta que
Z b
A := limAn =
m(x(t))+ x0 (t)E+ (t)dt,
a
Z
B := limBn =
Z
C := limCn =
Z
D := limDn =
a
b
m(x(t)) |x0 (t)|E (t)dt,

m(x(t)) x0 (t)E+ (t)dt,
m(x(t))+ |x0 (t)|E (t)dt,
E := limEn =
m(s)+ S (s)ds,

42
m(s) S (s)ds,
Z b
G := limGn = lim(An +Bn ) = A +B =
[m(x(t))x0 (t)]+ x1 (S) (t)dt,
a
Z b
[m(x(t))x0 (t)] x1 (S) (t)dt
H := lim Hn = lim(Cn +Dn ) = C +D =
F := limFn =
porque (An ), (Bn ), (Cn ), (Dn ) sao sucessoes crescentes e positivas. O mesmo
acontece com (Gn ) = (An + Bn ) e (Hn ) = (Cn + Dn ). Como por hipotese o
Rb
funcional integral a m(x(t))x0 (t)x1 (S) (t)dt existe, um dos integrais G ,
H e finito. Se G for finito, ent
ao tambem A , B s
ao finitos; e como
F = lim(Cn Bn ) e B e finito, tem-se que F = C B . Analogamente, como A e finito, E = A D e:
Z B
Z b
E =
m(s)+ S (s)ds = A D =
m(x(t))+ x0 (t)x1 (S) (t)dt
A
B
Z
F =
Z
m(s)+ S (s)ds = C B =
a
b
m(x(t)) x0 (t)x1 (S) (t)dt
Se A B (respectivamente B A), ent

ao 0 D A e D s
ao
finitos (respectivamente 0 C B e C sao finitos ). Portanto, E ou
F e finito e:
Z B
m(s)S (s)ds = E F = (A D ) (C B ) =
A
= (A + B ) (C + D ) = G H =
Z b
=
m(x(t))x0 (t)x1 (S) (t)dt,
a
RB
Rb
isto e, verifica-se a igualdade A m(s)S (s)ds = a m(x(t))x0 (t)x1 (S) (t)dt.
(Caso H seja finito um dos E , F e sempre finito, qualquer que seja o
caso, e podemos escrever E F ; e tres dos A , B , C , D s
ao sempre
finitos, logo E = A D , F = C B e E F = C H
como na argumentacao anterior).
Parte IV:
RB
Supoe-se agora que x() e uma func
ao monotona e que o integral A m(s)S (s)ds
existe. Entao, um dos conjuntos E , E+ e de medida nula. Portanto,
ou A = 0 = C ou B = 0 = D , i.e., ou G = B = F e
H = D = E ou ent
ao, G = A = E e H = C = F .
R x(b)
Como x(a) m(s)S (s)ds existe, um dos integrais E , F e finito e portanto, ou G , ou H e finto. Assim, ou E F = (D ) (B ) =
G H ou entao E F = A C = G H , de tal modo, que
em ambos os casos a conclusao e a mesma: (49)= E F = G H =
Rb
0
a m(x(t))x (t)x1 (S) (t)dt existe.
Se, em particular, S := x(E), para E [a, b] um conjunto mensuravel
, entao S e mensuravel (pois x() verifica a propriedade (N) de Lusin) e

43
x(x1 (S) \ E) e um conjunto de medida nula ( porque e cont

avel: os seus
valores sao aqueles que x() toma em intervalos de nao crescimento dois a dois
disjuntos, de interior nao vazio - portanto, com valores racionais - porque x()
Rb
e monotona). Logo, o integral a m(x(t))x0 (t)x1 (S) (t)dt toma o mesmo valor, ainda que se ponha de parte - do seu domnio de integrac
ao x1 (S) - um
1
0
subconjunto, x (S) \ E, onde a integranda, m(x())x () = 0 q.s. em [a, b];
RB
R
donde E m(x(t))x0 (t) dt = A m(x(t))x0 (t)x1 (S) (t) dt.
Como corolario;
Corolario 2.1. Sob as mesmas hip
oteses do teorema anterior, sejam
x() XAB e m(x())x0 () () L1 (a, b) q.s. em [a, b]. Ent
ao, existe o
Rb
0
funcional integral a m(x(t))x (t)dt e verifica-se a igualdade:
Z b
Z x(b)
0
(52)
m(x(t))x (t)dt =
m(s)ds.
a
x(a)
Que no caso em que A = B. Como x() XAB e m(x())x0 () ()

Rb
L1 (a, b) q.s. em [a, b], claramente o integral a m(x(t))x0 (t)dt existe (com
valores finitos ou com valor ); com S = IR, An Dn = En = 0 =
Cn Bn = Fn , pois A = B. Como x() XAB e m(x())x0 () ()
L1 (a, b)
q.s. em [a, b], G = A + B e finito, A e B sao finitos, A = lim An = lim Dn = D , B = lim Bn = lim Cn = C ,
Rb
Rb
i.e., A = a m(x(t))+ x0 (t)E+ (t)dt = a m(x(t))+ |x0 (t)|E (t)dt = D ,
Rb
Rb
B = a m(x(t)) |x0 (t)|E (t)dt = a m(x(t)) x0 (t)E+ (t)dt = C e portanto, os integrais sao finitos.
Rb
De modo similar, os integrais G = a [m(x(t))x0 (t)]+ dt = A + B =
Rb
Rb
C + D = a [m(x(t))x0 (t)] dt e a m(x(t))x0 (t)dt = G H = 0
tambem sao finitos.
2.3. Minimizantes bimon
otonos.
Teorema 2.1. Sejam L : IR IR (, +] uma func
ao L Bmensur
avel tal que L(, 0) e semicontnua inferior, y() XAB e uma func
ao
mon
otona para a qual o integral
Z b
(53)
L(y(t), y 0 (t))dt
a
existe e tem valor finito.

Consideremos : [A, B] IR e uma func
ao mensur
avel (por exemplo
(s) 0), com (s) 0 s [A, B] ((s) 0s [B, A]), com (s) = 0
nos pontos s para os quais L(s, 0) = , e que satisfaz a desigualdade:
L(s, 0) +
L(s, (s))
(54)
L(s, ) 1
(s)
(s)
44
qualquer que seja ]0, (s)[ e em quase todos os pontos s [A, B] ( qualquer que seja ](s), 0[ em quase todos os pontos s [B, A], respectivamente). Ent
ao, existe uma funca
o absolutamente contnua z() XAB para
a qual
Z b
Z b
(55)
L(z(t), z 0 (t))dt
L(y(t), y 0 (t))dt,
a
e
z() constante em algum subintervalo [a0 , b0 ] [a, b];
z 0 (t) > 0 ( respctivamente z 0 (t) < 0) q.s. em [a, a0 ] [b0 , b];
0 (z(t)) z 0 (t) ( respectivamente z 0 (t) (z(t)) 0) q.s. em
[a, a0 ] [b0 , b].
o. A demontrac
Demonstrac
a
ao divide-se em varias partes:
Parte I:
Supoe-se que y() e crescente no intervalo [A, B], e que (s) 0
s [A, B]. Como () := L(, 0) e semicontnua inferior, pelo (Lema 2.1),
L(x(), x0 ()) e mensuravel qualquer que seja a func
ao x() absolutamente
contnua, e como o conjunto
(56)
Sm := {s [A, B] :
(s) = min ([A, B])}
e nao vazio, podemos fixar qualquer sm Sm .

Supoe-se daqui em diante que (sm ) < +, porque, se assim nao fosse,
a conclusao do teorema seria trivial: se L(, 0) = () +, resulta
0 = (y()) < y 0 () q.s. em [a, b], ent
ao z() := y() satisfaz trivialmente
as conclusoes do (Teorema 2.1).
A funcao inversa y 1 : [A, B] [a, b] esta bem definida (como a u
nica
1
funcao crescente e semicontnua inferior para a qual t 7 y y(t) e semicontnua inferior e t 7 y y(t)1 e a func
ao identidade.)
Como y 1 () e crescente e de variac
ao limitada, a derivada no sentido classico existe em [0, +) q.s. em [A, B], e s 7 y 01 (s) L1 (A, B)
(Teorema 3.22).
Definem-se os conjuntos
T+ := {t [a, b] : y 0 (t) (0, +)},
S+ := {s [A, B] : y 01 (t) (0, +)},
TN := [a, b] \ T+ ,
SN := [A, B] \ S+ .
Com efeito, verifica-se que y(T+ ) = S+ , y(TN ) = SN , y 1 (S+ ) = T+ ,

y 1 (SN ) = TN . Nenhum ponto de SN pode ser imagem (por meio de y())
de algum ponto de TN , porque: a simetria relativamente à recta s = t
transforma o grafico de y() no grafico 0 de y 1 (), e transforma linhas
rectas tangentes a de declive m em linhas rectas tangentes a 0 de declive
1
m (0, +), e vice-versa.
Como y() e absolutamente contnua e crescente, y 0 () = 0 em TN e
|SN | = 0; e portanto, |S+ | = B A e y 01 (s) (0, +) q.s. em [A, B].

45
Considera-se que := |TN |, donde |T+ | = b a . Definem-se:

1
1
t
t+
m := min y (sm ),
m := max y (sm ),
1
0
S+ := s S+ : (s) > 01
,
y (s)
0
T+0 := y 1 (S+
) := t T+ : 0 < y 0 (t) < (y(t)) ,
1
v(s) := y 01 (s)S\S+0 (s) +
0 (s).
(s) S+
O conjunto T+0 e mensuravel, como consequencia do (Lema 2.1) no caso
em que
(s) para aqueles s, onde (s) > 0 e 0

L0 (s, ) :=
+ para aqueles s, onde (s) = 0 ou < 0,
logo, T+0 = {t T+ : L(y(t), y 0 (t)) (0, 1)}. Como 0 v(s) y 01 (s) q.s.,
v() L1 (A, B), pelo que
Z sm
Z B
:=
v(s)ds, + :=
v(s)ds;
A
sm
e como y() e monotona, o (Lema 2.2) garante que

Z sm
Z sm
=
v(s)ds =
y 01 (s)S\S+0 (s) +
A
Z
(57)
=
a
Z
+ =
sm
(58)
t
m
1
0 (s) ds =
(s) S+
y 0 (t)
T+ \T+0 (t) +
0 (t) dt,
(y(t)) T+
1
v(s)ds =
0 (s) ds =
(s) S+
sm
Z b
y 0 (t)
=
T+ \T+0 (t) +
0 (t) dt.
(y(t)) T+
t+
m
Z
y 01 (s)S\S+0 (s) +
Para a0 := a + e b0 := b + , como
b0 a0 = (b a) ( + + ) =
Z bn
o
=
TN (t) + T+0 (t) + T+ \T+0 (t) dt ( + + )
a
+
resulta que (porque T+ 0 em (t
m , tm ))
Z b
y 0 (t)
0
0
(59)
b a =
TN (t) + 1
0 (t) dt.
(y(t)) T+
a
Rs
As funcoes (s) := a + A v()d, s [A, sm ], e
Z s
+ (s) := b0 +
v()d, s [sm , B],
sm

46
sao absolutamente contnuas e tem derivada v(s) (0, +) q.s.; e como

Z sm
(sm ) := a +
v(s)ds = a + = a0 ,
A
Z
+ (B) := b0 +
sm
v(s)ds = b + + + = b,
resulta que : [A, sm ] [a, a0 ] e + : [sm , B] [b0 , b].

Portanto, podem-se definir as func
oes inversas de () e + ():
z : [a, a0 ] [A, sm ],
z+ : [b0 , b] [sm , B],
que sao absolutamente contnuas e tem derivada positiva q.s. ( a inversa

de uma funcao absolutamente contnua e crescente () e absolutamente
contnua se e so se 0 (s) > 0 q.s., tal como aqui acontece).
Com efeito, verifica-se que:
0
z
(t) =
1
1
1
=
= 01
>0
0 (z (t))
v(z (t))
y (z (t))
0
z
(t) =
0
se z (t) S+ \ S+
,
1
1
0
=
= (z (t)) > 0 se z (t) S+
,
0 (z (t))
v(z (t))
0 (t) > 0 t = (z (t)) (S ); e como ()

e portanto, z
e absoluta
+
mente contnua e | (S+ )| = a0 a| (SN )| = a0 a (porque | (SN )| = 0,

pois () e absolutamente contnua e |SN | = 0), deve verificar-se a desigual0 (t) > 0 q.s. em [a, a0 ].
dade z
Define-se
z (t)
t [a, a0 ]
sm
t [a0 , b0 ]
(60)
z(t) :=
z+
t [b0 , b],
donde se obtem uma funcao z : [a, b] [A, B] que e absolutamente contnua

com derivada z 0 (t) > 0 q.s. em [a, a0 ] [b0 , b]. Como
0 < 0 (s) = v(s) =
1
< y 01 (s)
(s)
0 , resulta
em S+
(61)
0<
1
y 01 (z(t))
< (z(t)) = z 0 (t) =
1
0 (z(t))
0
em (S+
)
e porque 0 < 0 (s) = v(s) = y 01 (s), e como

0 (s)
1
1
1
=
= 01
v(s)
(s)
y (s)

47
0,
em S+ \ S+
e
(62)
0 < z 0 (t) =
1
0 (z(t))
0
0 (z(t)) z 0 (t) em (S+ \ S+
).
O mesmo acontece com + (), de tal modo que ( | (S+ )| = a0 a e

|+ (S+ )| = b0 b): z 0 (t) > 0 e z 0 (t) (z(t)) 0 q.s. em [a, a0 ] [b, b0 ],
assim z() satisfaz as propridades pretendidas.
Parte II:
Rb
Rb
Supoe-se agora que a desigualdade a L(z(t), z 0 (t))dt a L(y(t), y 0 (t))dt
se verifica. A restante demonstrac
ao sera dedicada a esta asserc
ao.
Como a funcao
(63)
t 7 (t) := v(y(t))y 0 (t) = T+ \T+0 (t) +
y 0 (t)
0 (t)
(y(t)) T+
e mensuravel com (t) [0, 1] q.s., a sua primitiva

Z t
(64)
(t) := a +
()d, t [a, t+
m]
a
e lipschitziana e crescente, e de modo similar

Z t
0
()d, t (t+
(65)
(t) := b +
m , b]
t+
m
que tambem e lipschitziana e crescente. Contudo, () e descontnua nos

+
0
0
0
pontos t = t+
(t), excepto em casos
m , de (tm ) = a < b a b = limt&t+
m
triviais.
Como v() L1 (A, B) e y() e uma func
ao absolutamente contnua
e crescente, Rpelo (Lema 2.2) ao substituir s = y(t) no funcional integral
s
(s) = a + A v()d, para t [a, t+
m ], resulta
Z y(t)
Z t
Z t
0
(y(t)) = a+
v(s)ds = a+
v(y())y ()d = a+
()d = (t),
A
entao, em particular,
(t) = (y(t)) = (sm ) = a0
+
para t [t
m , tm ].
Rs
Substituindo agora s = y(t) no integral + (s) = b0 + sm v()d,
[sm , B] de se aplicar (65) resulta,
Z t
0
+ (y(t)) = b +
()d = (t) para t (t+
m , b],
t+
m
(b) = + (y(b)) = + (y(t)) = b.

Assim, constroi-se uma func
ao : [a, b] [a, b] que e crescente, se+
micontnua inferior, descontnua em t = t+
m , lipschitziana em [a, tm ] e em
0
0
0
+
q.s.,
(t+
m , b] e com ([a, tm ]) = [a, a ], ((tm , b]) = (b , b], (t) [0, 1]
+
(t) = (y(t)) para t [a, tm ], (t) = + (y(t)) para t (t+
m , b],
0
0
+
(t) a0 em [t
m , tm ], (t) 1 em T + \ T+ ().

48
Aplicamos agora z() (que e a func

ao inversa de () e de + ()) a ambos
os membros das igualdades anteriores, e obtem-se
(66)
y(t) = z((t)) t [a, b].
Portanto, aplicando (64), (65) e (63) a igualdade (59) pode escreve-se como
Z b
0
0
(67)
b a =
[1 0 (t)]dt.
a
Alem disso, multiplicando ambos os membros de (67) por (sm ), resulta:

Z b0
Z b
(68)
(sm )d =
(sm )[1 0 (t)]dt.
a0
Define-se agora
(69)
m : [a, b] (, +],
m( ) := L(z( ), z 0 ( )).
0
0
Da desigualdade (54) obtem-se, para t (a, t
m )T+ , e porque (t) =
e (s) = L(s, 0) (ver (56)):
y 0 (t)
(y(t)) ,
L(y(t), y 0 (t))T+0 (t)

(70)
[1 0 (t)] (y(t)) T+0 (t) + 0 (t) L(y(t), (y(t))) T+0 (t)
e como, por (66), z 0 ((t)) =
y 0 (t)
0 (t)
= (y(t)) obtem-se,
m((t)) 0 (t) T+0 (t) = L(z((t)), z 0 ((t))) 0 (t) T+0 (t) =

L(y(t), (y(t))) 0 (t) T+0 (t)
L(y(t), y 0 (t)) T+0 (t) [1 0 (t)] (y(t)) T+0 (t)
0 (t) L(y(t), (y(t))) T+0 (t)
(71)
L(y(t), y 0 (t))T+0 (t) + M1 T+0 (t),
com M1 := min{0, (sm )} (y()). Logo, m(()) 0 ()T+0 () e limi1

0
tada superiormente, em (a, t
0 () L (a, b), e
m ), por [L(y(), y ()) + M1 ]T+
portanto, o integral de m(()) 0 ()T+0 () em (a, t
e finito.
m ) existe e
0
Para t (a, tm ) T+ \ T+ , por (64) e (63), obtem-se 0 (t) = 1 q.s.:
resulta, de (66), que z 0 (y(t)) = y 0 (t) e:
(72)
m(()) 0 ()T+ \T+0 () = L(y(), y 0 ())T+ \T+0 () L1 (a, t

m ).
0
Para t (a, t
m ) TN , e porque (t) = 0 q.s.,
(73)
m(()) 0 ()TN () = 0 L1 (a, t

m ).
R t
Logo, existe a m m((t)) 0 (t)dt e e finito. Do modo similar, o integral
Rb
m((t)) 0 (t)dt existe e e finito.
t+
m

Portanto, por (52)

Z t
Z
m
0
(74)
m((t)) (t)dt =
a
Z
(75)
49
a0
m( )d,
a
b
t+
m
m((t)) 0 (t)dt =
m( )d.
b0
Como L(sm , 0)
=
(sm )
<
+ e (y())TN ()
=
= L(y(), y 0 ())TN () L1 (a, b) usando (69), (60), (75), (68), (71), (72),
(73) e () obtem-se:
Z b
Z b
Z a0
Z b0
0
(sm )d +
m( )d =
L(z( ), z ( ))d =
m( )d +
a
Z
=
a0
t
m
m((t)) 0 (t)dt +
t
m
=
a
t
m
+
a
t+
m
t
m
+
a
t
m
t
m
t+
m
b
m((t)) (t)TN (t)dt +

b
(sm )[1 0 (t)]dt =
m((t)) 0 (t)T+0 (t)dt+
m((t)) 0 (t)TN (t)dt+
t+
m
(sm )[1 0 (t)]dt

Z
L(y(t), y (t))T+0 (t)dt +

Z
L(y(t), y 0 (t))T+ \T+0 (t)dt +
t+
m
b
t+
m
Z
0
[1 (t)](y(t))T+0 (t)dt
Z
b0
m((t)) 0 (t)T+ \T+0 (t)dt+
t+
m
Z
Z
t
m
m((t)) 0 (t)T+0 (t)dt +
m((t)) 0 (t)dt +
m((t)) 0 (t)T+ \T+0 (t)dt +
L(y(t), y 0 (t))T+0 (t)dt+

L(y(t), y 0 (t))T+ \T+0 (t)dt+
t+
m
[1 0 (t)](y(t))T+0 (t)+
(sm )[1 0 (t)]dt

Z b
Z b
=
L(y(t), y 0 (t))dt
L(y(t), y 0 (t))T+ \T+0 (t)dt
a
a
Z b
Z b
0
(y(t))[1 (t)]T+ (t)dt

(sm )[1 0 (t)]dt =
a
a
Z b
Z b
=
L(y(t), y 0 (t))dt
[(y(t)) (sm )][1 0 (t)]dt
a
a
Z b
L(y(t), y 0 (t))dt.
+

50
o que demonstra a assercao pretendida.
o 2.2. Note-se que n

Observac
a
ao e necess
ario impor qualquer restric
ao
quando () 0, ou para os pontos s em que (s) = 0.
o 2.3. O (Teorema 2.1) pode ter interesse na aplicac
Observac
a
ao a
situac
oes em que e possvel provar a existencia de minimizantes seccionalmentemon
otonos, i.e., em casos em que existem conjuntos abertos O+
e O ,contidos em (a, b), nos quais y 0 (t) 0 q.s. em O+ , y 0 (t) 0 q.s.
em O , e y 0 (t) = 0 q.s. em [a, b] \ O+ \ O (ou de forma equivalente
|y([a, b] \ O+ \ O )| = 0 (3.25)).
Ap
os aplicar o (Teorema 2.1) (a cada um dos intervalos abertos com
interiores disjuntos dois a dois - que podem ser em n
umero cont
avel - e cuja
uni
ao e O+ e O , consegue-se uma partic
ao em tres subintervalos onde, respectivamente, o novo minimizante z() tem z 0 (t) < 0, z 0 (t) = 0 e z 0 (t) > 0)
terminamos com dois novos conjuntos abertos em O+ e O , e um conjunto
fechado [a, b] \ O+ \ O tais que em z 0 (t) > 0 q.s. em O+ , z 0 (t) < 0 q.s. em
O , e z 0 (t) = 0 q.s. em [a, b] \ O+ \ O .
2.4. Exist
encia de minimizantes bimon
otonos.
o 2.1. Uma func
Definic
a
ao y() XAB diz-se bimon
otona se verifica:
(1) y() s0 IR em algum subintervalo [a0 , b0 ] [a, b], com a0 b0 ;
(2) y() e mon
otona em cada um dos restantes subintervalos [a, a0 ],
0
[b , b] e verifica a condic
ao
(76)
y 0 (t) 6 {0} int[(L(y(t), ))1 (L (y(t), 0))].
(onde denota o subdiferencial no sentido da an

alise convexa).
o 2.2. Diz-se que a func
Definic
a
ao lagrangiano L(s, ) e zero-convexa
se
L (s, 0) = L(s, 0).
(77)
Teorema 2.2. (Exist

encia de minimizantes) Seja L : IR IR
[0, +], uma funca
o com crescimento superlinear no infinito, i.e.,
inf L(IR, )
+
||
|| +,
e tal que:
(1) ou L() e semicontnua inferior;
(2) ou L() e L B-mensur
avel, L () e semicontnua inferior para os
pontos (s, 0), e L(s, ) e semicontnua inferior s IR.
Ent
ao, se a func
ao L() for zero-convexa, isto e, satisfaz (77), existem
minimizantes para o integral
Z b
L(x(t), x0 (t))dt, x() XAB ,
a
quaisquer que sejam A e B.

51
Teorema 2.3. (Regularidade dos minimizantes e condi

c
ao necess
aria de DuBois-Reymond) Sob as mesmas hipoteses do
(Teorema 2.2), existe um minimizante y() bimon
otono para o integral
Z b
L(x(t), x0 (t))dt, x() XAB .
a
Alem disso, no caso em que o minimizante y() satisfaz a inclus

ao diferencial
de
DuBois-Reymond, isto e,
L(y(t), y 0 (t)) q + y 0 (t)L (y(t), y 0 (t)),
o que garante que o mnimo do integral e os valores de L (y(t), ) s
ao finitos,
qualquer que seja t [a, b], sempre que se verifique a inclus
ao
(78)
y 0 (t) int(L (y 0 (t), ))1 (IR)
q.s..
A demonstracao destes dois resultados e consequencia dos que se seguem.

2.4.1. Caso convexo.
Teorema 2.4. Seja Lc : IR IR (, +] uma func
ao
L B-mensur
avel, limitada inferiormente, com Lc (, 0) semicontnua inferior e Lc (s, ) convexa e semicontnua inferior para todo o s IR e verifica
a condic
ao de crescimento superlinear
inf Lc (IR, )
+
|| +.
||
Suponhamos que se verifica pelo menos uma das seguintes hipoteses:
(1) A = B e Lc (A, 0) < +;
Rb
(2) Existe x() XBA tal que o integral a L(x(t), x0 (t))dt tem valor
Rb
AB +
finito, por exemplo a Lc (B + (t a) AB
ba , ba ) dt < +;
(3) Existe m0 () L1 (A, B) tal que Lc (s, ) Lc (s, 0) + m0 (s) para
todo os pontos (s, );
(4) Existe > 0 : Lc (s, ) = + para todo os pontos (s, ) com < 0
e dist(s, [A, B]) < ;
(5) Existe > 0 : Lc (s, ) = + (s, ) com > 0 e
dist(s, [A, B]) < ;
(6) Lc () e semicontnua inferior no ponto (s, 0) qualquer que seja
s SAB , onde
SAB := s IR : lim inf Lc (sk , k ) min Lc ([A, B], 0) ;

(sk ,k )(s,0)
(7) Existem func

oes g, M : IR (0, +), g M L1 (A, B) tal que
Lc (s, ) L(s) com || M1(s) e s [A, B];
(8) Lc () e aproxim
avel em [A, B] por declives integr
aveis na origem,
i.e., n IN existe uma sucess
ao de func
oes n : IR (, n]
semicontnuas inferiores, tal que
(79)
(n (s)) % Lc (s, 0)
s [A, B]
52
existe uma sucess

ao de func
oes mn () L1 (A, B), tal que se verifica
a desigualdade
(80)
Lc (s, ) n (s) + mn
, s [A, B].
Ent
ao, existem minimizantes para o funcional integral convexo
Z b
(81)
Lc (x(t), x0 (t))dt,
x() XAB .
a
Alem disso, existe um minimizante yc () bimon

otono que satisfaz a inclus
ao diferencial de DuBois-Reymond, i.e.,
L(yc (t), yc0 (t)) q + yc0 (t)Lc (yc (t), yc0 (t)).
o. A demonstrac
Demonstrac
a
ao divide-se em varias partes.
Parte I:
Seja L : IR IR (, +] uma func
ao L B-mensur
avel,
0 , m0 : IR IR, funcoes, em que 0 () 0 e semicontnua inferior, para
as quais
(82)
L(s, ) 0 (s) + m0 (s)
s,
(Tais funcoes existem sempre que o lagrangiano L() e limitado inferiormente.)

Entao a funcao bipolar L : IR IR (, +] esta bem definida e
satisfaz:
(83)
L (s, ) 0 (s) + m0 (s)
s, ,
em particular,
(84)
0 (s) L (s, 0)
s.
Supoe-se que L (, 0) e semicontnua inferior. Para cada n IN, definese a sucessao de funcoes n : IR (, +],em que
1
1
min {n, L (s, 0)} .
n (s) := 0 (s) + 1
n
n
Entao n () e semicontnua inferior, e para demontrar (85), a partir de (83),
para
s S0 := {s IR : L (s, ) L (s, 0) IR}
supoe-se ( caso seja conveniente) que m0 (s) = 0 e define-se
mn (s) = m0 (s) = 0; para os pontos
s S+ := {s IR \ S0 : L (s, ) L (s, 0) 0}
o
n
n (s)
:
>
0
; e para os pontos
define-se mn (s) = inf L (s,)
s S := {s IR \ S0 : L (s, ) L (s, 0) 0}
n
o
n (s)
considera-se mn (s) = sup L (s,)
:
<
0
.
Note-se
S S0 S+ = IR e que se verifica a desigualdade

(85)
L (s, ) 0 (s) + mn (s)
n, s,
que

53
Com efeito, para s S0 isto e obvio pela desigualdade (84); para s S+

mn (s)
L (s, ) n (s)
> 0,
e portanto a desigualdade (85) verifica-se > 0 e n; para < 0, porque

L (s, ) e crescente, e para s S
mn (s)
n (s) L (s, )
< 0,
e portanto, verifica-se (85) < 0 e n, enquanto que (85) tambem se

extende a todos os > 0, pois L (s, ) e crescente.
Isto fornece o modo standard de definir as func
oes n (), mn () que
satisfazem a desigualdade (85), para a aproximac
ao em por declives integraveis (descrita na hipotese (8) do teorema). Em alguns casos mn ()
/
1
L (A, B); pelo que se pode modificar n () de modo a obter um novo declive mn () L1 (A, B). (Pode-se falhar de novo (ver a terceira parte desta
demonstracao)).
Parte II:
Define-se
Z b
L
0
+
XAB := x() XAB :
L (x(t), x (t)) dt < + ,
a
que se supoe nao vazio. Caso contr

ario, o valor do mnimo para o integral
Z b
L (x(t), x0 (t))dt,
(86)
a
definido para funcoes x() XAB para as quais o existe, e = +; e portanto,

a funcao afim que pertence a XAB , pode considerar-se um minimizante com
propriedades de regularidade muito boas.
Em particular, no caso de L() ser limitada inferiormente (ou se (46) se
verificar) supoe-se que existe o integral
Z B
(87)
mn (s)ds [, +) n {0, 1, 2, 3, ...}.
A
L ,considere-se s ponto de m
Com efeito, fixe-se x() XAB
nimo da func
ao
n
n () restringida a x([a, b]) e defina-se
n () := L (x(t), x0 (t))+ n (sn ).

Entao, n () L1 (a, b) e por (85),
mn (x(t))x0 (t) L (x(t), x0 (t)) n (x(t)) n (t).
Portanto, pelo (Corolario 2.1), os integrais de mn (x())x0 (t) em [a, b] e de
mn () em [A, B] existem e tem o mesmo valor:
Z b
Z B
Z b
0
(88)
mn (x(t))x (t)dt =
mn (s)ds
n (t)dt < +,
a
54
logo, o funcional integal (87) existe. Em particular, se para n N o inteRB

gral A mn (s)ds nao existe ou e = +, ent
ao tambem o funcional integral
R b
0
ao existe ou e igual a +, x() XAB .
a L (x(t), x (t))dt n
Alem disso, verifica-se que:
(89)
L
XAB
6=
mn () L1 (A, B) n {0, 1, 2, ...}.
Com efeito, qualquer que seja x() L

em-se, de modo similar
BA , obt
(88), mas com A e B trocados, i.e.,
Z B
Z A
mn (s)ds =
mn (s)ds >
A
e portanto, (89) e consequencia de (87).

L 6= ; em
Portanto mn () L1 (A, B) qualquer que seja n, caso XBA
particular, sempre que
Z b
AB AB +
,
dt < +.
(90)
Lc B + (t a)
ab ab
a
Com efeito, se (90) for verdade, ent
ao a func
ao afim pertencente ao
L
conjunto XBA tambem pertence a XBA , e por isso este conjunto e nao vazio
e aplica-se (89). Assim provou-se que (1) (2) (8).
Parte III:
Considera-se agora o caso em que
Z B
(91)
n IN :
mn (s)ds =
A
Um exemplo, para o caso (91) que acontece quando L (s, ) := [1 + s ]+

para valores de s 6= 0, e L (0, ) 1 com A 6= 0 = B (i.e., considera-se o
caso em que x() se inicia afastado de zero e termina em zero). Com efeito,
considerando 0 (s) 0, m0 (s) 0, da primeira parte da demosnstrac
ao
1
RB
(1 n
)
1
obtem-se, n (s) = 1 n , mn (s) = s e a existencia A mn (s)ds = .
Neste exemplo L () nao e semicontnua inferior em (s, 0), e a situac
ao
(91) e inevitavel: ao modificar mn (), para n 1, de modo a que mn ()
1
n
L1 (A, B), entao redifine-se mn (s) = |s|

s ; a que se deveria ter n (s)
1
|s| n para s 6= 0 , com o objectivo de verificar (85) com = s; e para
ter a semicontinuidade inferior da func
ao n () e necessario que n (0) 0,
e portanto, que (n (0)) nao converge para L (0, 0) = 1. Logo, caso (85)
se verifique, a u
nica possibilidade de provar a existencia de minimizantes
(usando os Teoremas (2.4) e (2.5)) parece ser a utilizac
ao da estrategia
presente no inicio da (Observac
ao 2.4).
RA
De um modo geral, sempre que (91) se verifica, ent
ao B mn (s)ds = +
e portanto, tal como se explicou, , se L() for limitado inferiormente, o
funcional integral (86) tem valor + x() XBA .
Parte IV:

55
Nesta parte da demonstrac

ao, Lc () supoe-se limitado inferiormente, com
crescimento superlinear, e semicontnuo inferior nos pontos (s, 0), s SAB .
O objectivo e demonstrar que Lc () satisfaz a hipotese (8) do Teorema.
Com o intuito de simplificar a notac
ao supoe-se que Lc () 0, pois
obtem-se do anterior por translacc
ao. Assim, considera-se que a func
ao
lagrangiano Lc () e limitada inferiormente, com crescimento superlinear e
semicontnua inferior em (s, 0) s IR (e nao so s SAB ), contudo, essa diferenca nao e relevante para o objectivo: obter um minimizante bimonotono
Rb
yc () para o integral a Lc (x(t), x0 (t))dt, e tal que yc () so e constante nos
pontos de SAB , portanto os valores que L(s, 0) toma nos pontos s
/ SAB
sao irrelevantes.
Seja f () o involucro semicontnuo inferior de L(), i.e.,
ao semicontnua inferior,
epi f () = epi L() com f () uma func
f (s, ) = lim inf (sk )s L(sk , k ) L(s, ) s, ; em particular
(k )
f (s, 0) = lim inf (sk )s L(sk , k ) = L(s, 0), pois L() e semicontnua inferior
(k )0
em (s, 0), s SAB .

Fixa-se > 0 e define-se, para cada n IN, um novo lagrangiano
fn : IR IR [0, +],
f (s, )
fn (s, ) :=
para || > 2
min{n, f (s, )}
para || 2.
A funcao fn () e semicontnua inferior (pois e a reuniao de dois epigraficos

fechados) e a sucessao (fn (s, )) e crescente e converge para f (s, ) s, . A
funcao bipolar gn (s, ) := fn (s, ), definida por
gn (s, ) := {(, r) : r gn (s, )} = co epi fn (s, );
e convexa, semicontnua inferior, e pela (Proposic
ao 3.23) tambem gn () e semicontnua inferior. Como gn (s, ) e convexa e 0 gn (s, ) n em B(0, 2),
pelo (Teorema 2.8) existe uma func
ao mn () M tal que mn (s) gn (s, 0)
e |mn (s)| n s; em particular gn (s, ) gn (s, 0) + mn (s) s, e
mn () L
e crescente, (gn (s, )) tambem o e, e
loc (IR). Como fn (s, )
portanto, o seu involucro convexo converge para alguma func
ao g(s, )
f (s, ) + s, .
No que segue demonstra-se que: g(s, ) = f (s, ).
Comeca-se por provar a inclusao (pois a contr
aria e obvia):
(92)
epi g(s, ) =
+
\
n=1
epi gn (s, ) =
+
\
n=1
co epi fn (s, ) epi f (s, ) s.
S
Para tal, considera-se o subespaco topologico de IR, E = {0} { n1 : n N}.
Para cada s IR, define-se a func
ao s : E IR [0, +],
56
f (s, )
s (e, ) :=
f 1 (s, )
e
para e = 0
para e > 0.
Para provar que s () e uma func

ao semicontnua inferior,
fixa-se IR e uma qualquer sucessao (k ) convergente para .
Caso lim inf n,k+ fn (s, k ) = +, tem-se lim inf n,k+ fn (s, k ) = + >
f (s, ), isto e,s (0, ) lim inf n,k+ s ( n1 , k ) = +.
Considera-se agora o caso em que M := lim inf n,k+ fn (s, k ) < +:
Se || > 2, entao supoe-se que |k | > 2 k, e fn (s, k ) = f (s, k ) n, k,
logo,
lim inf fn (s, k ) =
n,k+
(93)
= lim inf f (s, k ) = lim inf f (s, k ) f (s, )

n,k+
k+
pois f (s, ) e semicontnua inferior, i.e.,

(94)
s (0, ) lim inf s

n,k+
1
, k
n
no caso em que || > 2.

No caso || < 2 supoe-se que |k | 2 k, e como M < +, passa-se
a subsucessoes (de (n) e de (k)) e obtem-se
lim
n,k+
fn (s, k ) = M < M + 1,
em particular
fn (s, k ) < M + 1 n IN k IN.
Logo, quando n M + 1 tem-se fn (s, k ) < M + 1 n e assim,
fn (s, k ) = min{n, f (s, k )} = f (s, k ),
e obtem-se (94) do mesmo modo que (93).
Quando || = 2 entao, passando a subsucessoes, pode supor-se que: ou
|| > 2 k; ou || 2 k, e procede-se como anteriormente.
Portanto, provou-se (94) para todos os casos possveis, i.e.,
(95)
s (0, ) lim inf s (en , k )

(en )0
(k )
logo, s () e semicontnua inferior. Como a condic

ao de crescimento superlinear (45), aplicamos a (3.9) e conclui-se que
+
\
1
co epi s
, co epi s (0, ),
(96)
n
n=1
e portanto, (gn ()) e crescente e converge pontualmente para f ().

Pondo, em particular, n (s) := gn (s, 0), ent
ao n : IR [0, n] e semicontnua inferior (pois gn () tambem o e), e crescente e convergente para
L(s, 0) ( pois gn (s, 0) e crescente e convergente para g(s, 0) = f (s, 0) =

57
L(s, 0)). Assim, como se verifica a desigualdade gn (s, ) gn (s, 0) + mn (s)

e como L(s, ) f (s, ) fn (s, ) gn (s, ), obtem-se L(s, ) n (s) +
mn (s).
Como mn (s) L
e semicontnua
loc , e provou-se que sempre que L()
inferior em (s,0) s verifica-se (8).
Parte V:
Supoe-se que se verifica a hipotese (8), e considera-se a sucessao miniRb
mizante (xk ()) XAB para o integral a L(x(t), x0 (t))dt, x() AB , e
seja [Ak , Bk ] := xk ([a, b]). Admita-se que a < ak < bk < ck < dk < b,
xk (ak ) = Ak A = xk (a) = xk (bk ) B = xk (ck ) = xk (b) Bk = xk (dk ).
Define-se
k (t) := mn (xk (t))x0k (t) L(xk (t), x0k (t)) n (xk (t)) L(xk (t), x0k (t)),
tal que para algum t1 t2 em [a, b],
Z t2
Z t2
k (t)dt
L(xk (t), x0k (t))dt
t1
t1
L(xk (t), x0k (t))dt I + 1 < +.
Entao, pelo (Corolario 2.1),

Z
Z Bk
mn (s)ds =
Z
Ak
Bk
Ak
mn (s)ds =
Z
dk
ak
k (t)dt I + 1 < +,
Z
mn (s)ds
Z
ak
k (t)dt
dk
k (t)dt
mn (s)ds
L(xk (t), x0k (t))dt
A
a
Z B
mn (s)ds (I + 1) > ,
A
porque mn () L1 (A, B). Poe-se:

[An , Bn ] :=
+
[
[Ak , Bk ], := I + 1 +
k=1
mn (s)ds ,
k (s) := |mn (s)| max [Ai ,Bi ] (s), (s) := |mn (s)| [An ,Bn ] (s)
1ik
logo,
Z
1 < +,
(k (s)) % (s),
k (s)ds .
Aplicando o (Teorema da Convergencia Monotona 3.6)

Z Bn
Z
= (s)ds =
|m
(s)|ds
n
An
Z
Z
=
lim k (s)ds = lim
k (s)ds < +,
k+
k+
58
caso mn () L1 (A, B); i.e.,

mn () L1 (A, B) mn () L1 (An , Bn ),
S
com [An , Bn ] +
x ([a, b]), onde (xk ()) e uma sucessao minimizante
R b k=1 k 0
para o integral a L(x(t), x (t))dt definido na classe XAB .
Observe-se que o raciocnio realizado so depende da desigualdade
L(s, ) n (s)+mn (s); e por isso a implicac
ao (97) permanece valida, nao
so para L() mas tambem para outro lagrangiano que verifique a
desigualdade Ln (s, ) n (s) + mn (s) juntamente com n () 0 e
Rb
0
e seguramente verdade para o caso
a Ln (xk (t), xk (t))dt I + 1, ( que
em que (xk ()) e uma sucessao minimizante para o integral de Ln (), com
Ln () L(), definido em XAB ).
Parte VI:
Supoe-se que A = B e L(s, ) e convexa e semicontnua inferior. Define-se
1
n (s) := min n, L(s, 0) 1
.
n
(97)
Verifica-se facilmente que n () e semicontnua inferior e que a sucessao

(n ()) e crescente e convergente para L(, 0). Para aqueles s tais que
L(s, 0) > 0, como n (s) < L(s, 0), (0, n (s)) nao pertence ao conjunto C :=
epiL(s, )
que e
convexo
e
fechado,
logo,
aplicando
o
(Teorema de Hahn-Banach ??), existe uma linha recta que separa estritamente este ponto do conjunto C, i.e., existe pn (s) IR tal que L(s, ) >
n (s)+pn (s) IR; e em particular, como L() e LB-mensur
avel, existe
uma seleccao mensuravel mn () M para a qual L(s, ) n (s) + mn (s)
s, . Por outro lado, para os pontos s tais que L(s, 0) = 0, podemos por
mn (s) = 0.
Como mn () L1 (A, B) (trivialmente: A=B), mais uma vez se verifica (8). Conclu-se pois, sob as hipoteses do Teorema, que a condic
ao (8)
completa por (97), sao verdadeiras sempre que A=B ou quando L() e semicontnua inferior em (s, 0) s.
Parte VII:
Supoe-se agora que se verificam as hipoteses (8) e (97). Define-se para
cada n IN, um novo lagrangiano fn : IR IR [0, +],
para 6= 0
L(s, )
fn (s, ) :=
n (s)
para = 0.
Claramente fn (s, ) e uma func
ao semicontnua inferior, mas possivelmente nao convexa. A func
ao bipolar Ln (s, ) := fn (s, ), de fn (s, ), e
convexa e semicontnua; e pela (Proposic
ao 3.23), Ln () e L B-mensur
avel.
Como consequencia de (80), resulta que fn (s, ) fn (s, 0) + mn (s) logo
Ln (s, ) = fn (s, ) fn (s, 0) + mn (s) e fn (s, ) Ln (s, ) n (s, 0) +
mn (s) s, ; em particular, pondo = 0, fn (, 0) = Ln (, 0) = n () n

59
e semicontnua inferior, enquanto que por (45) e [Ces83] aplicado à func

ao
() := inf L(IR, ), se obtem:
inf nIN fn (IR, )
+
||
(98)
|| +.
Por outro lado, Ln (s, ) e convexa, semicontnua inferior e crescente para

os valores de n. Tal como na primeira parte da demonstrac
ao, o limite de
(Ln (s, )) e L(s, ) s, . Com efeito, definindo () como na (Parte IV) da
demonstracao, mas com L() em vez f (), se existir uma subsucessao infinita
(ki ) de (k ) , para a qual ki = 0 i, ent
ao = 0, e por (79),
n (0, ) = L(s, 0) = lim n (s) =
n+
1
= lim fn (s, 0) = lim inf s
, k .
n,i+
n,i+
n i
No caso em que k 6= 0 k mas = 0, tem-se que s n1 , k = fn (s, k ) =

L(s, k ) e s (0, ) = fn (s, 0) = n (s) L(s, ), portanto
s (0, ) L(s, ) lim inf L(s, k ) =
n,k+
1
lim inf fn (s, k ) = lim inf s
, k .
n,k+
n,k+
n
Supoe-se agora que k 6= 0 k e 6= 0. Assim, tal como anteriormente,
s (0, ) = L(s, ) lim inf L(s, k ) =
n,k+
1
= lim inf fn (s, k ) = lim inf s ( , k ).
n,k+
n,k+
n
Entao, provou-se (95) e (96), i.e.,
(99)
+
\
epi Ln (s, ) =
n=1
+
\
co epi fn (s, ) epi L(s, ) s.
n=1
pelo que a sucessao (Ln ()) converge pontualmente para L().

Parte VIII:
Fixa-se n IN e considera-se o problema de auxiliar de minimizac
ao do
integral
Z b
(100)
Ln (x(t), x0 (t))dt,
x() XAB .
a
Como Ln () e L B-mensuravel, Ln (, 0) = n () e semicontnua inferior e

Ln (s, ) e convexa, semicontnua inferior, e como consequencia do (Lema 2.1),
mensuravel. Por (98) e (Proposic
ao 3.23), Ln (s, ) satisfaz uniformemente
em n IN a condicao de crescimento superlinear no infinito. Portanto, por
[Ces83], existem: um conjunto comum fracamente sequencialmente comn X
pacto XAB
em uma sucessao minimizante (xkn ()) para
AB , o qual cont
o integral (100) em XAB , e um intervalo compacto [A0 , B0 ] ( comum ) que
60
contem os seus valores [Akn , Bnk ] = xkn ([a, b]) k IN. Como Ln (s, )
n (s)+mn () com mn () L1 (A, B) por (97) e as observac
oes que o seguem
1
k
k
(97), resulta que mn () L (An , Bn ) com [An , Bn ] [An , Bn ] [A0 , B0 ].
Como [An , Bn ] contem todos os valores da sucessao minimizante e mn ()
L1 (An , Bn ), o integral (100) e fracamente sequencialmente semicontnuo in0 , para esta sucess
ferior em XAB
ao minimizante. (Com efeito, podemos redefinir Ln (s, ) de modo a tomar o valor + para s
/ [An , Bn ] e 6= 0, de
tal modo que Ln (s, 0) = {0} s
/ [An , Bn ], () = Ln (, 0) [0, n] e
semicontnua inferior e Ln (, 0) L1 (R)).
Em particular, existe um minimizante yn () para o integral (100) em
0
XAB , com yn ([a, b]) [A0 , B0 ] e yn () XAB
n IN. Claramente
Rb
0
a Ln (yn (t), yn (t))dt I < + n, pois Ln () L().
Parte IX:
Considera-se n () = Ln (, 0), que e semicontnua inferior, e definem-se
a0n := min {t [a, b] : n (yn (t)) = min n (yn ([a, b]))} n,
s0n = yn (a0n ),
b0n := max yn1 (s0n ) [a0n , b].
Esta parte dedica-se à analise do possvel comportamento de yn () no intervalo

[t1 , t2 ] [a, b] com yn (t1 ) = yn (t2 ) e t1 < t2 . Define-se
para t
/ [a0n , b0n ]
yn (t)
zn (t) :=
0
sn
para t [a0n , b0n ]
e consideram-se as seguintes possibilidades:
no caso [t1 , t2 ] [a, a0n ] define-se:
yn (t)
para t [a, t1 ]
para t [t1 , a0n t2 + t1 ]

yn (t + t2 t1 )
zn (t) :=
s0n
para t [a0n t2 + t1 , b0n ]
yn (t)
para t [b0n , b];
no caso [t1 , t2 ] [b0n , b] define-se
yn (t)
para t [a, t1 ]
para t [a0n , b0n + t2 t1 ]

s0n
zn (t) :=
para t [b0n + t2 t1 , t2 ]
yn (t t2 + t1 )
yn (t)
para t [t2 , b].

61
Tambem se define
tn := min {t [t1 , t2 ] : n (yn (t)) = min n (yn ([t1 , t2 ]))} ,
obtem-se , no caso [t1 , t2 ]
Z
t2
+ >
t1
Z
Ln (yn (t), yn0 (t))dt
Z
t2
t1
sn := y(tn ),
[a, a0n ],
t2
t1
{n (yn (t)) + mn (yn (t))yn0 (t)}dt
{n (sn ) + mn (yn (t))yn0 (t)}dt.
Como por definicao n (sn ) < +, pondo

n () := Ln (yn (), yn0 ()) n (sn ) n (s0n ) > ,
Rb
resulta que a n (t)dt I < + e, por (80), mn (yn ())yn0 () n (). Portanto, como consequencia do (Corolario 2.1) o integral de mn (yn ())yn0 () em
[t1 , t2 ] existe e e igual a 0. Portanto
Z t2
Z t2
+ >
{n (sn ) + mn (yn (t))yn0 (t)}dt =
t1
t2
=
t1
n (sn )dt
Z
t1
t2
t1
n (s0n )dt =
a0n
a0n t2 +t1
a0n
a0n t2 +t1
n (s0n )dt =
Ln (zn , zn0 )dt.
Para outras posicoes de [t1 , t2 ], relativamente a [a0n , b0n ], podemos obter

desigualdades similares, procedendo de modo analogo. Portanto, em todos
esses casos
Z b
Z b
(101)
Ln (zn (t), zn0 (t))dt.
a
Contudo, deve uma igualdade, pois a desigualdade estrita contradiz o facto

de yn () ser um minimizante para o integral (100). Em particular. n (sn ) >
n (s0n ) nao pode acontecer.
Em conclusao, verifica-se que n (sn ) = n (s0n ) - ent
ao, em particular,
[t1 , t2 ] [a, a0n ] nao se verifica - e zn () tal como yn () tambem e um minimizante do integral (100). Portanto, sem perda de generalidade, podemos
supor que yn () monotona em [a, a0n ], constante s0n em [a0n , b0n ] e monotona
em [b0n , b].
Parte X:
0
Seja n +. Tal como na oitava parte da demonstrac
ao, XAB
e
[A0 , B0 ] sao compactos, logo existem:
uma funcao absolutamente contnua y : [a, b] [A0 , B0 ] tal que
0 ;
y(a) = A, y(b) = B, e portanto y() XAB
0
0
0
pontos a b em [a, b] e s [A0 , B0 ], tais que:

62
a sucessao yn () * y() w-W 1,1 (como em [Amb87]);

a sucessao (s0n ) converge para s0 ;
as sucessoes (a0n ), (b0n ) converge para a0 , b0 , respectivamente;
y() e monotona no intervalo [a, a0 ], constante s0 em [a0 , b0 ] e
monotona em [b0 , b].
Supoe-se que a funcao limite y() e um minimizante do integral
Rb
0
a L(x(t), x (t))dt. Com efeito, para cada k IN fixo:
Z b
Z b
(102)
Ln (x(t), x0 (t))dt
Ln (yn (t), yn0 (t))dt x() XAB ,
Z
(103)
lim inf
n+
Z
Z
(104)
lim inf
n+
(105)
n+
Z
Lk (yn (t), yn0 (t))dt
L(x(t), x0 (t))dt lim inf
n+
e fazendo k +,
n+
Lk (y(t), y (t))dt
Lk (yn (t), yn0 (t))dt,
Lk (y(t), y 0 (t))dt,
Ln (x(t), x0 (t))dt,
lim inf
(106)
lim inf
L(y(t), y 0 (t))dt,
porque yn () minimiza o integral (100); a sucessao (Ln (s, )) e crescente, o

integral (100) e sequencialmente fracamente semicontnuo inferior; L()
Ln (); (Ln (y(), y 0 ())) L(y(), y 0 ()) q.s. e pelo (Lema de Fatou 3.5) ( que
se pode aplicar pois Ln () 0). Com efeito, (104) verifica-se, pois a estimaRb
tiva (97) so depende das desigualdades Lk (s, ) k (s)+mk (s),
a mk (s)ds >
Rb
Rb
0
0
, a Lk (yn (t), yn (t))dt a Ln (yn (t), yn (t))dt I + 1.
Portanto, fazendo n + em (102) obtem-se, para alguma func
ao
x() XAB ,
Z b
Z b
0
Ln (x(t), x (t))dt lim inf
lim inf
n+
n+
Z
(107)
lim inf
n+
Z
Lk (yn (t), yn0 (t))dt
Lk (y(t), y 0 (t))dt,
por (103) e (104).

Fazendo k + em (105) e obtem-se, por (106) e (107), para alguma
funcao x() XAB ,
Z b
Z b
0
L(x(t), x (t))dt lim lim inf
Ln (x(t), x0 (t))dt
k+ n+
Z
lim
k+ a
Z
Lk (y(t), y 0 (t))dt
L(y(t), y 0 (t))dt.

63
Parte XI:
Rb
Isto mostra que y() minimiza o funcional integral a L(x(t), x0 (t))dt,
como se tinha afirmado em (102); e portanto, como anteriormente, y() e
monotona em [a, a0 ], constante s0 em [a0 , b0 ] e novamente monotona em
[b0 , b].
Definem-se as funcoes d , d+ : IR [, +], tais que:
d := inf (L(s, ))1 (IR) d+ := sup (L(s, ))1 (IR) ;

e
min L(s, 0)
m (s) :=
no caso de d (s) < 0 d+ (s) e L(s, 0) 6=
0
para outro s,

min (L(s, ))1 (m (s))
(s) :=
0
para outro s,

max L(s, 0)
m+ (s) :=
0
para outro s,
1
max (L(s, )) (m+ (s))
(s) :=
0
para outro s,
(s) := L(s, 0).
Verifica-se que:
(108)
(s) 0 (s),
int (L(s, ))1 (L(s, 0)) = ((s), (s))
L(s, ) = (s) + m (s) [(s), 0],

L(s, ) = (s) + m+ (s) [0, (s)].
Por outro lado, a desigualdade (54) e verdadeira ( para ser mais exacto,
verifica-se a igualdade, pois L(s, ) e uma func
ao convexa), com (s) ou (s)
definidos nesta parte da demonstrac
ao. Portanto podemos aplicar separadamente o (Teorema 2.4) em cada um dos intervalos [a, a0 ], [b0 , b] (onde o
minimizante y(), obtido em na parte sete da demosnatrac
ao, e estritamente
monotono), e como y() restringido a este intervalo e minimiza o funcional
Rb
oes x() XAB ,
integral a L(x(t), x0 (t))dt, definido na classe X 0 AB das func
tais que x(a0 ) = s0 = x(b0 ).
Assim, resultam duas novas func
oes z1 () e z2 (), definidas em [a,a] e
em [b,b] respectivamente. Ent
ao constroi-se z : [a, b] IR, tal que
z1 (t)
em [a, a0 ]
y(t) = s0 em [a0 , b0 ]
z(t) :=
z2 (t)
em [b0 , b],
64
que e uma funcao absolutamente contnua, pois z1 (a0 ) = s0 = z2 (b0 ), e que

satifaz (76), por causa de (108) e (Teorema 2.4).
O conjunto imagem de z() (i.e., [A, s0 ] [s0 , B]) coincide com o de y().
Por aplicacao do (Teorema 2.4), podem existir intervalos [a00 , b00 ], [a0 , b0 ],
[a000 , b000 ] onde z() e constante, com valores s0 , s00 , s000 , e com a a00 b00
a0 b0 a000 b000 b.
Contudo, a escolha destes valores s00 , s0 , s000 (pode obedecer ao criterio
comentado no incio da demonstrac
ao do (Teorema 2.4), ent
ao tera que ser
um ponto de mnimo de L(, 0). Isto significa que s00 (respectivamente s000 )
pode, no caso a00 < b00 ( respectivamente a000 < b000 ), ser escolhido no intervalo
[A, s0 ] (respectivamente em [s0 , B]), para o qual L(s00 , 0) L(s, 0)s [A, s0 ],
(respectivamente L(s000 , 0) L(s, 0)s [s0 , B]); e que L(s0 , 0) L(s, 0)s
[A, s0 ] [s0 , B].
Em particular, verifica-se que L(s00 , 0) = L(s0 , 0) = L(s000 , 0), ( caso
00
a < b00 e a000 < b000 ), tambem se pode fazer com que z() seja constante
so no ponto s0 (i.e., s00 = s0 = s000 ) durante um intervalo de comprimento
b0 a0 + b00 a00 + b000 a000 .
Redefinem-se a0 e b0 , e obtem-se: z(t) s0 no intervalo [a0 , b0 ] e que z()
e crescente (ou decresce) em [a, a0 ] e em [b0 , b], com
z 0 (t)
/ {0} ((z(t)), (z(t))) q.s. em
[a, b] \ (a0 , b0 )
i.e, obtem-se (76) , como consequencia de (108).

Rb
Deste modo, obtem-se um novo minimizante para o integral a L(x(t), x0 (t))dt,
definido na classe das func
oes x() XAB , que satisfaz as propriedades do
(Teorema 2.2).
Prova-se assim que as conclusoes do (Teorema 2.4) permanecem validas,
sempre que A = B ou L() e semicontnua inferior nos pontos do tipo
(s, 0) s, i.e., de um modo mais geral, no caso em que L() e aproxim
avel
por declives integraveis, como em (79) e (80).
2.4.2. Caso n
ao-convexo.
Teorema 2.5. (Caso n
ao-convexo) Seja L : IR IR (, +] uma
func
ao L B-mensur
avel, limitada inferiormente, com L(s, )
semicontnua inferior s IR e superlinear, iso e,
inf L(IR, )
+,
||
|| +.
Define-se a func
ao Lc () que: ou e igual a L () quando L (, 0) e
semicontnua inferior e Lc () = L () verifica as hip
oteses extra formuladas
no (Teorema 2.4); ou ent
ao L0 (), em que
(109)
para 6= 0 s
L(s, )
0
L (s, ) :=
lim inf (sk ,k )(s,0) L (sk , k )

para = 0 s IR.

65
Seja yc () um minimizante bimon

otono (cuja existencia e estabelecida pelo
(Teorema 2.4)) do funcional integral convexo
Z b
(110)
Lc (x(t), x0 (t))dt,
x() XAB .
a
Ent
ao, se existir sc yc ([a, b]) tal que
L(sc , 0) = Lc (sc , 0) = min Lc (yc [a, b], 0)
Rb
existe um minimizante y() para integral n
ao-convexo a L(x(t), x0 (t))dt.
o. A demonstrac
Demonstrac
a
ao divide-se em varias partes:
Parte I:
Seja yc () um minimizante do funcional integral convexificado
R b
0
a L (x(t), x (t))dt definido na classe XAB e tal que
(1) yc () s0 IR em algum subintervalo [a0 , b0 ] [a, b], com a0 b0 ;
(2) yc () e monotono em algum dos restantes subintervalos [a, a0 ], [b0 , b]
e verifica a condic
ao yc0 (t) 6 {0}int[(L(y(t), ))1 (L (y(t), 0))],
O objectivo e modifica-la de modo a obter uma outra func
ao y() XAB
que seja um minimizante para o integral nao-convexo
Z b
L(x(t), x0 (t))dt,
x() AB .
a
Suponhamos que o valor mnimo para o integral convexificado

Z b
L (x(t), x0 (t))dt,
a
definido na classe XAB , e finito.

Considera-se o domnio de definic
ao de yc () restringida a um dos seus
intervalos de monotonia estrita, de tal modo que
h
i
yc0 (t) 6 {0} int (L(y(t), ))1 (L (y(t), 0)) .
Sem perda de generalidade e para simplificar a notac
ao, supoe-se que
o intervalo considerado e [a, b], e as condic
oes de fronteira sao
yc (a) = A < yc (b) = B. Definem-se tambem os conjuntos mensuraveis
E := {t [a, b] : L (yc (t), yc0 (t)) < L(yc (t), yc0 (t))},
1
1
S := yc (E) = s [A, B] : L
s,
< L s,
,
w(s)
w(s)
onde w : [A, B] (0, +) representa a derivada da func
ao inversa
ao yc : [a, b] [A, B], de tal modo que
yc1 : [A, B] [a, b] da func
(111)
s = yc (t) t = yc1 (s),
w(yc (t)) = (yc0 (t))1
Observe-se que w() L1 (A, B), yc1 () e absolutamente contnua( pois

yc () e absolutamente contnua, crescente, e satisfaz (76)).

66
Denota-se por S () a func

ao caracteristica do conjunto S. Por [ET99,
Proposicao IX.3.1] existem func
oes mensuraveis : [A, B] [0, 1], , :
[A, B] IR tais que
(s) (s),
L (s, (s)) = L(s, (s)) < +, L (s, (s)) = L(s, (s)) < +,
(112)
1
= [1 (s)](s) + (s)(s),
w(s)
L
s,
= [1 (s)]L(s, (s)) + (s)L(s, (s)).
w(s)
Em particular, como yc0 (t) 6 {0} int [(L(y(t), ))1 (L (y(t), 0))],
1
0 < (s) < w(s)
< (s) , 0 < (s) < 1, s S; e supoe-se 0 < (s) =
1
1
w(s) = (s) , (s) = 2 , s [A, B] \ S.
Para s S, define-se
m(s) :=
L(s, (s)) L(s, (s))

, q(s) := L(s, (s)) (s)m(s),
(s) (s)
e resulta
L(s, (s)) = q(s) + m(s)(s),
L(s, (s)) = q(s) + m(s)(s),
1
1
L
s,
= q(s) + m(s)
.
w(s)
w(s)
1
Em particular, q(s) + m(s) w(s)
> 0 s S. Como yc1 () e absolutamente
contnua e crescente, do (Lema 2.2) resulta
Z b
Z B
1
0
)w(s)ds < +,
L (yc (t), yc (t))dt =
L (s,
w(s)
a
A
e portanto,
Z b
Z B
0
(113)
L (yc (t), yc (t))E (t)dt =
[m(s) + q(s)w(s)]S (s)ds < +
a
Parte II:
O objectivo e aplicar o (Teorema de Liapunov 3.33); contudo
q
1
nao e possvel, pois as func
oes ()
, m(), ()
, de um modo geral,
1
nao pertencem a L (S). Para transpor esta dificuldade definem-se em S
as seguintes funcoes:
r(s) :=
1
1
> 0,
() ()
(s) := q(s)r(s),
(s) :=
p(s) := m(s) +
w(s)
r(s)
1
(s)
q(s)
0,
(s)
(0, 1),
s S.

Observe-se que
67
Z
1
0
+ r(s)(s) ds =
w(s)ds < +,
S (s)
S
Z
Z
1
0
ds
w(s)ds < +,
S (s)
S
Z
Z
0
r(s)(s)ds
w(s)ds < +
S
p(s) + (s)(s) = m(s) + q(s)w(s) 0 s S,
Z
Z
1
L
s,
0
w(s)ds = [p(s) + (s)(s)]ds < +.
w(s)
S
S
1
Define-se a funcao 1 (s) := (s)
+ |(s)| + p(s) + r(s), e para n = 1, 2, ...,
define-se o conjunto Sn := {s S : n 1 < 1 (s) n}. Obviamente
S
1 (s) L1 (Sn ). Como 0 < 1 (s) < + s S tem-se que S = +
n=1 Sn .
Pelo (Teorema de Liapunov 3.33), para cada n IN existe um
subconjunto mensuravel Sn Sn tal que
Z B
Z B
r(s)(s)Sn (s)ds =
r(s)Sn (s)ds,
Z
(s)(s)Sn (s)ds =
(s)Sn (s)ds.
A
A
S
S+
+
Definem-se Sn+ = Sn \ Sn e S + := +
n=1 Sn , S :=
n=1 Sn tais que
S S + =R S. Define-se ainda uma nova func
ao : [A, B] [a, +],
s
1
1
S () + ()
S + ()]d. Ent
ao,
(s) := a + A [w()[A,B]\S () + ()
Z
ba=
Z
w(s)ds =
A
1
S + (s)ds+
A
A (s)
Z B
Z B
1
1
+
S (s)ds +
w(s)
S (s)ds =
(s)
A (s)
A
Z B
Z B
Z B
X
1
1
=
w(s)[A,B]\S (s)ds +
S + (s)ds +
(s)ds+
(s) Sn
A
A (s)
n=1 A
Z B
X
1
+
Sn (s)ds =
w(s)
(s)
n=1 A
Z B
Z B
Z B
X
1
1
=
w(s)[A,B]\S (s)ds +
S + (s)ds +
(s)ds+
(s) Sn
A
A (s)
n=1 A
Z B
X
1
1
+
(s)ds =
(s) (s) Sn
A
w(s)[A,B]\S (s)ds +
n=1

68
=
A
w(s)[A,B]\S (s)ds +
+
Z
X
n=1 A
1
+ (s)ds+
(s) S
1
(s)ds =
(s) Sn
1
1
=
+ (s) +
(s) ds = (B) a.
(s) S
(s) S
A
portanto (B) = b, (A) = a, e () e uma func
ao absolutamente contnua.
Em particular,
1
1
0 (s) = w(s)[A,B]\S (s) +
S (s) +
+ (s) > 0
(s)
(s) S
Z
B
w(s)[A,B]\S (s) +
q.s. em [A, B], e ()e estritamente crescente em [A, B] e tem valores em

[a, b]. Considere-se y : [a, b] [A, B] a func
ao inversa de () que e estritamente crescente e absolutamente contnua, com y(b) = B, y(a) = A e com
derivada y 0 (t) = ( 0 (y(t)))1 (0, +) q.s. em [a, b].
Como p() = L(,())
0, (p + )() = L(,())
0, definem-se
()
()
P
(s) := [p(s) + (s)]S (s) + p(s)S + (s), N (s) := (s) N
n=1 Sn (s),
t = (s) s = y(t), de (113) resulta,
Z b
Z B
1
L (y(t), y (t))dt =
L
s,
w(s)ds =
w(s)
a
A
Z B
Z B
1
1
w(s)[A,B]\S (s)ds +
L
s,
w(s)S (s)ds =
=
L
s,
w(s)
w(s)
A
A
Z B
Z B
1
=
L
s,
w(s)[A,B]\S (s)ds +
[p(s) + (s)(s)] S (s)ds =
w(s)
A
A
Z B
1
=
L
s,
w(s)[A,B]\S (s)ds+
w(s)
A
Z B
Z B
X
+
p(s)Sn (s)ds +
(s)(s)Sn (s)ds =
A
n=1
L
s,
Z
=
+
Z
=
Z
X
n=1
L
s,
1
w(s)
w(s)[A,B]\S (s)ds+
1
w(s)
p(s)Sn (s)ds +
(s)Sn (s)ds =
w(s)[A,B]\S (s)ds +
Z
X
n=1 A
(s)Sn (s)ds =
Z B
1
w(s)[A,B]\S (s)ds + lim
N (s)ds =
=
L
s,
N + A
w(s)
A
Z B
Z B
1
=
L s,
w(s)[A,B]\S (s)ds +
lim N (s)ds =
w(s)
A
A N +
Z

L
s,
1
w(s)
69
w(s)[A,B]\S (s)ds+
Z B
Z B
[p(s) + (s)]S (s)ds +
p(s)S + (s)ds =
+
A
A
Z B
1
=
L s,
w(s)[A,B]\S (s)ds+
w(s)
A
Z B
Z B
1
1
+
L(s, (s))
S (s)ds +
+ (s)ds =
L(s, (s))
(s)
(s) S
A
A
Z B
Z B
1
1
0
(s)[A,B]\S (s)ds +
L s, 0
0 (s)S (s)ds =
=
L s, 0
(s)
(s)
A
A
Z B
Z b
1
=
L s, 0
0 (s)ds =
L(y(t), y 0 (t))dt,
(s)
A
a
novamente pelo Lema (2.2) e pelo (Teorema da Convergencia Monotona
Rb
3.6). Logo, z() minimiza o integral nao-convexo a L(x(t), x0 (t))dt.
Parte III:
Define-se y() := yc () em [a0 , b0 ], e aplica-se o metodo utilizado em na primeira parte da demonstrac
ao para obter y() em cada
0
0
um dos intervalos, [a, a ] e [b , b], onde o minimizante yc () do integral
Rb
convexificado a L (x(t), x0 (t))dt, dado pelo (Teorema 2.4), e estritamente
Rb
monotono, obtemos um minimizante y() para o integral nao-convexo a L(x(t), x0 (t))dt,
que satisfaz as propriedades expressas no (Teorema 2.2).
Parte IV:
Supoe-se agora que yc () satisfaz a inclusao diferencial de
DuBois-Reymond, i.e., existe uma constante q tal que
A
L (yc (t), yc0 (t)) q + yc0 (t)L (yc (t), yc0 (t)).
Para mostrarmos que e valida a inclusao
L(y(t), y 0 (t)) q + y 0 (t)L (y(t), y 0 (t))
para y(), supoe-se sem perda de generalidade, que yc () cresce estritamente
em [a, b], tal que verifica a propriedade (76), com valores em [A, B]. Para
w(s) := yc01 (s) tem-se t = yc1 (s) [a, b] se e so se s = yc (t) [A, B],
1
yc0 (t) = w(s)
portanto
1
1
1
L (yc (t), yc0 (t))yc0 (t)L (yc (t), yc0 (t)) = L s,
L s,
w(s)
w(s)
w(s)
q.s. em [a, b] e q.s. em [A, B]. Por isso, para (s) := y 1 (s) tem-se s = y(t)
[A, B] se e so se t = (s) [a, b], y 0 (t) = 01(s) , logo tendo em considerac
ao a
0
forma como se obteve (),
1
1
1
1
1
1
cL
s,
L
s,
L
s, 0
0 L
s, 0
=
w(s)
w(s)
w(s)
(s)
(s)
(s)
= L (yc (t), yc0 (t)) yc0 (t)L (yc (t), yc0 (t)),

70
q.s. em [a, b] e q.s. em [A, B]. ( Observe-se que este raciocnio depende
unicamente do facto de yc () satisfazer a inclusao de DuBois-Reymond, independentemente de yc0 (t) int (L (yc (t), ))1 (IR) q.s. se verificar ou nao,
quer para yc (t) como para y()).
o 2.4. Outra possibilidade para demonstrar a existencia de

Observac
a
minimizantes e considerar um minimizante bimon
otono para o funcional
integral n
ao convexo
Z b
(114)
L0 (x(t), x0 (t))dt,
x() XAB ,
a
dado pelo (Teorema 2.5). (Em particular, L00 () = L0 () satisfaz (110), com
L0 () no lugar de L(), e portanto o (Teorema 2.5) fornece um minimizante
y().)
Ent
ao, caso y 0 (t) 6= 0 q.s., y() tambem minimiza o funcional integral
Z b
L(t, x(t), x0 (t))dt,
a
devido a (109).
O seguinte resultado clarifica o que acontece no caso
em que o lagrangiano tem ou nao declives integr
aveis. No que segue
M = {m : IR IR : m() e mensuravel}.
Teorema 2.6. Seja L : IR IR (, +] uma funca
o L Bmensur
avel tal que L(, 0) e semicontnua inferior. Suponhamos que existem
m(), ()
M, tais que () e semicontnua inferior, e

L(s, ) (s) + m(s) s, .
Ent
ao,
(1) Se
Z
(115)
m(s)+ ds = +,
ent
ao o funcional integral L() + para os pontos da clase XAB ,
onde existe;
(2) Se A = B e m()
/ L1 (A, C) para todo o C 6= A ent
ao a func
ao
Rb
constante yA () A e um minimizante para o integral a L(x(t), x0 (t))dt
(
unico se L(A, 0) < +). ( Com efeito, yA () e a u
nica func
ao no
Rb
conjunto XAA para a qual o integral a L(x(t), x0 (t))dt tem valor
finito.)
(3) Se m() L1 (A, B) e
(116)
M 0 :
L(s, ) M (1 + ||)
ent
ao, pode-se supor que m() 0.
s, .

(4) Se
ent
ao o integral
Rb
a
71
m(s) ds = +,
L(x(t), x0 (t))dt + na classe XBA .
o. Comeca-se por provar que se existem m(), ()

Demonstrac
a
M, tais que () e semicontnua inferior, e L(s, ) (s) + m(s), ent
ao
1
m() L (x([a, b])\(A, B)) para qualquer x() XAB , para o qual o valor do
Rb
integral a L(x(t), x0 (t))dt e finito. Considera-se b0 (a, b) tal que x(b0 ) = A;
e supoe-se que A B e que existe a0 (a, b0 ) para o qual x(a0 ) = A0 < A
B. Considera-se que sm e um ponto de minimo de () em x([a, b]).
Como por hipotese, existem func
oes m(), () M, tais que () e
semicontnua inferior,
L(s, ) (s) + m(s),
m(s) L(s, ) (s) L(s, ) (sm ),
e define-se () := L(x(), x0 ()) (sm ), donde m(x())x0 () ()
L1 (a, b); por isso, pelo (Corolario 2.1) , os funcionais integrais de m(x())x0 (t)
e de m() existem e sao iguais, i.e.,
Z A0
Z a0
Z a0
m(s)ds =
m(x(t))x0 (t)dt
(t)dt < +,
A
e portanto,
Z
A0
<
m(s)ds =
A
a0
m(x(t))x (t)dt
a
a0
(t)dt < +.
a
Isto significa que o integral de m() existe, e m() L1 (A, A0 ) como se queria.
De modo similar, para provar (1), se existir x() XAB tal que
Rb +
0
ao obtem-se uma contradic
ao, pois pelo
a L (x(t), x (t))dt < +, ent
RB
Rb
(Corolario 2.1) os funcionais integrais A m(s)ds e a m(x(t))x0 (t)dt existem
RB
e sao iguais, logo < , e em particular A m+ (s)ds < +, o que contradiz
(115).
A demonstracao da parte (2) e agora imediata.
Resta provar (3). Considera-se a func
ao x() XAB tal que o
Rb
0
funcional integral a L(x(t), x (t))dt existe, e e < +.
Como
L0 (x(t), x0 (t)) L0 (x(t), 0) = L(x(t), x0 (t)) min L(x([a, b]), 0),
Z
+ >
Z
0
L(x(t), x (t))dt =
a
{L0 (x(t), x0 (t)) + m(x(t))x0 (t)}dt

Z
min L(x[a, b], 0)(b a) +

a
m(x(t))x0 (t)dt;

72
este u
ltimo integral existe e e < +, e novamente pelo (Corolario 2.1)
RB
igual ao integral A m(s)ds = c IR. Portanto, c e uma constante real,
independentemente da escolha da func
ao x() XAB , e
Z b
Z b
L(x(t), x0 (t))dt =
{L0 (x(t), x0 (t)) + m(x(t))x0 (t)}dt =
a
Z
c+
a
L0 (x(t), x0 (t))dt,
x() XAB
Rb
para o qual existe a L(x(t), x0 (t))dt < +.
Por outro lado, se x() XAB L0 (x(), x0 ()) L1 (a, b), e ent
ao
Z b
Z b
m(x(t))x0 (t)dt =
{L(x(t), x0 (t)) L0 (x(t), x0 (t))}dt
a
M (b a) M
Z
0
|x (t)|dt
a
Rb
L0 (x(t), x0 (t))dt > ,
pelo que existe o integral

x0 (t))dt e de novo pelo
a m(x(t),
RB
(Corolario 2.1) e igual ao integral
= c IR.
A m(s)ds
Assim, m(x())x0 () L1 (a, b) e
L(x(), x0 ()) = L0 (x(), x0 ()) + m(x())x0 () L1 (a, b).
o 2.5. Observe-se que a hip

Observac
a
otese (6) do (Teorema 2.4) de
semicontinuidade inferior da func
ao L() em (s, 0) s SAB pode ser
substituida por uma mais fraca:
(1) ou L(s0 , 0) = f (s0 , 0) = f (s0 , 0) onde f () representa o inv
olucro
semicontnuo inferior de L(), i.e., epi f () = epi L();
(2) ou ent
ao m()
/ L1 (s0 , C) C 6= s0 e L(s, ) (s) + m(s) s,
e alguns (), m() M com () semicontnua inferior.
Com efeito, ao considera-se de novo o inv
olucro semicontnuo inferior
de f () de L(). Seja g(s, ) = f (s, ) a func
ao bipolar de f (s, ), ent
ao
como f () e semicontnua inferior, g() tambem o e.
Define-se:
para 6= 0, s IR
L(s, )
h(s, ) :=
g(s, 0)
para = 0, s IR.
Considera-se L(s, ) = h (s, ). Pela convexidade e semicontinuidade
inferior de g(s, ), e g(s, ) h(s, ) resulta que
g(s, ) L(s, 0) h(s, ) L(s, )
s,
e como g() e semicontnua inferior

g(s, 0) L(s, 0) h(s, 0) = g(s, 0)

73
lim inf g(sk , k ) lim inf L(sk , k ),

(sk )s
(k )0
(sk )s
(k )0
e obtem-se
L(s, 0) = h(s, 0) = g(s, 0) lim inf L(sk , k )
(sk )s
(k )0
i.e, L() e semicontnua inferior nos pontos (s, 0), s.

Como L(s, ) e convexa e semicontnua inferior, existe um minimizante
bimon
otono y() para o integral
Z b
L(x(t), x0 (t))dt, x() A,
a
Como L(s, ) e convexa, semicontnua inferior e h(s, ) = L(s, ), excepto em = 0 onde h(s, 0) L(s, 0); e L(s, ) = h (s, ), L(s, ) e afim ao
longo de cada um dos intervalos ((s), 0), (0, (s)), para os valores de 6=
/ {0}[(L (y(t), ))1 (L (y(t), 0))],
0 onde L(s, ) < L(s, ); e portanto, por y 0 (t)
L(y(t), y 0 (t)) = L(y(t), y 0 (t)) q.s. em [a, a0 ] [b0 , b].
Por outro lado,
L(s0 , 0) = f (s0 , 0) = f (s0 , 0) = g(s0 , 0) = L(s0 , 0),
em
[a0 , b0 ]
a func
ao constante y() s0 obriga a que
L(y(), y 0 ()) = L(s0 , 0) = L(s0 , 0) = L(y(), y 0 ()).
Assim, para toda a func
ao x():
Z b
L(y(t), y 0 (t))dt =
a
a0
b0
L(y(t), y (t))dt +
a0
Z
=
L(y(t), y 0 (t))dt =
b0
L(y(t), y (t))dt +
0
L(y(t), y (t))dt
a
L(x(t), x0 (t))dt
L(x(t), x0 (t))dt,
pelo que y() e minimizante para o integral considerado.

Rb
Portanto, y() minimiza o integral a L(x(t), x0 (t))dt, x() XAB , caso:
ou A = B;
ou L() e semicontnua inferior nos pontos (s, 0), s;
ou que L() e convexa e semicontnua inferior em (s0 , 0);
ou que (51) juntamente com (52)se verifiquem;
ou que (2) do (Teorema 2.6) continue verdadeiro com s0 no lugar
de A.
74
Teorema 2.7. Seja L : IR IR (, +] uma funca

o
L B-mensur
avel que L(s, ) e n
ao-convexa, mas zero-convexa, L(, 0) e
L(s, ) semicontnuas inferiores para todo o s IR. Suponha-se que, existem
Rb
A, B IR tais que o funcional integral convexificado a Lc (x(t), x0 (t))dt
definido na classe das func
oes XAB , tem um minimizante y() para o qual
existem conjuntos abertos disjuntos O , O+ [a, b], tais que, com excepc
ao
de um conjunto de medida nula, y 0 (t) 0 em O , y 0 (t) 0 em O+ e
{t [a, b] : L (y(t), y 0 (t)) < L(y(t), y 0 (t))} O O+ .
Rb
Ent
ao, existem minimizantes para o integral n
ao-convexo a L(x(t), x0 (t))dt,
na classe de funco
es XAB .
o. Tal como na (Parte VII) da demonstrac
Demonstrac
a
ao do
(Teorema 2.4) demonstra-se a existencia de um minimizante, que pelas
(Partes I e II) da demonstrac
ao (Teorema 2.5), se prova que e monotono
em cada um dos intervalos do conjunto aberto O O+ .
Teorema 2.8. Seja L : IR IR (, +] uma func

ao que L() e
semicontnua inferior nos pontos (s, ) se: ou = 0, ou (L) (s, ) = L(s, )
es
/ N (onde N representa um conjunto de medida nula) e L() representa
o inv
olucro semicontnuo inferior de L().
Se L() satisfaz as hip
oteses do (Teorema 2.2) (respectivamente (Teorema 2.3)) ent
ao as conclus
oes do (Teorema 2.2) (respectivamente (Teorema
2.3)) s
ao v
alidas para L().
o. O integral
Demonstrac
a
Z b
L(x(t), x0 (t))dt,
(117)
a
x() XAB ,
tem minimizante y(), que pelos (Teoremas 2.2 e 2.3) e bimonotono.

( )
Como L(s, ) = lim inf (skk )s L(sk , k ), e (L) (s, ) = L(s, ), ent
ao:
L(s, ) = L(s, ) se = 0; ou ent

ao(L) (s, ) = L(s, ) para os pontos
s
/ N.
Como em [a0 , b0 ], y() s0 , y 0 () 0 donde pela igualdade (L) (s, ) =
L(s, ), e pela zero-convexidade,
(118)
(L) (y(t), y 0 (t)) = L(y(t), y 0 (t)) = L(y(t), y 0 (t)) em [a0 , b0 ].
Por outro lado, no conjunto T := {t [a, b] \ [a0 , b0 ] : y(t) N } tem-se

que y 0 (t) 6= 0 q.s. e y 0 (t) = 0 q.s. ( porque N e um conjunto de medida
nula) e portanto, T tem medida nula, isto e, y(t)
/ N q.s. em [a, b] \ [a0 , b0 ].
0
Por u
ltimo, pelo modo como se construiu y () por (112), como (L) (s, ) =
L(s, ), para os pontos s
/ N , e (118) resulta
(119) (L) (y(t), y 0 (t)) = L(y(t), y 0 (t)) = L(y(t), y 0 (t)) q.s. em [a0 , b0 ].

75
Portanto, a funcao y() satisfaz a igualdade

Z b
Z b
L(y(t), y 0 (t))dt =
L(y(t), y 0 (t))dt.
a
Mas como y() minimiza o integral (117) e L() L(), tambem minimiza
Rb
o integral a L(y(t), y 0 (t))dt. (A mensurabilidade de L(y(), y 0 ()) e consequencia da mensurabilidade de L(y(), y 0 ()).)

APENDICE
A
Definico
es e resultados preliminares
No que diz respeito à organizac
ao, este captulo divide-se nas seguintes
partes:
1. Espa
cos topol
ogicos e lineares:
1.1. Espacos topologicos;
1.2. Espacos metricos;
1.3. Espacos lineares;
1.4. Topologias fracas;
1.5. Espacos reflexivos;
1.6. Espacos separaveis;
2. An
alise convexa:
2.1. Conjuntos convexos;
2.2. Funcoes convexas;
2.3. Funcoes semicontnuas inferiores;
2.4. Continuidade das func
oes convexas;
2.5. Dualidade;
2.6. Subdiferenciabilidade;
3. Medida e espa
cos funcionais:
3.1. Conjuntos mensuraveis;
3.2. Funcoes mensuraveis;
3.3. Teoremas de Lusin e Egoroff;
3.4. O integral de Lebesgue;
3.5. Os espacos de Lebesgue Lp ;
3.6. Compacidade;
3.7. Os espacos de Sobolev W 1,p ;
3.8. Funcoes de variac
ao limitada;
3.9. Funcoes absolutamente contnuas;
3.10. Um teorema de mudanca de vari
avel;
3.11. O teorema de Liapunov das medidas vectoriais;
3.12. Equacoes diferenciais;
3.13. Multifuncoes;
3.14. Funcoes normais;
3.15. Interseccao de epigraficos.
77
78
E RESULTADOS PRELIMINARES
A. DEFINIC
OES
1. Espa
cos topol
ogicos e lineares
1.1. Espa
cos topol
ogicos.
o 1.1. [Yos71, pag. 3] Um espaco topol
Definic
a
ogico (X, T ) e um conjunto munido de uma colecc
ao T P(X) de subconjuntos de X, chamada
topologia de X, tal que
(1) , X T ;
S
(2) se {O }A T ent
ao A O T para qualquer conjunto A;
T
ao ki=1 Oi T .
(3) se {Oi }ki=1 T ent
i.e., T contem X e , e e fechado em relac
ao a uni
oes e em relac
ao a
intersecc
oes finitas.
Os conjuntos O T sao chamados conjuntos abertos, e os seus complementares sao chamados conjuntos fechados. Se x X ent
ao um conjunto aberto contendo x diz-se uma vizinhanca de x. O fecho A de um
conjunto
T A X e o menor conjunto fechado que contem A, i.e.,
A := {C : A C e C e fechado}. x diz-se um ponto de acumulac
ao de
A X se qualquer vizinhanca de x contem infinitos pontos de A.
Uma base para a topologia T e uma subcolecc
ao T tal que para
cada O T e x O existe B tal que x B O. Uma topologia S
diz-se mais fina que T se T S e menos fina que T se S T . Se Y X
entao Y pode ser visto como um espaco topologico de uma forma natural
tomando a topologia induzida TY := {O Y : O T }.
Uma sucessao (xn )nIN X diz-se convergente para x X se para todo
o conjunto aberto O contendo x existe N IN tal que (xn )n>N O.
(X, T ) diz-se um espaco de Hausdorff se para quaisquer pontos x1 , x2
X existem O1 , O2 T tais que Xi Oi e O1 O2 = . (X, T ) diz-se espaco
normal se e de Hausdorff e para quaisquer fechados X1 , X2 X existem
O1 , O2 T tais que Xi Oi e O1 O2 = .
S
{O } A diz-se uma cobertura aberta de X se X = A O e uma cobertura aberta finita se A e finito. (X, T ) diz-se compacto se toda a cobertura
aberta tem uma subcobertura finita, localmente compacto se qualquer ponto
tem uma vizinhanca com fecho compacto e sequencialmente compacto se
qualquer sucessao tem uma subsucessao convergente. X diz-se -compacto
se e uma uniao contavel de conjuntos compactos.
Se (X , T ), A sao espacos
Q topologicos e A e um qualquer conjunto
ent
a
o
a
topologia
produto
em
e a topologia gerada pela base
A X
Q
{ O : O T , O 6= X apenas para um n
umero finito de s}.
Seja (X, T ) um espaco topologico. Um conjunto D X diz-se denso em
X se D = X. X diz-se separ
avel se tem um subconjunto cont
avel e denso.
IRn com os conjuntos abertos e fechados usuais e um exemplo famliar de
espaco topologico. As bolas abertas (bolas abertas com raio racional, bolas
abertas com raio e centro racionais) formam uma base. Os pontos de um
espaco de Hausdorff sao conjuntos fechados.

E LINEARES
1. ESPAC
OS TOPOLOGICOS
79
o 1.1. [Rud87, pag. 36] Um subconjunto fechado de um

Proposic
a
conjunto compacto e um conjunto compacto.
o 1.2. [Rud87, pag. 36] Um subconjunto compacto de um
Proposic
a
espaco de Hausdorff e um conjunto fechado.
o 1.3. [Yos71, pag. 7] Um espaco de Hausdorff compacto e
Proposic
a
normal.
Uma consequencia u
til da normalidade e o seguinte resultado de extensao:
o 1.4. [Rud87, pag. 389] Se X e um espaco topol
Proposic
a
ogico
normal, Y X e fechado e f : Y IR e contnua ent
ao existe uma
extens
ao contnua de f a X.
Diz-se que uma coleccao de conjuntos tem a propriedade de intersecc
ao
finita se toda a subcoleccao finita tem intersecc
ao nao-vazia.
o 1.5. Uma colecca
Proposic
a
o de conjuntos compactos com a propriedade de intersecca
o finita tem intersecc
ao n
ao-vazia.
o 1.2. [KF99] A compactificac
Definic
a
ao por um ponto de um espaco
b
de Hausdorff n
ao compacto (X, T ) e X := (X {}, S), onde
S := T {(X {}) \ K : K X e compacto}.
Teorema 1.1. (Teorema de Tychonoff [Yos71, pag. 6]) O produto
de espacos compactos e compacto.
o 1.3. [Yos71] Sejam (X, T ) e (Y, S) espacos topol
Definic
a
ogicos.
Uma transformac
ao f : X Y diz-se contnua se O S implica que
f 1 (O) T , aberta se O T implica que f (O) S, e um homeomorfismo
se e contnua, bijectiva e tem inversa contnua. Se existe um homeomorfismo
X Y ent
ao X e Y dizem-se homeomorfos. Denotamos por C 0 (X, Y ) o
espaco das transformac
oes contnuas de X para Y e escrevemos C 0 (X) para
0
C (X, IR). Uma transformac
ao f de um espaco topol
ogico para IR diz-se semicontnua inferior se f 1 (c, ) = {x X : f (x) < c} T para todo o
c IR.
Uma propriedade de dois espacos topologicos que e a mesma para quaisquer dois espacos homeomorfos diz-se um invariante topol
ogico.
Teorema 1.2. [Yos71, pag. 4] A imagem de um compacto por uma
transformac
ao contnua e compacta.
Uma aplicacao u
til das noc
oes de continuidade, compacidade e Hausdorff
e o seguinte resultado, por vezes designado por invari
ancia de domnio:
o 1.6. [Yos71, pag. 76] Uma bijecc
Proposic
a
ao contnua de um espaco
compacto para um espaco de Hausdorff e um homeomorfismo.
80
A. DEFINIC
OES
o 1.4. Um espaco topol

Definic
a
ogico (X, T ) diz-se conexo se X n
ao
pode ser coberto por quaisquer dois conjuntos abertos disjuntos. (X, T ) dizse conexo por arcos se quaisquer dois pontos x1 , x2 X existe uma curva
contnua c : [0, 1] X com c(i) = xi . Uma componente conexa e um
subconjunto conexo maximal de X. (X, T ) diz-se totalmente desconexo se
todo o ponto e uma componente conexa.
O conjunto de Cantor e Q IR sao totalmente desconexos. As componentes conexas sao conjuntos fechados. Logo, as componentes conexas sao
abertas se existe apenas um n
umero finito e, mais geralmente, se qualquer
ponto tem uma vizinhanca conexa (i.e., o espaco e localmente conexo). Este
nao e o caso com Q.
Teorema 1.3. [Ma91, pag. 99] Uma imagem contnua de um espaco
conexo e conexa.
Teorema 1.4. [Ma91, pag. 98] O produto de dois espacos topol
ogicos
conexos e conexo.
1.2. Espa
cos m
etricos. Para varias noc
oes bastante naturais nao e
adequada uma estrutura topologica e necessitamos antes de uma estrutura
uniforme, i.e., uma topologia na qual podemos comparar vizinhancas de
diferentes pontos. Esta questao pode considerar-se abstractamente e e efectivada para espacos vectoriais topologicos, mas e mais conveniente introduzir
estes conceitos para espacos metricos.
o 1.5. [Yos71, pag. 3] Se X e um conjunto ent
Definic
a
ao d : X X
IR diz-se uma dist
ancia se
(1) d(x, y) = d(y, x);
(2) d(x, y) = 0 x = y;
(3) d(x, y) + d(y, z) d(x, z) (desigualdade tri
angular).
Se d e uma distancia ent
ao (X, d) diz-se um espaco metrico. O conjunto
B(x, r) := {y X : d(x, y) < r} chama-se bola aberta de raio r em torno
de x.
O X diz-se aberto se para todo o x O existe r > 0 tal que B(x, r)
O.
Dado A X o conjunto A := {x X : r > 0 B(x, r) A 6= }
diz-se o fecho de A. A diz-se fechado se A = A. Sejam (X, dX ) e (Y, dY )
espacos metricos. Uma transformac
ao f : X Y diz-se uniformemente
contnua se para todo o > 0 existe > 0 tal que para quaisquer x, y X
com dX (x, y) < temos dY (f (x), f (y)) < . Uma bijecc
ao uniformemente
contnua com inversa uniformemente contnua diz-se um homeomorfismo
uniforme. Uma famlia F de transformac
oes X Y diz-se equicontnua se
para cada x X e > 0 existe > 0 tal que dX (x, y) < implica que
dY (f (x), f (y)) < para quaisquer y Y e f () F. Uma transformac
ao
f : X Y diz-se K-Lipschitz se existem K, > 0 tal que d(x, y)X <

E LINEARES
1. ESPAC
OS TOPOLOGICOS
81
implica que dY (f (x), f (y)) < KdX (x, y), e bi-Lipschitz se e Lipschitz e tem
inversa Lipschitz.
Uma sucessao (xn )nIN chama-se sucess
ao de Cauchy se para todo o
> 0 existe N IN tal que d(xi , xj ) < sempre que i, j N . X diz-se
completo se toda a sucessao de Cauchy e convergente.
A coleccao de conjuntos abertos induz uma topologia tendo as bolas
abertas como base. Conjuntos fechados tem complementares abertos. As
definicoes sao consistentes com as definic
oes dadas para espacos topologicos.
Para espacos metricos, as noc
oes de compacidade e compacidade sequencial
sao equivalentes.
A completude e uma propriedade muito importante pois permite-nos tomar limites, os quais surgem frequentemente nas nossas construc
oes. Note-se
que nao e possvel definir uma noc
ao de sucessao de Cauchy num espaco topologico arbitrario pois nao temos a possibilidade de comparar vizinhancas
em diferentes pontos. Uma observac
ao u
til e que os compactos sao completos, pela compacidade sequencial. Um espaco metrico pode tornar-se
completo do seguinte modo:
o 1.6. [KF99, pag. 40] Se X e um espaco metrico e existe uma
Definic
a
isometria de X para um subconjunto denso de um espaco metrico completo
b ent
b diz-se o completado de X.
X
ao X
A menos de isometrias o completado de X e u
nico: se ha dois completados X1 e X2 entao por construc
ao existe uma isometria bijectiva entre
subconjuntos densos e portanto esta isometria pode ser estendida (pela continuidade uniforme) a todo o espaco. Por outro lado, existem sempre completados, pela construcao usada para obter n
umero reais a partir dos n
umeros
racionais. Esta completac
ao e obtida a partir do espaco de sucessoes de
Cauchy em X identificando duas sucessoes se a distancia entre elementos
correspondentes converge para zero. A distancia entre duas (classes de equivalencia de) sucessoes e definida como o limite das distancias entre elementos
correspondentes. A isometria transforma pontos em sucesoes constantes.
Teorema 1.5. (Teorema de Categoria de Baire [Yos71, pag. 11])
Num espaco metrico completo, uma intersecc
ao cont
avel de conjuntos abertos densos e densa. O mesmo e verdade para um espaco de Hausdorff localmente compacto.
Um espaco topologico diz-se metrizavel se existe uma distancia no espaco
que induz a topologia. Todo o espaco metrico e normal e portanto de Hausdorff. Um espaco metrico tem uma base cont
avel se e so se e separavel.
Reciprocamente usando a (Proposic
ao 1.3), temos o seguinte.
o 1.7. Um espaco normal com base cont
Proposic
a
avel para a topologia, e logo qualquer espaco de Hausdorff compacto com base cont
avel, e
metriz
avel.
82
A. DEFINIC
OES
Se X e um espaco topologico, compacto e metrizavel ent

ao o espaco
C(X, X) das transformacoes contnuas de X em si proprio possui a topologia C 0 ou uniforme. Esta topologia e induzida fixando uma distancia
em X e definindo a distancia d() entre f (), g() C(X, X) por
d(f, g) := maxxX (f (x), g(x)).
Teorema 1.6. (Teorema de Ascoli-Arzel
a [Yos71, pag. 85]) Sejam
X, Y espacos metricos, com X separ
avel, e F uma famlia equicontnua de
transformac
oes. Se (fn ())nIN F e tal que (fn ())nIN tem fecho compacto
para todo o x X ent
ao existe uma subsucess
ao que converge uniformemente
em
conjuntos compactos para uma func
ao f ().
Assim, em particular, uma famlia equicontnua, limitada e fechada de
transformacoes num espaco compacto e compacta na topologia uniforme
(induzida pela norma do supremo).
1.3. Espa
cos lineares. Muitos espacos interessantes que encontramos
tanto directamente ou como espacos dos objectos (func
oes ou transformac
oes)
que estamos a estudar tem uma estrutura linear.
o 1.7. Um espaco vectorial topol
Definic
a
ogico e um espaco linear munido de uma topologia de Hausdorff que e invariante por translac
oes e multiplicac
oes por escalares (i.e., translac
oes e multiplicac
oes por escalares n
ao
nulos s
ao homeomorfismos). Um isomorfismo de um espaco vectorial topol
ogico e um homeomorfismo linear.
Muitas vezes a topologia de um espaco linear e induzida por uma estrutura metrica conveniente.
o 1.8. [KF99, pag. 71] Uma norma num espaco linear V e
Definic
a
uma func
ao k k : V IR tal que para cada v, w V e cada IR temos
(1) kvk = 0 v = 0;
(2) kvk = ||kvk;
(3) kv + wk kvk + kwk.
Um vector v diz-se unit
ario se kvk = 1. Um espaco linear normado e um
espaco linear V com uma norma k k. Um espaco de Banach e um espaco
linear normado que e completo relativamente à distancia d(v, w) := kv wk
induzida pela norma. Duas normas k k e k k0 dizem-se equivalentes se
existe C > 0 tal que C1 k k0 k k k k0 , i.e., a transformac
ao identidade
e um homeomorfismo uniforme em relac
ao a k k e k k0 .
Um produto interno num espaco linear V e uma forma bilinear simetrica
e definida positiva, i.e., uma transformac
ao V V IR, (u, v) 7 hu, vi tal
que
(1) hv, vi 0, com igualdade apenas para v = 0;
(2) hu, vi = hv, ui;
(3) hau + bv, wi = ahu, wi + bhv, wi.

E LINEARES
1. ESPAC
OS TOPOLOGICOS
83
p
Um produto interno induz uma norma kvk = hv, vi. Um espaco prehilbertiano e um espaco linear V com produto interno. Um espaco de Hilbert
e um espaco pre-hilbertiano completo. Dois vectores dizem-se ortogonais e
denotamos por u v se hu, vi = 0. Dado um subespaco L de IRn , o conjunto
de vectores x tais que x L, denomina-se complemento ortogonal de L e
denota-se por L . L e um outro subespaco de IRn e dim L + dim L = n.
Um sistema ortogonal num espaco pre-hilbertiano e um conjunto de vectores
ortogonais dois a dois, e um sistema ortonormal e um sistema ortogonal
de vectores unitarios. Um sistema ortonormal diz-se completo se gera um
conjunto denso.
Num espaco linear normado de dimensao finita todas as normas sao
equivalentes. Assim todos os espacos lineares normados de dimensao finita
sao isomorfos ao espaco Euclideano atrav
es de um isomorfismo bi-Lipschitz.
p
por vezes u
E
til notar que se kvk = hv, vi ent
ao num espaco vectorial
real podemos recuperar o produto interno de k k atraves da identidade
1
(120)
hu, vi =
ku + vk2 ku vk2
4
a que chamamos identidade de polarizac
ao.
1.4. Topologias fracas. Muitas vezes obtemos uma informac
ao importante considerando transformac
oes lineares que vaopara o corpo escalar, tais como projeccoes para uma dada coordenada ou, em espacos de
funcoes integraveis, o integral.
Uma transformac
ao linear ou um operador linear de um espaco linear
V para um espaco linear Y e uma transformac
ao A : X Y tal que
A(v + w) = A(v) + A(w) para cada v, w V e cada , IR. Uma
tranformacao linear A : V Y entre espacos lineares normados diz-se
limitada se temos kAk := supkvk1 kA(v)k < e neste caso chama-se norma
de A. (Os operadores limitados sao claramente contnuos.) Dizemos que A
e uma isometria ou um operador isometrico se kA(v)k = kvk para todo o
v V . Diz-se unit
ario se e uma simetria invertvel.
o 1.9. [Bre99, pag. 35] Um funcional linear num espaco liDefinic
a
near V e uma transformaca
o linear de V para IR.
O espaco dos funcionais lineares limitados num espaco linear normado
V chama-se dual de V e denotamo-lo por V .
Quando f V e v V escrevemos geralmente hf, vi em vez de f (v);
diz-se que h, i e o produto escalar na dualidade V , V .
A topologia fraca (V, V ).
o 1.10. [Bre99, pag. 35] A topologia fraca (V, V ) num
Definic
a
espaco linear V e a topologia mais fraca para a qual todos os funcionais
lineares limitados s
ao contnuos.
Dada uma sucessao (vn ) em V , denotamos por vn * v a convergencia
fraca (V, V ) de (vn ) para v.
84
A. DEFINIC
OES
o 1.8. [Bre99, pag. 35] Seja (vn ) uma sucess

Proposic
a
ao em V .
Ent
ao:
(1) vn * v para (V, V ) se e s
o se hf, vn i hf, vi f V ;
(2) Se vn v fortemente, ent
ao vn * v para a topologia fraca (V, V );
(3) Se vn * v para (V, V ), ent
ao kvn k e limitada e
kvk lim inf n+ kvn k;
(4) Se vn * v para (V, V ) e se fn f fortemente em V ,
ent
ao hfn , vn i hf, vi.
Para ver que as nocoes relacionadas com o dual de um espaco linear
normado nao sao vazias necessitamos o seguinte teorema acerca da existencia
de funcionais lineares:
Teorema 1.7. (Teorema de Hahn-Banach [Bre99, pag. 1]) Sejam
V um espaco linear normado, W V um subespaco linear e f : W IR
um funcional linear limitado. Ent
ao existe uma extenc
ao F : V IR de f
a um funcional linear em V tal que kF k = kf k.
Deste resultado segue imediatamente que o dual de um espaco linear
normado e nao-vazio e que a topologia fraca e uma topologia de Hausdorff.
A topologia fraca (V , V ). Se v V ent
ao v : V IR, f 7
f (v) e um funcional linear em V (com kv k = kvk) e a transformac

ao
: V V , v 7 v e um homomorfismo isometrico (pelo teorema de
Hahn-Banach). Se for um isomorfismo ent
ao V diz-se reflexivo.
Seja (fn ) uma sucessao em V . Escrevemos fn * f para representar a
convergencia na topologia fraca (V , V ).
o 1.9. [Bre99, pag. 40] Seja (fn ) uma sucess
Proposic
a
ao em V .
Ent
ao:
(1) Se fn * f para (V , V ) se e s
o se hf, vn i hf, vi v V ;
(2) Se fn f fortemente , ent
ao fn * f para (V , V );
(3) Se fn * f para (V , V ), ent
ao kfn k e limitada e
kf k lim inf kfn k;
(4) Se fn * f para (V , V ) e se vn v fortemente em X 0 ,
ent
ao hfn , vn i hf, vi.
A importancia fundamental da topologia fraca (V , V ) esta relacionada com o seguinte resultado acerca da compacidade:
Teorema 1.8. (Teorema de Alaoglu [Bre99, pag. 42]) A bola unit
aria
no dual de um espaco linear normado e compacta para a topologia fraca
(V , V ).
Este resultado segue do Teorema de Tychonoff (1.1) pois qualquer
Q topologia de convergencia pontual e induzida pela topologia produto de xX Y =
{f : X Y }. Nomeadamente, seja X a bola unitaria no espaco linear normado e Y = [1, 1]. A bola unitaria no dual corresponde naturalmente
à coleccao das transformac
oes linearesX Y (e a linearidade e uma

CONVEXA
2. ANALISE
85
condicao fechada). O Teorema de Alaoglu implica que os conjuntos com

norma limitada que sao fechados na topologia fraca s
ao compactos.
O dual de um espaco de dimensao finita e isomorfo ao proprio espaco.
1.5. Espa
cos reflexivos. Seja X um espaco de Banach. Como acima,
quando a transformacao : X X , v 7 v e um isomorfismo, X diz-se
reflexivo.
Teorema 1.9. (Kakutani [Bre99, pag. 44]) X e reflexivo se e s
o se
a sua bola unit
aria e compacta para a topologia (X, X ).
o 1.10. [Bre99, pag. 45] Sejam, X um espaco de Banach
Proposic
a
reflexivo e M X um subespaco vectorial fechado. Ent
ao M (munido da
topologia induzida pela de X) e reflexivo.
Corolario 1.1. [Bre99, pag. 45] X e reflexivo se e s
o se X tambem
o e.
1.6. Espa
cos separ
aveis. Como foi referido, um espaco metrico X e
separavel se existir um subconjunto D X numer
avel e denso.
o 1.11. [Bre99, pag. 47] Seja X um espaco metrico seProposic
a
par
avel e M um subconjunto de X. Ent
ao, M e separ
avel.
X
Teorema 1.10. [Bre99, pag. 47] Seja X um espaco de Banach com

separ
avel. Ent
ao, X e separ
avel.
Corolario 1.2. [Bre99, pag. 48] Seja X um espaco de Banach. Ent

ao,
X e reflexivo e separ
avel se e s
o se tambem X e reflexivo e separ
avel.
Corolario 1.3. [Bre99, pag. 50] Sejam X um espaco de Banach separ
avel e (fn ) uma sucess
ao limitada em X . Ent
ao, existe uma subsucess
ao
(fnk ) que convergente na topologia (X , X).
Teorema 1.11. [Bre99, pag. 50] Seja X um espaco de Banach reflexivo
e (xn ) uma sucess
ao limitada em X. Ent
ao (xnk )
que convergente na topologia (X, X ).
Teorema 1.12. (Eberlein-Smulian

[Bre99, pag. 50]) Seja X um
espaco de Banach, para o qual toda a sucess
ao limitada (xn ) possui uma
subsucess
ao (xnk ) convergente na topologia fraca (X, X ). Ent
ao, X e
reflexivo.
2. An
alise convexa
2.1. Conjuntos convexos.
o 2.1. [ET99, pag. 1] Um subconjunto C de um espaco vecDefinic
a
torial real V diz-se convexo se tv + (1 t)w C sempre que v, w C e
t [0, 1].
86
A. DEFINIC
OES
Por inducao, o subconjunto C V e convexo se e so se para todo o

subconjunto finito de elementos v1 , ..., vn de C, e para toda a famlia de
n
umeros reais positivos 1 , ..., n tal que ni=1 i = 1, ent
ao ni=1 i ui C.
Se A V entao o involucro
T convexo co(A) e o menor conjunto convexo
que contem A, i.e., co(A) = {C : A C, C e convexo}. co(A) tambem
se escreve como o conjunto de todas as combinac
oes convexas de elementos
de A, i.e., co A := {ni=1 i ui : n IN, ni=1 i = 1, ui A, 1 i n}.
Num espaco vectorial topologico o inv
olucro convexo fechado de A e o fecho
co (A) de co (A).
Um ponto extremo de um conjunto convexo C e um ponto v tal que
quando v = ta + (1 t)b para a, b C, t [0, 1] temos necessariamente
t 0, 1 ou a = b = v, i.e, v nao e uma combinac
ao propria convexa de
outros pontos. O conjunto dos pontos extremos de C denota-se por ex (C).
Um espaco vectorial topologico diz-se localmente convexo se todo o conjunto aberto contem um conjunto aberto convexo.
Um subconjunto A de um espaco vectorial topologico diz-se balancado
se A A para todo o IR, || 1.
o 2.2. [ET99, pag. 1] Se x e y s
Definic
a
ao pontos pertencentes a IRn ,
o conjunto dos pontos da forma tx + (1 t)y tais que t IR denomina-se
linha recta que passa por x e y.
Um subconjunto M IRn chama-se conjunto afim se tx + (1 t)y M
x, y M e t IR. Por exemplo, os subespacos lineares de IRn sao conjuntos
afins que contem a origem.
Para M IRn e a IRn , a translacc
ao de M por a define-se como
M + a = {x + a : x M }. A translacc
ao L de um conjunto afim e um
outro conjunto afim e M diz-se paralelo ao conjunto afim L se existir a tal
que M = L + a. Portanto a relac
ao de paralelismo estabelece uma relac
ao
n
de equivalencia na famlia dos subconjuntos afins de IR .
Cada subconjunto afim nao vazio e paralelo a um u
nico subespaco L, tal
que L = M M = {x y : x M, y M }.
A dimens
ao de um conjunto afim, nao vazio, M define-se como a dimensao do subespaco que lhe e paralelo.
A um conjunto afim,
(n 1)-dimensional em IRn chamamos hiperplano. Hiperplanos e outros
conjuntos afins, podem ser representados por func
oes lineares. Em particular, os subespacos (n 1)-dimensionais de IRn , sao os complementos
ortogonais dos subespacos unidimensionais, que sao os subespacos L que
tem como base um u
nico vector, diferente de zero, digamos b. Assim, os
subespacos (n 1)-dimensionais sao conjuntos da forma {x : x b}, com
b 6= 0. Os hiperplanos sao translac
oes destes, i.e., conjuntos da forma
{x : x b} + a = {x + a : hx, bi = 0} =
= {y : hy a, bi = 0} = {y : hy, bi = }
onde = ha, bi. Portanto;

CONVEXA
2. ANALISE
87
Teorema 2.1. [Roc70] Dado IR e um vector b IRn n

ao nulo, o
conjunto H = {y : hy, bi = } e um hiperplano em IRn .
No caso em que V e um espaco vectorial topologico consideramos que
um hiperplano H e descrito pelo conjunto {v : hf, vi = }, onde h, i e o
produto escalar na dualidade V , V . Diz-se que um hiperplano H separa
(estritamente) dois conjuntos A e B se cada um dos semi-espacos fechados
(abertos) limitados por H contem um dos conjuntos, i.e., se hf, vi = e a
equacao de H, entao, para a separac
ao temos hf, ai , a A, hf, bi ,
b B e para a separacao estrita hf, ai < , a A, hf, bi > , b B.
Corolario 2.1. [ET99, pag. 5] Sejam V um espaco vectorial topol
ogico; A um conjunto aberto, convexo e n
ao-vazio; B um conjunto convexo e n
ao-vazio tal que A B = . Ent
ao, existe um hiperplano H fechado
que separa A e B.
Corolario 2.2. [ET99, pag. 5] Sejam V um espaco vectorial localmente convexo; C e F dois conjuntos convexos n
ao-vazios e disjuntos em
que C compacto e F fechado. Ent
ao, existe um hiperplano H fechado, que
separa estritamente C e F .
Como aplicacao do (Corolario 2.1), se considerarmos A V um subconjunto e H um hiperplano afim, fechado que contem pelo menos um ponto
a A, entao o conjunto A esta completamente contido num dos semi-espacos
fechados definidos por H. Neste caso dizemos que H e um hiperplano suporte e que a e um ponto de suporte de A.
Corolario 2.3. [ET99, pag. 5] Sejam V um espaco vectorial topol
ogico
e A um conjunto convexo com interior n
ao-vazio. Ent
ao, todo o ponto de
fr A e um ponto suporte de A.
O seguinte resultado e consequencia do (Corolario 2.2):
Corolario 2.4. [ET99, pag. 5] Num espaco vectorial localmente convexo todo o conjunto fechado e convexo e a intersecc
ao de semi-espacos
fechados que o contem.
Do (Corolario 2.4) deduz-se que todo o conjunto fechado e convexo e fechado para a topologia fraca (V, V ).
Num espaco de Hausdorff
localmente convexo os conjuntos fechados e convexos para a topologia fraca
(V, V ) concidem com os conjuntos fechados e convexos da topologia da
norma.
No contexto de espacos normados usamos a seguinte caracterizac
ao:

A. DEFINIC
OES
88
Lema 2.1. (Lema de Mazur [ET99, pag. 6]) Seja V um espaco

normado e (vn ) uma sucess
ao tal que vn * v para (V, V ). Ent
ao, existe
N
uma sucess
ao de combinac
oes convexas (un ) tal que un = k=n k vk onde
N
=
1
e
0,
n
k N , que converge em norma para v, i.e.,

k
k
k=n
kun vk 0 quando n .
2.2. Fun
c
oes convexas.
o 2.3. [ET99, pag. 7] Sejam V um espaco vectorial, A V
Definic
a
um subespaco convexo e a func
ao f : A IR. f diz-se convexa se quaisquer
que sejam u, v A
(121)
f (u + (1 )v) f (u) + (1 )f (v)
[0, 1].
sempre que o segundo membro esteja definido (A desigualdade (121) e v

alida,
a n
ao ser que f (u) = f (v) = ). f diz-se estritamente convexa se for
convexa e
(122)
f (u + (1 )v) f (u) + (1 )f (v)
]0, 1[.
Por inducao prova-se que, se f e convexa, para todo o conjunto finito

de elementos u1 , ..., un V e para toda a famlia de n
umeros reais positivos
n
1 , ..., n tais que i=1 i = 1,
(123)
f (ni=1 i ui ) ni=1 i f (ui ),
sempre que o segundo membro da inequac

ao estiver definido.
Se f : V IR e convexa, ent
ao {u : f (u) a} e {u E : f (u) < a}
sao subconjuntos convexos de V , para todo o a IR. A reciproca e falsa.
Para toda a funcao f : V IR denotamos por dom f := {u V :
f (u) < +} o domnio efectivo de f , que e convexo, se f for uma func
ao
convexa.
A f : A IR com A V associamos a func
ao
f (u) se u A
(124)
f(u) :=
+ se u
/ A.
que e convexa se e so se A V e convexo e f : A IR e convexa. Se A e
um subconjunto de V , definimos a funca
o indicatriz de A
0 se u A
(125)
A (u) :=
+ se u
/ A.
Claramente, A e um conjunto convexo se e so se A () e uma func
ao convexa.
Uma funcao convexa f : V IR diz-se pr
opria se nao tomar o valor
e nao for identicamente +.
O epigrafico de uma func
ao f : V IR e o conjunto
(126)
epi f := {(u, a) V IR : f (u) a}
A funcao f : V IR e convexa se e so se o seu epigrafico e um conjunto

convexo.
A seguinte proposicao demonstra que o espaco das func
oes convexas e
um espaco vectorial.

CONVEXA
2. ANALISE
89
o 2.1. [ET99, pag. 9]

Proposic
a
(1) Se f : V IR e convexa e > 0, ent
ao f e convexa;
(2) Se f e g forem func
oes convexas definidas em V e com valores em
IR, ent
ao f + g e uma func
ao convexa.
(3) Se (fi )iI e uma famlia de func
oes convexas definidas em V , com
valores em IR, ent
ao f := supiI fi e uma func
ao convexa.
2.3. Fun
c
oes semicontnuas inferiores. Seja V um espaco vectorial
localmente convexo.
o 2.4. [ET99, pag. 10] Uma func
Definic
a
ao f : V IR diz-se semicontnua inferior (abreviadamente s.c.i.) em V , se forem equivalentes:
(1) a IR, {u V : f (u) a} e fechado;
(2) u V , f (u) lim inf uu f (u).
o 2.5. [ET99, pag. 10] Seja f : V IR. Ao maior dos
Definic
a
minorantes semicontnuos inferiores de f chamamos inv
olucro semicontnuo
inferior de f e denotamo-lo por f .
Corolario 2.5. [ET99, pag. 10] Sejam f : V IR e f o involucro
semicontnuo inferior de f . Ent
ao,
(1) epi f = epi f ;
(2) u V , f (u) = lim inf vu f (v).
Caso as funcoes consideradas serem tambem convexas a semicontinuidade inferior de f permanece inalterada quando se enfraquece a topologia
de V .
Corolario 2.6. [ET99, pag. 11] Toda a func
ao f : V IR convexa
e semicontnua inferior e semicontnua inferior quando V est
a munido da
topologia fraca (V, V )
Com efeito, como o epigrafico de f e convexo e fechado tambem e fechado
para a topologia fraca (V, V ).
A seguinte proposicao e de especial interesse.
o 2.2. [ET99, pag. 11] Seja f : V IR uma func
Proposic
a
ao convexa, semicontnua inferior que toma o valor . Ent
ao, n
ao toma valores
finitos.
2.4. Continuidade das fun
c
oes convexas.
Lema 2.2. [ET99, pag. 11] Se na vizinhanca de um ponto v V uma
func
ao convexa f e majorada por uma constante IR, ent
ao f e contnua
em v.
ao convexa e pr
opria, definida num espaco de dimens
ao finita, e contnua no interior do seu domnio
efectivo.

A. DEFINIC
OES
90
Corolario 2.8. [ET99, pag. 12] Seja f uma func

ao convexa e pr
opria
definida num espaco normado. Ent
ao, existe um conjunto aberto, n
ao vazio
no qual f e limitada superiormente se e s
o se int (dom f ) 6= . Alem disso,
f e a localmente lipschitziana .
inferior num espaco de Banach e contnua no interior do seu domnio efectivo.
2.5. Dualidade. Nesta secc
ao aplicamos o (Teorema ??) para introduzir a nocao de funcoes polares:
o 2.6. [Dac89] Sejam V um espaco vectorial, V o seu dual e
Definic
a
f : V IR.
(1) A func
ao f : V IR definida por f (v ) = supvV {hv , vif (v)}
diz-se func
ao polar f .
(2) A func
ao f : V IR definida por f (v) = supv V {hv , vi
f (v )} diz-se func
ao bipolar f .
(3) A func
ao co f : V IR definida por co f = {g f : g convexa}
chama-se inv
olucro convexo de f .
Teorema 2.2. [Dac89, pag. 35] Seja f : V IR. Ent
ao
(1) f e convexa e semicontnua inferior;

(2) Se f e convexa e semicontnua inferior, ent
ao f n
ao e identicamente igual a +;
(3) f co f f e se f e uma func
inferior, ent
ao f = co f = f . Em particular, se f : V IR,
ent
ao f = co f .
(4) f = f .
Teorema 2.3. (Teorema de Carath
eodory [Dac89, pag. 42]) Seja
M IRn . Denotamos por coM o involucro convexo de M , ent
ao
(127)
(
)
n+1
n+1
X
X
co M = inf x IRn : x =
i xi , xi M, i 0 com
i = 1 .
i=1
i=1
n
Corolario 2.10. [Dac89, pag. 42] Seja f : IR IR,ent

ao
(128)
(n+1
)
n+1
n+1
X
X
X
co f = inf
i f (xi ) :
i xi = x, i 0 com
i = 1 .
i=1
i=1
i=1
2.6. Subdiferenciabilidade. Seja V um espaco vectorial localmente

ao convexa. Um vector x diz-se subgradiente
convexo e f : V IR uma func
de f no ponto x se verifica a desigualdade:
(129)
f (z) f (x) + hx , z xi z.
Esta condicao, a que damos o nome de desigualdade subgradiente, significa

que o grafico da funcao afim h(z) = f (x) + hx , z xi e um hiperplano

CONVEXA
2. ANALISE
91
suporte (nao-vertical) ao conjunto epi f no ponto (x, f (x)). O conjunto dos

subgradientes de f em x diz-se subdiferencial de f em x e denota-se por
f (x). f : x 7 f (x) denomina-se subdiferencial de f . O conjunto f (x)
e fechado e convexo, pode ser vazio ou conter um so vector. Se f (x) e
nao-vazio, f diz-se subdiferenciavel em x.
Teorema 2.4. [Roc70, pag. 218] Seja f : V IR uma funca
o pr
opria
e convexa. Ent
ao, s
ao equivalentes:
(1) x f (x);
(2) hx , z xi f (z) tem valor m
aximo para z = x;
(3) f (x) + f (x ) hx , xi;
(4) f (x) + f (x ) = hx , xi
Se f e semicontnua inferior, ent
ao s
ao equivalentes:
(1) x f (x );
(2) hx , z xi f (z ) tem valor m
aximo para z = x ;
(3) x f (x)
Corolario 2.11. [ET99, pag. 21] O conjunto f (x) (possivelmete vazio) e convexo e fechado em V para a topologia fraca* (V , V ).
o 2.3. [ET99, pag. 21] Seja f : V IR finita e contnua no
Proposic
a
ponto x V . Ent
ao f (v) 6= v int (dom f ) e em particular, f (x) 6= .
Prova-se que se f e uma func
ao convexa, semicontnua inferior e propria,
definida num espaco metrico completo, e subdiferenciavel q.s. no conjunto
int(domf ).
Teorema 2.5. [RW98, pag. 483] Seja f : IRn IR uma func
ao
pr
opria, semicontnua inferior e convexa. Ent
ao s
ao equivalentes:
(1) f e diferenci
avel no conjunto int (dom f ) 6= , mas
f (x) = x dom f \ int (dom f ),
(2) a func
ao f e estritamente convexa em todo o conjunto convexo
C f .
o 2.7. [Yeh06, pag. 310] Seja I IR um intervalo aberto e
Definic
a
f : I IR uma func
ao convexa. f diz-se deriv
avel `
a direita de x0 I, se
exitir o limite
f (x) f (x0 )
(130)
fd0 (x0 ) = lim
IR.
xx0
x x0
Diz-se deriv
avel `
a esquerda de x0 I, se exitir o limite
f (x) f (x0 )
IR
(131)
fe0 (x0 ) = lim
xx0
x x0
Se f e diferenciavel à direita e à esquerda, quaisquer que sejam x1 , x2 I,
com x1 < x2 , verifica-se:
f (x2 ) f (x1 )
fe0 (x2 )
(132)
fd0 (x1 )
x2 x1
92
A. DEFINIC
OES
Teorema 2.6. [Yeh06, pag. 310] Seja f : I IR, com I e um intervalo

aberto. Ent
ao:
(1) f e contnua em I;
(2) fe0 fd0 em I;
(3) fe0 e fd0 s
ao funco
es crescentes em I;
(4) f e deriv
avel, i.e., existe derivada f 0 e e finita, em qualquer ponto,
excepto num conjunto cont
avel de pontos em I. Se f 0 existe e
x1 , x2 I, x1 < x2 , ent
ao f 0 (x1 ) f 0 (x2 ).
Teorema 2.7. [Yeh06, pag. 313] Seja I um intervalo aberto e f : I
IR uma funca
o convexa. Ent
ao:
(1) qualquer que seja o intervalo fechado [, ] I e M := max{|fd0 ()|, |fe0 ()|},
f e uma funca
o M -Lipschitziana em [, ], i.e.,
|f (x2 ) f (x1 )| M |x2 x1 |
x1 , x2 [, ];
(2) Para todo o x0 I e para todo o m [fe0 (x0 ), fd0 (x0 )], verifica-se
f (x) m(x x0 ) + f (x0 ), para x I;
(3) Existe uma colecc
ao cont
avel {gn : n IN} de func
oes afins,
gn (x) = n x + n , em que x I, n , n IR e n IN, tais que
f (x) = sup gn (x)
nIN
Teorema 2.8. [RW98, pag. 359] Seja um subconjunto aberto e convexo de IRn . Considere-se que a func
ao f : IR e convexa. Ent
ao, para
todo o x , o subdiferencial f (x) e (localmente) limitado.
3. Medida e espa
cos funcionais
3.1. Conjuntos mensur
aveis.
o 3.1. [Rud87, pag. 8] Seja X um conjunto. Uma colecc
Definic
a
ao
A de subconjuntos de X diz-se uma -
algebra em X se
(1) X A,
(2) para cada conjunto A A, o conjunto Ac pertence a A,
(3) para cada sucess
S ao infinita {Ai } de conjuntos que pertencem a A,
o conjunto
i=1 Ai pertence a A,
(4) para cada sucess
T ao infinita {Ai } de conjuntos que pertencem a A,
o conjunto i=1 Ai pertence a A.
o 3.2. [Rud87, pag. 8] Seja X um conjunto e A uma Definic
a
algebra em X. Ent
ao (X, A) diz-se um espaco mensur
avel.
o 3.3. [Rud87, pag. 8] Se A X for um elemento de A
Definic
a
dizemos que A e A-mensur
avel.
o 3.1. [Rud87, pag. 8] Seja X um conjunto, e F uma
Proposic
a
famlia de subconjuntos de X. Ent
ao existe a mais pequena -
algebra em X
que contem F, que recebe o nome de -
algebra gerada por F.
3. MEDIDA E ESPAC
OS FUNCIONAIS
93
o 3.4. [Rud87, pag. 12] A -

Definic
a
algebra de Borel em IRn gen
rada pela colecc
ao de abertos (usuais) de IR , e e denotada por B(IRn ). Os
subconjuntos de Borel, ou borelianos, de IRn s
ao os elementos de B(IRn ).
o 3.5. [Rud87, pag. 12] Seja G a famlia de todos os abertos
Definic
a
n
de IR e seja F a famlia de todos os fechados de IRn . Seja G a colecc
ao de
todas as intersecc
oes de sucess
oes de conjuntos em G, e seja F a colecc
ao
de todas as uni
oes de conjuntos em F. Os elementos de G s
ao chamados
conjuntos G e os elementos de F s
ao chamados conjuntos F .
o 3.2. [Rud87, pag. 12] Cada subconjunto fechado de IRn e
Proposic
a
um F , e cada subconjunto aberto de IRn e um G .
o 3.6. [Rud87, pag. 16] Sejam X um conjunto, e A uma Definic
a
algebra em X. Uma func

ao cujo domnio e a -
algebra A, e cujos valores
est
ao no conjunto [0, +], diz-se contavelmente aditiva se satisfaz
+ ! +
[
X
(133)
Ai =
(Ai )
i=1
i=1
para cada sucess

ao {Ai } de conjuntos disjuntos dois a dois de A.
o 3.7. [Rud87] Uma medida em A e uma func
Definic
a
ao : A
[0, +] que satisfaz () = 0 e e contavelmente aditiva.
o 3.8. Seja X um conjunto, A uma -
Definic
a
algebra em X e uma
medida em A. Ent
ao (X, A, ) diz-se um espaco de medida.
o 3.3. [Rud87] Seja (X, A, ) um espaco de medida, e sejam
Proposic
a
A, B A com A B; ent
ao (A) (B). Se alem disso, (A) < +
ent
ao (A \ B) = (A) (B).
o 3.9. Seja (X, A, ) um espaco de medida. Se {Ai } A e
Definic
a
uma sucess
ao arbitr
aria de conjuntos, ent
ao diz-se contavelmente subaditiva se
+ ! +
X
[
(Ai ) .
(134)
Ai
i=1
i=1
o 3.4. [Rud87] Seja (X, A, ) um espaco de medida.

Proposic
a
S
(1) Se {Ai } A e uma sucess
ao crescente (por inclus
ao), ent
ao +
i=1 Ai =
limi+ (Ai ),
ao decrescenteT(por inclus
ao), e se
+
(Ai ) < se verifica para todo o i, ent
ao i=1 Ai = limi+ (Ai ).
o 3.5. [Yeh06, pag. 32] Seja X um conjunto, e P(X) a
Proposic
a
colecc
ao de todos os subconjuntos de X. Uma medida exterior em X e uma
func
ao : P(X) [0, +] tal que
(1) () = 0
(2) Se A B X ent
ao (A) (B)
94
A. DEFINIC
OES

ao arbitr
aria de conjuntos de X, ent
ao
+ ! +
[
X
(135)
Ai
(Ai ) .
i=1
i=1
Podemos dizer que uma medida exterior em X e uma func

ao mon
otona e
contavelmente subaditiva de P(X) em [0, +] tal que o valor de e zero.
o 3.1. Uma medida pode n
Observac
a
ao ser uma medida exterior, basta
para isso que o seu domnio n
ao seja P(X). E uma medida exterior poder
a
n
ao ser uma medida, pois pode n
ao ser contavelmente aditiva.
Um intervalo de IRn e um subconjunto de IRn do tipo I1 I2 ... In
onde I1 , I2 , ..., In sao subintervalos de IR e
I1 I2 ... In = {(x1 , x2 , ..., xn )|xi Ii , i = 1, 2, ..., n}.
O volume de um intervalo I1 I2 ... In e dado pelo produto do comprimento dos intervalos I1 , I2 , ..., In e denota-se por vol(I1 I2 ... In ).
Para cada subconjunto A de IRn seja CA o conjunto
S de todas as sucessoes
{Ri } de intervalos abertos limitados tais que A +
ao a medida
i=1 Ri . Ent
exterior de Lebesgue, denota-se por L (A) (ou |A|) e define-se por
( +
)
X
L (A) = inf
vol(Ri ) : Ri CA .
i=1
o 3.10. [Yeh06, pag. 28] Seja X um conjunto, seja uma

Definic
a
medida
exterior
em X. Um subconjunto B de X diz-se -mensur
avel se a igualdade
(A) = (A B) + (A B c )
se verifica para qualquer subconjunto A X.
o 3.11. Um subconjunto de IRn diz-se Lebesgue mensur
Definic
a
avel se
e mensur
avel relativamente `
a medida exterior de Lebesgue.
Teorema 3.1. [Yeh06, pag. 44] Seja X um conjunto, seja uma
medida exterior em X, e seja M a colecc
ao de todos os subconjuntos mensur
aveis. Ent
ao:
(1) M e uma -
algebra;
(2) a restrica
o de a M e uma medida em M .
o 3.6. [Rud87] Qualquer boreliano de IRn e Lebesgue menProposic
a
sur
avel.
o 3.12. A restric
Definic
a
ao da medida exterior de Lebesgue em IRn ,
`
a colecc
ao M dos subconjuntos de IRn Lebesgue mensur
aveis, e chamada
medida de Lebesgue e ser
a denotada por L.
o 3.2. A restric
Observac
a
ao da medida exterior de Lebesgue ao conjunto dos borelianos B(IRn ) e tambem chamada medida de Lebesgue.
3. MEDIDA E ESPAC
OS FUNCIONAIS
95
o 3.7. [Rud87, pag. 41] Seja A um subconjunto de IRn

Proposic
a
Lebesgue mensur
avel. Ent
ao:
(1) L(A) = inf {L(U ) : U e aberto e A U };
(2) L(A) = sup {L(K) : K e compacto e K A};
o 3.8. [Rud87, pag. 51] A medida de Lebesgue e invariante
Proposic
a
por translac
oes no sentido que, se x IRn e A IRn ent
ao L(A) = L(x+A).
o 3.13. Seja (X, A, ) um espaco de medida. A medida dizDefinic
a
se completa se
A A,
(A) = 0
B A B A.
o 3.14. A medida de Lebegue em IRn dos conjuntos LebesgueDefinic

a
mensur
aveis e o completamento da medida de Lebesgue em (IRn , B(IRn )).
Lema 3.1. [Rud87, pag. 48] Seja A um subconjunto Lebesgue mensur
avel de IRn . Ent
ao existem subconjuntos borelianos E e F de IRn tais
que E A F e L(F \ E) = 0.
3.2. Fun
c
oes mensur
aveis. Nesta secc
ao introduz-se o conceito de
funcao mensuravel e estudam-se as suas propriedades.
o 3.9. [Rud87, pag. 10] Seja (X, A) um espaco mensur
Proposic
a
avel,
e seja A A. Para uma func
ao f : A [, +] as seguintes condic
oes
s
ao equivalentes:
(1) para cada real t o conjunto {x A : f (x) t} pertence a A;
(2) para cada real t o conjunto {x A : f (x) < t} pertence a A;
(3) para cada real t o conjunto {x A : f (x) t} pertence a A;
(4) para cada real t o conjunto {x A : f (x) > t} pertence a A.
o 3.15. Sejam (X, A) um espaco mensur
Definic
a
avel, e A A. A
func
ao f : A [, +] e A-mensur
avel se satisfaz uma e portanto todas
as condic
oes da (Proposic
ao 3.9).
o 3.16. Se X = IRn , uma func
Definic
a
ao que e mensur
avel em relac
ao
n
a B(IR ) e chamada Borel mensur
avel e uma func
ao que e mensur
avel com
respeito a M diz-se Lebesgue mensur
avel.
o 3.3. Toda a func
Observac
a
ao Borel mensur
avel e Lebesgue mensur
avel.
o 3.10. [Rud87, pag. 10] Seja (X, A) um espaco menProposic
a
sur
avel, e seja A A. Para uma func
ao f : A IR as seguintes condic
oes
s
ao equivalentes:
(1) f e A-mensur
avel;
(2) para cada subconjunto aberto U de IR o conjunto f 1 (U ) pertence
a A;
(3) para cada subconjunto fechado F de IR o conjunto f 1 (F ) pertence
a A;
96
A. DEFINIC
OES
(4) para cada subconjunto boreliano B de IR o conjunto f 1 (B) pertence a A.

Sejam f e g funcoes que tomam valores na recta acabada IR = [, +]
e tem o mesmo domnio A. O maximo e o mnimo de f e g s
ao func
oes de
A para [, +] definidas por
(f g)(x) = max{f (x), g(x)},
(f g)(x) = min{f (x), g(x)}.
a
sur
avel, seja A A, e sejam f e g func
oes mensur
aveis definidas em A
com valores em [, +]. Ent
ao f g e f g s
ao mensur
aveis.
a
sur
avel, seja A A, e seja (fn ) uma sucess
ao de func
oes mensur
aveis
definidas de A para [, +]. Ent
ao
(1) as func
oes supn fn e inf n fn s
ao mensur
aveis;
(2) as func
oes lim supn fn e lim inf n fn s
ao mensur
aveis;
(3) a func
ao limn fn ( cujo domnio e {x A : lim supn fn =
lim inf n fn }) e mensur
avel.
a
sur
avel, seja A um subconjunto de X pertencente a A, sejam f e g func
oes
definidas de A em IR, e seja um n
umero real. Ent
ao f, f + g, f g, f g
e fg (onde o domnio de fg e {x A : g(x) 6= 0} ) s
ao mensur
aveis.
o 3.17. Seja (X, A, ) um espaco de medida. Diz-se que uma
Definic
a
propriedade no conjunto dos pontos de X se verifica quase sempre, se o
conjunto dos pontos em X para os quais a propriedade n
ao se verifica tiver
medida nula.
Por outras palavras, uma propriedade verifica-se quase sempre se existe
um conjunto N pertencente a A, satisfazendo (N ) = 0, e contem todos os
pontos onde a propriedade e satisfeita.
Abreviadamente escrevemos, q.s. quando queremos afirmar que uma
propriedade se verifica quase sempre.
o 3.14. [Rud87, pag. 27] Seja (X, A, ) um espaco de meProposic
a
dida, e sejam f e g func
oes definidas em X e com valores reais que s
ao iguais
q.s.. Se e completa e se f e A-mensur
avel, ent
ao g e A-mensur
avel.
Corolario 3.1. [Rud87, pag. 28] Seja (X, A, ) um espaco de medida,
e seja (fn ) uma sucess
ao de func
oes definidas em X de valores reais, e seja
f definida em X e com valores reais tal que (fn ) converge para f q.s.. Se
e completa e cada fn e A-mensur
avel, ent
ao f e A-mensur
avel.
o 3.18. [Rud87, pag. 19] Uma func
Definic
a
ao s : IRn IR chama-se
n
func
ao simples se o seu contradomnio, s(IR ), for um conjunto finito.
3. MEDIDA E ESPAC
OS FUNCIONAIS
97
o 3.15. [Rud87, pag. 38] Seja (X, A) um espaco mensur

Proposic
a
avel
e seja B um conjunto de X. Ent
ao a func
ao caracteristica de B, B , e Amensur
avel se e s
o se B A.
o 3.4. Se s(x) {a1 , ..., am } x IRn ent
Observac
a
ao claramente
Pm
n
a
onde
A
=
{x
IR
:
s(x)
=
a
}.
Al
em disso, s e
s =
j
j
j=1 j Aj
mensur
avel se e s
o se A1 , ..., Am s
ao mensur
aveis.
Teorema 3.2. [Rud87, pag. 19] Seja f : A IRn IR. Podemos
garantir a existencia de uma sucess
ao (sn ) de func
oes simples convergindo
pontualmente para f em A.
(1) Se f e limitada, (sn ) pode ser escolhida de modo que a convergencia
seja uniforme;
(2) Se f e mensur
avel, cada sn pode ser mensur
avel;
(3) Se f tem valores n
ao negativos, a sucess
ao (sn ) pode ser escolhida
de modo a ser crescente em cada ponto.
3.3. Teoremas de Lusin e Egoroff. O seguinte Teorema garante que
uma funcao mensuravel pode ser aproximadaem medida, por uma func
ao
contnua.
Teorema 3.3. [ET99, pag. 231] (Teorema de Lusin)
Seja f : IRn IRm uma func
ao mensur
avel. Suponhamos A IRn e um
conjunto mensur
avel com medida finita. Ent
ao, para todo o > 0, existe
um conjunto compacto K A tal que L(A \ K) < , e f |K e contnua.
Teorema 3.4. [Yeh06, pag. 105] (Teorema de Egoroff )
Sejam fk : IRn IRm , k = 1, 2, ... uma sucess
ao de func
oes mensur
aveis e
n
A IR um conjunto mensur
avel com medida finita e fk g q.s. em A.
Ent
ao, qualquer que seja > 0 existe um conjunto mensur
avel B A tal
que L(A \ B) < , e fk g uniformemente em B.
3.4. O integral de Lebesgue. Estamos em condic
oes de definir o integral de Lebesgue de uma func
ao mensuravel definida num conjunto mensuravel A IRn . Nesta secc
ao quando falamos de conjuntos mensuraveis
queremos dizer Lebesgue mensuraveis.
Pm
Para uma funcao simples s =
j=1 aj Aj onde Aj A, sendo Aj
mensuravel, definimos
Z
m
X
aj (Aj ).
s(x)dx =
A
j=1
Se f e mensuravel e nao negativa, definimos

Z
Z
f (x)dx = sup
s(x)dx,
A
onde o supremo e tomado sobre o conjunto das func

oes mensuraveis que se
anulam fora de A e satisfazem 0 s(x) f (x) em A.
o 3.5. O integral de uma func
Observac
a
ao n
ao negativa pode ser +.
98
A. DEFINIC
OES
Se f e mensuravel e tem valores reais, escrevemos f = f + f , onde

= max{f, 0} e f = min{f, 0} sao ambas mensuraveis (Proposic
ao
3.12) e nao negativas.
f+
o 3.19. [Rud87, pag. 25] Definimos

Definic
a
Z
Z
Z
(136)
f (x)dx =
f (x)dx +
f + (x)dx
A
sempre que um dos integrais do segundo membro e finito. Se ambos os

integrais s
ao finitos dizemos que f e Lebesgue integr
avel em A.
o 3.16. Suponhamos que todas as func
Proposic
a
oes e conjuntos citados
s
ao mensur
aveis.
(1) Se f e limitada em A e (A) < , ent
ao f e Lebesgue integr
avel
em A.
(2) Se a f (x) b para todo o x A e se (A) < , ent
ao
Z
a(A)
f (x)dx b(A).
A
(3) Se f g para todo o x A, e se ambos os integrais existem ent

ao
Z
Z
f (x)dx
g(x)dx.
A
(4) Se f, g s
ao Lebesgue integr
aveis em A, ent
ao f + g e Lebesgue
integr
avel em A e
Z
Z
Z
(f + g)(x)dx =
f (x)dx +
g(x)dx.
A
(5) Se f e Lebesgue integr

avel em A e c A, ent
ao cf e Lebesgue
integr
avel em A e
Z
Z
(cf )(x)dx = c
f (x)dx.
A

avel em A, ent
ao |f | e Lebesgue integr
avel
em A e
Z
Z
f (x)dx
|f (x)|dx.

avel em A e B A, ent
ao f e Lebesgue
integr
avel em B. Se alem disso f (x) 0 para todo o x A, ent
ao
Z
Z
f (x)dx
f (x)dx.
B
(8) Se (A) = 0 ent

ao A f (x)dx = 0.
R
avel em A e se B f (x)dx = 0 para todo o
B A, ent
ao f (x) = 0 q.s. em A.
3. MEDIDA E ESPAC
OS FUNCIONAIS
99
o 3.6. Se f e Lebesgue integr

Observac
a
avel em IRn ou mensur
avel e
n
n
ao-negativa em IR , ent
ao a func
ao de conjuntos L definida por
Z
L(A) =
f (x)dx
A
e contavelmente aditiva e por isso e uma medida, na -

algebra dos subconjuntos mensur
aveis de IRn
o 3.7. Note-se que, como consequencia, podemos ignorar
Observac
a
conjuntos de medida nula na integrac
ao.R Assim, se fR e g s
ao mensur
aveis
em A e se f (x) = g(x) q.s. em A ent
ao A f (x)dx = A g(x)dx.
Teorema 3.5. (Teorema de Fatou [Rud87, pag. 23]) Seja (fn )nIN
uma sucess
ao de func
oes Rmensur
aveis, n
Rao negativas e f (x) = lim inf n fn (x),
ent
ao f e mensur
avel e X f dx limn X fn dx
Teorema 3.6. (Teorema da Converg
encia Mon
otona [Rud87,
pag. 21]) Seja fk : X [0, +] k=1,2,..., uma sucess
ao de func
oes mensur
aveis, tais que, f1 ... fRk fk+1 ... R + e f (x) = supn fn (x).
Ent
ao, f e mensur
avel e X f dx = limn X fn dx.
Teorema 3.7. (Teorema da Converg
encia Dominada [Rud87,
pag. 26]) Seja fn : X IR uma sucess
ao de func
oes mensur
aveis, convegindo q.s. em X para f : X IR. Suponhamos que existe g L1 (X) tal
que |fn (x)| g(x) q.s. em X, ent
ao f L1 (X) e
Z
Z
lim
fn dx =
f dx.
n
ao designa um aberto
3.5. Os espa
cos de Lebesgue Lp . Nesta secc
n
de IR e munimos IRn da medida de Lebesgue.
o 3.20. [Bre99, pag. 55] Chamamos suporte de uma func
Definic
a
ao
f : IR ao fecho do conjunto de pontos onde f n
ao se anula, isto e,
supp f = {x : f (x) 6= 0}.
o 3.21. Denotamos por Cc () o espaco das func
Definic
a
oes contnuas
com suporte compacto.
o 3.22. [Bre99, pag. 55] Denotamos por L1 () o espaco
Definic
a
espaco das func
oes integr
R aveis em com valores em IR. Definimos em
L1 () a norma kf kL1 = |f (x)|dx.
o 3.8. Duas func
Observac
a
oes de L1 s
ao identicas se coincidirem q.s.,
isto e, se o conjunto {x : f (x) 6= g(x)} tiver medida nula. De facto,
L1 e, na realidade um espaco de classes de equivalencia, para a relac
ao de
equivalencia q.s.
o 3.23. Seja p [1, +[ e defina-se
Definic
a
p
L () = f : IR : f mensur
avel e |f |p L1 ()
1
R
Em Lp () define-se a norma kf kLp = |f (x)|p dx p .
100
A. DEFINIC
OES
o 3.24. Definimos L () = {f : IR| f e mensur

Definic
a
avel
e existe uma constante C tal que |f (x)| C q.s. em }. Consideramos em
L () a norma definida por
kf kL = inf{C : |f (x)| C
q.s. em }.
Seja 1 p < ; designa-se por p o expoente conjugado de p, isto e,

+ p1 = 1. Se p = + consideramos p = 1. Se considerarmos f definida
em com valores em IRm ent
ao escrevemos f Lp (, IRm ).
1
p
Teorema 3.8. (Desigualdade de H

older [Bre99, pag. 56]) Sejam
f Lp () e g Lp () com 1 p +. Ent
ao f.g L1 () e
Z
|(f g)(x)|dx kf kLp kgkLp .
Teorema 3.9. [Bre99, pag. 57] Lp () e um espaco de Banach para
todo 1 p +.
Teorema 3.10. [Bre99, pag. 58] Seja (fn ) uma sucess
ao em Lp ()
p
e f L (), tais que kfn f kLp 0. Ent
ao, existe h Lp () e uma
subsucess
ao (fnk ) tal que
(1) (fnk (x)) f (x) q.s. em
(2) |fnk | h(x) k e q.s. sobre .
Reflexividade e separabilidade.
Teorema 3.11. [Bre99, pag. 59] O espaco Lp e reflexivo para 1 < p <
.
Teorema 3.12. (Teorema de representa
c
ao de Riez [Bre99, pag.
p
61]) Seja 1 <R p < e seja (L ) . Ent

ao, existe e e u
nico u Lp tal
p
que h, f i = uf f L (). Alem disso,kukLp = kk(Lp ) .
Este teorema diz-nos que qualquer funcional linear contnuo em Lp , com
1 < p < + representa-se como uma func

ao de Lp . Assim e podemos
identificar o dual de Lp com Lp .

Teorema 3.13. [Bre99, pag. 61] O espaco Cc () e denso em Lp ()
para 1 p < .
o 3.25. Seja 1 p . Diz-se que uma func
Definic
a
ao f : IR
pertence a Lploc () se f K Lp (), para qualquer compacto K .
Lema 3.2. [Bre99, pag. 61] Seja f Lploc () tal que
Z
(137)
u(x)f (x)dx = 0 u Cc ().
Ent
ao f = 0 q.s. em .
Teorema 3.14. [Bre99, pag. 66] O espaco Lp e separ
avel para 1 p <
.
3. MEDIDA E ESPAC
OS FUNCIONAIS
Teorema 3.15. Seja (L1 ) () tal que h, f i =

Alem disso, kukL = kk(L1 ) .
101
uf
f L1 ().
o 3.9. [Bre99, pag. 63] Este teorema afirma que qualquer

Observac
a
funcional linear contnuo em L1 se pode representar com uma funca
o L .
1
Assim podemos identificar o dual de L com L .

o 3.17. [Bre99, pag. 64] O espaco L1 n
Proposic
a
ao e reflexivo.
Referimos que (L1 ) = L ent
ao podemos concluir que L nao e refle1
xivo, pois, caso contrario L seria reflexivo. O dual de L contem estritamente L1 . Portanto, existem formas lineares contnuas sobre L que nao
sao do tipo
Z
h, f i = uf f L () com u L1 .
o 3.18. [Bre99, pag. 66] O espaco L n
Proposic
a
ao e separ
avel.
3.6. Compacidade.
o 3.26.
Definic
a
(1) Se 1 p < , uma sucess
ao (fn ) Lp (, IRn )
n
p
converge fortemente para f L (, IR ) ((fn ) f ) se (por definic
ao)
kfn f kLp 0.
(2) Se 1 p < , uma sucess
ao (fn ) Lp (, IRn ) converge
n
p
fracamente para f L (, IR ) ((fn ) * f ) se e s
o se
Z
Z
fn (x)g(x)dx
f (x)g(x)dxg Lp (, IRn ).
(3) Uma sucess

ao (fn ) L (, IRn ) converge fracamente para
f L (, IRn ) ((fn ) * f ) se e s
o se
Z
Z
fn (x)g(x)dx
f (x)g(x)dxg L1 (, IRn ).
Apresentam-se a seguir os criterios de compacidade fraca. O caso p = 1

e especial.
Teorema 3.16. [BGH98, pag. 77] Seja 1 < p . A sucess
ao (fn )
p
e fracamente relativamente compacta em L () (fracamente relativamente
compacta se p = ) se e s
o se existe uma constante k 0 tal que kf kLp k
uniformemente para todo o n.
Seja p = 1. S
ao equivalentes:
(1) A sucess
ao (fn ) e fracamente compacta em L1 ();
(2) existe uma constante k 0 tal que kf kL1 k para todo o n;
(3) (Condic
ao de equi-integrabilidade) para todo
>
0,
existe = () > 0, tal que para qualquer subconjunto mensur
avel
E com |E| < ,
Z
uniformemente em n;
|fn (x)|dx <
102
A. DEFINIC
OES
(4) existe uma func

ao : (0, ) IR convexa, semicontnua inferior e
R
crescente tal que: limx (x)
x = +, e supvC (|v|)dx < +.
3.7. Os espa
cos de Sobolev W 1,p .
o 3.27. [Bre99, pag.
Definic
a
define-se
149] O espaco de Sobolev W 1,p (),
W 1,p () := {f Lp () : g1 , ..., gn Lp () tais que

Z
Z
= gi Cc ()i = 1, ..., n}
f
x
i
o 3.10. Denotamos por H 1 () = W 1,2 ().

Observac
a
Dizemos que gi e a derivada parcial de f no sentido das distribuic
oes
pelo Lema (3.2) cada gi e u
nico. Definimos em W 1,p () a norma
n
X
f
kf kW 1,p = kukLp +
xi p
i=1
ou por vezes a norma equivalente
p ! p1
n
X
kf kpLp +
xi p
L
e 1 p < .
i=1
o 3.19. [Bre99, pag. 150] O espaco W 1,p () e um espaco de

Proposic
a
Banach
para
1 p , W 1,p () e reflexivo para 1 < p < e separ
avel para 1 p < .
O espaco H 1 () e um espaco de Hilbert separ
avel.
o 3.11. Se e limitado e suficientemente regular, W 1, ()
Observac
a
e o espaco de todas as func
oes lipschitzianas em .
Teorema 3.17. (Rellich-Kondrachov [Bre99, pag. 169]) Suponhase de classe C 1 . Tem-se
(1) se p < n, ent
ao W 1,q () Lp () q [1, p [ onde p1 = p1 n1 ;
(2) se p = n, ent
ao W 1,q () Lp () q [1, +[;
(3) se p > n ent
ao W 1,q () C().
o 3.28. [Bre99, pag. 171] Seja 1 p < , W01,p () designa
Definic
a
o fecho de Cc1 () em W 1,p ()
Podemos dizer, grosso modoque as func
oes W01,p () sao as func
oes que
se anulam na fronteira . Esta afirmac
ao nao e muito precisa porque ja
vimos que as funcoes f W 1,p (), apenas estao definidas a menos de um
conjunto de medida nula, pelo que se tiver medida nula e indiferente o
valor que f toma em .
Lema 3.3. [Bre99, pag. 171] Se f W 1,p (), 1 p < , com suppf
compacto contido em , ent
ao f W01,p ().
3. MEDIDA E ESPAC
OS FUNCIONAIS
103
Teorema 3.18. [Bre99, pag. 171] Suponha-se de classe C 1 . Seja

f W 1,p () C() com 1 p < . Ent
ao as condic
oes seguintes s
ao
equivalentes:
(1) f = 0 na ;
(2) f W01,p ().
Teorema 3.19. (Desigualdade de Poincar
e [Bre99, pag. 174])
Suponhamos que e um aberto limitado. Ent
ao existe uma constante C
(dependente de e p) tal que
(138)
kf kLp Ckf kLp
f W01,p ()
(1 p < ).
Teorema 3.20. [BGH98, pag. 79] Seja (fn ) uma sucess

ao em W 1,1 (a, b),
a, b IR. Suponha-se que:
(1) supn kfn kW 1,1 = K < ; R
(2) as func
oes que a cada E 7 E |D fn |dx, E (a, b) s
ao equiabsolutamente contnuas.
Ent
ao (fnk ) que converge no sentido fraco em W 1,1 (a, b)
para alguma func
ao f W 1,1 (a, b). Reciprocamente, se (fn ) que converge
no sentido fraco em W 1,1 (a, b) para alguma func
ao f W 1,1 (a, b), ent
ao (1)
e (2) continuam verdadeiras. Por fim, as condic
oes (1) e (2) verificam-se se
e s
o se (fn ) e equilimitada em L1 (a, b) e existe uma funca
o : [0, ) IR
com
Z b
(x)
lim
= +, e sup
(|fn0 (x)|)dx < +.
x x
n
a
3.8. Fun
c
oes de varia
c
ao limitada.
o 3.29. [Yeh06, pag. 261] Seja [a, b] IR com a b.
Definic
a
(1) Uma
partic
ao
de
[a, b]
e
um
conjunto
finito
:= {a = x0 < x2 < ... < xn = b} de pontos em [a, b].
(2) Seja a,b a colecc
ao de todas as partic
oes de [a, b]. Chamamos variac
ao
de
f
em
[a, b]
relativamente
`
a
partic
ao
:= {a = x0 < x2 < ... < xn = b} `
a func
ao
n
X
(139)
Vab (f, ) =
|f (xk ) f (xk1 )| [0, +).
k=1
(3) Chamamos variac

ao total de f em [a, b] `
a func
ao
(140)
Vab (f ) = supa,b Vab (f, ) [0, +].
(4) Diz-se que f e uma func

ao de variaca
o limitada ( abreviadamente
f BV ([a, b])) se Vab (f ) < .
(5) Sejam , 0 a,b tais que 0 . Neste caso diz-se que 0 e um
refinamento de .
o 3.12. Se e 0 a,b , ent
Observac
a
ao 0 a,b . Neste caso,
0
e um refinamento tanto de como de 0 .
104
A. DEFINIC
OES
o 3.20. [Yeh06, pag. 262]

Proposic
a
(1) Se , 0 a,b e 0 , ent
ao Vab (f, ) Vab (f, 0 );
(2) Se f BV ([a, b]), ent
ao para todo o x [a, b] tem-se que f (x)
[f (a) Vab (f ), f (a) + Vab (f )];
ao f BV ([a, b]) e Vab (f ) = Vab (f );
(4) Se f : [a, b] IR e uma func
ao mon
otona, ent
ao f BV ([a, b]),
e neste caso Vab (f ) = |f (b) f (a)|.
Lema 3.4. [Yeh06, pag. 263]
(1) Sejam f1 , f2 BV ([a, b]) e c1 , c2 IR. Ent
ao, c1 f1 + c2 f2
BV ([a, b]) e Vab (c1 f1 + c2 f2 ) |c1 |Vab (f1 ) + |c2 |Vab (f2 );
ao qualquer que seja o intervalo fechado
[a0 , b0 ] [a, b], tem-se que f BV ([a0 , b0 ]) e Vab00 (f ) Vab (f );
(3) Seja c (a, b). Se f BV ([a, c]) e f BV ([c, b]), ent
ao f
BV ([a, b]) e Vab (f ) = Vac (f ) + Vcb (f ).
Teorema 3.21. (Decomposi
c
ao de Jordan de fun
c
oes de varia
c
ao limitada [Yeh06, pag. 265])
Seja f : [a, b] IR. Ent
ao f BV ([a, b]) se e s
o se existem duas func
oes
g1 , g2 : [a, b] IR crescentes tais que f = g1 g2 em [a, b].
o 3.30. Seja f BV ([a, b]). A express
Definic
a
ao f = g1 g2 onde
g1 , g2 : [a, b] IR s
ao duas func
oes crescentes denomina-se decomposic
ao
de Jordan da func
ao f .
o 3.13. A decomposic
Observac
a
ao de Jordan de f n
ao e u
nica.
Teorema 3.22. [BGH98, pag. 97] Seja f : [a, b] IR uma func
ao de
variac
ao limitada. Ent
ao,
(1) f e diferenci
avel q.s. em [a, b];
(2) f 0 L1 (a, b).
o 3.31. [Yeh06, pag. 266] Seja f BV ([a, b]). A func
Definic
a
ao
de variac
ao total vf de f : [a, b] IR define-se como vf (x) = Vax (f ) para
x [a, b].
Teorema 3.23. [Yeh06, pag. 266] Seja f BV ([a, b]), onde a < b.
Ent
ao, a func
ao de variac
ao total vf de f e contnua em x0 [a, b], se e s
o
se f e contnua em x0 .
3.9. Fun
c
oes absolutamente contnuas.
o 3.32. [Yeh06, pag. 270] Uma func
Definic
a
ao f : [a, b] IR diz-se
absolutamente contnua em
[a,
b]
(abreviadamente
AC[a,
Pn
Pn b]), se para todo o
> 0, existe > 0 tal que k=1 (bk ak ) < implica k=1 |f (bk )f (ak )| <
, para toda a colecc
ao de intervalos fechados {[ak , bk ] : k = 1, ..., n} de
interiores dois a dois disjuntos , contidos em [a, b].
Teorema 3.24. [Yeh06, pag. 274] Seja f : [a, b] IR uma func
ao
absolutamente contnua. Ent
ao
3. MEDIDA E ESPAC
OS FUNCIONAIS
105
(1) f e uniformemente contnua em [a, b];

(2) f e uma funca
o de variac
ao limitada em [a, b].
A reciproca deste teorema e falsa.
Teorema 3.25. [FMO98] Seja f : [a, b] IR uma func
ao absolutamente contnua. Se E [a, b] e um conjunto mensur
avel tal que |f (E)| = 0,
ent
ao f 0 (t) = 0 q.s. em E.
A reciproca deste teorema e verdadeira.
o 3.33. Seja f : [a, b] IR. Diz-se que f satisfaz a condic
Definic
a
ao
(N ) de Lusin em [a, b], se para todo o subconjunto E [a, b] de medida nula,
tambem f (E) e de medida nula.
Lema 3.5. [Yeh06, pag. 273] Se f : [a, b] IR e uma func
aP
o absolutamente contnua, ent
ao, P
para todo o > 0, existe > 0,P
tal que nIN (bn
an ) < , implica que
nIN |f (bn ) f (an )| < e
nIN {sup[ak ,bk ] f
inf [ak ,bk ] f } < , para toda a colecc
ao cont
avel {[an , bn ] : n IN} de subintervalos fechados de [a, b] com interiores dois a dois disjuntos.
Teorema 3.26. [Yeh06, pag. 274] Seja f : [a, b] IR. Ent
ao f e
absolutamente contnua em [a, b] se e s
o se satisfaz as seguintes condic
oes:
(1) f e contnua em [a, b];
(2) f e uma funca
o de variac
ao limitada em [a, b];
(3) f satisfaz a condic
ao (N) em [a, b].
o 3.34. [Yeh06, pag. 276] Seja f : [a, b] IR uma func
Definic
a
ao
Lebesgue integr
avel em [a, b]. Definimos uma func
ao F em [a, b] por F (t) =
Rt
c + a f ( )d para t [a, b] onde c e um n
umero real arbitr
ario.
Lema 3.6. [Yeh06, pag. 277] Seja f : [a, b] IR uma func
ao Lebesgue
integr
avel em [a, b]. Se F () e uma func
ao constante em [a, b], ent
ao f = 0
q.s. em [a, b].
Lema 3.7. [Yeh06, pag. 281] Seja f : [a, b] IR uma func
ao absoluta0
mente contnua. Se f = 0 q.s. em [a, b] ent
ao f e constante em [a, b].
Teorema 3.27. [Yeh06, pag. 281] Seja f : [a, b] IR uma func
ao
Rt 0
absolutamente contnua. Ent
ao a f ( )d = f (t) f (a) para t [a, b].
Teorema 3.28. [Yeh06, pag. 288]
(1) Se f : [a, b] IR e uma func
ao diferenci
avel para todo o t [a, b], e
f 0 e limitada em [a, b], ent
ao f : [a, b] IR e uma func
ao absolutamente
contnua.
Portanto,
Rb 0
a f ( )d = f (b) f (a).
(2) Se f : [a, b] IR e lipschitziana em [a, b] ( isto e, existe uma
constante M > 0 tal que |f (t0 ) f (t00 )| M |t0 t00 | quaisquer que
sejam t0 , t00 [a, b]), ent
ao f e absolutamente contnua em [a, b] e
Rb 0
a f ( )d = f (b) f (a).
106
A. DEFINIC
OES
Teorema 3.29. [Yeh06, pag. 317] Seja f : I IR uma func

ao convexa,
I IR um intervalo aberto. Ent
ao ou f e mon
otona em I ou existe x0 I
tal que f e decrescente em I] , x0 ] e crescente em I [x0 , +[.
o 3.21. [Yeh06, pag. 318] Se f : I IR e uma func
Proposic
a
ao
convexa, I IR um intervalo aberto, ent
ao f e uma func
ao absolutamente
contnua em todo o intervalo fechado [, ] I.
Teorema 3.30. [Yeh06, pag. 318] Seja f uma func
ao convexa em
[a, b]. Se f e contnua `
a direita de a e `
a esquerda de b, ent
ao f e uma
func
ao absolutamente contnua em [a, b].
Teorema 3.31. [Yeh06, pag. 319] Seja f : I IR, I IR um intervalo
aberto. Suponhamos que
(1) f e absolutamente contnua em todo o intervalo fechado contido em
I;
(2) f 0 e uma func
ao crescente no subconjunto [, ] I (onde f 0
existe).
Ent
ao, f e uma func
ao convexa definida no intervalo I.
3.10. Um teorema de mudan
ca de vari
avel.
Teorema 3.32. [SV69] Sejam f : [c, d] IR e g : [a, b] IR, tais
que g tem derivada finita q.s. em [a, b] e f uma func
ao Lebesgue integr
avel
em [c, d] g([a, b]). Ent
ao, (f g) g 0 e Lebesgue integr
avel e verifica-se a
f
ormula de mudanca de vari
aveis
Z g()
Z
(141)
f ( )d =
f (g(s))g 0 (s)ds, , [a, b],
g()
se e s
o se a func
ao composta F g e absolutamente contnua, sendo F (t) =
Rt
c f ( )d .
Corolario 3.2. [SV69] Sejam: g uma func
ao mon
otona e absolutamente contnua; f uma func
ao Lebesgue integr
avel. Ent
ao (f g) g 0 e
Lebesgue integr
avel e verifica-se (141).
Corolario 3.3. [SV69] Sejam g uma func
ao absolutamente contnua e
f uma func
ao limitada e mensur
avel. Ent
ao (f g) g 0 e Lebesgue integr
avel
e verifica-se (141).
Corolario 3.4. [SV69] Sejam g uma func
ao absolutamente contnua,
f
e
(f g) g 0 func
oes Lebesgue integr
aveis. Ent
ao verifica-se (141).
3.11. O Teorema de Liapunov das medidas vectoriais. Nesta
seccao, A IRn representa um conjunto mensuravel de medida finita.
Teorema 3.33. [Ces83, pag. 453] Sejam fj : A IRn , j = 1, ..., h
func
oes Lebesgue integr
aveis em A, e j : A [0, 1] para j = 1, ..., h func
oes
3. MEDIDA E ESPAC
OS FUNCIONAIS
107
P
mensur
aveis, tais que hj=1 j = 1. Ent
ao, existe uma partic
ao E1 , ..., Eh ,
do conjunto A, de subconjuntos disjuntos e mensur
aveis, tal que
Z
Z
h
h
X
X
fj (t)dt =
j fj (t)dt.
j=1
Ej
A j=1
3.12. Equa
c
oes diferenciais. Sejam um subconjunto aberto de
IR IRn , e g : IRn uma func
ao.
o 3.35. [Bress] x() diz-se soluca
Definic
a
o para a equac
ao diferencial
x0 (t) = g(t, x(t)),
se x() e uma func
ao absolutamente contnua que satisfaz a igualdade anterior q.s. em .
De modo similar, se x() e soluc
ao da equac
ao diferencial
x0 (t) = g(t, x(t)),
entao
Z
x(t) = x(a) +
g(, x( )) d,
a
quaisquer que sejam a e b pertencentes ao domnio de x().

Na teoria classica das equac
oes diferencias ordinarias, supoe-se que a
funcao g() e contnua q.s. nas duas vari
aveis. Neste captulo consideramos
que g() e diferenciavel em relac
ao à vari
avel x, mas apenas mensuravel em
relacao a t. Supomos ainda que g : IRn satisfaz:
(1) Para todo a funcao x(), g(, x()) definida em x = {t : (t, x) }
e mensuravel. Para todo o t a func
ao g(t, ) definida em t = {x :
1
(t, x) } e de classe C .
(2) Para todo o compacto K existem constantes CK , LK tais que
|g(t, x)| CK , |g(t, x) + g(t, y)| LK |x y|, (t, x), (t, y) K.
Teorema 3.34. [Bress] Seja g : IRn uma func
ao que satisfaz:
(1) Para todo o x(), a func
ao g(, x()) definida em x = {t : (t, x)
} e mensur
avel. Para todo o t, a func
ao g(t, ) definida em t =
{x : (t, x) } e de classe C 1 ,
(2) Para todo o compacto K existem constantes CK , LK tais que
|g(t, x)| CK , |g(t, x) + g(t, y)| LK |x y|, (t, x), (t, y) K,
e considera-se o problema
x0 (t) = g(t, x(t)),
para (a, x(a)) . Ent
ao,
(1) Existe > 0, tal que o problema x0 (t) = g(t, x(t)), tem soluc
ao x()
definida em [a , b ].

A. DEFINIC
OES
108
(2) Se g() estiver definida em todo IR IRn , e existirem constantes

C, L tais que |g(t, x)| C e |g(t, x) g(t, y)| L|x y|, t, x, y,
ent
ao, qualquer que seja o intervalo [c, d] contendo a o problema
tem soluc
ao definida em [c, d].
Doravante todos os resultados enunciados para soluc
oes do Problema de
Cauchy estao enunciados para b a.
O Lema seguinte fornece um instrumento muito u
til, porque permite
um
estimar a distancia entre duas soluc
oes de uma equac
ao diferencial. E
resultado fundamental na demonstrac
ao da unicidade de soluc
ao.
Lema 3.8. (Desigualdade de Gronwall [Bress]) Seja z() uma func
ao
0
absolutamente contnua n
ao negativa tal que z(a) , z (t) (t)z(t)+(t)
q.s. em [a, T ], para func
oes , integr
aveis e uma constante n
ao negativa.
Ent
ao z() satisfaz a desigualdade
Z
(142)
z(t) exp
( ) d
Z
+
( ) exp
a
()d
o 3.14. O segundo membro da desigualdade (142) e precisaObservac

a
mente a soluc
ao para o problema linear
w(a) = ,
w0 (t) = (t)w(t) + (t).
Teorema 3.35. [Bress] Sejam x1 (), x2 () duas soluc

oes do Problema
de Cauchy, definidas nos intervalos [a, t1 ] e [a, t2 ] respectivamente. Se considerarmos T = min{t1 , t2 }, ent
ao x1 (t) = x2 (t), t [a, T ].
O resultado seguinte mostra que, se a soluc
ao x() do Problema de Cauchy nao pode ser estendida para la de certo tempo T , ent
ao quando t T
ou |x(t)| , ou entao (t, x(t)) aproxima-se de .
Teorema 3.36. [Bress] Seja T > a, o supremo dos tempos os quais
o problema x0 (t) = g(t, x(t)), tem soluc
ao x() definida em [a, ]. Ent
ao, ou
1
T = , ou ent
ao limtT (|x(t)| + d((t,x(t)), ) ) = .
3.13. Multifun
c
oes.
o 3.36. Uma multifunc
Definic
a
ao : IRm IRn e uma aplicac
ao que
a pontos de IRm associa subconjuntos de IRn .
Se e um subconjunto de IRm , dizemos que e fechada, compacta,
convexa, ou nao vazia em , desde que para cada t , a multifunc
ao (t)
tem essa propriedade particular.
o 3.37. [Cla90, pag. 111] Uma multifunca
Definic
a
o : IRn
n
diz-se mensur
avel, se para todo o conjunto aberto O IR , o conjunto
1 (O) = {t : (t) O 6= }
e mensur
avel, i.e., 1 (O)
dom = 1 (IRn ) e mensur
avel.
A.
Em particular,
o conjunto
3. MEDIDA E ESPAC
OS FUNCIONAIS
109
Teorema 3.37. [Cla90, pag. 111] Qualquer multifunc

ao : IRn
fechada, mensur
avel e n
ao vazia admite sempre uma selecc
ao mensur
avel,
n
i.e., existe uma func
ao mensur
avel : dom IR tal que (t) (t),
para todo o t .
Seja = [a, b]. Suponhamos que existe uma func
ao (t) L1 () tal
que, para todo o t [a, b], e para todo o (t) (t), |(t)| (t).
Define-se o integral de () em [a, b] como sendo o conjunto
Z b
Z b
(t)dt =
(t)dt : () e uma selecc
ao mensuravel de (t) .
a
Teorema 3.38. [Cla90, pag. 113] Seja : IRn uma multifunc

ao
fechada, mensur
avel, n
ao vazia. Se existe uma func
ao integr
avel (t) tal
que, para todo o t [a, b], para todo o (t) (t), |(t)| (t), ent
ao
Z b
Z b
(t)dt =
co (t)dt.
a
A uma inclusao do tipo

x0 (t) (t, x(t)) q.s.,
(143)
n
t [a, b]
onde : IR IR IR ; damos o nome de inclusao diferencial.

Uma solucao x() para o problema (143) e uma func
ao absolutamente
n
0
contnua x : [a, b] IR , tal que x (t) satisfaz (143).
3.14. Fun
c
oes normais. Seja IRn um conjunto aberto e limitado.
o 3.38. [ET99, pag. 232] Uma func
Definic
a
ao f : IRm IR
denomina-se func
ao normal se
(1) f (t, ) e semicontnua inferior em IRm q.s. em ;
(2) Existe uma fe : IRm IR Borel mensur
avel tal que fe(t, ) =
f (t, ) q.s. em .
Um resultado essencial para o estudo das func
oes normais e:
Teorema 3.39. (Teorema de Scorza-Dragoni [ET99, pag. 232]).
Seja B IRn um conjunto de Borel. Ent
ao f : A B IR e uma func
ao
normal se e s
o se para todo o conjunto compacto K A e para todo o > 0,
existe um conjunto compacto K K com |K \ K | , tal que f |K B e
semicontnua inferior.
o 3.39. [ET99, pag. 234] Uma func
Definic
a
ao f : A IRn IR diz-se
de Caratheodory se:
(1) f (t, ) e mensur
avel t A;
(2) f (, x) e contnua x IRn .
Seja f : A IRn IR tal que f (t, x) g(x) com g : IRn IR
semicontnua inferior. Ent
ao f e uma func
ao normal.
A funcao indicatriz C : A IRn IR ( onde C : A IRn e uma
multifuncao) define-se como:

A. DEFINIC
OES
110
0
C (t, x) :=
se x C(t),
se x
/ C(t);
e e uma funcao normal se e so se C() tem valores fechados e e mensuravel.

Qualquer que seja a funcao normal f0 : A IRn IR, f = f0 + C
se x C(t),
f0
f (t, x) :=
+
se x
/ C(t).
e uma funcao normal e dom f (t) = dom f0 (t) C(t). Quando a func
ao f0 e
de Caratheodory entao dom f (t) = C(t).
Teorema 3.40. [RW98, pag. 671] Seja f : T IRn IR e uma func
ao
normal, ent
ao as suas func
oes polar e bipolar f e f , respectivamente,
tambem s
ao funco
es normais.
o 3.22. [RW98, pag. 674] Seja f : T IRn IR tal que:
Proposic
a
f (t, x) e pr
opria e semicontnua inferior; f (t, ) convexa para todo o t T .
Ent
ao, f e uma func
ao normal se e s
o se:
(1) a aplicaca
o gr f (t, ) e mensur
avel;
(2) existe uma funca
o mensur
avel z : T IRn tal que f (t, z(t)) 6= ,
para todo o t T .
3.15. Intersec
c
ao de epigr
aficos. Seja : [0, +[ IR {+} uma
funcao nao negativa, crescente, convexa, semicontnua inferior e superlinear,
i.e,
(144)
lim
t+
(t)
= +.
t
Suponhamos f : IRm IRn IR uma func

ao normal tal que
f (t, s, ) (||),
com f nao negativa, f (t, , ) semicontnua inferior q.s. em e f (, s, )
mensuravel para todo o (s, ) IRm IRn .
Lema 3.9. [ET99, pag. 241] Sejam E um espaco metrico, e : E
ao semicontnua inferior tal que:
IR IR uma func
n
(145)
e E,
(e, ) (||).
Ent
ao, e E, verifica-se a igualdade:
\
[
(146)
co
epi (e, ) = co epi (e, ).
>0
|ee|
3. MEDIDA E ESPAC
OS FUNCIONAIS
111
Corolario 3.5. [ET99, pag. 243] Se f e uma func

ao normal definida
em IRm IRn com f (x, s, ) (||), ent
ao
[
\
(147)
co
epi f (t, s, ) = co epi f (t, s, ), q.s. em .
>0
|ss|
o 3.23. [ET99, pag. 246] Se f e uma func

Proposic
a
ao normal defim
n
nida em IR IR com f (x, s, ) (||), ent

ao f tambem e uma
func
ao normal definida em IRm IRn que tambem satisfaz a desigualdade
f (x, s, ) (||).
Bibliografia
[AF03] R. Adams e J. Fournier, Sobolev spaces, Academic Press (2003).
[Amb87] L. Ambrosio, New lower semicontinuity result for integral functionals, Rend Accad NAz Sci XL Mem Mat Sci Fis Natur 11 (1987) 1-42.
[AAB89] L. Ambrosio, O. Ascenzi e G. Buttazzo, Lipschitz regularity for minimizers of
integral functionals with highly discontinuous integrands, J Math Anal Appl 142
(1989), 301-316.
[AFP00] L. Ambrosio, N. Fusco e D. Pallara, Functions of bounded variation and free
discontinuity problems, Oxford University Press (2000).
[AC84] J. P. Aubin e A. Cellina, Differential inclusions, Springer (1984).
[BM85] J. M. Ball e V. J. Mizel, One-dimensional Variational Problems whose minimizers
do not satisfy the Euler Lagrange Equation, Arch Rat Mech Anal 90 (1985) 325388.
[Bress] A. Bressan, Lecture notes on the mathematical theory of control, Trans. Am. Math.
Soc. 289 (1985) 73-98.
[Bre99] H. Brezis, Analyse functionnelle, Dunod (1999).
[BGH98] G. Buttazzo, M. Giaquinta e S. Hildebrandt, One-dimensional variational problems (an introduction), Claredon Press (1998).
[Cel04] A. Cellina, The classical problem in the calculus of variations in the autonomous
case: Relaxation and Lipschitzianity of solutions, Trans Amer Math Soc 356 (2004)
415-426.
[Ces83] L. Cesari, Optimization: theory and applications, Springer (1983).
[CLSW98] F. H. Clarke, Yu. S. Ledyaev, R.J. Stern e P.R. Wolenski, Nonsmooth analysis
and control theory, Springer (1998).
[Cla75] F. H. Clarke, The Euler-Lagrange differential inclusion, J Diff Eq 19 (1975) 80-90.
[Cla90] F. H. Clarke, Optimization and Nonsmooth Analysis, SIAM (1990).
[CV84] F. H. Clarke e R. B. Vinter, On the conditions under which the Euler Equation
and the Maximum Principle hold, Appl Math Optim (1984) 72-79.
[CV85] F. H. Clarke e R. B. Vinter, Regularity properties of solutions to the basic problem
in the calculus of variations, Trans Amer Math Soc 289 (1985) 73-98.
[Dac89] B. Dacorogna, Direct methods in the calculus of variations, Springer (1989).
[Dac04] B. Dacorogna, Introduction to the calculus of variations, Imperial College Press
(2004).
[DF] G. Dal Maso e H. Frankowska, Autonomous integral functionals with discontinuous nonconvex integrands: Lipschitz regularity of minimizers, DuBois-Reymond
necessary conditions, and Hamilton-Jacobi equations, Pre-publicaca
o.
[DBD83] E. De Giorgi, G. Buttazzo e G. Dal Maso, On the lower semicontinuity of certain
integral functionals, Atti Accad Naz Lincei Rend Cl Sci Fis Mat Natur 74 (1983)
274-282.
[Edw94] R.E. Edwards, Functional Analysis: Theory and Applications, Dover Publications (1994).
[EG00] L. C. Evans e R.F. Gariepy, Measure theory and fine properties of functions, CRC
Press (2000).
[Eva98] L. C. Evans, Partial Differential Equations, AMS(1998).
113
114
BIBLIOGRAFIA
[ET99] I. Ekeland e R. Temam, Convex analysis and variational problems, SIAM (1999).
[FMO98] N. Fusco, P. Marcellini e A. Ornelas, Existence of minimizers for some nonconvex one dimensional integrals, Portugaliae Mathematica 55 (1998), 167-184.
[GH04] M. Giaquinta e S. Hildebrandt, Calculus of variations I, Springer (2004).
[GF00] I. Gelfand e S. Fomin, Calculus of variations, Dover Publications (2000).
[IR75] A. Ioffe e R. Rockafellar, The Euler and Wierstrass conditions for nonsmooth variational problems, Calc Var Part Diff Eq, Atti Mat Fis Univ Modena 24 (1975)
236-246.
[Iof77] A. Ioffe, On lower semicontinuity of integral functionals, SIAM J Control Optim
15 (1977) 521-538.
[KF99] A. Kolmogorov and S. Fomin, Elements of the theory of functions and functional
analysis, Dover Publications (1999).
[Ma91] A. Machado, Introduc
ao `
a an
alise funcional, Escolar Editora (1991).
[MOS02] C. Marcelli, E. Outkine, M. Sytchev, Remarks on necessary conditions for minimizers of one-dimensional variational problems, Nonlinear Analysis 48 (2002)
979-993.
[Mar97] C. Marcelli, One-dimencional non-coercive problems of the calculus of variations,
Ann Mat Pura App (1997) 145-161.
[Mar98] C. Marcelli, Non-coercive variational problems with constrains on the derivatives,
J. Convex Analysis 5 (1998) 1-17.
[Mar02] C. Marcelli, Variational Problems with nonconvex, noncoercive, highly discontinuous integrands: characterisation and existence of minimizers, Siam J. Control
Opt. 40 (2002) 1473-1490.
[Ole] C. Olech, Lectures on the integration of set-valued functions, Pre-Publicaca
o.
[Ole74] C. Olech, Existence theory in optimal control problems - the underlying ideas,
Procedings, Control Theory and Topics in Functional Analysis, Trieste (1974).
[Orn] A. Ornelas, Bimonotonicity for scalar minimizers of autonomous simple integrals,
Pre-publicaca
o(2005).
[Orn05] A. Ornelas, Existence of scalar minimizers for simple convex integrals with autonomous Lagrangian measurable on the state variable, Pre-publicaca
o (2005).
[Orn03] A. Ornelas, Lipschitz regularity for scalar minimizers of autonomos simple integrals, Nonlinear Analysis 53 (2003) 441-451.
[RW98] T. Rockafellar e R. Wets, Variational analysis, Springer (1998).
[Roc70] T. Rockafellar , Convex Analysis, Princeton University Press (1970).
[Rud87] W. Rudin, Real and Complex Analysis, MacGraw-Hill (1987).
[Rud91] W. Rudin, Functional Analysis, MacGraw-Hill (1991).
[SV69] A. Serrin e D. Varberg, A general chain rule for derivatives and the change of
variables formula for the Lebesgue integral, Amer Math Monthly 76 (1969) 514520.
[Sim80] R. Simon, Functional Analysis, Academic Press (1980).
[SW01] H.J. Sussman e J.C. Willems, 300 anos de controlo optimal: da braquist
ocrona ao
princpio do m
aximo, Boletim da SPM 45 (2001) 21-54.
[Vin00] R. Vinter, Optimal Control, Birkh
auser (2000).
[VZ97] R. Vinter e H. Zheng, The extended Euler-Lagrange condition for nonconvex variational problems, Siam J Control Optim 35 (1997) 56-77.
[Yeh06] J. Yeh, Lectures on real analysis, World Scientific (2006).
[Yos71] K. Yosida, Functional Analysis, Springer (1971).
[You00] L. Young, Lectures on the calculus of variations and optimal control theory, AMS
(2000).
[Zie89] W.P. Ziemer, Weakly differentiable functions, Springer (1989).

Reformulacao Tese

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Reformulacao Tese

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDADE DE EVORA

Captulo 2. O calculo das variac

Captulo 3. Resultados recentes no caso nao-convexo

Apendice A. Definicoes e resultados preliminares

onde XAB representa a classe das func

L (t, x(t), x0 (t))dt,

funcao () C0 ([a, b]; IR ), e considerando o integral (1) ( que por uma

uma funcao real da variavel real . Para esta func

ou, representando por

a derivada no sentido fraco,

definidos na classe de funcoes XAB . Assim, com o objectivo de estudar o

solucao. Aquando do incio do desafio, Johann Bernoulli tambem enviou o

no Miscellanea Taurinensia, um jornal cientfico em Turim, com o ttulo

onde A, B IRn , estao fixos. Seja ainda L() uma func

onde x0 (t) representa a derivada

isto e, x0 (t) = ( dxdt(t) , ..., dxdt(t) ).

Dizemos que uma func

1 (y(), x()) = sup {ky() x()k + ky 0 () x0 ()k}.

o 3.2. [GF00] O conjunto

Teorema 3.1. [GF00] Suponhamos que y() e um minimizante local

Li k (t, y(t), y 0 (t)) i k 0,

L(x(t), x0 (t)) hx0 (t), L (x(t), x0 (t))i = C,

O metodo directo do calculo das variac

Para compreendermos mais claramente a essencia desta tecnica, vejamos

4.1. Teorema geral de exist

XAB := {x() AC([a, b], IRn ) : x(a) = A, x(b) = B}

Teorema 4.2. (Teorema da Exist

definido na classe de funcoes

relacao `a variavel de estado.

c0 ||p L(t, s, ) c1 (1 + ||p );

|Ls (t, s, ) L (t, s, )| M (R)(1 + ||p ),

5. REGULARIDADE DOS MINIMIZANTES

e suponha-se que: ou Ls (, y(), y 0 ()) L1 (a, b); ou que Lt (, y(), y 0 ())

definidos em XAB . Define-se , como anteriormente, para p [1, +], a

e para > 0 as vizinhancas forte e fraca (respectivamente)de y():

qualquer que seja x()

(resp. x() N 0 q (y())).

Teorema 5.3. [AAB89] Seja L : [a, b] IRn [0, +] uma func

y 0 (t) int (dom L(y(t), ))

Resultados recentes no caso n

onde X0d e a classe das func

o. Como L (t, ) L(t, ), basta mostrar que qualquer

Considera-se portanto, dois n

Escolhe-se ]0, 12 [, de tal modo que B(w(t), ) B(y(t), ) para todo

Alem disso, como

e nao vazia e mensuravel. Aplica-se o (Teorema 3.37) e deduz-se a existencia

j L(t, j ) g(t) q.s. em

Escolhe-se r ]0, 1[ tal que para G = {t : B(w

Considera-se C G um conjunto compacto, com (ba) < |C| < ba,

|L(t, j (t))| + |L(t, )| M

Considera-se C 0 C um conjunto com |C 0 | = . Define-se =

Para todo o k {1, ..., s} aplica-se o (Teorema 3.33) `as func

e por (28) e (31)

Define-se ainda, para todo o i {1, ..., n},

Entao, por (32) e (33), y(t) x

L(t, (t))dt <

o que contradiz a hipotese formulada.

Teorema 1.2. [Mar02] Sejam, L : [a, b] IRn (, +] uma

e y 0 (t)) q.s. em [a, b],

hc, x (t) y (t)idt =

Dado um subconjunto S IRn , representamos por S () a sua func

w(t) B(y 0 (t), )}.

(Ct ) B(0, m(t)) q.s. em [a, b],

e L (t, ) e uma funcao afim no conjunto co{j (s), j = 1, ..., n + 1} q.s. em