Related papers: Ax-Schanuel Type Theorems on Functional Transcende…
This paper establishes a version of Nevanlinna theory based on Askey-Wilson divided difference operator for meromorphic functions of finite logarithmic order in the complex plane $\mathbb{C}$. A second main theorem that we have derived…
We introduce and discuss a variant of Schanuel conjecture in the framework of the Carlitz exponential function over Tate algebras and allied functions. Another purpose of the present paper is to widen the horizons of possible investigations…
We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially…
We prove an Ax-Lindemann-Weierstrass differential transcendence result for Euler's gamma function, namely that the functions $\Gamma(\nu-\zeta_1(\nu)),\dots,\Gamma(\nu-\zeta_n(\nu))$ are differentially independent over the field of rational…
We introduce the concept of escaping set for semigroups of transcendental entire functions using Fatou-Julia theory. Several results of the escaping set associated with the iteration of one transcendental entire function have been extended…
We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz…
We introduce a sheaf theoretic viewpoint on functional analysis designed for infinite dimensional Lie group actions. We develop functional calculus for Banach valued functors and, in particular, prove the existence of an exponential map for…
We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.
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…
Let f be a transcendental meromorphic function. Suppose that the finite part of the postsingular set of f is bounded, that f has no recurrent critical points or wandering domains, and that the degree of pre-poles of f is uniformly bounded.…
Transcendental functions, such as exponentials and logarithms, appear in a broad array of computational domains: from simulations in curvilinear coordinates, to interpolation, to machine learning. Unfortunately they are typically expensive…
This paper introduces a new functional expansion framework that extends classical ideas beyond the Taylor series. Unlike traditional Taylor expansions based on local polynomial approximations, the proposed approach arises from exact…
By using Nevanlinna theory, we prove some normality criteria for a family of meromorphic functions under a condition on differential polynomials generated by the members of the family.
Let k be an algebraically closed field complete with respect to a non-Archimedean absolute value of arbitrary characteristic. Let D_1,...,D_n be effective nef divisors intersecting transversally in an n-dimensional nonsingular projective…
It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address…
New classes of generalized Nevanlinna functions, which under multiplication with an arbitrary fixed symmetric rational function remain generalized Nevanlinna functions, are introduced. Characterizations for these classes of functions are…
This paper consists of three parts. First, we give so far the best condition under which the shift invariance of the counting function, and of the characteristic of a subharmonic function, holds. Second, a difference analogue of logarithmic…
In this paper, we prove a lemma on logarithmic derivative for holomorphic curves from annuli into K\"{a}hler compact manifold and. As its application, a second main theorem for holomophic curves from annuli into semi abelian varieties…
We give a short survey on generalizations of Nevanlinna's theorems on zero distribution of bounded holomorphic functions and representation of meromorphic functions in multiply connected domains. It is a part of our report in the conference…
Let $(K;+,\cdot, ', 0, 1)$ be a differentially closed field. In this paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the set $U:=\{…