Related papers: Julia's equation and differential transcendence
In this paper we will prove a functional central limit theorems for "nonconventional" sums indexed by polynomial arrays.
We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more…
In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational…
We prove that if nonlinear complex polynomials of the same degree have orbits with infinite intersection, then the polynomials have a common iterate. We also prove a special case of a conjectured dynamical analogue of the Mordell-Lang…
We give estimates for the convolution product of an arbitrary number of endlessly continuable functions. This allows us to deal with nonlinear operations for the corresponding resurgent series, e.g. substitution into a convergent power…
We prove the sufficient conditions for convergence of a certain iterative process of order 2 for solving nonlinear functional equations, which does not require inverting the derivative. We translate and detail our results for a system of…
We express a certain complex-valued solution of Legendre's differential equation as the product of an oscillatory exponential function and an integral involving only nonoscillatory elementary functions. By calculating the logarithmic…
Brjuno and R\"ussmann proved that every irrationally indifferent fixed point of an analytic function with a Brjuno rotation number is linearizable, and Yoccoz proved that this is sharp for quadratic polynomials. Douady conjectured that this…
In this paper, we show the existence of a transcendental function $f\in\mathbb{Z}\{z\}$ with coefficients that are almost all bounded such that $f$ and all its derivatives assume algebraic values at algebraic points. Furthermore, we…
We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete…
The Julia quotient measures the ratio of the distance of a function value from the boundary to the distance from the boundary. The Julia-Carath\'eodory theorem on the bidisk states that if the Julia quotient is bounded along some sequence…
We have introduced the notion of the bungee set and the filled Julia set of a transcendental semigroup using Fatou-Julia theory. Numerous results of the bungee set of a single transcendental entire function have been generalized to a…
Based on the weak expansion property of a long iteration of a family of quasi-Blaschke products near the unit circle established recently, we prove that the Julia sets of a number of transcendental entire functions with bounded type Siegel…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.
It is proved that for all but a finite set of the square-free integers $d$ the value of transcendental function $\exp~(2\pi i ~x+\log\log y)$ is an algebraic number for the algebraic arguments $x$ and $y$ lying in a real quadratic field of…
We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper.
In a recent work [JNT \textbf{129}, 2154 (2009)], Gun and co-workers have claimed that the number $\,\log{\Gamma(x)} + \log{\Gamma(1-x)}\,$, $x$ being a rational number between $0$ and $1$, is transcendental with at most \emph{one} possible…
We prove that the theory of all modules over the ring of algebraic integers is decidable.
In this paper, we study the large scaled geometric structure of Julia sets of entire and meromorphic functions. Roughly speaking, the structure gives us some asymptotic information about the Julia set near the essential singularity. We will…