Ортогональные системы функций и ряды Фурье

19.1. Некоторые свойства оператора Лапласа. Рассмотренные выше граничные задачи (18.1) и (18.11), а также задачи (18.41), (18,42) и ряд других можно кратко сформулировать в виде

Ортогональные системы функций и ряды Фурье - student2.ru (19.1)

где Ортогональные системы функций и ряды Фурье - student2.ru 2 - взятый с обратным знаком оператор Лапласа, параметр к - это k2 или χ 2 (в. зависимости от того, является ли задача трёхмерной или двумерной), а Ортогональные системы функций и ряды Фурье - student2.ru – векторные или скалярные ( Ортогональные системы функций и ряды Фурье - student2.ru = и) функции, подчинённые требуемым граничным условиям. Обычно граничные условия задаются вместе с оператором L; они определяют класс функций и, на которые может распространяться действие L, т. е. область определения оператора DL. Разумеется, функции Ортогональные системы функций и ряды Фурье - student2.ru , принадлежащие этому классу (кратко пишут: Ортогональные системы функций и ряды Фурье - student2.ru Ортогональные системы функций и ряды Фурье - student2.ru Dl ), должны допускать заданные операции дифференцирования. Говорят, что запись (19.1) выражает общую формулировку задачи на собственные значения оператора L. В частности если и = 0 на S для Ортогональные системы функций и ряды Фурье - student2.ru Ортогональные системы функций и ряды Фурье - student2.ru Dl, получаем задачу (18.1), если иτ = 0 и div Ортогональные системы функций и ряды Фурье - student2.ru = 0 на S для Ортогональные системы функций и ряды Фурье - student2.ru Ортогональные системы функций и ряды Фурье - student2.ru Dl - задачу (18.41), и т. д.

Введём интегральную величину, имеющую своё обозначение:

Ортогональные системы функций и ряды Фурье - student2.ru (19.2)

Здесь подразумевается область V трёхмерной задачи, а в случае задачи двумерной интегрирование производится по её области S; величина Ортогональные системы функций и ряды Фурье - student2.ru называется скалярным произведениемфункций Ортогональные системы функций и ряды Фурье - student2.ru , последние могут быть как векторами, так и скалярами. Заметим, что (v, и) = (и, v) *.

Оператор L, обладающий тем свойством, что для Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru (19.3)

является по определению симметрическим. Легко убедиться, что для всех поставленных в п.18 задач оператор Ортогональные системы функций и ряды Фурье - student2.ru 2 симметрический.

Действительно, в случае скалярных uиv на основании первой формулы Грина (5.13)

Ортогональные системы функций и ряды Фурье - student2.ru (19.4)

Как для первой граничной задачи (18.1) (и = 0, v = 0 на S), так и для второй задачи (18.11) Ортогональные системы функций и ряды Фурье - student2.ru поверхностный интеграл в (19.4) равен нулю. Меняя местами uи v*, мы оставляем правую часть (19.4) неизменной, а потому

Ортогональные системы функций и ряды Фурье - student2.ru (19.4а)

т. е. равенство (19.3) выполняется.

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

Ортогональные системы функций и ряды Фурье - student2.ru (19.5)

(были использованы формулы векторного анализа (5.12), (5.10), (5.9) и (3.8)).

Если функции Ортогональные системы функций и ряды Фурье - student2.ru подчинены граничным условиям задачи (18.41) (uτ = 0, div Ортогональные системы функций и ряды Фурье - student2.ru = 0 и vτ = 0, div Ортогональные системы функций и ряды Фурье - student2.ru = 0 на S) или граничным условиям задачи (18.42) (uτ = 0, (rot Ортогональные системы функций и ряды Фурье - student2.ru )τ = 0 и vτ = 0, (rot Ортогональные системы функций и ряды Фурье - student2.ru )τ = 0 на S), то поверхностные интегралы в (19.5) равны нулю, и правая часть остается неизменной при замене Ортогональные системы функций и ряды Фурье - student2.ru и обратно. Поэтому

Ортогональные системы функций и ряды Фурье - student2.ru , (19.5a)

и выполняется равенство (19.3).

Установленное свойство (19.3) сохраняется и для двумерных областей, т. е. при замене V на S, а граничной поверхности S объема V на контур L поверхности S. Читателю рекомендуется проверить это в качестве упражнения.

