База рефератов

Kalmiik-forever

Глава I

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

§1. Класс Шварца.

Преобразование Фурье отображает класс Шварца на себя.

Определение. Следующее множество комплекснозначных функций действительного переменного называется классом Шварца.

.

Класс Шварца иногда называют классом быстро убывающих функций.

Операции обычного сложения и умножения функции на число превращают класс Шварца в линейное векторное пространство:

,S(R), a, bК выполнено a+bS(R).

Отметим несколько простых свойств функций из класса Шварца.

1. Если (x)S(R),то

2. Если (x)S(R),то (x) ограничена на R.

3. Если (x)S(R),то (x)=x(x)S.

4. Если (x)S(R) и P(x) – многочлен, то P(x)(x)S.

5. Если (x)S(R),то .

Доказательство. Первые два свойства сразу следуют из неравенств

.

Докажем свойство 3). Во первых, =xC^∞(R). Далее,

.

Свойство 4) получается из 3) последовательным применением. В самом деле, если P(x)=a₀+a₁x+…+a_nxⁿ, то по свойству 3) имеем xⁱS(R), потому функция P(x)(x)=a₀+a₁(x)+a₂(x²)+…+a_n(xⁿ) принадлежит классу Шварца ввиду его линейности.

Свойство 5) доказывается аналогично свойству 3).

§2. Одномерное преобразование Фурье.

Определение. Функция

(1)

называется преобразованием Фурье функции (x) и обозначается F[]. Ясно, что не для всякой функции (x) интеграл (1) сходится, и потому не для всякой функции определено преобразование Фурье.

Если (интеграл Лебега), то будем говорить, что  принадлежит пространству L₁(R).

Предложение 1. Преобразование Фурье функции (x) из L₁(R) определено и ограничено по модулю на действительной оси.

Доказательство следует из равенства и (1):

Следствие. Преобразование Фурье определено для функций S(R).

Доказательство. Достаточно доказать, что S(R)L₁(R). Заметим, что если S(R), то по свойству 4) функция (1+x²)S(R) и, следовательно, ограничена, а (1+x²)^-1L₁(R). Поэтому функция (1+x²)(1+x²)^-1L₁(R).

§3. Свойства преобразований Фурье функций из S(R).

1)

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

сходимость которого вытекает из свойства 3): x(x)S(R)L₁(R).

2) Если S(R), то F[]C^(R).

Так как -ixS, то доказательство немедленно вытекает из 1).

Доказательство. Очевидно

теперь можно интегрировать по частям

Это и доказывает свойство 3).

Предложение 2. Преобразование Фурье функции из класса Шварца есть снова функция из класса Шварца.

Доказательство. Многократно применяя свойства 1) и 3), устанавливаем

По свойствам 4) и 5) класса Шварца функция

лежит в классе Шварца SL₁ , и тогда, по предложению пункта 2, функция ограничена некоторой постоянной, которую мы обозначим C_n,m. Предложение доказано.

§4. Обратное преобразование Фурье.

Определение. Функция

называется обратным преобразованием Фурье функции (y) и обозначается F^-1[].

Нетрудно проверить, что обратное преобразование Фурье функций из S(R) обладает свойствами, аналогичными прямому:

Докажем, что F^-1[F[]]= для любой функции S. Для этого потребуется

Лемма. Пусть непрерывная функция h(y)L₁(R) имеет почти всюду ограниченную производную. Пусть

такой набор точек, что на интервалах (y_i,y_i+1) функция h класса C², i=1,2,…,n. Тогда для всех x, отличных от y_i, i=1,2,…,n+1, справедливо соотношение

Доказательство. Так как h(y)L₁ , то для всякого >0 найдется такое А, что

при всех t>0. Заметим, что

(3)

Тогда

Второе слагаемое в (4) заменой z= t(x - y) приводится к виду

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

Введем обозначение

Если h класса C² в окрестности точки x, то из равенства

следует дифференцируемость функции g(y) в точке y = x. Итак, g(y) – кусочно-диференцируемая функция. Интегрируя по частям, устанавливаем

при Лемма доказана.

Предложение 3. F^-1[F[]]= для любого S(R).

Доказательство.

Внутренний интеграл сходится равномерно по y[-n, n], поэтому возможна замена порядка интегрирования.

Теперь утверждение следует из леммы.

Из доказанного предложения вытекает, что преобразование Фурье взаимно-однозначно отображает класс Шварца в себя. Покажем что это отображение “на”. Определим оператор J переводящий функцию (x) в функцию (-x). Тогда очевидно равенство F=2JF^-1, откуда, умножая справа на FJ/2 и используясь равенством JJ=1, будем иметь , где 1 справа надо понимать как тождественное отображение в S(R). Последнее равенство означает, что любая функция из S(R) есть преобразование Фурье некоторой функции.

§5. Класс Шварца в многомерном случае.

Мультииндексом =(₁,…,_n) будем называть набор из неотрицательных целых чисел. Порядком мультииндекса будем называть число

Глава II

Задача Коши для уравнения теплопроводности.

§1. Постановка задачи коши для уравнения теплопроводности.

Требуется найти функцию u(x,t), непрерывную при t 0 и x R и класса C² при t>0, удовлетворяющую уравнению

(1)

при t>0, x R и начальному условию

u(x,0)=(x). (2)

Задача (1),(2) имеет, вообще говоря, много решений. Поэтому обычно накладывают дополнительное условие, которому должно удовлетворять решение.

Теорема (Тихонова). Пусть u(x,t) – решение задачи (1),(2) с функцией (x)0. Пусть >0 существует постоянная C>0 такая, что

при всех xR и t0. Тогда u0.

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

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

§2. Формальный поиск решения.

Применим преобразование Фурье

(3)

Выкладки этого пункта будем проделывать, не заботясь об обосновании. Дифференцируя (3) по t, устанавливаем:

Кроме того, по свойству 3) пре

R, так и по t>

Совершенно так же доказывается бесконечная дифференцируемость функции u(x, t) по x и t при t>

>

Так как функция u ограничена, то функция v(x, y) в области t>>