книги / Проблемы нелинейного деформирования. Метод продолжения решения по параметру в нелинейных задачах механики твердого деформируемого тела
.pdfэто условие в более сложном виде |
|
|
;ЩЩ(Ю= 1. |
|
|
л |
|
|
Из этого условия было получено |
|
|
/§•> - |
- (1 - 5,„) ■1"г' |
* |
л |
2/=1 * |
|
+ 2 2 г № - » ; и р г к<ю + и /у> 1 /}п-г><ю]. |
(5.5.23) |
кЛ Л
Рассмотрим подробнее функции Г//п)(х, у ) . Представим их в виде разложе ния по некоторым базовым системам функции С/*(х) и Ук(х) (к = 1,2,...)
(5.5.24)
Для обеспечения аппроксимации граничных условий на краях (х, 0) и (х , Ь), прямоугольной области Б достаточно, чтобы системы функций 1)к(х) и Ук(х), к = 1,2, ..., были полными на интервале [0,в] ортонормированными системами. В представлении (5.5.12) представим входящие в правые части суммы в виде разложений по базовым системам функций (/*(х) и Ук{х). После сопоставления этих разложений с выражением (5.5.24) полу
чаем для коэффициентов разложения и ^ и о/* * следующие выражения:
(5.5.25)
Подставим сюда выражения (5.5.11), (5.5.14), (5.5.24) и после простых преобразований получим
(5.5.26)
Здесь введены обозначения
(5.5.27)
А к,= - /х ^ С / ,Л . |
Д*,= 1 -/х(/к У,<Ь, |
Ь о |
о о |
Ск,= 7 /хУ к У ,* .
о о
Соотношения (5.5.17), (5.5.18), (5.5.22), (5.5.24), (5.5.26)-(5.5-28) позволяют построить рекуррентный процесс определения коэффициентов разложений (5.5.11), (5.5.14), и таким образом найти последовательно коэффициенты рядов Тейлора по параметру X для некратных собствен ных значений. В случае кратных собственных значений разрешающие со отношения могут быть построены по аналогии с § 5.1.
При численной реализации этого решения для параллелограммной мем браны в прямоугольной области была использована система собственных функций задачи нулевого приближения в виде базовых функций двойного тригонометрического ряда. При этом для удобства введена двойная индек сация
и |
~ |
-------*1п------ . |
(5.5.29) |
|
’ |
\/аЬ |
а |
Ь |
|
Этот системе функций соответствуют собственные значения |
|
“Н г / |
|
*©' |
|
|
|
(5.5.30) |
|||
|
|
|
|
|
|
|
|
|
|
Функции Рц |
(5.5.29) естественным образом определяют системы функций |
||||||||
Ук(х) и Ук(х) в виде |
|
|
|
|
|
||||
|
|
|
|
а |
а |
|
|
|
(5.5.31) |
|
|
|
|
|
|
|
|
||
Коэффициенты А к1, Вк1, Ск 1 (5.5.8) тогда принимают вид |
|
||||||||
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
2 Ъ |
|
|
|
|
А ы = В к1 - С м |
|
|
4 а |
|
к 1 |
|
(5.5.32) |
||
|
|
|
|
|
|
при к Ф 1 . |
|||
|
|
|
|
|
1Т2Ь |
|
((—1)*+/—1) |
||
|
|
|
|
|
Т*2 - * 2)2 |
|
|
||
Ряды (5.5.11), (5.5.14), |
(5.5.24) представляются в форме |
|
|||||||
и/<л) _ V |
г |
|
|
2 |
Ь™ |
. Я*У Ь-у |
(Л) Гг |
. кпх |
|
|
|
ЪчркЧя— |
™ — |
™ - --------- Т ^ и(Рк Г ~ |
5*п— - |
||||
|
|
|
|
у/аЬ |
|
|
|
|
|
У |
|
(Л) |
Гг |
кпх |
|
|
|
||
“ Т |
2 |
р |
а |
- 5 т ------ • |
|
|
|
||
ь |
к |
|
а |
|
|
|
|
и {"]= X |
П |
^ 1п |
|
|
|
|
(л - 1 ) |
|
|||
/р/ |
|
|
|
|
|
’(рк |
), |
|
|||
,,<"> _ |
V |
Г , 'Г /" -Л т Л /) |
А |
^ |
, (л-1) |
|
(5.5.34) |
||||
(я- 1) |
|||||||||||
Р/ |
|
Сл |
|
'Рк‘7 |
|
|
^ * 1 (и<р* |
~ V * |
)• |
||
В этих формулах согласно (5.5.27) обозначено |
|
|
|
||||||||
„</> |
г |
1 |
Ъ> |
2 |
• |
к1ТХ |
■ |
I |
А . |
1*х ^ |
|
= > .* ( ------------------- |
|
|
5Ш ---------- |
|
$1П--------- |
V — 5Ш |
------- А с |
||||
в |
о |
\ ъ у ! |
^/7ь |
|
° |
|
ь |
» |
|
• |
( 0
I \ [ 2 |
/ я п \ ' |
Т ~ |
при /= 1 ,3 ,5 ,..., |
||
I ----а у /Т--- |
\ |
т |
) ( - 0 |
[/(/.* -1 . * )-/(/. *+1,!в)] |
|
Ь |
/ |
|
|
||
|
|
|
|
|
(5.5.35) |
/(/, р, а) = |
/ |
х* с о з ^ ^ - ах. |
(5.5.36) |
||
|
|
о |
|
а |
|
Этот интеграл может быть вычислен с помощью следующего рекуррентного процесса
Н 1,Р , а) |
1 Г - 1 ] |
— а ’"
/+ 1
*и.Р, <0=
_ (/- 1 )/(/- 2 ,р .в )1 при рФ 0.
|
|
|
|
(5.5.38) |
|
|
|
|
(5.5.39) |
.<»> |
_ у/ 2 |
Ъ Ц 1 * У |
-а?Л*к |
|
1т* |
Яп |
[ \ я |
/ |
|
|
|
|
|
(5.5.40) |
Л ") |
|
|
|
(п) |
|
т7Г |
,т1 |
(5.5.41) |
|
|
|
Начальные значения для рекуррентного процесса (5.5.34) - (5.5.41) опреде ляются решением задачи нулевого приближения
"-(т)’ *(т)'
(5.5.42)
■' Ш1ц
Этот рекуррентный процесс был реализован на ЕС ЭВМ. При использовании
Числоприближении |
первых 49-ти собственных функций в |
|||
число приближений |
(высшая степень ря |
|||
|
разложении (5.5.29) |
( /,/ |
= 1 , 2 , . . . , .7) |
|
|
расчет 16-ти членов рядов по параметру X |
|||
|
потребовал — 170 килобайт памяти ЭВМ. |
|||
|
Сходимость метода иллюстрирует гра |
|||
|
фик на рис. 5.14. На нем по горизонтали |
|||
|
отложен параметр X, а по вертикали — |
|||
|
да (5.5.2)), необходимое для сходимости |
|||
00000000 |
первых четырех значащих цифр частоты |
|||
первого тона колебаний |
мембраны с |
|||
|
Ь/д = 1,2. Значения частот сходились к |
|||
|
полученным ранее методом продолжения |
|||
-оооооо |
по параметру (§ 5.2). Из графика видно, |
|||
что 16-ти приближений оказалось доста |
||||
|
||||
|
точно только для сходимости в области |
|||
|
X < 0,21. При этом с ростом X число |
|||
:. 5.14 |
приближений резко возрастает. |
Отметим, что при реализации очередного приближения полученного здесь методом возмущений решения необходимо использовать р е зу л ы а ш всех предыдущих приближений. Поэтому число приближений 'лрапичено па мятью ЭВМ. Это делает невозможным получение решения м етодом возму щений при больших значениях параметра X. В то же время при малых значе ниях X (в нашем примере при X < 0,2) удовлетворительную точность (с ошибкой в 1 -=-5%) дает, как правило, уже второе приближение, реализа ция которого сравнительно проста. Это, по-видимому, и объясняет тот факт, что абсолютное большинство решений задач механики и физики мето дом возмущений (см., например, обзор А.Найфе [464]) построены только до второго приближения. С такого рода эффектом столкнулся один из авторов и его сотрудники при получении решения методом возмущений для трапециевидных пластин в работе [364].
Таким образом, по сравнению с методом возмущений метод продолже ния решения по параметру позволяет исследовать поведение решения при больших отклонениях от невоэМущенного решения.
ПРИЛОЖЕНИЯ
I. ОБЗОР РАБОТ ПО ИСПОЛЬЗОВАНИЮ МЕТОДА ПРОДОЛЖЕНИЯ РЕШЕНИЯ ПО ПАРАМЕТРУ В НЕЛИНЕЙНЫХ ЗАДАЧАХ МЕХАНИКИ ТВЕРДОГО ДЕФОРМИРУЕМОГО ТЕЛА
Обзоры [114, 116] подготавливались нами сравнительно давно и вклю чают в себя исследования до 1976 г. С тех пор прошло немало времени, появилось значительное количество новых работ, где метод продолжения решения по параметру развивался и применялся к новым задачам. Поэтому мы сочли необходимым обновить эти обзоры с учетом новых исследова ний, но не меняя их общей структуры.
Наша цель здесь — дать обзор и систематизацию различных форм метода продолжения решения, обратить внимание на возникающие при использо вании метода трудности и способы их разрешения. Ввиду этого основное внимание уделялось методическому аспекту исследований. Конкретное же их содержание затрагивалось лишь в той мере, в какой оно связано с мето дом продолжения решения по параметру и с особенностями его примене ния и реализации.
1.1. Общая формулировка метода продолжения решения по параметру
Как уже отмечалось во Введении, при некоторых не слишком обреме нительных ограничениях на свойства щ-мерной вектор-функции Г (X, Р) , а именно при ее непрерывности и дифференцируемости по компонентам
т-мерного вектора X и параметру Р в |
окрестности известного решения |
* (0). Рои при отличии от нуля в этой |
окрестности якобиана <1е1 (/) |
вектор-функции Р, решение уравнения |
|
Р (Х,Р) = 0 |
(1.1.1) |
является непрерывной и дифференцируемой функцией параметра Р, т.е.
Х = Х (Р ), |
(1.1.2) |
и такой,что |
|
Х(Р0) = Х0. |
(1.13) |
Иными словами, в (т + 1) -мерном векторном пространстве К„,+1 :{Х, Р) решение уравнения (1.1.1) в окрестности точки [Х(о), Л>]е Кт+1 представ-
ляет собой непрерывную и дифференцируемую кривую К. проходящую через эту точку [А(о), Р0] .
Именно на этом свойстве решения уравнения (1.1.1) и основан метод продолжения решения по параметру, который предлагает строить реше ния этого уравнения, отталкиваясь от известного решения |ЛГ(0). />0) и двигаясь вдоль кривой К.
Эта идея неоднократно использовалась для доказательства существо вания решений нелинейных уравнений. Обзор работ математическогсх.характера с подобным применением идеи продолжения решения дан Фикеном [409]. В механике твердого деформируемого тела такой способ дока зательства существования решения уравнения Феппля-Кармана успешно применил Н.Ф. Морозов [251-255].
Впервые идею продолжения решения по параметру в вычислительных
целях использовал М. Лаэй [447]. В трансцендентное уравнение |
|
Н а 0 = 0 |
(1.1.4) |
он ввел параметр Р и таким образом свел его к уравнению вида (1.1.1).
Параметр был введен так, что при Р~ Р0 =0 |
уравнение Р(Х. 0) |
= Олегко |
решить, а при Р = Р,,= 1 имеет место Р(Х, \) = Н (Х), т.е. |
уравнение |
|
Р(Х, Р ) = 0 обращается в исходное (1.1.4) |
|
|
М. Лаэй предложил при продвижении по последовательному ряду зна чений параметра Р0 < Л < ... < Р„ строить решения уравнения (1.1.1)
для |
каждого значения Р{методом Ньютона-Рафсона, используя решение |
|
для |
предыдущего значения Р,_1 в |
качестве начального приближения. |
Позже в статье [448] он обобщил |
этот подход на системы уравнений. |
Данный М. Лаэем пример шагового процесса итерационного построения решения уравнения (1.1.1) явился истоком целого ряда работ, в которых идея продолжения решения по параметру использована для построения шаговых итерационных процессов, основанных на принципе использования информации о решении, полученной на предыдущем шаге (предыдущих шагах), для построения начального приближения и дальнейшего итерацион ного его уточнения.
Продолжение решения с помощью такого рода шагово-итерационных процессов мы будем называть дискретным продолжением.
Следует отметить, что в работах М. Лаэя дан также и пример использо вания идеи продолжения решения для организации итерационного процес са построения решения уравнения (1.1.4). В дальнейшем такой способ построения итерационных процессов использовался и развивался в работах [75,138,336,481,48, 236]п .
В работе В.С. Кирни [188] предлагается получать решение уравнения (1.1.1) при Р = Рп с помощью разложения в ряд Тейлора по степеням (Рг-Ро) в окрестности известного при Р =Р0 решения Х(0). Само уравне ние (1.1.1) используется как неявная функция для получения производных
поР.
Дифференцирование уравнения (1.1.1) по параметру для исследования поведения его корней при изменении параметра применил В.А. Фок [342] в одной из задач дифракции радиоволн.
1) Здесь и далее порядок ссылок -
Другую формулировку метода продолжения решения по параметру дал Д.Ф. Давиденко [135, 136]. Он предложил с помощью дифференциро вания по параметру перейти от уравнения (1.1.1) к уравнению
ах |
ЪР |
|
ЪР |
|
|
(1.1.5) |
|
/ -----+— |
= о, |
~ъх |
|
|
|||
ОР |
ЪР |
|
|
|
|
||
Напомним', что здесь / - |
матрица Якоби. |
Если |
якобиан с!еТ (!) |
= |
|||
уравнение (1.1.1) заменяется эквивалентной ему задачей Коши |
|
||||||
а х |
|
ЪР |
|
|
|
(1.1.6) |
|
~ОР |
|
ЪР |
Х(Р0) = Хю). |
|
|
||
|
’ |
|
|
|
|
||
Такая замена позволяет использовать для построения решений X (Р) |
|||||||
уравнения |
(1.1.1) |
хорошо |
исследованные |
схемы |
интегрирования |
началь |
ных задач, как-то схемы Эйлера, Рунге-Кутта, Адамса-Штермера и др. Эти схемы являются явными (открытыми).
Продолжение решения уравнения (1.1.1) на основе интегрирования задачи Коши (1.1.6) с помощью явных схем будем называть непрерыв ным продолжением.
Как уже отмечалось во Введении, известный метод последовательных нагружений, сформулированный В.З. Власовым и В.В. Петровым [276] независимо от метода продолжения решения по параметру, может быть понят как алгоритм интегрирования начальной задачи (1.1.6) методом Эйлера. Такое понимание метода последовательных нагружений впер вые, по-видимому, было достигнуто в работе [176], что позволило модифицировать его на основе схемы Рунге-Кутта, существенно повы сив тем самым его точность и избавив его в значительной мере от накопле ния погрешности, особенно свойственной схеме Эйлера.
Сведение процесса продолжения решения к задаче Коши по параметру открывает простор для применения самых различных вычислительных схем интегрирования начальных задач. Так, в работе [136] использована схема Адамса-Штермера. В статье [138] исследовались особенности приме нения для продолжениярешения схем простого и модифицированного методов Эйлера, а также схемы Рунге-Кутта. Эти же вопросы рассматри вались в работах [437,389,438].
Взгляд с точки зрения методов интегрирования задачи Коши позволяет систематизировать различные схемы продолжения решения. Так, предло жение В.С. Кирии [188], обобщенное им в работе [189], представляется как метод построения решения задачи Коши в виде ряда Тейлора по аргу менту (параметру). Отметим, что такой способ построения решения близко примыкает к методу возмущений. Шаговый процесс продолжения решения с использованием разложений в ряды по степеням приращения параметра предлагался также в работах [362,369,295,296]. В двух последних статьях такой подход разработан в рамках метода конечных элементов.
Как было показано в наших обзорах [114,116], шаговые итерационные процессы продолжения решения также могут быть рассмотрены как схемы интегрирования задачи Коши по параметру только неявного типа. Эти рас суждения воспроизведены во Введении к данной книге, и основаны они на различных приближениях представления процесса продолжения решения
в виде (В.1.12). Так, видно, что схема (В.1.15) совпадает процессом
М.Лазя (В.1.7) [447,448].
Возможны и другие итерационные процессы, обеспечивающие вычисле
ние по неявной схеме (ВЛ.13).
Сведение к задаче Коши по параметру использовалось и для доказа тельства существования и единственности решений некоторых классов уравнений [75,137,371,372].
В нелинейное уравнение (1-1-4), не содержащее параметра, он может быть введен так, чтобы при Р = Р0 уравнение вида (1.1.1) имело известное решение Х (0) , а при Р -Р п уравнение превращалось в исходное. Различные способы введения параметра рассматривались в работах [75, 366, 481, 476, 48, 236]. Введение параметра позволяет сформулировать задачу Коши вида (1.1.6) и на основе ее интегрирования от Р0 к Р„ различными мето дами строить различные итерационные процессы нелинейного уравнения (1.1.4). Эти исследования и развивают идею высказанную еще Лаэем в его основополагающей статье [447]. Оно из таких исследований, принад лежащее М.К. Гавурину [75], подробно рассмотрено нами во Введении. Развитие такого подхода к итерационным процессам дано в [462].
Как уже отмечалось во Введении, изложенные здесь формы метода про должения по параметру легко переносятся на нелинейные краевые задачи, если считать, что Р (X, Р) представляет оператор краевой задачи, включаю щий ее уравнения и граничные условия, а дифференцирование в соотноше ниях (1.1.5), (1.1.6) понимать в смысле Фреше.
Дополнительные указания на литературу по методу продолжения реше ния по параметру можно найти б монографии [481].
Г.2. Продолжение решения в окрестности особых точек и проблема выбора параметра продолжения
Эти вопросы подробно рассмотрены в § В.2 Введения и в гл. 1,2. Здесь мы укажем на работы, в которых получены или использованы отдельные результаты.
Различные способы классификации особых точек восходят еще к рабо
там А.М. Ляпунова [240], |
Е. |
Шмидта [505] |
и А. Пуанкаре |
[486]. Они |
в дальнейшем обсуждались |
и |
развивались в |
исследованиях |
[346, 453, |
147,212,53] идр.
Классификация особых точек в рамках предложения о равноправии неизвестных и параметра дана в работах [353, 113, 114, 357, 358, 115]. Само же это предложение впервые, по-видимому, было высказано в рабо тах [493, 245]. Однако, как показано в [353, 113, 115], реализация его невозможна при разрешении линеаризованной системы (1.1.7) методом исключения.
Смена параметра продолжения в окрестности предельной точки разра ботана Д.Ф. Давиденко [136] для частного случая, когда вес миноры рас ширений матрицы Якоби не равны нулю. В этом случае уравнения продол жения принимают форму (В.2.11). В [353, 113, 114] показано^что для реализации такой смены параметра достаточно, чтобы только <1с1 (У*) ^ 0.
Вообще, как отмечалось в обзоре [111], выбор подходящего параметра продолжения является одним из центральных моментов, обеспечивающих
успешное продолжение решения в окрестности особых точек. Примеры различного выбора параметров продолжения можно найти в работах [434, 377, 322, 348, 54,323, 170,94, 204, 385,57,228,123, 227] и многих других. Например, в статьях [57, 58, 55, 56, 168] в качестве параметра продолже ния принимается та компонента искомого вектора, которая наиболее быстро менялась на предыдущем шаге.
В статье [69] в рамках непрерывного продолжения было высказано предложение осуществлять продолжение решения вдоль кривой решений К в пространстве Кт+1 координат и параметра нагрузки. Причем в качестве параметра продолжения предложена длина этой кривой. Однако, как пока зано в § 1.1, реализация алгоритма продолжения, когда для решения системы (1.1.7) используется метод исключения Гаусса, фактически сво дится к использованию в качестве параметра продолжения одной из неиз вестных.
Аналогичное предложение в рамках алгоритма дискретного продолже ния высказано в работе [539]. Однако его реализация такова, что факти чески вводится параметр длины касательной к кривой в предыдущей точке.
Рикс [493-496] поставил вопрос о выборе такого направления продол жения, которое обеспечивало бы наибольшую обусловленность решения линеаризованной системы (1.1.7). Эта система была дополнена уравнением
( а , * ) = 1 . |
(1.2.1) |
Входящие в это уравнение компоненты а,, 1= 1,..., т+ 1, вектора а определялись из условия максимума меры обусловленности системы (1.1.7), дополненной условием (1.2.1). В качестве этой меры была принята величина определителя, отнесенная к произведению квадратичных норм его строк. В результате было показано, что наибольшую обусловленность обеспечивает движение в направлении по касательной к кривой К.
Геометрическая интерпретация дополнительных условий работ [539, 493] дана также в [353, 113, 502], где сформулированы предложения по упрощению этих условий.
Предложения о дополнении системы (1.1.7) вспомогательным уравне нием, обеспечивающим возможность ее решения в окрестности предель ной точки, высказывались также в работах [377, 348,404].
В [353, 113, 362, 365] показано, что оптимальный параметр продол жения может быть реализован только на основе отказа от разрешения системы (Ы .7) методом исключения и использования для ее решения метода, реализующего равноправие неизвестных и параметра. Этот вопрос также подробно изучен в § 1.4. Из него следует, что предложения Вемпнера [539] и Рикса [493—496] фактически реализуют близкий к оптималь ному параметр продолжения решения. И этот параметр тем ближе к опти мальному, чем меньше шаг вдоль него.
Отметим здесь также недавно появившиеся работы [397, 535, 536, 537], содержащие обзоры зарубежных исследований и предложения по реализации идей Вемпнера и Рикса в рамках нелинейных задач метода конечных элементов. Различные аспекты применения метода продолже ния решения по параметру при численном анализе нелинейного деформи рования оболочек обсуждены в обзоре [118].