Where is the feasible set and is any function between topological spaces.
Many important problems (in PDE) match with this setting, for example:
- The nonlinear classical Dirichlet problem:
Where is any second order elliptic operator.
In this case we can understand this classical problem as a nonlinear equation of the form defining as .
- The weak variational problem:
In this case we have a (linear) equation of the form with , where and .
Note: In this last example is not possible to simplify the notation assuming the usual identification between a Hilbert space and its dual because we are dealing with two different types of functionals induced by functions in the space.
The existence of solutions for this kind of equations is determined by two fundamental aspects:
- The nonlinearity .
- The topological structure of the feasbile set .
Even though many theorems through this work will make this point clearer, it is illustrative to emphasize the importance of this claim with the next two theorems.
Then the nonlinear equation has an unique solution.
Moreover, the unique solution satisifies , for any .
There exist a considerable amount of theorems that guarantee the existence of fixed points i. e. solutions for the equation and we are going to inquire about some of them later on this work. Nonetheless, Banach’s theorem is quite special since it give us on one hand, uniqueness of the solution and on the other hand, an explicit way to find such solution.
Most of the fixed-point theorems are merely an existence result because they are proved using topologic methods, therefore they require generic topological hypotheses about the function , hence it is natural to think that the powerful properties of the nonlinearity in Banach’s theorem give us these expecific results.
For the next example consider again the equation (1) with and with continuous. Let us suppose that on . Under these hypothesis the following theorem will show us that the existence of solutions for this nonlinear equation is equivalent to an algebraic topology problem.
Theorem 2 Let be a continuous function and let us define:
Then, for any continuous extension there exist a solution for the equation if and only if is not nullhomotopic (homotopic to a constant function).
Proof: For one direction, let us suppose that there exist an extension of such that in and let us define as follows:
This function cleary gives a homotopy between and the constant function with image .
Conversely, let us suppose that is nullhomotopic. We also have that and are homotopic, indeed consider the linear homotopy given by . Combining these two facts we can construct a homotopy given by such that for any and with .
Let us consider the function defined as follows:
Clearly extends . In order to check that is continuous at we can take any sequence converging to zero, and from this one extract any subsequence , by compactness, there exist a sub-subsequence such that as , therefore proving the continuity of .
Remark: Given a topological space , the set of homotopy classes of maps can be endowed with a group structure and is called the -th homotopy group of denoted by .
In terms of the last theorem we can guarantee a solution for our nonlinear equation when the homotopy class of is nontrivial, and this is posible only if .
The study of the homotopy groups of the spheres is still an open question in algebraic topology.
Figure 1: Table of some homotopy groups of spheres. Taken from wikipedia
As we can see in the Figure 1 we can clasify the homotopy groups in three categories:
- If then . Because any function can be deformed to be nonsurjective, see Hatcher’s book.
- If then . In this case the homotopy group counts the number of times that a function wraps around the sphere . We will focus in this case later in this notes when we discuss about Degree theory.
- The groups associated with the case are known as the higher homotopy groups and its study is still an open question, moreover many of the current techniques being developed in algebraic topology are motivated to understand the structure of these groups.
This first glimpse into the nonlinear equations suggest us that it is important to spend some time (and energy), understanding how to take advantage of the structure of the nonlinearity and managing properly the topological information about the feasible set.
In order to keep the discussion as simple as possible, we are going to start addressing the problem where the underlying space is linear and the nonlinearity is approachable by linear functions, i. e. differentiable.