English
Related papers

Related papers: Contractions of Integrable Equations

200 papers

Differential constraints compatible with the linearized equations of partial differential equations are examined. Recursion operators are obtained by integrating the differential constraints.

Analysis of PDEs · Mathematics 2015-06-26 Ahmet Satir

We consider discrete metric spaces and we look for non-constant contractions. We introduce the notion of contractive map and we characterize the spaces with non-constant contractive maps. We provide some examples to discussion the possible…

Classical Analysis and ODEs · Mathematics 2010-11-19 Fabio Zucca

Theoretical background of continuous contractions of finite-dimensional Lie algebras is rigorously formulated and developed. In particular, known necessary criteria of contractions are collected and new criteria are proposed. A number of…

Mathematical Physics · Physics 2015-06-26 Maryna Nesterenko , Roman Popovych

An analytical approach to convolution of functions, which appear in perturbative calculations, is discussed. An extended list of integrals is presented.

High Energy Physics - Phenomenology · Physics 2007-05-23 A. B. Arbuzov

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…

Logic in Computer Science · Computer Science 2007-12-11 Klaus Aehlig , Arnold Beckmann

In a quaternion order of class number one, an element can be factored in multiple ways depending on the order of the factorization of its reduced norm. The fact that multiplication is not commutative causes an element to induce a…

Rings and Algebras · Mathematics 2018-11-02 Sara Chari

Working in a semi-constructive logical system that supports the extraction of concurrent programs, we extract a program inverting non-singular real valued matrices from a constructive proof based on Gaussian elimination. Concurrency is used…

Logic in Computer Science · Computer Science 2023-05-18 Ulrich Berger , Monika Seisenberger , Dieter Spreen , Hideki Tsuiki

A recently derived approach to the tensor reduction of 5-point one-loop Feynman integrals expresses the tensor coefficients by scalar 1-point to 4-point Feynman integrals completely algebraically. In this letter we derive extremely compact…

High Energy Physics - Phenomenology · Physics 2011-07-20 J. Fleischer , T. Riemann

We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…

Mathematical Physics · Physics 2026-03-31 Umpei Miyamoto

This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. The main result is a necessary and sufficient condition two…

Logic in Computer Science · Computer Science 2017-02-09 Mario Coppo , Mariangiola Dezani-Ciancaglini , Alejandro Díaz-Caro , Ines Margaria , Maddalena Zacchi

Well-known operations defined on a non-degenerate inner product vector space are extended to the case of a degenerate inner product. The main obstructions to the extension of these operations to the degenerate case are (1) the index…

Mathematical Physics · Physics 2011-12-30 Ovidiu Cristinel Stoica

An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is…

Logic · Mathematics 2017-10-18 Miroslav Olšák

A new problem is studied, the concept of exactness of a second order nonlinear ordinary differential equations is established. A method is constructed to reduce this class into a first order equations. If the second order equation is not…

Classical Analysis and ODEs · Mathematics 2019-08-17 R. AlAhmad , M. Al-Jararha , H. Almefleh

A branch of generalizations of the Banach Fixed Point Theorem replaces contractivity by a weaker but still effective property. The aim of the present note is to extend the contraction principle in this spirit for such complete semimetric…

Functional Analysis · Mathematics 2017-06-29 Mihály Bessenyei , Zsolt Páles

We consider the functions in two variables on an arbitrary poset, for which the convolution operation is defined. We obtain the generalization of incidence algebra and describe its properties: invertibility, the Jackobson radical,…

Rings and Algebras · Mathematics 2008-03-04 N. S. Khripchenko , B. V. Novikov

Let $C$ be a nodal curve, and let $E$ be a union of semistable subcurves of $C$. We consider the problem of contracting the connected components of $E$ to singularities in a way that preserves the genus of $C$ and makes sense in families,…

Algebraic Geometry · Mathematics 2021-01-19 Sebastian Bozlee

The development of the notion of group contraction first introduced by E. In{\"o}n{\"u} and E.P. Wigner in 1953 is briefly reviewed. The fundamental role of the idea of degenerate transformations is stressed. The significance of…

High Energy Physics - Theory · Physics 2007-05-23 N. A. Gromov

Multidimensional contractions of irreducible representations of Cayley--Klein orthogonal algebras in Gel'fand--Zetlin basis are considered. Contracted over different parameters, algebras can turn out to be isomorphic. In this case method of…

Mathematical Physics · Physics 2007-05-23 N. A. Gromov , S. S. Moskaliuk

Assembling parts into an object is a combinatorial problem that arises in a variety of contexts in the real world and involves numerous applications in science and engineering. Previous related work tackles limited cases with identical unit…

Computer Vision and Pattern Recognition · Computer Science 2022-06-22 Jinhwi Lee , Jungtaek Kim , Hyunsoo Chung , Jaesik Park , Minsu Cho

An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended…

Logic in Computer Science · Computer Science 2012-10-30 Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud