For questions about surfaces.

learn more… | top users | synonyms

1
vote
0answers
63 views

Given a diffeomorphism between two surfaces, is there an expression for the pullback of the covariant derivative of a vector field?

Let $A$ and $B$ be two surfaces (smooth enough) in an affine space $M$ with metric $g$. Let $g^A$, $g^B$ be the metric tensors on the two surfaces induced by $g$, and $\nabla^A$, $\nabla^B$ the ...
0
votes
0answers
39 views

compact surface of revolution

I have to prove that a compact surface of revolution is diffeomorphic to a sphere or to a torus. And show that $\int_{S} K dA= $ =$\{4\pi,$ if S is spherical type 0, if S is toric type $\}$, ...
1
vote
1answer
39 views

Flat Surfaces in $\mathbb{R}^3$ Can Be Bent Only Along Straight Lines

This is a problem out of Elementary Differential Geometry by Barrett O'Neill (Chapter 6 Section 3 Number 2). Let $M$ be a flat surface in $\mathbb{R}^3$ with principal curvatures $k_1$ and $k_2$, ...
2
votes
2answers
83 views

Finding the Asymptotic Curves of a Given Surface

I have to find the asymptotic curves of the surface given by $$z = a \left( \frac{x}{y} + \frac{y}{x} \right),$$ for constant $a \neq 0$. I guess that what was meant by that statement is that surface ...
1
vote
1answer
47 views

Nonorientable surfaces: genus or demigenus?

The genus $g$ of a closed, orientable surface is the maximum number of disjoint simple closed curves that can be drawn on the surface without disconnecting it. In terms of the Euler characteristic, ...
0
votes
1answer
17 views

Parametrize plane and get surface area

Find a parametrization of the surface: $y + 2z = 2$ inside the cylinder $x^2 + y^2 = 1$. Then, compute its surface area. I'm having trouble finding the parametrization of the surface. I don't think ...
1
vote
0answers
25 views

Diffeomorphism between a regular surface and the plane

Do Carmo states that (example 2, page 74) if $\mathbf x: U\subset\mathbb R^2\rightarrow S$ is a parameterization, then $\mathbf x^{-1}: \mathbf x(U)\rightarrow \mathbb R^2$ is differentiable. Why is ...
3
votes
1answer
48 views

First and Second Fundamental Form Intuition

I was just wondering what various quantities relating to the first and second fundamental forms of a regular surface mean intuitively. First of all, another explanation as to what the first and second ...
0
votes
1answer
13 views

Surface parameterization of a cylinder?

Suppose I wanted to parameterize the cylinder $x^2 + y^2 = R^2$ (for the purpose of computing a surface integral). Say $z$ is in range $-z_0 \le z \le z_0$. The standard parameterization I see ...
0
votes
0answers
13 views

How to calculate the double tangential derivative of a surface?

Let z=u(x,y) is smooth surface in $\mathbb{R}^3$. $\vec{\tau}$ is a tangential vector which is orthogonal to the vector of gradient direction $\nabla u$. How to prove the equality $$ u_{\tau\tau} = ...
1
vote
1answer
25 views

Tangent Planes and Surfaces (Calc 3)

I am wondering if I am on the right track for the following question: Find a for the plane $x+y+z=-1$ so that it is a tangent plane to the surface $z=x^2+ay^2$ I figured since you are given a ...
2
votes
1answer
33 views

Surface Area Line integral problem

I'm trying to figure out how to solve a surface area with surface and line integrals (showing both methods). The area I'm trying to compute is the area of the shape $$x^2+y^2=9$$ bounded by $z=0$ and ...
0
votes
0answers
21 views

Finding surface integral of the paraboloid and disk

Let S be the surface consisting of the paraboloid $y=x^2 + z^2$ with $0 \leq y \leq 1$, and the disk $x^2 + y^2 \leq 1$. Let $S$ have an outward orientation. Compute the double integral of $\langle ...
0
votes
2answers
61 views

Surface Area of Two Cylinders Calculus 3

Find the surface area of two cylinders $$y^2 + z^2 = 1$$ and $$x^2 + y^2 = 1$$ I have so far set the two equations to equal $$x= \pm z$$ and $$y= \sqrt{(1-z^2)}$$ I am a little confused on how to set ...
0
votes
1answer
33 views

Find normal vector for the surface F(x,y)=0

I need to find the normal vector(in a point (a,b)) for a surface F(x,y)=0, that we can't write as y=f(x) and F(x,y) doesn't satisfies the conditions of the implicit function theorem. For example: the ...
2
votes
1answer
45 views

The relation between principal curvature and curvature tensor?

To me, there are two systems of curvature of a surface, one is consist of 'principal curvature, mean curvature, Guass curvature, normal curvature' while the other is consist of 'curvature tensor'. I ...
0
votes
0answers
19 views

Set of local parametrizations of a torus

$\newcommand{\R}{\mathbb{R}}$I would like some help with the following problem: Fix $R > r > 0$ and define $F:\R^3\to \R$ by $$ F(x, y, z) = (R^2 - r^2 + x^2 + y^2 + z^2)^2 - 4R^2(x^2 + y^2). ...
1
vote
1answer
56 views

Umbilic Points of an Ellipsoid

I have an ellipsoid given by $S = \{ (x,y,z): \frac{x^{2}}{a^{2}} + \frac{y^{2}}{b^{2}} + \frac{z^{2}}{c^{2}} = 1$, for some fixed $a,b,c \in \mathbb{R}^{+} \}$. I need to find the umbilic points of ...
1
vote
1answer
23 views

Orthogonal Parametrization of a Regular Surface

I was just wondering whether or not it is always possible to parametrize a regular surface $S$ via a function $X$ of local coordinates $u$, $v$ such that $X$ is an orthogonal parametrization- that is ...
0
votes
1answer
18 views

GNU Octave draw figure of 2 planes

How can I draw two planes in same figure in GNU Octave? $$ x + y + z = 1\\ 2x - y + 3z = 4$$ Thanks!
0
votes
2answers
27 views

Show that the set is a surface

I would be appreciate some help with the following problem, which has been suggested (but not assigned), by my professor: Consider the mapping $f : \mathbb R^3 \rightarrow \mathbb R$ defined by ...
1
vote
0answers
28 views

Surfaces of Revolution with Constant Gaussian Curvature

Surface $S$ is parametrized by $$X(u,v) = (\varphi(v) \cos{(u)}, \varphi(v) \sin{(u)}, \psi{(v}))$$ with everywhere-constant Gaussian curvature $K$. Let $v$ be the arc length of the generating curve ...
1
vote
1answer
28 views

Proving the a Pseudosphere is a Regular Surface

I need to prove that a pseudosphere $S$ is a regular surface. I have found for $S$ the parametrization $X(t,\theta) = (\mathbb{e}^{t} cos{(\theta)}, \mathbb{e}^{t} sin{(\theta)}, \pm ...
1
vote
1answer
28 views

Proving that a surface is a Möbius strip

I have a given parametrization $X(u,v)$ of a surface $S$ in $\mathbb{R}$. I must prove that it is a Möbius strip. I cannot use graphical means and I am not to reparametrize the surface- essentially, I ...
1
vote
0answers
13 views

Action of Homeomorphisms on Proper Arc system.

Let $S_{g,n}$ be a surface of genus $g$ and with $n$ punctures. By an essential arc we mean an embeded arc (end points are in punctures) which is: Homotopically non-trivial i.e. not homotopic to a ...
0
votes
0answers
26 views

How does this integration by parts work: $\int_{Q}v\varphi_t\;dxdt = -\int_S \varphi v|_{S} \nu_t - \int_Q v_t \varphi\;dxdt$

Let $\Omega(t)$ be a bounded domain for each $t$. Let $Q=\bigcup_{t \in [0,T]} \Omega(t) \times \{t\}$ and $S=\bigcup_{t \in [0,T]} \partial\Omega(t) \times \{t\}$. The normal vector to $S$ at ...
0
votes
0answers
23 views

Surface Area cut from cone by cylinder

I genuinely have no idea how to do this. I've been struggling on this problem for about two hours now (more hours last night), and am not getting anywhere. The question is: Find the surface area ...
1
vote
1answer
41 views

Does the connected sum depend on direction of gluing?

The connected sum of two surfaces (2-manifolds) is defined by removing a disk from each and gluing the cut edges: (Image adapted from Wikipedia) Does the resultant surface (up to homeomorphism) ...
1
vote
1answer
36 views

Topological surface thought experiment

Imagine a two-dimensional version of you lives on some compact, connected surface (orientable or non-orientable). How would you figure out on which surface you are living? Are there experiments you ...
1
vote
1answer
37 views

The principal curvatures of a surface of revolution

The principal curvatures of the surface at a point is defined as the maximal and the minimal curvature among all normal sections. It's claimed (say, on Stillwell's Geometry of Surfaces) that for a ...
6
votes
2answers
113 views

Closed, orientable surface whose genus is very hard to find intuitively

I'm introducing the Classification Theorem on closed and orientable surfaces in a talk on (intuitive) topology, and to motivate it I'd like an example of an embedding of a surface in $\mathbb{R}^3$ ...
1
vote
1answer
25 views

Why use Gauss and mean curvature to characterize a surface's deviation from being “flat” at one point?

We know for a 2-dimensional surface there are two orthogonal principal directions at every point, where the principal curvatures $\kappa_1$ and $\kappa_2$ are the two ends of the curvature spectrum ...
1
vote
0answers
26 views

Proof of Euler Characteristic for Sphere

Theorem 1. All cell decompositions of a sphere $S$ have Euler characteristic 2. This is well-known, but I had this idea for an intuitive proof: for any cell decomposition $\Gamma$ with $V$ ...
3
votes
1answer
99 views

Showing to be Unit-sphere

