Все выпуски

Работа посвящена вопросу об абсолютной непрерывности спектра двумерного обобщенного периодического оператора Шрёдингера $H_g+V=-\nabla g\nabla+V$, где непрерывная положительная функция $g$ и скалярный потенциал $V$ имеют общую решетку периодов $Λ$. Решения уравнения $(H_g+V)\varphi=0$ определяют, в частности, электрическое и магнитное поля для электромагнитных волн, распространяющихся в двумерных фотонных кристаллах. При этом функция $g$ и скалярный потенциал $V$ выражаются через диэлектрическую проницаемость $\varepsilon$ и магнитную проницаемость $\mu$ ($V$ также зависит от частоты электромагнитной волны). Диэлектрическая проницаемость $\varepsilon$ может быть разрывной функцией (и обычно выбирается кусочно-постоянной), поэтому возникает задача об ослаблении известных условий гладкости для функции $g$, обеспечивающих абсолютную непрерывность спектра оператора $H_g+V$. В настоящей работе предполагается, что коэффициенты Фурье функций $g^{\pm\frac12}$ при некотором $q\in[1, \frac43)$ удовлетворяют условию $\sum\left(|N|^\frac12\left|\left(g^{\pm\frac12}\right)_N\right|\right)^q<+\infty$ и скалярный потенциал $V$ имеет нулевую грань относительно оператора $-Δ$ в смысле квадратичных форм. Пусть $K$ - элементарная ячейка решетки $Λ$, $K^*$ - элементарная ячейка обратной решетки $\Lambda^*$. Оператор $H_g+V$ унитарно эквивалентен прямому интегралу операторов $H_g(k)+V$, где $k$ - квазиимпульс из $2\pi K^*$, действующих в $L^2(K)$. Последние операторы можно также рассматривать при комплексных векторах $k+ik'\in \mathbb{C}^2$. В статье используется метод Томаса. Доказательство абсолютной непрерывности спектра оператора $H_g+V$ сводится к доказательству обратимости операторов $H_g(k+ik')+V-\lambda$, $\lambda\in \mathbb{R}$, при определенным образом выбираемых комплексных векторах $k+ik'\in \mathbb{C}^2$ (зависящих от $g$, $V$ и числа $\lambda$) с достаточно большой мнимой частью $k'$.

The paper is concerned with the problem of absolute continuity of the spectrum of the two-dimensional generalized periodic Schrodinger operator $H_g+V=-\nabla g\nabla+V$ where the continuous positive function $g$ and the scalar potential $V$ have a common period lattice $\Lambda$. The solutions of the equation $(H_g+V)\varphi=0$ determine, in particular, the electric field and the magnetic field of electromagnetic waves propagating in two-dimensional photonic crystals. The function $g$ and the scalar potential $V$ are expressed in terms of the electric permittivity $\varepsilon$ and the magnetic permeability $\mu$ ($V$ also depends on the frequency of the electromagnetic wave). The electric permittivity $\varepsilon$ may be a discontinuous function (and usually it is chosen to be piecewise constant) so the problem to relax the known smoothness conditions on the function $g$ that provide absolute continuity of the spectrum of the operator $H_g+V$ arises. In the present paper we assume that the Fourier coefficients of the functions $g^{\pm\frac12}$ for some $q\in[1, \frac43)$ satisfy the condition $\sum\left(|N|^\frac12\left|\left(g^{\pm\frac12}\right)_N\right|\right)^q<+\infty$, and the scalar potential $V$ has relative bound zero with respect to the operator $-\Delta$ in the sense of quadratic forms. Let $K$ be the fundamental domain of the lattice $\Lambda$, and assume that $K^*$ is the fundamental domain of the reciprocal lattice $\Lambda^*$. The operator $H_g+V$ is unitarily equivalent to the direct integral of operators $H_g(k)+V$, with quasimomenta $k\in 2\pi K^*$, acting on the space $L^2(K)$. The last operators can be also considered for complex vectors $k+ik'\in \mathbb{C}^2$. We use the Thomas method. The proof of absolute continuity of the spectrum of the operator $H_g+V$ amounts to showing that the operators $H_g(k+ik')+V-\lambda$, $\lambda\in \mathbb{R}$, are invertible for some appropriately chosen complex vectors $k+ik'\in \mathbb{C}^2$ (depending on $g$, $V$, and the number $\lambda$) with sufficiently large imaginary parts $k'$.

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

In the present paper, an inverse boundary value problem of thermal conduction is formulated, posed and solved, provided that the thermal diffusivity is piecewise constant. This task holds a prominent place in technology, since thermally loaded units of technical constructions are covered with a heat insulating layer, the thermal characteristics of which are very different from the thermal characteristics of the structure itself. Such tasks are used in the planning of bench tests of aircraft. Modern composite materials solve this problem, giving developers a number of advantages. In rocket engines, the inner wall of the internal combustion chamber is covered with a heat-shielding layer, which is made of composite materials. Due to the properties of these materials, the heat-shielding layer significantly reduces the temperature of the internal combustion wall. When solving an inverse boundary problem, it is necessary to take into account the difference in the thermal conductivity coefficients of the component parts of composite materials, which make the wall of the chamber. The problem was investigated using a Fourier series in eigenfunctions for an equation with a discontinuous coefficient. It is proved that for the solution of the inverse problem the Fourier transform with respect to $t$ is applicable. To solve the inverse problem, the Fourier transform was used, which made it possible to reduce the inverse problem to the operator equation, which was solved by the discrepancy method.

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

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.

Математическое моделирование композиционных материалов играет важную роль в современной технике, а решение и исследование обратных граничных задач теплообмена невозможно без использования систем собственных функций задачи Штурма-Лиувилля для дифференциального уравнения с разрывными коэффициентами. Одним из важнейших свойств таких систем является их полнота в соответствующих пространствах. Это свойство систем позволяет доказать теоремы существования и единственности как для прямых задач, так и обратных граничных задач теплопроводности, а также обосновать численные методы решения таких задач. В настоящей статье доказана полнота в пространстве $L_2[r_0,r_2]$ задачи Штурма-Лиувилля для дифференциального оператора второго порядка с разрывным коэффициентом. Эта задача возникает при исследовании и решении обратной граничной задачи теплопроводности для полого шара, состоящего из двух шаров с различными коэффициентами температуропроводности. Доказана самосопряженность, инъективность, а также положительная определенность этого оператора.

Mathematical modeling of composite materials plays an important role in modern technology, and the solution and study of inverse boundary value problems of heat transfer is impossible without the use of systems of eigenfunctions of the Sturm-Liouville problem for the differential equation with discontinuous coefficients. One of the most important properties of such systems is their completeness in the corresponding spaces. This property of systems allows to prove theorems of existence and uniqueness of both direct problems and inverse boundary value problems of thermal conductivity, and also to prove numerical methods of solving such problems. In this paper, we prove the completeness of the Sturm-Liouville problem in the space $L_2[r_0,r_2]$ for a second-order differential operator with a discontinuous coefficient. This problem arises when investigating and solving the inverse boundary problem of thermal conductivity for a hollow ball consisting of two balls with different temperature conductivity coefficients. Self-conjugacy, injectivity, and positive definiteness of this operator are proved.

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

A nonlinear mechanical system, whose dynamics is described by a vector ordinary differential equation of the Lienard type, is considered. It is assumed that the coefficients of the equation can switch from one set of constant values to another, and the total number of these sets is, in general, infinite. Thus, piecewise constant functions with infinite number of break points on the entire time axis, are used to set the coefficients of the equation. A method for constructing a discontinuous Lyapunov function is proposed, which is applied to obtain sufficient conditions of the asymptotic stability of the zero equilibrium position of the equation studied. The results found are generalized to the case of a nonstationary Lienard equation with discontinuous coefficients of a more general form. As an auxiliary result of the work, some methods for analyzing the question of sign-definiteness and approaches to obtaining estimates for algebraic expressions, that represent the sum of power-type terms with non-stationary coefficients, are developed. The key feature of the study is the absence of assumptions about the boundedness of these non-stationary coefficients or their separateness from zero. Some examples are given to illustrate the established results.

Продолжаются исследования автора по теории правильных функций и *-интеграла. Изучается возможность представления правильной функции в виде суммы непрерывной справа и непрерывной слева функций ($rl$-представимости). Доказывается предельная теорема для *-интеграла, позволяющая приближать разрывные интегрируемую и интегрирующую функции последовательностями абсолютно непрерывных функций. Доказана новая теорема о $\delta$-корректности решения обыкновенного линейного дифференциального уравнения с обобщенными функциями в коэффициентах, определяемого с помощью квазидифференциального уравнения. Получена формула для вычисления полной вариации неопределенного *-интеграла от $\sigma$-непрерывной функции по функции ограниченной вариации, обобщающая известную формулу для полной вариации абсолютно непрерывной функции. Формула интересна и в случае неопределенного $RS$-интеграла.

This work continues the author's research on the theory of regulated functions and *-integral. The possibility to express a regulated function as a sum of right-continuous and left-continuous functions (called $rl$-representation) is studied. A limit theorem for the *-integral is proved. It allows approximating discontinuous integrands and integrators by sequences of absolutely continuous functions. A new result on $\delta$-correctness of the solution of an ordinary linear differential equation with generalized functions in coefficients is proved. This solution is defined via a quasi-differential equation. A formula for the total variation of an indefinite *-integral of a $\sigma$-continuous function with respect to a function of bounded variation is given. It generalizes the well-known formula for computing the total variation of an absolutely continuous function. The formula is also interesting in the case of an indefinite $RS$-integral.

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

The paper deals with non-local boundary-value problems with shift and discontinuous conjugation conditions in the line of type changing for a model loaded hyperbolic-parabolic type equation. The parabolic domain presents a fractional diffusion equation while the hyperbolic one presents a characteristically loaded wave equation. The uniqueness of the solution to the considered problems under certain conditions on the coefficients is proved by the Tricomi method. The existence of the solution involves solving the Fredholm integral equation of the second kind with respect to the trace of the sought solution in the line of type changing. The unique solvability of the integral equation implies the uniqueness of the solution to the problems. Once the integral equation is solved, the solution to the problems is reduced to solving the first boundary value problem for the fractional diffusion equation in the parabolic domain and the Cauchy problem for the inhomogeneous wave equation in the hyperbolic one. In addition, representation formulas are written out for solving the problems under study in the parabolic and hyperbolic domains.