Vous êtes sur la page 1sur 20

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) sujetas a condiciones iniciales y de frontera.
2. Modelado de Sistemas Fsicos
La ciencia e ingeniera del modelado, consiste en la conversin de la imagen de
un problema fsico a un lenguaje simblico, generalmente matemtico. La
concatenacin de informacin fsico-qumica, leyes de conservacin, leyes de transporte
o expresiones cinticas, en balances de masa, energa o momentum, alrededor de un
volumen de control diferencial, lleva invariablemente a la obtencin de ecuaciones
diferenciales. stas son el resultado de un proceso en el cual se han eliminado las
variables que se cree superficiales, de poco valor para el resultado esperado y se toman
en cuenta solo las variables de impacto. Se obtienen ecuaciones diferenciales ordinarias,
si se tienen slo dos variables, una independiente y otra dependiente, pero, si se
consideran ms de dos variables se generan ecuaciones diferenciales parciales.
Generalmente los balances son con base en lo siguiente:
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. Cuando no es
posible la solucin analtica de un problema se pueden utilizar mtodos numricos para
su solucin, este procedimiento le puede sumar errores a las predicciones obtenidas.
En s misma, una ley fsica que expresa un cambio puntual en forma matemtica es un
modelo, y es complementado con la utilizacin de condiciones que permitirn encontrar
una solucin univoca al problema que queremos resolver.
Pasos generales para la obtencin de un modelo matemtico
1

1) Anlisis del problema objeto a resolver y del proceso que atae


2) Construccin de la imagen mental de dicho proceso (a la cual puede ayudar un
diagrama)
3) Descripcin oral o escrita de las relaciones causa - efecto y de las restricciones
del proceso, etapa opcional.
4) Obtencin del modelo por medio de la translacin de las abstraccin mental a un
conjunto de ecuaciones matemticas
5) Solucin del modelo (problema imagen)
6) Confrontacin del modelo con datos experimentales del proceso descrito

En los siguientes problemas se obtiene un modelo simple con base a un enunciado, paso
(3) de la obtencin de un modelo.
Un depsito contiene 100 litros de agua pura y su fondo est cubierto de sal. Se desea
determinar la cantidad de sal en disolucin despus de una hora con base en las
siguientes observaciones: La velocidad con que se disuelve la sal es proporcional a la
diferencia entre la concentracin en un instante dado y la concentracin de la disolucin
saturada (1 Kg para 3 litros de agua) y que el total de agua pura disuelve 1/3 de Kg de
sal por min.
Primero, notar que hay en el problema dos variables de impacto. Luego, sean
s = masa de sal en solucin (Kg. )
t = tiempo (min)

2.1 Algunas leyes que intervienen en el modelado matemtico


Experimentalmente observaciones se ha demostrado que el transporte de ciertas
cantidades fsicas se norma por una ley general de transporte, que enuncia lo siguiente:
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
2

proporcional al gradiente de una propiedad fsica (masa, temperatura, presin o


potencial elctrico)

J K

(1.1)

en donde J es el flujo 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


j
k
x
y
z

(1.2)

Ejemplos particulares de la ley de transporte son:


Flujo de calor:
Corriente elctrica:

J k T T (Ley de Fourier),

(1.3)

J k E V (Ley de Ohm),

(1.4)

Flujo de fluidos:

J cP

(Ley de Poiseuille),

(1.5)

Difusin:

(Ley de Fick)

(1.6)

J D C

El gradiente es la fuerza impulso


En las anteriores leyes:
T = temperatura absoluta, T

k T = conductividad trmica = ML/t3T

V = potencial elctrico,

k E = conductividad elctrica =

P = presin, ML/t2

c = coeficiente de friccin =

C = concentracin, moles/L3

D = coeficiente de difusin, L2/t

Otras leyes frecuentes en los balances son:


Esfuerzo cortante:

(Ley de Newton),

v y

(1.7)
ds
.
dt

Segunda ley de Newton:

F ma m

Ley de Newton de enfriamiento

dT
h T Ta
dt

