Classical Analysis and ODEs

AG-2025.09-380

math.CA

Large-order perturbation theory of linear eigenvalue problems

Stephen Jonathan Chapman

We consider a class of linear eigenvalue problems depending on a small parameter epsilon in which the series expansion for the eigenvalue in powers of epsilon is divergent. We develop a new technique to determine the precise nature of this divergence. We illustrate the technique through its application to four examples: the anharmonic oscillator, a simplified model of equatorially-trapped Rossby waves, and two simplified models based on quasinormal modes of Reissner-Nordstrom-de Sitter black holes.

AG-2025.05-951

math.CA

Complete monotonicity of log-functions

Rourou Ma, Julian Weigert

In this article we investigate the property of complete monotonicity within a special family $\mathcal{F}_s$ of functions in $s$ variables involving logarithms. The main result of this work provides a linear isomorphism between $\mathcal{F}_s$ and the space of real multivariate polynomials. This isomorphism identifies the cone of completely monotone functions with the cone of non-negative polynomials. We conclude that the cone of completely monotone functions in $\mathcal{F}_s$ is semi-algebraic. This gives a finite time algorithm to decide whether a function in $\mathcal{F}_s$ is completely monotone

AG-2025.04-951

math.CA

Universal inverse Radon transforms: Inhomogeneity, angular restrictions and boundary

I. V. Anikin

An alternative method to invert the Radon transforms without the use of Courant-Hilbert's identities has been proposed and developed independently from the space dimension. For the universal representation of inverse Radon transform, we study the consequences of inhomogeneity of outset function without the restrictions on the angular Radon coordinates. We show that this inhomogeneity yields a natural evidence for the presence of the extra contributions in the case of the full angular region. In addition, if the outset function is well-localized in the space, we demonstrate that the corresponding boundary conditions and the angular restrictions should be applied for both the direct and inverse Radon transforms. Besides, we relate the angular restrictions on the Radon variable to the boundary exclusion of outset function and its Radon image.

AG-2025.01-826

math.CA

Asymptotics of the Humbert functions $Ψ_1$ and $Ψ_2$

Peng-Cheng Hang, Malte Henkel, Min-Jie Luo

A compilation of new results on the asymptotic behaviour of the Humbert functions $Ψ_1$ and $Ψ_2$, and also on the Appell function $F_2$, is presented. As a by-product, we confirm a conjectured limit which appeared recently in the study of the $1D$ Glauber-Ising model. We also propose two elementary asymptotic methods and confirm through some illustrative examples that both methods have great potential and can be applied to a large class of problems of asymptotic analysis. Finally, some directions of future research are pointed out in order to suggest ideas for further study.

AG-2024.12-808

math.CA

Complex binomial theorem and pentagon identities

N. M. Belousov, G. A. Sarkissian, V. P. Spiridonov

We consider different pentagon identities realized by the hyperbolic hypergeometric functions and investigate their degenerations to the level of complex hypergeometric functions. In particular, we show that one of the degenerations yields the complex binomial theorem which coincides with the Fourier transformation of the complex analogue of the Euler beta integral. At the bottom we obtain a Fourier transformation formula for the complex gamma function. This is done with the help of a new type of the limit $ω_1+ω_2\to 0$ (or $b\to \textrm{i}$ in two-dimensional conformal field theory) applied to the hyperbolic hypergeometric integrals.

AG-2024.09-183

math.CA

Basics of Multiple Polyexponential Integrals

Gleb Aminov, Paolo Arnaudo

We introduce a set of special functions called multiple polyexponential integrals, defined as iterated integrals of the exponential integral $\text{Ei}(z)$. These functions arise in certain perturbative expansions of the local solutions of second-order ODEs around an irregular singularity. In particular, their recursive definition describes the asymptotic behavior of these local solutions. To complement the study of the multiple polyexponential integrals on the entire complex plane, we relate them with two other sets of special functions - the undressed and dressed multiple polyexponential functions - which are characterized by their Taylor series expansions around the origin.

AG-2024.09-649

math.CA

String theory amplitudes and partial fractions

Hjalmar Rosengren

We give rigorous proofs and generalizations of partial fraction expansions for string amplitudes that were recently discovered by Saha and Sinha.

AG-2024.04-2382

math.CA

On the non-existence of oscillation numbers in Sturm-Liouville theory

Angelo B. Mingarelli

We prove an old conjecture that relates the existence of non-real eigenvalues of Sturm-Liouville Dirichlet problems on a finite interval to the non-existence of oscillation numbers of its real eigenfunctions, [[6], p.104, Problems 3 and 5]. This extends to the general case, a previous result in [1], [2] where it was shown that the presence of even one pair of non-real eigenvalues implies the non-existence of a positive eigenfunction (or ground state). We also provide estimates on the Haupt and Richardson indices and Haupt and Richardson numbers thereby complementing the original Sturm oscillation theorem with the Haupt-Richardson oscillation theorem discovered over 100 years ago with estimates on the missing oscillation numbers of the real eigenfunctions observed.

AG-2024.03-844

math.CA

New Evaluations of Inverse Binomial Series via Cyclotomic Multiple Zeta Values

John M. Campbell, M. Lawrence Glasser, Yajun Zhou

Through the application of an evaluation technique based on cyclotomic multiple zeta values recently due to Au, we solve open problems on inverse binomial series that were included in a 2010 analysis textbook by Chen.

AG-2024.02-806

math.CA

On Some Special Cases of Gaiotto's Positivity Conjecture

Pavel Etingof

We prove a conjecture of D. Gaiotto on positivity of inner products arising in studying Landau-Ginzburg boundary conditions in the 1-dimensional case, and in special cases in higher dimensions, for 3d free hypermultiplets.

AG-2024.01-2257

math.CA

Hierarchical Band Gaps in Complex Periodic Systems

Lucas Dunckley, Bryn Davies

Complex periodic structures inherit spectral properties from the constituent parts of their unit cells, chiefly their spectral band gaps. Exploiting this intuitive principle, which is made precise in this work, means spectral features of periodic systems with very large unit cells can be predicted without numerical simulation. We study a class of difference equations with periodic coefficients and show that they inherit spectral gaps from their constituent elements. This result shows that if a frequency falls in a band gap for every constituent element then it must be in a band gap for the combined complex periodic structure. This theory and its instantaneous utility is demonstrated in a series of vibro-acoustic and mechanical examples.

AG-2024.01-101

math.CA

From Cavitation to Astrophysics: Explicit Solution of the Spherical Collapse Equation

Danail Obreschkow

Differential equations of the form $\ddot R=-kR^γ$, with a positive constant $k$ and real parameter $γ$, are fundamental in describing phenomena such as the spherical gravitational collapse ($γ=-2$), the implosion of cavitation bubbles ($γ=-4$) and the orbital decay in binary black holes ($γ=-7$). While explicit elemental solutions exist for select integer values of $γ$, more comprehensive solutions encompassing larger subsets of $γ$ have been independently developed in hydrostatics (see Lane-Emden equation) and hydrodynamics (see Rayleigh-Plesset equation). I here present a universal explicit solution for all real $γ$, invoking the beta distribution. Although standard numerical ODE solvers can readily evaluate more general second order differential equations, this explicit solution reveals a hidden connection between collapse motions and probability theory that enables further analytical manipulations, it conceptually unifies distinct fields, and it offers insights into symmetry properties, thereby enhancing our understanding of these pervasive differential equations.

AG-2015.06-1098

math.CA

Asymptotics of determinants of Hankel matrices via non-linear difference equations

Estelle L. Basor, Yang Chen, Nazmus S. Haq

E. Heine in the 19th century studied a system of orthogonal polynomials associated with the weight $\left[x(x-α)(x-β)\right]^{-\frac{1}{2}}$, $x\in[0,α]$, $0<α<β$. A related system was studied by C. J. Rees in 1945, associated with the weight $\left[(1-x^2)(1-k^2x^2)\right]^{-\frac{1}{2}}$, $x\in[-1,1]$, $k^2\in(0,1)$. These are also known as elliptic orthogonal polynomials, since the moments of the weights maybe expressed in terms of elliptic integrals. Such orthogonal polynomials are of great interest because the corresponding Hankel determinant, depending on a parameter $k^2$, where $0<k^2<1$ is the $τ$~function of a particular Painlevé VI, the special cases of which are related to enumerative problems arising from string theory. We show that the recurrence coefficients, denoted by $β_n(k^2),\;n=1,2,\dots$; and ${\rm p}_1(n,k^2)$, the coefficients of $x^{n-2}$ of the monic polynomials orthogonal with respect to a generalized version of the weight studied by Rees, $$ (1-x^2)^α(1-k^2x^2)^β,\;\;x\in[-1,1],\;α>-1,\;β\in \mathbb{R}, $$ satisfy second order non-linear difference equations. The large $n$ expansion based on the difference equations when combined with known asymptotics of the leading terms of the associated Hankel determinant yields a complete asymptotic expansion of the Hankel determinant. The Painlevé equation is also discussed as well as the generalization of the linear second order differential equation found by Rees.

