高斯公式证明

高斯公式:

若空间闭区域 Ω \Omega Ω 由光滑的闭曲面 Σ \Sigma Σ 围成,则
∫ ∫ ∫ Ω ( ∂ P ∂ x + ∂ Q ∂ y + ∂ R ∂ z ) d v = ∮ ∮ Σ P d y d z + Q d z d x + R d x d y \int \int \int _{\Omega}(\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z})dv = \oint \oint _{\Sigma} P dy dz + Q dzdx + R dxdy ∫∫Ω(xP+yQ+zR)dv=ΣPdydz+Qdzdx+Rdxdy

证明:
空间光滑的闭区域一定可以被分割,设 x 1 ( y , z ) 和 x 2 ( y , z ) 是 Ω x_1(y,z)和x_2(y,z)是\Omega x1(y,z)x2(y,z)Ω的左右边界,根据三重积分可得:
∫ ∫ ∫ Ω ∂ P ∂ x d v = ∫ ∫ D y z ∫ x 1 ( y , z ) x 2 ( y , z ) ∂ P ( x , y , z ) ∂ x d x d y d z = ∫ ∫ D y z P ( x 2 ( y , z ) , y , z ) d y d z − ∫ ∫ D y z P ( x 1 ( y , z ) , y , z ) d y d z \int \int \int _{\Omega} \frac{\partial P}{\partial x} dv = \int \int _{D_{yz}} \int _{x_1(y,z)}^{x_2(y,z)}\frac{\partial P(x,y,z)}{\partial x}dx dy dz = \\ \int \int _{D_{yz}} P(x_{2}(y,z),y,z)dydz - \int \int _{D_{yz}} P(x_{1}(y,z),y,z)dydz ∫∫ΩxPdv=Dyzx1(y,z)x2(y,z)xP(x,y,z)dxdydz=DyzP(x2(y,z),y,z)dydzDyzP(x1(y,z),y,z)dydz

同理,根据闭区域曲面积分,闭区域可以被分为左右两部分(设左边部分为 Σ 1 \Sigma_1 Σ1右边部分为 Σ 2 \Sigma_2 Σ2)分别计算曲面积分:

∮ Σ ∮ P d y d z = ∮ Σ 2 ∮ P d y d z − ∮ Σ 1 ∮ P d y d z = ∫ ∫ D y z P ( x 2 ( y , z ) , y , z ) d y d z − ∫ ∫ D y z P ( x 1 ( y , z ) , y , z ) d y d z \color{red} \oint _{\Sigma}\oint P dy dz = \oint _{\Sigma_{2} }\oint P dy dz - \oint _{\Sigma_{1} }\oint P dy dz = \\ \int \int _{D_{yz}} P(x_{2}(y,z),y,z)dydz - \int \int _{D_{yz}} P(x_{1}(y,z),y,z)dydz ΣPdydz=Σ2PdydzΣ1Pdydz=DyzP(x2(y,z),y,z)dydzDyzP(x1(y,z),y,z)dydz

高斯公式得证。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/82340.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Linux下的Docker安装,以Ubuntu为例

Docker是一种流行的容器化平台,它能够简化应用程序的部署和管理。 Docker安装 1、检查卸载老版本Docker(为保证安装正确,尽量在安装前先进行一次卸载) apt-get remove docker docker-engine docker.io containerd runc 2、Dock…

【LeetCode热题100】--15.三数之和

15.三数之和 注意:最后答案中不能包含重复的三元组 使用排序双指针 可以使用三重循环枚举三元组,但是需要哈希表进行去重操作,得到不包含重复三元组的最终答案,消耗量大量的时间和空间 对于不重复的本质,保持三重循环…

malloc是如何实现内存分配的?

文章目录 前言一、malloc实现原理概括?二、brk() 函数与mmap()函数三、mmap实现原理普通读写与mmap对比mmap内存映射实现过程mmap 的适用场景 前言 在C和C中,malloc函数是用于动态分配内存的常用函数。本文将深入探究malloc函数的内存分配实现机制&…

javafx学习记录

1.布局 2.选择重写或实现方法(select methods to override/implements) ctrl o 3.javafx有init方法,start方法,stop方法 4.定义一个按钮,使用系统默认浏览器访问网站 5.使窗口的关闭栏,缩小扩屏栏,代码是倒数第二行 6.设置模态窗口,默认关闭模态的 下…

9.18号作业

完善登录框 点击登录按钮后,判断账号(admin)和密码(123456)是否一致,如果匹配失败,则弹出错误对话框,文本内容“账号密码不匹配,是否重新登录”,给定两个按钮…

day2_QT

day2_QT 登录窗口 登录窗口 loginwindow.h #ifndef LOGINWINDOW_H #define LOGINWINDOW_H#include <QWidget> #include <QDebug> #include <QIcon> #include <QLabel> #include <QLineEdit> #include <QPushButton> #include <QObjec…

Gavin Wood 演讲全文:建设更具韧性以应变化的 Polkadot

