LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generated

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

$C^{2, α}$ boundary flattening preserves the nondivergence structure, ellipticity and Hölder norms

Statement

Let $n \geq 2$ , $0 < α < 1$ and let $Ω$ be a bounded $C^{2, α}$ domain. For every $x_{0} \in \partial Ω$ , after a rigid motion and possibly reversing the last coordinate, there are $r > 0$ and $φ \in C^{2, α} (Q_{r}^{'})$ , $Q_{r}^{'} = (- r, r)^{n - 1}$ , with $φ (0) = 0$ , $D φ (0) = 0$ , such that for $Q_{r} = Q_{r}^{'} \times (- r, r)$ the shear $Ψ (y^{'}, y_{n}) = (y^{'}, y_{n} + φ (y^{'}))$ is a diffeomorphism onto the patch $U : = Ψ (Q_{r})$ and $Ψ (Q_{r}^{+}) = U \cap Ω, Ψ (Q_{r}^{'} \times {0}) = U \cap \partial Ω,$ where $Q_{r}^{+} = Q_{r}^{'} \times (0, r)$ . In particular the chart is stated on its actual image patch; no equality with the intersection of a Euclidean ball and $Ω$ is asserted. Composition with $Ψ$ gives equivalent $C^{2, α}$ norms on the closures of $U \cap Ω$ and $Q_{r}^{+}$ , with constants depending on the chart. If $L = a^{i j} \partial_{i} \partial_{j} + b^{i} \partial_{i} + c$ has $C^{0, α}$ coefficients on $U$ , then its pullback under $v = u \circ Ψ$ is again nondivergence form with $C^{0, α}$ coefficients. Its principal matrix is $\tilde{A} (y) = D Ψ (y)^{- 1} A (Ψ (y)) D Ψ (y)^{- T},$ so its ellipticity constants may be taken as $λ ∥ D Ψ ∥_{\infty}^{- 2}$ and $Λ ∥ D Ψ^{- 1} ∥_{\infty}^{2}$ ; the lower-order coefficients are given by the chain rule and have Hölder bounds controlled by the chart and original coefficient norms.

Facts & Assumptions

Given: $n \geq 2$ , $0 < α < 1$ , a bounded $C^{2, α}$ domain $Ω$ in the graph sense, a boundary point $x_{0} \in \partial Ω$ , and a uniformly elliptic operator $L = a^{i j} \partial_{i} \partial_{j} + b^{i} \partial_{i} + c$ with $C^{0, α}$ coefficients on a neighbourhood of $x_{0}$ .

[F1]

There are a rigid motion $R (p) = Q p + b$ , a ball $B \subseteq R^{n - 1}$ and $h \in C^{2, α} (B)$ with $R (Ω \cap W) = R (W) \cap {s < h (y)}$ for a neighbourhood $W$ of $x_{0}$ . For $F (y, s) = s - h (y)$ the gradient $(- D h, 1)$ is nonzero. The graph theorem A regular level set is locally a $C^{k}$ graph of dimension $m - n$ reparametrizes its zero set over the tangent hyperplane; its derivative formula, followed by one differentiation, expresses the new first and second derivatives using those of $h$ and the inverse of a nonvanishing normal derivative. On a smaller compact patch that denominator is bounded away from zero. Products, inversion of the scalar denominator, and Lipschitz composition preserve the $α$ -Hölder bound of $D^{2} h$ , so the new graph is $C^{2, α}$ . After translating and rotating the coordinates (a rigid motion), we may assume $x_{0} = 0$ , the graph passes through the origin and is tangent to ${s = 0}$ there; the one-sided subgraph convention and the regularity class are unchanged. (Bounded C^k domains and boundary charts, Hölder spaces $C^{k, α}$ , closure and interior scaled norms, and $C^{k, α}$ domains)

[F2]

A shear $Ψ (y^{'}, y_{n}) = (y^{'}, y_{n} + φ (y^{'}))$ with $φ \in C^{2, α}$ satisfies $J : = D Ψ = (\begin{array}{cc} I & 0 \\ D φ & 1 \end{array})$ , $\det J = 1$ , and $J^{- 1} = D Ψ^{- 1} = (\begin{array}{cc} I & 0 \\ - D φ & 1 \end{array})$ ; it is a $C^{2, α}$ diffeomorphism onto its image and its inverse has the same shear form with $- φ$ . ( $C^{k}$ maps and multi-index derivative notation in Euclidean space, The chain rule for total derivatives: $D (g \circ f) (a) = D g (f (a)) \circ D f (a)$ )

[F3]

The chain rule gives, for $v = u \circ Ψ$ , $\partial_{j} v (y) = \sum_{k} \partial_{k} u (Ψ (y)) \partial_{j} Ψ_{k} (y)$ and $\partial_{i} \partial_{j} v (y) = \sum_{k, l} \partial_{k} \partial_{l} u (Ψ (y)) \partial_{i} Ψ_{k} \partial_{j} Ψ_{l} + \sum_{k} \partial_{k} u (Ψ (y)) \partial_{i} \partial_{j} Ψ_{k}$ ; for bounded $α$ -Hölder factors, subtracting the product values gives $[f g]_{0, α} \leq ∥ f ∥_{\infty} [g]_{0, α} + ∥ g ∥_{\infty} [f]_{0, α}$ . Composition with a Lipschitz inner map $G$ gives $[f \circ G]_{0, α} \leq [f]_{0, α} Lip (G)^{α}$ , directly from $∣ G (x) - G (y) ∣ \leq Lip (G) ∣ x - y ∣$ . Boundedness is preserved by composition and products. The shears here and their inverses are Lipschitz on their patches: bounded $D φ$ controls the difference of $φ$ at any two points of the convex base box. (The chain rule for total derivatives: $D (g \circ f) (a) = D g (f (a)) \circ D f (a)$ , Sums, scalar multiples, products and quotients: $(f + g)^{'} (c) = f^{'} (c) + g^{'} (c)$ , $(α f)^{'} (c) = α f^{'} (c)$ , $(f g)^{'} (c) = f^{'} (c) g (c) + f (c) g^{'} (c)$ , and $(f / g)^{'} (c) = (f^{'} (c) g (c) - f (c) g^{'} (c)) / g (c)^{2}$ when $g (c) \neq 0$ )

[F4]

$L$ is uniformly elliptic with constants $λ \leq Λ$ , that is $λ ∣ ξ ∣^{2} \leq a^{i j} (x) ξ_{i} ξ_{j} \leq Λ ∣ ξ ∣^{2}$ for all $ξ$ and almost every $x$ ; for a real matrix $T$ , $∣ T η ∣ \leq ∥ T ∥ ∣ η ∣$ and $∣ T η ∣ \geq ∥ T^{- 1} ∥^{- 1} ∣ η ∣$ whenever $T$ is invertible. (Uniformly elliptic nondivergence-form operators and their frozen coefficients)

Proof

technique · direct

1.1F1algebra

Straightening the boundary. By [F1] there is a rigid motion carrying $x_{0}$ to $0$ and the boundary near $x_{0}$ to a graph $s = h (y^{'})$ over a ball $B$ , with $Ω$ on the side $s < h (y^{'})$ , $h (0) = 0$ and $D h (0) = 0$ ; choose $r > 0$ small enough that $\overline{Q_{r}^{'}} \subset B$ and $Ψ (\overline{Q_{r}}) \subset W$ . All derivatives of the graph are then bounded and have the stated Hölder bounds on this smaller patch. Reverse the last coordinate, $z_{n} = - s$ ; then $Ω$ is locally ${z_{n} > - h (y^{'})}$ , and with $φ : = - h$ , $φ (0) = 0$ , $D φ (0) = 0$ and $φ \in C^{2, α} (B_{r})$ : the domain is locally the region above the graph of $φ$ .

2.1step 1.1F1F2algebra

The shear is the chart. Let $Ψ (y^{'}, y_{n}) = (y^{'}, y_{n} + φ (y^{'}))$ ; by [F2] it is a $C^{2, α}$ diffeomorphism with $D Ψ = (\begin{matrix} I & 0 \\ D φ & 1 \end{matrix})$ , $\det D Ψ = 1$ , $D Ψ^{- 1} = (\begin{matrix} I & 0 \\ - D φ & 1 \end{matrix})$ . For $(y^{'}, y_{n}) \in Q_{r}^{+}$ the image point has last coordinate $y_{n} + φ (y^{'}) > φ (y^{'})$ , hence lies above the graph and therefore in $Ω$ ; conversely, if a point $(y^{'}, s)$ of the chart lies in $Ω$ , then $s > φ (y^{'})$ , so $y_{n} : = s - φ (y^{'}) \in (0, r)$ for $s$ in the chart box, and $(y^{'}, s) = Ψ (y^{'}, y_{n})$ . Hence $Ψ (Q_{r}^{+}) = U \cap Ω$ , and $y_{n} = 0$ gives exactly the graph points, so $Ψ (Q_{r}^{'} \times {0}) = U \cap \partial Ω$ .

3.1step 2.1F2F3algebra

Norm equivalence. By [F3], the chain rule expresses each derivative of $v = u \circ Ψ$ of order at most two as a finite sum of products of derivatives of $u \circ Ψ$ and derivatives of $Ψ$ . For the top-order seminorm, $[D^{2} u \circ Ψ]_{0, α; Q_{r}^{+}} \leq [D^{2} u]_{0, α; U \cap Ω} Lip (Ψ)^{α}$ , while the lower-order factor obeys $[D u \circ Ψ]_{0, α; Q_{r}^{+}} \leq diam (Q_{r}^{+})^{1 - α} ∥ D_{y} (D u \circ Ψ) ∥_{L^{\infty} (Q_{r}^{+})} \leq C_{Ψ} ∥ D^{2} u ∥_{L^{\infty} (U \cap Ω)}$ ; the corresponding bound for $u \circ Ψ$ follows from $∥ D u ∥_{\infty}$ . The derivatives $D Ψ$ are Lipschitz with constants controlled by $∥ D^{2} Ψ ∥_{\infty}$ , and $D^{2} Ψ$ is $C^{0, α}$ , so the product seminorms are bounded by $C_{Ψ} ∥ u ∥_{C^{2, α} (U \cap Ω)}$ . Applying the same estimates to $Ψ^{- 1}$ gives the reverse norm inequality. Thus the $C^{2, α}$ norms on $U \cap Ω$ and $Q_{r}^{+}$ are equivalent, with constants depending only on the chart.

3.2step 2.1F2F3algebra

Pullback of the operator. Let $J : = D Ψ$ , $u$ be $C^{2}$ on $U \cap Ω$ , and $v = u \circ Ψ$ . The chain rule gives $D_{y} v = J^{T} D_{x} u$ and $D_{y}^{2} v = J^{T} (D_{x}^{2} u) J + \sum_{k} u_{x_{k}} (Ψ (y)) D_{y}^{2} Ψ_{k} (y) .$ Thus $D_{x} u = J^{- T} D_{y} v$ and $D_{x}^{2} u = J^{- T} ⁣ (D_{y}^{2} v - \sum_{k} (J^{- T} D_{y} v)_{k} D_{y}^{2} Ψ_{k}) J^{- 1} .$ Writing $A (y) : = (a^{i j} (Ψ (y)))$ , substitution into $L u (Ψ (y))$ yields the transformed principal matrix $\tilde{A} = J^{- 1} A J^{- T}$ . More explicitly, the coefficient of $\partial_{y_{m}} v$ is ${\tilde{b}}^{m} = \sum_{i} b^{i} (Ψ) (J^{- 1})_{m i} - \sum_{a, b, k} {\tilde{a}}^{a b} (J^{- T})_{k m} \partial_{y_{a} y_{b}} Ψ_{k},$ and the zero-order coefficient is $\tilde{c} = c \circ Ψ$ ; the minus sign is the one from solving the Hessian identity for $D_{x}^{2} u$ . By [F3] these coefficients are $C^{0, α}$ on the compact patch with Hölder norms bounded in terms of the chart and the original coefficient norms, since $J^{- 1}$ is $C^{1, α}$ and $D^{2} Ψ$ is $C^{0, α}$ .

4.1step 3.2F2F4algebra∎

Ellipticity. For $ξ \in R^{n}$ , set $ζ = J^{- T} ξ$ . Then $\tilde{A} ξ \cdot ξ = A (Ψ) ζ \cdot ζ$ . Since $∣ ζ ∣ \geq ∥ J ∥_{\infty}^{- 1} ∣ ξ ∣$ and $∣ ζ ∣ \leq ∥ J^{- 1} ∥_{\infty} ∣ ξ ∣$ , uniform ellipticity of $A$ gives $λ ∥ J ∥_{\infty}^{- 2} ∣ ξ ∣^{2} \leq \tilde{A} ξ \cdot ξ \leq Λ ∥ J^{- 1} ∥_{\infty}^{2} ∣ ξ ∣^{2} .$ The matrix $\tilde{A} = J^{- 1} A J^{- T}$ is symmetric because $A$ is symmetric. Hence the pullback is uniformly elliptic and the chart maps the boundary problem on $U \cap Ω$ to a half-box problem on $Q_{r}^{+}$ without changing the nondivergence structure.

Remarks

The determinant of the shear is one, so the chart is volume preserving; the metric distortion is entirely in the coefficient transformation $\tilde{A}$ and in the equivalent norms of step 3.1.
The shear is defined on the box $Q_{r}$ and the identities in step 2.1 use only the local graph representation; no global parametrisation of $\partial Ω$ is asserted.

Depends on

Used by

Boundary Schauder estimate for the Dirichlet problem Theorem

Dependency tree · two levels

35 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

John Villavert, Elementary Theory and Methods for Elliptic Partial Differential Equations (2017; complete 220-page lecture notes) (standard reference, not scraped)
Leon Simon, Lectures on Partial Differential Equations (Stanford University; complete 118-page author notes, Chapter 12 Schauder Theory) (standard reference, not scraped)
Armin Schikorra, Partial Differential Equations I & II (version October 1, 2025; complete 281-page graduate lecture notes) (standard reference, not scraped)

C2,αC2,α boundary flattening preserves the nondivergence structure, ellipticity and Hölder norms