1892年, Segre[1]对复数域做了自然扩展, 创造了一个新的数字系统, 叫做双复数. 与四元数不同, 这种数字系统是满足乘法交换律的环, 由于它是一个具有非零零因子的环, 所以双复变理论在许多方面与复变理论不同. 自20世纪末以来, 双复函数理论被广泛应用到工程学, 统计学, 物理学以及经济学等领域, 现在已经成为了复分析的热点话题之一. Luna-elizarars[2, 3]将许多经典的复分析理论推广到双复分析中, 比如双复Weierstrass定理, 双复多项式的代数基本定理, 双复柯西收敛定理以及双复阿贝尔定理. Johnston和Makdad[4]讨论了双复幂级数比值判别法和延拓定理. Price[5]研究了双复变量(以及多复变量)的全纯函数理论. Emanuello[6]研究了双复函数的Möbius变换, 并讨论了其共形性、传递性和不动点. 李泽坤和戴滨林研究了双复Schwarz引理[7]和双复Möbius变换[8]. 陈利涛和戴滨林讨论了双复Möbius变换中的不动点[9]. Goswami讨论了Riemann-Liouville双复阶分数运算[10]. 详情请参见文献[2, 7, 9, 11–19].
在他们工作的基础上, 我们进一步研究了双复全纯函数的性质. 首先给出了双复函数退化为常数函数的几个充分必要条件. 其次, 我们在复变函数唯一性定理的基础上得到了双复全纯函的唯一性定理. 最后, 应用唯一性定理, 我们得到了一些等式.
本文的结构如下: 第二节初步介绍了双复数的一些预备知识和已有的结论; 在第三节中, 我们得到了双复函数退化为常数函数的几个延伸的充分必要条件; 在第四节中, 我们给出了双复全纯函数的唯一性定理; 在第五节中, 我们给出了唯一性定理的应用.
在开始我们的主要结果之前, 我们回顾一下双复函数的基础知识.
我们直接从定义双复数的集合BC开始
这里C(i)是复数的集合, 它的虚数单位是i, 并且这里i和j≠i是可交换的虚数单位, 即ij=ji, i2=j2=−1.
另外, 定义为Z=Z1+jZ2的双复数有多个其他形式的表述
BC中任意双复数的共轭有如下三种类型
集合{e=1+ij2,e+=1−ij2}是双复数BC幂等表示的基, 因此z=z1+jz2的幂等表示可以唯一的写成z=β1e+β2e+, 这里β1=z1−iz2,β2=z1+iz2∈C(i). 对这两个双复数z=β1e+β2e+和w=γ1e+γ2e+我们有以下几点
由于双复数有多种表示形式, 双复函数F:Ω→BC也有多种表示形式(Ω是BC中一个非空集合)
f1,f2,g1,g2是C(i)−值函数, ρ1,ρ2,γ1,γ2是C(j)−值函数, f1,f2,g1,g2是双曲值函数, 且fkl是实值函数.
对于双复函数F=f1+jf2也有三种类型的共轭
定理2.1[3] 如果双复函数F=f11+if12+jf21+kf22在Z0=x1,0+iy1,0+jx2,0+ky2,0处可导, 则有下面两条结论
1. 实偏导数∂F∂xl(Z0)和∂F∂yl(Z0)存在, 其中l=1, 2.
2. 实偏导数满足下面等式
通过这个等式, 可以得到相应的柯西黎曼条件
当F用其他的形式表示时, 可以得到不同的柯西黎曼条件.
定理2.2[3] 如果双复函数F=ρ1+iρ2在Z0=ζ1,0+iζ2,0处可导, 则有
1. C(j)的偏导数F′ξl(Z0)存在, 其中l=1, 2.
2. 复偏导数满足下列等式
这里
可以得到相应的柯西黎曼条件
此外, 对于F=f1+jf2, F=g1+kg2, F=γ1+kγ2, F=f1+if2, F=g1+jg2, 有类似的柯西黎曼条件, 这里我就不一一赘述了. 更多的细节, 请查阅[3].
双复全纯函数满足一定的条件会退化为常数函数. 下面是一个双复全纯函数退化为常数函数的充分必要条件.
引理2.1[3] 设F:Ω→BC是开区域Ω上的双复全纯函数. 当且仅当F′(Z)=0对所有的Z∈Ω成立时, F是常数函数.
下面, 我们研究双复全纯函数退化成常数函数的一些充要条件.
定理3.1 设F是双复全纯函数, 在开区域Ω∈BC中连续. 当且仅当满足下列条件中的任意一条, 则F是常数函数
1. ˉF在区域Ω∈BC上解析. 或者F†, F∗在区域Ω∈BC上解析.
2. 若F=ρ1+iρ2, 则ρ2=ρ21. 对于F=f1+jf2, F=g1+kg2, F=γ1+kγ2, F=f1+if2, F=g1+jg2, 可以得出类似的条件.
3. 若F=ρ1+iρ2, 则aρ1+bρ2=c (a, b, c是实数且不全为0). 对于F=f1+jf2, F=g1+kg2, F=γ1+kγ2, F=f1+if2, F=g1+jg2, 可以得出类似的条件.
证 F=ρ1+iρ2, 且ˉF=ρ1−iρ2. 双复变量Z可以被写成Z=ξ1+iξ2. 因为F是区域Ω∈BC上的解析函数, 它满足柯西黎曼条件
类似的, ˉF也满足柯西黎曼条件
通过(1)和(2), 可以得到
在文献[3], Luna-Elizarrarás给出了双复函数的偏导数公式
所以F′(Z)=0. 通过这个定理, 就得到了F是连续函数即条件(1). 设F=f1+if2, 则F†=f1−if2, 当F†是双复全纯函数, 容易得到F是连续函数. 类似的也可以证明F∗是双复全纯函数.
F=ρ1+iρ2=ρ1+iρ21, 它满足柯西黎曼条件
我们有
所以
在这种情况下, F′(Z)=F′ξ1(Z)=ρ′1,ξ1(Z)+iρ′2,ξ1(Z)=0, 所以F是常数函数也就证明了(2). 对于F=f1+jf2, f2=f21等等表示形式也有类似的结论.
当a≠0, 且ρ1=c−bρ2a, F=c−bρ2a+iρ2. F满足柯西黎曼条件
我们可以得到
因为a, b是实数, ρ′1,ξ1=0. 则ρ′2,ξ1=ρ′1,ξ1=0. 在这种情况下, F′(Z)=F′ξ1(Z)=ρ′1,ξ1(Z)+iρ′2,ξ1(Z)=0, 所以F是常数函数.
当a=0, 且ρ2=cb是常数函数. F=ρ1+icb, 它满足柯西黎曼条件
在这种情况下, F′(Z)=F′ξ1(Z)=ρ′1,ξ1(Z)+iρ′2,ξ1(Z)=0, 所以F是常数函数. 综上所述, 我们已经证明了(3). 对于F=f1+jf2, af1+bf2=c等等表示形式也有类似的结论.
在这一节中, 我们将复全纯函数的唯一性定理推广到双复全纯函数, 并给出例题以便于更好地理解.
定理4.1 设F(Z)和G(Z)是单连通区域Ω∈BC上的双复解析函数. 设Zk是区域Ω上的彼此不同的点(k=1,2,3...). 点列{Zk}在Ω上有极限点Z0. 如果F(Zk)=G(Zk) (k=1,2,3...), 那么在Ω内, 有F(Z)=G(Z).
证 F(Z)和G(Z)有幂等表示形式
对于所有的Z=β1e+β2e+∈Ω. 易得F(Zk)=G(Zk), 则
我们可以容易得到下面的结论
因为点列Zk=β1,ke+β2,ke+有极限点Z0=β1,0e+β2,0e+, β1,k有极限点β1,0, β2,k有极限点β2,0. 通过复数的唯一性定理可以容易得到
以上我们已经证明了在Ω内, F(Z)=G(Z).
例1 我们可以通过双复函数的唯一性定理证明得到以下结论:sin2Z+cos2Z=1(Z∈BC).
设F(Z)=sin2Z+cos2Z(Z∈BC), g(z)=sin2z+cos2z(z∈C(i)). 由于F(Z)=g(z)(Z∈C(i)), 通过唯一性定理我们有sin2Z+cos2Z=1(Z∈BC).
应用双复全纯函数的唯一性定理, 复全纯函数理论的许多现有结果可以推广到双复全纯函数, 这为双复全纯函数的进一步研究奠定了基础. 此外, 涉及复全纯函数的方程都可以立即扩展到相应的双复全纯函数方程, 只需要将z∈C(i)替换成Z∈BC, 这个定理避免了直接证明恒等式的一系列繁琐过程. 下面就是通过这个定理得到的六个简单但重要的结论, 其中(Z∈BC)
1. 当F(Z)=cosZ,F′(Z)=sinZ
2. sinZ=eiZ−e−iZ2i
3. 当F(Z)=Zn,F(Z)′=nZn−1
4. eiZ=cosZ+isinZ
5. cotZ=cosZsinZ
6. 如果Z可逆, eLogZ=Z