数学分析复习:导数、微分、极值

news/2024/5/2 14:36:58

文章目录

本篇文章适合个人复习翻阅,不建议新手入门使用

定义:导数
f f f 是定义在区间 I ⊂ R I\subset R IR 上的实值函数, x 0 ∈ I x_0\in I x0I 是一个给定的点,若极限
lim ⁡ h → 0 f ( x 0 + h ) − f ( x 0 ) h \lim\limits_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h} h0limhf(x0+h)f(x0)存在,则称 f f f x 0 x_0 x0 处可导,记极限为 f ′ ( x 0 ) f'(x_0) f(x0),算子记法为 d f d x ( x 0 ) \frac{\mathrm{d}f}{\mathrm{d}x}(x_0) dxdf(x0)
并记 f ( x 0 + h ) = f ( x 0 ) + f ′ ( x 0 ) h + o ( h ) f(x_0+h)=f(x_0)+f'(x_0)h+o(h) f(x0+h)=f(x0)+f(x0)h+o(h)

性质

  1. 可导一定连续,连续不一定可导
  2. 四则运算:设 f , g f,g f,g ( a , b ) (a,b) (a,b) 上有定义且在 x 0 ∈ ( a , b ) x_0\in(a,b) x0(a,b) 处可导,则
  • f ± g f\pm g f±g x 0 x_0 x0 处可导且 ( f ± g ) ′ ( x 0 ) = f ′ ( x 0 ) ± g ′ ( x 0 ) (f\pm g)'(x_0)=f'(x_0)\pm g'(x_0) (f±g)(x0)=f(x0)±g(x0)
  • f ⋅ g f\cdot g fg x 0 x_0 x0 处可导且 ( f ⋅ g ) ′ ( x 0 ) = f ′ ( x 0 ) g ( x 0 ) + f ( x 0 ) g ′ ( x 0 ) (f\cdot g)'(x_0)=f'(x_0)g(x_0)+f(x_0)g'(x_0) (fg)(x0)=f(x0)g(x0)+f(x0)g(x0)
  • g ( x 0 ) ≠ 0 g(x_0)\neq 0 g(x0)=0,那么 f g \frac{f}{g} gf x 0 x_0 x0 处可微且 ( f g ) ′ ( x 0 ) = f ′ ( x 0 ) g ( x 0 ) − f ( x 0 ) g ′ ( x 0 ) g ( x 0 ) 2 (\frac{f}{g})'(x_0)=\frac{f'(x_0)g(x_0)-f(x_0)g'(x_0)}{g(x_0)^2} (gf)(x0)=g(x0)2f(x0)g(x0)f(x0)g(x0)

定义:左导数、右导数
左导数: f ′ ( x 0 − ) = lim ⁡ h → 0 − f ( x 0 + h ) − f ( x 0 ) h f'(x_0^-)=\lim\limits_{h\to 0^-}\frac{f(x_0+h)-f(x_0)}{h} f(x0)=h0limhf(x0+h)f(x0)
右导数: f ′ ( x 0 + ) = lim ⁡ h → 0 + f ( x 0 + h ) − f ( x 0 ) h f'(x_0^+)=\lim\limits_{h\to 0^+}\frac{f(x_0+h)-f(x_0)}{h} f(x0+)=h0+limhf(x0+h)f(x0)

性质
f f f x 0 x_0 x0 处可导,当且仅当 f f f x 0 x_0 x0 处左、右导数存在且相等

定理:链式法则
R \mathbb{R} R 上的区间 I , J I,J I,J,实值函数 f : I → J , g : J → R f:I\to J,g:J\to \mathbb{R} f:IJ,g:JR,若 f f f x 0 x_0 x0 处可导, g g g f ( x 0 ) f(x_0) f(x0) 处可导,则复合函数 g ∘ f g\circ f gf x 0 x_0 x0 处可导,且 ( g ∘ f ) ′ ( x 0 ) = g ′ ( f ( x 0 ) ) f ′ ( x 0 ) (g\circ f)'(x_0)=g'(f(x_0))f'(x_0) (gf)(x0)=g(f(x0))f(x0)

定理:Leibniz公式
f , g f,g f,g R \mathbb{R} R 上定义的两个 n n n 次可导的实值函数,则
( f ⋅ g ) ( n ) ( x ) = ∑ k = 0 n C n k f ( k ) ( x ) g ( n − k ) ( x ) (f\cdot g)^{(n)}(x)=\sum\limits_{k=0}^nC_n^kf^{(k)}(x)g^{(n-k)}(x) (fg)(n)(x)=k=0nCnkf(k)(x)g(nk)(x)