(1.8)
(1.9)

Donde:

y = esfuerzo cortante en direccin y

v y = velocidad en direccin y = L

= viscosidad

F = fuerza = mL/t2

m = masa = m

a = aceleracin = L/t2
3

s = posicin de la partcula = L

t = tiempo = t

h = constante de enfriamiento = t-1

Ta = Temperatura ambiente = T

A continuacin se desarrollan algunos importantes modelos de la fsica


matemtica, con objeto de familiarizar a los lectores con el proceso de modelado.
2.2a La cuerda vibrante (Ecuacin de onda)
Considerar una cuerda delgada sometida a una tensin T, que se encuentra
vibrando en el plano xy y cuya posicin de equilibrio est en algn intervalo del eje x.
y

(x,y)

-H

V(x,t)

x +x

Cada punto tiene un desplazamiento y(x,t) cuya magnitud es relativamente pequea


comparada con la longitud de la cuerda. La tensin T tiene un componente vertical
V(x,t) y uno horizontal H, el cual se considera constante, condicin severa que se
cumple, por ejemplo, en las cuerdas de los instrumentos musicales. A pesar de esta
simplificacin el modelo obtenido es adecuado para una gran variedad de problemas,
pensando siempre que la solucin es una aproximacin.
A partir del clculo diferencial en el punto (x,y) se tiene que
tan

V ( x, t )
H

y x, t
,
x

As que
V x, t H

y x, t
,
x

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


V x x , t H

y x x, t
.
x

Utilizando la segunda ley de Newton, en un balance de fuerzas sobre una seccin de la


cuerda se obtiene

y x x, t
2 y x, t
y x, t
H
H
,
2
x
x
t

en donde es la masa de la cuerda por unidad de longitud.


Reacomodando la anterior ecuacin y tomando el lmite en ambos lados se llega a
y x x, t y x, t

x
x
y x, t
H
lim
lim
2
x0

x
t
2

en donde H y se consideran constantes.


En el lado derecho de la ecuacin anterior, en el lmite, de acuerdo al clculo
diferencial, se tiene la definicin de derivada, por lo tanto se tiene una derivada de una
derivada, o sea una segunda derivada, con lo cual se obtiene la ecuacin de onda
unidimensional
2
2 y x, t
2 y x, t

a
,
t 2
x2

(1.10)

aqu, a2 = H / tiene unidades de velocidad.


Cuando una fuerza externa F paralela y con sentido del eje y, acta sobre la
cuerda se tiene
2
2 y x, t
F
2 y x, t

a
,

t 2
x2

(1.11)

en particular si F / es la aceleracin de la gravedad, - g, se tiene


2
2 y x, t
2 y x, t

a
g.
t 2
x2

(1.12)

Si se tiene una membrana vibrante rectangular con desplazamiento en direccin


z, se tiene la siguiente ecuacin de onda
2
2 z x, y , t
2 z x, y , t
2 z x, y , t

.
t 2
x2
y2

(1.13)

En el caso de una columna vibrante se tiene una ecuacin idntica a la ecuacin


(1.12) con a2 = E / , donde E es el modulo de Young y es la masa de la columna por
unidad de volumen.
En general, la ecuacin de onda en tres dimensiones es
2
2
2 2
2

,
2
t 2
y2 z2
x

(1.14)

o en forma compacta

2
a 2 2 ,
t 2

(1.15)

en donde el operador Laplaciano, 2, se define como


2

2
2
2

,
x2 y2 z2

(1.16)

mientras que x, y, z, t es llamada funcin de onda.}


2.2b El campo elctrico (Ecuacin de onda)

r
r
Una onda de luz polarizada viaja en direccin x con una velocidad c c x, t i tiene
asociado

un

campo

elctrico

r
r
E x, t E x, t j

un

campo

magntico

r
r
B x, t B x, t k . La relacin entre los anteriores campos fue descubierta por uno de
los mayores cientficos experimentalistas Michael Faraday, que junto con los tambin
experimentalistas

