Processing math: 100%

Wednesday, 5 April 2017

Starshaped surfaces

Given a positive differentiable function f:S2R, define S(f)={f(p)p:pS2}.
This surface is called a starshaped surface because the half-line starting from the origin of coordinates meets only at one point of S(f). For example, if f=2, then S(2) is the sphere cetered at the origin of radius 2. In order to give more explicit examples, consider the parametrization of the sphere X(t,θ)=(cos(t)cosθ,cos(t)sinθ,sin(t)). Then define two functions f by f(X(t,θ))=1+cos(t)2 and f(t)=1+cos(s)2. The pictures are: 


We observe in the second surface that there appears 'strange point'. Exactly, points where the tangent plane is not well-defined. This occurs because X is not a parametrization that cover the whole sphere, but only a part. Exactly, s(0,2π), that is, except a meridian, exactly the points where appear the problem.
We give some properties of these surfaces.
1. The set S(f) is, indeed, a surface. The map ϕ:S2R3, ϕ(p)=f(p)p
is differentiable and dϕp is one-to-one. The proof is as follows. If vTpS2, then if 0=dϕp(v)=(dfp(v))p+f(p)v, we have a linear combination of p and v. We know that TpS2=<p>. If v0, then f(p)=0, a contradiction. This proves that ϕ(S2)=S(f) is a surface.
2. The surface S(f) is compact and connected because  S(f)=ϕ(S2).
3. The map ϕ is one-to-one. If ϕ(p)=ϕ(q), then f(p)p=f(q)q. Taking the modulus, we have f(p)=f(q), so p=q
4. The map ϕ:S2S(f) is a diffeomorphism because the inverse is   is ϕ1(p)=p/|p|, so it is differentiable. 

No comments:

Post a Comment