Constructing prolate spheroidal quaternion wave functions on the sphere

Over the last years, considerable attention has been paid to the role of the prolate spheroidal wave functions (PSWFs) introduced in the early sixties by D. Slepian and H.O. Pollak to many practical signal and image processing problems. The PSWFs and their applications to wave phenomena modeling, fluid dynamics, and filter design played a key role in this development. In this paper, we introduce the prolate spheroidal quaternion wave functions (PSQWFs), which refine and extend the PSWFs. The PSQWFs are ideally suited to study certain questions regarding the relationship between quaternionic functions and their Fourier transforms. We show that the PSQWFs are orthogonal and complete over two different intervals: the space of square integrable functions over a finite interval and the three‐dimensional Paley–Wiener space of bandlimited functions. No other system of classical generalized orthogonal functions is known to possess this unique property. We illustrate how to apply the PSQWFs for the quaternionic Fourier transform to analyze Slepian's energy concentration problem. We address all of the aforementioned and explore some basic facts of the arising quaternionic function theory. We conclude the paper by computing the PSQWFs restricted in frequency to the unit sphere. The representation of these functions in terms of generalized spherical harmonics is explicitly given, from which several fundamental properties can be derived. As an application, we provide the reader with plot simulations that demonstrate the effectiveness of our approach. Copyright © 2016 John Wiley & Sons, Ltd.     

Towards a quaternionic function theory linked with the Lamé's wave functions

Over the past few years, considerable attention has been given to the role played by the Lamé's Wave Functions (LWFs) in various problems of mathematical physics and mechanics. The LWFs arise via the method of separation of variables for the wave equation in ellipsoidal coordinates. The present paper introduces the Lamé's Quaternionic Wave Functions (LQWFs), which extend the LWFs to a non‐commutative framework. We show that the theory of the LQWFs is determined by the Moisil‐Theodorescu type operator with quaternionic variable coefficients. As a result, we explain the connections between the solutions of the Lamé's wave equation, on one hand, and the quaternionic hyperholomorphic and anti‐hyperholomorphic functions on the other. We establish analogues of the basic integral formulas of complex analysis such as Borel‐Pompeiu's, Cauchy's, and so on, for this version of quaternionic function theory. We further obtain analogues of the boundary value properties of the LQWFs such as Sokhotski‐Plemelj formulae, the ‐hyperholomorphic extension of a given Hölder function and on the square of the singular integral operator. We address all the text mentioned earlier and explore some basic facts of the arising quaternionic function theory. We conclude the paper showing that the spherical, prolate, and oblate spheroidal quaternionic wave functions can be generated as particular cases of the LQWFs. Copyright © 2015 John Wiley & Sons, Ltd.     

The plane wave expansion, infinite integrals and identities involving spherical Bessel functions

This paper shows that the plane wave expansion can be a useful tool in obtaining analytical solutions to infinite integrals over spherical Bessel functions and the derivation of identities for these functions. The integrals are often used in nuclear scattering calculations, where an analytical result can provide an insight into the reaction mechanism. A technique is developed whereby an integral over several special functions which cannot be found in any standard integral table can be broken down into integrals that have existing analytical solutions.     

Normalized system of functions with respect to the Laplace operator and its applications

A system of functions 0-normalized with respect to the operator Δ in some domain is constructed. Application of this system to boundary value problems for the polyharmonic equation is considered. Connection between harmonic functions and solutions of the Helmholtz equation is investigated.     

Identification of objects in an acoustic wave guide inversion II: Robin–Dirichlet conditions

In this paper we investigate the unknown body problem in a wave guide where one boundary has a pressure release condition and the other an impedance condition. The method used in the paper for solving the unknown body inverse problem is the intersection canonical body approximation (ICBA). The ICBA is based on the Rayleigh conjecture, which states that every point on an illuminated body radiates sound from that point as if the point lies on its tangent sphere. The ICBA method requires that an analytical solution be known exterior to a canonical body in the wave guide. We use the sphere of arbitrary centre and radius in the wave guide as our canonical body. We are lead then to analytically computing the exterior solution for a sphere between two parallel plates. We use the ICBA to construct solutions at points ranging over the suspected surface of the unknown object to reconstruct the unknown object using a least‐squares matching of computed, acoustic field against the measured, scattered field. Copyright © 2005 John Wiley & Sons, Ltd.     

