Математика: Методы коллокаций и Галеркина, Учебное пособие

Методы коллокаций и Галеркина

 

Метод коллокаций

Пусть необходимо определить функциюhttp://ad.cctpu.edu.ru/Math_method/math/3.files/image002.gif, удовлетворяющую линейному дифференциальному уравнению

http://ad.cctpu.edu.ru/Math_method/math/3.files/image004.gif        (2.50)

и линейными краевыми условиями

http://ad.cctpu.edu.ru/Math_method/math/3.files/image006.gif,             (2.51)

причем http://ad.cctpu.edu.ru/Math_method/math/3.files/image008.gif

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

http://ad.cctpu.edu.ru/Math_method/math/3.files/image010.gif               (2.52)

которую назовем системой базисных функций.

Пусть функция http://ad.cctpu.edu.ru/Math_method/math/3.files/image012.gif удовлетворяет неоднородным краевым условиям

http://ad.cctpu.edu.ru/Math_method/math/3.files/image014.gif              (2.53)


а остальные функции удовлетворяют соответствующим однородным краевым условиям:

http://ad.cctpu.edu.ru/Math_method/math/3.files/image016.gif.        (2.54)

Если краевые условия (2.51) однородны (A=B=0), то можно положить http://ad.cctpu.edu.ru/Math_method/math/3.files/image018.gif и рассматривать лишь систему функций http://ad.cctpu.edu.ru/Math_method/math/3.files/image020.gif.

Будем искать приближенное решение краевой задачи (2.50), (2.51) в виде линейной комбинации базисных функций

http://ad.cctpu.edu.ru/Math_method/math/3.files/image022.gif.               (2.55)

Тогда функция y удовлетворяет краевым условиям (2.51). В самом деле, в силу линейности краевых условий имеем

http://ad.cctpu.edu.ru/Math_method/math/3.files/image024.gif

и аналогично http://ad.cctpu.edu.ru/Math_method/math/3.files/image026.gif

Составим функцию http://ad.cctpu.edu.ru/Math_method/math/3.files/image028.gif. Подставляя сюда вместо y выражение (2.55), будем иметь

http://ad.cctpu.edu.ru/Math_method/math/3.files/image030.gif.(2.56)

Если при некотором выборе коэффициентов ci выполнено равенство

http://ad.cctpu.edu.ru/Math_method/math/3.files/image032.gif при http://ad.cctpu.edu.ru/Math_method/math/3.files/image034.gif

то функция y является точным решением краевой задачи (2.50), (2.51). Однако подобрать так удачно функции http://ad.cctpu.edu.ru/Math_method/math/3.files/image036.gif и коэффициенты ci в общем случае не удается. Поэтому ограничиваются тем, что требуют, чтобы функция http://ad.cctpu.edu.ru/Math_method/math/3.files/image038.gif обращалась в нуль в заданной системе точек http://ad.cctpu.edu.ru/Math_method/math/3.files/image040.gif из интервала [a, b], которые называются точками коллокации. Сама функция R называетсяневязкой уравнения (2.50). Очевидно, что в точках коллокации дифференциальное уравнение (2.50) будет удовлетворено точно, и невязка в этих точках равна нулю.

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

http://ad.cctpu.edu.ru/Math_method/math/3.files/image042.gif.                (2.57)

Из системы (2.57) в случае ее совместности можно определить коэффициенты http://ad.cctpu.edu.ru/Math_method/math/3.files/image044.gif, после чего приближенное решение краевой задачи дается формулой (2.55).

 

Пример. Методом коллокации и методом сеток решить краевую задачу

http://ad.cctpu.edu.ru/Math_method/math/3.files/image046.gif                (2.58)

1. Метод коллокаций.

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

http://ad.cctpu.edu.ru/Math_method/math/3.files/image048.gif.

Эти полиномы удовлетворяют краевым условиям: http://ad.cctpu.edu.ru/Math_method/math/3.files/image050.gif За точки коллокации возьмем следующие абсциссы:

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image052.gif

Ограничиваясь двумя базисными функциями, положим

http://ad.cctpu.edu.ru/Math_method/math/3.files/image054.gif

Найдем функцию http://ad.cctpu.edu.ru/Math_method/math/3.files/image056.gif

http://ad.cctpu.edu.ru/Math_method/math/3.files/image058.gif         (2.59)

В точках коллокации http://ad.cctpu.edu.ru/Math_method/math/3.files/image060.gif получим

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image062.gif.

Подставляя сюда (2.59), найдем

http://ad.cctpu.edu.ru/Math_method/math/3.files/image064.gif                  (2.60)

Решив эту систему, определим коэффициенты http://ad.cctpu.edu.ru/Math_method/math/3.files/image066.gif:

http://ad.cctpu.edu.ru/Math_method/math/3.files/image068.gif=0.957, http://ad.cctpu.edu.ru/Math_method/math/3.files/image070.gif=− 0.022.

Следовательно, приближенное решение будет иметь вид

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image072.gif.

Например, при x=0 получим y(0)=0.957.

2. Метод сеток.

Для грубого решения выбираем шаг h=1/2 (см. рис. 2).

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image074.gif

Рис. 2. Иллюстрация к методу сеток

Полагая http://ad.cctpu.edu.ru/Math_method/math/3.files/image076.gif, ввиду симметрии уравнения и краевых условий, будем иметь:

http://ad.cctpu.edu.ru/Math_method/math/3.files/image078.gif                (2.61)

Таким образом, нужно определить лишь две ординаты y0 и http://ad.cctpu.edu.ru/Math_method/math/3.files/image080.gif. Полагая x=0 и пользуясь симметричными формулами для производных

http://ad.cctpu.edu.ru/Math_method/math/3.files/image082.gif,

получим:

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image084.gif

Аналогично, при x=1/2, то есть при i=1, получаем

http://ad.cctpu.edu.ru/Math_method/math/3.files/image086.gif

Учитывая теперь (2.61)найдем систему

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image088.gif

Решая эту систему, отыщем y0=0.967, y1=0.721. Итак, сравним: метод коллокации дает y0=0.957, а метод сеток y0=0.967.

Метод Галеркина

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

http://ad.cctpu.edu.ru/Math_method/math/3.files/image090.gif,                  (2.62)

http://ad.cctpu.edu.ru/Math_method/math/3.files/image092.gif            (2.63)


Будем искать приближенное решение этой краевой задачи в виде суммы

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image094.gif             (2.64)

где http://ad.cctpu.edu.ru/Math_method/math/3.files/image096.gif – некоторая непрерывная функция, удовлетворяющая неоднородным краевым условиям (2.63), а http://ad.cctpu.edu.ru/Math_method/math/3.files/image098.gif – какая-то система линейно независимых функций, удовлетворяющих однородным краевым условиям

http://ad.cctpu.edu.ru/Math_method/math/3.files/image100.gif              (2.65)

и, кроме того функции http://ad.cctpu.edu.ru/Math_method/math/3.files/image102.gifпри http://ad.cctpu.edu.ru/Math_method/math/3.files/image104.gif образуют в классе функций c2[a, b], удовлетворяющих условиям (2.65), полную систему.

Заметим, что свойство полноты понимается следующим образом.

Обозначим через G класс функций y(x), принадлежащих c2[a, b] (то есть дважды непрерывно дифференцируемых на [a, b]) и удовлетворяющих граничным условиям (2.65). Говорят, что система функций http://ad.cctpu.edu.ru/Math_method/math/3.files/image106.gif полна в классе G, если для любого http://ad.cctpu.edu.ru/Math_method/math/3.files/image108.gif и любой функции http://ad.cctpu.edu.ru/Math_method/math/3.files/image110.gif можно указать такое n и такие параметры http://ad.cctpu.edu.ru/Math_method/math/3.files/image112.gif, что имеет место неравенство

http://ad.cctpu.edu.ru/Math_method/math/3.files/image114.gif

где http://ad.cctpu.edu.ru/Math_method/math/3.files/image116.gif


Это означает, что для любой допустимой функции http://ad.cctpu.edu.ru/Math_method/math/3.files/image110.gif найдется такая функция http://ad.cctpu.edu.ru/Math_method/math/3.files/image119.gif, которая на [a, b] будет сколь угодно точно приближать функцию y(x) вместе с ее производными http://ad.cctpu.edu.ru/Math_method/math/3.files/image121.gif и http://ad.cctpu.edu.ru/Math_method/math/3.files/image123.gif.

Докажем, что если для некоторой функции F(x) и полной системы функций http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif выполняется соотношение ортогональности

http://ad.cctpu.edu.ru/Math_method/math/3.files/image127.gif          (2.66)

