Dynamical system
This billiard is a dynamical system for which i should construct attractors and numerically find its fractal dimensions. (
http://en.wikipedia.org/wiki/Dynamical_billiards)
Let's say that only the boundary is oscillating. Let mass of the particle be 1.
Phase space
What are the coordinates in the phase space?
Would coordinate pair (s,v) suffice to describe the motion of out particle? Here s is the perimeter length, position of the collision on the circle, and v speed of the particle.
Collision on the oscillating boundary
If the boundary would be fixed then the particle would reflect specularly (the angle of incidence equals to the angle of refection), with no change in the tangential component of speed and with instantaneous reversal of the speed component normal to the boundary.
But because our boundary is oscillating in horizontal direction, the angle of reflection is not the same to the angle of incidence because the particle gets another component of speed in the horizontal direction from the wall of billiard.
The collision is elastic, therefore the energy and momentum are conserved (
http://en.wikipedia.org/wiki/Elastic_collision)
v_2' = \frac{v_2(m_2-m_1)+2m_1v_1}{m_1+m_2}:
where v_2' is the speed of particle after the collision and v_2 its speed before the collision, v_1 is the speed of the billiard boundary before the collision.
The potential of billiard is V(q)=\begin{cases} 0 \qquad q \in Q \\ \infty \qquad q \notin Q \end{cases}
where Q the region inside the circle. The particle can't affect the movement of the boundary: m_1\gg m_2 and thus from the above equation v_2'=2v_1-v_2.
We describe the oscillation of the boundary by x(t)=x_0\sin(\omega t) for every point of boundary. The absolute value of speed in the moment after the collision is then v_2'=2x_0\omega\cos(\omega t)-v_2=f(t)-v_2, where t is the moment of collision.
Poincaré return map
To find attractors in the phase space i should first construct the Poincaré map. For that i should know what will be the phase space and then discretize continuus time dynamics to discrete time dynamics. For the case of billiards that is of course dynamics between subsequent collisions: (s_n,v_n)\to (s_{n+1},v_{n+1}).
I realize this is quite a geometric problem. But i don't know if this is at all the correct way to finding Poincaré return map.
Any suggestions?