YI семестр. ММФ НГУ
Методы вычислений. МКЭ
КОНСПЕКТ СЕМИНАРСКИХ ЗАНЯТИЙ
Мацокин А.М. – проф. кафедры вычислительной математики
2005-2006 учебный год
Предлагаем Вашему вниманию конспект семинарских занятий по второй половине курса «Методы вычислений» (лектор проф. Ю.М. Лаевский), проведенных профессором кафедры А.М. Мацокиным.
Содержание
1 семинар "Метод Галеркина (Ритца, Бубнова) для решения задачи о представлении линейного функционала в гильбертовом пространстве". - 2 -
Гильбертово пространство. - 2 -
Линейный функционал. - 2 -
Теорема Рисса. - 2 -
Эквивалентные нормировки. - 2 -
Задача о представлении линейного функционала. - 3 -
· Проекционная формулировка: - 3 -
· Вариационная формулировка: - 3 -
Решение (приближенное): - 3 -
Сходимость. - 3 -
2 семинар "Пример построения проекционной формулировки краевой задачи и выбора конечномерных подпространств в методе Галеркина". - 5 -
Краевая задача: - 5 -
Интегральное тождество. - 5 -
Энергетическое пространство. - 5 -
Проекционная формулировка задачи : - 6 -
Тригонометрический
базис в . - 6 -
Метод
Галеркина для задачи в . - 7 -
3 семинар "Кусочно-линейные восполнения". - 8 -
Метод
Галеркина для задачи в . - 10 -
4 семинар "Кусочно-квадратичные восполнения". - 11 -
Метод
Галеркина для задачи в . - 13 -
Задачи к экзамену. - 15 -
Пространство (бесконечномерное) – гильбертово, если в нем заданы:
·
скалярное произведение ,
·
норма ;
оно замкнуто и сепарабельно.
·
В нем существует счетный базис и
.
·
Среди всех базисов выделяют ортонормированные базисы:
.
·
Если – замкнутое подпространство, то
элементы, ортогональные ко всем элементам из
,
образуют замкнутое ортогональное подпространство
и
, т.е.
.
Отображение называется линейным
функционалом, если
1. – однородность,
2. – аддитивность,
3. – ограниченность (непрерывность).
Линейный функционал f(v) однозначно представим в виде .
Пусть – билинейная,
симметричная форма, определенная на плотном в
множестве
:
·
– линейность по первому аргументу,
·
– симметричность,
Кроме того,
·
– непрерывность формы,
·
– коэрцитивность формы.
Доказать, что форма продолжается по непрерывности на
с сохранением всех своих свойств,
определяет в H новое скалярное
произведение и норму
, эквивалентную норме
:
.
определить .
определить , где
.
Выберем (произвольно) в гильбертовом пространстве несколько линейно независимых элементов:
.
Их линейную оболочку обозначим через .
Будем искать приближенное решение в виде .
Для определения неизвестных чисел
из проекционных условий
получим n уравнений:
Для определения неизвестных чисел
из вариационных условий
где , приравняем нулю
производные от функционала
:
Легко видеть, что обе
формулировки приводят к одной и той же системе линейных алгебраических
уравнений порядка с матрицей
Грамма набора линейно независимых векторов
.
Доказать,
что эта матрица является невырожденной, симметричной и положительно определенной, т.е. система имеет единственное решение.
Отсюда следует, что приближенное решение совпадает с
ортогональной проекцией решения на .
Для сходимости достаточно, чтобы, т.е.
.
Обычно для оценки сходимости используют следующее из теоремы Пифагора неравенство:
,
подбирая для (неизвестного) подходящий
элемент (интерполянт)
и оценивая их разность.
Задача 1.
,
,
а. определить
;
б. определить .
Задача 2.
,
,
а. определить
;
б. определить .
Задача 3.
,
,
а. определить
;
б. определить .
Задача 4.
,
,
а. определить
;
б. определить .
Задача 5.
,
,
а. определить
;
б. определить .
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.