Showing 1–6 of 6 results for author: de Angelis, M

Exact bounds on the amplitude and phase of the interval discrete Fourier transform in polynomial time

Authors: Marco de Angelis

Abstract: We elucidate why an interval algorithm that computes the exact bounds on the amplitude and phase of the discrete Fourier transform can run in polynomial time. We address this question from a formal perspective to provide the mathematical foundations underpinning such an algorithm. We show that the procedure set out by the algorithm fully addresses the dependency problem of interval arithmetic, mak… ▽ More We elucidate why an interval algorithm that computes the exact bounds on the amplitude and phase of the discrete Fourier transform can run in polynomial time. We address this question from a formal perspective to provide the mathematical foundations underpinning such an algorithm. We show that the procedure set out by the algorithm fully addresses the dependency problem of interval arithmetic, making it usable in a variety of applications involving the discrete Fourier transform. For example when analysing signals with poor precision, signals with missing data, and for automatic error propagation and verified computations. △ Less

Submitted 27 May, 2022; originally announced May 2022.

Comments: Manuscript submitted to the journal of Reliable Computing on 17 December 2021

Why the 1-Wasserstein distance is the area between the two marginal CDFs

Authors: Marco De Angelis, Ander Gray

Abstract: We elucidate why the 1-Wasserstein distance $W_1$ coincides with the area between the two marginal cumulative distribution functions (CDFs). We first describe the Wasserstein distance in terms of copulas, and then show that $W_1$ with the Euclidean distance is attained with the $M$ copula. Two random variables whose dependence is given by the $M$ copula manifest perfect (positive) dependence. If w… ▽ More We elucidate why the 1-Wasserstein distance $W_1$ coincides with the area between the two marginal cumulative distribution functions (CDFs). We first describe the Wasserstein distance in terms of copulas, and then show that $W_1$ with the Euclidean distance is attained with the $M$ copula. Two random variables whose dependence is given by the $M$ copula manifest perfect (positive) dependence. If we express the random variables in terms of their CDFs, it is intuitive to see that the distance between two such random variables coincides with the area between the two CDFs. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: 6 pages, 1 figure, a pedagogical note

A priori estimates for solutions of FitzHugh-Rinzel system

Authors: Monica De Angelis

Abstract: The FitzHugh-Rinzel system is able to describe some biophysical phenomena, such as bursting oscillations, and the study of its solutions can help to better understand several behaviours of the complex dynamics of biological systems. We express the solutions by means of an integral equation involving the fundamental solution $ H(x,t) $ related to a non linear integro-differential equation. Properti… ▽ More The FitzHugh-Rinzel system is able to describe some biophysical phenomena, such as bursting oscillations, and the study of its solutions can help to better understand several behaviours of the complex dynamics of biological systems. We express the solutions by means of an integral equation involving the fundamental solution $ H(x,t) $ related to a non linear integro-differential equation. Properties of $ H(x,t) $ allow us to obtain a priori estimates for solutions determined in the whole space, showing both the influence of the initial data and the source term. △ Less

Submitted 4 April, 2022; v1 submitted 18 June, 2021; originally announced June 2021.

Interval propagation through the discrete Fourier transform

Authors: Marco De Angelis, Marco Behrendt, Liam Comerford, Yuanjin Zhang, Michael Beer

Abstract: We present an algorithm for the forward propagation of intervals through the discrete Fourier transform. The algorithm yields best-possible bounds when computing the amplitude of the Fourier transform for real and complex valued sequences. We show that computing the exact bounds of the amplitude can be achieved with an exhaustive examination of all possible corners of the interval domain. However,… ▽ More We present an algorithm for the forward propagation of intervals through the discrete Fourier transform. The algorithm yields best-possible bounds when computing the amplitude of the Fourier transform for real and complex valued sequences. We show that computing the exact bounds of the amplitude can be achieved with an exhaustive examination of all possible corners of the interval domain. However, because the number of corners increases exponentially with the number of intervals, such method is infeasible for large interval signals. We provide an algorithm that does not need such an exhaustive search, and show that the best possible bounds can be obtained propagating complex pairs only from the convex hull of endpoints at each term of the Fourier series. Because the convex hull is always tightly inscribed in the respective rigorous bounding box resulting from interval arithmetic, we conclude that the obtained bounds are guaranteed to enclose the true values. △ Less

Submitted 28 May, 2021; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: This work will appear in proceedings of the 9th international workshop on Reliable Engineering Computing

On solutions related to FitzHugh-Rinzel type model

Authors: Fabio De Angelis, Monica De Angelis

Abstract: A ternary autonomous dynamical system of FitzHugh-Rinzel type is analyzed. The system, at start, is reduced to a nonlinear integro differential equation. The fundamental solution $ H(x,t) $ is explicitly determined and the initial value problem is analyzed in the whole space. The solution is expressed by means of an integral equation involving $ H(x,t) $. Moreover, adding an extra control term, ex… ▽ More A ternary autonomous dynamical system of FitzHugh-Rinzel type is analyzed. The system, at start, is reduced to a nonlinear integro differential equation. The fundamental solution $ H(x,t) $ is explicitly determined and the initial value problem is analyzed in the whole space. The solution is expressed by means of an integral equation involving $ H(x,t) $. Moreover, adding an extra control term, explicit solutions are achieved. △ Less

Submitted 4 April, 2022; v1 submitted 31 July, 2019; originally announced August 2019.

Comments: Keywords: FitzHugh-Rinzel model, Fundamental solution, Laplace transform,Exact solutions

MSC Class: 35K47; 35K25; 78A70; 35E05; 44A10

Journal ref: Ricerche di Matematica Volume 70, Issue 1, June 2021, Pages 51-65

On the Fitzhugh-Nagumo model

Authors: M. De Angelis, P. Renno

Abstract: The initial value problem P0, in all of the space, for the spatio - temporal FitzHugh - Nagumo equations is analyzed. When the reaction kinetics of the model can be outlined by means of piecewise linear approximations, then the solution of P0 is explicitly obtained. For periodic initial data are possible damped travelling waves and their speed of propagation is evaluated. The results imply applica… ▽ More The initial value problem P0, in all of the space, for the spatio - temporal FitzHugh - Nagumo equations is analyzed. When the reaction kinetics of the model can be outlined by means of piecewise linear approximations, then the solution of P0 is explicitly obtained. For periodic initial data are possible damped travelling waves and their speed of propagation is evaluated. The results imply applications also to the non linear case. △ Less

Submitted 26 February, 2012; originally announced February 2012.

Journal ref: Proceedings WASCOM 2007 XIV International Conference on Waves and Stability in Continuous Media World Scientific Publishing Company 2008, 193-198