Учебное пособие: Ряды Фурье. Интеграл Фурье. Операционное исчисление

ортогональна на промежутке . Сопоставим функции  ее ряд Фурье

 (9.3)

где коэффициенты Фурье

.

Введем обозначения:  – частичная сумма ряда Фурье;  – произвольная линейная комбинация функций  где .

Тогда, так же, как для вещественных функций (см. § 3), выполняется неравенство

 (9.4)

где , причем равенство имеет место тогда и только тогда, когда , т.е. среди всех функций  функция  дает наилучшее среднеквадратическое приближение к функции .

Сходимость ряда в среднем и замкнутость системы функций определяются точно так же, как в § 3:

а) если для некоторой функции  выполняется равенство Парсеваля

, (9.5)

то ряд (9.3) сходится в среднем к , т.е. ;

б) ортогональная система функций (9.2) называется замкнутой на промежутке , если равенство Парсеваля выполняется для каждой функции из .

Введем в рассмотрение систему комплексных функций

. (9.6)

Свойства системы функции (9.6) следующие:

1. .

2. Функции  являются 2L-периодичными:  .

3. Система функций (9.6) ортогональна на промежутке [–L, L]. Действительно, при  

.

Здесь использована формула .

4. .

Ряд Фурье для функции  по системе функций (9.6) имеет вид

, (9.7)

где коэффициенты Фурье

. (9.8)

Система функций (9.6) замкнута на [–L, L] (принимаем без доказательства), поэтому для нее справедливы следующие утверждения:

а) ряд (9.7) сходится в среднем к ,

б) для любой функции из  выполняется равенство Парсеваля ,

в) среднеквадратическая погрешность, возникающая при замене функции  частичной суммой  ее ряда Фурье,

.

Теорема Дирихле. Если вещественная и мнимая части функции  удовлетворяют на промежутке [–L, L] условиям Дирихле, то функция  является суммой своего ряда Фурье:

. (9.9)

При этом предполагается, что действуют прежние соглашения относительно значений функции в точках разрыва и на концах промежутка (см. § 3).

Упражнение 1. Доказать справедливость формулы (9.4). Доказать, что из (9.4) следует неравенство Бесселя .

Упражнение 2. Доказать справедливость утверждений 1, 2 и 4.

§ 10. Комплексная форма тригонометрического ряда Фурье

Пусть вещественная функция  удовлетворяет условиям Дирихле на промежутке [–L, L]. Запишем ее разложение в тригонометрический ряд Фурье:

, (10.1)

где

. (10.2)

Если в (10.1) выразить  и  через показательную функцию от мнимого аргумента:

то получим ряд

, (10.3)

где в силу (10.2)

;

;

=

Последние три формулы можно объединить:

. (10.4)

Ряд (10.3) с коэффициентами (10.4) называется тригонометрическим рядом Фурье в комплексной форме.

Пример 1. Разложить функцию , где  – комплексное число, в ряд Фурье на промежутке .

Решение. Найдем коэффициенты Фурье:

.

Поскольку , то

,

=.

Искомое разложение будет иметь вид

, (10.5)

где учтено, что

.

Применяя к ряду (10.5) равенство Парсеваля

, (10.6)

можно найти сумму еще одного числового ряда. Действительно, в нашем случае

;

.

Тогда из (10.6) следует

.

Упражнение 1. Доказать, что

; .

Указание. Положить в (10.5) х = 0 и х = p.

Упражнение 2. Доказать, что при

; .

Глава 2. Интеграл Фурье

§ 11. Сходимость интеграла Фурье

Пусть функция  определена на всей числовой оси. Считая, что на произвольном конечном промежутке [–L, L] заданная функция удовлетворяет условиям Дирихле, представим ее тригонометрическим рядом Фурье в комплексной форме:

, (11.1)

где

; (11.2)

 – частота k-й гармоники;  .

Введя в (11.1) выражения (11.2), получим

. (11.3)

При  величина . Правая часть формулы (11.3) аналогична интегральной сумме для функции  по переменной w в промежутке . Поэтому можно ожидать, что после перехода в (11.3) к пределу при  вместо ряда получим интеграл

. (11.4)

Формула (11.4) называется интегральной формулой Фурье, а ее правая часть – интегралом Фурье.

Рассуждения, с помощью которых получена формула (11.4), не являются строгими и имеют лишь наводящий характер. Условия, при которых справедлива интегральная формула Фурье, устанавливает теорема, принимаемая нами без доказательства.

Теорема. Пусть функция , во-первых, абсолютно интегрируема на промежутке , т.е. интеграл  сходится, и, во-вторых, удовлетворяет условиям Дирихле на каждом конечном промежутке (–L, L). Тогда интеграл Фурье сходится (в смысле главного значения) всюду к , т.е. равенство (11.4) выполняется при всех х из промежутка . Здесь, по-прежнему, предполагается, что в точке разрыва значение функции равно полусумме ее односторонних пределов в этой точке.

§ 12. Преобразование Фурье

Интегральную формулу Фурье (11.4) преобразуем следующим образом. Положим

. (12.1)

Если функция  непрерывна и абсолютно интегрируема на всей оси, то функция непрерывна на промежутке . Действительно, так как , то

, (12.2)

и, поскольку интеграл справа сходится, то сходится интеграл слева. следовательно, интеграл в (12.1) сходится абсолютно. Равенство (12.2) выполняется одновременно для всех , поэтому интеграл (12.1) сходится равномерно относительно w. Отсюда и следует, что функция  непрерывна (точно так же, как из равномерной сходимости ряда, составленного из непрерывных функций, следует непрерывность его суммы).

Из (11.4) получим

. (12.3)

Комплексная функция , определяемая формулой (12.1), называется преобразованием Фурье или Фурье-образом функции . В свою очередь, формула (12.3) определяет  как обратное преобразование Фурье, или прообраз функции . Равенство (12.3) при заданной функции  можно рассматривать, как интегральное уравнение относительно функции , решение которого дается формулой (12.1). И, наоборот, решение интегрального уравнения (12.1) относительно функции  при заданной  дает формула (12.3).

В формуле (12.3) выражение  задает, условно говоря, пакет комплексных гармоник с частотами, непрерывно распределенными на промежутке  и суммарной комплексной амплитудой . Функция   называется спектральной плотностью. Формулу (12.2), записанную в виде

,

можно трактовать, как разложение функции  в сумму пакетов гармоник, частоты которых образуют сплошной спектр, распределенный на промежутке .

Равенства Парсеваля. Пусть и  – Фурье-образы вещественных функций  и  соответственно. Тогда

; (12.4)

, (12.5)

т.е. скалярные произведения и нормы функций являются инвариантами преобразования Фурье. Докажем это утверждение. по определению скалярного произведения имеем . Заменив функцию  ее выражением (12.3) через Фурье-образ , получим

.

В силу (12.1)

.                

Поэтому , т.е. формула (12.4) доказана. Формула (12.5) получается из (12.4) при .

Косинус- и синус-преобразования Фурье. Если вещественная функция  четна, то ее Фурье-образ, который здесь будем обозначать , также является вещественной четной функцией. Действительно,

.

Последний интеграл, вследствие нечетности подынтегральной функции, обращается в нуль. Таким образом,

. (12.6)

Здесь использовано свойство (7.1) четных функций.

Из (12.6) следует, что функция  вещественна и четным образом зависит от w, так как w входит в (12.6) только через косинус.

Формула (12.3) обратного преобразования Фурье в этом случае дает

=.

Так как и  – соответственно четная и нечетная функции переменной w, то

. (12.7)

Формулы (12.6) и (12.7) определяют косинус-преобразование Фурье.

Аналогично, если вещественная функция  нечетна, то ее преобразование Фурье , где  – вещественная нечетная функция от w. При этом

; (12.8)

. (12.9)

Равенства (12.8), (12.9) задают синус-преобразование Фурье.

Заметим, что в формулы (12.6) и (12.8) входят значения функции  только для . Поэтому косинус- и синус-преобразования Фурье можно применять и к функции, определенной на полубесконечном промежутке . В этом случае при  интегралы в формулах (12.7) и (12.9) сходятся к заданной функции, а при  к ее четному и нечетному продолжениям соответственно.

Покажем, как с помощью преобразования Фурье вычисляются некоторые несобственные «неберущиеся» интегралы.

Пример 1. Вычислить интеграл Лапласа .

Решение. Найдем Фурье-образ функции  где :

.

С помощью формулы обратного преобразования Фурье

получим

или

.

Здесь первое слагаемое представляет собой удвоенный интеграл Лапласа, а второе равно нулю вследствие нечетности подынтегральной функции. Поэтому

.

Пример 2. Вычислить разрывной множитель Дирихле , если .

Решение. Применив косинус-преобразование Фурье к четной функции

получим

;

.

Таким образом,

В частности интеграл Дирихле

.

Пример 3. Вычислить интеграл Эйлера-Пуассона .

Решение. Сначала вычислим интеграл , применив к функции , где , преобразование Фурье и введя замену

=;

.

Отсюда , и, следовательно, с заменой  можно записать

.

Упражнение 1. Используя равенство Парсеваля, вычислить интегралы

; .

Упражнение 2. Доказать, что

,

используя равенство Парсеваля.