我们非常激动能邀请到 Gavin Wood 博士来现场分享关于 Polkadot 的近况以及最新的进展&#xff0c;带来他对于《加密项目应该怎样应对当今世界的变化》的演讲分享。 &#x1f6a9;点击视频链接观看演讲实录&#xff1a;https://www.youtube.com/watch?vYw3mQNJ5UJQ&t1048s…

JWT 使用教程 授权 认证

JWT 1.什么是JWT JSON Web Token (JWT) is an open standard (RFC 7519) that defines a compact and self-contained way for securely transmitting information between parties as a JSON object. This information can be verified and trusted because it is digitally s…

Java上传图片到阿里云OSS并回显URL

Java上传图片到阿里云OSS并回显URL 关键代码 OSSClientHandler.java import java.io.InputStream; import java.net.URL; import java.text.SimpleDateFormat; import java.util.Date; import java.util.UUID;import org.springframework.beans.factory.annotation.Value; i…

JDBC基本概念

什么是JDBC JDBC概念 JDBC&#xff08;Java DataBase Connectivity&#xff09;是一套统一的基于Java语言的关系数据库编程接口规范。 该规范允许将SQL语句作为参数通过JDBC接口发送给远端数据库&#xff0c; …

Java 为01序列实现快速 HashSet

01 数组 import java.util.BitSet; import java.util.HashMap; import java.util.Arrays;public class FastHashSet {private HashMap<Integer, BitSet> map new HashMap<>();public void add(int[] array) {BitSet bitSet new BitSet(array.length);for (int i…

4G模块驱动移植

一、4G模块概述 1、调试的模块型号是广和通的 NL668-EAU-00-M.2。 2、使用的接口是 M.2 Key-B。实际只用到了M2里的USB接口。 调试过程 以QMI_WWAN号方式进行说明&#xff0c;其他拨号方式也试过。最后以QMI_WWAN方式调通了&#xff0c;拨号成功了。 其他拨号方式因为现有文档…

练习敲代码速度

2023年9月18日&#xff0c;周一晚上 今晚不想学习&#xff0c;但又不想玩游戏&#xff0c;于是找了一些练习敲代码的网站来玩玩&#xff0c;顺便练习一下敲代码的速度 目录 参考资料个人推荐第一个 第二个第三个 参考资料 电脑打字慢&#xff0c;有哪些比较好的练打字软件&a…

界面控件DevExpress的VS报表设计器 v23.1——启动速度全面提升

本文主要介绍在DevExpress v23.1这个版本发布周期中对Visual Studio报表设计器所做的改进&#xff0c;包括优化的启动时间、新的全局选项对话框等。 屡获大奖的界面控件套包DevExpress 今年第一个重要版本v23.1正式发布&#xff0c;该版本拥有众多新产品和数十个具有高影响力的…

用无代码搭建数据中台,竟做到如此丝滑

文章目录 需求背景系统介绍配置说明1 菜单导航2 系统自带组件导入页面&#xff08;1&#xff09;数据集成相关组件&#xff08;2&#xff09;数据服务相关组件 3 由系统组件路径添加页面&#xff08;1&#xff09;数据资产管理&#xff08;2&#xff09;数据标准管理&#xff0…

vben-admin中渲染table表格时怎么处理不同的数据结构

最近在用vben admin开发后台管理系统&#xff0c;vben admin这个后管端框架封装的非常细&#xff0c;颗粒度非常细&#xff0c;如果了解里面的组件或者api用法&#xff0c;那开发起来非常快。如果不了解&#xff0c;那就非常痛苦了&#xff0c;目前关于vben admin这块的开发问题…

linux-awk命令

目录 1.linux awk 模糊查询 2.linux awk 取列 2 3.linux awk 多个条件and查询 4.linux awk取列 1 5.linux awk取行 6.linux awk 所有pod日志查询 7.linux awk 批量删除pod 1.linux awk 模糊查询 释&#xff1a;~ 为包含&#xff0c;!~ 为不包含 【1】查询test.log文件…

Linux工具(一)

前言&#xff1a;Linux是一个开源的操作系统&#xff0c;它拥有庞大而活跃的开发社区&#xff0c;为用户提供了丰富多样的工具和应用程序。这些工具不仅适用于系统管理员和开发人员&#xff0c;也适用于普通用户&#xff0c;可以帮助他们完成各种任务&#xff0c;从简单的文件管…

题目 1057: 二级C语言-分段函数

有一个函数如下&#xff0c;写一程序&#xff0c;输入x&#xff0c;输出y值。 保留两位小数 样例输入 1 样例输出 1.00 这道题的思路很简单&#xff0c;我直接用if判断输入的X对应的函数Y的区间&#xff0c;代入对应的函数&#xff0c;求出结果。记得变量用浮点型&#xff…

JS操作字符串方法学习系列(3)-每天学习10个方法

目录 字符串包含 (Includes)**:**字符串字符替换 (CharAt 和 CharCodeAt)**:**字符串逆序 (Reverse)**:**字符串拼接 (Join)**:**字符串查找最大/最小字符 (Max/Min)**:**字符串重复填充 (PadStart 和 PadEnd)**:**字符串按字母排序 (Sort)**:**字符串分组 (Chunking)**:**字符…