The heat kernel on R n
|
|
- Arron Arnold
- 5 years ago
- Views:
Transcription
1 The het kernel on Jordn Bell Deprtment of Mthemtics, University of Toronto My 28, 24 Nottion For f L (, we define ˆf : C by ˆf(ξ = (F f(ξ = f(xe 2πiξx dx, ξ. The sttement of the Riemnn-Lebesgue lemm is tht ˆf C (. We denote by S n the Fréchet spce of Schwrtz functions C. If α is multi-index, we define nd D α = i α D α = D α = D α Dαn n, α ( i D = D D 2 n. ( i D n αn, 2 The het eqution Fix n, nd for t >, x, define k t (x = k(t, x = (4πt n/2 exp ( x 2. 4t We cll k the het kernel. It is strightforwrd to check for ny t > tht k t S n. The het kernel stisfies k t (x = (t /2 n k (t /2 x, t >, x. For > nd f(x = e π x 2, it is fct tht ˆf(ξ = n/2 e π ξ 2 /. Using this, for ny t > we get ˆk t (ξ = e 4π2 ξ 2t, ξ.
2 Thus for ny t >, k t (xdx = ˆk t ( =. Then the het kernel is n pproximte identity: if f L p (, p <, then f k t f p s t, nd if f is function on tht is bounded nd continuous, then for every x, f k t (x f(x s t. For ech t >, becuse k t S n we hve f k t C (, nd D α (f k t = f D α k t for ny multi-index α. 2 The het opertor is D t nd the het eqution is (D t u =. It is strightforwrd to check tht (D t k(t, x =, t >, x, tht is, the het kernel is solution of the het eqution. To get some prctice proving things bout solutions of the het eqution, we work out the following theorem from Follnd. 3 In Follnd s proof it is not pprent how the hypotheses on u nd D x re used, nd we mke this explicit. Theorem. Suppose tht u : [, C is continuous, tht u is C 2 on (,, tht (D t u(t, x =, t >, x, nd tht u(, x = for x. If for every ɛ > there is some C such tht then u =. u(t, x Ce ɛ x 2, D x u(t, x Ce ɛ x 2, t >, x, Proof. If f nd g re C 2 functions on some open set in R, such s (,, then g( t f f + f( t g + g = t (fg g = t (fg + = div t,x F, n j 2 f + f j= n j 2 g j= n j (f j g g j f j= where F = (fg, f g g f,..., f n g g n f. k, nd ny k t, belong merely to S n nd not to D(, which is demnded in the definition of n pproximte identity in Rudin s Functionl Anlysis, second ed. 2 Gerld B. Follnd, Introduction to Prtil Differentil Equtions, second ed., p., Theorem.4. 3 Gerld B. Follnd, Introduction to Prtil Differentil Equtions, second ed., p. 44, Theorem
3 Tke t >, x, nd let f(t, x = u(t, x nd g(t, x = k(t t, x x for t >, x. Let < < b < t nd r >, nd define Ω = {(t, x : x < r, < t < b}. In Ω we check tht ( t f = nd ( t + g =, so by the divergence theorem, F ν = div t,x F = g( t f f + f( t g + g = g + f =. Ω Ω On the other hnd, s Ω Ω = {(b, x : x r} {(, x : x r} {(t, x : < t < b, x = r}, we hve F ν = Ω = = b + b + b + F (b, x (,,..., dx + F (t, x x x =r r dσ(xtn dt f(b, xg(b, xdx f(, xg(, xdx Ω F (, x (,,..., dx n (f j g g j f(t, x x j x =r r dσ(xtn dt j= u(b, xk(t b, x x dx u(, xk(t, x x dx n x =r j= k(t t, x x j u(t, x ( u(t, x j k(t t, x x xj r dσ(xtn dt, where σ is surfce mesure on { x = r} = rs n. As r, the first two terms tend to u(b, xk t b(x x dx = u(b, xk t b(x xdx = u(b, k t b(x nd u(, xk t (x x dx = u(, xk t (x xdx = u(, k t (x respectively. Let ɛ < 4(t, nd let C be s given in the sttement of the theorem. Using j k(t, x = xj 2t k(t, x, for ny r > the third term is bounded by n b x =r ( Ce ɛr2 x x 2t k(t t, x x + k(t t, x x Ce ɛr2 dσ(xt n dt, 3
4 which is bounded by b ( x + r n Ce ɛr2 2 x =r ( + (4π(t b n/2 exp r 2 4(t dσ(xt n dt, nd writing η = 4(t ɛ nd ω n = 2πn/2 Γ(n/2, the surfce re of the sphere of rdius in, this is equl to (b n r n ω n Ce ηr2 ( x + r 2 which tends to s r. Therefore, + (4π(t b n/2, u(b, k t b(x = u(, k t (x. One checks tht s b t, the left-hnd side tends to u(t, x, nd tht s, the right-hnd side tends to u(, x =. Therefore, u(t, x =. This is true for ny t >, x, nd s u : [, C is continuous, it follows tht u is identiclly. 3 Fundmentl solutions We extend k to R s { (4πt n/2 exp ( x 2 4t t >, x k(t, x = t, x. This function is loclly integrble in R, so it mkes sense to define Λ k D (R by Λ k φ = R φ(t, xk(t, xdxdt, φ D(R. Suppose tht P is polynomil in n vribles: P (ξ = c α ξ α = c α ξ α ξαn n. We sy tht E D ( is fundmentl solution of the differentil opertor P (D = c α D α = c α i α D α if P (DE = δ. If E = Λ f for some loclly integrble f, Λ f φ = φ(xf(xdx, we lso sy tht the function f is fundmentl solution of the differentil opertor P (D. We now prove tht the het kernel extended to R in the bove wy is fundmentl solution of the het opertor. 4 4 Gerld B. Follnd, Introduction to Prtil Differentil Equtions, second ed., p. 46, Theorem
5 Theorem 2. Λ k is fundmentl solution of D t. Proof. For ɛ >, define K ɛ (t, x = k(t, x if t > ɛ nd K ɛ (t, x = otherwise. For ny φ D(R, ɛ (k(t, x K ɛ (t, xφ(t, xdxdt = k(t, xφ(t, xdxdt R R n ɛ φ k(t, xdxdt R n ɛ = φ dt = φ ɛ. This shows tht Λ Kɛ Λ k in D (R, with the wek-* topology. It is fct tht for ny multi-index, E D α E is continuous D (R D (R, nd hence (D t Λ Kɛ (D t Λ k in D (R. Therefore, to prove the theorem it suffices to prove tht (D t Λ Kɛ δ (becuse D (R with the wek-* topology is Husdorff. Let φ D(R. Doing integrtion by prts, (D t Λ Kɛ (φ = Λ Kɛ ((D t φ = K ɛ (t, x(d t φ(t, x φ(t, xdxtx R R n = k(t, xd t φ(t, x k(t, x φ(t, xdxtx ɛ R ( n = k(ɛ, xφ(ɛ, x φ(t, xd t k(t, xdt dx ɛ + φ(t, x k(t, xdxdt ɛ R n = k(ɛ, xφ(ɛ, xdx R n φ(t, x(d t k(t, xdtdx ɛ R n = k(ɛ, xφ(ɛ, xdx. So, using k t (x = k t ( x nd writing φ t (x = φ(t, x, (D t Λ Kɛ (φ = k ɛ ( xφ ɛ (xdx = k ɛ φ ɛ ( = k ɛ φ ( + k ɛ (φ ɛ φ (. Using the definition of convolution, the second term is bounded by sup φ ɛ (x φ (x k ɛ = sup φ ɛ (x φ (x, x x 5
6 which tends to s ɛ. Becuse k is n pproximte identity, k ɛ φ ( φ ( s ɛ. Tht is, (D t Λ Kɛ (φ φ ( = δ(φ s ɛ, showing tht (D t Λ Kɛ proof. δ in D (R nd completing the 4 Functions of the Lplcin This section is my working through of mteril in Follnd. 5 For f S n nd for ny nonnegtive integer k, doing integrtion by prts we get F (( k f(ξ = (( k f(xe 2πiξx dx = (4π 2 ξ 2 k (F f(ξ, ξ. Suppose tht P is polynomil in one vrible: P (x = c k x k. Then, writing P ( = c k ( k, we hve F (P ( f(ξ = c k F (( k f(ξ = c k (4π 2 ξ 2 k (F f(ξ = (F f(ξp (4π 2 ξ 2. We remind ourselves tht tempered distributions re elements of S n, i.e. continuous liner mps S n C. The Fourier trnsform of tempered distribution Λ is defined by Λf = (F Λf = Λ ˆf, f S n. It is fct tht the Fourier trnsform is n isomorphism of loclly convex spces S n S n. 6 Suppose tht ψ : (, C is function such tht Λf = f(ξψ(4π 2 ξ 2 dξ, f S n, is tempered distribution. We define ψ( : S n S n by ψ( f = F ( ˆfΛ, f S n. Define ˇf(x = f( x; this is not the inverse Fourier trnsform of f, which we denote by F. As well, write τ x f(y = f(y x. For u S n nd φ S n, we define the convolution u φ : C by One proves tht u φ C (, tht (u φ(x = u(τ x ˇφ, x. D α (u φ = (D α u φ = u (D α φ 5 Gerld B. Follnd, Introduction to Prtil Differentil Equtions, second ed., pp , 4B. 6 Wlter Rudin, Functionl Anlysis, second ed., p. 92, Theorem
7 for ny multi-index, tht u φ is tempered distribution, tht F (u φ = ˆφû, nd tht û ˆφ = F (φu. 7 We cn lso write ψ( in the following wy. There is unique κ ψ S n such tht F κ ψ = Λ. For f S n, we hve F (κ ψ f = ˆf ˆκ ψ = ˆfΛ, but, using the definition of ψ( we lso hve F (ψ( f = F F ( ˆfΛ = ˆfΛ, so κ ψ f = ψ( f. Moreover, κ ψ f C ( ; this shows tht ψ( f cn be interpreted s tempered distribution or s function. We cll κ ψ the convolution kernel of ψ(. For fixed t >, define ψ(s = e ts. Then Λ : S n C defined by Λf = f(ξψ(4π 2 ξ 2 dξ = f(ξ exp ( 4π 2 ξ 2 t dξ = f(ξˆk t (ξdξ is tempered distribution. Using the Plncherel theorem, we hve Λf = ˆf(ξkt (ξdξ. With κ ψ S n such tht F κ ψ = Λ, we hve Λf = (F κ ψ (f = κ ψ ( ˆf. Becuse f ˆf is bijection S n S n, this shows tht for ny f S n we hve κ ψ (f = f(ξk t (ξdξ. Hence, e t f = κ ψ f = k t f, t >, f S n. ( Suppose tht φ : (, C nd ω : (, (, re functions nd tht ψ(s = φ(τe sω(τ dτ, s >. Mnipulting symbols suggests tht it my be true tht nd then, for f S n, ψ( f = ψ( = φ(τe ω(τ fdτ = φ(τe ω(τ dτ, φ(τ(k ω(τ fdτ, 7 Wlter Rudin, Functionl Anlysis, second ed., p. 95, Theorem
8 nd hence κ ψ (x = φ(τk ω(τ (xdτ, x. (2 Tke ψ(s = s β with < Re β < n 2. Becuse Re β < n 2, one checks tht Λf = f(ξ(4π 2 ξ 2 β dξ is tempered distribution. As Re β >, we hve nd writing φ(τ = τ β kernel of ( β is s β = τ β e sτ dτ nd ω(τ = τ, we suspect from (2 tht the convolution κ ψ (x = which one clcultes is equl to τ β k τ (xdτ, Γ ( n 2 β. (3 4 β π n/2 x n 2β Wht we hve written so fr does not prove tht this is the convolution kernel of ( β becuse it used (2, but it is strightforwrd to clculte tht indeed the convolution kernel of ( β is (3. This clcultion is explined in n exercise in Follnd. 8 Tking α = 2β nd defining Γ ( n α R α (x = Γ ( α 2 2 2α π n/2 x, < Re α < n, x n α Rn, we cll R α the Riesz potentil of order α. Tking s grnted tht (3 is the convolution kernel of ( β, we hve ( α/2 f = R α f, f S n. Then, if n > 2 nd α = 2 stisfies < Re α < n, we work out tht where ω n = 2πn/2 Γ(n/2, nd hence R 2 (x = (n 2ω n x n 2, ( f = R 2 f, f S n, 8 Gerld B. Follnd, Introduction to Prtil Differentil Equtions, second ed., p. 54, Exercise. 8
9 nd pplying we obtin f = (R 2 f = ( R 2 f, hence R 2 = δ. Tht is, R 2 is the fundmentl solution for. Suppose tht Re β >. Then, using the definition of s n integrl, with ψ(s = ( + s β, we hve ψ(s = Mnipulting symbols suggests tht ψ( = τ β e (+sτ dτ, s >. τ β e τ e τ dτ, nd using (, ssuming the bove is true we would hve for ll f S n, ψ( f = whose convolution kernel is τ β e τ e τ fdτ = We write α = 2β nd define, for Re α >, B α (x = Γ ( α 2 (4π n/2 τ β e τ k τ dτ. τ β e τ (k τ fdτ, τ α n 2 x 2 τ e 4τ dτ, x. We cll B α the Bessel potentil of order α. It is strightforwrd to show, nd shown in Follnd, tht B α <, so B α L (. Therefore we cn tke the Fourier trnsform of B α, nd one clcultes tht it is B α (ξ = ( + 4π 2 ξ 2 α/2, ξ, nd then ψ( = ( α/2 f = B α f, f S n. 5 Gussin mesure If µ is mesure on nd f : C is function such tht for every x the integrl f(x ydµ(y converges, we define the convolution µ f : C by (µ f(x = µ(τ x ˇf = (τ x ˇf(ydµ(y = ˇf(y xdµ(y = f(x ydµ(y. Let ν t be the mesure on with density k t. We cll ν t Gussin mesure. It stisfies ν t f(x = f(x ydν t (y = f(x yk t (ydy = f k t (x, x. 9
The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
More informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
More informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationProperties of the Riemann Integral
Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationEuler-Maclaurin Summation Formula 1
Jnury 9, Euler-Mclurin Summtion Formul Suppose tht f nd its derivtive re continuous functions on the closed intervl [, b]. Let ψ(x) {x}, where {x} x [x] is the frctionl prt of x. Lemm : If < b nd, b Z,
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationINTRODUCTION TO INTEGRATION
INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationf p dm = exp Use the Dominated Convergence Theorem to complete the exercise. ( d φ(tx))f(x) dx. Ψ (t) =
M38C Prctice for the finl Let f L ([, ]) Prove tht ( /p f dm) p = exp p log f dm where, by definition, exp( ) = To simplify the problem, you my ssume log f L ([, ]) Hint: rewrite the left hnd side in form
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationExample Sheet 6. Infinite and Improper Integrals
Sivkumr Exmple Sheet 6 Infinite nd Improper Integrls MATH 5H Mteril presented here is extrcted from Stewrt s text s well s from R. G. Brtle s The elements of rel nlysis. Infinite Integrls: These integrls
More informationContinuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More information(4.1) D r v(t) ω(t, v(t))
1.4. Differentil inequlities. Let D r denote the right hnd derivtive of function. If ω(t, u) is sclr function of the sclrs t, u in some open connected set Ω, we sy tht function v(t), t < b, is solution
More informationWe divide the interval [a, b] into subintervals of equal length x = b a n
Arc Length Given curve C defined by function f(x), we wnt to find the length of this curve between nd b. We do this by using process similr to wht we did in defining the Riemnn Sum of definite integrl:
More information4181H Problem Set 11 Selected Solutions. Chapter 19. n(log x) n 1 1 x x dx,
48H Problem Set Selected Solutions Chpter 9 # () Tke f(x) = x n, g (x) = e x, nd use integrtion by prts; this gives reduction formul: x n e x dx = x n e x n x n e x dx. (b) Tke f(x) = (log x) n, g (x)
More informationIntroduction to Some Convergence theorems
Lecture Introduction to Some Convergence theorems Fridy 4, 005 Lecturer: Nti Linil Notes: Mukund Nrsimhn nd Chris Ré. Recp Recll tht for f : T C, we hd defined ˆf(r) = π T f(t)e irt dt nd we were trying
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
More informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationPractice final exam solutions
University of Pennsylvni Deprtment of Mthemtics Mth 26 Honors Clculus II Spring Semester 29 Prof. Grssi, T.A. Asher Auel Prctice finl exm solutions 1. Let F : 2 2 be defined by F (x, y (x + y, x y. If
More informationThe Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.
Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct
More informationMath Advanced Calculus II
Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused
More informationFunctional Analysis I Solutions to Exercises. James C. Robinson
Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,
More information1.3 The Lemma of DuBois-Reymond
28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBois-Reymond We needed extr regulrity to integrte by prts nd obtin the Euler- Lgrnge eqution. The following result shows tht, t lest sometimes, the extr
More informationu(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.
Lecture 4 Complex Integrtion MATH-GA 2451.001 Complex Vriles 1 Construction 1.1 Integrting complex function over curve in C A nturl wy to construct the integrl of complex function over curve in the complex
More informationNumerical integration
2 Numericl integrtion This is pge i Printer: Opque this 2. Introduction Numericl integrtion is problem tht is prt of mny problems in the economics nd econometrics literture. The orgniztion of this chpter
More informationWeek 10: Line Integrals
Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More information0.1 Properties of regulated functions and their Integrals.
MA244 Anlysis III Solutions. Sheet 2. NB. THESE ARE SKELETON SOLUTIONS, USE WISELY!. Properties of regulted functions nd their Integrls.. (Q.) Pick ny ɛ >. As f, g re regulted, there exist φ, ψ S[, b]:
More informationMath 324 Course Notes: Brief description
Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationc n φ n (x), 0 < x < L, (1) n=1
SECTION : Fourier Series. MATH4. In section 4, we will study method clled Seprtion of Vribles for finding exct solutions to certin clss of prtil differentil equtions (PDEs. To do this, it will be necessry
More informationThe Wave Equation I. MA 436 Kurt Bryan
1 Introduction The Wve Eqution I MA 436 Kurt Bryn Consider string stretching long the x xis, of indeterminte (or even infinite!) length. We wnt to derive n eqution which models the motion of the string
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationChapter 1. Basic Concepts
Socrtes Dilecticl Process: The Þrst step is the seprtion of subject into its elements. After this, by deþning nd discovering more bout its prts, one better comprehends the entire subject Socrtes (469-399)
More informationIntroduction to Real Analysis (Math 315) Martin Bohner
ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020
More informationCalculus II: Integrations and Series
Clculus II: Integrtions nd Series August 7, 200 Integrls Suppose we hve generl function y = f(x) For simplicity, let f(x) > 0 nd f(x) continuous Denote F (x) = re under the grph of f in the intervl [,x]
More informationMath 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that
Mth 118: Honours Clculus II Winter, 2005 List of Theorems Lemm 5.1 (Prtition Refinement): If P nd Q re prtitions of [, b] such tht Q P, then L(P, f) L(Q, f) U(Q, f) U(P, f). Lemm 5.2 (Upper Sums Bound
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
More informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl Won-Kwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
More informationChapter 0. What is the Lebesgue integral about?
Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous
More informationCalculus of Variations: The Direct Approach
Clculus of Vritions: The Direct Approch Lecture by Andrejs Treibergs, Notes by Bryn Wilson June 7, 2010 The originl lecture slides re vilble online t: http://www.mth.uth.edu/~treiberg/directmethodslides.pdf
More informationVariational Techniques for Sturm-Liouville Eigenvalue Problems
Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More informationPrinciples of Real Analysis I Fall VI. Riemann Integration
21-355 Principles of Rel Anlysis I Fll 2004 A. Definitions VI. Riemnn Integrtion Let, b R with < b be given. By prtition of [, b] we men finite set P [, b] with, b P. The set of ll prtitions of [, b] will
More informationNumerical Integration
Numericl Integrtion Wouter J. Den Hn London School of Economics c 2011 by Wouter J. Den Hn June 3, 2011 Qudrture techniques I = f (x)dx n n w i f (x i ) = w i f i i=1 i=1 Nodes: x i Weights: w i Qudrture
More informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More informationAnonymous Math 361: Homework 5. x i = 1 (1 u i )
Anonymous Mth 36: Homewor 5 Rudin. Let I be the set of ll u (u,..., u ) R with u i for ll i; let Q be the set of ll x (x,..., x ) R with x i, x i. (I is the unit cube; Q is the stndrd simplex in R ). Define
More informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
More informationHandout I - Mathematics II
Hndout I - Mthemtics II The im of this hndout is to briefly summrize the most importnt definitions nd theorems, nd to provide some smple exercises. The topics re discussed in detil t the lectures nd seminrs.
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function
More informationAMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives
AMATH 731: Applied Functionl Anlysis Fll 214 Additionl notes on Fréchet derivtives (To ccompny Section 3.1 of the AMATH 731 Course Notes) Let X,Y be normed liner spces. The Fréchet derivtive of n opertor
More informationMAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL
MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA-302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition
More informationProf. Girardi, Math 703, Fall 2012 Homework Solutions: 1 8. Homework 1. in R, prove that. c k. sup. k n. sup. c k R = inf
Knpp, Chpter, Section, # 4, p. 78 Homework For ny two sequences { n } nd {b n} in R, prove tht lim sup ( n + b n ) lim sup n + lim sup b n, () provided the two terms on the right side re not + nd in some
More informationn f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1
The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the
More informationChapter One: Calculus Revisited
Chpter One: Clculus Revisited 1 Clculus of Single Vrible Question in your mind: How do you understnd the essentil concepts nd theorems in Clculus? Two bsic concepts in Clculus re differentition nd integrtion
More informationThe area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationMath Solutions to homework 1
Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationp(x) = 3x 3 + x n 3 k=0 so the right hand side of the equality we have to show is obtained for r = b 0, s = b 1 and 2n 3 b k x k, q 2n 3 (x) =
Norwegin University of Science nd Technology Deprtment of Mthemticl Sciences Pge 1 of 5 Contct during the exm: Elen Celledoni, tlf. 73593541, cell phone 48238584 PLESE NOTE: this solution is for the students
More information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More informationIMPORTANT THEOREMS CHEAT SHEET
IMPORTANT THEOREMS CHEAT SHEET BY DOUGLAS DANE Howdy, I m Bronson s dog Dougls. Bronson is still complining bout the textbook so I thought if I kept list of the importnt results for you, he might stop.
More informationHandout 4. Inverse and Implicit Function Theorems.
8.95 Hndout 4. Inverse nd Implicit Function Theorems. Theorem (Inverse Function Theorem). Suppose U R n is open, f : U R n is C, x U nd df x is invertible. Then there exists neighborhood V of x in U nd
More informationRiemann Integrals and the Fundamental Theorem of Calculus
Riemnn Integrls nd the Fundmentl Theorem of Clculus Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University September 16, 2013 Outline Grphing Riemnn Sums
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
More information2 Fundamentals of Functional Analysis
Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October 2015 2 Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results
More informationConstruction of Gauss Quadrature Rules
Jim Lmbers MAT 772 Fll Semester 2010-11 Lecture 15 Notes These notes correspond to Sections 10.2 nd 10.3 in the text. Construction of Guss Qudrture Rules Previously, we lerned tht Newton-Cotes qudrture
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationThe Riemann-Lebesgue Lemma
Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationQuestion 1. Question 3. Question 4. Graduate Analysis I Chapter 5
Grdute Anlysis I Chpter 5 Question If f is simple mesurle function (not necessrily positive) tking vlues j on j, j =,,..., N, show tht f = N j= j j. Proof. We ssume j disjoint nd,, J e nonnegtive ut J+,,
More informationEntrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim
1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your
More information