Está en la página 1de 89

Elementos en

ECUACIONES DIFERENCIALES PARCIALES


Pongo en el ciberespacio un cursillo que dict en la Universidad
Nacional de Colombia en 1984, sobre las nociones elementales en
ecuaciones diferenciales parciales y estoy convecido que puede ser
de gran utilidad para aquellas personas que estn estudiando las
carreras de fsica terica e ingeniera.
1. ECUACIONES DIFERENCIALES DE PRIMER ORDEN
1.1. . Una ecuacin diferencial parcial para una funcin INTRODUCCIN
?B C ? ? ? ? ? con derivadas parciales , es una relacin de
B C BB BC CC
la forma
, J B C ? ? ? ? ? ? ! " a b a b
B C BB BC CC
donde es una funcin de las variables , en J B C ? ? ? ? ? ?
B C BB BC CC
donde solamente ocurrirn un nmero finito de derivadas.
Una funcin es de , si en alguna regin del espacio ? B C " a b a b solucin
de sus variables independientes, la funcin y sus derivadas satisfacen la
ecuacin idnticamente en B C
Se puede tambin considerar un sistema de ecuaciones diferenciales
parciales; en este caso se consideran varias expresiones como las de
arriba conteniendo una o ms incgnitas y sus derivadas parciales.
Como en la teora de las ecuaciones diferenciales ordinarias una ecuacin
diferencial parcial es de , si las derivadas de mayor orden que orden 8
ocurren en son de orden . Las ecuaciones diferenciales parciales se J 8
clasifican tambin segn el tipo de funcin considerada. En particular J
tenemos la ecuacin diferencial parcial si es lineal en la funcin lineal J
incgnita y sus derivadas, y la ecuacin diferencial parcial casi-lineal
que es ms general, si es lineal en al menos una de las derivadas de J
ms alto orden.
Las ecuaciones diferenciales parciales ocurren frecuentemente y en forma
enteramente natural en problemas de varias ramas de la matemtica,
como se presenta en los siguientes ejemplos.
EJEMPLO 1. Una condicin necesaria y suficiente para que una forma
diferencial
Q B C .B R B C .C a b a b
sea una diferencial exacta, es que cumpla la condicin de integrabilidad
siguiente:

`Q `R
`C `B

Esta se puede considerar como una ecuacin diferencial parcial en las


variables desconocidas y , y cuya solucin general est dada por Q R
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 2
Q R
` `
`B `C
9 9
donde es una funcin . 9 arbitraria
EJEMPLO 2. El problema de hallar un para la ecuacin factor integrante
diferencial ordinaria de primer orden
Q B C .B R B C .C ! # a b a b a b
esto es, una funcin para la cual sea una forma . . . a b B C Q.B R.C
diferencial exacta, conduce a la ecuacin

` Q ` R
`C `B
. .
$ a b
Esta es una ecuacin diferencial parcial de primer orden para . El .
problema de hallar la solucin de la ecuacin diferencial ordinaria es as
reducido al de hallar una solucin de la ecuacin diferencial parcial . a b $
EJEMPLO 3. Dadas dos funciones y , la funcin se dice ? ? B C @ @ B C ? a b a b
fuertemente dependiente de , si existe una funcin tal que @ L @ a b
? B C L @ B C a b a b a b
siempre y cuando . Dos funciones sern fuertemente @ @ !
# #
B C
dependientes si su es nulo. Esto es, jacobiano

` ?@
` BC
B C
B C
a b
a b
!
? ?
@ @


As para dado, esto indica que la ecuacin diferencial parcial de primer @
orden para , , tiene una solucin general ? ? @ @ ? !
B C B C
@ L @ B C a b a b
donde es una funcin diferenciable arbitraria. L
Por ejemplo, supngase entonces y la @ B C B C @ #B @ #C a b
# #
B C
ecuacin diferencial parcial
C? B? !
B C
tendr por solucin a . ? L B C a b
# #
EJEMPLO 4. Dadas dos funciones diferenciables con continuidad y ? B C a b
@ B C a b, la condicin necesaria y suficiente para que ellas formen las partes
real e imaginaria de una funcin analtica, son 0 B C ? 3@ 0 B 3C a b a b
las ecuaciones diferenciales de Cauchy-Riemann
? @ ? @
B C C B
Este es un sistema de dos ecuaciones diferenciales parciales lineales para
las funciones y . Ellas pueden obtenerse formalmente mediante la ? @
condicin

` ?3@B3C
` BC
a b
a b
!
esto segn el ejemplo 3 y observando que y son funciones reales, se ? @
tiene

` ?3@B3C
` B3C
B B C C
B C B C
a b
a b
3 ? @ @ ? !
? 3@ ? 3@
" 3

a b a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 3
o, . ? @ ? @
B C C B
EJEMPLO 5. . Para hallar la superficie que Problema de Plateau D ? B C a b
pase a travs de una curva dada en el espacio y cuya rea es mnima, est
dada por la ecuacin parcial siguiente:


a b " ? ? #? ? ? " ? ? !
C B
# #
BB B C BC CC
Esta es una ecuacin diferencial parcial de segundo orden casi-lineal, la
cual determina a la superficie . D ? B C a b
EJEMPLO 6. La ecuacin diferencial parcial definida por una superficie
desarrollable; esto es, una superficie que puede ser aplicada preservando
las longitudes en regiones planas, es
. ? ? ? !
BB CC
BC
#
Esta es una ecuacin diferencial no lineal para la superficie . D ? B C a b
EJEMPLO 7. Una ecuacin diferencial parcial importante en fsica es la del
potencial o ecuacin de Laplace
. ?? ? ? ? !
BB CC DD
Esta es una ecuacin diferencial parcial lineal de segundo orden que se
cumple, por ejemplo para:
+ expresar la velocidad potencial de un fluido,
, las componentes del campo de fuerzas de la atraccin y Newtoniana
- la distribucin de la temperatura de los cuerpos en equilibrio trmico.
EJEMPLO 8. La ecuacin dela onda
. ?? ? ? ? ? - -98=>+8>/
BB CC DD >>
"
-
#
representa la aproximacin acstica de la velocidad potencial de un gas
homogneo politrpico. Esta es una ecuacin diferencial parcial de
segundo orden lineal para el potencial . ?
EJEMPLO 9. La ecuacin diferencial parcial
. ?? ? ? ? ?
BB CC DD >
"
O
llamada la ecuacin del y se cumple para la distribucin de la calor
temperatura en un cuerpo conductor del calor, siempre que la densidad
y el calor especfico del material sean constantes. sta de nuevo es, una
ecuacin diferencial parcial lineal de segundo orden para . ?
El problema objeto de la teora de las ecuaciones diferenciales es hallar
las las cuales, en todos los casos consisten en determinar el soluciones,
espacio donde ellas se verifican. As para las ecuaciones diferenciales
ordinarias (EDO) el espacio donde ellas se verifican es un espacio
funcional de dimensin finita y resolver una EDO es hallar un conjunto
fundamental para representar a dicho espacio. En el caso de las
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 4
ecuaciones diferenciales parciales (EDP) el espacio de ya no soluciones
es de dimensin finita, pero de todas maneras el resolver una EDP es
determinar el espacio funcional donde ellas se verifican, el cual resulta
ser un espacio funcional de dimensin infinita; en el caso lineal la
dificultad est en la determinacin de un conjunto infinito que permita el
hallazgo de este espacio, el cual por lo general es un espacio de Hilbert,
en los casos ms comunes y de utilidad en la fsica terica, en esos casos
la determinacin del espacio solucin se ecuentra en la localizacin de un
conjunto ortogonal infinito que permita una generalizacin de los
espacios vectoriales de dimensin finita. Hay muchas teoras conducentes
a dicha generalizacin, empezando por la de independencia lineal para
el caso de infinitos elementos, pero que sean numerables. En los casos
ms elementales se utilizan las series de Fourier, y la teora de funciones
ortogonales mediante la tora espectral. Tambin se pueden usar tcnicas
de geometra diferencial o de analisis vectorial como lo podemos observar
en la siguiente seccin.
1.2. ECUACIONES LINEALES Y CASI-LINEALES
Las ecuaciones de primer orden, en general, presentan interpretaciones
geomtricas interesantes. Ser conveniente entonces restringir la
discusin al caso de dos variables independientes, pero es claro que la
teora podr ser extendida inmediatamente a cualquier nmero de
variables. Consideramos entonces ecuaciones de la forma
J B C ? ? ? J B C ? : ; ! " a b a b a b
B C
donde hemos usado las notaciones . Una solucin ? : ? ; D ? B C
B C
a b
cuando la interpretamos como una superficie en el espacio tridimensional,
ser llamada una de la ecuacin diferencial. superficie integral
Comenzamos con la ecuacin diferencial parcial generada por
+ B C ? , B C ? - B C ? . B C # a b a b a b a b a b
B C
Notamos que el lado izquierdo de esta igualdad representa la derivada de
? B C + B C , B C a b a b a b a b en la direccin . Por lo tanto consideremos las curvas
en el -plano, cuyas tangentes en cada punto tienen estas direcciones B C
es decir, la familia a un parmetro de curvas definidas por las ecuaciones
diferenciales ordinarias
, ,
.C .C
.B + BC .> .>
, BC
.B
+ B C , B C $
a b
a b
a b a b a b
As, estas curvas tendrn la propiedad de que, a lo largo de ? B C a b
satisfacen las ecuaciones diferenciales ordinarias
, o,
.? .?
.B + BC .>
- BC ?. BC
- B C ? . B C %
a b a b
a b
a b a b a b
La familia a un parmetro de curvas definidas por la ecuacin sern a b $
llamadas las de la ecuacin diferencial. curvas caractersticas
Supngase ahora que a se le asigna un valor inicial en el punto ? B C a b
a b B C B C
! !
en el -plano. Por el problema de existencia y unicidad para
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 5
ecuaciones diferenciales ordinarias a valores iniciales, las ecuaciones a b $
definirn unvocamente las curvas caractersticas, digamos
B B B C > C C B C > & a b a b a b
! ! ! !
junto con
? ? B C > ' a b a b
! !
que ser nicamente determinado por la ecuacin . a b %
El planteo exacto de este problema, llamado problema de con Cauchy
valor inicial, ser dado para las ecuaciones casi-lineales ms generales,
un poco ms adelante.
Como un ejemplo consideremos la ecuacin diferencial
B? C? ?
B C
!
con las condiciones iniciales para . Las curvas caractersticas ? B C " 9a b
son dadas por la ecuacin

.C C
.B B

teniendo por soluciones


C -B
A lo largo de tales curvas debe satisfacer la ecuacin ?

.C C
.B B

!
cuya solucin es
. ? 5B
!
Como puede ser diferente de una curva caracterstica a otra curva 5
caracterstica, es decir, depende de , tenemos la solucin general -
? 5 - B 5 B a b

! !
C
B
donde es una funcin . Si aplicamos la condicin inicial 5a b arbitraria
para , obtenemos C "
9a b

B 5 B
"
B
!
o
5 = = a b

9
"
=
!
y por lo tanto la solucin requerida ser
. ? C 9
B
C
!

La ecuacin general casi-lineal puede ser escrita en la forma


+ B C ? ? , B C ? ? - B C ? ( a b a b a b a b
B C

La solucin general define una superficie integral en el ? B C D ? B C a b a b
B C D-espacio. La normal a la superficie tendr por direcciones
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 6
a b a b ? ? " (
B C
; as que la ecuacin se puede interpretar como la condicin
mediante la cual la superficie integral, en cada punto, tiene la propiedad
de que el vector es tangente a la superficie. a b + , -
As la ecuacin diferencial parcial define un campo de direcciones a b + , -
llamadas las direcciones teniendo la siguiente propiedad: caractersticas,
la ecuacin es una superficie integral si y slo si en cada punto D ? B C a b
el plano tangente contiene una direccin caracterstica.
Es sugestivo entonces considerar las curvas integrales de este campo
esto es, la familia de curvas del espacio cuyas tangentes coinciden con las
direcciones caractersticas. Estas son llamadas las y curvas caractersticas
son dadas por las ecuaciones

.B .D
+ BCD , BCD - BCD
.C
a b a b a b
) a b
Llamando al valor comn de estas , podemos tambin razones .>
escribirlas en la forma

.B .D
.> .> .>
.C
+ B C D , B CD - B C D a b a b a b
a b *
Por cada punto pasar una curva caracterstica a b B C D
! ! !
B B B C D > C C B C D > D D B C D > a b a b a b
! ! ! ! ! ! ! ! !
Una importante propiedad de las curvas caractersticas es que: Cada
superficie generada por una familia a un parmetro de curvas
caractersticas, es una superficie integral de . Ms an, la inversa a b (
tambin es verdadera.
En efecto, supongamos que es una superficie integral dada. D ? B C a b D
Consideremos la solucin del sistema

.B
.> .>
.C
+ B C ? B C , B C ? B C a b a b a b a b
con para . Entonces para las correspondientes curvas B B C C > !
! !
B B > C C > D ? B > C > a b a b a b a b a b
tambin de se tiene a b (

.D .B
.> .> .>
B C B C
.C
? ? + B C ? ? , B C ? ? - B C ? B C D a b a b a b a b 6
Por esto la curva satisface la condicin de las curvas caractersticas y a b *
tambin descansan sobre por definicin. As contiene en cada punto D D
una curva caracterstica pasando a travs del punto. Por lo tanto D
contiene las curvas integrales. Adems, si dos superficies integrales se
intersectan en un punto entonces ellas se intersectan a lo largo de la curva
caracterstica a travs del punto; y la curva de interseccin de dos
superficies integrales debe ser una curva caracterstica.
En este punto la solucin del problema de Cauchy con valor inicial, esto
es, el de hallar la solucin de satisfaciendo valores iniciales ? B C ( a b a b
dados a lo largo de una curva en el -plano, llega a ser evidente. B C
Podemos tomar como solucin a la superficie integral formada por la
familia de curvas caractersticas a travs de cada punto inicial en el
espacio.
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 7
TEOREMA 1.1 a b T<9,6/7+ ./ G+?-2C Considrese la ecuacin diferencial
parcial casi-lineal de primer orden
+ B C ? ? , B C ? ? - B C ? "! a b a b a b a b
B C
donde a,b,c tiene derivadas parciales continuas con respecto a . B C ?
Supngase que a lo largo de la curva inicial los valores B B = C C =
! !
a b a b
iniciales estn determinados por , siendo funciones ? ? = B C ?
! ! ! !
a b
continuamente diferenciables en . Adems supngase que ! = "

.C
.= .=
! ! ! ! ! !
.B ! !
+ B = C = ? = , B C = ? = ! "" a b a b a b a b a b a b a b a b
Entonces existe una y solamente una solucin definida en alguna ? B C a b
vecindad de la curva inicial, que satisface la ecuacin parcial y las a b "!
condiciones iniciales
? B = C = ? = "# a b a b a b a b a b
! ! !

DEMOSTRACIN. Consideremos la ecuacin diferencial ordinaria

.B .?
.> .> .>
.C
+ B C ? , B C ? - B C ? "$ a b a b a b a b
Por el teorema de existencia y unicidad para ecuaciones diferenciales
ordinarias, podemos determinar una nica familia de ecuaciones
caractersticas
B B B C > B = > a b a b
! !
C C B C > C = > "% a b a b a b
! !
? ? B C > ? = > a b a b
! !
cuyas derivadas con respecto a los parmetros son continuas y tales = >
que ellas satisfacen las condiciones iniciales
B = ! B = C = ! C = ? = ! ? = a b a b a b a b a b a b
! ! !
Notamos que el Jacobiano

` BC
` => .= .=
>!
= > .C
= >
>!
.B a b
a b



, + !
B B
C C
! !
esto segn la condicin . As por el teorema de la funcin implcitala a b ""
ecuacin puede resolverse para en trminos de en una a b "% = > B >
vecindad de la curva inicial , obteniendo de una expresin para la > ! "% a b
solucin dada por
Fa b a b a b a b B C ? = B C > B C
Fa b B C claramente satisface las condiciones iniciales; pues
. Fa b a b a b

B C ? = ! ? =
>!
!
Ms an satisface la ecuacin diferencial . Pues Fa b a b B C "!
+ , + ? = ? > , ? = ? > F F
B C = B > B = C > C
a b a b
? += ,= ? +> ,>
= B C > B C
a b a b
? = B = C ? > B > C
= B > C > > B > C >
a b a b
? ! ? " -
= >
puesto que de las ecuaciones
= = B C > > B C a b a b
tenemos
. = ! = B = C > " > B > C
> B > C > C B > C >
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 8
Adems es nica. Pues supngase que es cualquier otra F F a b a b B C B C
solucin satisfaciendo las condiciones iniciales y un punto a b B C
w w
arbitrario en una vecindad de la curva inicial. Consideremos la curva
caracterstica
B B = > C = > ? ? = > a b a b a b
w w w
donde . En estas curvas estan en ambas superficies puesto = = B C > !
w w w
a b
que aqu pasan a travs de la curva inicial por el punto
. B = ! B = C = ! C = ? = ! ? = a b a b a b a b a b a b
w w w w w
! ! ! !
Pero si una curva caracterstica tiene un punto comn con una superficie
integral ella est colocada totalmente sobre la superficie. As las curvas
caractersticas se encuentran en ambas superficies y en particular para >
w
tenemos
. F F F a b a b a b a b a b a b B C B = > C = > ? = > B C
w w w w w w w w w w w w

Como un ejemplo consideremos la ecuacin diferencial parcial


?? ? "
B C
con la condicin inicial para . Notamos que B = C = ? = ! = "
"
#
la condicin se satisface; pues a b ""

.C
.= .= #
.B "
+ , = " ! :?/= ! = "
Resolviendo las ecuaciones diferenciales ordinarias

.B .?
.> .> .>
.C
? " "
con las condiciones iniciales
B = ! = C = ! = ? = ! = a b a b a b
"
#
hallamos la familia de curvas caractersticas
B > => =
" "
# #
#
C > =
? >
=
#
Cuando resolvemos a y en trminos de y , obtenemos = > B C
= >
B
" "
CB
C
#
#
C C
# #
y finalmente la solucin ser
. ?
# CB B
#C
a b
C
#
#

2. ECUACIN GENERAL DE PRIMER ORDEN


PARA FUNCIONES EN DOS VARIABLES
Una ecuacin diferencial parcial general de primer orden para funciones
de dos variables y sus derivadas , puede ser escrita en D B C D : D ; a b
B C
la forma
J B C D : ; ! " a b a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 9
Hemos supuesto que tiene segundas derivadas continuas con respecto a J
sus variables . B C D : ;
Sorprendentemente al resolver una ecuacin de primer orden ms general
el anlisis se reduce a la resolucin de un sistema de ecuaciones
diferenciales ordinarias. La geometa, sin embargo, no necesariamente es
tan simple como para las ecuaciones casi-lineales, donde se haca
referencia principalmente a las curvas integrales. En el caso general nos
referiremos, como se ver, a objetos gemtricos ms complicados,
llamados (o ). fajas tiras
Supngase ahora que en algn punto en el espacio, a b B C D
! ! !
consideramos una posible superfice integral y las direcciones D D B C a b
a b : ; " de su plano tangente. La ecuacin establece que existe una
relacin.
J B C D : ; ! a b
! ! !
entre las direcciones y . Esto es, la ecuacin diferencial limitar sus : ;
soluciones a aquellas superficies teniendo planos tangentes
pertenecientes a familias a un parmetro.

En general esta familia de planos ser la envolvente cnica (ver la grfica)
llamada el . cono de Monge
As la ecuacin diferencial define un campo de conos teniendo la a b "
propiedad de que una superficie ser una superficie integral si y
solamente si es tangente a un cono en cada punto. Notamos que en el
caso casi-lineal el cono degenera en una recta. Consideremos por un
momento que tenemos una familia a un parmetro de superficies
integrales
D 0 B C - # a b a b
donde suponemos que tiene segundas derivadas parciales continuas con 0
respecto a sus variables . Como podemos suponer de la B C -
interpretacin geomtrica de la ecuacin diferencial, la envolvente, si
existe, ser de nuevo una solucin.
Para hallar la envolvente de una familia de superficies consideramos los
puntos de interseccin de superficies vecinas
, y , D 0 B C - D 0 B C - - a b a b ?
Restando y dividiendo por , ?-
!
0 BC- 0 BC- -
-
a b a b ?
?
y pasando al lmite cuando , tenemos la envolvente dada por las ?- !
dos ecuaciones siguientes:
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 10
a b
D0 BC-
!0 BC-
a b
a b
-
$
Si podemos resolver para en la segunda y eliminando en la primera, -
tenemos la envolvente expresada como
D 1 B C 0 B C - B C a b a b a b
La envolvente satisface la ecuacin diferencial dada. En efecto suponiendo
0 !

-
, se obtiene
a b
1 0 0 - 0
1 0 0 - 0
B B - B B
C - C C
C
%
Esto es, la envolvente tendr las mismas derivadas que un miembro de la
familia, y la ecuacin diferencial es justo una relacin entre aquellas
derivadas como se verificar.
Suponemos conocida una familia a dos parmetros de superficies
integrales, digamos
D 0 B C + , & a b a b
Entonces podemos hallar soluciones dependiendo de una funcin
arbitraria. Pues si consideramos
, + Fa b
donde es diferenciable, obtenemos la familia F
D 0 B C + + a b a b F
! 0 0 +
+ ,
w
F a b
ser una superficie integral dependiendo de la funcin . F
Esto sugiere que si damos una familia a dos parmetros de superficies
integrales, podemos seleccionar una familia a un parmetro de aquellas
superficies cuya envolvente contiene una curva dada en el espacio y esto
es, hallar una solucin para un problema de valores iniciales. Notemos
que es enteramente razonable expresar la existencia de una familia a dos
parmetros de soluciones. Por supuesto, podemos iniciar con una familia
arbitraria de superficies, digamos
D 0 B C + , ' a b a b
Si logramos resolver para los parmetros y en el sistema formado por + ,
las dos derivadas parciales
: D 0 B C + ,
B B
a b
; D 0 B C + ,
C C
a b
y se sustituye y en la ecuacin , se obtiene la ecuacin diferencial + , ' a b
parcial
D 0 B C + B C : ; , B C : ; ! ( a b a b a b a b
tenindose la familia dada como solucin. Llamaremos a la familia a dos
parmetros de soluciones, de la ecuacin diferencial. solucin completa
Supongamos ahora que tenemos la solucin completa y D 0 B C + , a b
deseamos hallar una envolvente conteniendo la curva inicial siguiente
B B = C C = D D = a b a b a b
con tal objeto consideremos las dos ecuaciones
K = + , D = 0 B = C = + , ! )

=
a b a b a b a b a b a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 11
y
K = + , D = 0 B = 0 C = ! *
= B C
w w w
a b a b a b a b a b
de donde se obtiene una relacin entre digamos en trminos del + ,
parmetro : . La envolvente = + + = , , = a b a b
D 0 B C + = , = a b a b a b
! 0 + = 0 , =
+ ,
w w
a b a b
contendr la curva inicial. Pues ambas ecuaciones se cumplen
idnticamente en por ; la primera como una consecuencia = B = C = D = a b a b a b
directa de la ecuacin , y la segunda por la derivabilidad de la primera a b )
D = 0 B = 0 C = 0 , =
w w w w
B C ,
a b a b a b a b
o
! 0 + = 0 , =
+ ,
w w
a b a b
donde hemos usado la ecuacin . a b *
Como un ejemplo, consideremos la familia a dos parmetros del plano
que estn a una distancia unitaria del origen, es decir, los planos respecto
a la esfera unitaria. Ellos estan dados por las ecuaciones
D B C
+ , "
" + , " + , " + ,

a b a b a b
# # # # # #
y se puede demostrar que es una solucin completa de la ecuacin
diferencial parcial
a b a b D :B ;C " : ; !
#
# #
si deseamos hallar una supercifie integral conteniendo a la curva inicial,
dada, digamos por el crculo de radio alrededor del eje , de ecuacin
"
#
D
D " B C ! #
" "
# #
cos sin ) ) ) 1
se obtiene la familia de planos dada por las ecuaciones
K + , " + , " ! a b a b

) ) )
# #
+ ,
# #
cos sin
K + , + , !
)
a b ) ) ) sin cos
de donde se concluyen las relaciones
o, + , + ,
% % "'
$ $ #&
# #
cos sin ) )
la superficie integral requerida es entonces la envolvente de la familia
D B C
% % &
$ $ $
cos sin ) )
Todo est bien si ya tenemos una familia a dos parmetros de superficies
integrales. Continuamos por consiguiente con un ataque ms sistemtico
con el fin de escribir un sistema de ecuaciones ordinarias de soluciones
con las cuales deseamos una solucin, de la ecuacin diferencial parcial
dada.
Demos una superficie integral teniendo segundas derivadas D D B C a b
parciales continuas con respecto a y a . En cada punto la superficie ser B C
tangente a un cono de (ver la figura) Monge
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 12

