# Tagged Questions

**0**

votes

**0**answers

37 views

### Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17)
\begin{eqnarray*}
...

**2**

votes

**0**answers

58 views

### Geodesics on a perturbed submanifold of $\mathbb{R}^m$ [closed]

Let us consider $M$, a Riemannian manifold of dimension $n$, isometrically embedded in $R^m$. Let us consider a geodesic $\gamma$ on $M$. Now, let us "perturb" (in other words, change slightly the ...

**0**

votes

**0**answers

86 views

### Log of heat kernel for positive time

A well-known theorem by Varadhan relates the logarithm of the heat kernel on a manifold and the geodesic distance function. In particular, if $d(x,y)$ is geodesic distance from $x$ to $y$ and ...

**2**

votes

**2**answers

234 views

### Monge-Ampere type PDE

NB: I have edited this question to clarify what the OP is asking – Robert Bryant
Problem: Find a holomorphic function $f$ where where $f(x+iy) = u(x,y) + i\,v(x,y)$, such that the graph $\Gamma_u = ...

**4**

votes

**0**answers

155 views

### Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...

**11**

votes

**3**answers

729 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 ...

**14**

votes

**2**answers

591 views

### Vanishing eigenvalues of Jacobian

Let $f: \mathbb{R^2}\to \mathbb{R^2}$ be a Schwartz function. If the eigenvalues of $Df$ vanish everywhere, must $f$ be constant? Does an analogous result hold when we replace $2$ by $n$?
Any ...

**9**

votes

**0**answers

125 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
...

**4**

votes

**1**answer

233 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 ...

**4**

votes

**2**answers

133 views

### Heat kernel asymptotics for the sublaplacian on a contact Riemannian manifold

Let $\Delta$ denote a Laplace-type differential operator on a compact Riemannian manifold $(M,g)$. The asymptotics of the heat kernel and the heat operator trace of $\Delta$ are well-known (cf. ...

**0**

votes

**1**answer

146 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 ...

**2**

votes

**0**answers

106 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 ...

**1**

vote

**1**answer

194 views

### Question about extending a solution to Monge-Ampere solution

I am interested in solutions to the Monge-Ampere equation for a smooth function
$h(x,y)$ of two variables(though I suppose I could try to make do with $C^2$ solutions). The equation is:
...

**3**

votes

**1**answer

269 views

### A question on Schrodinger operator

I am not sure whether I should ask for help here or math stackexchange. I got trouble with an inequality involving the Schrodinger operator on manifolds. Any suggestion is appreciated!
Let $(M,g)$ be ...

**4**

votes

**0**answers

80 views

### Reference for short time existence of paraobolic PDE on bundles

I am looking for a reference treating parabolic equations on vector bundles. In particular, I look for precise conditions which guarantee short time existence. I found it quoted at different places in ...

**3**

votes

**0**answers

113 views

### $\mathbb{CP}^1$-structures and hyperbolic Gauss maps

Let $\Sigma$ be a closed surface of genus at least $2$.
Put a quasi-Fuchsian $\mathbb{CP}^1$-structure (i.e. complex projective structure) on $\Sigma$. Thus the universal cover $\tilde{\Sigma}$ is ...

**1**

vote

**0**answers

80 views

### A question on the maximum principle for Schrodinger operators

Let $(M^n,g)$ be a closed Riemannian manifold, and $L=-\Delta+V$ be a Schrodinger operator, $V\in C^{\infty}(M)$. In answers to the two questions (First eigenvalue of Schrödinger operator is simple 1 ...

**1**

vote

**0**answers

103 views

### Estimate the smallest eigenvalue of a Schrodinger operator

There are several results on the estimate of the number of negative eigenvalues of a Schrodinger operator, see a recent paper of Grigor'yan-Nadirashvili-Sire and references therein. I wonder how to ...

**1**

vote

**1**answer

366 views

### Monge–Ampère type equation

Let $B(x,y) \geq 0$ be a function defined for $x, y \geq 0$ such that $B(x,0)=B(0,y)=0$ and $B''_{xx}\leq 0, B''_{yy}\leq 0$ (i.e. it is bicocncave function).
I am looking for the solutions among of ...

**3**

votes

**1**answer

143 views

### Does the R-sphere condition imply that a surface is locally a graph of function on a ball of radius R?

Let $S$ be a $C^2$-regular hypersurface with $S=\partial V$ for some open set $V \subset R^{N+1}$, and let $\nu(P)$ be the exterior unit normal of $S$ with respect to $V$.
Assume that $S$ satisfies ...

**4**

votes

**1**answer

497 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 ...

**1**

vote

**1**answer

109 views

### metric has morse index 2

I am reading Richard Schoen's classical example on the multiplicity of solutions of yamabe problem. He says on $S^1(T)\times S^{n-1}$, there exists a critical number $T_0$ such that if $T\leq T_0$, ...

**4**

votes

**1**answer

253 views

### Derivation of yamabe flow

I am reading papers about yamabe flow. I have a problem about how people derive it as a gradient flow.
Suppose we have $(M,g_0)$, $g(t)=u^{\frac{4}{n-2}}(t)g_0$ is another conformal metric. Let ...

**6**

votes

**1**answer

242 views

### Are there nontrivial real functions of 2 real variables with gradient having constant euclidian norm on each level line?

Let $F$ be the class of locally Lipschitz continuous functions $z=f(x,y)$, from $\mathbb R \times\mathbb R \to\mathbb R,$ such that the euclidean norm $|\ \mathrm{grad}\ f (x,y)\ |$ of its gradient ...

**0**

votes

**0**answers

55 views

### Guassian upper bound of the heat kernel implies ultracontrativity?

For spaces satisfies uniformlly local doubling and Poincare inequality (for example, Riemannian manifold with Ricci curvature bounded below RCD(K,N)).
By Sturm's paper, we have bounds on the heat ...

**1**

vote

**0**answers

84 views

### Buseman function for Riemanniam manifolds with two ends and $Ric\ge -(n-1)$ [closed]

It's well known that if M is a Riemannian manifold with $Ric \ge 0$ and contains a line $\gamma $.
Set $${\gamma _ + } = \gamma | {_{[0, + \infty )}} ,{\gamma _ - } = \gamma | {_{[ - \infty ,0)}} ...

**4**

votes

**1**answer

310 views

### Existence of positive solutions of a linear PDE on closed manifolds

I was wondering is there a sufficient condition (or sufficient and necessary condition) for the existence of positive solutions of the following linear PDE on a closed manifold $(M, g)$,
...

**1**

vote

**1**answer

234 views

### A question about the first eigenvalue for two Kahler metrics

While reading the paper of Gang Tian, "Kähler-Einstein metrics with positive scalar curvature". In the proof of Theorem 1.6, he pointed that if two Kahler metrics $\omega $ and $\omega'$ satisfies ...

**0**

votes

**0**answers

59 views

### When is Dirichlet solution from disk to Riemannian manifold Holder continuous near the boundary?

$D$ is the two-dimensional unit disk. $X$ is a compact Riemannian manifold.
Let$\phi \in W^{1,2}(D,X)$ and define
$$
W^{1,2}_{\phi}=\{v \in W^{1,2}(D,X):Trace(v)=Trace(\phi)\}
$$
Let $$
...

**11**

votes

**3**answers

730 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 ...

**0**

votes

**1**answer

75 views

### harmonic maps from cone to $S^2$ locally lipschitz?

Are the harmonic maps from a 2-dimensional cone to $S^2$ locally lipschitz or Holder continuous?

**0**

votes

**0**answers

116 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 ...

**1**

vote

**0**answers

118 views

### Half-wave group $e^{it\sqrt{-\Delta_g}}$ for large $t$

Consider the Laplace-Beltrami operator $\Delta_g$ on compact Riemannian manifold $(M,g)$, then $e^{it\sqrt{-\Delta_g}}f$ is the solution of the following Cauchy problem.
$$
...

**0**

votes

**0**answers

74 views

### Dirichlet integral of harmonic functions on manifold controlled by radius?

M is an n($\ge2$)-dim Riemannian manifold with Ricci curvature bounded below. $\Omega$ is a domain in M. $$\Delta u=0, x\in \Omega;u=f ,x\in \partial \Omega$$ f is Lipschitz.
Is there a constant c ...

**1**

vote

**2**answers

148 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} ...

**1**

vote

**1**answer

206 views

### Harmonic function defined on a cone

It's well known that: Given a continuous function defined on the boundary of the disk, then there exists a unique harmonic function in the interior of the disk. What if we replace the disk by a cone?
...

**2**

votes

**1**answer

144 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 ...

**5**

votes

**0**answers

270 views

### Laplacians associated to symplectic cohomologies

I am reading the paper"cohomology and Hodge theory on symplectic manifolds I" by Tseng and Yau. In this paper they consider several cohomologies on symplectic manifolds $(M,\omega)$based on the ...

**3**

votes

**1**answer

235 views

### Spectrum of the Laplace-Beltrami operator on $L^p$: where is it?

On a noncompact Riemannian manifold $M$, the $L^2$-spectrum of the Laplace-Beltrami operator $\Delta$ sits inside $\mathbb{R}$ (by self-adjointness), either to the left or to the right of $0$ ...

**0**

votes

**0**answers

66 views

### $|\nabla f|^2 \in W^{1,2}(M)$ for harmonic function f on manifolds with two nonparabolic ends?

We know that if a complete noncompact manifold M has two nonparabolic ends, then we can construct a nonconstant bounded harmonic function with finite Dirichlet integral defined on the whole M.
...

**0**

votes

**0**answers

139 views

### Cheeger-Gromov-Taylor theory on manifolds with boundary

I was reading the paper "Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds" by Cheeger, Gromov and Taylor and I am ...

**1**

vote

**2**answers

259 views

### How to construct a harmonic function with non-zero gradient on manifold with two nonparabolic ends?

We know that if a complete noncompact manifold M has two nonparabolic ends, then we can construct a nonconstant bounded harmonic function with finite Dirichlet integral defined on the whole $M$.
More ...

**1**

vote

**0**answers

128 views

### How to pick out harmonics based on boundary conditions?

(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...

**5**

votes

**1**answer

293 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 ...

**2**

votes

**1**answer

248 views

### Fully non-linear PDE

A nice method of obtaining existence of solutions of many geometrically defined (and hence highly degenerate) parabolic systems (such as mean curvature flow) involves the reduction of the system to a ...

**13**

votes

**5**answers

1k views

### Book Recommendation - PDE's for geometricians / topologists

I am looking for recommendations for a book on partial differential equations, which is not written for applied mathematicians but rather focused on geometry and applications in topology, as well as ...

**4**

votes

**3**answers

462 views

### Can the hyperbolic plane be immersed in three dimensional Euclidean space, if we are only looking for a weak solution?

Consider the following question:
"Can the hyperbolic plane $(\mathbb{R}^2, g_H)$ be isometrically
immersed in three dimensional Eulidean space$(\mathbb{R}^3, g_{flat})$?"
I believe the answer to ...

**2**

votes

**1**answer

305 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 ...

**2**

votes

**1**answer

297 views

### unique continuation property for overdetermined elliptic PDE

On a closed manifold $M$, let $P(f)=0$ be a linear overdetermined elliptic system of PDE of 2nd order with smooth coefficients. By overdetermined ellipticity, I mean the principal sympbol is ...

**2**

votes

**2**answers

255 views

### worst regularity of f ensuring u is locally Lipschitz for $\Delta u = f$

Assume $M$ is a Riemannian manifold, and $\Omega $ is a bounded domain. Consider the Poisson equation:
$$\Delta u = f \qquad \text{with }u \in {W^{1,2}}$$
What is the worst regularity of $f$ which ...