Ecuaciones Diferenciales Parciales

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

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

EJEMPLO
4. Dadas dos funciones diferenciables con continuidad ? aB Cb y @aB C b, la condicin necesaria y suficiente para que ellas formen las partes real e imaginaria de una funcin analtica, 0 aB C b ? 3@ 0 aB 3C b son las ecuaciones diferenciales de Cauchy-Riemann ?B @C ?C @B Este es un sistema de dos ecuaciones diferenciales parciales lineales para las funciones ? y @. Ellas pueden obtenerse formalmente mediante la condicin ` a?3@B3Cb ! ` aBCb
EJEMPLO
3. Dadas dos funciones ? ?aB C b y @ @aB C b, la funcin ? se dice fuertemente dependiente de @, si existe una funcin L a@b tal que ?aB Cb L a@aB C bb # # siempre y cuando @B @C !. Dos funciones sern fuertemente dependientes si su jacobiano es nulo. Esto es, ?B ?C ` a?@b ! ` aBCb @ @C B As para @ dado, esto indica que la ecuacin diferencial parcial de primer orden para ?, ?B @C @B ?C !, tiene una solucin general @ L a@aB C bb donde L es una funcin diferenciable arbitraria. Por ejemplo, supngase @aB C b B# C # entonces @B #B @C #C y la ecuacin diferencial parcial C?B B?C ! tendr por solucin a ? L aB# C # b.
EJEMPLO
2. El problema de hallar un factor integrante para la ecuacin diferencial ordinaria de primer orden Q aB Cb.B R aB C b.C ! a#b esto es, una funcin .aB Cb para la cual .Q .B .R .C sea una forma diferencial exacta, conduce a la ecuacin ` .Q ` .R a $b `C `B Esta es una ecuacin diferencial parcial de primer orden para .. El problema de hallar la solucin de la ecuacin diferencial ordinaria es as reducido al de hallar una solucin de la ecuacin diferencial parcial a$b.
esto segn el ejemplo 3 y observando que ? y @ son funciones reales, se tiene ? 3@B ?C 3@C ` a?3@B3Cb B 3a?B @C b a@B ?C b ! ` aB3Cb " 3
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?C @ B .
o,
?B @C
5. Problema de Plateau. Para hallar la superficie D ?aB C b que pase a travs de una curva dada en el espacio y cuya rea es mnima, est dada por la ecuacin parcial siguiente: # " ?# ?BB #?B ?C ?BC a" ?B b?CC ! C Esta es una ecuacin diferencial parcial de segundo orden casi-lineal, la cual determina a la superficie D ?aB C b.
EJEMPLO
6. La ecuacin diferencial parcial definida por una superficie desarrollable; esto es, una superficie que puede ser aplicada preservando las longitudes en regiones planas, es ?BB ?CC ?# !. BC Esta es una ecuacin diferencial no lineal para la superficie D ?aB C b.
EJEMPLO
7. Una ecuacin diferencial parcial importante en fsica es la del potencial o ecuacin de Laplace ?? ?BB ?CC ?DD !. Esta es una ecuacin diferencial parcial lineal de segundo orden que se cumple, por ejemplo para: + expresar la velocidad potencial de un fluido, , las componentes del campo de fuerzas de la atraccin Newtoniana y - la distribucin de la temperatura de los cuerpos en equilibrio trmico.
EJEMPLO
8. La ecuacin de la onda ?? ?BB ?CC ?DD -"# ?>> - -98=>+8>/. representa la aproximacin acstica de la velocidad potencial de un gas homogneo politrpico. Esta es una ecuacin diferencial parcial de segundo orden lineal para el potencial ?.
EJEMPLO
9. La ecuacin diferencial parcial " ?? ?BB ?CC ?DD O ?> . llamada la ecuacin del calor y se cumple para la distribucin de la temperatura en un cuerpo conductor del calor, siempre que la densidad y el calor especfico del material sean constantes. sta de nuevo es, una ecuacin diferencial parcial lineal de segundo orden para ?.
EJEMPLO
El problema objeto de la teora de las ecuaciones diferenciales es hallar las soluciones, las cuales, en todos los casos consisten en determinar el espacio donde ellas se verifican. As para las ecuaciones diferenciales ordinarias (EDO) el espacio donde ellas se verifican es un espacio funcional de dimensin finita y resolver una EDO es hallar un conjunto fundamental para representar a dicho espacio. En el caso de las
Daro Snchez H.
ecuaciones diferenciales parciales (EDP) el espacio de soluciones ya no es de dimensin finita, pero de todas maneras el resolver una EDP es determinar el espacio funcional donde ellas se verifican, el cual resulta ser un espacio funcional de dimensin infinita; en el caso lineal la dificultad est en la determinacin de un conjunto infinito que permita el hallazgo de este espacio, el cual por lo general es un espacio de Hilbert, en los casos ms comunes y de utilidad en la fsica terica, en esos casos la determinacin del espacio solucin se ecuentra en la localizacin de un conjunto ortogonal infinito que permita una generalizacin de los espacios vectoriales de dimensin finita. Hay muchas teoras conducentes a dicha generalizacin, empezando por la de independencia lineal para el caso de infinitos elementos, pero que sean numerables. En los casos ms elementales se utilizan las series de Fourier, y la teora de funciones ortogonales mediante la tora espectral. Tambin se pueden usar tcnicas de geometra diferencial o de analisis vectorial como lo podemos observar en la siguiente seccin. 1.2. ECUACIONES LINEALES Y CASI-LINEALES Las ecuaciones de primer orden, en general, presentan interpretaciones geomtricas interesantes. Ser conveniente entonces restringir la discusin al caso de dos variables independientes, pero es claro que la teora podr ser extendida inmediatamente a cualquier nmero de variables. Consideramos entonces ecuaciones de la forma J aB C ? ?B ?C b J aB C ? : ; b ! a"b donde hemos usado las notaciones ?B : ?C ; . Una solucin D ?aB C b cuando la interpretamos como una superficie en el espacio tridimensional, ser llamada una superficie integral de la ecuacin diferencial. Comenzamos con la ecuacin diferencial parcial generada por +aB C b?B ,aB C b?C - aB C b? . aB C b a#b Notamos que el lado izquierdo de esta igualdad representa la derivada de ?aB Cb en la direccin a+aB C b ,aB C bb. Por lo tanto consideremos las curvas en el B C -plano, cuyas tangentes en cada punto tienen estas direcciones es decir, la familia a un parmetro de curvas definidas por las ecuaciones diferenciales ordinarias ,aBCb .C .C .B , a$b .B +aBCb , .> +aB C b .> , aB C b As, estas curvas tendrn la propiedad de que, a lo largo de satisfacen las ecuaciones diferenciales ordinarias - aBCb?. aBCb .? , o, .? - aB C b? . aB C b a%b .B +aBCb .> ?aB Cb
La familia a un parmetro de curvas definidas por la ecuacin a$b sern llamadas las curvas caractersticas de la ecuacin diferencial. Supngase ahora que a ?aB Cb se le asigna un valor inicial en el punto aB! C! b en el B C -plano. Por el problema de existencia y unicidad para
Daro Snchez H.
ecuaciones diferenciales ordinarias a valores iniciales, las ecuaciones a$b definirn unvocamente las curvas caractersticas, digamos B BaB! C! >b C C aB! C! >b a&b junto con ? ?aB! C! >b a'b que ser nicamente determinado por la ecuacin a%b. El planteo exacto de este problema, llamado problema de Cauchy con valor inicial, ser dado para las ecuaciones casi-lineales ms generales, un poco ms adelante. Como un ejemplo consideremos la ecuacin diferencial B?B C?C !? con las condiciones iniciales ? 9aBb para C ". Las curvas caractersticas son dadas por la ecuacin .C C .B B teniendo por soluciones C -B A lo largo de tales curvas ? debe satisfacer la ecuacin .C !C .B B cuya solucin es ? 5B! . Como 5 puede ser diferente de una curva caracterstica a otra curva caracterstica, es decir, depende de - , tenemos la solucin general C ? 5 a- bB! 5 B B! donde 5a b es una funcin arbitraria. Si aplicamos la condicin inicial para C ", obtenemos " 9aBb 5 B B! o 5 a=b 9 " =! = y por lo tanto la solucin requerida ser ? 9 B C ! . C La ecuacin general casi-lineal puede ser escrita en la forma +aB C ?b?B ,aB C ?b?C - aB C ?b a(b
La solucin general ?aB Cb define una superficie integral D ?aB C b en el B C D-espacio. La normal a la superficie tendr por direcciones
Daro Snchez H.
Llamando al valor comn de estas razones .>, podemos tambin escribirlas en la forma .C .B .D .> +aB C D b .> , aB CD b .> - aB C D b a*b Por cada punto aB! C! D! b pasar una curva caracterstica B BaB! C! D! >b C C aB! C! D! >b D D aB! C! D! >b Una importante propiedad de las curvas caractersticas es que: Cada superficie generada por una familia a un parmetro de curvas caractersticas, es una superficie integral de a(b. Ms an, la inversa tambin es verdadera. En efecto, supongamos que D ?aB C b es una superficie integral D dada. Consideremos la solucin del sistema .C .B .> +aB C ?aB C bb .> , aB C ?aB C bb con B B! C C! para > !. Entonces para las correspondientes curvas B Ba>b C C a>b D ?aBa>b C a>bb tambin de a(b se tiene .C .D .B .> ?B .> ?C .> +aB C ?b?B , aB C ?b?C - aB C ?b 6 aB C D b Por esto la curva satisface la condicin a*b de las curvas caractersticas y tambin descansan sobre D por definicin. As D contiene en cada punto una curva caracterstica pasando a travs del punto. Por lo tanto D contiene las curvas integrales. Adems, si dos superficies integrales se intersectan en un punto entonces ellas se intersectan a lo largo de la curva caracterstica a travs del punto; y la curva de interseccin de dos superficies integrales debe ser una curva caracterstica. En este punto la solucin del problema de Cauchy con valor inicial, esto es, el de hallar la solucin ?aB Cb de a(b satisfaciendo valores iniciales dados a lo largo de una curva en el B C-plano, llega a ser evidente. Podemos tomar como solucin a la superficie integral formada por la familia de curvas caractersticas a travs de cada punto inicial en el espacio.
a?B ?C "b; as que la ecuacin a(b se puede interpretar como la condicin mediante la cual la superficie integral, en cada punto, tiene la propiedad de que el vector a+ , - b es tangente a la superficie. As la ecuacin diferencial parcial define un campo de direcciones a+ , - b llamadas las direcciones caractersticas, teniendo la siguiente propiedad: la ecuacin D ?aB C b es una superficie integral si y slo si en cada punto el plano tangente contiene una direccin caracterstica. Es sugestivo entonces considerar las curvas integrales de este campo esto es, la familia de curvas del espacio cuyas tangentes coinciden con las direcciones caractersticas. Estas son llamadas las curvas caractersticas y son dadas por las ecuaciones .C .B .D a) b +aBCD b ,aBCD b - aBCD b
Daro Snchez H. TEOREMA
parcial casi-lineal de primer orden
1.1 aT <9,6/7+ ./ G+?-2C b Considrese la ecuacin diferencial +aB C ?b?B ,aB C ?b?C - aB C ?b a"!b
donde a,b,c tiene derivadas parciales continuas con respecto a B C ?. Supngase que a lo largo de la curva inicial B B! a=b C C! a=b los valores iniciales ? ?! a=b estn determinados por B! C! ?! , siendo funciones continuamente diferenciables en ! = ". Adems supngase que
.C! .= +aB! a=b C! a=b ?! a=bb
! a""b Entonces existe una y solamente una solucin ?aB Cb definida en alguna vecindad de la curva inicial, que satisface la ecuacin parcial a"!b y las
.B! .= , aB! C! a=b ?! a=bb
condiciones iniciales
?aB! a=b C! a=bb ?! a=b a"#b DEMOSTRACIN. Consideremos la ecuacin diferencial ordinaria .C .B .? a"$b .> +aB C ?b .> , aB C ?b .> - aB C ?b Por el teorema de existencia y unicidad para ecuaciones diferenciales ordinarias, podemos determinar una nica familia de ecuaciones caractersticas B BaB! C! >b Ba= >b C C aB! C! >b C a= >b a"%b ? ?aB! C! >b ?a= >b cuyas derivadas con respecto a los parmetros = > son continuas y tales que ellas satisfacen las condiciones iniciales Ba= !b B! a=b Ca= !b C! a=b ?a= !b ?! a=b Notamos que el Jacobiano B= B> ` aBCb .B! , .C! + ! ` a=>b >! C .= .= C> >! = esto segn la condicin a""b. As por el teorema de la funcin implcita la ecuacin a"%b puede resolverse para = > en trminos de B > en una vecindad de la curva inicial > !, obteniendo de a"%b una expresin para la solucin dada por FaB Cb ?a=aB C b >aB C bb FaB Cb claramente satisface las condiciones iniciales; pues FaB Cb>! ?a= !b ?! a=b. Ms an FaB Cb satisface la ecuacin diferencial a"!b. Pues +FB ,FC +a?= =B ?> >B b , a?= =C ?> >C b ?= a+=B ,=C b ?> a+>B ,>C b ?= a=B B> =C C> b ?> a>B B> >C C> b ?= ! ?> " puesto que de las ecuaciones = =aB C b > >aB C b tenemos => ! =B B> =C C> >C " > B B> > C C > .
Daro Snchez H.
Adems FaB Cb es nica. Pues supngase que FaB Cb es cualquier otra solucin satisfaciendo las condiciones iniciales y aBw Cw b un punto arbitrario en una vecindad de la curva inicial. Consideremos la curva caracterstica B Ba=w >b C a=w >b ? ?a=w >b donde =w =aBw C w b. En > ! estas curvas estan en ambas superficies puesto que aqu pasan a travs de la curva inicial por el punto Ba=w !b B! a=w b Ca=w !b C! a=! b ?a=w !b ?! a=w b. Pero si una curva caracterstica tiene un punto comn con una superficie integral ella est colocada totalmente sobre la superficie. As las curvas caractersticas se encuentran en ambas superficies y en particular para >w tenemos FaBw Cw b FaBw a=w >w b C w a=w >w bb ?a=w >w b FaBw C w b. Como un ejemplo consideremos la ecuacin diferencial parcial ??B ?C " con la condicin inicial B = C = ? " = para ! = ". Notamos que # la condicin a""b se satisface; pues .C .B " !=" .= + .= , # = " ! :?/= Resolviendo las ecuaciones diferenciales ordinarias .C .B .? .> ? .> " .> " con las condiciones iniciales Ba= !b = C a= !b = ?a= !b " = # hallamos la familia de curvas caractersticas B " ># " => = # # C >= = ?> # Cuando resolvemos a = y > en trminos de B y C, obtenemos = y finalmente la solucin ser ?
B C# " C #
#
>
#
CB " C #
#aCBbB C# #C
2. ECUACIN GENERAL DE PRIMER ORDEN PARA FUNCIONES EN DOS VARIABLES Una ecuacin diferencial parcial general de primer orden para funciones de dos variables D aB C b y sus derivadas DB : DC ; , puede ser escrita en la forma J aB C D : ; b ! a"b
Daro Snchez H.
Hemos supuesto que J tiene segundas derivadas continuas con respecto a sus variables B C D : ; . Sorprendentemente al resolver una ecuacin de primer orden ms general el anlisis se reduce a la resolucin de un sistema de ecuaciones diferenciales ordinarias. La geometa, sin embargo, no necesariamente es tan simple como para las ecuaciones casi-lineales, donde se haca referencia principalmente a las curvas integrales. En el caso general nos referiremos, como se ver, a objetos gemtricos ms complicados, llamados fajas (o tiras ). Supngase ahora que en algn punto aB! C! D! b en el espacio, consideramos una posible superfice integral D D aB C b y las direcciones a: ; "b de su plano tangente. La ecuacin establece que existe una relacin. J aB! C! D! : ; b ! entre las direcciones : y ; . Esto es, la ecuacin diferencial limitar sus soluciones a aquellas superficies teniendo planos tangentes pertenecientes a familias a un parmetro.
En general esta familia de planos ser la envolvente cnica (ver la grfica) llamada el cono de Monge. As la ecuacin diferencial a"b define un campo de conos teniendo la propiedad de que una superficie ser una superficie integral si y solamente si es tangente a un cono en cada punto. Notamos que en el caso casi-lineal el cono degenera en una recta. Consideremos por un momento que tenemos una familia a un parmetro de superficies integrales D 0 aB C - b a#b donde suponemos que 0 tiene segundas derivadas parciales continuas con respecto a sus variables B C - . Como podemos suponer de la interpretacin geomtrica de la ecuacin diferencial, la envolvente, si existe, ser de nuevo una solucin. Para hallar la envolvente de una familia de superficies consideramos los puntos de interseccin de superficies vecinas D 0 aB C - b, y , D 0 aB C - ?- b Restando y dividiendo por ?- , BC-?- b ! 0 aBC-b0 a? y pasando al lmite cuando ?- !, tenemos la envolvente dada por las dos ecuaciones siguientes:
Daro Snchez H.

D0 aBC- b
10
Esto es, la envolvente tendr las mismas derivadas que un miembro de la familia, y la ecuacin diferencial es justo una relacin entre aquellas derivadas como se verificar. Suponemos conocida una familia a dos parmetros de superficies integrales, digamos D 0 aB C + , b a&b Entonces podemos hallar soluciones dependiendo de una funcin arbitraria. Pues si consideramos , Fa+b donde F es diferenciable, obtenemos la familia D 0 aB C + Fa+bb ! 0+ 0, Fw a+b ser una superficie integral dependiendo de la funcin F. Esto sugiere que si damos una familia a dos parmetros de superficies integrales, podemos seleccionar una familia a un parmetro de aquellas superficies cuya envolvente contiene una curva dada en el espacio y esto es, hallar una solucin para un problema de valores iniciales. Notemos que es enteramente razonable expresar la existencia de una familia a dos parmetros de soluciones. Por supuesto, podemos iniciar con una familia arbitraria de superficies, digamos D 0 aB C + , b a'b Si logramos resolver para los parmetros + y , en el sistema formado por las dos derivadas parciales : DB 0B aB C + , b ; DC 0C aB C + , b y se sustituye + y , en la ecuacin a'b, se obtiene la ecuacin diferencial parcial D 0 aB C +aB C : ; b , aB C : ; bb ! a(b tenindose la familia dada como solucin. Llamaremos a la familia a dos parmetros de soluciones, solucin completa de la ecuacin diferencial. Supongamos ahora que tenemos la solucin completa D 0 aB C + , b y deseamos hallar una envolvente conteniendo la curva inicial siguiente B Ba=b C C a= b D D a=b con tal objeto consideremos las dos ecuaciones K= a= + ,b D a=b 0 aBa=b C a=b + , b ! a)b
a$b !0 aBC- b Si podemos resolver para - en la segunda y eliminando en la primera, tenemos la envolvente expresada como D 1aB C b 0 aB C - aB C bb La envolvente satisface la ecuacin diferencial dada. En efecto suponiendo 0- !, se obtiene 1 0 0 - 0 a%b 1B0 B 0- -B 0B
C C - C C
Daro Snchez H.
11
K= a= + ,b D w a=b 0B Bw a=b 0C C w a=b ! a*b de donde se obtiene una relacin entre + , digamos en trminos del parmetro =: + +a=b , ,a=b. La envolvente D 0 aB C +a=b , a=bb ! 0+ +w a=b 0, ,w a=b contendr la curva inicial. Pues ambas ecuaciones se cumplen idnticamente en = por Ba=b Ca=b D a=b; la primera como una consecuencia directa de la ecuacin a)b, y la segunda por la derivabilidad de la primera D w a=b 0B Bw a=b 0C C w a=b 0, , w a=b o ! 0+ +w a=b 0, ,w a=b donde hemos usado la ecuacin a*b. Como un ejemplo, consideremos la familia a dos parmetros del plano que estn a una distancia unitaria del origen, es decir, los planos respecto a la esfera unitaria. Ellos estan dados por las ecuaciones D "+# ,# b B "a, # ,# b C "a" #,# b a+ + + y se puede demostrar que es una solucin completa de la ecuacin diferencial parcial aD :B ;C b# a" :# ; # b ! si deseamos hallar una supercifie integral conteniendo a la curva inicial, dada, digamos por el crculo de radio " alrededor del eje D, de ecuacin # D " B " cos) C " sin) ! ) #1 # # se obtiene la familia de planos dada por las ecuaciones , Ka) + ,b " a+# , # b + cos) # sin) " ! # K) a) + ,b + sin) ,cos) ! de donde se concluyen las relaciones + % cos) , % sin) o , +# , # "' $ $ #& la superficie integral requerida es entonces la envolvente de la familia D % Bcos) % C sin) & $ $ $ Todo est bien si ya tenemos una familia a dos parmetros de superficies integrales. Continuamos por consiguiente con un ataque ms sistemtico con el fin de escribir un sistema de ecuaciones ordinarias de soluciones con las cuales deseamos una solucin, de la ecuacin diferencial parcial dada. Demos una superficie integral D D aB C b teniendo segundas derivadas parciales continuas con respecto a B y a C . En cada punto la superficie ser tangente a un cono de Monge (ver la figura)
Daro Snchez H.
12
Las lineas de contacto entre los planos tangentes a la superficie y los conos definen un campo de direcciones en superficie, llamado el campo de direcciones caractersticas y las curvas integrales de este campo definen una familia de curvas caractersticas. Con el objeto de describir las curvas caractersticas, obtenemos primero una expresin analtica para el cono de Monge en algn punto aB! C! D! b. Este es la envolvente de una familia a un parmetro de planos D D! :aB B! b ; aC C! b donde : y ; satisfacen J aB! C! D! : ; b ! o, ; ; aB! C! D! : ; b a""b y por lo tanto puede ser dada por las ecuaciones De las ecuaciones a""b obtenemos .; .J .: J: J; .: !
.; .:
DD! :aBB! b; aB! C! D! :bCC!

.; !aBB! b; aCC! b .:
a"#b
Notemos que dando : y ; las dos ltimas ecuaciones definen la lnea generatriz del cono, es decir, la lnea de contacto entre el plano tangente y el cono. As en nuestra superficie integral dada, donde cada punto :! :aB! C! b y ;! ; aB! C! b son conocidos, el plano tangente estar dado por D D! :! aB B! b ;! aC C! b juntamente con la ecuacin CC! BB! J: J; determinndose la lnea de contorno con el cono de Monge CC! BB! DD! J: J; = :J: ;J;
as que puede ser eliminada de a"#b, y las ecuaciones, definiendo el cono de Monge, se escriben J aB! C! D! : ; b ! D D! :aB B! b ; aC C! b a"%b CC! BB! J: J;
a"$b
o la direccin caracterstica aJ: J; :J: ;J; b Se sigue entonces que las curvas caractersticas estan determinadas por el sistema de ecuaciones diferenciales ordinarias .C .B .D a"&b J: J; :J: ;J;
Daro Snchez H.
13
.C .D J: a"'b .> J; .> :J: ;J; Si la superficie integral es todava desconocida, es claro que las tres ecuaciones a"&b o a"'b no sern todava suficientes para determinar las curvas caractersticas comprendiendo la superficie. Sin embargo, se puede obtener mayor informacin sobre el comportamiento de : y ; a lo largo de las curvas caractersticas .B .>
Retornando a la ecuacin a"b y diferenciando primero con respecto a B y luego con respecto a C, tenemos JB J D : J : : B J ; ; B ! JC JD ; J : : C J ; ;C ! As que las ecuaciones a"(b pueden escribirse en la forma donde hemos usado que :C ;B . Tenemos entonces asociado con la superficie integral dada, D D aB C b una familia de curvas caractersticas en la superficie, tal que las coordenadas Ba>b Ca>b D a>b, a lo largo de la curva y los nmeros :a>b ; a>b estan relacionados mediante el sistema de cinco ecuaciones dadas en a"'b y a")b. Estas cinco ecuaciones diferenciales ordinarias son llamadas ecuaciones caractersticas relativas a la ecuacin diferencial parcial a"b . Supngase ahora que la superficie est an por determinar. La discusin previa nos permite considerar la ecuacin diferencial parcial a"b junto con el sistema de ecuaciones caractersticas a"'b y a")b como un sistema de seis ecuaciones para las cinco funciones desconocidas Ba>b Ca>b D a>b :a>b ; a>b. Este sistema es sobredeterminado, sin embargo la primera ecuacin J aB C D : ; b ! no es superflua, y no constituye una restriccin. Pues, a lo largo de una solucin de las cinco ltimas y mediante la regla de la cadena se sigue .C .: .; .J .B .D .> JB .> JC .> JD .> J: .> J; .> JB J: JC J; :JD J; J: JB J: JD : J; JC J; JD ; ;JD J; !. Siguindose que J =-98=> constituye una integral de las cinco ecuaciones restantes. Es claro entonces que si J ! se satisface en un punto inicial digamos B! C! D! :! ;! para > !, las cinco ecuaciones caractersticas determinan una nica solucin Ba>b Ca>b D a>b :a>b ; a>b pasando tambin por el punto y justo con J ! se satisface para todo >.
J aBCD:; b! .C J; .> .B J: .D :J: ;J; .> .>
.: .> JB JD : .; .> JC JD ;
.C .: .B .> :B .> :C .> .C .; .B .> ;B .> ;C .>
:B J: :C J; ;B J: ;C J;
a"(b
.; JC JD ;
.: .> JB JD : .>
a")b
a"*b
Daro Snchez H.
14
Una solucin de a"*b puede ser interpretada como una tira (o franja, o cinta). Esto es, un espacio de curvas B Ba>b C C a>b D D a>b junto con una familia de planos tangentes determinados por las direcciones a: ; "b. Para >! fijo, los cinco nmeros B! C! D! :! ;! se determinan definiendo un elemento de la tira, es decir, un punto de la curva y el correspondiente plano tangente. Note que ningn conjunto de cinco funciones puede ser determinado como una tira. En efecto se requiere que los planos sean tangentes a la curva, lo cual se da por la condicin .D a>b .Ba>b .Ca>b a#!b .> :a>b .> ; a>b .> llamada la condicin de faja. En nuestro caso la condicin de faja se garantiza por las primeras cinco ecuaciones caractersticas. Llamaremos a las tiras que son solucin de a"*b tiras caractersticas y sus curvas correspondientes, curvas caractersticas. 2.1. Si las tiras caractersticas tienen un elemento B! C! D! :! ;! en comn con la superficie integral D ?aB Cb, entonces se hallan completamente sobre la superficie.
TEOREMA
En efecto, dada una solucin ?, considrense las dos ecuaciones diferenciales ordinarias para las variables Ba>b Ca>b con condiciones iniciales Ba!b B! C a!b C! . Por los teoremas de existencia y unicidad para ecuaciones diferenciales ordinarias ellas sern unvocamente determinadas por las curvas B Ba>b, C C a>b junto con la correspondiente curva sobre la superficie integral B Ba>b C C a>b D ?aBa>b C a>bb a##b Adems se satisfacen las siguientes ecuaciones .C .C .B a#$b .> ?B .> ?C .> ?B J: ?C J; .?B a#%b .> ?BB J: ?BC J; y .?C a#&b .> ?CB J; ?CC J; donde ?a!b ?aB! C! b D! ?B a!b ?B aB! C! b :! , y , ?C ?C aB! C! b ;! . Suponiendo por otro lado que J aB C ?B aB C b ?C aB C bb ! a#'b y as JB J? ?B J?B ?BB J?C ?CB !
.B .> J: aBC?aBC b?B aBC b?C aBC bb .C .> J; aBC?aBC b?B aBC b?C aBC bb
a#"b
Daro Snchez H.
15
JC J? ?C J?B ?BC J?C ?CC ! por lo tanto las ecuaciones a#$b y a#%b pueden escribirse en la forma .?B a#(b .> JB JD ?B y .? a#)b .> JC JD ?C donde se supone que ?BC ?CB . Examinemos ahora las cinco funciones B Ba>b C C a>b D ?aBa>b C a>bb, : ?B aBa>b C a>bb, ; ?C aBa>b C a>bb. Ellas determinan las tiras caractersticas pues satisfacen las cinco ecuaciones caractersticas a#"b a##b a#$b a#(b y a#)b, adems de la ecuacin finita a#'b. Y ellas determinan una nica tira caracterstica para el elemento inicial B! C! D! :! ;! . Pero las tiras deseadas estn sobre la superficie por definir, as el teorema est probado. Es claro ahora, que con las consideraciones previas, podemos proceder a resolver el problema de Cauchy con valor inicial y el auxilio de estas tiras caractersticas.
parcial
TEOREMA
2.2. (PROBLEMA DE CAUCHY). Consideremos la ecuacin diferencial J aB C D : ; b ! a#*b
donde J tiene segundas derivadas parciales con respecto a sus variables B C D : ; . Supongamos que junto con la curva inicial B B! a=b C C! a=b ! = ", los valores iniciales D D! son asignados por B! C! D! teniendo segundas derivadas continuas. Supngase an que las funciones contnuamente diferenciables :! a=b ;! a=b han sido definidas satisfaciendo las dos ecuaciones Finalmente, supngase que las cinco funciones B! C! D! :! ;! satisfacen la condicin Entonces en alguna vecindad de la curva inicial existir una y solamente una solucin D ?aB Cb de a#*b conteniendo la faja inicial, es decir tal que
D aB! a=b C! a=bb D! a=b DB aB! a=b C! a=bb :! a=b DC aB! a=b C! a=bb ;! a=b. DEMOSTRACIN. Consideremos el sistema de ecuaciones caractersticas
.C .B .> J: .> J; .D .> :J: ;J; .: .> JB :JB .; .> JC ;JB
J aB! a=bC! a=bD! a=b:! a=b;! a=bb! .D! .B! .C! .= :! .= ;! .=
a$!b
.B! .= J; aB! C! D! :! ;! b
.C! .= J: aB! C! D! :! ;! b
a$"b
con la familia de condiciones iniciales B B! a=b C C! a=b D D! a=b : :! a=b ; ;! a=b para > !. Del teorema de existencia y unicidad, del problema de valores iniciales para ecuaciones diferenciales ordinarias, podemos obtener una familia de soluciones dependiendo del parmetro inicial =
a$#b
Daro Snchez H.
16
B \ a=b C ] a=b D ^ a=b : T a=b ; Ua=b a$$b donde \ ] ^ T y U tienen derivadas continuas con respecto a = y a >, y adems que satisfacen las condiciones iniciales \ a= !b B! a=b ] a= !b C! a=b ^ a= !b D! a=b T a= !b :! Ua= !b ;! a=b a$%b determinndose as las tiras caractersticas surgidas de los elementos iniciales, debemos demostrar que las curvas caractersticas de estas franjas B \ a= >b C ] a= >b D ^ a= >b necesariamente forman una superficie. En particular si resolvemos las dos primeras ecuaciones para = y > en trminos de B y C, y luego sustituyendo en la ltima, se obtiene la superficie D ^ a=aB C b >aB C bb D aB >b como una funcin de las variables B y C. Esto se puede dar para alguna vecindad R a0 ( b alrededor de cada punto 0 ( en la curva inicial puesto que, a lo largo de la curva inicial el Jacobiano \= \> ` a\] b .B! J; .C! J: ! a$&b ` a=>b >! ] .= .= ] > >! = esto por la condicin a$$b, dada por hiptesis. Tenemos entonces definido, en R a0 (b, las ecuaciones ==aBC b >>aBC b B\ a=aBC b>aBC bb C] a=aBC b>aBC bb D^ a=aBCb>aBCbb :T a=aBC b>aBC b b ;Ua=aBC b>aBC bb a$'b
Debemos probar que D aB C b es una solucin de la ecuacin diferencial parcial a#*b, es decir, de la ecuacin J aB C D aB C b DB aB C b DC aB C bb ! Pero se sabe, que para las tiras caractersticas se tiene J aB C D : ; b ! slo nos resta probar que : DB y, ; DC Con este objeto consideremos la expresin Y a= >b ^= T \= U]= a$(b Para > ! Y a= !b .D! :! .B! ;! .C! ! .= .= .= por la condicin de tira, para los elementos iniciales a$!b. Mostremos que Y ! para todo >, lo cual expresa el hecho, de que las tiras caractersticas quedan suavemente juntas. Para hacer esto, consideremos la derivada de Y con respecto a >. `Y `> ^=> T> \= T \=> U]=> ` `= a^> T \> U]> b T= \> U= ]> U> ]= T> \= ! J: T= J; U= aJB JD T b\= aJC JD Ub]= donde hemos usado las ecuaciones caractersticas a$#b. Tenemos adems por adicin y sustraccin de JD J= y luego reagrupando trminos tenemos `Y `> JB \= JC ]= JD ^= J: T= J; U= JD a^= T \= U]= b J= J D Y J D Y
Daro Snchez H.
17
puesto que J= ! en = y >. Ahora para = fijo, la funcin Y satisface la ecuacin diferencial ordinaria .Y .> JD Y cuya solucin dada por > Y Y a!b/'! JD .> Puesto que para > ! se sigue que Y ! para todo > es decir Z= T \= U]= Observemos ahora las cuatro ecuaciones Z= T \= U]= ^= ^B \ = ^ C ]= ^> T \> U]> ^ > ^ B \ > ^ C ]> . La primera se sigue de la discusin previa, la segunda es justo la tercera ecuacin caracterstica, y las ltimas dos por diferenciacin de las identidades a$'b. Las cuatro cantidades T U ^B ^C pueden ser consideradas como dos soluciones, para dos ecuaciones lineales en dos variables desconocidas. Sin embargo, puesto que cerca de a0 (b el determinante \= \> ! ] ]> = en virtud de la ecuacin a$&b las dos soluciones son necesariamente idnticas, es decir; T a= >b ^B aBa= >b C a= >bb Ua= >b ^C aBa= >b C a= >bb 0 :aBC b^ aBC b a$)b ; aBCb^BaBCb como queramos demostrar. Las soluciones ^ ^ aB C b contienen la tira inicial. Pues
C
esto en virtud de las ecuaciones a$%b a$'b y a$)b. Para demostrar que ^ ^ aB C b as determinado, es nica, supongamos que existe otra solucin ^ ^ w aB C b definida en R 0 ( y contenida en una tira inicial. Escojamos un punto arbitrario aBw Cw b en R 0 ( y resolviendo para =w y >w en las ecuaciones asociadas se tiene =w =aBw C w b >w >aBw C w b Consideremos ahora los elementos iniciales B! a=w b C ! a=w b D! a=w b :! a=w b ;! a=w b. Por lo que se ha supuesto estos elementos estn todos colocados sobre la superficie integral. As la unicidad de la tira caracterstica determinada, brinda para estos elementos las ecuaciones B \ a=w >b C ] a=w >b D ^ a=w >b : T a=w >b ; Ua=w >b
^ aB! C! b ^ aBa= !b C a= !bb ^ a= !b ^! a=b ^B aB! C! b :aB! C! b :aBa= !b C a= !bb :a= !b :! a=b ^C aB! C! b ; aB! C! b ; aBa= !b C a= !bb ; a= !b ;! a=b
Daro Snchez H.
18
y es preciso tambin considerarlas en ambas superficies. Esto es ^ w a\ a=w >b ] a=w >bb ^ a=w >b ^ a\ a=w >b ] a=w >bb y en particular para >w tenemos ^ w aBw Cw b ^ w a\ a=w >w b ] a=w >w bb ^ a=w >w b ^ a\ a=w >w b ] a=w >w bb ^ aBw C w b. Note que tan slo tenemos una nica solucin construida en una vecindad R 0 ( alrededor de un punto 0 ( en la curva inicial. Debemos tener la solucin extendida para incluir la curva completa. Esto puede darse mediante un recubrimiento apropiado de la curva inicial formado por vecindades R 0 ( en donde vale la unicidad. Supongamos entonces que la regin prxima a la curva inicial es aplicada homeomrficamente sobre alguna de un ? @-plano tal que la curva inicial quede aplicada en una porcin > de la lnea ? !. El sistema de vecindades R a? @b que tiene por restriccin propia, el tamao de R 0 ( suponindolas circulares. Consideremos ahora un recubrimiento finito W de > por R a? @b. Esto se puede tener, dado que la curva inicial y tambin su imagen > son compactas. Las intersecciones de este cubrimiento tendrn un dimetro mnimo, digamos <. (ver la figura). Supongamos ahora > cubierta con un segundo recubrimiento X de vecindades R a? @b < teniendo dimetro mximo de #
Este recubrimiento X tendr entonces la propiedad de que las intersecciones de cualquiera de sus vecindades estar completamente dentro de al menos una de las vecindades del recubrimiento W . Se consideran las soluciones ^X aB Cb que han sido construidas por las vecindades del cubrimiento X . Es claro que ellas definirn una solucin del problema de Cauchy para la curva completa. Todo lo que tenemos que mostrar es que los ^X concuerdan a lo largo de las intersecciones de sus respectivas vecindades. Pero esto es claro por la prueba de unicidad para las vecindades del primer recubrimiento W . Hemos visto anteriormente que podemos resolver el problema de Cauchy con auxilio de una integral completa. Existe sin embargo otro tipo de soluciones que es tambin conveniente para este propsito. A saber, en cada punto aB! C! D! b en el espacio, existe una familia a un parmetro de elementos B! C! D! :! a=b ;! a=b por medio de cada una de las cuales podemos pasar a las tiras caractersticas. Esta familia, a un parmetro de tiras, formar en
Daro Snchez H.
19
general, cierta superficie cnica con una singularidad en el punto aB! C! D! b, para ms detalles ver [2].
3. METODO DE SOLUCIONES DE LA ECUACION .B U .D T V Las curvas integrales del conjunto de soluciones de las ecuaciones diferenciales de la forma .C .B .D a" b T U V donde T U V son funciones definidas en un conjunto abierto H d $ , continuas y diferenciables aT U V H d b, dan origen a una familia de curvas a dos parmetros en el espacio tridimensional. Si podemos obtener de la ecuacin a"b dos relaciones de la forma ?" aB C D b -" ?# aB C D b -# a#b involucrando dos constantes arbitrarias, entonces variando estas dos constantes obtenemos una familia a dos parmetros cumpliendo la ecuacin a"b. En particular, para hallar las funciones ?" y ?# se observa que para cualquier direccin tangencial a travs del punto aB C D b a la superficie ?" aB C D b -" se satisface la relacin `?" `?" `?" `B .B `C .C `D .D ! Si ?" -" es un adecuado sistema de superficies a un parmetro, la direccin tangencial a la curva integral a travs de cualquier punto aB C D b es tambin una direccin tangencial a esta superficie. Por lo tanto T `?" U `?" V `?" ! `B `C `D Para hallar ?" (y, anlogamente ?# experimentamos con un buen nmero de funciones T w Uw y , V w de tal manera que se cumpla T T w UUw VV w ! a$b y tales que exista una funcin ?" con la propiedad T w `?" Uw `?" V w `?" a%b `B `C `D es decir, tal que a&b T w .B Uw .C V w .D sea una forma diferencial exacta .?" .
EJEMPLO. 3.1. METODO DE LAS PROPORCIONES
.C
En este caso tenemos, en la notacin anterior T C aB C b +D U BaB C b +D V D aB C b Si por tanteo tomamos " Tw " Uw D V w BC D D#
Hallar las curvas integrales de las ecuaciones .C .B .D CaBCb+D BaBCb+D D aBC b
a' b
Daro Snchez H.
20
Entonces la condicin a$b es evidentemente verificada y la funcin ?" de la ecuacin a%b tomar la forma ?" BC D Anlogamente si tomamos T w B Uw C Vw + de nuevo la condicin a$b se cumple, y la funcin correspondiente es ?# " aB# C # b +D # Por lo tanto las curvas integrales de la ecuacin diferencial son los miembros de la familia a dos parmetros B C -" D B# C # #+D -# a(b Otro camino para obtener estas ecuaciones, es haciendo uso de las propiedades de las razones aritmticas, as la ecuacin a'b puede escribirse en la forma .B.C .D D aBCb aBCb# Esta es una ecuacin diferencial ordinaria en la variables B C y D cuya solucin es a)b B C -" D Anlogamente se pueden hacer combinaciones como sta B.BC.C .D +aBCbD D aBCb 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 -# Las ecuaciones a)b y a*b son justamente las mismas de a(b.
3.2 FORMA Y ECUACIONES DE PFAFFIAN
a*b
La expresin
donde los J3 a3 " # 8b son funciones de algunas o todas las 8 indeterminadas B" B# B8 , es llamada forma diferencial de Pfaffian. Anlogamente la relacin 8 ! J3 aB" B# B8 b.B3 !
3" 3"
! J3 aB" B# B8 b.B3
8
es llamada ecuacin diferencial de Pfaffian. Para el caso de dos variables se tiene, el estudio de las ecuaciones diferenciones exactas y se conoce el siguiente resultado.
Daro Snchez H.
21
TEOREMA. Una ecuacin diferencial de Pfaffian en dos variables siempre posee un factor integrante.
Los siguientes lemas son de gran utilidad y las pruebas son rutinarias y fciles de hacer.
Una condicin necesaria y suficiente para que exista entre dos funciones ?aB Cb y @aB Cb una relacin de la forma J a? @b ! no conteniendo explcitamente a B o, a C es que
LEMA 1.
` a?@b ` aBCb
?B @B
?C !. @C
Si \ es un vector tal que \ <9>\ ! y . es una funcin arbitraria de B C D entonces a.\ b <9>a.\ b !.
LEMA 2.
Note que aqu \ d $ y <9>\ es el rotacional de \ .
Sea H d 8 un dominio abierto, una condicin necesaria y suficiente para que la ecuacin diferencial
TEOREMA FUNDAMENTAL.
8
Siendo \ aJ" J# J8 b, y , .< a.B" .B# .B8 b J3 G " H. La demostracin la hacemos para el caso de tres variables B C D . Se desprende de esta demostracin un mtodo para calcular la solucin de una ecuacin diferencial de Pfaffian en tres variables.
BREVES DE LA DEMOSTRACIN.
sea integrable es que \ <9>\ !.
3"
! J3 aB" B# B8 b.B3 \ .< !
La condicin necesaria se obtiene de los lemas anteriores. Para la condicin suficiente, considrese D constante, en ese caso obtenemos la ecuacin diferencial T aB C D b.B UaB C D b.C ! que es una ecuacin diferencial en dos variables la cual por el teorema de existencia siempre tiene solucin, que ser de la forma ?aB C D b -" donde -" es una constante dependiente posiblemente de D . As debe existir una funcin . tal que `? `? `B .T `C .U tenindose estonces que `? `? `? `? `B .B `C .C `D .D .V `D .D ! la cual podemos escribir en la forma .? O.D ! siendo O .V `? `D
Daro Snchez H.
22
De la hiptesis se tiene que \ <9>a\ b !, as tenemos que a.\ b <9>a.\ b ! Ahora .\ =a.T .U .V b `? `? `? O f? a! ! O b `B `C `D Por lo tanto .\ <9>a.\ b `? `? `? O Ò `B `C `D `C as se obtiene que
` a?5 b ` aBCb Ò `B !
`? Ò `B `C
`? Ò `C `B
Del lema 1, se sigue que existe una relacin entre ? y O independiente de B y C pero no de D . En otras palabras, O puede ser expresada como una funcin O a? D b de ? y D solamente y de tal forma que `? `D O a? D b ! es una ecuacin diferencial de variable separable cuya solucin es dada por Fa? D b con - constante. Como ? es funcin de B y C tenemos que la solucin ser J aB C D b demostrndose que la ecuacin T .B U.C V.D ! es integrable.
EJEMPLO.
Verifiquemos que la ecucin diferencial aC# CD b.B aBD D # b.C aC # BC b.D ! es integrable y halle la solucin. 1. Integrabilidad: <9>aC # CD BD D # C # BC b a#C #B #D #C #C b y aC# CD BD D # C # BC b a#C #B #D #C #C b ! 2. Clculo de la solucin: Si mantenemos D constante tenemos CaC D b.B D aB D b.C ! donde .C .C .B D .B BD CaCD b .C ! si y slo si, BD C CD ! de donde C P8aB D b P8 CD P8G si y slo si, As existe . tal que `? " `B .T implica que, .= T se sigue entonces que O .V `? `D
C# BC aCD b# `? `B CaBD b CD
?aB C b -"
" aCD b#
C " C# CD CD
C CD
luego O ! y como .? O.D ! se sigue que .? ! o sea ? - donde la solucin ser CaBD b CD - si y slo si, C aB D b - aC D b donde - es una constante.
CaBD b aCD b#
Daro Snchez H.
23
Para resolver la ecuacin diferencial parcial 0 aB C D : ; b ! a"b `D `D donde como siempre : `B y ; `C , Charpit introduce una segunda ecuacin diferencial parcial de primer orden 1aB C D : ; +b ! a#b la cual contiene una constante arbitraria + y tal que, a+b Las ecuaciones a"b y a#b pueden resolverse para dar : :aB C D +b ; ; aB C D +b a,b La ecuacin .D :aB C D +b.B ; aB C D +b.C a$b es integrable. Cuando tal funcin 1 ha sido determinada, la solucin de la ecuacin a$b J aB C D + , b ! conteniendo dos funciones arbitrarias + , ser la solucin de la ecuacin a"b. El principal problema entonces es la determinacin de la segunda ecuacin a#b, para esto veamos el siguiente lema. Pero antes se dice que dos ecuaciones diferenciales 0 aB C D : ; b ! y 1aB C D : ; b ! son cuando toda solucin de comparables 0 aB C D : ; b ! es tambin solucin de 1aB C D : ; b !.
3.3 METODO DE CHARPIT.
Sea 0 aB C D : ; b ! y 1aB C D : ; b ! dos ecuaciones diferenciales b de primer orden tales que N ` a0 1b !. Una condicin para que ` a:;
LEMA.
Como N ! podemos resolver las ecuaciones 0 aB C D : ; b ! y 1aB C D : ; b ! para obtener expresiones explicitas para : y ; dadas por (en una variable) : 9aB C D b ; <aB C D b a%b As la compatibilidad de 0 aB C D : ; b ! y 1aB C D : ; b ! se reduce a la solucin completa del sistema a%b. En este caso la ecuacin 9.B <.C .D ! ser integrable. Esta es una ecuacin de Pfaffian que es integrable as a9 < "b <9>a9 < "b ! de donde 9a <D b <a9D b a<B 9C b ! que es equivalente a <B 9<D 9C <9D a&b Sustituyendo las ecuaciones a%b en 0 aB C D : ; b ! y diferenciando respectivamente con B y con D obtenemos las ecuaciones 0B 0: 9B 0; <B ! 0D 0: 9D 0; <D !
0 aB C D : ; b ! y 1aB C D : ; b ! sean compatibles es que 0 1 ! donde b b b 0 1 ` a0 1b : ` a0 1b ` a0 1b ; ` a0 1b ` aB:b ` aD: ` aC; ` aC;

PRUEBA:
Daro Snchez H.
24
Si hubieramos diferenciado las ecuaciones dadas con respecto a C y a D habramos obtenido <1 b " 9C <9D N `àa0C; bb < ` a0 1b a(b ` aD;
de las cuales en realidad se deduce 0B 90D 0: a9B 99D b 0; a<B 9<D b ! Por analoga se puede decir de la ecuacin 1aB C D : ; b ! que 1B 91D 1: a9B 99D b 1; a<B 9<D b ! Resolviendo estas ecuaciones, hallamos que b " ` 0 1 <B 9<D N ` aB:b 9 ` a0 1b a'b ` aD: a b
as, restando las ecuaciones a'b y a(b usando la ecuacin a&b y reemplazando 9 < por : ; , respectivamente se obtiene la condicin 0 1 ! donde b b b 0 1 ` a0 1b : ` a0 1b ` a0 1b ; ` a0 1b ` aB:b ` aD: ` aC: ` aD; tenindose que la condicin para que 0 aB C D : ; b ! y 1aB C D : ; b ! sean compatibles es que 0 1 !.
Regresando al mtodo de Charpit para hallar la solucin de 1aB C D : ; b ! la cual debe ser compatible con 0 aB C D : ; b ! y como 0 1 !, siempre y cuando N !, entonces obtenemos la ecuacin diferencial `1 `1 `1 `1 `1 0: `B 0; `C a:0: ;0; b `D a0B :0D b `: a0C ;0D b `; ! para la determinacin de 1. Nuestro problema entonces es hallar una solucin de esta ecuacin, tan simple como sea posible, envolviendo una constante arbitraria +, y sta se hace hallando la integral de las ecuaciones caractersticas de Cauchy (ver #) .C .: .; .B .D a)b 0: 0; :0: ;0; a0B :0D b a0C ;0D b Sin embargo las ecuaciones a)b son conocidas como las ecuaciones de Charpit o ecuaciones auxiliares. Una vez la integral 1aB C D : ; b est determinada, el problema se reduce a resolver para : y ; las ecuaciones : :aB C D +b ; ; aB C D +b y luego integrando se obtiene la solucin deseada.
EJEMPLO:
Hallar la integral de la ecuacin
que por mtodos elementales de proporciones se reduce a # :# .B#:B.: ; .C#;C.; #B : ;#C que por la teora de ecuaciones ordinarias nos da
Las ecuaciones auxiliares son .C .B .D #:B #;C #a:# B; # Cb
:# B ; # C D
.: a0B :0D b
a*b
.; a0C ;0D b
Daro Snchez H.
25
P8a:# Bb P8 +; # C si y slo si , :# B +; # C a"!b donde + es una constante. Resolviendo a*b y a"!b para : y ; se obtiene as la ecuacin .D :aB C D +b.B ; aB C D +b.C llega a ser en este caso " " + " "+ # .D B # .B C .C D cuya solucin es {a" +bD } # a+Bb # C # , la cual es la solucin completa del problema.
" " "
# +D a"+bB "
# D a"+bC "
Para resolver la ecuacin diferencial parcial J aB C D : ; b ! a"b `D `D donde : `B y ; `C dependiendo del hecho de que si ?aB C D b ! es una relacin entre B C y D entonces : ?" ; ?# a#b ?$ ?$ donde, `? ?3 denota `B3 a3 " #b a$b Si sustitumos las ecuaciones a#b en a"b obtenemos una ecuacin diferencial parcial del tipo 0 aB C D ?" ?# ?$ b ! a%b en la cual la nueva variable dependiente ? no aparece. La idea fundamental del mtodo de Jacobi es la introduccin de dos ecuaciones diferenciales de primer orden 1aB C D ?" ?# ?$ +b ! 2 aB C D ?" ?# ?$ , b ! a&b involucrando dos constantes + y , de tal manera que a+b Las ecuaciones a%b y a&b pueden resolverse para ?" ?# ?$ a,b La ecuacin .? ?" .B ?# .C ?$ .D a'b obtenida para estos valores ?" ?# ?$ , sea integrable. Cuando estas funciones pueden ser determinadas, la solucin de la ecuacin a'b contiene tres constantes arbitrarias y ser la solucin completa de a%b. Como en el mtodo de Charpit, la dificultad radica en la determinacin de las ecuaciones auxiliares a&b. Tenemos, en efecto, que hallar dos ecuaciones que sean compatibles con a%b. Es un ejercicio muy fcil pero laborioso mostrar que 0 aB C D ?" ?# ?$ b ! y 1aB C D ?" ?# ?$ b ! son compatibles si ` a0 1b ` a0 1b ` a0 1b ` aB?" b ` aC?# b ` aD?$ b ! Ahora 1 y 2 tendrn su solucin dada por la ecuacin diferencial parcial siguiente:
3.4. MTODO DE JACOBI.
Daro Snchez H.
26
Se procede entonces como en el mtodo de Charpit.

EJEMPLO:
`1 `1 `1 `1 `1 `1 0?" `B 0?# `C 0?$ `D 0B `?" 0C `?# 0D `?$ ! que tiene por ecuaciones caractersticas de Cauchy a .C .?$ .?" .?# .B .D 0? 0? 0? 0B 0C 0D
" # $
a)b
a(b
y aplicar el mtodo para hallar la integral completa de la ecuacin # `? # #B# C `? `? B# `? #C `B `B `D `C Sea `? ?" `? ?# y, `? ?$ y tenemos por otra parte `B `C `D 0 aB ?" ?$ b 1aC ?# ?$ b esto nos conduce a 0 aB ?" ?$ b 1aC ?# ?$ b J aB C D ?" ?# ?$ b ! segn el mtodo de Jacobi se tiene .C .?$ .?$ .?" .?# .B .D J? J? J? JB JC JC JD Pero
" # $
Para ilustrar el mtodo consideremos el siguiente problema. Determinar una solucin para la ecuacin diferencial parcial del tipo 0 B `? `? 1C `? `? `B `D `C `D
Ahora para el caso particular se tendra #B# C?# ?$ #C?# B# ?# " " o en forma equivalente " # #B# ?# ?$ #?# B# ?# , si y slo si , #?" ?$ B# " " C aqu " 0 aB ?" ?$ b #?# ?$ B# y 1aC ?# ?$ b ?# " C as la solucin saldra de considerar la ecuacin a)b .C .?" .?# .B .D %?" e?$ B# f C" #?# ! %?# B$ C# ?#
" "
J?" 0?" J?# 1?# J?$ 0?$ 1?$ JB 0B JC 1C JD !. Por lo tanto la solucin general saldra de resolver las siguientes ecuaciones caractersticas .C .?" .?# .B .D 0? 1? 0? 1? 0B 1C
" # $ $
?# C
De la segunda y de la ltima tenemos # .? C.C C ?# # , si y slo si , .C .?## C ? de donde +C ?# ; ahora tomando la primera y la cuarta se tiene .?" .?" .B .B a* b %?" a?$ B# b %?# B$ , si y slo si , ?$ B$ ?" B$ por consiguiente sustituyendo en a*b obtenemos $ #?# .B .? # " B?"" , si y slo si, + .B .?$" ! + B$ ? integrando obtenemos
" # +B
"
por otra parte de la ecuacin dada, tendremos #?# e?$ B# f +, si y slo si , ?$ B# "
"
+ #?# "
" # ?# ," de donde sale que "
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?" +, #

"
27
Por otra parte de la ecuacin dada despejamon ?$ obteniendo +B# #?# ?$ #B# ?# " Pero tambin sabemos que .? +, # significa que ?$ + . , Por la ecuacin a,b del mtodo de Jacobi se sabe que
B.B +B# , " #?"
B +B# ,
" +B#
" , si y slo si , ,
+B# #?# " #?# B# "
+ ,
esto
, integrando ordenadamente obtenemos: #+ a+B# ,b # + C # + D - ?. , ,

"
+C.C + .D ,
La ventaja del mtodo de Jacobi es que puede generalizarse. Si tenemos una ecuacin del tipo 0" aB" B# B8 ?" ?8 b ! `? donde ?3 denota `B3 a3 " # 8b entonces hallamos 8 " funciones auxiliares 0# 0$ 08 con ecuaciones subsidiarias .B8 .?8 .B" .B# .?" .?# 0? 0? 0? 0B 0B 0B
" # 8 " # 8
envolviendo 8 " constantes arbitrarias. Resolviendo stas para ?" ?# ?8 determinamos ? por integracin de la ecuacin de Pfaffian _ .? ! ?3 .B3 la solucin as obtenida contiene 8 constantes arbitrarias.
3"
4. ECUACIONES DIFERENCIALES PARCIALES DE SEGUNDO ORDEN En los pargrafos anteriores consideramos la solucin de una ecuacin diferencial parcial de primer orden. Ahora procedemos a discutir las ecuaciones deferenciales parciales de segundo orden. Supngase que la funcin D est dada por una expresin del tipo D 0 a?b 1a@b A a"b donde 0 y 1 son funciones arbitrarias de ? y @, respectivamente, y ?,@, y A son funciones respectivamente de B y de C. Entonces escribiendo # `D `# ` #D : `B ; `D < `BD = `B`C > ` D a#b # `C `C# diferenciando ambos lados de a"b con respecto a B y a C, hallamos que : 0 w a?b?B 1w a@b@B AB ; 0 w a?b?C 1w a@b@C AC y de aqu se sigue que # < 0 ww a?b?# 1ww a@b@B 0 w a?b?BB 1w a@b@BB ABB B
4.1. EL ORIGEN DE LA ECUACIONES DE SEGUNDO ORDEN.
Daro Snchez H.
28
= 0 ww a?b?B ?C 1ww a@b@B @C 0 w a?b?BC 1w a@b@BC ABC # > 0 ww a?b?# 1ww a@b@C 0 w a?b?CC 1w a@b@CC ACC C Ahora tenemos cinco ecuaciones involucrando cuatro funciones arbitrarias, 0 w 0 ww 1w 1ww . Si eliminamos estas cuatro cantidades de las cinco ecuaciones obtenemos :A ?B @ B ! ! B ;A ?C @C ! ! C < A # # ?BB @BB ?B @B ! a $b BB =A ?BC @BC ?B ?C @B @C BC # ?# @C > ACC ?CC @CC C la cual envuelve solamente las derivadas : ; < = > y funciones dependientes de B e C. Es por lo tanto una ecuacin diferencial parcial de segundo orden. Adems si expandemos el determinante en el lado izquierdo de la ecuacin a$b en trminos de la primera columna, obtenemos una ecuacin de la forma V< W= X > T : U; [ a%b donde V W X T U [ son funciones conocidas de B e C . Por lo tanto la relacin a"b es solucin de la ecuacin diferencial parcial lineal de segundo orden a%b. Notamos que la ecuacin a%b es de un tipo particular: La variable D no interviene en ella. Como ejemplo del procedimiento del ltimo pargrafo, suponemos que D 0 aB +C b 1aB +C b a&b donde 0 y 1 son funciones arbitrarias y + es una constante. Si diferenciamos a&b dos veces con respecto a B obtenemos la relacin < 0 ww 1ww mientras que si derivamos dos veces con respecto a C, obtenemos la relacin > +# 0 ww +# 1ww as que las funciones D las cuales pueden ser expresadas en la forma a&b deben satisfacer la ecuacin diferencial parcial > +# < a'b Mtodos anlogos se aplican en el caso de ecuaciones de mayor orden. Es fcilmente demostrable que cualquier relacin del tipo 8 D ! 0< a@< b a( b donde las funciones 0< son arbitrarias y las funciones @< son conocidas, y conduce a una ecuacin diferencial parcial lineal de orden 8. Las ecuaciones diferenciales parciales que consideramos en esta seccin son ecuaciones lineales.
4.2. ECUACIONES DIFERENCIALES PARCIALES LINEALES
CON COEFICIENTES CONSTANTES:
<"
Daro Snchez H.
29
Consideremos ahora la solucin de un tipo especial de ecuacin diferencial parcial lineal con coeficientes constantes. Para tales ecuaciones utilizamos la siguiente notacin J aH Hw bD 0 aB C b a"b w donde J aH H b denota un operador diferencial del tipo J aH Hw b !!-<= H< aHw b= a# b
< =
` ` en donde las cantidades -<= son constantes y H `B Hw `C . La solucin ms general, es decir, conteniendo el nmero correcto de elementos arbitrarios, de la correspondiente ecuacin diferencial homognea J aH Hw bD ! a$b es llamada la funcin complementaria de la ecuacin a"b, justo como en la teora de ecuaciones diferenciales ordinarias. Anlogamente alguna solucin de la ecuacin a"b es llamada solucin particular. Como en la teora de ecuaciones diferenciales ordinarias el siguiente resultado es bsico.
La demostracin de este teorema es obvia, puesto que las ecuaciones a"b y a$b son de la misma clase, as la solucin ? D" contendr el nmero correcto de elementos arbitrarios. Tambin J aH Hw b? ! J aH Hw bD" 0 aB C b As que J aH Hw b? J aH Hw bD" J aH Hw ba? D" b 0 aB C b demostrando que ? D" es en efecto, una solucin de la ecuacin a"b. Esto completa la demostracin. Otro resultado que es usado intensamente en la solucin de estas ecuaciones es el siguiente: 4.2. Si ?" ?# ?8 son soluciones de la ecuacin diferencial 8 parcial homognea J aH Hw b !, entonces ! -< ?< donde ?< es una
TEOREMA
4.1. Si ? es la funcin complementaria y D" una integral particular de la ecuacin diferencial parcial a"b, entonces ? D" es la solucin general de la ecuacin a"b.
TEOREMA
constante arbitraria para todo < " # 8, es tambin solucin.

La demostracin de este teorema es inmediata puesto que J aH Hw ba-< @< b -< J aH Hw b@< y 8 8 J aH Hw b! @< ! J aH Hw b@<
<" <"
<"
para cualquier conjunto de funciones @< . Adems 8 8 8 J aH Hw b! -< @< ! J aH Hw ba-< @< b ! -< J aH Hw b@< !
<" <" <"
Daro Snchez H.
30
Clasificamos el operador diferencial lineal J aH Hw b en dos tipos especiales que trataremos separadamente. Decimos que: a+b J aH Hw b es reducible si no puede escribirse como el producto de factores lineales de la forma H +Hw ,, donde + , son constantes a,b J aH Hw b es irreducible si no puede escribirse en la forma dada en a+b. `# `# Por ejemplo el operador H# aHw b# `B# `C# puede ser escrito en la forma aH Hw baH Hw b y se dice que es reducible, mientras que `# `# H# aHw b# `B# `C# no puede ser descompuesto en factores y en ese caso se dice irreducible. a+b ECUACIONES REDUCIBLES: El punto de partida de la teora de ecuaciones reducibles es el siguiente resultado:
TEOREMA
factores lineales ocurren no es importante (conmutatividad)

# w w #
4.3. Si el operador J aH Hw b es reducible, el orden en que los a%b
PRUEBA: Basta con mostrar que a!< H "< Hw #< ba!= H "= Hw #= b a!= H "= Hw #= ba!< H "< Hw #< b
!< != H a!= "< !< "= bHH "< "= aH b a#= !< #< != bH a#= "< #< "= bH #< #= As cualquier operador reducible puede escribirse en la forma 8 J aH Hw b # a!< H "< Hw #< b a&b
w
!< H "< Hw #< es un factor de J aH Hw b y 9< a0b es una funcin arbitraria de la variable simple 0 entonces si !< ! ?< /B: #<<B 9< a"< B !< C b !
TEOREMA
4.4. Si
<"
es solucin de la ecuacin J aH Hw b !.
PRUEBA:
Por diferenciacin directa tenemos # H?< !<< ?< "< /B: aHw b?< !< /B:
as que
a!< H "< Hw #< b?< ! Ahora por el teorema 4.3

8 ="
#< B w !< 9 a"< B
#< B w !< 9 a"< B
!< C b
!< C b a'b a(b
El factor que sigue al producto correspondiente al = <, que est omitido en el producto de a'b se obtiene que a(b es cero, obteniendo el resultado. Usando el mismo mtodo se puede demostrar el siguiente resultado
TEOREMA
J aH Hw b?< # a!= H "= Hw #= ba!< H "< Hw #< b?<
4.5. Si "< Hw #< es un factor de J aH Hw b y 9< a0b es una funcin arbitraria del simple valor 0, entonces "< ! ?< /B: #<<C 9< a"< Bb "
Daro Snchez H.
31
es una solucin de la ecuacin J aH Hw bD !.
En la descomposicin de J aH Hw b en factores lineales podemos obtener factores con multiplicidad del tipo a!< H "< Hw #< b8 a)b La solucin correspondiente a este factor puede ser obtenida por la aplicacin repetida de los teoremas 4.4 y 4.5. Por ejemplo, si 8 # debemos hallar soluciones de la ecuacin a!< H "< Hw #< b# D ! Si hacemos <=a!< H "< Hw #< bD , entonces a!< H "< Hw #< b< ! de acuerdo con el teorema 4.4 tenemos por solucin, si !< ! < /B: #<<B 9< a"< B !< C b. ! Para hallar la solucin correspondiente a D tenemos por lo tanto que resolver la ecuacin diferencial parcial lineal de primer orden siguiente: `D !< `B "< `D #< D /#< B!< 9< a"< B !< C b a*b `C usando los mtodos del 3 vemos que las ecuaciones caractersticas son .C .B .D !< "< #< D/#< B!< 9< a"< B!< Cb con solucin para las dos primeras dada por "< B !< C -" Sustituyendo tenemos .B .D !< #< D/#< B!< 9< a-" b
que es una ecuacin lineal de primer orden con solucin " D !< e9< a-" bB -# f/#< B!< La ecuacin a*b, y tambin la ecuacin a)b tiene por solucin D eB9< a"< B !< C b << a"< B !< C bf/#< B!< donde las funciones 9< << son arbitrarias. Este resultado es en realidad generalizado por
TEOREMA
4.6. Si a!< H "< Hw #< b8 a!< !b es un factor de J aH Hw b y si las funciones 9<" 9<# 9<8 son arbitrarias; entonces
es una solucin de J aH Hw b !.
/B:
8 #< B ! =" B 9<= a"< B !< ="
!< C b
Una generalizacin del teorema 4.5 es dada en el siguiente resultado:

TEOREMA
4.7. Si a"< Hw #< b7 es un factor de J aH Hw b y si las funciones 9<" 9<# 9<7 son funciones arbitrarias entonces 7 /B: #< C ! B=" 9<= a"<= Bb
es una solucin de J aH H bD !.
w
"<
="
Daro Snchez H.
32
Estamos ahora en posicin de expresar la funcin complementaria de la ecuacin a"b cuando el operador J aH Hw b es reducible. Como un resultado de los teoremas 4.4 y 4.6 vemos que 8 J aH Hw b # a!< H "< Hw #< b7< a"!b y si ninguno de los !< es cero, entonces la correspondiente funcin complementaria es 7< = ? ! exp #< B ! B=" 9<= a"< B !< C b a""b
<" !< =" <"
donde las funciones 9<= a= " 8< < " # 8b son arbitrarias. Si algunos de los ! son ceros, la modificacin de la expresin a""b puede ser por medio de los teoremas 4.5 y 4.7. De la ecuacin a"!b vemos que el orden de la ecuacin a$b es 7" 7# 78 puesto que la solucin de a""b tiene el mismo nmero de funciones complementarias. Para ilustrar el procedimiento consideremos un caso particular.
EJEMPLO:
` D ` D # `B# `C# `C% En la notacin de esta seccin, esta ecuacin puede ser escrita en la forma a H H w b # aH H w b # D ! As que por la ecuacin a""b la solucin es D B9" aB C b 9# aB C b B<" aB C b <# aB C b. Habiendo hallado la funcin complementaria de a"b necesitamos solamente hallar una solucin particular para la solucin completa. Esto es hallar por un mtodo similar al que empleamos en la demostracin del teorema 4.6 si escribimos 8 a"#b D" # a!< H "< Hw #< bD
Resolver la ecuacin
` %D `B%
%
entonces la ecuacin a"b es equivalente a la ecuacin lineal de primer orden !" `D" "" `D" #" D" 0 aB C b `B `C una integral particular, de esta ecuacin, podemos calcularla fcilmente por el mtodo de Lagrange. Sustituyendo valores particulares de D" en a"#b, obtenemos una ecuacin casi homognea de orden 8 ". Repitiendo el proceso, fcilmente llegamos a una ecuacin de primer orden para D . Para ilustrar el proceso consideremos el siguiente ejemplo.
<#
` D BC `C# Esta ecuacin puede ser escrita en la forma aH Hw baH Hw bD B C aqu la funcin complementaria es
EJEMPLO:
Hallar la solucin de la ecuacin

` #D `B#
#
Daro Snchez H.
33
9" aB Cb 9# aB C b donde 9" y 9# son arbitrarias. Para determinar una integral particular escribimos a"$b D" aH Hw bD entonces la ecuacin para D" es a H H w bD " B C que es una ecuacin de primer orden con solucin D" " aB C b# 0 aB C b % donde 0 es arbitraria. Puesto que estamos buscando solamente una integral particular, podemos tomar 0 !. Sustituyendo estos valores de D" en a"$b hallamos que la solucin de la integral particular es # `D `D " `B `C % aB C b que tiene por solucin D " BaB C b# 0 aB C b en la cual 0 es arbitraria. % Tomando 0 ! obtenemos la integral particular D " BaB C b# % Aqu la solucin general de la ecuacin puede ser escrita en la forma D " BaB C b# 9" aB C b 9# aB C b % donde las funciones 9" y 9# son funciones arbitrarias.
4.8. J aH Hw b/+B,C J a+ ,b/+B,C DEMOSTRACIN. La demostracin de este teorema se sigue del hecho que J aH Hw b puede ser descompuesto en trminos de la forma -<= H< aHw b= y aHw b= /+B,C ,= /+B,C H< /+B,C +< /+B,C , as que a-<= H< aHw b= b/+B,C -<= +< ,= /+B,C
TEOREMA
a,b ECUACIONES IRREDUCIBLES. Cuando el operador J aH Hw b es irreducible no siempre es posible hallar una solucin con el nmero completo de funciones arbitrarias, pero es posible construir una solucin con algn nmero de constantes como deseamos. El mtodo para obtener tales soluciones depende de un teorema que vamos a probar en seguida. Este teorema es verdadero tanto para operadores reducibles como operadores irreducibles, pero es en el caso de irreducibilidad que lo utilizamos.
Un resultado anlogo que es usado en la determinacin de la integral particular es: TEOREMA 4.9. J aH aHw bb/+B,C 9 aB C b /+B,C J aH + Hw , b9aB C b DEMOSTRACIN. Se hace directamente utilizando el torema de Leibnitz para la <-sima derivada de un producto < H< a/+B 9b ! < -3 aH3 /+B baH<3 9b
3 !
Daro Snchez H.

<
34
en donde +< ,< -< son todas constantes, es tambin una solucin teniendo cuidado de que +< ,< estn conectados por la relacin J a+ < , < b ! a"'b En esta forma podemos construir una solucin de la ecuacin homognea a"%b, conteniendo tantas constantes arbitrarias como necesarias. La serie a"&b no necesariamente es finita, pero si se tiene esto, es una solucin de a"%b. La discusin de la convergencia de tal serie es una dificultad, envolviendo como constante -< a las parejas a+< ,< b y los valores de las variables B e C.
EJEMPLO.
Para determinar la funcin complementaria de una ecuacin del tipo J aH Hw bD 0 aB C b dividimos el operador J aH Hw b en factores. Los factores reducibles son tratados por el mtodo dado en a+b. Los factores irreducibles son tratados como sigue: Por el teorema 4.8 vemos que /+B,C es una solucin de la ecuacin J aH Hw bD ! a"%b probando que J a+ ,b ! as que D !-< expa+ posee soluciones de la forma _ ! -8 cosa8B %8 b/58# >
8"
Podemos a menudo expandir el operador J " por medio del teorema del binomio y entonces interpretar el operador H" aHw b" como integrales. Hallar una integral particular de la ecuacin aH# Hw bD #C B# " PRUEBA. Ponemos la ecuacin en la forma D H# Hw a#C B# b. Ahora podemos escribir
EJEMPLO.
H# Hw "
Esto se sigue inmediatamente del hecho que /+B,C es una solucin solamente si +# ,5 y esta relacin se satisface si tomamos + 38 , 58# . Para hallar la integral particular de la ecuacin J aH Hw bD 0 aB C b escribimos simblicamente como " D J aHHw b 0 aB C b a"(b
"
" Hw a#C
Cuando 0 aB C b es hecha en trminos de la forma expa+B ,C b obtenemos
B# b
H# Hw
"
" Hw
" a#C aHw b#
B# b C BC
" Hw
H# aHw b#
H% H w $ #
" aHw b a#b
B# C
Daro Snchez H.

" J a+,b expa+B
35
una integral particular de la forma J a+ ,b !.

EJEMPLO.
,C b excepto si se tiene
Hallar la solucin particular de la ecuacin ` #D `D #BC `B# `C / SOLUCIN. En este caso J aH Hw b H# Hw , + # y , " as que J a+ , b $ y la integral particular es " #BC . #/ En el caso cuando J a+ ,b ! es frecuente aplicar el teorema 4.9. Si se tiene que resolver J aH Hw bD -/+B,C donde - es una constante, conjeturamos que la solucin es D A/+B,B entonces por el teorema 4.9 tenemos J aH + Hw ,bA a")b y es con frecuencia posible obtener una integral particular de esta ecuacin
EJEMPLO.
Hallemos una integral particular para la ecuacin aH# Hw bD /BC SOLUCIN. En este caso J aH Hw b H# Hw + " , " y J a+ , b ! De cualquier forma J aH + Hw ,b aH "b# aHw "b H #H H w y de la ecuacin a")b se recibe que aH# #H Hw bA " de donde se tiene que las integrales particulares son " B y C. As # " B/BC y C/BC son las soluciones particulares de la ecuacin original. # Cuando la funcin es de la forma de una funcin trigonomtrica es posible hacer uso de al menos dos mtodos, expresndola como una combinacin de funciones exponenciales con exponenciales imaginarias, pero es con frecuencia ms simple, usando el mtodo de los coeficientes indeterminados. Hallar una integral particular de la ecuacin aH# Hw bD Ecosa6B 7C b donde E 6 7 son constantes. SOLUCIN: Para hallar una integral particular, conjeturamos que es de la forma D -" cosa6B 7Cb -# sina6B 7C b y sustituyendo en el lado izquierdo de la ecuacin original e igualando los coeficientes se obtiene el sistema # 7-" 6 -# !
EJEMPLO.
Daro Snchez H.
36
6# -" 7-# E para la determinacin de -" y -# se sigue que -"

6# 7 7 6# 6# 7 ! E
E6# 7# 6%
-#
7 6#
! E 7# 6%
7E 7# 6%
En esta forma la integral principal ser D 7#E % c7sina6B 7b 6# cosa6B 7C bd 6
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 a"b `> L ;" ;# ;8 `;" `;# `;8 !
asignada al Hamiltoniano L a;" ;# ;8 :" :# :8 b de un sistema dinmico de 8 generalizadas ;" ;# ;8 y el momento conjugado :" :# :8 . Esta es una ecuacin en la cual la variable que depende de W est ausente, vemos que las ecuaciones caractersticas estn dadas por .;" .;8 .:" .:8 .> a#b " `L`:" `L`:8 a`L`;" b a`L`;8 b es decir, ellas son equivalentes a las ecuaciones Hamiltonianas del movimiento .;3 .:3 `L `L 3 " # 8 a$b .> `:3 .> `;3 Una forma modificada de la ecuacin a"b se obtiene escribiendo W [ > W" entonces hallamos que " L ;" ;# ;8 `W"" `W8 [ a%b `; `; Suponiendo, por ejemplo, que un sistema con segundo orden de libertad, tiene Hamiltoniano # T :B U; # 0 ( L #a\] bC \] a&b
donde T ,\ ,0 son funciones de solamente B C U ] ( son funciones solamente de C. Entonces la ecuacin a%b llega a ser " # aT :B U;C b a0 ( b [ a\ ] b ! Entonces una de las ecuaciones caractersticas toma la forma .:B .B T :B " T w : 0w [ \ w ! tiene por solucin
# B
:B e#a[ \ 0 +bf # donde + es una constante arbitraria. Anlogamente podemos demostrar que " ;C e#a[ ] ( ,bf #
"
Daro Snchez H.
37
donde , es una constante arbitraria, teniendo la misma propiedad. As puesto que :B es una funcin de B solamente, y ;C es funcin de C solamente, tenemos " " W [ > ' e#a[ \ 0 +bf # .B ' e#a[ ] ( , bf # .C 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 a' b `> " `B aT Bb H `B# en el caso particular H ! se tiene la ecuacin diferencial parcial; `T `T `> " B `B " T La interpretacin fsica de las variables en esta ecuacin; T la probabilidad de que una variable casual tome el valor B en el tiempo >. Por ejemplo T puede ser la distribucin de probabilidad de la posicin de una partcula en el movimiento Browniano limitado armnicamente (o armnico limitado ) o la distribucin de probabilidad de retencin B del sonido de una seal elctrica en un tiempo >. Observamos que la ecuacin a'b es vlida solamente si la ventaja del proceso tiene una distribucin Gaussiana y es un proceso de Markoff. Probablemente la ms importante ocurrencia de las ecuaciones diferenciales parciales de primer orden, es en la teora de nacimientos y procesos de muerte conectada con bacterias. Supngase, por ejemplo, que en un tiempo > hay exactamente 8 bacterias vivas y que a+b La probabilidad de bacterias moribundas en un tiempo a> > $ >b es .8 $ > a,b La probabilidad de reproducin bacterial en un tiempo a> > $ >b es -8 $ > a- b La probabilidad de nmero de bacterias permaneciendo constantes en un tiempo a> > $ >b es a" -8 $ > .8 $ >b a. b La probabilidad de que algunas nazcan o mueran ocurriendo en el tiempo a> > $ >b es cero. Si suponemos que T8 a>b es la probabilidad de que se tengan 8 bacterias en un tiempo >, entonces esta suposicin nos lleva a la ecuacin T8 a> $ >b -8" T8" a>b$ > .8" T8" a>b$ > e" -8 $ > .8 $ >fT8 a>b la cual es equivalente a `T8 a) b `> -8" T8" a>b .8" T8" a>b a-8 .8 bT8 a>b En el caso general -8 .8 dependern de 8 y >; si suponemos que la posibilidad de la natalidad bacteriolgica es proporcional al nmero presente, escribimos - 8 8- . 8 8. a*b donde - y . son constantes y la ecuacin a)b se reduce a `T8 `> -a8 "bT8" a>b a- .b8T8 a>b .a8 "bT8" a>b y si inducimos una funcin generada FaD >b definida por la relacin FaD >b ! T8 a>bD 8
_ 8!
Daro Snchez H.
38
Vemos que esta ltima ecuacin es equivalente a la ecuacin lineal de primer orden `F `F F> aD "ba-D .b `D cuya solucin es demostrada por el lector y se tiene F 0 ."DD /a-.b> a"!b de donde se sigue que 7 0 a0b .0 - 0
Por consiguiente en el tiempo > ."/a-.b> D -./a-.b> F .-/a-.b> -D a"/a-.b> b
T8 a>b es el coeficiente de D 8 en la expansin en serie de potencias de esta funcin. Si - . entonces F " cuando > _, as que la probabilidad de la ltima expresin es nica. 5.2. ECUACIN DE SEGUNDO ORDEN EN FSICA. Las ecuaciones diferenciales parciales de segundo orden surgen frecuentemente en fsica. En efecto es por esta razn que el estudio de tales ecuaciones son de gran valor prctico. Por el momento nos limitaremos a mostrar estas ecuaciones cuando surgen considerando que el flujo es unidimensional as que la corriente 3 y el voltaje I en cualquier punto en el cable puede ser completamente determinada por una coordenada espacial B y un tiempo variable >. Si consideramos la cada de potencial en un elemento lineal de longitud $B situado en el punto B, hallamos que `3 -$ I 3V $ B P$ B `> a"b donde V es la serie de resistencias por unidad de longitud y P es la inductancia por unidad de longitud. Si hay una capacitancia a tierra de G por unidad de longitud y una conductancia K por unidad de longitud entonces $ 3 KI $ B G $ B Ì a#b `> Las relaciones a"b y a#b son equivalentes al par de ecuaciones diferenciales parciales Ì `3 a$b `B V3 P `> ! `3 Ì a%b `B KI G `> ! Diferenciando a$b con respecto a B, obtenemos ` #I `3 ` #3 a&b `B# V `B P `B`> ! y anlogamente diferenciando a%b con respecto a >, obtenemos ` #3 Ì ` #I a'b `B`> K `> G `># ! `3 ` #3 Eliminando `B y `B`> de a%b a&b y a'b se tiene # ` #3 P `B`> PK Ì PG ` I ! `> `># y # ` #3 `3 P `B`> ` I V `B `B#
Daro Snchez H.
39
`3 `3 - ` I V `B PK `V +PG ` I ! y , `B IK G Ì `B# `> `># `> por lo tanto # # - ` I VKI VG `V PK Ì PG ` I ! `B# `> `> `># lo cual es equivalente a Ì ` #I ` #I `> eVG PK f PG `># VKI `B# Hemos as hallado que I satisface la ecuacin diferencial parcial de segundo orden ` #F ` #F `F a(b `B# PG `># aVG PK b `> VK F Anlogamente si diferenciamos a$b con respecto a >, a%b con respecto a B y eliminamos ` #I Ì `B`> y `B de la ecuacin restante y a$b hallamos que 3 es tambin una solucin de la ecuacin a(b La ecuacin a(b, es llamada la ecuacin telegrfica de Poincar y otros. Si la corriente que sale de tierra es pequea, se sigue que K y P pueden tomarse como cero y la ecuacin a(b toma la forma reducida ` #F " `F a )b `B# O `> " donde O aVG b es una constante. Esta ecuacin es llamada ecuacin telegrfica; nos referimos a ella como a la ecuacin uno dimensional de
# #
as
difusin.
donde - aPG b # . Esta ecuacin es al mismo tiempo referida, en este contexto, a la ecuacin del radio; referindonos al caso de la ecuacin de onda en una dimensin. Una ecuacin diferencial parcial de segundo orden, diferente en caracter de cualquiera de las ecuaciones a)b o a*b, surgidas en electrosttica tiene por solucin el modelo de los operadores de Fourier conocido ampliamente en los cursos de ingenieria y de fsica (lo mostraremos en 6). Por las leyes de Gauss de electrotcnia conocemos al flujo del vector electricidad I fuera de una superficie W limitada a un volumen Z y es %1 veces la carga contenida en Z . As si 3 es la densidad de la carga elctrica, tenemos ' I.= %1' 3. 7
"
Si miramos a las ecuaciones a$b y a%b, esto es equivalente a tomar K y V como cero en las ecuaciones a(b en cuyo caso sta se reduce a ` #F " ` #F a *b `B# - # `>#
Usando el teorema de Green en la forma ' I.= ' .3@I.7

W Z
y recordando que el volumen Z es arbitrario, vemos que la ley de Gauss es equivalente a la ecuacin .3@I %13 a"!b
Daro Snchez H.
40
Ahora es probable demostrar que el campo electrnico es caracterizado por el hecho de que I es derivable de una funcin potencial F por la ecuacin I 1<+.F a""b eliminando I entre las ecuaciones a"!b y a""b, hallamos que F satisface la ecuacin f# F %13 ! a"#b # donde hemos escrito f para el operador .3@a1<+. b que en ecuaciones rectangulares cartesianas toma la forma `# `# `# a"$b `B# `C# `D # La ecuacin a"#b es conocida como ecuacin de Poisson. En ausencia de carga, 3 es cero, y la ecuacin a"#b se reduce a la forma simple a"%b f# F ! Esta ecuacin es conocida como ecuacin de Laplace o la ecuacin armnica. Si tratamos con un problema en cual la funcin potencial F no vara con D , hallamos que f# es reemplazado por `# `# f# `B# `C# a"&b " y la ecuacin de LAPLACE llega a ser f# F ! a"'b " de la cual surge una ecuacin armnica de segundo orden. El operador de Laplace f# ? ocurre frecuentemente en fsica matemtica, y en gran cantidad de problemas es til transformar coordenadas cartesianas B C D a otro sistema curvilneo ortogonal dado por las ecuaciones ?" ?" aB C D b ?# ?# aB C D b ?$ ?$ aB C D b a"(b La transformacin Laplaciana en estas circunstancias se efecta mejor con ayuda del clculo vectorial que demuestra que en el sistema ?" ?# ?$ " ` `Z ` `Z ` `Z # $ " ?Z 2" 2# 2$ `?" 222$ `?" `?# 222" `?# `?$ 222# `?$ a")b " # $
`C `B `D # 23 `?3 `?3 `?3 # # #
donde
3 " #
a"*b
6. LAS ECUACIONES DIFERENCIALES PARCIALES EN INGENIERIA 6.1. CONCEPTOS BASICOS: Una ecuacin diferencial parcial (EDP) para una funcin ?aB C b con derivadas parciales ?B ,?C ,?BB ,?CC , es una relacin de la forma J aB C ? ?B ?BC ?CC b ! a"b
Daro Snchez H.
41
Para la determinacin de las soluciones particulares se requiere de condiciones auxiliares las cuales constituyen las llamadas las condiciones iniciales y las condiciones de frontera. En esta forma el problema de las EDP consiste en hallar las soluciones bajo condiciones auxiliares, iniciales y/o en la frontera; obteniendo as los llamados
particulares.
donde J es una funcin de las variables B C ? ?B ?C ?BB ?BC ?CC y adems solamente ocurre un nmero finito de derivadas. ` #? NOTACION : ?B `? , ?BC `B`C , `B Una funcin ?aB C b es una solucin de a"b, si en alguna regin del espacio de sus variables independientes, la funcin y sus derivadas satisfacen la ecuacin idnticamente en B C Se puede tambin considerar un sistema de ecuaciones diferenciales parciales; en este caso se consideran varias expresiones, como las de arriba, conteniendo una o ms funciones desconocidas y sus derivadas parciales. Como en la teora de las ecuaciones diferenciales ordinarias una ecuacin diferencial parcial (EDP) es de orden 8, si las derivadas de mayor orden que ocurren en J son de orden 8. En esta forma las EDP pueden ser de primer orden, de segundo orden y de orden superior. Las ecuaciones diferenciales parciales (EDP) se clasifican segn el tipo de funcin J considerada. En particular tenemos EDP lineales si J es lineal en la funcin incgnita y sus derivadas. Las EDP ocurren frecuentemente y en forma enteramente natural en problemas de varias ramas de la matemtica. El problema objeto de las EDP es el estudio de las soluciones. Por solucin de una EDP indicamos a una funcin teniendo todas las derivadas parciales que ocurren en la EDP y que cuando se sustituye en la ecuacin la reducen a una identidad en todas las variables. Por ejemplo la EDP de primer orden ?B $B# (C & donde B e C son las variables independientes y ? es la funcin incgnita tiene a ?aB Cb B$ (BC & J aC b por solucin donde J aC b es cualquier funcin diferenciable en C. As tenemos que ?aB C b B$ (BC & /C ?aB Cb B$ (BC & +#C $# son soluciones. En esta forma vemos que las soluciones se pueden clasificar en soluciones generales y soluciones
problemas de frontera o problemas de valores iniciales.
las condiciones de frontera.
En el estudio de las soluciones de una EDP, se tienen tres preguntas bsicas: ". Existen las soluciones ? #. Es la solucin nica ? $. Es la solucin estable ? Para la determinacin de una solucin particular se usan condiciones especiales llamadas como ya lo dijimos las condiciones iniciales y/o
Daro Snchez H.
42
6.2. TIPOS DE CONDICIONES. Se pueden catalogar en cuatro tipos
1.- CONDICIONES DE CAUCHY : Se desean soluciones donde las funciones desconocidas y posiblemente sus derivadas ?> , donde ! > _ son predeterminadas en la frontera cuando > !. Este tipo de condiciones son catalogadas como condiciones iniciales. 2.- CONDICIONES DE DIRICHLET: La funcin incgnita es especificada en cada punto en la frontera de la regin de interes. Es pues un problema de frontera. 3.- CONDICIONES DE NEUMANN : Los valores de la derivada normal y de la funcin incgnita son predeterminadas en cada punto en la frontera de la regin de interes . 4.- CONDICIONES DE ROBIN : Valores de la suma de la funcin incgnita ? y de sus derivadas normales son predeterminadas en cada punto de la frontera de la regin de inters. Un ejemplo tpico ilustrando algunas de estas condiciones es dado por ?BB ?>> , !>! GJ : ? a! >b X , ?B a: >b !, > > ! GM : ?aB !b 0 aBb, ?> aB !b 1aBb, ! B : Condiciones de Dirichlet son dadas por GJ cuando B ! y condiciones de Neumann ocurren en GJ cuando B : y condiciones de Cauchy se tienen en GM cuando > !. La ecuacin EaB Cb?BB F aB C b?BC G aB C b?CC HaB C b?B I aB C b?C J aB C b? K aB C b es llamada ecuacin diferencial parcial lineal de segundo orden en dos variables Cuando KaB Cb !, la ecuacin es llamada EDP lineal homognea de segundo orden. 6.3. CLASIFICACION DE LAS E.D.P LINEALES DE SEGUNDO ORDEN EN DOS VARIABLES.Una ecuacin diferencial parcial lineal homognea de segundo orden en dos variables tiene la forma EaB Cb?BB F aB C b?BC G aB C b?CC HaB C b?B I aB C b?C L aB C b? ! a#b donde E,F ,G ,H,I , y L son los coeficientes de la ecuacin
PRINCIPIO DE SUPERPOSICION DE SOLUCIONES
: La ecuacin a#b tiene la propiedad de que si ?" y ?# son soluciones de a#b , -" ?" -# ?# es solucin tambin de a#b . Ms general si ?" ,?# , es una sucesin de soluciones de a#b entonces ! -3 ?3 es tambin solucin de a#b . Esta propiedad puede an
_ 3"
Daro Snchez H.
43
generalizarse para una familia e?- f- de soluciones de a#b indiciada sobre un conjunto medible >, entonces tambin ' ?- . - es una solucin de a#b. > En el desarrollo de la teora general de la EDP lineal homognea, estas suelen clasificarse como hiperblicas, parablicas o elptica de acuerdo al esquema usado en el estudio de las secciones cnicas. hiperblicas si F # %EG > ! parablicas si F # %EG ! elpticas si F # %EG !. 6.4. CASO DE LOS COEFICIENTES CONSTANTES Un importante caso se tiene cuando la ecuacin a#b toma la forma E?BB F?BC G?CC ! donde E,F , y G son constantes. Para tales ecuaciones, podemos siempre hallar soluciones generales. Para hallar tales soluciones introducimos la siguiente transformacin < +B ,C = -B .C suponiendo + , +. ,- ! - . conocida como una transformacin conforme, donde + , - y . son constantes por determinar. De la regla de la cadena hallamos ?B ?< <B ?= =B +?< -?= ?C ?< <C ?= =C ,?< .?= y, # ?BB <B ?<< #<B =B ?<= =# ?== <BB ?< =BB ?= B +# ?<< #+-?<= - # ?== , ?BC +,?<< a+. ,- b?<= -.?== , ?CC ,# ?<< #,.?<= . # ?== La sustitucin de estas expresiones en E?BB F?BC G?CC ! tenemos Ea+# ?<< #+-?<= - # ?== b F a+,?<< a+. ,- b?<= -.?== b G a,# ?<< #,.?<= . # ?== b ! As tenemos aE+# F+, G,# b?<< a#-+E F a+. ,- b #.,G b?<= aE- # F-. G. # b?== ! Ahora una eleccin adecuada de + , + y . , puede hacerse de manera que E+# F+, G, # !, E- # F-. G. # ! Si E !, es posible seleccionar , . x, en cuyo caso E+# F+ G ! , E- # F- G ! Esto significa que + y - son las soluciones de la ecuacin E7# F7 G ! Por ejemplo si escogemos F # F # + 7" F #E %EG y - 7# F #E %EG
Daro Snchez H.
44
en esta forma se recibe que a#+-E F a+. ,- b #,.G b?<= ! se transforma en c#7" 7# E F a7" 7# b #G d?<= ! o, dado que 7" 7# F /E y 7" 7# G /E, se obtiene que c#G F a-,/+b #G d?<= ! de donde " # E c%EG F d?<= ! Por lo tanto para el caso de las hiperblicas y elpticas se tiene F # %EG !. En estos casos ?<= !, la cual tiene por solucin general a ?a< =b J a<b Ka=b y usando la transformacin conforme dada tenemos ?aB Cb J a7" B C b Ka7# B C b obteniendo la solucin general para el caso de las EDP hiperblicas y elpticas. " Para el caso parablico, el discriminante es cero y E c%EG F # d?<= ! se reduce a la identidad ! !. Aqu hallamos que 7" 7# 7 y as nuestra transformacin < +B ,C, = -B .C es degenerada, puesto que < =, o equivalentemente, .+ ,- !. En este caso se introduce una transformacin distinta la cual tambin ser conforme < 7B C , = B Entonces + 7, , ", - ", y . ! en ese caso se tiene que E?== ! , E ! entonces ?== ! con solucin general ?a< =b J a<b =Ka<b En trminos de B e C esta solucin toma la forma ?aB Cb J a7B C b BKa7B C b EJEMPLO 1: Hallar la solucin general de ?BB ?CC ! SOLUCION: Sabemos que F # %EG %, por lo tanto la ecuacin es de tipo elptico. Para hallar la solucin, debemos calcular las races de la ecuacin E7# F7 G que en el caso toma la forma 7# " ! con races dadas por 7" 3, 7# 3. As la solucin general es dada por ?aB Cb J aC 3Bb KaC 3Bb 2: Hallar la solucin general de la ecuacin ?BB #?BC ?CC ! SOLUCION: En este caso la E.D.P es de tipo parablico puesto que B# %EG ! . La ecuacin cuadrtica ser 7# #7 " ! cuyas races son 7" 7# ". La solucin general ser dada por ?aB Cb J aB C b BKaB C b
EJEMPLO
Daro Snchez H.
45
Esta forma de hallar la solucin a una ecuacin diferencial parcial lineal homognea (EDPLH) con coeficientes constantes es conocido como el mtodo de D'Alambert . Para la determinacin de una solucin particular de una EDPL es comn utilizar un mtodo llamado de separacin de variables y el cual pasamos a describir a continuacin: 6.5. METODO DE SEPARACION DE VARIABLES: Nos permite determinar la solucin de una EDPL bajo el supuesto de que ?aB Cb \ aBb] aCb es una solucin que en adelante se llamar solucin de prueba lo cual permite la obtencin de uno o ms problemas de Sturm-Liuoville los cuales conducen a la determinacin de \ e ] y por lo tanto de ?aB C b. Ilustramos el mtodo resolviendo la siguiente ecuacin: # 5 ` ? `? , 5 > ! ; ?a! >b !, ?aP >b ! `B# `> SOLUCION: Si ? \X , podemos escribir la ecuacin dada como \ ww Xw # \ 5X lo que conduce al siguiente sistema \ ww -# \ ! , X w 5 -# X ! cuyas soluciones son # \ -" cos-B -# sin-B , X -$ /5 - > Ahora bien, puesto que ?a! >b \ a!bX a>b !, ?aP >b \ aPbX a>b ! debemos tener \ a!b ! y \ aPb !. Estas son condiciones de frontera para el sistema \ ww -# \ ! , X w 5 -# !. ( Para \ se tiene segn el mtodo de Sturm-Liouville que \ ww -# \ ! , \ a!b \ aPb ! tiene por solucin \ -" cos-B -# sin-B ). Aplicando la primera de estas condiciones resulta -" !. Por lo tanto \ -# sin-B. Ahora, la segunda condicin de frontera implica que \ aPb -# sin-P ! Si -# !, entonces \ !, de modo que ? !. Para una solucin ? distinta de cero, debemos tener -# ! y as la ltima ecuacin se verifica cuando sin-P ! . Esto implica 1 - 81 - 8 P , 8 " # $ Por consiguiente # # # # ? a-# sin-Bb /5 - > E8 /5 8 1 P > sin 81 B P satisface la ecuacin dada y ambas condiciones adicionales. El coeficiente -# -$ se reescribe como E8 para enfatizar el hecho de que se obtiene una solucin diferente para cada 8.
EJEMPLO
2: Hallar la solucin de la ecuacin ` `? 3aBb?>> `B :aBb `B ; aBb?
a"b
Daro Snchez H.
46
siendo - cierta constante. De aqu resulta que . .\ .B :aBb .> -3aBb ; aBb\ ! X ww a>b -X a>b ! Puesto que X a>b ! entonces ? X \ satisface la condicin GJ si y slo si !\ a!b " \ w a!b ! , , # \ a"b $ \ w a"b ! Por el teorema de Sturm-Liouville, hallamos los valores propios para los cuales existen soluciones no triviales, denominadas funciones propias, esto es a"b Existe un conjunto de valores propios -" <-# < -8 < y las correspondientes funciones propias \" aBb,\# aBb, a#b En el intervalo c! "d las funciones propias son 3aBb ortogonales, esto es, '!" 3aBb\8 aBb\7 aBb ! Resolvemos ahora para cada valor propio -8 la ecuacin X ww a>b -8 X a>b ! La solucin general es de la forma X8 a>b E8 cos-8 > F8 sin-8 > siendo E8 y F8 constantes arbitrarias As, hemos obtenido un conjunto infinito de soluciones de la ecuacin a"b del tipo ?8 aB >b X8 a>b\8 aBb E8 cos-8 > F8 sin-8 >\8 aBb 8 " # $ Por el principio de superposicin de soluciones se obtiene _ ?aB >b ! E8 cos-8 > F8 sin-8 >\8 aBb a#b Para obtener la solucin deseada se supone incialmente que la serie y la serie derivada son uniformemente convergentes, entonces se cumple GM y se recibe _ _ ?aB !b ! E8 \8 aBb :! aBb ?> aB !b ! -8 F8 \8 aBb :" aBb
8" 8" 8"
en donde 3aBb, :aBb y ; aBb son funciones suficientes suaves y tales que 3aBb !, :aBb > ! , ; aBb !, bajo las condiciones !?a! >b " ?B a! >b ! GJ : # ?a" >b $ ?B a" >b ! GM : ?aB !b :! aBb ?> aB !b :" aBb , !B" SOLUCION: Para hallar soluciones no triviales, supngase que ? toma la forma de producto ?aB >b X a>b\ aBb Reemplazando ? por su valor en a"b obtenemos . 3 aBbX ww a>b\ aBb X a>b .B :aBb .\ ; aBbX a>b\ aBb .B o bien . .\ ww .B :aBb .B ; aBb\ aBb X aa>>bb 3aBb\ aBb X
Daro Snchez H.
47
Para obtener los coeficientes E8 y F8 multiplicamos los miembros de las igualdades anteriores por 3 aBb\8 aBb y luego integrando con respecto a B en el intervalo ! a ", obtenemos " " E8 '! 3aBb:! aBb\8 aBb.B F8 "- '! 3aBb:" aBb\8 aBb.B Reemplazando en a#b los valores que hemos hallado para los coeficientes, obtenemos la solucin de nuestro problema
8
: En los clculos de E8 y F8 hemos supuesto que las funciones propias son ortonormales, es decir que \8 aBb \8 aBb ".
NOTA
6.6. OTROS METODOS DE SOLUCION PARA EDPH. Consideremos el caso unidimensional del calor donde la distribucin de la temperatura en B ! se mantiene en X" ! mientras que la temperatura en B : es X# ! donde X" y X# son constantes (X" X# ), se plantea entonces un problema de EDP del siguiente tipo: ?BB +# ?> , ! > ! GJ : ?a! >b X" , ?a: >b X# , > > ! GM : ?aB !b = 0 aBb , !<B<: Como X" X# , X" !, X# ! el mtodo de separacin de variables no funciona. Para obviar esta situacin se conjetura que la distribucin de la temperatura a lo largo de la barra ser tal que lim ?aB >b =aBb donde =aBb es una funcin independiente del tiempo. Basados en esta conjetura vemos que es posible que la distribucin de la temperatura ?aB >b pueda ser expresada como una suma de funciones de la forma ?aB >b =aBb @aB >b donde @aB >b es una funcin que se va acabando cuando el tiempo crece. Nos referimos a @aB >b como a la solucin TRANSITORIA mientras que =aBb es llamada ESTADO ESTABLE o solucin de equilibrio. En esta forma ?BB =ww @BB ?> @BB por lo tanto se tendra =ww @BB +# @> , ! B : , > ! GJ : =a!b @a! >b X" , =a:b @a: >b X# GM : =aBb @aB !b 0 aBb , ! B : Pasando al lmite cuando > _, vemos que @aB >b !, @> aB >b ! , para todo B entonces obtenemos el problema de Ecuaciones diferenciales ordinarias (EDO) para el estado estable =ww ! =a!b X" =a:b X# Por integracin sucesiva obtenemos que =aBb -" B -# , = a!b X" , =a:b X# as
>_
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" X" -# , =a:b X# -" : -# X" X# -:
48
luego
-" X# X" -# X" : En esta forma para el estado estable tenemos =aBb X# X" B X" :
Ahora para el estado transitorio se plantea el siguiente problema de EDP @BB +# @> , !B:,>! GJ : X" @a! >b X" , X# X" : X" @ a: >b X# : Por lo tanto vemos que @aB >b es solucin de un problema del calor unidimensional homogneo, el cual se puede resolver por el mtodo de separacin de variables, dado por @BB +# @> , !B:, >! GJ : @a! >b ! , @a: >b ! , >! B GM : @aB !b 0 aBb X" aX# X" b : , ! B : 6.7. PROBLEMAS NO HOMOGENEOS Un problema es clasificado como no homogneo, si la EDP y/o las condiciones de frontera, son no homogneas. Algunos casos especiales de condiciones en la frontera no homogneas, independientemente del tiempo fueron considerados en 6.6, mientras que aqu consideraremos un problema ms general involucrando EDP no homogneas y condiciones de frontera, caracterizadas, en el caso unidimensional del calor, por el problema ?BB +# ?> ; aB >b, ! B : , > ! F" ? +"" ?a! >b +"# ?B a! >b ! a>b, > ! GJ : F# ? +#" ? a: >b +## ?B a: >b " a>b GM : ?aB !b 0 aBb , !B: donde ; aB >b es proporcional al origen de la fuente del calor. Para resolver problemas de esta naturaleza de generalidad consideraremos dos casos especiales. 6.8. TERMINOS NO HOMOGENEOS INDEPENDIENTES DEL TIEMPO. Cuando el origen del calor no cambia con el tiempo es llamado caso estable y en este caso se tiene que ; aB > b :aBb Si las condiciones de frontera son tambin independientes del tiempo, es decir si F" ? X" F# ? X# donde X" y X# son constantes, entonces el problema es formalizado por ?BB +# ?> :aBb , ! B : , > ! GJ : F" ? X" , F# ? X# , > ! a"b GM : X# X" B X" @aB !b 0 aBb :
Daro Snchez H.
49
GM : ?aB !b 0 aBb , !B: Para hallar la solucin, usamos la misma conjetura formulada en 6.6, afirmando que ? puede ser expresada como la suma ?aB >b =aBb @aB >b donde =aBb denota la solucin estable y @aB >b es la solucin transitoria. La sustitucin en a"b nos conduce a =ww @aB >b +# @> :aBb , ! B :, > ! GJ : F" = F" @ X" , F# = F# @ X# , > ! GM : =aBb @aB !b 0 aBb !B: de donde se deduce que =aBb es una solucin del problema de EDO =ww :aBb F" = X" F# = X# y @aB >b satisface el problema de EDPH @BB +# @> , ! B : , > ! GJ : F" @ ! , F# @ !, > ! GM : @aB !b 0 aBb =aBb , ! B : entonces ?aB >b =aBb @aB >b es la solucin verdadera del problema original. Una vez ms tenemos el problema reducido a un conjunto de soluciones de ecuaciones cuya tcnica de solucin realmente ya es conocida. 6.9. METODO DE EXPANSION DE FUNCIONES PROPIAS. Cuando el origen del calor cambia con el tiempo tenemos el caso no estable, para hallar la solucin se generaliza el mtodo de variacin del parmetro utilizado para obtener la solucin particular de una EDLO no homognea, cuando se obtiene la famosa frmula de Green. Para ilustrar el mtodo hallemos la solucin del problema unidimensional del calor no homogneo siguiente ?BB +# ?> ; aB >b , ! B : , > ! 5 ?a! >b 5# ?B a! >b ! GJ : " 6" ?a: >b 6# ?B a: >b ! GM : ?aB !b 0 aBb , ! B : Por el mtodo de separacin de variables se halla la solucin de la ecuacin homognea ?BB +# ?> suponiendo como es conocido que ?aB >b J aBbKa>b es la forma de la solucin, de aqu se deduce que J aBb satisface al problema S-L siguiente J ww -J ! 5 " J a !b 5 # J w a ! b ! a"b 6" J a:b 6# J w a:b ! Del estudio de los problemas de Sturm-Lioville se deduce la obtencin _ del conjunto de valores propios e-8 f_ y un conjunto e98 f8" de 8"
Daro Snchez H.
50
funciones propias ortogonales en el intervalo ! B :, y tales que ww 98 -8 98 , 8 " # . Como en el caso de variacin del parmetro afirmamos que _ ?aB >b ! I8 a>b98 aBb es solucin de prueba para ?BB +# ?> ; aB >b donde las funciones de >, I8 a>b deben ser determinadas, as y
w ?> aB >b ! I8 a>b98 aBb _ 8" _ 8"
Por otra parte la ecuacin dada toma la forma +# ; aB >b ?> +# ?BB y sustituyendo obtenemos _ _ w +# ; aB >b ! I8 a>b98 aBb ! +# -8 I8 a>b98 aBb
w +# ; aB >b ! cI8 a>b +# -8 I8 a>bd98 aBb 8" _ 8" 8"
ww ?BB aB >b ! I8 a>b98 aBb ! -8 I8 a>b98 aBb _ 8" 8"
Para un > fijo, podemos interpretar a#b como un desarrollo generalizado de Fourier de +# ; aB >b, cuyos coeficientes estarn dados por : w I8 a>b +# -8 I8 a>b +# l98 l# '! ; aB >b98 aBb.B a$b donde : l98 l# '! c98 aBbd# .B, 8 ",#,$, Denotemos con : U8 a>b l98 l# '! ; aB >b98 aBb.B, 8 ",#,$, Entonces la ecuacin w I8 a>b +# -8 I8 a>b +# U8 a>b es una ecuacin diferencial lineal de primer orden cuya solucin es dada por > # # I8 a>b -8 +# '! /+ -8 7 U8 a7 b. 7 /+ -8 > , 8 ",#,$, (suponiendo -8 ! , 8 ",#, ) donde los -8 son constantes arbitrarias. Finalmente, al sustituir I8 a>b obtenemos la solucin formal ?aB >b ! -8 +# '! /+ -8 7 U8 a7 b. 7 98 aBb/+ -8 >
_ >
# #
a#b
Las constantes -8 , 8 ",#, son determinadas haciendo uso de la condicin inicial aGM b, as y por consiguiente -8 l98 aBbl# '! 0 aBb98 aBb.B , 8 ",#,$,
:
8"
?aB !b 0 aBb ! -8 98 aBb

_ 8"
Daro Snchez H.
51
EJERCICIOS ". Verificar que las siguientes funciones son soluciones de la ecuacin de Laplace ?BB ?CC ! +) ? #BC ,) ? B$ $BC # - ) ? /B sinC . ) ? sin Bsin C /) ? arctanaCBb 0 ) ? B% 'B# C # C % #. Demostrar que ? "B# C # D # es solucin de la ecuacin ?BB ?CC ?DD ! 3. Verificar que ?aB Cb +lnaB# C # b , satisface la ecuacin de Laplace ?BB ?CC ! y determinar + y , de manera que ? satisfaga las condiciones de frontera ? ! sobre el crculo B# C# " y ? & sobre el crculo B# C # *. %. Verificar que las siguientes funciones son soluciones de la ecuacin ?> - # ?BB , determinando en cada caso el valor de la constante - # +) ? /#> cos B ,) ? /> sin $B - ) ? /%> cos:B 5. Verificar que las siguientes funciones son soluciones de la ecuacin ?>> - # ?BB , determinando en cada caso el valor de la constante - # +) ? B# %># ,) ? B$ $B># - ) ? sin :-> sin :B '. Demostrar que ?aB >b @aB ->b AaB ->b , donde @ y A son funciones cualesquiera diferenciables dos veces, es una solucin de la ecuacin ?>> - # ?BB .
Si una ecuacin diferencial parcial contiene derivadas con respecto a una de las variables independientes nicamente, puede resolverse como una ecuacin diferencial ordinaria, tratando las otras variables independientes como parmetros.
7. Resolver las ecuaciones siguientes, donde ? ?aB C b +) ?BB %? ! ,) ?C #C? ! - ) ?B #BC? . ) ?BC ! /) ?BC ?B 0 ) ?BC ?B ! 8. Resuelva las siguientes ecuaciones diferenciales parciales +) ?B C ! ,) ?C #BC - ) ?C #? /C . ) ?BB )BC # " /) ?CC sinBC ! 0 ) ?BC " B 1) ?BC #B %C 3) ?BC ?C 'B/ 4) ?BC #C?B %BC # %C 5 ) ?CC B ? B/ 6) ?BB C # ? C sin#B 9. Determine si el mtodo de separacin de variables es aplicable a las ecuaciones dadas. Si lo es, obtenga las soluciones en forma de producto + ?B ?C , ?B $?C ! - ?B ?C ? , ?B ?C ? / B?B C?C 0 C?B B?C ! 1 ?BB ?BC ?CC ! 2 C?BC ? ! 3 ?BB ?CC ! 4 5?BB ? ?> ,5 ! 5 5?BB ?> 5 ! 6 +# ?BB ?>> 7 +# ?BB ?>> #5?> , 5 >! 8 B# ?BB ?CC ! 9 ?BB ?CC ?
Daro Snchez H.
52
: +# ?BB ?CC ? ; +# ?BB 1? ?>> , 1 es constante. 10. Resuelva las ecuaciones dadas sujetas a las condiciones indicadas. + ?BB 'B ; ?a! C b C , ?a" C b C # " , C?CC ?C ! ; ?aB "b B# , ?aB /b ". 11. Obtenga la ecuacin unidimensional de onda. 12. Halle la solucin del problema siguiente ` #? # ` #? !<B<" `># - `B# GJ : ?a! >b ! , ? a" >b ! para todo t GM : ?aB !b 0 aBb , ?> aB !b ! 13. Halle la solucin del flujo unidimensional de calor dado por el problema `? # ` #? !<B<" `> - `B# GJ : ?a! >b ! , ?a" >b ! para toda t GM : ?aB !b 0 aBb 14. Hallar el flujo de calor en una barra infinita. 15. Deducir la ecuacin bidimensional de onda o de la membrana vibrante. 16. Halle la solucin del problema siguiente ` #? ` #? # ` #? `># - `B# `C# GJ : ? ! sobre la frontera de la membrana para toda > ! GM : ?aB C !b 0 aB C b , `? 1aB C b. `>
>!
Halle la solucin a los siguientes problemas 17) ?BB +# ?> , ! > ! GJ : ?a! >b ! , ?a" >b ! GM : ?aB !b $sin 1B &sin %1B 18) ?BB +# ?> , ! > ! GJ : ?a! >b ! , ?a: >b ! GM : ?aB !b B a: Bb 19) ?BB +# ?> , ! > ! GJ : ?a! >b "!, ?a"! >b $! , > > ! GM : ?aB !b !, ! , ! ! GJ : ?a! >b X" , ?a" >b ?B a" >b X# , > > ! GM : ?aB !b X" , ! B !. 21) ?BB =+# ?> , ! > ! GJ : ?a! >b ", ? a" >b ! GM : ? aB !b X! 22) ?BB =+# ?> , ! > ! GJ : ?a! >b X" , ?a# >b X# GM : ?aB !b X!
Daro Snchez H.
53
23) ?BB =+# ?> , ! > ! GJ : ?B a! >b ! , ?B a: >b ! GM : ?aB !b X! sin# a1B:b 24) ?BB =+# ?> , ! > ! GJ : ?B a! >b !, ?a: >b X! GM : ?aB !b X! 25) ?BB =+# ?> , ! > ! GJ : ?a! >b X! , ?a" >b X! GM : ?aB !b X! Ba" Bb 26) ?BB =+# ?> , ! > ! GJ : ?a! >b X" , ?B a" >b ! GM : ?aB !b B 27) ?BB =+# ?> , 1 > ! GJ : ?a 1 >b ?a1 >b , ?B a 1 >b ?B a1 >b GM : ?aB !b |B|. 28) ?BB =+# ?> ", !<B<", ><! GJ : ?a! >b !, ?a" >b ! GM : ?aB !b B # 29) ?BB ?> E, ! > ! (E constante) GJ :?aB !b X" , ?a" >b X" ( X" constante) GM :?aB !b X! ( X! constante). 30) ?BB +# ?> 'B, ! > ! GJ : ?B a! >b !, ?a" >b ! GM : ?aB !b /B ". 31) ?BB +# ?> +cosA>, ! ! GJ : ?B a! >b !, ?B a1 >b ! GM : ?aB !b ! 32) ?BB ?> /> , ! > ! GJ : ?B a! >b !, ?B a" >b ! GM : ?aB !b !. 33) ?BB ?> E/,B , ! B <", > > ! ( E,, son constantes) GJ : ?a! >b !, ?a" >b ! E GM : ?aB !b " /,B ,# . 34) ?BB - # ?>> , ! < > < ", > > ! GJ : ?a! >b !, ?a" >b ! GM : ?aB !b ! , ?> aB !b @! ( @! constante) 35) ?BB = - # ?>> , ! < > <1 , > > ! GJ : ?B a! >b !, ?B a1 >b ! GM : ?aB !b " #cos $B , ?> aB !b &cos #B 36) ?BB = - # ?>> , ! < > < ", > > ! GJ : ?a! >b !, ?a" >b ! GM : ?aB !b Ba" Bb , ?> aB !b !
Daro Snchez H.
54
37) ?BB = - # ?>> T sin A> , ! < > <1 , > ! GJ : ?a! >b !, ?a" >b ! GM : ?aB !b ! , ?> aB !b ! 38) ?BB +# ?> , !<B<_, >>! GJ : ?a! >b !, ?aB >b ! cuando B _, > ! GM : ?aB !b 0 aBb , ! , _ > ! GJ : ?aB >b ! , ?B aB >b ! cuando |B| _, > > ! GM : ?aB !b 0 aBb, _ ; aB >b , _ > ! GJ : ?aB >b !, ?B aB >b ! cuando |B| _, > > ! GM : ?aB !b 0 aBb, _ > , ! b ! ?a+ C >b ! ?aB C !b B C GJ : , GM ?C aB ! >b ! ?C aB , >b ! ?> aB C !b ! # 42) ?BB ?CC + ?> , ! > ! ?a! C >b ! ?B a1 C >b ! GJ : ?C aB ! >b ! ?aB 1 >b ! GM : ?aB C !b B C 43) ?BB ?CC ?> , ! b ?B a" C >b ! GJ : ?aB ! >b ! ?C aB 1 >b ! GM : ?aB C !b BC . 44) Hallar la solucin del problema siguiente: ?BB ?>> , ! > ! GJ : ?B a! >b !, ?aB >b !, cuando B _ GM : ?aB !b /B , ?> aB !b !. 45) Hallar la solucin del problema siguiente: ?BB ?>> , ! > ! GJ : ?a! >b !, ?a" >b !, > > ! GM : ?aB !b B a" Bb , ?> aB !b ! ******
Daro Snchez H.
55
(. EL LAPLACIANO Y EL POTENCIAL
7.1. EN COORDENADAS POLARES Sean < y ) las coordenadas polares para
un punto :aB C b entonces se tiene : B = <cos), C = <sin) Se sabe que el Laplaciano en coordenadas rectangulares es dado por # # f# ? ` ? ` ? `B# `C# Para obtenerlo en coordenadas polares hacemos uso de la regla de la cadena. En esta forma ?B = ?< <B + ?) )B Derivando esto nuevamente con respecto a B, se tiene ?BB = a?< <B b B + a?) )B bB = a?< b B <B + ?< <BB + a?) bB )B + ?) )BB = a?<< <B +?<) )B b <B ?< <BB a?)< <B +?)) )B b )B ?) )BB As, # ?<< ?<< <B + #?<) )B <B + ?< <BB + ?)) ) # + ?) )BB a"b Ahora para determinar <B y )B se tiene que < B# C # y ) = arctan aCBb entonces CB# <B = B#B # = B , )B = "aCBb# <C# < C <BB = <B<B = " B$ = C$ , ) BB = C a #<$ b<B = <# < < < Sustituyendo en a"b se obtiene # # # ?BB = B# ?<< # BC ?<) + C% ?)) + C$ ?< + # BC ?) < <$ < < <% De manera semejante se obtiene # # # ?CC = C# ?<< + # BC ?<) + B% ?)) + B$ ?< # BC ?) < <$ < < <% Sumando se obtiene el Laplaciano en coordenadas polares # # " f# ? = ` ? + < `? + <"# ` )? `<# `< ` #
# #
#BC <%
Daro Snchez H.
56
7.2. MEMBRANA CIRCULAR: Consideremos las vibraciones de una
GJ : ?aV >b ! GM : ?a< !b 0 a a< !b 1ab [ a<bKa<b es la solucin de prueba, entonces K " " ww w 5# -#K [ [ < [ Esto proporciona las dos ecuaciones lineales ordinarias K 5 # - # K ! [ ww " [ w 5 # [ ! < SEGUNDO PASO: Introduciendo la nueva variable = = 5< se tiene " = 5 por la < = regla de la cadena # [ [ w .[ .[ .= .[ 5 y [ ww ..=# 5 # .< .= .< .= Sustituyendo y omitiendo el factor comn 5 # , se obtiene: .#[ " .[ .=# = .= [ ! Esta es la Ecuacin de Bessel , con @ = ! . La solucin general es [ -" N! a=b -# ]! a=b donde N! y ]! son funciones de Bessel dadas por _ _ 7 #7 7" N! =! ! a"b = # , ]! = N! a=bln = + ! a"b 2#7 =#7 #7 #7 donde 27 = . Como la deformacin de la membrana siempre es finita y como lim]! a=b _ no puede usarse ]! y debe elegirse
=! # a7xb 7! " " " "+ # + $ ++ 7 7" # a7xb
membrana circular la cual se ha fijado a lo largo de la frontera < = V. En ese caso tenemos el siguiente problema: Hallar la solucin del problema ` #? " `? # ` #? `># - `<# < `<
-# !. Si se desean soluciones no triviales, -" ! puede tomarse -" " entonces [ ab [ aV bKa>b = ! . Si Ka>b = ! entonces ?a< >b = !. Si Ka>b ! entonces [ aV b = ! o sea N! a5V b = ! esto es 5V = !7 , 7 ",#,$, o bien 5 = 57 = !7 , 7 = ",#,$ . De aqu que V [7 N! a57 b son K7 a>b = +7 cos-7 > ,7 sin-7 > . De aqu que las funciones ?7 a< >b = a+7 cos-7 > + ,7 sin-7 >bN! a57 >b son las funciones propias de la onda circular, donde -7 -57 .
Daro Snchez H. TERCER PASO
57
Haciendo > = ! y usando GM tenemos

_ 7"
: Por el principio de superposicin de soluciones tenemos que _ ?a< >b = ! a+7 cos-7 > ,7 sin-7 >b N! !7 <
7" V
Ya hemos mostrado que la coleccin eN! a57 <bf es un conjunto <ortogonal en el intervalo ! V por lo tanto 0 a tenemos _ ?> a< >b = ! a +7 -7 sin-7 > ,7 -7 cos-7 >bN! !7 < por GM tenemos
7! V lN! a57 a< >b = 1a>b = ! ,7 -7 N! !7 < V

_ 7"
7.3. EL POTENCIAL. EL LAPLACIANO EN COORDENADAS ESFRICAS Las coordenadas esfricas estan dadas por: B = 3 cos) sin9, C = 3 sin) sin9, D = 3 cos9
Si < 3 sin9 entonces B <cos) , C <sin) , 3 <# D # En esta forma 9 +<- -9> D . Se puede mostrar que en coordenadas < cilndricas el Laplaciano est dado por f# ? = ?<< + " ?< + <"# ?)) + ?DD < A partir de esto obtengamos el Laplaciano en coordenadas esfricas, primero D 3D = 3 , 9D = <#< # = < D 3# Derivando nuevamente # D # <# 3DD = 3D 3D = 3 3# = 3# 3# 9DD =
#<3D 3$
#D< 3%
Daro Snchez H.
58
Anlogamente
3< = 9< =
< 3
, 3<< = =
D 3#
3<3< 3#
Ahora
D <# D #
, 9<< =
3# <# D# 3$ = 3$ #D 33< = #D 3< 3% 3$
#D< 3%
As
< D ?< = ?3 3< + ?9 9< = ?3 3 + ?9 3# ?<< = a?33 3< ?39 9< b3< ?3 3<< + a?93 3< ?99 9< b9< + ?9 9<< # # = ?33 3< + #?39 9< 3< + ?3 3<< + ?99 9< + ?9 9<<
# # #
< D D ?<< = ?33 3# + #<D ?39 + 3$ ?3 + 3% ?99 #<D ?9 3$ 3% Derivando con D se tiene ?D = ?3 3D + ?9 9D ?DD = a?33 3D + ?39 9D b3D + ?3 3DD + a?93 3D + ?99 9D b9D + ?9 9DD D# <# <# = ?33 3# # D< ?39 + 3$ ?3 + 3% ?99 + #D< ?9 3$ 3% Sumando ?<< con ?DD tenemos # # # D # D # D # ?<< + ?DD = ?33 < 3# + < 3$ ?3 + < 3% ?99 " " = ?33 + 3 ?3 + 3# ?99 " " " D < ?< 3 ?3 + 3# ?9 < As ; # " " f# ? = ?<< + " ?< + <"# ?)) + ?DD ?33 3 ?3 3# ?99 3# sin# 9 ?)) < Luego # " " `? " f# ? = 3# ``3 3# `? sin9 ``9 sin9 ` 9 sin# 9 ` )? `3 ` #
cot9 3 # ?9
7.4. POTENCIAL ELECTRICO EN UNA ESFERA: Supongamos la distribucin de un potencial elctrico fijo ?aV ) 9b sobre una esfera W de radio V donde <, ) ,9 son las coordenadas esfricas. Se desea hallar el potencial ? en todos los puntos del espacio, los cuales se suponen libres de otras cargas. Este problema se plantea por la solucin de ` # `? " ` `? `< < `< sin9 ` 9 sin9 ` 9 ! GM : GM : lim ? aV < 9b !
<_
?aV 9b = 0 a9b
Por el mtodo de Fourier supongamos que ?a< 9b = Ka<bL a9b es la solucin de prueba por lo tanto K y L deben ser tales que " . # .K " . .L K .< < .< L sin9 . 9 sin9 . 9
Daro Snchez H.
59
Entonces existe una constante 5 tal que " . # .K " 5 L sin9 ..9 sin9 .L 5 K .< < .< .9 de modo que
" . sin9 . 9
La ltima ecuacin toma la forma <# Kww + #<Kw 5K = ! Esta es una ecuacin de Euler-Cauchy y tiene por solucin de prueba a Ka<b = <! y estas soluciones son particularmente simples si se toma 5 8a8 "b en ese caso <# Kww + #<Kw 8a8 "bK = ! tenindose c ! a ! " b # ! 8 a8 " b d < ! ! de donde ! 8, y, ! 8 " De aqu se obtienen las soluciones " K8 a<b <8 y K8 a<b = <8" Para la ecuacin diferencial de L tenemos " . .L sin9 . 9 sin9 . 9 8a8 "bL = !
sin9 .L 5L ! .9
" . # .K K .< < .<
haciendo [ = cos9 se tiene sin# 9 = " [ # y como . . .[ . . 9 = .[ . 9 = sin9 .[ tenemos, . # .#L .[ ca" [ bd .[ # + 8a8 "bL = ! o bien, .#L .L a" [ # b .[ # #[ .[ + 8a8 "bL = ! Esta es la ecuacin de Legendre y tiene por solucin a los polinomios de Legendre L = :8 a[ b = :8 acos9b 8 = !,",#, De donde se obtiene la solucin del problema ?8 a< 9b = E8 <8 :8 acos9b , ? a< 9b = <F8 :8 acos9b 8" 8 donde 8 = !,",#, y E8 , F8 son constantes. Por el principio de superposicin de soluciones se obtienen las llamadas: solucin interna y la solucin externa dadas por _ _ ?M a< 9b = ! E8 <8 :8 acos9b , ?I a< 9b = ! F8 :8 acos9b 8" Por las condicin GM se determinan las constantes
_ 8! 8! 8" <
Como e:8 acos9bf es un conjunto ortogonal entonces
" " ~ E8 V 8 = #8" '" 0 a[ b:8 a[ b.[ , VF8 = #8" '" 0 a[ b :8 a[ b.[ 8" # # ~ donde 0 a[ b 0 acos9b . Ya que .[ sin9. 9 y los lmites de integracin " y " corresponden a 9 1 y 9 !
?M aV 9b ! E8 V 8 :8 acos9b =0 a9b, ?I aV 9b ! VF8 :8 acos9b 0 a9b 8"

_ 8"
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" E8 = F8

#8" #V 8
60
V 8" a#8"b #
'!1 0 a9b :8 acos9bsin9.9,
'!1 0 a9b:8 acos9bsin9.9
<V
7.5. LINEAS DE TRANSMISION: Se considera el flujo elctrico en un par de conductores lineales, tales como cables telefnicos o una lnea de transmisin elctrica. Consideremos una carga lineal de transmisin imperfectamente aislada como se indica en la figura.
Supongamos que fluye una corriente elctrica desde la fuente E hasta el extremo receptor F en el sentido indicado en la figura. Designemos por B la distancia a lo largo del cable; tanto la corriente 3 como la diferencia de potencial / entre los dos cables son funciones de B de >. Designemos por V la resistencia por unidad de longitud de los cables, por K la conductancia por unidad de longitud entre los # cables, por G la capacitancia por unidad de longitud de los # cables y por P la inductancia por unidad de longitud. Consideremos ahora un elemento de lnea de transmisin de longitud ?B. Si la fuerza electromotriz en un punto B es /aB >b entonces se calcula la cada de potencial a lo largo de un elemento de longitud B, tenindose `3 /aB >b = 3V ?B + P?B `> + /aB ?B >b a"b Sin embargo, por el desarrollo de Taylor, tenemos /aB ?B >b = /aB >b + ` / ?B + `B donde se desprecian trminos de segundo orden y superiores. Sustituyendo este valor en (1) tenemos ` / = 3V + P ` 3 `B `> Si se designa por 3aB >b la corriente que entra en una seccin de longitud ?B y por 3aB ?B >b ) la corriente que sale de ese elemento, se puede escribir 3aB >b = /K?B + ` / G ?B + 3aB ?B >b a#b `> ` / G ?B la donde /K?B es la corriente que pasa a travs del aislador y `> corriente invertida en la carga del condensador. Mediante el desarrollo de Taylor se tiene `3 3aB ?B >b = 3aB >b + `B ?B + Sustituyendo esta expresin en a#b se obtiene `3 `B = /K + G ` / `>
Daro Snchez H.
61
/B 3V P3> 3 IK G/ B > constituyen un sistema simultneo de ecuaciones diferenciales parciales de primer orden. Para obtener la diferencia de potencial, hallamos la derivada parcial a la segunda ecuacin con respecto a B, obteniendo `# ` `B3 = K ` / + G `> ` / # `B `B Sustituyendo el valor de ` / se tiene `B # ` #3 = PG ` / + aPK VG b ` 3 + VK3 a$b `B# `># `> Anlogamente se obtiene la ecuacin para la corriente ` #/ ` #/ `/ a%b `B# = PG `># + aPK VG b `> VK/ Las ecuaciones a$b y a%b se conocen como las ecuaciones del telfono. En muchas aplicaciones para las seales telegrficas, la dispersin K es pequea y el trmino debido a la inductancia P es despreciable, de modo que se puede suponer K P !. Las ecuaciones toman, en este caso, la forma simplificada ` #3 `3 `B# VG `> a&b ` #/ `/ # VG `> `B estas ecuaciones se conocen como las ecuaciones de los telegrafistas o del cable. Para frecuencias elevadas los trminos con derivadas respecto al tiempo son grandes, pudindose encontrar algunas propiedades cualitativas de la solucin, despreciando los trminos de dispersin y resistencia o sea K V !, las ecuaciones se reducen a ` #3 ` #3 `B# PG `># a'b ` #/ ` #/ `B# PG `># Haciendo @ = " se ve en este caso que tanto la corriente como la PG diferencia de potencial entre las lneas satisfacen la ecuacin de onda undimensional ?BB = @# ?>> ****** EJERCICIOS 1. Hallar la solucin del problema siguiente ?<< + " ?< = - # ?<< , !<<<", >>! < GJ : ?a" >b = ! , > > ! " ! < " # G M : ?a< !b = , ?> a< !b = ! , ! < < <" " ! # < " 2. Estudiar las soluciones del siguiente problema
Las ecuaciones
Daro Snchez H.
62
?<< + " ?< + <"# ?)) = ! , !< 3 , 1 ) 1 < lim ?a< >b es finito <! GJ : ?a< 1b ?a< 1b , ?) a< 1b ?) a< 1b GM : ?a3 ) b 0 a)b , 1 ) 1 3. Hallar la solucin del problema siguiente ?<< + " ?< + <"# ?)) = ! , !< 3 , 1 ) 1 < lim ?a< >b es finito <! GJ : ?a< 1b ?a< 1b , ?) a< 1b ?) a< 1b GM : ?a3 ) b cos# ), 1 ) 1 4. Hallar la solucin del problema siguiente ?<< + " ?< + <"# ?)) ! , !< 3 , 1 ) 1 < lim ?a< >b es finito <! GJ : ?a< 1b ?a< 1b , ?) a< 1b ?) a< 1b GM : ?a3 ) b = |)|, 1 ) 1 5. Hallar la solucin del siguiente problema ` # `? " ` `? `< < `< + sin9 ` 9 sin9 ` 9 ! GM : ?a" 9b = ". 6. Hallar la solucin del siguiente problema ` # `? " ` `? `< < `< + sin9 ` 9 sin9 ` 9 !
<_
GJ : lim ?a< 9b = !
GM : ?a" 9b = cos9. 7. Hallar la solucin del siguiente problema ` # `? " ` `? `< < `< + sin9 ` 9 sin9 ` 9 !
<_
GJ : lim ?a< 9b !
GM : ?a" b = cos# 9. 8. Hallar la solucin del siguiente problema ` # `? " ` `? `< < `< + sin9 ` 9 sin9 ` 9 !
<_
GJ : lim ?a<9b = !
GM : ?a" b = cos$ 9. 9. Hallar la solucin del siguiente problema ` # `? " ` `? `< < `< + sin9 ` 9 sin9 ` 9 !
<_
GJ : lim ?a<9b = !
GJ : lim ?a<9b = !
<_
GM : ?a" b = cos #9.
10. Hallar la solucin del siguiente problema
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" !
63
GM : ?a" b = cos $9. 11. Un slido semi-infinito ! est inicialmente a la temperatura cero.
<_
GJ : lim ?a<9b = !
` # `? " ` `? `< < `< + sin9 ` 9 sin9 ` 9
En el tiempo > = ! se le aplica y se le mantiene una temperatura constante Y! > ! en la cara B = !. Hallar la temperatura de cualquier punto del slido en cualquier tiempo posterior > !. R/ Se reduce a la solucin del problema `? 5 ` # ? B ! > ! `> `B# ?aB !b ! ?a! >b Y! l?aB >bl Q 12. Una barra de longitud 6 est a temperatura constante Y! . Cuando > !, al extremo B 6 se le aplica sbitamente una temperatura constante Y , y al extremo B ! se le aisla. Suponiendo que la superficie de la barra est aislada, hallar la temperatura de cualquier punto B de la barra en cualquier tiempo > !.
V Muestre que se llega al siguiente problema `? 5 ` # ? B ! > ! `> `B# ?aB !b Y! ?B a! >b ! ?a6 >b Y" 13. Una cuerda infinitamente larga, con uno de sus extremos en B ! est inicialmente en reposo sobre el eje B. El extremo B ! se somete a un desplazamiento transversal peridico dado por E! sin A>, > !. Hallar el desplazamiento de cualquier punto de la cuerda en cualquier tiempo.
V ] aB >b es el desplazamiento dado por el problema
Daro Snchez H.
64
` # ] +# ` # ] B ! > ! `># `B# ] aB !b ! ]> aB !b ! ] a! >b E! sinA> l] aB >bl Q 14. Una cuerda tensa elstica y flexible tiene fijos sus extremos en B ! y B 6 . Al tiempo > ! se le da a la cuerda la forma definida por J aBb .Ba6 Bb , donde . es una constante, y luego se le suelta. Hallar el desplazamiento de cualquier punto B de la cuerda en cualquier tiempo > !. V Llegue al problema ` # ] +# ` # ] B ! > ! `># `B# ] a! >b ! ] a6 >b ! ] aB !b .Ba6 Bb ]> aB !b ! 15. Una viga de longitud 6 cuyo extremo B ! est fijo, como se muestra en la figura se halla inicialmente en reposo.
En el extremo libre se le aplica longitudinalmente una fuerza constante J! por unidad de rea. Hallar el desplazamiento longitudinal de cualquier punto B de la viga en cualquier tiempo > !. V El anlisis fsico lleva al problema ` # ] - # ` # ] ! B 6 > ! `># `B# ] a! >b ! ] a6 >b ! ]> aB !b ! ] a! >b ! ]B a6 >b J! I 16. Una linea de transmisin de inductancia y conductancia por unidad de longitud despreciables tiene un voltaje en su extremo emisor, B !, dado por I !>X I a! >b = ! ! >X Hallar el voltaje I aB >b y la corriente M aB >b sobre cualquier punto B > ! en cualquier punto > > !. 17. a+b Resolver el problema con valores de frontera `Y ` #Y `> 5 `B# B > !, > > ! Y aB !b = Y! , YB a! >b !Y a! >b , |Y aB >b | < Q a,b Dar una interpretacin del problema en tminos de flujos calricos. 18. Una cuerda tensa y flexible tiene sus extremos sobre el eje B en los puntos B ! y B ". En el tiempo > ! se somete a la cuerda a que tome la forma definida por J aBb, ! B " y se le deja libre. Hallar el
Daro Snchez H.
65
desplazamiento en cualquier punto B de la cuerda en cualquier tiempo > !. 19. Un cilindro circular infinitamente largo y de radio unidad tiene una temperatura inicial constante X . En > = ! se le aplica y se le mantiene una temperatura de !!G en su superficie. Hallar la temperatura de cualquier punto del cilindro en cualquier tiempo posterior >. 20. Una barra aislada semi-infinita que coincide con la parte positiva del eje B est inicialmente a temperatura cero. En >=! se genera instantneamente una cantidad de calor en el punto B +, donde + > ! . Hallar la temperatura de cualquier punto de la barra en cualquier tiempo > !. 21. Una placa semi-infinita de espesor 1 tiene aisladas sus caras. Los bordes semi-infinitos se mantienen a !!G en tanto que el borde finito se mantiene a "!!!G . Suponiendo que la temperatura inicial es de !!G , hallar la temperatura de cualquier punto en cualquier tiempo.
8.
EXGESIS
1- Una ecuacin que contiene una o ms derivadas parciales de una funcin de dos o ms variables libres, es llamada Ecuacin Diferencial Parcial (E.D.P). El orden de la derivada de mayor orden es llamado el orden de la
ecuacin diferencial
2- Las E.D.P se clasifican en: lineales, no lineales, casi-lineales, lineales homogneas, lineales no homognes. 3- Una funcin de dos o ms variables es una solucin de una E.D.P de orden 8 en alguna regin H, si es una funcin que admite 8 derivadas parciales y satisface a la E.D.P dada, en todas sus variables. 4-Cuando se dan condiciones en el borde de la regin H (H se supone acotada), se dice que la ecuacin est sometida a condiciones de frontera (GJ ) y cuando se dan condiciones con respecto al parmetro >, en > ! > : se dice que la E.D.P est sometida a condiciones iniciales (GM ) 5-Dada una ecuacin diferencial parcial lineal homognea (E.D.P.L.H), si ?" y ?# son soluciones entonces ?" ?# es tambin una solucin. Principio de superposicin de soluciones (psps). Dado e?" ?# ?8 f una familia de soluciones de un EDPLH entonces ! E8 ?8 es
_ 8"
solucin de
EDPLH donde los E8 , a8 son constantes . # 3 # 6- La ecuacin ` ? X ` ? es conocida como la ecuacin unidimensional `B# `># de onda. Si se considera el problema
Daro Snchez H.
66
uso de la condicin C.I y mediante el uso de las series de Fourier (mtodos de medio rango) se obtienen los coeficientes E8 que determinan la solucin deseada. 7-Solucin de D'Alambert para la ecuacin de onda. Se considera la # # ecuacin ` ? - # ` ? . Se introduce una transformacin conforme `B# `># @ B -> D B ->, usando la regla de la cadena se tiene ?B ?@ ?D ?BB ?@@ #?@D ?DD y ?>> - # a?@@ #?@D ?DD b. De la EDPLH dada y estos valores de ?BB y ?>> se obtiene que ` # ? ! de donde sale que ?@D `@`D ? ' 2a@b.@ :aD b o sea que ? 9a@b :aD b 9aB ->b :aB ->b. Las funciones 9 y : pueden determinarse con la ayuda de las condiciones iniciales. As, si se supone que ?aB !b 0 aBb entonces se tiene que ?aB >b " c0 aB ->b 0 aB >bd. # 8- La ecuacin `? - # f# ? es conocida como ecuacin del calor, donde `> f# ? es el Laplaciano de ? que para ?aB D >b est dado por # # ` #? f# ? ` ? ` ? `D# `B# `C# En el caso unidimensional se plantea mediante el problema: `? - # ` # ? `> `B# GJ ?a! >b ?a6 >b ! GM ?aB !b 1aBb para representar la propagacin de la temperatura a lo largo de una barra finita. Para hallar la solucin de este problema tenemos dos mtodos: el mtodo de Fourier ya esbozado en el numeral 6- y el mtodo de transformada de Laplace, el cual est basado en suponer las transformadas sobre la variable libre >, as `# .# L `? =La?aB >bb ?aB !b y L `B? .B# La?aB >bb , # `C denotando La?aB >bb ] aB =b entonces se obtiene la ecuacin diferencial ordinaria
` #? 3 # `B# X ` ? `># ?a! >b ?a6 >b ! GJ ?a! >b 0 aBb GM `? 1aBb `> >! Su solucin se determina haciendo uso del mtodo de Fourier y se deben seguir los siguentes pasos: a+b Suponer que ?aB >b J aBb Ka>b es solucin de prueba y de aqu obtener un sistema de ecuaciones difereciales ordinarias y de una constante de proporcionalidad 5 . a,b Haciendo uso de las C.F se determina 5 y familias e-7 f e?7 aB >bf de paramtros y funciones, llamadas valores y funciones propias. _ a- b Usando el psps se obtiene la solucin ?aB >b ! E8 ?8 aB >b. Haciendo
8"
Daro Snchez H.

