Searcharxiv⌕ Search

arXiv subjects

Alexander I. Aptekarev

Publications and source records attributed to Alexander I. Aptekarev.

11 recordsLinked to original sources

Jacobi matrices on trees generated by Angelesco systems: asymptotics of coefficients and essential spectrum

We continue studying the connection between Jacobi matrices defined on a tree and multiple orthogonal polynomials (MOPs) that was discovered previously by the authors. In this paper, we consider Angelesco systems formed by two analytic weights and obtain asymptotics of the recurrence coefficients and strong asymptotics of MOPs along all directions (including the marginal ones). These results are then applied to show that the essential spectrum of the related Jacobi matrix is the union of intervals of orthogonality.

math.SP↗

Differential equations for the recurrence coefficients limits for multiple orthogonal polynomials from a Nevai class

A limiting property of the nearest-neighbor recurrence coefficients for multiple orthogonal polynomials from a Nevai class is investigated. Namely, assuming that the nearest-neighbor coefficients have a limit along rays of the lattice, we describe it in terms of the solution of a system of partial differential equations. In the case of two orthogonality measures the differential equation becomes ordinary. For Angelesco systems, the result is illustrated numerically.

math.CA↗

Self-adjoint Jacobi matrices on trees and multiple orthogonal polynomials

We consider a set of measures on the real line and the corresponding system of multiple orthogonal polynomials (MOPs) of the first and second type. Under some very mild assumptions, which are satisfied by Angelesco systems, we define self-adjoint Jacobi matrices on certain rooted trees. We express their Green's functions and the matrix elements in terms of MOPs. This provides a generalization of the well-known connection between the theory of polynomials orthogonal on the real line and Jacobi matrices on $\mathbb{Z}_+$ to higher dimension. We illustrate importance of this connection by proving ratio asymptotics for MOPs using methods of operator theory.

math.CA↗

Multidimensional Toda Lattices: Continuous and Discrete Time

In this paper we present multidimensional analogues of both the continuous- and discrete-time Toda lattices. The integrable systems that we consider here have two or more space coordinates. To construct the systems, we generalize the orthogonal polynomial approach for the continuous and discrete Toda lattices to the case of multiple orthogonal polynomials.

math-ph↗

Szegő-type asymptotics for ray sequences of Frobenius-Padé approximants

Let $\widehatσ$ be a Cauchy transform of a possibly complex-valued Borel measure $σ$ and $\{p_n\}$ be a system of orthonormal polynomials with respect to a measure $μ$, $\mathrm{supp}(μ)\cap\mathrm{supp}(σ)=\varnothing$. An $(m,n)$-th Frobenius-Padé approximant to $\widehatσ$ is a rational function $P/Q$, $\mathrm{deg}(P)\leq m$, $\mathrm{deg}(Q)\leq n$, such that the first $m+n+1$ Fourier coefficients of the linear form $Q\widehatσ-P$ vanish when the form is developed into a series with respect to the polynomials $p_n$. We investigate the convergence of the Frobenius-Padé approximants to $\widehatσ$ along ray sequences $\frac n{n+m+1}\to c>0$, $n-1\leq m$, when $μ$ and $σ$ are supported on intervals on the real line and their Radon-Nikodym derivatives with respect to the arcsine distribution of the respective interval are holomorphic functions.

math.CA↗

Discrete integrable systems generated by Hermite-Padé approximants

We consider Hermite-Padé approximants in the framework of discrete integrable systems defined on the lattice $\mathbb{Z}^2$. We show that the concept of multiple orthogonality is intimately related to the Lax representations for the entries of the nearest neighbor recurrence relations and it thus gives rise to a discrete integrable system. We show that the converse statement is also true. More precisely, given the discrete integrable system in question there exists a perfect system of two functions, i.e., a system for which the entire table of Hermite-Padé approximants exists. In addition, we give a few algorithms to find solutions of the discrete system.

math.CA↗

Hermite-Padé approximants for a pair of Cauchy transforms with overlapping symmetric supports

