An integral formula for L 2 -eigenfunctions of a fourth order Bessel-type differential operator
|
|
- Ronald Wright
- 5 years ago
- Views:
Transcription
1 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 Komaba, Meguro, Tokyo, , Japan. address: toshi@ms.u-tokyo.ac.p Jan Möllers Institut für Mathematik Universität Paderborn Warburger Str Paderborn, Germany address: moellers@math.uni-paderborn.de March 1, 1 Abstract We find an explicit integral formula for the eigenfunctions of a fourth order differential operator against the kernel involving two Bessel functions. Our formula establishes the relation between K-types in two different realizations of the minimal representation of the indefinite orthogonal group, namely the L -model and the conformal model. Mathematics Subect Classification: Primary 44A; Secondary E46, 33C45, 34A5. Key words and phrases: Fourth order differential equation, Laguerre polynomials, Bessel functions, minimal representations. Partially supported by Grant-in-Aid for Scientific Research B , Japan Society for the Promotion of Science, and the Alexander Humboldt Foundation. Partially supported by the International Research Training Group 1133 Geometry and Analysis of Symmetries, and the GCOE program of the University of Tokyo. 1
2 1 Introduction and statement of the results Let θ = x d dx be the one-dimensional Euler operator. We consider the following representation of the Bessel differential operator 1 x Q νθ = d dx + ν + 1 x d 1, ν C, dx d where Q ν is the quadratic transform of the Weyl algebra C[x, dx ] defined by Q ν P = P P + ν x, [ for P C x, ] d. dx Our obect of study is the L -eigenfunctions of the fourth order differential operator D µ,ν := 1 x Q νθ + µq ν θ = 1 x θ + µθ + µ + ν x θθ + ν x. Throughout this article we assume that the parameters µ and ν satisfy the following integrality condition: µ ν 1 are integers of the same parity, not both equal to We then have the following fact see [4, Theorem A]: Fact. The differential operator D µ,ν extends to a self-adoint operator on L R +, x µ+ν+1 dx with only discrete spectrum which is given by λ µ,ν := 4 + µ + 1, =, 1,,... The corresponding L -eigenspaces are one-dimensional. For instance, it is easily seen that the normalized K-Bessel function K ν z := z ν K ν z is an L -eigenfunction of D µ,ν for the eigenvalue λ µ,ν =. The purpose of this article is to establish the following integral formula for L -solutions of the differential equation D µ,ν u = λ µ,ν u. 1. Theorem A. Assume 1.1 and let u be an L -solution of the differential equation 1.. Then there exists a constant A µ,ν u such that for cos ϑ + cos ϕ > : ux J µ ax J ν bxxµ+ν+1 dx = A µ,ν u where we set a := cos ϑ + cos ϕ sin ϑ cos ϑ+cos ϕ and b := sin µ+ν+ C µ+1 cos ϑ ϕ cos ϑ+cos ϕ. ν+1 C + µ ν cos ϕ, 1.3
3 Here J α x = x α Jα x denotes the normalized J-Bessel function and C nx λ = ΓλCnx λ is the normalized Gegenbauer polynomial. The differential equation 1. has a regular singularity at x = with characteristic exponents, ν, µ and µ ν. Accordingly, the asymptotic behaviour of a non-zero L -solution u of 1. as x is of the following form see [4, Theorem 4. 1]: x ν + ox ν for ν >, ux B µ,ν u log x + olog x for ν =, o1 for ν = 1, with some non-zero constant B µ,ν u. The constant A µ,ν u in Theorem A is determined by B µ,ν u as follows: Theorem B. For any solution u of 1.: A µ,ν u B µ,ν u =!µ+ν µ+ µ ν + Γ 1 Γ Γ + µ ν+ Γ + µ ν + πγ + µ + 1 Γ ν for ν >, 1 for ν =, Γ ν for ν = 1. The proofs of Theorems A and B will be given in Sections and 3, respectively. In Section 4 we give some applications and discuss special values of Theorem A. One particularly interesting situation arises when both µ and ν are odd integers. In this case the solutions u of 1. can be expressed as { x ν e x M µ,ν x for ν 1, ux = const e x M µ,ν x for ν = 1, for some polynomial M µ,ν see [5]. For ν = ±1 these polynomials reduce to the classical Laguerre polynomials M µ,±1 x = L µ x. Hence, for ν = ±1 the integral formula in Theorem A collapses to integral formulas for the Laguerre polynomials. Even these we could not trace in the literature. Corollary C. Let µ 1 be an odd integer and cos ϑ + cos ϕ >. a := and b := sin. Then we have sin ϑ cos ϑ+cos ϕ ϕ cos ϑ+cos ϕ Set L µ x J µ ax cosbxxµ e x dx = 1 µ cos ϑ + cos ϕ π µ+1 cos + µ + 1 ϕ µ+1 C cos ϑ 3
4 and L µ x J µ ax sinbxxµ e x dx = 1 µ cos ϑ + cos ϕ π µ+1 sin + µ + 1 ϕ µ+1 C cos ϑ. Note that there appear 5 parameters in the integral formula in Theorem A, namely µ, ν, ϑ, ϕ and. Our scheme specialization of parameters, relation to representation theory is summarized in the following diagram: Special Functions Representation Theory K-Bessel functions Section 4.3 = Gegenbauer polynomials Theorem A Λ µ,ν x : L -solution to 1. Laguerre polynomials Corollary C ν Z+1 ν=1 Notation: N = {, 1,,...}, R + = {x R : x > }. Conformal model T L -model Polynomials x ν e x M µ,ν ν 3 x see [5]. Two models for the minimal representation of the indefinite orthogonal group In the proof of Theorem A we will use representation theory, namely two different models for the minimal representation of the indefinite orthogonal group G = Op, q where p q and p + q 6 is even. These two models were constructed by T. Kobayashi and B. Ørsted [7, 8] and investigated 4
5 further by T. Kobayashi and G. Mano [6]. This unitary representation is irreducible and attains the minimum Gelfand Kirillov dimension among all irreducible unitary representations of G. In physics the minimal representation of O4, appears as the bound states of the Hydrogen atom, and incidentally as the quantum Kepler problem..1 The conformal model We begin with a quick review of the conformal model for the minimal representation of G = Op, q from [7]. We equip M := S p 1 S q 1 with the standard indefinite Riemannian metric of signature p 1, q 1 by letting the second factor be negative definite. Then G acts on M by conformal transformations. The solution space Sol { M := f C M : } M f = of the Yamabe operator M = S p 1 S q 1 p + q is infinitedimensional. Further, it is invariant under the twisted action ϖ of G and hence defines a representation. The minimal representation of G is realized on the Hilbert completion H := Sol M of Sol M with respect to a certain G-invariant inner product. The maximal compact subgroup K = Op Oq of G acts on M as isometries, and the restriction of ϖ to K is given ust by rotations. To see the K-types we recall the space of spherical harmonics H k R n := { ϕ C S n 1 : S n 1ϕ = kk + n ϕ }, or equivalently, the space of restrictions of harmonic homogeneous polynomials on R n of degree k to the sphere S n 1. The orthogonal group On acts irreducibly on H k R n for any k by rotations in the argument. Then clearly and we put H R p H k R q Sol M if and only if k = + p q, V := H R p p q + H R q, =, 1,,..., on which K acts irreducibly. The multiplicity-free sum = V of irreducible representations of K is dense in the Hilbert space H. Let K be the isotropy group of K at 1,,...,,,...,, 1 S p 1 S q 1. Then K = Op 1 Oq 1. We write H K for the space of K -fixed vectors. 5
6 Lemma.1. In each K-type V N the subspace V H K is onedimensional and spanned by the functions ψ : S p 1 S q 1 C, v, v, v, v p+q 1 p C v q C + p q v p+q 1..1 Proof. It is well-known that any On 1-invariant spherical harmonic is a scalar multiple of the Gegenbauer polynomial S n 1 x 1, x n C k x 1, which shows the claim.. The L -model We recall the L -model Schrödinger model of the minimal representation of G which is unitarily equivalent to ϖ see [6, 8]. Consider the isotropic cone C = {x, x R p 1 R q 1 : x = x } R p+q. Then the group G acts unitarily in a non-trivial way on the Hilbert space L C, dµ and defines a minimal representation of G. Here dµ is the Op 1, q 1-invariant measure on C which is in bipolar coordinates R + S p S q C, r, ω, η rω, rη normalized by dµ = 1 rp+q 5 dr dω dη. dω and dη denote the Euclidean measures on S p and S q, respectively. The representation of the whole group G on L C does not come from the geometry C, but the action of the subgroup K is given by rotation in the argument. Hence the K -invariant functions only depend on the radial parameter r R + and the space of K -invariants in L C is identified as L C K = L R +, 1 rp+q 5 dr. Let W be the V -isotypic component in L C. In this model it is more difficult to find explicit K-finite vectors. By highlighting K -fixed vectors, the following result was proved in [4, Section 8]: Lemma.. In each K-type W N the subspace W L C K one-dimensional and given by the radial functions is ur,. where u is an L -solution of 1. with µ = p 3, ν = q 3. 6
7 .3 The G-intertwiner Let T : L C H be the intertwining operator as given in [6, Section.]. It is the composition of the Fourier transform S R p+q S R p+q and an operator coming from the conformal transformation from the flat indefinite Euclidean space R p 1,q 1 to M. For radial functions f L R +, 1 rp+q 5 dr = L C K this operator can be written by means of the Hankel transform cf. [6, Lemma 3.3.1]: T fv, v, v, v p+q 1 = J p 3 1 v + v p+q 1 p+q 4 v r v + v p+q 1 J q 3 fr v r v + v p+q 1 r p+q 5 dr.3 for v, v, v, v p+q 1 M with v + v p+q 1 >. Since T intertwines the actions of G on both models, it clearly maps K -invariant functions to K - invariant functions and also preserves K-types, i.e. T W = V. Hence we obtain the following diagram: W V T : L C H K L C K H K. Now W L C K and V H K are one-dimensional and we have formulas. and.1 for their generators. Hence the intertwiner T has to map the functions. to multiples of the functions.1. Thus, for any L -solution u of 1. and v + v p+q 1 > we obtain ur J p 3 v r v + v p+q 1 J q 3 v r = const v + v p+q 1 p+q 4 v + v p+q 1 p C v r p+q 5 dr q C + p q Substituting x = r, µ = p 3 and ν = q 3 and putting cos ϑ = v, cos ϕ = v p+q 1, sin ϑ = v, sin ϕ = v. v p+q 1.4 we get 1.3 with a certain constant A µ,ν. This finishes the proof of Theorem A. 7
8 3 A closed formula for the constants In this section we find an explicit constant for the integral formula in Theorem A, namely we give a proof of Theorem B. Our method uses the generating function of L -eigenfunctions of D µ,ν. Remember that we assume the integrality condition 1.1. Let G µ,ν t, x = 1 1 t µ+ν+ Ĩ µ tx 1 t K ν x 1 t, 3.1 where Ĩαz := z α I α z and K α z := z α K α z denote the normalized I- and K-Bessel functions. Further, let Λ µ,ν x =,1,,... be the family of functions on R + which has G µ,ν t, x as its generating function: G µ,ν t, x := Λ µ,ν xt. 3. = Fact [4, Theorem A]. Λ µ,ν x is real analytic on R + and an L -solution of 1.. We will now compute the constants A µ,ν u and B µ,ν u for u = Λ µ,ν. Here we recall that A µ,ν and B µ,ν were defined in Theorem A and 1.4. From [4, Theorem 4.] we immediately obtain ν µ ν + B µ,ν Λ µ,ν Γ + ν 1 Γ for ν >, =!Γ µ+ µ ν + Γ 1 for ν =, 1 Γ ν 3.3 for ν = 1. For A µ,ν we have the following lemma: Lemma 3.1. For any N we have A µ,ν Λ µ,ν = 1 µ+ν Γ + µ ν+ πγ + µ Putting 3.3 and 3.4 together proves Theorem B. In the remaining part of this section, we give a proof of Lemma 3.1. Proof of Lemma 3.1. We put ϑ = ϕ = in 1.3. values we obtain J α = A µ,ν Λ µ,ν = 1 Γα + 1, Cλ n 1 = µ+ν!γ + µ ν+ πγ + µ + 1Γ + µ+ν+ Γn + λγλ Γn + 1Γλ, Together with the next lemma this finishes the proof. 8 Using the special Λ µ,ν xx µ+ν+1 dx.
9 Lemma 3.. For every N we have Λ µ,ν L 1 R +, x µ+ν+1 dx and Λ µ,ν xx µ+ν+1 dx = 1 µ+ν Γ + µ+ν+ Proof. The fact that Λ µ,ν L 1 R +, x µ+ν+1 dx is derived from the asymptotic behaviour of Λ µ,ν x see [4, Theorem 4.]. To calculate the integral we use the following integral formula which is valid for Rλ + α ± β + 1 > and b > a > see e.g. [3, formula ]: I α axk β bxx λ dx = aα Γ λ+α+β+1 Γ λ+α β+1 1 λ b λ+α+1 Γα + 1 F 1 λ + α + β + 1!, λ + α β + 1 ; α + 1; a b where F 1 α, β; γ; z denotes the hypergeometric function. With 3.1 we obtain µ + ν + G µ,ν t, xx µ+ν+1 dx = µ+ν Γ 1 t µ+ν+ µ + ν + F 1, µ + ; µ + ; t µ + ν + = µ+ν Γ 1 + t µ+ν+ µ+ν Γ + µ+ν+ = t.! = Then, in view of 3., the claim follows by comparing coefficients of t. Hence, the proof of Theorem B is completed. 4 Applications and special values We conclude this article with some applications of Theorem A and discuss on special values of the integral formula. 4.1 The L -norm of Λ µ,ν As a first application of Theorem A we can give a closed formula for the L -norms of the orthogonal basis Λ µ,ν x N in L R +, x µ+ν+1 dx. The same result was obtained in [4, Theorem B] by different methods. Corollary 4.1. The L -norm of the eigenfunction Λ µ,ν Λ µ,ν. is given by, L R +,x µ+ν+1 dx = µ+ν 1 Γ + µ+ν+ Γ + µ ν+! + µ + 1Γ + µ + 1., 9
10 Proof. Let p = µ+3, q = ν +3. We define functions ϕ L C in bipolar coordinates by Then it is immediate that ϕ r, ω, η := Λ µ,ν r. Λ µ,ν L R +,x µ+ν+1 dx = µ+ν+3 vols p vols q ϕ L C. Now, the intertwining operator T : L C H is unitary up to a constant, namely see [6, Remark..]: T u H = 1 u L C. Using formula.3 for the intertwiner T and Theorem A one also obtains easily that T ϕ = 3µ+ν+ A µ,ν Λ µ,ν ψ with ψ as in.1. By [6, Fact.1.1 4] the G-invariant norm on H is given by u H = + p u L M, for u V. By using the formula see [3, ] we get π ψ L M = [ ] Cλ n cos ϑ sin λ ϑ dϑ = π1 λ Γn + λ, n!n + λ S p 1 S q 1 C p v = vols p vols q π q C + p q [ C p v p+q 1 dv cos ϑ] sin p ϑ dϑ [ C q cos ϕ] sin q ϕ dϕ π = π Γ + µ + 1Γ + µ+ν+! µ+ν + µ+1 Γ + µ ν+ + p q volsp vols q. Finally, putting all the steps together shows the claim. 1
11 4. The Poisson kernel of the Gegenbauer Polynomials As another application of Theorem A we get an integral formula for the generating function G µ,ν t, x of L -eigenfunctions, which is closely related to the Poisson kernel of the Gegenbauer polynomials. For this we put I µ,ν t, ϑ, ϕ := where a := sin ϑ cos ϑ+cos ϕ Ĩ µ and b := sin tx 1 t K ν ϕ cos ϑ+cos ϕ. x 1 t J µ ax J ν bxxµ+ν+1 dx, Corollary 4.. For cos ϑ + cos ϕ > and 1 < t < 1 we have the following formula: 1 t µ+ν+ cos ϑ + cos ϕ = µ+ν π = µ+ν+ µ ν+ Γ + 1 Γ + µ + 1 I µ,ν t, ϑ, ϕ µ+1 C cos ϑ ν+1 C + µ ν cos ϕt. For µ = ν = λ 1 this yields a formula for the Poisson kernel of the Gegenbauer polynomials. Recall that the Poisson kernel P λ t, ϑ, ϕ of the Gegenbauer polynomials is defined by see [1, formula 6.4.5] P λ t, ϑ, ϕ := n= n!n + λ Γn + λ C λ ncos ϑ C λ ncos ϕt n. For explicit formulas for the Poisson kernel of the Gegenbauer polynomials see e.g. [1, formula 7.5.6]. Now, Corollary 4. yields a new expression for P λ t, ϑ, ϕ λ Z, λ > : P λ t, ϑ, ϕ = where θ t = t t. π 8λ The bottom layer cos ϑ + cos ϕ λ θ t + λ [ ] 1 + t λ I λ 1,λ 1 t, ϑ, ϕ, As remarked in the introduction, for = the K-Bessel function ux = K ν x is a solution of the differential equation 1.. In this case the integral formula in Theorem A can be written as K ν xj x sin ϑ x sin ϕ µ J ν x µ+ dx cos ϑ + cos ϕ cos ϑ + cos ϕ = ν Γ µ ν+ π cos ϑ + cos ϕ sin µ ν ν+1 ϑ sin ϕ C cos ϕ. µ ν 11
12 This special case was already proved in [6, Lemma 7.8.1]. Another expression for this integral can be found in [, formula ]. References [1] G. E. Andrews, R. Askey, and R. Roy, Special functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, Cambridge, [] A. Erdélyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi, Tables of integral transforms. Vol. II, McGraw-Hill Book Company, Inc., New York, [3] I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series, and products, Academic Press, New York, [4] J. Hilgert, T. Kobayashi, G. Mano, and J. Möllers, Special functions associated to a certain fourth order differential equation, preprint, 31 pp., arxiv: [5], Orthogonal polynomials associated to a certain fourth order differential equation, preprint, 14 pp., arxiv: [6] T. Kobayashi and G. Mano, Integral formula of the unitary inversion operator for the minimal representation of Op, q, Proc. Japan Acad. Ser. A 7, 7 31, the full paper to appear in the Mem. Amer. Math. Soc. is available at arxiv: [7] T. Kobayashi and B. Ørsted, Analysis on the minimal representation of Op, q. I. Realization via conformal geometry, Adv. Math. 18 3, [8], Analysis on the minimal representation of Op, q. III. Ultrahyperbolic equations on R p 1,q 1, Adv. Math. 18 3,
arxiv: v2 [math.ca] 30 May 2011
Orthogonal polynomials associated to a certain fourth order differential equation arxiv:97.61v [math.ca] 3 May 11 Joachim Hilgert, Toshiyuki Kobayashi, Gen Mano, Jan Möllers Abstract We introduce orthogonal
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 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 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 informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationBessel s Equation. MATH 365 Ordinary Differential Equations. J. Robert Buchanan. Fall Department of Mathematics
Bessel s Equation MATH 365 Ordinary Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Background Bessel s equation of order ν has the form where ν is a constant. x 2 y + xy
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 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 informationRepresentations of Lie groups Four lectures for physicists, Erlangen, October 2013
Representations of Lie groups Four lectures for physicists, Erlangen, October 2013 Bent Ørsted, Aarhus University October 2, 2013 Overview and motivation In these lectures we shall explain some of the
More informationOn an Eigenvalue Problem Involving Legendre Functions by Nicholas J. Rose North Carolina State University
On an Eigenvalue Problem Involving Legendre Functions by Nicholas J. Rose North Carolina State University njrose@math.ncsu.edu 1. INTRODUCTION. The classical eigenvalue problem for the Legendre Polynomials
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Harmonic spinors and local deformations of the metric Bernd Ammann, Mattias Dahl, and Emmanuel Humbert Preprint Nr. 03/2010 HARMONIC SPINORS AND LOCAL DEFORMATIONS OF
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 informationThe Cylindrical Fourier Transform
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
More informationList of Symbols, Notations and Data
List of Symbols, Notations and Data, : Binomial distribution with trials and success probability ; 1,2, and 0, 1, : Uniform distribution on the interval,,, : Normal distribution with mean and variance,,,
More informationGENERALIZED WATSON TRANSFORMS I: GENERAL THEORY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 128, Number 9, Pages 2777 2787 S 0002-9939(00)05399-5 Article electronically published on February 29, 2000 GENERALIZED WATSON TRANSFORMS I: GENERAL
More informationarxiv: v1 [math.dg] 25 Dec 2018 SANTIAGO R. SIMANCA
CANONICAL ISOMETRIC EMBEDDINGS OF PROJECTIVE SPACES INTO SPHERES arxiv:82.073v [math.dg] 25 Dec 208 SANTIAGO R. SIMANCA Abstract. We define inductively isometric embeddings of and P n (C) (with their canonical
More informationArchiv 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 information1 Distributions (due January 22, 2009)
Distributions (due January 22, 29). The distribution derivative of the locally integrable function ln( x ) is the principal value distribution /x. We know that, φ = lim φ(x) dx. x ɛ x Show that x, φ =
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 informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
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 informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationEXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,
EXAM MATHEMATICAL METHODS OF PHYSICS TRACK ANALYSIS (Chapters I-V) Thursday, June 7th, 1-13 Students who are entitled to a lighter version of the exam may skip problems 1, 8-11 and 16 Consider the differential
More information1 Unitary representations of the Virasoro algebra
Week 5 Reading material from the books Polchinski, Chapter 2, 15 Becker, Becker, Schwartz, Chapter 3 Ginspargs lectures, Chapters 3, 4 1 Unitary representations of the Virasoro algebra Now that we have
More informationConvexity Properties of The Cone of Nonnegative Polynomials
Convexity Properties of The Cone of Nonnegative Polynomials Grigoriy Blekherman November 00 Abstract We study metric properties of the cone of homogeneous non-negative multivariate polynomials and the
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationAsymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends
Asymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends Kenichi ITO (University of Tokyo) joint work with Erik SKIBSTED (Aarhus University) 3 July 2018 Example: Free
More informationDIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES
DIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES TRIEU LE Abstract. In this paper we discuss some algebraic properties of diagonal Toeplitz operators on weighted Bergman spaces of the unit ball in
More informationA CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction
A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying
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 informationON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS
ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS GUNTER MALLE Abstract. We propose a modification of the predictions of the Cohen Lenstra heuristic for class groups of number fields in the case where
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
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 informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationShift Invariant Spaces and Shift Generated Dual Frames for Local Fields
Communications in Mathematics and Applications Volume 3 (2012), Number 3, pp. 205 214 RGN Publications http://www.rgnpublications.com Shift Invariant Spaces and Shift Generated Dual Frames for Local Fields
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationDeterminant of the Schrödinger Operator on a Metric Graph
Contemporary Mathematics Volume 00, XXXX Determinant of the Schrödinger Operator on a Metric Graph Leonid Friedlander Abstract. In the paper, we derive a formula for computing the determinant of a Schrödinger
More informationTitle Project Summary
Title Project Summary The aim of the project is an estimation theory of those special functions of analysis called zeta functions after the zeta function of Euler (1730). The desired estimates generalize
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationPoincaré Duality Angles on Riemannian Manifolds with Boundary
Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential
More informationwhich implies that we can take solutions which are simultaneous eigen functions of
Module 1 : Quantum Mechanics Chapter 6 : Quantum mechanics in 3-D Quantum mechanics in 3-D For most physical systems, the dynamics is in 3-D. The solutions to the general 3-d problem are quite complicated,
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 informationEXPLICIT QUANTIZATION OF THE KEPLER MANIFOLD
proceedings of the american mathematical Volume 77, Number 1, October 1979 society EXPLICIT QUANTIZATION OF THE KEPLER MANIFOLD ROBERT J. BLATTNER1 AND JOSEPH A. WOLF2 Abstract. Any representation ir of
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 informationAnother Low-Technology Estimate in Convex Geometry
Convex Geometric Analysis MSRI Publications Volume 34, 1998 Another Low-Technology Estimate in Convex Geometry GREG KUPERBERG Abstract. We give a short argument that for some C > 0, every n- dimensional
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationREGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES
REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES MAKIKO SUMI TANAKA 1. Introduction This article is based on the collaboration with Tadashi Nagano. In the first part of this article we briefly review basic
More informationTorus actions and Ricci-flat metrics
Department of Mathematics, University of Aarhus November 2016 / Trondheim To Eldar Straume on his 70th birthday DFF - 6108-00358 Delzant HyperKähler G2 http://mscand.dk https://doi.org/10.7146/math.scand.a-12294
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More informationTwo special equations: Bessel s and Legendre s equations. p Fourier-Bessel and Fourier-Legendre series. p
LECTURE 1 Table of Contents Two special equations: Bessel s and Legendre s equations. p. 259-268. Fourier-Bessel and Fourier-Legendre series. p. 453-460. Boundary value problems in other coordinate system.
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 informationRIGIDITY OF MINIMAL ISOMETRIC IMMERSIONS OF SPHERES INTO SPHERES. Christine M. Escher Oregon State University. September 10, 1997
RIGIDITY OF MINIMAL ISOMETRIC IMMERSIONS OF SPHERES INTO SPHERES Christine M. Escher Oregon State University September, 1997 Abstract. We show two specific uniqueness properties of a fixed minimal isometric
More informationFrom Wikipedia, the free encyclopedia
1 of 8 27/03/2013 12:41 Quadratic form From Wikipedia, the free encyclopedia In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. For example, is a quadratic
More informationUNIFORM BOUNDS FOR BESSEL FUNCTIONS
Journal of Applied Analysis Vol. 1, No. 1 (006), pp. 83 91 UNIFORM BOUNDS FOR BESSEL FUNCTIONS I. KRASIKOV Received October 8, 001 and, in revised form, July 6, 004 Abstract. For ν > 1/ and x real we shall
More informationBernstein-Szegö Inequalities in Reproducing Kernel Hilbert Spaces ABSTRACT 1. INTRODUCTION
Malaysian Journal of Mathematical Sciences 6(2): 25-36 (202) Bernstein-Szegö Inequalities in Reproducing Kernel Hilbert Spaces Noli N. Reyes and Rosalio G. Artes Institute of Mathematics, University of
More informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationThe 3 dimensional Schrödinger Equation
Chapter 6 The 3 dimensional Schrödinger Equation 6.1 Angular Momentum To study how angular momentum is represented in quantum mechanics we start by reviewing the classical vector of orbital angular momentum
More informationECON 4117/5111 Mathematical Economics
Test 1 September 29, 2006 1. Use a truth table to show the following equivalence statement: (p q) (p q) 2. Consider the statement: A function f : X Y is continuous on X if for every open set V Y, the pre-image
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 informationNotes on Special Functions
Spring 25 1 Notes on Special Functions Francis J. Narcowich Department of Mathematics Texas A&M University College Station, TX 77843-3368 Introduction These notes are for our classes on special functions.
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
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 informationBessel Functions Michael Taylor. Lecture Notes for Math 524
Bessel Functions Michael Taylor Lecture Notes for Math 54 Contents 1. Introduction. Conversion to first order systems 3. The Bessel functions J ν 4. The Bessel functions Y ν 5. Relations between J ν and
More informationEXPLICIT SOLUTIONS OF THE WAVE EQUATION ON THREE DIMENSIONAL SPACE-TIMES: TWO EXAMPLES WITH DIRICHLET BOUNDARY CONDITIONS ON A DISK ABSTRACT
EXPLICIT SOLUTIONS OF THE WAVE EQUATION ON THREE DIMENSIONAL SPACE-TIMES: TWO EXAMPLES WITH DIRICHLET BOUNDARY CONDITIONS ON A DISK DANIIL BOYKIS, PATRICK MOYLAN Physics Department, The Pennsylvania State
More informationESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction
ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES ANDREAS ČAP AND KARIN MELNICK Abstract. We use the general theory developed in our article [1] in the setting of parabolic
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationOn Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable
Communications in Mathematics and Applications Volume (0), Numbers -3, pp. 97 09 RGN Publications http://www.rgnpublications.com On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable A. Shehata
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 informationON THE SHARPNESS OF ONE INEQUALITY OF DIFFERENT METRICS FOR ALGEBRAIC POLYNOMIALS arxiv: v1 [math.ca] 5 Jul 2016
In memory of my Grandmother ON THE SHARPNESS OF ONE INEQUALITY OF DIFFERENT METRICS FOR ALGEBRAIC POLYNOMIALS arxiv:1607.01343v1 [math.ca] 5 Jul 016 Roman A. Veprintsev Abstract. We prove that the previously
More informationON THE BEHAVIOR OF THE SOLUTION OF THE WAVE EQUATION. 1. Introduction. = u. x 2 j
ON THE BEHAVIO OF THE SOLUTION OF THE WAVE EQUATION HENDA GUNAWAN AND WONO SETYA BUDHI Abstract. We shall here study some properties of the Laplace operator through its imaginary powers, and apply the
More informationComputation of the scattering amplitude in the spheroidal coordinates
Computation of the scattering amplitude in the spheroidal coordinates Takuya MINE Kyoto Institute of Technology 12 October 2015 Lab Seminar at Kochi University of Technology Takuya MINE (KIT) Spheroidal
More informationStability of Kernel Based Interpolation
Stability of Kernel Based Interpolation Stefano De Marchi Department of Computer Science, University of Verona (Italy) Robert Schaback Institut für Numerische und Angewandte Mathematik, University of Göttingen
More informationOn the Dimension of the Stability Group for a Levi Non-Degenerate Hypersurface
1 On the Dimension of the Stability Group for a Levi Non-Degenerate Hypersurface Vladimir Ezhov and Alexander Isaev We classify locally defined non-spherical real-analytic hypersurfaces in complex space
More information# Points Score Total 100
Name: PennID: Math 241 Make-Up Final Exam January 19, 2016 Instructions: Turn off and put away your cell phone. Please write your Name and PennID on the top of this page. Please sign and date the pledge
More informationSINGULAR CURVES OF AFFINE MAXIMAL MAPS
Fundamental Journal of Mathematics and Mathematical Sciences Vol. 1, Issue 1, 014, Pages 57-68 This paper is available online at http://www.frdint.com/ Published online November 9, 014 SINGULAR CURVES
More informationOn the Weyl symbol of the resolvent of the harmonic oscillator
On the Weyl symbol of the resolvent of the harmonic oscillator Jan Dereziński, Maciej Karczmarczyk Department of Mathematical Methods in Physics, Faculty of Physics University of Warsaw, Pasteura 5, -93,
More informationOn the spectrum of the Laplacian
On the spectrum of the Laplacian S. Kesavan Institute of Mathematical Sciences, CIT Campus, Taramani, Chennai - 600113. kesh@imsc.res.in July 1, 2013 S. Kesavan (IMSc) Spectrum of the Laplacian July 1,
More informationEXTREMELY CHARGED STATIC DUST DISTRIBUTIONS IN GENERAL RELATIVITY
arxiv:gr-qc/9806038v1 8 Jun 1998 EXTREMELY CHARGED STATIC DUST DISTRIBUTIONS IN GENERAL RELATIVITY METÍN GÜRSES Mathematics department, Bilkent University, 06533 Ankara-TURKEY E-mail: gurses@fen.bilkent.edu.tr
More informationSpherical Coordinates and Legendre Functions
Spherical Coordinates and Legendre Functions Spherical coordinates Let s adopt the notation for spherical coordinates that is standard in physics: φ = longitude or azimuth, θ = colatitude ( π 2 latitude)
More informationNumerical Range in C*-Algebras
Journal of Mathematical Extension Vol. 6, No. 2, (2012), 91-98 Numerical Range in C*-Algebras M. T. Heydari Yasouj University Abstract. Let A be a C*-algebra with unit 1 and let S be the state space of
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 informationTopological Solitons from Geometry
Topological Solitons from Geometry Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge Atiyah, Manton, Schroers. Geometric models of matter. arxiv:1111.2934.
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationmsqm 2011/8/14 21:35 page 189 #197
msqm 2011/8/14 21:35 page 189 #197 Bibliography Dirac, P. A. M., The Principles of Quantum Mechanics, 4th Edition, (Oxford University Press, London, 1958). Feynman, R. P. and A. P. Hibbs, Quantum Mechanics
More informationPositive operator valued measures covariant with respect to an irreducible representation
Positive operator valued measures covariant with respect to an irreducible representation G. Cassinelli, E. De Vito, A. Toigo February 26, 2003 Abstract Given an irreducible representation of a group G,
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationLecture 4.6: Some special orthogonal functions
Lecture 4.6: Some special orthogonal functions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4340, Advanced Engineering Mathematics
More informationUnitarity of non-spherical principal series
Unitarity of non-spherical principal series Alessandra Pantano July 2005 1 Minimal Principal Series G: a real split semisimple Lie group θ: Cartan involution; g = k p: Cartan decomposition of g a: maximal
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More information1 r 2 sin 2 θ. This must be the case as we can see by the following argument + L2
PHYS 4 3. The momentum operator in three dimensions is p = i Therefore the momentum-squared operator is [ p 2 = 2 2 = 2 r 2 ) + r 2 r r r 2 sin θ We notice that this can be written as sin θ ) + θ θ r 2
More informationarxiv:hep-th/ v2 6 Jan 2004
hep-th/0310063 January 2004 arxiv:hep-th/0310063v2 6 Jan 2004 The group approach to AdS space propagators: A fast algorithm Thorsten Leonhardt, Werner Rühl Fachbereich Physik, TU Kaiserslautern Postfach
More informationReview problems for MA 54, Fall 2004.
Review problems for MA 54, Fall 2004. Below are the review problems for the final. They are mostly homework problems, or very similar. If you are comfortable doing these problems, you should be fine on
More informationLight Scattering Group
Light Scattering Inversion Light Scattering Group A method of inverting the Mie light scattering equation of spherical homogeneous particles of real and complex argument is being investigated The aims
More informationIntroduction to orthogonal polynomials. Michael Anshelevich
Introduction to orthogonal polynomials Michael Anshelevich November 6, 2003 µ = probability measure on R with finite moments m n (µ) = R xn dµ(x)
More informationUNIQUENESS RESULTS ON SURFACES WITH BOUNDARY
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY XIAODONG WANG. Introduction The following theorem is proved by Bidaut-Veron and Veron [BVV]. Theorem. Let (M n, g) be a compact Riemannian manifold and u C
More informationThe spectral zeta function
The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram
More information