Namespaces
Variants
Actions

Difference between revisions of "Fixed point"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 56: Line 56:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.A. Lyusternik,  V.I. Sobolev,  "Elemente der Funktionalanalysis" , Akademie Verlag  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M.A. Krasnosel'skii,  "Topological methods in the theory of nonlinear integral equations" , Pergamon  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.A. Krasnosel'skii,  P.P. Zabreiko,  "Geometric methods of non-linear analysis" , Springer  (1983)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.V. Nemytskii,  ''Uspekhi Mat. Nauk'' , '''1''' :  1  (1946)  pp. 141–174</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J. Leray,  J. Schauder,  "Topology and functional equations"  ''Uspekhi Mat. Nauk'' , '''1''' :  3–4  (1946)  pp. 71–95  (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  B.N. Sadovskii,  "Limit-compact and condensing operators"  ''Russian Math. Surveys'' , '''27''' :  1  (1972)  pp. 85–155  ''Uspekhi Mat. Nauk'' , '''27''' :  1  (1972)  pp. 81–146</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.A. Lyusternik,  V.I. Sobolev,  "Elemente der Funktionalanalysis" , Akademie Verlag  (1968)  (Translated from Russian) {{MR|0539144}} {{ZBL|0044.32501}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M.A. Krasnosel'skii,  "Topological methods in the theory of nonlinear integral equations" , Pergamon  (1964)  (Translated from Russian) {{MR|}} {{ZBL|0111.30303}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.A. Krasnosel'skii,  P.P. Zabreiko,  "Geometric methods of non-linear analysis" , Springer  (1983)  (Translated from Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.V. Nemytskii,  ''Uspekhi Mat. Nauk'' , '''1''' :  1  (1946)  pp. 141–174 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J. Leray,  J. Schauder,  "Topology and functional equations"  ''Uspekhi Mat. Nauk'' , '''1''' :  3–4  (1946)  pp. 71–95  (In Russian) {{MR|}} {{ZBL|0060.27704}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  B.N. Sadovskii,  "Limit-compact and condensing operators"  ''Russian Math. Surveys'' , '''27''' :  1  (1972)  pp. 85–155  ''Uspekhi Mat. Nauk'' , '''27''' :  1  (1972)  pp. 81–146 {{MR|0428132}} {{ZBL|}} </TD></TR></table>
  
  
Line 64: Line 64:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Dugundji,  A. Granas,  "Fixed point theory" , PWN  (1982)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Dugundji,  A. Granas,  "Fixed point theory" , PWN  (1982) {{MR|0660439}} {{ZBL|0483.47038}} </TD></TR></table>
  
 
A fixed point of a fractional-linear transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040520/f040520170.png" /> of the closed complex plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040520/f040520171.png" /> is a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040520/f040520172.png" /> for which
 
A fixed point of a fractional-linear transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040520/f040520170.png" /> of the closed complex plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040520/f040520171.png" /> is a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040520/f040520172.png" /> for which
Line 82: Line 82:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H. Schwerdtfeger,  "Geometry of complex numbers" , Dover, reprint  (1979)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H. Schwerdtfeger,  "Geometry of complex numbers" , Dover, reprint  (1979) {{MR|0620163}} {{ZBL|0484.51007}} </TD></TR></table>
  
 
For a fixed point of a system of ordinary differential equations or of a dynamical system see [[Equilibrium position|Equilibrium position]].
 
For a fixed point of a system of ordinary differential equations or of a dynamical system see [[Equilibrium position|Equilibrium position]].

Revision as of 11:59, 27 September 2012

A fixed point of a mapping on a set is a point for which . Proofs of the existence of fixed points and methods for finding them are important mathematical problems, since the solution of every equation reduces, by transforming it to , to finding a fixed point of the mapping , where is the identity mapping. Depending on the structure on , or the properties of , there arise various fixed-point principles. Of greatest interest is the case when is a topological space and is a continuous operator in some sense.

The simplest among them is the contraction-mapping principle (cf. also Contracting-mapping principle). Let be a complete metric space and an operator such that

(1)

Then has precisely one fixed point , which can be obtained as the limit of successive approximations , where is arbitrary. This principle not only establishes the existence of a fixed point, but also indicates a method for finding it, and it is fairly easy to estimate the rate of convergence of the sequence to . The condition (1) cannot, in general, be replaced by

(2)

however, if is compact, then (2), as before, ensures that has a unique fixed point.

More general is the generalized contraction principle. Suppose, as above, that is a complete metric space, and

(3)

for , where for . Then has a unique fixed point. If is a Banach space, then (1) is nothing but a Lipschitz condition for with a constant less than 1. The contraction principle is extensively used to prove the existence and uniqueness of solutions of algebraic, differential, integral, and other equations and to find approximate solutions of them.

There are other conditions of a topological nature that guarantee the existence of a fixed point for an operator . The best known of them is Schauder's principle. Let be a Banach space and a completely-continuous operator mapping a bounded convex closed set into itself. Then has in at least one fixed point. However, in this case the question of the number of fixed points remains open and there is no indication of a method for finding them.

Example (Peano's theorem). Let be continuous in both variables in a domain , , and let in this domain. If , then on the interval there is at least one solution of the equation

(4)

such that

(5)

Equation (4) together with (5) is equivalent to the integral equation

The operator

maps, under the conditions of the theorem, the ball of the space into itself and it is completely continuous on this ball. Therefore, by Schauder's principle, has a fixed point, which is also a solution of the Cauchy problem (see [4], [5]). A generalization of Schauder's principle is Tikhonov's principle. Let be a separable locally convex space and a continuous operator mapping a convex compact set into itself. Then has in at least one fixed point. There are also other generalizations of Schauder's principle, among them to many-valued mappings, but in all cases one has to assume that is convex, for without this Schauder's theorem and its generalizations become false. One can combine Schauder's principle and the contraction principle. Let be an operator that transforms a bounded closed convex set of a Banach space into itself and that can be represented in the form , where is completely continuous and contracting. Then has at least one fixed point in .

Principles of Schauder type can be extended in the following way to non-compact operators. Let be a bounded set in a complete metric space . The measure of non-compactness of this set is defined as the greatest lower bound of those for which there is a finite -net for (cf. Net (of sets in a topological space)). For compact sets . An operator is said to be compressing if for any non-compact bounded set . Suppose that a compressing operator transforms a bounded convex closed set into itself. Then has at least one fixed point in . In Banach spaces one can introduce other measures of non-compactness, and by varying them one can obtain various versions of the theorem, which make it possible to prove the existence of solutions of various differential, integral and other equations with operators that need not be completely continuous.

An appeal to more subtle topological concepts leads to stronger criteria for the existence of fixed points. Suppose that on the boundary of a bounded domain in a Banach space a non-degenerate vector field is given, that is, every point is put in correspondence with a non-zero vector . To such a field one can assign under certain conditions an integer, the so-called index (rotation) of on . Suppose, to begin with, that is finite dimensional and that is continuous on . Then is defined as the topological degree of the mapping of onto the unit sphere (cf. Degree of a mapping). Now let be an infinite-dimensional Banach space and let , where is a completely-continuous operator on . Such fields are called completely continuous.

Suppose that a finite-dimensional subspace gives a fairly good approximation to and that is the projection operator of onto . If is sufficiently small for , then the field is also continuous on and its index does not depend on the choice of the approximating subspace nor on . This number is called the index of the completely-continuous vector field on and is denoted by . An important property of the rotation is the fact that it does not change under homotopy transformations of .

The Leray–Schauder principle. Suppose that on the closure of a bounded domain in a Banach space one is given a completely-continuous vector field that is non-degenerate on and suppose that . Then vanishes at at least one point , that is, the operator has in at least one fixed point. The invariance of the index under homotopy transformations makes it possible to compute the index in the following way. From the given field one constructs a family of fields , , such that they are all homotopic to each other and for some . If for another the index of is easy to compute, and is , then too. By this device, using the degree of a mapping to establish that completely-continuous operators have a fixed point, one can prove that some fairly complicated partial differential equations of high order have solutions.

By strengthening the conditions on the space one can weaken the restrictions on the operator. For example, an operator is called non-expansive if . Suppose that the Banach space is uniformly convex (for example, a Hilbert space, cf. Banach space) and that is a non-expansive operator taking a bounded closed convex set into itself. Then has in at least one fixed point.

All preceding fixed-point principles assume the continuity of . If is endowed with the structure of a partially ordered set, then in some cases the requirement of continuity can be dropped.

The Birkhoff–Tarski principle. Let be a complete lattice and an isotone operator (cf. Isotone mapping) from to . Then has at least one fixed point. There is another version of this principle. Let be a conditionally-complete lattice, that is, every bounded subset in has in a least upper and a greatest lower bound. If is isotone and maps the ordered interval into itself, then has in at least one fixed point.

A combination of topological and order conditions leads to new fixed-point principles. For example, let be a partially ordered Banach space and a continuous isotone operator mapping the ordered interval into itself. If the semi-order on is regular, that is, if every monotone increasing order-bounded sequence converges in the norm of , then has in at least one fixed point. Here the conditions of the theorem do not require a lattice order on , that is, not for every pair of elements their sup and inf need exist in .

Finally, a fixed point of a linear operator is an eigen element of it corresponding to the eigen value 1.

References

[1] L.A. Lyusternik, V.I. Sobolev, "Elemente der Funktionalanalysis" , Akademie Verlag (1968) (Translated from Russian) MR0539144 Zbl 0044.32501
[2] M.A. Krasnosel'skii, "Topological methods in the theory of nonlinear integral equations" , Pergamon (1964) (Translated from Russian) Zbl 0111.30303
[3] M.A. Krasnosel'skii, P.P. Zabreiko, "Geometric methods of non-linear analysis" , Springer (1983) (Translated from Russian)
[4] V.V. Nemytskii, Uspekhi Mat. Nauk , 1 : 1 (1946) pp. 141–174
[5] J. Leray, J. Schauder, "Topology and functional equations" Uspekhi Mat. Nauk , 1 : 3–4 (1946) pp. 71–95 (In Russian) Zbl 0060.27704
[6] B.N. Sadovskii, "Limit-compact and condensing operators" Russian Math. Surveys , 27 : 1 (1972) pp. 85–155 Uspekhi Mat. Nauk , 27 : 1 (1972) pp. 81–146 MR0428132


Comments

See also Brouwer theorem; Lefschetz theorem.

References

[a1] J. Dugundji, A. Granas, "Fixed point theory" , PWN (1982) MR0660439 Zbl 0483.47038

A fixed point of a fractional-linear transformation of the closed complex plane is a point for which

where

is the fractional-linear transformation, and , . If (where is the identity transformation ), then has one or two fixed points. By means of the fixed points one can classify the fractional-linear mappings (cf. Fractional-linear mapping) ( is excluded from the discussion).

O.M. Fomenko

Comments

Fractional-linear transformations are also called Möbius transformations. For their classification according to fixed points see also [a1].

References

[a1] H. Schwerdtfeger, "Geometry of complex numbers" , Dover, reprint (1979) MR0620163 Zbl 0484.51007

For a fixed point of a system of ordinary differential equations or of a dynamical system see Equilibrium position.

How to Cite This Entry:
Fixed point. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fixed_point&oldid=28191
This article was adapted from an original article by V.I. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article