# Periodic function

In mathematics, a **periodic function** is a function that repeats its values in regular intervals or periods. The most important examples are the trigonometric functions, which repeat over intervals of 2π radians. Periodic functions are used throughout science to describe oscillations, waves, and other phenomena that exhibit periodicity. Any function that is not periodic is called **aperiodic**.

## DefinitionEdit

A function `f` is said to be **periodic** if, for some **nonzero** constant `P`, it is the case that

for all values of `x` in the domain. A nonzero constant P for which this is the case is called a **period** of the function. If there exists a least positive^{[1]} constant `P` with this property, it is called the **fundamental period** (also **primitive period**, **basic period**, or **prime period**.) Often, "the" period of a function is used to mean its fundamental period. A function with period `P` will repeat on intervals of length `P`, and these intervals are sometimes also referred to as **periods** of the function.

Geometrically, a periodic function can be defined as a function whose graph exhibits translational symmetry. Specifically, a function `f` is periodic with period `P` if the graph of `f` is invariant under translation in the `x`-direction by a distance of `P`. This definition of periodic can be extended to other geometric shapes and patterns, as well as be generalized to higher dimensions, such as periodic tessellations of the plane. A sequence can also be viewed as a function defined on the natural numbers, and for a periodic sequence these notions are defined accordingly.

## ExamplesEdit

### Real number examplesEdit

For example, the sine function is periodic with period , since

for all values of . This function repeats on intervals of length (see the graph to the right).

Everyday examples are seen when the variable is *time*; for instance the hands of a clock or the phases of the moon show periodic behaviour. **Periodic motion** is motion in which the position(s) of the system are expressible as periodic functions, all with the *same* period.

For a function on the real numbers or on the integers, that means that the entire graph can be formed from copies of one particular portion, repeated at regular intervals.

A simple example of a periodic function is the function that gives the "fractional part" of its argument. Its period is 1. In particular,

The graph of the function is the sawtooth wave.

The trigonometric functions sine and cosine are common periodic functions, with period 2π (see the figure on the right). The subject of Fourier series investigates the idea that an 'arbitrary' periodic function is a sum of trigonometric functions with matching periods.

According to the definition above, some exotic functions, for example the Dirichlet function, are also periodic; in the case of Dirichlet function, any nonzero rational number is a period.

### Complex number examplesEdit

Using complex variables we have the common period function:

Since the cosine and sine functions are both periodic with period 2π, and the complex exponential above is made up of cosine and sine waves, the above (actually Euler's formula) has the following property. If *L* is the period of the function then

Complex functions may be periodic along one line or axis in the complex plane but not on another. For instance, is periodic along the imaginary axis but not the real axis.

#### Double-periodic functionsEdit

A function whose domain is the complex numbers can have two incommensurate periods without being constant. The elliptic functions are such functions. ("Incommensurate" in this context means not real multiples of each other.)

## PropertiesEdit

Periodic functions can take on values many times. More specifically, if a function is periodic with period , then for all in the domain of and all positive integers ,

If is a function with period , then , where is a non-zero real number such that is within the domain of , is periodic with period . For example, has period therefore will have period .

Some periodic functions can be described by Fourier series. For instance, for *L*^{2} functions, Carleson's theorem states that they have a pointwise (Lebesgue) almost everywhere convergent Fourier series. Fourier series can only be used for periodic functions, or for functions on a bounded (compact) interval. If is a periodic function with period that can be described by a Fourier series, the coefficients of the series can be described by an integral over an interval of length .

## GeneralizationsEdit

### Antiperiodic functionsEdit

One common subset of periodic functions is that of **antiperiodic functions**. This is a function *f* such that *f*(*x* + *P*) = −*f*(*x*) for all *x*. (Thus, a *P*-antiperiodic function is a 2*P*-periodic function.) For example, the sine and cosine functions are π-antiperiodic and 2π-periodic. While a *P*-antiperiodic function is a 2*P*-periodic function, the inverse is not necessarily true.

### Bloch-periodic functionsEdit

A further generalization appears in the context of Bloch waves and Floquet theory, which govern the solution of various periodic differential equations. In this context, the solution (in one dimension) is typically a function of the form:

where *k* is a real or complex number (the *Bloch wavevector* or *Floquet exponent*). Functions of this form are sometimes called **Bloch-periodic** in this context. A periodic function is the special case *k* = 0, and an antiperiodic function is the special case *k* = π/*P*.

### Quotient spaces as domainEdit

In signal processing you encounter the problem, that Fourier series represent periodic functions and that Fourier series satisfy convolution theorems (i.e. convolution of Fourier series corresponds to multiplication of represented periodic function and vice versa), but periodic functions cannot be convolved with the usual definition, since the involved integrals diverge. A possible way out is to define a periodic function on a bounded but periodic domain. To this end you can use the notion of a quotient space:

- .

That is, each element in is an equivalence class of real numbers that share the same fractional part. Thus a function like is a representation of a 1-periodic function.

## Calculating periodEdit

Consider a real waveform consisting of superimposed frequencies, expressed in a set as ratios to a fundamental frequency, f: F = ^{1}⁄_{f} [f_{1} f_{2} f_{3} … f_{N}] where all non-zero elements ≥1 and at least one of the elements of the set is 1. To find the period, T, first find the least common denominator of all the elements in the set. Period can be found as T = ^{LCD}⁄_{f}. Consider that for a simple sinusoid, T = ^{1}⁄_{f}. Therefore, the LCD can be seen as a periodicity multiplier.

- For set representing all notes of Western major scale: [1
^{9}⁄_{8}^{5}⁄_{4}^{4}⁄_{3}^{3}⁄_{2}^{5}⁄_{3}^{15}⁄_{8}] the LCD is 24 therefore T = ^{24}⁄_{f}. - For set representing all notes of a major triad: [1
^{5}⁄_{4}^{3}⁄_{2}] the LCD is 4 therefore T = ^{4}⁄_{f}. - For set representing all notes of a minor triad: [1
^{6}⁄_{5}^{3}⁄_{2}] the LCD is 10 therefore T = ^{10}⁄_{f}.

If no least common denominator exists, for instance if one of the above elements were irrational, then the wave would not be periodic.^{[2]}

## See alsoEdit

## ReferencesEdit

**^**For some functions, like a constant function or the Dirichlet function (the indicator function of the rational numbers), a least positive period may not exist (the infimum of all positive periods`P`being zero).**^**https://www.ece.rice.edu/~srs1/files/Lec6.pdf

- Ekeland, Ivar (1990). "One".
*Convexity methods in Hamiltonian mechanics*. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)].**19**. Berlin: Springer-Verlag. pp. x+247. ISBN 3-540-50613-6. MR 1051888.CS1 maint: ref=harv (link)

## External linksEdit

- Hazewinkel, Michiel, ed. (2001) [1994], "Periodic function",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 - Periodic functions at MathWorld