Related papers: Integration in finite terms and exponentially alge…
Nonlinear second-order ordinary differential equations are common in various fields of science, such as physics, mechanics and biology. Here we provide a new family of integrable second-order ordinary differential equations by considering…
The existence of exponential dichotomies has been well-established as a powerful tool to study existence, stability, and bifurcations of coherent structures. Currently, the application of exponential dichotomies to elliptic problems posed…
We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference…
We introduce an extended Kepler-Coulomb quantum model in spherical coordinates. The Schr\"{o}dinger equation of this Hamiltonian is solved in these coordinates and it is shown that the wave functions of the system can be expressed in terms…
We review the new approach to the theory of nonlinear $W$-algebras which is developed recently and called {\it conformal linearization}. In this approach $W$-algebras are embedded as subalgebras into some {\it linear conformal} algebras…
Properties of partial integrals such as real and complex-valued polynomial, multiple polynomial, exponential, and conditional for ordinary differential systems are studied. The possibilities of constructing first integrals and last…
This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras…
We study finite-dimensional representations of hyper loop algebras over non-algebraically closed fields. The main results concern the classification of the irreducible representations, the construction of the Weyl modules, base change,…
We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph…
The work deals with the studies of the existence of solutions of an integro-differential equation in the situation of the difference of the standard Laplacian and the bi-Laplacian in the diffusion term. The proof of the existence of…
In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…
Differential operators usually result in derivatives expressed as a ratio of differentials. For all but the simplest derivatives, these ratios are typically not algebraically manipulable, but must be held together as a unit in order to…
Space and time discretizations of parabolic differential equations with dynamic boundary conditions are studied in a weak formulation that fits into the standard abstract formulation of parabolic problems, just that the usual L^2(\Omega)…
We are lifting classical problems from single instances to regular sets of instances. The task of finding a positive instance of the combinatorial problem $P$ in a potentially infinite given regular set is equivalent to the so called…
The non-elementary integrals involving elementary exponential, hyperbolic and trigonometric functions, $ \int x^\alpha e^{\eta x^\beta}dx, \int x^\alpha \cosh\left(\eta x^\beta\right)dx, \int x^\alpha \sinh\left(\eta x^\beta\right)dx, \int…
We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given…
It is known in the case of the Stieltjes transform that evaluating the integral by expanding the kernel of transformation followed by term by term integration leads to an infinite series of divergent integrals. Moreover, it is known that…
For any arbitrary algebraic curve, we define an infinite sequence of invariants. We study their properties, in particular their variation under a variation of the curve, and their modular properties. We also study their limits when the…
We introduce a class of multidimensional Schr\"odinger operators with elliptic potential which generalize the classical Lam\'e operator to higher dimensions. One natural example is the Calogero--Moser operator, others are related to the…
A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type…