物理 - 坐标这种语言

物理 - 坐标这种语言

  • 物理 - 坐标这种语言
    • 坐标的重要性
    • 疑惑的点
      • 向量
      • 坐标的不和谐
      • 例子
    • 不同坐标
    • 坐标运算
      • 积分运算
        • 中值定理与牛顿 - 莱布尼兹公式
          • 中值定理
          • 牛顿 - 莱布尼兹公式
        • 格林公式
        • 微积分与向量微积分
        • 曲面积分
          • 二重积分的中值定理
          • 曲面的面积
          • 第一类曲面积分
          • 第二类曲面积分
          • 二重积分运算
        • 三重积分
        • 高斯公式与斯托克斯公式与格林公式
      • 微分运算
        • 洛必达法则
        • 全导数与参数方程 - 一元函数
        • 全微分与方向导与偏导数 - 多元函数
    • 坐标这种语言

直到最近才发现自己所学知识的漏洞,因此记录下来,写作下来帮助整理思路也做反思之用。如果你觉得我说的没什么用那就对了,我是爱在小事上纠结的

虽然很明白这个事它就是个定义,但有时候就是感觉不舒服,说服不了自己,可能认知上还是喜欢直白一点、描述更完美一点,钻牛角尖,有时候会因为一个负号导致的不和谐闹腾半天,就为了给它安排一个“合理的解释”,于是就想到处作证一下。

或许能明白自己在纠结是一个多么可笑的问题更能帮助人进步吧。

物理 - 坐标这种语言

坐标的重要性

不论什么教科书,第一章总是从最基本的运动开始讲起,而运动一定以坐标为第一节的的题目。从此而言,足以说明来到物理世界的第一件事就是确认坐标。
其实我们总忽略了最简单的事情,如果仅仅某一本书以某个问题开始,那么可能是作者的个人认知或看法,而如果本本都是如此,那么可能是因为需要如此。实际上可能它足够简单,又或者是大家都以它开题,使得大家忘记思考一个问题,或是忽略了这个问题——“坐标它重要吗?”。实际上越是渺小或是习以为常的事情,人们越是会忽略它的重要性,而这习以为常又渺小的事往往关系着事物的本质、事情的真相、又或者说立足点。想必已经因为我一大段文字而感觉困顿了,我先说我的结论:“物理世界是描述世界/机械世界运动的一门语言,这门语言具有精炼小巧的符号体系,又具有令人深思富有哲理的概念或理论。它是一门描述运动的语言。
其实就我们学过的语言,一个语言里一定有动词、名词、形容词、副词等一些最基本语言结构,从某种角度说,他们都具有名词性,因为它所表达的含义是相对不变的或是相对静止的。
一个描述变化的语言的基础是需要不会变化的,这样才有意义。

疑惑的点

当我次次翻开书本,去阅读那些关于各种坐标讲解,阅读完后,总有一种莫名的感觉,感觉缺了点什么。实际上这类知识没有什么什么难度,往往是学了代数一点皮毛就能很快掌握的问题,但还是有一些不和谐在里面,想必你我都能能感觉到,这种不和谐一定会给你憋个大招的。直到最近才发现自己所学知识的漏洞,因此记录下来,写作下来帮助整理思路也做反思之用。

因为有时在联系一些题目时就发现,题目结果与自己所想完全不一样,题目做错,而要是去纠缠,就想问为什么那样不行,凭什么要这样不能那样,题目中说了吗?(我算的上是那种傻愣愣的学习方法了)总觉得条件没有给全,或者说书上也没提呀!怎么这里需要这样方法开始,而哪里需要那样开始(实际往往提示一番就能根据所学知识解答,但就是因为这一点,但我觉得就是这一点,就是真会与会做题的区别)。如今才明白,教科书只是工具的罗列,他没有提出任何关于初学者忽略或者犯错的提示或者点播,而老师往往以推进课程为目标,这一切都安好,除了学生。(就如同开车,油门刹车谁都会,可是有人出了考场就再也没有开过车,而上路开好的关键其实在于时机,只会工具是没有用处的,没有把他们有机整理组合起来的大脑是没有用处的,不会出现真正人才的,这种时机就是所有我们能接触到的教材所欠缺的、回避的。)如果你只是机械的依靠“大数据(刷题)”获取把握这种时机的能力那么实质还是没有理解真正的原理。这种时机依靠一些练习没错,但绝对是有着自己的一套策略去处理的。实际上这种处理的策略才是学生应该学习的,并配以对应的练习,练习才会有效果。如果你遇到了一位好老师,那么他一定会教你处理的策略,这样的老师那真是可遇不可求啊!

一开始对坐标的处理的策略就是我所感觉欠缺的点。你不信,去翻翻书本,如果没有人提醒,那么你读完大概率是只会感到空洞的知识点,“这有什么用,该不会还是不会”,这大概是大部分人的感受。你会看到有些人,一遍一遍罗列组织这这些知识,但是还是没用,无用之用——就只有看着美了。因此,我在这里只想找一个办法形成这种策略,试图找到真正有用的路。

向量

  • 质点的位置常用位置矢量表示,它是从坐标系的原点指向质点所在位置的有向线段

坐标的不和谐

同一物体的运动,由于我们所选取的参考系不同,反应的运动关系会不同,对它的运动的描述也会不同

  • 位移是矢量
  • 位移表示质点位置的改变,并不是质点所经历的路程
  • 位矢与原点选取有关
  • 平均速度为位移除时间
    v = Δ r Δ t v =\frac{\Delta r}{\Delta t} v=ΔtΔr

位移位矢均为有向线段,但不同的是,位矢自原点出发。

为什么会选择位移这样一种不是质点所经历的的参数作为描述千变万化物理世界的基石。为什么?一定得有一个理由吧?选择它一定有好处吧?可是仅从直观的看,位移这种描述算不上是怎么优秀。它不会使人忽略了众多细节吗?我们不是要去描述运动过程吗?这时候我们为什么又不在意了?相比之下路程定义的速率就有意义的多了。

  • 难道仅仅是因为能够按照三角形法则或平行四边形法则来合成吗?

实际上这个问题可以换个角度,位矢按照时间变化的方程就是运动学方程,凸显出运动路径定义我们叫它轨迹方程。因此,这个问题可以变成“运动方程与轨迹方程的区别”。
若是将运动方程去掉方向,它实际上是我们经常接触的另一种方程——参数方程,这一组方程显含参数时间t,而轨迹方程方程是可以通过消参得到的。

因此,它们之间最直接的区别是前一种表达含有时间和方向。但是,轨迹方程它不含时,我们实际上还是希望得到一组描述路程的运动方程,或许运动方程的参数方程已经告诉我们了。我们想要获得路程,我们将参数方程组换成曲线段的积分。
d s = ( d x ² + d y ² ) ds = \sqrt{(dx² + dy²)} ds=(dx²+dy²)
事实上我们做了如下处理:
将向量转化为参数方程,我们去掉了方向向量,使用x、y等方向参数代替;
将参数方程化为曲线积分,我们去掉了x、y等方向参数,使用曲线参数s代替;

所以说路程实际上的描述坐标空间语言是一维的,它的方向仅沿时间方向做不均匀变化,即使两个物体路程变化一致,实际上他们的运动轨迹也可能完全不一致。这是路程的数学语言缺少方向导致的。这种情况是我们所不能接受的,我们需要知道物体的真实运动姿态。因此我们要求运动方程必须含有方向。

我们陷入了一个僵局:

  • 显含方向就没法直观的体会到物体在空间中累计的运动
  • 显含路程就没办法直观的体会到物理运动时的姿态或运动状况

这实际上是一种观点之争,我们应当静止的看运动还是运动的看。当然画图确实不失为一个两全其美办法,但是他又丧失了描述语言的简洁性。

实际上物理世界中到处都有这种观点之争,(能量一般它所传达出的意为是静止的吧?呢?你立马想到了力做功,有种运动的意味吧?动量呢?依照牛顿定理而言力不是凸显运动吗?而动量不是凸显出相对静止的意味吗?此处坐标不也一样吗?位矢更具微观瞬时色彩,路程更具宏观静止感。我们有了能量、运动、坐标三组各具运动或静止视角的描述。)

位矢
动量路程

这我们有必要讲一下曲线积分,我以同济六版高等数学为例:
曲线积分与曲面积分

  • 第一类曲线积分(对曲线的积分/对弧长的曲线积分)
    ∫ L f ( x , y ) d s = ∫ α β [ f ( φ ( t ) , Φ ( t ) ) ] φ ′ ( t ) 2 + Φ ′ ( t ) 2 d t ( α < β ) \int\limits_{L}f(x,y)ds=\int_{\alpha}^{\beta}\bigl[f\bigl(\varphi(t),\Phi(t)\bigr)\bigr]\sqrt{\varphi^{\prime}(t)^{2}+\Phi^{\prime}(t)^{2}} dt (\alpha<\beta) Lf(x,y)ds=αβ[f(φ(t),Φ(t))]φ(t)2+Φ(t)2 dt(α<β)
    积分元为ds
    ∫ τ f ( x , y , z ) d s = ∫ α β [ f ( φ ( t ) , Φ ( t ) , ω ( t ) ) ] φ ′ ( t ) 2 + Φ ′ ( t ) 2 + ω ′ ( t ) 2 d t ( α < β ) \int\limits_{\tau}f(x,y,z)ds=\int_{\alpha}^{\beta}[f(\varphi(t),\Phi(t),\omega(t))]\sqrt{\varphi^{\prime}(t)^{2}+\Phi^{\prime}(t)^{2}+\omega^{\prime}(t)^{2}} dt (\alpha<\beta) τf(x,y,z)ds=αβ[f(φ(t),Φ(t),ω(t))]φ(t)2+Φ(t)2+ω(t)2 dt(α<β)
    下面的形式说明了被积曲线可以是分段的,定义要求每一段光滑,不需要段与段之间光滑
    ∫ L 1 + L 2 f ( x , y ) d s = ∫ L 1 f ( x , y ) d s + ∫ L 2 f ( x , y ) d s \int\limits_{L_{1}+L_{2}}f(x,y)ds=\int\limits_{L_{1}}f(x,y)ds+\int\limits_{L_{2}}f(x,y)ds L1+L2f(x,y)ds=L1f(x,y)ds+L2f(x,y)ds
    上面的公式说明了曲线积分的维度可以是多维度的,并且可以是分段的。 f ( x , y ) f(x,y) f(x,y) 虽然带有 x , y x,y x,y 但实质将其理解为一个随曲线段变化的线密度是再好不过了。计算的时候仅需要带入参数方程进行消参就可以计算了。
  • 第二类曲线积分(曲线积分在各方向的投影/对坐标的曲线积分)
    ∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ α β { P [ φ ( t ) , Φ ( t ) ] φ ′ ( t ) + Q [ φ ( t ) , Φ ( t ) ] Φ ′ ( t ) } d t \int_{L}P(x,y)dx+Q(x,y)dy=\int_{\alpha}^{\beta}\{P[\varphi(t),\Phi(t)] \varphi^{\prime}(t)+Q[\varphi(t),\Phi(t)] \Phi^{\prime}(t)\}dt LP(x,y)dx+Q(x,y)dy=αβ{P[φ(t),Φ(t)]φ(t)+Q[φ(t),Φ(t)]Φ(t)}dt
    第二类积分也可以写成向量形式,这里就不列举,其意义也是显而易见的,而上面这个式子实际就是说把参数方程带进去计算就可以,我们比较两类积分会发现:
    • 两者积分元不同
    • 两者线密度不同, P ( x , y ) 、 Q ( x , y ) 、 f ( x , y ) P(x,y)、Q(x,y)、f(x,y) P(x,y)Q(x,y)f(x,y)
    • 三个线密度间满足三角形或平行四边形合成法则

我们需要找到 P ( x , y ) 、 Q ( x , y ) 、 f ( x , y ) P(x,y)、Q(x,y)、f(x,y) P(x,y)Q(x,y)f(x,y)三者间的关系,因为我们能发现积分元与被积函数 / 线密度有着直接的关系:
∫ L P d x + Q d y = ∫ L ( P cos ⁡ α + Q cos ⁡ β ) d s = ∫ L P cos ⁡ α d s + Q cos ⁡ β d s \int_{L}Pdx+Qdy=\int_{L}(P\cos\alpha+Q\cos\beta)ds=\int_{L}P\cos\alpha ds+Q\cos\beta ds LPdx+Qdy=L(Pcosα+Qcosβ)ds=LPcosαds+Qcosβds
我们得到了两者之间的联系,给出了沿曲线的被积函数在各个方向投影的关系:
f ( x , y ) = ∣ P ( x , y ) ∣ 2 + ∣ Q ( x , y ) ∣ 2 f(x,y) =\sqrt{\left | P(x,y) \right |^{2} +\left | Q(x,y) \right | ^{2} } f(x,y)=P(x,y)2+Q(x,y)2
f ⃗ ( x , y ) = P ( x , y ) i ⃗ + Q ( x , y ) j ⃗ \vec{f}(x,y) = P(x,y)\vec{i} + Q(x,y)\vec{j} f (x,y)=P(x,y)i +Q(x,y)j
我觉得这里有必要强调一下 d x = cos ⁡ α d s , d y = cos ⁡ β d s dx = \cos\alpha ds,dy=\cos\beta ds dx=cosαdsdy=cosβds,并且 P ( x , y ) 、 Q ( x , y ) 、 f ( x , y ) P(x,y)、Q(x,y)、f(x,y) P(x,y)Q(x,y)f(x,y)三者间的关系属于向量间的关系,相互分解、合成。

并给出两者真正的关系:
∫ L f ( x , y ) d s = ∫ α β [ f ( φ ( t ) , Φ ( t ) ) ] φ ′ ( t ) 2 + Φ ′ ( t ) 2 d t = ∫ α β ∣ P ( x , y ) ∣ 2 + ∣ Q ( x , y ) ∣ 2 φ ′ ( t ) 2 + Φ ′ ( t ) 2 d t = ∫ α β ( ∣ P ( x , y ) ∣ 2 + ∣ Q ( x , y ) ∣ 2 ) ( φ ′ ( t ) 2 + Φ ′ ( t ) 2 ) d t 第 一 类 曲 线 积 分 ≥ 第 二 类 曲 线 积 分 ( 利 用 完 全 平 方 式 推 导 一 下 ) = ∫ α β { P ( x , y ) φ ′ ( t ) + Q ( x , y ) Φ ′ ( t ) } d t = ∫ α β { P [ φ ( t ) , Φ ( t ) ] φ ′ ( t ) + Q [ φ ( t ) , Φ ( t ) ] Φ ′ ( t ) } d t = ∫ L P ( x , y ) d x + Q ( x , y ) d y \begin{aligned} \int\limits_{L}f(x,y)ds &=\int_{\alpha}^{\beta}\bigl[f\bigl(\varphi(t),\Phi(t)\bigr)\bigr]\sqrt{\varphi^{\prime}(t)^{2}+\Phi^{\prime}(t)^{2}} dt &\\ &=\int_{\alpha}^{\beta}\sqrt{\left | P(x,y) \right |^{2} +\left | Q(x,y) \right | ^{2} }\sqrt{\varphi^{\prime}(t)^{2}+\Phi^{\prime}(t)^{2}} dt \\ &=\int_{\alpha}^{\beta}\sqrt{(\left | P(x,y) \right |^{2} +\left | Q(x,y) \right | ^{2} )(\varphi^{\prime}(t)^{2}+\Phi^{\prime}(t)^{2})} dt \\ &第一类曲线积分\ge 第二类曲线积分(利用完全平方式推导一下) \\ &=\int_{\alpha}^{\beta}\{P(x,y) \varphi^{\prime}(t)+Q(x,y) \Phi^{\prime}(t)\}dt \\ &=\int_{\alpha}^{\beta}\{P[\varphi(t),\Phi(t)] \varphi^{\prime}(t)+Q[\varphi(t),\Phi(t)] \Phi^{\prime}(t)\}dt \\ &= \int_{L}P(x,y)dx+Q(x,y)dy \end{aligned} Lf(x,y)ds=αβ[f(φ(t),Φ(t))]φ(t)2+Φ(t)2 dt=αβP(x,y)2+Q(x,y)2 φ(t)2+Φ(t)2 dt=αβ(P(x,y)2+Q(x,y)2)(φ(t)2+Φ(t)2) dt线线()=αβ{P(x,y)φ(t)+Q(x,y)Φ(t)}dt=αβ{P[φ(t),Φ(t)]φ(t)+Q[φ(t),Φ(t)]Φ(t)}dt=LP(x,y)dx+Q(x,y)dy
我们可以给出一个结论:

  • 沿曲线的积分≥各方向分量的积分和
  • 等号仅在向单一方向运动的直线运动下取得(说法不是特别严谨,目前没有想到更好的讲法,这是一种可以将曲线运动看作直线运动的情况)。
  • 位矢路程两种表达就决不能是简单的包含或是交集的情况了。
  • 第一类曲线积分是对标量函数进行积分,用于计算沿曲线的质量、电量、能量等物理量的总量。
  • 第二类曲线积分是对向量函数进行积分,用于计算力、功、磁通量等与力学、电磁学相关的物理量。
  • 第一类曲线积分是对无向曲线的积分,反映在积分上是对弧长的积分;
  • 第二类曲线积分是对有向曲线的积分,反映在积分上是对坐标的积分。

至此,我们所谈论两件事情终于是在“表达语言”层面简析了一番,实际上这两种表述(位矢路程)就是这两种曲线积分数学语言在物理上能够给出的内涵,至少在某一个面是如此。
这里我也给出取等号的条件: P ( x , y ) Φ ′ ( t ) = Q ( x , y ) φ ′ ( t ) P(x,y)\Phi^{\prime}(t)=Q(x,y) \varphi^{\prime}(t) P(x,y)Φ(t)=Q(x,y)φ(t),使用完全平方式很容易能得出来。

但事实上,我们还是未给出位矢这种表述的具体优势,它这么不好我们干嘛用它?我想举几个例子来说明这件事。

