Peano surface
In mathematics, the Peano surface is the graph of the two-variable function
It was proposed by Giuseppe Peano in 1899 as a counterexample to a conjectured criterion for the existence of maxima and minima of functions of two variables.[1][2]
The surface was named the Peano surface (German: Peanosche Fläche) by Georg Scheffers in his 1920 book Lehrbuch der darstellenden Geometrie.[1][3] It has also been called the Peano saddle.[4][5]
Properties
The function whose graph is the surface takes positive values between the two parabolas
and
, and negative values elsewhere (see diagram). At the origin, the three-dimensional point
on the surface that corresponds to the intersection point of the two parabolas, the surface has a saddle point.[6] The surface itself has positive Gaussian curvature in some parts and negative curvature in others, separated by another parabola,[4][5] implying that its Gauss map has a Whitney cusp.[5]
Although the surface does not have a local maximum at the origin, its intersection with any vertical plane through the origin (a plane with equation or
) is a curve that has a local maximum at the origin,[1] a property described by Earle Raymond Hedrick as "paradoxical".[7] In other words, if a point starts at the origin
of the plane, and moves away from the origin along any straight line, the value of
will decrease at the start of the motion. Nevertheless,
is not a local maximum of the function, because moving along a parabola such as
(in diagram: red) will cause the function value to increase.
The Peano surface is a quartic surface.
As a counterexample
In 1886 Joseph Alfred Serret published a textbook[8] with a proposed criteria for the extremal points of a surface given by
- "the maximum or the minimum takes place when for the values of
and
for which
and
(third and fourth terms) vanish,
(fifth term) has constantly the sign − , or the sign +."
Here, it is assumed that the linear terms vanish and the Taylor series of has the form
where
is a quadratic form like
,
is a cubic form with cubic terms in
and
, and
is a quartic form with a homogeneous quartic polynomial in
and
. Serret proposes that if
has constant sign for all points where
then there is a local maximum or minimum of the surface at
.
In his 1884 notes to Angelo Genocchi's Italian textbook on calculus, Calcolo differenziale e principii di calcolo integrale, Peano had already provided different correct conditions for a function to attain a local minimum or local maximum.[1][9] In the 1899 German translation of the same textbook, he provided this surface as a counterexample to Serret's condition. At the point , Serret's conditions are met, but this point is a saddle point, not a local maximum.[1][2] A related condition to Serret's was also criticized by Ludwig Scheeffer , who used Peano's surface as a counterexample to it in an 1890 publication, credited to Peano.[6][10]
Models
Models of Peano's surface are included in the Göttingen Collection of Mathematical Models and Instruments at the University of Göttingen,[11] and in the mathematical model collection of TU Dresden (in two different models).[12] The Göttingen model was the first new model added to the collection after World War I, and one of the last added to the collection overall.[6]
References
- ↑ 1.0 1.1 1.2 1.3 1.4 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 2.0 2.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 4.0 4.1 Lua error in package.lua at line 80: module 'strict' not found. See especially section "Peano Saddle", pp. 562–563.
- ↑ 5.0 5.1 5.2 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 6.0 6.1 6.2 Lua error in package.lua at line 80: module 'strict' not found. See in particular the Foreword (p. xiii) for the history of the Göttingen model, Photo 122 "Penosche Fläsche / Peano Surface" (p. 119), and Chapter 7, Functions, Jürgen Leiterer (R. B. Burckel, trans.), section 1.2, "The Peano Surface (Photo 122)", pp. 202–203, for a review of its mathematics.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found. See in particular pp. 545–546.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Model 39, "Peanosche Fläche, geschichtet" and model 40, "Peanosche Fläche", Mathematische Modelle, TU Dresden, retrieved 2020-07-13