This is a very simple question really: where did the name 'test functions', used nowadays when speaking of infinitely differentiable and compactly supported functions, come from? More to the point: is there a mathematical reason these functions are called that way?
Origin of the name 'test functions'
-
0For what it's worth: The early works of Laurent Schwartz on distributions don't use that name, see [here](http://www.numdam.org/item?id=AUG_1945__21__57_0) and [here](http://www.numdam.org/item?id=AUG_1947-1948__23__7_0) and if I remember correctly, his books don't use that name either (at least not in the French editions). (As far as I know test functions are called fonctions test in France). – 2011-06-24
-
1I was told that the name comes from the context of Razmadze's lemma, where you can guarantee a function is identically zero by "testing" it with (i.e. integrating against) such test functions. – 2011-06-24
-
0@Miha: Do you have a reference where that lemma appeared? I never heard it called this way. – 2011-06-24
-
0@Theo: Thanks! Those are some excellent references. – 2011-06-24
-
2@Miha: You mean the fundamental lemma of the calculus of variations? I have not seen it called like that either. – 2011-06-24
-
1@Theo: I do mean the fundamental lemma of the calculus of variations. It was referred to as such in my analysis lectures, but a Google search comes up with nothing, apart from a brief mention in a MacTutor article [link](http://www-history.mcs.st-and.ac.uk/Biographies/Razmadze.html) – 2011-06-24
-
0Well, we have a 20 year window then. I just checked Treves' TVS book, and he uses the term "test functions", and that is 1967. Whereas Theo's negative examples were from the late 1940s. I would not be surprised if the terminology was introduced in Gelfand-Shilov; but I don't have a copy of that to check handy. – 2011-06-24
-
0Hum, in J.L. Lions' review of the Russian original ([see here](http://www.ams.org/mathscinet-getitem?mr=97715) and [here](http://www.ams.org/mathscinet-getitem?mr=106409)), he uses the terminology "test functions" and "test spaces". It appeared in Volume 20 of the MathReviews, so that should pin it to be right around 1960. Though it seems (ping @Theo Buehler) at that time the French adjective "fondamentaux" is to be equated with the English "test". – 2011-06-24
-
0Okay, last bit of sleuthing before I go home for the night. In Bochner's 1952 [review of Schwartz's text](http://projecteuclid.org/euclid.bams/1183516520), I quote: "In Euclidean $E_k$ we consider a general function ... infinitely differentiable ... zero outside a bounded domain ... and, as in a previous context, we call such a function a *testing function*." (Emphasis original.) Now, if we could only figure out what previous context Bochner is talking about... – 2011-06-24
-
0@Miha: MathSciNet only lists four publications of Razmadze (of course, it's an unreliable source for the period of Razmadze's life), three are on problems concerning curves in the plane, and the only one addressing (a variant of) the fundamental lemma is the eponymous *[Über das Fundamentallemma der Variationsrechnung](http://dx.doi.org/10.1007/BF01458696)*, Math. Ann. **84** (1921), no. 1-2, 115–116. It is concerned with *continuous* functions, not locally integrable ones. [The fourth article](http://dx.doi.org/10.1007/BF01448019) contains a remarkable footnote by C. Carathéodory [in German]. – 2011-06-25
2 Answers
Okay, I am pretty sure I found the very first instance of this name.
In "Linear Partial Differential Equations, With Constant Coefficients" (Annals, 1946), Salomon Bochner defined a "testing function" to be a function of compact support, and spoke of "testing functions of class $C^k$", in a discussion concerning weak solutions and weak differentiation.
Salomon Bochner's review of Laurent Schwartz is perhaps the first instance where "testing functions" becomes associated with smooth functions of compact support, which space, in French, following the tradition of Sobolev's classic paper on the the Cauchy problem, is called "espace fondamental".
As evident in J. L. Lions' review of Gel'fand and Shilov's Russian text (also this), by 1960 it is already in the vocabulary of the experts that "test functions" should be identified with "fonctions fondamentales", and both meaning smooth functions of compact support.
-
0In the 1963 English edition of Gel'fand-Shilov, §1 of Chapter I is called "Test Functions and Generalized functions". In §1.2 we find the quotation "We shall call these functions the *test functions*, and we shall call $K$ the *space of test functions*." (original emphasis), where $K = \mathscr{D}(\mathbb{R}^n)$ in the usual notation. – 2011-06-25
-
0Excellent references as well, thanks! – 2011-06-25
-
0@Theo: thanks for the info. And for fixing the typos. – 2011-06-25
-
0@Theo: ah, the 'info' in my previous comment refers to both that and your comment above; so yes, I saw it. I suspected the story ended tragicly, but that's of course the part I could parse the least. – 2011-06-25
Test functions are not necessarily compactly supported functions. Test functions belonging to the function space S(R), the Schwartz space of functions, have unbounded support.