Alguém, por favor:
Prove que:
Seja Ω ⊂ um aberto e considerare a equação eliptica não degenerada
onde F é contínua em Ω × R × R^n × S (n) e satisfaz
X ≤ Y in S(n) ⇒ F(x, r, p, X) ≤ F(x, r, p, Y )
(S(n) conjunto das matrizes simétricas nxn)
Se u é uma solução de viscosidade em Ω, u resolve a equação parcial F classicamente diferenciável duas vezes. Por outro lado, se u é duas vezes diferenciável e satisfaz F pontualmente em Ω, então u é uma solução de viscosidade em Ω.
Alguém me de uma luz.!!!
Respostas
Resposta:
Explicação passo-a-passo:
Usarei um conceito mais geral de derivada pontual. Existem artigos que abordam esse conceito:
Começo definindo Super-jet de segunda ordem.
e
Obs: Entenda o sub-jet em "P" como as aproximações lineares de um lado
e "X"as aproximações quadráticas desse mesmo lado.
Vamos iniciar a demonstração:
() Considere sendo uma solução de viscosidade. Suporemos que u é de classe C^2.
Por consequência da definição de Super-Jet, decorre o seguinte
Sendo u uma solução de viscosidade, temos o seguinte:
(Sugiro uma leitura em: K. S. Mallikarjuna Introduction to the Theory of Viscosity Solutions)
Portanto, u é solução pontual da equação F.
()Por outro lado, vamos supor que u seja duas vezes diferenciável e solução clássica da equação parcial F.
Nessa parte da demonstração vemos o grande interesse em se estudar soluções de viscosidade. Em geral, não é verdade que solução clássica é uma solução de viscosidade em Ω.
Dada a complexidade da prova, o uso do conceito de "Jet" nos oferece uma prova alternativa.
Vamos fixar um ponto x em de tal modo que u seja C^2 nesse ponto. Logo, o super-jet relativo a esse ponto e a essa solução é não vazio, então
existe p ∈ ,
u(z + x) − u(x) ≤
−u(z + x) + u(x) ≤ · z + o(|z|)
como . Temos z := εw, onde ε > 0 e |w| = 1. Dessas desigualdades obtemos
De posse disso, passamos o limite
o que resulta
Isto equivale a dizer que
Assim, dado qualquer ponto (p,X) em obtemos do fato de F ter elipticidade não degenerada que
Por fim, obtemos que u é solução de viscosidade da EDP F. Então fica provado o teorema.
Caso de dúvida, comente que eu retorno a explicação.
att
GarciaHW