[转]二重积分换元法的一种简单证明 (ps:里面的符号有点小错误,理解就好。。。
---恢复内容开始---
10.3二重积分的换元积分法
在一元函数定积分的计算中,我们常常进行换元,以达删繁就简的目的,当然,二重积分也有换元积分的问题。
首先让我们回顾一下前面曾讨论的一个事实。
设换元函数 ,视其为一个由定义域
到
的映射.点
的象点为
,点x的象点为
,记
,
则由到点
的线段长为
,
到
的线段长为
,称
为映射
在点
到点
的平均伸缩率。若
在点
处可导,则
=
即称
是映射
在点
处的伸缩率。
对于由平面区域到
的映射
我们有如下结论:
引理 若变换在开区域
存在连续偏导数,且雅可比行列式
,
。变换将
平面上开区域变为
平面上开区域
。
,其象点为
,则包含点
的面积微元
及与之相对应的包含点
的面积微元
之比是
,即
=
下面给出引理3.1的说明,严格的证明从略。由图3。1所示,在内作以点
为顶点的矩形
,而变换
,将
分别变为
平面上的四点
,矩形
变为曲边四边形
。而曲边四边形
的四个顶点的坐标由泰勒公式表示为
:
:
:
+
+
:
忽略高阶无穷小与
,曲边四边形
近似平行四边形,其面积
=
=
=
其中
是矩形
的面积。于是
在引理条件下,函数组,在
的某邻域
具有连续的反函数组
再根据9.1节性质1.2有=
于是
=
=
定理3.1 若函数在有界闭区域
连续,函数组将
平面上区域
一一对应地变换为
平面上区域
,且该函数组在
存在连续的偏导数,,则
=
证 用任意分法将区域
分成
个小区域
,其面积分别记为
;变换
,将分法
变为
上的分法
,
将
分割成
个小区域
,其面积分别记为
,由引理可知,对于
,有
于是
,在
上对应唯一点
且
,于是
在定理3.2的条件下,变换在有界闭区域
上存在连续的反函数组
,他们必在
上一致连续,所以当
时,必有又注意到函数
在
的连续性,因而他在
上可积,于是在
中令
,有
=
完成定理3。2的证明。
在二重积分的计算中,若被积函数为的形式,或积分区域为所谓的圆形区域时,通常采用极坐标变换
它能使前者化简为一元函数
。
后者若为图3.2所示的区域,利用极坐标变换能化为平面上的
型区域。则积分
=
=
=
特别,极点在边界上的扇形区域,即,则积分
=
极点在区域的内部,边界线是
的区域,即
则积分
=
例3.1 计算
解 作极坐标变换
将圆域D变换为矩形区域,
,于是用公式(3.5)得
=
例3.2 计算
,D是由
和
所围的区域。
解 积分区域如图3.5所示,作极坐标变换,则D化为区域,其边界曲线为
=
,
,于是得
=
=
例3.3 其中D是由
所围成的平面区域
解 区域D及如图3.6所示,有
=
-
而
=4
在极坐标系下,有, 因此
=
于是
=4-
.
例3.4 计算,其中D是由曲线
所围成的有界区域.
解由于积分区域D可表示为故替换
,则积分区域变为
,在极坐标下
于是
例3.5 计算
解 由对称性,原积分
其中。作广义极坐标变换:
则变换为矩形区域
(图3.7)
且
于是
例3.6 求曲线与
所围成区域
的面积
解由二重积分的性质可知,区域的面积
作变换:
,
则这个变换平面上曲线
变为
平面
上的曲线、
变为
,于是它将区域
变为
平面上由
和
所未成的区域
(图3.8 )。且
于是
例3.7 计算
解 作变换:则
,将
变换为闭圆域
,且
故
由对称性
于是
例3.8 计算,
是由
、
、
和
所围成的区域。
解 作变换:,
,则这个变换将
变换为
平面上的正方形区域(图3.9)。由于
且
故
又注意到,于是
---恢复内容结束---
[转]二重积分换元法的一种简单证明 (ps:里面的符号有点小错误,理解就好。。。的更多相关文章
- Android一键换肤功能:一种简单的实现
Android一键换肤功能:一种简单的实现 现在的APP开发,通常会提供APP的换肤功能,网上流传的换肤代码和实现手段过于复杂,这里有一个开源实现,我找了一大堆,发现这个项目相对较为简洁:htt ...
- 【腾讯云的1001种玩法】几种在腾讯云建立WordPress的方法(Linux)(二)
版权声明:本文由张宁原创文章,转载请注明出处: 文章原文链接:https://www.qcloud.com/community/article/126547001488207964 来源:腾云阁 ht ...
- cf219d 基础换根法
/*树形dp换根法*/ #include<bits/stdc++.h> using namespace std; #define maxn 200005 ]; int root,n,s,t ...
- poj3585树最大流——换根法
题目:http://poj.org/problem?id=3585 二次扫描与换根法,一次dfs求出以某个节点为根的相关值,再dfs遍历一遍树,根据之前的值换根取最大值为答案. 代码如下: #incl ...
- 题解 poj3585 Accumulation Degree (树形dp)(二次扫描和换根法)
写一篇题解,以纪念调了一个小时的经历(就是因为边的数组没有乘2 phhhh QAQ) 题目 题目大意:找一个点使得从这个点出发作为源点,流出的流量最大,输出这个最大的流量. 以这道题来介绍二次扫描和换 ...
- poj 3585 Accumulation Degree(二次扫描和换根法)
Accumulation Degree 大致题意:有一棵流量树,它的每一条边都有一个正流量,树上所有度数为一的节点都是出口,相应的树上每一个节点都有一个权值,它表示从这个节点向其他出口可以输送的最大总 ...
- Python 自定义元类的两种写法
有关元类是什么大家自己搜索了解,我这里写一下实现元类的两种写法 # 自定义元类 #继承type class LowercaseMeta(type): ''' 修改类的属性名称为小写的元类 ''' # ...
- 几种简单的负载均衡算法及其Java代码实现
什么是负载均衡 负载均衡,英文名称为Load Balance,指由多台服务器以对称的方式组成一个服务器集合,每台服务器都具有等价的地位,都可以单独对外提供服务而无须其他服务器的辅助.通过某种负载分担技 ...
- GIT将本地项目上传到Github(两种简单、方便的方法)
GIT将本地项目上传到Github(两种简单.方便的方法) 一.第一种方法: 首先你需要一个github账号,所有还没有的话先去注册吧! https://github.com/ 我们使用git需要先安 ...
随机推荐
- WPF实现强大的动态公式计算
数据库可以定义表不同列之间的计算公式,进行自动公式计算,但如何实现行上的动态公式计算呢?行由于可以动态扩展,在某些应用场景下将能很好的解决实际问题. 1.VS2012新建一个WPF应用程序WpfApp ...
- bootstrap源码分析之tab(选项卡)
实现tab选项卡的应用,此插件相对比较简单 源码文件: tab.js 实现原理 1.单击一个元素时,首先将原来高亮的元素取消2.然后给被单击元素进行高亮3.如果单击元素是下拉框中某个选项,则选中本身, ...
- Intense Images – 全屏浏览图像的 JS 插件
Intense Images 是一个独立的 JavaScript 库,用于查看全屏图像.使用触摸/鼠标来实现图片位置的平移.图像元素的所有样式都是可以自定义的,Intense.js 只处理图像浏览器和 ...
- 【再探backbone 02】集合-Collection
前言 昨天我们一起学习了backbone的model,我个人对backbone的熟悉程度提高了,但是也发现一个严重的问题!!! 我平时压根没有用到model这块的东西,事实上我只用到了view,所以昨 ...
- HTML <b>、 <strong> 、<big>、<small>、<em>、<i>、<sub>和<sup> 标签
HTML <b> 标签 所有浏览器都支持 <b> 标签. 定义和用法 <b> 标签规定粗体文本. 注释:根据 HTML5 规范,在没有其他合适标签更合适时,才应该把 ...
- Swift-Switch穿透
switch vegetable { case "celery": print("Add some raisins and make ...
- iOS---TextView显示HTML文本
_checkAllIntroduceTextView = [[UITextView alloc] initWithFrame:CGRectMake(10, 0, kScreenWidth-20, kS ...
- XCode设置(怎么让代码收缩)
有时候刚使用一台电脑 可能会没有代码收缩的功能. 在哪里设置呢?看图 打开xcode 的 偏好设置 找到textEditing 把Code folding勾选上 就可以了
- WWDC 2013 Session笔记 - UIKit Dynamics入门
本文涉及到的WWDC2013 Session有 1.Session 206 Getting Started with UIKit Dynamics 2.Session 221 Advanced Tec ...
- Java 引用
Java 对象的引用方式有如下四种,这四种方式主要是为了给垃圾回收提供更灵活的操作: 1.强引用,最常见的引用方式,当一个对象被一个或一个以上的引用变量引用时,它处于可达状态,这时不会被垃圾回收器回收 ...