Notes on character sums and complex functions over nite elds
|
|
- Valerie Hall
- 5 years ago
- Views:
Transcription
1 Notes on character sums and complex functions over nite elds N. V. Proskurin Abstract. The intent of this notes is to present briey the complex functions over nite elds theory. That includes: (a) additive and multiplicative characters; (b) Gauss and Jacobi sums, other trigonometric sums; (c) Fourier expansion, power series expansion, dierentiation; (d) special functions like Hermit polynomials, hypergeometric functions and so on. The theory has been developed through parallels with the classical functions theory. The basis for this parallel is the analogy between Gauss sums and the gamma function. 1. Preliminaries The notation we use is very standard, and we only summarize here the most common. Given prime p, let F be the nite eld with = p l elements and with prime subeld F p = Z/pZ. Let trace: F F p be the trace function. We write F for the multiplicative group of F. Fix (once for all) a non-trivial additive character e : F C. With some h F, one has e (x) = exp ( 2πi trace(hx)/p ) for all x F. We write F for the group of multiplicative characters of F, i. e. for the group of homomorphisms : F C. Extend each multiplicative character to all of F by setting () =. We write ɛ for the trivial character, ɛ(x) = 1 for all x F, ɛ() =. Dene δ : F C by setting δ() = 1 and δ(x) = for all x F. 2. Background The Gauss sum G() = (x)e (x) with F, being considered as complex x F function on F, is uite similar to the Euler gamma function Γ (s) = exp( x) x s 1 dx for s C with Re s >.
2 2 N. V. Proskurin For better understanding, note that x exp( x) is a character of the additive group of real numbers eld, that x x s is a character of the multiplicative group of positive real numbers, and that the integration over dx/x is invariant under multiplicative translations. Similarly, we see that the Jacobi sum J(α, β) = x F α(x)β(1 x) with α, β F is the analogue of the Euler beta function B(a, b) = 1 x a 1 (1 x) b 1 dx for a, b C, Re a >, Re b >. It occurs that a lot of identities satised by the gamma and beta functions have nite eld analogues. Say, the formulas G() G() = ( 1) and J(α, β) = G(α)G(β), G(αβ) where ɛ and αβ ɛ, are the nite eld analogues of the reection formula Γ (s) Γ (1 s) = π for s C sin πs and Γ (a)γ (b) B(a, b) = with a, b C. Γ (a + b) The analogy observed dates back to the nineteenth century. For more advanced analogy we may look on the Gauss multiplication formula for the gamma function, m 1 n= ( Γ s + n ) = (2π) (m 1)/2 m 1/2 ms Γ (ms) m with any s C and integer m 1. Given a nite eld F, a character ψ F and an integer m ( 1), we have a nite eld counterpart of the multiplication formula. That is the DavenportHasse [1 relation { G(ψ) = ψ(m) } m G() G(ψ m ), where the products range over F under the assumption m = ɛ. 3. On cubic exponential and Kloosterman sums A very instructive sample of analogy between classical special functions and character sums is given by Iwaniec and Duke [2. Consider the integral representation K 1/3 (u) = u 1/3 ) exp ( t u2 dt 4t (2t) 4/3
3 Functions over nite elds 3 for the BesselMacdonald function and the Nicholson formula for the Airy integral cos(t 3 + tv) dt = v1/2 3 K 1/3(2(v/3) 3/2 ), which are valid at least for real positive u, v. From these two formulas, it follows exp ( i (cx 3 + x) ) dx = 3 1/2 ( x c ) 1/3 exp ( x 1 27cx ) dx x with any real c >. Assume 3 ( 1). This case there exists cubic character ψ of F and cubic Kloosterman sums, which one can treat as analogue of the integral in the right-hand side. Following the analogue, Iwaniec and Duke deduced very important formula which relates cubic Kloosterman sum to cubic exponential sum. That is e (cx 3 + x) = ψ(xc 1 ) e (x (27cx) 1 ) for c F. x F x F The proof in [2 involves DavenportHasse relation and Fourier transform. For extended result see [3. 4. Elements of analysis Consider the complex vector space Ω of all functions F C supplied with the inner product f, g = x F f(x)g(x) for all f, g Ω. The additive characters form an orthogonal bases for the Ω. Given a function F : F C, its additive Fourier transform is the function ˆF : F C dened by ˆF (x) = y F F (y)e (yx) for all x F. The Fourier inversion formula F (z) = 1 ˆF (x)e ( xz) for all z F x F allows one to recover F from ˆF and can be considered as the expansion of F over basis consisting of additive characters. Given a function F : F C, its multiplicative Fourier transform is the function F : F C dened by F () = x F F (x)(x) for all F.
4 4 N. V. Proskurin The Fourier inversion formula F (z) = 1 1 F F ()(z) for all z F allows one to recover F from F. Given a function F : F C, one has a similar expansion with one additional term F (z) = F () δ(z) + F C (z) with C = 1 1 F (). One can treat the sum over as the sum over ɛ, ρ, ρ 2,... ρ 1, whenever ρ generates the group F. So, that is a nite eld analogue of power series expansion. The multiplicative characters together with δ form an orthogonal bases for the Ω. For example, given ρ F ρ(1 + x) = δ(x) + 1 k= and x F, one has the expansion ρ ρ (x) with F = ( 1) J(ρ, ), which is nite eld analogue of the classical binomial formula r r r (1 + x) r = x k r! with = k k (r k)! k!, x C. For another example, let F be additive character e. One has e ( z) = F (z) G() for all z F. That is a nite eld analogue for the power series expansion for the exponent. We refer to Greene [4 for both examples and for properties of the binomial coecients. 5. Dierentiation Given character F, dene the linear operator D : Ω Ω by D F (x) = 1 G() for all F : F C and x F. We nd easily t F F (t) (x t) D ɛ F (x) = F (x) t F F (t), 1 G() D F (x) = 1 t F F (t) (t x)
5 Functions over nite elds 5 for all F and x as above and ɛ. According to Evans [5, D F is the derivative of order of F. This denition is motivated by the Cauchy integral formula 1 n! f (n) (x) = 1 f(t) dt 2πi (t x) n+1 for the derivative f (n) of any order n of the function f. One nds easily some standard properties. Say, D takes constant functions to zero function, whenever ɛ. Then, D α D β = D αβ for characters α, β subject to αβ ɛ. Also, given two functions E and F, x F, and the character ν we have the formula for integration by parts E(x) D ν F (x) = ν( 1) F (x) D ν E(x) x F x F and the Leibniz rule for the ν-th derivative of the product D ν EF (x) = 1 G(µ)G(µν) D µ E(x) D νµ F (x). 1 G(ν) µ F Given any character ν, let F (x) = e ( x) for all x F. This case we have D ν F = F. For any function F : F C and a F, we have expansion F (x) = 1 G(ν)D ν F (a) ν(a x) 1 ν F for all x F, x a. That is a nite eld analogue of the Taylor expansion. 6. Hermite character sums Given any character ν F, let H ν (x) = 1 ν(u)e (u 2 + 2ux) G(ν) u F for all x F. The denition is given in [5 as nite eld analogue of the classical Hermite polynomials. We nd in [5 a lot of formulas involving the character sums H ν which are uite similar to that for the Hermite polynomials H n. Say, we have H n ( x) = ( 1) n H n (x) for all x R and integer n, and we have H ν ( x) = ν( 1) H ν (x) for all x F, ν F. Also, for all x F, one has H ν (x) = ν( 1)F (x) 1 D ν F (x), where F (x) = e (x 2 ). That is a nite eld analogue of the Rodriguez formula H n (x) = ( 1) n exp(x 2 ) dn dx n exp( x2 ), x R, for the classical Hermite polynomials H n. In a similar manner one can treat the Legendre polynomials, the Bessel functions and other classical polynomials and special functions.
6 6 N. V. Proskurin 7. Hypergeometric functions For the hypergeometric function 2 F 1 one has the Euler integral representation 2F 1 (a, b; c; x) = Γ(c) Γ(b) Γ(c b) 1 t b (1 t) c b (1 xt) a dt t (1 t). Greene [4 dened the hypergeometric functions on F by [ α, β 2F 1 x = ɛ(x) β( 1) β(t) β(1 t) α(1 xt) t F for any characters α, β, F and x F. With this denition and notation one has power series expansion [ α, β 2F 1 x = α β (x), 1 and one has the more general denition [ α, α 1,..., α n n+1f n x = α α1 αn... (x) β 1,..., β n 1 β 1 β n for any integer n 1 and characters α,... β n F. Like their classical counterparts, hypergeometric functions over nite elds satisfy many transformation identities. Say, as analogue for Pfa's transformation [6, [4 we have 2F 1 [ α, β F F [ α, β x = β(1 x) 2 F 1 x x 1 for any characters α, β, F and x F, x 1. Let us turn to the function 3 F 2. In the classical context, there are some summation formulas. We mean the formulas of Saalschütz, Dixon, Watson, Whipple. Greene [4 gives analogues for each of them. Say, as analogue for Saalschütz's formula [6 we have [ α, β, β 3F 2 1 = β( 1) 1 βρ ρ, αβρ αρ ρ βρ( 1). α As one more example, consider Clausen's famous classical identity [7 3F 2 (2c 2s 1, 2s, c 1/2; 2c 1, c; x) = 2 F 1 (c s 1/2, s; c; x) 2, which was utilized in de Branges' proof of the Bieberbach conjecture. By Evans and Greene [8, one has a nite eld analogue of this formula. That is [ α 3F 2 2, α 2, φ (x) φ(1 x) (4) J(α, α) [ αφ, α 2, 2 2 x = +, 2F 1 x J(α, α) where x F, x 1, φ is the uadratic character (φ ɛ, φ 2 = ɛ), and it is assumed that φ, α 2 ɛ,, 2.
7 Functions over nite elds 7 A study of special function analogues over nite elds serve as a useful tool when applied to problems related to character sums. For more transformation formulas, farther developments and applications we refer to [9, 1, 11, 12, 13, 14, 15. One can nd Magma code to compute the hypergeometric functions over nite elds in the dissertation [1. References [1 H. Davenport and H. Hasse, Die Nullstellen der Kongruenzzetafunktionen in gewissen zyklischen Fällen, J. reine angew. Math., 172, 1934, [2 W. Duke and H. Iwaniec, A relation between cubic exponential and Kloosterman sums, Contemporary Mathematics, 143, 1993, [3 Zhengyu Mao, Airy sums, Kloosterman sums, and Salié sums, Journal of Number Theory, 65, 1997, [4 J. Greene, Hypergeometric functions over nite elds, Transactions of the American Math. Soc., 31, No. 1, 7711, [5 R. J. Evans, Hermite character sums, Pacic Journal of Mathematics, 122, No. 2, 35739, [6 L. Slater, Generalized hypergeometric functions, Cambridge Univ. Press, [7 W. N. Bailey, Generalized hypergeometric series, StrechertHafner, New York, [8 R. Evans, J. Greene, Clausen's theorem and hypergeometric functions over nite elds, Finite Fields and Their Applications 15, 29, [9 J. Greene, D. Stanton, A character sum evaluation and Gaussian hypergeometric series, Journal of Number Theory, 23, no. 1, , [1 C. Lennon, Arithmetic and analytic properties of nite eld hypergeometric functions, Submitted for the degree of PhD at the Massachusetts Inst. of technology, June 26. [11 J. Rouse, Hypergeometric functions and elliptic curves, Ramanujan Journal, 12, no. 2, 19725, 26. [12 R. Barman, G. Kalita Elliptic curves and special values of Gaussian hypergeometric series, Journal of Number Theory, 133, issue 9, pages , September 213. [13 A. Deines, J. G. Fuselier, L. Long, H. Swisher, Fang-Ting Tu, Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions, Directions in Number Theory, Springer, Cham. Association for women in mathematics series, vol. 3, 216. [14 J. Fuselier, L. Long, R. Ramakrishna, H. Swisher, Fang-Ting Tu, Hypergeometric functions over nite elds, arxiv: v2 [math.nt, 1 April 216. [15 R. Evans, J. Greene, A uadratic hypergeometric 2F 1 transformation over nite elds, Proc. Amer. Math. Soc. 145, 217, N. V. Proskurin St. Petersburg Department of Steklov Institute of Mathematics RAS 19123, Fontanka 27, St. Petersburg, Russia np@pdmi.ras.ru
On character sums and complex functions over nite elds
On character sums and complex functions over nite elds N. V. Proskurin April 17, 2018 In this lecture I want to present the complex functions over nite elds theory. The theory has been developed through
More informationAppell Lauricella hypergeometric functions over finite fields, and a new cubic transformation formula
Appell Lauricella hypergeometric functions over finite fields and a new cubic transformation formula Sharon Frechette Holly Swisher and Fang-Ting Tu Abstract We define a finite-field version of Appell
More informationOn integral representations of q-gamma and q beta functions
On integral representations of -gamma and beta functions arxiv:math/3232v [math.qa] 4 Feb 23 Alberto De Sole, Victor G. Kac Department of Mathematics, MIT 77 Massachusetts Avenue, Cambridge, MA 239, USA
More informationHypergeometric Functions and Hypergeometric Abelian Varieties
Hypergeometric Functions and Hypergeometric Abelian Varieties Fang-Ting Tu Louisiana State University September 29th, 2016 BIRS Workshop: Modular Forms in String Theory Fang Ting Tu (LSU) Hypergeometric
More informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS. Special Functions GEORGE E. ANDREWS RICHARD ASKEY RANJAN ROY CAMBRIDGE UNIVERSITY PRESS
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS Special Functions GEORGE E. ANDREWS RICHARD ASKEY RANJAN ROY CAMBRIDGE UNIVERSITY PRESS Preface page xiii 1 The Gamma and Beta Functions 1 1.1 The Gamma
More informationA P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME
A P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME ERIC MORTENSON Abstract. In this paper we prove a p-adic supercongruence conjecture of van Hamme by placing it in the context of the Beuers-lie supercongruences
More informationHypergeometric Functions over Finite Fields
Hypergeometric Functions over Finite Fields Ling Long Louisiana State University Connecticut Summer School in Number Theory Research Conference Joint work with Jenny Fuselier, Ravi Ramakrishna, Holly Swisher
More informationHomepage: WWW: george/
LIST OF PUBLICATIONS of George Gasper (George Gasper, Jr.) (2/16/07 version) Department of Mathematics, Northwestern University, Evanston, Illinois 60208, (847) 491-5592 E-mail: george at math.northwestern.edu
More informationq GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS
q GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS BRUCE C. BERNDT 1 and AE JA YEE 1. Introduction Recall that the q-gauss summation theorem is given by (a; q) n (b; q) ( n c ) n (c/a; q) (c/b; q) =, (1.1)
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationPHYS 404 Lecture 1: Legendre Functions
PHYS 404 Lecture 1: Legendre Functions Dr. Vasileios Lempesis PHYS 404 - LECTURE 1 DR. V. LEMPESIS 1 Legendre Functions physical justification Legendre functions or Legendre polynomials are the solutions
More informationHypergeometric series and the Riemann zeta function
ACTA ARITHMETICA LXXXII.2 (997) Hypergeometric series and the Riemann zeta function by Wenchang Chu (Roma) For infinite series related to the Riemann zeta function, De Doelder [4] established numerous
More informationContents. I Basic Methods 13
Preface xiii 1 Introduction 1 I Basic Methods 13 2 Convergent and Divergent Series 15 2.1 Introduction... 15 2.1.1 Power series: First steps... 15 2.1.2 Further practical aspects... 17 2.2 Differential
More informationarxiv:math/ v1 [math.ca] 8 Nov 2003
arxiv:math/0311126v1 [math.ca] 8 Nov 2003 PARTIAL SUMS OF HYPERGEOMETRIC SERIES OF UNIT ARGUMENT 1 WOLFGANG BÜHRING Abstract. The asymptotic behaviour of partial sums of generalized hypergeometric series
More informationON GENERALIZED WEYL FRACTIONAL q-integral OPERATOR INVOLVING GENERALIZED BASIC HYPERGEOMETRIC FUNCTIONS. Abstract
ON GENERALIZED WEYL FRACTIONAL q-integral OPERATOR INVOLVING GENERALIZED BASIC HYPERGEOMETRIC FUNCTIONS R.K. Yadav 1, S.D. Purohit, S.L. Kalla 3 Abstract Fractional q-integral operators of generalized
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 informationAnalytic Number Theory
American Mathematical Society Colloquium Publications Volume 53 Analytic Number Theory Henryk Iwaniec Emmanuel Kowalski American Mathematical Society Providence, Rhode Island Contents Preface xi Introduction
More informationNumerical Analysis Preliminary Exam 10 am to 1 pm, August 20, 2018
Numerical Analysis Preliminary Exam 1 am to 1 pm, August 2, 218 Instructions. You have three hours to complete this exam. Submit solutions to four (and no more) of the following six problems. Please start
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 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 informationTHE DIRICHLET DIVISOR PROBLEM, BESSEL SERIES EXPANSIONS IN RAMANUJAN S LOST NOTEBOOK, AND RIESZ SUMS. Bruce Berndt
Title and Place THE DIRICHLET DIVISOR PROBLEM, BESSEL SERIES EXPANSIONS IN RAMANUJAN S LOST NOTEBOOK, AND RIESZ SUMS Bruce Berndt University of Illinois at Urbana-Champaign IN CELEBRATION OF THE 80TH BIRTHDAY
More informationarxiv: v1 [math.nt] 4 Oct 2016
ON SOME MULTIPLE CHARACTER SUMS arxiv:1610.01061v1 [math.nt] 4 Oct 2016 ILYA D. SHKREDOV AND IGOR E. SHPARLINSKI Abstract. We improve a recent result of B. Hanson (2015) on multiplicative character sums
More informationREPRESENTATIONS OF BINARY FORMS BY QUINARY QUADRATIC FORMS 103 such thatb(l L) Z. The corresponding quadratic map is denoted by Q. Let L be a Z-lattic
Trends in Mathematics Information Center for Mathematical Sciences Volume 3, December 2000, Pages 102{107 REPRESENTATIONS OF BINARY FORMS BY QUINARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. In this article,
More informationSome generalizations of a supercongruence of van Hamme
Some generalizations of a supercongruence of van Hamme Victor J. W. Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an, Jiangsu 3300, People s Republic of China jwguo@hytc.edu.cn Abstract.
More informationarxiv: v1 [math.nt] 22 Jan 2019
Factors of some truncated basic hypergeometric series Victor J W Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an 223300, Jiangsu People s Republic of China jwguo@hytceducn arxiv:190107908v1
More informationThe Riemann Hypothesis Project summary
The Riemann Hypothesis Project summary The spectral theory of the vibrating string is applied to a proof of the Riemann hypothesis for the Hecke zeta functions in the theory of modular forms. A proof of
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationBASIC HYPERGEOMETRIC SERIES
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS BASIC HYPERGEOMETRIC SERIES Second Edition GEORGE GASPER Northwestern University, Evanston, Illinois, USA MIZAN RAHMAN Carleton University, Ottawa, Canada
More informationx x2 2 + x3 3 x4 3. Use the divided-difference method to find a polynomial of least degree that fits the values shown: (b)
Numerical Methods - PROBLEMS. The Taylor series, about the origin, for log( + x) is x x2 2 + x3 3 x4 4 + Find an upper bound on the magnitude of the truncation error on the interval x.5 when log( + x)
More informationMATH 543: FUCHSIAN DIFFERENTIAL EQUATIONS HYPERGEOMETRIC FUNCTION
SET 7 MATH 543: FUCHSIAN DIFFERENTIAL EQUATIONS HYERGEOMETRIC FUNCTION References: DK and Sadri Hassan. Historical Notes: lease read the book Linear Differential Equations and the Group Theory by Jeremy
More informationELLIPSES AND ELLIPTIC CURVES. M. Ram Murty Queen s University
ELLIPSES AND ELLIPTIC CURVES M. Ram Murty Queen s University Planetary orbits are elliptical What is an ellipse? x 2 a 2 + y2 b 2 = 1 An ellipse has two foci From: gomath.com/geometry/ellipse.php Metric
More informationSOME UNIFIED AND GENERALIZED KUMMER S FIRST SUMMATION THEOREMS WITH APPLICATIONS IN LAPLACE TRANSFORM TECHNIQUE
Asia Pacific Journal of Mathematics, Vol. 3, No. 1 16, 1-3 ISSN 357-5 SOME UNIFIED AND GENERAIZED KUMMER S FIRST SUMMATION THEOREMS WITH APPICATIONS IN APACE TRANSFORM TECHNIQUE M. I. QURESHI 1 AND M.
More informationAsymptotics of Integrals of. Hermite Polynomials
Applied Mathematical Sciences, Vol. 4, 010, no. 61, 04-056 Asymptotics of Integrals of Hermite Polynomials R. B. Paris Division of Complex Systems University of Abertay Dundee Dundee DD1 1HG, UK R.Paris@abertay.ac.uk
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 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 informationResearch Article Extensions of Certain Classical Summation Theorems for the Series 2 F 1, 3 F 2, and 4 F 3 with Applications in Ramanujan s Summations
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 00, Article ID 309503, 6 pages doi:0.55/00/309503 Research Article Extensions of Certain Classical Summation
More informationNUMBERS OF SOLUTIONS OF EQUATIONS IN FINITE FIELDS. The equations to be considered here are those of the type
BULLETIN (Old Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 55 (949), Pages 497 508 S (XX)0000-0 NUMBERS OF SOLUTIONS OF EQUATIONS IN FINITE FIELDS ANDRÉ WEIL The equations to be considered here
More informationCAM Ph.D. Qualifying Exam in Numerical Analysis CONTENTS
CAM Ph.D. Qualifying Exam in Numerical Analysis CONTENTS Preliminaries Round-off errors and computer arithmetic, algorithms and convergence Solutions of Equations in One Variable Bisection method, fixed-point
More informationCOMPUTATION OF BESSEL AND AIRY FUNCTIONS AND OF RELATED GAUSSIAN QUADRATURE FORMULAE
BIT 6-85//41-11 $16., Vol. 4, No. 1, pp. 11 118 c Swets & Zeitlinger COMPUTATION OF BESSEL AND AIRY FUNCTIONS AND OF RELATED GAUSSIAN QUADRATURE FORMULAE WALTER GAUTSCHI Department of Computer Sciences,
More informationULTRASPHERICAL TYPE GENERATING FUNCTIONS FOR ORTHOGONAL POLYNOMIALS
ULTRASPHERICAL TYPE GENERATING FUNCTIONS FOR ORTHOGONAL POLYNOMIALS arxiv:083666v [mathpr] 8 Jan 009 Abstract We characterize, up to a conjecture, probability distributions of finite all order moments
More informationPerformance Evaluation of Generalized Polynomial Chaos
Performance Evaluation of Generalized Polynomial Chaos Dongbin Xiu, Didier Lucor, C.-H. Su, and George Em Karniadakis 1 Division of Applied Mathematics, Brown University, Providence, RI 02912, USA, gk@dam.brown.edu
More informationPH.D. PRELIMINARY EXAMINATION MATHEMATICS
UNIVERSITY OF CALIFORNIA, BERKELEY SPRING SEMESTER 207 Dept. of Civil and Environmental Engineering Structural Engineering, Mechanics and Materials NAME PH.D. PRELIMINARY EXAMINATION MATHEMATICS Problem
More informationCOMBINATORIAL PROOFS OF RAMANUJAN S 1 ψ 1 SUMMATION AND THE q-gauss SUMMATION
COMBINATORIAL PROOFS OF RAMANUJAN S 1 ψ 1 SUMMATION AND THE q-gauss SUMMATION AE JA YEE 1 Abstract. Theorems in the theory of partitions are closely related to basic hypergeometric series. Some identities
More informationENTIRE FUNCTIONS AND COMPLETENESS PROBLEMS. Lecture 3
ENTIRE FUNCTIONS AND COMPLETENESS PROBLEMS A. POLTORATSKI Lecture 3 A version of the Heisenberg Uncertainty Principle formulated in terms of Harmonic Analysis claims that a non-zero measure (distribution)
More informationInternational Journal of Pure and Applied Sciences and Technology
Int. J. Pure Appl. Sci. Technol., 15(2) (2013), pp. 68-72 International Journal of Pure and Applied Sciences and Technology ISSN 2229-6107 Available online at www.ijopaasat.in Research Paper Generalization
More informationThe triplication formula for Gauss sums
Aequationes Mathematicae 30 (1986) 134-141 University of Waterloo 0001-9054/86/001 t 34-85 t.50 + 020/0 1986 Birkh/iuser Verlag, Basel The triplication formula for Gauss sums JOHN GREENE AND DENNIS STANTON
More information1 Ordinary points and singular points
Math 70 honors, Fall, 008 Notes 8 More on series solutions, and an introduction to \orthogonal polynomials" Homework at end Revised, /4. Some changes and additions starting on page 7. Ordinary points and
More informationGeneralization of Hensel lemma: nding of roots of p-adic Lipschitz functions
Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions (joint talk with Andrei Khrennikov) Dr. Ekaterina Yurova Axelsson Linnaeus University, Sweden September 8, 2015 Outline Denitions
More informationMA22S3 Summary Sheet: Ordinary Differential Equations
MA22S3 Summary Sheet: Ordinary Differential Equations December 14, 2017 Kreyszig s textbook is a suitable guide for this part of the module. Contents 1 Terminology 1 2 First order separable 2 2.1 Separable
More informationMultiple orthogonal polynomials. Bessel weights
for modified Bessel weights KU Leuven, Belgium Madison WI, December 7, 2013 Classical orthogonal polynomials The (very) classical orthogonal polynomials are those of Jacobi, Laguerre and Hermite. Classical
More informationFourier series: Fourier, Dirichlet, Poisson, Sturm, Liouville
Fourier series: Fourier, Dirichlet, Poisson, Sturm, Liouville Joseph Fourier (1768-1830) upon returning from Egypt in 1801 was appointed by Napoleon Prefect of the Department of Isères (where Grenoble
More informationFast Numerical Methods for Stochastic Computations
Fast AreviewbyDongbinXiu May 16 th,2013 Outline Motivation 1 Motivation 2 3 4 5 Example: Burgers Equation Let us consider the Burger s equation: u t + uu x = νu xx, x [ 1, 1] u( 1) =1 u(1) = 1 Example:
More information1 Assignment 1: Nonlinear dynamics (due September
Assignment : Nonlinear dynamics (due September 4, 28). Consider the ordinary differential equation du/dt = cos(u). Sketch the equilibria and indicate by arrows the increase or decrease of the solutions.
More informationPolynomials. p n (x) = a n x n + a n 1 x n 1 + a 1 x + a 0, where
Polynomials Polynomials Evaluation of polynomials involve only arithmetic operations, which can be done on today s digital computers. We consider polynomials with real coefficients and real variable. p
More informationBilinear generating relations for a family of q-polynomials and generalized basic hypergeometric functions
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 16, Number 2, 2012 Available online at www.math.ut.ee/acta/ Bilinear generating relations for a family of -polynomials and generalized
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationA generalisation of the quintuple product identity. Abstract
A generalisation of the quintuple product identity Abstract The quintuple identity has appeared many times in the literature. Indeed, no fewer than 12 proofs have been given. We establish a more general
More informationApplicable Analysis and Discrete Mathematics available online at ABEL S METHOD ON SUMMATION BY PARTS.
Applicable Analysis and Discrete Mathematics available online at http://pefmathetfrs Appl Anal Discrete Math 4 010), 54 65 doi:1098/aadm1000006c ABEL S METHOD ON SUMMATION BY PARTS AND BALANCED -SERIES
More informationAn Interpretation of some congruences concerning Ramanujan s τ-function
An Interpretation of some congruences concerning Ramanujan s τ-function Jean-Pierre Serre September 11, 2003 1 Ramanujan s τ-function Definition Let us put D(x) = x (1 x m ) 24. (1) The coefficient of
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 informationRATIONAL POINTS ON SOME FERMAT CURVES AND SURFACES OVER FINITE FIELDS
RATIONAL POINTS ON SOME FERMAT CURVES AND SURFACES OVER FINITE FIELDS JOSÉ FELIPE VOLOCH AND MICHAEL E. ZIEVE Abstract. We give an explicit description of the F q i-rational points on the Fermat curve
More informationIndex. for Ɣ(a, z), 39. convergent asymptotic representation, 46 converging factor, 40 exponentially improved, 39
Index Abramowitz function computed by Clenshaw s method, 74 absolute error, 356 Airy function contour integral for, 166 Airy functions algorithm, 359 asymptotic estimate of, 18 asymptotic expansions, 81,
More informationSuper congruences involving binomial coefficients and new series for famous constants
Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
More informationA conjecture of Evans on Kloosterman sums
Evan P. Dummit, Adam W. Goldberg, and Alexander R. Perry 2009 Wisconsin Number Theory REU Project Notation We will make use of the following notation: p odd prime Additive character ψ : F p C, x e 2πix
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 informationMath 259: Introduction to Analytic Number Theory Exponential sums II: the Kuzmin and Montgomery-Vaughan estimates
Math 59: Introduction to Analytic Number Theory Exponential sums II: the Kuzmin and Montgomery-Vaughan estimates [Blurb on algebraic vs. analytical bounds on exponential sums goes here] While proving that
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/22043 holds various files of this Leiden University dissertation. Author: Anni, Samuele Title: Images of Galois representations Issue Date: 2013-10-24 Chapter
More informationLIOUVILLIAN FIRST INTEGRALS OF SECOND ORDER POLYNOMIAL DIFFERENTIAL EQUATIONS Colin Christopher. 1. Introduction
Electronic Journal of Differential Equations, Vol. 1999(1999) No. 49, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu ftp ejde.math.unt.edu (login:
More informationNovember In the course of another investigation we came across a sequence of polynomials
ON CERTAIN PLANE CURVES WITH MANY INTEGRAL POINTS F. Rodríguez Villegas and J. F. Voloch November 1997 0. In the course of another investigation we came across a sequence of polynomials P d Z[x, y], such
More informationarxiv: v2 [math.gm] 18 Dec 2014
Solution of Polynomial Equations with Nested Radicals arxiv:106.198v [math.gm] 18 Dec 01 Nikos Bagis Stenimahou 5 Edessa Pellas 5800, Greece bagkis@hotmail.com Abstract In this article we present solutions
More informationClosed Form Solutions
Closed Form Solutions Mark van Hoeij 1 Florida State University ISSAC 2017 1 Supported by NSF 1618657 1 / 26 What is a closed form solution? Example: Solve this equation for y = y(x). y = 4 x 3 (1 x) 2
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationAnalogues for Bessel Functions of the Christoffel-Darboux Identity
Analogues for Bessel Functions of the Christoffel-Darboux Identity Mark Tygert Research Report YALEU/DCS/RR-1351 March 30, 2006 Abstract We derive analogues for Bessel functions of what is known as the
More information. Consider the linear system dx= =! = " a b # x y! : (a) For what values of a and b do solutions oscillate (i.e., do both x(t) and y(t) pass through z
Preliminary Exam { 1999 Morning Part Instructions: No calculators or crib sheets are allowed. Do as many problems as you can. Justify your answers as much as you can but very briey. 1. For positive real
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationCharacter sums with Beatty sequences on Burgess-type intervals
Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
More informationTHE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5
THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 JEREMY LOVEJOY Abstract. We establish a relationship between the factorization of n+1 and the 5-divisibility of Q(n, where Q(n is the number
More informationConvergence of greedy approximation I. General systems
STUDIA MATHEMATICA 159 (1) (2003) Convergence of greedy approximation I. General systems by S. V. Konyagin (Moscow) and V. N. Temlyakov (Columbia, SC) Abstract. We consider convergence of thresholding
More informationComputing the Monodromy Group of a Plane Algebraic Curve Using a New Numerical-modular Newton-Puiseux Algorithm
Computing the Monodromy Group of a Plane Algebraic Curve Using a New Numerical-modular Newton-Puiseux Algorithm Poteaux Adrien XLIM-DMI UMR CNRS 6172 Université de Limoges, France SNC'07 University of
More informationON RAPID GENERATION OF SL 2 (F Q ) Jeremy Chapman Department of Mathematics, University of Missouri, Columbia, Missouri
#A04 INTEGERS 9 (2009), 47-52 ON RAPID GENERATION OF SL 2 (F Q ) Jeremy Chapman Department of Mathematics, University of Missouri, Columbia, Missouri 65211 jeremy@math.missouri.edu Alex Iosevich Department
More informationGroup representations and harmonic
Group Representations Harmonic Analysis from Euler to Langls, Part I Anthony W. Knapp Group representations harmonic analysis play a critical role in subjects as diverse as number theory, probability,
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 informationAn application of the projections of C automorphic forms
ACTA ARITHMETICA LXXII.3 (1995) An application of the projections of C automorphic forms by Takumi Noda (Tokyo) 1. Introduction. Let k be a positive even integer and S k be the space of cusp forms of weight
More informationOn the elliptic curve analogue of the sum-product problem
Finite Fields and Their Applications 14 (2008) 721 726 http://www.elsevier.com/locate/ffa On the elliptic curve analogue of the sum-product problem Igor Shparlinski Department of Computing, Macuarie University,
More informationThe Gauss hypergeometric function F (a, b; c; z) for large c
The Gauss hypergeometric function F a, b; c; z) for large c Chelo Ferreira, José L. López 2 and Ester Pérez Sinusía 2 Departamento de Matemática Aplicada Universidad de Zaragoza, 5003-Zaragoza, Spain.
More informationA NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS
A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS IWAO KIMURA ABSTRACT. Let l > 3 be an odd prime. Let S 0, S +, S be mutually disjoint nite sets of rational primes. For
More informationarxiv:math/ v1 [math.ca] 30 Mar 2004
arxiv:math/00v [math.ca] 0 Mar 004 Expressions for values of the gamma function Raimundas Vidūnas Kyushu University February 00 Abstract This paper presents expressions for gamma values at rational points
More informationLecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is.
The Exponential Function Lecture 9 The exponential function 1 plays a central role in analysis, more so in the case of complex analysis and is going to be our first example using the power series method.
More informationOn an identity of Gessel and Stanton and the new little Göllnitz identities
On an identity of Gessel and Stanton and the new little Göllnitz identities Carla D. Savage Dept. of Computer Science N. C. State University, Box 8206 Raleigh, NC 27695, USA savage@csc.ncsu.edu Andrew
More informationSOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM
Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,
More informationClosed Form Solutions
Closed Form Solutions Mark van Hoeij 1 Florida State University Slides of this talk: www.math.fsu.edu/ hoeij/issac2017.pdf 1 Supported by NSF 1618657 1 / 29 What is a closed form solution? Example: Solve
More informationThe zeros of the Weierstrass function and hypergeometric series
The zeros of the Weierstrass function and hypergeometric series W. Duke and Ö. Imamoḡlu ABSTRACT. We express the zeros of the Weierstass -function in terms of generalized hypergeometric functions. As an
More informationFractional integral and generalized Stieltjes transforms for hypergeometric functions as transmutation operators
Fractional integral and generalized Stieltjes transforms for hypergeometric functions as transmutation operators Korteweg-de Vries Institute, University of Amsterdam T.H.Koornwinder@uva.nl https://staff.fnwi.uva.nl/t.h.koornwinder/
More informationReciprocity formulae for general Dedekind Rademacher sums
ACTA ARITHMETICA LXXIII4 1995 Reciprocity formulae for general Dedekind Rademacher sums by R R Hall York, J C Wilson York and D Zagier Bonn 1 Introduction Let B 1 x = { x [x] 1/2 x R \ Z, 0 x Z If b and
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 informationRAMANUJAN-TYPE CONGRUENCES MODULO POWERS OF 5 AND 7. D. Ranganatha
Indian J. Pure Appl. Math., 83: 9-65, September 07 c Indian National Science Academy DOI: 0.007/s36-07-037- RAMANUJAN-TYPE CONGRUENCES MODULO POWERS OF 5 AND 7 D. Ranganatha Department of Studies in Mathematics,
More informationOn some Summation Formulae for the I-Function of Two Variables
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 932-9466 Vol. 9, Issue (June 204), pp. 362-370 Applications and Applied Mathematics: An International Journal (AAM) On some Summation Formulae
More informationOn the number of dominating Fourier coefficients of two newforms
On the number of dominating Fourier coefficients of two newforms Liubomir Chiriac Abstract Let f = n 1 λ f (n)n (k 1 1)/2 q n and g = n 1 λg(n)n(k 2 1)/2 q n be two newforms with real Fourier coeffcients.
More information