Alexandra Bellow

{{Short description|Romanian-American mathematician (1935–2025)}}

{{use mdy dates|date=May 2025}}

{{Infobox scientist

| name = Alexandra Bellow

| image = Ionescu tulcea.jpg

| image_size =

| alt =

| caption = Bellow in 1975

| birth_date = {{birth date|1935|8|30|mf=y}}

| birth_place = Bucharest, Romania

| death_date = {{death date and age |2025|05|02|1935|8|30|mf=y}}

| death_place = Chicago, Illinois, U.S.

| nationality = Romanian
American

| fields = Mathematics

| workplaces = University of Pennsylvania
University of Illinois at Urbana–Champaign
Northwestern University

| alma_mater = University of Bucharest
Yale University

| thesis_title = Ergodic Theory of Random Series

| thesis_url =

| thesis_year = 1959

| doctoral_advisor = Shizuo Kakutani

| doctoral_students =

| known_for =

| awards =

| spouses = {{plainlist|

}}

| birth_name = Alexandra Bagdasar

}}

Alexandra Bellow (née Bagdasar; previously Ionescu Tulcea; August 30, 1935 – May 2, 2025) was a Romanian-American mathematician, who made contributions to the fields of ergodic theory, probability and analysis.

Biography

File:Ionescu tulcea 70.jpg, 1970]]

Bellow was born in Bucharest, Romania, on August 30, 1935, as Alexandra Bagdasar. Her parents were both physicians. Her mother, Florica Bagdasar (née Ciumetti), was a child psychiatrist. Her father, Dumitru Bagdasar, was a neurosurgeon. She received her M.S. in mathematics from the University of Bucharest in 1957, where she met and married her first husband, mathematician Cassius Ionescu-Tulcea. She accompanied her husband to the United States in 1957 and received her Ph.D. from Yale University in 1959 under the direction of Shizuo Kakutani with thesis Ergodic Theory of Random Series.{{MathGenealogy|id=8598}} After receiving her degree, she worked as a research associate at Yale from 1959 until 1961, and as an assistant professor at the University of Pennsylvania from 1962 to 1964. From 1964 until 1967, she was an associate professor at the University of Illinois at Urbana–Champaign. In 1967, she moved to Northwestern University as a Professor of Mathematics. She was at Northwestern until her retirement in 1996, when she became Professor Emeritus.

During her marriage to Cassius Ionescu-Tulcea (1956–1969), she and her husband co-wrote many papers and a research monograph on lifting theory.

Alexandra's second husband was the writer Saul Bellow, who was awarded the Nobel Prize in Literature in 1976, during their marriage (1975–1985). Alexandra features in Bellow's writings; she is portrayed lovingly in his memoir To Jerusalem and Back (1976), and, his novel The Dean's December (1982), more critically, satirically in his last novel, Ravelstein (2000), which was written many years after their divorce.{{cite web|url=http://partners.nytimes.com/library/books/012700bellow-interview.html|title= A Bellow Novel Eulogizes a Friendship|first= Dinitia|last= Smith|newspaper=The New York Times|date= January 27, 2000}}{{cite web|url=http://www.evz.ro/romania-prin-ochii-unui-scriitor-cu-nobel-796734.html|title=România, prin ochii unui scriitor cu Nobel|publisher=Evenimentul zilei|date=24 March 2008|language=Romanian|accessdate=7 October 2014}} The decade of the nineties was for Alexandra a period of personal and professional fulfillment, brought about by her marriage in 1989 to the mathematician Alberto P. Calderón.

Bellow died in Chicago, Illinois on May 2, 2025, at the age of 89.{{Cite web|url=https://www.chicagotribune.com/obituaries/alexandra-bellow-chicago-il/|title=Alexandra Bellow Obituary - Chicago, IL (1935–2025) |website=Chicago Tribune |date=2 May 2025 |access-date=7 May 2025}}

Mathematical work

{{Too technical|date=June 2025|section}}

= Lifting theory =

Some of her early work involved properties and consequences of lifting. Lifting theory, which had started with the pioneering papers of John von Neumann and later Dorothy Maharam, came into its own in the 1960s and 1970s with the work of the Ionescu Tulceas and provided the definitive treatment for the representation theory of linear operators arising in probability, the process of disintegration of measures. Their Ergebnisse monograph from 1969{{efn|{{cite book|last1= Ionescu Tulcea|first1=Alexandra|last2=Ionescu Tulcea|first2=Cassius|author2-link=Cassius Ionescu-Tulcea|year=1969|title=Topics in the theory of lifting|series=Ergebnisse der Mathematik und ihrer Grenzgebiete|volume=48|publisher=Springer-Verlag|location= New York|oclc=851370324|mr=0276438}}}} became a standard reference in this area.

By applying a lifting to a stochastic process, the Ionescu Tulceas obtained a ‘separable’ process; this gives a rapid proof of Joseph Leo Doob's theorem concerning the existence of a separable modification of a stochastic process (also a ‘canonical’ way of obtaining the separable modification).{{efn|{{cite journal|last1=Ionescu Tulcea|first1=Alexandra|last2=Ionescu Tulcea|first2=C.|year=1969|title=Liftings for abstract-valued functions and separable stochastic processes|journal=Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete| volume=13|issue=2|doi=10.1007/BF00537015|pages=114–118|mr=0277026|s2cid=198178821 }}}} Furthermore, by applying a lifting to a ‘weakly’ measurable function with values in a weakly compact set of a Banach space, one obtains a strongly measurable function; this gives a one line proof of Phillips's classical theorem (also a ‘canonical’ way of obtaining the strongly measurable version).{{efn|{{cite journal|last=Ionescu Tulcea|first=Alexandra|year=1973|title=On pointwise convergence, compactness and equicontinuity in the lifting topology I|journal=Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete|volume=26|issue=3|pages=197–205|doi=10.1007/bf00532722|mr=0405102|s2cid=198178641}}}}{{efn|name="AB2"|{{cite journal|last=Ionescu Tulcea|first=Alexandra|date=March 1974|url=http://projecteuclid.org/download/pdf_1/euclid.bams/1183535388|title=On measurability, pointwise convergence and compactness|journal=Bulletin of the American Mathematical Society|volume=80|issue=2|pages=231–236|doi=10.1090/s0002-9904-1974-13435-x|doi-access=free}}}}

We say that a set H of measurable functions satisfies the "separation property" if any two distinct functions in H belong to distinct equivalence classes. The range of a lifting is always a set of measurable functions with the "separation property". The following ‘metrization criterion’ gives some idea why the functions in the range of a lifting are so much better behaved. Let H be a set of measurable functions with the following properties: (I) H is compact (for the topology of pointwise convergence); (II) H is convex; (III) H satisfies the "separation property". Then H is metrizable.{{efn|name="AB2"}}{{efn|{{cite journal|last=Ionescu Tulcea|first=Alexandra|date=February 1974|title=On pointwise convergence, compactness and equicontinuity II|journal=Advances in Mathematics|volume=12|issue=2|pages=171–177|doi=10.1016/s0001-8708(74)80002-2|mr=0405103|doi-access=}}}} The proof of the existence of a lifting commuting with the left translations of an arbitrary locally compact group, by the Ionescu Tulceas, is highly non-trivial; it makes use of approximation by Lie groups, and martingale-type arguments tailored to the group structure.{{efn|{{cite book|last1=Ionescu Tulcea|first1=Alexandra|last2=Ionescu Tulcea|first2=C.|year=1967|contribution-url=http://projecteuclid.org/download/pdf_1/euclid.bsmsp/1200513265|contribution=On the existence of a lifting commuting with the left translations of an arbitrary locally compact group|title=Proceedings Fifth Berkeley Symposium on Math. Stat. and Probability, II|publisher=University of California Press|pages=63–97}}}}

= Martingales =

In the early 1960s, she worked with C. Ionescu Tulcea on martingales taking values in a Banach space.{{efn|{{cite journal|last1=Ionescu Tulcea|first1=Alexandra|last2=Ionescu Tulcea|first2=Cassius|author2-link=Cassius Ionescu-Tulcea|year=1963|url=https://www.ams.org/journals/tran/1963-107-01/S0002-9947-1963-0150611-8/S0002-9947-1963-0150611-8.pdf|title=Abstract ergodic theorems|journal=Transactions of the American Mathematical Society|volume=107|issue=2 |pages=107–124|doi=10.1090/s0002-9947-1963-0150611-8|doi-access=free|pmid=16590921 |pmc=220757 }}}} In a certain sense, this work launched the study of vector-valued martingales, with the first proof of the ‘strong’ almost everywhere convergence for martingales taking values in a Banach space with (what later became known as) the Radon–Nikodym property; this, by the way, opened the doors to a new area of analysis, the "geometry of Banach spaces". These ideas were later extended by Bellow to the theory of ‘uniform amarts’,{{efn|{{cite journal|last=Bellow|first=Alexandra|year=1978|title=Uniform amarts: A class of asymptotic martingales for which strong almost sure convergence obtains|journal=Zeitschrift für Wahrscheinlichkeit|volume=41|issue=3|pages=177–191|doi=10.1007/bf00534238|s2cid=122531453|doi-access=free}}}} (in the context of Banach spaces, uniform amarts are the natural generalization of martingales, quasi-martingales and possess remarkable stability properties, such as optional sampling), now an important chapter in probability theory.

= Ergodic theory =

In 1960, Donald Samuel Ornstein constructed an example of a non-singular transformation on the Lebesgue space of the unit interval, which does not admit a \sigma–finite invariant measure equivalent to Lebesgue measure, thus solving a long-standing problem in ergodic theory. A few years later, Rafael V. Chacón gave an example of a positive (linear) isometry of L_1 for which the individual ergodic theorem fails in L_1. Her work{{efn|{{cite journal|last=Ionescu Tulcea|first=Alexandra|year=1965|jstor=1994001|title=On the category of certain classes of transformations in ergodic theory|journal=Transactions of the American Mathematical Society|volume=114|issue=1|pages=262–279|doi=10.1090/s0002-9947-1965-0179327-0|doi-access=free}}}} unifies and extends these two remarkable results. It shows, by methods of Baire category, that the seemingly isolated examples of non-singular transformations first discovered by Ornstein and later by Chacón, were in fact the typical case.

Beginning in the early 1980s, Bellow began a series of papers that brought about a revival of that area of ergodic theory dealing with limit theorems and the delicate question of pointwise a.e. convergence. This was accomplished by exploiting the interplay with probability and harmonic analysis, in the modern context (the Central limit theorem, transference principles, square functions and other singular integral techniques are now part of the daily arsenal of people working in this area of ergodic theory) and by attracting a number of talented mathematicians who were very active in this area. One of the two problems that she raised at the Oberwolfach meeting on "Measure Theory" in 1981,{{efn|{{cite book|last=Bellow|first=Alexandra| date=June 1982 |chapter=Two problems|title=Measure Theory, Oberwolfach, June 1981 |publisher=Springer-Verlag |series=Lecture Notes in Mathematics|volume=945|pages=429–431|oclc=8833848 |isbn=978-3-540-11580-9}}}} was the question of the validity, for f in L_1, of the pointwise ergodic theorem along the ‘sequence of squares’, and along the ‘sequence of primes’ (A similar question was raised independently, a year later, by Hillel Furstenberg). This problem was solved several years later by Jean Bourgain, for f in L_p, p>1 in the case of the "squares", and for p > (1+\sqrt{3})/2 in the case of the "primes" (the argument was pushed through to p>1 by Máté Wierdl; the case of L_1 however has remained open). Bourgain was awarded the Fields Medal in 1994, in part for this work in ergodic theory.

It was Ulrich Krengel who first gave, in 1971, an ingenious construction of an increasing sequence of positive integers along which the pointwise ergodic theorem fails in L_1 for every ergodic transformation. The existence of such a "bad universal sequence" came as a surprise. Bellow showed{{efn|{{cite book|last=Bellow|first=Alexandra|title=Measure Theory and its Applications| date=June 1982 |chapter=On "bad universal" sequences in ergodic theory (II)|publisher=Springer-Verlag |volume=1033|pages=74–78|doi=10.1007/BFb0099847|series=Lecture Notes in Mathematics|isbn=978-3-540-12703-1}}}} that every lacunary sequence of integers is in fact a "bad universal sequence" in L_1. Thus lacunary sequences are ‘canonical’ examples of "bad universal sequences". Later she was able to show{{efn|{{cite journal|last=Bellow|first=Alexandra|year=1989|title=Perturbation of a sequence|journal=Advances in Mathematics|volume=78|issue=2|pages=131–139|doi=10.1016/0001-8708(89)90030-3|doi-access=free}}}} that from the point of view of the pointwise ergodic theorem, a sequence of positive integers may be "good universal" in L_p, but "bad universal" in L_q, for all 1\le q < p. This was rather surprising and answered a question raised by Roger Jones.

A place in this area of research is occupied by the "strong sweeping out property" (that a sequence of linear operators may exhibit). This describes the situation when almost everywhere convergence breaks down even in L_{\infty} and in the worst possible way. Instances of this appear in several of her papers. The "strong sweeping out property" plays an important role in this area of research. Bellow and her collaborators did an extensive and systematic study of this notion, giving various criteria and numerous examples of the strong sweeping out property.{{efn|{{cite journal|last1=Bellow|first1=Alexandra|first2=Mustafa|last2=Akcoglu|first3=Roger|last3=Jones|author3-link=Roger Jones (mathematician)| first4=Viktor|last4=Losert|first5=Karin|last5=Reinhold-Larsson|first6=Máté|last6=Wierdl|year=1996|title=The strong sweeping out property for lacunary sequences, Riemann sums, convolution powers and related matters|journal=Ergodic Theory and Dynamical Systems|volume=16|issue=2|pages=207–253|doi=10.1017/S0143385700008798|mr=1389623|s2cid=120207520 }}}} Working with Krengel, she was able{{efn|{{cite book|last1=Bellow|first1=Alexandra|first2=Ulrich|last2=Krengel|year=1991|contribution-url=https://books.google.com/books?id=YbjiBQAAQBAJ&pg=PA41|contribution=On Hopf's ergodic theorem for particles with different velocities|title=Almost Everywhere Convergence II, Proceedings International Conference on Almost Everywhere Convergence in Probability and Ergodic Theory, Evanston, October 1989 |publisher=Academic Press|pages=41–47|isbn=9781483265926|mr=1131781}}}} to give a negative answer to a long-standing conjecture of Eberhard Hopf. Later, Bellow and Krengel{{efn|{{cite journal|last1=Bellow|first1=Alexandra|first2=Alberto P.|last2=Calderón|author2-link=Alberto Calderón|first3=Ulrich|last3=Krengel|year=1995|title=Hopf's ergodic theorem for particles with different velocities and the "strong sweeping out property"|journal=Canadian Mathematical Bulletin|volume=38|issue=1|pages=11–15|doi=10.4153/cmb-1995-002-0|mr=1319895|s2cid=123197446 |doi-access=free}}}} working with Calderón were able to show that in fact the Hopf operators have the "strong sweeping out" property.

In the study of aperiodic flows, sampling at nearly periodic times, as for example, t_n= n+\varepsilon (n), where \varepsilon is positive and tends to zero, does not lead to a.e. convergence; in fact strong sweeping out occurs.{{efn|{{cite journal|last1=Bellow|first1=Alexandra|first2=Mustafa|last2=Akcoglu|first3=Andrés|last3=del Junco|first4=Roger|last4=Jones|author4-link=Roger Jones (mathematician)|year=1993|url=https://www.ams.org/journals/proc/1993-118-02/S0002-9939-1993-1143221-1/S0002-9939-1993-1143221-1.pdf|title=Divergence of averages obtained by sampling a flow|journal=Proceedings of the American Mathematical Society|volume=118|issue=2|pages=499–505|doi=10.1090/S0002-9939-1993-1143221-1|doi-access=free}}}} This shows the possibility of serious errors when using the ergodic theorem for the study of physical systems. Such results can be of practical value for statisticians and other scientists. In the study of discrete ergodic systems, which can be observed only over certain blocks of time, one has the following dichotomy of behavior of the corresponding averages: either the averages converge a.e. for all functions in L_1, or the strong sweeping out property holds. This depends on the geometric properties of the blocks.{{efn|{{cite journal|last1=Bellow|first1=Alexandra|first2=Roger|last2=Jones|author2-link=Roger Jones (mathematician)|first3=Joseph|last3=Rosenblatt|year=1990|title=Convergence for moving averages|journal=Ergodic Theory and Dynamical Systems|volume=10|issue=1|pages=43–62|doi=10.1017/s0143385700005381|doi-access=free|mr=1053798 }}}}

Several mathematicians (including Bourgain) worked on problems posed by Bellow and answered those questions in their papers.{{cite journal|first=Jean|last=Bourgain|authorlink=Jean Bourgain|year=1988|title=On the maximal ergodic theorem for certain subsets of the integers|journal=Israel Journal of Mathematics|volume=61|issue=1|pages=39–72|doi=10.1007/bf02776301|s2cid=121545624}}{{citation|first1=Mustafa A.|last1=Akcoglu|first2=Andrés|last2=del Junco|first3= W. M. F.|last3=Lee|editor1-first=Alexandra|editor1-last= Bellow |editor2-first=Roger L. |editor2-last=Jones|editor2-link=Roger Jones (mathematician)| year=1991|url=http://www.sciencedirect.com/science/book/9780120855209|contribution=A solution to a problem of A. Bellow|title=Almost Everywhere Convergence II|pages=1–7|publisher=Academic Press|location= Boston, MA|mr=1131778}}{{cite journal|first1=Vitaly|last1=Bergelson|authorlink1=Vitaly Bergelson|first3=Jean|last3=Bourgain|authorlink3=Jean Bourgain|first2=Michael|last2=Boshernitzan|year=1994|zbl=0803.28011|title=Some results on nonlinear recurrence|journal=Journal d'Analyse Mathématique|volume=62|issue=72|pages=29–46|doi=10.1007/BF02835947|doi-access=|mr=1269198|s2cid=120879051}}

Academic honors, awards, recognition

Professional editorial activities

See also

Selected publications

{{Notelist|30em}}

References