证明思路:数学归纳法

定义:微分
f f f x 0 x_0 x0 处可导,若要用线性映射 L : R → R L:\mathbb{R}\to\mathbb{R} L:RR 所定义的 L ( x − x 0 ) L(x-x_0) L(xx0) x 0 x_0 x0 附近来逼近 f ( x ) − f ( x 0 ) f(x)-f(x_0) f(x)f(x0),那么函数 l : h ↦ f ′ ( x 0 ) h l:h\mapsto f'(x_0)h l:hf(x0)h 是最好的线性逼近,记线性映射 d f ( x 0 ) : T x 0 R → T f ( x 0 ) R , h ↦ f ′ ( x 0 ) h df(x_0):T_{x_0}\mathbb{R}\to T_{f(x_0)}\mathbb{R},h\mapsto f'(x_0)h df(x0):Tx0RTf(x0)R,hf(x0)h

则称 d f ( x 0 ) df(x_0) df(x0) f f f x 0 x_0 x0 处的微分

证明思路
若另设映射 l ′ ( h ) = a h l'(h)=ah l(h)=ah,用 l l l l ′ l' l x 0 x_0 x0 的局部上逼近 f ( x ) − f ( x 0 ) f(x)-f(x_0) f(x)f(x0),由导数的定义
f ( x ) − f ( x 0 ) − l ( x − x 0 ) = o ( 1 ) h f(x)-f(x_0)-l(x-x_0)=o(1)h f(x)f(x0)l(xx0)=o(1)h f ( x ) − f ( x 0 ) − l ′ ( x − x 0 ) = ( f ′ ( x 0 ) − a ) h + o ( 1 ) h f(x)-f(x_0)-l'(x-x_0)=(f'(x_0)-a)h+o(1)h f(x)f(x0)l(xx0)=(f(x0)a)h+o(1)h

