Primer Congreso Conjunto RSME-SCM-SEIO-SEMA Val`ncia, del 31 de Enero al 4 de Febrero de 2005 e

ANALISIS NUMERICO Y APLICACIONES

Organizadores:
Francesc Ar`ndiga. Universitat de Val`ncia. arandiga@uv.es a e Rosa Donat. Universitat de Val`ncia. donat@uv.es e Cesar Palencia. Universidad de Valladolid. palencia@mac.mac.cie.uva.es

Conferenciantes:
Sesiones de 40 minutos
Carlos Pars. Departamento de Anlisis Matemtico. Universidad de e a a Malaga. pares@anamat.cie.uma.es Jess M. Carnicer. Departamento de Matemtica aplicada. Universidad u a de Zaragoza. carnicer@unizar.es Mikel Lezaun. Departamento de Matemtica Aplicada, Estad a stica e Investigacin Operativa. Universidad del Pa Vasco-Euskal Herriko Unio s bertsitatea. mepleitm@lg.ehu.es Francisco Javier Sayas. Departamento de Matemtica Aplicada. Unia versidad de Zaragoza. jsayas@unizar.es Rodolfo Bermejo. Departamento de Matematica aplicada a la Ingenieria. Universidad Politecnica de Madrid. rbermejo@etsii.upm.es Ana Carpio. Departamento de Matemtica Aplicada. Universidad Coma plutense de Madrid. carpio@mat.ucm.es Vicent Mart nez Garc Departamento de Matemticas, Universitat a. a Jaume I. martinez@mat.uji.es Guillaume Chiavassa. EGIM, Technople de Chteau-Gombert Maro a seille. Guillaume.Chiavassa@cmi.univ-mrs.fr. Mari Paz Calvo. Departamento de Matemtica Aplicada y Computaa cin. Universidad de Valladolid. maripaz@mac.cie.uva.es o Pilar Salgado. Departamento de Matematica Aplicada. Universidade de Santiago de Compostela. mpilar@usc.es Toms Chacn Rebollo. Departamento de Ecuaciones Diferenciales y a o Anlisis Numrico. Universidad de Sevilla. chacon@us.es a e Eliseo Chacn Vera. Departamento de Ecuaciones Diferenciales y Anlio a sis Numrico. Universidad de Sevilla. eliseo@us.es e 2

Sesiones de 20 minutos
Gloria Haro. Universitat Pompeu Fabra. gloria.haro@upf.edu Maria Lopez Fernandez, Universidad de Valladolid. marial@mac.cie.uva.es Laura Portero Egea, Universiad Publica de Navarra. laura.portero@unavarra.es Toni Baeza. Universitat de Valencia. Antonio.Baeza@uv.es Olivier Le Cadet. Universitat de Valencia. Olivier.Le-cadet@uv.es

Resumenes.
Elementos de contorno y transformada de Laplace para algunos problemas de difusin o Thorsten Hohage (Universidad de Gttingen, Alemania), Mar Luisa o a Rapn (Universidad Pblica de Navarra) y Francisco Javier Sayas u u (Universidad de Zaragoza). Resumen: En esta charla tratamos un problema modelo sobre difusin en o un medio no acotado, localmente homogneo. El problema se escribe como e un conjunto de ecuaciones de difusin con distintos coecientes sobre una o coleccin de dominios acotados disjuntos y sobre el exterior de los mismos. o Las variables estn acopladas en las interfases mediante una condicin de a o continuidad de ujo calrico y otra asinttica (de tipo EngquistNdlec) o o e e que modela la existencia de una capa intermedia muy na y conductora y cmo sta afecta a la continuidad de temperatura. El sistema se somete a o e una fuente de calor en el origen de tiempos desde la lejan de los obstculos. a a Todo el conjunto se puede reescribir como un problema de Cauchy abstracto no homogneo en un determinado espacio de Hilbert. e La discretizacin sigue los siguientes pasos. Se toma la transformada de o Laplace del problema abstracto y se muestra que se puede invertir de forma estable sobre un contorno que rodea al eje negativo. La frmula de inversin o o se aproxima por una cuadratura simple, quedando pendiente la aproximacin o de la incgnita sobre los nodos de cuadratura. Cada uno de estos valores es o la solucin de un problema de transmisin estacionario para una ecuacin o o o de ondas armnicas con trmino de absorcin. Estos problemas se pueden o e o resolver en paralelo mediante un mtodo de elementos de contorno estable. e Daremos una idea general sobre cmo se acomete el anlisis completo o a de la discretizacin y sobre aplicaciones del mtodo a problemas inversos o e relacionados con el clculo de factores de corrosin por medio de un conjunto a o limitado de excitaciones del sistema y lecturas en determinadas zonas y sobre tiempos limitados de las temperaturas.

