《高等数学引论》杂记(二)&(三)

本文深入探讨高等数学关键概念,包括曲线微分性质、曲率计算、复数平面几何及线性变换,详解Frenet-Serret公式、Clairaut方程与包络线理论,同时覆盖纯量场与向量场的算子性质。


读书笔记系列

《高等数学引论》杂记(二)

曲线微分的性质

平面曲线的曲率

s s s作为参变量,则
d r ⃗ d s = ( d x d s , d y d s ) = t ⃗ , d t ⃗ d s = d 2 r ⃗ d s 2 = ( d 2 x d s 2 , d 2 y d s s ) = n ⃗ \frac{d\vec{r}}{ds}=\left(\frac{dx}{ds},\frac{dy}{ds}\right)=\vec{t},\frac{d\vec{t}}{ds}=\frac{d^2\vec{r}}{ds^2}=\left(\frac{d^2x}{ds^2},\frac{d^2y}{ds^s}\right)=\vec{n} dsdr =(dsdx,dsdy)=t ,dsdt =ds2d2r =(ds2d2x,dssd2y)=n
t ⃗ \vec{t} t 成为一个单位切向量,而 t ⃗ \vec{t} t 的微商垂直于这个单位切向量,称 n ⃗ \vec{n} n 为曲率向量,曲率向量的长度的倒数, ρ \rho ρ称为曲率半径,即
∣ n ⃗ ∣ = 1 ρ |\vec{n}|=\frac{1}{\rho} n =ρ1
t ⃗ = ( cos ⁡ α , sin ⁡ α ) \vec{t}=(\cos\alpha,\sin\alpha) t =(cosα,sinα),则
n ⃗ = ( − sin ⁡ α , cos ⁡ α ) d α d s \vec{n}=(-\sin\alpha,\cos\alpha)\frac{d\alpha}{ds} n =(sinα,cosα)dsdα
因此,角度 α \alpha α对于弧长 s s s的微商 k = d α d s k=\frac{d\alpha}{ds} k=dsdα称为平面曲线 r ⃗ = r ⃗ ( s ) \vec{r}=\vec{r}(s) r =r (s)的曲率,则 1 ρ = ∣ d α d s ∣ \frac{1}{\rho}=\left|\frac{d\alpha}{ds}\right| ρ1=dsdα,令 r ⃗ = ( φ ( t ) , ψ ( t ) ) \vec{r}=(\varphi(t),\psi(t)) r =(φ(t),ψ(t))
( d s d t ) 2 = φ ′ 2 + ψ ′ 2 , d 2 r ⃗ d s 2 = φ ′ ψ ′ ′ − φ ′ ′ ψ ′ ( φ ′ 2 + ψ ′ 2 ) 2 ( − ψ ′ , φ ′ ) k = d α d s = φ ′ ψ ′ ′ − φ ′ ′ ψ ′ ( φ ′ 2 + ψ ′ 2 ) 3 2 = d 2 y d x 2 [ 1 + ( d y d x ) 2 ] 3 2 = y ′ ′ ( 1 + y ′ 2 ) 3 2 , 1 ρ = ∣ k ∣ \left(\frac{ds}{dt}\right)^2=\varphi'^2+\psi'^2,\frac{d^2\vec{r}}{ds^2}=\frac{\varphi'\psi''-\varphi''\psi'}{(\varphi'^2+\psi'^2)^2}(-\psi',\varphi')\\ k=\frac{d\alpha}{ds}=\frac{\varphi'\psi''-\varphi''\psi'}{(\varphi'^2+\psi'^2)^{\frac{3}{2}}}=\frac{\frac{d^2y}{dx^2}}{\left[1+\left(\frac{dy}{dx}\right)^2\right]^{\frac{3}{2}}}=\frac{y''}{(1+y'^2)^{\frac{3}{2}}},\frac{1}{\rho}=|k| (dtds)2=φ2+ψ2,ds2d2r =(φ2+ψ2)2φψφψ(ψ,φ)k=dsdα=(φ2+ψ2)23φψφψ=[1+(dxdy)2]23dx2d2y=(1+y2)23y,ρ1=k

曲线的本性方程

曲线的基本因素应当是弧长 s s s及曲率 k = d α d s k=\frac{d\alpha}{ds} k=dsdα。对每一条曲线可以建立依从关系
k = g ( s ) k=g(s) k=g(s)
这个方程称为曲线的本性方程。

定理 具有同一本性方程的诸曲线,只能在平面上的位置有所不同,换言之,如果两条曲线拥有相同的本性方程,则可以经过平移 ( x , y ) → ( x + h , y + k ) (x,y)\to(x+h,y+k) (x,y)(x+h,y+k)与旋转 ( x , y ) → ( x cos ⁡ θ + y sin ⁡ θ , − x sin ⁡ θ + y cos ⁡ θ ) (x,y)\to(x\cos\theta+y\sin\theta,-x\sin\theta+y\cos\theta) (x,y)(xcosθ+ysinθ,xsinθ+ycosθ)把一条搬到另一条

注意

  1. 曲线长度的起算点的选择,方向的选择,可能引起本性方程的变化

  2. 两条处于轴对称位置的曲线,它们的本性方程仅在右边差一个符号。实际上,对称地选择两条曲线弧长的起算点与方向时,它们的曲率符号相反,反之分别具有上两式的曲线,可以借助平行移动使他们处于对称的位置

曲率圆和渐屈线

曲率圆圆心坐标
a = φ − ψ ′ ( φ ′ 2 + ψ ′ 2 ) φ ′ ψ ′ ′ − φ ′ ′ ψ ′ , b = ψ + φ ′ ( φ ′ 2 + ψ ′ 2 ) φ ′ ψ ′ ′ − φ ′ ′ ψ ′ a=\varphi-\frac{\psi'(\varphi'^2+\psi'^2)}{\varphi'\psi''-\varphi''\psi'},b=\psi+\frac{\varphi'(\varphi'^2+\psi'^2)}{\varphi'\psi''-\varphi''\psi'} a=φφψφψψ(φ2+ψ2),b=ψ+φψφψφ(φ2+ψ2)
半径满足
R 2 = ( φ ′ 2 + ψ ′ 2 ) 3 ( φ ′ ψ ′ ′ − φ ′ ′ ψ ′ ) 2 = ∣ d s d α ∣ 2 R^2=\frac{(\varphi'^2+\psi'^2)^3}{(\varphi'\psi''-\varphi''\psi')^2}=\left|\frac{ds}{d\alpha}\right|^2 R2=(φψφψ)2(φ2+ψ2)3=dαds2
圆心坐标也可表示为
a = x − R sin ⁡ ( α + π 2 ) , b = y + R cos ⁡ ( α + π 2 ) a=x-R\sin\left(\alpha+\frac{\pi}{2}\right),b=y+R\cos\left(\alpha+\frac{\pi}{2}\right) a=xRsin(α+2π),b=y+Rcos(α+2π)
曲率圆圆心称为曲率中心,曲率中心的轨迹成为原曲线的渐屈线,而原曲线称为渐屈线的渐伸线

一般的一阶微分方程

Clairaut方程
y = x y ′ + f ( y ′ ) ⇒ y = x p + f ( p ) y=xy'+f(y')\Rightarrow y=xp+f(p) y=xy+f(y)y=xp+f(p)
两边微分得
[ x + f ′ ( p ) ] d p d x = 0 [x+f'(p)]\frac{dp}{dx}=0 [x+f(p)]dxdp=0
则有
y = c x + f ( c ) , y = − p f ′ ( p ) + f ( p ) y=cx+f(c),y=-pf'(p)+f(p) y=cx+f(c),y=pf(p)+f(p)

包络线


Φ ( x , y , z ) = 0 \Phi(x,y,z)=0 Φ(x,y,z)=0
是一个曲线族,在 ( x , y ) (x,y) (x,y)平面上某区域内没一点至少有曲线族的一条曲线通过

现在想找到曲线 L L L,使 L L L的每一点都与曲线族的某一曲线相切,而且曲线L的每一段都与族的无穷多条曲线相切(不同的 c c c对应不同的曲线),这样的 L L L称为族的包络或者包络线

如果包络存在,则包络上每一点 ( x , y ) (x,y) (x,y)必与族中之一条曲线
Φ ( x , y , c 0 ) = 0 \Phi(x,y,c_0)=0 Φ(x,y,c0)=0
相切,这 c 0 c_0 c0是由点 ( x , y ) (x,y) (x,y)所决定的,命之为 c 0 = c ( x , y ) c_0=c(x,y) c0=c(x,y),及包络上的点一定适合于方程
Φ ( x , y , c ( x , y ) ) = 0 \Phi(x,y,c(x,y))=0 Φ(x,y,c(x,y))=0
在包络上, y y y又是 x x x的函数,不妨把 c ( x , y ) c(x,y) c(x,y)看作是 x x x的函数 c ( x ) c(x) c(x),也就是
Φ ( x , y , c ( x ) ) = 0 \Phi(x,y,c(x))=0 Φ(x,y,c(x))=0
x x x微分得
∂ Φ ∂ x + ∂ Φ ∂ y d y d x + ∂ Φ ∂ c d c d x = 0 \frac{\partial\Phi}{\partial x}+\frac{\partial\Phi}{\partial y}\frac{dy}{dx}+\frac{\partial\Phi}{\partial c}\frac{dc}{dx}=0 xΦ+yΦdxdy+cΦdxdc=0
从此式得出的 d y d x \frac{dy}{dx} dxdy是包络线上切线的方向

从另一方面看,曲线族中经过 ( x , y ) (x,y) (x,y)的曲线 L c L_c Lc一定适合于
∂ Φ ∂ x + ∂ Φ ∂ y d y d x = 0 \frac{\partial\Phi}{\partial x}+\frac{\partial\Phi}{\partial y}\frac{dy}{dx}=0 xΦ+yΦdxdy=0
此处所得出的 d y d x \frac{dy}{dx} dxdy是曲线 L c L_c Lc的切线方向

有假定可知,两个切线的方向是一致的,所以有
∂ Φ ∂ c d c d x = 0 \frac{\partial\Phi}{\partial c}\frac{dc}{dx}=0 cΦdxdc=0
这就是一点包络与通过该点的曲线有公共切线的必要条件

如果 d c d x = 0 \frac{dc}{dx}=0 dxdc=0 c c c为常数,所得出的曲线就是族中的曲线

如果 d c d x ≠ 0 \frac{dc}{dx}\neq0 dxdc̸=0,则在包络线上常有 ∂ Φ ∂ c = 0 \frac{\partial \Phi}{\partial c}=0 cΦ=0

曲线族上的点,如果适合
∂ Φ ( x , y , c ) ∂ x = 0 , ∂ Φ ( x , y , c ) ∂ y = 0 \frac{\partial\Phi(x,y,c)}{\partial x}=0,\frac{\partial\Phi(x,y,c)}{\partial y}=0 xΦ(x,y,c)=0,yΦ(x,y,c)=0
则称之为奇点

曲线族 Φ ( x , y , c ) = 0 \Phi(x,y,c)=0 Φ(x,y,c)=0过奇点的曲线,在奇点没有确定的切线

上面证明了包络线 y = y ( x ) y=y(x) y=y(x)适合于两个条件,反之并不是上两个条件的解都是包络

容易证明,适合上两个条件的曲线 y ( x ) y(x) y(x),如果不包含曲线族的奇点,则必为包络线

空间曲线的基本元素

空间曲线 C C C也是可以用原点 o o o到变点 p p p的变向量 r ⃗ ( s ) \vec{r}(s) r (s)来表示

s s s表示弧长,则
t ⃗ = d r ‾ d s , t ⃗ ⋅ t ⃗ = ( d x d s ) 2 + ( d y d s ) 2 + ( d z d s ) 2 \vec{t}=\frac{d\overline{r}}{ds},\vec{t}\cdot\vec{t}=\left(\frac{dx}{ds}\right)^2+\left(\frac{dy}{ds}\right)^2+\left(\frac{dz}{ds}\right)^2 t =dsdr,t t =(dsdx)2+(dsdy)2+(dsdz)2
是一个单位向量,这称为曲线在 p p p点的切线向量

由于 t ⃗ \vec{t} t 是一单位向量,所以 d t ⃗ d s \frac{d\vec{t}}{ds} dsdt t ⃗ \vec{t} t 垂直,定义
k 2 = d t ⃗ d s ⋅ d t ⃗ d s , k = ( d 2 x d s 2 ) 2 + ( d 2 y d s 2 ) 2 + ( d 2 z d s 2 ) 2 k^2=\frac{d\vec{t}}{ds}\cdot\frac{d\vec{t}}{ds},k=\sqrt{\left(\frac{d^2x}{ds^2}\right)^2+\left(\frac{d^2y}{ds^2}\right)^2+\left(\frac{d^2z}{ds^2}\right)^2} k2=dsdt dsdt ,k=(ds2d2x)2+(ds2d2y)2+(ds2d2z)2
k k k为曲线 C C C p p p点的曲率, k k k是随着点而变化的


d t ⃗ d s = k n ⃗ \frac{d\vec{t}}{ds}=k\vec{n} dsdt =kn
所定义的单位向量 n ⃗ \vec{n} n 称为曲线 C C C p p p点的主法线的单位向量

ρ = 1 k \rho=\frac{1}{k} ρ=k1称为曲率半径,在任一点 p p p t ⃗ \vec{t} t n ⃗ \vec{n} n 是互相垂直的


b ⃗ = t ⃗ × n ⃗ \vec{b}=\vec{t}\times\vec{n} b =t ×n
b ⃗ \vec{b} b 为曲线 C C C p p p点的次法线方向的单位向量

这三个与坐标轴有着相同的定转向的单位向量 t ⃗ , n ⃗ , b ⃗ \vec{t},\vec{n},\vec{b} t ,n ,b 组成一个在曲线 C C C p p p点的活动坐标架,而空间曲线 C C C p p p点的其他任何相邻向量都可以在这个坐标架上进行分解
b ⃗ ⋅ t ⃗ = 0 , b ⃗ ⋅ d t ⃗ d s = b ⃗ ⋅ k n ⃗ = 0 ⇒ d b ⃗ d s ⋅ t ⃗ + b ⃗ ⋅ d t ⃗ d s = d b ⃗ d s ⋅ t ⃗ = 0 d b ⃗ d s = 1 τ n ⃗ \vec{b}\cdot\vec{t}=0,\vec{b}\cdot\frac{d\vec{t}}{ds}=\vec{b}\cdot k\vec{n}=0\Rightarrow\frac{d\vec{b}}{ds}\cdot\vec{t}+\vec{b}\cdot\frac{d\vec{t}}{ds}=\frac{d\vec{b}}{ds}\cdot\vec{t}=0\\\frac{d\vec{b}}{ds}=\frac{1}{\tau}\vec{n} b t =0,b dsdt =b kn =0dsdb t +b dsdt =dsdb t =0dsdb =τ1n
1 τ \frac{1}{\tau} τ1称为这曲线的挠率, τ \tau τ称为挠率半径(或者第二曲率半径)

注意 1 τ \frac{1}{\tau} τ1是可正可负的,这与 1 ρ \frac{1}{\rho} ρ1总是非负的性质不同
n ⃗ = b ⃗ × t ⃗ ⇒ b ⃗ × d t ⃗ d s + d b ⃗ d s × t ⃗ = b ⃗ × k n ⃗ + 1 τ n ⃗ × t ⃗ = − k t ⃗ − 1 τ b ⃗ \vec{n}=\vec{b}\times\vec{t}\Rightarrow\vec{b}\times\frac{d\vec{t}}{ds}+\frac{d\vec{b}}{ds}\times\vec{t}=\vec{b}\times k\vec{n}+\frac{1}{\tau}\vec{n}\times\vec{t}=-k\vec{t}-\frac{1}{\tau}\vec{b} n =b ×t b ×dsdt +dsdb ×t =b ×kn +τ1n ×t =kt τ1b
Frenet-Serret公式
d t ⃗ d s = 1 ρ n ⃗ , d n ⃗ d s = − ( 1 ρ t ⃗ + 1 τ b ⃗ ) , d b ⃗ d s = 1 τ n ⃗ \frac{d\vec{t}}{ds}=\frac{1}{\rho}\vec{n},\frac{d\vec{n}}{ds}=-\left(\frac{1}{\rho}\vec{t}+\frac{1}{\tau}\vec{b}\right),\frac{d\vec{b}}{ds}=\frac{1}{\tau}\vec{n} dsdt =ρ1n ,dsdn =(ρ1t +τ1b ),dsdb =τ1n
当曲率 1 ρ \frac{1}{\rho} ρ1恒为 0 0 0 C C C是一条直线

当挠率 1 τ \frac{1}{\tau} τ1恒为 0 0 0 C C C是一条平面曲线

由向量 t ⃗ \vec{t} t n ⃗ \vec{n} n 确定的平面称为曲线的密切平面, b ⃗ \vec{b} b 是这平面的法线方向

原坐标表示法

1 τ = ρ 2 ( d 3 r ‾ d s 3 × d r ‾ d s ) ⋅ d 2 r ‾ d s 2 \frac{1}{\tau}=\rho^2\left(\frac{d^3\overline{r}}{ds^3}\times\frac{d\overline{r}}{ds}\right)\cdot\frac{d^2\overline{r}}{ds^2} τ1=ρ2(ds3d3r×dsdr)ds2d2r

纯量场与向量场

三种算子的性质

线性算子
g r a d ( φ ψ ) = φ g r a d ( ψ ) + ψ g r a d ( φ ) g r a d F ( φ ) = F ′ ( φ ) g r a d φ g r a d ( a ⃗ ⋅ b ⃗ ) = ( a x ∂ ∂ x + a y ∂ ∂ y + a z ∂ ∂ z ) b ⃗ + ( b x ∂ ∂ x + b y ∂ ∂ y + b z ∂ ∂ z ) a ⃗ + a ⃗ × r o t b ⃗ + b × r o t a ⃗ d i v ( φ a ⃗ ) = φ d i v a ⃗ + g r a d φ ⋅ a ⃗ d i v ( a ⃗ × b ⃗ ) = b ⃗ ⋅ r o t a ⃗ − a ⃗ ⋅ r o t b ⃗ r o t ( φ a ⃗ ) = φ r o t a ⃗ + g r a d φ × a ⃗ r o t ( a ⃗ × b ⃗ ) = ( b x ∂ ∂ x + b y ∂ ∂ y + b z ∂ ∂ z ) a ⃗ − ( a x ∂ ∂ x + a y ∂ ∂ y + a z ∂ ∂ z ) b ⃗ + ( d i v b ⃗ ) a ⃗ − ( d i v a ⃗ ) b ⃗ grad (\varphi\psi)=\varphi grad(\psi)+\psi grad(\varphi)\\grad F(\varphi)=F'(\varphi)grad\varphi\\grad(\vec{a}\cdot\vec{b})=\left(a_x\frac{\partial}{\partial x}+a_y\frac{\partial}{\partial y}+a_z\frac{\partial}{\partial z}\right)\vec{b}+\left(b_x\frac{\partial}{\partial x}+b_y\frac{\partial}{\partial y}+b_z\frac{\partial}{\partial z}\right)\vec{a}+\vec{a}\times rot\vec{b}+b\times rot\vec{a}\\div(\varphi\vec{a})=\varphi div\vec{a}+grad\varphi\cdot\vec{a}\\div(\vec{a}\times\vec{b})=\vec{b}\cdot rot\vec{a}-\vec{a}\cdot rot\vec{b}\\rot(\varphi\vec{a})=\varphi rot\vec{a}+grad\varphi\times\vec{a}\\rot(\vec{a}\times\vec{b})=\left(b_x\frac{\partial}{\partial x}+b_y\frac{\partial}{\partial y}+b_z\frac{\partial}{\partial z}\right)\vec{a}-\left(a_x\frac{\partial}{\partial x}+a_y\frac{\partial}{\partial y}+a_z\frac{\partial}{\partial z}\right)\vec{b}+(div\vec{b})\vec{a}-(div\vec{a})\vec{b} grad(φψ)=φgrad(ψ)+ψgrad(φ)gradF(φ)=F(φ)gradφgrad(a b )=(axx+ayy+azz)b +(bxx+byy+bzz)a +a ×rotb +b×rota div(φa )=φdiva +gradφa div(a ×b )=b rota a rotb rot(φa )=φrota +gradφ×a rot(a ×b )=(bxx+byy+bzz)a (axx+ayy+azz)b +(divb )a (diva )b
考虑迭用
d i v   r o t R ⃗ = 0 r o t   g r a d φ = 0 ⃗ g r a d   d i v R ⃗ − r o t   r o t R ⃗ = Δ R ⃗ div\ rot\vec{R}=0\\rot\ grad\varphi=\vec{0}\\grad\ div\vec{R}-rot\ rot\vec{R}=\Delta\vec{R} div rotR =0rot gradφ=0 grad divR rot rotR =ΔR
引入Nabla算子
∇ = i ⃗ ∂ ∂ x + j ⃗ ∂ ∂ y + k ⃗ ∂ ∂ z = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) g r a d φ = ∇ φ , d i v r ⃗ = ∇ ⋅ r ⃗ , r o t r ⃗ = ∇ × r ⃗ , Δ φ = ∇ ⋅ ( ∇ φ ) = ∇ 2 φ \nabla=\vec{i}\frac{\partial}{\partial x}+\vec{j}\frac{\partial}{\partial y}+\vec{k}\frac{\partial }{\partial z}=\left(\frac{\partial}{\partial x},\frac{\partial}{\partial y},\frac{\partial }{\partial z}\right)\\grad\varphi=\nabla\varphi,div\vec{r}=\nabla\cdot\vec{r},rot\vec{r}=\nabla\times\vec{r},\Delta\varphi=\nabla\cdot(\nabla\varphi)=\nabla^2\varphi\\ =i x+j y+k z=(x,y,z)gradφ=φ,divr =r ,rotr =×r ,Δφ=(φ)=2φ
Nabla算子是线性的

《高等数学引论》杂记(三)

复数平面上的几何

交比

定理 1 交比经线性变换后保持不变

定理 2 四点 ω 1 , ω 2 , ω 3 , ω 4 \omega_1,\omega_2,\omega_3,\omega_4 ω1,ω2,ω3,ω4可以依次变为 z 1 , z 2 , z 3 , z 4 ⇔ ( ω 1 , ω 2 , ω 3 , ω 4 ) = ( z 1 , z 2 , z 3 , z 4 ) z_1,z_2,z_3,z_4\Leftrightarrow(\omega_1,\omega_2,\omega_3,\omega_4)=(z_1,z_2,z_3,z_4) z1,z2,z3,z4(ω1,ω2,ω3,ω4)=(z1,z2,z3,z4)

定义线性变换
ω = ( z 1 , z 2 , z 3 , z ) = z 3 − z 1 z 2 − z 3 z 2 − z z − z 1 \omega=(z_1,z_2,z_3,z)=\frac{z_3-z_1}{z_2-z_3}\frac{z_2-z}{z-z_1} ω=(z1,z2,z3,z)=z2z3z3z1zz1z2z
这个线性变化把 z 2 z_2 z2变为 0 0 0,把 z 1 z_1 z1变为 ∞ \infty ,把 z 3 z_3 z3变为 1 1 1

由于交比的不变性,此线性变换是唯一不变的

特别地,取 z 1 = 1 , z 2 = − 1 , z 3 = − i z_1=1,z_2=-1,z_3=-i z1=1,z2=1,z3=i,则 ω = i 1 + z 1 − z \omega=i\frac{1+z}{1-z} ω=i1z1+z,将单位圆变为实轴,并且将单位圆的内部变为上半平面

z 1 = − 1 , z 2 = 1 , z 3 = − i z_1=-1,z_2=1,z_3=-i z1=1,z2=1,z3=i,则 ω = − i 1 − z 1 + z \omega=-i\frac{1-z}{1+z} ω=i1+z1z,将圆的外部变为上半平面

圆对

定理 1 线性变换使两圆的夹角不变

定理 2 两个相切的圆可以变成任意两个相切的圆,两对相交的圆的夹角如果相等,则可由一对变为另一对

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值