Simulacin

SOLUCION DE
ECUACIONES
deEN BASE
LINEALES
DE DIFERENCIAS
Yacimiento
FINITAS Y
PROGRAMACIN
s
Nombre: Cristhian
Alvear

ABSTRACT
Una herramienta de vital importancia para la simulacin de yacimientos es
la resolucin de ecuaciones lineales, para dicho proceso en la actualidad se
tiene una serie de mtodos matemticos as como tambin una serie de
recursos computacionales, que nos permitirn una resolucin rpida y
sencilla de estas ecuaciones.
Una ecuacin lineal es plantear una igualdad, en la cual se involucran desde
una variable (las ecuaciones ms simples), hasta una infinidad de variables
(en ecuaciones mucho ms complejas), sin embargo estas solo sern
elevadas a la primera potencia, esto originara una ecuacin que involucrara
solo sumas y restas de una variable de primer grado.
Como se observar en el presente trabajo, uno de los mtodos ms
importantes y de gran ayuda a la hora de resolver ecuaciones lineales es el
mtodo de diferencias finitas, dicho mtodo al ser aplicado de correcta
manera brindar gran facilidad en la resolucin de estas ecuaciones, el
mtodo de diferencias finitas se basa en reemplazar ecuaciones
diferenciales por trminos de diferencias finitas, las cuales son expresiones
algebraicas y cuya solucin se relaciona con los puntos de malla.
Uno de los aspectos a recalcar en el presente trabajo es la importancia de
los programas computacionales, los cuales son empleados para, mediante la
utilizacin de modelos matemticos, resolver las diversas ecuaciones
empleadas durante todo el proceso de simulacin, entre estos programas se
encuentra el ANSYS el cual es un software de simulacin ingenieril, el cual
est desarrollado para funcionar bajo la teora de elemento finito para
estructuras y volmenes finitos para fluidos. Este programa se basa en el
mtodo de diferencias finitas y es de gran utilidad a la hora de realizar
procesos de simulacin con fluidos, en adicin no est por dems mencionar
que este programa es uno de los ms confiables que existen en el mercado.

RECURSOS:
El mtodo de los elementos finitos (MEF) ha adquirido una gran importancia
en la solucin de problemas ingenieriles, fsicos, etc., ya que permite
resolver casos que hasta hace poco tiempo eran prcticamente imposibles
de resolver por mtodos matemticos tradicionales. Esta circunstancia
obligaba a realizar prototipos, ensayarlos e ir realizando mejoras de forma
iterativa, lo que traa consigo un elevado coste tanto econmico como en
tiempo de desarrollo.
El MEF permite realizar un modelo matemtico de clculo del sistema real,
ms fcil y econmico de modificar que un prototipo. Sin embargo no deja
de ser un mtodo aproximado de clculo debido a las hiptesis bsicas del
mtodo. Los prototipos, por lo tanto, siguen siendo necesarios, pero en

menor nmero, ya que el primero puede acercarse bastante ms al diseo

ptimo.
El mtodo de los elementos finitos como formulacin matemtica es
relativamente nueva; aunque su estructura bsica es conocida desde hace
bastante tiempo, en los ltimos aos ha sufrido un gran desarrollo debido a
los avances informticos. Han sido precisamente estos avances informticos
los que han puesto a disposicin de los usuarios gran cantidad de
programas que permiten realizar clculos con elementos finitos. Pero no hay
que llevarse a engao, el manejo correcto de este tipo de programas exige
un profundo conocimiento no solo del material con el que se trabaja, sino
tambin de los principios del MEF. Slo en este caso estaremos en
condiciones de garantizar que los resultados obtenidos en los anlisis se
ajustan a la realidad.
Conceptos generales del mtodo de ecuaciones finitas
La idea general del mtodo de los elementos finitos es la divisin de un
continuo en un conjunto de pequeos elementos interconectados por una
serie de puntos llamados nodos. Las ecuaciones que rigen el
comportamiento del continuo regirn tambin el del elemento. De esta
forma se consigue pasar de un sistema continuo (infinitos grados de
libertad), que es regido por una ecuacin diferencial o un sistema de
ecuaciones diferenciales, a un sistema con un nmero de grados de libertad
finito cuyo comportamiento se modela por un sistema de ecuaciones,
lineales o no.
En cualquier sistema a analizar podemos distinguir entre:

Dominio. Espacio geomtrico donde se va a analizar el sistema.

Condiciones de contorno. Variables conocidas y que condicionan el
cambio del sistema: cargas, desplazamientos, temperaturas, voltaje,
focos de calor,...
Incgnitas. Variables del sistema que deseamos conocer despus de
que las condiciones de contorno han actuados sobre el sistema:
desplazamientos, tensiones, temperaturas.

