-
Higher-order Adaptive Finite Difference Methods for Fully Nonlinear Elliptic Equations
Authors:
Brittany D. Froese,
Tiago Salvador
Abstract:
We introduce generalised finite difference methods for solving fully nonlinear elliptic partial differential equations. Methods are based on piecewise Cartesian meshes augmented by additional points along the boundary. This allows for adaptive meshes and complicated geometries, while still ensuring consistency, monotonicity, and convergence. We describe an algorithm for efficiently computing the n…
▽ More
We introduce generalised finite difference methods for solving fully nonlinear elliptic partial differential equations. Methods are based on piecewise Cartesian meshes augmented by additional points along the boundary. This allows for adaptive meshes and complicated geometries, while still ensuring consistency, monotonicity, and convergence. We describe an algorithm for efficiently computing the non-traditional finite difference stencils. We also present a strategy for computing formally higher-order convergent methods. Computational examples demonstrate the efficiency, accuracy, and flexibility of the methods.
△ Less
Submitted 23 June, 2017;
originally announced June 2017.
-
Application of Optimal Transport and the Quadratic Wasserstein Metric to Full-Waveform Inversion
Authors:
Yunan Yang,
Björn Engquist,
Junzhe Sun,
Brittany D. Froese
Abstract:
Conventional full-waveform inversion (FWI) using the least-squares norm ($L^2$) as a misfit function is known to suffer from cycle skip**. This increases the risk of computing a local rather than the global minimum of the misfit. In our previous work, we proposed the quadratic Wasserstein metric ($W_2$) as a new misfit function for FWI. The $W_2$ metric has been proved to have many ideal propert…
▽ More
Conventional full-waveform inversion (FWI) using the least-squares norm ($L^2$) as a misfit function is known to suffer from cycle skip**. This increases the risk of computing a local rather than the global minimum of the misfit. In our previous work, we proposed the quadratic Wasserstein metric ($W_2$) as a new misfit function for FWI. The $W_2$ metric has been proved to have many ideal properties with regards to convexity and insensitivity to noise. When the observed and predicted seismic data are regarded as two density functions, the quadratic Wasserstein metric corresponds to the optimal cost of rearranging one density into the other, where the transportation cost is quadratic in distance. The difficulty of transforming seismic signals into nonnegative density functions is discussed. Unlike the $L^2$ norm, $W_2$ measures not only amplitude differences, but also global phase shifts, which helps to avoid cycle skip** issues. In this work, we build on our earlier method to cover more realistic high-resolution applications by embedding the $W_2$ technique into the framework of the adjoint-state method and applying it to seismic relevant 2D examples: the Camembert, the Marmousi, and the 2004 BP models. We propose a new way of using the $W_2$ metric trace-by-trace in FWI and compare it to global $W_2$ via the solution of the Monge-Ampère equation. With corresponding adjoint source, the velocity model can be updated using the l-BFGS method. Numerical results show the effectiveness of $W_2$ for alleviating cycle skip** issues and sensitivity to noise. Both mathematical theory and numerical examples demonstrate that the quadratic Wasserstein metric is a good candidate for a misfit function in seismic inversion.
△ Less
Submitted 10 May, 2017; v1 submitted 15 December, 2016;
originally announced December 2016.
-
Optimal Transport for Seismic Full Waveform Inversion
Authors:
Bjorn Engquist,
Brittany D. Froese,
Yunan Yang
Abstract:
Full waveform inversion is a successful procedure for determining properties of the earth from surface measurements in seismology. This inverse problem is solved by a PDE constrained optimization where unknown coefficients in a computed wavefield are adjusted to minimize the mismatch with the measured data. We propose using the Wasserstein metric, which is related to optimal transport, for measuri…
▽ More
Full waveform inversion is a successful procedure for determining properties of the earth from surface measurements in seismology. This inverse problem is solved by a PDE constrained optimization where unknown coefficients in a computed wavefield are adjusted to minimize the mismatch with the measured data. We propose using the Wasserstein metric, which is related to optimal transport, for measuring this mismatch. Several advantageous properties are proved with regards to convexity of the objective function and robustness with respect to noise. The Wasserstein metric is computed by solving a Monge-Ampere equation. We describe an algorithm for computing its Frechet gradient for use in the optimization. Numerical examples are given.
△ Less
Submitted 18 April, 2016; v1 submitted 3 February, 2016;
originally announced February 2016.
-
Convergent approximation of non-continuous surfaces of prescribed Gaussian curvature
Authors:
Brittany D. Froese
Abstract:
We consider the numerical approximation of surfaces of prescribed Gaussian curvature via the solution of a fully nonlinear partial differential equation of Monge-Ampère type. These surfaces need not be continuous up to the boundary of the domain and the Dirichlet boundary condition must be interpreted in a weak sense. As a consequence, sub-solutions do not always lie below super-solutions, standar…
▽ More
We consider the numerical approximation of surfaces of prescribed Gaussian curvature via the solution of a fully nonlinear partial differential equation of Monge-Ampère type. These surfaces need not be continuous up to the boundary of the domain and the Dirichlet boundary condition must be interpreted in a weak sense. As a consequence, sub-solutions do not always lie below super-solutions, standard comparison principles fail, and existing convergence theorems break down. By relying on a geometric interpretation of weak solutions, we prove a relaxed comparison principle that applies only in the interior of the domain. We provide a general framework for proving existence and stability results for consistent, monotone finite difference approximations and modify the Barles-Souganidis convergence framework to show convergence in the interior of the domain. We describe a convergent scheme for the prescribed Gaussian curvature equation and present several challenging examples to validate these results.
△ Less
Submitted 22 March, 2017; v1 submitted 23 January, 2016;
originally announced January 2016.
-
Meshfree finite difference approximations for functions of the eigenvalues of the Hessian
Authors:
Brittany D. Froese
Abstract:
We introduce meshfree finite difference methods for approximating nonlinear elliptic operators that depend on second directional derivatives or the eigenvalues of the Hessian. Approximations are defined on unstructured point clouds, which allows for very complicated domains and a non-uniform distribution of discretisation points. The schemes are monotone, which ensures that they converge to the vi…
▽ More
We introduce meshfree finite difference methods for approximating nonlinear elliptic operators that depend on second directional derivatives or the eigenvalues of the Hessian. Approximations are defined on unstructured point clouds, which allows for very complicated domains and a non-uniform distribution of discretisation points. The schemes are monotone, which ensures that they converge to the viscosity solution of the underlying PDE as long as the equation has a comparison principle. Numerical experiments demonstrate convergence for a variety of equations including problems posed on random point clouds, complex domains, degenerate equations, and singular solutions.
△ Less
Submitted 2 May, 2017; v1 submitted 19 December, 2015;
originally announced December 2015.
-
Numerical Methods for the 2-Hessian Elliptic Partial Differential Equation
Authors:
Brittany D. Froese,
Adam M. Oberman,
Tiago Salvador
Abstract:
The elliptic 2-Hessian equation is a fully nonlinear partial differential equation (PDE) that is related to intrinsic curvature for three dimensional manifolds. We introduce two numerical methods for this PDE: the first is provably convergent to the viscosity solution, and the second is more accurate, and convergent in practice but lacks a proof. The PDE is elliptic on a restricted set of function…
▽ More
The elliptic 2-Hessian equation is a fully nonlinear partial differential equation (PDE) that is related to intrinsic curvature for three dimensional manifolds. We introduce two numerical methods for this PDE: the first is provably convergent to the viscosity solution, and the second is more accurate, and convergent in practice but lacks a proof. The PDE is elliptic on a restricted set of functions: a convexity type constraint is needed for the ellipticity of the PDE operator. Solutions with both discretizations are obtained using Newton's method. Computational results are presented on a number of exact solutions which range in regularity from smooth to nondifferentiable and in shape from convex to non convex.
△ Less
Submitted 10 February, 2016; v1 submitted 17 February, 2015;
originally announced February 2015.
-
A multigrid scheme for 3D Monge-Ampère equations
Authors:
Jun Liu,
Brittany D. Froese,
Adam M. Oberman,
Mingqing Xiao
Abstract:
The elliptic Monge-Ampère equation is a fully nonlinear partial differential equation which has been the focus of increasing attention from the scientific computing community. Fast three dimensional solvers are needed, for example in medical image registration but are not yet available. We build fast solvers for smooth solutions in three dimensions using a nonlinear full-approximation storage mult…
▽ More
The elliptic Monge-Ampère equation is a fully nonlinear partial differential equation which has been the focus of increasing attention from the scientific computing community. Fast three dimensional solvers are needed, for example in medical image registration but are not yet available. We build fast solvers for smooth solutions in three dimensions using a nonlinear full-approximation storage multigrid method. Starting from a second-order accurate centered finite difference approximation, we present a nonlinear Gauss-Seidel iterative method which has a mechanism for selecting the convex solution of the equation. The iterative method is used as an effective smoother, combined with the full-approximation storage multigrid method. Numerical experiments are provided to validate the accuracy of the finite difference scheme and illustrate the computational efficiency of the proposed multigrid solver.
△ Less
Submitted 29 December, 2016; v1 submitted 25 November, 2014;
originally announced November 2014.
-
A viscosity framework for computing Pogorelov solutions of the Monge-Ampere equation
Authors:
Jean-David Benamou,
Brittany D. Froese
Abstract:
We consider the Monge-Kantorovich optimal transportation problem between two measures, one of which is a weighted sum of Diracs. This problem is traditionally solved using expensive geometric methods. It can also be reformulated as an elliptic partial differential equation known as the Monge-Ampere equation. However, existing numerical methods for this non-linear PDE require the measures to have f…
▽ More
We consider the Monge-Kantorovich optimal transportation problem between two measures, one of which is a weighted sum of Diracs. This problem is traditionally solved using expensive geometric methods. It can also be reformulated as an elliptic partial differential equation known as the Monge-Ampere equation. However, existing numerical methods for this non-linear PDE require the measures to have finite density. We introduce a new formulation that couples the viscosity and Aleksandrov solution definitions and show that it is equivalent to the original problem. Moreover, we describe a local reformulation of the subgradient measure at the Diracs, which makes use of one-sided directional derivatives. This leads to a consistent, monotone discretisation of the equation. Computational results demonstrate the correctness of this scheme when methods designed for conventional viscosity solutions fail.
△ Less
Submitted 1 August, 2014; v1 submitted 4 July, 2014;
originally announced July 2014.
-
Fast Swee** Methods for Hyperbolic Systems of Conservation Laws at Steady State II
Authors:
Bjorn Engquist,
Brittany D. Froese,
Yen-Hsi Richard Tsai
Abstract:
The idea of using fast swee** methods for solving stationary systems of conservation laws has previously been proposed for efficiently computing solutions with sharp shocks. We further develop these methods to allow for a more challenging class of problems including problems with sonic points, shocks originating in the interior of the domain, rarefaction waves, and two-dimensional systems. We sh…
▽ More
The idea of using fast swee** methods for solving stationary systems of conservation laws has previously been proposed for efficiently computing solutions with sharp shocks. We further develop these methods to allow for a more challenging class of problems including problems with sonic points, shocks originating in the interior of the domain, rarefaction waves, and two-dimensional systems. We show that fast swee** methods can produce higher-order accuracy. Computational results validate the claims of accuracy, sharp shock curves, and optimal computational efficiency.
△ Less
Submitted 24 October, 2014; v1 submitted 31 March, 2014;
originally announced April 2014.
-
Application of the Wasserstein metric to seismic signals
Authors:
Bjorn Engquist,
Brittany D. Froese
Abstract:
Seismic signals are typically compared using travel time difference or $L_2$ difference. We propose the Wasserstein metric as an alternative measure of fidelity or misfit in seismology. It exhibits properties from both of the traditional measures mentioned above. The numerical computation is based on the recent development of fast numerical methods for the Monge-Ampere equation and optimal transpo…
▽ More
Seismic signals are typically compared using travel time difference or $L_2$ difference. We propose the Wasserstein metric as an alternative measure of fidelity or misfit in seismology. It exhibits properties from both of the traditional measures mentioned above. The numerical computation is based on the recent development of fast numerical methods for the Monge-Ampere equation and optimal transport. Applications to waveform inversion and registration are discussed and simple numerical examples are presented.
△ Less
Submitted 18 November, 2013;
originally announced November 2013.
-
Fast Swee** Methods for Hyperbolic Systems of Conservation Laws at Steady State
Authors:
Bjorn Engquist,
Brittany D. Froese,
Yen-Hsi Richard Tsai
Abstract:
Fast swee** methods have become a useful tool for computing the solutions of static Hamilton-Jacobi equations. By adapting the main idea behind these methods, we describe a new approach for computing steady state solutions to systems of conservation laws. By exploiting the flow of information along characteristics, these fast swee** methods can compute solutions very efficiently. Furthermore,…
▽ More
Fast swee** methods have become a useful tool for computing the solutions of static Hamilton-Jacobi equations. By adapting the main idea behind these methods, we describe a new approach for computing steady state solutions to systems of conservation laws. By exploiting the flow of information along characteristics, these fast swee** methods can compute solutions very efficiently. Furthermore, the methods capture shocks sharply by directly imposing the Rankine-Hugoniot shock conditions. We present convergence analysis and numerics for several one- and two-dimensional examples to illustrate the use and advantages of this approach.
△ Less
Submitted 3 June, 2013;
originally announced June 2013.
-
A viscosity solution approach to the Monge-Ampere formulation of the Optimal Transportation Problem
Authors:
Jean-David Benamou,
Brittany D. Froese,
Adam M. Oberman
Abstract:
In this work we present a numerical method for the Optimal Mass Transportation problem. Optimal Mass Transportation (OT) is an active research field in mathematics.It has recently led to significant theoretical results as well as applications in diverse areas. Numerical solution techniques for the OT problem remain underdeveloped. The solution is obtained by solving the second boundary value probl…
▽ More
In this work we present a numerical method for the Optimal Mass Transportation problem. Optimal Mass Transportation (OT) is an active research field in mathematics.It has recently led to significant theoretical results as well as applications in diverse areas. Numerical solution techniques for the OT problem remain underdeveloped. The solution is obtained by solving the second boundary value problem for the MA equation, a fully nonlinear elliptic partial differential equation (PDE). Instead of standard boundary conditions the problem has global state constraints. These are reformulated as a tractable local PDE. We give a proof of convergence of the numerical method, using the theory of viscosity solutions. Details of the implementation and a fast solution method are provided in the companion paper arXiv:1208.4870.
△ Less
Submitted 2 August, 2013; v1 submitted 23 August, 2012;
originally announced August 2012.
-
Numerical solution of the Optimal Transportation problem using the Monge-Ampere equation
Authors:
Jean-David Benamou,
Brittany D. Froese,
Adam M. Oberman
Abstract:
A numerical method for the solution of the elliptic Monge-Ampere Partial Differential Equation, with boundary conditions corresponding to the Optimal Transportation (OT) problem is presented. A local representation of the OT boundary conditions is combined with a finite difference scheme for the Monge-Ampere equation. Newton's method is implemented leading to a fast solver, comparable to solving t…
▽ More
A numerical method for the solution of the elliptic Monge-Ampere Partial Differential Equation, with boundary conditions corresponding to the Optimal Transportation (OT) problem is presented. A local representation of the OT boundary conditions is combined with a finite difference scheme for the Monge-Ampere equation. Newton's method is implemented leading to a fast solver, comparable to solving the Laplace equation on the same grid several times. Theoretical justification for the method is given by a convergence proof in the companion paper (Benamou et al., 2012). In this paper, the algorithm is modified to a simpler compact stencil implementation and details of the implementation are given. Solutions are computed with densities supported on non-convex and disconnected domains. Computational examples demonstrate robust performance on singular solutions and fast computational times.
△ Less
Submitted 23 August, 2012;
originally announced August 2012.
-
Convergent filtered schemes for the Monge-Ampère partial differential equation
Authors:
Brittany D. Froese,
Adam M. Oberman
Abstract:
The theory of viscosity solutions has been effective for representing and approximating weak solutions to fully nonlinear Partial Differential Equations (PDEs) such as the elliptic Monge-Ampère equation. The approximation theory of Barles-Souganidis [Barles and Souganidis, Asymptotic Anal., 4 (1999) 271-283] requires that numerical schemes be monotone (or elliptic in the sense of [Oberman, SIAM J.…
▽ More
The theory of viscosity solutions has been effective for representing and approximating weak solutions to fully nonlinear Partial Differential Equations (PDEs) such as the elliptic Monge-Ampère equation. The approximation theory of Barles-Souganidis [Barles and Souganidis, Asymptotic Anal., 4 (1999) 271-283] requires that numerical schemes be monotone (or elliptic in the sense of [Oberman, SIAM J. Numer. Anal, 44 (2006) 879-895]. But such schemes have limited accuracy. In this article, we establish a convergence result for nearly monotone schemes. This allows us to construct finite difference discretizations of arbitrarily high-order. We demonstrate that the higher accuracy is achieved when solutions are sufficiently smooth. In addition, the filtered scheme provides a natural detection principle for singularities. We employ this framework to construct a formally second-order scheme for the Monge-Ampère equation and present computational results on smooth and singular solutions.
△ Less
Submitted 3 December, 2012; v1 submitted 25 April, 2012;
originally announced April 2012.
-
A numerical method for the elliptic Monge-Ampère equation with transport boundary conditions
Authors:
Brittany D. Froese
Abstract:
The problem of optimal mass transport arises in numerous applications including image registration, mesh generation, reflector design, and astrophysics. One approach to solving this problem is via the Monge-Ampère equation. While recent years have seen much work in the development of numerical methods for solving this equation, very little has been done on the implementation of the transport bound…
▽ More
The problem of optimal mass transport arises in numerous applications including image registration, mesh generation, reflector design, and astrophysics. One approach to solving this problem is via the Monge-Ampère equation. While recent years have seen much work in the development of numerical methods for solving this equation, very little has been done on the implementation of the transport boundary condition. In this paper, we propose a method for solving the transport problem by iteratively solving a Monge-Ampère equation with Neumann boundary conditions. To enable map**s between variable densities, we extend an earlier discretization of the equation to allow for right-hand sides that depend on gradients of the solution [Froese and Oberman, SIAM J. Numer. Anal., 49 (2011) 1692--1714]. This discretization provably converges to the viscosity solution. The resulting system is solved efficiently with Newton's method. We provide several challenging computational examples that demonstrate the effectiveness and efficiency ($O(M)-O(M^{1.3})$ time) of the proposed method.
△ Less
Submitted 29 February, 2012; v1 submitted 25 January, 2011;
originally announced January 2011.
-
Convergent finite difference solvers for viscosity solutions of the elliptic Monge-Ampère equation in dimensions two and higher
Authors:
Brittany D. Froese,
Adam M. Oberman
Abstract:
The elliptic Monge-Ampère equation is a fully nonlinear Partial Differential Equation that originated in geometric surface theory and has been applied in dynamic meteorology, elasticity, geometric optics, image processing and image registration. Solutions can be singular, in which case standard numerical approaches fail. Novel solution methods are required for stability and convergence to the weak…
▽ More
The elliptic Monge-Ampère equation is a fully nonlinear Partial Differential Equation that originated in geometric surface theory and has been applied in dynamic meteorology, elasticity, geometric optics, image processing and image registration. Solutions can be singular, in which case standard numerical approaches fail. Novel solution methods are required for stability and convergence to the weak (viscosity) solution.
In this article we build a wide stencil finite difference discretization for the \MA equation. The scheme is monotone, so the Barles-Souganidis theory allows us to prove that the solution of the scheme converges to the unique viscosity solution of the equation.
Solutions of the scheme are found using a damped Newton's method. We prove convergence of Newton's method and provide a systematic method to determine a starting point for the Newton iteration.
Computational results are presented in two and three dimensions, which demonstrates the speed and accuracy of the method on a number of exact solutions, which range in regularity from smooth to non-differentiable.
△ Less
Submitted 3 June, 2011; v1 submitted 5 July, 2010;
originally announced July 2010.
-
Fast finite difference solvers for singular solutions of the elliptic Monge-Ampère equation
Authors:
Brittany D. Froese,
Adam M. Oberman
Abstract:
The elliptic Monge-Ampere equation is a fully nonlinear Partial Differential Equation which originated in geometric surface theory, and has been applied in dynamic meteorology, elasticity, geometric optics, image processing and image registration. Solutions can be singular, in which case standard numerical approaches fail. In this article we build a finite difference solver for the Monge-Ampere eq…
▽ More
The elliptic Monge-Ampere equation is a fully nonlinear Partial Differential Equation which originated in geometric surface theory, and has been applied in dynamic meteorology, elasticity, geometric optics, image processing and image registration. Solutions can be singular, in which case standard numerical approaches fail. In this article we build a finite difference solver for the Monge-Ampere equation, which converges even for singular solutions. Regularity results are used to select a priori between a stable, provably convergent monotone discretization and an accurate finite difference discretization in different regions of the computational domain. This allows singular solutions to be computed using a stable method, and regular solutions to be computed more accurately. The resulting nonlinear equations are then solved by Newton's method. Computational results in two and three dimensions validate the claims of accuracy and solution speed. A computational example is presented which demonstrates the necessity of the use of the monotone scheme near singularities.
△ Less
Submitted 8 July, 2010; v1 submitted 29 June, 2010;
originally announced June 2010.