I think of a snapshot of a single period of a doubly periodic function as one parallelogram-shaped tile in a tessellation. Could a function have a period that repeats like a honeycomb or some other not rectangular tessellation?

  • $\begingroup$ What kind of functions are we talking about here? $\endgroup$ – Qiaochu Yuan Apr 28 '11 at 19:38
  • $\begingroup$ C--> C, complex $\endgroup$ – futurebird Apr 28 '11 at 19:50
  • 1
    $\begingroup$ The fact that there exist functions that "repeat like a honeycomb" does not contradict the fact that the fundamental domain is a parallelogram, and in fact a rectangle. Suppose two parallel sides of the hexagon are horizontal. Go from the center of one hexagon in a horizontal direction until you reach the next center of a hexagon (thus NOT one of the ones that are adjacent to the one you started in) and that's one side of a rectangle. Then go from that same center in a vertical direction until you reach the next center (of a hexagon that IS adjacent to the one where you started$\,\ldots\qquad$ $\endgroup$ – Michael Hardy Aug 25 '16 at 22:23
  • $\begingroup$ $\ldots\,$and that's another side of the rectangle. $\qquad$ $\endgroup$ – Michael Hardy Aug 25 '16 at 22:23

(many literature searches and Mathematica experiments later...)

The usual Jacobi and Weierstrass elliptic functions have as their "repeating unit" a parallelogram (which can be made rhomboidal or square through appropriate choices of parameters). It is known that apart from parallelograms, hexagons can tile the plane by translation; so, why can't there be a doubly periodic function that has a hexagonal repeating unit?

It turns out that A.C. Dixon (the guy whose book on elliptic functions Hans linked to), in a long 1890(!) paper, studied a class of elliptic functions (now named after him) based on the inversion of the Abelian integral

$$\int\frac{\mathrm dt}{\left(1-t^3\right)^{2/3}}=t {}_2 F_1\left({{\frac13\quad \frac23}\atop{\frac43}}\mid t^3\right)$$

where ${}_2 F_1\left({{a\quad b}\atop{c}}\mid x\right)$ is a Gaussian hypergeometric function.

There are two of these Dixon elliptic functions, $\operatorname{sm}(z,0)=\operatorname{sm}(z)$ and $\operatorname{cm}(z,0)=\operatorname{cm}(z)$, corresponding to the usual sine and cosine respectively. Both functions have a real period $\pi_3=B\left(\frac13,\frac13\right)$ (where $B(a,b)$ is the beta function) and a complex period $\pi_3\exp(2i\pi/3)$, and satisfy the following relations (reminiscent of usual trigonometric identities):

$$\begin{align*} &\operatorname{sm}\left(\frac{\pi_3}{3}-z\right)=\operatorname{cm}(z)\\ &\operatorname{sm}^3(z)+\operatorname{cm}^3(z)=1\\ &\operatorname{sm}^\prime(z)=\operatorname{cm}^2(z),\quad \operatorname{cm}^\prime(z)=-\operatorname{sm}^2(z) \end{align*}$$

and, most relevant to the purposes of this question, a rotational invariance:

$$\exp(-2i\pi/3)\operatorname{sm}(z\exp(2i\pi/3))=\operatorname{sm}(z),\quad \operatorname{cm}(z\exp(2i\pi/3)) =\operatorname{cm}(z)$$

Plots of the Dixon functions on the real line don't look very interesting:

Dixon elliptic functions, real line

but, as with the usual elliptic functions, the fun starts in the complex plane:

Dixon sm Dixon cm

These contour plots clearly display the hexagonal structure of the Dixon functions. Here is a single "fundamental period hexagon" for $\operatorname{sm}(z)$:

period hexagon for sm(z), contour plot period hexagon for sm(z), 3D

Note that a section of the real line (in the plots above, $\left(-\frac{\pi_3}3,\frac{2\pi_3}{3}\right)$) corresponds to a chord of the period hexagon.

Both Dixon elliptic functions possess three poles (once you've identified the congruent poles in the period hexagon) and three zeros within the fundamental hexagon. Of course, one could go the usual route and consider the "repeating unit" of the Dixon function to be a particular rhombus; this is equivalent; since the rhombus can be appropriately dissected into a regular hexagon, and vice-versa.

The Dixon elliptic functions can also be expressed in terms of Weierstrass elliptic functions:


$$\operatorname{cm}(z)=\frac{3\wp^\prime\left(z;0,\frac1{27}\right)+1}{3\wp^\prime \left(z;0,\frac1{27}\right)-1}$$

(there are also expressions for Dixon functions in terms of Jacobi elliptic functions, but they are rather complicated.)

Finally, if you're interested in knowing more about the Dixon elliptic functions (including combinatorial applications), this paper is a good starting point.

A Mathematica notebook for those interested in exploring the topic further is available from me upon request.

  • 4
    $\begingroup$ So this makes me wonder: what about the other 15 wallpaper groups? $\endgroup$ – graveolensa May 2 '11 at 21:40
  • 1
    $\begingroup$ @deoxy: That's an interesting question, too. Maybe you should ask it as a separate question? $\endgroup$ – J. M. is a poor mathematician May 3 '11 at 5:11
  • $\begingroup$ Yeah, and what about tessellations in other geometries? $\endgroup$ – Raskolnikov May 3 '11 at 7:52
  • 1
    $\begingroup$ @J.M. this question: math.stackexchange.com/questions/36737/… $\endgroup$ – graveolensa May 3 '11 at 17:45
  • 1
    $\begingroup$ @Michael, "None of this should be taken to mean you don't get a parallelogram as a fundamental region." - yes, I did mention the dissection into a rhombus in this answer. $\endgroup$ – J. M. is a poor mathematician Dec 17 '16 at 20:16

I don't think so. If there are exactly two periods (not parallel), then we have a parallelogram, so in your case there must be at least three independent periods. But that implies that the function is constant (or multi-valued), as proved for example in this old book by Dixon on elliptic functions (see §32 on p. 19).

  • $\begingroup$ On the other hand, Hans displays something almost, but not quite hexagonal here (scroll down to the equianharmonic case of the Weierstrass $\wp$ function). $\endgroup$ – J. M. is a poor mathematician Apr 28 '11 at 19:40
  • 1
    $\begingroup$ I think it depends on how the tesilation works, I just realized that if you create you honeycomb bu translation it can be repartitioned in to parallelograms. Now if we ad a rotation, then it would not work. I think that this needs to be restricted to tesilations where you can pick up the whole plane and map it to itself after translation and rotation. --- still, it's not obvious to me that there are more than three periods... Can you expand on that? $\endgroup$ – futurebird Apr 28 '11 at 19:47
  • $\begingroup$ Well, as you say, you can have a honeycomb pattern, but that's really just a doubly periodic pattern in disguise (with periods 1 and $\exp(i\pi/3)$, say). If you really want to go beyond the case where there is a fundamental region in the shape of a parallelogram lurking somewhere, you will have to look for something with more than two periods, and that is apparently not possible. $\endgroup$ – Hans Lundmark Apr 28 '11 at 20:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.