Wednesday, 22 March 2017

Writing differentiable maps on surfaces

In calculus it is usual to work with smooth functions in terms of `variables', I mean, something as f(x,y,z)=x2+sin(z)+ey, in terms of `x', `y' and `z'. However working on surfaces, sometimes (or many), we prefer do not use `variables', specially when we need to compute the derivative of the function. The next example clarifies this issue. 

If S is a surface, define f:SR, f(p)=|p|2=p,p.
Here we use `p' instead of the variables. This function measures the square of the distance of the point p to the origin of R3. We observe that if p=(x,y,z), then f(x,y,z)=x2+y2+z2, which is a known differentiable function in R3, but now f is defined on a surface. If we want to prove that f is differentiable on S, first we consider F:R3R the function F(p)=p,p. Since pp is the identity, which is differentiable, then F is noting the scalar product of a differentiable map by itself. Then F is differentiable. Finally, f=F|S, that is, the restriction on S of a differentiable map of R3. This proves definitively that f is differentiable.

Other example is the height function. Let aR3 be a unit vector and define f:SR, f(p)=p,a.
This function measures the square of the distance of the point p to the vector plane Π orthogonal to a. For this reason, it is named height function. If we write in coordinates and p=(x,y,z), we have f(x,y,z)=a1x+a2y+a3z, where a=(a1,a2,a3).  If we want to prove that f is differentiable on S without the use of `x's', define F:R3R the function F(p)=p,a. Since pp and pa are differentiable maps, then  F is the scalar product of two differentiable vector maps, so F is differentiable. Finally, f=F|S, proving that f is differentiable.  

No comments:

Post a Comment