Introduccin

Las integrales, series y funciones casi siempre surgen en una variedad de problemas fsicos. Al igual que se aprende acerca de las funciones trigonomtricas, logartmicas, etc, y como utilizarlas en problemas aplicados, tambin se debera aprender algo acerca de las funciones especiales y para que se pueden utilizar, adems de comprender su uso a medida que surgen en un trabajo ms avanzado. Una enorme cantidad de detalles se sabe acerca de estas funciones, y se conocen numerosas frmulas que las involucran, se pueden consultar en los libros o se pueden encontrar en algn programa de PC. Nuestro propsito no es estudiarlas de forma intensiva, sino dar definiciones y algunas de las relaciones ms simples, as como mostrar su uso. Esto debe desarrollar la capacidad y confianza para hacer frente a frmulas ms complicadas y, a muchas otras funciones similares que pueden surgir de vez en cuando en los resultados de texto o la computadora. Ahora usted puede estar pensando que su equipo le dar la respuesta de las integrales definidas y de las funciones, as que realmente no es necesario que se moleste en estudiar lo siguiente. Si lo que quieres es una aproximacin numrica, esto puede ser cierto. Sin embargo, en el trabajo terico, donde a menudo se necesita una expresin exacta (por ejemplo en trminos de ) entonces su equipo no le podr dar la forma que usted necesita. o o

La Funcin Gamma
1.1. La Funcin Factorial (Herramienta para entender la Funcin Gamma)
Vamos a calcular los valores de algunas integrales. Para Diferenciando ambos lados de esta ecuacin en varias ocasiones con respecto a : ,

O en general Evaluando , tenemos As pues, tenemos una integral definida, cuyos valores es para el entero positivo . Podemos usar (1.3) para dar un sentido a . Poniendo en (1.3), obtenemos

1.2. Definicin de la funcin Gamma; (Relacin Recursiva)

Hasta el momento ha sido un entero no negativo, es natural para definir la funcin factorial para un no entero por la integral definida (1,3). No hay ninguna objecin a la anotacin para el no entero (y de vez en cuando es usado), pero se acostumbra a reservar la notacin factorial para el entero y llamar a la funcin correspondiente para el no entero la funcin gamma . Tambin es una prctica bastante comn para reemplazar a por la letra cuando no necesariamente significa un nmero entero. A raz de estas convenciones, se define, para cualquier . Para se trata de una integral impropia porque se hace infinita en el lmite inferior. Sin embargo, es una integral convergente para . Para , la integral diverge y no puede ser utilizado para definir , veremos en la seccin 1.4 cmo definir cuando . Entonces, de (3.1) y (2.3) tenemos:

Entonces

Algunos autores utilizan la notacin factorial entero; Lo que evita las molestias de la . Vamos a integrar (1.7) por partes, llamando

a pesar de que

no es un nmero

, entonces tenemos:

Esta ecuacin

Se llama la relacin recursiva de la funcin Se puede utilizar para simplificar expresiones que incluyen funciones gamma o para escribirlas de forma diferente (tal como utilizar las identidades trigonomtricas).

1.3. La Funcin Gamma de los Nmeros Negativos

Para , hasta ahora no ha sido definida. Vamos a definirla por la relacin recursiva (1.8) para resolver

Que define Ejemplo.

para

Y as sucesivamente. Puesto que

, vemos que

De esto y sucesivamente usado de (1.9) se deduce que se vuelve infinita, no slo en cero, sino tambin en todos los nmeros enteros negativos. En los intervalos entre los nmeros enteros negativos, es alternativamente positiva y negativa, negativo de 0 a -1, positivo de -1 a -2, y as sucesivamente, como se puede ver a partir de clculos, como los de y vistos anteriormente.

1.4. Algunas Frmulas Importantes Relacionadas con las Funciones Gamma

Primeramente evaluamos Por definicin ( )

(Hay que tener en cuenta que no importa qu letra se utiliza para la variable muda de integracin en una integral definida) Poner en (5.1), y luego , entonces (1.10) se convierte en: ( )

, con como la variable de integracin ficticia, ( ) Multiplicando estas dos integrales de para una integral doble: [ ( )] juntndolas y escribiendo el resultado como

Esta es una integral sobre el primer cuadrante, y puede ser ms fcilmente evaluada en coordenadas polares: [ ( )] Por lo tanto, ( ) |

Expresamos aqu otra frmula importante que envuelve a la funcin :

Tenga en cuenta que (1.13) tambin se obtiene

( )

si hacemos

La Funcin Beta
La funcin tambin puede ser definida por una integral: Hay una serie de transformaciones simples de (6.1) que son tiles para saber (vase 2.3, 2.4, 2.5).

El intervalo de integracin en (2.1) se puede cambiar poniendo corresponde a , y (2.1) se convierte en: ( ) ( )

entonces

Para obtener la forma trigonomtrica de la funcin beta, se deja en trminos entonces,

Con estas sustituciones, (2.1) se convierte en

Finalmente, dejando

en (2.1) entonces obtenemos

2.1. La Funcin Beta en Trminos de la Funcin Gamma

La funcin Beta es fcilmente expresada en trminos de Funciones Gamma. Vamos a demostrar que

De esto podemos evaluar a la Funcin Para probar (2.6), empezaremos con

en trminos de la funcin

(revisar el ejemplo de abajo)

Y poniendo . Entonces tenemos Del mismo modo (recordando que la variable de integracin ficticia puede ser cualquier letra), En seguida multiplicamos estas dos ecuaciones y cambiamos a coordenadas polares:
( )

La integral de Entonces Ejemplo: Encontrar Esto es de (6.5) con esto es, en (2.8) es

por (2.7). La integral de y (2.6) sigue.

in (2.8) es

por (2.4).

Entonces

Por (2.6),

La Funcin Bessel
Las Funciones de Bessel aparecen en una amplia variedad de problemas fsicos. La separacin de la Helmholtz, o una onda, la ecuacin en coordenadas cilndricas llevaron a la ecuacin de Bessel. Veremos que la ecuacin de Helmholtz en coordenadas polares esfricas tambin conduce a una forma de la ecuacin de Bessel. Las funciones de Bessel tambin pueden aparecer en integral una representacin de forma integral. Las funciones de Bessel estn estrechamente relacionadas con formar una zona rica de anlisis matemtico con las representaciones de muchas, muchas propiedades interesantes y tiles.

3.1. Funcin Generadora de Orden Entero

Aunque las funciones de Bessel son de inters principalmente como soluciones de ecuaciones diferenciales, es un instructivo y muy prctico para su desarrollo desde un enfoque completamente diferente, el de la generacin de una funcin. Este enfoque tiene la ventaja de centrarse en las funciones as como en las ecuaciones diferenciales que se satisfacen. Vamos a introducir una funcin de dos variables,
( )( )

La expansin de esta funcin en una serie de Laurent, obtenemos

( )( )

Es instructivo comparar la ecuacin. (3.2) con las ecuaciones equivalentes. (3.23) y (3.25). El coeficiente de , se define como una funcin de Bessel de primer tipo, de la integral de orden . De la expansin de los exponentes, tenemos un producto de la serie de Maclaurin en y , Respectivamente,

( )

( )

Aqu, el ndice de suma se cambia a , con y los lmites de la sumatoria a , y el orden de las sumas se intercambia, que se justifica por una absoluta convergencia. El rango de la sumatoria de se convierte de a , mientras que la suma se extiende desde el a . Para un dado que obtenemos de :

( ) El coeficiente de es entonces ( )

( )

La forma de esta serie exhibe es el comportamiento de la funcin de Bessel y permite una evaluacin numrica de Los resultados para , y figura. 3.1.

para pequeas se muestran en la

Fig. 3.1 Funcin Bessel,

Si queremos con una precisin de 1%, el primer trmino de la ecuacin (3.5) ser suficiente, siempre que la relacin del segundo trmino a la primera sea inferior a 1% (en magnitud) o . Las funciones Bessel oscilan, pero no peridicamente, excepto en el lmite cuando . La amplitud de no es constante sino que disminuye asintticamente como . Para , la ecuacin. (3.5) da Puesto que es un nmero entero (aqu), serie puede ser considerada para iniciar con ( ) para . Remplazando de por ( ) De ah que la , obtenemos

mostrando inmediatamente que relacionadas por

no son independientes sino que estn

Estas expresiones de la serie (ecuaciones (3.5) y (3.6)) se puede utilizar con definiendo y para no entera.

remplazada por

3.2. Relaciones de Recurrencia

Las relaciones de recurrencia para y sus derivadas se pueden obtener operando en la serie, de la ecuacin. (3.5), aunque esto requiere un poco de clarividencia (o un mucho de ensayo y error). La verificacin de las relaciones de recurrencia conocidas es sencillo. Aqu es conveniente para ellos obtener de la funcin generatriz, . Diferenciando ambos lados de la ecuacin. (3.1) con respecto a , nos encontramos con que ( )
( )( )

y sustituyendo la ecuacin. (3.2) de la exponencial e igualando los coeficientes de potencias semejantes de , obtenemos

Esta es una relacin de recurrencia de tres trminos. Dado y , por ejemplo, (y cualquier otro Jn fin integral) se puede calcular. Diferenciando la ecuacin. 3.1) con respecto a , tenemos ( )
( )( )

Una vez ms, sustituyendo en la ecuacin. (3.2) e igualando los coeficientes de potencias iguales de , se obtiene el resultado

Como un caso especial de esta relacin de recurrencia general

La adicin de ecualizadores. (3.10) y (3.12) y dividiendo por 2, tenemos

Multiplicando por

y reordenando trminos produce

Restando la ecuacin. (3.12) de la ecuacin. (3.10) y dividiendo por 2 se obtiene

Multiplicando por

y reordenando los trminos, obtenemos [ ]

3.3. La Ecuacin Diferencial de Bessel

Supongamos que consideramos un conjunto de funciones que satisfaga las relaciones de recurrencia bsicas (Ecuaciones (3.10) y (3.12)), pero con no necesariamente un nmero entero y no necesariamente propuesta por la serie (Ec. (3.5)). La ecuacin (3.14) se puede reescribir como

En la diferenciacin con respecto a , tenemos

Multiplicando por

y luego restando la ecuacin. (3.18) multiplicado por nos da

Ahora volvemos a escribir la ecuacin. (3.16) y sustituir

por

Usando la ecuacin. (3.21) para eliminar

de la ecuacin. (3.20), finalmente llegamos

que es la Ecuacin Diferencial Ordinaria de Bessel. Por lo tanto las funciones ) que satisfacen las relaciones de recurrencia (Ecuaciones (3.10) y (3.12), (3.14) y (3.16), o (3.15) y (3.17) satisfacen la ecuacin de Bessel, es decir, la desconocida son funciones de Bessel. En particular, hemos demostrado que de la funciones , definida por nuestra funcin generadora de satisfacer las EDO de Bessel. Si el argumento es en lugar de , la ecuacin. (3.22) se convierte en

La Funcin de Hermite
4.1. Funcin Generadora Polinomios de Hermite
Los polinomios de Hermite (Fig. 4.1) pueden ser definidos por una funcin generadora,

Fig. 4.1 Polinomios de Hermite

4.2. Relaciones de recurrencia

Ntese la ausencia de un exponente, que distingue a los polinomios de Hermite de la relacin con las funciones de Hankel. De la funcin de generacin nos encontramos con que los polinomios de Hermite satisfacen las relaciones de recurrencia

La ecuacin (4.2) se obtiene diferenciando la funcin generada con respecto a t:

que se puede reescribir como [ ]

Debido a que cada coeficiente de esta serie de potencias se desvanece, la ecuacin. (4.2) se ha establecido. De manera similar, diferenciando con respecto a se da lugar a que da la ecuacin. (4.3) al desplazar el ndice de suma en la ltima suma .

La expansin de Maclaurin de la funcin generatriz

da y , y entonces la ecuacin de recursin (4.2) permite la construccin de cualquier deseado (entero ). Para tener una referencia conveniente los primeros polinomios de Hermite se listan en la Tabla 4.1.

Tabla 4.1 Polinomios de Hermite

Los valores especiales de los polinomios de Hermite se derivan de la funcin generatriz de

es decir,

Tambin se obtiene a partir de la funcin de generatriz la importante relacin de paridad

sealando que la ecuacin (4.1) se obtiene

4.3. Representaciones Alternativas

La representacin de Rodrigues de es

Funciones de Laguerre
5.1. La Ecuacin Diferencial de los Polinomios de Laguerre
Si partimos de la apropiada funcin generatriz, es posible desarrollar lo polinomios de Laguerre en analoga con los polinomios de Hermite. Alternativamente, una solucin de series puede ser desarrollada. En su lugar, para ilustrar una tcnica diferente, vamos a empezar con la Ecuacin Diferencial Ordinaria de Laguerre y obtener una solucin en la forma de una integral de contorno, como se hizo con la representacin integral de la funcin de Bessel modificada K (x). A partir de esta representacin integral la funcin generatriz se deriva. La EDO de Laguerre (que se deriva de la EDO radial de la PDE de Schrdinger para el tomo de hidrgeno) es

Trataremos de representar , o bien negativo, por la integral de contorno

, puesto que y depender del parmetro , un entero no

y demostrar que cumple con la EDO de Laguerre. El contorno incluye el origen, pero no incluye el punto . Al diferenciar el exponencial en la ecuacin. (5.2a) obtenemos

Sustituyendo en el lado izquierdo de la ecuacin. (5.1), obtenemos [ que es igual a * + ]

Si integramos nuestro diferencial perfecto alrededor de un contorno cerrado (Fig. 5.1), la integral desaparece, por lo tanto al verificar que (Ec. (5.2a)) es una solucin de la ecuacin de

Laguerre. Se ha convertido en una costumbre para definir

, el polinomio de Laguerre (Fig. 5.2), por

Fig. 5.1 Contorno polinomial de Laguerre

Fig. 5.2 Polinomios de Laguerre

Esto es exactamente lo que obtendramos de la serie

si se multiplica por e integrados en torno al origen. Como en el desarrollo del clculo de los residuos, slo el trmino en la serie sobrevive. En esta base, identificamos como la funcin generatriz de los polinomios de Laguerre.

Con la transformacin

el nuevo contorno que encierra el punto (Para las derivadas), en el plano Por la frmula integral de Cauchy

Obteniendo la frmula de Rodrigues para los polinomios de Laguerre. A partir de estas representaciones de encontramos la forma de la serie (para n entero), * +

y los polinomios especficos listados en la Tabla 5.1 Aclaran, la definicin de los polinomios de Laguerre en las ecuaciones (5.4), (5.5), (5.8) y (5.9) son equivalentes. Las aplicaciones prcticas que deciden qu enfoque se utiliza como un punto de inicio. La ecuacin (5.8) es la ms conveniente para la generacin de la tabla 5.1, la ecuacin (5.5) para derivar la relacin de recursividad de la cual la EDO (5.1) se recupera. Al diferenciar la funcin de generar en la ecuacin (5.5) con respecto a y , obtenemos las relaciones de recurrencia para los polinomios de Laguerre de la siguiente manera. Usando la regla del producto para la diferenciacin verificamos la identidad

Tabla 5.1 Polinomios de Laguerre

Escribiendo los lados izquierdo y derecho de la identidad por primera vez en trminos de polinomios de Laguerre usando la ecuacin (5.5) obtenemos [ ]

[ Igualando los coeficientes de rendimiento de

Para obtener la segunda relacin recursiva usamos tanto las identidades de la ecuacin (5.10) para verificar la tercera identidad,

que, cuando se escribe de manera similar en trminos de polinomios de Laguerre, se ve que es equivalente a

La ecuacin (5.10) modificada para la lectura [ ]

por razones de economa y la estabilidad numrica, se utiliza para el clculo de valores numricos de El equipo se inicia con los conocidos valores numricos de y , Tabla 5.1, y funciona paso a paso. Esta es la misma tcnica discutida para la computacin con Polinomios de Legendre. Adems, a partir de la ecuacin. (5.5) nos encontramos con

que produce los valores especiales de los polinomios de Laguerre

Como se ve por la forma de la funcin generatriz, a partir de la forma de la EDO de Laguerre, o de la Tabla 5.1, los polinomios de Laguerre no tienen simetra impar, ni siquiera bajo la transformacin de la paridad . La EDO de Laguerre no es autoadjunto, y los polinomios de Laguerre no lo hacen por si mismos formando un conjunto ortogonal. Sin embargo, si multiplicamos la ecuacin (5.1) por obtenemos Esta ortogonalidad es una consecuencia de la teora de Sturm-Liouville. La normalizacin desprende de la funcin generatriz. A veces es conveniente definir ortogonalidad con las Funciones de Laguerre (con la funcin de unidad de peso) por

Nuestra nueva funcin ortonormal,

satisface la EDO ( )

lo que se ve que tiene la (auto-adjuncin) de la forma de Sturm-Liouville. Ntese que el intervalo debido a que las condiciones de frontera de Sturm-Liouville se cumplen en sus criterios de valoracin.

5.2. Polinomios de Laguerre Asociados

En muchas aplicaciones, sobre todo en la mecnica cuntica, necesitamos asociar los polinomios de Laguerre definidos por

Desde la forma de serie de estn dadas por

se verifica que los polinomios asociados de Laguerre

En general, Una funcin generadora puede ser desarrollada por la diferenciacin de la funcin generadora de Laguerre veces para dar

) ,

A partir de los dos ltimos miembros de esta ecuacin, la cancelacin del factor comn obtenemos

A partir de esto, para

, la expansin binomial ( )

los rendimientos

Las relaciones de recurrencia pueden ser derivadas de la funcin de generadora diferenciando la relacin de recurrencia de los polinomios de Laguerre. Entre las numerosas posibilidades son

De este modo, se obtiene a partir de la primera derivada de la EDO de Laguerre,

y, finalmente, a partir de la diferenciacin de la EDO de Laguerre

veces

Ajustando el ndice

, tenemos la EDO asociada de Laguerre

Cuando los polinomios asociados de Laguerre aparecen en un problema fsico por lo general es debido a que el problema fsico consiste en la ecuacin (5.26). La aplicacin ms importante es la envolvente a los estados del tomo de hidrgeno, que se derivan en seguida. Una representacin de Rodrigues del polinomio asociado de Laguerre ( )

Se puede obtener a partir de la sustitucin de la ecuacin.(5.8) en la ecuacin (5.19). Ntese que todas estas frmulas de polinomios de Legendre asociadas se reducen a las expresiones correspondientes para cuando . La ecuacin asociada de Laguerre (5.26) no es auto-adjunta, pero se puede poner en auto-adjunta la forma de multiplicar por , que se convierte en la funcin de ponderacin. As obtenemos La ecuacin (5.28) muestra el mismo intervalo de ortogonalidad que el de los polinomios de Laguerre, pero con una nueva funcin de ponderacin que obtenemos una nueva serie de polinomios ortogonales, los polinomios asociados de Laguerre. Al permitir que ( El satisfaga la ecuacin diferencial autoadjunta )

a veces se llama funcion de Laguerre. La ecuacin (5.16) es el caso especial de la ecuacin (5.28). Una forma til ms se da por definir

La sustitucin en la ecuacin asociada de Laguerre es

( La integral de normalizacin correspondiente | [ ] |

) es

Observe que el no forma un conjunto ortogonal (excepto con como una funcin de ponderacin) debido a la en el trmino . (Las funciones de Laguerre en que los ndices y no son nmeros enteros, se puede definir con una funcin hipergeomtrica.

Funciones de Legendre
6.1. Funcin Generadora
Los polinomios de Legendre aparecen en muchas situaciones diferentes en matemticas y fsica. (1) Es posible que se originaron como soluciones de la EDO de Legendre, que hemos encontrado hasta ahora en la separacin de variables para la ecuacin de Laplace, de Helmholtz, y en similares EDO en coordenadas esfricas. (2) Se introduce como una consecuencia de la frmula A de Rodrigues. (3) Se originan como consecuencia de exigir un juego completo de funciones ortogonales en el intervalo [-1, 1] (ortogonalizacin de Gram-Schmidt). (4) En la mecnica cuntica (en realidad los armnicos esfricos, Secciones 12.6 y 12.7) en la cual estas representan las funciones propias del momento angular. (5) Se generan por una funcin generatriz. Se presentan en seguida los polinomios de Legendre por medio de una funcin generadora.

6.2. Bases Fsicas de la Electrosttica

Al igual que con las funciones de Bessel, es conveniente introducir los polinomios de Legendre mediante de una funcin de generacin, que aqu se presenta en un contexto fsico. Considere la posibilidad de que una carga elctrica colocada en el eje en . Como se muestra en la fig. 6.1, el potencial electrosttico de carga es

Queremos expresar el potencial electrosttico en funcin de las coordenadas polares esfricas y (la coordenada est ausente debido a la simetra respecto al eje ). Utilizando la ley de cosenos en la figura 6.1, se obtiene

Fig. 6.1 Potencial Electrosttico.

Carga

desplazada del origen.

6.3. Los Polinomios de Legendre

Consideremos el caso de , o ms precisamente, | |. El radical en la ecuacin (6.2) se puede desarrollar en una serie binomial y luego reorganizarlo en potencias de . El polinomio de Legendre (ver fig. 6.2) se define como el coeficiente de la ensima potencia en ( )

Fig 6.2 Polinomios de Legendre La eliminacin factor del tenemos y el usando y en lugar de

y y , respectivamente,

La ecuacin (6.4) es nuestra frmula de la funcin generadora. En la seccin siguiente se muestra que , lo que significa que la expansin de la serie (Ec. (6.4)) es convergente para . De hecho, la serie es convergente para , excepto para . En aplicaciones fsicas ec. (6.4) aparece a menudo en la forma vectorial.

 Donde

( )

Usando el teorema del binomio, podemos ampliar la funcin de generacin como

Para los primeros polinomios de Legendre, por ejemplo, , y , tenemos que los coeficientes de , , y . Estas potencias de aparecen slo en los trminos y , y por lo tanto, podemos limitar nuestra atencin a los tres primeros trminos de la serie infinita:

Luego, a partir de la ecuacin (6.4) (y la singularidad de las series de potencias),

Repetimos este escaso desarrollo en un marco de vectores ms adelante en esta seccin. En el empleo de un tratamiento general, nos encontramos con que la expansin binomial de el factor de brinda una serie doble

 modificando el orden de la suma, la ecuacin. (6.6) se convierte

[ ]

con la independencia del ndice . Ahora, lo que equivale a nuestras dos series de potencias (ecuaciones (6.4) y (6.7)) trmino a trmino, tenemos
[ ]

Por lo tanto, para par, slo tiene potencias de paridad impar para impar.

pares, y paridad par, y potencias impares y

6.4. Multipolos lineales

Volviendo a la carga elctrica en el eje , se demuestra la utilidad y el poder de la funcin de generatriz mediante la adicin de una carga q en , como se muestra en la fig. 6.3. El potencial se convierte en ( )

Fig. 12.3 Dipolo Electrico. y usando el teorema del coseno, tenemos Claramente, el segundo radical es igual que el primero, excepto que uno ha sido reemplazado por . Entonces, usando la ecuacin. (6.4), obtenemos

,[

( )

( ) ]

[ ) es

( )

( ) ]

El primer trmino (y el trmino dominante para

que es el potencial dipolar elctrico, y es el momento dipolar (fig. 6.3). Este anlisis puede extenderse mediante la colocacin de cargas adicionales en el eje de modo que el trmino , as como el termino (monopolo), se cancela. Por ejemplo, las cargas de en ,y , en da lugar a un potencial de expansin cuya serie se inicia con . Este es un cuadripolo elctrico lineal. Dos cuadrupolos lineales pueden ser colocados de manera que el trmino cuadrupolar se cancela, pero sobrevive a la , trmino octopolar.

6.5. Expansin Vectorial

Consideramos que el potencial electrosttico producido por una carga distribuida :

Esta expresin ya ha aparecido anteriormente. Tomando el denominador del integrando, con la primera ley de los cosenos y luego una expansin binomial. *

)+

( ) +

(Para , y , la ec. (12.12b) se reduce a la funcin generatriz, ecuacin (6.4).) El primer trmino en los corchetes, 1, se obtiene un potencial de

La integral es la carga total. Esta parte del potencial total es un monopolo elctrico. La forma del segundo trmino es

donde la integral es el momento dipolar cuya densidad de carga es ponderada por un momento brazo de . Tenemos un potencial dipolar elctrico. Para los estados nucleares o atmicos de paridad definitiva, es una funcin par y el integrante del dipolo es igual a cero. Los dos ltimos trminos, de orden coordenadas cartesianas: , pueden ser manejados mediante el uso de

fuera de las integrales ]

Reorganizando las variables para tomar los componentes [

Este es el trmino cuadrupolar elctrico. Tomamos nota de que el corchete en el integrando forma una simtrica. Una expansin general multipolar electrosttica tambin puede ser desarrollada por medio de la ecuacin (6.12a) para el potencial y la sustitucin de por la funcin de Green. Esta obtiene el potencial como una serie (doble) de armnicos esfricos )