Section 4.3

Fixed Point Theorem

[8/100%]
Show
LaTeX
Problem 4.3.1

An accurate map of California is spread out flat on a table in Evans Hall, in Berkeley. Prove that there is exactly one point on the map lying directly over the point it represents.

?
Problem 4.3.2

Define a sequence of positive numbers as follows. Let x0>0x_0 > 0 be any positive number, and let xn+1=(1+xn)−1x_{n+1} = (1+x_n)^{-1}. Prove that this sequence converges, and find its limit.

?
Problem 4.3.3

Let f:R→Rf : \mathbb {R} \to \mathbb {R} be monotonically increasing (perhaps discontinuous). Suppose 0<f(0)0 < f(0) and f(100)<100f(100) < 100. Prove f(x)=xf(x) = x for some xx.

?
Problem 4.3.4

Let KK be a nonempty compact set in a metric space with distance function dd. Suppose that φ:K→K\varphi : K \to K satisfies

d(φ(x),φ(y))<d(x,y) d(\varphi (x), \varphi (y)) < d(x,y)

for all x≠yx \neq y in KK. Show there exists precisely one point x∈Kx \in K such that x=φ(x)x = \varphi (x).

?
Problem 4.3.5

Let KK be a continuous function on the unit square 0≤x,y≤10 \leq x, y \leq 1 satisfying ∣K(x,y)∣<1\left|K(x,y)\right| < 1 for all xx and yy. Show that there is a continuous function f(x)f(x) on [0,1][0,1] such that we have

f(x)+∫01K(x,y)f(y) dy=ex2. f(x) + \int _0^1 K(x,y) f(y) \, dy = e^{x^2}.

Can there be more than one such function ff?

?
Problem 4.3.6

Let gg be a continuous real valued function on [0,1][0,1]. Prove that there exists a continuous real valued function ff on [0,1][0,1] satisfying the equation

f(x)−∫0xf(x−t)e−t2 dt=g(x). f(x) - \int _0^x f(x-t) e^{-t^2} \, dt = g(x).
?
Problem 4.3.7

Show there is a unique continuous real valued function f:[0,1]→Rf : [0,1] \to \mathbb {R} such that

f(x)=sin⁡x+∫01f(y)ex+y+1 dy. f(x) = \sin x + \int _0^1 \frac{f(y)}{e^{x+y+1}} \, dy.
?
Problem 4.3.8

Let (M,d)(M,d) be a nonempty complete metric space. Let SS map MM into MM, and write S2S^2 for S∘SS \circ S; that is, S2(x)=S(S(x))S^2(x) = S(S(x)). Suppose that S2S^2 is a strict contraction; that is, there is a constant λ<1\lambda < 1 such that for all points x,y∈Mx, y \in M, d(S2(x),S2(y))≤λd(x,y)d(S^2(x), S^2(y)) \leq \lambda d(x,y). Show that SS has a unique fixed point in MM.

?