-
Report from the Open Problems Session at OPSFA13
Authors:
Howard S. Cohl
Abstract:
These are the open problems presented at the 13th International Symposium on Orthogonal Polynomials, Special Functions and Applications (OPSFA13), Gaithersburg, Maryland, on June 4, 2015.
These are the open problems presented at the 13th International Symposium on Orthogonal Polynomials, Special Functions and Applications (OPSFA13), Gaithersburg, Maryland, on June 4, 2015.
△ Less
Submitted 28 December, 2018; v1 submitted 21 July, 2016;
originally announced July 2016.
-
Fourier and Gegenbauer Expansions for a Fundamental Solution of Laplace's Equation in Hyperspherical Geometry
Authors:
Howard S. Cohl,
Rebekah M. Palmer
Abstract:
For a fundamental solution of Laplace'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's equation in hyperspherical geometry in geodesic polar coordinates. From this expansion in three-dimensions, we derive an a…
▽ More
For a fundamental solution of Laplace'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'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's equation on the 3-sphere. Applications of our expansions are given, namely closed-form solutions to Poisson'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.
△ Less
Submitted 14 February, 2015; v1 submitted 19 May, 2014;
originally announced May 2014.
-
Expansions for a fundamental solution of Laplace's equation on ${\mathbb R^3}$ in 5-cyclidic harmonics
Authors:
Howard S. Cohl,
Hans Volkmer
Abstract:
We derive eigenfunction expansions for a fundamental solution of Laplace'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 sing…
▽ More
We derive eigenfunction expansions for a fundamental solution of Laplace'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.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Separation of variables in an asymmetric cyclidic coordinate system
Authors:
Howard S. Cohl,
Hans Volkmer
Abstract:
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 in…
▽ More
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 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.
△ Less
Submitted 15 January, 2013;
originally announced January 2013.
-
Multi-integral representations for associated Legendre and Ferrers functions
Authors:
Howard S. Cohl,
Roberto S Costas-Santos
Abstract:
For the associated Legendre and Ferrers functions of the first and second kind, we obtain new multi-derivative and multi-integral representation formulas. The multi-integral representation formulas that we derive for these functions generalize some classical multi-integration formulas. As a result of the determination of these formulae, we compute some interesting special values and integral repre…
▽ More
For the associated Legendre and Ferrers functions of the first and second kind, we obtain new multi-derivative and multi-integral representation formulas. The multi-integral representation formulas that we derive for these functions generalize some classical multi-integration formulas. As a result of the determination of these formulae, we compute some interesting special values and integral representations for certain particular combinations of the degree and order including the case where there is symmetry and antisymmetry for the degree and order parameters. As a consequence of our analysis, we obtain some new results for the associated Legendre function of the second kind including parameter values for which this function is identically zero.
△ Less
Submitted 19 September, 2020; v1 submitted 15 January, 2013;
originally announced January 2013.
-
Fourier, Gegenbauer and Jacobi Expansions for a Power-Law Fundamental Solution of the Polyharmonic Equation and Polyspherical Addition Theorems
Authors:
Howard S. Cohl
Abstract:
We develop complex Jacobi, Gegenbauer and Chebyshev polynomial expansions for the kernels associated with power-law fundamental solutions of the polyharmonic equation on d-dimensional Euclidean space. From these series representations we derive Fourier expansions in certain rotationally-invariant coordinate systems and Gegenbauer polynomial expansions in Vilenkin's polyspherical coordinates. We co…
▽ More
We develop complex Jacobi, Gegenbauer and Chebyshev polynomial expansions for the kernels associated with power-law fundamental solutions of the polyharmonic equation on d-dimensional Euclidean space. From these series representations we derive Fourier expansions in certain rotationally-invariant coordinate systems and Gegenbauer polynomial expansions in Vilenkin's polyspherical coordinates. We compare both of these expansions to generate addition theorems for the azimuthal Fourier coefficients.
△ Less
Submitted 5 June, 2013; v1 submitted 26 September, 2012;
originally announced September 2012.
-
Eigenfunction expansions for a fundamental solution of Laplace's equation on $\R^3$ in parabolic and elliptic cylinder coordinates
Authors:
Howard S. Cohl,
Hans Volkmer
Abstract:
A fundamental solution of Laplace's equation in three dimensions is expanded in harmonic functions that are separated in parabolic or elliptic cylinder coordinates. There are two expansions in each case which reduce to expansions of the Bessel functions $J_0(kr)$ or $K_0(kr)$, $r^2=(x-x_0)^2+(y-y_0)^2$, in parabolic and elliptic cylinder harmonics. Advantage is taken of the fact that $K_0(kr)$ is…
▽ More
A fundamental solution of Laplace's equation in three dimensions is expanded in harmonic functions that are separated in parabolic or elliptic cylinder coordinates. There are two expansions in each case which reduce to expansions of the Bessel functions $J_0(kr)$ or $K_0(kr)$, $r^2=(x-x_0)^2+(y-y_0)^2$, in parabolic and elliptic cylinder harmonics. Advantage is taken of the fact that $K_0(kr)$ is a fundamental solution and $J_0(kr)$ is the Riemann function of partial differential equations on the Euclidean plane.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Fourier expansions for a logarithmic fundamental solution of the polyharmonic equation
Authors:
Howard S. Cohl
Abstract:
In even-dimensional Euclidean space for integer powers of the Laplacian greater than or equal to the dimension divided by two, a fundamental solution for the polyharmonic equation has logarithmic behavior. We give two approaches for developing a Fourier expansion of this logarithmic fundamental solution. The first approach is algebraic and relies upon the construction of two-parameter polynomials.…
▽ More
In even-dimensional Euclidean space for integer powers of the Laplacian greater than or equal to the dimension divided by two, a fundamental solution for the polyharmonic equation has logarithmic behavior. We give two approaches for developing a Fourier expansion of this logarithmic fundamental solution. The first approach is algebraic and relies upon the construction of two-parameter polynomials. We describe some of the properties of these polynomials, and use them to derive the Fourier expansion for a logarithmic fundamental solution of the polyharmonic equation. The second approach depends on the computation of parameter derivatives of Fourier series for a power-law fundamental solution of the polyharmonic equation. The resulting Fourier series is given in terms of sums over associated Legendre functions of the first kind. We conclude by comparing the two approaches and giving the azimuthal Fourier series for a logarithmic fundamental solution of the polyharmonic equation in rotationally-invariant coordinate systems.
△ Less
Submitted 8 February, 2012;
originally announced February 2012.
-
Fundamental solution of the Laplacian in the hyperboloid model of hyperbolic geometry
Authors:
Howard S. Cohl,
Ernie G. Kalnins
Abstract:
Due to the isotropy of $d$-dimensional hyperbolic space, one expects there to exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hyperboloid model of hyperbolic geometry $\Hi_R^d$ with $R>0$, represents a Riemannian manifold with negative-constant sectional curvature. We obtain a spherically symmetric fundamental solution of Laplace's…
▽ More
Due to the isotropy of $d$-dimensional hyperbolic space, one expects there to exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hyperboloid model of hyperbolic geometry $\Hi_R^d$ with $R>0$, represents a Riemannian manifold with negative-constant sectional curvature. We obtain a spherically symmetric fundamental solution of Laplace's equation on this manifold in terms of its geodesic radius. We give several matching expressions for this fundamental solution including a definite integral over reciprocal powers of the hyperbolic sine, finite summation expression over hyperbolic functions, Gauss hypergeometric functions, and in terms of the associated Legendre function of the second kind with order and degree given by $d/2-1$ with real argument greater than unity. We also demonstrate uniqueness for a fundamental solution of Laplace's equation on this manifold in terms of a vanishing decay at infinity.
△ Less
Submitted 20 January, 2012;
originally announced January 2012.
-
Opposite Antipodal Fundamental Solution of Laplace's Equation in Hyperspherical Geometry
Authors:
Howard S. Cohl
Abstract:
Due to the isotropy of $d$-dimensional hyperspherical space, one expects there to exist a spherically symmetric opposite antipodal fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hypersphere ${\mathbf S}_R^d$ with $R>0$, represents a Riemannian manifold with positive-constant sectional curvature. We obtain a spherically symmetric opposite antipodal fundamental…
▽ More
Due to the isotropy of $d$-dimensional hyperspherical space, one expects there to exist a spherically symmetric opposite antipodal fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hypersphere ${\mathbf S}_R^d$ with $R>0$, represents a Riemannian manifold with positive-constant sectional curvature. We obtain a spherically symmetric opposite antipodal fundamental solution of Laplace's equation on this manifold in terms of its geodesic radius. We give several matching expressions for this fundamental solution including a definite integral over reciprocal powers of the trigonometric sine, finite summation expressions over trigonometric functions, Gauss hypergeometric functions, and in terms of the Ferrers function of the second with degree and order given by $d/2-1$ and $1-d/2$ respectively, with real argument $x\in(-1,1)$.
△ Less
Submitted 28 December, 2018; v1 submitted 18 August, 2011;
originally announced August 2011.
-
On a generalization of the generating function for Gegenbauer polynomials
Authors:
Howard S. Cohl
Abstract:
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's formula and Heine's reciprocal square-root identity. We also show how this expansion can be used to compute hype…
▽ More
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's formula and Heine'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.
△ Less
Submitted 16 January, 2013; v1 submitted 13 May, 2011;
originally announced May 2011.
-
Fourier and Gegenbauer expansions for a fundamental solution of the Laplacian in the hyperboloid model of hyperbolic geometry
Authors:
Howard S. Cohl,
Ernie G. Kalnins
Abstract:
Due to the isotropy $d$-dimensional hyperbolic space, there exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. On the $R$-radius hyperboloid model of $d$-dimensional hyperbolic geometry with $R>0$ and $d\ge 2$, we compute azimuthal Fourier expansions for a fundamental solution of Laplace's equation. For $d\ge 2$, we compute a Gegenbauer polynomial e…
▽ More
Due to the isotropy $d$-dimensional hyperbolic space, there exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. On the $R$-radius hyperboloid model of $d$-dimensional hyperbolic geometry with $R>0$ and $d\ge 2$, we compute azimuthal Fourier expansions for a fundamental solution of Laplace's equation. For $d\ge 2$, we compute a Gegenbauer polynomial expansion in geodesic polar coordinates for a fundamental solution of Laplace's equation on this negative-constant sectional curvature Riemannian manifold. In three-dimensions, an addition theorem for the azimuthal Fourier coefficients of a fundamental solution for Laplace's equation is obtained through comparison with its corresponding Gegenbauer expansion.
△ Less
Submitted 20 January, 2012; v1 submitted 2 May, 2011;
originally announced May 2011.
-
Generalized Heine Identity for Complex Fourier Series of Binomials
Authors:
Howard S. Cohl,
Diego E. Dominici
Abstract:
In this paper we generalize an identity first given by Heinrich Eduard Heine in his treatise, {\it Handbuch der Kugelfunctionen, Theorie und Anwendungen (1881), which gives a Fourier series for $1/[z-\cosψ]^{1/2}$, for $z,ψ\in\R$, and $z>1$, in terms of associated Legendre functions of the second kind with odd-half-integer degree and vanishing order. In this paper we give a generalization of thi…
▽ More
In this paper we generalize an identity first given by Heinrich Eduard Heine in his treatise, {\it Handbuch der Kugelfunctionen, Theorie und Anwendungen (1881), which gives a Fourier series for $1/[z-\cosψ]^{1/2}$, for $z,ψ\in\R$, and $z>1$, in terms of associated Legendre functions of the second kind with odd-half-integer degree and vanishing order. In this paper we give a generalization of this identity as a Fourier series of $1/[z-\cosψ]^μ$, where $z,μ\in\C$, $|z|>1$, and the coefficients of the expansion are given in terms of the same functions with order given by $\frac12-μ$. We are also able to compute certain closed-form expressions for associated Legendre functions of the second kind.
△ Less
Submitted 1 December, 2009;
originally announced December 2009.
-
Exact Fourier expansion in cylindrical coordinates for the three-dimensional Helmholtz Green function
Authors:
John T. Conway,
Howard S. Cohl
Abstract:
A new method is presented for Fourier decomposition of the Helmholtz Green Function in cylindrical coordinates, which is equivalent to obtaining the solution of the Helmholtz equation for a general ring source. The Fourier coefficients of the Helmholtz Green function are split into their half advanced+half retarded and half advanced-half retarded components. Closed form solutions are given for t…
▽ More
A new method is presented for Fourier decomposition of the Helmholtz Green Function in cylindrical coordinates, which is equivalent to obtaining the solution of the Helmholtz equation for a general ring source. The Fourier coefficients of the Helmholtz Green function are split into their half advanced+half retarded and half advanced-half retarded components. Closed form solutions are given for these components in terms of a Horn function and a Kampe de Feriet function, respectively. The systems of partial differential equations associated with these two-dimensional hypergeometric functions are used to construct a fourth-order ordinary differential equation which both components satisfy. A second fourth-order ordinary differential equation for the general Fourier coefficent is derived from an integral representation of the coefficient, and both differential equations are shown to be equivalent. Series solutions for the various Fourier coefficients are also given, mostly in terms of Legendre functions and Bessel/Hankel functions. These are derived from the closed form hypergeometric solutions or an integral representation, or both. Numerical calculations comparing different methods of calculating the Fourier coefficients are presented.
△ Less
Submitted 7 October, 2009;
originally announced October 2009.
