1 Fourier Series Models
Fourier story
Baron Jean-Baptiste Joseph Fourier introduced the idea that an arbitrary function, even one defined by different expressions in adjacent sections of its range as in a staircase waveform, could be represented a single expression. Fourier developed the idea as a direct result of his research into the flow of heat within solid bodies.
Fourier was apparently obsessed with heat, one anecdote tells of him receiving visitors in his rooms with a roaring fire and wearing a heavy overcoat despite the summer temperature. This obsession may have been due to his sojourn in Egypt as a member of Napoleon’s Savants, 165 of the best and brightest of France’s academics.
By 1807 he had completed his theory of heat conduction which depended on the idea of analysing temperature distribution of heat within a metal bar into spatially sinusoidal components. Publication was hindered by a lack of support from the great mathematicians of the day, LaPlace, Lagrange and Poisson among others, who expressed doubts as to its veracity. Nevertheless, Fourier’s theory won a prestigious prize for mathematics in 1811 albeit with a caveat mentioning lack of generality and rigor. In fact publication was delayed further until 1815.
The problem lay in the fact that Fourier integrals rely on an interval stretching to infinity in all directions. In order to completely characterise the heat distribution in a metal bar the bar would have to be of infinite length as Fourier integrals are, by definition, over the interval [∞, ∞]. Fourier circumvented this difficulty by considering a bar that had been bent into a circle. In this way the temperature is thus forced to be spatially periodic. There is no problem with generality if one supposes the circumference of the circular bar to be larger than the greatest distance that could be of interest on a straight bar conducting heat.
The fomula is published by Euler when Fourier was only a boy and forms the basis on which Fourier built his theory.
This formula is correct however only for and not for other ranges of x. The right hand side is the Fourier series for the saw tooth periodic function f defined by:
Fourier wrote ”the equation is no longer true when the value of x is between π and 2π.
However, the second side of the equation is still a convergent series but the sum is not equal to . Euler who knew this equation gave it without comment”.