


Vol 58, No 12 (2018)
- Year: 2018
- Articles: 16
- URL: https://journals.rcsi.science/0965-5425/issue/view/11221
Article
Feedback Synthesis for a Terminal Control Problem
Abstract
A terminal control problem with linear controlled dynamics on a fixed time interval is considered. A boundary value problem in the form of a linear programming problem is stated in a finite-dimensional terminal space at the right endpoint of the interval. The solution of this problem implicitly determines a terminal condition for the controlled dynamics. A saddle-point approach to solving the problem is proposed, which is reduced to the computation a saddle point of the Lagrangian. The approach is based on saddle-point inequalities in terms of primal and dual variables. These inequalities are sufficient optimality conditions. A method for computing a saddle point of the Lagrangian is described. Its monotone convergence with respect to some of the variables on their direct product is proved. Additionally, weak convergence with respect to controls and strong convergence with respect to phase and adjoint trajectories and with respect to terminal variables of the boundary value problem are proved. The saddle-point approach is used to synthesize a feedback control in the case of control constraints in the form of a convex closed set. This result is new, since, in the classical case of the theory of linear regulators, a similar assertion is proved without constraints imposed on the controls. The theory of linear regulators relies on matrix Riccati equations, while the result obtained is based on the concept of a support function (mapping) for the control set.



Extragradient Method for Correction of Inconsistent Linear Programming Problems
Abstract
For a pair of dual inconsistent linear programming problems, the existence and uniqueness of a correction vector that is optimal in the norm is proved. It is shown that the correction problem is reduced to the problem of finding a saddle point of a regularized Lagrange function. A modified extragradient method is proposed for solving the latter problem, and its convergence is proved.






Existence Conditions of Negative Eigenvalues in the Regular Sturm–Liouville Boundary Value Problem and Explicit Expressions for Their Number
Abstract
For the regular Sturm–Liouville boundary value problem with general nonseparated self-adjoint boundary conditions, conditions for the existence of zero and negative eigenvalues and expressions for their number are obtained. The conditions are expresses in a closed form, and the coefficient functions of the original equation appear in these conditions indirectly through a single numerical characteristic.



The Behavior of Solutions to a Special Abel Equation of the Second Kind near a Nodal Singular Point
Abstract
The propagation of a diffusion–reaction plane traveling wave (for example, a flame front), the charge distribution inside a heavy atom in the Thomas–Fermi model, and some other models in natural sciences lead to bounded solutions of a certain autonomous nonlinear second-order ordinary differential equation reducible to an Abel equation of the second kind. In this study, a sufficient condition is obtained under which all solutions to a special second-kind Abel equation that pass through a nodal singular point of the equation can be represented by a convergent power series (in terms of fractional powers of the variable) in a neighborhood of this point. Under this condition, new parametric representations of bounded solutions to the corresponding autonomous nonlinear equation are derived. These representations are efficient for numerical implementation.



Reaction–Diffusion Equations in Immunology
Abstract
The paper is devoted to the recent works on reaction–diffusion models of virus infection dynamics in human and animal organisms. Various regimes of infection propagation in tissues are described. In particular, it is shown that infection can spread in tissues of organs as a reaction–diffusion wave. Methods for studying the conditions of the existence of wave modes of the time and space dynamics of infections is discussed.



Exact Solutions of Equations of a Nonstationary Front with Equilibrium Points of a Fractional Order
Abstract
A family of exact solutions of an evolution equation describing the combustion process in a medium with a power-law temperature dependence of the source density is found. A formal asymptotics of the solution of the initial boundary value problem for the reaction–diffusion equation is constructed. The correctness of the partial sum of an asymptotic series is proved using the method of differential inequalities.



Existence, Asymptotics, Stability and Region of Attraction of a Periodic Boundary Layer Solution in Case of a Double Root of the Degenerate Equation
Abstract
For a singularly perturbed parabolic problem with Dirichlet conditions we prove the existence of a solution periodic in time and with boundary layers at both ends of the space interval in the case that the degenerate equation has a double root. We construct the corresponding asymptotic expansion in the small parameter. It turns out that the algorithm of the construction of the boundary layer functions and the behavior of the solution in the boundary layers essentially differ from that ones in case of a simple root. We also investigate the stability of this solution and the corresponding region of attraction.



