Search arXiv⌕ Search

arXiv · math/0610596

Classification rationnelle et confluence des systemes aux differences singuliers reguliers

Abstract

By using meromorphic "characters" and "logarithms" built up from Euler's Gamma function, and by using convergent factorial series, we will give, in a first pat, a "normal form" to the solutions of a singular regular system. It will enable us to define a connexion matrix for a regular singular system. Following one of Birkhoff's idea, we will then study its link with the problem of rational classification of system. In a second part, we will be interested in the confluence of fuchsian difference systems to differential systems. We will show more particularly how we can get, under some natural hypotheses, the local monodromies of a limit differential system from the connection matrices of the deformation that we consider. The use of factorial series (which can diverge as power series) distinguish regular singular difference systems from their differential and q-difference analogues and make their study more difficult. En choisissant des "caracteres" et des "logarithmes", meromorphes sur le plan complexe, construits a l'aide de la fonction Gamma d'Euler, et en utilisant des series de factorielles convergentes, nous sommes en mesure, dans une premiere partie, de donner une "forme normale" pour les solutions d'un systeme aux differences singulier regulier. Nous pouvons alors definir une matrice de connexion d'un tel systeme. Nous etudions ensuite, suivant une idee de G.D. Birkhoff, le lien de celles-ci avec le probleme de la classification rationnelle des systemes. Dans une deuxieme partie, nous nous interessons la confluence des systemes aux differences fuchsiens vers les systemes differentiels. Nous montrons en particulier comment, sous certaines hypotheses naturelles, on peut reconstituer les monodromies locales d'un systeme differentiel limite a partir des matrices meromorphes de connexion des deformations considerees. Le point central, qui distingue en profondeur les systemes aux differences singuliers reguliers de leurs homonymes differentiels ou aux q-differences et qui rend leur etude plus complexe, est la necessaire utilisation de series de factorielles (qui peuvent diverger en tant que series de puissances).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Julien Roques. 2006-10-19. Classification rationnelle et confluence des systemes aux differences singuliers reguliers. https://arxiv.org/abs/math/0610596

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A discussion of three arguments related to Fefferman's Fourier extension theorem in the plane

The Fourier extension conjecture of E. Stein was proved in the plane in 1970 by C. Fefferman, see also Zygmund and Carleson and Sjölin, with simplifications given by other authors later on, in particular by L. Hörmander and T. Tao. We discuss yet two more arguments for this classical theorem on the parabola. The first argument uses C. Fefferman's decoupling together with a decomposition into Haar wavelets. This sets the stage for the second argument whose point of departure is the bilinear characterization of Tao, Vargas and Vega, and relies on the bilinear interplay with the classical wave packet constructions and discrete characterizations with an induction on scales. However, each of the above two arguments rely on some form of Fefferman's convolution decoupling and the special nature of the critical planar index 4 as a positive even integer. On the other hand, our third argument essentially avoids both of these obstacles by using smooth Alpert projections with wave packets, discrete bilinear characterizations, and the discrete Fourier transform of the coefficient sequences associated with the projections.

math.CA↗

Hypergeometric Mixed-Type Multiple Orthogonal Polynomials

Two hypergeometric families of mixed-type multiple orthogonal forms are constructed for rank-one $q\times p$ matrices of weights, with arbitrary $p$ and $q$: Jacobi and Laguerre I systems. Both normalized mixed forms are obtained explicitly for admissible near-diagonal multi-indices. The power-vector components are terminating generalized hypergeometric polynomials, while the hypergeometric-vector components are finite sums of such polynomials. In the Jacobi case, these sums are expressed as finite combinations of terminating Kampé de Fériet polynomials evaluated at $(x,1)$. For the mixed beta--Euler Laguerre I system, a finite triangular system relates the residues at finite poles to the terms generated by the Euler operator. Gamma-quotient Mellin formulas, Meijer $G$-representations, and Rodrigues formulas are derived for the complete mixed forms. On the step-line, the two biorthogonal systems satisfy dual recurrences governed by matrices with $p$ subdiagonals and $q$ superdiagonals. All recurrence coefficients are given by finite Gamma--Pochhammer expressions. Under normality and nonvanishing-pivot assumptions, Christoffel transformations and Gauss--Borel factorization yield bidiagonal factorizations of the recurrence matrices. The lower factors have closed Pochhammer formulas, while the upper factors are expressed through finite Christoffel tau-determinants or, equivalently, cross-ratios of shifted moment minors. Both Christoffel chains close explicitly in the mixed Piñeiro specialization.

math.CA↗

Sharp power-mean comparisons for Gauss hypergeometric functions

We determine the sharp weighted power-mean comparisons for the family $\{H_a(r)\}_{r\in (0,1)}$ with the logarithmic interpretation at $a=0$. In the parameter ranges considered by Barnard, Richards and Tiedeman, we give a complete characterization of all orders $λ,μ\in\mathbb{R}$ for which $$A_λ(w;1,1-r)\leq H_a(r)\leq A_μ(w;1,1-r)$$ holds for every $r\in(0,1)$. In particular, our results settle completely their two power-mean conjectures. The two sharp orders are determined by the second-order expansion at $r=0$ and the endpoint matching as $r\to1$. A weighted Wronskian identity and a sign analysis of its residual establish the global inequalities.

math.CA↗