More about the Snail Problem posts by Darmok. Some math, and some background about the problem. This post is based upon Darmok’s most recent posts Snail Problem, Parts 4 and 5. Because I want to use previews, to check the Latex code before publishing, I’m not using the WordPress reblog mechanism. I’ll give links to all five of Darmok’s posts, and to my two prior posts on this topic, and to the several resources found, later on towards the end of this post.
MATH:
First some math. Given a twig of initial length growing at a rate
, so that its length at time
is
. A snail is crawling along the twig with position
at time
. The snail starts at the base of the twig at time 0, so that
. The problem (restated) is to find an expression for the position
of the snail, and to determine the time
when the snail reaches the end of the twig. Darmok has solved this in his posts (links below). My earlier note on this had some errors.
The solution is
The time at which the snail reaches the end of the twig is finite, and given by
or
I like the latter form because it emphasizes the appearance of an structure in the solution. The factor
is the time the snail would take to traverse the twig’s original length, ie if the twig were not growing. It is multiplied by a factor
, where
is the ratio of the twig’s growth rate to the snail’s proper speed, representing the expansion of the snail’s travel time.
Inverting the equation for for the snail’s distance travelled in terms of time, produces an equation
for the time the snail takes to travel a distance
. That expression involves the Lambert W function, as previously mentioned. I am going to reserve the details for now. My previous post on this had an error — it is Lambert W, but not the expression which I posted. I want to check my new formula.
However, it may be of interest to remark that the Lambert W function is closely related to a geometric curve, the quadratix of Hippias. The quadratix can be used to solve various problems, in the style of the Greek geometers (one of whom was Hippias, of course). It offers the possibility that the quadratix of Hippias could be used as part of a geometric solution of the snail problem. That might make a very nice diagram.
BACKGROUND:
Now for some background about the snail problem. The only mention of this problem in its “snail on a twig” variant that I have found on the net, is a quiz in Alexandre Kirillov’s advanced calculus course in fall 2012 (links below to the quiz, to his teaching assistant Zhaoting Wei’s website which has the quiz posted, and to A. Kirillov’s home page). I wrote Kirillov, and he told me that the problem is “part of the mathematical folklore of the Math Department of Moscow University” in the 1950’s and 1960’s, and could be found in some lectures, handouts and books written by Moscow mathematicians. I have not yet gone looking. You also might enjoy that search. One possible resource which Kirillov suggested is the Arnold problem collection “Trivia” published in Uspekhi Mat. Nauk. Upon further inquiry, Kirillov also wrote me that he “certainly knew this problem before 1972 and it could be much older”.
There is a Wikipedia article (link below) of the same problem, described as an ant marching along a rubber rope. That article mentions the problem appearing in one of Martin Gardner’s “Mathematical Games” columns which appeared in Scientific American magizine. I don’t know which year/issue. However, that column has been reprinted in Gardner’s book “Time Travel and Other Mathematical Bewilderments”, Freeman, 1988, pages 111-112 and 118-119, and that book is sitting in front of me at the moment. (Thank you to local public library!) The chapter title is “The Rubber Rope and Other Problems”, which is probably also the subtitle of that instance of Gardner’s Mathematical Games column, if you want to search the Scientific American article database.
Gardner says “This delightful problem, which has the flavor of a Zeno paradox, was devised by Denys Wilquin of New Caledonia. It first appeared in December 1972 in Pierre Berloquin’s lively puzzle column in the French monthly “Science et Vie”.
I will leave it up to others to pursue questions of priority, as priority is not my concern. I am more curious about the intellectual history behind an interesting problem. My own stance is to rely upon Kirillov’s recollection, that the problem was extant in the 1950’s or 1960’s.
Good problems, like folk tales, float around in our collective conversation and acquire various guises as noun substitutions are made (snail, ant, caterpillar etc) and, more significantly, as new contexts are imagined. The choices of nouns and contexts are made to highlight some aspect which is of particular interest to the audience. The dynamics, the verb phrases of the problem, the processes which are involved with its exploration — those are more important than the nouns and the contexts.
I imagine that the snail problem might have even older appearances, for instance perhaps in the papers or correspondence of the mathematicians of the 1800’s, as it is the sort of enjoyable and intriguing puzzle that would have entertained many over the ages. The snail problem has relationships to Zeno’s paraoxes, and to the limiting arguments of Archimedes, and as noted above, possibly has a geometric solution related to the quadratix of Hippias.
Perhaps I should mention that the solution in Gardner’s column was not the differential equation approach found by Darmok, though of course the solutions are comparable. The one which Gardner gives is a series argument, based on the relative distance travelled by the snail (ant). It relies upon the divergence of a uniformly distributed subset of the terms of the series
to establish that the snail can reach any relative distance, hence can get to the end of the twig (rope).
That’s all for today! You will find plenty to explore in the links below.
Best wishes,
Ken Roberts
01-March-2014
Useful links:
The five snail problem posts by Darmok:
My two prior posts on this topic:
https://lasi2.wordpress.com/2014/02/24/snail-problem-part-3/ (and see comments)
https://lasi2.wordpress.com/2014/02/23/snail-problem/ (and see comments)
Info about the quadratix of Hippias:
http://mathworld.wolfram.com/QuadratrixofHippias.html
Alexandre Kirillov quiz which mentions snail problem, and related pages:
http://www.math.upenn.edu/~zhaotwei/math_360_fall_2012/quiz_0.pdf (the quiz itself)
http://www.math.upenn.edu/~zhaotwei/math_360_fall_2012.html (course webpage by Zhaoting Wei)
http://www.math.upenn.edu/~kirillov/ (Alexandre Kirillov home page)
Wikipedia article about ant on a rubber rope:
http://en.wikipedia.org/wiki/Ant_on_a_rubber_rope
Discussion of cosmological aspect of problem:
http://cosmoquest.org/forum/showthread.php?72930-The-Ant-and-Rope-thing