Вы находитесь на странице: 1из 9

Ecuaci�n de Laplace

Ir a la navegaci�n
Ir a la b�squeda
Pierre-Simon Laplace

En c�lculo vectorial, la ecuaci�n de Laplace es una ecuaci�n en derivadas parciales


de segundo orden de tipo el�ptico, que recibe ese nombre en honor al f�sico y
matem�tico Pierre-Simon Laplace.

Introducida por las necesidades de la mec�nica newtoniana, la ecuaci�n de Laplace


aparece en muchas otras ramas de la f�sica te�rica como la astronom�a, la
electrost�tica, la mec�nica de fluidos o la mec�nica cu�ntica.
�ndice

1 Definici�n
2 Condiciones de contorno o frontera
2.1 Problema de Dirichlet
2.2 Problema de Neumann
3 Ecuaci�n de Laplace en dos dimensiones
3.1 Funciones anal�ticas
3.2 Flujo de fluido
3.3 Electrost�tica
4 Ecuaci�n de Laplace en tres dimensiones
4.1 Soluci�n fundamental
4.2 Funci�n de Green
4.3 Electrost�tica
5 V�ase tambi�n
6 Notas
7 Referencias

Definici�n

En tres dimensiones, el problema consiste en hallar una funci�n real u


{\displaystyle u} u, doblemente diferenciable, de variables reales ( x , y , z )
{\displaystyle (x,y,z)} (x,y,z), tal que

En coordenadas cartesianas,

? 2 u ? x 2 + ? 2 u ? y 2 + ? 2 u ? z 2 = 0. {\displaystyle {\partial ^{2}u


\over \partial x^{2}}+{\partial ^{2}u \over \partial y^{2}}+{\partial ^{2}u
\over \partial z^{2}}=0.} {\displaystyle {\partial ^{2}u \over \partial x^{2}}+
{\partial ^{2}u \over \partial y^{2}}+{\partial ^{2}u \over \partial z^{2}}=0.}

En coordenadas cil�ndricas ( ? , f , z ) {\displaystyle (\rho ,\varphi ,z)\,}


{\displaystyle (\rho ,\varphi ,z)\,},

1 ? ? ? ? ( ? ? u ? ? ) + 1 ? 2 ? 2 u ? f 2 + ? 2 u ? z 2 = 0 {\displaystyle {1
\over \rho }{\partial \over \partial \rho }\left(\rho {\partial u \over \partial
\rho }\right)+{1 \over \rho ^{2}}{\partial ^{2}u \over \partial \varphi ^{2}}+
{\partial ^{2}u \over \partial z^{2}}=0} {\displaystyle {1 \over \rho }{\partial
\over \partial \rho }\left(\rho {\partial u \over \partial \rho }\right)+{1
\over \rho ^{2}}{\partial ^{2}u \over \partial \varphi ^{2}}+{\partial ^{2}u
\over \partial z^{2}}=0}

En coordenadas esf�ricas ( r , ? , ? ) {\displaystyle (r,\theta ,\phi )\,}


{\displaystyle (r,\theta ,\phi )\,},

1 r 2 ? ? r ( r 2 ? u ? r ) + 1 r 2 sin ? ? ? ? ? ( sin ? ? ? u ? ? ) + 1 r 2
sin 2 ? ? ? 2 u ? f 2 = 0 {\displaystyle {1 \over r^{2}}{\partial \over \partial
r}\left(r^{2}{\partial u \over \partial r}\right)+{1 \over r^{2}\sin \theta }
{\partial \over \partial \theta }\left(\sin \theta {\partial u \over \partial
\theta }\right)+{1 \over r^{2}\sin ^{2}\theta }{\partial ^{2}u \over \partial
\varphi ^{2}}=0} {\displaystyle {1 \over r^{2}}{\partial \over \partial
r}\left(r^{2}{\partial u \over \partial r}\right)+{1 \over r^{2}\sin \theta }
{\partial \over \partial \theta }\left(\sin \theta {\partial u \over \partial
\theta }\right)+{1 \over r^{2}\sin ^{2}\theta }{\partial ^{2}u \over \partial
\varphi ^{2}}=0}

Muchas veces se escribe de la siguiente manera:

? 2 u = 0 {\displaystyle \nabla ^{2}u=0\,} {\displaystyle \nabla ^{2}u=0\,}

donde ? 2 {\displaystyle \nabla ^{2}} {\displaystyle \nabla ^{2}} es el operador de


Laplace o "Laplaciano".

Esta ecuaci�n en derivadas parciales, tambi�n se puede escribir como

? � ? u = 0 , {\displaystyle \nabla \cdot \nabla u=0,} {\displaystyle \nabla


\cdot \nabla u=0,}

donde ? � {\displaystyle \nabla \cdot } {\displaystyle \nabla \cdot } es la


divergencia, y ? {\displaystyle \nabla } \nabla es el gradiente.

O sino, algunas veces la notaci�n puede ser:

? u = 0 , {\displaystyle \Delta u=0,\,} {\displaystyle \Delta u=0,\,}

donde ? {\displaystyle \Delta } \Delta tambi�n es el operador de Laplace.

Las soluciones de la ecuaci�n de Laplace se denominan funciones arm�nicas.

Si del lado derecho de la igualdad se especifica una funci�n, f ( x , y , z )


{\displaystyle f(x,y,z)} f(x,y,z), es decir, si la ecuaci�n se escribe como:

? u = f {\displaystyle \Delta u=f\,} {\displaystyle \Delta u=f\,}

entonces se tiene la "ecuaci�n de Poisson", por lo que la ecuaci�n de Laplace es un


caso particular de esta. La ecuaci�n de Laplace tambi�n es un caso particular de la
ecuaci�n de Helmholtz.

La ecuaci�n de Laplace, as� como la ecuaci�n de Poisson, son los ejemplos m�s
simples de ecuaciones en derivadas parciales el�pticas.

Condiciones de contorno o frontera


Ecuaci�n de Laplace sobre una corona (r=2 y R=4) con condiciones de contorno de
Dirichlet: u(r=2)=0 y u(r=4)=4sin(5*?)
Problema de Dirichlet
Art�culo principal: Problema de Dirichlet

El problema de Dirichlet para la ecuaci�n de Laplace consiste en hallar una


soluci�n u {\displaystyle u} u en alg�n dominio D {\displaystyle D} D tal que u
{\displaystyle u} u sobre su contorno o frontera ? D {\displaystyle \partial D}
{\displaystyle \partial D} es igual a una funci�n determinada:

