Далее, поскольку среднее значение суммы равно сумме средних, то среднее значение функции f(t) равно просто среднему от а0. Но ведь а0 — просто постоянная, и ее среднее значение равно ей самой. Вспоминая определение среднего, мы получаем
Найти остальные коэффициенты ненамного труднее. Чтобы сделать это, используем один фокус, открытый самим Фурье. Предположим, что мы умножили обе стороны уравнения (50.2) на какую-то гармоническую функцию, скажем на cos7wt. При этом получается
А теперь усредним обе стороны равенства. Среднее от члена a0cos7wt по периоду Т пропорционально среднему от косинуса по семи его периодам. Но последнее просто равно нулю. Среднее почти всех остальных членов тоже будет равно нулю. Действительно, давайте рассмотрим член с а1. Мы знаем, что в общем случае
cosAcosВ=1/2cos(А+B)+1/2cos (А-В), (50.5)
так что член с а1 равен
a1(cos8wt+cos6wt). (50.6)
Таким образом получаются два косинуса: один с восемью полными периодами, а другой с шестью. Оба они равны нулю. Поэтому среднее значение этого члена тоже равно нулю.
Для члена с а2 мы получаем cos9wt и cos5wt, каждый из которых при усреднении превратится в нуль. Для члена с а9 получится соз16wt и cos(-2wt). Но cos(-2wt) — это то же самое, что cos2wt, так что опять оба члена дадут при усреднении нуль. Ясно, что все слагаемые с косинусами, за исключением одного, дадут при усреднении нуль. Этим единственным слагаемым будет член с а7. Для него же мы получим
1/2a7(cos14wt+cos0). (50.7)
Косинус нуля равен единице, а среднее от него, разумеется, тоже равно единице. Итак, мы получили, что среднее от всех членов с косинусами уравнения (50.4) равно 1/2а7.
Еще легче расправиться с синусами. Когда мы умножаем их на косинус типа cos nwt, то таким же методом можно показать, что все они при усреднении обращаются в нуль.
Мы видим, что способ, придуманный Фурье, действует как своеобразное сито. Когда мы умножаем на cos7wt и усредняем, то все члены, кроме а7, отсеиваются и в результате остается
или
Пусть читатель сам докажет, что коэффициенты b7, например, находятся с помощью умножения (50.2) на sin 7wt и усреднения обеих частей. Результат таков:
Но то, что верно для 7, очевидно, верно и для любого другого целого числа. Теперь мы запишем результат нашего доказательства в следующей, более элегантной математической форме. Если m и n — целые отличные от нуля числа и если w=2p/T, то
В предыдущих главах для описания простого гармонического движения было удобно пользоваться экспоненциальной функцией. Вместо coswt мы использовали Re ехр(iwt) —действительную часть экспоненциальной функции. В этой главе мы использовали синус и косинус, потому что с ними, пожалуй, немного проще проводить доказательства. Однако наш окончательный результат, уравнение (50.13), можно записать в более компактной форме:
где аn — комплексное число аn-ibn (с b0=0). Если мы всюду будем пользоваться одним и тем же обозначением, то должны также написать
Итак, теперь мы умеем раскладывать периодическую волну на ее гармонические компоненты. Эта процедура называется разложением в ряд Фурье, а отдельные члены называются фурье-компонентами. Однако до сих пор мы не показали, что, определив все фурье-компоненты и затем сложив их, мы действительно придем назад к нашей функции f(t). Математики доказали, что для широкого класса функций (в сущности, для всех функций, интересных физикам), которые можно проинтегрировать, мы снова получаем f(t). Но есть одно небольшое исключение. Если функция f(t) разрывна, т. е. если она неожиданно прыгает от одного значения к другому, сумма Фурье такой функции даст в точке разрыва значение, лежащее посредине между верхним и нижним значениями. Таким образом, если у нас есть странная функция f(t)=0 для 0≤t<t0 и f(t)=1 для t0≤t≤T, то ее сумма Фурье всюду даст нам правильную величину, за исключением точки t0, где вместо единицы получится 1/2. Во всяком случае, физически даже нельзя требовать, чтобы функция была всюду нулем вплоть до точки t0, а в самой точке t0 вдруг стала равной единице. Может быть, стоило бы специально для физиков издать такой «указ», что любая разрывная функция (которая может быть только упрощением настоящей физической функции) в точке разрыва должна принимать среднее значение. Тогда любая такая функция, с любым конечным числом «ступенек», как и все другие интересные для физики функции, будет правильно описываться рядом Фурье.