All Questions
Tagged with real-analysis riemannian-geometry
50 questions
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 1,429
6
votes
1
answer
197
views
On elliptic operators on non-compact manifolds
Let $(M,g)$ be a (connected, oriented) Riemannian manifold and $E$ some finite-rank $\mathbb{R}$- or $\mathbb{C}$-vector bundle equipped with some (positive-definite) inner product on the level of (...
- 1,429
3
votes
0
answers
219
views
Strictly contracting solutions to the Eikonal equation on Riemannian manifolds
Given a Riemannian manifold $M$, we say $f: M \to \mathbb R$ is a strict contraction if $|f(x) - f(y)| < |x - y|$ for all distinct $x, y \in M$.
Question: Does there exist, on every complete ...
- 6,215
4
votes
1
answer
128
views
Lower bound of mean curvature implies that the set is subset of a given ball
If a simply connected set $\Omega\subset\mathbb{R}^n$ has $C^2$ boundary such that the mean curvature $H$ of $\partial \Omega$ satisfies:
$$H\geq 1$$
Does this imply that $\Omega\subset B_1$ after ...
- 421
0
votes
0
answers
60
views
The size of super level sets and the symmetry on a sphere
Let $u$ be a smooth function defined on the sphere $\mathbb{S}^2$, and let $R \in \mathrm{SO}(3)$ be a three-dimensional rotation. Define
$$
S_R = \{x \in \mathbb{S}^2 : u(x) \neq u(Rx)\}.
$$
Suppose ...
- 434
1
vote
0
answers
54
views
Isoperimetric Inequalities in Annular Regions
Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that
$$
\left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
- 434
7
votes
2
answers
627
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 1,171
1
vote
1
answer
160
views
Differentiability of an integral of geodesic distance
Let $(M,g)$ be an $m$-dimensional Riemannian symmetric space and $d(\cdot,\cdot)$ be the geodesic distance function. Fix any $\alpha\in M$ and $v\in T_\alpha M$ with $\|v\|=1$.
Q1: Define
$$
g(t)=\...
- 125
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
3
votes
2
answers
294
views
Domain of spectral fractional Laplacian
Let $(M,g)$ be a complete Riemannian manifold with Laplacian $\Delta:C^{\infty}_{c}(M)\to C^{\infty}_{c}(M)$ (think of $\mathbb{R}^{d}$ if you wish). This operator is essentially self-adjoint in $L^{2}...
- 1,171
2
votes
0
answers
188
views
Self-adjointness of fractional laplacian
Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
- 1,171
4
votes
1
answer
202
views
Finding a real-analytic diffeomorphism
Let $U_1\subset \mathbb R^3$ be a simply connected bounded open set with a smooth boundary and let $U_2$ be a neighborhood of $U_1$. Does there exist a real-analytic diffeomorphism $\psi: U_2 \to W_2$ ...
- 4,143
4
votes
1
answer
172
views
Existence of a domain with simple Dirichlet eigenvalues
Let $g$ be a smooth Riemannian metric on $\mathbb R^3$ that coincides with the Euclidean metric outside a compact set $K$. Does there exist some domain $\Omega$ with smooth boundary such that $K \...
- 4,143
5
votes
3
answers
620
views
Poisson equation on manifolds
Let $(\mathcal{M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well-known that the Poisson equation
$$\Delta u=f$$
does have a solution on $C^{\infty}(\mathcal{M})$ ...
- 1,171
3
votes
1
answer
340
views
Shrinking a disk with fixed differential
Consider mappings $f$ from $\mathbb{R}^2$ to $\mathbb{R}^2$ with differential
\begin{align}
\mathsf{d} f= \begin{pmatrix}
\cos\psi(x) &\cos\phi(y) \\
\sin \psi(x)& \sin\phi(y)
\end{...
- 134
2
votes
0
answers
148
views
Finding an asymptotically flat manifold with ${\rm Ric}_{r\phi} = \frac{\sin\theta}{r^2}$
Let $(r,\theta,\phi)$ be the spherical coordinates on $\mathbb{R}^3$ where $\theta \in (0,\pi)$ and $\phi\in (0,2\pi)$.
Does there exist an asymptotically flat metric $g$ on $\mathbb{R}^3\setminus B_1$...
- 969
1
vote
1
answer
137
views
Smoothness of the asymptotic parametrization of a ruled surface
Let $S$ be a smooth developable surface in $\mathbb{R}^{3}$. It is well known that, if $S$ is free of planar points, then it admits a local parametrization of the form
$$\begin{align}
\sigma \colon I \...
- 987
2
votes
0
answers
85
views
Proving an eigenvalue bound without resorting to Weyl's law
Suppose $(M,g)$ is a smooth compact Riemannian manifold of dimension $n\geq 2$ with smooth boundary and denote by $\{\phi_k,\lambda_k\}_{k\in \mathbb N}$ its Dirihclet spectral decomposition for the ...
- 4,143
2
votes
0
answers
77
views
Weyl's law and eigenfunction bounds for weighted Laplace-Beltrami operator
I would appreciate any answers or even references for the following problem.
Let $(M,g)$ be a complete smooth Riemannian manifold with an asymptotically Euclidean metric (let's even say that the ...
- 4,143
0
votes
1
answer
711
views
Lipschitz domains ambiguous definitions
I use a lot in the study of pde bounded Lipschitz domains $\Omega\subseteq\mathbb{R}^N$. However I have noticed that there are some major differences in their definitions. I will put here two of them, ...
- 1,759
1
vote
0
answers
259
views
Divergence of conformal Killing vector fields on $S^2$ and the spherical harmonics
Can anyone think of a conformal Killing vector field $W$ on $S^2$ with the round metric that is not Killing such that its divergence is $L^2$-orthogonal to the spherical harmonics with $\ell = 1$?
One ...
- 969
5
votes
1
answer
339
views
Finding vector fields on $S^2$ with equal divergence
Let $\mathfrak{X}_{CK}^{\perp}$ be the space of vector fields on $S^2$ that are $L^2$-orthogonal to conformal Killing vector fields. Let $\mathfrak{X}_{CK}$ be the 6-dimensional space of conformal ...
- 969
1
vote
1
answer
75
views
A property for generic pairs of functions and metrics
Let $M$ be a compact smooth manifold with a smooth boundary. Given a smooth Riemannian metric $g$ on $M$, we denote by $\{\phi_k\}_{k=1}^{\infty}$ an $L^2(M)$--orthonormal basis consisting of ...
- 4,143
8
votes
2
answers
773
views
Points where harmonic functions fail to give a coordinates system
Let $\Omega$ be a bounded domain in $\mathbb R^n$ with a smooth boundary and let $g$ be a smooth Riemannian metric on $\Omega$. Let $f_1,f_2,\ldots,f_n$ be non-constant smooth functions on $\partial \...
- 4,143
2
votes
1
answer
742
views
Continuity of the perimeter of level sets w.r.t. level function
Working with the level set method introduced by Osher & Sethian in shape optimization I came across a simple question that I did not succeed to prove. It mainly asserts that the perimeter of the ...
- 1,759
1
vote
1
answer
135
views
Can two continuously differentiable functions be made $C^1$ close via a perturbation of the metric?
Definitions:
We say a smooth Riemannian metric on $\mathbb R^n$ is smoothly equivalent to Lebesgue measure if the Radon Nikodym derivative of the associated Riemannian volume measure with respect to ...
- 6,215
1
vote
0
answers
157
views
Does a sequence of Jacobians converge to the 'correct' continuous part plus some controlled singular part?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be two-dimensional smooth, compact, connected, oriented Riemannian manifolds. (with or without boundaries). Let $f_n \in W^{1,...
- 6,741
1
vote
1
answer
201
views
Does weak continuity of Jacobians hold for non nondegenerate maps?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be two-dimensional smooth, compact, connected, oriented Riemannian manifolds. (with or without boundaries).
Let $f_n \...
- 6,741
2
votes
0
answers
109
views
Finding $\Omega$ such that the 1-form $\Omega^2 \omega$ is $L^2$ orthogonal to conformal killing vector fields on $S^2$
Consider the space $\mathcal{A}$ of functions $\Omega$ such that $\Omega^2 \gamma_0$ is isometric to the round sphere, where $\gamma_0$ is the round sphere. (so $\Omega^2 \gamma_0$ is of constant ...
- 969
2
votes
0
answers
141
views
For a 1-parameter family of metrics, how do we compute the derivative of the intrinsic geometrical objects like curvature, Hessian, etc
Consider a family of metrics and functions $(g(t), u(t))$ on $M:= \mathbb{R}^3 \setminus B_1$ satisfying
$$ g(0) = g_0, \quad g'(0) = \tilde g, \quad u(0) = u_0, \quad u'(0) = \tilde u$$
where $g_0$, $...
- 969
3
votes
0
answers
65
views
Elliptic equations in semi-infinite strips
Let $\Omega$ be a bounded domain in $\mathbb R^n$ with smooth boundary. Let $g=(g_{jk})_{j,k=0}^n$ be a Riemannian metric on $\mathbb R^+\times \Omega$ with smooth bounded components. Is there a good ...
- 4,143
2
votes
0
answers
88
views
$1$-parameter analytic functions are almost everywhere Morse
Let $I = [t_{0}, t_{1}]$ be a closed interval with $t_{0} < t_{1}$ and let $M$ be a compact real analytic $n$-dimensional manifold without boundary. Furthermore, let $f:I \times M \rightarrow \...
- 21
2
votes
0
answers
85
views
Are a map with constant singular values and its inverse always conjugate through isometries?
Let $U \subseteq \mathbb R^2$ be open, connected and bounded, and let $0<\sigma_1<\sigma_2$ satisfy $\sigma_1 \sigma_2=1$.
Suppose that $f:U \to U$ is a diffeomorphism whose singular values (of $...
- 6,741
4
votes
1
answer
119
views
minimizing weighted length of closed curves
Let $\mathcal{A}$ be the family of closed smooth curves in the right half of the complex plane $\mathbb{C}$ such that any curve in the family must enlose the point $z=1$ and tangent to the $y$-axis at ...
- 1,350
8
votes
2
answers
453
views
Vector field with constant divergence around embedded submanifold
Let $M$ be a smooth $n$-dimensional manifold and $N\subset M$ be a closed embedded submanifold of codimension at least $2$. Furthermore, let $\mu$ be a volume form on $M$.
Question: Does there ...
- 81
4
votes
1
answer
224
views
When is the cut-locus normal coordinate collared
Let $(M,g)$ be a complete $d$-dimensional Riemannian manifold, $p \in M$ be fixed and let $C_p$ be the cut-locus of $p$.
Other than when $M$ is non-positively curved (in which $C_p=
\emptyset$ by ...
- 5,405
2
votes
1
answer
320
views
Riemannian submanifolds of Euclidean space admitting Lipschitz extension of Lipschitz functions, and converse statement
Let $M \subset \mathbb{R}^p$ be a Riemannian submanifold. In what follows, when we talk about a Lipschitz function $f$ on $M$, namely $f: M \to \mathbb{R}$, we will assume there is a $L > 0$ so ...
- 1,467
14
votes
2
answers
872
views
Are all maps $\mathbb{R}^2 \to \mathbb{R}^2$ with fixed singular values affine?
Let $f:\mathbb{R}^2 \to \mathbb{R}^2$ be a smooth map whose differential has fixed distinct singular values $0<\sigma_1<\sigma_2$ and an everywhere positive determinant (which is the product $\...
- 6,741
2
votes
0
answers
55
views
Approximate a one-form with nowhere vanishing one-forms having bounded Laplacians
This is a follow-up question of this one.
Let $\mathbb{D}^2$ be the closed two-dimensional unit disk (endowed with some smooth Riemannian metric), and let $\sigma \in \Omega^1(\mathbb{D}^2)$ be a ...
- 6,741
0
votes
0
answers
59
views
Gauss lemma for nonsmooth metric
$g_{ij}(x)\in L^\infty(\mathbb{R}^n, M^{n\times n})$ is a metric in $\mathbb{R}^n$ satisfying $\lambda |x|^2\leq g_{ij}x^ix^j\leq \Lambda |x|^2$($\lambda>0$&$\Lambda>0$)
Can we find a ...
- 101
4
votes
1
answer
92
views
Approximate a one-form on the disk with nowhere vanishing one-forms satisfying an asymptotic vanishing of some derivatives
Let $\mathbb{D}^2$ be the closed two-dimensional unit disk, and let $g:\mathbb{D}^2 \to \mathbb{R}$ be a non-constant harmonic function (smooth up to the boundary).
Does there exist a sequence of ...
- 6,741
4
votes
3
answers
3k
views
Covariant derivative of determinant of the metric tensor
Let $(M,g)$ be a Riemannian manifold and $g$ the Riemannian metric in coordinates $g=g_{\alpha \beta}dx^{\alpha} \otimes dx^{\beta}$, where $x^{i}$ are local coordinates on $M$. Denote by $g^{\alpha \...
- 131
3
votes
1
answer
115
views
Given a local metric which is $C^1$-close to another, can we extend it globally while preserving the approximation?
Let $M$ be a smooth closed manifold, and let $g_0$ be a Riemannian metric on $M$.
Let $U$ be a neighbourhood of $p \in M$, and suppose that we are given a metric $g$ on $U$, which satisfies $\| g-...
- 6,741
4
votes
0
answers
159
views
inverse of sobolev riemannian metric still sobolev?
Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
- 101
6
votes
1
answer
288
views
Rademacher type theorem for Alexandrov spaces
The classical Rademacher theorem says that any Lipschitz function on a doman in $\mathbb{R}^n$ has the first derivative almost everywhere.
I am wondering if this result can be generalized as follows. ...
- 21.8k
1
vote
0
answers
100
views
singular integral operators
Let $(\Omega,g)$ be a compact domain with smooth boundary and suppose that $g$ is smooth. Let $g_D$ and $g_N$ denote the Dirichlet and Neumann green functions for the Laplace-Beltrami operator.
My ...
- 4,143
3
votes
1
answer
1k
views
Continuation (extension) of harmonic functions
Suppose $(M,g)$ is a simply connected smooth Riemannian manifold with smooth boundary and suppose that $U \subset \partial M$ is a smooth open connected subset of the boundary. Now my question is the ...
- 4,143
0
votes
0
answers
145
views
Does there exist this special kind of homeomorphism?
Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
- 183
8
votes
1
answer
597
views
complete metric space
Hallo, I have the following question:
Let $(X,d)$ be a complete metric space. Is then $(X,\operatorname{dist})$ also complete? Here by $\operatorname{dist}$ I mean the metric induced by $d$ by: $\...
- 83
4
votes
2
answers
734
views
Analyzing the solution to a second-order, non-linear ODE
Let $\psi : [0,\infty] \to \mathbb R$ be a strictly positive, continuously differentiable function, and consider the non-linear ODE $$\ddot x = - \frac{1}{4} \frac{\psi'(x)}{\psi(x)} \left( \dot x^2 - ...
- 8,512