Esquemas numricos basados en reconstruccin de estados para e o sistemas hiperblicos no conservativos. Aplicaciones. o M.J. Castro, J.M. Gallardo y C. Pars (Universidad de Malaga) e Resumen: En este trabajo presentamos algunos esquemas de resolucin o numrica de sistemas hiperblicos no conservativos de la forma: e o Wt + A(W )Wx = 0, x R, t 0.

La teor de DalMasso, LeFloch y Murat(1995) permite, a partir de la eleccin a o de una familia de caminos en el espacio de estados admisibles, dar sentido al producto no conservativo A(W )Wx como medida de Borel en el caso de soluciones discontinuas. En el contexto de la resolucin numrica mediante esquemas de tipo volo e u menes nitos de sistemas conservativos (que corresponden al caso particular en el que A(W ) es el Jacobiano de una funcin ujo) se usan distintas estrateo gias para construir esquemas de alto orden. Una de ellas parte de la eleccin o previa de un esquema conservativo de primer orden de ujo numrico FN : e Win+1 = Win + t n n FN (Wi1 , Win ) FN (Win , Wi+1 ) , x

que es modicado en la siguiente forma: Win+1 = Win + t + + FN (Wi1/2 , Wi1/2 ) FN (Wi+1/2 , Wi+1/2 ) , x

siendo Wi+1/2 aproximaciones de los estados a derecha e izquierda de la intercelda, obtenidas mediante el uso de un operador de reconstruccin de alto o orden. Son de esta naturaleza, por ejemplo, los esquemas de tipo WENO basados en la reconstruccin de estados (Shu, 1988). o El objetivo del presente trabajo es generalizar esta tcnica a sistemas no e conservativos. La dicultad principal, que viene de la carencia en este caso de una funcin ujo, puede ser parcialmente solventada mediante el uso de o la la teor de DalMasso, LeFloch y Murat. a Esta tcnica generalizada nos permitir construir una familia de esquemas e a de alto orden basados en la reconstruccin WENO y en el uso de esquemas o de tipo Roe bien equilibrados, que sern aplicados a algunos sistemas no a conservativos que aparecen en el contexto de las ecuaciones de aguas someras.

Referencias [1] G. Dal Masso, Ph. LeFloch and F. Murat, Denition and weak stability of nonconservative products, J. Math. Pures Appl. 74: 483548, 1995. [2] C. Pars and M. Castro, On the well-balanced property of Roes method e for nonconservative hyperbolic systems. Applications to shallow water systems, ESAIM: M2AN (to appear). [3] C.W. Shu and S. Osher, Ecient implementation of essentially nonoscillatory shock capturing schemes, J. Comp. Phys. 77: 439471, 1988.

Nodos generados por haces de hiperplanos en problemas de interpolacin multivariada o J. M. Carnicer (Universidad de Zaragoza) Resumen: Se analiza la construccin de distribuciones de puntos para o problemas de interpolacin polinmica multivariada mediante la seleccin un o o o sistema de haces de hiperplanos. Los problemas de Lagrange dan lugar a una representacin factorizada de los polinomios de interpolacin bsicos, lo que o o a simplica su clculo y permite avanzar en el estudio del error. Describimos a la construccin general y mostramos ejemplos espec o cos de esta tcnica. e

