斯托克斯公式证明（斯托克斯公式,方向取上测,和下侧有什么不同）

本文目录

• 斯托克斯公式,方向取上测,和下侧有什么不同
• 怎么证明斯托克斯定理啊
• 高等数学证明斯托克斯公式 曲面∑：z=x^2+y^2,x^2+y^2
• 纳维-斯托克斯方程为什么被称为数学史最复杂的公式
• 曲面∑：z=x^2+y^2,x^2+y^2<=1,P=y^2,Q=x,R=z^2证明斯托克斯公式，详细一点的
• 关于同济高数斯托克斯公式证明过程的一个问题

斯托克斯公式,方向取上测,和下侧有什么不同

斯托克斯公式是微积分基本公式在曲面积分情形下的推广，它也是格林公式的推广，这一公式给出了在曲面块上的第二类曲面积分与其边界曲线上的第二类曲线积分之间的联系。中文名斯托克斯公式外文名Stokes formula领域数学提出者斯托克斯形式积分内容证明TA说内容设 是具有边界曲线的有向曲面， 的边界曲线的正向这样规定：使这个正向与有向曲面 的法向量符合右手法则．即当右手除大拇指外的四指依曲线 的绕行方向时，竖起的大拇指的指向与曲面 的法向量的指向一致．如此定向的边界曲线 称为有向曲面 的正向边界曲线．设 为空间的一条分段光滑的有向曲线， 是以 为边界的分片光滑的有向曲面， 的正向与 的侧符合右手法则．函数 在曲面 (连同边界 )上具有连续的一阶偏导数，则称为斯托克斯公式

怎么证明斯托克斯定理啊

第一章 电磁现象的普遍规律1. 根据算符▽的微分形与矢量形，推导下列公式：▽（A·B）=B×（▽×A）+（B·▽）A+A×（▽×B）+（A·▽）B，A×（▽×A）=▽A2/2-（A·▽）A。、2. 设u是空间坐标x，y，z的函数，证明：▽f(u)=df/du▽u，▽·A(u)= ▽u·dA/du，▽×A(u)= ▽u×dA/du。3. 设r=√为源点x’到场点x的距离，r的方向规定为从源点指向场点。a) 证明下列结果，并体会对源变数求微商（▽’=exb) 求▽·r，▽×r，(a·▽)r，▽(a·r)，▽·，其中a、k及E0均为常矢量。4. 应用高斯定理证明∫vdV×f=∮sdS×f，应用斯托克斯定理证明∫sdS×▽ψ=∮Ldlψ。5. 已知一个电荷系统的偶极距定义为p(t)=∫vρ(x’,t)x’dV’，利用电荷守恒定律6. 若m是常矢量，证明除R=0点以外，矢量A=m×R/R3的旋度等于标量ψ=m·R/R3的梯度的负值，即▽×A=-▽ψ，其中R为坐标原点到场点的距离，方向由原点指向场点。7. 有一内外半径分别为r1和r2的空心介质球，介质的电容率为ε，使介质内均匀带静止自由电荷ρf，求a) 空间各点的电场；b) 极化体电荷和极化面电荷分布。8. 内外半径分别为r1和r2的无穷长中空导体圆柱，沿轴向流有恒定均匀自由电流Jf，导体的磁导率为μ。求磁感应强度和磁化电流。9. 证明均匀介质内部的体极化电荷密度ρp总是等于体自由电荷密度ρf的-(1-ε0/ε)倍。10. 证明两个闭合的恒定电流圈之间的相互作用力大小相等，方向相反（但两个电流元之间的相互作用力一般并不服从牛顿第三定律）。11. 平行板电容器内有两层介质，它们的厚度分别为l1和l2，电容率为ε1和ε2，今在两板接上电动势为ε的电池，求a) 电容器两板上的自由电荷面密度ωf；b) 介质分界面上的自由电荷面密度ωf。若介质是漏电的，电导率分别为σ1和σ2，当电流达到恒定时，上述两问题的结果如何？12. 证明： （1）当两种绝缘介质的分界面上不带面自由电荷时，电场线的曲折满足 tanθ2/tanθ1=ε2/ε1，其中ε1和ε2分别为两种介质的介电常数，θ1和θ2分别为界面两侧电场线与法线的夹角。（2）当两种导电介质内流有恒定电流时，分界面上电场线曲折满足tanθ2/tanθ1=σ2/σ1，其中σ1和σ2分别为两种介质的电导率。13. 试用边值关系证明：在绝缘介质与导体的分界面上，在静电情况下，导体外的电场线总是垂直于导体表面；在恒定电流情况下，导体内电场线总是平行于导体表面。14. 内外半径分别为a和b的无限长圆柱形电容器，单位长度荷电为λf，板间填充电导率为σ的非磁性物质。a) 证明在介质中任何一点传导电流与位移电流严格抵消，因此内部无磁场。b) 求λf随时间的衰减规律。c) 求于轴相距为r的地方的能量耗散功率密度。d) 求长度为l的一段介质总的能量耗散功率，并证明它等于这段的静电能减少率。

高等数学证明斯托克斯公式 曲面∑：z=x^2+y^2,x^2+y^2

补充上面那个网友的说法.L上的曲线积分,你可以用参数方程来做,x=cost,y=sint,z=1,将之供稿到曲线积分的公式中去计算.

纳维-斯托克斯方程为什么被称为数学史最复杂的公式

相比起黎曼猜想、费马大定理、哥德巴赫猜想等全球知名的难题，纳维-斯托克斯方程的存在感很低，即使在世界千禧年七大难题里，也很少会有人提及，最重要的原因就是，这个难题实在是不太好理解，尤其对于普通人而言，甚至名列榜首的P/NP问题普通人都可以揣摩到一些，但就是很难理解纳维—斯托克斯方程，这也是为什么民科很少触及这个问题的原因。

大家可以看看百度百科上对这个难题的描述：

起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维-斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

没头没尾，你甚至在这段话里都很难揣测出这个难题究竟描述的是什么问题，流露出一股玄学的问题，今天我们就来聊聊纳维-斯托克斯方程。

这个方程并不是一个人提出来的，1775年，著名数学家欧拉，对，没有错就是数学界四大天王欧拉，他如今又来掺和流体力学了，他在《流体运动的一般原理》一书中根据无粘性流体运动时流体所受的力和动量变化从而推导出了一组方程。

方程如下：(ax?D?+bxD+c）y=f(x）（只是其中一种形式，还有泛函极值条件的微分表达式等），这是属于无粘性流体动力学（理想流体力学）中最重要的基本方程，是指对无粘性流体微团应用牛顿第二定律得到的运动微分方程，它描述理想流体的运动规律。奠定了理想流体力学基础。

粘性流体是指粘性效应不可忽略的流体。自然界中的实际流体都是具有粘性，所以实际流体又称粘性流体，是指流体质点间可流层间因相对运动而产生摩擦力而反抗相对运动的性质。

1821年，著名工程师纳维推广了欧拉的流体运动方程，考虑了分子间的作用力，从而建立了流体平衡和运动的基本方程。方程中只含有一个粘性常数。

1845年斯托克斯从连续统的模型出发，改进了他的流体力学运动方程，得到有两个粘性常数的粘性流体运动方程的直角坐标分量形式，这就是后世所说的纳维-斯托克斯方程。

纳维-斯托克斯方程有很多种表达形式

解释纳维-斯托克斯方程的细节之前，首先，必须对流体作几个假设。第一个是流体是连续的。这强调它不包含形成内部的空隙，例如，溶解的气体气泡，而且它不包含雾状粒子的聚合。另一个必要的假设是所有涉及到的场，全部是可微的，例如压强P，速度v，密度ρ，温度Q等等。该方程从质量，动量守恒，和能量守恒的基本原理导出。

对此，有时必须考虑一个有限的任意体积，称为控制体积，在其上这些原理很容易应用。该有限体积记为ω，而其表面记为?ω。该控制体积可以在空间中固定，也可能随着流体运动。

可以说纳维-斯托克斯方程是众多科学家和工程师的推动下产生的，是一组描述像液体和空气这样的流体物质的方程。这些方程建立了流体的粒子动量的改变率（力）和作用在液体内部的压力的变化和耗散粘滞力（类似于摩擦力）以及引力之间的关系。这些粘滞力产生于分子的相互作用，能告诉我们液体有多粘。这样，纳维-斯托克斯方程描述作用于液体任意给定区域的力的动态平衡。

在流体力学中，有很多方程，但很多方程都和纳维尔-斯托克斯方程有着联系，纳维-斯托克斯方程可以说描述了流体领域的大部分条件，当然了，该方程也有其适用范围，该方程只适用于牛顿流体。

什么是牛顿流体呢？简单说就是：任一点上的剪应力都同剪切变形速率呈线性函数关系的流体。一般高黏度的流体是不满足这种关系的，说明牛顿流体和非牛顿流体有个简单的例子就是大家熟知的虹吸现象。在低黏度下，虹吸要进行下去，吸取口必须在页面以下，但非牛顿流体的高黏度流体下，吸取口哪怕高于液面，其虹吸依然能够进行，因为黏度太大了。

而对于工程应用来说，大部分情况还是处理牛顿流体，或者可以近似为牛顿流体。可以说，该方程在流体力学中起着基础性的作用，但也起着决定性的作用。

关于这组方程所涉及的难题就是，如何用数学理论阐明这组方程。对，甚至用数学理论阐明用于描述奇特黑洞的爱因斯坦场方程都会比阐述纳维-斯托克斯方程更简单一些。

所以有关纳维-斯托克斯方程其解的数学性质有关的数学问题被称为纳维-斯托克斯方程解的存在性与光滑性。

尽管纳维-斯托克斯方程可以描述空间中流体（液体或气体）的运动。纳维-斯托克斯方程式的解可以用到许多实际应用的领域中。比如可以运用到模拟天气，洋流，管道中的水流，星系中恒星的运动，翼型周围的气流。它们也可以用于飞行器和车辆的设计，血液循环的研究，电站的设计，污染效应的分析等等。

不过目前对于纳维－斯托克斯方程式解的理论研究还是不足，尤其纳维－斯托克斯方程式的解常会包括紊流。

紊流又称湍流，是流体的一种流动状态。当流速很小时，流体分层流动，互不混合，称为层流，或称为片糖；逐渐增加流速，流体的流线开始出现波状的摆动，摆动的频率及振幅随流速的增加而增加，此种流况称为过渡流；当流速增加到很大时，流线不再清楚可辨，流场中有许多小漩涡，称为湍流，又称为乱流、扰流或紊流。（飞机最怕遇见湍流）

虽然紊流在科学及工程中非常的重要，但是紊流无序性、耗能性、 扩散性。至今仍是未解决的物理学问题之一。

另外，许多纳维－斯托克斯方程式解的基本性质也都尚未被证明。因为纳维-斯托克斯方程依赖微分方程来描述流体的运动。不同于代数方程，这些方程不寻求建立所研究的变量（譬如速度和压力）的关系，而寻求建立这些量的变化率或通量之间的关系。用数学术语来讲，这些变化率对应于变量的导数。其中，最简单情况的0粘滞度的理想流体的纳维-斯托克斯方程表明，加速度（速度的导数，或者说变化率）是和内部压力的导数成正比的。

这表示对于给定的物理问题，至少要用微积分才可以求得其纳维-斯托克斯方程的解。实用上，也只有最简单的情况才能用这种方法获得已知解。这些情况通常涉及稳定态（流场不随时间变化）的非紊流，其中流体的粘滞系数很大或者其速度很小（低雷诺数）。

对于更复杂的情形，例如厄尔尼诺这样的全球性气象系统或机翼的升力，纳维-斯托克斯方程的解必须借助计算机才能求得。这个科学领域称为计算流体力学。

例如数学家就尚未证明在三维座标，特定的初始条件下，纳维－斯托克斯方程式是否有符合光滑性的解。也尚未证明若这样的解存在时，其动能有其上下界。

而千禧年关于纳维－斯托克斯方程的问题则更为困难，它给出的问题是：在三维的空间及时间下，给定一起始的速度场，存在一向量的速度场及纯量的压强场，为纳维－斯托克斯方程式的解，其中速度场及压强场需满足光滑及全局定义的特性。

注意，世界千禧年七大数学问题中每个数学问题的官方陈述除了P/NP问题之外，都是由此领域或者在此问题上做出过成果的菲尔兹奖得主进行撰写，确保能够精炼概括出问题，从而保证问题的严谨性，而P/NP问题因为涉及到计算机方面，所以官方陈述是由图灵奖得主斯蒂芬·库克撰写，纳维-斯托克斯方程存在性与光滑性。查尔斯·费夫曼撰写的官方陈述

如果你没有办法理解，你可以简单理解成，科学家希望可以找出纳维－斯托克斯方程的通解，也就是说证明方程的解总是存在。换句话说，这组方程能否描述任何流体，在任何起始条件下，未来任一时间点的情况。

一组用数学理论阐明都困难的方程组，你还需要去证明这个方程的解总是存在。这让许多科学家为之崩溃。

目前来说，目前只有大约一百多个特解被解出来。而数学家让·勒雷在1934年时证明了所谓纳维-斯托克斯问题弱解的存在，此解在平均值上满足纳维-斯托克斯问题，但无法在每一点上满足。

而自此之后，关于纳维-斯托克斯问题的研究就停滞不前，所以它也被称为最难的数学或物理公式，直到 80 年以后，陶哲轩在纳维-斯托克斯问题上发表了文章《Finite time blowup for an averaged three-dimensional Navier-Stokes equation》，他的主要目的是将纳维－斯托克斯方程全局正则性问题的超临界状态屏障形式化。粗略地说，就是抽像地建立纳维－斯托克斯方程的全局正则性是不可能的。陶哲轩认为，相信抽象方法（基於能量等式的泛函分析方法比如半群等）和纯粹的调和分析应该是不够用的，可能必须要用到NS方程的特殊几何比如vorticity，这篇文章就是构造了一个类似于NS方程、但不是原先的NS方程的一个反例。

他说，想象一下假如有人异常聪明，纯粹用水创造了一台机器，它并不由杆和齿轮而是由相互作用的水流构成。陶边说着边像魔术师般用手在空中比划出一个形状。想象一下这台机器可以copy出另一个更小速度更快的自己，接着这个更小速度更快的又copy出另一个，不断继续下去，直到在一个微小的空间达到了无限的速度，从而引发了**。陶笑着说到他并不是提议真的创建这样一台机器，这只是一个思想实验，就像爱因斯坦导出狭义相对论。但是，陶解释到，如果可以从数学上证明在原则上没有什么可以阻止这个奇妙装置运转，那么这便意味着水实际上会**。而且在这个过程中，他也会解决纳维－斯托克斯方程的存在性与光滑性的问题。

无论怎么样来说，在不断解决纳维－斯托克斯方程的过程中，无数新的数学工具数学方法随之诞生，引领着数学不断前进发展。这就是这些难题猜想存在的意义。

曲面∑：z=x^2+y^2,x^2+y^2<=1,P=y^2,Q=x,R=z^2证明斯托克斯公式，详细一点的

答：π

斯托克斯公式就是将曲线积分转为曲面积分后再计算二重积分。

P = y²

Q = x

R = z²

旋度计算：

∮_(Γ) y²dx + xdy + z²dz，假设Γ是正向的，取 +

= ∫∫_(Σ) (1 - 2y) dxdy

Σ为抛物面z = x²+y²，0 ≤ z ≤ 1

则D为Σ在xOy面的投影方程，x²+y² ≤ 1

= ∫∫_(D) (1 - 2y) dxdy，2y关于y是奇函数，积分是0

= ∫∫_(D) dxdy - 0

= D的面积

= π * 1²

= π

跟参数法比较：

关于同济高数斯托克斯公式证明过程的一个问题

可能题主对第二类曲线积分(对坐标的曲线积分)的定义理解不够透彻。函数P(x，y，z)为三元函数，对空间曲线Γ的坐标x进行积分，而函数P(x，y，z(x，y))为二元函数，对平面曲线C的坐标x进行积分。因为三元函数P(x，y，z)与二元函数函数P(x，y，z(x，y))为在坐标x，y相同是函数值相同(因为z=z(x，y))，又因为平面曲线C是空间曲线Γ在xoy面上的投影，意味着变量x取值的积分变换范围和变化方向是一样的，因此对坐标x的积分和是一样的，也就是对坐标x的曲线积分相等。