Searcharxiv⌕ Search

arXiv subjects

Dan Crisan

Publications and source records attributed to Dan Crisan.

At least 55 records · Page 3Linked to original sources

Existence and Uniqueness of Maximal Solutions to SPDEs with Applications to Viscous Fluid Equations

We present two criteria to conclude that a stochastic partial differential equation (SPDE) posseses a unique maximal strong solution. This paper provides the full details of the abstract well-posedness results first given in arXiv:2202.09242v2, and partners a paper which rigorously addresses applications to the 3D SALT (Stochastic Advection by Lie Transport) Navier-Stokes Equation in velocity and vorticity form, on the torus and the bounded domain respectively. Each criterion has its corresponding set of assumptions and can be applied to viscous fluid equations with additive, multiplicative or a general transport type noise.

math.AP↗

Unbiased Estimation using a Class of Diffusion Processes

We study the problem of unbiased estimation of expectations with respect to (w.r.t.) $π$ a given, general probability measure on $(\mathbb{R}^d,\mathcal{B}(\mathbb{R}^d))$ that is absolutely continuous with respect to a standard Gaussian measure. We focus on simulation associated to a particular class of diffusion processes, sometimes termed the Schrödinger-Föllmer Sampler, which is a simulation technique that approximates the law of a particular diffusion bridge process $\{X_t\}_{t\in [0,1]}$ on $\mathbb{R}^d$, $d\in \mathbb{N}_0$. This latter process is constructed such that, starting at $X_0=0$, one has $X_1\sim π$. Typically, the drift of the diffusion is intractable and, even if it were not, exact sampling of the associated diffusion is not possible. As a result, \cite{sf_orig,jiao} consider a stochastic Euler-Maruyama scheme that allows the development of biased estimators for expectations w.r.t.~$π$. We show that for this methodology to achieve a mean square error of $\mathcal{O}(ε^2)$, for arbitrary $ε>0$, the associated cost is $\mathcal{O}(ε^{-5})$. We then introduce an alternative approach that provides unbiased estimates of expectations w.r.t.~$π$, that is, it does not suffer from the time discretization bias or the bias related with the approximation of the drift function. We prove that to achieve a mean square error of $\mathcal{O}(ε^2)$, the associated cost is, with high probability, $\mathcal{O}(ε^{-2}|\log(ε)|^{2+δ})$, for any $δ>0$. We implement our method on several examples including Bayesian inverse problems.

stat.CO↗

Blow-up of strong solutions of the Thermal Quasi-Geostrophic equation

The Thermal Quasi-Geostrophic (TQG) equation is a coupled system of equations that governs the evolution of the buoyancy and the potential vorticity of a fluid. It has a local in time solution as proved in [4]. In this paper, we give a criterion for the blow-up of solutions to the Thermal Quasi-Geostrophic equation, in the spirit of the classical Beale-Kato-Majda blow-up criterion (cf. [3]) for the solution of the Euler equation.

math.AP↗

Solution properties of the incompressible Euler system with rough path advection

The present paper aims to establish the local well-posedness of Euler's fluid equations on geometric rough paths. In particular, we consider the Euler equations for the incompressible flow of an ideal fluid whose Lagrangian transport velocity possesses an additional rough-in-time, divergence-free vector field. In recent work, we have demonstrated that this system can be derived from Clebsch and Hamilton-Pontryagin variational principles that possess a perturbative geometric rough path Lie-advection constraint. In this paper, we prove the local well-posedness of the system in $L^2$-Sobolev spaces $H^m$ with integer regularity $m\ge \lfloor d/2\rfloor+2$ and establish a Beale-Kato-Majda (BKM) blow-up criterion in terms of the $L^1_tL^\infty_x$-norm of the vorticity. In dimension two, we show that the $L^p$-norms of the vorticity are conserved, which yields global well-posedness and a Wong-Zakai approximation theorem for the stochastic version of the equation.

math.AP↗

Analytical Properties for a Stochastic Rotating Shallow Water Model under Location Uncertainty

