Está en la página 1de 21

Ecuaciones diferenciales parciales

Anlisis de Fourier

u ( x, t ) = [ A cos( t ) + B sin( t )] sin


n n n n n

n Lx

son solucin a la ecuacin de onda y satisfacen las condiciones de frontera. Ejemplo 7.9. Para cada valor de n , la funcin un ( x, t ) puede verse como n un ( x, t ) = Amp n (t ) sin x L donde la funcin Amp n (t ) = An cos( n t ) + Bn sin( n t ) , varia con el tiempo y modifica la amplitud de la funcin sin( n x / L ) . Como se ilustra en la figura para n = 3 .

Figura 7.4. Comportamiento de la solucin para diferentes tiempos.

Una sola solucin un ( x, t ) no necesariamente satisface las condiciones iniciales. Dado que la ecuacin de onda 1D es lineal y homognea, podemos utilizar el Teorema Fundamental de EDPs para reunir varias soluciones un ( x, t ) , con el fin de cumplir las condiciones iniciales. Consideremos la suma de infinitas soluciones, la cual tambin es solucin de la ecuacin de onda, dada por u ( x, t ) = un ( x, t )
n =1

Note que u ( x, t ) satisface las condiciones de frontera, pues cada solucin un ( x, t ) las satisface. Podemos escribir la nueva solucin como n u ( x, t ) = [ An cos( n t ) + Bn sin(nt )] sin x L n =1

La nueva solucin debe satisfacer la condicin inicial u( x, 0) = f ( x ) , para ello n u ( x, 0) = An sin x = f ( x) L n =1

209

Ecuaciones diferenciales parciales

Anlisis de Fourier

Esta sumatoria corresponde a la serie de Fourier de la seal f ( x) , que debe ser peridica. Como la serie contiene slo funciones sin( n 0 x ) , la seal f ( x ) debe ser impar. La frecuencia fundamental de la serie es 0 = / L , por lo cual la seal f ( x ) tiene periodo T = 2 / L . Los coeficientes An de la serie, pueden ser encontrados para cualquier deflexin inicial f ( x ) de la cuerda, utilizando la ecuacin de los coeficientes para la serie trigonomtrica de Fourier de una seal impar, dados por 4 T /2 T 2

An = A =
n

f ( x ) sin( n 0 x )dx n f ( x ) sin x dx L

La nueva solucin u ( x, t ) , debe satisfacer tambin la condicin inicial de velocidad u ' ( x, 0) = g ( x ) , para ello u( x, t ) t

[B =
n =1 n n

cos( t ) A sin( t )] sin

n x L

n u( x, t ) = Bn n sin x = g ( x ) t t = 0 n =1 L

De nuevo la serie corresponde a una seal impar con 0 = / L y periodo T = 2 / L . Los coeficientes de la serie pueden ser encontrados como B =
n n

g ( x ) sin

n x dx L

Despejando los coeficientes Bn se tiene Bn = 2 n g ( x ) sin x dx


L

L L
n 0

Dadas unas condiciones iniciales f ( x) y g ( x) , los coeficientes An y Bn pueden ser encontrados, para garantizar que la solucin u ( x, t ) , que ya satisface la ecuacin de onda y las condiciones de frontera, satisfaga tambin las condiciones iniciales. Por simplicidad, asumamos que la velocidad inicial de la cuerda g ( x ) es cero, por lo cual los coeficientes Bn son cero y la solucin general puede escribirse como 210

Ecuaciones diferenciales parciales

Anlisis de Fourier

n cn u ( x, t ) = An cos(nt ) sin x , n = L L n =1

211

Ecuaciones diferenciales parciales

Anlisis de Fourier

Interpretacin de la solucin n u ( x, t ) = An cos(nt )sin x L n =1

Conociendo que cos sin = 1 2 [sin( ) + sin( + )] , podemos escribir 1 n n u ( x, t ) A sin ( x ct ) A sin ( x ct ) = n + n + 2 n =1 L L n =1 n Dado que f ( x ) = An sin x , podemos escribir u ( x, t ) como

L u ( x, t ) = 1 2

n =1

[ f E ( x ct ) + f E( x + ct )]

donde f E ( x) es una extensin impar y peridica, con periodo 2 L , de la funcin f ( x) , como se ilustra en la Figura 7.6. La respuesta general u( x, t ) consiste de 2 versiones de f ( x ) que se trasladan en el tiempo, en direccin contraria, y se superponen.

Figura 7.5. Deflexin inicial de la cuerda.

Figura 7.6. Extensin peridica e impar de la deflexin inicial.

212

Ecuaciones diferenciales parciales

Anlisis de Fourier

Ejemplo 7.10. Una cuerda de longitud L y con c = 1 , es distorsionada de acuerdo a


3 x L

f ( x ) = sin

Encuentre la deflexin u ( x, t ) de la cuerda, si la velocidad inicial es cero. Solucin. Primero se deben encontrar los coeficientes An , para ello A =
n

L
L 0

f ( x ) sin

2 n 3 x dx = L sin L L L 0

n x sin x dx L

Conociendo que sin( ) sin( ) = 1 2 [cos( ) cos( + )] , se tiene x x A = cos L(n 3) cos (n + 3) dx n L L 0
L

Para n = 3 sin ( 6 x / L) L 1 L 6 A3 = 1 cos x dx = 1 =1 L 6 L 0 0 Para n 3 sin [ x ( n 3) / L] sin [ x ( n +3) / L] A = =0 n ( n + 3) ( n 3) 0


L

Solo hay un coeficiente de la serie que no es cero, el coeficiente A3 . Por tal motivo, la deflexin de la cuerda est dada por 3 3 3 3 u ( x, t ) = A cos t sin x = cos t sin x 3 L L L

213

Ecuaciones diferenciales parciales

Anlisis de Fourier

214

Ecuaciones diferenciales parciales

Anlisis de Fourier

7.3.2. Solucin de DAlembert La solucin de DAlembert se basa en el transformada de Fourier (TF) para solucionar la ecuacin de onda 1D. Encontremos la TF con respecto a x de u ( x, t ) . x {u ( x, t )} =

u ( x , t )e

j x

dx = U (, t )

Utilizando la propiedad de diferenciacin de la TF, se tiene x {u x ( x, t )} = j U (, t ) x {u xx ( x, t )} = 2 U (, t ) Para encontrar la TF con respecto a x de u t ( x, t ) no se puede utilizar esta propiedad, pues la transformada y la derivada son con respecto a diferentes variables. Para este caso se tiene x {ut ( x, t )} =

u( x, t ) jx e dx = t

lim

h 0

u ( x , t + h ) u ( x , t ) j x e dx h

