Solucin de

ecuaciones lineales
en base de
diferencias finitas y
programacin
ALEX GIOVANNI LOYA
LOACHAMIN

Escuela Politcnica
Nacional
Simulacin de
Yacimientos

Ing. Bladimir Cern

1.- Tema

SOLUCION DE ECUACIONES LINEALES EN BASE DE DIFERENCIAS FINITAS Y PROGRAMACIN

2.- Abstract

El siguiente documento tiene una investigacin y sntesis de la solucin de ecuaciones lineales

basadas en diferencias finitas y programacin con el objetivo de aprender sobre la temtica,
siguiendo parmetros predispuestos por el profesor en clases y utilizando mtodos de investigacin
cientfica y terica de diferentes autores.
Los simuladores numricos se basan en modelos matemticos de los procesos fsicos que ocurren
en el reservorio, que, principalmente, consiste en flujo de fluidos y transferencia de masa por lo
tanto, el modelo matemtico consiste en flujo de fluidos y transferencia de masa.
Una ecuacin ordinaria en diferencias finitas es una ecuacin que contiene una o ms diferencias
de una funcin desconocida cuyo argumento es el tiempo, Donde D representa el operador retardo.
Si el argumento no es nicamente el tiempo la ecuacin pierde el calificativo de ordinaria y pasa a
denominarse ecuacin en diferencias finitas parciales.
Por lo tanto, el modelo matemtico resulta un sistema de ecuaciones diferenciales en derivadas
parciales, que aparecen combinando la ecuacin de conservacin de la masa y la ley de Darcy. Para
lograr un modelo matemtico completo, adems de las ecuaciones gobernantes, se deber incluir
una ecuacin de ese estado y una descripcin del reservorio. Se deber especificar un conjunto de
condiciones iniciales y un conjunto de condiciones de contorno que describan el flujo de fluidos que
entran y salen del sistema. Aunque todos los reservorios son tridimensionales, en muchas
situaciones prcticas se puede suponer que el flujo en alguna coordenada se puede despreciar
frente al flujo en las coordenadas restantes.
Entonces los simuladores numricos de yacimientos se han convertido en un poderoso aliado del
ingeniero en la toma de decisiones y en la resolucin de problemas. Mediante su aplicacin, se
pueden analizar distintas alternativas de explotacin de un yacimiento y, consecuentemente,
seleccionar la ms adecuada desde el punto de vista tcnico y econmico

1 ALEX LOYA
3.- Recursos

Una ecuacin ordinaria en diferencias es una ecuacin que contiene una o ms diferencias de una
funcin desconocida cuyo argumento es el tiempo:

Donde D representa el operador retardo. Si el argumento no es nicamente el tiempo la ecuacin

pierde el calificativo de ordinaria y pasa a denominarse ecuacin en diferencias finitas parciales. En
el contexto del anlisis de series temporales, una ecuacin de yt en diferencias es aquella en la que
yt depender de sus valores retardados, del tiempo y de otras variables. Lo fundamental, en nuestro
caso, ser la aparicin de los propios valores retardados de la variable yt . Un paseo aleatorio sin
deriva del tipo:

Es una ecuacin en diferencias con un componente estocstico (Et).

En el contexto del anlisis de series temporales, interesa principalmente lo que se denomina

Ecuacin en diferencias lineal de orden n con coeficientes constantes. La expresin genrica de
esta ecuacin es:

Donde los coeficientes ai se suponen constantes (parmetros) y los n trminos y t-i son de orden
uno (ecuacin lineal). El trmino xt se denomina proceso de fuerza 3 y puede explicitarse de
formas muy diversas: funcin del tiempo, valores actuales y/o retardados de otras variables y/o
perturbaciones aleatorias. Por ejemplo, para ao=0, a1=1 y xt=et tenemos la formulacin tradicional
del paseo aleatorio anterior.

2 ALEX LOYA
FORMA ESTRUCTURAL Y REDUCIDA DE UNA ECUACIN EN DIFERENCIAS

Una ecuacin en la forma estructural expresa la variable endgena en funcin de valores actuales
de otra endgena. La forma reducida, por el contrario, puede incluir valores retardados de la propia
endgena o de otras endgenas pero nunca valores contemporneos. En el contexto de un modelo
multiecuacional de series temporales una ecuacin en su forma reducida puede ser expresada en
su forma estructural. Una ecuacin univariante en su forma reducida es aquella en la que la
endgena es expresada exclusivamente en funcin de retardos de ella misma.

4.- Resolucin

SOLUCIN DE ECUACIONES EN DIFERENCIAS FINITAS

Igual que el resto de ecuaciones matemticas, las llamadas ecuaciones en diferencias admiten una
solucin para la variable incgnita, en nuestro caso yt . La solucin de una ecuacin en diferencias
ser generalmente otra funcin, no un nico valor.

La funcin solucin expresar y t en funcin de t y de los elementos del proceso de fuerza (e

incluso excepcionalmente de algunos valores iniciales de yt denominados condiciones iniciales). Esta
solucin, lo ser si transforma la ecuacin en diferencias en una identidad para cualquier valor del
proceso de fuerza xt y cualquier valor de t. Por ejemplo, para la ecuacin simple en diferencias:

