Newton's law with Cantor potential

[jostpuur]

I want that [0,\infty[\to\mathbb{R}, t\mapsto x(t) satisfies

<br /> \ddot{x}(t) = -\partial_x U(x)<br />

where U:\mathbb{R}\to\mathbb{R} is some potential function. Then I set the initial conditions x(0) &lt; 0, \dot{x}(0)&gt;0, and define

<br /> U(x) = \left\{\begin{array}{ll}<br /> 0,&amp;\quad x &lt; 0\\<br /> \textrm{Cantor steps},&amp;\quad 0\leq x\leq 1\\<br /> 1,&amp;\quad x &gt; 1\\<br /> \end{array}\right.<br />

What's going to happen? How should the Newton's law be interpreted?

I've got a feeling that this has something to do with weak solutions, but it doesn't seem clear to me. For example

<br /> 0 = \int\Big(\ddot{\rho}(t) x(t) + \rho(t) \partial_xU(x(t))\Big) dt<br />

with some smooth test function \rho doesn't solve the problem, because you cannot get rid of \partial_x U with integration by parts.

 

[eztum]

By energy conservation you see that a step in U makes an instantaneous change in velocity of the particle. You represent the Cantor steps as a limit of step functions of increasing detail. For each such approximating 'pre Cantor' potential the motion is thus well defined. My further proceeding would be to produce the (x,t)-diagram for a few pre Cantor potentials (e.g. with Mathematica) and let me inspire in guessing a limit for the final U. The behavior of x(t) will, of course, depend decisevely on the initial velocity: is the particles kinetic energy large enough to hopp over the first step of U.
Good luck for your research, looks like an interesting problem.

 

[eztum]

What I proposed in my previous post as an computer experiment can be done by mere thinking:
I assume that 'Cantor steps' means indicator function of Cantor's ternary set. In particular
U(x) \in \{0,1\}.
Two cases:
(a) \quad \dot{x}(0) &lt; \sqrt{2} (i.e. E_\text{kin} &lt; U_\text{max})
(b) \quad \dot{x}(0) &gt; \sqrt{2}
The case of equality is unphysical i.e. corresponds not to a
real world situation, even after accepting reasonable idealizations.
Solution:
(a) The particle will become reflected at x=0 and will travel along the negative x-axis with constant velocity.
(b) The particle will traverse the Cantor steps region without any change of the original velocity and will at x=1 instantaneously become slowed down to velocity
\sqrt{{\dot{x}(0)}^2 - 2}
and will continue to travel with this constant value of velocity.
The reason that the Cantor steps region is traversed with unmodified velocity is as follows:
Consider any member of the sequence, the limit of which defines Cantor's set. Then the potential is a sum of finitely many plateaus (height 1) with valleys (height 0) in between. We see the particle slowed down to the previously mentioned value during traversing a Cantor plateau. At the end of the plateau, the original velocity will suddenly restituted. When following the sequence towards the limit, the cummulative length's of plateaus tends to zero (this is an elementary propery of Cantor's ternary set, explained e.g. in Wikipedia) so that the effect of the occasionally reduced velocity tends to zero.