Cette thèse s’inscrit dans le domaine des mathématiques appelé optimisation de formes. Plus précisément, nous étudions ici un problème inverse de détection à l’aide du calcul de forme et de l’analyse asymptotique. L’objectif est de localiser un objet immergé dans un fluide visqueux, incompressible et stationnaire. Les questions principales qui ont motivé ce travail sont les suivantes :– peut-on détecter un objet immergé dans un fluide à partir d’une mesure effectuée à la surface ?– peut-on reconstruire numériquement cet objet, i.e. approcher sa position et sa forme, à partir de cette mesure ?– peut-on connaître le nombre d’objets présents dans le fluide en utilisant cette mesure ?Les résultats obtenus sont décrits dans les cinq chapitres de cette thèse :– le premier met en place un cadre mathématique pour démontrer l’existence des dérivées de forme d’ordre un et deux pour les problèmes de détection d’inclusions ;– le deuxième analyse le problème de détection à l’aide de l’optimisation géométrique de forme : un résultat d’identifiabilité est montré, le gradient de forme de plusieurs types de fonctionnelles de forme est caractérisé et l’instabilité de ce problème inverse est enfin démontrée ;– le chapitre 3 utilise nos résultats théoriques pour reconstruire numériquement des objets immergés dans un fluide à l’aide d’un algorithme de gradient de forme ;– le chapitre 4 analyse la localisation de petites inclusions dans un fluide à l’aide de l’optimisation topologique de forme : le gradient topologique d’une fonctionnelle de forme de Kohn-Vogelius est caractérisé ;– le dernier chapitre utilise cette dernière expression théorique pour déterminer numériquement le nombre et la localisation de petits obstacles immergés dans un fluide à l’aide d’un algorithme de gradient topologique. / This dissertation takes place in the mathematic field called shape optimization. More precisely, we focus on a detecting inverse problem using shape calculus and asymptotic analysis. The aim is to localize an object immersed in a viscous, incompressible and stationary fluid. This work was motivated by the following main questions:– can we localize an obstacle immersed in a fluid from a boundary measurement?– can we reconstruct numerically this object, i.e. be close to its localization and its shape, from this measure?– can we know how many objects are included in the fluid using this measure?The results are described in the five chapters of the thesis:– the first one gives a mathematical framework in order to prove the existence of the shape derivatives oforder one and two in the frame of the detection of inclusions;– the second one analyzes the detection problem using geometric shape optimization: an identifiabilityresult is proved, the shape gradient of several shape functionals is characterized and the instability of thisinverse problem is proved;– the chapter 3 uses our theoretical results in order to reconstruct numerically some objets immersed in a fluid using a shape gradient algorithm;– the fourth chapter analyzes the detection of small inclusions in a fluid using the topological shape optimization : the topological gradient of a Kohn-Vogelius shape functional is characterized;– the last chapter uses this theoretical expression in order to determine numerically the number and the location of some small obstacles immersed in a fluid using a topological gradient algorithm.

This thesis develops a one-dimensional version of a new data driven model of turbulence that uses the KL expansion to provide a spectral solution of the turbulent flow field based on analysis of Particle Image Velocimetry (PIV) turbulent data. The analysis derives a 2nd order random field over the whole flow domain that gives better turbulence properties in areas of non-uniform flow and where flow separates than the present models that are based on the Navier-Stokes Equations. These latter models need assumptions to decrease the number of calculations to enable them to run on present day computers or super-computers. These assumptions reduce the accuracy of these models. The improved flow field is gained at the expense of the model not being generic. Therefore the new data driven model can only be used for the flow situation of the data as the analysis shows that the kernel of the turbulent flow field of undular hydraulic jump could not be related to the surface waves, a key feature of the jump. The kernel developed has two parts, called the outer and inner parts. A comparison shows that the ratio of outer kernel to inner kernel primarily reflects the ratio of turbulent production to turbulent dissipation. The outer part, with a larger correlation length, reflects the larger structures of the flow that contain most of the turbulent energy production. The inner part reflects the smaller structures that contain most turbulent energy dissipation. The new data driven model can use a kernel with changing variance and/or regression coefficient over the domain, necessitating the use of both numerical and analytical methods. The model allows the use of a two-part regression coefficient kernel, the solution being the addition of the result from each part of the kernel. This research highlighted the need to assess the size of the structures calculated by the models based on the Navier-Stokes equations to validate these models. At present most studies use mean velocities and the turbulent fluctuations to validate a models performance. As the new data driven model gives better turbulence properties, it could be used in complicated flow situations, such as a rock groyne to give better assessment of the forces and pressures in the water flow resulting from turbulence fluctuations for the design of such structures. Further development to make the model usable includes; solving the numerical problem associated with the double kernel, reducing the number of modes required, obtaining a solution for the kernel of two-dimensional and three-dimensional flows, including the change in correlation length with time as presently the model gives instant realisations of the flow field and finally including third and fourth order statistics to improve the data driven model velocity field from having Gaussian distribution properties. As the third and fourth order statistics are Reynolds Number dependent this will enable the model to be applied to PIV data from physical scale models. In summary, this new data driven model is complementary to models based on the Navier-Stokes equations by providing better results in complicated design situations. Further research to develop the new model is viewed as an important step forward in the analysis of river control structures such as rock groynes that are prevalent on New Zealand Rivers protecting large cities.

No description available.

Title: Fluid-structure interaction of compressible flow Author: RNDr. Jaroslava Hasnedlová Department: Department of Numerical Mathematics, Institute of Applied Mathematics Supervisors: Prof. RNDr. Miloslav Feistauer, DrSc., Dr. h. c., Prof. Dr. Dr. h. c. Rolf Rannacher Supervisors' e-mail addresses: feist@karlin.mff.cuni.cz, rannacher@iwr.uni-heidelberg.de Abstract: The presented work is split into two parts. The first part is devoted to the theory of the discontinuous Galerkin finite element (DGFE) method for the space-time discretization of a nonstationary convection-diffusion initial-boundary value problem with nonlinear convection and linear diffusion. The DGFE method is applied sep- arately in space and time using, in general, different space grids on different time levels and different polynomial degrees p and q in space and time discretization. The main result is the proof of error estimates in L2 (L2 )-norm and in DG-norm formed by the L2 (H1 )-seminorm and penalty terms. The second part of the thesis deals with the realization of fluid-structure interaction problem of the compressible viscous flow with the elastic structure. The time-dependence of the domain occupied by the fluid is treated by the ALE (Arbitrary Lagrangian-Eulerian) method, when the compress- ible Navier-Stokes equations are formulated in...

vi Title: Biochemical and mechanical processes in synovial fluid - modeling, mathematical analysis and computational simulations Author: Petra Pustějovská (petra.pustejovska@karlin.mff.cuni.cz) Department: Matematický ústav UK, Univerzita Karlova v Praze Institut für Angewandte Mathematik, Universität Heidelberg Supervisors: prof. RNDr. Josef Málek CSc., DSc. (malek@karlin.mff.cuni.cz) Matematický ústav UK, Univerzita Karlova v Praze, Prof. Dr. Dr. h.c. mult. Willi Jäger (jaeger@iwr.uni-heidelberg.de) Institut für Angewandte Mathematik, Universität Heidelberg Abstract: Synovial fluid is a polymeric liquid which generally behaves as a viscoelastic fluid due to the presence of polysaccharide molecules called hyaluronan. In this thesis, we study the biological and biochemical properties of synovial fluid, its complex rheology and interaction with synovial membrane during filtration process. From the mathematical point of view, we model the synovial fluid as a viscous incompressible fluid for which we develop a novel generalized power-law fluid model wherein the power-law exponent depends on the concentration of the hyaluronan. Such a model is adequate to describe the flows of synovial fluid as long as it is not subjected to instantaneous stimuli. Moreover, we try to find a suitable linear viscoelastic model...

