Suppose R is the set of real numbers and all integrals are of the subdivision-refinement
type. Suppose each of G and H is a function from R ×R to R and each of f and h is
a function from R to R such that f(a) = h(a), dh is of bounded variation on
[a,x], and ∫
axH2 = ∫
axG2 = 0 for x > a. The following two statements are
equivalent:
(1) If x > a, then f is bounded on [a,x], ∫
axH exists, ∫
axG exists,
(RL)∫
ax(fG + fH) exists, and
(2) If a ≦ p < q ≦ x, then each of ⋅p Πq(1 + H) and ⋅p Πq(1 − G)−1 exists and
neither is zero,
exists, and
f(x) | = f(a)⋅a Πx(1 + H)(1 − G)−1 | |
| | + (R)∫
ax[⋅
t Πx(1 + H)(1 + G)][(1 − G)−1]dh. | | |
|