Coulomb, Gauss, Ampere descubrieron cuatro leyes, que luego

fueron plasmadas matemticamente por James Clerk Maxwell en forme vectorial, las
r
cuales conforman las ecuaciones de Maxwell, las cuales con corriente elctrica, I , y
densidad de carga, Q, iguales a cero son:
r
Gauss
E 0
r
Gauss
B 0
r
r
B
Faraday-Lenz
E
t
r
r
E
Ampere
B 0 0
t

(1.17)
(1.18)
(1.19)
(1.20)

Tomando el rotacional de la ecuacin de Faraday-Lenz (1.19) y utilizando la identidad


del anlisis vectorial para esta doble operacin se obtiene
r
r
r
r

E E 2 E B .
t

(1.21)

Pero la divergencia del campo elctrico es igual a cero (ley de Gauss) por lo tanto la
anterior da
r
r
2 E B
t
Sustituyendo la ley de Ampere (1.20) en (1.22)
r
r
2E
2
E 0 0 2
t

(1.22)

(1.23)

r
r
2 E
a 2 2 E
2
t

(1.24)

La anterior es la ecuacin de onda en forma vectorial y donde


a2

1
(constante dielctrica en el vaco permeabilidad magntica) 1 .
0 0

Notar que no fue necesaria alguna aproximacin para obtener la ecuacin de onda con
base en el comportamiento campo elctrico.
2.3 Ecuacin de conduccin de calor
Considerar un volumen de control R con una superficie S en donde el cambio
instantneo en el contenido de calor est dado por
Q

t
t

cTdV

T
dV
t

(1.16)

en donde dV es un diferencial de volumen, c es la capacidad calorfica por unidad de


masa y es la densidad.
El calor entra a R por conduccin a travs de la superficie S. Si n es la normal a
la superficie, positiva en direccin hacia fuera, y si dA denota un elemento del rea de S,
luego, la conduccin de calor hacia el interior de la esfera es
Q

dT
dA J ( n ) dA .
S
dn

(1.17)

Efectuando un balance de calor en el volumen de control se obtiene


c

T
dV J n dA
S
t

(1.18)
utilizando el teorema de divergencia de Gauss para convertir la integral de superficie en
integral de volumen y con la ley de Fourier, la anterior ecuacin es
c

T
dV J dV k TdV
R
R
t

en donde k se supuso constante. Factorizando se tiene

T
2
c t k T dV 0 ,

al integrar para algn volumen se obtiene la ecuacin de calor


T
a 2 2T
t

(1.19)
7

en donde a2 = k / c es llamada difusividad trmica.


Si dentro del volumen de control se genera calor, Q(x,y,z,t), la ecuacin (1.19) se
transforma en
T
Q x, y , z , t
a 2 2T
,
t
c

(1.20)
y si existe intercambio de calor con los alrededores a travs de S, se debe introducir la
ley de enfriamiento de Newton en la ecuacin (1.19)
T
a 2 2T H T Ta
t

(1.21)

en este caso Ta es la temperatura promedio de los alrededores, mientras que H = h / c


y h es la constante de enfriamiento.
2.4 Ecuacin de difusin
El transporte de masa por difusin es similar al transporte de calor (ecuacin
general de transporte) y es gobernado por la ecuacin de difusin
C
D 2 C
t

(1.22)

En el caso de que se efecte una reaccin qumica dentro del sistema, se puede
deducir la expresin
C
D 2 C r C
t

(1.23)

donde r(C) es la velocidad de reaccin, la cual es funcin de la concentracin.

3. Ecuaciones de la Fsica Matemtica de Segundo Orden


Otras Ecuaciones Diferenciales Parciales de segundo orden frecuentes en los problemas
de la fsica matemtica, son las siguientes:
1. Ecuacin de Laplace,

2 0.

(1.24)
Esta ecuacin, bastante comn y muy importante, es un caso particular de procesos
en estado estacionario. Su solucin se conoce como funcin armnica.
Generalmente se manifiesta en los estudios de:
a. fenmenos electromagnticos, incluyendo los electrostticos, los dielctricos,
magnticos y de corrientes uniformes;
b. hidrodinmica (flujo irrotacional de un fluido perfecto y las ondas superficiales);
c. flujo de calor;
d.

