4
Algumas solu¸ c˜oes da EDP p-Laplace: u 2 x u xx + 2u x u y u xy + u 2 y u yy = 0 Maria Lewtchuk Espindola, Depto de Matem´ atica, DM/CCEN, UFPB, 58051-970, Jo˜ ao Pessoa, PB E-mail: [email protected]. 28/07/2012 Palavras-chave: EDP p-harmˆonica (ou p-Laplace), EDPs n˜ao lineares, M´ etodo de Monge, Formas diferenciais Pfaffianas, Transformada de Legendre Resumo: Este artigo amplia o conjunto solu¸ c˜oesdaEDP (u x ) 2 u xx +2u x u y u xy +(u y ) 2 u yy =0 apresentados em diversos artigos. Com esse intuito, utilizamos o m´ etodo de Monge para equa¸ c˜oes diferenciais parciais uniformes, reduzindo esta EDP de segunda ordem no sistema de Monge, cuja solu¸ ao resulta numa EDP de primeira ordem do tipo f (p, q)=0. Na sequˆ encia aplicamos o nosso m´ etodo para determinar a solu¸ c˜ao geral desta e portanto, uma solu¸ ao generalizada com uma fun¸ c˜aoarbitr´ariadaEDPp-harmˆonica. 1 Introdu¸ ao Na extens˜ ao do m´ etodo desenvolvido anteriormente em Espindola [3, 4] (resumido no apˆ endice), podemos obter solu¸c˜ oes para EDPs de segunda ordem, desde que estas possam ser transforma- das em equa¸ oes diferenciais parciais do tipo F (f (x)p, h(y)q)= G(x), onde p = u x , q = u y e u = u(x, y). Esse m´ etodo ´ e desenvolvido utilizando uma transforma¸c˜ ao semelhante a de Le- gendre e o teorema para formas diferenciais Pfaffianas que fornece a condi¸ ao para que estas se tornem integr´ aveis. Como a solu¸c˜ ao obtida depende de uma fun¸ ao arbitr´ aria, logo atrav´ es desse m´ etodo obtemos sempre uma solu¸ ao geral da EDP de primeira ordem. Aequa¸c˜ ao u 2 x u xx +2u x u y u xy + u 2 y u yy =0 (1) ´ e uma equa¸c˜ ao diferencial parcial p-harmˆ onica (ou p-Laplace) definida em < 2 , para p →∞ foi estudada por G. Aronsson[1, 2]. As solu¸c˜ oes obtidas para esta equa¸c˜ ao diferencial parcial trazem informa¸ oes importantes em diversas situa¸c˜ oes desde esta ´ e uma equa¸c˜ ao diferencial parcial n˜ ao linear. No caso as fun¸c˜ oes u = u(x, y) s˜ ao as solu¸c˜ oes de viscosidade -harmˆ onicas de Δ u = 0, onde Δ u = |∇u| -2 X i,j u x i u x i x j u x j . Neste artigo iremos ampliar o conjunto de solu¸ oes de (1.1) apresentados em outros artigos, como nos de G. Aronsson [1, 2] e o de Peres [5]. Com esse intuito utilizaremos o m´ etodo de Monge para equa¸c˜ oes diferenciais parciais uniformes, reduzindo esta equa¸ ao diferencial parcial de segunda ordem no sistema de Monge, cuja solu¸ ao resulta numa EDP de primeira ordem do tipo f (p, q) = 0. Ent˜ ao aplicamos o m´ etodo desenvolvido Espindola [3, 4] para determinar 71 ISSN 2317-3297

Algumas solu˘c~oes da EDP p-Laplace - sbmac.org.br · PDF filePalavras-chave: EDP p-harm^onica (ou p-Laplace), EDPs n~ao lineares, M etodo de Monge, Formas diferenciais Pfa anas,

Embed Size (px)

Citation preview

Algumas solucoes da EDP p-Laplace:u2xuxx + 2uxuyuxy + u2

yuyy = 0

Maria Lewtchuk Espindola,Depto de Matematica, DM/CCEN, UFPB,

58051-970, Joao Pessoa, PB

E-mail: [email protected].

28/07/2012

Palavras-chave: EDP p-harmonica (ou p-Laplace), EDPs nao lineares, Metodo de Monge,Formas diferenciais Pfaffianas, Transformada de Legendre

