ScalingStacks

Proof of Theorem 1.3 : . [04UF]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof of Theorem 1.3:.

Let Σu\Sigma_{u} and Σv\Sigma_{v} be the singular sets of uu and vv respectively, and let A=Ω−(Σu∪Σv)A=\Omega-(\Sigma_{u}\cup\Sigma_{v}). Since AA is dense in Ω\Omega, it suffices to show that u=vu=v on AA.

By Caffarelli’s theory ([C1]), AA is an open set, and by Theorem 1.1, AA is connected. By Theorem 6.2, the difference u−vu-v satisfies the linear equation

ai​j​(x)​(u−v)i​j=0a^{ij}(x)(u-v)_{ij}=0

on AA, where ai​ja^{ij} are locally uniformly elliptic and C1,αC^{1,\alpha} in AA. The conclusion follows from Theorem 6.1. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.