Pathwise differentiability of a statistical functional ($D{\psi }_P(g)=P(\phi g)$)

A statistical functional is pathwise differentiable relative to chosen statistical paths if its derivative along every path depends only on that path's score function and defines a bounded linear functional on their statistical tangent space. The Riesz representation theorem expresses this derivative as an L2 inner product with a unique element of the statistical tangent space, the canonical gradient. A path family and the associated derivative remainder conditions must both be specified; a formal derivative along one convenient family does not establish differentiability along all paths.

An influence-function representer is a centered square-integrable function representing derivatives of a statistical functional along all admissible score functions. Representers may differ by a function orthogonal to the statistical tangent space. This pathwise definition is distinct from defining an influence function solely by point-mass contamination paths.

The canonical gradient is the influence-function representer in the statistical tangent space $\mathcal{T}$. It equals the orthogonal projection onto $\mathcal{T}$ of any representer. Every other representer differs from it by an element of ${\mathcal{T}}^{\perp }$, so the Pythagorean theorem in an inner-product space gives it minimum variance. For $\psi (P)=Pa$ in an unrestricted density model with bounded $a$, it is $a-Pa$.