Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones Diferenciales Parciales PDF
Ecuaciones Diferenciales Parciales PDF
!
cuya solucin es
. ? 5B
!
Como puede ser diferente de una curva caracterstica a otra curva 5
caracterstica, es decir, depende de , tenemos la solucin general -
? 5 - B 5 B a b
! !
C
B
donde es una funcin . Si aplicamos la condicin inicial 5a b arbitraria
para , obtenemos C "
9a b
B 5 B
"
B
!
o
5 = = a b
9
"
=
!
y por lo tanto la solucin requerida ser
. ? C 9
B
C
!
, + !
B B
C C
! !
esto segn la condicin . As por el teorema de la funcin implcitala a b ""
ecuacin puede resolverse para en trminos de en una a b "% = > B >
vecindad de la curva inicial , obteniendo de una expresin para la > ! "% a b
solucin dada por
Fa b a b a b a b B C ? = B C > B C
Fa b B C claramente satisface las condiciones iniciales; pues
. Fa b a b a b
B C ? = ! ? =
>!
!
Ms an satisface la ecuacin diferencial . Pues Fa b a b B C "!
+ , + ? = ? > , ? = ? > F F
B C = B > B = C > C
a b a b
? += ,= ? +> ,>
= B C > B C
a b a b
? = B = C ? > B > C
= B > C > > B > C >
a b a b
? ! ? " -
= >
puesto que de las ecuaciones
= = B C > > B C a b a b
tenemos
. = ! = B = C > " > B > C
> B > C > C B > C >
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 8
Adems es nica. Pues supngase que es cualquier otra F F a b a b B C B C
solucin satisfaciendo las condiciones iniciales y un punto a b B C
w w
arbitrario en una vecindad de la curva inicial. Consideremos la curva
caracterstica
B B = > C = > ? ? = > a b a b a b
w w w
donde . En estas curvas estan en ambas superficies puesto = = B C > !
w w w
a b
que aqu pasan a travs de la curva inicial por el punto
. B = ! B = C = ! C = ? = ! ? = a b a b a b a b a b a b
w w w w w
! ! ! !
Pero si una curva caracterstica tiene un punto comn con una superficie
integral ella est colocada totalmente sobre la superficie. As las curvas
caractersticas se encuentran en ambas superficies y en particular para >
w
tenemos
. F F F a b a b a b a b a b a b B C B = > C = > ? = > B C
w w w w w w w w w w w w
-
, se obtiene
a b
1 0 0 - 0
1 0 0 - 0
B B - B B
C - C C
C
%
Esto es, la envolvente tendr las mismas derivadas que un miembro de la
familia, y la ecuacin diferencial es justo una relacin entre aquellas
derivadas como se verificar.
Suponemos conocida una familia a dos parmetros de superficies
integrales, digamos
D 0 B C + , & a b a b
Entonces podemos hallar soluciones dependiendo de una funcin
arbitraria. Pues si consideramos
, + Fa b
donde es diferenciable, obtenemos la familia F
D 0 B C + + a b a b F
! 0 0 +
+ ,
w
F a b
ser una superficie integral dependiendo de la funcin . F
Esto sugiere que si damos una familia a dos parmetros de superficies
integrales, podemos seleccionar una familia a un parmetro de aquellas
superficies cuya envolvente contiene una curva dada en el espacio y esto
es, hallar una solucin para un problema de valores iniciales. Notemos
que es enteramente razonable expresar la existencia de una familia a dos
parmetros de soluciones. Por supuesto, podemos iniciar con una familia
arbitraria de superficies, digamos
D 0 B C + , ' a b a b
Si logramos resolver para los parmetros y en el sistema formado por + ,
las dos derivadas parciales
: D 0 B C + ,
B B
a b
; D 0 B C + ,
C C
a b
y se sustituye y en la ecuacin , se obtiene la ecuacin diferencial + , ' a b
parcial
D 0 B C + B C : ; , B C : ; ! ( a b a b a b a b
tenindose la familia dada como solucin. Llamaremos a la familia a dos
parmetros de soluciones, de la ecuacin diferencial. solucin completa
Supongamos ahora que tenemos la solucin completa y D 0 B C + , a b
deseamos hallar una envolvente conteniendo la curva inicial siguiente
B B = C C = D D = a b a b a b
con tal objeto consideremos las dos ecuaciones
K = + , D = 0 B = C = + , ! )
=
a b a b a b a b a b a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 11
y
K = + , D = 0 B = 0 C = ! *
= B C
w w w
a b a b a b a b a b
de donde se obtiene una relacin entre digamos en trminos del + ,
parmetro : . La envolvente = + + = , , = a b a b
D 0 B C + = , = a b a b a b
! 0 + = 0 , =
+ ,
w w
a b a b
contendr la curva inicial. Pues ambas ecuaciones se cumplen
idnticamente en por ; la primera como una consecuencia = B = C = D = a b a b a b
directa de la ecuacin , y la segunda por la derivabilidad de la primera a b )
D = 0 B = 0 C = 0 , =
w w w w
B C ,
a b a b a b a b
o
! 0 + = 0 , =
+ ,
w w
a b a b
donde hemos usado la ecuacin . a b *
Como un ejemplo, consideremos la familia a dos parmetros del plano
que estn a una distancia unitaria del origen, es decir, los planos respecto
a la esfera unitaria. Ellos estan dados por las ecuaciones
D B C
+ , "
" + , " + , " + ,
a b a b a b
# # # # # #
y se puede demostrar que es una solucin completa de la ecuacin
diferencial parcial
a b a b D :B ;C " : ; !
#
# #
si deseamos hallar una supercifie integral conteniendo a la curva inicial,
dada, digamos por el crculo de radio alrededor del eje , de ecuacin
"
#
D
D " B C ! #
" "
# #
cos sin ) ) ) 1
se obtiene la familia de planos dada por las ecuaciones
K + , " + , " ! a b a b
) ) )
# #
+ ,
# #
cos sin
K + , + , !
)
a b ) ) ) sin cos
de donde se concluyen las relaciones
o, + , + ,
% % "'
$ $ #&
# #
cos sin ) )
la superficie integral requerida es entonces la envolvente de la familia
D B C
% % &
$ $ $
cos sin ) )
Todo est bien si ya tenemos una familia a dos parmetros de superficies
integrales. Continuamos por consiguiente con un ataque ms sistemtico
con el fin de escribir un sistema de ecuaciones ordinarias de soluciones
con las cuales deseamos una solucin, de la ecuacin diferencial parcial
dada.
Demos una superficie integral teniendo segundas derivadas D D B C a b
parciales continuas con respecto a y a . En cada punto la superficie ser B C
tangente a un cono de (ver la figura) Monge
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 12
Las lineas de contacto entre los planos tangentes a la superficie y los
conos definen un campo de direcciones en superficie, llamado el campo
de y las curvas integrales de este campo direcciones caractersticas
definen una familia de curvas caractersticas.
Con el objeto de describir las curvas caractersticas, obtenemos primero
una expresin analtica para el cono de Monge en algn punto . a b B C D
! ! !
Este es la envolvente de una familia a un parmetro de planos
D D : B B ; C C
! ! !
a b a b
donde y satisfacen : ;
o, J B C D : ; ! ; ; B C D : ; "" a b a b a b
! ! ! ! ! !
y por lo tanto puede ser dada por las ecuaciones
a b
DD : BB ; B C D : CC
! BB ; CC
! ! ! ! !
!
! !
.;
.:
a b a b
a b a b
"#
De las ecuaciones obtenemos a b ""
.J
.: .:
: ;
.;
J J ! "$ a b
as que puede ser eliminada de , y las ecuaciones, definiendo el
.;
.:
a b "#
cono de Monge, se escriben
a b
a b a b
a b
J B C D : ; !
D D : B B ; C C
"%
! ! !
! ! !
BB
J J
CC
!
: ;
!
Notemos que dando y las dos ltimas ecuaciones definen la lnea : ;
generatriz del cono, es decir, la lnea de contacto entre el plano tangente y
el cono. As en nuestra superficie integral dada, donde cada punto
: : B C ; ; B C
! ! ! ! ! !
a b a b y son conocidos, el plano tangente estar dado
por
D D : B B ; C C
! ! ! ! !
a b a b
juntamente con la ecuacin
BB
J J
CC
!
: ;
!
o la direccin caracterstica
a b J J :J ;J
: ; : ;
Se sigue entonces que las curvas caractersticas estan determinadas por el
sistema de ecuaciones diferenciales ordinarias
.B .D
J J :J ;J
.C
: ; : ;
"& a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 13
o
.B .D
.> .> .>
: ; : ;
.C
J J :J ;J "' a b
Si la superficie integral es todava desconocida, es claro que las tres
ecuaciones o no sern todava suficientes para determinar las a b a b "& "'
curvas caractersticas comprendiendo la superficie. Sin embargo, se puede
obtener mayor informacin sobre el comportamiento de y a lo largo de : ;
las curvas caractersticas
a b
.:
.> .> .>
B C B : C ;
.B .C
.;
.> .> .>
B C B : C ;
.B .C
: : : J : J
; ; ; J ; J
"(
Retornando a la ecuacin y diferenciando primero con respecto a y a b " B
luego con respecto a , tenemos C
J J : J : J ; !
B D : B ; B
J J ; J : J ; !
C D : C ; C
As que las ecuaciones pueden escribirse en la forma a b "(
a b
.:
.>
B D
.;
.>
C D
J J :
J J ;
")
donde hemos usado que . : ;
C B
Tenemos entonces asociado con la superficie integral dada, una D D B C a b
familia de curvas caractersticas en la superficie, tal que las coordenadas
B > C > D > : > ; > a b a b a b a b a b , a lo largo de la curva y los nmeros estan
relacionados mediante el sistema de cinco ecuaciones dadas en y . a b a b "' ")
Estas cinco ecuaciones diferenciales ordinarias son llamadas ecuaciones
caractersticas relativas a la ecuacin diferencial parcial . a b "
Supngase ahora que la superficie est an por determinar. La discusin
previa nos permite considerar la ecuacin diferencial parcial junto con a b "
el sistema de ecuaciones caractersticas y como un sistema de a b a b "' ")
seis ecuaciones
a b
J BCD:; ! J J J :
J :J ;J J J ;
a b
.C
.> .>
; B D
.:
.B .D
.> .> .>
: : ; C D
.;
"*
para las cinco funciones desconocidas . Este sistema B > C > D > : > ; > a b a b a b a b a b
es sobredeterminado, sin embargo la primera ecuacin J B C D : ; ! a b
no es superflua, y no constituye una restriccin. Pues, a lo largo de una
solucin de las cinco ltimas y mediante la regla de la cadena se sigue
.J .B .D
.> .> .> .> .> .>
B C D : ;
.C .: .;
J J J J J
. J J J J :J J J J J J : J J J J ; ;J J !
B : C ; D ; : B : D ; C ; D D ;
Siguindose que = constituye una de las cinco ecuaciones J -98=> integral
restantes.
Es claro entonces que si se satisface en un inicial digamos J ! punto
B C D : ; > !
! ! ! ! !
para , las cinco ecuaciones caractersticas determinan
una nica solucin pasando tambin por el punto y B > C > D > : > ; > a b a b a b a b a b
justo con se satisface para todo . J ! >
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 14
Una solucin de puede ser interpretada como una tira (o franja, o a b "*
cinta). Esto es, un espacio de curvas junto con una B B > C C > D D > a b a b a b
familia de planos tangentes determinados por las direcciones . a b : ; "
Para fijo, los cinco nmeros se determinan definiendo un > B C D : ;
! ! ! ! ! !
elemento de la tira, es decir, un punto de la curva y el correspondiente
plano tangente.
Note que ningn conjunto de cinco funciones puede ser determinado
como una tira. En efecto se requiere que los planos sean tangentes a la
curva, lo cual se da por la condicin
.D > .B > .C >
.> .> .>
a b a b a b
: > ; > #! a b a b a b
llamada la En nuestro caso la condicin de faja se condicin de faja.
garantiza por las primeras cinco ecuaciones caractersticas.
Llamaremos a las tiras que son solucin de y sus a b "* tiras caractersticas
curvas correspondientes, . curvas caractersticas
TEOREMA 2.1. Si las tiras caractersticas tienen un elemento en B C D : ;
! ! ! ! !
comn con la superficie integral , entonces se hallan D ? B C a b
completamente sobre la superficie.
En efecto, dada una solucin , considrense las dos ecuaciones ?
diferenciales ordinarias
a b
.B
.>
: B C
.C
.>
; B C
J BC? BC ? BC ? BC
J BC? BC ? BC ? BC
a b a b a b a b
a b a b a b a b
#"
para las variables con condiciones iniciales . Por B > C > B ! B C ! C a b a b a b a b
! !
los teoremas de existencia y unicidad para ecuaciones diferenciales
ordinarias ellas sern unvocamente determinadas por las curvas , B B > a b
C C > a b junto con la correspondiente curva sobre la superficie integral
B B > C C > D ? B > C > ## a b a b a b a b a b a b
Adems se satisfacen las siguientes ecuaciones
.C .C
.> .> .>
B C B : C ;
.B
? ? ? J ? J #$ a b
.?
.>
BB : BC ;
B
? J ? J #% a b
y
.?
.>
CB ; CC ;
C
? J ? J #& a b
donde , y , . ? ! ? B C D ? ! ? B C : ? ? B C ; a b a b a b a b a b
! ! ! B B ! ! ! C C ! ! !
Suponiendo por otro lado que
J B C ? B C ? B C ! #' a b a b a b a b
B C
y as
J J ? J ? J ? !
B ? B ?B BB ?C CB
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 15
J J ? J ? J ? !
C ? C ?B BC ?C CC
por lo tanto las ecuaciones y pueden escribirse en la forma a b a b #$ #%
.?
.>
B D B
B
J J ? #( a b
y
.?
.>
C D C
J J ? #) a b
donde se supone que . ? ?
BC CB
Examinemos ahora las cinco funciones , B B > C C > D ? B > C > a b a b a b a b a b
: ? B > C > ; ? B > C >
B C
a b a b a b a b a b a b , . Ellas determinan las tiras caractersticas
pues satisfacen las cinco ecuaciones caractersticas y a b a b a b a b #" ## #$ #(
a b a b #) #' , adems de la ecuacin finita . Y ellas determinan una nica tira
caracterstica para el elemento inicial . Pero las tiras B C D : ;
! ! ! ! !
deseadas estn sobre la superficie por definir, as el teorema est
probado.
a b a b
= = =
Para > !
Y = ! : ; ! a b
.D .B
.= .= .=
! !
.C
! ! !
por la condicin de tira, para los elementos iniciales . Mostremos que a b $!
Y ! >
=
ecuacin diferencial ordinaria
.Y
.>
D
J Y
cuya solucin dada por
Y Y ! / a b
J .>
'
!
>
D
Puesto que para se sigue que para todo es decir > ! Y ! >
Z
= = =
T\ U]
Observemos ahora las cuatro ecuaciones
Z
= = = = B = C =
T\ U] ^ ^ \ ^ ]
. ^ T\ U] ^ ^ \ ^ ]
> > > B > C >
>
La primera se sigue de la discusin previa, la segunda es justo la tercera
ecuacin caracterstica, y las ltimas dos por diferenciacin de las
identidades . a b $'
Las cuatro cantidades pueden ser consideradas como dos T U ^ ^
B C
soluciones, para dos ecuaciones lineales en dos variables desconocidas.
Sin embargo, puesto que cerca de el determinante a b 0 (
\ \
] ]
!
= >
= >
en virtud de la ecuacin las dos soluciones son necesariamente a b $&
idnticas, es decir;
T = > ^ B = > C = > a b a b a b a b
B
U = > ^ B = > C = > a b a b a b a b
C
0
a b
: BC ^ BC
; BC ^ BC
a b a b
a b a b
B
C
$)
como queramos demostrar.
Las soluciones contienen la tira inicial. Pues ^ ^ B C a b
^ B C ^ B = ! C = ! ^ = ! ^ = a b a b a b a b a b a b
! ! !
^ B C : B C : B = ! C = ! : = ! : =
B ! ! ! ! !
a b a b a b a b a b a b a b
^ B C ; B C ; B = ! C = ! ; = ! ; =
C ! ! ! ! !
a b a b a b a b a b a b a b
esto en virtud de las ecuaciones y . Para demostrar que a b a b a b $% $' $)
^ ^ B C a b as determinado, es nica, supongamos que existe otra
solucin definida en y contenida en una tira inicial. ^ ^ B C R
w
a b 0 (
Escojamos un punto arbitrario en y resolviendo para y a b B C R = >
w w w w
0 (
en las ecuaciones asociadas se tiene
= = B C > > B C
w w w w w w
a b a b
Consideremos ahora los elementos iniciales . B = C = D = : = ; =
! ! ! !
w w w w w
!
a b a b a b a b a b
Por lo que se ha supuesto estos elementos estn todos colocados sobre la
superficie integral. As la unicidad de la tira caracterstica determinada,
brinda para estos elementos las ecuaciones
B \ = > C ] = > D ^ = > : T = > ; U = > a b a b a b a b a b
w w w w w
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 18
y es preciso tambin considerarlas en ambas superficies. Esto es
^ \ = > ] = > ^ = > ^ \ = > ] = >
w w w w w w
a b a b a b a b a b a b a b
y en particular para tenemos >
w
^ B C ^ \ = > ] = > ^ = >
w w w w w w w w w w
a b a b a b a b a b
. ^ \ = > ] = > ^ B C a b a b a b a b
w w w w w w
Note que tan slo tenemos una nica solucin construida en una vecindad
R 0 ( 0 ( alrededor de un punto en la curva inicial.
Debemos tener la solucin extendida para incluir la curva completa. Esto
puede darse mediante un recubrimiento apropiado de la curva inicial
formado por vecindades en donde vale la unicidad. R 0 (
Supongamos entonces que la regin prxima a la curva inicial es aplicada
homeomrficamente sobre alguna de un -plano tal que la curva inicial ? @
quede aplicada en una porcin de la lnea . El sistema de > ? !
vecindades que tiene por restriccin propia, el tamao de R ? @ R a b 0 (
suponindolas circulares. Consideremos ahora un recubrimiento finito W
de por . Esto se puede tener, dado que la curva inicial y tambin > R ? @ a b
su imagen son compactas. Las intersecciones de este cubrimiento >
tendrn un dimetro mnimo, digamos . (ver la figura). Supongamos <
ahora cubierta con un segundo recubrimiento de vecindades > X R ? @ a b
teniendo dimetro mximo de
<
#
Este recubrimiento tendr entonces la propiedad de que las X
intersecciones de cualquiera de sus vecindades estar completamente
dentro de al menos una de las vecindades del recubrimiento . W
Se consideran las soluciones que han sido construidas por las ^ B C
X
a b
vecindades del cubrimiento . Es claro que ellas definirn una solucin X
del problema de Cauchy para la curva completa. Todo lo que tenemos que
mostrar es que los concuerdan a lo largo de las intersecciones de sus ^
X
respectivas vecindades. Pero esto es claro por la prueba de unicidad para
las vecindades del primer recubrimiento . Hemos visto anteriormente W
que podemos resolver el problema de Cauchy con auxilio de una integral
completa. Existe sin embargo otro tipo de soluciones que es tambin
conveniente para este propsito. A saber, en cada punto en el a b B C D
! ! !
espacio, existe una familia a un parmetro de elementos
B C D : = ; =
! ! ! ! !
a b a b por medio de cada una de las cuales podemos pasar a
las tiras caractersticas. Esta familia, a un parmetro de tiras, formar en
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 19
general, cierta superficie cnica con una singularidad en el punto
a b B C D
! ! !
, para ms detalles ver [2].
H
$
continuas y diferenciables , dan origen a una familia de a b T U V d H
curvas a dos parmetros en el espacio tridimensional. Si podemos
obtener de la ecuacin dos relaciones de la forma a b "
? B C D - ? B C D - #
" " # #
a b a b a b
involucrando dos constantes arbitrarias, entonces variando estas dos
constantes obtenemos una familia a dos parmetros cumpliendo la
ecuacin . a b "
En particular, para hallar las funciones y se observa que para ? ?
" #
cualquier direccin tangencial a travs del punto a la superficie a b B C D
? B C D -
" "
a b se satisface la relacin
`? `? `?
`B `C `D
" " "
.B .C .D !
Si es un adecuado sistema de superficies a un parmetro, la ? -
" "
direccin tangencial a la curva integral a travs de cualquier punto a b B C D
es tambin una direccin tangencial a esta superficie. Por lo tanto
T U V !
`? `? `?
`B `C `D
" " "
Para hallar (y, anlogamente experimentamos con un buen nmero ? ?
" #
de funciones y , de tal manera que se cumpla T U V
w w w
TT UU VV ! $
w w w
a b
y tales que exista una funcin con la propiedad ?
"
T U V %
w w w `? `? `?
`B `C `D
" " "
a b
es decir, tal que
T .B U .C V .D &
w w w
a b
sea una forma diferencial exacta . .?
"
EJEMPLO. Hallar las curvas integrales de las ecuaciones
.B .D
C BC +D B BC +D D BC
.C
a b a b a b
' a b
En este caso tenemos, en la notacin anterior
T C B C +D U B B C +D V D B C a b a b a b
Si por tanteo tomamos
T U V
w w w " "
D D D
BC
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 20
Entonces la condicin es evidentemente verificada y la funcin de la a b $ ?
"
ecuacin tomar la forma a b %
?
"
BC
D
Anlogamente si tomamos
T B U C V +
w w w
de nuevo la condicin se cumple, y la funcin correspondiente es a b $
? B C +D
#
"
#
# #
a b
Por lo tanto las curvas integrales de la ecuacin diferencial son los
miembros de la familia a dos parmetros
B C - D B C #+D - (
" #
# #
a b
Otro camino para obtener estas ecuaciones, es haciendo uso de las
propiedades de las razones aritmticas, as la ecuacin puede a b '
escribirse en la forma
.B.C
BC
.D
D BC
a b
a b
#
Esta es una ecuacin diferencial ordinaria en la variables y cuya B C D
solucin es
B C - D )
"
a b
Anlogamente se pueden hacer combinaciones como sta
B.BC.C
+ BC D D BC
.D
a b a b
la cual es equivalente a
B.B C.C +.D !
de donde sale de la derivacin implicita, que
. B C +D !
" "
# #
# #
obtenindose la otra solucin
B C #+D - *
# #
#
a b
Las ecuaciones y son justamente las mismas de . a b a b a b ) * (
8
necesaria y suficiente para que la ecuacin diferencial
!
a b
3"
8
3 " # 8 3
J B B B .B \ .< !
sea integrable es que . \ <9>\ !
Siendo , y , . \ J J J .< .B .B .B J G a b a b
" # 8 " # 8 3
"
H
La demostracin la hacemos para el caso de tres variables . Se B C D
desprende de esta demostracin un mtodo para calcular la solucin de
una ecuacin diferencial de Pfaffian en tres variables.
BREVES DE LA DEMOSTRACIN. La condicin necesaria se obtiene de los lemas
anteriores. Para la condicin suficiente, considrese constante, en ese D
caso obtenemos la ecuacin diferencial
T B C D .B U B C D .C ! a b a b
que es una ecuacin diferencial en dos variables la cual por el teorema de
existencia siempre tiene solucin, que ser de la forma
? B C D - a b
"
donde es una constante dependiente posiblemente de . As debe - D
"
existir una funcin tal que .
`? `?
`B `C
T U . .
tenindose estonces que
`? `? `? `?
`B `C `D `D
.B .C .D V .D !
.
la cual podemos escribir en la forma
.? O.D !
siendo
O V .
`?
`D
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 22
De la hiptesis se tiene que , as tenemos que \ <9> \ ! a b
a b a b . . \ <9> \ !
Ahora
= . . . . \ T U V O f? ! ! O a b a b
`? `? `?
`B `C `D
Por lo tanto
. . \ <9> \ O ! a b
`? `? `? `O `O `? `O `? `O
`B `C `D `C `B `B `C `C `B
as se obtiene que
` ?5
` BC
a b
a b
!
Del lema 1, se sigue que existe una relacin entre y independiente de ? O
B C D O y pero no de . En otras palabras, puede ser expresada como una
funcin de y solamente y de tal forma que O ? D ? D a b
`?
`D
O ? D ! a b
es una ecuacin diferencial de variable separable cuya solucin es dada
por
Fa b ? D -
con constante. Como es funcin de y tenemos que la solucin ser - ? B C
J B C D - a b
demostrndose que la ecuacin es integrable. T.B U.C V.D !
` 01
` :;
a b
a b
0 B C D : ; ! 1 B C D : ; ! 0 1 ! a b a b y sean compatibles es que donde
0 1 : ;
` 01 ` 01 ` 01 ` 01
` B: ` D: ` C; ` C;
a b a b a b a b
a b a b a b a b
PRUEBA: Como podemos resolver las ecuaciones N !
y 0 B C D : ; ! 1 B C D : ; ! a b a b
para obtener expresiones explicitas para y dadas por (en una variable) : ;
: B C D ; B C D % 9 < a b a b a b
As la compatibilidad de y se reduce a la 0 B C D : ; ! 1 B C D : ; ! a b a b
solucin completa del sistema . En este caso la ecuacin a b %
9 < .B .C .D !
ser integrable. Esta es una ecuacin de que es integrable as Pfaffian
a b a b 9 < 9 < " <9> " !
de donde
9 < < 9 < 9 a b a b a b !
D D B C
que es equivalente a
< 9< 9 <9
B D C D
& a b
Sustituyendo las ecuaciones en y diferenciando a b a b % 0 B C D : ; !
respectivamente con y con obtenemos las ecuaciones B D
0 0 0 !
B : B ; B
9 <
0 0 0 !
D : D ; D
9 <
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 24
de las cuales en realidad se deduce
0 0 0 0 !
B D : B D ; B D
9 9 99 < 9< a b a b
Por analoga se puede decir de la ecuacin que 1 B C D : ; ! a b
1 1 1 1 !
B D : B D ; B D
9 9 99 < 9< a b a b
Resolviendo estas ecuaciones, hallamos que
< 9< 9
B D
"
N ` B: ` D:
` 01 ` 01
' a b
a b a b
a b a b
Si hubieramos diferenciado las ecuaciones dadas con respecto a y a C D
habramos obtenido
9 <9 <
C D
"
N ` C; ` D;
` 0<1 ` 01
( a b
a b a b
a b a b
as, restando las ecuaciones y usando la ecuacin y a b a b a b ' ( &
reemplazando por , respectivamente se obtiene la condicin 9 < : ;
0 1 !
donde
0 1 : ;
` 01 ` 01 ` 01 ` 01
` B: ` D: ` C: ` D;
a b a b a b a b
a b a b a b a b
tenindose que la condicin para que y 0 B C D : ; ! 1 B C D : ; ! a b a b
sean compatibles es que . 0 1 !
a b a b a b
" $ # $ " # $
segn el mtodo de Jacobi se tiene
.B .D
J J J J J J J
.C .? .? .? .?
? ? ? B C C D
" # $
" # $ $
Pero
. J 0 J 1 J 0 1 J 0 J 1 J !
? ? ? ? ? ? ? B B C C D
" " # # $ $ $
Por lo tanto la solucin general saldra de resolver las siguientes
ecuaciones caractersticas
.B .D
0 1 0 1 0 1
.C .? .?
? ? ? ? B C
" # $ $
" #
Ahora para el caso particular se tendra
#B C? ? #C? B ?
# # # #
" "
$ #
o en forma equivalente
, si y slo si , #B ? ? #? B #? ?
# # # # #
" " "
$ $
? ?
C B C
" # #
#
aqu
y 0 B ? ? #? ? 1 C ? ? a b a b
" $ $ # $
"
# "
B C
?
#
#
as la solucin saldra de considerar la ecuacin a b )
.B .D
%? ? B C C ?
.C
#? ! %? B
.? .?
" $ #
# " #
" "
# #
" #
$
e f
De la segunda y de la ltima tenemos
, si y slo si , C.C
C .? .C
? C ?
.?
#
#
# #
#
de donde ; ahora tomando la primera y la cuarta se tiene +C ?
#
, si y slo si ,
.B .B
%? ? B ? B ? B
.? .?
%? B " $ $ "
# $ $
" "
"
# $
a b
* a b
por otra parte de la ecuacin dada, tendremos
, si y slo si , #? ? B + ? B
"
# # #
$ $
+
#?
e f
"
#
por consiguiente sustituyendo en obtenemos a b *
, si y slo si,
#? .B
+ ? + B
B .? .? # .B
?
" " "
#
$
"
$
"
$
!
integrando obtenemos de donde sale que B ? ,
" "
+ #
# # "
"
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 27
?
"
+, B
#
+B ,
#
Por otra parte de la ecuacin dada despejamon obteniendo ?
$
?
$
+B #?
#B ?
# #
"
# #
"
Pero tambin sabemos que , si y slo si , esto
" " " +
#? +B , ,
+B #?
#? B "
#
# #
"
"
# #
significa que . ?
$
+
,
Por la ecuacin del mtodo de Jacobi se sabe que a b ,
.? +C.C .D
+, B.B +
# ,
+B ,
#
integrando ordenadamente obtenemos: . a b
, + +
#+ , ,
# #
+B , C D - ?
"
#
# w
#
` `
`B `C
a b
# #
# #
forma y se dice que es , mientras que a ba b H H H H
w w
reducible
H H
# w
#
` `
`B `C
a b
# #
# #
no puede ser descompuesto en factores y en ese
caso se dice . irreducible
a b + : El punto de partida de la teora de ecuaciones ECUACIONES REDUCIBLES
reducibles es el siguiente resultado:
TEOREMA 4.3. Si el operador es reducible, el orden en que los J H H a b
w
factores lineales ocurren no es importante (conmutatividad)
PRUEBA: Basta con mostrar que
a ba b a ba b ! " # ! " # ! " # ! " #
< < < = = = = = = < < <
w w w w
H H H H H H H H a b %
! ! ! " ! " " " # ! # ! # " # " # #
< = = < < = < = = < < = = < < = < =
# w w w
#
H HH H H H a b a b a b a b
As cualquier operador reducible puede escribirse en la forma
J H H a b
w
<"
8
#
a b a b ! " #
< < <
w
H H &
TEOREMA 4.4. Si ! " # 9 0
< < < <
w w
H H J H H es un factor de y es una a b a b
funcin arbitraria de la variable simple entonces si 0 !
<
!
? /B: B C
< < < <
B
a b
#
!
<
<
9 " !
es solucin de la ecuacin . J H H ! a b
w
PRUEBA: Por diferenciacin directa tenemos
H? ? /B: B C
< < < < <
B
w
# #
! !
< <
< <
" 9 " ! a b
a b a b H ? /B: B C
w w
< < < <
B
! 9 " !
#
!
<
<
as que
a b a b ! " #
< < < <
w
H H ? ! '
Ahora por el teorema 4.3
J H H ? H H H H ? ( a b a b a b a b
w w w
< = = = < < < <
="
8
#
! " # ! " #
El factor que sigue al producto correspondiente al , que est omitido = <
en el producto de se obtiene que es cero, obteniendo el resultado. ' ( a b a b
# !
a b
que es una ecuacin lineal de primer orden con solucin
D - B - /
"
< " #
B
!
# !
<
< <
e f a b 9
La ecuacin , y tambin la ecuacin tiene por solucin a b a b * )
D B B C B C / e f a b a b 9 " ! < " !
< < < < < <
B # !
< <
donde las funciones son arbitrarias. 9 <
< <
"
en hallamos que la solucin de la integral particular es a b "$
`D `D "
`B `C %
#
B C a b
que tiene por solucin en la cual es arbitraria. D B B C 0 B C 0
"
%
#
a b a b
Tomando obtenemos la integral particular 0 !
D B B C
"
%
#
a b
Aqu la solucin general de la ecuacin puede ser escrita en la forma
D B B C B C B C
"
%
#
" #
a b a b a b 9 9
donde las funciones y son funciones arbitrarias. 9 9
" #
5. APLICACIONES A LA FSICA
5.1. ECUACION DE PRIMER ORDEN.
Las ecuaciones diferenciales parciales de primer orden, tienen su
aplicacin en fsica matemtica, en la ecuacin de Hamilton-Jacobi
`W `W `W `W
`> `; `; `;
" # 8
L ; ; ; ! " a b
" # 8
asignada al Hamiltoniano de un sistema L ; ; ; : : : a b
" # 8 " # 8
dinmico de generalizadas y el momento conjugado 8 ; ; ;
" # 8
: : : W
" # 8
. Esta es una ecuacin en la cual la variable que depende de
est ausente, vemos que las ecuaciones caractersticas estn dadas por
.>
" `L`: `L`: `L`; `L`;
.; .; .: .:
#
" 8 " 8
" 8 " 8
a b a b
a b
es decir, ellas son equivalentes a las ecuaciones Hamiltonianas del
movimiento
.; .:
.> `: .> `;
`L `L 3 3
3 3
3 " # 8 $ a b
Una forma modificada de la ecuacin se obtiene escribiendo a b "
W [> W
"
entonces hallamos que
L ; ; ; [ % a b
" # 8
`W `W
`; `;
" "
" 8
Suponiendo, por ejemplo, que un sistema con segundo orden de libertad,
tiene Hamiltoniano
L &
T: U;
# \] \]
# #
B C
a b
0 (
a b
donde , , son funciones de solamente son funciones T \ B C U ] 0 (
solamente de . Entonces la ecuacin llega a ser C % a b
"
#
B C
a b a b a b T: U; [ \ ] ! 0 (
Entonces una de las ecuaciones caractersticas toma la forma
.B
T:
.:
T : [\ B
B
"
#
w w w
B
!
0
tiene por solucin
: # [\ +
B
e f a b 0
"
#
donde es una constante arbitraria. Anlogamente podemos demostrar +
que
; # [] ,
C
e f a b (
"
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 37
donde es una constante arbitraria, teniendo la misma propiedad. As ,
puesto que es una funcin de solamente, y es funcin de : B ; C
B C
solamente, tenemos
W [> # [\ + .B # [] , .C
' '
e f e f a b a b 0 (
" "
# #
demostrando que una solucin de la ecuacin de Hamilton-Jacobi puede
ser algunas veces determinada de un Hamiltoniano de la forma . a b &
Las ecuaciones diferenciales parciales de primer orden tambin surgen
frecuentemente en la teora de procesos de probabilidad. Una tal ecuacin
es la ecuacin de Fokker-Planck dada por
`T ` ` T
`> `B `B
TB H ' " a b a b
#
#
en el caso particular se tiene la ecuacin diferencial parcial; H !
`T `T
`> `B
B T " "
La interpretacin fsica de las variables en esta ecuacin; la probabilidad T
de que una variable casual tome el valor en el tiempo . Por ejemplo B > T
puede ser la distribucin de probabilidad de la posicin de una partcula
en el movimiento Browniano limitado armnicamente (o armnico limitado
) o la distribucin de probabilidad de retencin del sonido de una seal B
elctrica en un tiempo . Observamos que la ecuacin es vlida > ' a b
solamente si la ventaja del proceso tiene una distribucin Gaussiana y es
un proceso de Markoff. Probablemente la ms importante ocurrencia de
las ecuaciones diferenciales parciales de primer orden, es en la teora de
nacimientos y procesos de muerte conectada con bacterias. Supngase,
por ejemplo, que en un tiempo hay exactamente bacterias vivas y que > 8
a b a b + > > > > La probabilidad de bacterias moribundas en un tiempo es $ . $
8
a b a b , > > > > La probabilidad de reproducin bacterial en un tiempo es $ - $
8
a b - La probabilidad de nmero de bacterias permaneciendo constantes en
un tiempo es a b a b > > > " > > $ - $ . $
8 8
a b . La probabilidad de que algunas nazcan o mueran ocurriendo en el
tiempo es cero. a b > > > $
Si suponemos que es la probabilidad de que se tengan bacterias en T > 8
8
a b
un tiempo , entonces esta suposicin nos lleva a la ecuacin >
T > > T > > T > > " > > T >
8 8" 8" 8" 8" 8 8 8
a b a b a b e f a b $ - $ . $ - $ . $
la cual es equivalente a
`T
`>
8" 8" 8" 8" 8 8 8
8
T > T > T > ) - . - . a b a b a b a b a b
En el caso general dependern de y ; si suponemos que la - .
8 8
8 >
posibilidad de la natalidad bacteriolgica es proporcional al nmero
presente, escribimos
- - . .
8 8
8 8 * a b
donde y son constantes y la ecuacin se reduce a - . a b )
`T
`>
8" 8 8"
8
8 " T > 8T > 8 " T > - - . . a b a b a b a b a b a b
y si inducimos una funcin generada definida por la relacin Fa b D >
Fa b a b
!
D > T > D
8!
_
8
8
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 38
Vemos que esta ltima ecuacin es equivalente a la ecuacin lineal de
primer orden
` `
> `D
F F
F
D " D a ba b - .
cuya solucin es demostrada por el lector y se tiene
F 0 / "! a b
. -
- .
D
"D
> a b
de donde se sigue que
0 a b 0
. 0
- 0
7
Por consiguiente en el tiempo >
F
. - .
. - -
a b
"/ D /
/ D "/
a b a b
a b a b
- . - .
- . - .
> >
> >
T > D
8
8
a b es el coeficiente de en la expansin en serie de potencias de esta
funcin. Si entonces cuando , as que la probabilidad de - . F " > _
la ltima expresin es nica.
5.2. . ECUACIN DE SEGUNDO ORDEN EN FSICA
Las ecuaciones diferenciales parciales de segundo orden surgen
frecuentemente en fsica. En efecto es por esta razn que el estudio de
tales ecuaciones son de gran valor prctico. Por el momento nos
limitaremos a mostrar estas ecuaciones cuando surgen considerando que
el flujo es unidimensional as que la corriente y el voltaje en cualquier 3 I
punto en el cable puede ser completamente determinada por una
coordenada espacial y un tiempo variable . Si consideramos la cada de B >
potencial en un elemento lineal de longitud situado en el punto , $B B
hallamos que
- $ $ $ I 3V B P B "
`3
`>
a b
donde es la serie de resistencias por unidad de longitud y es la V P
inductancia por unidad de longitud. Si hay una capacitancia a tierra de G
por unidad de longitud y una conductancia por unidad de longitud K
entonces
3 KI B G B # $ $ $
`I
`>
a b
Las relaciones y son equivalentes al par de ecuaciones diferenciales a b a b " #
parciales
`I `3
`B `>
V3 P ! $ a b
`3 `I
`B `>
KI G ! % a b
Diferenciando con respecto a , obtenemos a b $ B
` I `3 ` 3
`B `B `B`>
# #
#
V P ! & a b
y anlogamente diferenciando con respecto a , obtenemos a b % >
` 3 `I ` I
`B`> `> `>
# #
#
K G ! ' a b
Eliminando y de y se tiene
`3 ` 3
`B `B`>
#
a b a b a b % & '
P PK PG !
` 3 `I ` I
`B`> `> `>
# #
#
y
P V
` 3 ` I `3
`B`> `B `B
# #
#
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 39
as
- + y ,
` I `3 `V ` I `3 `I
`B `B `> `> `B `>
# #
# #
V PK PG ! IK G
por lo tanto
-
` I `V `I ` I
`B `> `> `>
# #
# #
VKI VG PK PG !
lo cual es equivalente a
`I ` I ` I
`> `> `B
e f VG PK PG VKI
# #
# #
Hemos as hallado que satisface la ecuacin diferencial parcial de I
segundo orden
` ` `
`B `> `>
# #
# #
F F F
PG VG PK VK ( a b a b F
Anlogamente si diferenciamos con respecto a , con respecto a y a b a b $ > % B
eliminamos
y
` I `I
`B`> `B
#
de la ecuacin restante y hallamos que es tambin una solucin de la a b $ 3
ecuacin a b (
La ecuacin , es llamada la y otros. Si a b ( ecuacin telegrfica de Poincar
la corriente que sale de tierra es pequea, se sigue que y pueden K P
tomarse como cero y la ecuacin toma la forma reducida a b (
` " `
`B O `>
#
#
F F
) a b
donde es una constante. Esta ecuacin es llamada O VG a b
"
ecuacin
telegrfica; nos referimos a ella como a la ecuacin uno dimensional de
difusin.
Si miramos a las ecuaciones y , esto es equivalente a tomar y a b a b $ % K V
como cero en las ecuaciones en cuyo caso sta se reduce a a b (
` " `
`B - `>
# #
# # #
F F
* a b
donde . Esta ecuacin es al mismo tiempo referida, en este - PG a b
"
#
contexto, a la ecuacin del radio; referindonos al caso de la ecuacin de
onda en una dimensin.
Una ecuacin diferencial parcial de segundo orden, diferente en caracter
de cualquiera de las ecuaciones o , surgidas en electrosttica tiene a b a b ) *
por solucin el modelo de los operadores de Fourier conocido
ampliamente en los cursos de ingenieria y de fsica (lo mostraremos en
6). Por las leyes de Gauss de electrotcnia conocemos al flujo del vector
electricidad fuera de una superficie limitada a un volumen y es I W Z %1
veces la carga contenida en . As si es la densidad de la carga elctrica, Z 3
tenemos
' '
W Z
I.= % . 1 3 7
Usando el teorema de Green en la forma
' '
W Z
I.= .3@I.7
y recordando que el volumen es arbitrario, vemos que la ley de Gauss es Z
equivalente a la ecuacin
.3@I % "! 13 a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 40
Ahora es probable demostrar que el campo electrnico es caracterizado
por el hecho de que es derivable de una funcin potencial por la I F
ecuacin
I 1<+.F
a b ""
eliminando entre las ecuaciones y , hallamos que satisface la I "! "" a b a b F
ecuacin
f % ! "#
#
F 13 a b
donde hemos escrito para el operador que en ecuaciones f .3@ 1<+.
#
a b
rectangulares cartesianas toma la forma
` ` `
`B `C `D
# # #
# # #
"$ a b
La ecuacin es conocida como ecuacin de Poisson. En ausencia de a b "#
carga, es cero, y la ecuacin se reduce a la forma simple 3 a b "#
f ! "%
#
F a b
Esta ecuacin es conocida como ecuacin de Laplace o la ecuacin
armnica.
Si tratamos con un problema en cual la funcin potencial no vara con , F D
hallamos que es reemplazado por f
#
f "&
#
"
` `
`B `C
# #
# #
a b
y la ecuacin de llega a ser LAPLACE
f ! "'
#
"
F a b
de la cual surge una ecuacin armnica de segundo orden. El operador de
Laplace ocurre frecuentemente en fsica matemtica, y en gran f
#
?
cantidad de problemas es til transformar coordenadas cartesianas a B C D
otro sistema curvilneo ortogonal dado por las ecuaciones
? ? B C D ? ? B C D ? ? B C D
" " # # $ $
a b a b a b
a b "(
La transformacin Laplaciana en estas circunstancias se efecta mejor
con ayuda del clculo vectorial que demuestra que en el sistema ? ? ?
" # $
?Z ")
" ` `Z ` `Z ` `Z
2 2 2 `? 2 `? `? 2 `? `? 2 `?
2 2 2 2 2 2
" # $ " " " # # # $ $ $
# $ $ " " #
a b
donde
2 3 " # "*
3
# `B `D
`? `? `?
# # #
`C
a b
3 3 3
-
8
Reemplazando en los valores que hemos hallado para los coeficientes, a b #
obtenemos la solucin de nuestro problema
a b a b a b
a b a b a b
" "" "# B
# #" ## B
!
"
: , GM ? B ! 0 B ! B : a b a b
donde es proporcional al origen de la fuente del calor. Para resolver ; B > a b
problemas de esta naturaleza de generalidad consideraremos dos casos
especiales.
6.8. . TERMINOS NO HOMOGENEOS INDEPENDIENTES DEL TIEMPO
Cuando el origen del calor no cambia con el tiempo es llamado caso
estable y en este caso se tiene que
; B > : B a b a b
Si las condiciones de frontera son tambin independientes del tiempo, es
decir si
F ? X F ? X
" " # #
donde y son constantes, entonces el problema es formalizado por X X
" #
, , ? + ? : B ! B : > !
BB >
#
a b
: , , GJ F ? X F ? X > ! "
" " # #
a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 49
: , GM ? B ! 0 B ! B : a b a b
Para hallar la solucin, usamos la misma conjetura formulada en 6.6,
afirmando que puede ser expresada como la suma ?
? B > = B @ B > a b a b a b
donde denota la solucin estable y es la solucin transitoria. La = B @ B > a b a b
sustitucin en nos conduce a a b "
, , = @ B > + @ : B ! B : > !
ww #
>
a b a b
: , , GJ F = F @ X F = F @ X > !
" " " # # #
: GM = B @ B ! 0 B ! B : a b a b a b
de donde se deduce que es una solucin del problema de EDO = B a b
= : B F = X F = X
ww
" " # #
a b
y satisface el problema de EDPH @ B > a b
, , @ + @ ! B : > !
BB >
#
: , , GJ F @ ! F @ ! > !
" #
: , GM @ B ! 0 B = B ! B : a b a b a b
entonces es la solucin verdadera del problema ? B > = B @ B > a b a b a b
original. Una vez ms tenemos el problema reducido a un conjunto de
soluciones de ecuaciones cuya tcnica de solucin realmente ya es
conocida.
6.9. . METODO DE EXPANSION DE FUNCIONES PROPIAS
Cuando el origen del calor cambia con el tiempo tenemos el caso no
estable, para hallar la solucin se generaliza el mtodo de variacin del
parmetro utilizado para obtener la solucin particular de una EDLO no
homognea, cuando se obtiene la famosa frmula de Green. Para ilustrar
el mtodo hallemos la solucin del problema unidimensional del calor no
homogneo siguiente
, , ? + ? ; B > ! B : > !
BB >
#
a b
: GJ
5 ? ! > 5 ? ! > !
6 ? : > 6 ? : > !
a b a b
a b a b
" # B
" # B
: , GM ? B ! 0 B ! B : a b a b
Por el mtodo de separacin de variables se halla la solucin de la
ecuacin homognea
? + ?
BB >
#
suponiendo como es conocido que es la forma de la ? B > J B K > a b a b a b
solucin, de aqu se deduce que satisface al problema S-L siguiente J B a b
J J !
ww
-
5 J ! 5 J ! !
6 J : 6 J : !
"
" #
w
" #
w
a b a b
a b a b
a b
Del estudio de los problemas de Sturm-Lioville se deduce la obtencin
del conjunto de valores propios y un conjunto de e f e f - 9
8 8
8" 8"
_ _
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 50
funciones propias ortogonales en el intervalo , y tales que ! B :
9 - 9
8
ww
8 8
8 " # , . Como en el caso de variacin del parmetro
afirmamos que
? B > I > B a b a b a b
!
8"
_
8 8
9
es solucin de prueba para
? + ? ; B >
BB >
#
a b
donde las funciones de , deben ser determinadas, as > I >
8
a b
? B > I > B
> 8
8"
_
w
8
a b a b a b
!
9
y
? B > I > B I > B
BB 8 8 8 8
8" 8"
_ _
ww
8
a b a b a b a b a b
! !
9 - 9
Por otra parte la ecuacin dada toma la forma
+ ; B > ? + ?
# #
> BB
a b
y sustituyendo obtenemos
+ ; B > I > B + I > B
# w #
8" 8"
_ _
8
8 8 8 8
a b a b a b a b a b
! !
9 - 9
+ ; B > I > + I > B #
# w #
8"
_
8
8 8 8
a b c d a b a b
!
a b a b - 9
Para un fijo, podemos interpretar como un desarrollo generalizado > # a b
de Fourier de , cuyos coeficientes estarn dados por + ; B >
#
a b
I > + I > + ; B > B .B $
w # #
8
8 8 8 8
#
!
:
a b a b l l a b a b a b - 9 9
'
donde
, , , , l l c d
'
a b 9 9
8 8
# #
!
:
B .B 8 " # $
Denotemos con
, , , , U > ; B > B .B 8 " # $
8
8 8
#
!
:
a b l l a b a b 9 9
'
Entonces la ecuacin
I > + I > + U >
8
w # #
8 8 8
a b a b a b -
es una ecuacin diferencial lineal de primer orden cuya solucin es dada
por
, , , , I > - + / U . / 8 " # $
8 8 8
# + + >
!
>
a b a b
'
# #
8 8
- 7 -
7 7
(suponiendo , , , ) donde los son constantes arbitrarias. -
8 8
! 8 " # -
Finalmente, al sustituir obtenemos la solucin formal I >
8
a b
? B > - + / U . B / a b a b a b
!
8"
_
8 8 8
# + + >
!
>
'
# #
8 8
- 7 -
7 7 9
Las constantes , , , son determinadas haciendo uso de la - 8 " #
8
condicin inicial , as a b GM
? B ! 0 B - B a b a b a b
!
8"
_
8 8
9
y por consiguiente
, , , , - B 0 B B .B 8 " # $
8 8 8
#
!
:
l l a b a b a b 9 9
'
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 51
E J E R C I C I O S
". Verificar que las siguientes funciones son soluciones de la ecuacin de
Laplace ? ? !
BB CC
+ ? #BC , ? B $BC - ? / C ) ) )
$ # B
sin
. ? B C / ? CB 0 ? B 'B C C ) ) ) sin sin arctana b
% # # %
# ? " B C D . Demostrar que es solucin de la ecuacin
# # #
? ? ? !
BB CC DD
3. Verificar que satisface la ecuacin de Laplace ? B C + B C , a b a b ln
# #
? ? ! + , ?
BB CC
y determinar y de manera que satisfaga las condiciones
de frontera sobre el crculo y sobre el crculo ? ! B C " ? &
# #
B C *
# #
.
%. Verificar que las siguientes funciones son soluciones de la ecuacin
? - ? -
> BB
# #
, determinando en cada caso el valor de la constante
+ ? / B , ? / $B - ? / B ) ) )
#> > %>
cos sin cos:
5. Verificar que las siguientes funciones son soluciones de la ecuacin
? - ? -
>> BB
# #
, determinando en cada caso el valor de la constante
+ ? B %> , ? B $B> - ? -> B ) ) )
# # $ #
sin sin : :
' ? B > @ B -> A B -> @ A . Demostrar que , donde y son funciones a b a b a b
cualesquiera diferenciables dos veces, es una solucin de la ecuacin
. ? - ?
>> BB
#
Si una ecuacin diferencial parcial contiene derivadas con respecto a una
de las variables independientes nicamente, puede resolverse como una
ecuacin diferencial ordinaria, tratando las otras variables independientes
como parmetros.
7. Resolver las ecuaciones siguientes, donde ? ? B C a b
+ ? %? ! , ? #C? ! - ? #BC? ) ) )
BB C B
. ? ! / ? ? 0 ? ? ! ) ) )
BC BC B BC B
8. Resuelva las siguientes ecuaciones diferenciales parciales
+ ? C ! , ? #BC - ? #? / ) ) )
B C C
C
. ? )BC " / ? BC ! 0 ? " ) ) )
BB CC BC
#
sin
1 ? #B %C 3 ? ? 'B/ 4 ? #C? %BC ) ) )
BC BC C BC B
B
5 ? B ? B/ 6 ? C ? C #B ) )
CC BB
# %C #
sin
9. Determine si el mtodo de separacin de variables es aplicable a las
ecuaciones dadas. Si lo es, obtenga las soluciones en forma de producto
+ ? ? , ? $? ! - ? ? ?
B C B C B C
, ? ? ? / B? C? 0 C? B? !
B C B C B C
1 ? ? ? ! 2 C? ? ! 3 ? ? !
BB BC CC BC BB CC
4 5? ? ? 5 ! 5 5? ? 5 ! 6 + ? ? ,
BB > BB > BB >>
#
7 + ? ? #5? 5 ! 8 B ? ? ! 9 ? ? ?
# #
BB >> > BB CC BB CC
, >
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 52
: + ? ? ? ; + ? 1? ? 1 , es constante.
# #
BB CC BB >>
10. Resuelva las ecuaciones dadas sujetas a las condiciones indicadas.
+ ? 'B ? ! C C ? " C C " ; ,
BB
#
a b a b
, C? ? ! ? B " B ? B / " ; , .
CC C
#
a b a b
11. Obtenga la ecuacin unidimensional de onda.
12. Halle la solucin del problema siguiente
< <
` ? ` ?
`> `B
#
# #
# #
- ! B "
: , para todo t GJ ? ! > ! ? " > ! a b a b
: , GM ? B ! 0 B ? B ! ! a b a b a b
>
13. Halle la solucin del flujo unidimensional de calor dado por el
problema
< <
`? ` ?
`> `B
#
- ! B "
#
#
: , para toda t GJ ? ! > ! ? " > ! a b a b
: GM ? B ! 0 B a b a b
14. Hallar el flujo de calor en una barra infinita.
15. Deducir la ecuacin bidimensional de onda o de la membrana
vibrante.
16. Halle la solucin del problema siguiente
` ? ` ? ` ?
`> `B `C
#
# # #
# # #
-
: sobre la frontera de la membrana para toda GJ ? ! > !
: , . GM ? B C ! 0 B C 1 B C a b a b a b
`?
`>
>!
Halle la solucin a los siguientes problemas
17) , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > ! ? " > ! a b a b
: GM ? B ! $ B & % B a b sin sin 1 1
18) , < < , > ? + ? ! B : > !
BB >
#
: , GJ ? ! > ! ? : > ! a b a b
: GM ? B ! B : B a b a b
19) , < < , > ? + ? ! B "! > !
BB >
#
: , , > GJ ? ! > "! ? "! > $! > ! a b a b
: , < < GM ? B ! ! ! B "! a b
20) , < < , ? + ? ! B " > !
BB >
#
: , , > GJ ? ! > X ? " > ? " > X > ! a b a b a b
" B #
: , . GM ? B ! X ! B ! a b
"
21) = , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > " ? " > ! a b a b
: GM ? B ! X a b
!
22) = , < < , > ? + ? ! B # > !
BB >
#
: , GJ ? ! > X ? # > X a b a b
" #
GM ? B ! X : a b
!
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 53
23) = , < < , > ? + ? ! B : > !
BB >
#
: , GJ ? ! > ! ? : > !
B B
a b a b
: GM ? B ! X B: a b a b
!
#
sin 1
24) = , < < , > ? + ? ! B : > !
BB >
#
: , GJ ? ! > ! ? : > X
B !
a b a b
: GM ? B ! X a b
!
25) = , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > X ? " > X a b a b
! !
: GM ? B ! X B " B a b a b
!
26) = , < < , > ? + ? ! B " > !
BB >
#
: , GJ ? ! > X ? " > ! a b a b
" B
: GM ? B ! B a b
27) = , < < , > ? + ? B > !
BB >
#
1 1
: , GJ ? > ? > ? > ? > a b a b a b a b 1 1 1 1
B B
: | |. GM ? B ! B a b
28) = , < < , < ? + ? " ! B " > !
BB >
#
: , GJ ? ! > ! ? " > ! a b a b
: GM ? B ! a b
B
#
29) , < < , > ( constante) ? ? E ! B : > ! E
BB >
: , ( constante) GJ ? B ! X ? " > X X a b a b
" " "
: ( constante). GM ? B ! X X a b
! !
30) , < < , > ? + ? 'B ! B " > !
BB >
#
: , GJ ? ! > ! ? " > !
B
a b a b
: . GM ? B ! /B " a b
31) , < < , ? + ? + A> ! B > !
BB >
#
cos 1
: , GJ ? ! > ! ? > !
B B
a b a b 1
: GM ? B ! ! a b
32) , < < , > ? ? / ! B " > !
BB >
>
: , GJ ? ! > ! ? " > !
B B
a b a b
: . GM ? B ! ! a b
33) , < , > ( , son constantes) ? ? E/ ! B " > ! E ,
BB >
,B
: , GJ ? ! > ! ? " > ! a b a b
: . GM ? B ! " / a b
,B E
,
#
34) , < < , > ? - ? ! > " > !
BB >>
#
: , GJ ? ! > ! ? " > ! a b a b
: , ( constante) GM ? B ! ! ? B ! @ @ a b a b
> ! !
35) = , < < , > ? - ? ! > > !
BB >>
#
1
: , GJ ? ! > ! ? > !
B B
a b a b 1
: , GM ? B ! " # $B ? B ! & #B a b a b cos cos
>
36) = , < < , > ? - ? ! > " > !
BB >>
#
: , GJ ? ! > ! ? " > ! a b a b
: , GM ? B ! B " B ? B ! ! a b a b a b
>
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 54
37) = , < < , ? - ? T A> ! > > !
BB >>
#
sin 1
: , GJ ? ! > ! ? " > ! a b a b
: , GM ? B ! ! ? B ! ! a b a b
>
38) , < < , > ? + ? ! B _ > !
BB >
#
: , cuando , GJ ? ! > ! ? B > ! B _ > ! a b a b
: , < < GM ? B ! 0 B ! B _ a b a b
39) , < < , > ? + ? _ B _ > !
BB >
#
: , cuando | | , > GJ ? B > ! ? B > ! B _ > ! a b a b
B
: , < < GM ? B ! 0 B _ B _ a b a b
40) , < < , > ? + ? ; B > _ B _ > !
BB >
#
a b
: , cuando | | , > GJ ? B > ! ? B > ! B _ > ! a b a b
B
: , < GM ? B ! 0 B _ B _ a b a b
41) , < < , < < ? ? - ? ! B + ! C ,
BB CC >>
#
: , GJ GM
? ! C > ! ? + C > !
? B ! > ! ? B , > !
? B C ! B C
? B C ! !
a b a b
a b a b
a b
a b
C C >
42) , < < , < < , > ? ? + ? ! B ! C > !
BB CC >
#
1 1
: GJ
? ! C > ! ? C > !
? B ! > ! ? B > !
a b a b
a b a b
B
C
1
1
: GM ? B C ! B C a b
43) , < < , < < ? ? ? ! B " ! C
BB CC >
1
: GJ
? ! C > ? " C > !
? B ! > ! ? B > !
a b a b
a b a b
B
C
1
: . GM ? B C ! BC a b
44) Hallar la solucin del problema siguiente:
, < < , > ? ? ! B _ > !
BB >>
: , , cuando GJ ? ! > ! ? B > ! B _
B
a b a b
: , . GM ? B ! / ? B ! ! a b a b
B
>
45) Hallar la solucin del problema siguiente:
, < < , > ? ? ! B " > !
BB >>
: , , > GJ ? ! > ! ? " > ! > ! a b a b
: , GM ? B ! B " B ? B ! ! a b a b a b
>
******
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 55
. EL LAPLACIANO Y EL POTENCIAL (
7.1. EN COORDENADAS POLARES
Sean y las coordenadas polares para < )
un punto entonces se tiene : : B C a b
= , = B < C < cos sin ) )
Se sabe que el Laplaciano en coordenadas rectangulares es dado por
f ?
# ` ? ` ?
`B `C
# #
# #
Para obtenerlo en coordenadas polares hacemos uso de la regla de la
cadena. En esta forma
= + ? ? < ?
B < B B )
)
Derivando esto nuevamente con respecto a , se tiene B
= + ? ? < ?
BB < B B B
B
a b a b
)
)
= + + + a b a b ? < ? < ? ?
< B B < BB B BB
B
) )
) )
= + + a b a b ? < ? < ? < ? < ? ?
<< B < B B < BB < B B B BB ) ) )) )
) ) ) )
As,
+ + + + ? ? < #? < ? < ? ? "
<< << < B B < BB BB
B
# #
) )) )
) ) ) a b
Ahora para determinar y se tiene que <
B B
)
y = < B C CB
a b
# #
) arctan
entonces
= = , = <
B B
B B
B C
< <
CB
" CB
C
a b
# #
#
# #
)
= = = , = = < C #< <
BB BB B
<B<
< < < < <
" B C #BC
$ B
# $ $ %
# #
) a b
Sustituyendo en se obtiene a b "
= + + + ? ? # ? ? ? # ?
BB << < <
B
< < < < <
BC C C BC
#
# $ % $ %
# #
) )) )
De manera semejante se obtiene
= + + + ? ? # ? ? ? # ?
CC << < <
C BC BC
< < < < <
B B
#
# $ % $ %
# #
) )) )
Sumando se obtiene el Laplaciano en coordenadas polares
= + + f ?
# ` ? " `? " ` ?
`< < `< < `
# #
# # #
)
#
[ [ 5
Esto proporciona las dos ecuaciones lineales ordinarias
K 5 - K ! [ [ 5 [ !
# # ww w # "
<
SEGUNDO PASO: Introduciendo la nueva variable = se tiene = por la = 5<
" 5
< =
regla de la cadena
y [ 5 [ 5
w ww # .[ .[ .= .[ . [
.< .= .< .= .=
#
#
Sustituyendo y omitiendo el factor comn , se obtiene: 5
#
. [ " .[
.= = .=
#
#
[ !
Esta es la , con = . La solucin general es Ecuacin de Bessel @ !
[ - N = - ] =
" ! # !
a b a b
donde y son funciones de Bessel dadas por N ]
! !
, = + N = ] N = = =
! ! !
! #7
7! 7"
_ _
" = " 2
# 7x # 7x
! !
a b
a b a b
a b a b
7 7" #7
#7 #7
# #
7
ln
donde = + + + + . Como la deformacin de la membrana 2 "
7
" " "
# $ 7
siempre es finita y como no puede usarse y debe elegirse lim
=!
! !
] = _ ] a b
- ! - ! - "
# " "
. Si se desean soluciones no triviales, puede tomarse
entonces = = . [ < N = N 5= a b a b a b
! !
Por , se tiene = . Si = entonces = . GJ ? V > [ V K > ! K > ! ? < > ! a b a b a b a b a b
Si entonces = o sea = esto es = , K > ! [ V ! N 5V ! 5V a b a b a b
! 7
!
7 " # $ 5 5 7 " # $ , , , o bien = = , = , , . De aqu que
7
V
!
7
[ N 5 < N <
7 ! 7 !
V
a b
!
7
son las soluciones que se anulan en . Las soluciones generales de < V
K > a b son
= . K > + > , >
7 7 7 7 7
a b cos sin - -
De aqu que las funciones
= + ? < > + > , > N 5 >
7 7 7 7 7 ! 7
a b a b a b cos sin - -
sonlas dela onda circular, donde . funciones propias -
7 7
-5
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 57
TERCER PASO : Por el principio de superposicin de soluciones tenemos que
= ? < > + > , > N < a b a b
!
7"
_
7 7 7 7 !
V
cos sin - -
!
7
Haciendo = y usando tenemos > ! GM
= ? < ! + N < 0 < a b a b
!
7"
_
7 !
V
!
7
Ya hemos mostrado que la coleccin es un conjunto - e f a b N 5 < <
! 7
ortogonal en el intervalo por lo tanto est desarrollado en serie ! V 0 < a b
generalizada de Fourier Bessel por lo tanto
= = + <0 < N < .<
7 !
0 < N 5 <
N 5 <
#
V N !
V
V
a b a b
l l a b
a b
! 7
! 7
# # #
"
7
7
!
!
'
a b
Ahora derivando con respecto a tenemos >
= ? < > + > , > N <
> 7 7 7 7 7 7 !
7!
_
V
a b a b
!
- - - - sin cos
!
7
por tenemos GM
= = ? < > 1 > , N <
> 7 7 !
7"
_
V
a b a b
!
-
!
7
de donde se obtiene que
. , <1 < N < .<
7 !
#
V N !
_
V - !
!
7 7
#
!
#
7
a b
'
a b
7.3. EL POTENCIAL. EL LAPLACIANO EN COORDENADAS ESFRICAS
Las coordenadas esfricas estan dadas por:
= , = , = B C D 3 ) 9 3 ) 9 3 9 cos sin sin sin cos
Si entonces , , < B < C < < D 3 9 ) ) 3 sin cos sin
# #
En esta forma . Se puede mostrar que en coordenadas 9 +<- -9>
D
<
cilndricas el Laplaciano est dado por
= + + + f ? ? ? ? ?
#
<< < DD
" "
< <
# ))
A partir de esto obtengamos el Laplaciano en coordenadas esfricas,
primero
= , = = 3 9
D D
D < <
< D 3 3
# # #
Derivando nuevamente
= = = 3
DD
D D < 3 3 3
3 3 3
D
# # #
# # #
= = 9
DD
#< #D< 3
3 3
D
$ %
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 58
Anlogamente
= , = = = 3 3
< <<
< D < <
3 3 3 3
3 3 3
<
# $ $
# # #
= = , = = = 9 9
< <<
D D #D<
< D
#D #D
# # # % $ %
< <
3 3 3 3
33 3
Ahora
= + = + ? ? ? ? ?
< < <
< D
3 9 3 9
3 3
3 9
#
= + + ? ? ? ? ? ? ?
<< < < < << < < < <<
a b a b
33 39 3 93 99 9
3 9 3 3 3 9 9 9
= + + + + ? #? ? ? ?
33 39 3 99 9
3 9 3 3 9 9
# #
< <
< < << <<
As
= + + + ? ? ? ? ? ?
<<
< #<D D D #<D
33 39 3 99 9
3 3 3 3 3
# # #
# $ $ % %
Derivando con se tiene = + D ? ? ?
D D D 3 9
3 9
= + + + + + ? ? ? ? ? ? ?
DD D D D DD D D D DD
a b a b
33 39 3 93 99 9
3 9 3 3 3 9 9 9
= + + + ? # ? ? ? ?
33 39 3 99 9
3 3 3 3 3
D D< < < #D<
# # #
# $ $ % %
Sumando con tenemos ? ?
<< DD
+ = + + ? ? ? ? ?
<< DD
< D < D < D
33 3 99
3 3 3
# # # # # #
# $ %
= + + ? ? ?
33 3 99
3 3
" "
#
+
" " " D
< <
<
? ? ?
3 3
3 9 #
As ;
= + + + f ? ? ? ? ? ? ? ? ? ?
#
<< < DD
" " # " "
< <
# # # # # )) 33 3 99 )) 9
3 3 3 9 3
9
sin
cot
Luego
= f ?
# # " ` `? " ` `? " ` ?
` ` ` ` ` 3 3 3 9 9 9 9 )
# # #
#
3 9
sin sin
sin
7.4. : Supongamos la distribucin de un POTENCIAL ELECTRICO EN UNA ESFERA
potencial elctrico fijo sobre una esfera de radio donde , ? V W V < a b ) 9
) 9 , son las coordenadas esfricas. Se desea hallar el potencial en todos ?
los puntos del espacio, los cuales se suponen libres de otras cargas. Este
problema se plantea por la solucin de
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: GM ? V < ! lim
<_
a b 9
: = GM ? V 0 a b a b 9 9
Por el mtodo de Fourier supongamos que = es la ? < K < L a b a b a b 9 9
solucin de prueba por lo tanto y deben ser tales que K L
" . .K " . .L
K .< .< L . .
#
<
sin9 9 9
sin9
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 59
Entonces existe una constante tal que 5
" . .K " . .L
K .< .< L . .
#
< 5 5
sin9 9 9
sin9
de modo que
" . .L " . .K
. . K .< .<
#
sin9 9 9
sin9 5L ! < 5
La ltima ecuacin toma la forma
+ = < K #<K 5K !
# ww w
Esta es una ecuacin de Euler-Cauchy y tiene por solucin de prueba a
K < < a b = y estas soluciones son particularmente simples si se toma
!
5 8 8 " a b en ese caso
+ = < K #<K 8 8 " K !
# ww w
a b
tenindose
c d a b a b ! ! ! " # 8 8 " < !
!
de donde , y, ! ! 8 8 "
De aqu se obtienen las soluciones
y = K < < K <
8
8
8
"
<
a b a b
8"
Para la ecuacin diferencial de tenemos L
=
" . .L
. . sin9 9 9
a b sin9 8 8 " L !
haciendo = se tiene = y como [ " [ cos sin 9 9
# #
= =
. . .[ .
. .[ . .[ 9 9
sin9
tenemos,
+ =
. . L
.[ .[
#
c d a b a b " [ 8 8 " L !
#
#
o bien,
+ = a b a b " [ #[ 8 8 " L !
# . L .L
.[ .[
#
#
Esta es la ecuacin de Legendre y tiene por solucin a los polinomios de
Legendre
= = = , , , L : [ : 8 ! " #
8 8
a b a b cos9
De donde se obtiene la solucin del problema
= , = ? < E < : ? < :
8 8 8 8
8
8
F
<
a b a b a b a b 9 9 9 9 cos cos
8
8"
donde = , , , y , son constantes. Por el principio de 8 ! " # E F
8 8
superposicin de soluciones se obtienen las llamadas: solucin interna y
la solucin externa dadas por
= , = ? < E < : ? < :
M 8 I
8! 8"
_ _
8 8 8
F
<
a b a b a b a b
! !
9 9 9 9 cos cos
8
8"
Por las condicin se determinan las constantes GM
= , ? V E V : 0 ? V : 0
M 8 I
8! 8"
_ _
8 8 8
F
V
a b a b a b a b a b a b
! !
9 9 9 9 9 9 cos cos
8
8"
Como es un conjunto ortogonal entonces e f a b :
8
cos9
= , =
~
E V 0 [ : [ .[ 0 [ : [ .[
8 8 8
8 #8" #8"
# V #
" "
" "
F
' '
a b a b a b a b
8
8"
donde . Ya que y los lmites de integracin
~
0 [ 0 .[ . a b a b cos sin 9 9 9
" " ! y corresponden a y 9 1 9
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 60
= , E 0 : .
8 8
#8"
#V
!
8
'
1
a b a b 9 9 9 9 cos sin
y
F 0 : . < V
8 8
V #8"
#
!
8"
a b
'
1
a b a b 9 9 9 9 cos sin
7.5. : Se considera el flujo elctrico en un par de LINEAS DE TRANSMISION
conductores lineales, tales como cables telefnicos o una lnea de
transmisin elctrica. Consideremos una carga lineal de transmisin
imperfectamente aislada como se indica en la figura.
Supongamos que fluye una corriente elctrica desde hasta el la fuente E
extremo en el sentido indicado en la figura. Designemos por receptor F
B 3 la distancia a lo largo del cable; tanto la corriente como la diferencia
de potencial entre los dos cables son funciones de de . Designemos / B >
por la resistencia por unidad de longitud de los cables, por la V K
conductancia por unidad de longitud entre los cables, por la # G
capacitancia por unidad de longitud de los cables y por la inductancia # P
por unidad de longitud. Consideremos ahora un elemento de lnea de
transmisin de longitud . Si la fuerza electromotriz en un punto es ?B B
/ B > a b entonces se calcula la cada de potencial a lo largo de un elemento
de longitud , tenindose B
= + + / B > 3V B P B / B B > " a b a b a b ? ? ?
`3
`>
Sin embargo, por el desarrollo de Taylor, tenemos
= + + / B B > / B > B a b a b ? ?
` /
`B
donde se desprecian trminos de segundo orden y superiores.
Sustituyendo este valor en (1) tenemos
= + 3V P
` / ` 3
`B `>
Si se designa por la corriente que entra en una seccin de longitud 3 B > a b
? ? B 3 B B > y por ) la corriente que sale de ese elemento, se puede a b
escribir
= + + 3 B > /K B G B 3 B B > # a b a b a b ? ? ?
` /
`>
donde es la corriente que pasa a travs del aislador y la /K B G B ? ?
` /
`>
corriente invertida en la carga del condensador. Mediante el desarrollo de
Taylor se tiene
= + + 3 B B > 3 B > B a b a b ? ?
` 3
`B
Sustituyendo esta expresin en se obtiene a b #
= + /K G
` 3 ` /
`B `>
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 61
Las ecuaciones
/ 3V P3
3 IK G/
B >
B >
constituyen un sistema simultneo de ecuaciones diferenciales parciales
de primer orden. Para obtener la diferencia de potencial, hallamos la
derivada parcial a la segunda ecuacin con respecto a , obteniendo B
= + K G
` 3 ` / ` ` /
`B `B `> `B
#
#
Sustituyendo el valor de se tiene
` /
`B
= + +
` 3 ` / ` 3
`B `> `>
# #
# #
PG PK VG VK3 $ a b a b
Anlogamente se obtiene la ecuacin para la corriente
= +
` / ` / ` /
`B `> `>
# #
# #
PG PK VG VK/ % a b a b
Las ecuaciones y se conocen como las a b a b $ % ecuaciones del telfono.
En muchas aplicaciones para las seales telegrficas, la dispersin es K
pequea y el trmino debido a la inductancia es despreciable, de modo P
que se puede suponer . Las ecuaciones toman, en este caso, la K P !
forma simplificada
a b
` 3 ` 3
`B `>
` / ` /
`B `>
#
#
#
#
VG
VG
&
estas ecuaciones se conocen como las o ecuaciones de los telegrafistas
del cable.
Para frecuencias elevadas los trminos con derivadas respecto al tiempo
son grandes, pudindose encontrar algunas propiedades cualitativas de
la solucin, despreciando los trminos de dispersin y resistencia o sea
K V !, las ecuaciones se reducen a
a b
` 3 ` 3
`B `>
` / ` /
`B `>
# #
# #
# #
# #
PG
PG
'
Haciendo = se ve en este caso que tanto la corriente como la @
"
PG
"
#
"
#
>
2. Estudiar las soluciones del siguiente problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 62
+ + = , , ? ? ? ! ! <
<< <
" "
< <
# ))
3 1 ) 1
:
es finito
,
GJ
? < >
? < ? < ? < ? <
a b
a b a b a b a b
lim
<!
1 1 1 1
) )
: , GM ? 0 a b a b 3 ) ) 1 ) 1
3. Hallar la solucin del problema siguiente
+ + = , , ? ? ? ! ! <
<< <
" "
< <
# ))
3 1 ) 1
:
es finito
,
GJ
? < >
? < ? < ? < ? <
a b
a b a b a b a b
lim
<!
1 1 1 1
) )
: , GM ? a b 3 ) ) 1 ) 1 cos
#
4. Hallar la solucin del problema siguiente
+ + , , ? ? ? ! ! <
<< <
" "
< <
# ))
3 1 ) 1
:
es finito
,
GJ
? < >
? < ? < ? < ? <
a b
a b a b a b a b
lim
<!
1 1 1 1
) )
: = | |, GM ? a b 3 ) ) 1 ) 1
5. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " " a b 9
6. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: GJ ? < ! lim
<_
a b 9
: = . GM ? " a b 9 9 cos
7. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " a b cos
#
9
8. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " a b cos
$
9
9. Hallar la solucin del siguiente problema
+
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " # a b cos 9
10. Hallar la solucin del siguiente problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 63
+
` `? " ` `?
`< `< ` `
#
< !
sin9 9 9
sin9
: = GJ ? < ! lim
<_
a b 9
: = . GM ? " $ a b cos 9
11. Un slido semi-infinito est inicialmente a la temperatura cero. !
En el tiempo = se le aplica y se le mantiene una temperatura > !
constante > en la cara = . Hallar la temperatura de cualquier Y ! B !
!
punto del slido en cualquier tiempo posterior . > !
R/ Se reduce a la solucin del problema
a b a b
a b
`? ` ?
`> `B
!
5 B ! > !
? B ! ! ? ! > Y
l? B > l Q
#
#
12. Una barra de longitud est a temperatura constante . Cuando 6 Y
!
> ! B 6 , al extremo se le aplica sbitamente una temperatura
constante , y al extremo se le aisla. Suponiendo que la superficie Y B !
de la barra est aislada, hallar la temperatura de cualquier punto de la B
barra en cualquier tiempo . > !
V Muestre que se llega al siguiente problema
a b
a b a b
`? ` ?
`> `B
!
B "
5 B ! > !
? B ! Y
? ! > ! ? 6 > Y
#
#
13. Una cuerda infinitamente larga, con uno de sus extremos en B !
est inicialmente en reposo sobre el eje . El extremo se somete a B B !
un desplazamiento transversal peridico dado por , . Hallar el E A> > !
!
sin
desplazamiento de cualquier punto de la cuerda en cualquier tiempo.
V ] B > a b es el desplazamiento dado por el problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 64
a b a b
a b
a b
` ] ` ]
`> `B
#
>
!
# #
# #
+ B ! > !
] B ! ! ] B ! !
] ! > E A>
l] B > l Q
sin
14. Una cuerda tensa elstica y flexible tiene fijos sus extremos en B !
y . Al tiempo se le da a la cuerda la forma definida por B 6 > !
J B B 6 B a b a b . . , donde es una constante, y luego se le suelta. Hallar
el desplazamiento de cualquier punto de la cuerda en cualquier B
tiempo . > !
V Llegue al problema
a b a b
a b a b
a b
` ] ` ]
`> `B
#
>
# #
# #
+ B ! > !
] ! > ! ] 6 > !
] B ! B 6 B
] B ! !
.
15. Una viga de longitud cuyo extremo est fijo, como se 6 B !
muestra en la figura se halla inicialmente en reposo.
En el extremo libre se le aplica longitudinalmente una fuerza constante J
!
por unidad de rea. Hallar el desplazamiento longitudinal de cualquier
punto de la viga en cualquier tiempo . B > !
V El anlisis fsico lleva al problema
a b a b
a b a b
a b
` ] ` ]
`> `B
#
>
B !
# #
# #
- ! B 6 > !
] ! > ! ] 6 > !
] B ! ! ] ! > !
] 6 > J I
16. Una linea de transmisin de inductancia y conductancia por unidad de
longitud despreciables tiene un voltaje en su extremo emisor, , dado B !
por
= I ! >
I ! > X
! > X
a b
!
Hallar el voltaje y la corriente sobre cualquier punto > en I B > M B > B ! a b a b
cualquier punto > . > !
17. Resolver el problema con valores de frontera a b +
> , >
`Y ` Y
`> `B
5 B ! > !
#
#
= , , | | < Y B ! Y Y ! > Y ! > Y B > Q a b a b a b a b
! B
!
a b , Dar una interpretacin del problema en tminos de flujos calricos.
18. Una cuerda tensa y flexible tiene sus extremos sobre el eje en los B
puntos y . En el tiempo se somete a la cuerda a que B ! B " > !
tome la forma definida por , y se le deja libre. Hallar el J B ! B " a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 65
desplazamiento en cualquier punto de la cuerda en cualquier B
tiempo . > !
19. Un cilindro circular infinitamente largo y de radio unidad tiene una
temperatura inicial constante . En = se le aplica y se le mantiene X > !
una temperatura de en su superficie. Hallar la temperatura de !
!G
cualquier punto del cilindro en cualquier tiempo posterior . >
20. Una barra aislada semi-infinita que coincide con la parte positiva del
eje est inicialmente a temperatura cero. En = se genera B > !
instantneamente una cantidad de calor en el punto , donde > . B + + !
Hallar la temperatura de cualquier punto de la barra en cualquier
tiempo . > !
21. Una placa semi-infinita de espesor tiene aisladas sus caras. Los 1
bordes semi-infinitos se mantienen a en tanto que el borde finito se !
!G
mantiene a . Suponiendo que la temperatura inicial es de , hallar "!! !
!G !G
la temperatura de cualquier punto en cualquier tiempo.
8. E X G E S I S
1- Una ecuacin que contiene una o ms derivadas parciales de una
funcin de dos o ms variables libres, es llamada Ecuacin Diferencial
Parcial (E.D.P).
El de la derivada de mayor orden es llamado orden el orden de la
ecuacin diferencial
2- Las E.D.P se clasifican en: lineales, no lineales, casi-lineales, lineales
homogneas, lineales no homognes.
3- Una funcin de dos o ms variables es una de una E.D.P de solucin
orden en alguna regin , si es una funcin que admite derivadas 8 8 H
parciales y satisface a la E.D.P dada, en todas sus variables.
4-Cuando se dan condiciones en el borde de la regin ( se supone H H
acotada), se dice que la ecuacin est sometida a condiciones de frontera
( ) y cuando se dan condiciones con respecto al parmetro , en GJ > > !
> : GM se dice que la E.D.P est sometida a ( ) condiciones iniciales
5-Dada una ecuacin diferencial parcial lineal homognea (E.D.P.L.H), si
? ? ? ?
" # " #
y son soluciones entonces es tambin una solucin.
Principio de superposicin de soluciones (psps). Dado e f ? ? ?
" # 8
una familia de soluciones de un EDPLH entonces es solucin de
!
8"
_
8 8
E ?
EDPLH donde los , son constantes . E a8
8
6- La ecuacin es conocida como la ecuacin unidimensional
` ? ` ?
`B X `>
# #
# #
3
de onda. Si se considera el problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 66
a b a b
a b a b
a b
` ? ` ?
`B X `>
`?
`>
>!
# #
# #
GJ
? ! > ? 6 > !
? ! > 0 B
GM 1 B
3
Su solucin se determina haciendo uso del mtodo de Fourier y se deben
seguir los siguentes pasos:
a b a b a b a b + ? B > J B K > Suponer que es solucin de prueba y de aqu
obtener un sistema de ecuaciones difereciales ordinarias y de una
constante de proporcionalidad . 5
a b e f e f a b , 5 ? B > Haciendo uso de las C.F se determina y familias de -
7 7
paramtros y funciones, llamadas . valores y funciones propias
a b a b a b
!
- ? B > E ? B > Usando el psps se obtiene la solucin . Haciendo
8"
_
8 8
uso de la condicin C.I y mediante el uso de las series de Fourier
(mtodos de medio rango) se obtienen los coeficientes que E
8
determinan la solucin deseada.
7- para la ecuacin de onda. Se considera la Solucin de D'Alambert
ecuacin . Se introduce una transformacin conforme
` ? ` ?
`B `>
#
# #
# #
-
@ B -> D B ->, usando la regla de la cadena se tiene
y . ? ? ? ? ? #? ? ? - ? #? ?
B @ D BB @@ @D DD >> @@ @D DD
#
a b
De la EDPLH dada y estos valores de y se obtiene que ? ?
BB >>
? !
@D
` ?
`@`D
#
de donde sale que
o sea que . ? 2 @ .@ D ? @ D B -> B ->
'
a b a b a b a b a b a b : 9 : 9 :
Las funciones y pueden determinarse con la ayuda de las condiciones 9 :
iniciales. As, si se supone que entonces se tiene que ? B ! 0 B a b a b
. ? B > 0 B -> 0 B > a b c d a b a b
"
#
8- La ecuacin es conocida como ecuacin del calor, donde
`?
`>
# #
- f ?
f ? ? ? B D >
#
es el Laplaciano de que para est dado por a b
f ?
# ` ? ` ? ` ?
`B `C `D#
# # #
# #
En el caso unidimensional se plantea mediante el problema:
a b a b
a b a b
`? ` ?
`> `B
#
-
GJ ? ! > ? 6 > !
GM ? B ! 1 B
#
#
para representar la propagacin de la temperatura a lo largo de una
barra finita. Para hallar la solucin de este problema tenemos dos
mtodos: el mtodo de Fourier ya esbozado en el numeral 6- y el
mtodo de transformada de Laplace, el cual est basado en suponer
las transformadas sobre la variable libre , as >
, L L L L a b a b a b a b a b
`? ` ? .
`C `B .B
= ? B > ? B ! ? B > y
# #
# #
denotando entonces se obtiene la ecuacin diferencial La b a b a b ? B > ] B =
ordinaria
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 67
. ] B=
.B
#
#
a b
=] B = 0 B a b a b
sta se resuelve suponiendo constante por los mtodos de EDLO, de =
aqu se determina y la solucin ser ] B = ? B > a b a b a b L
? B > ] B = a b a b a b L
"
9- El flujo de calor de una barra semi-infinita, est dado por el problema
siguiente
, y son finitos cuando
a b
a b a b
`? ` ?
`> `B
#
B
+
GJ ? ! > ? ? B _
GM ? B ! 0 B ! B _
#
#
Usando el mtodo de Fourier se obtiene:
a b a b a b a b + ? B > \ B [ >
a b , De donde recibe que
y \ B =B [ > F = / a b a b a b sin
+ = >
# #
de donde las funciones propias son
? B > = F = =B/ = ! a b a bsin
+ = >
# #
a b - Del psps se sigue que
, ? B > ? B > = .= a b a b
'
!
_
0 sea
? B > F = =B / .= a b a b
'
!
_
+ = >
sin
# #
los coeficientes se calculan mediante la condicin y las F = ? B ! 0 B a b a b a b
frmulas de la integral de Fourier para las funciones impares.
10- : Se trata del problema Flujo de calor en una barra infinita
y son acotados cuando
-
a b a b
`? ` ?
`> `B
#
B
-
GJ ? ? B _
GM ? B ! 0 B _ B _
#
#
Para la determinacin de la solucin se hace uso del mtodo de Fourier:
a b a b a b a b + ? B > J B K >
a b , Las funciones propias son
? B > : E :B F :B / a b a b cos sin
- : >
# #
a b - Por psps
, ? B > E : :B F : :B/ .> a b a b a b
'
!
_
- : >
cos sin
# #
con ayuda de y las frmulas de integral de Fourier se determinan los GM
E : F : a b a b y .
11- La ecuacin es conocida como la ecuacin
` ? ` ? ` ?
`> `B `C
# #
# # #
# # #
- - f?
bidimensional de . onda
Onda rectangular. Se presenta mediante el problema
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 68
sobre la frontera
a b a b
a b
` ? ` ? ` ?
`> `B `C
#
`?
`>
>!
# # #
# # #
-
GJ ? !
GM
? B C ! 0 B C
1 B C
Se usa el mtodo de Fourier as
a b a b a b a b + Y B C > J B C K > La solucin de prueba es en este caso como
obtenindose el sistema
donde
J J @ J !
K H ! -@
BB CC
#
#
- -
a b a b a b a b , J J @ J ! J B C L B U C Para resolver se asume que y
BB CC
#
resolviendo se llega a que
J B C
78
7 8
+ ,
sin sin
1 1
La familia de funciones propias son dadas por
? B C > F > F > J B C
78 78 87 78 78
78
a b a b a b cos sin - -
donde
- 1
78
7 8
+ ,
-
# #
# #
a b - Por psps la solucin es
? B C > ? B C > a b a b
! !
8"7"
_ _
78
haciendo uso de C.I, se determinan los coeficientes , y , mediante F F
78
78
a b
a b a b
` ? ` ? " `?
`> `< < `<
#
`?
`>
>!
# #
# #
-
GJ ? V ! ! ! #
GM ? < > ! 1 B
: 1
La solucin se halla mediante el mtodo de Fourier
a b a b a b a b + ? < > [ < K > es la solucin de prueba, de donde se obtiene el
sistema
[ [ 5 [ !
K K ! -5
ww w # "
<
#
- -
a b , [ [ 5 [ ! La primera ecuacin es una ecuacin de Bessel
ww w # "
<
cuya solucin es , la segunda ecuacin tiene por solucin [ < N 5< a b a b
!
K > + > , > a b
7 7 7 7
cos sin - -
donde , obteniendo las siguientes familias de soluciones -
7 7
-
V
-5
!
7
propias
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 69
? < > + > F > N 5 <
7 7 7 7 7 ! 7
a b a b a b cos sin - -
a b - Por psps
? < > + > F > N 5 < a b a b a b
!
7"
_
7 7 7 7 ! 7
cos sin - -
haciendo uso de la condicin C.I y de la serie de Fourier-Bessel se
determinan los coeficientes y . + ,
7 7
14- La ecuacin es conocida como ecuacin de Laplace donde f ? !
#
f ?
# ` ? ` ? ` ?
`B `C `D
# # #
# # #
es el llamado Laplaciano. Para coordenadas cilndricas
B < C < D D cos sin : :
el Laplaciano toma la forma
f ?
# ` ? " `? " ` ?
`< < `< < ` D
?
# #
# # # #
#
: :
:
Para las coordenadas esfricas
B C D 3 ) : 3 ) : 3 : cos sin sin sin cos
el Laplaciano esta dado por
f ? ?
# # " ` " ` `? " ` ?
` ` ` ` 3 3 : : : : )
3 # # #
#
a b 3 :
sin sin
sin
15- La ecuacin de Laplace en coordenadas esfricas se plantea mediante
el problema
a b a b a b
` `? " ` `?
`< `< ` `
#
<_
< !
? < ! ? V 0
sin9 9 9
sin
lim
9
9 ) 9 9
Para determinar la solucin se sigue el mtodo de Fourier
a b a b a b a b + ? < K < L es la solucin de prueba, de donde se obtiene el 9 9
sistema
" . .L
. .
. .K
.< .<
#
sin9 9 9
sin9 5L !
< 5K !
a b a b , 5 8 8 " Escogiendo , la primera ecuacin es una ecuacin de
Legendre cuya solucin es y la segunda ecuacin es una L T a b a b 9 9
8
cos
ecuacin de Euler-Cauchy cuya solucin es
, 0, , K < < K < a b a b
8 "
<
8"
obteniendo la familia de funciones propias
? < E < T
8 8 8
8 F
<
a b a b
9 9
8
8"
cos
a b - Por el psps la solucin es
? < ? < E < T a b a b a b
! !
9 9 9
8" 8"
_ _
8 8 8
8 F
<
8
8"
cos
La solucin en los puntos internos de la esfera satisface la ecuacin
? < E < T a b a b
!
9 9
8!
_
8 8
8
cos
Haciendo uso de la condicin inicial y las tcnicas de series de Fourier
Legendre se obtienen los coefientes . E
8
Para hallar la solucin externa a la esfera, sta conduce a la funcin
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 70
? < T a b a b
!
9 9
8!
_
F
<
8
8
8"
cos
a b a b
a b
`? ` ?
`> `B
B B
#
> !
? ! > ! ? >
? B ! B ! B
#
#
1
1
SOLUCIN. Usando el mtodo de separacin de variables
a b a b a b a b M ? B > \ B X > ? \X ? XB entonces de donde as
> BB
ww X \
X \
ww
existe tal que 5
X 5X
\ 5\
ww
a b MM 5 ! 5 @ \ E/ F/ @ ! Si de donde
# @B @B
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 71
Ahora
? X\ XF/ @ XE/ @
B
w @B @B
As
entonces ! ? ! > @X > E F E F
B
a b a ba b
entonces ! ? > @X > E / / E !
B
@ @
a b a b a b 1
1 1
por lo tanto y \ ! ? B > ! a b
Ahora si , entonces , 5 ! 5 @ @ ! \ B E @B F @B
#
a b sin cos
as
, ? X\ X > @ E @B F @B
B
w
a b a b cos sin
ahora
de donde se tiene ! ? ! > @X > E E !
B
a b a b
! ? > F@X > @
B
a b a b 1 1 sin
se cumple cuando y para si queremos que sea no nulo se @ ! @ ! ?
debe tomar , obtenindose as la familia @ 8
? B > F / 8B
8 8
8 >
a b
#
cos
que satisface
y . ? ? ? ! > ? >
> BB B B
a b a b 1
a b MMM Por el principio de superposicin de soluciones
? B > F / 8B a b
!
8!
_
8
8 >
#
cos
? B > a b satisface la ecuacin y las condiciones iniciales, y de frontera. Pero
B ? B ! F 8B
#
8!
_
8
a b
!
cos
los deben ser los coeficientes de la expansin par de medio rango de F
8
B ! B
#
1
As F B .B
!
" "
!
#
$ $ 1 1
1
1 1
'
$ #
y para se tiene 8 "
F 4 W 4 G % 8
8 5 5 5
" " "
8 8 8 8
5 5
5
w
% "
1 1 1
! !
a b a b
# #
8
1 1 cos
a b
As la temperatura es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 72
? B > % a b
!
1
#
8 8 >
#
#
$ 8
8"
_
" / 8B a b cos
a b a b
a b
? % ? ! B > !
? ! > ! ? > !
? B ! $
BB >
#
1
1
SOLUCIN: Por el mtodo de Fourier supongamos que
a b a b a b a b M ? B > K B X > es la solucin de prueba, por lo tanto
, y
? K X ? KX
BB >
ww K X
K %X
ww
K 5 K ! X %5 X !
ww # #
a b a b a b a b a b a b a b MM ? ! > K ! X > ! ? > K X > ! Sabemos que si 1 1
deseamos soluciones no triviales entonces
y K ! ! K ! a b a b 1
y tenemos para se tiene el siguiente problema de Sturm-Liouville K
y
K 5 K !
K ! ! K !
X %5 X !
ww #
#
a b a b 1
La solucin de prueba conduce a que satisface a la ecuacin K B / a b
!B
!
de indices
! !
# #
5 ! 53
de donde obtenemos que es la base de soluciones, por lo e f cos sin 5B 5B
tanto
K B E 5B F 5B a b cos sin
pero
y K ! ! E K ! F 5 a b a b 1 1 sin
Como deseamos soluciones no triviales y de donde F " 5 ! sin 1
, , 5 8 5 8 K B 8B 1 1 a b sin
Ahora
X %5 X ! X %8 X ! X E /
# # %8 >
8
#
Las funciones propias son en este caso
? B > E / 8B
8 8
%8 >
a b
#
sin
a b MMM Por el principio de superposicin de soluciones
? B > E / 8B a b
!
8"
_
8
%8 >
#
sin
Para la determinacin de los tenemos E
8
? B ! $ E 8B a b
!
8"
_
8
sin
de donde
E $ 8B.B " "
8
# ' 8B '
! 8 8
!
8
1 1 1
1
1
'
sin
cos
a b a b
Luego la solucin es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 73
? B > / 8B a b
!
'
8"
_
" "
8
%8 >
1
a b
8
#
sin
a b a b
a b
C + C +
C B ! ! C B !
C ! > A>
>> BB
# # X
>
3
sin
SOLUCIN. Por la transformada de Laplace sea ] B = C B > a b a b a b a b L
entonces
= ] = ! ! C + C +
# # #
>> BB
. ]
.B
L L a b a b
#
#
de donde se tiene la ecuacin diferencial ordinaria siguiente
entonces
. ] =
.B +
B B
# #
# #
= =
+ +
] ! ] B = E = / F = / a b a b a b
Pero es acotado, esto implica que es acotado as ya C B > ] B = F = ! a b a b a b
que cuando / _ B _
=
+
B
E = ] ! = C ! > A> ] B = / a b a b a b a b a b a b _ _ sin
A A
= A = A
=
# # # #
B
+
entonces
por lo tanto
C B > A > ? > a b a b
sin
B
+
B
+
a b a b
a b
a b
? ? ! ! C B !
? B ! ! ? B !
? ! C C ! C
? ! C !
BB CC
C C
B
1
1
1
SOLUCIN. Por el mtodo de Fourier, supongamos que ? B C K B L C a b a b a b
es solucin de prueba si y slo si
. K . L
.B .C K L
# #
# #
. K
#
.B
#
. L
#
.C
#
L K !
As existe tal que - d
. K . L
.B .C
# #
# #
K ! L ! - -
pero
? B ! ! K B ! !
C
.L
.C
a b a b a b
? B ! K B !
1
a b a b a b 1 1
.L
.C
de aqu deseamos soluciones no triviales tenemos
.L .L
.C .C
a b a b ! ! ! 1
Tenemos para el siguiente problema de Sturm-Liouville L
. L
.C
#
#
L ! -
.L .L
.C .C
a b a b ! ! ! 1
a b 3 ! ! L - C - Si por integracin doble se obtiene . Como -
. L
.C
" #
#
#
.L
.C
" !
- L C " se sigue que es solucin propia. a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 74
a b a b 33 5 ! 5 L ! L C / Si entonces la ecuacin con por -
# # C . L
.C
#
#
!
solucin de si y slo si as ! !
# # 5C 5C
" #
5 ! 5 L C - / - / a b
como se sigue que
.L
.C
" #
5C 5C
- 5/ - 5/
como ,
L ! ! - - " "
L ! - / - / / /
!
w
" #
w 5 5 5 5
" #
a b
a b
1
1 1 1 1
se tiene que y . L C ! ? ! a b
a b 333 5 ! 5 L ! Si cuya solucin es dada por -
# # . L
.C
#
#
L C - 5C - 5C 5- 5C 5- 5C a b
" # " #
.L
.C
cos sin sin cos
Ahora
L ! ! - 5 5 ! - !
w
# #
a b
.L
.C
"
a b 1 1 ! 5- 5 sin
Si deseamos soluciones no nulas
y , - " ! 5 ! 5 8
"
sin 1
as
L C 8C
8
a b cos
a b 3@ K 8 K ! K / con por solucin de prueba , obtenemos que
ww # B !
! !
# #
8 ! 8
de donde es la solucin fundamental la cual es equivalente a e f / /
8B 8B
e f cosh sinh 8B 8B para obtener la solucin
K B E 8B F 8B
8 8 8
a b cosh sinh
Las soluciones propias sern dadas por
? B C E 8B F 8B
8 8 8
a b cosh sinh
a b @ Por el principio de superposicin de soluciones tenemos
? B C E 8B F 8B 8C E a b a b
!
8"
_
8 8 !
"
#
cosh sinh cos
Pero por tenemos GM
? ! C C E E 8C a b
!
"
#
! 8
8"
_
cos
de la teora de series de Fourier se sigue que
E C.C
!
# #
!
C
#
!
1 1
1
1
'
#
1
E C 8C .C
8
# # # #
!
8C 8C
8 8 8
! !
" "
1 1 1 1
1
1 1
'
cos
sin cos
# #
8
a b
Ahora
? B C 8E 8B 8F 8B 8C
B 8 8
8"
_
a b a b
!
sinh cosh cos
de aqu y la condicin tenemos GM
? ! C ! 8F 8C F !
B 8 8
8"
_
a b
!
cos
Luego la distribucin de temperatura del estado estable es
? B C 8B 8C a b
!
1
1 # 8
#
8"
_
" " a b
8
#
cosh cos
a b
` ? ` ?
`> `B
`? B>
`>
>!
# #
# #
#& _ B _ > !
? B ! ! _ B _
B
a b
cos
PRIMERA SOLUCIN. Por el mtodo de Fourier,
a b a b a b a b 3 ? B > \ B X > si y slo si
\ 5 \ !
ww #
X - 5 X ! - &
# #
Llegando a las funciones propias siguientes
\ B E 5B F 5B a b cos sin
X > G &5> H &5> a b cos sin
Pero
? B ! \ B X ! ! X ! ! a b a b a b a b
Si se desean soluciones no triviales, se toma y en ese caso H "
X > &5> a b sin . Las soluciones propias sern entonces dadas por
? B > 5 E 5B F 5B &5> a b a b cos sin sin
a b 33 Por el principio de superposicin de soluciones, la solucin es
? B > E 5B F 5B &5> .5 a b a b
'
_
_
cos sin sin
Ahora
`?
`> _
_
a b a b
'
B > E 5B F 5B &5 &5> .5 cos sin cos
Luego
? B ! B &5E 5B &5F 5B .5
>
_
_
a b a b
'
cos cos sin
De aqu
&5E B 5B.B B 5B.B
" #
_ !
_ _
1 1
' '
cos cos cos cos
as . &5F B 5B.B ! F !
"
_
_
1
'
cos sin
SEGUNDA SOLUCIN. Aplicando transformada de Fourier se tiene
Fa b a b a b ? B > J A >
F F
` ? ` ?
`> `B
# #
#
#&
Lo cual nos lleva a la siguiente ecuacin diferencial ordinaria
. J . J
.> .>
# #
# #
# #
#&A J #&A J !
Suponiendo que tenemos que la base de soluciones es J /
!>
{ }. cos sin &A> &A>
Luego
. J A > E A &A<> F A &A> a b a b a b cos sin
Ahora
.J
.>
&AE A &A> &AF A &A> a b a b sin cos
Pero
Fa b a b a b a b ? B ! ! A ! E A J
y
F
a b a b
`? .J
`? .>
>!
A ! &AF A
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 76
si y slo si
Fa b a b a b cosB &AF A F A
Fa b cosB
&A
As
J A > &A> a b
Fa b cosB
&A
sin
de donde
? B > &A> a b F
"
B
&A
Fa b cos
sin
B F F F
" &A>
&A
a b a b
cos
" sin
B T B
"
"!
"!>
a b a b cos
a b a b
a b
? ? E/ ! B " > !
GJ ? ! > ! ? " > ! > !
GM ? B ! " / ! B "
BB >
,B
E
,
,B
#
SOLUCIN: Suponiendo donde a b a b a b a b 3 ? B > = B Z B >
lim
>_
Z B > ! a b
hallamos que el estado estable es dado por = B a b
a b a b
= E/
= ! ! = " !
ww ,B
integrando dos veces tenemos
= " / " / B
E E
, ,
,B ,
# #
a b 33 El problema del estado transitorio tenemos
a b a b
a b
Z Z ! B " > !
GJ Z !> ! Z " > !
GM Z B ! " / B
BB >
E
,
,
#
hallemos la solucin: donde Z K X
K X
K X
#
ww #
#
ww
K K !
X K !
-
-
-
a b a b
K K !
K ! ! K " !
ww #
-
Haciendo se obtiene K / K - B - B
!B
" #
cos sin - -
Ahora
K ! - ! K " - ! a b a b
" #
sin-
Si entonces - "
#
sin- - 1 ! 8
Por lo tanto
K B 8
8
a b sin 1
Para , tenemos X
X 8 X ! X E / a b 1
#
8
8 >
# #
1
Las funciones propias sern
Z B > E / 8 B
8 8
8 >
a b
# #
1
sin 1
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 77
a b 333 Por el p.s.p.s tenemos
Z B > E / 8 B a b
!
8"
_
8
8 >
# #
1
sin 1
Ahora
Z B ! " / B E 8 B a b
!
E
,
,
8"
_
8 #
sin 1
de donde
E # " / B 8 B.B " /
8
!
"
E #E B 8 B 8 B
, , 8 8
, ,
! !
" "
'
# # # #
sin 1
cos sin 1 1
1 1
" /
#E
, 8
,
"
#
8
a b
1
En esta forma
Z B > / 8 B a b
!
8"
_
#E "/
, 8
"
8 >
a b
,
#
8"
# #
1
1
sin 1
Luego el problema no homogneo tendra por solucin
? B > " / " / " / 8 B a b
!
E E #
, , 8
,B , 8 >
8"
_
"
# #
8"
# #
1
1
a b
sin 1
a b
a b a b
a b
? ? " B > ! B " > !
GJ ? ! > ! ? " > ! > !
GM ? B ! ! ! B "
BB >
cos
SOLUCIN: Hallemos primero las races del problema de Sturm-Louville
siguiente
\ \ ! \ ! ! \ " !
ww
- a b a b
de donde
- 1 9 1
8 8
# #
8 B 8 B 8 " # $ a b sin
Buscamos ahora la solucin de la forma
? B > I > 8 B a b a b
!
8"
_
8
sin 1
cuando sustituimos en la ecuacin
" B > ? ? a bcos
> BB
obtenemos
-a b c d
!
a b a b " B > I > 8 I > 8 B cos sin
8"
_
8
w # #
8
1 1
Por consiguiente deducimos que notando que 8 B 8 " # $ l l sin 1
# "
#
I > 8 I > # " B > 8 B.B
w # #
8
8
!
"
a b a b a b 1 1
'
cos sin
# > 8 B > cos cos cos
a b "B
8 8 8
! !
" "
8 B #
1 1 1
1
1
sin
# #
Solucionando esta EDO para tenemos I >
8
a b
I > G / . /
8 8
#
8 !
>
8 8 >
a b
1
1 7 1
'
# # # #
cos7 7
G / /
8
8 > 8 > # / 8 /
8 "8 "8
! !
> >
# # # # 8 # # 8 >
# # # #
% % % %
1 1
1 1 1
1
1 7 1
sin cos 7 7
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 78
G / > / > /
8
8 > 8 > 8 > # / 8 8
8 "8 "8 "8
# # # # # # 8 > # # # #
# #
% % % % % %
1 1 1
1 1 1 1
1 1
1
sin cos
I G / 8 / > >
8 8
8 > # # 8 > #
8 "8
# # # #
% %
1 1
1 1 a b
1 cos sin
Sustituyendo esta expresin para en la anterior solucin para los I >
8
a b
? B > ? B ! ! G ! a b a b y suponiendo la condicin inicial , vemos que los
8
a8. Por lo tanto nuestra solucin es
? B > 8 / > > a b
!
# 8 B
8"
_
8 "8
# # 8 >
1 1
1 1 sin
a b
% %
# #
1 cos sin
a b a b
a b
? + ? ! B "! > !
GJ ? ! > "! ? "! > $! > !
GM ? ! ! ! B "!
BB >
#
SOLUCIN: Conjeturamos que es la solucin de ? B > = B @ B > a b a b a b
prueba, bajo el supuesto de que
y lim lim
>_ >_
? B > = B @ B > ! a b a b a b
En ese caso la funcin satisface la EDO = B a b
a b a b
= !
= ! "! = "! $!
ww
Por integracin sucesiva obtenemos que
a b a b
= - B -
= ! "! = "! $!
" #
As
- "! = "! $! "!- - - #
# " # "
a b
En esta forma el estado estable es dado por
= B #B "! a b
As para el estado transitorio se plantea en la forma
a b a b
a b
@ + @ ! B "!
GJ @ ! > ! @ "! > !
GM @ B ! #B "! ! B "!
BB >
#
Aqu vemos que es la solucin de la conduccin del calor del tipo @ B > a b
expuesto en 6, donde la distribucin del calor en los extremos es nulo,
dando por
@ B > G B / a b
!
8"
_
8
8
"!
+ 8 >"!!
sin
1 1
# # #
donde las constantes son dadas por G
8
@ B ! #B "! G B a b
!
8"
_
8
8
"!
sin
1
de donde
G #B "! B.B
8
" 8
& "! !
"!
'
a bsin
1
B B.B # B.B 8 " #
# 8 8
& "! "! ! !
"! "!
' '
sin sin
1 1
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 79
B B B
# "! 8 "!! 8 #! 8
& 8 "! 8 "! 8 "!
! ! !
"! "! "!
1 1 1
1 1 1
cos sin cos
# #
" "
"'
8
8
1
c d a b
Combinando resultados, nuestra solucin llega a ser
? B > = B @ B > "! #B " " B/ a b a b a b c d
!
a b
8"
_
"' 8
8 "!
8
+ 8 >"!!
1
1 1
sin
# # #
a b
a b a b
L K L K - L K 5
ww w # # " K
< L - K
L L
ww w "
<
#
de aqu
L L 5 L !
ww w # "
<
K - K !
#
a b 33 = 5< 5 5 Haciendo , ahora y
" 5 .L .L .= .L . L . L
< = .< .= .< .= .< .=
#
# #
# #
As,
. L 5 .L
.= = .=
# #
# #
#
5 5 L !
de donde la ecuacin
. L " .L
.= = .=
#
#
L !
Esta ltima ecuacin es la ecuacin de Bessel cuya solucin ya la hemos
estudiado en 7 y es dada por , pero L = N = a b a b
!
L " ! N 5< N 5 5 7 a b a b a b
! !
!
de donde
L < N <
7 ! 7
a b a b !
a b a b 333 K K - K ! - Para se tiene , haciendo de donde se tiene
! - !
#
7 7
la sucesin de funciones K + > , >
7 7 7 7 7
cos sin - -
a b 3@ Las funciones propias del problema estarn dadas por
? < > + > , > N <
7 7 7 7 7 ! 7
a b a b a b cos sin - - !
Por el principio de superposicin de soluciones se tiene
? < > + > , > N < a b a b a b
!
7"
_
7 7 7 7 ! 7
cos sin - - !
Por la condicin inicial se tiene que GM
donde ? < ! + N < + a b a b
!
7"
_
7 ! 7 7
? <! N <
N <
!
a b a b
l l a b
! 7
! 7
#
!
!
+ <? < ! N < .< <N < .<
7 ! 7 ! 7
# #
# N N ! !
"
#
" "
# #
7
"
#
' '
a b a b a b ! !
a b !
N B BN B .B
B < !
7
# B .B #
N N ! !
! !
" "
# #
7 7
7 7
# #
7 7
7
#
a b a b ! ! ! ! !
' '
a b a b
! !
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 80
BN B N
B N B .B B N B -
'
a b a b
a b
@ @
@" B
# #
N N
" "
!
# # ! ! ! !
! !
7 7
# #
" "
# #
7 7
7
#
7 7
a b a b
!
N
N
"
7
#
7 7
"
#
a b
!
! !
, !
7
as
? < > N < a b a b
!
7"
_
N
N
! 7
"
7
#
7 7
"
#
a b
!
! !
!
a b
a b a b a b a b
a b a b
? ? ? ! ! <
GJ
? <
? < ? < ? < ? <
GM ? 0
<< <
" "
< <
<!
#
))
) )
3 1 ) 1
) 1 ) 1
1 1 1 1
3 ) ) 1 )
lim
1
SOLUCIN: Supongamos que es la solucin de prueba a b a b a b a b 3 ? < V < L ) )
as
V L V L VL ! L V V VL
ww w ww w " " " "
< < < <
# #
L L !
< V <V V !
< V <V L
V L # ww w
# ww w
-
-
-
1 1 1 1 1 1
1 1 1 1 1 1
) )
As tenemos el problema S-L siguiente:
a b a b a b a b
L L !
L L L L
-
1 1 1 1
Tomando obtenemos - 8
#
a b a b a b a b
L 8 L !
L L L L
#
1 1 1 1
Cuya solucin ya es conocida y es dada por
L
+
+ 8 , 8 8 " # $
8
"
#
!
8 8
a b
)
) ) cos sin
a b 33 < V <V V !
,3=
# ww w
Ahora , esta es una ecuacin de Euler-Cauchy -
cuya solucin de prueba es V < V < V " <
! ! ! w " ww "
! ! ! a b
para tener
< " < < < 8 < ! < 8 !
# # " # # #
! ! ! ! ! ! a b
! ! ! !
8 ! 8 ! !
# #
as
V <
- - < 8 !
- < - < 8 " # $
8
" #
$ %
8 8
a b
log
-
Dado que es finito entonces lim
<!
# %
V < - - ! a b
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 81
Tomando y la cual es una eleccin convencional. - " -
" $
"
3
8
a b 333 Por el p.s.p.s tenemos
? < + + 8 , 8 a b a b
!
) ) )
" <
#
! 8 8
8"
_ 8
3
cos sin
Por la tenemos GM
? 0 + + 8 , 8 a b a b a b
!
3 ) ) ) )
"
#
! 8 8
8"
_
cos sin
de donde
, + 0 B .B + 0 8 . , 0 8 .
! 8 8
" " "
1 1 1 1 1 1
1 1 1
' ' '
a b a b a b ) ) ) ) ) ) cos sin
a b
a b
` `? " ` `?
`< `< ` `
#
B_
< !
GJ ? < !
GM ? "
sin9 9 9
sin
lim
cos
9
9
9 9
SOLUCIN: Supongamos que es la solucin de a b a b a b a b 3 ? < K < L 9 9
prueba
`? .K `? .L
`< .< ` .
L K
9 9
sustituyendo obtenemos
L < K !
. `K " . .L
.< `< . .
#
sin9 9 9
sin9
L < K
. .K " . .L
.< .< . .
#
sin9 9 9
sin9
5
. .<
.< .<
#
<
K L . .
" . .L
sin9 9 9
sin9
< 5K !
5L !
. .K
.< .
#
" . .L
. .
9
9 9 9 sin
sin9
a b 33 La ecuacin
. .K
.< .
# # ww w
< 5K ! < K #<K 5K !
9
Una ecuacin interesante se obtiene cuando se escoge el valor
5 8 8 " a b en ese caso la ecuacin
< K #<K 8 8 " K !
# ww w
a b
tiene por ecuacin de ndices
! ! ! !
#
# 8 8 " ! 8 8 a b
Obteniendo las dos soluciones
K < < K <
8 8
8 "
<
a b a b
8"
a b a b
333 8 8 " ! La ecuacin se resuelve haciendo
" . .L
. .K sin9 9
sin9
A " cos sin cos 9 9 9 , ahora como y con la regla de la cadena
# #
. . .A . " . .L
. .A . . .A .A
#
9 9 9 99
8 8 " ! sin sin sin 9 9 9
sin
a b a b
" A 8 8 " L !
. .L
.A .A
#
a b a b
" A #A 8 8 " L ! a b a b
# . L .L
.A .A
#
La cual es una ecuacin de Legendre y la solucin es
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 82
L T A T
8 8
a b a b cos9
En esa forma tenemos la soluciones
? < T ? <
8 8
M 8 I
8
T
<
a b a b cos9 9
8
8"
a b cos9
a b 3@ Por el p.s.p.s tenemos
? < E < T ? <
M 8 I
8! 8!
_ _
8 8
F T
<
a b a b a b
! !
9 9 9 cos
8 8
8"
a b cos9
Ahora por tenemos GM
? " E T
M
8!
_
8 8
a b a b
!
9 9 9 cos cos
? " F8T
I
8!
_
8
a b a b
!
9 9 9 cos cos
Esto se tiene si y slo si
E F 0 A T A .A T . 8 ! " #
8 8 8 8
#8" #8"
# # " !
"
' '
a b a b a b
1
cos cos sin 9 9 9 9
E T .
! !
"
# !
'
a b
1
cos cos sin 9 9 9 9
. " !
" " "
# % % !
# #
!
'
a b
1
1
cos sin cos cos 9 9 9 9 1
E T . .
T
" "
$ $ "
# # # ! !
"
# $
!
' '
a b a b
a b
1 1
1
cos cos sin cos sin cos
cos cos
9 9 9 9 9 9 9 9
9 9
" "
"
#
$
a b cos 1
E T . $ " .
# #
& & "
# # # ! !
#
' '
a b a b
1 1
cos cos sin cos sin 9 9 9 9 9 9 9
$ . .
& & $
% % % # ! !
$ %
! !
' '
1 1
1 1
9
cos sin cos sin cos 9 9 9 9 9 9 9
cos
#
!
& $ $ "
% % % #
%
cos 1
cos
#
1
a b a b
` ? ` ? ` ?
`> `B `C
#
# # #
# # #
-
GJ ? !
GM
? B C ! 0 B C o inicial
la velocidad inicial
`?
`>
>!
a b 1 B C
SOLUCIN.
Paso uno: El mtodo de Fourier es ahora acondicionado de manera que
? B C > J B C K > a b a b a b es la solucin de prueba as;
JK - J K J K
#
BB CC
a b
separando las variables tenemos
K "
- K J
BB CC
#
#
J J @ a b
de donde
K K ! -@
J J @ J !
- -
#
BB CC
#
Ahora suponiendo en esta forma J B C L B U C a b a b a b
J U J L
BB CC
. L
.B .C
. U
#
# #
#
en esta forma
. L
.B .C
. U
#
#
# #
#
UL @ LU !
UL @ LU U@ LU L
. L . L
.B .C .B .C
. U . U
# #
# #
# # # #
# #
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 85
5
@ L 5 L
5 U
. L
#
.B .C
# #
# . U
#
#
#
#
#
U@ LU L
LU LU
#
. L
.B
# #
. U
.C
#
@ 5 L ! 5 U !
:
. L
.B .C
# # #
#
. U
#
# #
#
a b
Paso dos: Para la ecuacin se deduce de la condicin de
. L
.B
#
#
#
: U !
frontera que y la solucin es como se sabe dada por L ! ! L + ! a b a b
L B - :B - :B a b
" #
cos sin
as
L ! - ! L + ! - :+ a b a b
" #
sin
tomando entonces por lo tanto - " :+ 8 : 7 +
#
1 1
Ahora para de se deduce que y la
. U
.C
#
#
#
5 U ! GJ U ! ! U , ! a b a b
solucin ser
, U C - 5C - 5C a b
$ %
cos sin
as en esta forma de donde U ! ! - U , ! - 5, 5, 8 a b a b
$ %
sin 1
5 - "
8
,
%
1
Resumiendo tenemos
, L B B U C C
7 " #
8 " #
7 8
7 7
+ ,
a b a b sin sin
1 1
En esta forma
J B C L B U C B C
7 " #
8 " #
78 7 8
7 8
+ ,
a b a b a b sin sin
1 1
Ahora bien
: @ 5
# # #
por lo tanto se tiene
7 8 8
+ , + ,
# #
7 :
# # # #
# # # #
# #
1 1 1
@ @
de donde
@ 1
7 8
+ ,
# #
# #
y as se tiene que
- 1 - -@ -
7 8
+ ,
78
# #
# #
En esta forma la ecuacin
K K ! -
78
#
tiene por solucin a
K F > F >
87 78 78
78
cos sin - -
Se concluye que las funciones propias tomarn la forma
? B C > F > F > B C
7 " #
8 " #
78 87 78 78
78
7 8
+ ,
a b a b cos sin sin sin - -
1 1
Paso tres: Para obtener la solucin, por el principio de superposicin de
soluciones se tiene
? B C > ? B C > a b a b
! !
7"8"
_ _
78
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 86
F > F > B C
_
! !
a b
7"8"
_
87 78 78
78
7 8
+ ,
cos sin sin sin - -
1 1
De las condiciones iniciales se sigue que
? B C ! F B C 0 B C
_
a b a b
! !
7"8"
_
78
7 8
+ ,
sin sin
1 1
Esta serie se conoce como serie doble de Fourier. Supongamos que 0 B C a b
puede desarrollarse en una tal serie, entonces los coeficientes de F
78
Fourier de pueden determinarse de la siguiente manera. Haciendo 0 B C a b
O C F C M
7 78
8"
_
8
,
a b a b
!
sin
1
En esta forma
0 B C O C B a b a b
!
7"
_
7
8
+
sin
1
Manteniendo fijo se tiene que C
O C 0 B C B.B MM
7
# 7
+ + !
+
a b a b a b
'
sin
1
pero de se recibe que a b M
F O C C.C
78 7
# 8
, , !
,
'
a bsin
1
y finalmente de se llega a que a b MM
F 0 B C B C .B.C
78
% 7 8
+, + , ! !
+ ,
' '
a bsin sin
1 1
Ahora hallamos , o sea calculamos
`?
`>
` 7 8
`> + ,
7"8"
_
87 78 78
78
! !
a b
_
F > F > B C cos sin sin sin - -
1 1
F > F > B C
_
! !
a b
7"8"
_
78 78 78 78
78
7 8
+ ,
- - - sin cos sin sin
1 1
Ahora
`? 7 8
`> + ,
>!
7"8"
_
78
78
! !
a b F B C 1 B C
_
- sin sin
1 1
Como lo dijimos atrs si es desarrollable en serie doble de Fourier, 1 B C a b
se procede as: hacemos
P C F C
7 78
7"
_
78
8
,
a b
!
- sin
1
entonces manteniendo fijo se sigue que B
-
8 78
78
# 8
, , !
,
F P C C.C
'
a bsin
1
en esta forma
1 B C P C B a b a b
!
8"
_
7
7
+
sin
1
as para fijo se tiene que C
P C 1 B C B.B
7
# 7
+ + !
+
a b a b
'
sin
1
Por lo tanto
F 1 B C B C .B.C
78
% 7 8
+, + , ! !
+ ,
-
1 1
78
' '
a bsin sin
a b
a b
a b a b
? ! > !
? > "
? B ! 0 B
1
SOLUCIN. Se hace primero una transformacin en la frontera,
introduciendo un desplazamiento de equilibrio, haciendo
@ B > ? B > B a b a b 1
En este caso la funcin es la solucin del problema siguente @ B > a b
`@ ` @
`> `B
>
$B /
#
#
sin
a b
a b
a b a b
@ ! > !
@ > !
@ B ! 0 B B
1
1
Las funciones propias de este problema se calculan en la forma clsica y
estn dadas por
{sin sin 1BBP 8B
puesto que , as por el mtodo de expansin de funciones propias P 1
dado en 6.9 se sigue que
@ B > I > 8B a b a b
!
8"
_
8
sin
Por sustitucin
!
8"
_
.I
.>
# >
8
8
8 I 8B $B/ sin sin
Por el mtodo de los coeficientes indeterminados se sigue que
=
para
para
.I
.>
#
8
>
8
8 I
! 8 $
/ 8 $
BIBLIOGRAFIA
[1] Haberman R. , . P Elementary Applied Partial Differential Equations
Prentice-Hall. 1983
[2] John, F., . Springer-Verlag. 1982 Partial Differential Equations
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 88
[3] Larry C. A., Elementary partial Differential Equations with boundary
value problems. Academic Press College Division.1986
[4] Mijlov, V.P, . Mir. Ecuaciones Diferenciales en Derivadas Parciales
Mosc. 1980.
[5] Peral, A.I, . Addison- Ecuaciones en Derivadas Parciales
Wesley/Universidad autnoma de Madrid
[6] Petrovskii. , . Saundes Campany. 1966. Partial Differential Equations
[7] Sneddon, I.N., . MacGraw-Hill. Elements of Partial Differential Equations
1957.
[8] Takeuchi, Yu., . Editorial Takeuchi. Ecuaciones Diferenciales Parciales
1978
[9] Weinberger, H., . Blaisdell International Partial Differential Equations
Textbook Series. 1965.
*****
Espero que el lector haya obtenido algn provecho de este trabajo en el
aprendizaje de la teora de ecuaciones diferenciales parciales. En esta forma
presento una primera lectura, de un tema de gran utilidad para una mejor
asimilacin del estudio de la fsica matemtica.
Quiero agradecer a mi hijo Juan Armando quien ha sido un animador permanente de
este proyecto de aprendizaje en matemtica avanzada y que sin l habra sido imposible
realizarlo. Tambin a mi esposa Nohora y a la ingeniera Esperanza Nieto quienes leyeron
todo el original y cuidaron del buen manejo del lenguaje espaol.
Exitos y bienvenidos a la investigacin por internet. Cualquier comentario
favor hacerlo llegar a:
danojuanos@hotmail.com,
danojuanos@tutopia.com
danojuanos@yahoo.com
Copyright Daro Snchez Hernndez
Daro Snchez H. Elementos en "ECUACIONES DIFERENCIALES PARCIALES" 89