AG-2015.05-1746

math.CA

Exact analytical approach to differential equations with variable coefficients

Mauro Bologna

This paper shows how to build a formal analytical solution for a differential equation of arbitrary order and with variable coefficients. It proofs that the most known approximated solutions for such a problem can be derived from the analytical expression presented in the paper. The formalism can be easily extended to the infinite dimensional case such as the quantum time-dependent Hamiltonian problem.

AG-2015.04-2143

math.CA

Expansions of the solutions of the confluent Heun equation in terms of the incomplete Beta and the Appell generalized hypergeometric functions

C. Leroy, A. M. Ishkhanyan

We construct several expansions of the solutions of the confluent Heun equation in terms of the incomplete Beta functions and the Appell generalized hypergeometric functions of two variables of the fist kind. The coefficients of different expansions obey four-, five-, or six-term recurrence relations that are reduced to ones involving less number of terms only in a few exceptional cases. The conditions for deriving finite-sum solutions via termination of the series are discussed.

AG-2015.04-058

math.CA

Generalized Zernike polynomials: Operational formulae and generating functions

Bouchra Aharmim, Amal El Hamyani, Fouzia El Wassouli, Allal Ghanmi

We establish new operational formulae of Burchnall type for the complex disk polynomials (generalized Zernike polynomials). We then use them to derive some interesting identities involving these polynomials. In particular, we establish recurrence relations with respect to the argument and the integer indices, as well as Nielsen identities and Runge addition formula. In addition, various new generating functions for these disk polynomials are proved.

AG-2015.03-890

math.CA

Non-Schlesinger Isomonodromic Deformations of Fuchsian Systems and Middle Convolution

Yulia Bibilo, Galina Filipuk

The paper is devoted to non-Schlesinger isomonodromic deformations for resonant Fuchsian systems. There are very few explicit examples of such deformations in the literature. In this paper we construct a new example of the non-Schlesinger isomonodromic deformation for a resonant Fuchsian system of order 5 by using middle convolution for a resonant Fuchsian system of order 2. Moreover, it is known that middle convolution is an operation that preserves Schlesinger&#39;s deformation equations for non-resonant Fuchsian systems. In this paper we show that Bolibruch&#39;s non-Schlesinger deformations of resonant Fuchsian systems are, in general, not preserved by middle convolution.

AG-2015.03-484

math.CA

Padé interpolation and hypergeometric series

Masatoshi Noumi

We propose a class of Padé interpolation problems whose solutions are expressible in terms of determinants of hypergeometric series.

AG-2015.02-1741

math.CA

Fractional-order Variational Derivative

Vasily E. Tarasov

We consider some possible approaches to the fractional-order generalization of definition of variation (functional) derivative. Some problems of formulation of a fractional-order variational derivative are discussed. To give a consistent definition of the fractional-order variations, we use a fractional generalization of Gateaux differential.

AG-2015.02-914

math.CA

Fourier and Gegenbauer Expansions for a Fundamental Solution of Laplace&#39;s Equation in Hyperspherical Geometry

Howard S. Cohl, Rebekah M. Palmer

For a fundamental solution of Laplace&#39;s equation on the $R$-radius $d$-dimensional hypersphere, we compute the azimuthal Fourier coefficients in closed form in two and three dimensions. We also compute the Gegenbauer polynomial expansion for a fundamental solution of Laplace&#39;s equation in hyperspherical geometry in geodesic polar coordinates. From this expansion in three-dimensions, we derive an addition theorem for the azimuthal Fourier coefficients of a fundamental solution of Laplace&#39;s equation on the 3-sphere. Applications of our expansions are given, namely closed-form solutions to Poisson&#39;s equation with uniform density source distributions. The Newtonian potential is obtained for the 2-disc on the 2-sphere and 3-ball and circular curve segment on the 3-sphere. Applications are also given to the superintegrable Kepler-Coulomb and isotropic oscillator potentials.

AG-2015.02-739

math.CA

Bounding the number of remarkable values via Jouanolou&#39;s theorem

Guillaume Chèze

In this article we bound the number of remarkable values of a polynomial vector field. The proof is short and based on Jouanolou&#39;s theorem about rational first integrals of planar polynomial derivations. Our bound is given in term of the size of a Newton polygon associated to the vector field. We prove that this bound is almost reached.

AG-2015.02-460

math.CA

The Fourier-Like and Hartley-Like Wavelet Analysis Based on Hilbert Transforms

L. R. Soares, H. M. de Oliveira, R. J. Cintra

In continuous-time wavelet analysis, most wavelet present some kind of symmetry. Based on the Fourier and Hartley transform kernels, a new wavelet multiresolution analysis is proposed. This approach is based on a pair of orthogonal wavelet functions and is named as the Fourier-Like and Hartley-Like wavelet analysis. A Hilbert transform analysis on the wavelet theory is also included.

AG-2015.02-299

math.CA

Taylor Series as Wide-sense Biorthogonal Wavelet Decomposition

H. M. de Oliveira, R. D. Lins

Pointwise-supported generalized wavelets are introduced, based on Dirac, doublet and further derivatives of delta. A generalized biorthogonal analysis leads to standard Taylor series and new Dual-Taylor series that may be interpreted as Laurent Schwartz distributions. A Parseval-like identity is also derived for Taylor series, showing that Taylor series support an energy theorem. New representations for signals called derivagrams are introduced, which are similar to spectrograms. This approach corroborates the impact of wavelets in modern signal analysis.

AG-2015.01-1323

math.CA

On 2D discrete Schrödinger operators associated with multiple orthogonal polynomials

Alexander I Aptekarev, Maxim Derevyagin, Walter Van Assche

A class of cross-shaped difference operators on a two dimensional lattice is introduced. The main feature of the operators in this class is that their formal eigenvectors consist of multiple orthogonal polynomials. In other words, this scheme generalizes the classical connection between Jacobi matrices and orthogonal polynomials to the case of operators on lattices. Furthermore we also show how to obtain 2D discrete Schrödinger operators out of this construction and give a number of explicit examples based on known families of multiple orthogonal polynomials.

AG-2015.01-928

math.CA

Zak Transform and non-uniqueness in an extension of Pauli&#39;s phase retrieval problem

Simon Andreys, Philippe Jaming

The aim of this paper is to pursue the investigation of the phase retrieval problem for the fractional Fourier transform $\ff\_α$ started by the second author. We here extend a method of A.E.J.M Janssen to show that there is a countable set $\qq$ such that for every finite subset $å\subset \qq$, there exist two functions $f,g$ not multiple of one an other such that $|\ff\_αf|=|\ff\_αg|$ for every $α\in å$. Equivalently, in quantum mechanics, this result reformulates as follows: if $Q\_α=Q\cosα+P\sinα$ ($Q,P$ be the position and momentum observables), then $\{Q\_α,α\inå\}$ is not informationally complete with respect to pure states. This is done by constructing two functions $\ffi,ψ$ such that $\ff\_α\ffi$ and $\ff\_αψ$ have disjoint support for each $α\in å$. To do so, we establish a link between $\ff\_α[f]$, $α\in \qq$ and the Zak transform $Z[f]$ generalizing the well known marginal properties of $Z$.

AG-2015.01-2742

math.CA

The normal matrix model with a monomial potential, a vector equilibrium problem, and multiple orthogonal polynomials on a star

Arno B. J. Kuijlaars, Abey López-García

We investigate the asymptotic behavior of a family of multiple orthogonal polynomials that is naturally linked with the normal matrix model with a monomial potential of arbitrary degree $d+1$. The polynomials that we investigate are multiple orthogonal with respect to a system of $d$ analytic weights defined on a symmetric $(d+1)$-star centered at the origin. In the first part we analyze in detail a vector equilibrium problem involving a system of $d$ interacting measures $(μ_{1},\ldots,μ_{d})$ supported on star-like sets in the plane. We show that in the subcritical regime, the first component $μ_{1}^{*}$ of the solution to this problem is the asymptotic zero distribution of the multiple orthogonal polynomials. It also characterizes the domain where the eigenvalues in the normal matrix model accumulate, in the sense that the Schwarz function associated with the boundary of this domain can be expressed explicitly in terms of $μ_{1}^{*}$. The second part of the paper is devoted to the asymptotic analysis of the multiple orthogonal polynomials. The asymptotic results are obtained again in the subcritical regime, and they follow from the Deift/Zhou steepest descent analysis of a Riemann-Hilbert problem of size $(d+1)\times (d+1)$. The vector equilibrium problem and the Riemann-Hilbert problem that we investigate are generalizations of those studied recently by Bleher-Kuijlaars in the case $d=2$.

AG-2014.12-2511

math.CA

Multiple sine, multiple elliptic gamma functions and rational cones

Luigi Tizzano, Jacob Winding

