Analytic Arcs Research Articles

Numerical analytic continuation

Let f be an analytic function on a simply-connected compact continuum E of the complex z-plane. This might be an interval of the real line, where f might be real analytic. How can we calculate good estimates of the analytic continuation of f to other points zin {mathbb C}? How can we estimate the locations of real or complex singularities of f? We review both the theory and the practice of some existing methods for these problems and propose that excellent results can be obtained from the computation of rational approximations of f by the AAA algorithm. In the case of analytic functions of two or more variables, the rational approximations are applied along line segments or other analytic arcs.

Semiclassical WKB problem for the non-self-adjoint Dirac operator with an analytic rapidly oscillating potential

In this paper we examine the semiclassical behavior of the scattering data of a non-self-adjoint Dirac operator with a rapidly oscillating potential that is complex analytic in some neighborhood of the real line. Some of our results are rigorous and quite general. On the other hand, complete and concrete understanding requires the investigation of the WKB geometry of specific examples. For such detailed computations we use a particular example that has been investigated numerically more than 20 years ago by Bronski and Miller and rely heavily on their numerical computations. Mostly employing the exact WKB method, we provide the complete rigorous uniform semiclassical analysis of the Bohr-Sommerfeld condition for the location of the eigenvalues across unions of analytic arcs as well as the associated norming constants. For the reflection coefficient as well as the eigenvalues near 0 in the spectral plane, we employ instead an older theory that has been developed in great detail by Olver. Our analysis is motivated by the need to understand the semiclassical behavior of the focusing cubic NLS equation with initial data Aexp⁡{iS/ϵ}, in view of the well-known fact discovered by Zakharov and Shabat that the spectral analysis of the Dirac operator enables the solution of the NLS equation via inverse scattering theory.

The limit cycles in a generalized Rayleigh-Liénard oscillator

We compute the cyclicity of open period annuli of the following generalized Rayleigh-Liénard equation \begin{document}$ \ddot{x}+ax+bx^3-(\lambda_1+\lambda_2 x^2+\lambda_3\dot{x}^2+\lambda_4 x^4+\lambda_5\dot{x}^4+\lambda_6 x^6)\dot{x} = 0 $\end{document} and the equivalent planar system $ X_\lambda $, where the coefficients of the perturbation $ \lambda_j $ are independent small parameters and $ a, b $ are fixed nonzero constants. Our main tool is the machinery of the so called higher-order Poincaré-Pontryagin-Melnikov functions (Melnikov functions $ M_n $ for short), combined with the explicit computation of center conditions and the corresponding Bautin ideal.We consider first arbitrary analytic arcs $ \varepsilon \to \lambda(\varepsilon) $ and explicitly compute all possible Melnikov functions $ M_n $ related to the deformation $ X_{ \lambda(\varepsilon)} $. At a second step we obtain exact bounds for the number of the zeros of the Melnikov functions (complete elliptic integrals depending on parameter) in an appropriate complex domain, using a modification of Petrov's method.To deal with the general case of six-parameter deformations $ \lambda \to X_\lambda $, we compute first the related Bautin ideal. To do this we carefully study the Melnikov functions up to order three, and then use Nakayama lemma from Algebraic geometry. The principalization of the Bautin ideal (achieved after a blow up) reduces finally the study of general deformations $ X_{ \lambda } $ to the study of one-parameter deformations $ X_{ \lambda(\varepsilon)} $.

On Hausdorff dimension of polynomial not totally disconnected Julia sets

We prove that for every polynomial of one complex variable of degree at least 2 and Julia set not being totally disconnected nor a circle, nor interval, Hausdorff dimension of this Julia set is larger than 1. Till now this was known only in the connected Julia set case. We give also an example of a polynomial with non-connected but not totally disconnected Julia set and such that all its components comprising more than single points are analytic arcs, thus resolving a question by Christopher Bishop, who asked whether every such component must have Hausdorff dimension larger than 1.

Uniqueness and Bifurcation Branches for Planar Steady Navier\u2013Stokes Equations Under Navier Boundary Conditions

The stationary Navier–Stokes equations under Navier boundary conditions are considered in a square. The uniqueness of solutions is studied in dependence of the Reynolds number and of the strength of the external force. For some particular forcing, it is shown that uniqueness persists on some continuous branch of solutions, when these quantities become arbitrarily large. On the other hand, for a different forcing, a branch of symmetric solutions is shown to bifurcate, giving rise to a secondary branch of nonsymmetric solutions. This proof is computer-assisted, based on a local representation of branches as analytic arcs.

Eigenvalue Clusters of Large Tetradiagonal Toeplitz Matrices

