English
Related papers

Related papers: Interconnections between various analytic approach…

200 papers

We demonstrate the synthesis of sparse sampling and machine learning to characterize and model complex, nonlinear dynamical systems over a range of bifurcation parameters. First, we construct modal libraries using the classical proper…

Pattern Formation and Solitons · Physics 2015-10-28 Syuzanna Sargsyan , Steven L. Brunton , J. Nathan Kutz

This paper investigates a class of non-autonomous highly oscillatory ordinary differential equations characterized by a linear component inversely proportional to a small parameter $\varepsilon$, with purely imaginary eigenvalues, and an…

Numerical Analysis · Mathematics 2026-02-05 Zhihao Qi , Weibing Deng , Fuhai Zhu

Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The underlying synthesis problem, however, is challenging and…

Logic in Computer Science · Computer Science 2019-08-29 Mingshuai Chen , Jian Wang , Jie An , Bohua Zhan , Deepak Kapur , Naijun Zhan

We propose a systemic method of applying the auxiliary systems of original equations to find the high order nonlocal symmetries of nonlinear evolution equation. In order to validate the effectiveness of the method, some examples are…

Exactly Solvable and Integrable Systems · Physics 2012-12-27 Xiangpeng Xin , Yong Chen

We are interested in numerically approximating the solution ${\bf U}(t)$ of the large dimensional semilinear matrix differential equation $\dot{\bf U}(t) = { \bf A}{\bf U}(t) + {\bf U}(t){ \bf B} + {\cal F}({\bf U},t)$, with appropriate…

Numerical Analysis · Mathematics 2021-05-26 Gerhard Kirsten , Valeria Simoncini

The convergence analysis of a third-order scheme for the highly nonlinear Landau-Lifshitz-Gilbert equation with a non-convex constraint is considered. In this paper, we first present a fully discrete semi-implicit method for solving the…

Numerical Analysis · Mathematics 2025-11-14 Changjian Xie , Cheng Wang

In this article we present first an algorithm for calculating the determining equations associated with so-called ``nonclassical method'' of symmetry reductions (a la Bluman and Cole) for systems of partial differentail equations. This…

solv-int · Physics 2008-02-03 Peter A. Clarkson , Elizabeth L. Mansfield

Nonlocally related partial differential equation (PDE) systems are useful in the analysis of a given PDE system. It is known that each local conservation law of a given PDE system systematically yields a nonlocally related system. In this…

Mathematical Physics · Physics 2015-06-12 George W. Bluman , Zhengzheng Yang

We review studies on the application of Lie group methods to delay ordinary differential equations (DODEs). For first- and second-order DODEs with a single delay parameter that depends on independent and dependent variables, the group…

Exactly Solvable and Integrable Systems · Physics 2025-11-12 Vladimir Dorodnitsyn , Roman Kozlov , Sergey Meleshko

Here we present a method to find elementary first integrals of rational second order ordinary differential equations (SOODEs) based on a Darboux type procedure \cite{ManMac,firsTHEOps1,secondTHEOps1}. Apart from practical computational…

Mathematical Physics · Physics 2008-10-02 J. Avellar , L. G. S. Duarte , S. E. S. Duarte , L. A. C. P. da Mota

Nonlinear ODEs invariant under the group SL(2,R) are solved numerically. We show that solution methods incorporating the Lie point symmetries provide better results than standard methods.

Mathematical Physics · Physics 2015-05-13 A. Bourlioux , R. Rebelo , P. Winternitz

In the first part of this series, an augmented PDE system was introduced in order to couple two nonlinear hyperbolic equations together. This formulation allowed the authors, based on Dafermos's self-similar viscosity method, to establish…

Analysis of PDEs · Mathematics 2021-10-01 Benjamin Boutin , Frédéric Coquel , Philippe G. LeFloch

We develop symbolic methods of asymptotic approximations for solutions of linear ordinary differential equations and use to them stabilize numerical calculations. Our method follows classical analysis for first-order systems and…

Symbolic Computation · Computer Science 2011-10-12 Christopher J. Winfield

In this note, we present an eighth-order derivative-free family of iterative methods for nonlinear equations. The proposed family shows optimal eight-order of convergence in the sense of the Kung and Traub conjecture \cite{5} and is based…

Numerical Analysis · Mathematics 2013-08-12 Laila M Assas , Fayyaz Ahmad , Malik Zaka Ullah

We develop foundations for computing Craig interpolants and similar intermediates of two given formulas with first-order theorem provers that construct clausal tableaux. Provers that can be understood in this way include efficient…

Logic in Computer Science · Computer Science 2018-10-19 Christoph Wernhard

In this paper we introduce an observer design framework for ordinary differential equation (ODE) systems based on various types of existing or even novel one-parameter symmetries (exact, asymptotic and variational) ending up with a certain…

Systems and Control · Electrical Eng. & Systems 2025-04-02 Stefano Battilotti

This study introduces the reader to the theory of approximating the solution(s) of a non-linear, second order, ordinary differential equation (ODE) with piecewise polynomial functions by using the collocation method. It then focuses on the…

Numerical Analysis · Mathematics 2018-05-09 J Hamish M Darbyshire

A method of representation of a solution as segments of the series in powers of the step of the independent variable is expanded for solving complex systems of ordinary differential equations (ODE): the Lorenz system and other systems. A…

Numerical Analysis · Computer Science 2014-05-26 Vladimir Aristov , Andrey Stroganov

In this paper we construct high order numerical methods for solving third and fourth orders nonlinear functional differential equations (FDE). They are based on the discretization of iterative methods on continuous level with the use of the…

Numerical Analysis · Mathematics 2024-11-05 Dang Quang A , Dang Quang Long

Recent advances in nonlinear dynamical systems theory provide a new insight into numerical properties of discrete algorithms developed to solve nonlinear initial value problems. Basic features like accuracy and stability are well pointed…

solv-int · Physics 2008-02-03 S. Sello