HOME

TheInfoList



OR:

Charles Loewner (29 May 1893 – 8 January 1968) was an American
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
. His name was Karel Löwner in Czech and Karl Löwner in German.


Early life and career

Karl Loewner was born into a Jewish family in Lany, about 30 km from Prague, where his father Sigmund Löwner was a store owner. Loewner received his Ph.D. from the University of Prague in 1917 under supervision of Georg Pick. One of his central mathematical contributions is the proof of the
Bieberbach conjecture In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was ...
in the first highly nontrivial case of the third coefficient. The technique he introduced, the Loewner differential equation, has had far-reaching implications in geometric function theory; it was used in the final solution of the Bieberbach conjecture by
Louis de Branges Louis may refer to: People * Louis (given name), origin and several individuals with this name * Louis (surname) * Louis (singer), Serbian singer Other uses * Louis (coin), a French coin * HMS ''Louis'', two ships of the Royal Navy See also ...
in 1985. Loewner worked at the
University of Berlin The Humboldt University of Berlin (, abbreviated HU Berlin) is a public research university in the central borough of Mitte in Berlin, Germany. The university was established by Frederick William III on the initiative of Wilhelm von Humbol ...
, University of Prague,
University of Louisville The University of Louisville (UofL) is a public university, public research university in Louisville, Kentucky, United States. It is part of the Kentucky state university system. Chartered in 1798 as the Jefferson Seminary, it became in the 19t ...
,
Brown University Brown University is a Private university, private Ivy League research university in Providence, Rhode Island, United States. It is the List of colonial colleges, seventh-oldest institution of higher education in the US, founded in 1764 as the ' ...
,
Syracuse University Syracuse University (informally 'Cuse or SU) is a Private university, private research university in Syracuse, New York, United States. It was established in 1870 with roots in the Methodist Episcopal Church but has been nonsectarian since 1920 ...
and eventually at
Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...
. His students include Lipman Bers, Roger Horn, Adriano Garsia, and P. M. Pu.


Loewner's torus inequality

In 1949 Loewner proved his torus inequality, to the effect that every metric on the 2-torus satisfies the optimal inequality : \operatorname^2 \leq \frac \operatorname (\mathbb T^2), where sys is its
systole Systole ( ) is the part of the cardiac cycle during which some chambers of the heart contract after refilling with blood. Its contrasting phase is diastole, the relaxed phase of the cardiac cycle when the chambers of the heart are refilling ...
. 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 The hexagonal lattice (sometimes called triangular lattice) is one of the five two-dimensional Bravais lattice types. The symmetry category of the lattice is wallpaper group p6m. The primitive translation vectors of the hexagonal lattice form an ...
spanned by the cube roots of unity in \mathbb C.


Loewner matrix theorem

The Loewner matrix (in
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as :a_1x_1+\cdots +a_nx_n=b, linear maps such as :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrix (mathemat ...
) is a
square matrix In mathematics, a square matrix is a Matrix (mathematics), matrix with the same number of rows and columns. An ''n''-by-''n'' matrix is known as a square matrix of order Any two square matrices of the same order can be added and multiplied. Squ ...
or, more specifically, a
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
(of real C^1 functions) associated with 2 input parameters consisting of (1) a real
continuously differentiable In mathematics, a differentiable function of one Real number, real variable is a Function (mathematics), function whose derivative exists at each point in its Domain of a function, domain. In other words, the Graph of a function, graph of a differ ...
function on a subinterval of the real numbers and (2) an n-dimensional
vector Vector most often refers to: * Euclidean vector, a quantity with a magnitude and a direction * Disease vector, an agent that carries and transmits an infectious pathogen into another living organism Vector may also refer to: Mathematics a ...
with elements chosen from the subinterval; the 2 input parameters are assigned an output parameter consisting of an n \times n matrix. Let f be a real-valued function that is continuously differentiable on the
open interval In mathematics, a real interval is the set (mathematics), set of all real numbers lying between two fixed endpoints with no "gaps". Each endpoint is either a real number or positive or negative infinity, indicating the interval extends without ...
(a,b). For any s, t \in (a, b) define the divided difference of f at s, t as :f^(s,t) = \begin \displaystyle \frac, & \text s \neq t \\ f'(s), & \text s = t \end. Given t_1, \ldots, t_n \in (a,b), the Loewner matrix L_f (t_1, \ldots, t_n) associated with f for (t_1,\ldots,t_n) is defined as the n \times n
matrix Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the m ...
whose (i,j)-entry is f^(t_i,t_j). In his fundamental 1934 paper, Loewner proved that for each positive integer n, f is n-monotone on (a,b) if and only if L_f (t_1, \ldots, t_n) is positive semidefinite for any choice of t_1,\ldots,t_n \in (a,b). Most significantly, using this equivalence, he proved that f is n-monotone on (a,b) for all n if and only if f 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''.


Continuous groups

"During oewner's1955 visit to Berkeley he gave a course on
continuous group In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures ...
s, 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." ''Charles Loewner: Theory of Continuous Groups'' (1971) was published by
The MIT Press The MIT Press is the university press of the Massachusetts Institute of Technology (MIT), a private research university in Cambridge, Massachusetts. The MIT Press publishes a number of academic journals and has been a pioneer in the Open Ac ...
, and re-issued in 2008. In Loewner's terminology, if x\in S and a
group action In mathematics, a group action of a group G on a set S is a group homomorphism from G to some group (under function composition) of functions from S to itself. It is said that G acts on S. Many sets of transformations form a group under ...
is performed on S, then x is called a ''quantity'' (page 10). The distinction is made between an abstract group \mathfrak, and a realization of \mathfrak, in terms of
linear transformation In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
s that yield a
group representation In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used ...
. These linear transformations are Jacobians denoted J(\overset) (page 41). The term ''invariant density'' is used for the
Haar measure In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This Measure (mathematics), measure was introduced by Alfr� ...
, which Loewner attributes to Adolph Hurwitz (page 46). Loewner proves that
compact group In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural gen ...
s 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."
Deane Montgomery Deane Montgomery (September 2, 1909 – March 15, 1992) was an American mathematician specializing in topology who was one of the contributors to the final resolution of Hilbert's fifth problem in the 1950s. He served as president of the Americ ...


See also

* Löwner-John ellipsoid * Schramm–Loewner evolution * Loop-erased random walk * Systoles of surfaces


References

* 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.


External links


Stanford memorial resolution
* {{DEFAULTSORT:Loewner, Charles 1893 births 1968 deaths 20th-century American mathematicians Czech mathematicians American mathematical analysts Jewish American scientists Stanford University Department of Mathematics faculty