We prove a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we deduce contractivity estimates for analytic functions on the Riemann sphere, the complex plane and the Poincaré disc, with a complete description of the extremal functions, hence providing a unified and illuminating perspective on a number of results and conjectures on this subject, in particular on the Wehrl entropy conjecture of Lieb and Solovej. In this connection, we completely prove that conjecture for the group SU(2), by showing that the corresponding extremals are only the coherent states. Also, we show that the above (global) estimates admit a local counterpart and in all cases we characterize also the extremal subsets, among those of fixed assigned measure.
A monotonicity theorem for subharmonic functions on manifolds / Kulikov, Aleksei; Nicola, Fabio; Ortega-Cerdà, Joaquim; Tilli, Paolo. - In: ADVANCES IN MATHEMATICS. - ISSN 0001-8708. - STAMPA. - 479 A:(2025), pp. 1-18. [10.1016/j.aim.2025.110423]
A monotonicity theorem for subharmonic functions on manifolds
Nicola, Fabio;Tilli, Paolo
2025
Abstract
We prove a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we deduce contractivity estimates for analytic functions on the Riemann sphere, the complex plane and the Poincaré disc, with a complete description of the extremal functions, hence providing a unified and illuminating perspective on a number of results and conjectures on this subject, in particular on the Wehrl entropy conjecture of Lieb and Solovej. In this connection, we completely prove that conjecture for the group SU(2), by showing that the corresponding extremals are only the coherent states. Also, we show that the above (global) estimates admit a local counterpart and in all cases we characterize also the extremal subsets, among those of fixed assigned measure.File | Dimensione | Formato | |
---|---|---|---|
AIM2025.pdf
accesso aperto
Tipologia:
2a Post-print versione editoriale / Version of Record
Licenza:
Creative commons
Dimensione
482.72 kB
Formato
Adobe PDF
|
482.72 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/3001883