Inverse coefficient problems for elliptic equations in a cylinder: II

We study sufficient conditions for the unique solvability of the inverse coefficient problem. We obtain various global sufficient conditions in the form of constraints on the signs of the given functions and their derivatives. As a corollary, we consider statements of inverse coefficient problems with overdetermination on the boundary, where the Dirichlet conditions are supplemented with the vanishing condition for the normal derivative on part of the boundary. We prove sufficient conditions for the existence of a solution in this case.     

On the No-Gap Second-Order Optimality Conditions for a Discrete Optimal Control Problem with Mixed Constraints

Motivated by our recent works on optimality conditions in discrete optimal control problems under a nonconvex cost function, in this paper, we study second-order necessary and sufficient optimality conditions for a discrete optimal control problem with a nonconvex cost function and state-control constraints. By establishing an abstract result on second-order optimality conditions for a mathematical programming problem, we derive second-order necessary and sufficient optimality conditions for a discrete optimal control problem. Using a common critical cone for both the second-order necessary and sufficient optimality conditions, we obtain “no-gap” between second-order optimality conditions.     

Well-posedness of a problem with initial conditions for hyperbolic differential-difference equations with shifts in the time argument

We study a problem with initial conditions on the half-line for a differentialdifference equation of the hyperbolic type with deviations of the time argument. We obtain sufficient conditions for the well-posed solvability of the problem in Sobolev spaces with an exponential weight. In terms of the spectrum of the problem operator, we obtain necessary conditions for the well-posed solvability of the problem, sufficient conditions for the absence of solutions, and sufficient conditions for the nonuniqueness of the solution.     

On the well-posed coupling between free fluid and porous viscous flows

We present a well-posed model for the Stokes/Brinkman problem with a family of jump embedded boundary conditions (J.E.B.C.) on an immersed interface with weak regularity assumptions. It arises from a general framework recently proposed for fictitious domain problems. Our model is based on algebraic transmission conditions combining the stress and velocity jumps on the interface $\Sigma$ separating the fluid and porous domains. These conditions are well chosen to get the coercivity of the operator. Then, the general framework allows us to prove new results on the global solvability of some models with physically relevant stress or velocity jump boundary conditions for the momentum transport at a fluid–porous interface. The Stokes/Brinkman problem with Ochoa-Tapia and Whitaker (1995) [9], [10] interface conditions and the Stokes/Darcy problem with Beavers and Joseph (1967) [13] conditions are both proved to be well-posed, by an asymptotic analysis. Up to now, only the Stokes/Darcy problem with Saffman (1971) [15] approximate interface conditions with negligible tangential porous velocity was known to be well-posed.     

Inverse coefficient problems for elliptic equations in a cylinder: I

We study sufficient conditions for the unique solvability of the inverse coefficient problem. We obtain various global sufficient conditions in the form of constraints on the signs of the given functions and their derivatives. As a corollary, we consider statements of inverse coefficient problems with overdetermination on the boundary, where the Dirichlet conditions are supplemented with the vanishing condition for the normal derivative on part of the boundary.     

A boundary-value problem for parabolic equations with general nonlocal conditions

We study a boundary-value problem with general two-point conditions with respect to the time coordinate, and periodic conditions on the spatial coordinates for Shilov-parabolic equations with constant coefficients. We construct the solution in the form of a Fourier series. We establish conditions for existence and uniqueness of a classical solution of the problem. We prove quantitative theorems on a lower bound for the small denominators that arise in solving the problem. Translated fromMatematichni Methody i Fiziko-mekhanichni Polya, Vol. 38, 1995.     

Necessary Conditions for Free End-Time, Measurably Time Dependent Optimal Control Problems with State Constraints

Recently, necessary conditions have been derived for fixed-time optimal control problems with state constraints, formulated in terms of a differential inclusion, under very weak hypotheses on the data. These allow the multifunction describing admissible velocities to be unbounded and possibly nonconvex valued. This paper extends the earlier necessary conditions, to allow for free end-times. A notable feature of the new free end-time necessary conditions is that they cover problems with measurably time dependent data. For such problems, standard analytical techniques for deriving free-time necessary conditions, which depend on a transformation of the time variable, no longer work. Instead, we use variational methods based on the calculus of 'essential values".     

Optimality conditions with state constraints for semilinear systems determined by operator valued measures

In this paper we develop the necessary conditions of optimality for a class of distributed parameter systems (partial differential equations) determined by operator valued measures and controlled by vector measures. Based on some recent results on existence of optimal controls from the space of vector measures, we develop necessary conditions of optimality for a class of control problems. The main results are the necessary conditions of optimality for problems without state constraints and those with state constraints. Also, a conceptual algorithm along with a brief discussion of its convergence is presented.     

On the solvability of the boundary-value problem for second-order equations in Hilbert space with an operator coefficient in the boundary condition

We consider the boundary-value problem on a finite interval for a class of second-order operator-differential equations with a linear operator in one of its boundary conditions. We obtain sufficient conditions for the regular solvability of the boundary-value problem under consideration; these conditions are expressed only in terms of its operator coefficients.     

On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach

Using elementary ODE tools we show that for a class of dissipative PDEs, including Navier-Stokes equations on the plane with periodic boundary conditions, Galerkin projections are C¹-convergent, i.e. the partial derivatives with respect to initial conditions for Galerkin projections converge giving rise to smooth dependence on initial conditions for full PDE.     

The Green Function for Elliptic Systems in Two Dimensions

