On sets that are uniquely determined by a restricted set of integrals

Author:
J. H. B. Kemperman

Journal:
Trans. Amer. Math. Soc. **322** (1990), 417-458

MSC:
Primary 44A60; Secondary 28A99, 49R99, 60A10

DOI:
https://doi.org/10.1090/S0002-9947-1990-1076178-4

MathSciNet review:
1076178

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: In many applied areas, such as tomography and crystallography, one is confronted by an unknown subset of a measure space such as , or an unknown function on , having known moments (integrals) relative to a specified class of functions . Usually, these -moments do not fully determine the object or function . We will say that is a set of uniqueness if no other function has the same -moments as in so far as the latter moments exist. Here, is identified with its indicator function.

Within this general setting and with no further assumptions, we develop a powerful sufficient condition for uniqueness, called generalized additivity. When is a finite class, this condition of generalized additivity is shown to be also necessary for uniqueness. For each , which is not the indicator function of a set of uniqueness, there exist infinitely many sets having the same -moments as , provided is nonatomic or regular and, moreover, `strongly rich', a condition which is satisfied in many applications.

Using such general results, we also study the uniqueness problem for measures with given marginals relative to a given system of projections . Here, one likes to know, for instance, what subsets of are uniquely determined by the corresponding set of projections (*X*-ray pictures). It is allowed that . Our results are also relevant to a wide class of optimization problems.

**[1]**N. I. Aheizer and M. Krein,*Some questions in the theory of moments*, translated by W. Fleming and D. Prill. Translations of Mathematical Monographs, Vol. 2, American Mathematical Society, Providence, R.I., 1962. MR**0167806****[2]**W. A. Carrington,*Moment problems and ill-posed operator equations with convex constraints*, Ph.D. Thesis, Washington Univ., St. Louis, 1982.**[3]**P. C. Fishburn, J. C. Lagarias, J. A. Reeds, and L. A. Shepp,*Sets uniquely determined by projections on axes. I. Continuous case*, SIAM J. Appl. Math.**50**(1990), no. 1, 288–306. MR**1036243**, https://doi.org/10.1137/0150017**[4]**-,*Sets uniquely determined by projections on axes*II.*Discrete case*, Preprint, 13 pp.**[5]**Sam Gutmann, J. H. B. Kemperman, J. A. Reeds, and L. A. Shepp,*Existence of probability measures with given marginals*, Ann. Probab.**19**(1991), no. 4, 1781–1797. MR**1127728****[6]**Konrad Jacobs,*Measure and integral*, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Probability and Mathematical Statistics; With an appendix by Jaroslav Kurzweil. MR**514702****[7]**Samuel Karlin and William J. Studden,*Tchebycheff systems: With applications in analysis and statistics*, Pure and Applied Mathematics, Vol. XV, Interscience Publishers John Wiley & Sons, New York-London-Sydney, 1966. MR**0204922****[8]**J. H. B. Kemperman,*On a class of moment problems*, Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability (Univ. California, Berkeley, Calif., 1970/1971) Univ. California Press, Berkeley, Calif., 1972, pp. 101–126. MR**0431335****[9]**J. H. B. Kemperman,*On the role of duality in the theory of moments*, Semi-infinite programming and applications (Austin, Tex., 1981) Lecture Notes in Econom. and Math. Systems, vol. 215, Springer, Berlin-New York, 1983, pp. 63–92. MR**709269****[10]**J. H. B. Kemperman,*Geometry of the moment problem*, Moments in mathematics (San Antonio, Tex., 1987) Proc. Sympos. Appl. Math., vol. 37, Amer. Math. Soc., Providence, RI, 1987, pp. 16–53. MR**921083**, https://doi.org/10.1090/psapm/037/921083**[11]**J. H. B. Kemperman,*Sets of uniqueness and systems of inequalities having a unique solution*, Pacific J. Math.**148**(1991), no. 2, 275–301. MR**1094491****[12]**-,*On the lack of uniqueness when reconstructing a set from finitely many central projections*(in preparation).**[13]**J. F. C. Kingman and A. P. Robertson,*On a theorem of Lyapunov*, J. London Math. Soc.**43**(1968), 347–351. MR**0224768**, https://doi.org/10.1112/jlms/s1-43.1.347**[14]**M. G. Kreĭn,*The ideas of P. L. Čebyšev and A. A. Markov in the theory of limiting values of integrals and their further development*, Amer. Math. Soc. Transl. (2)**12**(1959), 1–121. MR**0113106****[15]**M. G. Kreĭn and A. A. Nudel′man,*The Markov moment problem and extremal problems*, American Mathematical Society, Providence, R.I., 1977. Ideas and problems of P. L. Čebyšev and A. A. Markov and their further development; Translated from the Russian by D. Louvish; Translations of Mathematical Monographs, Vol. 50. MR**0458081****[16]**A. Kuba and A. Volčič,*Characterisation of measurable plane sets which are reconstructable from their two projections*, Inverse Problems**4**(1988), no. 2, 513–527. MR**954907****[17]**G. G. Lorentz,*A problem of plane measure*, Amer. J. Math.**71**(1949), 417–426. MR**0028925**, https://doi.org/10.2307/2372255**[18]**A. Volcic,*On a class of plane sets, which can be reconstructed from two Steiner symmetrizations*, Manuscript.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
44A60,
28A99,
49R99,
60A10

Retrieve articles in all journals with MSC: 44A60, 28A99, 49R99, 60A10

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1990-1076178-4

Keywords:
Sets with given moments,
generalized additive sets,
sets of uniqueness,
reconstructing a set from its projections,
strongly rich systems,
optimal bang-bang control,
tomography

Article copyright:
© Copyright 1990
American Mathematical Society