A Bochev-Dohrmann-Gunzburger stabilization method for the primitive equations of the ocean

We introduce a low-order stabilized discretization of the Primitive Equations of the Ocean, with a highly reduced computational complexity. We prove stability through a specific inf-sup condition, and weak convergence to a weak solution. We also perform some numerical test for relevant flows.Ministerio de Ciencia e InnovaciónFondo Europeo de Desarrollo Regiona

Entwicklung und Anwendung von Hochleistungs-Software für Mantelkonvektionssimulationen

The Earth mantle convects on a global scale, coupling the stress field at every point to every other location at an instant. This way, any change in the buoyancy field has an immediate impact on the convection patterns worldwide. At the same time, mantle convection couples to processes at scales of a few kilometers or even a few hundred meters. Dynamic topography and the geoid are examples of such small-scale expressions of mantle convection. Also, the depth of phase transitions varies locally, with strong influences on the buoyancy, and thus the global stress field. In order to understand these processes dynamically it is essential to resolve the whole mantle at very high numerical resolutions. At the same time, geodynamicists are trying to answer new questions with their models, for example about the rheology of the mantle, which is most likely highly nonlinear. Also, due to the extremely long timescales we cannot observe past mantle states, which calls for simulations backwards in time. All these issues lead to an extreme demand in computing power. To cater to those needs, the physical models of the mantle have to be matched with efficient solvers and fast algorithms, such that we can efficiently exploit the enormous computing power of current and future high performance systems. Here, we first give an extensive overview over the physical models and introduce some numerical concepts to solve the equations. We present a new two-dimensional software as a testbed and elaborate on the implications of realistic mineralogic models for efficient mantle convection simulations. We find that phase transitions present a major challenge and suggest some procedures to incorporate them into mantle convection modeling. Then we give an introduction to the high-performance mantle convection prototype HHG, a multigrid-based software framework that scales to some of the fastest computers currently available. We adapt this framework to a spherical geometry and present first application examples to answer geodynamic questions. In particular, we show that a very thin and very weak asthenosphere is dynamically plausible and consistent with direct and indirect geological observations.Englische Übersetzung des Titels: Development and application of high performance software for mantle convection modelin

Finite Elemente gleicher Ordnung von hydrostatischen Ströungsproblemen

Subject of this thesis is the issue of equal-order finite element discretization of hydrostatic flow problems. These flow problems typically arise in geophysical fluid dynamics on large scales and in flat domains. This small aspect ratio between the depth and the horizontal extents of the considered domain allows to efficiently reduce the complexity of the incompressible three dimensional Navier-Stokes equations, which form the basis of geophysical flows. In the resulting set of equations, the vertical momentum equation is replaced by the hydrostatic balance, which thus decouples the vertical pressure variations from the dynamic system, and the dynamically relevant pressure becomes two dimensional. Moreover, the vertical velocity component can be explicitely determined by the horizontal velocity components. Concomitant with this reduction is the replacement of the divergence constraint by a suitably modified version of it. As in the classical framework, it is known that these hydrostatic flow problems also show a saddle point structure, and there is a similar uncertainty concerning existence and uniqueness of solutions as is apparent for the classical case. Although the variational framework has been intensively treated, the issue of the discretization, in particular the finite element discretization of hydrostatic problems has hardly been considered yet. The present work dedicates to this topic. We indicate the tight relation between a finite element discretized hydrostatic flow problem and its two dimensional counterpart with respect to inf-sup stability. Moreover, we elaborate stabilization techniques in order to result to inf-sup stable schemes and to suitably treat the case of dominant advection. For each of these cases we can draw on classical stabilization schemes. For the isotropic hydrostatic Stokes problem we thus derive and examine residual-based as well as symmetric stabilization schemes. In the appropriate Oseen case we restrict to symmetric stabilization schemes. Beside the isotropic case, we also consider hydrostatic problems on vertical anisotropic meshes, i.e. although the mesh may be anisotropic, the surface mesh still shows isotropic structure. Therefore we derive an interpolation operator, which has suitable projection and stability properties in three dimensions. An appropriate operator for the two dimensional case for bilinear finite element spaces has been developed in Braack06. In this vertical anisotropic context we restrict to symmetric stabilizat on schemes for both problems, the hydrostatic Stokes and the hydrostatic Oseen problem. Further, we also examine the hydrostatic Stokes problem on meshes with anisotropy occurring also in the surface mesh. This may be necessary in regions with strong flows in one horizontal direction, e.g. in the Bering strait or along coastlines. In a following chapter we shortly discuss on the time discretization approach, particularly on the issue of pressure correction schemes. These schemes are discussed already in a couple of works for classical flow problems. But a proper analysis is still missing. Finally, after considering algorithmic aspects, which also includes the topic of parallelization, we numerically validate our theoretical results and numerically illustrate apparent physical phenomena occurring in ocean circulation regimes.Die vorliegende Arbeit widmet sich der Thematik der Diskretisierung von hydrostatischen Strömungsproblemen mittels Finiter Elemente gleicher Ordnung. Hydrostatische Strömungsprobleme treten typischerweise im Bereich der geophysikalischen Fluiddynamik auf grossen Skalen und in flachen Gebieten auf. Mathematische Grundlage bilden die inkompressiblen dreidimensionalen (3D) Navier-Stokes Gleichungen. Das kleine Aspektverhältnis zwischen der Gebietstiefe und der horizontalen Ausdehnung des Gebietes erlaubt es, die Komplexität der inkompressiblen 3D Navier-Stokes Gleichungen merkbar zu reduzieren. Anwendung der sogenannten hydrostatischen Approximation, welches das kleine Aspektverhältnis ausnutzt, führt dazu, dass die vertikale Gleichung der Impulserhaltung durch die hydrostatische Balance ersetzt wird. Dadurch wird der dynamisch relevante Druck zweidimensional (2D) und die vertikale Geschwindigkeit bestimmt sich direkt aus den horizontalen. Einhergehend mit dieser Reduktion ist eine Modifikation der Bedingung der Divergenzfreiheit. Das resultierende hydrostatische Strömungsproblem weist bekanntermaßen eine Sattelpunktstruktur auf, ähnlich dem klassischen Problem. Desweiteren herrscht auch im hydrostatischen Kontext eine ähnliche Unsicherheit bezüglich Existenz und Eindeutigkeit von Lösungen vor, wie sie auch in der klassischen Navier-Stokes-Thematik anzutreffen ist. Obwohl hydrostatische Probleme im variationellen Rahmen intensiv untersucht worden sind und werden, ist das Feld der Diskretisierung dieser Probleme, insbesondere die Finite-Elemente-Diskretisierung, größtenteils unbearbeitet. Die vorliegende Arbeit widmet sich dieser Thematik. Wir zeigen die enge Beziehung auf, die bezüglich der Inf-sup-Stabilität zwischen dem diskreten hydrostatischen Strömungsproblem und seinem 2D Pendant existiert. Desweiteren erarbeiten wir Stabilisierungsverfahren, um Inf-sup-Stabilität zu erlangen und den Fall der dominanten Advektion adäquat zu behandeln. Hierbei können wir auf klassische Stabilisierungsverfahren zurückgreifen. Neben dem isotropen Fall betrachten wir hydrostatische Probleme auf anisotropen Gittern. Für die Analyse entwickeln wir einen Interpolationsoperator, der passende Projektions- und Stabilitätseigenschaften in 3D besitzt. Ein entsprechender Operator für den 2D Fall für bilineare Finite Elemente wurde in Braack06 entwickelt. Für die Stabilisierung beschränken wir uns auf symmetrische Verfahren. Die Druckstabilisierung bleibt aufgrund der Dimension des Drucks auf vertikal anisotropen Gitter, d.h. obwohl Gitteranisotropie auftreten kann ist das Oberflächengitter isotrop, isotrop. Im Fall auftretender Gitteranisotropie auch im Horizontalen greifen wir auf anisotrope Druckstabilisierung zurück. Desweitern diskutieren wir kurz die Thematik der Zeitdiskretisierung. Insbesondere gehen wir auf Druckkorrektur-Verfahren ein. Diese Verfahren wurden bereits für klassische Strömungsprobleme diskutiert. Jedoch fehlt bislang eine Analyse dieser Thematik im hydrostatischen Kontext. Anschließend betrachten wir algorithmische Aspekte und gehen dabei auch auf die Thematik der Parallelisierung ein. Wir schließen die Arbeit mit einer numerischen Validierung der theoretischen Ergebnisse ab und illustrieren einige Phänomene der Ozeanzirkulation