flujo de masa por difusin

e. gravitacin.

2. Ecuacin de Poisson,

(1.25)

Esta ecuacin surge en procesos en estado estacionario.


3. Las ecuaciones de onda (Helmholtz) y de difusin independientes del tiempo,
2 k 2 .

(1.26)

Estas ecuaciones aparecen en fenmenos diversos tales como:


a. ondas elsticas en slidos incluyendo cuerdas vibrantes, barras, membranas;
b. sonido o acstica;
c. ondas electromagnticas y
d. reactores nucleares.
4. La ecuacin de difusin dependiente del tiempo,
2

1
.
a 2 t

(1.27)

5. La ecuacin de onda dependiente del tiempo,


9

2 0.

(1.28)

6. La ecuacin del potencial escalar,


2

.
0

(1.29)
En donde el operador 2 es llamado dAlembertiano, el cual es un anlogo de cuatro
dimensiones del Laplaciano en el espacio de Minkowski,

2
.
(ic) 2 t 2

2 2

7. La Ecuacin de Klein-Gordon,

(1.30)

y las ecuaciones vectoriales correspondientes, en las cuales la funcin escalar se


sustituye por una funcin vectorial.
8. Las ecuaciones de onda de Schrdinger,

2 V i
2m
t

(1.31)
y para el caso independiente del tiempo

2 2
V E ,
2m

(1.32)
9. Las ecuaciones para las ondas elsticas y para los fluidos viscosos y la ecuacin de
telegrafa,
2 2 2

.
t

(1.33)

10. Las ecuaciones diferenciales acopladas de Maxwell para los campos elctrico y
magntico y las correspondientes a Dirac para las funciones de onda electrnica
relativistas.

10

4. Clasificacin de las Ecuaciones Diferenciales Parciales


4.1 Ecuaciones diferenciales con dos variables independientes
Se llama ecuacin diferencial en derivadas parciales de segundo orden con dos
variables independientes x y y a una relacin entre la funcin incgnita u(x,y) y sus
derivadas parciales hasta de segundo orden inclusive:
F(x, y, u, ux , uy , uxx , uxy ,uyy) = 0.

(1.34)

La ecuacin se llama lineal con respecto a las derivadas de segundo orden, si sta tiene
la forma

a11u xx 2a12 u xy a 22 u yy F1 x , y ,u ,u x ,u y 0 ,

(1.35)

donde a11, a12, a22, son funciones de x y y. Si los coeficientes a11, a12, y a22 no slo
dependen de x y y, sino que son, al igual que F1, funciones de x, y, u, ux, uy, entonces la
ecuacin se denomina cuasilineal.
La ecuacin se llama lineal si esta tiene la forma
a11uxx + 2a12uxy + a22uyy + b1ux + b2uy + cu + f = 0,

(1.36)

si y solo si a11, a12, a22, b1, b2, c y f son slo funciones de x y y. Si los coeficientes no
dependen de x y y, se tiene una ecuacin lineal de coeficientes constantes. La
ecuacin se llama homognea, si f(x,y) = 0.
Mediante la transformacin de las variables

= (x,y) y = (x,y),

(1.37)

que admiten transformacin inversa, se pueden obtener ecuaciones diferenciales de


forma ms simple, llamadas formas cannicas. Luego, para la ecuacin (1.34) se
pueden obtener las derivadas:
ux = ux + ux,
uy = uy + uy,
uxx = ux2 + 2uxx + ux2 + uxx + uxx,

(1.38)

uxy = ux y + 2u(xy + yx) + uxy + uxy + uxy,


uyy = uy2 + 2uyy + uy2 + uyy + uyy.
Sustituyendo los valores de las derivadas dados por (1.38) en la ecuacin (1.34), se
tiene:
a11u + 2a12u + a22 u + F(,, u, u, u) = 0,