. # ] aB=b .B#
67
=] aB =b 0 aBb sta se resuelve suponiendo = constante por los mtodos de EDLO, de aqu se determina ] aB =b La?aB >bb y la solucin ser " ?aB >b L a] aB =bb 9- El flujo de calor de una barra semi-infinita, est dado por el problema siguiente `? +# ` # ? `> `B# GJ ?a! >b, ? y ?B son finitos cuando B _ GM ?aB !b 0 aBb ! B _ Usando el mtodo de Fourier se obtiene: a+b ?aB >b \ aBb[ a>b a,b De donde recibe que # # \ aBb sin =B y [ a>b F a=b/+ = > de donde las funciones propias son # # ?aB > =b F a=bsin =B /+ = > = ! a- b Del psps se sigue que _ ?aB >b '! ?aB > =b.=, 0 sea _ # # ?aB >b '! F a=b sin =B /+ = > .= los coeficientes F a=b se calculan mediante la condicin ?aB !b 0 aBb y las frmulas de la integral de Fourier para las funciones impares. 10- Flujo de calor en una barra infinita: Se trata del problema `? - # ` # ? `> `B# GJ ? y ?B son acotados cuando B _ GM ?aB !b 0 aBb -_ B _ Para la determinacin de la solucin se hace uso del mtodo de Fourier: a+b ?aB >b J aBb Ka>b a,b Las funciones propias son # # ?aB > :b aEcos :B F sin :Bb/- : > a- b Por psps _ # # ?aB >b '! Ea:bcos:B F a:bsin :B/- : > .>, con ayuda de GM y las frmulas de integral de Fourier se determinan los E a: b y F a: b . # # `# 11- La ecuacin ` ? - # ` B? ` ? - # f? es conocida como la ecuacin # `># `C# bidimensional de onda .
Onda rectangular. Se presenta mediante el problema
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ` #? `# `># - # `B? ` # ? # `C# ! sobre la frontera GJ ? ?aB C !b 0 aB C b GM `? 1aB C b `>
>!
68
Se usa el mtodo de Fourier as a+b La solucin de prueba es en este caso como Y aB C >b J aB C b Ka>b obtenindose el sistema # J J BB # CC @ J ! K - H ! donde - -@ a,b Para resolver JBB JCC @# J ! se asume que J aB C b L aBb UaC b y resolviendo se llega a que J78 sin 71 Bsin 8,1 C + La familia de funciones propias son dadas por ?78 aB C >b aF78 cos-87 > F78 sin-78 >bJ78 aB C b donde # # -78 - 1 7# 8# + , a- b Por psps la solucin es ?aB C >b ! ! ?78 aB C >b
_ _ 8" 7"
haciendo uso de C.I, se determinan los coeficientes F78 , y , F78 mediante series dobles de Fourier, por ejemplo
12- Laplaciano en coordenadas polares. Haciendo B <cos: C <sin: se obtiene que # # # # ? f# ? ` ? ` ? ` ? " `? <"# ` : `B# `C# < `< ` `<# 13- La ecuacin de la membrana circular obedece al problema # ` #? `># - # ` ? " `? `<# < `< GJ ?aV !b ! ! : #1 `? GM ?a< >b ! `> >! 1aBb La solucin se halla mediante el mtodo de Fourier a+b ?a< >b [ a<bKa>b es la solucin de prueba, de donde se obtiene el sistema [ ww " [ w 5 # [ ! < -# K ! - -5 K
F78
% +,
'!, '!+ 0 aB Cbsin 71 Bsin 8,1 C .B .C +
a,b La primera ecuacin [ ww " [ w 5 # [ ! es una ecuacin de Bessel < cuya solucin es [ ab +7 cos-7 > ,7 sin-7 > donde -7 -57 -!7 , obteniendo las siguientes familias de soluciones V propias
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?7 a< >b a+7 cos-7 > F7 sin-7 >bN! a57 <b
_ 7"
69
a- b Por psps
15- La ecuacin de Laplace en coordenadas esfricas se plantea mediante el problema ` # `? " ` `? `< < `< sin9 ` 9 sin9 ` 9 ! lim <_?a< 9b ! ?aV ) 9b 0 a9b Para determinar la solucin se sigue el mtodo de Fourier a+b ?a< 9b Ka<bL a9b es la solucin de prueba, de donde se obtiene el sistema " . .L sin9 . 9 sin9 . 9 5L ! . # .K .< < .< 5K !
haciendo uso de la condicin C.I y de la serie de Fourier-Bessel se determinan los coeficientes +7 y ,7 . 14- La ecuacin f# ? ! es conocida como ecuacin de Laplace donde # # # f# ? ` ? ` ? ` ? `B# `C# `D # es el llamado Laplaciano. Para coordenadas cilndricas B <cos: C <sin: D D el Laplaciano toma la forma # # `# f# ? ` ? " `? <"# ` :? :D? # # `< < `< : # Para las coordenadas esfricas B 3cos) sin: C 3sin) sin: D 3cos: el Laplaciano esta dado por # " " `? " f# ? 3# ``3 a3# ?3 b sin: ``: sin: ` : sin# : ` )? ` #
?a< >b ! a+7 cos-7 > F7 sin-7 >bN! a57 <b
a,b Escogiendo 5 8a8 "b, la primera ecuacin es una ecuacin de Legendre cuya solucin es L a9b T8 acos9b y la segunda ecuacin es una ecuacin de Euler-Cauchy cuya solucin es " Ka<b <8 , 0, Ka<b <8" , obteniendo la familia de funciones propias ?8 a< 9b E8 <8 <F8 T8 acos9b 8" a- b Por el psps la solucin es La solucin en los puntos internos de la esfera satisface la ecuacin _ ?a< 9b ! E8 <8 T8 acos9b
8!
?a< 9b ! ?8 a< 9b ! E8 <8

_ _ 8" 8"
F8 <8" T8 acos9 b
Haciendo uso de la condicin inicial y las tcnicas de series de Fourier Legendre se obtienen los coefientes E8 . Para hallar la solucin externa a la esfera, sta conduce a la funcin
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?a< 9b ! <F8 T8 acos9b 8"

_ 8!
70
9. MISCELNEA DE PROBLEMAS RESUELTOS 1. Hallar la solucin de la ecuacin ?BB C # ? C sin#B SOLUCIN. a+b Como en el caso de las EDO tratamos primero la homognea ?BB C # ? ! suponiendo que ? /!B es solucin de prueba si y slo si !# C # ! es la ecuacin de ndices, la cual tiene por races a ! 3C y en este caso el conjunto ecos CB sin CBf es base de soluciones por lo tanto ?L aB Cb -" aCbcos BC -# aC bsin BC a,b Una solucin particular para ?BB C # ? C sin#B, por el mtodo de los coeficientes indeterminados es ?: aB Cb Ecos #B F sin #B derivando se tiene ?B #Esin #B #F cos #B ?BB %Ecos #B %F sin #B sustituyendo en la ecuacin dada %Ecos #B %F sin #B C # a #Esin #B #F cos #Bb C sin #B EaC# %bcos #B F aC # %bsin #B C sin #B luego EaC# %b ! F aC # %b C de donde F C#C E ! % por lo tanto ?: aB Cb C#C sin #B % Luego la solucin ser: ?aB C b -" aC bcos CB -# aC b sin CB C#C sin #B % 2.Resolver el problema de frontera siguiente `? ` #? `> `B# > ! ?B a! >b ! ?B a1 >b ?aB !b B# ! B 1 SOLUCIN. Usando el mtodo de separacin de variables aM b ?aB >b \ aBb X a>b entonces ?> \X ?BB X Bww de donde existe 5 tal que X 5X ww \ 5\ aMM b Si 5 ! 5 @# de donde \ E/@B F/@B @ !
X X
\ ww \
as
Daro Snchez H.
71
Ahora As
?B X \ w X F/@B @ X E/@B @
! ?B a! >b @X a>baE F b entonces E F ! ?B a1 >b @X a>bEa/@1 /@1 b entonces E ! por lo tanto \ ! y ?aB >b ! Ahora si 5 ! 5 @# , @ ! entonces \ aBb Esin @B F cos @B, as ?B X \ w X a>b@aEcos @B F sin @Bb, ahora ! ?B a! >b @X a>bE de donde se tiene E ! ! ?B a1 >b F@X a>bsin @1 se cumple cuando @ ! y para @ ! si queremos que ? sea no nulo se debe tomar @ 8 , obtenindose as la familia # ?8 aB >b F8 /8 > cos 8B que satisface ?> ?BB y ?B a! >b ?B a1 >b. aMMM b Por el principio de superposicin de soluciones ?aB >b satisface la ecuacin y las condiciones iniciales, y de frontera. Pero
8!
?aB >b ! F8 /8 > cos 8B

_
#
los F8 deben ser los coeficientes de la expansin par de medio rango de B# ! B 1
B# ?aB !b ! F8 cos 8B
_ 8!
As F8
y para 8 " se tiene
$ " 1 " F! 1 '! B# .B 1 1 $
1# $ %a"b8 8#
As la temperatura es
" !45 W5 81 5
" ! w 45 G 5 81 5
" 8# 1 aa %1bcos 81b
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?aB >b

1# $
72
%! a"b
_ 8"
8 8# >
cos 8B
8#
3. Halle la solucin al siguiente problema ? %# ? ! B 1 > ! BB > ?a! >b ! ?a1 >b ! ?aB !b $ SOLUCIN: Por el mtodo de Fourier supongamos que aM b ?aB >b KaBbX a>b es la solucin de prueba, por lo tanto ww X ?BB Kww X , ?> KX y K %X K si deseamos soluciones no nulas, existe - 5 # tal que Kww 5 # K ! y X %5 # X ! aMM b Sabemos que ?a! >b Ka!b X a>b ! ?a1 >b Ka1b X a>b ! si deseamos soluciones no triviales entonces Ka!b ! y Ka1b ! y tenemos para K se tiene el siguiente problema de Sturm-Liouville Kww 5 # K ! y X %5 # X ! Ka!b ! Ka1b ! La solucin de prueba KaBb /!B conduce a que ! satisface a la ecuacin de indices !# 5 # ! ! 53 de donde obtenemos que ecos 5B sin5Bf es la base de soluciones, por lo tanto KaBb Ecos5B F sin5B pero Ka!b ! E y Ka1b ! F sin5 1 Como deseamos soluciones no triviales F " y sin5 1 ! de donde 5 1 81 5 8, ,KaBb sin 8B Ahora # X %5 # X ! X %8# X ! X E8 /%8 > Las funciones propias son en este caso # ?8 aB >b E8 /%8 > sin 8B aMMM b Por el principio de superposicin de soluciones Para la determinacin de los E8 tenemos _ ?aB !b $ ! E8 sin 8B de donde
8" # 1 ' E8 1 '! $sin 8B .B 1
?aB >b ! E8 /%8 > sin 8B

_
#
8"
Luego la solucin es
cos 8B 8
' 81 a"
a " b8 b
Daro Snchez H.

# " ' ?aB >b 1 ! "a8 b /%8 > sin 8B
73
8"
4. Hallar la solucin del problema siguiente C>> +# CBB , donde +# X 3 CaB !b ! C> aB !b Ca! >b sin A> SOLUCIN. Por la transformada de Laplace sea ] aB =b LaaC aB >bbb entonces # =# ] = ! ! LaC>> b La+# CBB b +# . ] .B# de donde se tiene la ecuacin diferencial ordinaria siguiente = = .#] =# +B F a=b/ + B .B# +# ] ! entonces ] aB =b Ea=b/ Pero CaB >b es acotado, esto implica que ] aB =b es acotado as F a=b ! ya = que / + B _ cuando B _ B A A Ea=b ] a! =b _aC a! >bb _asin A>b =# A# entonces ] aB =b =# A# / + = por lo tanto CaB >b sin A> B ? B a>b + + 5. Estudie las soluciones del siguiente problema ? ? ! ! C 1 B ! BB CC ?C aB !b ! ?C aB 1b ! ?a! Cb C ! C 1 ?B a! Cb ! SOLUCIN. Por el mtodo de Fourier, supongamos que ?aB C b KaBbL aC b es solucin de prueba si y slo si ! K L As existe - d tal que .#K .#L .B# -K ! .C# -L ! pero ?C aB !b ! KaBb .L a!b ! .C ?1 aB 1b ! KaBb .L a1b ! .C de aqu deseamos soluciones no triviales tenemos .L .L .C a!b ! .C a1b ! Tenemos para L el siguiente problema de Sturm-Liouville .#L .C# -L ! .L .L .C a!b ! .C a1b !
#
.#K .B# L
# K. L .C#
.#K .B#
.#L .C#
a3b Si - ! . L ! por integracin doble se obtiene L -" C -# . Como .C# .L .C -" se sigue que L! aC b " es solucin propia.
Daro Snchez H.

#
74
a33b Si - 5 # ! entonces la ecuacin . L 5 # L ! con L aC b /!C por .C# # # solucin de si y slo si ! 5 ! ! 5 as L aC b -" /5C -# /5C como .L -" 5/5C -# 5/5C se sigue que .C L w a!b ! -" -# " " /5 1 /5 1 !, w 51 5 1 como L a1 b ! - " / - # / se tiene que L aCb ! y ? !. # a333b Si - 5 # ! . L 5 # L ! cuya solucin es dada por .C# L aCb -" cos 5C -# sin 5C .L 5-" sin 5C 5-# cos 5C .C Ahora L w a!b ! -# 5 5 ! -# ! .L .C a1b ! 5-" sin 5 1 Si deseamos soluciones no nulas -" " ! y sin 5 1 ! 5 8 , as L8 aCb cos 8C ww # a3@b K 8 K ! con K /!B por solucin de prueba , obtenemos que ! # 8# ! ! 8 de donde e/8B /8B f es la solucin fundamental la cual es equivalente a ecosh 8B sinh 8Bf para obtener la solucin K8 aBb E8 cosh 8B F8 sinh 8B Las soluciones propias sern dadas por ?8 aB Cb E8 cosh 8B F8 sinh 8B a@b Por el principio de superposicin de soluciones tenemos Pero por GM tenemos ?aB Cb ! aE8 cosh 8B F8 sinh 8Bbcos 8C " E! #
_ 8"
de la teora de series de Fourier se sigue que 1 # 1 # # E! 1 '! C.C 1 C# 1 Ahora E8 '

_ # 1 1 ! C cos 8C .C !
?a! Cb C " E! ! E8 cos 8C #

_ 8" 1 # sin 8C 1 8 !
1 # cos 8C 1 8# !
8 # a"b " 1 8#
de aqu y la condicin GM tenemos

_ 8"
?B aB Cb ! a8E8 sinh 8B 8F8 cosh 8Bbcos 8C

8"
Luego la distribucin de temperatura del estado estable es _ 8 ?aB Cb 1 # ! a"b# " cosh 8B cos 8C
# 1 8" 8
?B a! Cb ! ! 8F8 cos 8C F8 !
Daro Snchez H.
75
6. Halle la solucin del siguiente problema ` #? # #& ` # ? _ B _ > ! `> `B# _B_ ?aB !b ! `?aB>b `> >! cos B PRIMERA SOLUCIN. Por el mtodo de Fourier, a3b ?aB >b \ aBb X a>b si y slo si \ ww 5 # \ ! X - # 5 # X ! -& Llegando a las funciones propias siguientes \ aBb Ecos5B F sin 5B X a>b G cos&5> Hsin&5> Pero ?aB !b \ aBb X a!b ! X a!b ! Si se desean soluciones no triviales, se toma H " y en ese caso X a>b sin&5>. Las soluciones propias sern entonces dadas por ?aB > 5 b aEcos5B F sin5Bbsin&5> a33b Por el principio de superposicin de soluciones, la solucin es _ ?aB >b '_ aEcos5B F sin5Bbsin&5> .5 Ahora `? '_ `> aB >b _ aEcos5B F sin5Bb&5 cos&5> .5 Luego _ ?> aB !b cosB '_ a&5Ecos5B &5F sin5Bb.5 De aqu " _ # _ &5E 1 '_ cosB cos5B.B 1 '! cosBcos5B.B " _ &5F 1 '_ cosBsin 5B .B ! as F !. SEGUNDA SOLUCIN. Aplicando transformada de Fourier se tiene Fa?aB >bb J aA >b Lo cual nos lleva a la siguiente ecuacin diferencial ordinaria .#J .#J # # .># #&A J .># #&A J ! Suponiendo que J /!> tenemos que la base de soluciones es {cos&A> sin&A>}. Luego J aA >b EaAbcos&A<> F aAbsin&A>. Ahora .J .> &AEaAbsin &A> &AF aAbcos&A> Pero Fa?aB !bb ! J aA !b EaAb y F `? aA !b .J &AF aAb `? .>
>! ` F ``>? #&F `B? #
# #
Daro Snchez H.

FacosBb
&A
76
si y slo si As de donde
FacosBb &AF aAb F aAb

cosB J aA >b Fa&A b sin&A>
?aB >b F " FacosBb sin&A> &A
F " aFacosBbbF " sin&A> &A " "! acosBbT"!> aBb
hallamos que el estado estable =aBb es dado por =ww E/,B =a!b ! =a"b ! integrando dos veces tenemos E E = ,# " /,B ,# " /, B a33b El problema del estado transitorio tenemos ZBB Z> ! B " > ! GJ Z a!>b ! Z a" >b ! E GM Z aB !b ,# " /, B hallemos la solucin: Z K X donde Kww -# K ! Kww X -# K X X -# K ! Tenemos el problema S-L siguiente Kww -# K ! Ka!b ! Ka"b ! Haciendo K /!B se obtiene K -" cos-B -# sin-B Ahora Ka!b -" ! Ka"b -# sin- ! Si -# " entonces sin- ! - 81 Por lo tanto K8 aBb sin 81 Para X , tenemos # # X a81b# X ! X E8 /8 1 > Las funciones propias sern # # Z8 aB >b E8 /8 1 > sin 81B
>_
7. Resolver el problema no homogneo siguiente ?BB ?> E/,B ! B " > ! GJ ?a! >b ! ?a" >b ! > ! E GM ?aB !b ,# " /,B !B" SOLUCIN: a3b Suponiendo ?aB >b =aBb Z aB >b donde lim Z aB >b !
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" Z aB >b ! E8 /8 1 > sin 81B

_
# #
77
a333b Por el p.s.p.s tenemos Ahora de donde E8 #'! Z aB !b

"E ,# " E ,# "
8"
/, B ! E8 sin 81B
_ 8" #E ,# "
En esta forma
#E ,# "
/, B sin 81B .B /, a"b 81

_
8
/, Bcos 81B 81
" !
" sin 81B # 1# 8 !
Luego el problema no homogneo tendra por solucin ?aB >b

E ,# "
Z aB >b ! /,B
8"
#E"/, a"b8" 8# 1# > sin81B ,# 81 / b # /, " 1 ! a"8 _ 8"
E ,# "
8"
/8 1 > sin 81B

# #
cuando sustituimos en la ecuacin a" Bbcos> ?> ?BB obtenemos _ w -a" Bbcos > ! cI8 a>b 8# 1# I8 a>bdsin 81B
8" "
8. Resolver el siguiente problema: ? ? a" Bbcos> ! B " > ! BB > GJ ?a! >b ! ?a" >b ! > ! GM ?aB !b ! ! B " SOLUCIN: Hallemos primero las races del problema de Sturm-Louville siguiente \ ww -\ ! \ a!b ! \ a"b ! de donde -8 8# 1# 98 aBb sin 81B 8 " # $ Buscamos ahora la solucin de la forma _ ?aB >b ! I8 a>bsin 81B
8"
Por consiguiente deducimos que notando que lsin81Bl# " 8 " # $ #

w I8 a>b 8# 1# I8 a>b #'! a" Bbcos > sin 81B .B
Solucionando esta EDO para I8 a>b tenemos > # # # # # I8 a>b G8 81 '! /8 1 7 cos7 . 7 /8 1 > G8 /8 1 >
# #
#cos >
" a"Bb 81 cos 81B!
" sin81B 8# 1 # !
# 81 cos >
> # # # /8 1 7 81 "8% 1% sin7 !
8# 1 # / 8 1 "8% 1%
# #>
cos 7 /8 1 >
>
# #
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" G8 /8 1 >

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

# #
8# 1 # 8# 1 # > cos> "8% 1% /
cos > sin >
8# 1 # 8# 1# > "8% 1% /
En ese caso la funcin =aBb satisface la EDO =ww ! =a!b "! =a"!b $! Por integracin sucesiva obtenemos que = -" B - # =a!b "! =a"!b $! As -# "! =a"!b $! "!-" -# -" # En esta forma el estado estable es dado por =aBb #B "! As para el estado transitorio se plantea en la forma @ +# @ ! B "! BB > GJ @a! >b ! @a"! >b ! GM @aB !b #B "! ! B "! Aqu vemos que @aB >b es la solucin de la conduccin del calor del tipo expuesto en 6, donde la distribucin del calor en los extremos es nulo, dando por _ # # # @aB >b ! G8 sin 81 B/+ 8 1 >"!!
>_ >_
9.Resolver el siguiente problema ? +# ? ! B "! > ! BB > GJ ?a! >b "! ?a"! >b $! > ! GM ?a !b ! ! B "! SOLUCIN: Conjeturamos que ?aB >b =aBb @aB >b es la solucin de prueba, bajo el supuesto de que lim ?aB >b =aBb y lim @aB >b !
donde las constantes G8 son dadas por _ @aB !b #B "! ! G8 sin 81 B de donde
"! G8 " '! a #B "!bsin 81 B .B & "! 8" "!
8"
"!
"! "! # '! Bsin 81 B .B #'! sin 81 B .B 8 " # & "! "!
Daro Snchez H.
Elementos en "ECUACIONES DIFERENCIALES PARCIALES" # &

"! "! 81 81 cos "! B! "! "!! 81 8# 1# sin "! B! "! #! 81 81 cos "! B!
79
"' 81 ca "b8 "d Combinando resultados, nuestra solucin llega a ser _ # # # ?aB >b =aBb @aB >b "! #B ! "' ca "b8 "dsin 81 B/+ 8 1 >"!! 8" 81 "!
aM b Supongamos que ?a< >b L ab es la solucin de prueba, de donde se recibe L ww " L w < L ww K " L w K - # L K -K 5 # #K < L de aqu L ww " L w 5 # L ! < # K - K ! # # a33b Haciendo = 5< " 5 , ahora .L .L .= 5 .L y . L 5 # . L < = .< .= .< .= .<# .=# As, .#L # 5 # .L # .=# 5 = .= 5 L ! de donde la ecuacin .#L " .L .=# = .= L ! Esta ltima ecuacin es la ecuacin de Bessel cuya solucin ya la hemos estudiado en 7 y es dada por L a=b N! a=b, pero L a"b ! N! a5 ,7 sin-7 > a3@b Las funciones propias del problema estarn dadas por ?7 a< >b a+7 cos-7 > ,7 sin-7 >bN! a!7 b ! a+7 cos-7 > ,7 sin-7 >bN! a!7 > ! < " > ! < GJ ?a" >b ! > ! " GM ?a< "b " ! < # ?> a< !b ! ! < " ! " < " #
Por la condicin inicial GM se tiene que ?a< !b ! +7 N! a!7 <b donde +7

_
7"
+7
B !7 <
7" " # '" <?a< !bN! a!7 <b.< N # a# 7 b '!# <N! a!7 <b.< # ## N" ! ! " !7 !7 # '! # B N! aBb .B # # ' # BN! aBb.B # # !7 !7 N" a!7 b !7 N" a!7 b !
?a<!bN! a!7 b !
_
7"
7 N" !# # a! b N! a!7 < b !7 N" 7
11. Analice la solucin del siguiente problema ?<< " ?< "# ?)) ! ! < 3 1 ) 1 < < lim ?a< ) b finito 1 ) 1 GJ <! ?a< 1b ?a< 1b ?) a< 1b ?) a< 1b GM ?a3 ) b 0 a)b 1) 1 SOLUCIN:a3b Supongamos que ?a< ) b V a<bL a) b es la solucin de prueba as V ww L " V w L <"# VL ! L V ww " V w <"# VL < < # ww L -L ! <V w < VV L - # ww L < V <V w -V ! a33b Ahora tomando GJ tenemos ?a< 1b V a<bL a 1b V a<bL a1b ?a< 1b L a 1b L a1b ?) a< 1b V a<bL a 1b V a<bL a1b ?) a< 1b L a 1b L a1b As tenemos el problema S-L siguiente: L -L ! L a 1 b L a 1 b L a 1 b L a 1 b Tomando - 8# obtenemos L 8# L ! L a 1 b L a 1 b L a 1 b L a 1 b Cuya solucin ya es conocida y es dada por " + L8 a) b # ! +8 cos8) ,8 sin 8) 8 " # $ a33b,3= Ahora <# V ww <V w -V !, esta es una ecuacin de Euler-Cauchy cuya solucin de prueba es V <! V w !<!" V ww !a! "b<!" para tener <# !a! "b<!# <!<!" 8# <! ! <! !# ! ! 8# ! ! # 8# ! ! 8 as - - log< 8 ! V 8 a<b " 8 # -8 -$ < -% < 8 " # $ Dado que lim V a<b es finito entonces -# -% !
<!
Daro Snchez H.
81
Tomando -" " y -$ 3"8 la cual es una eleccin convencional. a333b Por el p.s.p.s tenemos Por la GM tenemos
< ?a< ) b " +! ! 3 a+8 cos 8) ,8 sin 8)b # _ 8 8" _
de donde " 1 +! 1 '1 0 aBb.B,
?a3 ) b 0 a)b " +! ! a+8 cos 8) ,8 sin 8)b #

