Operatore non locale
# Operatore non locale

Un operatore non locale è una mappa che associa funzioni in uno spazio topologico a funzioni, tale che il valore della funzione immagine in ogni punto non può essere determinato in base ai valori della funzione input in un intorno di alcun punto. Un esempio di operatore non locale è la trasformata di Fourier.

## Definizione

Siano $X$ spazio topologico, $Y$ un insieme, $F(X)$ uno spazio funzionale di applicazioni con dominio in $X$, e $G(Y)$ uno spazio funzionale di applicazioni con dominio in $Y$. Due funzioni $u$ e $v$ in $F(X)$ sono dette equivalenti in $x\in X$ se esiste un intorno $N$ di $x$ tale che $u(x')=v(x')\;\forall x'\in N$. Un operatore $A:F(X)\to G$ è detto locale se per ogni $y\in Y$ esiste un elemento $x\in X$ tale che $Au(y)=Av(y)$ per tutte le funzioni $u,v\in F(X)$ che sono equivalenti in $x$. Un operatore è detto non locale se non soddisfa tale condizione.

Per un operatore locale $A$ è possibile, in principio, calcolare il valore $Au(y)$ in un punto $y$ dato il valore di $u$ in un intorno arbitrariamente piccolo di $x$. Ciò non è possibile per un operatore non locale.

## Esempi

Gli operatori differenziali sono esempi di operatori locali. Un'ampia classe di operatori non-locali è data dalle trasformate integrali, come quella di Fourier o di Laplace. Per una trasformata integrale nella forma

    $(Au)(y)=\int \limits _{X}u(x)\,K(x,y)\,dx,$

dove $K$ è una funzione kernel, è necessario conoscere il valore di $u$ quasi ovunque nel supporto di $K(\cdot ,y)$ per poter calcolare il valore di $Au$ in $y$.

