The coefficients of the Laurent series expansions of real analytic functions

Letf be a real analytic function of a real variable such that 0 is an isolated (possibly essential) singularity off. In the existing literature the coefficients of the Laurent series expansion off around 0 are obtained by applying Cauchy's integral formula to the analytic continuation off on the complex plane. Here by means of a conformal mapping we derive a formula which determines the Laurent coefficients off solely in terms of the values off and the derivatives off at a real point of analyticity off. Using a more complicated mapping, we similarly determine the coefficients of the Laurent expansion off around 0 where now 0 is a singularity off which is not necessarily isolated.     

Representations of Meromorphic Functions in Terms of Laurent Expansions and Partial Boundary Values

For any analytic function f on a Riemann surface S with an isolated singularity, we give a "good" formula representing f on a large domain containing any given point on which f is regular in terms of the coefficients of Laurent's expansion around any fixed isolated singular point using a conformal mapping of a doubly-connected domain. Representations of meromorphic functions in terms of partial boundary values will also be referred, clearly.     

Laurent-Padé approximants to four kinds of Chebyshev polynomial expansions. Part II: Clenshaw-Lord type approximants

Laurent-Padé (Chebyshev) rational approximantsP _m (w, w ⁻¹)/Q _n (w, w ⁻¹) of Clenshaw-Lord type [2,1] are defined, such that the Laurent series ofP _m /Q _n matches that of a given functionf(w, w ⁻¹) up to terms of orderw ^±(m+n) , based only on knowledge of the Laurent series coefficients off up to terms inw ^±(m+n) . This contrasts with the Maehly-type approximants [4,5] defined and computed in part I of this paper [6], where the Laurent series ofP _m matches that ofQ _n f up to terms of orderw ^±(m+n ), but based on knowledge of the series coefficients off up to terms inw ^±(m+2n). The Clenshaw-Lord method is here extended to be applicable to Chebyshev polynomials of the 1st, 2nd, 3rd and 4th kinds and corresponding rational approximants and Laurent series, and efficient systems of linear equations for the determination of the Padé-Chebyshev coefficients are obtained in each case. Using the Laurent approach of Gragg and Johnson [4], approximations are obtainable for allm≥0,n≥0. Numerical results are obtained for all four kinds of Chebyshev polynomials and Padé-Chebyshev approximants. Remarkably similar results of formidable accuracy are obtained by both Maehly-type and Clenshaw-Lord type methods, thus validating the use of either.     

Laurent expansion of an inverse of a function matrix

This paper suggests a general procedure based on the Taylor expansion of a function matrixF(z) for calculating the Laurent expansion ofF ^?1(z) around an isolated pole. It is shown that in order to compute thejth Laurent coefficient matrixB _j ofF ^?1(z), one needs in any case the Taylor coefficientsA ₀, A₁,..., A_2n+j ofF(z), wheren is the order of the pole. Theorem 1 helps to determine the order of the pole, while Theorem 2 shows also how the Laurent coefficients can be computed in the general case.     

Schwarz-Christoffel mapping of multiply connected domains

A Schwarz-Christoffel mapping formula is established for polygonal domains of finite connectivitym≥2 thereby extending the results of Christoffel (1867) and Schwarz (1869) form=1 and Komatu (1945),m=2. A formula forf, the conformal map of the exterior ofm bounded disks to the exterior ofm bounded disjoint polygons, is derived. The derivation characterizes the global preSchwarzianf″ (z)/f′ (z) on the Riemann sphere in terms of its singularities on the sphere and its values on them boundary circles via the reflection principle and then identifies a singularity function with the same boundary behavior. The singularity function is constructed by a “method of images” infinite sequence of iterations of reflecting prevertex singularities from them boundary circles to the whole sphere.     

The monodromy of a series of hypersurface singularities

Let {f=0} be a hypersurface inC ⁿ⁺¹ with a 1-dimensional singular set Σ. We consider the series of hypersurfaces {f+ɛx ^N=0} wherex is a generic linear form. We derive a formula, which relates the characteristic polynomials of the monodromies off andf+ɛx ^N. Other ingredients in this formula are the horizontal and the vertical monodromies of the transversal (isolated) singularities on each branch of the singular set. We use polar curves and the carrousel method in the proof. The formula is a generalization of the Iomdin formula for the Milnor numbers: μ(f+ɛx ^N )=μ _n (f)−μ _n −1(f)+Ne ₀(Σ)     

