Showing 1–49 of 49 results for author: Iavernaro, F

Numerical solution of FDE-IVPs by using Fractional HBVMs: the fhbvm code

Authors: Luigi Brugnano, Gianmarco Gurioli, Felice Iavernaro

Abstract: In this paper we describe the efficient numerical implementation of Fractional HBVMs, a class of methods recently introduced for solving systems of fractional differential equations. The reported arguments are implemented in the Matlab code fhbvm, which is made available on the web. An extensive experimentation of the code is reported, to give evidence of its effectiveness. In this paper we describe the efficient numerical implementation of Fractional HBVMs, a class of methods recently introduced for solving systems of fractional differential equations. The reported arguments are implemented in the Matlab code fhbvm, which is made available on the web. An extensive experimentation of the code is reported, to give evidence of its effectiveness. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 26 pages, 6 figures

MSC Class: 34A08; 65R20; 65-04

A shooting-Newton procedure for solving fractional terminal value problems

Authors: Luigi Brugnano, Gianmarco Gurioli, Felice Iavernaro

Abstract: In this paper we consider the numerical solution of fractional terminal value problems (FDE-TVPs). In particular, the proposed procedure uses a Newton-type iteration which is particularly efficient when coupled with a recently-introduced step-by-step procedure for solving fractional initial value problems (FDE-IVPs), able to produce spectrally accurate solutions of FDE problems. Some numerical tes… ▽ More In this paper we consider the numerical solution of fractional terminal value problems (FDE-TVPs). In particular, the proposed procedure uses a Newton-type iteration which is particularly efficient when coupled with a recently-introduced step-by-step procedure for solving fractional initial value problems (FDE-IVPs), able to produce spectrally accurate solutions of FDE problems. Some numerical tests are reported to make evidence of its effectiveness. △ Less

Submitted 5 July, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 24 pages, 4 figures

MSC Class: 34A08; 65R20

Fluid statics of a self-gravitating isothermal sphere of van der Waals' gas

Authors: Domenico Giordano, Pierluigi Amodio, Felice Iavernaro, Francesca Mazzia, Péter Ván, Mátyás Szücs

Abstract: We subject to scrutiny the physical consistency of adopting the perfect-gas thermodynamic model within self-gravitation circumstances by studying the fluid statics of a self-gravitating isothermal sphere with the van der Waals' thermodynamic model, whose equation of state features well-known terms that account for molecular attraction and size. The governing equations are formulated for any thermo… ▽ More We subject to scrutiny the physical consistency of adopting the perfect-gas thermodynamic model within self-gravitation circumstances by studying the fluid statics of a self-gravitating isothermal sphere with the van der Waals' thermodynamic model, whose equation of state features well-known terms that account for molecular attraction and size. The governing equations are formulated for any thermodynamic model with two intensive degrees of freedom, applied with the van der Waals' model and solved numerically in nondimensional form by finite-difference algorithms. After a brief summary of thermodynamic characteristics possessed by the van der Waals' model, and relevant to the present study, we proceed to the description of the results in terms of comparative graphs illustrating radial profiles of density, pressure and gravitational field. We complement them with graphs that compare the dependence of central and wall densities on gravitational number for both perfect-gas and van der Waals' models and that attest dramatically and unequivocally how the presence of molecular-attraction and -size terms removes questionable fluid-statics results systematically found accompanying the perfect-gas model in standard treatments. We also describe, within a very brief and preliminary digression, how the sanitising action of the mentioned terms affects the thermodynamics of the isothermal sphere by providing evidence of how the gravitational correction to entropy corresponding to the van der Waals' model makes sure that there is no risk of gravothermal catastrophes, negative specific heats, and thermal instabilities. Furthermore, we investigate the phenomenology related to self-gravitationally induced both liquid-gas phase equilibria and metastable-gas states and we describe how they arise naturally and self-consistently from the governing equations. We conclude with a summary of the main results ... △ Less

Submitted 27 December, 2023; v1 submitted 20 November, 2023; originally announced November 2023.

Comments: Minor revision with correcte typos. 27 pages, 29 figures, 5 tables, 64 bibliographic references

A spectrally accurate step-by-step method for the numerical solution of fractional differential equations

Authors: L. Brugnano, K. Burrage, P. Burrage, F. Iavernaro

Abstract: In this paper we consider the numerical solution of fractional differential equations. In particular, we study a step-by-step graded mesh procedure based on an expansion of the vector field using orthonormal Jacobi polynomials. Under mild hypotheses, the proposed procedure is capable of getting spectral accuracy. A few numerical examples are reported to confirm the theoretical findings. In this paper we consider the numerical solution of fractional differential equations. In particular, we study a step-by-step graded mesh procedure based on an expansion of the vector field using orthonormal Jacobi polynomials. Under mild hypotheses, the proposed procedure is capable of getting spectral accuracy. A few numerical examples are reported to confirm the theoretical findings. △ Less

Submitted 16 December, 2023; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: 26 pages, 2 figures, 7 tables, a few typos fixed in the updated version

MSC Class: 65L05; 65L03; 65L99

Journal ref: J. Sci. Comput. 99 (2024) 48

An entropy-based approach for a robust least squares spline approximation

Authors: Luigi Brugnano, Domenico Giordano, Felice Iavernaro, Giorgia Rubino

Abstract: We consider the weighted least squares spline approximation of a noisy dataset. By interpreting the weights as a probability distribution, we maximize the associated entropy subject to the constraint that the mean squared error is prescribed to a desired (small) value. Acting on this error yields a robust regression method that automatically detects and removes outliers from the data during the fi… ▽ More We consider the weighted least squares spline approximation of a noisy dataset. By interpreting the weights as a probability distribution, we maximize the associated entropy subject to the constraint that the mean squared error is prescribed to a desired (small) value. Acting on this error yields a robust regression method that automatically detects and removes outliers from the data during the fitting procedure, by assigning them a very small weight. We discuss the use of both spline functions and spline curves. A number of numerical illustrations have been included to disclose the potentialities of the maximal-entropy approach in different application fields. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 11 color pictures

MSC Class: 65D10; 94A17

Journal ref: Journal of Computational and Applied Mathematics 443 (2024) 115773

A probabilistic approach to the twin prime and cousin prime conjectures

Authors: Daniele Bufalo, Michele Bufalo, Felice Iavernaro

Abstract: We address the question of the infinitude of twin and cousin prime pairs from a probabilistic perspective. Our approach partitions the set of integer numbers greater than $2$ in finite intervals of the form $[p_{n-1}^2,p_n^2)$, $p_{n-1}$ and $p_n$ being two consecutive primes, and evaluates the probability $q_n$ that such an interval contains a twin prime and a cousin prime. Combining Merten's thi… ▽ More We address the question of the infinitude of twin and cousin prime pairs from a probabilistic perspective. Our approach partitions the set of integer numbers greater than $2$ in finite intervals of the form $[p_{n-1}^2,p_n^2)$, $p_{n-1}$ and $p_n$ being two consecutive primes, and evaluates the probability $q_n$ that such an interval contains a twin prime and a cousin prime. Combining Merten's third theorem with the properties of the binomial distribution, we show that $q_n$ approaches $1$ as $n \to \infty$. A study of the convergence properties of the sequence $\{q_n\}$ allows us to propose a new, more stringent conjecture concerning the existence of infinitely many twin and cousin primes. In accord with the Hardy-Littlewood conjecture, it is also shown that twin and cousin primes share the same asymptotic distribution. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Comments: 20 pages, 4 figures

MSC Class: 11A41; 11Y11; 60C05; 11N05

A didactically motivated reexamination of a particle's quantum mechanics with square-well potentials

Authors: Domenico Giordano, Pierluigi Amodio, Felice Iavernaro

Abstract: We address two questions regarding square-well potentials from a didactic perspective. The first question concerns whether or not the justification of the standard a priori omission of the potential's vertical segments in the analysis of the eigenvalue problem is licit. The detour we follow to find out the answer considers a trapezoidal potential, includes the solution, analytical and numerical, o… ▽ More We address two questions regarding square-well potentials from a didactic perspective. The first question concerns whether or not the justification of the standard a priori omission of the potential's vertical segments in the analysis of the eigenvalue problem is licit. The detour we follow to find out the answer considers a trapezoidal potential, includes the solution, analytical and numerical, of the corresponding eigenvalue problem and then analyzes the behavior of that solution in the limit when the slope of the trapezoidal potential's ramps becomes vertical. The second question, obviously linked to the first one, pertains whether or not eigenfunction's and its first derivative's continuity at the potential's jump points is justified as a priori assumption to kick-off the solution process, as it is standardly accepted in textbook approaches to the potential's eigenvalue problem. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Comments: 45 pages, 14 figures, 3 tables

(Spectral) Chebyshev collocation methods for solving differential equations

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro

Abstract: Recently, the efficient numerical solution of Hamiltonian problems has been tackled by defining the class of energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs). Their derivation relies on the expansion of the vector field along the Legendre orthonormal basis. Interestingly, this approach can be extended to cope with other orthonormal bases and, in particular, we… ▽ More Recently, the efficient numerical solution of Hamiltonian problems has been tackled by defining the class of energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs). Their derivation relies on the expansion of the vector field along the Legendre orthonormal basis. Interestingly, this approach can be extended to cope with other orthonormal bases and, in particular, we here consider the case of the Chebyshev polynomial basis. The corresponding Runge-Kutta methods were previously obtained by Costabile and Napoli [33]. In this paper, the use of a different framework allows us to carry out a novel analysis of the methods also when they are used as spectral formulae in time, along with some generalizations of the methods. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Comments: 25 pages, 2 figures, 2 tables

MSC Class: 65L06; 65L05

Journal ref: Numerical Algorithms (2023)

A note on a stable algorithm for computing the fractional integrals of orthogonal polynomials

Authors: P. Amodio, L. Brugnano, F. Iavernaro

Abstract: In this note we provide an algorithm for computing the fractional integrals of orthogonal polynomials, which is more stable than that using the expression of the polynomials w.r.t. the canonical basis. This algorithm is aimed at solving corresponding fractional differential equations. A few numerical examples are reported. In this note we provide an algorithm for computing the fractional integrals of orthogonal polynomials, which is more stable than that using the expression of the polynomials w.r.t. the canonical basis. This algorithm is aimed at solving corresponding fractional differential equations. A few numerical examples are reported. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 8 pages, 3 figures

MSC Class: 65L05; 65L03

Journal ref: Applied Mathematics Letters, 134 (2022) 108338

Continuous-Stage Runge-Kutta approximation to Differential Problems

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro

Abstract: In recent years, the efficient numerical solution of Hamiltonian problems has led to the definition of a class of energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs). Such methods admit an interesting interpretation in terms of continuous-stage Runge-Kutta methods, which is here recalled and revisited for general differential problems. In recent years, the efficient numerical solution of Hamiltonian problems has led to the definition of a class of energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs). Such methods admit an interesting interpretation in terms of continuous-stage Runge-Kutta methods, which is here recalled and revisited for general differential problems. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 20 pages

MSC Class: 65L06; 65P10; 65L05

Journal ref: Axioms 2022, 11(5), 192

Arbitrary high-order methods for one-sided direct event location in discontinuous differential problems with nonlinear event function

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro

Abstract: In this paper we are concerned with numerical methods for the one-sided event location in discontinuous differential problems, whose event function is nonlinear (in particular, of polynomial type). The original problem is transformed into an equivalent Poisson problem, which is effectively solved by suitably adapting a recently devised class of energy-conserving methods for Poisson systems. The ac… ▽ More In this paper we are concerned with numerical methods for the one-sided event location in discontinuous differential problems, whose event function is nonlinear (in particular, of polynomial type). The original problem is transformed into an equivalent Poisson problem, which is effectively solved by suitably adapting a recently devised class of energy-conserving methods for Poisson systems. The actual implementation of the methods is fully discussed, with a particular emphasis to the problem at hand. Some numerical tests are reported, to assess the theoretical findings. △ Less

Submitted 12 March, 2022; originally announced March 2022.

Comments: 14 pages, 1 figure, 2 tables

MSC Class: 65L05; 65P10

Journal ref: Applied Numerical Mathematics 179 (2022) 39-49

Arbitrarily high-order energy-conserving methods for Hamiltonian problems with quadratic holonomic constraints

Authors: P. Amodio, L. Brugnano, G. Frasca-Caccia, F. Iavernaro

Abstract: In this paper, we define arbitrarily high-order energy-conserving methods for Hamiltonian systems with quadratic holonomic constraints. The derivation of the methods is made within the so-called line integral framework. Numerical tests to illustrate the theoretical findings are presented. In this paper, we define arbitrarily high-order energy-conserving methods for Hamiltonian systems with quadratic holonomic constraints. The derivation of the methods is made within the so-called line integral framework. Numerical tests to illustrate the theoretical findings are presented. △ Less

Submitted 7 March, 2022; originally announced March 2022.

Comments: 31 pages, 6 figures, 3 tables

MSC Class: 65P10; 65L80; 65L06

Journal ref: Journal of Computational Mathematics 42, No. 4 (2024) 1145-1171

Arbitrarily high-order energy-conserving methods for Poisson problems

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro

Abstract: In this paper we are concerned with energy-conserving methods for Poisson problems, which are effectively solved by defining a suitable generalization of HBVMs, a class of energy-conserving methods for Hamiltonian problems. The actual implementation of the methods is fully discussed, with a particular emphasis on the conservation of Casimirs. Some numerical tests are reported, in order to assess t… ▽ More In this paper we are concerned with energy-conserving methods for Poisson problems, which are effectively solved by defining a suitable generalization of HBVMs, a class of energy-conserving methods for Hamiltonian problems. The actual implementation of the methods is fully discussed, with a particular emphasis on the conservation of Casimirs. Some numerical tests are reported, in order to assess the theoretical findings. △ Less

