Sí, hay tales funciones.
Tenga en cuenta que el teorema fundamental del cálculo nos dice que si [math] f (x) [/ math] es continuo, entonces [math] \ int f (x) \, \ mathrm dx [/ math] es uniformemente continuo, diferenciable y su derivada es [math] f (x) [/ math], por lo que para encontrar una función que sea integrable pero para la cual [math] \ int f (x) \, \ mathrm dx [/ math] no es diferenciable necesitaremos mirar funciones que no son continuas .
Por ejemplo, considere la función [matemáticas] f (x) = \ left \ lfloor x \ right \ rfloor [/ math].
[matemáticas] \ displaystyle \ int f (x) \, \ mathrm dx = \ left \ lfloor x \ right \ rfloor \ left (x – {\ scriptsize \ frac {1} {2}} \ left \ lfloor x \ right \ rfloor – {\ scriptsize \ frac {1} {2}} \ right) [/ math]
- ¿Cuál es el valor de tan (x + y) si senx = 3/5 y acogedor = -5/13 (x en el cuadrante 1, y en el cuadrante 2)?
- ¡Cómo podemos resolver (p-1)! = P- (2!) + (P-3)! para primer p?
- ¿Existe una notación para la composición repetida de una función consigo misma, por ejemplo, algo como: [matemáticas] (f \ circ f \ circ f) (x) = f_3 (x) [/ math]?
- Sea P (x) = (x – 3) (x – 4) (x – 5). ¿Para cuántos polinomios Q (x) existe un polinomio R (x) de grado 3 tal que P (Q (x)) = P (x) R (x)?
- ¿Cómo puedo encontrar la derivada de y, con respecto a x en la ecuación [matemáticas] y ^ {n} \ veces x ^ {m} = (x + y) ^ {m + n} [/ matemáticas]?
La función [matemática] f (x) [/ matemática] consiste en segmentos horizontales (constantes) y es discontinua en cada número entero. La integral de [math] f (x) [/ math] consiste en segmentos lineales y es continua pero no uniforme en cada número entero. A lo largo de cada segmento lineal, la integral de [math] f (x) [/ math] tiene una derivada constante, pero en cada entero no tiene una derivada.
Aquí hay una gráfica de [matemáticas] f (x) [/ matemáticas] (en azul) y la integral de [matemáticas] f (x) [/ matemáticas] (en púrpura):
(ver Motor de conocimiento computacional)
Para que una función sea “diferenciable” debe tener una derivada en cada punto de su dominio. Como la integral de [math] f (x) [/ math] no tiene una derivada en los enteros, pero los enteros son parte de su dominio, la integral de [math] f (x) [/ math] no es diferenciable en cualquier intervalo que incluya al menos un número entero.