On the asymptotic behavior of the Laurent coefficients of a class of Dirichlet series

Matsuoka showed an asymptotic formula for the coefficients of the Laurent expansion of ζ (s) at s = 1. In the present paper we extend this result to a large class of Dirichlet series which was first studied by Chandrasekharan and Narasimhan. Our proofs are based on a saddle point argument and use the fact that the Dirichlet series under consideration admit a functional equation. The second author was supported by the FWF project S381O.     

Two Theorems on Truncations of the Laurent Series

It is shown that in every neighbourhood of an isolated essentialsingularity of an analytic function f every complex number isattained more than (counting the multiplicities) any given numberof times by every truncation T_{–k, p} with N k, p (forsome integer N) of the corresponding Laurent series of f. Also,it is shown that in every neighbourhood of any point of analyticityc of f the value f (c) is attained by every truncation T_–k,p with N k, p (for some integer N) of the Laurent series off.     

On functions convex in the direction of the real axis with a fixed second coefficient

In the paper we consider the class Γ of analytic and univalent functions f in the unit disk Δ, normalized by f(0) = f′(0) − 1 = 0, having real coefficients and such that f(Δ) is convex in the direction of the real axis. We are especially interested in some subclasses of Γ. The most important of them is Γ(c) consisting of those functions which have the second coefficients of the Taylor expansion fixed and equal to c. We obtain the Koebe set for this class as well as for the classes Γ⁺(c) and Γ⁻(c) of functions which are in some sense convex in the direction of positive and negative axes respectively.     

Nondicritical $${\mathbb {C}^*}$$-actions on two-dimensional Stein manifolds

We study and classify actions of the complex multiplicative group on a nonsingular Stein surface with an isolated nondicritical singularity. We prove that the corresponding foliation exhibits a holomorphic first integral of a type F = f ⁿ g ^m where f and g are global holomorphic functions and . Under some additional conditions on the functions f and g we prove analytic linearization for the action. Our results can be viewed as extension of the original work of Masakazu Suzuki.     

Laurent-Padé approximants to four kinds of Chebyshev polynomial expansions. Part I. Maehly type approximants

Laurent Padé-Chebyshev rational approximants,A _m (z,z ⁻¹)/B _n (z, z ⁻¹), whose Laurent series expansions match that of a given functionf(z,z ⁻¹) up to as high a degree inz, z ⁻¹ as possible, were introduced for first kind Chebyshev polynomials by Clenshaw and Lord [2] and, using Laurent series, by Gragg and Johnson [4]. Further real and complex extensions, based mainly on trigonometric expansions, were discussed by Chisholm and Common [1]. All of these methods require knowledge of Chebyshev coefficients off up to degreem+n. Earlier, Maehly [5] introduced Padé approximants of the same form, which matched expansions betweenf(z,z ⁻¹)B _n (z, z ⁻¹)). The derivation was relatively simple but required knowledge of Chebyshev coefficients off up to degreem+2n. In the present paper, Padé-Chebyshev approximants are developed not only to first, but also to second, third and fourth kind Chebyshev polynomial series, based throughout on Laurent series representations of the Maehly type. The procedures for developing the Padé-Chebyshev coefficients are similar to that for a traditional Padé approximant based on power series [8] but with essential modifications. By equating series coefficients and combining equations appropriately, a linear system of equations is successfully developed into two sub-systems, one for determining the denominator coefficients only and one for explicitly defining the numerator coefficients in terms of the denominator coefficients. In all cases, a type (m, n) Padé-Chebyshev approximant, of degreem in the numerator andn in the denominator, is matched to the Chebyshev series up to terms of degreem+n, based on knowledge of the Chebyshev coefficients up to degreem+2n. Numerical tests are carried out on all four Padé-Chebyshev approximants, and results are outstanding, with some formidable improvements being achieved over partial sums of Laurent-Chebyshev series on a variety of functions. In part II of this paper [7] Padé-Chebyshev approximants of Clenshaw-Lord type will be developed for the four kinds of Chebyshev series and compared with those of the Maehly type.     

Non-trivial simple poles at negative integers and mass concentration at singularity

