All Questions
Tagged with fa.functional-analysis dg.differential-geometry
313 questions
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 ...
- 191
2
votes
0
answers
133
views
Heat semigroup estimate on complete Riemannian manifold
Consider a complete noncompact Riemannian manifold $M$ such that the heat kernel $h_t(x, y)$ satisfies
$h_t(x, y) \leq Ct^{-n/2}$. Consider a function $u \in L^p(M)$. How can we prove that $e^{t\Delta}...
- 21
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^\...
- 81
3
votes
2
answers
675
views
distributional Hessian for semiconvex functions on non-smooth manifolds
Let $f:R^n \to R$ be convex. Then there exist signed Radon measures $\mu^{ij}=\mu^{ji}$ such that
$$
\int_{R^n} f \frac{\partial^2 \varphi}{\partial x_i \partial x_j} dx= \int_{R^n} \varphi d\mu^{ij} ...
- 471
0
votes
1
answer
197
views
How to minimize this sparse quadratic function?
There is a problem when I'm reading a paper.
Equation:
$min_p|p-p^*|^2+\alpha |R(p)|^2 + \beta |D(p)-\delta|^2$,
where $p, p^*, R(p), D(p), \delta$ are all $M\times N$ matrices, and $p^*, R(), D(), ...
- 1
5
votes
0
answers
211
views
Infinitesimal Generator of Billiard Flow
The Billiard flow $S_t$ on a Riemannian manifold with boundary (with corners) is the group of operators defined on continuous functions on the Co-sphere bundle as follows: To determine $S_t u(\xi)$, ...
- 9,853
12
votes
1
answer
726
views
Schemes over topological rings
I have recently been interested in studying an extension of 'usual' algebraic geometry to take into account the topology of $R$ in the definition of the affine scheme $\mathrm{Spec}\, (R)$ when the ...
- 1,270
1
vote
0
answers
58
views
Measurability of eigenelements $s \mapsto (\varphi_k(s), \lambda_k(s))$ of Laplace-Beltrami on $M_s$
For each $s \in [a,b]$, let $M_s$ be a compact Riemannian manifold with no boundary.
Under what conditions on $s \mapsto M_s$ do the eigenvalues and eigenfunctions $(\varphi_k(s), \lambda_k(s))_{k \...
- 11
1
vote
1
answer
191
views
Sequence of smooth maps converging to the identity [closed]
Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...
- 27
1
vote
1
answer
395
views
Poincare inequality on balls to arbitrary open subset of manifolds
Let $M$ be an n-dim compact Riemannian manifold with $Ric \geqslant -(n-1)$, it's well known that the following Poincare inequality holds for any function $f\in W^{1,2}(M)$
$$
\frac{1}{m(B)}\int_B |f-\...
- 471
8
votes
0
answers
208
views
(Un)bounded Geometry and Sobolev Spaces
This post is related to this and this post.
It is known that on a complete Riemannian manifold, the space $C^\infty_c(M)$ is generally not dense in the Sobolev spaces $W^{k, p}(M)$ ($1 \leq p < \...
- 9,853
2
votes
0
answers
382
views
Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)
Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...
- 53
5
votes
2
answers
1k
views
Compactly supported functions and Sobolev spaces on manifolds
It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...
- 9,853
5
votes
1
answer
482
views
When is a `1-form' with continuous coefficients exact?
Let $\Omega$ be a convex, bounded open subset of $\mathbb{R}^d$, and let $C^1(\bar \Omega)$ be usual space of continuous functions on $\bar \Omega$ which are $C^1$ in $\Omega$ and whose partials in $\...
- 778
1
vote
0
answers
91
views
Representing a Pullback as an Infinite Matrix
Let $M$ and $N$ be manifolds and let $T: M \to N$ be a bijective map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) be the space of all functions from $M$ (resp. $N$) to $\...
- 61
1
vote
0
answers
318
views
Properties of a function from its pullback
Edit: I have now removed the duplication previously referred to. Thank you.
Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{...
- 61
2
votes
1
answer
586
views
Inverse Problem for Pullback
Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) denote the space of smooth functions from $M$ (resp. $N$) ...
- 61
0
votes
0
answers
148
views
existence of locally translation-invariant Borel measure on Frechet manifolds
It is well known that the only locally finite, translation-invariant Borel measure on an
infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...
4
votes
0
answers
241
views
"Partition" of a smooth function in $\mathbb R^2$
This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions $f_1=...
- 231
18
votes
3
answers
2k
views
Poincare lemma for non-smooth differentiable forms
The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for $C^k$-...
- 16.4k
6
votes
1
answer
737
views
Tensor product of certain Sobolev spaces on non-compact manifolds
Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in sup-norm)....
- 2,998
17
votes
1
answer
1k
views
Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)
Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
\...
- 5,824
3
votes
1
answer
326
views
Spectral multipliers vis-a-vis Differential geometry
Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...
- 141
15
votes
0
answers
1k
views
Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle
My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...
- 648
0
votes
1
answer
217
views
Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]
I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...
- 13
7
votes
0
answers
116
views
Bundles over Function Spaces
Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable Hilbert-...
- 71
2
votes
0
answers
149
views
Variational inequality on Manifold
Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla \...
- 21
2
votes
1
answer
302
views
When do curves exist in infinite-dimensional submanifolds?
Let me explain the motivation for my question by talking about the finite-dimensional situation. Let's say we have a $d$-dimensional $C^\infty$ manifold $M$ embedded smoothly in $\mathbb R^n$. We fix ...
- 445
4
votes
1
answer
337
views
Extension of pseudodifferential operators
I'm very sorry if this is the wrong place to ask this question, but I've asked it on StackExchange and received no answers. ( https://math.stackexchange.com/questions/813063/convergence-to-a-schwartz-...
- 63
1
vote
1
answer
547
views
de Rahm Laplace operator on forms bounded
Let $M$ be a closed differentiable manifold. Let $E^{p}(M)$ be the vector space of $p$-forms on $M$ equipped with the $L^{2}$-inner product $(\alpha, \beta) = \int_{M}\alpha \wedge \star \beta$. The ...
- 11
3
votes
0
answers
189
views
Can we obtain topology results using analysis in metric measures spaces?
Let $M$ be a smooth compact manifold. It is known that a lower bound on the Ricci curvature is equivalent to the convexity of the entropy on $\mathcal{P}^2(M)$ (Von Rennesse and Sturm '05), but I don'...
- 215
0
votes
1
answer
277
views
both convex and superharmonic function on manifold concave?
M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M \...
- 689
4
votes
1
answer
2k
views
The space of diffeomorphisms on a manifold
It is well known that given a compact connected smooth manifold without boundary $M$, the set of diffeomorphisms $Diff^{r}(M)$ of $M$ for $r≥1$, is open in $C^{r}(M)$, the set of continuous functions (...
- 43
2
votes
1
answer
529
views
Cotangent bundle of symmetric space is symmetric space?
Let $G$ be a connected Lie group. Then a symmetric space for $G$ is a homogeneous space $G/H$ where the stabilizer $H$ of a typical point is an open subgroup of the fixed point set of an involution ...
user21574
7
votes
1
answer
775
views
Fréchet-Kolmogorov compactness Theorem for Lp spaces on manifolds
Suppose I have a family of functions $\mathcal{F} \subseteq L^2(\mathcal{M}, P)$ where $\mathcal{M}$ is a compact manifold, and $P$ is a probability distribution on $\mathcal{M}$. Is there an ...
- 143
13
votes
3
answers
2k
views
Sobolev spaces and geometry
This is a very naive question, is there a way to geometrically understand Sobolev spaces without going through analysis and PDE's? To my knowledge, Sobolev spaces where created precisely to study PDE'...
- 947
0
votes
0
answers
474
views
Does the Laplace-Beltrami/surface gradient commute with orthogonal projection? (related to Galerkin method)
Let $\Gamma$ be a $C^k$ $(n-1)$-dimensional hypersurface embedded in $\mathbb{R}^n$. Let $H=L^2(\Gamma)$ and $V=H^1(\Gamma)$.
Suppose that $\{v_j\}$ is a basis for $H$ and $V$ (not necessarily ...
- 85
5
votes
1
answer
449
views
Practical way to check whether a distribution is conormal
Let $X$ be a $C^\infty$-manifold, $Y$ be its $C^\infty$-submanifold. Hörmander defines the set $I^m(X,Y)$ of conormal distributions as the set of all $u \in \mathscr D'(X)$ such that
$$
L_1 \...
- 1,329
11
votes
0
answers
364
views
Carleson's Theorem on Manifolds
Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
- 1,084
1
vote
2
answers
353
views
How to show this integral on boundary of Lipschitz domain is finite?
Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} \frac{1}{|y|^{...
2
votes
1
answer
238
views
If $f \in H^{\frac 12}$ and $\varphi$ is Lipschitz, is $f\varphi \in H^{\frac 12}$ (on a Lipschitz hypersurface)?
Let $M$ be a bounded hypersurface. Let $f \in H^{\frac 12}(M)$ and let $\varphi\colon M \to \mathbb{R}$ be a Lipschitz function.
When $M=\Omega \subset \mathbb{R}^n$ an open domain, we know that the ...
- 307
5
votes
0
answers
394
views
construction of heat kernels for non-compact manifolds with boundary
Recently, I am studying heat semigroup for noncompact manifolds with boundary.
In Issac Chavel's book "eigenvalues in Riemannian geometry". "Given a noncompact Riemannian manifold, it need not be ...
- 199
3
votes
1
answer
494
views
A question on Grassmannian
Let $V$ be the space of $4$ by $4$ Hermitian matrices, that
is a vector space of dimension $16$ over $\mathbb{R}$. Is the uniform
measure of
$$
\left\{ W\in Gr\left(5,V\right):W \text{contains no ...
- 119
5
votes
4
answers
2k
views
When does heat kernel have both Gaussian upper and lower bounds?
Recently, I am reading Sturm's paper "Analysis on local Dirichlet form III: X is a locally compact separable Hausdorff space and m is a positive Radon measure with supp[m]=X.
$\varepsilon$ is a ...
- 199
1
vote
1
answer
196
views
heat kernel $p_t(x_0,y) \in D(\Delta) \cap L^\infty$ for a manifold with Ricci curvature bounded below?
X is an n-dim Riemannian manifold with the Dirichlet form
$$
\varepsilon (u,v) =-\int_X \langle \nabla u,\nabla v \rangle
$$
for $u,v \in W^{1,2}(X)$.
Let $P_t$ and $p_t(x,y)$ be the associate ...
- 199
-2
votes
2
answers
1k
views
Are there examples of compact infinite dimensional manifolds? [closed]
Are there known examples of compact infinite dimensional manifolds?
The word "manifold" is important.
- 73
4
votes
2
answers
406
views
Can we define smooth diffeomorphisms on the Hilbert cube $[0,1]^\mathbb{N}$ ? Has it been done in the literature?
Can we define smooth diffeomorphisms on the Hilbert cube$[0,1]^\mathbb{N}$ ? Has it been done in the literature?
For example, let $E$ be the set of bijections $f$ of the Hilbert cube, such that $f((...
- 403
18
votes
3
answers
4k
views
Formal adjoint of the covariant derivative
Let $E \to M$ be a vector bundle over some Riemannian metric $(M, g)$ and endow it with some fibre metric. Assume that covariant derivative $\nabla$ is compatible with the metric.
It is essentially ...
- 5,824
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 728
5
votes
1
answer
932
views
Mellin transform between heat kernel and zeta-function
For some notion of a "positive operator" $D$ of "Laplacian type" one seems to be able to define a notion of a zeta-function as $\xi(s,f,D) = Tr_{L^2}(f D^{-s})$ where $f \in L^2$ (the space of square-...
- 617