Maximum principle in the problem of time optimal response with nonsmooth constraints : PMM vol. 40, n 6, 1976, pp. 1014–1023

The problem of optimal response [1, 2] with nonsmooth (generally speaking, nonfunctional) constraints imposed on the state variables is considered. This problem is used to illustrate the method of proving the necessary conditions of optimality in the problems of optimal control with phase constraints, based on constructive approximation of the initial problem with constraints by a sequence of problems of optimal control with constraint-free state variables. The variational analysis of the approximating problems is carried out by means of a purely algebraic method involving the formulas for the incremental growth of a functional [3, 4] and the theorems of separability of convex sets is not used.Using a passage to the limit, the convergence of the approximating problems to the initial problem with constraints is proved, and for general assumptions the necessary conditions of optimality resembling the Pontriagin maximum principle [1] are derived for the generalized solutions of the initial problem. The conditions of transversality are expressed, in the case of nonsmooth (nonfunctional) constraints by a novel concept of a cone conjugate to an arbitrary closed set of a finite-dimensional space. The concept generalizes the usual notions of the normal and the normal cone for the cases of smooth and convex manifolds.     

The coherence of ?ukasiewicz assessments is NP-complete

The problem of deciding whether a rational assessment of formulas of infinite-valued ?ukasiewicz logic is coherent has been shown to be decidable by Mundici [1] and in PSPACE by Flaminio and Montagna [10]. We settle its computational complexity proving an NP-completeness result. We then obtain NP-completeness results for the satisfiability problem of certain many-valued probabilistic logics introduced by Flaminio and Montagna in [9].     

Discontinuous viscosity solutions to dirichlet problems for hamilton-jacob1 equations with

We introduce a new formulation of Dirichlet problem for a class of first order, nonlinear equations containing the minimum time problem, whose solution is expected to be discontinuous. We prove existence, uniqueness and representation formulas for the solution in the sense of viscosity solutions. Our method relies on a new way of prescribing the boundary condition, the use of recent ideas of Barron-Jensen [8] and Barles [5] , and the derivation of a "backwards" dynamic programming principle. We use the same ideas to prove uniqueness for the usual Dicchlet type formulation, following Ishii [13] and Bales-Perthame [6], under additional regularity conditions on the domain.     

Approximation of multivariable functions with respect to random points less than 2 k,k dimension of space

Summary The problem of the numerical approximation of multivariable functions has been solved by the Monte Carlo method when the data points are assumed to be given on discrete lattice points [5, 8, 2]. When the data points are randomly distributed and very numerous there are some results in the literature [3, 6] but if the number of the points is less than 2 ^k , wherek is the dimension of the space, it is very difficult to develop approximation formulas. This paper gives a solution to this problem by local approximations.     

Theory of the hypersonic viscous shock layer at high Reynolds numbers and intensive injection of foreign gases : PMM vol. 38, n 6, 1974, pp. 1015–1024

The hypersonic flow around smooth blunted bodies in the presence of intensive injection from the surface of these is considered. Using the method of external and internal expansions the asymptotics of the Navier-Stokes equations is constructed for high Reynolds numbers determined by parameters of the oncoming stream and of the injected gas. The flow in the shock layer falls into three characteristic regions. In regions adjacent to the body surface and the shock wave the effects associated with molecular transport are insignificant, while in the intermediate region they predominate. In the derivation of solution in the first two regions the surface of contact discontinuity is substituted for the region of molecular transport (external problem). An analytic solution of the external problem is obtained for small values of parameters ₁ = ρ_∞/ρs^* and δ = ρ_ω^*1/2ν_ω^*/ρ_∞1/2ν_∞, in the form of corresponding series expansions in these parameters. Asymptotic formulas are presented for velocity profiles, temperatures, and constituent concentration across the shock layer and, also, the shape of the contact discontinuity and of shock wave separation. The derived solution is compared with numerical solutions obtained by other authors. The flow in the region of molecular transport is defined by equations of the boundary layer with asymptotic conditions at plus and minus infinity, determined by the external solution (internal problem). A numerical solution of the internal problem is obtained taking into consideration multicomponent diffusion and heat exchange. The problem of multicomponent gas flow in the shock layer close to the stagnation line was previously considered in [1] with the use of simplified Navier-6tokes equations.The supersonic flow of a homogeneous inviscid and non-heat-conducting gas around blunted bodies in the presence of subsonic injection was considered in [2–7] using Euler's equations. An analytic solution, based on the classic solution obtained by Hill for a spherical vortex, was derived in [2] for a sphere on the assumption of constant but different densities in the layers between the shock wave and the contact discontinuity and between the latter and the body. Certain results of a numerical solution of the problem of intensive injection at the surface of axisymmetric bodies of various forms, obtained by Godunov's method [3], are presented. Telenin's method was used in [4] for numerical investigation of flow around a sphere; the problem was solved in two formulations: in the first, flow parameters were determined for the whole of the shock layer, while in the second this was done for the sutface of contact discontinuity, which was not known prior to the solution of the problem, with the pressure specified by Newton's formula and flow parameters determined only in the layer of injected gases. The flow with injection over blunted cones was numerically investigated in [5] by the approximate method proposed by Maslen. The flow in the shock layer in the neighborhood of the stagnation line was considered in [6, 8], and intensive injection was investigated by methods of the boundary layer theory in [8–12].     

