Universidad Nacional Mayor de

San Marcos
Edison Auccapia Prez
Ulises
Larico
Julio
02/12/2011
Ecuaciones en derivadas
parciales hiperblicas en
regiones
OBJETIVOS
Conocer
la
importancia de las ecuaciones en derivadas parciales hiperblicas en
la mecnica de fluidos.
Conocer ecuaciones en derivadas parciales hiperblicas en regiones.
Conocer mtodos de solucin para resolver ecuaciones en derivadas
parciales hiperblicas en regiones.
INTRODUCCIN
Las ecuaciones hiperblicas surgen de problemas de vibraciones en
medios continuos, es decir problemas que involucran propagacin de
ondas. En general, surgen en problemas de carcter dinmico en la
mecnica del medio continuo: acstica, hidrodinmica, aerodinmica,
teora de la elasticidad, etc.
III. EL CONCEPTO DE MODELO.
Un sistema fsico en un objeto o coleccin de objetos sobre los
cuales concentramos nuestra atencin en el anlisis de un
problema. Usualmente, un sistema est compuesto de materia de
identidad conocida que, inicialmente, puede ser vista separada
de cualquier otra cosa externa al sistema (lo circundante) por una
frontera imaginaria. En el caso de la conduccin del calor en una
esfera (ver Introduccin), el sistema es la esfera, la frontera cubre
la superficie de la esfera, y el medio externo (aire caliente o
temperatura constante de una bao de agua, por ejemplo) es lo
circundante. En algunos casos es conveniente cambiar este punto
de vista y hablar de sistema control o volumen control, que es un
volumen fijo en el espacio que a travs de su frontera puede pasar
materia, energa, etc.
Todo sistema posee ciertas caractersticas mediante las cuales
podemos describir su condicin fsica. Por ejemplo, masa, presin,
temperatura o conductividad trmica. En el concepto sistema,
focalizamos la atencin sobre un objeto de inters inmediato (el
sistema) y observamos tanto las interaccin entre sistema y medio
externo como en los cambios de las caractersticas del sistema.
Las interacciones sistema-medio externo y el estado interno del
sistema son gobernados por leyes fsicas. En general, el estado
interno del sistema est gobernado por una EDP y las interacciones
sistema-medio externo, por las CC. Si el estado futuro o condicin
del sistema depende del tiempo, entonces ser necesario no solo
observar las condiciones sobre la frontera, sino que debemos
describir el estado inicial del sistema, es decir, debemos
considerar CI.
Buscamos las predicciones tericas del comportamiento de un
sistema fsico construyendo un modelo matemtico, cuyas
soluciones son aproximaciones a los valores reales del sistema
fsico. Implcitamente, nuestro modelo matemtico deber estar
bien planteado, es decir, debe existir una nica solucin y ella debe
ser estable. Desgraciadamente, la creacin de un modelo
matemtico manejable, es decir, uno cuya solucin pueda hallarse
fcilmente, requiere la introduccin de hiptesis, muchas de ellas
restrictivas produciendo simplificaciones. La determinacin y
aplicacin de la solucin de un modelo matemtico en particular,
debe hacerse a la luz de estas hiptesis. En la construccin de un
modelo matemtico debemos lograr primero, una concisa y
adecuadamente realista descripcin del sistema fsico y luego una
transcripcin precisa de las caractersticas en trminos
matemticos. Como adelantbamos, en este curso cada problema
conduce a: 1) Una EDP y 2) Apropiadas condiciones auxiliares, que
pueden ser Condiciones de contorno y/o Condiciones iniciales.
En resumen, la formulacin de un problema conlleva:
1. Obtener una descripcin concisa del sistema fsico.
Debemos describir el sistema, sus fronteras, medio externo y las
variables dependientes en trminos de las variables
independientes.
2. Reducir el sistema fsico a un modelo matemtico.
Debemos hacer idealizaciones e hiptesis simplificadoras. Algunas
decisiones subjetivas pueden hacerse en cuanto que influencias
son pertinentes y cuales no; deseamos usar el mnimo de
idealizaciones e hiptesis para obtener un modelo lo ms simple
posible que prediga adecuadamente el comportamiento del
sistema fsico.
3. Demostrar lo adecuado del modelo probando existencia, unicidad y continuidad
de la solucin. Esta demostracin se basa en las ecuaciones del
modelo, incluyendo las condiciones auxiliares.
Finalmente, y como complemento a la Introduccin de estos
apuntes, estudiaremos un problema fsico que conduce a la ecuacin
de ondas.
IV. APLICACIONES E IMPORTANCIA:
IV.1.Oscilaciones de una cuerda libre (sin una
fuerza externa aplicada):
2ux2-1v22ut2=0, v=T
Donde u(x,t) es el desplazamiento del punto con abscisa x dela
cuerda en el instante t, mientras que T y son la tensin y la
densidad lineal de la cuerda, respectivamente.
IV.2.Oscilaciones de una cuerda (tomando en cuenta
al resistencia viscosa del aire proporcional a la
velocidad):
2ux2=1v22ut2+cv2ut, v=T
Donde T y son la tensin y la densidad lineal de la cuerda,
respectivamente. Y c es el coeficiente de friccin viscosa, es
decir, la relacin entre la fuerza de resistencia viscosa del aire
por unidad de masa y la rapidez u/t de la cuerda.
IV.3.Vibracin longitudinal de una barra elstica
Tenga en cuenta una barra elstica con el rea transversal S(x) y
el mdulo de Young E, tal y como se muestra en la Figura (2).
Sea el desplazamiento longitudinal desde el equilibrio U(x, t). El
esfuerzo en la estacin x es:
limx0Ux=Ux
Figura 4.1: deformacin longitudinal de una barra elstica
En virtud de la ley de Hooke, la tensin en x es:
ESUx .
Ahora la tensin neta sobre un elemento de la barra de x a x + dx
es:
ESUxx+dx-ESUxx=dxxESUx+Odx2 .
Sea la fuerza longitudinal aplicada externamente f(x, t) por unidad
de longitud. La conservacin del momuentum requiere que:
S2Ut2dx=xESUxdx+fdx+O(dx)2 .
En el lmite de anular dx, obtenemos la ecuacin diferencial:
.
2
2
f
x
U
ES
x t
U
S +

,
_

(4.3.1)
En el caso especial de la seccin transversal uniforme, S =
constante, y fuerza externa cero, entonces U satisface la
ecuacin de onda no homognea,
,
1
2
2
2
2
2
ES
f
x
U
t
U
c
+

(4.3.2)
donde c=E tiene la dimensin de velocidad.
Las condiciones de frontera ms sencillas son para extremos fijos
o libres. Si ambos extremos estn fijos, entonces,
U(0, t) = 0 y U(L, t) = 0. (4.3.3)
Si el extremo de la izquierda est fijo pero el derecho est libre,
entonces,
, 0 ) , ( 0 ) , 0 (

t L
t
U
y t U
(4.3.4)
ya que el esfuerzo es proporcional a la tensin. De nuevo, las
condiciones iniciales ms naturales son:
), ( ) 0 , ( ) ( ) 0 , ( x g x
t
U
y x f x U

(4.3.5)
donde f y g son funciones prescritas de x para 0 < x < L.
IV.4.Propagacin de onda en arterias
Examinaremos el flujo pulsatorio de la sangre en una arteria
cuya pared es delgada y elstica. Como primer ejercicio,
asumamos que slo hay pulsacin, pero no flujo neto. A causa
del gradiente de presin en la sangre la pared de la arteria ha de
deformarse. La fuerza restauradora elstica de la pared hace
posible que las ondas se propaguen.
El radio de la arteria a(x, t) vara de la media constante a
o
en el
tiempo y a lo largo de la arteria (en x). Sea el rea transversal
local S = a
2
, y la velocidad de promedio u(x, t).
Considere un volumen geomtrico fijo entre x y x+dx, a travs del
cual se mueve el fluido hacia adentro y hacia afuera. La
conservacin de la masa requiere:
0
) (

x
uS
t
S
. (4.5.1)
A continuacin, el balance de momentum. La frecuencia
temporal del cambio de momentum en el volumen debe
equilibrarse mediante el influjo neto de momentum a travs de
los dos extremos y la fuerza de presin actuando en todos los
lados. La frecuencia del cambio de momentum es:
x
uS

) (
. (4.5.2)
La velocidad neta del influjo de momentum es:
( )
x
u
uS
x
uS
u dx
x
S u

2
. (4.5.3)
La fuerza de presin neta en ambos extremos es:
-Sx=-Spx-Sx ,
mientras que la presin en la pared inclinada es:
2apax=-pSx .
La suma de todas las fuerzas de presin es:
x
p
S

. (4.5.4)
Si equilibramos el momentum equiparando (4.5.2) a la suma de
(4.5.3) y (4.5.4) obtenemos, tras hacer uso de la conservacin de
masa (4.5.1),
x
p
x
u
u
t
u

,
_

. (4.5.5)
Figura 4.2: fuerzas sobre la pared de la arteria.
Sea la presin en el exterior de la arteria constante, digamos
cero. El cambio en el radio del tubo ha de deberse al cambio en
la presin de la sangre. En relacin con la figura, la tensin
elstica debido al alargamiento de la circunferencia es 2da / 2a
= da / a. Sea h el grosor de la pared de la arteria, que se supone
debe ser ms pequeo que a, y el mdulo de Young E. El cambio
en la fuerza elstica es 2Ehda / a que ha de equilibrarse con el
cambio en la fuerza de la presin 2adp, esto es,
2Ehdaa=2adp .
Lo que implica,
2 / 3 2
o
S
Eh
dS
dp
a
Eh
da
dp

. (4.5.6)
La presin aumenta con el radio del tubo, pero la frecuencia de
aumento es ms pequea para un radio mayor. Con la
integracin obtenemos la ecuacin de estado:
p-p0=-Eha=-EhS. (4.5.7)
La ecuacin (5.5) puede ahora volver a formularse de la
siguiente manera:
x
S
C
x
p S
x
u
u
t
u
S

,
_

, (4.5.8)
donde C se define mediante,
a
Eh
dS
dp S
C
2

, (4.5.9)
y tiene la dimensin de la velocidad. A la vista de (4.5.6), las
ecuaciones (4.5.1) y (4.5.8) son un par de ecuaciones no lineales
para las dos incgnitas u y S.
Para las amplitudes infinitesimales podemos linealizar estas
ecuaciones. Sea a = a
0
+ a con a a
0
entonces la (4.5.1) se
convierte, a primer orden,
0
2
'
0

x
u a
t
a
. (4.5.10)
La ecuacin de cantidad de movimiento linealizado es:
x
p
t
u

. (4.5.11)
La forma linealizada de (4.5.6) es:
'
2
2
0
da
a
Eh
dp
, (4.5.12)
que se puede utilizar en (4.5.11) para obtener,
x
a
a
Eh
t
u

'
2
0

. (4.5.13)
Por ltimo, (4.5.2) y (4.5.8) se pueden combinar para dar la
ecuacin de ondas:
2
2
2
0
2
2
' '
x
a
c
t
a

, (4.5.14)
donde,
0
0
2pa
Eh
c
. (4.5.15)
Alternativamente se puede eliminar a a fin de obtener una
ecuacin para u,
2
2
2
0
2
2
x
u
c
t
u

(4.5.16)
A causa de (4.5.12) la presin dinmica se rige tambin por:
2
2
2
0
2
2
x
p
c
t
p

(4.5.17)
Todas las incgnitas se rigen por la misma ecuacin debido a la
linealidad y al hecho de que todos los coeficientes son
constantes.
Comentarios sobre la linealizacin:
Para hallar la exactitud de la linealizacin, es til calcular primero
las escalas de movimiento. Supongamos que A, T, L, U y P
denotan las escalas de a, x, t, u y p respectivamente. Es natural
tomar L = c
0
T. De (4.5.1), (4.5.5) y (4.5.6) obtenemos las
relaciones entre las escalas de las cantidades dinmicas:
a0AT=Ua02L , de ah U=Aa0LT
P=EhAa02
UT=1PL=11L/TEhAa02
Se deduce que:
Aa0LT= 11L/TEhAa02
Por tanto,
L2T2=Eha0=c02
Con estas escalas la proporcin de un trmino tpico no lineal con
respecto a un trmino lineal es:
uuxut~U 2/LU/T=UL/T=Aa0
De ah que la condicin para la linealizacin sea que:
Aa01
IV.5.VIBRACION DE UNA MEMBRANA EN DOS
DIMENSIONES (PIEL DE TAMBOR)
Se analizar la ecuacin bidimensional a
travs de un movimiento vibratorio plana,
como la vibracin de una membrana elstica.
El ensayo para determinar las ecuaciones
diferenciales de equilibrio consiste en fijar la
membrana elstica, similar a un parche de un
tambor pero de forma rectangular,
sujetndola por sus cuatro bordes. La membrana, que est tensa,
se golpea en la parte central de manera que comience a vibrar, y
se evala el desplazamiento que se produce en sentido vertical
Las consideraciones preliminares son:
La membrana es flexible y delgada, y no ofrece
resistencia a la flexin. Se desplaza en sentido vertical, sin
modificar sus dimensiones transversales (no se estira).
Es homognea, siendo su masa por unidad de rea
constante y su espesor uniforme e infinitesimal.
La tensin por unidad de longitud T [kg/cm] que se
observa sobre los bordes del diferencial de rea considerado es
la misma en todas direcciones y no cambia al moverse la
membrana.
El desplazamiento u = u (x,y,t) es pequeo frente a las
dimensiones de la membrana.
En el anlisis se desprecia la aceleracin de la gravedad
g.
Consideremos un pequeo elemento de la membrana. Como la
defeccin y la pendiente son pequeas, el rea de este elemento
es aproximadamente igual a xy. si T es la tensin por unida de
longitud, entonces las fuerzas sobre los lados del elemento son
Tx y Ty como aparecen en la siguiente figura.
Los ngulos son muy pequeos, luego las componentes
horizontales de las tensiones son afectadas por cos 1 y cos
1; y sern iguales y opuestas, luego slo se considerar un
desplazamiento vertical.
Las fuerzas que actan sobre el elemento de membrana en la
direccin vertical son:
Txsen-Txsen+Tysen-Tysen (*)
Como las pendientes son pequeas, los senos de los ngulos son
aproximadamente iguales a sus tangentes. As la fuerzan resulta
ser:
Tx(tg-tg)+Ty(tg-tg)
Por segunda ley de Newton, la fuerza resultante es igual a la
masa por aceleracin (m=A), es decir,
Txtg-tg+Tytg-tg=Autt ,
Donde es la masa por unidad de rea, A xy es el rea del
elemento de membrana y u
tt
se calcula en algn punto de la
regin en estudio. Del clculo elemental, tenemos:
tg=uy(x1,y)
tg=uy(x2,y+y)
tg=ux(x,y1)
tg=ux(x+,y2)
Donde x
1
y x
2
son los valores de x entre x y x+x, y
1
e y
2
son los
valores entre y e y+y. Sustituyendo estos valores en (*),
obtenemos
Txuyx2,y+y-uyx1,y+Tyuxx+x,y2-uxx,y1=xyutt
Dividiendo por xy, resulta:
Tuyx2,y+y-uyx1,yy+uxx+x,y2-uxx,y1x=utt .
Tomando lmite cuando x, y tienden a cero, obtenemos
utt=c2uxx+uyy ,
Donde c
2
=t/. sta ecuacin se conoce como ecuacin de ondas
bidimensional.
Si existe una fuerza externa f por unidad de rea actuando sobre
la membrana, entonces sta ecuacin toma la forma
utt=c2uxx+uyy+f* ,
donde f*=f/
III.1.Ondas en aguas poco profundas y linealizacin
Ecuaciones de gobierno no lineales
Cuando el agua de un lago o de la costa martima sufre
perturbaciones, se pueden crear ondas en la superficie, debido a
la fuerza restauradora de la gravedad. Tenga en cuenta las leyes
bsicas que rigen el movimiento de las ondas largas en aguas
poco profundas de densidad constante y viscosidad
imperceptible. En la Figura 4.3, supongamos que el eje z se dirige
verticalmente hacia arriba y el plano x, y est en la superficie del
agua al principio en calma, h(x, y), indique la profundidad bajo el
nivel del mar en calma y (x, y, t) el desplazamiento vertical de la
superficie del agua. Utilice otra vez el modelo diferencial y
considere el flujo del fluido a travs de una columna vertical con
la base dxdy.
Figura 4.3: elemento de columna de fluido en un mar poco profundo.
En primer lugar, la ley de la conservacin de masa. El ndice de
incremento de volumen en la columna,
tdxdy,
ha de estar equilibrado por el flujo de volumen neto en la
columna desde los cuatro lados verticales. En agua poco
profunda, la escala de longitud horizontal, caracterizada por la
longitud de onda , es mucho mayor que la longitud vertical h. El
agua fluye principalmente en los plano horizontales con la
velocidad u(x, y, t), que es esencialmente constante en velocidad.
A travs de los lados verticales normales al eje x, la diferencia
entre el flujo de entrada por la izquierda y el flujo de salida por la
derecha es:
-u+hx+dx-u+hxdy=-{x[u+h+O(dx)]}dxdy
Del mismo modo, a travs de los lados verticales normales al eje
y, la diferencia entre el flujo de entrada por la parte frontal y el
flujo de salida por la parte posterior es:
-v+hy+dy-v+hydx=-{y[v+h+O(dy)]}dydx
Si omitimos los trminos de orden superior en dx, dy, invocamos
la conservacin de la masa para obtener:
tdxdy=-x[u+h]+y[v+h]+O(dx,dy)]dxdy
En el lmite de anular dx, dy, tenemos, en forma de vector,
( ) [ ] 0 . + +