Toeplitz matrices are typically non-Hermitian and hence they evade the well-elaborated machinery one can employ in the Hermitian case. In a pioneering paper of 1960, Palle Schmidt and Frank Spitzer showed that the eigenvalues of large banded Toeplitz matrices cluster along a certain limiting set which is the union of finitely many closed analytic arcs. Finding this limiting set nevertheless remains a challenge. We here present an algorithm in the spirit of Richard Beam and Robert Warming that reduces testing O(N^2) points in the plane for membership in the limiting set by testing only O(N) points along a one-dimensional curve. For tetradiagonal Toeplitz matrices, we describe all types of the limiting sets, we classify their exceptional points, and we establish asymptotic formulas for the analytic arcs near their endpoints.

Arc spaces, motivic measure and Lipschitz geometry of real algebraic sets

We investigate connections between Lipschitz geometry of real algebraic varieties and properties of their arc spaces. For this purpose we develop motivic integration in the real algebraic set-up. We construct a motivic measure on the space of real analytic arcs. We use this measure to define a real motivic integral which admits a change of variables formula not only for the birational but also for generically one-to-one Nash maps. As a consequence we obtain an inverse mapping theorem which holds for continuous rational maps and, more generally, for generically arc-analytic maps. These maps appeared recently in the classification of singularities of real analytic function germs. Finally, as an application, we characterize in terms of the motivic measure, germs of arc-analytic homeomorphism between real algebraic varieties which are bi-Lipschitz for the inner metric.

On the Spectra of Real and Complex Lamé Operators

We study Lam\'e operators of the form $$L = -\frac{d^2}{dx^2} + m(m+1)\omega^2\wp(\omega x+z_0),$$ with $m\in\mathbb{N}$ and $\omega$ a half-period of $\wp(z)$. For rectangular period lattices, we can choose $\omega$ and $z_0$ such that the potential is real, periodic and regular. It is known after Ince that the spectrum of the corresponding Lam\'e operator has a band structure with not more than $m$ gaps. In the first part of the paper, we prove that the opened gaps are precisely the first $m$ ones. In the second part, we study the Lam\'e spectrum for a generic period lattice when the potential is complex-valued. We concentrate on the $m=1$ case, when the spectrum consists of two regular analytic arcs, one of which extends to infinity, and briefly discuss the $m=2$ case, paying particular attention to the rhombic lattices.

Asymptotic Markov inequality on Jordan arcs

Markov's inequality for the derivative of algebraic polynomials is considered on -smooth Jordan arcs. The asymptotically best estimate is given for the th derivative for all . The best constant is related to the behaviour around the endpoints of the arc of the normal derivative of the Green's function of the complementary domain. The result is deduced from the asymptotically sharp Bernstein inequality for the th derivative at inner points of a Jordan arc, which is derived from a recent result of Kalmykov and Nagy on the Bernstein inequality on analytic arcs. In the course of the proof we shall also need to reduce the analyticity condition in this last result to -smoothness. Bibliography: 21 titles.

Asymptotic behaviour of the Riemann mapping function at analytic cusps

The well-known Riemann Mapping Theorem states the existence of a conformal map of a simply connected proper domain of the complex plane onto the upper half plane. One of the main topics in geometric function theory is to investigate the behaviour of the mapping functions at the boundary of such domains. In this work, we always assume that a piecewise analytic boundary is given. Hereby, we have to distinguish regular and singular boundary points. While the asymptotic behaviour for regular boundary points can be investigated by using the Schwarz Reflection at analytic arcs, the situation for singular boundary points is far more complicated. In the latter scenario two cases have to be differentiated: analytic corners and analytic cusps. The first part of the thesis deals with the asymptotic behaviour at analytic corners where the opening angle is greater than 0. The results of Lichtenstein and Warschawski on the asymptotic behaviour of the Riemann map and its derivatives at an analytic corner are presented as well as the much stronger result of Lehman that the mapping function can be developed in a certain generalised power series which in turn enables to examine the o-minimal content of the Riemann Mapping Theorem. To obtain a similar statement for domains with analytic cusps, it is necessary to investigate the asymptotic behaviour of a Riemann map at the cusp and based on this result to determine the asymptotic power series expansion. Therefore, the aim of the second part of this work is to investigate the asymptotic behaviour of a Riemann map at an analytic cusp. A simply connected domain has an analytic cusp if the boundary is locally given by two analytic arcs such that the interior angle vanishes. Besides the asymptotic behaviour of the mapping function, the behaviour of its derivatives, its inverse, and the derivatives of the inverse are analysed. Finally, we present a conjecture on the asymptotic power series expansion of the mapping function at an analytic cusp.

Curve-rational functions

