Is there a chain rule of any kind for the generalised directional derivative (of the Clarke type)? There is certainly a chain rule for the generalised gradient.



The generalised directional derivative is: $$f^\circ(x;v)=\limsup_{y \to x, t \downarrow 0} \frac{f(y+tv) - f(y)}{t},$$
where $x,v \in \mathbb R^n$ for some $n$, and $f:\mathbb R^n \to \mathbb R^m$. Albeit, the definition is valid over any Banach space (but I'd like to keep things to finite dimensions for simplicity's sake).

Some information about it can be found here: https://www.encyclopediaofmath.org/index.php/Clarke_generalized_derivative

[edit]

The naive version of the chain rule is false: Consider $f(x) = |x|, g(x) = -x$. We have that $(f\circ g)^\circ(0;1) = 1$ while $f^\circ(g(0); g^\circ(0;1)) = f^\circ(0;-1) = -1$. What I'm looking for must therefore be an inequality.