h u
t

(4.7.1)
Esta ecuacin es no lineal por el producto cuadrtico de las
incgnitas u y .
A continuacin, la ley de conservacin de momentum. En aguas
poco profundas el balance de momentum vertical est dominado
por la gravedad y el gradiente de presin, lo que significa que la
distribucin de la presin es hidrosttica:
p=g(-z) (4.7.2)
Donde se ignora la presin atmosfrica en la superficie libre.
Tenga en cuenta ahora el balance de momentum en la direccin
x. La fuerza de presin neta sobre dos lados verticales normales
a la direccin x es:
dxdyx-hpdz = -dxdyx-hg-zdz = -g(+h)(+h)xdxdy
La reaccin hidrodinmica desde el fondo en pendiente al fluido
es:
-phxdxdy=g(+h)hxdxdy
El cambio de momentum del fluido consiste en dos partes. Una
parte se debe a la variacin en la unidad de tiempo del cambio
de momentum en la columna de agua:
tu(+h)dxdy
Y el otro se debe al flujo neto del momentum a travs de cuatro
lados verticales:
xu2(+h)dxdy+yuv(+h)dydx
Si equiparamos la variacin total del cambio de momentum a la
fuerza de presin neta en los lados y en el fondo, obtenemos:
tu(+h)+xu2(+h)+yuv(+h)=-g+h+hx+g(+h)hx
El lado izquierdo se puede simplificar a:
dudt+uux+vuy+h+ut+[u(+h)]x+[v(+h)]y=ddt+uux
+vuy
Invocando la continuidad (4.7.1). De ah que la ecuacin de
momentum x se reduzca a:
x
g
y
u
v
x
u
u
t
u

. (4.7.3)
Del mismo modo, el balance de momentum en la direccin y
requiere:
y
g
y
v
v
x
v
u
t
v

. (4.7.4)
Estas dos ecuaciones se pueden resumir en la forma de vector:
+

g u u
t
u
.
. (4.7.5)
Las ecuaciones (4.7.1) y (4.7.5) son ecuaciones diferenciales
parciales no lineales combinadas para tres incgnitas escalares u
y .
A continuacin, las condiciones iniciales y de frontera. En una
costa S, no puede haber un flujo normal, por lo tanto,
hu.n=0 en S (4.7.6)
Donde n indica el vector normal de unidad que seala
horizontalmente a la costa. Esta condicin es aplicable no slo en
una costa acantilada donde h es finito, sino tambin en una lnea
costera donde h = 0, con tal de que las olas sean lo bastante
suaves como para no romper. En el segundo caso, hay que
encontrar un punto de la consta desconocido a priori como parte
de la solucin.
En el instante inicial, se puede suponer que el desplazamiento
(x, y, 0) y la velocidad vertical de la totalidad de la superficie libre
(x,y,0)/t es conocido. Estas condiciones completan la
formulacin del problema de ondas en agua poco profunda.
Linealizacin para amplitud pequea
Para ondas de amplitud pequea:
1 <<
h
A
h

(4.7.7)
Donde A es la amplitud caracterstica. La ecuacin (4.7.1) se
puede simplificar ignorando el trmino cuadrtico,
0 . +

hu
t

(4.7.8)
Indicando la escala temporal mediante el periodo de onda T y la
escala de longitud horizontal mediante la longitud de onda ,
equiparamos el orden de magnitudes de los dos trminos
restantes anteriores para obtener:
AT ~yh, implicando Ah ~uT1
Ahora, permtanos calcular la importancia del trmino
cuadrtico uu en la ecuacin de momentum calculando el
ratio,
u.uut=0uT1
Claramente, el trmino cuadrtico que representa inercia
convectiva tambin se puede ignorar en la primera
aproximacin, y la ecuacin de momento se convierte en:

g
t
u
(4.7.9)
La ecuacin de continuidad (4.7.8) y la de momentum (4.7.9)
estn ahora linealizadas. En cambio, a la vista de (4.7.9) la
condicin frontera en la costa (4.7.6) se puede expresar como:
S en
n
h 0

(4.7.10)
En coherencia con la aproximacin linealizada, la posicin de la
costa se puede prescribir a priori.
Las ecuaciones (4.7.8) y (4.7.9) se puede combinar por el
proceso de diferenciacin cruzada. Primero diferencie (4.7.8)
con respecto a t,
tt+.(uh)=0
A continuacin, tome la divergencia del producto de (4.7.9) y h,
.hut=-.gh
La diferencia de estas dos ecuaciones da:
) .(
2
2

gh
t
(4.7.11)
Para un fondo horizontal h = constante,

2
2
2
1
t c
(4.7.12)
Donde c=gh=O(/T) es la velocidad caracterstica del
movimiento de onda infinitesimal. La ecuacin (4.7.12) es la
ampliacin bidimensional de la ecuacin de onda. Si, adems,
todas las condiciones son uniformes en la direccin y, /y = 0,
(4.7.12) se reduce a la forma familiar:
2
2
2
2
2
1
x t c

III.1.Sonido en fluidos
Las ecuaciones bsicas que gobiernan un fluido compresible y no
viscoso son las siguientes. Conservacin de masa:
p u u
t
u

,
_

.
(4.8.1)
Conservacin de momentum:
ut+u.u=-p .
Debemos aadir una ecuacin de estado,
p=p,S ,
donde S indica la entropa. Cuando no se impone desde el
exterior ningn gradiente de temperatura y el gradiente del flujo
no es demasiado grande, se puede ignorar la difusin termal. As,
el movimiento del fluido es adiabtico y la entropa es constante.
Como consecuencia de ello p = p(p, S
o
) slo depende de la
densidad. La ecuacin. (4.8.1) se puede escribir de la siguiente
forma:
ut+u.u=-pSp .
Indicaremos,
C=pS ,
para que,
ut+u.u=-C2 .
Es fcil comprobar que C tiene la dimensin de velocidad.
A partir de la termodinmica, tambin tenemos:
pS=pT .
Donde T es la temperatura e = c
p
/c
v
= el ratio de calores
especficos
Para un gas perfecto la ecuacin de estado es:
p=RT
Donde R es la constante del gas. Por lo que para un gas perfecto,
pS=RT
Los lquidos son mucho menos compresibles. Normalmente, la
ecuacin de estado se escribe como:
d=pTdp+TpdT .
Lo que indica:
=-1Tp ,
como el coeficiente de expansin termal y
k=1pT ,
como el coeficiente de compresibilidad isotrmica. Por lo general
es pequeo y k mucho ms pequeo. Bajo condiciones
isotrmicas el que cuenta es k.
El lmite ms simple se da cuando la densidad de fondo o y la
presin o son uniformes, el fluido est esttico y las
perturbaciones dinmicas son infinitesimalmente pequeas.
Podemos escribir:
p=p0+p' , =0+' .
Con ' o y p' po, y linealizar las ecuaciones a:
't+0.u=0 ,
y,
ut=-10p' .
Quitando el vector rotacional del segundo, obtenemos
t u=0,
as el campo de velocidad es irrotacional si es as desde el
principio. Podemos introducir un potencial mediante,
u= .
Se deduce de la ecuacin de momentum,
p'=-0t .
Utilizando estos valores obtenemos la ecuacin de onda,
2t2=c022 ,
donde,
c02=p00S .
III.2.Flujo supersnico alrededor de las alas de un
avin
En la teora lineal del flujo supersnico alrededor de las alas de
un avin, se considera el problema de hallar la funcin u(x,y) [el
potencial reducido del flujo alrededor del ala], la cual es cero
para x < 0, y para x 0 satisface la ecuacin diferencial:
b22ux2-2uy2+c2u=0
Donde b, c>0, y:
ux=0=uxx=0=0
Pidindose adems que u sea acotada cuando y + . Adems
se supone conocida la funcin:
(x)=uyy=0
III.3.Potencial elctrico en una, dos o tres
dimensiones.
En electromagnetismo se considera el problema de hallar una
funcin u(x), u(x,y) u(x,y,z) el potencial elctrico en una, dos
o tres dimensiones tal que E=-u (E es el vector de campo
elctrico). En un medio con conductividad , resistividad ,
permitividad elctrica y permeabilidad magntica (estas
cuatro son constantes no negativas), el potencial dependiente
del tiempo t, satisface la ecuacin diferencial:
u-c22ut2-4c2ut=-4
Donde c es la velocidad de la luz en el vaco. La solucin se
obtiene a partir las condiciones de frontera de cada problema.
IV.MTODO DE SOLUCIN
IV.1.CUESTIONES IMPORTANTES
Para cualquiera de los problemas antes sealados, es usual (al
menos entre los matemticos) plantearse las siguientes
cuestiones:
1. Existencia de solucin. Se trata de obtener al menos una
solucin del problema.
2. Unicidad de la solucin. Se trata de probar que existe una
nica solucin, y de existir otra, ella ser la solucin nula.
3. Estabilidad de la solucin. Se trata de hallar una solucin
estable, es decir, ella no cambia bruscamente si hacemos un
pequeo cambio en los datos. Este problema se resuelve
probando una dependencia continua entre la solucin y los
datos.
En las aplicaciones surgen, a veces, otros tres tipos de
cuestiones:
a) Construccin de la solucin. Se trata de hallar una solucin
fsica.
b) Regularidad de la solucin. Se trata de determinar qu tan
suave es la solucin.
c) Aproximacin de la solucin. Cuando no es posible hallar una
solucin exacta, se trata de hallar una solucin aproximada,
generalmente por mtodos numricos.
La mejor manera de demostrar la existencia de solucin es
construir una. Si probamos la unicidad, entonces tendremos la
solucin buscada. Desgraciadamente y en contraste con lo que
ocurre en las EDO, las representaciones de las soluciones de EDP
frecuentemente involucran procesos al lmite, es decir, aparecen
series o integrales. En general, las soluciones que encontraremos
no pueden representarse como funciones elementales. Por
ejemplo, la mayora de las soluciones que aparecen en estos
apuntes, son series de Fourier, y as, una buena aproximacin
ser una serie de Fourier truncada, siempre que se halla
demostrado que la serie de Fourier es convergente y estable.
El hecho que nuestra solucin sea nica y estable, no garantiza
que el modelo matemtico describa correctamente el modelo
fsico. Siempre deber tenerse presente que en la construccin
del modelo matemtico se han hecho simplificaciones (sobre
todo si ste esm lineal) y as, la bondad del modelo depender
de la importancia de las simplificaciones.
El estudio de las tres cuestiones fundamentales: existencia,
unicidad y estabilidad (y/o regularidad) constituyen el corazn de
la teora de las EDP. El siguiente ejemplo nos permitir visualizar
esta problemtica. Consideremos un alambre cerrado en el
espacio que previamente hemos sumergido en una solucin
jabonosa. Sabemos que se forma una superficie mnima (pelcula
jabonosa) limitada por el alambre. Conociendo la ecuacin del
alambre, digamos g(x,y), podemos hallar la ecuacin de la
superficie jabonosa u(x,y).
IV.2.MTODOS DE SOLUCIN
Los mtodos ms usuales para resolver problemas en EDP son:
1. Separacin de variables (o mtodo de Fourier, o solucin
por desarrollos en funciones propias). Reduce una EDP de n
variables en n EDO.
2. Funcin de Green (o de singularidades fundamentales o
solucin por ecuaciones integrales). Cambia la EDP en una
ecuacin integral cuyo ncleo es la funcin de Green. Este
mtodo vale en dominios bastante generales, pero da
soluciones puntuales ms que globales; la dificultad radica
en hallar la funcin de Green.
3. Formulacin variacional (o mtodo de energa o solucin
por clculo de variaciones). El problema se resuelve
reformulndolo como un problema de minimizacin de un
cierto funcional, de suerte que ese mnimo es la solucin del
problema.
Otros mtodos son:
a) Transformacin de integrales. Aplicamos una
transformacin integral (TI) a la ecuacin reduciendo la EDP en
n variables en otra de (n-1) variables. Las TI ms usuales son:
Transformada de Laplace, de Fourier, de Hankel, Mellin, etc.
b) Transformacin de coordenadas. Cambiamos la EDP en
otra o en EDO mediante un cambio de coordenadas, por
rotacin y/o rotacin de los ejes o cosas similares.
c) Mtodos numricos. Cambiamos la EDP en un sistema de
ecuaciones en diferencias que puede resolverse por mtodos
iterativos usando computadores. A veces es el nico mtodo
posible.
d) Mtodos de perturbacin. Cambiamos un problema no
lineal en una sucesin de problemas lineales que lo aproximan.
e) Mtodos impulso-respuesta. Descomponemos las CC y las
CI en impulsos simples, hallndose la respuesta a cada
impulso. La respuesta total ser la suma de las respuestas
parciales.
f) Desarrollo en funciones propias. Intentamos alcanzar la
solucin de una EDP b como una suma infinita de funciones
propias. Estas funciones se encuentran resolviendo un
problema de valor propio (PVP) asociado al problema original.
Este mtodo incluye al mtodo de separacin de variables.
III.1.MTODOS DE SEPARACIN DE VARIABLES:
1.VIBRACIONES DE UNA PIEL DE TAMBOR: COORDENADAS
RECTANGULARES
La ecuacin de las vibraciones de una piel de tambor est
dada por:

,
_

2
2
2
2
2
2
2
y
z
x
z
a
t
z
(5.3.1.1)
Siendo z el desplazamiento de un punto (x, y) a partir del
plano, el cual es la posicin de equilibrio , en cualquier tiempo
t y
2
= /, siendo la tensin por unidad de longitud a lo
largo de cualquier curva en la piel de tambor que se asume
constante y la densidad (masa por unidad de rea).
Figura 5.3.1
Consideremos que la piel de tambor est situada como en la
figura anterior, y que las aristas estn fijas y son de longitud
unitaria. Asumimos tambin que la piel de tambor se pone a
vibrar al darle alguna inicial, como se describe por ejemplo,
con la ecuacin de la superficie z=f(x,y), y luego se suelta.
Formalicemos desde el punto de vista matemtico del
problema. La EDP para el movimiento viene dada por la
ecuacin:

,
_

