The Weierstrass Substitution in REDUCE
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Integration Benchmarks for Computer Algebra Systems
The Electronic Journal of Mathematics and Technology, Volume 2, Number 3, ISSN 1933-2823 Integration on Computer Algebra Systems Kevin Charlwood e-mail: [email protected] Washburn University Topeka, KS 66621 Abstract In this article, we consider ten indefinite integrals and the ability of three computer algebra systems (CAS) to evaluate them in closed-form, appealing only to the class of real, elementary functions. Although these systems have been widely available for many years and have undergone major enhancements in new versions, it is interesting to note that there are still indefinite integrals that escape the capacity of these systems to provide antiderivatives. When this occurs, we consider what a user may do to find a solution with the aid of a CAS. 1. Introduction We will explore the use of three CAS’s in the evaluation of indefinite integrals: Maple 11, Mathematica 6.0.2 and the Texas Instruments (TI) 89 Titanium graphics calculator. We consider integrals of real elementary functions of a single real variable in the examples that follow. Students often believe that a good CAS will enable them to solve any problem when there is a known solution; these examples are useful in helping instructors show their students that this is not always the case, even in a calculus course. A CAS may provide a solution, but in a form containing special functions unfamiliar to calculus students, or too cumbersome for students to use directly, [1]. Students may ask, “Why do we need to learn integration methods when our CAS will do all the exercises in the homework?” As instructors, we want our students to come away from their mathematics experience with some capacity to make intelligent use of a CAS when needed. -
Complex Analysis
8 Complex Representations of Functions “He is not a true man of science who does not bring some sympathy to his studies, and expect to learn something by behavior as well as by application. It is childish to rest in the discovery of mere coincidences, or of partial and extraneous laws. The study of geometry is a petty and idle exercise of the mind, if it is applied to no larger system than the starry one. Mathematics should be mixed not only with physics but with ethics; that is mixed mathematics. The fact which interests us most is the life of the naturalist. The purest science is still biographical.” Henry David Thoreau (1817-1862) 8.1 Complex Representations of Waves We have seen that we can determine the frequency content of a function f (t) defined on an interval [0, T] by looking for the Fourier coefficients in the Fourier series expansion ¥ a0 2pnt 2pnt f (t) = + ∑ an cos + bn sin . 2 n=1 T T The coefficients take forms like 2 Z T 2pnt an = f (t) cos dt. T 0 T However, trigonometric functions can be written in a complex exponen- tial form. Using Euler’s formula, which was obtained using the Maclaurin expansion of ex in Example A.36, eiq = cos q + i sin q, the complex conjugate is found by replacing i with −i to obtain e−iq = cos q − i sin q. Adding these expressions, we have 2 cos q = eiq + e−iq. Subtracting the exponentials leads to an expression for the sine function. Thus, we have the important result that sines and cosines can be written as complex exponentials: 286 partial differential equations eiq + e−iq cos q = , 2 eiq − e−iq sin q = .( 8.1) 2i So, we can write 2pnt 1 2pint − 2pint cos = (e T + e T ). -
4 Complex Analysis
4 Complex Analysis “He is not a true man of science who does not bring some sympathy to his studies, and expect to learn something by behavior as well as by application. It is childish to rest in the discovery of mere coincidences, or of partial and extraneous laws. The study of geometry is a petty and idle exercise of the mind, if it is applied to no larger system than the starry one. Mathematics should be mixed not only with physics but with ethics; that is mixed mathematics. The fact which interests us most is the life of the naturalist. The purest science is still biographical.” Henry David Thoreau (1817 - 1862) We have seen that we can seek the frequency content of a signal f (t) defined on an interval [0, T] by looking for the the Fourier coefficients in the Fourier series expansion In this chapter we introduce complex numbers and complex functions. We a ¥ 2pnt 2pnt will later see that the rich structure of f (t) = 0 + a cos + b sin . 2 ∑ n T n T complex functions will lead to a deeper n=1 understanding of analysis, interesting techniques for computing integrals, and The coefficients can be written as integrals such as a natural way to express analog and dis- crete signals. 2 Z T 2pnt an = f (t) cos dt. T 0 T However, we have also seen that, using Euler’s Formula, trigonometric func- tions can be written in a complex exponential form, 2pnt e2pint/T + e−2pint/T cos = . T 2 We can use these ideas to rewrite the trigonometric Fourier series as a sum over complex exponentials in the form ¥ 2pint/T f (t) = ∑ cne , n=−¥ where the Fourier coefficients now take the form Z T −2pint/T cn = f (t)e dt. -
VSDITLU: a Verifiable Symbolic Definite Integral Table Look-Up
VSDITLU: a verifiable symbolic definite integral table look-up A. A. Adams, H. Gottliebsen, S. A. Linton, and U. Martin Department of Computer Science, University of St Andrews, St Andrews KY16 9ES, Scotland {aaa,hago,sal,um}@cs.st-and.ac.uk Abstract. We present a verifiable symbolic definite integral table look-up: a sys- tem which matches a query, comprising a definite integral with parameters and side conditions, against an entry in a verifiable table and uses a call to a library of facts about the reals in the theorem prover PVS to aid in the transformation of the table entry into an answer. Our system is able to obtain correct answers in cases where standard techniques implemented in computer algebra systems fail. We present the full model of such a system as well as a description of our prototype implementation showing the efficacy of such a system: for example, the prototype is able to obtain correct answers in cases where computer algebra systems [CAS] do not. We extend upon Fateman’s web-based table by including parametric limits of integration and queries with side conditions. 1 Introduction In this paper we present a verifiable symbolic definite integral table look-up: a system which matches a query, comprising a definite integral with parameters and side condi- tions, against an entry in a verifiable table, and uses a call to a library of facts about the reals in the theorem prover PVS to aid in the transformation of the table entry into an answer. Our system is able to obtain correct answers in cases where standard tech- niques, such as those implemented in the computer algebra systems [CAS] Maple and Mathematica, do not. -
The 30 Year Horizon
The 30 Year Horizon Manuel Bronstein W illiam Burge T imothy Daly James Davenport Michael Dewar Martin Dunstan Albrecht F ortenbacher P atrizia Gianni Johannes Grabmeier Jocelyn Guidry Richard Jenks Larry Lambe Michael Monagan Scott Morrison W illiam Sit Jonathan Steinbach Robert Sutor Barry T rager Stephen W att Jim W en Clifton W illiamson Volume 10: Axiom Algebra: Theory i Portions Copyright (c) 2005 Timothy Daly The Blue Bayou image Copyright (c) 2004 Jocelyn Guidry Portions Copyright (c) 2004 Martin Dunstan Portions Copyright (c) 2007 Alfredo Portes Portions Copyright (c) 2007 Arthur Ralfs Portions Copyright (c) 2005 Timothy Daly Portions Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. All rights reserved. This book and the Axiom software is licensed as follows: Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: - Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. - Neither the name of The Numerical ALgorithms Group Ltd. nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS -
Arxiv:1911.12155V13 [Math.CA] 1 Jul 2020 2.7 Double Integration
On logarithmic integrals, harmonic sums and variations Ming Hao Zhao Abstract Based on various non-MZV approaches we evaluate certain logarithmic integrals and har- monic sums. More specifically, 85 LIs, 89 ESs, 263 PLIs, 28 non-alt QESs, 39 GESs, 26 BESs, 14 IBESs with weight ≤ 5, 193 QLIs, 172 QPLIs, 83 QESs, 7 QBESs, 3 IQBESs with weight ≤ 4. With help of MZV theory we evaluate other 10 QESs with weight ≤ 4. High weight hypergeometric series, nonhomogeneous integrals and other results are also established. Contents 1 Preliminaries 5 1.1 Special functions . .5 1.2 Definition of subjects . .6 1.2.1 LI and PLI . .6 1.2.2 QLI and QPLI . .7 1.2.3 ES and QES . .8 1.2.4 Fibonacci basis . .9 1.3 Main results . 11 2 LI 11 2.1 Brute force . 11 2.2 General formulas . 12 2.3 Integration by parts . 14 2.4 Fractional transformation . 14 2.5 Beta derivatives . 15 2.6 Contour integration . 16 arXiv:1911.12155v13 [math.CA] 1 Jul 2020 2.7 Double integration . 16 2.8 Hypergeometric identities . 16 2.9 Solution . 17 1 3 ES 17 3.1 General formulas . 17 3.2 Symmetric relations . 18 3.3 Partial fractions . 18 3.4 Contour integration . 18 3.5 Solution . 18 3.5.1 Preparation . 18 3.5.2 Confrontation . 24 4 PLI 27 4.1 Brute force . 27 4.2 General formulas . 27 4.3 Integration by parts . 28 4.4 Fractional transformation . 28 4.5 Complementary integrals . 28 4.6 Polylog identities . 28 4.7 Series expansion . -
Integration and Summation
Integration and Summation Edward Jin Contents 1 Preface 3 2 Riemann Sums 4 2.1 Theory . .4 2.2 Exercises . .5 2.3 Solutions . .6 3 Weierstrass Substitutions 7 3.1 Theory . .7 3.2 Exercises . .8 3.3 Solutions . .9 4 Clever Substitutions 10 4.1 Theory . 10 4.2 Exercises . 11 4.2.1 Solutions . 12 5 Integral and Summation Substitutions 13 5.1 Theory . 13 5.2 Exercises . 15 5.3 Solutions . 16 6 Substitutions About the Domain 17 6.1 Theory . 17 6.2 Exercises . 19 6.3 Solutions . 20 7 Gaussian Integral; Gamma/Beta Functions 21 7.1 Gamma Function . 21 1 CONTENTS 2 7.2 Beta Function . 21 7.3 Gaussian Integral . 22 7.4 Exercises . 24 7.5 Solutions . 25 8 Differentiation Under the Integral Sign 27 8.1 Theory . 27 8.2 Exercises . 28 8.3 Solutions . 29 9 Frullani’s Theorem 30 9.1 Exercises . 30 9.2 Solutions . 31 10 Further Exercises 32 Chapter 1 Preface This text is designed to introduce various techniques in Integration and Summation, which are commonly seen in Integration Bees and other such contests. The text is designed to be accessible to those who have completed a standard single-variable calculus course. Examples, Exercises, and Solutions are presented in each section in order to help the reader become become acquainted with the techniques presented. It is assumed that the reader is familiar with single-variable calculus methods of integration, including u-substitution, integration by parts, trigonometric substitution, and partial fractions. It is also assumed that the reader is familiar with trigonometric and logarithmic identities. -
Generalization of Risch's Algorithm to Special Functions
Generalization of Risch's Algorithm to Special Functions Clemens G. Raab (RISC) LHCPhenonet School Hagenberg, July 9, 2012 Clemens G. Raab (RISC) Generalization of Risch's Algorithm to Special Functions Overview 1 Introduction to symbolic integration 2 Relevant classes of functions and Risch's algorithm 3 Basics of differential fields 4 A generalization of Risch's algorithm 1 Introduction 2 Inside the algorithm 5 Application to definite integrals depending on parameters Clemens G. Raab (RISC) Generalization of Risch's Algorithm to Special Functions Introduction to symbolic integration Clemens G. Raab (RISC) Generalization of Risch's Algorithm to Special Functions Different approaches and structures Differential algebra: differential fields Holonomic systems: Ore algebras Rule-based: expressions, tables of transformation rules ... Symbolic integration Computer algebra 1 Model the functions by algebraic structures 2 Computations in the algebraic framework 3 Interpret result in terms of functions Clemens G. Raab (RISC) Generalization of Risch's Algorithm to Special Functions Holonomic systems: Ore algebras Rule-based: expressions, tables of transformation rules ... Symbolic integration Computer algebra 1 Model the functions by algebraic structures 2 Computations in the algebraic framework 3 Interpret result in terms of functions Different approaches and structures Differential algebra: differential fields Clemens G. Raab (RISC) Generalization of Risch's Algorithm to Special Functions Rule-based: expressions, tables of transformation rules ... Symbolic -
Superior Mathematics from an Elementary Point of View ” Course Notes Jacopo D’Aurizio
” Superior Mathematics from an Elementary point of view ” course notes Jacopo d’Aurizio To cite this version: Jacopo d’Aurizio. ” Superior Mathematics from an Elementary point of view ” course notes. Master. Italy. 2017. cel-01813978 HAL Id: cel-01813978 https://cel.archives-ouvertes.fr/cel-01813978 Submitted on 12 Jun 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. \Superior Mathematics from an Elementary point of view" course notes Undergraduate course, 2017-2018, University of Pisa Jack D'Aurizio Contents 0 Introduction 2 1 Creative Telescoping and DFT 3 2 Convolutions and ballot problems 15 3 Chebyshev and Legendre polynomials 30 4 The glory of Fourier, Laplace, Feynman and Frullani 40 5 The Basel problem 60 6 Special functions and special products 70 7 The Cauchy-Schwarz inequality and beyond 97 8 Remarkable results in Linear Algebra 121 9 The Fundamental Theorem of Algebra 125 10 Quantitative forms of the Weierstrass approximation Theorem 133 11 Elliptic integrals and the AGM 137 12 Dilworth, Erdos-Szekeres, Brouwer and Borsuk-Ulam's Theorems 147 13 Continued fractions and elements of Diophantine Approximation 158 14 Symmetric functions and elements of Analytic Combinatorics 173 15 Spherical Trigonometry 183 0 Introduction This course has been designed to serve University students of the first and second year of Mathematics. -
The Weierstrass Substitution
Academic Forum 30 2012-13 Cauchy Confers with Weierstrass Lloyd Edgar S. Moyo, Ph.D. Associate Professor of Mathematics Abstract. We point out two limitations of using the Cauchy Residue Theorem to evaluate a definite integral of a real rational function of cos θ and sin θ . We also exhibit a definite integral with the limitations. Finally, we overcome the limitations by using the Weierstrass substitution. Introduction Let R be a rational function of two real variables. Consider a real integral 2π ∫ R(cos θ,sin θ)dθ . 0 By using the substitution z = e iθ , where i= −1 and θ is a real number, it can be shown that 2π R(cos θ,sin θ)dθ = − i 1R(z 2 +1 , z 2 −1 )dz . (1) ∫ ∫ |=z| 1 z 2z 2iz 0 For details, see, for example, Palka [4], p. 329 or Ahlfors [1], p. 154 or Crowder and McCuskey [2], p. 258. By the Cauchy Residue Theorem, we have n n 1 z 2 +1 z 2 −1 − i R( , )dz = (−i)( 2πi) Re s( f (z); zk ) = 2π Re s( f (z); zk ,) ∫ |=z| 1 z 2z 2iz ∑ ∑ k =1 k =1 where 1 z2 +1 z2 −1 f (z) = z R( 2z , 2iz ), z1,..., zn are the poles of f in the open unit disk D = {z ∈C:|z|<1}, and Res ( f(z); zk ) denotes the residue of f at the pole zk . Hence, (1) becomes 2π n ∫ R(cos θ,sin θ)dθ = 2π ∑ Re s( f (z); zk .) (2) 0 k =1 Limitations of Formula (2) In this section, we point out two cases for which the formula (2) does not apply and we suggest a different method of attack. -
Inde Nite Integration As Term Rewriting: Integrals Containing Tangent
Computer Algebra ÓÄÊ 519.61 Indenite integration as term rewriting: integrals containing tangent ⃝c 2012 ã. J. Hu, Y. Hou, A.D. Rich and D.J. Jerey, Department of Applied Mathematics, The University of Western Ontario 1151 Richmond St. London, Ontario, Canada N6A 5B7 E-mail: [email protected], [email protected], [email protected], [email protected] Ïîñòóïèëà â ðåäàêöèþ We describe the development of a term-rewriting system for indenite integration; it is also called a rule-based evaluation system. The development is separated into modules, and we describe the module for a wide class of integrands containing the tangent function. 1. Introduction correctness is not the only aim of the development. The quality of integral expressions is judged by a number of Programming styles in computer-algebra systems are criteria, which are used to decide whether an integration frequently described as either term-rewriting based, or rule should be accepted. Assume that an integrand f(x) computationally based. For example, Mathematica is has a proposed primitive F (x). Selection is based on widely recognized as a rewrite language [1], whereas the following criteria, which are discussed further in the Maple is rarely described this way. The distinction next section. is mostly one of emphasis, since all available systems include elements of both styles of programming. The • Correctness: we require F 0(x) = f(x). dichotomy can be seen more specically in programming • Simplicity: we seek the simplest form for an to evaluate indenite integrals, also called primitives integral. We adopt a pragmatic approach and aim or anti-derivatives. -
Generalization of Risch's Algorithm to Special Functions
Generalization of Risch’s Algorithm to Special Functions Clemens G. Raab Abstract Symbolic integration deals with the evaluation of integrals in closed form. We present an overview of Risch’s algorithm including recent developments. The algorithms discussed are suited for both indefinite and definite integration. They can also be used to compute linear relations among integrals and to find identities for special functions given by parameter integrals. The aim of this presentation1 is twofold: to introduce the reader to some basic ideas of differential algebra in the context of integration and to raise awareness in the physics community of computer algebra algorithms for indefinite and definite integration. 1 Introduction In earlier times large tables of integrals were compiled by hand [20, 19, 30, 36]. Nowadays, computer algebra tools play an important role in the evaluation of def- inite integrals and we will mention some approaches below. Tables of integrals are even used in modern software as well. Algorithms for symbolic integration in gen- eral proceed in three steps. First, in computer algebra the functions typically are modeled by algebraic structures. Then, the computations are done in the algebraic framework and, finally, the result needs to be interpreted in terms of functions again. Some considerations concerning the first step, i.e., algebraic representation of func- arXiv:1305.1481v1 [cs.SC] 7 May 2013 tions, will be part of Section 2. A brief overview of some approaches and corre- sponding algorithms will be given below. We will focus entirely on the approach using differential fields. Other introductory texts on this subject include [32, 12].