In this paper, we generalize monotone operators, their resolvents and the proximal point algorithm to complete CAT(0) spaces. We study some properties of monotone operators and their resolvents. We show that the sequence generated by the inexact proximal point algorithm $\unicode[STIX]{x1D6E5}$-converges to a zero of the monotone operator in complete CAT(0) spaces. A strong convergence (convergence in metric) result is also presented. Finally, we consider two important special cases of monotone operators and we prove that they satisfy the range condition (see Section 4 for the definition), which guarantees the existence of the sequence generated by the proximal point algorithm.

This paper studies the integration of inclusion of subdifferentials. Under various verifiable conditions, we obtain that if two proper lower semicontinuous functions $f$ and $g$ have the subdifferential of $f$ included in the $\gamma $-enlargement of the subdifferential of $g$, then the difference of those functions is $\gamma $-Lipschitz over their effective domain.

Differentiability properties of optimal value functions associated with perturbed optimization problems require strong assumptions. We consider such a set of assumptions which does not use compactness hypothesis but which involves a kind of coherence property. Moreover, a strict differentiability property is obtained by using techniques of Ekeland and Lebourg and a result of Preiss. Such a strengthening is required in order to obtain genericity results.

Various properties of continuity for the class of lower semicontinuous convex functions are considered and dual characterizations are established. In particular, it is shown that the restriction of a lower semicontinuous convex function to its domain (respectively, domain of subdifferentiability) is continuous if and only if its subdifferential is strongly cyclically monotone (respectively, σ-cyclically monotone).

In this paper we complete two tasks. First we extend the nonsmooth critical point theory of Chang to the case where the energy functional satisfies only the weaker nonsmooth Cerami condition and we also relax the boundary conditions. Then we study semilinear and quasilinear equations (involving the p-Laplacian). Using a variational approach we establish the existence of one and of multiple solutions. In simple existence theorems, we allow the right hand side to be discontinuous. In that case in order to have an existence theory, we pass to a multivalued approximation of the original problem by, roughly speaking, filling in the gaps at the discontinuity points.

This paper is devoted to extending formulas for the geometric approximate subdifferential and the Clarke subdifferential of extended-real-valued functions on Banach spaces. The results are strong enough to include completely the finite dimensional setting.