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

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


x

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

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

Точное решение http://ad.cctpu.edu.ru/Math_method/math/3.files/image278.gif

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

0.241 0.445 0.208

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

0.322 0.685 0.325

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

0.241 0.582 0.273

Информация о работе «Методы коллокаций и Галеркина»
Раздел: Математика
Количество знаков с пробелами: 7004
Количество таблиц: 2
Количество изображений: 4

0 комментариев


Наверх