Skip to main content

DIFFERENTIAL OF A DEFINITE INTEGRAL WITH RESPECT TO A VARIABLE INCLUDED IN THE FUNCTION UNDER THE \(\int \) SIGN AND IN THE LIMITS OF INTEGRATION. INTEGRALS OF VARIOUS ORDERS FOR FUNCTIONS OF A SINGLE VARIABLE.

  • Chapter
  • First Online:
  • 888 Accesses

Abstract

Let

$$\begin{aligned} A=\int _{z_0}^Z{f(x, z) dz} \end{aligned}$$

be a definite integral relative to z. If, in this integral, we vary separately and independently, one and the other, the three quantities \( Z, z_0, x, \) we will find, by virtue of the formulas in (5) (twenty-sixth lecture) (The first version of the fundamental theorem of Calculus,

$$\begin{aligned} \frac{d}{dx}\int _{x_0}^{x}{f(x) dx}=f(x). \end{aligned}$$

) and of formula (2) (thirty-third lecture), (This second formula is,

$$\begin{aligned} \frac{d}{dy}\int _{x_0}^{x}{ f(x, y) dx } = \int _{x_0}^{x}{ \frac{df(x, y)}{dy} dx.} \end{aligned}$$

Without realizing it, Cauchy is again assuming his function is well behaved. As discussed earlier, the exchange of limits that occurs by reversing the order of integration and differentiation he is taking for granted here is not always allowed.)

$$\begin{aligned} \frac{dA}{dZ}=f(x, Z),&\frac{dA}{dz_0}=-f(x, z_0),&\frac{dA}{dx}=\int _{z_0}^Z{\frac{d f(x, z)}{dx} dz}. \end{aligned}$$

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   129.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    The first version of the Fundamental Theorem of Calculus,

    $$\begin{aligned} \frac{d}{dx}\int _{x_0}^{x}{f(x) dx}=f(x). \end{aligned}$$
  2. 2.

    This second formula is,

    $$\begin{aligned} \frac{d}{dy}\int _{x_0}^{x}{ f(x, y) dx } = \int _{x_0}^{x}{ \frac{df(x, y)}{dy} dx.} \end{aligned}$$

    Without realizing it, Cauchy is again assuming his function is well behaved. As discussed earlier, the exchange of limits that occurs by reversing the order of integration and differentiation he is taking for granted here is not always allowed.

  3. 3.

    The reader may recognize this function as one similar to the important special case Cauchy investigates in his Lecture Nineteen and where his conditions leading to equation (4) have been satisfied.

  4. 4.

    There is an error in both the original 1823 and 1899 reprint editions which has been corrected here. Cauchy assigns the last arbitrary constant in the final equation as \(\mathscr {C}_{n-1}.\)

  5. 5.

    Interestingly, the original 1823 edition of equation (12) is also in error, but it is corrected in the 1899 reprint. The 1823 version reads, \( y= \cdots +\mathscr {C}_2\frac{(x-x_0)^{n-3}}{1\cdot 2\cdots (n-3)}+\cdots +\mathscr {C}_{n-1}(x-x_0)+\mathscr {C}_{n}.\) The original edition includes the additional arbitrary constant, \(\mathscr {C}_n, \) in the subsequent list, but this is also corrected in the reprint.

  6. 6.

    These next results are anything but obvious. The phrasing Cauchy uses here is similar to the modern usage of, “It can easily be shown.” One can picture Cauchy most assuredly smiling at the thought of what his students and any future readers will need to go through to verify the claims presented in (19) and (20).

  7. 7.

    Cauchy’s original 1823 text and the 1899 reprint have a clear misprint that has been corrected here. The texts both read, \( \cdots =\frac{1}{1\cdot 2\cdots (n-1)}\Big [ \cdots +\frac{(n-1)(n-2)}{1\cdot 2}\int _{x_0}^x{z^2f(z) dz}- \cdots \Big ]. \)

  8. 8.

    Another two errors in Cauchy’s texts occur here. The equation has been corrected, but the texts both have \( \cdots =\frac{1}{1\cdot 2\cdots (n-1)}\Big [x^{n-1}\int _{x_0}^x{f(x) dx}-\frac{n-1}{1}x^{n-2}\int _{x_0}^x{x^2f(x) dx} \ - \ \cdots \pm \int _{x_0}^x{x^{n-1}f(x) dx}\Big ]. \)

  9. 9.

    Certainly not a trivial alternative derivation method.

  10. 10.

    Cauchy’s original text, as well as the reprint, has the final integral as \(\int _{x_0}^x{\frac{(x-z)^n}{1\cdot 2\cdot 3\cdots n}f(z) dz}.\)

  11. 11.

    Cauchy is noting a particular case we have seen from the referenced earlier lecture, namely one which reduces to the second version of the Fundamental Theorem of Calculus, when \(n=1.\)

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dennis M. Cates .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Cates, D.M. (2019). DIFFERENTIAL OF A DEFINITE INTEGRAL WITH RESPECT TO A VARIABLE INCLUDED IN THE FUNCTION UNDER THE \(\int \) SIGN AND IN THE LIMITS OF INTEGRATION. INTEGRALS OF VARIOUS ORDERS FOR FUNCTIONS OF A SINGLE VARIABLE.. In: Cauchy's Calcul Infinitésimal. Springer, Cham. https://doi.org/10.1007/978-3-030-11036-9_35

Download citation

Publish with us

Policies and ethics