L'objectif de cette thèse consiste à étudier la méthode de pénalité-projection vectorielle notée VPP (Vector Penalty-Projection method), qui est une méthode à pas fractionnaire pour la résolution des équations de Navier-Stokes incompressible avec conditions aux limites ouvertes. Nous présentons une revue bibliographique des méthodes de projection traitant le couplage de vitesse et de pression. Nous nous intéressons dans un premier temps aux conditions de Dirichlet sur toute la frontière. Les tests numériques montrent une convergence d'ordre deux en temps pour la vitesse et la pression et prouvent que la méthode est rapide et peu coûteuse en terme de nombre d'itérations par pas de temps. En outre, nous établissons des estimations d'erreurs de la vitesse et de la pression et les essais numériques révèlent une parfaite concordance avec les résultats théoriques. En revanche, la contrainte d'incompressibilité n'est pas exactement nulle et converge avec un ordre de O(varepsilondelta t) où varepsilon est un paramètre de pénalité choisi assez petit et delta t le pas temps. Dans un second temps, la thèse traite les conditions aux limites ouvertes naturelles. Trois types de conditions de sortie sont étudiés et testés numériquement pour l'étape de projection. Nous effectuons des comparaisons quantitatives des résultats avec d'autres méthodes de projection. Les essais numériques sont en concordance avec les estimations théoriques également établies. Le dernier chapitre est consacré à l'étude numérique du schéma VPP en présence d'une condition aux limites ouvertes non-linéaire sur une frontière artificielle modélisant une charge singulière pour le problème de Navier-Stokes. / Motivated by solving the incompressible Navier-Stokes equations with open boundary conditions, this thesis studies the Vector Penalty-Projection method denoted VPP, which is a splitting method in time. We first present a literature review of the projection methods addressing the issue of the velocity-pressure coupling in the incompressible Navier-Stokes system. First, we focus on the case of Dirichlet conditions on the entire boundary. The numerical tests show a second-order convergence in time for both the velocity and the pressure. They also show that the VPP method is fast and cheap in terms of number of iterations at each time step. In addition, we established for the Stokes problem optimal error estimates for the velocity and pressure and the numerical experiments are in perfect agreement with the theoretical results. However, the incompressibility constraint is not exactly equal to zero and it scales as O(varepsilondelta t) where $varepsilon$ is a penalty parameter chosen small enough and delta t is the time step. Moreover, we deal with the natural outflow boundary condition. Three types of outflow boundary conditions are presented and numerically tested for the projection step. We perform quantitative comparisons of the results with those obtained by other methods in the literature. Besides, a theoretical study of the VPP method with outflow boundary conditions is stated and the numerical tests prove to be in good agreement with the theoretical results. In the last chapter, we focus on the numerical study of the VPP scheme with a nonlinear open artificial boundary condition modelling a singular load for the unsteady incompressible Navier-Stokes problem.

