I believe that mathematical reality lies outside us, that our function is to discover or observe it, and that the theorems which we prove, and which we describe grandiloquently as our “creations,” are simply the notes of our observations.

G.H. Hardy

This research section is devoted to the exposition of the developments at the intersection of two active fields of mathematics: Hardy inequalities and related analysis, and the noncommutative analysis in the setting of nilpotent Lie groups of different types. *This topic can be found in the book *“Hardy Inequalities on Homogeneous Groups”* which is dedicated to 100 years of Hardy inequalities (1918-2018).*

## Hardy Inequalities on Homogeneous Groups

**Theorem.** *(Hardy inequalities on homogeneous groups) *Let be a homogeneous group of homogeneous dimension and let be any homogeneous quasi-norm on . Let be the radial derivative, with the radial direction taken with respect to the quasi-norm

(i) Let be a complex-valued function. Then we have the following Hardy inequality on homogeneous group

when the constant is sharp. Moreover, the equality above is attained if and only if

(ii) For a real valued function and with the notations

we have the exact form of the relainder:

where

(iii) For , for all complex-valued functions we have

that is, when , Part (ii) holds for complex-valued functions as well.

Of course, dropping the nonnegative remainder terms in (ii) and (iii), we obtain (i).