Poisson s remarkable calculation - a method or a trick?
|
|
- Lorin Poole
- 6 years ago
- Views:
Transcription
1 Poisso s remarkable calculatio - a method or a trick? Deis Bell 1 Departmet of Mathematics, Uiversity of North Florida 1 UNF Drive, Jacksoville, FL 34, U. S. A. dbell@uf.edu The Gaussia fuctio e x plays a fudametal role i probability ad statistics. For this reaso, it is importat to kow the value of the itegral I = Z e x dx. Sice the itegrad does ot have a elemetary atiderivative, I caot be evaluated directly by the fudametal theorem of calculus. The familiar computatio of the Gaussia itegral is via the followig remarkable trick, attributed to Poisso. Oe forms the square of I, iterprets it as a double itegral i the plae, trasforms to polar coordiates ad the aswer magically pops out. The calculatio is as follows = I = Z π/ Z Z Z re r drdθ = π = πe r 4 e (x +y ) dxdy, Z = π 4. re r dr Hece I = π/. Ca this method be used to compute other seemigly itractable itegrals? I this article we explore this questio. Cosider a improper itegral J Z f(x)dx ad suppose that f satisfies the fuctioal equatio f(x)f(y) = g(x + y )h(y/x), x, y >. (1) 1 Research partially supported by NSF grat DMS
2 Poisso s remarkable calculatio The Poisso s argumet yields the relatio J = 1 Z Z π/ g(x)dx h(ta θ)dθ. () The determiatio of J is thereby reduced to the evaluatio of two, possibly solvable, itegrals. We are therefore led to ask which fuctios f satisfy a equatio of the form (1), where the fuctios g ad h are such that the itegrals i () ca be evaluated? I a previous work [Be], the author characterized the solutios f to equatio (1) uder the somewhat restrictive assumptio that f is asmptotic to a power fuctio at zero. R. Dawso [Da] addressed the problem for the less geeral equatio f(x)f(y) = g(x +y ). I the preset article, we establish the followig geeralizatio of these results. Theorem. Suppose f : (, ) 7 R satisfies equatio (1), f is o-zero o a set of positive Lebesgue measure, ad the discotiuity set of f is ot dese i (, ). The f has the form f(x) = Ax p e cx. Furthermore, the correspodig fuctios g ad h are uique up to multiplicative costats ad are give by g(x) = A 1 x p e cx, (3) x p h(x) = A 1 + x (4) where A 1 A = A. Deote J = Z x p e cx dx ad assume that p > 1 ad c < to esure the existece of the itegral. The decompositio ito (3) ad (4) implied by the Theorem results i the idetity J = Γ(p + 1) ( c) p+1 Z π/ si p tdt where Γ deotes the gamma fuctio. Furthermore, the evaluatio of the above itegral i closed form requires that p be a iteger, thus p {, 1,,... }. But i this case, J ca be reduced to the Gaussia itegral I by a scalig substitutio ad successive itegratio by parts! We coclude that Poisso s argumet has o wider applicability as a itegratio method. This aswers the questio posed i the title of the article. As Dawso observes, it is remarkable that Poisso s method turs out to have essetially oly oe applicatio ad that this sigle applicatio is such a sigificat oe! The proof of the Theorem differs substatially from the argumet i [Be] i focussig o the fuctio g i (1) rather tha o h. The proof will require three prelimiary results.
3 Poisso s remarkable calculatio 3 Lemma 1. Suppose f satisfies (1) ad f is o-zero o a set of positive Lebesgue measure. The f ever vaishes. Proof. Note first that h(1) 6= otherwise takig y = x i ( 1) gives f, cotradictig the hypothesis. We suppose throughout, without loss of geerality, that h(1) = 1. Settig y = x i (1) gives Substitutig for the fuctio g i (1), we obtai f (x) = g(x ). (5) Defie The (6) yields f(x)f(y) = f r x + y h y. (6) x r(x) = f( x), k(x) = h( x). r(x)r(tx) = r x(1 + t) k(t), t, x >. (7) We ow prove the claim: there exists δ > such that k(x) 6= for all x i the iterval (1 δ, 1 + δ). We argue by cotradictio. Sice the map x 7 x is strictly mootoe o (, ), the o-zero set of r has positive Lebesgue measure λ. Hece there exists a iteger N such that a λ(t ) > where T deotes the set {x/ r(x) 6= } [N, N + 1]. Suppose the claim ot hold. The there exists a sequece t 1 such that k(t ) = for all. Equatio (7) yields Defie ad r(x)r(t x) =,, x. (8) T {t x/ x T } V \ [ T k. =1 k= The (8) implies T ad T are disjoit, for all. Hece V T = φ. (9) Furthermore λ(v ) = lim [ λ k= T k lim λ(t ) = lim t λ(t ) = a. (1) If x V, the there exists a subsequece {t k } of {t } ad {x k } T such that x = t k x k. Sice t k 1, this implies x T, i.e. V T.
4 Poisso s remarkable calculatio 4 Let U be a arbitrary ope set such that T U. The T V Ū. (11) We coclude from (9) - (11) that λ(u) = λ(ū) λ(t V ) = λ(t ) + λ(v ) a. Thus o a = λ(t ) = if λ(u)/ U ope, T U a. This implies a =, a cotradictio. The claim follows. Now suppose f vaishes, so r(x ) = for some x >. Settig x = x i (7) ad usig the claim, we deduce that r o the iterval x (1 δ/, 1 + δ/). Extrapolatig this property results i the coclusio r, hece f which cotradicts the hypothesis of the Lemma. Before proceedig further, we give some examples of fuctios f satisfyig equatio (1) that do ot have the form specified i the Theorem. Example 1. Let m be a discotiuous fuctio o (, ) with the multiplicative property m(x)m(y) = m(xy), x, y >. (1) (The existece of a large class of such fuctios is well-established, see e.g. [A]). t The equatio (1) is satisfied with f = g = m ad h(t) = m( 1+t ). Note that m is ever zero (otherwise (1) implies m ). Example. Let a > ad defie f = I {a}, where I {a} deotes the idicator fuctio of the sigleto set {a}, g = I {a }, ad h = I {1}. The it is clear that these fuctios satisfy (1). Example 3. Let A deote the set of algebraic umbers i (, ). Defie f = g = h = I A. The (1) follows from the fact that A is closed uder the positivitypreservig arithmetic operatios ad the extractio of square roots. Ideed, this immediately implies that if I A (x)i A (y) = 1, the I A (x + y )I A (y/x) = 1. Coversely, suppose I A (x + y )I A (y/x) = 1. Write x + y = α ad y/x = β where α, β A. Solvig for x ad y, we have r r α α x = 1 + β, y = β 1 + β. Thus x, y A ad so I A (x)i A (y) = 1. This example i cojuctio with Lemma 1, provides a ew proof of the wellkow fact that (assumig at least oe trascedetal umber exists) the set of algebraic umbers has zero Lebesgue measure. I fact, replacig A i this argumet by a arbitrary set, we obtai the followig result. Propositio. Let E be a measurable proper subset of (, ) closed uder additio, multiplicatio, divisio, ad the extractio of square roots. The E has zero Lebesgue measure.
5 Poisso s remarkable calculatio 5 The above examples show that either of the additioal hypotheses i the Theorem is redudat. Lemma. Suppose f satsifes the hypotheses of the Theorem. The the fuctio r is cotiuous everywhere. Proof. I view of Lemma 1, we may write (7) i the form r x(1+t) k(t) r(x) =, t, x >. (13) r(tx) By hypothesis, there exists a iterval (a, b) o which r is cotiuous. Defie c = a+b. Suppose r is discotiuous at some poit x >. Choose t such that c = tx o ad defie x 1 = x+c. Assume r is cotiuous at x 1. The (13) yields lim r(x) = r (x 1 )k(t) = r(x ), x x r(c) i.e. r is cotiuous at x, cotrary to assumptio. We coclude that r is discotiuous at x 1. Iteratio of this argumet shows that r is discotiuous o the sequece of poits {x } defied iductively by x = x 1 + c, 1. Sice x evetually lies i (a, b) this gives a cotradictio, thereby provig the Lemma. Remark. Lemmas 1 ad imply that f ad hece r has costat sig, which we may suppose without loss of geerality, is positive. We deduce from (7) that k is the strictly positive ad everywhere cotiuous. Lemma 3. Suppose f satisfies the hypotheses of the Theorem. The the fuctio log r is itegrable at. Proof. The argumet is a quatitative versio of the iterative step i the proof of Lemma. We make repeated use of (13), which we write as r x(1+t) k(t) r(tx) =, t, x >. (14) r(x) First, choose δ <.15 ad l, L, m, M such that < l, m < 1, M, L > 1 ad l < r(x) < L, x [1, ], m < k(t) < M, t [δ, 1]. Takig x = ad lettig t vary i the rage [δ, 1] i (14), we have l m L < r(x) < L M, x [δ, 1]. (15) l
6 Poisso s remarkable calculatio 6 Now settig x = 4δ i (14) ad usig (15) yields l 5 m 3 L M < r(x) < L5 M 3 l m, x [4δ, δ]. (16) Settig x = 8δ ad usig (16) i (14) we have l 1 m 8 L 7 M 5 < r(x) < L1 M 8 l 7 m 5, x [8δ3, 4δ ] Note that the powers of l, m, L, M i these estimates are icreasig (roughly) by a factor of 3 each time. Iteratig this process, we see that there exist costats D < 1 ad E > 1 such that where = δ. Let D 4 < r(x) < E 4, < x < 1 (17) q = 4 1 log ad ote that q > 1/e by choice of δ. Substitutig t = i (17) gives log r(x) < q log t max( log D, log E), x [t, t 1 ]. Sice Z 1 q log t dt = this implies ad we are doe. Proof of the Theorem. Defie Z 1 Z (eq) x dx < log r(x) dx < G(x) = log r(x) 1 x = log r(x) Z 1 Z x log r(u)du (18) log r(xu)du, x >. (Note that Lemma 3 implies that the itegrals exist.) Takig logarithms i (13), we have x(1 + t) log r(x) + log r(tx) log r = log k(t), t, x >. Thus = log k(t) Z 1 x(1 + t) G(x) + G(tx) G x(1 + t)u o log r(xu) + log r(txu) log r du
7 Poisso s remarkable calculatio 7 Settig y = tx gives = log k(t) Z 1 log k(t)du =. G(x) + G(y) = G x + y, x, y >. (19) Equatio (19) is a variat of the Cauchy fuctioal equatio. It is well-kow (ad easy to show) that the oly cotiuous fuctios G satisfyig (19) are liear fuctios x 7 ax + b. We ca therefore write log r(x) 1 x Z x log r(u)du = cx + p for costats c ad p. Multiplyig by x ad differetiatig yields Solvig this ODE for r gives Hece xr (x) r(x) = cx + p. r(x) = Ax p/ e cx. f(x) = Ax p e cx as claimed. Substitutig this expressio ito (5) ad (6), we obtai the fuctios g ad h. We coclude with the followig remarks. The methods of this paper ca be used to treat the more geeral fuctioal equatio f(x)g(y) = F (x + y )G(y/x), x, y >. Assumig the discotiuity sets of f ad g are o-dese ad f ad g are ozero o sets of positive Lebesgue measure, we ca show that (up to multiplicative costats) the fuctios ecessarily have the form where p 1 + p = p. f(x) = x p1 e cx, g(x) = x p e cx, F (x) = x p e cx, G(x) = x p (1 + x ) p, The subject of fuctioal equatios, which origiated with Cauchy ad Abel, has spawed a extesive body of advaced techiques (see, e.g. [A]). These techiques have bee used to prove far more geeral results tha those preseted here (cf. [Ba], [L] ad [M]). The advatage of the preset approach is that it provides a complete aalysis of equatio (1) by direct ad elemetary meas.
8 Poisso s remarkable calculatio 8 Refereces [A] J. Aczel, Lectures o Fuctioal Equatios ad Their Applicatios, Academic Press, New York, [Ba] J. A. Baker, O the fuctioal equatio f(x)g(y) = p(x + y)q(x/y), Aequatioes Math, 14 (1976), [Be] D. Bell. O the limitatios of a well-kow itegratio techique, Math. Mag. 66 (1993) [Da] R. Dawso. O a sigular itegratio techique of Poisso, Amer. Math. Mothly 11 (5), o. 3, 7 7. [L] K. Lajko, Remark to a paper by J. A. Baker, Aequatioes Math. 19 (1979), [M] F. Meszaros, Numbers, fuctios, equatios 8, De La Motte Castle, Noszvaj, Hugary, 8.
We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n
Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at
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 informationMath 140A Elementary Analysis Homework Questions 3-1
Math 0A Elemetary Aalysis Homework Questios -.9 Limits Theorems for Sequeces Suppose that lim x =, lim y = 7 ad that all y are o-zero. Detarime the followig limits: (a) lim(x + y ) (b) lim y x y Let s
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
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 informationA REMARK ON A PROBLEM OF KLEE
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property
More information[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms.
[ 11 ] 1 1.1 Polyomial Fuctios 1 Algebra Ay fuctio f ( x) ax a1x... a1x a0 is a polyomial fuctio if ai ( i 0,1,,,..., ) is a costat which belogs to the set of real umbers ad the idices,, 1,...,1 are atural
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 information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
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 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 informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More informationHOMEWORK #10 SOLUTIONS
Math 33 - Aalysis I Sprig 29 HOMEWORK # SOLUTIONS () Prove that the fuctio f(x) = x 3 is (Riema) itegrable o [, ] ad show that x 3 dx = 4. (Without usig formulae for itegratio that you leart i previous
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 informationName: Math 10550, Final Exam: December 15, 2007
Math 55, Fial Exam: December 5, 7 Name: Be sure that you have all pages of the test. No calculators are to be used. The exam lasts for two hours. Whe told to begi, remove this aswer sheet ad keep it uder
More information18.01 Calculus Jason Starr Fall 2005
Lecture 18. October 5, 005 Homework. Problem Set 5 Part I: (c). Practice Problems. Course Reader: 3G 1, 3G, 3G 4, 3G 5. 1. Approximatig Riema itegrals. Ofte, there is o simpler expressio for the atiderivative
More informationChapter 8. Euler s Gamma function
Chapter 8 Euler s Gamma fuctio The Gamma fuctio plays a importat role i the fuctioal equatio for ζ(s that we will derive i the ext chapter. I the preset chapter we have collected some properties of the
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 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 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 informationChapter 8. Euler s Gamma function
Chapter 8 Euler s Gamma fuctio The Gamma fuctio plays a importat role i the fuctioal equatio for ζ(s) that we will derive i the ext chapter. I the preset chapter we have collected some properties of the
More informationRead carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.
THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: Jauary 2009 Aalysis I Time Allowed:.5 hours Read carefully the istructios o the aswer book ad make sure that the particulars required are etered o each
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
More informationOn the behavior at infinity of an integrable function
O the behavior at ifiity of a itegrable fuctio Emmauel Lesige To cite this versio: Emmauel Lesige. O the behavior at ifiity of a itegrable fuctio. The America Mathematical Mothly, 200, 7 (2), pp.75-8.
More informationLecture 3 The Lebesgue Integral
Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
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 informationRecurrence Relations
Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The
More informationOscillation and Property B for Third Order Difference Equations with Advanced Arguments
Iter atioal Joural of Pure ad Applied Mathematics Volume 3 No. 0 207, 352 360 ISSN: 3-8080 (prited versio); ISSN: 34-3395 (o-lie versio) url: http://www.ijpam.eu ijpam.eu Oscillatio ad Property B for Third
More informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationSolutions to Tutorial 3 (Week 4)
The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial Week 4 MATH2962: Real ad Complex Aalysis Advaced Semester 1, 2017 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More information1 6 = 1 6 = + Factorials and Euler s Gamma function
Royal Holloway Uiversity of Lodo Departmet of Physics Factorials ad Euler s Gamma fuctio Itroductio The is a self-cotaied part of the course dealig, essetially, with the factorial fuctio ad its geeralizatio
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 information1 Approximating Integrals using Taylor Polynomials
Seughee Ye Ma 8: Week 7 Nov Week 7 Summary This week, we will lear how we ca approximate itegrals usig Taylor series ad umerical methods. Topics Page Approximatig Itegrals usig Taylor Polyomials. Defiitios................................................
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 informationMATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006
MATH 34 Summer 006 Elemetary Number Theory Solutios to Assigmet Due: Thursday July 7, 006 Departmet of Mathematical ad Statistical Scieces Uiversity of Alberta Questio [p 74 #6] Show that o iteger of the
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 informationTMA4205 Numerical Linear Algebra. The Poisson problem in R 2 : diagonalization methods
TMA4205 Numerical Liear Algebra The Poisso problem i R 2 : diagoalizatio methods September 3, 2007 c Eiar M Røquist Departmet of Mathematical Scieces NTNU, N-749 Trodheim, Norway All rights reserved A
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 informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
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 informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
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 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 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 informationFeedback in Iterative Algorithms
Feedback i Iterative Algorithms Charles Byre (Charles Byre@uml.edu), Departmet of Mathematical Scieces, Uiversity of Massachusetts Lowell, Lowell, MA 01854 October 17, 2005 Abstract Whe the oegative system
More informationThe Numerical Solution of Singular Fredholm Integral Equations of the Second Kind
WDS' Proceedigs of Cotributed Papers, Part I, 57 64, 2. ISBN 978-8-7378-39-2 MATFYZPRESS The Numerical Solutio of Sigular Fredholm Itegral Equatios of the Secod Kid J. Rak Charles Uiversity, Faculty of
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationOn some properties of digamma and polygamma functions
J. Math. Aal. Appl. 328 2007 452 465 www.elsevier.com/locate/jmaa O some properties of digamma ad polygamma fuctios Necdet Batir Departmet of Mathematics, Faculty of Arts ad Scieces, Yuzucu Yil Uiversity,
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 informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
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 informationOn the Variations of Some Well Known Fixed Point Theorem in Metric Spaces
Turkish Joural of Aalysis ad Number Theory, 205, Vol 3, No 2, 70-74 Available olie at http://pubssciepubcom/tjat/3/2/7 Sciece ad Educatio Publishig DOI:0269/tjat-3-2-7 O the Variatios of Some Well Kow
More informationMath 128A: Homework 1 Solutions
Math 8A: Homework Solutios Due: Jue. Determie the limits of the followig sequeces as. a) a = +. lim a + = lim =. b) a = + ). c) a = si4 +6) +. lim a = lim = lim + ) [ + ) ] = [ e ] = e 6. Observe that
More informationA) is empty. B) is a finite set. C) can be a countably infinite set. D) can be an uncountable set.
M.A./M.Sc. (Mathematics) Etrace Examiatio 016-17 Max Time: hours Max Marks: 150 Istructios: There are 50 questios. Every questio has four choices of which exactly oe is correct. For correct aswer, 3 marks
More informationand each factor on the right is clearly greater than 1. which is a contradiction, so n must be prime.
MATH 324 Summer 200 Elemetary Number Theory Solutios to Assigmet 2 Due: Wedesday July 2, 200 Questio [p 74 #6] Show that o iteger of the form 3 + is a prime, other tha 2 = 3 + Solutio: If 3 + is a prime,
More informationMA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions
MA54 : Real Aalysis Tutorial ad Practice Problems - Hits ad Solutios. Suppose that S is a oempty subset of real umbers that is bouded (i.e. bouded above as well as below). Prove that if S sup S. What ca
More informationFourier series and the δ 2 process
Fourier series ad the δ process Eyuel Abebe* Jameso Graber* Charles N. Moore Worcester Polytechic Istitute Washigto ad Lee Uiversity Kasas State Uiversity Worcester, MA 0609 Lexigto, VA 4450 Mahatta, KS
More informationarxiv: v1 [math.nt] 5 Jan 2017 IBRAHIM M. ALABDULMOHSIN
FRACTIONAL PARTS AND THEIR RELATIONS TO THE VALUES OF THE RIEMANN ZETA FUNCTION arxiv:70.04883v [math.nt 5 Ja 07 IBRAHIM M. ALABDULMOHSIN Kig Abdullah Uiversity of Sciece ad Techology (KAUST, Computer,
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 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 informationMA131 - Analysis 1. Workbook 9 Series III
MA3 - Aalysis Workbook 9 Series III Autum 004 Cotets 4.4 Series with Positive ad Negative Terms.............. 4.5 Alteratig Series.......................... 4.6 Geeral Series.............................
More information8. Applications To Linear Differential Equations
8. Applicatios To Liear Differetial Equatios 8.. Itroductio 8.. Review Of Results Cocerig Liear Differetial Equatios Of First Ad Secod Orders 8.3. Eercises 8.4. Liear Differetial Equatios Of Order N 8.5.
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 informationFUNDAMENTALS OF REAL ANALYSIS by
FUNDAMENTALS OF REAL ANALYSIS by Doğa Çömez Backgroud: All of Math 450/1 material. Namely: basic set theory, relatios ad PMI, structure of N, Z, Q ad R, basic properties of (cotiuous ad differetiable)
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 informationMath 299 Supplement: Real Analysis Nov 2013
Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality
More informationSequences and Series
Sequeces ad Series Sequeces of real umbers. Real umber system We are familiar with atural umbers ad to some extet the ratioal umbers. While fidig roots of algebraic equatios we see that ratioal umbers
More informationA collocation method for singular integral equations with cosecant kernel via Semi-trigonometric interpolation
Iteratioal Joural of Mathematics Research. ISSN 0976-5840 Volume 9 Number 1 (017) pp. 45-51 Iteratioal Research Publicatio House http://www.irphouse.com A collocatio method for sigular itegral equatios
More informationAdvanced Analysis. Min Yan Department of Mathematics Hong Kong University of Science and Technology
Advaced Aalysis Mi Ya Departmet of Mathematics Hog Kog Uiversity of Sciece ad Techology September 3, 009 Cotets Limit ad Cotiuity 7 Limit of Sequece 8 Defiitio 8 Property 3 3 Ifiity ad Ifiitesimal 8 4
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
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 informationLøsningsførslag i 4M
Norges tekisk aturviteskapelige uiversitet Istitutt for matematiske fag Side 1 av 6 Løsigsførslag i 4M Oppgave 1 a) A sketch of the graph of the give f o the iterval [ 3, 3) is as follows: The Fourier
More informationCommon Coupled Fixed Point of Mappings Satisfying Rational Inequalities in Ordered Complex Valued Generalized Metric Spaces
IOSR Joural of Mathematics (IOSR-JM) e-issn: 78-578, p-issn:319-765x Volume 10, Issue 3 Ver II (May-Ju 014), PP 69-77 Commo Coupled Fixed Poit of Mappigs Satisfyig Ratioal Iequalities i Ordered Complex
More informationA Simplified Binet Formula for k-generalized Fibonacci Numbers
A Simplified Biet Formula for k-geeralized Fiboacci Numbers Gregory P. B. Dresde Departmet of Mathematics Washigto ad Lee Uiversity Lexigto, VA 440 dresdeg@wlu.edu Zhaohui Du Shaghai, Chia zhao.hui.du@gmail.com
More informationJournal of Mathematical Analysis and Applications 250, doi: jmaa , available online at http:
Joural of Mathematical Aalysis ad Applicatios 5, 886 doi:6jmaa766, available olie at http:wwwidealibrarycom o Fuctioal Equalities ad Some Mea Values Shoshaa Abramovich Departmet of Mathematics, Uiersity
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 informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationChapter 8. Uniform Convergence and Differentiation.
Chapter 8 Uiform Covergece ad Differetiatio This chapter cotiues the study of the cosequece of uiform covergece of a series of fuctio I Chapter 7 we have observed that the uiform limit of a sequece of
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: MA1102: Series and Matrices
Notes: MA: Series ad Matrices M.T. Nair (IIT Madras) Jauary - May 8 April 3, 8 Cotets Sequeces 3. Defiitio ad examples............................. 3. Covergece ad divergece...........................
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 3 9/11/2013. Large deviations Theory. Cramér s Theorem
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/5.070J Fall 203 Lecture 3 9//203 Large deviatios Theory. Cramér s Theorem Cotet.. Cramér s Theorem. 2. Rate fuctio ad properties. 3. Chage of measure techique.
More informationLecture 6: Integration and the Mean Value Theorem. slope =
Math 8 Istructor: Padraic Bartlett Lecture 6: Itegratio ad the Mea Value Theorem Week 6 Caltech 202 The Mea Value Theorem The Mea Value Theorem abbreviated MVT is the followig result: Theorem. Suppose
More informationThe natural exponential function
The atural expoetial fuctio Attila Máté Brookly College of the City Uiversity of New York December, 205 Cotets The atural expoetial fuctio for real x. Beroulli s iequality.....................................2
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 informationThe Bilateral Laplace Transform of the Positive Even Functions and a Proof of Riemann Hypothesis
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
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Stirlig ad Lagrage Sprig 2003 This sectio of the otes cotais proofs of Stirlig s formula ad the Lagrage Iversio Formula. Stirlig s formula Theorem 1 (Stirlig s
More information1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series.
.3 Covergece Theorems of Fourier Series I this sectio, we preset the covergece of Fourier series. A ifiite sum is, by defiitio, a limit of partial sums, that is, a cos( kx) b si( kx) lim a cos( kx) b si(
More informationAdditional Notes on Power Series
Additioal Notes o Power Series Mauela Girotti MATH 37-0 Advaced Calculus of oe variable Cotets Quick recall 2 Abel s Theorem 2 3 Differetiatio ad Itegratio of Power series 4 Quick recall We recall here
More informationMATH 112: HOMEWORK 6 SOLUTIONS. Problem 1: Rudin, Chapter 3, Problem s k < s k < 2 + s k+1
MATH 2: HOMEWORK 6 SOLUTIONS CA PRO JIRADILOK Problem. If s = 2, ad Problem : Rudi, Chapter 3, Problem 3. s + = 2 + s ( =, 2, 3,... ), prove that {s } coverges, ad that s < 2 for =, 2, 3,.... Proof. The
More informationAssignment 5: Solutions
McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece
More informationContinuous Functions
Cotiuous Fuctios Q What does it mea for a fuctio to be cotiuous at a poit? Aswer- I mathematics, we have a defiitio that cosists of three cocepts that are liked i a special way Cosider the followig defiitio
More informationMatrix Algebra 2.2 THE INVERSE OF A MATRIX Pearson Education, Inc.
2 Matrix Algebra 2.2 THE INVERSE OF A MATRIX MATRIX OPERATIONS A matrix A is said to be ivertible if there is a matrix C such that CA = I ad AC = I where, the idetity matrix. I = I I this case, C is a
More information