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. INTRODUCCIN. Una ecuacin diferencial parcial para una funcin


?B C con derivadas parciales ?B ?C ?BB ?BC ?CC , es una relacin de
la forma
J aB C ? ?B ?C ?BB ?BC ?CC , b ! a"b
donde J es una funcin de las variables B C ? ?B ?C ?BB ?BC ?CC , en
donde solamente ocurrirn un nmero finito de derivadas.
Una funcin ?aB C b es solucin de a"b, si en alguna regin del 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 incgnitas y sus derivadas parciales.
Como en la teora de las ecuaciones diferenciales ordinarias una ecuacin
diferencial parcial es de orden 8, si las derivadas de mayor orden que
ocurren en J son de orden 8. Las ecuaciones diferenciales parciales se
clasifican tambin segn el tipo de funcin J considerada. En particular
tenemos la ecuacin diferencial parcial lineal si J es lineal en la funcin
incgnita y sus derivadas, y la ecuacin diferencial parcial casi-lineal
que es ms general, si J es lineal en al menos una de las derivadas de
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 aB Cb.B R aB C b.C
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 Q y R , y cuya solucin general est dada por
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 2

Q ``B9 R `9
`C
donde 9 es una funcin arbitraria .

EJEMPLO 2. El problema de hallar un factor integrante para la ecuacin


diferencial ordinaria de primer orden
Q aB Cb.B R aB C b.C ! a#b
esto es, una funcin .aB Cb para la cual .Q .B .R .C sea una forma
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 ? ?aB C b y @ @aB C b, la funcin ? se dice


fuertemente dependiente de @, si existe una funcin L a@b tal que
?aB Cb L a@aB C bb
siempre y cuando @B @C# !. Dos funciones sern fuertemente
#

dependientes si su jacobiano es nulo. Esto es,


` a?@b
` aBCb @ @C
?B ?C
!
B
As para @ dado, esto indica que la ecuacin diferencial parcial de primer
orden para ?, ?B @C @B ?C !, tiene una solucin general
@ L a@aB C bb
donde L es una funcin diferenciable arbitraria.
Por ejemplo, supngase @aB C b B# C # entonces @B #B @C #C y la
ecuacin diferencial parcial

tendr por solucin a ? L aB# C # b.


C?B B?C !

EJEMPLO 4. Dadas dos funciones diferenciables con continuidad ? aB Cb y


@aB C b, la condicin necesaria y suficiente para que ellas formen las partes
real e imaginaria de una funcin analtica, 0 aB C b ? 3@ 0 aB 3C b son
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
` a?3@B3Cb
` aBCb !
esto segn el ejemplo 3 y observando que ? y @ son funciones reales, se
tiene
3a?B @C b a@B ?C b !
` a?3@B3Cb
B
? 3@B ?C 3@C
` aB3Cb " 3
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 3

o, ?B @C ?C @ B .

EJEMPLO 5. Problema de Plateau. Para hallar la superficie D ?aB C b que


pase a travs de una curva dada en el espacio y cuya rea es mnima, est
dada por la ecuacin parcial siguiente:
" ?#C ?BB #?B ?C ?BC a" ?B# b?CC !
Esta es una ecuacin diferencial parcial de segundo orden casi-lineal, la
cual determina a la superficie D ?aB C 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 ?aB C 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 Newtoniana y
- la distribucin de la temperatura de los cuerpos en equilibrio trmico.

EJEMPLO8. La ecuacin de la onda


?? ?BB ?CC ?DD -"# ?>> - -98=>+8>/.
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 calor y se cumple para la distribucin de la
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 soluciones, las cuales, en todos los casos consisten en determinar el
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 soluciones ya no


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 aB C ? ?B ?C b J aB C ? : ; b ! a"b
donde hemos usado las notaciones ?B : ?C ; . Una solucin D ?aB C b
cuando la interpretamos como una superficie en el espacio tridimensional,
ser llamada una superficie integral de la ecuacin diferencial.
Comenzamos con la ecuacin diferencial parcial generada por
+aB C b?B ,aB C b?C - aB C b? . aB C b a#b
Notamos que el lado izquierdo de esta igualdad representa la derivada de
?aB Cb en la direccin a+aB C b ,aB C bb. Por lo tanto consideremos las curvas
en el B C -plano, cuyas tangentes en cada punto tienen estas direcciones
es decir, la familia a un parmetro de curvas definidas por las ecuaciones
diferenciales ordinarias
.> +aB C b .> , aB C b a$b
,aBCb
.B +aBCb , ,
.C .B .C

As, estas curvas tendrn la propiedad de que, a lo largo de ?aB Cb


satisfacen las ecuaciones diferenciales ordinarias
.> - aB C b? . aB C b a%b
- aBCb?. aBCb
+aBCb , o, .?
.?
.B
La familia a un parmetro de curvas definidas por la ecuacin a$b sern
llamadas las curvas caractersticas de la ecuacin diferencial.
Supngase ahora que a ?aB Cb se le asigna un valor inicial en el punto
aB! C! b en el B C -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 BaB! C! >b C C aB! C! >b a&b
junto con
? ?aB! C! >b a'b
que ser nicamente determinado por la ecuacin a%b.
El planteo exacto de este problema, llamado problema de Cauchy con
valor inicial, ser dado para las ecuaciones casi-lineales ms generales,
un poco ms adelante.
Como un ejemplo consideremos la ecuacin diferencial

con las condiciones iniciales ? 9aBb para C ". Las curvas caractersticas
B?B C?C !?

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 5 puede ser diferente de una curva caracterstica a otra curva
caracterstica, es decir, depende de - , tenemos la solucin general
? 5 a- bB! 5 BC B!
donde 5a b es una funcin arbitraria. Si aplicamos la condicin inicial
para C ", obtenemos
9aBb 5 B" B!
o
5 a=b 9 "= =!
y por lo tanto la solucin requerida ser
? 9 BC C ! .

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


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

La solucin general ?aB Cb define una superficie integral D ?aB C b en el


B C D-espacio. La normal a la superficie tendr por direcciones
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 6

a?B ?C "b; as que la ecuacin a(b se puede interpretar como la condicin


mediante la cual la superficie integral, en cada punto, tiene la propiedad
de que el vector a+ , - b es tangente a la superficie.
As la ecuacin diferencial parcial define un campo de direcciones a+ , - b
llamadas las direcciones caractersticas, teniendo la siguiente propiedad:
la ecuacin D ?aB C b es una superficie integral si y slo si en cada punto
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 curvas caractersticas y
son dadas por las ecuaciones
+aBCD b ,aBCD b - aBCD b
.B .C .D
a) b
Llamando al valor comn de estas razones .>, podemos tambin
escribirlas en la forma
.> +aB C D b .> , aB CD b .> - aB C D b
.B .C .D

a*b
Por cada punto aB! C! D! b pasar una curva caracterstica
B BaB! C! D! >b C C aB! C! D! >b D D aB! C! D! >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 a(b. Ms an, la inversa
tambin es verdadera.
En efecto, supongamos que D ?aB C b es una superficie integral D dada.
Consideremos la solucin del sistema
.> +aB C ?aB C bb .> , aB C ?aB C bb
.B .C

con B B! C C! para > !. Entonces para las correspondientes curvas


B Ba>b C C a>b D ?aBa>b C a>bb
tambin de a(b se tiene
.> ?B .> ?C .> +aB C ?b?B , aB C ?b?C - aB C ?b 6 aB C D b
.D .B .C

Por esto la curva satisface la condicin a*b de las curvas caractersticas y


tambin descansan sobre D por definicin. As D contiene en cada punto
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 ?aB Cb de a(b satisfaciendo valores iniciales
dados a lo largo de una curva en el B C-plano, llega a ser evidente.
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 aT <9,6/7+ ./ G+?-2C b Considrese la ecuacin diferencial


parcial casi-lineal de primer orden
+aB C ?b?B ,aB C ?b?C - aB C ?b a"!b
donde a,b,c tiene derivadas parciales continuas con respecto a B C ?.
Supngase que a lo largo de la curva inicial B B! a=b C C! a=b los valores
iniciales ? ?! a=b estn determinados por B! C! ?! , siendo funciones
continuamente diferenciables en ! = ". Adems supngase que
.= +aB! a=b C! a=b ?! a=bb .= , aB! C! a=b ?! a=bb
a""b
.C! .B!
!
Entonces existe una y solamente una solucin ?aB Cb definida en alguna
vecindad de la curva inicial, que satisface la ecuacin parcial a"!b y las
condiciones iniciales
?aB! a=b C! a=bb ?! a=b a"#b
DEMOSTRACIN. Consideremos la ecuacin diferencial ordinaria
.> +aB C ?b .> , aB C ?b .> - aB C ?b a"$b
.B .C .?

Por el teorema de existencia y unicidad para ecuaciones diferenciales


ordinarias, podemos determinar una nica familia de ecuaciones
caractersticas
B BaB! C! >b Ba= >b
C C aB! C! >b C a= >b a"%b
? ?aB! C! >b ?a= >b
cuyas derivadas con respecto a los parmetros = > son continuas y tales
que ellas satisfacen las condiciones iniciales
Ba= !b B! a=b Ca= !b C! a=b ?a= !b ?! a=b
Notamos que el Jacobiano

` a=>b >! C
` aBCb
.B .C!
C> >!
B= B>
.= , .= + !
!

esto segn la condicin a""b. As por el teorema de la funcin implcita la


=

ecuacin a"%b puede resolverse para = > en trminos de B > en una


vecindad de la curva inicial > !, obteniendo de a"%b una expresin para la
solucin dada por
FaB Cb ?a=aB C b >aB C bb
FaB Cb claramente satisface las condiciones iniciales; pues
FaB Cb>! ?a= !b ?! a=b.
Ms an FaB Cb satisface la ecuacin diferencial a"!b. Pues
+FB ,FC +a?= =B ?> >B b , a?= =C ?> >C b
?= a+=B ,=C b ?> a+>B ,>C b
?= a=B B> =C C> b ?> a>B B> >C C> b
?= ! ?> " -
puesto que de las ecuaciones
= =aB C b > >aB C b
tenemos
=> ! =B B> =C C> >C " > B B> > C C > .
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 8

Adems FaB Cb es nica. Pues supngase que FaB Cb es cualquier otra


solucin satisfaciendo las condiciones iniciales y aBw Cw b un punto
arbitrario en una vecindad de la curva inicial. Consideremos la curva
caracterstica
B Ba=w >b C a=w >b ? ?a=w >b
donde =w =aBw C w b. En > ! estas curvas estan en ambas superficies puesto
que aqu pasan a travs de la curva inicial por el punto
Ba=w !b B! a=w b Ca=w !b C! a=! b ?a=w !b ?! a=w b.
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
FaBw Cw b FaBw a=w >w b C w a=w >w bb ?a=w >w b FaBw C w b.

Como un ejemplo consideremos la ecuacin diferencial parcial


??B ?C "
con la condicin inicial B = C = ? "# = para ! = ". Notamos que
la condicin a""b se satisface; pues
.C .B "
.= + .= , # = " ! :?/= !="
Resolviendo las ecuaciones diferenciales ordinarias
.B .C .?
.> ? .> " .> "
con las condiciones iniciales
Ba= !b = C a= !b = ?a= !b "# =
hallamos la familia de curvas caractersticas
B "# ># "# => =
C >=
? > #=
Cuando resolvemos a = y > en trminos de B y C, obtenemos
#
B C# CB
= " C#
> " C#
y finalmente la solucin ser
#aCBbB C#
#

? #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 D aB C b y sus derivadas DB : DC ; , puede ser escrita en
la forma
J aB C D : ; b ! a"b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 9

Hemos supuesto que J tiene segundas derivadas continuas con respecto a


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 fajas (o tiras ).
Supngase ahora que en algn punto aB! C! D! b en el espacio,
consideramos una posible superfice integral D D aB C b y las direcciones
a: ; "b de su plano tangente. La ecuacin establece que existe una
relacin.
J aB! C! D! : ; 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 a"b define un campo de conos teniendo la
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 aB C - b a#b
donde suponemos que 0 tiene segundas derivadas parciales continuas con
respecto a sus variables B C - . Como podemos suponer de la
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
D 0 aB C - b, y , D 0 aB C - ?- b
Restando y dividiendo por ?- ,
! 0 aBC-b0?a-BC-?- b
y pasando al lmite cuando ?- !, tenemos la envolvente dada por las
dos ecuaciones siguientes:
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 10

D0 aBC- b
!0 aBC- b a$b
-
Si podemos resolver para - en la segunda y eliminando en la primera,
tenemos la envolvente expresada como
D 1aB C b 0 aB C - aB C bb
La envolvente satisface la ecuacin diferencial dada. En efecto suponiendo
!, se obtiene
0-
1B0 B 0- -B 0B a%b
1 0 0 - 0
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 aB C + , b a&b
Entonces podemos hallar soluciones dependiendo de una funcin
arbitraria. Pues si consideramos
, Fa+b
donde F es diferenciable, obtenemos la familia
D 0 aB C + Fa+bb
! 0+ 0, Fw 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 aB C + , b a'b
Si logramos resolver para los parmetros + y , en el sistema formado por
las dos derivadas parciales
: DB 0B aB C + , b
; DC 0C aB C + , b
y se sustituye + y , en la ecuacin a'b, se obtiene la ecuacin diferencial
parcial
D 0 aB C +aB C : ; b , aB C : ; bb ! a(b
tenindose la familia dada como solucin. Llamaremos a la familia a dos
parmetros de soluciones, solucin completa de la ecuacin diferencial.
Supongamos ahora que tenemos la solucin completa D 0 aB C + , b y
deseamos hallar una envolvente conteniendo la curva inicial siguiente
B Ba=b C C a= b D D a=b
con tal objeto consideremos las dos ecuaciones
K= a= + ,b
D a=b 0 aBa=b C a=b + , b ! a)b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 11

y
K= a= + ,b D w a=b 0B Bw a=b 0C C w a=b ! a*b
de donde se obtiene una relacin entre + , digamos en trminos del
parmetro =: + +a=b , ,a=b. La envolvente
D 0 aB C +a=b , a=bb
! 0+ +w a=b 0, ,w a=b
contendr la curva inicial. Pues ambas ecuaciones se cumplen
idnticamente en = por Ba=b Ca=b D a=b; la primera como una consecuencia
directa de la ecuacin a)b, y la segunda por la derivabilidad de la primera
D w a=b 0B Bw a=b 0C C w a=b 0, , w a=b
o
! 0+ +w a=b 0, ,w 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 "+a+# ,# b
B "a,+# ,# b C "a"+#,# b
y se puede demostrar que es una solucin completa de la ecuacin
diferencial parcial
aD :B ;C b# a" :# ; # b !
si deseamos hallar una supercifie integral conteniendo a la curva inicial,
dada, digamos por el crculo de radio "# alrededor del eje D, de ecuacin
D " B "# cos) C "# sin) ! ) #1
se obtiene la familia de planos dada por las ecuaciones
Ka) + ,b " a+# , # b +# cos) #, sin) " !
K) a) + ,b + sin) ,cos) !
de donde se concluyen las relaciones
+ %$ cos) , %$ sin) o , +# , # "'
#&
la superficie integral requerida es entonces la envolvente de la familia
D %$ Bcos) %$ C 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 D D aB C b teniendo segundas derivadas
parciales continuas con respecto a B y a C . En cada punto la superficie ser
tangente a un cono de Monge (ver la figura)
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 direcciones caractersticas y las curvas integrales de este campo
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 aB! C! D! b.
Este es la envolvente de una familia a un parmetro de planos
D D! :aB B! b ; aC C! b
donde : y ; satisfacen
J aB! C! D! : ; b ! o, ; ; aB! C! D! : ; b a""b
y por lo tanto puede ser dada por las ecuaciones
DD! :aBB! b; aB! C! D! :bCC!
a"#b
!aBB! b; aCC! b .:
.;

De las ecuaciones a""b obtenemos


.J .;
.: J: J; .: ! a"$b
as que puede ser eliminada de a"#b, y las ecuaciones, definiendo el
.;
.:
cono de Monge, se escriben
J aB! C! D! : ; b !
D D! :aB B! b ; aC C! b a"%b
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
:! :aB! C! b y ;! ; aB! C! b son conocidos, el plano tangente estar dado
por
D D! :! aB B! b ;! aC C! b
juntamente con la ecuacin
BB! CC!
J: J;
determinndose la lnea de contorno con el cono de Monge
J: J; = :J: ;J;
BB! CC! DD!

o la direccin caracterstica
aJ: J; :J: ;J; b
Se sigue entonces que las curvas caractersticas estan determinadas por el
sistema de ecuaciones diferenciales ordinarias
.B .C .D
J: J; :J: ;J; a"&b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 13

o
.B
J:
.>
.C
.> J;
.D
.> :J: ;J; a"'b
Si la superficie integral es todava desconocida, es claro que las tres
ecuaciones a"&b o a"'b no sern todava suficientes para determinar las
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 J: ;C J;
.: .B .C
.> :B .> :C .> :B J: :C J;
.; .B .C
.> ;B .> ;C .>

Retornando a la ecuacin a"b y diferenciando primero con respecto a B y


luego con respecto a C, tenemos
JB J D : J : : B J ; ; B !

As que las ecuaciones a"(b pueden escribirse en la forma


JC JD ; J : : C J ; ;C !

.; JC JD ; a")b
.:
.> JB JD :

.>
donde hemos usado que :C ;B .
Tenemos entonces asociado con la superficie integral dada, D D aB C b una
familia de curvas caractersticas en la superficie, tal que las coordenadas
Ba>b Ca>b D a>b, a lo largo de la curva y los nmeros :a>b ; a>b estan
relacionados mediante el sistema de cinco ecuaciones dadas en a"'b y 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 a"b junto con
el sistema de ecuaciones caractersticas a"'b y a")b como un sistema de
seis ecuaciones
J aBCD:; b! .C
.B J: .D :J: ;J; a"*b
.:
.> J; .> JB JD :
.;

para las cinco funciones desconocidas Ba>b Ca>b D a>b :a>b ; a>b. Este sistema
.> .> .> JC JD ;

es sobredeterminado, sin embargo la primera ecuacin J aB C D : ; 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 .C .D .: .;
.> JB .> JC .> JD .> J: .> J; .>
JB J: JC J; :JD J; J: JB J: JD : J; JC J; JD ; ;JD J; !.
Siguindose que J =-98=> constituye una integral de las cinco ecuaciones
restantes.
Es claro entonces que si J ! se satisface en un punto inicial digamos
B! C! D! :! ;! para > !, las cinco ecuaciones caractersticas determinan
una nica solucin Ba>b Ca>b D a>b :a>b ; a>b pasando tambin por el punto y
justo con J ! se satisface para todo >.
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 14

