BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Howard S. Cohl

Howard S. Cohl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath-phmath.MPmath.APDigital LibrariesInformation Retrievalmath.CVmath.DGphysics.atom-phphysics.gen-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2022arXiv

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research applications rely more and more on computational solutions, which are often calculated and verified by computer algebra systems. Hence, the correctness, accuracy, and reliability of both digital mathematical libraries and computer algebra systems is a crucial attribute for modern research. In this paper, we present a novel approach to verify a digital mathematical library and two computer algebra systems with one another by converting mathematical expressions from one system to the other. We use our previously eveloped conversion tool (referred to as LaCASt) to translate formulae from the NIST Digital Library of Mathematical Functions to the computer algebra systems Maple and Mathematica. The contributions of our presented work are as follows: (1) we present the most comprehensive verification of computer algebra systems and digital mathematical libraries with one another; (2) we significantly enhance the performance of the underlying translator in terms of coverage and accuracy; and (3) we provide open access to translations for Maple and Mathematica of the formulae in the NIST Digital Library of Mathematical Functions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Expansion for a Fundamental Solution of Laplace's Equation in Flat-Ring Cyclide Coordinates

We derive an expansion for the fundamental solution of Laplace's equation in flat-ring coordinates in three-dimensional Euclidean space. This expansion is a double series of products of functions that are harmonic in the interior and exterior of "flat rings". These internal and external flat-ring harmonic functions are expressed in terms of simply-periodic Lamé functions. In a limiting case we obtain the expansion of the fundamental solution in toroidal coordinates.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Gegenbauer expansions and addition theorems for a binomial and logarithmic fundamental solution of the even-dimensional Euclidean polyharmonic equation

On even-dimensional Euclidean space for integer powers of the Laplace operator greater than or equal to half the dimension, a fundamental solution of the polyharmonic equation has binomial and logarithmic behavior. Gegenbauer polynomial expansions of these fundamental solutions are obtained through a limit applied to Gegenbauer expansions of a power-law fundamental solution of the polyharmonic equation. This limit is accomplished through parameter differentiation. By combining these results with previously derived azimuthal Fourier series expansions for these binomial and logarithmic fundamental solutions, we are able to obtain addition theorems for the azimuthal Fourier coefficients. These logarithmic and binomial addition theorems are expressed in Vilenkin polyspherical geodesic polar coordinate systems and as well in generalized Hopf coordinates on spheres in arbitrary even dimensions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Nonterminating transformations and summations associated with some q-Mellin--Barnes integrals

In many cases one may encounter an integral which is of $q$-Mellin--Barnes type. These integrals are easily evaluated using theorems which have a long history dating back to Slater, Askey, Gasper, Rahman and others. We derive some interesting $q$-Mellin--Barnes integrals and using them we derive transformation and summation formulas for nonterminating basic hypergeometric functions. The cases which we treat include ratios of theta functions, the Askey--Wilson moments, nonterminating well-poised ${}_3ϕ_2$, nonterminating very-well-poised ${}_5W_4$, ${}_8W_7$, products of two nonterminating ${}_2ϕ_1$'s, square of a nonterminating well-poised ${}_2ϕ_1$, and nonterminating ${}_{12}W_{11}$ and ${}_{10}W_9$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Peanut harmonic expansion for a fundamental solution of Laplace's equation in flat-ring coordinates

We derive an expansion for the fundamental solution of Laplace's equation in flat-ring cyclide coordinates in three-dimensional Euclidean space. This expansion is a double series of products of functions that are harmonic in the interior and exterior of coordinate surfaces which are peanut shaped and orthogonal to surfaces which are flat-rings. These internal and external peanut harmonic functions are expressed in terms of Lamé-Wangerin functions. Using the expansion for the fundamental solution, we derive an addition theorem for the azimuthal Fourier component in terms of the odd-half-integer degree Legendre function of the second kind as an infinite series in Lamé-Wangerin functions. We also derive integral identities over the Legendre function of the second kind for a product of three Lamé-Wangerin functions. In a limiting case we obtain the expansion of the fundamental solution in spherical coordinates.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Symmetry of terminating series representations of the Askey-Wilson polynomials

In this paper, we explore the symmetric nature of the terminating basic hypergeometric series representations of the Askey--Wilson polynomials and the corresponding terminating basic hypergeometric transformations that these polynomials satisfy. In particular we identify and classify the set of 4 and 7 equivalence classes of terminating balanced ${}_4ϕ_3$ and terminating very-well poised ${}_8W_7$ basic hypergeometric series which are connected with the Askey--Wilson polynomials. We study the inversion properties of these equivalence classes and also identify the connection of both sets of equivalence classes with the symmetric group $S_6$, the symmetry group of the terminating balanced ${}_4ϕ_3$. We then use terminating balanced ${}_4ϕ_3$ and terminating very-well poised ${}_8W_7$ transformations to give a broader interpretation of Watson's $q$-analog of Whipple's theorem and its converse. We give a broad description of the symmetry structure of the terminating basic hypergeometric series representations of the Askey--Wilson polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Utility of integral representations for basic hypergeometric functions and orthogonal polynomials

