An approximate solution, as I heard often from Professor Middlebrook,1 is better than an exact solution. An ideal approximate solution would also share important features of the exact solution yet not become messy.

An Euler solution to an ordinary differential equation (ODE) can succeed on the first count. Compared to an exact solution, a crude Euler solution can fit on the back of an envelope while giving physical insight. As an illustration, here's the ODE for the fall speed, v, of a rain drop

dvdt=gkv2,
(1)

where k contains the air density and the drop's drag coefficient, mass, and size.

The drop's terminal speed is vterm=g/k, which gives the system a time constant τ=vterm/g. With the extreme time step Δt=τ, the crude-Euler solution is just two straight lines (Fig. 1). From them, we see how the true v(t) starts, tangent to the first slanted line, and see that it bends smoothly underneath the enclosure. However, how much does it bend? For example, what fraction of vterm has the drop reached after one time constant?

To find out, we could use Euler with a smaller step size, say Δt=τ/2. We get more algebra and arithmetic (predicting a fraction of 7/8) but without much more insight.

This brute-force approach also ignores a mathematical intuition: that local information about a function makes a wobbly pedestal from which to launch a prediction.2 My favorite, even if the extreme, example is the function f(x)=e1/x2. All its derivatives are zero at x =0, making the quintessential local analysis, the Taylor series, zero everywhere. Yet the function still manages to get off the ground. A less extreme example is f(x)=tanx. Based on its first three derivatives at zero (f(0)=1,f(0)=0, and f(0)=2), who could guess that it has diverged by x=π/2?

The brute-force approach also ignores what we know physically: that the drop's acceleration, dv/dt, cannot drop abruptly at t=τ (when it drops from g to 0). Forces are produced by physical systems, which cannot reconfigure themselves infinitely fast. So, neither forces nor accelerations should change abruptly.

Let us fix these mathematical and physical infelicities. To avoid clutter, let us work with the nondimensionalized version of the ODE, Eq. (1). It is

v¯dv¯/dt¯=1v¯2,
(2)

where the nondimensionalized speed and time are v¯v/vterm and t¯t/τ, respectively. With these variables, the problematic lumped v¯ is a simple step function (Fig. 2).

Knowing that no physical quantity changes so abruptly, we can improve our lumping approximation by making v¯ continuous and, to avoid overcomplicating it, also piecewise straight (Fig. 3).

This revision makes v¯(1), the area under the v¯ triangle, equal to 1/2. Then, we get a revised v¯ picture incorporating what we know so far: v¯(0)=0, v¯(1)=1/2,v¯(0)=1, and v¯(1)=0 (Fig. 4).

However, this figure contradicts itself. The nondimensionalized ODE, Eq. (2), requires that v¯(1)=1v¯2(1), which is now 3/4. However, the figure shows v¯ reaching zero. Fortunately, this conflict can be resolved through iteration.

  1. Make v¯ descend linearly from v¯(0)=1 to the newly calculated v¯(1)=3/4 (instead of 0).

  2. Integrate the revised v¯ shape (a trapezoid) to revise v¯(1).

  3. Put v¯(1) into the ODE to revise v¯(1), and go to step 1 with the new v¯(1) replacing the 3/4 there.

This feedback loop quickly converges to a consistent v¯ and v¯ over the range t¯=01. (These v¯ and v¯ curves will not be fully consistent; only the exact ODE solution could be. However, they are more consistent than were the piecewise-straight v of Fig. 1 and the v¯ of Fig. 2.)

We can short-circuit the loop by finding the iteration's fixed point.3 The integration (step 2) takes the averaged slope and multiplies it by the Euler step, which is Δt¯=1, to get the new v¯(1)

v¯(1)=0v¯(0)+1Δt¯·[1v¯(0)+(1v¯(1)2)v¯(1)2]averaged slope ofv¯.
(3)

This self-consistency constraint simplifies to

v¯(1)2+2v¯(1)2=0,
(4)

whose solution is v¯(1)=310.73. So, after one time constant, the rain drop—or, such is the magic of universal functions,4 any falling object subject to quadratic drag—has reached approximately 73% of its terminal speed. The exact ODE solution, v¯exact=tanh t¯, gives the fraction as approximately 76%. In between, our approximated v¯ curve is a parabola piece that also closely matches the exact solution (Fig. 5).

You can test drive this self-consistent lumping method on the exponential-decay ODE, dy/dx=y. Even with the huge Euler step of Δx=1, the result is reasonable: y=3x for integer values of x, with parabola pieces fitting smoothly in between. For this ODE, the method, even with such a huge step, is equivalent e3, which might even be too accurate for the back of an envelope.

Sanjoy Mahajan is interested in the art of approximation and physics education and has taught varying subsets of physics, mathematics, electrical engineering, and mechanical engineering at MIT, the African Institute for Mathematical Sciences, and the University of Cambridge. He is the author of Street-Fighting Mathematics (MIT Press, 2010), The Art of Insight in Science and Engineering (MIT Press, 2014), and A Student's Guide to Newton's Laws of Motion (Cambridge University Press, 2020).

The author has no conflicts to disclose.

1.
Sanjoy
Mahajan
, “
Fleeing from the quadratic formula
,”
Am. J. Phys.
87
,
332
334
(
2019
).
2.
It is very hard to predict, especially the future
.” This saying has often been credited to Niels Bohr (who perhaps learned it as a Danish proverb):
Stanislaw M.
Ulam
,
Adventures of a Mathematician
(
Charles Scribner
,
New York
, 1976), p.
286
, cited in Quote Investigator, “
It's difficult to make predictions, especially about the future
” (
2021
).
3.
The resulting v¯ is similar to the parabolic trial functions discussed in
J. R.
Acton
and
P. T.
Squire
,
Solving Equations with Physical Understanding
(
Adam Hilger, Bristol
,
UK
,
1985
), Chap. 5. This outstanding book is unfortunately out of print. Paging Dover Publications!
4.
Sanjoy
Mahajan
, “
Universal functions
,”
Am. J. Phys.
90
,
253
255
(
2022
).