Frisk135
Oi, vi que havia sido excluída a tarefa. Enfim, agradeço por solicitar minha ajuda. Esse tipo de questão exige muita teoria em EDP, mas no fundo é muito interessante.!
Vou supor que você tem mínimo conhecimento nessa área. Vamos lá,
Acredito que o q que você está considerando é tal . Vou aplicar método variacional, para isso, defino o funcional
Veja que a derivada é .
Esse tipo de funcional é coercivo, logo limitado inferiormente. Então, vamos preparar o terreno para usar a reflexividade do espaço . Seja (u_n) uma sequência no espaço tal que onde . Se a sequência dada não fosse limitada, você teria que sua norma tenderia ao infinito, mas pela coercividade do funcional, segue que o infimo c não existe. Agora, sendo o espaço reflexivo, temos
Use as imersões de Sobolev para obter convergência forte, no espaço L^q . Use o teorema de Vainberg e Convergência dominada de Lebesgue, para concluir que .
Como você tem a limitação da sequência, segue tende a zero, quando n tende a zero. Daqui posso concluir que tende a zero. Então a sequência (u_n) converge para u na norma do espaço . Isso mostra, também, que o funcional tem a condição de Palais-Smale. Portanto, acabamos de mostrar que u é solução fraca da sua EDP.
Bons estudos,
espero ter ajudado.
2 votes Thanks 1
Frisk135
Interessante a pergunta. Tem um teor sério de teorias. Que bom que você postou novamente. Espero que não seja excluída,rs. É bom para a comunidade ter algo avançado na área de matemática.
Lista de comentários
Esse tipo de questão exige muita teoria em EDP, mas no fundo é muito interessante.!
Vou supor que você tem mínimo conhecimento nessa área. Vamos lá,
Acredito que o q que você está considerando é tal . Vou aplicar método variacional, para isso, defino o funcional
Veja que a derivada é
.
Esse tipo de funcional é coercivo, logo limitado inferiormente. Então, vamos preparar o terreno para usar a reflexividade do espaço . Seja (u_n) uma sequência no espaço tal que
onde .
Se a sequência dada não fosse limitada, você teria que sua norma tenderia ao infinito, mas pela coercividade do funcional, segue que o infimo c não existe. Agora, sendo o espaço reflexivo, temos
Use as imersões de Sobolev para obter convergência forte,
no espaço L^q .
Use o teorema de Vainberg e Convergência dominada de Lebesgue, para concluir que
.
Como você tem a limitação da sequência, segue
tende a zero, quando n tende a zero. Daqui posso concluir que
tende a zero. Então a sequência (u_n) converge para u na norma do espaço
. Isso mostra, também, que o funcional tem a condição de Palais-Smale. Portanto, acabamos de mostrar que u é solução fraca da sua EDP.
Bons estudos,
espero ter ajudado.