1 x {ut ( x, t )} = lim [u( x, t + h ) u ( x, t )] e jx dx h 0 h 1 {u ( x, t )} = lim {u ( x, t + h )} u ( x, t ) } x x{ x t h 0 h 1 {u ( x, t )} = lim [U ( , t + h) U (, t )] x t h 0 h Por tal motivo, podemos escribir {u ( x, t )} =
x t

U (, t ) t

= U (, t )
t

As, la TF con respecto a x de una derivada con respecto a t es igual a la derivada con respecto a t de la TF con respecto a x . De forma similar para una segunda derivada 2U (, t ) = U (, t ) tt x {utt ( x, t )} = t 2 De acuerdo a esto resultados, si tomamos la TF de la ecuacin de onda, se tiene x utt = x c u xx

{ }

215

Ecuaciones diferenciales parciales

Anlisis de Fourier

2U (, t ) t t
2

= c 2 2 U ( , t ) + c 2 2 U ( , t ) = 0

2U (, t )
2

La idea es solucionar esta EDO de segundo orden, para encontrar U (, t ) y despus utilizando la transformada inversa de Fourier, encontrar la deflexin de la cuerda u ( x, t ) . La ecuacin caracterstica de la EDO es m 2 + c 2 2 = 0 , por lo cual sus races son m1, 2 = jc . Para cada valor de , las races cambian y por ende la solucin de la EDO tambin. Como las races del ecuacin caractersticas son complejas conjugadas la solucin de la EDO, que en general puede ser compleja, es de la forma U (, t ) = H ( )e jct + G( )e jct donde H () y G() son funciones slo de (constantes con respecto a t ). La deflexin de la cuerda u ( x, t ) , puede ser encontrada a partir de U (, t ) , como u( x, t ) = x 1 {U (, t )} = u ( x, t ) = 1
j x U (, t )e d 2

2 u( x, t ) = 1 H ( )e j( x + ct ) d + 2

( H ( ) e

j ct

+ G( ) e jct ) e jx d

G( )e j ( x ct ) d

Suponga que existe un h( x ) y g ( x ) corresponden a la transformada inversa de Fourier de las funciones H () y G( ) , es decir, h( x ) = x1 { H ( )} = g ( x ) = x
1

H ()e 2 2
1

j x

{G()} =

G ( ) e j x d

De acuerdo a esto, podemos escribir la deflexin de la cuerda como u( x, t ) = h( x + ct ) + g ( x ct ) Las funciones h y g son encontradas utilizando las condiciones iniciales y las condiciones de frontera. 216

Ecuaciones diferenciales parciales

Anlisis de Fourier

Condiciones Iniciales Deflexin inicial: u ( x, 0) = f ( x ) u ( x,0) = h( x) + g ( x) = f ( x) Velocidad inicial: u ' ( x, 0) = g ( x ) ut ( x, t ) = ch' ( x + ct ) cg ' ( x + ct ) ut ( x, 0) = ch' ( x ) cg ' ( x ) = 0
' ' ' ' ut ( x, 0) = c h ( x ) g ( x ) = 0 h ( x ) g ( x) = 0 h( x ) = g ( x ) + k , k R ( 2)

(1)

Despejando h( x ) en (1) e igualando con ( 2) , se tiene que f ( x ) g ( x ) = g ( x) + k . Despejando, se encuentra g ( x ) = 1 y reemplazando en (2) se tiene que 2 [ f ( x) k ] 1 h( x ) = 2 [ f ( x ) + k ] . Por tal motivo, la deflexin de la cuerda pues escribirse como u ( x, t ) = 1 2 Condiciones de Frontera u (0, t ) = 0 u (0, t ) = 1

[ f ( x + ct ) + f ( x ct )]

[ f (ct ) + f (ct )] = 0

2 f (ct ) = f ( ct ) Por tal motivo, la funcin f ( x ) es impar. u( L, t ) = 0 u( L, t ) = 1

[ f ( L + ct ) + f ( L ct )] = 0

2 f ( L + ct ) = f ( L ct ) Por tal motivo, la funcin f ( x ) tiene periodo 2 L . Observacin 7.2. La solucin de DAlembert concuerda con la solucin obtenida por el mtodo de separacin de variables. La TF permite solucionar de manera sencilla otras ecuaciones diferenciales parciales. 217

Ecuaciones diferenciales parciales

Anlisis de Fourier

Ejemplo 7.11. Resuelva la ecuacin aux + ut = 0 , utilizando la transformada de Fourier, donde a es una constante real y u ( x, 0) = f ( x ) . Solucin. Tomando la TF con respecto a x , se tiene a x {u x } + x {ut } = 0 ajU (, t ) + U (, t ) t =0

La EDO de primer orden puede ser resulta haciendo U (, t ) = aj t U ( , t ) Ahora se debe integrar a ambos lados de la igualdad. Al integrar el lado izquierdo de la expresin, se obtiene la funcin ajt ms una constante de integracin H ( ) , que depende del valor de y es constante con respecto a t . ln[U (, t )] = jat + H ( ) U (, t ) = H ( )e at La solucin de la ecuacin debe cumplir u ( x, 0) = f ( x ) , por lo cual si tomamos la TF {u( x, 0)} = x { f ( x )} U ( , 0) = F ( ) Utilizando esta restriccin, se encuentra que H () = F () y que U (, t ) = F ()e at . La funcin u( x, t ) es encontrada tomando la transformada inversa de Fourier
1 1 at u ( x , t ) = } x {U ( , t )} = x { F ( )e

Conociendo que si { f ( x )} = F ( ) entonces { f ( x x0 )} = F ( )e jx0 , podemos encontrar la solucin de la EDP, como u( x, t ) = f ( x at )

218

Ecuaciones diferenciales parciales

Anlisis de Fourier

7.4. Ecuacin de calor unidimensional El flujo de calor de un material homogneo est gobernado por la ecuacin de calor: u t = c 2 2 u , c 2 = K

Donde u ( x, y, z , t ) es la temperatura del cuerpo, K es la conductividad trmica, es el calor especfico y es la densidad del material. La funcin 2 u es el Laplaciano de u con respecto a las coordenadas ( x, y , z ) , definido como u u u 2u = 2 + 2 + 2 x y z Consideremos la temperatura en una barra delgada alambre, de seccin transversal constante y de material homogneo. El alambre est orientado a lo largo del eje x y est perfectamente aislado, para que el calor fluya solamente en la direccin x .
2 2 2

Figura 7.7. Barra delgada orientada a lo largo del eje x.

En este caso, u depende slo de x y de t , por lo cual las derivadas parciales con respecto a y y a z , del Laplaciano de u , son cero. Por tal motivo, la ecuacin de calor unidimensional se plantea como u t = c2
2 = u

x 2

7.4.1. Alambre finito (Separacin de variables) Consideremos un alambre de longitud finita L , y supongamos que sus extremos son mantenidos a temperatura cero:

Figura 7.8. Barra delgada de longitud L.

219

Ecuaciones diferenciales parciales

Anlisis de Fourier

Condiciones de frontera La temperatura en los extremos del alambre es cero. u(0, t ) = 0 u ( L, t ) = 0 Condicin inicial La temperatura inicial del alambre est dada por
u ( x,0) = f ( x)

La idea es encontrar la funcin u ( x, t ) que satisface la ecuacin de calor 1D y que satisfaga las condiciones de frontera y la condicin inicial. Para ello se utilizar el mtodo de separacin de variables para solucionar la ecuacin u = c 2u .
t xx

Suponga que la solucin de la EDP es de la forma u ( x, t ) = F ( x )G(t ) , entonces podemos reescribir la ecuacin de calor como F ( x )G ' (t ) = c 2 F ( x )G(t ) Separando las variables x y t , se tiene G ' (t ) k R F ( x) = =k, c 2G ( t ) F ( x ) A partir de esta ecuacin se puede plantear las dos siguientes EDOs F ( x ) kF ( x ) = 0 G ' kc 2G = 0 Solucin de ( a ) Revisando las condiciones de frontera u(0, t ) = 0 y u( L, t ) = 0 , se tiene que u(0, t ) = F (0)G(t ) = 0 u( L , t ) = F ( L )G(t ) = 0

(a) (b )

220

Ecuaciones diferenciales parciales

Anlisis de Fourier

Claramente, G (t ) no puede ser cero, pues ello implicara u ( x, t ) = 0 , por lo cual se debe cumplir que F (0) = 0 y F ( L ) = 0 . La ecuacin ( a ) puede escribirse como d 2 F ( x ) kF ( x ) = 0 dx 2 cuya ecuacin caracterstica est dada por m2 k = 0 , con races m1, 2 = k . La solucin de la ecuacin depende del valor de k . De forma similar que en el caso de la ecuacin de onda, se puede demostrar que para k 0 la solucin de ( a ) que satisface las condiciones F (0) = 0 y F ( L ) = 0 es f ( x ) = 0 , lo cual implica u( x, t ) = 0 . Por tal motivo, se puede asumir que k = q 2 ( k < 0 ) y la ecuacin caracterstica tiene races complejas conjugadas m1 = jq y m2 = jq . La solucin de ( a ) es de la forma F ( x ) = A cos( qx) + B sin( qx ) La solucin debe satisfacer F (0) = 0 y F ( L) = 0 , entonces F ( 0) = A = 0 A=0

F ( L ) = B sin( qL ) = 0 sin( qL ) = 0 Para garantizar la restriccin, se requiere que qL = n , donde n Z , por lo cual q= n L

y podemos escribir la solucin como F ( x ) = B sin n x L

Asignado B = 1 , obtenemos infinitas solucin para la ecuacin ( a ) (una diferente para cada valor de n ) a las cuales llamaremos Fn y escribiremos como
n Fn ( x ) = sin x L

Solucin de (b ) Dado que q = n L n , se tiene que k = y podemos escribir (b ) como


2

L 221

Ecuaciones diferenciales parciales

Anlisis de Fourier

dG(t )

dt

n c L

G (t ) = 0
2

Definamos n = cn / L , entonces podemos escribir (b ) como G (t ) + n G(t ) = 0 . La ecuacin de primer orden puede ser resuelta por separacin, haciendo dG(t ) G (t ) =
2

'

dt

Para cada valor de n , la constante de integracin de la expresin de la izquierda cambia, por tal motivo se obtiene la funcin An , que es independiente de t . ln[G(t )] = n 2t + Kn As, para cada n , la ecuacin (b) tiene una solucin diferente, de la forma G n (t ) = An e n
2

Por tal motivo, las funciones un ( x, t ) = Fn ( x )Gn (t ) , escritas como u ( x, t ) = A e2n t sin n x n n L son solucin a la ecuacin de calor y satisfacen las condiciones de frontera. Una sola solucin u n ( x, t ) no necesariamente satisface la condicin inicial f ( x ) . Consideremos la suma de infinitas soluciones, la cual tambin es solucin de la ecuacin de calor, dada por u ( x, t ) = un ( x, t )
n =1

Note que u ( x, t ) satisface las condiciones de frontera, pues cada solucin un ( x, t ) las satisface. Podemos escribir la nueva solucin como
2 n x n t sin u( x, t ) = A e n L n =1

222

Ecuaciones diferenciales parciales

Anlisis de Fourier

La nueva solucin debe satisfacer la condicin inicial u ( x, 0) = f ( x ) , para ello

223

Ecuaciones diferenciales parciales

Anlisis de Fourier

n u ( x, 0) = An sin x f ( x ) = L n =1

Esta sumatoria corresponde a la serie de Fourier de la seal f ( x) , que debe ser peridica. Como la serie contiene slo funciones sin( n 0 x ) , la seal f ( x ) debe ser impar. La frecuencia fundamental de la serie es 0 = / L , por lo cual la seal f ( x ) tiene periodo T = 2 / L . Los coeficientes An de la serie, pueden ser encontrados para cualquier deflexin inicial f ( x ) de la cuerda, utilizando la ecuacin de los coeficientes para la serie trigonomtrica de Fourier de una seal impar, dados por A =
n

L
0

2L

f ( x ) sin

n x dx L

Ejemplo 7.12. Considere una alambre de longitud y con c = 1 . El alambre presenta una temperatura inicial dada por

x si 0 < x < / 2 f ( x) = x si / 2 < x <

Encuentre la temperatura u( x, t ) del alambre. Solucin. Los coeficientes An de la solucin pueden ser encontrados como 2 n x dx = / 2 x sin ( nx ) dx + ( x )sin ( nx ) dx n L L 0 0 /2 2 / 2 x sin ( nx ) dx + sin ( nx ) dx A = A = 2
L

f ( x )sin

x sin ( nx ) dx
n

2 0 /2 n n 1 2 [sin( nx) nx cos( nx )] n / 2 2 1 sin n n cos n cos( n ) cos n A n= 2 n 2 2 2 n 224


n

A =

1 0 2

/2

/2

[sin( nx) nx cos( nx)] / 2 cos( nx)

Ecuaciones diferenciales parciales

Anlisis de Fourier

1 n cos( n ) sin n + n cos n 2 n2 2 2

225

Ecuaciones diferenciales parciales

Anlisis de Fourier

A =
n

( n 1) 4 n 2 ( 1) 2 = n n 2 sin 2 0

n impar n par

La temperatura de la alambre est dada por

u ( x, t ) =

n=n +4

n =1

n2

sin( nx )e t

4
2

sin( nx )e t

n= n+ 4

n =3

7.4.2. Alambre infinito (Transformada de Fourier) Suponga ahora que el alambre es infinito, de esta manera, no existen condiciones de frontera y la solucin de la ecuacin de calor solo se debe satisfacer la condicin inicial u ( x,0) = f ( x) . Bajo estas condiciones, la transformada de Fourier es la herramienta apropiada para resolver la EDP. Consideremos la TF de cada trmino de la ecuacin x {u ( x, t )} = U (, t ) x {c 2uxx } = c 2 x{u xx } = c 2 2 U (, t ) U (, t ) {u } = = U ( , t )
x t

As, la TF de la ecuacin de calor puede escribirse como U (, t ) t = c 2 2U ( , t )

La idea es solucionar la EDO de primer orden, para hallar U (, t ) y posteriormente utilizando la transformada inversa de Fourier encontrar la temperatura u ( x, t ) . La ecuacin de primer orden se soluciona separando variables, haciendo

U ( , t )

U (, t )

= c 2 2 t

ln [U ( , t )] = c 2 2t + H ( ) U ( , t ) = H ( )e c t
2 2

La funcin H ( ) puede ser encontrada utilizando la condicin inicial u ( x, 0) = f ( x ) . Para ello, si tomamos la TF de la temperatura inicial se tiene 226

Ecuaciones diferenciales parciales

Anlisis de Fourier

x {u ( x, 0)} = x { f ( x )} U ( , 0 ) = F ( ) H ( ) = F ( )

Por tal motivo, podemos escribir U ( , t ) = F ( )e c t


2 2

Tomando la transforma inversa de Fourier, se tiene


1 u ( x , t ) = {U (, t )} = x j x U ( , t )e d 2

u ( x, t ) =

F ()e

c 2 2 t

e j x d

Definamos la funcin G( , t ) = e c t , entonces

2 2

1 j x 1 u ( x, t ) = F ()G(, t )e d = x { F ()G(, t )} 2 La TF de una convolucin corresponde a un producto, por lo cual la transformada inversa de un producto, corresponde a una convolucin en el tiempo. Por tal motivo,
1 1 u ( x , t ) = x { F ( )} x {G ( , t )}

u ( x, t ) = f ( x ) g ( x, t ) donde g ( x, t ) = x 1{G(, t )} = x 1{e c t } . La funcin g ( x, t ) es encontrada como


2 2

g ( x, t ) =

e c t e jx d =
2 2

e c t + jx d
2 2

c 2 t 2 +

= x

g ( x, t ) =

jc 2 t

Completando cuadrados, se tiene

1 227

Ecuaciones diferenciales parciales


x x x c t 2 + + jc 2 t j 2 c 2 t j 2 c 2t
2

Anlisis de Fourier

g ( x, t ) = 2 e

228

Ecuaciones diferenciales parciales


c 2 t 2 +
2

Anlisis de Fourier

2 x x + x c 2t j 2 c 2t j 2 c 2t jc 2 t

g ( x, t ) = 2

e
2

e

2

x
2

e g ( x, t ) =

c 2t | | j 2c t

2 + x + x j 2 c 2t c t jc 2t

Realizando la sustitucin u = c t + 2 jc 2t se tiene du = c t d y


2

c 2t u
2

c 2t x

g ( x, t ) =

e j 2 c 2t

j 2 c 2t

2 g ( x, t ) = e
x2 2 4c t

du c t

c t 2

u2

du

2c t La solucin a la ecuacin de calor 1D puede escribir como u ( x, t ) = f ( x ) g ( x, t ) = f ( x ) 1 2c t

e ( x2 / 4 c2t ) 2c t

u ( x, t ) =

f ( )e

( x )2 / 4 c 2 t

Interpretacin de la solucin Para valores pequeos de t ( t 0 ), la funcin g ( x, t ) corresponde a una campana muy angosta, por lo cual, la convolucin entre la campana y la temperatura inicial f ( x ) , es prcticamente la funcin f ( x ) . A medida que el tiempo pasa, la campana dada por la funcin g ( x, t ) , se empieza a ensanchar y la convolucin entre f ( x ) y g ( x, t ) corresponde a un versin distorsionada de la temperatura inicial f ( x ) . 229