相关论文: Non-existence of perturbed solutions under a secon…
Most numerical methods developed for solving nonlinear programming problems are designed to find points that satisfy certain optimality conditions. While the Karush-Kuhn-Tucker conditions are well-known, they become invalid when constraint…
This paper deals with second-order optimality conditions for a quasilinear elliptic control problem with a nonlinear coefficient in the principal part that is countably $PC^2$ (continuous and $C^2$ apart from countably many points). We…
We explore singular second-order boundary value problems with mixed boundary conditions on a general time scale. Using the lower and upper solutions method combined with the Brouwer fixed point theorem we demonstrate the existence of a…
For a second order linear differential equation $f''+A(z)f'+B(z)f=0$, with $ A(z)$ and $B(z)$ being transcendental entire functions under some restriction, we have established that all non-trivial solutions are of infinite order. In…
Second-order optimality conditions of the bilevel programming problems are dependent on the second-order directional derivatives of the value functions or the solution mappings of the lower level problems under some regular conditions,…
In this paper the asymptotic distributions are exactly solved for linearly independent solutions considering problems of the second order and for the coefficients of asymptotic destribution the recurent formulas are obtained. Further, using…
In this paper, we study second-order necessary and sufficient optimality conditions of Karush--Kuhn--Tucker-type for locally optimal solutions in the sense of Pareto to a class of multi-objective optimal control problems with mixed…
Motivated by the study of systems of higher order boundary value problems with functional boundary conditions, we discuss, by topological methods, the solvability of a fairly general class of systems of perturbed Hammerstein integral…
In this paper, we readdress the classical topic of second-order sufficient optimality conditions for optimization problems with nonsmooth structure. Based on the so-called second subderivative of the objective function and of the indicator…
We consider second-order evolution equations in an abstract setting with intermittently delayed/ not-delayed damping. We give sufficient conditions for asymptotic and exponential stability, improving and generalising our previous results…
Necessary conditions for high-order optimality in smooth nonlinear constrained optimization are explored and their inherent intricacy discussed. A two-phase minimization algorithm is proposed which can achieve approximate first-, second-…
The paper concerns the second-order generalized differentiation theory of variational analysis and new applications of this theory to some problems of constrained optimization in finitedimensional spaces. The main attention is paid to the…
This paper explores some sufficient conditions for the enhanced solvability of strong vector equilibrium problems, which can be established via a variational approach. Enhanced solvability here means existence of solutions, which are strong…
We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures. We show that the problem is undecidable in the case of…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
In this paper, we introduce the second-order subdifferentials for functions which are G\^ateaux differentiable on an open set and whose G\^ateaux derivative mapping is locally Lipschitz. Based on properties of this kind of second-order…
We here present a sufficient condition for general arrowing problems to be non definable in first order logic, based in well known tools of finite model theory e.g. Hanf's Theorem and known concepts in finite combinatorics, like senders and…
This work is concerned with second-order necessary and sufficient optimality conditions for optimal control of a non-smooth semilinear elliptic partial differential equation, where the nonlinearity is the non-smooth max-function and thus…
We present a method for constructing gauge-invariant cosmological perturbations which are gauge-invariant up to second order. As an example we give the gauge-invariant definition of the second-order curvature perturbation on uniform density…
This paper provides necessary and sufficient conditions of optimality for variational problems that deal with a fractional derivative with respect to another function. Fractional Euler--Lagrange equations are established for the fundamental…