Una solucin de a"*b puede ser interpretada como una tira (o franja, o
cinta). Esto es, un espacio de curvas B Ba>b C C a>b D D a>b junto con una
familia de planos tangentes determinados por las direcciones a: ; "b.
Para >! fijo, los cinco nmeros B! C! D! :! ;! se determinan definiendo un
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
.> :a>b .> ; a>b .> a#!b
.D a>b .Ba>b .Ca>b

llamada la condicin de faja. En nuestro caso la condicin de faja se


garantiza por las primeras cinco ecuaciones caractersticas.
Llamaremos a las tiras que son solucin de a"*b tiras caractersticas y sus
curvas correspondientes, curvas caractersticas.

TEOREMA 2.1. Si las tiras caractersticas tienen un elemento B! C! D! :! ;! en


comn con la superficie integral D ?aB Cb, entonces se hallan
completamente sobre la superficie.

En efecto, dada una solucin ?, considrense las dos ecuaciones


diferenciales ordinarias
.> J: aBC?aBC b?B aBC b?C aBC bb
a#"b
.B

.> J; aBC?aBC b?B aBC b?C aBC bb


.C

para las variables Ba>b Ca>b con condiciones iniciales Ba!b B! C a!b C! . Por
los teoremas de existencia y unicidad para ecuaciones diferenciales
ordinarias ellas sern unvocamente determinadas por las curvas B Ba>b,
C C a>b junto con la correspondiente curva sobre la superficie integral
B Ba>b C C a>b D ?aBa>b C a>bb a##b
Adems se satisfacen las siguientes ecuaciones
.C .B .C
.> ?B .> ?C .> ?B J: ?C J; a#$b
.?B
.> ?BB J: ?BC J; a#%b
y
a#&b
.?C
.> ?CB J; ?CC J;
donde ?a!b ?aB! C! b D! ?B a!b ?B aB! C! b :! , y , ?C ?C aB! C! b ;! .
Suponiendo por otro lado que
J aB C ?B aB C b ?C aB C bb ! a#'b
y as
JB J? ?B J?B ?BB J?C ?CB !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 15

por lo tanto las ecuaciones a#$b y a#%b pueden escribirse en la forma


JC J? ?C J?B ?BC J?C ?CC !

.?B
.> JB JD ?B a#(b
y
.?
.> JC JD ?C a#)b
donde se supone que ?BC ?CB .
Examinemos ahora las cinco funciones B Ba>b C C a>b D ?aBa>b C a>bb,
: ?B aBa>b C a>bb, ; ?C aBa>b C a>bb. Ellas determinan las tiras caractersticas
pues satisfacen las cinco ecuaciones caractersticas a#"b a##b a#$b a#(b y
a#)b, adems de la ecuacin finita a#'b. Y ellas determinan una nica tira
caracterstica para el elemento inicial B! C! D! :! ;! . Pero las tiras
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 2.2. (PROBLEMA DE CAUCHY). Consideremos la ecuacin diferencial


parcial
J aB C D : ; b ! a#*b
donde J tiene segundas derivadas parciales con respecto a sus variables
B C D : ; . Supongamos que junto con la curva inicial B B! a=b C C! a=b
! = ", los valores iniciales D D! son asignados por B! C! D! teniendo
segundas derivadas continuas. Supngase an que las funciones
contnuamente diferenciables :! a=b ;! a=b han sido definidas satisfaciendo
las dos ecuaciones
J aB! a=bC! a=bD! a=b:! a=b;! a=bb!
.D! .B! .C! a$!b
.= :! .= ;! .=
Finalmente, supngase que las cinco funciones B! C! D! :! ;! satisfacen la
condicin
.= J; aB! C! D! :! ;! b .= J: aB! C! D! :! ;! b a$"b
.B! .C!
!
Entonces en alguna vecindad de la curva inicial existir una y solamente
una solucin D ?aB Cb de a#*b conteniendo la faja inicial, es decir tal que
D aB! a=b C! a=bb D! a=b DB aB! a=b C! a=bb :! a=b DC aB! a=b C! a=bb ;! a=b.
DEMOSTRACIN. Consideremos el sistema de ecuaciones caractersticas

a$#b
.B .C .:
.> J: .> J; .> JB :JB
.D .;

con la familia de condiciones iniciales B B! a=b C C! a=b D D! a=b


.> :J: ;J; .> JC ;JB

: :! 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 \ a=b C ] a=b D ^ a=b : T a=b ; Ua=b a$$b


donde \ ] ^ T y U tienen derivadas continuas con respecto a = y a >,
y adems que satisfacen las condiciones iniciales
\ a= !b B! a=b ] a= !b C! a=b ^ a= !b D! a=b T a= !b :! Ua= !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 \ a= >b C ] a= >b D ^ a= >b
necesariamente forman una superficie. En particular si resolvemos las dos
primeras ecuaciones para = y > en trminos de B y C, y luego sustituyendo
en la ltima, se obtiene la superficie
D ^ a=aB C b >aB C bb D aB >b
como una funcin de las variables B y C. Esto se puede dar para alguna
vecindad R a0 ( b alrededor de cada punto 0 ( en la curva inicial puesto
que, a lo largo de la curva inicial el Jacobiano

` a=>b >! ]
` a\] b
.=! J; .= J: ! a$&b
\= \> .B .C!
] >
esto por la condicin a$$b, dada por hiptesis.
= >!

Tenemos entonces definido, en R a0 (b, las ecuaciones


==aBC b >>aBC b B\ a=aBC b>aBC bb C]
a=aBC b>aBC bb
D^ a=aBC b>aBC bb :T a=aBC b>aBC bb a$'b
a=aBC b>aBC b b ;U
Debemos probar que D aB C b es una solucin de la ecuacin diferencial
parcial a#*b, es decir, de la ecuacin
J aB C D aB C b DB aB C b DC aB C bb !
Pero se sabe, que para las tiras caractersticas se tiene
J aB C D : ; b !
slo nos resta probar que
: DB y, ; DC
Con este objeto consideremos la expresin
Y a= >b
^= T \= U]= a$(b
Para > !
Y a= !b .D .B! .C!
.= :! .= ;! .= !
por la condicin de tira, para los elementos iniciales a$!b. Mostremos que
!

! para todo >, lo cual expresa el hecho, de que las tiras caractersticas
Y
quedan suavemente juntas. Para hacer esto, consideremos la derivada de
Y con respecto a >.
`Y
`> ^=> T> \= T \=> U]=>
`=`
a^> T \> U]> b T= \> U= ]> U> ]= T> \=
! J: T= J; U= aJB JD T b\= aJC JD Ub]=
donde hemos usado las ecuaciones caractersticas a$#b. Tenemos adems
por adicin y sustraccin de JD J= y luego reagrupando trminos tenemos
`> JB \= JC ]= JD ^= J: T= J; U= JD a^= T \= U]= b
`Y

J= J D Y J D Y
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 17

puesto que J= ! en = y >. Ahora para = fijo, la funcin Y satisface la


ecuacin diferencial ordinaria
.Y
.> JD Y
cuya solucin dada por
Y Y a!b/'! JD .>
>

Puesto que para > ! se sigue que Y ! para todo > es decir
Z= T \= U]=
Observemos ahora las cuatro ecuaciones
Z= T \= U]= ^= ^B \ = ^ C ]=
^> 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 T U ^B ^C pueden ser consideradas como dos
soluciones, para dos ecuaciones lineales en dos variables desconocidas.
Sin embargo, puesto que cerca de a0 (b el determinante
] ]>
\= \>
!
en virtud de la ecuacin a$&b las dos soluciones son necesariamente
=

idnticas, es decir;
T a= >b ^B aBa= >b C a= >bb
Ua= >b ^C aBa= >b C a= >bb
0
:aBC b^ aBC b
; aBCb^BaBCb a$)b
C
como queramos demostrar.
Las soluciones ^ ^ aB C b contienen la tira inicial. Pues

^ aB! C! b ^ aBa= !b C a= !bb ^ a= !b ^! a=b


^B aB! C! b :aB! C! b :aBa= !b C a= !bb :a= !b :! a=b
^C aB! C! b ; aB! C! b ; aBa= !b C a= !bb ; a= !b ;! a=b

