Нелинейная теория упругости - Лурье А.И.
Скачать (прямая ссылка):
вектор-радиусом
Г = г (с/1, q2, q3) (6)
в единой декартовой системе осей OXYZ. По этому заданию определяются
базисные векторы r,s, а по ним формулами (4.2) их производные
drs _{ т\
dqt ]
Коэффициенты этой системы дифференциальных уравнений - символы
Кристоффеля, вычисляемые по заданию квадратичной формы (4) по правилам
(4.6). Следствием их симметрии по индексам s, t являются соотношения
= (8)
dq*
гарантирующие интегрируемость выражения
dr = rsdqs, (9)
иначе говоря существование вектор-радиуса (6). Теперь задача сводится к
вопросу о существовании векторов rs-требуется установить, какие условия
следует наложить на коэффициенты системы (7) (в конечном счете на задание
4 88
ПРИЛОЖЕНИЕ III. СВЕДЕНИЯ ИЗ ТЕНЗОРНОГО АНАЛИЗА
(4) величин gsk), чтобы она была интегрируема. Выражения
(10)
при dqf должна быть равна производной но if коэффициента при dqk
Тензорный характер этих величин обнаруживается рассмотрением разности
компонент тензоров третьего ранга VkVta<lt VtVkaq- вторых ковариантных
производных контравариантных компонент вектора а. Имеем
Подчеркнутые слагаемые взаимно уничтожаются при составлении разностей.
Получаем
Следствием этого соотношения и (11) является неоднократно применявшееся
правило переставимости при действиях в $3 индексов ковариантного диффер
енцирования
Доказанное для вектора это правило сохраняется и для тензоров любого
ранга - вышеприведенное вычисление лишь несколько усложняется.
Согласно (12) свертка величин Rkts4 с вектором определяет тензор третьего
ранга. Эти величины поэтому представляют компоненты тензора четвертого
ранга-тензора Римана - Кристоффеля, называемого также тензором кривизны в
В <^3-это нулевой тензор. Четырежды ковариантные компоненты 4R по
(14) и (11) определяются выражениями
Условия интегрируемости записываются в виде
VftV,a9 = ± =
VkX>ta4 - VtS/kOq=as
dqk
I Я \ <L ) 9 \_|J 9\I 9 lJml
Vs I dqf \ks ) \kmf \ s< f
(13)
4R ^vWrmRktsm=M4rRktsr.
(14)
Rktsm - SmrRkts? - 8mr
3
\dqk dq*
~YUqm([kq, r] [s/, ttl)~\tq, r][sk, m))
dq
10] ТЕНЗОР РИМАНА --КРИСТОФФЕЛЯ. ТЕНЗОР РИЧЧИ 489
1
- были использованы формулы (4.6). Использовав соотношения
Smr^-hBmq = - gmg ^-bgmr = - gmg([rk, m) + [mk, /•]), dqk dqk
приходим к выражениям
Rkisr^^-r[st, r]~^-\sk, r] ~g">9 {(\rk, m] + \mk, a]) [s/, q) - ([rt, m]
+ dqk dq1
-| [mt, r]) |s?, q] - [km, r] [s/, (?] + ftm> r] [sk, q]}.
Развернув еще выражения символов Кристоффеля первого рода (4.5), приходим
к представлению ковариантных компонент тензора кривизны
Rktsr=l(^_^ + ^^^isL)+s.4[skt q]lrt,m]-[st, q]X
2 \dqkdqs dqtdqs dqfdqr dqkdqr J
%\dqkdqs dq*dqs dq*dqr dqkdqr) ' ' I '
(15)
Структура их симметрична относительно пар индексов (kt) и (sr)
Rktsr = Rsrkt (16)
и кососимметрична по индексам k, t и s, г
Rktrs= Rtksr> Rktsr- Rktrs¦ (17)
Поэтому парам индексов kt, sr надо задавать лишь значения 12, 23, 31, а
комбинируя эти пары, рассмотреть лишь шесть компонент
R1212' -7?] 223> ^1231, ^2323> ^2331' -^3131 (18)
из общего числа 81. Остальные или нули, или выражаются через
перечис-
ленные.
Имеют место тождества Риччи: оставив на месте четвертый индекс и перебрав
круговую перестановку прочих индексов, имеем
Rktsr + Rtskr ~\~ Rsktr = 0. (19)
Это следует из того, что один из трех индексов kts неизбежно равен г.
При-
няв k = r, действительно получаем
Rkisk~\~ Rtskk~\~ Rsktk = 0>
так как второе слагаемое и сумма первого с третьим равны нулю.
Конечно, gSk = rs'rk< вычисляемые по заданию (6) вектор-радиуса
места,
тождественно обращают в нуль тензор кривизны. Если же, задавшись
поло-
жительной симметричной матрицей (IgXfcll и определив по ней обратную
матрицу llg^li, вычислим величины (18) и все они окажутся нулями, то это
укажет на то, что квадратичная форма (3) приводима к пифагорову виду (1),
gsk-ковариантные компоненты евклидова метрического тензора. В противном
случае ds2-квадрат линейного элемента в Л3.
По тензору 4R может быть составлен тензор второго ранга R путем замены
диад гМ, fV в (14) векторными произведениями г*Хг*, гуХгг
д =1 г*хг'г*ХгО?"" = фб*'"б''%,Г|,/?Шг (20)
490 ПРИЛОЖЕНИЕ III. СВЕДЕНИЯ ИЗ ТЕНЗОРНОГО АНАЛИЗА
(введен для удобства множитель 1 /4). По (14) этот тензор, тензор Риччи,
симметричен. Его контравариантные компоненты равны
tfn=±tf2323, R'*=jR2331, R(tm)=jRMlt,
R22=jR:,m. (21)
R:>:>=±R
g
Конечно, тензор Риччи обращается в нуль вместе с тензором кривизны.
В ортогональных криволинейных координатах соотношения (10) заменяются
условиями
г) Р
dts = -j-dq* (s=l,2, 3) (22)
dqk
и требование интегрируемости - существования ортонормированного триэдра
е1; е2, е3 приводится к виду (7.22). Подставив в них значения (7.16)
векто-
t
ров о, приходим к шести зависимостям Ляме
д 1 дНг д 1 дНгдНг
dq1 Нг dq1 dq2 И2 dq3 dq3
d3H1 {23)
dq'ldq3 H3 dq2 dq3 H.2 dq2 dq3
(остальные получаем круговой перестановкой индексов). Соблюдение этих
соотношений гарантирует приводимость выражения квадрата дифференциала
дуги
(7.9) к пифагорову виду. Условия (23) представляют требования обращения в
