A problem with a nonlocal,with respect to time,condition for multidimensional hyperbolic equations

We study a boundary-value problem for a hyperbolic equation with a nonlocal with respect to time-variable integral condition. We obtain sufficient conditions for unique solvability of the nonlocal problem. The proof is based on reduction of the nonlocal first-type condition to the second-type one. This allows to reduce the nonlocal problem to an operator equation. We show that unique solvability of the operator equation implies the existence of a unique solution to the problem.     

On a boundary value problem with shift for an equation of mixed type in an unbounded domain

We study the unique solvability of a problem with shift for an equation of mixed type in an unbounded domain. We prove the uniqueness theorem under inequality-type constraints for known functions for various orders of the fractional differentiation operators in the boundary condition. The existence of a solution is proved by reduction to a Fredholm equation of the second kind, whose unconditional solvability follows from the uniqueness of the solution of the problem.     

On the inverse problem of determining the right-hand side of a parabolic equation under an integral overdetermination condition

We study the unique solvability of the inverse problem of determining the righthand side of a parabolic equation whose leading coefficient depends on both the time and the spatial variable under an integral overdetermination condition with respect to time. We obtain two types of condition sufficient for the local solvability of the inverse problem as well as study the so-called Fredholm solvability of the inverse problem under consideration.Translated from Matematicheskie Zametki, vol. 77, no. 4, 2005, pp. 522–534.Original Russian Text Copyright © 2005 by V. L. Kamynin.This revised version was published online in April 2005 with a corrected issue number.     

Local solvability of the prime radical of a weakly artinian Lie algebra

We prove the local solvability of the prime radical of a Lie algebra with descending chain condition for the ideals. We note that an analog of this statement holds also for the graded Ω-groups with finiteness condition.     

Local solvability of control systems with mixed constraints

We analyze the local solvability of a control system with mixed constraints and control constraints. We obtain a sufficient condition for the local solvability of the control system under the assumption of smoothness and 2-regularity of the mapping g specifying the mixed constraints. For the case in which the mapping g is not smooth, a sufficient condition for the local solvability is obtained under the assumption of coverability of g.     

On the Unique Solvability of an Inverse Problem for Parabolic Equations under a Final Overdetermination Condition

We consider the unique solvability of the inverse problem of determining the right-hand side of a parabolic equation with the leading coefficient depending on time and space variables under a final overdetermination condition. We obtain two types of conditions that are sufficient for the local solvability of the inverse problem and also prove the so-called Fredholm solvability of the inverse problem under study.     

Solvability conditions for the difference equations with an initial condition in a subspace

We obtain necessary and sufficient conditions for the solvability of difference equations in a Banach space of vector sequences with an initial condition in a subspace.     

An analog of the Tricomi problem with a nonlocal integral conjugate condition

We prove the unique solvability of an analog of the Tricomi problem for an elliptic-hyperbolic equation with a nonlocal integral conjugate condition on the characteristic line.     

An iterative method for solving absolute value equations and sufficient conditions for unique solvability

We describe an iterative method for solving absolute value equations. The result gives a sufficient condition for unique solvability of these equations for arbitrary right-hand sides. This sufficient condition is compared with that one by Mangasarian and Meyer.     

Solvability of a Boundary Value Problem for a Differential Equation of the Boussinesq Type

We study the solvability and the construction of the solution of a boundary value problem with a nonlocal integral boundary condition for a three-dimensional analog of the fourth-order homogeneous Boussinesq type differential equation. Separation of variables is used to derive a criterion for the unique solvability of this nonlocal problem. The problem is also considered in the case of violation of the unique solvability criterion.     

Solvability of a class of integro-differential equations and connections to one-dimensional inverse problems

A new approach to one-dimensional inverse problem was recently introduced by Barry Simon. We continue the study on an intermediate object A, which satisfies a nonlinear integro-differential equation. We prove local solvability of this A-equation and find a necessary condition for global solvability. Some exact solutions are presented.     

On the global solvability of the Cauchy problem for an infinite system of differential equations

We consider the Cauchy problem for the semi-infinite Volterra lattice with an asymptotically 2-periodic initial condition. We prove the global solvability of the problem in some class.     

