The math behind Sisyphos.
After I wrote the blog post about discrete random walks in 1D and their connection to Bessel functions, I started wondering about their continuous counterpart. In particular, one question that got stuck in my mind was what happens if you have discrete steps in one direction but continuous motion in the other. As I thought about the motivations for this case, I realized that it could be linked to a famous figure in Greek mythology: Sisyphos. „How?“ you may ask. To give a brief summary of his story, Sisyphos was the king of Corinth and was known for his cunning and cleverness. Depending on the story, he cheated death twice and was subsequently punished by the gods for this trickery and his arrogant belief that he was smarter than the gods. As punishment for his crimes, Hades made Sisyphos endlessly roll a huge boulder up a steep hill in Tartarus, only for it to roll back down each time it neared the top, repeating the action for eternity. More abstractly, what we have here is a walker moving up an inclined plane of some inclination angle in discrete steps with rate (from now on this is the right direction), interrupted by phases of continuously sliding back down the hill some distance* with rate (from now on this is the left direction). We can now ask whether our walker will ever climb the hill, or whether he will make no progress at all.
As for the original post on random walks, we will approach the question of stepping with backsliding using the probability for the walker (Sisyphos) to be at position at time . The time evolution of is described by the continuous analog of the master equation:
,
where are the continuous transition rate from position to . As ansatz from the transition rate, we use the following:
.
The first term is the rate of moving from the right to a position with distances given by the distribution of sliding distances (note that whenever is infinitely localized at one sliding distance, the model degenerates back to a normal random walker in 1D), while the second term is the rate of stepping from the left to with step size . Inserting this transition rate back into the master equation and further defining (we start at the origin), we get the equation
.
Without defining what the sliding distance distribution is, we cannot solve for the probability. However, we can already answer the question of whether Sisyphos will make any progress pushing the boulder up the hill. For this, we multiply the master equation by and integrate over . This gets us
,
and after solving the differential equation with the condition we get the average position of the sliding walker:
,
where is the average of the sliding distance distribution. We immediately see that the walker will on average only go up the hill if (which is not surprising, really). To complete the picture, we will also compute the variance. The relevant differential equation is
,
which leads to
,
i.e., the usual behavior of standard diffusion.
Although we don’t need the distribution of sliding distances for our problem, once you want to simulate this process, it’s good to have an idea of what might look like (and it’s also a nice exercise in model building, classical mechanics, and probability density transforms). The starting point is the standard textbook equation of motion of a particle sliding on an inclined plane with a friction term:
.
One can check through stability analysis that any friction force of the form will not lead to a fixed point of the dynamics, i.e. the particle will slide forever and never stop. This implies that we need a distance dependent friction term. Therefore we choose . To model the stopping of the motion and to find the point (and thus the distance) where the sliding ends, we have to think about forms of the friction coefficient . It is usually set to a constant, but we will make a simple linear ansatz:
.
To motivate having a linearly increasing coefficient of friction, imagine you’re climbing a hill and you start to slide down. Usually what happens is that you try to hold on to the ground more tightly, or you start „digging“ into the ground with your foot, thus increasing your coefficient of friction. Since this is expected to increase progressively as you slide down the hill, a linear approximation is justified. We are only interested in the position, thus we can rewrite the left derivative using the chain rule to get rid of the time dependence and arrive at
,
whose solution simply is
.
We define the moment when the velocity reaches zero (apart from ) as the distance at which the sliding stops. Therefore, we find the sliding distance to be given by
.
Two observations right from the start: as expected, the better your ability to stop yourself (greater ), the less you slide, and if is greater than , there is no sliding at all. Now, to use this expression to find a distribution of sliding distances, we promote the two friction coefficients and to distributions themselves and transform accordingly:
,
where and are the distributions of and , respectively. Perfoming the integral over gives
,
and to make things simple, we will set the zeroth-order friction factor constant, i.e., . This gives as distribution of sliding positions
.
All that remains is to motivate a form of the distribution function of the first-order friction coefficients. One condition that should satisfy is that is sufficiently suppressed so that Sisyphos doesn’t slide back down the whole hill, or in other words, the transformed distribution should not be too heavy tailed. Another desirable condition on the transformed distribution is that it „preserves“ the non-stochastic sliding position, i.e., that the mean satisfies . If we assume that is inversely gamma distributed according to
,
then these conditions are satisfied and we get a simple exponential distribution for the sliding positions:
,
neat. Now, one could actually try to solve the integro-differential equation that our master equation represents. However, I don’t think there are any analytical solutions to this equation, but you never know.
This was a rather tailored post for the specific question of how to describe discrete stepping with continuous backsliding. Still, it was interesting for me to use the continuous counterpart of the master equation, since you usually only use the discrete version. It was also a good chance to do some classical mechanics and probability density transformations again, as it’s been a long time since I’ve done either of those. Although I basically chose to get an exponential distribution of sliding distances, I wouldn’t say that the steps leading up to it weren’t well motivated, and it was nice to finally see it emerge at the end. But that should be it for now!
See you next time, Cheers!
*In Sisyphos‘ case, the walker would slide down to the foot of the hill, but for our problem, imagine that the hill is infinitely long, thus only finite sliding distances allowed
Hinterlasse einen Kommentar