Related papers: Solvability of a class of evolution operators on c…
We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant…
It is conjectured that to test the K-polystability of a polarised variety it is enough to consider test-configurations which are equivariant with respect to a torus in the automorphism group. We prove partial results towards this…
The group classification problem for the class of (1+1)-dimensional linear $r$th order evolution equations is solved for arbitrary values of $r>2$. It is shown that a related maximally gauged class of homogeneous linear evolution equations…
We consider a periodic evolution inclusion defined on an evolution triple of spaces. The inclusion involves also a subdifferential term. We prove existence theorems for both the convex and the nonconvex problem, and we also produce extremal…
We establish that by parameterizing the configuration space of a one-dimensional quantum system by polynomial invariants of q-deformed Coxeter groups it is possible to construct exactly solvable models of Calogero type. We adopt the…
It is proved that the orbit space of an irreducible representation of a simple connected compact Lie group of type B, C, or D can be a smooth manifold only in two cases.
The constraint equations for smooth $[n+1]$-dimensional (with $n\geq 3$) Riemannian or Lorentzian spaces satisfying the Einstein field equations are considered. It is shown, regardless of the signature of the primary space, that the…
We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…
We consider a family of homogeneous nonlinear dispersive equations with two arbitrary parameters. Conservation laws are established from the point symmetries and imply that the whole family admits square integrable solutions. Recursion…
Is undecidability a requirement for open-ended evolution (OEE)? Using methods derived from algorithmic complexity theory, we propose robust computational definitions of open-ended evolution and the adaptability of computable dynamical…
We give explicit and elementary constructions of the categorical extensions of a torus by the circle and discuss an application to loop group extensions. Examples include maximal tori of simple and simply connected compact Lie groups and…
A definable type of a first-order theory is the same as a section (retraction) of the simplicial path space (decalage) of its space of types viewed as a simplicial topological space; as is well-known, in the category of simplicial sets such…
We give a necessary and sufficient criterion for the solvability of $\operatorname{HH}^1(kP)$ as a Lie algebra, where $P$ is a $p$-group with $p$ odd, in terms of a directed graph constructed from the group $P$. This gives non-trivial…
We begin by discussing various ways autoequivalences and stability conditions associated to triangulated categories can interact. Once an appropriate definition of compatibility is formulated, we derive a sufficiency criterion for this…
We present easily verifiable sufficient conditions of time-independence and commutativity for local and nonlocal symmetries for a large class of homogeneous (1+1)-dimensional evolution systems. In contrast with the majority of known…
The general theory of Lyapunov's stability of first-order differential inclusions in Hilbert spaces has been studied by the authors in a previous work. This new contribution focuses on the natural case when the maximally monotone operator…
In this note, we consider a class of composition operators on Lebesgue spaces with variable exponents over metric measure spaces. Taking advantage of the compatibility between the metric-measurable structure and the regularity properties of…
A potential representation for the subset of traveling solutions of nonlinear dispersive evolution equations is introduced. The procedure involves a reduction of a third order partial differential equation to a first order ordinary…
We formulate the notion of continuous evolution algebra in terms of differentiable matrix-valued functions, to then study those such algebras arising as solutions of ODE problems. Given their dependence on natural bases, matrix Lie groups…
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…