Resumo: Este artigo amplia o conjunto solucoes da EDP (ux)2uxx + 2uxuyuxy + (uy)2uyy = 0apresentados em diversos artigos. Com esse intuito, utilizamos o metodo de Monge para equacoesdiferenciais parciais uniformes, reduzindo esta EDP de segunda ordem no sistema de Monge,cuja solucao resulta numa EDP de primeira ordem do tipo f(p, q) = 0. Na sequencia aplicamoso nosso metodo para determinar a solucao geral desta e portanto, uma solucao generalizada comuma funcao arbitraria da EDP p-harmonica.

1 Introducao

Na extensao do metodo desenvolvido anteriormente em Espindola [3, 4] (resumido no apendice),podemos obter solucoes para EDPs de segunda ordem, desde que estas possam ser transforma-das em equacoes diferenciais parciais do tipo F (f(x)p, h(y)q) = G(x), onde p = ux, q = uye u = u(x, y). Esse metodo e desenvolvido utilizando uma transformacao semelhante a de Le-gendre e o teorema para formas diferenciais Pfaffianas que fornece a condicao para que estasse tornem integraveis. Como a solucao obtida depende de uma funcao arbitraria, logo atravesdesse metodo obtemos sempre uma solucao geral da EDP de primeira ordem.

A equacaou2xuxx + 2uxuyuxy + u2yuyy = 0 (1)

e uma equacao diferencial parcial p-harmonica (ou p-Laplace) definida em <2, para p→∞ foiestudada por G. Aronsson[1, 2]. As solucoes obtidas para esta equacao diferencial parcial trazeminformacoes importantes em diversas situacoes desde esta e uma equacao diferencial parcial naolinear.

No caso as funcoes u = u(x, y) sao as solucoes de viscosidade ∞-harmonicas de ∆∞u = 0,onde

∆∞u = |∇u|−2∑i,j

uxiuxixjuxj .

Neste artigo iremos ampliar o conjunto de solucoes de (1.1) apresentados em outros artigos,como nos de G. Aronsson [1, 2] e o de Peres [5]. Com esse intuito utilizaremos o metodo deMonge para equacoes diferenciais parciais uniformes, reduzindo esta equacao diferencial parcialde segunda ordem no sistema de Monge, cuja solucao resulta numa EDP de primeira ordemdo tipo f(p, q) = 0. Entao aplicamos o metodo desenvolvido Espindola [3, 4] para determinar

71

ISSN 2317-3297

a solucao geral desta, e portanto uma solucao generalizada contendo uma funcao arbitraria de(1.1).

2 Solucao dependente de uma funcao arbitraria

A equacao diferencial parcial p-harmonica (1.1) pode ser reescrita como

p2r + 2pqs+ q2t = 0, (2)

onde r = px, t = py e s = py = qx.O metodo de Monge [6], pode ser aplicado para esta equacao que sendo quasilinear, uniforme

e homogenea resulta no seguinte sistema de Monge:

p2(dy)2 − 2pqdxdy + q2(dx)2 = 0 (3)

p2dpdy + q2dqdx = 0. (4)

A partir da equacao (2.3) temos

(pdy − qdx)2 = 0,

ou

dy =p

qdx.

Que substituıda em (2.4) fornece a forma diferencial

pdp+ qdq = 0,

cuja solucao ep2 + q2 = λ2,

onde λ e uma constante arbitraria.Como a equacao diferencial parcial e da forma F (p, q) = 0 logo sua solucao, obtida pelo

metodo desenvolvido por Espindola [3], e

u = x√λ2 − q2 + yq + ϕ(q), (5)

com a condicao

ϕ′(q) =xq√λ2 − q2

− y, (6)

onde ϕ(q) e uma funcao arbitraria.Portanto temos uma solucao de (1.1) com uma funcao arbitraria. Entao a cada escolha da

funcao arbitraria ϕ(q), a eq. (2.6) fornece q = q(x, y) que substituıdo em (2.5) determinauma solucao u = u(x, y) que depende de duas constantes arbitrarias.

3 Exemplo

Considere

ϕ(q) = arcsin

(q

λ

)+ µ, (7)

onde µ e uma constante arbitraria. Da equacao (2.6) temos

q =x± y

√λ2(x2 + y2)− 1

x2 + y2. (8)

72

ISSN 2317-3297

A solucao de (1.1) e obtida substituindo (3.7) e (3.8) em (2.5)

u = x

λ2 − (x± y√λ2(x2 + y2)− 1

x2 + y2

)21/2+ y

(x± y

√λ2(x2 + y2)− 1

x2 + y2

)+ (9)

+ arcsin

(x± y

√λ2(x2 + y2)− 1

x2 + y2

)− µ. (10)

