微积分初步
https://www.bilibili.com/video/BV1qW411N7FU?p=5&vd_source=1a0761fc8806f3feaeafa755f1e25872
导数的定义
函数 \(y=f(x)\) 在 \(x_0\) 点位置的导数:当 \(x = x_0\) 时,\(\cfrac{dy}{dx}\) 在 \(dx \rightarrow 0\) 时的最近值。
也就是说,考虑 \(x=x_0\) 的时候 \(y=y_0\),当 \(x=x_0+dx,dx \rightarrow 0\) 的时候 \(y=y_0+dy\),那么 \(\cfrac{dy}{dx}\) 是多少。
记为 \(f'(x_0)\)。
函数 \(y=f(x)\) 的导函数:每一个 \(x\) 都对应着一个\(f'(x)\),这就是关于 \(x\) 的一个新函数,叫做 \(y=f(x)\) 的导函数。
记为 \(f'(x)\)。形象地,\(f'(x_0)\) 就是 \(f'(x)\) 在 \(x=x_0\) 处的取值。
注意之后推式子的时候 \(x\) 可以表示 \(x\) 的某一个取值,或者意思是对任意一个 \(x\) 的取值都成立这两种意思。
导数的一些基本公式
对于幂函数 \(f(x)=x^k\),其导函数为 \(f'(x) = kx^{k-1}\)。理由如下:
考虑 \(x = x_0 + dx, y = (x_0 + dx)^k\)。容易发现 \([dx]y = x_0^{k-1} \times \dbinom{k}{1} = kx_0^{k-1}\)。
对于三角函数 \(f(x) = \sin(x)\),其导函数为 \(f'(x) = \cos(x)\)。可以借助几何图形(单位圆)来理解。
复合函数导数的求法
加法法则:\(f(x)=g(x)+h(x)\),那么 \(df=dg+dh=g'(x)dx+h'(x)dx=(g'(x)+h'(x))dx\)
那么 \(f'(x)=g'(x)+h'(x)\)。
乘法法则:\(f(x)=g(x)+h(x)\),那么 \(df=dg \times h(x) + dh \times g(x) + dg \times dh = g'(x)h(x)dx + h'(x)g(x)dx+g'(x)h'(x)dx^2 = g'(x)h(x)dx + h'(x)g(x)dx\),\(dx^2\) 忽略不计。
因此 \(f'(x) = g'(x)h(x) + h'(x)g(x)\)。也叫做“左乘右导加右乘左导”。
链式法则(复合法则):\(f(x)=g(h(x))\),那么 \(df=h'(g(x))g'(x)dx\),因此 \(f'(x) = h'(g(x))g'(x)\),也叫做“外导内乘内导”。
商法则:\((\cfrac{f(x)}{g(x)})' = \cfrac{-f(x)g'(x)+f'(x)g(x)}{g(x)^2}\)
推导过程:
也可以使用链式法则推导,令外函数为 \(\cfrac{1}{x}\),内函数为 \(f(x)\),得到 \(\cfrac{1}{f(x)}\) 的导数。
指数函数的求导
首先我们有 \((e^x)' = e^x\)。也就是说,在每一个 \(x\) 的取值上,沿着 \(y = e^x\) 做切线,与横轴交点在 \(x-1\)。
然后根据链式法则,\((e^{cx})' = ((e^x)^c)' = c(e^x)^{c-1} \times e^x = ce^{cx}\)
于是 \((a^x)' = ((e^{\ln a})^x) ' = \ln a \times a^x\)。
隐函数的求导
隐函数:一个关于 \(x,y\) 的等式,不要求 \(x \rightarrow y\) 唯一。例如,\(x^2 +y^2 = 5^2\)。
这样的函数求导,我们对左边和右边分别求导,然后推出式子,类似这样:
为什么这样做是对的?考虑将左边看成一个关于 \(x,y\) 的二元函数 \(S(x, y) = x^2 +y^2\)。我们在一个表示这个隐函数的曲线(圆)上对 \(x,y\) 进行微小的变换。那么变换之后的 \(S\) 可能会变动。
如果我们想让其依然停留在圆上,那么就需要保持 \(dS\) 不变动。也就是说,保持 \(dS\) 不变动也就意味着停留在圆上的条件成立。
我们想算的是,同样待在圆上(其实是切线 \((x+dx)^2 +(t+dy)^2 = 5^2\),但是 \(dx,dy\) 很小就是在圆上),\(dx, dy, dS\) 的相互变化规律。我们有 \(dS = 2xdx + 2ydy = 0\)。那么也就推出了 \(2xdx +2ydy = 0\)。
这样变换视角,考虑满足一定条件的变量之间的相互制衡关系,得到一个等式就是研究隐函数求导的关键思想。利用这个思想,我们可以对一些知道反函数导数的函数求导。
\(eg.\) \(y = \ln x\) 的导数。
\(y = \sqrt x\) 的导数。