Funzione di test

In matematica una funzione di test o funzione bump è una funzione di variabile reale a valori reali liscia, a supporto compatto e definita sullo spazio euclideo. Si tratta di una classe di funzioni di particolare importanza in quanto permette di definire lo spazio delle distribuzioni, il duale dello spazio delle funzioni di test.

Una funzione di test di particolare importanza è la funzione di cutoff, che vale identicamente 1 in un determinato insieme e decade a 0 in modo liscio non appena si esce da tale insieme.

Una funzione di test è una funzione di variabile reale ${\displaystyle f:{\mathbb {R} }^{n}\to {\mathbb {R} }}$ liscia a supporto compatto definita sullo spazio euclideo ${\displaystyle {\mathbb {R} }^{n}}$.

Lo spazio delle funzioni bump su ${\displaystyle {\mathbb {R} }^{n}}$ è denotato con ${\displaystyle C_{0}^{\infty }({\mathbb {R} }^{n})}$ o ${\displaystyle C_{c}^{\infty }({\mathbb {R} }^{n})}$. Lo spazio duale di tale spazio munito della relativa topologia è lo spazio delle distribuzioni.

Per praticità, si dà la definizione riferita all'intorno dell'origine [-1,1]; è chiaro come la costruzione può essere generalizzata per qualsiasi intervallo, componendo con opportuni diffeomorfismi tra i due insiemi.

Una funzione di cutoff è definita come una funzione ${\displaystyle \xi :\mathbb {R} \to \mathbb {R} }$ tale che:

${\displaystyle \xi \in C^{\infty }(\mathbb {R} )\qquad \xi (x)={\begin{cases}1&{\mbox{ se }}|x|\leq 1\\0\leq \xi (x)\leq 1&{\mbox{ altrove}}\\0&{\mbox{ se }}|x|>2\end{cases}}}$

È una particolare funzione liscia a supporto compatto, cioè una funzione test.

Si possono costruire funzioni di cutoff utilizzando il metodo della convoluzione. Con più precisione, si può determinare una funzione che sia identicamente 1 su un dato insieme compatto e 0 al di fuori di un suo intorno (cioè con supporto contenuto in esso).

Se ${\displaystyle K}$ è il compatto desiderato e ${\displaystyle U}$ un aperto contenente ${\displaystyle K}$, il metodo è il seguente: si identifica un intorno compatto di ${\displaystyle K}$ dentro ${\displaystyle U}$ tale che sia ${\displaystyle K\subset {\mbox{Int}}(V)\subset V\subset U}$ e si prende la funzione indicatrice ${\displaystyle \chi _{V}}$ del compatto ${\displaystyle V}$. Di tale funzione si prende la convoluta con un opportuno mollificatore col supporto sufficientemente piccolo, che non intersechi cioè né ${\displaystyle K}$ né il complementare di ${\displaystyle U}$: si otterrà una funzione liscia che dentro ${\displaystyle K}$ è rimasta identicamente 1 e il cui supporto è ancora contenuto in ${\displaystyle U}$.

Definendo:

${\displaystyle \xi _{n}(x)=\xi \left({\frac {x}{n}}\right)}$

data una qualsiasi funzione ${\displaystyle u}$ si può costruire una successione di funzioni:

${\displaystyle u_{n}=u\cdot \xi _{n}}$

a supporto compatto che al divergere di ${\displaystyle n}$ converge verso la funzione originaria. Con opportuna regolarità, questa convergenza potrà essere uniforme, in norma L^p, e così via.

Strettamente correlata con la funzione di cutoff è un altro tipo di funzione, sul cui nome la comunità scientifica non ha ancora raggiunto il consenso (a volte essa stessa viene detta cutoff^[1]): si tratta di una applicazione che assume il valore 0 sui numeri negativi, 1 sui numeri maggiori di 1 e che vari in modo liscio nell'intervallo [0,1]. Essa viene usata ad esempio nella costruzione della partizione differenziabile dell'unità.

Essa è una funzione ${\displaystyle \beta :\mathbb {R} \to \mathbb {R} }$ tale che:

${\displaystyle \beta \in C^{\infty }(\mathbb {R} )\qquad \beta (x)={\begin{cases}0&{\mbox{ se }}x\leq 0\\0\leq \beta (x)\leq 1&{\mbox{ altrove}}\\1&{\mbox{ se }}x\geq 1\end{cases}}}$

• (EN) K. O. Mead and L. M. Delves, "On the convergence rate of generalized Fourier expansions," IMA J. Appl. Math., vol. 12, pp. 247–259 (1973)

• Classe C di una funzione
• Distribuzione (matematica)
• Funzione liscia
• Funzione a supporto compatto
• Mollificatore
• Spazio duale

• (EN) Eric W. Weisstein, Funzione di test, su MathWorld, Wolfram Research.
• (EN) S. G. Johnson, Saddle-point integration of C_∞ "bump" functions, online MIT notes (2007).

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

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