Questions tagged [geometric-analysis]
The geometric-analysis tag has no usage guidance.
166 questions
2
votes
0
answers
153
views
An equality regarding Dirac operator
Let S be a spinor bundle on a closed Riemannian manifold M, with a spin connection A. Then for a spinor field $\phi$, we know
\begin{align*}
\frac{1}{2}\Delta|\phi|^2=\langle \nabla_A^*\nabla_A \phi,\...
- 954
3
votes
1
answer
474
views
Geometric flow by the level sets of a harmonic function
Let $u$ be an harmonic function in a cylindrical domain $B_2^{n-1}\times(-1,1)\subset\mathbb{R}^n$, and suppose its level sets $\Gamma_t=\{u=t\}$ are graphs of functions on $B_2^{n-1}$.
Consider a ...
2
votes
1
answer
68
views
Question of an inequality from curve-shortening flow
I am reading a paper about the curve shortening flow which make use of one inequality but I don't know where does it come from where f(x,t) is a smooth function and C is a constant depending on time t....
- 273
6
votes
1
answer
388
views
A better version of Weyl's Law or uniform estimates of Laplacian higher eigenvalues
Let $(M^n,g)$ be a closed $n$ dimensional Riemannian manifold with $\mathrm{Ric}_g\ge -K$, $(K\ge 0)$. Weyl's law(along with Karamata Tauberian Theorem) asserts that the eigenvalue $\lambda_i$ of $-\...
- 193
7
votes
1
answer
390
views
Paths $tg_1+(1-t)g_0$ in the moduli space of Riemann surfaces
Suppose $S$ is a smooth compact oriented surface without boundary. Let $g_0$ and $g_1$ be two smooth Riemannian metrics on $S$. Consider the interpolating path of metrics $g_t=g_1t+g_0(1-t)$. Recall ...
- 14.3k
20
votes
0
answers
2k
views
Schoen and Yau's proof of the higher dimensional positive mass theorem
In April 2017 Schoen and Yau posted on the arxiv their solution of the time-symmetric positive mass theorem in all dimensions, which has been a significant conjecture since the 70s. As of now, July ...
- 2,247
5
votes
1
answer
194
views
3-manifolds with all minimal surfaces closed
Question. Let the manifold $(M^3,g)$ be compact without boundary. Suppose that every complete, embedded minimal surface $\Sigma \subset M^3$ is closed. Must $M$ be diffeomorphic to $\mathbf{S}^3$ or $\...
- 5,048
5
votes
0
answers
160
views
Potential theory as a tool in extrinsic flows
Let $M \subseteq \mathbb{R}^n$ be a submanifold. For a point $x$ disjoint from $M$, we can define the electric potential $\Phi(x) = \int_M \frac{dM}{|x-m|^{n-2}}$, which is smooth and harmonic where ...
- 217
7
votes
1
answer
281
views
Existence of harmonic maps onto the $n$-sphere
Let $(M^n,g)$ be a closed smooth Riemannian $n$-manifold with positive scalar curvature (or positive Ricci curvature) and $(S^n, g_{st})$ be the standard round $n$-sphere.
Whether there exists a non-...
- 1,799
6
votes
0
answers
327
views
Are the two-valued homogeneous harmonic functions classified?
Question. Is there a classification of homogeneous two-valued harmonic functions on $\mathbf{R}^n$, valid in dimensions $n \geq 3$?
For reference, multi-valued functions are familiar objects in ...
- 5,048
3
votes
0
answers
161
views
How to show the upperbound of the Ricci tensor preserved on 3 manifold
So I have more questions coming from Hamilton's "Three-Manifolds with Positive Ricci Curvature" paper here. I'm working in section 9 on Preserving Positive Ricci Curvature, the proof of ...
- 273
1
vote
1
answer
197
views
Minimal surfaces with increasing area but bounded Morse index
Question. What restrictions are known on closed manifolds $(M^3,g)$ that contain a sequence of embedded minimal surfaces $(\Sigma_j \mid j \in \mathbf{N})$ with
\begin{equation}
\mathrm{area} \, \...
- 5,048
5
votes
1
answer
148
views
Stable region of minimal hypersurfaces with finite Morse index
In this Inventiones Mathematicae paper, Fischer-Colbrie proved the following result (Proposition 1):
Proposition: Let $ M$ be a complete two-sided minimal surface in a three manifold $N$. Then if $M$...
- 823
4
votes
0
answers
150
views
What role do semiclassical methods play in the study of Ginzburg--Landau-type equations?
As far as I understand, semiclassical limits are used in quantum mechanics to analyse equations that depend on a small parameter $\hbar$. Apparently studying properties of the PDE as $\hbar \to 0$ ...
- 5,048
2
votes
0
answers
127
views
Are metrics of the form $dr^2+ \Omega^2 r^2 g_\text{round}$ asymptotically flat?
Let $M = [1,\infty)\times S^2$. Let $\Omega$ be any smooth positive function on $S^2$.
Is the metric $dr^2+ \Omega^2 r^2 g_\text{round}$ asymptotically flat (where $g_\text{round}$ is the round metric ...
- 969
2
votes
0
answers
208
views
Can you compute one eigenspace without computing them all?
Maybe the simplest non-trivial settings in which the spectrum of the Laplacian be can be computed is on the round sphere $\mathbf{S}^n$, and for products of manifolds. I want to use the two as ...
- 5,048
4
votes
0
answers
114
views
How can I numerically solve the Laplace equation with cohomological data?
Consider the problem of solving for $u$ where $-\Delta u = f$, $[u] = [g]$ where $[\cdot]$ denotes cohomology class and $u, f, g$ are $p$-forms on a Riemannian manifold $M$. If $g$ instead was ...
- 708
5
votes
1
answer
286
views
Gradient of solution to heat equation under evolving metric
The following simple question came to me when I was studying the heat equation on a Riemannian manifold: Suppose $M$ is a closed Riemannian manifold and $g_t$ is a smooth family of Riemannian metrics ...
- 123
1
vote
0
answers
238
views
What does Colding-Minicozzi theory say about convergence with multiplicity?
Let $(M_j \mid j \in \mathbf{N})$ be a sequence of compact minimal surfaces in the unit ball $B \subset \mathbf{R}^3$, with boundaries $\partial M_j \subset \partial B$. Assume that the sequence ...
- 5,048
1
vote
0
answers
179
views
Can min-max be set up around a minimal cone?
Let me state my question in very loose terms to start, then give some details and restate it in more precise terms at the bottom.
Question. Given a regular minimal cone $\mathbf{C}$, can one set up a ...
- 5,048
5
votes
0
answers
120
views
How does the topology of minimal surfaces depend on the radius?
Let $M^n \subset \mathbf{R}^{n+k}$ be a smooth, properly embedded minimal surface, with boundary $\partial M$. The convex hull property states that $M$ is contained inside the convex hull of its ...
- 5,048
5
votes
1
answer
338
views
Ricci flow proof of isoperimetric inequality
It is well-known in geometric analysis that one can use curve-shortening flow to prove the isoperimetric inequality (where the general result requires curve-shortening flow for non-convex curves).
I ...
- 5,146
7
votes
1
answer
380
views
Completeness hypothesis in the positive mass theorem
I am trying to understand and further formalize Witten's proof of the positive mass theorem. Dan Lee, in his book "Geometric relativity" did a wonderful job with formalizing and carrying out the ...
- 205
3
votes
0
answers
102
views
When is the least-area surface unique?
Let $M^{n-1}$ be a smooth closed manifold, embedded into the round sphere $\mathbf{S}^n$ via a regular map $\Phi$. Using tools from geometric measure theory, one can prove the existence of a $n$-...
- 5,048
7
votes
1
answer
330
views
Path of Diffeomorphisms Fixing the Boundary
Could you please let me know if the following is true. The problem came up while constructing a solution of a PDE. I have browsed through the net for an answer. While I came across some articles ...
- 895
1
vote
0
answers
98
views
Gap phenomenon vs Rigidity results for surfaces
I am trying to understand the differences between the rigidity results and gap results for a given surface immersed into some manifold. For instance, a Gap theorem proved here (Theorem 2.7) says ...
- 11
1
vote
1
answer
178
views
Asymptotics of constant mean curvature surfaces
Let $\Sigma^n \subset \mathbf{R}^{n+1}$ be a complete, properly embedded hypersurface with constant, non-zero mean curvature $H \neq 0.$
In the case where the dimension is $n = 2$, $\Sigma$ is non-...
- 5,048
1
vote
1
answer
111
views
How can I check this volume comparison?
I am reading the paper Ricci Curvature and Volume Convergence written by Professor Colding. In section 2, they define Lipschitz functions $b_j^+:M\to\mathbb R$ with $|\nabla b_j^+|=1$ and set $$\Phi=(...
- 13
15
votes
1
answer
930
views
Sheaf-theoretically characterize a Riemannian structure?
A smooth structure on a topological manifold can be characterized as a sheaf of local rings, see for example the discussion here.
Q: Is there a way to characterize a Riemannian structure on a smooth ...
- 928
5
votes
1
answer
266
views
Neckpinch singularity of Ricci flow
I apologise if this question is unclear as I do not know much about the Ricci flow and am only asking out of curiosity. My understanding is that a neckpinch singularity is a local singularity in the ...
- 5,146
7
votes
1
answer
490
views
Yau's conjecture on nodal sets for manifolds with boundary
I've just read a review paper about Yau's conjecture on nodal sets of the eigenfunctions for the Laplace operator on manifolds.
Briefly, if $\phi_\lambda$, $\lambda$ are an eigenpair for the Laplace-...
- 840
11
votes
1
answer
605
views
Are there currently any plausible approaches to proving the Penrose сonjecture?
I have recently been reading some of the literature on the Penrose inequality, especially the papers by Bray and by Huisken and Ilmanen.
One notices immediately that the existing proofs for the ...
- 5,146
4
votes
0
answers
146
views
Range of divergence operator on the space of traceless symmetric $(0,2)$ tensors; conformal vector fields on an arbitrary metric on $S^2$
Let $\gamma$ be a metric on $S^2$.
I am trying to solve the following PDE on a $(0,2)$ symmetric traceless tensor $A$:
$$div_{\gamma} A = \omega$$
where $\omega$ is a 1-form.
It is known that there ...
- 969
2
votes
0
answers
269
views
Solvability of a PDE involving the Dirichlet-to-Neumann operator
Let $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball (equip $M$ with the euclidean metric for simplicity, but it will be replaced by an arbitrary asymptotically flat metric).
Let $N: L^2(\...
- 969
5
votes
0
answers
130
views
Minimal cones and homology spheres
Let $\Sigma \subset \mathbf{S}^{n}$ be a codimension one, embedded minimal surface in the round $n$-dimensional sphere. Let moreover $\mathbf{C} = \mathbf{C}(\Sigma)$ be the minimal cone in $\mathbf{R}...
- 5,048
3
votes
0
answers
198
views
Dirichlet to Neumann operator and the Riesz transform
Consider the manifold $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. Equip $M$ with an asymptotically flat metric $g$ of high order. Let $\gamma$ be the induced metric on $\partial M$....
- 969
5
votes
0
answers
165
views
Singularities of phase interfaces in closed surfaces
Let $(\Sigma,g)$ be a compact surface without boundary. Given $\epsilon > 0$, the $\epsilon$-Allen-Cahn equation is the semilinear elliptic PDE $\epsilon \Delta_g u - \epsilon^{-1} W'(u) = 0$, with ...
- 5,048
3
votes
0
answers
143
views
Calculation of the mean curvature under a normal perturbation
Let $X: M^n \to N^{n+1}$ be a Riemannian immersion. Write $g, A, \nu, H$ for the first fundamental form, second fundamental form, Gauss map and mean curvature of $X$ respectively. Consider the normal ...
- 41
1
vote
0
answers
117
views
Mean Value Inequality with Linear Term
I am having trouble proving this modified mean-value inequality.
Suppose that $\Delta u+cu\ge 0$ for $u:\mathbb{R}^n\to [0,\infty).$
Prove that there exists constants $r_0,C>0$ depending only on $c$...
- 11
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
2
answers
437
views
Proof of Isoperimetric Inequality using Curve Shortening Flow
I am aware that there is a nice result where one uses curve shortening flow to prove the isoperimetric inequality on the Euclidean plane, but could not seem to find the original article where this was ...
- 5,146
11
votes
2
answers
1k
views
Non-compact manifolds of positive/non-negative Ricci curvature
Consider a non-compact complete Riemannian manifold $(M, g)$ with smooth compact boundary $\partial M$. Suppose also that $M \setminus \partial M$ has positive/non-negative Ricci curvature.
My ...
- 111
1
vote
1
answer
236
views
Continuity of $r\mapsto\int_{\Sigma\cap B_r(x)}f^2d\mu$
Let $\Sigma$ be an embedded smooth surface in $\mathbb{R}^3$, and let $f:\Sigma\to\mathbb{R}$ be a smooth function. Suppose $f$ is square-integrable on $\Sigma$, with
\begin{align}
0<\int_{\Sigma}f^...
11
votes
1
answer
582
views
Smallest volume representatives of homology
Given a Riemannian manifold, I have a notion of volume for each of my chains, so it makes sense to ask for a representative of a homology class with the smallest volume. Are there conditions for when ...
- 353
5
votes
1
answer
495
views
Volume comparison on Grassmannian
Let $G(r,n-r)$ be the Grassmannian, which can be identified with the space of all rank $r$ projection matrices in $\mathbb{R}^n$. Let $\mu$ be the uniform measure on $G(r,n-r)$. For any $\lambda_1,......
- 1,495
3
votes
0
answers
214
views
Reference on noncommutative PDE
I would like to ask if there is reference on semi-linear parabolic PDE (or more generally any kinds of PDE) with non-commutative unknown variable. For example, assume $u$ is a matrix-valued function (...
- 31
22
votes
2
answers
5k
views
Surface equivalent of catenary curve
A catenary curve
is the shape taken by an idealized hanging chain or rope under the influence
of gravity. It has the equation $y= a \cosh (x/a)$.
My question is:
What is the shape taken by an ...
- 151k
0
votes
0
answers
120
views
A calculation involving Cotton tensor
I have a confusion regarding a calculation given below :
$$
\begin{split}
\int_M C^{ij}\nabla_i f \nabla_j f d\mu & = \frac{1}{3}\int_M g^{ij}g_{ij} C^{ij}\nabla_i f \nabla_j f d\mu \\
&= \...
4
votes
0
answers
187
views
Characterization of geodesic balls
In $\mathbb R^{n\geq3}$, spheres can be characterized by single layer potentials having constant eigenfunction. More precisely we have the following:
Theorem (H. Shahgholian) Let $\Omega\subset \...
- 1,583
5
votes
0
answers
307
views
On Colding-Minicozzi limit lamination theorem
Colding and Minicozzi proved the following limit lamination theorem (see Theorem 8.26 in "A course in Minimal Surfaces" by Colding and Minicozzi for the complete statement)
THEOREM: Let $\Sigma_i \...
- 823