Related papers: Darboux normal form theorem as an example of Liouv…

In this paper, we establish Liouville theorems for the following system of elliptic differential inequalities $$ \Delta_{\mathbb H}u^{m_1}+|\eta|_{\mathbb H}^{\gamma_1}|v|^p\leq0,$$ $$ \Delta_{\mathbb H}v^{m_2}+|\eta|_{\mathbb…

In this article, motivated by the study of symplectic structures on manifolds with boundary and the systematic study of $b$-symplectic manifolds started in [12], we prove a slice theorem for Lie group actions on $b$-symplectic manifolds.

We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…

We introduce non-smooth symplectic forms on manifolds and describe corresponding Poisson structures on the algebra of Colombeau generalized functions. This is achieved by establishing an extension of the classical map of smooth functions to…

In this paper we study the Darboux transformations of planar vector fields of Schr\"odinger type. Using the isogaloisian property of Darboux transformation we prove the "invariance" of the objects of the "Darboux theory of integrability".…

We give a simple construction involving partial actions which permits us to obtain an easy proof of a weakened version of L. O'Carroll's theorem on idempotent pure extensions of inverse semigroups.

This paper establishes the symmetries of Darboux's equations (1882) on tori. We extend Ince's work (1940) by developing new infinite series expansions in terms of Jacobi elliptic functions around each of the four regular singular points of…

We consider equations that represent a constancy condition for a 2D Wronskian, mixed Wronskian-Casoratian and 2D Casoratian. These determinantal equations are shown to have the number of independent integrals equal to their order - this…

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional…

In the framework of nonlinear Hamiltonian lattices, we revisit the proof of Moser-Darboux's Theorem, in order to present a general scheme for its constructive applicability to Hamiltonian models with non-standard symplectic structures. We…

We use the integral by parts to get a Liouville type theorem for a class quasilinear $p$-Laplace type equation on the sphere, this $p$-Laplace type equation arises from the study of asymptotic behavior near the origin for the semi-linear…

We put Darboux's porism on folding of quadrilaterals, as well as closely related Bottema's zigzag porism, in the context of Arnold-Liouville integrability.

In this paper we study solutions, possibly unbounded and sign-changing, of the following problem: -\D_{\lambda} u=|x|_{\lambda}^a |u|^{p-1}u, in R^n,\;n\geq 1,\; p>1, and a \geq 0, where \D_{\lambda} is a strongly degenerate elliptic…

We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…

We introduce a combination of fixed point Floer homology and symplectic homology for Liouville domains. As an application, we detect non-trivial elements in the symplectic mapping class group of a Liouville domain.

We present a novel approach to the Liouville problem for the stationary Navier-Stokes equations. As an application of our method, we prove conditional Liouville theorems with assumptions on the antiderivative of the velocity that represent…

We present an extension of the methods of classical Lie group analysis of differential equations to equations involving generalized functions (in particular: distributions). A suitable framework for such a generalization is provided by…

We introduce GBDT version of Darboux transformation for symplectic and Hamiltonian systems as well as for Shin-Zettl systems and Sturm-Liouville equations. These are the first results on Darboux transformation for general-type Hamiltonian…

Consider a complex Hamiltonian system and an integral curve. In this paper, we give an effective and efficient procedure to put the variational equation of any order along the integral curve in reduced form provided that the previous one is…

This note documents the specification of normal forms in cubical type theory. The definition is already present in the proof of normalization for cubical type theory, but we present it in a more traditional style explicitly for reference.