Let (X,0) be the germ of a normal space of dimension n+1 and let f be the germ at 0 of a holomorphic function on X. Assume both X and f have an isolated singularity at 0. Denote by J the image of the restriction map , where F is the Milnor fibre of f at 0. We prove that the canonical Hermitian form on , given by poles of order at in the meromorphic extension of , passes to the quotient by J and is non-degenerate on . We show that any non-zero element in J produces a “mass concentration” at the singularity which is related to a simple pole concentrated at for (in a non-na?ve sense). We conclude with an application to the asymptotic expansion of oscillatory integrals , for , when . Received: 28 May 2001 / Published online: 26 April 2002     

Computing zeros of analytic mappings: A logarithmic residue approach

LetD be a polydisk in ℂ ⁿ and a mapping that is analytic in and has no zeros on the boundary ofD. Thenf has only a finite number of zeros inD and these zeros are all isolated. We consider the problem of computing these zeros. A multidimensional generalization of the classical logarithmic residue formula from the theory of functions of one complex variable will be our means of obtaining information about the location of these zeros. This integral formula involves the integral of a differential form, which we will transform into a sum ofn Riemann integrals of dimension 2n−1. We will show how the zeros and their multiplicities can be computed from these integrals by solving a generalized eigenvalue problem that has Hankel structure, andn Vandermonde systems. Numerical examples are included. The first author was supported by a grant from the Flemish Institute for the Promotion of Scientific and Technological Research in Industry (IWT). This work is part of the project “Counting and computing all isolated solutions of systems of nonlinear equations”, funded by the Fund for Scientific Research, Flanders.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Computations and Stability of the Fukui Invariant

T. Fukui introduced an invariant for the blow-analytic equivalence of real singularities. For a nondegenerate analytic function (germ) f, he discovered a formula for computing the one-dimensional invariant, denoted by A(f) := A ₁(f). We find a formula for A(f) for any f (real or complex, degenerate or not). We then define, and characterise, various notions of stability of A(f), using the formula. For real analytic f, the Fukui invariant with sign is defined, and computed by a similar formula. In the case where f is an analytic function of two complex variables, A(f) can also be computed using the tree-model of f.     

Deformations of Functions Without Real Critical Points

Abstract

Given a real analytic function f(x, y) with one critical point P ₀, we study deformations f _t of fsuch that, for any t ≠ 0, the analytic function f _t has no critical points in a neighborhood of P ₀. We give explicitly a deformation without real critical points for any function which has only one real branch with characteristic exponents (4, 2q, r).     

Asymptotic expansion formula for Bernstein polynomials defined on a simplex

In this paper we give a complete expansion formula for Bernstein polynomials defined on ans-dimensional simplex. This expansion for a smooth functionf represents the Bernstein polynomialB _n (f) as a combination of derivatives off plus an error term of orderO(n^–s ).Communicated by Wolfgang Dahmen.     

Peak curves in weakly pseudoconvex boundaries in C2

LetD be a pseudoconvex domain with real analytic boundary in C². A subsetE of ∂D is a local peak set for if for everyp ∈ ∂D, there exist a neighborhoodU ofp and a holomorphic functionf onU such thatf = 1 onE∩U and |f| < 1 on . We give conditions for the existence of real analytic LPι curves in ∂D through a point of finite type. On the other hand, we give examples showing that: (a) there exist a domainD and a real analytic curve γ in ∂D such that the complexification of γ intersectsD only along γ, but γ is not LPι, and (b) there exist a domain D and a pointp ∈ ∂D, which is LPι, of finite type, but such that ∂D contains no real analytic LP∂ curve throughp.     

A degenerate Hartman theorem

Consider a real analytic diffeomorphism,f:ℝ²→ℝ², withq as a non-hyperbolic fixed point andDf(q)=Id. Placing sufficient conditions on lowest-order non-linear terms in the expansion off, we show the function is topologically conjugate with a decoupled product map. The impetus for studying such a function arose in the classical three-body problem.     

Convergence of iterations of Euler family under weak condition

The iteration maps of Euler family for finding zeros of an operatorf in Banach spaces is defined as the partial sum of Taylor expansion of the local inversef _z ^-1 off atz. The unified convergence theorem is established for the iterations of Euler family under the assumption that , while the strong condition thatf is analytic in Smale’s criterion α is replaced by the weak condition thatf is of finite order derivative.