注:本文为 “数学实验” 相关合辑。
略作重排,如有内容异常,请看原文。
数学实验一:解析函数对平面向量场的应用
1. 平面向量场
首先以流速场为例阐述稳定平面向量场的概念。在流体力学中,不可压缩流体指密度不随压力变化的流体。通常情况下,液体可视为不可压缩流体;当空气流速不超过音速 330 m/s 330\, \text{m/s} 330m/s 的 0.6 0.6 0.6 至 0.8 0.8 0.8 倍时,亦可视为不可压缩流体。
流体的平面流动是指在垂直于某平面的每一垂线上,所有质点的速度相同且与指定平面平行。对于平面流动,仅需研究指定平面上的流动情况。若平面流动中各质点的速度仅与位置相关,且不随时间变化,则称其为平面稳定流动。
在 z z z 平面上的某一区域 D D D 内,若每一点均对应一个大小和方向均不随时间变化的速度向量,则在 D D D 内确定了一个稳定平面向量场。在不可压缩流体的平面稳定流动中,以 C C C 为准线、垂直于 C C C 的直线为母线作高为 1 1 1 的柱面,单位时间内通过该柱面流向某一侧的流体质量(假设密度为 1 1 1),称为通过 C C C 流向该侧的流量。规定流体向 C C C 某一侧的流量为正,相反一侧为负。
取曲线 C C C 上的弧元素 d s ds ds,规定 C C C 的方向并相应确定法线方向,使得沿 C C C 按规定方向前进时,法线始终指向 C C C 的右侧。设点 A A A 处的速度向量为 v = a + i b \boldsymbol{v} = a + ib v=a+ib(其中 a = a ( x , y ) a = a(x,y) a=a(x,y)、 b = b ( x , y ) b = b(x,y) b=b(x,y) 分别为 v \boldsymbol{v} v 的实部和虚部), v n v_n vn、 v t v_t vt 分别为 v \boldsymbol{v} v 在法线方向和切线方向的投影,则单位时间内通过 d s ds ds 流向法线指定侧的流量为
v n d s v_n \, ds vnds
其本质是由 d s ds ds 及 v \boldsymbol{v} v 构成的平行四边形面积。因此,单位时间内流体通过曲线 C C C 流向取定一侧的总流量 Q Q Q 为:
Q = ∫ C v n d s Q = \int_{C} v_n \, ds Q=∫Cvnds
设沿 C C C 正向的切线与实轴夹角为 α \alpha α,则法线方向与实轴夹角为 β = α − π 2 \beta = \alpha - \frac{\pi}{2} β=α−2π。切线向量的方向余弦为 cos α \cos\alpha cosα、 sin α \sin\alpha sinα,法线向量的方向余弦为 cos β = sin α \cos\beta = \sin\alpha cosβ=sinα、 sin β = − cos α \sin\beta = -\cos\alpha sinβ=−cosα,由此可得:
v t = v ⋅ ( cos α , sin α ) = a cos α + b sin α v n = v ⋅ ( sin α , − cos α ) = a sin α − b cos α v_t = \boldsymbol{v} \cdot (\cos\alpha, \sin\alpha) = a\cos\alpha + b\sin\alpha \\ v_n = \boldsymbol{v} \cdot (\sin\alpha, -\cos\alpha) = a\sin\alpha - b\cos\alpha vt=v⋅(cosα,sinα)=acosα+bsinαvn=v⋅(sinα,−cosα)=asinα−bcosα
进而流量公式可转化为:
Q = ∫ C ( a sin α − b cos α ) d s = ∫ C − b d x + a d y Q = \int_{C} (a\sin\alpha - b\cos\alpha) \, ds = \int_{C} -b \, dx + a \, dy Q=∫C(asinα−bcosα)ds=∫C−bdx+ady
若曲线 C C C 为闭合曲线,规定反时针方向为正向,则法线正向指向 C C C 的外部。当流入内部的流体多于流出时,流量为正;反之,流量为负。若区域 D D D 内无流体放出或吸入,称 D D D 内流速场 v \boldsymbol{v} v 既无源又无汇。此时,对于 D D D 内任一闭曲线 C C C,必有 Q = ∫ C − b d x + a d y = 0 Q = \int_{C} -b \, dx + a \, dy = 0 Q=∫C−bdx+ady=0。根据格林公式,可得如下定理:
定理 1:设 D D D 为单连通区域, a a a、 b b b 在 D D D 内具有连续偏导数,则 D D D 内流速场既无源又无汇的充要条件为:
∂ a ∂ x = ∂ ( − b ) ∂ y \frac{\partial a}{\partial x} = \frac{\partial (-b)}{\partial y} ∂x∂a=∂y∂(−b)
定义 ∫ C v t d s \int_{C} v_t \, ds ∫Cvtds 为流体在单位时间内沿闭曲线 C C C 的环量。若 D D D 内任一简单闭曲线的环量为零,则称流动为无旋的。根据环量定义,无旋流动的条件为:
∫ C v t d s = ∫ C ( a cos α + b sin α ) d s = ∫ C a d x + b d y = 0 \begin{aligned} \int_{C} v_t \, ds &= \int_{C} (a\cos\alpha + b\sin\alpha) \, ds \\ &= \int_{C} a \, dx + b \, dy \\ &= 0 \end{aligned} ∫Cvtds=∫C(acosα+bsinα)ds=∫Cadx+bdy=0
根据格林公式,可得如下定理:
定理 2:设 D D D 为单连通区域, a a a、 b b b 在 D D D 内具有连续偏导数,则 D D D 内流速场为无旋场的充要条件为:
∂ a ∂ y = ∂ b ∂ x \frac{\partial a}{\partial y} = \frac{\partial b}{\partial x} ∂y∂a=∂x∂b
上述结论可推广至其他稳定平面向量场。以静电场为例,取静电场所在平面为 z z z 平面,单位电荷在该平面某点所受的力称为该点的电场强度。若 z z z 平面某区域 D D D 内每一点的电场强度向量大小和方向均不随时间变化,则构成稳定平面向量场,设电场强度向量为 w = u + i v \boldsymbol{w} = u + iv w=u+iv。
对于 D D D 内任一简单闭曲线 C C C,定义通过 C C C 的通量为:
Q = ∫ C − v d x + u d y Q = \int_{C} -v \, dx + u \, dy Q=∫C−vdx+udy
根据静电理论,通量与 C C C 包围区域内的总电荷成正比。类似流速场的结论, D D D 内无电荷的充要条件为:
∂ u ∂ x = ∂ ( − v ) ∂ y \frac{\partial u}{\partial x} = \frac{\partial (-v)}{\partial y} ∂x∂u=∂y∂(−v)
对于 D D D 中任一简单闭曲线 C C C,同样可定义沿 C C C 的环量为:
∫ C u d x + v d y \int_{C} u \, dx + v \, dy ∫Cudx+vdy
其物理意义为单位正电荷沿 C C C 移动时电场力所作的功。静电场为无旋场(环量为零)的充要条件为:
∂ u ∂ y = ∂ v ∂ x \frac{\partial u}{\partial y} = \frac{\partial v}{\partial x} ∂y∂u=∂x∂v
2. 平面场的复势
设区域 D D D 内给定稳定平面向量场 w = u + i v \boldsymbol{w} = u + iv w=u+iv,若对于 D D D 内任一简单闭曲线 C C C,通过 C C C 的流量和环量均为零,则称 w \boldsymbol{w} w 在 D D D 上无源、无汇且无旋(在静电场中,等价于场内无电荷,单位正电荷沿闭曲线移动时电场力做功为零)。
定理 3:设 D D D 为单连通区域, u u u、 v v v 在 D D D 内具有连续偏导数,则 w = u + i v \boldsymbol{w} = u + iv w=u+iv 在 D D D 上无源、无汇且无旋的充要条件为:
∂ u ∂ x = − ∂ v ∂ y , ∂ u ∂ y = ∂ v ∂ x \frac{\partial u}{\partial x} = -\frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = \frac{\partial v}{\partial x} ∂x∂u=−∂y∂v,∂y∂u=∂x∂v
该条件等价于:
∂ u ∂ x = ∂ ( − v ) ∂ y , ∂ u ∂ y = − ∂ ( − v ) ∂ x \frac{\partial u}{\partial x} = \frac{\partial (-v)}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial (-v)}{\partial x} ∂x∂u=∂y∂(−v),∂y∂u=−∂x∂(−v)
单连通区域内平面向量场与解析函数
由柯西-黎曼条件可知,函数 u + i ( − v ) = u − i v u + i(-v) = u - iv u+i(−v)=u−iv 在区域 D D D 内解析。 u u u 与 v v v 均为 D D D 内的调和函数。
基于上述条件,两个微分表达式分别对应特定函数的全微分:
d
φ
=
u
d
x
+
v
d
y
,
d
ψ
=
−
v
d
x
+
u
d
y
d\varphi = u \, dx + v \, dy, \quad d\psi = -v \, dx + u \, dy
dφ=udx+vdy,dψ=−vdx+udy
其中
φ
(
x
,
y
)
\varphi(x,y)
φ(x,y) 与
ψ
(
x
,
y
)
\psi(x,y)
ψ(x,y) 是由
u
u
u、
v
v
v 唯一确定的函数(不计常数差异)。
由此可直接推出偏导数关系:
∂
φ
∂
x
=
u
,
∂
φ
∂
y
=
v
,
∂
ψ
∂
x
=
−
v
,
∂
ψ
∂
y
=
u
.
\begin{aligned} \frac{\partial \varphi}{\partial x} &= u, & \frac{\partial \varphi}{\partial y} &= v, \\ \frac{\partial \psi}{\partial x} &= -v, & \frac{\partial \psi}{\partial y} &= u. \end{aligned}
∂x∂φ∂x∂ψ=u,=−v,∂y∂φ∂y∂ψ=v,=u.
因
φ
(
x
,
y
)
\varphi(x,y)
φ(x,y) 和
ψ
(
x
,
y
)
\psi(x,y)
ψ(x,y) 满足柯西-黎曼条件,构造复势函数:
f
(
z
)
=
φ
(
x
,
y
)
+
i
ψ
(
x
,
y
)
f(z) = \varphi(x,y) + i\psi(x,y)
f(z)=φ(x,y)+iψ(x,y)
该函数在
D
D
D 内解析,且
φ
\varphi
φ、
ψ
\psi
ψ 均为调和函数。
对
f
(
z
)
f(z)
f(z) 求导可得:
f
′
(
z
)
=
∂
φ
∂
x
+
i
∂
ψ
∂
x
=
u
−
i
v
f'(z) = \frac{\partial \varphi}{\partial x} + i\frac{\partial \psi}{\partial x} = u - iv
f′(z)=∂x∂φ+i∂x∂ψ=u−iv
进而有
f
′
(
z
)
‾
=
u
+
i
v
=
w
\overline{f'(z)} = u + iv = \boldsymbol{w}
f′(z)=u+iv=w,即
f
(
z
)
f(z)
f(z) 与给定平面向量场
w
\boldsymbol{w}
w 直接对应。
定义 f ( z ) f(z) f(z) 为平面向量场 w \boldsymbol{w} w 的复势, φ ( x , y ) \varphi(x,y) φ(x,y) 为势函数, ψ ( x , y ) \psi(x,y) ψ(x,y) 为流函数。
1. 势函数 φ ( x , y ) \varphi(x,y) φ(x,y)
- 因 d φ = u d x + v d y d\varphi = u \, dx + v \, dy dφ=udx+vdy,曲线族 φ ( x , y ) = 常数 \varphi(x,y) = 常数 φ(x,y)=常数 称为等势线。
- 满足微分方程 u d x + v d y = 0 u \, dx + v \, dy = 0 udx+vdy=0,等势线上任一点的斜率为 d y d x = − u v \frac{dy}{dx} = -\frac{u}{v} dxdy=−vu。
2. 流函数 ψ ( x , y ) \psi(x,y) ψ(x,y)
- 因 d ψ = − v d x + u d y d\psi = -v \, dx + u \, dy dψ=−vdx+udy,曲线族 ψ ( x , y ) = 常数 \psi(x,y) = 常数 ψ(x,y)=常数 称为流线。
- 满足微分方程 − v d x + u d y = 0 -v \, dx + u \, dy = 0 −vdx+udy=0,流线上任一点的斜率为 d y d x = v u \frac{dy}{dx} = \frac{v}{u} dxdy=uv。
向量场 w \boldsymbol{w} w 在每一点的方向与流线切线方向一致,等势线与流线彼此正交。
结论(充要条件)
设 D D D 为单连通区域,平面定常向量场 w = ( u ( x , y ) , v ( x , y ) ) \boldsymbol{w} = (u(x,y), v(x,y)) w=(u(x,y),v(x,y)) 满足以下三个条件:
- 无源(无散度):散度为零,即 ∇ ⋅ w = ∂ u ∂ x + ∂ v ∂ y = 0 \nabla \cdot \boldsymbol{w} = \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} = 0 ∇⋅w=∂x∂u+∂y∂v=0;
- 无旋:旋度为零(平面向量场旋度仅含 z z z 方向分量),即 ∇ × w \nabla \times \boldsymbol{w} ∇×w 的 z z z 分量 ∂ v ∂ x − ∂ u ∂ y = 0 \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} = 0 ∂x∂v−∂y∂u=0;
- 光滑:分量 u ( x , y ) u(x,y) u(x,y)、 v ( x , y ) v(x,y) v(x,y) 在 D D D 内具有连续一阶偏导数;
当且仅当存在 D D D 内的解析函数 f ( z ) = φ ( x , y ) + i ψ ( x , y ) f(z) = \varphi(x,y) + i\psi(x,y) f(z)=φ(x,y)+iψ(x,y)(满足柯西-黎曼方程 ∂ φ ∂ x = ∂ ψ ∂ y \frac{\partial \varphi}{\partial x} = \frac{\partial \psi}{\partial y} ∂x∂φ=∂y∂ψ、 ∂ φ ∂ y = − ∂ ψ ∂ x \frac{\partial \varphi}{\partial y} = -\frac{\partial \psi}{\partial x} ∂y∂φ=−∂x∂ψ),使得 w = ( ∂ ψ ∂ y , − ∂ ψ ∂ x ) \boldsymbol{w} = \left( \frac{\partial \psi}{\partial y}, -\frac{\partial \psi}{\partial x} \right) w=(∂y∂ψ,−∂x∂ψ),且 f ( z ) f(z) f(z) 为 w \boldsymbol{w} w 的复势( φ \varphi φ 为势函数, ψ \psi ψ 为流函数)。
逆命题
设 D D D 为单连通区域, f ( z ) = φ ( x , y ) + i ψ ( x , y ) f(z) = \varphi(x,y) + i\psi(x,y) f(z)=φ(x,y)+iψ(x,y) 为 D D D 内的任意解析函数(满足柯西-黎曼方程)。则由 f ( z ) f(z) f(z) 的导数 f ′ ( z ) = u − i v f'(z) = u - iv f′(z)=u−iv 定义的平面定常向量场 w = ( u ( x , y ) , v ( x , y ) ) \boldsymbol{w} = (u(x,y), v(x,y)) w=(u(x,y),v(x,y))(其中 u = ∂ φ ∂ x = ∂ ψ ∂ y u = \frac{\partial \varphi}{\partial x} = \frac{\partial \psi}{\partial y} u=∂x∂φ=∂y∂ψ、 v = ∂ φ ∂ y = − ∂ ψ ∂ x v = \frac{\partial \varphi}{\partial y} = -\frac{\partial \psi}{\partial x} v=∂y∂φ=−∂x∂ψ),必满足上述“无源、无旋、光滑”条件,且 f ( z ) f(z) f(z) 是该向量场的复势。
2.1 复势应用实例
-
实例 1:复势 f ( z ) = a z f(z) = az f(z)=az(其中 a > 0 a > 0 a>0,为实常数)
-
场向量: f ′ ( z ) ‾ = a \overline{f'(z)} = a f′(z)=a
-
势函数: φ ( x , y ) = a x \varphi(x,y) = ax φ(x,y)=ax,等势线为直线 x = C 2 x = C_2 x=C2(其中 C 2 C_2 C2 为实常数)
-
流函数: ψ ( x , y ) = a y \psi(x,y) = ay ψ(x,y)=ay,流线为直线 y = C 1 y = C_1 y=C1(其中 C 1 C_1 C1 为实常数)
-
物理意义:流体以等速度 a a a 从平面左侧向右侧流动。
-
-
实例 2:复势 f ( z ) = 1 z f(z) = \frac{1}{z} f(z)=z1(其中 z ≠ 0 z \neq 0 z=0)
-
场向量: f ′ ( z ) ‾ = − 1 z 2 \overline{f'(z)} = -\frac{1}{z^2} f′(z)=−z21
-
势函数: φ ( x , y ) = x x 2 + y 2 \varphi(x,y) = \frac{x}{x^2 + y^2} φ(x,y)=x2+y2x,等势线为 x x 2 + y 2 = C \frac{x}{x^2 + y^2} = C x2+y2x=C(等价于 ( x − 1 2 C ) 2 + y 2 = 1 4 C 2 \left(x - \frac{1}{2C}\right)^2 + y^2 = \frac{1}{4C^2} (x−2C1)2+y2=4C21,即与虚轴相切的一族圆)
-
流函数: ψ ( x , y ) = − y x 2 + y 2 \psi(x,y) = -\frac{y}{x^2 + y^2} ψ(x,y)=−x2+y2y,流线为 y x 2 + y 2 = C \frac{y}{x^2 + y^2} = C x2+y2y=C(等价于 x 2 + ( y + 1 2 C ) 2 = 1 4 C 2 x^2 + \left(y + \frac{1}{2C}\right)^2 = \frac{1}{4C^2} x2+(y+2C1)2=4C21,即与实轴相切于原点的一族圆)
-
物理意义:流体从 z = 0 z = 0 z=0 右侧流进,左侧流出, z = 0 z = 0 z=0 可视为极相近的一个源和一个汇的合成。
-
-
实例 3:复势 f ( z ) = ln z f(z) = \ln z f(z)=lnz(其中 z ≠ 0 z \neq 0 z=0)
-
场向量: f ′ ( z ) ‾ = 1 z \overline{f'(z)} = \frac{1}{z} f′(z)=z1
-
势函数: φ ( x , y ) = ln ∣ z ∣ \varphi(x,y) = \ln|z| φ(x,y)=ln∣z∣,等势线为圆 ∣ z ∣ = C |z| = C ∣z∣=C(其中 C C C 为正常数)
-
流函数: ψ ( x , y ) = arg z \psi(x,y) = \arg z ψ(x,y)=argz,流线为直线 arg z = C \arg z = C argz=C(其中 C C C 为实常数)
-
物理意义:流体从 z = 0 z = 0 z=0 向各方向流向无穷远, z = 0 z = 0 z=0 可视为源, z = ∞ z = \infty z=∞ 可视为汇。任意围绕原点的简单闭曲线 γ \gamma γ,单位时间内通过 γ \gamma γ 流向无穷远的流量为 ∫ γ − v d x + u d y = Im [ ∫ γ d z z ] = 2 π \int_{\gamma} -v \, dx + u \, dy = \text{Im}\left[\int_{\gamma} \frac{dz}{z}\right] = 2\pi ∫γ−vdx+udy=Im[∫γzdz]=2π。
-
-
拓展实例:复势 w = − i ln z w = -i\ln z w=−ilnz
-
流线与等势线:恰好是 w = ln z w = \ln z w=lnz 的等势线与流线
-
物理意义:在 z = 0 z = 0 z=0 处存在一个涡旋,单位时间内沿任何围绕原点的简单闭曲线 γ \gamma γ 的环量为 2 π 2\pi 2π。
-
3. 解析函数在平面向量场中的应用
3.1 对流体力学的应用:机翼升力计算
3.1.1 问题建模
当飞机以不超过音速 0.6 0.6 0.6 至 0.8 0.8 0.8 倍的速度飞行时,可将坐标系固定在飞机上,此时飞机静止,空气冲向飞机流动。由于机翼较长,且远离机身和翼端的截面全等、气流情况相同,问题可简化为不可压缩流体的平面稳定流动问题。该流动满足无源、无汇且无旋的特性。
取远离机身和翼端的机翼剖面所在平面为 z z z 平面,剖面边界为简单闭曲线 C C C(流线)。已知 C C C 的形状和无穷远处气流速度 w ∞ w_{\infty} w∞(设为正实数),需通过复势 f ( z ) f(z) f(z) 和环量 Γ \Gamma Γ 计算机翼所受升力。
3.1.2 压力与升力公式推导
对于不可压缩流体的平面稳定流动,任一点的压力 p p p 满足公式:
p = A − ρ 2 ∣ w ∣ 2 p = A - \frac{\rho}{2}|\boldsymbol{w}|^2 p=A−2ρ∣w∣2
其中 A A A 为实常数, ρ \rho ρ 为流体密度, w = f ′ ( z ) ‾ \boldsymbol{w} = \overline{f'(z)} w=f′(z) 为速度向量。
由于 C C C 是流线,压力方向沿法线向内。作用在弧长元素 d s = ∣ d z ∣ ds = |dz| ds=∣dz∣ 上的压力向量模为 p ∣ d z ∣ p|dz| p∣dz∣,辐角为 d z dz dz 的辐角加 π 2 \frac{\pi}{2} 2π,因此压力向量为 p d z ⋅ e i π 2 = A i d z − ρ i 2 ∣ w ∣ 2 d z p \, dz \cdot e^{i\frac{\pi}{2}} = Ai \, dz - \frac{\rho i}{2}|\boldsymbol{w}|^2 \, dz pdz⋅ei2π=Aidz−2ρi∣w∣2dz。
作用在曲线 C C C 上的总压力向量 P P P 为各弧长元素压力向量的向量和:
P = ∫ C p i d z = − ρ i 2 ∫ C ∣ w ∣ 2 d z P = \int_{C} p \, i \, dz = -\frac{\rho i}{2} \int_{C} |\boldsymbol{w}|^2 \, dz P=∫Cpidz=−2ρi∫C∣w∣2dz
设 d z = e i φ d s dz = e^{i\varphi} \, ds dz=eiφds,则 w = ± ∣ w ∣ e i φ \boldsymbol{w} = \pm|\boldsymbol{w}|e^{i\varphi} w=±∣w∣eiφ(符号根据实际流动方向确定),结合 w = f ′ ( z ) ‾ \boldsymbol{w} = \overline{f'(z)} w=f′(z),可推得:
P = − ρ i 2 ∫ C [ f ′ ( z ) ‾ ] 2 d z ‾ P = -\frac{\rho i}{2} \int_{C} \left[\overline{f'(z)}\right]^2 \overline{dz} P=−2ρi∫C[f′(z)]2dz
取共轭复数后:
P ‾ = ρ i 2 ∫ C [ f ′ ( z ) ] 2 d z \overline{P} = \frac{\rho i}{2} \int_{C} \left[f'(z)\right]^2 \, dz P=2ρi∫C[f′(z)]2dz
由于 lim z → ∞ f ′ ( z ) ‾ = w ∞ \lim_{z \to \infty} \overline{f'(z)} = w_{\infty} limz→∞f′(z)=w∞,无穷远点是 f ′ ( z ) f'(z) f′(z) 的可去奇异点,在原点某圆外, f ′ ( z ) f'(z) f′(z) 有罗朗级数展开:
f ′ ( z ) = w ∞ + Γ 2 π i ⋅ 1 z + c − 2 z 2 + ⋯ f'(z) = w_{\infty} + \frac{\Gamma}{2\pi i} \cdot \frac{1}{z} + \frac{c_{-2}}{z^2} + \cdots f′(z)=w∞+2πiΓ⋅z1+z2c−2+⋯
其中 Γ = ∫ C f ′ ( z ) d z \Gamma = \int_{C} f'(z) \, dz Γ=∫Cf′(z)dz 为环量(实数)。
对 [ f ′ ( z ) ] 2 [f'(z)]^2 [f′(z)]2 展开并代入积分,最终可得茹可夫斯基升力公式:
P = − i ρ w ∞ Γ P = -i\rho w_{\infty} \Gamma P=−iρw∞Γ
3.1.3 升力特性
-
升力大小: ∣ P ∣ = ρ w ∞ ∣ Γ ∣ |P| = \rho w_{\infty}|\Gamma| ∣P∣=ρw∞∣Γ∣
-
升力方向:与 w ∞ w_{\infty} w∞ 方向正交;当 Γ > 0 \Gamma > 0 Γ>0 时,指向虚轴下方;当 Γ < 0 \Gamma < 0 Γ<0 时,指向虚轴上方。
-
工程意义:升力大小与机翼截面形状相关,航空工业中需根据升力需求设计翼型,以满足飞行、起飞和降落要求。
3.2 对电学的应用:静电场求解(基于保形映照)
3.2.1 实例 4:两同心金属圆柱间的静电场
设两同心金属圆柱与 z z z 平面的截线为 ∣ z ∣ = r 1 |z| = r_1 ∣z∣=r1 和 ∣ z ∣ = r 2 |z| = r_2 ∣z∣=r2(其中 0 < r 1 < r 2 < + ∞ 0 < r_1 < r_2 < +\infty 0<r1<r2<+∞),两柱间电势差为 2 V 0 2V_0 2V0。
需构造解析函数,使其虚部在 ∣ z ∣ = r 1 |z| = r_1 ∣z∣=r1 上取值 − V 0 -V_0 −V0,在 ∣ z ∣ = r 2 |z| = r_2 ∣z∣=r2 上取值 V 0 V_0 V0。利用多值解析函数 Φ ( z ) = i a ln z + i b \Phi(z) = ia\ln z + ib Φ(z)=ialnz+ib(虚部在 ∣ z ∣ = r |z| = r ∣z∣=r 上为常数),结合边界条件确定 a a a、 b b b,最终得到复势:
Φ ( z ) = i V 0 ln r 2 − ln r 1 [ 2 ln z − ( ln r 2 + ln r 1 ) ] \Phi(z) = \frac{iV_0}{\ln r_2 - \ln r_1}\left[2\ln z - (\ln r_2 + \ln r_1)\right] Φ(z)=lnr2−lnr1iV0[2lnz−(lnr2+lnr1)]
3.2.2 实例 5:两相离平行金属圆柱间的静电场
设两平行金属圆柱较长,与 z z z 平面的截线为圆 C 1 C_1 C1(圆心 a 1 a_1 a1)和 C 2 C_2 C2(圆心 a 2 a_2 a2),电势差为 2 V 0 2V_0 2V0。
求解步骤如下:
-
找到 z 1 z_1 z1、 z 2 z_2 z2 两点( a 1 a 2 a_1a_2 a1a2 联线与圆 C ∗ C^* C∗ 的交点, C ∗ C^* C∗ 以 C 1 C_1 C1、 C 2 C_2 C2 外公切线端点 b 1 b_1 b1、 b 2 b_2 b2 为直径), z 1 z_1 z1、 z 2 z_2 z2 关于 C 1 C_1 C1、 C 2 C_2 C2 均对称。
-
作分式线性函数 w = z − z 1 z − z 2 w = \frac{z - z_1}{z - z_2} w=z−z2z−z1,将 C 1 C_1 C1、 C 2 C_2 C2 映照为 w w w 平面上以 w = 0 w = 0 w=0 为心的两同心圆。
-
结合实例 4 的结果,得到所求复势。
3.2.3 实例 6:两平行金属平板间的静电场
设两金属平板与 z z z 平面垂直,截线为射线 x ≥ a x \geq a x≥a( y = 0 y = 0 y=0)和 x ≤ − a x \leq -a x≤−a( y = 0 y = 0 y=0)(其中 a > 0 a > 0 a>0),端点距离为 2 a 2a 2a,电势差为 2 V 0 2V_0 2V0。
求解步骤如下:
-
作分式线性函数 ζ = z + a z − a \zeta = \frac{z + a}{z - a} ζ=z−az+a,将两射线(视为过 ∞ \infty ∞ 的“圆弧”)映照为 ζ \zeta ζ 平面的正实轴,原区域映照为 ζ \zeta ζ 平面除去正实轴的区域。
-
作函数 ω = ζ \omega = \sqrt{\zeta} ω=ζ,将上述区域映照为上半 ω \omega ω 平面。
-
作分式线性函数 ω 1 = k 1 + ω 1 − ω \omega_1 = k\frac{1 + \omega}{1 - \omega} ω1=k1−ω1+ω(其中 k > 0 k > 0 k>0),保持上半平面映照特性。
-
作映照 $w = \frac{2V_0}{\pi}\ln\omega_1 + $常数,将区域映照为 w w w 平面的带形 − V 0 < Im ( w ) < V 0 -V_0 < \text{Im}(w) < V_0 −V0<Im(w)<V0,得到复势。
数学实验二:MATLAB 在复变函数与积分变换的应用
一、基础运算实验
实验 0:复数的运算
0.1 计算任务
-
复数运算:
1 i − 3 i 1 − i , ( 3 + 4 i ) ( 2 − 5 i ) 2 i \frac{1}{i} - \frac{3i}{1 - i}, \quad \frac{(3 + 4i)(2 - 5i)}{2i} i1−1−i3i,2i(3+4i)(2−5i) -
复数特性分析(实部、虚部、共轭复数、模、辐角):
1 3 + 2 i , 1 − i − i , 2 i , i 8 − 4 i 21 + i \frac{1}{3 + 2i}, \quad 1 - i - i, \quad 2i, \quad i^8 - 4i^{21} + i 3+2i1,1−i−i,2i,i8−4i21+i
0.2 MATLAB 实现与结果
在 MATLAB 命令窗口输入以下代码:
% 定义所有待计算复数,存入复矩阵 a
a = [1/(3+2i), 1/i - 3i/(1-i), (3+4i)*(2-5i)/(2i), i^8 - 4*i^21 + i];
% 分别计算实部、虚部、共轭复数、模、辐角
real_a = real(a); % 实部
imag_a = imag(a); % 虚部
conj_a = conj(a); % 共轭复数
abs_a = abs(a); % 模
angle_a = angle(a); % 辐角(弧度制)
输出结果整理:
| 复数表达式 | 计算结果 | 实部 | 虚部 | 共轭复数 | 模 | 辐角(弧度) |
|---|---|---|---|---|---|---|
| 1 3 + 2 i \frac{1}{3 + 2i} 3+2i1 | 0.2308 − 0.1538 i 0.2308 - 0.1538i 0.2308−0.1538i | 0.2308 0.2308 0.2308 | − 0.1538 -0.1538 −0.1538 | 0.2308 + 0.1538 i 0.2308 + 0.1538i 0.2308+0.1538i | 0.2774 0.2774 0.2774 | − 0.5880 -0.5880 −0.5880 |
| 1 i − 3 i 1 − i \frac{1}{i} - \frac{3i}{1 - i} i1−1−i3i | 1.5000 − 2.5000 i 1.5000 - 2.5000i 1.5000−2.5000i | 1.5000 1.5000 1.5000 | − 2.5000 -2.5000 −2.5000 | 1.5000 + 2.5000 i 1.5000 + 2.5000i 1.5000+2.5000i | 2.9155 2.9155 2.9155 | − 1.0304 -1.0304 −1.0304 |
| ( 3 + 4 i ) ( 2 − 5 i ) 2 i \frac{(3 + 4i)(2 - 5i)}{2i} 2i(3+4i)(2−5i) | − 3.5000 − 13.0000 i -3.5000 - 13.0000i −3.5000−13.0000i | − 3.5000 -3.5000 −3.5000 | − 13.0000 -13.0000 −13.0000 | − 3.5000 + 13.0000 i -3.5000 + 13.0000i −3.5000+13.0000i | 13.4629 13.4629 13.4629 | − 1.8338 -1.8338 −1.8338 |
| i 8 − 4 i 21 + i i^8 - 4i^{21} + i i8−4i21+i | 1.0000 − 3.0000 i 1.0000 - 3.0000i 1.0000−3.0000i | 1.0000 1.0000 1.0000 | − 3.0000 -3.0000 −3.0000 | 1.0000 + 3.0000 i 1.0000 + 3.0000i 1.0000+3.0000i | 3.1623 3.1623 3.1623 | − 1.2490 -1.2490 −1.2490 |
0.3 补充说明
MATLAB 支持复数的乘除、平方根、幂、指数、对数、三角函数等运算,可通过 sqrt()、^、exp()、log()、sin() 等函数直接实现,语法与实数运算一致。
实验 1:微分的计算
1.1 计算任务
设函数 f ( z ) = e z ( 1 + z ) sin z f(z) = \frac{e^z}{(1 + z)\sin z} f(z)=(1+z)sinzez,求其导数 f ′ ( z ) f'(z) f′(z)。
1.2 MATLAB 实现与结果
syms z; % 定义符号变量 z
% 定义函数 f(z)
f = exp(z) / ((1 + z) * sin(z));
% 求导并化简
f_prime = diff(f); % 求一阶导数
pretty(f_prime); % 美化输出格式
输出结果:
f ′ ( z ) = e z ( 1 + z ) sin z − e z ( 1 + z ) 2 sin z − e z cos z ( 1 + z ) sin 2 z f'(z) = \frac{e^z}{(1 + z)\sin z} - \frac{e^z}{(1 + z)^2\sin z} - \frac{e^z\cos z}{(1 + z)\sin^2 z} f′(z)=(1+z)sinzez−(1+z)2sinzez−(1+z)sin2zezcosz
实验 2:积分的计算
2.1 计算任务
计算定积分 ∫ a b 3 z + 2 z − 1 d z \int_{a}^{b} \frac{3z + 2}{z - 1} dz ∫abz−13z+2dz(其中 a a a、 b b b 为积分上下限,符号变量)。
2.2 MATLAB 实现与结果
syms z a b; % 定义符号变量 z、a、b
% 定义被积函数
f = (3*z + 2)/(z - 1);
% 计算定积分
integral_f = int(f, z, a, b);
disp(integral_f);
输出结果:
∫ a b 3 z + 2 z − 1 d z = 3 b + 5 ln ( b − 1 ) − 3 a − 5 ln ( a − 1 ) \int_{a}^{b} \frac{3z + 2}{z - 1} dz = 3b + 5\ln(b - 1) - 3a - 5\ln(a - 1) ∫abz−13z+2dz=3b+5ln(b−1)−3a−5ln(a−1)
实验 3:函数的泰勒级数展开
3.1 展开任务
将函数 f ( z ) = tan ( z ) f(z) = \tan(z) f(z)=tan(z) 在 z 0 = π 4 z_0 = \frac{\pi}{4} z0=4π 处展开为泰勒级数(默认展开至 5 阶)。
3.2 MATLAB 实现与结果
syms z; % 定义符号变量 z
% 在 z0 = pi/4 处展开泰勒级数
taylor_f = taylor(tan(z), z, 'ExpansionPoint', pi/4, 'Order', 6);
disp(taylor_f);
输出结果(整理后):
tan ( z ) = 1 + 2 ( z − π 4 ) + 2 ( z − π 4 ) 2 + 8 3 ( z − π 4 ) 3 + 10 3 ( z − π 4 ) 4 + 64 15 ( z − π 4 ) 5 \tan(z) = 1 + 2\left(z - \frac{\pi}{4}\right) + 2\left(z - \frac{\pi}{4}\right)^2 + \frac{8}{3}\left(z - \frac{\pi}{4}\right)^3 + \frac{10}{3}\left(z - \frac{\pi}{4}\right)^4 + \frac{64}{15}\left(z - \frac{\pi}{4}\right)^5 tan(z)=1+2(z−4π)+2(z−4π)2+38(z−4π)3+310(z−4π)4+1564(z−4π)5
实验 4:留数的计算
4.1 计算任务
求函数 f ( z ) = z ( 2 z + 1 ) ( z − 2 ) f(z) = \frac{z}{(2z + 1)(z - 2)} f(z)=(2z+1)(z−2)z 在其奇点处的留数。
4.2 MATLAB 实现原理
MATLAB 中 residue 函数用于计算有理函数的留数,语法格式:[r, p, k] = residue(B, A),其中:
-
B B B:分子多项式按降幂排列的系数矩阵
-
A A A:分母多项式按降幂排列的系数矩阵
-
r r r:留数向量(与奇点一一对应)
-
p p p:奇点向量
-
k k k:多项式部分系数(本题无多项式部分,故 k = [ ] k = [] k=[])
4.3 代码与结果
% 分子多项式:z → 系数矩阵 [1, 0](对应 z^1 + 0*z^0)
B = [1, 0];
% 分母多项式:(2z+1)(z-2) = 2z² - 3z - 2 → 系数矩阵 [2, -3, -2]
A = [2, -3, -2];
% 计算留数、奇点
[r, p, k] = residue(B, A);
disp(['留数:', num2str(r)]);
disp(['对应奇点:', num2str(p)]);
输出结果:
-
奇点: z = 2.0000 z = 2.0000 z=2.0000、 z = − 0.5000 z = -0.5000 z=−0.5000
-
对应留数: Res [ f ( z ) , 2 ] = 0.4 \text{Res}[f(z), 2] = 0.4 Res[f(z),2]=0.4、 Res [ f ( z ) , − 0.5 ] = 0.1 \text{Res}[f(z), -0.5] = 0.1 Res[f(z),−0.5]=0.1
实验 5:保形映射(分式线性函数)
5.1 映射任务
求将单位圆 ∣ z ∣ ≤ 1 |z| \leq 1 ∣z∣≤1 映照成上半平面 Im ( w ) ≥ 0 \text{Im}(w) \geq 0 Im(w)≥0 的分式线性函数 w = a z + b c z + d w = \frac{az + b}{cz + d} w=cz+daz+b。
5.2 映射原理
分式线性函数满足“三点确定映射”:在单位圆上取三点 z 1 , z 2 , z 3 z_1, z_2, z_3 z1,z2,z3,在上半平面的实轴(边界)取三点 w 1 , w 2 , w 3 w_1, w_2, w_3 w1,w2,w3(取 w 3 = ∞ w_3 = \infty w3=∞ 简化计算),由交叉比不变性得映射公式:
w − w 1 w − w 2 = z − z 1 z − z 2 ⋅ z 3 − z 1 z 3 − z 2 \frac{w - w_1}{w - w_2} = \frac{z - z_1}{z - z_2} \cdot \frac{z_3 - z_1}{z_3 - z_2} w−w2w−w1=z−z2z−z1⋅z3−z2z3−z1
5.3 MATLAB 实现与结果
选取 z 1 = i z_1 = i z1=i、 z 2 = − 1 z_2 = -1 z2=−1、 z 3 = 1 z_3 = 1 z3=1,对应 w 1 = 0 w_1 = 0 w1=0、 w 2 = 1 w_2 = 1 w2=1、 w 3 = ∞ w_3 = \infty w3=∞,代码如下:
syms z1 z2 z3 w1 w2 w3 w z;
% 定义选取的对应点
z1 = i; z2 = -1; z3 = 1;
w1 = 0; w2 = 1; w3 = inf;
% 计算交叉比系数 A
A = (z3 - z1)/(z3 - z2);
% 计算分式线性函数系数 a、b、c、d
a = A*w1 - w2;
b = z1*w2 - A*w1*z2;
c = A - 1;
d = z1 - A*z2;
% 构造映射函数
w = (a*z + b)/(c*z + d);
disp('分式线性映射函数:');
pretty(w);
输出结果:
w = − z + i ( − 1 2 − 1 2 i ) z + 1 2 + 1 2 i w = \frac{-z + i}{(-\frac{1}{2} - \frac{1}{2}i)z + \frac{1}{2} + \frac{1}{2}i} w=(−21−21i)z+21+21i−z+i
验证:当 z = 0 z = 0 z=0 时, w = 1.0000 + 1.0000 i w = 1.0000 + 1.0000i w=1.0000+1.0000i(位于上半平面,符合映射要求)。
实验 6:傅里叶变换
6.1 变换任务
求函数 f ( t ) = e − t 2 f(t) = e^{-t^2} f(t)=e−t2 的傅里叶变换(定义: F [ f ( t ) ] = ∫ − ∞ + ∞ f ( t ) e − i w t d t \mathcal{F}[f(t)] = \int_{-\infty}^{+\infty} f(t)e^{-iwt} dt F[f(t)]=∫−∞+∞f(t)e−iwtdt)。
6.2 MATLAB 实现与结果
syms t w; % 定义符号变量 t(时域)、w(频域)
% 计算傅里叶变换
F_w = fourier(exp(-t^2), t, w);
disp('傅里叶变换结果:');
disp(F_w);
输出结果:
F [ e − t 2 ] = π e − w 2 4 \mathcal{F}[e^{-t^2}] = \sqrt{\pi}e^{-\frac{w^2}{4}} F[e−t2]=πe−4w2
实验 7:傅里叶逆变换
7.1 逆变换任务
求函数 F ( w ) = e − i w F(w) = e^{-iw} F(w)=e−iw 的傅里叶逆变换(定义: F − 1 [ F ( w ) ] = 1 2 π ∫ − ∞ + ∞ F ( w ) e i w t d w \mathcal{F}^{-1}[F(w)] = \frac{1}{2\pi}\int_{-\infty}^{+\infty} F(w)e^{iwt} dw F−1[F(w)]=2π1∫−∞+∞F(w)eiwtdw)。
7.2 MATLAB 实现与结果
syms w t; % 定义符号变量 w(频域)、t(时域)
% 计算傅里叶逆变换
f_t = ifourier(exp(-1i*w), w, t);
disp('傅里叶逆变换结果:');
disp(f_t);
输出结果:
F − 1 [ e − i w ] = δ ( t − 1 ) \mathcal{F}^{-1}[e^{-iw}] = \delta(t - 1) F−1[e−iw]=δ(t−1)
其中 δ ( ⋅ ) \delta(\cdot) δ(⋅) 为狄拉克函数(Dirac 函数)。
实验 8:拉普拉斯变换
8.1 变换任务
求函数 f ( t ) = t 6 f(t) = t^6 f(t)=t6 的拉普拉斯变换(定义: L [ f ( t ) ] = ∫ 0 + ∞ f ( t ) e − s t d t \mathcal{L}[f(t)] = \int_{0}^{+\infty} f(t)e^{-st} dt L[f(t)]=∫0+∞f(t)e−stdt)。
8.2 MATLAB 实现与结果
syms t s; % 定义符号变量 t(时域)、s(复频域)
% 计算拉普拉斯变换
F_s = laplace(t^6, t, s);
disp('拉普拉斯变换结果:');
disp(F_s);
输出结果:
L [ t 6 ] = 720 s 7 \mathcal{L}[t^6] = \frac{720}{s^7} L[t6]=s7720
(注: 6 ! = 720 6! = 720 6!=720,符合拉普拉斯变换公式 L [ t n ] = n ! s n + 1 \mathcal{L}[t^n] = \frac{n!}{s^{n+1}} L[tn]=sn+1n!)
实验 9:拉普拉斯逆变换
9.1 逆变换任务
求函数 F ( s ) = s s 2 + a 2 F(s) = \frac{s}{s^2 + a^2} F(s)=s2+a2s 的拉普拉斯逆变换(其中 a a a 为常数)。
9.2 MATLAB 实现与结果
syms a s t; % 定义符号变量 a(常数)、s(复频域)、t(时域)
% 计算拉普拉斯逆变换
f_t = ilaplace(s/(s^2 + a^2), s, t);
disp('拉普拉斯逆变换结果:');
disp(f_t);
输出结果:
L − 1 [ s s 2 + a 2 ] = cos ( a t ) \mathcal{L}^{-1}\left[\frac{s}{s^2 + a^2}\right] = \cos(at) L−1[s2+a2s]=cos(at)
二、数学软件介绍
2.1 MATLAB 语言
2.1.1 简介
MATLAB(MATrix LABoratory,矩阵实验室)是美国 The MathWorks 公司开发的高度集成计算机语言,起源于矩阵运算,现具备科学运算、程序设计、图形可视化、跨语言接口等强大功能,在科学界(尤其自动控制领域)应用广泛。2002 年 9 月推出 MATLAB 7.0 正式版(Release 13)。
2.1.2 发展历程
-
1980 年前后,Cleve Moler 教授为简化线性代数教学,基于 Fortran 语言开发免费版本 MATLAB,依赖 EISPACK 和 LINPACK 数值代数程序包。
-
1984 年,The MathWorks 公司成立,推出商业版 MATLAB,改用 C 语言改写,新增图形处理、符号运算等功能。
-
1992 年推出 MATLAB 4.0,1993 年推出微机版,适配 Windows 系统;后续 5.0、6.0、7.0 版本逐步完善数据结构(单元数组、结构体等)、核心算法、界面设计和外部接口。
-
交互式编程(无需编译链接)、强大的数学运算与绘图能力、丰富的专业工具箱,能将用户从底层编程中解放,提升科研与工程效率。
2.1.3 应用场景
已成为国际流行的科学与工程计算工具,广泛应用于自动控制、数值分析、信号处理、图像处理、机器学习等领域,是高校和研究机构的教学与科研软件。
2.2 Mathematica 语言
2.2.1 简介
Mathematica 是美国 Wolfram 公司开发的著名数学软件,由 C 语言开发,具备跨平台移植性,以突出的符号运算和高质量图形处理为主要优势,面向具有数学基础但计算机知识有限的用户,在科研单位和高校应用广泛。
2.2.2 功能特点
- 符号运算:支持微积分(极限、导数、积分、级数展开)、微分方程求解、线性代数(矩阵运算、特征值)等精确运算。
- 数值计算:可实现任意精度的整数、有理数、实数和复数计算。
- 图形绘制:支持二维平面图形与三维立体图形的快速绘制,图形质量高。
- 扩展功能:提供拉普拉斯变换等专用软件包,支持命令式操作,无需复杂编程。
2.2.3 发展历程
- 1988 年发布 1.0 版,以统一处理科技计算全场景为目标,被视为现代科技计算的开端。
- 1991 年、1997 年、1999 年分别推出 2.0、3.0、4.0 版本,持续扩充功能与适用范围。
2.2.4 应用场景
覆盖工程、计算机科学、生物医学、金融、数理化和社会科学等领域,是“数学模型”“数学实验”课程的常用工具,全球用户超 100 万。尤其在科学院所和高等院校广为流行。Mathematica 的用户大部分是科技人员。但Mathematica也被大量地用于教育,在英国和日本都有大学将 Mathematica 作为理工科学生必修的计算机课程之一。它也是“数学模型”和“数学实验”课程最好的工具之一。随着各种学生版的发布,Mathematica 也已成为全世界各种不同专业学生的重要工具。
via:
- 数学实验一:解析函数对平面向量场的应用
https://netedu.xauat.edu.cn/jpkc/netclass/jpkc/fbhs/dir/other/数学实验一.pdf - 数学实验二:MATLAB 在复变函数与积分变换的应用
https://netedu.xauat.edu.cn/jpkc/netclass/jpkc/fbhs/dir/other/数学实验二.pdf
715

被折叠的 条评论
为什么被折叠?



