Related papers: Bezout-type Theorems for Differential Fields
In this sequel to arxiv:arXiv:1012.0835 we develop Bezout type theorems for semidegrees (including an explicit formula for {\em iterated semidegrees}) and an inequality for subdegrees. In addition we prove (in case of surfaces) a Bernstein…
The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The…
E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…
We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…
We consider the problem of estimating the multiplicity of a polynomial when restricted to the smooth analytic trajectory of a (possibly singular) polynomial vector field at a given point or points, under an assumption known as the…
We consider Dirichlet exterior value problems related to a class of non-local Schr\"odinger operators, whose kinetic terms are given in terms of Bernstein functions of the Laplacian. We prove elliptic and parabolic…
This paper provides a non-standard analogue of Bezout's theorem. This is acheived by showing that, in all characteristics, the notion of Zariski multiplicity coincides with intersection multiplicity when we consider the full families of…
Let $d,k$ be natural numbers and let $\mathcal{L}_1, \dots, \mathcal{L}_k \in \mathrm{GL}_d(\mathbb{Q})$ be linear transformations such that there are no non-trivial subspaces $U, V \subseteq \mathbb{Q}^d$ of the same dimension satisfying…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…
We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…
Asymptotic expansions are derived for Gegenbauer (ultraspherical) polynomials for large order $n$ that are uniformly valid for unbounded complex values of the argument $z$, including the real interval $0 \leq z \leq 1$ in which the zeros in…
The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. We generalize this theorem to…
We investigate affine Berkovich spaces over maximally complete fields and prove that they may be approximated by simpler spaces when the only functions we need to evaluate are polynomials of bounded degree. We derive applications to…
We solve a case of the Abelian Exponential-Algebraic Closedness Conjecture, a conjecture due to Bays and Kirby, building on work of Zilber, which predicts sufficient conditions for systems of equations involving algebraic operations and the…
We investigate a quasilinear initial-boundary value problem for Kuznetsov's equation with non-homogeneous Dirichlet boundary conditions. This is a model in nonlinear acoustics which describes the propagation of sound in fluidic media with…
In earlier works on Shape Dynamics (SD), a linear method of solving a particular set of Lichnerowicz-type equations through the implicit function theorem was developed in order to implicitly construct SD's global Hamiltonian and eliminate…
Hrushovski's generalization and application of [Jouanolou, "Hypersurfaces solutions d'une \'equation de Pfaff analytique", Mathematische Annalen, 232 (3):239--245, 1978] is here refined and extended to the partial differential setting with…
Polynomial Systems, or at least their algorithms, have the reputation of being doubly-exponential in the number of variables [Mayr and Mayer, 1982], [Davenport and Heintz, 1988]. Nevertheless, the Bezout bound tells us that that number of…
Linear second order differential equations of the form $d^{2}w/dz^{2}-\left \{ {u^{2}f\left( u,z\right) +g\left( z\right) }\right\} w=0$ are studied, where $\left| u\right| \rightarrow \infty $ and $z$ lies in a complex bounded or unbounded…
The higher rank analogue of the XXZ model with a boundary is considered on the basis of the vertex operator approach. We derive difference equations of the quantum Knizhnik-Zamolodchikov type for 2N-point correlations of the model. We…