SS-CA-APPLE:什么是解析函数?

数学原理
目 录
Contents
导数与微分
解析函数
解析的充要条件
应用举例
解析
信号与系统
解析信号
作业练习
可微
证明题
绘制解析函数图像

§01 学原理


1.1 导数与微分

1.1.1 导数定义

w = f ( z ) w = f\left( z \right) w=f(z) 是定义在区域 D D D 上的函数。 z 0 z_0 z0 D D D 中的一点,点 z 0 + Δ z z_0 + \Delta z z0+Δz 也在区域 D D D 中。如果极限 lim ⁡ Δ z → 0 f ( z 0 + Δ z ) − f ( z 0 ) Δ z \mathop {\lim }\limits_{\Delta z \to 0} { {f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)} \over {\Delta z}} Δz0limΔzf(z0+Δz)f(z0) 存在,那么称 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 可导,并定义 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 的导数为 f ′ ( z 0 ) = d w d z ∣ z = z 0 = lim ⁡ Δ z → 0 f ( z 0 + Δ z ) − f ( z 0 ) Δ z f'\left( {z_0 } \right) = \left. { { {dw} \over {dz}}} \right|_{z = z_0 } = \mathop {\lim }\limits_{\Delta z \to 0} { {f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)} \over {\Delta z}} f(z0)=dzdwz=z0=Δz0limΔzf(z0+Δz)f(z0)

极限 lim ⁡ Δ z → 0 f ( z 0 + Δ z ) − f ( z 0 ) Δ z \mathop {\lim }\limits_{\Delta z \to 0} { {f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)} \over {\Delta z}} Δz0limΔzf(z0+Δz)f(z0) 存在是指对于任意给定的 ε > 0 \varepsilon > 0 ε>0 ,相应有一个 δ ( ε ) > 0 \delta \left( \varepsilon \right) > 0 δ(ε)>0 使得当 0 < ∣ Δ z ∣ < δ 0 < \left| {\Delta z} \right| < \delta 0<Δz<δ 时,有 ∣ f ( z 0 + Δ z ) − f ( z 0 ) Δ z − f ′ ( z 0 ) ∣ < ε \left| { { {f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)} \over {\Delta z}} - f'\left( {z_0 } \right)} \right| < \varepsilon Δzf(z0+Δz)f(z0)f(z0)<ε

(1)重要说明

  特别需要指出, z 0 + Δ z → z 0 z_0 + \Delta z \to z_0 z0+Δzz0 的方式是任意的。无论 Δ z \Delta z Δz 以何种方式趋向于0,都不会影响 f ( z 0 + Δ z ) − f ( z 0 ) Δ z { {f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)} \over {\Delta z}} Δzf(z0+Δz)f(z0) 的取值。这是一个比实变函数极限要求高得多的限制。

  如果 f ( z ) f\left( z \right) f(z) 在区域 D D D 内处处可导,则称 f ( z ) f\left( z \right) f(z) D D D 内可导。

(2)可导与连续

  • 函数 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 处可导,则必然在 z 0 z_0 z0 处连续;
  • 反之,函数 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 连续,而未必在 z 0 z_0 z0 处可导;