Submitted 9 March, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: 30 pages, 5 figures, 3 tables

MSC Class: 65L05; 65P10

A new framework for polynomial approximation to differential equations

Authors: Luigi Brugnano, Gianluca Frasca-Caccia, Felice Iavernaro, Vincenzo Vespri

Abstract: In this paper we discuss a framework for the polynomial approximation to the solution of initial value problems for differential equations. The framework, initially devised for the approximation of ordinary differential equations, is further extended to cope with constant delay differential equations. Relevant classes of Runge-Kutta methods can be derived within this framework. In this paper we discuss a framework for the polynomial approximation to the solution of initial value problems for differential equations. The framework, initially devised for the approximation of ordinary differential equations, is further extended to cope with constant delay differential equations. Relevant classes of Runge-Kutta methods can be derived within this framework. △ Less

Submitted 14 November, 2022; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 35 pages, 4 figures, 2 tables

MSC Class: 65L05; 65L03; 65L06; 65P10

Journal ref: Adv. Compu. Math. 48, 76 (2022)

Maximal-entropy driven determination of weights in least-square approximation

Authors: Domenico Giordano, Felice Iavernaro

Abstract: We exploit the idea to use the maximal-entropy method, successfully tested in information theory and statistical thermodynamics, to determine approximating function's coefficients and squared errors' weights simultaneously as output of one single problem in least-square approximation. We provide evidence of the method's capabilities and performance through its application to representative test ca… ▽ More We exploit the idea to use the maximal-entropy method, successfully tested in information theory and statistical thermodynamics, to determine approximating function's coefficients and squared errors' weights simultaneously as output of one single problem in least-square approximation. We provide evidence of the method's capabilities and performance through its application to representative test cases by working with polynomials as a first step. We conclude by formulating suggestions for future work to improve the version of the method we present in this paper. △ Less

Submitted 23 February, 2021; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: 15 pages, 1 table, 10 figures. Accepted in Mathematical Methods in the Applied Sciences. Changes: fixed typo in Eq. (27)

Journal ref: Math Meth Appl Sci. 2021;1-14

The hidden side of COVID-19 spread in Italy

Authors: Luigi Brugnano, Felice Iavernaro, Paolo Zanzottera

Abstract: Background. The paper concerns the SARS-CoV2 (COVID-19) pandemic that, starting from the end of February 2020, began spreading along the Italian peninsula, by first attacking small communities in north regions, and then extending to the center and south of Italy, including the two main islands. Objective. The creation of a forecast model that manages to alert the decision-making bodies and, in p… ▽ More Background. The paper concerns the SARS-CoV2 (COVID-19) pandemic that, starting from the end of February 2020, began spreading along the Italian peninsula, by first attacking small communities in north regions, and then extending to the center and south of Italy, including the two main islands. Objective. The creation of a forecast model that manages to alert the decision-making bodies and, in particular, the healthcare system, to hinder the emergence of any other pandemic outbreaks, or the arrival of subsequent pandemic waves. Methods. A new mathematical model to describe the pandemic is given. The model includes the class of undiagnosed infected people, and has a multi-region extension, to cope with the in-time and in-space heterogeneity of the epidemic. Results. We obtain a robust and reliable tool for the forecast of the total and active cases, which can be also used to simulate different scenarios. Conclusions. We are able to address a number of issues, such as assessing the adoption of the lockdown in Italy, started from 11 March 2020, and how to employ a rapid screening test campaign for containing the epidemic. △ Less

Submitted 11 June, 2020; originally announced June 2020.

Comments: 21 pages, 10 figures

MSC Class: 92C60; 92D30

Journal ref: Math Meth Appl Sci. (2020) 1-14

A multi-region variant of the SIR model and its extensions

Authors: Luigi Brugnano, Felice Iavernaro

Abstract: In this note, we describe simple generalizations of the basic SIR model for epidemic, in case of a multi-region scenario, to be used for predicting the COVID-19 epidemic spread in Italy. In this note, we describe simple generalizations of the basic SIR model for epidemic, in case of a multi-region scenario, to be used for predicting the COVID-19 epidemic spread in Italy. △ Less

Submitted 13 May, 2020; v1 submitted 22 March, 2020; originally announced March 2020.

Comments: 7 pages (1 typo fixed)

MSC Class: 92C60; 92D30

On the use of the Infinity Computer architecture to set up a dynamic precision floating-point arithmetic

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro, Francesca Mazzia

Abstract: We devise a variable precision floating-point arithmetic by exploiting the framework provided by the Infinity Computer. This is a computational platform implementing the Infinity Arithmetic system, a positional numeral system which can handle both infinite and infinitesimal quantities symbolized by the positive and negative finite powers of the radix grossone. The computational features offered by… ▽ More We devise a variable precision floating-point arithmetic by exploiting the framework provided by the Infinity Computer. This is a computational platform implementing the Infinity Arithmetic system, a positional numeral system which can handle both infinite and infinitesimal quantities symbolized by the positive and negative finite powers of the radix grossone. The computational features offered by the Infinity Computer allows us to dynamically change the accuracy of representation and floating-point operations during the flow of a computation. When suitably implemented, this possibility turns out to be particularly advantageous when solving ill-conditioned problems. In fact, compared with a standard multi-precision arithmetic, here the accuracy is improved only when needed, thus not affecting that much the overall computational effort. An illustrative example about the solution of a nonlinear equation is also presented. △ Less

Submitted 24 February, 2020; originally announced February 2020.

Comments: 11 pages, 2 figures, 6 tables

Journal ref: Soft Computing 24 (2020) 17589-17600

Arbitrarily high-order energy-preserving methods for simulating the gyrocenter dynamics of charged particles

Authors: Luigi Brugnano, Felice Iavernaro, Ruili Zhang

Abstract: Gyrocenter dynamics of charged particles plays a fundamental role in plasma physics. In particular, accuracy and conservation of energy are important features for correctly performing long-time simulations. For this purpose, we here propose arbitrarily high-order energy conserving methods for its simulation. The analysis and the efficient implementation of the methods are fully described, and some… ▽ More Gyrocenter dynamics of charged particles plays a fundamental role in plasma physics. In particular, accuracy and conservation of energy are important features for correctly performing long-time simulations. For this purpose, we here propose arbitrarily high-order energy conserving methods for its simulation. The analysis and the efficient implementation of the methods are fully described, and some numerical tests are reported. △ Less

Submitted 29 April, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 23 pages, 4 figures

MSC Class: 65P10; 65L05

Journal ref: Journal of Computational and Applied Mathematics 380 (2020) 112994

Mathematical aspects relative to the fluid statics of a self-gravitating perfect-gas isothermal sphere

Authors: Pierluigi Amodio, Domenico Giordano, Felice Iavernaro, Arcangelo Labianca, Monica Lazzo, Francesca Mazzia, Lorenzo Pisani

