книги / Проблемы нелинейного деформирования. Метод продолжения решения по параметру в нелинейных задачах механики твердого деформируемого тела
.pdfВ силу линейности преобразования и невырожденное™ ма1рииы Й 1 урав нения (2.1.13) и (2.2.11) эквивалентны в том смысле., что все решения
X уравнений (2.1.13) являются решениями (2.2.11) и наоборот, т.с. мно жества решений уравнений (2.Ы З) и (2.2.11) совпадают. Но матрицей
Якоби системы (2.2.11) при X - 0 является ортогональная матрица Р Действительно, из (2.2.11) и (2.2.8) следует
.........^ |
3 - « * •:■•••■* ? : . й - й е . е . |
9(^1 , . . . ,Хт+1) д ^ |
Э(Л-|,...,2Гт + )) |
( 2.2. 12)
На основе уравнений (2.1.14) построим следующие уравнения:
Рг+№) - |
2 |
4(кРк(Х) = К , (20 |
= 0 , 1 = 1 .............. |
(2.2.13) |
||||
|
|
к = |
1 |
|
|
|
|
|
Или, в матричной форме, |
|
|
|
|
||||
~р » А Х ) |
|
~Рх<Х)~ |
~У,(Х) |
|
||||
|
|
- |
Э |
|
|
= |
|
|
Рт<Х) |
_ |
|
р Д ) |
_ |
|
(2.2.14) |
||
Матрица Якоби этой системы при X = 0 обращается в нуль. Действитель |
||||||||
но, из (2.2.14) в силу (2.2.6) |
получаем |
|
||||||
Ч У и |
- |
.У а -х Г |
_ |
ЭК‘ |
|
(2.2.15) |
||
Э № ,....... Хт + 1) |
' |
а * |
|
|||||
|
|
|||||||
Нетрудно видеть, что множества решений систем (2.1.1) и (2.2.11), |
||||||||
(2.2.14) |
совпадают. Мы, |
конечно, исключаем здесь |
случай, когда хотя |
|||||
бы одна из функций К,, 1 = 1,. |
, 4 - 1, тождественно равна нулю. Этот |
случай попросту сводится к уменьшению числа уравнений в системе (2.1.1) В результате преобразований система (2.1.1) сводится к эквивалент
ной ей системе из т уравнений |
|
|
|
|
!/,(*) = 0, |
1 = 1 , . . . , |
|
|
(2.2.16) |
К, (ЛГ) = 0................... ,4 -1 . |
|
|
(2.2.17) |
|
Матрица Якоби этой системы по построению при X = 0 принимает вид |
||||
3(1/, V) 0 |
|
|
|
(2.2.18) |
ЬХ |
|
|
|
|
|
|
|
|
|
Эртонормированные базисы |
,1 = 1, |
. , г , и а ^ ,/ = 1, |
, 4, в |
зшу (2.2.7) вместе образуют ортонормированный базис в К^+1. Поэтому можно представить искомое решение в виде разложения по этим орто-
нормированным базисам |
||
_ |
г |
а |
X = |
2 р ,р (,) + 2 а,аЮ =}>Р+ аА |
|
Здесь |
= [Р1, . |
., рг] т и а = [а,, . . . , ай] т можно рассматривать как век |
торы в евклидовых пространствах 3^ и Л а размерности г и <1 соответст |
венно и таких, что имеется их взаимно однозначное соответствие с под
пространствами Рг и |
обусловленное соотношением (2.2.19). |
||||||
Перейдем в уравнениях (2.2.16), (2.2.17) от неизвестной X к неизвест |
|||||||
ным р и а . Получим |
|
|
|||||
|
|
|
|
“ 1,•••,<*<*) = о, |
(2.2.20) |
||
Р/(Р1,--- ,Рг'> |
1,- -.,<*</) = О, |
(2.2.21) |
|||||
Или, в векторной форме, |
|
|
|||||
I V ( |
? , $ |
) ] |
|
|
|
(2.2.22) |
|
|
|
|
|
||||
Матрица |
Якоби |
этой системы по переменным р", а при X |
- |
||||
э (Р , а ) |
|
|
|
Э ( Р , |
|
||
Г РРТ |
РАТ "1 |
Г Е |
0"] |
(2.2.23) |
|||
1.0 |
о |
] |
|_о |
о ] ' |
|||
|
Произведение РРТ равно единичной матрице Е порядка г, так как Р - ор тогональная матрица; РАТ = 0 в силу (2.1.21).
Таким образом,в результате преобразований (2.2.11), (2.2.13) и (2.2.19) мы перешли от системы (2.1.1) с неизвестным X к системе (2.2.22) с не
известными р, а . Причем преобразования таковы, что между множества ми решений этих систем имеется взаимно однозначное соответствие. Но
матрица Якоби системы (2.2.22) в особой точке р - = а |
= 0 (X |
=0) имеет |
простейший вид (2.2.23). Учитывая это, из уравнений |
(2.2.20) |
по теореме |
о неявных функциях можно выразить ~рчерез а* |
|
|
Р = Р ( ^ ) - |
|
(2.2.24) |
Причем в этих выражениях должны отсутствовать линейные по а зависи мости. Подставив (2.2.24) в (2.2.21), получим уравнения разветвления в виде
Г ( р ( ? ) , ? ) = |
(2.2.25) |
В силу структуры матрицы Якоби (2.2.23), эти функции не должны со держать линейных по а зависимостей.
Как уже отмечалось, уравнение разветвления (2.2.25) в явном виде удается построить в исключительных случаях. Методам его приближенно го построения и исследования посвящена обширная литература [53, 212]
и др., начало которой положили работы А.М. Ляпунова [240] и к. Шмид та [505]. Мы здесь ограничимся методом, основанным на анализе разло жений в ряды Тейлора вида (2.1,3), (2.1.5)-(2.1.7) в окрестности особой точки.
В силу представления (2.2.19) поведение решения X (X) в малой окрест ности особой точки X = 0 определится разложением в степенной ряд Тейло ра по X
|
|
|
|
|
|
(2.2.26) |
Ро =с/р/</Х)^ = 0, |
Р (0) = </2р А/Х2 |
|х = |
|
|
||
Уравнения для определения р '(0), р ?0), |
, ? ( 0), а 70 ), |
получим, |
||||
дифференцируя по X уравнения (2.2.16), (2.2.17). Из (2.2.16) имеем после |
||||||
формального дифференцирования |
|
|
|
|||
1/,°рР(о) + |
«(о) = °' |
|
|
|
|
|
</,°рР("о) + |
Л(о) + ^,°ррР(о)Р(о) + |
|
|
|
||
+ 2 С /,р а Р (0 ) 0 (0 ) + |
^ а ^ ( 0 ) ? ( 0 ) = 0 . |
|
|
2 ^ |
||
« В Д с ) + |
^ ° а “ (0) |
+ 3 |
^ р р Р ( 0) Р ( 0) |
+ 3 ^• р аР ^( 0) “ (0) + |
|
|
+ 3 г/,°ар?(0)Р(0) + 3 |
(0)й<0) + ^ рррР(0)Р(0)Р(0) + |
|
+3 р а Р(0)Р(0)а(0) + 3 С/, рйаР(0 )^(0)а(0) +
+^ °ааа“ (0)а(0)а(0) = °-
Вэтих уравнениях приняты обозначения, смысл которых становится яс ным из сравнения второго уравнения с его развернутой записью
дЦ° |
а 2 р] |
[ ЬЦ,° |
а 2 а] |
[ Ъ2 Ц(° |
аР] |
аР% |
ьр) |
ах2 |
Ъи/ |
а х 2 |
ьр} ърк |
ах |
ах |
+2 |
|
|
***** + |
ь2 ц,° |
аа] |
а<*1 |
Эру дсск |
ах |
ах |
Эоу Эал |
</х |
<*х |
|
1 = 1 ,2 ,..., |
|
|
|
|
|
Здесь производится суммирование по повторяющимся индексам у рот I до г и у а от 1 до а.
Из (2.2.23) следует, что |
|
{/,°Р =Я, С/,°й = 0. |
(2.2.28) |
Тогда из первого уравнения |
(2.2.27) следует известный нам уже из §2.1 |
результат |
|
(2.2.29) который в соответствии с представлением (2.2.19) указывает на то. что вектор X ' - ах/аХ принадлежит подпространству А«/.
Внрят»»мия (2.2.28) и (2.2.29) позволяют упростить второе и последую-
щие уравнения в (2.2.27). Они принимают вид |
|
Р (0) + #Ла«(0)в(0) * О, |
(2.2.30) |
Р ( 0 ) + З Г ,р 4 Р (0 )0 (0 ) + 3 ^ ,а « О (0 )О (0 ) +
+ ^вааО (0)О<0Д о ) = о .
Эта последовательность уравнений позволяет рекуррентно определять
|
|
|
которые определяются урав- |
|
_______ |
|
решение этого уравнения принадле |
||
жит пространству |
и в соответствии с рекуррентной последователь |
|||
ностью уравнений (2.2.30) оно определяет Р(0) € |
3*г. |
|||
Учитывая взаимно |
однозначное |
соответствие |
между пространствами |
|
0 >Г) |
и подпространствами Рг, |
6 Кш+х, заключаем, что каждое реше |
ние уравнения разветвления определяет составляющую вектора X в ка , ко торая, в свою очередь, определяет в силу уравнений (2.2.30) составляющую X в Рг. Поэтому, следуя Томпсону, будем называть А и Л а активными подпространством и пространством, а Рг и 3*т -пассивными.
Дифференцируя по X уравнения (2.2.17), получаем рекуррентную сис тему уравнений, аналогичную системе (2.2.27). Упрощаем ее с учетом сле дующих из (2.2.19) и (2.2.29) результатов
К°р= О, К,вв = 0, |
Р('о )- 0 . |
|
(2.2.31) |
В итоге получаем последовательность уравнений |
|
||
К.*«в«ЧоДо)*0, |
^ |
^ |
(2.2.32) |
зУ,°раР'(0)0(0) + 3 Р,ва«(0)“(0) + У°ааа“(О)“(О)<*(0) = 0. |
|
Эти уравнения совместно с системой (2.2.30) позволяют последовательно определить векторы <^о).Р0>)> <Х(о)> •. • и, таким образом, определить в си лу разложения (2.2.26) вектор X в окрестности особой точки. Причем уравнения (2.2.32) могут иметь несколько решений, и каждое из таких ре шений определит свою ветвь множества решений исходной системы (2.1 Л). Вообще говоря, уравнения (2.2.30), (2.2.32) содержат ту же информацию о поведении решения в окрестности особой точки, что и уравнения (2.2.20), (2.2.21). Но они позволяют часто решать задачу о ветвлении не на основе уравнения разветвления (2.2.25), а используя его приближенные (и более простые) представления. Ниже рассмотрим некоторые простые случаи.
2 3 . Простейший случай |
ветвления (под (7°) = т - 1) |
Пусть гапв(70) = т - |
1. В этом случае размерность <1активного под |
пространства Ад равна 2. После преобразований (2.2.11), (2.2.13) (2.2.19) с использованием ортонормированных базисов подпространств Рт _1 и А? исходная система уравнений (2.1.1) в особой точке сведется к виду
« п ° г ) в 0, I = 1 ,... ,/и —1, |
(2.3.1) |
У( Р1, ‘ - ■,Рт- и аьО з)='0. |
(2.3.2) |
Геометрически эта ситуация означает, что являющееся плоскостью в Кт+1 активное подпространство А2 соприкасается в любой точке с множеством решений К (со всеми его-ветвями, проходящими через особую точку). Поэтому анализ ветвления здесь может быть сведен к ветвлению плоской кривой.
Первым приближением уравнения разветвления будет первое из уравне ний (2.2.32). Оно принимает вид
о |
ъ2 г ° |
(2-3.3) |
Г.// = Т - Т - |
||
|
да{ Эогу |
|
и является однородной квадратичной формой. Здесь возможны следую щие случаи.
1. Квадратичная форма (2.3.3) знакоопределена. В этом случае она име ет единственное действительное тривиальное решение а] = а2 = 0. А это оз начает, что в малой окрестности особой точки больше нет точек из иско мого множества решений, т.е. исследуемая точка является изолированной особой точкой. В такую точку нельзя прийти, двигаясь вдоль непрерывной кривой К множества решений. Поэтому появление в процессе продолжения решения изолированной особой точки свидетельствует о некорректности процесса продолжения. Причиной возникновения такой ситуации обычно является излишне большой шаг по параметру продолжения X. Знакоопре
деленность квадратичной формы |
(2.3.3), как это уже отмечено во Введе |
нии, зависит от знака ее дискриминанта |
|
У .и ~ (К °12)2 |
(2.3.4) |
Если/)> 0, то форма (2.3.3) знакоопределена. |
|
2. Квадратичная форма (2.3.3) |
знакопеременна. В этом случае /3 < 0. |
Если, например, У,°22 Ф 0, то положение касательной к кривой множества
решений можно определить на плоскости А2: {й!, а2) |
Е Кт+1 ее углом |
|
у с осью <*1. Тогда |
|
|
I |
= Х%у = а2 /а/ = да2/дс1 1 . |
(2.3.5) |
Из (2.3.3) без труда получаем для I квадратное уравнение |
|
|
У.°ц +2У,°12{+ У \2Хг =0. |
(2.3.6) |
|
Так как й < 0, то это уравнение имеет два действительных корня |
||
г м |
= ( - у ,и ± у/ о )(у:22. |
(2.з.7) |
Таким образом, в особой точке пересекаются две ветви множества ре
шений, касательные к которым определяются выражениями |
|
Л к2/А*| = /|, ^а2/с?а!=Т2. |
(2.3.8) |
Геометрически эта ситуация выглядит так, как это показано на рис. 2.1
вплоскости А2.
3.Квадратичная форма (2.3.2) знакопостоянна. В этом случае Г> = 0 и квадратный трехчлен (2.3.3) имеет кратный корень Г1)2 - ( = -У?%2/Г,°22. Для выяснения характера особой точки необходим анализ высших членов разложения и более тонкий анализ уравнения ветвления. Примеры такого анализа для плоских кривых даны, например, в [339], а анализ возможных случаев приведен в [453, 524, 129]. Здесь особая точка может оказаться
точкой соприкосновения двух ветвей решения или точкой возврата. В по следнем случае приведенными выше уравнениями (2.2.30), (2.2.32) надо пользоваться с осторожностью, поскольку они построены в предположении дифференцируемости множества решений по X в особой точке. А это усло вие в точке возврата не выполняется.
Для численной реализации продолжения решения в существенно особой точке анализ уравнений (2.2.30), (2.2.32) для высших производных пред ставляется неудобным. Здесь можно пойти по пути численного установле ния количества и характера решений ветвей в окрестности особой точки
в плоскости А2. В рассматриваемом случае кратного корня поиск этих вет вей облегчается тем, что в окрестности особой точки они должны быть близки к направлению, задаваемому касательной
Г =4*г/<1сч=-У:12/У,12. |
(2.3.9) |
Это позволяет вести поиск решения в области, заштрихованной на рис. 2.2. Тогда удобно искать решение уравнения разветвления (2.2.25) на окруж ности с малым радиусом е. Поиск решения можно облегчить переходом к полярным координатам, как это рекомендуется в [339].
4 .Квадратичная форма (2.3.2) тождественно равна нулю {уТц = Кг г ~ = К 2 2 = 0). Здесь в первом приближении поведение решения определяется вторым уравнением (2.2.32), левая часть которого с учетом первого урав нения (2.2.30) приводится к однородной кубической форме
з У,°ра^ ,аа“(0)“(0)“(0) |
+ ^Лет«(0)^(0)^(0) = |
(2.3.10) |
Тогда, рассуждая так же, |
как при анализе уравнения |
(2.3.3), приходим к |
выводу, что в особой точке могут пересекаться три ветви решения.
Как только что отмечалось, анализ уравнения разветвления с учетом высших производных для численного анализа мало пригоден. Выявление ветвей решения удобнее также свести к поиску нулей на е-окружности в плоскости А2: { (рис. 2.2).
2.4.Случай ветвления, когда гавд (/°) = т - 2
Для того чтобы подчеркнуть проблемы, возникающие при анализе ветв ления решения в более сложных случаях, рассмотрим ситуацию, когда
г = гапв(/ °) = т —2. Здесь размерность й активного пространства Аа рав на 3. Уравнения разветвления с точностью до второго порядка разложения в ряд Тейлора определяются первым уравнением в (2.2.32). Они при 4 =3 примут вид следующей системы уравнений:
У\в. д “/«л = 0. У2,1ка1ак ~ 0, /,* = 1,2,3. |
(2.4.1) |
Левые части этих уравнений представляют собой однородные квадратич ные формы, матрицы которых обозначим следующим образом:
(2.4.2)
Тогда уравнения (2.4.1) в матричной форме можно записать в виде
( а ’)т К(1>о" = 0,
(2.4.3)
( а ') т К(2)а ' =
Ясно, что если хотя бы одна из этих квадратичных форм является знакоопределенной, то особая точка будет изолированной, поскольку в таком случае система уравнений (2.4.3) не имеет действительных решений кроме тривиального а ' = 0. Но изолированная особая точка не может быть достиг нута в процессе корректного продолжения решения по параметру. Знако определенность хотя бы одной из квадратичных форм (2.7.3) свидетельст вует обычно о слишком большом шаге при движении по кривой решений К.
Рассмотрим некоторые частные случаи, когда квадратичные формы
(2.4.3) |
не являются энакоопределенными. В этих случаях каждому из урав |
|||||
нений |
(2.4.3) |
в |
пространстве |
соответствует некоторое действитель |
||
ное множество |
решений. И вопрос о решении системы (2.4.3) сводится |
|||||
к отысканию пересечения этих множеств. |
|
|||||
Обозначим через |
Х{^, Х ^ , Х3^ собственные значения матриц |
, |
||||
I - 1, 2, и пусть им соответствуют собственные нормированные векторы |
||||||
ных значений. |
• Рассмотрим различные возможные комбинации собствен |
|||||
|
|
|
|
|
||
1. |
Случай а[° |
> 0, \ (2° > |
О, А(3° < 0, / = 1, 2. Здесь квадратичные фор |
|||
мы (2.4 3 ) знакопеременны и их матрицы имеют по два положительных |
||||||
собственных значения и по одному отрицательному. Перейдем в пространст |
||||||
ве %4$: {<*!, а2, а 3) |
к базису, |
образованному собственными векторами |
||||
а*1*, •521)» ^з** |
матрицы К(1) |
Другими словами, совершим преобра- |
||||
а '= Р!^,1} + Р а ^ 1> +р 35р ) =Х(1)Р, |
|
|||||
Р= [Р ьР а .Р эГ . |
5 (1>= [«{‘Ы |
0 ,*}0 ]- |
|
|||
Здесь |
—матрица, столбцами которой являются собственные векторы |
|||||
|
|
. В силу ортонормированности собственных векторов мат- |
р и д а ^ 1* - ортогональна, т.е. Ж О т ^ ,) = Ег где Е - |
единичная матрица. |
|||||
Тогда первое уравнение из (2.4.3) примет вид |
|
|||||
( I |
„ Г |
) |
А |
м |
1*)- |
|
/в I |
|
|
/ = I |
|
|
|
2 |
р , Г |
’ 1 |
РЛ (,)4 |
" . |
|
|
1*1 |
|
1=1 |
|
|
|
|
» * |1>р ! + 4 ‘,р ? - |
|Х ? >1 й |
- а |
(2.4.5) |
Геометрически это означает, что в пространстве А г первое из уравнений (2.4.3) определяет поверхность в виде эллиптического конуса с вершиной в начале координат. Ось конуса направлена вдоль собственного векто ра Точно так же можно показать, что второе уравнение (2.4.3) опре деляет также эллшпический конус с осью вдоль вектора $$2)
Таким образом, вопрос о действительных решениях системы уравне ний (2.43) геометрически сводится к определению общих образующих двух эллиптических конусов с общей вершиной в особой точке. Для реше ния этого вопроса применим к уравнениям (2.4.3) преобразование (2.4.4). Тогда они примут вид
Х»1^! +Х*1)р1 ~ I Хз1^ I Рэ - О,
р чРр = 0, Р = 5 ^ > т И 2)5 (1>. |
|
|
(2.4.6) |
||||
Для дальнейшего упрощения первого из уравнений (2.4.6) положим |
|||||||
Д - Р /А Л лтоЧ |
1= 1,2,3, |
|
|
(2.4.7) |
|||
что равносильно следующей матричной операции: |
|
||||||
р * Л |
(1)р, |
|
|
|
|
|
(2.4.8) |
ГР. "| |
|
П |
/ \ Л Р |
0 ___ |
0 |
||
|
|
||||||
Р = |
Рг |
Х <1>=| |
0 |
1/\А ? * |
0 |
. |
|
[ р , \ |
|
1 о |
|
1/У Г 4г>1 |
|
||
Тогда первое из уравнений (2.4.6) примет простейший вид |
|
||||||
р ? + р 1 - р |= 0 . |
|
|
|
|
(2.4.9) |
А структура второго уравнения принципиально не изменится, и оно примет форму
р тРр = 0, Р = Я ( |>лС(1). |
(2.4.10) |
В результате проведенных преобразований один из рассматриваемых кону
сов стал круговым (2.4.9) и его ось в пространстве { р 1г рг, р э) |
совпа |
дает с осью рэ. |
общем |
Второй конус теперь определяется уравнением (2.4.10). Он. в |
случае остается эллиптическим и определится собственными значениями
матрицы Р . В частности, его ось будет направлена вдоль того собственного вектора, который соответствует отрицательному собственному значению.
7в
Проделанные преобразования таковы, что число положительных и отрица тельных собственных значений матриц У (21 и Р одинаково.
Рассечем теперь конусы плоскостью р3 = 1. Тогда линия пересечения этой плоскости с конусом (2.4.9) будет окружностью, а с конусом (2.4.10) - эллипсом или гиперболой в зависимости от взаимного располо жения конусов. Таким образом, задача определения действительных корней уравнений (2.4.3) свелась к нахождению общих точек единичной окруж ности и эллипса или гиперболы на плоскости р 3 = 1. Аналитического реше ния этой Задачи в общем случае, по-видимому, не существует. Возможные случаи взаимного расположения окружности и эллипса представлены на рис. 23. Из него видно, что число действительных решений уравнений (2.4.3) может изменяться от 0 до 4. В частности, можно отметить тот факт, что сама по себе энакопеременность квадратичных форм, имеющих матри
цы |
и |
У*-2) ^ не гарантирует существования действительных решений |
уравнений |
(2.7.3). Такое положение имеет место для случаев, показанных |
на рис. 2.3, а, б, в.
Окончательно о ветвлении можно судить только в случаях приведенных на рис. 2.3, к, л. В первом из них в точке ветвления пересекаются две ветви решения. При этом они касаются двух общих образующих конусов (2.4.9), (2.4.10). Поэтому продолжение решения из особой точки в этом случае возможно вдоль четырех направлений, как это показано на рис. 2.4. В плос кости, проходящей через общие образующие конусов, картина ветвления имеет вид, показанный на рис. 2.5.
В случае ”л ” в особой точке пересекаются четыре ветви решения, касаю щиеся четырех общих образующих конусов (2.4.9), (2.4.10). Здесь ветви
Р и с. 2.4 |
Р и с. 2.5 |
Тже не лежат в одной плоскости и продолжение решения из особой точки возможно в восьми направлениях.
В случаях ”г”—”и” (рис. 2.3) имеют место касания конусов. Соответст вующая общая образующая конусов здесь может оказаться касательной двух и более касающихся в особой точке ветвей решений. Для нахожде ния этих решений необходимо рассматривать уравнения разветвления с учетом высших слагаемых в разложении Тейлора, причем в плоскости, касающейся обоих конусов по общей образующей. Последнее обстоя тельство упрощает исследование, так как число переменных уменьшается и становится равным двум. Иными словами, в пространстве активных пе ременных для каждой образующей, по которой конусы (2.4.9) и (2.4.10) касаются, выделяется двумерное подпространство - пложость, касающая ся обоих конусов по общей образующей. В этом подпространстве и нужно исследовать уравнение разветвления.
Если решения уравнений (2.4.6) разыскиваются численно, то можно использовать следующее представление вектора р = [рь р2. Р гУ
зш у |
соыр |
1 |
(2.4.11)
Нетрудно видеть, что такой вектор р(<р) удовлетворяет первому уравне нию (2.4.6) при любых <р. Такое представление реализует простую геомет рическую идею: при изменении у в пределах от 0 до 2я вектор р(</з) обегает первый конус так, что его конец находится на эллипсе, по которому этот