18.8. Orthogonality and Eigenfunction Expansion

The eigenfunctions {sin(nπx)} arising from Sturm–Liouville problems are orthogonal over the interval [0,L]:

$\int_{0}^{L} \sin(m\pi x) \sin(n\pi x) \; dx = \begin{cases} 0, & \text{if } m \neq n \\ \frac{L}{2}, & \text{if } m = n \end{cases}$

This orthogonality is crucial for computing Fourier coefficients and ensures the uniqueness and completeness of the series solution.

The orthogonality property refers to how different eigenfunctions do not overlap in terms of their contributions over a specific interval, which, in this case, is from 0 to L. When you take the integral of two distinct sine functions (for different n values), the result is zero, indicating that these functions do not influence each other. However, if the two functions are the same (m=n), the integral equals L/2. This property is critical when calculating Fourier coefficients, allowing us to uniquely determine a function's representation in terms of these eigenfunctions. It guarantees that the representation is both unique (no other combination of functions will give the same result) and complete (any possible function can be represented).

Imagine two musical notes played simultaneously. If the notes are different (like a C and a G), they sound harmonious and don't clash, just like orthogonal functions. If you play the same note twice, they amplify each other, resulting in a stronger sound, similar to how the integral equals L/2 for identical functions.

Let $\phi_n(x)$ be the nth eigenfunction. Then the projection of f(x) onto $\phi_n(x)$ (using the inner product) gives:

$\langle f(x), \phi_n(x) \rangle$ $C_n = \frac{\langle f(x), \phi_n(x) \rangle}{\langle \phi_n(x), \phi_n(x) \rangle}$

This inner product viewpoint forms the basis of modal analysis in structural engineering.

In this part, the relationship between a function f(x) and the eigenfunctions $\phi_n(x)$ is described through inner products, similar to measuring how much one function aligns with another. The expression $C_n$ is essentially a coefficient that expresses how much of eigenfunction $\phi_n(x)$ is present in the function f(x). It is derived by dividing the inner product of f(x) and $\phi_n(x)$ by the inner product of $\phi_n(x)$ with itself, ensuring you are scaling correctly based on the 'size' of the eigenfunction. This concept is crucial in fields such as structural engineering, where understanding the modes of vibration can lead to better designs and analyses.

Think of this like measuring someone's participation in a group project where different members contribute differently. The inner product measures how much effort each member (eigenfunction) contributes toward the final project (function). The coefficient C_n reflects that member's contribution to the overall project, providing insights into their importance or role.

--