Ecuación de Laplace

Na Galipedia, a Wikipedia en galego.
Saltar ata a navegación Saltar á procura
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.

Definición[editar | editar a fonte]

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 fronteira[editar | editar a fonte]

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[editar | editar a fonte]

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[editar | editar a fonte]

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[editar | editar a fonte]

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

Funcións analíticas[editar | editar a fonte]

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ído[editar | editar a fonte]

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[editar | editar a fonte]

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[editar | editar a fonte]

Solución fundamental[editar | editar a fonte]

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[editar | editar a fonte]

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ática[editar | editar a fonte]

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[editar | editar a fonte]

  1. Sommerfeld, 1949

Véxase tamén[editar | editar a fonte]

Bibliografía[editar | editar a fonte]

Outros artigos[editar | editar a fonte]

Ligazóns externas[editar | editar a fonte]