数学系微积分讲义稿(南京大学梅加强)
数学分析 重积分的变量替换仿射变换
梅加强 副教授 南京大学数学系
内容提要:
3.5.1 仿射变换
3.5.1 仿射变换
内容提要: 线性变换的分解;
3.5.1 仿射变换
内容提要: 线性变换的分解; 伸缩变化下体积的变换公式;
3.5.1 仿射变换
内容提要: 线性变换的分解; 伸缩变化下体积的变换公式; 正交变换下体积的变换公式;
因此下面不妨设 b = 0, 考虑线性变换.
线性变换的分解
如果 det M = 0, 则 ϕ(Rn) 包含于某个超平面中, 而超平面是 Rn 中的零测集, 特 别地, 容易看出这时 ϕ(A) 可求体积且体积为零.
线性变换的分解
如果 det M = 0, 则 ϕ(Rn) 包含于某个超平面中, 而超平面是 Rn 中的零测集, 特 别地, 容易看出这时 ϕ(A) 可求体积且体积为零. 于是我们进一步假设 det M = 0. 根据线性代数中矩阵的极分解, 我们知道存在 正定对称矩阵 P 以及正交矩阵 O, 使得 M = PO.
Bi ⊂ A, ν(Bi ) > ν(A) − ε; Bj ⊃ A, ν(Bj ) < ν(A) + ε,
i
i
j
j
其中 {Bi } 的内部互不相交.
证明要点: 先看 {Bi } 的存在性, 此时可设 ν(A) > 0.
覆盖引理之二
(覆盖引理之二)
设 A 为 Rn 中可求体积的有界集合, 则任给 ε > 0, 存在有限个 n 维球体 {Bi } 与 {Bj }, 使得
这称为伸缩变换.
伸缩变换
设 {λi } 为一组正实数, 考虑线性变换 ϕ : Rn → Rn, ϕ(x1, x2, · · · , xn) = (λ1x1, λ2x2, · · · , λnxn),
数学分析 连续映射的整体性质
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:紧集的概念;内容提要:紧集的概念; 最值定理;内容提要:紧集的概念; 最值定理; 连通性;内容提要:紧集的概念; 最值定理; 连通性;介值定理.(开覆盖)设C⊂R n,{Gα}α∈Γ为R n的一族子集.如果C⊂Gα,则称{Gα}α∈Γ为Cα∈Γ的覆盖;当Gα均为开集时,称{Gα}α∈Γ为开覆盖.(开覆盖)Gα,则称{Gα}α∈Γ为C设C⊂R n,{Gα}α∈Γ为R n的一族子集.如果C⊂α∈Γ的覆盖;当Gα均为开集时,称{Gα}α∈Γ为开覆盖.(有限覆盖、子覆盖)Γ称为指标集.指标集为有限集的覆盖称为有限覆盖.如果Γ ⊂Γ且{Gα}α∈Γ 仍为C的覆盖,则称之为子覆盖.(开覆盖)设C⊂R n,{Gα}α∈Γ为R n的一族子集.如果C⊂Gα,则称{Gα}α∈Γ为Cα∈Γ的覆盖;当Gα均为开集时,称{Gα}α∈Γ为开覆盖.(有限覆盖、子覆盖)Γ称为指标集.指标集为有限集的覆盖称为有限覆盖.如果Γ ⊂Γ且{Gα}α∈Γ 仍为C的覆盖,则称之为子覆盖.紧集如果子集C的每一个开覆盖都有有限子覆盖,则称C为紧致子集(紧集).紧集与闭集套原理闭集套原理之一设{F n}为一列非空闭集,如果存在紧致子集C,使得C⊃F1⊃···⊃F n⊃···,则F n=∅.n≥1紧集与闭集套原理闭集套原理之一设{F n}为一列非空闭集,如果存在紧致子集C,使得C⊃F1⊃···⊃F n⊃···,F n=∅.则n≥1证明.(反证法)如果{F n}的交集为空集,则{F c n}为C的开覆盖,从而存在有限子覆盖,即存在n,使得nC⊂F c i=F c n,i=1此时F n⊂C⊂F c n,F n只能为空集,从而得出了矛盾.(最值定理)设C为紧致子集,f:C→R为连续函数,则f能达到最大值和最小值.(最值定理)设C 为紧致子集,f :C →R 为连续函数,则f 能达到最大值和最小值.证明.以最大值为例.当n ≥1时,记G n ={x ∈C |f (x )<n },由f 连续可知G n =C ∩U n ,其中U n 为开集.显然,{U n }为C 的开覆盖,从而存在N ,使得C = N n =1G n =G N ,这说明N 是f 的上界,从而f 有上确界,记为M .我们说明M 可以被f 取到.(反证法)如果不然,则1/(M −f )仍为连续函数,于是有上界.即存在K ,使得0<1M −f ≤K ,或f ≤M −1K,这与M 为上确界相矛盾.(一致连续性)设C 为紧致子集,f :C →R m 连续,则f 一致连续.即任给ε>0,存在δ>0,当x ,y ∈C 且d (x ,y )<δ时d f (x ),f (y ) <ε.(一致连续性)设C 为紧致子集,f :C →R m 连续,则f 一致连续.即任给ε>0,存在δ>0,当x ,y ∈C 且d (x ,y )<δ时d f (x ),f (y ) <ε.证明.根据连续性,任给ε>0,x ∈C ,存在δ(x )>0,使得当y ∈B δ(x )(x )时d f (y ),f (x ) <ε/2.显然,{B δ(x )/2(x )}x ∈C 为C 的开覆盖,因此存在有限子覆盖{B δ(x i )/2(x i )}.记δ=min {δ(x i )/2},当x ,y ∈C 且d (x ,y )<δ时,不妨设x ∈B δ(x i )/2(x i ),则d (y ,x i )≤d (y ,x )+d (x ,x i )<δ+δ(x i )/2≤δ(x i ),因此d (f (y ),f (x ))≤d (f (y ),f (x i ))+d (f (x ),f (x i ))<ε.(道路连通)设G为R n的子集,如果任给x1,x2∈G,均存在连续映射σ:[0,1]→R n使得σ(0)=x1,σ(1)=x2,σ([0,1])⊂G,则称G道路连通.此时,σ称为连接x1和x2的道路.(道路连通)设G为R n的子集,如果任给x1,x2∈G,均存在连续映射σ:[0,1]→R n使得σ(0)=x1,σ(1)=x2,σ([0,1])⊂G,则称G道路连通.此时,σ称为连接x1和x2的道路.显然,R n本身是道路连通的.一般地,R n中道路连通的开集常称为区域.(道路连通)设G为R n的子集,如果任给x1,x2∈G,均存在连续映射σ:[0,1]→R n使得σ(0)=x1,σ(1)=x2,σ([0,1])⊂G,则称G道路连通.此时,σ称为连接x1和x2的道路.显然,R n本身是道路连通的.一般地,R n中道路连通的开集常称为区域. 设A⊂R n,如果连接A中任意两点的直线段仍包含于A,则称A为凸集.(道路连通)设G为R n的子集,如果任给x1,x2∈G,均存在连续映射σ:[0,1]→R n使得σ(0)=x1,σ(1)=x2,σ([0,1])⊂G,则称G道路连通.此时,σ称为连接x1和x2的道路.显然,R n本身是道路连通的.一般地,R n中道路连通的开集常称为区域. 设A⊂R n,如果连接A中任意两点的直线段仍包含于A,则称A为凸集. 显然,凸集是道路连通的.当凸集为开集时,称为凸域.道路连通性与介值定理(介值定理)设G⊂R n道路连通,f:G→R连续.则要么f为常值函数,要么f(G)为区间.道路连通性与介值定理(介值定理)设G⊂R n道路连通,f:G→R连续.则要么f为常值函数,要么f(G)为区间.证明.设f不是常值函数,a<b∈f(G),要证明[a,b]⊂f(G).事实上,设f(x0)=a, f(x1)=b,根据题设,存在连续映射σ:[0,1]→G,使得σ(0)=x0,σ(1)=x1.注意到复合函数f◦σ仍然连续,由一元连续函数的介值定理可知[a,b]⊂f◦σ([0,1])⊂f(G).。
数学分析 曲面上的积分
Σ
D
称为 f 在 Σ 上的第一型曲面积分.
同上可以说明第一型曲面积分的定义不依赖于参数的选取.
曲面上的积分
设 f 是曲面 Σ 的连续函数. 定义
f dσ = f ◦ ψ det[(Jψ) Jψ] du1 · · · dun−1,
Σ
D
称为 f 在 Σ 上的第一型曲面积分.
同上可以说明第一型曲面积分的定义不依赖于参数的选取.
i1<···<ip j1<···<jq
则 ω ∧ η 为 (p + q)−形式.
wedge 运算
设 ω, η 分别为 p−形式和 q−形式, 它们可以表示为
ω=
ωi1···ip dxi1 ∧ · · · ∧ dxip , η =
ηj1···jq dxj1 ∧ · · · ∧ dxjq .
i1<···<ip
曲面上的积分
设 f 是曲面 Σ 的连续函数. 定义
f dσ = f ◦ ψ det[(Jψ) Jψ] du1 · · · dun−1,
Σ
D
称为 f 在 Σ 上的第一型曲面积分.
曲面上的积分
设 f 是曲面 Σ 的连续函数. 定义
f dσ = f ◦ ψ det[(Jψ) Jψ] du1 · · · dun−1,
det[(Jψ) Jψ] du1 · · · dun−1.
Σ
D
面积形式
设 D ⊂ Rn−1 为开集, ψ : D → Rn 是曲面 Σ 的 C1 参数表示. 记 dσ = det[(Jψ) Jψ] du1 ∧ · · · ∧ dun−1,
称为 Σ 的面积形式(有向面积元). Σ 的面积 σ(Σ) 定义为
设 Ω ⊂ Rn 为开集, ϕ : Ω → Rn 为可微映射, 它的第 i 个分量记为 ϕi . 我们有
数学分析 含参变量的积分
积分上下限中的参数
因为 f 连续, 故存在 M > 0, 使得 |f (x, y)| ≤ M. 由上式和已知条件得 |F (y ) − F (y0)| ≤ M|a(y ) − a(y0)| + M|b(y ) − b(y0)| + sup |f (x, y ) − f (x, y0)||b − a|,
b a
fy
(x
,
y
)
dx
.
关于参数的可导性质
(可导性质)
设 f (x, y ) 的偏导数 fy (x, y ) 在 [a, b] × [c, d] 中连续, 则 I(y ) 关于 y 可导, 且
I (y) =
b a
fy
(x
,
y
)
dx
.
证明. fy (x, y ) 关于 x 在 [a, b] 中的积分记为 ψ(y ). 根据上述引理, ψ(y ) 关于 y 连续. 当 y1, y2 ∈ [c, d] 时, 交换积分次序可得
的函数, 考虑积分 F (y) =
b(y ) a(y )
f
(x
,
y
)
dx
.
若 f (x, y ) 在 [a, b] × [c, d] 中连续, 函数 a(y), b(y) 关于 y 连续, 且 a ≤ a(y ), b(y) ≤ b, 则 F (y ) 关于 y ∈ [c, d] 连续.
积分上下限中的参数
x ∈[a,b]
积分上下限中的参数
因为 f 连续, 故存在 M > 0, 使得 |f (x, y)| ≤ M. 由上式和已知条件得 |F (y ) − F (y0)| ≤ M|a(y ) − a(y0)| + M|b(y ) − b(y0)| + sup |f (x, y ) − f (x, y0)||b − a|,
数学分析 欧氏空间及其代数结构
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:R n的定义;内容提要:R n的定义; 线性映射;内容提要:R n的定义; 线性映射; 空间的定向;内容提要:R n的定义; 线性映射; 空间的定向; 定向与叉乘.一元函数是指以R的子集为定义域的函数.一元函数是指以R的子集为定义域的函数.当变化因素不只一个时,我们就要考虑定义在一般欧氏空间中的函数.一元函数是指以R的子集为定义域的函数.当变化因素不只一个时,我们就要考虑定义在一般欧氏空间中的函数. 设n为正整数,记R n={(a1,···,a n)|a i∈R,i=1,···,n},它是由n元有序实数组构成的集合.一元函数是指以R的子集为定义域的函数.当变化因素不只一个时,我们就要考虑定义在一般欧氏空间中的函数.设n为正整数,记R n={(a1,···,a n)|a i∈R,i=1,···,n},它是由n元有序实数组构成的集合.在R n中有两个最基本的运算:设u=(u1,···,u n)∈R n,v=(v1,···,v n)∈R n,λ∈R,定义u+v=(u1+v1,···,u n+v n),(加法)λu=(λu1,···,λu n)(数乘)欧氏空间一元函数是指以R的子集为定义域的函数.当变化因素不只一个时,我们就要考虑定义在一般欧氏空间中的函数.设n为正整数,记R n={(a1,···,a n)|a i∈R,i=1,···,n},它是由n元有序实数组构成的集合.在R n中有两个最基本的运算:设u=(u1,···,u n)∈R n,v=(v1,···,v n)∈R n,λ∈R,定义u+v=(u1+v1,···,u n+v n),(加法)λu=(λu1,···,λu n)(数乘) 有了上述运算,R n就成为R上的向量空间,称为n维欧氏空间.以R n的子集为定义域的函数称为n元函数,n>1时统称多元函数.以R n的子集为定义域的函数称为n元函数,n>1时统称多元函数.向量值函数:从欧氏空间的子集到(另一)欧氏空间的映射称为向量值函数.以R n的子集为定义域的函数称为n元函数,n>1时统称多元函数.向量值函数:从欧氏空间的子集到(另一)欧氏空间的映射称为向量值函数. 最简单的向量值函数是线性映射或线性变换,它们是保持线性结构的映射.以R n的子集为定义域的函数称为n元函数,n>1时统称多元函数.向量值函数:从欧氏空间的子集到(另一)欧氏空间的映射称为向量值函数. 最简单的向量值函数是线性映射或线性变换,它们是保持线性结构的映射. 设f:R n→R m为映射,如果f(u+v)=f(u)+f(v),f(λu)=λf(u),∀u,v∈R n,λ∈R,就称f为线性映射.在线性代数中,线性映射往往用矩阵来表示.在线性代数中,线性映射往往用矩阵来表示.例如,设{e i}n i=1和{f j}m j=1分别是R n和R m中的两组基.则存在a ij∈R,使得f(e i)=mj=1a ij f j.记A=a ijm×n,称为f在这两组基下的矩阵表示.在线性代数中,线性映射往往用矩阵来表示.例如,设{e i}n i=1和{f j}m j=1分别是R n和R m中的两组基.则存在a ij∈R,使得f(e i)=mj=1a ij f j.记A=a ijm×n,称为f在这两组基下的矩阵表示.研究线性映射f相当于研究矩阵A.在线性代数中,线性映射往往用矩阵来表示.例如,设{e i}n i=1和{f j}m j=1分别是R n和R m中的两组基.则存在a ij∈R,使得f(e i)=mj=1a ij f j.记A=a ijm×n,称为f在这两组基下的矩阵表示.研究线性映射f相当于研究矩阵A.注意:现代数学的一个特点就是人们往往将感兴趣的研究对象放在一起来考虑.比如,要研究从R n到R m的线性映射,可以考虑将m×n型的实矩阵放在一起(记为M m×n)来研究.在研究一元函数积分的时候,我们规定a b f(x)d x=−baf(x)d x,这里其实涉及到区间的方向(定向).研究多元微积分同样要涉及到空间的定向.在研究一元函数积分的时候,我们规定a b f(x)d x=−baf(x)d x,这里其实涉及到区间的方向(定向).研究多元微积分同样要涉及到空间的定向. 设u,v为R n中非零向量,如果存在正实数λ,使得u=λv,则称u,v同向.在研究一元函数积分的时候,我们规定a b f(x)d x=−baf(x)d x,这里其实涉及到区间的方向(定向).研究多元微积分同样要涉及到空间的定向. 设u,v为R n中非零向量,如果存在正实数λ,使得u=λv,则称u,v同向. 设{e i}n i=1和{f j}n j=1是R n中的两组基,则存在a ij∈R,使得e i=nj=1a ij f j,此时A=a ijn×n为非退化方阵.在研究一元函数积分的时候,我们规定a b f(x)d x=−baf(x)d x,这里其实涉及到区间的方向(定向).研究多元微积分同样要涉及到空间的定向. 设u,v为R n中非零向量,如果存在正实数λ,使得u=λv,则称u,v同向. 设{e i}n i=1和{f j}n j=1是R n中的两组基,则存在a ij∈R,使得e i=nj=1a ij f j,此时A=a ijn×n为非退化方阵.若det A>0,则称上述两组基同向,反之称为反向.注意:“同向”在欧氏空间的基之间定义了一个等价关系,等价类就称为欧氏空间的一个定向.容易看出欧氏空间正好有两个定向.注意:“同向”在欧氏空间的基之间定义了一个等价关系,等价类就称为欧氏空间的一个定向.容易看出欧氏空间正好有两个定向.记第i个位置为1,其余位置为0的向量为e i,则{e i}ni=1为R n中的一组基(标准基),它决定的定向称为标准定向.在R3中有一个特别的代数运算称为叉乘.在R3中有一个特别的代数运算称为叉乘.设u=(u1,u2,u3),v=(v1,v2,v3)为R3中的向量,定义u×v=(u2v3−v2u3,u3v1−v3u1,u1v2−v1u2), u×v称为u和v的叉乘.在R3中有一个特别的代数运算称为叉乘.设u=(u1,u2,u3),v=(v1,v2,v3)为R3中的向量,定义u×v=(u2v3−v2u3,u3v1−v3u1,u1v2−v1u2), u×v称为u和v的叉乘.容易看出,u×v=0当且仅当u,v线性相关.在R3中有一个特别的代数运算称为叉乘.设u=(u1,u2,u3),v=(v1,v2,v3)为R3中的向量,定义u×v=(u2v3−v2u3,u3v1−v3u1,u1v2−v1u2),u×v称为u和v的叉乘.容易看出,u×v=0当且仅当u,v线性相关.我们将看到,若u,v线性无关,则u,v,u×v组成了R3的一组基,而且和标准定向同向!事实上,考虑线性函数(x,y,z)=x y z u1u2u3 v1v2v3.事实上,考虑线性函数(x,y,z)=x y z u1u2u3 v1v2v3.记u×v=(a,b,c),则 (x,y,z)=ax+by+cz.事实上,考虑线性函数(x,y,z)=x y z u1u2u3 v1v2v3.记u×v=(a,b,c),则 (x,y,z)=ax+by+cz.特别地,若u,v线性无关,则 (u×v)=a2+b2+c2>0.事实上,考虑线性函数(x,y,z)=x y z u1u2u3 v1v2v3.记u×v=(a,b,c),则 (x,y,z)=ax+by+cz.特别地,若u,v线性无关,则 (u×v)=a2+b2+c2>0. 由此我们还可以将叉乘运算推广到高维欧氏空间中.。
数学分析 拟微分中值定理
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:微分中值定理;内容提要:微分中值定理; 拟微分中值定理.问题:一元函数的微分中值定理非常有用,多元函数有没有对应的结果呢?问题:一元函数的微分中值定理非常有用,多元函数有没有对应的结果呢?设σ:(a,b)→R n为向量值函数,写成分量的形式为σ(t)=x1(t),···,x n(t),t∈(a,b).设σ(t)的每一个分量都在t0处可导,且多元函数f在x0=σ(t0)处可微,则复合函数f◦σ在t0处可导,且f◦σ(t0)=∇f(x0)·σ (t0),(1)其中σ (t0)=x1(t0),···,x n(t0).问题:一元函数的微分中值定理非常有用,多元函数有没有对应的结果呢?设σ:(a,b)→R n为向量值函数,写成分量的形式为σ(t)=x1(t),···,x n(t),t∈(a,b).设σ(t)的每一个分量都在t0处可导,且多元函数f在x0=σ(t0)处可微,则复合函数f◦σ在t0处可导,且f◦σ(t0)=∇f(x0)·σ (t0),(1)其中σ (t0)=x1(t0),···,x n(t0).证明.这是链式法则的直接推论.(微分中值定理)设D⊂R n为凸域,函数f:D→R在D中处处可微.则任给x,y∈D,存在θ∈(0,1),使得f(x)−f(y)=∇f(ξ)·(x−y),ξ=θx+(1−θ)y.(2)(微分中值定理)设D⊂R n为凸域,函数f:D→R在D中处处可微.则任给x,y∈D,存在θ∈(0,1),使得f(x)−f(y)=∇f(ξ)·(x−y),ξ=θx+(1−θ)y.(2)证明.令σ(t)=tx+(1−t)y,由D为凸域可知当t∈[0,1]时σ(t)∈D.对一元函数ϕ(t)=f◦σ(t)用微分中值定理可知存在θ∈(0,1),使得ϕ(1)−ϕ(0)=ϕ (θ).由(1)式可得ϕ(1)−ϕ(0)=∇f(ξ)·σ (θ)=∇f(ξ)·(x−y),其中ξ=σ(θ)=θx+(1−θ)y.由f(x)=ϕ(1),f(y)=ϕ(0)可知欲证结论成立.向量值函数的微分中值定理问题:微分中值定理能否推广到向量值函数?问题:微分中值定理能否推广到向量值函数?设D⊂R n为凸域,f:D→R m为向量值的多元函数.设x,y∈D.对f的每一个分量f i应用微分中值定理可得ξi∈D,使得f i(x)−f i(y)=∇f i(ξi)·(x−y).问题:微分中值定理能否推广到向量值函数? 设D ⊂R n 为凸域,f :D →R m 为向量值的多元函数.设x ,y ∈D .对f 的每一个分量f i 应用微分中值定理可得ξi ∈D ,使得f i (x )−f i (y )=∇f i (ξi )·(x −y ).注意:这些ξi 未必相同.例如,考虑函数f :R →R 2,f (t )=(t 2,t 3).取x =1,y =0,简单的计算表明ξ1=1/2,ξ2=±1/√3,因此ξ1=ξ2.问题:微分中值定理能否推广到向量值函数? 设D ⊂R n 为凸域,f :D →R m 为向量值的多元函数.设x ,y ∈D .对f 的每一个分量f i 应用微分中值定理可得ξi ∈D ,使得f i (x )−f i (y )=∇f i (ξi )·(x −y ).注意:这些ξi 未必相同.例如,考虑函数f :R →R 2,f (t )=(t 2,t 3).取x =1,y =0,简单的计算表明ξ1=1/2,ξ2=±1/√3,因此ξ1=ξ2.此例表明,一般地我们不能指望f (x )−f (y )=Jf (ξ)(x −y )对某个ξ成立.问题:微分中值定理能否推广到向量值函数? 设D ⊂R n 为凸域,f :D →R m 为向量值的多元函数.设x ,y ∈D .对f 的每一个分量f i 应用微分中值定理可得ξi ∈D ,使得f i (x )−f i (y )=∇f i (ξi )·(x −y ).注意:这些ξi 未必相同.例如,考虑函数f :R →R 2,f (t )=(t 2,t 3).取x =1,y =0,简单的计算表明ξ1=1/2,ξ2=±1/√3,因此ξ1=ξ2.此例表明,一般地我们不能指望f (x )−f (y )=Jf (ξ)(x −y )对某个ξ成立. 不过,我们有(拟微分中值定理)设D⊂R n为凸域,f:D→R m在D中处处可微.则任给x,y∈D,存在ξ∈D,使得f(x)−f(y) ≤ Jf(ξ) · x−y .(拟微分中值定理)设D⊂R n为凸域,f:D→R m在D中处处可微.则任给x,y∈D,存在ξ∈D,使得f(x)−f(y) ≤ Jf(ξ) · x−y .证明.基本的想法是对f的分量的线性组合应用微分中值定理.为此,不妨设f(x)=f(y).任意取定R m中的单位向量u=(u1,···,u m),记g=u·f=mi=1u i f i,则g为D中可微函数.根据微分中值定理,存在ξ∈D,使得g(x)−g(y)=∇g(ξ)·(x−y).证明(续).注意到∇g(ξ)=mi=1u i∇f i(ξ).利用Cauchy-Schwarz不等式可得 ∇g(ξ) ≤mi=1|u i|· ∇f i(ξ)≤ u ·mi=1∇f i(ξ) 21/2= Jf(ξ) .由g(x)−g(y)=u·[f(x)−f(y)]可得u·[f(x)−f(y)]≤ ∇g(ξ) · x−y ≤ Jf(ξ) · x−y .在上式中取u=[f(x)−f(y)]/ f(x)−f(y) 就完成了定理的证明.。
数学分析欧氏空间的几何结构
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:几何与测量;内容提要:几何与测量; 内积;内容提要:几何与测量; 内积;叉乘回顾;内容提要:几何与测量; 内积;叉乘回顾; 距离.几何学(Geometry)在古代被称为测地之学.几何学(Geometry)在古代被称为测地之学.也就是说几何学是从测量中抽象出来的一门学问.几何学(Geometry)在古代被称为测地之学.也就是说几何学是从测量中抽象出来的一门学问. 问题:几何学测量哪些量呢?几何学(Geometry)在古代被称为测地之学.也就是说几何学是从测量中抽象出来的一门学问. 问题:几何学测量哪些量呢?最简单的有夹角,长度,距离等.几何与测量几何学(Geometry)在古代被称为测地之学.也就是说几何学是从测量中抽象出来的一门学问.问题:几何学测量哪些量呢?最简单的有夹角,长度,距离等.为了实现测量的目的,我们还要在欧氏空间中引入额外的结构.设u=(u1,···,u n),v=(v1,···,v n)∈R n,记u·v=ni=1u i v i,称为u,v的内积.设u=(u1,···,u n),v=(v1,···,v n)∈R n,记u·v=ni=1u i v i,称为u,v的内积.我们常用 , 表示内积,比如 u,v 表示u,v之间的内积.设u=(u1,···,u n),v=(v1,···,v n)∈R n,记u·v=ni=1u i v i,称为u,v的内积.我们常用 , 表示内积,比如 u,v 表示u,v之间的内积. 有了内积就可以定义向量的长度和向量之间的夹角.设u=(u1,···,u n),v=(v1,···,v n)∈R n,记u·v=ni=1u i v i,称为u,v的内积.我们常用 , 表示内积,比如 u,v 表示u,v之间的内积. 有了内积就可以定义向量的长度和向量之间的夹角.设u∈R n,记 u =u,u ,称为u的范数或长度.设u=(u1,···,u n),v=(v1,···,v n)∈R n,记u·v=ni=1u i v i,称为u,v的内积.我们常用 , 表示内积,比如 u,v 表示u,v之间的内积. 有了内积就可以定义向量的长度和向量之间的夹角.设u∈R n,记 u =u,u ,称为u的范数或长度.(Schwarz不等式)设u,v∈R n,则|u·v|≤ u · v ,等号成立当且仅当u,v线性相关.根据Schwarz不等式,当u,v为非零向量时,可以取θ(u,v)∈[0,π],使得cosθ(u,v)=u,v u · v,θ(u,v)称为u,v之间的夹角,也记为∠(u,v).根据Schwarz不等式,当u,v为非零向量时,可以取θ(u,v)∈[0,π],使得cosθ(u,v)=u,v u · v,θ(u,v)称为u,v之间的夹角,也记为∠(u,v).例1M m×n中的内积.根据Schwarz不等式,当u,v为非零向量时,可以取θ(u,v)∈[0,π],使得cosθ(u,v)=u,v u · v,θ(u,v)称为u,v之间的夹角,也记为∠(u,v).例1M m×n中的内积.我们知道,m×n型矩阵的全体M m×n也是一个向量空间,它可以视为mn维的欧氏空间.作为欧氏空间,其内积可定义为A,B =tr AB T,∀A,B∈M m×n.(绝对值不等式)设u,v∈R n,则 u+v ≤ u + v .事实上,根据Schwarz不等式,我们有u+v 2= u+v,u+v = u,u +2 u,v + v,v≤ u 2+2 u · v + v 2=( u + v )2.(绝对值不等式)设u,v∈R n,则 u+v ≤ u + v .事实上,根据Schwarz不等式,我们有u+v 2= u+v,u+v = u,u +2 u,v + v,v≤ u 2+2 u · v + v 2=( u + v )2.(距离)设u,v∈R n,记d(u,v)= u−v ,称为u,v之间的距离.(绝对值不等式)设u,v∈R n,则 u+v ≤ u + v .事实上,根据Schwarz不等式,我们有u+v 2= u+v,u+v = u,u +2 u,v + v,v≤ u 2+2 u · v + v 2=( u + v )2.(距离)设u,v∈R n,记d(u,v)= u−v ,称为u,v之间的距离.(三角不等式)设x,y,z∈R n,则d(x,z)≤d(x,y)+d(y,z).事实上,利用绝对值不等式可得d(x,z)= x−z = (x−y)+(y−z)≤ x−y + y−z =d(x,y)+d(y,z).设u=(u1,u2,u3),v=(v1,v2,v3)∈R3,利用内积,线性函数(x,y,z)=x y z u1u2u3 v1v2v3可以表示为 (w)=w·(u×v).设u=(u1,u2,u3),v=(v1,v2,v3)∈R3,利用内积,线性函数(x,y,z)=x y z u1u2u3 v1v2v3可以表示为 (w)=w·(u×v).于是,利用行列式的性质容易得出:u×v与u,v都垂直!在高维欧氏空间中,叉乘运算也有完全类似的性质.。
数学分析 Green 公式
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:诱导定向;内容提要:诱导定向; Green公式;内容提要:诱导定向;Green公式;简单闭曲线所围区域的面积;内容提要:诱导定向;Green公式;简单闭曲线所围区域的面积; 代数基本定理.考虑平面R2上的有界区域Ω,假定其边界由有限条C1曲线组成.R2上的标准定向限制在Ω上就得到Ω的定向.考虑平面R2上的有界区域Ω,假定其边界由有限条C1曲线组成.R2上的标准定向限制在Ω上就得到Ω的定向.Ω的边界∂Ω有所谓的诱导定向.其定义如下:设(x(t),y(t))为∂Ω的一段参数曲线,则(x (t),y (t))为切向量,(y (t),−x (t))为法向量.考虑平面R2上的有界区域Ω,假定其边界由有限条C1曲线组成.R2上的标准定向限制在Ω上就得到Ω的定向.Ω的边界∂Ω有所谓的诱导定向.其定义如下:设(x(t),y(t))为∂Ω的一段参数曲线,则(x (t),y (t))为切向量,(y (t),−x (t))为法向量.如果(y (t),−x (t))为相对于区域Ω的外法向量,则参数t决定的边界方向称为诱导定向.直观上看,从外法向到切向的旋转方向是逆时针的,这种确定边界定向的方法又称为“右手法则”.考虑平面R2上的有界区域Ω,假定其边界由有限条C1曲线组成.R2上的标准定向限制在Ω上就得到Ω的定向.Ω的边界∂Ω有所谓的诱导定向.其定义如下:设(x(t),y(t))为∂Ω的一段参数曲线,则(x (t),y (t))为切向量,(y (t),−x (t))为法向量.如果(y (t),−x (t))为相对于区域Ω的外法向量,则参数t决定的边界方向称为诱导定向.直观上看,从外法向到切向的旋转方向是逆时针的,这种确定边界定向的方法又称为“右手法则”.利用诱导定向,沿边界的第二型曲线积分有时可以化为区域中的重积分.(Green公式)设Ω为平面有界区域,其边界由有限条C1曲线组成,边界的定向为诱导定向.如果P,Q为¯Ω上的C1函数,则Ω ∂Q∂x−∂P∂yd x d y=∂ΩP d x+Q d y.(Green公式)设Ω为平面有界区域,其边界由有限条C1曲线组成,边界的定向为诱导定向.如果P,Q为¯Ω上的C1函数,则Ω ∂Q∂x−∂P∂yd x d y=∂ΩP d x+Q d y.Green公式是一元微积分中Newton-Leibniz公式在平面上的推广.(Green公式)设Ω为平面有界区域,其边界由有限条C1曲线组成,边界的定向为诱导定向.如果P,Q为¯Ω上的C1函数,则Ω ∂Q∂x−∂P∂yd x d y=∂ΩP d x+Q d y.Green公式是一元微积分中Newton-Leibniz公式在平面上的推广.Green公式的传统证明方法是将被积区域分割为两种特殊类型的小区域,在每一小区域上验证公式成立,最后合起来就得到整个区域上的公式.若Ω的边界是简单闭曲线γ(t)=(x(t),y(t))(t∈[α,β]),在Green公式中代入P(x,y)=−y,Q(x,y)=x,可得如下面积公式σ(Ω)=12∂Ω−y d x+x d y=12βα[x(t)y (t)−x (t)y(t)]d t,其中,参数t选取的方向沿逆时针.若Ω的边界是简单闭曲线γ(t)=(x(t),y(t))(t∈[α,β]),在Green公式中代入P(x,y)=−y,Q(x,y)=x,可得如下面积公式σ(Ω)=12∂Ω−y d x+x d y=12βα[x(t)y (t)−x (t)y(t)]d t,其中,参数t选取的方向沿逆时针.例如,考虑椭圆x2a2+y2b2=1所围成的面积.椭圆的参数方程为x(t)=a cos t,y(t)=b sin t,t∈[0,2π],于是其面积为σ=122π(a cos t b cos t+a sin t b sin t)d t=πab.设p(z)=z n+c1z n−1+···+c n−1z+c n为复系数n次多项式.代数基本定理说p(z)在复平面上必有零点.设p(z)=z n+c1z n−1+···+c n−1z+c n为复系数n次多项式.代数基本定理说p(z)在复平面上必有零点.(反证法)设p(z)处处非零.当R>0时,记p(Rz)/R n的实部和虚部分别为f,g,则f和g不能同时为零.设p(z)=z n+c1z n−1+···+c n−1z+c n为复系数n次多项式.代数基本定理说p(z)在复平面上必有零点.(反证法)设p(z)处处非零.当R>0时,记p(Rz)/R n的实部和虚部分别为f,g,则f和g不能同时为零.考虑f d g−g d f f2+g2=P d x+Q d y,其中P=fg x−gf xf2+g2,Q=fg y−gf yf2+g2.容易验证Q x−P y=0.设p(z)=z n+c1z n−1+···+c n−1z+c n为复系数n次多项式.代数基本定理说p(z)在复平面上必有零点.(反证法)设p(z)处处非零.当R>0时,记p(Rz)/R n的实部和虚部分别为f,g,则f和g不能同时为零.考虑f d g−g d f f2+g2=P d x+Q d y,其中P=fg x−gf xf2+g2,Q=fg y−gf yf2+g2.容易验证Q x−P y=0.在单位圆盘上应用Green公式,有S1f d g−g d ff2+g2=D(Q x−P y)d x d y=0,(1)另一方面,在S1上,记z=e iθ,则f(z)=cos nθ+1Ra1cos(n−1)θ−b1sin(n−1)θ+···,g(z)=sin nθ+1Ra1sin(n−1)θ+b1cos(n−1)θ+···,其中a1,b1分别为c1的实部和虚部.另一方面,在S 1上,记z =e i θ,则f (z )=cos n θ+1R a 1cos(n −1)θ−b 1sin(n −1)θ+··· ,g (z )=sin n θ+1Ra 1sin(n −1)θ+b 1cos(n −1)θ+··· ,其中a 1,b 1分别为c 1的实部和虚部.由此可见,当R →∞时,f 2+g 2=1+O (1/R ),且f d g −g d f =(fg θ−gf θ)d θ= n +O (1/R ) d θ.这说明,当R 充分大时 S1f d g −g d f f 2+g 2= 2π0 n +O (1/R ) d θ=2πn +O (1/R )=0,这与(1)式相矛盾!另一方面,在S 1上,记z =e i θ,则f (z )=cos n θ+1R a 1cos(n −1)θ−b 1sin(n −1)θ+··· ,g (z )=sin n θ+1Ra 1sin(n −1)θ+b 1cos(n −1)θ+··· ,其中a 1,b 1分别为c 1的实部和虚部.由此可见,当R →∞时,f 2+g 2=1+O (1/R ),且f d g −g d f =(fg θ−gf θ)d θ= n +O (1/R ) d θ.这说明,当R 充分大时 S1f d g −g d f f 2+g 2= 2π0 n +O (1/R ) d θ=2πn +O (1/R )=0,这与(1)式相矛盾! 代数基本定理是由Gauss 首先证明的.有趣的是,至今还没有纯代数的证明.。
数学分析 Brouwer 不动点定理
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:Brouwer不动点定理;内容提要:Brouwer不动点定理; 鼓包函数与光滑化.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.这儿我们要用鼓包函数进行光滑的技巧,以及Gauss-Green公式.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.这儿我们要用鼓包函数进行光滑的技巧,以及Gauss-Green公式.定理1(Brouwer不动点定理)设D为R n中的闭球,ϕ:D→D为连续映射,则ϕ必有不动点.函数的光滑化不失一般性,我们设D是以原点为中心的单位闭球.不失一般性,我们设D是以原点为中心的单位闭球.在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.不失一般性,我们设D是以原点为中心的单位闭球.在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.引理1设ψ:D→R n为连续的向量值函数,且当x∈S n−1=∂D时ψ(x)=x,则任给ε>0,存在光滑向量值函数ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <ε,∀x∈D.不失一般性,我们设D是以原点为中心的单位闭球.在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.引理1设ψ:D→R n为连续的向量值函数,且当x∈S n−1=∂D时ψ(x)=x,则任给ε>0,存在光滑向量值函数ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <ε,∀x∈D.证明.记f(x)=ψ(x)−x,则fS n−1≡0.我们先对f做光滑化.因为有界闭集上的连续函数具有一致连续性,任给ε>0,存在δ>0,使得当 x−y ≤δ时 f(x)−f(y) <ε/2.证明(续).取η=δ1+δ,令g (x )= f x 1−η , x ≤1−η,0, x >1−η,则g 连续,且当x ∈D 时 g (x )−f (x ) <ε/2.设φ是我们之前构造的一元鼓包函数,记φη(x )=c −1η−n φ(η−1 x ),其中c 是φ( x )在R n 中的积分.此时φη在R n 的积分为1,且其支集含于B η(0).令h (x )= R n g (y )φη(x −y )d y = R ng (x −y )φη(y )d y ,根据函数参变量积分的性质可知h 是光滑函数,再根据鼓包函数的性质可知h S n −1=0, h (x )−g (x ) ≤ε/2.记ρ(x )=x +h (x ),则ρ是满足要求的光滑函数.引理2设ρ:D→R n为C2的向量值函数,如果当x∈S n−1时ρ(x)=x,则ρ必有零点.引理2设ρ:D→R n为C2的向量值函数,如果当x∈S n−1时ρ(x)=x,则ρ必有零点.证明.(反证法)设ρ没有零点.在R n\{0}中记ω0=ni=1(−1)i−1 x −n x i d x1∧···∧d x i−1∧d x i+1∧···∧d x n,直接的计算表明dω0=0.同理,记ω=ρ∗ω0=ni=1(−1)i−1 ρ −nρi dρ1∧···∧dρi−1∧dρi+1∧···∧dρn其中ρi是ρ的分量,则仍有dω=0.证明(续).利用Gauss-Green公式以及ρ(x)=x(x∈S n−1)可得0=D dω=S n−1ω=S n−1ω0=S n−1ni=1(−1)i−1x i d x1∧···∧d x i−1∧d x i+1∧···∧d x n =Dn dx1···dx n=nν(D)>0,这就得出了矛盾.Brouwer不动点定理的证明.(反证法)设ϕ没有不动点.用直线段连接ϕ(x)和x,其延长线交球面于ψ(x).容易看出ψ:D→S n−1连续,且当x∈S n−1时ψ(x)=x.根据引理1,存在光滑映射ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <1,∀x∈D.根据引理2,ρ有零点,但这与上面的不等式以及 ψ ≡1相矛盾.Brouwer不动点定理的证明.(反证法)设ϕ没有不动点.用直线段连接ϕ(x)和x,其延长线交球面于ψ(x).容易看出ψ:D→S n−1连续,且当x∈S n−1时ψ(x)=x.根据引理1,存在光滑映射ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <1,∀x∈D.根据引理2,ρ有零点,但这与上面的不等式以及 ψ ≡1相矛盾.例1设A=a ijn×n为n阶方阵,如果它的每一元素a ij都大于零,则称A为正矩阵.证明:正矩阵必有正特征值.证明.当x=(x1,···x n)∈R n时,记|x|= ni=1|x i|.考虑n−1维单形∆n={x∈R n||x|=1,x i≥0,i=1,···,n}.显然,当x∈∆n时|Ax|>0.考虑连续映射ϕ:∆n→∆n,x→Ax/|Ax|.因为∆n同胚于n−1维单位闭球,可以应用Brouwer不动点定理得到ϕ的不动点,不动点记为ξ,则|Aξ|就是A的正特征值.。
数学分析外微分运算
Maxwell 方程
这些 Maxwell 方程可以用微分形式来表示. 记 E = (E1, E2, E3), B = (B1, B2, B3), J = (J1, J2, J3). 再令 F = (E1 dx + E2 dy + E3 dz) ∧ dt + B1 dy ∧ dz + B2 dz ∧ dx + B3 dx ∧ dy ,
1 M = c (E1 dy ∧ dz + E2 dz ∧ dx + E3 dx ∧ dy ) − c(B1 dx + B2 dy + B3 dz) ∧ dt, J = c(J1 dy ∧ dz + J2 dz ∧ dx + J3 dx ∧ dy ) ∧ dt − c dx ∧ dy ∧ dz.
Maxwell 方程
设 f 为函数, ω 为 q−形式, 则 d(f ω) = df ∧ ω + f dω.
设 ω, η 分别为 p−形式和 q−形式, 则 d(ω ∧ η) = dω ∧ η + (−1)pω ∧ dη.
d2 = 0, 即 d(dω) = 0. 先考虑 0−形式. 设 f 为 Ck (k ≥ 2) 函数, 则
d2f
=
n i ,j =1
∂2f ∂xj ∂xi
dxj
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
xPra,bs
178
第十六章 含参变量的积分
由 apy q, bpy q 以及 f px, y q 的 (一致) 连续性即知 F py q 在 y “ y0 处连续. 关于 F py q 的可微性, 我们有 定理 16.1.4. 设 f px, y q 以及 fy px, y q 均在 ra, bs ˆ rc, ds 上连续, 如果 apy q,
0
满足方程
´u2 pxq “ f pxq, up0q “ up1q “ 0. 8. 设 f pxq 在 x “ 0 附近连续, 则函数 upxq “ 1 pn ´ 1q! żx
0
px ´ tqn´1 f ptqdt
满足方程
upnq pxq “ f pxq, up0q “ u1 p0q “ ¨ ¨ ¨ “ upn´1q p0q “ 0. 9. 设 ϕ, ψ 分别为 2 次可微和 1 次可微的函数, 证明函数 ż 1 x`at 1 ψ psqds upx, tq “ rϕpx ´ atq ` ϕpx ` atqs ` 2 2a x´at
反复利用上述定理即知 hpxq 在 p´a, aq 中任意次可导, 且 ż M `a ż8 pnq pnq h pxq “ f px ´ y qg py qdy “ f pnq px ´ y qg py qdy,
´M ´a ´8
由于 a ą 0 是任取的, 故 h 在 p´8, 8q 中光滑. 注. f 可以取为鼓包函数, 此时 h 可以看成函数 g 的光滑逼近. 例 16.1.2. 设 0 ă a ď b, 计算积分 ż1 b x ´ xa dx. I“ ln x 0 解. 我们把 a 看成是常数, 而把 b 看成是参数, 积分记为 I pbq, 则根据上述定 理, 有
0
解. 设 0 ă a ă 1, 当 λ P r´a, as 时, f px, λq “ lnp1 ` λ cos xq 以及
fλ px, λq “ cos x 1 ` λ cos x
在 r0, π s ˆ r´a, as 上连续, 于是 I “ I pλq 关于 λ 可微, 且 żπ π π cos x I 1 pλq “ dx “ ´ ? . 1 ` λ cos x λ λ 1 ´ λ2 0 对 λ 积分可得
żb I py q “
a
f px, y qdx, y P rc, ds,
称为含参变量的积分, 其中 y 是参数, 它对应于数列或函数列中的变数 n. 当 f px, y q 为 ra, bs ˆ rc, ds 中的连续函数时, 根据 §13.3 节中的讨论, 有
żd I py qdy “
c c a
żdżb f px, y qdxdy “
满足弦振动方程
B2 u B2 u “ a2 2 . 2 Bt Bx
180
第十六章 含参变量的积分
§16.2
含参变量的广义积分
如同 Riemann 积分的推广一样, 含参变量的积分也有两方面的推广. 一是积 分区间可以是无穷区间, 二是被积函数可能有瑕点. 为了简单起见, 我们以无穷积 分为例进行讨论, 带有瑕点的含参变量的积分可类似地讨论.
apy q apy0 q
ż apy0 q “
apy q
ż bpyq f px, y qdx `
bpy0 q
ż bpy0 q f px, y qdx `
apy0 q
rf px, y q ´ f px, y0 qsdx.
因为 f 连续, 故存在 M ą 0, 使得 |f px, y q| ď M . 由上式和已知条件得
第十六章
含参变量的积分
本章仍然讨论积分, 其中被积函数含有额外的参数, 我们要研究积分是如何依 赖于参数的. 这种积分的基本性质和无穷级数的性质十分类似, 它们也提供了构造 新函数的重要工具, 我们还将利用它们进一步研究 Fourier 积分.
§16.1
含参变量的积分
设 f px, y q 是定义在矩形 ra, bs ˆ rc, ds 上的函数, 且对于每个固定的 y P rc, ds, 关于 x 的函数 f px, y q 在 ra, bs 上 Riemann 可积, 则定义
a
(16.2)
称为含参变量的广义积分, 其中 y 是参数. 定义 16.2.1 (一致收敛). 如果任给 ε ą 0, 存在与 y 无关的 A0 “ A0 pεq ą a, 当 A, A1 ą A0 时, 对一切 y P rc, ds, 成立
ˇ ż A1 ˇ ˇż 8 ˇ ˇ ˇ ˇ ˇ f px, y qdxˇ ă ε, 或 ˇ f px, y qdxˇ ă ε, ˇ
żbżd f px, y qdydx.
a c
(16.1)
引理 16.1.1. 设 f px, y q 在 ra, bs ˆ rc, ds 中连续, 则 I py q 关于 y P rc, ds 连续. 证明. 有界闭集中的连续函数是一致连续的. 因此, 任给 ε ą 0, 存在 δ ą 0, 当
y1 , y2 P rc, ds 且 |y1 ´ y2 | ă δ 时 |f px, y1 q ´ f px, y2 q| ď ε, @ x P ra, bs.
apy q
其中 apy q, bpy q 是关于 y 的函数. 定理 16.1.3. 设 f px, y q 在 ra, bs ˆ rc, ds 上连续, 函数 apy q, bpy q 关于 y 连续, 且
a ď apy q ď b, a ď bpy q ď b, @ y P rc, ds,
则 F py q 是 rc, ds 上的连续函数. 证明. 任取 y0 P rc, ds, 则当 y P rc, ds 时, 有 ż bpyq ż bpy0 q F py q ´ F py0 q “ f px, y qdx ´ f px, y0 qdx
2. 计算下列积分 ż p1q
0
π 2
ln
1 ` a cos x dx p|a| ă 1q; p2q 1 ´ a cos x cos x
ż1
0
` 1 ˘ xb ´ xa sin ln dx pb ą a ą 0q. x ln x
3. 设 α ą 1, 计算积分 ż I“
0
π 2
lnpα2 ´ sin2 xqdx.
§16.2.1
一致收敛及其判别法
设 f px, y q 是定义在矩形 ra, 8q ˆ rc, ds 中的函数, 且对于每一个 y P rc, ds, 关 于 x 的函数 f px, y q 在 ra, 8q 中广义可积, 则定义 ż8 I py q “ f px, y qdx, y P rc, ds,
I pbq “
0 1
ż1
xb dx “
1 , b`1
这说明
I pbq “ lnp1 ` bq ` C.
又因为 I paq “ 0, 故 C “ ´ lnp1 ` aq, 从而
I “ ln 1`b . 1`a
这个积分也可以通过重积分化累次积分来计算.
§16.1 含参变 ă 1, 计算积分 żπ I“ lnp1 ` λ cos xqdx.
关于 a 积分, 得
I paq “
因为 I p0q “ 0, 故 C “ 0. 最后就得到
I paq “ lnp1 ` a2 q arctan a. 2
习题 16.1
1. 计算下列积分 żπ p1q
0
lnp1 ´ 2a cos x ` a qdx; p2q
0
2
ż
π 2
arctanpa tan xq dx pa ě 0q. tan x
0
满足 Bessel 方程
2 1 x2 Jn pxq ` xJn pxq ` px2 ´ n2 qJn pxq “ 0.
7. 定义函数 $ &y p1 ´ xq, y ď x, K px, y q “ %xp1 ´ y q, y ą x.
如果 f pxq 为 r0, 1s 上的连续函数, 则函数 ż1 upxq “ K px, y qf py qdy
ż y2 ψ py qdy “
y1 y1 żb a
ż y2 ż b fy px, y qdxdy “
ż b ż y2 fy px, y qdydx
a y1
“
a
rfy px, y2 q ´ f px, y1 qsdx
“ I py2 q ´ I py1 q.
这说明 I 1 py q “ ψ py q. 例 16.1.1. p˚q 设 f 为具有紧支集的光滑函数, g 连续. 定义函数 h 为 ż8 hpxq “ f px ´ y qg py qdy,
ża I paq “
0
lnp1 ` axq dx. 1 ` x2
解. 利用上面的定理, 得
I 1 paq “ ża lnp1 ` a2 q x ` dx 2 1 ` a2 0 p1 ` axqp1 ` x q lnp1 ` a2 q a arctan a ` . “ 2 1`a 2p1 ` a2 q lnp1 ` a2 q arctan a ` C. 2
I 1 py q “ żb fy px, y qdx.
a
证明. 记
żb ψ py q “
a
fy px, y qdx, y P rc, ds. 175
176
第十六章 含参变量的积分
根据题设和刚才的引理, ψ py q 关于 y 连续. 当 y1 , y2 P rc, ds 时, 利用积分次序的可 交换性, 得
A A
则称含参变量的广义积分