Abstract: In the present paper we analyze and discuss some mathematical aspects of the fluid-static configurations of a self-gravitating perfect gas enclosed in a spherical solid shell. The mathematical model we consider is based on the well-known Lane-Emden equation, albeit under boundary conditions that differ from those usually assumed in the astrophysical literature. The existence of multiple solutions… ▽ More In the present paper we analyze and discuss some mathematical aspects of the fluid-static configurations of a self-gravitating perfect gas enclosed in a spherical solid shell. The mathematical model we consider is based on the well-known Lane-Emden equation, albeit under boundary conditions that differ from those usually assumed in the astrophysical literature. The existence of multiple solutions requires particular attention in devising appropriate numerical schemes apt to deal with and catch the solution multiplicity as efficiently and accurately as possible. In sequence, we describe some analytical properties of the model, the two algorithms used to obtain numerical solutions, and the numerical results for two selected cases. △ Less

Submitted 21 March, 2020; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: Revision accepted for publication in "Communications in Computational Physics"; 23 pages, 9 figures

Report number: Rapporto Dipartimento di Matematica 6/2019 MSC Class: 76N10; 34B08; 65L10

A note on the continuous-stage Runge-Kutta-(Nyström) formulation of Hamiltonian Boundary Value Methods (HBVMs)

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro

Abstract: In recent years, the class of energy-conserving methods named Hamiltonian Boundary Value Methods (HBVMs) has been devised for numerically solving Hamiltonian problems. In this short note, we study their natural formulation as continuous-stage Runge-Kutta(-Nyström) methods, which allows a deeper insight in the methods. In recent years, the class of energy-conserving methods named Hamiltonian Boundary Value Methods (HBVMs) has been devised for numerically solving Hamiltonian problems. In this short note, we study their natural formulation as continuous-stage Runge-Kutta(-Nyström) methods, which allows a deeper insight in the methods. △ Less

Submitted 31 July, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 12 pages, accepted manuscript

MSC Class: 65L05; 65P10

Journal ref: Applied Mathematics and Computation Volume 363 (2019) 124634

Line Integral solution of Hamiltonian PDEs

Authors: Luigi Brugnano, Gianluca Frasca-Caccia, Felice Iavernaro

Abstract: In this paper, we report about recent findings in the numerical solution of Hamiltonian Partial Differential Equations (PDEs), by using energy-conserving line integral methods in the Hamiltonian Boundary Value Methods (HBVMs) class. In particular, we consider the semilinear wave equation, the nonlinear Schrödinger equation, and the Korteweg-de Vries equation, to illustrate the main features of thi… ▽ More In this paper, we report about recent findings in the numerical solution of Hamiltonian Partial Differential Equations (PDEs), by using energy-conserving line integral methods in the Hamiltonian Boundary Value Methods (HBVMs) class. In particular, we consider the semilinear wave equation, the nonlinear Schrödinger equation, and the Korteweg-de Vries equation, to illustrate the main features of this novel approach. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Comments: 33 pages, 3 figures, 3 tables

MSC Class: 65P10; 65M70; 65M20; 65L05; 65L06

Journal ref: Mathematics 7(3) (2019) 275

Fluid statics of a self-gravitating perfect-gas isothermal sphere

Authors: Domenico Giordano, Pierluigi Amodio, Felice Iavernaro, Arcangelo Labianca, Monica Lazzo, Francesca Mazzia, Lorenzo Pisani

Abstract: We open the paper with introductory considerations describing the motivations of our long-term research plan targeting gravitomagnetism, illustrating the fluid-dynamics numerical test case selected for that purpose, that is, a perfect-gas sphere contained in a solid shell located in empty space sufficiently away from other masses, and defining the main objective of this study: the determination of… ▽ More We open the paper with introductory considerations describing the motivations of our long-term research plan targeting gravitomagnetism, illustrating the fluid-dynamics numerical test case selected for that purpose, that is, a perfect-gas sphere contained in a solid shell located in empty space sufficiently away from other masses, and defining the main objective of this study: the determination of the gravitofluid-static field required as initial field ($t=0$) in forthcoming fluid-dynamics calculations. The determination of the gravitofluid-static field requires the solution of the isothermal-sphere Lane-Emden equation. We do not follow the habitual approach of the literature based on the prescription of the central density as boundary condition; we impose the gravitational field at the solid-shell internal wall. As the discourse develops, we point out differences and similarities between the literature's and our approach. We show that the nondimensional formulation of the problem hinges on a unique physical characteristic number that we call gravitational number because it gauges the self-gravity effects on the gas' fluid statics. We illustrate and discuss numerical results; some peculiarities, such as gravitational-number upper bound and multiple solutions, lead us to investigate the thermodynamics of the physical system, particularly entropy and energy, and preliminarily explore whether or not thermodynamic-stability reasons could provide justification for either selection or exclusion of multiple solutions. We close the paper with a summary of the present study in which we draw conclusions and describe future work. △ Less

Submitted 10 March, 2019; originally announced March 2019.

Comments: 32 pages, 26 figures

Journal ref: European Journal of Mechanics B / Fluids, 78, pp. 62-87, 2019

Analysis of Spectral Hamiltonian Boundary Value Methods (SHBVMs) for the numerical solution of ODE problems

Authors: Pierluigi Amodio, Luigi Brugnano, Felice Iavernaro

Abstract: Recently, the numerical solution of stiffly/highly-oscillatory Hamiltonian problems has been attacked by using Hamiltonian Boundary Value Methods (HBVMs) as spectral methods in time. While a theoretical analysis of this spectral approach has been only partially addressed, there is enough numerical evidence that it turns out to be very effective even when applied to a wider range of problems. Here… ▽ More Recently, the numerical solution of stiffly/highly-oscillatory Hamiltonian problems has been attacked by using Hamiltonian Boundary Value Methods (HBVMs) as spectral methods in time. While a theoretical analysis of this spectral approach has been only partially addressed, there is enough numerical evidence that it turns out to be very effective even when applied to a wider range of problems. Here we fill this gap by providing a thorough convergence analysis of the methods and confirm the theoretical results with the aid of a few numerical tests. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 18 pages, 1 figure

MSC Class: 65L05; 65P10

Journal ref: Numerical Algorithms (2019)

Conjugate-symplecticity properties of Euler--Maclaurin methods and their implementation on the Infinity Computer

Authors: F. Iavernaro, F. Mazzia, M. S. Mukhametzhanov, Ya. D. Sergeyev

Abstract: Multi-derivative one-step methods based upon Euler-Maclaurin integration formulae are considered for the solution of canonical Hamiltonian dynamical systems. Despite the negative result that simplecticity may not be attained by any multi-derivative Runge--Kutta methods, we show that the Euler-MacLaurin method of order p is conjugate-symplectic up to order p+2. This feature entitles them to play a… ▽ More Multi-derivative one-step methods based upon Euler-Maclaurin integration formulae are considered for the solution of canonical Hamiltonian dynamical systems. Despite the negative result that simplecticity may not be attained by any multi-derivative Runge--Kutta methods, we show that the Euler-MacLaurin method of order p is conjugate-symplectic up to order p+2. This feature entitles them to play a role in the context of geometric integration and, to make their implementation competitive with the existing integrators, we explore the possibility of computing the underlying higher order derivatives with the aid of the Infinity Computer. △ Less