We define generalizations of the multiple elliptic gamma functions and the multiple sine functions, labelled by rational cones in $\mathbb{R}^r$. For $r=2,3$ we prove that the generalized multiple elliptic gamma functions enjoy a modular property determined by the cone. This generalizes the modular properties of the elliptic gamma function studied by Felder and Varchenko. The generalized multiple sine enjoy a related infinite product representation, generalizing the results of Narukawa for the ordinary multiple sine functions.

AG-2014.12-031

math.CA

Slater determinants of orthogonal polynomials

Dimitar Dimitrov, Yuan Xu

The symmetrized Slater determinants of orthogonal polynomials with respect to a non-negative Borel measure are shown to be represented by constant multiple of Hankel determinants of two other families of polynomials, and they can also be written in terms of Selberg type integrals. Applications include positive determinants of polynomials of several variables and Jensen polynomials and its derivatives for entire functions.

AG-2014.11-2502

math.CA

Discrete transforms and orthogonal polynomials of (anti)symmetric multivariate cosine functions

Jiří Hrivnák, Lenka Motlochová

The discrete cosine transforms of types V--VIII are generalized to the antisymmetric and symmetric multivariate discrete cosine transforms. Four families of discretely and continuously orthogonal Chebyshev-like polynomials corresponding to the antisymmetric and symmetric generalizations of cosine functions are introduced. Each family forms an orthogonal basis of the space of all polynomials with respect to some weighted integral. Cubature formulas, which correspond to these families of polynomials and which stem from the developed discrete cosine transforms, are derived. Examples of three-dimensional interpolation formulas and three-dimensional explicit forms of the polynomials are presented.

AG-2014.11-2945

math.CA

Two-variable $-1$ Jacobi polynomials

Vincent X. Genest, Jean-Michel Lemay, Luc Vinet, Alexei Zhedanov

A two-variable generalization of the Big $-1$ Jacobi polynomials is introduced and characterized. These bivariate polynomials are constructed as a coupled product of two univariate Big $-1$ Jacobi polynomials. Their orthogonality measure is obtained. Their bispectral properties (eigenvalue equations and recurrence relations) are determined through a limiting process from the two-variable Big $q$-Jacobi polynomials of Lewanowicz and Woźny. An alternative derivation of the weight function using Pearson-type equations is presented.

AG-2014.11-1109

math.CA

On square root domains for non-self-adjoint Sturm-Liouville operators

Fritz Gesztesy, Steve Hofmann, Roger Nichols

We determine square root domains for non-self-adjoint Sturm--Liouville operators of the type $$ L_{p,q,r,s} = - \frac{d}{dx}p\frac{d}{dx}+r\frac{d}{dx}-\frac{d}{dx}s+q $$ in $L^2((c,d);dx)$, where either $(c,d)$ coincides with the real line $\mathbb{R}$, the half-line $(a,\infty)$, $a \in \mathbb{R}$, or with the bounded interval $(a,b) \subset \mathbb{R}$, under very general conditions on the coefficients $q, r, s$. We treat Dirichlet and Neumann boundary conditions at $a$ in the half-line case, and Dirichlet and/or Neumann boundary conditions at $a,b$ in the final interval context. (In the particular case $p=1$ a.e.\ on $(a,b)$, we treat all separated boundary conditions at $a, b$.)

AG-2014.11-3573

math.CA

Perturbations around the zeros of classical orthogonal polynomials

Ryu Sasaki

Starting from degree N solutions of a time dependent Schroedinger-like equation for classical orthogonal polynomials, a linear matrix equation describing perturbations around the N zeros of the polynomial is derived. The matrix has remarkable Diophantine properties. Its eigenvalues are independent of the zeros. The corresponding eigenvectors provide the representations of the lower degree (0,1,...,N-1) polynomials in terms of the zeros of the degree N polynomial. The results are valid universally for all the classical orthogonal polynomials, including the Askey scheme of hypergeometric orthogonal polynomials and its q-analogues.

AG-2014.11-396

math.CA

Moments of the Gaussian $β$ Ensembles and the large-$N$ expansion of the densities

N. S. Witte, P. J. Forrester

The loop equation formalism is used to compute the $1/N$ expansion of the resolvent for the Gaussian $β$ ensemble up to and including the term at $O(N^{-6})$. This allows the moments of the eigenvalue density to be computed up to and including the 12-th power and the smoothed density to be expanded up to and including the term at $O(N^{-6})$. The latter contain non-integrable singularities at the endpoints of the support --- we show how to nonetheless make sense of the average of a sufficiently smooth linear statistic. At the special couplings $β= 1$, $2$ and $4$ there are characterisations of both the resolvent and the moments which allows for the corresponding expansions to be extended, in some recursive form at least, to arbitrary order. In this regard we give fifth order linear differential equations for the density and resolvent at $β= 1$ and $4$, which complements the known third order linear differential equations for these quantities at $β= 2$.

AG-2014.11-368

math.CA

Population Dynamics of Globally Coupled Degrade-and-Fire Oscillators

Alex Blumenthal, Bastien Fernandez

This paper reports the analysis of the dynamics of a model of pulse-coupled oscillators with global inhibitory coupling. The model is inspired by experiments on colonies of bacteria-embedded synthetic genetic circuits. The total population can be either of finite (arbitrary) size or infinite, and is represented by a one-dimensional profile. Profiles can be discontinuous, possibly with infinitely many jumps. Their time evolution is governed by a singular differential equation. We address the corresponding initial value problem and characterize the dynamics&#39; main features. In particular, we prove that trajectory behaviors are asymptotically periodic, with period only depending on the profile (and on the model parameters). A criterion is obtained for the existence of the corresponding periodic orbits, which reveals the existence of a sharp transition as the coupling parameter is increased. The transition separates a regime where any profile can be obtained in the limit of large times, to a situation where only trajectories with sufficiently large groups of synchronized oscillators perdure.

AG-2014.10-1481

math.CA

Proof of the Dubrovin conjecture and analysis of the tritronquée solutions of $P_I$

O. Costin, M. Huang, S. Tanveer

We show that the tritronquée solution of the Painlevé equation $\P1$, $ y&#34;=6y^2+z$ which is analytic for large $z$ with $ \arg z \in (-\frac{3π}{5}, π)$ is pole-free in a region containing the full sector ${z \ne 0, \arg z \in [-\frac{3π}{5}, π]}$ and the disk ${z: |z| < 37/20}$. This proves in particular the Dubrovin conjecture, an open problem in the theory of Painlevé transcendents. The method, building on a technique developed in Costin, Huang, Schlag (2012), is general and constructive. As a byproduct, we obtain the value of the tritronquée and its derivative at zero within less than 1/100 rigorous error bounds.

AG-2014.10-997

math.CA

Asymptotic formulae for the Lommel and Bessel functions and their derivatives

Nadezhda Aleksandrova

We derive new approximate representations of the Lommel functions in terms of the Scorer function and approximate representations of the first derivative of the Lommel functions in terms of the derivative of the Scorer function. Using the same method we obtain previously known approximate representations of the Nicholson type for Bessel functions and their first derivatives. We study also for what values of the parameters our representations have reasonable accuracy.

AG-2014.10-3580

math.CA

A new recurrence formula for generic exceptional orthogonal polynomials

Hiroshi Miki, Satoshi Tsujimoto

A new recurrence relation for exceptional orthogonal polynomials is proposed, which holds for type 1, 2 and 3. As concrete examples, the recurrence relations are given for Xj-Hermite, Laguerre and Jacobi polynomials in j = 1,2 case.

AG-2014.09-1948

math.CA

Novel representation of the general Heun&#39;s functions. Back to the beginning

Plamen P. Fiziev

We study a novel type of solutions of the general Heun&#39;s equation, based on its symmetric form. We derive the symmetry group of this equation which is a proper extension of the Mobius group. The new series solution treat simultaneously and on an equal footing all singular points.

AG-2014.09-1245

math.CA

Spectral and resonance problem for perturbations of periodic Jacobi operators

Rostyslav Kozhan

Necessary and sufficient conditions are presented for a measure to be the spectral measure of a finite range or exponentially decaying perturbation of a periodic Jacobi operator. As a corollary we can fully solve the inverse resonance problem: given resonances and eigenvalues we can recover the spectral measure of the Jacobi operator; we provide necessary and sufficient conditions under which such an operator exists and is unique; and we show that the inverse resonance problem is stable under small perturbations.

AG-2014.09-355

math.CA

DJKM algebras and non-classical orthogonal polynomials

Ben Cox, Vyacheslav Futorny, Juan A. Tirao

We describe families of polynomials arising in the study of the universal central extensions of Lie algebras introduced by Date, Jimbo, Kashiwara, and Miwa in their work on the Landau-Lifshitz equations. Two of the families of polynomials we show satisfy certain forth order linear differential equations, are orthogonal and are not of classical type.

AG-2014.08-1469

math.CA

Jacobi polynomial moments and products of random matrices

Wolfgang Gawronski, Thorsten Neuschel, Dries Stivigny

