Billiard in a rotating half-plane

The main objective of this research is to study the properties of a billiard system in an unbounded domain with moving boundary. We consider a system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points and experiences elastic collisions with the ball. We define a mathematical model for the dynamics of such a system and write down asymptotic formulae for its motions. In particular, we determine existence and uniqueness of solutions. We find all possible grazing impacts of the ball. Besides, we demonstrate that for almost every initial condition, the ball goes to infinity exponentially fast, with the time intervals between neighboring collisions tending to zero. The approach developed in this paper is an original combination of methods of Billiards and Vibro-Impact Dynamics. It could be a base for studying more complicated systems of similar types.


Introduction
Isaac Newton in 1687 [18] considered the problem of least resistance for a body moving in a rarefied medium.He assumed that the medium is rarified, so that the mutual interaction of particles of the medium can be neglected, and that collisions of the particles with the body surface are perfectly elastic.These assumptions greatly simplify the optimization problem.
To the best of our knowledge, a regular study concerning the free motion of a body (involving both translation and rotation) in the framework of Newtonian aerodynamics has never been carried out, even in the 2D case.Theorems of existence and uniqueness for the dynamics have not been obtained, and free motion on the plane of special shapes, even the simplest ones, such as an ellipse, a square, or even a line segment, has never been studied. 1ere we start with the case which seems to be the simplest one: a line segment.By simplifying further the problem, assume that the mass of the segment is infinite.Initially, it stays at rest in the horizontal position in the plane, and then it starts rotational motion about its center counterclockwise.
Of course, the first hit of each particle is with the right half of the rod.It is assumed that the medium particles do not mutually interact, so it suffices to consider the interaction of each individual particle with the rod.It also makes sense to suppose that the length of the rod is infinite.
Thus, we have the billiard in a moving domain on the plane.The domain is a half-plane rotating uniformly about a fixed point on its boundary.Note that the previous works on billiards in moving boundaries are mainly motivated by studying the mechanism of Fermi acceleration.By contrast, our motivation comes from Newton's least resistance problem.
Apparently, the billiard in a rotating half-plane has never been studied.The system looks very simple, but its study is far from trivial, as will be seen in this paper (Figs. 1 and 2).
Without loss of generality, assume that the angular velocity of the rod equals 1 and the rotation is counterclockwise.It is convenient to consider the dynamics in the rotating coordinate system at the complex plane C, where the rod is represented by the real axis R, with the fixed point being at the origin, and the position of the ball z(t) at the instant of time t ∈ R belongs to the closed upper half-plane C + 0 := {z ∈ C : Im z ≥ 0}.Between two neighboring impacts, the ball moves uniformly according to the formula in the interior of the upper half-plane, C + := {z ∈ C : Im z > 0}, and reflects elastically when hitting the real line, that is, if z(t) ∈ R then (asterisk means the complex conjugation and dot means the derivative in t).
If ż(t − 0) ∈ R in (1), and therefore, the function z is differentiable at t, then we say that a grazing impact takes place at the instant t.
The initial position and velocity of the ball are given by Taking into account the nature of our problem, we assume that the first hit is from the right half-axis, R + := (0, +∞), leaving the general case to the future.Remark 1 Note that there exist billiard trajectories that cannot be extended to the future beyond a certain time instant.Namely, consider the function Here t * is the smallest positive solution of the equation t = tan t, t * ≈ 4.49341.This choice of t * guarantees that the function z in (3) takes values in C + .We have z(t 1 ) = r , ż(t 1 − 0) = 0.It is impossible to extend the function z to a right halfneighborhood of t 1 to a function z(t) = (z 1 +w 1 t) exp(−it) satisfying z(t 1 ) = r , ż(t 1 +0) = 0 and taking values in C + .Indeed, the only function of this kind satisfying these conditions coincides with the function in (3); however, it takes values outside C + .Remark 2 Observe that the condition ż(t 1 − 0) = 0 is coarser than grazing (in the latter case only the imaginary part is zero).The 'regular' grazing corresponds to a quadratic tangency while the 'degenerate' case corresponds to the cubic tangency provided it occurs out of the origin.
Fig. 2 A trajectory of the ball in a resting coordinate system Note that the initial conditions of the function in (3) are: and designate the set of all such initial conditions by Sliding motion.The natural extension of the function (3) beyond t 1 should be the following: The second line in this equation means that for t ≥ t 1 the ball moves along the rod, being always subject to an inertial force from the rod in the orthogonal direction.Since the angular velocity of the rod equals 1, the motions along the rod satisfy the equation ẍ = x where x on the right-hand side stands for the centrifugal force.Here we assume the absence of friction (the presence of friction would make the impact inelastic).We call such a regime of motion sliding.We observe that transitions from billiard to sliding and vice-versa can only happen if Model of the system.The free-flight billiard motion described by (1) corresponds to the complex second-order o.d.e z + 2i ż − z = 0 which can be rewritten as follows (recall that z = x + iy) The sliding regime corresponds to the equation ẍ − x = 0, y ≡ 0.
Taking into account impacts, we follow the approach, formulated by Paoli and Schatzmann [17] and, also, in the earlier paper by Moreau [14]: Here μ is a locally finite measure supported on the set I = I 1 I 2 where Observe that the set I 1 is countable.The measure is defined by the formula Here δ stands for the Dirac function and χ I 2 for the indicator function of the set I 2 .
The second equation of ( 4) can be treated as follows: for any t, t 0 ∈ R, t > t 0 .
Observe that in the instant t 0 of billiard-to-sliding transition, we have ẍ(t) > 0, so x(t) increases for t > t 0 and no further transition to the billiard motion is possible.Moreover, in the sliding regime, one must have x(t) > 0, otherwise, the solution switches to the billiard mode immediately.
Notice that our model of interaction is frictionless both in impact and sliding modes.If friction is there, the pattern becomes much more sophisticated.For instance, if the dry friction is there, in order to exclude undesirable effects, one has to add stochastic terms (see [2, 7-10, 14-17, 25] for various particular cases of this approach).We postpone these studies to the future.
The main result of this paper is the following theorem.
Remark 3 In particular, we prove that the assumption (z(0), ż(0)) / ∈ M makes it impossible to fall into sliding regime in the future.