(1.39)

en donde
11

a11 = a11x2 + 2a12x y + a22y2,


a12 = a11xx + a12 (xy + yx) + a22yy,
a22 = a11y2 + 2 a12xy + a22y2
y la funcin F no depende de las derivadas segundas. Obsrvese que si la ecuacin
inicial es lineal, o sea, si
F(x, y, u, ux , uy) = b1ux + b2 uy + cu + f,
entonces F tiene la forma
F(, , u, u, u) = 1 u + 2 u + u + ,
es decir la ecuacin permanece lineal.
Escogiendo variables y de modo que el coeficiente a11 sea cero, se puede
considerar la ecuacin en derivadas parciales de primer orden
a11 z x2 2a12 z x z y a 22 z y2 0 .

(1.40)

Sea z = (x, y) alguna solucin particular de dicha ecuacin. Si se hace = (x, y), el
coeficiente a11, evidentemente, ser igual a cero. De este modo el problema citado ms
arriba est ligado a la ecuacin (1.40).
Lemas
1. Si z = (x, y) es una solucin particular de la ecuacin
a11 z x2 2a12 z x z y a 22 z y2 0 ,

la relacin (x, y) = C es una integral de la ecuacin diferencial ordinaria


a11 dy 2 2a12 dxdy a 22 dx 2 0 .

(1.41)

2. Si (x, y) = C es una integral general de la ecuacin diferencial ordinaria


a11 dy 2 2a12 dxdy a 22 dx 2 0 ,

la funcin z = (x, y) satisface la ecuacin (1.40).


La ecuacin (1.41) se llama ecuacin caracterstica para la ecuacin (1.35), y sus
integrales, caractersticas. La ecuacin (1.41) se puede dividir en dos ecuaciones:
2

dy a12 a12 a11 a 22


,

dx
a11

(1.42)

dy a12 a12 a11 a 22


,

dx
a11

(1.43)

12

el signo de la expresin subradical determina el tipo de la ecuacin


a11u xx 2a12 u xy a 22 u yy F 0 .

(1.44)

A esta ecuacin se le llamar:


hiperblica, si en el punto M a122 a11 a 22 0 ,
a122 a11 a 22 0 ,

elptica, si en el punto M

parablica, si en el punto M a122 a11 a 22 0 .


5. Coordenadas Curvilneas Ortogonales
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. Del anlisis
vectorial se sabe que el laplaciano en coordenadas curvilineas ortogonales (u1, u2, u3)
esta dado como

1
h1 h2 h3

h2 h3

u1 h1 u1 u 2

h1 h3
h1 h2


h2 u 2 u 3 h3 u 3

(1.45)

en donde los

hi

R
,
u i

i 1,2,3

(1.46)

son llamados factores de escala y R es el vector posicin.


5.1 Coordenadas cilndricas
Las frmulas de conversin de coordenadas cartesianas a
coordenadas cilndricas son:
x r cos ,

y r sen ,

por lo que el vector posicin,

zz

R i x j yk z

puede ser

expresado como

R i r cos j r sen k z

a partir de la ecuacin (1.46) y la anterior se calculan los factores de escala para


coordenadas cilndricas,

hr

cos 2 sen 2 1 ,

r 2 sen 2 r 2 cos 2 r

hz

R
1,
z

13

luego, el laplaciano en coordenadas cilndricas se obtiene sustituyendo en (1.45)


1

1


r


r
,

r r r
r
z z

o desarrollando
2
1
1 2
2

2
2
r r r
r
z2

(1.47)

La sustitucin de la anterior en las ecuaciones diferenciales parciales de segundo


orden, permite resolver problemas en tuberas, en reactores tubulares, en partculas
catalticas cilndricas, en intercambiadores de tubos concntricos, etc.
5.2 Coordenadas esfricas
Para coordenadas esfricas se tiene que el vector posicin
es

R i cos sen j sen sen k cos

y los factores de escala son:

cos 2 sen 2 sen 2 sen 2 cos 2 1

R
h

2 sen 2 sen 2 2 cos 2 sen 2 sen ,

2 cos 2 cos 2 2 sen 2 cos 2 2 sen 2 .

Al sustituir en (1.35) se obtiene


2

2
1


sen
sen

r
sen


sen
2

de donde, el laplaciano desarrollado en coordenadas esfricas es


2

2
2
1
2
1 2
cot

2
2

.
2
2
2
sen

2
2

(1.48)

Estas coordenadas permiten resolver problemas de partculas catalticas


esfricas, partculas esfricas de material nuclear, reacciones de polimerizacin en
emulsin, etc.
6. Condiciones Frontera, de Continuidad e Iniciales

14

Las condiciones frontera (espacio), iniciales (tiempo) y de continuidad, son


necesarias para determinar unvocamente la solucin de una ecuacin diferencial. El
nmero de condiciones se determina con base a la suma del mximo orden de las
derivadas parciales de cada variable independiente en la ecuacin diferencial.
Para problemas de transferencia de calor se clasifican las siguientes condiciones
frontera:
Una condicin frontera de primer tipo o condicin Dirichlet es aquella en la cual la
variable dependiente est prescrita sobre la frontera,
T

xa

f (t ),

(1.49)

la anterior es una condicin frontera no homognea, pero si f(t) = 0, la condicin


frontera es homognea. Fsicamente la ecuacin (1.49) indica que en la frontera dada
por el plano x = a existe una temperatura que puede ser expresada como una funcin del
tiempo.
Una condicin frontera de segundo tipo o condicin Neumann es aquella en la cual la
derivada variable dependiente normal a la superficie est prescrita sobre la frontera,
T
x

x b

g (t ) ,

(1.50)

la anterior expresin manifiesta un flux de calor en la frontera x = b con direccin a la


izquierda de b, o sea, est entrando calor de derecha a izquierda, cantidad de calor que
puede ser expresada como una funcin del tiempo. Matemticamente, es una condicin
frontera no homognea, y si g(t) = 0 la condicin frontera es homognea e indica
frontera aislada (Flux igual a cero, ecuacin (1.3)).
Una condicin frontera de tercer tipo es aquella en la cual la derivada de la variable
dependiente normal a la superficie y la variable dependiente estn prescritas en la
frontera.
dT
HT
dx

x c

HTa .

(1.51)

La expresin anterior se obtiene a partir de igualar el calor que llega por conduccin a la
frontera x = c- (ley de Fourier), con el calor transferido a un medio cuya temperatura es
Ta en x = c+ (ley de enfriamiento de Newton), en este caso c+ y c- indican el lado derecho
e izquierdo de x = c y en donde H = h/k.
Si una ecuacin diferencial en u es de segundo orden con respecto a una de las
variables independientes t y si los valores de ambas u y ut estn prescritos cuando t = 0,
las condicin es del tipo de Cauchy con respecto a t.
15

Por 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 vibrante, un desplazamiento inicial de la posicin
de equilibrio se denota por y(x,0) = f(x) y si a la vez no hay velocidad inicial sta es
expresada como yt(x,0) = 0.
Las condiciones de continuidad indican que la variable dependiente no cambia a
pesar de que se atraviesa una frontera
T

x c

(1.52)

x c

o que el flux es igual en ambos lados de una frontera


k1

T
x

x c

k 2

T
x

x c

(1.53)
Se recomienda un ligero anlisis a las condiciones establecidas en diferentes
problemas de fenmenos de trasporte y anlisis y diseo de reactores como las
establecidas por Danckwerts para reactores tubulares con dispersin axial.
7. Mtodos de Solucin
Los mtodos de solucin ms usuales de ecuaciones diferenciales parciales de la fsica
matemtica son:
Mtodo de separacin de variables o mtodo de Fourier
a) Series de Fourier (dominio finito)
b) Integrales de Fourier
Mtodo de las caractersticas (formas cannicas)
Transformada de similaridad (mtodo de combinacin de variables)
Transformadas integrales; de Laplace, de Fourier, de Haenkel, etc.
Funciones de Green
Mtodos numricos
Algunos de estos mtodos se revisarn en captulos posteriores, pero antes de ello es
necesario verificar algunos conceptos.

