All Questions
13 questions
28
votes
7
answers
5k
views
Rolle's theorem in n dimensions
This looks like a statement from a calculus textbook, which perhaps it should be.
"Rolle's theorem". Let $F\colon [a,b]\to\mathbb R^n$ be a continuous function such that $F(a)=F(b)$ and $F'(t)$ ...
11
votes
1
answer
452
views
Does every smooth map of rank at most d factor through a d-manifold?
Suppose $d≥0$, $m≥0$, $n≥0$, and $\def\R{{\bf R}} f\colon \R^m→\R^n$ is a smooth map
whose rank at any point of $\R^m$ is at most $d$.
Here and below, smooth means infinitely differentiable.
Can we ...
5
votes
2
answers
2k
views
Elementary proof of the uniqueness of smooth structures on $\mathbb{R}$
Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
3
votes
0
answers
200
views
The best applications of the Poincaré-Bendixson theorem [closed]
I'm reading about the Poincaré-Bendixson theorem in the plane, I really liked the theorem. I have seen common applications in Sotomayor and Perko's book. But I would like to know what other ...
2
votes
1
answer
232
views
Existence of diffeomorphism interpolating affine map and identity
$\newcommand{\R}{\mathbb{R}}$Suppose $\Omega$ is a bounded, convex domain in $\R^{m}$. Fix $x_1, x_2\in\Omega$ and an invertible matrix $A\in\mathrm{GL}^{+}(m)$ with positive determinant.
Let $U\...
2
votes
1
answer
138
views
Boundedness of an exit time from a campact set
Let $n\geq 1$ and $v\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$. For $x_0\in\mathcal{O}$, let $\big(x(t)\big)_{t\geq 0}$ be the solution of
\begin{align*}
& x(0)=x_0 \\
& \dot{x}=v(x).
\end{...
2
votes
1
answer
150
views
Continuity of a reaching time of a submanifold
Let $\mathcal{O}$ be a bounded open subset of $\mathbb{R}^n$ $(n\geq 1)$ and $v\in\mathcal{C}^1(\mathcal{O},\mathbb{R}^n)$. For $x_0\in\mathcal{O}$, let $\big(x(t)\big)_{t\geq 0}$ be the solution of
\...
1
vote
1
answer
345
views
Topological degree of differentiable map using line integrals?
Let $f:\mathbb R^2 \to \mathbb C$ be a $C^1$ function that vanishes at a point $x_0.$
I can then define $$-i \int_{\gamma_\varepsilon} \nabla \log(f(s)) \cdot ds := - i \int_0^1 \nabla (\log f)(\...
1
vote
1
answer
675
views
Directional gradient on sphere
We consider the following function
$$f:(\mathbb S^n)^N \rightarrow \mathbb R^{n+1} \text{ such that } f(x_1,...,x_N)= \sum_{i=1}^N x_i.$$
This function can be written in Cartesian coordinates as $f(x)=...
1
vote
1
answer
307
views
Ordinal of injectivity for a smooth regular curve with a finite arc-length
Let $\gamma: [a,b]\to\mathbb{R}^d$ defined by $$\gamma(t)=(\gamma_1(t),\dots,\gamma_d(t)) $$ be a smooth (i.e., $\gamma\in C^\infty (\mathbb{R}))$ and regular ($\gamma^\prime(t)\neq \vec 0$) curve ...
1
vote
0
answers
131
views
Integral flow that can commute to Laplacian operator
Firstly, considering the vector field in $ \mathbb{R}^3 $, $ X=x_2e_1-x_1e_2 $, we can see that
$$
\phi(t,x)=\phi(t,x_1,x_2,x_3)=(t,x_1\cos t+x_2\sin t,-x_1\sin t+x_2\cos t,x_3)
$$
is the ...
0
votes
0
answers
168
views
How does one make sense of singular solutions to constant mean curvature equation?
Background:
Consider the following ODE:
$$\left(\frac{r^2 \dot{f}}{\sqrt{1+r^2(\dot{f})^2}}\right)' = c r$$
where $c$ is some positive constant (Lagrange multiplier), $f:[0,\infty)\to [0,\pi]$ is the ...
-1
votes
2
answers
129
views
Is it possible for all of the smooth/continuous curves in $R^3$ to form a Hilbert space? [closed]
Under which condition can it form a Hilbert space? Or what space can it form?
You can write down certain condition to make it to be a Hilbert space, e.g., Let $$p(t)=[x(t),y(t),z(t)]^T\in \text{R}^3$$ ...