The rotating shallow water model is a simplification of oceanic and atmospheric general circulation models that are used in many applications such as surge prediction, tsunami tracking and ocean modelling. In this paper we introduce a class of rotating shallow water models which are stochastically perturbed in order to incorporate model uncertainty into the underlying system. The stochasticity is chosen in a judicious way, by following the principles of location uncertainty, as introduced in [Mémin, 2014]. We prove that the resulting equation is part of a class of stochastic partial differential equations that have unique maximal strong solutions. The methodology is based on the construction of an approximating sequence of models taking value in an appropriately chosen finite-dimensional Littlewood-Paley space. Finally, we show that a distinguished element of this class of stochastic partial differential equations has a global weak solution.

math.AP↗

A Lagged Particle Filter for Stable Filtering of certain High-Dimensional State-Space Models

We consider the problem of high-dimensional filtering of state-space models (SSMs) at discrete times. This problem is particularly challenging as analytical solutions are typically not available and many numerical approximation methods can have a cost that scales exponentially with the dimension of the hidden state. Inspired by lag-approximation methods for the smoothing problem, we introduce a lagged approximation of the smoothing distribution that is necessarily biased. For certain classes of SSMs, particularly those that forget the initial condition exponentially fast in time, the bias of our approximation is shown to be uniformly controlled in the dimension and exponentially small in time. We develop a sequential Monte Carlo (SMC) method to recursively estimate expectations with respect to our biased filtering distributions. Moreover, we prove for a class of class of SSMs that can contain dependencies amongst coordinates that as the dimension $d\rightarrow\infty$ the cost to achieve a stable mean square error in estimation, for classes of expectations, is of $\mathcal{O}(Nd^2)$ per-unit time, where $N$ is the number of simulated samples in the SMC algorithm. Our methodology is implemented on several challenging high-dimensional examples including the conservative shallow-water model.

stat.CO↗

An application of the splitting-up method for the computation of a neural network representation for the solution for the filtering equations

The filtering equations govern the evolution of the conditional distribution of a signal process given partial, and possibly noisy, observations arriving sequentially in time. Their numerical approximation plays a central role in many real-life applications, including numerical weather prediction, finance and engineering. One of the classical approaches to approximate the solution of the filtering equations is to use a PDE inspired method, called the splitting-up method, initiated by Gyongy, Krylov, LeGland, among other contributors. This method, and other PDE based approaches, have particular applicability for solving low-dimensional problems. In this work we combine this method with a neural network representation. The new methodology is used to produce an approximation of the unnormalised conditional distribution of the signal process. We further develop a recursive normalisation procedure to recover the normalised conditional distribution of the signal process. The new scheme can be iterated over multiple time steps whilst keeping its asymptotic unbiasedness property intact. We test the neural network approximations with numerical approximation results for the Kalman and Benes filter.

math.PR↗

Parallel sequential Monte Carlo for stochastic gradient-free nonconvex optimization

We introduce and analyze a parallel sequential Monte Carlo methodology for the numerical solution of optimization problems that involve the minimization of a cost function that consists of the sum of many individual components. The proposed scheme is a stochastic zeroth order optimization algorithm which demands only the capability to evaluate small subsets of components of the cost function. It can be depicted as a bank of samplers that generate particle approximations of several sequences of probability measures. These measures are constructed in such a way that they have associated probability density functions whose global maxima coincide with the global minima of the original cost function. The algorithm selects the best performing sampler and uses it to approximate a global minimum of the cost function. We prove analytically that the resulting estimator converges to a global minimum of the cost function almost surely and provide explicit convergence rates in terms of the number of generated Monte Carlo samples and the dimension of the search space. We show, by way of numerical examples, that the algorithm can tackle cost functions with multiple minima or with broad "flat" regions which are hard to minimize using gradient-based techniques.

stat.CO↗

Variational principles for fluid dynamics on rough paths