Predicciones numricas del tiempo e Mikel Lezaun (Universidad del Pa Vasco-Euskal Herriko Unibertsitatea). s Resumen: En esta ponencia se hace una introduccin histrica de la o o prediccin numrica del tiempo atmosfrico, se presentan algunos modelos o e e de la dinmica atmosfrica, se estudia su resolucin numrica y algunos de a e o e los problemas ms importantes que plantea la prediccin del tiempo a corto a o o medio plazo.

Un mtodo adaptivo semilagrangiano Runge-Kutta-Chebyshev e para problemas de reaccin-difusin con conveccin fuerte o o o R. Bermejo, J. Carpio y P. Galn del Sastre ( Universidad de Castilla-La a Mancha.) Resumen: Los mtodos expl e citos Runge-Kutta-Chebyshev (RKC) tienen una regi n de estabilidad formada por una estrecha franja que puede o extenderse a lo largo del eje real negativo del plano C tanto como sea necesario, dichos mtodos constituyen por ello una familia de integradores ecaces e para problemas de reaccin-difusin en los que la rigidez de los trminos de o o e reaccin no es excesivamente alta. Sin embargo, cuando estos mtodos se o e aplican en la resolucin de problemas de reaccin-difusin con trminos cono o o e vectivos dominantes encuentran dicultades porque la matriz jacobiana del sistema puede tener autovalores cuyas partes imaginarias son altas, exigiendo por ello una reduccin en el paso de tiempo para satisfacer las condiciones o de estabilidad numrica. Una forma de evitar en parte este problema es la e formulacin de los esquema RKC en un marco semi-lagrangiano, que en cao da subintervalo de integracin [ti , ti+1 ] nos permite convertir, a efectos de o integracin numrica, el problema de conveccin-reaccin difusin en un proo e o o o blema de reaccin-difusin para el que los esquemas RKC han demostrado ser o o muy ecaces. En nuestra presentacin introducimos y analizamos un mtoo e do adaptivo semi-Lagrangiano-RKC para problemas de reaccin difusin con o o conveccin fuerte. Se mostrarn tambin diversos casos en los que el mtodo o a e e se ha aplicado.

A class of explicit multistep exponential integrators for semilinear problems M. P. Calvo and C. Palencia (Universidad de Valladolid). Abstract: In this talk a family of explicit multistep exponential integrators of arbitrary order is constructed. We also provide an appropriate starting procedure and convergence results which are valid in the context of semilinear problems dened in a Banach space. Numerical experiments illustrating the theoretical ndings are also reported. 7

Condiciones frontera no reectantes para propagacin de ondas o Ana Carpio (Universidad Complutense de Madrid). Resumen: Al resolver problemas formulados en regiones no acotadas, es preciso truncar los dominios de computacin e imponer condiciones de contoro no articiales en las fronteras exteriores introducidas. Estas condiciones han de hacer la frontera transparente para las ondas salientes y eliminar reexiones espreas desde la frontera hacia el interior del dominio de computacin. u o La eleccin de condiciones frontera articiales es un problema recurrente en o numerosas reas del clculo cient a a co, desde los problemas de acstica, elecu trodinmica, mecnica de slidos y de uidos hasta los problemas de dinmia a o a ca molecular y nanotecnolog Nos centraremos precisamente en la eleccin a. o de condiciones frontera no reectantes para la simulacin de la dinmica de o a defectos (identicables con ondas no lineales) en nanodispositivos.

