On Facets of Knapsack Equality Polytopes

The 0/1 knapsack equality polytope is, by definition, the convex hull of 0/1 solutions of a single linear equation. A special form of this polytope, where the defining linear equation has nonnegative integer coefficients and the number of variables having coefficient one exceeds the right-hand side, is considered. Equality constraints of this form arose in a real-world application of integer programming to a truck dispatching scheduling problem. Families of facet defining inequalities for this polytope are identified, and complete linear inequality representations are obtained for some classes of polytopes.     

An iterative method for solving an inverse problem for a first-order nonlinear partial differential equation with estimates of guaranteed accuracy and the number of steps

For a partial differential equation simulating population dynamics, the inverse problem of determining its nonlinear right-hand side from an additional boundary condition is studied. This inverse problem is reduced to a functional equation, for which the existence and uniqueness of a solution is proven. An iterative method for solving this inverse problem is proposed. The accuracy of the method is estimated, and restrictions on the number of steps are obtained.     

Asymptotics of the solution to a stationary piecewise-smooth reaction-diffusion equation with a multiple root of the degenerate equation

A piecewise-smooth second-order singularly perturbed differential equation whose right-hand side is a nonlinear function with a discontinuity on some curve is investigated. This is a new class of problems in the case where the degenerate equation has a multiple root on the left-hand side of the curve which separates the domain and an isolated root on the right-hand side of that curve. The asymptotics of a solution with an internal layer near a point on the discontinuous curve and the transition point is constructed. The method to construct the internal layer function is proposed. The behavior of the solution in the internal layer consisting of four zones essentially differs from the case of isolated roots. For sufficiently small parameter values, the existence of a smooth solution with an internal layer from the multiple root of the degenerate equation to the isolated root in the neighborhood of a point on the discontinuous curve is proved. The method can be shown to be effective in the given example.     

An identity for approximate quantum equations and inverse problems

Considering the approximate quantum kinetic equation, we obtain a differential identity and base on it a proof of the uniqueness theorem for the inverse problem of finding some solution and right-hand side given boundary and initial data.     

On determining the source function in heat and mass transfer problems under integral overdetermination conditions

We examine an inverse problem of determining the right-hand side (the source function) in a parabolic equation from integral overdetermination data. By a solution to a parabolic equation we mean a weak solution, and the right-hand side in this equation can be a distribution of a certain class. Under some conditions on the data of the problem, we demonstrate that this inverse problem is well posed and, in particular, some stability estimates hold.     

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.     

Dirichlet problem for a third-order equation of mixed type in a rectangular domain

For a third-order differential equation of parabolic-hyperbolic type, we suggest a method for studying the first boundary value problem by solving an inverse problem for a second-order equation of mixed type with unknown right-hand side. We obtain a uniqueness criterion for the solution of the inverse problem. The solution of the inverse problem and the Dirichlet problem for the original equation is constructed in the form of the sum of a Fourier series.     

Finding the unknown boundary in the initial boundary-value problem for the heat equation

The article considers the determination of the boundary of a two-dimensional region in which an initial boundary-value problem for the heat equation is defined, given the solution of the problem for all time instants at some points of the region. The direct problem is reduced to an integral equation, and numerical solutions of the inverse problem are obtained for the case when the boundary is an ellipse. We investigate the sensitivity of the observed variables to the location (relative to the boundary) of the point where the right-hand side of the equation is specified. Translated from Prikladnaya Matematika i Informatika, No. 30, 2008, pp. 18–24.     

Asymptotic Behavior of Solutions of Inverse Problems for Degenerate Parabolic Equations

We obtain theorems on the proximity as t → +∞ between the solution of the inverse problem for a second-order degenerate parabolic equation with one spatial variable and the solution of the inverse problem for a second-order degenerate ordinary differential equation under an additional integral observation condition. The conditions imposed on the input data admit oscillations of the functions on the right-hand side in the parabolic equation under study.     

Inverse problem of simultaneously determining the right-hand side and the coefficient of a lower order derivative for a parabolic equation on the plane

We obtain existence and uniqueness theorems for the solution of the inverse problem of simultaneously determining the right-hand side and the coefficient of a lower-order derivative in a parabolic equation under an integral observation condition. We give explicit estimates for the maximum absolute value of the unknown right-hand side and the unknown coefficient of the equation with constants expressed via the input data of the problem. We present a nontrivial example of an inverse problem to which our theorems apply.     

On the convex hull of the simple integer recourse objective function

We consider the objective function of a simple integer recourse problem with fixed technology matrix.Using properties of the expected value function, we prove a relation between the convex hull of this function and the expected value function of a continuous simple recourse program.We present an algorithm to compute the convex hull of the expected value function in case of discrete right-hand side random variables. Allowing for restrictions on the first stage decision variables, this result is then extended to the convex hull of the objective function.Supported by the National Operations Research Network in the Netherlands (LNMB).     

The inverse problem of determining the source in the stationary transport equation on a riemannian manifold

The transport equation with an unknown right-hand side is considered on a compact Riemannian manifold. The right-hand side of this equation is recovered from values of the outcoming flow. Assumptions under which the solution of the inverse problem is unique are formulated.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 239, 1997, pp. 236–242.     