Let $W$ be a subset of the set of real points of a real algebraic variety $X$. We investigate which functions $f: W \to \mathbb R$ are the restrictions of rational functions on $X$. We introduce two new notions: ${\it curve-rational \, functions}$ (i.e., continuous rational on algebraic curves) and ${\it arc-rational\, functions}$ (i.e., continuous rational on arcs of algebraic curves). We prove that under mild assumptions the following classes of functions coincide: continuous hereditarily rational (introduced recently by the first named author), curve-rational and arc-rational. In particular, if $W$ is semialgebraic and $f$ is arc-rational, then $f$ is continuous and semialgebraic. We also show that an arc-rational function defined on an open set is arc-analytic (i.e., analytic on analytic arcs). Furthermore, we study rational functions on products of varieties. As an application we obtain a characterization of regular functions. Finally, we get analogous results in the framework of complex algebraic varieties.

Critical measures for vector energy: Global structure of trajectories of quadratic differentials

Saddle points of a vector logarithmic energy with a vector polynomial external field on the plane constitute the vector-valued critical measures, a notion that finds a natural motivation in several branches of analysis. We study in depth the case of measures μ→=(μ1,μ2,μ3) when the mutual interaction comprises both attracting and repelling forces.For arbitrary vector polynomial external fields we establish general structural results about critical measures, such as their characterization in terms of an algebraic equation solved by an appropriate combination of their Cauchy transforms, and the symmetry properties (or the S-properties) exhibited by such measures. In consequence, we conclude that vector-valued critical measures are supported on a finite number of analytic arcs, that are trajectories of a quadratic differential globally defined on a three-sheeted Riemann surface. The complete description of the so-called critical graph for such a differential is the key to the construction of the critical measures.We illustrate these connections studying in depth a one-parameter family of critical measures under the action of a cubic external field. This choice is motivated by the asymptotic analysis of a family of (non-hermitian) multiple orthogonal polynomials, that is subject of a forthcoming paper. Here we compute explicitly the Riemann surface and the corresponding quadratic differential, and analyze the dynamics of its critical graph as a function of the parameter, giving a detailed description of the occurring phase transitions. When projected back to the complex plane, this construction gives us the complete family of vector-valued critical measures, that in this context turn out to be vector-valued equilibrium measures.

Topological Expansion in the Complex Cubic Log–Gas Model: One-Cut Case

We prove the topological expansion for the cubic log-gas partition function \[ Z_N(t)= \int_\Gamma\cdots\int_\Gamma\prod_{1\leq j<k\leq N}(z_j-z_k)^2 \prod_{k=1}^Ne^{-N\left(-\frac{z^3}{3}+tz\right)}\mathrm dz_1\cdots \mathrm dz_N, \] where $t$ is a complex parameter and $\Gamma$ is an unbounded contour on the complex plane extending from $e^{\pi \mathrm i}\infty$ to $e^{\pi \mathrm i/3}\infty$. The complex cubic log-gas model exhibits two phase regions on the complex $t$-plane, with one cut and two cuts, separated by analytic critical arcs of the two types of phase transition: split of a cut and birth of a cut. The common point of the critical arcs is a tricritical point of the Painlev\'e I type. In the present paper we prove the topological expansion for $\log Z_N(t)$ in the one-cut phase region. The proof is based on the Riemann--Hilbert approach to semiclassical asymptotic expansions for the associated orthogonal polynomials and the theory of $S$-curves and quadratic differentials.

Polynomial and rational inequalities on analytic Jordan arcs and domains

In this paper we prove an asymptotically sharp Bernstein-type inequality for polynomials on analytic Jordan arcs. Also a general statement on mapping of a domain bounded by finitely many Jordan curves onto a complement to a system of the same number of arcs with rational function is presented here. This fact, as well as, Borwein–Erdélyi inequality for derivative of rational functions on the unit circle, Gonchar–Grigorjan estimate of the norm of holomorphic part of meromorphic functions and Totik's construction of fast decreasing polynomials play key roles in the proof of the main result.

Distribution of zeros of the Hermite-Padé polynomials for a system of three functions, and the Nuttall condenser

The well-known approach of J. Nuttall to the derivation of strong asymptotic formulas for the Hermite-Pade polynomials for a set of m multivalued functions is based on the conjecture that there exists a canonical (in the sense of decomposition into sheets) m-sheeted Riemann surface possessing certain properties. In this paper, for m = 3, we introduce a notion of an abstract Nuttall condenser and describe a procedure for constructing (based on this condenser) a three-sheeted Riemann surface \(\Re _3\) that has a canonical decomposition. We consider a system of three functions \(\mathfrak{f}_1 ,\mathfrak{f}_2 ,\mathfrak{f}_3\) that are rational on the constructed Riemann surface and satisfy the independence condition det Open image in new window. In the case of m = 3, we refine the main theorem from Nuttall’s paper of 1981. In particular, we show that in this case the complement ℂ \ B of the open (possibly, disconnected) set B ⊂ ℂ introduced in Nuttall’s paper consists of a finite number of analytic arcs. We also propose a new conjecture concerning strong asymptotic formulas for the Pade approximants.