esto en virtud de las ecuaciones a$%b a$'b y a$)b. Para demostrar que
^ ^ aB C b as determinado, es nica, supongamos que existe otra
solucin ^ ^ w aB C b definida en R 0 ( y contenida en una tira inicial.
Escojamos un punto arbitrario aBw Cw b en R 0 ( y resolviendo para =w y >w
en las ecuaciones asociadas se tiene
=w =aBw C w b >w >aBw C w b
Consideremos ahora los elementos iniciales B! a=w b C ! a=w b D! a=w b :! a=w b ;! a=w 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 \ a=w >b C ] a=w >b D ^ a=w >b : T a=w >b ; Ua=w >b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 18

y es preciso tambin considerarlas en ambas superficies. Esto es


^ w a\ a=w >b ] a=w >bb ^ a=w >b ^ a\ a=w >b ] a=w >bb
y en particular para >w tenemos
^ w aBw Cw b ^ w a\ a=w >w b ] a=w >w bb ^ a=w >w b
^ a\ a=w >w b ] a=w >w bb ^ aBw C w b.
Note que tan slo tenemos una nica solucin construida en una vecindad
R 0 ( alrededor de un punto 0 ( 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 R 0 ( en donde vale la unicidad.
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 R a? @b que tiene por restriccin propia, el tamao de R 0 (
suponindolas circulares. Consideremos ahora un recubrimiento finito W
de > por R a? @b. Esto se puede tener, dado que la curva inicial y tambin
su imagen > son compactas. Las intersecciones de este cubrimiento
tendrn un dimetro mnimo, digamos <. (ver la figura). Supongamos
ahora > cubierta con un segundo recubrimiento X de vecindades R a? @b
teniendo dimetro mximo de #<

Este recubrimiento X tendr entonces la propiedad de que las


intersecciones de cualquiera de sus vecindades estar completamente
dentro de al menos una de las vecindades del recubrimiento W .
Se consideran las soluciones ^X aB Cb que han sido construidas por las
vecindades del cubrimiento X . Es claro que ellas definirn una solucin
del problema de Cauchy para la curva completa. Todo lo que tenemos que
mostrar es que los ^X concuerdan a lo largo de las intersecciones de sus
respectivas vecindades. Pero esto es claro por la prueba de unicidad para
las vecindades del primer recubrimiento W . Hemos visto anteriormente
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 aB! C! D! b en el
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


aB! C! D! b, para ms detalles ver [2].

.C
3. METODO DE SOLUCIONES DE LA ECUACION .B .D
T U V

3.1. METODO DE LAS PROPORCIONES


Las curvas integrales del conjunto de soluciones de las ecuaciones
diferenciales de la forma
.B .C
T U V
.D
a" b
donde T U V son funciones definidas en un conjunto abierto H d ,
$

continuas y diferenciables aT U V H d b, dan origen a una familia de


curvas a dos parmetros en el espacio tridimensional. Si podemos
obtener de la ecuacin a"b dos relaciones de la forma
?" aB C D b -" ?# aB C D 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 aB C D b a la superficie
?" aB C D b -" se satisface la relacin
`?" `?" `?"
`B .B `C .C `D .D !
Si ?" -" es un adecuado sistema de superficies a un parmetro, la
direccin tangencial a la curva integral a travs de cualquier punto aB C D b
es tambin una direccin tangencial a esta superficie. Por lo tanto
T `? `?" `?"
`B U `C V `D !
"

Para hallar ?" (y, anlogamente ?# experimentamos con un buen nmero


de funciones T w Uw y , V w de tal manera que se cumpla
T T w UUw VV w ! a$b
y tales que exista una funcin ?" con la propiedad
T w `?`B
"
Uw `? `C
"
V w `?`D
"
a%b
es decir, tal que
T w .B Uw .C V w .D a&b
sea una forma diferencial exacta .?" .

EJEMPLO. Hallar las curvas integrales de las ecuaciones


CaBCb+D BaBCb+D D aBC b
.B .C .D
a' b
En este caso tenemos, en la notacin anterior
T C aB C b +D U BaB C b +D V D aB C b
Si por tanteo tomamos
T w "D Uw D" V w BC
D#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 20

Entonces la condicin a$b es evidentemente verificada y la funcin ?" de la


ecuacin a%b tomar la forma
?" BC D
Anlogamente si tomamos
T w B Uw C Vw +
de nuevo la condicin a$b se cumple, y la funcin correspondiente es
?# "# aB# C # b +D
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 a'b puede
escribirse en la forma
.B.C
aBCb#
D aBC
.D
b
Esta es una ecuacin diferencial ordinaria en la variables B C y D cuya
solucin es
B C -" D a)b
Anlogamente se pueden hacer combinaciones como sta
+aBCbD D aBCb
B.BC.C .D

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 a)b y a*b son justamente las mismas de a(b.

3.2 FORMA Y ECUACIONES DE PFAFFIAN

La expresin
! J3 aB" B# B8 b.B3
8

donde los J3 a3 " # 8b son funciones de algunas o todas las 8


3"

indeterminadas B" B# B8 , es llamada forma diferencial de Pfaffian.


Anlogamente la relacin
! J3 aB" B# B8 b.B3 !
8

3"
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 ?aB Cb y @aB Cb una relacin de la forma J a? @b ! no
conteniendo explcitamente a B o, a C es que
` a?@b

@C
?B ?C
` aBCb @B
!.

LEMA 2. Si \ es un vector tal que \ <9>\ ! y . es una funcin arbitraria


de B C D entonces a.\ b <9>a.\ b !.

Note que aqu \ d $ y <9>\ es el rotacional de \ .

TEOREMA FUNDAMENTAL. Sea H d un dominio abierto, una condicin


8

necesaria y suficiente para que la ecuacin diferencial


! J3 aB" B# B8 b.B3 \ .< !
8

3"
sea integrable es que \ <9>\ !.
Siendo \ aJ" J# J8 b, y , .< a.B" .B# .B8 b J3 G " H.
La demostracin la hacemos para el caso de tres variables B C D . Se
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 D constante, en ese
caso obtenemos la ecuacin diferencial
T aB C D b.B UaB C D b.C !
que es una ecuacin diferencial en dos variables la cual por el teorema de
existencia siempre tiene solucin, que ser de la forma
?aB C D b -"
donde -" es una constante dependiente posiblemente de D . As debe
existir una funcin . tal que
`? `?
`B .T `C .U
tenindose estonces que
`? `? `? `?
`B .B `C .C `D .D .V `D .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 \ <9>a\ b !, as tenemos que


a.\ b <9>a.\ b !
Ahora
.\ =a.T .U .V b `?
`B `C `D O f? a! ! O b
`? `?

Por lo tanto
.\ <9>a.\ b `?
`B `C `D O `C
`? `? `O
`B !
`O
`? `O
`B `C `? `O
`C `B
as se obtiene que
` a?5 b
` aBCb !
Del lema 1, se sigue que existe una relacin entre ? y O independiente de
B y C pero no de D . En otras palabras, O puede ser expresada como una
funcin O a? D b de ? y D solamente y de tal forma que
`D O a? D b !
`?

es una ecuacin diferencial de variable separable cuya solucin es dada


por
Fa? D b -
con - constante. Como ? es funcin de B y C tenemos que la solucin ser
J aB C D b -
demostrndose que la ecuacin T .B U.C V.D ! es integrable.

EJEMPLO. Verifiquemos que la ecucin diferencial


aC# CD b.B aBD D # b.C aC # BC b.D !
es integrable y halle la solucin.
1. Integrabilidad:
<9>aC # CD BD D # C # BC b a#C #B #D #C #C b
y
aC# CD BD D # C # BC b a#C #B #D #C #C b !
2. Clculo de la solucin: Si mantenemos D constante tenemos
CaC D b.B D aB D b.C !
donde
BD CaCD b .C ! si y slo si, BD C CD !
.B D .B .C .C

de donde
P8aB D b P8 CD
C
P8G si y slo si, CaBD b
CD ?aB C b -"
As existe . tal que
`B .T implica que, .= T
C
aCD b#
`? " `? " "
`B C# CD CD
se sigue entonces que
C# BC C CaBD b
aCD b# aCD b#
O .V `?
`D CD !
luego O ! y como .? O.D ! se sigue que .? ! o sea ? - donde la
solucin ser
CD - si y slo si, C aB D b - aC D b
CaBD 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 aB C D : ; b ! a"b
donde como siempre : `B y ; `C , Charpit introduce una segunda
`D `D

ecuacin diferencial parcial de primer orden


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

Sea 0 aB C D : ; b ! y 1aB C D : ; b ! dos ecuaciones diferenciales


LEMA.
` a0 1b !. Una condicin para que
de primer orden tales que N ` a:; b
0 aB C D : ; b ! y 1aB C D : ; b ! sean compatibles es que 0 1 ! donde
` a0 1b : ` a0 1b ` a0 1b ; ` a0 1b
0 1 ` aB:b ` aD:b ` aC; b ` aC; b
PRUEBA: Como N ! podemos resolver las ecuaciones
0 aB C D : ; b ! y 1aB C D : ; b !
para obtener expresiones explicitas para : y ; dadas por (en una variable)
: 9aB C D b ; <aB C D b a%b
As la compatibilidad de 0 aB C D : ; b ! y 1aB C D : ; b ! se reduce a la
solucin completa del sistema a%b. En este caso la ecuacin
9.B <.C .D !
ser integrable. Esta es una ecuacin de Pfaffian que es integrable as
a9 < "b <9>a9 < "b !
de donde
9a <D b <a9D b a<B 9C b !
que es equivalente a
a&b
Sustituyendo las ecuaciones a%b en 0 aB C D : ; b ! y diferenciando
<B 9<D 9C <9D

respectivamente con B y con D obtenemos las ecuaciones


0B 0: 9B 0; <B !
0D 0: 9D 0; <D !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 24

de las cuales en realidad se deduce


0B 90D 0: a9B 99D b 0; a<B 9<D b !
Por analoga se puede decir de la ecuacin 1aB C D : ; b ! que
1B 91D 1: a9B 99D b 1; a<B 9<D b !
Resolviendo estas ecuaciones, hallamos que
<B 9<D N" `` aaB: b 9 ` aD:b
0 1b ` a0 1b
a'b
Si hubieramos diferenciado las ecuaciones dadas con respecto a C y a D
habramos obtenido
9C <9D N" ``aa0C; b < ` aD; b
<1b ` a0 1b
a(b
as, restando las ecuaciones a'b y a(b usando la ecuacin a&b y
reemplazando 9 < por : ; , respectivamente se obtiene la condicin
0 1 !
donde
` a0 1b : ` a0 1b ` a0 1b ; ` a0 1b
0 1 ` aB:b ` aD:b ` aC:b ` aD; b
tenindose que la condicin para que 0 aB C D : ; b ! y 1aB C D : ; b !
sean compatibles es que 0 1 !.

Regresando al mtodo de Charpit para hallar la solucin de


1aB C D : ; b ! la cual debe ser compatible con 0 aB C D : ; b ! y como
0 1 !, siempre y cuando N !, entonces obtenemos la ecuacin
diferencial
`1
0: `B `1
0; `C a:0: ;0; b `D
`1
a0B :0D b `:
`1
a0C ;0D b `;
`1
!
para la determinacin de 1. Nuestro problema entonces es hallar una
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 #)
0: 0; :0: ;0; a0B :0D b a0C ;0D b
.B .C .D .: .;
a)b
Sin embargo las ecuaciones a)b son conocidas como las ecuaciones de
Charpit o ecuaciones auxiliares.
Una vez la integral 1aB C D : ; b est determinada, el problema se reduce a
resolver para : y ; las ecuaciones
: :aB C D +b ; ; aB C D +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 #;C #a:# B; # Cb a0B :0D b a0C ;0D b
.B .C .D .: .;

que por mtodos elementales de proporciones se reduce a
:# .B#:B.: ; # .C#;C.;
#
: B ;#C
que por la teora de ecuaciones ordinarias nos da
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 25

P8a:# Bb P8 +; # C si y slo si , :# B +; # C a"!b


donde + es una constante. Resolviendo a*b y a"!b para : y ; se obtiene
a"+ bB a"+ bC
" "
+D # D #
: ;
as la ecuacin .D :aB C D +b.B ; aB C D +b.C llega a ser en este caso
"+ # .D B+ # .B C" .C
" "

D
cuya solucin es
{a" +bD } # a+Bb # C # ,
" " "

la cual es la solucin completa del problema.

3.4. MTODO DE JACOBI.


Para resolver la ecuacin diferencial parcial
J aB C D : ; b ! a"b
donde : `B y ; `C dependiendo del hecho de que si ?aB C D b ! es
`D `D

una relacin entre B C y D entonces


: ??"$ ; ??#$ a#b
donde,
?3 denota `B `?
a3 " #b a$b
Si sustitumos las ecuaciones a#b en a"b obtenemos una ecuacin
3

diferencial parcial del tipo


0 aB C D ?" ?# ?$ 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
1aB C D ?" ?# ?$ +b ! 2 aB C D ?" ?# ?$ , b ! a&b
involucrando dos constantes + y , de tal manera que
a+b Las ecuaciones a%b y a&b 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 a'b contiene tres constantes arbitrarias y ser la solucin
completa de a%b.
Como en el mtodo de Charpit, la dificultad radica en la determinacin de
las ecuaciones auxiliares a&b. Tenemos, en efecto, que hallar dos
ecuaciones que sean compatibles con a%b. Es un ejercicio muy fcil pero
laborioso mostrar que 0 aB C D ?" ?# ?$ b ! y 1aB C D ?" ?# ?$ b !
son compatibles si
` a0 1b ` a0 1b ` a0 1b
` aB?" b ` aC?# b ` aD?$ b !
Ahora 1 y 2 tendrn su solucin dada por la ecuacin diferencial parcial
siguiente:
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 26

`1
0?" `B `1
0?# `C `1
0?$ `D `1
0B `? "
`1
0C `? #
`1
0D `? $
! a(b
que tiene por ecuaciones caractersticas de Cauchy a
.B .C .D .?" .?#
0? 0? 0? 0B 0C 0D
.?$
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 `? `?
`B `D 1C `C `D
`? `?

y aplicar el mtodo para hallar la integral completa de la ecuacin


#B# C `?
`B
# `? # `?
`D B `C #C `B
`? #
Sea `?
`B ?" `C ?# y, `D ?$ y tenemos por otra parte
`? `?

0 aB ?" ?$ b 1aC ?# ?$ b
esto nos conduce a
0 aB ?" ?$ b 1aC ?# ?$ b
J aB C D ?" ?# ?$ b !
segn el mtodo de Jacobi se tiene
.B .C .D .?" .?# .?$ .?$
J? J? J? JB JC JC JD
" # $

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

Ahora para el caso particular se tendra


#B# C?#" ?$ #C?#" B# ?#
o en forma equivalente
#B# ?#" ?$ #?#" B# ?C# , si y slo si , #?"# ?$ B"# ?#
C
aqu
0 aB ?" ?$ b #?#" ?$ B"# y 1aC ?# ?$ b ?C#
as la solucin saldra de considerar la ecuacin a)b
%?" e?$ B# f C" #?# ! %?# B$ C# ?#
.B .C .D .?" .?#
" "

De la segunda y de la ltima tenemos


, si y slo si , .C
#
C.C C ?.?#
#
C ?#
.?#

de donde +C ?# ; ahora tomando la primera y la cuarta se tiene


%?" a?$ B# b %?# B$ , si y slo si , ?$ B$ ?" B$
.B .?" .B .?"
a* b
"

por otra parte de la ecuacin dada, tendremos


#?#" e?$ B# f +, si y slo si , ?$ B# +

por consiguiente sustituyendo en a*b obtenemos


#?#"

#?#" .B
, si y slo si, +# .B
$

+ B?.?"
"
.?"
B$ ?$ ! "

integrando obtenemos " #


+B #" ?#
" ,
"
de donde sale que
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 27

?" +,
#
B
+B# ,
Por otra parte de la ecuacin dada despejamon ?$ obteniendo
+B# #?#
?$ #B# ?# "
"
+B# #?#"
Pero tambin sabemos que "
#?" "
+B# ", , si y slo si , #?#" B#
+
, esto
significa que ?$ +, .
Por la ecuacin a,b del mtodo de Jacobi se sabe que
.? +,
# +B# ,
B.B
+C.C +, .D
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" aB" B# B8 ?" ?8 b !
donde ?3 denota `B `?
3
a3 " # 8b entonces hallamos 8 " funciones
auxiliares 0# 0$ 08 con ecuaciones subsidiarias
.B" .B# .B8 .?" .?# .?8
0? 0? 0? 0B 0B 0B
" # 8 " # 8

envolviendo 8 " constantes arbitrarias. Resolviendo stas para


?" ?# ?8 determinamos ? por integracin de la ecuacin de Pfaffian
.? ! ?3 .B3
_

3"
la solucin as obtenida contiene 8 constantes arbitrarias.

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 D est dada por una expresin del tipo
D 0 a?b 1a@b A a"b
donde 0 y 1 son funciones arbitrarias de ? y @, respectivamente, y ?,@, y A
son funciones respectivamente de B y de C. Entonces escribiendo
`D
: `B ; `D ` #D ` #D
`C < `B# = `B`C > `C#
` #D
a#b
diferenciando ambos lados de a"b con respecto a B y a C, hallamos que
: 0 w a?b?B 1w a@b@B AB
; 0 w a?b?C 1w a@b@C AC
y de aqu se sigue que
< 0 ww a?b?#B 1ww a@b@B# 0 w a?b?BB 1w a@b@BB ABB
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 28

= 0 ww a?b?B ?C 1ww a@b@B @C 0 w a?b?BC 1w a@b@BC ABC


> 0 ww a?b?#C 1ww a@b@C# 0 w a?b?CC 1w a@b@CC ACC
Ahora tenemos cinco ecuaciones involucrando cuatro funciones
arbitrarias, 0 w 0 ww 1w 1ww . Si eliminamos estas cuatro cantidades de las cinco
:A !
ecuaciones obtenemos

;A !
?B @ B !

B

< A @B# !
?C @C !
a $b
C

=A
?BB @BB ?#B
B C
BB


? @ ? ? @ @
> ACC ?CC @CC @C#
BC BC BC B C
?#C

la cual envuelve solamente las derivadas : ; < = > y funciones


dependientes de B e C. Es por lo tanto una ecuacin diferencial parcial de
segundo orden. Adems si expandemos el determinante en el lado
izquierdo de la ecuacin a$b en trminos de la primera columna,
obtenemos una ecuacin de la forma
V< W= X > T : U; [ a%b
donde V W X T U [ son funciones conocidas de B e C . Por lo tanto la
relacin a"b es solucin de la ecuacin diferencial parcial lineal de segundo
orden a%b. Notamos que la ecuacin a%b es de un tipo particular: La variable
D no interviene en ella. Como ejemplo del procedimiento del ltimo
pargrafo, suponemos que
D 0 aB +C b 1aB +C b a&b
donde 0 y 1 son funciones arbitrarias y + es una constante.
Si diferenciamos a&b dos veces con respecto a B obtenemos la relacin
< 0 ww 1ww
mientras que si derivamos dos veces con respecto a C, obtenemos la
relacin
> +# 0 ww +# 1ww
as que las funciones D las cuales pueden ser expresadas en la forma 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 0< son arbitrarias y las funciones @< son conocidas, y
conduce a una ecuacin diferencial parcial lineal de orden 8. Las
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 aH Hw bD 0 aB C b a"b
donde J aH H b denota un operador diferencial del tipo
w

J aH Hw b !!-<= H< aHw b= a# b


< =
en donde las cantidades -<= son constantes y H `B
` `
Hw `C .
La solucin ms general, es decir, conteniendo el nmero correcto de
elementos arbitrarios, de la correspondiente ecuacin diferencial
homognea
J aH Hw bD ! a$b
es llamada la funcin complementaria de la ecuacin a"b, justo como en la
teora de ecuaciones diferenciales ordinarias. Anlogamente alguna
solucin de la ecuacin a"b es llamada solucin particular. Como en la
teora de ecuaciones diferenciales ordinarias el siguiente resultado es
bsico.

TEOREMA 4.1. Si ? es la funcin complementaria y D" una integral particular


de la ecuacin diferencial parcial a"b, entonces ? D" es la solucin general
de la ecuacin a"b.
La demostracin de este teorema es obvia, puesto que las ecuaciones a"b y
a$b son de la misma clase, as la solucin ? D" contendr el nmero
correcto de elementos arbitrarios. Tambin
J aH Hw b? ! J aH Hw bD" 0 aB C b
As que
J aH Hw b? J aH Hw bD" J aH Hw ba? D" b 0 aB C b
demostrando que ? D" es en efecto, una solucin de la ecuacin a"b. Esto
completa la demostracin.
Otro resultado que es usado intensamente en la solucin de estas
ecuaciones es el siguiente:

TEOREMA 4.2. Si ?" ?# ?8 son soluciones de la ecuacin diferencial


parcial homognea J aH Hw b !, entonces ! -< ?< donde ?< es una
8

<"
constante arbitraria para todo < " # 8, es tambin solucin.
La demostracin de este teorema es inmediata puesto que
J aH Hw ba-< @< b -< J aH Hw b@<
y
J aH Hw b! @< ! J aH Hw b@<
8 8

<" <"
para cualquier conjunto de funciones @< . Adems
J aH Hw b! -< @< ! J aH Hw ba-< @< b ! -< J aH Hw b@< !
8 8 8

<" <" <"


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

Clasificamos el operador diferencial lineal J aH Hw b en dos tipos especiales


que trataremos separadamente. Decimos que:
a+b J aH Hw b es reducible si no puede escribirse como el producto de
factores lineales de la forma H +Hw ,, donde + , son constantes
a,b J aH Hw b es irreducible si no puede escribirse en la forma dada en a+b.
Por ejemplo el operador H# aHw b# ` ## ` ## puede ser escrito en la
forma aH H baH H b y se dice que es reducible, mientras que
`B `C
w w

H # aH w b #
` ## ` ## no puede ser descompuesto en factores y en ese
`B `C
caso se dice irreducible.

a+b ECUACIONES REDUCIBLES: El punto de partida de la teora de ecuaciones


reducibles es el siguiente resultado:

TEOREMA 4.3. Si el operador J aH Hw b es reducible, el orden en que los


factores lineales ocurren no es importante (conmutatividad)
PRUEBA: Basta con mostrar que
a!< H "< Hw #< ba!= H "= Hw #= b a!= H "= Hw #= ba!< H "< Hw #< b a%b
!< != H a!= "< !< "= bHH "< "= aH b a#= !< #< != bH a#= "< #< "= bH #< #=
# w w # w

As cualquier operador reducible puede escribirse en la forma


J aH Hw b # a!< H "< Hw #< b a&b
8

!< H "< Hw #< es un factor de J aH Hw b y 9< a0b es una


<"
TEOREMA 4.4. Si
funcin arbitraria de la variable simple 0 entonces si !< !
?< /B: #!<<B 9< a"< B !< C b
es solucin de la ecuacin J aH Hw b !.
PRUEBA: Por diferenciacin directa tenemos
H?< !#<< ?< "< /B: !< 9 a"< B !< C b
#< B w

aHw b?< !< /B: !< 9 a"< B


#< B w
!< C b
as que
a!< H "< Hw #< b?< ! a'b
Ahora por el teorema 4.3
J aH Hw b?< # a!= H "= Hw #= ba!< H "< Hw #< b?< a(b
8

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

Usando el mismo mtodo se puede demostrar el siguiente resultado

TEOREMA 4.5. Si "< Hw #< es un factor de J aH Hw b y 9< a0b es una funcin


arbitraria del simple valor 0, entonces "< !
?< /B: #"<<C 9< a"< Bb
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 31

es una solucin de la ecuacin J aH Hw bD !.

En la descomposicin de J aH Hw b en factores lineales podemos obtener


factores con multiplicidad del tipo
a!< H "< Hw #< b8 a)b
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!< H "< Hw #< b# D !
Si hacemos <=a!< H "< Hw #< bD , entonces
a!< H "< Hw #< b< !
de acuerdo con el teorema 4.4 tenemos por solucin, si !< !
< /B: #!<<B 9< a"< B !< C b.
Para hallar la solucin correspondiente a D tenemos por lo tanto que
resolver la ecuacin diferencial parcial lineal de primer orden siguiente:
`D
!< `B "< `D
`C #< D /
#< B!<
9< a"< B !< C b a*b
usando los mtodos del 3 vemos que las ecuaciones caractersticas son
!< "< #< D/#< B!< 9< a"< B!< Cb
.B .C .D

con solucin para las dos primeras dada por


"< B !< C -"
Sustituyendo tenemos
!< #< D/#< B!< 9< a-" b
.B .D

que es una ecuacin lineal de primer orden con solucin


D !"< e9< a-" bB -# f/#< B!<
La ecuacin a*b, y tambin la ecuacin a)b tiene por solucin
D eB9< a"< B !< C b << a"< B !< C bf/#< B!<
donde las funciones 9< << son arbitrarias.
Este resultado es en realidad generalizado por

TEOREMA 4.6. Si a!< H "< Hw #< b8 a!< !b es un factor de J aH Hw b y si las


funciones 9<" 9<# 9<8 son arbitrarias; entonces
#< B ! ="
/B: B 9<= a"< B !< C b
8
!<

es una solucin de J aH Hw b !.
="

Una generalizacin del teorema 4.5 es dada en el siguiente resultado:

TEOREMA 4.7. Si a"< Hw #< b7 es un factor de J aH Hw b y si las funciones


9<" 9<# 9<7 son funciones arbitrarias entonces
/B: #< C ! B=" 9<= a"<= Bb
7
"<

es una solucin de J aH H bD !.
="
w
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 32

Estamos ahora en posicin de expresar la funcin complementaria de la


ecuacin a"b cuando el operador J aH Hw b es reducible. Como un resultado
de los teoremas 4.4 y 4.6 vemos que
J aH Hw b # a!< H "< Hw #< b7< a"!b
8

<"
y si ninguno de los !< es cero, entonces la correspondiente funcin
complementaria es
? ! exp #< B ! B=" 9<= a"< B !< C b a""b
= 7<
!<

donde las funciones 9<= a= " 8< < " # 8b son arbitrarias. Si
<" ="

algunos de los ! son ceros, la modificacin de la expresin a""b puede ser


por medio de los teoremas 4.5 y 4.7. De la ecuacin a"!b vemos que el
orden de la ecuacin a$b es 7" 7# 78 puesto que la solucin de a""b
tiene el mismo nmero de funciones complementarias. Para ilustrar el
procedimiento consideremos un caso particular.

EJEMPLO: Resolver la ecuacin


` %D % %
``CD% # `B`# `C
`B%
D
#

En la notacin de esta seccin, esta ecuacin puede ser escrita en la forma


a H H w b # aH H w b # D !
As que por la ecuacin a""b la solucin es
D B9" aB C b 9# aB C b B<" aB C b <# aB C b.
Habiendo hallado la funcin complementaria de a"b necesitamos
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" # a!< H "< Hw #< bD a"#b
8

entonces la ecuacin a"b es equivalente a la ecuacin lineal de primer


<#

orden
`B "" `C #" D" 0 aB C b
!" `D " `D"

una integral particular, de esta ecuacin, podemos calcularla fcilmente


por el mtodo de Lagrange. Sustituyendo valores particulares de D" en
a"#b, obtenemos una ecuacin casi homognea de orden 8 ". 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 #
``CD# B C
`B#
Esta ecuacin puede ser escrita en la forma
aH Hw baH Hw bD B C
aqu la funcin complementaria es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 33

9" aB Cb 9# aB C b
donde 9" y 9# son arbitrarias. Para determinar una integral particular
escribimos
D" aH Hw bD a"$b
entonces la ecuacin para D" es
a H H w bD " B C
que es una ecuacin de primer orden con solucin
D" "% aB C b# 0 aB C b
donde 0 es arbitraria. Puesto que estamos buscando solamente una
integral particular, podemos tomar 0 !. Sustituyendo estos valores de D"
en a"$b hallamos que la solucin de la integral particular es
`B `C % aB C b
`D `D " #

que tiene por solucin D "% BaB C b# 0 aB C b en la cual 0 es arbitraria.


Tomando 0 ! obtenemos la integral particular
D "% BaB C b#
Aqu la solucin general de la ecuacin puede ser escrita en la forma
D "% BaB C b# 9" aB C b 9# aB C b
donde las funciones 9" y 9# son funciones arbitrarias.

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


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 aH Hw b/+B,C J a+ ,b/+B,C


DEMOSTRACIN. La demostracin de este teorema se sigue del hecho que
J aH Hw b puede ser descompuesto en trminos de la forma -<= H< aHw b= y
H< /+B,C +< /+B,C , aHw b= /+B,C ,= /+B,C
as que
a-<= H< aHw b= b/+B,C -<= +< ,= /+B,C

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


particular es:
TEOREMA 4.9. J aH aHw bb/+B,C 9 aB C b /+B,C J aH + Hw , b9aB C b
DEMOSTRACIN. Se hace directamente utilizando el torema de Leibnitz para
la <-sima derivada de un producto
H< a/+B 9b ! < -3 aH3 /+B baH<3 9b
<

3 !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 34

/+B ! < -3 +3 H<3 9 /+B aH +b< 9


<

3 !
Para determinar la funcin complementaria de una ecuacin del tipo
J aH Hw bD 0 aB C b dividimos el operador J aH Hw b en factores. Los factores
reducibles son tratados por el mtodo dado en a+b. Los factores
irreducibles son tratados como sigue: Por el teorema 4.8 vemos que /+B,C
es una solucin de la ecuacin
J aH Hw bD ! a"%b
probando que J a+ ,b ! as que
D !-< expa+< B ,< C b a"&b
<
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 a"%b, conteniendo tantas constantes arbitrarias como
necesarias. La serie a"&b no necesariamente es finita, pero si se tiene esto,
es una solucin de a"%b. La discusin de la convergencia de tal serie es
una dificultad, envolviendo como constante -< a las parejas a+< ,< b y los
valores de las variables B e C.

EJEMPLO.Demostrar que la ecuacin


` #D " `D
`B# 5 `>
posee soluciones de la forma
! -8 cosa8B %8 b/58# >
_

8"
Esto se sigue inmediatamente del hecho que /+B,C es una solucin
solamente si +# ,5 y esta relacin se satisface si tomamos
+ 38 , 58# .
Para hallar la integral particular de la ecuacin J aH Hw bD 0 aB C b
escribimos simblicamente como
D J aHH w b 0 aB C b a"(b
"

Podemos a menudo expandir el operador J " por medio del teorema del
binomio y entonces interpretar el operador H" aHw b" como integrales.

EJEMPLO. Hallar una integral particular de la ecuacin aH# Hw bD #C B#


PRUEBA. Ponemos la ecuacin en la forma D H# H w a#C B b.
" #

Ahora podemos escribir


" Hw
"
H# H# H%
aHw b# H w $
" " "

Hw a#C B# b a#C B# b C BC aHw b a#b


H# Hw Hw Hw

aHw b#
" " # "
D B# C
Cuando 0 aB C b es hecha en trminos de la forma expa+B ,C b obtenemos
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 35

una integral particular de la forma J a+,b expa+B


"
,C b excepto si se tiene
J a+ ,b !.

EJEMPLO. Hallar la solucin particular de la ecuacin


` #D `D #BC
`B# `C /
SOLUCIN. En este caso J aH Hw b H# Hw , + # y , " as que J a+ , b $
y la integral particular es
" #BC
#/ .
En el caso cuando J a+ ,b ! es frecuente aplicar el teorema 4.9. Si se
tiene que resolver
J aH Hw bD -/+B,C
donde - es una constante, conjeturamos que la solucin es
D A/+B,B
entonces por el teorema 4.9 tenemos
J aH + Hw ,bA - a")b
y es con frecuencia posible obtener una integral particular de esta
ecuacin

EJEMPLO. Hallemos una integral particular para la ecuacin


aH# Hw bD /BC
SOLUCIN. En este caso J aH Hw b H# Hw + " , " y J a+ , b ! De
cualquier forma
J aH + Hw ,b aH "b# aHw "b H #H H w
y de la ecuacin a")b se recibe que
aH# #H Hw bA "
de donde se tiene que las integrales particulares son "# B y C. As
"
# B/
BC
y C/BC 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


aH# Hw bD Ecosa6B 7C b
donde E 6 7 son constantes.
SOLUCIN: Para hallar una integral particular, conjeturamos que es de la
forma
D -" cosa6B 7Cb -# sina6B 7C 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
E 7 6# E
! 6# 7 !
E6# 7E
-" 7# 6% -#
6# 7
7 6# 7# 6% 7# 6%

En esta forma la integral principal ser


D 7#E6% c7sina6B 7b 6# cosa6B 7C bd

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
`> L ;" ;# ;8 `;" `;# `;8 !
`W `W `W `W
a"b
asignada al Hamiltoniano L a;" ;# ;8 :" :# :8 b de un sistema
dinmico de 8 generalizadas ;" ;# ;8 y el momento conjugado
:" :# :8 . Esta es una ecuacin en la cual la variable que depende de W
est ausente, vemos que las ecuaciones caractersticas estn dadas por
" `L`:" `L`:8 a`L`;" b a`L`;8 b
.> .;" .;8 .:" .:8
a#b
es decir, ellas son equivalentes a las ecuaciones Hamiltonianas del
movimiento
.;3 `L
.> `:3
.:3
.> `;3
`L
3 " # 8 a$b
Una forma modificada de la ecuacin a"b se obtiene escribiendo
W [ > W"
entonces hallamos que
L ;" ;# ;8 `W
`;" `;8 [
" `W"
a%b
Suponiendo, por ejemplo, que un sistema con segundo orden de libertad,
tiene Hamiltoniano
a&b
T :B# U;C#
L #a\] b \]
0 (

donde T ,\ ,0 son funciones de solamente B C U ] ( son funciones


solamente de C. Entonces la ecuacin a%b llega a ser
# aT :B U;C b a0 ( b [ a\ ] b !
"

Entonces una de las ecuaciones caractersticas toma la forma


.B .:B
T :B " T w : 0w [ \ w !
# B

tiene por solucin


:B e#a[ \ 0 +bf #
"

donde + es una constante arbitraria. Anlogamente podemos demostrar


que
;C e#a[ ] ( ,bf #
"
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 37

donde , es una constante arbitraria, teniendo la misma propiedad. As


puesto que :B es una funcin de B solamente, y ;C es funcin de C

W [ > ' e#a[ \ 0 +bf # .B ' e#a[ ] ( , bf # .C


solamente, tenemos
" "

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
`> " `B aT Bb H `B# a' b
`T ` ` #T

en el caso particular H ! se tiene la ecuacin diferencial parcial;


`T `T
`> " B `B " T
La interpretacin fsica de las variables en esta ecuacin; T la probabilidad
de que una variable casual tome el valor B en el tiempo >. Por ejemplo 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 B del sonido de una seal
elctrica en un tiempo >. Observamos que la ecuacin a'b es vlida
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 8 bacterias vivas y que
a+b La probabilidad de bacterias moribundas en un tiempo a> > $ >b es .8 $ >
a,b La probabilidad de reproducin bacterial en un tiempo a> > $ >b es -8 $ >
a- b La probabilidad de nmero de bacterias permaneciendo constantes en
un tiempo a> > $ >b es a" -8 $ > .8 $ >b
a. b La probabilidad de que algunas nazcan o mueran ocurriendo en el
tiempo a> > $ >b es cero.
Si suponemos que T8 a>b es la probabilidad de que se tengan 8 bacterias en
un tiempo >, entonces esta suposicin nos lleva a la ecuacin
T8 a> $ >b -8" T8" a>b$ > .8" T8" a>b$ > e" -8 $ > .8 $ >fT8 a>b
la cual es equivalente a
`> -8" T8" a>b .8" T8" a>b a-8 .8 bT8 a>b a) b
`T8

En el caso general -8 .8 dependern de 8 y >; si suponemos que la


posibilidad de la natalidad bacteriolgica es proporcional al nmero
presente, escribimos
a*b
donde - y . son constantes y la ecuacin a)b se reduce a
- 8 8- . 8 8.

`> -a8 "bT8" a>b a- .b8T8 a>b .a8 "bT8" a>b


`T8

y si inducimos una funcin generada FaD >b definida por la relacin


FaD >b ! T8 a>bD 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
F> aD "ba-D .b `D
`F `F

cuya solucin es demostrada por el lector y se tiene


F 0 ."D
-D a-.b>
/ a"!b
de donde se sigue que
0 a0b .-
7
0
0
Por consiguiente en el tiempo >
."/a-.b> D -./a-.b>
F .-/a-.b> -D a"/a-.b> b
T8 a>b es el coeficiente de D 8 en la expansin en serie de potencias de esta
funcin. Si - . entonces F " cuando > _, as que la probabilidad de
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 3 y el voltaje I en cualquier
punto en el cable puede ser completamente determinada por una
coordenada espacial B y un tiempo variable >. Si consideramos la cada de
potencial en un elemento lineal de longitud $B situado en el punto B,
hallamos que
-$ I 3V $ B P$ B `> `3
a"b
donde V es la serie de resistencias por unidad de longitud y P es la
inductancia por unidad de longitud. Si hay una capacitancia a tierra de G
por unidad de longitud y una conductancia K por unidad de longitud
entonces
$ 3 KI $ B G $ B `I a#b
Las relaciones a"b y a#b son equivalentes al par de ecuaciones diferenciales
`>

parciales
`I `3
`B V3 P `> ! a$b
`3 `I
`B KI G `> ! a%b
Diferenciando a$b con respecto a B, obtenemos
` #I `3 ` #3
`B# V `B P `B`> ! a&b
y anlogamente diferenciando a%b con respecto a >, obtenemos
` #3 `I ` #I
`B`> K `> G `># ! a'b
Eliminando `B y `B`> de a%b a&b y a'b se tiene
`3 ` #3

` #3 ` #I
P `B`> PK `I
`> PG `># !
y
` #3 #
P `B`> ``BI# V `B `3
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 39

as
- ``BI# V `B `> +PG `># ! y , `B IK G `>
# #
`3
PK `V ` I `3 `I

por lo tanto
- ``BI# VKI VG `V
#
`I ` #I
`> PK `> PG `># !
lo cual es equivalente a
`> eVG PK f PG `># VKI `B#
`I ` #I ` #I

Hemos as hallado que I satisface la ecuacin diferencial parcial de


segundo orden
`B# PG `># aVG PK b `> VK F a(b
` #F ` #F `F

Anlogamente si diferenciamos a$b con respecto a >, a%b con respecto a B y


eliminamos
`B`> y `B
` #I `I

de la ecuacin restante y a$b hallamos que 3 es tambin una solucin de la


ecuacin a(b
La ecuacin a(b, es llamada la ecuacin telegrfica de Poincar y otros. Si
la corriente que sale de tierra es pequea, se sigue que K y P pueden
tomarse como cero y la ecuacin a(b toma la forma reducida
` #F
`B# O `>
" `F
a )b
donde O aVG b es una constante. Esta ecuacin es llamada ecuacin
"

telegrfica; nos referimos a ella como a la ecuacin uno dimensional de


difusin.
Si miramos a las ecuaciones a$b y a%b, esto es equivalente a tomar K y V
como cero en las ecuaciones a(b en cuyo caso sta se reduce a
` #F " ` #F
`B# - # `># a *b
donde - aPG b # . Esta ecuacin es al mismo tiempo referida, en este
"

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 a)b o a*b, surgidas en electrosttica tiene
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 I fuera de una superficie W limitada a un volumen Z y es %1
veces la carga contenida en Z . As si 3 es la densidad de la carga elctrica,

' I.= %1' 3. 7


tenemos
W Z

' I.= ' .3@I.7


Usando el teorema de Green en la forma

W Z
y recordando que el volumen Z es arbitrario, vemos que la ley de Gauss es
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 I es derivable de una funcin potencial F por la
ecuacin

a""b
I 1<+.F

eliminando I entre las ecuaciones a"!b y a""b, hallamos que F satisface la


ecuacin
f# F %13 ! a"#b
donde hemos escrito f para el operador .3@a1<+. b que en ecuaciones
#

rectangulares cartesianas toma la forma


`# `# `#
`B# `C# `D # a"$b
La ecuacin a"#b es conocida como ecuacin de Poisson. En ausencia de
carga, 3 es cero, y la ecuacin a"#b se reduce a la forma simple
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 F no vara con D ,
hallamos que f# es reemplazado por
f#" `B`# `#
# `C # a"&b
y la ecuacin de LAPLACE llega a ser
f#" F ! a"'b
de la cual surge una ecuacin armnica de segundo orden. El operador de
Laplace f# ? ocurre frecuentemente en fsica matemtica, y en gran
cantidad de problemas es til transformar coordenadas cartesianas B C D a
otro sistema curvilneo ortogonal dado por las ecuaciones
?" ?" aB C D b ?# ?# aB C D b ?$ ?$ aB C D b
a"(b

La transformacin Laplaciana en estas circunstancias se efecta mejor


con ayuda del clculo vectorial que demuestra que en el sistema ?" ?# ?$
?Z 2" 2"# 2$ `?` " 22# 2" $ `?
`Z
"
`?` # 22$ 2# " `?
`Z
#
`?` $ 22" 2$ # `?
`Z
$
a")b
donde
23# `? `? `? a"*b
# # #
`B `C `D
3 3 3
3 " #

6. LAS ECUACIONES DIFERENCIALES PARCIALES EN INGENIERIA

6.1. CONCEPTOS BASICOS:


Una ecuacin diferencial parcial (EDP) para una funcin ?aB C b con
derivadas parciales ?B ,?C ,?BB ,?CC , es una relacin de la forma
J aB C ? ?B ?BC ?CC b ! a"b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 41

donde J es una funcin de las variables B C ? ?B ?C ?BB ?BC ?CC y


adems solamente ocurre un nmero finito de derivadas.
NOTACION : ?B `?`B , ?BC `B`C ,
` #?

Una funcin ?aB C b es una solucin de a"b, si en alguna regin del


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 8, si las derivadas de
mayor orden que ocurren en J son de orden 8. En esta forma las EDP
pueden ser de primer orden, de segundo orden y de orden superior.
Las ecuaciones diferenciales parciales (EDP) se clasifican segn el tipo de
funcin J considerada. En particular tenemos EDP lineales si J es lineal
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 ?B $B# (C & donde B e C son las
variables independientes y ? es la funcin incgnita tiene a
?aB Cb B$ (BC & J aC b por solucin donde J aC b es cualquier funcin
diferenciable en C. As tenemos que ?aB C b B$ (BC & /C
?aB Cb B$ (BC & +#C $# 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.- CONDICIONES DE CAUCHY : Se desean soluciones donde las funciones


desconocidas y posiblemente sus derivadas ?> , donde ! > _ son
predeterminadas en la frontera cuando > !. Este tipo de condiciones son
catalogadas como condiciones iniciales.
2.- CONDICIONES DE DIRICHLET: La funcin incgnita es especificada en cada
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
?BB ?>> , !< B < : , >>!
GJ : ? a! >b X , ?B a: >b !, > > !
GM : ?aB !b 0 aBb, ?> aB !b 1aBb, ! B :
Condiciones de Dirichlet son dadas por GJ cuando B ! y condiciones de
Neumann ocurren en GJ cuando B : y condiciones de Cauchy se tienen
en GM cuando > !.
La ecuacin
EaB Cb?BB F aB C b?BC G aB C b?CC HaB C b?B I aB C b?C J aB C b? K aB C b
es llamada ecuacin diferencial parcial lineal de segundo orden
en dos variables
Cuando KaB Cb !, la ecuacin es llamada EDP lineal homognea de
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
EaB Cb?BB F aB C b?BC G aB C b?CC HaB C b?B I aB C b?C L aB C b? !
a#b
donde E,F ,G ,H,I , y L son los coeficientes de la ecuacin

PRINCIPIO DE SUPERPOSICION DE SOLUCIONES : La ecuacin a#b tiene la


propiedad de que si ?" y ?# son soluciones de a#b , -" ?" -# ?# es solucin
tambin de a#b . Ms general si ?" ,?# , es una sucesin de soluciones de
a#b entonces ! -3 ?3 es tambin solucin de a#b . Esta propiedad puede an
_

3"
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 43

generalizarse para una familia e?- f- de soluciones de a#b indiciada sobre


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 a#b toma la forma
E?BB F?BC G?CC !
donde E,F , y G son constantes. Para tales ecuaciones, podemos siempre
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 =B ?<= =#B ?== <BB ?< =BB ?=
+# ?<< #+-?<= - # ?== ,
?BC +,?<< a+. ,- b?<= -.?== ,
?CC ,# ?<< #,.?<= . # ?==
La sustitucin de estas expresiones en E?BB F?BC G?CC ! tenemos
Ea+# ?<< #+-?<= - # ?== b F a+,?<< a+. ,- b?<= -.?== b
G a,# ?<< #,.?<= . # ?== b !
As tenemos
aE+# F+, G,# b?<< a#-+E F a+. ,- b #.,G b?<= aE- # F-. G. # b?== !
Ahora una eleccin adecuada de + , + y . , puede hacerse de manera que
E+# F+, G, # !, E- # F-. G. # !
Si E !, es posible seleccionar , . x, en cuyo caso
E+# F+ G ! , E- # F- G !
Esto significa que + y - son las soluciones de la ecuacin
E7# F7 G !
Por ejemplo si escogemos
F # %EG F # %EG
+ 7" F #E y - 7# F #E
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 44

en esta forma se recibe que


a#+-E F a+. ,- b #,.G b?<= !
se transforma en
c#7" 7# E F a7" 7# b #G d?<= !
o, dado que
7" 7# F /E y 7" 7# G /E,
se obtiene que
c#G F a-,/+b #G d?<= !
de donde
E c%EG F d?<= !
" #

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

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# %EG ! . La ecuacin cuadrtica ser 7# #7 " ! cuyas races
son 7" 7# ". La solucin general ser dada por
?aB Cb J aB C b BKaB C 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 de separacin de variables y el cual pasamos
a describir a continuacin:

6.5. METODO DE SEPARACION DE VARIABLES: Nos permite determinar la


solucin de una EDPL bajo el supuesto de que ?aB Cb \ aBb] aCb es una
solucin que en adelante se llamar solucin de prueba lo cual permite
la obtencin de uno o ms problemas de Sturm-Liuoville los cuales
conducen a la determinacin de \ e ] y por lo tanto de ?aB C b. Ilustramos
el mtodo resolviendo la siguiente ecuacin:
`> , 5 > ! ; ?a! >b !, ?aP >b !
#
5 ``B?# `?
SOLUCION: Si ? \X , podemos escribir la ecuacin dada como
\ ww Xw #
\ 5X -
lo que conduce al siguiente sistema
\ ww -# \ ! , X w 5 -# X !
cuyas soluciones son
\ -" cos-B -# sin-B , X -$ /5 - >
#

Ahora bien, puesto que ?a! >b \ a!bX a>b !, ?aP >b \ aPbX a>b !
debemos tener \ a!b ! y \ aPb !. Estas son condiciones de frontera
para el sistema \ ww -# \ ! , X w 5 -# !. ( Para \ se tiene segn el
mtodo de Sturm-Liouville que
\ ww -# \ ! , \ a!b \ aPb !
tiene por solucin \ -" cos-B -# sin-B ). Aplicando la primera de estas
condiciones resulta -" !. Por lo tanto \ -# sin-B.
Ahora, la segunda condicin de frontera implica que
\ aPb -# sin-P !
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
- 81 - 8 P1 , 8 " # $
Por consiguiente
? a-# sin-Bb /5 - > E8 /5 8 1 P > sin 8P1 B
# # # #

satisface la ecuacin dada y ambas condiciones adicionales. El coeficiente


-# -$ se reescribe como E8 para enfatizar el hecho de que se obtiene una
solucin diferente para cada 8.

EJEMPLO 2: Hallar la solucin de la ecuacin


` `?
3aBb?>> `B :aBb `B ; aBb? a"b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 46

en donde 3aBb, :aBb y ; aBb son funciones suficientes suaves y tales que
3aBb !, :aBb > ! , ; aBb !, bajo las condiciones
!?a! >b " ?B a! >b !
GJ :
# ?a" >b $ ?B a" >b !
GM : ?aB !b :! aBb ?> aB !b :" aBb , !B"
SOLUCION: Para hallar soluciones no triviales, supngase que ? toma la
forma de producto
?aB >b X a>b\ aBb
Reemplazando ? por su valor en a"b obtenemos
.
3 aBbX ww a>b\ aBb X a>b .B :aBb .\
.B ; aBbX a>b\ aBb
o bien
. .\
.B :aBb .B ; aBb\ aBb X ww a>b
3aBb\ aBb X a>b -
siendo - cierta constante. De aqu resulta que
. .\
.B :aBb .> -3aBb ; aBb\ !
X ww a>b -X a>b !
Puesto que X a>b ! entonces ? X \ satisface la condicin GJ si y slo
si
!\ a!b " \ w a!b ! , , # \ a"b $ \ w a"b !
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 -" <-# < -8 < y las
correspondientes funciones propias \" aBb,\# aBb,
a#b En el intervalo c! "d las funciones propias son 3aBb ortogonales, esto

'!" 3aBb\8 aBb\7 aBb !


es,

Resolvemos ahora para cada valor propio -8 la ecuacin


X ww a>b -8 X a>b !
La solucin general es de la forma
X8 a>b E8 cos-8 > F8 sin-8 >
siendo E8 y F8 constantes arbitrarias
As, hemos obtenido un conjunto infinito de soluciones de la ecuacin a"b
del tipo
?8 aB >b X8 a>b\8 aBb E8 cos-8 > F8 sin-8 >\8 aBb 8 " # $
Por el principio de superposicin de soluciones se obtiene
?aB >b ! E8 cos-8 > F8 sin-8 >\8 aBb a#b
_

8"
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
?aB !b ! E8 \8 aBb :! aBb ?> aB !b ! -8 F8 \8 aBb :" aBb
_ _

8" 8"
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 47

Para obtener los coeficientes E8 y F8 multiplicamos los miembros de las


igualdades anteriores por 3 aBb\8 aBb y luego integrando con respecto a B

E8 '! 3aBb:! aBb\8 aBb.B F8 "- '! 3aBb:" aBb\8 aBb.B


en el intervalo ! a ", obtenemos
" "

Reemplazando en a#b los valores que hemos hallado para los coeficientes,
8

obtenemos la solucin de nuestro problema

NOTA : En los clculos de E8 y F8 hemos supuesto que las funciones


propias son ortonormales, es decir que \8 aBb \8 aBb ".

6.6. OTROS METODOS DE SOLUCION PARA EDPH.


Consideremos el caso unidimensional del calor donde la distribucin de
la temperatura en B ! se mantiene en X" ! mientras que la
temperatura en B : es X# ! donde X" y X# son constantes (X" X# ), se
plantea entonces un problema de EDP del siguiente tipo:
?BB +# ?> , ! < B < : , > > !
GJ : ?a! >b X" , ?a: >b X# , > > !
GM : ?aB !b = 0 aBb , !<B<:
Como X" X# , X" !, X# ! el mtodo de separacin de variables no
funciona. Para obviar esta situacin se conjetura que la distribucin de la
temperatura a lo largo de la barra ser tal que
lim ?aB >b =aBb
donde =aBb es una funcin independiente del tiempo. Basados en esta
>_

conjetura vemos que es posible que la distribucin de la temperatura


?aB >b pueda ser expresada como una suma de funciones de la forma
?aB >b =aBb @aB >b
donde @aB >b es una funcin que se va acabando cuando el tiempo crece.
Nos referimos a @aB >b como a la solucin TRANSITORIA mientras que =aBb
es llamada ESTADO ESTABLE o solucin de equilibrio. En esta forma
?BB =ww @BB ?> @BB
por lo tanto se tendra
=ww @BB +# @> , ! B : , > !
GJ : =a!b @a! >b X" , =a:b @a: >b X#
GM : =aBb @aB !b 0 aBb , ! B :
Pasando al lmite cuando > _, vemos que
@aB >b !, @> aB >b ! , para todo B
entonces obtenemos el problema de Ecuaciones diferenciales ordinarias
(EDO) para el estado estable
=ww ! =a!b X" =a:b X#
Por integracin sucesiva obtenemos que
=aBb -" B -# , = a!b X" , =a:b X#
as
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 48

X" -# , =a:b X# -" : -# X" X# -:


luego
-" X# X
: -# X"
"

En esta forma para el estado estable tenemos


=aBb X# X
: B X"
"

Ahora para el estado transitorio se plantea el siguiente problema de EDP


@BB +# @> , !B:,>!
GJ : X" @a! >b X" , X# X
: : X" @ a: >b X#
"

: B X" @aB !b 0 aBb


GM : X# X "

Por lo tanto vemos que @aB >b es solucin de un problema del calor
unidimensional homogneo, el cual se puede resolver por el mtodo de
separacin de variables, dado por
@BB +# @> , !B:,
GJ : @a! >b ! , @a: >b ! ,
>!

GM : @aB !b 0 aBb X" aX# X" b : , ! 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
?BB +# ?> ; aB >b, ! B : , > !
F" ? +"" ?a! >b +"# ?B a! >b ! a>b, > !
GJ :
F# ? +#" ? a: >b +## ?B a: >b " a>b
GM : ?aB !b 0 aBb ,
donde ; aB >b es proporcional al origen de la fuente del calor. Para resolver
!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
; aB > b :aBb
Si las condiciones de frontera son tambin independientes del tiempo, es
decir si
F" ? X" F# ? X#
donde X" y X# son constantes, entonces el problema es formalizado por
?BB +# ?> :aBb , ! B : , > !
GJ : F" ? X" , F# ? X# , > ! a"b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 49

GM : ?aB !b 0 aBb , !B:


Para hallar la solucin, usamos la misma conjetura formulada en 6.6,
afirmando que ? puede ser expresada como la suma
?aB >b =aBb @aB >b
donde =aBb denota la solucin estable y @aB >b es la solucin transitoria. La
sustitucin en a"b nos conduce a
=ww @aB >b +# @> :aBb , ! B :, > !
GJ : F" = F" @ X" , F# = F# @ X# , > !
GM : =aBb @aB !b 0 aBb
de donde se deduce que =aBb es una solucin del problema de EDO
!B:

=ww :aBb F" = X" F# = X#


y @aB >b satisface el problema de EDPH
@BB +# @> , ! B : , > !
GJ : F" @ ! , F# @ !, > !
GM : @aB !b 0 aBb =aBb , ! B :
entonces ?aB >b =aBb @aB >b es la solucin verdadera del problema
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
?BB +# ?> ; aB >b , ! B : , > !
5 ?a! >b 5# ?B a! >b !
GJ : "
6" ?a: >b 6# ?B a: >b !
GM : ?aB !b 0 aBb , ! B :
Por el mtodo de separacin de variables se halla la solucin de la
ecuacin homognea
?BB +# ?>
suponiendo como es conocido que ?aB >b J aBbKa>b es la forma de la
solucin, de aqu se deduce que J aBb satisface al problema S-L siguiente

5 " J a !b 5 # J w a ! b !
J ww -J !
a"b
6" J a:b 6# J w a:b !
Del estudio de los problemas de Sturm-Lioville se deduce la obtencin
del conjunto de valores propios e-8 f_ 8" y un conjunto e98 f8" de
_
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 50

funciones propias ortogonales en el intervalo ! B :, y tales que


98ww -8 98 , 8 " # . Como en el caso de variacin del parmetro
afirmamos que
?aB >b ! I8 a>b98 aBb
_

8"
es solucin de prueba para
?BB +# ?> ; aB >b
donde las funciones de >, I8 a>b deben ser determinadas, as
?> aB >b ! I8w a>b98 aBb
_

8"
y
?BB aB >b ! I8 a>b98ww aBb ! -8 I8 a>b98 aBb
_ _

8" 8"
Por otra parte la ecuacin dada toma la forma
+# ; aB >b ?> +# ?BB
y sustituyendo obtenemos
+# ; aB >b ! I8w a>b98 aBb ! +# -8 I8 a>b98 aBb
_ _

+# ; aB >b ! cI8w a>b +# -8 I8 a>bd98 aBb


8" 8"

a#b
_

Para un > fijo, podemos interpretar a#b como un desarrollo generalizado


8"

de Fourier de +# ; aB >b, cuyos coeficientes estarn dados por


I8w a>b +# -8 I8 a>b +# l98 l# '! ; aB >b98 aBb.B a$b
:

donde
l98 l# '! c98 aBbd# .B, 8 ",#,$,
:

U8 a>b l98 l# '! ; aB >b98 aBb.B, 8 ",#,$,


Denotemos con
:

Entonces la ecuacin
I8w a>b +# -8 I8 a>b +# U8 a>b
es una ecuacin diferencial lineal de primer orden cuya solucin es dada

I8 a>b -8 +# '! /+ -8 7 U8 a7 b. 7 /+ -8 > , 8 ",#,$,


por
> # #

(suponiendo -8 ! , 8 ",#, ) donde los -8 son constantes arbitrarias.


Finalmente, al sustituir I8 a>b obtenemos la solucin formal
?aB >b ! -8 +# '! /+ -8 7 U8 a7 b. 7 98 aBb/+ -8 >
_ > # #

8"
Las constantes -8 , 8 ",#, son determinadas haciendo uso de la
condicin inicial aGM b, as
?aB !b 0 aBb ! -8 98 aBb
_

8"

-8 l98 aBbl# '! 0 aBb98 aBb.B , 8 ",#,$,


y por consiguiente
:
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 51

EJERCICIOS

". Verificar que las siguientes funciones son soluciones de la ecuacin de


Laplace ?BB ?CC !
+) ? #BC ,) ? B$ $BC # - ) ? /B sinC
. ) ? sin Bsin C /) ? arctanaCBb 0 ) ? B% 'B# C # C %
#. Demostrar que ? "B# C # D # es solucin de la ecuacin

3. Verificar que ?aB Cb +lnaB# C # b , satisface la ecuacin de Laplace


?BB ?CC ?DD !

?BB ?CC ! y determinar + y , de manera que ? satisfaga las condiciones


de frontera ? ! sobre el crculo B# C# " y ? & sobre el crculo
B# C # *.
%. Verificar que las siguientes funciones son soluciones de la ecuacin
?> - # ?BB , determinando en cada caso el valor de la constante - #
+) ? /#> cos B ,) ? /> sin $B - ) ? /%> cos:B
5. Verificar que las siguientes funciones son soluciones de la ecuacin
?>> - # ?BB , determinando en cada caso el valor de la constante - #
+) ? B# %># ,) ? B$ $B># - ) ? sin :-> sin :B
'. Demostrar que ?aB >b @aB ->b AaB ->b , donde @ y A son funciones
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 ? ?aB C b
+) ?BB %? ! ,) ?C #C? ! - ) ?B #BC?
. ) ?BC ! /) ?BC ?B 0 ) ?BC ?B !
8. Resuelva las siguientes ecuaciones diferenciales parciales
+) ?B C ! ,) ?C #BC - ) ?C #? /C
. ) ?BB )BC # " /) ?CC sinBC ! 0 ) ?BC "
1) ?BC #B %C 3) ?BC ?C 'B/ 4) ?BC #C?B %BC
B

