No label defined (Q3972956)

[For the entire collection see Zbl 0719.00020.] A proximal normal \(\zeta\) to a closed set \(C\) at \(x\in C\) satisfies: for some \(\sigma>0\), \((\forall y\in C)\;\langle \zeta,y- x\rangle\leq\sigma\| y-x\|^ 2\). A proximal subgradient \(\zeta\) of a function \(f\) is defined by \(f(y)-f(x)+\sigma\| y-x\|^ 2\geq\langle \zeta,y-x\rangle\). The set of proximal normals generates the normal cone, by taking appropriate limits. These ideas are used to obtain an inclusion formula for a normal cone of an intersection of sets, and a theorem of regularity (solutions have essentially bounded derivative) for a calculus of variations problem under Lipschitz and coercivity conditions.