Quaternionic triangular linear operators

Triangular operators are an essential tool in the study of nonselfadjoint operators that appear in different fields with a wide range of applications. Although the development of a quaternionic counterpart for this theory started at the beginning of this century, the lack of a proper spectral theory combined with problems caused by the underlying noncommutative structure prevented its real development for a long time. In this paper, we give criteria for a quaternionic linear operator to have a triangular representation, namely, under which conditions such operators can be represented as a sum of a diagonal operator with a Volterra operator. To this effect, we investigate quaternionic Volterra operators based on the quaternionic spectral theory arising from the S-spectrum. This allow us to obtain conditions when a non-selfadjoint operator admits a triangular representation.     

Toeplitz operators on Herglotz wave functions

The space of Herglotz wave functions in R² consists of all the solutions of the Helmholtz equation that can be represented as the Fourier transform in R² of a measure supported in the circle and with density in L²(S¹). This space has a structure of a Hilbert space with reproducing kernel. The purpose of this article is to study Toeplitz operators with nonnegative radial symbols, defined on this space. We study the symbols defining bounded and compact Toeplitz operators as well as the Toeplitz operators belonging to the Schatten classes sp.     

Quaternionic structures

Any oriented 4-dimensional real vector bundle is naturally a line bundle over a bundle of quaternion algebras. In this paper we give an account of modules over bundles of quaternion algebras, discussing Morita equivalence, characteristic classes and K-theory. The results have been used to describe obstructions for the existence of almost quaternionic structures on 8-dimensional Spin^c manifolds in ?adek et al. (2008) [5] and may be of some interest, also, in quaternionic and algebraic geometry.     

Diophantine approximation, Bessel functions and radially symmetric periodic solutions of semilinear wave equations in a ball

The aim of this paper is to consider the radially-symmetric periodic-Dirichlet problem on for the equation

where is the classical Laplacian operator, and denotes the open ball of center and radius in When is a sufficiently large irrational with bounded partial quotients, we combine some number theory techniques with the asymptotic properties of the Bessel functions to show that is not an accumulation point of the spectrum of the linear part. This result is used to obtain existence conditions for the nonlinear problem.

     

Discreteness Criterions of Isometric Subgroups for Quaternionic Hyperbolic Space

In this paper, we give analogue of Jörgensen's inequality for nonelementary groups of isometries of complex hyperbolic 2-space generated by two elements, one of which is either loxodromic or boundary elliptic for the same group of isometries of quaternionic hyperbolic 2-space. And we give a sufficient condition for a nonelementary subgroup of isometries of quaternionic hyperbolic 2-space generated by two elements one of which is parabolic not to be discrete.     

Quaternionic Killing Spinors

In [17] we proved a lower bound for the spectrum of the Dirac operator on quaternionic Kähler manifolds. In the present article we study the limiting case, i.e. manifolds where the lower bound is attained as an eigenvalue. We give an equivalent formulation in terms of a quaternionic Killing equation and show that the only symmetric quaternionic Kähler manifolds with smallest possible eigenvalue are the quaternionic projective spaces.     

A generalization of the prolate spheroidal wave functions

Many systems of orthogonal polynomials and functions are bases of a variety of function spaces, such as the Hermite and Laguerre functions which are orthogonal bases of and and the Jacobi polynomials which are an orthogonal basis of a weighted The associated Legendre functions, and more generally, the spheroidal wave functions are also an orthogonal basis of

The prolate spheroidal wave functions, which are a special case of the spheroidal wave functions, possess a very surprising and unique property. They are an orthogonal basis of both and a subspace of known as the Paley-Wiener space of bandlimited functions. They also satisfy a discrete orthogonality relation. No other system of classical orthogonal functions is known to possess this strange property. This raises the question of whether there are other systems possessing this property.

