-
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.
-
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.
-
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.
-
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.
