Finite element method implementation in long wave modeling.

Pablo Corts. -

August 2013.

Finite element method implementation in long wave modeling.

ABSTRACT An implementation of a numerical method to solve the Regularized Long Wave Equation, in twod one dimensions, space and time, is implemented in MatLab in order to observe the behavior of these waves, with emphasis on solitary waves and Soliton Fission. The motivation points to study how nonlinear effects that manifest in nature, (i.e. Soliton Fission on Tsunami), that most wave models discard in order to obtain faster and robust approximations on wave height and flows, among other variables; can be effectively modeled with FEM techniques. It is also desired to gain knowledge about the architecture behind the numerical schemes, (grid size, interpolation functions, weighting functions), that are used in fluid mechanics to solve the equations that model the phenomena, looking up to further applications of the method in upcoming projects. Since the actual knowledge in this topic, was not deeply studied by the author, the methodology consisted on reviewing literature about the theory behind long waves & nonlinear effects, specific literature related to finite elements, and different proposed models, in order to select one and translate it into code. This small research does not intend to produce a new method for modeling long waves, it rather points to gain deeper knowledge in what other authors have done to the date.

INDICE DE CONTENIDOS

INTRODUCCION ...............................................................................................................2 EL METODO DE LOS ELEMENTOS FINITOS EN LA MECANICA DE FLUIDOS ....3 LA ECUACIN DE ONDA LARGA REGULARIZADA....................................................8 MODELADO DE LA ECUACIN. .....................................................................................9 EJEMPLOS Y RESULTADOS .........................................................................................16 CONCLUSIONES Y OBSERVACIONES ........................................................................20 ANEXO: CDIGO EN MATLAB......................................................................................21

INDICE DE FIGURAS
Figura 1-1. Dominio del problema ......................................................................................5 Figura 3-1. Polinomios de interpolacin .........................................................................10 Figura 4-1-1. Perfiles de la onda solitaria en t=20 [s] .....................................................17 Figura 4-1-2. Error cometido por la aproximacin de la onda solitaria en t=20 [s].......17 Figura 4-2-1. Perfil de la superficie del agua para t=250 [s].(Undular Bore) ................20 Figura 4-2-2. Superposicin de soluciones (Undular Bore) .............................................20

INTRODUCCION

El estudio de la mecnica de fluidos est ntimamente relacionado con la solucin de problemas modelados por ecuaciones altamente complejas, las cuales deben ser aplicadas sobre un medio continuo el que adems puede variar en su forma. Dentro de las ecuaciones que se han empleado para modelar el comportamiento de los fluidos, se encuentra la ecuacin de Navier-Stokes, la cual cubre prcticamente todos los fenmenos que se pueden llegar a presentar dada la fsica de un escurrimiento, pero cuya solucin en forma analtica, no ha sido an derivada. Por la razn anterior se han desarrollado muchas ecuaciones que buscan simplificar algunas de las consideraciones fsicas que Navier-Stokes realiza, lo que da origen a los ms diversos sets de ecuaciones para distintos tipos de problemas, tales como, las ecuaciones de aguas someras, la teora de Bousinessq para ondas largas, la ecuacin de Korteg de Vries o la que ser brevemente tratada en este trabajo, la RLWE, (Regularized Long Wave Equation). An cuando estos modelos logran simplificar en gran medida el problema, acotndolo a los fenmenos fsicos de mayor inters, e inclusive poseyendo algunas de ellas soluciones tericas bien definidas, se hace muchas veces necesario el contar con herramientas numricas que permitan resolver las ecuaciones para diversos tipos de dominios y condiciones de borde, en un intento por obtener datos para problemas reales. Es por ello, que nace la motivacin del estudio de diversas tcnicas numricas que puedan emplearse con el objetivo anterior, siendo algunas de las ms populares: el mtodo de las diferencias finitas, el mtodo de los elementos finitos y el mtodo de lso volmenes finitos. En el presente trabajo, se estudiar la aplicacin en lneas muy generales del mtodo de los elementos finitos para la resolucin de problemas en la mecnica de fluidos, en particular para modelar un caso de la RLWE.

EL METODO DE LOS ELEMENTOS FINITOS EN LA MECANICA DE FLUIDOS

1.- ASPECTOS GENERALES En lneas generales, el mtodo de los elementos finitos es una herramienta matemtica que permite resolver ecuaciones diferenciales en forma aproximada, cambiando el problema original de determinar una funcin o un conjunto de funciones soluciones del problema, a determinar una serie de coeficientes mediante la resolucin de un sistema lineal, cada uno de los cuales representa el valor de la solucin aproximada en puntos preseleccionados por el modelador. Existen diferentes metodologas para llegar al sistema que permite estimar dichos coeficientes, siendo dos de las ms populares los mtodos variacionales y los residuales. Los mtodos variacionales, de los cuales uno de los ms conocidos es el de RayleighRitz , presentan la desventaja de que requieren que el problema sea expresado en un principio variacional, (llegar a una expresin que se asemeja a la minimizacin de la energa del sistema), el cual se puede obtener para sistemas de ecuaciones con derivadas de orden par con coeficientes constantes, (asociado al concepto matemtico de operadores auto-adjuntos), lo que en muchos problemas de la mecnica de fluidos no se da, ya que poseen derivadas impares provenientes de los trminos convectivos, (asociadas al concepto de operadores no-adjuntos), T.J Chung [1] . Por otra parte los mtodos residuales resultan, en primera instancia, muy atractivos para su uso en una gran gama de problemas. Lo anterior porque no poseen la restriccin de que deba existir un principio variacional asociado al problema que se desea resolver, lo que a priori los hace recomendables parar su uso en la mecnica de fluidos. Dentro de estos mtodos, algunos de los ms conocidos son el de Galerkin y el de los Mnimos Cuadrados, siendo utilizado preferentemente el primero, debido a que las funciones de interpolacin que usan son de menor orden que las del segundo mtodo, T.J. Chung [2].

1.1 Definicin matemtica del mtodo de valores residuales a) Para estos mtodos, el resumen del procedimiento matemtico comienza por obtener una solucin aproximada para una ecuacin diferencial de la siguiente forma: = 0 (Ec 1-1)

Donde f es una funcin independiente de la variable u, representa el dominio del problema, y A representa un operador lineal del tipo: = 1
2 2

+ 1

2 1 2 1

+ +

(Ec 1-2)

b) La ecuacin diferencial est sujeta a las condiciones de borde: = (Ec 1-3)

Donde gr es una funcin independiente de la variable u, representa la frontera del dominio del problema, y Br representa un operador lineal formado por dos operadores que actan en conjunto los cuales representan las condiciones naturales y escenciales de borde del problema, o conocidas como de Dirichlet y Neumann respectivamente, (mayor detalle del desarrollo matemtico del operador puede ser encontrado en [3]). c) La solucin aproximada se modela como:
=1

(Ec 1-4)

Donde son constantes y son funciones linealmente independientes, seleccionadas de forma tal que satisfagan las condiciones de borde. d) A partir de la solucin aproximada se define el error como: = (Ec 1-5)

e) Se definen funciones de ponderacin, y se fuerza a que el error promedio de la aproximacin sea cero, mediante el uso del producto interno: , =

= 0

(Ec 1-6)

En particular, en el mtodo de Galerkin, las funciones de ponderacin son equivalentes a las funciones de interpolacin, es decir se busca , =

= 0

(Ec 1-7)

f) Una vez seleccionado el mtodo, se debe dividir el dominio en puntos discretos o nodos, en los que se obtendr posteriormente, la informacin requerida o solucin aproximada del problema de valores iniciales. Esto da origen a los elementos, los cuales son aquella parte del dominio,(espacial o espacial-temporal), que queda contenido entre nodos, (en el caso unidimensional una lnea, en el bidimensional pueden ser cuadrilteros, tringulos, etc).

Figura 1-1. Dominio del problema y sus sub-divisiones: caso 1, dominio de estudio; caso 2, modelo global de elementos finitos; caso 3, modelo local de elementos finitos.(tomada de T. J. Chung)

Posteriormente se modela la solucin al interior de dichos elementos a travs de funciones de interpolacin, las cuales pueden ser polinomios de un grado acorde con el mtodo y el problema a modelar. Si en el dominio general, la funcin o el conjunto de funciones que modelan la solucin est dado por , al interior de cada elemento definimos: ( ) = ;

( = 1, 2)

(Ec 1-8)

Estas funciones , presentan la caracterstica particular de que cada una toma el valor 1 en el nodo que corresponde y cero en los dems. Por otra parte, los valores representan el valor de la solucin en el nodo, definidos localmente.

g) Ya definida la geometra o mallaje del problema, se debe aplicar el producto interno definido en Ec. 1-7, para cada elemento. La aplicacin de lo anterior, se hace considerando integracin por partes para reducir las derivadas de orden superior, se llega a: = + (Ec 1-9)

Donde representa la matriz de rigidez del elemento, son los valores de la solucin en los nodos 1 y 2 y son vectores forzantes, que contienen las acciones externas sobre el elemento. f) El sistema local, se debe ensamblar, de modo que resolvamos la ecuacin para el dominio completo. Lo anterior no es ms que realizar la adicin de las ecuaciones que involucran los nodos donde dos elementos se juntan, y re-ordenar el sistema en forma matricial, quedndonos ahora:
= +

(Ec 1-10)

Donde representa la matriz de rigidez global del sistema, son los valores de la

