Questions tagged [geometric-analysis]
The geometric-analysis tag has no usage guidance.
125
questions
2
votes
0
answers
60
views
parabolic schwarz lemma
Trying to follow the computation in https://arxiv.org/pdf/math/0602150.pdf, page 7, theorem 3.1 which proved a parabolic Schwarz lemma. Specifically, they computed $\Delta \text{tr}_{g}h = g^{i \bar l}...
2
votes
0
answers
78
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,\...
1
vote
0
answers
192
views
Reference request - Texts on geometric analysis with exercises
I’ve recently been studying some Riemannian geometry and geometric analysis, however I have found it difficult to find resources with exercises to practice. It seems that many textbooks past the ...
3
votes
0
answers
111
views
+50
A pde inequality
Say $M$ be a closed manifold of dimension $6$, we have
\begin{align*}
\Delta f\leq g f-f^2
\end{align*}
where $g$ is a smooth function on $M$ and $f\geq 0$ (in my case $f=|\phi|^2$ for $\phi$ a ...
5
votes
0
answers
129
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 ...
2
votes
1
answer
57
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....
4
votes
0
answers
72
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 ...
0
votes
0
answers
42
views
Invariant sets of ODE defined by functions
I am cross posting from MSE: https://math.stackexchange.com/questions/4351154/invariant-sets-under-ode-defined-by-functions.
Let $f:\mathbb{R}^n\to\mathbb{R}^n$ be a function. I am interested in the ...
6
votes
1
answer
250
views
Solving $\Delta \text{tr}(h) - \mathrm{div}(\mathrm{div}(h)) + \text{tr}(h) = f$ on $S^2$
$\DeclareMathOperator\ddiv{div}\DeclareMathOperator\tr{tr}\newcommand{\conf}{\mathrm{conf}}$Consider this PDE on a symmetric tensor $h$ on $S^2$:
$$\Delta \text{tr}(h) - \ddiv(\ddiv(h)) + \tr(h) = f$$
...
2
votes
0
answers
109
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 ...
3
votes
0
answers
142
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 ...
5
votes
1
answer
147
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 $\...
4
votes
0
answers
122
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$ ...
2
votes
1
answer
210
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 ...
1
vote
0
answers
100
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 ...
6
votes
1
answer
301
views
Which geometric variational problems admit an entropy identity?
Question. My question in broad terms: when and how can entropy be used in geometric variational contexts to study sequences of critical points, such as the two results described below? [See at the ...
9
votes
1
answer
307
views
A counterexample to a conjecture of Lawson
Yau quotes Lawson as having formulated the following conjecture [1]:
Let $M$ be an embedded minimal surface in $\mathbf{S}^3$. Prove that the two domains in $\mathbf{S}^3$ divided by $M$ have equal ...
1
vote
1
answer
91
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} \, \...
3
votes
0
answers
86
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$-...
1
vote
0
answers
83
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 ...
1
vote
0
answers
78
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 ...
2
votes
0
answers
200
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
votes
0
answers
227
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 ...
4
votes
0
answers
102
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 ...
7
votes
1
answer
197
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-...
7
votes
1
answer
355
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 ...
1
vote
1
answer
126
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
votes
0
answers
105
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}...
1
vote
1
answer
99
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=(...
5
votes
1
answer
216
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 ...
3
votes
0
answers
76
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 ...
1
vote
0
answers
99
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$...
3
votes
0
answers
102
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 ...
2
votes
0
answers
93
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$, $...
5
votes
0
answers
142
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 ...
3
votes
0
answers
146
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$....
5
votes
1
answer
260
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 $-\...
2
votes
0
answers
240
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(\...
4
votes
1
answer
186
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 ...
0
votes
0
answers
82
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 \\
&= \...
20
votes
0
answers
1k
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 ...
1
vote
0
answers
67
views
Modelling fluid flows with mean curvature flow
A while ago I was wondering if the displacement of fluid described in this blog post
could be modelled with mean curvature flow or some other flow, but when I asked someone in Engineering they replied ...
3
votes
0
answers
169
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 (...
4
votes
1
answer
232
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 ...
4
votes
0
answers
94
views
Stability of bubbles under the heat flow
Let $\Phi : S \times [0,\infty) \to M$ be Struwe's weak global solution to the heat equation with smooth initial data $\phi : S \to M$, where $S$ is a compact surface and $M$ is a compact three-...
1
vote
1
answer
195
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^...
7
votes
1
answer
257
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 ...
4
votes
0
answers
115
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 \...
13
votes
2
answers
1k
views
Is there a solution of the Yamabe problem using Ricci flow?
Someone told me that it is possible to solve the Yamabe problem using Ricci flow. The proof I know of is the one originally proposed by Yamabe and then completed by Trudinger, Aubin and Schoen (in ...
7
votes
1
answer
348
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-...