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, where the position x and time t both determine the behavior of the output y. 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
f(t)=f(t+T)
for all t. Of course, if one such T exists, many do. That is, any integer multiple of the period is also a period. (For example, cost=cos(t+2nΟ) for every integer n.) 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
f(t)=cos2Οt+23cos6Οt.
The periods of the individual summands are 1 and 1/3 but the period of the entire function is 1.
xxxxxxxxxx
var('t')
f(t) = cos(2*pi*t) + 2/3*cos(6*pi*t)
plot(f, (-3,3))
xxxxxxxxxx
var('t')
f(t) = cos(sqrt(2)*t) + cos(t)
plot(f, (-60,60))
Checkpoint 3.1.1.
x(t)=Asin(2ΟΞ½t+Ο)
for amplitude A, frequency Ξ½, and phase Ο. The period of the function is 1/Ξ½ (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 ΞΈ. Space periodicity comes from the fact that for any function that depends on the position on the ring f(ΞΈ), it will be the case that f(ΞΈ)=f(ΞΈ+2Ο). The problem is to give some initial distribution of heat on the ring. In the long run as tββ, we expect the ring to be evenly distributed (constant for all ΞΈ). 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:
T(ΞΈ,t)=ββn=1An(t)sin(nΞΈ+Οn).
This idea basically launched the development of the language of modern physics and engineering.
A term sin(nΞΈ+Ο) 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(ΞΈ,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.