Hacker News new | past | comments | ask | show | jobs | submit login

Sure, let's say cos'(x) is the cosine of the angle corresponding to x complete revolutions (thus, cos' is of period 1), and similarly for sin'. Then every function of period 1 is a unique linear combination of cos'(Nx) and sin'(Nx) for integer N. We can say this. This is essentially the same as what we were saying already. My point isn't that π is used in the words we say when defining cos' and sin', but that it is part of their properties, making its presence known once we consider derivatives: the derivative of cos' is -2π * sin', and the derivative of sin' is 2π * cos'. [Er, the primes here don't denote derivatives, but just our newly scaled trig functions, of course]

π (2π, etc.) truly is special for the Fourier transform: it is inherent in decomposing a periodic function into a sum of exponentials (and cosine and sine are just even and odd components of exponential functions). An exponential function from R to C is of period 1 if and only if the natural logarithm of the base of the exponential is an integer multiple of 2πi (i.e., just in case the function's derivative is an integer multiple of 2πi times itself).

It's true that there are other (non-exponential) families of orthogonal functions that can be used for decompositions, but the fact that the Fourier transform is specifically in terms of a family of exponential functions is of some significance (for example, it means multiplication on one side of the transform corresponds to convolution on the other side; it's also what makes the Fourier transform and inverse Fourier transform essentially the same operation).

Tl;dr: Periodic functions can be represented in various ways, but the Fourier series decomposition is a particularly useful representation because it "diagonalizes" differentiation (which is to say, it "diagonalizes" translation by tiny (and consequently also by arbitrarily sized) amounts). And what we discover in diagonalizing the differentiation operator on functions of a fixed period is that its eigenvalues are precisely the integer multiples of 2πi divided by the period. This is a fundamental connection between π and the differential(/integral/etc.) structure of periodic functions.




I see your point. Thanks for taking the time to discuss this.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: