CC BY
18
УДК 539.374
РАЦИОНАЛЬНО АЛГЕБРАИЧЕСКИ ПОЛНЫЕ СИСТЕМЫ ТЕНЗОРОВ КОНЕЧНЫХ ДЕФОРМАЦИЙ СЛОЖНЫХ КОНТИНУУМОВ
В. А. Ковалев1, Ю. Н. Радаев2
1 Ковалев Владимир Александрович, доктор физико-математических наук, профессор кафедры финансового менеджмента и финансового права, Московский городской университет управления Правительства Москвы, Россия, 107045, Москва, Сретенка, 28, kovalev.kam@gmail.com 2Радаев Юрий Николаевич, доктор физико-математических наук, профессор, ведущий научный сотрудник, Институт проблем механики имени А. Ю. Ишлинского РАН, Россия, 119526, Москва, просп. Вернадского, 101, корп. 1, radayev@ipmnet.ru, y.radayev@gmail.com
Статья посвящена проблеме построения полных систем неприводимых объективных тензоров деформации и экстрадеформации сложных (в частности, микрополярных) континуумов. Континуум предполагается сложным, т. е. изменения его пространственных конфигураций сопряжены с возникновением и развитием экстрадеформаций. Математическая размерность континуума считается произвольной. Предполагается, что он может быть вложен во внешнее плоское пространство, возможно, большего числа измерений. Указанная проблема решается в рамках и методами физической теории поля в сочетании с теорией алгебраических инвариантов группы собственно ортогональных преобразований конечных систем контравариантных векторов в плоском пространстве с заданным числом измерений. Тензоры деформации конструируются как неприводимые алгебраические инварианты, нечувствительные к поворотам координатного репера внешнего пространства, некоторой системы контравариантных векторов, с помощью которых задается плотность интеграла действия. С алгебраической точки зрения решение ограничивается системами рациональных или целых рациональных инвариантов. Исследуется полнота полученных систем инвариантов и получены сизигии, связывающие инварианты с помощью целых рациональных соотношений. Рассматривается проблема построения объективных тензоров деформации микрополярного континуума из элементов полярных разложений градиентов деформации и экстрадеформации.
Ключевые слова: континуум, сложный континуум, микрополярный континуум, поле, действие, лагранжиан, деформация, ¿-переменная, алгебраический инвариант рациональный инвариант, сизигия.
10.18500/1816-9791-2017-17-1-71-84
1. ВВОДНЫЕ ЗАМЕЧАНИЯ
Представляемая работа посвящена проблеме построения полных систем неприводимых объективных мер деформации и экстрадеформации сложного континуума, допускающего вложение во внешнее плоское пространство (возможно, более высокой размерности) со стандартной метрикой. В противовес стандартным моделям сплошных деформируемых сред [1,2] сложные континуумы (т.е. континуумы сложной аффинно-метрической структуры и дополнительными микростепенями свободы, изменения пространственных конфигураций которых сопряжены с возникновением и развитием экстрадеформаций) находят все более широкое применение в различных
прикладных вопросах механики сплошных сред, особенно при исследовании механического поведения твердых тел с поврежденностью и дефектами структуры, гранулированных и пористых сред, биоматериалов, метаматериалов. Механика сложного континуума основана на представлении о том, что учета изменений только в геометрии положений составляющих его элементов недостаточно для математического моделирования его деформированных состояний. Поэтому развитие механики сплошных сред происходит, с одной стороны, за счет усложнения аффинно-метрических свойств континуума, а с другой — наделения составляющих континуум микроэлементов дополнительными степенями свободы. Континуум Коссера и микроморфная среда являются яркими примерами сложных континуумов с дополнительными (экстра) внутренними степенями свободы — микровращениями и аффинными деформациями мезообъема. Континуум Коссера (или микрополярная среда) — исторически первый пример нового подхода к моделированию механического поведения твердых деформируемых тел [3], более ста лет назад определивший новый вектор развития механики континуума.
Континуум в современных исследованиях обычно моделируется дифференцируемым многообразием (или дифференцируемым пространством) [4]. Для того чтобы максимально сохранить преемственность в математическом моделировании его деформации, в работе предполагается, что он обладает определенной аффинно-метрической структурой, но и при этом допускает вложение во внешнее плоское пространство, число измерений которого, возможно, превосходит математическую размерность континуума. Такое положение дел имеет место, например, в том случае, когда континуум является римановым многообразием [5]. В таких условиях естественно не удается полностью сохранить классическую схему построения объективных мер деформации. Однако оказывается возможным, в частности, дальнейшее обобщение модели микрополярного континуума вследствие возрастания числа линейно-независимых директоров, ассоциированных с микроэлементом. Соответствующий круг вопросов обсуждается во втором параграфе статьи.
В третьем параграфе определяются действие и плотность действия для рассматриваемой модели континуума как необходимые предпосылки для формулировки проблемы построения полной системы тензоров деформации и экстрадеформации в рамках физической теории поля [6,7], исходя из принципа ротационной инвариантности плотности действия при поворотах координатного репера внешнего пространства.
Четвертый параграф включает решение поставленной проблемы с помощью теории алгебраических инвариантов конечных систем контравариантных векторов в плоском пространстве заданной размерности и стандартной метрикой [8]. Тензоры деформации при этом конструируются как инварианты системы контравариантных векторов внешнего пространства, с помощью которых задается плотность интеграла действия, относительно группы собственно ортогональных преобразований внешнего пространства. Решение ограничивается характерными для механики континуума системами рациональных или целых рациональных инвариантов. Устанавливается неприводимость инвариантов, образующих систему. Каждая система объективных тензоров деформации должна удовлетворять свойству полноты: полная система не допускает присоединения к ней новых неприводимых тензоров деформации и тем самым гарантирует отсутствие не имеющих физического смысла вкладов в интеграл действия. С помощью алгебраических критериев доказывается полнота полученной
системы тензоров деформации и экстрадеформации. Найдены сизигии, связывающие инварианты с помощью целых рациональных соотношений, позволяющие исключить ряд мер деформации, правда, за пределами области целых рациональных соотношений между ними.
Заключительный, пятый, параграф работы посвящен проблемам построения объективных тензоров деформации микрополярного континуума из элементов полярных разложений градиентов деформации и экстрадеформации. Там же рассматривается объективная геометрия конечной деформации микрополярного континуума с нежестким микроструктурным полиэдром.
2. СЛОЖНЫЙ КОНТИНУУМ, ПОГРУЖАЕМЫЙ ВО ВНЕШНЕЕ ПЛОСКОЕ ПРОСТРАНСТВО
Континуум как математический объект чаще всего мыслится как дифференцируемое многообразие некоторой данной размерности М. Для большинства прикладных вопросов механики континуума достаточно полагать, что М = 3. Окрестность каждой точки многообразия допускает изображение на некоторой карте (т. е. с помощью области аффинного пространства размерности М). В этом смысле многообразие допускает локальные сравнения с областями привычного нам аффинного пространства. Число карт не более чем счетно. Концепция многообразия (а поэтому и континуума) не требует никаких представлений об окружающем (внешнем) пространстве, в которое континуум может быть вложен. В дальнейшем изложении мы не различаем сам континуум и его математическую модель — некоторое дифференцируемое многообразие размерности М. Таким образом, индивидуальные точки континуума суть точки указанного дифференцируемого многообразия; они представляются специальной переменной С, которая, в свою очередь, устанавливается для многообразий и идентифицируется с помощью координат £а.
Очевидно, что соответствие
С ^ £а (1)
изображает точку С на карте координатами £а. Координаты £а в механике континуума называются обычно материальными координатами.
Дифференцируемое многообразие в качестве математической модели континуума характеризуется излишней общностью и по этой причине малопригодно в механике континуума. Эта проблема преодолевается заданием на многообразии дополнительных аффинно-метрических структур. Риманова структура на многообразии [5] является хорошим в этом плане примером. Риманово многообразие (риманово пространство) в настоящее время выступает как одна из важнейших моделей континуума.
Рациональная механика континуума широко использует представление об окружающем тело пространстве. Можно также сказать, что тела мыслятся «погруженными» в пространство. Окружающее (внешнее) пространство как-бы «вмещает» тела и служит фоном, на котором разворачиваются процессы взаимодействия тел и полей. В рациональной механике внешнее пространство молчаливо предполагается трехмерным с естественной евклидовой метрикой. Долгое время подобные представления не вызывали никаких возражений. Ситуация начала меняться, когда для моделирования континуумов с дефектами и повреждениями стали применяться аффинно-метрические структуры различного уровня сложности. При этом никогда не обсуждался вопрос о возможности погружения континуума сложной аффинно-метрической
структуры в трехмерное пространство. Хорошо известно, что такое погружение не всегда возможно. Так, например, риманово многообразие размерности М в общем случае погружается в плоское пространство1 размерности
1
N = 2 М (М + 1).
Для изображения состояний и процессов в рациональной механике континуума обычно используется трехмерное плоское пространство. Таким образом, одним из новых подходов к математическому описанию деформации континуума будет отказ от концепции внешнего пространства как трехмерного плоского пространства, в которое погружен континуум.
В том случае, когда континуум допускает вложение в некоторое внешнее плоское пространство размерности N со стандартной метрикой2, оказывается возможным вести речь о положениях X в этом пространстве и измерениях длин и углов. Точка континуума £ займет некоторое положение (место) X во внешнем плоском пространстве, определяемое упомянутым выше вложением. Положение X во внешнем пространстве в механике континуума называется референциальным. Ясно, что референциальное положение X взаимно-однозначно связано с материальной переменной £:
£ ^ X. (2)
Еще одно важное допущение состоит в том, что в процессе деформации континуум всегда должен допускать вложение в одно и то же внешнее пространство.
На основании (1) и (2) можно параметризовать референциальное положение континуума во внешнем пространстве координатами £а:
X - г, (3)
следовательно, референциальную переменную X также можно рассматривать как материальную.
В процессе деформации точки континуума изменяют свои положения во внешнем пространстве. Пространственное положение индивидуальной точки континуума £ в результате деформации обозначим через х. Поэтому в наиболее общей форме деформацию континуума можно выразить отображением индивидуальных точек континуума на места внешнего пространства:
£ - х. (4)
В силу (2) и (4) можно вести речь о преобразовании позиционных переменных внешнего пространства:
X — х. (5)
1Следуя [5], риманово пространство будем называть плоским, если в нем существует координатная система, в которой компоненты метрического тензора пространства постоянны.
2Стандартная метрика плоского пространства в системе координат у7 определяется квадратичной
дифференциальной формой:
йв2 = ^ Сйу7йу7 Ц = 1, ... , N), 7
где постоянные е7- = ±1 в зависимости от типа пространства. Для координатной системы у7 использу-
ется термин декартова система координат. Таким образом, для внешнего пространства декартова
система координат является предпочтительной.
Это преобразование в рациональной механике континуума называется деформацией.
Переменные X и х и позиционные координаты Xа (а = 1,2 ,...,М), X (7 = 1,2,...,^) выступают как соответственно лагранжева (отсчетная, референ-циальная) и эйлерова (пространственная) переменные, если воспользоваться стандартной терминологиней механики континуума [1,2]. С этими переменными связаны метрики: отсчетная (лагранжева) метрика хдар и пространственная (эйлерова) метрика д^. Конвективная (сопутствующая) метрика характеризуется метрическим тензором дав и в отличие от метрик и д^ определяется деформацией (5).
Как видно из предложенных обозначений, эйлеровы пространственные индексы всегда будут обозначаться латинскими буквами, греческие буквы всегда будут указывать на отсчетные или сопутствующие индексы. Обратным штрихом (backpгime) слева от символа будут снабжаться величины, ассоциированные с референциальным состоянием.
В теориях сложных континуумов «конечная» деформация, представляемая геометрическим преобразованием позиционных переменных X ^ х, сопровождается экстрадеформацией, описание которых реализуется с помощью дополнительных специальных переменных (^-переменных). Индексы, имеющие начертания а, Ь, с,..., в дальнейшем изложении применяются для индивидуализации ^-переменных. Эти переменные, вообще говоря, являются тензорами и преобразуются по тензорному закону при преобразованиях координат внешнего пространства X (7 = 1,2,...,^). В частности, в микрополярных континуумах [3] экстрадеформация проявляется в форме нарушений взаимной ориентации и изменений метрических характеристик системы полярных ^-векторов (а = 1,2,..., N), ассоциированных с каждым мик-
роэлементом континуума. В этом случае ^-переменные — контравариантные векторы внешнего пространства. Вследствие гипотезы о погружаемости континуума во внешнее плоское пространство появляется дополнительная возможность, например, расширить систему ^-векторов, пользуясь тем обстоятельством, что в пространстве большей размерности существует больше линейно независимых векторов. В результате приходим к понятию обобщенного микрополярного континуума. В дальнейшем мы ограничимся (как в плане обозначений ^-переменных, так и в плане их интерпретации) векторными переменными.
«Полная» деформация сложного континуума состоит из преобразования позиционных переменных (5) и экстрадеформации, т. е. трансформации ^-векторов, начиная от их референциального положения:
Деформация и экстрадеформация, представленные в координатах Xа, X, записываются в следующем виде:
а
а ^ а.
(6)
аа
X = X (Xа), = (Xа).
(7)
(8)
аа
Градиент деформации, или «дисторсия» (см., например, [9,10])
(7 = 1, 2,..., N а = 1, 2,..., М),
(9)
где да обозначает частное дифференцирование по материальной переменной, характеризует аффинную деформацию элемента континуума. Дисторсия дах3 трансформирует отсчетный линейный элемент (Xа в актуальное положение во внешнем пространстве (х3 согласно
(х3 = ((Xа)даХ . (10)
Дисторсия дах3 (] = 1,2,..., N; а = 1,2,..., М) в случае М = N, как известно [1,9], разлагается в композицию чистой деформации (растяжений относительно трех взаимно ортогональных главных осей деформации в отсчетном положении) и поворота во внешнем прстранстве отсчетного полиэдра главных осей деформации до его актуального положения.
Если М = N, то можно вести речь о якобиане деформации:
3 = ае^да х3). (11)
Конвективная метрика дав вычисляется с помощью градиента деформации и внешней эйлеровой дц метрики с помощью следующей формулы:
дав = дц (даХг)(др Х3 ). (12)
Метрики хдав и дав ротационно-инвариантны при произвольных поворотах координатной системы внешнего пространства.
В рациональной механике важную роль отводится детерминантам, составленным из метрических коэффициентов (отсчетных, конвективных и пространственных); для них мы применяем следующие обозначения:
Уд = det(vgав), (13)
д = det(gав), (14)
Г = det(gц). (15)
Если М = N, то детерминанты (14), (15) и якобиан (11) связаны между собой посредством уравнения
л/г з = /д. (16)
Это так называемое уравнение неразрывности в переменных Лагранжа [1]. В дальнейшем будет видно, что с алгебраической точки зрения уравнение (16) выступает как сизигия, связывающая целым рациональным соотношением рациональные инварианты деформации, нечувствительные к поворотам координатного репера внешнего пространства.
3. ИНТЕГРАЛ ДЕЙСТВИЯ ДЛЯ СЛОЖНОГО КОНТИНУУМА. РОТАЦИОННАЯ ИНВАРИАНТНОСТЬ ПЛОТНОСТИ ДЕЙСТВИЯ
При исследовании сложных континуумов одной из первых встает задача о нахождении тензоров деформации и экстрадеформации, которые имели бы объективную природу. Объективность здесь понимается как инвариантность тензорных мер деформации и экстрадеформации относительно поворотов координатных систем во внешнем пространстве. Решение указанной задачи может быть выполнено с позиций теории поля (см., например, [6,7]), если допустить, что деформация континуума подчиняется принципу наименьшего действия.
Действие в теориях поля представляет собой интегральный функционал вида
I = У &, ^, д7 да</, ..., Xе)с1мX, (17)
& — «естественная» плотность лагранжиана (плотность действия); — физические полевые переменные;
Xв (в = 1,2,..., М) — позиционные (пространственно-временные) координаты;
дьмX — «естественный» элемент объема (произведение дифференциалов позиционных координат).
Отдавая приоритет теоретико-полевому подходу, будем рассматривать координаты внешнего пространства ж3 как физические поля. То же самое относится и к системе переменных. Последние рассматриваются как экстраполевые (сверх переменных ж3) переменные и вводятся в формализм теории поля с помощью контравариантных пространственных компонент.
Плотность действия (лагранжиан) & для сложного (в частности, микрополярного) континуума примем в следующем виде:
& = & (Xв, Я , X3 , <?' , да X3 , да # ) . (18)
а а а
Плотность действия & является объективной величиной и не должна зависеть от поворотов системы координат внешнего пространства. Поэтому & на самом деле функционально зависит лишь от таких алгебраических комбинаций контравариант-ных векторов внешнего пространства
да жХ, Я, двЯ3, (19)
аа
которые являются инвариантными относительно собственно ортогональных преобразований внешней координатной системы.
Инвариантность плотности действия относительно поворотов координатного репера является проявлением изотропии внешнего пространства, т. е. отсутствия предпочтительных направлений в этом пространстве.
Проблеме определения целых рациональных комбинаций контравариантных векторов внешнего пространства, которые были бы не чувствительны к поворотам внешней координатной системы, будет посвящен следующий параграф работы. Там же обсуждается полнота системы рациональных инвариантов.
4. ТЕНЗОРЫ ДЕФОРМАЦИИ КАК РАЦИОНАЛЬНЫЕ АЛГЕБРАИЧЕСКИЕ ИНВАРИАНТЫ
Решение сформулированной выше проблемы получается чисто алгебраическими методами, изложенными, например, в [8].
К целым рациональным инвариантам системы контравариантных векторов внешнего пространства (19), которые были бы не чувствительны к поворотам внешней координатной системы, следует отнести попарные внутренние (в метрике внешнего пространства д^) произведения векторов
9ав = д3 (даЖг)(двX3 ) , ^ = д3^ ,
аЬ а Ь
^а = 93 (даЖ^3, ^а = 9з (да^К , (20)
а а аЬ а Ь
Тав = 93 (да X1 )(дв Я3 ), Тав = 9з (да Я )(д^ Я ),
а аЬ а Ь
а
собственно и образующих неприводимые тензоры деформации, а также N х N-определители, в столбцах которых расположены компоненты всевозможных систем из N векторов (19).
Неприводимость каждого из указанных инвариантов очевидна в силу их построения, правда, при этом приходится ограничиваться лишь целыми рациональными инвариантами системы векторов (19). Полноту системы (20) вместе с упомянутыми определителями, т. е. возможность представления любого целого рационального инварианта как рациональной функции от (20) и указанных выше определителей, можно доказать, опираясь на известные результаты теории рациональных алгебраических инвариантов (см. [8]).
Тензоры деформации в правой колонке (20) никак не связаны с градиентом деформации и в механике континуума вообще не рассматриваются.
Заметим также, что квадраты упомянутых определителей (с учетом множителя л/Г) в силу формул Грама - Шмидта3 являются целыми рациональными функциями контравариантных компонент векторов внешнего пространства (19), поскольку рационально выразимы через внутренние произведения, данные в (20). Поэтому сами определители рационально не выразимы в терминах контравариантных компонент векторов внешнего пространства (19).
В частности, если М = N, целое рациональное соотношение, связывающее якобиан деформации 3 = ае^даX) и конвективную метрику да/3
ае^ру-) 32 - ае^рав) = 0,
(21)
выступает в качестве сизигии. Подобные сизигии могут быть выписаны для всех независимых детерминантов, определяемых системами из N векторов (19).
Если экстрапеременные не требуются для математического описания континуума, то сизигия (21) будет единственной. Следовательно, полная система рациональных инвариантов для системы из N контравариантных векторов внешнего пространства даX будет состоять из компонент конвективной метрики и якобиана деформации, связанных между собой единственной сизигией (21), которая в механике континуума интерпретируется как уравнение неразрывности в переменных Лагранжа. Конвективная метрика дар как элемент полной системы неприводимых в рациональной области инвариантов в механике континуума используется сравнительно редко; вместо нее вводится тензор второго ранга, характеризующий изменение метрики в результате деформации:
1
£ав = о (Рав — Урав)'
2
(22)
Речь идет о формулах вида
и1 V1 т1 2 к икик к ик Vk к ик тк
и2 V2 2 т2 = к vk ик к Vk Vk к vk тк
и3 V3 т3 к ткик к тк vk к тк тк
справедливых для произвольных векторов и , vk , тк в трехмерном пространстве. Определитель слева не выражается рационально через внутренние произведения векторов ик, ^, тк. Алгебраическая формула для указанного определителя будет содержать квадратный радикал, что выводит рассуждения за пределы области целых рациональных функциональных зависимостей. Аналогичные формулы имеют место и в многомерном случае.
Компоненты еав преобразуются по тензорному закону при заменах лагранжевых координат. Тензор еа/з называется тензором деформации Грина [9, 10]. Использование тензора деформации Грина в качестве функционального аргумента плотности действия признается удобным, поскольку он в силу своего определения учитывает только ту часть деформации континуума, которая наблюдается относительно рефе-ренциальной конфигурации континуума во внешнем пространстве.
В случае континуума размерности М = 3, допускающего вложение в трехмерное внешнее пространство, полная система рациональных инвариантов включает всевозможные 3 х 3-определители, в столбцах которых расположены контравариант-ные компоненты всевозможных троек векторов системы (19). Если рассматриваемые определители содержат по меньшей мере один столбец из контравариантных компонент градиента деформации то их, размещая контравариантные компоненты градиента деформации даX в первом столбце, можно разбить на следующие шесть групп:
(даX) ( (], (I)
а Ь
(даX )(дв(Р ) (], (II)
аЬ
(даХР) (дв() (д7()] (в = 7 и а = Ь одновременно), (III)
аЬ
(даX)(двX) (] (в = а), (IV)
а
(да X' )(дв X )(д7 ()] (в = а), (V)
а
(да X )(дв )(д7 XI)]. (VI)
На основании формул Грама - Шмидта каждый из перечисленных выше определителей выражается через внутренние произведения векторов системы (19) с помощью квадратных радикалов. Соотношения для квадратов определителей будут
выступать в роли сизигий, связывающих инварианты посредством целых рациональных уравнений.
5. ПОСТРОЕНИЕ ТЕНЗОРОВ ДЕФОРМАЦИИ ИЗ ЭЛЕМЕНТОВ ПОЛЯРНЫХ РАЗЛОЖЕНИЙ
Полные системы в случае М = N могут быть построены с помощью полярных разложений градиента деформации и экстрадеформации (см., например, [11]). Полярные разложения нашли широкое применение в механике континуума, так как они позволяют с самого начала построить характеристики деформации, поддающиеся ясному геометрическому истолкованию.
Градиент деформации всегда может быть представлен как произведение симметричного положительно определенного тензора второго ранга |X |ав (модуля) и ортогонального тензора Агв (тензора поворота):
да X = Мав А^. (23)
Симметрия модуля градиента деформации |X|ав выражается следующими равенствами:
^1ав = Ыва'; (24)
ортогональность тензора поворота Агв подразумевает выполнение следующих двух условий:
дгзАгв Аз7 = У7, Агв Аз7 = дгз. (25)
Условия (25), как нетрудно видеть, эквивалентны, поскольку одно их них следует из другого. Если совершить поворот произвольного вектора хаа из отсчетного положения в актуальное аг = Агахаа, то указанные условия гарантируют совпадение длины вектора уаа, вычисленной с помощью отсчетной метрики, с длиной вектора а%, вычисленной с помощью метрики внешнего пространства, т.е. выполнение равенства
дв7 ав а-у дз Л в ав А37 ,
если выполняется обратный поворот вектора а8 из актуального положения в отсчет-ное хаа = А8аа8, то совпадают длины векторов а8 (в метрике внешнего пространства) и хаа (в отсчетной метрике):
дг° а^ аз = Агв аг А37 а:).
В частности, вычисляя длины векторов йз-Азв в отсчетной метрике \дв7, имеем:
а
У7 ^гАгв ф А37 = дгз йг ф,
а а а а
где величина справа есть длина й-директора с указателем а в метрике внешнего пространства.
Симметрия модуля градиента деформации |х|ав обеспечивает вещественность его спектра. Спектральные значения |х|А (А = 1,2,...,М) вычисляются как корни характеристического уравнения:
¿е^|ж|ав - АУд«в) = 0
и называются главными растяжениями.
Собственные векторы модуля градиента деформации |х|ав, обозначаемые через Укв, образуют ортонормированный в отсчетной метрике удав полиэдр
А
УвVV = 6 ,
АС АС
определяющий отсчетные ориентации главных осей деформации.
Актуальная ориентация главных осей деформации определяется в результате поворота полиэдра Укв:
А
к8 = А8в Укв.
АА
Векторы к8 (А = 1,2,...,М) взаимно ортогональны в метрике внешнего про-
А
странства дгз.
Дисторсия хз, таким образом, представляет собой композицию последовательно выполняемых чистой деформации (растяжений относительно взаимно ортогональных главных осей деформации в отсчетном положении) и поворота отсчетного полиэдра главных осей деформации до их актуального положения.
Полярные разложения градиентов d-директоров имеют вид
da dt = |d|ae Агв, (26)
а
где тензоры |d|ae симметричны и неотрицательны, а «тензоры поворота» Агв ортого-
аа
нальны (считаются неопределенными, если градиент вырождается).
Перейдем к построению системы инвариантов деформации и экстрадеформации, исходя из элементов, определяющих рассмотренные выше полярные разложения. Тензоры |ж|а0 и |d|a0, очевидно, не чувствительны к поворотам координатного репе-
а
ра внешнего пространства. Следует отметить, что они не могут быть рационально выражены через компоненты градиента деформации и градиента экстрадеформации. С тем чтобы получить несводимые к ним инварианты, к ним следует добавить следующие внутренние произведения (обязательно содержащие множитель Агв):
gijd^, gj-A^'7. (27)
аа
Рассмотрим контравариантный отсчетный вектор g*dtAje. Очевидно, что он полу-
а
чается в результате обратного поворота актуального положения d-директора с указателем a в некоторое отсчетное положение, вообще говоря, отличающееся от такового, определяемого вектором У. По этой причине нам придется ввести специальное обо-
а
значение
vee = gij dt Aje (28)
аа
для инвариантного относительно поворота внешней координатной системы отсчетно-го вектора.
Второй из перечисленных в (27) тензоров в силу ортогональности тензора поворота Aie в точности совпадает с отсчетной метрикой:
У7 = gij Aie AjY. (29)
Поскольку модули градиентов d-директоров никак не связаны с градиентом деформации, их необходимо включить в третий из тензоров (27), устраняя тем самым и возможную неопределенность «тензоров поворота» Aie:
|dkgj A^A*. (30)
а
Таким образом, вторая система инвариантов деформации и экстрадеформации, которые выдерживают повороты координатного репера внешнего пространства, состоит из следующих тензоров:
|х|ав, У7, ^, |йкдгзАг7Аз?. (31)
а а а
Полученная в предыдущем параграфе работы система инвариантов выразима в терминах инвариантов (31) с помощью целых рациональных соотношений:
дав - |х|аа |х|вк = 0, ^а - |ж|ав= 0,
а . а (32)
Тав -|х|аа |й|в7дгз А"Аз7 = 0.
а а а
а
а
а
а
Система инвариантов (31), сконструированная из множителей в полярных разложениях градиентов деформации и экстрадеформации, рационально не выразима в терминах инвариантов
дав, R a, T ав • (33)
а а
Это нетрудно заметить, анализируя соотношения (32). Тот же самый факт становится очевидным, если учесть, что инварианты (31) рационально не выразимы через компоненты градиентов деформации и экстрадеформации, в то время как для инвариантов (33) это можно сделать. Тем не менее, поскольку уравнения (32) устанавливают взаимно-однозначное соответствие между системами инвариантов (33) и (31), то в некотором смысле система инвариантов (31) также может считаться полной.
Если экстрапеременные не требуются для математического описания континуума, то полная система инвариантов, не чувствительных к поворотам координатного репера внешнего пространства, будет состоять из модуля дисторсии и компонент отсчетной метрики
|х|ав, Ув • (34)
Этот вывод полностью согласуется с положениями нелинейной теории упругости [9]; в указанной теории тензоры (34) применяются в качестве объективных мер конечной деформации упругого континуума.
Кроме тензорной пары (34), как отмечается в [9], следующая пара метрических тензоров
дав 5 дав (35)
с успехом может быть положена в основу теории деформации нелинейно упругого тела. Ее использование в прикладных задачах часто оказывается более предпочтительным по сравнению с тензором деформации Грина (22), поскольку при больших деформациях отсчетная и конвективная метрики будут настолько сильно отличаться друг от друга, что их разность не будет обладать теми преимуществами, которыми она обладает в случае малых деформаций.
Библиографический список
1. Седов Л. И. Введение в механику сплошных сред. М. : Физматгиз, 1962. 284 с.
2. Ильюшин А. А. Механика сплошных сред. М. : Изд-во Моск. ун-та, 1978. 287 с.
3. Cosserat E. et F. Théorie des corps déformables. P. : Librairie Scientifique A. Hermann et Fils, 1909. 226 p.
4. Рашевский П. К. Риманова геометрия и тензорный анализ. М. : Наука, 1967. 664 с.
5. Эйзенхарт Л. П. Риманова геометрия. М. : Гос. изд-во иностр. лит., 1948. 316 с.
6. Ковалев В. А., Радаев Ю. Н. Элементы теории поля : вариационные симметрии и геометрические инварианты. М. : Физматлит, 2009. 156 с.
7. Ковалев В. А., Радаев Ю. Н. Волновые задачи теории поля и термомеханика. Саратов : Изд-во Сарат. ун-та, 2010. 328 с.
8. Гуревич Г. Б. Основы теории алгебраических инвариантов. М. ; Л. : Гостехтеоретиздат, 1948. 408 с.
9. Бердичевский В. Л. Вариационные принципы механики сплошной среды. М. : Наука, 1983. 448 с.
10. Грин А., Адкинс Дж. Большие упругие деформации и нелинейная механика сплошной среды. М. : Мир, 1965. 456 с.
11. Хорн Р., Джонсон Ч. Матричный анализ. М. : Мир, 1989. 656 с.
Образец для цитирования:
Ковалев В. А., Радаев Ю. Н. Рационально алгебраически полные системы тензоров конечных деформаций сложных континуумов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 1. С. 71-84. DOI: 10.18500/1816-9791-2017-17-1-71-84.
On Rationally Complete Algebraic Systems of Finite Strain Tensors
of Complex Continua
V. A. Kovalev1, Yu. N. Radayev2
1 Vladimir A. Kovalev, Moscow City Government University of Management, 28, Sretenka str., 107045, Moscow, Russia, kovalev.kam@gmail.com
2Yurii N. Radayev, Ishlinsky Institute for Problems in Mechanics of the Russian Academy of Sciences, 101, Vernadskogo Avenue, 119526, Moscow, Russia, radayev@ipmnet.ru, y.radayev@gmail.com
The paper is devoted to the mathematical description of complex continua and the systematic derivation of strain tensors by the notion of isometric immersion of complex continuum in a plane space of higher dimension. Problem of establishing of complete systems of irreducible objective strain and extra-strain tensors for complex continuum immersed in an external plane space is considered. The solution to the problem is given by methods of the field theory and the theory of algebraic invariants. Strain tensors are obtained as irreducible algebraic invariants of contravariant vectors of the external space emerging in the complex continuum action density. Considerations are restricted to rational algebraic invariants. Completeness criteria for systems of rational algebraic invariants and rational syzygies are discussed and applied to strain tensors of micropolar elastic continua. Objective strain tensors of micropolar continuum are alternatively obtained by combining multipliers of polar decompositions of strain and extra-strain gradients.
Key words: continuum, complex continuum, micropolar continuum, field, action, Lagrangian, strain, d-variable, algebraic invariant, rational invariant, syzygy.
References
1. Sedov L. I. Vvedenie v mekhaniku sploshnykh sred [An Introduction to Continuum Mechanics]. Moscow, Fizmatgiz, 1962. 284 p. (in Russian).
2. Illyushin A. A. Mekhanika sploshnykh sred [Continuum Mechanics]. Moscow, Moscow University Press, 1978. 287 p. (in Russian).
3. Cosserat E. et F. Theorie des corps deformables. Paris, Librairie Scientifique A. Hermann et Fils, 1909. 226 p.
4. Rashevskii P. K. Rimanova geometriia i tenzornyi analiz [Riemannian Geometry and Tensor Calculus]. Moscow, Nauka, 1967. 664 p. (in Russian).
5. Eisenhart L. P. Rimanova geometriia [Riemannian Geometry]. Moscow, Izd. Inostr. Lit., 1948. 316 p. (in Russian).
6. Kovalev V. A., Radayev Yu. N. Elementy teorii polia: variatsionnye simmetrii i geomet-richeskie invarianty [Elements of the Field Theory: Variational Symmetries and Geometric Invariants]. Moscow, Fizmatlit, 2009. 156 p. (in Russian).
7. Kovalev V. A., Radayev Yu. N. Volnovye zadachi teorii polia i termomekhanika [Wave Problems of Field Theory and Thermomechanicsj. Saratov, Saratov Univ. Press, 2010. 328 p. (in Russian).
8. Gurevich G. B. Osnovy teorii algebraicheskikh invariantov [Elements of Theory of Algebraic Invariants]. Moscow, Leningrad, Gostechteretizdat, 1948. 408 p. (in Russian).
9. Berdichevskii V. L. Variatsionnye printsipy mekhaniki sploshnoi sredy [Variational Principles of Continuum Mechanics]. Moscow, Nauka, 1983. 448 p. (in Russian).
10. Green A. E., Adkins J. E. Large Elastic Deformations and Non-linear Continuum Mechanics. London, Oxford Univ. Press, 1960. 348 p. (Russ. ed.: Green A., Adkins J. Bol'shie uprugie deformatsii i nelineinaia mekhanika sploshnoi sredy. Moscow, Mir, 1965. 456 p.)
11. Horn R., Johnson H. Matrix Analysis. Cambridge, Cambridge University Press, 1990. 561 pp. (Russ. ed.: Horn R., Johnson H. Matrichnyi analiz. Moscow, Mir, 1989. 656 p.)
Cite this article as:
Kovalev V. A., Radayev Yu. N. On Rationally Complete Algebraic Systems of Finite Strain Tensors of Complex Continua. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 1, pp. 71-84 (in Russian). DOI: 10.18500/1816-9791-2017-17-1-71-84.