Problems of determining the temperature and density of heat sources from the initial and final temperatures

Under consideration are the three problems that simulate the process of determining the temperature and density of heat sources from some given initial and final temperatures. In the course of their mathematical formulation, some inverse problems arise for the heat transfer equation in which, together with the solution of the equation, one needs also to find the unknown right-hand side that depends only on the spatial variable. The existence and uniqueness theorems are proved for the solution.     

Optimal control of systems with discontinuous differential equations

In this paper we discuss the problem of verifying and computing optimal controls of systems whose dynamics is governed by differential systems with a discontinuous right-hand side. In our work, we are motivated by optimal control of mechanical systems with Coulomb friction, which exhibit such a right-hand side. Notwithstanding the impressive development of nonsmooth and set-valued analysis, these systems have not been closely studied either computationally or analytically. We show that even when the solution crosses and does not stay on the discontinuity, differentiating the results of a simulation gives gradients that have errors of a size independent of the stepsize. This means that the strategy of “optimize the discretization” will usually fail for problems of this kind. We approximate the discontinuous right-hand side for the differential equations or inclusions by a smooth right-hand side. For these smoothed approximations, we show that the resulting gradients approach the true gradients provided that the start and end points of the trajectory do not lie on the discontinuity and that Euler’s method is used where the step size is “sufficiently small” in comparison with the smoothing parameter. Numerical results are presented for a crude model of car racing that involves Coulomb friction and slip showing that this approach is practical and can handle problems of moderate complexity.     

On the asymptotic stability of discontinuous systems analysed via the averaging method

The averaging method is one of the most powerful methods used to analyse differential equations appearing in the study of nonlinear problems. The idea behind the averaging method is to replace the original equation by an averaged equation with simple structure and close solutions. A large number of practical problems lead to differential equations with discontinuous right-hand sides. In a rigorous theory of such systems, developed by Filippov, solutions of a differential equation with discontinuous right-hand side are regarded as being solutions to a special differential inclusion with upper semi-continuous right-hand side. The averaging method was studied for such inclusions by many authors using different and rather restrictive conditions on the regularity of the averaged inclusion. In this paper we prove natural extensions of Bogolyubov’s first theorem and the Samoilenko-Stanzhitskii theorem to differential inclusions with an upper semi-continuous right-hand side. We prove that the solution set of the original differential inclusion is contained in a neighbourhood of the solution set of the averaged one. The extension of Bogolyubov’s theorem concerns finite time intervals, while the extension of the Samoilenko-Stanzhitskii theorem deals with solutions defined on the infinite interval. The averaged inclusion is defined as a special upper limit and no additional condition on its regularity is required.     

On vortex perturbations in a free-interacting boundary layer

Large-scale structures with an inviscid, non-linear subdomain (deck) on the bottom of a boundary layer in the case of subsonic and transonic free stream velocities are considered. A class of locally inviscid perturbations with an internal line of discontinuity of the tangential velocity, which leads to the appearance of a free term on the right-hand side of the Benjamin-Ono equations, is investigated. The shape of the above-mentioned line is sought and it is determined from the solution of a system of one-dimensional non-stationary equations in which, apart from the Benjamin-Ono equation, a kinematic condition and an equation for the inviscid deck close to the wall also occur. An example of a periodic, non-linear solution is constructed and amplitude constraints which ensure its realization are formulated.     

An inverse problem for a higher-order parabolic equation

We prove existence and uniqueness theorems for the inverse problem of finding the right-hand side of a higher-order parabolic equation with two independent variables and an additional condition in the form of integral overdetermination. The results obtained are used to study the passage to the limit in a sequence of such inverse problems with weakly convergent coefficients. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 680–691, November, 1998.     

A Delay Second-Order Set-Valued Differential Equation with Hukuhara Derivatives

In this article, we study a second-order differential equation with three-point boundary conditions with the notion of Hukuhara derivatives. The existence and uniqueness of a solution is given under a Lipschitz condition on the right-hand side in the second and third variables.     

Reconstruction of a convolution operator from the right-hand side on the real half-axis

We study a Volterra convolution integral equation of the first kind on a semi-infinite interval. Under some rather natural constraints on the kernel and the right-hand side of the Volterra integral equation (the kernel has bounded support, while the support of the right-hand side may be unbounded), it is possible to reconstruct the integral operator of the equation (i.e., the solution and the kernel of the integral operator) from the right-hand side of the equation. The uniqueness theorem is proved, the necessary and sufficient conditions for solvability are found, and the explicit formulas for the solution and the kernel are obtained.     

Uniqueness in One Inverse Problem for the Elasticity System

We consider an inverse problem for the stationary elasticity system with constant Lame coefficients and a variable matrix coefficient depending on the spatial variables and frequency. The right-hand side contains a delta-function whose support (source) varies in some domain disjoint from the support of the variable coefficient. The inverse problem is to find the coefficient from the scattered wave measured at the same point at which the perturbation originates. A uniqueness theorem is proven. The proof bases on reduction of the inverse problem to a family of equations with the M. Riesz potential.