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 in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/3001883