1.1.2 求导法则

  可以将一元实变函数的求导法则推广到复变函数中类,证明方法也是相同的。

  (1) ( c ) ′ = 0 \left( c \right)^\prime = 0 (c)=0 ,其中 c c c 是复常数;
  (2) ( z n ) ′ = n z n − 1 \left( {z^n } \right)^\prime = nz^{n - 1} (zn)=nzn1 ,其中 n n n 是正整数;
  (3) [ f ( z ) ± g ( z ) ] ′ = f ′ ( z ) ± g ′ ( z ) \left[ {f\left( z \right) \pm g\left( z \right)} \right]^\prime = f'\left( z \right) \pm g'\left( z \right) [f(z)±g(z)]=f(z)±g(z)
  (4) g ( z ) ≠ 0 g\left( z \right) \ne 0 g(z)=0 [ f ( z ) g ( z ) ] ′ = 1 g 2 ( z ) [ g ( z ) f ′ ( z ) − f ( z ) g ′ ( z ) ] \left[ { { {f\left( z \right)} \over {g\left( z \right)}}} \right]^\prime {\rm{ = }}{1 \over {g^2 \left( z \right)}}\left[ {g\left( z \right)f'\left( z \right) - f\left( z \right)g'\left( z \right)} \right] [g(z)f(z)]=g2(z)1[g(z)f(z)f(z)g(z)]
  (5) { f [ g ( z ) ] } ′ = f ′ ( w ) g ′ ( z ) \left\{ {f\left[ {g\left( z \right)} \right]} \right\}^\prime = f'\left( w \right)g'\left( z \right) { f[g(z)]}=f(w)g(z) ,其中 w = g ( z ) w = g\left( z \right) w=g(z)
  (6) 如果 w = f ( z ) w = f\left( z \right) w=f(z) z = ϕ ( w ) z = \phi \left( w \right) z=ϕ(w) 是两个互为反函数的单值函数,且 ϕ ′ ( w ) ≠ 0 \phi '\left( w \right) \ne 0 ϕ(w)=0 ,那么 f ′ ( z ) = 1 ϕ ′ ( w ) f'\left( z \right) = {1 \over {\phi '\left( w \right)}} f(z)=ϕ(w)1

比如 w = e z w = e^z w=ez z = ln ⁡ ( w ) z = \ln \left( w \right) z=ln(w) 是两个互为反函数, z ′ ( w ) = 1 [ e z ] ′ = 1 e z = 1 e ln ⁡ ( w ) = 1 w z'\left( w \right) = {1 \over {\left[ {e^z } \right]^\prime }} = {1 \over {e^z }} = {1 \over {e^{\ln \left( w \right)} }} = {1 \over w} z(w)=[ez]1=ez1=eln(w)1=w1

1.1.3 微分定义

  如果 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 可导,那么 Δ w = f ( z 0 + Δ z ) − f ( z 0 ) = f ′ ( z 0 ) Δ z + ρ ( Δ z ) Δ z \Delta w = f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right) = f'\left( {z_0 } \right)\Delta z + \rho \left( {\Delta z} \right)\Delta z Δw=f(z0+Δz)f(z0)=f(z0)Δz+ρ(Δz)Δz

其中 lim ⁡ Δ z → 0 ρ ( Δ z ) = 0 \mathop {\lim }\limits_{\Delta z \to 0} \rho \left( {\Delta z} \right) = 0 Δz0limρ(Δz)=0 ,所以 ∣ ρ ( Δ z ) ⋅ Δ z ∣ \left| {\rho \left( {\Delta z} \right) \cdot \Delta z} \right| ρ(Δz)Δz ∣ Δ z ∣ \left| {\Delta z} \right| Δz 的高阶无穷小量。此时,称 f ′ ( z 0 ) Δ z f'\left( {z_0 } \right)\Delta z f(z0)Δz 为函数 w = f ( z ) w = f\left( z \right) w=f(z) 在点 z 0 z_0 z0 的微分。

如果函数在 z 0 z_0 z0 的微分存在,则称函数 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 处可微,并记 d w = f ′ ( z 0 ) d z ,    f ′ ( z 0 ) = d w d z ∣ z = z 0 dw = f'\left( {z_0 } \right)dz,\,\,f'\left( {z_0 } \right) = \left. { { {dw} \over {dz}}} \right|_{z = z_0 } dw=f(z0)dz,f(z0)=dzdwz=z0

1.2 解析函数

1.2.1 解析函数定义

  如果函数 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 以及 z 0 z_0 z0 的邻域内处处可导,那么称 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 解析。如果 f ( z ) f\left( z \right) f(z) D D D 中每一点都解析,则称 f ( z ) f\left( z \right) f(z) D D D 内解析,或称 f ( z ) f\left( z \right) f(z) D D D 内的一个解析函数(全纯函数[Holomorphic function]、正则函数)。

  • 奇点:如果 f ( z ) f\left( z \right) f(z) z 0 z_0 z0 不解析,称 z 0 z_0 z0 f ( z ) f\left( z \right) f(z) 的奇点。

函数 f ( z ) f\left( z \right) f(z) 在区域 D D D 内解析与可导是等价的;但在某一点 z 0 z_0 z0 处可导与解析是不等价的。 在某一点解析便可导;但在某一点可导并不意味解析。

1.2.2 四则运算与复合

  (1) 两个在 D D D 内解析的函数 f ( z ) , g ( z ) f\left( z \right),g\left( z \right) f(z),g(z) 之间的和、差、乘积、商(除去分母为0的点)在 D D D 内都解析;
  (2) 函数 h = g ( z ) h = g\left( z \right) h=g(z) z z z 平面区域 D D D 内解析,函数 w = f ( h ) w = f\left( h \right) w=f(h) h h h 平面区域 G G G 解析。对于 D D D 内的每一点 z z z ,函数 g ( z ) g\left( z \right) g(z) 对应值 h h h 都属于 G G G ,那么复函数 w = f [ g ( z ) ] w = f\left[ {g\left( z \right)} \right] w=f[g(z)] D D D 内解析。

  因此,所有的多项式以及有理分式(在分母不为零的点)在复平面处处解析。分母为0的点是有理分式的奇点。

1.3 解析的充要条件

1.3.1 可导的必要条件

  函数 f ( z ) = u ( x , y ) + i v ( x , y ) f\left( z \right) = u\left( {x,y} \right) + iv\left( {x,y} \right) f(z)=u(x,y)+iv(x,y) 在区域 D D D 内一点 z = x + i y z = x + iy z=x+iy 的可导的充分必要条件 ∂ u ∂ x = ∂ v ∂ y ,    ∂ u ∂ y = − ∂ v ∂ x { {\partial u} \over {\partial x}} = { {\partial v} \over {\partial y}},\,\,{ {\partial u} \over {\partial y}} = - { {\partial v} \over {\partial x}} xu=yv,yu=xv 该方程称为柯西-黎曼(Cauchy-Reimann)方程。

  证明: 【略】

  满足柯西-黎曼方程也是复变函数 f ( z ) = u ( x , y ) + i v ( x , y ) f\left( z \right) = u\left( {x,y} \right) + iv\left( {x,y} \right) f(z)=u(x,y)+iv(x,y) 解析的充要条件。并且 f ′ ( z ) = ∂ u ∂ x + i ∂ v ∂ x = 1 i ∂ u ∂ y + ∂ v ∂ y f'\left( z \right) = { {\partial u} \over {\partial x}} + i{ {\partial v} \over {\partial x}} = {1 \over i}{ {\partial u} \over {\partial y}} + { {\partial v} \over {\partial y}} f(z)=xu+ixv=i1yu+yv

§02 用举例


2.1 判断函数可导、解析

2.1.1 判断函数是否可导、可微

  判断下列函数在何处可导、在何处解析。 ( 1 )     w = z ˉ ;      ( 2 )     f ( z ) = e x ( cos ⁡ y + i sin ⁡ y ) ;      ( 3 )     w = z R e ( z ) \left( 1 \right)\,\,\,w = \bar z;\,\,\,\,\left( 2 \right)\,\,\,f\left( z \right) = e^x \left( {\cos y + i\sin y} \right);\,\,\,\,\left( 3 \right)\,\,\,w = z{\mathop{\rm Re}\nolimits} \left( z \right) (1)w=zˉ;(2)f(z)=ex(cosy+isiny);(3)w=zRe(z)

  求解:
  (1) 因为 u = x , v = − y u = x,v = - y u=x,v=y ,所以 ∂ u ∂ x = 1 ,      ∂ u ∂ y = 0 ,      ∂ v ∂ x = 0 ,      ∂ v ∂ y = − 1 { {\partial u} \over {\partial x}} = 1,\,\,\,\,{ {\partial u} \over {\partial y}} = 0,\,\,\,\,{ {\partial v} \over {\partial x}} = 0,\,\,\,\,{ {\partial v} \over {\partial y}} = - 1 xu=1,yu=0,xv=0,yv=1 并不满足Cauchy-Reimann方程,所以该函数处处不可导、不解析。

▲ 图2.1.1  函数的幅度图像

▲ 图2.1.1 函数的幅度图像

  (2) 因为 u = e x cos ⁡ y , v = e x sin ⁡ y u = e^x \cos y,v = e^x \sin y u=excosy,v=exsiny ,所以 ∂ u ∂ x = e x cos ⁡ y ,    ∂ u ∂ y = − e x sin ⁡ y ,    ∂ v ∂ x = e x sin ⁡ y ,    ∂ v ∂ y = e x cos ⁡ y { {\partial u} \over {\partial x}} = e^x \cos y,\,\,{ {\partial u} \over {\partial y}} = - e^x \sin y,\,\,{ {\partial v} \over {\partial x}} = e^x \sin y,\,\,{ {\partial v} \over {\partial y}} = e^x \cos y xu=excosy,yu=exsiny,xv=exsiny,yv=excosy 满足Cauchy-Reimann方程,所以该函数在复平面上处处可导、可微;并且 f ′ ( z ) = e x ( cos ⁡ y + i sin ⁡ y ) = f ( z ) f'\left( z \right) = e^x \left( {\cos y + i\sin y} \right) = f\left( z \right) f(z)=ex(cosy+isiny)=f(z)

▲ 图2.1.2  函数的幅值图像

▲ 图2.1.2 函数的幅值图像

  (3) w = z R e ( z ) = x 2 + i x y w = z{\mathop{\rm Re}\nolimits} \left( z \right) = x^2 + ixy w=zRe(z)=x2+ixy 。对应 u = x 2 , v = x y u = x^2 ,v = xy u=x2,v=xy ,那么 ∂ u ∂ x = 2 x ,    ∂ u ∂ y = 0 ,    ∂ v ∂ x = y ,     ∂ v ∂ y = x { {\partial u} \over {\partial x}} = 2x,\,\,{ {\partial u} \over {\partial y}} = 0,\,\,{ {\partial v} \over {\partial x}} = y,\,\,\,{ {\partial v} \over {\partial y}} = x xu=2x,yu=0,xv=y,yv=x 可以看到这四个偏导数,只有在 x = y = 0 x = y = 0 x=y=0 时满足Cauch-Reimann方程,所以该函数仅在 z = 0 z = 0 z=0 处可导,但处处不可微。

▲ 图2.1.3  函数的幅值图像

▲ 图2.1.3 函数的幅值图像

2.1.2 函数解析的条件

  设函数 f ( z ) = x 2 + a x y + b y 2 + i ( c x 2 + d x y + y 2 ) f\left( z \right) = x^2 + axy + by^2 + i\left( {cx^2 + dxy + y^2 } \right) f(z)=x2+axy+by2+i(cx2+dxy+y2) 问常数 a , b , c , d a,b,c,d a,b,c,d 取何值时, f ( z ) f\left( z \right) f(z) 在复平面上处处解析?

  求解:由于 ∂ u ∂ x = 2 x + a y ,    ∂ u ∂ y = a x + 2 b y ,    ∂ v ∂ x = 2 c x + d y ,    ∂ v ∂ x = d x + 2 y { {\partial u} \over {\partial x}} = 2x + ay,\,\,{ {\partial u} \over {\partial y}} = ax + 2by,\,\,{ {\partial v} \over {\partial x}} = 2cx + dy,\,\,{ {\partial v} \over {\partial x}} = dx + 2y xu=2x+ay,yu=ax+2by,xv=2cx+dy,xv=dx+2y 所以为了满足柯西-黎曼方程,需要 2 x + a y = d x + 2 y , 2 c x + d y = − a x − 2 b y 2x + ay = dx + 2y,2cx + dy = - ax - 2by 2x+ay=dx+2y,2cx+dy=ax2by 因此当 a = 2 , b = − 1 , c = − 1 , d = 2 a = 2,b = - 1,c = - 1,d = 2 a=2,b=1,c=1,d=2 时,函数在复平面上处处解析。

§03 号与系统


  信号与系统中,属于复变函数的信号往往都是经过变换(Laplace变换,z变换)的信号。对于常见到的典型信号(指数、正弦等)的变换大都属于有理多项式函数,或者伴随有指数函数。在数学上这些都属于处处可导、解析的函数。

3.1 解析信号

  在信号与系统中,解析信号Analytic signal )是指没有负频率分量的复值信号。这类信号的实部和虚部信号之间满足希尔伯特变换( Hiltbert Transform )。信号 f ( t ) f\left( t \right) f(t) 对应的解析信号为 f a ( t ) = f ( t ) + j [ 1 π t ∗ f ( t ) ] = f ( t ) + j ⋅ f ^ ( t ) f_a \left( t \right) = f\left( t \right) + j\left[ { {1 \over {\pi t}} * f\left( t \right)} \right] = f\left( t \right) + j \cdot \hat f\left( t \right) fa(t)=f(t)+j[πt1f(t)]=f(t)+jf^(t)

  解析信号的定义实际上与前面关于复变函数的解析定义没有太多的关系。下面仅仅为了补充些知识,将解析信号的相关内容进行介绍。

