A Fuchsian system of rank 8 in 3 variables with 4 parameters is presented. The singular locus consists of six planes and a cubic surface. The restriction of the system onto the intersection of two singular planes is an ordinary differential equation of order four with three singular points. A middle convolution of this equation turns out to be the tensor product of two Gauss hypergeometric equation, and another middle convolution sends this equation to the Dotsenko-Fateev equation. Local solutions to these ordinary differential equations are found. Their coefficients are sums of products of the Gamma functions. These sums can be expressed as special values of the generalized hypergeometric series $_4F_3$ at 1.
Keywords: Fuchsian differential equation, hypergeometric differential equation, middle convolution, Dotsenko-Fateev equation, recurrence formula, series solution
We give a unified interpretation of confluences, contiguity relations and Katz's middle convolutions for linear ordinary differential equations with polynomial coefficients and their generalization to partial differential equations. The integral representations and series expansions of their solutions are also within our interpretation. As an application to Fuchsian differential equations on the Riemann sphere, we construct a universal model of Fuchsian differential equations with a given spectral type, in particular, we construct single ordinary differential equations without apparent singula…
In this note we show that a linear ordinary differential equation with polynomial coefficients is globally non-oscillating in $\mathbb{C} P^1$ if and only if it is Fuchsian, and at every its singular point any two distinct characteristic exponents have distinct real parts. As a byproduct of our study, we obtain a new explicit upper bound for the number of zeros of exponential polynomials in a horizontal strip.
Matrix Szego biorthogonal polynomials for quasi-definite matrices of measures are studied. For matrices of Holder weights a Riemann-Hilbert problem is uniquely solved in terms of the matrix Szego polynomials and its Cauchy transforms. The Riemann-Hilbert problem is given as an appropriate framework for the discussion of the Szego matrix and the associated Szego recursion relations for the matrix orthogonal polynomials and its Cauchy transforms. Pearson type differential systems characterizing the matrix of weights are studied. These are linear systems of ordinary differential equations which a…
We derive bilateral estimates for the constants appearing in the Fourier transform restricted theorems on the Euclidean sphere for the ordinary and especially radial functions belonging to the Lebesgue-Riesz spaces as well as belonging to the Grand Lebesgue Spaces. We obtain an exact estimate for the norm of the restriction Fourier transform operator acting on the radial functions.
Univariate specializations of Appell's hypergeometric functions F1, F2, F3, F4 satisfy ordinary Fuchsian equations of order at most 4. In special cases, these differential equations are of order 2, and could be simple (pullback) transformations of Euler's differential equation for the Gauss hypergeometric function. The paper classifies these cases, and presents corresponding relations between univariate specializations of Appell's functions and univariate hypergeometric functions. The computational aspect and interesting identities are discussed.
A global analysis is presented of solutions for Laplace'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 coordinate…
We consider first-order linear systems of ordinary differential equations with periodic coefficients. Supposing that right-hand sides of equations are not known and subjected to some quadratic restrictions, we obtain optimal, in certain sense, estimates of solutions to above-mentioned problems from indirect noisy observations of these solutions on a finite system of points and intervals.
We present $\text{Fuchsia}$ $-$ an implementation of the Lee algorithm, which for a given system of ordinary differential equations with rational coefficients $\partial_x\,\mathbf{f}(x,ε) = \mathbb{A}(x,ε)\,\mathbf{f}(x,ε)$ finds a basis transformation $\mathbb{T}(x,ε)$, i.e., $\mathbf{f}(x,ε) = \mathbb{T}(x,ε)\,\mathbf{g}(x,ε)$, such that the system turns into the epsilon form: $\partial_x\, \mathbf{g}(x,ε) = ε\,\mathbb{S}(x)\,\mathbf{g}(x,ε)$, where $\mathbb{S}(x)$ is a Fuchsian matrix. A system of this form can be trivially solved in terms of polylogarithms as a Laurent series in the dimens…
This paper is a contribution to the spectral theory associated with the differential equation $Ju'+qu=wf$ on the real interval $(a,b)$ when $J$ is a constant, invertible skew-Hermitian matrix and $q$ and $w$ are matrices whose entries are distributions of order zero with $q$ Hermitian and $w$ non-negative. Under these hypotheses it may not be possible to uniquely continue a solution from one point to another, thus blunting the standard tools of spectral theory. Despite this fact we are able to describe symmetric restrictions of the maximal relation associated with $Ju'+qu=wf$ and show the exis…
We study the spectral theory for the first-order system $Ju'+qu=wf$ of differential equations on the real interval $(a,b)$ when $J$ is a constant, invertible skew-Hermitian matrix and $q$ and $w$ are matrices whose entries are distributions of order zero with $q$ Hermitian and $w$ non-negative. Also, we do not pose the definiteness condition customarily required for the coefficients of the equation. Specifically, we construct minimal and maximal relations, and study self-adjoint restrictions of the maximal relation. For these we determine Green's function and prove the existence of a spectral …
Set differential equations are usually formulated in terms of the Hukuhara differential, which implies heavy restrictions for the nature of a solution. We propose to reformulate set differential equations as ordinary differential equations in a Banach space by identifying the convex and compact subsets of $\R^d$ with their support functions. Using this representation, we demonstrate how existence and uniqueness results can be applied to set differential equations. We provide a simple example, which can be treated in support function representation, but not in the Hukuhara setting.
Practical implementation and error bounds of integer-type general algorithm for higher order differential equations
Faculty of Engineering, University of Fukui(福井大学工学部);Graduate School of Information Sciences, Tohoku University(东北大学信息科学研究院);Centre for Quantum Technologies, National University of Singapore(新加坡国立大学量子技术中心)