In this paper, we introduce a new framework for parametrization schemes (PS) in GFD. Using the theory of controlled rough paths, we derive a class of rough geophysical fluid dynamics (RGFD) models as critical points of rough action functionals. These RGFD models characterize Lagrangian trajectories in fluid dynamics as geometric rough paths (GRP) on the manifold of diffeomorphic maps. Three constrained variational approaches are formulated for the derivation of these models. The first is the Clebsch formulation, in which the constraints are imposed as rough advection laws. The second is the Hamilton-Pontryagin formulation, in which the constraints are imposed as right-invariant rough vector fields. The third is the Euler--Poincaré formulation in which the variations are constrained. These variational principles lead directly to the Lie--Poisson Hamiltonian formulation of fluid dynamics on geometric rough paths. The GRP framework preserves the geometric structure of fluid dynamics obtained by using Lie group reduction to pass from Lagrangian to Eulerian variational principles, thereby yielding a rough formulation of the Kelvin circulation theorem. The rough-path variational approach includes non-Markovian perturbations of the Lagrangian fluid trajectories. In particular, memory effects can be introduced through this formulation through a judicious choice of the rough path (e.g. a realization of a fractional Brownian motion). In the special case when the rough path is a realization of a semimartingale, we recover the SGFD models in Holm (2015). However, by eliminating the need for stochastic variational tools, we retain a pathwise interpretation of the Lagrangian trajectories. In contrast, the Lagrangian trajectories in the stochastic framework are described by stochastic integrals which do not have a pathwise interpretation. Thus, the rough path formulation restores this property.

math.AP↗

Bayesian Inference for Fluid Dynamics: A Case Study for the Stochastic Rotating Shallow Water Model

In this work, we use a tempering-based adaptive particle filter to infer from a partially observed stochastic rotating shallow water (SRSW) model which has been derived using the Stochastic Advection by Lie Transport (SALT) approach. The methodology we present here validates the applicability of tempering and sample regeneration via a Metropolis-Hastings algorithm to high-dimensional models used in stochastic fluid dynamics. The methodology is first tested on the Lorenz '63 model with both full and partial observations. Then we discuss the efficiency of the particle filter the SALT-SRSW model.

math.NA↗

On the analytical aspects of inertial particle motion

In their seminal 1983 paper, M. Maxey and J. Riley introduced an equation for the motion of a sphere through a fluid. Since this equation features the Basset history integral, the popularity of this equation has broadened the use of a certain form of fractional differential equation to study inertial particle motion. In this paper, we give a comprehensive theoretical analysis of the Maxey-Riley equation. In particular, we build on previous local in time existence and uniqueness results to prove that solutions of the Maxey-Riley equation are global in time. In doing so, we also prove that the notion of a maximal solution extends to this equation. We furthermore prove conditions under which solutions are differentiable at the initial time. By considering the derivative of the solution with respect to the initial conditions, we perform a sensitivity analysis and demonstrate that two inertial trajectories can not meet, as well as provide a control on the growth of the distance between a pair of inertial particles. The properties we prove here for the Maxey-Riley equations are also possessed, mutatis mutandis, by a broader class of fractional differential equations of a similar form.

math.CA↗

Theoretical and computational analysis of the thermal quasi-geostrophic model

This work involves theoretical and numerical analysis of the Thermal Quasi-Geostrophic (TQG) model of submesoscale geophysical fluid dynamics (GFD). Physically, the TQG model involves thermal geostrophic balance, in which the Rossby number, the Froude number and the stratification parameter are all of the same asymptotic order. The main analytical contribution of this paper is to construct local-in-time unique strong solutions for the TQG model. For this, we show that solutions of its regularized version $α$-TQG converge to solutions of TQG as its smoothing parameter $α\rightarrow 0$ and we obtain blowup criteria for the $α$-TQG model. The main contribution of the computational analysis is to verify the rate of convergence of $α$-TQG solutions to TQG solutions as $α\rightarrow 0$ for example simulations in appropriate GFD regimes.

math.AP↗

Well-posedness Properties for a Stochastic Rotating Shallow Water Model

In this paper, we study the well-posedness properties of a stochastic rotating shallow water system in which the noise is chosen according to the Stochastic Advection by Lie Transport (SALT) theory. The system is perturbed by noise modulated by a function that is not Lipschitz in the norm where the well-posedness is sought. We show that the system admits a unique maximal strong solution which depends continuously on the initial condition. We also show that the interval of existence is strictly positive and the solution is global with positive probability.

math.AP↗

Wave-current interaction on a free surface

The classic evolution equations for potential flow on the free surface of a fluid flow are not closed because the pressure and the vertical velocity dynamics are not specified on the free surface. Moreover, their wave dynamics does not cause circulation of the fluid velocity on the free surface. The equations for free-surface motion we derive here are closed and they are not restricted to potential flow. Hence, true wave-current interaction dynamics can occur. In particular, the Kelvin-Noether theorem demonstrates that wave activity can induce fluid circulation and vorticity dynamics on the free surface. The wave-current interaction equations introduced here open new vistas for both the deterministic and stochastic analysis of nonlinear waves on free surfaces.

physics.flu-dyn↗

Particle representation for the solution of the filtering problem. Application to the error expansion of filtering discretizations

We introduce a weighted particle representation for the solution of the filtering problem based on a suitably chosen variation of the classical de Finetti theorem. This representation has important theoretical and numerical applications. In this paper, we explore some of its theoretical consequences. The first is to deduce the equations satisfied by the solution of the filtering problem in three different frameworks: the signal independent Brownian measurement noise model, the spatial observations with additive white noise model and the cluster detection model in spatial point processes. Secondly we use the representation to show that a suitably chosen filtering discretisation converges to the filtering solution. Thirdly we study the leading error coefficient for the discretisation. We show that it satisfies a stochastic partial differential equation by exploiting the weighted particle representation for both the approximation and the limiting filtering solution.

math.PR↗

Score-Based Parameter Estimation for a Class of Continuous-Time State Space Models

We consider the problem of parameter estimation for a class of continuous-time state space models. In particular, we explore the case of a partially observed diffusion, with data also arriving according to a diffusion process. Based upon a standard identity of the score function, we consider two particle filter based methodologies to estimate the score function. Both methods rely on an online estimation algorithm for the score function of $\mathcal{O}(N^2)$ cost, with $N\in\mathbb{N}$ the number of particles. The first approach employs a simple Euler discretization and standard particle smoothers and is of cost $\mathcal{O}(N^2 + NΔ_l^{-1})$ per unit time, where $Δ_l=2^{-l}$, $l\in\mathbb{N}_0$, is the time-discretization step. The second approach is new and based upon a novel diffusion bridge construction. It yields a new backward type Feynman-Kac formula in continuous-time for the score function and is presented along with a particle method for its approximation. Considering a time-discretization, the cost is $\mathcal{O}(N^2Δ_l^{-1})$ per unit time. To improve computational costs, we then consider multilevel methodologies for the score function. We illustrate our parameter estimation method via stochastic gradient approaches in several numerical examples.

stat.CO↗

Log-Normalization Constant Estimation using the Ensemble Kalman-Bucy Filter with Application to High-Dimensional Models

In this article we consider the estimation of the log-normalization constant associated to a class of continuous-time filtering models. In particular, we consider ensemble Kalman-Bucy filter based estimates based upon several nonlinear Kalman-Bucy diffusions. Based upon new conditional bias results for the mean of the afore-mentioned methods, we analyze the empirical log-scale normalization constants in terms of their $\mathbb{L}_n-$errors and conditional bias. Depending on the type of nonlinear Kalman-Bucy diffusion, we show that these are of order $(\sqrt{t/N}) + t/N$ or $1/\sqrt{N}$ ($\mathbb{L}_n-$errors) and of order $[t+\sqrt{t}]/N$ or $1/N$ (conditional bias), where $t$ is the time horizon and $N$ is the ensemble size. Finally, we use these results for online static parameter estimation for above filtering models and implement the methodology for both linear and nonlinear models.

stat.CO↗

A 4D-Var Method with Flow-Dependent Background Covariances for the Shallow-Water Equations

The 4D-Var method for filtering partially observed nonlinear chaotic dynamical systems consists of finding the maximum a-posteriori (MAP) estimator of the initial condition of the system given observations over a time window, and propagating it forward to the current time via the model dynamics. This method forms the basis of most currently operational weather forecasting systems. In practice the optimization becomes infeasible if the time window is too long due to the non-convexity of the cost function, the effect of model errors, and the limited precision of the ODE solvers. Hence the window has to be kept sufficiently short, and the observations in the previous windows can be taken into account via a Gaussian background (prior) distribution. The choice of the background covariance matrix is an important question that has received much attention in the literature. In this paper, we define the background covariances in a principled manner, based on observations in the previous $b$ assimilation windows, for a parameter $b\ge 1$. The method is at most $b$ times more computationally expensive than using fixed background covariances, requires little tuning, and greatly improves the accuracy of 4D-Var. As a concrete example, we focus on the shallow-water equations. The proposed method is compared against state-of-the-art approaches in data assimilation and is shown to perform favourably on simulated data. We also illustrate our approach on data from the recent tsunami of 2011 in Fukushima, Japan.

stat.ME↗