Pith. sign in

REVIEW

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2203.05254 v1 pith:L4XFVOBK submitted 2022-03-10 math.AP math.DG

Regularity of viscosity solutions of the σ_k-Loewner-Nirenberg problem

classification math.AP math.DG
keywords omegadeltapartialsmoothderivativesfracloewner-nirenbergproblem
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We study the regularity of the viscosity solution $u$ of the $\sigma_k$-Loewner-Nirenberg problem on a bounded smooth domain $\Omega \subset \mathbb{R}^n$ for $k \geq 2$. It was known that $u$ is locally Lipschitz in $\Omega$. We prove that, with $d$ being the distance function to $\partial\Omega$ and $\delta > 0$ sufficiently small, $u$ is smooth in $\{0 < d(x) < \delta\}$ and the first $(n-1)$ derivatives of $d^{\frac{n-2}{2}} u$ are H\"older continuous in $\{0 \leq d(x) < \delta\}$. Moreover, we identify a boundary invariant which is a polynomial of the principal curvatures of $\partial\Omega$ and its covariant derivatives and vanishes if and only if $d^{\frac{n-2}{2}} u$ is smooth in $\{0 \leq d(x) < \delta\}$. Using a relation between the Schouten tensor of the ambient manifold and the mean curvature of a submanifold and related tools from geometric measure theory, we further prove that, when $\partial\Omega$ contains more than one connected components, $u$ is not differentiable in $\Omega$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.