积分、指数函数和对数

6.7 积分、指数函数和对数

学习目标

  • 6.7.1 将自然对数的定义写成积分形式。
  • 6.7.2 识别自然对数的导数。
  • 6.7.3 计算涉及自然对数函数的积分。
  • 6.7.4 通过积分定义数 e e 。
  • 6.7.5 识别指数函数的导数和积分。
  • 6.7.6 使用积分证明对数和指数函数的性质。
  • 6.7.7 用自然对数和指数表示一般对数函数和指数函数。

我们已经在前面的章节中讨论过指数函数和对数。然而,之前的讨论忽略了一些关键细节。例如,我们没有研究指数为无理数时指数函数该如何处理。数 e 的定义也是之前尚未完全展开的内容。现在我们有了更严格地处理这些概念的工具,并将在本节中加以探讨。

在本节中,假设我们尚未定义自然对数、数 e,或与这些函数相关的任何积分和求导公式。在本节结束时,我们将以严格的数学方式重新审视这些概念(并且会看到它们与我们之前所学的一致)。

本节首先用积分来定义自然对数。这个定义构成了本节的基础。从这个定义出发,我们将推导出求导公式,定义数 e,e,,并将这些概念推广到任意底数的对数函数和指数函数。

作为积分的自然对数

回顾积分的幂法则:

∫xndx=xn+1n+1+C,n≠−1.∫xndx=xn+1n+1+C,n≠−1.

显然,当 n=−1,n=−1, 时此公式不适用,因为会导致除以零。那么 ∫1xdx?∫1xdx?该如何处理呢?回顾微积分基本定理,∫1x1tdt∫1x1tdt 是 1/x.1/x. 的一个原函数。因此,我们可以给出以下定义。

定义

对于 x>0,x>0,,自然对数函数定义为

lnx=∫1x1tdt.lnx=∫1x1tdt.
(6.24)

对于 x>1,x>1,,这只是曲线 y=1/ty=1/t 从 11 到 x.x. 下方的面积。对于 x<1,x<1,,我们有 ∫1x1tdt=−∫x11tdt,∫1x1tdt=−∫x11tdt,,因此此时它是曲线从 x到1x到1 下方面积的相反数(见下图)。

两个图。第一个是曲线 y=1/t,在第一象限递减,曲线下方有阴影区域,左侧以 x=1 为界,标记为 area=ln x。第二个是相同曲线 y=1/t,曲线下方有阴影区域,右侧以 x=1 为界,标记为 area=-ln x。
图 6.75 (a) 当 x>1,x>1, 时,自然对数是曲线 y=1/ty=1/t 从 1到x.1到x. 下方的面积。(b) 当 x<1,x<1, 时,自然对数是曲线从 xx 到 1.1. 下方面积的相反数。

注意 ln1=0.ln1=0.。此外,当 x>0.x>0. 时,函数 y=1/t>0y=1/t>0。因此,根据积分的性质,lnxlnx 在 x>0.x>0. 时显然是递增的。

自然对数的性质

由于自然对数的定义方式,根据微积分基本定理,以下求导公式可立即得到。

定理 6.15

自然对数的导数

对于 x>0,x>0,,自然对数的导数为

ddxlnx=1x.ddxlnx=1x.

定理 6.16

自然对数导数的推论

函数 lnxlnx 是可微的;因此,它是连续的。

lnxlnx 的图形如图 6.76 所示。注意它在定义域 (0,∞).(0,∞). 上是连续的。

图:递增曲线 f(x)=ln x,以 y 轴为渐近线,在 x=1 处与 x 轴相交。
图 6.76 f(x)=lnxf(x)=lnx 的图形表明它是连续函数。

例 6.35

计算自然对数的导数

计算以下导数:

  1. ddxln(5x3−2)ddxln(5x3−2)
  2. ddx(ln(3x))2ddx(ln(3x))2

解

两种情况都需要应用链式法则。

  1. ddxln(5x3−2)=15x25x3−2ddxln(5x3−2)=15x25x3−2
  2. ddx(ln(3x))2=2(ln(3x))·33x=2(ln(3x))xddx(ln(3x))2=2(ln(3x))·33x=2(ln(3x))x

检验点 6.35

计算以下导数:

  1. ddxln(2x2+x)ddxln(2x2+x)
  2. ddx(ln(x3))2ddx(ln(x3))2

注意,如果我们利用绝对值函数构造新函数 ln|x|,ln|x|,,就可以将自然对数的定义域扩展到 x<0.x<0.。那么 (d/(dx))ln|x|=1/x.(d/(dx))ln|x|=1/x.。由此得到我们熟悉的积分公式。

