# Predual to Lipschitz maps with $p$ derivatives

Let $$p\in \mathbb{N}$$, and define $$\mathrm{Lip}_p$$ be the collection of functions from $$\mathbb{R}^d$$ to itself, with $$p-1$$ first derivatives bounded and whose $$p^{\mathrm{th}}$$ derivative is Lipschitz. This can be made into a Banach space using the norm $$\|f\| \triangleq \max_{| i | \leq p-1} \sup_{x\in\mathbb{R}^d} \left \|(D^if) (x) \right \|_{\mathbb{R}^d} + \mathrm{Lip}(f^{(p)}),$$ where $$\mathrm{Lip}(h)$$ assigns to a Lipschitz function $$h$$ its minimal Lipschitz constant. (This definition is analogous to that of a Hölder space)

In this article, it was shown that if $$p=0$$, then the predual of $$\mathrm{Lip}_0$$ is uniquely defined. Is this still the case for positive integers $$p$$?

• Your norm function is not finite for all $f$, so it does not really give you a Banach space.. – Zatrapilla May 7 at 12:39
• I mean the collection on which it is finite. – AIM_BLB May 7 at 12:40
• I think the usual thing is to take seminorms similar to your norm but taking the supremum only over compact sets. The dual of the resulting topological vector space is quite complicated if you do that though. – Zatrapilla May 7 at 12:44
• In that case, would it have a (non-trivial) pre-dual? – AIM_BLB May 7 at 12:45
• Well, the predual would contain at least all compactly-supported distributions of degree at most p, I think. – Zatrapilla May 7 at 13:28