El mtodo de los elementos finitos supone, para solucionar el problema, el

dominio discretizado en subdominios denominados elementos. El dominio se

divide mediante puntos (en el caso lineal), mediante lneas (en el caso
bidimensional) o superficies (en el tridimensional) imaginarias, de forma que
el dominio total en estudio se aproxime mediante el conjunto de porciones
(elementos) en que se subdivide. Los elementos se definen por un nmero
discreto de puntos, llamados nodos, que conectan entre si los elementos.
Sobre estos nodos se materializan las incgnitas fundamentales del
problema. En el caso de elementos estructurales estas incgnitas son los
desplazamientos nodales, ya que a partir de stos podemos calcular el resto
de incgnitas que nos interesen: tensiones, deformaciones. A estas
incgnitas se les denomina grados de libertad de cada nodo del modelo. Los
grados de libertad de un nodo son las variables que nos determinan el
estado y/o posicin del nodo.

RESOLUCION
Formulacin dbil
La formulacin dbil de una ecuacin diferencial permite convertir un
problema de clculo diferencial formulado en trmino de ecuaciones
diferenciales en trminos de un problema de lgebra lineal planteado sobre
un espacio de Banach, generalmente de dimensin no finita, pero que
puede ser aproximado por un sistema finito de ecuaciones algebraicas.
Dada una ecuacin diferencial lineal de la forma:

Donde la solucin es una cierta funcin definida sobre un dominio ddimensional

, y se han especificado un conjunto de condiciones de
contorno adecuadas, puede suponerse que la funcin buscada es un
elemento de un espacio de funciones o espacio de Banach V y que la
ecuacin (2) es equivalente a:

Donde V' es el espacio dual de V, la forma variacional dbil se obtiene

buscando la nica solucin

tal que:

Cuando el operador lineal es un operador elptico, el problema se puede

plantear como un problema de minimizacin sobre el espacio de Banach.

Discretizacin del dominio

Dado un dominio

con una frontera continua en el sentido de

Lipschitz una particin en n "elementos finitos", es una coleccin de n

subdominios

que satisface:

1.
2. Cada

es

un conjunto

compacto con

una

frontera

Lipschitz-

continua.
3.
Usualmente por conveniencia prctica y sencillez de anlisis, todos los
"elementos finitos" tienen la misma "forma", es decir, existe un dominio de
referencia

y una coleccin de funciones biyectivas:

Este dominio de referencia se suele llamar frecuentemente tambin

dominio isoparamtrico. En los anlisis 2D (d = 2) el dominio de
referencia

se suele tomar como un tringulo equiltero o un cuadrado,

mientras que en los anlisis 3D (d = 3), el dominio de referencia

tpicamente es un tetraedro o un hexaedro. Adems sobre cada elemento se
considerarn

algunos

puntos

especiales,

llamados

nodos

que

generalmente incluirn los vrtices del elemento finito y se requerir la

condicin adicional de que dos elementos adyacentes compartan los nodos
sobre el subconjunto

, es decir:

Una vez definida la particin en elementos finitos, se define sobre cada

elemento un espacio funcional de dimensin finita, usualmente formado por
polinomios. Este espacio funcional servir para aproximar localmente la
solucin del problema variacional. El problema variacional en su forma dbil
se plantea sobre un espacio de dimensin no-finita, y por tanto la funcin
buscada ser una funcin de dicho espacio. El problema en esa forma
exacta es computacionalmente inabordable, as que en la prctica se
considerar un subespacio de dimensin finita

del espacio vectorial

original . Y en lugar de la solucin exacta se calcula la proyeccin de la

solucin original sobre dicho subespacio vectorial de dimensin finita, es
decir, se resolver numricamente el siguiente problema:

Dnde:

, es la solucin aproximada.
es

el proyector

ortogonal del

espacio

original sobre el subespacio vectorial asociado a la discretizacin.

Si la discretizacin es suficientemente fina y el espacio funcional finito sobre
cada

elemento

est

bien

escogido,

la

solucin

numrica

obtenida

aproximar razonablemente bien la solucin original. Eso implicar en

general considerar un nmero muy elevado de elementos finitos y por tanto
un subespacio de proyeccin de dimensin elevada. El error entre la
solucin exacta y la solucin aproximada puede acotarse gracias allema de
Ce, que en esencia afirma que la solucin exacta y la solucin aproximada
satisfacen:
(LC)
Es decir, el error depender ante todo de lo bien que el subespacio vectorial
asociado a la discretizacin en elementos finitos
vectorial original

aproxime el espacio

Funciones de forma y espacio de la solucin

Existen muchas formas de elegir un conjunto de funciones que formen
una base vectorial sobre la que aproximar la solucin exacta del problema.
Desde un punto de vista prctico resulta til definir un espacio vectorial
de dimensin finita definido sobre el dominio de referencia