5 ) ?CC B ? B/
# %C
6) ?BB C # ? C sin#B
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 ? / B?B C?C 0 C?B B?C !
1 ?BB ?BC ?CC ! 2 C?BC ? ! 3 ?BB ?CC !
4 5?BB ? ?> ,5 ! 5 5?BB ?> 5 ! 6 +# ?BB ?>>
7 +# ?BB ?>> #5?> , 5 >! 8 B# ?BB ?CC ! 9 ?BB ?CC ?
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 52

: +# ?BB ?CC ? ; +# ?BB 1? ?>> , 1 es constante.


10. Resuelva las ecuaciones dadas sujetas a las condiciones indicadas.
+ ?BB 'B ; ?a! C b C , ?a" C b C # "
, C?CC ?C ! ; ?aB "b B# , ?aB /b ".
11. Obtenga la ecuacin unidimensional de onda.
12. Halle la solucin del problema siguiente
` #? # ` #?
`># - `B# !<B<"
GJ : ?a! >b ! , ? a" >b ! para todo t
GM : ?aB !b 0 aBb , ?> aB !b !
13. Halle la solucin del flujo unidimensional de calor dado por el
problema
`? # ` #?
`> - `B# !<B<"
GJ : ?a! >b ! , ?a" >b ! para toda t
GM : ?aB !b 0 aBb
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#
` #? # ` #? ` #?