§ 13. Основные сведения из теории преобразования Фурье

Тот факт, что функция  является Фурье-образом функции , будем обозначать в дальнейшем одним из следующих способов: .

Свойства преобразования Фурье:

1. Теорема линейности.  , где . Это свойство сразу следует из определения (12.1) и линейности операции интегрирования.

2. Теорема подобия. , где . Обозначив , получим

3. Теорема смещения. , где . Введя замену , получим

.

Следствие.

, (13.1)

где . Действительно,

.

4. Теорема о свертке. Напомним, что сверткой абсолютно интегрируемых функций  и  называется функция

.

Фурье-образ свертки функций f и g равен произведению их Фурье-образов, умноженному на : .

Так как по определению

,

то, выполнив во внутреннем интеграле замену , получим

=

==,

что и требовалось доказать.

5. Теорема об образе производной. Пусть функция  и ее производная  абсолютно интегрируемы на промежутке . По формуле Ньютона – Лейбница

.

Так как производная  интегрируема на всей оси, интеграл в правой части последнего равенства имеет конечный предел при . Следовательно, существует конечный предел  . При этом , ибо в противном случае функция  была бы неинтегрируемой на промежутке . Точно также доказывается, что .

Введем в рассмотрение Фурье-образ производной

.

Выполнив интегрирование по частям, получим

.

Так как внеинтегральный член равен нулю, то

.

Таким образом, операции дифференцирования функции  соответствует операция умножения ее Фурье-образа на множитель . Аналогично, если функция  имеет абсолютно интегрируемые производные до n-го порядка включительно, то

, .

Следствия. 1. Обыкновенное линейное дифференциальное уравнение с постоянными коэффициентами преобразованием Фурье переводится в линейное алгебраическое уравнение.

2. Линейное уравнение в частных производных с постоянными коэффициентами и с двумя независимыми переменными преобразованием Фурье по одной из переменных переводится в обыкновенное линейное дифференциальное уравнение.

Пример 1. Доказать, что

, (13.2)

где .

Решение. Положим

Тогда

Таким образом,

,

и по теореме о свертке

.

Пример 2. Найти решение уравнения

  (13.3)

при , удовлетворяющее начальному условию

. (13.4)

Замечание. Уравнение (13.3) называется уравнением теплопроводности. Уравнениями такого вида описываются одномерные процессы диффузии, переноса тепла и т.п.

Решение. Применим к уравнению (13.3) преобразование Фурье. Для этого, умножив обе части уравнения на , проинтегрируем его по х от  до . Тогда

или

, (13.5)

где  – Фурье-образ функции .

Здесь использовалась формула для Фурье-образа производной второго порядка:

.

Равенство (13.5) – это обыкновенное линейное дифференциальное уравнение первого порядка относительно функции  переменной t, где w – параметр.

Переходя к Фурье-образам в равенстве (13.4), получим начальное условие для уравнения (13.5):

. (13.6)

Решением задачи Коши (13.5), (13.6) является функция

.

С помощью (12.3) находим  – прообраз функции :

. (13.7)

Последний интеграл в (13.7) равен . Поэтому

.

По теореме о свертке

,

или

. (13.8)

Решение уравнения теплопроводности, записанное в виде (13.8), называется интегралом Пуассона.

Пример 3. Найти решение волнового уравнения

, (13.9)

удовлетворяющее начальным условиям

. (13.10)

Замечание. Задача Коши (13.9),(13.10) является математической моделью одномерных волновых процессов в сплошных безграничных средах. Поле возмущений в среде, выведенной из равновесного состояния, описывается функцией , физический смысл которой определяется спецификой рассматриваемой задачи. В задаче о малых поперечных колебаниях струны  – это отклонение струны от ее равновесного положения, функции j(х) и  задают соответственно форму струны и распределение скоростей ее точек в начальный момент времени. Константа , где и r – натяжение и плотность струны в положении равновесия. В задачах акустики  – скорость возмущенного движения в точке  в момент времени ;  – скорость звука в невозмущенной среде и т.д.

Решение. Преобразуя по Фурье уравнение (13.9) и начальные условия (13.10), получим задачу Коши для обыкновенного дифференциального уравнения второго порядка:

где w – параметр.

Решение задачи имеет вид

Используя (13.1) и (13.2), получим формулу Эйлера – Даламбера

 (13.11)

Для выяснения физического смысла полученного решения преобразуем формулу (13.11). Положим

.

Тогда

. (13.12)

При  возмущение  сохраняет постоянное значение , если переменные  и  связаны зависимостью: . Иными словами, возмущенное состояние  переносится в положительном направлении оси абсцисс со скоростью . Поэтому говорят, что функция  определяет бегущую волну, перемещающуюся вправо со скоростью а. Аналогично, функция  задает волну, распространяющуюся влево с той же скоростью а. Таким образом, выяснен физический смысл постоянной величины а в уравнении (13.9): а – это скорость распространения возмущений в среде.

