-
Existence and higher regularity of statistically steady states for the stochastic Coleman-Gurtin equation
Authors:
Nathan E. Glatt-Holtz,
Vincent R. Martinez,
Hung D. Nguyen
Abstract:
We study a class of semi-linear differential Volterra equations with polynomial-type potentials that incorporates the effects of memory while being subjected to random perturbations via an additive Gaussian noise. We show that for a broad class of non-linear potentials, the system always admits invariant probability measures. However, the presence of memory effects precludes access to compactness…
▽ More
We study a class of semi-linear differential Volterra equations with polynomial-type potentials that incorporates the effects of memory while being subjected to random perturbations via an additive Gaussian noise. We show that for a broad class of non-linear potentials, the system always admits invariant probability measures. However, the presence of memory effects precludes access to compactness in a typical fashion. In this paper, this obstacle is overcome by introducing functional spaces adapted to the memory kernels, thereby allowing one to recover compactness. Under the assumption of sufficiently smooth noise, it is then shown that the statistically stationary states possess higher-order regularity properties dictated by the structure of the nonlinearity. This is established through a control argument that asymptotically transfers regularity onto the solution by exploiting the underlying Lyapunov structure of the system in a novel way.
△ Less
Submitted 23 May, 2025; v1 submitted 3 November, 2024;
originally announced November 2024.
-
Sacred and Profane: from the Involutive Theory of MCMC to Helpful Hamiltonian Hacks
Authors:
Nathan E. Glatt-Holtz,
Andrew J. Holbrook,
Justin A. Krometis,
Cecilia F. Mondaini,
Ami Sheth
Abstract:
In the first edition of this Handbook, two remarkable chapters consider seemingly distinct yet deeply connected subjects ...
In the first edition of this Handbook, two remarkable chapters consider seemingly distinct yet deeply connected subjects ...
△ Less
Submitted 29 October, 2024; v1 submitted 22 October, 2024;
originally announced October 2024.
-
On the surprising effectiveness of a simple matrix exponential derivative approximation, with application to global SARS-CoV-2
Authors:
Gustavo Didier,
Nathan E. Glatt-Holtz,
Andrew J. Holbrook,
Andrew F. Magee,
Marc A. Suchard
Abstract:
The continuous-time Markov chain (CTMC) is the mathematical workhorse of evolutionary biology. Learning CTMC model parameters using modern, gradient-based methods requires the derivative of the matrix exponential evaluated at the CTMC's infinitesimal generator (rate) matrix. Motivated by the derivative's extreme computational complexity as a function of state space cardinality, recent work demonst…
▽ More
The continuous-time Markov chain (CTMC) is the mathematical workhorse of evolutionary biology. Learning CTMC model parameters using modern, gradient-based methods requires the derivative of the matrix exponential evaluated at the CTMC's infinitesimal generator (rate) matrix. Motivated by the derivative's extreme computational complexity as a function of state space cardinality, recent work demonstrates the surprising effectiveness of a naive, first-order approximation for a host of problems in computational biology. In response to this empirical success, we obtain rigorous deterministic and probabilistic bounds for the error accrued by the naive approximation and establish a "blessing of dimensionality" result that is universal for a large class of rate matrices with random entries. Finally, we apply the first-order approximation within surrogate-trajectory Hamiltonian Monte Carlo for the analysis of the early spread of SARS-CoV-2 across 44 geographic regions that comprise a state space of unprecedented dimensionality for unstructured (flexible) CTMC models within evolutionary biology.
△ Less
Submitted 6 December, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Long-term accuracy of numerical approximations of SPDEs with the stochastic Navier-Stokes equations as a paradigm
Authors:
Nathan E. Glatt-Holtz,
Cecilia F. Mondaini
Abstract:
This work introduces a general framework for establishing the long time accuracy for approximations of Markovian dynamical systems on separable Banach spaces. Our results illuminate the role that a certain uniformity in Wasserstein contraction rates for the approximating dynamics bears on long time accuracy estimates. In particular, our approach yields weak consistency bounds on $\mathbb{R}^+$ whi…
▽ More
This work introduces a general framework for establishing the long time accuracy for approximations of Markovian dynamical systems on separable Banach spaces. Our results illuminate the role that a certain uniformity in Wasserstein contraction rates for the approximating dynamics bears on long time accuracy estimates. In particular, our approach yields weak consistency bounds on $\mathbb{R}^+$ while providing a means to sidestepping a commonly occurring situation where certain higher order moment bounds are unavailable for the approximating dynamics. Additionally, to facilitate the analytical core of our approach, we develop a refinement of certain `weak Harris theorems'. This extension expands the scope of applicability of such Wasserstein contraction estimates to a variety of interesting SPDE examples involving weaker dissipation or stronger nonlinearity than would be covered by the existing literature.
As a guiding and paradigmatic example, we apply our formalism to the stochastic 2D Navier-Stokes equations and to a semi-implicit in time and spectral Galerkin in space numerical approximation of this system. In the case of a numerical approximation, we establish quantitative estimates on the approximation of invariant measures as well as prove weak consistency on $\mathbb{R}^+$. To develop these numerical analysis results, we provide a refinement of $L^2_x$ accuracy bounds in comparison to the existing literature which are results of independent interest.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
The short memory limit for long time statistics in a stochastic Coleman-Gurtin model of heat conduction
Authors:
Nathan E. Glatt-Holtz,
Vincent R. Martinez,
Hung D. Nguyen
Abstract:
We consider a class of semi-linear differential Volterra equations with polynomial-type potentials that incorporates the effects of memory while being subjected to random perturbations via an additive Gaussian noise. Our main study is the long time statistics of the system in the singular regime as the memory kernel collapses to a Dirac function. Specifically, we show that provided that sufficient…
▽ More
We consider a class of semi-linear differential Volterra equations with polynomial-type potentials that incorporates the effects of memory while being subjected to random perturbations via an additive Gaussian noise. Our main study is the long time statistics of the system in the singular regime as the memory kernel collapses to a Dirac function. Specifically, we show that provided that sufficiently many directions in the phase space are stochastically forced, there is a unique invariant probability measure to which the system converges, with respect to a suitable Wasserstein-type topology, and at an exponential rate which is independent of the decay rate of the memory kernel. We then prove the convergence of this unique statistically steady state to the unique invariant probability measure of the classical stochastic reaction-diffusion equation in the zero-memory limit. Consequently, we establish the global-in-time validity of the short memory approximation.
△ Less
Submitted 3 November, 2024; v1 submitted 11 December, 2022;
originally announced December 2022.
-
A Statistical Framework for Domain Shape Estimation in Stokes Flows
Authors:
Jeff Borggaard,
Nathan E. Glatt-Holtz,
Justin A. Krometis
Abstract:
We develop and implement a Bayesian approach for the estimation of the shape of a two dimensional annular domain enclosing a Stokes flow from sparse and noisy observations of the enclosed fluid. Our setup includes the case of direct observations of the flow field as well as the measurement of concentrations of a solute passively advected by and diffusing within the flow. Adopting a statistical app…
▽ More
We develop and implement a Bayesian approach for the estimation of the shape of a two dimensional annular domain enclosing a Stokes flow from sparse and noisy observations of the enclosed fluid. Our setup includes the case of direct observations of the flow field as well as the measurement of concentrations of a solute passively advected by and diffusing within the flow. Adopting a statistical approach provides estimates of uncertainty in the shape due both to the non-invertibility of the forward map and to error in the measurements. When the shape represents a design problem of attempting to match desired target outcomes, this "uncertainty" can be interpreted as identifying remaining degrees of freedom available to the designer. We demonstrate the viability of our framework on three concrete test problems. These problems illustrate the promise of our framework for applications while providing a collection of test cases for recently developed Markov Chain Monte Carlo (MCMC) algorithms designed to resolve infinite dimensional statistical quantities.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
Unique Ergodicity in Stochastic Electroconvection
Authors:
Elie Abdo,
Nathan Glatt-Holtz,
Mihaela Ignatova
Abstract:
We consider a stochastic electroconvection model describing the nonlinear evolution of a surface charge density in a two-dimensional fluid with additive stochastic forcing. We prove the existence and uniqueness of solutions, we define the corresponding Markov semigroup, and we study its Feller properties. When the noise forces enough modes in phase space, we obtain the uniqueness of the smooth inv…
▽ More
We consider a stochastic electroconvection model describing the nonlinear evolution of a surface charge density in a two-dimensional fluid with additive stochastic forcing. We prove the existence and uniqueness of solutions, we define the corresponding Markov semigroup, and we study its Feller properties. When the noise forces enough modes in phase space, we obtain the uniqueness of the smooth invariant measure for the Markov transition kernels associated with the model.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Parallel MCMC Algorithms: Theoretical Foundations, Algorithm Design, Case Studies
Authors:
Nathan E. Glatt-Holtz,
Andrew J. Holbrook,
Justin A. Krometis,
Cecilia F. Mondaini
Abstract:
Parallel Markov Chain Monte Carlo (pMCMC) algorithms generate clouds of proposals at each step to efficiently resolve a target probability distribution. We build a rigorous foundational framework for pMCMC algorithms that situates these methods within a unified 'extended phase space' measure-theoretic formalism. Drawing on our recent work that provides a comprehensive theory for reversible single…
▽ More
Parallel Markov Chain Monte Carlo (pMCMC) algorithms generate clouds of proposals at each step to efficiently resolve a target probability distribution. We build a rigorous foundational framework for pMCMC algorithms that situates these methods within a unified 'extended phase space' measure-theoretic formalism. Drawing on our recent work that provides a comprehensive theory for reversible single proposal methods, we herein derive general criteria for multiproposal acceptance mechanisms which yield ergodic chains on general state spaces. Our formulation encompasses a variety of methodologies, including proposal cloud resampling and Hamiltonian methods, while providing a basis for the derivation of novel algorithms. In particular, we obtain a top-down picture for a class of methods arising from 'conditionally independent' proposal structures. As an immediate application, we identify several new algorithms including a multiproposal version of the popular preconditioned Crank-Nicolson (pCN) sampler suitable for high- and infinite-dimensional target measures which are absolutely continuous with respect to a Gaussian base measure. To supplement our theoretical results, we carry out a selection of numerical case studies that evaluate the efficacy of these novel algorithms. First, noting that the true potential of pMCMC algorithms arises from their natural parallelizability, we provide a limited parallelization study using TensorFlow and a graphics processing unit to scale pMCMC algorithms that leverage as many as 100k proposals at each step. Second, we use our multiproposal pCN algorithm (mpCN) to resolve a selection of problems in Bayesian statistical inversion for partial differential equations motivated by fluid measurement. These examples provide preliminary evidence of the efficacy of mpCN for high-dimensional target distributions featuring complex geometries and multimodal structures.
△ Less
Submitted 17 July, 2024; v1 submitted 10 September, 2022;
originally announced September 2022.
-
Embracing Uncertainty in "Small Data" Problems: Estimating Earthquakes from Historical Anecdotes
Authors:
Nathan E. Glatt-Holtz,
Ronald A. Harris,
Andrew J. Holbrook,
Justin A. Krometis,
Yonatan Kurniawan,
Hayden Ringer,
Jared P. Whitehead
Abstract:
Seismic risk estimates will be vastly improved with an increased understanding of historical (and pre-historical) seismic events. However the only existing data for these events is anecdotal and sparse. To address this we developed a framework based on Bayesian inference to estimate the location and magnitude of pre-instrumental earthquakes. We present a careful analysis of results obtained from t…
▽ More
Seismic risk estimates will be vastly improved with an increased understanding of historical (and pre-historical) seismic events. However the only existing data for these events is anecdotal and sparse. To address this we developed a framework based on Bayesian inference to estimate the location and magnitude of pre-instrumental earthquakes. We present a careful analysis of results obtained from this procedure which justifies the sampling algorithm, its convergence to the resultant posterior distribution, and yields estimates on uncertainties in the relevant quantities. Using a priori estimates on the posterior and numerical approximations of the Hessian, we demonstrate that the 1852 Banda Sea earthquake and tsunami is indeed well-understood given certain explicit hypotheses. Using the same techniques we also find that the 1820 south Sulawesi event may best be explained by a dual fault rupture, best attributed to the Kalatoa fault potentially conjoining the Flores thrust and Walanae/Selayar fault.
△ Less
Submitted 20 January, 2025; v1 submitted 14 June, 2021;
originally announced June 2021.
-
On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation
Authors:
Nathan Glatt-Holtz,
Vincent R. Martinez,
Geordie H. Richards
Abstract:
This paper considers the damped periodic Korteweg-de Vries (KdV) equation in the presence of a white-in-time and spatially smooth stochastic source term and studies the long-time behavior of solutions. We show that the integrals of motion for KdV can be exploited to prove regularity and ergodic properties of invariant measures for damped stochastic KdV. First, by considering non-trivial modificati…
▽ More
This paper considers the damped periodic Korteweg-de Vries (KdV) equation in the presence of a white-in-time and spatially smooth stochastic source term and studies the long-time behavior of solutions. We show that the integrals of motion for KdV can be exploited to prove regularity and ergodic properties of invariant measures for damped stochastic KdV. First, by considering non-trivial modifications of the integrals of motion, we establish Lyapunov structure by proving that moments of Sobolev norms of solutions at all orders of regularity are bounded globally-in-time; existence of invariant measures follows as an immediate consequence. Next, we prove a weak Foias-Prodi type estimate for damped stochastic KdV, for which the synchronization occurs in expected value. This estimate plays a crucial role throughout our subsequent analysis. As a first novel application, we combine the Foias-Prodi estimate with the Lyapunov structure to establish that invariant measures are supported on smooth functions provided that the external driving forces are smooth. We then establish ergodic properties of invariant measures, treating the regimes of arbitrary damping and large damping separately. For arbitrary damping, we demonstrate that the framework of `asymptotic coupling' can be implemented for a compact proof of uniqueness of the invariant measure provided that sufficiently many directions in phase space are stochastically forced. Our proof is paradigmatic for SPDEs for which a weak Foias-Prodi type property holds. Lastly, for large damping, we establish the existence of a spectral gap with respect to a Wasserstein-like distance, and exponential mixing and uniqueness of the invariant measure follows.
△ Less
Submitted 9 October, 2024; v1 submitted 23 March, 2021;
originally announced March 2021.
-
On the accept-reject mechanism for Metropolis-Hastings algorithms
Authors:
Nathan E. Glatt-Holtz,
Justin A. Krometis,
Cecilia F. Mondaini
Abstract:
This work develops a powerful and versatile framework for determining acceptance ratios in Metropolis-Hastings type Markov kernels widely used in statistical sampling problems. Our approach allows us to derive new classes of kernels which unify random walk or diffusion-type sampling methods with more complicated "extended phase space" algorithms based around ideas from Hamiltonian dynamics. Our st…
▽ More
This work develops a powerful and versatile framework for determining acceptance ratios in Metropolis-Hastings type Markov kernels widely used in statistical sampling problems. Our approach allows us to derive new classes of kernels which unify random walk or diffusion-type sampling methods with more complicated "extended phase space" algorithms based around ideas from Hamiltonian dynamics. Our starting point is an abstract result developed in the generality of measurable state spaces that addresses proposal kernels that possess a certain involution structure. Note that, while this underlying proposal structure suggests a scope which includes Hamiltonian-type kernels, we demonstrate that our abstract result is, in an appropriate sense, equivalent to an earlier general state space setting developed in [Tierney, Annals of Applied Probability, 1998] where the connection to Hamiltonian methods was more obscure. Altogether, the theoretical unity and reach of our main result provides a basis for deriving novel sampling algorithms while laying bare important relationships between existing methods.
△ Less
Submitted 19 July, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Methodological reconstruction of historical seismic events from anecdotal accounts of destructive tsunamis: a case study for the great 1852 Banda arc mega-thrust earthquake and tsunami
Authors:
Hayden Ringer,
Jared P. Whitehead,
Justin Krometis,
Ronald A. Harris,
Nathan Glatt-Holtz,
Spencer Giddens,
Claire Ashcraft,
Garret Carver,
Adam Robertson,
McKay Harward,
Joshua Fullwood,
Kameron Lightheart,
Ryan Hilton,
Ashley Avery,
Cody Kesler,
Martha Morrise,
Michael Hunter Klein
Abstract:
We demonstrate the efficacy of a Bayesian statistical inversion framework for reconstructing the likely characteristics of large pre-instrumentation earthquakes from historical records of tsunami observations. Our framework is designed and implemented for the estimation of the location and magnitude of seismic events from anecdotal accounts of tsunamis including shoreline wave arrival times, heigh…
▽ More
We demonstrate the efficacy of a Bayesian statistical inversion framework for reconstructing the likely characteristics of large pre-instrumentation earthquakes from historical records of tsunami observations. Our framework is designed and implemented for the estimation of the location and magnitude of seismic events from anecdotal accounts of tsunamis including shoreline wave arrival times, heights, and inundation lengths over a variety of spatially separated observation locations. As an initial test case we use our framework to reconstruct the great 1852 earthquake and tsunami of eastern Indonesia. Relying on the assumption that these observations were produced by a subducting thrust event, the posterior distribution indicates that the observables were the result of a massive mega-thrust event with magnitude near 8.8 Mw and a likely rupture zone in the north-eastern Banda arc. The distribution of predicted epicentral locations overlaps with the largest major seismic gap in the region as indicated by instrumentally recorded seismic events. These results provide a geologic and seismic context for hazard risk assessment in coastal communities experiencing growing population and urbanization in Indonesia. In addition, the methodology demonstrated here highlights the potential for applying a Bayesian approach to enhance understanding of the seismic history of other subduction zones around the world.
△ Less
Submitted 14 February, 2021; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Sensitivity of steady states in a degenerately-damped stochastic Lorenz system
Authors:
Juraj Foldes,
Nathan E. Glatt-Holtz,
David P. Herzog
Abstract:
We study stability of solutions for a randomly driven and degenerately damped version of the Lorenz '63 model. Specifically, we prove that when damping is absent in one of the temperature components, the system possesses a unique invariant probability measure if and only if noise acts on the convection variable. On the other hand, if there is a positive growth term on the vertical temperature prof…
▽ More
We study stability of solutions for a randomly driven and degenerately damped version of the Lorenz '63 model. Specifically, we prove that when damping is absent in one of the temperature components, the system possesses a unique invariant probability measure if and only if noise acts on the convection variable. On the other hand, if there is a positive growth term on the vertical temperature profile, we prove that there is no normalizable invariant state. Our approach relies on the derivation and analysis of non-trivial Lyapunov functions which ensure positive recurrence or null-recurrence/transience of the dynamics.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Mixing Rates for Hamiltonian Monte Carlo Algorithms in Finite and Infinite Dimensions
Authors:
Nathan E. Glatt-Holtz,
Cecilia F. Mondaini
Abstract:
We establish the geometric ergodicity of the preconditioned Hamiltonian Monte Carlo (HMC) algorithm defined on an infinite-dimensional Hilbert space, as developed in [Beskos et al., Stochastic Process. Appl., 2011]. This algorithm can be used as a basis to sample from certain classes of target measures which are absolutely continuous with respect to a Gaussian measure. Our work addresses an open q…
▽ More
We establish the geometric ergodicity of the preconditioned Hamiltonian Monte Carlo (HMC) algorithm defined on an infinite-dimensional Hilbert space, as developed in [Beskos et al., Stochastic Process. Appl., 2011]. This algorithm can be used as a basis to sample from certain classes of target measures which are absolutely continuous with respect to a Gaussian measure. Our work addresses an open question posed in [Beskos et al., Stochastic Process. Appl., 2011], and provides an alternative to a recent proof based on exact coupling techniques given in arXiv:1909.07962. The approach here establishes convergence in a suitable Wasserstein distance by using the weak Harris theorem together with a generalized coupling argument. We also show that a law of large numbers and central limit theorem can be derived as a consequence of our main convergence result. Moreover, our approach yields a novel proof of mixing rates for the classical finite-dimensional HMC algorithm. As such, the methodology we develop provides a flexible framework to tackle the rigorous convergence of other Markov Chain Monte Carlo algorithms. Additionally, we show that the scope of our result includes certain measures that arise in the Bayesian approach to inverse PDE problems, cf. [Stuart, Acta Numer., 2010]. Particularly, we verify all of the required assumptions for a certain class of inverse problems involving the recovery of a divergence free vector field from a passive scalar, arXiv:1808.01084v3.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
Data Assimilation in Large-Prandtl Rayleigh-Bénard Convection from Thermal Measurements
Authors:
A. Farhat,
N. E. Glatt-Holtz,
V. R. Martinez,
S. A. McQuarrie,
J. P. Whitehead
Abstract:
This work applies a continuous data assimilation scheme---a particular framework for reconciling sparse and potentially noisy observations to a mathematical model---to Rayleigh-Bénard convection at infinite or large Prandtl numbers using only the temperature field as observables. These Prandtl numbers are applicable to the earth's mantle and to gases under high pressure. We rigorously identify con…
▽ More
This work applies a continuous data assimilation scheme---a particular framework for reconciling sparse and potentially noisy observations to a mathematical model---to Rayleigh-Bénard convection at infinite or large Prandtl numbers using only the temperature field as observables. These Prandtl numbers are applicable to the earth's mantle and to gases under high pressure. We rigorously identify conditions that guarantee synchronization between the observed system and the model, then confirm the applicability of these results via numerical simulations. Our numerical experiments show that the analytically derived conditions for synchronization are far from sharp; that is, synchronization often occurs even when the conditions of our theorems are not met. We also develop estimates on the convergence of an infinite Prandtl model to a large (but finite) Prandtl number generated set of observations. Numerical simulations in this hybrid setting indicate that the mathematically rigorous results are accurate, but of practical interest only for extremely large Prandtl numbers.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
On Bayesian Consistency for Flows Observed Through a Passive Scalar
Authors:
Jeff Borggaard,
Nathan E. Glatt-Holtz,
Justin A. Krometis
Abstract:
We consider the statistical inverse problem of estimating a background fluid flow field $\mathbf{v}$ from the partial, noisy observations of the concentration $θ$ of a substance passively advected by the fluid, so that $θ$ is governed by the partial differential equation \[ \frac{\partial}{\partial t}θ(t,\mathbf{x}) = -\mathbf{v}(\mathbf{x}) \cdot \nabla θ(t,\mathbf{x}) + κΔθ(t,\mathbf{x}) \quad \…
▽ More
We consider the statistical inverse problem of estimating a background fluid flow field $\mathbf{v}$ from the partial, noisy observations of the concentration $θ$ of a substance passively advected by the fluid, so that $θ$ is governed by the partial differential equation \[ \frac{\partial}{\partial t}θ(t,\mathbf{x}) = -\mathbf{v}(\mathbf{x}) \cdot \nabla θ(t,\mathbf{x}) + κΔθ(t,\mathbf{x}) \quad \text{ , } \quad θ(0,\mathbf{x}) = θ_0(\mathbf{x}) \] for $t \in [0,T], T>0$ and $\mathbf{x} \in \mathbb{T}=[0,1]^2$. The initial condition $θ_0$ and diffusion coefficient $κ$ are assumed to be known and the data consist of point observations of the scalar field $θ$ corrupted by additive, i.i.d. Gaussian noise. We adopt a Bayesian approach to this estimation problem and establish that the inference is consistent, i.e., that the posterior measure identifies the true background flow as the number of scalar observations grows large. Since the inverse map is ill-defined for some classes of problems even for perfect, infinite measurements of $θ$, multiple experiments (initial conditions) are required to resolve the true fluid flow. Under this assumption, suitable conditions on the observation points, and given support and tail conditions on the prior measure, we show that the posterior measure converges to a Dirac measure centered on the true flow as the number of observations goes to infinity.
△ Less
Submitted 12 September, 2019; v1 submitted 13 September, 2018;
originally announced September 2018.
-
GPU-Accelerated Particle Methods for Evaluation of Sparse Observations for PDE-Constrained Inverse Problems
Authors:
Jeff Borggaard,
Nathan E. Glatt-Holtz,
Justin A. Krometis
Abstract:
We consider the inverse problem of estimating parameters of a driven diffusion (e.g., the underlying fluid flow, diffusion coefficient, or source terms) from point measurements of a passive scalar (e.g., the concentration of a pollutant). We present two particle methods that leverage the structure of the inverse problem to enable efficient computation of the forward map, one for time evolution pro…
▽ More
We consider the inverse problem of estimating parameters of a driven diffusion (e.g., the underlying fluid flow, diffusion coefficient, or source terms) from point measurements of a passive scalar (e.g., the concentration of a pollutant). We present two particle methods that leverage the structure of the inverse problem to enable efficient computation of the forward map, one for time evolution problems and one for a Dirichlet boundary-value problem. The methods scale in a natural fashion to modern computational architectures, enabling substantial speedup for applications involving sparse observations and high-dimensional unknowns. Numerical examples of applications to Bayesian inference and numerical optimization are provided.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
A Bayesian Approach to Estimating Background Flows from a Passive Scalar
Authors:
Jeff Borggaard,
Nathan E. Glatt-Holtz,
Justin A. Krometis
Abstract:
We consider the statistical inverse problem of estimating a background flow field (e.g., of air or water) from the partial and noisy observation of a passive scalar (e.g., the concentration of a solute), a common experimental approach to visualizing complex fluid flows. Here the unknown is a vector field that is specified by a large or infinite number of degrees of freedom. Since the inverse probl…
▽ More
We consider the statistical inverse problem of estimating a background flow field (e.g., of air or water) from the partial and noisy observation of a passive scalar (e.g., the concentration of a solute), a common experimental approach to visualizing complex fluid flows. Here the unknown is a vector field that is specified by a large or infinite number of degrees of freedom. Since the inverse problem is ill-posed, i.e., there may be many or no background flows that match a given set of observations, we adopt a Bayesian approach to regularize it. In doing so, we leverage frameworks developed in recent years for infinite-dimensional Bayesian inference. The contributions in this work are threefold. First, we lay out a functional analytic and Bayesian framework for approaching this problem. Second, we define an adjoint method for efficient computation of the gradient of the log likelihood, a key ingredient in many numerical methods. Finally, we identify interesting example problems that exhibit posterior measures with simple and complex structure. We use these examples to conduct a large-scale benchmark of Markov Chain Monte Carlo methods developed in recent years for infinite-dimensional settings. Our results indicate that these methods are capable of resolving complex multimodal posteriors in high dimensions.
△ Less
Submitted 10 June, 2019; v1 submitted 3 August, 2018;
originally announced August 2018.
-
On the convergence of stationary solutions in the Smoluchowski-Kramers approximation of infinite dimensional systems
Authors:
Sandra Cerrai,
Nathan Glatt-Holtz
Abstract:
We prove the convergence, in the small mass limit, of statistically invariant states for a class of semi-linear damped wave equations, perturbed by an additive Gaussian noise, both with Lipschitz-continuous and with polynomial non-linearities. In particular, we prove that the first marginals of any sequence of invariant measures for the stochastic wave equation converge in a suitable Wasserstein m…
▽ More
We prove the convergence, in the small mass limit, of statistically invariant states for a class of semi-linear damped wave equations, perturbed by an additive Gaussian noise, both with Lipschitz-continuous and with polynomial non-linearities. In particular, we prove that the first marginals of any sequence of invariant measures for the stochastic wave equation converge in a suitable Wasserstein metric to the unique invariant measure of the limiting stochastic semi-linear parabolic equation obtained in the Smoluchowski-Kramers approximation. The Wasserstein metric is associated to a suitable distance on the space of square integrable functions, that is chosen in such a way that the dynamics of the limiting stochastic parabolic equation is contractive with respect to such a Wasserstein metric. This implies that the limiting result is a consequence of the validity of a generalized Smoluchowski-Kramers limit at fixed times. The proof of such a generalized limit requires new delicate bounds for the solutions of the stochastic wave equation, that must be uniform with respect to the size of the mass.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
The Generalized Langevin Equation with a power-law memory in a nonlinear potential well
Authors:
Nathan Glatt-Holtz,
David Herzog,
Scott McKinley,
Hung Nguyen
Abstract:
The generalized Langevin equation (GLE) is a stochastic integro-differential equation that has been used to describe the velocity of microparticles in viscoelastic fluids. In this work, we consider the large-time asymptotic properties of a Markovian approximation to the GLE in the presence of a wide class of external potential wells. The qualitative behavior of the GLE is largely determined by its…
▽ More
The generalized Langevin equation (GLE) is a stochastic integro-differential equation that has been used to describe the velocity of microparticles in viscoelastic fluids. In this work, we consider the large-time asymptotic properties of a Markovian approximation to the GLE in the presence of a wide class of external potential wells. The qualitative behavior of the GLE is largely determined by its memory kernel $K$, which summarizes the delayed response of the fluid medium on the particles past movement. When $K$ can be expressed as a finite sum of exponentials, it has been shown that long-term time-averaged properties of the position and velocity do not depend on $K$ at all. In certain applications, however, it is important to consider the GLE with a power law memory kernel. Using the fact that infinite sums of exponentials can have power law tails, we study the infinite-dimensional version of the Markovian GLE in a potential well. In the case where the memory kernel $K$ is integrable (i.e. in the asymptotically diffusive regime), we are able to extend previous results and show that there is a unique stationary distribution for the GLE system and that the long-term statistics of the position and velocity do not depend on $K$. However, when $K$ is not integrable (i.e. in the asymptotically subdiffusive regime), we are able to show the existence of an invariant probability measure but uniqueness remains an open question. In particular, the method of asymptotic coupling used in the integrable case to show uniqueness does not apply when $K$ fails to be integrable.
△ Less
Submitted 28 January, 2020; v1 submitted 31 March, 2018;
originally announced April 2018.
-
Invariant measures for the stochastic one-dimensional compressible Navier-Stokes equations
Authors:
Michele Coti Zelati,
Nathan Glatt-Holtz,
Konstantina Trivisa
Abstract:
We investigate the long-time behavior of solutions to a stochastically forced one-dimensional Navier-Stokes system, describing the motion of a compressible viscous fluid, in the case of linear pressure law. We prove existence of an invariant measure for the Markov process generated by strong solutions. We overcome the difficulties of working with non-Feller Markov semigroups on non-complete metric…
▽ More
We investigate the long-time behavior of solutions to a stochastically forced one-dimensional Navier-Stokes system, describing the motion of a compressible viscous fluid, in the case of linear pressure law. We prove existence of an invariant measure for the Markov process generated by strong solutions. We overcome the difficulties of working with non-Feller Markov semigroups on non-complete metric spaces by generalizing the classical Krylov-Bogoliubov method, and by providing suitable polynomial and exponential moment bounds on the solution, together with pathwise estimates.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Scaling and Saturation in Infinite-Dimensional Control Problems with Applications to Stochastic Partial Differential Equations
Authors:
Nathan E. Glatt-Holtz,
David P. Herzog,
Jonathan C. Mattingly
Abstract:
We establish the dual notions of scaling and saturation from geometric control theory in an infinite-dimensional setting. This generalization is applied to the low-mode control problem in a number of concrete nonlinear partial differential equations. We also develop applications concerning associated classes of stochastic partial differential equations (SPDEs). In particular, we study the support…
▽ More
We establish the dual notions of scaling and saturation from geometric control theory in an infinite-dimensional setting. This generalization is applied to the low-mode control problem in a number of concrete nonlinear partial differential equations. We also develop applications concerning associated classes of stochastic partial differential equations (SPDEs). In particular, we study the support properties of probability laws corresponding to these SPDEs as well as provide applications concerning the ergodic and mixing properties of invariant measures for these stochastic systems.
△ Less
Submitted 20 September, 2018; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Hydrodynamic stability in the presence of a stochastic forcing:a case study in convection
Authors:
Juraj Földes,
Nathan Glatt-Holtz,
Geordie Richards,
Jared Whitehead
Abstract:
We investigate the stability of statistically stationary conductive states for Rayleigh-Bénard convection that arise due to a bulk stochastic internal heating. Our results indicate that stochastic forcing at small magnitude has little to no effect, while strong stochastic forcing has a destabilizing effect. The methodology put forth in this article, which combines rigorous analysis with careful co…
▽ More
We investigate the stability of statistically stationary conductive states for Rayleigh-Bénard convection that arise due to a bulk stochastic internal heating. Our results indicate that stochastic forcing at small magnitude has little to no effect, while strong stochastic forcing has a destabilizing effect. The methodology put forth in this article, which combines rigorous analysis with careful computation, provides an approach to hydrodynamic stability which is applicable to a variety of systems subject to a large scale stochastic forcing.
△ Less
Submitted 26 December, 2023; v1 submitted 12 April, 2017;
originally announced April 2017.
-
Asymptotic Analysis for Randomly Forced MHD
Authors:
Juraj Földes,
Susan Friedlander,
Nathan Glatt-Holtz,
Geordie Richards
Abstract:
We consider the three-dimensional magnetohydrodynamics (MHD) equations in the presence of a spatially degenerate stochastic forcing as a model for magnetostrophic turbulence in the Earth's fluid core. We examine the multi-parameter singular limit of vanishing Rossby number $ε$ and magnetic Reynold's number $δ$, and establish that: (i) the limiting stochastically driven active scalar equation (with…
▽ More
We consider the three-dimensional magnetohydrodynamics (MHD) equations in the presence of a spatially degenerate stochastic forcing as a model for magnetostrophic turbulence in the Earth's fluid core. We examine the multi-parameter singular limit of vanishing Rossby number $ε$ and magnetic Reynold's number $δ$, and establish that: (i) the limiting stochastically driven active scalar equation (with $ε=δ=0$) possesses a unique ergodic invariant measure, and (ii) any suitable sequence of statistically invariant states of the full MHD system converge weakly, as $ε,δ\rightarrow 0$, to the unique invariant measure of the limit equation. This latter convergence result does not require any conditions on the relative rates at which $\varepsilon, δ$ decay.
Our analysis of the limit equation relies on a recently developed theory of hypo-ellipticity for infinite-dimensional stochastic dynamical systems. We carry out a detailed study of the interactions between the nonlinear and stochastic terms to demonstrate that a Hörmander bracket condition is satisfied, which yields a contraction property for the limit equation in a suitable Wasserstein metric. This contraction property reduces the convergence of invariant states in the multi-parameter limit to the convergence of solutions at finite times. However, in view of the phase space mismatch between the small parameter system and the limit equation, and due to the multi-parameter nature of the problem, further analysis is required to establish the singular limit. In particular, we develop methods to lift the contraction for the limit equation to the extended phase space, including the velocity and magnetic fields. Moreover, for the convergence of solutions at finite times we make use of a probabilistic modification of the Grönwall inequality, relying on a delicate stopping time argument.
△ Less
Submitted 21 April, 2016;
originally announced April 2016.
-
On Unique Ergodicity in Nonlinear Stochastic Partial Differential Equations
Authors:
Nathan E. Glatt-Holtz,
Jonathan C. Mattingly,
Geordie Richards
Abstract:
We illustrate how the notion of asymptotic coupling provides a flexible and intuitive framework for proving the uniqueness of invariant measures for a variety of stochastic partial differential equations whose deterministic counterpart possesses a finite number of determining modes. Examples exhibiting parabolic and hyperbolic structure are studied in detail. In the later situation we also present…
▽ More
We illustrate how the notion of asymptotic coupling provides a flexible and intuitive framework for proving the uniqueness of invariant measures for a variety of stochastic partial differential equations whose deterministic counterpart possesses a finite number of determining modes. Examples exhibiting parabolic and hyperbolic structure are studied in detail. In the later situation we also present a simple framework for establishing the existence of invariant measures when the usual approach relying on the Krylov-Bogolyubov procedure and compactness fails.
△ Less
Submitted 13 December, 2015;
originally announced December 2015.
-
Ergodicity in Randomly Forced Rayleigh-Bénard Convection
Authors:
J. Földes,
N. Glatt-Holtz,
G. Richards,
J. P. Whitehead
Abstract:
We consider the Boussinesq approximation for Rayleigh-Bénard convection perturbed by an additive noise and with boundary conditions corresponding to heating from below. In two space dimensions, with sufficient stochastic forcing in the temperature component and large Prandtl number, we establish the existence of a unique ergodic invariant measure. In three space dimensions, we prove the existence…
▽ More
We consider the Boussinesq approximation for Rayleigh-Bénard convection perturbed by an additive noise and with boundary conditions corresponding to heating from below. In two space dimensions, with sufficient stochastic forcing in the temperature component and large Prandtl number, we establish the existence of a unique ergodic invariant measure. In three space dimensions, we prove the existence of a statistically invariant state, and establish unique ergodicity for the infinite Prandtl Boussinesq system. Throughout this work we provide streamlined proofs of unique ergodicity which invoke an asymptotic coupling argument, a delicate usage of the maximum principle, and exponential martingale inequalities. Lastly, we show that the background method of Constantin-Doering [CD96] can be applied in our stochastic setting, and prove bounds on the Nusselt number relative to the unique invariant measure.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
Invariant measures for passive scalars in the small noise inviscid limit
Authors:
Jacob Bedrossian,
Michele Coti Zelati,
Nathan Glatt-Holtz
Abstract:
We consider a class of invariant measures for a passive scalar $f$ driven by an incompressible velocity field $\boldsymbol{u}$, on a $d$-dimensional periodic domain, satisfying $$ \partial_t f + \boldsymbol{u} \cdot \nabla f = 0, \qquad f(0)=f_0. $$ The measures are obtained as limits of stochastic viscous perturbations. We prove that the span of the $H^1$ eigenfunctions of the operator…
▽ More
We consider a class of invariant measures for a passive scalar $f$ driven by an incompressible velocity field $\boldsymbol{u}$, on a $d$-dimensional periodic domain, satisfying $$ \partial_t f + \boldsymbol{u} \cdot \nabla f = 0, \qquad f(0)=f_0. $$ The measures are obtained as limits of stochastic viscous perturbations. We prove that the span of the $H^1$ eigenfunctions of the operator $\boldsymbol{u}\cdot\nabla$ contains the support of these measures. We also analyze several explicit examples: when $\boldsymbol{u}$ is a shear flow or a relaxation enhancing flow (a generalization of weakly mixing), we can characterize the limiting measure uniquely and compute its covariance structure. We also consider the case of two-dimensional cellular flows, for which further regularity properties of the functions in the support of the measure can be deduced.
The main results are proved with the use of spectral theory results, in particular the RAGE theorem, which are used to characterize large classes of orbits of the inviscid problem that are growing in $H^1$.
△ Less
Submitted 24 June, 2016; v1 submitted 27 May, 2015;
originally announced May 2015.
-
Large Prandtl Number Asymptotics in Randomly Forced Turbulent Convection
Authors:
Juraj Foldes,
Nathan Glatt-Holtz,
Geordie Richards
Abstract:
We establish the convergence of statistically invariant states for the stochastic Boussinesq Equations in the infinite Prandtl number limit and in particular demonstrate the convergence of the Nusselt number (a measure of heat transport in the fluid). This is a singular parameter limit significant in mantle convection and for gasses under high pressure. The equations are subject to a both temperat…
▽ More
We establish the convergence of statistically invariant states for the stochastic Boussinesq Equations in the infinite Prandtl number limit and in particular demonstrate the convergence of the Nusselt number (a measure of heat transport in the fluid). This is a singular parameter limit significant in mantle convection and for gasses under high pressure. The equations are subject to a both temperature gradient on the boundary and internal heating in the bulk driven by a stochastic, white in time, gaussian forcing. Here, the stochastic source terms have a strong physical motivation for example as a model of radiogenic heating. Our approach uses mixing properties of the formal limit system to reduce the convergence of invariant states to an analysis of the finite time asymptotics of solutions and parameter-uniform moment bounds. Here, it is notable that there is a phase space mismatch between the finite Prandtl system and the limit equation, and we implement methods to lift both finite and infinite time convergence results to an extended phase space which includes velocity fields. For the infinite Prandtl stochastic Boussinesq equations, we show that the associated invariant measure is unique and that the dual Markovian dynamics are contractive in an appropriate Kantorovich-Wasserstein metric. We then address the convergence of solutions on finite time intervals, which is still a singular perturbation. In the process we derive well-posed equations which accurately approximate the dynamics up to the initial time when the Prandtl number is large.
△ Less
Submitted 7 June, 2018; v1 submitted 11 April, 2015;
originally announced April 2015.
-
Notes on Statistically Invariant States in Stochastically Driven Fluid Flows
Authors:
Nathan Glatt-Holtz
Abstract:
These expository notes address certain stationary and ergodic properties of the equations of fluid dynamics subject to a spatially degenerate (i.e. frequency localized), white in time gaussian forcing. In order to provide an accessible treatment of some recent progress in this subject we will develop ideas in detail for a class of finite dimensional models.
These expository notes address certain stationary and ergodic properties of the equations of fluid dynamics subject to a spatially degenerate (i.e. frequency localized), white in time gaussian forcing. In order to provide an accessible treatment of some recent progress in this subject we will develop ideas in detail for a class of finite dimensional models.
△ Less
Submitted 30 October, 2014;
originally announced October 2014.
-
Time Discrete Approximation of Weak Solutions for Stochastic Equations of Geophysical Fluid Dynamics and Applications
Authors:
Nathan Glatt-Holtz,
Roger Temam,
Chuntian Wang
Abstract:
As a first step towards the numerical analysis of the stochastic primitive equations of the atmosphere and oceans, we study their time discretization by an implicit Euler scheme. From deterministic viewpoint the 3D Primitive Equations are studied with physically realistic boundary conditions. From probabilistic viewpoint we consider a wide class of nonlinear, state dependent, white noise forcings.…
▽ More
As a first step towards the numerical analysis of the stochastic primitive equations of the atmosphere and oceans, we study their time discretization by an implicit Euler scheme. From deterministic viewpoint the 3D Primitive Equations are studied with physically realistic boundary conditions. From probabilistic viewpoint we consider a wide class of nonlinear, state dependent, white noise forcings. The proof of convergence of the Euler scheme covers the equations for the oceans, atmosphere, coupled oceanic-atmospheric system and other geophysical equations. We obtain the existence of solutions weak in PDE and probabilistic sense, a result which is new by itself to the best of our knowledge.
△ Less
Submitted 10 April, 2014;
originally announced April 2014.
-
Inviscid Limits for a Stochastically Forced Shell Model of Turbulent Flow
Authors:
Susan Friedlander,
Nathan Glatt-Holtz,
Vlad Vicol
Abstract:
We establish the anomalous mean dissipation rate of energy in the inviscid limit for a stochastic shell model of turbulent fluid flow. The proof relies on viscosity independent bounds for stationary solutions and on establishing ergodic and mixing properties for the viscous model. The shell model is subject to a degenerate stochastic forcing in the sense that noise acts directly only through one w…
▽ More
We establish the anomalous mean dissipation rate of energy in the inviscid limit for a stochastic shell model of turbulent fluid flow. The proof relies on viscosity independent bounds for stationary solutions and on establishing ergodic and mixing properties for the viscous model. The shell model is subject to a degenerate stochastic forcing in the sense that noise acts directly only through one wavenumber. We show that it is hypo-elliptic (in the sense of Hormander) and use this property to prove a gradient bound on the Markov semigroup.
△ Less
Submitted 3 April, 2014;
originally announced April 2014.
-
Existence and Regularity of Invariant Measures for the Three Dimensional Stochastic Primitive Equations
Authors:
Nathan Glatt-Holtz,
Igor Kukavica,
Vlad Vicol,
Mohammed Ziane
Abstract:
We establish the continuity of the Markovian semigroup associated with strong solutions of the stochastic 3D Primitive Equations, and prove the existence of an invariant measure. The proof is based on new moment bounds for strong solutions. The invariant measure is supported on strong solutions, but is furthermore shown to have higher regularity properties.
We establish the continuity of the Markovian semigroup associated with strong solutions of the stochastic 3D Primitive Equations, and prove the existence of an invariant measure. The proof is based on new moment bounds for strong solutions. The invariant measure is supported on strong solutions, but is furthermore shown to have higher regularity properties.
△ Less
Submitted 17 November, 2013;
originally announced November 2013.
-
Ergodic and Mixing Properties of the Boussinesq Equations with a Degenerate Random Forcing
Authors:
Juraj Földes,
Nathan Glatt-Holtz,
Geordie Richards,
Enrique Thomann
Abstract:
We establish the existence, uniqueness and attraction properties of an ergodic invariant measure for the Boussinesq Equations in the presence of a degenerate stochastic forcing acting only in the temperature equation and only at the largest spatial scales. The central challenge is to establish time asymptotic smoothing properties of the Markovian dynamics corresponding to this system. Towards this…
▽ More
We establish the existence, uniqueness and attraction properties of an ergodic invariant measure for the Boussinesq Equations in the presence of a degenerate stochastic forcing acting only in the temperature equation and only at the largest spatial scales. The central challenge is to establish time asymptotic smoothing properties of the Markovian dynamics corresponding to this system. Towards this aim we encounter a Lie bracket structure in the associated vector fields with a complicated dependence on solutions. This leads us to develop a novel Hörmander-type condition for infinite-dimensional systems. Demonstrating the sufficiency of this condition requires new techniques for the spectral analysis of the Malliavin covariance matrix.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Martingale and Pathwise Solutions to the Stochastic Zakharov-Kuznetsov Equation with Multiplicative Noise
Authors:
Nathan Glatt-Holtz,
Roger Temam,
Chuntian Wang
Abstract:
We study in this article the stochastic Zakharov-Kuznetsov equation driven by a multiplicative noise. We establish, in space dimensions two and three the global existence of martingale solutions, and in space dimension two the global pathwise uniqueness and the existence of pathwise solutions. New methods are employed in the passage to the limit on a special type of boundary conditions and in the…
▽ More
We study in this article the stochastic Zakharov-Kuznetsov equation driven by a multiplicative noise. We establish, in space dimensions two and three the global existence of martingale solutions, and in space dimension two the global pathwise uniqueness and the existence of pathwise solutions. New methods are employed in the passage to the limit on a special type of boundary conditions and in the verification of the pathwise uniqueness of martingale solutions with a lack of regularity, where both difficulties arise due to the partly hyperbolic feature of the model.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
Unique Ergodicity for Fractionally Dissipated, Stochastically Forced 2D Euler Equations
Authors:
Peter Constantin,
Nathan Glatt-Holtz,
Vlad Vicol
Abstract:
We establish the existence and uniqueness of an ergodic invariant measure for 2D fractionally dissipated stochastic Euler equations on the periodic box, for any power of the dissipation term.
We establish the existence and uniqueness of an ergodic invariant measure for 2D fractionally dissipated stochastic Euler equations on the periodic box, for any power of the dissipation term.
△ Less
Submitted 7 April, 2013;
originally announced April 2013.
-
On Inviscid Limits for the Stochastic Navier-Stokes Equations and Related Models
Authors:
Nathan Glatt-Holtz,
Vladimir Sverak,
Vlad Vicol
Abstract:
We study inviscid limits of invariant measures for the 2D Stochastic Navier-Stokes equations. As shown in \cite{Kuksin2004} the noise scaling $\sqrt{ν}$ is the only one which leads to non-trivial limiting measures, which are invariant for the 2D Euler equations. We show that any limiting measure $μ_{0}$ is in fact supported on bounded vorticities. Relationships of $μ_{0}$ to the long term dynamics…
▽ More
We study inviscid limits of invariant measures for the 2D Stochastic Navier-Stokes equations. As shown in \cite{Kuksin2004} the noise scaling $\sqrt{ν}$ is the only one which leads to non-trivial limiting measures, which are invariant for the 2D Euler equations. We show that any limiting measure $μ_{0}$ is in fact supported on bounded vorticities. Relationships of $μ_{0}$ to the long term dynamics of Euler in the $L^{\infty}$ with the weak$^{*}$ topology are discussed. In view of the Batchelor-Krainchnan 2D turbulence theory, we also consider inviscid limits for the weakly damped stochastic Navier-Stokes equation. In this setting we show that only an order zero noise (i.e. the noise scaling $ν^0$) leads to a nontrivial limiting measure in the inviscid limit.
△ Less
Submitted 3 February, 2013;
originally announced February 2013.
-
Local and global existence of smooth solutions for the stochastic Euler equations with multiplicative noise
Authors:
Nathan E. Glatt-Holtz,
Vlad C. Vicol
Abstract:
We establish the local existence of pathwise solutions for the stochastic Euler equations in a three-dimensional bounded domain with slip boundary conditions and a very general nonlinear multiplicative noise. In the two-dimensional case we obtain the global existence of these solutions with additive or linear-multiplicative noise. Lastly, we show that, in the three dimensional case, the addition o…
▽ More
We establish the local existence of pathwise solutions for the stochastic Euler equations in a three-dimensional bounded domain with slip boundary conditions and a very general nonlinear multiplicative noise. In the two-dimensional case we obtain the global existence of these solutions with additive or linear-multiplicative noise. Lastly, we show that, in the three dimensional case, the addition of linear multiplicative noise provides a regularizing effect; the global existence of solutions occurs with high probability if the initial data is sufficiently small, or if the noise coefficient is sufficiently large.
△ Less
Submitted 4 May, 2012; v1 submitted 6 November, 2011;
originally announced November 2011.
-
Invariant Measures for Dissipative Dynamical Systems: Abstract Results and Applications
Authors:
Micka ël D. Chekroun,
Nathan E. Glatt-Holtz
Abstract:
In this work we study certain invariant measures that can be associated to the time averaged observation of a broad class of dissipative semigroups via the notion of a generalized Banach limit. Consider an arbitrary complete separable metric space $X$ which is acted on by any continuous semigroup $\{S(t)\}_{t \geq 0}$. Suppose that $§(t)\}_{t \geq 0}$ possesses a global attractor $\mathcal{A}$. We…
▽ More
In this work we study certain invariant measures that can be associated to the time averaged observation of a broad class of dissipative semigroups via the notion of a generalized Banach limit. Consider an arbitrary complete separable metric space $X$ which is acted on by any continuous semigroup $\{S(t)\}_{t \geq 0}$. Suppose that $§(t)\}_{t \geq 0}$ possesses a global attractor $\mathcal{A}$. We show that, for any generalized Banach limit $\underset{T \rightarrow \infty}{\rm{LIM}}$ and any distribution of initial conditions $\mathfrak{m}_0$, that there exists an invariant probability measure $\mathfrak{m}$, whose support is contained in $\mathcal{A}$, such that $$ \int_{X} φ(x) d\mathfrak{m} (x) = \underset{T\to \infty}{\rm{LIM}} \frac{1}{T}\int_0^T \int_X φ(S(t) x) d \mathfrak{m}_0(x) d t, $$ for all observables $φ$ living in a suitable function space of continuous mappings on $X$.
This work is based on a functional analytic framework simplifying and generalizing previous works in this direction. In particular our results rely on the novel use of a general but elementary topological observation, valid in any metric space, which concerns the growth of continuous functions in the neighborhood of compact sets. In the case when $\{S(t)\}_{t \geq 0}$ does not possess a compact absorbing set, this lemma allows us to sidestep the use of weak compactness arguments which require the imposition of cumbersome weak continuity conditions and limits the phase space $X$ to the case of a reflexive Banach space. Two examples of concrete dynamical systems where the semigroup is known to be non-compact are examined in detail.
△ Less
Submitted 14 May, 2012; v1 submitted 19 October, 2011;
originally announced October 2011.
-
Global Existence and Regularity for the 3D Stochastic Primitive Equations of the Ocean and Atmosphere with Multiplicative White Noise
Authors:
Arnaud Debussche,
Nathan Glatt-Holtz,
Roger Temam,
Mohammed Ziane
Abstract:
The Primitive Equations are a basic model in the study of large scale Oceanic and Atmospheric dynamics. These systems form the analytical core of the most advanced General Circulation Models. For this reason and due to their challenging nonlinear and anisotropic structure the Primitive Equations have recently received considerable attention from the mathematical community.
In view of the complex…
▽ More
The Primitive Equations are a basic model in the study of large scale Oceanic and Atmospheric dynamics. These systems form the analytical core of the most advanced General Circulation Models. For this reason and due to their challenging nonlinear and anisotropic structure the Primitive Equations have recently received considerable attention from the mathematical community.
In view of the complex multi-scale nature of the earth's climate system, many uncertainties appear that should be accounted for in the basic dynamical models of atmospheric and oceanic processes. In the climate community stochastic methods have come into extensive use in this connection. For this reason there has appeared a need to further develop the foundations of nonlinear stochastic partial differential equations in connection with the Primitive Equations and more generally.
In this work we study a stochastic version of the Primitive Equations. We establish the global existence of strong, pathwise solutions for these equations in dimension 3 for the case of a nonlinear multiplicative noise. The proof makes use of anisotropic estimates, $L^{p}_{t}L^{q}_{x}$ estimates on the pressure and stopping time arguments.
△ Less
Submitted 14 May, 2012; v1 submitted 25 April, 2011;
originally announced April 2011.
-
Pathwise Solutions of the 2D Stochastic Primitive Equations
Authors:
Nathan Glatt-Holtz,
Roger Temam
Abstract:
In this work we consider a stochastic version of the Primitive Equations (PEs) of the ocean and the atmosphere and establish the existence and uniqueness of pathwise, strong solutions. The analysis employs novel techniques in contrast to previous works in order to handle a general class of nonlinear noise structures and to allow for physically relevant boundary conditions. The proof relies on Cauc…
▽ More
In this work we consider a stochastic version of the Primitive Equations (PEs) of the ocean and the atmosphere and establish the existence and uniqueness of pathwise, strong solutions. The analysis employs novel techniques in contrast to previous works in order to handle a general class of nonlinear noise structures and to allow for physically relevant boundary conditions. The proof relies on Cauchy estimates, stopping time arguments and anisotropic estimates.
△ Less
Submitted 9 December, 2010; v1 submitted 16 July, 2010;
originally announced July 2010.
-
Local Martingale and Pathwise Solutions for an Abstract Fluids Model
Authors:
Arnaud Debussche,
Nathan Glatt-Holtz,
Roger Temam
Abstract:
We establish the existence and uniqueness of both local martingale and local pathwise solutions of an abstract nonlinear stochastic evolution system. The primary application of this abstract framework is to infer the local existence of strong, pathwise solutions to the 3D primitive equations of the oceans and atmosphere forced by a nonlinear multiplicative white noise. Instead of developing our re…
▽ More
We establish the existence and uniqueness of both local martingale and local pathwise solutions of an abstract nonlinear stochastic evolution system. The primary application of this abstract framework is to infer the local existence of strong, pathwise solutions to the 3D primitive equations of the oceans and atmosphere forced by a nonlinear multiplicative white noise. Instead of developing our results specifically for the 3D primitive equations we choose to develop them in a slightly abstract framework which covers many related forms of these equations (atmosphere, oceans, coupled atmosphere-ocean, on the sphere, on the β-plane approximation etc and the incompressible Navier-Stokes equations). In applications, all of the details are given for the β-plane approximation of the oceans equations.
△ Less
Submitted 24 March, 2011; v1 submitted 16 July, 2010;
originally announced July 2010.
-
Asymptotics of the Coleman-Gurtin model
Authors:
Mickaël D. Chekroun,
Francesco Di Plinio,
Nathan E. Glatt-Holtz,
Vittorino Pata
Abstract:
This paper is concerned with the integrodifferential equation $$\partial_t u-Δu -\int_0^\infty κ(s)Δu(t-s)\,\d s + \varphi(u)=f$$ arising in the Coleman-Gurtin's theory of heat conduction with hereditary memory, in presence of a nonlinearity $\varphi$ of critical growth. Rephrasing the equation within the history space framework, we prove the existence of global and exponential attractors of optim…
▽ More
This paper is concerned with the integrodifferential equation $$\partial_t u-Δu -\int_0^\infty κ(s)Δu(t-s)\,\d s + \varphi(u)=f$$ arising in the Coleman-Gurtin's theory of heat conduction with hereditary memory, in presence of a nonlinearity $\varphi$ of critical growth. Rephrasing the equation within the history space framework, we prove the existence of global and exponential attractors of optimal regularity and finite fractal dimension for the related solution semigroup, acting both on the basic weak-energy space and on a more regular phase space.
△ Less
Submitted 13 June, 2010;
originally announced June 2010.
-
Parameter Estimation for the Stochastically Perturbed Navier-Stokes Equations
Authors:
Igor Cialenco,
Nathan Glatt-Holtz
Abstract:
We consider a parameter estimation problem to determine the viscosity $ν$ of a stochastically perturbed 2D Navier-Stokes system. We derive several different classes of estimators based on the first $N$ Fourier modes of a single sample path observed on a finite time interval. We study the consistency and asymptotic normality of these estimators. Our analysis treats strong, pathwise solutions for bo…
▽ More
We consider a parameter estimation problem to determine the viscosity $ν$ of a stochastically perturbed 2D Navier-Stokes system. We derive several different classes of estimators based on the first $N$ Fourier modes of a single sample path observed on a finite time interval. We study the consistency and asymptotic normality of these estimators. Our analysis treats strong, pathwise solutions for both the periodic and bounded domain cases in the presence of an additive white (in time) noise.
△ Less
Submitted 5 January, 2011; v1 submitted 10 June, 2010;
originally announced June 2010.