Continuous mappings between spaces of arcs

A blow-analytic homeomorphism is an arc-analytic subanalytic homeomorphism, and therefore it induces a bijective mapping between spaces of analytic arcs. We tackle the question of the continuity of this induced mapping between the spaces of arcs, giving a positive and a negative answer depending of the topology involved. We generalise the result to spaces of definable arcs in the context of o-minimal structures, obtaining notably a uniform continuity property.

Homogenized blocked arcs for multicriteria optimization of radiotherapy: Analytical and numerical solutions

Homogenized blocked arcs are intuitively appealing as basis functions for multicriteria optimization of rotational radiotherapy. Such arcs avoid an organ-at-risk (OAR), spread dose out well over the rest-of-body (ROB), and deliver homogeneous doses to a planning target volume (PTV) using intensity modulated fluence profiles, obtainable either from closed-form solutions or iterative numerical calculations. Here, the analytic and iterative arcs are compared. Dose-distributions have been calculated for nondivergent beams, both including and excluding scatter, beam penumbra, and attenuation effects, which are left out of the derivation of the analytic arcs. The most straightforward analytic arc is created by truncating the well-known Brahme, Roos, and Lax (BRL) solution, cutting its uniform dose region down from an annulus to a smaller nonconcave region lying beyond the OAR. However, the truncation leaves behind high dose hot-spots immediately on either side of the OAR, generated by very high BRL fluence levels just beyond the OAR. These hot-spots can be eliminated using alternative analytical solutions "C" and "L," which, respectively, deliver constant and linearly rising fluences in the gap region between the OAR and PTV (before truncation). Measured in terms of PTV dose homogeneity, ROB dose-spread, and OAR avoidance, C solutions generate better arc dose-distributions than L when scatter, penumbra, and attenuation are left out of the dose modeling. Including these factors, L becomes the best analytical solution. However, the iterative approach generates better dose-distributions than any of the analytical solutions because it can account and compensate for penumbra and scatter effects. Using the analytical solutions as starting points for the iterative methodology, dose-distributions almost as good as those obtained using the conventional iterative approach can be calculated very rapidly. The iterative methodology is appropriate and useful for computing homogenized blocked arcs, as it produces better dose-distributions than the analytic approaches and their obvious extensions, and can more straightforwardly be used to generate homogenized arcs for concave OARs. However, the analytical solutions provide promising starting points for the iterative algorithm, leading to fast convergence.

Convergent Interpolation to Cauchy Integrals over Analytic Arcs with Jacobi-Type Weights

We design convergent multipoint Pade interpolation schemes to Cauchy transforms of non-vanishing complex densities with respect to Jacobi-type weights on analytic arcs, under mild smoothness assumptions on the density. We rely on our earlier work for the choice of the interpolation points, and dwell on the Riemann-Hilbert approach to asymptotics of orthogonal polynomials introduced by Kuijlaars, McLaughlin, Van Assche, and Vanlessen in the case of a segment. We also elaborate on the $\bar\partial$-extension of the Riemann-Hilbert technique, initiated by McLaughlin and Miller on the line to relax analyticity assumptions. This yields strong asymptotics for the denominator polynomials of the multipoint Pade interpolants, from which convergence follows.

Blow-analytic equivalence of two variable real analytic function germs

Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop real analytic equisingularity theory. In this paper we give complete characterisations of blow-analytic equivalence in the two dimensional case, in terms of the real tree model for the arrangement of real parts of Newton-Puiseux roots and their Puiseux pairs, and in terms of minimal resolutions. These characterisations show that in the two dimensional case the blow-analytic equivalence is a natural analogue of topological equivalence of complex analytic function germs. Moreover, we show that in the two-dimensional case the blow-analytic equivalence can be made cascade, and hence satisfies several geometric properties. It preserves, for instance, the contact order of real analytic arcs. In the general n n -dimensional case, we show that a singular real modification satisfies the arc-lifting property.

A criterion for the reality of the spectrum of $PT$-symmetric Schrödinger operators with complex-valued periodic potentials

Consider in L^2(\R) the Schrödinger operator family H(g):=-d^2_x+V_g(x) depending on the real parameter g , where V_g(x) is a complex-valued but PT symmetric periodic potential. An explicit condition on V is obtained which ensures that the spectrum of H(g) is purely real and band shaped; furthermore, a further condition is obtained which ensures that the spectrum contains at least a pair of complex analytic arcs.