Skip to main content

Section 3.1 Periodicity

As hinted at in the prior section, our concern for this chapter will be to study functions that are periodic, that is, functions that repeat their behavior after a fixed change in the input variable (called the period of the function). Periodic functions are some of the most important in the physical sciences, engineering, and mathematics. We're setting the stage for your eventual adventures in partial differential equations, and so we need to treat two kinds of input variables, space and time. A typical function we might consider could look something like \(f(x, t) = y\text{,}\) where the position \(x\) and time \(t\) both determine the behavior of the output \(y\text{.}\)

For now, we'll restrict our attention to functions of one variable. A function \(f(t)\) is periodic of period \(T\) if there is some constant \(T\) so that

\begin{equation*} f(t) = f(t + T) \end{equation*}

for all \(t\text{.}\) Of course, if one such \(T\) exists, many do. That is, any integer multiple of the period is also a period. (For example, \(\cos t = \cos (t + 2n\pi)\) for every integer \(n\text{.}\)) The smallest such \(T\) for which \(f(t) = f(t + T)\) is called the fundamental period.

One iteration of the function over a period is called a cycle. The number of cycles per unit input is referred to in earlier courses as the frequency of the functions, but this isn't really a correct idea unless we're talking about a simple sine or cosine. Consider the function

\begin{equation*} f(t) = \cos 2\pi t + \frac{2}{3} \cos 6\pi t. \end{equation*}

The periods of the individual summands are 1 and 1/3 but the period of the entire function is 1.

While the period of \(f\) is 1, it doesn't really make sense to talk about the frequency of \(f\) as a single number, because \(f\) seems to carry two frequencies, one from each of the constituent cosines. Naturally, we might be led to the naive conclusion that any sum of period functions is periodic, but this can't be true. Functions with irrational periods make this impossible. Consider the function \(g(t) = \cos t + \sin \sqrt{2} t\text{.}\) No integer multiple of \(\sqrt{2}\) will ever coincide with an integer multiple of \(1\text{,}\) and so these functions will never coincide at the end of a cycle. (In fact, the graph of this function is quite chaotic.)

On the other hand, it's pretty easy to show that any two functions with rational periods must eventually coincide.

\(f\)\(T\)\(g\)\(S\)\(f + g\)

The classical example we see over and over again of time periodic systems is harmonic oscillation. We discover that the state of a harmonic oscillator is given by a function

\begin{equation*} x(t) = A \sin(2 \pi \nu t + \phi) \end{equation*}

for amplitude \(A\text{,}\) frequency \(\nu\text{,}\) and phase \(\phi\text{.}\) The period of the function is \(1/\nu\) (which you should show by direct computation).

For spatial periodicity, the classical problem is the distribution of heat on a circular ring. A point on the ring is designated by an angle \(\theta\text{.}\) Space periodicity comes from the fact that for any function that depends on the position on the ring \(f(\theta)\text{,}\) it will be the case that \(f(\theta) = f(\theta + 2\pi)\text{.}\) The problem is to give some initial distribution of heat on the ring. In the long run as \(t\to\infty\text{,}\) we expect the ring to be evenly distributed (constant for all \(\theta\)). So how can we write down the short term distributions?

Fourier's idea was to try to model the answer with a sum of sines:

\begin{equation*} T(\theta, t) = \sum_{n=1}^\infty A_n(t) \sin(n \theta + \phi_n). \end{equation*}

This idea basically launched the development of the language of modern physics and engineering.

A term \(\sin(n\theta + \phi)\) is called a harmonic (from the mathematics of music). In the same way that a musical chord is made up of several harmonics combined into a whole, so too is the function \(T(\theta,t)\) made up of harmonics that build the complete function. As weird as it seems, in some sense we're going to treat physical systems like music and try to pull the solutions apart in terms of their consituent notes.