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

We extend to the case of moving solitons, the result on asymptotic stability of ground states of the NLS with a short range linear potential obtained by the author in a previous paper. Now we drop the potential and allow moving solitons.…

In this paper we prove three different Liouville type theorems for the steady Navier-Stokes equations in $\Bbb R^3$. In the first theorem we improve logarithmically the well-known $L^{\frac92} (\Bbb R^3)$ result. In the second theorem we…

We prove some $L^p$-Liouville theorems for hypoelliptic second order Partial Differential Operators left translation invariant with respect to a Lie group composition law in $\mathbb{R}^n$. Results for both solutions and subsolutions are…

In this paper we develop a general conceptual approach to the problem of existence of action-angle variables for dynamical systems, which establishes and uses the fundamental conservation property of associated torus actions: anything which…

The problem of constructing semi-discrete integrable analogues of the Liouville type integrable PDE is discussed. We call the semi-discrete equation a discretization of the Liouville type PDE if these two equations have a common integral.…

Nonlinear semi-discrete equations of the form t_x(n+1)=f(t(n), t(n+1), t_x(n)) are studied. An adequate algebraic formulation of the Darboux integrability is discussed and the attempt to adopt this notion to the classification of Darboux…

We study discretization of Darboux integrable systems. The discretization is done by using $x$- or $y$-integrals of the considered systems. New examples of semi-discrete Darboux integrable systems are obtained.

Under ceratin conditions, generalized action-angle coordinates can be introduced near non-compact invariant manifolds of completely and partially integrable Hamiltonian systems.

We show that the Liouville property and Reiter's condition are equivalent for semigroupoids. This result applies to semigroups as well as semigroup actions. In the special case of measured groupoids and locally compact groupoids, our result…

Relativistic Hamiltonian equations describing a motion of a point mass in an arbitrary homogeneous potential are considered. For the first time, the necessary integrability conditions for integrability in the Liouville sense for this class…

In this paper, we will use the normalized intetral Ricci curvature to investigate Liouville type property of $ p $ harmonic function on Riemannian manifold. secondly, we will use the BiRic curvature to obtian Liuville theorem for $ p $…

This article concerns cotangent-lifted Lie group actions; our goal is to find local and ``semi-global'' normal forms for these and associated structures. Our main result is a constructive cotangent bundle slice theorem that extends the…

This note provides a formula for the character of the Lie algebra of the fundamental group of a surface, viewed as a module over the symplectic group.

Here, Darboux's classical results about transformations with differential substitutions for hyperbolic equations are extended to the case of parabolic equations of the form $L u = \big(D^2_{x} + a(x,y) D_x + b(x,y) D_y + c(x,y)\big)u=0$. We…

We show in a rigorous way that Crum's result on equal eigenvalue spectrum of Sturm-Liouville problems can be obtained iteratively by successive Darboux transformations. It can be shown that all neighbouring Darboux-transformed potentials of…

It is shown that, under suitable conditions, involving in particular the existence of analytic constants of motion, the presence of Lie point symmetries can ensure the convergence of the transformation taking a vector field (or dynamical…

We prove the action-angle theorem in the general, and most natural, context of integrable systems on Poisson manifolds, thereby generalizing the classical proof, which is given in the context of symplectic manifolds. The topological part of…

In this paper, we apply the moving plane method to some degenerate elliptic equations to get a Liouville type theorem. As an application, we derive the a priori bounds for positive solutions of some semi-linear degenerate elliptic…

We prove Noether-type theorems for fractional isoperimetric variational problems with Riemann-Liouville derivatives. Both Lagrangian and Hamiltonian formulations are obtained. Illustrative examples, in the fractional context of the calculus…

This report presents a formalisation of Sylow's theorems done in {\sc Coq}. The formalisation has been done in a couple of weeks on top of Georges Gonthier's {\sc ssreflect} \cite{ssreflect}. There were two ideas behind formalising Sylow's…