Return to Answer

If you look at this expression for a little while, you will be able to deduce things like uniform continuity on any interval $[\epsilon, \infty)$, differentiability on such intervals, so on. The point is that even when general technology works, it can be quite instructive to use "general methods", but execute them on explicit examples.

One more example: it's very easy to find a faulty proof of the chain rule if your point of view is not general enough. The first thing people try to analyze the difference quotients for $f(g(x))$ is to multiply and divide by $g(x+h) - g(x)$. But then you get into these hairy problems where the number by which you divide may be zero. If you want to find the correct proof, you should take the point of view that the chain rule is a statement which should be true for maps between Euclidean spaces of any dimension. It just says the linearization of the composition is the composition of the linearizations. With this point of view in mind, you should not dare to try dividing, because dividing by $g(x+h) - g(x)$ does not even make sense in this generality.

Here's another: prove that $\int_{\mathbb R} e^{i \xi x} e^{- x^4 } dx$ is bounded by $\frac{C}{(1 + |\xi|)^2}$. Somehow you have to recognize the key features of $e^{-x^4}$ are that it will cancel against something very oscillatory because it is so smooth. Similar example problem: prove the decay for large $\xi$ of $\int_{\mathbb R} \log(1 + .5 \sin(\xi x) ) e^{- x^4 } dx$. It seems like this "look for a more general setting" trick really needs to be drilled into you for it to work because... it may require some imagination.

If you look at this expression for a little while, you will be able to deduce things like monotonicity, uniform continuity on any interval $[\epsilon, \infty)$, differentiability on such intervals, concavity, so on. The point is that even when general technology works, it can be quite instructive to use "general methods", but execute them on explicit examples.

One more example: it's very easy to find a faulty proof of the chain rule if your point of view is not general enough. The first thing many people try to do to analyze the difference quotients for $f(g(x))$ is to multiply and divide by $g(x+h) - g(x)$. But then you get into these hairy problems where the number by which you divide may be zero. If you want to find the correct proof, you should take the point of view that the chain rule is a statement which should be true for maps between Euclidean spaces of any dimension. It just says the linearization of the composition is the composition of the linearizations. With this point of view in mind, you should not dare to try dividing, because dividing by $g(x+h) - g(x)$ does not even make sense in this generality.

Here's another: prove that $\int_{\mathbb R} e^{i \xi x} e^{- x^4 } dx$ is bounded by $\frac{C}{(1 + |\xi|)^2}$. Somehow you have to recognize the key features of $e^{-x^4}$ are that it will cancel against something very oscillatory because it is so smooth. Similar example problem: prove the decay for large $\xi$ of $\int_{\mathbb R} \log(1 + .5 \sin(\xi x) ) e^{- x^4 } dx$. It seems like this "look for a more general setting" trick really needs to be drilled into you for it to work because... it may require some imagination or experience to know what the right general setting is.

$ (f(x+h) - f(x)) \cdot \int_0^1 3 (s f(x) + (1-s) f(x + h))^2 ds $

You might argue that these direct proofs are the most insightful, but one is more likely to first find a general proof (especially if the appropriate general apparatus already exists), and then the direct proofs can only be found later indeed because they require a more direct understanding of the specific problem. I personally use the cube root of 7 (which nobody can name) in calculus lectures to motivate the concept of continuity, so I agree here it's a very natural use of the concept.

Here's another: prove that $\int_{\mathbb R} e^{i \xi x} e^{- x^4 } dx$ is bounded by $\frac{C}{(1 + |\xi|)^2}$. Somehow you have to recognize the key features of $e^{-x^4}$ are that it will cancel against something very oscillatory because it is so smooth. It seems like this "look for a more general setting" trick really needs to be drilled into you for it to work because... it may require some imagination. What some examples show is that finding the proof may be much more difficult, maybe impossible, without a willingness to work in this direction.

$ (f(x+h) - f(x)) \cdot \int_0^1 3 (s f(x+h) + (1-s) f(x))^2 ds $

You might argue that these direct proofs are the most insightful, but one is more likely to first find a general proof (especially if the appropriate general apparatus already exists), and then the direct proofs can only be found later indeed because they require a more direct understanding of the specific problem. I personally use the cube root of 7 (which nobody can name) in calculus lectures to motivate the concept of continuity, so I agree here it's a very natural use of the concept to define the cube root.

Here's another: prove that $\int_{\mathbb R} e^{i \xi x} e^{- x^4 } dx$ is bounded by $\frac{C}{(1 + |\xi|)^2}$. Somehow you have to recognize the key features of $e^{-x^4}$ are that it will cancel against something very oscillatory because it is so smooth. Similar example problem: prove the decay for large $\xi$ of $\int_{\mathbb R} \log(1 + .5 \sin(\xi x) ) e^{- x^4 } dx$. It seems like this "look for a more general setting" trick really needs to be drilled into you for it to work because... it may require some imagination.

What some examples show is that finding the proof may be much more difficult, maybe impossible, without a willingness to work in this direction.

Differential equations have, I think, a lot of examples. If you want to learn something about the exponential function and your point of view is that it is the unique solution to $\frac{df}{dx} = f$ (or $\frac{df}{dx} = i f )$ with data $f(0) = 1$, then in order to give a differential equation-type analysis to prove the basic properties (which is fun) you will often have to consider the same differential equation with more general data (and in particular prove uniqueness of the $0$ solution). In fact, you may be tempted to consider more general ODE's like $\frac{df}{dx} = F(x, f)$ because this point of view can inspire some of the techniques.

One last example: it's very easy to find a faulty proof of the chain rule if your point of view is not general enough. The first thing people try to analyze the difference quotients for $f(g(x))$ is to multiply and divide by $g(x+h) - g(x)$. But then you get into these hairy problems where the number by which you divide may be zero. If you want to find the correct proof, you should take the point of view that the chain rule is a statement which should be true for maps between Euclidean spaces of any dimension. It just says the linearization of the composition is the composition of the linearizations. With this point of view in mind, you should not dare to try dividing, because dividing by $g(x+h) - g(x)$ does not even make sense in this generality.

You might argue that these direct proofs are the most insightful, but one is more likely to first find a general proof (especially if the appropriate general apparatus already exists), and then the direct proofs can only be found later indeed because they require a more direct understanding of the specific problem. I personally use the cube root of 7 (which nobody can name) in calculus lectures to motivate the concept of continuity, so I agree here it's a very natural use of the concept.

Differential equations have, I think, a lot of examples. If you want to learn something about the exponential function and your point of view is that it is the unique solution to $\frac{df}{dx} = f$ (or $\frac{df}{dx} = i f )$ with data $f(0) = 1$, then in order to give a differential equation-type analysis to prove the basic properties (which is fun) you will often have to consider the same differential equation with more general data (and in particular prove uniqueness of the $0$ solution). In fact, you may be tempted to consider more general ODE's like $\frac{df}{dx} = F(x, f)$ because this point of view can inspire some of the techniques. It also helps greatly (say if you want to prove $e^{it}$ is periodic) to just know what a vector field is and have that point of view.

One more example: it's very easy to find a faulty proof of the chain rule if your point of view is not general enough. The first thing people try to analyze the difference quotients for $f(g(x))$ is to multiply and divide by $g(x+h) - g(x)$. But then you get into these hairy problems where the number by which you divide may be zero. If you want to find the correct proof, you should take the point of view that the chain rule is a statement which should be true for maps between Euclidean spaces of any dimension. It just says the linearization of the composition is the composition of the linearizations. With this point of view in mind, you should not dare to try dividing, because dividing by $g(x+h) - g(x)$ does not even make sense in this generality.

Here's another: prove that $\int_{\mathbb R} e^{i \xi x} e^{- x^4 } dx$ is bounded by $\frac{C}{(1 + |\xi|)^2}$. Somehow you have to recognize the key features of $e^{-x^4}$ are that it will cancel against something very oscillatory because it is so smooth. It seems like this "look for a more general setting" trick really needs to be drilled into you for it to work because... it may require some imagination. What some examples show is that finding the proof may be much more difficult, maybe impossible, without a willingness to work in this direction.