16

8. Combinacin Lineal y Operadores Lineales


Considrese que se tiene un conjunto de funciones u1, u2, . . . uN, y un conjunto de
constantes

c1, c2, . . . cN, no todas igual a cero, tal que, se dice que u es

una

combinacin lineal de estas funciones, si


N

u c n u n c1u1 c 2 u 2 c N u N

(1.54)

n 1

Las {ci}, se conocen como constantes de combinacin lineal. Por otro lado, si las
funciones u1, u2, . . . uN, son de una clase particular y tienen un dominio en comn, se
dice que forman un espacio lineal de funciones o espacio de funciones, si su
combinacin lineal dada por la ecuacin (1.54) tambin pertenece a la misma clase de
funciones.
Un operador lineal, L[ ], que opera sobre un espacio de funciones, es aquel que
transforma cada funcin u de dicho espacio en L[u], que pertenece a otro espacio y que
adems, para cada par de funciones u1 y u2, existen dos constantes c1 y c2 no todas igual
a cero que satisfacen la propiedad de linealidad

L c1u1 c2u 2 c1 L u1 c2 L u 2

(1.55)

De manera general, se satisface que

L u L

n 1

c u

n 1

n n

cn L u n c1 L u1 c2 L u 2 c N L u N

(1.56)

A continuacin se presentan algunos ejemplos de operadores, para los cuales es


necesario considerar que u1 y u2 son dos funciones que dependen de las variables dadas
por del vector x = [x1 x2 xm]T:

Operador diferencial, L x , se derivan con respecto a xi las funciones sobre las


i

cuales se opera:
L c1u1 c2 u 2

c1u1 c2u 2 c1 u1 c2 u 2 .
xi
xi
xi

Este operador suele escribirse como D x .


i

Operador integral, L

a dxi , se integran las funciones sobre las cuales se opera:


b

17

L c1u1 c 2 u 2 c1u1 c2 u 2 dxi c1 u1dxi c2 u 2 dxi .


a
a
a
b

Operador producto, L f , las funciones sobre las que se opera se multiplica por la
funcin f, que depende del vector x,

L c1u1 c2 u 2 f c1u1 c2 u 2 c1 fu1 c2 fu 2 .


Aplicacin de operadores de manera sucesiva, si L[ ] y M[ ] son dos operadores,
entonces, se puede aplicar el operador L[ ] y al resultado aplicarle el operador M[ ] o
viceversa,

M L c1u1 c2u2 c1M L u1 c2 M L u2

L M c1u1 c2u2 c1L M u1 c2 L M u2

sin embargo el orden de aplicacin de los operadores puede producir resultado


diferentes al no ser conmutativos, es decir que M L c1u1 c2 u 2 L M c1u1 c2 u 2
no siempre se cumple.
Combinacin lineal de operadores, tambin es posible realizar combinaciones lineales
con los operadores, es decir,

L M c1u1 c2u 2 c1 L u1 M u1 c2 L u 2 M u 2 .
De esta manera, una ecuacin diferencial lineal siempre se puede representar mediante
operadores lineales, ya que estas ecuaciones son la suma de las derivadas de orden n de
la variable dependiente multiplicadas por funciones que dependen de las variables
independientes. Por ejemplo, si se define el operador,
L

a x
2

d2
a1 x d a1 x
2
dx
dx

entonces L[y] = 0 produce la ecuacin diferencial lineal homognea de segundo orden


a2 x

d2y
dy
a1 x
a1 x y 0
2
dx
dx

De igual manera para una ecuacin diferencial parcial, el operador lineal de segundo
orden
L

2
x 2

2
y 2

xy

define la ecuacin diferencial parcial homognea L[u] = 0,


18

L u Au xx Bu yy Cu xy Du x Eu y Fu 0

donde A, B, C, D, E, y F son funciones de x y y. Tambin es posible representar las


