DOCSLIB.ORG

Arxiv:1708.09715V1 [Math.CA] 31 Aug 2017

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1708.09715V1 [Math.CA] 31 Aug 2017 INTEGRAL REPRESENTATION FOR BESSEL'S FUNCTIONS OF THE FIRST KIND AND NEUMANN SERIES ENRICO DE MICHELI Abstract. A Fourier-type integral representation for Bessel's function of the first kind and complex order is obtained by using the Gegenbuaer extension of Poisson's integral representation for the Bessel function along with a trigono- metric integral representation of Gegenbauer's polynomials. This representa- tion lets us express various functions related to the incomplete gamma function in series of Bessel's functions. Neumann series of Bessel functions are also con- sidered and a new closed-form integral representation for this class of series is given. The density function of this representation is simply the analytic function on the unit circle associated with the sequence of coefficients of the Neumann series. Examples of new closed-form integral representations of spe- cial functions are also presented. 1. Introduction The Bessel function of the first kind and order ν is defined by the series [27, Eq. 8, p. 40] 1 : z ν X ( 1)k (z=2)2k (1.1) Jν (z) = − ; (z C; ν C; ν = 1; 2;:::); 2 k! Γ(ν + k + 1) 2 2 6 − − k=0 which is convergent absolutely and uniformly in any closed domain of z and in any bounded domain of ν. It is the solution of Bessel's equation d2y dy (1.2) z2 + z + (z2 ν2) = 0; dz2 dz − which is nonsingular at z = 0. The function Jν (z) is therefore an analytic function of z for any z, except for the branch point z = 0 if ν is not an integer. In this paper, a new integral representation for the Bessel functions of the first 1 kind and order ν C, Re ν > 2 , is obtained. This representation, which is given in Section 3, generalizes2 to complex− values of the order ν the classical Bessel's arXiv:1708.09715v1 [math.CA] 31 Aug 2017 integral n Z π ( i) iz cos θ (1.3) Jn(z) = − e cos nθ dθ (n Z); π 0 2 which holds only for integral order values (see, e.g., formula (3.21)). The Bessel functions of the first kind are expressed in terms of an integral of Fourier-type, which involves the regularized incomplete gamma function P ( ν ; z), with ν be- ing the (complex) fractional part of ν. This result is achievedf byg using the Poissonf g 1 integral representation of Jν+n(z) (Re ν > , ` = 0; 1; 2;:::) given in terms of − 2 2010 Mathematics Subject Classification. 33C10,40C10,33B20. Key words and phrases. Bessel function of the first kind, Neumann series of Bessel functions, Integral representations. 1 2 E. DE MICHELI Gegenbauer polynomials and then by exploiting the integral representation of the latter polynomials that we prove in Section 2. The Fourier form of the integral representation of Jν+n(z) motivates us to con- sider the Fourier inversion formula in Section 4. This analysis allows us to obtain, for either integer and half-integer orders ν, a trigonometric expansion of the lower incomplete gamma function, whose coefficients are related to (modified and unmod- ified) Bessel functions of the first kind. Thus, classical Bessel series expansions of various special functions which are connected with the incomplete gamma function, can be easily obtained in a unified form. A Neumann series of Bessel functions is an expansion of the type 1 X (1.4) an Jν+n(z)(z; ν C); n=0 2 1 where an n=0 are given coefficients. Many special functions of the mathematical physicsf enjoyg an expansion of this type, e.g., Kummer confluent hypergeometric's, Lommel's , Kelvin's, Whittaker's, and so on. In Section 5 we exploit the novel representation of Bessel's functions presented in Section 3 in order to derive a sim- ple closed-form integral representation of expansions (1.4). The set of coefficients 1 an n=0, which characterizes the series (1.4), comes into this integral representation inf ag very simple way through the associated analytic function A(z) in the unit disk P1 n D, i.e.: A(z) = n=0 anz with a weak restriction on the sequence of coefficients an , which is sufficient to guarantee the boundedness of A(z) on the unit circle. Examplesf g of special functions with this kind of closed-form integral representation are also given. 2. Connection between the coefficients of Gegenbauer and Fourier expansions ν 1 The Gegenbauer (ultraspherical) polynomials C` (x) of order ν (ν > 2 ; ν = 0) may be defined by means of the generating function [23, Eq. (4.7.23)] (see− also6 [23, Eq. (4.7.6)]): 1 X (2.1) Cν (x) t` = (1 2xt + t2)−ν (x [ 1; 1]; t ( 1; 1)): ` − 2 − 2 − `=0 For fixed ν, the Gegenbauer polynomials are orthogonal on the interval [ 1; 1] with respect to the weight function wν (x) = (1 x2)(ν−1=2), that is: − − Z 1 ν ν ν ν (2.2) C` (x) Cn(x) w (x) dx = h` δ`;n; −1 where: 1−2ν ν 1 2 π Γ(` + 2ν) (2.3) h` = : (` + ν) `! [Γ(ν)]2 Particularly important special cases of Gegenbauer polynomials are obtained for ν = 1=2, which gives the Legendre polynomials P`(x), for ν = 1 yielding the Cheby- shev polynomials of the second kind U`(x), and in a suitable limiting form for ν 0 ν ! the Chebyshev polynomials of the first kind T`(x) [23]: limν!0(`!=(2ν)`)C` (x) = T`(x), where ( )` denotes the Pochhammer symbol. · BESSEL FUNCTIONS OF THE FIRST KIND 3 eiu δ (u) + δ (u) − δ0(u) 1 0 1 − iu e− Figure 1. Integration path for the evaluation of the integral representation (2.5) of the Gegenbauer polynomials. For Re ν > 0 they admit the following integral representation [26, Eq. (1), p. 559]: ν Z π ν (` + ν) h` p 2 ` 2ν−1 (2.4) C` (x) = (x + i 1 x cos η) (sin η) dη: π 0 − Now, our aim in this section is to present an integral representation of the Gegen- bauer polynomials. To this end, we prove the following proposition (see also [6, 9]). Proposition 2.1. For Re ν > 0, the following integral representation for the ν Gegenbauer polynomials C` (cos u) (u [0; π], ` N0) holds: 2 2 (` + ν) hν 2ν−1e−iπν Z 2π−u (2.5) Cν (cos u) = ` ei(`+ν)t (cos u cos t)ν−1 dt: ` (2ν−1) π (sin u) u − Proof. In representation (2.4) we first introduce the variable u, defined by x = cos u (u [0; π]): 2 ν Z π ν (` + ν) h` ` 2ν−1 (2.6) C` (cos u) = (cos u + i sin u cos η) (sin η) dη: π 0 Then, in the integral in (2.6) we substitute to η the complex integration variable τ defined by eiτ = cos u + i sin u cos η: It can be checked that (2.7) 2eiτ (cos τ cos u) = (eiτ eiu)(eiτ e−iu) = sin2u sin2η: − − − 4 E. DE MICHELI Now, since eiτ dτ = sin u sin η dη, the integrand on the right-hand side of (2.6) can be written as follows:− (ν−1) (sin u)−(2ν−1) ei(`+1)τ (eiτ eiu)(eiτ e−iu) dτ (2.8) − − − = (sin u)−(2ν−1) ei(`+ν)τ [2(cos τ cos u)](ν−1) dτ: − − In order to determine the integration path, consider the intermediate step where eiτ is chosen as integration variable; the original path (corresponding to η [0; π]) iu −iu 2 is the (oriented) linear segment δ0(u) starting at e and ending at e . Since (as shown by (2.8)) the integrand is an analytic function of eiτ in the disk eiτ < 1 j j (since ` N0), the integration path δ0(u) can be replaced by the circular path 2 iτ δ+(u) = e : τ = t; u 6 t 6 2π u (see Fig. 1). Moreover, by using the fact that iτ iuf iτ −iu ν−1 − g iτ iτ iπ [(e e )(e e )] is positive for e δ0(u) R and therefore at e = e , we conclude− from− the left equality in (2.7) that2 in the[ r.h.s. of (2.8) the following specification holds (for τ = t; u t 2π u): 6 6 − [2(cos t cos u)]ν−1 = e−i(ν−1)π[2(cos u cos t)]ν−1: − − Finally, accounting for this latter expression, the integral representation (2.5) fol- lows directly from (2.6). Remark 1. In the proof of Proposition 2.1 we could even choose the integration iτ path δ−(u) = e : τ = t; u 6 t 6 u , oriented as shown in Fig. 1. Following the same argumentsf given above,− it is easilyg seen that this option yields the following alternative integral representation of the Gegenbauer polynomials [6, 8]: ν ν−1 Z u ν (` + ν) h` 2 i(`+ν)t ν−1 (2.9) C` (cos u) = 2ν−1 e (cos t cos u) dt: π (sin u) −u − 3. Fourier-type integral representation of Bessel functions of the first kind It is well-known that the Bessel functions of the first kind of integral order n can be represented by Bessel's trigonometric integral (1.3) (see also [11, Eq. n 10.9.2]). For n Z, Jn(x) satisfies the symmetry relation: J−n(x) = ( 1) Jn(x). This latter relation2 no longer holds when n is not an integral number− since, for ν Z, Jν (x) and J−ν (x) are linearly independent solutions of the Bessel equation of62 order ν.
Load more

Recommended publications
  • Conjugate Trigonometric Integrals! by R
    SOME THEOREMS ON FOURIER TRANSFORMS AND CONJUGATE TRIGONOMETRIC INTEGRALS! BY R. P. BOAS, JR. 1. Introduction. Functions whose Fourier transforms vanish for large val- ues of the argument have been studied by Paley and Wiener.f It is natural, then, to ask what properties are possessed by functions whose Fourier trans- forms vanish over a finite interval. The two classes of functions are evidently closely related, since a function whose Fourier transform vanishes on ( —A, A) is the difference of two suitably chosen functions, one of which has its Fourier transform vanishing outside (—A, A). In this paper, however, we obtain, for a function having a Fourier transform vanishing over a finite interval, a criterion which does not seem to be trivially related to known results. It is stated in terms of a transform which is closely related to the Hilbert trans- form, and which may be written in the simplest (and probably most interest- ing) case, 1 C" /(* + *) - fix - 0 (1) /*(*) = —- sin t dt. J IT J o t2 With this notation, we shall show that a necessary and sufficient condition for a function/(x) belonging to L2(—<», oo) to have a Fourier transform vanishing almost everywhere on ( — 1, 1) is that/**(x) = —/(*) almost every- where;/**^) is the result of applying the transform (1) to/*(x). The result holds also if (sin t)/t is replaced in the integrand in (1) by a certain more general function Hit). As a preliminary result, we discuss the effect of the general transform/*(x) on a trigonometric Stieltjes integral, (2) /(*) = f e^'dait), J -R where a(/) is a normalized! complex-valued function of bounded variation.
    [Show full text]
  • Mathematics 136 – Calculus 2 Summary of Trigonometric Substitutions October 17 and 18, 2016
    Mathematics 136 – Calculus 2 Summary of Trigonometric Substitutions October 17 and 18, 2016 The trigonometric substitution method handles many integrals containing expressions like a2 x2, x2 + a2, x2 a2 p − p p − (possibly including expressions without the square roots!) The basis for this approach is the trigonometric identities 1 = sin2 θ + cos2 θ sec2 θ = tan2 θ +1. ⇒ from which we derive other related identities: a2 (a sin θ)2 = a2(1 sin2 θ) = √a2 cos2 θ = a cos θ p − q − (a tan θ)2 + a2 = a2(tan2 θ +1) = √a2 sec2 θ = a sec θ p q (a sec θ)2 a2 = a2(sec2 θ 1) = a2 tan2 θ = a tan θ p − p − p (Technical note: We usually assume that a > 0 and 0 <θ<π/2 here so that all the trig functions take positive values.) Hence, 1. If our integral contains √a2 x2, the substitution x = a sin θ will convert this radical to the simpler form a cos θ. − 2. If our integral contains √x2 + a2, the substitution x = a tan θ will convert this radical to the simpler form a sec θ. 3. If our integral contains √x2 a2, the substitution x = a sec θ will convert this radical to the simpler form a tan θ. − We substitute for the rest of the integral including the dx. For instance if x = a sin θ, then the dx = a cos θ dθ. If x = a tan θ, then dx = a sec2 θ dθ. If x = a sec θ, then dx = a sec θ tan θ dθ.
    [Show full text]
  • Log-Trigonometric Integrals and Elliptic Functions
    Log-trigonometric integrals and elliptic functions Martin Nicholson A class of log-trigonometric integrals are evaluated in terms of elliptic functions. I. INTRODUCTION The following integrals were calculated in [7] π=2 Z a ln x2 + ln2(2e−a cos x) dx = π ln ; (1) eb − 1 0 π=2 Z π 1 1 ln x2 + ln2(2e−a cos x) cos 2x dx = 1 − − eb + ; (2) 2 a eb − 1 0 π=2 Z x sin 2x π 1 eb dx = + eb − ; (3) x2 + ln2(2e−a cos x) 4 a2 (eb − 1)2 0 π=2 γ Z 1 + e2ix π e(γ+1)a dx = − + π H(ln 2 − a); (4) ix − a + ln (2 cos x) a ea − 1 −π=2 where a 2 R, b = minfa; ln 2g, and H is unit step function. These are log-trigonometric integrals of the type whose study was initiated in the series of papers [1{4, 6]. The author of the paper [7] also noted that integral (1) can be used to obtain integrals that can be evaluated in terms of logarithm of Dedekind eta function. However the resulting integrals contained special functions of complex argument. In this paper we modify this approach to obtain integrals of elementary functions of real argument that are evaluated in terms of infinite products or Lambert series. These infinite products and Lambert series can be expressed in terms of elliptic integrals and allow one to obtain closed form evaluation of certain log-trigonometric integrals at particular values of the parameter. In the following we will use standard notations from the theory of elliptic functions.
    [Show full text]
  • PROPERTIES of GENERALIZED UNIVARIATE HYPERGEOMETRIC FUNCTIONS 3 Relations of the Hyperbolic Hypergeometric Function
    PROPERTIES OF GENERALIZED UNIVARIATE HYPERGEOMETRIC FUNCTIONS F.J. VAN DE BULT, E.M. RAINS, AND J.V. STOKMAN Abstract. Based on Spiridonov’s analysis of elliptic generalizations of the Gauss hypergeomet- ric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E7 (ellip- tic, hyperbolic) and of type E6 (trigonometric) using the appropriate versions of the Nassrallah- Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level degenerations of the hyperbolic and trigonometric hy- pergeometric functions are identified with Ruijsenaars’ relativistic hypergeometric function and the Askey-Wilson function, respectively. We show that the degeneration process yields various new and known identities for hyperbolic and trigonometric special functions. We also describe an intimate connection between the hyperbolic and trigonometric theory, which yields an ex- pression of the hyperbolic hypergeometric function as an explicit bilinear sum in trigonometric hypergeometric functions. 1. Introduction The Gauss hypergeometric function, one of the cornerstones in the theory of classical univariate special functions, has been generalized in various fundamental directions. A theory on multivariate root system analogues of the Gauss hypergeometric function, due to Heckman and Opdam, has emerged, forming the basic tools to solve trigonometric and hyperbolic quantum many particle systems of Calogero-Moser type and generalizing the Harish-Chandra theory of spherical functions on Riemannian symmetric spaces (see [8] and references therein). A further important development has been the generalization to q-special functions, leading to the theory of Macdonald polynomials [16], which play a fundamental role in the theory of relativistic analogues of the trigonometric quantum Calogero-Moser systems (see e.g.
    [Show full text]
  • Some Series and Integrals Involving the Riemann Zeta Function, Binomial Coefficients and the Harmonic Numbers
    Some series and integrals involving the Riemann zeta function, binomial coefficients and the harmonic numbers Volume I Donal F. Connon 18 February 2008 Abstract In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function, including the following: ∞ 1 n bb⎛⎞n p()cos2xkxdxpxdx= () ∑∑n ∫∫⎜⎟ nk==002 aa⎝⎠k ∞ 1 n bb⎛⎞n p()sin2xkxdxpxxdx= ()cot ∑∑n ∫∫⎜⎟ nk==112 aa⎝⎠k ∞ bb ∑∫∫p()cosxn x cos nx dx= p () x dx n=0 aa ∞ bb ∑∫∫p()cosxn x sin nx dx= p ()cot x x dx n=0 aa ∞ n ⎛⎞n xk 1 ⎛⎞xt tLin ∑∑⎜⎟s = s ⎜⎟ nk==11⎝⎠k kt11− ⎝⎠− t 11∞ ∞ 1(1)n ⎛⎞n − k+1 (3) ()HH(1) 2 (2) ς a = ∑ n { nn+ } = ∑∑n ⎜⎟ 2 22n=1 n nk==01nk2 ⎝⎠k ∞ ∞ n k +1 1 ⎧⎫113 1 1(1)⎛⎞n − (4) HHHH(1) (1) (2) (3) ς a = ∑ n ⎨⎬()nnnn++= ∑∑n ⎜⎟ 3 n=1 n2 ⎩⎭62 3nk==11nk2 ⎝⎠k ∞ 1 42 2 ς (5) = HHHHHHH(1) ++++6836(1) (2) (1) (3) (2) (4) a ∑ n {()()nnnnnnn() } n=1 n2 where p()x is a suitably behaved continuously differentiable function and ς a (s ) is the alternating Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are believed to be new, and the paper may also be of interest specifically due to the fact that most of the various identities have been derived by elementary methods. CONTENTS OF VOLUMES I TO VI: Volume/page SECTION: 1.
    [Show full text]
  • Properties of Generalized Univariate Hypergeometric Functions
    Commun. Math. Phys. 275, 37–95 (2007) Communications in Digital Object Identifier (DOI) 10.1007/s00220-007-0289-0 Mathematical Physics Properties of Generalized Univariate Hypergeometric Functions F.J.vandeBult1,E.M.Rains2,,J.V.Stokman1 1 KdV Institute for Mathematics, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands. E-mail: [email protected]; [email protected] 2 Department of Mathematics, University of California, Davis, USA. E-mail: [email protected] Received: 4 August 2006 / Accepted: 4 January 2007 Published online: 24 July 2007 – © Springer-Verlag 2007 Abstract: Based on Spiridonov’s analysis of elliptic generalizations of the Gauss hyper- geometric function, we develop a common framework for 7-parameter families of gen- eralized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E7 (elliptic, hyperbolic) and of type E6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contigu- ous relations using fundamental addition formulas for theta and sine functions. The top level degenerations of the hyperbolic and trigonometric hypergeometric functions are identified with Ruijsenaars’ relativistic hypergeometric function and the Askey-Wilson function, respectively. We show that the degeneration process yields various new and known identities for hyperbolic and trigonometric special functions. We also describe an intimate connection between the hyperbolic and trigonometric theory, which yields an expression of the hyperbolic hypergeometric function as an explicit bilinear sum in trigonometric hypergeometric functions. 1. Introduction The Gauss hypergeometric function, one of the cornerstones in the theory of classical univariate special functions, has been generalized in various fundamental directions.
    [Show full text]
  • Arxiv:2012.07068V3 [Math.CA] 22 Feb 2021 Lxne Apelblat Alexander 40 Ersea 40,Ire.Eal [email protected] Email: Israel
    Application of the Efros theorem to the function represented by the inverse Laplace µ ν transform of s− exp( s ) − 22 February 2021 a b Alexander Apelblat and Francesco Mainardi ∗ aDepartment of Chemical Engineering, Ben Gurion University of the Negev, 84105 Beer Sheva, 84105, Israel. Email: [email protected] bDepartment of Physics and Astronomy, University of Bologna, Via Irnerio 46, 40126 Bologna, Italy. Email: [email protected] ORCID: 0000-0003-4858-7309 ∗ Corresponding author. Keywords: Efros theorem; inverse Laplace transforms; Wright functions; Mittag- Leffler functions; Volterra functions; modified Bessel functions; finite, infinite and convolution integrals. This paper has been published in the Special Issue of Symmetry (MDPI) ”Special Functions and Polynomials”, with guest Editor Paolo Emilio Ricci, Vol 13 (2021), art 354, 15 pages. DOI: 10.3390/sym13020354 AMS Subject Classification : 26A33, 33C10, 33E12, 34A25, 44A20 Abstract: Using a special case of the Efros theorem which was derived by arXiv:2012.07068v3 [math.CA] 22 Feb 2021 Wlodarski, and operational calculus, it was possible to derive many infinite integrals, finite integrals and integral identities for the function represented by the inverse Laplace transform. The integral identities are mainly in terms of convolution integrals with the Mittag-Leffler and Volterra functions. The integrands of determined integrals include elementary functions (power, ex- ponential, logarithmic, trigonometric and hyperbolic functions) and the error functions, the Mittag-Leffler functions
    [Show full text]
  • 7.4 Trigonometric Substitution
    7.4. TRIGONOMETRIC SUBSTITUTION 639 7.4 Trigonometric Substitution In this section we explore how integrals can sometimes be solved by making some clever substi- tutions involving trigonometric functions, even though the original integrals themselves do not involve such functions. 7.4.1 Introduction Before developing the general mechanics, we look at a few examples below for motivation. 1 Example 7.4.1 Compute dx, using a nontrivial substitution method. √1 x2 − d 1 Solution: We already know the answer to this integral, because we know dx sin− x = 2 1 1/√1 x , so a “clever” but unnecessary substitution u = sin− x would yield the antiderivative quickly.−20 But let us imagine for a moment that we do not have this antiderivative at our disposal, and need to tackle this integral from first principles. Can we accomplish this without first developing a theory of derivatives of arc-trigonometric functions? The answer is yes, if we are clever in a different way, which offers a more general method we can apply to a class of more complicated integrals, as we will see. This substitution method is to notice that 1 <x< 1 is required in the integral, and that is nearly the same as the range of sin θ, namely− 1 sin θ 1, and is in fact contained in it. So we make a substitution, albeit somewhat “backwards”− ≤ from≤ what we are used to, where x will be a function of θ rather than a function of x being explicitly some new variable: 1 1 cos θ 1 dx = cos θ dθ = dθ = dθ = θ + C = sin− x + C √1 x2 1 sin2 θ cos θ − − x = sin θ = dx = cos θ dθ ⇒ The above computation is completely correct, but there are a few technicalities to check.
    [Show full text]
  • List of Integrals of Trigonometric Functions - Wikipedia, the Free Encyclopedia List of Integrals of Trigonometric Functions from Wikipedia, the Free Encyclopedia
    2/7/13 List of integrals of trigonometric functions - Wikipedia, the free encyclopedia List of integrals of trigonometric functions From Wikipedia, the free encyclopedia The following is a list of integrals (antiderivative functions) of trigonometric functions. For antiderivatives involving both exponential and trigonometric functions, see List of integrals of exponential functions. For a complete list of antiderivative functions, see lists of integrals. See also trigonometric integral. Generally, if the function is any trigonometric function, and is its derivative, In all formulas the constant a is assumed to be nonzero, and C denotes the constant of integration. Contents 1 Integrals involving only sine 2 Integrands involving only cosine 3 Integrands involving only tangent 4 Integrands involving only secant 5 Integrands involving only cosecant 6 Integrands involving only cotangent 7 Integrands involving both sine and cosine 8 Integrands involving both sine and tangent 9 Integrands involving both cosine and tangent 10 Integrals containing both sine and cotangent 11 Integrands involving both cosine and cotangent 12 Integrals with symmetric limits 13 References Integrals involving only sine en.wikipedia.org/wiki/List_of_integrals_of_trigonometric_functions 1/6 2/7/13 List of integrals of trigonometric functions - Wikipedia, the free encyclopedia Integrands involving only cosine en.wikipedia.org/wiki/List_of_integrals_of_trigonometric_functions 2/6 2/7/13 List of integrals of trigonometric functions - Wikipedia, the free encyclopedia Integrands
    [Show full text]
  • 1 Indefinite Integrals
    1 Indefinite integrals Definition 1 Let f be a function defined on an interval I. Function F defined on I such that 8x 2 I : F0(x) = f (x) is called an antiderivative (other used names: primitive, primitive function) of f on I. Because constant functions c(x) = c 2 R have zero derivatives, for every antiderivative F of f on I it holds that f = F0 = F0 + 0 = F0 + c0 = (F + c)0: Hence F + c, where c 2 R are antiderivatives of f on I. So, antiderivatives are unique only up to a constant. Definition 2 Let f be a function defined on an interval I. A set of all antiderivatives of f on I is called indefinite integral of f on I and we denote it Z f (x)dx = fF(x) + cjc 2 R; F is an antiderivative of f on Ig: Theorem 1 (Existence of antiderivatives) Let f be a continuous function on I: Then f has an antiderivative on I. According to the theorem above every continuous function has an antiderivative. However, it might not al- ways be possible to find its explicit formula. Examples of such functions are the error function R e−x2 dx, Fresnel R 2 R sinx R 1 function sin(x )dx, trigonometric integral function x dx and logarithmic integral function ln(x) dx. Antiderivatives of basic functions R n xn+1 R x ax R 1 x dx = n+1 ; n 2 R; n 6= −1 a dx = lna ; a > 0; a 6= 1 x dx = lnjxj R R 1 R 1 sin(x)dx = −cos(x) cos2(x) dx = tan(x) 1+x2 dx = arctan(x) R cos(x)dx = sin(x) R 1 dx = −cot(x) R p 1 dx = arcsin(x) sin2(x) 1−x2 0 p R f (x) dx = ln(j f (x)j) R p 1 dx = ln(jx + x2 + aj); a 6= 0 f (x) x2+a Theorem 2 (Properties of antiderivatives) The following holds: Z Z (i) k f (x)dx = k f (x)dx; where k 2 R is a constant Z Z Z (ii) ( f (x) ± g(x))dx = f (x)dx ± g(x)dx Methods for computing antiderivatives: • Integration by parts (per-partes) • Integration by change of variable (substitution method) • Integration of rational functions (partial fraction decomposition) 1.1 Per-partes method Theorem 3 Suppose functions u and v have continuous derivatives on an interval I.
    [Show full text]
  • Techniques of Integration Because of the Fundamental Theorem of Calculus, We Can Integrate a Function If We Know an Antiderivative, That Is, an Indefinite Integral
    The techniques of this chapter enable us to find the height of a rocket a minute after liftoff and to compute the escape velocity of the rocket. Techniques of Integration Because of the Fundamental Theorem of Calculus, we can integrate a function if we know an antiderivative, that is, an indefinite integral. We summarize here the most impor- tant integrals that we have learned so far. x nϩ1 1 y x n dx ෇ ϩ C ͑n Ϫ1͒ y dx ෇ ln Խ x Խ ϩ C n ϩ 1 x a x y e x dx ෇ e x ϩ C y a x dx ෇ ϩ C ln a y sin x dx ෇ Ϫcos x ϩ C y cos x dx ෇ sin x ϩ C y sec2xdx෇ tan x ϩ C y csc2xdx෇ Ϫcot x ϩ C y sec x tan x dx ෇ sec x ϩ C y csc x cot x dx ෇ Ϫcsc x ϩ C y sinh x dx ෇ cosh x ϩ C y cosh x dx ෇ sinh x ϩ C y tan x dx ෇ ln Խ sec x Խ ϩ C y cot x dx ෇ ln Խ sin x Խ ϩ C 1 1 x 1 x y dx ෇ tanϪ1ͩ ͪ ϩ C y dx ෇ sinϪ1ͩ ͪ ϩ C x 2 ϩ a 2 a a sa 2 Ϫ x 2 a In this chapter we develop techniques for using these basic integration formulas to obtain indefinite integrals of more complicated functions. We learned the most important method of integration, the Substitution Rule, in Section 5.5. The other gen- eral technique, integration by parts, is presented in Section 7.1.
    [Show full text]
  • Integral of Trigonometric Functions Examples with Solutions
    Integral Of Trigonometric Functions Examples With Solutions Zincous Phil eying riskily while Thedric always cusses his undertakings retrospects changefully, he scrammed so unfeignedly. External Dominick sometimes vat any ukes bruit scantily. Unprophetical and unmentionable Daryl guess, but Mickey two-times maximized her cozeners. We have trig functions for trigonometric functions to running these No matter what exactly do not always consult lecturers on this example are you may not all of specific integrals span two terms of calculus. Your email address will here be published. Pythagorean theorem of functions, and solutions involve using one of trig substitutions by using appropriate substitutions take some examples in integral this. Got questions about upcoming chapter? That feet be enough examples for you to speak some on his own. Because one of problem that does not have questions with integrals involving the shaded shaded region represents the suitable method of functions? We introduce More Great Sciencing Articles! This example in math skills in this technology into trigonometric functions. In this example of trigonometric function that you with some examples to compute, we leave a graph to compute each indefinite integrals. What is powers of trigonometric functions have javascript in integral of trigonometric functions with your consent preferences anytime by substitution required a restriction for trigonometric identity as you. Find the unique of a function. Find here the shaded shaded area. What is correct and solutions on this substitution, and i am i doing wrong, so clear in more. Vous avez réussi le test! This method is called trigonometric substitutions. Trigonometric integration of inverse sine factor and cotangent substitution with our mission is possible method required to continue with trigonometric substitutions are deducted for every method to the integrand and.
    [Show full text]