【高等数学】一元积分学

定积分

定义

• $f(x)$ 在区间 $[a,b]$ 满足 $\exists A$
• $\forall \epsilon >0$, $\exists \lambda >0$,
• ∀ { x i } ⊂ [ a , b ] \forall \{x_i\}\subset[a,b] ∀{xi​}⊂[a,b], $a=x_0<x_1<\cdots <x_{n-1}<x_n=b$, max ⁡ i = 1 , ⋯   , n { ∣ x i − x i − 1 ∣ } < λ \max\limits_{i=1,\cdots,n}\{|x_i-x_{i-1}|\}<\lambda i=1,⋯,nmax​{∣xi​−xi−1​∣}<λ
• $\forall {\xi }_i\in [x_i,x_{i+1}],i=1,\cdots ,n$
• 有 $\left|{\sum }_{i=1}^{N}f({\xi }_i)(x_{i+1}-x_i)-A\right|<\epsilon$
• 称 $f$ 在 $[a,b]$ 上 可积, 记 $A={\int }_a^{b}f(x)dx$

可积函数性质

• 保线性 ${\int }_a^b[\alpha f(x)+\beta g(x)]dx=\alpha {\int }_a^{b}f(x)dx+\beta {\int }_a^{b}g(x)dx$
• 区间可加性 ${\int }_a^{b}f(x)dx={\int }_a^{c}f(x)dx+{\int }_c^{b}f(x)dx$
• 保号性 $f(x)\ge 0,x\in [a,b]$, 则 ${\int }_a^{b}f(x)dx\ge 0$
• 保序性 $f(x)\ge g(x),x\in [a,b]$, 则 ${\int }_a^{b}f(x)dx\ge {\int }_a^{b}g(x)dx$
• 绝对值不等式 $|{\int }_a^{b}f(x)dx|\le {\int }_a^b|f(x)|dx$
• 积分有界性 $f(x)$ 在 $[a,b]$ 上可积, 上界为 $M$ 下界为 $m$,则
  $(b-a)m\le {\int }_a^{b}f(x)dx\le (b-a)M$
• 严格保号性 非负连续函数, 不恒为 $0$, 则 ${\int }_a^{b}f(x)dx>0$
• 积分中值定理 $f(x)$ 在 $[a,b]$ 连续, 存在 $\xi \in (a,b)$, $f(\xi )(b-a)={\int }_a^{b}f(x)dx$
• 正定性 $f$在 $[a,b]$ 连续, ${\int }_a^b|f(x)|dx=0$, 则 $f(x)\equiv 0$

用定积分定义计算数列极限

• $\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^{n}f(\frac{i}{n})={\int }_0^{1}f(x)dx$

• $\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^{n}f(a+\frac{i}{n})={\int }_0^{1}f(a+x)dx$

• $\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^{n}f(a+\frac{i}{n}(b-a))={\int }_0^{1}f(a+x(b-a))dx=\frac{1}{b-a}{\int }_a^{b}f(z)dz$

可积的充分条件

• $f$ 在区间 $[a,b]$ 上连续则可积
• $f$ 在区间 $[a,b]$ 上单调有界则可积
• $f$ 在区间 $[a,b]$ 只有有限个第一类间断点则可积
• $f$ 在区间 $[a,b]$ 只有可数个第一类间断点则可积

定积分计算

奇函数在0点对称的区间上定积分为0

偶函数在0点对称的区间上定积分为单侧定积分的两倍

周期性

• ${\int }_0^{T}f(x)dx={\int }_a^{a+T}f(x)dx$

轴对称性 $f(x)=f(2a-x)$,

• ${\int }_{a-t}^{a+t}f(x)dx=2{\int }_a^{a+t}f(x)dx$.
• $a=0$ 时退化为偶函数

换元法积分上下限变化 ${\int }_a^{b}f(x(t))x^{\prime }(t)dt={\int }_{x(a)}^{x(b)}f(x)dx$

凑元法积分上下限不变 ${\int }_a^{b}f(x(t))x^{\prime }(t)dt={\int }_a^{b}f(x(t))dx(t)$

分部积分法 ${\int }_a^{b}f(x)dg(x)=f(x)g(x){|}_a^b-{\int }_a^{b}g(x)df(x)$

牛顿 - 莱布尼兹公式

• $f$ 的原函数是 $F$, $f$ 在 $[a,b]$上 可积, 则 ${\int }_a^{b}f(x)dx=F(b)-F(a)$
• 推论 $f^{\prime }$ 在 $[a,b]$上 可积, 则 ${\int }_a^b{f}^{\prime }(x)dx=f(b)-f(a)$
• 推论 $F(b)=F(a)+(b-a){\int }_0^{1}f(a+t(b-a))dt$

计算 ${\int }_{-1}^1{e}^{x}dx$

from sympy import *
from sympy.interactive import init_printing
init_printing(pretty_print=True) 
x,a=symbols('x,a',real=True)
integrate(exp(x),(x,-1,1)) 

$e-e^{-1}$

不定积分

计算方法

导数逆运算 $\int f^{\prime }(x)dx=f(x)+C$

第一换元法 $\int f(g(x))g^{\prime }(x)dx=F(g(x))+C$, $f(u)$有原函数 $F(u)$, $u=g(x)$

第二换元法 $\int f(x)dx=F({\psi }^{-1}(x))+C$,$f(\varphi (t)){\varphi }^{\prime }(t)$有原函数 $F(t)$, $x=\psi (t)$

• 换正弦 $\sqrt{a^2-x^2}$, $x=a\sin (t)$
• 换正切 $\sqrt{a^2+x^2}$, $x=a\tan (t)$
• 换正割 $\sqrt{x^2-a^2}$, $x=a\sec (t)$
• 换分式 $\sqrt{\frac{x-a}{x-b}}$, $t=\sqrt{\frac{x-a}{x-b}}$, $x=\frac{b{t}^2-a}{t^2-1}$
• 换倒数 $\frac{1}{x^2}f(\frac{1}{x})$, $t=\frac{1}{x}$

分部积分 $\int f(x)dg(x)=f(x)g(x)-\int g(x)df(x)$

• 反对幂三指
• 反对幂指三
• $\int \arcsin (x)dx=x\arcsin (x)-\int \frac{x}{\sqrt{1-x^2}}dx=x\arcsin (x)+\sqrt{1-x^2}$
• 形式变复杂，另选方向

有理函数分解成四种基本型

• 第一基本型 $\frac{c_0}{x-a}$
• 第二基本型 $\frac{c_1}{(x-a)}$, $\frac{c_2}{(x-a{)}^2}$, $\cdots$, $\frac{c_n}{(x-a{)}^n}$
• 第三基本型 ($p^2<4q$) $\frac{k_{0}x+b_0}{x^2+px+q}$,
• 第四基本型 ($p^2<4q$) $\frac{k_{1}x+b_1}{x^2+px+q}$,$\frac{k_{2}x+b_2}{(x^2+px+q{)}^2}$, $\cdots$, $\frac{k_{n}x+b_n}{(x+px+q{)}^n}$

计算 $e^x,\ln (x)$ 的不定积分

from sympy import *
from sympy.interactive import init_printing
init_printing(pretty_print=True) 
x,a=symbols('x,a',real=True)
f=[exp, log]
[integrate(f[i](x),x)  for i in range(2)]   

$[\exp (x),x\log (x)-x]$

反常积分

无穷积分

无穷积分 ${\int }_a^{\infty }f(x)dx=\underset{b\to \infty }{\lim }{\int }_a^{b}f(x)dx$ 如果上述极限存在, 称无穷积分收敛； 否则称无穷积分发散

• $I(a)={\int }_1^{\infty }\frac{1}{x^a}dx=-\frac{1}{a}\frac{1}{x^{a-1}}{|}_a^{\infty }$, $a\ne 1$
  $I(1)={\int }_1^{\infty }\frac{1}{x}dx=\ln (x){|}_1^{\infty }$
  当 $a>1$ 无穷积分 $I(a)$ 收敛; 当 $a\le 1$, $I(a)$ 无穷积分发散

计算无穷积分 ${\int }_{-\infty }^{\infty }{e}^{-x^2}dx$

from sympy import *
from sympy.interactive import init_printing
init_printing(pretty_print=True) 
x,a=symbols('x,a',real=True)
f=exp(-x**2)
integrate(f,(x,-oo,oo))

$\sqrt{\pi }$

定义 ${\int }_{-\infty }^{\infty }f(x)dx=\underset{a\to -\infty }{\lim }{\int }_a^{c}f(x)dx+\underset{b\to +\infty }{\lim }{\int }_c^{b}f(x)dx$ 右侧两个极限都存在，称无穷积分收敛；否则称无穷积分发散

敛散性的判别法

比较判别法* $f(x),g(x)$, 连续函数 $g(x)\ge f(x)\ge 0$

• 当 ${\int }_a^{\infty }g(x)dx$ 收敛, 则 ${\int }_a^{\infty }f(x)dx$ 收敛
• 当 ${\int }_a^{\infty }f(x)dx$ 发散, 则 ${\int }_a^{\infty }f(x)dx$ 发散

柯西判别法 $\underset{x\to +\infty }{\lim }{x}^p|f(x)|=l$

• $l\in [0,+\infty )$, $p>1$, ${\int }_a^{\infty }|f(x)|dx$ 收敛
• $l\in (0,+\infty ]$, $p\le 1$, ${\int }_a^{\infty }|f(x)|dx$ 发散

条件收敛 v.s. 绝对收敛

若 ${\int }_a^{\infty }|f(x)|dx$ 收敛称反常积分绝对收敛

若 ${\int }_a^{\infty }|f(x)|dx$ 发散， 但 ${\int }_a^{\infty }f(x)dx$ 收敛，称反常积分条件收敛

反常积分绝对收敛可以推出反常积分收敛, 反之不然

瑕积分

瑕点: 如果 $\underset{x\to x_0^{+}}{\lim }f(x)=\infty$, 称 $x_0$ 为一个瑕点

• 瑕积分: ${\int }_{x_0}^{b}f(x)dx=\underset{a\to x_0}{\lim }{\int }_a^{b}f(x)dx$
  当极限存在时, 称瑕积分收敛, 其中 $x_0$ 是 $[x_0,b]$ 上的唯一瑕点

• 瑕积分: $x_0\in [a,b]$ 是唯一瑕点, ${\int }_a^{b}f(x)dx=\underset{c\to x_0^{-}}{\lim }{\int }_a^{c}f(x)dx+\underset{d\to x_0^{+}}{\lim }{\int }_d^{b}f(x)dx$,
  当右侧两个极限都存在时, 称瑕积分收敛

• $I(a)={\int }_0^1\frac{1}{x^a}dx=-\frac{1}{a}\frac{1}{x^{a-1}}{|}_0^1$, $a\ne 1$
  $I(1)={\int }_0^1\frac{1}{x}dx=\ln (x){|}_0^1$
  当 $a\ge 1$, 瑕积分 $I(a)$ 发散; 当 $a<1$, $I(a)$ 收敛

柯西判别法 $x_0$ 是$[x_0,b]$上唯一瑕点 $\underset{x\to x_0^{+}}{\lim }(x-x_0{)}^a|f(x)|=l$

• $l\in [0,+\infty )$, $p<1$, ${\int }_{x_0}^b|f(x)|dx$ 收敛
• $l\in (0,+\infty ]$, $p\ge 1$, ${\int }_{x_0}^b|f(x)|dx$ 发散
  计算瑕积分${\int }_0^1\frac{1}{x^2}dx$

from sympy import *
from sympy.interactive import init_printing
init_printing(pretty_print=True) 
x,a=symbols('x,a',real=True)
integrate(1/x**(1/2),(x,0,1))

$2$

混合型反常积分

• 混合型反常积分 $x_0\in [a,+\infty )$ 是唯一瑕点 ${\int }_{x_0}^{\infty }f(x)dx=\underset{a\to x_0^{+}}{\lim }{\int }_a^{c}f(x)dx+\underset{b\to +\infty }{\lim }{\int }_c^{b}f(x)dx$，
  当右侧两个极限都存在时称混合型反常积分收敛; 否则成为发散

范数不等式

• p>q 则 $({\sum }_{i=1}^n{x}_i^p{)}^{\frac{1}{p}}\le ({\sum }_{i=1}^n{x}_i^q{)}^{\frac{1}{q}}$, 当且仅当 $x_1=x_2=\cdots =x_n$ 等号成立

• p>q 则 $({\int }_a^{b}f(x{)}^{p}dx{)}^{\frac{1}{p}}\le ({\int }_a^{b}f(x{)}^q{)}^{\frac{1}{q}dx}$, 当且仅当 $f(x)\equiv c,a.e.x\in [a,b]$ 等号成立

均值不等式

• p>q 则 $(\frac{{\sum }_{i=1}^n{x}_i^p}{n}{)}^{\frac{1}{p}}\ge (\frac{{\sum }_{i=1}^n{x}_i^q}{n}{)}^{\frac{1}{q}}$, 当且仅当 $x_1=x_2=\cdots =x_n$ 等号成立

• p>q 则 $(\frac{{\int }_a^{b}f(x{)}^{p}dx}{b-a}{)}^{\frac{1}{p}}\ge (\frac{{\int }_a^{b}f(x{)}^{q}dx}{b-a}{)}^{\frac{1}{q}}$, 当且仅当 $f(x)\equiv c,a.e.x\in [a,b]$ 等号成立