Remark 4
We study motion with the first collision with the positive half-line postponing the case of the first impact with the negative half-line to the future.

Remark 5
Observe that the unboundedness of the rod is the reason for the ball to speed up infinitely.This is the principal difference between the current result and, for instance, that of the paper [3] where the velocities of particles are bounded.However, in some cases (see, for example, [26]), the billiard in a bounded domain with a moving boundary may cause motions with exponentially increasing velocities.

Lemma 1 Let z(t) be a billiard motion on
Recall that the equality Im ż(t 1 − 0) = 0 implies grazing.

123
Proof Change the time variable, s = t − t 1 , and denote where w = a + ib is a complex value.Clearly, Taking into account that Im f (s) > 0 for s < 0 and using the Taylor decomposition (7), one obtains the statement of Lemma 1.

Lemma 2
There is an infinite sequence t 1 < t 2 < . . . of hits such that z(t) can be uniquely extended to a billiard trajectory on each interval [0, t n ), n = 1, 2, . .., so that the values r n = z(t n ) are positive and form a strictly monotone increasing sequence.Additionally, for n ≥ 2, Im ż(t n+1 − 0) < 0 and Re ż(t n+1 − 0) > 0; hence grazing may take place only at t 1 .
In particular, this lemma claims that the motion, once switching from sliding to billiard mode cannot switch to sliding again.Proof Let us prove by induction that for any natural n there are t 1 < t 2 < . . .< t n such that z(t) can be extended to a billiard trajectory on [0, t n ], with r k = z(t k ), k = 1, . . ., n being real positive values and z(t) ∈ C + for the resting values of t, and Im ż(t k − 0) < 0 for k = 1.It will be clear from the proof that the extension is unique.
We have and so, We define δ n as the smallest positive value satisfying In Fig. 3, there are shown the functions s/ tan s and (1 + a n s)/b n .The function φ(s) := s/ tan s is concave on [0, π), φ(0) = 1, φ (0) = 0, and φ(s) → −∞ as s → π.The case b n > 1 is shown in the left figure, and the case b n = 1, a n < 0, in the right figure.In both cases, there is a unique solution s = δ n of equation (10) in the interval (0, π).Besides, for 0 and so, Im f (s) > 0.
Let us check that r n+1 > r n .Indeed, The velocity of the ball equals We have Let us show that Im ż(t n+1 − 0) < 0 and Re ż(t n+1 − 0) > 0. By (10) we have Further, utilizing (10) and ( 12) we have We maintain the notation adopted in the proof of Lemma 2; namely, the part of the trajectory in [t n , t n+1 ] has the form The following Corollary follows immediately from Lemma 2 and (8).
The following statement excludes the possibility of the so-called chatter (infinitely many impacts over a finite time interval).Lemma 4 Let {t n : n ∈ N} be a sequence of successive impacts of a billiard trajectory z(t).Then Eq. (6) takes place.Remark 6 From Lemmas 3 and 4 it follows that the billiard trajectory is defined for all t ≥ 0 unless degenerate grazing occurs.The ball keeps moving infinite time, making infinitely many reflections from the rod, with the time intervals between impacts decreasing to zero.
Proof Recall that the function g = g n is defined by and by (18) and using that 1+a On the other hand, g (t) ≥ a n+1 b n+1 > a n+1 2 for all t.Further, using (15), one finds 1 and so, taking n 0 sufficiently large, so that δ n 0 < π/2, for n ≥ n 0 we have 1 is a positive value.Thus, It follows that for c 2 > 2/(3c 1 ) and for n sufficiently large, and so, δ n ≥ 1 c 2 n (1 + o( 1)), and δ n = ∞.We come to a contradiction.

