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 bump function in più variabili

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

Una funzione di test è una funzione di variabile reale   liscia a supporto compatto definita sullo spazio euclideo  .

Lo spazio delle funzioni bump su   è denotato con   o  . Lo spazio duale di tale spazio munito della relativa topologia è lo spazio delle distribuzioni.

Funzione di cutoff

modifica

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   tale che:

 

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

Costruzione di una funzione di cutoff

modifica
 

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

Approssimazione di una funzione

modifica

Definendo:

 

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

 

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

Funzione di troncatura

modifica

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   tale che:

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

Bibliografia

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

Collegamenti esterni

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