Solitons of the midpoint mapping and affine curvature

For a polygon x=(xj)j∈Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x=(x_j)_{j\in \mathbb {Z}}$$\end{document} in Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^n$$\end{document} we consider the midpoints polygon (M(x))j=xj+xj+1/2.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(M(x))_j=\left( x_j+x_{j+1}\right) /2.$$\end{document} We call a polygon a soliton of the midpoints mapping M if its midpoints polygon is the image of the polygon under an invertible affine map. We show that a large class of these polygons lie on an orbit of a one-parameter subgroup of the affine group acting on Rn.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^n.$$\end{document} These smooth curves are also characterized as solutions of the differential equation c˙(t)=Bc(t)+d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\dot{c}(t)=Bc (t)+d$$\end{document} for a matrix B and a vector d. For n=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=2$$\end{document} these curves are curves of constant generalized-affine curvature kga=kga(B)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k_{ga}=k_{ga}(B)$$\end{document} depending on B parametrized by generalized-affine arc length unless they are parametrizations of a parabola, an ellipse, or a hyperbola.


Introduction
We consider an infinite polygon (x j ) j∈Z given by its vertices x j ∈ R n in an n-dimensional real vector space R n resp. an n-dimensional affine space A n modelled after R n . For a parameter α ∈ (0, 1) we introduce the polygon M α (x) whose vertices are given by (M α (x)) j := (1 − α)x j + αx j+1 .
For α = 1/2 this defines the midpoints polygon M (x) = M 1/2 (x). On the space P = P(R n ) of polygons in R n this defines a discrete curve shortening process M α : P −→ P, already considered by Darboux [4] in the case of a closed resp.
We are grateful to the referee for his suggestions. The mapping M α is invariant under the canonical action of the affine group. The affine group Aff(n) in dimension n is the set of affine maps (A, b) : R n −→ R n , x −→ Ax + b. Here A ∈ Gl(n) is an invertible matrix and b ∈ R n a vector. The translations x −→ x + b determined by a vector b form a subgroup isomorphic to R n . Let α ∈ (0, 1). We call a polygon x j a soliton for the process M α (or affinely invariant under M α ) if there is an affine map (A, b) ∈ Aff(n) such that (M α (x)) j = Ax j + b (1) for all j ∈ Z. In Theorem 1 we describe these solitons explicitly and discuss under which assumptions they lie on the orbit of a one-parameter subgroup of the affine group acting canonically on R n . We call a smooth curve c : R −→ R n a soliton of the mapping M α resp. invariant under the mapping M α if there is for some > 0 a smooth mapping s ∈ (− , ) −→ (A(s), b(s)) ∈ Aff(n) such that for all s ∈ (− , ) and t ∈ R : Then for some t 0 ∈ R and s ∈ (− , ) the polygon x j = c(js + t 0 ), j ∈ Z is a soliton of M α . The parabola is an example of a soliton of M = M 1/2 , cf. Fig. 1 and Example 1, Case (e). We show in Theorem 2 that the smooth curves invariant under M α coincide with the orbits of a one-parameter subgroup of the affine group Aff(n) acting canonically on R n . For n = 2 we give a characterization of these curves in terms of the general-affine curvature in Sect. 5.

Vol. 112 (2021)
Solitons of the midpoint mapping and affine curvature Page 3 of 16 7 The authors discussed solitons, i.e. curves affinely invariant under the curve shortening process T : in [9]. The solitons of M = M 1/2 form a subclass of the solitons of T, since (T (x)) j = M 2 (x) j−1 . Instead of the discrete evolution of polygons one can also investigate the evolution of polygons under a linear flow, cf. Viera and Garcia [11] and [9,Sec. 4] or a non-linear flow, cf. Glickenstein and Liang [5].

The affine group and systems of linear differential equations of first order
The affine group Aff(n) is a semidirect product of the general linear group Gl(n) and the group R n of translations. There is a linear representation of the affine group in the general linear group Gl(n + 1), cf. [8, Sec. 5.1]. We use the following identification Hence we can identify the image of a vector x ∈ R n under the affine map Using this identification we can write down the solution of an inhomogeneous system of linear differential equations with constant coefficients using the power series F B (t) which we introduce now: For a real (n, n)-matrix B ∈ M R (n) we denote by F B (t) ∈ M R (n) the following power series: (a) We obtain for its derivative: The function F B (t) satisfies the following functional equation: resp. for j ∈ Z, j ≥ 1 : (b) The solution c(t) of the inhomogeneous system of linear differential equationsċ (t) = Bc(t) + d (8) with constant coefficients (i.e. B ∈ M R (n, n), d ∈ R n ) and with initial condition v = c(0) is given by: Proof. (a) Equation (6) follows immediately from Eq. (5). Then we compute d dt Since F B (0) = 0 Eq. (7) follows. And this implies Eq. (8).
(b) We can write the solution of the differential equation (8) d dt as follows: which is Eq. (9). One could also differentiate Eq. (9) and use Eq. (6) of the one-parameter subgroup of the affine group Aff(n) acting canonically on R n .

