In matematica, il teorema del massimo modulo è un risultato di analisi complessa.

Afferma che se una funzione è analitica in un dominio (aperto e connesso) , allora ammette un massimo in se e solo se è una funzione costante.

In particolare, se è una funzione analitica non costante in un dominio limitato e continua sul bordo allora il valore massimo di sulla chiusura di (che esiste per il teorema di Weierstrass) viene raggiunto su .

Analogo risultato vale per il minimo ma solo se la funzione non ha zeri all'interno del dominio .

Dimostrazione

[modifica | modifica wikitesto]

Supponiamo che ammetta un massimo in un punto . Essendo aperto, segue che esiste tale che il cerchio di centro e raggio sia contenuto in .

Dalla formula integrale di Cauchy segue che

e quindi, dalla disuguaglianza di Darboux

dove e l'uguaglianza vale se e solo se è costante (con ) su e quindi su tutto per prolungamento analitico. Il teorema segue quindi osservando che è il massimo di e dunque si deve necessariamente avere .

Bibliografia

[modifica | modifica wikitesto]

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica