Trabajo No 2.

Matemticas Avanzadas a TOOL BOX MATLAB PDE

Elkin Gutierrez, Henry Copete Lpez, James Londoo o n
Profesor:

Carlos Palacios
Maestr en Ingenier a a Universidad de Antioquia

14 de junio de 2006

1.

Introduccin o

Muchos de los problemas estudiados por diversas disciplinas de la ingenier como la mecnica de medios continuos, el electromagnetismo, la transa a ferencia de calor, entre otras, involucran el estudio de magnitudes que evolucionan no solamente en tiempo sino tambin en las variables espaciales. Por e esta razn, la formacin de un ingeniero no debe cubrir unicamente el campo o o de las ecuaciones diferenciales ordinarias, sino tambin el modelado de sise temas mediante ecuaciones en derivadas parciales. Sin embargo, en muy pocas ocasiones puede obtenerse una solucin anal o tica a estos problemas, especialmente cuando el dominio computacional presenta una geometr complicada. a Aunque existen varios enfoques distintos para la resolucin numrica de estos o e problemas, quiz el ms extendido en la comunidad ingenieril es el mtodo a a e de los elementos nitos. En este cap tulo analizamos las funcionalidades que Matlab incorpora en este campo mediante su toolbox para ecuaciones en derivadas parciales. El PDETOOL permite resolver las ecuaciones diferenciales en derivadas parciales en el espacio de dos dimensiones y en el tiempo, utilizando el Mtodo e de Elementos Finitos. Para ello es necesario dibujar el objeto en dos dimensiones, especicar la ecuacin diferencial y las condiciones de frontera. o Tambin permite crear en el espacio de trabajo unos cheros con los datos e de geometr condiciones de frontera y la descripcin de la malla. Desde la a, o l nea de comandos de MATLAB podemos llamar unas funciones para realizar y controlar la actuacin de PDETOOL. o Las ecuaciones tratadas en PDETOOL describen varios tipos de los procesos f sicos importantes, tanto estacionarios como no estacionarios, tales como transferencia de calor, procesos de difusin, electrosttica, ondas acsticas y o a u electromagnticas, vibracin de membranas y determinacin de valores proe o o pios. Los tipos de ecuaciones que se pueden resolver con esta herramienta son: Ecuacin parablica: o o u t Ecuacin hiperblica: o o d d 2u t2 (c u) + au = f (1)

(c u) + au = f 2

(2)

Ecuacin el o ptica: (c u) + au = f Ecuacin de valores propios: o (c u) + au = du (4) (3)

Aqu es el valor propio desconocido, d es una funcin compleja. Para o ecuaciones parablicas e hiperblicas los coecientes c, a, f y d pueden deo o pender del tiempo. Las condiciones de frontera para una funcin escalar u pueden ser de dos o tipos: Dirichlet: hu = r en la frontera . Neumann generalizado: n(c u) + qu = g en la frontera . n es el vector unitario dirigido hacia fuera del dominio . g, q, h y r son funciones complejas denidas dentro del dominio .

2.

PDE TOOLBOX

Es una herramienta de MATLAB que facilita la resolucin de problemas o de ecuaciones diferenciales parciales (EDP). La solucin presentada se obtiene o haciendo uso el mtodo de elementos nitos para problemas denidos sobre e dominios limitados y continuos en el plano.

2.1.

Alcance
Anlisis de ecuaciones (sistemas) de ecuaciones de derivadas parciales. a Modelacin de geometr bidemensionales. o as Generacin automtica de mallas(mesh). o a 3

Renamiento de mallas en modo adaptativo. Utilizacin de las librer de MATLAB. o as Permite la interaccin con otros toolbox de MATLAB. o

2.2.

Areas de aplicacin o
Transferencia de calor en tanto en estado estable como en transitorio. Flujos en medios porosos y problemas de difusin. o Propagacin de ondas transitorias y armnicas. o o Movimientos transversales en membranas. Determinacin de estados de vibracin natural de membranas y probo o lemas de estructuras mecnicas. a

2.3.

Ventajas
Permite la operacin en modo grco (GUI). o a Permite la operacin en modo de comandos. o Ambiente exible y abierto .

2.4.

