Ecuación de 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.

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

 En coordenadas cartesianas,

 En coordenadas cilíndricas ,

 En coordenadas esféricas ,

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 fronteira 
dereita|miniatura|350x350px|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 Dirichlet 
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 Neumann 
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óns 
A ecuación de Laplace en dúas variables independentes:

 Funcións analíticas 
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 funcións 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ído 
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ática 
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óns 

 Solución fundamental 
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 Green 
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:Sommerfeld, 1949 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ática 
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.

 Notas 

 Véxase tamén 
 Bibliografía 
 Ireneo Peral, Primer curso de ecuaciones en derivadas parciales, Capítulo 5: La ecuación de Laplace. El problema de Dirichlet. Departamento de Matemáticas, Universidade Autónoma de Madrid, España.
 Ecuación de Laplace Universidad Nacional de Ingeniería, Perú.
 Ecuación de Laplace Universidade de Navarra, España.
 L.C. Evans, Partial Differential Equations, American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2
 I. G. Petrovsky, Partial Differential Equations, W. B. Saunders Co., Philadelphia, 1967.
 A. D. Polyanin, Handbook of Linear Partial Differential Equations for Engineers and Scientists, Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 1-58488-299-9
 A. Sommerfeld, Partial Differential Equations in Physics, Academic Press, Nova York, 1949
 Outros artigos 
 Ecuación de Poisson
 Función harmónica
 Ligazóns externas 
 Laplace Equation (particular solutions and boundary value problems) at EqWorld: The World of Mathematical Equations.
 Example initial-boundary value problems using Laplace's equation from exampleproblems.com.
 Find out how boundary value problems governed by Laplace's equation may be solved numerically by boundary element method 

Categoría:Análise matemática