formado por

todos los polinomios de grado igual o inferior a cierto grado:

Entonces mediante las aplicaciones que aplican el dominio de referencia a

cada elemento finito se define el espacio vectorial

que servir para

aproximar la solucin como:

Cuando

es

una

funcin

lineal

polinomios entonces la restriccin de

espacio vectorial

el

espacio

est

formado

por

es tambin un polinomio. El

es un espacio polinmico en que la base de dicho

espacio est formada por funciones de forma

, que dado el conjunto de

nodos del dominio de referencia se definen como:

Esto permite definir de manera unvoca unas funciones de forma sobre el

dominio real sobre el que se define el problema:

Estas funciones se pueden extender a todo el dominio, gracias a que el

conjunto de subdominios o elementos finitos constituye una particin de
todo el dominio:

Las funciones de forma permiten proyectar sobre el espacio de elementos

finitos cualquier funcin definida sobre el dominio original mediante el
proyector

Resolucin de las Ecuaciones

Fijada una base asociada a una determinada discretizacin del dominio,
como por ejemplo la dada por las funciones
problema (, cuando la funcin

la forma dbil del

es bilineal) puede escribirse como una

ecuacin matricial simple:

Donde N es el nmero de nodos. Agrupando los trminos y teniendo en

cuenta que v^h es arbitrario y que por tanto la ecuacin anterior debe
cumplirse para cualquier valor de dicho vector arbitrario se tiene que:
(5)

Este es la forma comn del sistema de ecuaciones de un problema de

elementos asociado a una ecuacin diferencial lineal, no dependiente del
tiempo. Esta ltima forma es precisamente la forma (*) de la resea
histrica. Para resolver numricamente el sistema de ecuaciones (*), que
usualmente consta de miles o incluso centenares de miles de ecuaciones se
requieren algoritmos eficientes que optimicen el nmero de operaciones
que debe realizarse y ahorren memoria.
En general las complicaciones computacionales que deben resolverse en la
resolucin numrica son:

1. El clculo de la matriz de coeficientes

, esto generalmente

requiere integracin numrica aproximada lo cual es una nueva

fuente de errores en el clculo por el MEF.
2. El uso de un mtodo eficiente para resolver el sistema de ecuaciones
obtenido.

Por

ejemplo

impracticable

el mtodo

para

de

un

Cramer es

totalmente

ordenador

de

unos

10 GFlops tardara ms de 2 aos en resolver el sistema por dicho

mtodo,

mientras

que

si

se

usa

el mtodo

de

eliminacin

gaussiana tardara menos de una diez milsima de segundo.

Para entender la necesidad de la integracin numrica necesitamos ver qu
forma tiene tpicamente la forma dbil del problema, expresada en trminos
de los subdominios o elementos finitos. Esa forma dbil involucra integrales
de la forma:

Dnde:
Son el domino sobre el que se plantea el problema.
, representan a cada uno de los elementos finitos y al dominio
isoparamtrico que da la forma de los elementos finitos.
,

representan

la

funcin

que

debe

integrarse y su expresin sobre el dominio isoparamtrico.

,

la

aplicacin

que

relaciona

el

dominio

isoparamtrico con cada elemento finito.

,

son

los

pesos

los

puntos

de

integracin

usados

para integracin gaussiana.

, son el nmero total de elementos y el nmero de puntos de
integracin por elemento.
Clculo y resolucin de sistemas de ecuaciones
En un problema mecnico lineal no-dependientes del tiempo, como un
problema de anlisis estructural esttico o un problema elstico, el clculo
generalmente se reduce a obtener los desplazamientos en los nodos y con
ellos definir de manera aproximada el campo de desplazamientos en el
elemento finito.
Cuando el problema es no lineal en general la aplicacin de las fuerzas
requiere la aplicacin incremental de las fuerzas y considerar incrementos

numricos, y calcular en cada incremento algunas magnitudes referidas a