condiciones frontera lineales a travs de estos operadores, LCONDICIN FRONTERA[u] = g.
9. Principio de Superposicin de Soluciones
Teorema: Si cada una de las N funciones u1, u2, . . . uN, satisfacen la ecuacin diferencial
homognea L[un] = 0 (n = 1, 2, . . ., N), entonces cada combinacin lineal con constantes
arbitrarias cn (n = 1, 2, . . ., N),
N

u cn u n c1u1 c2 u 2 c N u N ,

(1.57)

n 1

satisface la ecuacin diferencial L[u] = 0. Este resultado se obtiene directamente al


utilizar la propiedad (1.56). De igual manera, si cada funcin un satisface tambin las
condiciones frontera LCONDICIN FRONTERA[un] = 0, entonces todas las combinaciones (1.57)
satisfacen estas condiciones frontera.
Al teorema anterior se le conoce como el principio de superposicin de
soluciones. Expresa que si se tienen N soluciones que satisfacen un mismo problema
lineal con valores en la frontera homogneo entonces la combinacin de manera
arbitraria dada por (1.57), tambin satisface dicho problema. Este principio fundamental
es muy til en la solucin de problemas lineales con valores en la frontera.
Por ejemplo, la ecuacin diferencial ordinaria, y" + 2y = 0 donde el dominio de
la variable independiente es 0 x c, tiene dos soluciones, y = sen(x) y y = cos(x),
por lo que la solucin general, con ayuda del principio de superposicin, es igual a y =
c1sen(x) + c2cos(x). Si a esta ecuacin diferencial se le agregan las condiciones
frontera homogneas

y(0) = 0 y y(c) = 0, entonces se obtiene que c2 = 0, y c1sen(c)

= 0, que conducen a dos posibilidades, c1 = 0 c = n,

(n = 1, 2, . . .).

Principio de superposicin para ecuaciones diferenciales no homogneas: En algunas


ocasiones se tiene ecuaciones diferenciales lineales no homogneas, de la forma
L[u] = f,

(1.58)

donde f es una funcin exclusiva de la variable dependiente. En este caso, la solucin


total para esta ecuacin diferencial es igual a
u = u1 + u2

(1.59)
19

donde u1 es la solucin de la ecuacin diferencial homognea L[u1] = 0, mientras que u2


satisface la ecuacin no homognea L[u2] = f, es decir, que la solucin total es la suma
de las soluciones homogneas y la solucin no homognea. De igual manera, una
CONDICIN FRONTERA no homognea se puede escribir como la suma de una
condicin homognea y una condicin no homognea, es decir, LCONDICIN FRONTERA[u] =
LCONDICIN

[u1] + LCONDICIN

FRONTERA

[u2] = g, donde LCONDICIN

FRONTERA

[u1] = 0 y

FRONTERA

LCONDICIN FRONTERA[u2] = g.
10. Series de Soluciones y Convergencia
Si una ecuacin diferencial o una condicin frontera homognea, L[u] = 0, tiene un
nmero infinito de soluciones, que se agrupan en el conjunto infinito u1, u2, . . .,
entonces la serie infinita

u cn u n ,
n 1

(1.60)
converge y satisface L[u] = 0, siendo las cn constantes arbitrarias.
Supngase que se tienen las series

s x f n x ,
n 1

sN x f n x ,
n 1

(a x b)

(1.61)

(a x b)

(1.62)

donde fn(x) son funciones que dependen tanto de n como de x. En este caso, sN(x) son los
primeros N trminos de la serie (1.61). Se dice que la serie (1.61) converge
uniformemente con respecto a x, si para cualquier valor de x, y para un valor
determinado de N > N lo suficientemente grande e independiente de x, el error definido
como
s x s N x

(a x b)

(1.63)

es menor a un valor arbitrario, . Esto implica que se pueda truncar la serie despus de
N trminos y an as el valor obtenido a partir de sN(x) sea lo suficientemente cercano a
s(x).

20

Vous aimerez peut-être aussi