" 1 +8 1 '1 0 a)bcos 8) . ) 8" " 1 ,8 1 '1 0 a)bsin 8) . )
GJ lim ?a< 9b ! B_ GM ?a" 9bcos 9 SOLUCIN: a3b Supongamos que ?a< 9b Ka<bL a9b es la solucin de prueba `? .K `? .L `< .< L ` 9 K .9 sustituyendo obtenemos . " L .< <# `K sin9 K ..9 sin9 .L ! `< .9
. L .< <# .K .<
12. Resolver el siguiente problema ` # `? < " ` sin9 `? ! `< `< `9 sin9 ` 9
5K ! " . .L sin9 .9 sin9 .9 5L ! a33b La ecuacin . # .K # ww w .< < . 9 5K ! < K #<K 5K !
. # .< .< < .<
. # .K .< < . 9
" . .L L sin9 . 9 sin9 . 9
" . .L sin9 K . 9 sin9 . 9
Una ecuacin interesante se obtiene cuando se escoge el valor 5 8a8 "b en ese caso la ecuacin <# Kww #<Kw 8a8 "bK ! tiene por ecuacin de ndices !# #! 8a8 "b ! ! 8 ! 8 Obteniendo las dos soluciones " K8 a<b <8 K8 a<b <8" " a333b La ecuacin sin9 ..9 sin9 .L 8a8 "b ! se resuelve haciendo .K A cos9, ahora como sin# 9 " cos# 9 y con la regla de la cadena . . .A . " . # .L . 9 .A . 9 sin9 . 9 sin99 a sin9 b .A sin 9 .A 8a8 "b ! . .A a" A# b .L 8a8 "bL ! .A # L a" A# b ..A #A .L 8a8 "bL ! .A La cual es una ecuacin de Legendre y la solucin es
Daro Snchez H.
82
L T8 aAb T8 acos9b En esa forma tenemos la soluciones ?M <8 T8 acos9b ?I a< 9b 8 8 a3@b Por el p.s.p.s tenemos Ahora por GM tenemos ?M a< 9b ! E8 <8 T8 acos9b
_ 8! _
T8 acos9b <8" _
acos9 ?I a< 9b ! F8 T<88" b 8!
?M a" 9b cos9 ! E8 T8 acos9b ?I a" 9b cos9 ! F8T8 acos9b