2
2
2
2
2
2
2
y
z
x
z
a
t
z
(5.3.1.2)
Que las aristas estn fijas tener las cuatros condiciones de
frontera
z(0,y,t)=0; z(1,y,t)=0; z(x,0,t)=0; z(x,1,t)=0 (5.3.1.3)
El hecho de que la piel de tambor se le una forma inicial
especificada conduce a:
z (x,y,0)=f(x,y). (5.3.1.4)
Finalmente, el hecho de que pueda soltar la piel de tambor
despus de haberle dado esta forma nos dice que:
0 , 1 0 , 1 0 , 0
) 0 , , (
> < < < <

t y x
t
y x z
(5.3.1.5)
Naturalmente partimos del hecho de que z debe estar
acotada.
A continuacin demos la solucin a la ecuacin (5.3.1.2).
Partamos de la condicin de que (5.3.1.2) admite una
solucin de la forma:
Zx,y,0=Xt.Yt.T(t)
Sustituyendo en (5.3.1.2) se obtiene:
( )
Y
Y
X
X
T a
T
T XY YT X a XYT
' ' ' ' ' '
' ' ' ' ' '
2
2
+ +
(5.3.1.6)
Nota: Se ha obtenido (5.3.1.6) dividiendo por
2
XYT.
En (5.3.1.6), el lado izquierdo depende slo de t; y el lado
derecho de x e y. Se tiene, como y sabemos por captulos
anteriores, que cada lado debe ser una constante, la cual
denotamos por
2
,

esto es:
.
' ' ' '
;
' '
2 2
2
+
Y
Y
X
X
T a
T
(5.3.1.7)
En (5.3.1.7), escribmosla as:
.
' ' ' '

2

,
_

+
Y
Y
X
X
(5.3.1.8)
Que a su vez cada lado debe ser una constante,
denotmosla por
2
. Entonces:
( ).
' '
;
' '

2 2 2

Y
Y
X
X
(5.3.1.9)
Si hacemos
2

2

2

2

2
+
2

De la ecuaciones (5.3.1.9) y de la primera ecuacin de
(5.3.1.7) tenemos:
X''+2=0
Y''+2Y=0
T''+a22+2T=0
(5.3.1.10)
Resolviendo las EDOs correspondientes se obtiene:
X=c1.cosx+c2.senx
Y=c3.cosy+c4.seny
T=c5.cosa2+2t+c6.sena2+2t (5.3.1.11)
De la primera y la tercera condiciones en (5.3.1.3)
encontramos c
1
= c
3
= 0, de ah que
Z=c2c4senx.seny.(c5.cosa2+2t+c6.sena2+2t) (5.3.1.12)
De la segunda y cuarta condiciones en (5.3.1.3)
encontramos m, m, m,n= 1,2,3,, de modo que:
Z=c2.c4.sen(mx).sen(ny).(c5.cosa2+2t+c6.sena2+2dt)
(5.3.1.13)
La condicin (5.3.1.5) conduce a c
6
= 0 de modo que:
Z=c2.c4.senmx.senny.c5cosam2+n2t; B=c2.c4.c5
Para satisfacer (5.3.1.4) tendremos que usar el principio de
superposicin, esto es, la sumatoria de soluciones de la
forma (5.3.1.13) sobre todo los valores enteros de m y n.
esto conduce a la solucin de serie doble.

+
1 1
2 2
) cos( ) ( ) (
m n
mn
t n m a y n sen x m sen B Z
(5.3.1.14)
Donde hemos reemplazado B en (5.3.1.13) por B
mn
puesto
que cada solucin puede tener un coeficiente diferente.
Esto satisfar a la condicin (5.3.1.13) si:

1 1
) ( ) ( ) , (
m n
mn
y n sen x m sen B y x f
(5.3.1.15)
Podemos escribir (5.3.1.15):

,
_

1 1
) ( ) ( ) , (
m n
mn
x m sen y n sen B y x f
(5.3.1.16)
Esto es:
, ) ( ) , (
1

m
m
x m sen b y x f
(5.3.1.17)
Con:
. ) (
1

n
mn m
y n sen B b
(5.3.1.18)
Puesto que (5.3.1.17) representa una serie de Fourier en x
se tiene por los mtodos ya conocidos:

1
0
) ( ) , (
1
2
dx x m sen y x f b
m

(5.3.1.19)
Puesto que (5.3.1.18) representa una serie de Fourier en y,
se tiene de forma similar:

1
0
) (
1
2
dy y n sen b B
m mn

(5.3.1.20)
Sustituyendo (5.3.1.19) en (5.3.1.20) encontramos:
dxdy y n sen x m sen y x f B
mn
) ( ) ( ) , ( 4
1
0
1
0

(5.3.1.21)
Sustituyendo (5.3.1.21) en (5.3.1.14) se obtiene la solucin
deseada:
) cos( ) ( ) ( ) ( ) ( ) , ( 4
2 2
1 1
1
0
1
0
t n m a y n sen x m sen dxdy y n sen x m sen y x f Z
m n
+
1
]
1

