книги / Численные методы в теории упругости и пластичности
..pdfформула (1.27) является точной для некоторой функции /(у ), если для этой функции ошибка аппроксимации 6/ равна нулю.
Упражнение 1.3. Доказать, что для того, чтобы квадратурная формула (1.27) была интерполяционной, необходимо и достаточно, чтобы она была точной для любого многочлена степени не выше т - 1 [120, с. 291]. ■
Алгебраические уравнения для сеточных функций Д называ ются разностными уравнениями. Введем некоторые операторы, действующие над сеточными функциями. Оператор Е , ставящий в соответствие значению /,• само Д называется тождественным:
(1.29) Операторы Т + и Т называются операторами сдвига соответс
твенно вправо и влево: |
|
Т+ = Г+1 : и - Д ц , Т~= Г " 1 : Д - Д_ь |
(1.30) |
Последовательное применение этих операторов называется соот ветствующей степенью оператора сдвига:
Т ±т :/ < - Д ь » . |
(1.31) |
Очевидно, для операторов сдвига справедливо свойство
Т ±т(/н9н) = (Т±т Д )(Т ±тдк), |
(1.32) |
где Д , у/, — две сеточные функции. Индекс Л мы чаще всего будем опускать. Справедливо также свойство
(1.33)
Для равномерной сетки определим операторы разностных произ водных — правой д + и левой д~:
8 + = 8 = ^(Т+ - Е), д~ = 1 ( Е - Т - ) . |
(1.34) |
Введем также линейную комбинацию правой и левой производ ных — х-производную:
№ = м д + ( 1 - х ) д - |
(1.35) |
где х — некоторое произвольное действительное число. Заме тим, что
е ю = д, а(°) = а -. |
(1.36) |
д = д |
1(в+9 -). |
(1.37) |
Воздействие этих операторов на сеточную функцию Д может описываться и другим образом:
а+/ = д |
V' - ’ |
(*-з8) |
д~/ = Д : /■ - - |
• |
(1-39) |
Можно ввести разностные производные высших порядков:
т +* _ л т* - 1+ ^ =1 )т *-2 |
( - 1 ) * ^ , |
2 |
'(1.40) |
5 _ т = ^ -(-&-^ ~ )т = ^ - ( ^ Е - т Т ~ + ^ ~ ^ - Т - 2... ( -1 )т Г - ™^. ^
Заметим, что операторы разностных производных не обладают свойством алгебраического сложения порядков, т.е. хотя спра ведливы формулы
д +кд +т = д +к+т, д~кд~т = д~{к+т\д ±0 = Е, |
(1.42) |
выражение
д +кд~т = д~™ |
(1.43) |
читается как правая разностная производная &-го порядка и левая разностная производная т-го порядка.
Упражнение 1.4. Доказать справедливость формул
д т = д /Т +д + /д д , |
(1.44) |
д ~ № = д - /Т ~ д + /д ~ д . Я |
(1.45) |
Назовем шаблоном разностного оператора Ь множество целых чисел, являющихся индексами узлов, участвующих в действии этого оператора на величину Д и обозначим его Ш {Ь}, например:
Ш {5+} = {г, 1 + 1}, Ш {сГ } = {« - |
1, *}, |
|
Ш {Г+} = 0 + 1}, Ш {Г -} = {. - 1}, |
Ш {Я} = {*}. |
1 ' ] |
бкЩ = |
1, |
если |
к € Ш{Х}, |
О, |
если |
(1.47) |
|
|
к ф Ш{Х}. |
Введем обозначение для суммирования разностных функций:
ЛГ-1
%—Х
|
|
N |
|
|
|
|
[/, я] = |
Е |
|
|
Г1-49) |
|
|
1=0 |
|
|
|
|
|
ЛГ-1 |
|
|
|
|
[/,<?)= |
^ |
/ Ш Н, |
|
(1.50) |
|
|
*=0 |
|
|
|
|
|
N |
|
|
|
|
= |
|
|
|
(1-51) |
|
|
1= 1 |
|
|
|
В частности, заметим |
что |
|
|
|
|
ЛГ-1 |
ЛГ-1 |
|
ЛГ-1 |
|
|
( /, 1) = Е |
ЛА = к 5 3 |
Т +*'/о = |
А 5 3 Т - ' / аг- |
(1-52) |
|
1= 1 |
1= 1 |
|
1 = 1 |
|
Упражнение 1.5. Доказать справедливость разностных фор мул Ньютона-Лейбница
ЛГ-1
Е |
( Г + 1 |
~ Т')ио = |
«лг - |
Щ = |
(1,3 и ), |
(1.53) |
1—1 |
|
|
|
|
|
|
ЛГ-1 |
|
|
|
|
|
|
У З |
(Тл+1 - |
7")и0 = |
«лг - «о = |
[1, д и ) = |
(1.54) |
|
1 = 0 |
|
|
|
|
|
|
N |
|
|
|
|
|
|
Е |
( Г + 1 _ |
Т~')им = им - |
и0 = (1, Зи] = |
(1.55) |
||
1=1 |
|
|
|
|
|
|
ЛГ-1 |
|
|
|
|
|
|
Е |
( ^ _ ,+1 |
- Т ~ г)и н = и х |
- щ = ( 1, ди ). |
(1.56) |
1= 1
Упражнение 1.6. Доказать, что из формул (1.48)—(1.51) сле дует
ЛГ-1 ЛГ-1
(/, (?) =Е А 5 2 ТЧ/оа,) = |
А ^ 2 |
Г - '(Л г ^ ), |
(1-57) |
|
|
1=1 |
1=1 |
|
|
|
N |
N |
|
|
[/,<?] = Н |
^ Г ( / 0д0) э а У > ''( / * » " ) ’ |
(1-58) |
||
|
1=0 |
1=1 |
|
|
ЛГ-1 |
ЛГ-1 |
|
|
|
(/, 9) = А 53 Г ( / ояй) = А 53 Г - ‘(ДгиО, |
(1-59) |
|||
|
1=0 |
1=0 |
|
|
|
ЛГ |
ЛГ |
|
|
(/,«,] = А 5 3 Г (/ о9о) = |
А 5 3 г -(/ „ я „ ). |
(1.60) |
||
|
•=1 |
1=1 |
|
|
Упражнение 1.7. |
Показать справедливость формул сумми |
|||
рования по частям |
|
|
|
|
и м |
= /лг- ^ лг - |
/0У1 - (а -/,д), |
(1-61) |
|
и , д ~ д ) |
= / х д н - 1 - Л уо - |
(5/ ,у). |
(1.62) |
Упражнение 1.8. Показать, что шаблонами операторов сум
мирования (1.48)—(1-51) будут: |
|
|
|
Ш {()} = {1 ,2 ,...,А Г -1 ), |
Ш {[]) = {0,1,...,А 1), |
. |
|
Ш {[)} = {0 ,1 ,..., АГ —1}, Ш {(]} = {1,2,...,Л Г). |
|
||
Упражнение |
1.9. Доказать справедливость соотношений |
||
Т + д - |
= д, Т~д = д~, |
Т+д~п = д +д ' п+1. |
(1.64) |
Упражнение 1.10. Доказать справедливость формул
(/> дд~д) = /лга</лг- 1 - /одд0 - у^а/ ^ - 1 + дод/о + (д, д~д/) =
= & 9~дп - 1од~91 - дNд~^N + уоа- /1 + {д,дд~ /)■
(1.65) Упражнение 1.11. Показать, что из (1.61), (1.62) следует
(/> а д ) = /лгалг-1 |
+ / л г - 10лг - |
/о91 - Л з о — Ф/,9), |
(1 .6 6 ) |
к / , дд) + (/, д-д] } = |
/лг9м |
- /0* Ц ^ - - (в/ , в). |
■ |
^ |
2 |
2 |
(1б7) |
Переход к многомерному случаю связан со значительными усложнениями. Пусть задана область V тела, ограниченная по верхностью 53. Выберем множество точек Х{ € V, г = 1 ,2 ,... ,А , называемых узловыми или узлами. Бели х,- € V, то узлы называ ются внутренними; если х,- € 53 — то граничными. Совокупность всех узлов называется сеточной областью V* или сеткой. Каждый узел х,- € 53* называется граничным узлом, а совокупность всех таких узлов — границей сетки. Лля построения разбиения об ласти V необходимо задать форму конечного элемента. Бели это треугольник (в случае V С В *) или тетраэдр (в случае V С Из), то разбиение называется триангуляцией области. Мы будем рассматривать простейшие случаи разбиения, когда конечные элементы представляют собой прямоугольные параллелепипеды или прямугольники одинаковой формы. Тогда координаты узлов могут быть заданы формулами
= |
Лл»'а |
(а = |
1,2,3, *„ = 0 ,1 ,... ,ЛГа). |
(1.68) |
Будем иногда писать |
так: |
|
|
|
х1 = х, х2 = у, |
х3 = 2, |
Нх = А*, Л2 = Ау, А3 = А*. |
(1.69) |
Каждому скаляру /(*), вектору а(х), тензору Ь(х) мы будем с помощью оператора проектирования г* ставить в соответствие
сеточный |
скаляр Д = {/,•„<».(,}, сеточный вектор а* = |
|
||
сеточный |
тензор <7Л = |
(я |
|
|
|
/ > 1 ,<а,<а — |
/ ( * » и У » з » * < * )» |
|
|
|
®*1,*»,*’» — Я(®*1>У*з >^»'»)> |
(1.70) |
||
|
?«Ч,»*,.•» = |
?(*»•.. »»*<•)• |
|
Аналогично одномерному случаю разностным функциям, ко торые мы будем считать принадлежащими некоторому конечно мерному пространству /Д, с помощью оператора восстановле ния Ян будут ставиться в соответствие непрерывные функции, принадлежащие некоторому функциональному пространству Н. Многомерные операторы сдвига и разностных производных бу дут помечаться индексами соответствующей переменной. Так, например,
/(*>!/) = /(* + Ль у), |
(1.71) |
л«« = д + д ; = д ;е + = ~ [ т + |
- 2 е + т ~), |
(1 .73) |
П€К |
|
|
К р = \{д+д$ + д -др + д+др + д~д+р) = |
|
|
= й Ь ^ {Т“ ТР + Т° Тё ~ т“ тё " |
т« 7>+) при *Ф Р - |
(174) |
Многомерные операторы суммирования также будем помечать внизу соответсвующими индексами. Так, например, для двумер ной области
|
|
ЛГ, N2-1 |
|
([/.*)] |
Е |
(1-75) |
|
12 |
21 |
^ |
|
Значениявыражений в граничныхузлах будемпомечать верти кальной чертой с указаниеминдекса,принимаемогограничными узлами, например:
(/,9)1,N2 = |
IV, —1 |
|
ЛГ2- 1 |
У2 /«,лг23<,лг2, |
(/>я)|лг,,. = |
л2 У2 /о490Л- (1-76) |
|
1 1 |
,-=1 |
2 2 |
*=х |
Рассмотрим двумерную область и формулу Грина для этой об ласти Е и контура Г, ее ограничивающего:
^ /9,11 Ахёу |
/9,1*1 Ау, |
(1.77) |
Е |
|
|
где п/ — компоненты единичного вектора нормали к контуру Г:
^ /,12дАхЛу - |
^ |
/,19,2 Ахйу + ^ /,\9* 2 &Ч |
|
Е |
Е |
Г |
(1.78) |
|
^ /,29,1 АхАу+ ^ /2 9 * 1 Ау. |
||
- |
|
||
|
Е |
Г |
|
Рассмотрим разностный аналог формулы (1.77). Для этого при
меним дважды формулу (1.61) для каждого |
слагаемого /д ц = |
|||||||
/9,11 + /<?,22: |
|
|
|
|
|
|
|
|
((/, К п 9)) = ~ ((0 п /дп9)) + (/,д а д )|.,дга- 1 - |
|
|||||||
12 |
21 |
12 |
21 |
1 |
|
1 |
(1.79) |
|
~(/>д29) |.,0 + (/> ^1</)|лГ1- 11. - |
( / , 9? 3 )10,.. |
|||||||
|
||||||||
1 |
1 |
2 |
2 |
|
2 |
2 |
|
внутренних узлах /= О, кроме того:
I |
_ Г |
ПРИ *« = ^«-1, |
_ Г 1, |
при 1а = Иа, |
|
|||
М |
1 -1 , |
при »а = 0, |
|
(а] ~ 1 -1 , |
при 1о = 1, |
|
||
|
Г 1, |
при |'о = N „-1, |
_ Г 1, |
при |
= ЛГа, |
(1.80) |
||
(л) |
\ -1 , |
при I* = 1, |
|
1а) ~ \ -1 , |
при *„ = О |
|
||
|
|
|
|
(а = |
1,2). |
|
|
|
Тогда формулу (1-79) можно переписать в виде |
|
|
||||||
|
((/, Л„„*)) = ~ ((д - /д ;д )) + и ,д пд)1[п) |
(п = |
1,2), |
(1.81) |
||||
|
12 |
21 |
12 |
21 |
|
|
|
|
причем в последнем слагаемом индекс у оператора суммирования опущен. Он равен 1, если п = 2, и равен 2, если п = 1.
Упражнение 1.12. Доказать справедливость равенства
((д -/,д ~ д ]] = |
[[дп/ ,д пд)). |
(1.82) |
||
12 |
21 |
12 |
21 |
|
Упражнение 1.13. Показать, что формулу (1-79) или (1.81) можно записать в виде
((/, Л„„у)) = -((&,/, дпд)) + (/, сС</)/(„]. |
(1.83) |
|||
12 |
21 |
12 |
21 |
|
Упражнение 1.14. Доказать,что разностный аналог формулы (1.78) имеет вид (для а ф /3, а,/? = 1,2)
((0*/, 3^ )) = (даТр/,д)1 ы - |
|
((дад; /,</)), |
(1.84) |
|||
12 |
21 |
|
12 |
и |
21 |
|
т |
/ , д ; 9)) = { д - Т - /,д)1ш |
- ((Э ;а д у )), |
(1.85) |
|||
( ( 0 |
а / , дрд)) = ( 0 а 7 > - / , ? ) ^ ) |
- |
( ( 0 О 0 / 3 - / , 3 |
) ) , |
( 1 - 8 6 ) |
|
12 |
21 |
|
12 |
|
21 |
|
((0а / ,а д ) = (0-Т>/,5)/(/3] - |
« д ;д ;/ ,д ) ) . |
(1.87) |
||||
12 |
21 |
|
12 |
|
21 |
|
§ 2. АППРОКСИМАЦИЯ И УСТОЙЧИВОСТЬ
Пусть задано некоторое линейное операторное уравнение, на пример дифференциальное,
IV =/. |
(2.1) |
Здесь функция /(х) определена, допустим, на отрезке [а, 6]. На этом же отрезке ищется решение (/(*). Предположим для прос тоты, что /(х) и 1/(х) принадлежат одному функциональному нормированному пространству Н. Норму функции /(*) в этом пространстве обозначим ||/||я. Поставим в соответствие функ
циям 1/(х) и /(я) сеточные функции [/*, и Д , а оператору Ь —
разностный оператор Ь Тогда уравнению (2.1) мы ставим в соответствие разностное уравнение
= |
(2.2) |
Разностные функции (Д и и/,, вообще говоря, не совпадают. Если щ является решением уравнения (2.2), то Ьк — проекция решения уравнения (2.1) на сеточное пространство /Д:
ин = Ьн'/н, СД = гнЦ = гк(Ь~11). |
(2.3) |
Схематически сказанное изабражено на рис. 27. Как видно из рис. 27, о том, насколько хорошо разностный оператор аппрок симирует «континуальный» опе ратор Ь, можно судить по разнос ти величин Д и 2ДСД. Будем го ворить, что разностное уравне ние (2.2) аппроксимирует урав нение (2.1) с порядком т или имеет место аппроксимация по рядка т , если
||ХдС/л - ЛНя», = 0{Нт). |
(2.4) |
Если правая часть (2.4) является тождественным нулем, то ап проксимация называется точной. Учитывая (2.1), условие (2.4) можно переписать в виде
Ц(ЯаСД) - п(Ш)\\Ик = 0{Нт). |
(2.5) |
Пусть, например, Ь = Предположим, что V(ж) — дважды дифференцируемая функция. Тогда
дП = |
+ |
= а ,{х) + |
+ о (А2), |
(2.6) |
д-11 = |
~ |
= 1/'(х) - ^ 1/"(х)+ 0(Н 2). |
(2.7) |
Вычисляя разность между разностной ^-производной и производ ной ^ = II', получим, используя (2.6) и (2.7),
0(*>У - V = (2 * - 1)|с/" + 0(Л2). |
(2.8) |
Отсюда и из (2.5) видим, что разностная х-производная аппрок
симирует оператор |
^ с порядком т = 1 для всех |
х, кроме |
х = |. Центральная разностная производная (х = |) |
аппрокси |
|
мирует оператор |
со вторым порядком (аппроксимация второго |
порядка). Заметим, что если вместо х-производной выбрать про извольную линейную комбинацию правой и левой производной
|
0(*11* я>= х 10 + х 20 -, |
(2.9) |
где XI и хг — некоторые действительные числа, то, как следует |
||
из (2.6) и (2.7), |
|
|
= |
+ * 2 _ 1)Ц' + (Х1 _ х а ) ^ " + 0(Л2), |
(2.10) |
т.е. аппроксимация имеет место только при х г + х2 = 1. |
Из |
рис. 27 видно, что для того, чтобы имела место сходимость, т.е. решение разностного уравнения (2.2) «д стремилось бы к решению уравнения (2.1) II при стремлении к нулю А, необходимо, чтобы при Л —>0 стремилась к нулю разность Аид = ид — С/д, т.е.
Л - 0 =>• \\Ы\ик - * 0 (««л = Щ ~ Ик). |
(2.И) |
Одного факта аппроксимации для этого оказывается недоста точно.
Пусть, например, для одномерной вязкоупругой модели Фойгта (3.26) гл. 3 известно, что в момент С= 0 напряжение а равно нулю, а деформация — некоторому заданному значению еоТогда для деформации получается дифференциальное уравнение
е (!) + ае(<) = 0, е(0) = е0 (<* = %)• |
(2Л2) |
решение которого имеет вид
е(С) = €0е~а%. |
(2.13) |
Рассмотрим разностную задачу, соответствующую задаче (2.12). Для этого нужно ввести сеточную область и = Ы
(1 = 1 , . . . , ЛГ) и разностный оператор, соответствующий ^ . На пример, выбирая правую разностную производную, имеем
диъ + а щ = 0, и0 = ео, |
(2.14) |
или, опуская индекс к,
(^ -= -^ + а Я )и = 0, Ти = ( 1 - а к ) Е и . |
(2.15) |
Формулу (2.15) можно переписать в виде
«п+1 = (1 - ак )и п, п = 0 ,1 , ... ,ЛГ - 1. |
(2.16) |
Так как щ = го, то (2.16) представляет собой алгебраическую систему N уравнений для определения N неизвестных « 1 , . . . , идгМатрица этой системы является двухдиагональной, т.е. под глав ной диагональю, полностью состоящей из единиц, лежит диаго- ' наль, составленная из чисел (1 — а к ). Таким образом, кроме того, что эта матрица двухдиагональная, она еще и треугольная (нижняя треугольная). Из формулы (2.16) мы видим, что каждое последующее значение сеточной функции ид «явно» разрешается через предыдущее, причем для решения хватает единственного начального условия «о = ео> которое входит в правую часть системы алгебраических уравнений. Поэтому, последовательно применяя формулу (2.16), имеем
«1 = (1 — а к )щ = (1 - »Л)го,
«2 = (1 — ак )щ = (1 - аЛ)2го,
(2.17)
«„ = (1 - аЛ)и„_! = (1 - ай)"го.
Полагая 1п = кп, так что 1п всегда остается узловой точкой, имеем
«* = Пт ип = г0 И т (1 - а Л )^ = гое_аЛ" = гое-а<п. |
(2.18) |
|
Н—►О |
Л—^0 |
|
Сравнивая (2.13) и (2.18), видим, что в данном случае имеет место сходимость. В табл. 2.1 в столбцах 1 и 4 приведены значения точного решения уравнения (2 .12 ), вычисленного по формуле (2.18) при го = 1, а в столбцах 2 и 5 — значения решения разностного уравнения (2.14), вычисленного по формуле (2.17). Заметим, что значениям щ «5 второго столбца соответствуют значения «юо -г- «500 4-го столбца, так как во втором случае шаг уменьшен в 100 раз. Мы видим, что с уменьшением шага к точность разностного решения повышается.