9.3: Серія Фур'є
Переглянути підручник на YouTube
Наше рішення дифузійних і хвильових рівнянь потребуватиме використання ряду Фур'є. Періодична функціяf(x) з періодом2L, може бути представлена у вигляді ряду Фур'є у вигляді f(x)=a02+∞∑n=1(ancosnπxL+bnsinnπxL).
Визначення коефіцієнтівa0,a1,a2,… іb1,b2,b3,… використовує співвідношення ортогональності для синуса і косинуса. Спочатку ми визначаємо широко використовувану дельту Кронекераδnm якδnm={1if n=m;0otherwise.
Відносини ортогональності дляn іm додатних цілих чисел задаються компактними позначеннями як інтеграційні формули ∫L−Lcos(mπxL)cos(nπxL)dx=Lδnm,∫L−Lsin(mπxL)sin(nπxL)dx=Lδnm,∫L−Lcos(mπxL)sin(nπxL)dx=0.
Щоб проілюструвати метод інтеграції, який використовується для отримання цих результатів, ми виведемо(???) припущення, щоn іm є додатними цілими числами зn≠m. Змінюючи змінні наξ=πx/L, отримуємо∫L−Lsin(mπxL)sin(nπxL)dx=Lπ∫π−πsin(mξ)sin(nξ)dξ=L2π∫π−π[cos((m−n)ξ)−cos((m+n)ξ)]dξ=L2π[1m−nsin((m−n)ξ)−1m+nsin((m+n)ξ)]π−π=0.
Дляm=n, однак,∫L−Lsin2(nπxL)dx=Lπ∫π−πsin2(nξ)dξ=L2π∫π−π(1−cos(2nξ))dξ=L2π[ξ−12nsin2nξ]π−π=L.
Формули інтеграції,(???) наведені і(???) можуть бути аналогічно виведені.
Для визначення коефіцієнтаan множимо обидві сторони(???) наcos(nπx/L) невід'ємнеn ціле число, і міняємо фіктивну зміннуn підсумовування з наm. Інтегруючиx від−L доL і припускаючи, що інтеграція може бути здійснена термін за терміном в нескінченній сумі, отримуємо∫L−Lf(x)cosnπxLdx=a02∫L−LcosnπxLdx+∞∑m=1{am∫L−LcosnπxLcosmπxLdx+bm∫L−LcosnπxLsinmπxLdx}.
Якщоn=0, то другий і третій інтеграли з правого боку дорівнюють нулю, а перший інтеграл2L таким чином, що права сторона стаєLa0. Якщоn є натуральним числом, то перший і третій інтеграли праворуч дорівнюють нулю, а другий інтеграл дорівнюєLδnm. Для цього випадку ми маємо,∫L−Lf(x)cosnπxLdx=∞∑m=1Lamδnm=Lan, де всі терміни підсумовування крімm=n нульових в силу дельти Кронекера. Тому ми отримуємо дляn=0,1,2,… an=1L∫L−Lf(x)cosnπxLdx.
Для визначенняb1,b2,b3,… коефіцієнтів множимо обидві сторони(???) наsin(nπx/L), зn додатним цілим числом, і знову міняємо фіктивну зміннуn підсумовування з наm. Інтегруючи, отримуємо∫L−Lf(x)sinnπxLdx=a02∫L−LsinnπxLdx+∞∑m=1{am∫L−LsinnπxLcosmπxLdx+bm∫L−LsinnπxLsinmπxLdx}.
Тут перший і другий інтеграли на правій стороні дорівнює нулю, а третій інтегралLδnm так, що∫L−Lf(x)sinnπxLdx=∞∑m=1Lbmδnm=Lbn.
Значить, для тогоn=1,2,3,…, bn=1L∫L−Lf(x)sinnπxLdx.
Наші результати для рядів Фур'є функціїf(x) з2L крапкою наведено(???),(???) і(???).