In 1949 Loewner proved his torus inequality, to the effect that every metric on the 2-torus satisfies the optimal inequality
where sys is its systole. The boundary case of equality is attained if and only if the metric is flat and homothetic to the so-called equilateral torus, i.e. torus whose group of deck transformations is precisely the hexagonal lattice spanned by the cube roots of unity in .
The Loewner matrix (inlinear algebra) is a square matrix or, more specifically, a linear operator (of real functions) associated with 2 input parameters consisting of (1) a real continuously differentiable function on a subinterval of the real numbers and (2) an -dimensional vector with elements chosen from the subinterval; the 2 input parameters are assigned an output parameter consisting of an matrix.[3]
Let be a real-valued function that is continuously differentiable on the open interval.
For any define the divided differenceofatas
.
Given , the Loewner matrix associated with for is defined as the matrix whose -entry is .
In his fundamental 1934 paper, Loewner proved that for each positive integer , is-monotoneon if and only if ispositive semidefinite for any choice of .[3][4][5] Most significantly, using this equivalence, he proved that is-monotoneon for all if and only if is real analytic with an analytic continuation to the upper half plane that has a positive imaginary part on the upper plane. See Operator monotone function.
"During [Loewner's] 1955 visit to Berkeley he gave a course on continuous groups, and his lectures were reproduced in the form of duplicated notes. Loewner planned to write a detailed book on continuous groups based on these lecture notes, but the project was still in the formative stage at the time of his death." Harley Flanders and Murray H. Protter "decided to revise and correct the original lecture notes and make them available in permanent form."[6]Charles Loewner: Theory of Continuous Groups (1971) was published by The MIT Press,[7] and re-issued in 2008.[8]
In Loewner's terminology, if and a group action is performed on , then is called a quantity (page 10). The distinction is made between an abstract group and a realization of in terms of linear transformations that yield a group representation. These linear transformations are Jacobians denoted (page 41). The term invariant density is used for the Haar measure, which Loewner attributes to Adolph Hurwitz (page 46). Loewner proves that compact groups have equal left and right invariant densities (page 48).
A reviewer said, "The reader is helped by illuminating examples and comments on relations with analysis and geometry."[9]
Berger, Marcel: À l'ombre de Loewner. (French) Ann. Sci. École Norm. Sup. (4) 5 (1972), 241–260.
Loewner, Charles; Nirenberg, Louis: Partial differential equations invariant under conformal or projective transformations. Contributions to analysis (a collection of papers dedicated to Lipman Bers), pp. 245–272. Academic Press, New York, 1974.
^ abHiai, Fumio; Sano, Takashi (2012). "Loewner matrices of matrix convex and monotone functions". Journal of the Mathematical Society of Japan. 54 (2): 343–364. arXiv:1007.2478. doi:10.2969/jmsj/06420343. S2CID117532480.