-
Robust Adaptive Meshing, Mesh Density Functions, and Nonlocal Observations for Ensemble Based Data Assimilation
Authors:
Jeremiah Buenger,
Weizhang Huang,
Erik Van Vleck
Abstract:
Adaptive spatial meshing has proven invaluable for the accurate, efficient computation of solutions of time dependent partial differential equations. In a DA context the use of adaptive spatial meshes addresses several factors that place increased demands on meshing; these include the location and relative importance of observations and the use of ensemble solutions. To increase the efficiency of…
▽ More
Adaptive spatial meshing has proven invaluable for the accurate, efficient computation of solutions of time dependent partial differential equations. In a DA context the use of adaptive spatial meshes addresses several factors that place increased demands on meshing; these include the location and relative importance of observations and the use of ensemble solutions. To increase the efficiency of adaptive meshes for data assimilation, robust look ahead meshes are developed that fix the same adaptive mesh for all ensemble members for the entire time interval of the forecasts and that incorporates the observations at the next analysis time. This allows for increased vectorization of the ensemble forecasts while minimizing interpolation of solutions between different meshes. The techniques to determine these robust meshes are based upon combining metric tensors or mesh density functions to define nonuniform meshes. We illustrate the robust ensemble look ahead meshes using traveling wave solutions of a bistable reaction-diffusion equation. Observation operators based on convolution type integrals and their associated metric tensors are derived. These further the goals of making efficient use of adaptive meshes in ensemble based DA techniques, developing and employing robust meshes that are effective for a range of similar behaviors in both the ensembles and the observations, and the integration with advanced numerical PDE techniques (a quasi-Lagrangian moving mesh DG technique employing embedded pairs for time stepping). Numerical experiments with different observation scenarios are presented for a 2D inviscid Burgers' equation, a multi-component system, a 2D Shallow Water model, and for a coupled system of two 1D Kuramoto-Sivashinsky equations.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Projected Data Assimilation using Sliding Window Proper Orthogonal Decomposition
Authors:
Aishah Albarakati,
Marko Budisic,
Erik Van Vleck
Abstract:
Prediction of the state evolution of complex high-dimensional nonlinear systems is challenging due to the nonlinear sensitivity of the evolution to small inaccuracies in the model. Data Assimilation (DA) techniques improve state estimates by combining model simulations with real-time data. Few DA techniques can simultaneously handle nonlinear evolution, non-Gaussian uncertainty, and the high dimen…
▽ More
Prediction of the state evolution of complex high-dimensional nonlinear systems is challenging due to the nonlinear sensitivity of the evolution to small inaccuracies in the model. Data Assimilation (DA) techniques improve state estimates by combining model simulations with real-time data. Few DA techniques can simultaneously handle nonlinear evolution, non-Gaussian uncertainty, and the high dimension of the state. We recently proposed addressing these challenges using a Proper Orthogonal Decomposition (POD) technique that projects the physical and data models into a reduced-dimensional subspace. POD is a tool to extract spatiotemporal patterns (modes) that dominate the observed data. We combined the POD-based projection operator, computed in an offline fashion, with a DA scheme that models non-Gaussian uncertainty in lower dimensional subspace. If the model parameters change significantly during time evolution, the offline computation of the projection operators ceases to be useful. We address this challenge using a sliding window POD (SWPOD), which recomputes the projection operator based on a sliding subset of snapshots from the entire evolution. The physical model projection is updated dynamically in terms of modes and number of modes, and the data model projection is also chosen to promote a sparse approximation. We test the efficacy of this technique on a modified Lorenz'96 model with a time-varying forcing and compare it with the time-invariant offline projected algorithm. In particular, dynamically determined physical and data model projections decrease the Root Mean Squared Error and the resampling rate.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
A Metric Tensor Approach to Data Assimilation with Adaptive Moving Meshes
Authors:
Cassidy Krause,
Weizhang Huang,
David B Mechem,
Erik S Van Vleck,
Min Zhang
Abstract:
Adaptive moving spatial meshes are useful for solving physical models given by time-dependent partial differentialequations. However, special consideration must be given when combining adaptive meshing procedures with ensemble-based data assimilation (DA) techniques. In particular, we focus on the case where each ensemble member evolvesindependently upon its own mesh and is interpolated to a commo…
▽ More
Adaptive moving spatial meshes are useful for solving physical models given by time-dependent partial differentialequations. However, special consideration must be given when combining adaptive meshing procedures with ensemble-based data assimilation (DA) techniques. In particular, we focus on the case where each ensemble member evolvesindependently upon its own mesh and is interpolated to a common mesh for the DA update. This paper outlines aframework to develop time-dependent reference meshes using locations of observations and the metric tensors (MTs)or monitor functions that define the spatial meshes of the ensemble members. We develop a time-dependent spatiallocalization scheme based on the metric tensor (MT localization). We also explore how adaptive moving mesh tech-niques can control and inform the placement of mesh points to concentrate near the location of observations, reducingthe error of observation interpolation. This is especially beneficial when we have observations in locations that wouldotherwise have a sparse spatial discretization. We illustrate the utility of our results using discontinuous Galerkin(DG) approximations of 1D and 2D inviscid Burgers equations. The numerical results show that the MT localizationscheme compares favorably with standard Gaspari-Cohn localization techniques. In problems where the observationsare sparse, the choice of common mesh has a direct impact on DA performance. The numerical results also demonstratethe advantage of DG-based interpolation over linear interpolation for the 2D inviscid Burgers equation.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Model and Data Reduction for Data Assimilation: Particle Filters Employing Projected Forecasts and Data with Application to a Shallow Water Model
Authors:
Aishah Albarakati,
Marko Budišić,
Rose Crocker,
Juniper Glass-Klaiber,
Sarah Iams,
John Maclean,
Noah Marshall,
Colin Roberts,
Erik S. Van Vleck
Abstract:
The understanding of nonlinear, high dimensional flows, e.g, atmospheric and ocean flows, is critical to address the impacts of global climate change. Data Assimilation techniques combine physical models and observational data, often in a Bayesian framework, to predict the future state of the model and the uncertainty in this prediction. Inherent in these systems are noise (Gaussian and non-Gaussi…
▽ More
The understanding of nonlinear, high dimensional flows, e.g, atmospheric and ocean flows, is critical to address the impacts of global climate change. Data Assimilation techniques combine physical models and observational data, often in a Bayesian framework, to predict the future state of the model and the uncertainty in this prediction. Inherent in these systems are noise (Gaussian and non-Gaussian), nonlinearity, and high dimensionality that pose challenges to making accurate predictions. To address these issues we investigate the use of both model and data dimension reduction based on techniques including Assimilation in Unstable Subspaces, Proper Orthogonal Decomposition, and Dynamic Mode Decomposition. Algorithms that take advantage of projected physical and data models may be combined with Data Analysis techniques such as Ensemble Kalman Filter and Particle Filter variants. The projected Data Assimilation techniques are developed for the optimal proposal particle filter and applied to the Lorenz'96 and Shallow Water Equations to test the efficacy of our techniques in high dimensional, nonlinear systems.
△ Less
Submitted 9 June, 2021; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Transition Fronts of Fisher-KPP Equations in Locally Spatially Inhomogeneous Patchy Environments I: Existence and Non-existence
Authors:
Erik S. Van Vleck,
Aijun Zhang
Abstract:
This paper is devoted to the study of spatial propagation dynamics of species in locally spatially inhomogeneous patchy environments or media. For a lattice differential equation with monostable nonlinearity in a discrete homogeneous media, it is well-known that there exists a minimal wave speed such that a traveling front exists if and only if the wave speed is not slower than this minimal wave s…
▽ More
This paper is devoted to the study of spatial propagation dynamics of species in locally spatially inhomogeneous patchy environments or media. For a lattice differential equation with monostable nonlinearity in a discrete homogeneous media, it is well-known that there exists a minimal wave speed such that a traveling front exists if and only if the wave speed is not slower than this minimal wave speed. We shall show that strongly localized spatial inhomogeneous patchy environments may prevent the existence of transition fronts (generalized traveling fronts). Transition fronts may exist in weakly localized spatial inhomogeneous patchy environments but only in a finite range of speeds, which implies that it is plausible to obtain a maximal wave speed of existence of transition fronts.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Underlying one-step methods and nonautonomous stability of general linear methods
Authors:
Andrew J. Steyer,
Erik S. Van Vleck
Abstract:
We generalize the theory of underlying one-step methods to strictly stable general linear methods (GLMs) solving nonautonomous ordinary differential equations (ODEs) that satisfy a global Lipschitz condition. We combine this theory with the Lyapunov and Sacker-Sell spectral stability theory for one-step methods developed in [34,35,36] to analyze the stability of a strictly stable GLM solving a non…
▽ More
We generalize the theory of underlying one-step methods to strictly stable general linear methods (GLMs) solving nonautonomous ordinary differential equations (ODEs) that satisfy a global Lipschitz condition. We combine this theory with the Lyapunov and Sacker-Sell spectral stability theory for one-step methods developed in [34,35,36] to analyze the stability of a strictly stable GLM solving a nonautonomous linear ODE. These results are applied to develop a stability diagnostic for the solution of nonautonomous linear ODEs by strictly stable GLMs.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
Projected Shadowing-based Data Assimilation
Authors:
Bart de Leeuw,
Svetlana Dubinkina,
Jason Frank,
Andrew Steyer,
Xuemin Tu,
Erik Van Vleck
Abstract:
In this article we develop algorithms for data assimilation based upon a computational time dependent stable/unstable splitting. Our particular method is based upon shadowing refinement and synchronization techniques and is motivated by work on Assimilation in the Unstable Subspace (AUS) and Pseudo-orbit Data Assimilation (PDA). The algorithm utilizes time dependent projections onto the non-stable…
▽ More
In this article we develop algorithms for data assimilation based upon a computational time dependent stable/unstable splitting. Our particular method is based upon shadowing refinement and synchronization techniques and is motivated by work on Assimilation in the Unstable Subspace (AUS) and Pseudo-orbit Data Assimilation (PDA). The algorithm utilizes time dependent projections onto the non-stable subspace determined by employing computational techniques for Lyapunov exponents/vectors. The method is extended to parameter estimation without changing the problem dynamics and we address techniques for adapting the method when (as is commonly the case) observations are not available in the full model state space. We use a combination of analysis and numerical experiments (with the Lorenz 63 and Lorenz 96 models) to illustrate the efficacy of the techniques and show that the results compare favorably with other variational techniques.
△ Less
Submitted 28 July, 2017;
originally announced July 2017.
-
Non-Autonomous Inertial Manifold Reduction
Authors:
Yu-Min Chung,
Andrew J. Steyer,
Erik S. Van Vleck
Abstract:
Techniques are developed for decoupling dissipative differential equations. The approach considered is based upon obtaining a sufficient gap in the time dependent linear portion of the equation that corresponds to the linear variational equation. This is done using an orthogonal change of variables that has proven useful in the computation of Lyapunov to decompose the differential equation in term…
▽ More
Techniques are developed for decoupling dissipative differential equations. The approach considered is based upon obtaining a sufficient gap in the time dependent linear portion of the equation that corresponds to the linear variational equation. This is done using an orthogonal change of variables that has proven useful in the computation of Lyapunov to decompose the differential equation in terms of slow and fast variables. Numerically this is accomplished in our implementation using smooth, time dependent Householder reflectors. The the nonlinear decoupling transformation or inertial manifold is obtained by solving a boundary value problem (BVP) which allows for a Newton iteration as opposed to the traditional Lyapunov-Perron approach via a fixed point iteration. Finally, the efficacy of the technique is shown using some challenging examples.
△ Less
Submitted 28 November, 2015;
originally announced November 2015.
-
Global Error Analysis and Inertial Manifold Reduction
Authors:
Yu-Min Chung,
Andrew Steyer,
Michael Tubbs,
Erik S. Van Vleck,
Mihir Vedantam
Abstract:
Four types of global error for initial value problems are considered in a common framework. They include classical forward error analysis and shadowing error analysis together with extensions of both to rescaling of time. To determine the amplification of the local error that bounds the global error we present a linear analysis similar in spirit to condition number estimation for linear systems of…
▽ More
Four types of global error for initial value problems are considered in a common framework. They include classical forward error analysis and shadowing error analysis together with extensions of both to rescaling of time. To determine the amplification of the local error that bounds the global error we present a linear analysis similar in spirit to condition number estimation for linear systems of equations. We combine these ideas with techniques for dimension reduction of differential equations via a boundary value formulation of numerical inertial manifold reduction. These global error concepts are exercised to illustrate their utility on the Lorenz equations and inertial manifold reductions of the Kuramoto-Sivashinsky equation.
△ Less
Submitted 28 November, 2015;
originally announced November 2015.
-
A Lyapunov and Sacker-Sell spectral stability theory for one-step methods
Authors:
Andrew J. Steyer,
Erik S. Van Vleck
Abstract:
Approximation theory for Lyapunov and Sacker-Sell spectra based upon QR techniques is used to analyze the stability of a one-step method solving a time-dependent, linear, ordinary differential equation (ODE) initial value problem in terms of the local error. Integral separation is used to characterize the conditioning of stability spectra calculations. In an approximate sense the stability of the…
▽ More
Approximation theory for Lyapunov and Sacker-Sell spectra based upon QR techniques is used to analyze the stability of a one-step method solving a time-dependent, linear, ordinary differential equation (ODE) initial value problem in terms of the local error. Integral separation is used to characterize the conditioning of stability spectra calculations. In an approximate sense the stability of the numerical solution by a one-step method of a time-dependent linear ODE using real-valued, scalar, time-dependent, linear test equations is justified. This analysis is used to approximate exponential growth/decay rates on finite and infinite time intervals and establish global error bounds for one-step methods approximating uniformly stable trajectories of nonautonomous and nonlinear ODEs. A time-dependent stiffness indicator and a one-step method that switches between explicit and implicit Runge-Kutta methods based upon time-dependent stiffness are developed based upon the theoretical results.
△ Less
Submitted 6 September, 2017; v1 submitted 28 November, 2015;
originally announced November 2015.
-
Entire Solutions for Bistable Lattice Differential Equations with Obstacles
Authors:
A. Hoffman,
H. J. Hupkes,
E. Van Vleck
Abstract:
We consider scalar lattice differential equations posed on square lattices in two space dimensions. Under certain natural conditions we show that wave-like solutions exist when obstacles (characterized by "holes") are present in the lattice. Our work generalizes to the discrete spatial setting the results obtained in a paper of Berestycki, Hamel and Matano for the propagation of waves around obsta…
▽ More
We consider scalar lattice differential equations posed on square lattices in two space dimensions. Under certain natural conditions we show that wave-like solutions exist when obstacles (characterized by "holes") are present in the lattice. Our work generalizes to the discrete spatial setting the results obtained in a paper of Berestycki, Hamel and Matano for the propagation of waves around obstacles in continuous spatial domains. The analysis hinges upon the development of sub and super-solutions for a class of discrete bistable reaction-diffusion problems and on a generalization of a classical result due to Aronson and Weinberger that concerns the spreading of localized disturbances.
△ Less
Submitted 18 October, 2013;
originally announced October 2013.
-
Competing Interactions and Traveling Wave Solutions in Lattice Differential Equations
Authors:
Erik S. Van Vleck,
Aijun Zhang
Abstract:
The existence of traveling front solutions to bistable lattice differential equations in the absence of a comparison principle is studied. The results are in the spirit of those in Bates, Chen, and Chmaj in[1], but are applicable to vector equations and to more general limiting systems. An abstract result on the persistence of traveling wave solutions is obtained and is then applied to lattice dif…
▽ More
The existence of traveling front solutions to bistable lattice differential equations in the absence of a comparison principle is studied. The results are in the spirit of those in Bates, Chen, and Chmaj in[1], but are applicable to vector equations and to more general limiting systems. An abstract result on the persistence of traveling wave solutions is obtained and is then applied to lattice differential equations with repelling first and/or second neighbor interactions and to some problems with infinite range interactions.
△ Less
Submitted 5 October, 2013; v1 submitted 28 October, 2012;
originally announced October 2012.
-
Multidimensional Stability of Waves Travelling Through Rectangular Lattices in Rational Directions
Authors:
A. Hoffman,
H. J. Hupkes,
E. Van Vleck
Abstract:
We consider general reaction diffusion systems posed on rectangular lattices in two or more spatial dimensions. We show that travelling wave solutions to such systems that propagate in rational directions are nonlinearly stable under small perturbations. We employ recently developed techniques involving point-wise Green's functions estimates for functional differential equations of mixed type (MFD…
▽ More
We consider general reaction diffusion systems posed on rectangular lattices in two or more spatial dimensions. We show that travelling wave solutions to such systems that propagate in rational directions are nonlinearly stable under small perturbations. We employ recently developed techniques involving point-wise Green's functions estimates for functional differential equations of mixed type (MFDEs), allowing our results to be applied even in situations where comparison principles are not available.
△ Less
Submitted 24 October, 2014; v1 submitted 27 September, 2012;
originally announced September 2012.
-
The cutoff method for the numerical computation of nonnegative solutions of parabolic PDEs with application to anisotropic diffusion and lubrication-type equations
Authors:
Changna Lu,
Weizhang Huang,
Erik S. Van Vleck
Abstract:
The cutoff method, which cuts off the values of a function less than a given number, is studied for the numerical computation of nonnegative solutions of parabolic partial differential equations. A convergence analysis is given for a broad class of finite difference methods combined with cutoff for linear parabolic equations. Two applications are investigated, linear anisotropic diffusion problems…
▽ More
The cutoff method, which cuts off the values of a function less than a given number, is studied for the numerical computation of nonnegative solutions of parabolic partial differential equations. A convergence analysis is given for a broad class of finite difference methods combined with cutoff for linear parabolic equations. Two applications are investigated, linear anisotropic diffusion problems satisfying the setting of the convergence analysis and nonlinear lubrication-type equations for which it is unclear if the convergence analysis applies. The numerical results are shown to be consistent with the theory and in good agreement with existing results in the literature. The convergence analysis and applications demonstrate that the cutoff method is an effective tool for use in the computation of nonnegative solutions. Cutoff can also be used with other discretization methods such as collocation, finite volume, finite element, and spectral methods and for the computation of positive solutions.
△ Less
Submitted 5 April, 2013; v1 submitted 27 June, 2012;
originally announced June 2012.
-
Orthonormal integrators based on Householder and Givens transformations
Authors:
Luca Dieci,
Erik S. Van Vleck
Abstract:
We carry further our work [DV2] on orthonormal integrators based on Householder and Givens transformations. We propose new algorithms and pay particular attention to appropriate implementation of these techniques. We also present a suite of Fortran codes and provide numerical testing to show the efficiency and accuracy of our techniques.
We carry further our work [DV2] on orthonormal integrators based on Householder and Givens transformations. We propose new algorithms and pay particular attention to appropriate implementation of these techniques. We also present a suite of Fortran codes and provide numerical testing to show the efficiency and accuracy of our techniques.
△ Less
Submitted 2 December, 2000;
originally announced December 2000.
