Documente Academic
Documente Profesional
Documente Cultură
Pues bien, suponiendo que para tiempos grandes se alcanza una solucin
estacionaria independiente del tiempo, tendremos ut= 0 y la ecuacin resultante
ser
u = 0,
Que es una ecuacin de tipo elptico, la ecuacin de Laplace, a la que habr que
aadir las condiciones de contorno adecuadas si el sistema es nito. La ecuacin
ms frecuente de este tipo es la llamada ecuacin de Laplace, la cual, en el caso
bidimensional, es uxx + uyy = 0
Sobre cierta regin del plano. La funcin u se llama armnica en la regin si
satisface a la ecuacin de Laplace en dicha regin y es continua en dicha regin
conjuntamente con sus derivadas hasta segundo orden. La ecuacin de Laplace
es satisfecha tambin por el potencial gravitatorio o el potencial electrosttico en la
regin en tanto no haya una distribucin de masa o carga ( = 0) en .En el
caso de la ecuacin de Laplace los problemas de contorno que interesa resolver
son el problema de Dirichlet y el problema de Neumann.
Dada una regin del plano y una funcin f(x, y) denida sobre la frontera de ,
el problema de Dirichlet para la ecuacin de Laplace consiste en hallar la funcin
u(x, y) que satisface la ecuacin
Tradicionalmente las condiciones de contorno en problemas elpticos reciben
nombres de personas. Las condiciones de contorno de primera especie (jar el
valor de la solucin que se va buscando en la frontera), junto con la ecuacin en
derivadas parciales, denen lo que se denomina problema de Dirichlet. Las
condiciones de contorno de segunda especie (jar el valor de la derivada de la
funcin respecto de la normal en la frontera, u/n), junto con la edp2, denen el
denominado problema de Neumann. Conviene indicar que no puede elegirse una
funcin cualquiera para esta derivada en la frontera, se requiere el cumplimiento
de la siguiente condicin de coherencia:
Las condiciones de contorno de tercera especie son en general menos habituales
en problemas elpticos, pero cuando aparecen se suelen denominar problema de
Robn
Separacin de variables, problema de Sturm-Liouville, valores y
funciones propias, integrales ortogonales
El mtodo de separacin de variables se refiere a un procedimiento para encontrar
una solucin completa particular para ciertos problemas que involucran
ecuaciones en derivadas parciales como serie cuyos trminos son el producto de
funciones que tienen las "variables separadas". Es uno de los mtodos ms
productivos de la fsica matemtica para buscar soluciones a problemas fsicos
descritos mediante ecuaciones diferenciales de derivadas parciales.
El mismo nombre se aplica a la forma de buscar soluciones de ecuaciones
diferenciales ordinarias de cierto tipo que permite resolverlas por cuadraturas de
funciones que contienen las variables separadas. El mtodo sirve para encontrar
soluciones parciales completas, no soluciones generales, dependientes de un
conjunto numerable de constantes arbitrarias, lo cual permite resolver tanto
problemas de valor inicial como problemas de frontera e incluso problemas que
involucran condiciones de los dos tipos
Para ilustrar el mtodo se consideran ecuaciones diferenciales en derivadas
parciales homogneas con dos variables independientes y condiciones de frontera
tambin homogneas. En las siguientes secciones se discutirn los requerimientos
y se discutirn casos ms generales. La descripcin del procedimiento en esta
seccin se har simultneamente para los tres tipos cannicos de ecuaciones en
derivadas parciales de segundo orden (ecuaciones elpticas, parablicas e
hiperblicas), especificando las condiciones iniciales (CI) y condiciones de frontera
(CF) para cada caso.
El caso hiperblico sera de la forma:
El caso parablico sera de la forma:
Y el caso elptico sera de la forma:
* PROBLEMA DE STURM-LIOUVILLE
En matemticas, una ecuacin de Sturm-Liouville, que toma su nombre
de Jacques Charles Franois Sturm (1803-1855) y Joseph Liouville (1809-1882),
es una ecuacin diferencial lineal de segundo orden de la forma
Donde las funciones estn prescritas, y en el caso ms simple
son continuas en un intervalo finito cerrado . El problema generalmente viene
formulado con condiciones de frontera, es decir, valores especficos
de y/o en los extremos . La funcin es llamada funcin de densidad
o funcin de peso.
El valor de no se especifica en la ecuacin; el encontrar los valores donde
exista una solucin no trivial de la ecuacin que satisfaga condiciones de frontera
se denomina el problema de Sturm-Liouville (S-L).
Tales valores de son llamados valores propios o eigen valores del problema de
S-L que plantea conjuntamente con las condiciones de frontera. Las soluciones
correspondientes son las funciones propias o las eigen funciones o los eigen
vectores del problema. Bajo suposiciones normales en los coeficientes de las
funciones , stas inducen operadores
diferenciales hermticos en algunas funciones definidas por las condiciones de
frontera. La teora resultante de la existencia y el comportamiento asinttico de los
valores propios, la teora cualitativa correspondiente de las funciones propias y sus
funciones adecuadas completas se conoce como teora de Sturm-Liouville. Esta
teora es importante en matemtica aplicada, donde los problemas S-L ocurren
muy comnmente, particularmente al resolver ecuaciones diferenciales parciales
con separacin de variables
Cuando las condiciones de frontera son regulares de la forma
Donde es diferenciable, las funciones son continuas y las
funciones son positivas sobre el intervalo , y los
valores estn en el intervalo la teora nos indica que
- Los valores propios del problema de S-L, son valores reales y bien
ordenados en el sentido de que .
- A cada valor propio le corresponde una nica funcin
propia y tiene exactamente ceros en la frontera .
- Las funciones propias son mutuamente ortogonales y satisfacen la relacin de
ortogonalidad
Donde es la funcin de peso.
* INTEGRALES ORTOGONALES
- Un conjunto ortonormal puede ser formado si el conjunto de funciones propias
satisface la relacin de ortogonalidad
Donde es la delta de Kronecker.
- Los valores propios del problema de S-L pueden ser caracterizados por
el cociente de Rayleigh
1.3.2 SUPERPOSICION DE SOLUCIONES
El principio de superposicin o teorema de superposicin es un resultado
matemtico que permite descomponer un problema lineal en dos o ms
subproblemas ms sencillos, de tal manera que el problema original se obtiene
como "superposicin" o "suma" de estos subproblemas ms sencillos.
Tcnicamente, el principio de superposicin afirma que cuando las ecuaciones de
comportamiento que rigen un problema fsico son lineales, entonces el resultado
de una medida o la solucin de un problema prctico relacionado con una
magnitud extensiva asociada al fenmeno, cuando estn presentes los conjuntos
de factores causantes A y B, puede obtenerse como la suma de los efectos de A
ms los efectos de B.
En el teorema de superposicin en teora de circuitos se establece que la tensin
entre dos nodos de un circuito o la corriente que atraviesa una rama es igual a la
suma de las tensiones o de las corrientes producidas por cada uno de los
generadores de tensin y de los generadores de corriente del circuito. En cada
uno de los clculos parciales, se conserva uno solo de los generadores y se
remplazan los otros generadores de tensin por cortocircuitos y los otros
generadores de corriente por circuitos abiertos
En mecnica newtoniana el laplaciano del campo gravitatorio es proporcional a la
densidad de masa; eso hace que la igualdad de distribucin y a distancias
idnticas el campo sea proporcional a la densidad de masa (sin embargo, en
teora de la relatividad general, el campo gravitatorio viene descrito en trminos de
ecuaciones diferenciales no-lineales).
Otro ejemplo lo constituyen los campos electrostticos y magnetosttico, que tanto
en mecnica clsica como en teora de la relatividad resultan lineales; es decir, el
potencial elctrico y el potencial vector, fijada una distribucin de cargas, es
proporcional al valor de stas.
1.4 Mtodos analticos de solucin de EDP parablicas:
Transformada de Laplace.
El mtodo de la transformada de Laplace es un mtodo operacional que puede
usarse para resolver ecuaciones diferenciales lineales, ya que su uso hace posible
que diversas funciones sunisoidales, sinusoidales amortiguadas y exponenciales,
se puedan convertir en funciones algebraicas de una variable compleja s , y
reemplazar operaciones como la diferenciacin y la integracin, por operaciones
algebraicas en de funciones compleja equivalentes. Por tanto, una ecuacin
diferencial lineal se puede transformar en una ecuacin algebraica de la variable
compleja s . Si esa ecuacin algebraica se resuelve en s para la variable
dependiente, se obtiene la solucin de la ecuacin diferencial. Este procedimiento
que implica la transformada inversa de Laplace de la variable dependiente, se
realiza empleando una tabla de transformadas de Laplace, o mediante la tcnica
de expansin en fracciones parciales.
Es caracterstico del mtodo de la Transformada de Laplace, el uso de tcnicas
grficas para predecir y/o analizar el funcionamiento de un sistema sin tener que
resolver el sus ecuaciones diferenciales. Otra ventaja es que con este mtodo se
resuelve la ecuacin diferencial obteniendo, simultneamente, las componentes
del estado transitorio y estacionario de la solucin.
VARIABLE COMPLEJA s
La variable s es de tipo complejo con una componente variable real y una
imaginaria: La notacin empleada para s se indica en la siguiente ecuacin:
s j o e = +
Donde o es la parte real y w es la parte imaginaria.
FUNCIN COMPLEJA F(s)
Una funcin compleja ( ) F s , tiene una parte real y una imaginaria:
8 )
x y
F s F jF = +
Donde
x
F y
y
F son cantidades reales. La magnitud de ( ) F s es
2 2
x y
F F +
Y el ngulo u de ( ) F s es
1
tan
x
y
F
F
| |
|
|
\ .
El ngulo se mide de derecha a izquierda a partir del semieje real positivo. El
complejo conjugado de ( ) F s es
( )
x y
F s F jF =
Se dice que una funcin compleja ( ) F s es analtica en una regin, si ( ) F s y todas
sus derivadas existen en esa regin.
0 0
( )
( ) lim lim
s s
d G s s G
G s
ds s s
A A
+ A A
= =
A A
Los puntos del plano s en los que la funcin ( ) F s es analtica, reciben el nombre
de puntos ordinarios, mientras que los puntos del plano s en los que la funcin
( ) F s no es analtica, se denominan puntos singulares. A dichos puntos tambin se
les denomina polos. Los puntos en los que la funcin ( ) F s es igual a cero, se
denominan ceros
TRANSFORMADA DE LAPLACE
Primero se presenta una definicin de la Transformada de Laplace; y un breve
anlisis de las condiciones de existencia de la transformada de Laplace.
Definimos:
( ) f t = una funcin de tiempo t tal que ( ) 0 f t = para 0 t <
s = una variable compleja
( ) F s = transformada de Laplace de ( ) f t
L = un smbolo operacional que indica que la cantidad a la que precede
debe transformarse por la integral de Laplace.
0
st
e dt
}
Entonces la transformada de Laplace de ( ) f t est dada por
| | | |
0 0
( ) ( ) ( ) ( )
st st
f t F s e dt f t f t e dt
= = =
} }
El proceso inverso de hallar en tiempo ( ) f t , a partir de la transformada de Laplace
( ) F s , se denomina transformada inversa de Laplace. La notacin de la
transformada inversa de Laplace es
1
as
| |
1
( ) ( ) F s f t
=
EXISTENCIA DE LA TRANSFORMADA DE LAPLACE
La transformada de Laplace de una funcin ( ) f t existe si la integral de Laplace
converge. La integral ha de converger si ( ) f t es seccionalmente continua en todo
intervalo finito dentro del rango 0 t > y si es de orden exponencial cuanto t tiende
a infinito. Se dice que una funcin ( ) f t es de orden exponencial, s si existe una
constante real, positiva u tal que la funcin
( )
t
e f t
u
tiende a cero cuanto t tiene a infinito. Si el lmite de la funcin
( )
t
e f t
u
tiende a cero para u mayor que c u y el lmite tiene a infinito para u menor que
c u , el valor c u recibe el nombre de abcisa de convergencia.
Para la funcin
( )
t
f t Ae
o
=
lim
t t
t
e Ae
u o
Tiende a cero s u o > . La abcisa de convergencia en este caso es c u o = . La
integral
0
( )
st
f t e dt
}
converge solamente si u , la parte real de s , es mayor que la abcisa de
convergencia c u . As hay que elegir el operador s como una constante tal que
esta integral converja.
En trminos de los polos de la funcin ( ) F s , la abcisa de convergencia c u
corresponde a la parte real del polo ubicado en posicin ms alejada hacia la
derecha en el plano s .
Para funciones como
t
sen t e
tsen t e
la abcisa de convergencia es igual a cero.
Para funciones como
ct
e
ct
te
ct
e sen t e
Y similares, la abcisa de convergencia es igual . a c Para funciones que
aumentan ms rpidamente que la funcin exponencial, sin embargo, no es
posible encontrar valores adecuados de la abcisa de convergencia. Por lo tanto,
funciones tales como
2 t
e
2 t
te
no tienen transformada de Laplace
Si una funcin ( ) f t tiene transformada de Laplace, la transformada de la funcin
( ) Af t , donde A es una constante, est dada por
| | | | ( ) ( ) Af t A f t =
Esto es obvio, partiendo de la definicin de transformada de Laplace. En forma
similar, si las funciones
1 2
( ) y f ( ) f t t
tienen transformada de Laplace, la transformada de Laplace de la funcin
1 2
( ) f ( ) f t t +
est dada por
| | | | | |
1 2 1 2
( ) ( ) ( ) ( ) f t f t f t f t + = +
Nuevamente, la prueba de esta relacin es evidente a partir de la definicin de la
transformada de Laplace.
A continuacin, se determinan las transformadas de Laplace de algunas funciones
habitualmente encontradas.
1.5 Soluciones de EDP en coordenadas cilndricas y esfricas.
Ecuacin diferencial de Bessel, funciones de Bessel J
n
(X),
Y
n
(X) y funciones modificadas de Bessel l
n
(X), K
n(
(X).
Coordenadas Cilndricas
En el sistemas de coordenadas cilndricas un punto P del espacio tridimensional
est representado por la terna ordenada (r,,z), donde r y el son las
coordenadas polares de la proyeccin de P en el plano xy y z es la distancia
dirigida del plano xy a P.
Ecuaciones para transformar de Cilndricas a Rectangulares
Las coordenadas cilndricas son tiles en problemas que tienen simetra alrededor
de un eje, en ese caso se selecciona el eje z de manera que coincida con el eje de
simetra
Ecuaciones para transformar de Rectangulares a Cilndricas
Ecuaciones para transformar de Cilndricas a Esfricas
El sistema de coordenadas esfricas es especialmente til en problemas donde
hay simetra alrededor de un punto, y el origen se pone en ese punto.
Ejemplo # 1
Convertir el Punto a coordenadas cilndricas.
Encontramos
Ahora encontramos
el cuadrante donde es negativo (-3) y es positivo (3) es el IV
cuadrante.
Ahora encontramos :
Entonces, el punto en coordenadas cilndricas es:
Ejemplo # 2
Convertir el punto en coordenadas cilndricas a coordenadas
rectangulares.
Encontremos
Ahora encontremos
Ahora encontremos
Entonces, el punto en coordenadas rectangulares es:
Ejemplo # 3
Escribir la ecuacin en coordenadas cilndricas.
Sabemos que entonces sustituimos en la ecuacin, obteniendo:
y sta ecuacin ya est expresada completamente en coordenadas
cilndricas, pues solo depende de y
Coordenas Esfricas
Las coordenadas esfricas (, , ) de un punto P en el espacio, donde =OP
es la distancia del origen a P, es el mismo ngulo que en las coordenadas
cilndricas, y es el ngulo entre el semieje positivo z y el segmento de recta OP.
Note que
P 0 0
El sistema de coordenadas esfricas es especialmente til en problemas donde
hay simetra alrededor de un punto, y el origen se pone en ese punto.
Dado un vector del espacio tridimensional y tres planos que se cortan en el
punto origen de , se definen las coordenadas esfricas como los tres nmeros
que se obtienen desde las proyecciones ortogonales del vector sobre las tres
aristas de interseccin de los planos perpendiculares, por las relaciones
siguientes:
Sistema de Coordenadas Esfericas
Es el sistema de coordenadas esfricas un punto p del espacio que viene
representado por un tro ordenado , donde:
1.- es la distancia de P al origen, .
2.- es el mismo Angulo utilizado en coordenadas cilndricas para .
3.- es el Angulo entre el semieje positivo y el segmento recto , .
Ntese que las coordenadas primeras y terceras son siempre no negativas.
Coordenadas Esfricas
Ecuaciones para transformar de Esfricas a Rectangulares
Ecuaciones para transformar de Rectangulares a Esfricas
Ecuaciones para transformar de Esfricas a Cilndricas
ejemplo # 4
Convertir el punto a coordenadas rectangulares.
El punto en coordenadas rectangulares es: .
Ejemplo # 5
Convertir la ecuacin rectangular a coordenadas cilndricas.
Ejemplo # 6
Convertir la ecuacin rectangular a coordenadas esfricas.
Ejemplo # 7
Describa la superficie cuya ecuacin en coordenadas cilndricas es z=r. Solucin
La ecuacin dice que el valor z, o altura, de cada punto sobre la superficie es igual
que r, la distancia del punto al eje z. Como no aparece, puede variar. Por lo
tanto, cualquier trazo horizontal en el plano z+ k (K>)) es un circulo de radio k.
estas trazas sugieren que la superficie es un cono. Esta prediccin puede
confirmarse si se convierte la ecuacin en coordenadas rectangulares. De la
primera ecuacin tenemos
Reconocemos la ecuacin como la de un cono circular cuyo eje es
el eje z.
Funcin de Bessel
En matemtica, las funciones de Bessel, primero definidas por el
matemtico Daniel Bernoulli y ms tarde generalizadas por Friedrich Bessel, son
soluciones cannicas y(x) de la ecuacin diferencial de Bessel:
(1)
Donde es un nmero real o complejo. El caso ms comn es cuando es
un entero , aunque la solucin para no enteros es similar. El nmero se
denomina orden de las funciones de Bessel asociadas a dicha ecuacin.
Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tiene
dos soluciones linealmente independientes.
Aunque y dan como resultado la misma funcin, es conveniente definir
diferentes funciones de Bessel para estos dos parmetros, pues las funciones de
Bessel en funcin del parmetro son funciones suaves casi doquiera. Las
funciones de Bessel se denominan tambin funciones cilndricas, o armnicos
cilndricos porque son solucin de la ecuacin de Laplace en coordenadas
cilndricas.
Aplicaciones
La Ecuacin de Bessel aparece cuando se buscan soluciones a la ecuacin de
Laplace o a la ecuacin de Helmholtz por el mtodo de separacin de
variables en coordenadas cilndricas o esfricas. Por ello, las funciones de Bessel
son especialmente importantes en muchos problemas de propagacin de ondas,
potenciales estticos y cualquier otro problema descrito por las ecuaciones de
Helmholtz o Laplace en simetras cilndricas o esfricas. Cuando se resuelven
sistemas en coordenadas cilndricas, se obtienen funciones de Bessel de orden
entero ( ) y en problemas resueltos en coordenadas esfricas, se obtienen
funciones de Bessel de orden semientero ( ), por ejemplo:
- Ondas electromagnticas en guas de onda cilndricas.
- Modos transversales electromagnticos en guas pticas.
- Conduccin del calor en objetos cilndricos.
- Modos de vibracin de una membrana delgada circular (o con forma de
anillo).
- Difusin en una red.
- Tambin se usan funciones de Bessel en otro tipo de problemas como en
procesado de seales.
Funciones de Bessel ordinarias
Las funciones de Bessel ordinarias de orden , llamadas simplemente funciones
de Bessel de orden son soluciones de la ecuacin de Bessel (1). Existen dos
formas simples de expresar la solucin general de la ecuacin diferencial de
Bessel con parmetro , que estn asociadas a las funciones de Bessel ordinarias
de primera y de segunda especie.
Funciones de Bessel de primera especie:
Las funciones de Bessel de primera especie y orden son las soluciones de la
ecuacin diferencial de Bessel que son finitas en el origen ( ) para enteros
no negativos y divergen en el lmite para negativo no entero. El tipo
de solucin y la normalizacin de estn definidos por sus propiedades
abajo indicadas. Es posible definir la funcin por su expansin en serie de
Taylor en torno a :
1
es la funcin Gamma de Euler, una generalizacin del factorial para nmeros
complejos.
Estas funciones cumplen que:
Si , entonces y son linealmente independientes, y por tanto
una solucin general de la ecuacin de Bessel puede expresarse como una
combinacin lineal de ellas.
Si , entonces se cumple:
2
por lo que las dos soluciones dejan de ser linealmente independientes. En este
caso, la segunda solucin linealmente independiente ser una funcin de Bessel
de segunda especie.
Las funciones de Bessel son funciones oscilatorias (como las funciones seno o
coseno) que decaen proporcionalmente a (como nos lo mostrarn las
formas asintticas de estas funciones ms abajo), aunque los ceros de estas
funciones no son, en general, peridicos, excepto de forma asinttica para
grandes x.
Funciones de Bessel de primera especie, J
(1)
, H
(2
)
Otra formulacin importante de las dos solucciones linealmente independientes de
la ecuacin de Bessel son las funciones de Hankel y as
definidas:
4
donde i es la unidad imaginaria. Estas combinaciones lineales son tambin
conocidas como las funciones de Bessel de tercera especie. Las funciones de
Hankel de primera y segunda especie son usadas para representar las
solucciones de ondas entrantes y salientes de una ecuacin de ondas en simetras
cilndricas respectivamente (o viceversa dependiendo de la conveccin de signo
de la frecuencia). Estas funciones son as nombradas en honor de Hermann
Hankel.
Usando la definicin dada arriba, estas funciones se pueden escribir en funcin de
las funciones de Bessel de primer orden as:
Si es un entero, se tiene que calcular de las expresiones de arriba as:
La siguiente relacin es vlida para todo valor de , sea entero o no:
5
Existe una representacin integral de las funciones de Hankel (til para el clculo
de propagadores de la ecuacin de Klein-Gordon):
6
Solucin general de la ecuacin de Bessel
La solucin general de la ecuacin diferencial de Bessel con parmetro viene
dada en trminos de las funciones de Bessel ordinarias o de las funciones de
Hankel. Dicha solucin general puede expresarse como:
(2)
Donde A y B son dos constantes arbitrarias.
Funciones de Bessel modificadas: I
, K
Las funciones de Bessel ordinarias son vlidas para valores complejos del
argumento x, y un caso especialmente importante es aquel con argumento
imaginario puro. En este caso, la ecuacin de Bessel se transforma en la ecuacin
de Bessel modificada
7
(3)
y sus dos soluciones linealmente independientes son las funciones de Bessel
modificadas de primer y segundo tipo: I
(x) y K
(x) respectivamente.
8
Funciones de Bessel modificadas de primera especie: Las funciones de Bessel
modificadas de primera especie y orden vienen dadas por:
Estn relacionadas con las funciones de Bessel ordinarias mediante la siguiente
igualdad:
.
Si entonces y son linealmente independientes, y por tanto
dan una solucin general de la ecuacin de Bessel.
Si entonces no est definida en x = 0.
Casos particulares:
Funciones de Bessel modificadas de segunda especie: ]
Las funciones de Bessel modificadas de segunda especie y orden se definen a
partir de las funciones modificadas de primera especie para rdenes no enteros
mediante la siguiente frmula:
Para los casos en los que sea entero ( ), tenemos que tomar el
lmite del orden no entero al entero as:
Adems se puede escribir esta funcin a partir de la funcin de Hankel de primera
especie as:
Existen varias representaciones integrales de estas funciones. La siguiente
de K