-
Convolution Quadrature for the quasilinear subdiffusion equation
Authors:
Maria López-Fernández,
Łukasz Płociniczak
Abstract:
We construct a Convolution Quadrature (CQ) scheme for the quasilinear subdiffusion equation and supply it with the fast and oblivious implementation. In particular we find a condition for the CQ to be admissible and discretize the spatial part of the equation with the Finite Element Method. We prove the unconditional stability and convergence of the scheme and find a bound on the error. As a passi…
▽ More
We construct a Convolution Quadrature (CQ) scheme for the quasilinear subdiffusion equation and supply it with the fast and oblivious implementation. In particular we find a condition for the CQ to be admissible and discretize the spatial part of the equation with the Finite Element Method. We prove the unconditional stability and convergence of the scheme and find a bound on the error. As a passing result, we also obtain a discrete Gronwall inequality for the CQ, which is a crucial ingredient of our convergence proof based on the energy method. The paper is concluded with numerical examples verifying convergence and computation time reduction when using fast and oblivious quadrature.
△ Less
Submitted 8 November, 2023; v1 submitted 31 October, 2023;
originally announced November 2023.
-
Generalized Convolution Quadrature for non smooth sectorial problems
Authors:
**g Guo,
Maria Lopez-Fernandez
Abstract:
We consider the application of the generalized Convolution Quadrature (gCQ) to approximate the solution of an important class of sectorial problems. The gCQ is a generalization of Lubich's Convolution Quadrature (CQ) that allows for variable steps. The available stability and convergence theory for the gCQ requires non realistic regularity assumptions on the data, which do not hold in many applica…
▽ More
We consider the application of the generalized Convolution Quadrature (gCQ) to approximate the solution of an important class of sectorial problems. The gCQ is a generalization of Lubich's Convolution Quadrature (CQ) that allows for variable steps. The available stability and convergence theory for the gCQ requires non realistic regularity assumptions on the data, which do not hold in many applications of interest, such as the approximation of subdiffusion equations. It is well known that for non smooth enough data the original CQ, with uniform steps, presents an order reduction close to the singularity. We generalize the analysis of the gCQ to data satisfying realistic regularity assumptions and provide sufficient conditions for stability and convergence on arbitrary sequences of time points. We consider the particular case of graded meshes and show how to choose them optimally, according to the behaviour of the data. An important advantage of the gCQ method is that it allows for a fast and memory reduced implementation. We describe how the fast and oblivious gCQ can be implemented and illustrate our theoretical results with several numerical experiments.
△ Less
Submitted 5 June, 2024; v1 submitted 24 November, 2022;
originally announced November 2022.
-
Pseudospectral roaming contour integral methods for convection-diffusion equations
Authors:
Nicola Guglielmi,
Maria López-Fernández,
Mattia Manucci
Abstract:
We generalize ideas in the recent literature and develop new ones in order to propose a general class of contour integral methods for linear convection-diffusion PDEs and in particular for those arising in finance. These methods aim to provide a numerical approximation of the solution by computing its inverse Laplace transform. The choice of the integration contour is determined by the computation…
▽ More
We generalize ideas in the recent literature and develop new ones in order to propose a general class of contour integral methods for linear convection-diffusion PDEs and in particular for those arising in finance. These methods aim to provide a numerical approximation of the solution by computing its inverse Laplace transform. The choice of the integration contour is determined by the computation of a few suitably weighted pseudo-spectral level sets of the leading operator of the equation. Parabolic and hyperbolic profiles proposed in the literature are investigated and compared to the elliptic contour originally proposed by Guglielmi, López-Fernández and Nino. In summary, the article
(i) provides a comparison among three different integration profiles;
(ii) proposes a new fast pseudospectral roaming method;
(iii) optimizes the selection of time windows on which one may arbitrarily approximate the solution by no extra computational cost with respect to the case of a fixed time instant;
(iv) focuses extensively on computational aspects and it is the reference of the MATLAB code https://github.com/MattiaManucci/Contour_Integral_Methods.git, where all algorithms described here are implemented.
△ Less
Submitted 28 May, 2021; v1 submitted 13 December, 2020;
originally announced December 2020.
-
Numerical approximation of the Schrödinger equation with concentrated potential
Authors:
Lehel Banjai,
María López-Fernández
Abstract:
We present a family of algorithms for the numerical approximation of the Schrödinger equation with potential concentrated at a finite set of points. Our methods belong to the so-called fast and oblivious convolution quadrature algorithms. These algorithms are special implementations of Lubich's Convolution Quadrature which allow, for certain applications in particular parabolic problems, to signif…
▽ More
We present a family of algorithms for the numerical approximation of the Schrödinger equation with potential concentrated at a finite set of points. Our methods belong to the so-called fast and oblivious convolution quadrature algorithms. These algorithms are special implementations of Lubich's Convolution Quadrature which allow, for certain applications in particular parabolic problems, to significantly reduce the computational cost and memory requirements. Recently it has been noticed that their use can be extended to some hyperbolic problems. Here we propose a new family of such efficient algorithms tailored to the features of the Green's function for Schrödinger equations. In this way, we are able to keep the computational cost and the storage requirements significantly below existing approaches. These features allow us to perform reliable numerical simulations for longer times even in cases where the solution becomes highly oscillatory or seems to develop finite time blow-up. We illustrate our new algorithm with several numerical experiments.
△ Less
Submitted 29 November, 2019; v1 submitted 4 August, 2019;
originally announced August 2019.
-
Variable Order, Directional H2-Matrices for Helmholtz Problems with Complex Frequency
Authors:
Steffen Börm,
Maria Lopez-Fernandez,
Stefan Sauter
Abstract:
The sparse approximation of high-frequency Helmholtz-type integral operators has many important physical applications such as problems in wave propagation and wave scattering. The discrete system matrices are huge and densely populated; hence their sparse approximation is of outstanding importance. In our paper we will generalize the directional $\mathcal{H}^{2}$-matrix techniques from the \textqu…
▽ More
The sparse approximation of high-frequency Helmholtz-type integral operators has many important physical applications such as problems in wave propagation and wave scattering. The discrete system matrices are huge and densely populated; hence their sparse approximation is of outstanding importance. In our paper we will generalize the directional $\mathcal{H}^{2}$-matrix techniques from the \textquotedblleft pure\textquotedblright\ Helmholtz operator $\mathcal{L}u=-Δu+ζ^{2}u$ with $ζ=-\operatorname*{i}k$, $k\in\mathbb{R}$, to general complex frequencies $ζ\in\mathbb{C}$ with $\operatorname{Re}ζ>0$. In this case, the fundamental solution decreases exponentially for large arguments. We will develop a new admissibility condition which contains $\operatorname{Re}ζ$ in an explicit way and introduce the approximation of the integral kernel function on admissible blocks in terms of frequency-dependent \textit{directional expansion functions}. We develop an error analysis which is explicit with respect to the expansion order and with respect to $\operatorname{Re}ζ$ and $\operatorname{Im}ζ$. This allows to choose the \textit{variable }expansion order in a quasi-optimal way depending on $\operatorname{Re}ζ$ but independent of, possibly large, $\operatorname{Im}ζ$. The complexity analysis is explicit with respect to $\operatorname{Re}ζ$ and $\operatorname{Im}ζ$ and shows how higher values of $\operatorname{Re}% ζ$ reduce the complexity. In certain cases, it even turns out that the discrete matrix can be replaced by its nearfield part.
Numerical experiments illustrate the sharpness of the derived estimates and the efficiency of our sparse approximation.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Efficient high order algorithms for fractional integrals and fractional differential equations
Authors:
Lehel Banjai,
María López-Fernández
Abstract:
We propose an efficient algorithm for the approximation of fractional integrals by using Runge--Kutta based convolution quadrature. The algorithm is based on a novel integral representation of the convolution weights and a special quadrature for it. The resulting method is easy to implement, allows for high order, relies on rigorous error estimates and its performance in terms of memory and comput…
▽ More
We propose an efficient algorithm for the approximation of fractional integrals by using Runge--Kutta based convolution quadrature. The algorithm is based on a novel integral representation of the convolution weights and a special quadrature for it. The resulting method is easy to implement, allows for high order, relies on rigorous error estimates and its performance in terms of memory and computational cost is among the best to date. Several numerical results illustrate the method and we describe how to apply the new algorithm to solve fractional diffusion equations. For a class of fractional diffusion equations we give the error analysis of the full space-time discretization obtained by coupling the FEM method in space with Runge--Kutta based convolution quadrature in time.
△ Less
Submitted 30 August, 2018; v1 submitted 1 March, 2018;
originally announced March 2018.
-
Numerical inverse Laplace transform for convection-diffusion equations
Authors:
Nicola Guglielmi,
Maria López-Fernández,
Giancarlo Nino
Abstract:
In this paper a novel contour integral method is proposed for linear convection-diffusion equations. The method is based on the inversion of the Laplace transform and makes use of a contour given by an elliptic arc joined symmetrically to two half-lines. The trapezoidal rule is the chosen integration method for the numerical inversion of the Laplace transform, due to its well-known fast convergenc…
▽ More
In this paper a novel contour integral method is proposed for linear convection-diffusion equations. The method is based on the inversion of the Laplace transform and makes use of a contour given by an elliptic arc joined symmetrically to two half-lines. The trapezoidal rule is the chosen integration method for the numerical inversion of the Laplace transform, due to its well-known fast convergence properties when applied to analytic functions. Error estimates are provided as well as careful indications about the choice of several involved parameters. The method selects the elliptic arc in the integration contour by an algorithmic strategy based on the computation of pseudospectral level sets of the discretized differential operator. In this sense the method is general and can be applied to any linear convection-diffusion equation without knowing any a priori information about its pseudospectral geometry. Numerical experiments performed on the Black-Scholes ($1D$) and Heston ($2D$) equations show that the method is competitive with other contour integral methods available in the literature.
△ Less
Submitted 6 September, 2018; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Fast and oblivious algorithms for dissipative and 2D wave equations
Authors:
Lehel Banjai,
María López-Fernández,
Achim Schädle
Abstract:
The use of time-domain boundary integral equations has proved very effective and efficient for three dimensional acoustic and electromagnetic wave equations. In even dimensions and when some dissipation is present, time-domain boundary equations contain an infinite memory tail. Due to this, computation for longer times becomes exceedingly expensive. In this paper we show how oblivious quadrature,…
▽ More
The use of time-domain boundary integral equations has proved very effective and efficient for three dimensional acoustic and electromagnetic wave equations. In even dimensions and when some dissipation is present, time-domain boundary equations contain an infinite memory tail. Due to this, computation for longer times becomes exceedingly expensive. In this paper we show how oblivious quadrature, initially designed for parabolic problems, can be used to significantly reduce both the cost and the memory requirements of computing this tail. We analyse Runge-Kutta based quadrature and conclude the paper with numerical experiments.
△ Less
Submitted 14 April, 2016;
originally announced April 2016.
-
Rayleigh-Taylor breakdown for the Muskat problem with applications to water waves
Authors:
Angel Castro,
Diego Cordoba,
Charles Fefferman,
Francisco Gancedo,
Maria Lopez-Fernandez
Abstract:
The Muskat problem models the evolution of the interface given by two different fluids in porous media. The Rayleigh-Taylor condition is natural to reach the linear stability of the Muskat problem. We show that the Rayleigh-Taylor condition may hold initially but break down in finite time. As a consequence of the method used, we prove the existence of water waves turning.
The Muskat problem models the evolution of the interface given by two different fluids in porous media. The Rayleigh-Taylor condition is natural to reach the linear stability of the Muskat problem. We show that the Rayleigh-Taylor condition may hold initially but break down in finite time. As a consequence of the method used, we prove the existence of water waves turning.
△ Less
Submitted 10 June, 2011; v1 submitted 9 February, 2011;
originally announced February 2011.
-
Approximating travelling waves by equilibria of non local equations
Authors:
Jose M. Arrieta,
Maria Lopez-Fernandez,
Enrique Zuazua
Abstract:
We consider an evolution equation of parabolic type in R having a travelling wave solution. We perform an appropriate change of variables which transforms the equation into a non local evolution one having a travelling wave solution with zero speed of propagation with exactly the same profile as the original one. We analyze the relation of the new equation with the original one in the entire real…
▽ More
We consider an evolution equation of parabolic type in R having a travelling wave solution. We perform an appropriate change of variables which transforms the equation into a non local evolution one having a travelling wave solution with zero speed of propagation with exactly the same profile as the original one. We analyze the relation of the new equation with the original one in the entire real line. We also analyze the behavior of the non local problem in a bounded interval with appropriate boundary conditions and show that it has a unique stationary solution which is asymptotically stable for large enough intervals and that converges to the travelling wave as the interval approaches the entire real line. This procedure allows to compute simultaneously the travelling wave profile and its propagation speed avoiding moving meshes, as we illustrate with several numerical examples.
△ Less
Submitted 18 January, 2011;
originally announced January 2011.
-
Turning waves and breakdown for incompressible flows
Authors:
Angel Castro,
Diego Cordoba,
Charles Fefferman,
Francisco Gancedo,
Maria Lopez-Fernandez
Abstract:
We consider the evolution of an interface generated between two immiscible incompressible and irrotational fluids. Specifically we study the Muskat and water wave problems. We show that starting with a family of initial data given by $(\al,f_0(\al))$, the interface reaches a regime in finite time in which is no longer a graph. Therefore there exists a time $t^*$ where the solution of the free boun…
▽ More
We consider the evolution of an interface generated between two immiscible incompressible and irrotational fluids. Specifically we study the Muskat and water wave problems. We show that starting with a family of initial data given by $(\al,f_0(\al))$, the interface reaches a regime in finite time in which is no longer a graph. Therefore there exists a time $t^*$ where the solution of the free boundary problem parameterized as $(\al,f(\al,t))$ blows-up: $\|\da f\|_{L^\infty}(t^*)=\infty$. In particular, for the Muskat problem, this result allows us to reach an unstable regime, for which the Rayleigh-Taylor condition changes sign and the solution breaks down.
△ Less
Submitted 27 November, 2010;
originally announced November 2010.
-
On the implementation of exponential methods for semilinear parabolic equations
Authors:
Maria Lopez-Fernandez
Abstract:
The time integration of semilinear parabolic problems by exponential methods of different kinds is considered. A new algorithm for the implementation of these methods is proposed. The algorithm evaluates the operators required by the exponential methods by means of a quadrature formula that converges like $O(e^{-cK/\ln K})$, with $K$ the number of quadrature nodes. The algorithm allows also the…
▽ More
The time integration of semilinear parabolic problems by exponential methods of different kinds is considered. A new algorithm for the implementation of these methods is proposed. The algorithm evaluates the operators required by the exponential methods by means of a quadrature formula that converges like $O(e^{-cK/\ln K})$, with $K$ the number of quadrature nodes. The algorithm allows also the evaluation of the associated scalar map**s and in this case the quadrature converges like $O(e^{-cK})$. The technique is based on the numerical inversion of sectorial Laplace transforms. Several numerical illustrations are provided to test the algorithm.
△ Less
Submitted 22 October, 2008;
originally announced October 2008.
-
Adaptive, Fast and Oblivious Convolution in Evolution Equations with Memory
Authors:
María López-Fernández,
Christian Lubich,
Achim Schädle
Abstract:
To approximate convolutions which occur in evolution equations with memory terms, a variable-stepsize algorithm is presented for which advancing N steps requires only O(N log(N)) operations and O(log(N)) active memory, in place of O(N^2) operations and O(N) memory for a direct implementation. A basic feature of the fast algorithm is the reduction, via contour integral representations, to differe…
▽ More
To approximate convolutions which occur in evolution equations with memory terms, a variable-stepsize algorithm is presented for which advancing N steps requires only O(N log(N)) operations and O(log(N)) active memory, in place of O(N^2) operations and O(N) memory for a direct implementation. A basic feature of the fast algorithm is the reduction, via contour integral representations, to differential equations which are solved numerically with adaptive step sizes. Rather than the kernel itself, its Laplace transform is used in the algorithm. The algorithm is illustrated on three examples: a blow-up example originating from a Schrödinger equation with concentrated nonlinearity, chemical reactions with inhibited diffusion, and viscoelasticity with a fractional order constitutive law.
△ Less
Submitted 7 November, 2006;
originally announced November 2006.
-
Fast Runge-Kutta approximation of inhomogeneous parabolic equations
Authors:
María López-Fernández,
Christian Lubich,
Cesar Palencia,
Achim Schädle
Abstract:
The result after $N$ steps of an implicit Runge-Kutta time discretization of an inhomogeneous linear parabolic differential equation is computed, up to accuracy $ε$, by solving only $$O\Big(\log N \log \frac1ε\Big) $$ linear systems of equations. We derive, analyse, and numerically illustrate this fast algorithm.
The result after $N$ steps of an implicit Runge-Kutta time discretization of an inhomogeneous linear parabolic differential equation is computed, up to accuracy $ε$, by solving only $$O\Big(\log N \log \frac1ε\Big) $$ linear systems of equations. We derive, analyse, and numerically illustrate this fast algorithm.
△ Less
Submitted 22 April, 2005;
originally announced April 2005.
-
Fast and oblivious convolution quadrature
Authors:
Achim Schädle,
María López-Fernández,
Christian Lubich
Abstract:
We give an algorithm to compute $N$ steps of a convolution quadrature approximation to a continuous temporal convolution using only $O(N \log N)$ multiplications and $O(\log N)$ active memory. The method does not require evaluations of the convolution kernel, but instead $O(\log N)$ evaluations of its Laplace transform, which is assumed sectorial.
The algorithm can be used for the stable numer…
▽ More
We give an algorithm to compute $N$ steps of a convolution quadrature approximation to a continuous temporal convolution using only $O(N \log N)$ multiplications and $O(\log N)$ active memory. The method does not require evaluations of the convolution kernel, but instead $O(\log N)$ evaluations of its Laplace transform, which is assumed sectorial.
The algorithm can be used for the stable numerical solution with quasi-optimal complexity of linear and nonlinear integral and integro-differential equations of convolution type. In a numerical example we apply it to solve a subdiffusion equation with transparent boundary conditions.
△ Less
Submitted 22 April, 2005;
originally announced April 2005.
-
A spectral order method for inverting sectorial Laplace transforms
Authors:
María López-Fernández,
Cesar Palencia,
Achim Schädle
Abstract:
Laplace transforms which admit a holomorphic extension to some sector strictly containing the right half plane and exhibiting a potential behavior are considered. A spectral order, parallelizable method for their numerical inversion is proposed. The method takes into account the available information about the errors arising in the evaluations. Several numerical illustrations are provided.
Laplace transforms which admit a holomorphic extension to some sector strictly containing the right half plane and exhibiting a potential behavior are considered. A spectral order, parallelizable method for their numerical inversion is proposed. The method takes into account the available information about the errors arising in the evaluations. Several numerical illustrations are provided.
△ Less
Submitted 21 April, 2005;
originally announced April 2005.