Karl Löwner
   HOME

TheInfoList



OR:

Charles Loewner (29 May 1893 – 8 January 1968) was an American mathematician. His name was Karel Löwner in Czech and Karl Löwner in German. 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 Georg Alexander Pick (10 August 1859 – 26 July 1942) was an Austrian Jewish mathematician who was murdered during The Holocaust. He was born in Vienna to Josefa Schleisinger and Adolf Josef Pick and died at Theresienstadt concentration camp. Toda ...
. 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 In mathematics, the Loewner differential equation, or Loewner equation, is an ordinary differential equation discovered by Charles Loewner in 1923 in complex analysis and geometric function theory. Originally introduced for studying slit mappings (c ...
, has had far-reaching implications in geometric function theory; it was used in the final solution of the Bieberbach conjecture by Louis de Branges in 1985. Loewner worked at the University of Berlin, University of Prague, University of Louisville,
Brown University Brown University is a private research university in Providence, Rhode Island. Brown is the seventh-oldest institution of higher education in the United States, founded in 1764 as the College in the English Colony of Rhode Island and Providenc ...
,
Syracuse University Syracuse University (informally 'Cuse or SU) is a Private university, private research university in Syracuse, New York. Established in 1870 with roots in the Methodist Episcopal Church, the university has been nonsectarian since 1920. Locate ...
and eventually at
Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...
. His students include Lipman Bers,
Roger Horn Roger Alan Horn (born January 19, 1942) is an American mathematician specializing in matrix analysis. He was research professor of mathematics at the University of Utah. He is known for formulating the Bateman–Horn conjecture with Paul T. Batem ...
, Adriano Garsia, and
P. M. Pu Pao Ming Pu (the form of his name he used in Western languages, although the Wade-Giles transliteration would be Pu Baoming; ; August 1910 – February 22, 1988), was a mathematician born in Jintang County, Sichuan, China.. He was a student of ...
.


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. The term originates, via New Latin, from Ancient Greek (''sustolē''), from (''sustéllein'' 'to contract'; from ''sun ...
. 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 or 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 angle of 120° ...
spanned by the cube roots of unity in \mathbb C.


Loewner matrix theorem

The Loewner matrix (in linear algebra) is a
square matrix In mathematics, a square matrix is a 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. Square matrices are often ...
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 pre ...
(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 variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non-vertical tangent line at each interior point in its ...
function on a subinterval of the real numbers and (2) an n-dimensional vector 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 a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Other ...
(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 most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
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 In linear algebra, the operator monotone function is an important type of real-valued function, first described by Charles Löwner in 1934. It is closely allied to the operator concave and operator concave functions, and is encountered in operator ...
''.


Continuous groups

"During oewner's1955 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 Harley M. Flanders (September 13, 1925 – July 26, 2013) was an American mathematician, known for several textbooks and contributions to his fields: algebra and algebraic number theory, linear algebra, electrical networks, scientific computing. ...
and
Murray H. Protter Murray Harold Protter (February 13, 1918 – May 1, 2008) was an American mathematician and educator, known for his contributions to the theory of partial differential equations, as well as his well-selling textbooks in Calculus. Protter earned a ...
"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, and re-issued in 2008. In Loewner's terminology, if x\in S and a group action 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 transformations that yield a group representation. 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 was introduced by Alfréd Haar in 1933, though ...
, 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."
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 America ...


See also

* Löwner-John ellipsoid *
Schramm–Loewner evolution In probability theory, the Schramm–Loewner evolution with parameter ''κ'', also known as stochastic Loewner evolution (SLE''κ''), is a family of random planar curves that have been proven to be the scaling limit of a variety of two-dimensiona ...
*
Loop-erased random walk In mathematics, loop-erased random walk is a model for a random simple path with important applications in combinatorics, physics and quantum field theory. It is intimately connected to the uniform spanning tree, a model for a random tree. See als ...
*
Systoles of surfaces In mathematics, systolic inequalities for curves on surfaces were first studied by Charles Loewner in 1949 (unpublished; see remark at end of P. M. Pu's paper in '52). Given a closed surface, its systole, denoted sys, is defined to be the least le ...


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 Mathematical analysts Jewish scientists Stanford University Department of Mathematics faculty