h = x − x 0 h=x-x_0 h=xx0,则有
lim ⁡ h → 0 E 2 ( h ) E 1 ( h ) = lim ⁡ h → 0 ( f ′ ( x 0 ) − a ) h + o ( 1 ) h h = + ∞ \lim\limits_{h\to 0}\frac{E_2(h)}{E_1(h)}=\lim\limits_{h\to 0}\frac{(f'(x_0)-a)h+o(1)h}{h}=+\infty h0limE1(h)E2(h)=h0limh(f(x0)a)h+o(1)h=+

命题
I ⊂ R I\subset \mathbb{R} IR 是开区间, f : I → R f:I\to \mathbb{R} f:IR x 0 x_0 x0 处可微且 f ( x 0 ) ≠ 0 f(x_0)\neq 0 f(x0)=0,若设 f ′ ( x 0 ) > 0 f'(x_0)>0 f(x0)>0,则存在 x 0 x_0 x0 的开邻域 U = ( x 0 − ε , x 0 + ε ) U=(x_0-\varepsilon,x_0+\varepsilon) U=(x0ε,x0+ε),使得

  1. 对任意 x ∈ U , x > x 0 x\in U,x>x_0 xU,x>x0,有 f ( x ) > f ( x 0 ) f(x)>f(x_0) f(x)>f(x0)
  2. 对任意 x ∈ U , x < x 0 x\in U,x<x_0 xU,x<x0,有 f ( x ) < f ( x 0 ) f(x)<f(x_0) f(x)<f(x0)

证明思路
由导数定义,取 ε = f ′ ( x 0 ) 2 \varepsilon=\frac{f'(x_0)}{2} ε=2f(x0),则由 ∣ f ( x ) − f ( x 0 ) x − x 0 − f ′ ( x 0 ) ∣ < 1 2 f ′ ( x 0 ) |\frac{f(x)-f(x_0)}{x-x_0}-f'(x_0)|<\frac{1}{2}f'(x_0) xx0f(x)f(x0)f(x0)<21f(x0) 得到
f ( x ) − f ( x 0 ) x − x 0 > 1 2 f ′ ( x 0 ) > 0 \frac{f(x)-f(x_0)}{x-x_0}>\frac{1}{2}f'(x_0)>0 xx0f(x)f(x0)>21f(x0)>0

推论
I ⊂ R I\subset \mathbb{R} IR 是开区间, f : I → R f:I\to\mathbb{R} f:IR I I I 上可微且对任意 x ∈ I , f ′ ( x ) > 0 x\in I,f'(x)>0 xI,f(x)>0,则 f f f I I I 上严格递增的函数

即使函数 f f f 在点 x 0 x_0 x0 处的导数大于零,也不能推出存在该点的邻域 U U U,使得 f f f 在这个邻域上是递增的
反例
f ( x ) = { x + 2 x 2 sin ⁡ 1 x , x ≠ 0 0 , x = 0 f(x)=\begin{cases} x+2x^2\sin{\frac{1}{x}},&x\neq 0\\ 0,&x=0\\ \end{cases} f(x)={x+2x2sinx1,0,x=0x=0

可证 f f f x = 0 x=0 x=0 处存在导数且大于零,但对任意的 ε > 0 \varepsilon>0 ε>0 f f f ( − ε , ε ) (-\varepsilon,\varepsilon) (ε,ε) 上不单调;即是说这个反例在 x = 0 x=0 x=0 附近振荡足够快

定义:极值
f : I → R , x 0 ∈ I f:I\to \mathbb{R},x_0\in I f:IR,x0I,如果存在 x 0 x_0 x0 的小邻域 U ⊂ I U\subset I UI,使得 f ( x 0 ) f(x_0) f(x0) 是函数 f f f U U U 上的最大值,则称 x 0 x_0 x0 f f f 的一个局部极大值,类似可定义局部最小值

定理
f f f I I I 上的可微函数且 f f f x 0 ∈ I x_0\in I x0I 处是局部极大(极小)值,那么 f ′ ( x 0 ) = 0 f'(x_0)=0 f(x0)=0

证明思路
反证法易证

参考书:

  • 《数学分析》陈纪修 於崇华 金路
  • 《数学分析之课程讲义》清华大学数学系及丘成桐数学中心
  • 《数学分析习题课讲义》谢惠民 恽自求 易法槐 钱定边 著

http://www.mrgr.cn/p/18361010

相关文章

速卖通爆款商品打造全攻略:从选品到补单,步步为赢

跨境电商行业的竞争也越来越大&#xff0c;速卖通卖家自然也要为店内的爆款而努力&#xff0c;同时也要清楚地意识到爆款也是有时限的&#xff0c;那么一款爆款商品该如何打造呢&#xff1f; 1.选品。 开店时&#xff0c;面对世界各地的消费者群体&#xff0c;远比国内复杂得…

redis自学(38)故障转移

故障转移 当集群中有一个master宕机会发生什么呢?宕机7002节点,这是宕机之前的状态这是宕机以后的状态,7002失去连接了,而7002的slave8003变成了master启动以后7002变成slave了 Reids集群不需要sentinel,自动具有主从故障切换以上是自动故障转移 数据迁移 利用cluster fai…

使用示例解释.NET中的Mocking是什么?

让我们踏上探索.NET软件开发中Mocking概念的旅程,让我们深入了解Mocking是多么简单易懂、易于访问。请与我一起穿越这个主题,我将涵盖以下内容:理解Mocking:为何它对于构建强大的测试策略至关重要。 探索一些最常见的Mocking库:如Moq、NSubstitute、FakeItEasy和Rhino Moc…

面试经典150题——跳跃游戏 II

面试经典150题 day10 题目来源我的题解方法一 动态规划方法二 贪心 题目来源 力扣每日一题&#xff1b;题序&#xff1a;45 我的题解 方法一 动态规划 动态规划&#xff0c;当j位置可达i位置时&#xff1a;dp[i]Math.min(dp[i],dp[j]1); 时间复杂度&#xff1a;O( n 2 n^2 n…

使用 Docker 部署 Draw.io 在线流程图系统

1)介绍 Draw.io GitHub:https://github.com/jgraph/drawioDraw.io 是一款开源的绘制流程图的工具,拥有大量免费素材和模板。程序本身支持中文在内的多国语言,创建的文档可以导出到多种网盘或本地。无论是创建流程图、组织结构图、网络拓扑图还是其他类型的图表,Draw.io 基…

ThinkPHP使用Redis

前置环境 安装Redis 新建一个ThinkPHP6项目 ThinkPHP使用Redis 安装 Redis 扩展 # 在项目目录下执行如下代码,安装redis依赖 composer require topthink/think-redisconfig/database.php redis => [// 默认数据连接标识default => [host => env(redis.hostnam…

【人工智能书籍PDF】TensorFlow机器学习实战指南(书籍分享)

今天又来给大家推荐一本人工智能方面的书籍<TensorFlow机器学习实战指南>。TensorFlow是一个开源机器学习库。本书从TensorFlow的基础开始介绍&#xff0c;涉及变量、矩阵和各种数据源。之后&#xff0c;针对使用TensorFlow线性回归技术的实践经验进行详细讲解。后续章节…

鸿蒙开发TypeScript语言:【Number】

TypeScript 与 JavaScript 类似,支持 Number 对象。 Number 对象是原始数值的包装对象。 语法 var num = new Number(value);注意: 如果一个参数值不能转换为一个数字将返回 NaN (非数字值)。 Number 对象属性 下表列出了 Number 对象支持的属性:序号 属性 & 描述1. MA…

小程序地理位置权限申请+uniapp调用uni.getLocation

文章目录 一、小程序地理位置权限申请二、uniapp调用uni.getLocation 一、小程序地理位置权限申请 登录 微信公众平台 需要确保小程序类目已经填写 点击左侧导航栏找到最后的“设置”——“基本设置”——“前往填写” 在开发管理——接口设置——地理位置中可以看到&#x…

vue3 -- 项目使用自定义字体font-family

在Vue 3项目中使用自定义字体(font-family)的方法与在普通的HTML/CSS项目中类似。可以按照以下步骤进行操作: 引入字体文件: 首先,确保你的字体文件(通常是.woff、.woff2、.ttf等格式)位于项目中的某个目录下,比如src/assets/font/。 在全局样式中定义字体: 在你的全局…

Python 将PDF转为PDF/A和PDF/X,以及PDF/A转回PDF

PDF/A和PDF/X是两种有特定用途的PDF格式&#xff0c;具体查看以下&#xff1a; PDF/A是一种用于长期存档的PDF格式&#xff0c;它旨在确保文档的内容和格式在未来的访问中保持不变。如果您需要对文件进行长期存档&#xff0c;比如法律文件或档案记录&#xff0c;将其转换为PDF…

L2正则化

L2正则化是一种用于机器学习和统计建模中的技术&#xff0c;旨在控制模型的复杂度&#xff0c;并防止过拟合。它通过在模型的损失函数中添加一个惩罚项来实现这一目的。这个惩罚项是模型权重的平方和&#xff0c;乘以一个正则化参数 λ。这样可以迫使模型权重趋向于较小的值&am…

XDEFIANT不羁联盟怎么申请测试 不羁联盟参与测试教程

《不羁联盟》有五个独具特色的阵营可供选择&#xff1a;自由武装、暗影小队、梯队、净化者、DedSec&#xff0c;全部出自育碧知名的角色与世界。无论是拥有“声纳护目镜”超能的梯队探员&#xff0c;还是拥有黑入对手设备能力的 DedSec&#xff0c;每个阵营都有自己的一套独特技…

hook初识之inline hook

文章首发阿里云先知社区:https://xz.aliyun.com/t/14033 什么是 hook hook 翻译过来就是钩子,它用于拦截并改变某个事件或操作的行为,比如我们大家在写 shellcode loader 时,直接使用申请内存,copy 内存等高危操作可能会报毒,然后尝试更换冷门的 api 或者直接使用内核函数…

鸿蒙HarmonyOS实战-ArkUI动画(布局更新动画)

🚀前言 动画是一种通过连续展示一系列静止的图像(称为帧)来创造出运动效果的艺术形式。它可以以手绘、计算机生成或其他各种形式呈现。在动画中,每一帧都具有微小的变化,当这些帧被快速播放时,人眼会产生视觉上的错觉,认为物体在运动。动画可以用来表达故事、观念、想法…

矩阵求导(二)

前面已经介绍了标量对向量和矩阵的求导以及向量和矩阵对标量的求导,现在介绍一下向量和向量之间的求导规则。向量对向量求导不管被求导的向量是行向量还是列向量,我们求导的步骤都是统一的,只要选择了分母布局,其求导结果都是一个与分母同行数的矩阵,而列数则等于分子向量…

Linux架构31 ansible roles角色, ansible galaxy

Ansible Roles角色 1.Ansible Roles基本概述 Roles基于一个已知的文件结构,去自动地加载某些 var_files, tasks 以及 handlers。 Ansible注意事项: 在编写roles的时候,最好能将一个task拆分为一个文件,方便后续复用。(彻底的打散)2.Ansible Roles目录结构 roles官方目录结构…

Mac安装Redis

Mac安装Redis # 安装Homebrew命令,Homebrew安装的软件会默认在/usr/local/Cellar/路径下 # /bin/zsh -c "$(curl -fsSL https://gitee.com/cunkai/HomebrewCN/raw/master/Homebrew.sh)" # Homebrew命令安装redis brew install redis启动Redis #方式一:使用brew帮助我…