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:S→R, 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:R3→R the function F(p)=⟨p,p⟩. Since p↦p 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 a∈R3 be a unit vector and define f:S→R, 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:R3→R the function F(p)=⟨p,a⟩. Since p↦p and p↦a 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