La funcin donde c es un trmino constante cualquiera, es una solucin: sustituyendo

se comprueba enseguida la igualdad:

No se deben confundir soluciones de una ecuacin con formas reducidas de la misma. La solucin
de una ecuacin en diferencias no puede incluir retardos de la propia incgnita salvo en el caso
antes comentado de que sea necesario considerar condiciones iniciales de partida para yt.

Es interesante advertir el significado de la solucin de una ecuacin. Partiendo de una ecuacin en

la que postulamos que yt puede expresarse en funcin de valores pasados propios yt-1, yt-2...etc.,
la solucin de esta ecuacin en diferencias nos informa de cmo se forman los valores de yt por el

3 ALEX LOYA
paso del tiempo, es decir de la variable t y del resto de trminos de la ecuacin en diferencias
(por ejemplo, en el paseo aleatorio, por el componente Et).

EL MTODO DE ELEMENTOS FINITOS

Tal y como vimos en el captulo anterior en el estudio de la ecuacin de Laplace, uno de los mtodos
ms frecuentemente utilizados en la actualidad es el mtodo de elementos finitos (MEF).
El MEF, si bien en una dimensin espacial y en problemas con coeficientes constantes como los que
estamos estudiando proporciona esquemas numricos de aproximacin muy semejantes a los que
hemos barajado mediante diferencias finitas, conceptualmente es bien distinto. Como vimos en el
contexto de La ecuacin de Laplace, el MEF consiste en buscar soluciones.en un espacio de
dimensin finita. No adoptamos pues el punto de vista nodal"sino el del mtodo de Galerkin:
habiendo elegido una base de funciones y definido subespacios de dimensin finita, elegimos en l
la funcin que es solucin de la EDP en el sentido ms preciso posible. Para ello comprobamos si el
producto escalar del operador diferencial con todas las funciones de dicho espacio es nulo (para lo
cual es preciso adoptar una formulacin variacional del problema que se obtiene integrando por
partes). De este modo obtenemos una proyeccin de la solucin real de la EDP sobre el espacio
finito-dimensional considerado.
Esta metodologa puede tambin ser aplicada en el marco de las ecuaciones de evolucin y, en
particular, en el de la ecuacin del calor analizada en esta seccin. Presentemos pues brevemente
la adaptacin del MEF al problema que nos ocupa. Lo haremos en el caso de las aproximaciones
semi-discretas si bien la adaptacin al caso de aproximaciones completamente discretas (explcitas
o implcitas en tiempo) es automtica.

DIFERENCIAS FINITAS PARA COEFICIENTES VARIABLES

Sin duda el problema ms ejemplar del Anlisis Numrico de EDPs es el de resolver el problema de
Dirichlet 1 - d:

El mtodo ms elemental para hacerlo es el basado en diferencias finitas en un mallado regular.

Esto consiste esencialmente en introducir una particin regular del intervalo donde

4 ALEX LOYA
 y buscar, para cada una aproximacin
Para ello utilizamos el esquema de tres puntos:

Diferencias finitas para coeficientes variables: varias dimensiones espaciales

PROGRAMACIN

La programacin informtica, acortada como programacin, es el proceso de disear,

codificar, depurar y mantener el cdigo fuente de programas computacionales. El cdigo fuente es
escrito en un lenguaje de programacin. El propsito de la programacin es crear programas que
exhiban un comportamiento deseado. El proceso de escribir cdigo requiere frecuentemente
conocimientos en varias reas distintas, adems del dominio del lenguaje a utilizar, algoritmos
especializados y lgica formal. Programar no involucra necesariamente otras tareas tales como el
anlisis y diseo de la aplicacin (pero s el diseo del cdigo), aunque s suelen estar fusionadas en
el desarrollo de pequeas aplicaciones.

Del proceso de programacin surge lo que comnmente se conoce como software (conjunto de
programas), aunque estrictamente esta ltima abarca mucho ms que slo la programacin.

PROGRAMAS Y ALGORITMOS

Un algoritmo es una secuencia no ambigua, finita y ordenada de instrucciones que han de seguirse
para resolver un problema. Un programa normalmente implementa (traduce a un lenguaje de
programacin concreto) uno o ms algoritmos. Un algoritmo puede expresarse de distintas
maneras: en forma grfica, como un diagrama de flujo, en forma de cdigo como en pseudocdigo o
un lenguaje de programacin, en forma explicativa, etc.

Los programas suelen subdividirse en partes menores, llamadas mdulos, de modo que la
complejidad algortmica de cada una de las partes sea menor que la del programa completo, lo cual
ayuda al desarrollo del programa. Esta es una prctica muy utilizada y se conoce como "refino
progresivo".

Segn Niklaus Wirth, un programa est formado por los algoritmos y la estructura de datos.

5 ALEX LOYA
Se han propuesto diversas tcnicas de programacin cuyo objetivo es mejorar tanto el proceso de
creacin de software como su mantenimiento. Entre ellas, se pueden mencionar las siguientes:

Programacin Declarativa
Programacin Estructurada
Programacin Modular
Programacin Orientada A Objetos

COMPILACIN

El programa escrito en un lenguaje de programacin (fcilmente comprensible por el programador)

es llamado programa fuente y no se puede ejecutar directamente en una computadora. La opcin
ms comn es compilar el programa obteniendo un mdulo objeto, aunque tambin puede
ejecutarse en forma ms directa a travs de un intrprete informtico.

El cdigo fuente del programa se debe someter a un proceso de traduccin para convertirlo a
lenguaje mquina o bien a un cdigo intermedio, generando as un mdulo denominado "objeto".
A este proceso se le llama compilacin.

Habitualmente la creacin de un programa ejecutable (un tpico.exe para Microsoft

Windows o DOS) conlleva dos pasos. El primer paso se llama compilacin (propiamente dicho) y
traduce el cdigo fuente escrito en un lenguaje de programacin almacenado en un archivo de texto
a cdigo en bajo nivel (normalmente en cdigo objeto, no directamente a lenguaje mquina). El
segundo paso se llama enlazado en el cual se enlaza el cdigo de bajo nivel generado de todos los
ficheros y subprogramas que se han mandado compilar y se aade el cdigo de las funciones que
hay en las bibliotecas del compilador para que el ejecutable pueda comunicarse directamente con
el sistema operativo, traduciendo as finalmente el cdigo objeto a cdigo mquina, y generando un
mdulo ejecutable.

6 ALEX LOYA
5.- Nomenclatura

MEF: Mtodo de elementos finitos.

Univariante: Variacion de una variable.

EDO: Ecuaciones diferenciales ordinarias.

IDE: Entornos de desarrollo integrado.

Plataforma principal: Inicio de Eclipse, ejecucin de plugins.

OSGi: Una plataforma para bundling estndar.

SWT: El Standard Widget Toolkit

JFace: Manejo de archivos, manejo de texto, editores de texto.

Workbench; vistas, editores, perspectivas, asistentes.

6.- Conclusiones y Recomendaciones

Conclusiones

El objetivo de programar las ecuaciones lineales con diferencias finitas es estimar

propiedades ajustando los resultados del modelo matemtico a las mediciones de
caudal o presin realizadas durante el mismo.
la ventaja del mtodo de elementos finitos reside precisamente no en este hecho sino
en su versatilidad para adaptarse a situaciones ms complejas donde el mtodo de
diferencias finitas es de difcil utilizacin.
Con los mtodos de diferencias finitas podemos resolver el modelo matemtico que
describe la evolucin en el tiempo de un pliegue asociado a falla no plana cuando es
sometido a la accin de procesos tectnicos nicamente.
Los modelos que se originan con el planteamiento de las ecuaciones lineales tienen
gran importancia por que rigen el movimiento de fluidos durante la simulacin de
yacimientos, que se realizan a fin de estimar propiedades del pozo o del reservorio en
su conjunto.

7 ALEX LOYA
 la ventaja del mtodo de elementos finitos reside precisamente no en este hecho sino
en su versatilidad para adaptarse a situaciones ms complejas donde el mtodo de
diferencias finitas es de difcil utilizacin.

Recomendaciones

Los modelos que se originan con el planteamiento de las ecuaciones lineales tienen gran
importancia por que rigen el movimiento de fluidos durante la simulacin de yacimientos,
que se realizan a fin de estimar propiedades del pozo o del reservorio entonces el hombre
de simulacin debe conocer todas las propiedades del yacimiento
Obtener la solucin matemtica exacta de la ecuacin general del modelado tectnico
sedimentario directo, a fin de cuantificar los errores y comparar las soluciones arrojadas
por los mtodos de diferencias finitas que resuelven el modelo tectnico-sedimentario,
cuya programacin es aportada por esta investigacin.

8 ALEX LOYA
7.- Bibliografa

Handbook. (17 de Diciembre de 1997). ANLISIS NUMRICO. Obtenido de

http://www.upv.es/mattel/asig/numerico/numerico.htm

Rodriguez, L. (2011). Analisis Numerico Basico. Guayaquil: Ninguna.

Trevisan, M. (5 de Septiembre de 1998). Esquema de diferencias finitas. Obtenido de

http://tesis.ula.ve/postgrado/tde_arquivos/104/TDE-2013-03-07T05:05:02Z-
2992/Publico/corderofelipe.pdf

Wikipedia. (22 de Abril de 2015). Optimizacin (matemtica). Obtenido de

http://es.wikipedia.org/wiki/Optimizaci%C3%B3n_(matem%C3%A1tica)
UNAM.MX. (2015). INTRODUCCIN AL MTODO DE DIFERENCIAS FINITAS Y SU

IMPLEMENTACIN COMPUTACIONAL. Recuperado el 8 de Mayo de 2016, de

Programacin.:

http://mmc.geofisica.unam.mx/femp/Ejemplitos/F_M/FDM/Introducci%C3%B3n%20al%2

0M%C3%A9todo%20de%20Diferencias%20Finitas%20y%20su%20Implementaci%C3%B3n

%20Computacional.pdf

9 ALEX LOYA