<p>We will show that a multifunction is strictly proto-differentiable at a point of its graph if and only if it is graphically strictly differentiable, i.e., the graph of the multifunction locally coincides, up to a change of coordinates, with the graph of a single-valued mapping, which is strictly differentiable at the transformed reference point. This result allows point-based characterizations of strict proto-differentiability in terms of various generalized derivatives. Further we will prove that under strict proto-differentiability the properties of strong metric regularity, metric regularity and strong metric subregularity are equivalent. Finally, under strict proto-differentiability of the subgradient mapping, we provide a novel second-order relation between function values and subgradients for prox-regular functions which constitutes a nonsmooth extension of the trapezoidal rule of numerical integration.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Strict Proto-Differentiability of Set-Valued Mappings

  • Helmut Gfrerer

摘要

We will show that a multifunction is strictly proto-differentiable at a point of its graph if and only if it is graphically strictly differentiable, i.e., the graph of the multifunction locally coincides, up to a change of coordinates, with the graph of a single-valued mapping, which is strictly differentiable at the transformed reference point. This result allows point-based characterizations of strict proto-differentiability in terms of various generalized derivatives. Further we will prove that under strict proto-differentiability the properties of strong metric regularity, metric regularity and strong metric subregularity are equivalent. Finally, under strict proto-differentiability of the subgradient mapping, we provide a novel second-order relation between function values and subgradients for prox-regular functions which constitutes a nonsmooth extension of the trapezoidal rule of numerical integration.