solucin en todos los nodos del sistema y son vectores forzantes, que contienen las acciones externas sobre el sistema. h) Una vez escrito el problema de esta forma, basta con aplicar las condiciones de borde requeridas y resolver el sistema lineal que finalmente entrega los valores de la solucin aproximada en los nodos.

2.- APLICACIN EN LA MECNICA DE FLUIDOS Como se vio en la seccin anterior, la ecuacin o el sistema de ecuaciones que el modelador desee resolver, deben cumplir con una serie de caractersticas desde el punto de vista matemtico, de tal forma que se asegure que al ejecutar el procedimiento, este aproxime la solucin del problema, o matemticamente, converja a los valores que la funcin solucin tendra en el punto. Lo anterior se lograba en el caso de los mtodos variacionales, asegurando que existiera un principio variacional, o bien, que el problema tuviera derivadas de orden par con coeficientes constantes. Lo que representa una clara desventaja para la aplicacin del mtodo de elementos finitos en problemas de mecnica de fluidos, ya que de la ecuacin de Navier-Stokes, es posible ver que existen trminos de orden impar asociados a los fenmenos convectivos en el flujo,

+ . = + 2 +
Trminos de difusin

(Ec 2-1)
.

Trminos convectivos

Por otro lado, T.J. Chung [2], asegura que es posible aplicar el mtodo de Galerkin para problemas con derivadas de orden impar; lo que si bien es cierto, presenta ciertas dificultades. Zienkiewicz O. C. Y Taylor R. L.[5] indican que el mtodo funciona bien cuando los trminos convectivos son relativamente pequeos en magnitud al ser comparados con los trminos difusivos, (ver Ec. 2-1), ya que si el valor de los primeros aumenta, la solucin entregada por el mtodo se vuelve oscilatoria. Para tratar con este problema uno de los enfoques clsicos es la utilizacin del mtodo de Petrov-Galerkin. El mtodo anterior es una modificacin del mtodo que se explic en la seccin anterior, y consiste en escoger funciones de ponderacin diferentes a las funciones de interpolacin para la solucin en los elementos, es decir: , = Con: Las funciones de ponderacin se escogen de forma tal que en ellas se dejan parmetros libres para ser ajustados luego, adems de que sus formas muchas veces conducen a que los valores de la integral de las mismas sobre el dominio, resultan convenientes para eliminar algunos trminos, (por ejemplo, valor cero a aquellas relacionadas con las derivadas de orden superior). Luego al desarrollar las integrales sobre los elementos se obtendr el sistema lineal expuesto en Ec. 1-10 pero dependiendo de los valores ajustables, Zienkiewicz O. C. Y Taylor R. L.[6] El mtodo anteriormente propuesto no es el nico, como se expone en Zienkiewicz O. C. Y Taylor R. L.[6], existen otras posibilidades, como la introduccin de difusin artificial en el problema, la cual si bien es ms sencilla de aplicar, presenta poca justificacin lgica, (es ms un artificio que la inclusin de un fenmeno fsico real), y adems no logra modificar algunos de los trminos de fuente, (o trminos forzantes externos), lo que puede conducir a resultados errneos. La explicacin detallada del esquema, se realiza en la seccin correspondiente a la aplicacin del mtodo propuesto por AVILEZ P. & SEABRA F. J [7].

= 0

(Ec 1-6)

LA ECUACIN DE ONDA LARGA REGULARIZADA

Antes de pasar a la aplicacin del esquema propuesto en [7], resulta de inters conocer algunos aspectos bsicos de la ecuacin que se modelar en ellos. Dicha ecuacin corresponde a la RLWE, (por sus siglas en ingls Regularized Long Wave Equation), o ecuacin de onda larga regularizada la cual fuese propuesta por Peregrine [8], tambin conocida como ecuacin de Benjamin-Bona-Mahony [9], (BBM), la cual posee la siguiente forma general: + + 2 = 0 (Ec 3-1)

En donde el parmetro representa la superficie libre del agua, es la velocidad de la onda, es un coeficiente de no-linealidad, es un coeficiente de dispersin y los subndices indican las derivadas a aplicar sobre la variable. Si a esta ecuacin se escala, tomando los siguientes cambios de variables:

(Ec 3-2)

En donde representa el nmero de onda y representa la amplitud de la onda; se obtiene la ecuacin de onda larga regularizada en la siguiente forma: + + 2 = 0 Donde los parmetros a-dimensionales corresponden a: = ; = (Ec 3-3) (Ec 3-3)

Esta ecuacin se emplea para modelar olas que sean dbilmente no lineales y dbilmente dispersivas, es decir, donde se cumple que , 2 < 1. Histricamente esta ecuacin nace a partir de mejorar la existente ecuacin de Korteweg de Vries, de la cual se cita una de sus formas: + + = 0 (Ec 3-3)

El inters en este tipo de ecuaciones, es que presentan soluciones que representan bien fenmenos fsicos que se presentan en la naturaleza, cuando se observa la propagacin de ondas largas. En particular la onda solitaria, la fisin de una onda en un tren de solitones y las ondas Cnoidales, son soluciones a las ecuaciones planteadas con anterioridad. Lo anterior y su estructura, las hace apropiadas para modelar ondas en aguas someras y de all el inters por estudiar un mtodo que permita obtener la evolucin temporal de sus soluciones.

En particular, la onda solitaria, que es una aquella donde los parmetros de nolinealidad y dispersivos, ( , , ), estn balanceados, (por ejemplo, ambos valiendo 1), presenta la cualidad de que su forma no se ve alterada por factores del medio, o por su interaccin con otras ondas solitarias. Lo anterior no slo tuvo aplicaciones en el campo de la hidrulica, si no, en ondas inicas acsticas en plasma, problemas acsticos en medios cristalinos, entre otros. La derivacin de estas ecuaciones no ser tratada en este trabajo, sin embargo, existen mltiples metodologas para hacerlo, dentro de ellas una revisada por el autor, consiste en tomar las ecuaciones clsicas del flujo, (conservacin de masa y momentum), considerando irrotacionalidad y densidad constante en el dominio espacial y temporal, las cuales se diferencian para obtener una ecuacin de orden superior en la que se reemplazan aproximaciones de las velocidades por series de potencias, llegando a expresiones similares a las propuestas en (Ec 3-3).

MODELADO DE LA ECUACIN.

La seccin siguiente corresponde a una transcripcin de los pasos fundamentales propuestos por AVILEZ P. & SEABRA F. J [7], para llegar desde la ecuacin previamente presentada, al modelo de elementos finitos computacional. Se recuerda que el mtodo a emplear es del tipo Petrov-Galerkin. El modelo considera elementos finitos en dos dimensiones, una dimensin temporal, (o eje x), y una dimensin espacial. Esto ya representa un enfoque alternativo al tratamiento de problemas en mecnica de fluidos, en los que es ms comn ver la aplicacin de mtodos de diferencias finitas para el modelado de los trminos temporales. Por otra parte la ecuacin a modelar en primera instancia ser: + + 2 = 0 (Ec 3-3)

La cual corresponde, como se vi con anterioridad, a la ecuacin de onda larga regularizada y escalada. Si se considera para el problema un dominio del tipo T, en dondel representa el el dominio espacial para la variable x y que abarca entre [0, ] ; mientras que , representa el dominio temporal que abarca entre [0, +] . Dicho dominio, se parte en elementos finitos, tanto en el dominio temporal como espacial. A continuacin se consideran dos tipos de polinomios, el primero, consiste de polinomios continuos bilineales los cuales sern empleados como las funciones de interpolacin, y el segundo de polinomios discontinuos lineales en el espacio y cuadrticos en el tiempo los que sern empleados como las funciones de ponderacin. 9

Los primeros polinomios corresponden a: 1 = 1 2 = 3 =

(Ec 3-4a) (Ec 3-4b) (Ec 3-4c)

4 = 1

(Ec 3-4d)

Los cuales pueden ser visualizados en las siguientes figures

Figura 3-1. Polinomios de interpolacin para el dominio espacio-temporal. Valor 1 en el nodo

correspondiente

10

Con las funciones anteriores se interpola la solucin que se obtendr en los nodos, mediante la ecuacin =
4 =1

(Ec 3-5)

Expresin anloga a la ya definida en Ec 1-8. Por otro lado, la funcin de ponderacin empleada para = , (Nodos 3 y 4 de las figuras anteriores), corresponde a: , = +
2

(Ec 3-6)

En donde las funciones de base corresponden a: 3 = 6

(Ec 3-7a)

4 = 6 1

(Ec 3-7b)

La funcin de ponderacin anterior, es de autora de Yu y Heinrich [10], quienes la elaboraron para obtener resultados estables para la resolucin de ecuaciones de conveccin y difusin. Su principal ventaja, es la libertad de seleccin de los coeficientes y , el primero de ellos se emplea para introducir disipacin en trminos de orden superior, mientras que el segundo para eliminar la dispersin numrica asociada a trminos de rdenes bajos. Lo anterior se enmarca dentro de la tcnica de Petrov-Galerkin, mencionada en la seccin El mtodo de elementos finitos en la mecnica de fluidos. Recordamos que de los elementos finitos, se quiere encontrar una aproximacin de ( , ), llamndose esta ( , ), tal que para todas las funciones de ponderacin , , se cumpla:
+ 0

+ + 2 = 0

(Ec 3-8)

