CAPTULO I

ECUACIONES DIFERENCIALES DE LA FSICA MATEMTICA

1. Introduccin
Las ecuaciones de la fsica matemtica, son la representacin de fenmenos
fsicos en los que existen cambios puntuales en el tiempo o en el espacio. Siendo de
gran inters encontrar el modelo matemtico que describa estos cambios. En la mayora
de las ciencias fsicas y en ingeniera, el modelado matemtico conduce a ecuaciones
diferenciales (ordinarias o parciales su!etas a condiciones iniciales y de frontera.
En la ingeniera qumica la conexin natural entre las disciplinas fundamentales
de esta gran rea de conocimiento y las ecuaciones de la fsica matemtica se describen
en la "igura #.
Figura 1. $elacin interdisciplinaria en ingeniera qumica
#
%peraciones
&nitarias
"enmenos de
transporte
'intica
y
catlisis
(ransferencia
de
'alor
)ecnica
de
"luidos
$eologa
Pro!"#a$ d" !a
F%$ica Mat"#&tica
*nlisis y
+ise,o de
$eactores
'iencia
e -ngeniera de
los )ateriales
'. Mod"!ado d" Si$t"#a$ F%$ico$
La ciencia e ingeniera del modelado, consiste en la con.ersin de la imagen de
un problema fsico a un lengua!e simblico, generalmente matemtico. La
concatenacin de informacin fsico/qumica, leyes de conser.acin, leyes de transporte
o expresiones cinticas, en balances de masa, energa o momentum, alrededor de un
.olumen de control diferencial, lle.a in.ariablemente a la obtencin de ecuaciones
diferenciales. 0stas son el resultado de un proceso en el cual se 1an eliminado las
.ariables que se cree superficiales, de poco .alor para el resultado esperado y se toman
en cuenta solo las .ariables de impacto. Se obtienen ecuaciones diferenciales ordinarias,
si se tienen slo dos .ariables, una independiente y otra dependiente, pero, si se
consideran ms de dos .ariables se generan ecuaciones diferenciales parciales.
2eneralmente los balances son con base en lo siguiente3
Acumulacin = entrada salida + generacin
Entre ms simple es un modelo matemtico, es ms fcil la obtencin de su solucin y
su aplicacin, pero disminuye la precisin de la prediccin del modelo. 'uando no es
posible la solucin analtica de un problema, se pueden utili4ar mtodos numricos para
su solucin, esto puede sumar errores a las predicciones obtenidas.
'.1 A!guna$ !"("$ )u" int"r*i"n"n "n "! #od"!ado #at"#&tico
Experimentalmente se 1a demostrado que el transporte de ciertas cantidades
fsicas se norma por una ley general de transporte, que enuncia lo siguiente3 el flujo de
una cantidad fsica transportada (masa, calor, fluido o electricidad, en una unidad de
tiempo, a travs de una unidad de superficie perpendicular al flujo, es proporcional al
gradiente de una propiedad fsica (masa, temperatura, presin o potencial elctrico

K J
,
(#.#
en donde

J
es el flu!o por unidad de rea (flux, K es una constante de
proporcionalidad, y

es el gradiente de la propiedad

, el cual en coordenadas
cartesianas se define como
z

!
j
x
i

. (#.5
E!emplos particulares de la ley de transporte son3
"lu!o de calor3
" J
"

(Ley de "ourier, (#.6

5
'orriente elctrica3
# J
$

(Ley de %1m, (#.7

"lu!o de fluidos3
% c J

(Ley de 8oiseuille, (#.9

+ifusin3
& ' J

(Ley de "ic:. (#.;

%tras leyes frecuentes en los balances son3
Esfuer4o cortante3
!
! v

(Ley de <e=ton,
(#.>
Segunda ley de <e=ton3
dt
ds
m a m (
. (#.?
En las anteriores leyes3 " es la temperatura, # es el potencial elctrico, % es la presin,
& es la concentracin, v
!
es la .elocidad en direccin !, s es la posicin,
"

es la
conducti.idad trmica,
$

la conducti.idad elctrica, c es el coeficiente de friccin, '

es el coeficiente de difusin y es la .iscosidad.
* continuacin se desarrollan algunos importantes modelos de la fsica
matemtica, con ob!eto de familiari4ar a los lectores con el proceso de modelado.
'.' La cu"rda *irant" +Ecuacin d" onda,
'onsiderar una cuerda delgada sometida a una tensin ", que se encuentra
.ibrando en el plano x! y cuya posicin de equilibrio est en alg@n inter.alo del e!e x.
'ada punto tiene un despla4amiento !(x,t cuya magnitud es relati.amente peque,a
comparada con la longitud de la cuerda. La tensin " tiene un componente .ertical
#(x,t y uno 1ori4ontal ), el cual se considera constante, condicin se.era que se
cumple, por e!emplo, en las cuerdas de los instrumentos musicales. * pesar de esta
simplificacin el modelo obtenido es adecuado para una gran .ariedad de problemas,
pensando siempre que la solucin es una aproximacin.
6
"
*x,!+
x x + x x
!
,)
#(x,t
)

* partir del c-lculo diferencial en el punto (x,! se tiene que

( )
x
t x !
)
t x #
tan

, , (

,
*s que
( )
( )
x
t x !
) t x #

,
,
,
y de forma similar en (x + x,! se tiene
( )
( )
x
t x x !
) t x x #

+
+
,
,
.
&tili4ando la segunda ley de <e=ton, en un balance de fuer4as sobre una seccin de la
cuerda se obtiene
( ) ( ) ( )
x
t x x !
)
x
t x !
)
t
t x !
x

+
+

, , ,
5
5

,
en donde es la masa de la cuerda por unidad de longitud.
$eacomodando la anterior ecuacin y tomando el lmite en ambos lados se llega a
( )
( ) ( )
x
x
t x !
x
t x x !
)
t
t x !
x x

, ,
lim
,
lim
A
5
5
A

en donde ) y . se consideran constantes.
En el lado derec1o de la ecuacin anterior, el lmite implica la definicin de deri.ada,
por lo tanto, se tiene una deri.ada de una deri.ada, o sea una segunda deri.ada, con lo
cual se obtiene la ecuacin de onda unidimensional

( ) ( )
5
5
5
5
5
, ,
x
t x !
a
t
t x !

,
(#.B
aqu, a
5
C ) D tiene unidades de .elocidad.
'uando una fuer4a externa ( paralela y con sentido del e!e !, act@a sobre la
cuerda se tiene

( ) ( )

(
x
t x !
a
t
t x !
+

5
5
5
5
5
, ,
, (#.#A
en particular si ( D es la aceleracin de la gra.edad, / g, se tiene

( ) ( )
g
x
t x !
a
t
t x !

5
5
5
5
5
, ,
. (#.##
Si se tiene una membrana .ibrante rectangular con despla4amiento en direccin
z, se tiene la siguiente ecuacin de onda
7

( ) ( ) ( )
1
]
1

5
5
5
5
5
5
5
, , , , , ,
!
t ! x z
x
t ! x z
a
t
t ! x z
. (#.#5
En el caso de una columna .ibrante se tiene una ecuacin idntica a la ecuacin
(#.#5 con a
5
C $ D , donde $ es el modulo de Eoung y es la masa de la columna por
unidad de .olumen.
En general, la ecuacin de onda en tres dimensiones es
1
]
1

5
5
5
5
5
5
5
5
5
z ! x
a
t
, (#.#6
o en forma compacta

5 5
5
5
a
t
, (#.#7
en donde el operador laplaciano,
5
, se define como
5
5
5
5
5
5
5
z ! x

, (#.#9
mientras que F es llamada funcin de onda.
'.- Ecuacin d" conduccin d" ca!or
'onsiderar un .olumen de control / con una superficie 0 en donde el cambio
instantneo en el contenido de calor est dado por

/ /
d#
t
"
c "d# c
t t
1

, (#.#;
en donde d# es un diferencial de .olumen, c es la capacidad calorfica por unidad de
masa y es la densidad.
El calor entra a / por conduccin a tra.s de la superficie 0. Si n es la normal a
la superficie, positi.a en direccin 1acia fuera, y si dA denota un elemento del rea de 0,
luego, la conduccin de calor 1acia el interior de la esfera es

0
+ n *
0
dA J dA
dn
d"

t
1
. (#.#>
Efectuando un balance de calor en el .olumen de control se obtiene
( )
dA J d#
t
"
c
0
n
/

,
(#.#?
utili4ando el teorema de di.ergencia de 2auss para con.ertir la integral de superficie en
integral de .olumen y con la ley de "ourier, la anterior ecuacin es
9

/ / /
"d# d# J d#
t
"
c
,
en donde se supuso constante. "actori4ando se tiene
A
5

1
]
1

/
d# "
t
"
c
,
al integrar para alg@n .olumen se obtiene la ecuacin de calor
" a
t
"
5 5

,
(#.#B
en donde a
5
C D c es llamada difusividad trmica.
Si dentro del .olumen de control se genera calor, 1(x,!,z,t, la ecuacin (#.#B se
transforma en
( )
c
t z ! x 1
" a
t
" , , ,
5 5
+

,
(#.5A
y si existe intercambio de calor con los alrededores, se debe introducir la ley de
enfriamiento de <e=ton en la ecuacin (#.#B
( )
a
" " ) " a
t
"
+

5 5
, (#.5#
en este caso "
a
es la temperatura promedio de los alrededores, mientras que ) C 2 D c
y 2 es la constante de enfriamiento.
'.. Ecuacin d" di/u$in
El transporte de masa por difusin es similar al transporte de calor (ecuacin
general de transporte y es gobernado por la ecuacin de difusin
& '
t
&
5

. (#.55
En el caso de que se efect@e una reaccin qumica dentro del sistema, se puede
deducir la expresin
( ) & r & '
t
&
+

5
,
(#.56
donde r(& es la .elocidad de reaccin, la cual es funcin de la concentracin.
;
-. Ecuacion"$ d" !a F%$ica Mat"#&tica d" S"gundo Ord"n
%tras Ecuaciones +iferenciales 8arciales de segundo orden frecuentes en los problemas
de la fsica matemtica, son las siguientes3
#. Ecuacin de Laplace, . A
5

(#.57
Esta ecuacin, bastante com@n y muy importante, es un caso particular de procesos
en estado estacionario. Su solucin se conoce como funcin armnica.
2eneralmente se manifiesta en los estudios de3
a. fenmenos electromagnticos, incluyendo los electrostticos, los dielctricos,
magnticos y de corrientes uniformesG
b. 1idrodinmica (flu!o irrotacional de un fluido perfecto y las ondas superficialesG
c. flu!o de calor y
d. gra.itacin.
5. Ecuacin de Poisson,

5
. (#.59
Esta ecuacin surge en procesos en estado estacionario.
6. Las ecuaciones de onda (Helmholtz) y de difusin independientes del tiempo,
t
5 5
: . (#.5;
Estas ecuaciones aparecen en fenmenos di.ersos tales como3
a. ondas elsticas en slidos incluyendo cuerdas .ibrantes, barras, membranasG
b. sonido o ac@sticaG
c. ondas electromagnticas y
d. reactores nucleares.
7. La ecuacin de difusin dependiente del tiempo,

t a
#
5
5

. (#.5>
9. La ecuacin de onda dependiente del tiempo,
A
5
. (#.5?
>
;. La ecuacin del potencial escalar,

A
5

. (#.5B
En donde el operador
5
es llamado dH*lembertiano, el cual es un anlogo de cuatro
dimensiones del Laplaciano en el espacio de )in:o=s:i,

5 5
5
5 5
t ic (

+
.
7. La Ecuacin de Klein-ordon,

5 5
(#.6A
y las ecuaciones .ectoriales correspondientes, en las cuales la funcin escalar se
sustituye por una funcin .ectorial.
!. Las ecuaciones de onda de "chr#din$er,

t
i I
m 5
5
5

(#.6#
y para el caso independiente del tiempo
+ E I
m 5
5
5

,
(#.65
%. Las ecuaciones para las ondas el&sticas y para los fluidos 'iscosos y la ecuacin de
tele$raf(a,

t

+


5 5 5
. (#.66
)*. Las ecuaciones diferenciales acopladas de +a,-ell para los campos el.ctrico y
ma$n.tico y las correspondientes a /irac para las funciones de onda electrnica
relati'istas.
?
.. C!a$i/icacin d" !a$ Ecuacion"$ Di/"r"ncia!"$ Parcia!"$
..1 Ecuacion"$ di/"r"ncia!"$ con do$ *aria!"$ ind"0"ndi"nt"$
Se llama ecuacin diferencial en derivadas parciales de segundo orden con dos
.ariables independientes x y ! a una relacin entre la funcin incgnita u(x,! y sus
deri.adas parciales 1asta de segundo orden inclusi.e3
((x, !, u, u
x
, u
!
, u
xx
, u
x!
,u
!!
C A3 (#.67
La ecuacin se llama lineal con respecto a las derivadas de segundo orden, si sta tiene
la forma
( ) A 5
# 55 #5 ##
+ + +
! x !! x! xx
u , u , u , ! , x ( u a u a u a
, (#.69
donde a##, a#5, a55, son funciones de x y !3 Si los coeficientes a
##
, a
#5
, y a
55
no slo
dependen de x y !, sino que son, al igual que (
#
, funciones de x, !, u, u
x
, u
!
, entonces la
ecuacin se denomina cuasilineal.
La ecuacin se llama lineal si esta tiene la forma
a##u
xx
J 5a#5u
x!
J a55u
!!
J 4#u
x
J 45u
!
J cu J f C A, (#.6;
si y solo si a##, a#5, a55, 4#, 45, c y f son slo funciones de x y !. Si los coeficientes no
dependen de x y !, se tiene una ecuacin lineal de coeficientes constantes. La
ecuacin se llama 2omognea, si f(x,! C A.
)ediante la transformacin de las .ariables
C (x,! y C (x,!, (#.6>
que admiten transformacin in.ersa, se pueden obtener ecuaciones diferenciales de
forma ms simple, llamadas formas cannicas. Luego, para la ecuacin (#.67 se
pueden obtener las deri.adas3
u
x
C u

x
J u

x
,
u
!
C u

!
J u

!
,
u
xx
C u

x
5
J 5u

x
J u

x
5
+ u

xx
J u

xx
, (#.6?
u
x!
C u

x

!
J 5u

(
x

!
J
!

x
J u

!
J u

x!
J u

x!
,
u
!!
C u

!
5
J 5u

!
J u

!
5
J u

!!
J u

!!
.
Sustituyendo los .alores de las deri.adas dados por (#.6? en la ecuacin (#.67, se
tiene3
a##u

J 5a#5u

J a55 u

J ((,, u, u

, u

C A, (#.6B
en donde
B
a## C a##
x
5
J 5a#5
x

y
J a55
y
5
,
a#5 C a##
x

x
J a#5 (
x

!
J
y

x
J a55
y

!
,
a55 C a##
!
5
J 5 a#5
x

y
J a55
!
5
y la funcin ( no depende de las deri.adas segundas. %bsr.ese que si la ecuacin
inicial es lineal, o sea, si
((x, !, u, u
x
, u
!
C 4
#
u
x
J 4
5
u
!
J cu J f,
entonces ( tiene la forma
((, , u, u

, u

C # u

J
5
u

J u J ,

es decir la ecuacin permanece lineal.
Escogiendo .ariables y de modo que el coeficiente a## sea cero, se puede
considerar la ecuacin en deri.adas parciales de primer orden
A 5
5
55 #5
5
##
+ +
! ! x x
z a z z a z a
. (#.7A
Sea z C (x, ! alguna solucin particular de dic1a ecuacin. Si se 1ace C (x, !, el
coeficiente a
##
, e.identemente, ser igual a cero. +e este modo el problema citado ms
arriba est ligado a la ecuacin (#.7A.
5emas
#. Si z C (x, ! es una solucin particular de la ecuacin
A 5
5
55 #5
5
##
+ +
! ! x x
z a z z a z a
,
la relacin (x, ! C & es una integral de la ecuacin diferencial ordinaria
A 5
5
55 #5
5
##
+ dx a dxd! a d! a . (#.7#
5. Si (x, ! C & es una integral general de la ecuacin diferencial ordinaria
A 5
5
55 #5
5
##
+ dx a dxd! a d! a ,
la funcin z C (x, ! satisface la ecuacin (#.7A.
La ecuacin (#.7# se llama ecuacin caracterstica para la ecuacin (#.69, y sus
integrales, caractersticas. La ecuacin (#.7# se puede di.idir en dos ecuaciones3
##
55 ##
5
#5 #5
a
a a a a
dx
d!
+
, (#.75
##
55 ##
5
#5 #5
a
a a a a
dx
d!

, (#.76
#A
el signo de la expresin subradical determina el tipo de la ecuacin
A 5
55 #5 ##
+ + + ( u a u a u a
!! x! xx . (#.77
* esta ecuacin se le llamar3
2iper4lica, si en el punto ) A
55 ##
5
#5
> a a a ,
elptica, si en el punto ) A
55 ##
5
#5
< a a a ,
para4lica, si en el punto ) A
55 ##
5
#5
a a a .
1. Coord"nada$ Cur*i!%n"a$ Ortogona!"$
El primer paso en la obtencin de la solucin numrica o analtica de un
problema de la fsica matemtica, es expresar la ecuacin diferencial en coordenadas
cuyas superficies coordenadas coincidan con las fronteras del problema. +el anlisis
.ectorial se sabe que el laplaciano en coordenadas curvilineas ortogonales (u
#
, u
5
, u
6

esta dado como
1
]
1

,
_

,
_

,
_

6 6
5 #
6 5 5
6 #
5 # #
6 5
# 6 5 #
5
#
u 2
2 2
u u 2
2 2
u u 2
2 2
u 2 2 2
, (#.79
en donde los
6 , 5 , # ,

i
u
/
2
i
i (#.7;
son llamados factores de escala y

/
es el vector posicin.
1.1 Coord"nada$ ci!%ndrica$
Las frmulas de con.ersin de coordenadas cartesianas a
coordenadas cilndricas son3
z z , sen r ! , cos r x
por lo que el .ector posicin,
z ! j x i /

+ +
puede ser
expresado como
z sen r j cos r i /

+ +
a partir de la ecuacin (#.7; y la anterior se calculan los factores de escala para
coordenadas cilndricas,
# cos
5 5
+

sen
r
/
2
r ,
r r sen r
/
2 +

5 5 5 5
cos
y
#

z
/
2
z ,
##
luego, el laplaciano en coordenadas cilndricas se obtiene sustituyendo en (#.79
1
]
1

,
_

,
_

,
_

z
r
z r r
r
r r
# #
5
,
o desarrollando

5
5
5
5
5 5
5
5
# #
z r r r r

. (#.7>
La sustitucin de la anterior en las ecuaciones diferenciales parciales de segundo
orden, permite resol.er problemas en tuberas, en reactores tubulares, en partculas
catalticas cilndricas, en intercambiadores de tubos concntricos, etc.
1.' Coord"nada$ "$/2rica$
8ara coordenadas esfricas se tiene que el .ector posicin
es
+ +

cos sen sen j sen cos i /
y los factores de escala son3
#
5 5 5 5 5
+ +

cos sen sen sen cos

/
2
,
+

sen sen cos sen sen

/
2
5 5 5 5 5 5
,
+ +

5 5 5 5 5 5 5 5
sen cos sen cos cos
/
2
.
*l sustituir en (#.69 se obtiene
1
]
1

,
_

,
_

,
_

sen
sen r
sen
sen
5
5
5
#
,
de donde, el laplaciano desarrollado en coordenadas esfricas es

5 5
5
5 5
5
5 5 5
5
5
# # 5 cot
sen
. (#.7?
Estas coordenadas permiten resol.er problemas de partculas catalticas
esfricas, partculas esfricas de material nuclear, reacciones de polimeri4acin en
emulsin, etc.
3. Condicion"$ Front"ra4 d" Continuidad " Inicia!"$
#5
Las condiciones frontera (espacio, iniciales (tiempo y de continuidad, son
necesarias para determinar un.ocamente la solucin de una ecuacin diferencial. El
n@mero de condiciones se determina con base a la suma del mximo orden de las
deri.adas parciales de cada .ariable independiente en la ecuacin diferencial.
8ara problemas de transferencia de calor se clasifican las siguientes condiciones
frontera3
&na condicin frontera de primer tipo o condicin 'iric2let es aquella en la cual la
.ariable dependiente est prescrita sobre la frontera,
+ t * f "
a x

,
(#.7B
la anterior es una condicin frontera no 2omognea, pero si f*t+ C A, la condicin
frontera es 2omognea. "sicamente la ecuacin (#.7B indica que en la frontera dada
por el plano x = a existe una temperatura que puede ser expresada como una funcin del
tiempo.
&na condicin frontera de segundo tipo o condicin 6eumann es aquella en la cual la
deri.ada .ariable dependiente normal a la superficie est prescrita sobre la frontera,
(t g
x
"
4 x

, (#.9A
la anterior expresin manifiesta un flux de calor en la frontera x C 4 con direccin a la
i4quierda de 4, o sea, est entrando calor de derec1a a i4quierda, cantidad de calor que
puede ser expresada como una funcin del tiempo. )atemticamente, es una condicin
frontera no 1omognea, y si g*t+ C 7 la condicin frontera es 2omognea e indica
frontera aislada ("lux igual a cero, ecuacin (#.6.
&na condicin frontera de tercer tipo es aquella en la cual la deri.ada de la .ariable
dependiente normal a la superficie y la .ariable dependiente estn prescritas en la
frontera.
a
c x
)" )"
dx
d"
+

. (#.9#
La expresin anterior se obtiene a partir de igualar el calor que llega por conduccin a la
frontera x = c
/
(ley de "ourier, con el calor transferido a un medio cuya temperatura es
"
a
en x C c
J
(ley de enfriamiento de <e=ton, en este caso c
J
y c
/
indican el lado derec1o
e i4quierdo de x = c y en donde ) = 28.
#6
Si una ecuacin diferencial en u es de segundo orden con respecto a una de las
.ariables independientes t y si los .alores de ambas u y u
t
estn prescritos cuando t C A,
las condicin es del tipo de &auc2! con respecto a t.
8or similaridad se clasifican las condiciones frontera de otros procesos.
Las condiciones iniciales se establecen para problemas en estado no
estacionario. En el caso de la cuerda .ibrante, un despla4amiento inicial de la posicin
de equilibrio se denota por !(x,A C f(x y si a la .e4 no 1ay .elocidad inicial sta es
expresada como !
t
(x,A C A.
Las condiciones de continuidad indican que la .ariable dependiente no cambia a
pesar de que se atra.iesa una frontera
+


c x c x
" "
(#.95
o que el flux es igual en ambos lados de una frontera
+

c x c x
x
"

x
"

5 # .
(#.96
Se recomienda un ligero anlisis a las condiciones establecidas en diferentes
problemas de fenmenos de trasporte y anlisis y dise,o de reactores como las
establecidas por +anc:=erts para reactores tubulares con dispersin axial.
5. M2todo$ d" So!ucin
Los mtodos de solucin ms usuales de ecuaciones diferenciales parciales de la fsica
matemtica son3
)todo de separacin de .ariables o mtodo de "ourier
a Series de "ourier
b -ntegrales de "ourier
)todo de las caractersticas (formas cannicas
(ransformada de similaridad (mtodo de combinacin de .ariables
(ransformadas integralesG de Laplace, de "ourier, de Kaen:el, etc.
"unciones de 2reen
)todos numricos
*lgunos de estos mtodos se re.isarn en captulos posteriores, pero antes de ello es
necesario .erificar algunos conceptos.
#7
6. Co#inacin Lin"a! ( O0"rador"$ Lin"a!"$
'onsidrese que se tiene un con!unto de funciones u
#
, u
5
, . . . u
6
, y un con!unto de
constantes c
#
, c
5
, . . . c
6
, no todas igual a cero, tal que, se dice que u es una
com4inacin lineal de estas funciones, si
6 6
6
n
n n
u c u c u c u c u + + +

5 5 # #
#
(#.97
Las Lc
i
M, se conocen como constantes de com4inacin lineal. 8or otro lado, si las
funciones u
#
, u
5
, . . . u
6
, son de una clase particular y tienen un dominio en com@n, se
dice que forman un espacio lineal de funciones o espacio de funciones, si su
combinacin lineal dada por la ecuacin (#.97 tambin pertenece a la misma clase de
funciones.
&n operador lineal, 5N O, que opera sobre un espacio de funciones, es aquel que
transforma cada funcin u de dic1o espacio en 5NuO, que pertenece a otro espacio y que
adems, para cada par de funciones u
#
y u
5
, existen dos constantes c
#
y c
5
no todas igual
a cero que satisfacen la propiedad de linealidad
[ ] [ ] [ ]
5 5 # # 5 5 # #
u 5 c u 5 c u c u c 5 + + (#.99
+e manera general, se satisface que

[ ] [ ] [ ] [ ] [ ]
6 6
6
n
n n
6
n
n n
u 5 c u 5 c u 5 c u 5 c u c 5 u 5 + + +
1
]
1

5 5 # #
# #
(#.9;
* continuacin se presentan algunos e!emplos de operadores, para los cuales es
necesario considerar que u
#
y u
5
son dos funciones que dependen de las .ariables dadas
por del .ector x C Nx
#
x
5
x
m
O
"
3
9perador diferencial,
[ ] [ ]
i
x
5

, se deri.an con respecto a x

i
las funciones sobre las
cuales se opera3
[ ] [ ]
i i i
x
u
c
x
u
c u c u c
x
u c u c 5

+
5
5
#
# 5 5 # # 5 5 # # .
Este operador suele escribirse como
[ ] [ ]
i
x
'

.
9perador integral, [ ] [ ]

4
a
i
dx 5 , se integran las funciones sobre las cuales se opera3
#9
[ ] [ ]

+ + +
4
a
i
4
a
i
4
a
i
dx u c dx u c dx u c u c u c u c 5
5 5 # # 5 5 # # 5 5 # #
.
9perador producto,
[ ] [ ] f 5
, las funciones sobre las que se opera se multiplica por
la funcin f, que depende del .ector x,
[ ] [ ]
5 5 # # 5 5 # # 5 5 # #
fu c fu c u c u c f u c u c 5 + + + .
Aplicacin de operadores de manera sucesiva, si 5N O y :N O son dos operadores,
entonces, se puede aplicar el operador 5N O y al resultado aplicarle el operador :N O o
.ice.ersa,
[ ] [ ] [ ] [ ] [ ] [ ]
5 5 # # 5 5 # #
u 5 : c u 5 : c u c u c 5 : + +
,
[ ] [ ] [ ] [ ] [ ] [ ]
5 5 # # 5 5 # #
u : 5 c u : 5 c u c u c : 5 + +
.
sin embargo el orden de aplicacin de los operadores puede producir resultado
diferentes al no ser conmutati.os, es decir que [ ] [ ] [ ] [ ]
5 5 # # 5 5 # #
u c u c : 5 u c u c 5 : + +
no siempre se cumple.
&om4inacin lineal de operadores, tambin es posible reali4ar combinaciones lineales
con los operadores, es decir,
[ ] [ ] ( ) ( ) [ ] [ ] ( ) [ ] [ ] ( )
5 5 5 # # # 5 5 # #
u : u 5 c u : u 5 c u c u c : 5 + + + + + .
+e esta manera, una ecuacin diferencial lineal siempre se puede representar mediante
operadores lineales, ya que estas ecuaciones son la suma de las deri.adas de orden n de
la .ariable dependiente multiplicadas por funciones que dependen de las .ariables
independientes. 8or e!emplo, si se define el operador,
[ ] ( ) [ ] ( ) [ ] ( )[ ] x a
dx
d
x a
dx
d
x a 5
# # 5
5
5
+ +
entonces 5N!O C A produce la ecuacin diferencial lineal 1omognea de segundo orden
( ) ( ) ( ) A
# # 5
5
5
+ + ! x a
dx
d!
x a
dx
! d
x a
+e igual manera para una ecuacin diferencial parcial, el operador lineal de segundo
orden
[ ] [ ] [ ] [ ] [ ] [ ] [ ] (
!
$
x
'
! x
&
!
;
x
A 5 +

5
5
5
5
5
define la ecuacin diferencial parcial 1omognea 5NuO C A,
#;
[ ] A + + + + + (u $u 'u &u ;u Au u 5
! x x! !! xx
.
donde A, ;, &, ', $, y ( son funciones de x y !. (ambin es posible representar las
condiciones frontera lineales a tra.s de estos operadores, 5
&96'<&<=6 (/96"$/A
NuO C g.
7. Princi0io d" Su0"r0o$icin d" So!ucion"$
0eorema1 Si cada una de las 6 funciones u
#
, u
5
, . . . u
6
, satisfacen la ecuacin diferencial
1omognea 5Nu
n
O C A (n C #, 5, . . ., 6, entonces cada combinacin lineal con constantes
arbitrarias c
n
(n C #, 5, . . ., 6,
6 6
6
n
n n
u c u c u c u c u + + +

5 5 # #
#
, (#.9>
satisface la ecuacin diferencial 5NuO C A. Este resultado se obtiene directamente al
utili4ar la propiedad (#.9;. +e igual manera, si cada funcin u
n
satisface tambin las
condiciones frontera 5
&96'<&<=6 (/96"$/A
Nu
n
O C A, entonces todas las combinaciones (#.9>
satisfacen estas condiciones frontera.
*l teorema anterior se le conoce como el principio de superposicin de
soluciones. Expresa que si se tienen 6 soluciones que satisfacen un mismo problema
lineal con .alores en la frontera 1omogneo entonces la combinacin de manera
arbitraria dada por (#.9>, tambin satisface dic1o problema. Este principio fundamental
es muy @til en la solucin de problemas lineales con .alores en la frontera.
8or e!emplo, la ecuacin diferencial ordinaria, !P J
5
! C A donde el dominio de
la .ariable independiente es A x c, tiene dos soluciones, ! C sen(x y ! C cos(x,
por lo que la solucin general, con ayuda del principio de superposicin, es igual a ! C
c
#
sen(x J c
5
cos(x. Si a esta ecuacin diferencial se le agregan las condiciones
frontera 1omogneas !(A C A y !(c C A, entonces se obtiene que c
5
C A, y c
#
sen(c
C A, que conducen a dos posibilidades, c
#
C A c C n, (n C #, 5, . . ..
%rincipio de superposicin para ecuaciones diferenciales no 2omogneas> En algunas
ocasiones se tiene ecuaciones diferenciales lineales no 1omogneas, de la forma
5NuO C f, (#.9?
donde f es una funcin exclusi.a de la .ariable dependiente. En este caso, la solucin
total para esta ecuacin diferencial es igual a
u C u
#
J u
5
(#.9B
#>
donde u
#
es la solucin de la ecuacin diferencial 1omognea 5Nu
#
O C A, mientras que u
5
satisface la ecuacin no 1omognea 5Nu
5
O C f, es decir, que la solucin total es la suma
de las soluciones 1omogneas y la solucin no 1omognea. +e igual manera, una
'%<+-'-Q< "$%<(E$* no 1omognea se puede escribir como la suma de una
condicin 1omognea y una condicin no 1omognea, es decir, 5
&96'<&<=6 (/96"$/A
NuO C
5
&96'<&<=6 (/96"$/A
Nu
#
O J 5
&96'<&<=6 (/96"$/A
Nu
5
O C g, donde 5
&96'<&<=6 (/96"$/A
Nu
#
O C A y
5
&96'<&<=6 (/96"$/A
Nu
5
O C g.
18. S"ri"$ d" So!ucion"$ ( Con*"rg"ncia
Si una ecuacin diferencial o una condicin frontera 1omognea, 5NuO C A, tiene un
n@mero infinito de soluciones, que se agrupan en el con!unto infinito u
#
, u
5
, . . .,
entonces la serie infinita

# n
n n
u c u
,
(#.;A
con.erge y satisface 5NuO C A, siendo las c
n
constantes arbitrarias.
Supngase que se tienen las series

( ) ( )

# n
n
x f x s
, (a x 4 (#.;#

( ) ( )

6
n
n 6
x f x s
#
, (a x 4 (#.;5
donde f
n
(x son funciones que dependen tanto de n como de x. En este caso, s
6
(x son los
primeros 6 trminos de la serie (#.;#. Se dice que la serie (#.;# con.erge
uniformemente con respecto a x, si para cualquier .alor de x, y para un .alor
determinado de 6 R 6

lo suficientemente grande e independiente de x, el error definido

como
( ) ( ) x s x s
6 , (a x 4 (#.;6
es menor a un .alor arbitrario, . Esto implica que se pueda truncar la serie despus de
6

trminos y a@n as el .alor obtenido a partir de s

6
(x sea lo suficientemente cercano a
s(x.
#?