0
votes
0answers
19 views

Laplacian in arbitrary spherical coordinates?

assume that $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is a function that just depends on the radius vector $r$, so no angular dependence(!). Can we say what $\Delta f$ is in arbitrary coordinates $r ...
1
vote
1answer
20 views

Proof, that equation decribes trace of curve, which is supposed to be simple

The equation, representing the trace of the curve $$ \varphi(x) = (\cos^3(t), \sin^3(t)) $$ is $1 = x^{\frac{2}{3}} + y^{\frac{2}{3}}$. Proof: Let $(x,y) = (\cos^3 t, \sin^3 t)$, then $x^{1/3} = ...
0
votes
1answer
20 views

Ways to represent functions of bounded variation as the difference of two monotone functions

I learnt (it is called Jordan's representation theorem) that every function $f : [a,b] \to \mathbb R$ with bounded variation could be represented as the difference $f = g - h$ of two monotone ...
1
vote
3answers
45 views

Length of Difference Curve

Let $\varphi : [a,b] \to \mathbb R^n$ be a curve, and for some partition $\pi = \{ t_0 = a, t_1, \ldots, t_m = b \}$ of $[a,b]$ set $$ l(\pi, \varphi) = \sum_{i=1}^m \| \varphi(t_i) - ...
1
vote
1answer
29 views

A bounded domain can be considered as a compact manifold?

A bounded domain $\Omega$ with smooth boundary $\Gamma$ can be considered as a compact connect Riemannian manifold?
0
votes
0answers
47 views

Derivative with respect to a vector and tensor on a manifold

I am reading through a paper and have come across a statement which I do not fully understand. I paraphrase below. Consider a scalar function $f = ...
2
votes
1answer
25 views

Hadamard's Lemma in multidimensional real analysis

This is Hadamard's Lemma: Let $U \subset \Bbb R^n$ be an open set, let $a \in U$ and $f: U \to \Bbb R^p$. Then the following assertions are equivalent. The mapping $f$ is differentiable at $a$. ...
2
votes
1answer
37 views

Spherical coordinates and Lebesgue integral

I found a textbook that says that $r \in [0,\infty), \theta \in [0,\pi], \phi \in [-\pi,\pi]$ are the spherical coordinates. Then he goes on with: This corresponds to a unitary map $L^2(\mathbb{R}^3) ...
2
votes
0answers
37 views

Question on Inductive Proof of Implicit Function Theorem

I am struggling with an inductive proof of the implicit function theorem, concretely with the final part of construction of a function, up to this final point everything is perfectly clear to me. ...
2
votes
0answers
59 views

$ d(x,y)^2 \le d(x,z)^2 - d(y,z)^2\color{}{+\varphi\big(x,y,z,d(x,y),d(y,z) \big)}? $

In a metric space $(M,d)$ the triangle inequality $d (x, z) \le d(x, y) + d (y, z)$ gives us's the inequalitie $$ \quad d(x,y)^2 \ge d(x,z)^2 - d(y,z)^2\;\color{}{{-2\cdot d(x,y)\cdot d(y,z)}} $$ ...
1
vote
3answers
110 views

Why are open sets used in definitions in differential geometry?

I find that in most definitions in differential geometry, such as those of defining a manifold, a smooth manifold,differentiable functions, diffeomorphisms on manifolds, an atlas,etc , open sets are ...
1
vote
0answers
26 views

Proving that a function is a $C^\infty$ submanifold in $\Bbb{R}^2$ of dimension 1

We need to prove that for all $c\in\Bbb{R}$ the set $\{x\in\Bbb{R}\,\colon\, g(x)=c\, \}$ is a $C^\infty$ submanifold ($g\,\colon\,\Bbb{R}^2\rightarrow \Bbb{R};(x_1,x_2)\mapsto x_1^3-x_2^3$) in ...
0
votes
3answers
67 views

A diffeomorphism with negative Jacobian swaps the orientation?

Let C be a simple close oriented curve $C^1$ in $\mathbb{R}^2$ and let $g: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ a diffeomorphism such that $\forall (x, y) \in C$ it holds that the determinant of the ...
1
vote
0answers
29 views

arbitrary reparametrization

Let $\alpha: (a,b)\rightarrow \mathbb{R}^n$ of class $C^{\infty}$ with $\Vert\alpha^{\prime}\Vert>0 $ then if $\{ k,m,n\} \subset \mathbb{R}_+$ there repametrizacion $\beta: (m,n)\rightarrow ...
6
votes
3answers
123 views

Eigenfunctions of the Laplace-Beltrami operator of a torus

The eigenfunctions of the Laplace-Beltrami operator of the flat torus $\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2$ and their multiplicity are well-known. What happens if we change the sides of the torus ...
7
votes
1answer
64 views

Translate a vector field

Imagine that you have a vector field $A = \frac{A_0}{r} e_{\theta}$ in cylindrical coordinates, where $A_0 \in \mathbb{R}$. Now you translate your coordinate system in $e_x$ direction by $x \mapsto x ...
1
vote
1answer
39 views

Winding number from complex analysis and differential geometry

I showed that for a differentiable function $f:S^1 \rightarrow S^1$, the winding number is given by $\frac{1}{2 \pi i } \int_{S^1} \frac{f'(z)}{f(z)} dz$. Now I want to show that the winding number ...
2
votes
1answer
95 views

Moment map of the action of $SU(2)$ on $\mathbb C^{2n}$

Let $SU(2)$ acts on symplectic space $((\mathbb C^2 -\ (0,0))^{n},\omega)$, where $$\omega=dx_1\wedge dx_2+dx_3\wedge dx_4+\cdots+dx_{4n-3}\wedge dx_{4n-2}+dx_{4n-1}\wedge dx_{4n}$$ as ...
1
vote
1answer
69 views

number of points of tangency of the zero divergence vector field and the equator of the sphere.

Let $V$ be vector field on the sphere $S^2$ and $\operatorname{div} V=0$. What is the minimum number tangency points of this vector field and the equator of the sphere?
2
votes
0answers
53 views

Help explain why the proof works - Gradient Estimate Using the Maximum Principle

I found the following proposition and proof in a textbook for one of my classes, and the end of the proof seems a little "unfinished" to me. In other words, as the author left it, I'm not entirely ...
4
votes
4answers
165 views

Some aspects of inner products in $\mathbb R^3$

I read several descriptions about inner products recently due to an exercise (here it is no longer active so I like to ask again). I am still very confused about this concept. Any clarification will ...
2
votes
1answer
43 views

Del on Riemannian manifolds

I was supposed to figure out what $grad(div(e_r))$ is, where $e_r$ is the unit vector in spherical coordinates. In the following I assume $g:=diag(1,r^2,r^2sin^2(\theta))$ be the metric tensor. My ...
0
votes
0answers
95 views

How to convert vector field from cartesian to spherical

I have a vector field $A ( r) = \omega \times r$, where $r=(x,y,z)^T$ and now I want to express this field in cylindrical coordinates. How do I do this?
1
vote
1answer
30 views

Derivative of Normal Vector Field

This is an example from Do Carmo (Example 4, page 139). Consider the saddle point $p=(0, 0, 0)$ of the hyperbolic paraboloid $z=y^2-x^2$ with parameterization $\mathbf x(u, v)=(u, v, v^2-u^2)$. It is ...
0
votes
0answers
17 views

integration in five dimensions space part three

I am following this: integration in five dimensions space part two Maybe I need to simplify my question: Find the integration of $\int_{\partial S}-p_1dq_1\wedge dp_2\wedge dq_2$, where $S$ is the ...
2
votes
1answer
62 views

integration in five dimensions space part two

I am following the discussion here: integration in five dimensions space I am doing this problem: Consider the differential form $$a=p_1 \, dq_1+p_2 \, dq_2-(p_1^2+p_2^2+q_1^2+q_2^2) \, dt\text{ in ...
5
votes
1answer
75 views

integration in five dimensions space

I am doing this problem: Consider the differential form $$a=p_1 \, dq_1+p_2 \, dq_2-(p_1^2+p_2^2+q_1^2+q_2^2) \, dt\text{ in }\mathbb R^5=(p_1,p_2,q_1,q_2,t).$$ (a) Compute the differential $da$ and ...
2
votes
1answer
38 views

Partitions of Unity-Integration on Manifolds

So lets say I have a $k$-manifold $M$ in $\mathbb{R}^n$, and I cover it up with coordinate patches $\{\alpha_i\}$. I can find a set of partitions of unity $\{\phi_1,...\phi_l\}$ on $M$ which is ...
0
votes
1answer
31 views

Is norm of a differentiable function continuous?

The following argument is from my class notes. "Suppose $\gamma(s): I\rightarrow \mathbb R^3$ is a regular curve. Fix $t_0$ and define $s(t) = \int_{t_0}^t \|\gamma'(t)\|dt$. That is, $s(t)$ is the ...
1
vote
1answer
36 views

What does it mean by saying that $u^n, J^n$ “$C^{\infty}$ converges” to u, J?

The question arose while reading the big book of McDuff & Salamon. Here $\Sigma$ is Riemann surface and M is compact symplectic manifold. Let $u^n(n\in \mathbb N), u : \Sigma \rightarrow M$ be ...
1
vote
1answer
35 views

How do I convert OS coordinates (X and Y) to longitude and latitude coordinates?

How do I convert OS coordinates (X and Y) - Eastings and Northings to longitude and latitude coordinates? For example X and Y below X (Eastings): 347904 Y (Northings): 287484
1
vote
0answers
19 views

How do I figure out the grid references necessary to create a circular 1 mile radius around one location?

How do I figure out the grid references necessary to create a circular 1 mile radius around one location? For instance: Grid Reference: SO 47904 87484 X (Eastings): 347904 Y (Northings): 287484 ...
1
vote
1answer
78 views

How do I figure out the longitude and latitude coordinates necessary to create a circular 1 mile radius around one location?

How do I figure out the longitude and latitude coordinates necessary to create a circular 1 mile radius around one location? I don't mind how many coordinates that takes. For instance: Latitude = ...
0
votes
1answer
99 views

Question about statement of Rank Theorem in Rudin

Theorem Suppose $m,n,r$ are nonnegative integers, $m\ge r, n\ge r$, $F$ is a $C^1$ mapping of an open set $E\subset \mathbb{R}^n$ into $\mathbb{R}^m$, and $F'(x)$ has rank $r$ for every $x\in E$. ...
1
vote
2answers
78 views

How to choose $f\in C^{2}(\mathbb{R})$ with compact support and takes value 1 on connected compact set?

Let $0< \delta < \pi$. My questions: (1) How to construct(choose/method) $f\in C^{2}(\mathbb R)$(= First two derivatives ($f' \ \text{and} \ f''$) of $f$ on $\mathbb R$ exists and are ...
2
votes
1answer
65 views

Are diffeomorphic sets smoothly deformable into each other?

Given connected, bounded and open sets $U, V\subset \mathbb{R}^n$ and an orientation preserving diffeomorphism $F:U\to V$, is there always an isotopy $H:[0,1]\times \mathbb{R}^n\to\mathbb{R}^n$, s.t. ...
0
votes
0answers
24 views

Finite length of a spiral problem [duplicate]

consider a "spiral" $\alpha(t)=r(t)\left(\cos(t),\sin(t)\right)$, where $r$ is $\mathcal{C}^1$ and $0\le r(t) \le 1$ for all $0 \le t$ Show that if $\alpha$ has finite length on $ [0,\infty)$ and ...
1
vote
1answer
38 views

Change of Variables from Sphere to Plane

Say we are in the space $\mathbb{R}^{n}$. Consider the $n-1$ dimensional surface measure $dS$ on the boundary of the upper half sphere. We can define the coordinates on this sphere by ...
0
votes
2answers
71 views

Orientability of surfaces in $\mathbb{R}^3$

I have a question: I'm currently reading a few things about orientability and understood this concept as the answer to the question: Given a surface and a unit normal vector field on it: Is there a ...
4
votes
1answer
96 views

The unsolved extension problem on manifolds.

I have been struggeling for quite a while with this problem: Let $M \subset \mathbb{R}^n$ be a compact $C^k-$ submanifold and $\phi_i: B_i(0) \rightarrow M$ be the associated set of charts ...
1
vote
1answer
140 views

How do 1-d compact submanifolds look like?

I was wondering whether it is true that every 1-d compact submanifold $\subset \mathbb{R}^n$ that is $C^1$ is a closed curve that is also $C^1$, cause I cannot think of more examples. Therefore, I ...
1
vote
1answer
65 views

Partition of unity. Does this one exist?

Let $X:=\mathbb{R^n}$ be given and $M \subset X$ be a compact set in it. Then my question is: Are there $\alpha_i \in C^{\infty}(X,\mathbb{R})$ such that $supp(\alpha_i) \subset N$, where $N$ is an ...
2
votes
1answer
28 views

sufficient condition for being an integral factor

Let $ f: \mathbb {R}^m \rightarrow \mathbb {R}-\{0\} $ function $C^{\infty}$ class and $w$ a one-form $C^{\infty}$ class in $\mathbb {R}^m $. If $\alpha=w-\dfrac{1}{f}dx_{m+1} $ satisfies $\alpha ...
1
vote
1answer
39 views

How to show that the metric in the tangent space is independent from the chart you take?

I want to prove that for vectors $v_1,v_2 \in T_aM$ the euclidean length and distance is independent from the chart we are using, where $M$ is a submanifold in some $\mathbb{R}^n$ My problem is that ...
2
votes
2answers
57 views

Derivative: a special tangent

I've learned in Euclidean Geometry that the tangent is a line which pass through only a point. For example, if someone ask me to find the tangent at this point $A$, I can easily say that the tangent ...
3
votes
1answer
99 views

Why is the derivative the tangent vector?

I'm trying to understand, at least intuitively why the derivative of a function at a point is the tangent vector at this point. If we see the functions of this form $f:\mathbb R\to \mathbb R$ we see ...
3
votes
1answer
57 views

Does this Manifold exist?

The excercise is the following: Give an example or disprove: There is at least one m-dimensional manifold that is compact in some $\mathbb{R}^n$ such that one chart is sufficient to get the whole ...
0
votes
2answers
61 views

Curve is a submanifold

In our class today we said today that an 1-times continuously differentiable immersion $\phi:[0,1] \rightarrow \mathbb{R}^n$ is a submanifold of dimension 1 if it is closed such that $\phi(0)=\phi(1)$ ...
1
vote
1answer
53 views

A surface patch $\tilde{\sigma}(\tilde u,\tilde v)$ is a reparametrization of a surface patch $\sigma (u,v)$

Suppose that a surface patch $\tilde{\sigma}(\tilde u,\tilde v)$ is a reparametrization of a surface patch $\sigma (u,v)$. Let $$\tilde E d\tilde u^2+ 2\tilde F d\tilde ud\tilde v+\tilde G d\tilde ...
2
votes
1answer
59 views

Constructing submanifolds. Did I understand this right?

I just want to know whether I understand the construction of a submanifold in some $\mathbb{R}^n$ properly. Please correct everything that you think could be wrong. As far as I know so far, it is ...