On Inverse Problems for Strongly Degenerate Parabolic Equations under the Integral Observation Condition
Abstract
Existence and uniqueness theorems for inverse problems of determining the right-hand side and lowest coefficient in a degenerate parabolic equation with two independent variables are proved. It is assumed that the leading coefficient of the equation degenerates at the side boundary of the domain and the order of degeneracy with respect to the variable \(x\) is not lower than 2. Thus, the Black–Scholes equation, well-known in financial mathematics, is admitted. These results are based on the study of the unique solvability of the corresponding direct problem, which is also of independent interest.



Preservation of the Solvability of a Semilinear Global Electric Circuit Equation
Abstract



Identification of the Thermal Conductivity Coefficient Using a Given Surface Heat Flux
Abstract
The inverse problem of determining a temperature-dependent thermal conductivity coefficient is studied. The study is based on the Dirichlet boundary value problem for the two-dimensional nonstationary heat equation. The cost functional is defined as the rms deviation of the surface heat flux from experimental data. For the numerical solution of the problem, an algorithm based on the modern fast automatic differentiation technique is proposed. Examples of solving the posed problem are given.



On the Feasibility of Detecting Thin Conductive Layers from Field Measurements on the Surface of a Medium
Abstract
A two-dimensional environment in which the fields are described by the Helmholtz equation is considered. A linearized formulation of the problem of the recovery of medium parameters (an inverse problem for the Helmholtz equation) is studied. The conditions for the unique detection of thin conductive layers are established. Examples of nonuniqueness of the solution of the inverse problem from information that initially seemed redundant even for a unique solution are given.



Boundary Control Problem for a Nonlinear Convection–Diffusion–Reaction Equation
Abstract
The solvability of boundary-value and extremum problems for a nonlinear convection–diffusion–reaction equation with mixed boundary conditions is proved in the case where the coefficient in the boundary condition is a fairly arbitrary function of the solution to the boundary value problem. For the mass transfer coefficient equal to the modulus of the substance concentration, local stability estimates of the solution to the extremum problem with respect to relatively small perturbations in the cost functional and the given functions of the boundary value problem are obtained.



Monotone Dualization Problem and Its Generalizations: Asymptotic Estimates of the Number of Solutions
Abstract
Issues related to the construction of efficient algorithms for intractable discrete problems are studied. Enumeration problems are considered. Their intractability has two aspects—exponential growth of the number of their solutions with increasing problem size and the complexity of finding (enumerating) these solutions. The basic enumeration problem is the dualization of a monotone conjunctive normal form or the equivalent problem of finding irreducible coverings of Boolean matrices. For the latter problem and its generalization for the case of integer matrices, asymptotics for the typical number of solutions are obtained. These estimates are required, in particular, to prove the existence of asymptotically optimal algorithms for monotone dualization and its generalizations.



A Randomized Algorithm for a Sequence 2-Clustering Problem
Abstract
We consider a strongly NP-hard problem of partitioning a finite Euclidean sequence into two clusters of given cardinalities minimizing the sum over both clusters of intracluster sums of squared distances from clusters elements to their centers. The center of one cluster is unknown and is defined as the mean value of all points in the cluster. The center of the other cluster is the origin. Additionally, the difference between the indices of two consequent points from the first cluster is bounded from below and above by some constants. A randomized algorithm that finds an approximation solution of the problem in polynomial time for given values of the relative error and failure probability and for an established parameter value is proposed. The conditions are established under which the algorithm is polynomial and asymptotically exact.



Convergence Analysis of the Finite Difference ADI Scheme for Variable Coefficient Parabolic Problems with Nonzero Dirichlet Boundary Conditions
Abstract
Since the invention by Peaceman and Rachford, more than 60 years ago, of the well celebrated ADI finite difference scheme for parabolic initial-boundary problems on rectangular regions, many papers have been concerned with prescribing the boundary values for the intermediate approximations at half time levels in the case of nonzero Dirichlet boundary conditions. In the present paper, for variable coefficient parabolic problems and time-stepsize sufficiently small, we prove second order accuracy in the discrete \({{L}^{2}}\) norm of the ADI finite difference scheme in which the intermediate approximations do not involve the so called “perturbation term”. As a byproduct of our stability analysis we also show that, for variable coefficients and time-stepsize sufficiently small, the ADI scheme with the perturbation term converges with order two in the discrete \({{H}^{1}}\) norm. Our convergence results generalize previous results obtained for the heat equation.