Las lineas de contacto entre los planos tangentes a la superficie y los
conos definen un campo de direcciones en superficie, llamado el campo
de y las curvas integrales de este campo direcciones caractersticas
definen una familia de curvas caractersticas.
Con el objeto de describir las curvas caractersticas, obtenemos primero
una expresin analtica para el cono de Monge en algn punto . a b B C D
! ! !
Este es la envolvente de una familia a un parmetro de planos
D D : B B ; C C
! ! !
a b a b
donde y satisfacen : ;
o, J B C D : ; ! ; ; B C D : ; "" a b a b a b
! ! ! ! ! !
y por lo tanto puede ser dada por las ecuaciones


a b
DD : BB ; B C D : CC
! BB ; CC
! ! ! ! !
!
! !
.;
.:
a b a b

a b a b
"#
De las ecuaciones obtenemos a b ""

.J
.: .:
: ;
.;
J J ! "$ a b
as que puede ser eliminada de , y las ecuaciones, definiendo el
.;
.:
a b "#
cono de Monge, se escriben



a b
a b a b
a b
J B C D : ; !
D D : B B ; C C

"%
! ! !
! ! !
BB
J J
CC
!
: ;
!
Notemos que dando y las dos ltimas ecuaciones definen la lnea : ;
generatriz del cono, es decir, la lnea de contacto entre el plano tangente y
el cono. As en nuestra superficie integral dada, donde cada punto
: : B C ; ; B C
! ! ! ! ! !
a b a b y son conocidos, el plano tangente estar dado
por
D D : B B ; C C
! ! ! ! !
a b a b
juntamente con la ecuacin

BB
J J
CC
!
: ;
!

determinndose la lnea de contorno con el cono de Monge


=
BB DD
J J :J ;J
CC
! !
: ; : ;
!

o la direccin caracterstica
a b J J :J ;J
: ; : ;
Se sigue entonces que las curvas caractersticas estan determinadas por el
sistema de ecuaciones diferenciales ordinarias

.B .D
J J :J ;J
.C
: ; : ;
"& a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 13
o

.B .D
.> .> .>
: ; : ;
.C
J J :J ;J "' a b
Si la superficie integral es todava desconocida, es claro que las tres
ecuaciones o no sern todava suficientes para determinar las a b a b "& "'
curvas caractersticas comprendiendo la superficie. Sin embargo, se puede
obtener mayor informacin sobre el comportamiento de y a lo largo de : ;
las curvas caractersticas


a b
.:
.> .> .>
B C B : C ;
.B .C
.;
.> .> .>
B C B : C ;
.B .C
: : : J : J
; ; ; J ; J
"(
Retornando a la ecuacin y diferenciando primero con respecto a y a b " B
luego con respecto a , tenemos C
J J : J : J ; !
B D : B ; B
J J ; J : J ; !
C D : C ; C
As que las ecuaciones pueden escribirse en la forma a b "(


a b
.:
.>
B D
.;
.>
C D
J J :
J J ;
")
donde hemos usado que . : ;
C B
Tenemos entonces asociado con la superficie integral dada, una D D B C a b
familia de curvas caractersticas en la superficie, tal que las coordenadas
B > C > D > : > ; > a b a b a b a b a b , a lo largo de la curva y los nmeros estan
relacionados mediante el sistema de cinco ecuaciones dadas en y . a b a b "' ")
Estas cinco ecuaciones diferenciales ordinarias son llamadas ecuaciones
caractersticas relativas a la ecuacin diferencial parcial . a b "
Supngase ahora que la superficie est an por determinar. La discusin
previa nos permite considerar la ecuacin diferencial parcial junto con a b "
el sistema de ecuaciones caractersticas y como un sistema de a b a b "' ")
seis ecuaciones


a b
J BCD:; ! J J J :
J :J ;J J J ;
a b
.C
.> .>
; B D
.:
.B .D
.> .> .>
: : ; C D
.;
"*
para las cinco funciones desconocidas . Este sistema B > C > D > : > ; > a b a b a b a b a b
es sobredeterminado, sin embargo la primera ecuacin J B C D : ; ! a b
no es superflua, y no constituye una restriccin. Pues, a lo largo de una
solucin de las cinco ltimas y mediante la regla de la cadena se sigue

.J .B .D
.> .> .> .> .> .>
B C D : ;
.C .: .;
J J J J J
. J J J J :J J J J J J : J J J J ; ;J J !
B : C ; D ; : B : D ; C ; D D ;
Siguindose que = constituye una de las cinco ecuaciones J -98=> integral
restantes.
Es claro entonces que si se satisface en un inicial digamos J ! punto
B C D : ; > !
! ! ! ! !
para , las cinco ecuaciones caractersticas determinan
una nica solucin pasando tambin por el punto y B > C > D > : > ; > a b a b a b a b a b
justo con se satisface para todo . J ! >
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 14

Una solucin de puede ser interpretada como una tira (o franja, o a b "*
cinta). Esto es, un espacio de curvas junto con una B B > C C > D D > a b a b a b
familia de planos tangentes determinados por las direcciones . a b : ; "
Para fijo, los cinco nmeros se determinan definiendo un > B C D : ;
! ! ! ! ! !
elemento de la tira, es decir, un punto de la curva y el correspondiente
plano tangente.
Note que ningn conjunto de cinco funciones puede ser determinado
como una tira. En efecto se requiere que los planos sean tangentes a la
curva, lo cual se da por la condicin

.D > .B > .C >
.> .> .>
a b a b a b
: > ; > #! a b a b a b
llamada la En nuestro caso la condicin de faja se condicin de faja.
garantiza por las primeras cinco ecuaciones caractersticas.
Llamaremos a las tiras que son solucin de y sus a b "* tiras caractersticas
curvas correspondientes, . curvas caractersticas
TEOREMA 2.1. Si las tiras caractersticas tienen un elemento en B C D : ;
! ! ! ! !
comn con la superficie integral , entonces se hallan D ? B C a b
completamente sobre la superficie.
En efecto, dada una solucin , considrense las dos ecuaciones ?
diferenciales ordinarias


a b
.B
.>
: B C
.C
.>
; B C
J BC? BC ? BC ? BC
J BC? BC ? BC ? BC
a b a b a b a b
a b a b a b a b
#"
para las variables con condiciones iniciales . Por B > C > B ! B C ! C a b a b a b a b
! !
los teoremas de existencia y unicidad para ecuaciones diferenciales
ordinarias ellas sern unvocamente determinadas por las curvas , B B > a b
C C > a b junto con la correspondiente curva sobre la superficie integral
B B > C C > D ? B > C > ## a b a b a b a b a b a b
Adems se satisfacen las siguientes ecuaciones

.C .C
.> .> .>
B C B : C ;
.B
? ? ? J ? J #$ a b

.?
.>
BB : BC ;
B
? J ? J #% a b
y

.?
.>
CB ; CC ;
C
? J ? J #& a b
donde , y , . ? ! ? B C D ? ! ? B C : ? ? B C ; a b a b a b a b a b
! ! ! B B ! ! ! C C ! ! !
Suponiendo por otro lado que
J B C ? B C ? B C ! #' a b a b a b a b
B C
y as
J J ? J ? J ? !
B ? B ?B BB ?C CB
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 15
J J ? J ? J ? !
C ? C ?B BC ?C CC
por lo tanto las ecuaciones y pueden escribirse en la forma a b a b #$ #%

.?
.>
B D B
B
J J ? #( a b
y

.?
.>
C D C
J J ? #) a b
donde se supone que . ? ?
BC CB
Examinemos ahora las cinco funciones , B B > C C > D ? B > C > a b a b a b a b a b
: ? B > C > ; ? B > C >
B C
a b a b a b a b a b a b , . Ellas determinan las tiras caractersticas
pues satisfacen las cinco ecuaciones caractersticas y a b a b a b a b #" ## #$ #(
a b a b #) #' , adems de la ecuacin finita . Y ellas determinan una nica tira
caracterstica para el elemento inicial . Pero las tiras B C D : ;
! ! ! ! !
deseadas estn sobre la superficie por definir, as el teorema est
probado.

Es claro ahora, que con las consideraciones previas, podemos proceder a


resolver el problema de Cauchy con valor inicial y el auxilio de estas tiras
caractersticas.
TEOREMA PROBLEMA DE CAUCHY 2.2. ( ). Consideremos la ecuacin diferencial
parcial
J B C D : ; ! #* a b a b
donde tiene segundas derivadas parciales con respecto a sus variables J
B C D : ; B B = C C = . Supongamos que junto con la curva inicial
! !
a b a b
! = " D D B C D , los valores iniciales son asignados por teniendo
! ! ! !
segundas derivadas continuas. Supngase an que las funciones
contnuamente diferenciables han sido definidas satisfaciendo : = ; =
! !
a b a b
las dos ecuaciones


a b
J B = C = D = : = ; = !
: ;
a b a b a b a b a b a b
! ! ! ! !
.D .B .C
! ! !
.= .= .=
! !

$!
Finalmente, supngase que las cinco funciones satisfacen la B C D : ;
! ! ! ! !
condicin

.B
.=
!
J B C D : ; J B C D : ; ! $"
; ! ! ! ! ! : ! ! ! ! !
.C
.=
a b a b a b
!

Entonces en alguna vecindad de la curva inicial existir una y solamente
una solucin de conteniendo la faja inicial, es decir tal que D ? B C #* a b a b
. D B = C = D = D B = C = : = D B = C = ; = a b a b a b a b a b a b a b a b a b a b a b a b
! ! ! B ! ! ! C ! ! !
DEMOSTRACIN. Consideremos el sistema de ecuaciones caractersticas


a b
.B
.> .> .>
: ; B B
.C .:
.D
.> .>
: ; C B
.;
J J J :J
:J ;J J ;J
$#
con la familia de condiciones iniciales B B = C C = D D =
! ! !
a b a b a b
: : = ; ; = > !
! !
a b a b para . Del teorema de existencia y unicidad, del
problema de valores iniciales para ecuaciones diferenciales ordinarias,
podemos obtener una familia de soluciones dependiendo del parmetro
inicial =
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 16
B \ = C ] = D ^ = : T = ; U = $$ a b a b a b a b a b a b
donde y tienen derivadas continuas con respecto a y a , \ ] ^ T U = >
y adems que satisfacen las condiciones iniciales
\ = ! B = ] = ! C = ^ = ! D = T = ! : U = ! ; = $% a b a b a b a b a b a b a b a b a b a b
! ! ! ! !
determinndose as las tiras caractersticas surgidas de los elementos
iniciales, debemos demostrar que las curvas caractersticas de estas
franjas
B \ = > C ] = > D ^ = > a b a b a b
necesariamente forman una superficie. En particular si resolvemos las dos
primeras ecuaciones para y en trminos de y , y luego sustituyendo = > B C
en la ltima, se obtiene la superficie
D ^ = B C > B C D B > a b a b a b a b
como una funcin de las variables y . Esto se puede dar para alguna B C
vecindad alrededor de cada punto en la curva inicial puesto R a b 0 ( 0 (
que, a lo largo de la curva inicial el Jacobiano

` \]
` => .= .=
>!
= > .C
=
>!
.B
; :
a b
a b


a b J J ! $&
\ \
] ] >
! !
esto por la condicin , dada por hiptesis. a b $$
Tenemos entonces definido, en , las ecuaciones R a b 0 (
a b
== BC >> BC B\ = BC > BC C] = BC > BC

D^ = BC > BC :T = BC > BC ;U = BC > BC



a b a b a b a b a b a b a b a b
a b a b a b a b a b a b a b a b a b
$'
Debemos probar que es una solucin de la ecuacin diferencial D B C a b
parcial , es decir, de la ecuacin a b #*
J B C D B C D B C D B C ! a b a b a b a b
B C
Pero se sabe, que para las tiras caractersticas se tiene
J B C D : ; ! a b
slo nos resta probar que
y, : D ; D
B C
Con este objeto consideremos la expresin
Y = > ^ T\ U] $(

a b a b
= = =
Para > !
Y = ! : ; ! a b
.D .B
.= .= .=
! !
.C
! ! !
por la condicin de tira, para los elementos iniciales . Mostremos que a b $!
Y ! >

para todo , lo cual expresa el hecho, de que las tiras caractersticas


quedan suavemente juntas. Para hacer esto, consideremos la derivada de
Y > con respecto a .

`Y
`>
=> > = => =>
^ T \ T\ U]
^ T\ U] T \ U ] U ] T \
`
`=
> > > = > = > > = > =
a b
! J T J U J J T \ J J U ]
: = ; = B D = C D =
a b a b
donde hemos usado las ecuaciones caractersticas . Tenemos adems a b $#
por adicin y sustraccin de y luego reagrupando trminos tenemos J J
D =

`Y
`>
B = C = D = : = ; = D = = =
J \ J ] J ^ J T J U J ^ T\ U] a b
J J Y J Y
= D D
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 17
puesto que en y . Ahora para fijo, la funcin satisface la J ! = > = Y

=
ecuacin diferencial ordinaria

.Y
.>
D
J Y
cuya solucin dada por
Y Y ! / a b
J .>
'
!
>
D
Puesto que para se sigue que para todo es decir > ! Y ! >

Z
= = =
T\ U]
Observemos ahora las cuatro ecuaciones
Z
= = = = B = C =
T\ U] ^ ^ \ ^ ]
. ^ T\ U] ^ ^ \ ^ ]
> > > B > C >
>
La primera se sigue de la discusin previa, la segunda es justo la tercera
ecuacin caracterstica, y las ltimas dos por diferenciacin de las
identidades . a b $'
Las cuatro cantidades pueden ser consideradas como dos T U ^ ^
B C
soluciones, para dos ecuaciones lineales en dos variables desconocidas.
Sin embargo, puesto que cerca de el determinante a b 0 (


\ \
] ]
!
= >
= >
en virtud de la ecuacin las dos soluciones son necesariamente a b $&
idnticas, es decir;
T = > ^ B = > C = > a b a b a b a b
B
U = > ^ B = > C = > a b a b a b a b
C
0
a b
: BC ^ BC
; BC ^ BC
a b a b
a b a b
B
C
$)
como queramos demostrar.
Las soluciones contienen la tira inicial. Pues ^ ^ B C a b
^ B C ^ B = ! C = ! ^ = ! ^ = a b a b a b a b a b a b
! ! !
^ B C : B C : B = ! C = ! : = ! : =
B ! ! ! ! !
a b a b a b a b a b a b a b
^ B C ; B C ; B = ! C = ! ; = ! ; =
C ! ! ! ! !
a b a b a b a b a b a b a b
esto en virtud de las ecuaciones y . Para demostrar que a b a b a b $% $' $)
^ ^ B C a b as determinado, es nica, supongamos que existe otra
solucin definida en y contenida en una tira inicial. ^ ^ B C R
w
a b 0 (
Escojamos un punto arbitrario en y resolviendo para y a b B C R = >
w w w w
0 (
en las ecuaciones asociadas se tiene
= = B C > > B C
w w w w w w
a b a b
Consideremos ahora los elementos iniciales . B = C = D = : = ; =
! ! ! !
w w w w w
!
a b a b a b a b a b
Por lo que se ha supuesto estos elementos estn todos colocados sobre la
superficie integral. As la unicidad de la tira caracterstica determinada,
brinda para estos elementos las ecuaciones
B \ = > C ] = > D ^ = > : T = > ; U = > a b a b a b a b a b
w w w w w
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 18
y es preciso tambin considerarlas en ambas superficies. Esto es
^ \ = > ] = > ^ = > ^ \ = > ] = >
w w w w w w
a b a b a b a b a b a b a b
y en particular para tenemos >
w
^ B C ^ \ = > ] = > ^ = >
w w w w w w w w w w
a b a b a b a b a b
. ^ \ = > ] = > ^ B C a b a b a b a b
w w w w w w
Note que tan slo tenemos una nica solucin construida en una vecindad
R 0 ( 0 ( alrededor de un punto en la curva inicial.
Debemos tener la solucin extendida para incluir la curva completa. Esto
puede darse mediante un recubrimiento apropiado de la curva inicial
formado por vecindades en donde vale la unicidad. R 0 (
Supongamos entonces que la regin prxima a la curva inicial es aplicada
homeomrficamente sobre alguna de un -plano tal que la curva inicial ? @
quede aplicada en una porcin de la lnea . El sistema de > ? !
vecindades que tiene por restriccin propia, el tamao de R ? @ R a b 0 (
suponindolas circulares. Consideremos ahora un recubrimiento finito W
de por . Esto se puede tener, dado que la curva inicial y tambin > R ? @ a b
su imagen son compactas. Las intersecciones de este cubrimiento >
tendrn un dimetro mnimo, digamos . (ver la figura). Supongamos <
ahora cubierta con un segundo recubrimiento de vecindades > X R ? @ a b
teniendo dimetro mximo de
<
#


Este recubrimiento tendr entonces la propiedad de que las X
intersecciones de cualquiera de sus vecindades estar completamente
dentro de al menos una de las vecindades del recubrimiento . W
Se consideran las soluciones que han sido construidas por las ^ B C
X
a b
vecindades del cubrimiento . Es claro que ellas definirn una solucin X
del problema de Cauchy para la curva completa. Todo lo que tenemos que
mostrar es que los concuerdan a lo largo de las intersecciones de sus ^
X
respectivas vecindades. Pero esto es claro por la prueba de unicidad para
las vecindades del primer recubrimiento . Hemos visto anteriormente W
que podemos resolver el problema de Cauchy con auxilio de una integral
completa. Existe sin embargo otro tipo de soluciones que es tambin
conveniente para este propsito. A saber, en cada punto en el a b B C D
! ! !
espacio, existe una familia a un parmetro de elementos
B C D : = ; =
! ! ! ! !
a b a b por medio de cada una de las cuales podemos pasar a
las tiras caractersticas. Esta familia, a un parmetro de tiras, formar en
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 19
general, cierta superficie cnica con una singularidad en el punto
a b B C D
! ! !
, para ms detalles ver [2].

3. METODO DE SOLUCIONES DE LA ECUACION


.B .D
T U V
.C

3.1. METODO DE LAS PROPORCIONES
Las curvas integrales del conjunto de soluciones de las ecuaciones
diferenciales de la forma

.B .D
T U V
.C
" a b
donde son funciones definidas en un conjunto abierto , T U V d

H
$
continuas y diferenciables , dan origen a una familia de a b T U V d H
curvas a dos parmetros en el espacio tridimensional. Si podemos
obtener de la ecuacin dos relaciones de la forma a b "
? B C D - ? B C D - #
" " # #
a b a b a b
involucrando dos constantes arbitrarias, entonces variando estas dos
constantes obtenemos una familia a dos parmetros cumpliendo la
ecuacin . a b "
En particular, para hallar las funciones y se observa que para ? ?
" #
cualquier direccin tangencial a travs del punto a la superficie a b B C D
? B C D -
" "
a b se satisface la relacin

`? `? `?
`B `C `D
" " "
.B .C .D !
Si es un adecuado sistema de superficies a un parmetro, la ? -
" "
direccin tangencial a la curva integral a travs de cualquier punto a b B C D
es tambin una direccin tangencial a esta superficie. Por lo tanto
T U V !
`? `? `?
`B `C `D
" " "
Para hallar (y, anlogamente experimentamos con un buen nmero ? ?
" #
de funciones y , de tal manera que se cumpla T U V
w w w
TT UU VV ! $
w w w
a b
y tales que exista una funcin con la propiedad ?
"
T U V %
w w w `? `? `?
`B `C `D
" " "
a b
es decir, tal que
T .B U .C V .D &
w w w
a b
sea una forma diferencial exacta . .?
"
EJEMPLO. Hallar las curvas integrales de las ecuaciones

.B .D
C BC +D B BC +D D BC
.C
a b a b a b
' a b
En este caso tenemos, en la notacin anterior
T C B C +D U B B C +D V D B C a b a b a b
Si por tanteo tomamos
T U V
w w w " "
D D D
BC
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 20
Entonces la condicin es evidentemente verificada y la funcin de la a b $ ?
"
ecuacin tomar la forma a b %
?
"
BC
D
Anlogamente si tomamos
T B U C V +
w w w
de nuevo la condicin se cumple, y la funcin correspondiente es a b $
? B C +D
#
"
#
# #
a b
Por lo tanto las curvas integrales de la ecuacin diferencial son los
miembros de la familia a dos parmetros
B C - D B C #+D - (
" #
# #
a b
Otro camino para obtener estas ecuaciones, es haciendo uso de las
propiedades de las razones aritmticas, as la ecuacin puede a b '
escribirse en la forma

.B.C
BC
.D
D BC
a b
a b
#

Esta es una ecuacin diferencial ordinaria en la variables y cuya B C D
solucin es
B C - D )
"
a b
Anlogamente se pueden hacer combinaciones como sta

B.BC.C
+ BC D D BC
.D
a b a b

la cual es equivalente a
B.B C.C +.D !
de donde sale de la derivacin implicita, que
. B C +D !

" "
# #
# #
obtenindose la otra solucin
B C #+D - *
# #
#
a b
Las ecuaciones y son justamente las mismas de . a b a b a b ) * (

3.2 FORMA Y ECUACIONES DE PFAFFIAN


La expresin

!
a b
3"
8
3 " # 8 3
J B B B .B
donde los son funciones de algunas o todas las J 3 " # 8 8
3
a b
indeterminadas , es llamada . B B B
" # 8
forma diferencial de Pfaffian
Anlogamente la relacin

!
a b
3"
8
3 " # 8 3
J B B B .B !
es llamada . ecuacin diferencial de Pfaffian
Para el caso de dos variables se tiene, el estudio de las ecuaciones
diferenciones exactas y se conoce el siguiente resultado.
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 21
TEOREMA. Una ecuacin diferencial de Pfaffian en dos variables siempre
posee un factor integrante.
Los siguientes lemas son de gran utilidad y las pruebas son rutinarias y
fciles de hacer.
LEMA 1. Una condicin necesaria y suficiente para que exista entre dos
funciones y una relacin de la forma no ? B C @ B C J ? @ ! a b a b a b
conteniendo explcitamente a o, a es que B C
.
` ?@
` BC
B C
B C
a b
a b
!
? ?
@ @

LEMA 2. Si es un vector tal que y es una funcin arbitraria \ \ <9>\ ! .
de entonces . B C D \ <9> \ ! a b a b . .
Note que aqu y es el rotacional de . \ d <9>\ \
$
TEOREMA FUNDAMENTAL. Sea un dominio abierto, una condicin H d

8
necesaria y suficiente para que la ecuacin diferencial

!
a b
3"
8
3 " # 8 3
J B B B .B \ .< !
sea integrable es que . \ <9>\ !
Siendo , y , . \ J J J .< .B .B .B J G a b a b
" # 8 " # 8 3
"
H
La demostracin la hacemos para el caso de tres variables . Se B C D
desprende de esta demostracin un mtodo para calcular la solucin de
una ecuacin diferencial de Pfaffian en tres variables.
BREVES DE LA DEMOSTRACIN. La condicin necesaria se obtiene de los lemas
anteriores. Para la condicin suficiente, considrese constante, en ese D
caso obtenemos la ecuacin diferencial
T B C D .B U B C D .C ! a b a b
que es una ecuacin diferencial en dos variables la cual por el teorema de
existencia siempre tiene solucin, que ser de la forma
? B C D - a b
"
donde es una constante dependiente posiblemente de . As debe - D
"
existir una funcin tal que .

`? `?
`B `C
T U . .
tenindose estonces que

`? `? `? `?
`B `C `D `D
.B .C .D V .D !

.
la cual podemos escribir en la forma
.? O.D !
siendo
O V .
`?
`D
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 22
De la hiptesis se tiene que , as tenemos que \ <9> \ ! a b
a b a b . . \ <9> \ !
Ahora
= . . . . \ T U V O f? ! ! O a b a b
`? `? `?
`B `C `D
Por lo tanto
. . \ <9> \ O ! a b
`? `? `? `O `O `? `O `? `O
`B `C `D `C `B `B `C `C `B
as se obtiene que

` ?5
` BC
a b
a b
!
Del lema 1, se sigue que existe una relacin entre y independiente de ? O
B C D O y pero no de . En otras palabras, puede ser expresada como una
funcin de y solamente y de tal forma que O ? D ? D a b

`?
`D
O ? D ! a b
es una ecuacin diferencial de variable separable cuya solucin es dada
por
Fa b ? D -
con constante. Como es funcin de y tenemos que la solucin ser - ? B C
J B C D - a b
demostrndose que la ecuacin es integrable. T.B U.C V.D !

EJEMPLO. Verifiquemos que la ecucin diferencial


a b a b a b C CD .B BD D .C C BC .D !
# # #
es integrable y halle la solucin.
1. : Integrabilidad
<9> C CD BD D C BC #C #B #D #C #C a b a b
# # #
y
a b a b C CD BD D C BC #C #B #D #C #C !
# # #
2. : Clculo de la solucin Si mantenemos constante tenemos D
C C D .B D B D .C ! a b a b
donde
si y slo si,
.B D .B
BD C CD BD C CD
.C .C
.C ! !
a b
de donde
si y slo si, P8 B D P8 P8G ? B C - a b a b
C
CD CD
C BD
"
a b
As existe tal que .
implica que, =
`? " `? " "
`B T `B C CD CD
C
CD
T . .
# #
a b
se sigue entonces que
O V ! .
`?
`D CD
C BC C
CD CD
C BD
#
# #
a b a b
a b
luego y como se sigue que o sea donde la O ! .? O.D ! .? ! ? -
solucin ser
si y slo si,
C BD
CD
a b
- C B D - C D a b a b
donde es una constante. -
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 23

3.3 METODO DE CHARPIT. Para resolver la ecuacin diferencial parcial


0 B C D : ; ! " a b a b
donde como siempre y , Charpit introduce una segunda : ;
`D `D
`B `C
ecuacin diferencial parcial de primer orden
1 B C D : ; + ! # a b a b
la cual contiene una constante arbitraria y tal que, +
a b a b a b + " # Las ecuaciones y pueden resolverse para dar
: : B C D + ; ; B C D + a b a b
a b , La ecuacin
.D : B C D + .B ; B C D + .C $ a b a b a b
es integrable.
Cuando tal funcin ha sido determinada, la solucin de la ecuacin 1 $ a b
J B C D + , ! a b
conteniendo dos funciones arbitrarias ser la solucin de la ecuacin + ,
a b " . El principal problema entonces es la determinacin de la segunda
ecuacin , para esto veamos el siguiente lema. a b #
Pero antes se dice que dos ecuaciones diferenciales y 0 B C D : ; ! a b
1 B C D : ; ! a b son cuando toda solucin de comparables
0 B C D : ; ! 1 B C D : ; ! a b a b es tambin solucin de .
LEMA. Sea y dos ecuaciones diferenciales 0 B C D : ; ! 1 B C D : ; ! a b a b
de primer orden tales que . Una condicin para que N !

` 01
` :;
a b
a b
0 B C D : ; ! 1 B C D : ; ! 0 1 ! a b a b y sean compatibles es que donde
0 1 : ;

` 01 ` 01 ` 01 ` 01
` B: ` D: ` C; ` C;
a b a b a b a b
a b a b a b a b
PRUEBA: Como podemos resolver las ecuaciones N !
y 0 B C D : ; ! 1 B C D : ; ! a b a b
para obtener expresiones explicitas para y dadas por (en una variable) : ;
: B C D ; B C D % 9 < a b a b a b
As la compatibilidad de y se reduce a la 0 B C D : ; ! 1 B C D : ; ! a b a b
solucin completa del sistema . En este caso la ecuacin a b %
9 < .B .C .D !
ser integrable. Esta es una ecuacin de que es integrable as Pfaffian
a b a b 9 < 9 < " <9> " !
de donde
9 < < 9 < 9 a b a b a b !
D D B C
que es equivalente a
< 9< 9 <9
B D C D
& a b
Sustituyendo las ecuaciones en y diferenciando a b a b % 0 B C D : ; !
respectivamente con y con obtenemos las ecuaciones B D
0 0 0 !
B : B ; B
9 <
0 0 0 !
D : D ; D
9 <
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 24
de las cuales en realidad se deduce
0 0 0 0 !
B D : B D ; B D
9 9 99 < 9< a b a b
Por analoga se puede decir de la ecuacin que 1 B C D : ; ! a b
1 1 1 1 !
B D : B D ; B D
9 9 99 < 9< a b a b
Resolviendo estas ecuaciones, hallamos que
< 9< 9
B D
"
N ` B: ` D:
` 01 ` 01
' a b
a b a b
a b a b
Si hubieramos diferenciado las ecuaciones dadas con respecto a y a C D
habramos obtenido
9 <9 <
C D
"
N ` C; ` D;
` 0<1 ` 01
( a b
a b a b
a b a b
as, restando las ecuaciones y usando la ecuacin y a b a b a b ' ( &
reemplazando por , respectivamente se obtiene la condicin 9 < : ;
0 1 !
donde
0 1 : ;

` 01 ` 01 ` 01 ` 01
` B: ` D: ` C: ` D;
a b a b a b a b
a b a b a b a b
tenindose que la condicin para que y 0 B C D : ; ! 1 B C D : ; ! a b a b
sean compatibles es que . 0 1 !

Regresando al mtodo de Charpit para hallar la solucin de


1 B C D : ; ! 0 B C D : ; ! a b a b la cual debe ser compatible con y como
0 1 ! N ! , siempre y cuando , entonces obtenemos la ecuacin
diferencial
0 0 :0 ;0 0 :0 0 ;0 !
: ; : ; B D C D
`1 `1 `1 `1 `1
`B `C `D `: `;
a b a b a b
para la determinacin de . Nuestro problema entonces es hallar una 1
solucin de esta ecuacin, tan simple como sea posible, envolviendo una
constante arbitraria , y sta se hace hallando la integral de las ecuaciones +
caractersticas de Cauchy (ver ) #

.B .D
0 0 :0 ;0 0 :0 0 ;0
.C .: .;
: ; : ; B D C D
)
a b a b
a b
Sin embargo las ecuaciones son conocidas como las ecuaciones de a b )
Charpit o ecuaciones auxiliares.
Una vez la integral est determinada, el problema se reduce a 1 B C D : ; a b
resolver para y las ecuaciones : ;
: : B C D + ; ; B C D + a b a b
y luego integrando se obtiene la solucin deseada.
EJEMPLO: Hallar la integral de la ecuacin
: B ; C D *
# #
a b
Las ecuaciones auxiliares son

.B .D
#:B #;C # : B; C 0 :0 0 ;0
.C .: .;

a b a b a b
# #
B D C D
que por mtodos elementales de proporciones se reduce a

: .B#:B.:
: B ; C
; .C#;C.;
#
# #
#

que por la teora de ecuaciones ordinarias nos da


Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 25
si y slo si , P8 : B P8+; C : B +; C "! a b a b
# # # #
donde es una constante. Resolviendo y para y se obtiene + * "! : ; a b a b
: ;
+D D
"+ B "+ C a b a b
" "
# #
as la ecuacin llega a ser en este caso .D : B C D + .B ; B C D + .C a b a b



"+ + "
D B C
"
#
"
#
.D .B .C
cuya solucin es
{ } a b a b " + D +B C ,
" "
# #
"
#
la cual es la solucin completa del problema.

3.4. MTODO DE JACOBI.


Para resolver la ecuacin diferencial parcial
J B C D : ; ! " a b a b
donde y dependiendo del hecho de que si es : ; ? B C D !
`D `D
`B `C
a b
una relacin entre y entonces B C D
: ; #
? ?
? ?
" #
$ $
a b
donde,
denota ? 3 " # $
3
`?
`B
3
a b a b
Si sustitumos las ecuaciones en obtenemos una ecuacin a b a b # "
diferencial parcial del tipo
0 B C D ? ? ? ! % a b a b
" # $
en la cual la nueva variable dependiente no aparece. ?
La idea fundamental del mtodo de Jacobi es la introduccin de dos
ecuaciones diferenciales de primer orden
1 B C D ? ? ? + ! 2 B C D ? ? ? , ! & a b a b a b
" # $ " # $
involucrando dos constantes y de tal manera que + ,
a b a b a b + % & ? ? ? Las ecuaciones y pueden resolverse para
" $
#
a b , La ecuacin
.? ? .B ? .C ? .D '
" # $
a b
obtenida para estos valores , sea integrable. ? ? ?
" # $
Cuando estas funciones pueden ser determinadas, la solucin de la
ecuacin contiene tres constantes arbitrarias y ser la solucin a b '
completa de . a b %
Como en el mtodo de Charpit, la dificultad radica en la determinacin de
las ecuaciones auxiliares . Tenemos, en efecto, que hallar dos a b &
ecuaciones que sean compatibles con . Es un ejercicio muy fcil pero a b %
laborioso mostrar que y 0 B C D ? ? ? ! 1 B C D ? ? ? ! a b a b
" # $ " # $
son compatibles si

` 01 ` 01 ` 01
` B? ` C? ` D?
a b a b a b
a b a b a b
" # $
!
Ahora y tendrn su solucin dada por la ecuacin diferencial parcial 1 2
siguiente:
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 26
0 0 0 0 0 0 ! (
? ? ? B C D
`1 `1 `1 `1 `1 `1
`B `C `D `? `? `?
" # $
" # $
a b
que tiene por ecuaciones caractersticas de Cauchy a

.B .D
0 0 0 0 0 0
.C .? .? .?
? ? ? B C D
" # $
" # $
) a b
Se procede entonces como en el mtodo de Charpit.
EJEMPLO: Para ilustrar el mtodo consideremos el siguiente problema.
Determinar una solucin para la ecuacin diferencial parcial del tipo
0 B 1 C


`? `? `? `?
`B `D `C `D
y aplicar el mtodo para hallar la integral completa de la ecuacin
#B C B #C
# # `? `? `? `?
`B `D `C `B
# #

Sea y, y tenemos por otra parte
`? `? `?
`B `C `D
" # $
? ? ?
0 B ? ? 1 C ? ? a b a b
" $ # $
esto nos conduce a
0 B ? ? 1 C ? ? J B C D ? ? ? !

a b a b a b
" $ # $ " # $
segn el mtodo de Jacobi se tiene

.B .D
J J J J J J J
.C .? .? .? .?
? ? ? B C C D
" # $
" # $ $

Pero
. J 0 J 1 J 0 1 J 0 J 1 J !
? ? ? ? ? ? ? B B C C D
" " # # $ $ $
Por lo tanto la solucin general saldra de resolver las siguientes
ecuaciones caractersticas

.B .D
0 1 0 1 0 1
.C .? .?
? ? ? ? B C
" # $ $
" #

Ahora para el caso particular se tendra
#B C? ? #C? B ?
# # # #
" "
$ #
o en forma equivalente
, si y slo si , #B ? ? #? B #? ?
# # # # #
" " "
$ $
? ?
C B C
" # #
#

aqu
y 0 B ? ? #? ? 1 C ? ? a b a b

" $ $ # $
"
# "
B C
?
#
#
as la solucin saldra de considerar la ecuacin a b )

.B .D
%? ? B C C ?
.C
#? ! %? B
.? .?
" $ #
# " #
" "
# #
" #
$
e f

De la segunda y de la ltima tenemos
, si y slo si , C.C
C .? .C
? C ?
.?
#
#
# #
#
de donde ; ahora tomando la primera y la cuarta se tiene +C ?
#
, si y slo si ,
.B .B
%? ? B ? B ? B
.? .?
%? B " $ $ "
# $ $
" "
"
# $
a b
* a b
por otra parte de la ecuacin dada, tendremos
, si y slo si , #? ? B + ? B
"
# # #
$ $
+
#?
e f
"
#
por consiguiente sustituyendo en obtenemos a b *
, si y slo si,
#? .B
+ ? + B
B .? .? # .B
?
" " "
#
$
"
$
"
$
!
integrando obtenemos de donde sale que B ? ,
" "
+ #
# # "
"
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 27
?
"
+, B
#
+B ,

#
Por otra parte de la ecuacin dada despejamon obteniendo ?
$
?
$
+B #?
#B ?
# #
"
# #
"
Pero tambin sabemos que , si y slo si , esto
" " " +
#? +B , ,
+B #?
#? B "
#
# #
"
"
# #

significa que . ?
$
+
,
Por la ecuacin del mtodo de Jacobi se sabe que a b ,
.? +C.C .D
+, B.B +
# ,
+B ,
#
integrando ordenadamente obtenemos: . a b
, + +
#+ , ,
# #
+B , C D - ?
"
#

La ventaja del mtodo de Jacobi es que puede generalizarse. Si tenemos


una ecuacin del tipo
0 B B B ? ? !
" " # 8 " 8
a b
donde denota entonces hallamos funciones ? 3 " # 8 8 "
3
`?
`B
3
a b
auxiliares con ecuaciones subsidiarias 0 0 0
# $ 8

.B .B .? .?
0 0 0 0 0 0
.B .?
" # " #
? ? ? B B B
" # " #
8 8
8 8



envolviendo constantes arbitrarias. Resolviendo stas para 8 "
? ? ? ?
" # 8
determinamos por integracin de la ecuacin de Pfaffian
.? ? .B
!
3"
_
3 3
la solucin as obtenida contiene constantes arbitrarias. 8
. 4 ECUACIONES DIFERENCIALES PARCIALES DE SEGUNDO ORDEN
En los pargrafos anteriores consideramos la solucin de una ecuacin
diferencial parcial de primer orden. Ahora procedemos a discutir las
ecuaciones deferenciales parciales de segundo orden.
4.1. EL ORIGEN DE LA ECUACIONES DE SEGUNDO ORDEN.
Supngase que la funcin est dada por una expresin del tipo D
D 0 ? 1 @ A " a b a b a b
donde y son funciones arbitrarias de y , respectivamente, y , , y 0 1 ? @ ? @ A
son funciones respectivamente de y de . Entonces escribiendo B C
: ; < = > #
`D `D ` D ` D ` D
`B `C `B `B`C `C
# # #
# #
a b
diferenciando ambos lados de con respecto a y a , hallamos que a b " B C
: 0 ? ? 1 @ @ A
w w
B B B
a b a b
; 0 ? ? 1 @ @ A
w w
C C C
a b a b
y de aqu se sigue que
< 0 ? ? 1 @ @ 0 ? ? 1 @ @ A
ww # ww # w w
B B
BB BB BB
a b a b a b a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 28
= 0 ? ? ? 1 @ @ @ 0 ? ? 1 @ @ A
ww ww w w
B C B C BC BC BC
a b a b a b a b
> 0 ? ? 1 @ @ 0 ? ? 1 @ @ A
ww # ww # w w
C C
CC CC CC
a b a b a b a b
Ahora tenemos cinco ecuaciones involucrando cuatro funciones
arbitrarias, . Si eliminamos estas cuatro cantidades de las cinco 0 0 1 1
w ww w ww
ecuaciones obtenemos











a b
: A ? @ ! !
; A ? @ ! !
< A ? @ ? @
= A ? @ ? ? @ @
> A ? @ ? @
! $
B B B
C C C
BB BB
B B
# #
BC BC BC B C B C
CC CC CC
C C
# #
BB
la cual envuelve solamente las derivadas y funciones : ; < = >
dependientes de e . Es por lo tanto una ecuacin diferencial parcial de B C
segundo orden. Adems si expandemos el determinante en el lado
izquierdo de la ecuacin en trminos de la primera columna, a b $
obtenemos una ecuacin de la forma
V< W= X> T: U; [ % a b
donde son funciones conocidas de e . Por lo tanto la V W X T U [ B C
relacin es solucin de la ecuacin diferencial parcial lineal de segundo a b "
orden . Notamos que la ecuacin es de un tipo particular: La variable a b a b % %
D no interviene en ella. Como ejemplo del procedimiento del ltimo
pargrafo, suponemos que
D 0 B +C 1 B +C & a b a b a b
donde y son funciones arbitrarias y es una constante. 0 1 +
Si diferenciamos dos veces con respecto a obtenemos la relacin a b & B
< 0 1
ww ww
mientras que si derivamos dos veces con respecto a , obtenemos la C
relacin
> + 0 + 1
# ww # ww
as que las funciones las cuales pueden ser expresadas en la forma D & a b
deben satisfacer la ecuacin diferencial parcial
> + < '
#
a b
Mtodos anlogos se aplican en el caso de ecuaciones de mayor orden. Es
fcilmente demostrable que cualquier relacin del tipo
D 0 @ (
!
a b a b
<"
8
< <
donde las funciones son arbitrarias y las funciones son conocidas, y 0 @
< <
conduce a una ecuacin diferencial parcial lineal de orden . Las 8
ecuaciones diferenciales parciales que consideramos en esta seccin son
ecuaciones lineales.
4.2. ECUACIONES DIFERENCIALES PARCIALES LINEALES
CON COEFICIENTES CONSTANTES:
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 29
Consideremos ahora la solucin de un tipo especial de ecuacin
diferencial parcial lineal con coeficientes constantes. Para tales ecuaciones
utilizamos la siguiente notacin
J H H D 0 B C " a b a b a b
w
donde denota un operador diferencial del tipo J H H a b
w
J H H - H H # a b a b a b
!!
w < w
< =
<=
=
en donde las cantidades son constantes y . - H H
<=
` `
`B `C
w
La solucin ms general, es decir, conteniendo el nmero correcto de
elementos arbitrarios, de la correspondiente ecuacin diferencial
homognea
J H H D ! $ a b a b
w
es llamada de la ecuacin , justo como en la la funcin complementaria a b "
teora de ecuaciones diferenciales ordinarias. Anlogamente alguna
solucin de la ecuacin es llamada . Como en la a b " solucin particular
teora de ecuaciones diferenciales ordinarias el siguiente resultado es
bsico.
TEOREMA 4.1. Si es la funcin complementaria y una integral particular ? D
"
de la ecuacin diferencial parcial , entonces es la solucin general a b " ? D
"
de la ecuacin . a b "
La demostracin de este teorema es obvia, puesto que las ecuaciones y a b "
a b $ ? D son de la misma clase, as la solucin contendr el nmero
"
correcto de elementos arbitrarios. Tambin
J H H ? ! J H H D 0 B C a b a b a b
w w
"
As que
J H H ? J H H D J H H ? D 0 B C a b a b a ba b a b
w w w
" "
demostrando que es en efecto, una solucin de la ecuacin . Esto ? D "
"
a b
completa la demostracin.
Otro resultado que es usado intensamente en la solucin de estas
ecuaciones es el siguiente:
TEOREMA 4.2. Si son soluciones de la ecuacin diferencial ? ? ?
" # 8
parcial homognea , entonces donde es una J H H ! - ? ? a b
!
w
<"
8
< < <
constante arbitraria para todo , es tambin solucin < " # 8 .
La demostracin de este teorema es inmediata puesto que
J H H - @ - J H H @ a ba b a b
w w
< < < <
y
J H H @ J H H @ a b a b
! !
w w
<" <"
8 8
< <
para cualquier conjunto de funciones . Adems @
<
J H H - @ J H H - @ - J H H @ ! a b a ba b a b
! ! !
w w w
<" <" <"
8 8 8
< < < < < <
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 30
Clasificamos el operador diferencial lineal en dos tipos especiales J H H a b
w
que trataremos separadamente. Decimos que:
a b a b + J H H
w
es reducible si no puede escribirse como el producto de
factores lineales de la forma , donde son constantes H +H , + ,
w
a b a b a b , J H H +
w
es irreducible si no puede escribirse en la forma dada en .
Por ejemplo el operador puede ser escrito en la H H

# w
#
` `
`B `C
a b
# #
# #
forma y se dice que es , mientras que a ba b H H H H
w w
reducible
H H

# w
#
` `
`B `C
a b
# #
# #
no puede ser descompuesto en factores y en ese
caso se dice . irreducible
a b + : El punto de partida de la teora de ecuaciones ECUACIONES REDUCIBLES
reducibles es el siguiente resultado:
TEOREMA 4.3. Si el operador es reducible, el orden en que los J H H a b
w
factores lineales ocurren no es importante (conmutatividad)
PRUEBA: Basta con mostrar que
a ba b a ba b ! " # ! " # ! " # ! " #
< < < = = = = = = < < <
w w w w
H H H H H H H H a b %
! ! ! " ! " " " # ! # ! # " # " # #
< = = < < = < = = < < = = < < = < =
# w w w
#
H HH H H H a b a b a b a b
As cualquier operador reducible puede escribirse en la forma
J H H a b
w
<"
8
#
a b a b ! " #
< < <
w
H H &
TEOREMA 4.4. Si ! " # 9 0
< < < <
w w
H H J H H es un factor de y es una a b a b
funcin arbitraria de la variable simple entonces si 0 !
<
!
? /B: B C
< < < <
B
a b
#
!
<
<
9 " !
es solucin de la ecuacin . J H H ! a b
w
PRUEBA: Por diferenciacin directa tenemos
H? ? /B: B C
< < < < <
B
w
# #
! !
< <
< <
" 9 " ! a b
a b a b H ? /B: B C
w w
< < < <
B
! 9 " !
#
!
<
<
as que
a b a b ! " #
< < < <
w
H H ? ! '
Ahora por el teorema 4.3
J H H ? H H H H ? ( a b a b a b a b

w w w
< = = = < < < <
="
8
#
! " # ! " #
El factor que sigue al producto correspondiente al , que est omitido = <
en el producto de se obtiene que es cero, obteniendo el resultado. ' ( a b a b

Usando el mismo mtodo se puede demostrar el siguiente resultado


TEOREMA 4.5. Si es un factor de y es una funcin " # 9 0
< < <
w w
H J H H a b a b
arbitraria del simple valor , entonces 0 "
<
!
? /B: B
< < <
C
a b
#
"
<
<
9 "
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 31
es una solucin de la ecuacin . J H H D ! a b
w
En la descomposicin de en factores lineales podemos obtener J H H a b
w
factores con multiplicidad del tipo
a b a b ! " #
< < <
w
8
H H )
La solucin correspondiente a este factor puede ser obtenida por la
aplicacin repetida de los teoremas 4.4 y 4.5. Por ejemplo, si 8 #
debemos hallar soluciones de la ecuacin
a b ! " #
< < <
w
#
H H D !
Si hacemos = , entonces < ! " # a b
< < <
w
H H D
a b ! " # <
< < <
w
H H !
de acuerdo con el teorema 4.4 tenemos por solucin, si !
<
!
. < 9 " ! /B: B C a b
#
!
<
<
B
< < <
Para hallar la solucin correspondiente a tenemos por lo tanto que D
resolver la ecuacin diferencial parcial lineal de primer orden siguiente:
! " # 9 " !
< < < < < <
`D `D
`B `C
B
D / B C
# !
< <
a b a b *
usando los mtodos del 3 vemos que las ecuaciones caractersticas son

.B .D .C
D/ B C ! " # 9 " ! < < < < < <
B < <

# !
a b
con solucin para las dos primeras dada por
" !
< < "
B C -
Sustituyendo tenemos

.B .D
D/ - ! # 9 < < < "
B < <

# !
a b
que es una ecuacin lineal de primer orden con solucin
D - B - /
"
< " #
B
!
# !
<
< <
e f a b 9
La ecuacin , y tambin la ecuacin tiene por solucin a b a b * )
D B B C B C / e f a b a b 9 " ! < " !
< < < < < <
B # !
< <
donde las funciones son arbitrarias. 9 <
< <

Este resultado es en realidad generalizado por


TEOREMA 4.6. Si es un factor de y si las a b a b a b ! " #
< < <
w
H H
8
<
w
! ! J H H
funciones son arbitrarias; entonces 9 9 9
< < <
" # 8


/B: B B C
!
a b
#
!
<
<
B
="
8
="
<= < <
9 " !
es una solucin de . J H H ! a b
w
Una generalizacin del teorema 4.5 es dada en el siguiente resultado:
TEOREMA 4.7. Si es un factor de y si las funciones a b a b " #
< <
w w
7
H J H H
9 9 9
<" <# <7
son funciones arbitrarias entonces
/B: B B
!
a b
#
"
<
<
C
="
7
="
<= <=
9 "
es una solucin de . J H H D ! a b
w
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 32
Estamos ahora en posicin de expresar la funcin complementaria de la
ecuacin cuando el operador es reducible. Como un resultado a b a b " J H H
w
de los teoremas 4.4 y 4.6 vemos que
J H H H H "! a b a b a b
w w
<"
8
< < <
7
#
! " #
<
y si ninguno de los es cero, entonces la correspondiente funcin !
<
complementaria es
? B B C ""
! !
a b a b
<" ="
=
B
7
="
<= < <
exp
#
!
<
<
<
9 " !
donde las funciones son arbitrarias. Si 9
<= <
a b = " 8 < " # 8
algunos de los son ceros, la modificacin de la expresin puede ser ! a b ""
por medio de los teoremas 4.5 y 4.7. De la ecuacin vemos que el a b "!
orden de la ecuacin es puesto que la solucin de a b a b $ 7 7 7 ""
" # 8
tiene el mismo nmero de funciones complementarias. Para ilustrar el
procedimiento consideremos un caso particular.
EJEMPLO: Resolver la ecuacin

` D ` D ` D
`B `C `B `C
% % %
% % # #
#
En la notacin de esta seccin, esta ecuacin puede ser escrita en la forma
a b a b H H H H D !
w w
# #
As que por la ecuacin la solucin es a b ""
. D B B C B C B B C B C 9 9 < <
" # " #
a b a b a b a b
Habiendo hallado la funcin complementaria de necesitamos a b "
solamente hallar una solucin particular para la solucin completa. Esto es
hallar por un mtodo similar al que empleamos en la demostracin del
teorema 4.6 si escribimos
D H H D "#
" < < <
<#
8
w
#
a b a b ! " #
entonces la ecuacin es equivalente a la ecuacin lineal de primer a b "
orden
! " #
" " " "
`D `D
`B `C
" "
D 0 B C a b
una integral particular, de esta ecuacin, podemos calcularla fcilmente
por el mtodo de Lagrange. Sustituyendo valores particulares de en D
"
a b "# 8 " , obtenemos una ecuacin casi homognea de orden . Repitiendo
el proceso, fcilmente llegamos a una ecuacin de primer orden para . D
Para ilustrar el proceso consideremos el siguiente ejemplo.
EJEMPLO: Hallar la solucin de la ecuacin

` D ` D
`B `C
# #
# #
B C
Esta ecuacin puede ser escrita en la forma
a ba b H H H H D B C
w w
aqu la funcin complementaria es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 33
9 9
" #
a b a b B C B C
donde y son arbitrarias. Para determinar una integral particular 9 9
" #
escribimos
D H H D "$
"
w
a b a b
entonces la ecuacin para es D
"
a b H H D B C
w
"
que es una ecuacin de primer orden con solucin
D B C 0 B C
"
"
%
#
a b a b
donde es arbitraria. Puesto que estamos buscando solamente una 0
integral particular, podemos tomar . Sustituyendo estos valores de 0 ! D

"
en hallamos que la solucin de la integral particular es a b "$

`D `D "
`B `C %
#
B C a b
que tiene por solucin en la cual es arbitraria. D B B C 0 B C 0
"
%
#
a b a b
Tomando obtenemos la integral particular 0 !

D B B C
"
%
#
a b
Aqu la solucin general de la ecuacin puede ser escrita en la forma
D B B C B C B C
"
%
#
" #
a b a b a b 9 9
donde las funciones y son funciones arbitrarias. 9 9
" #

a b a b , J H H . Cuando el operador es irreducible no ECUACIONES IRREDUCIBLES


w
siempre es posible hallar una solucin con el nmero completo de
funciones arbitrarias, pero es posible construir una solucin con algn
nmero de constantes como deseamos. El mtodo para obtener tales
soluciones depende de un teorema que vamos a probar en seguida. Este
teorema es verdadero tanto para operadores reducibles como operadores
irreducibles, pero es en el caso de irreducibilidad que lo utilizamos.
TEOREMA 4.8. J H H / J + , / a b a b
w +B,C +B,C
DEMOSTRACIN. La demostracin de este teorema se sigue del hecho que
J H H - H H a b a b
w < w
<=
=
puede ser descompuesto en trminos de la forma y
, H / + / H / , /
< +B,C < +B,C w +B,C = +B,C
=

a b
as que
a b a b

- H H / - + , /
<= <=
< w +B,C < = +B,C
=

Un resultado anlogo que es usado en la determinacin de la integral


particular es:
TEOREMA 4.9. J H H / B C / J H + H , B C a b a b a b a b a b

w +B,C +B,C w
9 9
DEMOSTRACIN. Se hace directamente utilizando el torema de Leibnitz para
la -sima derivada de un producto <
H / - H / H
< +B < +B <
!
<
a b a ba b
!
9 9
3
3
3 3

Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 34
/ - + H / H +
+B < < +B
!
<
<

!
a b
3
3
3 3

9 9
Para determinar la funcin complementaria de una ecuacin del tipo
J H H D 0 B C J H H a b a b a b
w w
dividimos el operador en factores. Los factores
reducibles son tratados por el mtodo dado en . Los factores a b +
irreducibles son tratados como sigue: Por el teorema 4.8 vemos que /
+B,C
es una solucin de la ecuacin
J H H D ! "% a b a b
w
probando que as que J + , ! a b
D - + B , C "&
!
a b a b
<
< < <
exp
en donde son todas constantes, es tambin una solucin teniendo + , -
< < <
cuidado de que estn conectados por la relacin + ,
< <
J + , ! "' a b a b
< <
En esta forma podemos construir una solucin de la ecuacin
homognea , conteniendo tantas constantes arbitrarias como a b "%
necesarias. La serie no necesariamente es finita, pero si se tiene esto, a b "&
es una solucin de . La discusin de la convergencia de tal serie es a b "%
una dificultad, envolviendo como constante a las parejas y los - + ,
< < <
a b
valores de las variables e . B C
EJEMPLO. Demostrar que la ecuacin

` D " `D
`B 5 `>
#
#

posee soluciones de la forma

!
a b
8"
_
8 8
58 >
- 8B / cos %
#
Esto se sigue inmediatamente del hecho que es una solucin /
+B,C
solamente si y esta relacin se satisface si tomamos + ,5
#
. + 38 , 58
#
Para hallar la integral particular de la ecuacin J H H D 0 B C a b a b
w
escribimos simblicamente como
D 0 B C "(
"
J HH a b
w
a b a b
Podemos a menudo expandir el operador por medio del teorema del J
"
binomio y entonces interpretar el operador como integrales. H H
" w
"
a b
EJEMPLO. Hallar una integral particular de la ecuacin a b H H D #C B
# w #
PRUEBA. Ponemos la ecuacin en la forma . D #C B
"
H H
#
# w
a b
Ahora podemos escribir
" H " " H H
H H H H H
"
H
H
# w w w w
# # %
w
# $
w
"
a b
D #C B #C B C BC # B C
" " "
H H
# # # #
H
w w
w
#
a b a b a b
a b
a b
Cuando es hecha en trminos de la forma obtenemos 0 B C +B ,C a b a b exp
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 35
una integral particular de la forma excepto si se tiene
"
J +, a b
expa b +B ,C
J + , ! a b .
EJEMPLO. Hallar la solucin particular de la ecuacin

` D `D
`B `C
#BC
#
#
/
SOLUCIN. En este caso , y as que J H H H H + # , " J + , $ a b a b
w # w
y la integral particular es
.
"
#
#BC
/
En el caso cuando es frecuente aplicar el teorema 4.9. Si se J + , ! a b
tiene que resolver
J H H D -/ a b
w +B,C
donde es una constante, conjeturamos que la solucin es -
D A/
+B,B
entonces por el teorema 4.9 tenemos
J H + H , A - ") a b a b
w
y es con frecuencia posible obtener una integral particular de esta
ecuacin
EJEMPLO. Hallemos una integral particular para la ecuacin
a b H H D /
# w BC
SOLUCIN. En este caso y De J H H H H + " , " J + , ! a b a b
w # w
cualquier forma
J H + H , H " H " H #H H a b a b a b
w w w
#
y de la ecuacin se recibe que a b ")
a b H #H H A "
# w
de donde se tiene que las integrales particulares son y . As
"
#
B C
"
#
BC BC
B/ C/ y son las soluciones particulares de la ecuacin original.

Cuando la funcin es de la forma de una funcin trigonomtrica es posible


hacer uso de al menos dos mtodos, expresndola como una combinacin
de funciones exponenciales con exponenciales imaginarias, pero es con
frecuencia ms simple, usando el mtodo de los coeficientes
indeterminados.
EJEMPLO. Hallar una integral particular de la ecuacin
a b a b H H D E 6B 7C
# w
cos
donde son constantes. E 6 7
SOLUCIN: Para hallar una integral particular, conjeturamos que es de la
forma
D - 6B 7C - 6B 7C
" #
cos sin a b a b
y sustituyendo en el lado izquierdo de la ecuacin original e igualando los
coeficientes se obtiene el sistema
7- 6 - !
" #
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 36
6 - 7- E
#
" #
para la determinacin de y se sigue que - -
" #
- -
" #
! 6
E 7 6 E
7 6
6 7
E6 7E
7 6 7 6 7 6
7 !


#
#
#
#
# % # % # %
#
En esta forma la integral principal ser
D 7 6B 7 6 6B 7C
E
7 6
#
# %
c d a b a b sin cos

5. APLICACIONES A LA FSICA
5.1. ECUACION DE PRIMER ORDEN.
Las ecuaciones diferenciales parciales de primer orden, tienen su
aplicacin en fsica matemtica, en la ecuacin de Hamilton-Jacobi

`W `W `W `W
`> `; `; `;
" # 8
L ; ; ; ! " a b
" # 8
asignada al Hamiltoniano de un sistema L ; ; ; : : : a b
" # 8 " # 8
dinmico de generalizadas y el momento conjugado 8 ; ; ;
" # 8
: : : W
" # 8
. Esta es una ecuacin en la cual la variable que depende de
est ausente, vemos que las ecuaciones caractersticas estn dadas por

.>
" `L`: `L`: `L`; `L`;
.; .; .: .:
#
" 8 " 8
" 8 " 8
a b a b
a b
es decir, ellas son equivalentes a las ecuaciones Hamiltonianas del
movimiento

.; .:
.> `: .> `;
`L `L 3 3
3 3
3 " # 8 $ a b
Una forma modificada de la ecuacin se obtiene escribiendo a b "
W [> W
"
entonces hallamos que
L ; ; ; [ % a b
" # 8
`W `W
`; `;
" "
" 8
Suponiendo, por ejemplo, que un sistema con segundo orden de libertad,
tiene Hamiltoniano
L &
T: U;
# \] \]

# #
B C
a b
0 (
a b
donde , , son funciones de solamente son funciones T \ B C U ] 0 (
solamente de . Entonces la ecuacin llega a ser C % a b

"
#
B C
a b a b a b T: U; [ \ ] ! 0 (
Entonces una de las ecuaciones caractersticas toma la forma

.B
T:
.:
T : [\ B
B
"
#
w w w
B
!
0
tiene por solucin
: # [\ +
B
e f a b 0
"
#
donde es una constante arbitraria. Anlogamente podemos demostrar +
que
; # [] ,
C
e f a b (
"
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 37
donde es una constante arbitraria, teniendo la misma propiedad. As ,
puesto que es una funcin de solamente, y es funcin de : B ; C
B C
solamente, tenemos
W [> # [\ + .B # [] , .C
' '
e f e f a b a b 0 (
" "
# #
demostrando que una solucin de la ecuacin de Hamilton-Jacobi puede
ser algunas veces determinada de un Hamiltoniano de la forma . a b &
Las ecuaciones diferenciales parciales de primer orden tambin surgen
frecuentemente en la teora de procesos de probabilidad. Una tal ecuacin
es la ecuacin de Fokker-Planck dada por

`T ` ` T
`> `B `B
TB H ' " a b a b
#
#
en el caso particular se tiene la ecuacin diferencial parcial; H !

`T `T
`> `B
B T " "
La interpretacin fsica de las variables en esta ecuacin; la probabilidad T
de que una variable casual tome el valor en el tiempo . Por ejemplo B > T
puede ser la distribucin de probabilidad de la posicin de una partcula
en el movimiento Browniano limitado armnicamente (o armnico limitado
) o la distribucin de probabilidad de retencin del sonido de una seal B
elctrica en un tiempo . Observamos que la ecuacin es vlida > ' a b
solamente si la ventaja del proceso tiene una distribucin Gaussiana y es
un proceso de Markoff. Probablemente la ms importante ocurrencia de
las ecuaciones diferenciales parciales de primer orden, es en la teora de
nacimientos y procesos de muerte conectada con bacterias. Supngase,
por ejemplo, que en un tiempo hay exactamente bacterias vivas y que > 8
a b a b + > > > > La probabilidad de bacterias moribundas en un tiempo es $ . $
8
a b a b , > > > > La probabilidad de reproducin bacterial en un tiempo es $ - $
8
a b - La probabilidad de nmero de bacterias permaneciendo constantes en
un tiempo es a b a b > > > " > > $ - $ . $
8 8
a b . La probabilidad de que algunas nazcan o mueran ocurriendo en el
tiempo es cero. a b > > > $
Si suponemos que es la probabilidad de que se tengan bacterias en T > 8
8
a b
un tiempo , entonces esta suposicin nos lleva a la ecuacin >
T > > T > > T > > " > > T >
8 8" 8" 8" 8" 8 8 8
a b a b a b e f a b $ - $ . $ - $ . $
la cual es equivalente a

`T
`>
8" 8" 8" 8" 8 8 8
8
T > T > T > ) - . - . a b a b a b a b a b
En el caso general dependern de y ; si suponemos que la - .
8 8
8 >
posibilidad de la natalidad bacteriolgica es proporcional al nmero
presente, escribimos
- - . .
8 8
8 8 * a b
donde y son constantes y la ecuacin se reduce a - . a b )

`T
`>
8" 8 8"
8
8 " T > 8T > 8 " T > - - . . a b a b a b a b a b a b
y si inducimos una funcin generada definida por la relacin Fa b D >
Fa b a b
!
D > T > D
8!
_
8
8
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 38
Vemos que esta ltima ecuacin es equivalente a la ecuacin lineal de
primer orden

` `
> `D
F F
F
D " D a ba b - .
cuya solucin es demostrada por el lector y se tiene
F 0 / "! a b
. -
- .
D
"D
> a b
de donde se sigue que
0 a b 0
. 0
- 0

7
Por consiguiente en el tiempo >
F
. - .
. - -

a b
"/ D /
/ D "/
a b a b
a b a b
- . - .
- . - .
> >
> >
T > D
8
8
a b es el coeficiente de en la expansin en serie de potencias de esta
funcin. Si entonces cuando , as que la probabilidad de - . F " > _
la ltima expresin es nica.
5.2. . ECUACIN DE SEGUNDO ORDEN EN FSICA
Las ecuaciones diferenciales parciales de segundo orden surgen
frecuentemente en fsica. En efecto es por esta razn que el estudio de
tales ecuaciones son de gran valor prctico. Por el momento nos
limitaremos a mostrar estas ecuaciones cuando surgen considerando que
el flujo es unidimensional as que la corriente y el voltaje en cualquier 3 I
punto en el cable puede ser completamente determinada por una
coordenada espacial y un tiempo variable . Si consideramos la cada de B >
potencial en un elemento lineal de longitud situado en el punto , $B B
hallamos que
- $ $ $ I 3V B P B "
`3
`>
a b
donde es la serie de resistencias por unidad de longitud y es la V P
inductancia por unidad de longitud. Si hay una capacitancia a tierra de G
por unidad de longitud y una conductancia por unidad de longitud K
entonces
3 KI B G B # $ $ $
`I
`>
a b
Las relaciones y son equivalentes al par de ecuaciones diferenciales a b a b " #
parciales

`I `3
`B `>
V3 P ! $ a b

`3 `I
`B `>
KI G ! % a b
Diferenciando con respecto a , obtenemos a b $ B

` I `3 ` 3
`B `B `B`>
# #
#
V P ! & a b
y anlogamente diferenciando con respecto a , obtenemos a b % >

` 3 `I ` I
`B`> `> `>
# #
#
K G ! ' a b
Eliminando y de y se tiene
`3 ` 3
`B `B`>
#
a b a b a b % & '
P PK PG !
` 3 `I ` I
`B`> `> `>
# #
#
y
P V
` 3 ` I `3
`B`> `B `B
# #
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 39
as
- + y ,
` I `3 `V ` I `3 `I
`B `B `> `> `B `>
# #
# #
V PK PG ! IK G
por lo tanto
-
` I `V `I ` I
`B `> `> `>
# #
# #
VKI VG PK PG !
lo cual es equivalente a

`I ` I ` I
`> `> `B
e f VG PK PG VKI
# #
# #
Hemos as hallado que satisface la ecuacin diferencial parcial de I
segundo orden

` ` `
`B `> `>
# #
# #
F F F
PG VG PK VK ( a b a b F
Anlogamente si diferenciamos con respecto a , con respecto a y a b a b $ > % B
eliminamos
y
` I `I
`B`> `B
#
de la ecuacin restante y hallamos que es tambin una solucin de la a b $ 3
ecuacin a b (
La ecuacin , es llamada la y otros. Si a b ( ecuacin telegrfica de Poincar
la corriente que sale de tierra es pequea, se sigue que y pueden K P
tomarse como cero y la ecuacin toma la forma reducida a b (

` " `
`B O `>
#
#
F F
) a b
donde es una constante. Esta ecuacin es llamada O VG a b
"
ecuacin
telegrfica; nos referimos a ella como a la ecuacin uno dimensional de
difusin.
Si miramos a las ecuaciones y , esto es equivalente a tomar y a b a b $ % K V
como cero en las ecuaciones en cuyo caso sta se reduce a a b (

` " `
`B - `>
# #
# # #
F F
* a b
donde . Esta ecuacin es al mismo tiempo referida, en este - PG a b

"
#
contexto, a la ecuacin del radio; referindonos al caso de la ecuacin de
onda en una dimensin.
Una ecuacin diferencial parcial de segundo orden, diferente en caracter
de cualquiera de las ecuaciones o , surgidas en electrosttica tiene a b a b ) *
por solucin el modelo de los operadores de Fourier conocido
ampliamente en los cursos de ingenieria y de fsica (lo mostraremos en
6). Por las leyes de Gauss de electrotcnia conocemos al flujo del vector
electricidad fuera de una superficie limitada a un volumen y es I W Z %1
veces la carga contenida en . As si es la densidad de la carga elctrica, Z 3
tenemos

' '
W Z
I.= % . 1 3 7
Usando el teorema de Green en la forma

' '
W Z
I.= .3@I.7
y recordando que el volumen es arbitrario, vemos que la ley de Gauss es Z
equivalente a la ecuacin
.3@I % "! 13 a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 40
Ahora es probable demostrar que el campo electrnico es caracterizado
por el hecho de que es derivable de una funcin potencial por la I F
ecuacin
I 1<+.F
a b ""
eliminando entre las ecuaciones y , hallamos que satisface la I "! "" a b a b F
ecuacin
f % ! "#
#
F 13 a b
donde hemos escrito para el operador que en ecuaciones f .3@ 1<+.
#
a b
rectangulares cartesianas toma la forma

` ` `
`B `C `D
# # #
# # #
"$ a b
La ecuacin es conocida como ecuacin de Poisson. En ausencia de a b "#
carga, es cero, y la ecuacin se reduce a la forma simple 3 a b "#
f ! "%
#
F a b
Esta ecuacin es conocida como ecuacin de Laplace o la ecuacin
armnica.
Si tratamos con un problema en cual la funcin potencial no vara con , F D
hallamos que es reemplazado por f
#
f "&
#
"
` `
`B `C
# #
# #
a b
y la ecuacin de llega a ser LAPLACE
f ! "'
#
"
F a b
de la cual surge una ecuacin armnica de segundo orden. El operador de
Laplace ocurre frecuentemente en fsica matemtica, y en gran f

#
?
cantidad de problemas es til transformar coordenadas cartesianas a B C D
otro sistema curvilneo ortogonal dado por las ecuaciones
? ? B C D ? ? B C D ? ? B C D
" " # # $ $
a b a b a b
a b "(
La transformacin Laplaciana en estas circunstancias se efecta mejor
con ayuda del clculo vectorial que demuestra que en el sistema ? ? ?
" # $
?Z ")
" ` `Z ` `Z ` `Z
2 2 2 `? 2 `? `? 2 `? `? 2 `?
2 2 2 2 2 2
" # $ " " " # # # $ $ $
# $ $ " " #
a b
donde
2 3 " # "*
3
# `B `D
`? `? `?
# # #
`C
a b
3 3 3

6. LAS ECUACIONES DIFERENCIALES PARCIALES EN INGENIERIA


6.1. CONCEPTOS BASICOS:
Una ecuacin diferencial parcial (EDP) para una funcin con ? B C a b
derivadas parciales , , , , es una relacin de la forma ? ? ? ?
B C BB CC
J B C ? ? ? ? ! " a b a b
B BC CC
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 41
donde es una funcin de las variables y J B C ? ? ? ? ? ?
B C BB BC CC
adems solamente ocurre un nmero finito de derivadas.
NOTACION : , , ? ?
B BC
`? ` ?
`B `B`C
#
Una funcin es una de , si en alguna regin del ? B C " a b a b solucin
espacio de sus variables independientes, la funcin y sus derivadas
satisfacen la ecuacin idnticamente en B C
Se puede tambin considerar un sistema de ecuaciones diferenciales
parciales; en este caso se consideran varias expresiones, como las de
arriba, conteniendo una o ms funciones desconocidas y sus derivadas
parciales. Como en la teora de las ecuaciones diferenciales ordinarias
una ecuacin diferencial parcial (EDP) es de orden , si las derivadas de 8
mayor orden que ocurren en son de orden . En esta forma las EDP J 8
pueden ser de primer orden, de segundo orden y de orden superior.
Las ecuaciones diferenciales parciales (EDP) se clasifican segn el tipo de
funcin considerada. En particular tenemos EDP lineales si es lineal J J
en la funcin incgnita y sus derivadas.
Las EDP ocurren frecuentemente y en forma enteramente natural en
problemas de varias ramas de la matemtica.
El problema objeto de las EDP es el estudio de las soluciones. Por
solucin de una EDP indicamos a una funcin teniendo todas las
derivadas parciales que ocurren en la EDP y que cuando se sustituye en la
ecuacin la reducen a una identidad en todas las variables.
Por ejemplo la EDP de primer orden donde e son las ? $B (C B C
B
# &
variables independientes y es la funcin incgnita tiene a ?
? B C B (BC J C J C a b a b a b
$ &
por solucin donde es cualquier funcin
diferenciable en . As tenemos que C ? B C B (BC / a b
$ & C
? B C B (BC #C a b
$ & $#
+ son soluciones. En esta forma vemos que las
soluciones se pueden clasificar en soluciones generales y soluciones
particulares.
Para la determinacin de las soluciones particulares se requiere de
condiciones auxiliares las cuales constituyen las llamadas las
condiciones iniciales y las condiciones de frontera. En esta forma
el problema de las EDP consiste en hallar las soluciones bajo condiciones
auxiliares, iniciales y/o en la frontera; obteniendo as los llamados
problemas de frontera o problemas de valores iniciales.
En el estudio de las soluciones de una EDP, se tienen tres preguntas
bsicas:
". Existen las soluciones ?
#. Es la solucin nica ?
$. Es la solucin estable ?
Para la determinacin de una solucin particular se usan condiciones
especiales llamadas como ya lo dijimos las condiciones iniciales y/o
las condiciones de frontera.
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 42
6.2. TIPOS DE CONDICIONES. Se pueden catalogar en cuatro tipos :
1.- : Se desean soluciones donde las funciones CONDICIONES DE CAUCHY
desconocidas y posiblemente sus derivadas , donde son ? ! > _
>
predeterminadas en la frontera cuando . Este tipo de condiciones son > !
catalogadas como condiciones iniciales.
2.- : La funcin incgnita es especificada en cada CONDICIONES DE DIRICHLET
punto en la frontera de la regin de interes. Es pues un problema
de frontera.
3.- CONDICIONES DE NEUMANN : Los valores de la derivada normal y de la
funcin incgnita son predeterminadas en cada punto en la frontera de
la regin de interes .
4.- CONDICIONES DE ROBIN : Valores de la suma de la funcin incgnita y ?
de sus derivadas normales son predeterminadas en cada punto de la
frontera de la regin de inters.
Un ejemplo tpico ilustrando algunas de estas condiciones es dado por
, < < , > ? ? ! B : > !
BB >>
: , , > GJ ? ! > X ? : > ! > ! a b a b
B
: , , GM ? B ! 0 B ? B ! 1 B ! B : a b a b a b a b
>
Condiciones de Dirichlet son dadas por cuando y condiciones de GJ B !
Neumann ocurren en cuando y condiciones de Cauchy se tienen GJ B :
en cuando . GM > !
La ecuacin
E B C ? F B C ? G B C ? H B C ? I B C ? J B C ? K B C a b a b a b a b a b a b a b
BB BC CC B C
es llamada ecuacin diferencial parcial lineal de segundo orden
en dos variables
Cuando , la ecuacin es llamada EDP lineal homognea de K B C ! a b
segundo orden.
6.3. CLASIFICACION DE LAS E.D.P LINEALES DE SEGUNDO ORDEN EN DOS VARIABLES.-
Una ecuacin diferencial parcial lineal homognea de segundo orden en
dos variables tiene la forma
E B C ? F B C ? G B C ? H B C ? I B C ? L B C ? ! a b a b a b a b a b a b
BB BC CC B C
a b #
donde , , , , , y son los coeficientes de la ecuacin E F G H I L
PRINCIPIO DE SUPERPOSICION DE SOLUCIONES : La ecuacin tiene la a b #
propiedad de que si y son soluciones de , es solucin ? ? # - ? - ?
" # " " # #
a b
tambin de . Ms general si , , es una sucesin de soluciones de a b # ? ?
" #
a b a b
!
# - ? # entonces es tambin solucin de . Esta propiedad puede an
3"
_
3 3
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 43
generalizarse para una familia de soluciones de indiciada sobre e f a b ? #
-
-
un conjunto medible , entonces tambin es una solucin de . > -
>
'
a b ? . #
-
En el desarrollo de la teora general de la EDP lineal homognea, estas
suelen clasificarse como hiperblicas, parablicas o elptica de acuerdo al
esquema usado en el estudio de las secciones cnicas.
hiperblicas si > F %EG !
#
parablicas si F %EG !
#
elpticas si . F %EG !
#
6.4. CASO DE LOS COEFICIENTES CONSTANTES
Un importante caso se tiene cuando la ecuacin toma la forma a b #
E? F? G? !
BB BC CC
donde , , y son constantes. Para tales ecuaciones, podemos siempre E F G
hallar soluciones generales. Para hallar tales soluciones introducimos la
siguiente transformacin
< +B ,C
= -B .C
suponiendo
+. ,- !
+ ,
- .

conocida como una transformacin conforme, donde y son + , - .
constantes por determinar. De la regla de la cadena hallamos
? ? < ? = +? -?
B < B = B < =
? ? < ? = ,? .?
C < C = C < =
y,
? < ? #< = ? = ? < ? = ?
BB << B B <= == BB < BB =
# #
B
B
, + ? #+-? - ?
# #
<< <= ==
, ? +,? +. ,- ? -.?
BC << <= ==
a b
? , ? #,.? . ?
CC << <= ==
# #
La sustitucin de estas expresiones en tenemos E? F? G? !
BB BC CC
E + ? #+-? - ? F +,? +. ,- ? -.? a b a b a b
# #
<< <= == << <= ==
G , ? #,.? . ? ! a b
# #
<< <= ==
As tenemos
a b a b a b a b E+ F+, G, ? #-+E F +. ,- #.,G ? E- F-. G. ? !
# # # #
<< <= ==
Ahora una eleccin adecuada de y , puede hacerse de manera que + , + .
, E+ F+, G, ! E- F-. G. !
# # # #
Si , es , en cuyo caso E ! , . x posible seleccionar
, E+ F+ G ! E- F- G !
# #
Esto significa que y son las soluciones de la ecuacin + -
E7 F7G !
#
Por ejemplo si escogemos
y + 7 - 7
" #
F F %EG F F %EG
#E #E
# #
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 44
en esta forma se recibe que
a b a b #+-E F +. ,- #,.G ? !
<=
se transforma en
c d a b #7 7 E F 7 7 #G ? !
" # " # <=
o, dado que
/ y / , 7 7 F E 7 7 G E
" # " #
se obtiene que
- / c d a b #G F , + #G ? !
<=
de donde

"
E
#
<=
c d %EG F ? !
Por lo tanto para el caso de las hiperblicas y elpticas se tiene
F %EG ! ? !
#
<=
. En estos casos , la cual tiene por solucin general a
? < = J < K = a b a b a b
y usando la transformacin conforme dada tenemos
? B C J 7 B C K 7 B C a b a b a b
" #
obteniendo la solucin general para el caso de las EDP hiperblicas y
elpticas.
Para el caso parablico, el discriminante es cero y se
"
E
#
<=
c d %EG F ? !
reduce a la identidad . Aqu hallamos que y as nuestra ! ! 7 7 7
" #
transformacin , es degenerada, puesto que , o < +B ,C = -B .C < =
equivalentemente, . En este caso se introduce una .+ ,- !
transformacin distinta la cual tambin ser conforme
, < 7B C = B
Entonces , , , y en ese caso se tiene que + 7 , " - " . !
, E? ! E !
==
entonces con solucin general ? !
==
? < = J < =K < a b a b a b
En trminos de e esta solucin toma la forma B C
? B C J 7B C BK 7B C a b a b a b
EJEMPLO 1: Hallar la solucin general de ? ? !
BB CC
SOLUCION: Sabemos que , por lo tanto la ecuacin es de F %EG %
#
tipo elptico. Para hallar la solucin, debemos calcular las races de la
ecuacin que en el caso toma la forma E7 F7G
#
7 " !
#
con races dadas por , . As la solucin general es dada por 7 3 7 3
" #
? B C J C 3B K C 3B a b a b a b

EJEMPLO 2: Hallar la solucin general de la ecuacin ? #? ? !


BB BC CC
SOLUCION: En este caso la E.D.P es de tipo parablico puesto que
B . La ecuacin cuadrtica ser cuyas races
# #
%EG ! 7 #7" !
son . La solucin general ser dada por 7 7 "
" #
? B C J B C BK B C a b a b a b

Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 45


Esta forma de hallar la solucin a una ecuacin diferencial parcial lineal
homognea (EDPLH) con coeficientes constantes es conocido como el
mtodo de D'Alambert .
Para la determinacin de una solucin particular de una EDPL es comn
utilizar un mtodo llamado y el cual pasamos de separacin de variables
a describir a continuacin:
6.5. : Nos permite determinar la METODO DE SEPARACION DE VARIABLES
solucin de una EDPL bajo el supuesto de que es una ? B C \ B ] C a b a b a b
solucin que en adelante se llamar lo cual permite solucin de prueba
la obtencin de uno o ms problemas de Sturm-Liuoville los cuales
conducen a la determinacin de e y por lo tanto de . Ilustramos \ ] ? B C a b
el mtodo resolviendo la siguiente ecuacin:
, > ; , 5 5 ! ? ! > ! ? P > !
` ? `?
`B `>
#
#
a b a b
SOLUCION: Si , podemos escribir la ecuacin dada como ? \X

\ X
\ 5X
#
ww w
-
lo que conduce al siguiente sistema
, \ \ ! X 5 X !
ww # w #
- -
cuyas soluciones son
, \ - B - B X - /
" # $
5 >
cos sin - -
-
#
Ahora bien, puesto que , ? ! > \ ! X > ! ? P > \ P X > ! a b a b a b a b a b a b
debemos tener y . Estas son condiciones de frontera \ ! ! \ P ! a b a b
para el sistema , . ( Para se tiene segn el \ \ ! X 5 ! \
ww # w #
- -
mtodo de Sturm-Liouville que
, \ \ ! \ ! \ P !
ww #
- a b a b
tiene por solucin ). Aplicando la primera de estas \ - B - B
" #
cos sin - -
condiciones resulta . Por lo tanto . - ! \ - B
" #
sin-
Ahora, la segunda condicin de frontera implica que
\ P - P ! a b
#
sin-
Si , entonces , de modo que . Para una solucin distinta - ! \ ! ? ! ?
#
de cero, debemos tener y as la ltima ecuacin se verifica cuando - !
#
sin-P ! . Esto implica
, - 1 - 8 8 8 " # $
1
P
Por consiguiente
? - B / E / B a b
# 8
5 > 5 8 P > 8
P
sin sin -
- 1 1
# # # #

satisface la ecuacin dada y ambas condiciones adicionales. El coeficiente
- - E
# $ 8
se reescribe como para enfatizar el hecho de que se obtiene una
solucin diferente para cada . 8

EJEMPLO 2: Hallar la solucin de la ecuacin


3a b a b a b a b

B ? : B ; B ? "
>>
` `?
`B `B
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 46
en donde , y son funciones suficientes suaves y tales que 3a b a b a b B : B ; B
3a b a b a b B ! : B ! ; B ! , > , , bajo las condiciones
: GJ
? ! > ? ! > !
? " > ? " > !

a b a b
a b a b
! "
# $
B
B
: , GM ? B ! B ? B ! B ! B " a b a b a b a b : :
! > "
SOLUCION: Para hallar soluciones no triviales, supngase que toma la ?
forma de producto
? B > X > \ B a b a b a b
Reemplazando por su valor en obtenemos ? " a b
3 a b a b a b a b a b a b a b a b

B X > \ B X > : B ; B X > \ B
ww . .\
.B .B
o bien

. .\
.B .B
ww

a b a b a b
a b a b a b
a b : B ; B \ B
B \ B X >
X >
3
-
siendo cierta constante. De aqu resulta que -

. .\
.B .>

a b a b a b : B B ; B \ ! -3
X > X > !
ww
a b a b -
Puesto que entonces satisface la condicin si y slo X > ! ? X\ GJ a b
si
, , ! " # $ \ ! \ ! ! \ " \ " ! a b a b a b a b
w w
Por el teorema de Sturm-Liouville, hallamos los valores propios para los
cuales existen soluciones no triviales, denominadas funciones propias,
esto es
a b " Existe un conjunto de valores propios < < < y las - - -
" 8
#
correspondientes funciones propias , , \ B \ B
" #
a b a b
a b c d a b # ! " B En el intervalo las funciones propias son ortogonales, esto 3
es,

'
!
"
8 7
3a b a b a b B \ B \ B !
Resolvemos ahora para cada valor propio la ecuacin -
8
X > X > !
ww
8
a b a b -
La solucin general es de la forma
X > E > F >
8 8 8 8 8
a b

cos sin - -
siendo y constantes arbitrarias E F
8 8
As, hemos obtenido un conjunto infinito de soluciones de la ecuacin a b "
del tipo
? B > X > \ B E > F > \ B 8 " # $
8 8 8 8 8 8 8 8
a b a b a b a b

cos sin - -
Por el principio de superposicin de soluciones se obtiene
? B > E > F > \ B # a b a b a b
!
8"
_
8 8 8 8 8
cos sin - -
Para obtener la solucin deseada se supone incialmente que la serie y la
serie derivada son uniformemente convergentes, entonces se cumple GM
y se recibe
? B ! E \ B B ? B ! F \ B B a b a b a b a b a b a b
! !
8" 8"
_ _
8 8 ! > 8 8 8 "
: - :
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 47
Para obtener los coeficientes y multiplicamos los miembros de las E F
8 8
igualdades anteriores por y luego integrando con respecto a 3 a b a b B \ B B
8
en el intervalo a , obtenemos ! "
E B B \ B .B F B B \ B .B
8 ! 8 8 " 8
! !
" "
"
' '
3 : 3 : a b a b a b a b a b a b

-
8
Reemplazando en los valores que hemos hallado para los coeficientes, a b #
obtenemos la solucin de nuestro problema

NOTA : En los clculos de y hemos supuesto que las funciones E F


8 8
propias son ortonormales, es decir que . \ B \ B "
8 8
a b a b
6.6. . OTROS METODOS DE SOLUCION PARA EDPH
Consideremos el caso unidimensional del calor donde la distribucin de
la temperatura en se mantiene en mientras que la B ! X !
"
temperatura en es donde y son constantes ( ), se B : X ! X X X X
# " # " #
plantea entonces un problema de EDP del siguiente tipo:
, < < , > ? + ? ! B : > !
BB >
#
: , , > GJ ? ! > X ? : > X > ! a b a b
" #
: = , < < GM ? B ! 0 B ! B : a b a b
Como , , el mtodo de separacin de variables no X X X ! X !
" # " #
funciona. Para obviar esta situacin se conjetura que la distribucin de la
temperatura a lo largo de la barra ser tal que
lim
>_
? B > = B a b a b
donde es una funcin independiente del tiempo. Basados en esta = B a b
conjetura vemos que es posible que la distribucin de la temperatura
? B > a b pueda ser expresada como una suma de funciones de la forma
? B > = B @ B > a b a b a b
donde es una funcin que se va acabando cuando el tiempo crece. @ B > a b
Nos referimos a como a la solucin mientras que @ B > = B a b a b TRANSITORIA
es llamada o solucin de equilibrio. En esta forma ESTADO ESTABLE
? = @ ? @
BB BB > BB
ww
por lo tanto se tendra
, , = @ + @ ! B : > !
ww #
BB >
: , GJ = ! @ ! > X = : @ : > X a b a b a b a b
" #
: , GM = B @ B ! 0 B ! B : a b a b a b
Pasando al lmite cuando , vemos que > _
, , para todo @ B > ! @ B > ! B a b a b
>
entonces obtenemos el problema de Ecuaciones diferenciales ordinarias
(EDO) para el estado estable
= ! = ! X = : X
ww
" #
a b a b
Por integracin sucesiva obtenemos que
, , = B - B - = ! X = : X a b a b a b
" # " #
as
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 48
, X - = : X - : - X X -:
" # # " # " #
a b
luego
- - X
" # "
X X
:
# "
En esta forma para el estado estable tenemos
= B B X a b
X X
:
"
# "
Ahora para el estado transitorio se plantea el siguiente problema de EDP
, , @ + @ ! B : > !
BB >
#
: , GJ X @ ! > X : X @ : > X
" " " #
X X
:
a b a b
# "
: GM B X @ B ! 0 B a b a b
X X
:
"
# "
Por lo tanto vemos que es solucin de un problema del calor @ B > a b
unidimensional homogneo, el cual se puede resolver por el mtodo de
separacin de variables, dado por
, , @ + @ ! B : > !
BB >
#
: , , GJ @ ! > ! @ : > ! > ! a b a b
: , GM @ B ! 0 B X X X ! B : a b a b a b
" # "
B
:

6.7. PROBLEMAS NO HOMOGENEOS


Un problema es clasificado como no homogneo, si la EDP y/o las
condiciones de frontera, son no homogneas. Algunos casos especiales
de condiciones en la frontera no homogneas, independientemente del
tiempo fueron considerados en 6.6, mientras que aqu consideraremos
un problema ms general involucrando EDP no homogneas y
condiciones de frontera, caracterizadas, en el caso unidimensional del
calor, por el problema
? + ? ; B > ! B : > !
BB >
#
a b, ,
:
,
GJ
F ? + ? ! > + ? ! > > > !
F ? + ? : > + ? : > >

a b a b a b
a b a b a b
" "" "# B
# #" ## B
!
"
: , GM ? B ! 0 B ! B : a b a b
donde es proporcional al origen de la fuente del calor. Para resolver ; B > a b
problemas de esta naturaleza de generalidad consideraremos dos casos
especiales.
6.8. . TERMINOS NO HOMOGENEOS INDEPENDIENTES DEL TIEMPO
Cuando el origen del calor no cambia con el tiempo es llamado caso
estable y en este caso se tiene que
; B > : B a b a b
Si las condiciones de frontera son tambin independientes del tiempo, es
decir si
F ? X F ? X
" " # #
donde y son constantes, entonces el problema es formalizado por X X
" #
, , ? + ? : B ! B : > !
BB >
#
a b
: , , GJ F ? X F ? X > ! "
" " # #
a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 49
: , GM ? B ! 0 B ! B : a b a b
Para hallar la solucin, usamos la misma conjetura formulada en 6.6,
afirmando que puede ser expresada como la suma ?
? B > = B @ B > a b a b a b
donde denota la solucin estable y es la solucin transitoria. La = B @ B > a b a b
sustitucin en nos conduce a a b "
, , = @ B > + @ : B ! B : > !
ww #
>
a b a b
: , , GJ F = F @ X F = F @ X > !
" " " # # #
: GM = B @ B ! 0 B ! B : a b a b a b
de donde se deduce que es una solucin del problema de EDO = B a b
= : B F = X F = X
ww
" " # #
a b
y satisface el problema de EDPH @ B > a b
, , @ + @ ! B : > !
BB >
#
: , , GJ F @ ! F @ ! > !
" #
: , GM @ B ! 0 B = B ! B : a b a b a b
entonces es la solucin verdadera del problema ? B > = B @ B > a b a b a b
original. Una vez ms tenemos el problema reducido a un conjunto de
soluciones de ecuaciones cuya tcnica de solucin realmente ya es
conocida.
6.9. . METODO DE EXPANSION DE FUNCIONES PROPIAS
Cuando el origen del calor cambia con el tiempo tenemos el caso no
estable, para hallar la solucin se generaliza el mtodo de variacin del
parmetro utilizado para obtener la solucin particular de una EDLO no
homognea, cuando se obtiene la famosa frmula de Green. Para ilustrar
el mtodo hallemos la solucin del problema unidimensional del calor no
homogneo siguiente
, , ? + ? ; B > ! B : > !
BB >
#
a b
: GJ
5 ? ! > 5 ? ! > !
6 ? : > 6 ? : > !

a b a b
a b a b
" # B
" # B
: , GM ? B ! 0 B ! B : a b a b
Por el mtodo de separacin de variables se halla la solucin de la
ecuacin homognea
? + ?
BB >
#
suponiendo como es conocido que es la forma de la ? B > J B K > a b a b a b
solucin, de aqu se deduce que satisface al problema S-L siguiente J B a b

J J !
ww
-

5 J ! 5 J ! !
6 J : 6 J : !
"
" #
w
" #
w
a b a b
a b a b
a b
Del estudio de los problemas de Sturm-Lioville se deduce la obtencin
del conjunto de valores propios y un conjunto de e f e f - 9
8 8
8" 8"
_ _
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 50
funciones propias ortogonales en el intervalo , y tales que ! B :
9 - 9
8
ww
8 8
8 " # , . Como en el caso de variacin del parmetro
afirmamos que
? B > I > B a b a b a b
!
8"
_
8 8
9
es solucin de prueba para
? + ? ; B >
BB >
#
a b
donde las funciones de , deben ser determinadas, as > I >
8
a b
? B > I > B
> 8
8"
_
w
8
a b a b a b
!
9
y
? B > I > B I > B
BB 8 8 8 8
8" 8"
_ _
ww
8
a b a b a b a b a b
! !
9 - 9
Por otra parte la ecuacin dada toma la forma
+ ; B > ? + ?
# #
> BB
a b
y sustituyendo obtenemos
+ ; B > I > B + I > B
# w #
8" 8"
_ _
8
8 8 8 8
a b a b a b a b a b
! !
9 - 9
+ ; B > I > + I > B #
# w #
8"
_
8
8 8 8
a b c d a b a b
!
a b a b - 9
Para un fijo, podemos interpretar como un desarrollo generalizado > # a b
de Fourier de , cuyos coeficientes estarn dados por + ; B >
#
a b
I > + I > + ; B > B .B $
w # #
8
8 8 8 8
#
!
:
a b a b l l a b a b a b - 9 9
'
donde
, , , , l l c d
'
a b 9 9
8 8
# #
!
:
B .B 8 " # $
Denotemos con
, , , , U > ; B > B .B 8 " # $
8
8 8
#
!
:
a b l l a b a b 9 9
'
Entonces la ecuacin
I > + I > + U >
8
w # #
8 8 8
a b a b a b -
es una ecuacin diferencial lineal de primer orden cuya solucin es dada
por
, , , , I > - + / U . / 8 " # $
8 8 8
# + + >
!
>
a b a b
'
# #
8 8
- 7 -
7 7
(suponiendo , , , ) donde los son constantes arbitrarias. -
8 8
! 8 " # -
Finalmente, al sustituir obtenemos la solucin formal I >
8
a b
? B > - + / U . B / a b a b a b
!

8"
_
8 8 8
# + + >
!
>
'
# #
8 8
- 7 -
7 7 9
Las constantes , , , son determinadas haciendo uso de la - 8 " #
8
condicin inicial , as a b GM
? B ! 0 B - B a b a b a b
!
8"
_
8 8
9
y por consiguiente
, , , , - B 0 B B .B 8 " # $
8 8 8
#
!
:
l l a b a b a b 9 9
'
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 51

E J E R C I C I O S
". Verificar que las siguientes funciones son soluciones de la ecuacin de
Laplace ? ? !
BB CC
+ ? #BC , ? B $BC - ? / C ) ) )
$ # B
sin
. ? B C / ? CB 0 ? B 'B C C ) ) ) sin sin arctana b
% # # %
# ? " B C D . Demostrar que es solucin de la ecuacin

# # #
? ? ? !
BB CC DD
3. Verificar que satisface la ecuacin de Laplace ? B C + B C , a b a b ln
# #
? ? ! + , ?
BB CC
y determinar y de manera que satisfaga las condiciones
de frontera sobre el crculo y sobre el crculo ? ! B C " ? &
# #
B C *
# #
.
%. Verificar que las siguientes funciones son soluciones de la ecuacin
? - ? -
> BB
# #
, determinando en cada caso el valor de la constante
+ ? / B , ? / $B - ? / B ) ) )
#> > %>
cos sin cos:
5. Verificar que las siguientes funciones son soluciones de la ecuacin
? - ? -
>> BB
# #
, determinando en cada caso el valor de la constante
+ ? B %> , ? B $B> - ? -> B ) ) )
# # $ #
sin sin : :
' ? B > @ B -> A B -> @ A . Demostrar que , donde y son funciones a b a b a b
cualesquiera diferenciables dos veces, es una solucin de la ecuacin
. ? - ?
>> BB
#
Si una ecuacin diferencial parcial contiene derivadas con respecto a una
de las variables independientes nicamente, puede resolverse como una
ecuacin diferencial ordinaria, tratando las otras variables independientes
como parmetros.
7. Resolver las ecuaciones siguientes, donde ? ? B C a b
+ ? %? ! , ? #C? ! - ? #BC? ) ) )
BB C B
. ? ! / ? ? 0 ? ? ! ) ) )
BC BC B BC B
8. Resuelva las siguientes ecuaciones diferenciales parciales
+ ? C ! , ? #BC - ? #? / ) ) )
B C C
C
. ? )BC " / ? BC ! 0 ? " ) ) )
BB CC BC
#
sin
1 ? #B %C 3 ? ? 'B/ 4 ? #C? %BC ) ) )
BC BC C BC B
B
5 ? B ? B/ 6 ? C ? C #B ) )
CC BB
# %C #
sin
9. Determine si el mtodo de separacin de variables es aplicable a las
ecuaciones dadas. Si lo es, obtenga las soluciones en forma de producto
+ ? ? , ? $? ! - ? ? ?
B C B C B C
, ? ? ? / B? C? 0 C? B? !
B C B C B C
1 ? ? ? ! 2 C? ? ! 3 ? ? !
BB BC CC BC BB CC
4 5? ? ? 5 ! 5 5? ? 5 ! 6 + ? ? ,
BB > BB > BB >>
#
7 + ? ? #5? 5 ! 8 B ? ? ! 9 ? ? ?
# #
BB >> > BB CC BB CC
, >
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 52
: + ? ? ? ; + ? 1? ? 1 , es constante.
# #
BB CC BB >>
10. Resuelva las ecuaciones dadas sujetas a las condiciones indicadas.
+ ? 'B ? ! C C ? " C C " ; ,
BB
#
a b a b
, C? ? ! ? B " B ? B / " ; , .
CC C
#
a b a b
11. Obtenga la ecuacin unidimensional de onda.
12. Halle la solucin del problema siguiente
< <
` ? ` ?
`> `B
#
# #
# #
- ! B "
: , para todo t GJ ? ! > ! ? " > ! a b a b
: , GM ? B ! 0 B ? B ! ! a b a b a b
>
13. Halle la solucin del flujo unidimensional de calor dado por el
problema
< <
`? ` ?
`> `B
#
- ! B "
#
#
: , para toda t GJ ? ! > ! ? " > ! a b a b
: GM ? B ! 0 B a b a b
14. Hallar el flujo de calor en una barra infinita.
15. Deducir la ecuacin bidimensional de onda o de la membrana
vibrante.
16. Halle la solucin del problema siguiente

` ? ` ? ` ?
`> `B `C
#
# # #
# # #
-
: sobre la frontera de la membrana para toda GJ ? ! > !
: , . GM ? B C ! 0 B C 1 B C a b a b a b
`?
`>
>!
Halle la solucin a los siguientes problemas
17) , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > ! ? " > ! a b a b
: GM ? B ! $ B & % B a b sin sin 1 1
18) , < < , > ? + ? ! B : > !
BB >
#
: , GJ ? ! > ! ? : > ! a b a b
: GM ? B ! B : B a b a b
19) , < < , > ? + ? ! B "! > !
BB >
#
: , , > GJ ? ! > "! ? "! > $! > ! a b a b
: , < < GM ? B ! ! ! B "! a b
20) , < < , ? + ? ! B " > !
BB >
#
: , , > GJ ? ! > X ? " > ? " > X > ! a b a b a b
" B #
: , . GM ? B ! X ! B ! a b
"
21) = , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > " ? " > ! a b a b
: GM ? B ! X a b
!
22) = , < < , > ? + ? ! B # > !
BB >
#
: , GJ ? ! > X ? # > X a b a b
" #
GM ? B ! X : a b
!
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 53
23) = , < < , > ? + ? ! B : > !
BB >
#
: , GJ ? ! > ! ? : > !
B B
a b a b
: GM ? B ! X B: a b a b
!
#
sin 1
24) = , < < , > ? + ? ! B : > !
BB >
#
: , GJ ? ! > ! ? : > X
B !
a b a b
: GM ? B ! X a b
!
25) = , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > X ? " > X a b a b
! !
: GM ? B ! X B " B a b a b
!
26) = , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > X ? " > ! a b a b
" B
: GM ? B ! B a b
27) = , < < , > ? + ? B > !
BB >
#
1 1
: , GJ ? > ? > ? > ? > a b a b a b a b 1 1 1 1
B B
: | |. GM ? B ! B a b
28) = , < < , < ? + ? " ! B " > !
BB >
#
: , GJ ? ! > ! ? " > ! a b a b
: GM ? B ! a b
B
#
29) , < < , > ( constante) ? ? E ! B : > ! E
BB >
: , ( constante) GJ ? B ! X ? " > X X a b a b
" " "
: ( constante). GM ? B ! X X a b
! !
30) , < < , > ? + ? 'B ! B " > !
BB >
#
: , GJ ? ! > ! ? " > !
B
a b a b
: . GM ? B ! /B " a b
31) , < < , ? + ? + A> ! B > !
BB >
#
cos 1
: , GJ ? ! > ! ? > !
B B
a b a b 1
: GM ? B ! ! a b
32) , < < , > ? ? / ! B " > !
BB >
>
: , GJ ? ! > ! ? " > !
B B
a b a b
: . GM ? B ! ! a b
33) , < , > ( , son constantes) ? ? E/ ! B " > ! E ,
BB >
,B
: , GJ ? ! > ! ? " > ! a b a b
: . GM ? B ! " / a b

,B E
,
#
34) , < < , > ? - ? ! > " > !
BB >>
#
: , GJ ? ! > ! ? " > ! a b a b
: , ( constante) GM ? B ! ! ? B ! @ @ a b a b
> ! !
35) = , < < , > ? - ? ! > > !
BB >>
#
1
: , GJ ? ! > ! ? > !
B B
a b a b 1
: , GM ? B ! " # $B ? B ! & #B a b a b cos cos
>
36) = , < < , > ? - ? ! > " > !
BB >>
#
: , GJ ? ! > ! ? " > ! a b a b
: , GM ? B ! B " B ? B ! ! a b a b a b
>
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 54
37) = , < < , ? - ? T A> ! > > !
BB >>
#
sin 1
: , GJ ? ! > ! ? " > ! a b a b
: , GM ? B ! ! ? B ! ! a b a b
>
38) , < < , > ? + ? ! B _ > !
BB >
#
: , cuando , GJ ? ! > ! ? B > ! B _ > ! a b a b
: , < < GM ? B ! 0 B ! B _ a b a b
39) , < < , > ? + ? _ B _ > !
BB >
#
: , cuando | | , > GJ ? B > ! ? B > ! B _ > ! a b a b
B
: , < < GM ? B ! 0 B _ B _ a b a b
40) , < < , > ? + ? ; B > _ B _ > !
BB >
#
a b
: , cuando | | , > GJ ? B > ! ? B > ! B _ > ! a b a b
B
: , < GM ? B ! 0 B _ B _ a b a b
41) , < < , < < ? ? - ? ! B + ! C ,
BB CC >>
#
: , GJ GM
? ! C > ! ? + C > !
? B ! > ! ? B , > !
? B C ! B C
? B C ! !

a b a b
a b a b
a b
a b
C C >
42) , < < , < < , > ? ? + ? ! B ! C > !
BB CC >
#
1 1
: GJ
? ! C > ! ? C > !
? B ! > ! ? B > !

a b a b
a b a b
B
C
1
1
: GM ? B C ! B C a b
43) , < < , < < ? ? ? ! B " ! C
BB CC >
1
: GJ
? ! C > ? " C > !
? B ! > ! ? B > !

a b a b
a b a b
B
C
1
: . GM ? B C ! BC a b
44) Hallar la solucin del problema siguiente:
, < < , > ? ? ! B _ > !
BB >>
: , , cuando GJ ? ! > ! ? B > ! B _
B
a b a b
: , . GM ? B ! / ? B ! ! a b a b
B
>
45) Hallar la solucin del problema siguiente:
, < < , > ? ? ! B " > !
BB >>
: , , > GJ ? ! > ! ? " > ! > ! a b a b
: , GM ? B ! B " B ? B ! ! a b a b a b
>
******
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 55
. EL LAPLACIANO Y EL POTENCIAL (
7.1. EN COORDENADAS POLARES
Sean y las coordenadas polares para < )

un punto entonces se tiene : : B C a b
= , = B < C < cos sin ) )
Se sabe que el Laplaciano en coordenadas rectangulares es dado por
f ?
# ` ? ` ?
`B `C
# #
# #
Para obtenerlo en coordenadas polares hacemos uso de la regla de la
cadena. En esta forma
= + ? ? < ?
B < B B )
)
Derivando esto nuevamente con respecto a , se tiene B
= + ? ? < ?
BB < B B B
B
a b a b
)
)
= + + + a b a b ? < ? < ? ?
< B B < BB B BB
B
) )
) )
= + + a b a b ? < ? < ? < ? < ? ?
<< B < B B < BB < B B B BB ) ) )) )
) ) ) )
As,
+ + + + ? ? < #? < ? < ? ? "
<< << < B B < BB BB
B
# #
) )) )
) ) ) a b
Ahora para determinar y se tiene que <
B B
)
y = < B C CB

a b
# #
) arctan
entonces
= = , = <
B B
B B
B C
< <
CB
" CB
C


a b
# #
#
# #

)
= = = , = = < C #< <
BB BB B
<B<
< < < < <
" B C #BC
$ B
# $ $ %
# #
) a b
Sustituyendo en se obtiene a b "
= + + + ? ? # ? ? ? # ?
BB << < <
B
< < < < <
BC C C BC
#
# $ % $ %
# #
) )) )
De manera semejante se obtiene
= + + + ? ? # ? ? ? # ?
CC << < <
C BC BC
< < < < <
B B
#
# $ % $ %
# #
) )) )
Sumando se obtiene el Laplaciano en coordenadas polares
= + + f ?
# ` ? " `? " ` ?
`< < `< < `
# #
# # #
)

Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 56


7.2. : Consideremos las vibraciones de una MEMBRANA CIRCULAR

membrana circular la cual se ha fijado a lo largo de la frontera = . En < V
ese caso tenemos el siguiente problema: Hallar la solucin del problema

` ? ` ? " `?
`> `< < `<
#
# #
# #
-
: GJ ? V > ! a b
: , GM ? < ! 0 < ? < ! 1 < a b a b a b a b
>
PRIMER PASO: Por el mtodo de Fourier se supone que
? < > [ < K < a b a b a b
es la solucin de prueba, entonces

K " "
- K [ <
ww w #

#
[ [ 5

Esto proporciona las dos ecuaciones lineales ordinarias

K 5 - K ! [ [ 5 [ !
# # ww w # "
<
SEGUNDO PASO: Introduciendo la nueva variable = se tiene = por la = 5<
" 5
< =
regla de la cadena
y [ 5 [ 5
w ww # .[ .[ .= .[ . [
.< .= .< .= .=
#
#
Sustituyendo y omitiendo el factor comn , se obtiene: 5
#

. [ " .[
.= = .=
#
#
[ !
Esta es la , con = . La solucin general es Ecuacin de Bessel @ !
[ - N = - ] =
" ! # !
a b a b
donde y son funciones de Bessel dadas por N ]
! !
, = + N = ] N = = =
! ! !
! #7
7! 7"
_ _
" = " 2
# 7x # 7x
! !
a b
a b a b
a b a b
7 7" #7
#7 #7
# #
7
ln
donde = + + + + . Como la deformacin de la membrana 2 "
7
" " "
# $ 7
siempre es finita y como no puede usarse y debe elegirse lim
=!
! !
] = _ ] a b
- ! - ! - "
# " "
. Si se desean soluciones no triviales, puede tomarse
entonces = = . [ < N = N 5= a b a b a b
! !
Por , se tiene = . Si = entonces = . GJ ? V > [ V K > ! K > ! ? < > ! a b a b a b a b a b
Si entonces = o sea = esto es = , K > ! [ V ! N 5V ! 5V a b a b a b
! 7
!
7 " # $ 5 5 7 " # $ , , , o bien = = , = , , . De aqu que
7
V
!
7
[ N 5 < N <
7 ! 7 !
V
a b

!
7
son las soluciones que se anulan en . Las soluciones generales de < V
K > a b son
= . K > + > , >
7 7 7 7 7
a b cos sin - -
De aqu que las funciones
= + ? < > + > , > N 5 >
7 7 7 7 7 ! 7
a b a b a b cos sin - -
sonlas dela onda circular, donde . funciones propias -
7 7
-5
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 57
TERCER PASO : Por el principio de superposicin de soluciones tenemos que
= ? < > + > , > N < a b a b
!
7"
_
7 7 7 7 !
V
cos sin - -
!
7
Haciendo = y usando tenemos > ! GM
= ? < ! + N < 0 < a b a b
!
7"
_
7 !
V
!
7
Ya hemos mostrado que la coleccin es un conjunto - e f a b N 5 < <
! 7
ortogonal en el intervalo por lo tanto est desarrollado en serie ! V 0 < a b
generalizada de Fourier Bessel por lo tanto
= = + <0 < N < .<
7 !
0 < N 5 <
N 5 <
#
V N !
V
V
a b a b
l l a b
a b
! 7
! 7
# # #
"
7
7
!
!
'
a b

Ahora derivando con respecto a tenemos >
= ? < > + > , > N <
> 7 7 7 7 7 7 !
7!
_
V
a b a b
!
- - - - sin cos
!
7
por tenemos GM
= = ? < > 1 > , N <
> 7 7 !
7"
_
V
a b a b
!
-
!
7
de donde se obtiene que
. , <1 < N < .<
7 !
#
V N !
_
V - !
!
7 7
#
!
#
7
a b
'
a b

7.3. EL POTENCIAL. EL LAPLACIANO EN COORDENADAS ESFRICAS
Las coordenadas esfricas estan dadas por:
= , = , = B C D 3 ) 9 3 ) 9 3 9 cos sin sin sin cos

Si entonces , , < B < C < < D 3 9 ) ) 3 sin cos sin
# #
En esta forma . Se puede mostrar que en coordenadas 9 +<- -9>
D
<
cilndricas el Laplaciano est dado por
= + + + f ? ? ? ? ?
#
<< < DD
" "
< <
# ))
A partir de esto obtengamos el Laplaciano en coordenadas esfricas,
primero
= , = = 3 9
D D
D < <
< D 3 3
# # #
Derivando nuevamente
= = = 3
DD
D D < 3 3 3
3 3 3
D
# # #
# # #
= = 9
DD
#< #D< 3
3 3
D
$ %
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 58
Anlogamente
= , = = = 3 3
< <<
< D < <
3 3 3 3
3 3 3
<
# $ $
# # #
= = , = = = 9 9
< <<
D D #D<
< D
#D #D
# # # % $ %
< <
3 3 3 3
33 3
Ahora
= + = + ? ? ? ? ?
< < <
< D
3 9 3 9
3 3
3 9
#
= + + ? ? ? ? ? ? ?
<< < < < << < < < <<
a b a b
33 39 3 93 99 9
3 9 3 3 3 9 9 9
= + + + + ? #? ? ? ?
33 39 3 99 9
3 9 3 3 9 9
# #
< <
< < << <<
As
= + + + ? ? ? ? ? ?
<<
< #<D D D #<D
33 39 3 99 9
3 3 3 3 3
# # #
# $ $ % %
Derivando con se tiene = + D ? ? ?
D D D 3 9
3 9
= + + + + + ? ? ? ? ? ? ?
DD D D D DD D D D DD
a b a b
33 39 3 93 99 9
3 9 3 3 3 9 9 9
= + + + ? # ? ? ? ?
33 39 3 99 9
3 3 3 3 3
D D< < < #D<
# # #
# $ $ % %
Sumando con tenemos ? ?
<< DD
+ = + + ? ? ? ? ?
<< DD
< D < D < D
33 3 99
3 3 3
# # # # # #
# $ %
= + + ? ? ?
33 3 99
3 3
" "
#
+
" " " D
< <
<
? ? ?
3 3
3 9 #
As ;
= + + + f ? ? ? ? ? ? ? ? ? ?
#
<< < DD
" " # " "
< <
# # # # # )) 33 3 99 )) 9
3 3 3 9 3
9
sin
cot
Luego
= f ?
# # " ` `? " ` `? " ` ?
` ` ` ` ` 3 3 3 9 9 9 9 )
# # #
#
3 9
sin sin
sin
7.4. : Supongamos la distribucin de un POTENCIAL ELECTRICO EN UNA ESFERA
potencial elctrico fijo sobre una esfera de radio donde , ? V W V < a b ) 9
) 9 , son las coordenadas esfricas. Se desea hallar el potencial en todos ?
los puntos del espacio, los cuales se suponen libres de otras cargas. Este
problema se plantea por la solucin de

` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: GM ? V < ! lim
<_
a b 9
: = GM ? V 0 a b a b 9 9

Por el mtodo de Fourier supongamos que = es la ? < K < L a b a b a b 9 9
solucin de prueba por lo tanto y deben ser tales que K L

" . .K " . .L
K .< .< L . .
#

<
sin9 9 9
sin9
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 59
Entonces existe una constante tal que 5

" . .K " . .L
K .< .< L . .
#

< 5 5
sin9 9 9
sin9
de modo que

" . .L " . .K
. . K .< .<
#
sin9 9 9


sin9 5L ! < 5
La ltima ecuacin toma la forma
+ = < K #<K 5K !
# ww w
Esta es una ecuacin de Euler-Cauchy y tiene por solucin de prueba a
K < < a b = y estas soluciones son particularmente simples si se toma
!
5 8 8 " a b en ese caso
+ = < K #<K 8 8 " K !
# ww w
a b
tenindose
c d a b a b ! ! ! " # 8 8 " < !
!
de donde , y, ! ! 8 8 "
De aqu se obtienen las soluciones
y = K < < K <
8
8
8
"
<
a b a b
8"
Para la ecuacin diferencial de tenemos L
=
" . .L
. . sin9 9 9
a b sin9 8 8 " L !
haciendo = se tiene = y como [ " [ cos sin 9 9
# #
= =
. . .[ .
. .[ . .[ 9 9
sin9
tenemos,
+ =
. . L
.[ .[
#
c d a b a b " [ 8 8 " L !
#
#
o bien,
+ = a b a b " [ #[ 8 8 " L !
# . L .L
.[ .[
#
#
Esta es la ecuacin de Legendre y tiene por solucin a los polinomios de
Legendre
= = = , , , L : [ : 8 ! " #
8 8
a b a b cos9
De donde se obtiene la solucin del problema
= , = ? < E < : ? < :
8 8 8 8
8
8
F
<
a b a b a b a b 9 9 9 9 cos cos
8
8"
donde = , , , y , son constantes. Por el principio de 8 ! " # E F
8 8
superposicin de soluciones se obtienen las llamadas: solucin interna y
la solucin externa dadas por
= , = ? < E < : ? < :
M 8 I
8! 8"
_ _
8 8 8
F
<
a b a b a b a b
! !
9 9 9 9 cos cos
8
8"
Por las condicin se determinan las constantes GM
= , ? V E V : 0 ? V : 0
M 8 I
8! 8"
_ _
8 8 8
F
V
a b a b a b a b a b a b
! !
9 9 9 9 9 9 cos cos
8
8"
Como es un conjunto ortogonal entonces e f a b :
8
cos9
= , =
~
E V 0 [ : [ .[ 0 [ : [ .[
8 8 8
8 #8" #8"
# V #
" "
" "
F
' '

a b a b a b a b
8
8"
donde . Ya que y los lmites de integracin
~
0 [ 0 .[ . a b a b cos sin 9 9 9
" " ! y corresponden a y 9 1 9
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 60
= , E 0 : .
8 8
#8"
#V
!
8
'
1
a b a b 9 9 9 9 cos sin
y
F 0 : . < V
8 8
V #8"
#
!
8"
a b
'
1
a b a b 9 9 9 9 cos sin
7.5. : Se considera el flujo elctrico en un par de LINEAS DE TRANSMISION
conductores lineales, tales como cables telefnicos o una lnea de
transmisin elctrica. Consideremos una carga lineal de transmisin
imperfectamente aislada como se indica en la figura.

Supongamos que fluye una corriente elctrica desde hasta el la fuente E
extremo en el sentido indicado en la figura. Designemos por receptor F
B 3 la distancia a lo largo del cable; tanto la corriente como la diferencia
de potencial entre los dos cables son funciones de de . Designemos / B >
por la resistencia por unidad de longitud de los cables, por la V K
conductancia por unidad de longitud entre los cables, por la # G
capacitancia por unidad de longitud de los cables y por la inductancia # P
por unidad de longitud. Consideremos ahora un elemento de lnea de
transmisin de longitud . Si la fuerza electromotriz en un punto es ?B B
/ B > a b entonces se calcula la cada de potencial a lo largo de un elemento
de longitud , tenindose B
= + + / B > 3V B P B / B B > " a b a b a b ? ? ?
`3
`>
Sin embargo, por el desarrollo de Taylor, tenemos
= + + / B B > / B > B a b a b ? ?
` /
`B
donde se desprecian trminos de segundo orden y superiores.
Sustituyendo este valor en (1) tenemos
= + 3V P
` / ` 3
`B `>
Si se designa por la corriente que entra en una seccin de longitud 3 B > a b
? ? B 3 B B > y por ) la corriente que sale de ese elemento, se puede a b
escribir
= + + 3 B > /K B G B 3 B B > # a b a b a b ? ? ?
` /
`>
donde es la corriente que pasa a travs del aislador y la /K B G B ? ?

` /
`>
corriente invertida en la carga del condensador. Mediante el desarrollo de
Taylor se tiene
= + + 3 B B > 3 B > B a b a b ? ?
` 3
`B
Sustituyendo esta expresin en se obtiene a b #
= + /K G
` 3 ` /
`B `>
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 61
Las ecuaciones

/ 3V P3
3 IK G/
B >
B >
constituyen un sistema simultneo de ecuaciones diferenciales parciales
de primer orden. Para obtener la diferencia de potencial, hallamos la
derivada parcial a la segunda ecuacin con respecto a , obteniendo B
= + K G
` 3 ` / ` ` /
`B `B `> `B
#
#

Sustituyendo el valor de se tiene
` /
`B
= + +
` 3 ` / ` 3
`B `> `>
# #
# #
PG PK VG VK3 $ a b a b
Anlogamente se obtiene la ecuacin para la corriente
= +
` / ` / ` /
`B `> `>
# #
# #
PG PK VG VK/ % a b a b
Las ecuaciones y se conocen como las a b a b $ % ecuaciones del telfono.
En muchas aplicaciones para las seales telegrficas, la dispersin es K
pequea y el trmino debido a la inductancia es despreciable, de modo P
que se puede suponer . Las ecuaciones toman, en este caso, la K P !
forma simplificada

a b
` 3 ` 3
`B `>
` / ` /
`B `>
#
#
#
#
VG
VG
&
estas ecuaciones se conocen como las o ecuaciones de los telegrafistas
del cable.
Para frecuencias elevadas los trminos con derivadas respecto al tiempo
son grandes, pudindose encontrar algunas propiedades cualitativas de
la solucin, despreciando los trminos de dispersin y resistencia o sea
K V !, las ecuaciones se reducen a

a b
` 3 ` 3
`B `>
` / ` /
`B `>
# #
# #
# #
# #
PG
PG
'
Haciendo = se ve en este caso que tanto la corriente como la @
"
PG

diferencia de potencial entre las lneas satisfacen la ecuacin de onda


undimensional
= ? @ ?
BB >>
#
******
E J E R C I C I O S
1. Hallar la solucin del problema siguiente
+ = , < < , > ? ? - ? ! < " > !
<< < <<
"
<
#
: = , > GJ ? " > ! > ! a b
: = , = , < < G M ? < ! ? < ! ! ! < "
" ! <
! < "
a b a b

"
#
"
#
>
2. Estudiar las soluciones del siguiente problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 62
+ + = , , ? ? ? ! ! <
<< <
" "
< <
# ))
3 1 ) 1
:
es finito
,
GJ
? < >
? < ? < ? < ? <

a b
a b a b a b a b
lim
<!

1 1 1 1
) )
: , GM ? 0 a b a b 3 ) ) 1 ) 1
3. Hallar la solucin del problema siguiente
+ + = , , ? ? ? ! ! <
<< <
" "
< <
# ))
3 1 ) 1
:
es finito
,
GJ
? < >
? < ? < ? < ? <

a b
a b a b a b a b
lim
<!

1 1 1 1
) )
: , GM ? a b 3 ) ) 1 ) 1 cos
#
4. Hallar la solucin del problema siguiente
+ + , , ? ? ? ! ! <
<< <
" "
< <
# ))
3 1 ) 1
:
es finito
,
GJ
? < >
? < ? < ? < ? <

a b
a b a b a b a b
lim
<!

1 1 1 1
) )
: = | |, GM ? a b 3 ) ) 1 ) 1
5. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " " a b 9
6. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: GJ ? < ! lim
<_
a b 9
: = . GM ? " a b 9 9 cos
7. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " a b cos
#
9
8. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " a b cos
$
9
9. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " # a b cos 9
10. Hallar la solucin del siguiente problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 63
+
` `? " ` `?
`< `< ` `
#

< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " $ a b cos 9
11. Un slido semi-infinito est inicialmente a la temperatura cero. !
En el tiempo = se le aplica y se le mantiene una temperatura > !
constante > en la cara = . Hallar la temperatura de cualquier Y ! B !
!
punto del slido en cualquier tiempo posterior . > !
R/ Se reduce a la solucin del problema

a b a b
a b
`? ` ?
`> `B
!
5 B ! > !
? B ! ! ? ! > Y
l? B > l Q
#
#
12. Una barra de longitud est a temperatura constante . Cuando 6 Y
!
> ! B 6 , al extremo se le aplica sbitamente una temperatura
constante , y al extremo se le aisla. Suponiendo que la superficie Y B !
de la barra est aislada, hallar la temperatura de cualquier punto de la B
barra en cualquier tiempo . > !
V Muestre que se llega al siguiente problema

a b
a b a b
`? ` ?
`> `B
!
B "
5 B ! > !
? B ! Y
? ! > ! ? 6 > Y
#
#
13. Una cuerda infinitamente larga, con uno de sus extremos en B !
est inicialmente en reposo sobre el eje . El extremo se somete a B B !
un desplazamiento transversal peridico dado por , . Hallar el E A> > !
!
sin
desplazamiento de cualquier punto de la cuerda en cualquier tiempo.

V ] B > a b es el desplazamiento dado por el problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 64

a b a b
a b
a b
` ] ` ]
`> `B
#
>
!
# #
# #
+ B ! > !
] B ! ! ] B ! !
] ! > E A>
l] B > l Q
sin
14. Una cuerda tensa elstica y flexible tiene fijos sus extremos en B !
y . Al tiempo se le da a la cuerda la forma definida por B 6 > !
J B B 6 B a b a b . . , donde es una constante, y luego se le suelta. Hallar
el desplazamiento de cualquier punto de la cuerda en cualquier B
tiempo . > !
V Llegue al problema

a b a b
a b a b
a b
` ] ` ]
`> `B
#
>
# #
# #
+ B ! > !
] ! > ! ] 6 > !
] B ! B 6 B
] B ! !
.
15. Una viga de longitud cuyo extremo est fijo, como se 6 B !
muestra en la figura se halla inicialmente en reposo.

En el extremo libre se le aplica longitudinalmente una fuerza constante J
!
por unidad de rea. Hallar el desplazamiento longitudinal de cualquier
punto de la viga en cualquier tiempo . B > !
V El anlisis fsico lleva al problema

a b a b
a b a b
a b
` ] ` ]
`> `B
#
>
B !
# #
# #
- ! B 6 > !
] ! > ! ] 6 > !
] B ! ! ] ! > !
] 6 > J I
16. Una linea de transmisin de inductancia y conductancia por unidad de
longitud despreciables tiene un voltaje en su extremo emisor, , dado B !
por
= I ! >
I ! > X
! > X
a b

!
Hallar el voltaje y la corriente sobre cualquier punto > en I B > M B > B ! a b a b
cualquier punto > . > !
17. Resolver el problema con valores de frontera a b +
> , >
`Y ` Y
`> `B
5 B ! > !
#
#
= , , | | < Y B ! Y Y ! > Y ! > Y B > Q a b a b a b a b
! B
!
a b , Dar una interpretacin del problema en tminos de flujos calricos.
18. Una cuerda tensa y flexible tiene sus extremos sobre el eje en los B
puntos y . En el tiempo se somete a la cuerda a que B ! B " > !
tome la forma definida por , y se le deja libre. Hallar el J B ! B " a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 65
desplazamiento en cualquier punto de la cuerda en cualquier B
tiempo . > !
19. Un cilindro circular infinitamente largo y de radio unidad tiene una
temperatura inicial constante . En = se le aplica y se le mantiene X > !
una temperatura de en su superficie. Hallar la temperatura de !
!G
cualquier punto del cilindro en cualquier tiempo posterior . >
20. Una barra aislada semi-infinita que coincide con la parte positiva del
eje est inicialmente a temperatura cero. En = se genera B > !
instantneamente una cantidad de calor en el punto , donde > . B + + !
Hallar la temperatura de cualquier punto de la barra en cualquier
tiempo . > !
21. Una placa semi-infinita de espesor tiene aisladas sus caras. Los 1
bordes semi-infinitos se mantienen a en tanto que el borde finito se !
!G
mantiene a . Suponiendo que la temperatura inicial es de , hallar "!! !
!G !G
la temperatura de cualquier punto en cualquier tiempo.


8. E X G E S I S
1- Una ecuacin que contiene una o ms derivadas parciales de una
funcin de dos o ms variables libres, es llamada Ecuacin Diferencial
Parcial (E.D.P).
El de la derivada de mayor orden es llamado orden el orden de la
ecuacin diferencial
2- Las E.D.P se clasifican en: lineales, no lineales, casi-lineales, lineales
homogneas, lineales no homognes.
3- Una funcin de dos o ms variables es una de una E.D.P de solucin
orden en alguna regin , si es una funcin que admite derivadas 8 8 H
parciales y satisface a la E.D.P dada, en todas sus variables.
4-Cuando se dan condiciones en el borde de la regin ( se supone H H
acotada), se dice que la ecuacin est sometida a condiciones de frontera
( ) y cuando se dan condiciones con respecto al parmetro , en GJ > > !
> : GM se dice que la E.D.P est sometida a ( ) condiciones iniciales
5-Dada una ecuacin diferencial parcial lineal homognea (E.D.P.L.H), si
? ? ? ?
" # " #
y son soluciones entonces es tambin una solucin.
Principio de superposicin de soluciones (psps). Dado e f ? ? ?
" # 8
una familia de soluciones de un EDPLH entonces es solucin de
!
8"
_
8 8
E ?
EDPLH donde los , son constantes . E a8
8
6- La ecuacin es conocida como la ecuacin unidimensional
` ? ` ?
`B X `>
# #
# #

3
de onda. Si se considera el problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 66


a b a b
a b a b
a b
` ? ` ?
`B X `>
`?
`>
>!
# #
# #

GJ
? ! > ? 6 > !
? ! > 0 B
GM 1 B
3
Su solucin se determina haciendo uso del mtodo de Fourier y se deben
seguir los siguentes pasos:
a b a b a b a b + ? B > J B K > Suponer que es solucin de prueba y de aqu
obtener un sistema de ecuaciones difereciales ordinarias y de una
constante de proporcionalidad . 5
a b e f e f a b , 5 ? B > Haciendo uso de las C.F se determina y familias de -
7 7
paramtros y funciones, llamadas . valores y funciones propias
a b a b a b
!
- ? B > E ? B > Usando el psps se obtiene la solucin . Haciendo
8"
_
8 8
uso de la condicin C.I y mediante el uso de las series de Fourier
(mtodos de medio rango) se obtienen los coeficientes que E
8
determinan la solucin deseada.
7- para la ecuacin de onda. Se considera la Solucin de D'Alambert
ecuacin . Se introduce una transformacin conforme
` ? ` ?
`B `>
#
# #
# #
-
@ B -> D B ->, usando la regla de la cadena se tiene
y . ? ? ? ? ? #? ? ? - ? #? ?
B @ D BB @@ @D DD >> @@ @D DD
#
a b
De la EDPLH dada y estos valores de y se obtiene que ? ?
BB >>
? !

@D
` ?
`@`D
#
de donde sale que
o sea que . ? 2 @ .@ D ? @ D B -> B ->
'
a b a b a b a b a b a b : 9 : 9 :
Las funciones y pueden determinarse con la ayuda de las condiciones 9 :
iniciales. As, si se supone que entonces se tiene que ? B ! 0 B a b a b
. ? B > 0 B -> 0 B > a b c d a b a b
"
#
8- La ecuacin es conocida como ecuacin del calor, donde
`?
`>
# #
- f ?
f ? ? ? B D >
#
es el Laplaciano de que para est dado por a b
f ?
# ` ? ` ? ` ?
`B `C `D#
# # #
# #
En el caso unidimensional se plantea mediante el problema:

a b a b
a b a b
`? ` ?
`> `B
#
-
GJ ? ! > ? 6 > !
GM ? B ! 1 B
#
#
para representar la propagacin de la temperatura a lo largo de una
barra finita. Para hallar la solucin de este problema tenemos dos
mtodos: el mtodo de Fourier ya esbozado en el numeral 6- y el
mtodo de transformada de Laplace, el cual est basado en suponer
las transformadas sobre la variable libre , as >
, L L L L a b a b a b a b a b
`? ` ? .
`C `B .B
= ? B > ? B ! ? B > y
# #
# #
denotando entonces se obtiene la ecuacin diferencial La b a b a b ? B > ] B =
ordinaria
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 67

. ] B=
.B
#
#
a b
=] B = 0 B a b a b
sta se resuelve suponiendo constante por los mtodos de EDLO, de =
aqu se determina y la solucin ser ] B = ? B > a b a b a b L
? B > ] B = a b a b a b L
"
9- El flujo de calor de una barra semi-infinita, est dado por el problema
siguiente

, y son finitos cuando

a b
a b a b
`? ` ?
`> `B
#
B
+
GJ ? ! > ? ? B _
GM ? B ! 0 B ! B _
#
#
Usando el mtodo de Fourier se obtiene:
a b a b a b a b + ? B > \ B [ >
a b , De donde recibe que
y \ B =B [ > F = / a b a b a b sin
+ = >
# #
de donde las funciones propias son
? B > = F = =B/ = ! a b a bsin
+ = >
# #
a b - Del psps se sigue que
, ? B > ? B > = .= a b a b
'
!
_
0 sea
? B > F = =B / .= a b a b
'
!
_
+ = >
sin
# #
los coeficientes se calculan mediante la condicin y las F = ? B ! 0 B a b a b a b
frmulas de la integral de Fourier para las funciones impares.
10- : Se trata del problema Flujo de calor en una barra infinita

y son acotados cuando
-

a b a b
`? ` ?
`> `B
#
B
-
GJ ? ? B _
GM ? B ! 0 B _ B _
#
#
Para la determinacin de la solucin se hace uso del mtodo de Fourier:
a b a b a b a b + ? B > J B K >
a b , Las funciones propias son
? B > : E :B F :B / a b a b cos sin
- : >
# #
a b - Por psps
, ? B > E : :B F : :B/ .> a b a b a b
'
!
_
- : >
cos sin
# #
con ayuda de y las frmulas de integral de Fourier se determinan los GM
E : F : a b a b y .
11- La ecuacin es conocida como la ecuacin
` ? ` ? ` ?
`> `B `C
# #
# # #
# # #
- - f?
bidimensional de . onda
Onda rectangular. Se presenta mediante el problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 68

sobre la frontera

a b a b
a b
` ? ` ? ` ?
`> `B `C
#
`?
`>
>!
# # #
# # #
-
GJ ? !

GM
? B C ! 0 B C
1 B C
Se usa el mtodo de Fourier as
a b a b a b a b + Y B C > J B C K > La solucin de prueba es en este caso como
obtenindose el sistema

donde

J J @ J !
K H ! -@
BB CC
#
#

- -
a b a b a b a b , J J @ J ! J B C L B U C Para resolver se asume que y
BB CC
#
resolviendo se llega a que
J B C
78
7 8
+ ,
sin sin
1 1
La familia de funciones propias son dadas por
? B C > F > F > J B C
78 78 87 78 78
78

a b a b a b cos sin - -
donde
- 1
78
7 8
+ ,
-
# #
# #
a b - Por psps la solucin es
? B C > ? B C > a b a b
! !
8"7"
_ _
78
haciendo uso de C.I, se determinan los coeficientes , y , mediante F F
78
78

series dobles de Fourier, por ejemplo


F 0 B C B C .B.C
78
% 7 8
+, + ,
! !
, +
' '
a bsin sin
1 1
12- . Haciendo se Laplaciano en coordenadas polares B < C < cos sin : :
obtiene que
f ?
# ` ? ` ? ` ? " `? " ` ?
`B `C < `< < `
`<
# # # #
# # # #
:
13- La ecuacin de la membrana circular obedece al problema



a b
a b a b
` ? ` ? " `?
`> `< < `<
#
`?
`>
>!
# #
# #
-
GJ ? V ! ! ! #
GM ? < > ! 1 B
: 1
La solucin se halla mediante el mtodo de Fourier
a b a b a b a b + ? < > [ < K > es la solucin de prueba, de donde se obtiene el
sistema

[ [ 5 [ !
K K ! -5
ww w # "
<
#
- -
a b , [ [ 5 [ ! La primera ecuacin es una ecuacin de Bessel
ww w # "
<
cuya solucin es , la segunda ecuacin tiene por solucin [ < N 5< a b a b
!
K > + > , > a b
7 7 7 7
cos sin - -
donde , obteniendo las siguientes familias de soluciones -
7 7
-
V
-5
!
7
propias
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 69
? < > + > F > N 5 <
7 7 7 7 7 ! 7
a b a b a b cos sin - -
a b - Por psps
? < > + > F > N 5 < a b a b a b
!
7"
_
7 7 7 7 ! 7
cos sin - -
haciendo uso de la condicin C.I y de la serie de Fourier-Bessel se
determinan los coeficientes y . + ,
7 7
14- La ecuacin es conocida como ecuacin de Laplace donde f ? !
#
f ?
# ` ? ` ? ` ?
`B `C `D
# # #
# # #
es el llamado Laplaciano. Para coordenadas cilndricas
B < C < D D cos sin : :
el Laplaciano toma la forma
f ?
# ` ? " `? " ` ?
`< < `< < ` D
?
# #
# # # #
#
: :
:
Para las coordenadas esfricas
B C D 3 ) : 3 ) : 3 : cos sin sin sin cos
el Laplaciano esta dado por
f ? ?
# # " ` " ` `? " ` ?
` ` ` ` 3 3 : : : : )
3 # # #
#
a b 3 :
sin sin
sin
15- La ecuacin de Laplace en coordenadas esfricas se plantea mediante
el problema



a b a b a b
` `? " ` `?
`< `< ` `
#
<_
< !
? < ! ? V 0
sin9 9 9
sin
lim
9
9 ) 9 9
Para determinar la solucin se sigue el mtodo de Fourier
a b a b a b a b + ? < K < L es la solucin de prueba, de donde se obtiene el 9 9
sistema



" . .L
. .
. .K
.< .<
#
sin9 9 9
sin9 5L !
< 5K !
a b a b , 5 8 8 " Escogiendo , la primera ecuacin es una ecuacin de
Legendre cuya solucin es y la segunda ecuacin es una L T a b a b 9 9
8
cos
ecuacin de Euler-Cauchy cuya solucin es
, 0, , K < < K < a b a b
8 "
<
8"
obteniendo la familia de funciones propias
? < E < T
8 8 8
8 F
<
a b a b

9 9
8
8"
cos
a b - Por el psps la solucin es
? < ? < E < T a b a b a b
! !
9 9 9
8" 8"
_ _
8 8 8
8 F
<
8
8"
cos
La solucin en los puntos internos de la esfera satisface la ecuacin
? < E < T a b a b
!
9 9
8!
_
8 8
8
cos
Haciendo uso de la condicin inicial y las tcnicas de series de Fourier
Legendre se obtienen los coefientes . E
8
Para hallar la solucin externa a la esfera, sta conduce a la funcin
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 70
? < T a b a b
!
9 9
8!
_
F
<
8
8
8"
cos

9. MISCELNEA DE PROBLEMAS RESUELTOS


1. Hallar la solucin de la ecuacin ? C ? C #B
BB
#
sin
SOLUCIN. Como en el caso de las EDO tratamos primero la homognea a b +
? C ? ! ? /
BB
# B
suponiendo que es solucin de prueba si y slo si
!
!
# #
C !
es la ecuacin de ndices, la cual tiene por races a y en este ! 3C
caso el conjunto es base de soluciones por lo tanto e f cos sin CB CB
? B C - C BC - C BC
L
" #
a b a b a b cos sin
a b , ? C ? C #B Una solucin particular para , por el mtodo de los
BB
#
sin
coeficientes indeterminados es
? B C E #B F #B
:
a b cos sin
derivando se tiene
? #E #B #F #B
B
sin cos
? %E #B %F #B
BB
cos sin
sustituyendo en la ecuacin dada
%E #B %F #B C #E #B #F #B C #B cos sin sin cos sin
#
a b
E C % #B F C % #B C #B a b a b
# #
cos sin sin
luego
E C % ! F C % C a b a b
# #
de donde
F E !
C
C %
#
por lo tanto
? B C #B
:
C
C %
a b
#
sin
Luego la solucin ser:
? B C - C CB - C CB #B a b a b a b
" #
C
C %
cos sin sin
#

2.Resolver el problema de frontera siguiente


a b a b
a b
`? ` ?
`> `B
B B
#
> !
? ! > ! ? >
? B ! B ! B
#
#
1
1
SOLUCIN. Usando el mtodo de separacin de variables
a b a b a b a b M ? B > \ B X > ? \X ? XB entonces de donde as
> BB
ww X \
X \

ww
existe tal que 5

X 5X
\ 5\
ww
a b MM 5 ! 5 @ \ E/ F/ @ ! Si de donde
# @B @B
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 71
Ahora
? X\ XF/ @ XE/ @
B
w @B @B
As
entonces ! ? ! > @X > E F E F
B
a b a ba b
entonces ! ? > @X > E / / E !
B
@ @
a b a b a b 1
1 1
por lo tanto y \ ! ? B > ! a b
Ahora si , entonces , 5 ! 5 @ @ ! \ B E @B F @B
#
a b sin cos
as
, ? X\ X > @ E @B F @B
B
w
a b a b cos sin
ahora
de donde se tiene ! ? ! > @X > E E !
B
a b a b
! ? > F@X > @
B
a b a b 1 1 sin
se cumple cuando y para si queremos que sea no nulo se @ ! @ ! ?
debe tomar , obtenindose as la familia @ 8

? B > F / 8B
8 8
8 >
a b
#
cos
que satisface
y . ? ? ? ! > ? >
> BB B B
a b a b 1
a b MMM Por el principio de superposicin de soluciones
? B > F / 8B a b
!
8!
_
8
8 >
#
cos
? B > a b satisface la ecuacin y las condiciones iniciales, y de frontera. Pero
B ? B ! F 8B
#
8!
_
8
a b
!
cos
los deben ser los coeficientes de la expansin par de medio rango de F
8
B ! B
#
1

As F B .B
!
" "
!
#
$ $ 1 1
1
1 1
'

$ #
y para se tiene 8 "
F 4 W 4 G % 8
8 5 5 5
" " "
8 8 8 8
5 5
5
w
% "
1 1 1

! !
a b a b
# #
8
1 1 cos
a b
As la temperatura es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 72
? B > % a b
!
1
#
8 8 >
#
#
$ 8
8"
_
" / 8B a b cos

3. Halle la solucin al siguiente problema


a b a b
a b
? % ? ! B > !
? ! > ! ? > !
? B ! $
BB >
#
1
1
SOLUCIN: Por el mtodo de Fourier supongamos que
a b a b a b a b M ? B > K B X > es la solucin de prueba, por lo tanto
, y

? K X ? KX
BB >
ww K X
K %X
ww

si deseamos soluciones no nulas, existe tal que - 5


#
y

K 5 K ! X %5 X !
ww # #
a b a b a b a b a b a b a b MM ? ! > K ! X > ! ? > K X > ! Sabemos que si 1 1
deseamos soluciones no triviales entonces
y K ! ! K ! a b a b 1
y tenemos para se tiene el siguiente problema de Sturm-Liouville K
y
K 5 K !
K ! ! K !
X %5 X !
ww #
#
a b a b 1
La solucin de prueba conduce a que satisface a la ecuacin K B / a b
!B
!
de indices
! !
# #
5 ! 53
de donde obtenemos que es la base de soluciones, por lo e f cos sin 5B 5B
tanto
K B E 5B F 5B a b cos sin
pero
y K ! ! E K ! F 5 a b a b 1 1 sin
Como deseamos soluciones no triviales y de donde F " 5 ! sin 1
, , 5 8 5 8 K B 8B 1 1 a b sin
Ahora


X %5 X ! X %8 X ! X E /
# # %8 >
8
#
Las funciones propias son en este caso
? B > E / 8B
8 8
%8 >
a b
#
sin
a b MMM Por el principio de superposicin de soluciones
? B > E / 8B a b
!
8"
_
8
%8 >
#
sin
Para la determinacin de los tenemos E
8
? B ! $ E 8B a b
!
8"
_
8
sin
de donde
E $ 8B.B " "
8
# ' 8B '
! 8 8
!
8
1 1 1
1
1
'
sin
cos

a b a b
Luego la solucin es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 73
? B > / 8B a b
!
'
8"
_
" "
8
%8 >
1
a b
8
#
sin

4. Hallar la solucin del problema siguiente



, donde

a b a b
a b
C + C +
C B ! ! C B !
C ! > A>
>> BB
# # X
>
3
sin
SOLUCIN. Por la transformada de Laplace sea ] B = C B > a b a b a b a b L
entonces
= ] = ! ! C + C +
# # #
>> BB
. ]
.B
L L a b a b
#
#
de donde se tiene la ecuacin diferencial ordinaria siguiente
entonces
. ] =
.B +
B B
# #
# #
= =
+ +
] ! ] B = E = / F = / a b a b a b
Pero es acotado, esto implica que es acotado as ya C B > ] B = F = ! a b a b a b
que cuando / _ B _
=
+
B
E = ] ! = C ! > A> ] B = / a b a b a b a b a b a b _ _ sin
A A
= A = A
=
# # # #
B
+
entonces
por lo tanto
C B > A > ? > a b a b

sin
B
+
B
+

5. Estudie las soluciones del siguiente problema


a b a b
a b
a b
? ? ! ! C B !
? B ! ! ? B !
? ! C C ! C
? ! C !
BB CC
C C
B
1
1
1
SOLUCIN. Por el mtodo de Fourier, supongamos que ? B C K B L C a b a b a b
es solucin de prueba si y slo si

. K . L
.B .C K L
# #
# #
. K
#
.B
#
. L
#
.C
#
L K !
As existe tal que - d

. K . L
.B .C
# #
# #
K ! L ! - -
pero
? B ! ! K B ! !
C
.L
.C
a b a b a b
? B ! K B !
1
a b a b a b 1 1
.L
.C
de aqu deseamos soluciones no triviales tenemos

.L .L
.C .C
a b a b ! ! ! 1
Tenemos para el siguiente problema de Sturm-Liouville L

. L
.C
#
#
L ! -

.L .L
.C .C
a b a b ! ! ! 1
a b 3 ! ! L - C - Si por integracin doble se obtiene . Como -
. L
.C
" #
#
#
.L
.C
" !
- L C " se sigue que es solucin propia. a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 74
a b a b 33 5 ! 5 L ! L C / Si entonces la ecuacin con por -
# # C . L
.C
#
#
!
solucin de si y slo si as ! !
# # 5C 5C
" #
5 ! 5 L C - / - / a b
como se sigue que
.L
.C
" #
5C 5C
- 5/ - 5/
como ,
L ! ! - - " "
L ! - / - / / /
!
w
" #
w 5 5 5 5
" #
a b
a b

1
1 1 1 1
se tiene que y . L C ! ? ! a b
a b 333 5 ! 5 L ! Si cuya solucin es dada por -
# # . L
.C
#
#
L C - 5C - 5C 5- 5C 5- 5C a b
" # " #
.L
.C
cos sin sin cos
Ahora
L ! ! - 5 5 ! - !
w
# #
a b

.L
.C
"
a b 1 1 ! 5- 5 sin
Si deseamos soluciones no nulas
y , - " ! 5 ! 5 8
"
sin 1
as
L C 8C
8
a b cos
a b 3@ K 8 K ! K / con por solucin de prueba , obtenemos que
ww # B !
! !
# #
8 ! 8
de donde es la solucin fundamental la cual es equivalente a e f / /
8B 8B
e f cosh sinh 8B 8B para obtener la solucin
K B E 8B F 8B
8 8 8
a b cosh sinh
Las soluciones propias sern dadas por
? B C E 8B F 8B
8 8 8
a b cosh sinh
a b @ Por el principio de superposicin de soluciones tenemos
? B C E 8B F 8B 8C E a b a b
!
8"
_
8 8 !
"
#
cosh sinh cos
Pero por tenemos GM
? ! C C E E 8C a b
!
"
#
! 8
8"
_
cos
de la teora de series de Fourier se sigue que
E C.C
!
# #
!
C
#
!
1 1
1
1
'

#
1
E C 8C .C
8
# # # #
!
8C 8C
8 8 8
! !
" "
1 1 1 1
1
1 1
'
cos
sin cos

# #
8
a b
Ahora
? B C 8E 8B 8F 8B 8C
B 8 8
8"
_
a b a b
!
sinh cosh cos
de aqu y la condicin tenemos GM
? ! C ! 8F 8C F !
B 8 8
8"
_
a b
!
cos
Luego la distribucin de temperatura del estado estable es
? B C 8B 8C a b
!
1
1 # 8
#
8"
_
" " a b
8
#
cosh cos

Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 75


6. Halle la solucin del siguiente problema

a b

` ? ` ?
`> `B
`? B>
`>
>!
# #
# #
#& _ B _ > !
? B ! ! _ B _
B
a b
cos
PRIMERA SOLUCIN. Por el mtodo de Fourier,
a b a b a b a b 3 ? B > \ B X > si y slo si
\ 5 \ !
ww #

X - 5 X ! - &
# #
Llegando a las funciones propias siguientes
\ B E 5B F 5B a b cos sin
X > G &5> H &5> a b cos sin
Pero
? B ! \ B X ! ! X ! ! a b a b a b a b
Si se desean soluciones no triviales, se toma y en ese caso H "
X > &5> a b sin . Las soluciones propias sern entonces dadas por
? B > 5 E 5B F 5B &5> a b a b cos sin sin
a b 33 Por el principio de superposicin de soluciones, la solucin es
? B > E 5B F 5B &5> .5 a b a b
'
_
_
cos sin sin
Ahora

`?
`> _
_
a b a b
'
B > E 5B F 5B &5 &5> .5 cos sin cos
Luego
? B ! B &5E 5B &5F 5B .5
>
_
_
a b a b
'
cos cos sin
De aqu
&5E B 5B.B B 5B.B
" #
_ !
_ _
1 1
' '
cos cos cos cos
as . &5F B 5B.B ! F !
"
_
_
1
'
cos sin
SEGUNDA SOLUCIN. Aplicando transformada de Fourier se tiene
Fa b a b a b ? B > J A >
F F
` ? ` ?
`> `B
# #
#
#&
Lo cual nos lleva a la siguiente ecuacin diferencial ordinaria

. J . J
.> .>
# #
# #
# #
#&A J #&A J !
Suponiendo que tenemos que la base de soluciones es J /
!>
{ }. cos sin &A> &A>
Luego
. J A > E A &A<> F A &A> a b a b a b cos sin
Ahora

.J
.>
&AE A &A> &AF A &A> a b a b sin cos
Pero
Fa b a b a b a b ? B ! ! A ! E A J
y
F

a b a b
`? .J
`? .>
>!
A ! &AF A
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 76
si y slo si
Fa b a b a b cosB &AF A F A
Fa b cosB
&A
As
J A > &A> a b
Fa b cosB
&A
sin
de donde
? B > &A> a b F
"
B
&A
Fa b cos
sin
B F F F
" &A>
&A
a b a b

cos
" sin
B T B
"
"!
"!>
a b a b cos

7. Resolver el problema no homogneo siguiente


a b a b
a b

? ? E/ ! B " > !
GJ ? ! > ! ? " > ! > !
GM ? B ! " / ! B "
BB >
,B
E
,
,B
#
SOLUCIN: Suponiendo donde a b a b a b a b 3 ? B > = B Z B >
lim
>_
Z B > ! a b
hallamos que el estado estable es dado por = B a b

a b a b
= E/
= ! ! = " !
ww ,B
integrando dos veces tenemos
= " / " / B
E E
, ,
,B ,
# #

a b 33 El problema del estado transitorio tenemos

a b a b
a b

Z Z ! B " > !
GJ Z !> ! Z " > !
GM Z B ! " / B
BB >
E
,
,
#
hallemos la solucin: donde Z K X

K X
K X
#
ww #
#
ww

K K !
X K !

-
-
-

Tenemos el problema S-L siguiente


a b a b
K K !
K ! ! K " !
ww #
-
Haciendo se obtiene K / K - B - B
!B
" #
cos sin - -
Ahora
K ! - ! K " - ! a b a b
" #
sin-
Si entonces - "
#
sin- - 1 ! 8
Por lo tanto
K B 8
8
a b sin 1
Para , tenemos X

X 8 X ! X E / a b 1
#
8
8 >
# #
1
Las funciones propias sern
Z B > E / 8 B
8 8
8 >
a b
# #
1
sin 1
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 77
a b 333 Por el p.s.p.s tenemos
Z B > E / 8 B a b
!
8"
_
8
8 >
# #
1
sin 1
Ahora
Z B ! " / B E 8 B a b
!
E
,
,
8"
_
8 #
sin 1
de donde
E # " / B 8 B.B " /
8
!
"
E #E B 8 B 8 B
, , 8 8
, ,
! !
" "
'
# # # #


sin 1
cos sin 1 1
1 1
" /
#E
, 8
,
"
#
8

a b
1
En esta forma
Z B > / 8 B a b
!
8"
_
#E "/
, 8
"
8 >

a b
,
#
8"
# #
1
1
sin 1
Luego el problema no homogneo tendra por solucin
? B > " / " / " / 8 B a b


!
E E #
, , 8
,B , 8 >
8"
_
"
# #
8"
# #
1
1
a b
sin 1

8. Resolver el siguiente problema:


a b
a b a b
a b
? ? " B > ! B " > !
GJ ? ! > ! ? " > ! > !
GM ? B ! ! ! B "
BB >
cos
SOLUCIN: Hallemos primero las races del problema de Sturm-Louville
siguiente
\ \ ! \ ! ! \ " !
ww
- a b a b
de donde
- 1 9 1
8 8
# #
8 B 8 B 8 " # $ a b sin
Buscamos ahora la solucin de la forma
? B > I > 8 B a b a b
!
8"
_
8
sin 1
cuando sustituimos en la ecuacin
" B > ? ? a bcos
> BB
obtenemos
-a b c d
!
a b a b " B > I > 8 I > 8 B cos sin
8"
_
8
w # #
8
1 1
Por consiguiente deducimos que notando que 8 B 8 " # $ l l sin 1
# "
#
I > 8 I > # " B > 8 B.B
w # #
8
8
!
"
a b a b a b 1 1
'
cos sin
# > 8 B > cos cos cos


a b "B
8 8 8
! !
" "
8 B #
1 1 1
1
1
sin
# #
Solucionando esta EDO para tenemos I >
8
a b
I > G / . /
8 8
#
8 !
>
8 8 >
a b
1
1 7 1
'
# # # #
cos7 7
G / /
8
8 > 8 > # / 8 /
8 "8 "8
! !
> >
# # # # 8 # # 8 >
# # # #
% % % %
1 1
1 1 1
1


1 7 1
sin cos 7 7
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 78
G / > / > /
8
8 > 8 > 8 > # / 8 8
8 "8 "8 "8
# # # # # # 8 > # # # #
# #
% % % % % %
1 1 1
1 1 1 1
1 1

1
sin cos
I G / 8 / > >
8 8
8 > # # 8 > #
8 "8
# # # #
% %
1 1
1 1 a b
1 cos sin
Sustituyendo esta expresin para en la anterior solucin para los I >
8
a b
? B > ? B ! ! G ! a b a b y suponiendo la condicin inicial , vemos que los
8
a8. Por lo tanto nuestra solucin es
? B > 8 / > > a b
!

# 8 B
8"
_
8 "8
# # 8 >
1 1
1 1 sin
a b
% %
# #
1 cos sin

9.Resolver el siguiente problema


a b a b
a b
? + ? ! B "! > !
GJ ? ! > "! ? "! > $! > !
GM ? ! ! ! B "!
BB >
#
SOLUCIN: Conjeturamos que es la solucin de ? B > = B @ B > a b a b a b
prueba, bajo el supuesto de que
y lim lim
>_ >_
? B > = B @ B > ! a b a b a b
En ese caso la funcin satisface la EDO = B a b

a b a b
= !
= ! "! = "! $!
ww
Por integracin sucesiva obtenemos que

a b a b
= - B -
= ! "! = "! $!
" #
As
- "! = "! $! "!- - - #
# " # "
a b
En esta forma el estado estable es dado por
= B #B "! a b
As para el estado transitorio se plantea en la forma

a b a b
a b
@ + @ ! B "!
GJ @ ! > ! @ "! > !
GM @ B ! #B "! ! B "!
BB >
#
Aqu vemos que es la solucin de la conduccin del calor del tipo @ B > a b
expuesto en 6, donde la distribucin del calor en los extremos es nulo,
dando por
@ B > G B / a b
!
8"
_
8
8
"!
+ 8 >"!!
sin
1 1
# # #
donde las constantes son dadas por G
8
@ B ! #B "! G B a b
!
8"
_
8
8
"!
sin
1
de donde
G #B "! B.B
8
" 8
& "! !
"!
'
a bsin
1
B B.B # B.B 8 " #
# 8 8
& "! "! ! !
"! "!
' '
sin sin
1 1
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 79
B B B
# "! 8 "!! 8 #! 8
& 8 "! 8 "! 8 "!
! ! !
"! "! "!


1 1 1
1 1 1
cos sin cos
# #
" "
"'
8
8
1
c d a b
Combinando resultados, nuestra solucin llega a ser
? B > = B @ B > "! #B " " B/ a b a b a b c d
!
a b
8"
_
"' 8
8 "!
8
+ 8 >"!!
1
1 1
sin
# # #

10. Hallar la solucin al siguiente problema


a b
a b a b

? ? - ? ! < " > !


GJ ? " > ! > !
GM ? < " ? < ! ! ! < "
" ! <
! < "
<< < >>
"
<
#
"
#
"
#
>
SOLUCIN. Supongamos que es la solucin de a b a b a b a b M ? < > L < K >
prueba, de donde se recibe

L K L K - L K 5
ww w # # " K
< L - K
L L
ww w "
<
#

de aqu
L L 5 L !
ww w # "
<

K - K !
#
a b 33 = 5< 5 5 Haciendo , ahora y
" 5 .L .L .= .L . L . L
< = .< .= .< .= .< .=
#
# #
# #
As,

. L 5 .L
.= = .=
# #
# #
#
5 5 L !
de donde la ecuacin

. L " .L
.= = .=
#
#
L !
Esta ltima ecuacin es la ecuacin de Bessel cuya solucin ya la hemos
estudiado en 7 y es dada por , pero L = N = a b a b
!
L " ! N 5< N 5 5 7 a b a b a b
! !
!
de donde
L < N <
7 ! 7
a b a b !
a b a b 333 K K - K ! - Para se tiene , haciendo de donde se tiene

! - !
#
7 7
la sucesin de funciones K + > , >
7 7 7 7 7
cos sin - -
a b 3@ Las funciones propias del problema estarn dadas por
? < > + > , > N <
7 7 7 7 7 ! 7
a b a b a b cos sin - - !
Por el principio de superposicin de soluciones se tiene
? < > + > , > N < a b a b a b
!
7"
_
7 7 7 7 ! 7
cos sin - - !
Por la condicin inicial se tiene que GM
donde ? < ! + N < + a b a b
!
7"
_
7 ! 7 7
? <! N <
N <
!

a b a b
l l a b
! 7
! 7
#
!
!
+ <? < ! N < .< <N < .<
7 ! 7 ! 7
# #
# N N ! !
"
#
" "
# #
7
"
#
' '
a b a b a b ! !
a b !
N B BN B .B

B < !
7
# B .B #
N N ! !
! !
" "
# #
7 7
7 7
# #
7 7
7
#
a b a b ! ! ! ! !
' '
a b a b
! !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 80
BN B N

B N B .B B N B -
'
a b a b
a b

@ @
@" B
# #
N N
" "
!
# # ! ! ! !
! !
7 7
# #
" "
# #
7 7
7
#
7 7
a b a b
!

N
N
"
7
#
7 7
"
#

a b
!
! !
, !
7
as
? < > N < a b a b
!
7"
_
N
N
! 7
"
7
#
7 7
"
#

a b
!
! !
!

11. Analice la solucin del siguiente problema



finito


a b
a b a b a b a b
a b a b
? ? ? ! ! <
GJ
? <
? < ? < ? < ? <
GM ? 0
<< <
" "
< <
<!
#

))
) )
3 1 ) 1
) 1 ) 1
1 1 1 1
3 ) ) 1 )
lim
1
SOLUCIN: Supongamos que es la solucin de prueba a b a b a b a b 3 ? < V < L ) )
as


V L V L VL ! L V V VL
ww w ww w " " " "
< < < <
# #


L L !
< V <V V !
< V <V L
V L # ww w
# ww w

-
-
-

a b 33 GJ Ahora tomando tenemos




a b a b a b a b a b a b a b a b
a b a b a b a b a b a b a b a b
? < V < L V < L ? < L L
? < V < L V < L ? < L L

1 1 1 1 1 1
1 1 1 1 1 1
) )
As tenemos el problema S-L siguiente:

a b a b a b a b
L L !
L L L L
-
1 1 1 1
Tomando obtenemos - 8
#

a b a b a b a b
L 8 L !
L L L L
#
1 1 1 1
Cuya solucin ya es conocida y es dada por
L
+
+ 8 , 8 8 " # $
8
"
#
!
8 8
a b

)
) ) cos sin
a b 33 < V <V V !
,3=
# ww w
Ahora , esta es una ecuacin de Euler-Cauchy -
cuya solucin de prueba es V < V < V " <
! ! ! w " ww "
! ! ! a b
para tener
< " < < < 8 < ! < 8 !
# # " # # #
! ! ! ! ! ! a b
! ! ! !
8 ! 8 ! !
# #
as
V <
- - < 8 !
- < - < 8 " # $
8
" #
$ %
8 8
a b

log
-
Dado que es finito entonces lim
<!
# %

V < - - ! a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 81
Tomando y la cual es una eleccin convencional. - " -
" $
"
3
8
a b 333 Por el p.s.p.s tenemos
? < + + 8 , 8 a b a b
!
) ) )
" <
#
! 8 8
8"
_ 8
3
cos sin
Por la tenemos GM
? 0 + + 8 , 8 a b a b a b
!
3 ) ) ) )
"
#
! 8 8
8"
_
cos sin
de donde
, + 0 B .B + 0 8 . , 0 8 .
! 8 8
" " "
1 1 1 1 1 1
1 1 1
' ' '
a b a b a b ) ) ) ) ) ) cos sin

12. Resolver el siguiente problema




a b
a b
` `? " ` `?
`< `< ` `
#
B_
< !
GJ ? < !
GM ? "
sin9 9 9
sin
lim
cos
9
9
9 9
SOLUCIN: Supongamos que es la solucin de a b a b a b a b 3 ? < K < L 9 9
prueba

`? .K `? .L
`< .< ` .
L K
9 9
sustituyendo obtenemos
L < K !
. `K " . .L
.< `< . .
#


sin9 9 9
sin9
L < K
. .K " . .L
.< .< . .
#


sin9 9 9
sin9
5
. .<
.< .<
#

<
K L . .
" . .L
sin9 9 9
sin9

< 5K !
5L !



. .K
.< .
#
" . .L
. .
9
9 9 9 sin
sin9
a b 33 La ecuacin

. .K
.< .
# # ww w
< 5K ! < K #<K 5K !
9
Una ecuacin interesante se obtiene cuando se escoge el valor
5 8 8 " a b en ese caso la ecuacin
< K #<K 8 8 " K !
# ww w
a b
tiene por ecuacin de ndices
! ! ! !
#
# 8 8 " ! 8 8 a b
Obteniendo las dos soluciones
K < < K <
8 8
8 "
<
a b a b
8"
a b a b

333 8 8 " ! La ecuacin se resuelve haciendo
" . .L
. .K sin9 9
sin9
A " cos sin cos 9 9 9 , ahora como y con la regla de la cadena
# #
. . .A . " . .L
. .A . . .A .A
#
9 9 9 99
8 8 " ! sin sin sin 9 9 9
sin
a b a b

" A 8 8 " L !
. .L
.A .A
#

a b a b
" A #A 8 8 " L ! a b a b
# . L .L
.A .A
#
La cual es una ecuacin de Legendre y la solucin es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 82
L T A T
8 8
a b a b cos9
En esa forma tenemos la soluciones
? < T ? <
8 8
M 8 I
8
T
<
a b a b cos9 9
8
8"
a b cos9
a b 3@ Por el p.s.p.s tenemos
? < E < T ? <
M 8 I
8! 8!
_ _
8 8
F T
<
a b a b a b
! !
9 9 9 cos
8 8
8"
a b cos9
Ahora por tenemos GM
? " E T
M
8!
_
8 8
a b a b
!
9 9 9 cos cos
? " F8T
I
8!
_
8
a b a b
!
9 9 9 cos cos
Esto se tiene si y slo si
E F 0 A T A .A T . 8 ! " #

8 8 8 8
#8" #8"
# # " !
"
' '
a b a b a b
1
cos cos sin 9 9 9 9
E T .
! !
"
# !
'
a b
1
cos cos sin 9 9 9 9
. " !
" " "
# % % !
# #
!
'
a b
1
1
cos sin cos cos 9 9 9 9 1
E T . .

T
" "
$ $ "
# # # ! !
"
# $
!
' '
a b a b
a b

1 1
1
cos cos sin cos sin cos
cos cos
9 9 9 9 9 9 9 9
9 9
" "
"
#
$
a b cos 1
E T . $ " .
# #
& & "
# # # ! !
#
' '
a b a b
1 1
cos cos sin cos sin 9 9 9 9 9 9 9
$ . .
& & $
% % % # ! !
$ %
! !
' '

1 1
1 1
9
cos sin cos sin cos 9 9 9 9 9 9 9
cos
#
!
& $ $ "
% % % #
%
cos 1
cos
#
1

13. La membrana vibrante. Ecuacin Bidimensional de Onda sometida a


las siguientes hiptesis:
a b 3 La masa de la menbrana por unidad de rea es constante (membrana
homognea). La membrana es perfectamente flexible y es lo
suficientemente delgada como para que no ofrezca resistencia alguna a la
flexin.
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 83

a b 33 La membrana se tensa y a continuacin se fija a lo largo de toda su
frontera en el plano . La tensin por unidad de longitud provocada al BC X
tensar la membrana es la misma en todas las direcciones y no cambia
durante el movimiento.
a b a b $ ? B C > La deformacin de la membrana durante el movimiento es
pequea comparada con el tamao de la membrana y todos los ngulos
de inclinacin son pequeos

Las componentes verticales de las fuerzas a lo largo de las aristas
paralelas al plano son C?
X C X C ? " ? ! sin sin
aqu aparece el signo menos (-), porque la fuerza sobre el borde de la
izquierda est dirigido hacia abajo.
Supuesto que los ngulos son pequeos, pueden reemplazarse sus senos
por sus tangentes. De aqu que la fuerza resultante de esas dos
componentes verticales es
X C X C X C ? B B C ? B C ? " ! ? " ! ? ? a b a b c d a b a b sin sin tan tan
B " B #
donde y son valores entre y . De modo semejante, la C C C C C
" #
?
resultante de las componentes verticales, de las fuerzas que actuan sobre
los otros bordes de la porcin, es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 84
X B ? B C C ? B C ? ? c d a b a b
C " C #
donde y son valores entre y . B B B B B
" #
?
Por la segunda ley de Newton, la suma de las fuerzas es igual a la masa
3? 3 E de la porcin multiplicada por la aceleracin , aqu es la
` ?
`>
#
#
densidad y es el rea de la porcin, as ? ? ? E B C
3? ? ? ? ? ? B C X C ? B B C ? B C X B ? B C C ? B C
` ?
`>
B " B # C " C #
#
#
c d c d a b a b a b a b
Dividiendo por tenemos ? ? B C

` ? X
`> B C
? B BC ? BC ? B C C ? B C
#
#
B " B # C " C #

3 ? ?
? ?

a b a b a b a b
Cuando entonces los puntos ? ? ? B ! C ! B B C B C a b a b
" #
a b a b a b B C C B C B C
" #
? y todos tienden a un nico punto y
, y ,
? B BC ? BC
B C
BB CC
? B C C ? B C
B " B # C " C # a b a b a b a b ?
? ?
?
? B C ? B C a b a b
Por lo tanto la ecuacin bidimensional de onda ser dada por:

` ? X ` ? ` ?
`> `B `C
# # #
# # #

3

14. Halle la solucin del problema de la membrana rectangular





sobre la frontera de la membrana rectngular
el desplazamient

a b a b
` ? ` ? ` ?
`> `B `C
#
# # #
# # #
-
GJ ? !
GM
? B C ! 0 B C o inicial
la velocidad inicial
`?
`>
>!
a b 1 B C
SOLUCIN.
Paso uno: El mtodo de Fourier es ahora acondicionado de manera que
? B C > J B C K > a b a b a b es la solucin de prueba as;

JK - J K J K
#
BB CC
a b
separando las variables tenemos

K "
- K J
BB CC
#

#
J J @ a b
de donde

K K ! -@
J J @ J !
- -
#
BB CC
#
Ahora suponiendo en esta forma J B C L B U C a b a b a b
J U J L
BB CC
. L
.B .C
. U
#
# #
#
en esta forma

. L
.B .C
. U
#
#
# #
#
UL @ LU !
UL @ LU U@ LU L
. L . L
.B .C .B .C
. U . U
# #
# #
# # # #
# #
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 85
5
@ L 5 L
5 U
. L
#
.B .C
# #
# . U
#
#
#
#
#
U@ LU L
LU LU
#
. L
.B
# #
. U
.C
#


@ 5 L ! 5 U !
:
. L
.B .C
# # #
#
. U
#
# #
#

a b
Paso dos: Para la ecuacin se deduce de la condicin de
. L
.B
#
#
#
: U !
frontera que y la solucin es como se sabe dada por L ! ! L + ! a b a b
L B - :B - :B a b
" #
cos sin
as
L ! - ! L + ! - :+ a b a b
" #
sin
tomando entonces por lo tanto - " :+ 8 : 7 +
#
1 1
Ahora para de se deduce que y la
. U
.C
#
#
#
5 U ! GJ U ! ! U , ! a b a b
solucin ser
, U C - 5C - 5C a b
$ %
cos sin
as en esta forma de donde U ! ! - U , ! - 5, 5, 8 a b a b
$ %
sin 1
5 - "
8
,
%
1
Resumiendo tenemos
, L B B U C C
7 " #
8 " #
7 8
7 7
+ ,
a b a b sin sin
1 1
En esta forma
J B C L B U C B C
7 " #
8 " #
78 7 8
7 8
+ ,
a b a b a b sin sin
1 1
Ahora bien
: @ 5
# # #
por lo tanto se tiene

7 8 8
+ , + ,
# #
7 :
# # # #
# # # #
# #
1 1 1
@ @
de donde
@ 1
7 8
+ ,
# #
# #
y as se tiene que
- 1 - -@ -
7 8
+ ,
78
# #
# #
En esta forma la ecuacin

K K ! -
78
#
tiene por solucin a
K F > F >
87 78 78
78

cos sin - -
Se concluye que las funciones propias tomarn la forma
? B C > F > F > B C
7 " #
8 " #
78 87 78 78
78
7 8
+ ,
a b a b cos sin sin sin - -
1 1
Paso tres: Para obtener la solucin, por el principio de superposicin de
soluciones se tiene
? B C > ? B C > a b a b
! !
7"8"
_ _
78
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 86
F > F > B C
_
! !
a b
7"8"
_
87 78 78
78
7 8
+ ,
cos sin sin sin - -
1 1
De las condiciones iniciales se sigue que
? B C ! F B C 0 B C
_
a b a b
! !
7"8"
_
78
7 8
+ ,
sin sin
1 1
Esta serie se conoce como serie doble de Fourier. Supongamos que 0 B C a b
puede desarrollarse en una tal serie, entonces los coeficientes de F
78
Fourier de pueden determinarse de la siguiente manera. Haciendo 0 B C a b
O C F C M
7 78
8"
_
8
,
a b a b
!
sin
1
En esta forma
0 B C O C B a b a b
!
7"
_
7
8
+
sin
1
Manteniendo fijo se tiene que C
O C 0 B C B.B MM
7
# 7
+ + !
+
a b a b a b
'
sin
1
pero de se recibe que a b M
F O C C.C
78 7
# 8
, , !
,
'
a bsin
1
y finalmente de se llega a que a b MM
F 0 B C B C .B.C
78
% 7 8
+, + , ! !
+ ,
' '
a bsin sin
1 1
Ahora hallamos , o sea calculamos
`?
`>

` 7 8
`> + ,
7"8"
_
87 78 78
78


! !
a b
_
F > F > B C cos sin sin sin - -
1 1
F > F > B C
_
! !
a b
7"8"
_
78 78 78 78
78
7 8
+ ,
- - - sin cos sin sin
1 1
Ahora

`? 7 8
`> + ,
>!
7"8"
_
78
78

! !
a b F B C 1 B C
_
- sin sin
1 1
Como lo dijimos atrs si es desarrollable en serie doble de Fourier, 1 B C a b
se procede as: hacemos
P C F C
7 78
7"
_
78
8
,
a b
!
- sin
1
entonces manteniendo fijo se sigue que B
-
8 78
78
# 8
, , !
,
F P C C.C
'
a bsin
1
en esta forma
1 B C P C B a b a b
!
8"
_
7
7
+
sin
1
as para fijo se tiene que C
P C 1 B C B.B
7
# 7
+ + !
+
a b a b
'
sin
1
Por lo tanto
F 1 B C B C .B.C
78
% 7 8
+, + , ! !
+ ,
-
1 1
78
' '
a bsin sin

15. Halle la solucin del siguiente problema


Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 87
,
`? ` ?
`> `B
>
$B / ! B
#
#
sin 1

a b
a b
a b a b
? ! > !
? > "
? B ! 0 B
1
SOLUCIN. Se hace primero una transformacin en la frontera,
introduciendo un desplazamiento de equilibrio, haciendo
@ B > ? B > B a b a b 1
En este caso la funcin es la solucin del problema siguente @ B > a b

`@ ` @
`> `B
>
$B /
#
#
sin

a b
a b
a b a b
@ ! > !
@ > !
@ B ! 0 B B
1
1
Las funciones propias de este problema se calculan en la forma clsica y
estn dadas por
{sin sin 1BBP 8B
puesto que , as por el mtodo de expansin de funciones propias P 1
dado en 6.9 se sigue que
@ B > I > 8B a b a b
!
8"
_
8
sin
Por sustitucin

!
8"
_
.I
.>
# >
8
8
8 I 8B $B/ sin sin
Por el mtodo de los coeficientes indeterminados se sigue que
=
para
para
.I
.>
#
8
>
8
8 I
! 8 $
/ 8 $

La solucin de esta ecuacin diferencial lineal ordinaria es fcil de hallar y


es dada por

para
para
I >
I ! / 8 $
)/ I ! )/ 8 $
8
8
8 >
> *>
$
a b

a b
a b
#
donde
I ! 0 B 8B.B
8
#
!
B
a b a b
'
1 1
1
sin

BIBLIOGRAFIA
[1] Haberman R. , . P Elementary Applied Partial Differential Equations
Prentice-Hall. 1983
[2] John, F., . Springer-Verlag. 1982 Partial Differential Equations
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 88
[3] Larry C. A., Elementary partial Differential Equations with boundary
value problems. Academic Press College Division.1986
[4] Mijlov, V.P, . Mir. Ecuaciones Diferenciales en Derivadas Parciales
Mosc. 1980.
[5] Peral, A.I, . Addison- Ecuaciones en Derivadas Parciales
Wesley/Universidad autnoma de Madrid
[6] Petrovskii. , . Saundes Campany. 1966. Partial Differential Equations
[7] Sneddon, I.N., . MacGraw-Hill. Elements of Partial Differential Equations
1957.
[8] Takeuchi, Yu., . Editorial Takeuchi. Ecuaciones Diferenciales Parciales
1978
[9] Weinberger, H., . Blaisdell International Partial Differential Equations
Textbook Series. 1965.
*****
Espero que el lector haya obtenido algn provecho de este trabajo en el
aprendizaje de la teora de ecuaciones diferenciales parciales. En esta forma
presento una primera lectura, de un tema de gran utilidad para una mejor
asimilacin del estudio de la fsica matemtica.
Quiero agradecer a mi hijo Juan Armando quien ha sido un animador permanente de
este proyecto de aprendizaje en matemtica avanzada y que sin l habra sido imposible
realizarlo. Tambin a mi esposa Nohora y a la ingeniera Esperanza Nieto quienes leyeron
todo el original y cuidaron del buen manejo del lenguaje espaol.
Exitos y bienvenidos a la investigacin por internet. Cualquier comentario
favor hacerlo llegar a:

danojuanos@hotmail.com,
danojuanos@tutopia.com
danojuanos@yahoo.com
Copyright Daro Snchez Hernndez
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 89

También podría gustarte