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.
The process of sleep stage identification is a labour-intensive task that involves the specialized interpretation of the polysomnographic signals captured from a patient’s overnight sleep session. Automating this task has proven to be challenging for data mining algorithms because of noise, complexity and the extreme size of data. In this paper we apply nonsmooth optimization to extract key features that lead to better accuracy. We develop a specific procedure for identifying K-complexes, a special type of brain wave crucial for distinguishing sleep stages. The procedure contains two steps. We first extract “easily classified” K-complexes, and then apply nonsmooth optimization methods to extract features from the remaining data and refine the results from the first step. Numerical experiments show that this procedure is efficient for detecting K-complexes. It is also found that most classification methods perform significantly better on the extracted features.
There are many ways to define how long diffusive processes take, and an appropriate “critical time” is highly dependent on the specific application. In particular, we are interested in diffusive processes through multilayered materials, which have applications to a wide range of areas. Here we perform a comprehensive comparison of six critical time definitions, outlining their strengths, weaknesses, and potential applications. A further four definitions are also briefly considered. Equivalences between appropriate definitions are determined in the asymptotic limit as the number of layers becomes large. Relatively simple approximations are obtained for the critical time definitions. The approximations are more accessible than inverting the analytical solution for time, and surprisingly accurate. The key definitions, their behaviour and approximations are summarized in tables.
We consider the effect of surface roughness on solid-solid contact in a Stokes flow.Various models for the roughness are considered, and a unified methodology is given toderive the corresponding asymptotics of the drag force in the close-contact limit. In thisway, we recover and clarify the various expressions that can be found in previousstudies.
This is the final volume of a series covering all stages of development of the Calculus, from the last year at school to degree standard. The books are written for students of science and engineering as well as for specialist mathematicians, and are designed to bridge the gap between the works used in schools and more advanced studies, with their emphasis on rigour. Dr Maxwell guides the student through the early stages of analysis, while keeping the exposition as clear and uncomplicated as possible. The aim is to instil a knowledge of general method rather than to study the particular functions in detail; in this way the student is led on naturally to apply what they have learnt to move advanced mathematical contexts. Dr Maxwell is, as usual, lucid in his presentation, explaining difficulties in greater detail than is customary in an advanced textbook, and guarding against the pitfalls that await the beginner.
This monograph on generalised functions, Fourier integrals and Fourier series is intended for readers who, while accepting that a theory where each point is proved is better than one based on conjecture, nevertheless seek a treatment as elementary and free from complications as possible. Little detailed knowledge of particular mathematical techniques is required; the book is suitable for advanced university students, and can be used as the basis of a short undergraduate lecture course. A valuable and original feature of the book is the use of generalised-function theory to derive a simple, widely applicable method of obtaining asymptotic expressions for Fourier transforms and Fourier coefficients.
Many natural phenomena ranging from climate through to biology are described by complex dynamical systems. Getting information about these phenomena involves filtering noisy data and prediction based on incomplete information (complicated by the sheer number of parameters involved), and often we need to do this in real time, for example for weather forecasting or pollution control. All this is further complicated by the sheer number of parameters involved leading to further problems associated with the 'curse of dimensionality' and the 'curse of small ensemble size'. The authors develop, for the first time in book form, a systematic perspective on all these issues from the standpoint of applied mathematics. The book contains enough background material from filtering, turbulence theory and numerical analysis to make the presentation self-contained and suitable for graduate courses as well as for researchers in a range of disciplines where applied mathematics is required to enlighten observations and models.
In this paper, we are concerned with the existence of multi-bump solutions for anonlinear Schrödinger equations with electromagnetic fields. We prove under some suitableconditions that for any positive integer m, there existsε(m) > 0 such that, for0 < ε < ε(m),the problem has an m-bump complex-valued solution. As a result, whenε → 0, the equation has more and more multi-bumpcomplex-valued solutions.
where u is the unknownfunction, L is a second-order elliptic operator, f is agiven smooth function and H is a convex function. This is a modelequation for Hamilton-Jacobi-Bellman equations arising in stochastic singular control. Weestablish the existence of a unique viscosity solution of the Dirichlet problem that has aHölder continuous gradient. We also show that if H is uniformlyconvex, the gradient of this solution is Lipschitz continuous.
This paper is concerned with the study of a model case of first order Hamilton-Jacobi equations posed on a “junction”, that is to say the union of a finite number of half-lines with a unique common point. The main result is a comparison principle. We also prove existence and stability of solutions. The two challenging difficulties are the singular geometry of the domain and the discontinuity of the Hamiltonian. As far as discontinuous Hamiltonians are concerned, these results seem to be new. They are applied to the study of some models arising in traffic flows. The techniques developed in the present article provide new powerful tools for the analysis of such problems.
In the context of a variational model for the epitaxial growth of strained elastic films,we study the effects of the presence of anisotropic surface energies in the determinationof equilibrium configurations. We show that the threshold effect that describes thestability of flat morphologies in the isotropic case remains valid for weak anisotropies,but is no longer present in the case of highly anisotropic surface energies, where we showthat the flat configuration is always a local minimizer of the total energy. Following theapproach of [N. Fusco and M. Morini, Equilibrium configurations of epitaxially strainedelastic films: second order minimality conditions and qualitative properties of solutions.Preprint], we obtain these results by means of a minimality criterion based on thepositivity of the second variation.
In the previous chapter, we discussed the L-96 model and showed the skill of two ensemble square-root filters, ETKF and EAKF, on filtering this model in various turbulent regimes. As we discussed in Chapter 1, with the ensemble approach, there is an inherently difficult practical issue of small ensemble size in filtering statistical solutions of these complex problems due to the large computational overload in generating individual ensemble members through the forward dynamical operator (Haven et al., 2005). Furthermore, as we have seen in Chapter 11, the ensemble square-root filters (ETKF, EAKF) on the L-96 model suffer from severe catastrophic filter divergence, where solutions diverge beyond machine infinity in finite time in many chaotic regimes, when the observations are partially available. For the two-layer QG model, we also found that extensive calibration is needed on the EAKF with the local least-squares framework to avoid catastrophic filter divergence (see chapter 11 and Harlim and Majda (2010b)); yet, the filtered solutions are not accurate in the numerically stiff “oceanic” regime. Naturally one would ask whether there is any skillful reduced filtering strategy that can overcome these challenges of computational overhead.
In this chapter, we discuss a radical approach for filtering nonlinear systems which has several desirable features including high computational efficiency and robust skill under variation of parameters. In particular, we implement an analogue of the Fourier diagonal filter as developed in Chapters 6–8 on the nonlinear L-96 model discussed in Chapter 11 with varying degrees of nonlinearity in the true dynamics ranging from weakly chaotic to fully turbulent.
The difficulties in filtering turbulent complex systems are largely due to our incomplete understanding of the dynamical system that underlies the observed signals, which have many spatio-temporal scales and rough turbulent energy spectra near the resolved mesh scale. In this chapter, we develop theoretical criteria as guidelines to address issues for filtering turbulent signals in an idealized context. In particular, we consider the simplest turbulent model discussed in Chapter 5 with plentiful observations, that is, the observations are available at every model grid point.
In this idealized context, we will provide a useful insight into answering several practical issues, including:
As the model resolution is increased, there is typically a large computational overhead in propagating the dynamical operator and this restricts the predictions to relatively small ensemble sizes. When is it possible to filter using standard explicit and implicit solvers for the original dynamic equations by using a large time step equal to the observation time (even violating the CFL stability condition with standard explicit schemes) to increase ensemble size, yet still retain statistical accuracy?
If plentiful observations are available on refined meshes, what is gained by increasing the resolution of the operational model? How does this depend on the nature of the turbulent spectrum?
As discussed in the introductory chapter, the scientific issue in real-time prediction problems is to provide a statistical estimate of a true state given that the nature of the physical process is chaotic and given the fact that the measurements (observations) are inaccurate or sometimes even unavailable. Essentially, at every time when observations become available, one chooses the best estimate of the true state by accounting for the prior forecasts and these observations. There are two challenges for improving the real-time prediction of a turbulent signal with multiple scales: the first is to improve the model which suffers from model error since we don't yet understand the underlying physical processes. Even if we do, we cannot realize these processes at every temporal or spatial scale with our limited computing power. Thus, the second challenge is to provide efficient and accurate strategies that meet this practical constraint.
In this chapter, we derive the one-dimensional Kalman filter formula which is a specific analytical solution of the Bayesian update in a simplified setting. As mentioned in the introductory chapter, this is an important test problem for filtering multi-scale turbulent systems and this point of view is emphasized here. We show the numerical results of filtering a one-dimensional complex Ornstein–Uhlenbeck process. We then discuss the conditions for filtering stability and compute the asymptotic off-line variables in closed form for the one-dimensional Kalman filter.
This book is an outgrowth of lectures by both authors in the graduate course of the first author at the Courant Institute during spring 2008 and 2010 on the topic of filtering turbulent dynamical systems as well as lectures by the second author at the North Carolina State University in a graduate course in fall 2009. The material is based on the authors' joint research as well as collaborations with Marcus Grote and Boris Gershgorin; the authors thank these colleagues for their explicit and implicit contributions to this material. Chapter 1 presents a detailed overview and summary of the viewpoint and material in the book. This book is designed for applied mathematicians, scientists and engineers, ranging from first- and second-year graduate students to senior researchers interested in filtering large-dimensional complex nonlinear systems.
The first author acknowledges the generous support of DARPA through Ben Mann and ONR through Reza Malek-Madani which funded the research on these topics and helped make this book a reality.
A major difficulty in accurate filtering of noisy turbulent signals with many degrees of freedom is model error; the true signal from nature is processed for filtering and prediction through an imperfect model in which numerical approximations are imposed and important physical processes are parametrized due to inadequate resolution or incomplete physical understanding. In Chapters 2 and 6, we discussed the filtering performance on a canonical linear stochastic PDE model for turbulence in the presence of model error through discrete numerical solvers. Subsequently, in Chapter 7 we assessed the filtering performance with model error that arises from reduced filtering strategies that are used when the observations are sparse.
In this chapter, we discuss filtering with model error which arises from unstable turbulent processes that are often observed in nature such as the intermittent burst of baroclinic instability in the mid-latitude atmosphere and ocean turbulent dynamics and which might be hidden from the forecast model. In the study below, we will simulate an intermittent burst of instability with two-state Markov damping coefficients; we allow the damping coefficients of some Fourier modes in the turbulent model (SPDE in Chapter 5) to be negative (or unstable) on some random occasions with a positive long-time average damping (i.e. an overall stable dynamics). We will prescribe the switching times between the two (stable and unstable) states to be randomly drawn from exponential distributions.
In this chapter, we review the L-96 model (Lorenz, 1996) and its dynamical properties. This model is a 40-dimensional nonlinear chaotic dynamical system mimicking the large-scale behavior of the mid-latitude atmosphere. This model has a wide variety of different chaotic regimes as the external forcing varies, ranging from weakly chaotic to strongly chaotic to fully turbulent. We check the performance of the ensemble square-root filters described in Chapter 9 on filtering this model for various chaotic regimes, observation times, observation errors for plentiful and regularly spaced sparse observations, and we discuss the phenomenon of “catastrophic filter divergence” for the sparsely observed L-96 model. As a more realistic example of geophysical turbulence, we also review the two-layer quasi-geostrophic (QG) model (Salmon, 1998; Vallis, 2006) that mimics the waves and turbulence of both the mid-latitude atmosphere and the ocean in suitable parameter regimes. We present numerical results of filtering true signals from the QG model with the ensemble adjustment Kalman filter (EAKF), implemented sequentially with the local least-squares framework (Anderson, 2003). In Chapters 12 and 13, we will revisit these models and study much cheaper filters with high skill based on suitable linear stochastic models (Chapter 12) combined with the stochastic parametrized extended Kalman filter (SPEKF) in Chapter 13.
The L-96 model
The L-96 model was introduced by Lorenz (1996) to represent an “atmospheric variable” u at 2N equally spaced points around a circle of constant latitude; thus, it is natural for u to be solved with a periodic boundary condition.