GJ : ? ! sobre la frontera de la membrana para toda > !


GM : ?aB C !b 0 aB C b , `?
`> 1aB C b.
>!

Halle la solucin a los siguientes problemas


17) ?BB +# ?> , ! < B < ", > > !
GJ : ?a! >b ! , ?a" >b !
GM : ?aB !b $sin 1B &sin %1B
18) ?BB +# ?> , ! < B < :, > > !
GJ : ?a! >b ! , ?a: >b !
GM : ?aB !b B a: Bb
19) ?BB +# ?> , ! < B < "! , > > !
GJ : ?a! >b "!, ?a"! >b $! , > > !
GM : ?aB !b !, ! < B < "!
20) ?BB +# ?> , ! < B < " , > !
GJ : ?a! >b X" , ?a" >b ?B a" >b X# , > > !
GM : ?aB !b X" , ! B !.
21) ?BB =+# ?> , ! < B < ", > > !
GJ : ?a! >b ", ? a" >b !
GM : ? aB !b X!
22) ?BB =+# ?> , ! < B < # , > > !
GJ : ?a! >b X" , ?a# >b X#
GM : ?aB !b X!
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 53

23) ?BB =+# ?> , ! < B < : , > > !


GJ : ?B a! >b ! , ?B a: >b !
GM : ?aB !b X! sin# a1B:b
24) ?BB =+# ?> , ! < B < :, > > !
GJ : ?B a! >b !, ?a: >b X!
GM : ?aB !b X!
25) ?BB =+# ?> , ! < B < ", > > !
GJ : ?a! >b X! , ?a" >b X!
GM : ?aB !b X! Ba" Bb
26) ?BB =+# ?> , ! < B < ", > > !
GJ : ?a! >b X" , ?B a" >b !
GM : ?aB !b B
27) ?BB =+# ?> , 1 < B <1 , > > !
GJ : ?a 1 >b ?a1 >b , ?B a 1 >b ?B a1 >b
GM : ?aB !b |B|.
28) ?BB =+# ?> ", !<B<", ><!
GJ : ?a! >b !, ?a" >b !
GM : ?aB !b B#
29) ?BB ?> E, ! < B < :, > > ! (E constante)
GJ :?aB !b X" , ?a" >b X" ( X" constante)
GM :?aB !b X! ( X! constante).
30) ?BB +# ?> 'B, ! < B < ", > > !
GJ : ?B a! >b !, ?a" >b !
GM : ?aB !b /B ".
31) ?BB +# ?> +cosA>, ! < B < 1, > !
GJ : ?B a! >b !, ?B a1 >b !
GM : ?aB !b !
32) ?BB ?> /> , ! < B < ", > > !
GJ : ?B a! >b !, ?B a" >b !
GM : ?aB !b !.
33) ?BB ?> E/,B , ! B <", > > ! ( E,, son constantes)
GJ : ?a! >b !, ?a" >b !
GM : ?aB !b " /,B ,E# .
34) ?BB - # ?>> , ! < > < ", > > !
GJ : ?a! >b !, ?a" >b !
GM : ?aB !b ! , ?> aB !b @! ( @! constante)
35) ?BB = - # ?>> , ! < > <1 , > > !
GJ : ?B a! >b !, ?B a1 >b !
GM : ?aB !b " #cos $B , ?> aB !b &cos #B
36) ?BB = - # ?>> , ! < > < ", > > !
GJ : ?a! >b !, ?a" >b !
GM : ?aB !b Ba" Bb , ?> aB !b !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 54

37) ?BB = - # ?>> T sin A> , ! < > <1 , > !


GJ : ?a! >b !, ?a" >b !
GM : ?aB !b ! , ?> aB !b !
38) ?BB +# ?> , !<B<_, >>!
GJ : ?a! >b !, ?aB >b ! cuando B _, > !
GM : ?aB !b 0 aBb , ! < B < _
39) ?BB +# ?> , _ < B <_ , > > !
GJ : ?aB >b ! , ?B aB >b ! cuando |B| _, > > !
GM : ?aB !b 0 aBb, _ < B < _
40) ?BB +# ?> ; aB >b , _ < B < _ , > > !
GJ : ?aB >b !, ?B aB >b ! cuando |B| _, > > !
GM : ?aB !b 0 aBb, _ < B _
41) ?BB ?CC - # ?>> , ! < B < +, ! < C < ,
?a! C >b ! ?a+ C >b ! ?aB C !b B C
GJ : , GM
?C aB ! >b ! ?C aB , >b ! ?> aB C !b !
42) ?BB ?CC + ?> , ! < B <1 , ! < C <1 , > > !
#

?a! C >b ! ?B a1 C >b !


