双周期函数

双周期函数是数学中对一类定义在复平面上的函数（复变量函数）的称呼，是在复平面的两个不同“方向”上都有周期性变化的函数。直观上可以理解为平面上“网格状”变化的函数。双周期函数是定义域为实数的周期函数在复变量函数中的推广。在复变量函数中，只有一个周期的函数称为单周期函数，如指数函数，周期是2。

定义
对一个定义域为复数域的函数来说，如果存在两个在实数域上线性独立（将复数域看作实数域上的2维向量空间）的复数和，使得对任何复数以及任何整数，都有

就称函数为双周期函数。

复变量函数中有单周期函数和双周期函数。单周期函数可以看作是第二个周期为无穷大的双周期函数。而三周期或更多周期的函数是不存在的，因为复平面是实数域的二维向量空间，所以不可能有三个或更多个线性独立的向量（复数）。

给定双周期函数，对每个复数，可以确定函数值等于的复数包括如下集合：，其中的表示整数集。这个集合在平面上呈一个网格状的结构，将复平面划分为一个个平行四边形形状的格子，称为单元格。双周期函数的定义表明，函数在每个单元格中有相同的形状。

例子
如果将双周期函数直观地作为二维平面上的一类实值函数来看待的话，很容易就能构造出双周期函数的例子。比如，如果将“1”和“”作为周期，那么对应的网格是以平面上所有的“整点”（横坐标和纵坐标都是整数的点）为节点的正方形网格。只需要定义函数在一个正方形单位上的取值，然后再“逐格复制”就可以了。例如函数：

从例子中可以看出，定义一个双周期函数，只需要定义它在一个单元格里的取值就可以了。如果和是双周期函数的周期，那么只需要定义在集合：
（一个平行四边形）
上的取值即可。
椭圆函数
椭圆函数是双周期函数中最常被研究的一类函数。椭圆函数定义为双周期的亚纯函数（在离散的点以外都是全纯函数的函数）。一个常见的例子是魏尔斯特拉斯椭圆函数：

性质
设单元格的边界为。由四条首尾相连的直线段构成：

由于双周期函数在两条平行边上的取值一样（周期性），如果以为路径对函数进行环路积分，积分值会是0：

如果是全纯函数，那么可以证明，是常数函数：. 这是因为在单元格上的取值是必定是有界的（单元格是紧集），所以根据双周期性可知在整个平面上都是有界的函数。因此根据刘维尔定理，是常数函数。 

如果是椭圆函数，那么根据留数定理，在单元格内极点的留数之和等于0，这说明在单元格里不可能只有一个一阶极点。要么有一个留数是0的高阶极点，要么有多于一个一阶极点。同样地，对椭圆函数函数使用留数定理，可以证明在单元格里不可能只有一个一阶零点。要么有一个高阶零点，要么有多于一个一阶零点。更进一步地，可以证明在单元格内取得每个值的次数等于它在单元格内的阶数（椭圆函数在某个区域内的阶数等于它的所有极点的阶数和）。

从拓扑结构来说，任何双周期函数都等价于定义在环面上的函数。所以以上的性质也对定义在环面上的函数适用。

参见
魏爾斯特拉斯橢圓函數
雅可比橢圓函數
模形式
概周期函数

参考来源

Category:复分析
Category:解析数论