то функция http://ad.cctpu.edu.ru/Math_method/math/3.files/image129.gif. Для этого из полной системы http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif последовательной ортогонализацией построим полную ортогональную систему http://ad.cctpu.edu.ru/Math_method/math/3.files/image132.gif

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image134.gif

причем http://ad.cctpu.edu.ru/Math_method/math/3.files/image136.gif иначе http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif были бы линейно зависимы. Разлагая по новой системе функцию F(x), найдем

http://ad.cctpu.edu.ru/Math_method/math/3.files/image139.gif

Подставляя это разложение в соотношение ортогональности (2.66), придем к равенству

http://ad.cctpu.edu.ru/Math_method/math/3.files/image141.gif (2.67)

Вычислим последний интеграл:

http://ad.cctpu.edu.ru/Math_method/math/3.files/image143.gif

http://ad.cctpu.edu.ru/Math_method/math/3.files/image145.gif

http://ad.cctpu.edu.ru/Math_method/math/3.files/image147.gifтак как http://ad.cctpu.edu.ru/Math_method/math/3.files/image149.gif

Таким образом, уравнение (2.67) принимает вид

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image151.gif.

Полагая здесь k=1, получим http://ad.cctpu.edu.ru/Math_method/math/3.files/image153.gif, и так как http://ad.cctpu.edu.ru/Math_method/math/3.files/image155.gif, то http://ad.cctpu.edu.ru/Math_method/math/3.files/image157.gif. Полагая k=2, получим http://ad.cctpu.edu.ru/Math_method/math/3.files/image159.gif, и так далее. Следовательно, все коэффициенты http://ad.cctpu.edu.ru/Math_method/math/3.files/image161.gif в разложении функции F(x) равны нулю и поэтому F(x) тождественно равна нулю, что и требовалось доказать.

Возвращаясь теперь к задаче (2.62), (2.63), видим, что если бы мы нашли такую функцию y(x), удовлетворяющую условиям (2.63), и чтобы http://ad.cctpu.edu.ru/Math_method/math/3.files/image163.gif было ортогонально http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif при любых http://ad.cctpu.edu.ru/Math_method/math/3.files/image166.gif, то это означало бы, что http://ad.cctpu.edu.ru/Math_method/math/3.files/image090.gif, и задача (2.62), (2.63) была бы решена. Если же ортогональность есть только при http://ad.cctpu.edu.ru/Math_method/math/3.files/image169.gif, то в разложении http://ad.cctpu.edu.ru/Math_method/math/3.files/image163.gif по системе http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif входят http://ad.cctpu.edu.ru/Math_method/math/3.files/image173.gif и более старшие коэффициенты, то есть http://ad.cctpu.edu.ru/Math_method/math/3.files/image175.gif

Метод Галеркина состоит в том, что решение задачи (2.62), (2.63) ищется в виде (2.64), причем требуют ортогональности http://ad.cctpu.edu.ru/Math_method/math/3.files/image163.gif к функциям полной системы http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif для http://ad.cctpu.edu.ru/Math_method/math/3.files/image179.gif, то есть

http://ad.cctpu.edu.ru/Math_method/math/3.files/image181.gif      (2.68) где

http://ad.cctpu.edu.ru/Math_method/math/3.files/image183.gif

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

Если оператор http://ad.cctpu.edu.ru/Math_method/math/3.files/image185.gif нелинейный, то система (2.68) тоже будет нелинейной и решение ее весьма затруднительно. Если же оператор http://ad.cctpu.edu.ru/Math_method/math/3.files/image185.gif линейный, то система (2.68) также будет линейной и можно решать задачу с большим числом коэффициентов.

В методе Галеркина функция http://ad.cctpu.edu.ru/Math_method/math/3.files/image096.gif должна удовлетворять краевым условиям (2.63). Поэтому http://ad.cctpu.edu.ru/Math_method/math/3.files/image096.gif можно выбрать в виде

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image189.gif,

и коэффициенты http://ad.cctpu.edu.ru/Math_method/math/3.files/image191.gif найти как решение системы уравнений

http://ad.cctpu.edu.ru/Math_method/math/3.files/image193.gif


Таким же образом отыскиваются функции http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif. Выберем, например, полную систему http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif в виде многочленов последовательных степеней:

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image196.gif.

