Professional Documents
Culture Documents
de la
Universidad Nacional Mayor de San Marcos
Vol. XIV Nl, pp. 6-14, Lima - Per, Julio 2011
1. Preliminares
En este tl'<lbajo presentamos el desarrollo de un algoritmo numrico para aproximar la solucin de un
sistema acoplado de ecuacioues diferenciales parciales que describe el comportamiento terrnoelstico de
1111(-1,
cuerda unidimensional .Y de longitud finita: bajo ciertas condiciones fsicas tales como homogeneidad
y linealidad del material.
El algoritmo que planteamos es formado e11 base H aplicar el mtodo de diferencias finitas en el
sistema de ecuacioues. esto luego de eliminar el acoplamiento de estas mediante la generacin de IUl
sistema modificado que lleve el sistema acoplado a una ecuacin lineal de evolucin.
La forma en la cual se e-limina el acoplamiento; para luego de esto aplicar el mtodo de diferencias
finitas .Y obtener aproximac-iones muuricas en base al esquema. puede ser utilizada del mismo modo para
analizar ecuaciones ms oinplejas o incluso ecuacines diferenciales parciales no lineales.
Debido H la diversidad de aproxiu laci()llcs posihles hacia los opc-r.idorcs dif<'l'('uciaks existen diversos
algoritrnos para un mismo problema. pero la niayoiia de estos no S011 dp utilidad prctica debido ;-
la falta de informacin sobre la estabilidad. consistencia y convergencia, conceptos claves dentro del
anlisis numrico y los cuales garant izan la. confiabilidad de los resultados generados. A partir de esto,
se desarrollan los conceptos anteriores para el esquema desarrollado en el presente trabajo: va el criterio
de von NeUmnl111conseguimos las condiciones necesarias para asegurar las estabilidad del esquema.
La confiabilidad de los resultados obtenidos por el esquema se ven asegurados mediante el anlisis
de la consistencia y el consecuente estudio de la convergencia mediante el teorema de equivalencia de
Lax-Riglitrnyer.
'U:\i\JSl'vlS. Facultad de Cieucias i\]al.clll,,licns, e-mail: jluyoS:Q'lllll1lS11l.edu.pp
**U:\i\JSi\IS. Facultad d' Ciencias i\la temticas. e-rua il: alouso.mansilla.a/ii gmail.com
(j
2. APROXIMACIN NUMRICA A LA SOLUCIN DEL SISTE1\IA TERMOELSTICO 7
y condiciones de frontera
donde
w = {w E C4 (O, L) ; w (O) = 'W (L) = O}
V = {v E 3
C (0,L);v'(O) = 7"(L) = O}
Con estas condiciones, construiremos un algoritmo discreto en diferencias finitas para aproximar la
solucin dd sistema (1)-(;~).Para esto, considcr.unos In ecuacin inatric.ial equivalente a (1):
8W = JW, (4)
8t .
donde
W = (-u., ?L/. B) T :
y el operador J es definido COlllO
1 ()
[ 3'2
Il
J= :T;
O =oii;
O -3D) 0,,.'2
1
de esLa 1l1Ul('PI, el sist(~llla (k ccuacioucs difercllcicllcs jlc\.l'cialcs acopla( las se red 11(:(' t una ocuacin
diferencial parcial (le- cvolnciu.
La ecuacin (4) es vlida en el dominio n = (O,L) x (O.T), el cual ser necesario discretizar en un
conjunto de puntos. Esta malla de puntos ser determinada tomando una particin uniforme de tamao
6:r: en la dimensin espacial y una particin del mismo modo uniforme, de tamao 6t en la variable
temporal. Los valores 6:; y 6t son denominados tamaos de paso.
Considerando un punto arbitrario y fijo (i, j) dentro de la malla de puntos, la solucin \11/
H/(i6:r,j6t) obedece la relacin
lSiSN-l. lSjSM-l
8 Sn\tIULACIN COMPUTACIONAL DE UN SISTEMA TERMOELSTICO USANDO PYTHON
Empleando la aproximacin
j j
!:I W'J, ~ W ~+1 - l'V~-1 '- d A
TXT}
'
!:I
2/
lV i,1'_,
,- W{+'1 -2W! + WLl '- "" J'
dU'W
Ux i ~ 2.6.x ,- 'X vv i ' U x ~ A ,) ,- 'X ;
, uX~ r.
podemos considerar
l.~ T"
.6.t
1 (6)
- (3.6.td:c
Al,
a; = .6.x';'sin(2<p), (8)
6.t
1 Z:~i()sin(2-;) 1 (<J)
z; i
-Ct
A fin de asegurar la estabilidad del esquema, es necesario obtener las condiciones que garanticen que
el radio espectral de la matriz 9 sea menor a la unidad,
2. APROXIMACIN NUMRICA A LA SOLUCIN DEL SISTEMA TERMOELSTICO 9
Teorema 2.1 (Teorema de Estabilidad). Sean a, f3 E jR+ parmetros positivos. Bajo las condiciones
sobre los tamaos de paso
2
b.x < yf(ifJ' (10)
Demostracin. Definimos las matrices reales 91R y 98' definidas como la parte real e imaginaria de
9 = 9(b.x, b.t, ep), respectivamente, esto es:
b.t
1 (11)
O 1 - 4 :;~ sen2(,,) ]
- (3 6.x
O
6.t sin(2ep)
-"~!~in(2,,) 1 (12)
igualando la parte real e imaginaria de ambos miembros de la ecuacin anterior, vemos que cada
autovalor ~ E e de 9 es combinacin de los autovalores de 91R y 98'.
Sea ~8' E lR autovalor de la matriz real 9'iS, luego ~'iS es solucin de la ecuacin
con lo cual, los autovalores de 9,;} son cada uno de los elementos del conjunto
b.t b.t}
{ O, V;3b.:r: sin(2ep), -V;3 b.:T sin(2ep)
Conociendo los antovaloros de las lIlat.rices 91R y 9';J, obtenemos los autovalorcs ( E e U = 1, 2, ~{)do
la. matriz compleja 9, siendo estos:
b.t
1- 4- sin2(ep)
b.:r;2
b.t 2, 'ea b.t
1- 4 /\.2 sin \ep) - 'iV a,R---::- sin(2ep)
U.e uX
b.t 2 ' ea b.t
1 - 4 6.:[,2 sin (ep) + 'LVaf3 6.:1: Sill(2ep)
10 SIMULACIN COMPUTACIONAL DE UN SISTEMA TERMO ELSTICO USANDO PYTHON
2
!:::.x < VciTJ'
podemos asegurar que el mdulo de cada uno de estos es menor a la unidad. En efecto:
Anlogamente
!:::.t 1 ( 4 )
.6x2 < 2 =>.6t .6x2 - af3 + af3!:::.t < 2 (13)
adems se tiene
con lo cual podemos asegurar que el radio espectral de la matriz de amplificacin de errores 9 es menor
a la unidad, garant.izando con esto la estabilidad del esquema numrico presentado en (5).
~ . .i
Vi /1.;
oX uj t
1 1 ()
[ ti-.)
T=
[ ~; -.Bo ()
-~a,
.=2
1= ~;'-e, O =cai;
'2
a: (:; d2,
3. EFICIENCIA COMPUTACIONAL DEL ESQUEMA 11
con lo cual, denotando por Jv( la segunda matriz presente en el trmino derecho, conseguimos la relacin
J' = J'h + Jv((9 (,6,x2). Teniendo en cuenta las relaciones anteriores, reemplazando en la ecuacin diferencial
(4) tenemos
wj+l - ll1j .
7. ,6,t "~ + (9(,6,t) = (J'h + Jv((9(,6,x2)) w
de donde, despejando se obtiene
En esta ltima ecuacin, el lado izquierdo de la igualdad representa el esquema numrico (5), con
lo que el lado derecho es el error de truncamiento de dicho esquema; esto es, el error producido al
despreciar el error de aproximacin en las series de Taylor utilizadas para cada operador diferencial.
y teniendo en cuenta las condiciones de regularidad exigidas para las funciones, es simple notar que dicho
error satisface
IleTlloo -+ O, cuando ,6,x, 6.t -+ O
mostrando con esto la consistencia del esquema. La convergencia, y con esto la robustez del esquema
numrico, se sigue del teorema de equivalencia de Lax [13].
Consideremos el sistema
para func-iones g y 11, adecuadas. Reemplazando la solucin as supuesta en el sistema (14), obtenemos las
coudicioucs a cumplir por la:,;funciones 9 y h, (~:,;ta:,;
:';011
para obtener la funcin que determina la solucin u(x, t), consideramos el polinomio caracterstico
De acuerdo a las frmulas de Cardano, la ecuacin anterior tiene como solucin una raiz real Zl Y dos
imaginarias Z2, Z3. Sean ri E lR (i = 1,2,3) tales que podemos expresar las raices como
donde Ci E lR (i = 1,2,3). Para detenninar el valor de estas ltimas constantes, nos valemos de las
condiciones iniciales del problema
y considerando u(x, t) = g(t) sen(21TX), e(x, t) = h(t) COS(21TX) obtenemos las igualdades
luego diferenciando la funcin g(t) y usando las relaciones anteriores obtenemos un sistema con tres
incgnitas
Cl + C2 =1
Cl'T'l + C2r2 + C;jr;j =O
Cl'T'l
2
+ 2
T2C2 + 2C3r3T2 - C2T3
2
= -41T
2
de donde obtenemos los valores para cada constante involucrada en la funcin g(t), siendo estas
1 2 3
Ti -38.479092 -0.499663 6.346066
C;, 0.000691 0.999309 0.082893
1I(:/:, t) ((0,082DO sin (6,:3446 t) + 0.DD9:3 (;OS(6.:3446 t) )e( -(),'lD!J7 t) + 0,0006914 e( -38,]701 t)) sin (2 7T'x)
8(:/:, t) (0.5132.5 c( -37,!l79H) + 1.67583 sin (6.:3446 t) - 18.25248 cos (6,3446 t)) 7f exp( -Q,4997t) COS(27fX)
!::"t = 10-5
3. EFICIENCIA COMPUTACIONAL DEL ESQUEMA 13
~
~
(a) Sol ucin real (b) Solucin aproximada (e) Comparacin de ambas
computacionalmcntc soluciones
<,.,v:
Je.j
2)-"
I~J
....
.".. '."
.I~..
~roxr.mada I
-----
c.z
",,-.1... ..
-'''~
"'r
4e]
[1] Atkinson, K.; Han, W. Theoretical Numerical Analysis.' a functional analysis framework Texts in applied
mathematics; 39.
[2] Burden, R.; Faires, J. (2002) Aruiiisis Numrico Thomson Learning, Mxico, D.F.
[4] Carbajal P., E. (1999) Una clase de algortmos de alta precisin para un sistema acoplado. PESQUIMAT,
Revista de la Unidad de Post Grado - UN1VISM, Vol. 3, Nro. 1, pago 1-14.
[5] Codeco, F. (2007) Comsniiaciio cieniifica r.orn Puthoti .' Urna inirodw;io a proqramaciio para cieniistas
Petrpolis - RJ.
[6] Daferrnos, C. M, (1968) On thc existence and the asyrnptotic stability of solution to the equatios of linear
tliernioelasticitu Arch. Rational Mech. Anal., 29, 241-271.
[7] .Iiang, S.; Racke, R. (2()()()) Euolution Equations in Thermoelasticity. Chapinan & Hall/CRC.
[9] Kiucaid, D.; Ward, E. (1990) Numerical analsjsis .' mathematics of scientific computing Brooks/Cole
Publishing Company.
[10] Muoz R., J. (1992) EneTgy decay raies in linear' ttiermoelasiiciiu Funkcialaj Ekvacioj, 35(1), 19-30.
[11] Pereira, D.C.; Menzala, G.P. (1989) Exponential decay of soluiions in thermoelasticity Comp. Appl.
Math., 8, 192-204.
[12] Racke, R. (1993) Exponential decos] [or (J. class of iniiial [(J7J:ndaTy ualue problem in th.ermoelasiiciiu Comp.
Appl, Math., 12, 67-80.
[13] Richt myer, R.: Mor ton, K. (1967) Differene Methods [or lnitiol Valne Problems Interscience Publishers,
New York.