Hola
Hola, curioseando, me he topado con esto, me parece que es correcto, me puse a tantear y con la IA lo deduje.
\( \mathcal{E}[f(x)] = \displaystyle\lim_{y \to{1}}{\frac{\frac{f(x+y-1) - f(x)}{y-1} -\color{red} (f(x) - f(x)y)\color{black}}{y}} \)
El término de la derecha (en rojo) no aporta nada. Su límite es siempre cero. Y el límite del denominador es siempre uno. Así que es lo mismo que si simplemente escribes.
\( \mathcal{E}[f(x)] = \displaystyle\lim_{y \to{1}}\dfrac{f(x+y-1) - f(x)}{y-1} \)
que es por definición \( f'(x) \).
Es decir lo que tienes ahí escrito es la derivada de \( f \) en \( x \) "de toda la vida".
Ejemplo 1º:
\( \mathcal{E}[e^x] = \displaystyle\lim_{y \to1}{\frac{\frac{e^{x+y-1} - e^x}{y-1} - (e^x - e^x y)}{y}} \)
1. Identificación de términos: Al tender \( y \to 1 \), el primer bloque equivale a la definición de la derivada de Newton, resultando en \( f'(x) = e^x \).
2. Regularización del término de ajuste: El segundo bloque \( (e^x - e^x y) \) tiende a \( 0 \) cuando \( y = 1 \), actuando como un filtro de ruido estructural.
3. Resultado Final: \( \mathcal{E}[e^x] = \frac{e^x - 0}{1} = e^x \)
Es curioso que hables de "esquivar la singularidad de la división por cero" y pongas un ejemplo donde yo no veo ninguna singularidad de dividir por cero; a no ser que te refieras al límite de toda la vida que se usa en la definición de derivada.
"Filtro de ruido estructural"- Terminología estrambótica para un término que no aporta nada.
Edito
Me parece que para que la singularidad se esquive de alguna forma tendría que ser así:
\( \mathcal{E}_{\epsilon}[f(x)] = \displaystyle\lim_{y \to1}{ \left[ \frac{\frac{f(x+y-1) - f(x-y+1)}{2(y-1) + \epsilon} -\color{red} f(x)(1-y)\color{black}}{y} \right]}
\)
Con epsilon infinitesimal para singularidades 1/0. Lo he corregido.
Así de nuevo el término de la derecha (en rojo) y el denominador \( y \) no aporta nada. Es lo mismo que escribir:
\( \mathcal{E}_{\epsilon}[f(x)] = \displaystyle\lim_{y \to1}\frac{f(x+y-1) - f(x-y+1)}{2(y-1) + \epsilon}
\)
Ese límite es:
\( \dfrac{\displaystyle\lim_{x' \to x^+}{}f(x)-\displaystyle\lim_{x' \to x^-}{}f(x)}{\epsilon} \)
y no se que aporta.
Si le quitas el epsilon del denominador volvería a ser la derivada, si la función es derivable en cero; en otro caso es una suerte de promedio simétrico de pendiente a izquierda y derecha de \( x \). En cualquier caso es un límite que ya aparece en la literatura y se usa, entre otras cosas, en aproximaciones numéricas de la derivada por ser más estable que el límite usual.
Saludos.