GJ :
?C aB ! >b ! ?aB 1 >b !
GM : ?aB C !b B C
43) ?BB ?CC ?> , ! < B < ", ! < C < 1
?a! C >b ?B a" C >b !
GJ :
?aB ! >b ! ?C aB 1 >b !
GM : ?aB C !b BC .
44) Hallar la solucin del problema siguiente:
?BB ?>> , ! < B < _, > > !
GJ : ?B a! >b !, ?aB >b !, cuando B _
GM : ?aB !b /B , ?> aB !b !.
45) Hallar la solucin del problema siguiente:
?BB ?>> , ! < B < " , > > !
GJ : ?a! >b !, ?a" >b !, > > !
GM : ?aB !b B a" Bb , ?> aB !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 :aB C b entonces se tiene :


B = <cos), C = <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 B, se tiene
?BB = a?< <B b B + a?) )B bB
= a?< b B <B + ?< <BB + a?) bB )B + ?) )BB
= a?<< <B +?<) )B b <B ?< <BB a?)< <B +?)) )B b )B ?) )BB
As,
?<< ?<< <B# + #?<) )B <B + ?< <BB + ?)) ) # + ?) )BB a"b
Ahora para determinar <B y )B se tiene que
< B# C # y ) = arctan aCBb
entonces
CB#
<B = B#BC# = B< , )B = "aCBb# <C#
<BB = <B< = "< B<$ = C<$ , ) BB = C a #<$ b<B =
# #
#BC

Sustituyendo en a"b se obtiene


B
<# <%

?BB = B<# ?<< # BC


<$ ?<) + <% ?)) + <$ ?< + # <% ?)
C# C#
# BC

De manera semejante se obtiene


?CC = C<# ?<< + # BC<$ ?<) + <% ?)) + <$ ?< # <% ?)
#
B# B# BC

Sumando se obtiene el Laplaciano en coordenadas polares


f# ? = ``<?# + <" `?
`< + <# ` )#
#
" ` #?

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

7.2. MEMBRANA CIRCULAR: Consideremos las vibraciones de una

membrana circular la cual se ha fijado a lo largo de la frontera < = V. En


ese caso tenemos el siguiente problema: Hallar la solucin del problema
`># - `<# < `<
` #? # ` #? " `?

GJ : ?aV >b !
GM : ?a< !b 0 a<b , ?> a< !b 1a<b
PRIMER PASO: Por el mtodo de Fourier se supone que
?a< >b [ a<bKa<b
es la solucin de prueba, entonces
" w

K ww "
-#K [ [ < [ 5#
Esto proporciona las dos ecuaciones lineales ordinarias

K 5 # - # K ! [ ww "< [ w 5 # [ !
SEGUNDO PASO: Introduciendo la nueva variable = = 5< se tiene "< = 5= por la
regla de la cadena
.< .= .< .= 5 y [ .=# 5
.#[ #
[ w .[ .[ .= .[ ww

Sustituyendo y omitiendo el factor comn 5 # , se obtiene:


.#[ " .[
.=# = .= [ !
Esta es la Ecuacin de Bessel , con @ = ! . La solucin general es
[ -" N! a=b -# ]! a=b
donde N! y ]! son funciones de Bessel dadas por
N! =! ! a" b7 =#7
]! = N! a=bln = + ! a"#7b 2#7 =#7
_ _ 7"
# ,
# a7xb
#7 # a7xb
7! 7"
donde 27 = "+ # + $ ++ 7"
" "
. Como la deformacin de la membrana
siempre es finita y como lim]! a=b _ no puede usarse ]! y debe elegirse
=!
-# !. Si se desean soluciones no triviales, -" ! puede tomarse -" "
entonces [ a<b =N! a=b = N! a5=b .
Por GJ , se tiene ?aV >b [ aV bKa>b = ! . Si Ka>b = ! entonces ?a< >b = !.
Si Ka>b ! entonces [ aV b = ! o sea N! a5V b = ! esto es 5V = !7 ,
7 ",#,$, o bien 5 = 57 = !V7 , 7 = ",#,$ . De aqu que
[7 N! a57 <b N! !V7 <
son las soluciones que se anulan en < V . Las soluciones generales de
Ka>b son
K7 a>b = +7 cos-7 > ,7 sin-7 > .
De aqu que las funciones
?7 a< >b = a+7 cos-7 > + ,7 sin-7 >bN! a57 >b
son las funciones propias de la onda circular, donde -7 -57 .
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 57

TERCER PASO : Por el principio de superposicin de soluciones tenemos que


?a< >b = ! a+7 cos-7 > ,7 sin-7 >b N! !7 <
_
V
7"
Haciendo > = ! y usando GM tenemos
?a< !b ! +7 N! !V7 < = 0 a<b
_

Ya hemos mostrado que la coleccin eN! a57 <bf es un conjunto <-


7"

ortogonal en el intervalo ! V por lo tanto 0 a<b est desarrollado en serie

+7 = 0 a<bN! a57 <#b = # ## ' <0 a<bN! !V7 <.<


generalizada de Fourier Bessel por lo tanto
V
lN! a57 <b l V N" a!7 b !
Ahora derivando con respecto a > tenemos
?> a< >b = ! a +7 -7 sin-7 > ,7 -7 cos-7 >bN! !7 <
_
V
7!
por GM tenemos
?> a< >b = 1a>b = ! ,7 -7 N! !V7 <
_

7"

,7 -7 V# N# # a!7 b '! <1a<bN! !V7 <.<.


de donde se obtiene que
_
!

7.3. EL POTENCIAL. EL LAPLACIANO EN COORDENADAS ESFRICAS


Las coordenadas esfricas estan dadas por:
B = 3 cos) sin9, C = 3 sin) sin9, D = 3 cos9

Si < 3 sin9 entonces B <cos) , C <sin) , 3 <# D #


En esta forma 9 +<- -9> D< . Se puede mostrar que en coordenadas
cilndricas el Laplaciano est dado por
f# ? = ?<< + "< ?< + <"# ?)) + ?DD
A partir de esto obtengamos el Laplaciano en coordenadas esfricas,
primero
3D = 3D , 9D = <#<
D # = 3#
<

Derivando nuevamente
3DD = 3D = 3 3D = 3< #
# # #
3D
3# #

9DD = #<3D
3$ = #D<
3%
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 58

Anlogamente
3< = <
3 , 3<< = 3<3<
3# = 3$ = 3$
3# <# D#

9< = D
<# D # = D
3# , 9<< = #D 33<
3% = #D
3$
3<
= #D<
3%
Ahora
?< = ?3 3< + ?9 9< = ?3 3< + ?9 3D#
?<< = a?33 3< ?39 9< b3< ?3 3<< + a?93 3< ?99 9< b9< + ?9 9<<
= ?33 3<# + #?39 9< 3< + ?3 3<< + ?99 9<# + ?9 9<<
As
?<< = ?33 3< # + #<D 3$ ?39 + 3$ ?3 + 3% ?99 3% ?9
# # #
D D #<D

Derivando con D se tiene ?D = ?3 3D + ?9 9D


?DD = a?33 3D + ?39 9D b3D + ?3 3DD + a?93 3D + ?99 9D b9D + ?9 9DD
= ?33 3D # # D<
3$ ?39 + 3$ ?3 + 3% ?99 + 3% ?9
#
<# <# #D<

Sumando ?<< con ?DD tenemos


?<< + ?DD = ?33 < 3D # + 3$ ?3 +
# #
<# D # <# D #
3% ?99
= ?33 + 3 ?3 + 3# ?99
" "

< ?< 3 ?3 + 3# ?9 <


" " " D

As ;
f# ? = ?<< + "< ?< + <"# ?)) + ?DD ?33 3# ?3 3"# ?99 3# sin "
# 9 ?))
cot9
3 # ?9
Luego
f# ? = 3"# ``3 3# `?` 3 sin9 ` 9 sin9 ` 9 sin# 9 ` )#
" ` `? " ` #?

7.4. POTENCIAL ELECTRICO EN UNA ESFERA: Supongamos la distribucin de un


potencial elctrico fijo ?aV ) 9b sobre una esfera W de radio V donde <,
) ,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 sin9 ` 9 !
" ` `?

GM : lim ? aV < 9b !
?aV 9b = 0 a9b
<_
GM :

Por el mtodo de Fourier supongamos que ?a< 9b = Ka<bL a9b es la


solucin de prueba por lo tanto K y L deben ser tales que
" . # .K
K .< < .< L sin9 . 9 sin9 . 9
" . .L
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 59

Entonces existe una constante 5 tal que


" . # .K
. 9 sin9 . 9 5
" . .L
K .< < .< 5 L sin9
de modo que
" . # .K
" .
sin9 . 9 sin9 .L
. 9 5L ! K .< < .< 5
La ltima ecuacin toma la forma
<# Kww + #<Kw 5K = !
Esta es una ecuacin de Euler-Cauchy y tiene por solucin de prueba a
Ka<b = <! y estas soluciones son particularmente simples si se toma
5 8a8 "b en ese caso
<# Kww + #<Kw 8a8 "bK = !
tenindose
c ! a ! " b # ! 8 a8 " b d < ! !
de donde ! 8, y, ! 8 "
De aqu se obtienen las soluciones
K8 a<b <8 y K8 a<b = <8" "

Para la ecuacin diferencial de L tenemos


sin9 . 9 sin9 . 9 8a8 "bL = !
" . .L

haciendo [ = cos9 se tiene sin# 9 = " [ # y como


. 9 = .[ . 9 = sin9 .[
. . .[ .

tenemos,
.[ ca" [ bd .[ # + 8a8 "bL = !
. # .#L

o bien,
a" [ # b .[
.#L
# #[ .[ + 8a8 "bL = !
.L

Esta es la ecuacin de Legendre y tiene por solucin a los polinomios de


Legendre
L = :8 a[ b = :8 acos9b 8 = !,",#,
De donde se obtiene la solucin del problema
?8 a< 9b = E8 <8 :8 acos9b , ?8 a< 9b = <F8"
8
:8 acos9b
donde 8 = !,",#, y E8 , F8 son constantes. Por el principio de
superposicin de soluciones se obtienen las llamadas: solucin interna y
la solucin externa dadas por
?M a< 9b = ! E8 <8 :8 acos9b , ?I a< 9b = ! F8" :8 acos9b
_ _
8
<
8! 8"
Por las condicin GM se determinan las constantes
?M aV 9b ! E8 V 8 :8 acos9b =0 a9b, ?I aV 9b ! VF8" :8 acos9b 0 a9b
_ _
8

Como e:8 acos9bf es un conjunto ortogonal entonces


8! 8"

E8 V 8 = #8" '"" 0 a[ b:8 a[ b.[ , VF8"8 = #8" '"" ~0 a[ b :8 a[ b.[


donde 0 a[ b 0 acos9b . Ya que .[ sin9. 9 y los lmites de integracin
# #
~
" y " corresponden a 9 1 y 9 !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 60

E8 = #8"
#V 8
'!1 0 a9b :8 acos9bsin9.9,

'!1 0 a9b:8 acos9bsin9.9


y
V 8" a#8"b
F8 # <V

7.5. LINEAS DE TRANSMISION: Se considera el flujo elctrico en un par de


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 la fuente E hasta el


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

Las ecuaciones
3 IK G/
/B 3V P3>
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 B, obteniendo
` ` /
# = K `B + G `> `B
` #3 `/
`B
Sustituyendo el valor de ``B/ se tiene
`B# = PG `># + aPK VG b `> + VK3 a$b
` #3 ` #/ `3

Anlogamente se obtiene la ecuacin para la corriente


`B# = PG `># + aPK VG b `> VK/ a%b
` #/ ` #/ `/

Las ecuaciones a$b y a%b se conocen como las ecuaciones del telfono.
En muchas aplicaciones para las seales telegrficas, la dispersin K es
pequea y el trmino debido a la inductancia P es despreciable, de modo
que se puede suponer K P !. Las ecuaciones toman, en este caso, la
forma simplificada

` #/ a&b
` #3 `3
`B# VG `>
`/
`B # VG `>
estas ecuaciones se conocen como las ecuaciones de los telegrafistas o
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# PG `>#
` #/
`B# PG `>#
Haciendo @ = "PG se ve en este caso que tanto la corriente como la
diferencia de potencial entre las lneas satisfacen la ecuacin de onda
undimensional
?BB = @# ?>>

******

EJERCICIOS

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


lim ?a< >b es finito
GJ :
?a< 1b ?a< 1b , ?) a< 1b ?) a< 1b
<!

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

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

GM : ?a3 ) b = |)|, 1 ) 1
5. Hallar la solucin del siguiente problema
` # `?
`< < `< + sin9 ` 9 sin9 ` 9 !
" ` `?

GJ : lim ?a< 9b = !
GM : ?a" 9b = ".
<_

6. Hallar la solucin del siguiente problema


` # `?
`< < `< + sin9 ` 9 sin9 ` 9 !
" ` `?

GJ : lim ?a< 9b !
GM : ?a" 9b = cos9.
<_

7. Hallar la solucin del siguiente problema


` # `?
`< < `< + sin9 ` 9 sin9 ` 9 !
" ` `?

GJ : lim ?a<9b = !
GM : ?a" b = cos# 9.
<_

8. Hallar la solucin del siguiente problema


` # `?
`< < `< + sin9 ` 9 sin9 ` 9 !
" ` `?

GJ : lim ?a<9b = !
GM : ?a" b = cos$ 9.
<_

9. Hallar la solucin del siguiente problema


` # `?
`< < `< + sin9 ` 9 sin9 ` 9 !
" ` `?

GJ : lim ?a<9b = !
GM : ?a" b = cos #9.
<_

10. Hallar la solucin del siguiente problema


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

` # `?
`< < `< + sin9 ` 9 sin9 ` 9
" ` `?
!
GJ : lim ?a<9b = !
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 Y! > ! en la cara B = !. Hallar la temperatura de cualquier
punto del slido en cualquier tiempo posterior > !.

`? 5 ` # ? B ! > !
R/ Se reduce a la solucin del problema

?aB !b ! ?a! >b Y!


`> `B#

l?aB >bl Q
12. Una barra de longitud 6 est a temperatura constante Y! . Cuando
> !, al extremo B 6 se le aplica sbitamente una temperatura
constante Y , y al extremo B ! se le aisla. Suponiendo que la superficie
de la barra est aislada, hallar la temperatura de cualquier punto B de la
barra en cualquier tiempo > !.

`? 5 ` # ? B ! > !
V Muestre que se llega al siguiente problema

?aB !b Y!
`> `B#

?B a! >b ! ?a6 >b Y"


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

V ] aB >b es el desplazamiento dado por el problema


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



`># + `B# B ! > !
` #] # ` #]

] aB !b ! ]> aB !b !

] a! >b E! sinA>
l] aB >bl Q
14. Una cuerda tensa elstica y flexible tiene fijos sus extremos en B !
y B 6 . Al tiempo > ! se le da a la cuerda la forma definida por
J aBb .Ba6 Bb , donde . es una constante, y luego se le suelta. Hallar
el desplazamiento de cualquier punto B de la cuerda en cualquier
tiempo > !.


V Llegue al problema

`># + `B# B ! > !
` #] # ` #]

] a! >b ! ] a6 >b !

] aB !b .Ba6 Bb
]> aB !b !
15. Una viga de longitud 6 cuyo extremo B ! est fijo, como se
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 B de la viga en cualquier tiempo > !.


V El anlisis fsico lleva al problema

`># - `B# ! B 6 > !
` #] # ` #]

] a! >b ! ] a6 >b !

]> aB !b ! ] a! >b !
]B a6 >b J! I
16. Una linea de transmisin de inductancia y conductancia por unidad de
longitud despreciables tiene un voltaje en su extremo emisor, B !, dado
por
I a! >b = !
I !>X
! >X
Hallar el voltaje I aB >b y la corriente M aB >b sobre cualquier punto B > ! en
cualquier punto > > !.
17. a+b Resolver el problema con valores de frontera
`> 5 `B# B > !, > > !
`Y ` #Y

Y aB !b = Y! , YB a! >b !Y a! >b , |Y aB >b | < Q


a,b Dar una interpretacin del problema en tminos de flujos calricos.
18. Una cuerda tensa y flexible tiene sus extremos sobre el eje B en los
puntos B ! y B ". En el tiempo > ! se somete a la cuerda a que
tome la forma definida por J aBb, ! B " y se le deja libre. Hallar el
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 65

desplazamiento en cualquier punto B de la cuerda en cualquier


tiempo > !.
19. Un cilindro circular infinitamente largo y de radio unidad tiene una
temperatura inicial constante X . En > = ! se le aplica y se le mantiene
una temperatura de !!G en su superficie. Hallar la temperatura de
cualquier punto del cilindro en cualquier tiempo posterior >.
20. Una barra aislada semi-infinita que coincide con la parte positiva del
eje B est inicialmente a temperatura cero. En >=! se genera
instantneamente una cantidad de calor en el punto B +, donde + > ! .
Hallar la temperatura de cualquier punto de la barra en cualquier
tiempo > !.
21. Una placa semi-infinita de espesor 1 tiene aisladas sus caras. Los
bordes semi-infinitos se mantienen a !!G en tanto que el borde finito se
mantiene a "!!!G . Suponiendo que la temperatura inicial es de !!G , hallar
la temperatura de cualquier punto en cualquier tiempo.

8. EXGESIS

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 orden de la derivada de mayor orden es llamado 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 solucin de una E.D.P de
orden 8 en alguna regin H, si es una funcin que admite 8 derivadas
parciales y satisface a la E.D.P dada, en todas sus variables.
4-Cuando se dan condiciones en el borde de la regin H (H se supone
acotada), se dice que la ecuacin est sometida a condiciones de frontera
(GJ ) y cuando se dan condiciones con respecto al parmetro >, en > !
> : se dice que la E.D.P est sometida a condiciones iniciales (GM )
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?" ?# ?8 f
una familia de soluciones de un EDPLH entonces ! E8 ?8 es
_
solucin de
8"
EDPLH donde los E8 , a8 son constantes .
6- La ecuacin ``B?# X3 ``>?# es conocida como la ecuacin unidimensional
# #

de onda. Si se considera el problema


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






` #? 3 ` #?
# X `>#

?a! >b ?a6 >b !


