| Abstract: | The volume of the unit ball of the Lebesgue sequence space  is very well known since the times of Dirichlet. We calculate the volume of the unit ball of the mixed norm  , whose special cases are nowadays popular in machine learning under the name of group Lasso. We give two proofs of the main results, one in the spirit of Dirichlet, the other one using polarization identities. The result is given by a closed formula involving the gamma function, only slightly more complicated than the one of Dirichlet. We consider the real as well as the complex case. We also consider the anisotropic unit balls. We close by an overview of open problems. |