We construct the fundamental solution or Green function for a divergence form elliptic system in two dimensions with bounded and measurable coefficients. Our main goal is construct the Green function for the operator with mixed boundary conditions in a Lipschitz domain. Thus we specify Dirichlet data on part of the boundary and Neumann data on the remainder of the boundary. We require a corkscrew or non-tangential accessibility condition on the set where we specify Dirichlet boundary conditions. Our proof proceeds by defining a variant of the space BMO(Ω) that is adapted to the boundary conditions and showing that the solution exists in this space. We also give a construction of the Green function with Neumann boundary conditions and the fundamental solution in the plane.     

First and second-order necessary and sufficient optimality conditions for infinite-dimensional programming problems

First-order and second-order necessary and sufficient optimality conditions are given for infinite-dimensional programming problems with constraints defined by arbitrary closed convex cones. The necessary conditions are immediate generalizations of those known for the finite-dimensional case. However, this does not hold for the sufficient conditions as illustrated by a counterexample. Here, to go from finite to infinite dimensions, causes an essential change in the proof-techniques and the results. We present modified sufficient conditions of first-order and of second-order which are based on a strengthening of the usual assumptions on the derivative of the objective function and on the second derivative of the Lagrangian.     

A method of convolution of Fourier expansions as applied to solving boundary value problems with intersecting interface lines

An efficient method of construction of solutions to a set of boundary value problems with additional interface conditions, more complicated boundary conditions, and so on on the basis of known solutions to classical boundary value problems is proposed. The method is based on the representation of solutions to classical and more complicated problems in the form of expansions into Fourier series with subsequent reduction of one series to the other. As a result, formulas directly expressing solutions to more complicated problems in terms of solutions to classical problems are obtained. On the basis of the well-known solution to the Dirichlet problem on a half plane, solutions to boundary value problems with interface conditions (including generalized conditions of the type of a crack and a screen) on intersecting straight lines for boundary conditions of the first and the third kind are obtained.     

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.     

Two-Dimensional Töplitz Operators with Measurable Symbols

For the complete algebra of two-dimensional Töplitz operators with measurable bounded symbols, we establish conditions necessary for the Fredholm property of the operators and prove results on the separation of singularities of the symbols. As a corollary, conditions sufficient for the Fredholm property are established for operators with symbols satisfying local conditions of sectorial type.     

Several sufficient conditions for sensitive dependence on initial conditions

This paper is concerned with sensitive dependence on initial conditions for maps and semi-flows. Several sufficient conditions for sensitive dependence are given, where it is not required that maps and semi-flows are continuous and spaces are compact. In particular, it is shown that if a measure-preserving map (resp. a measure-preserving semi-flow) on a metric probability space with a fully supported measure is topologically strongly ergodic, then it has sensitive dependence. These results relax and extend the conditions of some existing results.     

The finiteness of the number of symmetrical extensions of a locally finite tree by a finite graph

The problem of incidence of an acoustic wave on the interface between media with impedance interface conditions is considered. An approximate method is proposed for calculating the result of diffraction under such conditions. The method is implemented as a computer program, and the result is compared with the analytical solution for the impedance conditions and with the calculations by a program for the contact boundary conditions. Good accuracy of the method and high computation speed are demonstrated, which allow one to apply the proposed approximate method to solving both direct and inverse problems of acoustics.     

Multiplication Modules and a Theorem of P. F. Smith

P. F. Smith [7, Theorem 8] gave sufficient conditions on a finite set of modules for their sum and intersection to be multiplication modules. We give sufficient conditions on an arbitrary set of multiplication modules for the intersection to be a multiplication module. We generalize Smith"s theorem, and we prove conditions on sums and intersections of sets of modules sufficient for them to be multiplication modules. This revised version was published online in June 2006 with corrections to the Cover Date.     

Investigation of regularity conditions in optimal control problems with geometric mixed constraints

We investigate regularity conditions in optimal control problems with mixed constraints of a general geometric type, in which a closed non-convex constraint set appears. A closely related question to this issue concerns the derivation of necessary optimality conditions under some regularity conditions on the constraints. By imposing strong and weak regularity condition on the constraints, we provide necessary optimality conditions in the form of Pontryagin maximum principle for the control problem with mixed constraints. The optimality conditions obtained here turn out to be more general than earlier results even in the case when the constraint set is convex. The proofs of our main results are based on a series of technical lemmas which are gathered in the Appendix.     

Explicit stability conditions for integro-differential equations with periodic coefficients

New explicit stability conditions are derived for a linear integro-differential equation with periodic operator coefficients. The equation under consideration describes oscillations of thin-walled viscoelastic structural members driven by periodic loads. To develop stability conditions two approaches are combined. The first is based on the direct Lyapunov method of constructing stability functionals. It allows stability conditions to be derived for unbounded operator coefficients, but fails to correctly predict the critical loads for high-frequency excitations. The other approach is based on transforming the equation under consideration in such a way that an appropriate ‘differential’ part of the new equation would possess some reserve of stability. Stability conditions for the transformed equation are obtained by using a technique of integral estimates. This method provides acceptable estimates of the critical forces for periodic loads, but can be applied to equations with bounded coefficients only. Combining these two approaches, we derive explicit stability conditions which are close to the Floquet criterion when the integral term vanishes. These conditions are applied to the stability problem for a viscoelastic bar compressed by periodic forces. The effect of material and structural parameters on the critical load is studied numerically. © 1998 B. G. Teubner Stuttgart–John Wiley & Sons Ltd.