L’approximation dite « anélastique » permet de filtrer les ondes acoustiques grâce à un développement asymptotique deséquations de Navier-Stokes, réduisant ainsi le pas en temps moyen, lors de la simulation numérique du développement d’instabilités hydrodynamiques. Ainsi, les équations anélastiques sont établies pour un mélange de deux fluides pour l’instabilité de Rayleigh-Taylor. La stabilité linéaire de l’écoulement est étudiée pour la première fois pour des fluides parfaits, par la méthode des modes normaux, dans le cadre de l’approximation anélastique. Le problème de Stokes issu des équations de Navier-Stokes sans les termes non linéaires (une partie de la poussée d’Archiméde est prise en compte) est défini ; l’éllipticité est démontrée, l’étude des modes propres et l’invariance liée à la pression sont détaillés. La méthode d’Uzawa est étendue à l’anélastique en mettant en évidence le découplage des vitesses en 3D, le cas particulier k = 0 et les modes parasites de pression. Le passage au multidomaine a permis d’établir les conditions de raccord (raccord Co de la pression sans condition aux limites physiques). Les algorithmes et l’implantation dans le code AMENOPHIS sont validés par les comparaisons de l’opérateur d’Uzawa développé en Fortran et à l’aide de Mathematica. De plus des résultats numériques ont été comparés à une expérience avec des fluides incompressibles. Finalement, une étude des solutions numériques obtenues avec les options anélastique et compressible a été menée. L’étude de l’influence de la stratification initiale des deux fluides sur le développement de l’instabilité de Rayleigh-Taylor est amorcée. / The « anelastic » approximation allows us to filter the acoustic waves thanks to an asymptotic development of the Navier-Stokes equations, so increasing the averaged time step, during the numerical simulation of hydrodynamic instabilitiesdevelopment. So, the anelastic equations for a two fluid mixture in case of Rayleigh-Taylor instability are established.The linear stability of Rayleigh-Taylor flow is studied, for the first time, for perfect fluids in the anelastic approximation.We define the Stokes problem resulting from Navier-Stokes equations without the non linear terms (a part of the buoyancyis considered) ; the ellipticity is demonstrated, the eigenmodes and the invariance related to the pressure are detailed.The Uzawa’s method is extended to the anelastic approximation and shows the decoupling speeds in 3D, the particular casek = 0 and the spurius modes of pressure. Passing to multidomain allowed to establish the transmission conditions.The algorithms and the implementation in the existing program are validated by comparing the Uzawa’s operator inFortran and Mathematica langages, to an experiment with incompressible fluids and results from anelastic and compressiblenumerical simulations. The study of the influence of the initial stratification of both fluids on the development of the Rayleigh-Taylor instability is initiated.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Uma simulação numérica que leva em conta os efeitos de estratificação e mistura escalar (como a temperatura, salinidade ou substância solúvel em água) é necessária para estudar e prever os impactos ambientais que um reservatório de usina hidrelétrica pode produzir. Este trabalho sugere uma metodologia para o estudo de escoamentos ambientais, principalmente aqueles em que o conhecimento da interação entre a estratificação e mistura pode dar noções importantes dos fenômenos que ocorrem. Por esta razão, ferramentas de simulação numérica 3D de escoamento ambiental são desenvolvidas. Um gerador de malha de tetraedros do reservatório e o modelo de turbulência algébrico baseado no número de Richardson são as principais ferramentas desenvolvidas. A principal dificuldade na geração de uma malha de tetraedros de um reservatório é a distribuição não uniforme dos pontos relacionada com a relação desproporcional entre as escalas horizontais e verticais do reservatório. Neste tipo de distribuição de pontos, o algoritmo convencional de geração de malha de tetraedros pode tornar-se instável. Por esta razão, um gerador de malha não estruturada de tetraedros é desenvolvido e a metodologia utilizada para obter elementos conformes é descrita. A geração de malha superficial de triângulos utilizando a triangulação Delaunay e a construção do tetraedros a partir da malha triangular são os principais passos para o gerador de malha. A simulação hidrodinâmica com o modelo de turbulência fornece uma ferramenta útil e computacionalmente viável para fins de engenharia. Além disso, o modelo de turbulência baseado no número de Richardson leva em conta os efeitos da interação entre turbulência e estratificação. O modelo algébrico é o mais simples entre os diversos modelos de turbulência. Mas, fornece resultados realistas com o ajuste de uma pequena quantidade de parâmetros. São incorporados os modelos de viscosidade/difusividade turbulenta para escoamento estratificado. Na aproximação das equações médias de Reynolds e transporte de escalar é utilizando o Método dos Elementos Finitos. Os termos convectivos são aproximados utilizando o método semi-Lagrangeano, e a aproximação espacial é baseada no método de Galerkin. Os resultados computacionais são comparados com os resultados disponíveis na literatura. E, finalmente, a simulação de escoamento em um braço de reservatório é apresentada. / To study and forecast the environmental impacts that a hydroelectric power plant reservoir may produce, a numerical simulation that takes into account the effects of stratification and scalar mixing (such as temperature, salinity or water-soluble substance) is required. This work proposes a methodology for the study of the environmental fluid flow phenomena, mainly for flows in which the knowledge of the interaction between stratification and mixing can give important notions of the phenomena that occur. For this, a numerical simulation tool for 3D environmental flow is developed. A tetrahedral mesh generator of the reservoir based on the terrain topology and an algebraic turbulence model based on the Richardson number are the main tools developed. The main difficulty in tetrahedral mesh generation of a reservoir is nonuniform distribution of the points related to the huge ratio between the horizontal and vertical scales of the reservoir. In this type of point distributions, conventional tetrahedron mesh generation algorithm may become unstable. For this reason, a unstructured tetrahedral mesh generator is developed and the methodology used to obtain conforming elements is described. Triangular surface mesh generation using the Delaunay triangulation and the construction of the tetrahedra from the triangular surface mesh are the main steps to the mesh generator. The hydrodynamic simulation of reservoirs with a turbulence model provides a useful tool that is computationally viable for engineering purposes. Furthermore, the turbulence model based on the Richardson number takes into account the effects of interaction between turbulence and stratification. The algebraic model is the simplest among the various models of turbulence, but provides realistic results with the fitting of a small amount of parameters. Eddy-Viscosity/Diffusivity models for stratified turbulent flows models are incorporated. Using the Finite Element Method (FEM) approximation the Reynolds-averaged Navier-Stokes (RANS) and mean scalar transport equations are approximated. The convective terms are discretized employing the Semi-Lagrangian method, and the spatial discretization is based on the Galerkin method. The computational results are compared with the results available in the literature. Finally, the simulation of the flow in a branch of a reservoir is presented.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Uma simulação numérica que leva em conta os efeitos de estratificação e mistura escalar (como a temperatura, salinidade ou substância solúvel em água) é necessária para estudar e prever os impactos ambientais que um reservatório de usina hidrelétrica pode produzir. Este trabalho sugere uma metodologia para o estudo de escoamentos ambientais, principalmente aqueles em que o conhecimento da interação entre a estratificação e mistura pode dar noções importantes dos fenômenos que ocorrem. Por esta razão, ferramentas de simulação numérica 3D de escoamento ambiental são desenvolvidas. Um gerador de malha de tetraedros do reservatório e o modelo de turbulência algébrico baseado no número de Richardson são as principais ferramentas desenvolvidas. A principal dificuldade na geração de uma malha de tetraedros de um reservatório é a distribuição não uniforme dos pontos relacionada com a relação desproporcional entre as escalas horizontais e verticais do reservatório. Neste tipo de distribuição de pontos, o algoritmo convencional de geração de malha de tetraedros pode tornar-se instável. Por esta razão, um gerador de malha não estruturada de tetraedros é desenvolvido e a metodologia utilizada para obter elementos conformes é descrita. A geração de malha superficial de triângulos utilizando a triangulação Delaunay e a construção do tetraedros a partir da malha triangular são os principais passos para o gerador de malha. A simulação hidrodinâmica com o modelo de turbulência fornece uma ferramenta útil e computacionalmente viável para fins de engenharia. Além disso, o modelo de turbulência baseado no número de Richardson leva em conta os efeitos da interação entre turbulência e estratificação. O modelo algébrico é o mais simples entre os diversos modelos de turbulência. Mas, fornece resultados realistas com o ajuste de uma pequena quantidade de parâmetros. São incorporados os modelos de viscosidade/difusividade turbulenta para escoamento estratificado. Na aproximação das equações médias de Reynolds e transporte de escalar é utilizando o Método dos Elementos Finitos. Os termos convectivos são aproximados utilizando o método semi-Lagrangeano, e a aproximação espacial é baseada no método de Galerkin. Os resultados computacionais são comparados com os resultados disponíveis na literatura. E, finalmente, a simulação de escoamento em um braço de reservatório é apresentada. / To study and forecast the environmental impacts that a hydroelectric power plant reservoir may produce, a numerical simulation that takes into account the effects of stratification and scalar mixing (such as temperature, salinity or water-soluble substance) is required. This work proposes a methodology for the study of the environmental fluid flow phenomena, mainly for flows in which the knowledge of the interaction between stratification and mixing can give important notions of the phenomena that occur. For this, a numerical simulation tool for 3D environmental flow is developed. A tetrahedral mesh generator of the reservoir based on the terrain topology and an algebraic turbulence model based on the Richardson number are the main tools developed. The main difficulty in tetrahedral mesh generation of a reservoir is nonuniform distribution of the points related to the huge ratio between the horizontal and vertical scales of the reservoir. In this type of point distributions, conventional tetrahedron mesh generation algorithm may become unstable. For this reason, a unstructured tetrahedral mesh generator is developed and the methodology used to obtain conforming elements is described. Triangular surface mesh generation using the Delaunay triangulation and the construction of the tetrahedra from the triangular surface mesh are the main steps to the mesh generator. The hydrodynamic simulation of reservoirs with a turbulence model provides a useful tool that is computationally viable for engineering purposes. Furthermore, the turbulence model based on the Richardson number takes into account the effects of interaction between turbulence and stratification. The algebraic model is the simplest among the various models of turbulence, but provides realistic results with the fitting of a small amount of parameters. Eddy-Viscosity/Diffusivity models for stratified turbulent flows models are incorporated. Using the Finite Element Method (FEM) approximation the Reynolds-averaged Navier-Stokes (RANS) and mean scalar transport equations are approximated. The convective terms are discretized employing the Semi-Lagrangian method, and the spatial discretization is based on the Galerkin method. The computational results are compared with the results available in the literature. Finally, the simulation of the flow in a branch of a reservoir is presented.