(5.3.1.22)
Nota:
Por razones la serie (5.3.1.15) con coeficientes en (5.3.1.21)
se llama seno doble de Fourier de Fourier correspondiente a
f(x, y). Podramos haber obtenido en forma similar series
coseno doble de Fourier series dobles de Fourier involucrando
senos y cosenos. Naturalmente la generalizacin a dimensiones
superiores conduce a series triples, cudruples, etc., de
Fourier.
Es muy interesante estudiar, aunque brevemente, el posible
significado fsico de varios trminos en la serie:
[ ] ) cos( ) ( ) (
2 2
1 1
t n m a y n sen x m sen B Z
m n
mn
+

Para ello, asumimos que f(x,y) es tal que todos los trminos de la
serie anterior son cero excepto en aquel para la cual m=3, n=3.
Entonces este trmino es:
B33sen3xsen3ycosa32+32t (5.3.1.23)
Como en el caso de la cuerda, llamamos esto un modo de
vibracin. Se notar que, para todos los valores de tiempo t, el
desplazamiento (5.3.1.23) ser cero a lo largo de las lneas
x=1/3, x=2/3, y=1/3, y=2/3 como se indica en la siguiente figura.
Si pudiramos tomas una pelcula de la vibracin que ocurre en
un intervalo de tiempo, observaramos que los segmentos de piel
de un tambor dentro de los pequeos cuadrados acotados por
estas lneas nodales vibran cada uno, algunas veces en una
direccin y luego en la otra. Por ejemplo, en la figura (5.3.2)
hemos indicado este movimiento en la direccin opuesta donde
los movimientos ocurren simultneamente.
El hecho de que los cuadrados adyacentes estn virando en
direcciones opuestas en un tiempo dado a menudo se indica
diciendo que las vibraciones de estas regiones fuera de fase
entre s.
Figura 5.3.2
Nota:
Lo que se ha mostrado en la figura (5.3.2) es, por supuesto, una
fotografa en un tiempo particular. En otro tiempo la fotografa
podra cambiar de modo que las direcciones de vibracin se
invierten.
Al observar el factor tiempo en (5.3.1.23) es evidente que existe
una periodicidad en las fotografas, esto es, si encontramos la
piel de tambor en un estado particular de movimiento en un
instante de tiempo, entonces estar exactamente en el mismo
estado en algn tiempo mnimo ms tarde llamado perodo.
La frecuencia correspondiente, la cual es el recproco de este
periodo, est dada para el caso (5.3.1.23) por:
f33=a32+322=322a=322
De una manera similar, cada trmino de (5.3.1.14)
correspondiente a un par de valores m y n representa un
modo particular de vibracin teniendo una frecuencia
caracterstica dad por:

2
2 2
n m
f
mn
+

(24)
Por brevedad podemos hablar del modo (m,n) o la
frecuencia del modo (m,n).
MODOS DIFERENTES CON LA MISMA FRECUENCIA
Pueda suceder que existan dos o ms modos diferentes con la
misma frecuencia. Sean dos trminos solamente del desarrollo
(5.3.1.14) correspondientemente a los modo (1,2), (2,1).
Encontramos que la suma de estos trminos es:
B12senxsen2y+B21sen2xsenycos5at (25)
Se ve de inmediato que para todas las selecciones de los
coeficientes B
12
y B
21
la frecuencia est dada por:
f12=a52=125
Si en particular B
12
= B
21,
entonces el desplazamiento para este
caso est dado por:
Y(x,t)=B12.cos5at( senxsen2y+sen2xseny)
Y(x,t)=B12.cos5atsenx.2senycosy+2senxcosx.seny
Yx,t=2B12.cosa5at.senx.seny.(cosx+cosy)
De lo cual se puede concluir que las lneas nodales son x y
= 1 (para lo cual cosx + cosy=0), como se indica por las
lneas sombreadas en la figura (5.3.3)
Tambin se indican en la figura sombreada y sin sombrear
las direcciones de las vibraciones de las regiones
triangulares acotadas por estas lneas en un instante
particular del tiempo, invirtindose stas a un perodo ms
tarde.
Algunas veces nos referimos a dos o ms modos diferentes
que tienen la misma frecuencia como modos
degenerados. Como hemos visto anteriormente, todos los
modos correspondientemente a los casos m n son
degenerados. La serie (5.3.1.14) muestra que el
desplazamiento generado en una piel de tambor se puede
considerar como una suma o superposicin de
desplazamiento correspondientes a los varios modos.
Figura 5.3.3
Una piel de tambor cuadrada puede crear un tono musical -
En analoga con la cuerda vibrante!?
Recordemos que ene le caso de la cuerda vibrante tenemos
una frecuencia ms pequea o fundamental, y que hemos
definido msica como el estado donde todas las frecuencias
ms altas o armnicas son mltiplos enteros de esta
frecuencia fundamental. Si usamos la misma definicin aqu,
resulta que tenemos una mezcla de msica y ruido (esto es,
no msica), puesto que hay frecuencias que son enteros
mltiplos de una frecuencia fundamental como tambin
frecuencias que no lo son. Una consideracin importante a
este respeto son las magnitudes de los coeficientes de los
coeficientes B
mn
, los cuales sirven para indicar aquellos
modos y correspondientes frecuencias de gran
importancia.
1. VIBRACIONES DE UNA PIEL DE TAMBOR CIRCULAR:
COORDENADAS POLARES
Se va a examinar las vibraciones de una piel en la forma a ms
convencional, la cual tiene una forma circular. Asumamos que la piel
de tambor es de radio unitario y est fija ene le borde, de modo que
se puede indicar por la regin que se muestra sombreada en la
figura 5.3.4
Figura 5.3.4
Formulacin matemtica. La ecuacin diferencial parcial est
dada por:
Z a
t
Z
2 2
2
2

(5.3.2.1)
O en coordenadas polares:

,
_

2
2
2
2
2
2
2
2
2
1 1

Z
r r
Z
r r
Z
a
t
Z
(5.3.2.2)
Donde Z = Z(r,,t) es el desplazamiento de cualquier punto (r,) de la
piel de tambor es cualquier tiempo t desde la posicin de equilibrio
en el plano xy. Las condiciones de frontera son:
Z1,,t=0, Z(r,,0)=f(r,), Zr,,0=0 (5.3.2.3)
Expresando la primera el hecho que el borde de la piel de tambor
est fijo, la segunda que la piel de tambor se le da inicialmente una
forma prescrita, esto es, en t = 0, dependiente de r y , y la tercera
que la piel de tambor se suelta de modo que su velocidad inicial es
cero. Un requisito adicional que no enunciaremos explcitamente es
el obvio de que Z est acotada.
Solucin. Asumiendo una solucin separable de la forma Z = RT
donde R, , T dependen slo de r, , t, respectivamente, (5.3.2.2)
llega a ser:
RT''=a2R''T+1rR'T+1r2R''T o T''a2T=R''R +1rR'R+1r2'' (5.3.2.4)
Al dividir por a
2
RT. Haciendo cada lado de la segunda ecuacin en
(5.3.2.4) igual a
2
, tenemos:
2
' ' 1 ' 1 ' '
, 0 ' T'
2
2 2

+ + +
r R
R
r R
R
T a
(5.3.2.5)
La primera ecuacin en (5.3.2.5) tiene solucin T=c1cosat+c2sen
at (5.3.2.6)
La segunda ecuacin en (5.3.2.5) se puede escribir:

+ +
' ' 1 ' 1 ' '
2
2
r R
R
r R
R

(5.3.2.7)
Y si multiplicamos ambos lados de (5.3.2.7) por r
2
podemos hacer un
lado una funcin slo de r y el otro lado una funcin slo de . En tal
caso (5.3.2.7) se convierte en:

+ +
' ' ' ' '
2 2 2
r
R
R
r
R
R
r
(5.3.2.8)
Haciendo cada lado igual
2
conduce a las ecuaciones:
0 ' , 0 ) ( ' ' '
2 2 2 2 2
+ + + R r rR R r
(5.3.2.9)
Haciendo = u en la primera ecuacin de (5.3.2.9), se tiene
, 0 ) ( ' ' '
2 2 2
+ + R u uR R u
(5.3.2.10)
la cual es la ecuacin de Bessel de orden teniendo como solucin
) ( ) (
4 3
u Y c u J c R

+
(5.3.2.11)
As la solucin de la primera ecuacin de (5.3.2.9) es
R=c3Jr+c4Y(r)
La solucin de la segunda ecuacin en (5.3.2.9) es
=c5cos+c6sen
De estos resultados vemos que una solucin de (5.3.2.35) es:
[ ][ ][ ]. cos cos ) ( ) (
2 1 6 5 4 3
at sen c at c sen c c u Y c u J c T R Z

+ + +
(5.3.2.12)
Y trataremos ahora de satisfacer las condiciones de frontera. Puesto
que Z debe ser acotada y puesto que Y

(r) es infinita para r = 0, el
cual es el centro de la piel de tambor, debemos tomar c
4
= 0 de modo
que la solucin llega a ser:
[ ][ ][ ]. cos cos ) (
2 1 6 5 3
at sen c at c sen c c r J c Z

+ +
(5.3.2.13)
De la primera condicin de frontera en (5.3.2.3) podemos ver
entonces que:
0 ) (

J
(5.3.2.14)
sta ecuacin tiene infinitas races positivas, que podemos denotar
por
1
,
2
,... Sin embargo, puesto que las races son en general
diferentes para diferentes rdenes , podemos aadir el suscrito y
escribir estas races como
1
,
2
,o
m
, m = 1, 2, 3, La solucin
(5.3.2.13) es entonces:
[ ][ ][ ]. cos cos ) (
2 1 6 5 3
at sen c at c sen c c r J c Z
m m m
+ +
(5.3.2.15)
La tercera condicin en (5.3.2.3) se satisface si escogemos c
2
= 0, y
as tenemos:
[ ] ], [cos cos )] ( [ at Bsen A r J Z
m m
+
(5.3.2.16)
donde A = c
1
c
3
c
5
, B = c
1
,c
3
,c
6
.
Puesto que cualquier punto (r,) de la piel de tambor tambin se
puede expresar como (r, + 2) de modo que Z es una funcin
peridica de , el orden debe ser un entero denotado por n, donde
n = 0, 1, 2,3, Esto nos lleva a escribir (5.3.2.16) como
[ ] ] [cos cos )] ( [ at Bsenn n A r J Z
mn mn n
+
(5.3.2.17)
Para satisfacer la ltima condicin de frontera en (5.3.2.3) debemos
usar el principio de superposicin sobre las soluciones dadas por
(5.3.2.17). Puesto que los coeficientes A y B pueden depender de m y
n y puesto que m puede asumir los valores 1, 2, 3,..., mientras que n
puede asumir los valores 0, 1, 2, 3,, sta solucin se puede escribir:
[ ]

+
1 0
cos cos ) (
m n
mn mn mn mn n
at n sen b n a r J Z
(5.3.2.18)
As la condicin de frontera conduce a:

1
]
1

'

'

0 1 1
n ) ( n cos ) ( ) , (
n m
mn n mn
m
mn n mn
sen r J b r J a r f
(5.3.2.19)
Podemos pensar en la sumatoria sobre n en (5.3.2.19) como una
serie de Fourier en la variable . De acuerdo al mtodo habitual para
encontrar coeficientes de Fourier, vemos que el coeficiente de cos n,
n = 1, 2, 3, est dado por:
, cos ) , (
1
) (
2
0
1

d n r f r J a
m
mn n mn
(5.3.2.20)
estando el coeficiente para n = 0 dado por:
. ) , (
2
1
) (
2
0
1
0 0 0

d r f r J a
n
m m
(5.3.2.21)
De manera similar, el coeficiente de sen n, n = 1, 2, 3, est dado
por:

2
0
1
) , (
1
) ( d n sen r f r J b
m
mn n mn
(5.3.2.22)
Para hallar los coeficientes de para m = 1, 2, 3,, usamos el hecho
de que (5.3.2.20) es una serie de Bessel, y por el mtodo habitual
obtenemos:
( ) [ ]
. cos ) , ( ) (
2
1
0
2
0
2
1
dr d n r f r rJ
J
a
mn n
mn n
mn

1
]
1