{ ? u = 0 , x ? D u = g , x ? ? D {\displaystyle {\begin{cases}\triangle
u=0,\quad &x\in D\\u=g,&x\in \partial D\end{cases}}} {\displaystyle
{\begin{cases}\triangle u=0,\quad &x\in D\\u=g,&x\in \partial D\end{cases}}}
Como el operador de Laplace aparece en la ecuaci�n del calor, una interpretaci�n
f�sica de este problema es lo siguiente: fijar la temperatura sobre el contorno del
dominio de acuerdo a una especificaci�n determinada de la condici�n de contorno. La
temperatura fluye hasta que alcanza un estado estacionario en el que dicha
temperatura en cada punto del dominio no cambia m�s. La distribuci�n de la
temperatura en el interior ser� entonces la soluci�n correspondiente al problema de
Dirichlet.
Problema de Neumann
Art�culo principal: Problema de Neumann

Las condiciones de contorno de Neumann para la ecuaci�n de Laplace no especifica la


funci�n u {\displaystyle u} u en s� mismo sobre el contorno ? D {\displaystyle
\partial D} {\displaystyle \partial D}, pero s� su derivada normal. F�sicamente,
esto corresponde a la construcci�n de un potencial para un campo vectorial cuyo
efecto es conocido en el contorno de D {\displaystyle D} D:

{ ? u = 0 , x ? D ? u ? ? = g , x ? ? D {\displaystyle {\begin{cases}\triangle
u=0,\quad &x\in D\\{\frac {\partial u}{\partial \eta }}=g,&x\in \partial
D\end{cases}}} {\displaystyle {\begin{cases}\triangle u=0,\quad &x\in D\\{\frac
{\partial u}{\partial \eta }}=g,&x\in \partial D\end{cases}}}

Las soluciones de la ecuaci�n de Laplace son funciones arm�nicas; son todas


anal�ticas dentro del dominio donde la ecuaci�n se satisface. Si cualesquiera de
dos funciones son soluciones a la ecuaci�n de Laplace (o de cualquier ecuaci�n
diferencial homog�nea), su suma (o cualquier combinaci�n lineal) es tambi�n una
soluci�n. Esta propiedad, llamada principio de superposici�n, es muy �til, por
ejemplo, las soluciones de problemas complejos pueden construirse simplemente
sumando las soluciones determinadas e variables.
Ecuaci�n de Laplace en dos dimensiones

La ecuaci�n de Laplace en dos variables independientes:

f x x + f y y = 0. {\displaystyle \varphi _{xx}+\varphi _{yy}=0.\,}


{\displaystyle \varphi _{xx}+\varphi _{yy}=0.\,}

Funciones anal�ticas

Las partes reales e imaginarias de una funci�n anal�tica en los complejos


satisfacen la ecuaci�n de Laplace. Es decir, si z = x + i y {\displaystyle z=x+iy}
{\displaystyle z=x+iy}, y si

f ( z ) = u ( x , y ) + i v ( x , y ) , {\displaystyle f(z)=u(x,y)+iv(x,y),\,}
{\displaystyle f(z)=u(x,y)+iv(x,y),\,}

entonces la condici�n necesaria para que f ( z ) {\displaystyle f(z)}


{\displaystyle f(z)} sea anal�tica es que se satisfagan las ecuaciones de Cauchy-
Riemann:

u x = v y , v x = - u y . {\displaystyle u_{x}=v_{y},\quad v_{x}=-u_{y}.\,}


{\displaystyle u_{x}=v_{y},\quad v_{x}=-u_{y}.\,}

donde u x {\displaystyle u_{x}} {\displaystyle u_{x}} es la primera derivada


parcial de u {\displaystyle u} u con respecto a x {\displaystyle x} x.

Entonces

u y y = ( - v x ) y = - ( v y ) x = - ( u x ) x . {\displaystyle u_{yy}=(-
v_{x})_{y}=-(v_{y})_{x}=-(u_{x})_{x}.\,} {\displaystyle u_{yy}=(-v_{x})_{y}=-
(v_{y})_{x}=-(u_{x})_{x}.\,}

Por lo tanto u {\displaystyle u} u satisface la ecuaci�n de Laplace. Un c�lculo


similar demuestra que v {\displaystyle v} v tambi�n satisface la ecuaci�n de
Laplace.

A la inversa, dada una funci�n arm�nica, es la parte real de una funci�n anal�tica,
f ( z ) {\displaystyle f(z)} {\displaystyle f(z)} (al menos localmente). Una forma
de probarlo es:

f ( z ) = f ( x , y ) + i ? ( x , y ) , {\displaystyle f(z)=\varphi (x,y)+i\psi


(x,y),\,} {\displaystyle f(z)=\varphi (x,y)+i\psi (x,y),\,}

entonces las ecuaciones de Cauchy-Riemann se satisfacen:

? x = - f y , ? y = f x . {\displaystyle \psi _{x}=-\varphi _{y},\quad \psi


_{y}=\varphi _{x}.\,} {\displaystyle \psi _{x}=-\varphi _{y},\quad \psi
_{y}=\varphi _{x}.\,}

Esta relaci�n no determina ? {\displaystyle \psi } \psi , s�lo sus incrementos:

d ? = - f y d x + f x d y . {\displaystyle d\psi =-\varphi _{y}\,dx+\varphi


_{x}\,dy.\,} {\displaystyle d\psi =-\varphi _{y}\,dx+\varphi _{x}\,dy.\,}

La ecuaci�n de Laplace para f {\displaystyle \varphi } \varphi implica que la


condici�n de integrabilidad para ? {\displaystyle \psi } \psi se satisface:

? x y = ? y x , {\displaystyle \psi _{xy}=\psi _{yx},\,} {\displaystyle \psi


_{xy}=\psi _{yx},\,}

y as� ? {\displaystyle \psi } \psi puede definirse con una integral de l�nea. La
condici�n de integrabilidad y el teorema de Stokes implica que el valor de la
integral de l�nea que conecta dos puntos es independiente del camino. El par de
soluciones resultante de la ecuaci�n de Laplace se denominan funciones arm�nicas
conjugadas. Esta construcci�n s�lo es v�lida localmente, o siempre que el camino no
est� rodeando a una singularidad. Por ejemplo, si r {\displaystyle r} r y ?
{\displaystyle \theta } \theta son coordenadas polares y

f = log ? r , {\displaystyle \varphi =\log r,\,} {\displaystyle \varphi =\log


r,\,}

entonces una funci�n anal�tica correspondiente es

f ( z ) = log ? z = log ? r + i ? . {\displaystyle f(z)=\log z=\log


r+i\theta .\,} {\displaystyle f(z)=\log z=\log r+i\theta .\,}

Sin embargo, el �ngulo f {\displaystyle \varphi } \varphi es univaluada solamente


en una regi�n que no incluye al origen.

La estrecha relaci�n entre la ecuaci�n de Laplace y las funciones anal�ticas


establece que cualquier soluci�n de la ecuaci�n de Laplace tiene derivadas en todos
los �rdenes, y puede expandirse en series de potencias, al menos dentro de un
c�rculo que no incluya una singularidad. Esto est� en contraste con las soluciones
de la ecuaci�n de onda, que por lo general tiene menor regularidad.

Hay una �ntima conexi�n entre las series de potencias y las series de Fourier. Si
expandimos una funci�n f {\displaystyle f} f en series de potencias dentro de un
c�rculo de radio R {\displaystyle R} R, esto significa que
f ( z ) = ? n = 0 8 c n z n , {\displaystyle f(z)=\sum _{n=0}^{\infty }
c_{n}z^{n},\,} {\displaystyle f(z)=\sum _{n=0}^{\infty }c_{n}z^{n},\,}

con coeficientes definidos adecuadamente cuyas partes reales e imaginarias est�n


dadas por:

c n = a n + i b n . {\displaystyle c_{n}=a_{n}+ib_{n}.\,} {\displaystyle


c_{n}=a_{n}+ib_{n}.\,}

Entonces

f ( z ) = ? n = 0 8 [ a n r n cos ? n ? - b n r n sin ? n ? ] + i ? n = 1 8 [ a
n r n sin ? n ? + b n r n cos ? n ? ] , {\displaystyle f(z)=\sum
_{n=0}^{\infty }\left[a_{n}r^{n}\cos n\theta -b_{n}r^{n}\sin n\theta \right]+i\sum
_{n=1}^{\infty }\left[a_{n}r^{n}\sin n\theta +b_{n}r^{n}\cos n\theta \right],\,}
{\displaystyle f(z)=\sum _{n=0}^{\infty }\left[a_{n}r^{n}\cos n\theta
-b_{n}r^{n}\sin n\theta \right]+i\sum _{n=1}^{\infty }\left[a_{n}r^{n}\sin n\theta
+b_{n}r^{n}\cos n\theta \right],\,}

la cual es una serie de Fourier de f {\displaystyle f} f.


Flujo de fluido

Sean las cantidades u {\displaystyle u} u y v {\displaystyle v} v las componentes


horizontal y vertical del campo de velocidad del flujo incompresible estacionario e
irrotacional en dos dimensiones, respectivamente. La condici�n de que el flujo sea
incompresible es que

u x + v y = 0 , {\displaystyle u_{x}+v_{y}=0,\,} {\displaystyle u_{x}


+v_{y}=0,\,}

y la condici�n de que el flujo sea irrotacional es que

? � V = v x - u y = 0. {\displaystyle \nabla \times \mathbf {V} =v_{x}-


u_{y}=0.\,} {\displaystyle \nabla \times \mathbf {V} =v_{x}-u_{y}=0.\,}

Si definimos el diferencial de ? {\displaystyle \psi } \psi como

d ? = v d x - u d y , {\displaystyle d\psi =v\,dx-u\,dy,\,} {\displaystyle


d\psi =v\,dx-u\,dy,\,}

entonces la condici�n de incompresibilidad es la de integrabilidad para este


diferencial: la funci�n resultante se llama funci�n de corriente porque es
constante a lo largo de las l�neas de flujo. Las primeras derivadas de ?
{\displaystyle \psi } \psi son

? x = v , ? y = - u , {\displaystyle \psi _{x}=v,\quad \psi _{y}=-u,\,}


{\displaystyle \psi _{x}=v,\quad \psi _{y}=-u,\,}

y la condici�n de irrotacionalidad establece que ? {\displaystyle \psi } \psi


satisface la ecuaci�n de Laplace. La funci�n arm�nica f {\displaystyle \varphi }
\varphi , que es el conjugado de ? {\displaystyle \psi } \psi , se denomina
potencial de velocidad. Las ecuaciones de Cauchy-Riemann establecen que

f x = - u , f y = - v . {\displaystyle \varphi _{x}=-u,\quad \varphi _{y}=-


v.\,} {\displaystyle \varphi _{x}=-u,\quad \varphi _{y}=-v.\,}

As� que, a cada funci�n anal�tica le corresponde un flujo de fluido incompresible


estacionario e irrotacional en el plano. La parte real es el potencial de
velocidad, y la parte imaginaria es la funci�n de corriente.
Electrost�tica

De acuerdo a las ecuaciones de Maxwell, un campo el�ctrico (u,v) en un espacio de


dos dimensiones que es independiente del tiempo satisface

{ ? � ( u , v ) = v x - u y = 0 , ? � ( u , v ) = ? , {\displaystyle
{\begin{cases}\nabla \times (u,v)=v_{x}-u_{y}=0,\,\\\nabla \cdot (u,v)=\rho
,\,\end{cases}}} {\displaystyle {\begin{cases}\nabla \times (u,v)=v_{x}-
u_{y}=0,\,\\\nabla \cdot (u,v)=\rho ,\,\end{cases}}}

donde ? {\displaystyle \rho } \rho es la densidad de carga. La primera ecuaci�n de


Maxwell es la condici�n de integrabilidad para el diferencial

d f = - u d x - v d y , {\displaystyle d\varphi =-u\,dx-v\,dy,\,}


{\displaystyle d\varphi =-u\,dx-v\,dy,\,}

as� que el potencial el�ctrico f {\displaystyle \varphi } \varphi puede construirse


para satisfacer

f x = - u , f y = - v . {\displaystyle \varphi _{x}=-u,\quad \varphi _{y}=-


v.\,} {\displaystyle \varphi _{x}=-u,\quad \varphi _{y}=-v.\,}

La segunda ecuaci�n de Maxwell establece que

f x x + f y y = - ? , {\displaystyle \varphi _{xx}+\varphi _{yy}=-\rho ,\,}


{\displaystyle \varphi _{xx}+\varphi _{yy}=-\rho ,\,}

conocida como la ecuaci�n de Poisson.

Es importante observar que la ecuaci�n de Laplace puede usarse en problemas de tres


dimensiones en electroest�tica y flujo de fluido as� como en dos dimensiones.
Ecuaci�n de Laplace en tres dimensiones
Soluci�n fundamental

Una soluci�n fundamental de la ecuaci�n de Laplace satisface:

? u = u x x + u y y + u z z = - d ( x - x ' , y - y ' , z - z ' ) ,


{\displaystyle \Delta u=u_{xx}+u_{yy}+u_{zz}=-\delta (x-x',y-y',z-z'),\,}
{\displaystyle \Delta u=u_{xx}+u_{yy}+u_{zz}=-\delta (x-x',y-y',z-z'),\,}

donde la funci�n delta de Dirac d {\displaystyle \delta } \delta es una fuente


unitaria concentrada en un punto ( x ' , y ' , z ' ) . {\displaystyle
(x',\,y',\,z').} {\displaystyle (x',\,y',\,z').} No es una funci�n en s�, sin
embargo puede pensarse como el l�mite de funciones cuya integral sobre todo el
espacio es unitaria, y cuya regi�n donde la funci�n es distinta de cero es s�lo en
un punto (ver soluci�n d�bil). Es com�n elegir una convenci�n de signos diferente
para esta ecuaci�n, esto se hace cuando se define la soluci�n fundamental.
Frecuentemente la elecci�n de este signo es conveniente para trabajar con un - ?
{\displaystyle -\Delta } {\displaystyle -\Delta } que es un operador positivo. As�
la definici�n de la soluci�n fundamental implica que, si el laplaciano de u
{\displaystyle u} u es integrado sobre cualquier volumen que encierra el punto de
la fuente, entonces

? V ? � ? u d V = - 1. {\displaystyle \iiint _{V}\nabla \cdot \nabla u\,dV=-


1.\,} {\displaystyle \iiint _{V}\nabla \cdot \nabla u\,dV=-1.\,}

La ecuaci�n de Laplace no cambia bajo un cambio de coordenadas, y entonces podemos


esperar que la soluci�n fundamental puede obtenerse entre soluciones que dependen
solamente de la distancia r {\displaystyle r} r del punto de la fuente. Si elegimos
el volumen de una bola de radio a {\displaystyle a} a alrededor del punto de la
fuente, entonces por el teorema de la divergencia de Gauss:

- 1 = ? V ? � ? u d V = ? S u r d S = 4 p a 2 u r ( a ) . {\displaystyle
-1=\iiint _{V}\nabla \cdot \nabla u\,dV=\iint _{S}u_{r}\,dS=4\pi a^{2}u_{r}(a).\,}
{\displaystyle -1=\iiint _{V}\nabla \cdot \nabla u\,dV=\iint _{S}u_{r}\,dS=4\pi
a^{2}u_{r}(a).\,}

Entonces

u r = - 1 4 p r 2 , {\displaystyle u_{r}=-{\frac {1}{4\pi r^{2}}},\,}


{\displaystyle u_{r}=-{\frac {1}{4\pi r^{2}}},\,}

sobre una esfera de radio r {\displaystyle r} r que tiene como centro al punto de
la fuente y por lo tanto

u = 1 4 p r . {\displaystyle u={\frac {1}{4\pi r}}.\,} {\displaystyle u={\frac


{1}{4\pi r}}.\,}

Un argumento similar muestra que en dos dimensiones:

u = - 1 2 p log ? r . {\displaystyle u=-{\frac {1}{2\pi }}\log r.\,}


{\displaystyle u=-{\frac {1}{2\pi }}\log r.\,}

Funci�n de Green

Una funci�n de Green es una soluci�n fundamental que tambi�n satisface una
condici�n adecuada en el contorno S {\displaystyle S} S de un volumen V
{\displaystyle V} V. Por ejemplo, G ( x , y , z ; x ' , y ' , z ' ) {\displaystyle
G(x,y,z;x',y',z')\,} {\displaystyle G(x,y,z;x',y',z')\,} satisface

{ ? � ? G = - d ( x - x ' , y - y ' , z - z ' ) en V , G = 0 si ( x , y , z )


en S . {\displaystyle {\begin{cases}\nabla \cdot \nabla G=-\delta (x-x',y-y',z-
z')\quad {\hbox{en}}\quad V,\,\\G=0\quad {\hbox{si}}\quad (x,y,z)\quad
{\hbox{en}}\quad S.\,\end{cases}}} {\displaystyle {\begin{cases}\nabla \cdot \nabla
G=-\delta (x-x',y-y',z-z')\quad {\hbox{en}}\quad V,\,\\G=0\quad {\hbox{si}}\quad
(x,y,z)\quad {\hbox{en}}\quad S.\,\end{cases}}}

Ahora si u {\displaystyle u} u es cualquier soluci�n de la ecuaci�n de Poisson en V


{\displaystyle V} V:

? � ? u = - f , {\displaystyle \nabla \cdot \nabla u=-f,\,} {\displaystyle


\nabla \cdot \nabla u=-f,\,}

y u {\displaystyle u} u toma valores de contorno g {\displaystyle g} g sobre S


{\displaystyle S} S, entonces podemos aplicar la identidad de Green, una
consecuencia del teorema de la divergencia, el cual satisface

? V [ G ? � ? u - u ? � ? G ] d V = ? V ? � [ G ? u - u ? G ] d V = ? S [ G u n
- u G n ] d S . {\displaystyle \iiint _{V}\left[G\,\nabla \cdot \nabla u-
u\,\nabla \cdot \nabla G\right]\,dV=\iiint _{V}\nabla \cdot \left[G\nabla u-u\nabla
G\right]\,dV=\iint _{S}\left[Gu_{n}-uG_{n}\right]\,dS.\,} {\displaystyle \iiint
_{V}\left[G\,\nabla \cdot \nabla u-u\,\nabla \cdot \nabla G\right]\,dV=\iiint
_{V}\nabla \cdot \left[G\nabla u-u\nabla G\right]\,dV=\iint _{S}\left[Gu_{n}-
uG_{n}\right]\,dS.\,}

las notaciones u n {\displaystyle u_{n}} {\displaystyle u_{n}} y G n {\displaystyle


G_{n}} G_n se refieren a derivadas normales a S {\displaystyle S} S. En vista de
que las condiciones satisfacen u {\displaystyle u} u y G {\displaystyle G} G, este
resultado simplifica a

u ( x ' , y ' , z ' ) = ? V G f d V + ? S G n g d S . {\displaystyle


u(x',y',z')=\iiint _{V}Gf\,dV+\iint _{S}G_{n}g\,dS.\,} {\displaystyle
u(x',y',z')=\iiint _{V}Gf\,dV+\iint _{S}G_{n}g\,dS.\,}

As� la funci�n de Green describe la influencia de f {\displaystyle f} f y g


{\displaystyle g} g en ( x ' , y ' , z ' ) {\displaystyle (x',y',z')}
{\displaystyle (x',y',z')}. Para el caso del interior de una esfera de radio a
{\displaystyle a} a, la funci�n de Green puede obtenerse por medio de la
reflexi�n:1? el punto de la fuente P {\displaystyle P} P a distancia ?
{\displaystyle \rho } \rho del centro de la esfera se refleja a lo largo de la
l�nea radial al punto P ' {\displaystyle P'} P' que es en una distancia

? ' = a 2 ? . {\displaystyle \rho '={\frac {a^{2}}{\rho }}.\,}


{\displaystyle \rho '={\frac {a^{2}}{\rho }}.\,}

Se observa que si P {\displaystyle P} P est� dentro de la esfera, entonces P '


{\displaystyle P'} P' estar� fuera de la esfera. La funci�n de Green est� dada
entonces por

1 4 p R - a 4 p ? R ' , {\displaystyle {\frac {1}{4\pi R}}-{\frac {a}{4\pi \rho


R'}},\,} {\displaystyle {\frac {1}{4\pi R}}-{\frac {a}{4\pi \rho R'}},\,}

donde R {\displaystyle R} R es la distancia al punto de la fuente P {\displaystyle


P} P y R ' {\displaystyle R'} {\displaystyle R'} es la distancia al punto reflejado
P ' {\displaystyle P'} P'. Una consecuencia de esta expresi�n para la funci�n de
Green es la f�rmula integral de Poisson. Sea ? {\displaystyle \rho } \rho , ?
{\displaystyle \theta } \theta , y f {\displaystyle \varphi } \varphi las
componentes de coordenadas esf�ricas del punto de la fuente P {\displaystyle P} P.
Aqu� ? {\displaystyle \theta } \theta es el �ngulo con el eje vertical, la cual es
contraria a la notaci�n matem�tica estadounidense, pero cumple con el est�ndar
europeo y la pr�ctica de la F�sica. Entonces la soluci�n de la ecuaci�n de Laplace
dentro de la esfera est� dada por

u ( P ) = 1 4 p a 3 ( 1 - ? 2 a 2 ) ? g ( ? ' , f ' ) sin ? f ' d ? ' d f ' ( a


2 + ? 2 - 2 a ? cos ? T ) 3 / 2 , {\displaystyle u(P)={\frac {1}
{4\pi }}a^{3}\left(1-{\frac {\rho ^{2}}{a^{2}}}\right)\iint {\frac {g(\theta
',\varphi ')\sin \varphi '\,d\theta '\,d\varphi '}{(a^{2}+\rho ^{2}-2a\rho \cos
\Theta )^{3/2}}},\,} {\displaystyle u(P)={\frac {1}{4\pi }}a^{3}\left(1-{\frac
{\rho ^{2}}{a^{2}}}\right)\iint {\frac {g(\theta ',\varphi ')\sin \varphi
'\,d\theta '\,d\varphi '}{(a^{2}+\rho ^{2}-2a\rho \cos \Theta )^{3/2}}},\,}

donde

cos ? T = cos ? f cos ? f ' + sin ? f sin ? f ' cos ? ( ? - ? ' ) .


{\displaystyle \cos \Theta =\cos \varphi \cos \varphi '+\sin \varphi \sin \varphi
'\cos(\theta -\theta ').\,} {\displaystyle \cos \Theta =\cos \varphi \cos \varphi
'+\sin \varphi \sin \varphi '\cos(\theta -\theta ').\,}

Una consecuencia simple de esta f�rmula es que si u {\displaystyle u} u es una


funci�n arm�nica, el valor de u {\displaystyle u} u dentro de la esfera es el valor
medio de los valores sobre la esfera. Esta propiedad de valor medio implica
inmediatamente que funciones arm�nicas no constantes no pueden tomar su valor
m�ximo en un punto interior.
Electrost�tica

En el espacio libre la ecuaci�n de laplace de cualquier potencial electroest�tico


debe ser igual a cero ya que ? {\displaystyle \rho } \rho (densidad de carga
volum�trica) es cero en el espacio libre.

A partir del gradiente del potencial se obtiene el campo el�ctrico

E = - ? V {\displaystyle \mathbf {E} =-\nabla V} {\displaystyle \mathbf {E}


=-\nabla V}

Tomando la divergencia del campo el�ctrico se obtiene la ecuaci�n de Poisson, que


relaciona el potencial el�ctrico con la densidad de carga

? 2 V = - ? e 0 {\displaystyle \nabla ^{2}V=-{\frac {\rho }{\varepsilon _{0}}}}


{\displaystyle \nabla ^{2}V=-{\frac {\rho }{\varepsilon _{0}}}}

En el caso particular del espacio libre ( ? = 0 {\displaystyle \rho =0}


{\displaystyle \rho =0}) la ecuaci�n de Poisson se reduce a la de Laplace.

Usando el teorema de la unicidad y mostrando que un potencial satisface la ecuaci�n


de Laplace (la segunda derivada de V {\displaystyle V} V deber�a ser cero en el
espacio libre) y el potencial tiene los valores correctos en el contorno, el
potencial entonces est� un�vocamente definido.

Un potencial que no satisface la ecuaci�n de Laplace junto con la condici�n de


contorno es un potencial electroest�tico inv�lido.