1.1.原函数存在性定理
  • (1)连续函数 f ( x ) f(x) f(x)必有原函数
  • (2)含有第一类间断点,无穷间断点的函数f(x)在包含该间断点的区间内必没有原函数

连续函数一定存在原函数,反之是不对的
有第一类间断点的函数一定不存在原函数,但有第二类间断点的函数可能有原函数,如: F ( x ) = { x 2 sin ⁡ 1 x , x ≠ 0 0 , x = 0 F(x)=\left\{\begin{array}{cc}x^{2} \sin \frac{1}{x}, & x \neq 0 \\ 0, & x=0\end{array}\right. F(x)={x2sinx1,0,x=0x=0 f ( x ) = { 2 x sin ⁡ 1 x − cos ⁡ 1 x , x ≠ 0 0 , x = 0 f(x)=\left\{\begin{aligned} 2 x \sin \frac{1}{x}-\cos \frac{1}{x}, & x \neq 0 \\ 0, & x=0 \end{aligned}\right. f(x)=2xsinx1cosx1,0,x=0x=0,显然有 F ′ ( x ) = f ( x ) F^{\prime}(x)=f(x) F(x)=f(x),但 x = 0 x=0 x=0 f ( x ) f(x) f(x)的第二类间断点

1.2.定积分存在性充分条件
  • (1)若 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]上连续,则 ∫ a b f ( x ) d x \int_{a}^{b} f(x) d x abf(x)dx存在。
  • (2)若 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]上单增,则 ∫ a b f ( x ) d x \int_{a}^{b} f(x) d x abf(x)dx存在。
  • (3)若 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]上有界,且只有有限个间断点,则 ∫ a b f ( x ) d x \int_{a}^{b} f(x) d x abf(x)dx存在。
1.3.定积分存在性必要条件
1.4.变限积分的性质
  • 函数 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]上可积,则函数 F ( x ) = ∫ a x f ( t ) d t F(x)=\int_{a}^{x} f(t) \mathrm{d} t F(x)=axf(t)dt [ a , b ] [a,b] [a,b]上连续。
  • 函数 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]上连续,则函数 F ( x ) = ∫ a x f ( t ) d t F(x)=\int_{a}^{x} f(t) \mathrm{d} t F(x)=axf(t)dt [ a , b ] [a,b] [a,b]上可导。
1.5.变上限积分函数

f ( x ) f(x) f(x)连续或有有限个第一类间断点,令 F ( x ) = ∫ a x f ( t ) d t F(x)=\int_{a}^{x} f(t) \mathrm{d} t F(x)=axf(t)dt,则:当 x 0 x_0 x0 f ( x ) f(x) f(x)的第一类间断点时, F ( x ) F(x) F(x) x = x 0 x=x_0 x=x0处连续;当 x 0 x_0 x0 f ( x ) f(x) f(x)的连续点时, F ( x ) F(x) F(x) x = x 0 x=x_{0} x=x0处可导。

1.6.可积函数与原函数不同

f ( x ) = { ln ⁡ ( 1 + x ) , x > 0 e x , x ⩽ 0 f(x)=\left\{\begin{aligned} \ln (1+x), & x>0 \\ e^{x}, & x \leqslant 0 \end{aligned}\right. f(x)={ln(1+x),ex,x>0x0,显然 f ( x ) f(x) f(x) [ − 1 , 1 ] [-1,1] [1,1]上可积,且

∫ − 1 1 f ( x ) d x = ∫ − 1 0 e x d x + ∫ 0 1 ln ⁡ ( 1 + x ) d x = 1 − e − 1 + x ln ⁡ ( 1 + x ) ∣ 0 1 − ∫ 0 1 x 1 + x d x = 1 − e − 1 + ln ⁡ 2 − ∫ 0 1 ( 1 − 1 1 + x ) d x = 2 ln ⁡ 2 − 1 e \begin{aligned} \int_{-1}^{1} f(x) \mathrm{d} x &=\int_{-1}^{0} \mathrm{e}^{x} \mathrm{d} x+\int_{0}^{1} \ln (1+x) \mathrm{d} x=1-\mathrm{e}^{-1}+\left.x \ln (1+x)\right|_{0} ^{1}-\int_{0}^{1} \frac{x}{1+x} \mathrm{d} x \\ &=1-\mathrm{e}^{-1}+\ln 2-\int_{0}^{1}\left(1-\frac{1}{1+x}\right) \mathrm{d} x=2 \ln 2-\frac{1}{\mathrm{e}} \end{aligned} 11f(x)dx=10exdx+01ln(1+x)dx=1e1+xln(1+x)01011+xxdx=1e1+ln201(11+x1)dx=2ln2e1

Logo

开放原子开发者工作坊旨在鼓励更多人参与开源活动,与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动,如meetup、训练营等,主打技术交流,干货满满,真诚地邀请各位开发者共同参与!

更多推荐