Some results involving series representations of hypergeometric functions

In this paper, we prove some generalisations of several theorems given in [K.A. Driver, S.J. Johnston, An integral representation of some hypergeometric functions, Electron. Trans. Numer. Anal. 25 (2006) 115-120] and examine some special cases which correspond to a transformation given by Chaundy in [T.W. Chaundy, An extension of hypergeometric functions, I., Quart. J. Maths. Oxford Ser. 14 (1943) 55-78] and other transformations involving the Riemann zeta function and the beta function.     

Certain values of Hecke L-functions and generalized hypergeometric functions

We compare two calculations due to Bloch and the author of the regulator of an elliptic curve with complex multiplication which is a quotient of a Fermat curve, and express the special value of its L-function at s=0 in terms of special values of generalized hypergeometric functions.     

General recurrence and ladder relations of hypergeometric-type functions

A method for the explicit construction of general linear sum rules involving hypergeometric-type functions and their derivatives of any order is developed. This method only requires the knowledge of the coefficients of the differential equation that they satisfy, namely the hypergeometric-type differential equation. Special attention is paid to the differential-recurrence or ladder relations and to the fundamental three-term recurrence formulas. Most recurrence and ladder relations published in the literature for numerous special functions including the classical orthogonal polynomials, are instances of these sum rules. Moreover, an extension of the method to the generalized hypergeometric-type functions is also described, allowing us to obtain explicit ladder operators for the radial wave functions of multidimensional hydrogen-like atoms, where the varying parameter is the dimensionality.     

Convexity of the zeros of some orthogonal polynomials and related functions

We study convexity properties of the zeros of some special functions that follow from the convexity theorem of Sturm. We prove results on the intervals of convexity for the zeros of Laguerre, Jacobi and ultraspherical polynomials, as well as functions related to them, using transformations under which the zeros remain unchanged. We give upper as well as lower bounds for the distance between consecutive zeros in several cases.     

Permutable functions

Summary The power functions and the Chebyshev polynomials are examples of families of permutable functions. Recently it was shown how to generalize this idea to polynomials of several variables. In this article the restriction of being polynomials is removed. It is shown how to make a ring and then a field of permutable functions of several variables. The uniqueness problem is discussed.     

On the Fourier transform of SO(d)-finite measures on the unit sphere

The paper presents a simple new approach to the problem of computing Fourier transforms of SO(d)-finite measures on the unit sphere in the euclidean space. Representing such measures as restrictions of homogeneous polynomials we use the canonical decomposition of homogeneous polynomials together with the plane wave expansion to derive a formula expressing such transforms under two forms, one of which was established previously by F. J. Gonzalez Vieli. We showthat equivalence of these two forms is related to a certain multi-step recurrence relation for Bessel functions, which encompasses several classical identities satisfied by Bessel functions. We show it leads further to a certain periodicity relation for the Hankel transform, related to the Bochner- Coifman periodicity relation for the Fourier transform. The purported novelty of this approach rests on the systematic use of the detailed form of the canonical decomposition of homogeneous polynomials, which replaces the more traditional approach based on integral identities related to the Funk-Hecke theorem. In fact, in the companion paper the present authors were able to deduce this way a fairly general expansion theorem for zonal functions, which includes the plane wave expansion used here as a special case.Received: 7 May 2004; revised: 11 October 2004     

Equilibrium of vector potentials and uniformization of the algebraic curves of genus 0

We consider equilibrium problems for the logarithmic vector potential related to the asymptotics of the Hermite-Padé approximants. Solutions of such problems can be expressed by means of algebraic functions. The goal of this paper is to describe a procedure for determining the algebraic equation for this function in the case when the genus of this algebraic function is equal zero. Using the coefficients of the equation we compute the extremal cuts of the Riemann surfaces. These cuts are attractive sets for the poles of the Hermite-Padé approximants. We demonstrate the method by an example of the equilibrium problem related to a special system that is called the Angelesco system.     

A unified approach to the integrals of Mellin–Barnes–Hecke type

In this paper, we provide a unified approach to a family of integrals of Mellin–Barnes type using distribution theory and Fourier transforms. Interesting features arise in many of the cases which call for the application of pull-backs of distributions via smooth submersive maps defined by Hörmander. We derive by this method the integrals of Hecke and Sonine related to various types of Bessel functions which have found applications in analytic and algebraic number theory.     

Permutable polynomials for several variables

Summary The Russian mathematician P. L. Chebyshev defined and studied a class of polynomials of one variable. These polynomials have many in teresting properties including commutativity and closure with respect to composition. In this article we show how to generalize this property to several variables. Special attention is given to the case of three variables. Results concerning how to compute the polynomials, their value at certain points, closed forms, recurrence relations, and generating functions are presented.     

Orthogonal properties for a typical class of hypergeometric functions

We present three orthogonal properties for a typical class of hypergeometric functions. We employ orthogonal properties to generate a theory concerning infinite series expansions involving our hypergeometric functions.     

On the eigenvalue problem for a particular class of finite Jacobi matrices

A function f with simple and nice algebraic properties is defined on a subset of the space of complex sequences. Some special functions are expressible in terms of f, first of all the Bessel functions of first kind. A compact formula in terms of the function f is given for the determinant of a Jacobi matrix. Further we focus on the particular class of Jacobi matrices of odd dimension whose parallels to the diagonal are constant and whose diagonal depends linearly on the index. A formula is derived for the characteristic function. Yet another formula is presented in which the characteristic function is expressed in terms of the function f in a simple and compact manner. A special basis is constructed in which the Jacobi matrix becomes a sum of a diagonal matrix and a rank-one matrix operator. A vector-valued function on the complex plain is constructed having the property that its values on spectral points of the Jacobi matrix are equal to corresponding eigenvectors.     