Polygons invariant under M α
Then the following statements hold: (a) There is a unique polygon x ∈ P(R n ) with x 0 = v which is a soliton for M α resp. affinely invariant under the mapping M α with respect to the affine , then for j > 0 : Vol. 112 (2021) Solitons of the midpoint mapping and affine curvature Page 5 of 16 7 and for j < 0 : for a vector d α ∈ R n then the polygon x j lies on the smooth curve Proof. (a) By Eq. (1) we have Hence the polygon is given by x 0 = v and the recursion formulae . for all j ∈ Z. Then Eqs. (11) and (12) follow.
. Hence for j > 0 : The functional Eq.
Note that the matrices B, F B (t), F B (t) −1 commute. With this identity we obtain for j < 0 : Remark 2. (a) Using the identification Eq. (4) we can write for all j ∈ Z.
for a vector d α ∈ R n then we obtain from Eq. (10): Hence t ∈ R −→ c(t) ∈ R n is the orbit of a one-parameter subgroup of the affine group applied to the vector v.

Smooth curves invariant under M α
For a smooth curve c : R −→ R n and a parameter α ∈ (0, 1) we define the one-parameter familyc s : R −→ R n , s ∈ R by Eq. (2). And we call a smooth curve c : R −→ R n a soliton of the mapping M α (resp. affinely invariant under Then we obtain as an analogue of Then the curve c is the unique solution of the differential equatioṅ Hence the curve c(t) is the orbit of a one-parameter subgroup of the affine group, i.e.

Remark 3.
For an affine map (A, b) ∈ Gl(n), b ∈ R n the linear isomorphism A is called the linear part. For n = 2 we discuss the possible normal forms of A ∈ Gl(2) resp. the normal forms of the one-parameter subgroup exp(tB) and of the one-parameter family A(s) = (1 − α) + 1 + exp(Bs) introduced in Theorem 2. This will be used in Sect. 5.
Remark 4. In [9] the authors consider the curve shortening process T :

Curves with constant affine curvature
The orbits of one-parameter subgroups of the affine group Aff(2) acting on R 2 can also be characterized as curves of constant general-affine curvature parametrized proportional to general-affine arc length unless they are parametrizations of a parabola, an ellipse or a hyperbola. This will be discussed in this section. The one-parameter subgroups are determined by an endomorphism B and a vector d. We describe in Proposition 2 how the general-affine curvature can be expressed in terms of the matrix B.
For certain subgroups of the affine group Aff(2) one can introduce a corresponding curvature and arc length. One should be aware that sometimes in the literature the curvature related to the equi-affine subgroup SAff(2) generated by the special linear group SL(2) of linear maps of determinant one and the translations is also called affine curvature. We distinguish in the following between the equi-affine curvature k ea and the general-affine curvature k ga as well as between the equi-affine length parameter s ea and the general-affine length parameter s ga .
We recall the definition of the equi-affine and general-affine curvature of a smooth plane curve c : I −→ R 2 with det(ċ(t)c(t)) = |ċ(t)c(t)| = 0 for all t ∈ I.
By eventually changing the orientation of the curve we can assume |ċ(t)c(t)| > 0 for all t ∈ I. A reference is the book by P. and A.Schirokow [10, §10]  Assume that c = c(s ea ), s ea ∈ I is a smooth curve parametrized by equi-affine arc length for which the sign = sign(k ea (s ea )) ∈ {0, ±1} of the equi-affine curvature is constant. If = 0 then the curve is up to an affine transformation a parabola (t, t 2 ). Now assume = 0 and let K ea = |k ea | = k ea . Then the general-affine arc length s ga = s ga (s ea ) is defined by We call a curve c = c(t) parametrized proportional to general-affine arc length if t = λ 1 s ga + λ 2 for λ 1 , λ 2 ∈ R with λ 1 = 0. The general-affine curvature k ga = k ga (s ea ) is defined by k ga (s ea ) = K ea (s ea )K ea (s ea ) −3/2 = −2 K −1/2 ea (s ea ) .
If the general-affine curvature k ga (up to sign) and the sign is given with respect to the equi-affine arc length parametrization, then the equi-affine curvature k ea = k ea (s ea ) is determined up to a constant by Eq. (20). Hence the curve is determined up to an affine transformation. The invariant k ga already occurs in Blaschke's book [2, §10, p.24]. Curves of constant general-affine curvature are orbits of a one-parameter subgroup of the affine group. These curves already were discussed by Klein and Lie [6] under the name W -curves.