3.1.1 希尔伯特变换

  对信号 f ( t ) f\left( t \right) f(t) 的希尔伯特变换可以看成与信号 h ( t ) = 1 π t h\left( t \right) = {1 \over {\pi t}} h(t)=πt1 (被称为 Cauchy Kernel )的卷积过程。

H [ f ( t ) ] = 1 π ∫ − ∞ + ∞ f ( τ ) t − τ d τ = − 1 π lim ⁡ ε → 0 ∫ ε + ∞ f ( t + τ ) − f ( t − τ ) τ d τ H\left[ {f\left( t \right)} \right] = {1 \over \pi }\int_{ - \infty }^{ + \infty } { { {f\left( \tau \right)} \over {t - \tau }}d\tau } = - {1 \over \pi }\mathop {\lim }\limits_{\varepsilon \to 0} \int_\varepsilon ^{ + \infty } { { {f\left( {t + \tau } \right) - f\left( {t - \tau } \right)} \over \tau }d\tau } H[f(t)]=π1+tτf(τ)dτ=π1ε0limε+τf(t+τ)f(tτ)dτ
  根据傅里叶变换卷积定理,可以知道信号的希尔伯特变换的频谱是原来信号频谱乘以 − i s g n ( ω ) - i{\mathop{\rm sgn}} \left( \omega \right) isgn(ω) F { H [ f ( t ) ] } = − i s g n ( ω ) ⋅ F ( ω ) F\left\{ {H\left[ {f\left( t \right)} \right]} \right\} = - i{\mathop{\rm sgn}} \left( \omega \right) \cdot F\left( \omega \right) F{ H[f(t)]}=isgn(ω)F(ω)

  在信号与系统分析中,希尔伯特变换会出现在两个部分。