Submitted 7 May, 2019; v1 submitted 28 July, 2018; originally announced July 2018.

Comments: 21 pages, 24 figures

MSC Class: 65L06; 65P10; 65D25

Spectrally accurate space-time solution of Hamiltonian PDEs

Authors: Luigi Brugnano, Felice Iavernaro, Juan I. Montijano, Luis Ràndez

Abstract: Recently, the numerical solution of multi-frequency, highly-oscillatory Hamiltonian problems has been attacked by using Hamiltonian Boundary Value Methods (HBVMs) as spectral methods in time. When the problem derives from the space semi- discretization of (possibly Hamiltonian) partial differential equations (PDEs), the resulting problem may be stiffly-oscillatory, rather than highly-oscillatory.… ▽ More Recently, the numerical solution of multi-frequency, highly-oscillatory Hamiltonian problems has been attacked by using Hamiltonian Boundary Value Methods (HBVMs) as spectral methods in time. When the problem derives from the space semi- discretization of (possibly Hamiltonian) partial differential equations (PDEs), the resulting problem may be stiffly-oscillatory, rather than highly-oscillatory. In such a case, a different implementation of the methods is needed, in order to gain the maximum efficiency. △ Less

Submitted 22 July, 2018; originally announced July 2018.

Comments: 17 pages, 3 figures

MSC Class: 65P10; 65L05; 65N35

Analysis of Energy and QUadratic Invariant Preserving (EQUIP) methods

Authors: Luigi Brugnano, Gianmarco Gurioli, Felice Iavernaro

Abstract: In this paper we are concerned with the analysis of a class of geometric integrators, at first devised in [14, 18], which can be regarded as an energy-conserving variant of Gauss collocation methods. With these latter they share the property of conserving quadratic first integrals but, in addition, they also conserve the Hamiltonian function itself. We here reformulate the methods in a more conven… ▽ More In this paper we are concerned with the analysis of a class of geometric integrators, at first devised in [14, 18], which can be regarded as an energy-conserving variant of Gauss collocation methods. With these latter they share the property of conserving quadratic first integrals but, in addition, they also conserve the Hamiltonian function itself. We here reformulate the methods in a more convenient way, and propose a more refined analysis than that given in [18] also providing, as a by-product, a practical procedure for their implementation. A thorough comparison with the original Gauss methods is carried out by means of a few numerical tests solving Hamiltonian and Poisson problems. △ Less

Submitted 29 November, 2017; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 28 pages, 2 figures, 4 tables

MSC Class: 65P10; 65L05

Journal ref: Journal of Computational and Applied Mathematics 335 (2018) 51-73

Line Integral Solution of Hamiltonian Systems with Holonomic Constraints

Authors: Luigi Brugnano, Gianmarco Gurioli, Felice Iavernaro, Ewa B. Weinmueller

Abstract: In this paper, we propose a second-order energy-conserving approximation procedure for Hamiltonian systems with holonomic constraints. The derivation of the procedure relies on the use of the so-called line integral framework. We provide numerical experiments to illustrate theoretical findings. In this paper, we propose a second-order energy-conserving approximation procedure for Hamiltonian systems with holonomic constraints. The derivation of the procedure relies on the use of the so-called line integral framework. We provide numerical experiments to illustrate theoretical findings. △ Less

Submitted 18 December, 2017; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 30 pages, 3 figures, 4 tables

MSC Class: 65P10; 65L80; 65L06

Journal ref: Applied Numerical Mathematics 127 (2018) 56-77

Energy conserving methods for Hamiltonian PDEs based on spectral space decomposition

Authors: Luigi Brugnano, Gianluca Frasca Caccia, Felice Iavernaro

Abstract: In this paper we discuss energy conservation issues related to the numerical solution of the nonlinear wave equation, when a Fourier expansion is considered for the space discretization. The obtained semi-discrete problem is then solved in time by means of energy-conserving Runge-Kutta methods in the HBVMs class. In this paper we discuss energy conservation issues related to the numerical solution of the nonlinear wave equation, when a Fourier expansion is considered for the space discretization. The obtained semi-discrete problem is then solved in time by means of energy-conserving Runge-Kutta methods in the HBVMs class. △ Less

Submitted 26 October, 2014; originally announced October 2014.

Comments: 25 pages, 7 figure

MSC Class: 65P10; 65L05; 65M20

Energy conservation issues in the numerical solution of the semilinear wave equation

Authors: Luigi Brugnano, Gianluca Frasca Caccia, Felice Iavernaro

Abstract: In this paper we discuss energy conservation issues related to the numerical solution of the nonlinear wave equation. As is well known, this problem can be cast as a Hamiltonian system that may be autonomous or not, depending on the specific boundary conditions at hand. We relate the conservation properties of the original problem to those of its semi-discrete version obtained by the method of lin… ▽ More In this paper we discuss energy conservation issues related to the numerical solution of the nonlinear wave equation. As is well known, this problem can be cast as a Hamiltonian system that may be autonomous or not, depending on the specific boundary conditions at hand. We relate the conservation properties of the original problem to those of its semi-discrete version obtained by the method of lines. Subsequently, we show that the very same properties can be transferred to the solutions of the fully discretized problem, obtained by using energy-conserving methods in the HBVMs (Hamiltonian Boundary Value Methods) class. Similar arguments hold true for different types of Hamiltonian Partial Differential Equations, e.g., the nonlinear Schrödinger equation. △ Less

Submitted 22 January, 2015; v1 submitted 26 October, 2014; originally announced October 2014.

Comments: 41 pages, 11 figure

MSC Class: 65P10; 65L05; 65M20

Journal ref: Applied Mathematics and Computation 270 (2015) 842-870

Energy-conserving methods for Hamiltonian Boundary Value Problems and applications in astrodynamics

Authors: P. Amodio, L. Brugnano, F. Iavernaro

Abstract: We introduce new methods for the numerical solution of general Hamiltonian boundary value problems. The main feature of the new formulae is to produce numerical solutions along which the energy is precisely conserved, as is the case with the analytical solution. We apply the methods to locate periodic orbits in the circular restricted three body problem by using their energy value rather than thei… ▽ More We introduce new methods for the numerical solution of general Hamiltonian boundary value problems. The main feature of the new formulae is to produce numerical solutions along which the energy is precisely conserved, as is the case with the analytical solution. We apply the methods to locate periodic orbits in the circular restricted three body problem by using their energy value rather than their pe- riod as input data. We also use the methods for solving optimal transfer problems in astrodynamics. △ Less

Submitted 11 September, 2013; originally announced September 2013.

Comments: 22 pages, 4 figures

MSC Class: 65P10; 65L10 65L06

Efficient implementation of geometric integrators for separable Hamiltonian problems