los nodos. Algo similar sucede con los problemas dependientes del tiempo,
para los que se considera una sucesin de instantes, en general bastante
cercanos en el tiempo, y se considera el equilibrio instantneo en cada
instante. En general estos dos ltimos tipos de problemas requieren un
tiempo de clculo sustancialmente ms elevado que en un problema
estacionario y lineal.
Postproceso
Actualmente, el MEF es usado para calcular problemas tan complejos, que
los ficheros que se generan como resultado del MEF tienen tal cantidad de
datos que resulta conveniente procesarlos de alguna manera adicional para
hacerlos ms comprensible e ilustrar diferentes aspectos del problema. En
la etapa de post-proceso los resultados obtenidos de la resolucin del
sistema son tratados, para obtener representaciones grficas y obtener
magnitudes derivadas que permitan extraer conclusiones del problema.
El post-proceso del MEF generalmente requiere software adicional para
organizar los datos de salida, de tal manera que sea ms fcilmente
comprensible el resultado y permita decidir si ciertas consecuencias del
problema son o no aceptables. En el clculo de estructuras por ejemplo, el
post-proceso puede incluir comprobaciones adicionales de si una estructura
cumple los requisitos de las normas pertinentes, calculando si se
sobrepasan tensiones admisibles, o existe la posibilidad de pandeo en la
estructura.
Resultados del MEF
El MEF se ha vuelto una solucin para la tarea de predecir los fallos debidos
a tensiones desconocidas enseando los problemas de la distribucin de
tensiones en el material y permitiendo a los diseadores ver todas las
tensiones involucradas. Este mtodo de diseo y prueba del producto es
mejor al ensayo y error en donde hay que mantener costos de manufactura
asociados a la construccin de cada ejemplar para las pruebas.
Las grandes ventajas del clculo por ordenador se pueden resumir en:

Hace posible el clculo de estructuras que, bien por el gran nmero

de operaciones que su resolucin presenta (entramados de muchos
pisos, por ejemplo) o por lo tedioso de las mismas (entramados
espaciales, por ejemplo) las cuales eran, en la prctica, inabordables
mediante el clculo manual.

En la mayora de los casos reduce a lmites despreciables el riesgo de

errores operativos.

Simulaciones numricas
Las simulaciones numricas tienen diferentes objetivos dependiendo de la
naturaleza de la tarea a ser simulada como, reconstruir y comprender los
eventos conocidos o predecir el futuro o situaciones no observadas.
Uno de los programas usados para simulacin utilizando el mtodo de
elementos finitos es ANSYS
ANSYS desarrolla, comercializa y presta soporte a la ingeniera a travs de
software de simulacin para predecir cmo funcionar y reaccionar
determinado producto bajo un entorno real. ANSYS continuamente
desarrolla tecnologa enfocada en la simulacin y a travs del tiempo ha
adquirido otros software para ofrecer un paquete de aplicaciones que
pueden ser unificadas para los problemas ms complejos. Adems presta
soporte a la industria.
ANSYS, Inc. es un software de simulacin ingenieril. Est desarrollado para
funcionar bajo la teora de elemento finito para estructuras y volmenes
finitos para fluidos.
En 2008, el National Institute of Standards and Technology de Estados
Unidos utiliz ANSYS para modelar los acontecimientos que llevaron al inicio
del desplome del edificio World Trade Center 7 durante los atentados del 11
de septiembre de 2001.
Ejemplo de aplicacin
Con objeto de clarificar las ideas del apartado anterior aplicaremos los
conceptos all expuestos a la resolucin de un caso. Se trata de obtener las
ecuaciones (matriz de rigidez y vectores de cargas y desplazamientos) para
resolver el problema elstico en una placa como la de la figura inferior.

Para ello consideraremos un caso de tensin plana y emplearemos un

modelo de tan solo dos elementos, de esta forma la complejidad
matemtica se reduce y es ms claro el proceso a seguir.

Solucin Con el programa ANSYS

Nomenclatura
V' = Espacio dual de V
N = Nmero de nodos
V= Forma variacional dbil
n PI= Nmero de puntos de integracin por elemento.
n= Nmero total de elementos

Conclusiones y recomendaciones
Conclusiones:

El mtodo de diferencias finitas nos facilita los clculos de las

diversas ecuaciones empleadas en el proceso de simulacin
Para una mayor facilidad y confiabilidad de los resultados de las
ecuaciones es necesario usar un programa especializado en la
resolucin de ecuaciones.

Recomendaciones:

Es aconsejable que para la solucin de ecuaciones lineales se utilice

el mtodo de diferencias finitas, ya que es de fcil comprensin y su
aplicacin es bastante sencilla
Si se va a utilizar un software para la resolucin de estas ecuaciones,
una alternativa puede ser utilizar el software ANSYS, ya que es muy
confiable y estable.

Bibliografa
Introduccin al mtodo de elementos finitos. Consultado el 09/11/2015.
Disponible:
http://www.iit.upcomillas.es/~carnicero/Resistencia/Introduccion_al_MEF.pdf
K. J. Bathe (1995): Finite Element Procedures, Prentice Hall, 2nd edition

P. G. Ciarlet (1991): Basic error estimates for elliptic problems en Handbook

of Numerical Analysis (Vol II) J.L. Lions y P. G. Ciarlet (ed.), North-Holland,
msterdam, 1991, p. 17-351.
ANSYS.
Consultado
el
https://es.wikipedia.org/wiki/ANSYS

09/11/2015.

Disponible: