SPECTRAL DECOMPOSITIONS IN DYNAMICAL VISCOELASTIC PROBLEMS
- Authors: Lycheva TN1, Lychev SA1,2,3
- Affiliations:
- Institute for Problems in Mechanics RAS
- Bauman Moscow State Technical University
- National Research Nuclear University MEPhI
- Issue: No 4 (2016)
- Pages: 120-150
- Section: ARTICLES
- URL: https://ered.pstu.ru/index.php/mechanics/article/view/184
- DOI: https://doi.org/10.15593/perm.mech/2016.4.08
- Cite item
Abstract
Theoretical relations obtained from solutions of dynamic problems of viscoelasticity represent an effective framework for experimental identification of dynamic rheological properties of materials. For the construction of such relations, closed solutions of boundary value problems (i.e. written in the form of convergent series or integrals) are preferred, because they(unlike solutions obtained by numerical methods) allow strict error estimates. However, the construction of analytical solutions is associated with the following difficulties. 1. As usual, the hypothesis of proportionality is accepted for relaxation operators corresponding to the first and second Lamé moduli, which is equivalent to the hypothesis of a constant Poisson’s ratio. This significantly reduces the generality of consideration. 2. Representation of solutions for three-dimensional problems in the form of expansions in eigenfunctions makes it necessary to taking into account the large eigenvalues which in the vast majority of problems can be found only numerically, as the roots of transcendental equations, thus, it is likely to skip closely spaced and multiple roots. 3. Constructed series converge slowly. In this paper we suggest ways to overcome these difficulties. Solutions of initial boundary value problems are presented in the form of spectral expansions, but in contrast to the classical method of Fourier decomposition they are expanded over biorthogonal system of eigenfunctions of mutually conjugate pencils of differential operators. This pencils define generalized Sturm-Liouville problem with a polynomial spectral parameter. This eliminates the hypothesis of proportionality relaxation operators. Effective relations for the terms of spectral(in particular normalization factors) coordinate functions and asymptotic formulas for the initial approximations of eigenvalues excluding their omission in calculations are obtained. Power related ranking of elements of the spectral decomposition is proposed which allows achievingthe required accuracy of calculations on the partial sums of a low order.
Full Text
Введение Математическому моделированию нестационарных колебаний линейновязкоупругих тел посвящены многочисленные исследования зарубежных [1, 2, 3, 4, 5] и отечественных авторов [6, 7, 8, 9]. Современное состояние теории вязкоупругости в рамках общей теории сред с затухающей памятью представлено в [10, 11]. Методы построения точных решений уравнений вязкоупругости приведены в работах [12, 13, 14]. Способы идентификации динамических моделей описаны в [15]. Современные методы описания феноменов вязкости и упругости твердых тел основаны на идеях, сформулированных в первой половине XIX века Томсоном, Максвеллом и др. (исторические аспекты и оригинальные работы, см. [16-19]). Строгая математическая формулировка проблемы для малых деформаций была дана Фойгтом в 1892 г. В его работе[20] сформулирован линейный закон состояния, выражающий напряжения через деформации ε и скорости деформаций (1) При этом деформации отсчитывались от некоторой натуральной, т.е. свободной от напряжений формы тела (поскольку большинство экспериментов проводилось с нитями, то это предположение выглядело вполне естественным), т.е. (2) где - перемещения из натуральной формы; - пространственный оператор Гамильтона; , - орты декартовой координатной системы: (точка - скалярное произведение); - декартовы координаты; - время; - тензор модулей упругости; - тензор модулей вязкости. Замечание 1. Дальнейшие построения удобно вести в терминах общих криволинейных координат . Символами будем обозначать локальные базисы криволинейной координатной системы, а символами - взаимные к ним базисы ; , . Оператор Гамильтона определяется выражением: , . Двоеточие в записи обозначает двойное внутреннее произведение. Если определены тензоры и , то их двойное внутреннее произведение определяется соотношением . Далее мы придерживаемся нотации Гиббса [19]. Для векторного поля имеем следующее определение дивергенции: где - символы Кристоффеля, соответствующие выбранной системе координат, Дивергенция тензорного поля σ определяется соотношением которое полагается справедливым для любого постоянного векторного поля [20]. Если полагать, что закон состояния (1) задает изотропное отношение, то для определения тензоров , , в силу теоремы о представлении изотропных симметрических тензорных функций [21], потребуются четыре константы (реологических модуля ): где - модули упругости Ламе; - модули вязкости; - тензорная единица, т.е. тензор четвертого ранга, отображающий любой тензор второго ранга в себя; ; - единичный тензор второго ранга, отображающий любой вектор в себя, . В полиадных разложениях эти операторы имеют вид , . Подстановка закона состояния (1) в уравнение баланса импульса , где - поле внешних (массовых) сил, действующих на тело, - плотность массы, приводит к уравнению, содержащему член, пропорциональный первой производной по времени (этот член подчеркнут): (3) Подчеркнутый член формализует феномен собственной диссипации, описанный Томсоном. Построение замкнутых решений начально-краевых задач, порождаемых уравнением вида (3), в котором подчеркнутый член имеет более сложное выражение, представляет предмет настоящего исследования. Прежде чем переходить к общей задаче, поясним проблематику на примере уравнения (3). Полагаем, что тело обладает натуральной формой. Тогда с учетом соотношений Коши (2) для изотропного материала уравнение (3) преобразуется к виду ( ) (4) Уравнение (4) можно записать в более удобной форме, если ввести обозначения для дифференциальных операторов по времени , , а именно: (5) Левая часть уравнения (5) представляет собой сумму произведений (композиций) операторов по пространственным переменным и по времени и в общем случае не допускает разделения переменных в классическом смысле (по Фурье). Такое разложение возможно, если только имеется пропорциональность , . Тогда уравнение (5) преобразуется к виду (6) В левой части уравнения (6) оказалась композиция дифференциального оператора по времени (оператора релаксации) и пространственного оператора Ламе : (7) Такая факторизация - результат пропорциональности операторов: , или, эквивалентно, постоянства коэффициента Пуассона . В самом деле, если по аналогии с классической формулой ввести оператор , то при этих условиях он окажется постоянным: , где - тождественный оператор. Тогда решение начально-краевой задачи, определяемой уравнением (6), получается классическим методом Фурье. Действительно, пусть Ω - конечная область с кусочно-гладкой границей ; на заданы некоторые краевые условия, например, соответствующие жесткому закреплению (т.е. ). Тогда выражение (7) совместно с краевыми условиями определяют регулярный дифференциальный оператор с областью определения, плотной в пространстве функций, интегрируемых с квадратом по области - в пространстве . Этот оператор самосопряженный и отрицательно определен, следовательно, его собственные значения отрицательные и действительные [24]. Пусть - одно из собственных значений, а - соответствующая собственная функция, т.е. Полагаем а начальные условия такими, что - решение начально-краевой задачи, определяемой уравнением (6) и соответствующими краевыми условиями. При этом параметры и должны быть связаны алгебраическим соотношением Разрешая это уравнение относительно приходим к выражению Если , то решение определяет затухающие колебания, в частности Темп затухания колебаний, определяемый величиной (в технической литературе вводится понятие декремента затухания ), количественно определяет феномен собственной диссипации Томсона. В общем случае решение представляется разложением по счетному множеству собственных функций оператора Ламе : , где - координатные функции, которые находятся из последовательности независимых задач Коши Здесь , , ; , - начальные смещения и скорости, - скалярное произведение в . Каждая такая задача определяет независимый ангармонический осциллятор, а отклик всего вязкоупругого тела на динамическое воздействие, задаваемое ненулевыми начальными данными и динамическим полем массовых сил , представляется суперпозицией независимых ангармонических колебаний. Отказ от гипотезы о пропорциональности операторов релаксации приводит к тому, что в рамках классического представления Фурье уравнения для координатных функции оказываются связанными и образуют бесконечномерную систему обыкновенных дифференциальных уравнений. Трудности, связанные с решением таких уравнений, хорошо известны. В настоящей работе предлагается способ построения решения, позволяющий их избежать. Перейдем теперь к общему случаю. Для изотропной вязкоупругой трехмерной среды уравнения состояния темпового типа могут быть записаны в виде [23] (8) где , , - дифференциальные операторы, - константы, определяющие реологические свойства материала ( ). Используя очевидные преобразования, выразим в явной форме напряжения σ: где , - интегродифференциальные операторы и деформацию : Предполагая существование натуральной конфигурации, определим поле деформаций ε кинематическими соотношениями Коши: где - поле перемещений относительно указанной натуральной конфигурации. Тогда напряжения могут быть определены с помощью следующего оператора: Оператор далее будем называть оператором напряжений. 1. Формулировка начально-краевой задачи Пусть - исследуемое вязкоупругое деформируемое тело, отклик которого требуется определить. Как принято в теориях о малых деформациях, тело будем отождествлять с множеством геометрических мест его материальных точек, полагая, что деформации тела приводят к пренебрежимо малым изменениям их мест. Предполагая использование теоремы Стокса, условимся, что граница тела регулярная в смысле Келлога [25]. Замечание 2. Регулярная граница может быть представлена как объединение конечного числа поверхностей с непрерывно меняющейся нормалью, соединенных в вершинах или на правильных дугах (правильная дуга - это образ непрерывно дифференцируемого отображения замкнутого интервала). Регулярная граница может содержать конечное число ребер и конических точек [25, 26]. Это ограничение не слишком обременительное и соответствует интуитивным представлениям о «сплошном теле». Кроме того, полагаем, что отсчетная форма свободна от напряжений. Тогда из баланса импульса где - плотность массы; - плотность массовых сил, и закона состояния (8) вытекает уравнение движения (9) которое должно выполняться для всех внутренних точек тела. Это уравнение интегродифференциальное. Действуя на левую и правую части этого уравнения оператором , приходим к дифференциальному уравнению (10) Заметим, что уравнение (10) имеет производные более высоких порядков, чем (9), и множество его решений может оказаться более широким. В связи с этим при окончательной формулировке решения необходимо произвести соответствующую проверку. Для постановки начально-краевой задачи определим краевые условия (11) где - тензорное поле второго ранга, заданное на и определяющее упругие характеристики закрепления тела на его границе; - внешняя единичная нормаль к поверхности . Далее рассматривается несколько упрощенная постановка начально-краевой задачи: будем полагать, что определяется постоянными матрицами и такими, что (12) где - попарно непересекающиеся части границы ( ), образующие в совокупности ее разбиение: а для матриц выполняются условия Эти условия обеспечивают регулярность краевой задачи [27]. Начальные условия могут быть записаны следующим образом: (13) где ; - начальные смещения, скорости, ускорения и т.д. Уравнения (10), краевые условия (11) и начальные условия (13) определяют формулировку исследуемой начально-краевой задачи. Для дальнейших построений систему уравнений (10) удобно представить в виде (14) Здесь - дифференциальные операторы, а - заданная вектор-функция, которая вычисляется следующим образом: Уравнения (14) совместно с соответствующими начальными и краевыми условиями определяют начально-краевую задачу, которая может быть представлена как задача Коши с операторными коэффициентами: где , а - дифференциальные операторы по пространственным переменным, подобные оператору Ламе (7): (15) Здесь , - реологические модули, упорядоченные на одном и том же множестве индексов с добавлением нулей там, где это необходимо: Уравнения движения упрощаются, если операторы и пропорциональны: (16) Это условие классифицируется в [28, с. 58] как условие разделения переменных. В большинстве работ, рассматривающих замкнутые решения для вязкоупругих тел, принимается (16). При условии (16) уравнение (9) может быть представлено в виде (17) где - классический оператор Ламе (7), область определения которого задается краевыми условиями (12). Заметим также, что в квазистатическом приближении (без учета сил инерции) уравнения (17) оказываются эквивалентными уравнениям упругости где , т.е. . 2. Спектральное представление решения Пусть - гильбертово пространство комплекснозначных векторов-функций, определенных в области со скалярным произведением: где черта означает комплексное сопряжение. Будем отыскивать решения краевой задачи (12)-(14) в форме разложения по функциям пространственных переменных , образующих базис в пространстве , т.е. (18) Функции , выступающие в роли коэффициентов разложения, параметрически зависящих от , будем называть координатными функциями. Далее для сокращения письма аргументы базисных и координатных функций опускаем. Идеология используемого представления подобна методу Фурье, однако, в отличие от него, непосредственная подстановка (18) в уравнения (12)-(14) не позволяет разделить переменные. Разделение переменных можно осуществить, если преобразовать эти уравнения к системе уравнений первого порядка по переменной , а именно: (19) где функция совпадает с искомым решением (т.е. ). При этом краевые условия могут быть записаны в виде (20) Начальные данные задаются соотношениями (21) Для разделения переменных (отделения переменной ) рассмотрим обобщенную задачу Штурма-Лиувилля, которая определяется системой уравнений (22) и краевыми условиями (23) . Здесь - комплекснозначный спектральный параметр. Уравнения удобно представить в матричной форме (24) Если из этих уравнений исключить , выразив их через , то получим дифференциальное уравнение, в которое параметр входит в различных целых степенях. Дифференциальный оператор, порождаемый этим уравнением в области из , определяемой краевыми условиями (23), будем называть полиномиальным пучком , (25) Заметим, что спектральный параметр входит в выражение полиномиально. В рамках рассматриваемой задачи о движении вязкоупругого тела выражение для упрощается. Поскольку все , имеют вид (15), то уравнение может быть записано в виде или, полагая , в виде (26) где - многочлены от , а , . Замечание 3. Изучение спектра пучка операторов теории упругости началось в работах Эжен и Франсуа Коссера. В 1898-1901 гг. они опубликовали серию статей, в которых исследовались собственные числа и собственные векторы пучка операторов ( - спектральный параметр) и рассматривались их приложения к решению основных задач теории упругости. Работы Коссера по спектру пучка операторов теории упругости были продолжены в 1967 г. С.Г. Михлиным и В. Г. Мазья (более подробно см. [24]). Для определения дифференциальных операторов, порождаемых расширенной системой (22), введем расширенное пространство , элементы которого компонентные кортежи векторов со скалярным произведением Дифференциальное выражение для (24) и краевые условия (20) определяют в дифференциальный оператор, который будем обозначать тем же символом . Оператор , сопряженный оператору , может быть найден из соотношения Используя теорему о дивергенции, приходим к следующему виду для сопряженного оператора : определенного в области, задаваемой краевыми условиями , т.е. Здесь - дифференциальное выражение, сопряженное с , а , - сопряженные операторы краевых условий. Последние находятся из условия обращения в ноль интегралов по границе тела, получаемых при переходе к сопряженному выражению [29, 30, 31]. Сопряженному оператору соответствует сопряженный полиномиальный пучок (27) Замечание 4. Вопрос о полноте и базисности собственных функций (а в случае кратных собственных значений - также и присоединенных) несамосопряженных операторов является довольно тонким. В общем случае для несамосопряженных операторов не имеет места утверждение, аналогичное спектральной теореме для самосопряженных операторов [27]. Однако для специальных классов несамосопряженных операторов, в частности для полиномиальных пучков регулярных дифференциальных операторов, рассматриваемых в настоящей работе, полнота является следствием асимптотического поведения их резольвент [32] (см. также [29]). Пусть и - два различных комплексных собственных числа и , - отвечающие им собственные функции прямого и сопряженного пучков соответственно. Имеют место соотношения биортогональности: (28) (29) Замечание 5. Соотношения биортогональности не исчерпываются формулами (28), (29). Общий вид таких соотношений может быть получен следующим образом. Пусть , - собственные функции пучков (25) и (27), отвечающие различным собственным значениям , . Тогда имеют место равенства (30) (31) Преобразуем второе уравнение (31) (32) Уравнения (30) и (32) можно рассматривать как одно и то же алгебраическое уравнение относительно параметра (или ). В силу теоремы Виета имеем Здесь , - корни алгебраического уравнения (30), к числу которых принадлежат , . Линейные комбинации этих равенств определяют различные соотношения биортогональности (см. также [29], теорема 4). Перейдем теперь к построению решения краевой задачи (19)-(21). Решение будем отыскивать в виде разложения где - решение задачи (24), соответствующее значению спектрального параметра (для ограниченного тела такие решения образуют счетное множество). Подстановка этого представления в уравнения (19) и в начальные данные (21) приводит к следующим соотношениям: Поскольку функции удовлетворяют уравнению (24), то Таким образом, имеем (33) Действуя операторами проектирования на левую и правую части уравнения (33), приходим к последовательности независимых задач Коши относительно координатных функций , В случае постоянного коэффициента Пуассона разложение удобно осуществлять по собственным функциям оператора Ламе . Оператор как оператор, действующий в самосопряжен и отрицательно определен, следовательно, система его собственных функций образует ортогональный базис в [24]. Собственные функции находятся из задачи Штурма-Лиувилля (34) Координатные функции находятся как решения последовательности независимых интегро-дифференциальных задач Коши (35) Подействуем оператором на левую и правую части уравнения (35). Приходим к неоднородному обыкновенному дифференциальному уравнению (36) Характеристическое уравнение, соответствующее уравнению (36), имеет вид . (37) Пусть - корни уравнения (37). Будем полагать, что они все различны. Тогда решение уравнения (36) может быть представлено соотношением , где - симметричный многочлен порядка p от кортежа , а - симметрический многочлен от кортежа в котором опущен элемент , т.е. Заметим, что выражение для понимается в классическом смысле только при условии п-кратной дифференцируемости функций . В противном случае все соотношения следует понимать в обобщенном смысле и использовать методы дифференцирования и интегрирования обобщенных функций. При этом выражения для координатных функций могут содержать дельта-функцию и ее обобщенные производные. Однако, если порядок дифференциального оператора не превосходит порядка операторов , т.е. , а начальные данные и функции, определяющие изменение во времени поля массовых сил, кусочно непрерывны, то координатные функции также будут кусочно-непрерывными. 3. Колебания вязкоупругого цилиндра При построении замкнутых решений исследуемых начально-краевых задач все элементы этих решений, в том числе базисные функции , следует также представлять в замкнутой форме. Замкнутые в классическом смысле выражения, т.е. конечные формулы, абсолютно сходящиеся ряды или интегралы, члены и подынтегральные выражения которых представлены конечными формулами, могут быть получены в случаях, когда переменные в уравнении (26) разделяются, а линейные комбинации решений при подстановке в краевые условия не приводят к бесконечномерным системам алгебраических уравнений. Это возможно для тел канонической формы: параллелепипеда, кругового цилиндра, шара и так далее и для специальных классов краевых условий. При этом выражения для собственных функций могут быть записаны как конечные комбинации известных специальных функций - решений обыкновенных дифференциальных уравнений. В настоящей статье рассматриваются конечные круговые цилиндры. Динамическая задача для упругого конечного цилиндра имеет более чем вековую историю: впервые подобная начально-краевая задача исследовалась для бесконечного цилиндра Похгаммером [33] и, независимо, Кри [34], а для конечного цилиндра и специальных классов краевых условий - Файлоном [35] (см. также [36, 37]). Далее символы будут обозначать цилиндрические координаты, причем ось совпадает с осью тела, а плоскость содержит его нижнее основание. Символами обозначим проекции собственных функций на нормированные векторы локального базиса . Пусть тело представляет собой конечный цилиндр, радиусом и высотой , основания которого закреплены на гладких жестких плитах, а боковая поверхность свободна от нагрузок, т.е. где - основания, - боковая поверхность. Тогда Основными элементами решения (18) являются собственные функции, определенные из уравнения (26) и соответствующих краевых условий. По своей структуре уравнение (26) подобно более простому уравнению (34) с точностью до подстановки , . По этой причине все дальнейшие построения производятся для уравнения (34) в предположении, что для решения уравнения (26) следует в полученных соотношениях осуществить указанную подстановку. Задача Штурма-Лиувилля (34) формулируется следующим образом. Система дифференциальных уравнений (26) принимает вид (38) Краевые условия на цилиндрической (боковой) поверхности определяются соотношениями (39) а краевые условия на основаниях Г1, Г2 задаются равенствами (40) Здесь Δ - оператор Лапласа в цилиндрических координатах, Запятая используется для обозначения частных производных по указанным после нее переменным. Если принимать во внимание те или иные симметрии, то размерность задачи (39)-(40) может быть снижена. При этом получать соответствующие этим задачам решения из общего решения системы (39) в вычислительном плане неудобно, так как при этом возникает необходимость раскрывать неопределенности (если этого не делать, то вычислительный алгоритм останавливается при попытке деления на нуль). В связи с этим целесообразно рассмотреть симметричные случаи как отдельные задачи. Сформулируем два таких частных случая. Осевая симметрия. Полагаем . Система трех дифференциальных уравнений (39) сокращается до двух уравнений: (38') Краевые условия на цилиндрической поверхности Гз записываются в виде (39') а краевые условия на основаниях задаются двумя равенствами (40') Здесь - оператор Лапласа в полярных координатах: Осевая симметрия и независимость от вертикальной координаты (это условие соответствует плоской деформации). Полагаем , . В системе (39) остается лишь одно нетривиальное уравнение (38'') Краевые условия на основаниях удовлетворяются автоматически, а краевое условие на боковой поверхности задается одним равенством (39'') Известны различные формы представления решений системы уравнений (39) [14, 36, 38]. Для дальнейшего анализа удобна следующая форма, представляющая ограниченные на оси и периодические по решения [30]: где , - арифметические векторы постоянных интегрирования, точка (.) обозначает вектор-матричное произведение, (41) (42) Здесь - диагональная матрица; - функции Бесселя первого рода порядка , которые для имеют асимптотические представления [39]: (43) Аналогично строятся решения сокращенных систем (38') и (39''). Решения уравнений (38'), удовлетворяющие условиям (40'), могут быть представлены в виде , , где (44) а решения уравнений (38'') имеют вид (45) 4. Нахождение собственных значений Для нахождения нетривиальных решений задач Штурма-Лиувилля (38)-(40), (38')-(40') и (38'')-(39'') следует подставить решения (41), (44), (45) в соответствующие условия на боковой поверхности цилиндра, т.е. в соотношения (38), (38'), (38''). Получаемые при этом однородные системы линейных уравнений относительно элементов векторов имеют нетривиальные решения при обращении в нуль определителей их коэффициентов. Соответствующие трансцендентные уравнения относительно будем называть спектральными уравнениями. Известную сложность представляет вычисление достаточного количества их корней. Ниже предлагается методика, позволяющая осуществить этот поиск эффективно в вычислительном смысле. Начнем с самого простого случая - спектрального уравнения, порождаемого решением (45) и краевым условием (39''). В результате подстановки (45) в (39'') приходим к трансцендентному уравнению: (46) Поскольку для действительных аргументов , согласно (43), функции Бесселя допускают асимптотическое представление (47) то и для больших уравнению (46) соответствует уравнение (48) Следовательно, для больших значений второй член в левой части уравнения (48) - малая величина в сравнении с первым, и им можно пренебречь. Тогда приближенные значения корней уравнения (46) можно определить как нули функции Значения табулированы, в том числе в известных системах символьных вычислений, и могут быть легко найдены. Заметим также, что из (48) можно получить приближения. С помощью уравнения (47) можно построить более точные приближения. Для этого воспользуемся кусочно-линейной интерполяцией для тригонометрических функций: (49) где - целая часть, а - дробная часть числа. Это уравнение может быть приближено уравнением корни которого образуют последовательность с членами Используя эти значения как начальные приближения и раскладывая в их окрестностях левую часть уравнений (46) в ряд Тейлора, получаем следующее приближение: Более точные приближения можно получить, используя оператор рекурсивно: . (50) Этим приближениям соответствуют собственные значения: Практические вычисления показывают, что «разумная точность» достигается при . В качестве примера вычислим собственные значения при , методом последовательного шагового поиска и с помощью приближений (50). На рис. 1 показано распределение собственных значений в зависимости от их номера, а на рис. 2 - логарифмы абсолютных значений погрешностей асимптотических приближений различных порядков. Спектральное уравнение для осесимметричных колебаний получается при подстановке решений (44) в краевые условия (39'). В результате приходим к трансцендентному уравнению: (51) Здесь , . Замечая, что с учетом соотношений (42) справедливы равенства Рис. 1. Распределение собственных значений Fig. 1. The distribution of eigenvalues Рис. 2. Погрешности асимптотических приближений различных порядков: ● s = 1; ■ s = 2; ♦ s = 3; Δ s = 4; p - номер собственного значения Fig. 2. Errors of asymptotic approximations of several orders преобразуем уравнение (51) к более простому виду: (52) где . Для построения асимптотических приближений собственных значений рассмотрим два случая . Пусть , тогда , а асимптотические выражения для функций Бесселя определяются тригонометрическими функциями (47), что позволяет записать асимптотическое представление уравнения (52) в виде (53) Повторяя рассуждения, приведенные выше, получим уравнения для грубых приближений корней уравнения (51) (54) т.е. , . Этим приближениям соответствуют выражения для собственных значений Более точные приближения могут быть получены следующим образом. Полагая , большими величинами, представляя левую часть уравнения (53) в форме разложения по их степеням и удерживая четвертую и третью степени, приходим к уравнению (55) Это уравнение эквивалентно двум уравнениям (56) Для того чтобы сделать эти уравнения независимыми, следует выразить через , т.е. , и подставить результат во второе уравнение. Имеем Первое уравнение (56) дает те же приближения, что и (54). Для нахождения приближений из второго уравнения воспользуемся кусочно-линейной интерполяцией (49). Полагая , , приходим к соотношению Положительные корни этого уравнения имеют вид Соответственно, приближения для собственных значений могут быть вычислены по формулам . Пусть теперь . При таких значениях , и функции Бесселя согласно (43) могут быть приближены выражениями . При подстановке этих соотношений уравнение (51) приводится к виду Используя кусочно-линейную интерполяцию (49) для тригонометрических функций, полагая , и заменяя значение вне аргументов тригонометрических функций приближенным выражением , приходим к уравнению относительно : Его решения могут быть записаны следующим образом: где ; . Приближения для собственных значений определяются по формуле Эффективность полученных формул проиллюстрирована на рис. 3, на котором приведены графики левых частей трансцендентных (спектральных) уравнений, стрелками показаны приближения, полученные из асимптотических формул. Вычисления производились для , , . Левому графику соответствует , правому - . Рис. 3. Графики нормированных левых частей спектральных уравнений и асимптотические приближения для их нулей (показаны стрелками) Fig. 3. Graphs of the normalized LHS of spectral equations and asymptotic approximations for their zeros (indicated by arrows) Имея начальные приближения, более точные значения корней можно определить численно из уравнения (51). Спектральное уравнение для трехмерного случая получается в результате подстановки решений (41) в (38) и может быть представлено в виде где . Этим выражениям соответствуют асимптотические представления в терминах тригонометрических функций: Главный член асимптотики определяет уравнение Этому уравнению согласно (43) соответствует асимптотическое уравнение в терминах тригонометрических функций (57) Таким образом, грубые приближения корней могут быть найдены из (57). 5. Спектральные разложения Начнем с наиболее простого случая - осесимметричного, не зависящего от вертикальной координаты . Собственные значения найдены, и все, что остается сделать - подставить их в решение (40'), и полученную функцию пронормировать, поделив ее на корень из ее скалярного квадрата. Имеем (58) В осесимметричном случае собственные функции определяются соотношением где - алгебраический вектор постоянных интегрирования, компоненты которого определяются нетривиальными решениями системы однородных алгебраических уравнений Так как при определитель этой системы равен нулю, то ее решения имеют вид Матрица может быть вычислена в замкнутом виде: Таким образом, осесимметричные нормированные собственные функции могут быть представлены следующими выражениями: В общем трехмерном случае собственные функции разделяются на два класса: четные и нечетные по переменной : где - нетривиальные решения однородной системы уравнений а - нетривиальные решения системы где определяются следующими выражениями: Нормирующие множители вычисляются по формулам Элементы матриц , могут быть вычислена в замкнутом виде: Здесь где а - гипергеометрическая функция Гаусса a б в г д е Рис. 4. Ранжирование элементов спектрального разложения Fig. 4. The ranking of elements of spectral decomposition Таким образом, все элементы спектрального разложения (18) найдены: собственные функции находятся по формулам подразд. 4, а координатные - подразд. 1. Вместе с тем следует отметить, что для трехмерных по пространственным переменным задач (т.е. в отсутствие каких-либо симметрий) число слагаемых в разложении (18) оказывается большим (согласно грубой оценке , где - число слагаемых в одномерной задаче при заданной точности). Для оптимизации вычислений предлагается использовать энергетическое ранжирование элементов спектрального разложения, выполняемое для заданных массовых сил и начальных данных по весам: Члены суммы (18) упорядочиваются по мере увеличения усредненных по времени абсолютных значений . На рис. 4 приведены результаты вычислительного эксперимента с ранжированием. В качестве исходных данных вновь использовались значения , , , а разложение строилось для осесимметричной ступенчатой функции, соответствующей вертикальной компоненте поля массовых сил. На рисунке показаны: a - распределение весов в зависимости от спектрального параметра (точками обозначены собственные значения, горизонтальная ось - значения спектрального параметра, вертикальная ось - вес); б - результат ранжирования ( - порядок частичной суммы по переставленному ряду); в - графическое представление тестовой осесимметричной функции в координатах ; г - график частичной суммы 70-го порядка при обычном порядке слагаемых (по возрастанию спектрального параметра); д - график такой же суммы утроенного, 210-го порядка; е - график частичной суммы 70-го порядка при ранжировании слагаемых. На этом простом тестовом вычислении видно, что суммирование с изменением порядка позволяет существенно сократить число членов разложения для достижения заданной точности. Таким образом, решения широкого класса начально-краевых задач линейной вязкоупругости могут быть представлены в форме спектральных разложений по биортогональным системам собственных функций взаимно сопряженных пучков дифференциальных операторов, определяемых обобщенными задачами Штурма-Лиувилля с полиномиальным вхождением спектрального параметра. Соответствующие им вычисления могут производиться по алгоритмически эффективным соотношениям для компонент разложения, определяющих нормировку собственных функций, координатные функции, а также асимптотические формулы для начальных приближений корней частотного уравнения. При вычислении частичных сумм разложений может быть использовано энергетическое ранжирование их элементов, позволяющее достигать требуемой точности вычислений на суммах невысокого порядка.About the authors
T N Lycheva
Institute for Problems in Mechanics RAS
S A Lychev
Institute for Problems in Mechanics RAS; Bauman Moscow State Technical University; National Research Nuclear University MEPhI
References
- Рейнер М. Реология. - М.: Наука, 1958. - 224 с.
- Фрейденталь А., Гейрингер Ф. Математические теории неупругой сплошной среды. - М.: Гос. изд-во физ.-мат. лит., 1962. - 432 с.
- Бленд Д.Р. Теория линейной вязкоупругости. - М.: Мир, 1965. - 390 с.
- Reiner M., Lewis H.K. Advancedrheology. - London, 1971. - 374 p.
- Alber H.-D. Materials with Memory: Initial-Boundary Value Problems for Constitutive Equations with Internal Variables. - Springer, 1988. - 170 p.
- Работнов Ю.Н. Ползучесть элементов конструкций. - М.: Наука, 1966. - 752 с.
- Ржаницын А.Р. Теория ползучести. - М.: Изд-во лит. по строит., 1968. - 416 с.
- Ильюшин А.А., Победря Б.Е. Основы математической теории термовязкоупругости.- М.: Наука, 1970. - 280 с.
- Пшеничнов С.Г. Динамические задачи линейной вязкоупругости для кусочно-однородных тел // Изв. РАН. МТТ. - 2016. - № 1. - С. 79-89.
- Amendola G., Fabrizio M., Golden J.M. Thermodynamics of materials with memory. - Springer, 2012. - 574 p.
- Дэй У.А. Термодинамикапростыхсредспамятью. - М.: Мир 1974. - 190 с.
- Полянин А.Д., Лычев С.А. Различные представления решений систем уравнений механики сплошных сред // Докл. Акад. наук. - 2014. - Т. 455, № 2. - С. 162-166.
- Полянин А.Д., Лычев С.А. Различные способы декомпозиции линейных уравнений механики сплошных сред // Докл. Акад. наук. - 2014. - Т. 458, № 6. - С. 663-666.
- Polyanin A.D., Lychev S.A. Decomposition methods for coupled 3d equations of applied mathematics and continuum mechanics: Partial survey, classification, new results, and generalizations // Applied Mathematical Modelling. - 2016. - Vol. 40. - No. 4. - P. 3298-3324.
- Nairn J.A. Measurement of polymer viscoelastic response during an impact experiment // Polym. Eng. Sci. - 1989. - Vol. 29. - No. 10. - P. 654-661.
- Baily F. On the correction of a pendulum for the reduction to a vacuum: Together with remarks on some anomalies observed in pendulum experiments // Philosophical Transactions of the Royal Society of London. - 1832. - Vol. 122. - P. 399-492.
- Stokes G.G. On the theories of the internal friction of fluids in motion, and of the equilibrium and motion of elastic solids // Mathematical and Physical Papers. Cambridge University Press (CUP). - 1866. - Vol. 1. - P. 75-129.
- Maxwell J.C. The bakerian lecture: On the viscosity or internal friction of air and other gases // Philosophical Transactions of the Royal Society of London. - 1866. - Vol. 156. - P. 249-268.
- Thomson W. On the elasticity and viscosity of metals // Proceedings of the Royal Society of London. - 1865. - Vol. 14. - P. 289-297.
- Voigt W. Ueber innere reibung fester körper, insbesondere der metalle // Ann. Phys. Chem.- 1892. - Vol. 283. - No. 12. - P. 671-693.
- Gibbs J. W. Vector Analysis, a text-book for the use of students of mathematics and physics, founded upon the lectures of J. Willard Gibbs. - New Haven Yale University Press, 1901. - 480 p.
- Gurtin M.E. The linear theory of elasticity // Linear Theories of Elasticity and Thermoelasticity. - Springer, 1973. - P. 1-295.
- Truesdell C., Noll W. The non-linear field theories of mechanics. - Springer, 2004. - 602 p.
- Михлин С.Г. Курс математической физики. - М.: Наука, 1968. - 576 с.
- Kellogg O.D. Foundations of potential theory // Die Grundlehren der Mathematischen Wissenschaften. Vol. 31. - Springer, 1967. - 386 p.
- Трусделл К. Первоначальный курс рациональной механики сплошной среды. - М.: Мир, 1975. - 592 с.
- Наймарк М. А. Линейные дифференциальные операторы. - М.: Наука, 1969. - 526 с.
- Кристенсен Р. Введение в теорию вязкоупругости. - М.: Мир, 1974. - 338 с.
- Лычев С. А., Сеницкий Ю. Э. Несимметричные интегральные преобразования и их приложения к задачам вязкоупругости // Вестн. Самар. гос. ун-та. Естественно-научная серия. - 2002. - Спец. вып. - C. 16-38.
- Лычeв С. А. Связанная динамическая задача термовязкоупругости // Изв. РАН. МТТ. - 2008. - № 5. - С. 95-113.
- Лычев С.А., Манжиров А.В., Юбер С. В. Замкнутые решения краевых задач связанной термоупругости // Изв. РАН. МТТ. - 2010. - № 4. - С. 138-154.
- Келдыш М. В. О полнoте собственных функций некоторых классов несамосопряженных линейных операторов // УМН. - 1971. - T. 26,4(160). - С. 15-41.
- Pochhammer L. Ueber die fortpflanzungsgeschwindigkeiten kleiner schwingungen in einem unbegrenzten isotropen kreiscylinder // Journal für die reine und angewandte Mathematik. - 1876. - Vol. 81. - P. 324-336.
- Chree C. The equations of an isotropic elastic solid in polar and cylindrical co-ordinates their solution and application // Transactions of the Cambridge Philosophical Society. - 1889. - Vol. 14. - P. 250.
- Filon L.N.G. On the elastic equilibrium of circular cylinders under certain practical systems of load // Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. - 1902. - Vol. 198. - No. 300-311. - P. 147-233.
- Eringen A.C., Suhubi E S. Elastodynamics. Vol. 1; Finite Motions, 1974. - Vol. 2: Linear Theory. - New York-London, Academic Press, 1975. - 1018 p.
- Meleshko V. Equilibrium of an elastic finite cylinder: Filon’s problem revisited //Journal of Engineering Mathematics. - 2003. - Vol. 46. - No. 3/4. - P. 355-376.
- Ляв А. Математическая теория упругости. - М.-Л.: ОНТИ, 1935. - 674 с.
- Ватсон Дж.Н. Теория бесселевых функций. - М.: Изд-во иностр. лит., 1949. - 798 с.