例子

  • 例1
    一质点沿 x x x轴运动,其运动方程为 x = t 2 − 1 x=t^{2}-1 x=t21,其在 t = 1 t=1 t=1时刻的平均速度、速度和速率 ?
    答:平均速度为零,速度和速率为2。
  • 例2
    质点做半径为 R R R的匀速圆周运动,经时间 T T T转动一周。则在 2 T 2T 2T时间内,其平均速度的大小和平均速率分别为?
    答:0和 2 π R T \frac{2\pi R}{T} T2πR
  • 例3
    物体沿一闭合路径运动,经 Δ t \Delta t Δt时间后返回到出发点 A A A,初速度 v 1 v1 v1末速度 v 2 v2 v2,则在 Δ t \Delta t Δt时间内其平均速度 v ˉ \bar{v} vˉ与平均加速度 a ˉ \bar{a} aˉ分别为?
    答: v ˉ = 0 , a ˉ ≠ 0 \bar{v}=0,\bar{a}≠0 vˉ=0aˉ=0

通过上面几个例子,我想你已经发现我所担忧的了,它们的平均速度均为零;有意思的是在这里,速度和速率竟然相等,当然这是在严苛的条件下才会有的(瞬时、瞬间、在某一刻的邻域内)。一开始位矢路程的独特区别在这里得到了统一?而又有一个新的量占据这个殊荣——平均速度,可能平均速率更是我们所期望的吧。如果依靠位矢建立起那样一种度量,那么出现位移为零的情况,速度同样为零平均速度的刻画是极其令人不快的,也会让人对使用这种方法去度量结果反应的真实性(直觉上)表示怀疑。

因此,我们有理由这样想,一开始选取矢量定义的方式是从尽可能描述完整的目的出发,当我们需要定义速度,我们意识到了这种不协调,我们对定义的方式做了优化,使其在描述时进一步准确,两者达到统一,规避了这种不协调,使用瞬时速度这一定义,使其变得更为通俗赋予更广更具代表的简称速度,这难道不是人为的选择吗?我们‘抛弃’了(较少用)平均速度就是对这一不协调的最好解释吗?(这平均两个字总是让人想入非非,莫非这么起名是相对于瞬时速度而言的?虽然很明白这个事它就是个定义,但有时候就是感觉不舒服,说服不了自己,可能认知上还是喜欢直白一点、描述更完美一点)

再说回来,我们选择位矢描述某时刻质点的运动情况,能够确定位置和速度,唯一的缺憾就是动感太足一眼看不到轨迹函数 S ( t ) S(t) S(t)的,或许我们该接受这种不足,给予了太高的期望,若仅仅停留在运动方程,不去赋予更高的意义(不非得显含路程 S ( t ) S(t) S(t)函数),或许是一个不错的想法,更能让人接受。

如何定义一个运动?——给一个位置、一个速度(瞬时、有方向的、 lim ⁡ Δ t → 0 \lim_{\Delta t \to 0} limΔt0、连续可微)。

  • 一个位置、一个速度矢量,满足这样的条件也许就足够了。

一般谈速度都具有瞬时微分性,位矢 的变化量与路程的变化量一致,还需要多注意这一点。

功与能与路径有关标量第一类曲线积分耗散力机械能转化
与路径无关向量第二类曲线积分保守力机械能守恒

最后,当然你可以说我这样的但寻完全是多余的,因为我们经常遇到的问题大多是保守力场下求解的,因此需要使用向量来表示,我们此时不必关心具体的变化,只需要关心始末位置,我们计算非保守力时再使用别的方法,理论上来说没错。但是既然有这样的区分,难道不想寻找一种方法将两者合并起来,这是多么诱人。如果不可以,我想弄明白为什么不可以。具有什么样的条件下就可以了?(格林公式的路径无关条件,斯托克斯公式三维中路径无关条件)

不同坐标

  • 直角坐标 x , y x,y x,y;适合描述直线或曲线运动
  • 自然坐标
    v ⃗ = d r ⃗ d t = d r ⃗ d s d s d t = d s d t e τ → \vec v=\frac{d\vec r}{dt}=\frac{d\vec r}{ds}\frac{ds}{dt}=\frac{ds}{dt}\overrightarrow{e_\tau} v =dtdr =dsdr dtds=dtdseτ
    这里速度具有瞬时微分性,位矢 的变化量与路程的变换量一致,因此表现出的是切点的方向。
    a ⃗ = d v ⃗ d t = d v e τ ⃗ d t = d v d t e τ ⃗ + v d e τ ⃗ d t \vec{a}=\frac{d\vec{v}}{dt}=\frac{dv\vec{e_\tau}}{dt} = \frac{dv}{dt}\vec{e_\tau}+v\frac{d\vec{e_\tau}}{dt} a =dtdv =dtdveτ =dtdveτ +vdtdeτ
    加速度为速度的导数,
    d e τ ⃗ d t = d θ d t e n ⃗ = ω e n ⃗ = ω ⃗ \frac{d\vec{e_\tau}}{dt}=\frac{d\theta}{dt}\vec{e_n}=\omega \vec{e_n} = \vec{\omega} dtdeτ =dtdθen =ωen =ω
    这里的意思就是,方向向量的变化为角速度 ω ⃗ \vec{\omega} ω
    a ⃗ = d v d t e τ ⃗ + v ω e n ⃗ \vec{a}= \frac{dv}{dt}\vec{e_\tau}+v\omega\vec{e_n} a =dtdveτ +vωen
    曲率半径就是 e n ⃗ \vec{e_n} en 方向的半径 R R R
    • 在质点运动轨迹上任取一点作为坐标原点
    • 质点在任意时刻的位置都可用它到坐标原点的轨迹的长度 s s s 来表示
    • 使用轨迹点切线方向向量表示方向
    • 为了使加速度的物理意义更为清晰,通常在研究中采用自然坐标系。
    • 目的就是为了方便描述曲线运动,突出加速度:切向加速度、法向加速度
  • 极坐标 x = r cos ⁡ θ , y = r sin ⁡ θ x=r\cos\theta,y=r\sin\theta x=rcosθy=rsinθ
  • 柱坐标 x = r cos ⁡ θ , y = r sin ⁡ θ , z = z x=r\cos\theta,y=r\sin\theta,z=z x=rcosθy=rsinθz=z
  • 球坐标 x = r cos ⁡ θ sin ⁡ φ , y = r sin ⁡ θ sin ⁡ φ , z = r cos ⁡ φ , { r ≥ 0 , 0 ≤ θ < 2 π , 0 ≤ φ ≤ π } x=r\cos\theta\sin\varphi,y=r\sin\theta\sin\varphi,z=r\cos\varphi,\{r\geq0,0\leq\theta<2\pi,0\leq\varphi\leq\pi\} x=rcosθsinφy=rsinθsinφz=rcosφ{r0,0θ<2π,0φπ}

坐标运算

这几类坐标中相比最有意思还是球坐标,首先因为球坐标在三维空间中,计算上属于重积分,要比一般积分运算更复杂,其次可以涉及到点、线、面、体等各种不同变化,而这一切的核心都在于变化多端的被积函数或某种点、线、面、体的密度,我们还是以同济六版高等数学为例:

积分运算

说明一下不同维度,空间积分的计算。

中值定理与牛顿 - 莱布尼兹公式

我们先说明两个基础:

中值定理

(曲线区域与坐标围成的面积 【想象成一个三角的】= 坐标区域与曲线上一点的乘积【想象成矩形的】)

  • 实际上我觉得中值定理源自我们很早就学习过的数学知识,直角三角形的面积运算。我来画张图让大家感受一下
    请添加图片描述
    三角形 A B C ABC ABC为需要计算的面积,我们能够找到一点D,使得三角形 A B C ABC ABC的面积为矩形 A C F E ACFE ACFE的面积,学过小学数学的人都知道这是没有问题的。而厉害之处就在于将这个小学数学应用在曲线上。
  • 我们先来简单的理一下,如果我们需要计算一条任意曲线的面积我们应当怎么做呢?
    我们还是利用之前的思想,不过这次把它分成很多分份请添加图片描述
    这样我们得到的面积近似等于曲线的面积,理论上你分的足够细一定能得到曲线的真实面积。我们假设每一个矩形与曲线的交点,该交点与底面围成的矩形等于曲线围成的面积。这便是积分的原理。
  • 如果我们进一步思考,每一个矩形的底面宽度是不一样的,相对平缓的我们容易画出一个较大的矩形,相对陡峭的,我们越容易画出一个细长的矩形。
  • 如果我们再进一步,以定长分割底面宽度,随着底面宽度变化(沿x方向),某些点矩形与曲线的交点变化,某些点矩形与曲线的交点变化,而这一点一般我们叫倒数、线密度、被积函数、斜率,它本身就是我们曲线上的一点(交点)。
  • 有了这样的认知我们再分析一下各种中值定理:
    • 罗尔中值定理
      (1)在闭区间 [ a , b ] [a,b] [a,b] 上连续,
      (2)在开区间 ( a , b ) (a,b) (a,b) 内可导,
      (3) f ( a ) = f ( b ) f(a)=f(b) f(a)=f(b),则至少存在一个 ξ ∈ ( a , b ) ξ∈(a,b) ξ(a,b),使得 f ′ ( ξ ) = 0 f'(ξ)=0 f(ξ)=0
      在这里插入图片描述
      • 连续我们好理解,如果不连续我们就要考虑分段
      • 可导,实际上我们刚也分析了,可导就是有导数,导数就是我们之前提到矩形与曲线相交的某一点,由于我们使用这种微分之后再求和的方法(求矩形),所以这一点必须存在;
      • 为什么可导一定是开区间,因为没办法在一个点上取它的斜率;
      • 罗尔中值定理用人话说就是,两个等高的点之间的任意曲线,能找到一个水平的切线。
    • 拉格朗日中值定理
      (1) 在 [ a , b ] [a, b] [a,b]上都连续;
      (2) 在 ( a , b ) (a, b) (a,b)上都可导;
      那么在开区间 ( a , b ) (a,b) (a,b)内至少存在一点 ξ ξ ξ使得 f ′ ( ξ ) = ( f ( b ) − f ( a ) ) / ( b − a ) f'(ξ)=(f(b)-f(a))/(b-a) f(ξ)=(f(b)f(a))/(ba)在这里插入图片描述
      • 实际上拉格朗日中值定理用人话说就是,两点间线段能找到一切点 C C C,与 A B AB AB直线的斜率相等;
      • 其实不就是能找到一个切线了;
      • 我们再分析一下,这中值定理怎么就有用了,他怎么就能求出来积分了, f ′ ( ξ ) ( b − a ) = f ( b ) − f ( a ) f'(ξ)(b-a)=f(b)-f(a) f(ξ)(ba)=f(b)f(a),我们移项一下我们能发现导数是一个 tan ⁡ \tan tan函数(切线=角=正切=被积函数=映射=密度),它表达的不就是随横坐标向纵坐标映射去的数量的权重吗?不就是我们前面说的线密度吗?虽然他有很多名字,有很多意义,但是还不就是一个权重吗?很简单
    • 柯西中值定理
      (1) 在 [ a , b ] [a, b] [a,b] 上都连续;
      (2) 在 ( a , b ) (a, b) (a,b) 上都可导;
      (3) f ′ ( x ) f'(x) f(x) g ′ ( x ) g'(x) g(x) 不同时为零;
      (4) g ( a ) ≠ g ( b ) g(a) ≠ g(b) g(a)=g(b)
      则存在 ξ ∈ ( 𝑎 , 𝑏 ) ξ ∈ (𝑎,𝑏) ξ(a,b), 使得
      f ′ ( ξ ) g ′ ( ξ ) = f ( b ) − f ( a ) g ( b ) − g ( a ) \frac{f^{\prime}(\xi)}{g^{\prime}(\xi)}=\frac{f(b)-f(a)}{g(b)-g(a)} g(ξ)f(ξ)=g(b)g(a)f(b)f(a)
      • 这又是什么意思呢?实际上内核上没有新的东西,不过这一次不一样的是 X , Y X,Y XY的轴上是参数方程,就如曲线积分在各方向的投影/对坐标的曲线积分一样,分别在 X , Y X,Y XY两侧有 P ( x , y ) 、 Q ( x , y ) P(x,y)、Q(x,y) P(x,y)Q(x,y)两种不同的线密度一样,这两者放在一起理解我觉得更好。你会发现,这样不就能做该理论的支撑了吗?所以柯西将中值定理扩展到了参数方程更普遍/变化更多的领域。

因此这实际上说明了一个很重要的问题,所谓积分求面积,上面的曲线就是某个函数的导数、斜率、密度,它就是某个中值点。不过经常让人搞混的是,你看到的函数图像是是最终的面积变化函数呢?还是需要积分的权重函数呢?

牛顿 - 莱布尼兹公式

(增加的变化量的和 = 增加量)
∫ a b f ( x ) d x = F ( b ) − F ( a ) \int_a^bf(x)dx=F(b)-F(a) abf(x)dx=F(b)F(a)
该公式表达的是一重积分的原理。
中值定理更偏向描述微分,从整体到微分;牛顿 - 莱布尼兹公式体现的更多的是从微分到整体,两者表达一致。
f ′ ( ξ ) ( b − a ) = f ( b ) − f ( a ) f'(ξ)(b-a)=f(b)-f(a) f(ξ)(ba)=f(b)f(a)
符号统一一下:
f ( ξ ) ( b − a ) = F ( b ) − F ( a ) f(ξ)(b-a)=F(b)-F(a) f(ξ)(ba)=F(b)F(a)

我们就得到了积分中值公式
∫ a b f ( x ) d x = f ( ξ ) ( b − a ) \int_a^bf(x)dx=f(ξ)(b-a) abf(x)dx=f(ξ)(ba)

格林公式

我们先来看看格林公式:
∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y = ∮ L + P d x + Q d y \iint_D ( \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y} ) dxdy=\oint_{L+}Pdx+Qdy D(xQyP)dxdy=L+Pdx+Qdy
格林公式不就是曲线的第二类积分吗?不过通过变形的方式将一重积分与二重积分联系起来了,并且这个曲线还是一个封闭曲线。或许写成这样才好看一点:
∮ L + P d x + Q d y = ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y 对 比 一 下 曲 线 的 第 二 类 积 分 ∫ L P ( x , y ) d x + Q ( x , y ) d y \oint_{L+}Pdx+Qdy=\iint_D ( \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y} ) dxdy\\ 对比一下曲线的第二类积分\\ \int_{L}P(x,y)dx+Q(x,y)dy L+Pdx+Qdy=D(xQyP)dxdy线LP(x,y)dx+Q(x,y)dy
我们来细细理理,为什么这样子就能够得到一个二维面积了?
仔细回想一下我们刚再说中值定理的时候,实际上曲线的积分就是曲线所围成的面积,而有意思的是,当积分为一个环形,我们的积分就只是环形内的面积了,这样看起来我们更进了一步,因为我们的计算变得更自由了!但是怎样实现的呢?

  • 其实这跟积分的方向有关
    同济高等数学书上有这样一段话,再讲曲线积分时提到:“下限 α \alpha α 对应于 L L L的起点,上限 β \beta β对应于 L L L的终点, α \alpha α不一定小于 β \beta β。”翻译翻译就是,积分的正负与积分方向有关,在数学上,规定顺时针旋转的角为负角逆时针旋转的角为正角。 格林公式把第二类曲面积分转换为二重积分。 因为第二类 曲线积分 的积分路径是有方向的,所以格林公式需要考虑正、反向,书上公式是在正向也就是逆时针方向条件下给出的。如图:
    在这里插入图片描述
    :当积分的被积函数分母不能为零时,即使环路积分为零,别忘了零点这一特殊点,环路内它也是有贡献的,就好像把这个数专门留着,跟复变的留数定理意思有点像。

  • 曲线积分什么时候与路径无关呢?
    在物理学中,在保守立场条件下,我们需要研究向量的线性积分再与路径无关的情况下的积分运算;什么是路径无关呢?AB两点的环路积分为零,也就是A到B的任意一条曲线积分等于另一条曲线积分。
    ∮ L + P d x + Q d y = 0 = ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y 条 件 为 : ∂ Q ∂ x = ∂ P ∂ y \oint_{L+}Pdx+Qdy=0=\iint_D ( \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y} ) dxdy\\ 条件为: \frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}\\ L+Pdx+Qdy=0=D(xQyP)dxdyxQ=yP

  • 二元函数的全微分求积分

    • 要注意的是,这次的积分区间不再是回路,而是一条路径 L L L
    • 但是这条路径是路径无关
    • d u = P d x + Q d y du=Pdx+Qdy du=Pdx+Qdy,这样的形式很容易令人想到这里有一个全微分
    • u ( x , y ) = ∫ L P d x + Q d y u(x,y)=\int_{L}Pdx+Qdy u(x,y)=LPdx+Qdy

补充:什么是全微分?全微分就是各个方向上都微分,微分增量为全增量偏微分就是,再某个方向上有增量,是偏增量方向导就是沿某个方向的增量,既不是全增量(全方向),也不全是偏增量(仅沿轴方向是的)。——具体还是放在微分里面讲吧。

微积分与向量微积分

这是微积分的基本公式:
∫ a b f ( x ) d x = F ( b ) − F ( a ) \int_a^bf(x)dx=F(b)-F(a) abf(x)dx=F(b)F(a)
这里有一个缺陷,就是没有体现出向量的关系,下面是体现向量关系的式子
∫ a b F ⃗ ( x ) d r ⃗ = f ( b ) − f ( a ) \int_a^b\vec{F}(x)d\vec{r}=f(b)-f(a) abF (x)dr =f(b)f(a)
该积分曲线与路径无关

因此现在总结一下,我觉得这里非常能体现出微积分的两类特征:

微积分 与路径有关 标量第一类曲线积分耗散力
与路径无关 向量第二类曲线积分保守力
曲面积分

曲面积分也有如曲线积分一样的问题。

二重积分的中值定理

设函数 f ( x , y ) f(x,y) f(x,y)在闭区域 D D D上连续, σ \sigma σ D D D的面积,则 ∃ ( ξ , η ) ∈ D \exists(\xi,\eta)\in D (ξ,η)D ,使得
∬ D f ( x , y ) d σ = f ( ξ , η ) ∬ D d σ = f ( ξ , η ) ⋅ σ \iint_Df\left(x,y\right)d\sigma=f\left(\xi,\eta\right)\iint_Dd\sigma=f\left(\xi,\eta\right)\cdot\sigma Df(x,y)dσ=f(ξ,η)Ddσ=f(ξ,η)σ
我们来简单的理解一下,公式左边说的是具有不同面密度的面积分等于右边面积乘以一个面上一个面密度,我们应当能直到,这个面密度一定是一个平均面密度,这样做的好处就是将局部连续变化,变成了局部的平均值。

这里放一个例题,说一下这个定理一般会怎么用:
例题来源:(https://blog.youkuaiyun.com/weixin_47187147/article/details/124367113)
在这里插入图片描述
在这里插入图片描述
我来大致说一下什么意思,在一个区域内的积分, 可以等于区域内一点乘于积分面积,而这里这个区域会取极限,变成某一点,那么这一点,还在区域内,这一点就是区域内的某一点,实际上极限帮助我们确认了区域内的中值定理所要求的那一点。
我们再找一个例子:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
先感谢一下原作者的总结,我能拿来直接用,总结的很棒。这里计算相较于使用中值定理计算积分,使用了极坐标+积分中值定理的计算方法,当作扩展思路的例子。
在这里插入图片描述
能够包络所有的计算技巧不是本文的目的,还是回归到理论上来。

曲面的面积

要计算曲面积分还需要搞清一点,积分面与积分元关系,因为中值定理只能告诉我们被积函数的取法,我们还缺少积分元的取法,因此我需要再次着重讨论一下积分元的取法,为什么是再次呢?因为我们再说明曲线积分已经说过了,但是我觉得放在一起在说一遍会更好。
我们先说明一下,在沿着曲面的积分,注意这里的曲面是没有方向的、无向量的,

我这里找了几张描述这一过程的示意图,为了更方便理解,我们还是以这张图出发:

在这里插入图片描述
曲面 S S S的某一面元 d A dA dA,我们需要直到面元与积分元的关系,积分区间我们是在 x O y xOy xOy上的,因此我们的积分面实际上是在 x O y xOy xOy平面内,但是我们目的是要计算面元 d A dA dA,因此我们需要一个对应关系,我们能够取到一个切平面 T T T。我们能有积分元:
d A ⋅ c o s γ = d σ dA\cdot cos\gamma=d\sigma dAcosγ=dσ
同样能得到:
c o s γ = 1 ( f x ′ ) 2 + ( f y ′ ) 2 + 1 cos\gamma=\frac{1}{\sqrt{\left(f_{x}^{'}\right)^{2}+\left(f_{y}^{'}\right)^{2}+1}} cosγ=(fx)2+(fy)2+1 1
我们要说明一下, f x ′ , f y ′ f_{x}^{'},f_{y}^{'} fx,fy本身就是偏微分,写成 f x , f y f_{x},f_{y} fx,fy理应能表达微分的含义,但是为了强调,就先这样写吧。
实际上这件事不难想清楚,

1 ( f x ′ ) 2 + ( f y ′ ) 2 + 1 = d σ d A \frac{1}{\sqrt{\left(f_{x}^{'}\right)^{2}+\left(f_{y}^{'}\right)^{2}+1}}=\frac{d\sigma}{dA} (fx)2+(fy)2+1 1=dAdσ
这可以表示为两平面的夹角,而两平面的向量为, ( − f x ′ , − f y ′ , 1 ) (-f_x^{'},-f_y^{'},1) (fx,fy,1) ( 0 , 0 , 1 ) (0,0,1) (0,0,1)这样的两个向量。因此问题就又一步简化了,简化为两个向量的夹角,(后面会解释这个向量)
cos ⁡ θ = a ⃗ ⋅ b ⃗ ∣ a ⃗ ∣ ∣ b ⃗ ∣ = x 1 x 2 + y 1 y 2 x 1 2 + y 1 2 x 2 2 + y 2 2 \cos\theta=\frac{\vec{a}\cdot\vec{b}}{|\vec{a}||\vec{b}|}=\frac{x_{1}x_{2}+y_{1}y_{2}}{\sqrt{x_{1}^{2}+y_{1}^{2}}\sqrt{x_{2}^{2}+y_{2}^{2}}} cosθ=a b a b =x12+y12 x22+y22 x1x2+y1y2
我们带入求得一下就能得到。

  • 这样子的角已经出现了很多次了,有 c o s cos cos t a n tan tan的,我们来简单总结一下:
    • 沿着曲线或与路径关的时候
      这时候一般是 c o s cos cos,因为与路径相关,因此此时积分计算的是积分路径方向的与坐标轴映射或投影的关系;
    • 沿着坐标或与路径关的时候
      这时候一般是 t a n tan tan,因为与路径无关,因此此时积分计算的是另一坐标轴的与积分坐标轴映射或投影的关系,这不就是导数(被积函数、密度)。

在这里插入图片描述
因此积分元不同积分情况,若被积函数相同时,需要分清到底是无向量的,还是有向量的。

第一类曲面积分

∬ S f ( x , y , z ) d s = ∬ D x y f ( x , y , z ( x , y ) ) ( z x ′ ) 2 + ( z y ′ ) 2 + 1 d x d y \iint_Sf(x,y,z)ds=\iint_{D_{xy}}f(x,y,z(x,y))\sqrt{(z_x^{'})^2+(z_y^{'})^2+1}dxdy Sf(x,y,z)ds=Dxyf(x,y,z(x,y))(zx)2+(zy)2+1 dxdy
如果曲面S是由隐式 F ( x , y , z ) = 0 F(x,y,z)=0 F(x,y,z)=0 给出的,其中F的各偏导数“连续,而且 F z ′ ≠ 0 F_z^{^{\prime}}\neq0 Fz=0
∂ z ∂ x = − F x ′ F z ′ \frac {\partial z}{\partial x}= - \frac {F_x^{^{\prime }}}{F_z^{^{\prime }}} xz=FzFx , ∂ z ∂ y = − F y ′ F z ′ \frac {\partial z}{\partial y}= - \frac {F_y^{^{\prime }}}{F_z^{^{\prime }}} yz=FzFy
那么有 ∬ S f ( x , y , z ) d s = ∬ D x y f ( x , y , z ( x , y ) ) 1 ∣ F z ′ ∣ ( F x ′ ) 2 + ( F y ′ ) 2 + ( F z ′ ) 2 d x d y \iint_Sf(x,y,z)ds=\iint_{D_{xy}}f(x,y,z(x,y))\frac1{|F_z^{\prime}|}\sqrt{(F_x^{\prime})^2+(F_y^{\prime})^2+(F_z^{\prime})^2}dxdy Sf(x,y,z)ds=Dxyf(x,y,z(x,y))Fz1(Fx)2+(Fy)2+(Fz)2 dxdy

  • 对于一般式面向量为 ( f x ′ , f y ′ , − 1 ) (f_x^{'},f_y^{'},-1) (fx,fy,1),对于隐式,面向量为 ( F x ′ , F y ′ , F z ′ ) (F_x^{'},F_y^{'},F_z^{'}) (Fx,Fy,Fz),我们需要解释一下这里的面向量
    • 可以在曲面上找到两个向量,一个是切向量 T ⃗ ( d x , d y , d z ) \vec{T}(dx,dy,dz) T (dx,dy,dz),另一个为法向量 N ⃗ ( n 0 , n 1 , n 2 ) \vec{N}(n_0,n_1,n_2) N (n0,n1,n2)
    • 两个向量垂直,向量积为零 N ⃗ ⋅ T ⃗ = n 0 d x + n 1 d y + n 2 d f = 0 \vec{N} \cdot \vec{T}=n_0dx+n_1dy+n_2df=0 N T =n0dx+n1dy+n2df=0
    • 对于一元函数 f ( x ) f(x) f(x)在其上的任意一点, ( x , f ( x ) ) \left(x,f(x)\right) (x,f(x))的法向量为 ( f ′ ( x ) , − 1 ) \left(f^{\prime}(x),-1\right) (f(x),1),实际上也可以为 ( − f ′ ( x ) , 1 ) \left(-f^{\prime}(x),1\right) (f(x),1)
    • 对于二元函数 f ( x , y ) f(x,y) f(x,y)上的任意一点 ( x , y , f ( x , y ) ) (x,y,f(x,y)) (x,y,f(x,y)),其法向量为 ( ∂ f ∂ x , ∂ f ∂ y , − 1 ) (\frac{\partial f}{\partial x},\frac{\partial f}{\partial y},-1) (xf,yf,1),同样 ( − ∂ f ∂ x , − ∂ f ∂ y , 1 ) (-\frac{\partial f}{\partial x},-\frac{\partial f}{\partial y},1) (xf,yf,1)

这实际上说明了法向量是面函数的偏导,利用了面元的全微分,就类似于这样:
0 = ∂ f ∂ x d x + ∂ f ∂ y d y − d f 0=\frac{\partial f}{\partial x}dx+\frac{\partial f}{\partial y}dy-df 0=xfdx+yfdydf
若此时 z = f ( x , y ) z=f(x,y) z=f(x,y)
0 = ∂ z ∂ x d x + ∂ z ∂ y d y − d z 0=\frac{\partial z}{\partial x}dx+\frac{\partial z}{\partial y}dy-dz 0=xzdx+yzdydz
这样就能得到曲面的法向量了。(同济高等数学第六版下 曲面的切平面与法线,P98)

f f f代表的是法则,一种映射法则不能对法则求导或微分或偏导,必须用 z z z, z z z才代表的是函数。
参考链接

第二类曲面积分

∬ Σ P ( x , y , z ) d z d y + Q ( x , y , z ) d z d x + R ( x , y , z ) d x d y = ∬ S P c o s α d s + Q c o s β d s + R c o s γ d s \iint_{\Sigma}P(x,y,z)dzdy+Q(x,y,z)dzdx+R(x,y,z)dxdy=\iint_{S}Pcos\alpha ds+Qcos\beta ds+Rcos\gamma ds ΣP(x,y,z)dzdy+Q(x,y,z)dzdx+R(x,y,z)dxdy=SPcosαds+Qcosβds+Rcosγds
该曲面积分是具有方向的,
A ( x , y , z ) = P ( x , y , z ) i ⃗ + Q ( x , y , z ) j ⃗ + R ( x , y , z ) k ⃗ A(x,y,z) = P(x,y,z)\vec{i}+Q(x,y,z)\vec{j}+R(x,y,z)\vec{k} A(x,y,z)=P(x,y,z)i +Q(x,y,z)j +R(x,y,z)k

  • 两类曲面积分的关系:
    它是单位法向量的各分量
    ∬ S P d x d y + Q d z d x + R d x d y = ∬ S ( P , Q , R ) ( − f x ′ , − f y ′ , 1 ) d S = ∬ S A ⃗ ⋅ n ⃗ d S \iint\limits_{S}Pdxdy+Qdzdx+Rdxdy=\iint\limits_{S}(P,Q,R)(-f_x^{\prime},-f_y^{\prime},1)dS=\iint\limits_{S}\vec{A}\cdot \vec{n}dS SPdxdy+Qdzdx+Rdxdy=S(P,Q,R)(fx,fy,1)dS=SA n dS
    由于没有指定侧,因此不知道取正还是负,
    ( cos ⁡ α , cos ⁡ β , cos ⁡ γ ) = ± 1 1 + f x 2 + f y 2 ( f x , f y , − 1 ) (\cos\alpha,\cos\beta,\cos\gamma)=\frac{\pm1}{\sqrt{1+f_x^2+f_y^2}}(f_x,f_y,-1) (cosα,cosβ,cosγ)=1+fx2+fy2 ±1(fx,fy,1)
    实际上这样写
    ( cos ⁡ α , cos ⁡ β , cos ⁡ γ ) = ± 1 1 + f x 2 + f y 2 ( − f x , − f y , 1 ) (\cos\alpha,\cos\beta,\cos\gamma)=\frac{\pm1}{\sqrt{1+f_x^2+f_y^2}}(-f_x,-f_y,1) (cosα,cosβ,cosγ)=1+fx2+fy2 ±1(fx,fy,1)
    向上侧为正,相信下侧为负,这是因为曲面的法向量指向可以有两个,但我们选向上的为正方向,这样与面向量的流量正方向一致。

  • 说明一点曲面的向量是取得法向量曲线的向量取得是切向量

  • 这实际上是将与路径有关的,通过转为向量形式 c o s cos cos的正负就能够包含向量信息),换种说法就是路径无关化

参考(https://zhuanlan.zhihu.com/p/397567813)

二重积分运算
  • 二重积分计算可以将二重积分化成二次积分,即两次单积分或两次定积分来计算
  • 若其积分区域 D D D的边界是用直角坐标系表示方便,则使用直角坐标系,例如:
    ∬ D f ( x , y ) d σ = ∫ a b d x ∫ φ 1 ( x ) φ 2 ( x ) f ( x , y ) d y . \iint\limits_{D}f\left(x,y\right)\mathrm{d}\sigma=\int\limits_{a}^{b}\mathrm{d}x\int\limits_{\varphi_{1}\left(x\right)}^{\varphi_{2}\left(x\right)}f(x,y) \mathrm{d}y. Df(x,y)dσ=abdxφ1(x)φ2(x)f(x,y)dy.
  • 若其积分区域 D D D的边界是用极坐标系表示方便,则使用极坐标系,例如:
    ∬ D f ( x , y ) d σ = ∫ a β d θ ∫ φ 1 ( θ ) φ 2 ( θ ) f ( r cos ⁡ θ , r sin ⁡ θ ) r d r . \iint\limits_{D}f\left(x,y\right)\mathrm{d}\sigma=\int\limits_{a}^{\beta}\mathrm{d}\theta\int\limits_{\varphi_{1}\left(\theta\right)}^{\varphi_{2}\left(\theta\right)}f\left(r\cos\theta,r\sin\theta\right)r\mathrm{d}r. Df(x,y)dσ=aβdθφ1(θ)φ2(θ)f(rcosθ,rsinθ)rdr.
三重积分
  • 与二重积分一样,三重积分计算是将三重积分化成三次积分,即三次单积分或三次定积分来计算
  • 利用直角坐标系,积分区域 D D D的边界是用直角坐标系表示方便
  • 利用柱坐标系,积分区域 D D D的边界是用柱坐标系表示方便
  • 利用球坐标系,积分区域 D D D的边界是用球坐标系表示方便

我这里多说一点球坐标,
面积元 d S = r 2 sin ⁡ θ d θ d φ dS=r^{2}\sin\theta d\theta d\varphi dS=r2sinθdθdφ
体积元 d V = r 2 sin ⁡ θ d r d θ d φ dV=r^2\sin\theta dr d\theta d\varphi dV=r2sinθdrdθdφ

我经常有时候记不住,我想到一个比较的招:
对于极坐标面元: r d θ d r r\mathrm{d}\theta\mathrm{d}r rdθdr
对于柱坐标体积元: r d θ d r d z r\mathrm{d}\theta\mathrm{d}r\mathrm{d}z rdθdrdz
对于球坐标体积元: r d θ d r ( r sin ⁡ θ ) d φ r\mathrm{d}\theta\mathrm{d}r (r\sin\theta)\mathrm{d}\varphi rdθdr(rsinθ)dφ

d r \mathrm{d}r dr d θ \mathrm{d}\theta dθ d φ \mathrm{d}\varphi dφ
1 r r r r sin ⁡ θ r\sin\theta rsinθ
高斯公式与斯托克斯公式与格林公式

这里我们先谈斯托克斯公式,理由是我们前面已经说过了格林公式,这两个公式有其相似之处,方便理解:

  • 斯托克斯公式:
    ∮ L P d x + Q d y + R d z = ∬ S ( ∂ R ∂ y − ∂ Q ∂ z ) d y d z + ( ∂ P ∂ z − ∂ R ∂ x ) d z d x + ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y . \oint_LPdx+Qdy+Rdz=\iint_S(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z})dydz+(\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x})dzdx+(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy. LPdx+Qdy+Rdz=S(yRzQ)dydz+(zPxR)dzdx+(xQyP)dxdy.
    也可以表示为
    ∮ L P d x + Q d y + R d z = ∬ S ∣ d y d z d z d x d x d y ∂ ∂ x ∂ ∂ y ∂ ∂ z P Q R ∣ \oint_LPdx+Qdy+Rdz=\iint\limits_S\begin{vmatrix}dydz&dzdx&dxdy\\\frac{\partial}{\partial x}&\frac{\partial}{\partial y}&\frac{\partial}{\partial z}\\P&Q&R\end{vmatrix} LPdx+Qdy+Rdz=SdydzxPdzdxyQdxdyzR
    斯托克斯的公式推导,是将曲面投影到各个面,将二重积分化为二次积分,然后利用格林公式化为曲线积分。

  • 高斯公式
    ∯ S P d y d z + Q d z d x + R d x d y = ∭ Ω ( ∂ P ∂ x + ∂ Q ∂ y + ∂ R ∂ z ) d v = ∬ S P c o s α d s + Q c o s β d s + R c o s γ d s \begin{aligned} \oiint_SPdydz+Qdzdx+Rdxdy &=\iiint_\Omega\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\right)dv \\ &=\iint_{S}Pcos\alpha ds+Qcos\beta ds+Rcos\gamma ds\\ \end{aligned} SPdydz+Qdzdx+Rdxdy=Ω(xP+yQ+zR)dv=SPcosαds+Qcosβds+Rcosγds

  • 格林公式
    ∮ L + P d x + Q d y = ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y = ∫ L P cos ⁡ α d s + Q cos ⁡ β d s \oint_{L+}Pdx+Qdy=\iint_D ( \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y} ) dxdy=\int_{L}P\cos\alpha ds+Q\cos\beta ds L+Pdx+Qdy=D(xQyP)dxdy=LPcosαds+Qcosβds
    若定义沿着环方向有一切向量 τ \tau τ τ = ( cos ⁡ α , cos ⁡ β ) \tau=(\cos\alpha , \cos\beta) τ=(cosα,cosβ) ∮ ∂ D a ⋅ τ d s = ∬ D ( ∇ × a ) ⋅ d S \oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{\tau}\mathrm{d}s=\iint_D(\boldsymbol{\nabla}\times\boldsymbol{a})\cdot\mathrm{d}\boldsymbol{S} Daτds=D(×a)dS,其中 a = ( P , Q ) \boldsymbol{a}=(P,Q) a=(P,Q)
    在这里插入图片描述
    n = ( cos ⁡ β , − cos ⁡ α ) n=(\cos\beta , -\cos\alpha) n=(cosβ,cosα) ∮ ∂ D a ⋅ n d ⁡ s = ∬ D ∇ ⋅ a d ⁡ S \oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{n}\operatorname{d}s=\iint_D\boldsymbol{\nabla}\cdot\boldsymbol{a}\operatorname{d}S Dands=DadS
    ∮ ∂ D a ⋅ n d ⁡ s = ∮ ∂ D ( P cos ⁡ β − Q cos ⁡ α ) d ⁡ s = ∮ ∂ D − Q d x + P d y = ∬ D ( ∂ P ∂ x + ∂ Q ∂ y ) d x d y \begin{aligned} \oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{n}\operatorname{d}s &=\oint_{\partial D}(P\cos\beta-Q\cos\alpha)\operatorname{d}s \\ &=\oint_{\partial D}-Q \mathrm{d}x+P \mathrm{d}y \\ &=\iint_D(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}) \mathrm{d}x\mathrm{d}y \end{aligned} Dands=D(PcosβQcosα)ds=DQdx+Pdy=D(xP+yQ)dxdy

总结:
∮ ∂ D a ⋅ τ d s = ∬ D ( ∇ × a ) ⋅ d S ∮ ∂ D a ⋅ n d s = ∬ D ∇ ⋅ a d S \begin{aligned}&\oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{\tau}\mathrm{d}s=\iint_D(\boldsymbol{\nabla}\times\boldsymbol{a}) \cdot\mathrm{d}\boldsymbol{S}\\&\oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{n} \mathrm{d}s=\iint_D\boldsymbol{\nabla}\cdot\boldsymbol{a} \mathrm{d}S\end{aligned} Daτds=D(×a)dSDands=DadS

参考1
参考2
参考3

微分运算

洛必达法则

首先,我们理解一个知识点,需要弄明白它到底是为了干什么?解决什么问题。当我们求极限时,事实上微分本身就是一种极限,不仅是微分,导数也是一种极限,因此我们会遇到各种求解极限问题的情况。
会有这么一种特殊的情况,我们所求极限刚好为分式,我们不能利用“商的极限等于极限的商”这一法则进行运算,因此我们需要一种理论去解决这种情况。洛必达法则出现了:
lim ⁡ x → a f ( x ) F ( x ) = lim ⁡ x → a f ′ ( x ) F ′ ( x ) \lim_{x\to a}\frac{f(x)}{F(x)}=\lim_{x\to a}\frac{f^{\prime}(x)}{F^{\prime}(x)} xalimF(x)f(x)=xalimF(x)f(x)
还有另一种形式,这里 f f f F F F与上面有时表示微分关系不一样,具体还是看放在什么情况下说明,他们始终是一个代号。
* ⁡ l i m x → ∞ f ( x ) F ( x ) = * ⁡ l i m x → ∞ f ′ ( x ) F ′ ( x ) \operatorname*{lim}_{x\to \infty}\frac{f\left(x\right)}{F\left(x\right)}=\operatorname*{lim}_{x\to \infty}\frac{f' \left(x\right)}{F' \left(x\right)} *limxF(x)f(x)=*limxF(x)f(x)
还有其他变形,可以通过变形得到分式形式,然后再使用洛必达法则, 0 ⋅ ∞ , ∞ − ∞ , 1 ∞ , ∞ 0 , 0 0 0\cdot\infty , \infty-\infty , 1^{\infty} , \infty^{0} , 0^{0} 0,,1,0,00

注:洛必达法则仅对不定式 0 0 , ∞ ∞ \frac{0}{0},\frac{ \infty}{ \infty} 00)这类问题适用,其他的不能用。

  • 洛必达怎呢求积分极限?
    举个例子
    例子链接
    * ⁡ l i m x → 0 ( ∫ 0 x e t 2 d t ) 2 ∫ 0 x t e 2 t 2 d t = lim ⁡ x → 0 2 ∫ 0 x e t 2 d t ⋅ e x 2 x e 2 x 2 = lim ⁡ x → 0 ∫ 0 x e t 2 d t x ⋅ lim ⁡ x → 0 2 e x 2 e 2 x 2 = 2 lim ⁡ x → 0 ∫ 0 x e t 2 d t x = 2 lim ⁡ x → 0 e x 2 1 = 2 \begin{aligned} \operatorname*{lim}_{x\to0}\frac{(\int_{0}^{x}e^{t^{2}}dt)^{2}}{\int_{0}^{x}te^{2t^{2}}dt}& =\lim_{x\to0}\frac{2\int_0^xe^{t^2}dt\cdot e^{x^2}}{xe^{2x^2}} \\ &=\lim_{x\to0}\frac{\int_0^xe^{t^2}dt}x\cdot\lim_{x\to0}\frac{2e^{x^2}}{e^{2x^2}}=2\lim_{x\to0}\frac{\int_0^xe^{t^2}dt}x \\ &=2\lim_{x\to0}\frac{e^{x^2}}1=2 \end{aligned} *limx00xte2t2dt(0xet2dt)2=x0limxe2x220xet2dtex2=x0limx0xet2dtx0lime2x22ex2=2x0limx0xet2dt=2x0lim1ex2=2
全导数与参数方程 - 一元函数

这种能够写出全导数的函数,一般看起来虽然像是多元函数,但是它能够写成参数方程,最后化成一元函数,因此,全倒数与导数一致,可以说是参数方程的导数。如 z = f ( x , y ) , x = u ( t ) , y = v ( t ) z=f(x,y),x=u(t),y=v(t) z=f(x,y)x=u(t)y=v(t)。那么 z z z关于 t t t的导数就是全导数。所以本质上就是个一元函数的导数, z z z本质上就是个关于 t t t的一元函数。对于真正的多元函数是没有全导数这一说的,只有偏导数、偏微分和全微分。

以下以 z = f ( x , y , t ) z=f(x,y,t) z=f(x,y,t)为例
全导数:
d z d t = ∂ z ∂ x d x d t + ∂ z ∂ y d y d t + ∂ z ∂ t \frac{\mathrm{d}z}{\mathrm{d}t}=\frac{\partial z}{\partial x}\frac{\mathrm{d}x}{\mathrm{d}t}+\frac{\partial z}{\partial y}\frac{\mathrm{d}y}{\mathrm{d}t}+\frac{\partial z}{\partial t} dtdz=xzdtdx+yzdtdy+tz
微分:
d z = ( ∂ z ∂ x d x d t + ∂ z ∂ y d y d t + ∂ z ∂ t ) d t \mathrm dz=\begin{pmatrix}\frac{\partial z}{\partial x}\frac{\mathrm dx}{\mathrm dt}+\frac{\partial z}{\partial y}\frac{\mathrm dy}{\mathrm dt}+\frac{\partial z}{\partial t}\end{pmatrix} \mathrm dt dz=(xzdtdx+yzdtdy+tz)dt

注1 f f f代表的是法则,一种映射法则不能对法则求导或微分或偏导,必须用 z z z, z z z才代表的是函数。(同济高等数学第六版下,P77,P64 实际也可以记作 ∂ f \partial f f,但是为了不混乱还是分开)

注2:全导数是一定能确定化成一元函数,因此对函数 z z z的微分是 d d d符号,虽然全微分里含偏微分,但 d d d尾。

全微分与方向导与偏导数 - 多元函数

全微分实际要求了一件事,就是函数可微,对于二元函数,函数可微与一元函数略有不同。

  • 一元函数,可微 d y = Δ y = f ( x + Δ x ) − f ( x ) = d y d x Δ x + o ( Δ x ) dy=\Delta y=f(x+\Delta x)-f(x)=\frac{dy}{dx} \Delta x+o(\Delta x) dy=Δy=f(x+Δx)f(x)=dxdyΔx+o(Δx)
  • 多元函数,可微 d z = Δ z = f ( x + Δ x , y + Δ y ) − f ( x , y ) = ∂ z ∂ x Δ x + ∂ z ∂ y Δ y + o ( ρ ) dz=\Delta z=f(x+\Delta x,y+\Delta y)-f(x,y)=\frac{\partial z}{\partial x}\Delta x+\frac{\partial z}{\partial y}\Delta y+o(\rho) dz=Δz=f(x+Δx,y+Δy)f(x,y)=xzΔx+yzΔy+o(ρ)
    其中 ρ = ( Δ x ) 2 + ( Δ y ) 2 \rho=\sqrt{(\Delta x)^2+(\Delta y)^2} ρ=(Δx)2+(Δy)2