Из формулы (13.12) следует, что возмущение в точке х в момент времени  есть результат сложения волн  и , вышедших в момент времени  из точек с координатами  и  соответственно.

Итак, при весьма общих предположениях установлено следующее:

1. Произвольную функцию  можно представить в виде «суммы» гармоник; если  задана на конечном интервале (или периодическая), то эта сумма представляет собой ряд Фурье; если  задана на всей числовой оси (но непериодическая), то эта сумма – интеграл Фурье. С точки зрения приложений, это означает, что самые разнообразные физические зависимости, скажем, давления, тока, напряжения и т.д. от времени можно представить в виде линейной суперпозиции гармонических колебаний.

2. В представлении формулы  в виде ряда или интеграла Фурье естественно возникает ее спектр, который однозначно определяется по функции  и который, в свою очередь, однозначно определяет саму функцию .

3. Результаты спектрального анализа, т.е. процесса нахождения спектра той или иной зависимости, используются при исследовании линейных систем, так как в этом случае достаточно изучить поведение системы при воздействии на нее гармонических колебаний, а затем просуммировать результаты этих воздействий с учетом спектра рассматриваемого (уже произвольного) воздействия.

Упражнение. Доказать, что, если на всей оси функция y(х) дифференцируема, а j(х) – дважды дифференцируема, то функция (13.11) действительно удовлетворяет уравнению (13.9) и начальным условиям (13.10).

Глава 3. Операционное исчисление

§ 14. Преобразование Лапласа

Понятие оригинала. Кусочно-непрерывная функция  называется оригиналом, если выполняются следующие условия:

1)  для всех отрицательных t;

2) при  растет не быстрее экспоненты, т.е. существуют такие постоянные M > 0 и c > 0, что  для всех t.

Число с называется показателем роста . очевидно, что для ограниченных оригиналов показатель роста можно считать равным нулю.

Простейшим оригиналом является единичная функция Хевисайда

Если функция  удовлетворяет условию 2 и не удовлетворяет 1, то произведение будет удовлетворять и условию 1, т.е. будет оригиналом. Для упрощения записи будем, как правило, множитель H (t) опускать, считая, что все рассматриваемые в этой главе функции равны нулю при отрицательных значениях t.

Легко видеть, что оригиналами являются такие функции, как  и т.п.

Можно доказать, что сумма, разность и произведение оригиналов являются оригиналами и что оригиналом является функция  при  (доказательства следует найти самостоятельно).

Замечание. Из этих утверждений следует, что многочлены произвольной степени , а также функции вида  являются оригиналами.

Интеграл Лапласа. Интегралом Лапласа для оригинала f(t) называется несобственный интеграл вида

, (14.1)

где  – комплексный параметр.

Теорема. Интеграл Лапласа абсолютно сходится в полуплоскости Пс: , где с – показатель роста f (t). В самом деле, по определению оригинала имеем . Таким образом, интеграл (14.1) мажорируется сходящимся интегралом , и, следовательно, сходится абсолютно в Пс.

Замечание. При доказательстве теоремы получено используемое в дальнейшем неравенство:

 (14.2)

Преобразование Лапласа. Интеграл Лапласа

 (14.3)

представляет собой функцию параметра p, определенную в полуплоскости Пс:. Функция  называется Лаплас-образом (изображением по Лапласу) оригинала . Тот факт, что  есть Лаплас-образ , обозначается  или .

Соотношение (14.3), устанавливающее связь между оригиналом и его Лаплас-образом, называется преобразованием Лапласа.

Свойства преобразования Лапласа следующие:

1. Теорема линейности. При любых постоянных  и

.

Это утверждение вытекает из определения (14.3) и свойств интегралов.

2. Имеет место , что непосредственно следует из неравенства (14.2).

3. Теорема подобия. Для любого

.

Действительно, полагая , получим

.

4. теорема смещения. Для любого а . Действительно,

.

5. теорема запаздывания. Для любого   . По определению преобразования Лапласа имеем

.

Здесь учтено, что  при . Выполнив в последнем интеграле замену , получим

.

Обратное преобразование Лапласа. Установим связь между преобразованиями Лапласа и Фурье. Так как при  оригинал , то

где   – показатель роста .

Интеграл в правой части последней формулы есть интеграл Фурье для . Таким образом, Лаплас-образ функции  является Фурье-образом функции . Из формулы обратного преобразования Фурье получим, что в точках непрерывности

Страницы: 1, 2, 3