-
High-Order Discretization of Backward Anisotropic Diffusion and Application to Image Processing
Authors:
Lorella Fatone,
Daniele Funaro
Abstract:
Anisotropic diffusion is a well recognized tool in digital image processing, including edge detection and denoising. We present here a particular nonlinear time-dependent operator together with an appropriate high-order discretization for the space variable. The iterative procedure emphasizes the contour lines encircling the objects, paving the way to accurate reconstructions at a very low cost. O…
▽ More
Anisotropic diffusion is a well recognized tool in digital image processing, including edge detection and denoising. We present here a particular nonlinear time-dependent operator together with an appropriate high-order discretization for the space variable. The iterative procedure emphasizes the contour lines encircling the objects, paving the way to accurate reconstructions at a very low cost. One of the main features of such an approach is the possibility of relying on a rather large set of invariant discontinuous images, whose edges can be determined without introducing any approximation.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
A decision-making machine learning approach in Hermite spectral approximations of partial differential equations
Authors:
Lorella Fatone,
Daniele Funaro,
Gianmarco Manzini
Abstract:
The accuracy and effectiveness of Hermite spectral methods for the numerical discretization of partial differential equations on unbounded domains, are strongly affected by the amplitude of the Gaussian weight function employed to describe the approximation space. This is particularly true if the problem is under-resolved, i.e., there are no enough degrees of freedom. The issue becomes even more c…
▽ More
The accuracy and effectiveness of Hermite spectral methods for the numerical discretization of partial differential equations on unbounded domains, are strongly affected by the amplitude of the Gaussian weight function employed to describe the approximation space. This is particularly true if the problem is under-resolved, i.e., there are no enough degrees of freedom. The issue becomes even more crucial when the equation under study is time-dependent, forcing in this way the choice of Hermite functions where the corresponding weight depends on time. In order to adapt dynamically the approximation space, it is here proposed an automatic decision-making process that relies on machine learning techniques, such as deep neural networks and support vector machines. The algorithm is numerically tested with success on a simple 1D problem, but the main goal is its exportability in the context of more serious applications.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Stability and conservation properties of Hermite-based approximations of the Vlasov-Poisson system
Authors:
Daniele Funaro,
Gianmarco Manzini
Abstract:
Spectral approximation based on Hermite-Fourier expansion of the Vlasov-Poisson model for a collisionless plasma in the electro-static limit is provided, by including high-order artificial collision operators of Lenard-Bernstein type. These differential operators are suitably designed in order to preserve the physically-meaningful invariants (number of particles, momentum, energy). In view of time…
▽ More
Spectral approximation based on Hermite-Fourier expansion of the Vlasov-Poisson model for a collisionless plasma in the electro-static limit is provided, by including high-order artificial collision operators of Lenard-Bernstein type. These differential operators are suitably designed in order to preserve the physically-meaningful invariants (number of particles, momentum, energy). In view of time-discretization, stability results in appropriate norms are presented. In this study, necessary conditions link the magnitude of the artificial collision term, the number of spectral modes of the discretization, as well as the time-step. The analysis, carried out in full for the Hermite discretization of a simple linear problem in one-dimension, is then partly extended to cover the complete nonlinear Vlasov-Poisson model.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
How and why non smooth solutions of the 3D Navier-Stokes equations could possibly develop
Authors:
Daniele Funaro
Abstract:
Fluid configurations in three-dimensions, displaying a plausible decay of regularity in a finite time, are suitably built and examined. Vortex rings are the primary ingredients in this study. The full Navier-Stokes system is converted into a 3D scalar problem, where appropriate numerical methods are implemented in order to figure out the behavior of the solutions. Further simplifications in 2D and…
▽ More
Fluid configurations in three-dimensions, displaying a plausible decay of regularity in a finite time, are suitably built and examined. Vortex rings are the primary ingredients in this study. The full Navier-Stokes system is converted into a 3D scalar problem, where appropriate numerical methods are implemented in order to figure out the behavior of the solutions. Further simplifications in 2D and 1D provide interesting toy problems, that may be used as a starting platform for a better understanding of blowup phenomena.
△ Less
Submitted 9 May, 2020; v1 submitted 3 April, 2020;
originally announced April 2020.
-
A Semi-Lagrangian Spectral Method for the Vlasov-Poisson System based on Fourier, Legendre and Hermite Polynomials
Authors:
Lorella Fatone,
Daniele Funaro,
Gianmarco Manzini
Abstract:
In this work, we apply a semi-Lagrangian spectral method for the Vlasov-Poisson system, previously designed for periodic Fourier discretizations, by implementing Legendre polynomials and Hermite functions in the approximation of the distribution function with respect to the velocity variable. We discuss second-order accurate-in-time schemes, obtained by coupling spectral techniques in the space-ve…
▽ More
In this work, we apply a semi-Lagrangian spectral method for the Vlasov-Poisson system, previously designed for periodic Fourier discretizations, by implementing Legendre polynomials and Hermite functions in the approximation of the distribution function with respect to the velocity variable. We discuss second-order accurate-in-time schemes, obtained by coupling spectral techniques in the space-velocity domain with a BDF time-step** scheme. The resulting method possesses good conservation properties, which have been assessed by a series of numerical tests conducted on the standard two-stream instability benchmark problem. In the Hermite case, we also investigate the numerical behavior in dependence of a scaling parameter in the Gaussian weight. Confirming previous results from the literature, our experiments for different representative values of this parameter, indicate that a proper choice may significantly impact on accuracy, thus suggesting that suitable strategies should be developed to automatically update the parameter during the time-advancing procedure.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Isospectral domains for discrete elliptic operators
Authors:
Lorella Fatone,
Daniele Funaro
Abstract:
Concerning the Laplace operator with homogeneous Dirichlet boundary conditions, the classical notion of isospectrality assumes that two domains are related when they give rise to the same spectrum. In two dimensions, non isometric, isospectral domains exist. It is not known however if all the eigenvalues relative to a specific domain can be preserved under suitable continuous deformation of its ge…
▽ More
Concerning the Laplace operator with homogeneous Dirichlet boundary conditions, the classical notion of isospectrality assumes that two domains are related when they give rise to the same spectrum. In two dimensions, non isometric, isospectral domains exist. It is not known however if all the eigenvalues relative to a specific domain can be preserved under suitable continuous deformation of its geometry. We show that this is possible when the 2D Laplacian is replaced by a finite dimensional version and the geometry is modified by respecting certain constraints. The analysis is carried out in a very small finite dimensional space, but it can be extended to more accurate finite-dimensional representations of the 2D Laplacian, with an increase of computational complexity. The aim of this paper is to introduce the preliminary steps in view of more serious generalizations.
△ Less
Submitted 29 March, 2018;
originally announced March 2018.
-
Arbitrary-order time-accurate semi-Lagrangian spectral approximations of the Vlasov-Poisson system
Authors:
Lorella Fatone,
Daniele Funaro,
Gianmarco Manzini
Abstract:
The Vlasov-Poisson system, modeling the evolution of non-collisional plasmas in the electrostatic limit, is approx- imated by a Semi-Lagrangian technique. Spectral methods of periodic type are implemented through a collocation approach. Groups of particles are represented by the Fourier Lagrangian basis and evolve, for a single timestep, along an high-order accurate representation of the local cha…
▽ More
The Vlasov-Poisson system, modeling the evolution of non-collisional plasmas in the electrostatic limit, is approx- imated by a Semi-Lagrangian technique. Spectral methods of periodic type are implemented through a collocation approach. Groups of particles are represented by the Fourier Lagrangian basis and evolve, for a single timestep, along an high-order accurate representation of the local characteristic lines. The time-advancing technique is based on Taylor developments that can be, in principle, of any order of accuracy, or by coupling the phase space discretiza- tion with high-order accurate Backward Differentiation Formulas (BDF) as in the method-of-lines framework. At each timestep, particle displacements are reinterpolated and expressed in the original basis to guarantee the order of accuracy in all the variables at relatively low costs. Thus, these techniques combine excellent features of spectral approximations with high-order time integration. Series of numerical experiments are performed in order to assess the real performance. In particular, comparisons with standard benchmarks are examined.
△ Less
Submitted 5 April, 2018; v1 submitted 25 March, 2018;
originally announced March 2018.
-
Convergence of spectral discretizations of the Vlasov-Poisson system
Authors:
Gianmarco Manzini,
Daniele Funaro,
Gian Luca Delzanno
Abstract:
We prove the convergence of a spectral discretization of the Vlasov-Poisson system. The velocity term of the Vlasov equation is discretized using either Hermite functions on the infinite domain or Legendre polynomials on a bounded domain. The spatial term of the Vlasov and Poisson equations is discretized using periodic Fourier expansions. Boundary conditions are treated in weak form through a pen…
▽ More
We prove the convergence of a spectral discretization of the Vlasov-Poisson system. The velocity term of the Vlasov equation is discretized using either Hermite functions on the infinite domain or Legendre polynomials on a bounded domain. The spatial term of the Vlasov and Poisson equations is discretized using periodic Fourier expansions. Boundary conditions are treated in weak form through a penalty type term, that can be applied also in the Hermite case. As a matter of fact, stability properties of the approximated scheme descend from this added term. The convergence analysis is carried out in details for the 1D-1V case, but results can be generalized to multidimensional domains, obtained as Cartesian product, in both space and velocity. The error estimates show the spectral convergence, under suitable regularity assumptions on the exact solution.
△ Less
Submitted 2 May, 2017; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Optimal Collocation Nodes for Fractional Derivative Operators
Authors:
Lorella Fatone,
Daniele Funaro
Abstract:
Spectral discretizations of fractional derivative operators are examined, where the approximation basis is related to the set of Jacobi polynomials. The pseudo-spectral method is implemented by assuming that the grid, used to represent the function to be differentiated, may not be coincident with the collocation grid. The new option opens the way to the analysis of alternative techniques and the s…
▽ More
Spectral discretizations of fractional derivative operators are examined, where the approximation basis is related to the set of Jacobi polynomials. The pseudo-spectral method is implemented by assuming that the grid, used to represent the function to be differentiated, may not be coincident with the collocation grid. The new option opens the way to the analysis of alternative techniques and the search of optimal distributions of collocation nodes, based on the operator to be approximated. Once the initial representation grid has been chosen, indications on how to recover the collocation grid are provided, with the aim of enlarging the dimension of the approximation space. As a results of this process, performances are improved. Applications to fractional type advection-diffusion equations, and comparisons in terms of accuracy and efficiency are made. As shown in the analysis, special choices of the nodes can also suggest tricks to speed up computations.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.