Все выпуски

Статья посвящена теории полуколец и полутел. Вводится и изучается понятие образующей полутела. Показано, что любое полутело вкладывается в полутело с образующей. Дана спектральная характеризация полутел с образующей.

The article deals with the theory of semirings and semifields. The definition of semifield's generator is given. It is shown that any semifield is embedded into a semifield with generator. Spectral characteristics of semifield with generator are also given.

Изучаются свойства дискретной вариационной задачи динамической аппроксимации в комплексном евклидовом (L + 1)-мерном пространстве E. Она обобщает известные задачи среднеквадратической полиномиальной аппроксимации функций, заданных своими отсчетами в конечном интервале. В рассматриваемой задаче аппроксимация последовательности y = {y_i}_L⁰ отсчетов функции y(t) ∈ L²[0, T], T = Lh на сетке I_h осуществляется решениями однородных линейных дифференциальных или разностных уравнений заданного порядка n с постоянными, но, возможно, неизвестными коэффициентами. Тем самым показано, что в последнем случае задача аппроксимации включает в себя и задачу идентификации. Анализ ее особенностей - основная тема статьи. Ставится задача нахождения вектора коэффициентов  разностного уравнения Σ_n⁰ ŷ_i+k α_i = 0, где k = 0,L − n. Оптимизируются коэффициенты  и начальные условия переходного процесса y этого уравнения. Цель оптимизации - наилучшая аппроксимация исследуемого динамического процесса y ∈ E. Критерий аппроксимации  минимум величины ||y − ŷ||²_E. Показано, что изучаемая вариационная задача сводится к задачам проектирования в E вектора y на ядра разностных операторов с неизвестными коэффициентами α ∈ ω ⊂ S ⊂ Eⁿ⁺¹. Здесь α - направление, S - сфера или гиперплоскость. Показана связь изучаемой задачи с задачами дискретизации и идентифицируемости. Тогда координаты вектора y ∈ E есть точное решение дифференциального уравнения на сетке I_h и y = ŷ. Дано сравнение изучаемой задачи вариационной идентификации с алгебраическими методами идентификации. Показано, что ортогональные дополнения к ядрам разностных операторов всегда имеют теплицев базис. Это приводит к быстрым проекционным алгоритмам вычислений. Показано, что задача нахождения оптимального вектора α сводится к задаче безусловной минимизации функционала идентификации, зависящего от направления  в Eⁿ⁺¹. Предложена итерационная процедура его минимизации на сфере с широкой областью и высокой скоростью сходимости. Изучаемую вариационную задачу можно применять при математическом моделировании в управлении и научных исследованиях. При этом на конечных интервалах может использоваться, в частности, возможность кусочно-линейной динамической аппроксимации сложных динамических процессов разностными и дифференциальными уравнениями указанного типа.

Some properties of the discrete variational problem of the dynamic approximation in the complex Euclidean (L + 1)-dimensional space are studied here. It generalizes familiar problems of the mean square polynomial approximation of the functions given on the finite interval in accordance with their references. In the problem under consideration sequence approximation y = {y_i}_L⁰ of the references of the function y(t) ∈ L²[0, T], T = Lh on the lattice I_h is achieved by solving homogeneous linear differential equations or difference equations of the given order n with constant but possibly unknown coefficients. Thus, it is shown that in the latter case the approximation problem also includes the identification problem. The analysis of its properties is the main subject of the article. The problem is set to find vector of coefficients  of difference equation Σ_n⁰ ŷ_i+k α_i = 0, where k = 0,L − n. Coefficients  and initial conditions of the transient process by of this equation are optimized. The optimization purpose is to achieve the best approximation of the dynamic process y ∈ E being considered here. The approximation criterion is a minimum of the quantity ||y − ŷ||²_E. The variational problem under study is shown to be reduced to the problem of projecting vector y in E on the kernels of the difference operators with unknown coefficients  α ∈ ω ⊂ S ⊂ Eⁿ⁺¹, where  is a direction, S is a sphere or a hyperplane. The problem under study is shown to be related to the problems of the discretization and identifiability. In this case vector coordinates y ∈ E is an exact solution of differential equation on the lattice I_h and y = ŷ. The problem of the variational identification is compared with algebraic methods of identification. The orthogonal complement to the kernels of the difference operators are shown to always have Toeplitz basis. This results in fast projecting algorithms of computation. The problem of finding optimal vector α is shown to be reduced to the problem of the absolute minimization of the identification functional depending on the direction  in Eⁿ⁺¹. The iterative procedure of its minimization on a sphere with wide domain and high speed of convergence is presented here. The variational problem considered here can be applied in mathematical modeling for control problem and research purposes. On the finite intervals, for example, it is possible to use piecewise-linear dynamic approximations of the complex dynamic processes with difference and differential equations of the specified type.

Исследуется обратная задача определения многомерного ядра интегрального члена, зависящего от временной переменной $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.

В ограниченной по переменной $z$ области, имеющей слабо горизонтальную неоднородность, исследуется задача определения сверточного ядра $k(t,x)$, $t>0$, $x\in {\Bbb R}$, входящего в гиперболическое интегро-дифференциальное уравнение второго порядка. Предполагается, что это ядро слабо зависит от переменной $x$ и разлагается в степенной ряд по степеням малого параметра $\varepsilon$. Построен метод нахождения первых двух коэффициентов $k_{0}(t)$, $k_{1}(t)$ этого разложения по заданным первым двум моментам по переменной $x$ решения прямой задачи при $z=0$.