A Multiresolution method for 2D compressible ows in complex geometries G. Chiavassa ( EGIM, Technople de Chteau-Gombert Marseille) y R. o a Donat ( Universitat de Val`ncia ) e Abstract: This talk will be devoted to the presentation of a robust an ecient numerical method for the simulation of compressible ows. This method combines High Resolution Schock Capturing Schemes to obtain high quality simulations, and a multiresolution (wavelet) transform to reduce drastically the cpu time. In order to take into account of solid bodies in the ow using a cartesian mesh, we developped a new Brinkmann penalization method for compressible ows. Many 2D simulations of large Mach number supersonic ows in complex geometries wil be presented and discussed.

Resolucin numrica de algunos modelos sobre sedimentacin o e o M. J. Castro D (Universidad de Mlaga), T. Chacn Rebollo az a o (Universidad de Sevilla.) E.D. Fernndez Nieto (Universidad de Sevilla.) y a V. Mart nez Garc (Universitat Jaume I). a Resumen: Presentamos mtodos de resolucin numrica para modelos e o e bidimensionales del transporte de sedimentos propuestos por Grass [3] Utilizamos una tcnica de volmenes nitos [1] sobre mallas no estructuradas, la e u cual consiste en discretizar la variable espacial mediante una reconstruccin o local tipo MUSCL [2]. Para el tratamiento de la variable temporal, utilizamos un esquema TVD tipo Runge-Kutta de tercer orden [4]. Analizamos varios tests numricos que muestran el buen comportamiento de los esquemas e numricos utilizados. e

Referencias [1] Fernndez, E.D., Aproximacin numrica de leyes de conservacin hia o e o perblicas no homogneas. Aplicacin a las ecuaciones de aguas someo e o ras, Tesis de doctorado, Universidad de Sevilla, 2003. [2] Godlewski, E. and Raviart, P.A., Numerical approximation of hyperbolic systems of conservation laws, Springer-Verlag, New York, 1996. [3] Grass, A.J., Sediment transport by waves and currents, SERC London Cent. Mar. Technol., Report No: FL29, 1981. [4] Shu, C.W. and Osher, S.J., Ecient implementation of essencially nonoscillatory shock capturing schemes II, J. Comput. Phys., Vol. 83, pp. 32-78, 1989.

Un mtodo de elementos nitos para resolver las ecuaciones de e Maxwell en baja frecuencia en dominios acotados. Aplicacin a la o simulacin de electrodos metal rgicos. o u Alfredo Bermdez, Rodolfo Rodr u guez y Pilar Salgado (Universidad de Santiago de Compostela). Resumen: La resolucin numrica de las ecuaciones de Maxwell en baja o e frecuencia ha sido el objetivo de un gran nmero de publicaciones en los ultiu mos aos, debido a sus aplicaciones en la ingeneir elctrica. En particular, n a e este trabajo ha sido motivado por la necesidad de un modelo tridimensional para simular el comportamiento de electrodos metalrgicos en un horno u elctrico y mejorar los modelos matemticos ya existentes para este n (ver e a por ejemplo [1,2]). El objetivo de este trabajo es introducir y analizar un mtodo de elee mentos nitos para resolver las ecuaciones de Maxwell en baja frecuencia en un dominio conductor acotado. Cabe sealar que una dicultad importante n para resolver el problema en un dominio acotado consiste en denir condiciones de contorno adecuadas. Estas condiciones deben ser apropiadas desde un punto de vista matemtico para garantizar existencia y unicidad de soa lucin del problema, pero al mismo tiempo deben ser realistas f o sicamente, es decir, deben estar bien denidas a partir de parmetros conocidos en la a prctica. En concreto, en este art a culo se introducen condiciones de contorno denidas a partir de la intensidad de corriente de entrada o bien a partir del potencial elctrico en la frontera. En una primera parte, se introduce y e analiza matemticamente una formulacin del problema en trminos del cama o e po elctrico (ver en [3] la formulacin del problema en trminos del campo e o e magntico). A continuacin, se propone un mtodo de elementos nitos para e o e su resolucin numrica, se estudian tcnicas ecientes para su implementao e e cin en ordenador y se prueban resultados de convergencia. Finalmente, se o muestran algunos resultados numricos obtenidos al simular electrodos mee talrgicos utilizando los mtodos propuestos. u e Referencias [1] Bermdez, A., Bulln, J. and Pena, F. (1998), A nite element metu o hod for the thermoelectrical modelling of electrodes, Commun. Numer. Meth. Engng. 14, 581-593.

10

[2] Bermdez, A., Bulln, J., Pena, F., Salgado, P. (2003), A numerical u o method for transient simulation of metallurgical compound electrodes, Finite Elem. Anal. Des., 39, 283299. [3] Bermdez, A., Rodr u guez, R., Salgado, P. (2004), Numerical treatment of realistic boundary conditions for the eddy current problem in an electrode via Lagrange multipliers, Math. Comp., 74, 123-151.

Anlisis numrico de algunos mtodos distributivos no lineales a e e bajo formulacin de Petrov-Galerkin o Toms Chacn Rebollo y Gladys Narbona Reina (Universidad de a o Sevilla). La resolucin precisa de ecuaciones de conveccin-difusin con conveccin o o o o dominante se enfrenta con la dicultad de que ningn mtodo numrico lineal u e e (que equivalga a un sistema lineal) que sea de orden mayor que uno, puede satisfacer el principio del mximo discreto, en el caso estacionario. Una clase a de mtodos poco conocida que resuelve esta dicultad, es el de los mtodos e e distributivos, o multidimensional upwind. Se trata de la genuina extensin o al caso multidimensional del conocido mtodo descentrado 1D, consistente en e buscar la informacin corriente arriba, en la direccin del ujo (Cf. Struijs, o o Deconinck, Roe (1990)). Uno de los mtodos ms usados que usa esta tcnica es el PSI (Positive e a e Streamwise Implicit), caracterizado por proporcionar una solucin invariante o sobre las l neas de corriente de la solucin estacionaria de la ecuacin de o o transporte (Cf. Roe y Sildikover (1992)). En este trabajo realizamos un anlisis numrico de estabilidad, convera e gencia y estimaciones de error de la ecuacin de conveccin-difusin mediante o o o el mtodo PSI y otros similares. Para ello, probamos en primer lugar que puee de ser formulado como una aproximacin de tipo Petrov-Galerkin mediante o Elementos Finitos P1 de la formulacin variacional estndar. La novedad es o a reinterpolar la funcin test que aparece en el trmino de transporte sobre un o e espacio de funciones distribuidas: Son funciones constantes a trozos descentradas corriente arriba, de acuerdo con el descentramiento del esquema. 11

La reinterpretacin del mtodo PSI como mtodo de Petrov-Galerkin nos o e e ha permitido utilizar las herramientas estndar del anlisis funcional para a a realizar el primer anlisis numrico completo (a nuestro conocimiento) de un a e mtodo distributivo no lineal. e Referencias [1] R. Struijs, H. Deconinck, P. L. Roe (1990): Fluctuation splitting schemes for multidimensional convection problems: an alternative to nite element and nite volume methods. VKI LS 1991-01 Computational Fluid Dynamics. [2] P. L. Roe y D. Sildikover (1992): Optimum positive linear schemes for advection in two and three dimensions. SINUM 29 (6), 15421568. [3] G. Narbona Reina (2004): Aproximacin numrica de algunos uo e jos de inters en Arquitectura e Ingenier mediante esquemas e a positivos en elementos nitosq. Tesis Doctoral, Universidad de Sevilla.

Modelado Matemtico y numrico de ujos hidrodinmicos a e a Eliseo Chacn Vera y Macarena Gmez Mrmol (Universidad de Sevilla). o o a Abstract. En esta charla se trata de exponer las distintas lineas de investigacin del Grupo de Investigacin de la Universidad de Sevilla, Modelado o o Matemtico y Simulacin de Sistemas Medio Ambientales FQM 120, dia o rigido por el Profesor Don Toms Chacn Rebollo y del cual los autores a o formamos parte. Los ujos hidrodinmicos tienen una gran inuencia, determinante en a ocasiones, en el medio ambiente. Son soporte de vida y nutrientes para sta, e condicionan el clima a travs de la interaccin de los ocanos con la atmsfee o e o ra, son veh culo de transporte de contaminantes, sedimentos, plancton, etc. Presentan adems un gran inters para el desarrollo humano: Determinan a e

12

la calidad de las aguas, tanto para consumo como para riegos, pueden originar catstrofes (inundaciones y avalanchas), condicionan la pesca y otras a actividades humanas en el mar, etc. El nfasis central se pone en la construccin de mtodos de aproximacin e o e o numrica utilizando el anlisis matemtico como soporte, y en su validacin e a a o mediante anlisis matemtico y realizacin de tests numricos. a a o e Los modelos matemticos de ujos geof a sicos en general son sistemas de Ecuaciones en Derivadas Parciales (EDP) derivados de las Ecuaciones de Navier Stokes mediante diversas simplicaciones. La ms importante de stas es a e la hiptesis de presin hidrosttica, que reemplaza a la ecuacin de conservao o a o cin del momento cintico vertical. Esta simplicacin se justica a partir de o e o la pequea razn dimetro vertical/ horizontal de los ujos hidrodinmicos n o a a naturales. El sistema de EDP resultantes se llama Ecuaciones Primitivas, bien de la atmsfera, bien del ocano. o e Las Ecuaciones Primitivas son ecuaciones parablicas no lineales en 3 vao riables de espacio, aunque ms singulares que las de Navier-Stokes, dado que a la velocidad vertical es menos regular. Esto conduce a diversas dicultades espec cas en su anlisis terico y por tanto numrico. En particular, no es a o e posible usar las tcnicas estndar de obtencin de estimaciones que permitan e a o realizar argumentos de compacidad. Como tcnica adicional para reducir la complejidad computacional, plane teamos desarrollar tcnicas ecaces de descomposicin de dominio para las e o ecuaciones. La simulacin numrica de ujos en dominios extensos, como o e en el caso del Estrecho de Gibraltar, resulta extremadamente costosa. Las tcnicas de descomposicin de dominio vienen siendo utilizadas con xito e o e desde una veintena de aos atrs y su utilizacin de forma combinada con n a o tcnicas de clculo paralelo se ha mostrado eciente en gran cantidad de e a problemas complejos. Por otra parte, los ujos hidrodinmicos se desarrollan frecuentemente a a muy altos nmeros de Reynolds, siendo por ello muy turbulentos. Su resoluu cin numrica directa resulta por ello inabordable. Una v para tratar este o e a problema es incorporar modelos de turbulencia a las ecuaciones del ujo. Los modelos de turbulencia resuelven valores promediados del ujo, por lo que su variabilidad en principio es mucho menor. Es frecuente en la prctica el uso de modelos de turbulencia hidrodinmia a ca, aunque con muy escaso soporte matemtico. La dicultad del anlisis y a a aproximacin numrica de los modelos de turbulencia surge de su carcter o e a fuertemente singular. 13

Por ultimo, la elaboracin del modelo continuo a partir del sistema f o sico conlleva ciertas simplicaciones, que pueden no ser ciertas para algunos ujos. La validacin del proceso de modelado requiere entonces la realizacin de o o tests numricos, diseados para estimar separadamente el error debido a la e n aproximacin numrica del debido a la elaboracin del modelo continuo. o e o

Descomposicin de Dominios y Pasos Fraccionarios para o problemas evolutivos de conveccin-difusin-reaccin o o o Laura Portero Egea y Juan Carlos Jorge Ulecia. (Universidad Pblica de u Navarra). Resumen: En este trabajo desarrollamos algoritmos numricos paralee lizables para la resolucin de problemas parablicos lineales con coecieno o tes dependientes del tiempo que admiten la siguiente formulacin: Hallar o u : [t0 , T ] H tal que
du dt = A(x, t)u + f (x, t),

(x, t) (t0 , T ], (1)

u(x, t0 ) = u0 (x) H, x , Bu(x, t) = g(x, t) Hb , (x, t) (t , T ], 0

donde H y Hb son espacios de Hilbert y, para cada t [t0 , T ], A(x, t) : D H H es un operador diferencial el ptico no acotado. Los mtodos propuestos se pueden explicar mediante dos procedimiene tos de discretizacin consecutivos. En primer lugar, integramos en tiempo el o problema original usando un mtodo Runge-Kutta de Pasos Fraccionarios y e eligiendo una particin para el operador subordinada a una cierta descompoo sicin del dominio espacial; esto nos proporciona una familia de problemas de o contorno el pticos sobre ciertos subdominios del dominio original. A continuacin discretizamos en espacio dichos problemas mediante tcnicas estndar o e a como diferencias nitas o elementos nitos. Siguiendo este procedimiento, la solucin numrica se obtiene resolviendo en cada etapa un conjunto de sisteo e mas lineales desacoplados de dimensin pequea que pueden ser resueltos en o n paralelo. Si comparamos estos algoritmos con los mtodos clsicos de descome a posicin de dominios para problemas parablicos observamos, por una parte, o o 14

que comparten la propiedad de involucrar sistemas de ecuaciones lineales que pueden resolverse en paralelo y, por otra, que con nuestra propuesta no es necesario realizar ningn proceso iterativo de Schwarz, al contrario de lo que u sucede al usar los mtodos clsicos. e a Finalmente mostraremos diversos ejemplos numricos, prestando especial e atencin a la resolucin de problemas de tipo (1) singularmente perturbados, o o i.e., con A(, t) = a(x, t) b(x, t) I, siendo 0 < << 1 el parmetro x a de difusin. Es bien conocido que la solucin de un problema de este tipo o o tiene un carcter multiescala (aparecen capas l a mite), lo que hace que los mtodos de discretizacin espacial estndar no sean adecuados. Para salvar e o a este inconveniente proponemos usar mallas especiales construidas a partir de un criterio a priori muy sencillo y mostraremos con ensayos numricos el e buen comportamiento de los algoritmos numricos resultantes (convergencia e uniforme en ).

Esquemas de alta resolucion para las ecuaciones de las aguas someras con topograa. Vicent Caselles (Universitat Pompeu Fabra), Rosa Donat (Universitat de Val`ncia) y Gloria Haro (Universitat Pompeu Fabra) e Resumen: Proponemos una extensin de la frmula de separacin del o o o ujo de Marquina para el caso de las ecuaciones de aguas someras. El uso de dos Jacobianos en las paredes (o interfases) de separacin entre dos nodos o consecutivos impide que se cumpla la llamada propiedad C introducida por Bermdez y Vzquez, pero se cumple la llamada propiedad C aproximada u a para versiones de alto orden del esquema numrico. Ya que la propiedad C e s se cumple si usamos un solo Jacobiano, proponemos un esquema combinado que hace una separacin de ujo (dos Jacobianos) en el caso de que los estados o adyacentes en cada pared no sean prximos y un Jacobiano en caso contrario. o Proponemos tambin un tratamiento especial para los frentes seco-mojado y e para la generacin de zonas secas. o

