scholarly journals On Local definability of holomorphic functions

Author(s):  
Gareth Jones ◽  
Jonathan Kirby ◽  
Olivier Le Gal ◽  
Tamara Servi

Abstract Given a collection $\mathcal {A}$ of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from $\mathcal {A}$. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from $\mathcal {A}$ in the neighbourhood of a generic point. We prove that this description is no longer complete in the neighbourhood of non-generic points. More precisely, we produce three examples of holomorphic functions that suggest that at least three new operations need to be added to Wilkie’s description in order to capture local definability in its entirety. The constructions illustrate the interaction between resolution of singularities and definability in the o-minimal setting.

2016 ◽  
Vol 38 (5) ◽  
pp. 1745-1767 ◽  
Author(s):  
KATRIN GELFERT ◽  
DOMINIK KWIETNIAK

We introduce two properties of dynamical systems on Polish metric spaces: closeability and linkability. We show that they imply density of ergodic measures in the space of invariant probability measures and the existence of a generic point for every invariant measure. In the compact case, it follows from our conditions that the set of invariant measures is either a singleton of a measure concentrated on a periodic orbit or the Poulsen simplex. We provide examples showing that closability and linkability are independent properties. Our theory applies to systems with the periodic specification property, irreducible Markov chains over a countable alphabet, certain coded systems including $\unicode[STIX]{x1D6FD}$-shifts and $S$-gap shifts, $C^{1}$-generic diffeomorphisms of a compact manifold $M$ and certain geodesic flows of a complete connected negatively curved manifold.


2016 ◽  
Vol 38 (4) ◽  
pp. 1422-1458 ◽  
Author(s):  
PIERRE-ANTOINE GUIHÉNEUF

What is the ergodic behaviour of numerically computed segments of orbits of a diffeomorphism? In this paper, we try to answer this question for a generic conservative $C^{1}$-diffeomorphism and segments of orbits of Baire-generic points. The numerical truncation is modelled by a spatial discretization. Our main result states that the uniform measures on the computed segments of orbits, starting from a generic point, accumulate on the whole set of measures that are invariant under the diffeomorphism. In particular, unlike what could be expected naively, such numerical experiments do not see the physical measures (or, more precisely, cannot distinguish physical measures from the other invariant measures).


2019 ◽  
Vol 40 (12) ◽  
pp. 3169-3180
Author(s):  
SHIGEKI AKIYAMA ◽  
HAJIME KANEKO ◽  
DONG HAN KIM

Let $\unicode[STIX]{x1D6FD}>1$ be an integer or, generally, a Pisot number. Put $T(x)=\{\unicode[STIX]{x1D6FD}x\}$ on $[0,1]$ and let $S:[0,1]\rightarrow [0,1]$ be a piecewise linear transformation whose slopes have the form $\pm \unicode[STIX]{x1D6FD}^{m}$ with positive integers $m$. We give a sufficient condition for $T$ and $S$ to have the same generic points. We also give an uncountable family of maps which share the same set of generic points.


Author(s):  
A. F. Beardon

AbstractThe positive solutions of the equation $$x^y = y^x$$ x y = y x have been discussed for over two centuries. Goldbach found a parametric form for the solutions, and later a connection was made with the classical Lambert function, which was also studied by Euler. Despite the attention given to the real equation $$x^y=y^x$$ x y = y x , the complex equation $$z^w = w^z$$ z w = w z has virtually been ignored in the literature. In this expository paper, we suggest that the problem should not be simply to parametrise the solutions of the equation, but to uniformize it. Explicitly, we construct a pair z(t) and w(t) of functions of a complex variable t that are holomorphic functions of t lying in some region D of the complex plane that satisfy the equation $$z(t)^{w(t)} = w(t)^{z(t)}$$ z ( t ) w ( t ) = w ( t ) z ( t ) for t in D. Moreover, when t is positive these solutions agree with those of $$x^y=y^x$$ x y = y x .


2020 ◽  
Vol 70 (3) ◽  
pp. 605-616
Author(s):  
Stanisława Kanas ◽  
Vali Soltani Masih ◽  
Ali Ebadian

AbstractWe consider a family of analytic and normalized functions that are related to the domains ℍ(s), with a right branch of a hyperbolas H(s) as a boundary. The hyperbola H(s) is given by the relation $\begin{array}{} \frac{1}{\rho}=\left( 2\cos\frac{\varphi}{s}\right)^s\quad (0 \lt s\le 1,\, |\varphi| \lt (\pi s)/2). \end{array}$ We mainly study a coefficient problem of the families of functions for which zf′/f or 1 + zf″/f′ map the unit disk onto a subset of ℍ(s) . We find coefficients bounds, solve Fekete-Szegö problem and estimate the Hankel determinant.


2019 ◽  
Vol 52 (1) ◽  
pp. 482-489 ◽  
Author(s):  
Andriy Bandura ◽  
Oleh Skaskiv ◽  
Liana Smolovyk

AbstractIn the paper we investigate slice holomorphic functions F : ℂn → ℂ having bounded L-index in a direction, i.e. these functions are entire on every slice {z0 + tb : t ∈ℂ} for an arbitrary z0 ∈ℂn and for the fixed direction b ∈ℂn \ {0}, and (∃m0 ∈ ℤ+) (∀m ∈ ℤ+) (∀z ∈ ℂn) the following inequality holds{{\left| {\partial _{\bf{b}}^mF(z)} \right|} \over {m!{L^m}(z)}} \le \mathop {\max }\limits_{0 \le k \le {m_0}} {{\left| {\partial _{\bf{b}}^kF(z)} \right|} \over {k!{L^k}(z)}},where L : ℂn → ℝ+ is a positive continuous function, {\partial _{\bf{b}}}F(z) = {d \over {dt}}F\left( {z + t{\bf{b}}} \right){|_{t = 0}},\partial _{\bf{b}}^pF = {\partial _{\bf{b}}}\left( {\partial _{\bf{b}}^{p - 1}F} \right)for p ≥ 2. Also, we consider index boundedness in the direction of slice holomorphic solutions of some partial differential equations with partial derivatives in the same direction. There are established sufficient conditions providing the boundedness of L-index in the same direction for every slie holomorphic solutions of these equations.


Sign in / Sign up

Export Citation Format

Share Document