Все выпуски

Предлагается обзор современного состояния теории функционально-дифференциальных уравнений, разработанной участниками Пермского семинара. Приводятся примеры новых подходов к ряду классических задач.

A survey of the theory of functional differential equations developed by participants of the Perm Seminar is presented. Examples of new approaches to some classical problems are demonstrated.

Рассматривается задача с данными на характеристиках для нагруженной системы гиперболических уравнений второго порядка в прямоугольной области. Исследуются вопросы существования и единственности классического решения рассматриваемой задачи, а также непрерывной зависимости решения от исходных данных. Предлагается новый подход к решению задачи с данными на характеристиках для нагруженной системы гиперболических уравнений второго порядка на основе введения новых функций. Путем введения новых неизвестных функций задача сводится к эквивалентному семейству задач Коши для нагруженной системы дифференциальных уравнений с параметрами и интегральным соотношениям. Предложен алгоритм нахождения приближенного решения эквивалентной задачи и доказана его сходимость. Установлены условия однозначной разрешимости задачи с данными на характеристиках для нагруженной системы гиперболических уравнений второго порядка в терминах коэффициентов системы.

We consider a problem with data on the characteristics for a loaded system of hyperbolic equations of the second order on a rectangular domain. The questions of the existence and uniqueness of the classical solution of the considered problem, as well as the continuity dependence of the solution on the initial data, are investigated. We propose a new approach to solving the problem with data on the characteristics for the loaded system of hyperbolic equations second order based on the introduction new functions. By introducing new unknown functions the problem is reduced to an equivalent family of Cauchy problems for a loaded system of differential with a parameters and integral relations. An algorithm for finding an approximate solution to the equivalent problem is proposed and its convergence is proved. Conditions for the unique solvability of the problem with data on the characteristics for the loaded system of hyperbolic equations of the second order are established in the terms of coefficient's system.

Рассматривается система реакции-диффузии с кубической нелинейностью, которая является бесконечномерным аналогом классической системы Рэлея и частным случаем системы Фитцью-Нагумо. Предполагается, что пространственная переменная изменяется на отрезке, на концах которого заданы однородные краевые условия Неймана. Известно, что в данном случае в системе Рэлея с диффузией существует пространственно-однородный автоколебательный режим, совпадающий с предельным циклом классической системы Рэлея. В настоящей работе показано существование счетного множества критических значений управляющего параметра, при которых возникают пространственно-неоднородные автоколебательные и стационарные режимы. Данные режимы устойчивы относительно возмущений, принадлежащих некоторым бесконечномерным инвариантным подпространствам системы, но неустойчивы во всем фазовом пространстве. Это свойство объясняет, почему в результате численных экспериментов при некоторых значениях параметра различным начальным условиям соответствуют нулевое, периодическое по времени или стационарное решение. Асимптотика вторичных решений построена методом Ляпунова-Шмидта. Явно найдены первые члены разложения, проанализированы формулы для общего члена асимптотики. Показано, что на инвариантных подпространствах происходит мягкая потеря устойчивости нулевого равновесия. Эволюция вторичных режимов при увеличении значений надкритичности исследована численно. Установлено, что с ростом значений надкритичности вторичные автоколебательные режимы постепенно сменяются стационарными. Амплитуда стационарных решений растет по мере увеличения надкритичности, а профиль асимптотически стремится к профилю меандра.

We consider a reaction-diffusion system with a cubic nonlinear term, which is a special case of the Fitzhugh-Nagumo system and an infinite-dimensional version of the classical Rayleigh system. We assume that the spatial variable belongs to an interval, supplemented with Neumann boundary conditions. It is well-known that in that specific case there exists a spatially-homogeneous oscillatory regime, which coincides with the time-periodic solution of the classical Rayleigh system. We show that there exists a countable set of critical values of the control parameter, where each critical value corresponds to the branching of new spatially-inhomogeneous auto-oscillatory or stationary regimes. These regimes are stable with respect to small perturbations from some infinite-dimensional invariant subspaces of the system under study. This, in particular, explains the convergence of numerical solution to zero, periodic or stationary solution, which is observed for some specific initial conditions and control parameter values. We construct the asymptotics for branching solutions by using Lyapunov-Schmidt reduction. We find explicitly the first terms of asymptotic expansions and study the formulas for general terms of asymptotics. It is shown that a soft loss of stability occurs in invariant subspaces. We study numerically the evolution of secondary regimes due to the increase of control parameter values and observe that the secondary periodic solutions are transformed into stationary ones as the control parameter value increases. Next, the amplitude of stationary solutions continues to grow and the solution asymptotically converges to the square wave regime.

Исследуются задачи о равновесии трансверсально-изотропной пластины с жесткими включениями. Предполагается, что пластина деформируется в рамках гипотез классической теории упругости. Задачи формулируются в виде минимизации функционала энергии пластины на выпуклом и замкнутом подмножестве пространства Соболева. Установлено, что предельный переход по геометрическому параметру в задачах о равновесии пластины с объемным включением приводит к задаче о пластине с тонким жестким включением. Исследован также случай отслоения тонкого жесткого включения - когда трещина в пластине расположена вдоль одного из берегов включения. В задаче о пластине с отслоившимся тонким включением на трещине задается нелинейное условие непроникания. Это условие имеет вид неравенства (типа Синьорини) и описывает взаимное непроникание противоположных берегов трещины. Для задачи с отслоившимся включением, при достаточной гладкости решения, установлена эквивалентность вариационной и дифференциальной формулировок. Также получены соотношения, описывающие контакт противоположных берегов трещины. Относительно каждой из рассмотренных вариационных задач установлена однозначная разрешимость.

We study the equilibrium problem of a transversely isotropic plate with rigid inclusions. It is assumed that the plate deforms under hypotheses of classical elasticity. The problems are formulated as the minimization of the plate energy functional on the convex and closed subset of the Sobolev space. It is established that, as the geometric parameter (the size) of the volume inclusion tends to zero, the solutions converge to the solution of an equilibrium problem of a plate with a thin rigid inclusion. Also the case of the delamination of an inclusion is investigated when a crack in the plate is located along one of the inclusion edges. In the problem of a plate with a delaminated inclusion the nonlinear condition of nonpenetration is given. This condition takes the form of a Signorini-type inequality and describes the mutual nonpenetration of the crack edges. For the problem with a delaminated inclusion, the equivalence of variational and differential statements is proved provided a sufficiently smooth solution. For each considered variation problem, unique solvability is established.

Для задачи оптимального управления системой обыкновенных дифференциальных уравнений с поточечным фазовым ограничением типа равенства и конечным числом функциональных ограничений типа равенства и неравенства формулируется устойчивый секвенциальный, или, другими словами, регуляризованный, принцип максимума Понтрягина в итерационной форме. Его главное отличие от классического принципа максимума Понтрягина заключается в том, что он, во-первых, формулируется в терминах минимизирующих последовательностей, во-вторых, имеет форму итерационного процесса в пространстве двойственных переменных и, наконец, в-третьих, устойчиво к ошибкам исходных данных оптимизационной задачи порождает в ней минимизирующее приближенное решение в смысле Дж. Варги, т.е. представляет собою регуляризирующий алгоритм. Доказательство регуляризованного принципа максимума Понтрягина в итерационной форме опирается на методы двойственной регуляризации и итеративной двойственной регуляризации.

The stable sequential Pontryagin maximum principle or, in other words, the regularized Pontryagin maximum principle in iterative form is formulated for the optimal control problem of a system of ordinary differential equations with pointwise phase equality constraint and a finite number of functional equality and inequality constraints. The main difference between it and the classical Pontryagin maximum principle is that, firstly, it is formulated in terms of minimizing sequences, secondly, the iterative process occurs in dual space and, thirdly, it is resistant to errors of raw data and gives a minimizing approximate solution in the sense of J. Warga. So it is a regularizing algorithm. The proof of the regularized Pontryagin maximum principle in iterative form is based on the methods of dual regularization and iterative dual regularization.

