Searcharxiv⌕ Search

arXiv subjects

Howard S. Cohl

Publications and source records attributed to Howard S. Cohl.

At least 55 records · Page 3Linked to original sources
arXiv2017

VMEXT: A Visualization Tool for Mathematical Expression Trees

Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represent a user's notion of what the markup of an expression should be, but not necessarily what the actual markup is. This paper presents VMEXT - a free and open source tool to directly visualize expression trees from parallel MathML. VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content MathML markup that does not affect the presentation of the expression. Identifying such discrepancies previously required reading the verbose and complex MathML markup. VMEXT also allows one to visualize similar and identical elements of two expressions. Visualizing expression similarity can support support developers in designing retrieval approaches and enable improved interaction concepts for users of mathematical information retrieval systems. We demonstrate VMEXT's visualizations in two web-based applications. The first application presents the visualizations alone. The second application shows a possible integration of the visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts LaTeX input to parallel MathML, computes basic similarity measures for mathematical expressions, and visualizes the results using VMEXT.

cs.HC↗
arXiv2016

The power collection method for connection relations: Meixner polynomials

We introduce the power collection method for easily deriving connection relations for certain hypergeometric orthogonal polynomials in the $(q-)$Askey scheme. We summarize the full-extent to which the power collection method may be used. As an example, we use the power collection method to derive connection and connection-type relations for Meixner and Krawtchouk polynomials. These relations are then used to derive generalizations of generating functions for these orthogonal polynomials. The coefficients of these generalized generating functions are in general, given in term of multiple hypergeometric functions. From derived generalized generating functions, we derive corresponding contour integral and infinite series expressions by using orthogonality.

math.CA↗
arXiv2016

Convergence of Magnus integral addition theorems for confluent hypergeometric functions

In 1946, Magnus presented an addition theorem for the confluent hypergeometric function of the second kind $U$ with argument $x+y$ expressed as an integral of a product of two $U$'s, one with argument $x$ and another with argument $y$. We take advantage of recently obtained asymptotics for $U$ with large complex first parameter to determine a domain of convergence for Magnus' result. Using well-known specializations of $U$, we obtain corresponding integral addition theorems with precise domains of convergence for modified parabolic cylinder functions, and Hankel, Macdonald, and Bessel functions of the first and second kind with order zero and one.

math.CA↗
arXiv2015

Some dual definite integrals for Bessel functions

Based on known definite integrals of Bessel functions of the first kind, we obtain exact solutions to unknown definite integrals using the method of integral transforms from Hankel's transform.

math.CA↗
arXiv2015

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.

cs.DL↗
arXiv2015

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.

math.CA↗
arXiv2014

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.

cs.DL↗
arXiv2013

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.

math.CA↗
arXiv2013

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.

math-ph↗
arXiv2013

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.

math.CA↗
arXiv2013

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.

math.CA↗
arXiv2013

Separation of variables in an asymmetric cyclidic coordinate system

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.

math.CA↗
arXiv2012

Eigenfunction expansions for a fundamental solution of Laplace's equation on $\R^3$ in parabolic and elliptic cylinder coordinates

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.

math.AP↗
arXiv2012

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.

math.CA↗
arXiv2012

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.

math-ph↗
arXiv2012

Fourier and Gegenbauer expansions for a fundamental solution of the Laplacian in the hyperboloid model of hyperbolic geometry

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.

math-ph↗