Limitantes
Solo para anlisis bidimensionales. a No permite importar datos de geometr desde sistemas CAD. a Interfaz grca limitada. a No presenta documentacin completa para uso avanzado. o

3.

Metodolog operativa a

La Figura 1 representa grcamente la metodolog a emplear con el P DE a a toolbox:

Figura 1: Metodolog operativa a El P DE toolbox de Matlab incluye una interfaz grca de usuario (GUI) a completa, que cubre todos los aspectos del proceso de solucin de una EDP. o La interfaz se inicializa escribiendo pdetool en la l nea de comandos de Matlab, siempre y cuando el toolbox mencionado se encuentre instalado en el sistema. La Figura 2 muestra el aspecto que presenta el pdetool GUI nada ms al ser inicializado. a Para denir un problema por medio de la interfaz grca de usuario (GUI) a a la cual se accede mediante el comando pdetool, se dispone de tres modos que corresponden a diferentes etapas en la denicin del problema de EDP: o Draw mode (Modo de dibujo) Boundary mode (Modo de frontera) PDE mode (Modo PDE) 5

Figura 2: Metodolog operativa a

3.1.

Draw mode (Modo de dibujo)

En este modo se crea la geometr de problema, por medio de un conjunto a de objetos slidos, los cuales pueden ser combinados para obtener geometr o as mas complejas.

Se selecciona del men principal Draw DrawM ode. Se pueden dibuu jar rectngulos, elipses o pol a gonos seleccionando del men principal Draw u Rectangle, Ellipse, P olygon, o bien a partir de los iconos que aparecen debajo del men principal mostrados en la Figura. Existen dominios bsicos u a 6

como rectngulos, discos y pol a gonos con los cuales se pueden operar para obtener dominios ms complejos combinndolos con las operaciones de unin a a o (+) y diferencia (). Observe que las distintas regiones se van numerando consecutivamente, si son rectngulos como R1, R2, etc., si son c a rculos C1, C2, etc. Para dibujar una muesca se puede dibujar un c rculo sobre otro modicar la combinacin por defecto en la ventana Set formula de C1 + C2 a o C1 C2, como en la Figura 3. al cambiar de modo (por ejemplo cambiando a BoundaryM ode) aparecer la regin resultante. a o

Figura 3: Draw mode (Modo de dibujo)

3.2.

Boundary mode (Modo de frontera)

En este modo se especican las diferentes condiciones de frontera (Dirichlet o Neumann), las cuales pueden ser aplicadas a diferentes segmentos de las fronteras. Una vez especicado el dominio, se pueden especicar las condiciones de frontera cambiando al Modo de Frontera (Boundary Mode) a partir del men principal: Boundary BoundaryM ode. Si se desea se pueden reu mover los bordes interiores del dominio, si los hay, seleccionando del Boundary Removeallsubdomainborders. Las condiciones de frontera sobre uno de los bordes se inician dando doble click sobre alguno de los bordes de la frontera del dominio. Aparecer una ventana donde se podrn especicar las a a condiciones de frontera del tipo Dirichlet, Neumann o Mixtas. En la gura siguiente aparece la ventana por defecto para especicar condiciones de frontera tipo Dirichlet: h u = r. Aqu h y r son constantes o a lo ms funciones a de la variables independientes x, y. Por ejemplo para especicar la condicin o de frontera u = x2 + y 2 , (x, y) 1 donde 1 denota la parte de la frontera seleccionada, debemos especicar h como se muestra en la Figura 4.

Figura 4: Boundary conditions

3.3.

PDE mode (Modo PDE)

En este modo se especica el tipo de ecuacin a resolver y sus respeco tivos coecientes c, a, f y d. Se pueden especicar coecientes para cada subdominio independientemente.

Figura 5: PDE mode (Modo PDE)

3.4.

Mesh mode (Modo Malla)

Este modo permite inicializar la malla y renarla en caso necesario. Se debe tener en cuenta que una malla no se puede renar indenidamente, si se rena demasiado el clculo puede demorar demasiado o pueden aparecer a oscilaciones espurias. Esto marca un compromiso de rapidez y precisin. En o la Figura 6 se muestra la malla inicial en una regin en forma de L y un o primer renamiento obtenido al dar clic en el icono sealado por el puntero n en la gura de la derecha.

Figura 6: PDE mode (Modo PDE)

3.5.

Mesh solve (Modo Solucin) o

En este modo se resuelve la EDP. Basta seleccionar del men principal u Solve. En la siguiente Figura 7 se muestra la solucin en base al ultimo o mallado de la regin. Por defecto, el grco que se muestra es del tipo de o a colores, con la barra a la derecha indicando los valores que se asocian a diversos tonos. En la gura, se ha resuelto la ecuacin de Laplace en la o regin en forma de L. la regin central en rojo corresponde a valores ms o o a altos, los bordes ms claros a valores menores de la solucin. En el ejemplo, a o las condiciones de frontera son del tipo Dirichlet homogneas, de ah que la e solucin debe tomar el valor cero en la frontera. o

Figura 7: Mesh solve (Modo Solucin) o Se puede optar por otras formas de representacin de la solucin. Esto o o se logra seleccionando del men principal Plot P arameters, con lo que u aparecer la ventana de opciones mostrada en la Figura 8: a Por ejemplo, si seleccionamos las opciones de Contour y Arrows, despus e de dar clic en el botn P lot, se obtendr la Figura 9 donde adems del grco o a a a de color, aparecern las curvas de contorno u(x, y) = const. y el negativo del a campo gradiente u que en el caso de problemas de transferencia de calor se puede interpretar como el vector de ujo de calor, en elasticidad se interpreta como el desplazamiento, etc...

10

Figura 8: Plot Selection

Figura 9: Plot Selection

4.
4.1.

Ejercicios expuestos
Placa calentada con un extremo aislado

Este sistema se muestra esquemticamente en la Figura 10 para una placa a de 40x40cm, el cual es una t pica representacin de una ecuacin el o o ptica: 2T 2T + =0 x2 y 2 (5)

11

Condiciones Dirichlet: 75o C, 100o C y 50o C. Condiciones Neumann: T = 0. y La Figura 11 muestra gracamente la solucin de la ecuacin diferencial o o parcial para este problema con la gama de colores y lineas de contorno de la temperatura:

Figura 10: Solucin PDE o

12

4.2.

Barra radioactiva

Considere una barra cil ndrica radioactiva, que se le aade calor conn tinuamente en el extremo izquierdo, el extremo derecho se mantiene a una temperatura constante, existe transferencia de calor con el ambiente y al mismo tiempo hay una fuente radiactiva de generacin de calor. o

Con una aproximacin del sistema a coordenadas bidimensionales, la o ecuacin diferencial en coordenadas cil o ndricas que rige el fenmeno f o sico es de la forma: rC u t r kr u r z kr u z = fr (6)

Condiciones Dirichlet:u = 100 en el extremo derecho de la barra. Condiciones Neumann: n.(c u) = 5000r en el extremo izquierdo. n.(c u) + 50ru = 5000r en toda la periferia. El valor inicial es u(t0 ) = 0

13

5.

Bases del mtodo de los elementos nitos e