On spherical expansions of zonal functions on Euclidean spheres

This paper describes a new approach to the problem of computing spherical expansions of zonal functions on Euclidean spheres. We derive an explicit formula for the coefficients of the expansion expressing them in terms of the Taylor coefficients of the profile function rather than (as done usually) in terms of its integrals against Gegenbauer polynomials. Our proof of this result is based on a polynomial identity equivalent to the canonical decomposition of homogeneous polynomials and uses only basic properties of this decomposition together with simple facts concerning zonal harmonic polynomials. As corollaries, we obtain direct and apparently new derivations of the so-called plane wave expansion and of the expansion of the Poisson kernel for the unit ball. Received: 26 January 2007     

A new type of Hermite matrix polynomial series

Conventional Hermite polynomials emerge in a great diversity of applications in mathematical physics, engineering, and related fields. However, in physical systems with higher degrees of freedom it will be of practical interest to extend the scalar Hermite functions to their matrix analogue. This work introduces various new generating functions for Hermite matrix polynomials and examines existence and convergence of their associated series expansion by using Mehler’s formula for the general matrix case. Moreover, we derive interesting new relations for even- and odd-power summation in the generating-function expansion containing Hermite matrix polynomials. Some new results for the scalar case are also presented.     

A branch and bound algorithm for globally solving a class of nonconvex programming problems

A branch and bound algorithm is proposed for globally solving a class of nonconvex programming problems (NP). For minimizing the problem, linear lower bounding functions (LLBFs) of objective function and constraint functions are constructed, then a relaxation linear programming is obtained which is solved by the simplex method and which provides the lower bound of the optimal value. The proposed algorithm is convergent to the global minimum through the successive refinement of linear relaxation of the feasible region and the solutions of a series of linear programming problems. And finally the numerical experiment is reported to show the feasibility and effectiveness of the proposed algorithm.     

A Fredholm determinant formula for Toeplitz determinants

We prove a formula expressing a generaln byn Toeplitz determinant as a Fredholm determinant of an operator 1 –K acting onl ₂ (n,n+1,...), where the kernelK admits an integral representation in terms of the symbol of the original Toeplitz matrix. The proof is based on the results of one of the authors, see [14], and a formula due to Gessel which expands any Toeplitz determinant into a series of Schur functions. We also consider 3 examples where the kernel involves the Gauss hypergeometric function and its degenerations.     

Two-sided inequalities for the Struve and Lommel functions

Abstract

Mathematical inequalities and other results involving such widely- and extensively-studied special functions of mathematical physics and applied mathematics as (for example) the Bessel, Struve and Lommel functions as well as the associated hypergeometric functions are potentially useful in many seemingly diverse areas of applications, especially in situations in which these functions are involved in solutions of mathematical, physical and engineering problems which can be modeled by ordinary and partial di?erential equations. With this objective in view, our present investigation is motivated by some open problems involving inequalities for a number of particular forms of the hypergeometric function ₁F₂(a; b, c; z). Here, in this paper, we apply a novel approach to such problems and obtain presumably new two-sided inequalities for the Struve function, the associated Struve function and the modified Struve function by first investigating inequalities for the general hypergeometric function ₁F₂(a; b, c; z). We also briefly discuss the analogous new inequalities for the Lommel function under some conditions and constraints. Finally, as special cases of our main results, we deduce several inequalities for the modified Lommel function and the normalized Lommel function.     

The Moyal representation of quantum mechanics and special function theory

It is shown that the phase-space formulation of quantum mechanics is a rich source of special function identities. The Moyal formalism is reviewed for two phase spaces: the real plane and the sphere; and this is used to derive identities for Airy, Laguerre, Kummer, and theta functions and for SU(2) rotation elements, several of which are new.     

A Pair of Explicitly Solvable Singular Stochastic Control Problems

We consider a general model of singular stochastic control with infinite time horizon and we prove a ``verification theorem' under the assumption that the Hamilton—Jacobi—Bellman (HJB) equation has a C <sup>2</sup> solution. In the one-dimensional case, under the assumption that the HJB equation has a solution in W <sub>loc</sub> <sup>2,p</sup>(R) with , we prove a very general ``verification theorem' by employing the generalized Meyer—Ito change of variables formula with local times. In what follows, we consider two special cases which we explicitly solve. These are the formal equivalent of the one-dimensional infinite time horizon LQG problem and a simple example with radial symmetry in an arbitrary Euclidean space. The value function of either of these problems is C ² and is expressed in terms of special functions, and, in particular, the confluent hypergeometric function and the modified Bessel function of the first kind, respectively. Accepted 21 February 1997     

A predictor-corrector smoothing Newton method for symmetric cone complementarity problems

In this paper, we present a predictor-corrector smoothing Newton method for solving nonlinear symmetric cone complementarity problems (SCCP) based on the symmetrically perturbed smoothing function. Under a mild assumption, the solution set of the problem concerned is just nonempty, we show that the proposed algorithm is globally and locally quadratic convergent. Also, the algorithm finds a maximally complementary solution to the SCCP. Numerical results for second order cone complementarity problems (SOCCP), a special case of SCCP, show that the proposed algorithm is effective.