A fixed point formulation of the -means algorithm and a connection to Mumford-Shah.
Filippov’s theorem implies that, given an absolutely continuous function y: [t 0; T] → ℝd and a set-valued map F(t, x) measurable in t and l(t)-Lipschitz in x, for any initial condition x 0, there exists a solution x(·) to the differential inclusion x′(t) ∈ F(t, x(t)) starting from x 0 at the time t 0 and satisfying the estimation where the function γ(·) is the estimation of dist(y′(t), F(t, y(t))) ≤ γ(t). Setting P(t) = x ∈ ℝn: |x −y(t)| ≤ r(t), we may formulate the conclusion in Filippov’s theorem...
In this paper, we deal with strong stationarity conditions for mathematical programs with equilibrium constraints (MPEC). The main task in deriving these conditions consists in calculating the Fréchet normal cone to the graph of the solution mapping associated with the underlying generalized equation of the MPEC. We derive an inner approximation to this cone, which is exact under an additional assumption. Even if the latter fails to hold, the inner approximation can be used to check strong stationarity...
In this paper the existence of solutions to variational-type inequalities problems for (η,θ,δ)- pseudomonotone-type set-valued mappings in nonreflexive Banach spaces introduced in [4] is considered. Presented theorem does not require a compact set-valued mapping, but requires a weaker condition 'locally bounded' for the mapping.
We consider some variational principles in the spaces C*(X) of bounded continuous functions on metrizable spaces X, introduced by M. M. Choban, P. S. Kenderov and J. P. Revalski. In particular we give an answer (consistent with ZFC) to a question stated by these authors.
We describe an algorithm for computing the value function for “all source, single destination” discrete-time nonlinear optimal control problems together with approximations of associated globally optimal control strategies. The method is based on a set oriented approach for the discretization of the problem in combination with graph-theoretic techniques. The central idea is that a discretization of phase space of the given problem leads to an (all source, single destination) shortest path problem...
We describe an algorithm for computing the value function for “all source, single destination” discrete-time nonlinear optimal control problems together with approximations of associated globally optimal control strategies. The method is based on a set oriented approach for the discretization of the problem in combination with graph-theoretic techniques. The central idea is that a discretization of phase space of the given problem leads to an (all source, single destination) shortest path...
We discuss a variational problem defined on couples of functions that are constrained to take values into the 2-dimensional unit sphere. The energy functional contains, besides standard Dirichlet energies, a non-local interaction term that depends on the distance between the gradients of the two functions. Different gradients are preferred or penalized in this model, in dependence of the sign of the interaction term. In this paper we study the lower semicontinuity and the coercivity of the energy...
Given a nonempty convex set in a locally convex Hausdorff topological vector space, a nonempty set and two set-valued mappings , we prove that under suitable conditions one can find an which is simultaneously a fixed point for and a common point for the family of values of . Applying our intersection theorem we establish a common fixed point theorem, a saddle point theorem, as well as existence results for the solutions of some equilibrium and complementarity problems.
We consider an equilibrium problem with equilibrium constraints (EPEC) arising from the modeling of competition in an electricity spot market (under ISO regulation). For a characterization of equilibrium solutions, so-called M-stationarity conditions are derived. This first requires a structural analysis of the problem, e.g., verifying constraint qualifications. Second, the calmness property of a certain multifunction has to be verified in order to justify using M-stationarity conditions. Third,...