Pansu derivative
In mathematics, the Pansu derivative is a derivative on a Carnot group, introduced by Pierre Pansu (1989). A Carnot group G {\displaystyle G} admits a one-parameter family of dilations, δ s : G → G {\displaystyle \delta _{s}\colon G\to G} .