Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Dmitri Pavlov's user avatar
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 ...
Tatin's user avatar
  • 895
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 ...
Zaragosa's user avatar
  • 143
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\...
Sven Pistre's user avatar
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{...
G. Panel's user avatar
  • 449
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 \...
G. Panel's user avatar
  • 449
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)(\...
António Borges Santos's user avatar
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)=...
Sascha's user avatar
  • 536
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 ...
Alan Watts's user avatar
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 ...
Luis Yanka Annalisc's user avatar
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 ...
Student's user avatar
  • 537
-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$$ ...
Nan Zhang's user avatar