高维Heisenberg群上热算子的分析

用留数定理及轨道积分方法,讨论了2n+1(n≥1)维Heisenberg群上热核及Green核的渐近性,并给出了更简明的渐近公式,彻底解决了Hueber,H等人遗留的问题.     

State of stress of nonuniformly heated plates loaded along the boundary surfaces : PMM vol. 43. no. 6, 1979, pp. 1065–1072

The general solution of ati elasticity theory problem for a constant thickness plate is constructed under the condition that a force and a nonuniformly heated plate are applied normally to the boundary planes. The solution is obtained as a result of applying the M.E. Vashchenko-Zakharchenko expansion formulas to the infinitely high-order differential equations obtained by A.I. Lur'e by a symbolic method [1,2], by a separate analysis of the symmetric and antisymmetric elasticity theory problems relative to the middle plane: 1) for constant temperature and given forces on the boundary planes; 2) for a given nonuniform heating and no forces. Simple formulas are presented to determine the state of stress in the case of a slowly varying external load and temperature of the unbounded plate. For a bounded plate the general solution for no forces on the boundary planes and heating resulted in the A.I. Lur'e solution [1].     

Action of an elliptic stamp moving at a constant speed on an elastic half-space : PMM vol. 42, no. 6, 1978, pp 1074–1079

The action of a rigid stamp moving at a constant speed, on the boundary of an elastic half-space, is investigated. It is assumed that the frictional forces between the stamp and the surface of the half-space are absent. The integral equation obtained in [1] yields formulas for the pressure, for the case when the area of contact between the stamp and the half-space has an elliptic form.     

The game problem on the dolichobrachistochrone : PMM vol.40, n 6, 1976, pp. 1003–1013

The capture and evasion sets, the players' optimal strategies and the game value determined for the game problem on the dolichobrachistochrone, analysed within the framework of a position formalism similar to [1]. Singularities inherent in the game of the minimax-maximin time to contact [1, 2] become apparent; they are determined in the given problem by the specific behavior of the optimal paths close to the target set. Isaacs [4] examined the game problem on the dolichobrachistochrone, being the game analog of the classical variational problem on the brachistochrone [3]. However, as was shown in [5], the solution proposed by Isaacs contains erroneous statements.     

On the energy flux vector for bending vibrations of a plate : PMM vol. 40, n 6, 1976, pp. 1131–1135

An expression for the energy flux vector of plate bending vibrations is obtained in invariant form. The derivation of expressions for the transverse force, bending and twisting moments in an arbitrary orthogonal coordinate system and the derivation of an orthogonality type condition for normal waves being propagated in a thin elastic strip with free edges are considered as applications.In a number of cases it turns out to be useful to consider the energy flux vector in analyzing the vibrations in systems with distributed parameters. The expressions for the Umov-Poynting vector in electrodynamics and for the energy flux vector in acoustics are well-known. An analogous vector for the bending Vibrations of a plate was mentioned only in [1 – 3], This vector is used in [1] to prove a uniqueness theorem for a two-component acoustic model consisting of an ideal compressible fluid and elastic plates in contact with it. However, the expression for the energy flux in [1] (it was later cited in [2, 3] with a reference to [1]) is erroneous. An exact expression (within the framework of the applicability of the Kirchhoff equation) is found below for the energy flux vector of the bending vibrations of a plate and some applications of the formulas obtained are mentioned.     

Optimale Differentiations- und Integrationsformeln in Co [a,b]

Summary LetC _o [a, b] be the Banach space of all real valued continuous functions defined on the interval [a, b], endowed with the supremum norm. In this paper we construct optimal formulas for the numerical differentiation and integration forC _o [a, b].In particular, the questions of Meinguet [2] and Salzer [5] on the existence of such formulas are answered.     

On numerical realization of the function of the hereditary operator : PMM vol. 42, no. 6, 1978, pp. 1115–1122

The problem of numerical realization of a function of the hereditary operator acting on some function of time is considered. Laplace transformations are used for the operators with kernels of the Rabotnov and Rzhanitsyn type to obtain formulas which reduce the problem in question to that of computing a quadrature. When the variable assumes large values, the formulas become asymptotic equations with an estimable error of approximation.     

On positive positive-definite functions and Bochner’s Theorem

We recall an open problem on the error of quadrature formulas for the integration of functions from some finite dimensional spaces of trigonometric functions posed by Novak (1999) in [8] ten years ago and summarised recently in Novak and Wo?niakowski (2008) [9]. It is relatively easy to prove an error formula for the best quadrature rules with positive weights which shows intractability of the tensor product problem for such rules. In contrast to that, the conjecture that also quadrature formulas with arbitrary weights cannot decrease the error is still open.We generalise Novak’s conjecture to a statement about positive positive-definite functions and provide several equivalent reformulations, which show the connections to Bochner’s Theorem and Toeplitz matrices.     

Wheels, wheeling, and the Kontsevich integral of the Unknot

We conjecture an exact formula for the Kontsevich integral of the unknot, and also conjecture a formula (also conjectured independently by Deligne [De]) for the relation between the two natural products on the space of uni-trivalent diagrams. The two formulas use the related notions of “Wheels” and “Wheeing”. We prove these formulas ‘on the level of Lie algebras’ using standard techniques from the theory of Vassiliev invariants and the theory of Lie algebras. In a brief epilogue we report on recent proofs of our full conjectures, by Kontsevich [Ko2] and by DBN, DPT, and T. Q. T. Le, [BLT]. This paper is available electronically     

Nonstationary mass transfer of a reacting spherical particle in laminar stream of a viscous fluid : PMM vol. 38, n 6, 1974, pp. 1041–1047

The process of the formation of a stationary mass transfer mode for a moving reacting particle is examined. An analytic expression valid for a nonstationary distribution of the concentration of matter in a steady stream of viscous fluid, flowing past a spherical particle, was obtained for the case when at a certain instant a chemical reaction of the first order begins at the surface of the sphere. The problem is solved for small finite Reynolds and Péclet numbers. The solution of the corresponding stationary problem has been obtained in [1]. Paper [2] examined a nonstationary heat transfer of a fluid spherical drop in an inviscid flow with spasmodic change of initial temperature at high Péclet numbers. Paper [3] contains an analysis of the problem of a nonstationary heat transfer of a rigid spherical particle for small Reynolds and Péclet numbers at spasmodic change of temperature of the particle surface. The results obtained in [3] can be used to describe the mass transfer for a moving reacting particle only in the case of a diffusion mode of the chemical reaction.     

On dynamic effects in an elastic half-space under “thermal impact” : PMM vol. 38, n 6, 1974, pp. 1105–1113

The general uncoupled dynamical problem of thermoelasticity for a half-space under the condition of a thermal impact with a finite rate of change in temperature on its boundary is solved by the method of principal (fundamental) functions within the framework of a generalized theory of heat conduction.An elastic steel half-space is analyzed as an illustration. The problem on thermal stresses originating in an elastic half-space due to thermal impact produced by a jump change in temperature on the boundary was first analyzed in [1]. Since the temperature change on the boundary occurs at a finite rate, it is generally impossible to realize the thermal impact considered in [1] physically. The dynamic effects in an elastic half-space under a thermal impact with finite rate of change in the temperature on the boundary have been studied in [2]. For high rates of change of the heat flux we obtain a generalized wave equation of heat conduction [3] taking into account the finite velocity of heat propagation. Hence, the solution of the ordinary parabolic heat conduction equation used in [1, 2] does not correspond to the true temperature field. The problems of [1, 2] have been examined in [4, 5], respectively, within the framework of a generalized theory of heat conduction.     

On a differential-difference game of escape : PMM vol. 40, n 6, 1976, pp. 995–1002

A nonlinear escape problem for conflict-controlled systems described by differential equations with a lagging argument is considered. The sufficient escape conditions which are realized in the class of piece wise-constant functions are obtained. The paper relates to the researches in [1 – 8] and is a continuation of [9, 10].     

Approximate calculation method for one-dimensional gas flows induced by nonmonotonic motion of a piston : PMM vol. 40, n 6, 1976, pp. 1058–1064

The problem of one-dimensional piston which at the beginning moves with increasing velocity into a gas at rest, then is decelerated, and finally stops, is solved by means of special series. The gas flow field is constructed by a successive joining of three characteristic Cauchy problems in terms of their characteristic solutions. Generalized solution of the problem of instantaneous arrest of the piston is derived. Obtained equations are used for the approximate calculation of the motion of generated shock waves.Representation of solutions of certain boundary value problems for nonlinear equations of the hyperbolic kind in the form of special series was proposed in [1, 2], The problem of the piston moving into a gas at rest is solved there, and the obtained solution was used for an approximate determination of the generated shock wave. The piston velocity was assumed to be monotonically increasing. That problem is solved here with the use of similar series in the case when the piston velocity is nonmonotonous,Numerical methods make it possible at present to determine one-dimensional flows similar to that considered below, and multidimensional problems can be solved by the method proposed in [1, 2]. The use of the proposed scheme for solving the problem of the multidimensional piston, whose velocity is nonmonotonous, does not present theoretical difficulties, but except that the formulas are more cumbersome.     

Cubature Formula and Interpolation on the Cubic Domain

Several cubature formulas on the cubic domains are derived using the dis-crete Fourier analysis associated with lattice tiling, as developed in [10]. The main results consist of a new derivation of the Gaussian type cubature for the product Cheby-shev weight functions and associated interpolation polynomials on [-1,1]2, as well as new results on [-1,1]3. In particular, compact formulas for the fundamental interpo-lation polynomials are derived, based on n3/4 + (n2) nodes of a cubature formula on [-1,1]3.