Motivated by recent results in random matrix theory we will study the distributions arising from products of complex Gaussian random matrices and truncations of Haar distributed unitary matrices. We introduce an appropriately general class of measures and characterize them by their moments essentially given by specific Jacobi polynomials with varying parameters. Solving this moment problem requires a study of the Riemann surfaces associated to a class of algebraic equations. The connection to random matrix theory is then established using methods from free probability.

AG-2014.08-3597

math.CA

The exponentiated Hencky-logarithmic strain energy. Part II: Coercivity, planar polyconvexity and existence of minimizers

Patrizio Neff, Johannes Lankeit, Ionel-Dumitrel Ghiba, Robert Martin, David Steigmann

We consider a family of isotropic volumetric-isochoric decoupled strain energies $$ F\mapsto W_{\rm eH}(F):=\widehat{W}_{\rm eH}(U):=\left\{\begin{array}{lll} \fracμ{k}\,e^{k\,\|{\rm dev}_n\log {U}\|^2}+\fracκ{2\hat{k}}\,e^{\hat{k}\,[{\rm tr}(\log U)]^2}&\text{if}& {\rm det}\, F>0,\\ +\infty &\text{if} &{\rm det} F\leq 0, \end{array}\right.\quad $$ based on the Hencky-logarithmic (true, natural) strain tensor $\log U$, where $μ>0$ is the infinitesimal shear modulus, $κ=\frac{2μ+3λ}{3}>0$ is the infinitesimal bulk modulus with $λ$ the first Lamé constant, $k,\hat{k}$ are dimensionless parameters, $F=\nabla φ$ is the gradient of deformation, $U=\sqrt{F^T F}$ is the right stretch tensor and ${\rm dev}_n\log {U} =\log {U}-\frac{1}{n} {\rm tr}(\log {U})\cdot 1\!\!1$ is the deviatoric part (the projection onto the traceless tensors) of the strain tensor $\log U$. For small elastic strains the energies reduce to first order to the classical quadratic Hencky energy $$ F\mapsto W{_{\rm H}}(F):=\widehat{W}_{_{\rm H}}(U):=μ\,\|{\rm dev}_n\log U\|^2+\fracκ{2}\,[{\rm tr}(\log U)]^2, $$ which is known to be not rank-one convex. The main result in this paper is that in plane elastostatics the energies of the family $W_{_{\rm eH}}$ are polyconvex for $k\geq \frac{1}{3}$, $\widehat{k}\geq \frac{1}{8}$, extending a previous finding on its rank-one convexity. Our method uses a judicious application of Steigmann&#39;s polyconvexity criteria based on the representation of the energy in terms of the principal invariants of the stretch tensor $U$. These energies also satisfy suitable growth and coercivity conditions. We formulate the equilibrium equations and we prove the existence of minimizers by the direct methods of the calculus of variations.

AG-2014.07-1126

math.CA

The exponentiated Hencky-logarithmic strain energy. Part I: Constitutive issues and rank-one convexity

Patrizio Neff, Ionel-Dumitrel Ghiba, Johannes Lankeit

We investigate a family of isotropic volumetric-isochoric decoupled strain energies $$ F\mapsto W_{_{\rm eH}}(F):=\widehat{W}_{_{\rm eH}}(U):=\left\{\begin{array}{lll} \fracμ{k}\,e^{k\,\|{\rm dev}_n\log {U}\|^2}+\fracκ{2\, {\widehat{k}}}\,e^{\widehat{k}\,[{ \rm tr}(\log U)]^2}&\text{if}& { \rm det} F>0,\\ +\infty &\text{if} &{ \rm det} F\leq 0, \end{array}\right.\quad $$ based on the Hencky-logarithmic (true, natural) strain tensor $\log U$, where $μ>0$ is the infinitesimal shear modulus, $κ=\frac{2μ+3λ}{3}>0$ is the infinitesimal bulk modulus with $λ$ the first Lamé constant, $k,\widehat{k}$ are dimensionless parameters, $F=\nabla φ$ is the gradient of deformation, $U=\sqrt{F^T F}$ is the right stretch tensor and ${\rm dev}_n\log {U} =\log {U}-\frac{1}{n} {\rm tr}(\log {U})\cdot 1\!\!1$ is the deviatoric part of the strain tensor $\log U$. For small elastic strains, $W_{_{\rm eH}}$ approximates the classical quadratic Hencky strain energy $$ F\mapsto W_{_{\rm H}}(F):=\widehat{W}_{_{\rm H}}(U):=μ\,\|{\rm dev}_n\log U\|^2+\fracκ{2}\,[{\rm tr}(\log U)]^2, $$ which is not everywhere rank-one convex. In plane elastostatics, i.e. $n=2$, we prove the everywhere rank-one convexity of the proposed family $W_{_{\rm eH}}$, for $k\geq \frac{1}{4}$ and $\widehat{k}\geq \frac{1}{8}$. Moreover, we show that the corresponding Cauchy (true)-stress-true-strain relation is invertible for $n=2,3$ and we show the monotonicity of the Cauchy (true) stress tensor as a function of the true strain tensor in a domain of bounded distortions. We also prove that the rank-one convexity of the energies belonging to the family $W_{_{\rm eH}}$ is not preserved in dimension $n=3$.

AG-2014.07-673

math.CA

&#34;`Painleve 34&#34;&#39; equation: equivalence test

Vera V. Kartak

Completely solved the equivalence problem for the &#34;`Painleve 34&#34;&#39; equation.

AG-2014.06-687

math.CA

Six-dimensional Painleve systems and their particular solutions in terms of hypergeometric functions

Takao Suzuki

In this article, we propose a class of six-dimensional Painleve systems given as the monodromy preserving deformations of the Fuchsian systems. They are expressed as polynomial Hamiltonian systems of sixth order. We also discuss their particular solutions in terms of the hypergeometric functions defined by fourth order rigid systems.

AG-2014.06-661

math.CA

Several applications of the moment method in random matrix theory

Sasha Sodin

Several applications of the moment method in random matrix theory, especially, to local eigenvalue statistics at the spectral edges, are surveyed, with emphasis on a modification of the method involving orthogonal polynomials.

AG-2014.06-3015

math.CA

Large-degree asymptotics of rational Painleve-II functions. II

Robert J. Buckingham, Peter D. Miller

This paper is a continuation of our analysis, begun in arXiv:1310.2276, of the rational solutions of the inhomogeneous Painleve-II equation and associated rational solutions of the homogeneous coupled Painleve-II system in the limit of large degree. In this paper we establish asymptotic formulae valid near a certain curvilinear triangle in the complex plane that was previously shown to separate two distinct types of asymptotic behavior. Our results display both a trigonometric degeneration of the rational Painleve-II functions and also a degeneration to the tritronquee solution of the Painleve-I equation. Our rigorous analysis is based on the steepest descent method applied to a Riemann-Hilbert representation of the rational Painleve-II functions, and supplies leading-order formulae as well as error estimates.

AG-2014.05-783

math.CA

On a Family of Integrals that extend the Askey-Wilson Integral

M. Ito, N. S. Witte

We study a family of integrals parameterised by $ N = 2,3,\dots $ generalising the Askey-Wilson integral $ N=2 $ which has arisen in the theory of $q$-analogs of monodromy preserving deformations of linear differential systems and in theory of the Baxter $Q$ operator for the $ XXZ $ open quantum spin chain. These integrals are particular examples of moments defined by weights generalising the Askey-Wilson weight and we show the integrals are characterised by various $ (N-1) $-th order linear $q$-difference equations which we construct. In addition we demonstrate that these integrals can be evaluated as a finite sum of $ (N-1) $ $ BC_{1} $-type Jackson integrals or $ {}_{2N+2}φ_{2N+1} $ basic hypergeometric functions.

AG-2014.04-2253

math.CA

Analytic approximation of transmutation operators and applications to highly accurate solution of spectral problems

Vladislav V. Kravchenko, Sergii M. Torba

A method for approximate solution of spectral problems for Sturm-Liouville equations based on the construction of the Delsarte transmutation operators is presented. In fact the problem of numerical approximation of solutions and eigenvalues is reduced to approximation of a primitive of the potential by a finite linear combination of generalized wave polynomials introduced in arXiv:1208.5984, arXiv:1208.6166. The method allows one to compute both lower and higher eigendata with an extreme accuracy.

AG-2014.04-113

math.CA

A &#34;Continuous&#34; Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials

Vincent X. Genest, Luc Vinet, Alexei Zhedanov

A novel family of $-1$ orthogonal polynomials called the Chihara polynomials is characterized. The polynomials are obtained from a &#34;continuous&#34; limit of the complementary Bannai-Ito polynomials, which are the kernel partners of the Bannai-Ito polynomials. The three-term recurrence relation and the explicit expression in terms of Gauss hypergeometric functions are obtained through a limit process. A one-parameter family of second-order differential Dunkl operators having these polynomials as eigenfunctions is also exhibited. The quadratic algebra with involution encoding this bispectrality is obtained. The orthogonality measure is derived in two different ways: by using Chihara&#39;s method for kernel polynomials and, by obtaining the symmetry factor for the one-parameter family of Dunkl operators. It is shown that the polynomials are related to the big $-1$ Jacobi polynomials by a Christoffel transformation and that they can be obtained from the big $q$-Jacobi by a $q\rightarrow -1$ limit. The generalized Gegenbauer/Hermite polynomials are respectively seen to be special/limiting cases of the Chihara polynomials. A one-parameter extension of the generalized Hermite polynomials is proposed.

AG-2014.03-1222

math.CA

Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients

Vyacheslav M. Boyko, Roman O. Popovych, Nataliya M. Shapoval

Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by such systems are obtained using an effective algebraic approach.

AG-2014.03-1273

math.CA

Umbral &#34;classical&#34; polynomials

Alexei Zhedanov

We study the umbral &#34;classical&#34; orthogonal polynomials with respect to a generalized derivative operator $\cal D$ which acts on monomials as ${\cal D} x^n = μ_n x^{n-1}$ with some coefficients $μ_n$. Let $P_n(x)$ be a set of orthogonal polynomials. Define the new polynomials $Q_n(x) =μ_{n+1}^{-1}{\cal D} P_{n+1}(x)$. We find necessary and sufficient conditions when the polynomials $Q_n(x)$ will also be orthogonal. Apart from well known examples of the classical orthogonal polynomials we present a new example of umbral classical polynomials expressed in terms of elliptic functions.

AG-2014.01-1337

math.CA

Fourier-Laplace transform and isomonodromic deformations

Daisuke Yamakawa

Using the Fourier-Laplace transform, we describe the isomonodromy equations for meromorphic connections on the Riemann sphere with unramified irregular singularities as those for connections with a (possibly ramified) irregular singularity and a regular singularity. This generalizes some results of Harnad and Woodhouse.

AG-2014.01-1430

math.CA

Linear independent solutions and operational representations for hypergeometric functions of four variables

Maged G. Bin-Saad, Anvar Hasanov

In investigation of boundary-value problems for certain partial differential equations arising in applied mathematics, we often need to study the solution of system of partial differential equations satisfied by hypergeometric functions and find explicit linearly independent solutions for the system. Here we choose the Exton function $K_{2}$ among his 21 functions to show how to find the linearly independent solutions of partial differential equations satisfied by this function $K_{2}$. Based upon the classical derivative and integral operators we introduce a new operational images for hypergeometric function $K_{2}$. By means of these operational images a number of finite series and decomposition formulas are then fund.

AG-2014.01-2391

math.CA

Modified spectral parameter power series representations for solutions of Sturm-Liouville equations and their applications

Vladislav V. Kravchenko, Sergii M. Torba

Spectral parameter power series (SPPS) representations for solutions of Sturm-Liouville equations proved to be an efficient practical tool for solving corresponding spectral and scattering problems. They are based on a computation of recursive integrals, sometimes called formal powers. In this paper new relations between the formal powers are presented which considerably improve and extend the application of the SPPS method. For example, originally the SPPS method at a first step required to construct a nonvanishing (in general, a complex-valued) particular solution corresponding to the zero-value of the spectral parameter. The obtained relations remove this limitation. Additionally, equations with &#34;nasty&#34; Sturm-Liouville coefficients $1/p$ or $r$ can be solved by the SPPS method. We develop the SPPS representations for solutions of Sturm-Liouville equations of the form $$ (p(x)u&#39;)&#39;+q(x)u=\sum_{k=1}^N λ^k R_k[u], \quad x\in(a,b)$$ where $R_k[u] :=r_k(x)u+s_k(x)u&#39;$, $k=1,\ldots N$, the complex-valued functions $p$, $q$, $r_k$, $s_k$ are continuous on the finite segment $[a,b]$. Several numerical examples illustrate the efficiency of the method and its wide applicability.

AG-2013.12-2476

math.CA

Singularity confinement for matrix discrete Painleve Equations

Giovanni A. Cassatella-Contra, Manuel Manas, Piergiulio Tempesta

We study the analytic properties of a matrix discrete system introduced in [7]. The singularity confinement for this system is shown to hold generically, i.e. in the whole space of parameters except possibly for algebraic subvarieties. This paves the way to a generalization of Painleve analysis to discrete matrix models.

AG-2013.12-1085

math.CA

Non-canonical extension of theta-functions and modular integrability of theta-constants

Yurii V. Brezhnev

This is an extended (factor 2.5) version of arXiv:math/0601371 and arXiv:0808.3486. We present new results in the theory of the classical $θ$-functions of Jacobi: series expansions and defining ordinary differential equations (\odes). The proposed dynamical systems turn out to be Hamiltonian and define fundamental differential properties of theta-functions; they also yield an exponential quadratic extension of the canonical $θ$-series. An integrability condition of these \odes\ explains appearance of the modular $\vartheta$-constants and differential properties thereof. General solutions to all the \odes\ are given. For completeness, we also solve the Weierstrassian elliptic modular inversion problem and consider its consequences. As a nontrivial application, we apply proposed techni\-que to the Hitchin case of the sixth Painlevé equation.

AG-2013.12-971

math.CA

Triple scale analysis of periodic solutions and resonance of some asymmetric non linear vibrating systems

Bernard Rousselet, Nadia Ben Brahim

We consider {\it small solutions} of a vibrating mechanical system with smooth non-linearities for which we provide an approximate solution by using a triple scale analysis; a rigorous proof of convergence of the triple scale method is included; for the forced response, a stability result is needed in order to prove convergence in a neighbourhood of a primary resonance. The amplitude of the response with respect to the frequency forcing is described and it is related to the frequency of a free periodic vibration.

AG-2013.11-2768

math.CA

Matrix Orthogonal Laurent Polynomials on the Unit Circle and Toda Type Integrable Systems

Gerardo Ariznabarreta, Manuel Manas

Matrix orthogonal Laurent polynomials in the unit circle and the theory of Toda-like integrable systems are connected using the Gauss--Borel factorization of two, left and a right, Cantero-Morales-Velazquez block moment matrices, which are constructed using a quasi-definite matrix measure. A block Gauss-Borel factorization problem of these moment matrices leads to two sets of biorthogonal matrix orthogonal Laurent polynomials and matrix Szegő polynomials, which can be expressed in terms of Schur complements of bordered truncations of the block moment matrix. The corresponding block extension of the Christoffel-Darboux theory is derived. Deformations of the quasi-definite matrix measure leading to integrable systems of Toda type are studied. The integrable theory is given in this matrix scenario; wave and adjoint wave functions, Lax and Zakharov-Shabat equations, bilinear equations and discrete flows --connected with Darboux transformations--. We generalize the integrable flows of the Cafasso&#39;s matrix extension of the Toeplitz lattice for the Verblunsky coefficients of Szegő polynomials. An analysis of the Miwa shifts allows for the finding of interesting connections between Christoffel--Darboux kernels and Miwa shifts of the matrix orthogonal Laurent polynomials.

AG-2013.11-2175

math.CA

Analytical solutions of the Riccati equation with coefficients satisfying integral or differential conditions with arbitrary functions

Tiberiu Harko, Francisco S. N. Lobo, M. K. Mak

Ten new exact solutions of the Riccati equation $dy/dx=a(x)+b(x)y+c(x)y^{2}$ are presented. The solutions are obtained by assuming certain relations among the coefficients $a(x)$, $b(x)$ and $c(x)$ of the Riccati equation, in the form of some integral or differential expressions, also involving some arbitrary functions. By appropriately choosing the form of the coefficients of the Riccati equation, with the help of the conditions imposed on the coefficients, we obtain ten new integrability cases for the Riccati equation. For each case the general solution of the Riccati equation is also presented. The possibility of the application of the obtained mathematical results for the study of anisotropic general relativistic stellar models is also briefly considered.

AG-2013.11-1117

math.CA

Ultradiscrete Painlevé VI with Parity Variables

Kouichi Takemura, Terumitsu Tsutsui

We introduce a ultradiscretization with parity variables of the $q$-difference Painlevé VI system of equations. We show that ultradiscrete limit of Riccati-type solutions of $q$-Painlevé VI satisfies the ultradiscrete Painlevé VI system of equations with the parity variables, which is valid by using the parity variables. We study some solutions of the ultradiscrete Riccati-type equation and those of ultradiscrete Painlevé VI equation.

AG-2013.11-848

math.CA

Expansions for a fundamental solution of Laplace&#39;s equation on ${\mathbb R^3}$ in 5-cyclidic harmonics

Howard S. Cohl, Hans Volkmer

We derive eigenfunction expansions for a fundamental solution of Laplace&#39;s equation in three-dimensional Euclidean space in 5-cyclidic coordinates. There are three such expansions in terms of internal and external 5-cyclidic harmonics of first, second and third kind. The internal and external 5-cyclidic harmonics are expressed by solutions of a Fuchsian differential equation with five regular singular points.

AG-2013.11-2063

math.CA

Multiple Meixner polynomials and non-Hermitian oscillator Hamiltonians

François Ndayiragije, Walter Van Assche

Multiple Meixner polynomials are polynomials in one variable which satisfy orthogonality relations with respect to $r>1$ different negative binomial distributions (Pascal distributions). There are two kinds of multiple Meixner polynomials, depending on the selection of the parameters in the negative binomial distribution. We recall their definition and some formulas and give generating functions and explicit expressions for the coefficients in the nearest neighbor recurrence relation. Following a recent construction of Miki, Tsujimoto, Vinet and Zhedanov (for multiple Meixner polynomials of the first kind), we construct $r>1$ non-Hermitian oscillator Hamiltonians in $r$ dimensions which are simultaneously diagonalizable and for which the common eigenstates are expressed in terms of multiple Meixner polynomials of the second kind.

AG-2013.11-2767

math.CA

On the Christoffel--Darboux formula for generalized matrix orthogonal polynomials of multigraded-Hankel type

Carlos Álvarez-Fernández, Manuel Mañas

We obtain an extension of the Christoffel--Darboux formula for matrix orthogonal polynomials with a generalized Hankel symmetry, including the Adler-van Moerbeke generalized orthogonal polynomials.

AG-2013.11-128

math.CA

Plancherel-Rotach formulae for average characteristic polynomials of products of Ginibre random matrices and the Fuss-Catalan distribution

Thorsten Neuschel

Formulae of Plancherel-Rotach type are established for the average characteristic polynomials of certain Hermitian products of rectangular Ginibre random matrices on the region of zeros. These polynomials form a general class of multiple orthogonal hypergeometric polynomials generalizing the classical Laguerre polynomials. The proofs are based on a multivariate version of the complex method of saddle points. After suitable rescaling the asymptotic zero distributions for the polynomials are studied and shown to coincide with the Fuss-Catalan distributions. Moreover, introducing appropriate coordinates, elementary and explicit characterizations are derived for the densities as well as for the distribution functions of the Fuss-Catalan distributions of general order.

AG-2013.10-2279

math.CA

The mechanics of a chain or ring of spherical magnets

Cameron L. Hall, Dominic Vella, Alain Goriely

Strong magnets, such as neodymium-iron-boron magnets, are increasingly being manufactured as spheres. Because of their dipolar characters, these spheres can easily be arranged into long chains that exhibit mechanical properties reminiscent of elastic strings or rods. While simple formulations exist for the energy of a deformed elastic rod, it is not clear whether or not they are also appropriate for a chain of spherical magnets. In this paper, we use discrete-to-continuum asymptotic analysis to derive a continuum model for the energy of a deformed chain of magnets based on the magnetostatic interactions between individual spheres. We find that the mechanical properties of a chain of magnets differ significantly from those of an elastic rod: while both magnetic chains and elastic rods support bending by change of local curvature, nonlocal interaction terms also appear in the energy formulation for a magnetic chain. This continuum model for the energy of a chain of magnets is used to analyse small deformations of a circular ring of magnets and hence obtain theoretical predictions for the vibrational modes of a circular ring of magnets. Surprisingly, despite the contribution of nonlocal energy terms, we find that the vibrations of a circular ring of magnets are governed by the same equation that governs the vibrations of a circular elastic ring.

AG-2013.09-4117

math.CA

Existence and nonexistence results for a singular boundary value problem arising in the theory of epitaxial growth

Carlos Escudero, Robert Hakl, Ireneo Peral, Pedro J. Torres

The existence of stationary radial solutions to a partial differential equation arising in the theory of epitaxial growth is studied. Our results depend on the size of a parameter that plays the role of the velocity at which mass is introduced into the system. For small values of this parameter we prove existence of solutions to this boundary value problem. For large values of the same parameter we prove nonexistence of solutions. We also provide rigorous bounds for the values of this parameter which separate existence from nonexistence. The proofs come as a combination of several differential inequalities and the method of upper and lower functions.

AG-2013.09-1265

math.CA

On radial stationary solutions to a model of nonequilibrium growth

Carlos Escudero, Robert Hakl, Ireneo Peral, Pedro J. Torres

We present the formal geometric derivation of a nonequilibrium growth model that takes the form of a parabolic partial differential equation. Subsequently, we study its stationary radial solutions by means of variational techniques. Our results depend on the size of a parameter that plays the role of the strength of forcing. For small forcing we prove the existence and multiplicity of solutions to the elliptic problem. We discuss our results in the context of nonequilibrium statistical mechanics.

AG-2013.07-1829

math.CA

Quadratic First Integrals of Kinetic Differential Equations

I. Nagy, J. Tóth

Classes of kinetic differential equations are delineated which do have a quadratic first integral, and classes which can not have one. Example reactions corresponding to the obtained kinetic differential equations are shown, and a few figures showing the trajectories of the corresponding systems are also included. Connections to other areas are mentioned and unsolved problems collected. The new results are theoretical, although computational tools are heavily used. Applications from biology and combustion theory will come later.

AG-2013.07-1831

math.CA

Notes on a Theorem of Benci-Gluck-Ziller-Hayashi

Fengying Li, Shiqing Zhang

We use constrained variational minimizing methods to study the existence of periodic solutions with a prescribed energy for a class of second order Hamiltonian systems with a $C^2$ potential function which may have an unbounded potential well. Our result can be regarded as complementary to the well-known theorem of Benci-Gluck-Ziller and Hayashi.

AG-2013.07-505

math.CA

Point classification of the second order ODE&#39;s by Ruslan Sharipov and its application to Painleve equations

Vera V. Kartak

This is an review on the point classification of second order ODE&#39;s by Ruslan Sharipov. His works were published in 1997-1998 at the Electronic Archive at LANL and undeservedly forgotten. Last chapter is an application of this classification to the investigation of Painleve equations.

AG-2013.07-2812

math.CA

Aspects of elliptic hypergeometric functions

V. P. Spiridonov

General elliptic hypergeometric functions are defined by elliptic hypergeometric integrals. They comprise the elliptic beta integral, elliptic analogues of the Euler-Gauss hypergeometric function and Selberg integral, as well as elliptic extensions of many other plain hypergeometric and $q$-hypergeometric constructions. In particular, the Bailey chain technique, used for proving Rogers-Ramanujan type identities, has been generalized to integrals. At the elliptic level it yields a solution of the Yang-Baxter equation as an integral operator with an elliptic hypergeometric kernel. We give a brief survey of the developments in this field.

AG-2013.06-014

math.CA

Operational formulae for the complex Hermite polynomials

Allal Ghanmi

We give operational formulae of Burchnall type involving complex Hermite polynomials. Short proofs of some known formulae are given and new results involving these polynomials, including Nielsen&#39;s identities and Runge addition formula, are derived.

AG-2013.04-2530

math.CA

Legendre Functions, Spherical Rotations, and Multiple Elliptic Integrals

Yajun Zhou

A closed-form formula is derived for the generalized Clebsch-Gordan integral $ \int_{-1}^1 {[}P_ν(x){]}^2P_ν(-x)\D x$, with $ P_ν$ being the Legendre function of arbitrary complex degree $ ν\in\mathbb C$. The finite Hilbert transform of $ P_ν(x)P_ν(-x),-1<x<1$ is evaluated. An analytic proof is provided for a recently conjectured identity $\int_0^1[\mathbf K(\sqrt{1-k^2})]^{3}\D k=6\int_0^1[\mathbf K(k)]^2\mathbf K(\sqrt{1-k^2})k\D k=[Γ(1/4)]^{8}/(128π^2) $ involving complete elliptic integrals of the first kind $ \mathbf K(k)$ and Euler&#39;s gamma function $ Γ(z)$.

AG-2013.04-1534

math.CA

The kernel of the radially deformed Fourier transform

Hendrik De Bie

The radially deformed Fourier transform, introduced in [S. Ben Said, T. Kobayashi and B. Orsted, Laguerre semigroup and Dunkl operators, Compositio Math.], is an integral transform that depends on a numerical parameter $a \in R^{+}$. So far, only for $a=1$ and $a=2$ the kernel of this integral transform is determined explicitly. In the present paper, explicit formulas for the kernel of this transform are obtained when the dimension is even and $a = 2/n$ with $n \in N$. As a consequence, it is shown that the integral kernel is bounded in dimension 2.

AG-2013.04-958

math.CA

Asymptotics of the partition function of a Laguerre-type random matrix model

Yi Zhao, Lihua Cao, Dan Dai

We study asymptotics of the partition function $Z_N$ of a Laguerre-type random matrix model when the matrix order $N$ tends to infinity. By using the Deift-Zhou steepest descent method for Riemann-Hilbert problems, we obtain an asymptotic expansion of $\log Z_N$ in powers of $N^{-2}$.

AG-2013.04-2211

math.CA

Absence of Zeros and Asymptotic Error Estimates for Airy and Parabolic Cylinder Functions

Felix Finster, Joel Smoller

We derive WKB approximations for a class of Airy and parabolic cylinder functions in the complex plane, including quantitative error bounds. We prove that all zeros of the Airy function lie on a ray in the complex plane, and that the parabolic cylinder functions have no zeros. We also analyze the Airy and Airy-WKB limit of the parabolic cylinder functions.

AG-2013.03-1552

math.CA

Selfadjoint realization of boundary-value problems with interior singularities

K. Aydemir, O. Sh. Mukhtarov

The purpose of this paper is to investigate some spectral properties of Sturm-Liouville type problems with interior singularities. Some of the mathematical aspects necessary for developing own technique presented. By applying this technique we construct some special solutions of the homogeneous equation and present a formula and the existence conditions of Green&#39;s function. Further based on this results and introducing operator treatment in adequate Hilbert space we derive the resolvent operator and prove selfadjointness of the considered problem.

AG-2013.03-1553

math.CA

Green&#39;s function for Sturm-Liouville problem

O. Sh. Mukhtarov, K. Aydemir

The purpose of this study is to investigate a new class of boundary value transmission problems (BVTP&#39;s) for Sturm-Liouville equation on two separate intervals. We introduce modified inner product in direct sum space $L_{2}[a,c)\oplus L_{2}(c,b]\oplus\mathbb{C}^{2}$ and define symmetric linear operator in it such a way that the considered problem can be interpreted as an eigenvalue problem of this operator. Then by suggesting an own approaches we construct Green&#39;s function for problem under consideration and find the resolvent function for corresponding inhomogeneous problem.

AG-2013.03-1213

math.CA

Properties of the series solution for Painleve I

A. N. W. Hone, O. Ragnisco, F. Zullo

We present some observations on the asymptotic behaviour of the coefficients in the Laurent series expansion of solutions of the first Painleve equation. For the general solution, explicit recursive formulae for the Taylor expansion of the tau-function around a zero are given, which are natural extensions of analogous formulae for the elliptic sigma function, as given by Weierstrass. Numerical and exact results on the symmetric solution which is singular at the origin are also presented.

AG-2013.03-956

math.CA

Commuting ordinary differential operators of arbitrary genus and arbitrary rank with polynomial coefficients

O. I. Mokhov

In this paper we construct examples of commuting ordinary scalar differential operators with polynomial coefficients that are related to a spectral curve of an arbitrary genus g>0 and to an arbitrary rank r>1 of the vector bundle of common eigenfunctions of the commuting operators over the spectral curve. This solves completely the well-known existence problem for commuting operators of arbitrary genus and arbitrary rank with polynomial coefficients. The constructed commuting operators of arbitrary rank r>1 and arbitrary genus g>0 are given explicitly, they are generated by the Chebyshev polynomials T_r (x).

AG-2013.03-2243

math.CA

Spectral parameter power series for perturbed Bessel equations

Raul Castillo Perez, Vladislav V. Kravchenko, Sergii M. Torba

A spectral parameter power series (SPPS) representation for regular solutions of singular Bessel type Sturm-Liouville equations with complex coefficients is obtained as well as an SPPS representation for the (entire) characteristic function of the corresponding spectral problem on a finite interval. It is proved that the set of zeros of the characteristic function coincides with the set of all eigenvalues of the Sturm-Liouville problem. Based on the SPPS representation a new mapping property of the transmutation operator for the considered perturbed Bessel operator is obtained, and a new numerical method for solving corresponding spectral problems is developed. The range of applicability of the method includes complex coefficients, complex spectrum and equations in which the spectral parameter stands at a first order linear differential operator. On a set of known test problems we show that the developed numerical method based on the SPPS representation is highly competitive in comparison to the best available solvers such as SLEIGN2, MATSLISE and some other codes and give an example of an exactly solvable test problem admitting complex eigenvalues to which the mentioned solvers are not applicable meanwhile the SPPS method delivers excellent numerical results.

AG-2013.03-801

math.CA

Voros coefficients of the third Painelv&#39;e equation and parametric Stokes phenomena

Kohei Iwaki

We compute all Voros coefficients of the third Painleve equation of the type D6 (in the sense of [OKSO]) and discuss the parametric Stokes phenomena occurring to formal transseries solutions. We derive connection formulas for parametric Stokes phenomena under an assumption for Borel summability of transseries solutions. Furthermore, we also compute the Voros coefficient of the degenerate third Painleve equation of the type D7 in Appendix D.

AG-2013.03-657

math.CA

The hexagon equations for dilogarithms and the Riemann-Hilbert problem

Shu Oi, Kimio Ueno

In this article we present the hexagon equations for dilogarithms which come from the analytic continuation of the dilogarithm $\mathrm{Li}_2(z)$ to ${\mathbf P}^1 \setminus {0,1,\infty}$. The hexagon equations are equivalent to the coboundary relations for a certain 1-cocycle of holomorphic functions on ${\mathbf P}^1$, and are solved by the Riemann-Hilbert problem of additive type. They uniquely characterize the dilogarithm under the normalization condition.

AG-2013.03-2905

math.CA

Confluence of apparent singularities in multi-indexed orthogonal polynomials: the Jacobi case

C. -L. Ho, R. Sasaki, K. Takemura

The multi-indexed Jacobi polynomials are the main part of the eigenfunctions of exactly solvable quantum mechanical systems obtained by certain deformations of the Pöschl-Teller potential (Odake-Sasaki). By fine-tuning the parameter(s) of the Pöschl-Teller potential, we obtain several families of explicit and global solutions of certain second order Fuchsian differential equations with an apparent singularity of characteristic exponent -2 and -1. They form orthogonal polynomials over $x\in(-1,1)$ with weight functions of the form $(1-x)^α(1+x)^β/\{(ax+b)^4q(x)^2\}$, in which $q(x)$ is a polynomial in $x$.

AG-2013.03-297

math.CA

Analytical approximation of Blasius&#39; similarity solution with rigorous error bounds

O. Costin, S. Tanveer

We use a recently developed method \cite{Costinetal}, \cite{Dubrovin} to find accurate analytic approximations with rigorous error bounds for the classic similarity solution of Blasius of the boundary layer equation in fluid mechanics, the two point boundary value problem $f^{\prime \prime \prime} + f f^{\prime \prime} =0$ with $f(0)=f^\prime (0)=0$ and $\lim_{x \rightarrow \infty} f^\prime (x) =1$. The approximation is given in terms of a polynomial in $[0, \frac{5}{2}]$ and in terms of the error function in $[\frac{5}{2}, \infty)$. The two representations for the solution in different domains match at $x=\frac{5}{2}$ determining all free parameters in the problem, in particular $f^{\prime \prime} (0) =0.469600 \pm 0.000022 $ at the wall The method can in principle provide approximations to any desired accuracy for this or wide classes of linear or nonlinear differential equations with initial or boundary value conditions. The analysis relies on controlling the errors in the approximation through contraction mapping arguments, using energy bounds for the Green&#39;s function of the linearized problem.

AG-2013.03-070

math.CA

Bispectrality of the Complementary Bannai-Ito Polynomials

Vincent X. Genest, Luc Vinet, Alexei Zhedanov

A one-parameter family of operators that have the complementary Bannai-Ito (CBI) polynomials as eigenfunctions is obtained. The CBI polynomials are the kernel partners of the Bannai-Ito polynomials and also correspond to a $q\rightarrow-1$ limit of the Askey-Wilson polynomials. The eigenvalue equations for the CBI polynomials are found to involve second order Dunkl shift operators with reflections and exhibit quadratic spectra. The algebra associated to the CBI polynomials is given and seen to be a deformation of the Askey-Wilson algebra with an involution. The relation between the CBI polynomials and the recently discovered dual -1 Hahn and para-Krawtchouk polynomials, as well as their relation with the symmetric Hahn polynomials, is also discussed.

AG-2013.02-1452

math.CA

On the period function of Newtonian systems

A. Raouf Chouikha, Mohsen Timoumi

We study the existence of centers of planar autonomous system of the form $$(S) \quad \dot x=y,\qquad \dot y = -h(x) - g(x)y - f(x)y^2.$$ We are interested in the period function $T$ around a center 0. A sufficient condition for the isochronicity of (S) at 0 is given. Such a condition is also necessary when $f,g,h$ are analytic functions. In that case a characterization of isochronous centers of system (S) is given. Some applications will be derived. In particular, new families of isochronous centers will be described

AG-2013.02-946

math.CA

On Fourier transforms of radial functions and distributions

Loukas Grafakos, Gerald Teschl

We find a formula that relates the Fourier transform of a radial function on $\mathbf{R}^n$ with the Fourier transform of the same function defined on $\mathbf{R}^{n+2}$. This formula enables one to explicitly calculate the Fourier transform of any radial function $f(r)$ in any dimension, provided one knows the Fourier transform of the one-dimensional function $t\to f(|t|)$ and the two-dimensional function $(x_1,x_2)\to f(|(x_1,x_2)|)$. We prove analogous results for radial tempered distributions.

AG-2013.02-2383

math.CA

Wei-Norman equations for a unitary evolution

Szymon Charzyński, Marek Kuś

The Wei-Norman technique allows to express the solution of a system of linear non-autonomous differential equations in terms of product of exponentials. In particular it enables to find a time-ordered product of exponentials by solving a set of nonlinear differential equations. The method has numerous theoretical and computational advantages, in particular in optimal control theory. We show that in the unitary case, i.e.\ when the solution of the linear system is given by a unitary evolution operator, the nonlinear system can be by an appropriate choice of ordering reduced to a hierarchy of matrix Riccati equations. Our findings have a particular significance in quantum control theory since pure quantum evolution is unitary.

AG-2013.02-184

math.CA

The Clifford Deformation of the Hermite Semigroup

Hendrik De Bie, Bent Orsted, Petr Somberg, Vladimir Soucek

This paper is a continuation of the paper [arXiv:0911.4725], investigating a natural radial deformation of the Fourier transform in the setting of Clifford analysis. At the same time, it gives extensions of many results obtained in [arXiv:0907.3749]. We establish the analogues of Bochner&#39;s formula and the Heisenberg uncertainty relation in the framework of the (holomorphic) Hermite semigroup, and also give a detailed analytic treatment of the series expansion of the associated integral transform.

AG-2013.02-3010

math.CA

On an isomonodromy deformation equation without the Painlevé property

Boris Dubrovin, Andrei Kapaev

We show that the fourth order nonlinear ODE which controls the pole dynamics in the general solution of equation $P_I^2$ compatible with the KdV equation exhibits two remarkable properties: 1) it governs the isomonodromy deformations of a $2\times2$ matrix linear ODE with polynomial coefficients, and 2) it does not possesses the Painlevé property. We also study the properties of the Riemann--Hilbert problem associated to this ODE and find its large $t$ asymptotic solution for the physically interesting initial data.

AG-2013.01-1552

math.CA

The parameter derivatives $[\partial^{2}P_ν(z)/\partialν^{2}]_{ν=0}$ and $[\partial^{3}P_ν(z)/\partialν^{3}]_{ν=0}$, where $P_ν(z)$ is the Legendre function of the first kind

Radosław Szmytkowski

We derive explicit expressions for the parameter derivatives $[\partial^{2}P_ν(z)/\partialν^{2}]_{ν=0}$ and $[\partial^{3}P_ν(z)/\partialν^{3}]_{ν=0}$, where $P_ν(z)$ is the Legendre function of the first kind. It is found that {displaymath} \frac{\partial^{2}P_ν(z)}{\partialν^{2}}\bigg|_{ν=0} =-2\Li_{2}\frac{1-z}{2}, {displaymath} where $\Li_{2}z$ is the dilogarithm (this formula has been recently arrived at by Schramkowski using \emph{Mathematica}), and that {displaymath} \frac{\partial^{3}P_ν(z)}{\partialν^{3}}\bigg|_{ν=0} =12\Li_{3}\frac{z+1}{2}-6\ln\frac{z+1}{2}\Li_{2}\frac{z+1}{2} -π^{2}\ln\frac{z+1}{2}-12ζ(3), {displaymath} where $\Li_{3}z$ is the polylogarithm of order 3 and $ζ(s)$ is the Riemann zeta function.

AG-2013.01-895

math.CA

On a generalization of the generating function for Gegenbauer polynomials

Howard S. Cohl

A generalization of the generating function for Gegenbauer polynomials is introduced whose coefficients are given in terms of associated Legendre functions of the second kind. We discuss how our expansion represents a generalization of several previously derived formulae such as Heine&#39;s formula and Heine&#39;s reciprocal square-root identity. We also show how this expansion can be used to compute hyperspherical harmonic expansions for power-law fundamental solutions of the polyharmonic equation.

AG-2013.01-3927

math.CA

Separation of variables in an asymmetric cyclidic coordinate system

Howard S. Cohl, Hans Volkmer

A global analysis is presented of solutions for Laplace&#39;s equation on three-dimensional Euclidean space in one of the most general orthogonal asymmetric confocal cyclidic coordinate systems which admit solutions through separation of variables. We refer to this coordinate system as five-cyclide coordinates since the coordinate surfaces are given by two cyclides of genus zero which represent the inversion at the unit sphere of each other, a cyclide of genus one, and two disconnected cyclides of genus zero. This coordinate system is obtained by stereographic projection of sphero-conal coordinates on four-dimensional Euclidean space. The harmonics in this coordinate system are given by products of solutions of second-order Fuchsian ordinary differential equations with five elementary singularities. The Dirichlet problem for the global harmonics in this coordinate system is solved using multiparameter spectral theory in the regions bounded by the asymmetric confocal cyclidic coordinate surfaces.

AG-2013.01-2725

math.CA

Semiconjugate Factorizations of Higher Order Linear Difference Equations in Rings

H. Sedaghat

We study linear difference equations with variable coefficients in a ring using a new nonlinear method. In a ring with identity, if the homogeneous part of the linear equation has a solution in the unit group of the ring (i.e., a unitary solution) then we show that the equation decomposes into two linear equations of lower orders. This decomposition, known as a semiconjugate factorization in the nonlinear theory, generalizes the classical operator factorization in the linear context. Sequences of ratios of consecutive terms of a unitary solution are used to obtain the semiconjugate factorization. Such sequences, known as eigensequences are well-suited to variable coefficients; for instance, they provide a natural context for the expression of the classical Poincaré-Perron Theorem. We discuss some applications to linear difference equations with periodic coefficients and also derive formulas for the general solutions of linear functional recurrences satisfied by the classical special functions such as the modified Bessel and Chebyshev.

AG-2012.12-1479

math.CA

Nonlocal Symmetries, Telescopic Vector Fields and $λ$-Symmetries of Ordinary Differential Equations

Concepción Muriel, Juan Luis Romero

This paper studies relationships between the order reductions of ordinary differential equations derived by the existence of $λ$-symmetries, telescopic vector fields and some nonlocal symmetries obtained by embedding the equation in an auxiliary system. The results let us connect such nonlocal symmetries with approaches that had been previously introduced: the exponential vector fields and the $λ$-coverings method. The $λ$-symmetry approach let us characterize the nonlocal symmetries that are useful to reduce the order and provides an alternative method of computation that involves less unknowns. The notion of equivalent $λ$-symmetries is used to decide whether or not reductions associated to two nonlocal symmetries are strictly different.

AG-2012.12-529

math.CA

Construction of a Lax Pair for the $E_6^{(1)}$ $q$-Painlevé System

Nicholas S. Witte, Christopher M. Ormerod

We construct a Lax pair for the $E^{(1)}_6 $ $q$-Painlevé system from first principles by employing the general theory of semi-classical orthogonal polynomial systems characterised by divided-difference operators on discrete, quadratic lattices [arXiv:1204.2328]. Our study treats one special case of such lattices - the $q$-linear lattice - through a natural generalisation of the big $q$-Jacobi weight. As a by-product of our construction we derive the coupled first-order $q$-difference equations for the $E^{(1)}_6 $ $q$-Painlevé system, thus verifying our identification. Finally we establish the correspondences of our result with the Lax pairs given earlier and separately by Sakai and Yamada, through explicit transformations.

AG-2012.12-1592

math.CA

The Synchrosqueezing algorithm for time-varying spectral analysis: robustness properties and new paleoclimate applications

Gaurav Thakur, Eugene Brevdo, Neven S. Fučkar, Hau-Tieng Wu

We analyze the stability properties of the Synchrosqueezing transform, a time-frequency signal analysis method that can identify and extract oscillatory components with time-varying frequency and amplitude. We show that Synchrosqueezing is robust to bounded perturbations of the signal and to Gaussian white noise. These results justify its applicability to noisy or nonuniformly sampled data that is ubiquitous in engineering and the natural sciences. We also describe a practical implementation of Synchrosqueezing and provide guidance on tuning its main parameters. As a case study in the geosciences, we examine characteristics of a key paleoclimate change in the last 2.5 million years, where Synchrosqueezing provides significantly improved insights.

AG-2012.12-267

math.CA

On the relation between Darboux transformations and polynomial mappings

Maxim Derevyagin

Let dμ(t) be a probability measure on [0,+\infty) such that its moments are finite. Then the Cauchy-Stieltjes transform S of dμ(t) is a Stieltjes function, which admits an expansion into a Stieltjes continued fraction. In the present paper, we consider a matrix interpretation of the unwrapping transformation from S(λ) to λS(λ^2), which is intimately related to the simplest case of polynomial mappings. More precisely, it is shown that this transformation is essentially a Darboux transformation of the underlying Jacobi matrix. Moreover, in this scheme, the Chihara construction of solutions to the Carlitz problem appears as a shifted Darboux transformation.