(1)单边带信号调制

  使用移项法获得信号单边带调制过程中,一路是将信号直接幅度调制在载波上,另外一路进行希尔伯特变换之后,然后调制在正交载波信号上。最终将两路调制信号叠加在一起便可以获得信号的单边带调制信号。

▲ 图3.1.1 移项法获得信号单边带调制结果

▲ 图3.1.1 移项法获得信号单边带调制结果

(2)系统函数因果特性

  对于连续时间线性时不变系统,根据系统函数判断系统的因果特性相对比较麻烦。存在几个因果系统的必要条件。其中一个是系统函数的实部和虚部之间满足希尔伯特变换

  如果系统传递函数为 H ( ω ) = R ( ω ) + j ⋅ X ( ω ) H\left( \omega \right) = R\left( \omega \right) + j \cdot X\left( \omega \right) H(ω)=R(ω)+jX(ω) ,该系统为因果系统,那么
R ( ω ) = 1 π ∫ − ∞ + ∞ X ( λ ) ω − λ d λ ,    X ( ω ) = − 1 π ∫ − ∞ + ∞ R ( λ ) ω − λ d λ R\left( \omega \right) = {1 \over \pi }\int_{ - \infty }^{ + \infty } { { {X\left( \lambda \right)} \over {\omega - \lambda }}d\lambda } ,\,\,X\left( \omega \right) = - {1 \over \pi }\int_{ - \infty }^{ + \infty } { { {R\left( \lambda \right)} \over {\omega - \lambda }}d\lambda } R(ω)=π1+ωλX(λ)dλ,X(ω)=π1+ωλR(λ)dλ

