C ARTAGENA , 2012
A mi abuelo Diego
Agradecimientos
En primer lugar quiero dar las gracias a los profesores Juan Luis Garca Guirao y
Juan Antonio Vera Lpez, directores de este Proyecto Final de Carrera, por su generosa
y valiosa ayuda en la elaboracin del mismo. Y por supuesto quiero agradecer la ayuda
y el apoyo de toda mi familia y dems personas que me han animado.
AUTORIZAN:
La presentacin del Proyecto Final de Carrera titulado Dinmica y anlisis de vigas: aplicaciones del mtodo de la transformada de Laplace, realizado por D. Ramn
de Paco Gabarrn, bajo nuestra direccin y supervisin, en el Departamento de Matemtica Aplicada y Estadstica, y que presenta para su defensa.
En Cartagena, a
de
de 2012
ndice general
1. Ecuaciones diferenciales
1.1. Ecuaciones diferenciales de primer orden . . . . . . . . . . . . . . . .
1.1.1. Nociones bsicas: ecuacin diferencial, sistemas de ecuaciones
diferenciales y soluciones . . . . . . . . . . . . . . . . . . . .
1.1.2. Familias nparamtricas de soluciones y funciones . . . . . . .
1.1.3. Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . .
1.1.4. Relacin entre ecuaciones diferenciales y sistemas de ecuaciones diferenciales . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.5. Ecuaciones en variables separadas . . . . . . . . . . . . . . . .
1.1.6. Aplicaciones en ingeniera . . . . . . . . . . . . . . . . . . . .
1.1.7. Familia de curvas ortogonales . . . . . . . . . . . . . . . . . .
1.1.8. Ecuaciones lineales . . . . . . . . . . . . . . . . . . . . . . . .
1.1.9. Ecuaciones exactas . . . . . . . . . . . . . . . . . . . . . . . .
1.1.10. Existencia y unicidad de soluciones . . . . . . . . . . . . . . .
1.1.11. Anlisis cualitativo de las ecuaciones de orden uno: el mtodo
de las isoclinas . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Ecuaciones y sistemas lineales. Teora fundamental . . . . . . . . . . .
1.2.1. Existencia y unicidad de soluciones . . . . . . . . . . . . . . .
1.2.2. Estructura de las soluciones de un sistema diferencial lineal . .
1.2.3. Resolucin del sistema no homogneo a partir de una matriz
fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.4. Estructura de las soluciones de la ecuacin lineal . . . . . . . .
1.2.5. Resolucin de la ecuacin no homognea a partir de un sistema
fundamental de soluciones . . . . . . . . . . . . . . . . . . . .
1.3. Ecuaciones y sistemas lineales. Resolucin y aplicaciones . . . . . . .
1.3.1. Exponencial de una matriz real . . . . . . . . . . . . . . . . . .
1.3.2. Resolucin de sistemas diferenciales lineales no homogneas
por el mtodo de los coeficientes indeterminados . . . . . . . .
I
1
1
2
3
4
5
6
7
11
12
14
16
17
17
19
20
21
21
23
24
24
31
NDICE GENERAL
II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Vigas arquitectnicas
3.1. Teora de vigas de EulerBernoulli . . . . . . . . . . . . . . . . .
3.1.1. Ecuacin esttica de una viga . . . . . . . . . . . . . . .
3.1.2. Viga en voladizo . . . . . . . . . . . . . . . . . . . . . .
3.1.3. Vigas simplemente soportada . . . . . . . . . . . . . . .
3.1.4. Vigas empotradas . . . . . . . . . . . . . . . . . . . . . .
3.2. Dinmica de vigas: integracin va momento flector . . . . . . .
3.2.1. Viga apoyada sobre dos puntos . . . . . . . . . . . . . . .
3.2.2. Viga empotrada en la pared . . . . . . . . . . . . . . . . .
3.3. Aplicacin mtodo transformada de Laplace . . . . . . . . . . . .
3.3.1. Viga en voladizo con carga uniforme p0 . . . . . . . . . .
3.3.2. Viga empotrada con carga puntual p0 en la mitad de la viga
Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
33
.
.
.
.
37
37
38
44
48
.
.
.
.
.
.
.
.
.
.
.
51
51
52
53
53
54
54
56
58
60
61
62
65
Captulo 1
Ecuaciones diferenciales
El objetivo de este captulo es ofrecer una introduccin de los rudimentos de ecuaciones diferenciales ordinarias que utilizaremos a lo largo de la confeccin de este trabajo.
1.1.
La teora de las ecuaciones diferenciales es una de las ramas con mayor aplicacin
de las matemticas a otras disciplinas cientficas. Por citar algunos casos concretos de
aplicaciones se pueden dar en Fsica las rbitas planetarias, en Qumica la cintica de
las reacciones qumicas, en Economa ciertos modelos dinmicos de espacios econmicos, en Ecologa la dinmica de los ecosistemas, en Ingeniera la teora de fluidos y
en Arquitectura el clculo de estructuras. Pretendemos en este primer contacto con las
ecuaciones diferenciales definir con precisin lo que entenderemos por ecuacin diferencial, sistema de ecuaciones diferenciales y lo que entendemos por soluciones de stos. Recalcaremos que las soluciones no tienen por qu ser nicas e introduciremos por
ello las familias nparamtricas de soluciones. Un paso ms nos llevar a la definicin
de problema de Cauchy. En cuanto a las ecuaciones diferenciales de primer orden que
presentamos prestaremos atencin a las ecuaciones en variables separadas, ecuaciones
lineales y exactas, incluyendo la bsqueda de factores integrantes. Somos conscientes de
la gran cantidad de mtodos existentes, estudiados en libros como [NOR 95, p. 37-87]
o [B 93, Captulo 1].
Presentaremos varios ejemplos de cada uno de los tipos de ecuaciones que presente1
1.1.1.
(1.1)
Ilustraremos esta definicin con la ecuacin diferencial ty 00 y 0 = 3t2 , para ella probaremos que para cada eleccin de nmeros reales c1 y c2 se tendr que y(t) = t3 + c1 t2 + c2
es solucin.
Una primera observacin que se desprende de este ejemplo es que las soluciones
no van a ser nicas, en particular, en nuestro ejemplo hay infinitas soluciones. Otra
observacin que se debe hacer es que las soluciones deben buscarse en intervalos de
definicin lo ms grandes posibles, es decir lo que se busca son soluciones maximales.
Notemos que la definicin de solucin de ecuaciones diferenciales no excluye que
demos como solucin funciones definidas implcitamente. As podemos decir que para
la ecuacin diferencial yy 0 + t = 0, la expresin t2 + y 2 = c2 (c constante) define a y en
funcin de t en el intervalo ( c, c) siendo y(t) solucin de yy 0 + t = 0.
Seguimos definiendo un sistema de ecuaciones diferenciales como una coleccin de
expresiones como la que sigue:
(n)
(n)
(n)
(n)
(n)
(n)
(n)
(n)
1.1.2.
En esta seccin pretendemos mostrar que, en general, las soluciones de una ecuacin diferencial dependen de nparmetros, aunque tambin veremos que se presentarn
(y(t) t) sen(t)
+ 1.
cos(t)
1.1.3.
Problema de Cauchy
Llegados a este punto se impone una reflexin. Si las ecuaciones diferenciales modelan fenmenos fsicos de los que queremos estudiar su comportamiento posterior, no
parece razonable que sus soluciones sean infinitas como estamos viendo que de hecho
sucede. En realidad nuestro fenmeno fsico deber quedar determinado por una sola de
las soluciones desechando las dems, este proceso de eleccin de la funcin adecuada
se puede realizar con xito porque podremos medir, en general, el estado inicial del sistema (el valor de la funcin en un valor determinado de t), a esta condicin inicial se
le llama condicin de Cauchy si la variable t es temporal y condicin de contorno si la
variable x es espacial. Llegamos as a la definicin de problema de Cauchy. Entendemos
por problema de Cauchy a una expresin del estilo:
y(t0 )
= y0,n .
Una solucin del problema de Cauchy es una funcin definida en un intervalo abierto
I, y : I R, de manera que y(t) es solucin de la ecuacin diferencial y adems
y (k) (t0 ) = y0,k para cada k {0, 1, ..., n 1}. Acabaremos este apartado resolviendo el
problema de Cauchy:
ty 00 y 0 = 3t2 ,
y(1) = 1,
y 0 (1) = 1,
sabiendo que la familia biparamtrica y(t) = t3 +c1 t2 +c2 es una solucin de la ecuacin
diferencial que define el problema de Cauchy.
1.1.4.
y10 = y2 ,
y20 = y3 ,
......
0
yn1
= yn ,
1.1.5.
t
,
sen(y)
y 0 = et arcsen(y),
y0 =
3t + t2 y
log(t) y 1
y 0 = g(y).
Hemos querido iniciar el estudio de las ecuaciones de primer orden con las ecuaciones en variables separadas porque son las ms sencillas de resolver. En efecto, si y(t) es
solucin entonces y 0 (t) = f (t)g(y(t)) y por lo tanto si g(y(t)) 6= 0 se tiene que
y 0 (t)
= f (t)
g(y(t))
R 1
R
1
para cada t. Sean ahora G(y) = g(y)
dy una primitiva de g(y)
y F (t) = f (t)dt una
R
primitiva de f (t) (en general f (t)dt denota una primitiva particular de la funcin f ,
R
mientras que f (t) representa a todas las primitivas de f (t), es decir, todas aquellas
funciones que tienen por derivada a f (t)).
Usando ahora la regla de derivacin compuesta se obtiene
y 0 (t)
[G(y(t))] = G (y(t))y (t) =
= f (t)
g(y(t))
0
por lo que G(y(t)) es una primitiva de f (t) y por lo tanto existir una constante c tal
que G(y(t)) = F (t) + c, o lo que es lo mismo, y(t) est definida implcitamente por
G(y) = F (t) + c, es decir,
Z
Z
1
dy = f (t)dt + c
g(y)
es la solucin general de la ecuacin en variables separadas.
Para fijar ideas, proponemos resolver el problema de Cauchy
y0 =
y cos(t)
,
1 + 2y 2
y(0) = 1.
1.1.6.
Aplicaciones en ingeniera
y donde el eje x es tangente a la curva que adopta el cable. Para obtener la ecuacin de
la curva utilizaremos que el cable est en equilibrio entre el punto ms bajo y el punto
Q = (x, y(x)), la funcin p(s) nos da densidad lineal de peso del cable. Las fuerzas que
actan en el problema son:
1. la tensin horizontal H en el punto ms bajo,
2. la tensin en el punto Q, que es variable y que denotamos por T (x, y).
3. el peso de la porcin de cadena entre O y Q(x, y) que denotaremos por P (x, y).
Puesto que el sistema est en equilibrio, la suma de las fuerzas horizontales (resp.
verticales) debe ser cero. As que:
Z s
T (x, y) cos() = H y T (x, y) sen() =
p(s)ds,
0
Rs
donde la integral 0 p(s)ds es la integral que nos da el peso del cable entre el punto O y
el punto Q(x, y) situado a una distancia s medida sobre la curva y(x). Deducimos ahora
de la primera de las dos ecuaciones
T (x, y) sen() = Htan() = Hy 0 (x),
por lo tanto
0
Hy (x) =
p(t)dt.
0
1 + z 2 ) = ax.
px
H px
(e H + e H ).
2p
10
3x
3x
10
).
2
1 + (y 0 (x))2
1 + tan ( 2 (y))
ahora, combinando las ecuaciones anteriores tenemos
y(1 + (y 0 )2 ) = c
para una constante c. Esta ltima ecuacin se puede reescribir como una ecuacin diferencial en variables separadas
r
cy
0
y =
,
y
cuya solucin general viene dada por
Z r
cy
dy = x + c1
y
para una constante c1 . Ahora integramos la ecuacin como hemos indicado en el apartado de ecuaciones en variables separadas y determinamos la constante c1 para llegar a
donde
tan()
x=c
1 + tan2 ()
11
c
= (2 sen(2))
2
r
cy
= arctan(
).
y
1.1.7.
Dadas dos familias de curvas F y G, se dice que son ortogonales si para cada par de
curvas, y(x) de la primera y z(x) de la segunda, se tiene que las intersecciones de ambas
son perpendiculares, es decir, los vectores tangentes de ambas curvas en los puntos de
interseccin son perpendiculares. Con las tcnicas desarrolladas en este tema podemos
reducir el problema de encontrar una familia de curvas ortogonales a una familia fijada
H, a resolver una ecuacin diferencial.
Este problema de encontrar familias de curvas ortogonales tiene inters en fsica.
En efecto, si una corriente fluye por una lmina plana de material conductor, las curvas
equipotenciales son las lneas perpendiculares a las lneas de flujo.
Pasamos pues a ver cmo se resuelve el problema, para ello suponemos fijado una
familia de curvas, H, definida mediante una ecuacin diferencial y 0 = f (x, y), lo cual
quiere decir que la curva de H que pase por un punto (x0 , y0 ), y : I R, tendr en
12
dicho punto pendiente f (x0 , y0 ) y por lo tanto una curva perpendicular que interseque
con ella deber tener pendiente f (x01,y0 ) . As que la familia de curvas ortogonales a H
1
.
debe satisfacer la ecuacin diferencial z 0 = f (x,z)
1.1.8.
Ecuaciones lineales
En esta seccin vamos a considerar las ecuaciones lineales de primer orden, es decir,
ecuaciones del tipo: a0 (t)y 0 + a1 (t)y = b(t), donde las funciones a0 (t), a1 (t) y b(t)
las suponemos continuas y definidas en un intervalo I, adicionalmente suponemos que
a0 (t) 6= 0 para todo t I, con lo cual la ecuacin anterior puede reescribirse como:
y 0 + p(t)y = q(t).
Tanto p(t) como q(t) sern funciones continuas y siguiendo la notacin de los sistemas
de ecuaciones lineales, diremos que la ecuacin es homognea cuando q(t) 0 y no
homognea en caso contrario.
p(t)dt
13
Z
p(s)ds .
(t) = exp
t0
Conviene hacer notar en este punto que la solucin general obtenida es realmente
general en el sentido que cualquier solucin se escribe segn la expresin anterior, la
demostracin de este hecho se deduce del teorema anterior.
Por ltimo, pasaremos a explicar cmo acortar los clculos para obtener soluciones
generales de la ecuacin. A este respecto demostraremos que la solucin general de la
ecuacin no homognea se puede obtener como la suma de la solucin general de la
ecuacin homognea yh0 + p(t)yh = 0 con una de las soluciones particulares de la no
homognea. La ventaja de resolver de este modo la ecuacin lineal no homognea es
que la resolucin de la homognea resulta ms sencilla:
Z
yh (t) = cexp p(t)dt ,
quedndonos a expensas de encontrar una solucin particular.
Para obtener una solucin particular de la ecuacin no homognea utilizaremos el
principio de superposicin de soluciones: si y1 (t), y2 (t),...,yn (t) son soluciones de y 0 +
p(t)y = q1 (t), y 0 + p(t)y = q2 (t),..., y 0 + p(t)y = qn (t) respectivamente, entonces
a1 y1 (t) + a2 y2 (t) + ... + an yn (t) es solucin de
y 0 + p(t)y = a1 q1 (t) + a2 q2 (t) + ... + an qn (t).
Para finalizar el apartado expondremos el mtodo de los coeficientes indeterminados,
eficaz en la bsqueda de soluciones de la ecuacin lineal para p(t) constante y q(t) de la
forma et [Pm (t) cos(t) + Qm (t) sen(t)], siendo Pm (t) y Qm (t) polinomios de grado
menor o igual que m. El mtodo sugiere buscar las soluciones de la ecuacin entre
funciones del tipo:
y(t) = et [Rm (t) cos(t) + Sm (t) sen(t)],
donde Rm (t) y Sm (t) son polinomios de grado menor o igual que m con coeficientes
que hay que determinar usando la ecuacin. No obstante, existe una salvedad al mtodo
anterior, si q(t) = ept Pm (t), siendo Pm (t) un polinomio de grado menor o igual que
m. Buscaremos la solucin particular entre funciones de la forma y(t) = tRm (t)ept
con Rm (t) un polinomio con coeficientes a determinar.
14
1.1.9.
Ecuaciones exactas
En esta seccin vamos a estudiar ecuaciones diferenciales de primer orden del tipo
M (t, y) + N (t, y)y 0 = 0,
siendo M y N funciones continuas definidas en un abierto D de R2 . Estas ecuaciones
se escriben normalmente como:
M (t, y)dt + N (t, y)dy = 0.
Para este tipo de ecuaciones, si existe una funcin f : D R2 R de clase C 1
f (t, y) = M (t, y), f
(t, y) = N (t, y) y f (t, y) = c define a y como funcin
tal que f
t
y
implcita de t entonces la funcin y(t) tal que f (t, y(t)) = c es solucin de la ecuacin
diferencial. En efecto, derivamos en la anterior igualdad para obtener:
d
f
f
f (t, y(t)) =
(t, y) +
(t, y)y 0 (t) = M (t, y(t)) + N (t, y(t))y 0 (t) = 0.
dt
t
y
Recprocamente, si y : K R es solucin de la ecuacin diferencial entonces:
0 = M (t, y(t)) + N (t, y(t))y 0 (t) =
f
f
f
(t, y) +
(t, y)y 0 (t) =
(t, y)
t
y
t
y por lo tanto f (t, y(t)) = cte. Se impone pues, dada una ecuacin diferencial de este
tipo, buscar una funcin f : D R2 R de clase C 1 tal que f
f (t, y) = M (t, y),
t
f
(t, y) = N (t, y). Este tipo de ecuaciones diferenciales para las que existe la funcin
y
f se llaman ecuaciones diferenciales exactas. El siguiente teorema da respuesta a esta
cuestin.
Teorema 1.1.2. Supongamos que M (t, y) y N (t, y) son funciones de clase C 1 definidas
en un abierto D = I J donde I y J son intervalos de R. Entonces son equivalentes:
1. La ecuacin M (t, y) + N (t, y)y 0 = 0 es exacta,
2.
M
(t, y)
y
N
(t, y).
t
y0
15
Factores integrantes
Empezamos esta seccin haciendo notar que la definicin que hemos dado de ecuacin exacta es ambigua ya que puede ocurrir que exista una funcin : D R2 R
continua que no se anule en ningn punto y tal que (t, y)M (t, y)dt+(t, y)N (t, y)dy =
0 sea exacta sin que M (t, y)dt + N (t, y)dy = 0 lo sea. Y evidentemente se trata de la
misma ecuacin diferencial, sera pues ms correcto hablar de ecuaciones escritas en
forma exacta y de ecuaciones escritas en forma no exacta.
Para abordar la resolucin de ecuaciones escritas en forma no exacta se introduce la
nocin de factor integrante que no es ms que una funcin : D R2 R de clase
C 1 que no se anula en ningn punto y tal que
(t, y)M (t, y)dt + (t, y)N (t, y)dy = 0
est escrita en forma exacta. Como estamos pidiendo a que no se anule, las ecuaciones
M (t, y)dt+N (t, y)dy = 0 y (t, y)M (t, y)dt+(t, y)N (t, y)dy = 0 tienen las mismas
soluciones. La funcin debe verificar (utilizando el Teorema 1.1.2)
(M )
(N )
=
,
y
t
o lo que es lo mismo,
de donde
+M
=
+N ,
y
y
t
t
M
=
N
t
y
M
N
y
t
.
No obstante, la ecuacin anterior es una ecuacin en derivadas parciales, en general, mucho ms difcil de resolver que nuestra ecuacin de partida. As que hallaremos
factores integrantes por mtodos directos y nos limitaremos a factores integrantes de la
forma (t, y) = (t) o (t, y) = (y).
16
1.1.10.
y 0 = 3y 3
y 0 (0) = 0,
que tiene la ecuacin diferencial en variables separadas y que podremos resolver como
hemos indicado anteriormente obteniendo y(t) = t3 para todo t R. Obsrvese que la
funcin y(t) = 0 para todo t R tambin es solucin. En definitiva, este problema de
Cauchy no tiene solucin nica.
Expondremos seguidamente un resultado que garantiza la existencia y unicidad de
soluciones.
Teorema 1.1.3. Sea f : D = [t0 a, t0 + a] [y0 b, y0 + b] R continua y con
derivada parcial f
continua en D, sea M = max{|f (x, y)| : (x, y) D}. Entonces el
y
problema de Cauchy
y 0 = f (t, y)
y 0 (t0 ) = y0 ,
tiene solucin nica definida en [t0 , t0 + ] donde = mn{a, Mb }.
Observamos que el resultado anterior admite una formulacin ms general en trminos de funciones localmente lipschitzianas respecto de la variable y. Por ltimo haremos
notar que la existencia de soluciones para problemas de Cauchy (no la unicidad) se deduce exigiendo nicamente la continuidad de la funcin f .
1.1.11.
17
Hasta ahora, el estudio que hemos hecho de las ecuaciones de orden uno slo permite
abordar la solucin de algunos tipos concretos de ecuaciones, lo cual implica que, en
general, no seremos capaces de encontrar soluciones de una ecuacin de orden uno
elegida al azar.
El mtodo de las isoclinas no nos va a permitir resolver la ecuacin diferencial pero
s extraer cierta informacin cualitativa de las soluciones de una ecuacin diferencial
y 0 = f (x, y). En efecto, si y(x) es una solucin de y 0 = f (x, y) y (x0 , y0 ) es un punto
de la grfica, entonces la pendiente de la solucin en dicho punto es y 0 (x0 ) = f (x0 , y0 )
que es un valor que conocemos.
Los puntos del plano donde la grfica tiene pendiente sern
{(x, y) : f (x, y) = a},
que en general representa una curva llamada isoclina para la pendiente a. Dibujando las
isoclinas de la ecuacin y dndose cuenta de que las curvas de las soluciones que cortan
a una isoclina lo hacen con la misma pendiente, podemos hacernos una idea aproximada
de la forma de las soluciones.
Atencin especial merecen las isoclinas para la pendiente 0 puesto que son las curvas
donde se van a localizar los extremos relativos de las funciones soluciones de la ecuacin
diferencial. Por otro lado, la segunda derivada de una solucin habr de verificar:
y 00 (x) =
f
f 0
(x, y(x)) +
y (x),
x
y
lo cual nos permite averiguar las zonas de concavidad y convexidad de las curvas solucin.
1.2.
Esta seccin est dedicada al estudio de los sistemas de ecuaciones lineales de orden
uno y de las ecuaciones diferenciales lineales de orden mayor que uno. Estudiar este
tipo de sistemas tiene bastante inters ya que algunos sistemas mecnicos y elctricos
de ingeniera estn modelados por ecuaciones y sistemas lineales.
Nos centraremos en el estudio de las soluciones, en particular veremos qu estructura tienen, sin embargo dejaremos para la seccin siguiente el problema de calcular
las soluciones. Por otro lado, esta parte tiene una conexin fuerte con el lgebra lineal,
18
al ser las soluciones de sistemas de ecuaciones lineales y ecuaciones de orden arbitrario espacios vectoriales finito dimensionales. Las referencias que hemos usado para el
desarrollo de la seccin son: [NOR 95, pag. 217-219] y [Jim 00, Captulo 3].
Un sistema de ecuaciones diferenciales lineales es un sistema de ecuaciones diferenciales de la forma
y10 = a11 (x)y1 + a12 (x)y2 + ... + a1n yn + b1 (x),
(1.2)
donde las funciones aij (x) y bi (x) son continuas para todo 1 i, j n en un intervalo
I. Este sistema de ecuaciones diferenciales se puede escribir resumidamente como
y0 = A(x)y + b(x),
(1.3)
donde
...
...
...
...
b1 (x)
y b(x) = b2 (x)
...
bn (x)
an1 (x) an2 (x) ... ann (x)
Hacemos notar que en la ecuacin (1.3) y0 denota la derivada coordenada a coordenada, cuando b(x) es el vector 0 el sistema de ecuaciones diferenciales se dice homogneo y en caso contrario, se dice que el sistema es no homogneo. Diremos que el
sistema (1.2) es de coeficientes constantes si todas las funciones aij (x) son constantes,
o equivalentemente si la matriz A(x) es constante.
Una ecuacin diferencial lineal de orden n es una expresin de la forma
an (x)y n + an1 (x)y (n1) + an2 (x)(x)y (n2) + ... + a1 (x)y 0 + a0 (x)y = c(x), (1.4)
donde las funciones ai (x), 1 i n, y c(x) estn definidas en un intervalo I y son
continuas. Si la funcin an (x) es tal que an (x) 6= 0 para todo x de I, entonces la
ecuacin (1.4) se puede reescribir como
y (n) + cn1 (x)y (n1) + cn2 (x)y (n2) + ... + c1 (x)y 0 + c0 (x)y = d(x),
(1.5)
19
siendo las funciones ci (x), 1 i n, y d(x) continuas en el intervalo I. Seguidamente hacemos notar que la ecuacin diferencial anterior se puede reescribir como un
sistema diferencial lineal introduciendo las variables yi = y (i1) , 1 i n:
y10
y20
...
0
0
1
...
0
... =
...
...
...
...
...
0
yn
c0 (x) c1 (x) c2 (x) ... cn1 (x)
y1
0
y2 0
... ...
yn
d(x)
Planteamos esta seccin de manera que iremos de lo general a lo particular, en concreto veremos primero las propiedades que satisfacen las soluciones de las expresiones
(1.2) y (1.5) para despus pasar al clculo efectivo de dichas soluciones, aunque aclaramos ya, que no seremos capaces de resolver todos los casos posibles que se pueden
plantear a priori.
1.2.1.
y(t) = y0 +
(A(s)y(s) + (s))ds.
(1.6)
t0
20
1.2.2.
(1.7)
1.2.3.
21
Si ahora consideramos el sistema lineal no homogneo, sus soluciones tienen tambin una determinada estructura algebraica tal y como reza el resultado que sigue.
Teorema 1.2.5. El conjunto de soluciones del sistema y0 = A(t)y+b(t) tiene estructura
de variedad afn de dimensin n sobre R. Es decir, toda solucin y(t) del sistema tiene
la forma
y(t) = 1 y1 + 2 y2 + ... + n yn + yp (t),
donde i R para 1 i n. Las funciones y1 (t), y2 (t),..., yn (t) son soluciones
linealmente independientes de (1.7) e yp es una solucin particular del sistema (1.2).
A la luz de este teorema conviene resaltar en este punto que tenemos ante nosotros dos problemas de envergadura para encontrar las soluciones de (1.2). El primero
de ellos es encontrar una matriz fundamental de (1.7) (este problema, que para el caso
unidimensional era muy fcil, ser tratado posteriormente aunque no podremos abordarlo totalmente). El segundo es encontrar una solucin particular de (1.2), para ello
utilizaremos el principio de superposicin de soluciones y el mtodo de variacin de las
constantes. Este ltimo consiste en buscar una solucin particular de (1.2) entre funciones de la forma
yp (t) = Y (t)(c1 (t), c2 (t), ..., cn (t))t ,
para una adecuada funcin c(t), la cual veremos que debe satisfacer
Z
c(t) = Y 1 b(t)dt.
Con lo cual las soluciones de la ecuacin (1.7) sern:
Z
y(t) = Y (t)k + Y (t) Y 1 b(t)dt
para cada vector constante k. Por otro lado justificaremos que el problema de Cauchy
tendr por solucin:
Z t
1
y(t) = Y (t)Y (t0 )y0 + Y (t)
Y 1 (s)b(s)ds.
(1.8)
t0
1.2.4.
22
(1.9)
0
...
zn (t)
.
...
...
(n1)
... zn
(t)
...
zn (t)
23
1.2.5.
e1 (t)
e2 (t)
...
en (t)
y1 (t)
y2 (t)
...
y10 (t)
y20 (t)
...
yn (t)
yn0 (t)
... dt,
...
...
...
...
(n1)
(n1)
(n1)
b(t)
y1
(t) y2
(t) ... yn
(t)
(1.10)
donde la integral anterior se entiende que se toma componente a componente. Ilustraremos este mtodo aplicndolo a la ecuacin
3
3
y 00 y 0 + 2 y = 2t 1,
t
t
para la que suponemos conocido que {t, t3 } es un sistema fundamental de la ecuacin
homognea.
Siguiendo las indicaciones generales antes dadas buscamos una solucin particular
de la forma
yp (t) = e1 (t)t + e2 (t)t3
donde las funciones e1 y e2 deben ser elegidas como en (1.10). Por lo tanto:
!
!
2
e1 (t)
t2 + 2t
=
.
e2 (t)
log(t) + 2t1
24
3
y
t2
= 2t 1, es
y(t) = c1 t + c2 t3 + t2 + t3 log(t),
con c1 y c2 dos nmeros reales arbitrarios.
1.3.
Esta seccin tiene tres partes diferenciadas: resolucin de sistemas lineales de ecuaciones diferenciales de orden uno, resolucin de ecuaciones lineales de orden n y aplicaciones de dichas ecuaciones y sistemas.
En cuanto a los mtodos de resolucin presentados, destacamos el no uso de la forma
cannica de Jordan para el clculo de la exponencial de una matriz. La razn de no hacerlo es la imposibilidad de introducir estos conceptos en la parte de lgebra lineal. Por
otro lado, conviene tener en cuenta que los mtodos que se presentan no son operativos
para sistemas de ms de cuatro ecuaciones debido al tiempo que se tiene que emplear
para su resolucin. En cuanto a las ecuaciones diferenciales lineales nos ocuparemos de
aqullas que tienen coeficientes constantes, para pasar despus al mtodo de los coeficientes indeterminados a la hora de buscar soluciones de la ecuacin no homognea con
trmino independiente siendo combinacin lineal con coeficientes polinmicos de senos
y cosenos, todo ello multiplicado por una exponencial. Este mtodo supondr una alternativa al mtodo de variacin de las constantes estudiado con anterioridad. Tambin se
estudiar el mtodo de los coeficientes indeterminados en la resolucin de sistemas no
homogneos. Una vez estudiadas las ecuaciones lineales de orden n se ver cmo transformar un sistema lineal en un ecuacin lineal para utilizar los mtodos de resolucin
de stas y obtener as tambin las soluciones del sistema lineal. Las fuentes que hemos
utilizado para la confeccin de esta seccin son: [B 93], [Jim 00, Captulo 3] , [Jef 93,
Captulo 5], [NOR 95, Captulo 7]. Para las aplicaciones a las ciencias experimentales
son de inters: [Ada 67, p. 101112], [BP 96, p. 165186] y [Sim 93, p. 111119] .
1.3.1.
X
Ak
A
exp(A) = e :=
k!
k=0
25
0 2 ... 0
D=
...
... n
e1 0 ... 0
0 e2 ... 0
tD
.
e =
... en
26
Como consecuencia de este teorema obtenemos el siguiente resultado que tiene gran
importancia y cuya prueba no ofrece dificultad.
Teorema 1.3.4. Sea A(t) una matriz de funciones definidas en el intervalo I y de tamao n n y sea B(t) una primitiva de A(t). Si B(t)A(t) = A(t)B(t) entonces la matriz
eB es una matriz fundamental del sistema lineal homogneo y0 = A(t)y.
En particular, si A(t) es constante, entonces etA es una matriz fundamental del
sistema y0 = Ay. Adems, y(t) = e(tt0 )A y0 es la solucin del problema de Cauchy:
y0 = Ay,
y(t0 ) = y0 .
Es importante pues notar que no siempre el mtodo de la exponencial de una matriz
conducir a encontrar la solucin de un sistema de ecuaciones diferenciales, aunque en
el caso de que la matriz sea constante el mtodo ser suficiente para resolver el sistema
diferencial.
Otra observacin es que, aunque la matriz asociada al sistema diferencial lineal sea
constante, no siempre es fcil calcular la exponencial, de momento slo sabemos calcularla para matrices diagonalizables. Por ello debemos desarrollar otros mtodos para
calcular la exponencial que no involucren la matriz de Jordan que es tediosa en general
de computar. Para ello desarrollaremos un mtodo basado en el teorema de Cayley
Hamilton. Antes un ejemplo.
Ejemplo 1.3.5. Resolver el sistema y0 = A(t)y, siendo
!
0 1
A(t) =
1 0
Solucin: Empezamos calculando una primitiva de A(t), que ser
!
t 0
B(t) =
t2
t
2
ahora como
t
A(t)B(t) = B(t)A(t) =
0
2
3t2
!
,
entonces eB(t) es una matriz fundamental del sistema. En este caso la exponencial es
fcil de calcular. Para ello descomponemos la matriz B(t) como
!
!
0 0
t 0
B(t) =
+
t2
0 t
0
2
27
0 0
+ exp
!
.
t2
2
exp
et
et
!
,
2.
0 0
exp
t2
2
1 0
=
0 0
+
t2
2
0 1
0 0
1 0
=
0 0
t2
2
!
.
Por lo tanto:
eB(t)
et
0
1 0
t2
2
et
2
t t2
0
t
c1 et
(c1 t2 + c2 )et
X ai (x)
1
=
,
pA (x)
(x i )ri
i=1
28
de donde se deduce:
k
X
1=
ai (x)
i=1
pA (x)
.
(x i )ri
k
X
pA (A)
.
(A i )ri
ai (A)
i=1
k
X
ai (A)qi (A)
qi (A) =
con
i=1
pA (A)
.
(A i )ri
Ax
i xIm (Ai Im )x
=e
i x
=e
X
(A i Im )j xj
j=0
j!
Ax
=e
i x
rX
i 1
j=0
(A i Im )j xj
,
j!
ai (A)qi (A)e
=e
i x
rX
i 1
j=0
ai (A)qi (A)(A i Im )j xj
.
j!
Por ltimo, sumamos las ecuaciones anteriores desde i = 1 hasta i = k para obtener:
!
rX
k
i 1
X
(A i Im )j xj
Ax
i x
e =
e ai (A)qi (A)
.
j!
i=1
j=0
Proponemos seguidamente un ejemplo para aclarar el mtodo dado de construccin
de la exponencial.
pA (A)
La expresin (A
r no tiene sentido, ya que, no es posible que en un cociente haya una matriz. As
i) i
Qn
que dicha expresin, por convenio, ser una forma abreviada de escribir la matriz j=1,j6=i (A j )rj
1
29
1
1
1
x
=e
I2 (A 6I2 ) + e6x I2 (A I2 ) =
5
5
5
2e6x + 3ex
2e6x + 3ex
c1
!
.
c2
Exponemos otro ejemplo donde hay que utilizar los nmeros complejos.
Ejemplo 1.3.7. Resolver el sistema de ecuaciones diferenciales:
x0 = 3x 5y
y 0 = x y.
Solucin: En un primer paso calculamos exp(Bx) con
3 5
B=
1 1
1
1
I2 [A(1 i)I2 ] e(1i)x I2 [A (1 + i)I2 ] =
2i
2i
!
2
sen(x)
+
cos(x)
2
sen(x)
ex
.
sen(x)
2 sen(x) + cos(x)
1
2i
30
2 sen(x) + cos(x)
2 sen(x)
sen(x)
2 sen(x) + cos(x)
y(x) =
c1
!
.
c2
2e6x + 3ex
1
5
3e5x
5
+ 2x
3e5x
5
3x
1
= ex
25
10x 3
3 15x
!
.
3e6x 3ex
2e6x + 3ex
c1
c2
1
+ ex
25
10x 3
3 15x
!
.
tk eta sen(tb),
1.3.2.
31
et cos(2t)
et sen(2t)
et sen(2t) et cos(2t)
!
.
Solucin: A la vista del trmino independiente del sistema y teniendo en cuenta que los
valores propios de A son 1 + 2i y 1 2i, el resultado anterior garantiza la existencia de
una solucin de la forma:
!
!
a
c
yp (t) = cos(2t)
+ sen(2t)
b
d
32
1.3.3.
Recordamos que por una ecuacin lineal con coeficientes constantes entendemos
una expresin del estilo:
y (n) + a1 y (n1) + ... + an1 y 0 + an y = b(t)
donde ai R para todo i {1, 2, ..., n} y b(t) es una funcin continua definida en un
intervalo I. En esta seccin nos dedicaremos a dar las estrategias a seguir para resolver la
ecuacin. Recordamos que la resolucin de la ecuacin completa requiere de la solucin
de la ecuacin homognea
y (n) + a1 y (n1) + ... + an1 y 0 + an y = 0
y de encontrar una solucin particular de la ecuacin no homogenea. Nos ocupamos
ahora de buscar un sistema fundamental de soluciones de la ecuacin homogenea buscando soluciones de la forma y(t) = erx con r C. Derivando y(t) n veces y sustituyendo en la ecuacin diferencial homognea tenemos que:
(rn + a1 rn1 + ... + an1 r + an )erx = 0,
y como la exponencial nunca se anula se tiene que tener rn +a1 rn1 +...+an1 r +an =
0, es decir, r ha de ser raz de la ecuacin z n + a1 z n1 + ... + an1 z + an = 0 que recibe
el nombre de ecuacin caracterstica. Por otro lado el polinomio p(z) = z n + a1 z n1 +
... + an1 z + an se llama polinomio caracterstico.
Es ms, veremos el siguiente resultado:
Teorema 1.3.11. Si la ecuacin caracterstica de la ecuacin diferencial de orden n homognea y con coeficientes constantes tiene por soluciones las races reales a1 ,a2 ,...,aj
con multiplicidades r1 , r2 , ..., rn y las races complejas 1 + 1 i, 2 + 2 i,..., h + h i
con multiplicidades s1 , s2 , ..., sh , entonces el conjunto:
j
[
t al t
{x e
l=1
: 0 t < rl }
h
[
l=1
1.3.4.
33
Resolucin de ecuaciones diferenciales lineales no homogneas por el mtodo de los coeficientes indeterminados
34
35
donde ahora cada pij (D) son polinomios en D y mediante las operaciones algebraicas
ahora se triangulariza el sistema.
Para ilustrar el mtodo resolvemos el sistema de ecuaciones diferenciales lineales:
x0 = 6x 3y + 14z,
y 0 = 4x + 3y 8z,
z 0 = 2x y + 5z.
Para ello empezamos reescribiendo el sistema anterior utilizando el operador derivacin D:
(D + 6)x + 3y 14z = 0,
4x + (D 3)y + 8z = 0
2x + y + (D 5)z = 0.
Ahora eliminamos la variable y de dos ecuaciones restando a la primera ecuacin tres
veces la tercera y a la segunda (D 3) veces la tercera:
Dx + (3D + 1)z = 0,
(2D + 2)x + (D2 + 8D 7)z = 0
2x + y + (D 5)z = 0.
Eliminamos seguidamente x de una de las ecuaciones anteriores, para ello sumamos a
la segunda ecuacin dos veces la primera:
Dx + (3D + 1)z = 0,
2x + (D2 + 2D 5)z = 0
2x + y + (D 5)z = 0.
y a continuacin se le resta a la primera ecuacin la segunda multiplicada por
D
:
2
1
5
( D3 D2 + D 3D + 1)z = 0,
2
2
2x + (D2 + 2D 5)z = 0
2x + y + (D 5)z = 0,
obtenindose el sistema triangular deseado. Ahora se resuelven las ecuaciones lineales
obtenidas de arriba hacia abajo y el proceso concluye.
36
Captulo 2
Transformada de Laplace
2.1.
y(0) = y0
y 0 (0) = y00
(2.1)
donde a, b y c son constantes. Esta forma de resolver la ecuacin se conoce como mtodo
de la transformada de Laplace, y es a menudo especialmente til en el caso de las
aplicaciones prcticas como mostraremos en el captulo prximo en el que usaremos
esta tcnica para estudiar la dinmica de flexin de vigas arquitectnicas.
La primera situacin en la que el nuevo mtodo resulta muy til es cuando f (t) es
una funcin discontinua en el tiempo. El segundo caso es cuando f (t) es una funcin
tipo Delta de Dirac, es decir, cero en todo el dominio excepto en un punto.
Con el fin de motivar el mtodo de la transformada de Laplace consideremos la
siguiente situacin hipottica a modo de ejemplo:
Supongamos que queremos multiplicar entre si los nmeros 3,163 y 16,38, pero nos
hemos olvidado compltamente de cmo multiplicar. Slo recordamos como sumar. De
manera natural nos hacemos la siguiente cuestin.
Pregunta 2.1.1. Es posible reducir el problema de multiplicar entre si los nmeros
3,163 y 16,38 al problema ms simple de la adiccin de dos nmeros?
37
38
La respuesta a esta cuestin es afirmativa y se obtiene como sigue. Primero, tenemos que consultar nuestras tablas logartmicas y computar ln(3,163) = 1,15152094,
y ln(16,38) = 2,79606108. Entonces, agregamos estos dos nmeros para producir
3,94758202. Finalmente, consultamos nuestras tablas antilogartmicas y encontramos
que 3,94758202 = ln 51,80994. As, llegamos a la conclusin de que 3,163 16,38 =
51,80994.
El punto clave en este anlisis es que la operacin de multiplicacin es remplazada
por la simple operacin de la adiccin donde trabajamos con los nmeros logartmicos
en lugar de con las cifras iniciales. Esta idea queda representada de modo sistemtico
en el cuadro abajo presentado.
En el mtodo que analizamos a continuacin, una funcin desconocida y(t) se reemplazar por una nueva funcin Y (t), conocida como su transformada de Laplace. Esta
asociacin tendr la propiedad de que y 0 (t) se reemplazar por sY (s) y(0). As, la
operacin diferencial con respecto a t se reemplazar, esencialmente, por la operacin
de multiplicar con respecto de s. De esta manera, se sustituir el problema de valor
inicial (2.1) por la resolucin de una ecuacin algebrica que puede ser explcitamente
calculada para Y (s). Una vez conocida Y (s), podemos consultar las tablas de la antitransformada de Laplace y recuperar y(t) resolviendo completamente el problema que
inicialmente tenamos planteado.
a
a b
2.2.
ln a
ln b
ln a + ln b
donde
Z
st
e
0
Z
f (t)dt = lm
est f (t)dt.
Veamos a travs de algunos ejemplos el cmputo prctico de la transformada de Laplace para algunas funciones emblemticas que nos pueden ser de utilidad en el futuro.
2.2. D EFINICIN ,
39
PROPIEDADES Y EJEMPLOS
st it
dt = lm
e(is)t dt
(is)A1
e
= lm
A i s
(
1
= ss+i
s > 0,
2 + 2 ,
si
=
indefinida,
s0
Las partes reales e imaginarias en esta ecuacin nos dan
s
y
L {sen(t)} = 2
,
L {cos(t)} = 2
2
s +
s + 2
s > 0.
40
Observacin 2.2.4.1. Es preciso sealar, que, mientras que f (t) est definida para 0
t < , la transformada de Laplace est usualmente definida en un intervalo diferente.
Por ejemplo, la transformada de Laplace de e2t est solo definida para 2 < s < , y
la transformada de Laplace de e8t est solo definida para 8 < s < . Esto es porque
la integral dada por (2.2) solo existira, en general, si s es suficientemente grande. Una
dificultad seria con la definicin de transformada de Laplace es que la integral (2.2)
puede diverger para todo valor de s. Para garantizar que la transformada de Laplace de
f (t) existe al menos en algn intervalo s > s0 , imponemos las siguientes condiciones
sobre f (t).
Condicin 1: La funcin f (t) es continua a trozos. Esto significa que f (t) tiene una cantidad
finita de discontinuidades en las que existen los lmites laterales de f (t) en cada
intervalo 0 t. En otras palabras, f (t) tiene solo un nmero finito de discontinuidades de tipo salto finito en cada subintervalo del dominio. La grfica de una
funcin tpica satisfaciendo esta condicin se muestra en la Figura 2.2.
Condicin 2: La funcin f (t) es de orden exponencial, es decir, existen constantes M y c tal
que
|f (t)| M ect ,
0 t < .
2.2. D EFINICIN ,
PROPIEDADES Y EJEMPLOS
41
Lema 2.2.5. Si f (t) es una funcin continua a trozos y de orden exponencial, entonces
su transformada de Laplace existe para todo s suficientemente grande. Ms concretamente, si f (t) es continua a trozos y |f (t)|ct , entonces F (s) existe para s > c.
Probaremos el Lema 2.2.5 con la ayuda del siguiente resultado del clculo integral
como herramienta fundamental.
R
Lema 2.2.6. Sea g(t) una funcin continua a trozos. La integral impropia 0 g(t)dt
R
existe si 0 |g(t)|dt existe. Para demostrar que esta ltima integral existe, basta con
probar que existe una constante K tal que
Z A
|g(t)|dt K
0
para todo A.
RA
Demostracin del Lema 2.2.5. Como f (t) es continua a trozos, la integral 0 est f (t)dt
existe para todo A. Con el fin de demostrar que esta integral tiene lmite para todo s suficientemente grande, observemos que
Z A
Z A
st
est ect f (t)dt
e f (t)dt M
0
M (cs)A
M
=
e
1
cs
sc
para s > c. De tal manera, el Lema 2.2.6 garantiza que la trasformada de Laplace de
f (t) existe para s > c. Por tanto, de aqu en adelante, tcitamente asumiremos que
|f (t)| M ect y s > c.
Una de las principales propiedades que confieren utilidad prctica al uso de la transformada de Laplace en la resolucin de ecuaciones diferenciales se encuentra en el
hecho de que la transformada de Laplace de f 0 (t) est muy relacionada con la transformada de Laplace de f (t). Esto es lo que demuestra el siguiente resultado.
Lema 2.2.7. Sea F (s) = L{f (t)}. Entonces
L{f 0 (t)} = sL{f (t)} f (0) = sF (s) f (0).
Demostracin. La idea de la prueba es sencilla basta con computar la frmula de la
transformada de Laplace de f 0 (t) e integrar por partes. En efecto,
Z A
0
0
L{f (t)} = lm
est f (t)dt
A 0
Z A
st
A
= lm e f (t) 0 + lm s
est f (t)dt
A
A
0
Z A
= f (0) + s lm
est f (t)dt
A
= f (0) + sF (s).
42
Finalizando la prueba.
Nuestro siguiente paso es relacionar la transformada de Laplace de f 00 (t) con la
transformada de Laplace de f (t). Este resultado lo exponemos en el Lema 2.2.8.
Lema 2.2.8. Sea F (s) = L{f (t)}. Entonces,
L{f 00 (t)} = s2 F (s) sf (0) f 0 (0).
Demostracin. Usando dos veces el Lema 2.2.7 observamos que,
00
Por lo tanto
a[s2 Y (s) sy0 y00 ] + b[sY (s)] y0 ] + cY (s) = F (s)
(2.3)
(as + b)y0
ay00
F (s)
+
+
.
as2 + bs + c as2 + bs + c as2 + bs + c
(2.4)
2.2. D EFINICIN ,
43
PROPIEDADES Y EJEMPLOS
La funcin (2.4) es la solucin de (2.3). Para encontrar y(t) solucin de (2.1) tenemos que consultar la tabla de valores de la inversa a la transformada de Laplace. Ahora,
R
Y (s) se expresa explcitamente en trminos de y(t), i.e., Y (s) = 0 est y(t)dt de donde y(t) = L1 {Y (s)}. Notemos que para computar esta inversa hemos de realizar una
integracin respecto a la variable compleja. De tal manera siempre que podamos intentaremos evitar este cmputo usando las propiedades de la trasnformada (bsicamente
la linealidad) y el reconocimiento de funciones que sabemos que son transformada de
Laplace de otras. Veamos esto con un ejemplo.
Ejemplo 2.2.9. Resolver el problema de valor inicial
d2 y
dy
3 + 2y = e3t ;
2
dt
dt
y(0) = 1,
y 0 (0) = 0.
1
s3
Y (s) =
(2.5)
Para encontrar y(t), expandimos cada trmino de la parte derecha de (2.5) en fracciones
simples. As, escribimos
A
B
C
1
=
+
+
.
(s 1)(s 2)(s 3)
s1 s2 s3
Esto implica que
A(s 2)(s 3) + B(s 1)(s 3) + C(s 1)(s 2) = 1.
(2.6)
+
.
8s 1)(s 2)(s 3)
2s1 s2 2s3
De la misma manera, escribimos
s3
D
E
=
+
(s 1)(s 2)
s1 s2
44
(2.7)
+
+
2s1 s2 2s3 s1 s2
5 1
2
1 1
=
+
.
2s1 s2 2s3
Y (s) =
2.3.
d
F (s).
ds
Rb
a
f (t)dt =
Rb
a
g(t)dt.
45
R
Demostracin. Por la definicin, F (s) = 0 est f (t)dt. Derivando en ambos lados de
esta ecuacin respecto de s obtenemos
Z
d
d st
e f (t)dt
F (s) =
ds
ds
Z 0
Z
st
test f (t)dt
=
(e )f (t)dt =
s
0
0
= L{tf (t)}.
d 1
1
=
.
ds s 1
(s 1)2
13
(13)!
d13
1
13 d
L{1}
=
(1)
= 14 .
13
13
ds
ds s
s
La principal utilidad de la Proposicin 2.3.1 es el cmputo de la inversa de la transformada de Laplace, como se muestra en los siguientes ejemplos.
Ejemplo 2.3.4. Nos preguntamos qu funcin tiene transformada de Laplace igual a la
funcin 1/(s 2)2 .
Solucin. Observamos que
1
d 1
1
=
y
= L{e2t }.
2
(s 2)
ds s 2 s 2
1
(s 2)2
= teet .
46
Ejemplo 2.3.5. Que funcin tiene transformada de Laplace igual a 4s/(s2 + 4)2 ?
Solucin. Observamos que
(s2
4s
d 2
=
2
+ 4)
ds s2 + 4
s2
2
= L{sen(2t)}.
+4
4s
2
(s + 4)2
= t sen(2t).
Ejemplo 2.3.6. Que funcin tiene transformada de Laplace igual a s/(s 4)3 ?
Solucin. Observamos que
1
d2 1 1
=
.
(s 4)3
ds2 2 s 4
As, usando la Proposicin 2.3.1 dos veces, vemos que
1 2 4t
1
=L
te
.
(s 4)3
2
Proposicin 2.3.7. Si F (s) = L{f (t)}, entonces
L{aat f (t)} = F (s a).
Demostracin. Por la definicin
Z
at
L{a f (t)} =
est eat f (t)dt
Z0
Z
(as)t
=
e
f (t)dt =
0
47
La utilidad real de la Proposicin 2.3.7 es una inversin de la transformada de Laplace, como muestra el siguiente ejemplo.
Ejemplo 2.3.9. Que funcin g(t) tiene la transformada de Laplace igual
s7
?
25 + (s 7)2
G(s) =
Solucin. Observamos que
F (s) =
s2
s
= L{cos(5t)}
+ 52
y que G(s) es obtenida de F (s) reemplazando todas s por s 7. As, por la Proposicin
2.3.7,
s7
= L{e7t cos(5t)}.
(s 7)2 + 25
Ejemplo 2.3.10. Que funcin tiene la transformada de Laplace igual 1/(s2 4s + 9)?
Solucin. Una forma para resolver este problema es expandir 1/(s2 4s + 9) en fracciones simples. Una forma mucho mejor es completar el cuadrado de s2 4s + 9. As,
escribimos
1
1
1
= 2
=
.
2
s 4s + 9
s 4s + 4 + (9 4)
(s 2)2 + 5
Ahora,
1
=L
2
s +5
1
sen( 5t) .
5
1 2t
e sen( 5t) .
5
s
2 2t
2t
= L e cos( 5t) + e sen( 5t) .
s2 4s + 9
5
s2
48
2.4.
1
si a < x < a +
2
2
h (x a) =
0 si x < a , x > a + .
2
2
Definimos la funcin de Heaviside por
(
0 si x < a
Heaviside(x a) =
1 si x a
que posteriormente usaremos.
Es inmediato comprobar que
1h
i
h (x a) =
Heaviside x a +
Heaviside x a
.
2
2
Es simple comprobar que para todo > 0
Z
Z a+
2 1
dx = 1
h (x a)dx =
a 2
Luego es inmediato que
Z
h (x a)dx = 1.
lm
0
El proceso anterior sugiere definir un paso al lmite, preservando las dos propiedades
siguientes
si x 6= a
0
(x a) =
(2.8)
R
(x
a)dx
=
1
|x|
49
El valor nulo del lmite anterior, significa que la funcin y todas sus derivadas
tienen la propiedad de tender a cero ms rpido que cualquier potencia de xn con n
N0 , cuando |x| es muy grande. Geomtricamente la propiedad significa que la grfica
de y las grficas de todas las derivadas (n) , para |x| muy grande se confunden con el
eje x.
Observacin 2.4.1.1. Las integrales impropias de las funciones, 0 y en general
de las funciones derivadas (n) 0, n N0 , siempre existen, pues para K > 0
suficientemente grande
Z
Z K
(n)
()d
(n) ()d.
50
con
a 0.
Captulo 3
Vigas arquitectnicas
52
3.1.1.
d2
dx2
d2 w
EI 2 = q(x)
dx
siendo q una funcin generalizada que modela la carga solicitante. Por otra parte
E es el mdulo de elasticidad e I es el momento de inercia de la seccin de la
viga situada en el plano perpendicular al que contiene a la viga. Observese que si
EI es constante entonces
d2
EI 2
dx
d2 w
dx2
= q(x).
d2 w
= M (x), proporcina el momento flexor en cada seccin de la viga
dx2
d
d2 w
EI
Esta ecuacin diferencial, junto con sus condiciones iniciales y de contorno proporcionan unvocamente la funcin w de capital importancia en nuestro estudio. A
continuacin discutiremos, segn las condiciones de contorno, tres tipos de vigas
que encontramos usualmente en la literatura clsica.
3.1.2.
53
Viga en voladizo
EI 2 = q(x)
dx2
dx
w(0) = 0
dw
=0
dx x=0
d
w
=0
dx2 x=L
d3 w
=0
dx3 x=L
Si existe una fuerza adicional mg donde m es la masa de la viga aplicada en el
extremo de la misma hay que considerar como cuarta condicin de contorno a
d3 w
= mg
dx3 x=L
3.1.3.
EI 2 = q(x)
dx2
dx
w(0) = 0
w(L) = 0
d2 w
=0
dx
x=0
d2 w
=0
dx2 x=L
Si existe una fuerza adicional mg donde m es la masa de la viga aplicada en el
extremo de la misma hay que considerar como cuarta condicin de contorno a
d3 w
= mg
dx3 x=L
54
3.1.4.
Vigas empotradas
EI 2 = q(x)
dx2
dx
w(0) = 0
w(L) = 0
dw
=0
dx x=0
dw
=0
dx x=L
55
56
Para visualizar mejor el problema se supone que la viga es un objeto unidimensional, considerando slo la curva elstica, con lo que la seccin transversal queda
reducida al punto P . Adems imponemos una condicin adicional al problema,
debido a que la pendiente de la curva y(x) es pequea haremos la aproximacin
R=
Retomando la ecuacin M =
para el momento la ecuacin
1 + y 0 (x)
1
00 .
00
y (x)
y (x)
EI
R
EIy 00 (x) = M,
donde el momento flector M ser la suma de los momentos de las fuerzas exteriores que actan sobre el segmento de la viga respecto al punto P tomando
por convenio que las fuerzas hacia arriba dan momentos positivos y hacia abajo
negativos.
Vamos a estudiar ahora dos casos concretos, el primero el de una viga apoyada
sobre dos puntos y el segundo el de una viga empotrada a la pared.
3.2.1.
Estudiamos en este apartado la flexin de una viga de carga uniforme de c Newtons por metro de longitud, longitud l y una carga de b Newtons concentrada en
su punto medio (vase la Figura 3.2.1).
Consideramos las fuerzas que aparecen sobre el segmento OP de la viga, stas
son:
a) una fuerza hacia arriba en O igual a la mitad del peso total, es decir a =
Newtons,
cl+b
2
57
cl + b
x
cl + b
x2
x cx =
xc
2
2
2
2
si
l
2
y
x
l
bl cl b
x2
cl + b
x cx b(x ) = +
xc
M2 =
2
2
2
2
2
2
si
l
x .
2
A continuacin hacemos notar que podemos adoptar una notacin conjunta para
el momento flector, en efecto, obsrvese que
clx cx2
b
l
bl
+ (1)i (x ) + ,
2
2
2
2
4
de donde resulta la ecuacin diferencial a resolver:
Mi =
EIy 00 (x) =
clx cx2
b
l
bl
+ (1)i (x ) + .
2
2
2
2
4
c
b
l
bl
cl 3
x x4 + (1)i (x )3 + x2 + ex + d,
12
24
12
2
8
58
bl
24
y
e=
cl3 bl2 b
.
24
Hacemos notar por ltimo que para calcular y(0) tomamos i = 1 y para el clculo
de y(l) elegimos i = 2.
3.2.2.
59
x1
2
cl+b
2
Newtons,
metros de Q1 .
1
cl + b
x1 cx21
2
4
para
l
0 x1 ,
2
cl + b 3
1
x1 cx41 .
12
48
c
l
cl + b
x2 x22 b(x2 ),
2
4
2
cl + b 2
c
b
l
x2 x32 (x2 )2 ,
4
12
2
2
y
EIy(x2 ) =
K 2 cl + b 3
c
b
l
x2 +
x2 x42 (x2 )3 .
2
12
48
6
2
cl + b
l2
l+c ,
8
24
60
d4 w
EI
= q(x)
dx4
w(0) = 1
dw
= 2
dx x=0
d w
= 3
dx
x=0
d w
= 4
dx3 x=0
donde q(x) es la carga aplicada a la viga. Emplearemos la Trasformada de Laplace
para su resolucin. Tomando transformadas en la anterior ecuacin tenemos que
L (EIw0000 (x) , x, s) = L (q(x), x, s)
Teniendo en cuenta que
L (EIw0000 (x) , x, s) = EI((L (w)) s4 w (0) s3 w0 (0) s2 w00 (0) s w(3) (0))
Por otra parte
EI(L (w) s4 w (0) s3 w0 (0) s2 w00 (0) s w(3) (0)) = L (q)
y resolviendo esta ecuacin respecto a L (w) tenemos que
L (w) =
L(q)
EI
L(q)
EI
3.3.1.
61
En este caso, usando las condiciones de contorno e iniciales del problema, tenemos que
p0
L (q) = L (p0 ) =
s
y adems se tiene que
w0 (0) = 0,
w (0) = 0,
w00 (L) = 0,
w(3) (L) = 0
+
w(x) = L
EI s5
s4
p0
L1
EI
1
s5
+ 3 L
1
s3
+ 4 L
1
s4
y como
x3
x4
, L1 s14 = ,
24
6
quedando la flexin de la viga en la forma
L1
1
s5
w(x) =
L1
1
s3
x2
2
p 0 x4 4 x3 3 x2
+
+
.
EI 24
6
2
Las constantes 3 y 4 pueden ser determinadas usando las condiciones de contorno w00 (L) = 0 y w(3) (L) = 0 para ello
d2 w
1
=
(p0 L2 + 24 EIL + 23 EI) = 0
2
dx x=L 2EI
1
d3 w
=
(Lp0 4 EI) = 0
3
dx
EI
x=L
luego
L2 p0
2EI
Lp0
4 =
.
EI
3 =
62
3.3.2.
viga
En este caso la carga sobre la viga puede representarse como una distribucin
dada por
q(x) = p0 (x L/2).
Calculando su transformada de Laplace obtenemos
Ls
L(q) = p0 e 2 .
Por tanto
Ls
p0 e 2 + w (0) s3 + w0 (0) s2 + w00 (0) s + w(3) (0)
EI
=
w(x) = L1
s4
p0 1
e
L
EI
p0
6EI
Ls
2
1
1
+ w(3) (0) L1
+ w00 (0) L1
=
4
4
s
s
s3
L
x
2
3
L
w(3) (0) x3 w00 (0) x2
Heaviside x
+
+
2
6
2
al ser
Ls
3
2
L
L
1 e
L 4 = x
Heaviside x
.
s
2
2
63
4 x3 3 x2
si 0 x < L/2
6 + 2
w(x) =
3
p0
L
4 x3 3 x2
x
+
+
si L/2 x L
6EI
2
6
2
Usando el hecho que w(x) es al menos dos veces derivable en (0, L) y usando las
condiciones de contorno tenemos que
3 =
p0
,
2EI
4 =
3 =
p0
2EI
p0 L
p0 L
, 4 =
8EI
8EI
p0 x2 (4x 3L)
si 0 x < L/2
48EI
w(x) =
2
p0 (L 4x)(L x)
si L/2 x L
48EI
Esta funcin proporciona analgamente el momento flector y la fuerza de ruptura
en la viga.
64
Bibliografa
[Ada 67]
P. Puig Adam. Curso terico prctico de ecuaciones diferenciales aplicado a la fsica y la tcnica. Biblioteca Matemtica,
Madrid, 1967
[Apo 80]
T. M. Apstol. Calculus: clculo con funciones de varias variables y lgebra lineal, con aplicaciones a las ecuaciones diferenciales y a las probabilidades, volumen II. Reverte, Barcelona,
segunda edicin, 1980
[Apo 95]
[BS 00]
[BGo 00]
[BP 96]
[B 93]
[Chi 87]
[Coq 97]
[Dem OO]
[Fer 92]
[Fer 93]
66
B IBLIOGRAFA
[Fer 94]
[Jef 93]
[Jim 00]
[FMM 98]
[GT 97]
[LHE 99]
R. E. Larson, R. P. Hostetler, y B. H. Edwards. Clculo, volumen 2. M. Graw Hill, Madrid, sexta edicin, 1999
[Lp 01]
[MT 98]
[MC 99]
[NOR 95]
S.Novo, R. Obaya, y J. Rojo. Ecuaciones y sistemas diferenciales. McGraw Hill, Madrid, 1995
[Ped 01]
[P 95]
[TF 99]
[T 53]
[Kre 89]
[Sch 66]
[Sim 93]