函数极限:
若 f(x) 在 x0 去心邻域内有定义,且存在常数 A,∀ϵ>0∃δ>0∀0<|x−x0|<δ,|f(x)−A|<ϵ,则称 limx→x0=A。 简单来看就是函数从两侧不断逼近 x0 的结果。我们可以类似的定义左极限和右极限来表示从左侧和右侧逼近。
极限的运算法则挺暴力。设 limf(x)=A,limg(x)=B,则 limf(x)±g(x)=A±B,limf(x)g(x)=AB,limf(x)g(x)=AB(B≠0),前两个设 f(x)=A+α,g(x)=B+β (α,β 均为无穷小)即可证明。考虑第三个法则:
令 γ=A+αB+β−AB=Bα−AβB(B+β),取 ϵ=|B2|>0,则 ∃δ>0 ∀0<|x−x0|<δ,|g(x)−B|<|B2|,故在某去心邻域内,|g(x)|>|B2|,|2B|>|1g(x)|,则 1B(B+β) 在此去心邻域内有界,所以 γ 为无穷小,limf(x)g(x)=AB+γ=AB
夹逼准则:
若在某去心邻域内:g(x)<f(x)<h(x) 且 limg(x)=limh(x)=A,则 limf(x)=A。
由此可以证明重要极限:limx→0sinxx=1(考虑 1<xsinx<1cosx)
无穷小的比较:
作商求极限即可。特别的,β 是比 α 高阶的无穷小记作 β=o(α)。
然后有几个重要的等价无穷小:x∼sinx,cosx∼1−x22,tanx∼x,loga(x+1)∼xlna,ln(1+x)∼x,ax−1∼xlna,ex−1∼x,(1+x)α−1∼αx
求两个无穷小之比的极限时,分子分母都可以用等价无穷小来代替。比如求 limx→0sinx−tanx(3√1+x2−1)(√1+sinx−1),可以考虑 3√1+x2−1∼x23,√1+sinx−1∼sinx2∼x2,sinx−tanx=tanx(cosx−1),tanx∼x,(cosx−1)∼−x22,所以原式等于 limx→0−x32x23×x2=−3
导数
定义为 f′(x)=limΔx→0f(x+Δx)−f(x)Δx,基本函数求导简单,只需要注意 g(f(x))=x→g′(y)=1f′(g(y))。
通过定义可以发现,可导一定连续,但是连续不一定可导。例如 f(x)=3√x 在 x=0 处就不可导。
隐函数求导就是等式两边分别求导之后解方程,可以求一些图形的切线方程。
中值定理
费马引理:若 f(x) 在 U(x0) 内可导且 f(x0) 是 U(x0) 中的一个极值点,则 f′(x0)=0,证明考虑极限的保号性。
然后就可以得出罗尔中值定理:f(x) 在 [a,b] 中连续,(a,b) 中可导,且 f(a)=f(b),则 ∃ξ∈(a,b),f′(ξ)=0,证明分函数是一条平行于x轴的直线和存在至少一个极值点的情况讨论就行。
罗尔中值定理可以推出拉格朗日中值定理:f(x) 在 [a,b] 中连续,(a,b) 中可导,则 ∃ξ∈(a,b),f′(ξ)=f(a)−f(b)a−b
拉格朗日中值定理实际上是柯西中值定理的特殊情况:考虑函数F(x) 和 f(x) 在 [a,b] 中连续,(a,b) 中可导,且 ∀x,F′(x)≠0,∃ξ∈(a,b),f(a)−f(b)F(a)−F(b)=f′(ξ)F′(ξ)。
我们这里直接考虑证明柯西中值定理:原式子可化为 f′(ξ)−f(a)−f(b)F(a)−F(b)⋅F′(ξ)=0,我们考虑构造函数 φ(x)=f(x)−f(b)−f(a)−f(b)F(a)−F(b)(F(x)−F(b)),发现 φ′(x)=f′(x)−f(a)−f(b)F(a)−F(b)⋅F′(x),和之前化出来的式子很想,并且它满足罗尔中值定理:连续、可导、φ(a)=φ(b)=0,所以 ∃ξ∈(a,b),φ′(ξ)=f′(ξ)−f(a)−f(b)F(a)−F(b)⋅F′(ξ)=0,原式得证。
洛必达法则
用来求 00 或 ∞∞ 型的极限。
若 limx→af(x)g(x) 为 00 型的极限,极限存在且在 a 的某去心邻域内 f′(x),g′(x) 存在且 g′(x) 非零,则 limx→af(x)g(x)=limx→af′(x)g′(x)
考虑此时极限的取值和 f(a),g(a) 无关,不妨设 f(a)=g(a)=0,由条件保证了它还是连续的,由柯西中值定理:f(x)g(x)=f(x)−f(a)g(x)−g(a)=f′(ξ)g′(ξ),于是原式为 limξ→af′(ξ)g′(ξ)
原式为 ∞∞ 型的极限同理,不过要注意使用条件。一般还是万能的。
泰勒
一个简单的理解,我们考虑用多项式逼近 f(x),则 f(x)=f(x0)+f′(x0)(x−x0)+f′′(x0)(x−x0)22!+f′′′(x0)(x−x0)33!+...+f(n)(x0)(x−x0)nn!+o(xn)
常见的泰勒展开在生成函数里面应该见过很多次了。
考虑求极限的万能(划掉)方法就是泰勒完再洛
咕咕咕
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 如何调用 DeepSeek 的自然语言处理 API 接口并集成到在线客服系统
· 【译】Visual Studio 中新的强大生产力特性
· 2025年我用 Compose 写了一个 Todo App