Set up the Basic Ideas of the Riemann Integral in the Realm Of

Total Page:16

File Type:pdf, Size:1020Kb

Set up the Basic Ideas of the Riemann Integral in the Realm Of Introduction to Integration Learning goals: Set up the basic ideas of the Riemann Integral In the realm of analysis there are a large number of different kinds of integrals. The kind we studied in BC calculus is probably the second-simplest kind. We will actually define the simplest kind here and then show it is equivalent to what we discussed in BC. The integral from BC is called the Riemann integral. But first we will define the Darboux integral. (Pronouned Dar-boo.) You may recall that what we did in BC was to take the interval, split it into pieces, evaluate the function somewhere in the interval, and add up the areas|make a so-called Riemann sum. Through some kind of mathematical voodoo we crossed our fingers and said these kinds of sums converge in some kind of way to give us a number which is the area under the curve. Then we forgot that integrals really meant area under a curve and conflated the ideas of integrals and antiderivatives once we proved the Fundamental Theorem of Calculus. We're going to be a lot more careful now! To this end, we need some notation and restrictions on the functions we deal with. At first, we must have bounded functions, though they need not have any other special properties, and we'll even relax boundedness later. We will be dealing with integrals on some finite closed interval [a; b]. Our function must be defined at each point of [a; b] or our definition won't make any sense. A partition P of the interval [a; b] is a finite set of points, fx0; x1; : : : xng with a = x0 < x1 < ··· < xn = b. For partition, ∆xk = xk − xk−1 is the width of the kth interval. Notice Pn that k=1 ∆xk = x1 − x0 + x2 − x2 + ··· + xn − xn−1 which telescopes to b − a. The norm or mesh of a partition is the width of the largest interval. We can write this as jjP jj = max(∆xk). We will declare partition Pe to be a refinement of P , or say that Pe is finer than P , if P ⊆ Pe. Notice that refining a partitions can only decrease its norm. Given any two partitions P and Q, the partition P [ Q is simultaneously a refinement of both. The Definition Consider a partition of [a; b] and a bounded function f defined on [a; b]. Since f is bounded on [a; b] it is bounded on any subinterval [xk−1; xk], and therefore has a well-defined infimum and supremum on that interval. Let mk = infff(x): xk−1 ≤ x ≤ xkg and Mk = supff(x): xk−1 ≤ x ≤ xkg. So mk is not larger than any value of f on the interval [xk−1; x − k] and Mk is not smaller than any such value. So if there is a meaningful area under f(x) on this interval, it is clearly between the values of mk∆xk and Mk∆xk. Pn So define the upper and lower Darboux sums to be L(P; f) = k=1 mk∆xk and U(P; f) = Pn k=1 Mk∆xk. Again, if there is a meaningful area underneath f then certainly L(P; f) and U(P; f) must be lower and upper bounds for it. Now let since f is bounded, choose any m < f(x) for any x 2 [a; b] and M > f(x). Then given any partition P we have m(b − a) ≤ L(P; f) ≤ U(P; f) ≤ M(b − a). For clearly 1 P P P m ≤ mk ≤ Mk ≤ M for all k. Then m(b − a) = m ∆xk = m∆xk ≤ mk∆xk ≤ P P P Mk∆xk ≤ M∆xk = M ∆xk = M(b − a). This means that the set of all Darboux sums|upper and lower|is bounded both above and below. If we have a partition P and a refinement widetildeP it should be pretty clear (we'll prove it soon) that L(P; f) ≤ L(Pe ; f) and U(P; f) ≥ U(Pe ; f) because when we subdivide an interval the infimum over each part of the subinterval can't be smaller but could be larger than that over the entire interval, and vice versa for suprema. So if we take finer and finer partitions, the lower Darboux sums can only go up and the upper sums can only come down. We've already shown that the lower sums can't get larger then the upper for a particular partition (although it is worth considering whether there are partitions P and Q with L(P; f) < U(Q; f). ), but we do have to hope they meet in the middle! So let's make the definitions: Z b f(x) dx = supfL(P; f): P is a partition of [a; b]g a Z b f(x) dx = inffU(P; f): P is a partition of [a; b]g a which we will call the lower Darboux integral and upper Darboux integral respectively. (No- tationally, we sometimes leave off the dx when the variable is obvious or irrelevant.) Ideally, these two integrals are equal to each other, but that is not always the case. R 1 R 1 Example. The Dirichlet function f(x) = 1Q has 0 f = 0 and 0 f = 1. This is because on each interval of any partition, mk = 0 and Mk = 1 since there are both rational and irrational numbers in every interval. Let's prove the claim we made a few paragraphs ago, that refining a partition can only increase the lower sums and decrease the upper. Theorem. Given bounded function f :[a; b] ! R, partition P , and refinement Pe, then L(P; f) ≤ L (Pe ; f) while U(P; f) ≥ U(Pe ; f). Proof. Let P = fx0; x1; : : : xng be a partition and Pe = fx~0; x~1;::: x~mg a refinement. Thus P ⊆ Pe so there are integers k1 < k2 < ··· < kn such thatx ~ki = xi. Consider ∆xi = xi − xi−1: k Xi ∆xi = xi − xi−1 =x ~ki − x~ki−1 +x ~ki−1 − x~ki−2 + ··· +x ~ki−1+1 − x~ki−1 = ∆~xj: j=ki−1+1 ~ Now let mi and Mi be defined as before. Note that mi ≤ m~ j and Mi ≥ Mj for any j between ki−1 + 1 and ki since each of thosex ~ subintervals are subsets of [xi−1; xi]. Thus for this subinterval, k k k Xi Xi Xi mi∆xi = mi ∆~xj = mi∆~xj ≤ m~ j∆~xj j=ki−1+1 j=ki−1+1 j=ki−1+1 with a reversed inequality for Mi. Summing this over all i gives the desired result. 2 Next, we answer the question we asked a bit ago|could the lower sum for some partition exceed the upper sum for another? The answer is, fortunately, no! Theorem. Let P and Q be partitions of [a; b] and f a bounded function of [a; b]. Then L(P; f) ≤ U(Q; f). Proof. Consider the partition R = P [ Q which is a refinement of both P and Q. From the previous theorem, we have L(P; f) ≤ L(R; f) ≤ U(R; f) ≤ U(Q; f). Theorem. If f is bounded on [a; b], m < f(x) for any x 2 [a; b] and M > f(x), then Z b Z b m(b − a) ≤ f ≤ f ≤ M(b − a): a a Proof. We've already shown m(b − a) ≤ L(P; f) for any P , so it is certainly less than their supremum, which is the lower Darboux integral, and the first inequality is established. Similarly, M(b − a) ≥ U(P; f) establishes the last inequaltiy. But since L(P; f) ≤ U(Q; f) for any P and Q by the previous theorem, the supremum of the left must be at most the infimum of the right hand side and the proof is complete. So we've done a lot of work to show that all these Darboux sums and integrals exist and have certain relationships. By taking refinements, lower sums keep getting bigger and upper sums keep getting smaller, but a lower sum is never larger than an upper sum. So maybe they meet in the middle? We already know that doesn't always happen, but when it does things are happy! R b R b Definition. If f :[a; b] ! R is a bounded function and a f = a f then we say that f is R b Riemann integrable, denoted f 2 R[a; b] and we define a f(x) dx to be the common value of the lower and upper Darboux integral. Comparing to BC At this point, we take a breath and show that what we did in BC is equivalent to all of this, even though it might look more general. We need to make sure the calculus we know is on firm ground! So what was the definition of a Riemann integral in BC? We again started with any P partition and chose a ti 2 [xi−1; xi] and formed the Riemann sum f(ti)∆xi. That is, we allowed the point to vary any where on the subinterval|left-hand endpoint, right-hand endpoint, minimum or maximum value of f on the subinterval (if there is one!), midpoint, random point, whatever. We kind of waved out hands in BC about what happened next, but it is not too complicated. Definition. We say that f is integrable on [a; b] if there is some number I such that given > 0 there is a partition P0 such that for any refinement P of P0 and any choice of ti on P , the corresponding Riemann sum is within of I.
Recommended publications
  • MAT 5930. Analysis for Teachers
    MAT 5930. Analysis for Teachers. Wm C Bauldry [email protected] Fall ’13 Wm C Bauldry ([email protected]) MAT 5930. Analysis for Teachers. Fall ’13 1 / 147 Nordkapp, Norway. Today Wm C Bauldry ([email protected]) MAT 5930. Analysis for Teachers. Fall ’13 2 / 147 Introduction and Calculus Considered 1 Course Introduction (Class page, Course Info, Syllabus) 2 Calculus Considered 1 A Standard Freshman Calculus Course B Topics List: MAT 1110; MAT 1120 B Refer to texts by Thomas (traditional), Stewart (very popular, but. ), and Hughes-Hallett, et al, or Ostebee & Zorn (“reform”). B Historical: L’Hopital’sˆ Analyse des Infiniment Petits pour l’Intelligence des Lignes Courbes, Cauchy’s Cours d’Analyse, and Granville, Smith, & Longley’s Elements of the Differential and Integral Calculus 2 An AP Calculus Course(AB,BC) 1 Functions, Graphs, and Limits Representations, one-to-one, onto, inverses, analysis of graphs, limits of functions, asymptotic behavior, continuity, uniform continuity 2 Derivatives Concept, definitions, interpretations, at a point, as a function, second derivative, applications, computation, numerical approx. 3 Integrals Concept, definitions, interpretations, properties, Fundamental Theorem, applications, techniques, applications, numerical approx. Wm C Bauldry ([email protected]) MAT 5930. Analysis for Teachers. Fall ’13 3 / 147 Calculus Considered 2 (Calculus Considered) 3 Calculus Problems x1 Precalculus material: function, induction, summation, slope, trigonometry x2 Limits and Continuity: Squeeze Theorem, discontinuity, removable discontinuity, different interpretations of limit expressions x3 Derivatives: trigonometric derivatives, power rule, indirect methods, Newton’s method, Mean Value Theorem,“Racetrack Principle” x4 Integration: Fundamental Theorem, Riemann sums, parts, multiple integrals x5 Infinite Series: geometric, integrals and series, partial fractions, convergence tests (ratio, root, comparison, integral), Taylor & Maclaurin Wm C Bauldry ([email protected]) MAT 5930.
    [Show full text]
  • CALCULUS HANDOUT 6 - RIEMANN-DARBOUX INTEGRAL - Definitions
    CALCULUS HANDOUT 6 - RIEMANN-DARBOUX INTEGRAL - definitions THE RIEMANN DARBOUX INTEGRAL A partition P of the interval [a; b] is a finite set of points fx0; x1; ::; xng satisfying a = x0 < x1 < :: < xn = b. Consider a function f defined and bounded on [a; b]. n X Upper Darboux sum of f related to P : Uf (P ) = Mi(xi − xi−1) where Mi = sup f(x). i=1 xi−1≤x≤xi n X Lower Darboux sum of f related to P : Lf (P ) = mi(xi − xi−1) where mi = inf f(x). xi−1≤x≤xi i=1 Consider M = supff(x) j a ≤ x ≤ bg and m = infff(x) j a ≤ x ≤ bg. For any partition P of [a; b] we have: m(b − a) ≤ Lf (P ) ≤ Uf (P ) ≤ M(b − a). Lf = fLf (P ) j P is a partition of [a; b]g and Uf = fUf (P ) j P is a partition of [a; b]g are bounded sets. So Lf = sup Lf and Uf = inf Uf exist. Moreover, Lf ≤ Uf . A function defined and bounded on [a; b] is Riemann-Darboux integrable on [a; b] if Lf = Uf . Z b This common value is denoted by f(x) dx = Lf = Uf . a Properties of the Riemann-Darboux integral: If f and g are Riemann-Darboux integrable on [a; b] then all the integrals below exist and Z b Z b Z b (1) (α f(x) + β g(x)) dx = α f(x) dx + β g(x) dx for any α; β 2 R: a a a Z b Z c Z b (2) f(x) dx = f(x) dx + f(x) dx for any a ≤ c ≤ b.
    [Show full text]
  • Chapter 10 Multivariable Integral
    Chapter 10 Multivariable integral 10.1 Riemann integral over rectangles Note: ??? lectures As in chapter chapter 5, we define the Riemann integral using the Darboux upper and lower inte- grals. The ideas in this section are very similar to integration in one dimension. The complication is mostly notational. The differences between one and several dimensions will grow more pronounced in the sections following. 10.1.1 Rectangles and partitions Definition 10.1.1. Let (a ,a ,...,a ) and (b ,b ,...,b ) be such that a b for all k. A set of 1 2 n 1 2 n k ≤ k the form [a ,b ] [a ,b ] [a ,b ] is called a closed rectangle. In this setting it is sometimes 1 1 × 2 2 ×···× n n useful to allow a =b , in which case we think of [a ,b ] = a as usual. If a <b for all k, then k k k k { k} k k a set of the form(a 1,b 1) (a 2,b 2) (a n,b n) is called an open rectangle. × ×···× n For an open or closed rectangle R:= [a 1,b 1] [a 2,b 2] [a n,b n] R or R:= (a 1,b 1) n × ×···× ⊂ × (a2,b 2) (a n,b n) R , we define the n-dimensional volume by ×···× ⊂ V(R):= (b a )(b a ) (b a ). 1 − 1 2 − 2 ··· n − n A partition P of the closed rectangle R=[a ,b ] [a ,b ] [a ,b ] is afinite set of par- 1 1 × 2 2 ×···× n n titions P1,P2,...,Pn of the intervals [a1,b 1],[a 2,b 2],...,[a n,b n].
    [Show full text]
  • Riemann Integration
    Riemann integration Partition and integration of step functions • Integration theory is developed through the effort of making the ideas of “area” “volume” exact. Definition 1. (Partition) Let a, b ∈ R, a < b. A partition of the interval [ a, b] is a set of points P = { x0 , , xn } such that a = x0 < x1 < < xn = b. Definition 2. (Refinement) A refinement of a partition P is a partition Q ⊇ P. In this case we also say Q is finer than P. Definition 3. (Step function) A function f: [ a, b] R is called a step function if there is a partition P = { x0 , , xn } such that f( x) is constant on every ( x j − 1 , x j) . Remark 4. Note that there is some ambiguity in the definition as no restriction is put on the value of f at x0, , xn. Exercise 1. What is the reasonable value of “area below graph of f” for step functions? Then show that the values of f at x0, , xn do not matter as long as “area” is concerned. Darboux integral Definition 5. (Darboux sums and Darboux integrals) • For any fixed partition P, define the upper/lower sums as n n 7 U( f,P) 7 M ( f) ( x − x ); L( f,P) m ( f) ( x − x ) (1) X j j j − 1 X j j j − 1 j=1 j=1 where Mj( f) = max[ x j − 1 ,x j ] f( x) , mj( f) = min[ x j − 1 ,x j ] f( x) . • Now define the upper/lower integrals: U( f): =inf U( f,P); L( f): =sup L( f,P) .
    [Show full text]
  • MAT 320 Review Sheet for Final Exam with Solutions
    MAT 320 Foundations of Analysis Jason Starr Final Exam Spring 2015 Wednesday 5/13 5:30pm { 8:00pm MAT 320 Review Sheet for Final Exam with Solutions Remark. The Final Exam will be cumulative, although there will be an emphasis on material covered since Midterm 2. Please review Midterm 1 and Midterm 2. If you are comfortable with the material from Midterms 1 and 2, as well as the following, then you will be well prepared for the final exam. Exam Policies. You must show up on time for all exams. Please bring your student ID card: ID cards may be checked, and students may be asked to sign a picture sheet when turning in exams. Other policies for exams will be announced / repeated at the beginning of the exam. If you have a university-approved reason for taking an exam at a time different than the scheduled exam (because of a religious observance, a student-athlete event, etc.), please contact your instructor as soon as possible. Similarly, if you have a documented medical emergency which prevents you from showing up for an exam, again contact your instructor as soon as possible. All exams are closed notes and closed book. Once the exam has begun, having notes or books on the desk or in view will be considered cheating and will be referred to the Academic Judiciary. It is not permitted to use cell phones, calculators, laptops, MP3 players, Blackberries or other such electronic devices at any time during exams. If you use a hearing aid or other such device, you should make your instructor aware of this before the exam begins.
    [Show full text]
  • Ekuivalensi Integral Riemann Dan Integral Darboux
    EKUIVALENSI INTEGRAL RIEMANN DAN INTEGRAL DARBOUX SKRIPSI Oleh: DZAWIN NUHA ALHIDAYAH NIM. 05510017 JURUSAN MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM MALANG 2010 EKUIVALENSI INTEGRAL RIEMANN DAN INTEGRAL DARBOUX SKRIPSI Diajukan Kepada: Fakultas Sains dan Teknologi Universitas Islam Negeri (UIN) Maulana Malik Ibrahim Malang Untuk Memenuhi Salah Satu Persyaratan Dalam Memperoleh Gelar Sarjana Sains (S.Si) Oleh: DZAWIN NUHA ALHIDAYAH NIM. 05510017 JURUSAN MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM MALANG 2010 SURAT PERNYATAAN ORISINALITAS PENELITIAN Saya yang bertanda tangan di bawah ini : Nama : Dzawin Nuha Alhidayah NIM : 05510017 Fakultas/Jurusan : Matematika Judul Penelitian : Ekuivalensi Integral Riemann dan Integral Darboux Menyatakan dengan sebenar-benarnya bahwa hasil penelitian saya tidak terdapat unsur-unsur penjiplakan karya penelitian atau karya ilmiah yang pernah dilakukan atau dibuat oleh orang lain, kecuali yang secara tertulis dikutip dalam naskah ini dan disebutkan dalam sumber kutipan dan daftar pustaka. Apabila ternyata hasil penelitian ini terbukti terdapat unsur-unsur jiplakan, maka saya bersedia untuk mempertanggung jawabkan, serta diproses sesuai peraturan yang berlaku. Malang, 18 Januari 2010 Yang Membuat Pernyataan, Dzawin Nuha Alhidayah NIM. 05510017 EKUIVALENSI INTEGRAL RIEMANN DAN INTEGRAL DARBOUX SKRIPSI Oleh: DZAWIN NUHA ALHIDAYAH NIM. 05510017 Telah Disetujui untuk Diuji : Dosen Pembimbing I Dosen Pembimbing II Hairur Rahman, S.Pd,M.Si. Dr.Ahmad Barizi, M.A NIP. 19800429 200604 1 003 NIP. 19731212 199803 1 001 Tanggal, 8 Desember 2009 Mengetahui, Ketua Jurusan Matematika Abdussakir, M.Pd. NIP. 19751006 200312 1 001 EKUIVALENSI INTEGRAL RIEMANN DAN INTEGRAL DARBOUX SKRIPSI Oleh: DZAWIN NUHA ALHIDAYAH NIM. 05510017 Telah dipertahankan di Depan Dewan Penguji Skripsi dan Dinyatakan Diterima Sebagai Salah Satu Persyaratan Untuk Memperoleh Gelar sarjana Sains (S.Si) Tanggal, 23 Januari 2010 Susunan Dewan Penguji Tanda Tangan 1.
    [Show full text]
  • [Math.CA] 15 Dec 2015 Henstock Lectures on Integration Theory
    Henstock Lectures on Integration Theory Edited by P. Muldowney 1 Introduction These are the notes of lectures given by Ralph Henstock at the New Univer- sity of Ulster in 1970–71. Sections 2 to 19 (pages 1–70) deal with the Riemann-complete (or gen- eralized Riemann) integral, also known as the gauge integral, or Henstock- Kurzweil integral. These sections cover, essentially, the same ground as ([2], 1963), the first book on the subject; but perhaps in a clearer and simpler style. Robert Bartle’s paper, Return to the Riemann integral ([1], 1980), is a good introduction to the Riemann-complete integral. The rest of these notes—Section 20 onwards—deal with Henstock’s ab- stract or general theory of integration, which in [6] is called the Henstock integral. Originally mooted in [3] (1968), this general theory was still in a formative stage in 1970–71, and received fuller expression in [5], (1991). Also in MTRV ([6], 2012). – P. Muldowney, November 16 2015 2 Riemann Integration arXiv:1602.02993v1 [math.CA] 15 Dec 2015 We consider this integration in Euclidean space En of n dimensions, assuming 1 that we are given n co-ordinate axes at right angles, the axes x1,...,xn. Then for each collection of n pairs of numbers a1 < b1, a2 < b2,...,an < bn, we can define the brick I formed of all points P with co-ordinates x1,...,xn satisfying a x b ,...,a x b . 1 ≤ 1 ≤ 1 n ≤ n ≤ n 1The symbol P usually appears as an alternate for x, y, ..., generally denoting associ- ated point or tag-point of interval.
    [Show full text]
  • Solving Problems in Mathematical Analysis, Part II
    Problem Books in Mathematics Tomasz Radożycki Solving Problems in Mathematical Analysis, Part II Definite, Improper and Multidimensional Integrals, Functions of Several Variables and Differential Equations Problem Books in Mathematics Series Editor: Peter Winkler Department of Mathematics Dartmouth College Hanover, NH 03755 USA More information about this series at http://www.springer.com/series/714 Tomasz Radozycki˙ Solving Problems in Mathematical Analysis, Part II Definite, Improper and Multidimensional Integrals, Functions of Several Variables and Differential Equations Tomasz Radozycki˙ Faculty of Mathematics and Natural Sciences, College of Sciences Cardinal Stefan Wyszynski´ University Warsaw, Poland Scientific review for the Polish edition: Jerzy Jacek Wojtkiewicz Based on a translation from the Polish language edition: “Rozwiazujemy ˛ zadania z analizy matematycznej” cz˛es´c´ 2 by Tomasz Radozycki˙ Copyright ©WYDAWNICTWO OSWIA-´ TOWE “FOSZE” 2013 All Rights Reserved. ISSN 0941-3502 ISSN 2197-8506 (electronic) Problem Books in Mathematics ISBN 978-3-030-36847-0 ISBN 978-3-030-36848-7 (eBook) https://doi.org/10.1007/978-3-030-36848-7 Mathematics Subject Classification: 00-01, 00A07, 34-XX, 34A25, 34K28, 53A04, 26Bxx © Springer Nature Switzerland AG 2020 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
    [Show full text]
  • MAT237Y1 – LEC5201 – Darboux's Construction of Riemann's Integral
    University of Toronto – MAT237Y1 – LEC5201 Multivariable calculus Darboux’s construction of Riemann’s integral in one variable Jean-Baptiste Campesato January 21st, 2020 Contents 1 Historical comments 2 2 Darboux’s construction of Riemann’s integral 3 3 The 휀-criterion for integrability 5 4 Properties of Riemann’s integral 6 5 Some sufficient conditions for integrability 9 5.1 Monotonicity ......................................... 9 5.2 Continuity .......................................... 10 5.3 Discontinuity set has zero content ............................ 10 6 The MVT for Riemann’s integral 12 7 The Fundamental Theorem of Calculus 12 8 Riemann sums 14 A Supremum and Infimum 15 B Uniform continuity 17 C Riemann’s integrability criterion in terms of oscillation (Addendum from Feb 3) 20 D Lebesgue criterion for Riemann integrability (Addendum from Feb 3, extra-curricular, not part of MAT237) 23 2 Darboux’s construction of Riemann’s integral 1 Historical comments • Several methods allowing us to compute areas by finer approximations were already known in ancient Greece (Eudoxus’ method of exhaustion, Archimedes’ triangles…). • During the 17th century Gregory, Barrow, Newton on one side and Leibniz on the other side independently proved the FTC (where the integral was defined as the area under the curve for a continuous function on a segment line). • Cauchy (”Résumé des Leçons sur le calcul infinitésimal”, 1823) gave a first constructive definition of “an integral” in terms of Cauchy sums (which are left-Riemann sumsusing today’s terminology) but he restricted himself to continuous functions. • Riemann (”La possibilité de représenter une fonction par une série trigonométrique” 1854 but published in 1873) generalized Cauchy’s definition and removed the continuous assump- tion.
    [Show full text]
  • Numerical Calculation of Area of Elliptical Segments
    mathematics Article Numerical Calculation of Area of Elliptical Segments Dusan Vallo * , Jozef Fulier and Lucia Rumanova Department of Mathematics, Faculty of Natural Sciences, Constantine the Philosopher University in Nitra, Tr. A. Hlinku 1, 949 74 Nitra, Slovakia; [email protected] (J.F.); [email protected] (L.R.) * Correspondence: [email protected]; Tel.: +421-37-6408-690 Received: 9 August 2020; Accepted: 21 August 2020; Published: 23 August 2020 Abstract: In this paper, we introduce the notion of an elliptical segment as some analogy of the circular segment and we focus on the problem of calculation of its area. Based on the analytical method, we derive the formulas, which can be used for the numerical approximation of the area of the given segment. Keywords: ellipse; segment; area; approximation 1. Introduction In this paper, we present the problem of calculation of the area of elliptical segment. The notion elliptical segment is a generalization of the term circular segment. In accordance with this analogy, we consider the elliptical segment as a set of points surrounded by a given elliptical arc and its chord. The figures in Figure1 are the segments illustrated as the shaded regions. Figure 1. Circular and elliptical segment. There exist a few formulas about how to calculate the area A of the given circular segment. Their proving is based on the idea of subtraction of the area of the circular sector and the area of the subsistent triangle portion [1]. In this concept, the term central angle is crucial, but it is undefined for the ellipse [2]. The Gauss–Green formula is used to determine an elliptical sector area.
    [Show full text]
  • The Definition of the Integral Math 120 Calculus I
    The definition of the integral Math 120 Calculus I D Joyce, Fall 2013 There are two aspects of the definition that I want to emphasize. First, the degree of formality we use to make the definition. We'll start with an informal definition, then clarify and formalize it. The second point is more technical. What should be the definition when the function is negative? We'll see, but to begin with, we'll only consider positive functions. The integral as an area under a curve. Let f be a nonnegative function defined on an interval [a; b], that is, for x 2 [a; b], f(x) ≥ 0. We define the integral of f over the interval [a; b] to be the area of the region above the x-axis, between the lines x = a and x = b, and below the curve y = f(x). The notation we use for this integral is due to Leibniz Z b f(x) dx a To the degree that we understand what that area is, we understand integrals. This definition was sufficient for a long time as the definition of integrals, but when the concept of function was broadened in the 18th and 19th centuries, it became clear that a more precise definition was needed. There are strange functions (like the characteristic function of the rational numbers) where our preconceived notions of area don't apply. One solution to the problem was to use rectangular approximations. Rectangular approximations. For a rectangular approximation, partition the interval [a; b] into subintervals. If we partition it into n parts, the first subinterval goes from a to some number x1, the next from x1 to some number x2, and so forth.
    [Show full text]
  • The Riemann Integral
    Chapter 1 The Riemann Integral I know of some universities in England where the Lebesgue integral is taught in the first year of a mathematics degree instead of the Riemann integral, but I know of no universities in England where students learn the Lebesgue integral in the first year of a mathematics degree. (Ap- proximate quotation attributed to T. W. K¨orner) Let f :[a,b] R be a bounded (not necessarily continuous) function on a compact (closed,→ bounded) interval. We will define what it means for f to be b Riemann integrable on [a,b] and, in that case, define its Riemann integral a f. The integral of f on [a,b] is a real number whose geometrical interpretation is the signed area under the graph y = f(x) for a x b. This number is also calledR the definite integral of f. By integrating f over≤ an≤ interval [a, x] with varying right end-point, we get a function of x, called the indefinite integral of f. The most important result about integration is the fundamental theorem of calculus, which states that integration and differentiation are inverse operations in an appropriately understood sense. Among other things, this connection enables us to compute many integrals explicitly. Integrability is a less restrictive condition on a function than differentiabil- ity. Roughly speaking, integration makes functions smoother, while differentiation makes functions rougher. For example, the indefinite integral of every continuous function exists and is differentiable, whereas the derivative of a continuous function need not exist (and generally doesn’t). The Riemann integral is the simplest integral to define, and it allows one to integrate every continuous function as well as some not-too-badly discontinuous functions.
    [Show full text]