Authors: Luigi Brugnano, Gianluca Frasca Caccia, Felice Iavernaro

Abstract: We here investigate the efficient implementation of the energy-conserving methods named Hamiltonian Boundary Value Methods (HBVMs) recently introduced for the numerical solution of Hamiltonian problems. In this note, we describe an iterative procedure, based on a triangular splitting, for solving the generated discrete problems, when the problem at hand is separable. We here investigate the efficient implementation of the energy-conserving methods named Hamiltonian Boundary Value Methods (HBVMs) recently introduced for the numerical solution of Hamiltonian problems. In this note, we describe an iterative procedure, based on a triangular splitting, for solving the generated discrete problems, when the problem at hand is separable. △ Less

Submitted 11 June, 2013; originally announced June 2013.

Comments: 4 pages

MSC Class: 65P10; 65L05

Journal ref: AIP Conference Proceedings 1588 (2013) 734-737

Efficient implementation of Gauss collocation and Hamiltonian Boundary Value Methods

Authors: Luigi Brugnano, Gianluca Frasca Caccia, Felice Iavernaro

Abstract: In this paper we define an efficient implementation for the family of low-rank energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs), recently defined in the last years. The proposed implementation relies on the particular structure of the Butcher matrix defining such methods, for which we can derive an efficient splitting procedure. The very same procedure turns o… ▽ More In this paper we define an efficient implementation for the family of low-rank energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs), recently defined in the last years. The proposed implementation relies on the particular structure of the Butcher matrix defining such methods, for which we can derive an efficient splitting procedure. The very same procedure turns out to be automatically suited for the efficient implementation of Gauss-Legendre collocation methods, since these methods are a special instance of HBVMs. The linear convergence analysis of the splitting procedure exhibits excellent properties, which are confirmed by a few numerical tests. △ Less

Submitted 31 December, 2013; v1 submitted 3 April, 2013; originally announced April 2013.

Comments: 19 pages, 7 tables, 2 figures

MSC Class: 65P10; 65L05; 65L06; 65L99

Journal ref: Numerical Algorithms 65 (2014) 633-650

Efficient implementation of Radau collocation methods

Authors: L. Brugnano, F. Iavernaro, C. Magherini

Abstract: In this paper we define an efficient implementation of Runge-Kutta methods of Radau IIA type, which are commonly used when solving stiff ODE-IVPs problems. The proposed implementation relies on an alternative low-rank formulation of the methods, for which a splitting procedure is easily defined. The linear convergence analysis of this splitting procedure exhibits excellent properties, which are co… ▽ More In this paper we define an efficient implementation of Runge-Kutta methods of Radau IIA type, which are commonly used when solving stiff ODE-IVPs problems. The proposed implementation relies on an alternative low-rank formulation of the methods, for which a splitting procedure is easily defined. The linear convergence analysis of this splitting procedure exhibits excellent properties, which are confirmed by its performance on a few numerical tests. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Comments: 19 pages, 3 figures, 9 tables

MSC Class: 65L04; 65L05; 65L06; 65L99

LINE INTEGRAL METHODS and their application to the numerical solution of conservative problems

Authors: Luigi Brugnano, Felice Iavernaro

Abstract: These are the lecture notes of a course given by the first author on December 27, 2012 - January 4, 2013, held at the Academy of Mathematics and Systems Science Chinese Academy of Sciences in Bei**g. These are the lecture notes of a course given by the first author on December 27, 2012 - January 4, 2013, held at the Academy of Mathematics and Systems Science Chinese Academy of Sciences in Bei**g. △ Less

Submitted 10 January, 2013; originally announced January 2013.

Comments: 68 pages

A Two Step, Fourth Order, Nearly-Linear Method with Energy Preserving Properties

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: We introduce a family of fourth order two-step methods that preserve the energy function of canonical polynomial Hamiltonian systems. Each method in the family may be viewed as a correction of a linear two-step method, where the correction term is O(h^5) (h is the stepsize of integration). The key tools the new methods are based upon are the line integral associated with a conservative vector fiel… ▽ More We introduce a family of fourth order two-step methods that preserve the energy function of canonical polynomial Hamiltonian systems. Each method in the family may be viewed as a correction of a linear two-step method, where the correction term is O(h^5) (h is the stepsize of integration). The key tools the new methods are based upon are the line integral associated with a conservative vector field (such as the one defined by a Hamiltonian dynamical system) and its discretization obtained by the aid of a quadrature formula. Energy conservation is equivalent to the requirement that the quadrature is exact, which turns out to be always the case in the event that the Hamiltonian function is a polynomial and the degree of precision of the quadrature formula is high enough. The non-polynomial case is also discussed and a number of test problems are finally presented in order to compare the behavior of the new methods to the theoretical results. △ Less

Submitted 3 June, 2011; originally announced June 2011.

Comments: 14 pages, 4 figures, 2 tables

MSC Class: 65L05; 65P10

Journal ref: Computer Physics Communications 183 (2012) 1860-1868

A note on the efficient implementation of Hamiltonian BVMs

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: We discuss the efficient implementation of Hamiltonian BVMs (HBVMs), a recently introduced class of energy preserving methods for canonical Hamiltonian systems, via their blended formulation. We also discuss the case of separable problems, for which the structure of the problem can be exploited to gain efficiency. We discuss the efficient implementation of Hamiltonian BVMs (HBVMs), a recently introduced class of energy preserving methods for canonical Hamiltonian systems, via their blended formulation. We also discuss the case of separable problems, for which the structure of the problem can be exploited to gain efficiency. △ Less

Submitted 10 December, 2010; originally announced December 2010.

Comments: 10 pages, 4 figures

MSC Class: 65P10; 65L05

Journal ref: Journal of Computational and Applied Mathematics, 236 (2011) 375-383

The Lack of Continuity and the Role of Infinite and Infinitesimal in Numerical Methods for ODEs: the Case of Symplecticity

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: When numerically integrating canonical Hamiltonian systems, the long-term conservation of some of its invariants, among which the Hamiltonian function itself, assumes a central role. The classical approach to this problem has led to the definition of symplectic methods, among which we mention Gauss-Legendre collocation formulae. Indeed, in the continuous setting, energy conservation is derived fro… ▽ More When numerically integrating canonical Hamiltonian systems, the long-term conservation of some of its invariants, among which the Hamiltonian function itself, assumes a central role. The classical approach to this problem has led to the definition of symplectic methods, among which we mention Gauss-Legendre collocation formulae. Indeed, in the continuous setting, energy conservation is derived from symplecticity via an infinite number of infinitesimal contact transformations. However, this infinite process cannot be directly transferred to the discrete setting. By following a different approach, in this paper we describe a sequence of methods, sharing the same essential spectrum (and, then, the same essential properties), which are energy preserving starting from a certain element of the sequence on, i.e., after a finite number of steps. △ Less

Submitted 21 October, 2010; originally announced October 2010.

Comments: 15 pages

MSC Class: 65P10; 65L05; 65L06

Journal ref: Applied Mathematics and Computation 218 (2012) 8053-8063