Коэффициенты http://ad.cctpu.edu.ru/Math_method/math/3.files/image198.gif найдем из однородных краевых условий (2.65)

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image200.gif              (2.65а)

при всех http://ad.cctpu.edu.ru/Math_method/math/3.files/image202.gif.

Так, для http://ad.cctpu.edu.ru/Math_method/math/3.files/image204.gif http://ad.cctpu.edu.ru/Math_method/math/3.files/image206.gif и условия (2.65а) принимают вид:

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image208.gif

В этой системе из двух уравнений три неизвестных: http://ad.cctpu.edu.ru/Math_method/math/3.files/image210.gif http://ad.cctpu.edu.ru/Math_method/math/3.files/image212.gif и http://ad.cctpu.edu.ru/Math_method/math/3.files/image214.gif. Одну из них можно выбрать произвольно, положив, например, http://ad.cctpu.edu.ru/Math_method/math/3.files/image216.gif. Аналогично отыскивают коэффициенты http://ad.cctpu.edu.ru/Math_method/math/3.files/image218.gif для http://ad.cctpu.edu.ru/Math_method/math/3.files/image220.gif.

Для простых условий вида http://ad.cctpu.edu.ru/Math_method/math/3.files/image222.gif то есть http://ad.cctpu.edu.ru/Math_method/math/3.files/image224.gif функции http://ad.cctpu.edu.ru/Math_method/math/3.files/image125.gif можно вычислять по правилу

http://ad.cctpu.edu.ru/Math_method/math/3.files/image226.gif

или

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image228.gif

Отметим, что при нелинейном краевом условии вида, например, http://ad.cctpu.edu.ru/Math_method/math/3.files/image230.gifлинейная комбинация (2.64) с произвольными коэффициентами ak уже не будет удовлетворять этому краевому условию. Поэтому метод Галеркина применим только к задачам с линейными краевыми условиями, хотя допустим и нелинейный оператор L.

Пример 1. Методом Галеркина найти приближенное решение уравнения

http://ad.cctpu.edu.ru/Math_method/math/3.files/image232.gif

с условиями

http://ad.cctpu.edu.ru/Math_method/math/3.files/image234.gif

В качестве системы базисных функций http://ad.cctpu.edu.ru/Math_method/math/3.files/image236.gif выберем

http://ad.cctpu.edu.ru/Math_method/math/3.files/image238.gif

Ограничимся четырьмя функциями http://ad.cctpu.edu.ru/Math_method/math/3.files/image240.gif, то есть k=0, 1, 2, 3. Решение будем искать в виде

http://ad.cctpu.edu.ru/Math_method/math/3.files/image242.gif

Найдем функциюhttp://ad.cctpu.edu.ru/Math_method/math/3.files/image244.gif.

Так как

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image246.gif, а http://ad.cctpu.edu.ru/Math_method/math/3.files/image248.gifhttp://ad.cctpu.edu.ru/Math_method/math/3.files/image250.gif,

то получим

http://ad.cctpu.edu.ru/Math_method/math/3.files/image252.gif

Потребует теперь ортогональности функции F(x) к функциям http://ad.cctpu.edu.ru/Math_method/math/3.files/image254.gif. Это приводит к системе

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image256.gif

Подставляя сюда вместо http://ad.cctpu.edu.ru/Math_method/math/3.files/image244.gif выражение этой функции и производя интегрирования, найдем

http://ad.cctpu.edu.ru/Math_method/math/3.files/image258.gif


Решение этой системы:

http://ad.cctpu.edu.ru/Math_method/math/3.files/image260.gif

Следовательно,

http://ad.cctpu.edu.ru/Math_method/math/3.files/image262.gif

Пример 2.

Решим задачу

http://ad.cctpu.edu.ru/Math_method/math/3.files/image264.gif

Положим http://ad.cctpu.edu.ru/Math_method/math/3.files/image266.gif и выберем полную систему функций

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image268.gif

Ограничиваясь k=1, легко получить

 

http://ad.cctpu.edu.ru/Math_method/math/3.files/image270.gif

Если же взять два члена, то получим http://ad.cctpu.edu.ru/Math_method/math/3.files/image272.gif

Можно рассчитать следующую таблицу:


 Это интересно
 Реклама
 Поиск рефератов
 
 Афоризм
В любом из нас спит гений, и с каждым днем все крепче.
 Гороскоп
Гороскопы
 Счётчики
bigmir)net TOP 100