En esta integral se reemplaza en primera instancia la funcin de ponderacin. Posterior es necesario un poco de manejo matemtico, en particular, el uso de integracin por partes para reducir el orden de las variables a integrar. Adems de ello se aprovechan algunas cualidades de las funciones de base, (3 , 4 ), e interpolacin (1 , 2 , 3 , 4 ), que permiten anular trminos, (mayor detalle, revisar [7]), con lo que se llega a:

11

+ + 2
0 +

+
0 +

+ + 2

+
0

4 +

+
2

Donde =
4 =1 2
2

+ 2 [

2 ] 0 = 0 0

(Ec 3-9)

La integracin de la expresin anterior es factible, debido a la seleccin de las funciones a integrar, (todas polinmicas), si ella se lleva a cabo para un elemento, se obtienen ecuaciones discretas para cada nodo, el desarrollo en detalle puede encontrarse en la [7] pag. 258-259. Si el procedimiento anterior se lleva a cabo, el esquema obtenido de esta manera es una representacin de una ecuacin diferente a la planteada en un comienzo, (Ec 3-3), para observar esto, el autor se vale de una expansin en serie de Taylor de 5 orden para un punto en la mitad entre dos nodos espaciales. Posterior a ello, se vale de la diferenciacin de la expresin y su substitucin en la expresin original para finalmente llegar a que el mtodo tal como se ha planteado, es una aproximacin de la siguiente ecuacin diferencial: + + 2 = + 1 4
2

1 1 1 3 2 8 3 2 1 + 4 3 + 4
2

2 3 2 3 (Ec 3-10)

+ ( 4 , 3 , 2 2 ) En donde =

12

Posterior a ello, los autores recomiendan escoger el parmetro beta de la siguiente manera: =
3

(Ec 3-11)

Con lo que el trmino de segundo orden en Ec 3-10 a mano derecha, se elimina, y con ello el error de dispersin numrica asociado. Finalmente la ecuacin 3-10 queda: + + 2 =
1 4 1 24 2

3 1 2 + 2 2 +

1 12 2

2 2 + (Ec 3-12)

+ ( 4 , 3 , 2 )

Con dicha ecuacin se establecern los valores ptimos de los parmetros para las iteraciones. Si la expresin que se deriva de (Ec 3-9), se re-ordena en forma matricial, se llega a un sistema del tipo: + 2 = (Ec 3-13)

Esta ecuacin es similar a la propuesta en el captulo 1, (Ec 1-10), sin embargo, por la naturaleza de las expresiones desarrolladas con anterioridad, presenta algunas salvedades. La primera de ellas, es que no resuelve en forma directa el valor de la superficie del agua, si no que el resultado de ella nos arroja el delta temporal , o la diferencia entre el nivel actual de la superficie y el que habr en un tiempo + . Por otro lado el vector forzante, , debe ser iterado para as asegurar que la solucin obtenida en un instante de tiempo es de precisin de orden 5. Lo ltimo resulta de relevancia, considerando que la ecuacin real que modela el algoritmo es de orden 3. En la expresin anterior, los autores entregan en forma explcita las expresiones de M, (matriz de masas), y K, (matriz de difusin), globales del sistema, las cuales arrojan: 2 = 6 1 1

1 2 1

1 = 1

1 1

1 1 1

13

El vector , va cambiando su valor, dependiendo del paso iterativo en el que se encuentre el algoritmo. En primer lugar se realiza el paso predictor, es decir, se resuelve el siguiente sistema: + 2 0 = En el que el valor del vector forzante es: = + 0 Donde:
+1 0 = 0 2

(Ec 3-14)

( + )

(Ec 3-15)

(Ec 3-16)

En esta ltima expresin, la variable representa el valor de la solucin en el tiempo actual. Este valor siempre ser conocido, pues corresponde a la condicin inicial del problema para t=0, y al valor de la superficie del agua en el tiempo n, cuando se est calculando el valor de la variable en n+1.
+1 Con el valor obtenido como predicin, 0 , se ingresa al mtodo predictor, el que consiste en resolver el siguiente sistema:

+ 2 = +1 +

(Ec 3-17)

Nuevamente cambian los valores de los vectores forzantes, para las siguientes iteraciones, (desde k=1 hasta k=3), la expresin general de los mismos queda: =
2

+ +

( + ) (Ec 3-18)

+1 =

+1 +1 1 + 1

4 +1 (1 4

+1 1 + +1 + 1)

+1 1

(Ec 3-19)

Para los computes anteriores C,( matriz de conveccin), corresponde a: 1 = 1 2 1 1

1 1 1

Los autores proponen valores variables para los parmetros y , ello en virtud de un anlisis de estabilidad y precisin, relizado por el mtodo de Von Neumann, (mayor detalle en [7], pginas 261-263), con lo que finalmente proponen para cada k: 0 = , 1 = 3 = 0, 2 = 1/(1 2 + 2 2 ) (Ec 3-20)

14

0 = 0, 1 = 2 = 3 = Con =

(Ec 3-21)

0.8 ;

= 6

(Ec 3-22)

Definidos los parmetros anteriores, el algoritmo permite encontrar la solucin al problema de valor inicial planteado en la Ec 3-3. Sin embargo, dicha ecuacin se encuentra escalada, por lo que el modelador normalmente desear emplear un algoritmo que permita resolver la Ec 3-1. Para ello, unos pocos ajustes deben ser hechos a lo obtenido hasta el momento, en particular se redefine: , = + =
2

(Ec 3-23) (Ec 3-24)

= 6

Y con los respectivos reemplazos en las expresiones correspondientes, de los valores de , y . Es de importancia notar que la estructura de las expresiones ser la misma, ya que el trmino incorporado , es slo una constante. Por otra parte, en todas las expresiones derivadas se debe hacer el cambio siguiente:

15

EJEMPLOS Y RESULTADOS

Se proponen dos ejemplos tomados del paper para comprobar que el algoritmo entrega resultados precisos y estables. Se modelar la ecuacin sin escalar, que corresponde a la Ec 3-1, con = 1. + + 2 = 0 (Ec 4-0-1)

Lo anterior nos permite emplear el algoritmo propuesto tal como se ha derivado en primera instancia, pues las funciones de ponderacin dadas por la Ec 3-23 y la Ec 3-6 son idnticas. Recordamos que para las expresiones se debe ocupar el siguiente cambio: Y con: =

= 6

(Ec 4-0-2)

Para los ejemplos, no se computaron los valores de las cantidades invariantes de la ola, ya que ello implicaba el desarrollo de un esquema adicional de elementos finitos.

CASO 1: PROPAGACIN DE UNA ONDA SOLITARIA. Sabiendo que la ecuacin de la onda solitaria dada por: , = 3 sech2 [( 0 )] Con , velocidad de propagacin de la onda, dada por: = 1 + y , nmero de onda, dado por: =
4 2

(Ec 4-1-1)

(Ec 4-1-2)

(Ec 4-1-3)

Los parmetros de la onda estn definidos por los autores de modo que sus resultados fuesen comparables con investigaciones sobre modelacin empleando otros esquemas, estos corresponden a: = 2 = 1; = 0.125; = 0.1; = 0.8; = 8 6; 0 = 40; = 0.1

16

El dominio temporal corresponde a = [0,20], y el espacial a x= [0,100]. La condicin inicial corresponde a la evaluacin de la Ec 4-1-1 para t=0. En la siguiente figure se presenta el resultado final de las iteraciones, su comparacin con la solucin terica en el mismo tiempo y una grfica del error asociado:

Figura 4-1-1. Perfiles de la onda solitaria en t=20 [s].

Figura 4-1-2. Error cometido por la aproximacin de la onda solitaria en t=20 [s].

17

CASO 2: FISIN EN TREN DE SOLITONES, (UNDULAR BORE) Se estudiar el fenmeno de fisin de un frente empinado con perfil inicial: , 0 =
1 2

0 [1 tanh (

)]

(Ec 4-2-1)

Los parmetros de la onda estn definidos por los autores de modo que sus resultados fuesen comparables con investigaciones sobre modelacin empleando otros esquemas, estos corresponden a: = 1.5; 2 = 1 ; = 0.24; = 0.1; = 0.417; = 4.17; 0 = 0; = 0.1 6

El dominio temporal corresponde a = [0,250], y el espacial a x= [60,300], por otro lado la eleccin de d es libre, este parmetro modifica que tan empinado es el frente inicial, los autores proponen el uso de d=2 y d=5. La condicin inicial corresponde a la evaluacin de la Ec 4-1-1 para t=0, en este caso, se impone una condicin de borde, la cual consiste en que = = 60, para todo t. la incorporacin de esta condicin de borde es relativamente sencilla, ya que el valor de la variable , es constante para todo t, el valor de = 0 para todo t en = 60, lo que implica que podemos directamente achicar el sistema lineal a resolver mediante: 0 1 = 0 0 0 Para luego resolver:
+ 2 0 = ( )

0 0 1 0 0

0 0 0 0 1

+ 2 = ( +1 + ) (Ec 4-2-2)

Con:
0 = 0 =

(Ec 4-2-2)

Cabe destacar que para el presente caso, nos e dispone de una solucin analtica para poder comparar el funcionamiento del algoritmo con respecto a la teora. A pesar de que los autores muestran grficas con la forma del perfil de la superficie del agua para distintos tiempos, al no incluir datos numricos, tampoco es posible la comparacin directa entre sus resultados y los que se obtuvieron de la implementacin en MATLAB. Como alternativa, se superpusieron las grficas de dos situaciones, 18