3.1.2 获得信号的包络线

  如果希望通过振荡信号的包络线获得调制信号,可以从信号的解析信号的幅度中获得,同时还可以通过解析信号幅角获得信号的瞬时相位以及瞬时频率等信息。

  下面显示了从一个调制有正弦信号的Chirp信号中获得包络线以及瞬时频率信号。

▲ 图3.1.2 利用信号的解析信号获得调制的包络线

▲ 图3.1.2 利用信号的解析信号获得调制的包络线

from headm import *
from scipy.signal import *

duration = 1.0
fs = 400.0
samples = int(fs*duration)
t = arange(samples)/fs

signal = chirp(t, 20.0, t[-1], 100.0)
signal *= (1.0 + 0.5*sin(2.0*pi*3.0*t))

analytic_signal = hilbert(signal)
amplitude_envelope = abs(analytic_signal)
instantaneous_phase = unwrap(angle(analytic_signal))
instantaneous_frequency = diff(instantaneous_phase)/(2.0*pi)*fs

plt.subplot(2,1,1)
plt.plot(t, signal, label='signal')
plt.plot(t, amplitude_envelope, label='envelope')
plt.xlabel('time in seconds')
plt.legend(loc='upper right')

plt.subplot(2,1,2)
plt.plot(t[1:], instantaneous_frequency)
plt.xlabel('time in seconds')
plt.ylim(0.0, 120.0)

plt.tight_layout()

plt.show()

§04 业练习


