# Questions tagged [manifolds-with-boundary]

For questions about manifolds with boundaries, as well as manifolds with corners, and other such generalisations of the notion of a manifold.

118 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
0answers
835 views

1answer
1k views

0answers
378 views

### Stokes' theorem: Induced orientation on the boundary of a manifold

The Question Let $K = \{(x,y,z) \in \mathbb{R}^3 : x^2 + y^2 + z^2 \geq 1\}$, where $K$ is oriented via the canonical volume form on $\mathbb{R}^3$: $dx \wedge dy \wedge dz$. Let $\mathbb{S}^2$ be ...
0answers
129 views

### Special Riemannian metric on the product

Let $M^2$ be an orientable surface with boundary endowed with a Riemannian metric $g$. We know that if we put in the manifold $M \times \mathbb{R}$ the product metric $\overline{g} = g + dt^2$, then ...
0answers
107 views

### Spivak Calculus on Manifolds - Tangent space on a boundary point of a manifold

I am an undergraduate student who is studying Spivak's calculus on manifolds. I have several questions in the pages 119 and 120 of the book, which are about the tangent space at a boundary point of a ...
1answer
93 views

### Definition of the preimage orientation

Guillemin and Pollack give quite confusing (at least for me) definition of the preimage orientation (see below). I don't understand the part starting from the last display. Namely: How exactly does ...
0answers
281 views

### Induced orientation on manifold

Suppose $M$ is a naturally oriented $n$-manifold embedded in $\mathbb{R}^n$ with non-empty boundary. Give $\partial M$ the induced orientation. The induced orientation defines a unit normal vector ...
0answers
791 views

### Submanifold with boundary of a manifold with boundary

Let $M$ be a smooth manifold. (1) A subset $S$ of $M$ that with the subspace topology is a topological manifold (with or without boundary), together with a differential structure that makes the ...
1answer
74 views

### Smooth map between smooth manifold and boundary of manifold

This is my first question here so I'm asking for your understanding. I also apologize in advance for my English. I'm beginner on smooth manifolds topics and I can't solve the following problem. Let ...
0answers
247 views

### Constant Rank Theorem for Manifolds with Boundary

I'm trying to answer problem 4-3 from Lee's Introduction to Smooth Manifolds, 2nd edition. The problem says: Formulate and prove a version of the rank theorem for a map of constant rank whose ...
0answers
93 views

0answers
89 views

### Intersection of a minimal surface and a closed ball

Let $u:\Omega\subset\mathbb{R}^2\to\mathbb{R}$ such that $u$ satisfies the differential equation of minimal surfaces on the region $\Omega$. Let $p\in(\Omega\times\{0\})\subset\mathbb{R}^3$ and a ...
1answer
179 views

### Long exact sequence for manifolds with boundary

Let $T^* S^n$ be the disk cotangent bundle on $S^n$ consisting of covectors with norm less than or equal to $1$. I am confused about the long exact sequence of the pair $(T^*S^n, \partial T^*S^n)$. ...
0answers
82 views

0answers
46 views

### Extending functions on boundary into M as a harmonic function

I am trying to show that if $\varphi \in C^{\infty}(\partial M)$ then there is $\psi \in C^{\infty}(M)$ with $\psi|_{\partial M}=\varphi$ e $\Delta \psi=0$, where $M$ is a compact riemannian manifold ...
0answers
65 views

### Dirichlet principle on compact manifolds with boundary

How is it the Dirichlet's principle on compact manifolds with boundary $\partial M= \mbox{manifold boundary}$?. I've just found the Dirichlet's principle on domains $U \subset \mathbb{R}^{n}$, i.e, $U$...
0answers
42 views

### Is the geodesic diameter on simply connected domains with boundary always realized by points on the boundary?

Assuming standard euclidean metric, the geodesic diameter, of simply connected polygons in the plane is realized by a shortest connection between two vertex points. This result is e.g. referenced in "...
1answer
121 views

### “Defining a smooth structure on a topological manifold with boundary”

This is a proposition for topological manifolds. However, I am wondering if this prop holds when $M$ is a topological manifold "with boundary." Thus, can the expression like "a smooth atlas on a ...
0answers
110 views

### Stokes' theorem proof without FTC

To present time I have not found a proof of Stokes' Theorem for manifolds that does not involve the Fundamental Theorem of Calculus in some way. Is it possible to prove the general theorem without ...
0answers
69 views

### Show that a given set is a manifold with boundary

given $A:= \{ (x_1,x_2,x_3) \in \mathbb{R} : x_1^2 + x_2^2 + x_3^2 = 18, x_3 \leq 2\}$ show that $A$ is a manifold with boundary and calculate $\delta A$ where $\delta A$ is the boundary of A. I ...
0answers
129 views

### A question about the boundary points of manifolds.

A topological $n$-manifold is a second countable Hausdorff space such that every point has a neighbourhood which is homeomorphic to an open ball centred at the origin in $\Bbb{R}^n$. The "centred at ...
0answers
13 views

### Is $TN$ a smooth embedded submanifold with or without boundary in $TM$?

Let $M$ be a smooth manifold with or without boundary, and $N$ a smooth embedded submanifold with or without boundary in $M$, then the inclusion map $N\to M$ induces $TN\to TM$, is $TN$ a smooth ...
0answers
25 views

1answer
25 views

### Can $dF_p:T_pM\to T_{F(p)}N$ be surjective?

Suppose $M$ is a smooth manifold and $N$ a smooth manifold with boundary, $F:M\to N$ a smooth map, if $F(p)\in \partial N$, can $dF_p:T_pM\to T_{F(p)}N$ be surjective?
0answers
32 views

0answers
14 views

### Possible to describe random 3D surfaces (geograhical height over limited area) by formula?

Coming from a geographic computer sciences background and working with 3D terrain (so please forgive if my terminology is inappropriate), I was always wondering if it is possible to describe the 3D ...
0answers
43 views

### Manifolds with boundary and foliations

Is there a theory of foliations by manifolds with boundary? Particularly, Is there a generalization of the Frobenius theorem and the Stefan-Sussmann theorem in which the leaves are manifolds with ...