`B

GJ ?a! >b 0 aBb





GM `? 1aBb
`> >!

Su solucin se determina haciendo uso del mtodo de Fourier y se deben


seguir los siguentes pasos:
a+b Suponer que ?aB >b J aBb Ka>b es solucin de prueba y de aqu
obtener un sistema de ecuaciones difereciales ordinarias y de una
constante de proporcionalidad 5 .
a,b Haciendo uso de las C.F se determina 5 y familias e-7 f e?7 aB >bf de
paramtros y funciones, llamadas valores y funciones propias.
a- b Usando el psps se obtiene la solucin ?aB >b ! E8 ?8 aB >b. Haciendo
_

8"
uso de la condicin C.I y mediante el uso de las series de Fourier
(mtodos de medio rango) se obtienen los coeficientes E8 que
determinan la solucin deseada.
7-Solucin de D'Alambert para la ecuacin de onda. Se considera la
ecuacin ``B?# - # ``>?# . Se introduce una transformacin conforme
# #

@ B -> D B ->, usando la regla de la cadena se tiene


?B ?@ ?D ?BB ?@@ #?@D ?DD y ?>> - # a?@@ #?@D ?DD b.
De la EDPLH dada y estos valores de ?BB y ?>> se obtiene que
?@D `@`D ! de donde sale que
` #?

? ' 2a@b.@ :aD b o sea que ? 9a@b :aD b 9aB ->b :aB ->b.
Las funciones 9 y : pueden determinarse con la ayuda de las condiciones
iniciales. As, si se supone que ?aB !b 0 aBb entonces se tiene que
?aB >b "# c0 aB ->b 0 aB >bd.
8- La ecuacin `? `> - f ? es conocida como ecuacin del calor, donde
# #

f# ? es el Laplaciano de ? que para ?aB D >b est dado por


# #
` #?
f# ? ``B?# ``C?# `D#

`? - # ` # ?
En el caso unidimensional se plantea mediante el problema:

GJ ?a! >b ?a6 >b !


`> `B#

GM ?aB !b 1aBb
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 `?`C =La?aB >bb ?aB !b y L `B# .B# La?aB >bb ,
` #? .#

denotando La?aB >bb ] aB =b entonces se obtiene la ecuacin diferencial


ordinaria
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 67

=] aB =b 0 aBb
. # ] aB=b
.B#
sta se resuelve suponiendo = constante por los mtodos de EDLO, de
aqu se determina ] aB =b La?aB >bb y la solucin ser
?aB >b L a] aB =bb
"

9- El flujo de calor de una barra semi-infinita, est dado por el problema

`? +# ` # ?
siguiente

GJ ?a! >b, ? y ?B son finitos cuando B _


`> `B#

