DOCSLIB.ORG

Analysis III

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Analysis III Analysis III Lecturer: Prof. Oleg Zaboronski, Typesetting: David Williams Term 1, 2015 Contents I Integration 2 1 The Integral for Step Functions 2 1.1 Definition of the Integral for Step Functions . 2 1.2 Properties of the Integral for Step Functions . 4 2 The Integral for Regulated Functions 6 2.1 Definition of the Integral for Regulated Functions . 6 2.2 Properties of the Integral for Regulated Functions . 8 3 The Indefinite Integral & Fundamental Theorem of Calculus 10 3.1 The Indefinite Integral . 10 3.2 The Fundamental Theorem of Calculus . 11 4 Practical Methods of Integration 12 4.1 Integration by Parts . 12 4.2 Integration by Substitution . 13 4.3 Constructing Convergent Sequences of Step Functions . 14 5 The Characterisation of Regulated Functions 15 5.1 Characterisation & Proof . 15 6 Improper & Riemann Integrals 17 6.1 Improper Integrals . 17 6.2 The Riemann Integral . 19 7 Uniform & Pointwise Convergence 21 7.1 Definitions, Properties and Examples . 21 7.2 Uniform Convergence & Integration . 25 7.3 Uniform Convergence & Differentiation . 27 8 Functional Series 28 8.1 The Weierstrass M-Test & Other Useful Results . 28 8.2 Taylor & Fourier Series . 29 II Norms 33 9 Normed Vector Spaces 33 9.1 Definition & Basic Properties of a Norm . 33 9.2 Equivalence & Banach Spaces . 35 10 Continuous Maps 40 10.1 Definition & Basic Properties of Linear Maps . 40 10.2 Spaces of Bounded Linear Maps . 42 11 Open and Closed Sets of Normed Spaces 43 11.1 Definition & Basic Properties of Open Sets . 43 11.2 Continuity, Closed Sets & Convergence . 44 11.3 Lipschitz Continuity, Contraction Mappings & Other Remarks . 45 12 The Contraction Mapping Theorem & Applications 46 12.1 Statement and Proof . 46 12.2 The Existence and Uniqueness of Solutions to ODEs . 47 12.3 The Jacobi Algorithm . 50 12.4 The Newton-Raphson Algorithm . 51 1 Part I Integration 1 The Integral for Step Functions 1.1 Definition of the Integral for Step Functions Motivation: \Integrals = Areas Under Curves" Consider constant functions of the form fc : x 7! f0 2 R for x 2 [a; b]. Let D be the area under the line at f0 from a to b. Then it makes sense to define Z b . fc(x) dx .= sign(f0) · Area(D) a = sign(f0) · (jf0j · (b − a)) = f0 · (b − a) Now this definition will be extended to piecewise constant or step functions. Definition 1: ' : [a; b] ! R is called a step function if there exists a finite set P ⊂ [a; b] with a; b 2 P such that ' is constant on the open sub-intervals of [a; b] n P . P is called a partition of [a; b]. More concretely, P = fa = p0; p1; p2; : : : ; pk−1; pk = bg, with p0 < p1 < p2 < : : : < pk−1 < pk, and ' = ci (an arbitrary constant), for i = 1; 2; : : : ; k − 1; k. (pi−1;pi) Notes: If φ is a step function then there are many partitions of [a; b] such that φ is constant on the open sub-intervals defined by the partition, call one P . There exists at least one other point greater than a in P (since both a and b belong to P by definition), call the first p. Then φ is also constant on the open intervals of [a; b] n (P [ fng), where a < n < p. Let Q be a partition of [a; b], with Q ⊃ P . Then Q is called a refinement of P (so (P [ fng) is a refinement of P ). The minimal common refinement of P and Q is denoted by P [ Q. If φ is a step function on [a; b], then any partition P = fa = p0; p1; p2; : : : ; pk−1; pk = bg, with p0 < p1 < p2 < : : : < pk−1 < pk, such that φ = ci (an arbitrary constant), for i = 1; 2; : : : ; k − 1; k, is called (pi−1;pi) compatible with, or adapted to, φ. Proposition 1: Let S[a; b] be the space of step functions on [a; b]. If f; g 2 S[a; b], then 8µ, λ 2 R, (λf + µg) 2 S[a; b] (so S[a; b] is closed under taking finite linear combinations of its elements). Proof: f 2 S[a; b], so 9P = fa = p0; p1; p2; : : : ; pk−1; pk = bg, with p0 < p1 < p2 < : : : < pk−1 < pk, which is compatible with f, and g 2 S[a; b] so 9Q = fa = q0; q1; q2; : : : ; ql−1; ql = bg, with q0 < q1 < q2 < : : : < ql−1 < ql, which is compatible with g. Consider P [ Q = fa = r0; r1; r2; : : : ; rm−1; rm = bg, with r0 < r1 < r2 < : : : < rm−1 < rm. Then this partition is compatible with (λf + µg). It remains to show that (λf + µg) = ci (an arbitrary constant), for i = 1; 2; : : : ; m − 1; m. (ri−1;ri) P ⊂ (P [ Q), so (ri−1; ri) ⊂ (pa−1; pa) for some a, and Q ⊂ (P [ Q), so (ri−1; ri) ⊂ (qb−1; qb) for some b. Then, since f is constant, f is constant, and since g is constant, (p ;p ) (r ;r ) (q ;q ) a−1 a i−1 i b−1 b g is constant, so (λf + µg) is constant. Since the choice of i was arbitrary, this proves (ri−1;ri) (ri−1;ri) the proposition. 2 Notes: This demonstrates that S[a; b] is a vector space over R. Define C[a; b] as the space of continuous functions on [a; b], and define B[a; b] as the space of bounded functions on [a; b]. These are also vector spaces. It was demonstrated in Analysis II that C[a; b] ⊂ B[a; b], and by definition S[a; b] ⊂ B[a; b]. k Definition 2: For φ 2 S[a; b], let P = fpigi=0 be a partition compatible with φ. Define (temporarily) b . R φi = φ . Then a : S[a; b] ! R is defined as (pi−1;pi) Z b k . X φ .= φi(pi − pi−1) a i=1 R b Remark: If φ ≡ φ0 2 R, then P = fa; bg, so a φ = φ0(b − a), which is precisely the area described in the motivation. R b Lemma 2: The value of a φ does not depend on the choice of partition compatible with [a; b]. Proof: For any φ 2 S[a; b], let P and Q be partitions compatible with [a; b]. Suppose there are k points R b in Q that are not in P . Denote them n1; n2; : : : ; nk. Temporarily let φ be the integral of φ from a a P to b defined by the partition P which is compatible with [a; b]. Now, consider P [ fn1g. Since Q is compatible with [a; b], we know that n1 2 [a; b], so 9i 2 N such that n1 2 (pi−1; pi) for some pi−1; pi 2 P . φ is constant on (pi−1; pi), and so is also constant on (pi−1; n1) and (n1; pi), so P [ fn1g is compatible with φ. By definition Z b Z b Z b Z b φ − φ = φi(n1 − pi−1) + φi(pi − n1) − φi(pi − pi−1) = 0, so φ = φ a P [fn1g a P a P [fn1g a P The proof is completed by induction, since there are a finite number of points. This is left as an exercise. 3 1.2 Properties of the Integral for Step Functions 1. Proposition 3 - Additivity: For any φ 2 S[a; b], 8v 2 (a; b), Z b Z v Z b φ = φ + φ a a v 2. Proposition 4 - Linearity: For any φ, 2 S[a; b], 8λ, µ 2 R, Z b Z b Z b λφ + µψ = λ φ + µ a a a 3. Proposition 5 - The Fundamental Theorem of Calculus: Let φ 2 S[a; b], and let P be a R x partition of [a; b] compatible with φ. Consider I : [a; b] ! R, I : x 7! a φ. Then (I) I is continuous on [a; b]. Sk Sk 0 (II) I is differentiable on i=1(pi−1; pi), and, 8x 2 i=1(pi−1; pi), I (x) = φ(x). Proof: k 1. Let P = fpigi=0 be a partition compatible with φ 2 S[a; b]. Then there are two cases: (i) If v 2 P , then by definition k v k Z b X X X Z v Z b φ = φi(pi − pi−1) = φi(pi − pi−1) + φi(pi − pi−1) = φ + φ a i=1 i=1 i=v+1 a v (ii) If v2 = P , then 9i 2 N, 1 ≤ i ≤ k, such that v 2 (pi−1; pi). Then fa = p0; : : : ; pi−1; vg, fv; pi; : : : ; pk = bg are partitions compatible with φ, so φ 2 S[a; v], φ 2 S[v; b], so (a;v) (v;b) their integrals are well-defined on those intervals. Then k Z b X φ = φj(pj − pj−1) a j=1 = φ1(p1 − p0) + φ2(p2 − p1) + ::: + φi(pi − pi−1) + ::: + φk(pk − pk−1) = φ1(p1 − p0) + ::: + φi(pi + v − v − pi−1) + ::: + φk(pk − pk−1) = φ1(p1 − p0) + ::: + φi(v − pi−1) + φi(pi − v) + ::: + φk(pk − pk−1) 2i−1 # " k 3 X X = 4 φj(pj − pj−1) + φi(v − pi−1) + φi(pi − v) + φj(pj − pj−1)5 j=1 j=i+1 Z v Z b = φ + φ a v 2. Let P be a partition compatible with φ 2 S[a; b], and let Q be a partition compatible with 2 S[a; b]. Then, as was proved in the previous section, P [ Q is compatible with both φ and .
Load more

Recommended publications
  • (Terse) Introduction to Lebesgue Integration
    http://dx.doi.org/10.1090/stml/048 A (Terse) Introduction to Lebesgue Integration STUDENT MATHEMATICAL LIBRARY Volume 48 A (Terse) Introduction to Lebesgue Integration John Franks Providence, Rhode Island Editorial Board Gerald B. Folland Brad G. Osgood (Chair) Robin Forman Michael Starbird 2000 Mathematics Subject Classification. Primary 28A20, 28A25, 42B05. The images on the cover are representations of the ergodic transformations in Chapter 7. The figure with the implied cardioid traces iterates of the squaring map on the unit circle. The “spirograph” figures trace iterates of an irrational rotation. The arc of + signs consists of iterates of an irrational rotation. I am grateful to Edward Dunne for providing the figures. For additional information and updates on this book, visit www.ams.org/bookpages/stml-48 Library of Congress Cataloging-in-Publication Data Franks, John M., 1943– A (terse) introduction to Lebesgue integration / John Franks. p. cm. – (Student mathematical library ; v. 48) Includes bibliographical references and index. ISBN 978-0-8218-4862-3 (alk. paper) 1. Lebesgue integral. I. Title. II. Title: Introduction to Lebesgue integra- tion. QA312.F698 2009 515.43–dc22 2009005870 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.
    [Show full text]
  • On Regulated Functions and Selections
    On regulated functions and selections Mieczys law Cicho´n 90th Birthday of Professor Jaroslav Kurzweil . Praha 2016 co-authors: Bianca Satco, Kinga Cicho´n,Mohamed Metwali Mieczys law Cicho´n On regulated functions and selections Regulated functions Let X be a Banach space. A function u : [0; 1] ! X is said to be regulated if there exist the limits u(t+) and u(s−) for any point t 2 [0; 1) and s 2 (0; 1]. The name for this class of functions was introduced by Dieudonn´e. The set of discontinuities of a regulated function is at most countable. Not all functions with countable set of discontinuity points are regulated. A simple example is the characteristic function χf1;1=2;1=3;:::g 62 G([0; 1]; R). Regulated functions are bounded. Mieczys law Cicho´n On regulated functions and selections Regulated functions II When (X ; k · k) is a Banach algebra with the multiplication ∗ the space G([0; 1]; X ) is a Banach algebra too endowed with the pointwise product, i.e. (f · g)(x) = f (x) ∗ g(x). In contrast to the case of continuous functions the composition of regulated functions need not to be regulated. The simplest example is a composition (g ◦ f ) of functions 1 f ; g : [0; 1] ! R: f (x) = x · sin x and g(x) = sgn x (both are regulated), which has no one-side limits at 0. Thus even a composition of a regulated and continuous functions need not to be regulated. Mieczys law Cicho´n On regulated functions and selections The space G([0; 1]; X ) of regulated functions The space G([0; 1]; X ) of regulated functions on [0; 1] into the Banach space X is a Banach space too, endowed with the topology of uniform convergence, i.e.
    [Show full text]
  • Lipschitz Continuity of Convex Functions
    Lipschitz Continuity of Convex Functions Bao Tran Nguyen∗ Pham Duy Khanh† November 13, 2019 Abstract We provide some necessary and sufficient conditions for a proper lower semi- continuous convex function, defined on a real Banach space, to be locally or globally Lipschitz continuous. Our criteria rely on the existence of a bounded selection of the subdifferential mapping and the intersections of the subdifferential mapping and the normal cone operator to the domain of the given function. Moreover, we also point out that the Lipschitz continuity of the given function on an open and bounded (not necessarily convex) set can be characterized via the existence of a bounded selection of the subdifferential mapping on the boundary of the given set and as a consequence it is equivalent to the local Lipschitz continuity at every point on the boundary of that set. Our results are applied to extend a Lipschitz and convex function to the whole space and to study the Lipschitz continuity of its Moreau envelope functions. Keywords Convex function, Lipschitz continuity, Calmness, Subdifferential, Normal cone, Moreau envelope function. Mathematics Subject Classification (2010) 26A16, 46N10, 52A41 1 Introduction arXiv:1911.04886v1 [math.FA] 12 Nov 2019 Lipschitz continuous and convex functions play a significant role in convex and nonsmooth analysis. It is well-known that if the domain of a proper lower semicontinuous convex function defined on a real Banach space has a nonempty interior then the function is continuous over the interior of its domain [3, Proposition 2.111] and as a consequence, it is subdifferentiable (its subdifferential is a nonempty set) and locally Lipschitz continuous at every point in the interior of its domain [3, Proposition 2.107].
    [Show full text]
  • The Beginnings 2 2. the Topology of Metric Spaces 5 3. Sequences and Completeness 9 4
    MATH 3963 NONLINEAR ODES WITH APPLICATIONS R MARANGELL Contents 1. Metric Spaces - The Beginnings 2 2. The Topology of Metric Spaces 5 3. Sequences and Completeness 9 4. The Contraction Mapping Theorem 13 5. Lipschitz Continuity 19 6. Existence and Uniqueness of Solutions to ODEs 21 7. Dependence on Initial Conditions and Parameters 26 8. Maximal Intervals of Existence 29 Date: September 6, 2017. 1 R Marangell Part II - Existence and Uniqueness of ODES 1. Metric Spaces - The Beginnings So.... I am from California, and so I fly through L.A. a lot on my way to my parents house. How far is that from Sydney? Well... Google tells me it's 12000 km (give or take), and in fact this agrees with my airline - they very nicely give me 12000 km on my frequent flyer points. But.... well.... are they really 12000 km apart? What if I drilled a hole through the surface of the Earth? Using a little trigonometry, and the fact that the radius of the earth is R = 6371 km, we have that the distance `as the mole digs' so-to-speak from Sydney to Los Angeles CA is given by (see Figure 1): 12000 x = 2R sin ≈ 10303 km (give or take) 2R Figure 1. A schematic of the earth showing an `equatorial' (or great) circle from Sydney to L.A. So I have two different answers, to the same question, and both are correct. Indeed, Sydney is both 12000 km and around 10303 km away from L.A. What's going on here is pretty obvious, but we're going to make it precise.
    [Show full text]
  • Arxiv:1505.04809V5 [Math-Ph] 29 Sep 2016
    THE PERTURBATIVE APPROACH TO PATH INTEGRALS: A SUCCINCT MATHEMATICAL TREATMENT TIMOTHY NGUYEN Abstract. We study finite-dimensional integrals in a way that elucidates the mathemat- ical meaning behind the formal manipulations of path integrals occurring in quantum field theory. This involves a proper understanding of how Wick's theorem allows one to evaluate integrals perturbatively, i.e., as a series expansion in a formal parameter irrespective of convergence properties. We establish invariance properties of such a Wick expansion under coordinate changes and the action of a Lie group of symmetries, and we use this to study essential features of path integral manipulations, including coordinate changes, Ward iden- tities, Schwinger-Dyson equations, Faddeev-Popov gauge-fixing, and eliminating fields by their equation of motion. We also discuss the asymptotic nature of the Wick expansion and the implications this has for defining path integrals perturbatively and nonperturbatively. Contents Introduction 1 1. The Wick Expansion 4 1.1. The Morse-Bott case 8 2. The Wick Expansion and Gauge-Fixing 12 3. The Wick Expansion and Integral Asymptotics 19 4. Remarks on Quantum Field Theory 22 4.1. Change of variables in the path integral 23 4.2. Ward identities and Schwinger-Dyson equations 26 4.3. Gauge-fixing of Feynman amplitudes and path integrals 28 4.4. Eliminating fields by their equation of motion 30 4.5. Perturbative versus constructive QFT 32 5. Conclusion 33 References 33 arXiv:1505.04809v5 [math-ph] 29 Sep 2016 Introduction Quantum field theory often makes use of manipulations of path integrals that are without a proper mathematical definition and hence have only a formal meaning.
    [Show full text]
  • Some Inequalities and Superposition Operator in the Space of Regulated Functions
    Adv. Nonlinear Anal. 2020; 9: 1278–1290 Leszek Olszowy* and Tomasz Zając Some inequalities and superposition operator in the space of regulated functions https://doi.org/10.1515/anona-2020-0050 Received August 6, 2019; accepted October 2, 2019. Abstract: Some inequalities connected to measures of noncompactness in the space of regulated function R(J, E) were proved in the paper. The inequalities are analogous of well known estimations for Hausdor measure and the space of continuous functions. Moreover two sucient and necessary conditions that super- position operator (Nemytskii operator) can act from R(J, E) into R(J, E) are presented. Additionally, sucient and necessary conditions that superposition operator Ff : R(J, E) ! R(J, E) was compact are given. Keywords: space of regulated functions, measure of noncompactness, integral inequalities, superposition operator MSC 2010: Primary 47H30, Secondary 46E40 1 Introduction When studying solvability of various non-linear equations, it is signicant to properly choose the space in which the equation is considered. Knowledge about some properties of the space e.g. easy to calculate for- mulas for measures of noncompactness or characteristic of superposition operator etc. combined with xed point theorems allow to obtain general conditions for solvability of studied equations. The space of regulated functions R(J, E), where J = [a, b] ⊂ R and E is a Banach space, is one of such spaces, recently intensively studied (see [1-14]). So far except stating general properties of this space [1, 5, 7-12] it is also possible to use formulas for measures of noncompactness, conditions sucient for the superpo- sition operator Ff to act from R(J, E) into R(J, E), and conditions for continuity of this operator [2-6, 12-13].
    [Show full text]
  • Convergence Rates for Deterministic and Stochastic Subgradient
    Convergence Rates for Deterministic and Stochastic Subgradient Methods Without Lipschitz Continuity Benjamin Grimmer∗ Abstract We extend the classic convergence rate theory for subgradient methods to apply to non-Lipschitz functions. For the deterministic projected subgradient method, we present a global O(1/√T ) convergence rate for any convex function which is locally Lipschitz around its minimizers. This approach is based on Shor’s classic subgradient analysis and implies generalizations of the standard convergence rates for gradient descent on functions with Lipschitz or H¨older continuous gradients. Further, we show a O(1/√T ) convergence rate for the stochastic projected subgradient method on convex functions with at most quadratic growth, which improves to O(1/T ) under either strong convexity or a weaker quadratic lower bound condition. 1 Introduction We consider the nonsmooth, convex optimization problem given by min f(x) x∈Q for some lower semicontinuous convex function f : Rd R and closed convex feasible → ∪{∞} region Q. We assume Q lies in the domain of f and that this problem has a nonempty set of minimizers X∗ (with minimum value denoted by f ∗). Further, we assume orthogonal projection onto Q is computationally tractable (which we denote by PQ( )). arXiv:1712.04104v3 [math.OC] 26 Feb 2018 Since f may be nondifferentiable, we weaken the notion of gradients to· subgradients. The set of all subgradients at some x Q (referred to as the subdifferential) is denoted by ∈ ∂f(x)= g Rd y Rd f(y) f(x)+ gT (y x) . { ∈ | ∀ ∈ ≥ − } We consider solving this problem via a (potentially stochastic) projected subgradient method.
    [Show full text]
  • An Analytic Exact Form of the Unit Step Function
    Mathematics and Statistics 2(7): 235-237, 2014 http://www.hrpub.org DOI: 10.13189/ms.2014.020702 An Analytic Exact Form of the Unit Step Function J. Venetis Section of Mechanics, Faculty of Applied Mathematics and Physical Sciences, National Technical University of Athens *Corresponding Author: [email protected] Copyright © 2014 Horizon Research Publishing All rights reserved. Abstract In this paper, the author obtains an analytic Meanwhile, there are many smooth analytic exact form of the unit step function, which is also known as approximations to the unit step function as it can be seen in Heaviside function and constitutes a fundamental concept of the literature [4,5,6]. Besides, Sullivan et al [7] obtained a the Operational Calculus. Particularly, this function is linear algebraic approximation to this function by means of a equivalently expressed in a closed form as the summation of linear combination of exponential functions. two inverse trigonometric functions. The novelty of this However, the majority of all these approaches lead to work is that the exact representation which is proposed here closed – form representations consisting of non - elementary is not performed in terms of non – elementary special special functions, e.g. Logistic function, Hyperfunction, or functions, e.g. Dirac delta function or Error function and Error function and also most of its algebraic exact forms are also is neither the limit of a function, nor the limit of a expressed in terms generalized integrals or infinitesimal sequence of functions with point wise or uniform terms, something that complicates the related computational convergence. Therefore it may be much more appropriate in procedures.
    [Show full text]
  • The Lipschitz Constant of Self-Attention
    The Lipschitz Constant of Self-Attention Hyunjik Kim 1 George Papamakarios 1 Andriy Mnih 1 Abstract constraint for neural networks, to control how much a net- Lipschitz constants of neural networks have been work’s output can change relative to its input. Such Lips- explored in various contexts in deep learning, chitz constraints are useful in several contexts. For example, such as provable adversarial robustness, estimat- Lipschitz constraints can endow models with provable ro- ing Wasserstein distance, stabilising training of bustness against adversarial pertubations (Cisse et al., 2017; GANs, and formulating invertible neural net- Tsuzuku et al., 2018; Anil et al., 2019), and guaranteed gen- works. Such works have focused on bounding eralisation bounds (Sokolic´ et al., 2017). Moreover, the dual the Lipschitz constant of fully connected or con- form of the Wasserstein distance is defined as a supremum volutional networks, composed of linear maps over Lipschitz functions with a given Lipschitz constant, and pointwise non-linearities. In this paper, we hence Lipschitz-constrained networks are used for estimat- investigate the Lipschitz constant of self-attention, ing Wasserstein distances (Peyré & Cuturi, 2019). Further, a non-linear neural network module widely used Lipschitz-constrained networks can stabilise training for in sequence modelling. We prove that the stan- GANs, an example being spectral normalisation (Miyato dard dot-product self-attention is not Lipschitz et al., 2018). Finally, Lipschitz-constrained networks are for unbounded input domain, and propose an al- also used to construct invertible models and normalising ternative L2 self-attention that is Lipschitz. We flows. For example, Lipschitz-constrained networks can be derive an upper bound on the Lipschitz constant of used as a building block for invertible residual networks and L2 self-attention and provide empirical evidence hence flow-based generative models (Behrmann et al., 2019; for its asymptotic tightness.
    [Show full text]
  • Theory of the Integral
    THEORY OF THE INTEGRAL Brian S. Thomson Simon Fraser University CLASSICALREALANALYSIS.COM This text is intended as a treatise for a rigorous course introducing the ele- ments of integration theory on the real line. All of the important features of the Riemann integral, the Lebesgue integral, and the Henstock-Kurzweil integral are covered. The text can be considered a sequel to the four chapters of the more elementary text THE CALCULUS INTEGRAL which can be downloaded from our web site. For advanced readers, however, the text is self-contained. For further information on this title and others in the series visit our website. www.classicalrealanalysis.com There are free PDF files of all of our texts available for download as well as instructions on how to order trade paperback copies. We also allow access to the content of our books on GOOGLE BOOKS and on the AMAZON Search Inside the Book feature. COVER IMAGE: This mosaic of M31 merges 330 individual images taken by the Ultravio- let/Optical Telescope aboard NASA’s Swift spacecraft. It is the highest-resolution image of the galaxy ever recorded in the ultraviolet. The image shows a region 200,000 light-years wide and 100,000 light-years high (100 arcminutes by 50 arcminutes). Credit: NASA/Swift/Stefan Immler (GSFC) and Erin Grand (UMCP) —http://www.nasa.gov/mission_pages/swift/bursts/uv_andromeda.html Citation: Theory of the Integral, Brian S. Thomson, ClassicalRealAnalysis.com (2013), [ISBN 1467924393 ] Date PDF file compiled: June 11, 2013 ISBN-13: 9781467924399 ISBN-10: 1467924393 CLASSICALREALANALYSIS.COM Preface The text is a self-contained account of integration theory on the real line.
    [Show full text]
  • Hölder-Continuity for the Nonlinear Stochastic Heat Equation with Rough Initial Conditions
    Stoch PDE: Anal Comp (2014) 2:316–352 DOI 10.1007/s40072-014-0034-6 Hölder-continuity for the nonlinear stochastic heat equation with rough initial conditions Le Chen · Robert C. Dalang Received: 22 October 2013 / Published online: 14 August 2014 © Springer Science+Business Media New York 2014 Abstract We study space-time regularity of the solution of the nonlinear stochastic heat equation in one spatial dimension driven by space-time white noise, with a rough initial condition. This initial condition is a locally finite measure μ with, possibly, exponentially growing tails. We show how this regularity depends, in a neighborhood of t = 0, on the regularity of the initial condition. On compact sets in which t > 0, 1 − 1 − the classical Hölder-continuity exponents 4 in time and 2 in space remain valid. However, on compact sets that include t = 0, the Hölder continuity of the solution is α ∧ 1 − α ∧ 1 − μ 2 4 in time and 2 in space, provided is absolutely continuous with an α-Hölder continuous density. Keywords Nonlinear stochastic heat equation · Rough initial data · Sample path Hölder continuity · Moments of increments Mathematics Subject Classification Primary 60H15 · Secondary 60G60 · 35R60 L. Chen and R. C. Dalang were supported in part by the Swiss National Foundation for Scientific Research. L. Chen (B) · R. C. Dalang Institut de mathématiques, École Polytechnique Fédérale de Lausanne, Station 8, CH-1015 Lausanne, Switzerland e-mail: [email protected] R. C. Dalang e-mail: robert.dalang@epfl.ch Present Address: L. Chen Department of Mathematics, University of Utah, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA 123 Stoch PDE: Anal Comp (2014) 2:316–352 317 1 Introduction Over the last few years, there has been considerable interest in the stochastic heat equation with non-smooth initial data: ∂ ν ∂2 ˙ ∗ − u(t, x) = ρ(u(t, x)) W(t, x), x ∈ R, t ∈ R+, ∂t 2 ∂x2 (1.1) u(0, ·) = μ(·).
    [Show full text]
  • Appendix I Integrating Step Functions
    Appendix I Integrating Step Functions In Chapter I, section 1, we were considering step functions of the form (1) where II>"" In were brick functions and AI> ... ,An were real coeffi­ cients. The integral of I was defined by the formula (2) In case of a single real variable, it is almost obvious that the value JI does not depend on the representation (2). In Chapter I, we admitted formula (2) for several variables, relying on analogy only. There are various methods to prove that formula precisely. In this Appendix we are going to give a proof which uses the concept of Heaviside functions. Since the geometrical intuition, above all in multidimensional case, might be decep­ tive, all the given arguments will be purely algebraic. 1. Heaviside functions The Heaviside function H(x) on the real line Rl admits the value 1 for x;;;o °and vanishes elsewhere; it thus can be defined on writing H(x) = {I for x ;;;0O, ° for x<O. By a Heaviside function H(x) in the plane R2, where x actually denotes points x = (~I> ~2) of R2, we understand the function which admits the value 1 for x ;;;0 0, i.e., for ~l ~ 0, ~2;;;o 0, and vanishes elsewhere. In symbols, H(x) = {I for x ;;;0O, (1.1) ° for x to. Note that we cannot use here the notation x < °(which would mean ~l <0, ~2<0) instead of x~O, because then H(x) would not be defined in the whole plane R 2 • Similarly, in Euclidean q-dimensional space R'l, the Heaviside function H(x), where x = (~I>' .
    [Show full text]