English
Related papers

Related papers: Superposition rules for higher-order systems and t…

200 papers

This article complements recent results of the papers [J. Math. Phys. 41 (2000), 480; 45 (2004), 336] on the symmetry classification of second-order ordinary difference equations and meshes, as well as the Lagrangian formalism and…

Exactly Solvable and Integrable Systems · Physics 2008-04-24 Vladimir Dorodnitsyn

This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit…

Symbolic Computation · Computer Science 2024-01-31 Veronika Treumova , Dmitry A. Lyakhov , Dominik L. Michels

We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…

Logic in Computer Science · Computer Science 2014-07-15 Mnacho Echenim , Nicolas Peltier

A superposition rule for two solutions of a Milne--Pinney equation is derived.

Mathematical Physics · Physics 2009-02-06 José F. Cariñena , Javier de Lucas

A general sufficient condition for the convergence of subsequences of solutions of non-autonomous, nonlinear difference equations and systems is obtained. For higher order equations the delay sizes and patterns play essential roles in…

Dynamical Systems · Mathematics 2017-07-25 H. Sedaghat

We investigate higher-dimensional $\Delta$-systems indexed by finite sets of ordinals, isolating a particular definition thereof and proving a higher-dimensional version of the classical $\Delta$-system lemma. We focus in particular on…

Logic · Mathematics 2022-04-07 Chris Lambie-Hanson

We prove a superposition principle in the spirit of Crandall-Zhang and Lindqvist-Manfredi for a class of second order quasilinear equations. Riesz potentials of nonnegative and compactly supported continuous functions are either…

Analysis of PDEs · Mathematics 2016-10-06 Jeremy T. Tyson

A ubiquitous feature of quantum mechanical theories is the existence of states of superposition. This is expected to be no different for a quantum gravity theory. Guided by this consideration and others we consider a framework in which…

Quantum Physics · Physics 2023-12-22 Elliott Tammaro , Hunter Angle , Edmund Mbadu

Mixed superposition rules are, in short, a method to describe the general solutions of a time-dependent system of first-order differential equations, a so-called Lie system, in terms of particular solutions of other ones. This article is…

Mathematical Physics · Physics 2025-11-04 Rutwig Campoamor-Stursberg , Oscar Carballal , Francisco J. Herranz , Javier de Lucas

We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of…

Logic · Mathematics 2018-05-15 Agata Ciabattoni , Francesco A. Genco

A Lie system is a system of differential equations admitting a superposition rule, i.e., a function describing its general solution in terms of any generic set of particular solutions and some constants. Following ideas going back to the…

Mathematical Physics · Physics 2015-03-03 J. F. Cariñena , J. Grabowski , J. de Lucas , C. Sardón

The $k$-symplectic structures appear in the geometric study of the partial differential equations of classical field theories. Meanwhile, we present a new application of the $k$-symplectic structures to investigate a type of systems of…

Mathematical Physics · Physics 2015-08-06 J. de Lucas , M. Tobolski , S. Vilariño

Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that…

Logic in Computer Science · Computer Science 2024-03-11 Ahmed Bhayat , Johannes Schoisswohl , Michael Rawson

The need for modification of the Huygens-Fresnel superposition principle arises even in the description of the free fields of massive particles and, more extensively, in nonlinear field theories. A wide range of formulations and…

High Energy Physics - Theory · Physics 2017-06-08 M. I. Krivoruchenko

We prove some new results on existence of solutions to first--order ordinary differential equations with deviating arguments. Delay differential equations are included in our general framework, which even allows deviations to depend on the…

Classical Analysis and ODEs · Mathematics 2014-02-26 Rubén Figueroa , Rodrigo López Pouso

This work deals with defect structures in models described by scalar fields. The investigations focus on generalized models, with the kinetic term modified to allow for a diversity of possibilities. We develop a new framework, in which we…

High Energy Physics - Theory · Physics 2010-05-12 D. Bazeia , L. Losano , R. Menezes

By using the theory of first-order differential subordination for functions with fixed initial coefficient, several well-known results for subclasses of univalent functions are improved by restricting the functions to have fixed second…

Complex Variables · Mathematics 2012-08-02 Sumit Nagpal , V. Ravichandran

The concept of a superposition is a revolutionary novelty introduced by Quantum Mechanics. If a system may be in any one of two pure states x and y, we must consider that it may also be in any one of many superpositions of x and y. An…

Quantum Physics · Physics 2008-04-07 Daniel Lehmann

The most general mathematical law for summing bounded quantities is not the arithmetic law, but a composition law of which the summation law for velocities in special relativity is only one particular example. We believe that this…

General Physics · Physics 2026-01-09 J. -M. Vigoureux

This work presents a newly renovated approach to the analysis of second-order Riccati equations from the point of view of the theory of Lie systems. We show that these equations can be mapped into Lie systems through certain Legendre…

Mathematical Physics · Physics 2012-04-05 J. F. Cariñena , J. de Lucas , C. Sardón