English

The Clarke tangent and normal cones to decomposable sets in Lebesgue spaces

Optimization and Control 2026-07-03 v1

Abstract

Let (T,Σ,μ)(T,\Sigma,\mu) be a complete, σ\sigma-finite measure space, let ZZ be a separable Banach space, and let S:TZS : T \rightrightarrows Z be a measurable multifunction with nonempty closed values. For 1p,1 \leq p\leq \infty, we consider Selp(S):={zLp(T,Z):z(t)S(t)a.e.}.\mathsf{Sel}_{p}(S):=\{z \in L^p(T,Z) : z(t) \in S(t) \hspace{0.1cm} \text{a.e.}\}. We study whether the Clarke tangent cone to Selp(S)\mathsf{Sel}_{p}(S) is obtained by taking LpL^p-selections of the pointwise Clarke tangent cones to the values of S;S; namely, whether T^Selp(S)(x)={vLp(T,Z):v(t)T^S(t)(x(t))a.e.} \operatorname{\widehat{\textbf{T}}}_{\mathsf{Sel}_{p}(S)}(x)=\{v \in L^p(T,Z) : v(t) \in \operatorname{\widehat{\textbf{T}}}_{S(t)}(x(t)) \hspace{0.1cm} \text{a.e.}\} holds for xSelp(S).x \in \mathsf{Sel}_{p}(S). The main result gives an affirmative answer for 1p<1 \leq p < \infty under the additional assumption that ZZ is reflexive. If p=,p=\infty, we prove T^Sel(S)(x){vL(T,Z):v(t)T^S(t)(x(t)) a.e.}.\widehat{\mathbf T}_{\mathrm{Sel}_{\infty}(S)}(x)\subset \{v\in L^\infty(T,Z): v(t)\in \widehat{\mathbf T}_{S(t)}(x(t))\ \mathrm{a.e.}\}.other possible partial results are discussed. Consequently the corresponding assertions for Clarke normal cones follow. We derive applications to nonsmooth constrained optimization problems, Nemytskii operators and minimization of integral functional with decomposable constraints.

Keywords

Cite

@article{arxiv.2607.03195,
  title  = {The Clarke tangent and normal cones to decomposable sets in Lebesgue spaces},
  author = {Petar Evgeniev},
  journal= {arXiv preprint arXiv:2607.03195},
  year   = {2026}
}