4 Comentarios Finais

Esta aplicacao do metodo de obtencao de solucoes gerais para certas EDPs de primeiraordem, desenvolvido por Espindola [3], demonstra a importancia destas solucoes. Anteriormenteo mesmo metodo foi aplicado na obtencao da solucao geral da equacao de Hamilton-Jacobiunidimensional [4].

O metodo citado esta sendo generalizado para diversos casos, permitindo a ampliacao desuas aplicacoes.

E interessante ressaltar que esse metodo fornece sempre uma solucao geral para EDPs, li-neares ou nao, i.e., que depende de uma funcao arbitraria, sem nenhum vınculo ou condicoesespeciais, podendo portanto ser aplicado a qualquer problema especıfico, pois nao existem res-tricoes sobre as condicoes que esse ira impor, a nao ser aquelas devidas a calculos algebricosespeciais, nos quais os metodos numericos e computacionais conhecidos podem ser aplicados.

Em muitas situacoes aparecem EDPs de primeira ordem em fisica matematica, ou em outrosramos da matematica pura e aplicada. Tais equacoes surgem na construcao de superfıcies carac-terısticas de EDPs de segunda ordem, no calculo variacional, em alguns problemas geometricos,assim como, em problemas de dinamica dos gases cuja solucao utiliza o metodo das carac-terısticas, fornecendo solucoes completas. Podemos ainda citar seu aparecimento em: mecanicade meios contınuos, dinamica de gases, hidrodinamica, transferencia de massa e calor, teoria deondas, acustica, fluxos multifasicos, engenharia quımica, metereologia, etc...

Mas, com certeza, uma das importantes generalizacoes do metodo seria a dos sistemasdinamicos que na maioria dos casos, sao compostos por sistemas de EDPs de primeira ordemnao lineares.

5 Apendice - Solucao Geral para F(p,q) = 0

Um resumo do metodo desenvolvido em Espindola [3].Considere a EDP de primeira ordem F (p, q) = 0. A forma diferencial Pfaffiana para u e

du = p dx+ q dy. (11)

Aplicando uma transformacao de Legendre obtemos

d(xp+ yq)− du− xdp− ydq = 0.

Desde que dF = Fpdp+ Fqdq = 0, logo dp = −(Fq/Fq)dq entao

d(xp+ yq)− du+

(xFq

Fp− y

)dq = 0 . (12)

Sendo esta uma forma diferencial Pfaffiana pode ser aplicado o teorema [6]:

Teorema 5.1 A condicao necessaria e suficiente para que a equacao diferencial Pfaffiana~X · ~dr = 0 seja integravel e que ~X · rot ~X = 0.

73

ISSN 2317-3297

Que nesse caso resulta em

~X · rot ~X = −(

∂(xp+ yq)+

∂u

)(xFq

Fp− y

)= 0,

que integrada forneceu− xp− yq = φ(q). (13)

Substituindo na equacao (4.12) obtem-se(xFq

Fp− y

)= −φ′(q). (14)

A solucao geral da equacao diferencial e dada pela equacao (4.13) na qual q e determinadoa partir de (4.14).

Agradecimentos

Ao Dr. Nelson Lima Teixeira (in memoriam) e ao Dr. Oslim Espindola (inmemoriam) pelas edificantes conversas.

Referencias

[1] Aronsson, G., On the partial differential equation u2xuxx + 2uxuyuxy + u2yuyy = 0, Arkiv forMatematic, 7 (1968) 395-425.

[2] Aronsson, G., On certain singular solutions of the partial differential equation u2xuxx +2uxuyuxy + u2yuyy = 0, Manuscripta Mathematica, 47, Numbers 1-3 (1984) 395-425.

[3] Espindola, M. L., Metodo de solucao das EDPs : F (ux, uy) = 0; F (f(x)ux, uy) = 0;F (ux, h(y)uy) = 0, Resumos dos trabalhos do II ENAMA, II (2008) 84-86.

[4] Espindola, M. L., Solucao geral da equacao de Hamilton-Jacobi unidimensional, Anais doXXXIII CNMAC, v. 33 (2010) 151-153.

[5] Aronsson, G., Peres, Y.;Schramm, O.; Sheffield, S.; Wilson, D. B., Tug-of-war and the infinityLaplacian, J. Amer. Math. Soc., 22 (2009) 167-210.

[6] Sneddon, I., Elements of Partial Differential Equations, (MCGRAW-HILL ed.) Kogakusha,First edition, 1957.

74

ISSN 2317-3297