Abrir o menú principal
Pierre-Simon Laplace

En cálculo vectorial, a ecuación de Laplace é unha ecuación en derivadas parciais de segunda orde de tipo elíptico, que recibe ese nome en honra ao físico e matemático Pierre-Simon Laplace.

Introducida polas necesidades da mecánica newtoniana, a ecuación de Laplace aparece en moitas outras ramas da física teórica como a astronomía, a electrostática, a mecánica de fluídos ou a mecánica cuántica.

Índice

DefiniciónEditar

En tres dimensións, o problema consiste en atopar funcións reais  , dobremente diferenciables, de variables reais  , tal que:

 
 
 

Moitas veces escríbese da seguinte maneira:

 

onde   é o operador de Laplace ou laplaciano.

Esta ecuación en derivadas parciais, tamén se pode escribir como

 

onde   é a diverxencia, e   é o gradiente.

Ou senón, algunhas veces a notación pode ser:

 

onde   tamén é o operador de Laplace.

As solucións da ecuación de Laplace denomínanse funcións harmónicas.

Se ao lado dereito da igualdade se especifica unha función,  , é dicir, se a ecuación se escribe como:

 

entón tense a ecuación de Poisson, polo que a ecuación de Laplace é un caso particular desta. A ecuación de Laplace tamén é un caso particular da ecuación de Helmholtz.

A ecuación de Laplace, así como a ecuación de Poisson, son os exemplos máis simples de ecuacións en derivadas parciais elípticas.

Condicións de fronteiraEditar

 
Ecuación de Laplace sobre unha coroa (r=2 e R=4) con condicións de fronteira de Dirichlet: u(r=2)=0 e u(r=4)=4sen(5·θ)

Problema de DirichletEditar

O problema de Dirichlet para a ecuación de Laplace consiste en atopar unha solución   nalgún dominio   tal que   sobre o seu fronteira   é igual a unha función determinada:

 

Como o operador de Laplace aparece na ecuación da calor, unha interpretación física deste problema é o seguinte: fixar a temperatura sobre a fronteira do dominio de acordo a unha especificación determinada da condición de fronteira. A temperatura flúe ata que alcanza un estado estacionario no que dita temperatura en cada punto do dominio non cambia máis. A distribución da temperatura no interior será entón a solución correspondente ao problema de Dirichlet.

Problema de NeumannEditar

As condicións de fronteira de Neumann para a ecuación de Laplace non especifica a función   en si mesma sobre a fronteira  , pero si a súa derivada normal. Fisicamente, isto corresponde á construción dun potencial para un campo vectorial cun efecto coñecido na fronteira de  :

 

As solucións da ecuación de Laplace son funcións harmónicas; son todas analíticas dentro do dominio onde a ecuación se satisfai. Se calquera de dúas funcións son solucións á ecuación de Laplace (ou de calquera ecuación diferencial homoxénea), a súa suma (ou calquera combinación linear) é tamén unha solución. Esta propiedade, chamada principio de superposición, é moi útil, por exemplo, as solucións de problemas complexos poden construírse simplemente sumando as solucións determinadas e variables.

Ecuación de Laplace en dúas dimensiónsEditar

A ecuación de Laplace en dúas variables independentes:

 

Funcións analíticasEditar

As partes reais e imaxinarias dunha función analítica nos complexos satisfán a ecuación de Laplace. É dicir, se  , e se

 

entón a condición necesaria para que   sexa analítica é que se satisfagan as ecuacións de Cauchy-Riemann:

 

onde   é a primeira derivada parcial de   con respecto a  .

Entón

 

Por tanto   satisfai a ecuación de Laplace. Un cálculo similar demostra que   tamén satisfai a ecuación de Laplace.

Á inversa, dada unha función harmónica, é a parte real dunha función analítica,   (polo menos localmente). Unha forma de probalo é:

 

entón as ecuacións de Cauchy-Riemann satisfanse:

 

Esta relación non determina  , só os seus incrementos:

 

A ecuación de Laplace para   implica que a condición de integrabilidade para   se satisfai:

 

e así   pode definirse cunha integral de liña. A condición de integrabilidade e o teorema de Stokes implica que o valor da integral de liña que conecta dous puntos é independente do camiño. O par de solucións resultante da ecuación de Laplace denomínanse funciones harmónicas conxugadas. Esta construción só é válida localmente, ou sempre que o camiño non estea a rodear unha singularidade. Por exemplo, se   e   son coordenadas polares e

 

entón unha función analítica correspondente é

 

Con todo, o ángulo   é univaluado só nunha rexión que non inclúe a orixe.

A estreita relación entre a ecuación de Laplace e as funcións analíticas establece que calquera solución da ecuación de Laplace ten derivadas en todas as ordes, e pode expandirse en series de potencias, polo menos dentro dun círculo que non inclúa unha singularidade. Isto está en contraste coas solucións da ecuación de onda, que polo xeral ten menor regularidade.

Hai unha íntima conexión entre as series de potencias e as series de Fourier. Se se expande unha función   en series de potencias dentro dun círculo de raio  , isto significa que

 

con coeficientes definidos adecuadamente con partes reais e imaxinarias dadas por:

 

Entón

 

a cal é unha serie de Fourier de  .

Fluxo de fluídoEditar

