**Remark.** Now that Cadoi has disclosed the origin of the invariant (which was absent from the original formulation of the problem) my musings in trying to guess the symplectic geometry behind it seem a bit silly. I'll leave the post anyway, since it maybe useful in understanding the question. However, maybe there is something to be said for including motivation and sources (right from the start) in MO questions.

Dear Cadoi,

This is just a comment on your question, but since it is a bit long and I can see what I'm TeXing I'll post it as an answer. I myself have not seen this invariant before, however it has a symplectic look about it and may turn out to be some capacity in disguise. Note that if you define a Riemannian invariant by taking a symplectic capacity and evaluating it on unit codisc bundles, then you get a size invariant. This is because isometries lift to symplectic transformations that preserve the unit codisc bundle and because capacities are monotone.

The reason I say your invariant looks symplectic is because, seen geometrically, the differential of $f$ defines a Lagrangian submanifold of the cotangent bundle and the condition that the norm of the gradient of $f$ be at least $1$ on $K$ means this Lagrangian submanifold does not intersect the unit co-disc bundle over $K$. The quantity $\|f\|$ is a relative symplectic invariant of the pair of Lagrangians given by the zero section and the differential of $f$. I don't exactly remember Viterbo's notation for this, but it is in his paper Symplectic topology as the geometry of generating functions.

Just for the fun of it, *and without implying that this will give something non-trivial*, I'll attempt a "symplectization" of your invariant, at least to the extent that it might give size invariant of Riemannian or Finsler metrics that gives the same value on two metrics that have symplectomorphic codisc bundles:

Let $D^*M$ be the unit codisc bundle of your metric and let $K \subset D^*M$ be a compact subset. Consider the set $P_K$ of pairs of Lagrangian submanifolds $(E,F)$ such that (1) $E$ is contained in $D^*M$, (2) $F$ does not intersect $K$, and (3) both $E$ and $F$ are Hamiltonian isotopic to the zero section.

Define $S(D^*M,K)$ as the infimum of the Viterbo capacities of all pairs of Lagrangians $(E,F) \in P_K$ and now define $S(D^*M)$ as the supremum of the quantities $S(D^*M,K)$ as $K$ ranges over all compact subsets of $D^*M$.

If you restrict $E$ to always be the zero section, $F$ to the the graph of the differential of a function, and $K$ to the the codisc bundle over some compact subset of $M$ this is exactly your invariant.

*Caveat emptor*, this definition may require some fidgeting (like restricting the class of compact sets $K$) to make it non-obviously trivial.