(5.3.2.23)
De manera similar, de (5.3.2.21) tenemos:
( ) [ ]
. ) , ( ) (
2
1
0
2
0
0 0
2
0 1
0
dr d r f r rJ
J
a
m
m
m

1
]
1

(5.3.2.24)
En la misma manera (5.3.2.22) lleva a
( ) [ ]
. ) , ( ) (
2
1
0
2
0
2
1
dr d senn r f r rJ
J
b
mn n
mn n
mn

1
]
1

(5.3.2.25)
La solucin requerida est as dada por (5.3.2.18) usando los
coeficientes acabados de encontrar.
Interpretacin. Como en el caso de la piel de tambor cuadrada,
cada trmino en la solucin de la serie doble (5.3.2.18)
correspondiente a un par dado de valores m y n representa un modo
particular de vibracin. A cada modo le corresponde tambin una
frecuencia caracterstica. Por ejemplo, el trmino correspondiente al
modo (m, n) es:
[ ] at n sen b n a r J
mn mn mn mn n
cos cos ) ( +
(5.3.2.26)
Y la frecuencia correspondiente a este modo es:
.
2 2

mn mn
mn
a
f
(5.3.2.27)
Las frecuencias son los eigen-valores y los modos representan las
eigen-funciones. La frecuencia ms baja, llamada la frecuencia
fundamental, corresponde al modo para el cual m = 1 y n = 0. Este
modo est dado, aparte de una constante, por:
. cos ) (
10 10 0
at r J
(5.3.2.28)
La frecuencia fundamental, usando
10
= 2,405 como la menor raz
positiva de J
0
(x) = 0, est dada por:
.
2
405 , 2
2
10
10

a
f
(5.3.2.29)
Puesto que se puede mostrar que las frecuencias ms altas no son
mltiplos enteros de esta frecuencia fundamental, esperaramos
ruido y no msica de las vibraciones de una piel de tambor, lo cual
por supuesto se confirma en la realidad.
Es de inters examinar las vibraciones para varios modos. En el caso
n = 0 los modos son independientes de y, como se ve de (5.3.2.26),
estn dados por:
at r J
m m 0 0 0
cos ) (
(5.3.2.30)
figura 5.3.5 figura 5.3.6 figura 5.3.7
En el caso m = 1, esto se reduce a (28) y corresponde a la situacin
indicada en la Figura 5.3.5 donde la piel de tambor vibra adelante y
atrs como un todo con frecuencia dada por (5.3.2.29). Para m = 2 el
modo est dado por:
. cos ) (
20 20 0
at r J
(5.3.2.31)
Y la frecuencia correspondiente es:
.
2
520 , 5
2
20
20

a
f
(5.3.2.32)
Puesto que la segunda raz positiva J
o
(x) = 0 es 5,520, Slo hay una
raz entre r = 0 y r = 1 para la cual (5.3.2.31) es cero, esto es,
20
r =
10
,
o r = 2,405/5,520 = 0,436. Esto est representado en la Figura 5.3.6 por
el crculo situado dentro de la piel de tambor. Se llama crculo
nodal debido a que los puntos sobre ste no se mueven Las
vibraciones para este modo son tales que las partes sombreadas y
sin sombrear de la membrana se mueven en direcciones opuestas
en cualquier instante dado de tiempo. En general, si n = 0,
habr m - 1 crculos nodales en la piel de tambor.
En el caso de dependencia de , los modos de vibracin son ms
complicados. Como un ejemplo, considere el modo correspondiente
a m = 2, n = 1 dado por:

[ ] at sen b a r J
21 21 21 21 1
cos cos ) ( +
(5.3.2.33)
Estando la frecuencia dada por:
.
2
106 , 7
2
21
21

a
f
(5.3.2.34)
Si tomamos el caso particular a
21
= 1, b
21
= 0, esto se puede escribir:
. cos ) (
21 21 1
at r J
(5.3.2.35)
Ahora J
1
(
21
r) = 0 para slo un valor de r entre 0 y 1, esto es, para
21
r =

11
o, r =
11
/
21
= 3,832/7,016 = 0,546. Esto representa un crculo nodal
como se indica en la Figura 5.3.7. Tambin cos = 0 para =
/2, 3/2, lo cual representa dos lneas nodales como se indica en la
Figura 5.3.7. La vibracin para este modo se indica as en la Figura
5.3.7 donde las partes sombreadas de la piel de tambor estn
vibrando en una direccin y las partes restantes en la direccin
opuesta, ambas con frecuencia (5.3.2.34).
III.MTODOS NUMRICOS EN LA SOLUCIN DE EDP
UNIDIMENSIONALES
III.1.Justificacin del uso de Mtodos Numricos en la
Solucin de EDP unidimensionales
Los mtodos de aproximacin analtica a la solucin de EDP,
proporcionan Frecuentemente informacin til acerca del
comportamiento de la solucin en valores crticos de la variable
dependiente, pero tienden a ser ms difciles de aplicar que los
mtodos numricos. Entre las consideraciones que justifican el uso de
mtodos numricos para solucionar ciertos tipos de ecuaciones
diferenciales ordinarias y en derivadas parciales se encuentran: 1) Los
datos de los problemas reales presentan siempre errores de medicin,
y el trabajo aritmtico para la solucin est limitado a un nmero finito
de cifras significativas que resultan en errores de redondeo. Por lo
tanto, incluso los mtodos analticos proporcionan resultados que son
aproximaciones numricas; 2) La evaluacin numrica de las
soluciones analticas es a menudo una tarea laboriosa y
computacionalmente ineficiente, mientras que los mtodos numricos
generalmente proporcionan soluciones numricas adecuadas, de
manera ms simple y eficiente [6]. De los mtodos de aproximacin
numrica disponibles para resolver ecuaciones diferenciales, los ms
utilizados son el mtodo de diferencias finitas y el mtodo de
elementos finitos.
III.2.Planteamiento del Problema
La ecuacin de la onda en ste caso representa el movimiento de una
cuerda elstica de longitud a sujeta por los extremos, eligiendo el eje x
para representar la posicin original de la cuerda. Se supone que dicha
cuerda se pone en movimiento mediante alguna fuerza externa, de
forma que empieza a vibrar en el plano horizontal, donde u = u(x,t)
representa el desplazamiento vertical en el punto x y en el instante t,
siendo la ecuacin que verifica tal desplazamiento
b t a x
x
u
c
t
u
< < < <

