scholarly journals On the size of linearization domains

2008 ◽  
Vol 145 (2) ◽  
pp. 443-456
Author(s):  
XAVIER BUFF ◽  
CARSTEN L. PETERSEN

AbstractAssume $f{:}\,U\subset \C\to \C$ is a holomorphic map fixing 0 with derivative λ, where 0 < |λ| ≤ 1. If λ is not a root of unity, there is a formal power series φf(z) = z + ${\cal O}$(z2) such that φf(λ z) = f(φf(z)). This power series is unique and we denote by Rconv(f) ∈ [0,+∞] its radius of convergence. We denote by Rgeom(f) the largest radius r ∈ [0, Rconv(f)] such that φf(D(0,r)) ⊂ U. In this paper, we present new elementary techniques for studying the maps f ↦ Rconv(f) and f ↦ Rgeom(f). Contrary to previous approaches, our techniques do not involve studying the arithmetical properties of rotation numbers.

2002 ◽  
Vol 30 (12) ◽  
pp. 761-770 ◽  
Author(s):  
Xiao-Xiong Gan ◽  
Nathaniel Knox

Given a formal power seriesg(x)=b0+b1x+b2x2+⋯and a nonunitf(x)=a1x+a2x2+⋯, it is well known that the composition ofgwithf,g(f(x)), is a formal power series. If the formal power seriesfabove is not a nonunit, that is, the constant term offis not zero, the existence of the compositiong(f(x))has been an open problem for many years. The recent development investigated the radius of convergence of a composed formal power series likefabove and obtained some very good results. This note gives a necessary and sufficient condition for the existence of the composition of some formal power series. By means of the theorems established in this note, the existence of the composition of a nonunit formal power series is a special case.


2003 ◽  
Vol 184 (2) ◽  
pp. 369-383 ◽  
Author(s):  
Manfred Droste ◽  
Guo-Qiang Zhang

2021 ◽  
Vol 76 (1) ◽  
Author(s):  
Donatella Merlini

AbstractIn the context of Riordan arrays, the problem of determining the square root of a Bell matrix $$R={\mathcal {R}}(f(t)/t,\ f(t))$$ R = R ( f ( t ) / t , f ( t ) ) defined by a formal power series $$f(t)=\sum _{k \ge 0}f_kt^k$$ f ( t ) = ∑ k ≥ 0 f k t k with $$f(0)=f_0=0$$ f ( 0 ) = f 0 = 0 is presented. It is proved that if $$f^\prime (0)=1$$ f ′ ( 0 ) = 1 and $$f^{\prime \prime }(0)\ne 0$$ f ″ ( 0 ) ≠ 0 then there exists another Bell matrix $$H={\mathcal {R}}(h(t)/t,\ h(t))$$ H = R ( h ( t ) / t , h ( t ) ) such that $$H*H=R;$$ H ∗ H = R ; in particular, function h(t) is univocally determined by a symbolic computational method which in many situations allows to find the function in closed form. Moreover, it is shown that function h(t) is related to the solution of Schröder’s equation. We also compute a Riordan involution related to this kind of matrices.


Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Laurent Poinsot

A locally finite category is defined as a category in which every arrow admits only finitely many different ways to be factorized by composable arrows. The large algebra of such categories over some fields may be defined, and with it a group of invertible series (under multiplication). For certain particular locally finite categories, a substitution operation, generalizing the usual substitution of formal power series, may be defined, and with it a group of reversible series (invertible under substitution). Moreover, both groups are actually affine groups. In this contribution, we introduce their coordinate Hopf algebras which are both free as commutative algebras. The semidirect product structure obtained from the action of reversible series on invertible series by anti-automorphisms gives rise to an interaction at the level of their coordinate Hopf algebras under the form of a smash coproduct.


2011 ◽  
Vol 31 (1) ◽  
pp. 331-343 ◽  
Author(s):  
Steven T. Dougherty ◽  
Liu Hongwei

Sign in / Sign up

Export Citation Format

Share Document