Related papers: A complete equational axiomatisation of partial di…
We consider regular polynomial interpolation algorithms on recursively defined sets of interpolation points which approximate global solutions of arbitrary well-posed systems of linear partial differential equations. Convergence of the…
We consider the solution of spectral problems with elliptic coefficients in the framework of the Hermite ansatz. We show that the search for exactly solvable potentials and their spectral characteristics is reduced to a system of polynomial…
In this paper we discuss the first order partial differential equations resolved with any derivatives. At first, we transform the first order partial differential equation resolved with respect to a time derivative into a system of linear…
We prove new bounds on the Betti numbers of real varieties and semi-algebraic sets that have a more refined dependence on the degrees of the polynomials defining them than results known before. Our method also unifies several different…
It is well known that, under certain conditions, it is possible to split logic programs under stable model semantics, i.e. to divide such a program into a number of different "levels", such that the models of the entire program can be…
The article provides a modest survey of the absolute theory of general systems of (partial) differential equations. The equations are relieved of all additional structures and subject to quite arbitrary change of the variables. An abstract…
We study a class of overdetermined algebraic systems of equations. We prove that the number of distinct solutions equals to the maximal possible if and only if certain matrices are commuting and semisimple. This gives a characterization of…
We give a necessary and sufficient condition for a system of linear inhomogeneous fractional differential equations to have at least one bounded solution. We also obtain an explicit description for the set of all bounded (or decay)…
We show that to determine all solvable elements in the Weyl algebra is closely related to the Dixmier's open question. Sufficient conditions for an elements being unsolvable are given, and properties of solvable elements are obtained.
We investigate the set of partial partitions of a finite set, ordered by inclusion. With this ordering the set of partial partitions can be studied as an abstract simplicial complex. We use the theory of shellable nonpure complexes to find…
In this work we proivied a new simpler proof of the global diffeomorphism theorem from [9] which we further apply to consider unique solvability of some abstract semilinear equations. Applications to the second order Dirichlet problem…
We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…
Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…
Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a…
The aim of the paper is to present Hermite-type multiwavelets satisfying the vanishing moment property with respect to elements in the space spanned by exponentials and polynomials. Such functions satisfy a two-scale relation which is…
We explicate a procedure to solve general linear differential equations, which connects the desired solutions to monomials x^m of an appropriate degree m. In the process the underlying symmetry of the equations under study, as well as that…
Given a weight of sl(n), we derive a system of variable-coefficient second-order linear partial differential equations that determines the singular vectors in the corresponding Verma module. Moreover, we completely solve the system in a…
In this article we study the asymptotic behavior of solutions of some fractional differential equations. We prove convergence to power type functions under some assumptions on the nonlinearities. Our results extend and generalize some…
In this article, we prove a decomposition theorem on differential polynomials of theta functions of high level.