Approximating with Gaussians

Total Page:16

File Type:pdf, Size:1020Kb

Approximating with Gaussians Approximating with Gaussians Craig Calcaterra and Axel Boldt Metropolitan State University [email protected] June 11, 2013 Abstract 2 Linear combinations of translations of a single Gaussian, e−x , are 2 shown to be dense in L (R). Two algorithms for determining the coeffi- cients for the approximations are given, using orthogonal Hermite func- tions and least squares. Taking the Fourier transform of this result shows low-frequency trigonometric series are dense in L2 with Gaussian weight function. Key Words: Hermite series, Gaussian function, low-frequency trigono- metric series AMS Subject Classifications: 41A30, 42A32, 42C10 1 Linear combinations of Gaussians with a sin- gle variance are dense in L2 L2 (R) denotes the space of square integrable functions f : R ! R with norm q kfk := R jf (x)j2 dx. We use f ≈ g to mean kf − gk < . The following 2 R 2 result was announced in [4]. Theorem 1 For any f 2 L2 (R) and any > 0 there exists t > 0 and N 2 N and an 2 R such that N P −(x−nt)2 f ≈ ane . n=0 arXiv:0805.3795v1 [math.CA] 25 May 2008 Proof. Since the span of the Hermite functions is dense in L2 (R) we have for some N N n P d −x2 f ≈ bn n e . (1) /2 n=0 dx 1 Now use finite backward differences to approximate the derivatives. We have for some small t > 0 N n P d −x2 bn n e n=0 dx −x2 1 h −x2 −(x−t)2 i 1 h −x2 −(x−t)2 −(x−2t)2 i ≈ b0e + b1 e − e + b2 2 e − 2e + e /2 t t 1 h −x2 −(x−t)2 −(x−2t)2 −(x−3t)2 i + b3 t3 e − 3e + 3e − e + ··· N n P 1 P k n −(x−kt)2 = bn n (−1) e . (2) n=0 t k=0 k This result may be surprising; it promises we can approximate to any degree of accuracy a function such as the following characteristic function of an interval 1 for x 2 [−10; −11] χ (x) := [−11;−10] 0 otherwise 2 with support far from the means of the Gaussians e−(x−nt) which are located 2 in [0; 1) at the points x = nt. The graphs of these functions e−(x−nt) are extremely simple geometrically, being Gaussians with the same variance. We only use the right translates, and they all shrink precipitously (exponentially) away from their means. P −(x−nt)2 ane ≈ characteristic function? Surely there is a gap in this sketchy little proof? No. We will, however, flesh out the details in section 2. The coefficients an are explicitly calculated and the L2 convergence carefully justified. But these details are elementary. We include them in the interest of appealing to a broader audience. Then is this merely another pathological curiosity from analysis? We prob- ably need impractically large values of N to approximate any interesting func- tions. 2 No, N need only be as large as the Hermite expansion demands. Certainly this particular approach depends on the convergence of the Hermite expansion, and for many applications Hermite series converge slower than other Fourier approximations{after all, Hermite series converge on all of R while, e.g., trigono- metric series focus on a bounded interval. Hermite expansions do have powerful convergence properties, though. For example, Hermite series converge uniformly on finite compact subsets whenever f is twice continuously differentiable (i.e., 2 C2) and O e−cx for some c > 1 as x ! 1. Alternately if f has finitely many 2 discontinuities but is still C2 elsewhere and O e−cx the expansion again con- verges uniformly on any closed interval which avoids the discontinuities [15], [16]:. If f is smooth and properly bounded, the Hermite series converges faster than algebraically [7]. Then is the method unstable? Yes, there are two serious drawbacks to using Theorem 1. 1. Numerical differentiation is inherently unstable. Fortunately we are estimat- ing the derivatives of Gaussians, which are as smooth and bounded as we could hope, and so we have good control with an explicit error formula. It is true, though, that dividing by tn for small t and large n will eventually lead to huge coefficients an and round-off error. There are quite a few general techniques available in the literature for combatting round-off error in numerical differen- tiation. We review the well-known n-point difference formulas for derivatives in section 6. 2. The surprising approximation is only possible because it is weaker than the typical convergence of a series in the mean. Unfortunately 1 P −(x−nt)2 f (x) 6= ane n=0 Theorem 1 requires recalculating all the an each time N is increased. Further, the an are not unique. The least squares best choice of an are calculated in section 3, but this approach gives an ill-conditioned matrix. A different formula for the an is given in Theorem 3 which is more computationally efficient. Despite these drawbacks the result is worthy of note because of the new and unexpected opportunities which arise using an approximation method with such simple functions. In this vein, section 4 details an interesting corollary of Theorem 1: apply the Fourier transform to see that low-frequency trigonometric series are dense in L2 (R) with Gaussian weight function. 2 Calculating the coefficients with orthogonal functions In this section Theorem 3 gives an explicit formula for the coefficients an of Theorem 1. Let's review the details of the Hermite-inspired expansion 1 n P d −x2 f (x) = bn n e n=0 dx 3 claimed in the proof. The formula for these coefficients is n 2 d 2 b := 1p R f (x) ex e−x dx. n n!2n π dxn R Be warned this is not precisely the standard Hermite expansion, but a simple adaptation to our particular requirements. Let's check this formula for the bn using the techniques of orthogonal functions. Remember the following properties of the Hermite polynomials Hn ([16], n x2 dn −x2 e.g.). Define Hn (x) := (−1) e dxn e . The set of Hermite functions ( ) 1 −x2=2 hn (x) := p Hn (x) e : n 2 N pn!2n π is a well-known basis of L2 (R) and is orthonormal since R −x2 np Hm (x) Hn (x) e dx = n!2 πδm;n. (3) R This means given any g 2 L2 (R) it is possible to write 1 P 1 −x2=2 g (x) = c p p H (x) e (4) n n n n=0 n!2 π (equality in the L2 sense) where 1 R −x2=2 cn := p p g (x) Hn (x) e dx 2 . n!2n π R R The necessity of this formula for cn can easily be checked by multiplying both −x2=2 sides of (4) by Hn (x) e , integrating and applying (3). However, we want 1 n P d −x2 f (x) = bn n e n=0 dx 2 2 so apply this process to g (x) = f (x) ex =2. But f (x) ex =2 may not be L2 x2=2 2 integrable. If it is not, we must truncate it: f (x) e χ[−M;M] (x) is L for any M < 1 and f · χ[−M;M] ≈ f for a sufficiently large choice of M. Now we get /3 new cn as follows 1 x2=2 P 1 −x2=2 f (x) e χ (x) = c p p H (x) e so [−M;M] n n n n=0 n!2 π 1 1 n P (−1)n n −x2 P d −x2 f (x) χ (x) = c p p (−1) H (x) e = b e [−M;M] n n n n n n=0 n!2 π n=0 dx where 1 R x2=2 −x2=2 cn = p p f (x) e χ[−M;M] (x) Hn (x) e (x) dx n!2n π R 1 R = p p f (x) χ[−M;M] (x) Hn (x) dx n!2n π R 4 so we must have n (−1)n 2 d 2 1p R x −x bn = cn p p = n f (x) χ[−M;M] (x) e e dx. (5) n!2n π n!2 π dxn R Now the second step of the proof of Theorem 1 claims that the Gaussian's derivatives may be approximated by divided backward differences n n d −x2 1 P k n −(x−kt)2 n e ≈ n (−1) e dx t k=0 k in the L2 (R) norm. We'll use the \big oh" notation: for a real function Ψ the statement \ Ψ (t) = O (t) as t ! 0 " means there exist K > 0 and δ > 0 such that jΨ(t)j < K jtj for 0 < jtj < δ. Proposition 2 For each n 2 N and p 2 (0; 1) 0 11=p Z n p d −x2 1 Pn k n −(x−kt)2 @ e − (−1) e dxA = O (t) . dxn tn k=0 k R Proof. In Appendix 6 the pointwise formula is derived: n n d 1 Pn k n t P k n n+1 (n+1) n g (x) = n k=0 (−1) g (x − kt)− (−1) k g (ξk) dx t k (n + 1)! k=0 k where all of the ξk are between x and x + nt. Therefore the proposition holds −x2 (n+1) with g (x) = e since g (ξk) is integrable for each k.
Recommended publications
  • Ballistic Electron Transport in Graphene Nanodevices and Billiards
    Ballistic Electron Transport in Graphene Nanodevices and Billiards Dissertation (Cumulative Thesis) for the award of the degree Doctor rerum naturalium of the Georg-August-Universität Göttingen within the doctoral program Physics of Biological and Complex Systems of the Georg-August University School of Science submitted by George Datseris from Athens, Greece Göttingen 2019 Thesis advisory committee Prof. Dr. Theo Geisel Department of Nonlinear Dynamics Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Stephan Herminghaus Department of Dynamics of Complex Fluids Max Planck Institute for Dynamics and Self-Organization Dr. Michael Wilczek Turbulence, Complex Flows & Active Matter Max Planck Institute for Dynamics and Self-Organization Examination board Prof. Dr. Theo Geisel (Reviewer) Department of Nonlinear Dynamics Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Stephan Herminghaus (Second Reviewer) Department of Dynamics of Complex Fluids Max Planck Institute for Dynamics and Self-Organization Dr. Michael Wilczek Turbulence, Complex Flows & Active Matter Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Ulrich Parlitz Biomedical Physics Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Stefan Kehrein Condensed Matter Theory, Physics Department Georg-August-Universität Göttingen Prof. Dr. Jörg Enderlein Biophysics / Complex Systems, Physics Department Georg-August-Universität Göttingen Date of the oral examination: September 13th, 2019 Contents Abstract 3 1 Introduction 5 1.1 Thesis synopsis and outline.............................. 10 2 Fundamental Concepts 13 2.1 Nonlinear dynamics of antidot superlattices..................... 13 2.2 Lyapunov exponents in billiards............................ 20 2.3 Fundamental properties of graphene......................... 22 2.4 Why quantum?..................................... 31 2.5 Transport simulations and scattering wavefunctions................
    [Show full text]
  • Weierstrass Transform on Howell's Space-A New Theory
    IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 16, Issue 6 Ser. IV (Nov. – Dec. 2020), PP 57-62 www.iosrjournals.org Weierstrass Transform on Howell’s Space-A New Theory 1 2* 3 V. N. Mahalle , S.S. Mathurkar , R. D. Taywade 1(Associate Professor, Dept. of Mathematics, Bar. R.D.I.K.N.K.D. College, Badnera Railway (M.S), India.) 2*(Assistant Professor, Dept. of Mathematics, Govt. College of Engineering, Amravati, (M.S), India.) 3(Associate Professor, Dept. of Mathematics, Prof. Ram Meghe Institute of Technology & Research, Badnera, Amravati, (M.S), India.) Abstract: In this paper we have explained a new theory of Weierstrass transform defined on Howell’s space. The definition of the Weierstrass transform on this space of test functions is discussed. Some Fundamental theorems are proved and some results are developed. Weierstrass transform defined on Howell’s space is linear, continuous and one-one mapping from G to G c is also discussed. Key Word: Weierstrass transform, Howell’s Space, Fundamental theorem. --------------------------------------------------------------------------------------------------------------------------------------- Date of Submission: 10-12-2020 Date of Acceptance: 25-12-2020 --------------------------------------------------------------------------------------------------------------------------------------- I. Introduction A new theory of Fourier analysis developed by Howell, presented in an elegant series of papers [2-6] n supporting the Fourier transformation of the functions on R . This theory is similar to the theory for tempered distributions and to some extent, can be viewed as an extension of the Fourier theory. Bhosale [1] had extended Fractional Fourier transform on Howell’s space. Mahalle et. al. [7, 8] described a new theory of Mellin and Laplace transform defined on Howell’s space.
    [Show full text]
  • Memristor-Based Approximation of Gaussian Filter
    Memristor-based Approximation of Gaussian Filter Alex Pappachen James, Aidyn Zhambyl, Anju Nandakumar Electrical and Computer Engineering department Nazarbayev University School of Engineering Astana, Kazakhstan Email: [email protected], [email protected], [email protected] Abstract—Gaussian filter is a filter with impulse response of fourth section some mathematical analysis will be provided to Gaussian function. These filters are useful in image processing obtained results and finally the paper will be concluded by of 2D signals, as it removes unnecessary noise. Also, they could stating the result of the done work. be helpful for data transmission (e.g. GMSK modulation). In practice, the Gaussian filters could be approximately designed II. GAUSSIAN FILTER AND MEMRISTOR by several methods. One of these methods are to construct Gaussian-like filter with the help of memristors and RLC circuits. A. Gaussian Filter Therefore, the objective of this project is to find and design Gaussian filter is such filter which convolves the input signal appropriate model of Gaussian-like filter, by using mentioned devices. Finally, one possible model of Gaussian-like filter based with the impulse response of Gaussian function. In some on memristor designed and analysed in this paper. sources this process is also known as the Weierstrass transform [2]. The Gaussian function is given as in equation 1, where µ Index Terms—Gaussian filters, analog filter, memristor, func- is the time shift and σ is the scale. For input signal of x(t) tion approximation the output is the convolution of x(t) with Gaussian, as shown in equation 2.
    [Show full text]
  • Eigenfunctions and Eigenoperators of Cyclic Integral Transforms with Application to Gaussian Beam Propagation
    NORTHWESTERN UNIVERSITY Eigenfunctions and Eigenoperators of Cyclic Integral Transforms with Application to Gaussian Beam Propagation A DISSERTATION SUBMITTED TO THE GRADUATE SCHOOL IN PARTIAL FULFILLMENT OF THE REQUIREMENTS for the degree DOCTOR OF PHILOSOPHY Field of Applied Mathematics By Matthew S. McCallum EVANSTON, ILLINOIS December 2008 2 c Copyright by Matthew S. McCallum 2008 All Rights Reserved 3 ABSTRACT Eigenfunctions and Eigenoperators of Cyclic Integral Transforms with Application to Gaussian Beam Propagation Matthew S. McCallum An integral transform which reproduces a transformable input function after a finite number N of successive applications is known as a cyclic transform. Of course, such a transform will reproduce an arbitrary transformable input after N applications, but it also admits eigenfunction inputs which will be reproduced after a single application of the transform. These transforms and their eigenfunctions appear in various applications, and the systematic determination of eigenfunctions of cyclic integral transforms has been a problem of interest to mathematicians since at least the early twentieth century. In this work we review the various approaches to this problem, providing generalizations of published expressions from previous approaches. We then develop a new formalism, differential eigenoperators, that reduces the eigenfunction problem for a cyclic transform to an eigenfunction problem for a corresponding ordinary differential equation. In this way we are able to relate eigenfunctions of integral equations to boundary-value problems, 4 which are typically easier to analyze. We give extensive examples and discussion via the specific case of the Fourier transform. We also relate this approach to two formalisms that have been of interest to the math- ematical physics community – hyperdifferential operators and linear canonical transforms.
    [Show full text]
  • A Unified Framework for the Fourier, Laplace, Mellin and Z Transforms
    The Generalized Fourier Transform: A Unified Framework for the Fourier, Laplace, Mellin and Z Transforms Pushpendra Singha,∗, Anubha Guptab, Shiv Dutt Joshic aDepartment of ECE, National Institute of Technology Hamirpur, Hamirpur, India. bSBILab, Department of ECE, Indraprastha Institute of Information Technology Delhi, Delhi, India cDepartment of EE, Indian Institute of Technology Delhi, Delhi, India Abstract This paper introduces Generalized Fourier transform (GFT) that is an extension or the generalization of the Fourier transform (FT). The Unilateral Laplace transform (LT) is observed to be the special case of GFT. GFT, as proposed in this work, contributes significantly to the scholarly literature. There are many salient contribution of this work. Firstly, GFT is applicable to a much larger class of signals, some of which cannot be analyzed with FT and LT. For example, we have shown the applicability of GFT on the polynomially decaying functions and super exponentials. Secondly, we demonstrate the efficacy of GFT in solving the initial value problems (IVPs). Thirdly, the generalization presented for FT is extended for other integral transforms with examples shown for wavelet transform and cosine transform. Likewise, generalized Gamma function is also presented. One interesting application of GFT is the computation of generalized moments, for the otherwise non-finite moments, of any random variable such as the Cauchy random variable. Fourthly, we introduce Fourier scale transform (FST) that utilizes GFT with the topological isomorphism of an exponential map. Lastly, we propose Generalized Discrete-Time Fourier transform (GDTFT). The DTFT and unilateral z-transform are shown to be the special cases of the proposed GDTFT. The properties of GFT and GDTFT have also been discussed.
    [Show full text]
  • (1.1) «-V (1.2) «"" «"II 7:-7Z—R-77
    A DISCRETE ANALOGUE OF THE WEIERSTRASS TRANSFORM1 EDWARD NORMAN 1. Introduction and definitions. In this note we consider a discrete analogue of the transform ,TÍ-g}*ttg(y)£yi /(*)=/_; This transform may be considered as a convolution; accordingly our analogue will take the form 00 f(n) = £ k(n — m)g(m) —00 where the kernel sequence k(n) is to be appropriately chosen. The choice of k(n) is motivated as follows. One way in which the kernel e~y '* arises in the theory of the con- volution transform is by consideration of the class of kernels whose bilateral Laplace transform is of the form 6*ñ(i--)x- (1.1) «-V -tlak i \ aj When c = 0 we obtain the class of kernels whose analogue was con- sidered by Pollard and Standish [4] where the kernels formed a sub- class of the totally positive sequences. The totally positive sequences can be characterized as sequences having a generating function of the form (1.2) «""■«"II 1 7:-7Z—r-77(1 - a,z)(i - bjZ-1) (see [l]). The factor eaz+h'~ in (1.2) corresponds to the factor e" in (1.1). Letting a = b = v/2 we have the familiar expansion eC/2) (H-*"1) = Y,Im(v)zm Received by the editors February 10, 1959 and, in revised form, October 22, 1959. 1 This work is part of a doctoral thesis done under the direction of Professor Harry Pollard at Cornell University. * See Hirschman and Widder [3] for the theory of the Weierstrass transform. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use596 DISCRETE ANALOGUEOF WEIERSTRASS TRANSFORM 597 where Im(v) is the modified Bessel coefficient of the first kind.
    [Show full text]
  • Introduction to Hyperfunctions and Their Integral Transforms
    [chapter] [chapter] [chapter] 1 2 Introduction to Hyperfunctions and Their Integral Transforms Urs E. Graf 2009 ii Contents Preface ix 1 Introduction to Hyperfunctions 1 1.1 Generalized Functions . 1 1.2 The Concept of a Hyperfunction . 3 1.3 Properties of Hyperfunctions . 13 1.3.1 Linear Substitution . 13 1.3.2 Hyperfunctions of the Type f(φ(x)) . 15 1.3.3 Differentiation . 18 1.3.4 The Shift Operator as a Differential Operator . 25 1.3.5 Parity, Complex Conjugate and Realness . 25 1.3.6 The Equation φ(x)f(x) = h(x)............... 28 1.4 Finite Part Hyperfunctions . 33 1.5 Integrals . 37 1.5.1 Integrals with respect to the Independent Variable . 37 1.5.2 Integrals with respect to a Parameter . 43 1.6 More Familiar Hyperfunctions . 44 1.6.1 Unit-Step, Delta Impulses, Sign, Characteristic Hyper- functions . 44 1.6.2 Integral Powers . 45 1.6.3 Non-integral Powers . 49 1.6.4 Logarithms . 51 1.6.5 Upper and Lower Hyperfunctions . 55 α 1.6.6 The Normalized Power x+=Γ(α + 1) . 58 1.6.7 Hyperfunctions Concentrated at One Point . 61 2 Analytic Properties 63 2.1 Sequences, Series, Limits . 63 2.2 Cauchy-type Integrals . 71 2.3 Projections of Functions . 75 2.3.1 Functions satisfying the H¨olderCondition . 77 2.3.2 Projection Theorems . 78 2.3.3 Convergence Factors . 87 2.3.4 Homologous and Standard Hyperfunctions . 88 2.4 Projections of Hyperfunctions . 91 2.4.1 Holomorphic and Meromorphic Hyperfunctions . 91 2.4.2 Standard Defining Functions .
    [Show full text]
  • Hermite Polynomials 1 Hermite Polynomials
    Hermite polynomials 1 Hermite polynomials In mathematics, the Hermite polynomials are a classical orthogonal polynomial sequence that arise in probability, such as the Edgeworth series; in combinatorics, as an example of an Appell sequence, obeying the umbral calculus; in numerical analysis as Gaussian quadrature; in finite element methods as shape functions for beams; and in physics, where they give rise to the eigenstates of the quantum harmonic oscillator. They are also used in systems theory in connection with nonlinear operations on Gaussian noise. They were defined by Laplace (1810) [1] though in scarcely recognizable form, and studied in detail by Chebyshev (1859).[2] Chebyshev's work was overlooked and they were named later after Charles Hermite who wrote on the polynomials in 1864 describing them as new.[3] They were consequently not new although in later 1865 papers Hermite was the first to define the multidimensional polynomials. Definition There are two different ways of standardizing the Hermite polynomials: • The "probabilists' Hermite polynomials" are given by , • while the "physicists' Hermite polynomials" are given by . These two definitions are not exactly identical; each one is a rescaling of the other, These are Hermite polynomial sequences of different variances; see the material on variances below. The notation He and H is that used in the standard references Tom H. Koornwinder, Roderick S. C. Wong, and Roelof Koekoek et al. (2010) and Abramowitz & Stegun. The polynomials He are sometimes denoted by H , n n especially in probability theory, because is the probability density function for the normal distribution with expected value 0 and standard deviation 1.
    [Show full text]
  • The Weierstrass Transform on Some Spaces of Type S
    P: ISSN No. 0976-8602 RNI No.UPENG/2012/42622 VOL.-V, ISSUE-III, July-2016 E: ISSN No. 2349 - 9443 Asian Resonance The Weierstrass Transform on Some Spaces of Type S Abstract The main objective of this paper is to study the classical theory of the Weierstrass transform is extended to the Dirac delta function and some of their basic properties. The characterizations of the Weierstrass transform on the Gel'fand-Shilov spaces of type S is shown. Keywords: Weierstrass transform, Fourier transform, Green's function, Dirac delta function. Introduction This present paper, my contribution is to define the Weierstrass transform in the form of Dirac delta function and study some of their basic properties. The characterizations of the Weierstrass transform on the Gel'fand-Shilov spaces of type S is shown. The conventional Weierstrass transform of a suitably restricted function fx() on the real axis R is defined by [5, p. 267] as: 1 (tx )2 (1) W f( x ) f ( x )exp dx . 2 R 4 The Green's function G t x, k of the heat equation for the infinite interval is 1 (tx )2 , where k is positive constant. G t x, k exp 2 k 4k Ashutosh Mahato The limit of as 0 represent the Dirac delta Assistant Professor, 2 function 1 (tx ) Deptt.of Mathematics, (tx ) lim exp . C.V.Raman College of 0 2 k 4k Engineering, Bhubaneswar, So, in terms of Dirac delta function ()tx , the Weierstrass Odisha transform (1) can be rewritten as Wfx ()(,)()(). fxtˆ fx txdx (2) R Aim of the Study/ The problem / Objective of the Study The main objective of this paper is to develop the classical theory of the Weierstrass transform is extended to the Dirac delta function and some of their basic properties.
    [Show full text]
  • Weierstrass Transforms
    JAC : A JOURNAL OF COMPOSITION THEORY ISSN : 0731-6755 GENERALIZED PROPERTIES ON MELLIN - WEIERSTRASS TRANSFORMS Amarnath Kumar Thakur Department of Mathematics Dr.C.V.Raman University, Bilaspur, State, Chhattisgarh Email- [email protected] Gopi Sao Department of Mathematics Dr.C.V.Raman University, Bilaspur, State, Chhattisgarh Email- [email protected] Hetram Suryavanshi Department of Mathematics Dr.C.V.Raman University, Bilaspur, State, Chhattisgarh Email- [email protected] Abstract- In the present paper, we introduce definite integral transforms in operational calculus for the generalized properties on Mellin- Weierstrass associated transforms. These results are derived from the MW Properties These formulas may be considered as promising approaches in expressing in fractional calculus. Keywords – Laplace Transform , Convolution Transform Mellin Transforms , Weierstrass Transforms I. Introduction In mathematical terms the Fourier and Laplace transformations were introduced to solve physical problems. In fact, the first event of change is found by Reiman in which he used to study the famous zeta function. The Finnish mathematician Hjalmar Mellin (1854-1933), who was the first to give an orderly appearance change and its reversal,working in the theory of special functions, he developed applications towards a solution of hypergeometric differential equations and derivation of asymptotic expansions. Mellin's contribution gives a major place to the theory of analytic functions and essentially depends on the Cauchy theorem and the method of residuals. Actually, the Mellin transformation can also be placed in another framework, in which some cases is more closely related to Volume XIII, Issue IX, SEPTEMBER 2020 Page No: 98 JAC : A JOURNAL OF COMPOSITION THEORY ISSN : 0731-6755 original ideas of Reimann's original.In addition to its use in mathematics, Mellin's transformation has been applied in many different ways and areas of Physics and Engineering.
    [Show full text]
  • Asymptotic Expansions of Some Integral Transforms by Using Generalized Functions by Ahmed I, Zayed
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIElY Volume 272, Number 2, August 1982 ASYMPTOTIC EXPANSIONS OF SOME INTEGRAL TRANSFORMS BY USING GENERALIZED FUNCTIONS BY AHMED I, ZAYED ABSTRACT. The technique devised by Wong to derive the asymptotic expansions of multiple Fourier transforms by using the theory of Schwartz distributions is ex- tended to a large class of integral transforms. The extension requires establishing a general procedure to extend these integral transforms to generalized functions. Wong's technique is then applied to some of these integral transforms to obtain their asymptotic expansions. This class of integral transforms encompasses, among others, the Laplace, the Airy, the K and the Hankel transforms. 1. Introduction. Recently, the theory of generalized functions has been introduced into the field of asymptotic expansions of integral transforms; see [18, 19,6]. One of the advantages of this approach is to be able to interpret and to assign values to some divergent integrals. This approach goes back to Lighthill [10] who was the first to use generalized functions to study the asymptotic expansions of Fourier transforms. Borrowing Lighthill's idea, several people were able to derive asymptotic expan- sions for other types of integral transforms such as Laplace [2], Stieltjes [11], Riemann-Liouville fractional integral transforms [12] and Mellin convolution of two algebraically dominated functions [17]. The use of generalized functions in the theory of asymptotic expansions has another advantage; that is, in some cases it can provide explicit expressions for the error terms in shorter and more direct ways than the classical methods [9,11]. However, one should not overemphasize the importance of the generalized functions approach since, for the most part, it is an alternative but not an exclusive technique.
    [Show full text]
  • On the Summability of Series of Hermite Polynomials
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 8,406-422 (1964) On the Summability of Series of Hermite Polynomials G. G. BILODEAU Boston College, Chestnut Hill, Massachusetts Submitted by R. P. Boas I. INTRODUCTION Let d(x) be in L for every finite interval and assume that exists for n = 0, 1, 2, mm*where HJx) is the Hermite polynomial defined by H,(x) = (- 1)” exeDn e& . (1.2) Then r+(x) - 3 a,(2%!)-1 H,(x) . (1.3) n=O It is known (see [l, p. 3811 or [2, p. 2401) that the series in (1.3) converges to q%(x)for suitable restrictions on 4 near x and f 00. The series is also sum- mable to 4(.x) by various methods and under less restrictive conditions on 4. Abel summability was considered in 13, p. 4581, Bore1 summabilities in [4], Cesaro and others in [5]. (See footnote in [2, p. 2341 on ref. 5.) The purpose of this paper is to find a summability method which will sum the series to $(x) under conditions on 4 near x = f 03 which do little more than assume the existence of each of the coefficients a,. In Section II, we discuss a previously used summability and show that the result already known cannot be greatly improved. In Section III another summability method is introduced and the main result of the paper is proved. An example is then given to show that this result is very nearly “best possible” and an application of the result to the inversion of the Weierstrass transform is indicated.
    [Show full text]