The Bilateral Laplace Transform of the Positive Even Functions and a Proof of Riemann Hypothesis
|
|
- Leo Smith
- 5 years ago
- Views:
Transcription
1 The Bilateral Laplace Trasform of the Positive Eve Fuctios ad a Proof of Riema Hypothesis Seog Wo Cha Ph.D. swcha@dgu.edu Abstract We show that some iterestig properties of the bilateral Laplace trasform of eve ad positive fuctios both o the lie z 0 = x + iy 0 ad o a circle. We also show the Riema hypothesis is true usig these properties. We do ot prove well-kow theorems ad ecourage readers to refer to the literatures. 1. Itroductio We begi with the defiitio of the bilateral Laplace trasform. 1 The defiitio of Laplace trasform of a real fuctio f(t) is as follows: ad the iverse trasform: F(z) = f(t) e zt dt (1) where z = x + iy. f(t) = 1 x+i iπ F(z) ezt dz x i () If f(t) is eve, the F(z) = f(t) e zt dt = f(t) e zt dt = f(t) cosh (zt)dt (3) ad sice F( z) = F(z), F(iy) is real-valued for all y. If f(t) is eve ad also positive for all t, its Laplace trasform F(z) is trascedetal.. Power Series expasio It is ot always easy to fid the Laplace trasform of a fuctio i the closed form, but we ca get the power series usig the defiitio of the Laplace trasform as follows: F(z) = a z =0 = a 0 + a 1 z + a z + (4) To fid the coefficiets of F(z), we examie the derivatives of (1). 1 Sice we are oly dealig with the bilateral Laplace trasform, The term bilateral will be omitted.
2 a = 1! t f(t)dt (5) Moreover, if the fuctio f(t) > 0 for all t ad eve, all the odd terms are vaished ad the power series will be like that: F(z) = a z = a 0 + a z + a 4 z 4 + =0 (6) where a = 1 ()! t f(t)dt ad a > 0 for all. Sice f(t) is eve ad positive, F(z) is also eve ad F( z ) = F(z ) = F (z). Hece we have F(z) = F( z) = F(z ) = F( z ). 3. The covex fuctios For a real fuctio f(x) ad x 1, x R ad λ [0,1], the f(x) is covex if ad oly if f[λx 1 + (1 λ)x ] λf(x 1 ) + (1 λ)f(x ). ad similarly, f(x) is strictly covex if ad oly if f[λx 1 + (1 λ)x ] < λf(x 1 ) + (1 λ)f(x ). The fuctio f(x) is a midpoit covex if f ( x 1 + x ) f(x 1) + f(x ) Further, a cotiuous fuctio f(x) is multiplicatively covex if ad oly if f( x 1 x ) f(x 1 )f(x ) A multiplicatively covex fuctio is which is icreasig covex. This iequality ca be obtaied from the defiitio of the midpoit covex. Hardy-Littlewood Theorem Every polyomial f(x) = c k x k with o-egative coefficiets is multiplicatively covex o (0, ). Moreover f(x) = c k x k for c k 0 is strictly multiplicatively covex which is also icreasig ad strictly covex. Let F(z) be the Laplace trasform of a eve ad positive fuctio f(t), the by Hardy- Littlewood, F(z) is icreasig ad strictly covex o the x-axis of the iterval (0, ) if F(z) is etire. If F(z) is ot etire, F(x) is icreasig ad strictly covex i the radius of covergece. Sice F( x) = F(x), F(x) is symmetric at x = 0, ad therefore F(x) has a uique miimum at x = 0.
3 F(z) is complex-valued co-semipositive defiite if 4. The co-positive defiiteess c c k f(z + z ) k 0 k=1 (7) ad similarly, f(z) is complex-valued co-positive defiite if for all c C ad z = x + iy. c c k f(z + z ) k > 0 k=1 (8) Clearly, if a complex fuctio f(z) is complex-valued co-(semi)positive defiite, the the realvalued fuctio f(x) is also co-(semi)positive defiite. Lemma 1 A real fuctio f(t) > 0 for all t, the its Laplace trasform is complex-valued co-positive defiite. Proof From the defiitio F(z) = f(t) e zt dt c c k F(z + z ) k = c c k k=1 = f(t) c c k k=1 = f(t) c e zt e (z +z k dt > 0 k=1 )t dt = f(t) e (z +z k )t dt f(t) c e zt c k k=1 e z t k dt Lemma If f 1 (z) ad f (z) are co-positive defiite the they are also co-positive defiite: 1. f 1 (z) ad f (z). f 1 ( z) ad f ( z) 3. f 1 (z) ad f (z) 4. f 1 (z) f (z) 5. a 1 f 1 (z) + a f (z) for a 1, a > 0 These properties ca be easily proved usig the defiitio of the Laplace trasform (1).
4 Lemma 3 If F(z) is co-positive defiite, the F(0) is real ad F(0) > 0. Proof From (8), We let =1, the c 1 c 1 F(x 1 + x 1 ) > 0. Lettig x = x 1 + x 1, we have c 1 F(x) > 0. Hece F(x) is real ad F(x) > 0 for all real x ad therefore F(0) is real ad F(0) > 0. Lemma 4 If F(z) is co-positive defiite, the F () (z) is also co-positive defiite for o-egative iteger. Proof From the defiitio of the Laplace trasform (1), takig derivative times with respect to z, we have t f(t) e zt dt Sice f(t) > 0 for all t ad eve, ad therefore t f(t) > 0 ad t f(t) is eve ad hece copositive defiite. Lemma 5 If y is fixed, say y = y 0 ad z = x + iy 0, the ay complex-valued co-positive defiite fuctio F(z) is co-positive defiite for x. Proof c c k F(z + z ) k = k=1 This is clear sice = f(t) c c k k=1 e (z +z )t k dt = f(t) c c k e (x +iy 0 +x k iy 0 )t dt = k=1 = f(t) c e xt dt > 0 f(t) c c k c c k F(z + z ) k = c c k F(x + x k ) > 0 k=1 k=1 k=1 that is, y 0 is cacelled out ad we have a real-valued co-positive defiite fuctio. e (x +x k )t dt We ote that this also is valid for F(z). If y is fixed, F(x + iy 0 ) is real-valued co-positive defiite for x.
5 5. Expasio of F(z) From (6), we have F(z) = f(t) e zt dt = a z =0 (9) ad F(z) = F(z) F(z) = F(z) F(z ) = [ =0 a z ] [ =0 a z ]. The power series expasio of [ =0 a z ] [ a z ] is =0 F(z) = C 0 + C (z + z ) where C 0 = a k z 4k, C = a k a k+ z 4k. Sice a k 0, C 0 > 0 ad C > 0 for all. Sice there are oly eve terms of x, we let (10) To determie A 0 ad A m, C 0 = a k z 4k F(z) = A 0 + A m x m = a k (x + y ) k = a k ( k j ) y4k j x j j=0 k=j (11) (1) ad sice we have ad C (z + z ) = By the Leibiz rule, C = (z + z ) = p=0 ( 1) p ( p ) y p x p (13) ( 1) y C for p = 0 ( 1) ( { p ) y p x p C for p 1 p=1 =p a k a k+ z 4k = a k a k+ (x + y ) k m x m [(x + y ) k x m ] x=0 = m x m [(x + y ) k ] x=0 = [ [(m j)(k j)] ] y (k m) (16) where m 1 ad k m. Takig derivatives (m) times to Eq. (11) ad Eq. (1), (14) ad lettig x = 0, we have m 1 j=0 (14) (15) where C m 1 3 A m = C m + C m + C m (17) 1 = a k ( k m ) y4k m
6 ad C m = ( 1) a k a k+ [ (m j)(k j) ] y y (k m) C m k=m 3 = ( 1) m ( m ) y m =m k=m m 1 j=0 m 1 a k a k+ [ (m j)(k j) ] y (k m) j=0 A 0 = a k y 4k + ( 1) a k a k+ y +4k (18) If y is fixed, A 0 ad A m are costats ad F(z) are a fuctio of oly x, that is, we have a fuctio F(z) which is lyig o the horizotal lie of z = x + iy 0 where y 0 is a fixed value. By Lemma 3 ad lettig x = 0, we ote A 0 > 0. Likewise, from Eq. (11), takig derivative times with respect to x ad lettig x = 0, we ote A m > 0 for all m 1 by Lemma 3 ad 4. Sice all the coefficiets of Eq. (11) positive, by Hardy-Littlewood, F(z) is a strictly multiplicatively covex fuctio o the horizotal lie z = x + y 0 ad i the iterval of x (0, ). Moreover, sice F(z) is symmetric at x = 0, F(z) has a uique miimum at x = 0. Further, sice y 0 is arbitrary, we coclude the theorem: Theorem 1. Let F(z) be Laplace trasform of a positive ad eve fuctio, the if y is fixed, F(z) is strictly multiplicatively covex for 0 x < o the lie z = x + iy 0. If F(z) is ot etire, F(z) is multiplicatively covex i the radius of covergece.. Sice F(z) is symmetric by iy-axis, F(z) has a uique miimum at x = Sice F(z) has a uique miimum at x = 0, all zeros of F(z) locate oly at iy-axis. It caot have zeros o other places sice F(iy 0 ) 0 ad F(x + iy 0 ) > F(iy 0 ) for all x 0. Clearly, this is also valid for F(z). 4. Sice the zeros of F(z) locate at iy-axis, the zeros of F(z) locate oly at iy-axis, if F(z) has ay zeros. If F(z) had zeros o other places tha o iy-axis, F(z) should have zeros o the same places, but F(z) has zeros oly o iy-axis as show. The theorem is valid oly for the Laplace trasform of fuctios that are eve ad positive for all t. It is ot valid for o-eve fuctios. However, the Laplace trasform of the positive fuctios are co-positive defiite ad the power series ca be foud which is similar to (11) but cotais odd powers. We do ot have ay iformatio about the coefficiets of odd powers but the coefficiets of eve powers should be positive if the power series coverges. There are some fuctios whose Laplace trasform does ot have ay zero. For example, πe z is the Laplace trasform of e t /4, but πe z has either poles or zeros.
7 6. The positive defiiteess By replacig z iz ad for some fuctio f(t) > 0, the Laplace trasform will be G(z) = f(t) e izt dt (19) It ca be show that G(z) is complex-valued positive defiite, that is c c k G(z z ) k k=1 > 0 (0) which is the geeralized Bocher s theorem. The Properties of positive defiiteess are similar to the co-positive defiiteess. For example, if G(z) is positive defiite, ( 1) G () (z) is also positive defiite ad G(0) > 0 ad therefore G(0) is real ad so o. If f(t) > 0 for all t ad is eve, we have: G(z) = f(t) e izt dt = f(t) cos (zt)dt 0 = f(t) cos (zt)dt (1) Usig the power series expasio ad properties of the positive defiite fuctios, it ca be show that G(z) from Eq. (1) has oly real zeros. I fact, we do ot eed to prove it. Because of mappig z iz, G(z) is a rotated fuctio by π/ of F(z) i Eq. (9), ad therefore, sice F(z) i Eq. (9) has zeros oly o the iy-axis, G(z) should have zeros oly o x-axis, that is, oly real zeros. 7. Behavior o a circle We ow cosider F(z) o a circle cetered at the origi with radius r. Lettig z = r e iθ, from Eq. (10) we have F(r e iθ ) = C 0 + C r cos (θ) () Sice F(x) is co-positive defiite as show, lettig x = r cos (θ) ad if r is fixed, F(x) is co-positive defiite for cos (θ), thus F(r e iθ ) is also co-positive defiite for cos (θ). This ca be easily proved usig the defiitio of the Laplace trasform Eq. (1). Cautio must be take. F(r e iθ ) is co-positive defiite for cos (θ) itself, ot for θ. If F(r e iθ ) is co-positive defiite for θ, it must be that [ F(r θ eiθ ) ] > 0. Takig derivative twice to Eq. () ad lettig θ = 0, θ=0 we have () C r. Sice C > 0 for all, () C r < 0, thus F(r e iθ ) is ot co-positive defiite for θ. I fact, F(r e iθ ) is positive defiite for θ because cos (θ) is positive defiite ad F(r e iθ ) is summig of cos (θ) with positive coefficiets, hece F(r e iθ ) is positive defiite for θ. Lettig α = cos (θ) ad for fixed r, we have
8 F(α) = C 0 + C r T (α) where T (α) deotes the Chebyshev polyomials of the first kid. (3) T (α) ca be expressed as the sum of α, which is T (α) = 1 / ( 1)k k k ( k ) (α) k (4) where / deotes the floor fuctio. Lettig, we have ad lettig m = k ad fially we have T (α) = ( 1) k k T (α) = ( 1) m=0 m + m F(α) = C 0 + C r ( 1) m=0 k ( ) (α) k k ( + m m ) (α)m m + m ( + m m ) m α m (5) (6) (7) From Eq. (7), if m = 0, the we get which is the costat part of F(α). With the results, we have F(α) = C 0 + which ca be writte C 0 + ( 1) C r (8) ( 1) C r + ( 1) m + m =m ( + m m ) C r m α m (39) where ad F(α) = B 0 + B α + = B 0 + B m = B 0 = C 0 + =m ( 1) m ( 1) C r B m α m + m ( + m m ) C r m (30) Sice F(α) is co-positive defiite, we have thus F(0) > 0 ad dm dα m [ F(α) ] α=0 > 0
9 Sice α = cos (θ), from Eq. (30) B 0 > 0 ad B m > 0 for m = 1,, ad F(α) = B 0 + B m cos m ( θ) (31) d dθ F(α) = si (θ) m B m cos m 1 ( θ) = si (θ) m B m cos m ( θ) (3) Sice m B m cos m ( θ) = B + m B m cos m ( θ) m= m B m cos m ( θ) caot be zero ad therefore m B m cos m ( θ) is strictly positive, thus si (θ) determies the sig of d dθ F(α). We ote that si(θ) = 0 whe θ = 0 ad θ = π/ as expected. Moreover, si(θ) < 0 i the iterval 0 < θ < π/, ad therefore F(α) is decreasig i the iterval. Sice F(α) 0, F(α) has a uique miimum at θ = π/ ad θ = π/ because F(α) has the same value at θ, θ, π θ ad θ π. Sice the radius r ca be chose arbitrarily, the zeros of F(α) locate oly θ = π/ ad = π/, that is, iy-axis which we have proved. I fact, it ca be show that if F(α) has a uique miimum at = π/, F(z) is strictly multiplicatively covex for x o the lie z = x + iy 0 where y 0 = r. 8. Proof of the Riema hypothesis The Riema zeta fuctio (s) is defied as follows: (s) = 1 s = s s + (33) where s = + iω. The fuctioal equatio of Riema xi-fuctio ξ(s) is where ξ(s) = ξ(1 s) (34) ξ(s) = 1 π s s(s 1)Γ(s/) (s) (35) which is symmetric at = 1 ad therefore ξ (1 + iω) is real-valued. Riema showed that ξ(s) = [ e πt] 1 s(s 1) (t s/ + t (1 s)/ )dt (36) t The Jacobi Theta fuctio ca be expaded usig the Poisso summatio formula ad the Melli trasform, ad fially we have
10 where ξ(s) = φ(t) e (s 1 )t dt φ(t) = e π e t (π 4 e 9 t 3π e 5 t ) (4) (38) It ca be show that φ(t) > 0 for all t ad a eve fuctio. From (37), the power series expasio is ξ(s) = h (s 1 ) =0 (39) Lettig z s 1, that is, shifted by 1 ad therefore the zeros ow locate o the stripe of 1 < x < 1 ad we have ad the power series expasio Φ(z) = φ(t) e zt dt = φ(t) e zt dt (5) Φ(z) = h z =0 (41) which is the Laplace trasform of the positive ad eve fuctio φ(t). We showed that all zeros of the Laplace trasform of a positive ad eve fuctios locate at iy-axis. Hece all the zeros of ξ(s) must locate at = 1 ad therefore (s) too, which meas the Riema hypothesis is true. Riema suggested a fuctio amed big xi-fuctio Ξ(z), which is defied Ξ(z) = φ(t) cos (zt) dt 0 = φ(t) cos (zt) dt (4) ad if Ξ(z) has oly real zeros, the Riema hypothesis is true. This fuctio is othig but a positive defiite fuctio i Eq. (1) ad we showed that these kid of fuctios ca have oly real zeros ad therefore the Riema hypothesis is true. Ackowledge The author would like to express author s gratitude to Mr. Gee-Su Yu who was the author s metor. Refereces [1] Weisstei E. W. CRC Cocise Ecyclopedia of Mathematics CRC Press 008 [] Keiper J. B. Power Series Expasios of Riema s ξ Fuctios Mathematics of Computatio, Volume 58, April 199 [3] Widder D. V. The Laplace Trasform Priceto Uiversity Press 1946 [4] iculescu C. P., Persso L-E Covex Fuctios ad Their Applicatios Spriger 004
11 [5] Buescu J, Paixão A. C. Real ad complex variable positive defiite fuctios São Paulo Joural of Mathematical Scieces 6, (01) [6] Cadrasekhara K. Lectures o The Riema Zeta-Fuctio Tara Istitute of Fudametal Research 1953 [7] Lehmer D. H. The Sum of Like Powers of the Zeros of the Riema Zeta Fuctio, Mathematics of Computatio, Volume 50, Jauary 1988 [8] Olver F. W. C. IST Hadbook of Mathematical Fuctios Cambridge Uiversity Press 010
On the Bilateral Laplace Transform of the positive even functions and proof of the Riemann Hypothesis. Seong Won Cha Ph.D.
On the Bilateral Laplace Transform of the positive even functions and proof of the Riemann Hypothesis Seong Won Cha Ph.D. Seongwon.cha@gmail.com Remark This is not an official paper, rather a brief report.
More informationMath 210A Homework 1
Math 0A Homework Edward Burkard Exercise. a) State the defiitio of a aalytic fuctio. b) What are the relatioships betwee aalytic fuctios ad the Cauchy-Riema equatios? Solutio. a) A fuctio f : G C is called
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationTR/46 OCTOBER THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION A. TALBOT
TR/46 OCTOBER 974 THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION by A. TALBOT .. Itroductio. A problem i approximatio theory o which I have recetly worked [] required for its solutio a proof that the
More informationSolutions to Homework 1
Solutios to Homework MATH 36. Describe geometrically the sets of poits z i the complex plae defied by the followig relatios /z = z () Re(az + b) >, where a, b (2) Im(z) = c, with c (3) () = = z z = z 2.
More informationFourier Series and their Applications
Fourier Series ad their Applicatios The fuctios, cos x, si x, cos x, si x, are orthogoal over (, ). m cos mx cos xdx = m = m = = cos mx si xdx = for all m, { m si mx si xdx = m = I fact the fuctios satisfy
More informationSolutions to Final Exam Review Problems
. Let f(x) 4+x. Solutios to Fial Exam Review Problems Math 5C, Witer 2007 (a) Fid the Maclauri series for f(x), ad compute its radius of covergece. Solutio. f(x) 4( ( x/4)) ( x/4) ( ) 4 4 + x. Sice the
More informationComparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series
Applied Mathematical Scieces, Vol. 7, 03, o. 6, 3-337 HIKARI Ltd, www.m-hikari.com http://d.doi.org/0.988/ams.03.3430 Compariso Study of Series Approimatio ad Covergece betwee Chebyshev ad Legedre Series
More information3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,
3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [
More informationPLEASE MARK YOUR ANSWERS WITH AN X, not a circle! 1. (a) (b) (c) (d) (e) 3. (a) (b) (c) (d) (e) 5. (a) (b) (c) (d) (e) 7. (a) (b) (c) (d) (e)
Math 0560, Exam 3 November 6, 07 The Hoor Code is i effect for this examiatio. All work is to be your ow. No calculators. The exam lasts for hour ad 5 mi. Be sure that your ame is o every page i case pages
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationThe z-transform. 7.1 Introduction. 7.2 The z-transform Derivation of the z-transform: x[n] = z n LTI system, h[n] z = re j
The -Trasform 7. Itroductio Geeralie the complex siusoidal represetatio offered by DTFT to a represetatio of complex expoetial sigals. Obtai more geeral characteristics for discrete-time LTI systems. 7.
More informationMa 530 Infinite Series I
Ma 50 Ifiite Series I Please ote that i additio to the material below this lecture icorporated material from the Visual Calculus web site. The material o sequeces is at Visual Sequeces. (To use this li
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationSequences and Limits
Chapter Sequeces ad Limits Let { a } be a sequece of real or complex umbers A ecessary ad sufficiet coditio for the sequece to coverge is that for ay ɛ > 0 there exists a iteger N > 0 such that a p a q
More informationx x x Using a second Taylor polynomial with remainder, find the best constant C so that for x 0,
Math Activity 9( Due with Fial Eam) Usig first ad secod Taylor polyomials with remaider, show that for, 8 Usig a secod Taylor polyomial with remaider, fid the best costat C so that for, C 9 The th Derivative
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationThe Riemann Zeta Function
Physics 6A Witer 6 The Riema Zeta Fuctio I this ote, I will sketch some of the mai properties of the Riema zeta fuctio, ζ(x). For x >, we defie ζ(x) =, x >. () x = For x, this sum diverges. However, we
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationThe minimum value and the L 1 norm of the Dirichlet kernel
The miimum value ad the L orm of the Dirichlet kerel For each positive iteger, defie the fuctio D (θ + ( cos θ + cos θ + + cos θ e iθ + + e iθ + e iθ + e + e iθ + e iθ + + e iθ which we call the (th Dirichlet
More informationf(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction.
Theorem 3.6.4. [Liouville s Theorem] Every bouded etire fuctio is costat. Proof. Let f be a etire fuctio. Suppose that there is M R such that M for ay z C. The for ay z C ad R > 0 f (z) f(w) 2πi (w z)
More informationTHE ZETA FUNCTION AND THE RIEMANN HYPOTHESIS. Contents 1. History 1
THE ZETA FUNCTION AND THE RIEMANN HYPOTHESIS VIKTOR MOROS Abstract. The zeta fuctio has bee studied for ceturies but mathematicias are still learig about it. I this paper, I will discuss some of the zeta
More informationINEQUALITIES BJORN POONEN
INEQUALITIES BJORN POONEN 1 The AM-GM iequality The most basic arithmetic mea-geometric mea (AM-GM) iequality states simply that if x ad y are oegative real umbers, the (x + y)/2 xy, with equality if ad
More informationMath 113, Calculus II Winter 2007 Final Exam Solutions
Math, Calculus II Witer 7 Fial Exam Solutios (5 poits) Use the limit defiitio of the defiite itegral ad the sum formulas to compute x x + dx The check your aswer usig the Evaluatio Theorem Solutio: I this
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
More informationNotes on the prime number theorem
Notes o the rime umber theorem Keji Kozai May 2, 24 Statemet We begi with a defiitio. Defiitio.. We say that f(x) ad g(x) are asymtotic as x, writte f g, if lim x f(x) g(x) =. The rime umber theorem tells
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More information1+x 1 + α+x. x = 2(α x2 ) 1+x
Math 2030 Homework 6 Solutios # [Problem 5] For coveiece we let α lim sup a ad β lim sup b. Without loss of geerality let us assume that α β. If α the by assumptio β < so i this case α + β. By Theorem
More informationCHAPTER 10 INFINITE SEQUENCES AND SERIES
CHAPTER 10 INFINITE SEQUENCES AND SERIES 10.1 Sequeces 10.2 Ifiite Series 10.3 The Itegral Tests 10.4 Compariso Tests 10.5 The Ratio ad Root Tests 10.6 Alteratig Series: Absolute ad Coditioal Covergece
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More information1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx
Problem A. Calculate ta(.) to 4 decimal places. Solutio: The power series for si(x)/ cos(x) is x + x 3 /3 + (2/5)x 5 +. Puttig x =. gives ta(.) =.3. Problem 2A. Let f : R R be a cotiuous fuctio. Show that
More informationSection 11.8: Power Series
Sectio 11.8: Power Series 1. Power Series I this sectio, we cosider geeralizig the cocept of a series. Recall that a series is a ifiite sum of umbers a. We ca talk about whether or ot it coverges ad i
More information17. Joint distributions of extreme order statistics Lehmann 5.1; Ferguson 15
17. Joit distributios of extreme order statistics Lehma 5.1; Ferguso 15 I Example 10., we derived the asymptotic distributio of the maximum from a radom sample from a uiform distributio. We did this usig
More informationMATH4822E FOURIER ANALYSIS AND ITS APPLICATIONS
MATH48E FOURIER ANALYSIS AND ITS APPLICATIONS 7.. Cesàro summability. 7. Summability methods Arithmetic meas. The followig idea is due to the Italia geometer Eresto Cesàro (859-96). He shows that eve if
More informationSolutions to Tutorial 5 (Week 6)
The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial 5 (Wee 6 MATH2962: Real ad Complex Aalysis (Advaced Semester, 207 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/
More informationThe Poisson Summation Formula and an Application to Number Theory Jason Payne Math 248- Introduction Harmonic Analysis, February 18, 2010
The Poisso Summatio Formula ad a Applicatio to Number Theory Jaso Paye Math 48- Itroductio Harmoic Aalysis, February 8, This talk will closely follow []; however some material has bee adapted to a slightly
More informationMAT 271 Project: Partial Fractions for certain rational functions
MAT 7 Project: Partial Fractios for certai ratioal fuctios Prerequisite kowledge: partial fractios from MAT 7, a very good commad of factorig ad complex umbers from Precalculus. To complete this project,
More informationRouché s Theorem 7/13/2011
7/13/211 Rouché s Theorem Prelimiary Iformatio Complex Aalysis I complex aalysis, variables have a real part (x) ad a imagiary part (iy), where i = 1 z = x + iy Fuctios of complex variables also have a
More informationPRACTICE FINAL/STUDY GUIDE SOLUTIONS
Last edited December 9, 03 at 4:33pm) Feel free to sed me ay feedback, icludig commets, typos, ad mathematical errors Problem Give the precise meaig of the followig statemets i) a f) L ii) a + f) L iii)
More informationProposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say
Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationThe Gamma function Michael Taylor. Abstract. This material is excerpted from 18 and Appendix J of [T].
The Gamma fuctio Michael Taylor Abstract. This material is excerpted from 8 ad Appedix J of [T]. The Gamma fuctio has bee previewed i 5.7 5.8, arisig i the computatio of a atural Laplace trasform: 8. ft
More informationMath 113 Exam 3 Practice
Math Exam Practice Exam 4 will cover.-., 0. ad 0.. Note that eve though. was tested i exam, questios from that sectios may also be o this exam. For practice problems o., refer to the last review. This
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationIntegrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number
MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics ad Egieerig Lecture otes Sergei V. Shabaov Departmet of Mathematics, Uiversity of Florida, Gaiesville, FL 326 USA CHAPTER The theory of covergece. Numerical sequeces..
More informationFundamental Theorem of Algebra. Yvonne Lai March 2010
Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex
More informationA detailed proof of the irrationality of π
Matthew Straugh Math 4 Midterm A detailed proof of the irratioality of The proof is due to Iva Nive (1947) ad essetial to the proof are Lemmas ad 3 due to Charles Hermite (18 s) First let us itroduce some
More informationMATH 10550, EXAM 3 SOLUTIONS
MATH 155, EXAM 3 SOLUTIONS 1. I fidig a approximate solutio to the equatio x 3 +x 4 = usig Newto s method with iitial approximatio x 1 = 1, what is x? Solutio. Recall that x +1 = x f(x ) f (x ). Hece,
More informationLecture 19. sup y 1,..., yn B d n
STAT 06A: Polyomials of adom Variables Lecture date: Nov Lecture 19 Grothedieck s Iequality Scribe: Be Hough The scribes are based o a guest lecture by ya O Doell. I this lecture we prove Grothedieck s
More informationUniversity of Manitoba, Mathletics 2009
Uiversity of Maitoba, Mathletics 009 Sessio 5: Iequalities Facts ad defiitios AM-GM iequality: For a, a,, a 0, a + a + + a (a a a ) /, with equality iff all a i s are equal Cauchy s iequality: For reals
More informationThe log-behavior of n p(n) and n p(n)/n
Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity
More informationMath 21B-B - Homework Set 2
Math B-B - Homework Set Sectio 5.:. a) lim P k= c k c k ) x k, where P is a partitio of [, 5. x x ) dx b) lim P k= 4 ck x k, where P is a partitio of [,. 4 x dx c) lim P k= ta c k ) x k, where P is a partitio
More informationSOLUTIONS TO EXAM 3. Solution: Note that this defines two convergent geometric series with respective radii r 1 = 2/5 < 1 and r 2 = 1/5 < 1.
SOLUTIONS TO EXAM 3 Problem Fid the sum of the followig series 2 + ( ) 5 5 2 5 3 25 2 2 This series diverges Solutio: Note that this defies two coverget geometric series with respective radii r 2/5 < ad
More informationThe Arakawa-Kaneko Zeta Function
The Arakawa-Kaeko Zeta Fuctio Marc-Atoie Coppo ad Berard Cadelpergher Nice Sophia Atipolis Uiversity Laboratoire Jea Alexadre Dieudoé Parc Valrose F-0608 Nice Cedex 2 FRANCE Marc-Atoie.COPPO@uice.fr Berard.CANDELPERGHER@uice.fr
More informationSubject: Differential Equations & Mathematical Modeling-III
Power Series Solutios of Differetial Equatios about Sigular poits Subject: Differetial Equatios & Mathematical Modelig-III Lesso: Power series solutios of differetial equatios about Sigular poits Lesso
More informationBertrand s Postulate
Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a
More informationTaylor Series (BC Only)
Studet Study Sessio Taylor Series (BC Oly) Taylor series provide a way to fid a polyomial look-alike to a o-polyomial fuctio. This is doe by a specific formula show below (which should be memorized): Taylor
More informationf(x) dx as we do. 2x dx x also diverges. Solution: We compute 2x dx lim
Math 3, Sectio 2. (25 poits) Why we defie f(x) dx as we do. (a) Show that the improper itegral diverges. Hece the improper itegral x 2 + x 2 + b also diverges. Solutio: We compute x 2 + = lim b x 2 + =
More information2 Banach spaces and Hilbert spaces
2 Baach spaces ad Hilbert spaces Tryig to do aalysis i the ratioal umbers is difficult for example cosider the set {x Q : x 2 2}. This set is o-empty ad bouded above but does ot have a least upper boud
More informationINFINITE SEQUENCES AND SERIES
INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES I geeral, it is difficult to fid the exact sum of a series. We were able to accomplish this for geometric series ad the series /[(+)]. This is
More informationPhysics 116A Solutions to Homework Set #1 Winter Boas, problem Use equation 1.8 to find a fraction describing
Physics 6A Solutios to Homework Set # Witer 0. Boas, problem. 8 Use equatio.8 to fid a fractio describig 0.694444444... Start with the formula S = a, ad otice that we ca remove ay umber of r fiite decimals
More informationMDIV. Multiple divisor functions
MDIV. Multiple divisor fuctios The fuctios τ k For k, defie τ k ( to be the umber of (ordered factorisatios of ito k factors, i other words, the umber of ordered k-tuples (j, j 2,..., j k with j j 2...
More informationPolynomial Functions and Their Graphs
Polyomial Fuctios ad Their Graphs I this sectio we begi the study of fuctios defied by polyomial expressios. Polyomial ad ratioal fuctios are the most commo fuctios used to model data, ad are used extesively
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More informationMATH 31B: MIDTERM 2 REVIEW
MATH 3B: MIDTERM REVIEW JOE HUGHES. Evaluate x (x ) (x 3).. Partial Fractios Solutio: The umerator has degree less tha the deomiator, so we ca use partial fractios. Write x (x ) (x 3) = A x + A (x ) +
More informationChapter 4. Fourier Series
Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,
More informatione to approximate (using 4
Review: Taylor Polyomials ad Power Series Fid the iterval of covergece for the series Fid a series for f ( ) d ad fid its iterval of covergece Let f( ) Let f arcta a) Fid the rd degree Maclauri polyomial
More informationCOMM 602: Digital Signal Processing
COMM 60: Digital Sigal Processig Lecture 4 -Properties of LTIS Usig Z-Trasform -Iverse Z-Trasform Properties of LTIS Usig Z-Trasform Properties of LTIS Usig Z-Trasform -ve +ve Properties of LTIS Usig Z-Trasform
More informationTopics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences.
MATH 301 Itroductio to Aalysis Chapter Four Sequeces Topics 1. Defiitio of covergece of sequeces. 2. Fidig ad provig the limit of sequeces. 3. Bouded covergece theorem: Theorem 4.1.8. 4. Theorems 4.1.13
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationSequences, Series, and All That
Chapter Te Sequeces, Series, ad All That. Itroductio Suppose we wat to compute a approximatio of the umber e by usig the Taylor polyomial p for f ( x) = e x at a =. This polyomial is easily see to be 3
More informationMaximum Likelihood Estimation
ECE 645: Estimatio Theory Sprig 2015 Istructor: Prof. Staley H. Cha Maximum Likelihood Estimatio (LaTeX prepared by Shaobo Fag) April 14, 2015 This lecture ote is based o ECE 645(Sprig 2015) by Prof. Staley
More informationUniversity of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!
Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad
More information2.4.2 A Theorem About Absolutely Convergent Series
0 Versio of August 27, 200 CHAPTER 2. INFINITE SERIES Add these two series: + 3 2 + 5 + 7 4 + 9 + 6 +... = 3 l 2. (2.20) 2 Sice the reciprocal of each iteger occurs exactly oce i the last series, we would
More informationDupuy Complex Analysis Spring 2016 Homework 02
Dupuy Complex Aalysis Sprig 206 Homework 02. (CUNY, Fall 2005) Let D be the closed uit disc. Let g be a sequece of aalytic fuctios covergig uiformly to f o D. (a) Show that g coverges. Solutio We have
More informationSequences. A Sequence is a list of numbers written in order.
Sequeces A Sequece is a list of umbers writte i order. {a, a 2, a 3,... } The sequece may be ifiite. The th term of the sequece is the th umber o the list. O the list above a = st term, a 2 = 2 d term,
More informationZeros of Polynomials
Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree
More informationTHE INTEGRAL TEST AND ESTIMATES OF SUMS
THE INTEGRAL TEST AND ESTIMATES OF SUMS. Itroductio Determiig the exact sum of a series is i geeral ot a easy task. I the case of the geometric series ad the telescoig series it was ossible to fid a simle
More information4x 2. (n+1) x 3 n+1. = lim. 4x 2 n+1 n3 n. n 4x 2 = lim = 3
Exam Problems (x. Give the series (, fid the values of x for which this power series coverges. Also =0 state clearly what the radius of covergece is. We start by settig up the Ratio Test: x ( x x ( x x
More informationLesson 10: Limits and Continuity
www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals
More informationTopic 9: Sampling Distributions of Estimators
Topic 9: Samplig Distributios of Estimators Course 003, 2018 Page 0 Samplig distributios of estimators Sice our estimators are statistics (particular fuctios of radom variables), their distributio ca be
More informationON CONVERGENCE OF BASIC HYPERGEOMETRIC SERIES. 1. Introduction Basic hypergeometric series (cf. [GR]) with the base q is defined by
ON CONVERGENCE OF BASIC HYPERGEOMETRIC SERIES TOSHIO OSHIMA Abstract. We examie the covergece of q-hypergeometric series whe q =. We give a coditio so that the radius of the covergece is positive ad get
More informationMIDTERM 3 CALCULUS 2. Monday, December 3, :15 PM to 6:45 PM. Name PRACTICE EXAM SOLUTIONS
MIDTERM 3 CALCULUS MATH 300 FALL 08 Moday, December 3, 08 5:5 PM to 6:45 PM Name PRACTICE EXAM S Please aswer all of the questios, ad show your work. You must explai your aswers to get credit. You will
More informationTESTING FOR THE BUFFERED AUTOREGRESSIVE PROCESSES (SUPPLEMENTARY MATERIAL)
TESTING FOR THE BUFFERED AUTOREGRESSIVE PROCESSES SUPPLEMENTARY MATERIAL) By Ke Zhu, Philip L.H. Yu ad Wai Keug Li Chiese Academy of Scieces ad Uiversity of Hog Kog APPENDIX: PROOFS I this appedix, we
More informationQ-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A05 Q-BINOMIALS AND THE GREATEST COMMON DIVISOR Keith R. Slavi 8474 SW Chevy Place, Beaverto, Orego 97008, USA slavi@dsl-oly.et Received:
More informationNEW FAST CONVERGENT SEQUENCES OF EULER-MASCHERONI TYPE
UPB Sci Bull, Series A, Vol 79, Iss, 207 ISSN 22-7027 NEW FAST CONVERGENT SEQUENCES OF EULER-MASCHERONI TYPE Gabriel Bercu We itroduce two ew sequeces of Euler-Mascheroi type which have fast covergece
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationSOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS
ARCHIVU ATHEATICU BRNO Tomus 40 2004, 33 40 SOE SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS E. SAVAŞ AND R. SAVAŞ Abstract. I this paper we itroduce a ew cocept of λ-strog covergece with respect to a Orlicz
More informationSequences I. Chapter Introduction
Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which
More informationMath 341 Lecture #31 6.5: Power Series
Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series
More informationREGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS
REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]
More informationComplex Numbers Solutions
Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i
More informationCarleton College, Winter 2017 Math 121, Practice Final Prof. Jones. Note: the exam will have a section of true-false questions, like the one below.
Carleto College, Witer 207 Math 2, Practice Fial Prof. Joes Note: the exam will have a sectio of true-false questios, like the oe below.. True or False. Briefly explai your aswer. A icorrectly justified
More informationZ - Transform. It offers the techniques for digital filter design and frequency analysis of digital signals.
Z - Trasform The -trasform is a very importat tool i describig ad aalyig digital systems. It offers the techiques for digital filter desig ad frequecy aalysis of digital sigals. Defiitio of -trasform:
More information