Для задачи оптимального управления линейным параболическим уравнением с распределенным, начальным и граничным управлениями и с операторным полуфазовым ограничением типа равенства формулируется устойчивый секвенциальный, или, другими словами, регуляризованный, принцип максимума Понтрягина в итерационной форме. Его главное отличие от классического принципа максимума Понтрягина заключается в том, что он, во-первых, формулируется в терминах минимизирующих последовательностей, во-вторых, имеет форму итерационного процесса в пространстве двойственных переменных и, наконец, в-третьих, устойчиво к ошибкам исходных данных оптимизационной задачи порождает в ней минимизирующее приближенное решение в смысле Дж. Варги, т.е. представляет собой регуляризирующий алгоритм. Доказательство регуляризованного принципа максимума Понтрягина в итерационной форме опирается на методы двойственной регуляризации и итеративной двойственной регуляризации. Приводятся результаты модельных расчетов при решении конкретной задачи оптимального управления, иллюстрирующих работу алгоритма, основанного на регляризованном итерационном принципе максимума Понтрягина. В качестве конкретной оптимизационной задачи рассмотрена задача поиска минимальной по норме тройки управлений при операторном ограничении-равенстве в финальный момент времени, или, другими словами, обратная задача финального наблюдения по поиску ее нормального решения.

The stable sequential Pontryagin maximum principle or, in other words, the regularized Pontryagin maximum principle in iterative form is formulated for the optimal control problem of a linear parabolic equation with distributed, initial and boundary controls and operator semiphase equality constraint. The main difference between it and the classical Pontryagin maximum principle is that, firstly, it is formulated in terms of minimizing sequences, secondly, the iterative process occurs in dual space, and thirdly, it is resistant to error of raw data and gives a minimizing approximate solution in the sense of J. Warga. So it is a regularizing algorithm. The proof of the regularized Pontryagin maximum principle in iterative form is based on the dual regularization methods and iterative dual regularization. The results of model calculations of the concrete optimal control problem illustrating the work of the algorithm based on the regularized iterative Pontryagin maximum principle are presented. The problem of finding a control triple with minimal norm under a given equality constraint at the final instant of time or, in other words, the inverse final observation problem of finding a normal solution is used as a concrete model optimal control problem.

Работа посвящена исследованию разрешимости обратной краевой задачи с неизвестным коэффициентом и правой частью, зависящей от времени, для линеаризованного уравнения Бенни-Люка с несамосопряженными краевыми и с дополнительными интегральными условиями. Задача рассматривается в прямоугольной области. Дается определение классического решения поставленной задачи. Сначала рассматривается вспомогательная обратная краевая задача и доказывается ее эквивалентность (в определенном смысле) исходной задаче. Для исследования вспомогательной обратной краевой задачи сначала используется метод разделения переменных. После применения формальной схемы метода разделения переменных решение прямой краевой задачи (при заданной неизвестной функции) сводится к решению задачи с неизвестными коэффициентами. После этого решение задачи сводится к решению некоторой счетной системы интегро-дифференциальных уравнений относительно неизвестных коэффициентов. В свою очередь, последняя система относительно неизвестных коэффициентов записывается в виде одного интегро-дифференциального уравнения относительно искомого решения. Затем, используя соответствующие дополнительные условия обратной вспомогательной краевой задачи, для определения неизвестных функций получаем систему двух нелинейных интегральных уравнений. Таким образом, решение вспомогательной обратной краевой задачи сводится к системе из трех нелинейных интегро-дифференциальных уравнений относительно неизвестных функций. Строится конкретное банахово пространство. Далее, в шаре из построенного банахова пространства с помощью сжатых отображений доказывается разрешимость системы нелинейных интегро-дифференциальных уравнений, которая также является единственным решением вспомогательной обратной краевой задачи. С использованием эквивалентности задач доказывается существование и единственность классического решения исходной задачи.

The paper investigates the solvability of an inverse boundary-value problem with an unknown coefficient and the right-hand side, depending on the time variable, for the linearized Benney-Luke equation with non-self-adjoint boundary and additional integral conditions. The problem is considered in a rectangular domain. A definition of the classical solution of the problem is given. First, we consider an auxiliary inverse boundary-value problem and prove its equivalence (in a certain sense) to the original problem. To investigate the auxiliary inverse boundary-value problem, the method of separation of variables is used. By applying the formal scheme of the variable separation method, the solution of the direct boundary problem (for a given unknown function) is reduced to solving the problem with unknown coefficients. Then, the solution of the problem is reduced to solving a certain countable system of integro-differential equations for the unknown coefficients. In turn, the latter system of relatively unknown coefficients is written as a single integro-differential equation for the desired solution. Next, using the corresponding additional conditions of the inverse auxiliary boundary-value problem, to determine the unknown functions, we obtain a system of two nonlinear integral equations. Thus, the solution of an auxiliary inverse boundary-value problem is reduced to a system of three nonlinear integro-differential equations with respect to unknown functions. A special type of Banach space is constructed. Further, in a ball from a constructed Banach space, with the help of contracted mappings, we prove the solvability of a system of nonlinear integro-differential equations, which is also the unique solution to the auxiliary inverse boundary-value problem. Finally, using the equivalence of these problems the existence and uniqueness of the classical solution of the original problem are proved.

В работе исследована одна обратная краевая задача для эллиптического уравнения второго порядка с дополнительным интегральным условием первого рода. Для рассматриваемой обратной краевой задачи вводится определение классического решения. С помощью метода Фурье задача сводится к решению системы интегральных уравнений. С помощью метода сжатых отображений доказывается существование и единственность решения системы интегральных уравнений. Далее доказывается существование и единственность классического решения исходной задачи.

An inverse boundary value problem for the second order elliptic equation with an additional integral condition of the first kind is investigated. We introduce the definition of a classical solution for the considered inverse boundary value problem reduced to solving of the system of integral equations by the use of the Fourier method. First, the existence and uniqueness of solutions of the system of integral equations are proved by using the method of contraction mappings; and then the existence and uniqueness of classical solutions of the original problem are proved.

В статье исследуются асимптотические поведения решений сингулярно возмущенных двухточечных краевых задач на отрезке. Объектом исследования является линейное неоднородное обыкновенное дифференциальное уравнение второго порядка с малым параметром при старшей производной искомой функций. Особенности рассматриваемых задач состоят в том, что малый параметр находится при старшей производной искомой функций и соответствующее невозмущенное дифференциальное уравнение первого порядка имеет иррегулярную особую точку на левом конце отрезка. На концах отрезка ставятся краевые условия. Рассматриваются две задачи, в одном функция перед первой производной искомой функций не положительна на рассматриваемом отрезке, а во втором не отрицательна. Асимптотические разложения задач строятся классическим методом пограничных функций Вишика-Люстерника-Васильевой-Иманалиева. Однако напрямую этот метод применить невозможно, так как внешнее решение имеет особенность. Мы сначала убираем эту особенность из внешнего решения, затем применяем метод пограничных функций. Построенные асимптотические разложения обоснованы с помощью принципа максимума, т.е. получены оценки для остаточных функций.

This article studies the asymptotic behavior of the solutions of singularly perturbed two-point boundary value-problems on an interval. The object of the study is a linear inhomogeneous ordinary differential second-order equation with a small parameter with the highest derivative of the unknown function. The special feature of the problem is that the small parameter is found at the highest derivative of the unknown function and the corresponding unperturbed first-order differential equation has an irregular singular point at the left end of the segment. At the ends of the segment, boundary conditions are imposed. Two problems are considered: in one of them the function in front of the first derivative of the unknown function is nonpositive on the segment considered, and in the second it is nonnegative. Asymptotic expansions of the problems are constructed by the classical method of Vishik-Lyusternik-Vasilyeva-Imanaliev boundary functions. However, this method cannot be applied directly, since the external solution has a singularity. We first remove this singularity from the external solution, and then apply the method of boundary functions. The constructed asymptotic expansions are substantiated using the maximum principle, i.e., estimates for the residual functions are obtained.

Предлагается описание сопряженного оператора к оператору, соответствующему линейной многоточечной краевой задаче для квазидифференциального уравнения, обладающее свойствами: исходный и сопряженный к нему оператор действуют из одного и того же рефлексивного банахова пространства в сопряженное банахово пространство; сопряженный оператор также соответствует некоторой линейной многоточечной краевой задаче для квазидифференциального уравнения.

We study multipoint boundary value problems for quasidifferential equations, under certain (broad) assumptions on the coefficients of the equation so that there exists the formally adjoint (in the sense of Lagrange) quasidifferential equation. The operator corresponding to the original boundary value problem is densely defined in a reflexive Banachian space and has closed image in its adjoint; the operator corresponding to the adjoint problem has exactly the same properties. We note that the adjoint boundary value problem is not classical: its solution satisfies the quasidifferential equation only in the open intervals between points in which boundary conditions are specified. These considerations lead us to the notion of the generalized boundary value problem. In particular, we introduce the notion of the generalized Valle-Pousin problem (GVPP), where the number of boundary conditions may exceed the order of the equation by allowing higher quasiderivatives of the solution to be discontinuous at the interior points in which boundary conditions are specified. We also show that the boundary value problem adjoint to GVPP is itself a GVPP.