21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

[SEC. 3.2: BROUWER DEGREE 39<br />

B<br />

a<br />

Figure 3.1: The four possible cases.<br />

b<br />

Let X = ¯H −1 (ỹ). Then X is a one-dimensional manifold. Its<br />

boundary belongs to ∂M. But by construction, it cannot intersect<br />

[a, b]×∂B. Therefore, if we set Ĥ(t, x) = (t, H(t, x)), we can interpret<br />

deg(g, y) − deg(f, y) =<br />

∑<br />

(b,x)∈∂X<br />

sign det DĤ(b, x)<br />

−<br />

∑<br />

(a,x)∈∂X<br />

sign det DĤ(a, x).<br />

By Proposition 3.4, each of the connected components X i is diffeomorphic<br />

to either the circle S 1 , or a connected subset of the real<br />

line. We claim that each ∂X i has a zero contribution to the sum<br />

above.<br />

There are four possibilities (fig. 3.1) for each connected component<br />

X i : both boundary points in {a} × B, in {b} × B, one in each, or the<br />

component is isomorphic to S 1 (no boundary).<br />

In the first case, let s ↦→ (t(s), x(s)), s 0 ≤ s ≤ s 1 be a (regular)<br />

parameterization of X i .<br />

Because ŷ is a regular value of H, ker DH(x, t) is always one-

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!