En matemáticas , un operador delta es un operador lineal equivalente a desplazamiento en el espacio vectorial de polinomios en una variable sobre un campo que reduce grados en uno.![{\displaystyle Q\dos puntos \mathbb {K} [x]\longrightarrow \mathbb {K} [x]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Decir que es equivalente al desplazamiento significa que si , entonces![{\displaystyle Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(x)=f(x+a)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {(Qg)(x)=(Qf)(x+a)}.\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En otras palabras, si es un "desplazamiento" de , entonces también es un desplazamiento de y tiene el mismo "vector de desplazamiento" .![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Qf}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Qg}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Decir que un operador reduce el grado en uno significa que si es un polinomio de grado , entonces es un polinomio de grado o, en el caso , es 0.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Qf}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n-1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Qf}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
A veces, un operador delta se define como una transformación lineal equivalente a desplazamiento en polinomios en la que se asigna a una constante distinta de cero. Aparentemente más débil que la definición dada anteriormente, se puede demostrar que esta última caracterización es equivalente a la definición establecida cuando tiene característica cero, ya que la equivarianza por desplazamiento es una condición bastante fuerte.![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
![{\displaystyle (\Delta f)(x)=f(x+1)-f(x)\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- es un operador delta.
- La diferenciación con respecto a x , escrita como D , también es un operador delta.
- Cualquier operador de la forma
![{\displaystyle \sum _{k=1}^{\infty }c_{k}D^{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- (donde D n (ƒ) = ƒ ( n ) es la n - ésima derivada ) con es un operador delta. Se puede demostrar que todos los operadores delta se pueden escribir de esta forma. Por ejemplo, el operador de diferencia proporcionado anteriormente se puede expandir como
![{\displaystyle c_{1}\neq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta =e^{D}-1=\sum _{k=1}^{\infty }{\frac {D^{k}}{k!}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {(\delta f)(x)={{f(x+\Delta t)-f(x)} \over {\Delta t}}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- la aproximación de Euler de la derivada habitual con un tiempo de muestra discreto . La formulación delta obtiene un número significativo de ventajas numéricas en comparación con el operador por turnos en el muestreo rápido.
![{\displaystyle \Delta t}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Polinomios básicos
Cada operador delta tiene una secuencia única de "polinomios básicos", una secuencia polinomial definida por tres condiciones:![{\displaystyle Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{0}(x)=1;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{n}(0)=0;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Qp_{n})(x)=np_{n-1}(x){\text{ para todos }}n\in \mathbb {N} .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tal secuencia de polinomios básicos es siempre de tipo binomial y se puede demostrar que no existen otras secuencias de tipo binomial. Si se eliminan las dos primeras condiciones anteriores, entonces la tercera condición dice que esta secuencia polinómica es una secuencia de Sheffer , un concepto más general.
Ver también
Referencias
- Nikol'Skii, Nikolai Kapitonovich (1986), Tratado sobre el operador de desplazamiento: teoría de la función espectral , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-15021-5
enlaces externos