Sie sind auf Seite 1von 11

UNIVERSIDAD AUTONOMA DE SINALOA

FACULTAD DE INGENIERIA MOCHIS


INGENIERIA GEODESICA

INVESTIGACION: FUNCIONES DE LEGENDRE,


CLASIFICACION DE LOS ARMONICOS ESFERICOS Y EL
PROBLEMA DE DIRICHLET
MATERIA: GEODESIA FISICA
PROFESOR: ING. MANUEL PEREZ
ALUMNO: SANCHEZ COYAC JORGE SAMUEL

Los Mochis, Sin. Agosto de 2015

1. POLINOMIOS Y FUNCIONES DE LEGENDRE.


Una variedad de las funciones especiales que se encuentra en la solucin de problemas
fsicos es la clase de funciones llamadas Polinomios de Legendre. Son la solucin a una
ecuacin diferencial muy importante llamada ecuacin de Legendre:

Los polinomios se indican por medio de Pn(x) , llamados polinomio de Legendre de orden
n. Los polinomios pueden ser tanto funciones par como impar de x, para ordenes de n par o
impar. Abajo se muestran los primeros polinomios.

La forma general de un polinomio de Legendre de orden n est dado por el sumatorio:

De los polinomios de Legendre se pueden generar otra clase importante de funciones para
los problemas fsicos, las funciones de Legendre asociadas.
La ecuacin toma su nombre de Adrien Marie Legendre (1752-1833), un matemtico
francs que fu profesor en Pars en 1775. Realiz importantes contribuciones a las
funciones especiales, integrales elpticas, teora de nmeros y el clculo de variaciones.
(Kreyszig).

1.1.

FUNCIONES DE LEGENDRE ASOCIADAS.

De los polinomios de Legendre se pueden derivar una clase importante defunciones


especiales, llamadas funciones de Legendre asociadas. La frmula que los define es

donde Pn(x) es el polinomio de Legendre de orden n. Estas funciones son de gran


importancia en la fsica cuntica, porque aparecen en las soluciones de la ecuacin de
Schrodinger en coordenadas polares esfricas. En ese contexto, la variable x se reemplaza
por cos, donde es el ngulo que forma con la latitud. Tambin en aquel contexto, las
funciones de ondas que son soluciones a la ecuacin de Schrodinger, necesitan
ser normalizadas, de modo que la lista de funciones de abajo, incluirn el factor de
normalizacin

Las funciones normalizadas son de la forma

y aparecen en la funcin de onda del tomo de hidrgeno. Abajo se listan las primeras
pocas funciones de Legendre asociadas.

Las funciones de Legendre asociadas se pueden usar para construir otro conjunto
importante de funciones, las armnicas esfricas.
2. CLASIFICACION DE LOS ARMONICOS ESFERICOS.
Una variedad de las funciones especiales que se encuentra en la solucin de problemas
fsicos es la clase de funciones llamadas armnicas esfricas.

Las funciones en esta tabla estn colocadas de la forma apropiada para la solucin de la
ecuacin de Schrodinger en el pozo de potencial esfrico, pero tambin ocurren en otros
problemas fsicos. La dependencia del ngulo de colatitud en coordenadas polares
esfricas es una forma modificada de lasfunciones de Legendre asociadas.
En la bibliografa anexo un linck que me parecio intereante sobre la clasificacin de los
armnicos esfricos ortonormalizados que utilizan la convencin de Condon-Shortley para
la fase, hasta el grado l=10. Algunas de estas frmulas estn dadas en su versin
"Cartesiana". En dichas coordenadas x, y, z, se relacionan con , y mediante el sistema
usual de cambio de coordenadas:
3. EL PROBLEMA DE DIRICHLET.
El problema de Dirichlet como herramienta: resolver este problema implica el teorema de
uniformizacin de Riemann y, junto con este, el teorema de Schwartz, que enuncia que una
superficie de Riemann homeomorfa a la esfera es biholomorfa a la esfera.
Una funcin de clase
siguiente ecuacin: Si escribimos

entonces
entorno de

Por ejemplo, dado


privado de

donde

es un abierto de

la funcin

es armnica si verifica la

es armnica en un

El problema de Dirichlet enuncia entonces como sigue:


Problema de Dirichlet. Dado un subconjunto del plano complejo
y dada una funcin
continua
existe una funcin
que coincide con en
y es
armnica en el interior de ?

Este problema tiene una respuesta afirmativa en un contexto muy general pero para
nosotros ser suficiente admitir que:
El problema tiene solucin cuando
curva cerrada simple.

es simplemente conexo, acotado y su borde es una

EJEMPLO. Sean un abierto de y


una funcin continua, decimos que
es holomorfa si para todo
el siguente lmite existe:

