Hi,


this is again a question from me which did not get any answer at math.stackexchange (Link: <https://math.stackexchange.com/questions/27366/>)


This question is about how well one can choose a partition of unity.


So suppose $(M,g)$ is an open Riemannian manifold. I would like to have the following statement to be true:


"There exists an open cover $\{U\_n\}$ of $M$ which is uniformly locally finite (i.e. each point of $p \in M$ lies in at most $q$ sets) and uniformly bounded (i.e. $\mathcal{U} := \bigcup U\_n \times U\_n$ is a controlled subset of $M \times M$, i.e. $\sup\_{p \in \mathcal{U}} d(\pi\_1(p), \pi\_2(p)) < \infty$, where the $\pi\_i$ are the projections on the first and second coordinate).


Furthermore, there exists an subordinate partition of unity $\{g\_n\}$ with the properties that the functions $\{g\_n^{1/2}\}$ are also smooth and for every $l \in \mathbb{N}$ the $i$-th derivatives $(g\_n^{1/2})^{(i)}$ are uniformly bounded for all $i \le l$, i.e. $\parallel(g\_n^{1/2})^{(i)}\parallel\_\infty := \sup\_{p \in M} |\nabla\_{v\_1, \ldots, v\_i} g\_n^{1/2}(p)| \le G\_l$, where the $v\_i$ are unit vectors at the point $p \in M$."


I think the most critical point is the uniform boundedness of the derivatives. Maybe someone knows a reference where it is proven that such a partition of unity always exists (or maybe just one, which has only the property of uniform boundedness of the derivatives)? Is this statement even true?


Thanks,
Alex


edit: Though the metric $g$ on $M$ is fixed (in the application where I need this) I would be also happy about a solution of the form "There exists a metric $g$ on $M$, such that ... (the above holds)" or by giving some sufficient conditions on the metric, such that it is always possible.



Existence of a partition of unity with uniformly bounded derivatives.
As Deane Yang points out, you want bounds from below on the injectivity radius and from above on the curvature. You may want to consider a manifold of *bounded geometry*, which means that in addition all derivatives of the curvature tensor are bounded. This last condition is equivalent to having an atlas of coordinate charts such that all transition functions have uniformly bounded derivatives.


This topic is discussed in a very down-to-earth way in Appendix 1 of the paper "Spectral Theory Of Elliptic Operators On Non-Compact Manifolds" by Shubin. Your question is addressed in Lemma 1.2 on page 30 and Lemma 1.3 on page 31. Here is a link to the paper:


<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.4473>