8! _ 8!
Esto se tiene si y slo si " 1 E8 F8 #8" '" 0 aAbT8 aAb.A #8" '! cos9T8 acos9bsin9. 9 8 ! " # # # 1 E! " '! cos9T! acos9bsin9 . 9 # 1 1 " '! cos9sin9. 9 " cos# 9 " acos# 1 "b !
$' " # $ # ! cos 9 sin9 . 9 # a cos 9 b! T" acos9b cos9 " $ # a cos 1 "b " 1 &' 1 E# # ! cos9T# acos9bsin9 . 9 & '! " a$cos# 9 "bsin9 . 9 # # 1 1 # 1 1 & '! $cos$ 9sin9 . 9 '! cos9 sin9 . 9 & $ cos% 9 cos 9 % % % # # % ! %
E"
$' 1 # ! cos9 T" acos9 bsin9 . 9
& %
$ % % cos 1
$ %
cos# 1" #
las siguientes hiptesis:
13. La membrana vibrante. Ecuacin Bidimensional de Onda sometida a
a3b La masa de la menbrana por unidad de rea es constante (membrana homognea). La membrana es perfectamente flexible y es lo suficientemente delgada como para que no ofrezca resistencia alguna a la flexin.
Daro Snchez H.
83
a33b La membrana se tensa y a continuacin se fija a lo largo de toda su frontera en el plano BC. La tensin por unidad de longitud X provocada al tensar la membrana es la misma en todas las direcciones y no cambia durante el movimiento. a$b La deformacin ?aB C >b de la membrana durante el movimiento es pequea comparada con el tamao de la membrana y todos los ngulos de inclinacin son pequeos
Las componentes verticales de las fuerzas a lo largo de las aristas paralelas al plano C? son X ?Csin" X ?C sin ! aqu aparece el signo menos (-), porque la fuerza sobre el borde de la izquierda est dirigido hacia abajo. Supuesto que los ngulos son pequeos, pueden reemplazarse sus senos por sus tangentes. De aqu que la fuerza resultante de esas dos componentes verticales es X ?Casin" sin !b X ?C atan" tan!b X ?C c?B aB ?B C" b ?B aB C# bd donde C" y C# son valores entre C y C ?C . De modo semejante, la resultante de las componentes verticales, de las fuerzas que actuan sobre los otros bordes de la porcin, es
Daro Snchez H.
84
X ?Bc?C aB" C ?C b ?C aB# C bd donde B" y B# son valores entre B y B ?B. Por la segunda ley de Newton, la suma de las fuerzas es igual a la masa # 3?E de la porcin multiplicada por la aceleracin ` ? , aqu 3 es la `># densidad y ?E ?B?C es el rea de la porcin, as # 3?B?C ` ? X ?C c?B aB ?B C" b ?B aB C# bd X ?Bc?C aB" C ?C b ?C aB# C bd `># Dividiendo por ?B?C tenemos ? aB C?Cb? aB Cb ` #? X ?B aB?BC" b?B aBC# b C " ?C C # `># 3 ?B Cuando ?B ! ?C ! entonces los puntos aB ?B C" b aB C# b aB" C ?C b y aB# C b todos tienden a un nico punto aB C b y ? aB C?Cb? aB Cb ?B aB?BC" b?B aBC# b ?BB aB Cb , y , C " ?C C # ?CC aB C b ?B Por lo tanto la ecuacin bidimensional de onda ser dada por: ` #? X ` #? ` #? `># 3 `B# `C# 14. Halle la solucin del problema de la membrana rectangular
# ` #? `# `># - # `B? ` ? # `C# GJ ? ! sobre la frontera de la membrana rectngular ?aB C !b 0 aB C b el desplazamiento inicial GM `? 1aB C b la velocidad inicial `> >!
?aB C >b J aB C bKa>b es la solucin de prueba as; J K - # aJBB K JCC Kb separando las variables tenemos K " aJBB JCC b @# # - K # J K - K ! - -@ de donde # JBB JCC @ J ! Ahora suponiendo J aB Cb L aBbUaCb en esta forma # # JBB . L U JCC L . U .B# .C# en esta forma .#U .#L # .B# U L .C# @ LU !
.#L .B# U
SOLUCIN.
Paso uno: El mtodo de Fourier es ahora acondicionado de manera que
L . U @# LU .C#
.#L .B# U
@# LU L . U .C#
Daro Snchez H.