GM ?aB !b 0 aBb ! B _
Usando el mtodo de Fourier se obtiene:
a+b ?aB >b \ aBb[ a>b
a,b De donde recibe que
\ aBb sin =B y [ a>b F a=b/+ = >
# #

de donde las funciones propias son


?aB > =b F a=bsin =B /+ = > = !
# #

a- b Del psps se sigue que


?aB >b '! ?aB > =b.=,
_

?aB >b '! F a=b sin =B /+ = > .=


0 sea
_ # #

los coeficientes F a=b se calculan mediante la condicin ?aB !b 0 aBb y las


frmulas de la integral de Fourier para las funciones impares.

`? - # ` # ?
10- Flujo de calor en una barra infinita: Se trata del problema

GJ ? y ?B son acotados cuando B _


`> `B#

GM ?aB !b 0 aBb -_ B _
Para la determinacin de la solucin se hace uso del mtodo de Fourier:
a+b ?aB >b J aBb Ka>b
a,b Las funciones propias son
?aB > :b aEcos :B F sin :Bb/- : >
# #

a- b Por psps
?aB >b '! Ea:bcos:B F a:bsin :B/- : > .>,
_ # #

con ayuda de GM y las frmulas de integral de Fourier se determinan los


E a: b y F a: b .
11- La ecuacin ``>?# - # `` B?# ``C?# - # f? es conocida como la ecuacin
# # #

bidimensional de onda .

Onda rectangular. Se presenta mediante el problema


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



# - `B# `C #


` #? # ` #? ` #?
`>


! sobre la frontera
?aB C !b 0 aB C b
GJ ?



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

JBB JCC @# J !

K -# H ! donde - -@
a,b Para resolver JBB JCC @# J ! se asume que J aB C b L aBb UaC b y
resolviendo se llega a que
J78 sin 7+1 Bsin 8,1 C
La familia de funciones propias son dadas por
?78 aB C >b aF78 cos-87 > F78

sin-78 >bJ78 aB C b
donde
-78 - 1 7+# 8,#
# #

a- b Por psps la solucin es


?aB C >b ! ! ?78 aB C >b
_ _

8" 7"
haciendo uso de C.I, se determinan los coeficientes F78 , y , F78

mediante

'!, '!+ 0 aB Cbsin 7+1 Bsin 8,1 C .B .C


series dobles de Fourier, por ejemplo
%
F78 +,
12- Laplaciano en coordenadas polares. Haciendo B <cos: C <sin: se
obtiene que
# # #
" ` #?
f# ? ``B?# ``C?# ``<?# "< `?
`< <# ` :


13- La ecuacin de la membrana circular obedece al problema

`># - `<# < `<
` #? # ` #? " `?

GJ ?aV !b ! ! : #1


GM ?a< >b ! `> >! 1aBb
`?

La solucin se halla mediante el mtodo de Fourier


a+b ?a< >b [ a<bKa>b es la solucin de prueba, de donde se obtiene el
sistema


[ ww "< [ w 5 # [ !
K -# K ! - -5
a,b La primera ecuacin [ ww "< [ w 5 # [ ! es una ecuacin de Bessel
cuya solucin es [ a<b N! a5<b, la segunda ecuacin tiene por solucin
Ka>b +7 cos-7 > ,7 sin-7 >
donde -7 -57 -!V7 , obteniendo las siguientes familias de soluciones
propias
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 69

?7 a< >b a+7 cos-7 > F7 sin-7 >bN! a57 <b


a- b Por psps
?a< >b ! a+7 cos-7 > F7 sin-7 >bN! a57 <b
_

7"
haciendo uso de la condicin C.I y de la serie de Fourier-Bessel se
determinan los coeficientes +7 y ,7 .
14- La ecuacin f# ? ! es conocida como ecuacin de Laplace donde
# # #
f# ? ``B?# ``C?# ``D?#
es el llamado Laplaciano. Para coordenadas cilndricas
B <cos: C <sin: D D
el Laplaciano toma la forma
#
" ` #? :# ?
f# ? ``<?# "< `? `< #
< `: # :D #
Para las coordenadas esfricas
B 3cos) sin: C 3sin) sin: D 3cos:
el Laplaciano esta dado por
f# ? 3"# ``3 a3# ?3 b sin": ``: sin: ``?: sin"# : `` )?#
#

15- La ecuacin de Laplace en coordenadas esfricas se plantea mediante

` # `?
el problema

`< < `< sin9 ` 9 sin9 ` 9 !

" ` `?

lim ?a< 9b ! ?aV ) 9b 0 a9b


<_
Para determinar la solucin se sigue el mtodo de Fourier
a+b ?a< 9b Ka<bL a9b es la solucin de prueba, de donde se obtiene el

" .
sistema

sin9 . 9 sin9 . 9 5L !

.L

.< < .< 5K !


. # .K

a,b Escogiendo 5 8a8 "b, la primera ecuacin es una ecuacin de


Legendre cuya solucin es L a9b T8 acos9b y la segunda ecuacin es una
ecuacin de Euler-Cauchy cuya solucin es
Ka<b <8 , 0, Ka<b <8" "
,
obteniendo la familia de funciones propias
?8 a< 9b E8 <8 <F8"
8
T8 acos9b
a- b Por el psps la solucin es
?a< 9b ! ?8 a< 9b ! E8 <8 F8
<8" T8 acos9 b
_ _

8" 8"
La solucin en los puntos internos de la esfera satisface la ecuacin
?a< 9b ! E8 <8 T8 acos9b
_

8!
Haciendo uso de la condicin inicial y las tcnicas de series de Fourier
Legendre se obtienen los coefientes E8 .
Para hallar la solucin externa a la esfera, sta conduce a la funcin
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 70

?a< 9b ! <F8" T8 acos9b


_
8

8!

9. MISCELNEA DE PROBLEMAS RESUELTOS

1. Hallar la solucin de la ecuacin ?BB C # ? C sin#B


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


2.Resolver el problema de frontera siguiente
`? ` # ?# > !
?B a! >b ! ?B a1 >b

`> `B

?aB !b B# ! B 1
SOLUCIN. Usando el mtodo de separacin de variables
aM b ?aB >b \ aBb X a>b entonces ?> \X ?BB X Bww de donde X \ww as
X \
existe 5 tal que

ww
X 5X

aMM b Si 5 ! 5 @# de donde \ E/@B F/@B @ !


\ 5\
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 71

Ahora
?B X \ w X F/@B @ X E/@B @
As
! ?B a! >b @X a>baE F b entonces E F
! ?B a1 >b @X a>bEa/@1 /@1 b entonces E !
por lo tanto \ ! y ?aB >b !
Ahora si 5 ! 5 @# , @ ! entonces \ aBb Esin @B F cos @B,
as
?B X \ w X a>b@aEcos @B F sin @Bb,
ahora
! ?B a! >b @X a>bE de donde se tiene E !
! ?B a1 >b F@X a>bsin @1
se cumple cuando @ ! y para @ ! si queremos que ? sea no nulo se
debe tomar @ 8 , obtenindose as la familia
?8 aB >b F8 /8 > cos 8B
#

que satisface
?> ?BB y ?B a! >b ?B a1 >b.
aMMM b Por el principio de superposicin de soluciones
?aB >b ! F8 /8 > cos 8B
_ #

?aB >b satisface la ecuacin y las condiciones iniciales, y de frontera. Pero


8!

B# ?aB !b ! F8 cos 8B
_

8!
los F8 deben ser los coeficientes de la expansin par de medio rango de
B# ! B 1

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


1
As
$
1#
$
y para 8 " se tiene
!45 W5 " ! w
8"
# 1 aa %1 bcos 81 b
%a"b8
81 45 G 5
"
F8 81 8#
5 5
As la temperatura es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 72

?aB >b %! a"b


_ 8 8# >
1# / cos 8B
$ 8#
8"

? %# ? ! B 1 > !
3. Halle la solucin al siguiente problema

?a! >b ! ?a1 >b !


BB >

?aB !b $
SOLUCIN: Por el mtodo de Fourier supongamos que
aM b ?aB >b KaBbX a>b es la solucin de prueba, por lo tanto

?BB Kww X , ?> KX y KK %X
ww
X

si deseamos soluciones no nulas, existe - 5 # tal que



Kww 5 # K ! y X %5 # X !
aMM b Sabemos que ?a! >b Ka!b X a>b ! ?a1 >b Ka1b X a>b ! si
deseamos soluciones no triviales entonces
Ka!b ! y Ka1b !
y tenemos para K se tiene el siguiente problema de Sturm-Liouville
Kww 5 # K !
Ka!b ! Ka1b !
y X %5 # X !
La solucin de prueba KaBb /!B conduce a que ! satisface a la ecuacin
de indices
!# 5 # ! ! 53
de donde obtenemos que ecos 5B sin5Bf es la base de soluciones, por lo
tanto
KaBb Ecos5B F sin5B
pero
Ka!b ! E y Ka1b ! F sin5 1
Como deseamos soluciones no triviales F " y sin5 1 ! de donde
5 1 81 5 8, ,KaBb sin 8B
Ahora
#
X %5 # X ! X %8# X ! X E8 /%8 >
Las funciones propias son en este caso
?8 aB >b E8 /%8 > sin 8B
#

aMMM b Por el principio de superposicin de soluciones


?aB >b ! E8 /%8 > sin 8B
_ #

8"
Para la determinacin de los E8 tenemos
?aB !b $ ! E8 sin 8B
_

8"
de donde
E8 1# '! $sin 8B .B 1' 8 81 a" a " b8 b
1
1 cos 8B '

!
Luego la solucin es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 73

?aB >b 1' ! "a8"b /%8 > sin 8B


_ 8 #

8"

C>> +# CBB , donde +# X


4. Hallar la solucin del problema siguiente

CaB !b ! C> aB !b
3

Ca! >b sin A>


SOLUCIN. Por la transformada de Laplace sea ] aB =b LaaC aB >bbb
entonces
=# ] = ! ! LaC>> b La+# CBB b +# ..B]#
#

de donde se tiene la ecuacin diferencial ordinaria siguiente


.B# +# ] ! entonces ] aB =b Ea=b/ F a=b/ + B
.#] =# += B =

Pero CaB >b es acotado, esto implica que ] aB =b es acotado as F a=b ! ya


que / + B _ cuando B _
=

Ea=b ] a! =b _aC a! >bb _asin A>b =# A A


# entonces ] aB =b =# A# /
A B+ =

por lo tanto
CaB >b sin A> B+ ? B+ a>b


5. Estudie las soluciones del siguiente problema

?BB ?CC ! ! C 1 B !
? aB !b ! ?C aB 1b !
C
?a! Cb C ! C 1

?B a! Cb !
SOLUCIN. Por el mtodo de Fourier, supongamos que ?aB C b KaBbL aC b
es solucin de prueba si y slo si
.#K .#L
.#K # .C#
.B# L K ..CL#
! K L.B#

As existe - d tal que


.#K .#L
.B# -K ! .C# -L !
pero
?C aB !b ! KaBb .L
.C a!b !
?1 aB 1b ! KaBb .C a1b !
.L

de aqu deseamos soluciones no triviales tenemos


.C a!b ! .C a1b !
.L .L

Tenemos para L el siguiente problema de Sturm-Liouville


.#L
.C# -L !

.C a!b ! .C a1b !
.L .L

a3b Si - ! ..CL# ! por integracin doble se obtiene L -" C -# . Como


#

.C -" se sigue que L! aC b " es solucin propia.


.L
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 74

a33b Si - 5 # ! entonces la ecuacin ..CL# 5 # L ! con L aC b /!C por


#

solucin de si y slo si !# 5 # ! ! 5 as L aC b -" /5C -# /5C


como .L .C -" 5/
5C
-# 5/5C se sigue que
L w a!b ! -" -#
L a1 b ! - " / - # / /5 1
" "
w 51 5 1 como 51 !,
se tiene que L aCb ! y ? !.
/

a333b Si - 5 # ! ..CL# 5 # L ! cuya solucin es dada por


#

L aCb -" cos 5C -# sin 5C .L .C 5-" sin 5C 5-# cos 5C


Ahora
L w a!b ! -# 5 5 ! -# !
.C a1b ! 5-" sin 5 1
.L

Si deseamos soluciones no nulas


-" " ! y sin 5 1 ! 5 8 ,
as
L8 aCb cos 8C
a3@b K 8 K ! con K /!B por solucin de prueba , obtenemos que
ww #

! # 8# ! ! 8
de donde e/8B /8B f es la solucin fundamental la cual es equivalente a
ecosh 8B sinh 8Bf para obtener la solucin
K8 aBb E8 cosh 8B F8 sinh 8B
Las soluciones propias sern dadas por
?8 aB Cb E8 cosh 8B F8 sinh 8B
a@b Por el principio de superposicin de soluciones tenemos
?aB Cb ! aE8 cosh 8B F8 sinh 8Bbcos 8C "# E!
_

8"
Pero por GM tenemos
?a! Cb C "# E! ! E8 cos 8C
_

8"
de la teora de series de Fourier se sigue que
E! 1# '! C.C 1# C# 1
1 # 1

E8 ' 1 8 ! 1 8# !
# a"b "
!
1 1
# 1
8
# sin 8C # cos 8C
1 ! C cos 8C .C 1 8#
Ahora
?B aB Cb ! a8E8 sinh 8B 8F8 cosh 8Bbcos 8C
_

8"
de aqu y la condicin GM tenemos
?B a! Cb ! ! 8F8 cos 8C F8 !
_

8"
Luego la distribucin de temperatura del estado estable es
?aB Cb 1 # ! a"b# " cosh 8B cos 8C
_ 8

# 1 8
8"

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


6. Halle la solucin del siguiente problema

`># #& `B#
` #? ` #?

?aB !b !
_ B _ > !



_B_

`> >! cos B


`? aB> b

PRIMERA SOLUCIN. Por el mtodo de Fourier,


a3b ?aB >b \ aBb X a>b si y slo si
\ ww 5 # \ !

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

Ahora
'_
`> aB >b _ aEcos5B F sin5Bb&5 cos&5> .5
`?

Luego
?> aB !b cosB '_ a&5Ecos5B &5F sin5Bb.5
_

De aqu
&5E 1" '_ cosB cos5B.B 1# '! cosBcos5B.B
_ _

&5F 1" '_ cosBsin 5B .B ! as F !.


_

SEGUNDA SOLUCIN. Aplicando transformada de Fourier se tiene


Fa?aB >bb J aA >b
F ``>? #&F `B #
# #
` ?

Lo cual nos lleva a la siguiente ecuacin diferencial ordinaria


.#J # .#J #
.># #&A J .># #&A J !
Suponiendo que J /!> tenemos que la base de soluciones es
{cos&A> sin&A>}.
Luego
J aA >b EaAbcos&A<> F aAbsin&A>.
Ahora
.> &AEaAbsin &A> &AF aAbcos&A>
.J

Pero
Fa?aB !bb ! J aA !b EaAb
y
F `?
`? aA !b .>
.J
&AF aAb
>!
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 76

si y slo si
FacosBb &AF aAb F aAb FacosBb
&A
As
J aA >b Fa&A
cosBb
sin&A>
de donde
?aB >b F " Facos
&A sin&A>
Bb

F " aFacosBbbF " sin&A


&A>

"
"! acosBbT"!> aBb

?BB ?> E/,B


7. Resolver el problema no homogneo siguiente

a b a b
! B " > !

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

=a!b ! =a"b !
=ww E/,B

integrando dos veces tenemos


= ,E# " /,B ,E# " /, B
a33b El problema del estado transitorio tenemos
ZBB Z> ! B " > !
GJ Z a!>b ! Z a" >b !
GM Z aB !b ,E# " /, B
hallemos la solucin: Z K X donde

Kww -# K !
Kww

X #
K X -
X -# K !
Tenemos el problema S-L siguiente
Ka!b ! Ka"b !
Kww -# K !

Haciendo K /!B se obtiene K -" cos-B -# sin-B


Ahora
Ka!b -" ! Ka"b -# sin- !
Si -# " entonces
sin- ! - 81
Por lo tanto
K8 aBb sin 81
Para X , tenemos
X a81b# X ! X E8 /8 1 >
# #

Las funciones propias sern


Z8 aB >b E8 /8 1 > sin 81B
# #
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 77

a333b Por el p.s.p.s tenemos


Z aB >b ! E8 /8 1 > sin 81B
_ # #

8"
Ahora
Z aB !b E
/, B ! E8 sin 81B
_
,# "
8"
de donde
E8 #'! /, B sin 81B .B #E
/, Bcos
"E " "
81 B sin 81B
,# " ,# " 81 #
8 1 #

#E
/, a" b
! !
8
,# " 81
En esta forma
Z aB >b !
#E"/, a"b8" 8# 1# >
_
,# 81 / sin81B
8"
Luego el problema no homogneo tendra por solucin
?aB >b E
/,B E
/, " 1# ! a"8b /8 1 > sin 81B
_ 8" # #
,# " ,# "
8"

? ? a" Bbcos> ! B " > !


8. Resolver el siguiente problema:

GJ ?a! >b ! ?a" >b ! > !


BB >

GM ?aB !b ! ! B "
SOLUCIN: Hallemos primero las races del problema de Sturm-Louville
siguiente
\ ww -\ ! \ a!b ! \ a"b !
de donde
-8 8# 1# 98 aBb sin 81B 8 " # $
Buscamos ahora la solucin de la forma
?aB >b ! I8 a>bsin 81B
_

8"
cuando sustituimos en la ecuacin
a" Bbcos> ?> ?BB
obtenemos
-a" Bbcos > ! cI8w a>b 8# 1# I8 a>bdsin 81B
_

Por consiguiente deducimos que notando que lsin81Bl# "# 8 " # $


8"

I8w a>b 8# 1# I8 a>b #'! a" Bbcos > sin 81B .B


"

81 cos 81B! 8# 1 # !
a"Bb
#cos >
" "
sin81B #
81 cos >

Solucionando esta EDO para I8 a>b tenemos


I8 a>b G8 8#1 '! /8 1 7 cos7 . 7 /8 1 >
> # # # #

81 "8% 1% sin7 ! cos 7 /8 1 >


# # > # #> >
# # # /8 1 7 8# 1 # / 8 1 # #
G8 /8 1 > "8% 1% !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 78

81 "8% 1% sin> "8% 1% /


# #
# # # /8 1 > 8# 1 # 8# 1 # > 8# 1 # 8# 1# >
G8 /8 1 > "8% 1% / cos>

81a"8% 1% b 8 1 / cos > sin >


# # # 8# 1# >
I8 G8 /8 1 > # #

Sustituyendo esta expresin para I8 a>b en la anterior solucin para los


?aB >b y suponiendo la condicin inicial ?aB !b !, vemos que los G8 !
a8. Por lo tanto nuestra solucin es
?aB >b # ! sin 81%B % 8# 1# /8 1 > cos > sin >
_
8a"8 1 b
# #
1
8"

? +# ?
9.Resolver el siguiente problema

GJ ?a! >b "! ?a"! >b $! > !


BB > ! B "! > !

GM ?a !b !
SOLUCIN: Conjeturamos que ?aB >b =aBb @aB >b es la solucin de
! B "!

prueba, bajo el supuesto de que


lim ?aB >b =aBb y lim @aB >b !
En ese caso la funcin =aBb satisface la EDO
>_ >_

=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
=aBb #B "!

@ +# @ ! B "!
As para el estado transitorio se plantea en la forma

GJ @a! >b ! @a"! >b !


BB >

GM @aB !b #B "! ! B "!


Aqu vemos que @aB >b es la solucin de la conduccin del calor del tipo
expuesto en 6, donde la distribucin del calor en los extremos es nulo,
dando por
@aB >b ! G8 sin 81 B/+ 8 1 >"!!
_ # # #
"!
8"
donde las constantes G8 son dadas por
@aB !b #B "! ! G8 sin 81 B
_
"!
8"

G8 "& '! a #B "!bsin 8"!1 B .B


de donde
"!

#& '! Bsin 8"!1 B .B #'! sin 8"!1 B .B 8 " #


"! "!
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 79

#& 81 cos "! B! 8# 1# sin "! B! 81 cos "! B!


"! "! "!
"! 81 "!! 81 #! 81

8"'1 ca "b8 "d
Combinando resultados, nuestra solucin llega a ser
?aB >b =aBb @aB >b "! #B ! "' ca "b8 "dsin 81 B/+ 8 1 >"!!
_ # # #
81 "!
8"


10. Hallar la solucin al siguiente problema



?<< "< ?< - # ?>> ! < " > !
GJ ?a" >b ! > !



GM ?a< "b ?> a< !b ! ! < "
" ! < "#
! "# < "
SOLUCIN. aM b Supongamos que ?a< >b L a<b Ka>b es la solucin de
prueba, de donde se recibe
L ww "< L w
L ww K "< L w K - # L K L K
-#K 5
#

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

K -#K !
a33b Haciendo = 5< "< 5= , ahora .L .< .= .< 5 .= y .<# 5 .=#
.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 L a=b N! a=b, pero
L a"b ! N! a5<b N! a5 b 5 !7
de donde
L7 a<b N! a!7 <b
a333b Para K se tiene K a- !b# K !, haciendo -7 - !7 de donde se tiene

la sucesin de funciones K7 +7 cos-7 > ,7 sin-7 >
a3@b Las funciones propias del problema estarn dadas por
?7 a< >b a+7 cos-7 > ,7 sin-7 >bN! a!7 <b
Por el principio de superposicin de soluciones se tiene
?a< >b ! a+7 cos-7 > ,7 sin-7 >bN! a!7 <b
_

7"
Por la condicin inicial GM se tiene que
?a< !b ! +7 N! a!7 <b donde +7
_ ?a<!bN! a!7 <b
lN! a!7 <bl#
# '"
<?a< !bN! a!7 <b.< N # a#!7 b '!# <N! a!7 <b.<
7"
"
+7
' a b ' # BN! aBb.B
## N"# ! "
!7 !7

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

# N # a! b BN" aBb
!#7 N" !#7
!7

# N # a! b
# # #

' B@ N@" aBb.B B@ NB aBb -
!7 " 7 ! !7 " 7

N" !#7
!7 N"# a!7 b

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


11. Analice la solucin del siguiente problema



?<< "< ?< <"# ?)) ! ! < 3 1 ) 1
lim ?a< ) b finito 1 ) 1
GJ <!

?a< 1b ?a< 1b ?) a< 1b ?) a< 1b

GM ?a3 ) b 0 a)b
SOLUCIN:a3b Supongamos que ?a< ) b V a<bL a) b es la solucin de prueba
1) 1

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


# ww
# ww w L -L !
< V V<V L L -
< V <V w -V !
a33b Ahora tomando GJ tenemos
?a< 1b V a<bL a 1b V a<bL a1b ?a< 1b L a 1b L a1b

?) a< 1b V a<bL a 1b V a<bL a1b ?) a< 1b L a 1b L a1b

As tenemos el problema S-L siguiente:

L a 1 b L a 1 b L
L -L !
a 1 b L a1 b

Tomando - 8# obtenemos

L a 1 b L a 1 b L
L 8# L !
a 1 b L a1 b

Cuya solucin ya es conocida y es dada por


L8 a) b # !
"
+

a33b,3= Ahora <# V ww <V w -V !, esta es una ecuacin de Euler-Cauchy


+8 cos8) ,8 sin 8) 8 " # $

cuya solucin de prueba es V <! V w !<!" V ww !a! "b<!"


para tener
<# !a! "b<!# <!<!" 8# <! ! <! !# ! ! 8# !
! # 8# ! ! 8
as
V 8 a<b " 8 # -8
- - log< 8 !
-$ < -% < 8 " # $
Dado que lim V a<b es finito entonces -# -% !
<!
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 81

Tomando -" " y -$ 3"8 la cual es una eleccin convencional.


a333b Por el p.s.p.s tenemos
?a< ) b "# +! ! 3< a+8 cos 8) ,8 sin 8)b
_ 8

8"
Por la GM tenemos
?a3 ) b 0 a)b "# +! ! a+8 cos 8) ,8 sin 8)b
_

8"
de donde
+! 1" '1 0 aBb.B, +8 1" '1 0 a)bcos 8) . ) ,8 1" '1 0 a)bsin 8) . )
1 1 1


12. Resolver el siguiente problema
` # `?
`< ` 9 sin9 ` 9 !
" ` `?
< `< sin9
GJ lim ?a< 9b !


GM ?a" 9bcos 9
B_

SOLUCIN: a3b Supongamos que ?a< 9b Ka<bL a9b es la solucin de


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

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


K 5

.< < . 9

. # .K
5K !

sin9 .9 sin9 .9 5L !
" . .L

a33b La ecuacin
.< < . 9 5K ! < K #<K 5K !
. # .K # ww w

Una ecuacin interesante se obtiene cuando se escoge el valor


5 8a8 "b en ese caso la ecuacin
<# Kww #<Kw 8a8 "bK !
tiene por ecuacin de ndices
!# #! 8a8 "b ! ! 8 ! 8
Obteniendo las dos soluciones
K8 a<b <8 K8 a<b <8" "
" . .L
a333b La ecuacin sin9 . 9 sin9 .K 8a8 "b ! se resuelve haciendo
A cos9, ahora como sin# 9 " cos# 9 y con la regla de la cadena
. # .L
. 9 .A . 9 sin9 . 9 sin99 a sin9 b .A sin 9 .A 8a8 "b !
. . .A . "

.
.A a" A# b .L
.A 8a8 "bL !
a" A b .A #A .L
# .#L
.A 8a8 "bL !
La cual es una ecuacin de Legendre y la solucin es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 82

L T8 aAb T8 acos9b
En esa forma tenemos la soluciones
?M8 <8 T8 acos9b 8 a< 9 b
?I T8 acos9b

a3@b Por el p.s.p.s tenemos


<8"

?M a< 9b ! E8 <8 T8 acos9b ?I a< 9b ! F8 T<88"


acos9b
_ _

8! 8!
Ahora por GM tenemos
?M a" 9b cos9 ! E8 T8 acos9b
_

?I a" 9b cos9 ! F8T8 acos9b


8!
_

8!
Esto se tiene si y slo si
E8 F8 #8" '"
"
0 aAbT8 aAb.A #8" '!1 cos9T8 acos9bsin9. 9 8 ! " #
E! "# '! cos9T! acos9bsin9 . 9
# #
1

" '! cos9sin9. 9 " cos# 9 " acos# 1 "b !


1 1

$' 1 $'
# % %

# ! cos9 T" acos9 bsin9 . 9 # ! cos 9 sin9 . 9 # a cos 9 b!


!
1 1
# " $
E"
T" acos9b cos9

# a cos 1 "b "


" $

E# # ! cos9T# acos9bsin9 . 9 &# '! "# a$cos# 9 "bsin9 . 9


&' 1 1

&% '! $cos$ 9sin9 . 9 '! cos9 sin9 . 9 &% $% cos% 9 cos# 9
1 1 1 # 1

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

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


las siguientes hiptesis:
a3b 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

a33b La membrana se tensa y a continuacin se fija a lo largo de toda su


frontera en el plano BC. La tensin por unidad de longitud X provocada al
tensar la membrana es la misma en todas las direcciones y no cambia
durante el movimiento.
a$b La deformacin ?aB C >b 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 C? son
X ?Csin" X ?C 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 ?Casin" sin !b X ?C atan" tan!b X ?C c?B aB ?B C" b ?B aB C# bd
donde C" y C# son valores entre C y C ?C . De modo semejante, la
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 ?Bc?C aB" C ?C b ?C aB# C bd


donde B" y B# son valores entre B y B ?B.
Por la segunda ley de Newton, la suma de las fuerzas es igual a la masa
3?E de la porcin multiplicada por la aceleracin ``>?# , aqu 3 es la
#

densidad y ?E ?B?C es el rea de la porcin, as


3?B?C ``>?# X ?C c?B aB ?B C" b ?B aB C# bd X ?Bc?C aB" C ?C b ?C aB# C bd
#

Dividiendo por ?B?C tenemos


`># 3 C " ?C C #
` #? X ?B aB?BC" b?B aBC# b ? aB C?Cb? aB Cb

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

14. Halle la solucin del problema de la membrana rectangular




`># - `B# `C#

` #? # ` #? ` #?


GJ ? ! sobre la frontera de la membrana rectngular

?aB C !b 0 aB C b el desplazamiento inicial

GM `?
`> >! 1aB C b la velocidad inicial

SOLUCIN.
Paso uno: El mtodo de Fourier es ahora acondicionado de manera que
?aB C >b J aB C bKa>b es la solucin de prueba as;
J K - # aJBB K JCC Kb

separando las variables tenemos
" aJBB JCC b @#

K
- K # J
#


K - K ! - -@
de donde #

Ahora suponiendo J aB Cb L aBbUaCb en esta forma


JBB JCC @ J !

# #
JBB ..BL# U JCC L ..CU#
en esta forma
.#L .#U #
.B# U L .C# @ LU !
# #
.#L .#L
.B# U L ..CU# @# LU .B# U @# LU L ..CU#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 85

. U#
.#L
5
.#L
.B#
U@ # LU L
#
# .B# @# L 5 # L

.C
.#U
LU LU 5#U
a@ # 5 # b L !
.C#
.#L
.B# .# U
.C# 5#U !
:#
Paso dos: Para la ecuacin ..BL# :# U ! se deduce de la condicin de
#

frontera que L a!b ! L a+b ! y la solucin es como se sabe dada por


L aBb -" cos :B -# sin :B
as
L a!b -" ! L a+b ! -# sin :+
tomando -# " entonces :+ 81 por lo tanto : 71+
Ahora para ..CU# 5 # U ! de GJ se deduce que Ua!b ! Ua,b ! y la
#

solucin ser
UaCb -$ cos 5C -% sin 5C ,
as Ua!b ! -$ Ua,b ! -% sin5, en esta forma 5, 81 de donde
5 8,1 -% "
Resumiendo tenemos
L7 aBb sin 7+1 B U8 aCb sin 7,1 C ,
7 " #
8 " #
En esta forma
J78 aB Cb L7 aBbU8 aC b sin 7+1 B sin 8,1 C
7 " #
8 " #
Ahora bien
: # @# 5 #
por lo tanto se tiene
7# 1 # # 8# 1 # 7# : # 8# 1
+# @ , # @ +# , #
de donde
@ 1 7+# 8,#
# #

y as se tiene que
- -@ - 1 7+#
# 8#
,# -78
En esta forma la ecuacin
#
K -78 K!
tiene por solucin a

K F87 cos-78 > F78 sin-78 >
Se concluye que las funciones propias tomarn la forma
?78 aB C >b aF87 cos-78 > F78 sin-78 >bsin 7+1 B sin 8,1 C
7 " #
8 " #
Paso tres: Para obtener la solucin, por el principio de superposicin de
soluciones se tiene
?aB C >b ! ! ?78 aB C >b
_ _

7"8"
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 86

! ! aF87 cos-78 > F78 sin-78 >bsin 7+1 B sin 8,1 C


_ _

7"8"
De las condiciones iniciales se sigue que
?aB C !b ! ! F78 sin 7+1 B sin 8,1 C 0 aB C b
_ _

Esta serie se conoce como serie doble de Fourier. Supongamos que 0 aB C b


7"8"

puede desarrollarse en una tal serie, entonces los coeficientes F78 de


Fourier de 0 aB C b pueden determinarse de la siguiente manera. Haciendo
O7 aCb ! F78 sin 8,1 C aM b
_

8"
En esta forma
0 aB C b ! O7 aC bsin 8+1 B
_

7"
Manteniendo C fijo se tiene que
O7 aCb +# '! 0 aB C bsin 7+1 B .B aMM b
+

pero de aM b se recibe que


F78 #, '! O7 aCbsin 8,1 C.C
,

y finalmente de aMM b se llega a que


% ' +' ,
! ! 0 aB C bsin + B sin , C .B.C
71 81
F78 +,
Ahora hallamos `? `> , o sea calculamos
! ! aF87 cos-78 > F78 sin-78 >bsin 7+1 B sin 8,1 C
`>
_ _
`

! ! -78 a F78 sin-78 > F78


7"8"

cos-78 >bsin 7+1 B sin 8,1 C


_ _

7"8"
Ahora

`> >! ! ! -78 F78 sin 7+1 B sin 8,1 C 1aB C b


_ _
`?

Como lo dijimos atrs si 1aB Cb es desarrollable en serie doble de Fourier,


7"8"

se procede as: hacemos


P7 aCb ! -78 F78
_

sin 81 C ,
7"
entonces manteniendo B fijo se sigue que
# '! P78 aC bsin 81 C.C
,
-8 F78 , ,
en esta forma
1aB Cb ! P7 aC bsin 7+1 B
_

8"
as para C fijo se tiene que
P7 aCb +# '! 1aB C bsin 7+1 B .B
+

Por lo tanto
+,-%78 '! '! 1aB C bsin 7+1 B sin 8,1 C .B.C
+ ,
F78

15. Halle la solucin del siguiente problema


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

?a! >b !
,
#
`? ` ? >
`B
`> # sin $B / !B1

?a1 >b "


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

@a! >b !
`@ ` #@ >
`> `B# sin $B /

@ a 1 >b !
@aB !b 0 aBb B1
Las funciones propias de este problema se calculan en la forma clsica y
estn dadas por
{sin1BBP sin 8B
puesto que P 1, as por el mtodo de expansin de funciones propias
dado en 6.9 se sigue que
@aB >b ! I8 a>bsin 8B
_

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

.> 8 I8 = /> para 8 $


.I8 # ! para 8 $

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


es dada por
I a!b/8 >
I8 a>b 8>
para 8 $
#

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

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

BIBLIOGRAFIA

[1] Haberman R. , Elementary Applied Partial Differential Equations. P


Prentice-Hall. 1983
[2] John, F., Partial Differential Equations. Springer-Verlag. 1982
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, Ecuaciones Diferenciales en Derivadas Parciales. Mir.
Mosc. 1980.
[5] Peral, A.I, Ecuaciones en Derivadas Parciales. Addison-
Wesley/Universidad autnoma de Madrid
[6] Petrovskii. , Partial Differential Equations. Saundes Campany. 1966.
[7] Sneddon, I.N., Elements of Partial Differential Equations. MacGraw-Hill.
1957.
[8] Takeuchi, Yu., Ecuaciones Diferenciales Parciales. Editorial Takeuchi.
1978
[9] Weinberger, H., Partial Differential Equations. Blaisdell International
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