ArticlePublisher preview available

A Framework for an ICT-Based Study of Parametric Integrals

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

We describe working session for the study of 1-parameter families of definite integrals in a technology-rich environment. The joint usage of paper-and-pencil work together with a Computer Algebra System and eventually a web based database may lead to closed forms for the integrals, to the derivation of combinatorial identities, and other kinds of output. This joint usage applied to parametric integrals lead to mathematical expressions rather than graphic representation. This permits a new learning process in the teaching of mathematics, physics and engineering. We begin with a short survey of classical cases, using telescopic methods. Then we show a new example where the integrals depend not only on an integer parameter, but also on a real variable. In this last case, the study of the parametric integral involves the study of a recurrence differential equation.
Math.Comput.Sci. (2017) 11:285–296
DOI 10.1007/s11786-017-0299-z
Mathematics in Computer Science
A Framework for an ICT-Based Study of Parametric Integrals
Thierry Dana-Picard ·David G. Zeitoun
Received: 27 November 2016 / Revised: 20 February 2017 / Accepted: 21 February 2017 / Published online: 25 April 2017
© Springer International Publishing 2017
Abstract We describe working session for the study of 1-parameter families of definite integrals in a technology-
rich environment. The joint usage of paper-and-pencil work together with a Computer Algebra System and eventually
a web based database may lead to closed forms for the integrals, to the derivation of combinatorial identities, and
other kinds of output. This joint usage applied to parametric integrals lead to mathematical expressions rather than
graphic representation. This permits a new learning process in the teaching of mathematics, physics and engineering.
We begin with a short survey of classical cases, using telescopic methods. Then we show a new example where
the integrals depend not only on an integer parameter, but also on a real variable. In this last case, the study of the
parametric integral involves the study of a recurrence differential equation.
Keywords Parametric integrals ·Computer Algebra Systems ·Recurrence differential equation
Mathematics Subject Classification Primary 26A06 ·26A18 ·97U70; Secondary 34A99
1 Introduction
A Computer Algebra System (CAS) is a multi-purpose package which is intended to be an assistant to the mathe-
matical work both of students and of teachers and researchers. The various mathematical objects may have multi-
representations. For example a function of a real variable has traditionally the three following kinds of representation:
Algebraic representation, given by a closed expression of the form f(x)=..., where xis the variable.
Graphical representation, i.e. the curve defined by the equation y=f(x). This is a geometrical object.
A numerical representation, generally presented as a table of values.
Other objects may have more or less registers of representation. For a 1-parameter family of definite integrals, the
work we describe in this paper is performed using first a numerical representation, trying to conjecture a general
T. Dana-Picard (B)
Jerusalem College of Technology, Havaad Haleumi Street 21, 91160 Jerusalem, Israel
e-mail: ndp@jct.ac.il
D. G. Zeitoun
Orot Israel College, Elkana, D.N. Hare Efraim, Israel
e-mail: ed.technologie@gmail.com
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
Article
Full-text available
We all recognize 0, 1, 1, 2, 3, 5, 8, 13,... but what about 1, 2, 4, 6, 3, 9, 12, 8, 10, 5, 15,...? If you come across a number sequence and want to know if it has been studied before, there is only one place to look, the On-Line Encyclopedia of Integer Sequences (or OEIS). Now in its 49th year, the OEIS contains over 220,000 sequences and 20,000 new entries are added each year. This article will briefly describe the OEIS and its history. It will also discuss some sequences generated by recurrences that are less familiar than Fibonacci's, due to Greg Back and Mihai Caragiu, Reed Kelly, Jonathan Ayres, Dion Gijswijt, and Jan Ritsema van Eck.
Article
Full-text available
1. Introduction 2. Factorials and binomial coefficients 3. The method of partial fractions 4. A simple rational function 5. A review of power series 6. The exponential and logarithm functions 7. The trigonometric functions and pi 8. A quartic integral 9. The normal integral 10. Euler's constant 11. Eulerian integrals: the Gamma and Beta functions 12. The Riemann zeta function 13. Logarithmic integrals 14. A master formula 15. Appendix: the revolutionary WZ method.
Article
We study a 1-parameter family of trigonometric definite integrals, showing how the joint usage of Information and Communication Technologies and paper-and-pencil work lead to different outputs, revealing different mathematical meanings and different concrete meanings. This family of integrals is useful for describing a phenomenon in soil mechanics, whence the importance of such integrals in STEM education.
Article
Fibonacci and Lucas sequences are "two shining stars in the vast array of integer sequences," and because of their ubiquitousness, tendency to appear in quite unexpected and unrelated places, abundant applications, and intriguing properties, they have fascinated amateurs and mathematicians alike. However, Catalan numbers are even more fascinating. Like the North Star in the evening sky, they are a beautiful and bright light in the mathematical heavens. They continue to provide a fertile ground for number theorists, especially, Catalan enthusiasts and computer scientists. Since the publication of Euler's triangulation problem (1751) and Catalan's parenthesization problem (1838), over 400 articles and problems on Catalan numbers have appeared in various periodicals. As Martin Gardner noted, even though many amateurs and mathematicians may know the abc's of Catalan sequence, they may not be familiar with their myriad unexpected occurrences, delightful applications, properties, or the beautiful and surprising relationships among numerous examples. Like Fibonacci and Lucas numbers, Catalan numbers are also an excellent source of fun and excitement. They can be used to generate interesting dividends for students, such as intellectual curiosity, experimentation, pattern recognition, conjecturing, and problem-solving techniques. The central character in the nth Catalan number is the central binomial coefficient. So, Catalan numbers can be extracted from Pascal's triangle. In fact, there are a number of ways they can be read from Pascal's triangle; every one of them is described and exemplified. This brings Catalan numbers a step closer to number-theory enthusiasts, especially.
Article
Say an integer n is exceptional if the maximum Stirling number of the second kind S(n,k) occurs for two (of necessity consecutive) values of k. We prove that the number of exceptional integers less than or equal to x is O(x 1/2+ε ), for any ε>0. We derive a similar result for partitions of n into exactly k integers.
Article
We compute closed forms for some parametric integrals. The tools used are MacLaurin developments and other infinite series. Finally, Stirling numbers appear.
Article
We compute in three different ways the same definite parametric integral. By-products are the derivation of a combinatorial identity and two integral presentations of Catalan numbers. One of them leads to a presentation using the γ function.
Article
An integral, either definite or improper, cannot always be computed by elementary methods, such as reversed usage of differentiation formulae. Graphical properties, in particular symmetries, can be useful to compute the integral, via an auxiliary computation. We present graded examples, then prove a general result. (Contains 4 figures.)
Article
Zeilberger has proved some breathtaking theorems [ZB], [Z3], and his W-Z method (joint with Wilf [WZ]) has been a godsend to me [A2] and an inspiration [A3]. However, there is not one scintilla of evidence in his accomplishments to support the coming “... metamorphosis to nonrigorous mathematics.” Until Zeilberger can provide identities which are (1) discovered by his computer, (2) important to some mathematical work external to pure identity tracking, and (3) too complicated to allow an actual proof using his algorithm, then he has produced exactly no evidence that his Brave New World is on its way. I regret feeling compelled to write this article. Unfortunately articles on why rigorous mathematics is dead create unintended side effects. We live in an age of rampant “educational reform.” Many proponents of mathematics education reform impugn the importance of proofs, and question whether there are right answers, etc. A wonderfully sane account of these problems has been given by H.-H. Wu [Wu1], [Wu2]. A much more disturbing account “Are proofs in high school geometry obsolete?” concludes Horgan’s article [H]. It is a disservice to mathematics inadvertently to provide unfounded ammunition for the epistemological relativists. If anyone reading this believes the last paragraph is rubbish because attempts (unknown to me) are currently underway to insert the Continuum Hypothesis or the Theory of Large Cardinals into the NCTM Standards for School Mathematics, please don”t write to tell me about them. I can take only so many shocks to my system.
Article
To understand the difficulties that many students have with comprehension of mathematics, we must determine the cognitive functioning underlying the diversity of mathematical processes. What are the cognitive systems that are required to give access to mathematical objects? Are these systems common to all processes of knowledge or, on the contrary, some of them are specific to mathematical activity? Starting from the paramount importance of semiotic representation for any mathematical activity, we put forward a classification of the various registers of semiotic representations that are mobilized in mathematical processes. Thus, we can reveal two types of transformation of semiotic representations: treatment and conversion. These two types correspond to quite different cognitive processes. They are two separate sources of incomprehension in the learning of mathematics. If treatment is the more important from a mathematical point of view, conversion is basically the deciding factor for learning. Supporting empirical data, at any level of curriculum and for any area of mathematics, can be widely and methodologically gathered: some empirical evidence is presented in this paper.