Dans cette thèse, on s'intéresse à deux problèmes provenant de l'étude mathématique des fluides incompressibles visqueux : la propagation de la régularité tangentielle et le mouvement d'une surface libre.La première question concerne plus particulièrement l'étude qualitative de l'évolution de quantités thermodynamiques telles que la température dans l'équation de Boussinesq sans diffusion et la densité dans le système de Navier-Stokes non homogène. Typiquement, on suppose que ces deux quantités sont, à l'instant initial, discontinues le long d'une interface à régularité h"oldérienne. Comme conséquence de résultats de propagation de régularité tangentielle pour le champ de vitesses, on établit que la régularité des interfaces persiste pour tout temps aussi bien en dimension deux d'espace, qu'en dimension supérieure (avec condition de petitesse). Notre approche suit celle du travail de J.-Y. Chemin dans les années 90 pour le problème des poches de tourbillon dans les fluides incompressiblesparfaits.Dans le cas présent, outre cette hypothèse de régularité tangentielle, nous n'avons besoin que d'une régularité critique sur le champ de vitesses.La démonstration repose sur le calcul para-différentiel et les espaces de multiplicateurs.Dans la dernière partie de la thèse, on considère le problème à frontière libre pour le système de Navier-Stokes incompressible à deux phases. Ce système permet de décrire l'évolution d'un mélange de deux fluides non miscibles tels que l'huile et l'eau par exemple. Différents cas de figure sont étudiés : le cas d'un réservoir borné, d'une goutte ou d'une rivière à profondeur finie.On établit l'existence et l'unicité à temps petit pour ce problème. Notre démonstration repose fortement sur des propriétés de régularité maximale parabolique de type $L_p$-$L_q / This thesis is dedicated to two different problems in the mathematical study of the viscous incompressible fluids: the persistence of tangential regularity and the motion of a free surface.The first problem concerns the study of the qualitative properties of some thermodynamical quantities in incompressible fluid models, such as the temperature for Boussinesq system with no diffusion and the density for the non-homogeneous Navier-Stokes system. Typically, we assume those two quantities to be initially piecewise constant along an interface with H"older regularity.As a consequence of stability of certain directional smoothness of the velocity field, we establish that the regularity of the interfaces persist globally with respect to time both in the two dimensional and higher dimensional cases (under some smallness condition). Our strategy is borrowed from the pioneering works by J.-Y.Chemin in 1990s on the vortex patch problem for ideal fluids.Let us emphasize that, apart from the directional regularity, we only impose rough (critical) regularity on the velocity field. The proof requires tools from para-differential calculus and multiplier space theory.In the last part of this thesis, we are concerned with the free boundary value problem for two-phase density-dependent Navier-Stokes system.This model is used to describe the motion of two immiscible liquids, like the oil and the water. Such mixture may occur in different situations, such as in a fixed bounded container, in a moving bounded droplet or in a river with finite depth. We establish the short time well-posedness for this problem. Our result strongly relies on the $L_p$-$L_q$ maximal regularity theoryfor parabolic equations