定理 6.17

(1/u) du 的积分

自然对数是函数 f(u)=1/u:f(u)=1/u: 的原函数。

∫1udu=ln|u|+C.∫1udu=ln|u|+C.

例 6.36

计算涉及自然对数的积分

计算积分 ∫xx2+4dx.∫xx2+4dx.。

解

使用 uu-换元法,令 u=x2+4.u=x2+4.。则 du=2xdxdu=2xdx,可得

∫ x x 2 + 4 d x = 1 2 ∫ 1 u d u = 1 2 ln | u | + C = 1 2 ln | x 2 + 4 | + C = 1 2 ln ( x 2 + 4 ) + C . ∫ x x 2 + 4 d x = 1 2 ∫ 1 u d u = 1 2 ln | u | + C = 1 2 ln | x 2 + 4 | + C = 1 2 ln ( x 2 + 4 ) + C .

检验点 6.36

计算积分 ∫x2x3+6dx.∫x2x3+6dx.。

尽管我们将这个函数称为”对数”,但尚未证明对数的任何性质对它成立。下面我们来证明。

定理 6.18

自然对数的性质

如果 a,b>0a,b>0 且 rr 是有理数,则

  1. ln1=0ln1=0
  2. ln(ab)=lna+lnbln(ab)=lna+lnb
  3. ln(ab)=lna−lnbln(ab)=lna−lnb
  4. ln(ar)=rlnaln(ar)=rlna

证明

i. 根据定义,ln1=∫111tdt=0.ln1=∫111tdt=0.

ii. 我们有

ln(ab)=∫1ab1tdt=∫1a1tdt+∫aab1tdt.ln(ab)=∫1ab1tdt=∫1a1tdt+∫aab1tdt.


对上式中最后一个积分使用 u-换元u-换元。令 u=t/a.u=t/a.。则 du=(1/a)dt.du=(1/a)dt.。此外,当 t=a,u=1,t=a,u=1, 时,以及当 t=ab,u=b.t=ab,u=b. 时。所以可得

ln(ab)=∫1a1tdt+∫aab1tdt=∫1a1tdt+∫aabat·1adt=∫1a1tdt+∫1b1udu=lna+lnb.ln(ab)=∫1a1tdt+∫aab1tdt=∫1a1tdt+∫aabat·1adt=∫1a1tdt+∫1b1udu=lna+lnb.

iv. 注意

ddxln(xr)=rxr−1xr=rx.ddxln(xr)=rxr−1xr=rx.


此外,

ddx(rlnx)=rx.ddx(rlnx)=rx.


由于这两个函数的导数相同,根据微积分基本定理,它们相差一个常数。因此

ln(xr)=rlnx+Cln(xr)=rlnx+C


对于某个常数 C.C.。取 x=1,x=1,,可得

ln(1r)=rln(1)+C0=r(0)+CC=0.ln(1r)=rln(1)+C0=r(0)+CC=0.


因此 ln(xr)=rlnxln(xr)=rlnx,证毕。注意,在本节后面我们可以将此性质推广到 rr 的无理数值。
第 iii 部分可由第 ii 和第 iv 部分推出,证明留作练习。

□

例 6.37

使用对数性质

利用对数性质将以下表达式化简为单个对数:

ln9−2ln3+ln(13).ln9−2ln3+ln(13).

解

我们有

ln 9 − 2 ln 3 + ln ( 1 3 ) = ln ( 3 2 ) − 2 ln 3 + ln ( 3 −1 ) = 2 ln 3 − 2 ln 3 − ln 3 = − ln 3 . ln 9 − 2 ln 3 + ln ( 1 3 ) = ln ( 3 2 ) − 2 ln 3 + ln ( 3 −1 ) = 2 ln 3 − 2 ln 3 − ln 3 = − ln 3 .

检验点 6.37

利用对数性质将以下表达式化简为单个对数:

ln8−ln2−ln(14).ln8−ln2−ln(14).

定义数 e

既然自然对数已经定义好了,我们就可以用它来定义数 e.e.。

定义

数 ee 定义为满足下式的实数:

lne=1.lne=1.

换句话说,曲线 y=1/ty=1/t 在 t=1t=1 和 t=et=e 之间的面积等于 11(图 6.77)。这样一个数的存在性和唯一性的证明留给读者。(提示:用介值定理证明存在性,并利用 lnxlnx 递增来证明唯一性。)

图:曲线 y=1/t,在第一象限递减。曲线下方有阴影区域,左侧以 x=1 为界,右侧以 x=e 为界,标记为 area=1。
图 6.77 曲线从 11 到 ee 下方的面积等于一。

