Time Integration Methods for Compressible Flow
Total Page:16
File Type:pdf, Size:1020Kb
TIME INTEGRATION METHODS FOR COMPRESSIBLE FLOW PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit Twente, op gezag van de rector magnificus, prof. dr. F.A. van Vught, volgens besluit van het College voor Promoties in het openbaar te verdedigen op vrijdag 24 september 1999 te 15.00 uur door Ren´evanBuuren geboren op 14 april 1972 te Leeuwarden Dit proefschrift is goedgekeurd door de promotor prof. dr. ir. P.J. Zandbergen en de assistent-promotor dr. J.G.M. Kuerten aan mijn ouders Buuren, Ren´evan Time integration methods for compressible flow Thesis Universiteit Twente, Enschede. -Withref.-WithsummaryinDutch. ISBN 90-36513243 Copyright c 1999 by R. van Buuren ! Faculty of Mathematical Sciences University of Twente P.O. Box 217 7500 AE Enschede The Netherlands Contents 1Introduction 1 1.1 Turbulence............................... 1 1.2 Time integration . 5 1.2.1 Numerical example . 7 1.2.2 Relevant types of flow for implicit methods . 7 1.2.3 Efficiencyofimplicitschemes. 9 1.3 Outlineofthisthesis ......................... 11 2Numericalmethods 15 2.1 Introduction.............................. 15 2.2 Numericalrequirements ....................... 16 2.3 Spatial Discretisation . 20 2.3.1 Inviscidterms ......................... 20 2.3.2 Viscous terms . 25 2.4 Time integration . 26 2.4.1 Explicit time integration . 26 2.4.2 Implicit time integration . 27 2.4.3 TVD-property . 29 2.5 Linear solvers . 31 2.5.1 Basic iterative methods . 32 2.5.2 Krylovmethods ........................ 33 2.6 Multigrid . 35 2.6.1 Two-grid model . 35 3 The shock tube 39 3.1 Introduction.............................. 39 3.2 Governing equations and problem definition . 39 3.3 Spatial discretisation . 40 3.4 Approximation of the Jacobi matrix . 41 3.4.1 Numerical approximation of the flux Jacobi matrix . 42 v vi CONTENTS 3.4.2 Numerical flux Jacobi matrix . 43 3.5 Numericalresults ........................... 43 3.5.1 Numerical solution . 44 3.5.2 Comparison of linear solvers . 47 3.6 Entropy production . 50 3.6.1 Entropy satisfying solutions . 51 3.6.2 Application to the Euler equations . 52 3.7 Conclusions . 56 4Inviscidflowaroundanairfoil 59 4.1 Introduction.............................. 59 4.2 Governing equations and explicit numerical method . 61 4.2.1 Governing equations . 61 4.2.2 Spatial discretisation . 61 4.2.3 Explicit time integration . 63 4.2.4 Boundary conditions . .................... 63 4.3 Numericalresults ........................... 64 4.4 Implicitmethod............................ 67 4.5 Numericalresultsfortheimplicitscheme. 68 4.5.1 Grid refinement . 73 4.5.2 Linear Stability Theory .................... 74 4.6 Conclusions . 76 5Accelerationtechniquesforsteadyflowcomputations79 5.1 Introduction.............................. 79 5.2 Multigrid acceleration . .................... 81 5.3 Parallelization . 83 5.3.1 Domain decomposition . 85 5.3.2 Numerical results . 86 5.4 Conclusions . 92 6Shockboundary-layerinteractionflow 95 6.1 Introduction.............................. 95 6.2 Governing equations and explicit numerical method . 97 6.2.1 Governing equations . 98 6.2.2 Spatial discretisation . 99 6.2.3 Boundary conditions . .................... 99 6.2.4 Explicit time integration . 101 6.3 Explicitnumericalreferenceresults . 102 6.4 Implicit time integration method . 104 6.4.1 Time integration and implicit approximation of the flux . 106 CONTENTS vii 6.4.2 Implicit treatment of boundary conditions . 108 6.4.3 Linear solver . 110 6.5 Implicit time integration results . 110 6.5.1 Error bounds . .................... 110 6.5.2 Comparison with explicit results . 113 6.6 Dynamical behavior for large time steps . 117 6.7 Conclusions . 121 7Analysisofmultigridperformanceforunsteadyflow123 7.1 Introduction . 123 7.2 Identification of test case . 125 7.3 Multigrid applied to unsteady flow . 127 7.3.1 Damping characteristics flat plate . 128 7.3.2 Changing the smoother . 132 7.4 Model equation . 133 7.5 Conclusions . 137 8Partiallyimplicittimeintegrationschemes 139 8.1 Introduction . 139 8.2 Mixed multi-stage schemes . 141 8.2.1 Second order multi-stage schemes . 141 8.3 Steady-state-consistency . 143 8.3.1 Model equation . 144 8.3.2 Steady-state-consistent schemes . 145 8.4 Stability . ........................... 146 8.4.1 M-stable schemes . 146 8.4.2 Stability of steady-state-consistent schemes . 148 8.5 Numerical results and implementation . 151 8.5.1 Implementation . 151 8.5.2 Numerical results . 152 8.5.3 Convergence characteristics . 155 8.5.4 High aspect ratio . 158 8.6 Conclusions . 159 9Adynamicaltimestepcriterion 163 9.1 Introduction . 163 9.2 Proper orthogonal decomposition . .......... 164 9.3 Numerical results . 166 9.4 Conclusions . 171 10 Conclusions 173 viii CONTENTS Bibliography 175 Summary 184 Samenvatting 187 Dankwoord 190 Over de schrijver 191 Chapter 1 Introduction Iamanoldmannow,andwhenIdieandgotoheaventherearetwomatters on which I hope for enlightenment. One is quantum electrodynamics, and the other is the turbulent motion of fluids. And about the former I am rather optimistic 1. 1.1 Turbulence In both nature and technological applications the flow of fluids plays an im- portant role. Consider e.g. an airplane: important properties as lift and drag are completely determined by the flow of air around the airplane. As a sec- ond example the mixing of fuel and oxygen in an internal combustion engine determines much of the efficiency of the engine and the emission of gases into the environment. In our bodies blood runs through our veins, and we breath air in and out of our lungs. Or consider the motion of gases in the atmo- sphere and the flow of water in lakes and seas and their relevance to weather prediction [30, 44, 64]. In all these cases turbulence plays an important role and depending on the situation turbulence has beneficial or detrimental ef- fects. Obviously, a detailed investigation of the dominant flow mechanisms is essential in order to understand these systems or to optimize certain specific properties. Roughly speaking there are two characteristic types of flow, i.e. laminar flow and turbulent flow. Laminar flow displays smooth and gradual changes in time and space, whereas turbulent flow behaves chaotic with rapid changes in time and space. An every-day example of these two types of flow can be found if one observes the flow from a water tap [64]. If the tap is opened slightly the 1Reportedly said by Sir Horace Lamb in an address to the British Association for the Advancement of Physics in 1932 [64]. 1 2 CHAPTER 1 water comes out in a smooth current, characterizing laminar flow. However, if the tap is fully opened the water flow becomes more vivid, characterizing turbulent flow. In general a flow of a Newtonian fluid is mathematically described by the Navier-Stokes equations which are a set of coupled nonlinear partial differential equations combining the physical laws of conservation of mass, momentum and energy (see Eq. 6-1). By non-dimensionalising the Navier-Stokes equations it appears that a flow of a calorically perfect gas can be compactly characterized by four dimensionless numbers: (γ,Pr,Re,M). The adiabatic gas constant γ and the Prandtl number, Pr,dependonthetypeoffluid.Formanyfluids these are experimentally determined which leaves the Mach number, M,and the Reynolds number, Re still to be specified. The Mach number, which is the ratio of the speed of the fluid and the speed of sound, is related to compressibility, i.e. density variations, of the fluid. For low Mach number the fluid is nearly incompressible (e.g. constant density) like e.g. water in about all applications, while for high Mach number flow of e.g. gases typical compressible phenomena such as shock waves can occur. The Reynolds number is the ratio of inertia and viscous effects and is related to the two characteristic types of flow described earlier. For low Reynolds number the flow is laminar whereas it becomes turbulent if a critical (flow dependent) Reynolds number is exceeded. In this century a lot of effort has been put into understanding turbulence and the phenomena which trigger turbulence. Next to theoretical develop- ments and experiments, computer capacity has increased enormously in the past two decades which enables simulations of flows of increasing complexity. However, on the whole only a few substantial advances appear to have been made. For a short and comprehensible review we refer to [30]. Here we only focus on some aspects related to computational effort associated with flow simulations and for more details we refer to Refs. [30, 44, 85] and references therein. One of the assumptions on turbulence is that turbulent flows are hierarchical and involve a broad spectrum of so-called eddies. The largest eddies are produced by the driving forces of the flow, which in turn break into smaller eddies and this process continues until the resulting eddies reach asizeonwhichmolecularviscosityconvertstheeddymotionintoheat.The property of this energy cascade from large to small eddies is predicted by Kol- mogorov [51] and is expected to hold universally. In the Kolmogorov theory of turbulent flow the ratio of the lengths of the largest and smallest eddies is of the order Re3/4 which in three dimensions results in a number of degrees of freedom in the order of Re9/4. With this prediction of the number of degrees of freedom it is possible to roughly estimate the computational cost for simulating turbulent flow. If Introduction 3 Z X Y Figure 1-1: Surface triangulation of a generic fighter configuration; Technology demonstration of the FASTFLO CFD system (courtesy of NLR, Amsterdam). 4 CHAPTER 1 aturbulentflowistobesimulatedwithacomputerthecontinuousspaceis approximated by a discrete grid on which the flow quantities are determined. The grid size has to be fine enough to resolve all relevant eddies. This means that on the order of Re9/4 grid points are required. If we assume that the amount of work is proportional to the number of grid points this means that the required CPU (central processor unit) time is also of the same order. For turbulent flows which typically have large Reynolds numbers the problem is obvious.