Hermite-Padé approximants of type II are vectors of rational functions with common denominator that interpolate a given vector of power series at infinity with maximal order. We are interested in the situation when the approximated vector is given by a pair of Cauchy transforms of smooth complex measures supported on the real line. The convergence properties of the approximants are rather well understood when the supports consist of two disjoint intervals (Angelesco systems) or two intervals that coincide under the condition that the ratio of the measures is a restriction of the Cauchy transform of a third measure (Nikishin systems). In this work we consider the case where the supports form two overlapping intervals (in a symmetric way) and the ratio of the measures extends to a holomorphic function in a region that depends on the size of the overlap. We derive Szegő-type formulae for the asymptotics of the approximants, identify the convergence and divergence domains (the divergence domains appear for Angelesco systems but are not present for Nikishin systems), and show the presence of overinterpolation (a feature peculiar for Nikishin systems but not for Angelesco systems). Our analysis is based on a Riemann-Hilbert problem for multiple orthogonal polynomials (the common denominator).

math.CA↗

Pade approximants for functions with branch points - strong asymptotics of Nuttall-Stahl polynomials

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, f \in\mathcal{A}(\bar{\C} \setminus A), \sharp A <\infty. J. Nuttall has put forward the important relation between the maximal domain of f where the function has a single-valued branch and the domain of convergence of the diagonal Pade approximants for f. The Pade approximants, which are rational functions and thus single-valued, approximate a holomorphic branch of f in the domain of their convergence. At the same time most of their poles tend to the boundary of the domain of convergence and the support of their limiting distribution models the system of cuts that makes the function f single-valued. Nuttall has conjectured (and proved for many important special cases) that this system of cuts has minimal logarithmic capacity among all other systems converting the function f to a single-valued branch. Thus the domain of convergence corresponds to the maximal (in the sense of minimal boundary) domain of single-valued holomorphy for the analytic function f \in\mathcal{A}(\bar{\C} \setminus A). The complete proof of Nuttall's conjecture (even in a more general setting where the set A has logarithmic capacity zero) was obtained by H. Stahl. In this work, we derive strong asymptotics for the denominators of the diagonal Pade approximants for this problem in a rather general setting. We assume that A is a finite set of branch points of f which have the algebraic character and which are placed in a generic position. The last restriction means that we exclude from our consideration some degenerated "constellations" of the branch points.

math.CA↗

The next-order term for optimal Riesz and logarithmic energy asymptotics on the sphere

We survey known results and present estimates and conjectures for the next-order term in the asymptotics of the optimal logarithmic energy and Riesz $s$-energy of $N$ points on the unit sphere in $\mathbb{R}^{d+1}$, $d\geq 1$. The conjectures are based on analytic continuation assumptions (with respect to $s$) for the coefficients in the asymptotic expansion (as $N\to \infty$) of the optimal $s$-energy.

math-ph↗

Large $n$ limit of Gaussian random matrices with external source, part II

We continue the study of the Hermitian random matrix ensemble with external source $\frac{1}{Z_n} e^{-n \Tr({1/2}M^2 -AM)} dM$ where $A$ has two distinct eigenvalues $\pm a$ of equal multiplicity. This model exhibits a phase transition for the value $a=1$, since the eigenvalues of $M$ accumulate on two intervals for $a > 1$, and on one interval for $0 < a < 1$. The case $a > 1$ was treated in part I, where it was proved that local eigenvalue correlations have the universal limiting behavior which is known for unitarily invariant random matrices, that is, limiting eigenvalue correlations are expressed in terms of the sine kernel in the bulk of the spectrum, and in terms of the Airy kernel at the edge. In this paper we establish the same results for the case $0 < a < 1$. As in part I we apply the Deift/Zhou steepest descent analysis to a $3 \times 3$-matrix Riemann-Hilbert problem. Due to the different structure of an underlying Riemann surface, the analysis includes an additional step involving a global opening of lenses, which is a new phenomenon in the steepest descent analysis of Riemann-Hilbert problems.

math-ph↗