From 509702020e5ab6835529e30e208a197dce97efb7 Mon Sep 17 00:00:00 2001 From: Didnelpsun <48906416+Didnelpsun@users.noreply.github.com> Date: Sun, 31 Jan 2021 22:41:18 +0800 Subject: [PATCH] =?UTF-8?q?=E9=87=8D=E6=96=B0=E6=A0=B9=E6=8D=AE=E5=90=8C?= =?UTF-8?q?=E6=B5=8E=E7=89=88=E6=95=99=E7=A8=8B=E6=95=B4=E7=90=86?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../{1-perpare => 0-perpare}/perpare.tex | 190 +-- .../function-and-limit.tex | 1061 +++++++++++++++++ .../numer-series-and-limit.tex | 204 ---- ...heorem-and-applications-of-derivatives.tex | 445 +++++++ .../function-and-limit.tex | 826 ------------- ...ariable-function-differential-calculus.tex | 2 +- model/model.tex | 1 + 7 files changed, 1509 insertions(+), 1220 deletions(-) rename advanced-math/{1-perpare => 0-perpare}/perpare.tex (85%) create mode 100644 advanced-math/1-function-and-limit/function-and-limit.tex create mode 100644 advanced-math/3-differential-mean-value-theorem-and-applications-of-derivatives/differential-mean-value-theorem-and-applications-of-derivatives.tex delete mode 100644 advanced-math/3-function-and-limit/function-and-limit.tex diff --git a/advanced-math/1-perpare/perpare.tex b/advanced-math/0-perpare/perpare.tex similarity index 85% rename from advanced-math/1-perpare/perpare.tex rename to advanced-math/0-perpare/perpare.tex index 900073a..1963152 100644 --- a/advanced-math/1-perpare/perpare.tex +++ b/advanced-math/0-perpare/perpare.tex @@ -35,201 +35,13 @@ \arraystretch{1.5} % 表格高1.5倍 \maketitle +\pagestyle{empty} \thispagestyle{empty} \tableofcontents \thispagestyle{empty} \newpage \pagestyle{plain} \setcounter{page}{1} -\section{函数的概念与特性} -\subsection{函数} -\begin{itemize} - \item 函数即$y=f(x),x\in D$，x为自变量，y为因变量，D为定义域 - \item 一个x对应一个y，一个y可能对应多个x。 -\end{itemize} -\subsection{反函数} -$y=f(x)$，定义域为$D$，值域为$R$，若对于每一个$y\in R$，必然存在$x\in D$使$y=f(x)$成立，则可以定义一个新函数$x=\psi(y)$，这个函数就是$y=f(x)$的\textbf{反函数}，一般记作$x=f^{-1}(y)$，其定义域为$R$，值域为$D$，对于反函数，原来的函数称为\textbf{直接函数}。 -\begin{enumerate} - \item \textcolor{red}{严格单调}函数必然有反函数，即函数导数恒正或恒负必然有反函数。 - \item $x=f^{-1}(y)$与$y=f(x)$在同一坐标系中完全重合。 - \item $y=f^{-1}(x)$与$y=f(x)$关于$y=x$对称。 - \item $f[f^{-1}(x)]$或$f[\psi(x)]$变为x，称为湮灭。 -\end{enumerate} -\subsection{复合函数} -设$y=f(u)$的定义域为$D_1$，函数$u=g(x)$在$D$上有定义且$g(D)\in D$，则由$y=f[g(x)],x\in D$确定的函数称为由函数$u=g(x)$和函数$y=f(u)$构成的复合函数，定义域为D，u为中间变量。 - -\textbf{例题1：}设$f(x)=x^2$，$f[\psi(x)]=-x^2+2x+3$，且$\psi(x)\geqslant 0$，求$\psi(x)$以及定义域与值域。 - -广义化：$\because f(x)=x^2$，$\therefore f[\psi(x)]=\psi^2(x)=-x^2+2x+3$ - -又$\because\psi(x)\geqslant 0$， $\therefore\sqrt{\psi^2(x)}=\sqrt{-x^2+2x+3}=\psi(x)\geqslant 0$ - -$\therefore x\in[-1,3]$ - -$\therefore\dfrac{\rm{d}\psi(x)}{\rm{d}x}=(-x^2+2x+3)'=-2x+2=0$ - -$\therefore x=1$，驻点为1 - -又$\because(-x^2+2x+3)''=-2<0$ - -$\therefore$驻点为1时为最大值点，最大值为$\psi(1)=2$ - -又$\because\psi(-1)=\psi(3)=0$，$\therefore$最小值为0 - -$\therefore\psi(x)\in[0,2]$ - -\textcolor{orange}{注意}：$\sqrt{-x^2+2x+3}$为什么最值与$-x^2+2x+3$一致？ - -\textbf{例题2：}求函数$y=f(x)=\ln(x+\sqrt{x^2+1})$的反函数$f^{-1}(x)$的表达式及其定义域 - -首先研究$f(x)$本身，因为$\ln(x)$的定义域必然要求大于0，而任意实数x都有下面不等式成立： - -$x+\sqrt{x^2+1}>x+\vert x\vert \geqslant 0$，所以$x\in R$。 - -而研究其奇偶性： - -$f(-x)=\ln(-x+\sqrt{x^2+1})=\ln(\dfrac{1}{\sqrt{x^2+1}+x})=-\ln(x+\sqrt{x^2+1})=-f(x)$ - -所以该函数为奇函数。 - -对其求单调性，即通过链式法则求导： - -$\dfrac{\rm{d}y}{\rm{d}x}=\dfrac{1}{x+\sqrt{x^2+1}}\cdot (1+\dfrac{2x}{2\sqrt{x^2+1}})=\dfrac{1}{\sqrt{x^2+1}}>0$ - -所以该函数严格单调增。 - -然后求$y$的反函数： - -$$ - \begin{aligned} - \because y & =\ln(x+\sqrt{x^2+1}) \\ - e^y & =e^{\ln(x+\sqrt{x^2+1})} \\ - & =x+\sqrt{x^2+1} - \end{aligned} -$$ - -$$ - \begin{aligned} - \because -y & =-\ln(x+\sqrt{x^2+1}) \\ - & =\ln(\dfrac{1}{x+\sqrt{x^2+1}}) \\ - & =\ln(\sqrt{x^2+1}-x) \\ - e^{-y} & =\sqrt{x^2+1}-x - \end{aligned} -$$ - -$$ - \begin{aligned} - \therefore e^y-e^{-y} & =2x \\ - x & =\dfrac{e^y-e^{-y}}{2} - \end{aligned} -$$ - -解出了用x表示y的函数表达$x=f^{-1}(y)$，即反函数，则$f^{-1}(x)=\dfrac{e^x-e^{-x}}{2}$ - -这种曲线为一种常见曲线： - -\begin{itemize} - \item $\dfrac{e^x-e^{-x}}{2}$：双曲正弦。 - \item $\dfrac{e^x+e^{-x}}{2}$：双曲余弦。（为一种悬链线） - \item $\ln(x+\sqrt{x^2+1})$：反双曲正弦。 - \item $\ln(x+\sqrt{x^2-1})$：反双曲余弦。 -\end{itemize} - -\textbf{例题3：}设$ - f(x)=\left\{ - \begin{array}{lcl} - \ln\sqrt{x}, & & x\geqslant 1 \\ - 2x-1, & & x< 1 - \end{array} - \right. -$，求$f[f(x)]$ - -首先广义化：$ - f[f(x)]=\left\{ - \begin{array}{lcl} - \ln\sqrt{f(x)}, & & f(x)\geqslant 1 \\ - 2f(x)-1, & & x<1 - \end{array} - \right. -$ - -然后画图：\bigskip - -\begin{tikzpicture}[domain=-1:9.5] - \draw[-latex](-1.5,0) -- (9.5,0) node[below]{$x$}; - \draw[-latex](0,-1.5) -- (0, 1.5) node[above]{$y$}; - \draw[very thin, gray, densely dashed](-1.5,1.5)grid(9.5,-1.5); - \draw[black, thick](-0.25,-1.5) -- (1,1); - \draw[black, thick,domain=1:9.5] plot (\x, {ln(sqrt(\x))}); - \draw[blue, densely dashed](-1.5,1) -- (9.5,1) node[below]{$x=1$}; - \filldraw[black] (1,1) circle (2pt) node[above]{$(1,1)$}; - \filldraw[black] (e^2,1) circle (2pt) node[above]{$(e^2,1)$}; - \draw[densely dashed](1,1) -- (1, 0) node[below]{$1$}; - \draw[densely dashed](e^2,1) -- (e^2,0) node[below]{$e^2$}; - \filldraw[black] (0,0) node[below]{$O$}; -\end{tikzpicture} - -所以将定义域分为三段：$[-\infty ,1],[1,e^2],[e^2, +\infty]$，然后根据不同定义域对应的不同函数再代回$f[f(x)]$： - -$$ - f[f(x)]=\left\{ - \begin{array}{lcl} - \ln\sqrt{\ln\sqrt{x}}, & & x\geqslant e^2 \\ - \ln x-2, & & 1\geqslant x0 & \Rightarrow & (x_1-x_2)[f(x_1)-f(x_2)]>0 & \Rightarrow & f(x)\nearrow \\ - \dfrac{\rm{d}y}{\rm{d}x}<0 & \Rightarrow & (x_1-x_2)[f(x_1)-f(x_2)]<0 & \Rightarrow & f(x)\searrow - \end{matrix} -$ - -\subsection{奇偶性} - -\begin{enumerate} - \item 奇函数：关于原点对称，$f(-x)=-f(x)$。 - \item 偶函数：关于y轴对称，$f(-x)=f(x)$。 - \item 对于定义在$[-l,l]$上的任意函数$f(x)$，$F_1(x)=f(x)-f(-x)$必为奇函数，$F_2(x)=f(x)+f(-x)$必为偶函数。可以参考上面所说的双曲正弦与双曲余弦函数。 - \item 若奇函数在0处有定义，那么$f(0)=0$。 - \item 若偶函数在0处存在导数，那么$f'(0)=0$，即x=0，曲线必然水平，即导数为0。 - \item 若函数$y=f(x)$的函数关于直线$x=T$对称的充分必要条件是$f(x)=f(2T-x)/f(x+T)=f(x-T)$。（令$T-x=t$进行换元计算得到） -\end{enumerate} - -\textcolor{orange}{注意}：0和1处的函数定义应该注意。 - -如当a为0时：$f(b)-f(a)=f'(\xi )(b-a)=f(b)=bf'(\xi)$ - -如$f(x)>xf(1)$变形为$\dfrac{f(x)}{x}>f(1)$，辅助函数$F(x)=\dfrac{f(x)}{x}$ - -所以加减法警惕0，乘除法警惕1。 - -\subsection{周期性} - -$f(x+T)=f(x)$，其中T为周期。 \bigskip - -\textcolor{red}{重要结论：} - -\begin{enumerate} - \item 若$f(x)$为可导的偶函数，则$f'(x)$为奇函数。（1.4.1.1） - \item 若$f(x)$为可导的奇函数，则$f'(x)$为偶函数。（1.4.1.2） - \item 若$f(x)$为周期函数，则$f'(x)$也为周期函数且周期不变。（1.4.2） - \item 连续的奇函数的一切原函数都是偶函数。（1.8.6） - \item 连续的偶函数的原函数中仅有一个原函数是奇函数。（1.8.6） - \item 若连续函数$f(x)$以T为周期且$\int_{0}^{T}f(x)\rm{d}x=0$，则$f(x)$的一切原函数也以T为周期。（1.8.8） - \item 若$f(x)$在有限区间$(a,b)$中可导且$f'(x)$有界，则$f(x)$在$(a,b)$有界。（某一函数在固定区间内变化率是有界的，则变化范围是有界的） -\end{enumerate} - \section{函数的图像} \subsection{直角坐标系图像} \subsubsection{常见图像} diff --git a/advanced-math/1-function-and-limit/function-and-limit.tex b/advanced-math/1-function-and-limit/function-and-limit.tex new file mode 100644 index 0000000..90922de --- /dev/null +++ b/advanced-math/1-function-and-limit/function-and-limit.tex @@ -0,0 +1,1061 @@ +\documentclass[UTF8, 12pt]{ctexart} +\usepackage{xcolor} +% 使用颜色 +\definecolor{orange}{RGB}{255,127,0} +\definecolor{violet}{RGB}{192,0,255} +\definecolor{aqua}{RGB}{0,255,255} +\usepackage{geometry} +\setcounter{tocdepth}{5} +\setcounter{secnumdepth}{5} +% 设置四级目录与标题 +\geometry{papersize={21cm,29.7cm}} +% 默认大小为A4 +\geometry{left=3.18cm,right=3.18cm,top=2.54cm,bottom=2.54cm} +% 默认页边距为1英尺与1.25英尺 +\usepackage{indentfirst} +\setlength{\parindent}{2.45em} +% 首行缩进2个中文字符 +\usepackage{amssymb} +% 因为所以与其他数学拓展 +\usepackage{amsmath} +% 数学公式 +\usepackage{setspace} +\renewcommand{\baselinestretch}{1.5} +% 1.5倍行距 +\usepackage{pifont} +% 圆圈序号 +\usepackage{tikz} +% 绘图 +\usepackage{mathtools} +% 有字的长箭头 +\usepackage{array} +% 设置表格行距 +\usepackage{hyperref} +% 超链接 +\author{Didnelpsun} +\title{函数与极限} +\date{} +\begin{document} +\renewcommand{\arraystretch}{1.5} +% 表格高1.5倍 +\maketitle +\pagestyle{empty} +\thispagestyle{empty} +\tableofcontents +\thispagestyle{empty} +\newpage +\pagestyle{plain} +\setcounter{page}{1} +\section{映射与函数} +\subsection{邻域} +\subsubsection{一维} + +邻域\textcolor{violet}{\textbf{定义：}}以点$x_0$为中心的任何开区间为点$x_0$的邻域，记为$U(x_0)$。 + +$\delta$邻域\textcolor{violet}{\textbf{定义：}}设$\delta$为一正数，则称开区间$(x_0-\delta,x_0+\delta)$为点$x_0$的$\delta$邻域，记作$U(x_0,\delta)$。$x_0$称为邻域的中心，$\delta$为邻域的半径。 + +去心$\delta$邻域就是去除$x_0$的$\delta$邻域，记为$\mathring{U}(x_0,\delta)$，左$\delta$邻域就是左侧的去心$\delta$邻域，记为$U^+(x_0,\delta)$，右$\delta$邻域就是右侧的去心$\delta$邻域，记为$U^-(x_0,\delta)$。 + +\subsubsection{二维} + +邻域\textcolor{violet}{\textbf{定义：}}设点$P_0(x_0,y_0)$为$xOy$平面上的一点，$\delta$为某一个正数，与点$P_0(x_0,y_0)$的距离小于$\delta$的点$P(x,y)$的全体，称为点$P_0$的$\delta$邻域，记为$U(P_0,\delta)$。 + +同理可以得到去心$\delta$邻域的定义。 + +$\delta$邻域的几何意义：以$P_0(x_0,y_0)$为中心，以$\delta>0$为半径的圆内部所有的点。 + +函数的邻域就是一个区间，所以比如函数在某点的某邻域内有定义，就是说明函数在这个点的附近有定义，这个附近的距离没有必要说明。 + +\subsection{函数的概念} +\subsubsection{函数} +\begin{itemize} + \item 函数即$y=f(x),x\in D$，x为自变量，y为因变量，D为定义域 + \item 一个x对应一个y，一个y可能对应多个x。 +\end{itemize} +\subsubsection{反函数} +$y=f(x)$，定义域为$D$，值域为$R$，若对于每一个$y\in R$，必然存在$x\in D$使$y=f(x)$成立，则可以定义一个新函数$x=\psi(y)$，这个函数就是$y=f(x)$的\textbf{反函数}，一般记作$x=f^{-1}(y)$，其定义域为$R$，值域为$D$，对于反函数，原来的函数称为\textbf{直接函数}。 +\begin{enumerate} + \item \textcolor{red}{严格单调}函数必然有反函数，即函数导数恒正或恒负必然有反函数。 + \item $x=f^{-1}(y)$与$y=f(x)$在同一坐标系中完全重合。 + \item $y=f^{-1}(x)$与$y=f(x)$关于$y=x$对称。 + \item $f[f^{-1}(x)]$或$f[\psi(x)]$变为x，称为湮灭。 +\end{enumerate} +\subsubsection{复合函数} +设$y=f(u)$的定义域为$D_1$，函数$u=g(x)$在$D$上有定义且$g(D)\in D$，则由$y=f[g(x)],x\in D$确定的函数称为由函数$u=g(x)$和函数$y=f(u)$构成的复合函数，定义域为D，u为中间变量。 + +\textbf{例题：}设$f(x)=x^2$，$f[\psi(x)]=-x^2+2x+3$，且$\psi(x)\geqslant 0$，求$\psi(x)$以及定义域与值域。 + +广义化：$\because f(x)=x^2$，$\therefore f[\psi(x)]=\psi^2(x)=-x^2+2x+3$ + +又$\because\psi(x)\geqslant 0$， $\therefore\sqrt{\psi^2(x)}=\sqrt{-x^2+2x+3}=\psi(x)\geqslant 0$ + +$\therefore x\in[-1,3]$ + +$\therefore\dfrac{\rm{d}\psi(x)}{\rm{d}x}=(-x^2+2x+3)'=-2x+2=0$ + +$\therefore x=1$，驻点为1 + +又$\because(-x^2+2x+3)''=-2<0$ + +$\therefore$驻点为1时为最大值点，最大值为$\psi(1)=2$ + +又$\because\psi(-1)=\psi(3)=0$，$\therefore$最小值为0 + +$\therefore\psi(x)\in[0,2]$ + +\textcolor{orange}{注意}：$\sqrt{-x^2+2x+3}$为什么最值与$-x^2+2x+3$一致？ + +\textbf{例题：}求函数$y=f(x)=\ln(x+\sqrt{x^2+1})$的反函数$f^{-1}(x)$的表达式及其定义域 + +首先研究$f(x)$本身，因为$\ln(x)$的定义域必然要求大于0，而任意实数x都有下面不等式成立： + +$x+\sqrt{x^2+1}>x+\vert x\vert \geqslant 0$，所以$x\in R$。 + +而研究其奇偶性： + +$f(-x)=\ln(-x+\sqrt{x^2+1})=\ln(\dfrac{1}{\sqrt{x^2+1}+x})=-\ln(x+\sqrt{x^2+1})=-f(x)$ + +所以该函数为奇函数。 + +对其求单调性，即通过链式法则求导： + +$\dfrac{\rm{d}y}{\rm{d}x}=\dfrac{1}{x+\sqrt{x^2+1}}\cdot (1+\dfrac{2x}{2\sqrt{x^2+1}})=\dfrac{1}{\sqrt{x^2+1}}>0$ + +所以该函数严格单调增。 + +然后求$y$的反函数： + +$ + \begin{aligned} + \because y & =\ln(x+\sqrt{x^2+1}) \\ + e^y & =e^{\ln(x+\sqrt{x^2+1})} \\ + & =x+\sqrt{x^2+1} + \end{aligned} +$ + +$ + \begin{aligned} + \because -y & =-\ln(x+\sqrt{x^2+1}) \\ + & =\ln(\dfrac{1}{x+\sqrt{x^2+1}}) \\ + & =\ln(\sqrt{x^2+1}-x) \\ + e^{-y} & =\sqrt{x^2+1}-x + \end{aligned} +$ + +$ + \begin{aligned} + \therefore e^y-e^{-y} & =2x \\ + x & =\dfrac{e^y-e^{-y}}{2} + \end{aligned} +$ + +解出了用x表示y的函数表达$x=f^{-1}(y)$，即反函数，则$f^{-1}(x)=\dfrac{e^x-e^{-x}}{2}$ + +这种曲线为一种常见曲线： + +\begin{itemize} + \item $\dfrac{e^x-e^{-x}}{2}$：双曲正弦。 + \item $\dfrac{e^x+e^{-x}}{2}$：双曲余弦。（为一种悬链线） + \item $\ln(x+\sqrt{x^2+1})$：反双曲正弦。 + \item $\ln(x+\sqrt{x^2-1})$：反双曲余弦。 +\end{itemize} + +\textbf{例题3：}设$ + f(x)=\left\{ + \begin{array}{lcl} + \ln\sqrt{x}, & & x\geqslant 1 \\ + 2x-1, & & x< 1 + \end{array} + \right. +$，求$f[f(x)]$ + +首先广义化：$ + f[f(x)]=\left\{ + \begin{array}{lcl} + \ln\sqrt{f(x)}, & & f(x)\geqslant 1 \\ + 2f(x)-1, & & x<1 + \end{array} + \right. +$ + +然后画图：\bigskip + +\begin{tikzpicture}[domain=-1:9.5] + \draw[-latex](-1.5,0) -- (9.5,0) node[below]{$x$}; + \draw[-latex](0,-1.5) -- (0, 1.5) node[above]{$y$}; + \draw[very thin, gray, densely dashed](-1.5,1.5)grid(9.5,-1.5); + \draw[black, thick](-0.25,-1.5) -- (1,1); + \draw[black, thick,domain=1:9.5] plot (\x, {ln(sqrt(\x))}); + \draw[blue, densely dashed](-1.5,1) -- (9.5,1) node[below]{$x=1$}; + \filldraw[black] (1,1) circle (2pt) node[above]{$(1,1)$}; + \filldraw[black] (e^2,1) circle (2pt) node[above]{$(e^2,1)$}; + \draw[densely dashed](1,1) -- (1, 0) node[below]{$1$}; + \draw[densely dashed](e^2,1) -- (e^2,0) node[below]{$e^2$}; + \filldraw[black] (0,0) node[below]{$O$}; +\end{tikzpicture} + +所以将定义域分为三段：$[-\infty ,1],[1,e^2],[e^2, +\infty]$，然后根据不同定义域对应的不同函数再代回$f[f(x)]$： + +$$ + f[f(x)]=\left\{ + \begin{array}{lcl} + \ln\sqrt{\ln\sqrt{x}}, & & x\geqslant e^2 \\ + \ln x-2, & & 1\geqslant x0 & \Rightarrow & (x_1-x_2)[f(x_1)-f(x_2)]>0 & \Rightarrow & f(x)\nearrow \\ + \dfrac{\rm{d}y}{\rm{d}x}<0 & \Rightarrow & (x_1-x_2)[f(x_1)-f(x_2)]<0 & \Rightarrow & f(x)\searrow + \end{matrix} +$ + +\subsubsection{奇偶性} + +\begin{enumerate} + \item 奇函数：关于原点对称，$f(-x)=-f(x)$。 + \item 偶函数：关于y轴对称，$f(-x)=f(x)$。 + \item 对于定义在$[-l,l]$上的任意函数$f(x)$，$F_1(x)=f(x)-f(-x)$必为奇函数，$F_2(x)=f(x)+f(-x)$必为偶函数。可以参考上面所说的双曲正弦与双曲余弦函数。 + \item 若奇函数在0处有定义，那么$f(0)=0$。 + \item 若偶函数在0处存在导数，那么$f'(0)=0$，即x=0，曲线必然水平，即导数为0。 + \item 若函数$y=f(x)$的函数关于直线$x=T$对称的充分必要条件是$f(x)=f(2T-x)/f(x+T)=f(x-T)$。（令$T-x=t$进行换元计算得到） +\end{enumerate} + +\subsubsection{周期性} + +$f(x+T)=f(x)$，其中T为周期。 \bigskip + +\subsubsection{重要结论} + +\begin{enumerate} + \item 若$f(x)$为可导的偶函数，则$f'(x)$为奇函数。 + \item 若$f(x)$为可导的奇函数，则$f'(x)$为偶函数。 + \item 若$f(x)$为周期函数，则$f'(x)$也为周期函数且周期不变。 + \item 连续的奇函数的一切原函数都是偶函数。 + \item 连续的偶函数的原函数中仅有一个原函数是奇函数。 + \item 若连续函数$f(x)$以T为周期且$\int_{0}^{T}f(x)\rm{d}x=0$，则$f(x)$的一切原函数也以T为周期。 + \item 若$f(x)$在有限区间$(a,b)$中可导且$f'(x)$有界，则$f(x)$在$(a,b)$有界。（某一函数在固定区间内变化率是有界的，则变化范围是有界的） +\end{enumerate} + +\textcolor{orange}{注意}：0和1处的函数定义应该注意。 + +如当a为0时：$f(b)-f(a)=f'(\xi )(b-a)=f(b)=bf'(\xi)$ + +如$f(x)>xf(1)$变形为$\dfrac{f(x)}{x}>f(1)$，辅助函数$F(x)=\dfrac{f(x)}{x}$ + +所以加减法警惕0，乘除法警惕1。 + +\section{数列的极限} + +极限就是一个无限逼近某个值的过程。如$\dfrac{n}{n+1}$这个分式在$n$无限增大的时候会无限逼近1，这个1叫做极限值，所以写成$\lim_{n\to\infty}\dfrac{n}{n+1}=1$。 + +所以从另一个方面更精确的指出一个数$N>0$，使得数列下标大于$N$的项与极限值之间的距离始终保持在$(0,\varepsilon)$之间，即$\dfrac{1}{n+1}<\varepsilon$，即$n>\dfrac{1}{\varepsilon}-1$，所以任意正数都能得到从$N>\dfrac{1}{\varepsilon}-1$项开始之后都有$\left\vert\dfrac{n}{n+1}-1\right\vert<\varepsilon$。 + +\subsection{定义} + +通过定义可以证明极限。 + +\subsubsection{数列极限定义} + +\textcolor{violet}{\textbf{定义：}}设$\{x_n\}$为一数列，若存在常数$a$，对于不论任意小的$\varepsilon>0$，总存在正整数$N$，使$n>N$时，$\vert x_n-a\vert<\varepsilon$恒成立，则常数$a$为数列$\{x_n\}$的极限，或$\{x_n\}$收敛于$a$，记为：$\lim_{x\to\infty}x_n=a$或$x_n\to a(n\to\infty)$。 + +常用语言（$\varepsilon-N$语言）：$\lim_{x\to\infty}x_n=a\Leftrightarrow\forall\varepsilon>0,\exists N\in N_+$，当$n>N$时，恒有$\vert x_n-a\vert<\varepsilon$。 + +如果不存在该数$a$，则称数列$x_n$发散。 + +即无论给出多么小的$\varepsilon$，总可以找到一项从该项之后函数值与极限值之间的差小于$\varepsilon$，即更接近这个极限值而不是其他任何值，所以该数列趋向于极限值。 + +\subsubsection{极限证明} + +令$x_n$为通项，$a$为极限值，$\varepsilon$为任意正数。 + +\begin{enumerate} + \item 写出$\vert x_n-a|<\varepsilon$。 + \item 反解出项数$nN$就可以证明。 +\end{enumerate} + +\textbf{例题：}用定义证明$\lim_{x\to\infty}\left[1+\dfrac{(-1)^n}{n}\right]=1$ + +证明： + +\ding{172}计算距离：$\left\vert 1+\dfrac{(-1)^n}{n}-1\right\vert=\left\vert\dfrac{(-1)^n}{n}\right\vert<\varepsilon$。 + +\ding{173}解得到：$\dfrac{1}{n}<\varepsilon$，反解为$n>\dfrac{1}{\varepsilon}$。 + +\ding{174}取整：$N=\left[\dfrac{1}{\varepsilon}\right]+1$。 + +$\therefore\forall\varepsilon>0$，当$n>N$时，就有$n>\dfrac{1}{\varepsilon}$，使得$\left\vert 1+\dfrac{(-1)^n}{n}-1\right\vert=\left\vert\dfrac{(-1)^n}{n}\right\vert<\varepsilon$。 + +$\therefore$证明完毕。 + +\textbf{例题：}用定义证明$\lim_{n\to\infty}q^n=0$（$q$为常数且$\vert q\vert<1$）。 + +证明： + +\ding{172}$\vert q^n-0\vert<\varepsilon$。 + +\ding{173}$\vert q^n\vert<\varepsilon$，取对数进行反解$n\ln\vert q\vert<\ln\varepsilon$，又因为$\vert q\vert<1$，所以$\ln\vert q\vert<0$，所以得到$n>\dfrac{\ln\varepsilon}{\ln\vert q\vert}$。（若$\varepsilon>1$则$n$就是负数，这样条件必然成立） + +\ding{174}取$N=\left[\dfrac{\ln\varepsilon}{\ln\vert q\vert}\right]+1$。 + +$\therefore$当$n>N$时，必然$n>\dfrac{\ln\varepsilon}{\ln\vert q\vert}$，有$\vert q^n-0\vert<\varepsilon$。 + +故$\lim_{n\to\infty}q^n=0$。 + +\subsubsection{数列绝对值} + +\textbf{例题：}证明若$\lim_{x\to\infty}a_n=A$，则$\lim_{x\to\infty}\vert a_n\vert=\vert A\vert$。 + +因为$\lim_{n\to\infty}a_n=A\Leftrightarrow\forall\varepsilon>0,\exists N>0,\text{当}n>N$，恒有$\vert a_n-A\vert<\varepsilon$。 + +又由重要不等式$\vert\vert a\vert-\vert b\vert\vert\leqslant\vert a-b\vert$，所以$\vert\vert a_n-\vert A\vert\vert\leqslant\varepsilon$。 + +所以恒成立，证明完毕。 + +从这个题推出：$\lim_{n\to\infty}a_n=0\Leftrightarrow\lim_{n\to\infty}\vert a_n\vert=0$。所以如果我们以后需要证明某一数列极限为0，可以证明数列绝对值极限0，而数列绝对值绝对时大于等于0的，所以由夹逼准则，其中小的一头已经固定为0了，所以只用找另一个偏大的数列夹逼所证明数列就可以了。 + +\subsubsection{子数列} + +\textcolor{violet}{\textbf{定义：}}从数列${a_n}:a_1,a_2,\cdots,a_n,\cdots$中选取无穷多项并按原来顺序组成的新数列就称为原数列的子列，记为$\{a_{n_k}\}:a_{n_1},a_{n_2},\cdots,a_{n_k},\cdots$。 + +若$n_k$分别取奇数和偶数，则得到奇数项数列与偶数项数列。 + +\textcolor{aqua}{\textbf{定理：}}若数列$\{a_n\}$收敛，则其任何子列$\{a_{n_k}\}$也收敛，且极限值相同。 + +所以对于其变式我们用到更多： + +\begin{enumerate} + \item 若一个数列$\{a_n\}$能找到一个发散的子列，那该数列发散。 + \item 若一个数列$\{a_n\}$能找到两个极限值不同的收敛子列，那么这个数列发散。 + \item 若一个数列$\{a_n\}$，则其奇数子列与偶数子列都收敛于同一个值。 +\end{enumerate} + +例如对于数列$\{(-1)^n\}$，能找到其奇数子列收敛于-1，偶数子列收敛于1，所以收敛值不同，原数列发散。 + +\subsection{性质} +\subsubsection{唯一性} + +\textcolor{violet}{\textbf{定义：}}若数列$\{x_n\}$收敛于$a$，则$a$是唯一的。 + +证明： + +设$\lim_{n\to\infty}a_n=A$且$\lim_{n\to\infty}a_n=B$且$A\neq B$。 + +不如设$A>B$。任意取$\varepsilon=\dfrac{A-B}{2}>0$。 + +$\because\lim_{n\to\infty}a_n=A$ + +$\therefore\exists N_1>0$，当$n>N_1$时，$\vert a_n-A\vert<\dfrac{A-B}{2}$。 + +得到$\dfrac{A+B}{2}0$，当$n>N_2$时，$\vert a_n-B\vert<\dfrac{A-B}{2}$。 + +得到$\dfrac{3A-B}{2}N$时，式子一二同时成立，而$A\neq B$，则这两个式子不可能同时成立，矛盾。 + +同理$A0$，使得$\vert a_n\vert\leqslant M$。 + +证明： + +由极限定义，取$\varepsilon=1$。 + +$\because\lim_{n\to\infty}a_n=A$ + +$\therefore\exists N>0$，当$n>N$时，$\vert a_n-A\vert<1$。 + +$\because\text{重要不等式}\,\vert\vert a_n\vert-\vert A\vert\vert\leqslant\vert a_n-A\vert$ + +$\therefore n>N$时，$\vert\vert a_n\vert-\vert A\vert\vert<1\Rightarrow\vert a_n\vert<1+\vert A\vert$ + +取$M=\max\{\vert a_1\vert,\vert a_2\vert,\cdots,\vert a_N\vert,1+\vert A\vert\}$ + +$\forall n$，有$\vert a_n\vert\leqslant M$ + +所以数列极限存在则数列有界。 + +但是数列有界不一定极限存在，如$1+(-1)^n$。 + +\subsubsection{保号性} + +较重要。也称为脱帽法。 + +\textcolor{violet}{\textbf{定义：}}若数列$\{x_n\}$存在极限$\lim_{n\to\infty}a_n=a\neq 0$，则存在正整数$N$，当$n>N$时$a_n$都与$a$同号。 + +简单来说，就是极限大于0，后面一部分数列大于0，极限小于0，后面一部分数列小于0。 + +推论，戴帽法：若数列$\{a_n\}$从某项开始$a_n\geqslant b$，且$\lim_{n\to\infty}a_n=a$，则$a\geqslant b$。这里一定要带等号。 + +证明： + +设$A>0$，取$\varepsilon=\dfrac{A}{2}>0$。 + +$\because\lim_{n\to\infty}a_n=A$ + +$\therefore\exists N>0$，当$n>N$时，$\vert a_n-A\vert<\dfrac{A}{2}\Rightarrow a_n>\dfrac{A}{2}>0$ + +同理得证极限值小于0的情况。 + +\subsection{海涅定理（归结原则）} + +设$f(x)$在$\mathring{U}(x_0,\delta)$内有定义，则$\lim_{x\to x_0}f(x)=A$存在$\Leftrightarrow$对任何$\mathring{U}(x_0,\delta)$内以$x_0$为极限的数列$\{x_n\}(x_n\neq x_0)$，极限$\lim_{n\to\infty}f(x_n)=A$存在。 + +海涅定理用来连接数列极限与函数极限。在极限存在下他们可以相互转换。 + +\textbf{例题：}求$\lim_{n\to\infty}\left(n\tan\dfrac{1}{n}\right)^{n^2}$（$n\in N^+$）。 + +$\because \lim_{x\to 0}\left(\dfrac{\tan x}{x}\right)^{\frac{1}{x^2}}$ + +又$u^v=e^{v\ln u}$ + +$\therefore =e^{\lim_{x\to 0}\frac{1}{x^2}\ln\frac{\tan x}{x}}$ + +又在$x\to 0$下$\ln (1+x)\sim x$，$\therefore \ln(1+g(x))\sim g(x),g(x)\to 0$。 + +而$\dfrac{\tan x}{x}$在$x\to 0$时趋于1，不满足趋于0的条件。 + +所以正好变形$\ln\left(1+\dfrac{\tan x}{x}-1\right)$。 + +$\therefore \ln\left(1+\dfrac{\tan x}{x}-1\right)\sim\dfrac{\tan x}{x}-1$，$\dfrac{\tan x}{x}-1\to 0$。 + +又根据泰勒展开$\tan x-x=x+\dfrac{x^3}{3}+o(x^3)-x-0\cdot x^3=\dfrac{x^3}{3}$。 + +$\therefore$ \bigskip + +$ +\begin{aligned} + & e^{\lim_{x\to 0}\frac{1}{x^2}\ln\frac{\tan x}{x}} \\ + & =e^{\lim_{x\to 0}\frac{1}{x^2}\frac{\tan x-x}{x}} \\ + & =e^{\lim_{x\to 0}\frac{1}{x^2}\cdot\frac{x^2}{3}} \\ + & = e^{\frac{1}{3}} +\end{aligned} +$ + +根据海涅定理：取$x=\dfrac{1}{n},n\to\infty$，$\lim_{n\to\infty}\left(n\tan\dfrac{1}{n}\right)^{n^2}=e^{\frac{1}{3}}$。 + +\section{函数的极限} + +\subsection{函数极限定义} + +\subsubsection{极限定义} + +设函数$f(x)$在点$x_0$的某一个去心邻域有定义，若存在常数$A$，对于任意给定的$\varepsilon>0$，总存在正数$\delta$，使得当$0<\vert x-x_0\vert<\delta$式，对应的函数值$f(x)$都满足不等式$\vert f(x)-A\vert <\varepsilon$，则$A$就是函数$f(x)$当$x\to x_0$时的极限，记作$\lim_{x\to x_0}f(x)=A$或$f(x)\rightarrow A(x\rightarrow x_0)$。 + +写成$\varepsilon-\delta$语言：$\lim_{x\to x_0}f(x)=A\Leftrightarrow\forall\varepsilon>0,\exists\delta>0,\text{当}0<\vert x-x_0\vert<\delta$时，有$\vert f(x)-A\vert\varepsilon$。 + +而对于趋向无穷时，写成$\varepsilon-X$语言：$\lim_{x\to\infty}f(x)=A\Leftrightarrow\forall\varepsilon>0,\exists X>0,\text{当}\vert x\vert>X$时，有$\vert f(x)-A\vert<\varepsilon$。 + +\textcolor{orange}{注意：}这里的趋向分为六种：$x\to x_0$、$x\to x_0^+$、$x\to x_0^-$、$x\to\infty$、$x\to\infty^+$、$x\to\infty^-$。 + +\subsubsection{单侧极限} + +当$x\to x_0^-$存在的极限称为左极限，当$x\to x_0^+$存在的极限称为右极限。 + +\subsubsection{函数极限存在条件} + +函数存在的充要条件是： + +\begin{enumerate} + \item $\lim_{x\to x_0}f(x)\Leftrightarrow\lim_{x\to x_0^-}f(x)=\lim_{x\to x_0^+}f(x)=A$。 + \item 函数脱帽法：$\lim_{x\to x_0}f(x)\Leftrightarrow f(x)=A+\alpha(x),\lim_{x\to x_0}\alpha(x)=0$，后面的$\alpha(x)$就是函数与极限值的误差。 +\end{enumerate} + +\subsubsection{极限情况总结} + +\begin{center} + \begin{tabular}{|c|c|c|c|c|} + \hline + 过程 & $n\to\infty$ & $x\to\infty$ & $x\to+\infty$ & $x\to-\infty$ \\ \hline + 时刻 & \multicolumn{4}{c|}{$N$} \\ \hline + 从此时刻以后 & $n>N$ & $\vert x\vert>N$ & $x>N$ & $x<-N$ \\ \hline + $f(x)$ & \multicolumn{4}{c|}{$\vert f(x)-A\vert<\varepsilon$} \\ + \hline + \end{tabular} +\end{center} + +\begin{center} + \begin{tabular}{|c|c|c|c|} + \hline + 过程 & $x\to x_0$ & $x\to x_0^+$ & $x\to x_0^-$ \\ \hline + 时刻 & \multicolumn{3}{c|}{$\delta$} \\ \hline + 从此时刻以后 & $0<\vert x-x_0\vert<\delta$ & $00$，使得当$0<\vert x-x_0\vert<\delta$时，$f(x)$与$A$同号。 + +简单来说，函数值在$x\to x_0$时函数值与极限值同号。 + +证明局部保号性： + +首先根据极限存在定义：$\forall\varepsilon>0,\exists\delta>0,0<\vert x-x_0\vert<\delta$时，恒有$\vert f(x)-A\vert<\varepsilon$。 + +$\Rightarrow -\varepsilon0\Rightarrow f(x)>A-\dfrac{A}{2}=\dfrac{A}{2}>0$。 + +证明完毕。 + +关于$\varepsilon$的取值问题，为什么不能取到令结果为负的值，因为请注意这个取值得到的区间并不是$f(x)$的范围，而是对$f(x)$所在区间的陈述，其是无尽逼近$A$的，所以取多大的区间都无所谓。 + +推论：若函数值在$x\to x_0$时都非负或非正，极限值为$A$，那么$A$与此时函数值同号。不能去除等号。 + +\bigskip + +关于三个性质要注意自变量取值的双向性，所以需要留意下面几个函数： + +\begin{enumerate} + \item $\lim_{x\to\infty}e^x$不存在，因为$\lim_{x\to +\infty}e^x=+\infty$，$\lim_{x\to -\infty}e^x=0$。 + \item $\lim_{x\to 0}\dfrac{\sin x}{\vert x\vert}$不存在，因为$\lim_{x\to 0^+}\dfrac{\sin x}{\vert x\vert}=1$，$\lim_{x\to 0^-}\dfrac{\sin x}{\vert x\vert}=-1$。 + \item $\lim_{x\to\infty}\arctan x$不存在，因为$\lim_{x\to +\infty}\arctan x=\dfrac{\pi}{2}$，$\lim_{x\to -\infty}\arctan x=-\dfrac{\pi}{2}$。 + \item $\lim_{x\to 0}[x]$不存在，因为$\lim_{x\to 0^+}[x]=0$，$\lim_{x\to 0^-}[x]=-1$ +\end{enumerate} + +\section{无穷大与无穷小} + +\subsection{无穷定义} + +无穷小\textcolor{violet}{\textbf{定义：}}当$x\to x_0(\infty)$时，函数$f(x)$极限为0，就称$f(x)$为当$x\to x_0(\infty)$时的无穷小，记为：$\lim_{x\to x_0(\infty)}f(x)=0$。 + +以0为极限的数列称为$n\to\infty$时的无穷小。 + +无穷小是变量，不能与很小的数相等。 + +零可以作为无穷小的唯一的数。 + +\textcolor{aqua}{\textbf{定理：}}$\lim f(x)=A\Leftrightarrow f(x)=A+o(x)$，其中$\lim o(x)=0$。 + +无穷大\textcolor{violet}{\textbf{定义：}}当$x\to x_0(\infty)$时，函数$\vert f(x)\vert$无限增大，就称$f(x)$为当$x\to x_0(\infty)$时的无穷大，记为：$\lim_{x\to x_0(\infty)}f(x)=\infty$。 + +若$\lim_{x\to x_0}f(x)=\infty$则$x=x_0$为$y=f(x)$的垂直渐进线。 + +若$\lim_{x\to\infty}f(x)=a$则$y=a$为$y=f(x)$的水平渐进线。 + +\textcolor{aqua}{\textbf{定理：}}若同一极限过程中，$f(x)$为无穷大，则$\dfrac{1}{f(x)}$为无穷小，反之若$f(x)$为无穷小且不为0，则$\dfrac{1}{f(x)}$为无穷大。 + +\section{极限运算法则} + +\begin{enumerate} + \item 有限个无穷小的和是无穷小。 + \item 有界函数与无穷小的乘积是无穷小。 + \item 有限个无穷小的乘积是无穷小。 +\end{enumerate} + +\subsection{数列极限} + +若$\lim_{n\to\infty}x_n=a$，$\lim_{n\to\infty}y_n=b$则： + +\begin{enumerate} + \item $\lim_{n\to\infty}x_n\pm y_n=a\pm b$。 + \item $\lim_{n\to\infty}(x_ny_n)=\lim_{n\to\infty}x_n\lim_{n\to\infty}y_n=ab$。 + \item $\lim_{n\to\infty}\dfrac{x_n}{y_n}=\dfrac{\lim_{n\to\infty}x_n}{\lim_{n\to\infty}y_n}=\dfrac{a}{b}(b\neq 0)$。 +\end{enumerate} + +\textbf{例题：}若$\lim_{n\to\infty}(a_n+b_n)=1$且$\lim_{n\to\infty}(a_n-b_n)=3$，计算$\lim_{n\to\infty}a_n$与$\lim_{n\to\infty}b_n$。 + +首先是不能通过运算法则第一条将两个条件直接加减的，因为不能保证两个极限是否都存在。 + +所以必须先令$u_n=a_n+b_n$，$v_n=a_n-b_n$，所以$\lim_{n\to\infty}u_n=1$，$\lim_{n\to\infty}v_n=3$。 + +因为这两个极限都存在，所以可以进行运算。 + +相加得到$\lim_{n\to\infty}(u_n+v_n)=2\lim_{n\to\infty}a_n=4$。 + +所以得到$\lim_{n\to\infty}a_n=2$。同理$\lim_{n\to\infty}(u_n-v_n)$得到$\lim_{n\to\infty}b_n=-1$。 + +\subsection{函数极限} + +若$\lim f(x)=A$，$\lim g(x)=B$（即两个极限都存在），则 + +\begin{enumerate} + \item $\lim[k\cdot f(x)\pm l\cdot g(x)]=k\lim f(x)\pm l\cdot g(x)=kA\pm lB$，其中$kl$为常数。 + \item $\lim[f(x)\cdot g(x)]=\lim f(x)\cdot\lim g(x)=A\cdot B$ + \item $\lim[f(x)]^n=[\lim f(x)]^n$，其中$n$为正整数。 + \item $\lim\dfrac{f(x)}{g(x)}=\dfrac{\lim f(x)}{\lim g(x)}=\dfrac{A}{B}(B\neq 0)$。 + \item $\lim_{x\to\infty}\dfrac{a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0}{b_mx^m+\cdots+b_{m-1}x^{m-1}+\cdots+b_1x+b_0}=\left\{ + \begin{array}{lcl} + \dfrac{a_n}{b_m}, & & n=m \\ + 0, & & nm + \end{array} + \right.$ + \item 若$f(x)\geqslant g(x)$，则$A\geqslant B$。 + \item 若$y=f[g(x)]$由$y=f(u)$与$u=g(x)$复合而成，且$\lim_{x\to x_0}g(x)=u_0$且$\lim_{u\to u_0}f(u)=a$，当$x\in\mathring{U}(x_0,\delta_0)$时，$g(x)\neq u_0$，则$\lim_{x\to x_0}f[g(x)]=a$。 +\end{enumerate} + +对于结论7必须\textcolor{orange}{注意}$g(x)\neq u_0$。 + +假设$f(u)=\dfrac{u^2-1}{u-1}$，所以这个$f(x)$在$x=1$处应无定义。但是这并不影响$\lim_{u\to 1}f(u)=2$。 + +假设$g(x)=\left\{ + \begin{array}{lcl} + 1+x, & & x<0 \\ + 1, & & x>0 + \end{array} +\right.$。 + +则$\lim_{x\to 0}g(x)=1$，所以$\lim_{x\to 0}f[g(x)]=2?$。 + +答案是不，因为当$x>0$时，$u=g(x)=1$，而$1$在$g(x)$中是无定义的，所以复合函数当$x>0$时无定义，从而在$0$处极限不存在。 + +\subsection{存在与不存在运算关系} + +\begin{enumerate} + \item 存在与不存在的和差一定为不存在。 + \item 不存在与不存在的和差不一定存在，如$\sin\dfrac{1}{x}+\sin\dfrac{1}{x}$与$\sin\dfrac{1}{x}+\left(-\sin\dfrac{1}{x}\right)$。 + \item 存在与不存在的乘积不一定存在，如$x\sin\dfrac{1}{x}$与$1\cdot\sin\dfrac{1}{x}$。 + \item 不存在与不存在的乘积不一定存在，如$\dfrac{1}{x}\cdot\dfrac{1}{x}$与$(-1)^n\cdot(-1)^n$。 +\end{enumerate} + +\section{极限存在准则与两个重要极限} + +\subsection{夹逼准则} + +\subsubsection{数列的夹逼准则} + +\begin{enumerate} + \item $y_n\leqslant x_n\leqslant z_n(n=1,2,3,\cdots)$。 + \item $\lim_{n\to\infty}y_n=a,\lim_{n\to\infty}z_n=a$。 + \item 则$\lim_{n\to\infty}x_n=a$。 +\end{enumerate} + +证明： + +由于$\lim_{n\to\infty}y_n=a,\lim_{n\to\infty}z_n=a$。 + +则$\forall\varepsilon>0$，$\exists N$，当$n>N$时，$\vert y_n<\varepsilon$，$\vert z_n<\varepsilon$。 + +$\therefore a-\varepsilon0$，证明$a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{2}{a_n}\right)$的极限存在并求出。 + +$\because a_1=a>0$，且递推式中没有负数与减的操作，所以$a_n>0$。 + +由重要不等式$\dfrac{a+b}{2}\geqslant\sqrt{ab}$，所以$a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{2}{a_n}\right)\geqslant\sqrt{a_n\cdot\dfrac{2}{a_n}})=\sqrt{2}$ + +$\therefore$数列$\{a_n\}$有下界$\sqrt{2}$。 + +又$a_{n+1}-a_n=\dfrac{2-a_n^2}{2a_n}$，且由上面证明已知$a_n^2\geqslant\sqrt{2}$，所以该式子小于等于0。 + +$\therefore a_{n+1}\leqslant a_n$，得到数列单调减少。 + +由单调有界准则，$\lim_{n\to\infty}a_n$存在并记为$A$。 + +将$A$代入递推式并两边求极限：$A=\dfrac{1}{2}(A+\dfrac{2}{A})$，得到$A=\pm\sqrt{2}$。 + +又因为保号性，数列下界为$\sqrt{2}$，所以$A=\sqrt{2}$。 + +\textbf{例题：}求证$x_{n+1}=\sin x_n$极限存在，$00\Rightarrow\{a_n\}\nearrow$ + +$ +\begin{aligned} + \text{\ding{173}}a_n & =\dfrac{1}{1\cdot 1}+\dfrac{1}{2\cdot 2}+\cdots+\dfrac{1}{n\cdot n} \\ + & \text{裂项相消} \\ + < & 1+\dfrac{1}{1\cdot 2}+\cdots+\dfrac{1}{(n-1)\cdot(n)} \\ + = & 1+(1-\dfrac{1}{2})+(\dfrac{1}{2}-\dfrac{1}{3})+\cdots+(\dfrac{1}{n-1}-\dfrac{1}{n}) \\ + = & 2-\dfrac{1}{n} \\ + < & 2 \text{ （上界）} +\end{aligned} +$ + +单调增且有上界，所以必然有极限。 + +\subsection{\texorpdfstring{$\lim_{x\to 0}\dfrac{\sin x}{x}=1$}{}} + +当$x\to 0$时$x\in[0,\dfrac{\pi}{2}]$。 + +\begin{tikzpicture}[scale=1.5] + \draw (0,0) circle (1); + \filldraw[black] (0,0) node[below]{$O$}; + \draw[black](0,0) -- (1,0) node[right]{$A$}; + \draw[black](0,0) -- (1/2,{sqrt(3)/2}) node[above]{$B$}; + \draw[black](1/2,{sqrt(3)/2}) -- (1/2,0) node[below]{$D$}; + \draw[black](1,0) -- (1,{sqrt(3)}) node[above]{$C$}; + \draw[black](1,0) -- (1/2,{sqrt(3)/2}); + \draw[black](1,{sqrt(3)}) -- (1/2,{sqrt(3)/2}); +\end{tikzpicture} + +设$\angle AOB$的弧度为$x$，圆$O$的半径为$1$，则$OD=\sin x$。 + +则$S_\vartriangle AOB=\dfrac{\sin x}{2}$。根据扇形面积公式：$S_{\text{扇形}}AOB=\dfrac{x}{2}$。 + +又$\because CA=\tan x$，则$S_\vartriangle AOC=\dfrac{\tan x}{2}$。 + +根据图，在$x\in[0,\dfrac{\pi}{2}]$，$\sin x0 + \end{array} \right. +$在$(-\infty,+\infty)$内连续，求$a$。 + +因为连续，所以$f(0)=\lim_{x\to 0^+}f(x)=\lim_{x\to 0^-}f(x)$。 + +$\therefore a=1$。 + +\textbf{例题：}若函数$f(x)=\dfrac{\ln\vert x\vert}{\vert x-1\vert}\sin x$，则x的间断点类型是？ + +由式子的分式部分可知有两个无定义的间断点：$x=0$，$x=1$。 + +$\lim_{x\to 1}f(x)=\lim_{x\to 1}\dfrac{x-1}{\vert x-1\vert}\sin x=\left\{ + \begin{array}{lcl} + x\to 1^+ & \rightarrow & \sin 1 \\ + x\to 1^- & \rightarrow & -\sin 1 + \end{array} \right. +$。 + +所以$x=1$跳跃间断点。 + +$\lim_{x\to 0}f(x)=\lim_{x\to 0}\ln\vert x\vert\cdot\sin x=\lim_{x\to 0}x\ln\vert x\vert=0$。 + +而$x=0$未定义，所以其为可去间断点。 + +\end{document} diff --git a/advanced-math/2-number-series-and-limit/numer-series-and-limit.tex b/advanced-math/2-number-series-and-limit/numer-series-and-limit.tex index 11cc3e9..406ad27 100644 --- a/advanced-math/2-number-series-and-limit/numer-series-and-limit.tex +++ b/advanced-math/2-number-series-and-limit/numer-series-and-limit.tex @@ -36,218 +36,14 @@ \pagestyle{plain} \setcounter{page}{1} -极限就是一个无限逼近某个值的过程。如$\dfrac{n}{n+1}$这个分式在$n$无限增大的时候会无限逼近1，这个1叫做极限值，所以写成$\lim_{n\to\infty}\dfrac{n}{n+1}=1$。 - -所以从另一个方面更精确的指出一个数$N>0$，使得数列下标大于$N$的项与极限值之间的距离始终保持在$(0,\epsilon)$之间，即$\dfrac{1}{n+1}<\epsilon$，即$n>\dfrac{1}{\epsilon}-1$，所以任意正数都能得到从$N>\dfrac{1}{\epsilon}-1$项开始之后都有$\left\vert\dfrac{n}{n+1}-1\right\vert<\epsilon$。 - -即无论给出多么小的$\epsilon$，总可以找到一项从该项之后函数值与极限值之间的差小于$\epsilon$，即更接近这个极限值而不式其他任何值，所以该数列趋向于极限值。 - -所以以后的基本流程，令$x_n$为通项，$a$为极限值，$\epsilon$为任意正数。 - -\begin{enumerate} - \item 写出$\vert x_n-a|<\epsilon$。 - \item 反解出项数$nN$就可以证明。 -\end{enumerate} - -\textbf{例题1：}用定义证明$\lim_{x\to\infty}\left[1+\dfrac{(-1)^n}{n}\right]=1$ - -证明： - -\ding{172}计算距离：$\left\vert 1+\dfrac{(-1)^n}{n}-1\right\vert=\left\vert\dfrac{(-1)^n}{n}\right\vert<\epsilon$。 - -\ding{173}解得到：$\dfrac{1}{n}<\epsilon$，反解为$n>\dfrac{1}{\epsilon}$。 - -\ding{174}取整：$N=\left[\dfrac{1}{\epsilon}\right]+1$。 - -$\therefore\forall\epsilon>0$，当$n>N$时，就有$n>\dfrac{1}{\epsilon}$，使得$\left\vert 1+\dfrac{(-1)^n}{n}-1\right\vert=\left\vert\dfrac{(-1)^n}{n}\right\vert<\epsilon$。 - -$\therefore$证明完毕。 - -\textbf{例题2：}用定义证明$\lim_{n\to\infty}q^n=0$（$q$为常数且$\vert q\vert<1$）。 - -证明： - -\ding{172}$\vert q^n-0\vert<\epsilon$。 - -\ding{173}$\vert q^n\vert<\epsilon$，取对数进行反解$n\ln\vert q\vert<\ln\epsilon$，又因为$\vert q\vert<1$，所以$\ln\vert q\vert<0$，所以得到$n>\dfrac{\ln\epsilon}{\ln\vert q\vert}$。（若$\epsilon>1$则$n$就是负数，这样条件必然成立） - -\ding{174}取$N=\left[\dfrac{\ln\epsilon}{\ln\vert q\vert}\right]+1$。 - -$\therefore$当$n>N$时，必然$n>\dfrac{\ln\epsilon}{\ln\vert q\vert}$，有$\vert q^n-0\vert<\epsilon$。 - -故$\lim_{n\to\infty}q^n=0$。 - -\section{定义} - -通过定义可以证明极限。 - -\textcolor{violet}{\textbf{定义：}}设$\{x_n\}$为一数列，若存在常数$a$，对于不论任意小的$\epsilon>0$，总存在正整数$N$，使$n>N$时，$\vert x_n-a\vert<\epsilon$恒成立，则常数$a$为数列$\{x_n\}$的极限，或$\{x_n\}$收敛于$a$，记为：$\lim_{x\to\infty}x_n=a$或$x_n\to a(n\to\infty)$。 - -常用语言（$\epsilon-N$语言）：$\lim_{x\to\infty}x_n=a\Leftrightarrow\forall\epsilon>0,\exists N\in N_+$，当$n>N$时，恒有$\vert x_n-a\vert<\epsilon$。 - -如果不存在该数$a$，则称数列$x_n$发散。 - -\subsection{数列绝对值} - -\textbf{例题3：}证明若$\lim_{x\to\infty}a_n=A$，则$\lim_{x\to\infty}\vert a_n\vert=\vert A\vert$。 - -因为$\lim_{n\to\infty}a_n=A\Leftrightarrow\forall\epsilon>0,\exists N>0,\text{当}n>N$，恒有$\vert a_n-A\vert<\epsilon$。 - -又由重要不等式$\vert\vert a\vert-\vert b\vert\vert\leqslant\vert a-b\vert$，所以$\vert\vert a_n-\vert A\vert\vert\leqslant\epsilon$。 - -所以恒成立，证明完毕。 - -从这个题推出：$\lim_{n\to\infty}a_n=0\Leftrightarrow\lim_{n\to\infty}\vert a_n\vert=0$。所以如果我们以后需要证明某一数列极限为0，可以证明数列绝对值极限0，而数列绝对值绝对时大于等于0的，所以由夹逼准则，其中小的一头已经固定为0了，所以只用找另一个偏大的数列夹逼所证明数列就可以了。 - -\subsection{子数列} - -\textcolor{violet}{\textbf{定义：}}从数列${a_n}:a_1,a_2,\cdots,a_n,\cdots$中选取无穷多项并按原来顺序组成的新数列就称为原数列的子列，记为$\{a_{n_k}\}:a_{n_1},a_{n_2},\cdots,a_{n_k},\cdots$。 - -若$n_k$分别取奇数和偶数，则得到奇数项数列与偶数项数列。 - -\textcolor{aqua}{\textbf{定理：}}若数列$\{a_n\}$收敛，则其任何子列$\{a_{n_k}\}$也收敛，且极限值相同。 - -所以对于其变式我们用到更多： - -\begin{enumerate} - \item 若一个数列$\{a_n\}$能找到一个发散的子列，那该数列发散。 - \item 若一个数列$\{a_n\}$能找到两个极限值不同的收敛子列，那么这个数列发散。 - \item 若一个数列$\{a_n\}$，则其奇数子列与偶数子列都收敛于同一个值。 -\end{enumerate} - -例如对于数列$\{(-1)^n\}$，能找到其奇数子列收敛于-1，偶数子列收敛于1，所以收敛值不同，原数列发散。 - -\section{性质} -\subsection{唯一性} - -\textcolor{violet}{\textbf{定义：}}若数列$\{x_n\}$收敛于$a$，则$a$是唯一的。 - -\subsection{有界性} - -\textcolor{violet}{\textbf{定义：}}若数列$\{x_n\}$极限存在，则数列有界。 - -\subsection{保号性} - -较重要。也称为脱帽法。 - -\textcolor{violet}{\textbf{定义：}}若数列$\{x_n\}$存在极限$\lim_{n\to\infty}a_n=a\neq 0$，则存在正整数$N$，当$n>N$时$a_n$都与$a$同号。 - -简单来说，就是极限大于0，后面一部分数列大于0，极限小于0，后面一部分数列小于0。 - -推论，戴帽法：若数列$\{a_n\}$从某项开始$a_n\geqslant b$，且$\lim_{n\to\infty}a_n=a$，则$a\geqslant b$。这里一定要带等号。 - -\section{运算规则} - -若$\lim_{n\to\infty}x_n=a$，$\lim_{n\to\infty}y_n=b$则： - -\begin{enumerate} - \item $\lim_{n\to\infty}x_n\pm y_n=a\pm b$。 -\end{enumerate} - -\textbf{例题4：}若$\lim_{n\to\infty}(a_n+b_n)=1$且$\lim_{n\to\infty}(a_n-b_n)=3$，计算$\lim_{n\to\infty}a_n$与$\lim_{n\to\infty}b_n$。 - -首先是不能通过运算法则第一条将两个条件直接加减的，因为不能保证两个极限是否都存在。 - -所以必须先令$u_n=a_n+b_n$，$v_n=a_n-b_n$，所以$\lim_{n\to\infty}u_n=1$，$\lim_{n\to\infty}v_n=3$。 - -因为这两个极限都存在，所以可以进行运算。 - -相加得到$\lim_{n\to\infty}(u_n+v_n)=2\lim_{n\to\infty}a_n=4$。 - -所以得到$\lim_{n\to\infty}a_n=2$。同理$\lim_{n\to\infty}(u_n-v_n)$得到$\lim_{n\to\infty}b_n=-1$。 \section{夹逼准则} -\textcolor{violet}{\textbf{定义：}}若数列$\{x_n\}$，$\{y_n\}$，$\{z_n\}$满足以下条件： -$y_n\leqslant x_n\leqslant z_n(n=1,2,3,\cdots)$；$\lim_{n\to\infty}y_n=a,\lim_{n\to\infty}z_n=a$。 - -则数列$x_n$极限存在且$\lim_{n\to\infty}x_n=a$。 - -\textbf{例题5：}求极限$\lim_{n\to\infty}\left(\dfrac{n}{n^2+1}+\dfrac{n}{n^2+2}+\cdots+\dfrac{n}{n^2+n}\right)$。 - -使用夹逼准则：$\dfrac{n^2}{n^2+n}<\sum_{i=1}^n\dfrac{n}{n^2+i}<\dfrac{n^2}{n^2+1}$ - -又$\lim_{n\to\infty}\dfrac{n^2}{n^2+1}=\lim_{n\to\infty}\dfrac{n^2/n^2}{n^2/n^2+1/n^2}=\lim_{n\to\infty}\dfrac{1}{1+\dfrac{1}{n^2}}=1$ - -且$\lim_{n\to\infty}\dfrac{n^2}{n^2+n}=\lim_{n\to\infty}\dfrac{1}{1+\dfrac{1}{n}}=1$。 - -由夹逼准则，原式的极限为1。 - -对于分式的放缩主要在于分母的放缩，不变分子，分母变小原式变大，分母变大原式变小。然后分子分母除以最高项得到逼向0的极限。 \section{单调有界准则} -也称为魏尔施特拉斯准则，该部分最重要。 -\textcolor{violet}{\textbf{定义：}}单调有界数列必有极限，即若$\{x_n\}$单调增加（减少）且有上界（下界），则极限存在。 - -该部分需要证明两个地方： - -\begin{enumerate} - \item 数列单调：$x_{n+1}-x_n$与0的关系，或$\dfrac{x_{n+1}}{x_n}$与1的关系。 - \item 有界：$\vert x_n\vert\leqslant M$是否存在。 -\end{enumerate} - -见到\textcolor{orange}{递推式（迭代式）}$a_{n+1}=f(a_n)$，一般都要用单调有界准则。单调性通过减或除进行计算，有界性通过不等式来计算。 - -\textbf{例题6：}已知$a_1=a>0$，证明$a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{2}{a_n}\right)$的极限存在并求出。 - -$\because a_1=a>0$，且递推式中没有负数与减的操作，所以$a_n>0$。 - -由重要不等式$\dfrac{a+b}{2}\geqslant\sqrt{ab}$，所以$a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{2}{a_n}\right)\geqslant\sqrt{a_n\cdot\dfrac{2}{a_n}})=\sqrt{2}$ - -$\therefore$数列$\{a_n\}$有下界$\sqrt{2}$。 - -又$a_{n+1}-a_n=\dfrac{2-a_n^2}{2a_n}$，且由上面证明已知$a_n^2\geqslant\sqrt{2}$，所以该式子小于等于0。 - -$\therefore a_{n+1}\leqslant a_n$，得到数列单调减少。 - -由单调有界准则，$\lim_{n\to\infty}a_n$存在并记为$A$。 - -将$A$代入递推式并两边求极限：$A=\dfrac{1}{2}(A+\dfrac{2}{A})$，得到$A=\pm\sqrt{2}$。 - -又因为保号性，数列下界为$\sqrt{2}$，所以$A=\sqrt{2}$。 - -\textbf{例题7：}求证$x_{n+1}=\sin x_n$极限存在，$00\Rightarrow\{a_n\}\nearrow$ - -$ -\begin{aligned} - \text{\ding{173}}a_n & =\dfrac{1}{1\cdot 1}+\dfrac{1}{2\cdot 2}+\cdots+\dfrac{1}{n\cdot n} \\ - & \text{裂项相消} \\ - < & 1+\dfrac{1}{1\cdot 2}+\cdots+\dfrac{1}{(n-1)\cdot(n)} \\ - = & 1+(1-\dfrac{1}{2})+(\dfrac{1}{2}-\dfrac{1}{3})+\cdots+(\dfrac{1}{n-1}-\dfrac{1}{n}) \\ - = & 2-\dfrac{1}{n} \\ - < & 2 \text{ （上界）} -\end{aligned} -$ - -单调增且有上界，所以必然有极限。 \section{直接计算法} diff --git a/advanced-math/3-differential-mean-value-theorem-and-applications-of-derivatives/differential-mean-value-theorem-and-applications-of-derivatives.tex b/advanced-math/3-differential-mean-value-theorem-and-applications-of-derivatives/differential-mean-value-theorem-and-applications-of-derivatives.tex new file mode 100644 index 0000000..20f8a8e --- /dev/null +++ b/advanced-math/3-differential-mean-value-theorem-and-applications-of-derivatives/differential-mean-value-theorem-and-applications-of-derivatives.tex @@ -0,0 +1,445 @@ +\documentclass[UTF8, 12pt]{ctexart} +% UTF8编码，ctexart现实中文 +\usepackage{color} +% 使用颜色 +\definecolor{orange}{RGB}{255,127,0} +\definecolor{violet}{RGB}{192,0,255} +\definecolor{aqua}{RGB}{0,255,255} +\usepackage{geometry} +\setcounter{tocdepth}{4} +\setcounter{secnumdepth}{4} +% 设置四级目录与标题 +\geometry{papersize={21cm,29.7cm}} +% 默认大小为A4 +\geometry{left=3.18cm,right=3.18cm,top=2.54cm,bottom=2.54cm} +% 默认页边距为1英尺与1.25英尺 +\usepackage{indentfirst} +\setlength{\parindent}{2.45em} +% 首行缩进2个中文字符 +\usepackage{amssymb} +% 因为所以与其他数学拓展 +\usepackage{amsmath} +% 数学公式 +\usepackage[colorlinks,linkcolor=black,urlcolor=blue]{hyperref} +% 超链接 +\usepackage{setspace} +\renewcommand{\baselinestretch}{1.5} +% 1.5倍行距 +\usepackage{pifont} +% 圆圈序号 +\usepackage{mathtools} +% 有字的长箭头 +\author{Didnelpsun} +\title{微分中值定理与导数的应用} +\date{} +\begin{document} +\maketitle +\pagestyle{empty} +\thispagestyle{empty} +\tableofcontents +\thispagestyle{empty} +\newpage +\pagestyle{plain} +\setcounter{page}{1} + +\section{洛必达法则} + +\textcolor{aqua}{\textbf{定理：}} + +\begin{enumerate} + \item 当$x\to a\text{或}\infty$时，函数$f(x)$，$g(x)$都趋向0或无穷大。 + \item $f'(x)$和$F'(x)$在点$a$的某去心邻域内，或$\vert x\vert$大于充分大的正数时，存在，且$g'(x)\neq 0$。 + \item $\lim_{x\to a}\dfrac{f'(x)}{g'(x)}$或$\lim_{x\to\infty}\dfrac{f'(x)}{g'(x)}$存在或无穷大。 + \item $\lim_{x\to a}\dfrac{f(x)}{g(x)}=\lim_{x\to a}\dfrac{f'(x)}{g'(x)}$或$\lim_{x\to\infty}\dfrac{f(x)}{g(x)}=\lim_{x\to\infty}\dfrac{f'(x)}{g'(x)}$。 +\end{enumerate} + +\textcolor{orange}{注意：} + +\begin{enumerate} + \item 如果函数比值不为$\dfrac{0}{0}$或$\dfrac{\infty}{\infty}$型，则不能使用洛必达法则。 + \item 若求导后极限仍为$\dfrac{0}{0}$或$\dfrac{\infty}{\infty}$型，则可以继续使用洛必达法则。 + \item 若$\lim_{x\to a}\dfrac{f'(x)}{g'(x)}$不存在且不为$\infty$，不能反推$\lim_{x\to a}\dfrac{f(x)}{g(x)}$不存在也不为$\infty$，这时候洛必达法则是失效的。 +\end{enumerate} + +对于第三个注意点：$\lim_{x\to 0}\dfrac{x^2\cdot\sin\dfrac{1}{x}}{x}=\lim_{x\to 0}x\cdot\sin\dfrac{1}{x}=0$。 + +而使用洛必达法则： + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{x^2\cdot\sin\dfrac{1}{x}}{x} \\ + & =\lim_{x\to 0}\left(2x\cdot\sin\dfrac{1}{x}-\cos\dfrac{1}{x}\right) \\ + & =\lim_{x\to 0}\left(-\cos\dfrac{1}{x}\right)=\text{不存在} +\end{aligned} +$ + +\section{泰勒公式} + +非常重要。 + +\subsection{定义} + +是一个用函数在某点的信息描述其附近取值的公式。如果函数满足一定的条件，泰勒公式可以用函数在某一点的各阶导数值做系数构建一个多项式来近似表达这个函数。即形式：$f(x)=\sum ax^n$。 + +简单来说，泰勒公式就是一个近似表达函数的公式。其极限趋向为趋向0。 + +对于泰勒公式以及后面的中值定理等相关延申见\href{https://www.zhihu.com/question/25627482}{知乎回答}。 + +\subsection{泰勒展开} + +当$x\to 0$时： + +\begin{enumerate} + \item $\sin x=x-\dfrac{x^3}{3!}+o(x^3)$。 + \item $\cos x=1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}+o(x^4)$。 + \item $\arcsin x=x+\dfrac{x^3}{3!}+o(x^3)$。 + \item $\tan x=x+\dfrac{x^3}{3}+o(x^3)$。 + \item $\arctan x=x-\dfrac{x^3}{3}+o(x^3)$。 + \item $\ln(1+x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}+o(x^3)$。 + \item $e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+o(x^3)$。 + \item $(1+x)^\alpha=1+\alpha\cdot x+\dfrac{\alpha\cdot(\alpha-1)}{2!}x^2+o(x^2)$。 +\end{enumerate} + +其中$o(x^\alpha)$为佩亚诺余项，其非常小。 + +同样可以对泰勒展开式进行变形：$x-\sin x\sim\dfrac{x^3}{6}$，$x+\sin x\sim 2x$。 + +如： + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{[\sin x-\sin(\sin x)]\sin x}{x^4} \\ + & =\dfrac{\dfrac{1}{6}\sin^3x\cdot\sin x}{x^4} \\ + & =\dfrac{\dfrac{1}{6}\sin^4x}{x^4} \\ + & =\dfrac{1}{6} +\end{aligned} +$ + + + +\subsection{展开幂的选择} + +泰勒公式展开时应该展开到多少次幂？ + +\subsubsection{\texorpdfstring{$\dfrac{A}{B}$}型，上下同阶} + +当分母或分子式$x$的$k$次幂那么应该把分母或分子展开到对应的次数幂。 + +如$\lim_{x\to 0}\dfrac{x-\sin x}{x^3}$展开为三次： + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{x-\sin x}{x^3} \\ + & =\lim_{x\to 0}\dfrac{x-\left[x-\dfrac{1}{6}x^3+o(x^3)\right]}{x^3} \\ + & =\lim_{x\to 0}\dfrac{\dfrac{1}{6}x^3+o(x^3)}{x^3} \\ + & =\dfrac{1}{6} +\end{aligned} +$ + +\subsubsection{\texorpdfstring{$A-B$}型，幂次最低} + +将$A$，$B$分别展到他们系数不相等的$x$的最低次幂为止。 + +如已知当$x\to 0$时，$\cos x-e^{-\frac{x^2}{2}}$与$ax^k$为等价无穷小，求$a$，$b$。 + +泰勒展开： + +$ +\begin{aligned} + & \cos x-e^{-\frac{x^2}{2}} \\ + & = 1-\dfrac{x^2}{2}+\dfrac{1}{24}x^4+o(x^4)-\left(1-\dfrac{x^2}{2}+\dfrac{1}{8}x^4+o(x^4)\right) \\ + & = -\dfrac{1}{12}x^4+o(x^4) \\ + & \sim -\dfrac{1}{12}x^4 +\end{aligned} +$ + +$\therefore a=-\dfrac{1}{12},b=4$。 + +\textbf{例题3：}求解$\lim_{x\to 0}\dfrac{\sin^2x-x^2}{e^{x^4}-1}$。 + +首先由泰勒展开式$e^x=1+x+o(x)$，得到$e^x-1\sim x$。 + +$\therefore e^{x^4}-1\sim x^4$。 + +然后泰勒展开： + +$ +\begin{aligned} + & x-\sin x \\ + & = 1\cdot x^1+0\cdot x^3 - (1\cdot x^1-\dfrac{1}{6}x^3+o(x^3)) \\ + & = \dfrac{1}{6}x^3+o(x^3) \\ + & \sim \dfrac{1}{6}x^3 +\end{aligned} +$ + +$ +\begin{aligned} + & x+\sin x \\ + & =x-(-\sin x) \\ + & =1\cdot x^1-(-1\cdot x^1)+o(x) \\ + & =2x+o(x) \\ + & \sim 2x +\end{aligned} +$ + +$\therefore$ \bigskip + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{\sin^2x-x^2}{e^{x^4}-1} \\ + & =\lim_{x\to 0}\dfrac{(\sin x+x)(\sin x-x)}{x^4} \\ + & =\lim_{x\to 0}\dfrac{2x\cdot\left(-\dfrac{1}{6}x^3\right)}{x^4} \\ + & =-\dfrac{1}{3} +\end{aligned} +$ + + + +\section{极限计算} + +\subsection{未定式} + +未定式即需要自己定义的式子，可能存在极限也可能不存在，对于自变量的变化趋势分为六种，分别是对于$x_0$与$\infty$的各三种。 + +\subsubsection{化简} + +方式： + +\begin{enumerate} + \item 提出极限不为0的因式。 + \item 等价无穷小替换。 + \item 恒等变形（提公因式、拆项、合并、分子分母同除变量最高次幂、换元法）。 +\end{enumerate} + +\subsubsection{判断类型} + +七种：$\dfrac{0}{0},\dfrac{\infty}{\infty},0\cdot\infty,\infty-\infty,\infty^0,0^0,1^\infty$。 + +\ding{172}其中$\dfrac{0}{0}$为洛必达法则的基本型。$\dfrac{\infty}{\infty}$可以类比$\dfrac{0}{0}$的处理方式。$0\cdot\infty$可以转为$\dfrac{0}{\dfrac{1}{\infty}}=\dfrac{0}{0}=\dfrac{\infty}{\dfrac{1}{0}}=\dfrac{\infty}{\infty}$。设置分母有原则，简单因式才下放。（简单：幂函数，e为底的指数函数） + +\ding{173}$\infty-\infty$可以提取公因式或通分，即和差化积。 + +\ding{174}$\infty^0,0^0,1^\infty$，就是幂指函数。 + +$ +u^v=e^{v\ln u}=\left\{ +\begin{array}{lcl} + \infty^0 & \rightarrow & e^{0\cdot+\infty} \\ + 0^0 & \rightarrow & e^{0\cdot-\infty} \\ + 1^\infty & \rightarrow & e^{\infty\cdot 0} \\ +\end{array} \right. +$ + +$\therefore \lim u^v=e^{\lim v\cdot\ln u}=e^{\lim v(u-1)}$ + +\paragraph{比值类型} \leavevmode \bigskip + +$\dfrac{0}{0}$型\textbf{例题5：}求极限$\lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{100}}$ + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{100}} \\ + & = \lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}\cdot 2x^{-3}}{100x^99} \\ + & = \lim_{x\to 0}\dfrac{1}{50}\lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{102}} +\end{aligned} +$ + +\bigskip + +使用洛必达法则下更复杂，因为分子的幂次为负数，导致求导后幂次绝对值越来越大，不容易计算。 + +使用倒代换再洛必达降低幂次，令$\dfrac{1}{x^2}=t$。 + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{100}} \\ + & = \lim_{t\to+\infty}\dfrac{e^{-t}}{t^{-50}} \\ + & = \lim_{t\to+\infty}\dfrac{t^{50}}{e^t} \\ + & = \lim_{t\to+\infty}\dfrac{50t^{49}}{e^t} \\ + & = \cdots \\ + & = \lim_{t\to+\infty}\dfrac{50!}{e^t} \\ + & = 0 +\end{aligned} +$ + +$\infty\cdot 0$型\textbf{例题6：}求极限$\lim_{x\to-\infty}x(\sqrt{x^2+100}+x)$。 + +首先定性分析：$\lim_{x\to-\infty}x\cdot(\sqrt{x^2+100}+x)$。 + +在$x\to-\infty$趋向时，$x$就趋向无穷大，而$\sqrt{x^2+100}$为一次，所以$\sqrt{x^2+100}+x$趋向0。 + +又$\sqrt{x^2+100}$在$x\to-\infty$时本质为根号差，所以有理化： + +$ +\begin{aligned} + & \lim_{x\to-\infty}x(\sqrt{x^2+100}+x) \\ + & \lim_{x\to-\infty}x\dfrac{x^2+100-x^2}{\sqrt{x^100}-x} \\ + & = \lim_{x\to-\infty}\dfrac{100x}{\sqrt{x^2+100}-x} \\ + & \xRightarrow{\text{令}x=-t}\lim_{t\to+\infty}\dfrac{-100t}{\sqrt{t^2+100}+t} \\ + & = \lim_{t\to+\infty}\dfrac{-100}{\sqrt{1+\dfrac{100}{t^2}}+1} \\ + & = -50 +\end{aligned} +$ + +$\infty\cdot 0$型\textbf{例题7：}求极限$\lim_{x\to 1^-}\ln x\ln(1-x)$。 + +当$x\to 1^-$时，$\ln x$趋向0，$\ln(1-x)$趋向$-\infty$。 + +又$x\to 0$，$\ln(1+x)\sim x$，所以$x\to 1$，$\ln x\sim x-1$： + +$ +\begin{aligned} + & \lim_{x\to 1^-}\ln x\ln(1-x) \\ + & = \lim_{x\to 1^-}(x-1)\ln(1-x) \\ + & \xRightarrow{令t=1-x} =-\lim_{t\to 0^+}t\ln t \\ + & = -\lim_{t\to 0^+}\dfrac{\ln t}{\dfrac{1}{t}} \\ + & = -\lim_{t\to 0^+}\dfrac{\dfrac{1}{t}}{-\dfrac{1}{t^2}} \\ + & = \lim_{t\to 0^+}t \\ + & = 0 +\end{aligned} +$ + + +$\dfrac{0}{0}$型\textbf{例题8：}求极限$\lim_{x\to 0}\dfrac{\arcsin x-\arctan x}{\sin x-\tan x}$。 + +分析：该题目使用洛必达法则会比较麻烦且难以计算，所以先考虑是否能用泰勒展开： + +$x\to 0$，$\sin x=x-\dfrac{1}{6}x^3+o(x^3)$，$\tan x=x+\dfrac{1}{3}x^3+o(x^3)$，$\arcsin x=x+\dfrac{1}{6}x^3+o(x^3)$，$\arctan x=x-\dfrac{1}{3}x^3+o(x^3)$。 + +$\therefore \sin x-\tan x=-\dfrac{1}{2}x^3+o(x^3)$，$\arcsin x-\arctan x=\dfrac{1}{2}x^3+o(x^3)$ + +$\therefore \text{原式}=\dfrac{\dfrac{1}{x}x^3+o(x^3)}{-\dfrac{1}{2}x^3+o(x^3)}=-1$。 + +$0\cdot\infty$型\textbf{例题9：}求极限$\lim_{x\to 0}x\left[\dfrac{10}{x}\right]$，其中$[\cdot]$为取整符号。 + +取整函数公式：$x-1<[x]\leqslant x$，所以$\dfrac{10}{x}-1<\left[\dfrac{10}{x}\right]\leqslant\dfrac{10}{x}$。 + +当$x>0$时，$x\to 0^+$，两边都乘以10，$10-x0$时，$x\to 0^-$，同样也是夹逼准则得到极限为10。 + +$\therefore \lim_{x\to 0}x\left[\dfrac{10}{x}\right]$。 + +\paragraph{差类型} \leavevmode \bigskip + +\begin{itemize} + \item 如果函数中有分母，则通分，将加减法变形为乘除法，以便其他计算如洛必达法则。 + \item 若函数中没有分母，则可以通过提取公因式或倒数代换，出现分母，再利用通分等方式将加减法变成乘除法。 +\end{itemize} + +$\infty-\infty$型\textbf{例题10：}求极限$\lim_{x\to 0}\left(\dfrac{1}{\sin^2x}-\dfrac{\cos^2x}{x^2}\right)$。 + +$ +\begin{aligned} + & \lim_{x\to 0}\left(\dfrac{1}{\sin^2x}-\dfrac{\cos^2x}{x^2}\right) \\ + & = \lim_{x\to 0}\dfrac{x^2-\sin^2x\cos^2x}{\sin^2x\cdot x^2} (\sin x\sim x)\\ + & = \lim_{x\to 0}\dfrac{x^2-\sin^2x\cos^2x}{x^4} (\sin x\cos x\sim\dfrac{1}{2}\sin 2x)\\ + & = \lim_{x\to 0}\dfrac{x^2-\dfrac{1}{4}\sin^22x}{x^4} \\ + & = \lim_{x\to 0}\dfrac{2x-\dfrac{1}{4}\cdot 2\sin 2x\cdot\cos 2x\cdot 2}{4x^3} (\sin x\cos x\sim\dfrac{1}{2}\sin 2x)\\ + & = \lim_{x\to 0}\dfrac{2x-\dfrac{1}{2}\sin 4x}{4x^3} \\ + & = \lim_{x\to 0}\dfrac{2-\dfrac{1}{2}\cos 4x\cdot 4}{12x^2} \\ + & = \dfrac{1}{6}\lim_{x\to 0}\dfrac{1-\cos 4x}{x^2} (1-\cos x\sim \dfrac{1}{2}x^2)\\ + & = \dfrac{4}{3} +\end{aligned} +$ + +$\infty-\infty$型\textbf{例题11：}求极限$\lim_{x\to+\infty}[x^2(e^{\frac{1}{x}}-1)-x]$。 + +该式子无法进行因式分解，所以尝试使用倒数代换： + +$ +\begin{aligned} + & \lim_{x\to+\infty}[x^2(e^{\frac{1}{x}}-1)-x] \\ + & \xRightarrow{\text{令}x=\frac{1}{t}}\lim_{t\to 0^+}\left(\dfrac{e^t-1}{x^2}-\dfrac{1}{t}\right) \\ + & \lim_{t\to 0^+}\dfrac{e^t-1-t}{t^2} \\ + & \xRightarrow{\text{泰勒展开}e^x}\lim_{t\to 0^+}\dfrac{\dfrac{1}{2}x^2}{x^2} \\ + & =\dfrac{1}{2} +\end{aligned} +$ + +\paragraph{幂指类型} \leavevmode \bigskip + +$\infty^0$型\textbf{例题12：}求极限$\lim_{x\to+\infty}(x+\sqrt{1+x^2})^{\frac{1}{x}}$。 + +$ +\begin{aligned} + & \lim_{x\to+\infty}(x+\sqrt{1+x^2})^{\frac{1}{x}} \\ + & =e^{\lim_{x\to+\infty}\frac{(x+\sqrt{1+x^2})}{x}} \left(\ln(x+\sqrt{1+x^2})'=\dfrac{1}{\sqrt{1+x^2}}\right) \\ + & =e^{\lim_{x\to+\infty}\dfrac{1}{\sqrt{1+x^2}}} \\ + & =e^0 \\ + & =1 +\end{aligned} +$ + +$1^\infty$型\textbf{例题13：}求极限$\lim_{x\to 0}\left(\dfrac{e^x+e^{2x}+\cdots+e^{nx}}{n}\right)^{\frac{e}{x}}$。（$n\in N^+$） + +$ +\begin{aligned} + & \lim_{x\to 0}\left(\dfrac{e^x+e^{2x}+\cdots+e^{nx}}{n}\right)^{\frac{e}{x}} \\ + & =e^{\lim_{x\to 0}\dfrac{e}{x}\ln\left(\frac{e^x+e^{2x}+\cdots+e^{nx}}{n}\right)} \\ + & =e^{\lim_{x\to 0}\dfrac{e}{x}\left(\frac{e^x+e^{2x}+\cdots+e^{nx}}{n}-1\right)} \\ + & =e^{\lim_{x\to 0}\dfrac{e}{x}\left(\frac{e^x+e^{2x}+\cdots+e^{nx}-n}{n}\right)} \\ + & =e^{\frac{e}{n}\lim_{x\to 0}\left(\frac{e^x-1}{x}+\frac{e^{2x}-1}{x}+\cdots+\frac{e^{nx}-1}{x}\right)} \\ + & =e^{\frac{e}{n}[1+2+\cdots+n]} \\ + & =e^{\frac{e}{n}\cdot\frac{n(1+n)}{2}} \\ + & =e^{\frac{e(1+n)}{2}} +\end{aligned} +$ + +\subsection{极限转换} + +一般解法为两种。 + +一种是脱帽法：$\lim_{x\to x_0}f(x)\Leftrightarrow f(x)=A+\alpha(x),\lim_{x\to x_0}\alpha(x)=0$。 + +第二种就是根据之间的关系转换。 + +\textbf{例题14：}如果$\lim_{x\to 0}\dfrac{x-\sin x+f(x)}{x^4}$存在，则$\lim_{x\to 0}\dfrac{x^3}{f(x)}$为常数多少？ + +解法一： + +由$\lim_{x\to 0}\dfrac{x\sin x+f(x)}{x^4}=A$脱帽：$\dfrac{x\sin x+f(x)}{x^4}=A+\alpha$。 + +得到：$f(x)=Ax^4+\alpha\cdot x^4-(x-\sin x)$。 + +反代入：$\lim_{x\to 0}\dfrac{f(x)}{x^3}=\lim_{x\to 0}\dfrac{Ax^4+\alpha\cdot x^4-x+\sin x}{x^3}=0+0-\dfrac{1}{6}=-\dfrac{1}{6}$。 + +$\therefore \lim_{x\to 0}\dfrac{x^3}{f(x)}=-6$。 + +解法二： + +由$\lim_{x\to 0}\dfrac{x\sin x+f(x)}{x^4}=A$，而目标是$x^3$，所以需要变形： + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{x\sin x+f(x)}{x^4}=A \\ + & \lim_{x\to 0}\dfrac{x\sin x+f(x)\cdot x}{x^4}=A\cdot\lim_{x\to 0}x=0 \\ + & \lim_{x\to 0}\dfrac{x-\sin x}{x^3}+\lim_{x\to 0}\dfrac{f(x)}{x^3}=0 \\ + & \text{泰勒展开：}x-\sin x=\dfrac{1}{6}x^3 \\ + & \lim_{x\to 0}\dfrac{f(x)}{x^3}=-\dfrac{1}{6} \\ + & \lim_{x\to 0}\dfrac{x^3}{f(x)}=-6 +\end{aligned} +$ + +\subsection{求参数} + +因为求参数类型的题目中式子是未知的，所以求导后也是未知的，所以一般不要使用洛必达法则，而使用泰勒展开。 + +一般极限式子右侧等于一个常数，或是表明高阶或低阶。具体的关系参考无穷小比阶。 + +\textbf{例题15：}设$\lim_{x\to 0}\dfrac{\ln(1+x)-(ax+bx^2)}{x^2}=2$，求常数a，b。 + +根据泰勒展开式：$x\to 0,\ln(1+x)=x-\dfrac{x^2}{x}+o(x^2)$。 + +$ +\begin{aligned} + & \lim_{x\to 0}\dfrac{\ln(1+x)-(ax+bx^2)}{x^2}=2 \\ + & =\lim_{x\to 0}\dfrac{(1-a)x-\left(\dfrac{1}{2}+b\right)x^2+o(x^2)}{x^2}=2\neq 0 \\ + & 1-a=0;-\left(\dfrac{1}{2}+b\right)=2 \\ + & \therefore a=1;b=-\dfrac{5}{2} +\end{aligned} +$ + +\textcolor{orange}{注意：}根据泰勒公式，$x-\ln(1+x)\sim\dfrac{1}{2}x^2\sim 1-\cos x$。 + +\end{document} diff --git a/advanced-math/3-function-and-limit/function-and-limit.tex b/advanced-math/3-function-and-limit/function-and-limit.tex deleted file mode 100644 index 71ce7b0..0000000 --- a/advanced-math/3-function-and-limit/function-and-limit.tex +++ /dev/null @@ -1,826 +0,0 @@ -\documentclass[UTF8]{ctexart} -\usepackage{xcolor} -% 使用颜色 -\definecolor{orange}{RGB}{255,127,0} -\definecolor{violet}{RGB}{192,0,255} -\definecolor{aqua}{RGB}{0,255,255} -\usepackage{geometry} -\setcounter{tocdepth}{5} -\setcounter{secnumdepth}{5} -% 设置四级目录与标题 -\geometry{papersize={21cm,29.7cm}} -% 默认大小为A4 -\geometry{left=3.18cm,right=3.18cm,top=2.54cm,bottom=2.54cm} -% 默认页边距为1英尺与1.25英尺 -\usepackage{indentfirst} -\setlength{\parindent}{2.45em} -% 首行缩进2个中文字符 -\usepackage{amssymb} -% 因为所以与其他数学拓展 -\usepackage{amsmath} -% 数学公式 -\usepackage{setspace} -\renewcommand{\baselinestretch}{1.5} -% 1.5倍行距 -\usepackage{pifont} -% 圆圈序号 -\usepackage[colorlinks,linkcolor=black,urlcolor=blue]{hyperref} -% 超链接 -\usepackage{tikz} -% 绘图 -\usepackage{mathtools} -% 有字的长箭头 -\author{Didnelpsun} -\title{函数与极限} -\date{} -\begin{document} -\maketitle -\thispagestyle{empty} -\tableofcontents -\thispagestyle{empty} -\newpage -\pagestyle{plain} -\setcounter{page}{1} -\section{邻域} -\subsection{一维} - -邻域\textcolor{violet}{\textbf{定义：}}以点$x_0$为中心的任何开区间为点$x_0$的邻域，记为$U(x_0)$。 - -$\delta$邻域\textcolor{violet}{\textbf{定义：}}设$\delta$为一正数，则称开区间$(x_0-\delta,x_0+\delta)$为点$x_0$的$\delta$邻域，记作$U(x_0,\delta)$。$x_0$称为邻域的中心，$\delta$为邻域的半径。 - -去心$\delta$邻域就是去除$x_0$的$\delta$邻域，记为$\mathring{U}(x_0,\delta)$，左$\delta$邻域就是左侧的去心$\delta$邻域，记为$U^+(x_0,\delta)$，右$\delta$邻域就是右侧的去心$\delta$邻域，记为$U^-(x_0,\delta)$。 - -\subsection{二维} - -邻域\textcolor{violet}{\textbf{定义：}}设点$P_0(x_0,y_0)$为$xOy$平面上的一点，$\delta$为某一个正数，与点$P_0(x_0,y_0)$的距离小于$\delta$的点$P(x,y)$的全体，称为点$P_0$的$\delta$邻域，记为$U(P_0,\delta)$。 - -同理可以得到去心$\delta$邻域的定义。 - -$\delta$邻域的几何意义：以$P_0(x_0,y_0)$为中心，以$\delta>0$为半径的圆内部所有的点。 - -函数的邻域就是一个区间，所以比如函数在某点的某邻域内有定义，就是说明函数在这个点的附近有定义，这个附近的距离没有必要说明。 - -\section{定义} - -设函数$f(x)$在点$x_0$的某一个去心邻域有定义，若存在常数$A$，对于任意给定的$\epsilon>0$，总存在正数$\delta$，使得当$0<\vert x-x_0\vert<\delta$式，对应的函数值$f(x)$都满足不等式$\vert f(x)-A\vert <\epsilon$，则$A$就是函数$f(x)$当$x\to x_0$时的极限，记作$\lim_{x\to x_0}f(x)=A$或$f(x)\rightarrow A(x\rightarrow x_0)$。 - -写成$\epsilon-\delta$语言：$\lim_{x\to x_0}f(x)=A\Leftrightarrow\forall\epsilon>0,\exists\delta>0,\text{当}0<\vert x-x_0\vert<\delta$时，有$\vert f(x)-A\vert\epsilon$。 - -而对于趋向无穷时，写成$\epsilon-X$语言：$\lim_{x\to\infty}f(x)=A\Leftrightarrow\forall\epsilon>0,\exists X>0,\text{当}\vert x\vert>X$时，有$\vert f(x)-A\vert<\epsilon$。 - -\textcolor{orange}{注意：}这里的趋向分为六种：$x\to x_0$、$x\to x_0^+$、$x\to x_0^-$、$x\to\infty$、$x\to\infty^+$、$x\to\infty^-$。 - -\subsection{单侧极限} - -当$x\to x_0^-$存在的极限称为左极限，当$x\to x_0^+$存在的极限称为右极限。 - -\subsection{函数极限存在条件} - -函数存在的充要条件是： - -\begin{enumerate} - \item $\lim_{x\to x_0}f(x)\Leftrightarrow\lim_{x\to x_0^-}f(x)=\lim_{x\to x_0^+}f(x)=A$。 - \item 函数脱帽法：$\lim_{x\to x_0}f(x)\Leftrightarrow f(x)=A+\alpha(x),\lim_{x\to x_0}\alpha(x)=0$，后面的$\alpha(x)$就是函数与极限值的误差。 -\end{enumerate} - -\section{性质} - -任何$x$的趋向三个性质都是成立的。 - -\subsection{唯一性} - -若极限存在，则极限唯一。 - -\textbf{例题1：}设$a$为常数，$\lim_{x\to 0}\left(\dfrac{e^{\frac{1}{x}}-\pi}{e^{\frac{2}{x}}+1}+a\cdot\arctan\dfrac{1}{x}\right)$存在，求出极限值。 - -因为求$x\to 0$，所以需要分两种情况讨论： - -$ -\begin{aligned} - & \lim_{x\to 0^+}\left(\dfrac{e^{\frac{1}{x}}-\pi}{e^{\frac{2}{x}}+1}+a\cdot\arctan\dfrac{1}{x}\right) \\ - & = \lim_{x\to 0^+}\left(\dfrac{e^{\frac{1}{x}}-\pi}{e^{\frac{2}{x}}+1}\right)+\lim_{x\to 0^+}\left(a\cdot\arctan\dfrac{1}{x}\right) \\ - & = \lim_{x\to 0^+}\left(\dfrac{0\cdot\left(e^{\frac{2}{x}}\right)^2+e^{\frac{1}{x}}-\pi}{1\cdot\left(e^{\frac{2}{x}}\right)^2+1}\right)+a\cdot\dfrac{\pi}{2} \\ - & = a\cdot\dfrac{\pi}{2} \\ - & \lim_{x\to 0^-}\left(\dfrac{e^{\frac{1}{x}}-\pi}{e^{\frac{2}{x}}+1}+a\cdot\arctan\dfrac{1}{x}\right) \\ - & = -\pi+a\cdot\left(-\dfrac{\pi}{2}\right) \\ - & = -\pi-\dfrac{\pi}{2}\cdot a -\end{aligned} -$ - -因为极限值具有唯一性，所以$-\pi-\dfrac{\pi}{2}a=\dfrac{\pi}{2}a$，所以$a=-1$，极限值为$-\dfrac{\pi}{2}$。 - -\subsection{局部有界性} - -若极限存在且为$A$，则存在正常数$M$和$\delta$，使得当$0<\vert x-x_0\vert<\delta$时，有$\vert f(x)\vert\leqslant M$。 - -\begin{enumerate} - \item 极限存在是函数局部有界性的充分不必要条件。 - \item $f(x)$在$[a,b]$上连续，则$f(x)$在$[a,b]$上有界。 - \item 有限个有界函数与有界函数的和、差、积仍是有界函数。 - \item 若$f'(x)$在有限区间$(a,b)$内有界，则$f(x)$在该区间内有界。 -\end{enumerate} - -对于结论二，可以利用极限存在必然连续的概念，对$f(x)$在区间两端求极限从而证明有界。这里两端的极限不要求是一样的，因为两端不一样的极限表明该趋向点的极限值不存在，但是仍然有界。 - -证明结论四： - -利用中值定理：$f(b)-f(a)=f'(\xi)(b-a)$。 - -令$x\in(a,b),x_0\in(a,b)$。其中这两个值不知道大小，只知道范围。 - -代入中值定理：$f(x)-f(x_0)=f'(\xi)(x-x_0)$ - -$ -\begin{aligned} - \vert f(x)\vert & =\vert f(x_0)+f'(\xi)(x-x_0)\vert \\ - & \leqslant\vert f(x_0)\vert+\vert f'(\xi)\vert\vert x-x_0\vert\text{ （重要绝对值不等式）} \\ - & \leqslant\vert f(x_0)\vert+K\cdot(b-a) \\ - & \leqslant M -\end{aligned} -$ - -\textbf{例题2：}函数$f(x)=\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}$在哪个区间内有界（）。 - -$A.(-1,0)$\qquad$B.(0,1)$\qquad$C.(1,2)$\qquad$D.(2,3)$ - -解：看选项，0，1，2出现次数较多，所以从$B$选项开始检查是否有界： - -$\lim_{x\to 0^-}\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}=(-1)\cdot\dfrac{-\sin 2}{(-1)\cdot 4}=-\dfrac{\sin 2}{4}$ - -所以趋于$0^-$的一段有界。 - -同理$\lim_{x\to 0^+}\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}=\dfrac{\sin 2}{4}$。 - -所以趋于$0^+$的一段有界。 - -$\lim_{x\to 1^-}\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}$中$(x-1)$为0且在分母位置，所以极限为$\infty$，无界。 - -所以$(0,1)$无界，$B$排除。 - -同理$\lim_{x\to 1^+}\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}$也无穷大而无界。 - -所以$(1,2)$无界，$C$排除。 - -$\lim_{x\to 2^+}\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}$中不管前面的项，而看到后面的$\dfrac{\sin(x-2)}{(x-2)^2}$。 - -因为$\lim_{x\to 0}\dfrac{\sin x}{x}=1$，所以对于$\lim_{x\to 2}\dfrac{\sin(x-2)}{(x-2)}=1$，所以下面还有一个$x-2$，所以还是为$\infty$。 - -所以$(2,3)$无界，$D$排除。 - -验证-1处是否有界： - -$\lim_{x\to -1}\dfrac{\vert x\vert\sin(x-2)}{x(x-1)(x-2)^2}=-\dfrac{\sin 3}{18}$。 - -所以该处有界，所以选$A$。 - -\subsection{局部保号性} - -若极限存在，则存在常数$\delta>0$，使得当$0<\vert x-x_0\vert<\delta$时，$f(x)$与$A$同号。 - -简单来说，函数值在$x\to x_0$时函数值与极限值同号。 - -证明局部保号性： - -首先根据极限存在定义：$\forall\epsilon>0,\exists\delta>0,0<\vert x-x_0\vert<\delta$时，恒有$\vert f(x)-A\vert<\epsilon$。 - -$\Rightarrow -\epsilon0\Rightarrow f(x)>A-\dfrac{A}{2}=\dfrac{A}{2}>0$ - -证明完毕。 - -关于$\epsilon$的取值问题，为什么不能取到令结果为负的值，因为请注意这个取值得到的区间并不是$f(x)$的范围，而是对$f(x)$所在区间的陈述，其是无尽逼近$A$的，所以取多大的区间都无所谓。 - -推论：若函数值在$x\to x_0$时都非负或非正，极限值为$A$，那么$A$与此时函数值同号。不能去除等号。 - -\bigskip - -关于三个性质要注意自变量取值的双向性，所以需要留意下面几个函数： - -\begin{enumerate} - \item $\lim_{x\to\infty}e^x$不存在，因为$\lim_{x\to +\infty}e^x=+\infty$，$\lim_{x\to -\infty}e^x=0$。 - \item $\lim_{x\to 0}\dfrac{\sin x}{\vert x\vert}$不存在，因为$\lim_{x\to 0^+}\dfrac{\sin x}{\vert x\vert}=1$，$\lim_{x\to 0^-}\dfrac{\sin x}{\vert x\vert}=-1$。 - \item $\lim_{x\to\infty}\arctan x$不存在，因为$\lim_{x\to +\infty}\arctan x=\dfrac{\pi}{2}$，$\lim_{x\to -\infty}\arctan x=-\dfrac{\pi}{2}$。 - \item $\lim_{x\to 0}[x]$不存在，因为$\lim_{x\to 0^+}[x]=0$，$\lim_{x\to 0^-}[x]=-1$ -\end{enumerate} - -\section{运算法则} - -若$\lim f(x)=A$，$\lim g(x)=B$，则 - -\begin{enumerate} - \item $\lim[k\cdot f(x)\pm l\cdot g(x)]=k\lim f(x)\pm l\cdot g(x)=kA\pm lB$，其中$kl$为常数。 - \item $\lim[f(x)\cdot g(x)]=\lim f(x)\cdot\lim g(x)=A\cdot B$ - \item $\lim[f(x)]^n=[\lim f(x)]^n$，其中$n$为正整数。 - \item $\lim\dfrac{f(x)}{g(x)}=\dfrac{\lim f(x)}{\lim g(x)}=\dfrac{A}{B}(B\neq 0)$。 -\end{enumerate} - -\section{夹逼准则} - -\begin{enumerate} - \item $g(x)\leqslant f(x)\leqslant h(x)$。 - \item $\lim g(x)=A$且$\lim h(x)=A$。 - \item 则$\lim f(x)=A$。 -\end{enumerate} - -\textcolor{orange}{注意：}两函数差值极限为0不代表两函数极限相同，也不能保证中间的$f(x)$的极限存在。 - -\section{洛必达法则} - -\textcolor{aqua}{\textbf{定理：}} - -\begin{enumerate} - \item 当$x\to a\text{或}\infty$时，函数$f(x)$，$g(x)$都趋向0或无穷大。 - \item $f'(x)$和$F'(x)$在点$a$的某去心邻域内，或$\vert x\vert$大于充分大的正数时，存在，且$g'(x)\neq 0$。 - \item $\lim_{x\to a}\dfrac{f'(x)}{g'(x)}$或$\lim_{x\to\infty}\dfrac{f'(x)}{g'(x)}$存在或无穷大。 - \item $\lim_{x\to a}\dfrac{f(x)}{g(x)}=\lim_{x\to a}\dfrac{f'(x)}{g'(x)}$或$\lim_{x\to\infty}\dfrac{f(x)}{g(x)}=\lim_{x\to\infty}\dfrac{f'(x)}{g'(x)}$。 -\end{enumerate} - -\textcolor{orange}{注意：} - -\begin{enumerate} - \item 如果函数比值不为$\dfrac{0}{0}$或$\dfrac{\infty}{\infty}$型，则不能使用洛必达法则。 - \item 若求导后极限仍为$\dfrac{0}{0}$或$\dfrac{\infty}{\infty}$型，则可以继续使用洛必达法则。 - \item 若$\lim_{x\to a}\dfrac{f'(x)}{g'(x)}$不存在且不为$\infty$，不能反推$\lim_{x\to a}\dfrac{f(x)}{g(x)}$不存在也不为$\infty$，这时候洛必达法则是失效的。 -\end{enumerate} - -对于第三个注意点：$\lim_{x\to 0}\dfrac{x^2\cdot\sin\dfrac{1}{x}}{x}=\lim_{x\to 0}x\cdot\sin\dfrac{1}{x}=0$。 - -而使用洛必达法则： - -$\lim_{x\to 0}\dfrac{x^2\cdot\sin\dfrac{1}{x}}{x}=\lim_{x\to 0}\left(2x\cdot\sin\dfrac{1}{x}-\cos\dfrac{1}{x}\right)=\lim_{x\to 0}\left(-\cos\dfrac{1}{x}\right)=\text{不存在}$。 - -\section{泰勒公式} - -非常重要。 - -\subsection{定义} - -是一个用函数在某点的信息描述其附近取值的公式。如果函数满足一定的条件，泰勒公式可以用函数在某一点的各阶导数值做系数构建一个多项式来近似表达这个函数。即形式：$f(x)=\sum ax^n$。 - -简单来说，泰勒公式就是一个近似表达函数的公式。其极限趋向为趋向0。 - -对于泰勒公式以及后面的中值定理等相关延申见\href{https://www.zhihu.com/question/25627482}{知乎回答}。 - -\subsection{泰勒展开} - -当$x\to 0$时： - -\begin{enumerate} - \item $\sin x=x-\dfrac{x^3}{3!}+o(x^3)$。 - \item $\cos x=1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}+o(x^4)$。 - \item $\arcsin x=x+\dfrac{x^3}{3!}+o(x^3)$。 - \item $\tan x=x+\dfrac{x^3}{3}+o(x^3)$。 - \item $\arctan x=x-\dfrac{x^3}{3}+o(x^3)$。 - \item $\ln(1+x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}+o(x^3)$。 - \item $e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+o(x^3)$。 - \item $(1+x)^\alpha=1+\alpha\cdot x+\dfrac{\alpha\cdot(\alpha-1)}{2!}x^2+o(x^2)$。 -\end{enumerate} - -其中$o(x^\alpha)$为佩亚诺余项，其非常小。 - -同样可以对泰勒展开式进行变形：$x-\sin x\sim\dfrac{x^3}{6}$，$x+\sin x\sim 2x$。 - -如： - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{[\sin x-\sin(\sin x)]\sin x}{x^4} \\ - & =\dfrac{\dfrac{1}{6}\sin^3x\cdot\sin x}{x^4} \\ - & =\dfrac{\dfrac{1}{6}\sin^4x}{x^4} \\ - & =\dfrac{1}{6} -\end{aligned} -$ - -\subsection{无穷小运算} - -\begin{enumerate} - \item 有限个无穷小的和是无穷小。 - \item 有界函数与无穷小的乘积是无穷小。 - \item 有限个无穷小的乘积是无穷小。 -\end{enumerate} - -无穷小运算，设$m$，$n$为正整数： - -\begin{enumerate} - \item $o(x^m)\pm o(x^n)=o(x^l),l=\min{m,n}$（加减法低阶吸收高阶）。 - \item $o(x^m)\cdot o(x^n)=o(x^{m+n}),x^m\cdot o(x^n)=o(x^{m+n})$（乘法累加）。 - \item $o(x^m)=o(k\cdot x^m)=k\cdot o(x^m)$，$k\neq 0$且为常数（非零常数相乘不影响阶数）。 -\end{enumerate} - -\subsection{展开幂的选择} - -泰勒公式展开时应该展开到多少次幂？ - -\subsubsection{\texorpdfstring{$\dfrac{A}{B}$}型，上下同阶} - -当分母或分子式$x$的$k$次幂那么应该把分母或分子展开到对应的次数幂。 - -如$\lim_{x\to 0}\dfrac{x-\sin x}{x^3}$展开为三次： - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{x-\sin x}{x^3} \\ - & =\lim_{x\to 0}\dfrac{x-\left[x-\dfrac{1}{6}x^3+o(x^3)\right]}{x^3} \\ - & =\lim_{x\to 0}\dfrac{\dfrac{1}{6}x^3+o(x^3)}{x^3} \\ - & =\dfrac{1}{6} -\end{aligned} -$ - -\subsubsection{\texorpdfstring{$A-B$}型，幂次最低} - -将$A$，$B$分别展到他们系数不相等的$x$的最低次幂为止。 - -如已知当$x\to 0$时，$\cos x-e^{-\frac{x^2}{2}}$与$ax^k$为等价无穷小，求$a$，$b$。 - -泰勒展开： - -$ -\begin{aligned} - & \cos x-e^{-\frac{x^2}{2}} \\ - & = 1-\dfrac{x^2}{2}+\dfrac{1}{24}x^4+o(x^4)-\left(1-\dfrac{x^2}{2}+\dfrac{1}{8}x^4+o(x^4)\right) \\ - & = -\dfrac{1}{12}x^4+o(x^4) \\ - & \sim -\dfrac{1}{12}x^4 -\end{aligned} -$ - -$\therefore a=-\dfrac{1}{12},b=4$。 - -\textbf{例题3：}求解$\lim_{x\to 0}\dfrac{\sin^2x-x^2}{e^{x^4}-1}$。 - -首先由泰勒展开式$e^x=1+x+o(x)$，得到$e^x-1\sim x$。 - -$\therefore e^{x^4}-1\sim x^4$。 - -然后泰勒展开： - -$ -\begin{aligned} - & x-\sin x \\ - & = 1\cdot x^1+0\cdot x^3 - (1\cdot x^1-\dfrac{1}{6}x^3+o(x^3)) \\ - & = \dfrac{1}{6}x^3+o(x^3) \\ - & \sim \dfrac{1}{6}x^3 -\end{aligned} -$ - -$ -\begin{aligned} - & x+\sin x \\ - & =x-(-\sin x) \\ - & =1\cdot x^1-(-1\cdot x^1)+o(x) \\ - & =2x+o(x) \\ - & \sim 2x -\end{aligned} -$ - -$\therefore$ \bigskip - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{\sin^2x-x^2}{e^{x^4}-1} \\ - & =\lim_{x\to 0}\dfrac{(\sin x+x)(\sin x-x)}{x^4} \\ - & =\lim_{x\to 0}\dfrac{2x\cdot\left(-\dfrac{1}{6}x^3\right)}{x^4} \\ - & =-\dfrac{1}{3} -\end{aligned} -$ - -\section{海涅定理（归结原则）} - -\subsection{定义} - -设$f(x)$在$\mathring{U}(x_0,\delta)$内有定义，则$\lim_{x\to x_0}f(x)=A$存在$\Leftrightarrow$对任何$\mathring{U}(x_0,\delta)$内以$x_0$为极限的数列$\{x_n\}(x_n\neq x_0)$，极限$\lim_{n\to\infty}f(x_n)=A$存在。 - -海涅定理用来连接数列极限与函数极限。在极限存在下他们可以相互转换。 - -\textbf{例题4：}求$\lim_{n\to\infty}\left(n\tan\dfrac{1}{n}\right)^{n^2}$（$n\in N^+$）。 - -$\because \lim_{x\to 0}\left(\dfrac{\tan x}{x}\right)^{\frac{1}{x^2}}$ - -又$u^v=e^{v\ln u}$ - -$\therefore =e^{\lim_{x\to 0}\frac{1}{x^2}\ln\frac{\tan x}{x}}$ - -又在$x\to 0$下$\ln (1+x)\sim x$，$\therefore \ln(1+g(x))\sim g(x),g(x)\to 0$。 - -而$\dfrac{\tan x}{x}$在$x\to 0$时趋于1，不满足趋于0的条件，所以正好变形$\ln\left(1+\dfrac{\tan x}{x}-1\right)$。 - -$\therefore \ln\left(1+\dfrac{\tan x}{x}-1\right)\sim\dfrac{\tan x}{x}-1$，$\dfrac{\tan x}{x}-1\to 0$。 - -又泰勒展开$\tan x-x=x+\dfrac{x^3}{3}+o(x^3)-x-0\cdot x^3=\dfrac{x^3}{3}$。 - -$\therefore$ \bigskip - -$ -\begin{aligned} - & e^{\lim_{x\to 0}\frac{1}{x^2}\ln\frac{\tan x}{x}} \\ - & =e^{\lim_{x\to 0}\frac{1}{x^2}\frac{\tan x-x}{x}} \\ - & =e^{\lim_{x\to 0}\frac{1}{x^2}\cdot\frac{x^2}{3}} \\ - & = e^{\frac{1}{3}} -\end{aligned} -$ - -根据海涅定理：取$x=\dfrac{1}{n},n\to\infty$，$\lim_{n\to\infty}\left(n\tan\dfrac{1}{n}\right)^{n^2}=e^{\frac{1}{3}}$。 - -\section{无穷小比阶} - -\subsection{无穷定义} - -当$x\to x_0(\infty)$时，函数$f(x)$极限为0，就称$f(x)$为当$x\to x_0(\infty)$时的无穷小，记为：$\lim_{x\to x_0(\infty)}f(x)=0$。 - -以0为极限的数列称为$n\to\infty$时的无穷小。 - -无穷大\textcolor{violet}{\textbf{定义：}}当$x\to x_0(\infty)$时，函数$\vert f(x)\vert$无限增大，就称$f(x)$为当$x\to x_0(\infty)$时的无穷大，记为：$\lim_{x\to x_0(\infty)}f(x)=\infty$。 - -\subsection{无穷小比阶定义} - -设在自变量同一变化过程中，$\lim\alpha(x)=0$，$\lim\beta(x)=0$，且$\beta(x)\neq 0$，则： - -\begin{enumerate} - \item 若$\lim\dfrac{\alpha(x)}{\beta(x)}=0$，则$\alpha(x)$是比$\beta(x)$高阶的无穷小，记为$\alpha(x)=o(\beta(x))$。 - \item 若$\lim\dfrac{\alpha(x)}{\beta(x)}=\infty$，则$\alpha(x)$是比$\beta(x)$低阶的无穷小。 - \item 若$\lim\dfrac{\alpha(x)}{\beta(x)}=c\neq 0$，则$\alpha(x)$与$\beta(x)$是同阶无穷小。 - \item 若$\lim\dfrac{\alpha(x)}{\beta(x)}=1$，则$\alpha(x)$与$\beta(x)$是等价无穷小，记为$\alpha(x)\sim\beta(x)$。 - \item 若$\lim\dfrac{\alpha(x)}{[\beta(x)]^k}=c\neq 0$，则$\alpha(x)$是$\beta(x)$的$k$阶无穷小。 -\end{enumerate} - -并不是任意无穷小都可以比阶。如$\lim_{x\to 0}\dfrac{x\sin\dfrac{1}{x}}{x^2}$就因为得到函数振荡而无法得到极限。 - -\subsection{常用等价无穷小} - -$x\to 0$： - -\begin{enumerate} - \item $\sin x\sim x$。 - \item $\tan x\sim x$。 - \item $\arcsin x\sim x$。 - \item $\arctan x\sim x$。 - \item $\ln(1+x)\sim x$。 - \item $e^x-1\sim x$。 - \item $a^x-1\sim x\ln a$。 - \item $1-\cos x\sim\dfrac{1}{2}x^2$。 - \item $(1+x)^a-1\sim ax$。 -\end{enumerate} - -还有$e^{\sin x}-e^x\sim\sin x-x\sim-\dfrac{1}{6}x^3$。 - -其中$a\cdot x\ln x$当$x\to 0$的极限必然为0。 - -\section{极限计算} - -\subsection{未定式} - -未定式即需要自己定义的式子，可能存在极限也可能不存在，对于自变量的变化趋势分为六种，分别是对于$x_0$与$\infty$的各三种。 - -\subsubsection{化简} - -方式： - -\begin{enumerate} - \item 提出极限不为0的因式。 - \item 等价无穷小替换。 - \item 恒等变形（提公因式、拆项、合并、分子分母同除变量最高次幂、换元法）。 -\end{enumerate} - -\subsubsection{判断类型} - -七种：$\dfrac{0}{0},\dfrac{\infty}{\infty},0\cdot\infty,\infty-\infty,\infty^0,0^0,1^\infty$。 - -\ding{172}其中$\dfrac{0}{0}$为洛必达法则的基本型。$\dfrac{\infty}{\infty}$可以类比$\dfrac{0}{0}$的处理方式。$0\cdot\infty$可以转为$\dfrac{0}{\dfrac{1}{\infty}}=\dfrac{0}{0}=\dfrac{\infty}{\dfrac{1}{0}}=\dfrac{\infty}{\infty}$。设置分母有原则，简单因式才下放。（简单：幂函数，e为底的指数函数） - -\ding{173}$\infty-\infty$可以提取公因式或通分，即和差化积。 - -\ding{174}$\infty^0,0^0,1^\infty$，就是幂指函数。 - -$ -u^v=e^{v\ln u}=\left\{ -\begin{array}{lcl} - \infty^0 & \rightarrow & e^{0\cdot+\infty} \\ - 0^0 & \rightarrow & e^{0\cdot-\infty} \\ - 1^\infty & \rightarrow & e^{\infty\cdot 0} \\ -\end{array} \right. -$ - -$\therefore \lim u^v=e^{\lim v\cdot\ln u}=e^{\lim v(u-1)}$ - -\paragraph{比值类型} \leavevmode \bigskip - -$\dfrac{0}{0}$型\textbf{例题5：}求极限$\lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{100}}$ - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{100}} \\ - & = \lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}\cdot 2x^{-3}}{100x^99} \\ - & = \lim_{x\to 0}\dfrac{1}{50}\lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{102}} -\end{aligned} -$ - -\bigskip - -使用洛必达法则下更复杂，因为分子的幂次为负数，导致求导后幂次绝对值越来越大，不容易计算。 - -使用倒代换再洛必达降低幂次，令$\dfrac{1}{x^2}=t$。 - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{e^{-\frac{1}{x^2}}}{x^{100}} \\ - & = \lim_{t\to+\infty}\dfrac{e^{-t}}{t^{-50}} \\ - & = \lim_{t\to+\infty}\dfrac{t^{50}}{e^t} \\ - & = \lim_{t\to+\infty}\dfrac{50t^{49}}{e^t} \\ - & = \cdots \\ - & = \lim_{t\to+\infty}\dfrac{50!}{e^t} \\ - & = 0 -\end{aligned} -$ - -$\infty\cdot 0$型\textbf{例题6：}求极限$\lim_{x\to-\infty}x(\sqrt{x^2+100}+x)$。 - -首先定性分析：$\lim_{x\to-\infty}x\cdot(\sqrt{x^2+100}+x)$。 - -在$x\to-\infty$趋向时，$x$就趋向无穷大，而$\sqrt{x^2+100}$为一次，所以$\sqrt{x^2+100}+x$趋向0。 - -又$\sqrt{x^2+100}$在$x\to-\infty$时本质为根号差，所以有理化： - -$ -\begin{aligned} - & \lim_{x\to-\infty}x(\sqrt{x^2+100}+x) \\ - & \lim_{x\to-\infty}x\dfrac{x^2+100-x^2}{\sqrt{x^100}-x} \\ - & = \lim_{x\to-\infty}\dfrac{100x}{\sqrt{x^2+100}-x} \\ - & \xRightarrow{\text{令}x=-t}\lim_{t\to+\infty}\dfrac{-100t}{\sqrt{t^2+100}+t} \\ - & = \lim_{t\to+\infty}\dfrac{-100}{\sqrt{1+\dfrac{100}{t^2}}+1} \\ - & = -50 -\end{aligned} -$ - -$\infty\cdot 0$型\textbf{例题7：}求极限$\lim_{x\to 1^-}\ln x\ln(1-x)$。 - -当$x\to 1^-$时，$\ln x$趋向0，$\ln(1-x)$趋向$-\infty$。 - -又$x\to 0$，$\ln(1+x)\sim x$，所以$x\to 1$，$\ln x\sim x-1$： - -$ -\begin{aligned} - & \lim_{x\to 1^-}\ln x\ln(1-x) \\ - & = \lim_{x\to 1^-}(x-1)\ln(1-x) \\ - & \xRightarrow{令t=1-x} =-\lim_{t\to 0^+}t\ln t \\ - & = -\lim_{t\to 0^+}\dfrac{\ln t}{\dfrac{1}{t}} \\ - & = -\lim_{t\to 0^+}\dfrac{\dfrac{1}{t}}{-\dfrac{1}{t^2}} \\ - & = \lim_{t\to 0^+}t \\ - & = 0 -\end{aligned} -$ - - -$\dfrac{0}{0}$型\textbf{例题8：}求极限$\lim_{x\to 0}\dfrac{\arcsin x-\arctan x}{\sin x-\tan x}$。 - -分析：该题目使用洛必达法则会比较麻烦且难以计算，所以先考虑是否能用泰勒展开： - -$x\to 0$，$\sin x=x-\dfrac{1}{6}x^3+o(x^3)$，$\tan x=x+\dfrac{1}{3}x^3+o(x^3)$，$\arcsin x=x+\dfrac{1}{6}x^3+o(x^3)$，$\arctan x=x-\dfrac{1}{3}x^3+o(x^3)$。 - -$\therefore \sin x-\tan x=-\dfrac{1}{2}x^3+o(x^3)$，$\arcsin x-\arctan x=\dfrac{1}{2}x^3+o(x^3)$ - -$\therefore \text{原式}=\dfrac{\dfrac{1}{x}x^3+o(x^3)}{-\dfrac{1}{2}x^3+o(x^3)}=-1$。 - -$0\cdot\infty$型\textbf{例题9：}求极限$\lim_{x\to 0}x\left[\dfrac{10}{x}\right]$，其中$[\cdot]$为取整符号。 - -取整函数公式：$x-1<[x]\leqslant x$，所以$\dfrac{10}{x}-1<\left[\dfrac{10}{x}\right]\leqslant\dfrac{10}{x}$。 - -当$x>0$时，$x\to 0^+$，两边都乘以10，$10-x0$时，$x\to 0^-$，同样也是夹逼准则得到极限为10。 - -$\therefore \lim_{x\to 0}x\left[\dfrac{10}{x}\right]$。 - -\paragraph{差类型} \leavevmode \bigskip - -\begin{itemize} - \item 如果函数中有分母，则通分，将加减法变形为乘除法，以便其他计算如洛必达法则。 - \item 若函数中没有分母，则可以通过提取公因式或倒数代换，出现分母，再利用通分等方式将加减法变成乘除法。 -\end{itemize} - -$\infty-\infty$型\textbf{例题10：}求极限$\lim_{x\to 0}\left(\dfrac{1}{\sin^2x}-\dfrac{\cos^2x}{x^2}\right)$。 - -$ -\begin{aligned} - & \lim_{x\to 0}\left(\dfrac{1}{\sin^2x}-\dfrac{\cos^2x}{x^2}\right) \\ - & = \lim_{x\to 0}\dfrac{x^2-\sin^2x\cos^2x}{\sin^2x\cdot x^2} (\sin x\sim x)\\ - & = \lim_{x\to 0}\dfrac{x^2-\sin^2x\cos^2x}{x^4} (\sin x\cos x\sim\dfrac{1}{2}\sin 2x)\\ - & = \lim_{x\to 0}\dfrac{x^2-\dfrac{1}{4}\sin^22x}{x^4} \\ - & = \lim_{x\to 0}\dfrac{2x-\dfrac{1}{4}\cdot 2\sin 2x\cdot\cos 2x\cdot 2}{4x^3} (\sin x\cos x\sim\dfrac{1}{2}\sin 2x)\\ - & = \lim_{x\to 0}\dfrac{2x-\dfrac{1}{2}\sin 4x}{4x^3} \\ - & = \lim_{x\to 0}\dfrac{2-\dfrac{1}{2}\cos 4x\cdot 4}{12x^2} \\ - & = \dfrac{1}{6}\lim_{x\to 0}\dfrac{1-\cos 4x}{x^2} (1-\cos x\sim \dfrac{1}{2}x^2)\\ - & = \dfrac{4}{3} -\end{aligned} -$ - -$\infty-\infty$型\textbf{例题11：}求极限$\lim_{x\to+\infty}[x^2(e^{\frac{1}{x}}-1)-x]$。 - -该式子无法进行因式分解，所以尝试使用倒数代换： - -$ -\begin{aligned} - & \lim_{x\to+\infty}[x^2(e^{\frac{1}{x}}-1)-x] \\ - & \xRightarrow{\text{令}x=\frac{1}{t}}\lim_{t\to 0^+}\left(\dfrac{e^t-1}{x^2}-\dfrac{1}{t}\right) \\ - & \lim_{t\to 0^+}\dfrac{e^t-1-t}{t^2} \\ - & \xRightarrow{\text{泰勒展开}e^x}\lim_{t\to 0^+}\dfrac{\dfrac{1}{2}x^2}{x^2} \\ - & =\dfrac{1}{2} -\end{aligned} -$ - -\paragraph{幂指类型} \leavevmode \bigskip - -$\infty^0$型\textbf{例题12：}求极限$\lim_{x\to+\infty}(x+\sqrt{1+x^2})^{\frac{1}{x}}$。 - -$ -\begin{aligned} - & \lim_{x\to+\infty}(x+\sqrt{1+x^2})^{\frac{1}{x}} \\ - & =e^{\lim_{x\to+\infty}\frac{(x+\sqrt{1+x^2})}{x}} \left(\ln(x+\sqrt{1+x^2})'=\dfrac{1}{\sqrt{1+x^2}}\right) \\ - & =e^{\lim_{x\to+\infty}\dfrac{1}{\sqrt{1+x^2}}} \\ - & =e^0 \\ - & =1 -\end{aligned} -$ - -$1^\infty$型\textbf{例题13：}求极限$\lim_{x\to 0}\left(\dfrac{e^x+e^{2x}+\cdots+e^{nx}}{n}\right)^{\frac{e}{x}}$。（$n\in N^+$） - -$ -\begin{aligned} - & \lim_{x\to 0}\left(\dfrac{e^x+e^{2x}+\cdots+e^{nx}}{n}\right)^{\frac{e}{x}} \\ - & =e^{\lim_{x\to 0}\dfrac{e}{x}\ln\left(\frac{e^x+e^{2x}+\cdots+e^{nx}}{n}\right)} \\ - & =e^{\lim_{x\to 0}\dfrac{e}{x}\left(\frac{e^x+e^{2x}+\cdots+e^{nx}}{n}-1\right)} \\ - & =e^{\lim_{x\to 0}\dfrac{e}{x}\left(\frac{e^x+e^{2x}+\cdots+e^{nx}-n}{n}\right)} \\ - & =e^{\frac{e}{n}\lim_{x\to 0}\left(\frac{e^x-1}{x}+\frac{e^{2x}-1}{x}+\cdots+\frac{e^{nx}-1}{x}\right)} \\ - & =e^{\frac{e}{n}[1+2+\cdots+n]} \\ - & =e^{\frac{e}{n}\cdot\frac{n(1+n)}{2}} \\ - & =e^{\frac{e(1+n)}{2}} -\end{aligned} -$ - -\subsection{极限转换} - -一般解法为两种，一种是脱帽法：$\lim_{x\to x_0}f(x)\Leftrightarrow f(x)=A+\alpha(x),\lim_{x\to x_0}\alpha(x)=0$。第二种就是根据之间的关系转换。 - -\textbf{例题14：}如果$\lim_{x\to 0}\dfrac{x-\sin x+f(x)}{x^4}$存在，则$\lim_{x\to 0}\dfrac{x^3}{f(x)}$为常数多少？ - -解法一： - -由$\lim_{x\to 0}\dfrac{x\sin x+f(x)}{x^4}=A$脱帽：$\dfrac{x\sin x+f(x)}{x^4}=A+\alpha$。 - -得到：$f(x)=Ax^4+\alpha\cdot x^4-(x-\sin x)$。 - -反代入：$\lim_{x\to 0}\dfrac{f(x)}{x^3}=\lim_{x\to 0}\dfrac{Ax^4+\alpha\cdot x^4-x+\sin x}{x^3}=0+0-\dfrac{1}{6}=-\dfrac{1}{6}$。 - -$\therefore \lim_{x\to 0}\dfrac{x^3}{f(x)}=-6$。 - -解法二： - -由$\lim_{x\to 0}\dfrac{x\sin x+f(x)}{x^4}=A$，而目标是$x^3$，所以需要变形： - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{x\sin x+f(x)}{x^4}=A \\ - & \lim_{x\to 0}\dfrac{x\sin x+f(x)\cdot x}{x^4}=A\cdot\lim_{x\to 0}x=0 \\ - & \lim_{x\to 0}\dfrac{x-\sin x}{x^3}+\lim_{x\to 0}\dfrac{f(x)}{x^3}=0 \\ - & \text{泰勒展开：}x-\sin x=\dfrac{1}{6}x^3 \\ - & \lim_{x\to 0}\dfrac{f(x)}{x^3}=-\dfrac{1}{6} \\ - & \lim_{x\to 0}\dfrac{x^3}{f(x)}=-6 -\end{aligned} -$ - -\subsection{求参数} - -因为求参数类型的题目中式子是未知的，所以求导后也是未知的，所以一般不要使用洛必达法则，而使用泰勒展开。 - -一般极限式子右侧等于一个常数，或是表明高阶或低阶。具体的关系参考无穷小比阶。 - -\textbf{例题15：}设$\lim_{x\to 0}\dfrac{\ln(1+x)-(ax+bx^2)}{x^2}=2$，求常数a，b。 - -根据泰勒展开式：$x\to 0,\ln(1+x)=x-\dfrac{x^2}{x}+o(x^2)$。 - -$ -\begin{aligned} - & \lim_{x\to 0}\dfrac{\ln(1+x)-(ax+bx^2)}{x^2}=2 \\ - & =\lim_{x\to 0}\dfrac{(1-a)x-\left(\dfrac{1}{2}+b\right)x^2+o(x^2)}{x^2}=2\neq 0 \\ - & 1-a=0;-\left(\dfrac{1}{2}+b\right)=2 \\ - & \therefore a=1;b=-\dfrac{5}{2} -\end{aligned} -$ - -\textcolor{orange}{注意：}根据泰勒公式，$x-\ln(1+x)\sim\dfrac{1}{2}x^2\sim 1-\cos x$。 - -函数的连续与间断是逐点的概念。 - -\section{连续} -\subsection{定义} - -若函数$f(x)$在点$x_0$的某一邻域内有定义，且有$\lim_{x\to x_0}f(x)=f(x_0)$，则称函数$f(x)$在点$x_0$处连续。 - -极限值等于函数值，则该点连续。 - -\section{间断} - -讨论间断只看两类点：分段函数分段点，无定义点。 - -\subsection{定义} - -若函数$f(x)$在点$x_0$的某一去心邻域内有定义，且有$\lim_{x\to x_0}f(x)\neq f(x_0)$，则称函数$f(x)$在点$x_0$处间断。 - -极限值不等于函数值，则该点间断。 - -\subsection{分类} -\subsubsection{可去间断点（可补间断点）} - -若$\lim_{x\to x_0}f(x)=A\neq f(x_0)$（甚至可以没有定义）。 - -\begin{tikzpicture} - \draw[-latex](-0.5,0) -- (3,0) node[below]{$x$}; - \draw[-latex](0,-0.5) -- (0,3) node[above]{$y$}; - \filldraw[black] (0,0) node[below]{$O$}; - \draw[black, thick, domain=-0.5:2] plot (\x,{pow(e,\x-1)}); - \filldraw[white, draw=black, line width=1pt] (1,1) circle (2pt); - \draw[black, densely dashed](1,2) -- (0,2) node[left]{$B$}; - \draw[black, densely dashed](1,1) -- (0,1) node[left]{$A$}; - \draw[black, densely dashed](1,2) -- (1,0) node[below]{$x_0$}; - \filldraw[black] (1,2) circle (2pt) node[above]{$f(x_0)=B$}; - \filldraw[black] (1,1) node[right]{$\lim_{x\to x_0}=A$}; -\end{tikzpicture} - -\subsubsection{跳跃间断点} - -若$\lim_{x\to x_0^-}f(x)$与$\lim_{x\to x_0^+}$都存在，但是$\lim_{x\to x_0^-}f(x)\neq\lim_{x\to x_0^+}$。 - -\begin{tikzpicture} - \draw[-latex](-0.5,0) -- (3,0) node[below]{$x$}; - \draw[-latex](0,-0.5) -- (0,3) node[above]{$y$}; - \filldraw[black] (0,0) node[below]{$O$}; - \draw[black, thick, domain=-0.5:1] plot (\x,{pow(e,\x-1)}); - \draw[black, thick, domain=1:1.5] plot (\x,{pow(e,\x-1)+1}); - \filldraw[white, draw=black, line width=1pt] (1,1) circle (2pt); - \draw[black, densely dashed](1,2) -- (0,2) node[left]{$B$}; - \draw[black, densely dashed](1,1) -- (0,1) node[left]{$A$}; - \draw[black, densely dashed](1,2) -- (1,0) node[below]{$x_0$}; - \filldraw[black] (1,2) circle (2pt) node[above]{$f(x_0)=B$}; - \filldraw[black] (1,1) node[right]{$\lim_{x\to x_0}=A$}; -\end{tikzpicture} - -可去间断点与跳跃间断点都称为第一类间断点。 - -\subsubsection{无穷间断点} - -若$\lim_{x\to x_0}f(x)=\infty$，或至少一个方向为无穷大（定义分歧）。如$y=\dfrac{1}{x}$在$x=0$处为无穷间断点。 - -\begin{tikzpicture} - \draw[-latex](-2,0) -- (2,0) node[below]{$x$}; - \draw[-latex](0,-2) -- (0,2) node[above]{$y$}; - \filldraw[black] (0,0) node[below]{$O$}; - \draw[black, thick, domain=0.5:2] plot (\x,{pow(\x,-1)}); - \draw[black, thick, domain=-2:-0.5] plot (\x,{pow(\x,-1)}); -\end{tikzpicture} - -\subsubsection{振荡间断点} - -若$\lim_{x\to x_0}f(x)$为振荡不存在。如$\lim_{x\to 0}\sin\dfrac{1}{x}$的$x=0$就是振荡间断点。 - -\begin{tikzpicture} - \draw[-latex](-2,0) -- (2,0) node[below]{$x$}; - \draw[-latex](0,-1.5) -- (0,1.5) node[above]{$y$}; - \filldraw[black] (0,0) node[below]{$O$}; - \draw[black, thick, domain=0.01:2] plot (\x,{sin(pow(\x,-1) r)}); - \draw[black, thick, domain=-2:-0.01] plot (\x,{sin(pow(\x,-1) r)}); -\end{tikzpicture} - -无穷间断点与振荡间断点都是第二类间断点。 - -\textcolor{orange}{注意：}两侧邻域都有定义才能讨论间断点问题。 - -\textbf{例题16：}若$f(x)=\left\{ - \begin{array}{lcl} - 2x+a, & & x\leqslant 0 \\ - e^x(\sin x+\cos x), & & x>0 - \end{array} \right. -$在$(-\infty,+\infty)$内连续，求$a$。 - -因为连续，所以$f(0)=\lim_{x\to 0^+}f(x)=\lim_{x\to 0^-}f(x)$。 - -$\therefore a=1$。 - -\textbf{例题17：}若函数$f(x)=\dfrac{\ln\vert x\vert}{\vert x-1\vert}\sin x$，则x的间断点类型是？ - -由式子的分式部分可知有两个无定义的间断点：$x=0$，$x=1$。 - -$\lim_{x\to 1}f(x)=\lim_{x\to 1}\dfrac{x-1}{\vert x-1\vert}\sin x=\left\{ - \begin{array}{lcl} - x\to 1^+ & \rightarrow & \sin 1 \\ - x\to 1^- & \rightarrow & -\sin 1 - \end{array} \right. -$ - -所以$x=1$跳跃间断点。 - -$\lim_{x\to 0}f(x)=\lim_{x\to 0}\ln\vert x\vert\cdot\sin x=\lim_{x\to 0}x\ln\vert x\vert=0$ - -而$x=0$未定义，所以其为可去间断点。 - -\end{document} diff --git a/advanced-math/4-single-variable-function-differential-calculus/single-variable-function-differential-calculus.tex b/advanced-math/4-single-variable-function-differential-calculus/single-variable-function-differential-calculus.tex index 9d538e8..a300fc3 100644 --- a/advanced-math/4-single-variable-function-differential-calculus/single-variable-function-differential-calculus.tex +++ b/advanced-math/4-single-variable-function-differential-calculus/single-variable-function-differential-calculus.tex @@ -1,4 +1,4 @@ -\documentclass[UTF8]{ctexart} +\documentclass[UTF8, 12pt]{ctexart} % UTF8编码，ctexart现实中文 \usepackage{xcolor} % 使用颜色 diff --git a/model/model.tex b/model/model.tex index 802ac14..b851cd3 100644 --- a/model/model.tex +++ b/model/model.tex @@ -21,6 +21,7 @@ \date{} \begin{document} \maketitle +\pagestyle{empty} \thispagestyle{empty} \tableofcontents \thispagestyle{empty}