# substantiating claimed Fourier quote about “an arbitrarily capricious graph”

There is a quote fairly widely attributed to Fourier, but I can't substantiate it. That is, I can't verify that he actually said or wrote it (in any language). Can anyone help me out? Here is the quote in English: "An arbitrary function, continuous or with discontinuities, defined in a finite interval by an arbitrarily capricious graph can always be expressed as a sum of sinusoids". For example, the statement appears in Gao and Yan (2011): It seems it has been attributed both to Fourier's 1807 dissertation and to his 1822 "Analytical Theory of Heat" monograph. The 1822 work has long ago been translated into English by Alexander Freeman and is available on archive.org. However, I can't find any text written by Fourier that is a close match to the claimed quote. Anyone have a solid reference (in any language)?

I have already asked what is basically this same question on math.stackexchange, where it was suggested that I ask it here on hsm.

Of special interest in the claimed quote is the explicit phrase, "continuous or with discontinuities" (even though this can be inferred implicitly from "fonctions etièrement arbitraires"). The explicit reference to both continuous and discontinuous was, historically, a revolutionary claim. Before the Fourier expansions with coefficients calculated using integrals and bases of sinusoids, there was the Taylor expansions with coefficients calculated using derivatives and bases of polynomials $$(x-a)^n$$. The Taylor expansions were limited to analytic functions...and thus global expansions of discontinuous functions were simply out of the question. Then along came Fourier with a truly revolutionary claim that his expansion worked not only for continuous functions, but discontinuous as well! And to add insult to injury, Fourier wasn't even really a mathematician (but rather an engineer among other things). For more information, see Enders A. Robinson's paper, "A Historical Perspective of Spectrum Estimation"

• Are we generally confident that Fourier used the term "discontinuous" for the same type of functions we modern folk call "discontinuous"? Not denying; just that I don't know. – Carl Witthoft Nov 20 '19 at 13:30
• I think that Carl Witthoft pinpointed the real question: do Fourier proved that a discontinouos function (in the modern sense) can always be expressed as a sum of sinusoids? In his dissertation Fourier don not provide a definition of discontinuous function (and of course of continuous function) in a point or in an interval, so we can only infer such a definition from the context. In article 14 we read: "fonctions qui ne sont point assujéties à une loi constante, et qui représentent les ordonnées des lignes irrégulières ou discontinues", so ... – user6530 Nov 21 '19 at 14:46
• we can deduce that a function like f(x)=x^2*sin(1/x) for x!=0 and f(0)=0 is not continuous (nor differentiable) in the Fourier's sense. – user6530 Nov 21 '19 at 14:49
• About continuity and discontinuity you can read here jstor.org/stable/pdf/2325087.pdf some interesting observations (see page 8(433)) and if you can read french this arxiv.org/ftp/arxiv/papers/1211/1211.0794.pdf especially the quot of Libri "... fonction discontinue quelconque, dont les diverses parties, comprises entre des limites données de la variable, suivent une marche dissemblable, et sont représentées par des expressions différentes" where it is clear that actually Fourier considered defined piecewise continuous functions with a finite number of discontinuities – user6530 Nov 25 '19 at 11:51
• The jstor one is also available here: math.ucdavis.edu/~saito/courses/121/gonzalez.pdf – Daniel J. Greenhoe Nov 27 '19 at 10:53

## 2 Answers

You can find the quote (or something similar) in multiple places in the Théorie analytique de la chaleur, for example in

Chapter I,

paragraph (article) 14:

"L'examen de cette condition fait connaître que l'on peut développer en séries convergentes, ou exprimer par des intégrales définies, les fonctions qui ne sont point assujéties à une loi constante, et qui représentent les ordonnées des lignes irrégulières ou discontinues. Cette propriété jette un nouveau jour sur la Théorie des équations aux différences partielles, et étend l'usage des fonctions arbitraires en les soumettant aux procédés ordinaires de l'analyse."

Chapter IV, Section VI,

paragraph 219:

"Nous avons supposé jusqu'ici que la fonction dont on demande le développement en séries de sinus d'arcs multiples, peut être développée en une série ordonnée, suivant les puissances de la variable x, et qu'il n'entre dans cette dernière série que des puissances impaires. On peut étendre les mêmes conséquences à des fonctions quelconques, même à celles qui seraient discontinues et entièrement arbitraires."

paragraph 220:

"Cette remarque est importante, en ce qu'elle fait connaître comment les fonctions entièrement arbitraires peuvent aussi être développées en séries de sinus d'arcs multiples."

paragraph 229:

"Les suites formées de sinus ou de cosinus d'arcs multiples sont donc propres à représenter entre des limites déterminées, toutes les fonctions possibles, et les ordonnées des lignes ou des surfaces dont la loi est discontinue."

paragraph 278:

"[...] Ainsi ce théorême qui donne, entre des limites assignées, le développement d'une fonction arbitraire en séries de sinus ou de cosinus d'arcs multiples se déduit des règles élémentaires du calcul. [...] Dans la question suivante, on réduit encore la fonction arbitraire en une série de sinus"

• None of your quotes says "capricious", but merely "completely arbitrary", right? – Gerald Edgar Nov 23 '19 at 14:10
• @GeraldElgar No, the term "capricious" never appear in the Théorie analytique de la chaleur nor in the second part of the Théorie de la propagation de la chaleur dans les solides (from article 80 on, the first part in another volume that I cannot consult in this moment), so I totally agree with Daniel J. Greenhoe. Anyway, I think that there are some evidences that the quote is at least altered, as I'm sure that Fourier never said something like "function defined in a finite interval" but used that phrase "développement entre des limites déterminées", i.e. "between some defined boundaries" ... – user6530 Nov 25 '19 at 11:42

I think the conclusion here is that there is no proof that the claimed Fourier quote is an actual Fourier quote (in any language). However,
(1) Absence of proof is not proof of absence.
(2) Although Fourier may have not communicated the quote in substance, he did arguably communicate the quote in essence.

Possibly what happened was that someone wrote a commentary/summary regarding Fourier's work, and then later someone else came along thinking it was an actual quote, published the commentary with quotes around it... and thus a mathematical urban legend was born(?).

Any author who is looking for a substantiated Fourier quote to replace the claimed quote could consider extracting one from Fourier 1822 Section 219, as referenced by @user6530:
"Up to this point we have supposed that the function whose development is required in a series of sines of multiple arcs can be developed in a series arranged according to powers of the variable x,... We can extend the same results to any functions, even to those which are discontinuous and entirely arbitrary."
(Fourier (1822), §219, page 184, translation by Alexander Freeman).