Все выпуски

Пусть $(U,\rho )$ - полное метрическое пространство, ${\mathcal R}^p({\mathbb R},U),$ $p\geqslant 1$, и ${\mathcal R} ({\mathbb R},U)$ - пространства (сильно) измеримых функций $f:{\mathbb R}\to U$, преобразования Бохнера ${\mathbb R}\ni t\mapsto f^B_l(t;\cdot )=f(t+\cdot )$ которых являются рекуррентными функциями со значениями в метрических пространствах $L^p([-l,l],U)$ и $L^1([-l,l], (U,\rho ^{ \prime }))$, где $l>0$ и $(U,\rho^{ \prime })$ - полное метрическое пространство с метрикой $\rho ^{ \prime }(x,y)=\min\{ 1, \rho (x,y)\} ,$ $x, y\in U.$ Аналогично определяются пространства ${\mathcal R}^p({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ и ${\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ функций (многозначных отображений) $F:{\mathbb R}\to {\mathrm {cl}}\,_{ b}\, U$ со значениями в полном метрическом пространстве $({\mathrm {cl}}\,_{ b}\, U, {\mathrm {dist}})$ непустых замкнутых ограниченных подмножеств метрического пространства $(U,\rho )$ с метрикой Хаусдорфа ${\mathrm {dist}}$ (при определении многозначных отображений $F\in {\mathcal R} ({\mathbb R}, {\mathrm {cl}}\,_{ b}\, U)$ рассматривается также метрика ${\mathrm {dist}} ^{ \prime }(X,Y)=\min\{ 1,{\mathrm {dist}}(X,Y)\} ,$ $X, Y\in {\mathrm {cl}}\,_{ b}\, U$). Доказано существование сечений $f\in {\mathcal R} ({\mathbb R},U)$ (соответственно $f\in {\mathcal R}^p ({\mathbb R},U)$) многозначных отображений $F\in {\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ (соответственно $F\in {\mathcal R}^p({\mathbb R}, {\mathrm {cl}}\,_{ b}\, U)$), для которых множества почти периодов подчинены множествам почти периодов многозначных отображений $F$. Для функций $g\in {\mathcal R} ({\mathbb R},U)$ приведены условия существования сечений $f\in {\mathcal R} ({\mathbb R},U)$ и $f\in {\mathcal R}^p ({\mathbb R},U),$ для которых $\rho (f(t),g(t))=\rho (g(t),F(t))$ при п.в. $t\in {\mathbb R}$. В предположении, что для любого $\varepsilon >0$ существует относительно плотное множество общих $\varepsilon $-почти периодов функции $g$ и многозначного отображения $F$, также доказано существование сечений $f\in {\mathcal R} ({\mathbb R},U)$ таких, что $\rho (f(t),g(t))\leqslant \rho (g(t),F(t))+\eta (\rho (g(t),F(t)))$ при п.в. $t\in {\mathbb R}$, где $\eta :[0,+\infty ) \to [0,+\infty )$ - произвольная неубывающая функция, для которой $\eta (0) =0$ и $\eta (\xi )>0$ при всех $\xi >0$, при этом $f\in {\mathcal R}^p ({\mathbb R},U)$ в случае $F\in {\mathcal R}^p({\mathbb R},{\mathrm {cl}}\,_{ b}\, U).$ При доказательстве используется равномерная аппроксимация функций $f\in {\mathcal R} ({\mathbb R},U)$ элементарными функциями из пространства ${\mathcal R} ({\mathbb R},U)$ множества почти периодов которых подчинены множествам почти периодов функций $f$.

Let $(U,\rho )$ be a complete metric space and let ${\mathcal R}^p({\mathbb R},U),$ $p\geqslant 1$, and ${\mathcal R} ({\mathbb R},U)$ be the spaces of (strongly) measurable functions $f:{\mathbb R}\to U$ for which the Bochner transforms ${\mathbb R}\ni t\mapsto f^B_l(t;\cdot )=f(t+\cdot )$ are recurrent functions with ranges in the metric spaces $L^p([-l,l],U)$ and $L^1([-l,l],(U,\rho ^{ \prime }))$ where $l>0$, and $(U,\rho ^{ \prime })$ is the complete metric space with the metric $\rho ^{ \prime }(x,y)=\min \{ 1,\rho (x,y)\} ,$ $x, y\in U.$ Analogously, we define the spaces ${\mathcal R}^p({\mathbb R}, {\mathrm {cl}}\,_{ b}\, U)$ and ${\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ of functions (multivalued mappings) $F:{\mathbb R}\to {\mathrm {cl}}\,_{ b}\, U$ with ranges in the complete metric space $({\mathrm {cl}}\,_{ b}\, U,{\mathrm {dist}})$ of nonempty closed bounded subsets of the metric space $(U,\rho )$ with the Hausdorff metric ${\mathrm {dist}}$ (while defining the multivalued mappings $F\in {\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ the metric ${\mathrm {dist}} ^{ \prime }(X,Y)=\min \{ 1,{\mathrm {dist}}(X,Y)\} ,$ $X, Y\in {\mathrm {cl}}\,_{ b}\, U$, is also considered). We prove the existence of selectors $f\in {\mathcal R} ({\mathbb R},U)$ (accordingly $f\in {\mathcal R}^p({\mathbb R},U)$) of multivalued maps $F\in {\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ (accordingly $F\in {\mathcal R}^p ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$) for which the sets of almost periods are subordinated to the sets of almost periods of multivalued maps $F$. For functions $g\in {\mathcal R} ({\mathbb R},U),$ the conditions for the existence of selectors $f\in {\mathcal R} ({\mathbb R},U)$ and $f\in {\mathcal R}^p({\mathbb R},U)$ such that $\rho (f(t),g(t))=\rho (g(t),F(t))$ for a.e. $t\in {\mathbb R}$ are obtained. On the assumption that the function $g$ and the multivalued map $F$ have relatively dense sets of common $\varepsilon $-almost periods for all $\varepsilon >0$, we also prove the existence of selectors $f\in {\mathcal R} ({\mathbb R},U)$ such that $\rho (f(t),g(t))\leqslant \rho (g(t),F(t))+\eta (\rho (g(t),F(t)))$ for a.e. $t\in {\mathbb R}$, where $\eta :[0,+\infty ) \to [0,+\infty )$ is an arbitrary nondecreasing function for which $\eta (0)=0$ and $\eta (\xi )>0$ for all $\xi >0$, and, moreover, $f\in {\mathcal R}^p({\mathbb R},U)$ if $F\in {\mathcal R}^p({\mathbb R},{\mathrm {cl}}\,_{ b}\, U).$ To prove the results we use the uniform approximation of functions $f\in {\mathcal R} ({\mathbb R},U)$ by elementary functions belonging to the space ${\mathcal R} ({\mathbb R},U)$ which have the sets of almost periods subordinated to the sets of almost periods of the functions $f$.

Исследуется обратная задача определения многомерного ядра интегрального члена, зависящего от временной переменной $t$ и $ (n-1)$-мерной пространственной переменной $x'=\left(x_1,\ldots, x_ {n-1}\right)$ из $n$-мерного уравнения теплопроводности с переменным коэффициентом теплопроводности. Прямую задачу представляет задача Коши для этого уравнения. Интегральный член имеет вид свертки по времени ядра и решения прямой задачи. Дополнительное условие для решения обратной задачи задается решение прямой задачи на гиперплоскости $x_n = 0.$ В начале изучаются свойства решения прямой задачи. Для этого эта задача сводится к решению интегрального уравнения второго порядка вольтерровского типа и к нему применяется метод последовательных приближений. Далее поставленная обратная задача приводится к двум вспомогательным задачам, дополнительное условие второй из них содержит неизвестное ядро вне интеграла. Затем вспомогательные задачи заменяются эквивалентной замкнутой системой интегральных уравнений вольтерровского типа относительно неизвестных функций. Применяя метод сжатых отображений к этой системе в классе гёльдеровских функций доказываем основной результат статьи, который является теоремой локального существования и единственности решения обратной задачи.

The inverse problem of determining a multidimensional kernel of an integral term depending on a time variable $t$ and $ (n-1)$-dimensional spatial variable $x'=\left(x_1,\ldots, x_ {n-1}\right)$ in the $n$-dimensional heat equation with a variable coefficient of thermal conductivity is investigated. The direct problem is the Cauchy problem for this equation. The integral term has the time convolution form of kernel and direct problem solution. As additional information for solving the inverse problem, the solution of the direct problem on the hyperplane $x_n = 0$ is given. At the beginning, the properties of the solution to the direct problem are studied. For this, the problem is reduced to solving an integral equation of the second kind of Volterra-type and the method of successive approximations is applied to it. Further the stated inverse problem is reduced to two auxiliary problems, in the second one of them an unknown kernel is included in an additional condition outside integral. Then the auxiliary problems are replaced by an equivalent closed system of Volterra-type integral equations with respect to unknown functions. Applying the method of contraction mappings to this system in the Hölder class of functions, we prove the main result of the article, which is a local existence and uniqueness theorem of the inverse problem solution.

Для приведенной канонической системы интегро-дифференциальных уравнений вязкоупругости рассмотрены прямая и обратная задачи определения поля скоростей упругих волн и матрицы релаксации. Задачи заменены замкнутой системой интегральных уравнений типа Вольтерра второго рода относительно преобразования Фурье по переменным $x_{1}$ и $x_{2}$ для решения прямой и обратной задачи. Далее к этой системе применяется метод сжимающих отображений в пространстве непрерывных функций с весовой нормой. В работе доказаны теоремы о глобальные существования и единственности решений задач.

For the reduced canonical system of integro-differential equations of viscoelasticity, direct and inverse problems of determining the velocity field of elastic waves and the relaxation matrix are considered. The problems are replaced by a closed system of Volterra integral equations of the second kind with respect to the Fourier transform in the variables $x_{1}$ and $x_{2}$ for the solution of the direct problem and unknowns of the inverse problem. Further, the method of contraction mappings in the space of continuous functions with a weighted norm is applied to this system. Thus, we prove global existence and uniqueness theorems for solutions of the problems.

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

In this paper, we consider a boundary value problem for differential equations of Langevin type with the Caputo fractional derivative in a Banach space. It is assumed that the nonlinear part of the equation is a Caratheodory type map. Equations of this type generalize equations of motion in various kinds of media, for example, viscoelastic media or in media where a drag force is expressed using a fractional derivative. We will use the theory of fractional mathematical analysis, the properties of the Mittag-Leffler function, as well as the theory of measures of non-compactness and condensing operators to solve the problem. The initial problem is reduced to the problem of the existence of fixed points of the corresponding resolving integral operator in the space of continuous functions. We will use Sadovskii type fixed point theorem to prove the existence of fixed points of the resolving operator. We will show that the resolving integral operator is condensing with respect to the vector measure of non-compactness in the space of continuous functions and transforms a closed ball in this space into itself.

В работе доказано, что почти периодические по Безиковичу многозначные отображения со значениями в множестве непустых замкнутых подмножеств полного метрического пространства имеют почти периодические по Безиковичу сечения.

We prove that Besicovitch almost periodic multivalued mappings to the collection of non-empty closed sets of a complete metric space have Besicovitch almost periodic selections.

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

In this paper, an inverse problem for a one-dimensional integro-differential heat equation is investigated with nonlocal initial-boundary and integral overdetermination conditions. We use the Fourier method and the Schauder principle to investigate the solvability of the direct problem. Further, the problem is reduced to an equivalent closed system of integral equations with respect to unknown functions. Existence and uniqueness of the solution of the integral equations are proved using a contractive mapping. Finally, using the equivalency, the existence and uniqueness of the classical solution is obtained.

Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».

The term “predicate unlocking” is understood as the reduction of the problem of finding and studying the set of truth of a predicate to the problem of finding and studying the set of fix points of a map. Predicate unlocking provides opportunities for additional investigation of the truth set and also allows one to build the elements of this set with particular properties. There are examples of nontrivial predicate unlocking such as: the predicate “be a stable (weakly invariant) set”, the predicate “be a nonanticipatory selector”, the predicate “be a saddle point”, and the predicate “be a Nash equilibrium”. In these cases, the question of the a priori evaluation of the possibility of unlocking this or other predicate of interest and the question of constructing a corresponding unlocking map remained beyond consideration: the unlocking mappings were provided as ready-made objects. In this note we try to partly close this gap: we provide a formal definition of the predicate unlocking operation, methods for constructing and calculating of the unlocking mappings and their basic properties. As an illustration, the “routine” construction of unlocking mapping for the predicate “be a Nash equilibrium” is carried out. The described approach is far from universality, but, at least, it can be applied to all aforementioned positive examples.

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

Time-periodic perturbations of an asymmetric pendulum-type equation close to an integrable standard equation of a mathematical pendulum are considered. For an autonomous equation, the problem of limit cycles, which reduces to the study of the Poincaré-Pontryagin generating functions, is solved. A partition of the parameter plane into domains with different behavior of the phase curves is constructed. Basic phase portraits for each domain of the obtained partition are given. For a nonautonomous equation, the question of the structure of the resonance zones, to which the solution of the problem of synchronization of oscillations leads, is studied. Averaged equations of the pendulum type, describing the behavior of solutions of the original equation in individual resonance zones, are calculated and analyzed. The global behavior of solutions in cells that do not contain small neighborhoods of unperturbed separatrices is ascertained. Using the analytical Melnikov method and numerical modeling, the basic bifurcations of the nonautonomous equation associated with the appearance of nonrough homoclinic curves are studied. On the plane of the main parameters, a bifurcation diagram for the Poincaré map generated by the original equation, describing different types of homoclinic tangencies of the separatrices of the saddle fixed point, is constructed. Homoclinic zones (those domains of parameters for which homoclinic trajectories to the saddle fixed point exist) with nonsmooth bifurcation boundaries are found.

Прямая Зоргенфрея – это вещественная прямая с топологией, база которой состоит из всех полуинтервалов, открытых справа. В работе доказывается, что при натуральных m > 1 не существует непрерывного замкнутого отображения m-й степени прямой Зоргенфрея на саму прямую Зоргенфрея, и что при натуральных n > 2 не существует непрерывного факторного отображения квадрата прямой Зоргенфрея на n-ю степень прямой Зоргенфрея.

The Sorgenfrey line is the real line with topology whose base consists of all left half-open intervals. It is shown that for integers m > 1 there is no continuous closed map of m th power of the Sorgenfrey line onto Sorgenfrey line, and that for integers n > 2 there is no continuous quotient map of the square of the Sorgenfrey line onto the n th power of the Sorgenfrey line.