Skip to main content
Otis Chodosh's user avatar
Otis Chodosh's user avatar
Otis Chodosh's user avatar
Otis Chodosh
  • Member for 15 years, 1 month
  • Last seen this week
awarded
awarded
comment
Continuity of perimeter with respect to metric
You can write $dV_g' = f dV_g$ where $f\to 1$ in $C^1$. Then $div_g(X)(f-1) dV_g = div_G(X(f-1))dV_g - gX,\nabla (f-1))dV_g$. The first term integrated on $\Omega$ is $o(1)$ since $|X(f-1)| \to 0$ in $C^0$ and then the second is also $o(1)$ since $f\to 1$ in $C^1$ and $|X|\leq 1$. The issue raised by @OrangeMushroom can be fixed by shrinking $X$ a bit to compensate for the fact that $g'$ is measuring things slightly bigger/smaller than $g$ (but this stretch factor is $1+o(1)$ so goes away.
comment
Is isoperimetric hypersurface unique up to homeomorphism?
Yes, you should be able to construct such a metric. Form "bubbles" on $R^2$ i.e. spheres connected sum with the flat plane to produce a small neck. It's clear that the neck is very good isoperimetrically. Now, make two spheres that contain volume V together, and have total neck area A, and make another single sphere with volume V and area A. You should be able to argue that the isoperimtric problem at this volume V has a solution given by two disks and also one given by one. It may take a bit of work to make this rigorous, but I am pretty sure it can be done by a limit argument..
comment
Szegő's inequality
p. 510 of Lax's paper seems to give Szegő's proof in full detail
comment
fixed point arguments in PDE
@TarekAcila, You need a uniform $M$ that works for all $(x,\sigma)$.
awarded
awarded
revised
Loading…
awarded
comment
Does the strong maximum principle for minimal surfaces hold in Riemannian manifolds?
Nice to hear the notes were useful. I wrote a sketch of the proof below, please feel free to let me know if you want more details anywhere.
Loading…
comment
Does the strong maximum principle for minimal surfaces hold in Riemannian manifolds?
Yes this is still true. Are you asking for the proof or a reference?
awarded
awarded
comment
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
The positive part of $f'(u)$ can be handled with Fatou's lemma no matter how $f'(u)^+$ behaves.
comment
Convergence of spectrum
Isn't $C^0$ sufficient? The equation you write doesn't depend on derivatives of the metric
comment
Given an eigenvalue equation (elliptic PDE) in a ball $B_R$, prove the convergence of the first nonzero $\lambda_R$ and its eigenfunction $\phi_R$
Your modified equation is the Euler Lagrange equation of $\int |\nabla u|^2 + h(x) W(u)$ where $W'=F$. So probably most of the basic ideas go through. You should be able to find some papers about this equation. I don't know of any intrinsic reason to consider this modification but there may be physical models where it's natural.
1
2 3 4 5
32