To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Filtering is the process of obtaining the best statistical estimate of a natural system from partial observations of the true signal from nature. In many contemporary applications in science and engineering, real-time filtering of a turbulent signal from nature involving many degrees of freedom is needed to make accurate predictions of the future state. This is obviously a problem with significant practical impact. Important contemporary examples involve the real-time filtering and prediction of weather and climate as well as the spread of hazardous plumes or pollutants. Thus, an important emerging scientific issue is the real-time filtering through observations of noisy signals for turbulent nonlinear dynamical systems as well as the statistical accuracy of spatio-temporal discretizations for filtering such systems. From the practical standpoint, the demand for operationally practical filtering methods escalates as the model resolution is significantly increased. In the coupled atmosphere–ocean system, the current practical models for prediction of both weather and climate involve general circulation models where the physical equations for these extremely complex flows are discretized in space and time and the effects of unresolved processes are parametrized according to various recipes; the result of this process involves a model for the prediction of weather and climate from partial observations of an extremely unstable, chaotic dynamical system with several billion degrees of freedom. These problems typically have many spatio-temporal scales, rough turbulent energy spectra in the solutions near the mesh scale, and a very large-dimensional state space, yet real-time predictions are needed.
In this paper we study a controllability problem for a simplified one dimensional model for the motion of a rigid body in a viscous fluid. The control variable is the velocity of the fluid at one end. One of the novelties brought in with respect to the existing literature consists in the fact that we use a single scalar control. Moreover, we introduce a new methodology, which can be used for other nonlinear parabolic systems, independently of the techniques previously used for the linearized problem. This methodology is based on an abstract argument for the null controllability of parabolic equations in the presence of source terms and it avoids tackling linearized problems with time dependent coefficients.
In Chapters 9 and 11 we discussed finite ensemble filtering of nonlinear dynamical systems with Kalman-based (or linear) techniques and we demonstrated their advantages in the less turbulent regime and their limitation in the sparsely observed fully turbulent regime. We also showed their sensitivity toward variations of filtering parameters such as the variance inflation and ensemble size. Subsequently in Chapters 12–14, we discussed alternative strategies based on cheap reduced stochastic models to avoid all the disadvantages of ensemble Kalman filtering strategies and demonstrated their skill for filtering various turbulent nonlinear systems ranging from the idealized toy models like L-96 to quasi-geostrophic turbulence to turbulent diffusion models with non-Gaussian statistics.
Recently, there is an emerging need to develop nonlinear filtering methods beyond the ensemble Kalman filters since most physical problems are nonlinear and sometimes have highly non-Gaussian distributions. One of the most difficult problems is to devise a practically useful ensemble method based on the theoretically well-established particle filtering (or sequential Monte Carlo) methods (Del Moral, 1996; Del Moral and Jacod, 2001; Doucet et al., 2008). The major challenge is to have a particle filter that is practically skillful for high-dimensional complex turbulent systems with only small ensemble size (small number of particles); this is very important because of the large overload in generating individual ensemble members through the forward dynamical operator (Haven et al., 2005).
This paper is concerned with the stochastic linear quadratic optimal control problems (LQproblems, for short) for which the coefficients are allowed to be random and the costfunctionals are allowed to have negative weights on the square of control variables. Wepropose a new method, the equivalent cost functional method, to deal with the LQ problems.Comparing to the classical methods, the new method is simple, flexible and non-abstract.The new method can also be applied to deal with nonlinear optimization problems.
Throughout the book, we have stressed that a central issue in practical filtering of turbulent signals is model error. Naively, one might think that model errors always have a negative effect on filter performance and indeed this was illustrated in Chapters 2 and 3 in simple examples with simple time differencing methods like backward or forward Euler with associated natural time discrete noise. However, a central issue of this book is to emphasize that judicious model errors in the forward operator, guided by mathematical theory, can both ameliorate the effect of the curse of ensemble size for turbulent dynamical systems and retain high filtering skill, remarkably, often exceeding that with the perfect model! In particular, we have illustrated these principles with various model errors arising from using approximate numerical solvers (Chapter 2), reduced strategies for filtering dynamical systems with instability (Chapters 3 and 8), reduced strategies for filtering sparsely observed signals (Chapter 7) and simple linear stochastic models for filtering turbulent signals from nonlinear dynamical systems (Chapters 5, 10, and 12). In our earlier discussion (see Chapters 8, 10, and 12), we demonstrated that the off-line strategy accounting for model errors, the mean stochastic model (MSM), under some circumstances produces reasonably accurate filtered solutions. However, this off-line strategy often has limited skill for estimating real-time prediction problems with rapid fluctuations that are often observed in nature since the off-line strategy (MSM) relies heavily on a fixed parameter set that is extracted from long-time or climatological statistical quantities such as the energy spectrum and correlation time.
As motivated in Chapter 1, one goal of the present book is to develop an explicit off-line test criterion for stable accurate time filtering of turbulent signals which is akin to the classical frozen linear constant stability test for finite difference schemes for systems of nonlinear partial differential equations as presented in chapter 4 of Richtmeyer and Morton (1967). In applications for complex turbulent spatially extended systems, the actual dynamics is typically turbulent and energetic at the smallest mesh scales but the climatological spectrum of the turbulent modes is known; for example, a mesh truncation of the compressible primitive equations with a fine mesh spacing of 10–50 kilometers still has substantial random and chaotic energy on the smallest 10-kilometer scales due to chaotic motion of clouds, topography and boundary layer turbulence which are not resolved. Similar unresolved features occur in many engineering problems with turbulence. Thus, the first step is the development of an appropriate constant-coefficient stochastic PDE test problem.
The simplest models for representing turbulent fluctuations involve replacing nonlinear interaction by additional linear damping and stochastic white noise forcing in time which incorporates the observed climatological spectrum and decorrelation time for the turbulent field (Majda et al., 2005; Majda and Wang, 2006). Thus, the first step in developing analogous off-line test criteria is to utilize the above approximations. This approach is developed in this chapter and builds on earlier material from Section 2.1.1 and Chapter 4.
Turbulent diffusion is a physical process that describes the transport of a tracer in a turbulent velocity field. Very often the tracer itself has very little or no influence on the background flow, in which case it is referred to as a passive tracer. Practically important examples include engineering problems such as the spread of hazardous plumes or pollutants in the atmosphere and contaminants in the ocean. Another class of problems that involve turbulent diffusion are climate science problems concerning the transport of greenhouse gases such as carbon dioxide and others. One of the characteristics of these systems is their complex multi-scale structure in both time and space. For example, the spatial scales of atmospheric flows span from planetary-scale Rossby waves to local weather patterns with the size of kilometers. Similarly, temporal scales involve both slow dynamics on the scales of decades as well as the fast dynamics on the scales of hours. Another remarkable property of many tracers in the atmosphere is their highly intermittent probability distributions with long exponential tails (Neelin et al., 2011). Many contemporary applications in science and engineering involve real-time filtering of such turbulent non-Gaussian signals from nature with multiple scales in time and space.
Real-time tracking of a chemical plume released into the atmosphere or a contaminant injected into the ocean is another extremely important and practical example where real-time data assimilation plays a crucial role.
An abstract framework for constructing stable decompositions of the spaces correspondingto general symmetric positive definite problems into “local” subspaces and a global“coarse” space is developed. Particular applications of this abstract framework includepractically important problems in porous media applications such as: the scalar elliptic(pressure) equation and the stream function formulation of its mixed form, Stokes’ andBrinkman’s equations. The constant in the corresponding abstract energy estimate is shownto be robust with respect to mesh parameters as well as the contrast, which is defined asthe ratio of high and low values of the conductivity (or permeability). The derived stabledecomposition allows to construct additive overlapping Schwarz iterative methods withcondition numbers uniformly bounded with respect to the contrast and mesh parameters. Thecoarse spaces are obtained by patching together the eigenfunctions corresponding to thesmallest eigenvalues of certain local problems. A detailed analysis of the abstractsetting is provided. The proposed decomposition builds on a method of Galvis and Efendiev[Multiscale Model. Simul. 8 (2010) 1461–1483] developedfor second order scalar elliptic problems with high contrast. Applications to the finiteelement discretizations of the second order elliptic problem in Galerkin and mixedformulation, the Stokes equations, and Brinkman’s problem are presented. A number ofnumerical experiments for these problems in two spatial dimensions are provided.
We examine an elliptic optimal control problem with control and state constraints inℝ3. An improved error estimate of 𝒪(hs) with 3/4 ≤ s ≤ 1 − ε is proven for a discretisationinvolving piecewise constant functions for the control and piecewise linear for the state.The derived order of convergence is illustrated by a numerical example.
The aim of this paper is to derive a general model for reduced viscous and resistive Magnetohydrodynamics (MHD) and to study its mathematical structure. The model is established for arbitrary density profiles in the poloidal section of the toroidal geometry of Tokamaks. The existence of global weak solutions, on the one hand, and the stability of the fundamental mode around initial data, on the other hand, are investigated.
In the present work we investigate the numerical simulation of liquid-vapor phase changein compressible flows. Each phase is modeled as a compressible fluid equipped with its ownequation of state (EOS). We suppose that inter-phase equilibrium processes in the mediumoperate at a short time-scale compared to the other physical phenomena such as convectionor thermal diffusion. This assumption provides an implicit definition of an equilibriumEOS for the two-phase medium. Within this framework, mass transfer is the result of localand instantaneous equilibria between both phases. The overall model is strictlyhyperbolic. We examine properties of the equilibrium EOS and we propose a discretizationstrategy based on a finite-volume relaxation method. This method allows to cope with theimplicit definition of the equilibrium EOS, even when the model involves complex EOS’s forthe pure phases. We present two-dimensional numerical simulations that shows that themodel is able to reproduce mechanism such as phase disappearance and nucleation.
We introduce a family of mixed discontinuous Galerkin (DG) finite element methods fornearly and perfectly incompressible linear elasticity. These mixed methods allow thechoice of polynomials of any order k ≥ 1 for the approximation of thedisplacement field, and of order k or k − 1 for thepressure space, and are stable for any positive value of the stabilization parameter. Weprove the optimal convergence of the displacement and stress fields in both cases, witherror estimates that are independent of the value of the Poisson’s ratio. These estimatesdemonstrate that these methods are locking-free. To this end, we prove the correspondinginf-sup condition, which for the equal-order case, requires a construction to establishthe surjectivity of the space of discrete divergences on the pressure space. In theparticular case of near incompressibility and equal-order approximation of thedisplacement and pressure fields, the mixed method is equivalent to a displacement methodproposed earlier by Lew et al. [Appel. Math. Res. express3 (2004) 73–106]. The absence of locking of this displacementmethod then follows directly from that of the mixed method, including the uniform errorestimate for the stress with respect to the Poisson’s ratio. We showcase the performanceof these methods through numerical examples, which show that locking may appear ifDirichlet boundary conditions are imposed strongly rather than weakly, as we do here.
We construct a Galerkin finite element method for the numerical approximation of weaksolutions to a general class of coupled FENE-type finitely extensible nonlinear elasticdumbbell models that arise from the kinetic theory of dilute solutions of polymericliquids with noninteracting polymer chains. The class of models involves the unsteadyincompressible Navier–Stokes equations in a bounded domainΩ ⊂ ℝd, d = 2 or 3, forthe velocity and the pressure of the fluid, with an elastic extra-stress tensor appearingon the right-hand side in the momentum equation. The extra-stress tensor stems from therandom movement of the polymer chains and is defined through the associated probabilitydensity function that satisfies a Fokker–Planck type parabolic equation, a crucial featureof which is the presence of a centre-of-mass diffusion term. We require no structuralassumptions on the drag term in the Fokker–Planck equation; in particular, the drag termneed not be corotational. We perform a rigorous passage to the limit as first the spatialdiscretization parameter, and then the temporal discretization parameter tend to zero, andshow that a (sub)sequence of these finite element approximations converges to a weaksolution of this coupled Navier–Stokes–Fokker–Planck system. The passage to the limit isperformed under minimal regularity assumptions on the data: a square-integrable anddivergence-free initial velocity datum \hbox{$\absundertilde$} for the Navier–Stokes equation and a nonnegative initial probabilitydensity function ψ0 for the Fokker–Planck equation, which hasfinite relative entropy with respect to the Maxwellian M.
In this paper, we construct and analyze finite element methods for the three dimensionalMonge-Ampère equation. We derive methods using the Lagrange finite element space such thatthe resulting discrete linearizations are symmetric and stable. With this in hand, we thenprove the well-posedness of the method, as well as derive quasi-optimal error estimates.We also present some numerical experiments that back up the theoretical findings.