# L. U .C
#
85

.#L .B#
.#L U@ # LU .B#
:# # Paso dos: Para la ecuacin . L :# U ! se deduce de la condicin de .B# frontera que L a!b ! L a+b ! y la solucin es como se sabe dada por L aBb -" cos :B -# sin :B as L a!b -" ! L a+b ! -# sin :+ tomando -# " entonces :+ 81 por lo tanto : 71+ # Ahora para . U 5 # U ! de GJ se deduce que Ua!b ! Ua,b ! y la .C# solucin ser UaCb -$ cos 5C -% sin 5C , as Ua!b ! -$ Ua,b ! -% sin5, en esta forma 5, 81 de donde 5 81 -% " , Resumiendo tenemos 7 " # L7 aBb sin 71 B U8 aCb sin 71 C , + , 8 " # En esta forma 7 " # J78 aB Cb L7 aBbU8 aC b sin 71 B sin 8,1 C + 8 " # Ahora bien : # @# 5 # por lo tanto se tiene 7# : # 7# 1 # 8# 1 8# 1 # # +# @ , # @ +# , # de donde # # @ 1 7# 8# + , y as se tiene que - -@ - 1 7# +
#
L ! a@ # 5 # b
LU
LU
5
# .# U .C#
.#L .B#
@# L 5 # L
.#U .C#
5#U
5#U !
En esta forma la ecuacin # K -78 K ! tiene por solucin a K F87 cos-78 > F78 sin-78 > Se concluye que las funciones propias tomarn la forma
8# ,#
-78
7 " # 8 " # Paso tres: Para obtener la solucin, por el principio de superposicin de soluciones se tiene _ _ ?aB C >b ! ! ?78 aB C >b
7"8"
?78 aB C >b aF87 cos-78 > F78 sin-78 >bsin 71 B sin 8,1 C +
Daro Snchez H.

_ _ ! ! aF87 cos-78 > F78 sin-78 >bsin 71 B sin 8,1 C + 7"8"
86
Esta serie se conoce como serie doble de Fourier. Supongamos que 0 aB C b puede desarrollarse en una tal serie, entonces los coeficientes F78 de Fourier de 0 aB C b pueden determinarse de la siguiente manera. Haciendo
7"8"
De las condiciones iniciales se sigue que _ _ ?aB C !b ! ! F78 sin 71 B sin 8,1 C 0 aB C b +
En esta forma
O7 aCb ! F78 sin 8,1 C

_ 8" _
aM b
Manteniendo C fijo se tiene que # + O7 aCb + '! 0 aB C bsin 71 B .B + pero de aM b se recibe que , F78 # '! O7 aCbsin 8,1 C.C , y finalmente de aMM b se llega a que % + , F78 +, '! '! 0 aB C bsin 71 B sin 8,1 C .B.C + Ahora hallamos `? , o sea calculamos `> _ _ ` ! ! aF87 cos-78 > F78 sin-78 >bsin 71 B sin 81 C `> + , 7"8" _ _ ! ! -78 a F78 sin-78 > F78 cos-78 >bsin 71 B sin 8,1 C + Ahora
7"8" `? `> >! _ _ ! ! -78 F78 sin 71 B sin 8,1 C 1aB C b + 7"8"
0 aB C b ! O7 aC bsin 8+1 B
7"
aMM b
Como lo dijimos atrs si 1aB Cb es desarrollable en serie doble de Fourier, se procede as: hacemos _ P7 aCb ! -78 F78 sin 81 C entonces manteniendo B fijo se sigue que , -8 F78 # '! P78 aC bsin 81 C.C en esta forma
, , 7" ,
as para C fijo se tiene que # + P7 aCb + '! 1aB C bsin 71 B .B + Por lo tanto + , % F78 +,-78 '! '! 1aB C bsin 71 B sin 8,1 C .B.C + 15. Halle la solucin del siguiente problema
1aB Cb ! P7 aC bsin 71 B +
_ 8"
Daro Snchez H.
`? `>