We describe the utility of integral representations for sums of basic hypergeometric functions. In particular we use these to derive an infinite sequence of transformations for symmetrizations over certain variables which the functions possess. These integral representations were studied by Bailey, Slater, Askey, Roy, Gasper and Rahman and were also used to facilitate the computation of certain outstanding problems in the theory of basic hypergeometric orthogonal polynomials in the $q$-Askey scheme. We also generalize and give consequences and transformation formulas for some fundamental integrals connected to nonterminating basic hypergeometric series and the Askey--Wilson polynomials. We express a certain integral of a ratio of infinite $q$-shifted factorials as a symmetric sum of two basic hypergeometric series with argument $q$. The result is then expressed as a $q$-integral. Examples of integral representations applied to the derivation of generating functions for Askey--Wilson are given and as well the computation of a missing generating function for the continuous dual $q$-Hahn polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Multi-integral representations for associated Legendre and Ferrers functions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Fourier and Gegenbauer Expansions for a Fundamental Solution of Laplace's Equation in Hyperspherical Geometry

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources

One initial goal for the DRMF is to seed our digital compendium with fundamental orthogonal polynomial formulae. We had used the data from the NIST Digital Library of Mathematical Functions (DLMF) as initial seed for our DRMF project. The DLMF input LaTeX source already contains some semantic information encoded using a highly customized set of semantic LaTeX macros. Those macros could be converted to content MathML using LaTeXML. During that conversion the semantics were translated to an implicit DLMF content dictionary. This year, we have developed a semantic enrichment process whose goal is to infer semantic information from generic LaTeX sources. The generated context-free semantic information is used to build DRMF formula home pages for each individual formula. We demonstrate this process using selected chapters from the book "Hypergeometric Orthogonal Polynomials and their $q$-Analogues" (2010) by Koekoek, Lesky and Swarttouw (KLS) as well as an actively maintained addendum to this book by Koornwinder (KLSadd). The generic input KLS and KLSadd LaTeX sources describe the printed representation of the formulae, but does not contain explicit semantic information. See http://drmf.wmflabs.org.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Digital Repository of Mathematical Formulae

The purpose of the NIST Digital Repository of Mathematical Formulae (DRMF) is to create a digital compendium of mathematical formulae for orthogonal polynomials and special functions (OPSF) and of associated mathematical data. The DRMF addresses needs of working mathematicians, physicists and engineers: providing a platform for publication and interaction with OPSF formulae on the web. Using MediaWiki extensions and other existing technology (such as software and macro collections developed for the NIST Digital Library of Mathematical Functions), the DRMF acts as an interactive web domain for OPSF formulae. Whereas Wikipedia and other web authoring tools manifest notions or descriptions as first class objects, the DRMF does that with mathematical formulae. See http://gw32.iu.xsede.org/index.php/Main_Page.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Generalizations of generating functions for higher continuous hypergeometric orthogonal polynomials in the Askey scheme

We use connection relations and series rearrangement to generalize generating functions for several higher continuous orthogonal polynomials in the Askey scheme, namely the Wilson, continuous dual Hahn, continuous Hahn, and Meixner-Pollaczek polynomials. We also determine corresponding definite integrals using the orthogonality relations for these polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Fourier, Gegenbauer and Jacobi Expansions for a Power-Law Fundamental Solution of the Polyharmonic Equation and Polyspherical Addition Theorems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Generalizations of generating functions for hypergeometric orthogonal polynomials with definite integrals

We generalize generating functions for hypergeometric orthogonal polynomials, namely Jacobi, Gegenbauer, Laguerre, and Wilson polynomials. These generalizations of generating functions are accomplished through series rearrangement using connection relations with one free parameter for these orthogonal polynomials. We also use orthogonality relations to determine corresponding definite integrals.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On a generalization of the generating function for Gegenbauer polynomials

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Fourier expansions for a logarithmic fundamental solution of the polyharmonic equation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Fundamental solution of the Laplacian in the hyperboloid model of hyperbolic geometry

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On Parameter Differentiation for Integral Representations of Associated Legendre Functions

For integral representations of associated Legendre functions in terms of modified Bessel functions, we establish justification for differentiation under the integral sign with respect to parameters. With this justification, derivatives for associated Legendre functions of the first and second kind with respect to the degree are evaluated at odd-half-integer degrees, for general complex-orders, and derivatives with respect to the order are evaluated at integer-orders, for general complex-degrees. We also discuss the properties of the complex function $f:{\mathbb C}\setminus\{-1,1\}\to{\mathbb C}$ given by $f(z)=z/(\sqrt{z+1}\sqrt{z-1})$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Exact Fourier expansion in cylindrical coordinates for the three-dimensional Helmholtz Green function

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.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

Alternative Fourier Expansions for Inverse Square Law Forces

Few-body problems involving Coulomb or gravitational interactions between pairs of particles, whether in classical or quantum physics, are generally handled through a standard multipole expansion of the two-body potentials. We discuss an alternative based on a compact, cylindrical Green's function expansion that should have wide applicability throughout physics. Two-electron "direct" and "exchange" integrals in many-electron quantum systems are evaluated to illustrate the procedure which is more compact than the standard one using Wigner coefficients and Slater integrals.

0 citations0 reviewsNo code linkedOpen access