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
			
		
	
	
	
			      	