The problem of determining the convolutional kernel $k(t,x)$, $t>0$, $x \in {\Bbb R}$, included in a hyperbolic integro-differential equation of the second order, is investigated in a domain bounded by a variable $z$ and having weakly horizontal heterogeneity. It is assumed that this kernel weakly depends on the variable $x$ and decomposes into a power series by degrees of a small parameter $\varepsilon$. A method for finding the first two coefficients $k_{0}(t)$, $k_{1}(t)$ of this expansion is constructed according to the given first two moments in the variable $x$ of the solution of the direct problem at $z=0$.

В статье рассмотрены задачи, связанные с разложением регулярной кватернион-функции в обобщенные ряды Тейлора и Лорана. Обобщенный ряд Тейлора для регулярной кватернион-функции получен путем разложения ядра Коши в 4-мерном гипершаре в алгебре кватернионов и в системе гиперсферических координат. Обобщенный ряд Лорана для регулярной кватернион-функции получен путем разложения ядра Коши во внешности 4-мерного гипершара в алгебре кватернионов и в системе гиперсферических координат. На основе полученных решений при рассмотрении разложения регулярной кватернион-функции в бесконечно малом шаре, который ограничен 3-сферой, задано правило определения вычета регулярной кватернион-функции в алгебре кватернионов и в системе гиперсферических координат относительно изолированной особой точки. Также найдено разложение мероморфной кватернион-функции в степенной ряд.

This article deals with the tasks associated with the decomposition of a regular quaternion function into generalized Taylor and Laurent series. The generalized Taylor series for a regular quaternion function were obtained by the decomposition of the Cauchy kernel in a 4-dimensional hyperball in the algebra of quaternions and the hyperspherical coordinate system. The generalized Laurent series for a regular quaternion function were obtained by the decomposition of the Cauchy kernel in the exterior of a 4-dimensional hyperball in the algebra of quaternions and the hyperspherical coordinate system. On the basis of the obtained solutions by considering the decomposition of a regular quaternion function in an infinitely small ball that is restricted by the 3-sphere, we set the rule to determine the deduction of a regular quaternion function in the algebra of quaternions and the hyperspherical coordinate system regarding the isolated singular point. In addition, the decomposition of a meromorphic quaternion function into the power series was found.

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

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

Обсуждается возможность восстановления аппроксимирующего дефекта квазиинтеграла, - дефекта, порождающего аппроксимируемые решения импульсной системы.

In previous article we defined the concept of quasi-integral for two regulated functions on the interval and the special parameter, called ¾defect¿. If there is the Riemann–Stieltjes integral, then for any defect there is a quasi-integral, and they are all equal. The Perron–Stieltjes integral, if it exists, coincides with one of quasi-integrals where the defect is defined in a special way.

In the present article the theorem of existence and uniqueness of solution for a quasi-integral equation with a constant matrix is proved. System’s kernel is a scalar piecewise continuous function of bounded variation. Components of the equation are regulated functions, spectral parameter is a regular number. Under certain conditions a quasi-integral equation can be interpreted as an impulse system. An explicit representation for the solution of a quasi-integral homogeneous equation is given. For an absolutely regular spectral parameter, the analogue of the Cauchy matrix is defined, its properties are investigated and the explicit representation for the solution of the nonhomogeneous quasi-integral equation in the Cauchy form is given. Similar results are obtained for the adjoint and associated equations.

We discussed the possibility of restoration of the approximating defect of quasi-integral, which is defect generating approximated solutions of the impulse system.

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

The third-type matrix ball and the generalized Lie ball that are connected with classical domains play a crucial role in the theory of several complex variable functions. In this paper the volumes of the third type matrix ball and the generalized Lie ball are calculated. The full volumes of these domains are necessary for finding kernels of integral formulas for these domains (kernels of Bergman, Cauchy-Szegö, Poisson etc.). In addition, it is used for the integral representation of a function holomorphic on these domains, in the mean value theorem and other important concepts. The results obtained in this article are the general case of results of Hua Lo-ken and his results in particular cases coincides with our results.

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

In this paper, we consider a singular Volterra type integral equation of the second kind, to which some boundary value problems of heat conduction in domains with a boundary varying with time are reduced by the method of thermal potentials. The peculiarity of such problems is that the domain degenerates into a point at the initial moment of time. Accordingly, a distinctive feature of the integral equation under study is that the integral of the kernel, as the upper limit of integration tends to the lower one, is not equal to zero. This circumstance does not allow solving this equation by the method of successive approximations. We constructed the general solution of the corresponding characteristic equation and found the solution of the complete integral equation by the Carleman–Vekua method of equivalent regularization. It is shown that the corresponding homogeneous integral equation has a nonzero solution.

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

In the present paper, two non-local initial-boundary value problems have been formulated for a partial differential equation of high even order with a Bessel operator in a rectangular domain. The correctness of one of the considered problems has been investigated. To do this, applying the method of separation of variables to the problem under consideration, the spectral problem was obtained for an ordinary differential equation of high even order. The self-adjointness of the last problem was proved, which implies the existence of the system of its eigenfunctions, as well as orthonormality and completeness of this system. Further, the Green's function of the spectral problem was constructed, with the help of which it was equivalently reduced to the Fredholm integral equation of the second kind with symmetrical kernel. Using this integral equation and Mercer's theorem, the uniform convergence of some bilinear series depending on found eigenfunctions has been studied. The order of the Fourier coefficients was established. The solution of the considered problem has been written as the sum of a Fourier series with respect to the system of eigenfunctions of the spectral problem. The uniform convergence of this series and also the series obtained from it by term-by-term differentiation was proved. Using the method of spectral analysis, the uniqueness of the solution of the problem was proved. An estimate for the solution of the problem was obtained, from which its continuous dependence on the given functions follows.

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

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.