Pansu derivative

From HandWiki

In mathematics, the Pansu derivative is a derivative on a Carnot group, introduced by Pierre Pansu (1989). A Carnot group G admits a one-parameter family of dilations, δs:G→G. If G1 and G2 are Carnot groups, then the Pansu derivative of a function f:G1→G2 at a point x∈G1 is the function Df(x):G1→G2 defined by

Df(x)(y)=lims→0δ1/s(f(x)−1f(xδsy)),

provided that this limit exists.

A key theorem in this area is the Pansu–Rademacher theorem, a generalization of Rademacher's theorem, which can be stated as follows: Lipschitz continuous functions between (measurable subsets of) Carnot groups are Pansu differentiable almost everywhere.

References