Tom has Jerry backed against a wall. Tom is distance 1 away (perpendicularly). At time t=0, Jerry runs along the wall. Tom runs directly towards Jerry. Tom always runs directly towards Jerry. Tom and Jerry both run at the same speed.
- Does Tom catch Jerry?
- How close does he get (in the limit t tends to infinity)?
- What shaped curve does Tom run?
Edit: I made this problem up last week. Friends enjoyed it, I thought this site might too.
Hint: Take the x-axis as the wall, and assume Jerry runs to the right, without loss of generality at speed 1. Let $x(t)$ and $y(t)$ be Tom's position at time $t$. So $x(0) = 0$, and $y(0) = 1$.
Consider Tom's direction of travel at time $t$ towards Jerry at $(t, 0)$. Write $\theta$ for the (positive) angle below the horizon. Then
$$ \tan \theta = \frac{dy}{dx} = \frac {y}{t-x} $$
Tom runs at unit speed, so also
$$ \frac{dy}{dt} = - \sin \theta $$
$$ \frac{dx}{dt} = \cos \theta $$
That's as far as I got, I don't know how to solve such a complex differential equation.
Let $x=1$ be the wall, let Tom start at $(0,0)$, Jerry at $(1,0)$ upwards, and assume that both have the same speed $1$. Tom's orbit is then a graph curve $$\gamma: \quad x\mapsto \bigl(x,y(x)\bigr)\qquad(0\leq x<1)\ ,$$ whereby $y(0)=y'(0)=0$. At any point $(x,y)\in\gamma$ we have $$y'={\int_0^x\sqrt{1+y'^2}\>dx -y\over 1-x}\ .\tag{1}$$ One arrives at this equation by the following argument: When Tom is at $(x,y)$ he has run the length $s:=\int_0^x\sqrt{1+y'^2}\>dx$ so far. Therefore Jerry is at $(1,s)$ now, and this enforces $(1)$.
From $(1)$ we get $$(1-x)y'+y=\int_0^x\sqrt{1+y'^2}\>dx\qquad(0\leq x<1)\ .$$ In order to get rid of the integral we take the derivative with respect to $x$ and separate variables: $${y''\over\sqrt{1+y'^2}}={1\over 1-x}\ .$$ This leads to $$\log\bigl(y'+\sqrt{1+y'^2}\bigr)=\log{1\over1-x}+C\ ,$$ and the initial condition $y'(0)=0$ immediately gives $C=0$. We solve for $y'$ and obtain $$y'={1\over2}\left({1\over 1-x}-(1-x)\right)\ .$$ One more integration then gives $$y(x)={x^2\over4}-{x\over2}+{1\over2}\log{1\over 1-x}\qquad(0\leq x<1)\ .$$ This is the explicit shape of $\gamma$. In order to compute how far Tom is staying behind in the limit we have to compute the limit for $x\to 1-$ of $$\int_0^x\left(\sqrt{1+y'^2(x)}-y'(x)\right)\>dx=\int_0^x(1-x)\>dx=x-{x^2\over2}\ .$$ It follows that Tom stays ${1\over2}$ behind in the limit.