Inversion Formulas for Riemann-Liouville Transform and Its Dual Associated with Singular Partial Differential Operators

Total Page:16

File Type:pdf, Size:1020Kb

Inversion Formulas for Riemann-Liouville Transform and Its Dual Associated with Singular Partial Differential Operators INVERSION FORMULAS FOR RIEMANN-LIOUVILLE TRANSFORM AND ITS DUAL ASSOCIATED WITH SINGULAR PARTIAL DIFFERENTIAL OPERATORS C. BACCAR, N. B. HAMADI, AND L. T. RACHDI Received 21 May 2005; Revised 27 September 2005; Accepted 20 October 2005 t We define Riemann-Liouville transform ᏾α and its dual ᏾α associated with two singu- lar partial differential operators. We establish some results of harmonic analysis for the Fourier transform connected with ᏾α. Next, we prove inversion formulas for the opera- t t tors ᏾α, ᏾α and a Plancherel theorem for ᏾α. Copyright © 2006 Hindawi Publishing Corporation. All rights reserved. 1. Introduction The mean operator is defined for a continuous function f on R2, even with respect to the first variable by 1 2π R0( f )(r,x) = f (r sinθ,x + r cosθ)dθ, (1.1) 2π 0 which means that R0( f )(r,x)isthemeanvalueof f on the circle centered at (0,x)and t radius r. The dual of the mean operator R0 is defined by t 1 2 2 R0( f )(r,x) = f r +(x − y) , y dy. (1.2) π R t ThemeanoperatorR0 and its dual R0 play an important role and have many applica- tions, for example, in image processing of the so-called synthetic aperture radar (SAR) data [11, 12] or in the linearized inverse scattering problem in acoustics [6]. Our purpose in this work is to define and study integral transforms which general- t ize the operators R0 and R0. More precisely, we consider the following singular partial differential operators: ∂ Δ = , 1 ∂x (1.3) ∂2 2α +1 ∂ ∂2 Δ = + − ,(r,x) ∈]0,+∞[×R, α 0. 2 ∂r2 r ∂r ∂x2 Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2006, Article ID 86238, Pages 1–26 DOI 10.1155/IJMMS/2006/86238 2 Inversion formulas for Riemann-Liouville transform 2 We associate to Δ1 and Δ2 the Riemann-Liouville transform Rα,definedonᏯ∗(R )(the space of continuous functions on R2, even with respect to the first variable) by ⎧ ⎪ α 1 ⎪ − 2 ⎪ f rs 1 t ,x + rt ⎪ π −1 ⎨⎪ − − R = × − 2 α 1/2 − 2 α 1 α( f )(r,x) ⎪ 1 t 1 s dtds,ifα>0, (1.4) ⎪ ⎪ ⎪ 1 ⎪ 1 dt ⎩ f r 1 − t2,x + rt √ ,ifα = 0. π −1 1 − t2 t 2 The dual operator Rα is defined on the space ᏿∗(R ) (the space of infinitely differen- tiable functions on R2, rapidly decreasing together with all their derivatives, even with respect to the first variable) by ⎧ √ ⎪ +∞ u2−r2 ⎪ 2α 2 2 2 α−1 ⎨⎪ √ f (u,x + v) u − v − r ududv,ifα>0, π − 2− 2 tR ( )( , ) = r u r α f r x ⎪ ⎪ 1 ⎩ f r2 +(x − y)2, y dy,ifα = 0. π R (1.5) For more general fractional integrals and fractional differential equations, we can see the works of Debnath [3, 4] and Debnath with Bhatta [5]. t We establish for the operators Rα and Rα the same results given by Helgason, Ludwig, and Solmon for the classical Radon transform on R2 [10, 14, 17]andwefindtheresults given in [15] for the spherical mean operator. Especially (i) we give some harmonic analysis results related to the Fourier transform associ- ated with the Riemann-Liouville transform Rα; t (ii) we define and characterize some spaces of the functions on which Rα and Rα are isomorphisms; t (iii) we give the following inversion formulas for Rα and Rα: = R 1tR = 1tR R f αKα α( f ), f Kα α α( f ), (1.6) = tR 2R = 2 R tR f α Kα α( f ), f Kα α α( f ), 1 2 ff where Kα and Kα are integro-di erential operators; t (iv) we establish a Plancherel theorem for Rα; t (v) we show that Rα and Rα are transmutation operators. This paper is organized as follows. In Section 2, we show that for (μ,λ) ∈ C2,thedif- ferential system Δ1u(r,x) =−iλu(r,x), Δ ( , ) =− 2 ( , ), 2u r x μ u r x (1.7) ∂u u(0,0) = 1, (0,x) = 0, ∀x ∈ R, ∂r C. Baccar et al. 3 admits a unique solution ϕμ,λ given by 2 2 ϕμ,λ(r,x) = jα r μ + λ exp(−iλx), (1.8) where jα is the modified Bessel function defined by J (s) j (s) = 2αΓ(α +1) α , (1.9) α sα and Jα is the Bessel function of first kind and index α. Next, we prove a Mehler integral representation of ϕμ,λ and give some properties of Rα. In Section 3, we define the Fourier transform Fα connected with Rα, and we establish some harmonic analysis results (inversion formula, Plancherel theorem, Paley-Wiener t theorem) which lead to new properties of the operator Rα and its dual Rα. 2 t In Section 4, we characterize some subspaces of ᏿∗(R ) on which Rα and Rα are 1 isomorphisms, and we prove the inversion formulas cited below where the operators Kα 2 and Kα are given in terms of Fourier transforms. Next, we introduce fractional powers of the Bessel operator, ∂2 2α +1 ∂ = + , (1.10) α ∂r2 r ∂r and the Laplacian operator, ∂2 ∂2 Δ = + , (1.11) ∂r2 ∂x2 1 2 that we use to simplify Kα and Kα . t Finally, we prove the following Plancherel theorem for Rα: +∞ +∞ 2 2α+1 = 3 tR 2 f (r,x) r dr dx Kα α( f ) (r,x) dr dx, (1.12) R 0 R 0 3 ff where Kα is an integro-di erential operator. t In Section 5, we show that Rα and Rα satisfy the following relations of permutation: ∂2 tR Δ f = tR ( f ), tR Δ f = Δ tR ( f ), α 2 ∂r2 α α 1 1 α (1.13) ∂2 f Δ R ( f ) = R , Δ R ( f ) = R Δ f . 2 α α ∂r2 1 α α 1 2. Riemann-Liouville transform and its dual associated with the operators Δ1 and Δ2 t In this section, we define the Riemann-Liouville transform Rα and its dual Rα,andwe give some properties of these operators. It is well known [21]thatforeveryλ ∈ C,the system 2 αv(r) =−λ v(r); (2.1) v(0) = 1; v(0) = 0, 4 Inversion formulas for Riemann-Liouville transform where α is the Bessel operator, admits a unique solution, that is, the modified Bessel function r → jα(rλ). Thus, for all (μ,λ) ∈ C × C, the system Δ1u(r,x) =−iλu(r,x), Δ ( , ) =− 2 ( , ), 2u r x μ u r x (2.2) ∂u u(0,0) = 1, (0,x) = 0, ∀x ∈ R, ∂r admits the unique solution given by 2 2 ϕμ,λ(r,x) = jα r μ + λ exp(−iλx). (2.3) The modified Bessel function jα has the Mehler integral representation, (we refer to [13, 21]) Γ 1 (α +1) 2 α−1/2 jα(s) = √ 1 − t exp(−ist)dt. (2.4) πΓ(α +1/2) −1 In particular, ∀ ∈ N ∀ ∈ R (k) k , s , jα (s) 1. (2.5) On the other hand, sup jα(rλ) = 1iff λ ∈ R. (2.6) r∈R This involves that sup ϕμ,λ(r,x) = 1iff (μ,λ) ∈ Γ, (2.7) (r,x)∈R2 where Γ is the set defined by Γ = R2 ∪ (iμ,λ); (μ,λ) ∈ R2, |μ| |λ| . (2.8) Proposition 2.1. The eigenfunction ϕμ,λ given by (2.3) has the following Mehler integral representation: ⎧ ⎪ 1 ⎪ α 2 α−1/2 2 α−1 ⎪ cos μrs 1 − t2 exp − iλ(x + rt) 1 − t 1 − s dtds, ⎪ − ⎨⎪ π 1 ( , ) = if α>0, ϕμ,λ r x ⎪ ⎪ ⎪ 1 ⎪ 1 dt ⎩ cos rμ 1 − t2 exp − iλ(x + rt) √ , if α = 0. π −1 1 − t2 (2.9) C. Baccar et al. 5 Proof. From the following expansion of the function jα: ∞ J (s) + (−1)k s 2k j (s) = 2αΓ(α +1) α = Γ(α +1) , (2.10) α α !Γ( + +1) 2 s k=0 k α k we deduce that ∞ + (−1)k rμ 2k j r μ2 + λ2 = Γ(α +1) j (rλ), (2.11) α !Γ( + +1) 2 α+k k=0 k k α and from the equality (2.4), we obtain Γ 1 − 2 2 (α +1) 2 2 α 1/2 jα r μ + λ = √ jα−1/2 rμ 1 − t exp(−irλt) 1 − t dt. π Γ(α +1/2) −1 (2.12) Then, the results follow by using again the relation (2.4)forα>0, and from the fact that j−1/2(s) = coss,forα = 0. (2.13) Definition 2.2. The Riemann-Liouville transform Rα associated with the operators Δ1 2 2 and Δ2 is the mapping defined on Ꮿ∗(R ) by the following. For all (r,x) ∈ R , ⎧ ⎪ α 1 ⎪ − 2 ⎪ f rs 1 t ,x + rt ⎪ π −1 ⎨⎪ − − R = × − 2 α 1/2 − 2 α 1 α( f )(r,x) ⎪ 1 t 1 s dtds,ifα>0, (2.14) ⎪ ⎪ ⎪ 1 ⎪ 1 dt ⎩ f r 1 − t2,x + rt √ ,ifα = 0. π −1 1 − t2 Remark 2.3. (i) From Proposition 2.1 and Definition 2.2,wehave ϕμ,λ(r,x) = Rα cos(μ.)exp(−iλ.) (r,x). (2.15) (ii) We can easily see, as in [2], that the transform Rα is continuous and injective from 2 2 Ᏹ∗(R ) (the space of infinitely differentiable functions on R , even with respect to the first variable) into itself. 6 Inversion formulas for Riemann-Liouville transform 2 2 Lemma 2.4. For f ∈ Ꮿ∗(R ), f bounded, and g ∈ ᏿∗(R ), +∞ +∞ 2α+1 t Rα( f )(r,x)g(r,x)r dr dx = f (r,x) Rα(g)(r,x)dr dx, (2.16) R 0 R 0 t where Rα is the dual transform defined by ⎧ √ ⎪ +∞ u2−r2 ⎪ 2α 2 2 2 α−1 ⎨⎪ √ g(u,x + v) u − v − r ududv, if α>0, π − 2− 2 tR ( )( , ) = r u r α g r x ⎪ ⎪ 1 ⎩ g r2 +(x − y)2, y dy, if α = 0.
Recommended publications
  • Hardy-Type Inequalities for Integral Transforms Associated with Jacobi Operator
    HARDY-TYPE INEQUALITIES FOR INTEGRAL TRANSFORMS ASSOCIATED WITH JACOBI OPERATOR M. DZIRI AND L. T. RACHDI Received 8 April 2004 and in revised form 24 December 2004 We establish Hardy-type inequalities for the Riemann-Liouville and Weyl transforms as- sociated with the Jacobi operator by using Hardy-type inequalities for a class of integral operators. 1. Introduction It is well known that the Jacobi second-order differential operator is defined on ]0,+∞[ by 1 d du 2 ∆α,βu(x) = Aα,β(x) + ρ u(x), (1.1) Aα,β(x) dx dx where 2ρ 2α+1 2β+1 (i) Aα,β(x) = 2 sinh (x)cosh (x), (ii) α,β ∈ R; α ≥ β>−1/2, (iii) ρ = α + β +1. The Riemann-Liouville and Weyl transforms associated with Jacobi operator ∆α,β are, respectively, defined, for every nonnegative measurable function f ,by x Rα,β( f )(x) = kα,β(x, y) f (y)dy, 0 ∞ (1.2) Wα,β( f )(y) = kα,β(x, y) f (x)Aα,β(x)dx, y where kα,β is the nonnegative kernel defined, for x>y>0, by −1 2 2−α+3/2Γ(α +1) cosh(2x) − cosh(2y) α / kα,β(x, y) = √ πΓ(α +1/2)coshα+β(x)sinh2α(x) (1.3) 1 cosh(x) − cosh(y) × F α + β,α − β;α + ; 2 2cosh(x) Copyright © 2005 Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences 2005:3 (2005) 329–348 DOI: 10.1155/IJMMS.2005.329 330 Hardy-type inequalities and F is the Gaussian hypergeometric function.
    [Show full text]
  • K-Weyl Fractional Integral I Introduction and Preliminaries
    Int. Journal of Math. Analysis, Vol. 6, 2012, no. 34, 1685 - 1691 k-Weyl Fractional Integral Luis Guillermo Romero, Ruben Alejandro Cerutti and Gustavo Abel Dorrego Faculty of Exact Sciences National University of Nordeste. Avda. Libertad 5540 (3400) Corrientes, Argentina [email protected] [email protected] Abstract In this paper we present a generalization to the k-calculus of the Weyl Fractional Integral. Show the semigroup property and calculate their Fractional Fourier Transform. Mathematics Subject Classification: 26A33, 42A38 Keywords: k-Fractional Calculus. Weyl fractional integral I Introduction and Preliminaries In [1] Diaz and Pariguan has defined new functions called the k-Gamma function and the Pochhammer k-symbol that are generalization of the clas- sical Gamma function and the classical Pochhammer symbol. Later in 2012, Mubeen and Habibullah [11] has introduced the k-fractional integral of the Riemann-Liouville type. The purpose of this paper is introduce a fractional integral operator of Weyl type and study that may be posible to exprese this integral operator as certain convolution with the singular kernel of Riemann- Liouville. The classical Weyl integral operator of order α is defined (cf. [10]) in the form 1 ∞ W αf(u)= (t − u)α−1f(t)dt (I.1) Γ(α) u u ≥ 0, α>0 and f a function belonging to S(R) the Schwartzian space of functions, and Γ(z) is the Gamma Euler function given by the integral 1686 L. G. Romero, R. A. Cerutti and G. A. Dorrego ∞ Γ(z)= e−ttz−1dt, z ∈ C, Re(z) > 0, cf.
    [Show full text]
  • Multiplicity Formula and Stable Trace Formula 3
    MULTIPLICITY FORMULA AND STABLE TRACE FORMULA PENG ZHIFENG Abstract. Let G be a connected reductive group over Q. In this paper, we give the stabilization of the local trace formula. In particular, we construct the explicit form of the spectral side of the stable local trace formula in the Archimedean case, when one component of the test function is cuspidal. We also give the multiplicity formula for discrete series. At the same time, we obtain the stable version of L2-Lefschetz number formula. 1. Introduction Suppose that G is a connected reductive group over Q, and Γ is an arithmetic subgroup of G(R) defined by congruence conditions. Consider the regular representation R with G(R) acting on L2(Γ\G(R)) through the right translation. The fundamental problem is to decompose R into a direct sum of irreducible representations. In general, we decompose R into two parts R = Rdisc ⊕ Rcont, where Rdisc is the sum of discrete series, and Rcont is the continuous spectrum. The con- tinuous spectrum can be understood by Eisenstein series, which was studied by Langlands [23]. It suffices to study Rdisc. If πR ∈ Rdisc is an irreducible representation, we denote Rdisc(πR) for the πR-isotypical subspace of Rdisc. Then ⊕mdisc(πR) Rdisc(πR)= πR , where mdisc(πR) is the multiplicity. A classical problem is to find a finite summation formula for mdisc(πR). arXiv:1608.00055v3 [math.NT] 5 Jun 2018 If πR belongs to the square integrable discrete series, and Γ\G(R) is compact, then Langlands [21] gave a formula for mdisc(πR).
    [Show full text]
  • Efficient Numerical Methods for Fractional Differential Equations
    Von der Carl-Friedrich-Gauß-Fakultat¨ fur¨ Mathematik und Informatik der Technischen Universitat¨ Braunschweig genehmigte Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) von Marc Weilbeer Efficient Numerical Methods for Fractional Differential Equations and their Analytical Background 1. Referent: Prof. Dr. Kai Diethelm 2. Referent: Prof. Dr. Neville J. Ford Eingereicht: 23.01.2005 Prufung:¨ 09.06.2005 Supported by the US Army Medical Research and Material Command Grant No. DAMD-17-01-1-0673 to the Cleveland Clinic Contents Introduction 1 1 A brief history of fractional calculus 7 1.1 The early stages 1695-1822 . 7 1.2 Abel's impact on fractional calculus 1823-1916 . 13 1.3 From Riesz and Weyl to modern fractional calculus . 18 2 Integer calculus 21 2.1 Integration and differentiation . 21 2.2 Differential equations and multistep methods . 26 3 Integral transforms and special functions 33 3.1 Integral transforms . 33 3.2 Euler's Gamma function . 35 3.3 The Beta function . 40 3.4 Mittag-Leffler function . 42 4 Fractional calculus 45 4.1 Fractional integration and differentiation . 45 4.1.1 Riemann-Liouville operator . 45 4.1.2 Caputo operator . 55 4.1.3 Grunw¨ ald-Letnikov operator . 60 4.2 Fractional differential equations . 65 4.2.1 Properties of the solution . 76 4.3 Fractional linear multistep methods . 83 5 Numerical methods 105 5.1 Fractional backward difference methods . 107 5.1.1 Backward differences and the Grunw¨ ald-Letnikov definition . 107 5.1.2 Diethelm's fractional backward differences based on quadrature .
    [Show full text]
  • Weyl Character Formula in KK-Theory
    Weyl Character Formula in KK-Theory Jonathan Block1 and Nigel Higson2 1 Department of Mathematics, University of Pennsylvania, 209 South 33rd Street Philadelphia, PA 19104, USA. [email protected] 2 Department of Mathematics, Penn State University, University Park, PA 16803, USA. [email protected] 1 Introduction The purpose of this paper is to begin an exploration of connections between the Baum-Connes conjecture in operator K-theory and the geometric repre- sentation theory of reductive Lie groups. Our initial goal is very modest, and we shall not stray far from the realm of compact groups, where geometric representation theory amounts to elaborations of the Weyl character formula such as the Borel-Weil-Bott theorem. We shall recast the topological K-theory approach to the Weyl character formula, due basically to Atiyah and Bott, in the language of Kasparov's KK-theory [Kas80]. Then we shall show how, contingent on the Baum-Connes conjecture, our KK-theoretic Weyl character formula can be carried over to noncompact groups. The current form of the Baum-Connes conjecture is presented in [BCH94], and the case of Lie groups is discussed there in some detail. On the face of it, the conjecture is removed from traditional issues in representation theory, since it concerns the K-theory of group C∗-algebras, and therefore projective or quasi-projective modules over group C∗-algebras, rather than for example irreducible G-modules. But an important connection with the representation theory of reductive Lie groups was evident from the beginning. The conjec- ture uses the reduced group C∗-algebra, generated by convolution operators on L2(G), and as a result discrete series representations are projective in the appropriate C∗-algebraic sense.
    [Show full text]
  • A Brief History and Exposition of the Fundamental Theory of Fractional Calculus
    From "Fractional Calculus and its Applications", Springer Lecture Notes in Mathematics, volume 57, 1975, pp.1-36. A BRIEF HISTORY AND EXPOSITION OF THE FUNDAMENTAL THEORY OF FRACTIONAL CALCULUS BERTRAM ROSS Abstract: This opening lecture is intended to serve as a propaedeutic for the papers to be presented at this conference whose nonhomogeneous audience includes scientists, mathematicians, engineers and educators. This expository and developmental lecture, a case study of mathemati- cal growth, surveys the origin and development of a mathematical idea from its birth in intellectual curiosity to applications. The funda- mental structure of fractional calculus is outlined. The possibilities for the use of fractional calculus in applicab]e mathematics is indi- cated. The lecture closes with a statement of the purpose of the con- ference. Fractional calculus has its origin in the question of the ex- tension of meaning. A well known example is the extension of meaning of real numbers to complex numbers, and another is the extension of meaning of factorials of integers to factorials of complex numbers. In generalized integration and differentiation the question of the extension of meaning is: Can the meaning of derivatives of integral order dny/dx n be extended to have meaning where n is any number--- irrational, fractional or complex? Leibnitz invented the above notation. Perhaps, it was naive play with symbols that prompted L'Hospital to ask Leibnitz about the possibility that n be a fraction. "What if n be ½?", asked L'Hospital. Leibnitz [i] in 1695 replied, "It will lead to a paradox." But he added prophetically, "From this apparent paradox, one day use- ful consequences will be drawn." In 1697, Leibnitz, referring to Wallis's infinite product for ~/2, used the notation d2y and stated that differential calculus might have been used to achieve the same result.
    [Show full text]
  • Acoustic Mode, 284 Acoustic Cloaking, 228, 244 Inertial, 256 Acoustic
    Index acoustic mode, 284 Bloch wave mode, 281 acoustic cloaking, 228, 244 Bloch wave vector, 269, 272 inertial, 256 Bloch-Floquet theorem, 205, 269, 285, acoustic intensity level, 23 288 acoustic metafluid, 220, 255, 256 body force, 13, 196 acoustic metamaterial, 191 bound electron, 130 acoustic power, 23 Brewster’s angle, 66, 76 acoustic tensor, 52, 347 Brillouin zone, 284 effective, 274 bubbly liquid, 275 acoustics, 16, 63, 64, 107, 267 bulk modulus, 17, 267, 275 adiabatic, 17 complex, 181 adiabatic index, 17 bulk viscosity, 18 adjoint, 199 effective, 278 Airy equation, 312 Airy function, 312 capacitance, 141 Ament’s relation, 153 Cartesian coordinates Ampere’s law, 26 acoustics, 19 angular momentum, 4, 177 elastodynamics, 7 anisotropic mass, 167 electrodynamics, 31 anisotropic mass density, 40, 167, 326 Cauchy principal value, 171 anisotropy, 324, 325 Cauchy stress, 4, 5, 7, 8, 11, 14, 17, anomalous cloaking, 243 18, 56, 62, 69, 114, 182, 186, antiplane shear, 13, 37, 38, 54, 190 189, 196, 203, 211, 252, 271, artificial magnetism, 137 272, 277, 301, 325, 335, 336, attenuation length, 282 347 auxetic material, 214 unsymmetric, 213 axial vector, 175 Cauchy’s integral formula, 169 Cauchy-Goursat theorem, 171 Backus upscaling, 334 Cauchy-Riemann equations, 169 band gap, 190, 285 causality, 5, 17, 20, 34, 41, 140, 169, Bessel function, 97, 122, 136, 141, 312 184, 241 spherical, 107 chiral medium, 203 Bessel’s equation, 97, 117 Christoffel symbols, 9 bi-anisotropic medium, 202 cloaking, 227 Biot-Savart law, 26 acoustic, 244 Bloch condition,
    [Show full text]
  • Function Spaces Generated by Blocks and Spaces Of
    transactions of the american mathematical society Volume 309, Number 1, September 1988 FUNCTION SPACES GENERATED BY BLOCKS ASSOCIATED WITH SPHERES, LIE GROUPS AND SPACES OF HOMOGENEOUS TYPE ALE§ ZALOZNIK ABSTRACT. Functions generated by blocks were introduced by M. Taibleson and G. Weiss in the setting of the one-dimensional torus T [TW1]. They showed that these functions formed a space "close" to the class of integrable functions for which we have almost everywhere convergence of Fourier series. Together with S. Lu [LTW] they extended the theory to the n-dimensional torus where this convergence result (for Bochner-Riesz means at the critical index) is valid provided we also restrict ourselves to L log L. In this paper we show that this restriction is not needed if the underlying domain is a compact semisimple Lie group (or certain more general spaces of a homogeneous type). Other considerations (for example, these spaces form an interesting family of quasi-Banach spaces; they are connected with the notion of entropy) guide one in their study. We show how this point of view can be exploited in the setting of more general underlying domains. 1. Introduction. Function spaces generated by blocks were introduced by M. Taibleson and G. Weiss in the setting of the one-dimensional torus T (see [TW1]). The motivation for their study was the connection of these spaces with the almost everywhere convergence of Fourier series. Later S. Lu, M. Taibleson and G. Weiss extended the theory to the n-dimensional torus T" proving almost everywhere convergence results for the Bochner-Riesz means of multiple Fourier series (see [LTW]).
    [Show full text]
  • The Plancherel Theorem for General Semisimple Groups Compositio Mathematica, Tome 57, No 3 (1986), P
    COMPOSITIO MATHEMATICA REBECCA A. HERB JOSEPH A. WOLF The Plancherel theorem for general semisimple groups Compositio Mathematica, tome 57, no 3 (1986), p. 271-355 <http://www.numdam.org/item?id=CM_1986__57_3_271_0> © Foundation Compositio Mathematica, 1986, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Compositio Mathematica 57 (1986) 271-355 © Martinus Nijhoff Publishers, Dordrecht - Printed in the Netherlands THE PLANCHEREL THEOREM FOR GENERAL SEMISIMPLE GROUPS Rebecca A. Herb * and Joseph A. Wolf ** §0. Introduction Harish-Chandra’s celebrated Plancherel formula (see [6b,c,d]) applies to real reductive Lie groups G whose component group G/G° is finite and such that [GO, GO] has finite center. That class includes all finite cover- ings of real reductive linear algebraic groups, but it does not include all real connected semisimple Lie groups. In this paper we obtain the Plancherel formula for a somewhat larger class of groups that does contain all real semisimple groups. The method is necessarily quite different from that of Harish-Chandra. We deal with the class of Lie groups introduced in [17a,b,c] by one of us in 1972. See §1 below for the precise definition. This is a class of reductive groups that contains all the connected real semisimple Lie groups and that contains all Levi components of cuspidal parabolic subgroups.
    [Show full text]
  • A Helmholtz' Theorem
    A Helmholtz’ Theorem Because 1 ∇2 = −4πδ(R) (A.1) R where R = r − r with magnitude R = |R| and where δ(R)=δ(r − r)= δ(x − x)δ(y − y)δ(z − z) is the three-dimensional Dirac delta function (see Appendix B), then any sufficiently well-behaved vector function F(r)= F(x, y, z) can be represented as F(r)= F(r)δ(r − r) d3r V 1 1 = − F(r)∇2 d3r 4π R V 1 F(r) = − ∇2 d3r, (A.2) 4π V R the integration extending over any region V that contains the point r. With the identity ∇×∇×= ∇∇ · −∇2, Eq. (A.2) may be written as 1 F(r) 1 F(r) F(r)= ∇×∇× d3r − ∇∇ · d3r. (A.3) 4π V R 4π V R Consider first the divergence term appearing in this expression. Because the vector differential operator ∇ does not operate on the primed coordinates, then 1 F(r) 1 1 ∇· d3r = F(r) ·∇ d3r. (A.4) 4π V R 4π V R Moreover, the integrand appearing in this expression may be expressed as 1 1 F(r) ·∇ = −F(r) ·∇ R R F(r) 1 = −∇ · + ∇ · F(r), (A.5) R R where the superscript prime on the vector differential operator ∇ denotes differentiation with respect to the primed coordinates alone. Substitution of 422 A Helmholtz’ Theorem Eq. (A.5) into Eq. (A.4) and application of the divergence theorem to the first term then yields 1 F(r) 1 F(r) 1 ∇ · F(r) ∇· d3r = − ∇ · d3r + d3r 4π R 4π R 4π R V V V 1 1 1 ∇ · F(r) = − F(r) · nˆd2r + d3r 4π S R 4π V R = φ(r), (A.6) whichisthedesiredformofthescalarpotentialφ(r) for the vector field F(r).
    [Show full text]
  • Variations À La Fourier-Weyl-Wigner on Quantizations of the Plane and the Half-Plane
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 3 September 2018 doi:10.20944/preprints201809.0012.v1 Peer-reviewed version available at Entropy 2018, 20, 787; doi:10.3390/e20100787 Article Variations à la Fourier-Weyl-Wigner on quantizations of the plane and the half-plane Hervé Bergeron 1 and Jean-Pierre Gazeau2 ID 1 ISMO, UMR 8214 CNRS, Univ Paris-Sud, 91405 Orsay cedex France; [email protected] 2 APC, UMR 7164 CNRS, Univ Paris Diderot, Sorbonne Paris Cité, 75205 Paris, France; [email protected] * Correspondence: [email protected] 1 Abstract: Any quantization maps linearly functions on a phase space to symmetric operators in a 2 Hilbert space. Covariant integral quantization combines operator-valued measure with symmetry 3 group of the phase space. Covariant means that the quantization map intertwines classical (geometric 4 operation) and quantum (unitary transformations) symmetries. Integral means that we use all 5 ressources of integral calculus, in order to implement the method when we apply it to singular 6 functions, or distributions, for which the integral calculus is an essential ingredient. In this paper 7 we emphasize the deep connection between Fourier transform and covariant integral quantization 8 when the Weyl-Heisenberg and affine groups are involved. We show with our generalisations of the 9 Wigner-Weyl transform that many properties of the Weyl integral quantization, commonly viewed as 10 optimal, are actually shared by a large family of integral quantizations. 11 Keywords: Weyl-Heisenberg group; Affine group; Weyl quantization; Wigner function; Covariant 12 integral quantization 13 Contents 14 1 Introduction: a historical overview2 15 References 3 16 2 Covariant Integral quantization: a summary 3 17 2.1 General settings .........................................
    [Show full text]
  • Fractional Versions of the Fundamental Theorem of Calculus
    Applied Mathematics, 2013, 4, 23-33 http://dx.doi.org/10.4236/am.2013.47A006 Published Online July 2013 (http://www.scirp.org/journal/am) Fractional Versions of the Fundamental Theorem of Calculus Eliana Contharteze Grigoletto, Edmundo Capelas de Oliveira Department of Applied Mathematics, University of Campinas, Campinas, Brazil Email: [email protected], [email protected] Received April 27, 2013; revised May 27, 2013; accepted June 7, 2013 Copyright © 2013 Eliana Contharteze Grigoletto, Edmundo Capelas de Oliveira. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. ABSTRACT The concept of fractional integral in the Riemann-Liouville, Liouville, Weyl and Riesz sense is presented. Some prop- erties involving the particular Riemann-Liouville integral are mentioned. By means of this concept we present the frac- tional derivatives, specifically, the Riemann-Liouville, Liouville, Caputo, Weyl and Riesz versions are discussed. The so-called fundamental theorem of fractional calculus is presented and discussed in all these different versions. Keywords: Fractional Integral; Fractional Derivative; Riemann-Liouville Derivative; Liouville Derivative; Caputo Derivative; Weyl Derivative and Riesz Derivative 1. Introduction much research on its applications as there is on the cal- culus of integer order. Several applications in all areas of Fractional calculus, a popular name used to denote the knowledgement are collected, presented and discussed in calculus of non integer order, is as old as the calculus of different books as follow [7-12]. integer order as created independently by Newton and The main objective of this paper is to explain what is Leibniz.
    [Show full text]