Mutual existence of product integrals in normed rings
HTML articles powered by AMS MathViewer
- by Jon C. Helton PDF
- Trans. Amer. Math. Soc. 211 (1975), 353-363 Request permission
Abstract:
Definitions and integrals are of the subdivision-refinement type, and functions are from $R \times R$ to N, where R denotes the set of real numbers and N denotes a ring which has a multiplicative identity element represented by 1 and a norm $| \cdot |$ with respect to which N is complete and $|1| = 1$. If G is a function from $R \times R$ to N, then $G \in O{M^\ast }$ on [a, b] only if (i) $_x{\Pi ^y}(1 + G)$ exists for $a \leq x < y \leq b$ and (ii) if $\varepsilon > 0$, then there exists a subdivision D of [a, b] such that, if $\{ {x_i}\} _{i = 0}^n$ is a refinement of D and $0 \leq p < q \leq n$, then \[ \left |{}_{x_{p}}\prod ^{x_q} (1 + G) - \prod \limits _{i = p + 1}^q {(1 + {G_i})} \right | < \varepsilon ;\] and $G \in O{M^ \circ }$ on [a, b] only if (i) $_x{\Pi ^y}(1 + G)$ exists for $a \leq x < y \leq b$ and (ii) the integral $\smallint _a^b|1 + G - \Pi (1 + G)|$ exists and is zero. Further, $G \in O{P^ \circ }$ on [a, b] only if there exist a-subdivision D of [a, b] and a number B such that, if $\{ {x_i}\} _{i = 0}^n$ is a refinement of D and $0 < p \leq q \leq n$, then $|\Pi _{i = p}^q(1 + {G_i})| < B$. If F and G are functions from $R \times R$ to N, $F \in O{P^ \circ }$ on [a, b], each of ${\lim _{x,y \to {p^ + }}}F(x,y)$ and ${\lim _{x,y \to {p^ - }}}F(x,y)$ exists and is zero for $p \in [a,b]$, each of ${\lim _{x \to {p^ + }}}F(p,x),{\lim _{x \to {p^ - }}}F(x,p),{\lim _{x \to {p^ + }}}G(p,x)$ and ${\lim _{x \to {p^ - }}}G(x,p)$ exists for $p \in [a,b]$, and G has bounded variation on [a, b], then any two of the following statements imply the other: (1) $F + G \in OM^\ast$ on [a, b], (2) $F \in OM^\ast$ on [a, b], and (3) $G \in OM^\ast$ on [a, b]. In addition, with the same restrictions on F and G, any two of the following statements imply the other: (1) $F + G \in OM^\circ$ on [a, b], (2) $F \in OM^\circ$ on [a, b], and (3) $G \in OM^\circ$ on [a, b]. The results in this paper generalize a theorem contained in a previous paper by the author [Proc. Amer. Math. Soc. 42 (1974), 96-103]. Additional background on product integration can be obtained from a paper by B. W. Helton [Pacific J. Math. 16 (1966), 297-322].References
- William D. L. Appling, Interval functions and real Hilbert spaces, Rend. Circ. Mat. Palermo (2) 11 (1962), 154–156. MR 154081, DOI 10.1007/BF02843951
- Burrell W. Helton, Integral equations and product integrals, Pacific J. Math. 16 (1966), 297–322. MR 188731, DOI 10.2140/pjm.1966.16.297
- Burrell W. Helton, A product integral representation for a Gronwall inequality, Proc. Amer. Math. Soc. 23 (1969), 493–500. MR 248310, DOI 10.1090/S0002-9939-1969-0248310-8
- Jon C. Helton, An existence theorem for sum and product integrals, Proc. Amer. Math. Soc. 39 (1973), 149–154. MR 317048, DOI 10.1090/S0002-9939-1973-0317048-1
- Jon C. Helton, Bounds for products of interval functions, Pacific J. Math. 49 (1973), 377–389. MR 360969, DOI 10.2140/pjm.1973.49.377
- Jon C. Helton, Mutual existence of product integrals, Proc. Amer. Math. Soc. 42 (1974), 96–103. MR 349925, DOI 10.1090/S0002-9939-1974-0349925-0
- Jon C. Helton, Mutual existence of sum and product integrals, Pacific J. Math. 56 (1975), no. 2, 495–516. MR 405098, DOI 10.2140/pjm.1975.56.495
- A. Kolmogoroff, Untersuchungen über denIntegralbegriff, Math. Ann. 103 (1930), no. 1, 654–696 (German). MR 1512641, DOI 10.1007/BF01455714
- J. S. MacNerney, Integral equations and semigroups, Illinois J. Math. 7 (1963), 148–173. MR 144179
- P. R. Masani, Multiplicative Riemann integration in normed rings, Trans. Amer. Math. Soc. 61 (1947), 147–192. MR 18719, DOI 10.1090/S0002-9947-1947-0018719-6
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 211 (1975), 353-363
- MSC: Primary 28A45; Secondary 46G99
- DOI: https://doi.org/10.1090/S0002-9947-1975-0387536-7
- MathSciNet review: 0387536