0 y 0 ,
2
2
2
2
2
Para obtener una solucin nica de esta ecuacin es preciso aadir
tambin unas condiciones iniciales y de contorno apropiadas, que
representarn distintos tipos de fenmenos oscilatorios. Las
condiciones de contorno deben reflejas que los extremos de la cuerda
son fijos, por lo que sern de la forma.
b t a x t a u t u < < < < 0 y 0 ), , ( 0 ) , 0 (
Como en la ecuacin de onda aparece una derivada de segundo orden
respecto a t, hay que imponer dos condiciones iniciales respecto a ella.
Estas pueden consistir en fijar la posicin y la velocidad inicial de los
puntos de la cuerda, expresndose
0 ), ( ) 0 , (
0 ), ( ) 0 , (
a x x g x u
a x x f x u
t
< <
<
Con el mtodo de separacin de variables se obtiene la siguiente
solucin analtica a la ecuacin de onda
b t a x t
a
x n
sen t
a
c n
sen B t
a
c n
A t x u
n
n n
< < < <

,
_

0 y 0 , cos ) , (
1

,
Donde
Y
dx
a
x n
sen x g
c n
B
dx
a
x n
sen x f
a
A
a
n
a
n

0
0
) (
2

) (
2
III.3.Mtodo de Diferencias Finitas
Si u es una funcin de x con derivadas finitas y continuas, entonces por
el teorema de Taylor se tiene que:
... ) ( ' ' '
6
1
) ( ' '
2
1
) ( ' ) ( ) (
3 2
+ + + + + x u h x u h x hU x u h x u
(6.3.1)
Y
... ) ( ' ' '
6
1
) ( ' '
2
1
) ( ' ) ( ) (
3 2
+ + x u h x u h x hU x u h x u
(6.3.2)
Al sumar estas expresiones se obtiene:
4 2
) ( ) ( ' ' ) ( 2 ) ( ) ( h o x u h x u h x u h x u + + + +
, (6.3.3)
donde o(h)
4
denota los trminos que contienen potencias de h de orden
4 o mayor. Asumiendo que estos trminos son pequeos en relacin
con las potencias menores de h, se sigue que:
{ } ) ( ) ( 2 ) (
1
) ( ' '
2
h x u x u h x u
h
x u + +
(6.3.4)
Con un error de orden h
2
. Al restar la ecuacin (6.3.2) de la ecuacin
(6.3.1), y despreciar los trminos de orden h
3
se obtiene:
{ } ) ( )) (
2
1
) ( ' h x u h x u
h
x u +
(6.3.5)
Con un error de h
2
.
La ecuacin (6.3.5) aproxima la pendiente de la tangente en el punto
(x,u(x)) mediante la pendiente de la recta que pasa por los puntos (x-
h,u(x-h)). Esta aproximacin se conoce como aproximacin por
diferencia central. Tambin se puede aproximar la pendiente de la
tangente en (x,u(x))por la pendiente de la recta que pasa por los
puntos (x,u(x)) y (x+h,u(x+h)), obteniendo la aproximacin por
diferencias regresivas.
{ } ) ( ) (
1
) ( ' h x u x u
h
x u
(6.3.6)
O por la pendiente de la recta que pasa por los puntos (x-h,u(x-h)) y
(x,u(x)), obteniendo la aproximacin por diferencias regresivas.
{ } ) ( ) (
1
) ( ' x u h x u
h
x u +
(6.3.7)
Ahora, tomemos una funcin u de las variables x y t. Subdividimos el
plano x-t en un conjunto de rectngulos iguales de lados x=h y
t=k mediante lneas igualmente, espaciadas y paralelas al eje t,
definidas por xi=ih, i=0, 1,2, y lneas igualmente espaciados y
paralelas al eje x definidas por xj=jh, j=0, 1,2, Denotemos el
valor de u en un punto P(ih,jk) de la malla como:
uP=uih,jk=ui,j
Entonces, por la ecuacin (6.3.3)
( ) { } { } ( ) { }
2
,
2
2
2
2
, 1 , 2 ,
h
jk h i u jk ih u jk h h i u
x
u
x
u
j i P
+ +

,
_

,
_

,
Que equivale a:
2
, 1 , , 1
,
2
2
2
h
u u u
x
u
j i j i j i
j i
+
+

,
_

. (6.3.8)
De manera similar,
2
1 , , 1 ,
,
2
2
2
k
u u u
t
u
j i j i j i
j i
+
+

,
_

. (6.3.9)
De las ecuaciones (6.3.6) y (6.3.7) se sigue que dos aproximaciones
para u/t en P son:
2
, 1 ,
k
u u
t
u
j i j i

+
(diferencias progresivas) (6.3.10)
2
1 , ,
k
u u
t
u
j i j i

(diferencias regresivas) (6.3.11)

III.4.Diferencias Finitas para la Ecuacin de Onda
Para la Ecuacin de Calor se plantean tres variantes del mtodo de
diferencias finitas: Diferencias Progresivas, Diferencias Regresivas y
Mtodo de Crank-Nicolson. Para la Ecuacin de Onda se emplea un
mtodo iterativo generado a partir de diferencias finitas.
El dominio de la ecuacin diferencial de onda est dado
por el rectngulo R=x,t:0xa, 0tb, a partir del cual se
inducir una particin, generando as una malla que consta de n 1
por m 1 rectngulos de lados x=h y t=k.
Definido el tamao de la malla, se establece la siguiente notacin:
ux,t=ui,j
ux+h,t=ui+1,j
ux-h,t=ui-1,j
ux,t+k=ui,j+1
ux,t-k=ui,j-1
Se usar la ecuacin en diferencias para calcular los valores sucesivos
que se aproximen a la solucin exacta, que en los puntos de la malla
es u(x
i
,t
j
). Para cada j = 2,3,,m se calcular.
ui,juxi,tj:i=1,2,,n,
Teniendo en cuenta la notacin establecida anteriormente, y las
expresiones (6.3.8) y (6.3.9) se construye la ecuacin la ecuacin en
diferencias.
2
, 1 , , 1 2
2
1 , , 1 ,
2 2
h
u u u
c
k
u u u
j i j i j i j i j i j i + +
+

+
(6.4.1)
Al hacer
h
ck

en (6.4.1), se obtiene:
( )
j i j i j i j i j i j i
u u u u u u
, 1 , , 1
2
1 , , 1 ,
2 2
+ +
+ +
(6.4.2)
Al resolver para u
i,j+1
, o sea, la aproximacin ms avanzada del paso del
tiempo, y reordenar los trminos, se tiene:
( ) ( )
1 , , 1 , 1
2
,
2
1 ,
2 2
+ +
+ +
j i j i j i j i j i
u u u u u
(6.4.3)
La ecuacin (6.4.3) es aplicable para i = 2,3,, n 1 y j = 2,3,, m 1. Esta
expresin sugiere que el (j+1)-simo paso de tiempo requiere de los j-
simo y los (j-1)-simo pasos. Los valores del (j-1)-simo paso vienen
dados por las condiciones iniciales u
i,1
= f(x
i
). Sin embargo, los valores del
j-simo paso no se suelen proporcionar, por lo que usa g(x) para
conseguir los valores de ste paso.
Un algoritmo es estable si el error cometido en una etapa no se ampla
en las etapas posteriores para garantizar la estabilidad de este mtodo
es necesario que
1
h
ck

.
Se desarrolla el polinomio de Taylor de orden uno para u(x,t) alrededor
de (x
i
,0).
( ) ( ) ( ) ( )
2
0 , 0 , , k O k x u x u k x u
i t i i
+ +
(6.4.4)
Se aplica el hecho de que u(x
i
,0) = f(x
i
) = f
i
y u
t
(x
i
,0)) = g(x
i
) = g
i
en (6.4.1),
para obtener aproximaciones numricas en j-simo paso (se sabe t
2
=k).

i i i
kg f u +
2 ,
para
1 , ... , 3 , 2 n i
(6.4.5)
Ya que la frmula (6.4.5) es una aproximacin lineal a los valores del j-
simo paso, el error de truncamiento introducido al usarla es
significativo. Por lo tanto, para evitar que los valores u
i,2
calculados con
la frmula (6.4.2) introduzcan en el proceso un error considerable, se
debe elegir un tamao de paso k pequeo en comparacin con h.
En el caso de que f(x) sea dos veces derivable en el intervalo 0xa, se
podra obtener una mejor aproximacin a u
i,2
. Se sabe que u
xx
(x,0) = f(x),
igualdad que permite desarrollar la frmula de Taylor de orden dos
para obtener una aproximacin mejorada de los valores del j-simo
paso. Si se toma como x = x
i
y t =0 en la ecuacin diferencial parcial de
onda se obtiene:
) (
2
) ( ) 0 , ( ) 0 , (
2
2
1 1
2 2 2
h O
h
f f f
c x f c x u c x u
i i i
i i xx i tt
+
+

+
. (6.4.6)
En la frmula anterior se us el hecho de que
2
1 1
2
) (
h
f f f
x f
i i i
i
+
+

, lo
cual podra ser sustentado en el desarrollo de la frmula (7). Ahora se
desarrolla el polinomio de Taylor de grado dos.
) ( ) 0 , (
2
1
) 0 , ( ) 0 , ( ) , (
3 2
k O k x u k x u x u k x u
tt t
+ + +
. (6.4.7)
Al hacer x = x
i
en (6.4.7) y al aplicar las expresiones (6.4.5) y (6.4.6) en
esta misma.
( ) ( ) ( )
3 2 2
1 2
2 2
) 1 2 (
2
) , ( k O k O h O f f f
h
k c
kg f k x u
i i i i i i
+ + + + +
+
(6.4.8)
Ya que
h
ck

, la frmula (6.4.9) se puede simplificar, a fin de obtener
aproximaciones mejoradas para el j-simo paso.
( ) ) (
2
1
1 1
2
2
2 , +
+ +
i i i i i
f f kg f u

para
1 ..., , 3 , 2 n i
(6.4.9)
BIBLIOGRAFA