Volterra integral equations and evolution equations with an integral condition

We suggest a simple method for reducing problems with an integral condition for evolution equations to a Volterra integral equation of the first kind. For Volterra equations of the convolution type, we indicate necessary and sufficient solvability conditions for the case in which the right-hand side lies in some classes of functions of finite smoothness. We use these conditions to construct examples of nonexistence of a local solution for the heat equation with an integral condition.     

Solvability of a boundary-value problem with an integral boundary condition of the second kind for equations of odd order

We study the solvability of a boundary-value problem for equations of odd order subject to a boundary condition relating the values of the conormal derivative with those of an integral operator applied to the solution. We prove the existence and uniqueness theorems for regular solutions.     

On Summary Equation Generated by a Quadrangle

We investigate a four-element functional equation in a class of solutions holomorphic outside a quadrangle and vanishing at infinity. We propose equivalent regularization method of such quadrangles. We construct examples with only single condition of solvability for such an equation. We show applications to moments problem for entire functions of exponential type.     

On the nonuniqueness of the solution of a mixed boundary value problem for the Laplace equation

We study the solvability of the mixed boundary value problem for the Laplace equation with three distinct boundary conditions, two of which include two directional derivatives with distinct tilt angles and the remaining one is the first boundary condition. An example of a nontrivial solution of the homogeneous problem is given, and conditions under which the problem has a unique solution are established. The solvability of the problem with a nonhomogeneous first boundary condition is studied.     

Global solvability on the torus for certain classes of formally self-adjoint operators

In this paper we prove a necessary and sufficient condition for global solvability on the torus for two classes of formally self-adjoint operators. For the first class of operators we prove that global solvability is equivalent to an algebraic condition involving Liouville vectors and simultaneous approximability. For the second class of operators, when the coefficients are not identically zero, an independence condition on the coefficients is shown to be necessary and sufficient for global solvability. Received: 21 June 1999 / Revised version: 8 May 2000     

Nonlocal problem with integral conditions for a system of hyperbolic equations in characteristic rectangle

We consider a nonlocal problem with integral conditions for a system of hyperbolic equations in rectangular domain. We investigate the questions of existence of unique classical solution to the problemunder consideration and approaches of its construction. Sufficient conditions of unique solvability to the investigated problem are established in the terms of initial data. The nonlocal problem with integral conditions is reduced to an equivalent problem consisting of the Goursat problem for the system of hyperbolic equations with functional parameters and functional relations. We propose algorithms for finding a solution to the equivalent problem with functional parameters on the characteristics and prove their convergence. We also obtain the conditions of unique solvability to the auxiliary boundary-value problem with an integral condition for the system of ordinary differential equations. As an example, we consider the nonlocal boundary-value problem with integral conditions for a two-dimensional system of hyperbolic equations.     

Tropical differential equations

Tropical differential equations are introduced and an algorithm is designed which tests solvability of a system of tropical linear differential equations within the complexity polynomial in the size of the system and in the absolute values of its coefficients. Moreover, we show that there exists a minimal solution, and the algorithm constructs it (in case of solvability). This extends a similar complexity bound established for tropical linear systems. In case of tropical linear differential systems in one variable a polynomial complexity algorithm for testing its solvability is designed.We prove also that the problem of solvability of a system of tropical non-linear differential equations in one variable is NP-hard, and this problem for arbitrary number of variables belongs to NP. Similar to tropical algebraic equations, a tropical differential equation expresses the (necessary) condition on the dominant term in the issue of solvability of a differential equation in power series.     

Oblique derivative problem for nonlinear elliptic discontinuous operators in the plane with quadratic growth

Our aim is to study the oblique derivative problem for a class of nonlinear differential operators in the plane with quadratic growth. We assume the discontinuous operators to satisfy Carathéodory's condition and a suitable ellipticity condition. Under some geometrical conditions we prove strong solvability of the problem under consideration. The main tool in the proof is Leray-Schauder fixed point theorem, that reduces the solvability of the problem to the establishment of a priori estimate, by means of a step by step procedure.