20.9. Orthogonality of Sine Functions

An essential property used in deriving Fourier coefficients is the orthogonality of sine functions. For integers m,n∈N, we have:

Z a (mπx)(nπx) {0, m≠n dx= a

a, m=n 0 2

The concept of orthogonality in mathematics refers to the idea that certain functions can be perpendicular to each other, which means they do not overlap in terms of their value. In this case, we are considering sine functions defined over intervals. The integral given shows that the integral of the product of two sine functions, with different frequencies (m and n), over the same interval is zero. This means that these two functions are orthogonal to each other when m is not equal to n. If m equals n, the integral results in a non-zero value, specifically (a/2). This property is fundamental in Fourier series because it allows us to treat each sine function as an independent basis function that can be used to represent complex functions without interference from each other.

Imagine you are at a concert where several unique instruments (like a violin and a trumpet) are playing different melodies. If you listen closely, you can hear each instrument clearly; they do not drown each other out (like orthogonal functions). However, if two instruments were to play the same note at the same time (like overlapping sine functions), the sound would be much louder—and it wouldn’t be as clear where one sound ends and the other begins. This independence (or orthogonality) is what makes the individual sine functions useful for constructing larger, more complicated sounds (or functions) without overlap.

A similar identity holds for integration over y:

Z b (mπy)(nπy) {0, m≠n dy = b

b, m=n 0 2

This statement parallels the previous chunk regarding the x-axis. It shows that the sine functions defined in the y-direction also maintain the same orthogonality principle. Integrating the product of two sine functions with different indices over the interval for y results in zero. When the indices are equal, the result is again non-zero, indicating that functions are independent and thus usable for decomposing functions in two dimensions. This reinforces the foundation of Fourier analysis in which functions are expressed as sums of orthogonal components.

Consider a two-dimensional surface, like a chessboard, where each square represents combinations of x and y. Each sine function represents a different ‘move’ on this chessboard. Just like you can move in one direction without interfering with moves in another (a rook's move vertically does not affect a knight's move), the sine functions enable us to analyze different vibration modes independently without mixing the effects.

These orthogonality properties ensure that each term in the double Fourier series is independent and allow for exact extraction of Fourier coefficients A and B.

The orthogonality of sine functions is not just a mathematical curiosity; it plays a practical role in the extraction of Fourier coefficients, which define how much of each sine wave (or mode) contributes to the overall function represented in the series. This independence of terms means we can calculate each coefficient accurately by integrating with respect to the appropriate sine function. It allows us to focus on one frequency component at a time, ensuring that no overlapping contributions distort our calculation.

Think of a chef preparing a gourmet dish. Each ingredient (like spices, vegetables, and meats) contributes uniquely to the flavor of the dish. If the chef adds too much of one ingredient, it can dominate the other flavors, leading to a poorly balanced meal. In the same way, orthogonality ensures that when we calculate the contributions of each sine function, they do not interfere with one another, resulting in a well-balanced approximation of the original function.

--