数 ee 可以证明是无理数,尽管我们在此不予证明(参见 泰勒级数和麦克劳林级数 中的学生项目)。其近似值为

e≈2.71828182846.e≈2.71828182846.

指数函数

现在我们将注意力转向函数 ex.ex.。注意,自然对数是一一对应函数,因此有反函数。我们暂时将此反函数记为 expx.expx.。那么,

exp(lnx)=x当x>0和ln(expx)=x对所有x.exp(lnx)=x当x>0和ln(expx)=x对所有x.

下图给出了 expxexpx 和 lnx.lnx. 的图形。

图:三条曲线。第一条标记为 exp x,是递增曲线,以 x 轴为水平渐近线,在 y=1 处与 y 轴相交。第二条是穿过原点的对角线。第三条标记为 ln x,是递增曲线,以 y 轴为渐近线,在 x=1 处与 x 轴相交。
图 6.78 lnxlnx 和 expx.expx. 的图形

我们猜想 expx=ex.expx=ex.。对于 x,x, 的有理值,这一点容易证明。如果 xx 是有理数,则有 ln(ex)=xlne=x.ln(ex)=xlne=x.。因此,当 xx 是有理数时,ex=expx.ex=expx.。对于 x,x, 的无理值,我们直接将 exex 定义为 lnx.lnx. 的反函数。

定义

对于任意实数 x,x,,定义 y=exy=ex 为满足下式的数:

lny=ln(ex)=x.lny=ln(ex)=x.
(6.25)

那么对于所有 x,x,,我们有 ex=exp(x)ex=exp(x),于是

elnx=x当x>0和ln(ex)=xelnx=x当x>0和ln(ex)=x
(6.26)

对于所有 x.x.。

指数函数的性质

由于指数函数是由反函数定义的,而非直接用e,e,的幂来定义,我们必须验证指数的常用运算法则对函数ex.ex.仍然成立。

定理 6.19

指数函数的性质

如果pp和qq是任意实数,且rr是有理数,则

  1. epeq=ep+qepeq=ep+q
  2. epeq=ep−qepeq=ep−q
  3. (ep)r=epr(ep)r=epr

证明

注意,当pp和qq都是有理数时,这些性质显然成立。然而,如果pp或qq是无理数,则必须利用exex的反函数定义来加以验证。这里只验证第一个性质;其余两个留给读者。我们有

ln(epeq)=ln(ep)+ln(eq)=p+q=ln(ep+q).ln(epeq)=ln(ep)+ln(eq)=p+q=ln(ep+q).

由于lnxlnx是一一对应函数,则

epeq=ep+q.epeq=ep+q.

□

与对数性质的第 iv 部分类似,我们可以将性质 iii 推广到r,r,的无理数值,我们将在本节末尾完成这一推广。

我们还需要验证函数y=ex.y=ex.的求导公式。为此需要用到隐函数求导。设y=ex.y=ex.,则

lny=xddxlny=ddxx1ydydx=1dydx=y.lny=xddxlny=ddxx1ydydx=1dydx=y.

因此

ddxex=exddxex=ex

这正是我们所期望的,由此直接得到积分公式

∫exdx=ex+C.∫exdx=ex+C.

我们在以下例题中应用这些公式。

例 6.38

指数函数的性质应用

计算下列导数:

  1. ddte3tet2ddte3tet2
  2. ddxe3x2ddxe3x2

解

我们根据需要应用链式法则。

  1. ddte3tet2=ddte3t+t2=e3t+t2(3+2t)ddte3tet2=ddte3t+t2=e3t+t2(3+2t)
  2. ddxe3x2=e3x26xddxe3x2=e3x26x

检验点 6.38

计算下列导数:

  1. ddx(ex2e5x)ddx(ex2e5x)
  2. ddt(e2t)3ddt(e2t)3

例 6.39

指数函数的性质应用

计算下列积分:∫2xe−x2dx.∫2xe−x2dx.

解

使用uu换元法,设u=−x2.u=−x2.。则du=−2xdx,du=−2xdx,,可得

∫ 2 x e − x 2 d x = − ∫ e u d u = − e u + C = − e − x 2 + C . ∫ 2 x e − x 2 d x = − ∫ e u d u = − e u + C = − e − x 2 + C .

检验点 6.39

计算下列积分:∫4e3xdx.∫4e3xdx.

一般对数函数和指数函数

最后,我们考察以e.e.以外的数为底的指数函数和对数函数。指数函数是形如f(x)=ax.f(x)=ax.的函数。注意,除非a=e,a=e,,否则对于无理指数,我们仍缺少严格的数学定义。下面我们用指数函数ex.ex.来定义函数f(x)=axf(x)=ax来弥补这一不足。然后,我们考察以ee以外的数为底的对数函数,将其作为指数函数的反函数。