Incluso la solucin de ecuaciones en derivadas parciales sencillas en geo ometr complicadas raramente puede expresarse en trminos de funciones as e elementales. De este modo, nos enfrentamos a dos problemas: en primer lugar, la necesidad de describir una geometr complicada y generar una malla a en ella. Una vez que se ha realizado el mallado, discretizar la ecuacin en o derivadas parciales en esta malla y resolver la ecuacin para la aproximacin o o discreta de la solucin. La interfaz grca de Matlab pdetool, parte de la PDE o a toolbox, proporciona una herramienta grca de fcil manejo para la descripa a cin de estas geometr complicadas, generacin de mallas, resolucin de la o as o o ecuacin discretizada y representacin de resultados. A continuacin se preo o o senta un pequeo resumen de las bases en la que se fundamenta la misma, n el mtodo de los elementos nitos (FEM). e El punto de inicio es aproximar el dominio computacional como la unin o de objetos geomtricos sencillos, en este caso tringulos. Seguidamente se e a impone que la solucin deber ser simple en cada uno de los tringulos. Los o a a polinomios son una buena eleccin: son fciles de evaluar y tienen buenas o a propiedades de aproximacin en dominios pequeos, pudindose conseguir o n e conectar las soluciones sobre los lados de tringulos vecinos de modo que se a consiga una solucin aproximada contina. Para ello se debe elegir el orden de o u los polinomios que vamos a emplear. Si emplesemos constantes su evaluacin a o en cada tringulo ser muy sencilla, pero no podr a a amos emparejar los valores de tringulos vecinos. El m a nimo orden que podemos pedir a los polinomios para cumplir los requisitos es que sean funciones lineales (Figura 2). Para continuar con la descripcin del mtodo empleemos la ecuacin o e o el ptica bsica (expresada sobre el dominio computacional ). a (c u) + au = f Si uh es una aproximacin lineal a trozos de la solucin exacta u, entonces o o no est claro qu signica el trmino de la segunda derivada. Dentro de cada a e e tringulo uh es una constante, y por lo tanto el trmino de la derivada de a e segundo orden se anula. En los bordes de los tringulos c uh es en general a discontinua, y una derivada de orden superior carece de sentido. En realidad lo que estamos buscando es la mejor aproximacin de u en la o clase de polinomios continuos a trozos. Por lo tanto lo que tenemos que hacer es probar la ecuacin para uh frente a todas las posibles funciones v o 14

Figura 11: (izquierda) Malla generada con elementos triangulares. (Derecha) Funcin lineal continua en trozos sobre esa malla. o que pertenezcan a esa clase. Probar signica formalmente el multiplicar el residuo por cualquier funcin e integrar, es decir, determinar uh de modo o que: ( .(c uh ) + auh f ) vdx = 0

(7)

para todas las posibles v. Estas funciones v son llamadas normalmente funciones de prueba. El integrar por partes (frmula de Green) nos conduce a que uh debe satiso facer: ((c uh ) v + auh v f ) dx

n.(c u)vds =

f vdx

(8)

Donde es la frontera de y n es la normal apuntando hacia afuera de . Vase que esta nueva formulacin del problema ahora se encuentra e o bien denida incluso en el caso en el que uh y v son funciones lineales a trozos. Las condiciones de frontera se incluyen de la siguiente manera. Si uh se conoce en algunos de los puntos de la frontera (condiciones de frontera Dirichlet), imponemos que las funciones de prueba sean v = 0 en esos puntos y que uh posea el valor deseado en ese punto. Para el resto de puntos que posean condiciones de frontera Neumann, (c uh )n + quh = g, la formulacin o

15

en FEM nos conduce a encontrar un uh de modo que: ((c uh ) v + auh v f ) dx

1

quh vds =

f vdx +
1

gvds

(9)

Donde 1 es la parte de la frontera con condiciones de frontera Neumann. Las funciones de prueba v deben ser cero sobre 1 . Cualquier funcin continua a trozos uh puede ser representada como una o combinacin. o
N

uh (x) =
i=1

Ui i (x)

(10)

Donde los i son una base de funciones lineales a trozos y Ui son coecientes escalares. Escojamos los i como si fuera una tienda de campaa, n es decir, una funcin con altura 1 en el nodo i y altura 0 en el resto de los o nodos. Para cada v que escojamos ahora, la formulacin FEM conduce a o una ecuacin algebraica en las incgnitas Ui . Dado que queremos determio o nar N incgnitas, necesitamos N funciones de prueba v distintas. v = j , o j = 1, 2, ..., N De esta manera puede escribirse un sistema de ecuaciones KU = F donde la matriz K y el lado derecho F contiene integrales en trminos de las fune ciones de prueba i , j , y los coecientes que denen el problema: c, a, f , q y g. El vector solucin U contiene los coecientes de la expansin de uh , que o o coinciden con los valores de uh en cada nodo xi puesto que uh (xi ) = U i.

Referencias
[1] S. C. Chapra and R. P. Canale, Mtodos Numricos para Ingenieros, e e Mc-Graw-Hill, cuarta ed., 2003. [2] Moler, C, Numerical Computing with MATLAB, 2004 [3] Nakamura Shoichiro, Anlisis numrico y visualizacin grca con Mata e o a lab, Prentice Hall, 1987 [4] Partial Dierential Equation Toolbox For Use with MATLAB. COMSOL AB. The MathWork

16