Lemma 5
We have a n → 1 and b n → 1 as n → ∞.
Proof Using that δ n → 0 as n → ∞, b n > 1, and taking account of (17), one obtains where ξ n → 0 as n → ∞.Hence we have Let β = lim k→∞ b n k be the limit superior of b n .Taking n = n k − 1 in (20), we see that lim k→∞ b n k −1 exists and coincides with β.Passing to the limit k → ∞ in the equality Since by (10), b n = (1+a n δ n ) sin δ n δ n cos δ n , making this substitution in (16) and using that by Corollary 1, a n > 0 for n ≥ 2, after some algebra one obtains Hence we have Since δ n → 0, for any 0 < ε < 1 there exists n 0 = n 0 (ε) such that for all n ≥ n 0 , δ n < ε, and therefore, for a > Let us prove that a n < 1 + 2ε for n sufficiently large.First, for some n 1 ≥ n 0 holds a n 1 ≤ 1 + ε; otherwise the sequence a n , n ≥ n 0 is monotone decreasing with the increments a n < − ε 3 δ n , and therefore, tends to −∞.Second, for n > n 1 the inequality holds a n < 1 + 2ε.Otherwise let n 2 > n 1 be the smallest value that does not satisfy this inequality; then we have a n 2 −1 > 0, and therefore, by (22), a n 2 −1 ≤ 1 + ε.On the other hand, a n 2 −1 < δ n 2 −1 < ε, hence a n 2 < 1 + 2ε, in contradiction with our assumption.
It follows that lim sup a n ≤ 1.Further, from ( 21) one derives Let us show that for all 0 < ε < 1 there exist infinitely many values of n for which a n > 1−ε.Indeed, otherwise all a n for n sufficiently large lie in [0, 1 − ε], and the sum over n of the right hand sides in (23) is greater than ε n δ n (1 + o( 1)), and therefore, diverges to +∞.It follows that a n → +∞, which is impossible.Fix 0 < ε < 1.Using (23), we see that there exists m 0 such that for all n ≥ m 0 , the inequality 0 ≤ a n ≤ 1 − ε implies a n ≥ ε 2 δ n > 0. Additionally, since both sequences a n and δ n are bounded, there exists a constant c > 0 such that a n ≥ −cδ n .Choose a subsequence m Let a s k be the smallest value among this is obvious, and if s k ≥ n k + 2 then a s k −1 ≤ 0, and hence a s k −1 > 1 − ε.We have Since δ n k converges to zero, we conclude that the limit inferior of a n is ≥ 1 − ε, and taking into account that ε is arbitrarily small, lim inf a n ≥ 1. Lemma 5 is proven.

Corollary 2
The sequence r n tends to infinity and r n+1 /r n → 1.
Proof Using formula (9) one has Here we used the statement of Lemma 5.The sum of δ n diverges due to Lemma 4, so r n → ∞.
Overall, Claim (a) of Theorem 1 follows from Lemma 2. Claim (b) follows from Lemma 2 and Corollary 2. Claim (c) follows from Lemmas 3 and 4.

Conclusion
In a nutshell, the dynamics of the considered system can be regarded as follows: there are the billiard mode and the sliding one.If the initial conditions for the solution are such that the billiard motion is possible (a neighborhood of the corresponding positive semi-trajectory lies in the upper half-plane), the ball moves this way, even if the sliding motion is possible.
The solutions are defined for any initial conditions and are unique as time increases.The so-called chattering (infinitely many impacts on a finite time interval) is impossible for the considered system.
There might be the following scenarios of forward-in-time motion with the first collision taking place with a positive half-line.
1.A billiard motion, extendable to [0, ∞) going to infinity as time increases.2. A billiard motion that switches to a sliding regime with no further switches to billiard mode.3. A sliding motion that switches to a billiard mode.4. A sliding motion which never switches to the billiard regime.
For billiard motions, extendable to infinity, the solutions and their velocities tend to infinity whilst time intervals between neighbor impacts tend to zero.

Fig. 1
Fig. 1 Various trajectories of the ball in the rotating coordinate system.The rod rotates counterclockwise

Fig. 3
Fig. 3 The functions φ(s) = s/ tan s and (1 + a n s)/b n .In the left figure, b n > 1.In the right figure, b n = 1 and a n < 0 123 with the initial conditions (z(0), ż(0)) / ∈ M and such that z(t) ∈ C + for 0 ≤ t < t 1 and z(t 1 ) ∈ R + .Then this function can be uniquely extended to a billiard trajectory z(t), t ≥ 0. Additionally, the instants of subsequent hits t 1 < t 2 < t 3 , . . .are correctly defined and the following is true.