#
87
` `B? sin $B /> , !B1 # ?a! >b ! ?a1 >b " ?aB !b 0 aBb SOLUCIN. Se hace primero una transformacin en la frontera, introduciendo un desplazamiento de equilibrio, haciendo @aB >b ?aB >b B1 En este caso la funcin @aB >b es la solucin del problema siguente `@ ` #@ > `> `B# sin $B / @a! >b ! @ a 1 >b ! @aB !b 0 aBb B1 Las funciones propias de este problema se calculan en la forma clsica y estn dadas por {sin1BBP sin 8B puesto que P 1, as por el mtodo de expansin de funciones propias dado en 6.9 se sigue que _ @aB >b ! I8 a>bsin 8B
Por sustitucin
8"
Por el mtodo de los coeficientes indeterminados se sigue que ! para 8 $ .I8 # .> 8 I8 = /> para 8 $ La solucin de esta ecuacin diferencial lineal ordinaria es fcil de hallar y es dada por # I a!b/8 > para 8 $ I8 a>b 8> )/ I$ a!b )/*> para 8 $ donde I 8 a !b
# 1 ' 1 ! 0 aBb B 1 sin 8B .B
8"
! .I8 8# I8 sin 8B sin $B /> .>

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

Ecuaciones Diferenciales Parciales

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Ecuaciones Diferenciales Parciales