4.1 可导、可微

4.1.1 推导函数导数

  利用导数定义推导:
  (1) ( z n ) ′ = n z n − 1 \left( {z^n } \right)^\prime = nz^{n - 1} (zn)=nzn1 n n n 为正整数;
  (2) ( 1 z ) ′ = − 1 z 2 \left( { {1 \over z}} \right)^\prime = - {1 \over {z^2 }} (z1)=z21

4.1.2 判断函数可导、解析

  下列函数何处可导?何处解析?

  (1) f ( z ) = x 2 − i y f\left( z \right) = x^2 - iy f(z)=x2iy
  (2) f ( z ) = 2 x 3 + 3 y 3 i f\left( z \right) = 2x^3 + 3y^3 i f(z)=2x3+3y3i
  (3) f ( z ) = x y 2 + i x 2 y f\left( z \right) = xy^2 + ix^2 y f(z)=xy2+ix2y
  (4) f ( z ) = sin ⁡ x ⋅ c h ( y ) + i cos ⁡ x ⋅ s h ( y ) f\left( z \right) = \sin x \cdot ch\left( y \right) + i\cos x \cdot sh\left( y \right) f(z)=sinxch(y)+icosxsh(y)

4.1.3 求下列函数的奇点

  (1) z + 1 z ( z 2 + 1 ) { {z + 1} \over {z\left( {z^2 + 1} \right)}} z(z2+1)z+1
  (2) z − 2 ( z + 1 ) 2 ( z 2 + 1 ) { {z - 2} \over {\left( {z + 1} \right)^2 \left( {z^2 + 1} \right)}} (z+1)2(z2+1)z2

4.2 证明题

如果 f ( z ) = u + i v f\left( z \right) = u + iv f(z)=u+iv z z z 的解析函数,证明 ( ∂ ∂ x ∣ f ( z ) ∣ ) 2 + ( ∂ ∂ y ∣ f ( z ) ∣ ) 2 = ∣ f ′ ( z ) ∣ 2 \left( { {\partial \over {\partial x}}\left| {f\left( z \right)} \right|} \right)^2 + \left( { {\partial \over {\partial y}}\left| {f\left( z \right)} \right|} \right)^2 = \left| {f'\left( z \right)} \right|^2 (xf(z))2+(yf(z))2=f(z)2

4.3 绘制解析函数图像

  由于复变函数是定义在复平面上的函数,相比于实变函数来讲,绘制函数波形更加困难。利用Python中的matplotlib中的绘制三维函数(幅度、相位、实部、虚部)可以让我们了解函数更多变化趋势。

(1)显示有理分式奇点

  下面显示了函数 f ( z ) f\left( z \right) f(z) 的幅度图形,可以看到它具有三个奇点(极点:对应分母等于0的点)。

f ( z ) = z + 1 z ( z 2 + 1 ) f\left( z \right) = { {z + 1} \over {z\left( {z^2 + 1} \right)}} f(z)=z(z2+1)z+1

▲ 图4.3.1 复变函数的幅度图像

▲ 图4.3.1 复变函数的幅度图像

from headm import *
from mpl_toolkits.mplot3d   import Axes3D
from matplotlib import cm
import mpmath

mpmath.dps = 5

def arg2(x):
    return mpmath.sin(mpmath.arg(x))

f = lambda z: (z+1)/z/(z**2+1)

X = arange(-2, 2, 0.01)
Y = arange(-2, 2, 0.01)
X,Y = meshgrid(X,Y)
xn, yn = X.shape

W = X*0
for xk in range(xn):
    for  yk in range(yn):
        try:
            z = complex(X[xk,yk], Y[xk,yk])
            w = abs(f(z))
            if w != w:
                raise ValueError
            W[xk,yk] = w
        except(ValueError, TypeError, ZeroDivisionError):
            pass

    printf(xk, xn)

ax = plt.axes(projection='3d')
ax.plot_surface(X, Y, W, rstride=1, cstride=1, cmap=cm.jet)
plt.show()

4.3.1 显示解析函数幅度

  下面图形是显示了 f ( z ) = z 3 + 2 i z f\left( z \right) = z^3 + 2iz f(z)=z3+2iz 的幅度图像。

▲ 图4.3.2  解析函数的图像

▲ 图4.3.2 解析函数的图像


■ 相关文献链接:

● 相关图表链接:

猜你喜欢

转载自blog.csdn.net/zhuoqingjoking97298/article/details/124210585
CA
ss