概念很简单,但是我觉得要彻底读懂还是应该费些笔墨,总说可微可微到底怎样才算可微呢?
就看概念,总的来说是沿着全增量的方向有微元,各元函数的系数为原函数的偏导数,所以这里一定是要偏导数存在的,这里我们呢看概念是能体会到的,但是各偏导数存在全微分就一定存在吗?答案是错的,所以这里就有误区了。问题在这里,我们虽然抓住了重点微分元部分,但是我们总是忽略小尾巴 o o o,这个理论上来讲,是一个无穷小量,我们默认它可以忽略了,但是问题就出在这里。不是所有函数微分后的无穷小量都能忽略。

  • 这里实际有一个隐含的条件,无穷小量 o o o一定得是 ρ \rho ρ高阶无穷小才满足,且路径一定得沿着 ρ \rho ρ方向。
    写成公式就是
    lim ⁡ ρ → 0 o ( ρ ) ρ = lim ⁡ ( Δ x , Δ y ) → ( 0 , 0 ) o ( Δ x , Δ y ) ( Δ x ) 2 + ( Δ y ) 2 \lim_{\rho \to 0} \frac{ o(\rho) }{\rho} =\lim_{(\Delta x,\Delta y) \to (0,0)}\frac{ o(\Delta x,\Delta y) }{\sqrt{(\Delta x)^2+(\Delta y)^2}} ρ0limρo(ρ)=(Δx,Δy)(0,0)lim(Δx)2+(Δy)2 o(Δx,Δy)
    极限等于零(高阶无穷小,极限为零),这时我们才能忽略无穷小量 o o o各偏导数存在,此时多元函数的才可微

    • 要有: lim ⁡ ρ → 0 Δ z = 0 \lim_{\rho \to 0} \Delta z=0 limρ0Δz=0,函数连续(若可微,一定连续)
    • 要有:无穷小量 o o o一定得是 ρ \rho ρ高阶无穷小
    • 总:函数 z z z连续性是 ρ \rho ρ高阶无穷小,公式如下
      lim ⁡ ρ → 0 Δ z ρ = lim ⁡ ( Δ x , Δ y ) → ( 0 , 0 ) f ( x , y ) − f ( 0 , 0 ) ( Δ x ) 2 + ( Δ y ) 2 = lim ⁡ ( Δ x , Δ y ) → ( 0 , 0 ) ∂ z ∂ x Δ x + ∂ z ∂ y Δ y + o ( Δ x , Δ y ) ( Δ x ) 2 + ( Δ y ) 2 = lim ⁡ ( Δ x , Δ y ) → ( 0 , 0 ) o ( Δ x , Δ y ) ( Δ x ) 2 + ( Δ y ) 2 = 0 \begin{aligned} \lim_{\rho \to 0} \frac{ \Delta z}{\rho} &=\lim_{(\Delta x,\Delta y) \to (0,0)}\frac{ f(x,y)-f(0,0) }{\sqrt{(\Delta x)^2+(\Delta y)^2}}\\ &=\lim_{(\Delta x,\Delta y) \to (0,0)}\frac{\frac{\partial z}{\partial x}\Delta x+\frac{\partial z}{\partial y}\Delta y+o(\Delta x,\Delta y)}{\sqrt{(\Delta x)^2+(\Delta y)^2}}\\ &=\lim_{(\Delta x,\Delta y) \to (0,0)}\frac{o(\Delta x,\Delta y)}{\sqrt{(\Delta x)^2+(\Delta y)^2}}\\ &=0\\ \end{aligned} ρ0limρΔz=(Δx,Δy)(0,0)lim(Δx)2+(Δy)2 f(x,y)f(0,0)=(Δx,Δy)(0,0)lim(Δx)2+(Δy)2 xzΔx+yzΔy+o(Δx,Δy)=(Δx,Δy)(0,0)lim(Δx)2+(Δy)2 o(Δx,Δy)=0
      若公式成立,则在 ( 0 , 0 ) (0,0) (0,0)可微。这样一种形式既要求了连续性,有要求了无穷小量的条件。
  • 偏导数在某点存在,并不一定保证函数在该点连续(对于偏导数,连续不一定可导,可导不一定连续偏导数存在只能证明沿着坐标轴方向存在,二元函数是一个空间曲面,因此偏导约束略显不足)。

  • 还有另外一种方法满足也时也可微,各偏导数存在,且偏导数连续,需要提醒的一点,偏导数在一点连续并不一定意味着偏导数在这一点存在,比如在该偏导方向是一条折线,折现连续但折线的点不可微,即偏导不存在。因此必须要有两个要求。

    • 要求1:各偏导数存在
    • 要求2:偏导数连续,此处连续邻域一定是 ρ → 0 \rho \to 0 ρ0,偏导数极限变化一定取 ρ → 0 \rho \to 0 ρ0,因为这是二元函数。(偏导连续一定可微,可微不一定偏导连续)
    • :偏导数,既可导连续 = 函数 z z z连续且可微。

总结一下:全微分要求连续且有高阶无穷小,或者偏导数存在、偏导数连续。但总的来说收敛路径一定得是 ρ → 0 \rho \to 0 ρ0,实际上计算函数连续且有高阶无穷小会更直接
例子:
在这里插入图片描述
这是 z = x y x 2 + y 2 z=\frac{xy}{\sqrt{x^{2}+y^{2} } } z=x2+y2 xy的图像,从图像上我们就能发现沿着 x , y x,y x,y方向函数在 ( 0 , 0 ) (0,0) (0,0)点不连续。
在这里插入图片描述

参考(https://zhuanlan.zhihu.com/p/110305413)这里的例子很多可以学习一下。
参考(https://zhuanlan.zhihu.com/p/511836888)这里的例子很多可以学习一下。
在这里插入图片描述

  • 切线存在,切平面一定存在吗?—— 方向导与全微分
    实际上对于多元函数,全微分存在,实际上是需要平面上具有一切平面,切平面存在,全微分存在。那么有时就会有疑问方向导不是各个方向都有吗?为什么方向导存在,切线存在,但是全微分不存在,这件事情还是得要从 方向导开始说起。
    • 方向导的实质是一条射线,由射线决定的曲线,自起始点起,其中 Δ x = t c o s α , Δ y = t c o s β , ( Δ x ) 2 + ( Δ y ) 2 = t \Delta x=tcos\alpha,\Delta y=tcos\beta,\sqrt{(\Delta x)^2+(\Delta y)^2}=t Δx=tcosα,Δy=tcosβ,(Δx)2+(Δy)2 =t
      定义:
      ∂ f ∂ l ∣ ( x 0 , y 0 ) = lim ⁡ t → 0 + f ( x 0 + t c o s α , y 0 + t c o s β ) − f ( x 0 , y 0 ) t = f x ( x 0 , y 0 ) c o s α + f y ( x 0 , y 0 ) c o s β \begin{aligned} \frac{\partial f}{\partial l}|_{(x_0,y_0)} &=\lim_{t\to0^+}\frac{f(x_0+tcos\alpha,y_0+tcos\beta)-f(x_0,y_0)}t\\ &=f_x(x_0,y_0)cos\alpha+f_y(x_0,y_0)cos\beta \end{aligned} lf(x0,y0)=t0+limtf(x0+tcosα,y0+tcosβ)f(x0,y0)=fx(x0,y0)cosα+fy(x0,y0)cosβ
      从图像上看在起始点容易出现不连续的情况,
这里给出一个例子,方向导存在,偏导不存在:

在这里插入图片描述
参考文章来源(https://zhuanlan.zhihu.com/p/430125622)这个例子直接计算的方式展示了原因,有时候就是这些计算需要注意的点,忽略了。极限中出现绝对值,就是造成极限在某一点不存在的原因。
函数图像:
在这里插入图片描述

坐标这种语言

本文虽然通过坐标的疑问开始,一开始也是觉得有哪些自己没有搞懂、没有搞清楚的问题,这么一梳理,发现坐标横穿整个高等数学,如果你使用的坐标还需要在复数,可能还会需要复变函数的知识,但倘若你问我如何能够统领起来,看穿立意者的意图,我觉得非格林公式莫属,这样简介明了的公式实在少有:
∮ ∂ D a ⋅ τ d s = ∬ D ( ∇ × a ) ⋅ d S ∮ ∂ D a ⋅ n d s = ∬ D ∇ ⋅ a d S \begin{aligned}&\oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{\tau}\mathrm{d}s=\iint_D(\boldsymbol{\nabla}\times\boldsymbol{a}) \cdot\mathrm{d}\boldsymbol{S}\\&\oint_{\partial D}\boldsymbol{a}\cdot\boldsymbol{n} \mathrm{d}s=\iint_D\boldsymbol{\nabla}\cdot\boldsymbol{a} \mathrm{d}S\end{aligned} Daτds=D(×a)dSDands=DadS

参考(https://zhuanlan.zhihu.com/p/98017196)

最后,本来还是想写这几样的,就先这样吧,写了好几天,最后还是没办法接受了,定义就是定义吧,也许就是思维逻辑上的完整性,也许这世界上没有一种描述能让所有人满意。我就是觉得那种公式就应该简洁、优美、最好对称型极高,自己这种强迫症真的让人头疼。要是有能够适用所有的理论该多好啊!!或许自己该接受描述是有局限的,必须看解决问题性质,用哪个能简化问题,或许这样的心态才正确。

理论上是正确的,但按耐不住恍惚间觉得不对劲、不舒服。啊!!!!!!

  • 特殊积分元的坐标积分
  • 几何关系
  • 隐函数
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值