Загружено:

Авторское право:

Доступные форматы

Elementos en ECUACIONES DIFERENCIALES PARCIALES

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Q `9 R `B donde 9 es una funcin arbitraria .

Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?C @ B .

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Daro Snchez H. TEOREMA

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

parcial casi-lineal de primer orden

.B! .= , aB! C! a=b ?! a=bb

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

DD! :aBB! b; aB! C! D! :bCC!

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

.C .: .B .> :B .> :C .> .C .; .B .> ;B .> ;C .>

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

2.2. (PROBLEMA DE CAUCHY). Consideremos la ecuacin diferencial J aB C D : ; b ! a#*b

J aB! a=bC! a=bD! a=b:! a=b;! a=bb! .D! .B! .C! .= :! .= ;! .=

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Hallar las curvas integrales de las ecuaciones .C .B .D CaBCb+D BaBCb+D D aBC b

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

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

sea integrable es que \ <9>\ !.

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

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

0 aB C D : ; b ! y 1aB C D : ; b ! sean compatibles es que 0 1 ! donde b b b 0 1 ` a0 1b : ` a0 1b ` a0 1b ; ` a0 1b ` aB:b ` aD: ` aC; ` aC;

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Hallar la integral de la ecuacin

Las ecuaciones auxiliares son .C .B .D #:B #;C #a:# B; # Cb

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

3.4. MTODO DE JACOBI.

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Se procede entonces como en el mtodo de Charpit.

" # ?# ," de donde sale que "

Elementos en "ECUACIONES DIFERENCIALES PARCIALES" ?" +, #

+B# #?# " #?# B# "

, integrando ordenadamente obtenemos: #+ a+B# ,b # + C # + D - ?. , ,

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

constante arbitraria para todo < " # 8, es tambin solucin.

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

factores lineales ocurren no es importante (conmutatividad)

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

a!< H "< Hw #< b?< ! Ahora por el teorema 4.3

#< B w !< 9 a"< B

#< B w !< 9 a"< B

!< C b a'b a(b

J aH Hw b?< # a!= H "= Hw #= ba!< H "< Hw #< b?<

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"

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

8 #< B ! =" B 9<= a"< B !< ="

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

Elementos en "ECUACIONES DIFERENCIALES PARCIALES"