This entry is a retrospective summary of heursitics I occasionally came up with when I was at senior high school. Part of the idea presented in this article can be found in this post in Baidu Tieba (in Chinese only).
I taught myself calculus and linear algebra in senior high school, during which I did extensive exercises and I was already familiar many elementary calculus and linear algebra techniques then.
Let’s get to the topic. A typical kind of problems posed in exams of elementary calculus is the following: given a function that is continuous on a closed interval and (perhaps multiple-time) differentiable internally, and the condition of some values of the function on the boundary, prove that some designated equation of the function should hold for some point inside the interval. The solution is usually to apply the appropriate mean value theorems to some function, either given in the problem or an auxiliary one carefully constructed.
Example Let be a function differentiable on and twice differentiable in . Given and , show that there exists such that .
I gave a, presumably elegant, solution:
Solution By the condition we already know there exists some such that (this step is skipped for brevity, as it is not the concern here). Consider : by Rolle’s theorem has two (distinct) zeros in . Finally let : again by Rolle’s theorem has a zero in . When expanded and simplified, this is exactly what we want.
You may be curious how I knew how to transform the function. It’s inspired by solving the differential equation . Its solution is . On the other hand, one can rewrite the differential equation as . It is now very clear where the mysterious constructions come from.
If you really think for a moment, how is Rolle’s theorem similar to the differential equation ? Think for a moment before moving your eyeballs down.
My interpretation The solution to is . Rolle’s theorem says that, if an intervally continuous and internally differentiable function is constant on the boundary (similar to the solution to , just on the boundary), then its derivative vanishes somewhere inside the interval (similar to the equation , just somewhere inside the interval).
If the function satisfies the solution a bit, it also satisfies the equation a bit.
Applying the heuristics to general differential equations gives the hint. To solve an exam problem relating conditions of a function to some interior property of its (high-order) derivatives, solve the target equation as a differential function, and rewrite the equation by eliding the constants in the general solution with differentiation, then try constructing the functions all the way to see if it works.
I was not sure if the heuristics always worked, at least not when I was in senior high school. I searched the Internet after I discovered the magical trick. There was little written work on this, but still there was some. I cannot find the original document I once found, but an example of others’ discovery of the technique can be found here (in Chinese).
Rethinking it at this moment, it’s easy to give a proof for ‘factorable’ equations. Let be a linear differential equation operator and a continuous function on that is internally differentiable up to times. Suppose has distinct zeros on the interval. We would like to prove that for some . Consider the most nested factor: We set and apply Rolle’s theorem to obtain distinct zeros of Let , then is a solution to and has distinct zeros. We then continue the process inductively.
The requirement of ‘factorisable’ cannot be removed (hence not immediately obvious is how to relax it): Consider on , we have , but clearly has 3 distinct zeros. To further inspect the case, if we want to factor we will need , i.e., for some . For this factorisation to be successful, il faut et il suffit que the length of the interval (the domain) be less than . Otherwise said, the function needs 3 distinct zeros that are close enough.
Just mentioning, it is easy to extend this technique to the case of non-homogenous linear equation. For other equations, the trick serves purely as heuristics and a careful formal validation is still needed.