Showing posts with label elliptic point. Show all posts
Showing posts with label elliptic point. Show all posts

Friday, 28 April 2017

Metrics and Gauss curvature

The first and second fundamental form in a surface are symmetric bilinear forms, in particular they are metrics. Of course, the first fundamental form is positive definite because is the Euclidean metric in the tangent plane. We consider the second fundamental form $$\sigma_p:T_pS\times T_pS\rightarrow{\mathbb R}$$ $$\sigma_p(v,v)=\langle -dN_p(v),v\rangle.$$
If $X=X(u,v)$ is a parametrization of the surface, the matrix of $\sigma_p$ with respect to the basis $\{X_u,X_v\}$ is $$\left(\begin{array}{cc}e&f\\ f&g\end{array}\right).$$
We study the type of $\sigma_p$. However, it is better to choose a more suitable basis of $T_pS$, indeed, a basis of principal directions because in such a case, $$\sigma_p\rightarrow \left(\begin{array}{cc}\kappa_1(p)&0\\ 0&\kappa_2(p)\end{array}\right).$$ Because this basis diagonalizes the metric $\sigma_p$, we conclude:

  1.  The point is elliptic ($K(p)>0$) is equivalent to $\kappa_i(p)>0$ for $i=1,2$, or $\kappa_i(p)<0$ for $i=1,2$ and this means that   $\sigma_p$ is  definite. 
  2. The point is hyperbolic ($K(p)<0$) is equivalent to $\kappa_1(p)<0<\kappa_2(p)$. Then $\sigma_p$ is a non-degenerate indefinite metric with signature $(1,1)$.
  3. $K(p)=0$, that is, some principal curvature is $0$. We have two subcases. 
    • If the point is parabolic, then the non-zero principal curvature is positive or negative. This is equivalent to say that $\sigma_p$ is positive semidefinite or negative semidefinite and also, the metric is degenerate. Here the radical of $\sigma_p$ is the vector subspace spanned by the principal direction of the zero principal curvature.
    • If the point is flat, then the metric is null.  


Wednesday, 26 April 2017

Elliptic and parabolic points.

Two days ago, we have shown a surface where all its points are hyperbolic. Now, we consider the elliptic paraboloid $z=x^2+y^2$. Now $$K=\frac{4}{(1+4x^2+4y^2)^2},$$proving that all its points are elliptic. 

On the other hand, the parabolic paraboloid $z=x^2$ has as Gauss curvature $K=0$ so all its points are parabolic or flat. In order to distinguish, we have to compute the principal curvatures. Since $K=0$, the principal curvatures are $\kappa_1=H$ and $\kappa_2=0$ by the relation $$\kappa_i=H\pm\sqrt{H^2-K}.$$ The mean curvature is given by $$H=\frac12\frac{(1+f_y^2)f_{xx}-2f_xf_yf_{xy}+(1+f_x^2)f_{yy}}{(1+f_x^2+f_y^2)^{3/2}}=\frac{1}{(1+4x^2)^{3/2}}\not=0$$ for any $x$. This proves that all its points are parabolic.

In the next pictures we have a elliptic paraboloid (left) and a parabolic paraboloid (right).