Нетрудно убедиться, что собственные значения задачи (19.1) при симметрическом операторе Ортогональные системы функций и ряды Фурье - student2.ru 2 вещественны и неотрицательны. Образуя в (19.1) слева и справа скалярные произведения с Ортогональные системы функций и ряды Фурье - student2.ru , имеем:

Ортогональные системы функций и ряды Фурье - student2.ru (19.6)

Знаменатель Ортогональные системы функций и ряды Фурье - student2.ru положителен. В силу (19.3) Ортогональные системы функций и ряды Фурье - student2.ru , и в то же время Ортогональные системы функций и ряды Фурье - student2.ru *. Отсюда следует, что числитель Ортогональные системы функций и ряды Фурье - student2.ru - величина вещественная. Следовательно, вещественны и собственные значения Ортогональные системы функций и ряды Фурье - student2.ru

Рассматривая отдельно скалярные и векторные задачи, числитель в (19.6) преобразуем при помощи соотношений (19.4а) и (19.5а). Мы видим, что

Ортогональные системы функций и ряды Фурье - student2.ru (19.7)

и

Ортогональные системы функций и ряды Фурье - student2.ru (19 8)

Итак, собственные значения κ = κi задачи (19.1)неотрицательны и могут быть расположены в следующем порядке:

Ортогональные системы функций и ряды Фурье - student2.ru (19.9)

19.2. Ортогональные системы функций. Две функции и и v называются oртогональными,если их скалярное произведение равно нулю:

Ортогональные системы функций и ряды Фурье - student2.ru . (19.10)

Пусть Ортогональные системы функций и ряды Фурье - student2.ru (i = 1, 2, ...) - собственные функции задачи (19.1), которым соответствуют собственные значения κ; предположим, что все κi различны, или, как говорят, отсутствует вырождение. Взяв две любые собственные функции Ортогональные системы функций и ряды Фурье - student2.ru , перепишем формулировку (19.1): Ортогональные системы функций и ряды Фурье - student2.ru

Образуя скалярные произведения ( Ортогональные системы функций и ряды Фурье - student2.ru , Ортогональные системы функций и ряды Фурье - student2.ru ) и ( Ортогональные системы функций и ряды Фурье - student2.ru , Ортогональные системы функций и ряды Фурье - student2.ru ) и принимая во внимание вещественность собственных значений, получаем:

Ортогональные системы функций и ряды Фурье - student2.ru

или, в силу симметричности L

Ортогональные системы функций и ряды Фурье - student2.ru = 0, (19.11)

а отсюда следует, что Ортогональные системы функций и ряды Фурье - student2.ru ,т. е собственные функции иi ортогональны.

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

Ортогональная система Ортогональные системы функций и ряды Фурье - student2.ru всегда может быть нормирована, т. е. можно так подобрать постоянные коэффициенты в выражениях Ортогональные системы функций и ряды Фурье - student2.ru , что Ортогональные системы функций и ряды Фурье - student2.ru для всех i. Тогда получается ортонормированная система, для которой

Ортогональные системы функций и ряды Фурье - student2.ru (19.12)

где δik= 0 при i ≠ к и δik = 1 при i = k (символ Кронекера). Путём проверки нетрудно убедиться, что различные собственные функции, полученные в п.18, образуют ортогональные системы. Возьмём, например, систему функций итпр (18.14):

Ортогональные системы функций и ряды Фурье - student2.ru .

Скалярное произведение двух функций итпр и Ортогональные системы функций и ряды Фурье - student2.ru имеет вид:

Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru

(i и k надо понимать как совокупность чисел т, п, р и т', п', р' соответственно). Поскольку

Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru

и таковы же интегралы по у и z, то, как видно, скалярное произведение действительно обращается в нуль при i ≠ k (т. е. т ≠ т', п ≠ п' и р ≠ р'). Отсюда же следует, что система Ортогональные системы функций и ряды Фурье - student2.ru будет ортонормированной, если взять

Ортогональные системы функций и ряды Фурье - student2.ru

при т ≠0, п ≠0, р ≠0. Когда среди чисел т, п и р имеются нули, и0 столько раз делится на Ортогональные системы функций и ряды Фурье - student2.ru , каково число нулей (один, два или три).

Предлагаю при помощи формул (16.24) и (16.26) проверить ортогональность и ввести нормировку функций ипт (18.29). При этом следует отдельно рассматривать функции с С ≠0, D = 0 и С =0, D ≠ 0 (либо Q ≠ 0, Т = 0 и Q = 0,T ≠ 0).

19.3. Ортогональные ряды. Взяв ортонормированную систему функций Ортогональные системы функций и ряды Фурье - student2.ru и некоторую функцию Ортогональные системы функций и ряды Фурье - student2.ru , определённую в той же области, построим ряд

Ортогональные системы функций и ряды Фурье - student2.ru (19.13)

Он называется ортогональным рядом, или рядом Фурьефункции Ортогональные системы функций и ряды Фурье - student2.ru , а ап - коэффициентами Фурье.

Отличительным свойством ряда Фурье Ортогональные системы функций и ряды Фурье - student2.ru является выполнение равенства

Ортогональные системы функций и ряды Фурье - student2.ru (19.14)

Действительно, составляя в (19.13) скалярное произведение с Ортогональные системы функций и ряды Фурье - student2.ru , справа получаем нуль во всех членах кроме k-го, который дает аk;равенство (19.13) превращается в выражение коэффициента Фурье аk.

Говорят, что ряд Фурье Ортогональные системы функций и ряды Фурье - student2.ru сходится в среднем к Ортогональные системы функций и ряды Фурье - student2.ru , а система {ип}полна (в этом смысле), если

Ортогональные системы функций и ряды Фурье - student2.ru 0 (19.15)

Системы собственных функций оператора Лапласа обладают указанным свойством полноты при всевозможных функциях Ортогональные системы функций и ряды Фурье - student2.ru которые приходится рассматривать практически (например, с разрывами второго рода).

Легко убедиться, что обычные тригонометрические ряды Фурье дают частный пример ряда (19.13).

Возьмём, например, систему собственных функций одномерного оператора Лапласа из п.7.2. После нормировки в (7.9) Ортогональные системы функций и ряды Фурье - student2.ru , и система принимает вид:

Ортогональные системы функций и ряды Фурье - student2.ru

По этой системе разложим некоторую функцию f(x), определённую на отрезке 0 ≤ х ≤ а. Согласно (19.13)

Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru
а это и есть обычный тригонометрический ряд Фурье по синусам.

В качестве второго примера рассмотрим ряд Фурье типа (12.22). В данном случае разлагается определённая на отрезке –T/2 ≤ t ≤ T/2 функция Ортогональные системы функций и ряды Фурье - student2.ru , по ортонормированной системе

Ортогональные системы функций и ряды Фурье - student2.ru

Ряд (19.13) имеет вид

Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru

что совпадает с (12.22), (12.23). Заметим, что Ортогональные системы функций и ряды Фурье - student2.ru - это собственные функции одномерного оператора Лапласа Ортогональные системы функций и ряды Фурье - student2.ru при периодических граничных условиях и (-Т/2) = и(Т/2).

Сведения из алгебры

20.1. Векторы и матрицы. Запишем п линейных уравнений с п неизвестными:

Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru (20.1)

Ортогональные системы функций и ряды Фурье - student2.ru

Ортогональные системы функций и ряды Фурье - student2.ru

Существует ещё следующая краткая форма записи этой системы

Ах = B, (20.2)

где объект А, представляющий собой таблицу коэффициентов

A11 A12. . . . . . . . . A1n

A21 A22. . . . . . . . . A2n = А, (20.2а)

…………………..

An1 An2. . . . . . . . . Ann

называется квадратной матрицей порядка п, а х и b - столбцы величин

x1 b1

x2 b2

= x и … =b (20.2б) xn bn

(наборы чисел), рассматриваемые как векторы.

Действительно, вектор в трёхмерном пространстве характеризуется набором трех чисел, выражающих его компоненты. Подобно этому х и b играют роль векторов в n-мерном пространстве, а систему уравнений (20.1) можно считать аналогом линейного преобразования (1.11). На векторы в n-мерном пространстве распространяются правила действий (1.2) - (1.4). А именно, суммой векторов а и b является вектор с с компонентами ci = ai + bi; произведение числа т на вектор а даёт вектор с компонентами таi; скалярное же произведение векторов с и b есть число

Ортогональные системы функций и ряды Фурье - student2.ru

Формальный смысл равенства (20.2) заключен в том, что его левую часть следует рассматривать как произведение матрицы А на вектор х;с этой точки зрения, левая часть (20.1) указывает правило умножения А на х, результатом которого является вектор b с компонентами

Ортогональные системы функций и ряды Фурье - student2.ru

Над матрицами также производятся алгебраические действия. Равенство

Аа + Ва = B,

где А и В - квадратные матрицы порядка п, а а и b - соответствующие векторы, можно выразить в виде

Са = B.

Здесь C - новая матрица, являющаяся суммой матриц А и В:

Ортогональные системы функций и ряды Фурье - student2.ru (20.5)

К понятию операции умножения матрицы на матрицу приходим, имея равенства типа (20.2)

Ах = b и х = Вс.

Исключая х, запишем:

Сс = b,

где матрица С есть произведение А и В. Правило образования её элементов Cik из Aik и Bik нетрудно получить, отправляясь от первоначальных форм типа (20.1). Оно имеет вид;

Ортогональные системы функций и ряды Фурье - student2.ru (20.6)

Операция умножения матриц некоммутативна, т. е. вообще АВ ≠ ВА.

20.2. Некоторые виды матриц. Матрица называется диагональной, если все элементы Aik при i ≠ k равны нулю, т. е.

Ортогональные системы функций и ряды Фурье - student2.ru (20.7)

( Ортогональные системы функций и ряды Фурье - student2.ru - символ Кронекера, см. § 19 п. 2); в частности, при

Ортогональные системы функций и ряды Фурье - student2.ru (20.7а)

матрица A называется единичной и обозначается А = I; все элементы Аii при этом равны единице, а остальные - нулю. Транспонированной по отношению к А называют матрицу А', обладающую тем свойством, что

Ортогональные системы функций и ряды Фурье - student2.ru . (20.8)

Матрица А' получается из А путем замены строк столбцами. Комплексно-сопряженной называется матрица А* с комплексно-сопряженными элементами:

Ортогональные системы функций и ряды Фурье - student2.ru . (20.9)

Введем, далее, .понятие обратной матрицы А-1:для неё

Ортогональные системы функций и ряды Фурье - student2.ru . (20.10)

Матрица А может не иметь обратной и называется тогда особенной.

Поставим целью для данной матрицы А найти так называемую сопряжённую матрицу Ортогональные системы функций и ряды Фурье - student2.ru , удовлетворяющую условию

Ортогональные системы функций и ряды Фурье - student2.ru , (20.11)

где а и b - произвольные векторы. На основании определения скалярного произведения векторов (20.3) должно быть:

Ортогональные системы функций и ряды Фурье - student2.ru ,

т. е.

Ортогональные системы функций и ряды Фурье - student2.ru .

При любых a и b это возможно лишь при равенстве Ортогональные системы функций и ряды Фурье - student2.ru для всех i и k, а следовательно,

Ортогональные системы функций и ряды Фурье - student2.ru (20.11а)

Мы видим, что сопряжённая матрица является транспонированной и комплексно-сопряжённой.

Если матрица Аравна сопряжённой, т. е. Ортогональные системы функций и ряды Фурье - student2.ru и

Ортогональные системы функций и ряды Фурье - student2.ru , (20.12)

то ввиду (20.11а)

Ортогональные системы функций и ряды Фурье - student2.ru . (20.12а)

Диагональные элементы такой матрицы Аи вещественны. Матрица называется эрмитовой (самосопряжённой).

Если эрмитова матрица вещественна (A* = А), и согласно (20.12а) Aik=Aki, т.е.

Ортогональные системы функций и ряды Фурье - student2.ru , (20.13)

то говорят, что она является симметрической.

Наконец, вернемся к уравнению (20.2) и поставим вопрос, каким свойством должна обладать матрица А, чтобы выполнялось равенство

(х,х) = (b,b). (20.14)

Его можно истолковать так: при преобразовании вектора х и b последний сохраняет длину, т. е. имеет место поворот вектора в n-мерном пространстве. Выражая в (20.14) b через х,имеем:

(х, х) = (Ах, Ах).

Перепишем это с учётом (20.11) в виде:

Ортогональные системы функций и ряды Фурье - student2.ru .

Отсюда следует, что равенство (20.14) выполняется, если

Ортогональные системы функций и ряды Фурье - student2.ru , (20.15)

т. е. ввиду (20.10) сопряж`нная и обратная матрица равны. Исходная матрица A называется при этом унитарной. Если матрица A вещественна (A* = A) и унитарна, то

Ортогональные системы функций и ряды Фурье - student2.ru . (20.16)

Такую матрицу называют ортогональной.

Заметим, что ортогональными являются матрицы преобразований, рассмотренных в § 14, составленные из направляющих косинусов для декартовой системы координат в трёхмерном пространстве. Элементы произвольной ортогональной матрицы тоже можно истолковать как направляющие косинусы (в n-мерном пространстве).

20.3. О задачах линейной алгебры. Одной из задач линейной алгебры является решение системы уравнений (20.1), т. е, согласно (20.2) определение вектора х при заданной матрице А и заданном векторе b. Если матрица А-неособенная (имеет обратную), то, умножая (20.2) слева на A-1, сразу получаем формальное решение задачи:

Ортогональные системы функций и ряды Фурье - student2.ru . (20.17)

Можно сказать, что решение системы уравнений (20.1) сводится к обращению её матрицы А. Показывается, что

Ортогональные системы функций и ряды Фурье - student2.ru Ортогональные системы функций и ряды Фурье - student2.ru (20.18)

где Δ = DetA - определитель, соответствующий матрице А, а Δik - алгебраические дополнения к элементам Aik; эти понятия считаются известными читателю. Можно отметить, что в (20.18) фигурируют алгебраические дополнения не к тем элементам матрицы А, на местах которых они находятся, а к транспонированным. Очевидно, матрица А - особенная, если Δ = 0.

Рассмотрим однородную систему уравнений, в матричной форме имеющую вид:

Аа = κа, (20.19)

где κ - некоторый параметр (число). Это формулировка задачи на собственные значения матрицы А (ср. § 19, п. 1).

Для того чтобы однородная система имела решение (отличное от нулевого) её определитель должен обращаться в нуль, т. е. в данном случае должно быть:

Det |A - κ I| = 0, (20.20)

или в подробной записи:

Ортогональные системы функций и ряды Фурье - student2.ru = 0. (20.20а)

Уравнение (20.20) называют характеристическим (или вековым) уравнением матрицы А. Собственные значения матрицы κ = κi являются его корнями.

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

Проекционные методы

21.1. Исходные представления. Метод Галёркина. Вернемся к рядам Фурье (п.19.3), чтобы провести следующее сравнение.

Пусть в трехмерном пространстве выбрана декартова система координат и, следовательно, имеются три единичных взаимно перпендикулярных вектора: Ортогональные системы функций и ряды Фурье - student2.ru

Взяв произвольный вектор Ортогональные системы функций и ряды Фурье - student2.ru , мы можем разложить его по этим ортам (рис. 21.1),что даёт:

Ортогональные системы функций и ряды Фурье - student2.ru (21.1)

Вектор Ортогональные системы функций и ряды Фурье - student2.ru теперь представлен при помощи трёх своих проекций Ортогональные системы функций и ряды Фурье - student2.ru являющихся скалярными произведениями Ортогональные системы функций и ряды Фурье - student2.ru на единичные базисные векторы Ортогональные системы функций и ряды Фурье - student2.ru .

Сопоставляя (21.1) и (19.13), замечаем отчётливую формальную аналогию между построенным разложением обычного вектора Ортогональные системы функций и ряды Фурье - student2.ru и рядом Фурье функции Ортогональные системы функций и ряды Фурье - student2.ru Функция подобна вектору в бесконечномерном пространстве, а её ряд Фурье можно рассматривать как разложение этого вектора в базисе, образованном ортонормированной системой Ортогональные системы функций и ряды Фурье - student2.ru .

Далее, пусть поставлена задача (быть может, некоторая граничная задача электродинамики) в виде

Ортогональные системы функций и ряды Фурье - student2.ru , (21.2)

где A - дифференциальный оператор, заданный с надлежащими граничными условиями. Разность Ортогональные системы функций и ряды Фурье - student2.ru равна нулю, а потому равны нулю её проекции на базис Ортогональные системы функций и ряды Фурье - student2.ru , коэффициенты Фурье Ортогональные системы функций и ряды Фурье - student2.ru :

Ортогональные системы функций и ряды Фурье - student2.ru k = 1, 2, …, ∞ (21.3)

В большинстве случаев замкнутые аналитические решения задач типа (21.2) недоступны. Но существуют методы, позволяющие получать приближенные решения, которые могут быть как угодно близки к рядам Фурье настоящих решений. Такие методы называются проекционными.

Проекционный метод Галёркина состоит в том, что строится представление решения Ортогональные системы функций и ряды Фурье - student2.ru в виде суммы

Ортогональные системы функций и ряды Фурье - student2.ru (21.4)

с неопределёнными коэффициентами Ортогональные системы функций и ряды Фурье - student2.ru и вместо (21.3) берутся N аналогичных соотношений ортогональности

Ортогональные системы функций и ряды Фурье - student2.ru ; k = 1, 2, …, N. (21.5)

(разумеется, должно быть Ортогональные системы функций и ряды Фурье - student2.ru , п.19.1). Легко видеть, что эти соотношения порождают систему линейных уравнений

(21.6)
Ортогональные системы функций и ряды Фурье - student2.ru Ортогональные системы функций и ряды Фурье - student2.ru
Ортогональные системы функций и ряды Фурье - student2.ru
Ортогональные системы функций и ряды Фурье - student2.ru

относительно коэффициентов ап как неизвестных, т. е. в матричной форме:

MaN=f, (21.6а)

где в левой части фигурирует вектор, образованный этими коэффициентами Ортогональные системы функций и ряды Фурье - student2.ru и матрица М с элементами Ортогональные системы функций и ряды Фурье - student2.ru ,а в правой части - заданный вектор Ортогональные системы функций и ряды Фурье - student2.ru с компонентами Ортогональные системы функций и ряды Фурье - student2.ru (ср. п. 20.1: векторы aN и f - это то же, что х и b в п. 20.1). Таким образом, метод Галёркина сводит граничную задачу (21.2) к системе линейных уравнений (21.6), решение которой определяет коэффициенты представления (21.4).

Возьмём теперь задачу на собственные значения вида

Ортогональные системы функций и ряды Фурье - student2.ru (21.7)

где L - некоторый дифференциальный оператор, а q - функция координат. Подобно (21.3) имеем:

Ортогональные системы функций и ряды Фурье - student2.ru (21.8)

Построив представление решения вида (21.4), подчиним его N условиям ортогональности:

Ортогональные системы функций и ряды Фурье - student2.ru (21.9)

подобно тому, как это делалось выше; индекс N при κ подчёркивает, что имеются в виду приближённые собственные значения. Из (21.9) следует однородная система линейных уравнений

MaN = κNQaN, (21.10)

где матрицы М и Q имеют элементы Mkn = (Lun, uk) и Ортогональные системы функций и ряды Фурье - student2.ru соответственно.

Таким образом, первые N собственных значений задачи (21.7) приближённо определяются как корни Ортогональные системы функций и ряды Фурье - student2.ru характеристического уравнения

Det|M - κNQ| = 0(21.11)

(п. 20.3). Если, в частности q=1, то (21.11) имеет вид

Det|M - κNI| = 0, (21.11a)

что совпадает с (20.20). Приближёнными собственными значениями задачи (21.7) являются при этом собственные значения матрицы М.

Для широкого класса задач доказывается сходимость метода Галёркина, т. е. устанавливается тот факт, что

Ортогональные системы функций и ряды Фурье - student2.ru при Ортогональные системы функций и ряды Фурье - student2.ru , (21.12)

где ап - коэффициенты Фурье решения Ортогональные системы функций и ряды Фурье - student2.ru .

21.2. Вариационные принципы и метод Ритца. Рассматривая задачу на собственные значения (21.7), будем считать, что оператор L симметрический, функция q вещественна, а собственные значения κn образуют последовательность вида (19.9).

Пусть Ортогональные системы функций и ряды Фурье - student2.ru - произвольная функция Ортогональные системы функций и ряды Фурье - student2.ru .Запишем выражение

Ортогональные системы функций и ряды Фурье - student2.ru (21.13)

Легко видеть, что если Ортогональные системы функций и ряды Фурье - student2.ru - одна из собственных функций, то Ортогональные системы функций и ряды Фурье - student2.ru есть соответствующее собственное значение.

Выражение (21.13), в котором Ортогональные системы функций и ряды Фурье - student2.ru может изменяться в некотором классе функций, относится к так называемым функционалам(функционал - «функция от функции»). Можно показать, что функционал Ортогональные системы функций и ряды Фурье - student2.ru имеет минимум, который равен низшему собственному значению v1:

Ортогональные системы функций и ряды Фурье - student2.ru (21.14)

а каждое высшее собственное значение есть также минимум Ф(u), но при некотором дополнительном условии, а именно

Ортогональные системы функций и ряды Фурье - student2.ru (21.15)

Говорят, что функционал Ортогональные системы функций и ряды Фурье - student2.ru (21.13) выражает вариационный принципдля задачи (21.7); вычисление собственных значений Ортогональные системы функций и ряды Фурье - student2.ru можно свести к вариационной задаченахождения Ортогональные системы функций и ряды Фурье - student2.ru (21.15) при переборе всевозможных Ортогональные системы функций и ряды Фурье - student2.ru Как частную форму функционала (21.13) следует рассматривать выражение (19.6), (19.7) и (19.8). Существуют также вариационные принципы совершенно иного рода, не имеющие связи с задачами на собственные значения. К ним, например, относится принцип Ферма [1].

Ограничивая класс функций, будем искать вместо Ортогональные системы функций и ряды Фурье - student2.ru величину Ортогональные системы функций и ряды Фурье - student2.ru , где Ортогональные системы функций и ряды Фурье - student2.ru есть представление (21.4) решения задачи (21.7); при этом варьируются коэффициенты Ортогональные системы функций и ряды Фурье - student2.ru .Внося (21.4) в (21.13), имеем:

Ортогональные системы функций и ряды Фурье - student2.ru (21.15)

Это функция переменных Ортогональные системы функций и ряды Фурье - student2.ru (комплексно сопряженные коэффициенты - независимые переменные), и чтобы определить минимум данной функции, надо составить и обратить в нуль производные по всем переменным: условие необходимое, хотя и, вообще говоря, недостаточное. Величину Ортогональные системы функций и ряды Фурье - student2.ru примем за выражение приближённых собственных значений κN. Составляя равенства

Ортогональные системы функций и ряды Фурье - student2.ru

получаем:

Ортогональные системы функций и ряды Фурье - student2.ru (21.17)

т.е

Ортогональные системы функций и ряды Фурье - student2.ru

или в матричной форме с использованием обозначений из п. 1:

MaN = κNQaN, (21.18)

что совпадает с результатом (21.10), полученным методом Галёркина. Способ, которым было найдено матричное уравнение (21.18), также относится к проекционным методам и называется методом Ритца.

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

Ортогональные системы функций и ряды Фурье - student2.ru (21.19)

Применяя метод Ритца, в данном случае придём к матричному уравнению (21.6а).

Уравнения (21.10), (21.6 а) и аналогичные алгебраические формы, к которым сводится граничная задача путём применения проекционных методов, называются уравнениями Галёркина-Ритца.

Список литературы

1. Бицадзе А. В. Уравнения математической физики. – М. : Наука, 1976. – 296 с.

2. Бронштейн И. Н., Семендяев К. А. Справочник по математике для инженеров и учащихся втузов. – М.: Наука, 1986. – 544 с.

3. Корн Г., Корн Т. Справочник по математике для научных работников и инженеров: Пер. с англ. – М.: Наука, 1984. – 832 с.

4. Кочин И. Е. Векторное исчисление и начала тензорного исчисления – М.: Изд-во АН СССР, 1961. – 424с.

5. Лаптев Г Ф Элементы векторного исчисления. – М. Наука, 1975. – 336 с.

6. Никольский В.В. Электродинамика и распространение радиоволн / В.В. Никольский, Т.И. Никольская. – М. : Наука, 1989. – 544 с.

7. Погорелов А В. Дифференциальная геометрия – М. : Наука, 1974. – 176 с.

8. Романовский П. И. Ряды Фурье. Теория поля. Аналитические и специальные функции. Преобразование Лапласа. – М. : Наука, 1980. – 338 с.

9. Справочник по специальным функциям с формулами, графиками и математическими таблицами. Пер. с англ. /Под ред. М. Абрамовица и И. Стиган. – М.: Наука, 1979. – 736 с.

10. Тихонов А. Н., Самарский А. А. Уравнения математической физики – М.: Наука, 1972. – 742 с.

Контрольные задания

Оглавление

Введение. 2

Глава 1. ЭЛЕМЕНТЫ ВЕКТОРНОГО АНАЛИЗА.. 3

1. Векторы и действия над ними. 3

1.1 Основные операции. 3

1.2. Линейное преобразование векторов. 4

1.3. Радиус-вектор. 5

2. Математическое понятие поля. Градиент. 6

2.1. Скалярное поле и градиент. 6

2.2. Градиент в декартовых координатах. 7

2.3. Векторное поле и силовые линии. 8

2.4. Потенциальные векторные поля. 8

2.5. Пример градиента. 9

3. Дивергенция. Теорема Остроградского-Гаусса. 11

3.1. Силовые линии и поток вектора. 11

3.2. Дивергенция. 12

3.3. Дивергенция в декартовых координатах. 13

3.4. Теорема Остроградского-Гаусса. 14

4. Ротор. Теорема Стокса. 16

4.1. Ротор. 16

4.2. Ротор в декартовых координатах. 16

4.3. Теорема Стокса. 17

5. Некоторые соотношения векторного анализа. 19

5.1. Оператор Гамильтона. 19

5.2. Тождества векторного анализа. 20

5.3. Теорема Грина. 22

6. Операции в криволинейных координатах. 23

6.1. Криволинейные ортогональные координаты. 23

6.2. Цилиндрические и сферические координаты. 24

6.3. Операции векторного анализа в криволинейных ортогональных координатах. 25

6.4. Операции векторного анализа в цилиндрических и сферических координатах. 27

7. О дифференциальных уравнениях с частными производными. 28

7.1 Уравнения Лапласа и Пуассона. 28

7.2. Другие уравнения. 29

7.3. Понятие линейности. 30

Глава 2. УРАВНЕНИЯ ЛАПЛАСА И ПУАССОНА.. 31

8. Дельта-функция Дирака. 31

8.1. Первоначальное понятие. 31

8.2. Обобщение и примеры.. 32

8.3. Представление дельта-функции δ (r). 34

9. Интегрирование уравнения Пуассона. 34

9.1. Функция Грина. 34

9.2. Выражение решения скалярного уравнения Пуассона. 35

9.3. Решение уравнения Пуассона для неограниченного пространства. 36

9.4. Векторное уравнение Пуассона. 37

10. Граничные задачи для уравнения Лапласа. 37

10.1. Предварительные сведения. 37

10.2. Задача Дирихле. 38

10.3. Задача Неймана. 39

11. Метод разделения переменных. 40

11.1. Сущность метода. Разделение переменных в цилиндрических координатах. 40

Глава 3. ГАРМОНИЧЕСКИЕ КОЛЕБАНИЯ И ВОЛНЫ.. 43

12. Гармонические колебания и метод комплексных амплитуд. 43

12.1. Представление о гармонических колебаниях. 43

12.2. Метод комплексных амплитуд. 44

12.3. Средние значения. 47

12.4. Разложение по гармоническим колебаниям. 48

13. Волновые процессы и их математическое описание. 50

13.1. Плоская однородная волна. 50

13.2. Гармоническая волна. 51

13.3. Волны затухающие, неоднородные и неплоские. 53

14. Вращение декартовой системы координат. 56

14.1. Направляющие косинусы. 56

14.2. Преобразование компонент векторов и координат. 57

14.3. Углы Эйлера. 58

Глава 4. РЕШЕНИЯ ВОЛНОВЫХ УРАВНЕНИЙ.. 60

15. Интегрирование неоднородного уравнения Гельмгольца и уравнения Даламбера 60

15.1. Функция Грина для уравнения Гельмгольца. 60

15.2. Выражение решения неоднородного уравнения Гельмгольца. 62

15.3. Выражение решения уравнения Даламбера. 64

15.4. Расходящиеся и сходящиеся волны. Условие излучения. 67

16. Уравнение Бесселя и цилиндрические функции. 70

16.1. Первоначальные сведения. 70

16.2. Асимптотические представления. 72

16.3. Степенные ряды; представления функций малого аргумента. 73

16.4. Функциональные соотношения. 74

16.5. Интегральное представление функций Бесселя. 75

16.6. Разложение по функциям Бесселя. 77

17. Решение однородного уравнения Гельмгольца методом разделения переменных 80

17.1. Декартовы координаты.. 80

17.2. Цилиндрические координаты. 81

Глава 5. КРАЕВЫЕ ЗАДАЧИ ЭЛЕКТРОДИНАМИКИ.. 85

18. Граничные задачи для уравнения Гельмгольца. Собственные функции и собственные значения. 85

18.1. Постановка задач. Применение прямоугольных координат. 85

18.2. Применение цилиндрических координат. 91

18.3. Заключительные замечания. 96

19. Ортогональные системы функций и ряды Фурье. 97

19.1. Некоторые свойства оператора Лапласа. 97

19.2. Ортогональные системы функций. 99

19.3. Ортогональные ряды. 101

20. Сведения из алгебры.. 104

20.1. Векторы и матрицы.. 104

20.2. Некоторые виды матриц. 106

20.3. О задачах линейной алгебры.. 108

21. Проекционные методы.. 110

21.1. Исходные представления. 110

21.2. Вариационные принципы и метод Ритца. 113

Список литературы.. 116

Контрольные задания. 117

Наши рекомендации