Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
1 answer
165 views

Algebraic solutions of polynomial ODEs

Given a polynomial ODE in $n$-dimensions of maximal degree $d$ $$ \dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n ...
NicAG's user avatar
  • 247
3 votes
0 answers
126 views

A path with zero increments and positive area

I am studying rough paths from the 2007 St Flour lecture notes and I came across the example at the end of chapter one of the sequence of paths $X(n):[0,2\pi]\to \mathbb R^2$ given by $X_t(n) = \frac{...
Martin Geller's user avatar
4 votes
2 answers
335 views

If $\Omega$ is locally Lipschitz, then $\Omega = \bigcup_{k = 1}^N \Omega_k$ for $\Omega_k$ star shaped with respect to an open ball $B_k$

I am reading Galdi's Introduction to the mathematical theory of Navier Stokes equations and there is an argument which comes up quite often that I really don't understand. In many theorems of Chapter $...
Falcon's user avatar
  • 452
2 votes
2 answers
447 views

Reconciling some result about the exponential map, the Chow-Rashevskii theorem, and $\mathrm{Diff}_0(M)$

Let $M$ be a $C^{\infty}$ manifold $C^{\infty}$-diffeomorphic to $\mathbb{R}^d$. I've recently come across some results which I'm trying to reconcile. Let $\mathfrak{X}(M)$ denote the set of ...
ABIM's user avatar
  • 5,405
2 votes
1 answer
301 views

Density of continuous functions to interior in set of all continuous functions

Let $M$ be an $m$-dimensional manifold and $N$ be an $n$-dimensional manifold with boundary. Suppose also that the topology on $N$ can be described by a metric. Thus, the set $C(M,N)$ can be endowed ...
ABIM's user avatar
  • 5,405
2 votes
1 answer
1k views

Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all: Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...
Kathrin L.'s user avatar
1 vote
1 answer
370 views

Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question. Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$). I'm interested in the topological ...
Kathrin L.'s user avatar
8 votes
2 answers
2k views

Relating different topologies on $C^{\infty}_c(M)$

This is somehow connected to this question. I can think of at least four topologies to put on $C_c(M)$: Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney $C^\...
Kathrin L.'s user avatar
17 votes
1 answer
2k views

Which Fréchet manifolds have a smooth partition of unity?

A classical theorem is saying that every smooth, finite-dimensional manifold has a smooth partition of unity. My question is: Which Fréchet manifolds have a smooth partition of unity? How is the ...
Konrad Waldorf's user avatar