A unifying framework for the derivation and analysis of effective classes of one-step methods for ODEs

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: In this paper, we provide a simple framework to derive and analyse several classes of effective one-step methods. The framework consists in the discretization of a local Fourier expansion of the continuous problem. Different choices of the basis lead to different classes of methods, even though we shall here consider only the case of an orthonormal polynomial basis, from which a large subclass of… ▽ More In this paper, we provide a simple framework to derive and analyse several classes of effective one-step methods. The framework consists in the discretization of a local Fourier expansion of the continuous problem. Different choices of the basis lead to different classes of methods, even though we shall here consider only the case of an orthonormal polynomial basis, from which a large subclass of Runge-Kutta methods is derived. The obtained results are then applied to prove, in a simplified way, the order and stability properties of Hamiltonian BVMs (HBVMs), a recently introduced class of energy preserving methods for canonical Hamiltonian systems. A few numerical tests with such methods are also included, in order to confirm the effectiveness of the methods. △ Less

Submitted 8 January, 2011; v1 submitted 16 September, 2010; originally announced September 2010.

Comments: 11 pages, 2 figures (proofs of Thms. 2.2 and 3.1 simplified)

MSC Class: 65L05; 65P10

Journal ref: Applied Mathematics and Computation 218 (2012) 8475-8485

Numerical comparisons among some methods for Hamiltonian problems

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: We report a few sumerical tests comparing some newly defined energy-preserving integrators and symplectic methods, using either constant and variable stepsize. We report a few sumerical tests comparing some newly defined energy-preserving integrators and symplectic methods, using either constant and variable stepsize. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Comments: 5 pages, 8 figures

MSC Class: 65P10; 65L05

Journal ref: AIP Conference Proceedings, 1281 (2010) 214-218

Energy and quadratic invariants preserving integrators of Gaussian type

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: Recently, a whole class of evergy-preserving integrators has been derived for the numerical solution of Hamiltonian problems. In the mainstream of this research, we have defined a new family of symplectic integrators depending on a real parameter. When it is zero, the corresponding method in the family becomes the classical Gauss collocation formula of order 2s, where s denotes the number of the i… ▽ More Recently, a whole class of evergy-preserving integrators has been derived for the numerical solution of Hamiltonian problems. In the mainstream of this research, we have defined a new family of symplectic integrators depending on a real parameter. When it is zero, the corresponding method in the family becomes the classical Gauss collocation formula of order 2s, where s denotes the number of the internal stages. For any given non-null value of the parameter, the corresponding method remains symplectic and has order 2s-2: hence it may be interpreted as a symplectic perturbation of the Gauss method. Under suitable assumptions, it can be shown that the parameter a may be properly tuned, at each step of the integration procedure, so as to guarantee energy conservation in the numerical solution. The resulting method shares the same order 2s as the generating Gauss formula, and is able to preserve both energy and quadratic invariants. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Comments: 4 pages

MSC Class: 65P10; 65L05

Journal ref: AIP Conference Proceedings, 1281 (2010) 227-230

Numerical Solution of ODEs and the Columbus' Egg: Three Simple Ideas for Three Difficult Problems

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: On computers, discrete problems are solved instead of continuous ones. One must be sure that the solutions of the former problems, obtained in real time (i.e., when the stepsize h is not infinitesimal) are good approximations of the solutions of the latter ones. However, since the discrete world is much richer than the continuous one (the latter being a limit case of the former), the classical def… ▽ More On computers, discrete problems are solved instead of continuous ones. One must be sure that the solutions of the former problems, obtained in real time (i.e., when the stepsize h is not infinitesimal) are good approximations of the solutions of the latter ones. However, since the discrete world is much richer than the continuous one (the latter being a limit case of the former), the classical definitions and techniques, devised to analyze the behaviors of continuous problems, are often insufficient to handle the discrete case, and new specific tools are needed. Often, the insistence in following a path already traced in the continuous setting, has caused waste of time and efforts, whereas new specific tools have solved the problems both more easily and elegantly. In this paper we survey three of the main difficulties encountered in the numerical solutions of ODEs, along with the novel solutions proposed. △ Less

Submitted 14 October, 2010; v1 submitted 27 August, 2010; originally announced August 2010.

Comments: 25 pages, 4 figures (typos fixed)

MSC Class: 65P10; 65L05

Journal ref: Mathematics in Engineering, Science and Aerospace. Vol. 1, No. 4 (2010) 407-426

On the Existence of Energy-Preserving Symplectic Integrators Based upon Gauss Collocation Formulae

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: We introduce a new family of symplectic integrators depending on a real parameter. When the paramer is zero, the corresponding method in the family becomes the classical Gauss collocation formula of order 2s, where s denotes the number of the internal stages. For any given non-null value of the parameter, the corresponding method remains symplectic and has order 2s-2: hence it may be interpreted a… ▽ More We introduce a new family of symplectic integrators depending on a real parameter. When the paramer is zero, the corresponding method in the family becomes the classical Gauss collocation formula of order 2s, where s denotes the number of the internal stages. For any given non-null value of the parameter, the corresponding method remains symplectic and has order 2s-2: hence it may be interpreted as an order 2s-2 (symplectic) perturbation of the Gauss method. Under suitable assumptions, we show that the free parameter may be properly tuned, at each step of the integration procedure, so as to guarantee energy conservation in the numerical solution. The resulting symplectic, energy conserving method shares the same order 2s as the generating Gauss formula. △ Less

Submitted 14 October, 2010; v1 submitted 11 May, 2010; originally announced May 2010.

Comments: 19 pages, 7 figures; Sections 1, 2, and 6 sliglthly modified

MSC Class: 65P10; 65L05

Journal ref: SIAM Journal on Numerical Analysis 50, No. 6 (2012) 2897-2916

Isospectral Property of Hamiltonian Boundary Value Methods (HBVMs) and their connections with Runge-Kutta collocation methods

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: One main issue, when numerically integrating autonomous Hamiltonian systems, is the long-term conservation of some of its invariants, among which the Hamiltonian function itself. Recently, a new class of methods, named Hamiltonian Boundary Value Methods (HBVMs) has been introduced and analysed, which are able to exactly preserve polynomial Hamiltonians of arbitrarily high degree. We here study a… ▽ More One main issue, when numerically integrating autonomous Hamiltonian systems, is the long-term conservation of some of its invariants, among which the Hamiltonian function itself. Recently, a new class of methods, named Hamiltonian Boundary Value Methods (HBVMs) has been introduced and analysed, which are able to exactly preserve polynomial Hamiltonians of arbitrarily high degree. We here study a further property of such methods, namely that of having, when cast as a Runge-Kutta method, a matrix of the Butcher tableau with the same spectrum (apart from the zero eigenvalues) as that of the corresponding Gauss-Legendre method, independently of the considered abscissae. Consequently, HBVMs are always perfectly A-stable methods. This, in turn, allows to elucidate the existing connections with classical Runge-Kutta collocation methods. △ Less

