Documentos de Académico
Documentos de Profesional
Documentos de Cultura
com
Para ecuaciones en diferencias, los métodos explícitos tienen condiciones de estabilidad como �t≈
1(�X)2. Este paso de tiempo muy corto es más caro queC�t≈�X.métodos implícitospuede
2
evitar esa condición de estabilidad calculando la diferencia espacial �2tu en el nuevo nivel
de tiemponorte +1. Esto requiere resolver un sistema lineal en cada paso de tiempo.
Ya podemos ver dos diferencias principales entre la ecuación del calor y la ecuación de
onda (y también una ley de conservación que se aplica a ambas):
�� �� � ��
d
El calor se conserva u(x, t) dx = tuXXdx = tuX(x, t) =0. (3)
dt −� −� x=−�
GRAMO� mi��
Asumiru(x, t) = G(t)E(x).Despuéstut=tuXXdaGRAMO�mi = GE��y = .
GRAMO mi
(4)
El radioGRAMO�/GRAMOdepende solo det.El radiomi��/MIdepende solo deX. la Ya que
ecuación (4) dice que son iguales, deben ser constantes. familia de Esto produce
soluciones atut=una útil
tuXX:
mi�� GRAMO
=
�
Ejemplo 1Supongamos que la función inicial es una Gaussiana en forma de campanatu(x,0) =mi−x2/2�.
Entonces la solución sigue siendo gaussiana. El número λ que mide el ancho de la campana aumenta a λ +2t
en el momentoyo,a medida que el calor se esparce. Esta es una de las pocas integrales que involucranmi−x2
que podemos hacer exactamente. En realidad, no tenemos que hacer la integral.
�
�(2λ) mi−x2/(2+4t).
Ampliación Gaussiana u(x, t) =� (6)
�(2λ + 4t)
Esto tiene el comienzo correcto ent =0y satisface la ecuación del calor.
5.4. LA ECUACIÓN DEL CALOR Y LA CONVECCIÓN-DIFUSIÓN� c 2006 Gilbert Strang
La solución fundamental
Para una función deltatu(x,0) =∂(x)at =0, el Fou�la transformada de rier estu0(k) =1.
Entonces la transformada inversa en (5) produceu(x,2� t) =1 miikxmi−k2tdkUn cómputo de
estetuutiliza una prolija integración por partes para�u/�x.Tiene tres −1, de la integral
deque−k2ty la derivada dees decirikxe integración por partes en sí:
� ��
tu 1 � (mi−kt
2 1 2 xu
= k)(es decirikx)dk = - (mi−kt)(xeikx)dk = - . (7)
x 2�−� 4�t−� 2t
Con paciencia puedes comprobar quetu(x, t)yu(x, y, t)resuelva las ecuaciones de calor
1D y 2D (Problema ) . Las condiciones iniciales cero lejos fr� om el origen son
correcto comot�0, porquemi−c/t �va a cero�metro�Mucho más rápido que 1/texplota. Y
ya que el calor total permanece entu dx =1 o tu dx dy =1, tenemos una solución válida.
��
1
Solución de cualquiertu(x,0) u(x, t) =� a nosotros,0)mi−(x − s)2/4tds. (10)
4�t − �
Ahora la fórmula se reduce a una integral infinita, pero aún no es simple. Y para un
problema con condiciones de contorno enx =0 yx =1 (la temperatura en un intervalo
finito, mucho más realista), tenemos que pensar de nuevo. De manera similar para una ecuación
tut= (c(x)uX)Xcon conductividad o difusividad variable. nos Ese pensamiento probablemente
lleva a diferencias finitas.
veo la solucióntu(x, t)en (10) como elcircunvoluciónde la función inicialtu(x,0) con la
solución fundamental. Tres propiedades importantes son inmediatas:
�
c 2006 Gilbert Strang
Ejemplo 2Supongamos que la temperatura inicial es una función escalonadatu(x,0) = 0.Entonces para
negativoXytu(x,0) = 1para positivoX.La discontinuidad se suaviza inmediatamente, ya que el calor fluye
hacia la izquierda. La integral en la fórmula (10) es cero hasta el salto:
��
1 mi−(x − s)2/4tds.
u(x, t) =� (11)
4�t 0
¡No hubo suerte con esta integral! Podemos encontrar el área bajo una curva completa en forma
de campana (o la mitad de la curva), pero no existe una fórmula elemental para el área bajo una parte
de la curva. Ninguna función elemental tiene la derivadami−x2.Eso es desafortunado, ya que esas
integrales danprobabilidades acumuladasy los estadísticos los necesitan todo el tiempo. Así que se
han normalizado en elfunción de errory tabulado con alta precisión:
�X
2 2
Función de error erf(x) =� mi−sds. (12)
� 0
�
La integral de −Xa0es tambiénerf(X).La normalización por2/ �daerf(√) =1.
Producir esta función de error de la h�comer integral de ecuación (11) estableciendo
podemos p�
S = (s−x)/� 4t.Despuéss =0cambios aS = −x/4tcomo el límite inferior �en la integral,
ydS = ds/4t.Dividir en una integral de0a√,y de -X/ 4ta0:
� �� � � ��
4t mi−S2 1 X
u(x, t) =� dS = 1 + fe� . (13)
4�t−X/ �4t 2 4t
Buena idea comprobar que esto datu =1ax =0 2(donde la función de error es cero). Esta es la única
temperatura que conocemos con exactitud, por simetría entre izquierda y derecha.
Un paso
G =1 +Reyo�X−2 +mi−ik�X) =1 + 2R(porquek�x −1) . (15)
factor de crecimiento
GRAMOes real, al igual que el factor de un paso exactomi−k2�tes real. La estabilidad requiere |G|≈1. De
nuevo, el caso más peligroso es cuando el coseno es igual a −1 enk�x = �:
�t 1
Condición de estabilidad |G| = |1 - 4R|≈1 que requiereR = � . (dieciséis)
(�X)2 2
En muchos casos aceptamos ese pequeño paso de tiempo �ty utiliza este sencillo método. los
precisión desde adelante �ty centrado �2 Xes |tu - tu| =O(�t + (�X)2). Esos dos
Los términos de error son comparables cuandoRestá arreglado.
Podríamos mejorar este método de un solo paso a unmétodo de varios pasos.Los "método de
líneas”llama a un solucionador ODE para el sistema de ecuaciones diferenciales (continuo en el
tiempo, discreto en el espacio). Hay una ecuación para cada punto de malla.x = jh:
Esto es unsistema rígido,porque su matriz −k (matriz de segunda diferencia) tiene un gran número de
condición:�máximo(K)/�min(K)�norte2. Podríamos elegir un solucionador rígido comooda15s en
MATLAB.
La precisión sigue siendo de primer orden en el tiempo y de segundo orden en el espacio. Pero la
estabilidad ya no depende de la proporciónR =�t/(�X)2. Tenemosincondicionalestabilidad, con un
factor de crecimiento 0 <GRAMO≈1 para todosk.Sustituyendotujn=GRAMOnortemijk�Xen (18) y luego
cancelando esos términos de ambos lados deja un extraGRAMOen el lado derecho:
1
G =1 +RG(eyo�X−2 +mi−yo k�X) lleva a G= . (19)
1 + 2R(1 − porquek�X)
tuj,n+1−tujn 1
Crank-Nicolson = (�X2tujn+�2 Xtuj,n+1) . (20)
�t 2(�X)2
sol-1 G +1
= (2 porquek�x −2) . (21)
�t 2(�X)2
1 +R(porquek�x −1)
Estabilidad incondicional G= tiene |G|�1 . (22)
1 -R(porquek�x −1)
El numerador es más pequeño que el denominador, ya que cosk�X≈1. Nos damos cuenta de que cosk
�x =1 siempre quek�Xes múltiplo de 2�.DespuésG =1 a esas frecuencias, por lo que Crank-Nicolson
no proporciona la descomposición estricta del método totalmente implícito. Podríamos ponderar el �
implícito2tunorte X +1 porun >21y el explícito �2 Xtunortepor 1 -un <2 1,a
dar una gama completa de métodos incondicionalmente estables (problema ).
Ejemplo numérico
Introdujimos la ecuación del calor en toda la línea:√ <X <√.Pero un problema físico estará en
un fiintervalo finitocomo 0≈X≈1. Volvemos a las series de Fourier (no a las integrales de
Fourier) para la soluciónu(x, t).Y las segundas diferencias traen de vuelta las grandes
matrices.K, T, B, Cque dependen de las condiciones de contorno:
Límite aislado:No fluye calor a través del límite izquierdo situX(0,t) =0.
las frecuencias sonk = n� (despuéspecadon�x =0en ambos extremosx =0yx =1).La solución completa
es una combinación de estas soluciones exponenciales conk = n�:
�
bnortemi−n 2�2tpecadon�x .
Solución completa u(x, t) = (23)
n=1
�
Los coeficientes del seno de Fourierbnortese eligen para que coincidantu(x,0) = bnortepecadon�xat =0.
Puede esperar que aparezcan cosenos para límites aislados, donde la pendiente (no la
temperatura) es cero. Esto da soluciones exactas para comparar con soluciones de
diferencias finitas. Para diferencias finitas,las condiciones de frontera absorbentes producen
la matriz k (noBoC).La elección entre explícito e implícito decide si tenemos segundas
diferencias:KUa nivel de tiemponorteo nivelnorte +1:
Los ods son incondicionalmente estables (en teoría). La prueba de la realidad es probarlos en la práctica.
Convección-Difusión
Ponga un producto químico en el agua que fluye. Se difunde mientras es arrastrado por el flujo. Un
término de difusiónduXXaparece junto con un término de conveccióncuX. Este es el modelo más simple
para una de las ecuaciones diferenciales más importantes en ingeniería:
tu tu �2tu
Ecuación de convección-difusión =C + d . (27)
�t x x2
Sustituyendo en la ecuación (27) se confirma que esta es la solución (correcta ent =0):
�u �h �h �h �2h tu �2tu
Cadena de reglas =C + =C + d =C + d . (29)
�t �x �t x x2 x x2
Los exponenciales también muestran esta separación de convección.miicctde la difusiónmi−dk2t:
Empezando desdemiikx
u(x, t) = mi−dk tmi
2
ik(x + ct).
(30)
distancia (distancia)2
Coeficiente de convecciónC: Coeficiente de difusiónd: (31)
tiempo tiempo
r C�X
Número de peclet de celda PAG = = . (32)
2R 2d
¡Aún no tenemos acuerdo sobre la mejor aproximación de diferencias finitas! Aquí hay tres
candidatos naturales (es posible que tenga una opinión después de probarlos):
Esos tres coeficientes suman 1, ytu =constante ciertamente resuelve la ecuación (33).Si
los tres coeficientes son positivos, el método seguramente es estable.Más que eso,no
pueden aparecer oscilaciones.La positividad del coeficiente medio requiereR≈1, 2
5.4. LA ECUACIÓN DEL CALOR Y LA CONVECCIÓN-DIFUSIÓN� c 2006 Gilbert Strang
como de costumbre para la difusión. La positividad de los otros coeficientes requiere |pag |�1.por
supuesto PAGSserá pequeño cuando �Xes pequeña (entonces tenemos convergencia como �X�0). Al
evitar oscilaciones, el tamaño real de la celda �Xes crucial para la calidad detu
La figura 5.12 fue creada por Strikwerda [59] y Persson para mostrar las oscilaciones de PAG
>1 y las aproximaciones suaves parapag <1. Observe cómo la función de sombrero inicial se
suaviza, se extiende y se encoge por difusión. Problema encuentra el exacto
solución, que se mueve por convección. Estrictamente hablando, incluso las oscilaciones podrían
pasar la prueba de estabilidad |G|≈1 (Problema ) . Pero son inaceptables.
2
tuj,n+1−tujn tuj+1,norte−tu jn �tu
X jn.
2. Convección contra el viento =C + d (35)
�t �X (�X)2
La precisión en el espacio se ha reducido a primer orden. Pero las oscilaciones se eliminan
siempre quer +2R≈1. Esa condición asegura tres coeficientes positivos cuando (35) se
resuelve para el nuevo valortuj,n+1:
tuj,n+1−tuj tu �X2tuj,n+1.
3. Difusión implícita =Cj+1,norte−tujn+d (38)
, norte
�t �X (�X)2
MAS QUE HACER
Los vectores propiosyken la Sección 1.5 son muestras discretas de senk�x.Escriba las
soluciones generales de las ecuaciones totalmente explícitas y totalmente implícitas (14) y (18)
después denortepasos, como combinaciones de esos senos discretosykveces poderes de�k.
�
A partir de (17), demuestre que la temperatura estu ten el punto centralx =0
= a partir de una rampatu(x,0) = máx(0,X).