定义

对于任意a>0,a>0,以及任意实数x,x,,将y=axy=ax定义如下:

y=ax=exlna.y=ax=exlna.

现在,axax对于x的所有值都得到了严格定义。这个定义还使得我们能够将对数性质的第 iv 部分和指数函数性质的第 iii 部分推广到r.r.的有理值和无理值。不难验证,以这种方式定义的一般指数函数满足指数运算法则。

现在我们用这个定义来推导ax.ax.的导数公式。我们有

ddxax=ddxexlna=exlnalna=axlna.ddxax=ddxexlna=exlnalna=axlna.

相应的积分公式也随之而来。

定理 6.20

涉及一般指数函数的导数和积分

设a>0.a>0.,则

ddxax=axlnaddxax=axlna

且

∫axdx=1lnaax+C.∫axdx=1lnaax+C.

如果a≠1,a≠1,,则函数axax是一一对应函数且有反函数。其反函数记为logax.logax.。则

y=logax当且仅当x=ay.y=logax当且仅当x=ay.

注意,一般对数函数可以用自然对数来表示。设y=logax.y=logax.,则x=ay.x=ay.。对第二个方程两边取自然对数,可得

lnx=ln(ay) lnx = ylna y= lnxlna logax=lnxlna.lnx=ln(ay) lnx = ylna y= lnxlna logax=lnxlna.

因此,所有对数函数之间只相差一个常数倍。接下来,我们用这个公式来推导以a.a.为底的对数的导数公式。设y=logax.y=logax.,则

dydx=ddx(logax)=ddx(lnxlna)=(1lna)ddx(lnx)=1lna·1x=1xlna.dydx=ddx(logax)=ddx(lnxlna)=(1lna)ddx(lnx)=1lna·1x=1xlna.

定理 6.21

一般对数函数的导数

设a>0.a>0.,则

ddxlogax=1xlna.ddxlogax=1xlna.

例 6.40

计算一般指数函数和对数函数的导数

计算下列导数:

  1. ddt(4t·2t2)ddt(4t·2t2)
  2. ddxlog8(7x2+4)ddxlog8(7x2+4)

解

我们根据需要应用链式法则。

  1. ddt(4t·2t2)=ddt(22t·2t2)=ddt(22t+t2)=22t+t2ln(2)(2+2t)ddt(4t·2t2)=ddt(22t·2t2)=ddt(22t+t2)=22t+t2ln(2)(2+2t)
  2. ddxlog8(7x2+4)=1(7x2+4)(ln8)(14x)ddxlog8(7x2+4)=1(7x2+4)(ln8)(14x)

检验点 6.40

计算下列导数:

  1. ddt4t4ddt4t4
  2. ddxlog3(x2+1)ddxlog3(x2+1)

例 6.41

积分一般指数函数

计算下列积分:∫323xdx.∫323xdx.

解

使用u-换元u-换元,并设u=−3x.u=−3x.。则du=−3dxdu=−3dx,可得

∫ 3 2 3 x d x = ∫ 3 · 2 −3 x d x = − ∫ 2 u d u = − 1 ln 2 2 u + C = − 1 ln 2 2 −3 x + C . ∫ 3 2 3 x d x = ∫ 3 · 2 −3 x d x = − ∫ 2 u d u = − 1 ln 2 2 u + C = − 1 ln 2 2 −3 x + C .

检验点 6.41

计算下列积分:∫x22x3dx.∫x22x3dx.

第6.7节 练习

对于以下练习,求导数 dydx.dydx.

295.

y = ln ( 2 x ) y = ln ( 2 x )

296.

y = ln ( 2 x + 1 ) y = ln ( 2 x + 1 )

297.

y = 1 ln x y = 1 ln x

对于以下练习,求不定积分。

298.

∫ d t 3 t ∫ d t 3 t

299.

∫ d x 1 + x ∫ d x 1 + x

对于以下练习,求导数 dy/dx.dy/dx.(可用计算器绘制函数和导数的图形来验证结果)。

300.

[T] y=ln(x)xy=ln(x)x

301.

[T] y=xln(x)y=xln(x)

302.

[T] y=log10xy=log10x

303.

[T] y=ln(sinx)y=ln(sinx)

304.

[T] y=ln(lnx)y=ln(lnx)

305.

[T] y=7ln(4x)y=7ln(4x)

306.

[T] y=ln((4x)7)y=ln((4x)7)

307.