Sexan as cantidades   e   as compoñentes horizontal e vertical do campo de velocidade do fluxo incompresible estacionario e irrotacional en dúas dimensións, respectivamente. A condición de que o fluxo sexa incompresible é que

 

e a condición de que o fluxo sexa irrotacional é que

 

Se se define o diferencial de   como

 

entón a condición de incompresibilidade é a de integrabilidade para este diferencial: a función resultante chámase función de corrente porque é constante ao longo das liñas de fluxo. As primeiras derivadas de   son

 

e a condición de irrotacionalidade establece que   satisfai a ecuación de Laplace. A función harmónica  , que é o conxugado de  , denomínase potencial de velocidade. As ecuacións de Cauchy-Riemann establecen que

 

Así que, a cada función analítica correspóndelle un fluxo de fluído incompresible estacionario e irrotacional no plano. A parte real é o potencial de velocidade, e a parte imaxinaria é a función de corrente.

ElectrostáticaEditar

De acordo ás ecuacións de Maxwell, un campo eléctrico (u,v) nun espazo de dúas dimensións que é independente do tempo satisfai

 

onde   é a densidade de carga. A primeira ecuación de Maxwell é a condición de integrabilidade para o diferencial

 

así que o potencial eléctrico   pode construírse para satisfacer

 

A segunda ecuación de Maxwell establece que

 

coñecida como ecuación de Poisson.

É importante observar que a ecuación de Laplace pode empregarse en problemas de tres dimensións en electroestática e fluxo de fluído así como en dúas dimensións.

Ecuación de Laplace en tres dimensiónsEditar

Solución fundamentalEditar

Unha solución fundamental da ecuación de Laplace satisfai:

 

onde a función delta de Dirac   é unha fonte unitaria concentrada nun punto  .

Non é unha función en si, con todo pode pensarse como o límite de funcións cuxa integral sobre todo o espazo é unitaria, e cuxa rexión onde a función é distinta de cero é só nun punto. É común escoller unha convención de signos diferente para esta ecuación, isto faise cando se define a solución fundamental. Frecuentemente a escolla deste signo é conveniente para traballar cun   que é un operador positivo. Así a definición da solución fundamental implica que, se o laplaciano de   se integra sobre calquera volume que encerra o punto da fonte, entón

 

A ecuación de Laplace non cambia baixo un cambio de coordenadas, e entón pódese esperar que a solución fundamental se pode obter entre solucións que dependen só da distancia   do punto da fonte. De escoller o volume dunha bóla de raio   arredor do punto da fonte, entón polo teorema da diverxencia de Gauss:

 

Entón

 

sobre unha esfera de raio   que ten como centro o punto da fonte e polo tanto

 

Un argumento similar mostra que en dúas dimensións:

 

Función de GreenEditar

Unha función de Green é unha solución fundamental que tamén satisfai unha condición adecuada na fronteira   dun volume  . Por exemplo,   satisfai

 

Agora se   é calquera solución da ecuación de Poisson en  :

 

e   toma valores de fronteira   sobre  , entón pódese aplicar a identidade de Green, unha consecuencia do teorema da diverxencia, o cal satisfai

 

As notacións   e   refírense a derivadas normais a  . En vista de que as condicións satisfán   e  , este resultado simplifica

 

Así a función de Green describe a influencia de   e   en  . Para o caso do interior dunha esfera de raio  , a función de Green pode obterse por medio da reflexión:[1] o punto da fonte   a distancia   do centro da esfera reflíctese ao longo da liña radial ao punto   que é nunha distancia

 

Obsérvase que se   está dentro da esfera, entón   estará fóra da esfera. A función de Green está dada entón por

 

onde   é a distancia ao punto da fonte   e   é a distancia ao punto reflectido  . Unha consecuencia desta expresión para a función de Green é a fórmula integral de Poisson. Sexan  ,   e   as compoñentes das coordenadas esféricas do punto da fonte  . Aquí   é o ángulo co eixe vertical, o cal é contrario á notación matemática estadounidense, pero cumpre co estándar europeo e a práctica da física. Entón a solución da ecuación de Laplace dentro da esfera está dada por

 

onde

 

Unha consecuencia simple desta fórmula é que se   é unha función harmónica, entón o valor de   dentro da esfera é o valor medio dos valores sobre a esfera. Esta propiedade de valor medio implica inmediatamente que funcións harmónicas non constantes non poden tomar o seu valor máximo nun punto interior.

ElectrostáticaEditar

No espazo libre a ecuación de Laplace de calquera potencial electroestático debe ser igual a cero xa que   (densidade de carga volumétrica) é cero no espazo libre.

A partir do gradiente do potencial obtense o campo eléctrico

 

Tomando a diverxencia do campo eléctrico obtense a ecuación de Poisson, que relaciona o potencial eléctrico coa densidade de carga

 

No caso particular do espazo libre ( ) a ecuación de Poisson redúcese á de Laplace.

Usando o teorema da unicidade e mostrando que un potencial satisfai a ecuación de Laplace (a segunda derivada de   debería ser cero no espazo libre) e o potencial ten os valores correctos na fronteira, o potencial entón está univocamente definido.

Un potencial que non satisfai a ecuación de Laplace xunto coa condición de fronteira é un potencial electroestático inválido.

NotasEditar

  1. Sommerfeld, 1949

Véxase taménEditar

BibliografíaEditar

Outros artigosEditar

Ligazóns externasEditar