Related papers: Painlev\'e's determinateness theorem extended to p…
In a preceding article, we have studied a generalization of the problem of finding a martingale on a manifold whose terminal value is known. This article completes the results obtained in the first article by providing uniqueness and…
Some recent papers formulated sufficient conditions for the decomposition of matrix variances. A statement was that if we have one or two observables, then the decomposition is possible. In this paper we consider an arbitrary finite set of…
Two purposes will be shown in this paper. The first one is to extend the classic Tumura-Clunie type theorem for meromorphic functions of one complex variable to meromorphic functions of several complex variables by using Clunie lemma. The…
We study Polynomial Lawvere logic PL, a logic defined over the Lawvere quantale of extended positive reals with sum as tensor, to which we add multiplication, thereby obtaining a semiring structure. PL is designed for complex quantitative…
We prove a complex polynomial plank covering theorem for not necessarily homogeneous polynomials. As the consequence of this result, we extend the complex plank theorem of Ball to the case of planks that are not necessarily centrally…
We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.
We extend Riemann's rearrangement theorem on conditionally convergent series of real numbers to multiple instead of simple sums.
We give a new approach to the symmetries of the Painlev\'e equations $P_{V},P_{IV},P_{III}$ and $P_{II}$, respectively. Moreover, we make natural extensions to fourth-order analogues for each of the Painlev\'e equations $P_{V}$ and…
We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.
We derive the discrete version of the classical Helmholtz condition. Precisely, we state a theorem characterizing second order finite differences equations admitting a Lagrangian formulation. Moreover, in the affirmative case, we provide…
In the Painleve analysis of nonintegrable partial differential equations one obtains differential constraints describing the movable singularity manifold. We show, for a class of n-dimensional wave equations, that these constraints have a…
The well-known solution theory for (systems of) linear ordinary differential equations undergoes significant changes when introducing an additional real parameter. Properties like the existence of fundamental sets of solutions or…
We give an explicit determinant formula for a class of rational solutions of a q-analogue of the Painlev\'e V equation. The entries of the determinant are given by the continuous q-Laguerre polynomials.
This short survey presents the essential features of what is called Painlev\'e analysis, i.e. the set of methods based on the singularities of differential equations in order to perform their explicit integration. Full details can be found…
In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…
We establish the higher differentiability of solutions to a class of obstacle problems for integral functionals where the convex integrand f satisfies p-growth conditions with respect to the gradient variable. We derive that the higher…
This paper is an introduction to the theory of multivector functions of a real variable. The notions of limit, continuity and derivative for these objects are given. The theory of multivector functions of a real variable, even being similar…
We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can…
There is proved the sufficiency of several conditions for the removability of singularities of complex-analytic sets in domains of $\mathbb C^n$.
In this paper we prove a version of Lie-B\"acklund theorem for overdetermined systems of scalar PDEs, whose general solution depends on 1 function of 1 variable. This generalizes the case of involutive system of the second order on the…