Modulo di continuità

Da Wikipedia, l'enciclopedia libera.

In matematica, il modulo di continuità è uno strumento per misurare il comportamento di una funzione. È un modo per analizzare funzioni "patologiche", ma che soddisfano comunque certe condizioni molto generalizzate di regolarità.

Storia[modifica | modifica wikitesto]

La definizione è stata introdotta da Henri Lebesgue nel 1910 in riferimento all'oscillazione di una trasformata di Fourier, ma il concetto era conosciuto già da tempo. De la Vallée Poussin nel 1919 nominava come termine alternativo "modulo di oscillazione", ma concludeva "ma continueremo a usare "modulo di continuità" per sottolineare l'uso che vogliamo farne".

Definizione[modifica | modifica wikitesto]

Siano f:\Omega \rightarrow \mathbb{R} una funzione di dominio \Omega \subset \mathbb{R} aperto a valori in \mathbb{R}, x_0 un punto di \Omega e \delta un numero reale positivo. Si definisce modulo di continuità locale di f in x_0 una funzione \omega_{x_0}:\mathbb{R^+} \rightarrow \mathbb{R^+} tale che

 |f(x_0)-f(x)| \leq \omega_{x_0}(\delta) \quad \quad \forall x \in \Omega \text{ tale che } |x_0-x| \leq \delta.

Intuitivamente, nel caso reale \omega_{x_0}(\delta) esprime la massima pendenza delle rette fissate in f(x_0) e passanti per f(x), con x punto distante da x_0 meno di \delta.

È invece detto modulo di continuità globale una funzione \omega:\mathbb{R^+} \rightarrow \mathbb{R^+} tale che

 |f(x_0)-f(x)| \leq \omega(\delta) \quad \quad \forall x,x_0 \in \Omega \text{ tali che } |x-x_0| \leq \delta.

In questo caso \omega(\delta) esprime la massima pendenza di una qualsiasi retta passante per due punti del grafico di f, che siano immagine di punti di \Omega distanti al più \delta.

La definizione si può facilmente estendere a funzioni tra spazi normati sostituendo al modulo la norma dello spazio selezionato. Intuitivamente, il modulo di continuità misura l'uniforme continuità della funzione f.

Proprietà[modifica | modifica wikitesto]

Si dimostra che f è continua in x_0 se e solo se essa ammette un modulo di continuità locale \omega_{x_0} tale che \lim_{\delta \rightarrow 0}\omega_{x_0}(\delta)= 0.
Analogamente, si dimostra che una funzione f è uniformemente continua se e solo se ammette un modulo di continuità globale \omega_f tale che \lim_{\delta \rightarrow 0}\omega_f(\delta) = 0
Un insieme di funzioni continue A è equicontinuo se e solo se l'inviluppo superiore \omega_A(\delta) = \sup_{f \in A} \omega_f(\delta) dei moduli di continuità globali dei suoi elementi è finito per ogni \delta e inoltre \lim_{\delta \rightarrow 0}\omega_{A}(\delta) = 0

Esempi[modifica | modifica wikitesto]

La connessione tra regolarità in termini di funzione liscia e modulo di continuità per funzioni definita sull'intera retta reale è molto delicata. Basti ad esempio la considerazione che, se f=\sin(x^2), \omega_f(\delta)=2 per ogni \delta, anche se \sin(x^2) è infinitamente differenziabile. La discussione si fa più particolareggiata se il dominio è un intervallo chiuso (più in generale uno spazio compatto).

Per una funzione derivabile in un intervallo il modulo di continuità ha crescita sub-lineare, cioè soddisfa:

\omega_f(\delta)\leq C\delta

per una costante C che risulta dipendente dal valore assoluto della sua derivata.

Le funzioni hölderiane corrispondono a precisi moduli di continuità. f appartiene alla classe C^{0,\alpha} se e solo se:

\omega_f(\delta)\leq C\delta^\alpha

per qualche costante C.

Ribaltando il punto di vista, affinché una funzione \omega definita sui reali positivi sia il modulo di continuità di una qualche funzione continua, è condizione necessaria e sufficiente che essa sia non decrescente, continua, subadditiva e che \omega(0)=0.

Moduli di continuità di ordine superiore[modifica | modifica wikitesto]

Dalla considerazione che:

\omega_f(\delta)=\omega(f, \delta)=\sup\limits_{x; |h|<\delta;}\left|\Delta_h(f,x)\right|

dove \Delta_h(f,x) è la differenza finita di prim'ordine di f in x, sostituendo tale differenza con una di ordine superiore otteniamo un modulo di continuità di ordine n:

\omega_n(f, \delta)=\sup\limits_{x; |h|<\delta;}\left|\Delta^n_h(f,x)\right|

Bibliografia[modifica | modifica wikitesto]

  • Ch. de la Vallée Poussin, L'approximation des fonctions d'une variable réelle, Gauthier-Villars, Paris, 1919
  • G. Choquet, Cours D'Analyse. Tome II, Topologie, Masson et Cie, Paris, 1964.
  • Ch. de la Vallée Poussin, L'approximation des fonctions d'une variable réelle, Gauthier-Villars, Paris, 1952 (reprint of 1919 edition).
  • H. Lebesgue, Sur les intégrales singulières, Ann. Fac. Sci. Univ. Toulouse, ser 3 vol 1, 1909, 25-117, reproduced in: Henri Lebesgue, Œuvres scientifiques, Vol. 3., pp. 259-351.
  • K.-G. Steffens, The history of approximation theory, Birkhäuser, Boston 2006.
  • A.V. Efimov, Modulus of continuity, Encyclopaedia of Mathematics, Springer, 2001. ISBN 1-4020-0609-8.

Voci correlate[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica