New Hadamard-type inequalities via $(s,m_{1},m_{2})$-convex functions

The article introduces a new concept of convexity of a function: $(s,m_{1},m_{2})$-convex functions. This class of functions combines a number of convexity types found in the literature. Some properties of $(s,m_{1},m_{2})$-convexities are established and simple examples of functions belonging to this class are given. On the basis of the proved identity, new integral inequalities of the Hadamard type are obtained in terms of the fractional integral operator. It is shown that these results give us, in particular, generalizations of a number of results available in the literature.

New Hadamard-type inequalities via $(s,m_{1},m_{2})$-convex functions

The article introduces a new concept of convexity of a function: $(s,m_{1},m_{2})$-convex functions. This class of functions combines a number of convexity types found in the literature. Some properties of $(s,m_{1},m_{2})$-convexities are established and simple examples of functions belonging to this class are given. On the basis of the proved identity, new integral inequalities of the Hadamard type are obtained in terms of the fractional integral operator. It is shown that these results give us, in particular, generalizations of a number of results available in the literature.

Approximation of value function of differential game with minimal cost

The paper is concerned with the approximation of the value function of the zero-sum differential game with the minimal cost, i.e., the differential game with the payoff functional determined by the minimization of some quantity along the trajectory by the solutions of continuous-time stochastic games with the stopping governed by one player. Notice that the value function of the auxiliary continuous-time stochastic game is described by the Isaacs–Bellman equation with additional inequality constraints. The Isaacs–Bellman equation is a parabolic PDE for the case of stochastic differential game and it takes a form of system of ODEs for the case of continuous-time Markov game. The approximation developed in the paper is based on the concept of the stochastic guide first proposed by Krasovskii and Kotelnikova.

Soft rational line integral

Soft set theory is a new area of mathematics that deals with uncertainties. Applications of soft set theory are widely spread in various areas of science and social science viz. decision making, computer science, pattern recognition, artificial intelligence, etc. The importance of soft set-theoretical versions of mathematical analysis has been felt in several areas of computer science. This paper suggests some concepts of a soft gradient of a function and a soft integral, an analogue of a line integral in classical analysis. The fundamental properties of soft gradients are established. A necessary and sufficient condition is found so that a set can be a subset of the soft gradient of some function. The inclusion of a soft gradient in a soft integral is proved. Semi-additivity and positive uniformity of a soft integral are established. Estimates are obtained for a soft integral and the size of its segment. Semi-additivity with respect to the upper limit of integration is proved. Moreover, this paper enriches the theoretical development of a soft rational line integral and associated areas for better functionality in terms of computing systems.

Liouville type theorems for solutions of semilinear equations on non-compact Riemannian manifolds

It is proved that the Liouville function associated with the semilinear equation $\Delta u -g(x,u)=0$ is identical to zero if and only if there is only a trivial bounded solution of the semilinear equation on non-compact Riemannian manifolds. This result generalizes the corresponding result of S.A. Korolkov for the case of the stationary Schrödinger equation $ \Delta u-q (x) u = 0$. The concept of the capacity of a compact set associated with the stationary Schrödinger equation is also introduced and it is proved that if the capacity of any compact set is equal to zero, then the Liouville function is identically zero.

On solvability of the Dirichlet and Neumann boundary value problems for the Poisson equation with multiple involution

Transformations of the involution type are considered in the space $R^l$, $l\geq 2$. The matrix properties of these transformations are investigated. The structure of the matrix under consideration is determined and it is proved that the matrix of these transformations is determined by the elements of the first row. Also, the symmetry of the matrix under study is proved. In addition, the eigenvectors and eigenvalues of the matrix under consideration are found explicitly. The inverse matrix is also found and it is proved that the inverse matrix has the same structure as the main matrix. The properties of the nonlocal analogue of the Laplace operator are introduced and studied as applications of the transformations under consideration. For the corresponding nonlocal Poisson equation in the unit ball, the solvability of the Dirichlet and Neumann boundary value problems is investigated. A theorem on the unique solvability of the Dirichlet problem is proved, an explicit form of the Green's function and an integral representation of the solution are constructed, and the order of smoothness of the solution of the problem in the Hölder class is found. Necessary and sufficient conditions for the solvability of the Neumann problem, an explicit form of the Green's function, and the integral representation are also found.

On guarantee optimization in control problem with finite set of disturbances

In this paper, we deal with a control problem under conditions of disturbances, which is stated as a problem of optimization of the guaranteed result. Compared to the classical formulation of such problems, we assume that the set of admissible disturbances is finite and consists of piecewise continuous functions. In connection with this additional functional constraint on the disturbance, we introduce an appropriate class of non-anticipative control strategies and consider the corresponding value of the optimal guaranteed result. Under a technical assumption concerning a property of distinguishability of the admissible disturbances, we prove that this result can be achieved by using control strategies with full memory. As a consequence, we establish unimprovability of the class of full-memory strategies. A key element of the proof is a procedure of recovering the disturbance acting in the system, which allows us to associate every non-anticipative strategy with a full-memory strategy providing a close guaranteed result. The paper concludes with an illustrative example.

Structure of singular sets of some classes of subharmonic functions

In this paper, we survey the recent results on removable singular sets for the classes of $m$-subharmonic ($m-sh$) and strongly $m$-subharmonic ($sh_m$), as well as $\alpha$-subharmonic functions, which are applied to study the singular sets of $sh_{m}$ functions. In particular, for strongly $m$-subharmonic functions from the class $L_{loc}^{p}$, it is proved that a set is a removable singular set if it has zero $C_{q,s}$-capacity. The proof of this statement is based on the fact that the space of basic functions, supported on the set $D\backslash E$, is dense in the space of test functions defined in the set $D$ on the $L_{q}^{s}$-norm. Similar results in the case of classical (sub)harmonic functions were studied in the works by L. Carleson, E. Dolzhenko, M. Blanchet, S. Gardiner, J. Riihentaus, V. Shapiro, A. Sadullaev and Zh. Yarmetov, B. Abdullaev and S. Imomkulov.

Infinite Schrödinger networks

Finite-difference models of partial differential equations such as Laplace or Poisson equations lead to a finite network. A discretized equation on an unbounded plane or space results in an infinite network. In an infinite network, Schrödinger operator (perturbed Laplace operator, $q$-Laplace) is defined to develop a discrete potential theory which has a model in the Schrödinger equation in the Euclidean spaces. The relation between Laplace operator $\Delta$-theory and the $\Delta_q$-theory is investigated. In the $\Delta_q$-theory the Poisson equation is solved if the network is a tree and a canonical representation for non-negative $q$-superharmonic functions is obtained in general case.

On some estimation problems for nonlinear dynamic systems

Two problems of nonlinear guaranteed estimation for states of dynamical systems are considered. It is supposed that unknown measurable in $t$ disturbances are linearly included in the equation of motion and are additive in the measurement equations. These disturbances are constrained by nonlinear integral functionals, one of which is analog of functional of the generalized work. The studied problem consists in creation of the information sets according to measurement data containing the true position of the trajectory. The dynamic programming approach is used. If the first functional requires solving a nonlinear equation in partial derivatives of the first order which is not always possible, then for functional of the generalized work it is enough to find a solution of the linear Lyapunov equation of the first order that significantly simplifies the problem. Nevertheless, even in this case it is necessary to impose additional conditions on the system parameters in order for the system trajectory of the observed signal to exist. If the motion equation is linear in state variable, then many assumptions are carried out automatically. For this case the issue of mutual approximation of information sets via inclusion for different functionals is discussed. In conclusion, the most transparent linear quadratic case is considered. The statement is illustrated by examples.