LEMA 2.5. Sean a, b Є , a < b, sean  : {a, b}  una función continua.

Si existe una
función I: {a, b} x {a, b}  que satisfacen las propiedades (A) y (B) entonces

(i) La función I(a, x) es solución del problema a valor inicial

𝑑
𝑑𝑥
I(a, b) =  (x), I (a, a)=0
En el intervalo [a, b](en los extremos del intervalo se deben considerar derivadas
laterales)
(ii) I es una única.
La propiedad de unicidad establecida en el lema anterior permite dar la siguiente definición.
DEFINICION 2.6. (Integral de Calvacante -todorov)

Sean  :[a, b]  una función continua. Si existe una función I:[a,b] x [a,b]  que
satisface las propiedades (A) Y (B) se dice  es integrable Calvacante-Todorov sobre [a, b]
y se define la integral de Calvante-Todorov de  sobre el intervalo [a, b] por

b
(CT )  (t )dt  L(a, b).
a

OBSERVACION 2.7. Si ρ : [a¸ b] → ℝ una función continua y existe una función I = [a¸ b]
× [a¸ b] → ℝ que satisface las propiedades (A) y (B) y si a      b entonces la
restricción I |[ ,  ][ ,  ] satisface las propiedades (A) y (B) con respecto a  |[ ,  ].

Por lo tanto, si  es integrable Calvante-Todorov sobre [ ,  ] y a      b entonces

Se tiene que  es integrables Calvante-Todorov en [a,b], entonces  es integrable

Calvante-Todorov en [ a, b] para todo x  [a, b] , la función

x
F ( x)  (CT )  (t )dt
a

Es diferenciable en el intervalo (a, b) y

d x
((CT )   (t )dt )   ( x)
dx a

Para todo x | a, b | .

DEMOSTRACION. De la observación 2.7 sigue la integrabilidad en [a, x] para x | a, b | .

Sea I = [a¸ b] × [a¸ b] → ℝ definida por

y
I ( x, y)  (CT )  (t )dt
x

Entonces I satisface las propiedades (A) y (B)

Por la propiedad (A) se tiene que

I (a, x  h)  I (, x)  I ( x, x  h)

Combinado esto ultimo con la propiedad (B) se obtiene

 d x I (a, x  h)  I (a, x)
((CT )   (t )dt )  lim
dx a
h0 h
I ( x, x  h )
 lim
h 0 h
  ( x)

Teorema 2.9 (Teorema débil de existencia). Sean  :[a, b]  una función continua. Si
 posee una antiderivada R en [ a, b] , entonces  es integrable Calvacante-Todorov en
[ a, b] y
b
(CT )  (t )dt  R(b)  R(a)
a

DEMOSTRACION. I = [a¸ b] × [a¸ b] → ℝ definida por

I ( x, y )  R ( y )  R ( x )

Entonces I satisface las propiedades (A) Y (B), por lo tanto

b
(CT )  (t )dt  I (a, b)  R(b)  R(a)
a

Del teorema Fundamental del Cálculo para la integral de Riemann sigue inmediatamente el
siguiente resultado.

COLORARIO 2.10. Si  :[a, b]  es una función continua que posee antiderivada

entonces
b b
(CT )  (t )dt  ( R) p(t )dt
a a