modelo en MATLAB, y modelacin superpuesta con el grfico provisto por los autores [7], con lo que se obtuvieron las siguientes figuras:

Figura 4-2-1. Perfil de la superficie del agua para t=250 [s].

Figura 4-2-2. Superposicin de soluciones en t=250 [s], (Corts y viles-Seabra [7]).

El perfil simulado en color azul, se superpone completamente para la escala en que se ha realizado el grfico, lo que nos da luces sobre la implementacin en forma correcta del cdigo. Lamentablemente esta comparacin slo es cualitativa, ya que no se puede establecer algn tipo de error para efectivamente obtener el orden de exactitud de la solucin. 19

CONCLUSIONES Y OBSERVACIONES

La primera conclusin sobre el presente reporte, va referido a la complejidad de la aplicacin de los elementos finitos en la mecnica de fluidos. Dentro de este trabajo, se realiz una investigacin superficial para poner el contexto el procedimiento que se obtuvo del paper de viles-Seabra [7], sin embargo, dej fuera muchos elementos de importancia que probablemente requieren un estudio ms minucioso, si se desea ahondar en la aplicacin del mtodo para la resolucin de otro tipo de ecuaciones de la mecnica de fluidos. En particular hay un aspecto no tratado por el autor del presente informe, y que guarda relacin con la conservacin que debe estar presente en todo modelo numrico que desee reflejar algn problema de la mecnica de fluidos. Segn lo estudiado, muchas veces, los algoritmos tanto de elementos finitos como de diferencias finitas, en su incorporacin de trminos que estabilizan la solucin, producen que a cada iteracin la cantidad de masa en el dominio vaya variando. An cuando las soluciones del presente cdigo dieron muy cercanas a la realidad, es de inters saber como la masa total del sistema va variando, si presenta alguna tendencia al crecimiento/decrecimiento, y la proyeccin de la misma para dominios ms grandes tanto espaciales como temporales. En segundo lugar, y como un aprendizaje a destacar sobre el mtodo, est precisamente lo citado antes. Existen diversas tcnicas que los autores emplean para hacer que el mtodo de los elementos finitos pueda ser adaptado a la mecnica de fluidos, dentro de las cuales el esquema de Petrov-Galerkin con funciones de ponderacin diferentes a las funciones de interpolacin, parece ser de los ms populares. Como observacin a la implementacin del mtodo, en particular para el caso nmero 2, se pudo ver que el tiempo de clculo fue elevadsimo, (cercano a las 4 horas). Esto resulta as por el tamao de las matrices que se emplearon en el clculo, (recordando que se emplearon 1500 elementos, la matriz a resolver en cada iteracin es de 2250000 elementos). De las averiguaciones posteriores que el autor del presente reporte realiz, ello se debe a que cuando se quieren resolver sistemas con cantidades de grados de libertad elevados, es conveniente emplear una notacin diferente para las matrices, cuando ellas son de tipo Sparse, o con muchos ceros. Un paso posterior, podra ser la optimizacin del cdigo para reducir notablemente su tiempo de clculo.

20

ANEXO: CDIGO EN MATLAB. %FINITE ELEMENT ROUTINE BY AVILEZ AND SEABRA FOR RLWE %CODED BY PABLO CORTES clc clear all close all n_el=800; xo=0; xf=100; L_dom=xf-xo; dx=L_dom/n_el; dt=0.1; Total_time=20; pos=xo:dx:xf; %Put here de desired number of elements %initial point of dominion, %final point of dominion, %Lenght of dominion USER USER USER AUTOMATIC

%Nonlinearity and dispersion parameters based on model selection and %initial condition %1.- Solitary wave delt=1; mu=1; c=0.1; a=3*c; nu=1; v=1+delt*c; k=(delt*c/(4*mu^2*v))^(1/2); epsilon=delt; sigma=mu; Cr=nu*dt/dx; %courant number theta=(6)^(1/2)*mu/dx; %mesh refinement parameter %initial condition u = zeros(n_el+1,fix(Total_time/dt)+1); u(:,1) =a*sech(k*(pos-v*0-40)).^2;

if Cr<=1 && Cr<=(2)^(1/2)*theta

21

%-------------------------------------------------------------------------%Definition of matrices Mg=zeros(n_el+1,n_el+1); Kg=zeros(n_el+1,n_el+1); Cg=zeros(n_el+1,n_el+1); %local matrices (proposed in paper) M_loc=dx/6*[2,1;1,2]; K_loc=1/dx*[1,-1;-1,1]; C_loc=1/2*[-1,1;-1,1]; for i=1:1:n_el; %Dominion data %xb= xo + L_dom/n_el*i; %xa= xo + L_dom/n_el*(i-1); %pos(i)=xa; %pos(i+1)=xb; %Global Mass Matrix Mg(i,i)= Mg(i,i) +M_loc(1,1); Mg(i,i+1)= Mg(i,i+1) +M_loc(1,2); Mg(i+1,i)= Mg(i+1,i) +M_loc(2,1); Mg(i+1,i+1)=Mg(i+1,i+1)+M_loc(2,2); %Global Stifness Matrix Kg(i,i)= Kg(i,i) +K_loc(1,1); Kg(i,i+1)= Kg(i,i+1) +K_loc(1,2); Kg(i+1,i)= Kg(i+1,i) +K_loc(2,1); Kg(i+1,i+1)=Kg(i+1,i+1)+K_loc(2,2); %Global Convection Matrix Cg(i,i)= Cg(i,i) +C_loc(1,1); Cg(i,i+1)= Cg(i,i+1) +C_loc(1,2); Cg(i+1,i)= Cg(i+1,i) +C_loc(2,1); Cg(i+1,i+1)=Cg(i+1,i+1)+C_loc(2,2); end %-------------------------------------------------------------------------%Time integration scheme q = zeros(n_el+1,fix(Total_time/dt)+1); delt_u = zeros(n_el+1,fix(Total_time/dt)+1); forc_vc= zeros(n_el+1,fix(Total_time/dt)+1); figure(1); plot(pos,u(:,1)); xlim([xo xf]); ylim([-0.5 0.5]);

22

for i=2:1:fix(Total_time/dt)+1; %step zero, predictor scheme bet =0; aph =Cr; q(:,i-1) =u(:,i-1).^2/2; common0 =u(:,i-1)+epsilon*q(:,i-1); forc_vc(:,i-1) = -dt*Cg*(common0)+ 1/2*aph*dt*dx*Kg*(common0); delt_u =linsolve(Mg+sigma^2*Kg,forc_vc(:,i-1)); u(:,i) =delt_u+u(:,i-1); q(:,i) =u(:,i).^2/2; commoni =u(:,i)+epsilon*q(:,i); %steps 1-3, corrector scheme for j=1:1:3 switch j; case 1 aph= 0; case 2 aph= 1/(1 - Cr^2 + 2*theta^2); case 3 aph=0; end bet=Cr/3; forc_vc(:,i-1)= -dt/2*Cg*(common0)+(aph*dx/2*Cg'+bet*dt*dx/4*Kg)*u(:,i-1) bet*dt*dx/4*epsilon*Kg*q(:,i-1) -aph*dt*dx/4*Kg*(common0); forc_vc(:,i) = -dt/2*Cg*(commoni)-(aph*dx/2*Cg'+bet*dt*dx/4*Kg)*u(:,i) +bet*dt*dx/4*epsilon*Kg*q(:,i) -aph*dt*dx/4*Kg*(commoni); delt_u =linsolve(Mg+sigma^2*Kg,forc_vc(:,i)+forc_vc(:,i-1)); u(:,i) =delt_u+u(:,i-1); q(:,i) =u(:,i).^2/2; commoni =u(:,i)+epsilon*q(:,i); end figure(1); plot(pos,u(:,i)); xlim([xo xf]); ylim([-0.5 0.5]); i*dt end else disp('Stability conditions not satisfied') end 23

REFERENCIAS
[1] T. J. CHUNG (1978), Finite element analysis in fluid dynamics. 1: 39. [2] T. J. CHUNG (1978), Finite element analysis in fluid dynamics. 1: 43. [3] T. J. CHUNG (1978), Finite element analysis in fluid dynamics. 1: 15-17. [4] T. J. CHUNG (1978), Finite element analysis in fluid dynamics. 1: 40-41. [5] ZIENKIEWICZ O. C. & TAYLOR R. L. (2000), The Finite Element Method-Volume 1:Its basis and fundamentals, 3: 94-95. [6] ZIENKIEWICZ O. C. & TAYLOR R. L. (2000), The Finite Element Method-Volume 3:Fluid Dynamics, 2: 18-22. [7 ]AVILEZ P. & SEABRA F. J., (2004), A PetrovGalerkin finite element scheme for the regularized long wave equation. Computational Mechanics 34, 256270 [8] PEREGRINE D.H. (1966), Calculations of the development of an undular bore. J. Fluid Mech. 25 , 321330. [9] T.B. BENJAMIN, J.L. BONA & J.J. MAHONY. (1972) , Model equations for long waves in nonlinear dispersive systems. Phil. Trans. R. Soc. London, Ser. A 272, 4778. [10] YU C-C, HEINRICH JC (1986) Petrov-Galerkin methods for the time-dependent convective transport equation. Int. J. Numer. Meth. Eng. 23: 883901

24