[T] y=ln(tanx)y=ln(tanx)

308.

[T] y=ln(tan(3x))y=ln(tan(3x))

309.

[T] y=ln(cos2x)y=ln(cos2x)

对于以下练习,求定积分或不定积分。

310.

∫ 0 1 d x 3 + x ∫ 0 1 d x 3 + x

311.

∫ 0 1 d t 3 + 2 t ∫ 0 1 d t 3 + 2 t

312.

∫ 0 2 x d x x 2 + 1 ∫ 0 2 x d x x 2 + 1

313.

∫ 0 2 x 3 d x x 2 + 1 ∫ 0 2 x 3 d x x 2 + 1

314.

∫ 2 e d x x ln x ∫ 2 e d x x ln x

315.

∫ 2 e d x x ( ln x ) 2 ∫ 2 e d x x ( ln x ) 2

316.

∫ cos x d x sin x ∫ cos x d x sin x

317.

∫ 0 π / 4 tan x d x ∫ 0 π / 4 tan x d x

318.

∫ cot ( 3 x ) d x ∫ cot ( 3 x ) d x

319.

∫ ( ln x ) 2 d x x ∫ ( ln x ) 2 d x x

对于以下练习,对 lny.lny. 求导,计算 dy/dxdy/dx

320.

y = x 2 + 1 y = x 2 + 1

321.

y = x 2 + 1 x 2 − 1 y = x 2 + 1 x 2 − 1

322.

y = e sin x y = e sin x

323.

y = x −1 / x y = x −1 / x

324.

y = e ( e x ) y = e ( e x )

325.

y = x e y = x e

326.

y = x ( e x ) y = x ( e x )

327.

y = x x 3 x 6 y = x x 3 x 6

328.

y = x −1 / ln x y = x −1 / ln x

329.

y = e − ln x y = e − ln x

对于以下练习,用任何方法计算。

330.

∫ 5 10 d t t − ∫ 5 x 10 x d t t ∫ 5 10 d t t − ∫ 5 x 10 x d t t

331.

∫ 1 e π d x x + ∫ −2 −1 d x x ∫ 1 e π d x x + ∫ −2 −1 d x x

332.

d d x ∫ x 1 d t t d d x ∫ x 1 d t t

333.

d d x ∫ x x 2 d t t d d x ∫ x x 2 d t t

334.

d d x ln ( sec x + tan x ) d d x ln ( sec x + tan x )

以下练习使用函数 lnx.lnx.。如果无法用解析方法求出交点,请使用计算器。

335.

求由 x=1x=1 和 y=5y=5 在 y=lnx.y=lnx. 上方围成的区域的面积。

336.

[T] 求 lnxlnx 从 x=1x=1 到 x=2.x=2. 的弧长。

337.

求 lnxlnx 与 x 轴之间从 x=1到x=2.x=1到x=2. 的面积。

338.

求该曲线从 x=1到x=2x=1到x=2 绕 x 轴旋转所得旋转体的体积,如下图所示。

图:由曲线 ln x 绕 x 轴旋转生成的曲面,在立方体内部显示三维形状。
339.

[T] 求上一个练习中的曲线从 x=1x=1 到 x=2x=2 绕 x 轴旋转所得旋转体的表面积。

如果无法用解析方法求出以下练习中的交点,请使用计算器。

340.

求由 x=2和y=2x=2和y=2 在 y=1/x.y=1/x. 上方围成的双曲四分之一圆的面积。

341.

[T] 求 y=1/xy=1/x 从 x=1到x=4.x=1到x=4. 的弧长。

342.

求 y=1/xy=1/x 下方且 x 轴上方从 x=1到x=4.x=1到x=4. 的面积。

对于以下练习,验证导数和原函数。

343.

d d x ln ( x + x 2 + 1 ) = 1 1 + x 2 d d x ln ( x + x 2 + 1 ) = 1 1 + x 2

344.

d d x ln ( x − a x + a ) = 2 a ( x 2 − a 2 ) d d x ln ( x − a x + a ) = 2 a ( x 2 − a 2 )

345.

d d x ln ( 1 + 1 − x 2 x ) = − 1 x 1 − x 2 d d x ln ( 1 + 1 − x 2 x ) = − 1 x 1 − x 2

346.

d d x ln ( x + x 2 − a 2 ) = 1 x 2 − a 2 d d x ln ( x + x 2 − a 2 ) = 1 x 2 − a 2

347.

∫ d x x ln ( x ) ln ( ln x ) = ln ( ln ( ln x ) ) + C ∫ d x x ln ( x ) ln ( ln x ) = ln ( ln ( ln x ) ) + C