Aequationes mathematicae

, Volume 85, Issue 3, pp 273–328

The projective translation equation and rational plane flows. I

Article

Abstract

Let x = (x, y). A plane flow is a function $${F(\mathbf{x}, t) : \mathbb{R}^2 \times \mathbb{R} \mapsto \mathbb{R}^{2}}$$ such that F(F(x, s), t) = F(x, s + t) for (almost) all real numbers x, y, s, t (the function F might not be well-defined for certain x, t). In this paper we investigate rational plane flows which are of the form $${F(\mathbf{x}, t) = \phi(\mathbf{x}t)/t;}$$ here $${\phi}$$ is a pair of rational functions in 2 real variables. These may be called projective flows, and for a description of such flows only the knowledge of Cremona group in dimension 1 is needed. Thus, the aim of this work is to completely describe over $${\mathbb{R}}$$ all rational solutions of the two dimensional translation equation $${(1 - z)\phi(\mathbf{x}) = \phi(\phi(\mathbf{x}z)(1 - z)/z)}$$. We show that, up to conjugation with a 1-homogenic birational plane transformation (1-BIR), all solutions are as follows: a zero flow, two singular flows, an identity flow, and one non-singular flow for each non-negative integer N, called the level of the flow. The case N = 0 stands apart, while the case N = 1 has special features as well. Conjugation of these canonical solutions with 1-BIR produce a variety of flows with different properties and invariants, depending on the level and on the conjugation itself. We explore many more features of these flows; for example, there are 1, 4, and 2 essentially different symmetric flows in cases N = 0, N = 1, and N ≥ 2, respectively. Many more questions related to rational flows will be treated in the second part of this work.

Mathematics Subject Classification (2000)

Primary 39B12 14E07 Secondary 35F05 37E35

Keywords

Translation equation flow projective geometry rational functions rational vector fields iterable functions birational transformations involutions Cremona group linear ODE linear PDE

References

1. 1.
Aczél, J.: Lectures on functional equations and their applications. In: Mathematics in Science and Engineering, vol. 19. Academic Press, New York (1966)Google Scholar
2. 2.
Alkauskas G.: Multi-variable translation equation which arises from homothety. Aequat. Math. 80(3), 335–350 (2010)
3. 3.
Alkauskas, G.: The projective translation equation and unramified 2-dimensional flows with rational vector fields. http://arxiv.org/abs/1202.3958
4. 4.
Alkauskas, G.: The projective translation equation and rational plane flows. II (2013, in preparation)Google Scholar
5. 5.
Berg L.: The local structure of the solutions of the multidimensional translation equation. Aequat. Math. 46(1-2), 164–173 (1993)
6. 6.
Flajolet, Ph., Gabarró, J., Pekari, H.: Analytic urns. Ann. Probab. 33(3), 1200–1233 (2005). arxiv.org/abs/math/0407098Google Scholar
7. 7.
van Fossen Conrad, E., Flajolet, Ph.: The Fermat cubic, elliptic functions, continued fractions, and a combinatorial excursion. Sém. Lothar. Combin. 54 (2005/07), Art. B54g. arxiv.org/abs/math/0507268Google Scholar
8. 8.
Fripertinger H., Reich L.: The formal translation equation and formal cocycle equations for iteration groups of type I. Aequat. Math. 76(1-2), 54–91 (2008)
9. 9.
Fripertinger H., Reich L.: The formal translation equation for iteration groups of type II. Aequat. Math. 79(1-2), 111–156 (2010)
10. 10.
Hudson H.P.: Cremona Transformations in Plane and Space. Cambridge University Press, Cambridge (1927)
11. 11.
Krasnosel’skiĭ, M.A., Perov, A.I., Povolockiĭ, A.I., Zabreĭko, P.P.: Vektornye polya na ploskosti [Russian] [Vector fields in the plane], Gosudarstv. Izdat. Fiz.-Mat. Lit., Moscow (1963)Google Scholar
12. 12.
Moszner Z.: The translation equation and its application. Demonstratio Math. 6, 309–327 (1973)
13. 13.
Moszner Z.: General theory of the translation equation. Aequat. Math. 50(1-2), 17–37 (1995)
14. 14.
Nikolaev, I., Zhuzhoma, E.: Flows on 2-dimensional manifolds. An overview. In: Lecture Notes in Mathematics, vol. 1705. Springer, Berlin (1999)Google Scholar 