2008/10/16 by Ovidiu Costin, O. Costin, Min Huang +3
Mathematics · #30B10 #30B30 #30B50 #34E05 #37F10 #37F50 #40G10 #Advanced Differential Equations and Dynamical Systems #Classical Analysis and ODEs (math.CA) #Complex Variables (math.CV) #FOS: Mathematics #Mathematical Dynamics and Fractals #Meromorphic and Entire Functions #math.CA #math.CV #msc:30B10 #msc:30B30 #msc:30B50 #msc:34E05 #msc:37F10 #msc:37F50 #msc:40G10
paper · pdf · doi:10.48550/arxiv.0810.3027
arxiv created 2008/10/16 · openalex publication_date 2008/10/16 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We develop a local theory of lacunary Dirichlet series of the form ∑k=1∞ckexp(-zg(k)), \Re(z)>0 as z approaches the boundary i\RR, under the assumption g'→∞ and further assumptions on ck. These series occur in many applications in Fourier analysis, infinite order differential operators, number theory and holomorphic dynamics among others. For relatively general series with ck=1, the case we primarily focus on, we obtain blow up rates in measure along the imaginary line and asymptotic information at z=0. When sufficient analyticity information on g exists, we obtain Borel summable expansions at points on the boundary, giving exact local description. Borel summability of the expansions provides property-preserving extensions beyond the barrier. The singular behavior has remarkable universality and self-similarity features. If g(k)=kb, ck=1, b=n or b=(n+1)/n, n∈\NN, behavior near the boundary is roughly of the standard form \Re(z)-b'Q(x) where Q(x)=1/q if x=p/q∈\QQ and zero otherwise. The Bötcher map at infinity of polynomial iterations of the form xn+1=λP(xn), |λ|<λ0(P), turns out to have uniformly convergent Fourier expansions in terms of simple lacunary series. For the quadratic map P(x) =x-x2, λ0=1, and the Julia set is the graph of this Fourier expansion in the main cardioid of the Mandelbrot set.