First and second fundamental forms are both $du^2 +\cos^2 u dv^2$ I want to show that the surface is a part of the unit sphere. What I did is following; $E=L=1$ $F=M=0$ $N=G=\cos^2 u$ ...
0
votes
0answers
32 views

Example of 1-dimensional hypersurface in $\mathbb{R}^2$ which is compact?

Is there an explicit example of a $1$-dimensional $C^k$ hypersurface in $\mathbb{R}^2$ which has no boundary and is compact? I know of a circle, but want something like an interval.
3
votes
0answers
55 views

If there exists a diffeomorphism between two surfaces, what is the relation between Laplace-Beltrami operators on the surfaces?

Let $S(0)$ and $S(t)$ be a hypersurface in $\mathbb{R}^n$. Suppose there is a diffeomorphism $F^0_t:S(0) \to S(t)$. Suppose we have the Laplace-Beltrami operator $\Delta_{S(\cdot)}$. Let $u:S(t) \to ...
0
votes
1answer
14 views

If $S$ is a $C^k$ hypersurface, is $S\times (0,\infty)$ a $C^k$ hypersurface too?

Let $S$ be an $n$ dimensional $C^k$ hypersurface in $\mathbb{R}^{n+1}.$ Is $S \times (0,\infty)$ also a $C^k$ hypersurface (in $\mathbb{R}^{n+2}$)? I don't know what the chart map should be...
3
votes
0answers
44 views

homomorphism of fundamental groups induced by a map of two surfaces

I am trying to find another proof of the following theorem Theorem Let $X$ and $Y$ be two compact surfaces of genus greater than $2$. Then every homomorphism $π_1(X,x_0)→π_1(Y,y_0)$ is induced by a ...
1
vote
1answer
70 views

A 3-manifold with fundamental group isomorphic to a surface group.

Let $M$ be a 3-manifold (the case I am interested is $M$ closed orientable connected hyperbolic); suppose $\pi_1 (M)$ is isomorphic to the fundamental group of a (closed orientable connected) surface ...
2
votes
0answers
36 views

How do you integrate surface area in spherical coordinates?

A single-valued function of spherical coordinates $r(\theta,\phi)$ (where $(\theta,\phi)\in[0,\pi]\otimes[0,2\pi]$) naturally defines a surface in 3D space. How does one calculate the surface area of ...
1
vote
2answers
66 views

How to parametrize this region surface

$S$ is the portion of the plane $$x+2y-3z=3$$ in the octan bounded by the positive direction of the $x$ and $y$ axis and the negative direction of the $z$ axis. How can I parametrize this crazy ...
2
votes
1answer
34 views

Can any 3d surface be mapped to a 2d plane?

I could see a 3D surface being parameterized by 2 parameters such that the surface is broken up into many infinitesimally thin curves. Is this true even for surfaces that might "fold" over itself or ...
4
votes
0answers
45 views

What does the metric matrix G tell us here

Let $\phi:U \rightarrow S \subseteq \mathbb{R}^3$ be a chart from $U \subseteq \mathbb{R}^2$ to a surface $S$. $G = g_{ij}$ be the metric matrix such that $ g_{ij} = \frac{\partial \phi}{\partial ...
1
vote
1answer
70 views

Verify Divergence Theorem (using Spherical Coordinates)

I'm very used to calculating the flux of a vector field in cartesian coordinates, but I'm still getting tripped up when it comes to spherical or cylindrical coordinates. I was given the vector field: ...
0
votes
2answers
69 views

parametrize surface region

S is the elliptic region of the plane $y+z=1$ inside the cylinder $4x^2+4(y-0.5)^2=1$. First parametrize $S$ using $(x,y,z)=G(u,v)$ and then calculate $\displaystyle \frac{dG}{du}\times ...
0
votes
2answers
56 views

parametrize a disc

$S$ is the disc of radius 1 centered at the origin located on the $xy$ axis, oriented downward. First parametrize the given surface using $(x,y,z)= G(u,v)$ with $(u,v)$ in $W$ and then calculate ...
0
votes
1answer
29 views

Surface with border is homotopy equivalent to bouquet of circles

Why is any compact surface with non-trivial boundary homotopy equivalent to bouquet of circles? It was mentined in "Course homotopy topology" by Fomenko, Fuchs while calculating homotopy groups of ...
1
vote
1answer
43 views

a good introduction to Laplace Beltrami operator over differential manifolds?

I'd like to have a good reference to understand how the Laplacian operator get generalized over differential manifolds. More concretely, I want to understand and prove the equation : $$\Delta ...
0
votes
1answer
43 views

Trying to prove shortest distance between two points

I'm trying to prove that the shortest distance between two points in the Euclidean plane is a straight line: Here is what I've achieved so far; but I've got lost right at the end if anyone could ...
2
votes
2answers
34 views

How to plot a surface in maple where the range is given by an expression, not constants?

Im trying to plot the surface $z=(1+x^2)/(1+y^2)$ , but specifically the part of the surface that is above $|x|+|y|\leq1$. Cant seem to find any information on how to produce a plot in maple, where ...