15

Sobre la inversin numrica de la transformada de Laplace de o e ciertas aplicaciones holomorfas. Maria Lopez Fernandez (Universidad de Valladolid.) Abstract: Se considera la inversin numrica de la transformada de Lao e place de una aplicacin original anal o tica en un sector que contenga al semieje x 0, mediante una frmula de cuadratura basada en la funcin sinc. La cota o o c n cn/ ln n de error clsica O(e a ) se mejora a O(e ), donde n denota el nmero u de nodos utilizados en la cuadratura. El mtodo se ilustra en el contexto de e una ecuacin de evolucin con memoria. o o

Tcnicas de renamiento de mallas adaptativo para mtodos de e e captura de ondas de choque de alto orden para sistemas hiperblicos de leyes de conservacin o o Antonio Baeza y Pep Mulet (Universitat de Val`ncia). e Abstract: Presentamos un mtodo numrico para la resolucin de sistee e o mas hiperblicos no lineales de leyes de conservacin construido a partir de o o la formulacin conservativa de Shu y Osher, una reconstruccin WENO de o o quinto orden y el mtodo de ux-splitting de Donat-Marquina. Para el avance e en tiempo hemos usado un mtodo TVD de Runge-Kutta. Hemos utilizado e ese mtodo numrico como resolvedor en una infraestructura de renamiene e to adaptativo de mallas (AMR) construida a partir del trabajo de Berger y colaboradores, y hemos realizado una implementacin paralela utilizando el o standard MPI.

16

Interpolacin adaptada a contornos o Francesc Ar`ndiga, Manuel Doblas y Olivier Le Cadet (Universitat de a Val`ncia). e Resumen: Las representaciones multiescala de una seal nos proporcion nan una aproximacin grosera de la seal, ms unos detalles con los que o n a renar progresivamente esta aproximacin. El hecho de que estas represeno taciones nos proporcionen informacin sobre la localizacin de las zonas ms o o a signicativas de la seal (coecientes correspondientes a detalles mayores), n ha incrementado la popularidad de ste tipo de representaciones en anlisis e a numrico, y particularmente en compresin de imgenes. e o a A. Harten (ver [1]), deni una estructura general para representaciones o multiescala que se apoya sobre dos operadores : un operador decimacin, o para pasar de un nivel no a un nivel ms grueso, y un operador predica cin, con el que obtenemos una estimacin de un nivel no desde un nivel o o ms grueso, por ejemplo a travs de una tcnica interpolatoria. El hecho de a e e emplear como operador prediccin una tcnica interpolatoria lineal produce o e una falta de precisin cerca de las discontinuidades, sto es debido a que dio e chas tcnicas son independientes de los datos, tratando de igual forma tanto e seales regulares como irregulares. Con tcnicas interpolatorias no lineales n e (ENO, ENO-SR), se puede conseguir una mejor aproximacin alrededor de o las discontinuidades, obteniendo as una mayor compresin en los algorit o mos basados en tales representaciones ([2]). Con el objetivo de mejorar los resultados obtenidos en los contornos de las imgenes con las tcnicas intera e polatorias anteriores, B. Matei, (ver [5]), propone en primer lugar obtener los contornos de la imagen empleando tcnicas ENO de seleccin de stncil, e o e estando formados los contornos de la imagen por aquellas celdas aisladas por los stnciles ENO pertenecientes a una conguracin admisible. Posteriore o mente, en las celdas pertenecientes a los contornos, realiza una prediccin o aproximando los perles por una l nea recta y bajo el supuesto de que la imagen toma la forma de dos polinomios de grado dos en las variables x e y a ambos lados del contorno. Nosotros proponemos un mtodo en el que la deteccin de los perles es e o realizada mediante un detector multiescalas de Canny (ver [3],[4]). De este modo, obtenemos una primera estimacin de los contornos y de su orientao cin, empleando el nivel ms grosero, gracias a un criterio de tipo Canny. Esta o a estimacin es renada posteriormente de modo iterativo al pasar a los niveo les superiores. Una vez hemos localizado las perles de la imagen, realizamos 17

una interpolacin adaptada a los perles de la imagen en la que suponemos o que los datos que poseemos pertenecen a una funcin polinmica a trozos. o o Referencias [1] A. Harten, Multiresolution representation of data II: general framework, SIAM J. Numer. Anal 33, 1205-1256 (1996). [2] F. Ar`ndiga, R. Donat , Nonlinear Multi-scale Decompositions: The Apa proach of A. Harten, Numerical Algorithms. V. 23, pp. 175-216 (2000). [3] J. Canny, A computational approach to edge detection, IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 8:679-98 (1986). [4] O. Le Cadet, Mthodes dondelettes pour la segmentation dimages. Ape limagerie mdicale et au tatouage dimages, PhD thesis, plications A e Grenoble, France (Sept. 2004). [5] B. Matei, Methodes multiresolutions non-linaires applications au traie tement dimage, PhD thesis, Paris, France (Nov. 2002).

18