Es fcil ver que una tal es diferenciable y si escribimos


(donde
) entonces y verifican las llamadas ecuaciones de Cauchy-Riemann:

y
Un clculo directo implica que

son funciones armnicas:

El recproco es tambien cierto bajo restricciones topolgicas a


Proposicin. Sea
entonces existe

un abierto simplemente conexo y


tal que
es holomorfa en

una funcin armnica,

La prueba puede encontrarse en estas notas junto con el principio del mximo para
funciones armnicas:

Proposicin.[Prinicipio del mximo] Sea


continua en y armnica en el
interior de Si tiene un extremo local en el interior de entonces es constante.
Veamos ahora como una solucin al problema de Dirichlet implica el teorema de
uniformizacin de Riemann en ciertos casos:

Teorema.[Uniformizacin de Riemann] Sea un abierto simplemente conexo de que


suponemos acotado y cuyo borde es una curva simple, entonces existe una funcin
biholomorfa de en el disco unidad.

Decimos en este caso que

es conformemente un disco.

Demostracin. Fijamos un punto en y consideramos la solucin al problema de


Dirichlet
armnica con condicin de borde
para todo
La funcin
a en
El principio
estrictamente positiva en

Sea armnica tal que


conexo). Afirmamos que

es armnica en
del mximo implica

tiende a cero en el borde


entonces que

es holomorfa (es ac que usamos que

es simplemente

es un biholomorfismo entre y el disco unitario. Primero mostremos que la


que la imagen de est contenida en el disco. Para esto observamos que

por lo observado anteriormente. Adems

y
es

, o sea

es abierta por ser holomorfa y es propia:

implica
Tenemos entonces que la imagen de es abierta y cerrada, por tanto
Para mostrar que es inyectiva vemos que el cardinal de la preimagen de
es propia) y puede calcularse con el principio del argumento:

(ceros de

es sobreyectiva.
es finito (

con multiplicidad)

tenemos entonces que


es localmente constante, o sea constante porque el disco en
conexo, concluimos observando que la preimagen del tiene un solo elemento,
Nos dirigimos ahora a probar el teorema de Schwartz:
Teorema.[Schwartz] Sea una superficie de Riemann homeomorfa a la esfera, entonces
es biholomorfa a la esfera.

Empezamos por admitir el siguiente lema topolgico:


Lema. Podemos cubrir la esfera por abiertos simplemente conexos
arbitrariamente pequeo tales que

es topolgicamente un disco para todo


un anillo.

de dimetro

es topolgicamente

El teorema de Schwartz se obtiene entonces aplicando sucesivamente el siguiente teorema:


Teorema. Sean y discos conformes en una superficie de Riemann. Si
topolgicamente un disco entonces
es un disco conforme, si
topolgicamente un anillo entonces
conformemente equivalente a la esfera.

es
es

Vamos a probar la segunda afirmacin de teorema, o sea el caso cuando


es un anillo.
Para simplificar notacin suponemos que es el disco unidad. Como
es un anillo
tenemos que
es una curva cerrada simple contenida en el interior de y
est
totalmente contenido en el interior de
El objetivo es encontrar una funcin meromorfa
ste de orden
Vamos a buscar entonces una funcin armnica
de

con un nico polo en

que ser la parte real

La idea entonces es aplicar sucesivamente el problema de Dirichlet como sigue:


Consideramos
y

armnica con

la parte real de

dada por

Tenemos que es armnica en


y vale 0 en el borde de Definimos
como la solucin al problema de Dirichlet con condicin de borde

Dada entonces
armnica en definimos
problema de Dirichlet en con condicin de borde
armnica en con condicin de borde

como la solucin al
y definimos

A partir del principio del mximo tenemos la siguiente cadena de desigualdades:

Admitimos un nuevo lema tcnico que dice que podemos mejorar la ltima desigualdad:

Tenemos entonces que las series


y
convergen uniformemente en compactos a
Ponemos entonces
armnica en

Anlogamente

de donde

son mayoradas por


y armnicas en y

armnica en

y por tanto
respectivamente.

Observamos que

coniciden en todo el anillo

La funcin que vale en


y en es armnica en
orden
Tenemos entonces la funcin buscada.

y en cero es del

WEBGRAFIA.

http://hyperphysics.phy-astr.gsu.edu/hbasees/math/legend.html

http://hyperphysics.phy-astr.gsu.edu/hbasees/math/sphhar.html#c1

https://es.wikipedia.org/wiki/Anexo:Tabla_de_arm%C3%B3nicos_esf
%C3%A9ricos (TABLA ANEXA)

https://coloquiooleis.wordpress.com/2009/06/15/dirichlet/

Das könnte Ihnen auch gefallen