Related papers: On a Differential Intermediate Value Property

Let (K, v) be a henselian valued field of arbitrary rank. In this paper, we give an irreducibility criterion for multivariate polynomials over K using valuation theory.

Two different kinds of interactions between a ${Z}_{n}$-parafermionic and a Liouville field theory are considered. For generic values of $n$, the effective central charges describing the UV behavior of both models are calculated in the…

We prove a Liouville type theorem for entire maximal $m$-subharmonic functions in $\mathbb C^n$ with bounded gradient. This result, coupled with a standard blow-up argument, yields a (non-explicit) a priori gradient estimate for the complex…

We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…

The Liouville equation is well known to be linearizable by a point transformation. It has an infinite dimensional Lie point symmetry algebra isomorphic to a direct sum of two Virasoro algebras. We show that it is not possible to discretize…

Let $\mathbb{K}$ be a number field of degree $n$ over $\mathbb{Q}$. Let $\widehat{\mathbb{A}}$ be the set of integers of $\mathbb{K}$ which are primitive over $\mathbb{Q}$ and $I(\mathbb{K})$ be its index. Gunji and McQuillan defined the…

We provide a uniform bound for the index of cohomology classes in $H^i(F, \mu_\ell^{\otimes i-1})$ when $F$ is a semiglobal field (i.e., a one-variable function field over a complete discretely valued field $K$). The bound is given in terms…

Consider a third order linear differential equation $L(f)=0$, where $L\in\mathbb{Q}(z)[\partial_z]$. We design an algorithm computing the Liouvillian solutions of $L(f)=0$. The reducible cases devolve to the classical case of second order…

Let $F$ be a characteristic zero differential field with an algebraically closed field of constants and let $E$ be a no new constants extension of $F$. We say that $E$ is an \textsl{iterated antiderivative extension} of $F$ if $E$ is a…

We construct Euclidean Liouville conformal field theories in odd number of dimensions. The theories are nonlocal and non-unitary with a log-correlated Liouville field, a ${\cal Q}$-curvature background, and an exponential Liouville-type…

Let $F$ be a finite field of odd cardinality $q$, $A=F[T]$ the polynomial ring over $F$, $k=F(T)$ the rational function field over $F$ and $\mathcal{H}$ the set of square-free monic polynomials in $A$ of degree odd. If $D\in\mathcal{H}$, we…

We establish analogues of Liouville's theorem in the complex function theory, with the differential operator replaced by various difference operators. This is done generally by the extraction of (formal) Taylor coefficients using a residue…

In math-ph/0107007, we present a method to tackle first order ordinary differential equations whose solutions contain Liouvillian functions (LFOODEs), many of them missed by the usual PS-approach. Here, we demonstrate an important result…

Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided…

Let $F$ be a number field, $k$ a positive integer. In this paper, we define the Mobius and Liouville functions of order $k$ in $F$. We give a formula about the partial sums of them by using elementary number theory and complex analysis.…

Let H be a complex Lie group acting holomorphically on a complex analytic space X such that the restriction to X_{\mathrm{red}} of every H-invariant regular function on X is constant. We prove that an H-equivariant holomorphic vector bundle…

We provide a variational description of any Liouville (i.e. volume preserving) autonomous vector fields on a smooth manifold. This is obtained via a ``maximal degree'' variational principle; critical sections for this are integral manifolds…

We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if…

Chevalley's theorem states that for any simple finite dimensional Lie algebra G (1) the restriction homomorphism of the algebra of polynomials on G onto the Cartan subalgebra H induces an isomorphism between the algebra of G-invariant…

An extension (K(X)|K, v) of valued fields is said to be valuation transcendental if we have equality in the Abhyankar inequality. Minimal pairs of definition are fundamental objects in the investigation of valuation transcendental…