Submitted 23 February, 2010; originally announced February 2010.

Comments: 12 pages

MSC Class: 65P10; 65L05; 65L06; 65L80; 65H10.

The Hamiltonian BVMs (HBVMs) Homepage

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: Hamiltonian Boundary Value Methods (in short, HBVMs) is a new class of numerical methods for the efficient numerical solution of canonical Hamiltonian systems. In particular, their main feature is that of exactly preserving, for the numerical solution, the value of the Hamiltonian function, when the latter is a polynomial of arbitrarily high degree. Clearly, this fact implies a practical conserv… ▽ More Hamiltonian Boundary Value Methods (in short, HBVMs) is a new class of numerical methods for the efficient numerical solution of canonical Hamiltonian systems. In particular, their main feature is that of exactly preserving, for the numerical solution, the value of the Hamiltonian function, when the latter is a polynomial of arbitrarily high degree. Clearly, this fact implies a practical conservation of any analytical Hamiltonian function. In this notes, we collect the introductory material on HBVMs contained in the HBVMs Homepage, available at http://web.math.unifi.it/users/brugnano/HBVM/index.html △ Less

Submitted 24 February, 2010; v1 submitted 14 February, 2010; originally announced February 2010.

Comments: 49 pages, 16 figures; Chapter 4 modified; minor corrections to Chapter 5; References updated

MSC Class: 65P10; 65L05; 65L06; 65L80; 65H10

Numerical comparisons between Gauss-Legendre methods and Hamiltonian BVMs defined over Gauss points

Authors: Luigi Brugnano, Felice Iavernaro, Tiziana Susca

Abstract: Hamiltonian Boundary Value Methods are a new class of energy preserving one step methods for the solution of polynomial Hamiltonian dynamical systems. They can be thought of as a generalization of collocation methods in that they may be defined by imposing a suitable set of extended collocation conditions. In particular, in the way they are described in this note, they are related to Gauss collo… ▽ More Hamiltonian Boundary Value Methods are a new class of energy preserving one step methods for the solution of polynomial Hamiltonian dynamical systems. They can be thought of as a generalization of collocation methods in that they may be defined by imposing a suitable set of extended collocation conditions. In particular, in the way they are described in this note, they are related to Gauss collocation methods with the difference that they are able to precisely conserve the Hamiltonian function in the case where this is a polynomial of any high degree in the momenta and in the generalized coordinates. A description of these new formulas is followed by a few test problems showing how, in many relevant situations, the precise conservation of the Hamiltonian is crucial to simulate on a computer the correct behavior of the theoretical solutions. △ Less

Submitted 17 February, 2010; v1 submitted 14 February, 2010; originally announced February 2010.

Comments: 15 pages, 11 figures; a few typos fixed on pages 2-3

MSC Class: 65P10; 65L05; 65L06; 65L80; 65H10

Journal ref: Monografias de la Real Academia de Ciencias de Zaragoza 33 (2010) 95-112

Isospectral Property of Hamiltonian Boundary Value Methods (HBVMs) and their blended implementation

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: One main issue, when numerically integrating autonomous Hamiltonian systems, is the long-term conservation of some of its invariants, among which the Hamiltonian function itself. Recently, a new class of methods, named "Hamiltonian Boundary Value Methods (HBVMs)" has been introduced and analysed, which are able to exactly preserve polynomial Hamiltonians of arbitrarily high degree. We here study… ▽ More One main issue, when numerically integrating autonomous Hamiltonian systems, is the long-term conservation of some of its invariants, among which the Hamiltonian function itself. Recently, a new class of methods, named "Hamiltonian Boundary Value Methods (HBVMs)" has been introduced and analysed, which are able to exactly preserve polynomial Hamiltonians of arbitrarily high degree. We here study a further property of such methods, namely that of having, when cast as Runge-Kutta methods, a matrix of the Butcher tableau with the same spectrum (apart the zero eigenvalues) as that of the corresponding Gauss-Legendre method, independently of the considered abscissae. Consequently, HBVMs are always perfectly A-stable methods. Moreover, this allows their efficient "blended" implementation, for solving the generated discrete problems. △ Less

Submitted 8 February, 2010; originally announced February 2010.

Comments: 17 pages, 2 figures

MSC Class: 65P10; 65L05; 65L06; 65L80; 65H10

Hamiltonian Boundary Value Methods (Energy Conserving Discrete Line Integral Methods)

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: Recently, a new family of integrators (Hamiltonian Boundary ValueMethods) has been introduced, which is able to precisely conserve the energy function of polynomial Hamiltonian systems and to provide a practical conservation of the energy in the non-polynomial case. We settle the definition and the theory of such methods in a more general framework. Our aim is on the one hand to give account of th… ▽ More Recently, a new family of integrators (Hamiltonian Boundary ValueMethods) has been introduced, which is able to precisely conserve the energy function of polynomial Hamiltonian systems and to provide a practical conservation of the energy in the non-polynomial case. We settle the definition and the theory of such methods in a more general framework. Our aim is on the one hand to give account of their good behavior when applied to general Hamiltonian systems and, on the other hand, to find out what are the optimal formulae, in relation to the choice of the polynomial basis and of the distribution of the nodes. Such analysis is based upon the notion of extended collocation conditions and the definition of discrete line integral, and is carried out by looking at the limit of such family of methods as the number of the so called silent stages tends to infinity. △ Less

Submitted 7 June, 2010; v1 submitted 19 October, 2009; originally announced October 2009.

Comments: 28 pages, 11 figures. Final revised version accepted for publication

MSC Class: 65P10; 65L05

Journal ref: Journal of Numerical Analysis, Industrial and Applied Mathematics 5,1-2 (2010) 17-37

Analisys of Hamiltonian Boundary Value Methods (HBVMs): a class of energy-preserving Runge-Kutta methods for the numerical solution of polynomial Hamiltonian systems

Authors: Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Abstract: One main issue, when numerically integrating autonomous Hamiltonian systems, is the long-term conservation of some of its invariants, among which the Hamiltonian function itself. For example, it is well known that classical symplectic methods can only exactly preserve, at most, quadratic Hamiltonians. In this paper, a new family of methods, called "Hamiltonian Boundary Value Methods (HBVMs)", is… ▽ More One main issue, when numerically integrating autonomous Hamiltonian systems, is the long-term conservation of some of its invariants, among which the Hamiltonian function itself. For example, it is well known that classical symplectic methods can only exactly preserve, at most, quadratic Hamiltonians. In this paper, a new family of methods, called "Hamiltonian Boundary Value Methods (HBVMs)", is introduced and analyzed. HBVMs are able to exactly preserve, in the discrete solution, Hamiltonian functions of polynomial type of arbitrarily high degree. These methods turn out to be symmetric, precisely A-stable, and can have arbitrarily high order. A few numerical tests confirm the theoretical results. △ Less

Submitted 2 December, 2009; v1 submitted 30 September, 2009; originally announced September 2009.

Comments: 25 pages, 8 figures, revised version

MSC Class: 65P10; 65L05