The Cylindrical Fourier Transform
|
|
- Candace Curtis
- 5 years ago
- Views:
Transcription
1 The Cylindrical Fourier Transform Fred Brackx, Nele De Schepper, and Frank Sommen Abstract In this paper we devise a so-called cylindrical Fourier transform within the Clifford analysis context. The idea is the following: for a fixed vector in the image space the level surfaces of the traditional Fourier kernel are planes perpendicular to that fixed vector. For this Fourier kernel we now substitute a new Clifford-Fourier kernel such that, again for a fixed vector in the image space, its phase is constant on co-axial cylinders w.r.t. that fixed vector. The point is that when restricting to dimension two this new cylindrical Fourier transform coincides with the earlier introduced Clifford-Fourier transform. We are now faced with the following situation: in dimension greater than two we have a first Clifford-Fourier transform with elegant properties but no kernel in closed form, and a second cylindrical one with a kernel in closed form but more complicated calculation formulae. In dimension two both transforms coincide. The paper concludes with the calculation of the cylindrical Fourier spectrum of an L -basis consisting of generalized Clifford-Hermite functions. Introduction The Fourier transform is by far the most important integral transform. Since its introduction by Fourier in the early 8s it has remained an indispensible and stimulating mathematical concept that is at the core of the highly evolved branch of mathematics called Fourier analysis. The second player in this paper is Clifford analysis, an elegant and powerful higher dimensional generalization of the theory of holomorphic functions, which is moreover closely related but complementary to harmonic analysis. Clifford analysis also offers the possibility to generalize one-dimensional mathematical analysis to higher Clifford Research Group, Department of Mathematical Analysis, Ghent University, Galglaan, 9 Gent, Belgium; fb@cage.ugent.be Fred Brackx, nds@cage.ugent.be Nele De Schepper, fs@cage.ugent.be Frank Sommen.
2 Fred Brackx, Nele De Schepper, and Frank Sommen dimension in a rather natural way by encompassing all dimensions at once, as opposed to the usual tensorial approaches. It is precisely this last qualification which has been exploited in [ and [3 to construct a genuine multidimensional Fourier transform within the context of Clifford analysis. This so-called Clifford-Fourier transform is briefly discussed in Section 3. In this paper see Section 4 we devise a new, so-called cylindrical Fourier transform by substituting for the standard inner product in the classical exponential Fourier kernel a wedge product as argument. Finally, our aim is to calculate the cylindrical Fourier spectrum of an L -basis consisting of generalized Clifford-Hermite functions. To make the paper self-contained, we have also included a section Section on Clifford analysis. The Clifford analysis toolkit Clifford analysis see e.g. [ offers a function theory which is a higher dimensional analogue of the theory of the holomorphic functions of one complex variable. The functions considered are defined in R m m > and take their values in the Clifford algebra R,m or its complexification C m = R,m C. If e,...,e m is an orthonormal basis of R m, then a basis for the Clifford algebra R,m or C m is given by all possible products of basis vectors e A : A {,...,m} where e / = is the identity element. The non-commutative multiplication in the Clifford algebra is governed by the rules: e j e k + e k e j = δ j,k j,k =,...,m. Conjugation is defined as the anti-involution for which e j = e j j =,...,m. In case of C m, the Hermitean conjugate of an element λ = A λ A e A λ A C is defined by λ = A λ c A e A, where λ c A denotes the complex conjugate of λ A. This Hermitean conjugation leads to a Hermitean inner product and its associated norm on C m given respectively by λ,µ = [λ µ and λ = [λ λ = λ A, A where [λ denotes the scalar part of the Clifford element λ. The Euclidean space R m is embedded in the Clifford algebras R,m and C m by identifying the point x,...,x m with the vector variable x given by x = m j= e jx j. The product of two vectors splits up into a scalar part the inner product up to a minus sign and a so-called bivector part the wedge product: where x. y = < x,y > = m j= x y = x. y + x y, x j y j and x y = m m i= j=i+ e i e j x i y j x j y i.
3 The Cylindrical Fourier Transform 3 Note that the square of a vector variable x is scalar-valued and equals the norm squared up to a minus sign: x = < x,x > = x. The central notion in Clifford analysis is the notion of monogenicity, a notion which is the multidimensional counterpart to that of holomorphy in the complex plane. A function Fx,...,x m defined and continuously differentiable in an open region of R m and taking values in R,m or C m, is called left monogenic in that region if x [F =. Here x is the Dirac operator in R m : x = m j= e j x j, an elliptic, rotation-invariant, vector differential operator of the first order, which may be looked upon as the square root of the Laplace operator in R m : m = x. This factorization of the Laplace operator establishes a special relationship between Clifford analysis and harmonic analysis in that monogenic functions refine the properties of harmonic functions. In the sequel the monogenic homogeneous polynomials will play an important rôle. A left monogenic homogeneous polynomial P k of degree k k in R m is called a left solid inner spherical monogenic of order k. The set of all left solid inner spherical monogenics of order k will be denoted by M l + k. The dimension of k is given by M + l The set dim m + k M l + k = m = m + k! m! k! φ s,k, j x = m/4 γ s,k / H s,k x P j k x e x / s,k N, j dim M l + k, constitutes an orthonormal basis for the space L R m of square integrable functions. Here { P j k x; j dim M l + k} denotes an orthonormal basis of M l + k and γ s,k a real constant depending on the parity of s. The polynomials H s,k x are the so-called generalized Clifford-Hermite polynomials introduced by Sommen; they are a multidimensional generalization to Clifford analysis of the classical Hermite polynomials on the real line. Note that H s,k x is a polynomial of degree s in the variable x with real coefficients depending on k. Furthermore H s,k x only contains even powers of x and is hence scalar-valued, while H s+,k x only contains odd ones and is thus vector-valued. A result which will be frequently used in subsection 4.3 is the following generalization of the classical Funk-Hecke theorem. Theorem. [Funk-Hecke theorem in space Let S k be a spherical harmonic of degree k and η a fixed point on the unit sphere S m in R m. Denote < ω,η > = cos ω,η = t η for ω S m. Then gr f t η S k ω dv x R m + = A m gr r m dr f t t m 3/ P k,m t dt S k η,.
4 4 Fred Brackx, Nele De Schepper, and Frank Sommen where dv x denotes the Lebesgue measure on R m, P k,m t the Legendre polynomial of degree k in m-dimensional Euclidean space and A m = πm / area of the unit sphere S m in R m. Γ m the surface As the Legendre polynomials are even or odd according to the parity of k, we can also state the following corollary. Corollary. Let S k be a spherical harmonic of degree k and η a fixed point on the unit sphere S m. Denote < ω,η > = t η for ω S m, then the 3D-integral is zero whenever f is an odd function and k is even f is an even function and k is odd. R m gr f t η S k ω dv x 3 The Clifford-Fourier transform In [ a new multidimensional Fourier transform in the framework of Clifford analysis, the so-called Clifford-Fourier transform, is introduced. The idea behind its definition originates from an alternative representation for the standard tensorial multidimensional Fourier transform given by F [ f ξ = π m/ R m e i<x,ξ > f x dv x. It is indeed so that this classical Fourier transform can be seen as the operator exponential F = e i π/ H = i π k H k k! where H is the scalar-valued differential operator H = m + r m. Note that due to the scalar character of the standard Fourier kernel, the Fourier spectrum inherits its Clifford algebra character from the original signal, without any interaction with the Fourier kernel. So in order to genuinely introduce the Clifford analysis character in the Fourier transform, the idea occurred to us to replace the scalar-valued operator H in the operator exponential by a Clifford algebra-valued one. To that end we aimed at factorizing the operator H, making use of the factorization of the Laplace operator by the Dirac operator. Splitting H into a sum of Clifford algebra-valued second order operators, leads in a natural way to a pair of transforms F H ±, the harmonic average of which is precisely the standard Fourier transform F : F = F H + F H. The two-dimensional case of this Clifford-Fourier transform is special in that we are able to find a closed form for the kernel of the integral representation. Indeed, k=
5 The Cylindrical Fourier Transform 5 the two-dimensional Clifford-Fourier transform takes the form F H ±[ f ξ = ±ξ x f x dv x. π R e This closed form enables us to generalize the well-known results for the standard Fourier transform both in the L and in the L -context see [3. Note that we have not succeeded yet in obtaining such a closed form in arbitrary dimension. 4 The cylindrical Fourier transform 4. Definition The cylindrical Fourier transform is obtained by taking the multidimensional generalization of the two-dimensional Clifford-Fourier kernel. Definition. The cylindrical Fourier transform of a function f is given by with e x ξ = r= [ f ξ = x ξ r r!. π m/ R m ex ξ f x dv x The integral kernel of this cylindrical Fourier transform can be rewritten in terms of the cosine and the sinc function, which also reveals its form of a scalar plus a bivector, i.e. a so-called parabivector. Proposition. The kernel of the cylindrical Fourier transform can be rewritten as where sincx := sinx x e x ξ = cos x ξ + x ξ sinc x ξ is the unnormalized sinc function. Proof. Splitting the defining series expansion of e x ξ into its even and odd part and taking into account that x ξ = x ξ yields e x ξ = l= x ξ l l l! + x ξ l= x ξ l l l +! = cos x ξ + x ξ sinc x ξ. Let us now explain why we have chosen the name cylindrical for our new Fourier transform. From x ξ = x ξ < x,ξ > = x ξ cos x,ξ = x ξ sin x,ξ
6 6 Fred Brackx, Nele De Schepper, and Frank Sommen Fig. In case of the cylindrical Fourier transform, for fixed ξ, the phase x ξ is constant on co-axial cylinders. Fig. In case of the classical Fourier transform, for fixed ξ, the phase < x,ξ > is constant on planes perpendicular to ξ. x x cosx, it is clear that for ξ fixed, the phase x ξ is constant if and only if x sin x,ξ is constant. In other words, for a fixed vector ξ in the image space, the phase x ξ is constant on co-axial cylinders w.r.t. that fixed vector see Figure. For comparison, for a fixed vector ξ in the image space the level surfaces of the traditional Fourier kernel are planes perpendicular to that fixed vector, since < x,ξ > = x ξ cos x,ξ see Figure. 4. Properties The cylindrical Fourier transform is well-defined for each integrable function. Theorem. Let f L R m. Then [ f L R m C R m and moreover Fcyl [ f m/ f π. Proof. Taking into account Proposition, we have that e x ξ x ξ = cos x ξ + sin x ξ x ξ cos x ξ + sin x ξ
7 The Cylindrical Fourier Transform 7 which leads to the desired result. Although the cylindrical Fourier transform has a simple integral kernel, it satisfies calculation formulae which are more complicated than those of the multidimensional Clifford-Fourier transform see [4. For example, we state the differentiation and multiplication rule which nicely show that the two-dimensional case, in which the cylindrical Fourier transform and the Clifford-Fourier transform coincide, is special. Proposition differentiation and multiplication rule. Let f,g L R m. The cylindrical Fourier transform satisfies: i the differentiation rule [ x [ f x m ξ = ξ [ f x ξ + π m/ ξ sinc x ξ f x dv x Rm with sincx := sinx x the unnormalized sinc function; ii the multiplication rule [ [x f xξ = ξ Fcyl [ f x ξ m + π m/ sinc x ξ x f x dv x. Rm 4.3 Spectrum of the L -basis consisting of generalized Clifford- Hermite functions Finally our aim is to calculate the cylindrical Fourier spectrum of the L -basis. As these basis elements belong to the space of rapidly decreasing functions S R m L R m, their cylindrical Fourier image should be a bounded and continuous function. The calculation method is based on the Funk-Hecke theorem in space see Theorem and the following cylindrical Fourier kernel decomposition see Proposition e x ξ = cos rρ t η where we have introduced spherical co-ordinates rρ t η sinc rρ tη rρ η ω sinc rρ tη x = rω, ξ = ρη, r = x, ρ = ξ, ω, η S m and the notation t η = < ω,η >. For convenience s sake, we denote the three terms in the decomposition by A, B and C. As a first example, let us now calculate the cylindrical Fourier transform of the basis function φ,k, j x which is given, up to constants, by P k x e x / with P k a left solid inner spherical monogenic of order k. By Corollary it is obvious that we must make a distinction between k even and odd.,
8 8 Fred Brackx, Nele De Schepper, and Frank Sommen A k even In the case where k is even, as a consequence of Corollary the integrals containing the B- and C-term of the kernel decomposition reduce to zero. Furthermore, applying the Funk-Hecke theorem in space see Theorem we have that [e x / P k x ξ = π m/ rρ tη P k ωdv x R m e r / r k cos = A + m π m/ P kη e r/ r k+m dr cos rρ t t m 3/ P k,m t dt Taking into account the series expansion of the cosine function, this result becomes. [e x / k! m 3! A m P k x ξ = k + m 3! π m/ P kη l l= l! ρl + e r/ r l+k+m dr t l+m 3/ C m / t dt k, 3 where we have also used the expression k! m 3! P k,m t = k + m 3! Cm / k t of the Legendre polynomials in R m in terms of the Gegenbauer polynomials Ck λ t. As these Gegenbauer polynomials Ck λ are orthogonal on,[ w.r.t. the weight function t λ / λ >, it is easily seen that for l k holds t l t m 3/ C m / k t dt =. Moreover, combining the integral formula see [7, p. 86, formula 4 with α = β t α Ck λ t dt = α+ Γ α + Γ k + λ k! Γ λ Γ α + 3F k,k + λ,α + ;λ +,α + ;, where Reα > and 3 F a,b,c;d,e;z denotes the generalized hypergeometric series, with Watson s theorem see for e.g. [6 3F a,b,c; a + b +,c; = π Γ c + Γ a+b+ Γ a b+c Γ a+ Γ b+ Γ a+c Γ b+c
9 The Cylindrical Fourier Transform 9 results into = t α Ck λ t dt π α+ Γ α + Γ k + λ Γ α + 3 Γ λ + Γ α λ+3 k! Γ λ Γ α + Γ k+ Γ k+λ+ Γ. α+3+k Γ α λ+3 k 4 Applying the above result and taking into account that Γ z = π / z Γ z Γ z + /, equation 3 can be simplified to [e x / P k x ξ k/ π = Γ k+ Γ k+m P k ξ l l l! Γ l+m l=k/ l! Γ ξ l k l+ k = F m ; k + ξ ; e ξ / P k ξ with F a;c;z Kummer s function, also called confluent hypergeometric function. B k odd For k odd, the integral containing the A-term of the kernel decomposition is zero, as a consequence again of Corollary. By means of the Funk-Hecke theorem in space we obtain [e x / P k x ξ = ρ A m sinc rρ + π m/ P kη e r/ r k+m dr t t m 3/ P k+,m t tp k,m t dt. Now, taking into account the Gegenbauer recurrence relation we have that which in its turn yields k + λ t C λ k t k + Cλ k+ t = λ t C λ+ k t, k! m! P k+,m t tp k,m t = k + m! t C m/ k t,
10 Fred Brackx, Nele De Schepper, and Frank Sommen [e x / P k x ξ = + e r/ r k+m dr sinc k! m! A m k + m! π m/ ρ P kη rρ t t m / C m/ k t dt Next, applying consecutively the series expansion of the sinc function, the orthogonality of the Gegenbauer polynomials and expression 4, we find [e x / P k x ξ = F m ; k + ξ ; e ξ / P k ξ. So note that the cylindrical Fourier transform reproduces the Gaussian times the spherical monogenic up to a Kummer s function factor. A second example is provided by the cylindrical Fourier transform of the basis function φ,k, j which is given, up to constants, by e x / x P k x. Its calculation runs along similar lines. Making again a distinction between k even and k odd, we find A k even [e x / x P k x ξ = k + m k + F m ; k + 3 ξ ; e ξ / ξ P k ξ B k odd [e x / x P k x ξ = F m ; k + ξ ; e ξ / ξ P k ξ. showing again the reproducing property up to a Kummer s function factor. For the calculation of the cylindrical Fourier spectrum of a general basis element φ s,k, j we refer to [5. 5 Concluding remarks In the foregoing section we established the image under the cylindrical Fourier transform of an L -basis for the space of all L -functions in R m. Using density arguments, these results may be used to approximate the cylindrical Fourier image of various types of functions and distributions in R m. But for certain types of functions or distributions, direct calculation methods are available on top of this approximation. A
11 The Cylindrical Fourier Transform Fig. 3 The real part of the cylindrical Fourier spectrum of the characteristic function of a geodesic triangle on S. typical example is the case of distributions concentrated on the unit sphere of the form Fx = δr f ω, x = rω, r = x [, [, ω S m. The corresponding cylindrical Fourier transform is given by [Fξ = [ f ξ = π m/ expω ξ f ω dsω. Sm Hereby ξ still belongs to the whole space R m, while the data f ω are defined on the unit sphere, a codimension one surface of R m. It is hence expected that the data f ω are already determined by the cylindrical Fourier image restricted to a suitable codimension one surface as well, typical examples being: i ξ = η S m, leading to an integral transform from S m to S m, ii ξ = ξ e ξ m e m + e m, i.e. ξ belongs to the affine subspace given by ξ m =. To evaluate the cylindrical Fourier transform explicitly it suffices in both cases to express the function f ω as a series of spherical monogenics and to apply a Funk- Hecke argument on the spherical monogenics. This may lead to correspondences between function spaces on S m and isomorphisms between them including inversion methods. The establishment of direct inversion formulae remains an independent and interesting problem for future research. Fig. 4 The e e -component of the cylindrical Fourier spectrum of the characteristic function of a geodesic triangle on S.
12 Fred Brackx, Nele De Schepper, and Frank Sommen As an example see Figure 3, 4, 5 and 6 we have computed directly the cylindrical Fourier image of the characteristic function of a geodesic triangle on the two sphere S that may be expressed in spherical co-ordinates by the integral π 3/ π/ π/ expω ξ sinθ dθ dφ with ω = sinθcosφe + sinθsinφe + cosθe 3 and ξ = ae + be + e 3. Fig. 5 The e e 3 -component of the cylindrical Fourier spectrum of the characteristic function of a geodesic triangle on S. Fig. 6 The e e 3 -component of the cylindrical Fourier spectrum of the characteristic function of a geodesic triangle on S. References. Brackx, F., Delanghe, R., Sommen, F.: Clifford analysis. Pitman Publishers, Boston - London - Melbourne 98. Brackx, F., De Schepper, N., Sommen, F.: The Clifford-Fourier Transform. J. Fourier Anal. Appl. 5 doi:.7/s Brackx, F., De Schepper, N., Sommen, F.: The Two-Dimensional Clifford-Fourier Transform. J. Math. Imaging Vision 6 doi:.7/s y 4. Brackx, F., De Schepper, N., Sommen, F.: The Fourier Transform in Clifford Analysis to appear in Advances in Imaging & Electron Physics 5. Brackx, F., De Schepper, N., Sommen, F.: The Cylindrical Fourier Spectrum of an L -basis consisting of Generalized Clifford-Hermite Functions, submitted for: Proceedings of ICNAAM 8, Kos, Greece, 8 6. Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher Transcendental Functions. McGraw-Hill, New York Gradshteyn, I.S., Ryzhik, I.M.: Table of integrals, series, and products. Academic Press, New York - London - Toronto - Sydney - San Francisco 98
Archiv der Mathematik Holomorphic approximation of L2-functions on the unit sphere in R^3
Manuscript Number: Archiv der Mathematik Holomorphic approximation of L-functions on the unit sphere in R^ --Manuscript Draft-- Full Title: Article Type: Corresponding Author: Holomorphic approximation
More informationCauchy-Kowalevski extensions and monogenic. plane waves using spherical monogenics
Cauchy-Kowalevski extensions and monogenic plane waves using spherical monogenics N. De Schepper a, F. Sommen a a Clifford Research Group, Ghent University, Department of Mathematical Analysis, Faculty
More informationThe Cauchy Kovalevskaya Extension Theorem in Hermitean Clifford Analysis
The Cauchy Kovalevskaya Extension Theorem in Hermitean Clifford Analysis F Brackx, H De Schepper, R Lávička & V Souček Clifford Research Group, Faculty of Engineering, Ghent University Building S22, Galglaan
More informationf k j M k j Among them we recognize the gradient operator on polynomial-valued functions which is part of the complete gradient (see [9]) u j xj.
Advances in Applied Clifford Algebras 4, No. 1 (1994) 65 FUNCTIONS OF TWO VECTOR VARIABLES F. Sommen* and N. Van Acker Department of Mathematical Analysis, University of Gent, Galglaan 2 B-9000 Gent, Belgium
More informationHypermonogenic solutions and plane waves of the Dirac operator in R p R q
Hypermonogenic solutions and plane waves of the Dirac operator in R p R q Alí Guzmán Adán, Heikki Orelma, Franciscus Sommen September 9, 07 arxiv:709.05846v [math.ap] 8 Sep 07 Abstract In this paper we
More informationREPRODUCING KERNELS OF SPACES OF VECTOR VALUED MONOGENICS
REPRODUCING KERNELS OF SPACES OF VECTOR VALUED MONOGENICS J. Cnops RUG, Galglaan 2, B-9 Gent, Belgium Abstract. An important class of monogenic functions is that of vector valued monogenic functions, i.e.
More informationMotivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective
Motivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective Lashi Bandara November 26, 29 Abstract Clifford Algebras generalise complex variables algebraically
More informationOn primitives and conjugate harmonic pairs in Hermitean Clifford analysis
On primitives and conjugate harmonic pairs in Hermitean Clifford analysis F. Brackx, H. De Schepper, R. Lávička & V. Souček Clifford Research Group, Department of Mathematical Analysis, Faculty of Engineering
More informationFischer decomposition by inframonogenic functions
CUBO A Mathematical Journal Vol.12, N ō 02, 189 197. June 2010 Fischer decomposition by inframonogenic functions Helmuth R. Malonek 1, Dixan Peña Peña 2 Department of Mathematics, Aveiro University, 3810-193
More informationAn integral formula for L 2 -eigenfunctions of a fourth order Bessel-type differential operator
An integral formula for L -eigenfunctions of a fourth order Bessel-type differential operator Toshiyuki Kobayashi Graduate School of Mathematical Sciences The University of Tokyo 3-8-1 Komaba, Meguro,
More informationarxiv: v2 [math.cv] 2 Nov 2017
Segal-Bargmann-Fock modules of monogenic functions arxiv:608.06790v [math.cv] Nov 07 Dixan Peña Peña Dipartimento di Matematica Politecnico di Milano Via E. Bonardi 9 033 Milano, Italy e-mail: dixanpena@gmail.com
More informationRecent results in discrete Clifford analysis
Recent results in discrete Clifford analysis Hilde De Ridder joint work with F. Sommen Department of Mathematical Analysis, Ghent University Mathematical Optics, Image Modelling and Algorithms 2016 0 /
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationA CAUCHY-KOWALEVSKI THEOREM FOR INFRAMONOGENIC FUNCTIONS
Math. J. Okayama Univ. 53 (2011, 167 172 A CAUCHY-KOWALEVSKI THEOREM FOR INFRAMONOGENIC FUNCTIONS Helmuth R. MALONEK, Dian PEÑA PEÑA and Frank SOMMEN Abstract. In this paper we prove a Cauchy-Kowalevski
More informationA Fourier Borel transform for monogenic functionals
A Fourier Borel transform for monogenic functionals Irene Sabadini Politecnico di Milano Dipartimento di Matematica Via Bonardi, 9 20133 Milano, Italy irene.sabadini@polimi.it Franciscus Sommen Clifford
More informationThe Fueter Theorem and Dirac symmetries
The Fueter Theorem and Dirac symmetries David Eelbode Departement of Mathematics and Computer Science University of Antwerp (partially joint work with V. Souček and P. Van Lancker) General overview of
More informationHendrik De Bie. Hong Kong, March 2011
A Ghent University (joint work with B. Ørsted, P. Somberg and V. Soucek) Hong Kong, March 2011 A Classical FT New realizations of sl 2 in harmonic analysis A Outline Classical FT New realizations of sl
More informationarxiv: v1 [math.ca] 18 Nov 2016
BEURLING S THEOREM FOR THE CLIFFORD-FOURIER TRANSFORM arxiv:1611.06017v1 [math.ca] 18 Nov 016 RIM JDAY AND JAMEL EL KAMEL Abstract. We give a generalization of Beurling s theorem for the Clifford-Fourier
More informationDemystification of the Geometric Fourier Transforms
Demystification of the Geometric Fourier Transforms Roxana Buack, Gerik Scheuermann and Eckhard Hitzer Universität Leipzig, Institut für Informatik, Abteilung für Bild- und Signalverarbeitung, Augustuplatz
More informationRESEARCH ARTICLE. Gegenbauer polynomials and the Fueter theorem
Comple Variables and Elliptic Equations Vol. 00, No. 00, January 008, 1 15 RESEARCH ARTICLE Gegenbauer polynomials and the Fueter theorem David Eelbode a, V. Souček b and P. Van Lancker c a Antwerp University,
More informationarxiv: v1 [math.ca] 31 Dec 2018
arxiv:181.1173v1 [math.ca] 31 Dec 18 Some trigonometric integrals and the Fourier transform of a spherically symmetric exponential function Hideshi YAMANE Department of Mathematical Sciences, Kwansei Gakuin
More informationTwo-Dimensional Clifford Windowed Fourier Transform
Two-Dimensional Clifford Windowed Fourier Transform Mawardi Bahri, Eckhard M. S. Hitzer and Sriwulan Adji Abstract Recently several generalizations to higher dimension of the classical Fourier transform
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationMath Linear Algebra
Math 220 - Linear Algebra (Summer 208) Solutions to Homework #7 Exercise 6..20 (a) TRUE. u v v u = 0 is equivalent to u v = v u. The latter identity is true due to the commutative property of the inner
More informationTHE LEGENDRE FORMULA IN CLIFFORD ANALYSIS. Guy Laville, Ivan Ramadanoff
Serdica Math. J. 35 (2009), 61 74 THE LEGENDRE FORMULA IN CLIFFORD ANALYSIS Guy Laville, Ivan Ramadanoff Communicated by P. Pflug Abstract. Let R 0,2m+1 be the Clifford algebra of the antieuclidean 2m+1
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationFFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations
FFTs in Graphics and Vision Homogenous Polynomials and Irreducible Representations 1 Outline The 2π Term in Assignment 1 Homogenous Polynomials Representations of Functions on the Unit-Circle Sub-Representations
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationPolynomial solutions for arbitrary higher spin Dirac operators
Polynomial solutions for arbitrary higher spin Dirac operators D Eelbode T Raeymaekers Abstract In a series of recent papers, we have introduced higher spin Dirac operators, which are far-reaching generalisations
More informationMATHEMATICAL FORMULAS AND INTEGRALS
MATHEMATICAL FORMULAS AND INTEGRALS ALAN JEFFREY Department of Engineering Mathematics University of Newcastle upon Tyne Newcastle upon Tyne United Kingdom Academic Press San Diego New York Boston London
More informationCauchy-Kowalevski extensions, Fueter s theorems and boundary values of special systems in Clifford analysis
Cauchy-Kowalevski extensions, Fueter s theorems and boundary values of special systems in Clifford analysis by Dixan Peña Peña A thesis submitted to Ghent University for the degree of Doctor of Philosophy
More informationd 1 µ 2 Θ = 0. (4.1) consider first the case of m = 0 where there is no azimuthal dependence on the angle φ.
4 Legendre Functions In order to investigate the solutions of Legendre s differential equation d ( µ ) dθ ] ] + l(l + ) m dµ dµ µ Θ = 0. (4.) consider first the case of m = 0 where there is no azimuthal
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationSome Rarita-Schwinger Type Operators
Some Rarita-Schwinger Type Operators Junxia Li University of Arkansas March 17-19, 2011 University of Florida 27th South Eastern Analysis Meeting, Gainesville, FL Introduction In representation theory
More informationFermionic coherent states in infinite dimensions
Fermionic coherent states in infinite dimensions Robert Oeckl Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Morelia, Mexico Coherent States and their Applications CIRM, Marseille,
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationSome Rarita-Schwinger Type Operators
Some Rarita-Schwinger Type Operators Junxia Li University of Arkansas April 7-9, 2011 36th University of Arkansas Spring Lecture Series joint work with John Ryan, Charles Dunkl and Peter Van Lancker A
More informationv = v 1 2 +v 2 2. Two successive applications of this idea give the length of the vector v R 3 :
Length, Angle and the Inner Product The length (or norm) of a vector v R 2 (viewed as connecting the origin to a point (v 1,v 2 )) is easily determined by the Pythagorean Theorem and is denoted v : v =
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationQuadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers
Quadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers Martin Nicholson In this brief note, we show how to apply Kummer s and other quadratic transformation formulas for
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationA new construction of the Clifford-Fourier kernel
3 4 5 6 7 A new construction of the Clifford-Fourier ernel Denis Constales Hendri De Bie Pan Lian, : Department of Mathematical Analysis Faculty of Engineering and Architecture Ghent University Galglaan,
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationIntroduction to Modern Quantum Field Theory
Department of Mathematics University of Texas at Arlington Arlington, TX USA Febuary, 2016 Recall Einstein s famous equation, E 2 = (Mc 2 ) 2 + (c p) 2, where c is the speed of light, M is the classical
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationMathematics Department Stanford University Math 61CM/DM Inner products
Mathematics Department Stanford University Math 61CM/DM Inner products Recall the definition of an inner product space; see Appendix A.8 of the textbook. Definition 1 An inner product space V is a vector
More informationMATHEMATICAL FORMULAS AND INTEGRALS
HANDBOOK OF MATHEMATICAL FORMULAS AND INTEGRALS Second Edition ALAN JEFFREY Department of Engineering Mathematics University of Newcastle upon Tyne Newcastle upon Tyne United Kingdom ACADEMIC PRESS A Harcourt
More informationApproximation by Conditionally Positive Definite Functions with Finitely Many Centers
Approximation by Conditionally Positive Definite Functions with Finitely Many Centers Jungho Yoon Abstract. The theory of interpolation by using conditionally positive definite function provides optimal
More informationA Spherical Harmonic Expansion of the Hilbert Transform on S 2. Oliver Fleischmann Cognitive Systems Group Kiel University.
A Spherical Harmonic Expansion of the Hilbert Transform on S 2 Oliver Fleischmann Cognitive Systems Group Kiel University München 2010 Motivation Goal: Extract local structural information from signals
More informationPolynomial Harmonic Decompositions
DOI: 10.1515/auom-2017-0002 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 25 32 Polynomial Harmonic Decompositions Nicolae Anghel Abstract For real polynomials in two indeterminates a classical polynomial
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationX-MA2C01-1: Partial Worked Solutions
X-MAC01-1: Partial Worked Solutions David R. Wilkins May 013 1. (a) Let A, B and C be sets. Prove that (A \ (B C)) (B \ C) = (A B) \ C. [Venn Diagrams, by themselves without an accompanying logical argument,
More informationClifford Analysis on Super-Space
18 Clifford Analysis on Super-Space This is page 291 Printer: Opaque this F. Sommen University of Gent, Department of Mathematical Analysis Galglaan 2, B-9000 Gent, Belgium ABSTRACT In this paper we further
More informationSpecial Functions of Mathematical Physics
Arnold F. Nikiforov Vasilii B. Uvarov Special Functions of Mathematical Physics A Unified Introduction with Applications Translated from the Russian by Ralph P. Boas 1988 Birkhäuser Basel Boston Table
More informationGEOMETRY AND VECTORS
GEOMETRY AND VECTORS Distinguishing Between Points in Space One Approach Names: ( Fred, Steve, Alice...) Problem: distance & direction must be defined point-by-point More elegant take advantage of geometry
More informationSPECTRAL THEORY EVAN JENKINS
SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for
More informationModified Bessel functions : Iα, Kα
Modified Bessel functions : Iα, Kα The Bessel functions are valid even for complex arguments x, and an important special case is that of a purely imaginary argument. In this case, the solutions to the
More informationClifford Analysis on the Hyperbolic Unit Ball
Faculteit Wetenschappen Departement Wiskunde Clifford Analysis on the Hyperbolic Unit Ball David Eelbode promotor: Prof. Dr. Franciscus Sommen Proefschrift voorgelegd aan de Faculteit Wetenschappen van
More information1 Differential Operators in Curvilinear Coordinates
1 Differential Operators in Curvilinear Coordinates worked out and written by Timo Fleig February/March 2012 Revision 1, Feb. 15, 201 Revision 2, Sep. 1, 2015 Université Paul Sabatier using LaTeX and git
More informationThe Monogenic Fischer Decomposition: Two Vector Variables
The Monogenic Fischer Decomposition: Two Vector Variables P. Van Lancker May 8, 2011 Abstract In this paper we will present two proofs of the monogenic Fischer decomposition in two vector variables. The
More information2. The Schrödinger equation for one-particle problems. 5. Atoms and the periodic table of chemical elements
1 Historical introduction The Schrödinger equation for one-particle problems 3 Mathematical tools for quantum chemistry 4 The postulates of quantum mechanics 5 Atoms and the periodic table of chemical
More informationIntegral representations for the Dirichlet L-functions and their expansions in Meixner-Pollaczek polynomials and rising factorials
Integral representations for the Dirichlet L-functions and their expansions in Meixner-Pollaczek polynomials and rising factorials A. Kuznetsov Dept. of Mathematical Sciences University of New Brunswick
More informationLocal smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping
Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping H. Christianson partly joint work with J. Wunsch (Northwestern) Department of Mathematics University of North
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationModels for Irreducible Representations of Spin(m)
17 Models for Irreducible Representations of Spin(m) This is page 271 Printer: Opaque this P. Van Lancker, F. Sommen and D. Constales ABSTRACT In this paper we consider harmonic and monogenic polynomials
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationON GENERATING FUNCTIONS OF THE JACOBI POLYNOMIALS
ON GENERATING FUNCTIONS OF THE JACOBI POLYNOMIALS PETER HENRICI 1. Introduction. The series of Jacobi polynomials w = 0 (a n independent of p and τ) has in the case a n =l already been evaluated by Jacobi
More informationTheorems of Erdős-Ko-Rado type in polar spaces
Theorems of Erdős-Ko-Rado type in polar spaces Valentina Pepe, Leo Storme, Frédéric Vanhove Department of Mathematics, Ghent University, Krijgslaan 28-S22, 9000 Ghent, Belgium Abstract We consider Erdős-Ko-Rado
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationFourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1
Fourier Series Let {e j : 1 j n} be the standard basis in R n. We say f : R n C is π-periodic in each variable if f(x + πe j ) = f(x) x R n, 1 j n. We can identify π-periodic functions with functions on
More informationVector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis.
Vector spaces DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis http://www.cims.nyu.edu/~cfgranda/pages/obda_fall17/index.html Carlos Fernandez-Granda Vector space Consists of: A set V A scalar
More informationON A CLASS OF COVARIANCE OPERATORS U =
GEORGIAN MATHEMATICAL JOURNAL: Vol. 5, No. 5, 1998, 415-424 ON A CLASS OF COVARIANCE OPERATORS T. CHANTLADZE AND N. KANDELAKI Abstract. This paper is the continuation of [1] in which complex symmetries
More informationLecture Notes 1: Vector spaces
Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector
More informationGaussian Processes. 1. Basic Notions
Gaussian Processes 1. Basic Notions Let T be a set, and X : {X } T a stochastic process, defined on a suitable probability space (Ω P), that is indexed by T. Definition 1.1. We say that X is a Gaussian
More informationarxiv: v2 [math-ph] 25 Mar 2011
INTEGRAL TRANSFORMS CONNECTING THE HARDY SPACE WITH BARUT-GIRARDELLO SPACES arxiv:003.345v [math-ph] 5 Mar 0 ZOUHAIR MOUAYN Department of Mathematics, Faculty of Sciences and Technics M Ghila, Sultan Moulay
More informationOn higher order Cauchy-Pompeiu formula in Clifford analysis and its applications
General Mathematics Vol. 11, No. 3 4 (2003), 5 26 On higher order Cauchy-Pompeiu formula in Clifford analysis and its applications Heinrich Begehr, Du Jinyuan, Zhang Zhongxiang Abstract In this paper,
More informationLEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.
LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationCONVERGENCE OF THE FOURIER SERIES
CONVERGENCE OF THE FOURIER SERIES SHAW HAGIWARA Abstract. The Fourier series is a expression of a periodic, integrable function as a sum of a basis of trigonometric polynomials. In the following, we first
More informationQuantum Mechanics Solutions
Quantum Mechanics Solutions (a (i f A and B are Hermitian, since (AB = B A = BA, operator AB is Hermitian if and only if A and B commute So, we know that [A,B] = 0, which means that the Hilbert space H
More informationDunkl operators and Clifford algebras II
Translation operator for the Clifford Research Group Department of Mathematical Analysis Ghent University Hong Kong, March, 2011 Translation operator for the Hermite polynomials Translation operator for
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationarxiv: v2 [math.na] 27 Dec 2016
An algorithm for constructing Equiangular vectors Azim rivaz a,, Danial Sadeghi a a Department of Mathematics, Shahid Bahonar University of Kerman, Kerman 76169-14111, IRAN arxiv:1412.7552v2 [math.na]
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationOld Wine in New Bottles: A new algebraic framework for computational geometry
Old Wine in New Bottles: A new algebraic framework for computational geometry 1 Introduction David Hestenes My purpose in this chapter is to introduce you to a powerful new algebraic model for Euclidean
More informationHyperspherical harmonics with arbitrary arguments
OURNAL OF MATHEMATICAL PHYSICS 50, 01356 009 Hyperspherical harmonics with arbitrary arguments A. V. Meremianin a Department of Theoretical Physics, Voronezh State University, 394006, Voronezh, Russia
More informationMATH 167: APPLIED LINEAR ALGEBRA Chapter 3
MATH 167: APPLIED LINEAR ALGEBRA Chapter 3 Jesús De Loera, UC Davis February 18, 2012 Orthogonal Vectors and Subspaces (3.1). In real life vector spaces come with additional METRIC properties!! We have
More informationarxiv:math/ v1 [math.qa] 9 Feb 2000
Unitary Representations of the -Dimensional Euclidean Group in the Heisenberg Algebra H. Ahmedov and I. H. Duru, arxiv:math/000063v [math.qa] 9 Feb 000. Feza Gürsey Institute, P.O. Box 6, 80, Çengelköy,
More informationBobillier Formula for the Elliptical Harmonic Motion
DOI: 10.2478/auom-2018-0006 An. Şt. Univ. Ovidius Constanţa Vol. 26(1),2018, 103 110 Bobillier Formula for the Elliptical Harmonic Motion Furkan Semih Dündar, Soley Ersoy and Nuno T. Sá Pereira Abstract
More informationHilbert Transforms in Clifford Analysis
Hilbert Transforms in Clifford Analysis Fred Brackx, Bram De Knock and Hennie De Schepper Abstract The Hilbert transform on the real line has applications in many fields. In particular in one dimensional
More informationTHE HOWE DUALITY FOR HODGE SYSTEMS
18 th International Conference on the Application of Computer Science and Mathematics in Architecture and Civil Engineering K. Gürlebeck and C. Könke (eds.) Weimar, Germany, 07 09 July 009 THE HOWE DUALITY
More informationarxiv:math/ v1 [math.dg] 6 Jul 1998
arxiv:math/9807024v [math.dg] 6 Jul 998 The Fundamental Theorem of Geometric Calculus via a Generalized Riemann Integral Alan Macdonald Department of Mathematics Luther College, Decorah, IA 520, U.S.A.
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More informationThis ODE arises in many physical systems that we shall investigate. + ( + 1)u = 0. (λ + s)x λ + s + ( + 1) a λ. (s + 1)(s + 2) a 0
Legendre equation This ODE arises in many physical systems that we shall investigate We choose We then have Substitution gives ( x 2 ) d 2 u du 2x 2 dx dx + ( + )u u x s a λ x λ a du dx λ a λ (λ + s)x
More informationOctober 25, 2013 INNER PRODUCT SPACES
October 25, 2013 INNER PRODUCT SPACES RODICA D. COSTIN Contents 1. Inner product 2 1.1. Inner product 2 1.2. Inner product spaces 4 2. Orthogonal bases 5 2.1. Existence of an orthogonal basis 7 2.2. Orthogonal
More informationWeek 7: Integration: Special Coordinates
Week 7: Integration: Special Coordinates Introduction Many problems naturally involve symmetry. One should exploit it where possible and this often means using coordinate systems other than Cartesian coordinates.
More informationISOMETRIES AND THE LINEAR ALGEBRA OF QUADRATIC FORMS.
ISOMETRIES AND THE LINEAR ALGEBRA OF QUADRATIC FORMS. Please review basic linear algebra, specifically the notion of spanning, of being linearly independent and of forming a basis as applied to a finite
More information