The aim of the article is to answer this question in the affirmative by providing an algorithm to generate such systems and then demonstrating the algorithm by a new example.

     

关于齐次四元Monge-Ampère方程的一些注记北大核心CSCD

本文考虑了四元数空间Hn中齐次四元Monge-Ampère方程的狄利克雷问题解的正则性.首先,当区域是边界为C1,1的强拟凸域时,作者给出了解的Lipschitz估计.其次,考虑了四元MongeAmpère算子的收敛性.最后,讨论了齐次四元Monge-Ampère方程的粘性次解与F-次调和函数之间的关系.     

On the evaluation of prolate spheroidal wave functions and associated quadrature rules

As demonstrated by Slepian et al. in a sequence of classical papers (see Slepian (1983) [33], Slepian and Pollak (1961) [34], Landau and Pollak (1961) [18], Slepian and Pollak (1964) [35], Slepian (1965) [36]), prolate spheroidal wave functions (PSWFs) provide a natural and efficient tool for computing with bandlimited functions defined on an interval. Recently, PSWFs have been becoming increasingly popular in various areas in which such functions occur – this includes physics (e.g. wave phenomena, fluid dynamics), engineering (signal processing, filter design), etc.To use PSWFs as a computational tool, one needs fast and accurate numerical algorithms for the evaluation of PSWFs and related quantities, as well as for the construction of corresponding quadrature rules, interpolation formulas, etc. During the last 15 years, substantial progress has been made in the design of such algorithms – see, for example, Xiao et al. (2001) [40] (see also Bowkamp (1947) [6], Slepian and Pollak (1961) [34], Landau and Pollak (1961) [18], Slepian and Pollak (1964) [35] for some classical results).The complexity of many of the existing algorithms, however, is at least quadratic in the band limit c. For example, the evaluation of the nth eigenvalue of the prolate integral operator requires $O(c^2+n^2)$ operations (see e.g. Xiao et al. (2001) [40]); the construction of accurate quadrature rules for the integration (and associated interpolation) of bandlimited functions with band limit c requires $O(c^3)$ operations (see e.g. Cheng et al. (1999) [8]). Therefore, while the existing algorithms are satisfactory for moderate values of c (e.g. $c⩽{10}^3$), they tend to be relatively slow when c is large (e.g. $c⩾{10}^4$).In this paper, we describe several numerical algorithms for the evaluation of PSWFs and related quantities, and design a class of PSWF-based quadratures for the integration of bandlimited functions. While the analysis is somewhat involved and will be published separately (currently, it can be found in Osipov and Rokhlin (2012) [27]), the resulting numerical algorithms are quite simple and efficient in practice. For example, the evaluation of the nth eigenvalue of the prolate integral operator requires $O(n+c\cdot \log c)$ operations; the construction of accurate quadrature rules for the integration (and associated interpolation) of bandlimited functions with band limit c requires $O(c)$ operations. All algorithms described in this paper produce results essentially to machine precision. Our results are illustrated via several numerical experiments.     

Approximation of parabolic PDEs on spheres using spherical basis functions

In this paper we investigate the approximation of a class of parabolic partial differential equations on the unit spheres SⁿRⁿ⁺¹ using spherical basis functions. Error estimates in the Sobolev norm are derived. The results presented in this paper are taken from the authors Ph.D. dissertation under supervision of Professor J.D. Ward and Professor F.J. Narcowich at Texas A&M University.AMS subject classification 35K05, 65M70, 46E22     

A new friendly method of computing prolate spheroidal wave functions and wavelets

Prolate spheroidal wave functions, because of their many remarkable properties leading to new applications, have recently experienced an upsurge of interest. They may be defined as eigenfunctions of either a differential operator or an integral operator (as observed by Slepian in the 1960s). There are various ways of calculating their values based on both approaches. The standard one uses an approximation based on Legendre polynomials, which, however, is valid only on a finite interval. An alternative, valid in a neighborhood of infinity, uses a Bessel function approximation. In this letter we present a new method based on an eigenvalue problem for a matrix operator equivalent to that of the integral operator. Its solution gives the values of these functions on the entire real line and is computationally more efficient.