Funzione di test

Da Wikipedia, l'enciclopedia libera.
Una bump function in più variabili

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.

Definizione[modifica | modifica wikitesto]

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

Lo spazio delle funzioni bump su {\Bbb R}^n è denotato con C^\infty_0({\Bbb R}^n) o C^\infty_c({\Bbb R}^n). Lo spazio duale di tale spazio munito della relativa topologia è lo spazio delle distribuzioni.

Funzione di cutoff[modifica | modifica wikitesto]

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 \xi: \R \to \R tale che:

\xi \in C^\infty (\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.

Costruzione di una funzione di cutoff[modifica | modifica wikitesto]

Venn diagram of three sets.svg

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

Approssimazione di una funzione[modifica | modifica wikitesto]

Definendo:

\xi_n(x)=\xi\left(\frac{x}{n}\right)

data una qualsiasi funzione u si può costruire una successione di funzioni:

u_n = u \cdot \xi_n

a supporto compatto che al divergere di n converge verso la funzione originaria. Con opportuna regolarità, questa convergenza potrà essere uniforme, in norma Lp, e così via.

Funzione di troncatura[modifica | modifica wikitesto]

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 \beta:\R \to \R tale che:

\beta \in C^\infty(\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}

Note[modifica | modifica wikitesto]

  1. ^ Vedi ad es. Amiya Mukherjee, Topics in Differential Topology, Hindustan Book Agency, 2005, ISBN 8185931569

Bibliografia[modifica | modifica wikitesto]

  • (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)

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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