Pith. sign in

REVIEW 4 major objections 5 minor 79 references

Schauder-type estimates and applications

T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read Hyperbolic radius gains sharp C2+alpha boundary expansion through complete Schauder proofs.

desk verdict A solid classical Schauder survey, but the Fuchsian boundary estimates that carry the sharpest result are not proved in this text. read the letter →

arxiv 2507.01818 v1 pith:VBMHQG4Q submitted 2025-07-02 math.AP math.FA

classification math.APmath.FA MSC 35B6535J2535J6035B40
keywords SchauderestimatesHölderregularityellipticboundaryvalueproblemsweightedspacesFuchsianoperatorsblow-uphyperbolicradiusapriori
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This chapter argues that Schauder estimates are the basic regularity engine of elliptic PDE theory: a bound on a solution yields bounds on its derivatives, so solving a PDE can be reduced to finding an a priori bound. It gives complete proofs of the standard interior and boundary estimates, and it shows how the same underlying scaling, freezing, and interpolation arguments organize many different proof strategies. The sharpest payoff is Theorem 40: on a bounded $C^{2+\alpha}$ domain, the hyperbolic radius of the maximal solution to the Loewner-Nirenberg equation belongs to $C^{2+\alpha}$ up to the boundary, with $v_\Omega(x)=2d(x)-d(x)^2(H(x)+o(1))$ as $d(x)\to 0$, where $H$ is the boundary mean curvature. The chapter therefore aims to close the gap between classical Schauder theory and the Fuchsian boundary analysis needed in applications.

What carries the argument

The load-bearing machinery is the weighted H\"older scale $C^{k+\alpha}_{\#}$, in which each derivative is multiplied by the appropriate power of the distance $d$ to the boundary, together with the class of type-(I) and type-(II) Fuchsian operators $A=d^2a^{ij}\partial_{ij}+db^i\partial_i+c$. Estimates are transferred from the constant-coefficient model (the Laplacian on a ball or half-space) to variable coefficients by scaling, freezing the coefficients at a point, and interpolation. For the boundary blow-up application, the model operator is $L=d^2\Delta+(4-n)d\nabla d\cdot\nabla+(2-2n)$ in coordinates $(Y,T)$ with $T=d$; inverting a half-space analogue of $L$ for data of class $C^\alpha$ is what turns the renormalized unknown $w=(v_\Omega-2d)/d^2$ into a $C^{2+\alpha}_{\#}$ object.

What would settle it

Take $\Omega$ the unit ball in $\mathbb{R}^3$, where the maximal solution is explicit: $u=(1-|x|^2)^{-1/2}$, so $v=1-|x|^2=2d-d^2$ with $d=1-|x|$; substituting $w=(v-2d)/d^2=-1$ into equation (31) verifies the Fuchsian structure term by term, and any computation that produces a term not carrying the stated powers of $d$ would invalidate the reduction behind Theorem 40.

Watch

Extended reading notes

Core claim

Schauder estimates are presented as converses to the mean value theorem: a bound on $Lu$ gives H\"older control of all second derivatives of $u$, and this is what makes elliptic existence theory work. The chapter gives complete proofs of the commonly used versions, distinguishing interior, weighted, boundary, and Fuchsian estimates, and applies them to the method of continuity, fixed-point theorems, eigenfunction problems, sub- and super-solutions, and singular or blow-up asymptotics. In the culminating application, the renormalized unknown $w=(v_\Omega-2d)/d^2$ for the hyperbolic radius $v_\Omega=u_\Omega^{-2/(n-2)}$ satisfies a degenerate Fuchsian equation; bootstrapping through the Fuchsian estimates yields $v_\Omega\in C^{2+\alpha}(\bar\Omega)$ and the explicit two-term boundary expansion $v_\Omega=2d-d^2(H+o(1))$ with $H$ the mean curvature of the boundary.

Load-bearing premise

The sharpest result rests on the assertion, cited to a general overview rather than proved here, that the renormalized function $w=(v_\Omega-2d)/d^2$ satisfies exactly the degenerate Fuchsian equation (31); if that equation acquired extra terms, the $C^{2+\alpha}$ boundary expansion would not follow.

Editorial extensions

If this is right

  • If Theorem 40 is correct, the hyperbolic radius $v_\Omega$ is a classical solution of $v\Delta v=\frac n2(|\nabla v|^2-4)$ on $\bar\Omega$, even though $u_\Omega$ itself is not a weak solution of the original equation.
  • The Fuchsian estimates of Theorems 22-24 hold for operators of type (I) and (II) without sign conditions on the lower-order terms, so they apply to boundary-degenerate problems beyond the Laplacian.
  • The self-contained proofs of the Schauder fixed-point theorems and the method of continuity mean that the standard existence menu for elliptic Dirichlet problems follows from a priori bounds alone.
  • The boundary expansion identifies the second-order term in $v_\Omega$ with the mean curvature of $\partial\Omega$, showing that geometry enters through $-\Delta d/(n-1)$.
  • Near an isolated singularity, the same $C^{1+\alpha}$ estimates force positive $p$-Laplace solutions to take the form $\gamma\mu(|x|)+O(1)$, pinning down the Dirac mass at the singularity.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The Fuchsian reduction could be tested on symmetric domains: for a ball the exact solution gives $w\equiv 0$ and the remainder is exactly zero, so the same calculation on an ellipsoid would expose any missing term in equation (31).
  • If the bootstrap in Theorem 40 extends to $C^{k+\alpha}$ boundaries, the next terms in the expansion of $v_\Omega$ should be polynomials in the boundary curvature and its derivatives; the chapter stops at the $d^2$ term.
  • The same reduction pattern may apply to other conformally invariant elliptic problems on manifolds with boundary, where a renormalized unknown would encode curvature data; this is an extrapolation, not a claim of the chapter.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The manuscript is a survey chapter on Schauder estimates and their applications. It covers Hölder spaces, weighted Hölder spaces, interpolation inequalities, and properties of the distance function; it then gives several proofs of the interior estimates for the Laplacian (potential-theoretic, maximum-principle, Littlewood-Paley, variational, regularization, and blow-up arguments), proves the passage to variable coefficients and boundary estimates, and introduces Fuchsian operators of types (I) and (II). The applications include the method of continuity, Schauder and Leray-Schauder fixed-point theory, the Dirichlet problem, eigenfunctions, the Krein-Rutman theorem, sub- and super-solutions, asymptotics near singularities, and a boundary blow-up result for the Loewner-Nirenberg equation. The sharpest new claim is Theorem 40, asserting that the hyperbolic radius v_Ω belongs to C^{2+α}(\bar{Ω}) and satisfies v_Ω(x)=2d(x)-d(x)^2(H(x)+o(1)) near the boundary, where H is the mean curvature.

Significance. The classical portions of the chapter are valuable and mostly self-contained: the proofs of the interior and boundary Schauder estimates are detailed, the historical presentation is informative, and the applications in Sections 6.1-6.6 are standard and correctly assembled. The chapter therefore has real value as a reference for classical Schauder theory. The genuinely novel part is the Fuchsian theory in Section 5 and its application in Section 6.7; if Theorem 40 and the surrounding estimates were fully proved, the chapter would also be a useful reference for degenerate boundary regularity. However, the novelty rests on exactly the parts that are not proved in the manuscript: the proof of Theorem 24 is an abbreviated paragraph containing apparent f/g slips, and the Fuchsian reduction leading to equation (31) is imported from the author's own previous work. The advertised completeness of the chapter therefore does not currently cover its sharpest result.

major comments (4)
  1. [Section 5, Theorem 24] The proof of Theorem 24 does not prove the stated claim. The theorem states that A g = d f, with f ∈ C^α and g = O(d^α), implies d^2 g ∈ C^{2+α}. The proof instead discusses 'a^{ij}∂_{ij}(d^2 f)', says that 'd^2 f' solves a Dirichlet problem, and concludes regularity of 'd^2 f'; it then switches to 'f of class C^{2+α}_#'. If 'd^2 f' is a typo for 'd^2 g', the proof still does not identify the Dirichlet data for g, does not use the indicial structure of A, and does not explain how the hypothesis g = O(d^α) is converted into two full derivatives of d^2 g. As written, Theorem 24 is not established, and this is a load-bearing gap because the theorem is used in Lemma 47 and in the final step of Theorem 40.
  2. [Section 6.7.1, Eq. (31)] The Fuchsian reduction that defines w = (v_Ω - 2d)/d^2 and yields the equation Lw + 2∆d - M_w(w) = 0 is asserted by the sentence 'It follows from general arguments, see the overview in [49, 50]'. Both cited works are by the author, and no derivation of (31) is provided in this chapter. The subsequent argument depends on this exact structure: the operator L and the w-dependent operator M_w must have coefficients with the precise d-factors stated, so that L - M_w is of type (II) and Theorems 22-24 apply. Since the chapter promises complete proofs of the results it uses, equation (31) should either be proved or stated as an imported theorem with precise hypotheses. As it stands, this is a load-bearing unproved premise for Theorem 40.
  3. [Section 6.7.1, proof of Theorem 40] The final bootstrap of Theorem 40 is not fully justified even if equation (31) is granted. The text says, after Theorem 23, 'It follows that M_w(w) ∈ C^α(Ω_δ). We may now use theorem 24 to conclude that d^2 w is of class C^{2+α}'. To apply Theorem 24 one must write the equation for \tilde{w} = w - w_0 as A\tilde{w} = d f with f ∈ C^α. The text only establishes L\tilde{w} = O(d) and M_w(w) ∈ C^α; it does not show that M_w(w)/d ∈ C^α, which is what the hypothesis f ∈ C^α would require. Moreover, the use of Theorem 24 inherits the gap described above. This missing step is essential because Theorem 40's conclusion that d^2 w ∈ C^{2+α} is precisely the bootstrap that yields the displayed expansion for v_Ω.
  4. [Section 6.8.3, Lemma 47 and Theorem 43] Lemma 47 also depends on Theorem 24: after obtaining w_2 ∈ C^{1+α}_#(Ω_δ) from Theorem 23, the proof states 'Theorem 24 now ensures that w_2 is in fact of class C^{2+α}_#(Ω_δ)'. Since Theorem 24 is not proved as stated, the construction of w_0 satisfying Lw_0 + 2∆d = 0 with w_0|∂Ω = -H is not established. The subsequent second comparison argument in Theorem 44 uses the regularity of w_0, so the chain leading to Theorem 40 is broken at this point as well as at the final application of Theorem 24.
minor comments (5)
  1. [Section 2.2] In the definition of the cut-off φ, the condition 'φ = 0 for |x| ≥ 0' should presumably be 'φ = 0 for |x| ≥ 2'; otherwise the support condition is nonsensical.
  2. [Section 3.3, Theorem 13] In the proof, the displayed formula 'ˆu_j = ˆρ_j/|ξ|^{-2}' should be 'ˆu_j = ˆρ_j/|ξ|^2'; the subsequent computation of ∂_{kl}u uses division by |ξ|^2.
  3. [Section 5, proof of Theorem 22] The proof begins with 'Let Af = g', whereas the theorem statement is 'Ag = f'. The inversion of f and g is confusing and should be corrected.
  4. [Section 6.7.1] After Theorem 42, the text says 'we have Lw + 2∆w = O(d)'; in context this should be 'Lw + 2∆d = O(d)', since the mean-curvature term comes from ∆d, not from the unknown w.
  5. [Section 2.1] There is a typo in the sentence 'It ∂Ω is smooth, one can extend u by continuity' — 'It' should be 'If'.

Circularity Check

2 steps flagged · score 4.0 of 10

Classical Schauder sections are self-contained, but the Fuchsian bootstrap for Theorem 40 leans on the author's own overviews and on a Theorem 24 proof that proves regularity of d^2 f rather than d^2 g.

  1. self citation load bearing [Section 6.7.1, before equation (31)]
    "It follows from general arguments, see the overview in [49, 50], that the equation for w has a very special structure: the coefficient of the derivatives of order k is divisible by dk for k = 0, 1 and 2, and the nonlinear terms all contain a factor of d. Such an equation is said to be Fuchsian."

    This is the load-bearing premise of Theorem 40: the entire bootstrap and the final C^{2+alpha} boundary expansion are obtained from the asserted Fuchsian structure of the equation for the renormalized unknown w. That structure is not proved in the chapter; it is imported from the author's own overviews [49, 50], with no independent verification or reproduction. Thus the sharp result depends on the author's prior framework by self-citation, rather than being derived from a stated, checked reduction in this manuscript.

  2. other [Section 5, proof of Theorem 24, and its use in Section 6.7.1]
    "The assumptions ensure that aij∂ij(d2 f ) is Hölder-continuous and that f is bounded; d2 f therefore solves a Dirichlet problem to which the Schauder estimates apply near ∂Ω. Therefore d2 f is of class C2+α up to the boundary. Since we already know that f ∈ Cα(Ωδ) and d f is of class C1+α(Ωδ), we have indeed f of class C2+α♯ (Ωδ′) for δ′ < δ."

    Theorem 24 states that if Ag = d f with f ∈ C^α and g = O(d^α), then d^2 g belongs to C^{2+α}. The proof instead derives d^2 f ∈ C^{2+α} and concludes f ∈ C^{2+α}_#; it never uses the relation Ag = d f to pass from regularity of the data f to regularity of the unknown g. In Section 6.7.1, the text says 'We may now use theorem 24 to conclude that d^2 w is of class C^{2+α} near the boundary.' Thus the final bootstrap applies a theorem whose proof established a statement about the right-hand side f, not about w or g. The sharp C^{2+α} regularity and boundary expansion of Theorem 40 are supported by reasserting the theorem's conclusion after a proof that changes the variable.

full rationale

The classical portions of the chapter—Sections 2 through 4 and most of Section 6—are largely self-contained: the interior Schauder estimates are proved from potential theory, maximum principles, Littlewood-Paley theory, and the variational/Campanato approach, and the perturbation of coefficients is carried out inside the paper. Against external benchmarks, these sections are independent and do not reduce to their inputs. The Loewner-Nirenberg application in Section 6.7 is not circular in the strict definitional sense: w := (v_Ω - 2d)/d^2 is a genuine unknown, and the mean-curvature term -H is obtained by solving the model problem Lw_0 = -2Δd with a computed boundary value, not by imposing the target expansion. The circularity score is raised because the sharp Fuchsian bootstrap depends on the author's own overviews [49,50] for the structural form (31), and because the decisive final regularity upgrade invokes Theorem 24, whose proof as printed proves d^2 f ∈ C^{2+α} rather than the required d^2 g ∈ C^{2+α}. This is partly a proof gap and partly a load-bearing self-citation chain, but it is not a by-construction equivalence, so the score is 4 rather than 6 or higher.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The chapter's classical content rests on standard analytical assumptions (bounded C^{2+α} domains, Hölder coefficients). The Fuchsian application additionally assumes the Fuchsian reduction of eq. (31) as asserted from the author's prior work, and the existence and maximality of the Loewner-Nirenberg solution from cited papers. No free parameters are fitted to data.

assumptions (3)
  • domain assumption The maximal solution u_Ω of the Loewner-Nirenberg equation exists, is positive, and is the limit of solutions equal to m on the boundary.
    Invoked in Section 6.7.1; existence and properties taken from [56, 5, 7, 6, 57].
  • ad hoc to paper Fuchsian reduction of the renormalized unknown w := (v_Ω − 2d)/d^2 yields the degenerate equation (31) with the stated structure.
    Asserted in Section 6.7.1, with the justification 'It follows from general arguments, see the overview in [49, 50]'; the reduction is not demonstrated in this chapter and is central to the boundary blow-up application.
  • standard math The distance function d is C^{2+α} near the boundary and satisfies |∇d|=1, −∆d = sum κ_j/(1−κ_j d).
    Proved in Theorem 5 under the assumption ∂Ω ∈ C^{2+α}.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Schauder-type estimates and applications." pith.science (2026). https://pith.science/paper/VBMHQG4Q

@misc{pith2026250701818,
  author       = {Pith},
  title        = {Pith review of: Schauder-type estimates and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VBMHQG4Q}},
  note         = {Machine review of arXiv:2507.01818}
}
read the original abstract

The Schauder estimates are among the oldest and most useful tools in the modern theory of elliptic partial differential equations (PDEs). Their influence may be felt in practically all applications of the theory of elliptic boundary-value problems, that is, in fields such as nonlinear diffusion, potential theory, field theory or differential geometry and its applications. Schauder estimates give H\"older regularity estimates for solutions of elliptic problems with H\"older continuous data; they may be thought of as wide-ranging generalizations of estimates of derivatives of an analytic function in the interior of its domain of analyticity and play a role comparable to that of Cauchy's theory in function theory. They may be viewed as converses to the mean-value theorem: a bound on the solution gives a bound on its derivatives. Schauder theory has strongly contributed to the modern idea that solving a PDE is equivalent to obtaining an a priori bound that is, trying to estimate a solution before any solution has been constructed. The chapter presents the complete proofs of the most commonly used theorems used in actual applications of the estimates.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

79 extracted references · 79 canonical work pages

  1. [1]

    Pure and Appl

    Agmon, S., Douglis, A., Nirenberg, L., Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions, I & II., Commun. Pure and Appl. Math., 12 (1959) 623–727 and 17 (1964) 35–92

  2. [2]

    Monge-Amp` ere Equations, Springer, Berlin (1982)

    Aubin, T., Nonlinear Analysis on Manifolds. Monge-Amp` ere Equations, Springer, Berlin (1982). 70

  3. [3]

    T., Singular solutions, homoge- neous norms and quasiconformal mappings in Carnot groups, Math

    Balogh, Z., Holopainen, I., Tyson, J. T., Singular solutions, homoge- neous norms and quasiconformal mappings in Carnot groups, Math. Ann. 324 : 1 (2002) 159–186

  4. [4]

    35 (1994) 93-111

    Bandle, C., Ess´ en, M., On the solution of quasilinear elliptic problems with boundary blow-up, Symposia Math. 35 (1994) 93-111

  5. [5]

    Bandle, C., Flucher, M., Harmonic radius and concentration of energy; hyperbolic radius and Liouville’s equations ∆ U = eU and ∆U = U n+2 n−2 , SIAM Review 38 (1996) 191–238

  6. [6]

    IHP (Analyse Non Lin´ eaire) 12 : 2 (1995) 155–171

    Bandle, C., Marcus, M., Asymptotic behavior of solutions and their derivatives, for semilinear elliptic problems with blowup on the bound- ary, Ann. IHP (Analyse Non Lin´ eaire) 12 : 2 (1995) 155–171

  7. [7]

    and Integral Equations 11 (1998) 23–34

    Bandle, C., Marcus, M., On second-order effects in the boundary behav- ior of large solutions of semilinear elliptic problems, Differ. and Integral Equations 11 (1998) 23–34

  8. [8]

    Pure and Appl

    Bers, L., Local behavior of solutions of general linear elliptic equations, Commun. Pure and Appl. Math., 8 (1955) 473–496

Show all 79 references
  1. [9]

    Brandt, A., Estimates for difference quotients of solutions of Poisson type difference equations, Math. Comp. 20 (1966) 473–499

  2. [10]

    Math., 7 (1969) 95–121

    Brandt, A., Interior estimates for second-roder elliptic differential (or finite-difference) equations via the maximum principle, Israel J. Math., 7 (1969) 95–121. (See also ibid. 254–262

  3. [11]

    Brezis, H., Analyse Fonctionnelle : Th´ eorie et Applications , Masson, Paris 1983

  4. [12]

    Brezis, H., Browder, F., Partial Differential Equations in the 20th Cen- tury, Adv. Math. 135 (1998) 76–144

  5. [13]

    C., A variational inequality approach to the Bellman-Dirichlet equation for two elliptic operators, Arch

    Brezis, H., Evans, L. C., A variational inequality approach to the Bellman-Dirichlet equation for two elliptic operators, Arch. Rat. Mech. Anal. 71 : 1 (1979) 1–13

  6. [14]

    Caccioppoli, R., Sulle equazioni ellittiche non lineari a derivate parziali, Rend. Accad. Naz. Lincei 18 (1933) 103–106; Sulle equazioni ellittiche 71 non lineari a derivate parziali conn variabli independenti, ibid. 19 (1934) 83–89

  7. [15]

    A., Interior C 2+α regularity theory for a class of nonconvex fully nonlinear elliptic equations, J

    Cabr´ e, X., Caffarelli, L. A., Interior C 2+α regularity theory for a class of nonconvex fully nonlinear elliptic equations, J. Math. Pures et Appl. 82 : 5 (2003) 573–612

  8. [16]

    A., Interior a priori estimates for solutions of fully non linear equations, Ann

    Caffarelli, L. A., Interior a priori estimates for solutions of fully non linear equations, Ann. Math. 130 (1989) 189–213

  9. [17]

    A., Cabr´ e, X., Fully Nonlinear Elliptic Equations , AMS Coll

    Caffarelli, L. A., Cabr´ e, X., Fully Nonlinear Elliptic Equations , AMS Coll. Publ. 43, Amer. Math. Soc., Providence (1995)

  10. [18]

    A., Gidas, B., Spruck, J., Asymptotic symmetry and local behavior of semilinear elliptic equations with sritical Sobolev growth, Commun

    Caffarelli, L. A., Gidas, B., Spruck, J., Asymptotic symmetry and local behavior of semilinear elliptic equations with sritical Sobolev growth, Commun. Pure and Appl. Math., 42 :3 (1989) 271–297

  11. [19]

    Campanato, S., Propriet` a di H¨ olderianit` a di alcune classi di funzioni, Ann. Sc. Norm. Sup. Pisa 17 (1963) 175–188; Propriet` a di une famiglia di spazi funzionali, ibid. 18 (1964) 137–160

  12. [20]

    Campanato, S., Equazioni ellittiche des secondo ordine e spazi L2,λ, Ann. Mat. Pura Appl. 69 (1965) 321–380

  13. [21]

    Holyoke College, W

    Capogna, L., Han, Q., Pointwise Schauder estimates for subelliptic op- erators in Carnot groups, in: Harmonic Analysis at Mt. Holyoke College, W. Beckner at al. (eds.), Contemporary mathematics, vol. 320, pp. 45– 69 (2003) Amer. Math. Soc., Providence

  14. [22]

    Chaljub-Simon, A., Choquet-Bruhat, Y., Probl` emes elliptiques du sec- ond ordre sur une vari´ et´ e euclidienne ` a l’infini, Ann. Fac. Sci. Toulouse, 1 (1979) 9–25. See also the first author’s paper in Rend. Circ. Mat. Palermo, ser. II, 30 (1981) 300–310, and Choquet-Bruhat,...

  15. [23]

    22 : 3 (2005) 289–304

    Colesanti, A., Cuoghi, P., The Brunn-Minkowski inequality for the n- dimensional logarithmic capacity of convex bodies, Potential Anal. 22 : 3 (2005) 289–304

  16. [24]

    O., Vereinfachter Beweis der Existenz einer Apriori-H¨ older- konstante, Math

    Cordes, H. O., Vereinfachter Beweis der Existenz einer Apriori-H¨ older- konstante, Math. Ann. 138 (1959) 155–178. 72

  17. [25]

    O., Zero order a priori estimates for solutions of elliptic differential equations, Proc

    Cordes, H. O., Zero order a priori estimates for solutions of elliptic differential equations, Proc. Symp. Pure Math., 4 (1961) 157–178

  18. [26]

    Courant, R., Hilbert, D., Methods of Mathematical Physics, vol. 2, J. Wiley & Sons, New York (1962)

  19. [27]

    Pure Appl

    Douglis, A., Nirenberg, L., Interior estimates for elliptic systems of par- tial differential equations, Commun. Pure Appl. Math., 8 (1955) 503– 538

  20. [28]

    Dugundji, J., An extension of Tietze’s theorem, Pac. J. Math., 1 (1951) 353–367 (see th.4-1, and also J. T. Schwartz’s notes, th. 3.1)

  21. [29]

    C., A new proof of local C 1+α regularity for solutions of certain elliptic p.d.e., J

    Evans, L. C., A new proof of local C 1+α regularity for solutions of certain elliptic p.d.e., J. Differ. Eq. 45 : 3 (1982) 356–373

  22. [30]

    Fife, P., Schauder estimates under incomplete H¨ older continuity assump- tions, Pac. J. Math. 13 : 2 (1963) 511–550

  23. [31]

    F., Allgemeine Lehrs¨ atze in Beziehung auf die im verkehrten Verh¨ altnisse des Quadrats des Entfernung wirkenden Anziehung- und Abstossungs-kr¨ afte, Werke, Bd

    Gauss, C. F., Allgemeine Lehrs¨ atze in Beziehung auf die im verkehrten Verh¨ altnisse des Quadrats des Entfernung wirkenden Anziehung- und Abstossungs-kr¨ afte, Werke, Bd. 5, pp. 197–244, Georg Olms Verlag, Hildesheim, 1973. Reprint of the original edition of Gauss’s collecte...

  24. [32]

    Giaquinta, M., Multiple Integrals in the Calculus of Variations and Non- linear Elliptic Systems , Ann. Math. Studies vol. 105, Princeton Univ. Press, Princeton (1983). See also: Introduction to Regularity Theory for Nonlinear Elliptic Systems , Lectures in mathematics, ETH Z¨...

  25. [33]

    Pure and Appl

    Gidas, B., Spruck, J., Global and local behavior of positive solutions of nonlinear elliptic equations, Commun. Pure and Appl. Math., 34 : 4 (1981) 525–598

  26. [34]

    Gilbarg, D., H¨ ormander, L., Intermediate Schauder estimates, Arch. Rat. Mech. Anal., 74 (1980) 297–318

  27. [35]

    S., Elliptic Partial Differential Equations of Second Order, Springer, Berlin (1983)

    Gilbarg, D., Trudinger, N. S., Elliptic Partial Differential Equations of Second Order, Springer, Berlin (1983). 73

  28. [36]

    Giraud, G., Sur le probl` eme de Dirichlet g´ en´ eralis´ e; ´ equations non lin´ eaires ` am variables, Ann. Sci. ENS, 43 (1926) 1–128

  29. [37]

    Giraud, G., Sur le probl` eme de Dirichlet g´ en´ eralis´ e (Deuxi` eme m´ emoire), Ann. Sci. ENS, 46 (1929) 131–245

  30. [38]

    Goulaouic, C., Shimakura, N., R´ egularit´ e H¨ olderienne de certains pro- bl` emes aux limites elliptiques d´ eg´ en´ er´ es, Ann. Sc. Norm. Sup. Pisa, ser. 4, 10 (1983) 79–108

  31. [39]

    Han, Q., Schauder estimates for elliptic operators with applications to nodal sets, J. Geom. Anal. 10 : 3 (2000) 455–480

  32. [40]

    H., Elliptic Partial Differential Equations, Courant Inst

    Han, Q., Lin, F. H., Elliptic Partial Differential Equations, Courant Inst. Lect. Notes, vol. 1, Courant Institute and Amer. Math. Soc., New York and Providence, 1997

  33. [41]

    H¨ older, O.,Beitr¨ age zur Potentialtheorie, Doctoral Dissertation, T¨ ub- ingen, published in Stuttgart (1882)

  34. [42]

    Hopf, E., ¨Uber den funktionalen, insbesondere den analytischen Charak- ter, der L¨ osingen elliptischer Differentialgleichungen zweiter Ordnung. Math. Z. 34 (1931) 194–233

  35. [43]

    D., On the derivatives of harmonic functions on the bound- ary, TAMS 33 (1931) 486–510

    Kellogg, O. D., On the derivatives of harmonic functions on the bound- ary, TAMS 33 (1931) 486–510

  36. [44]

    57 (1987) 281–313

    Kichenassamy, S., Quasilinear problems with singularities, Manuscripta Math. 57 (1987) 281–313. This paper and [51] are part of the author’s thesis under the direction of H. Brezis

  37. [45]

    Kichenassamy, S., Nonlinear Wave Equations, Dekker, New York (1996)

  38. [46]

    Kichenassamy, S., R´ egularit´ e du rayon hyperbolique, C. R. Acad. Sci. Paris, s´ er. 1, 338 : 1 (2004) 13–18

  39. [47]

    Kichenassamy, S., Boundary blow-up and degenerate equations, J. Funct. Anal. 215 : 2 (2004) 271-289

  40. [48]

    Kichenassamy, S., Boundary behavior in the Loewner-Nirenberg prob- lem, J. Funct. Anal. 222 : 1 (2005) 98–113. 74

  41. [49]

    Bandle et al

    Kichenassamy, S., Recent progress on boundary blow-up, in: Elliptic and Parabolic Problems : A Special Tribute to the Work of Ha ¨ ım Brezis, C. Bandle et al. (eds.) Prog. Nonl. Differ. Eqs. and Their Appl., Vol. 63, Birkh¨ auser Verlag, Bostn (2005), pp. 329–341

  42. [50]

    Progress in Non Linear PDEs,

    Kichenassamy, S., Fuchsian Reduction: Applications to Geometry, Cos- mology and Mathematical Physics , to appear as vol. 71 of the series “Progress in Non Linear PDEs,” Birkh¨ auser, Boston

  43. [51]

    Kichenassamy, S., V´ eron, L., Singular solutions of the p-Laplace equa- tion, Math. Ann. 275 (1986) 599–615

  44. [52]

    G., Rutman, M

    Krein, M. G., Rutman, M. A., Linear operators leaving invariant a cone in a Banach space, AMS Trans. Ser. 1, 10 (1950) 199–325. Transl. of Uspekhi Mat. Nauk (N. S.) 3 : 1 (23) (1948) 2–95

  45. [53]

    Press, New York (1968)

    Ladyzhenskaya, O., Ural’tseva, N., Linear and Quasilinear Elliptic Equations, Acad. Press, New York (1968)

  46. [54]

    Leray, J., Schauder, J., Topologie et ´ equations fonctionnelles, Ann. Sci. ENS (3) 51 (1934) 45–78

  47. [55]

    Lichtenstein, L., Neure Entwicklungen der Theorie partieller Differen- tialgleichungen zweiter Ordnung, Encykl. Math. Wiss. Bd. II.C, Heft 8 (1924) 1277–1334. Complements in: Math. Z. 20 (1924) 194–212

  48. [56]

    Loewner, C., Nirenberg, L., Partial differential equations invariant under conformal or projective transformations, in: Contributions to Analysis , Ahlfors L. et al. (Eds.), Acad. Press, New York (1974), pp. 245–272

  49. [57]

    IHP (Analyse Non Lin´ eaire) 14 (1997) 237–274

    Marcus, M., V´ eron L., Uniqueness and asymptotic behavior of solutions with boundary blow-up for a class of nonlinear elliptic equations, Ann. IHP (Analyse Non Lin´ eaire) 14 (1997) 237–274

  50. [58]

    Meyers, N. G. , Mean oscillation over cubes and H¨ older continuity, Proc. AMS 15 (1964) 717–721

  51. [59]

    Partial Differential Equations of Elliptic Type , Springer, Berlin (1970)

    Miranda, C. Partial Differential Equations of Elliptic Type , Springer, Berlin (1970). 75

  52. [60]

    B., Second-order elliptic systems of differential equations, in: Contributions to the theory of partial differential equations, Ann

    Morrey, C. B., Second-order elliptic systems of differential equations, in: Contributions to the theory of partial differential equations, Ann. of Math. Studies, vol. 33, Princeton Univ. Press, Princeton (1954), pp. 101– 159

  53. [61]

    B., Multiple Integrals in the claculus of variations , Springer, New York (1966)

    Morrey, C. B., Multiple Integrals in the claculus of variations , Springer, New York (1966)

  54. [62]

    Neumann, C., ¨Uber einige Fundamentals¨ atze der Potentialtheorie, Berichte ¨ uber die Verhandlungen des k¨ oniglichen sachsischen Gesell- schaft der Wissenschaften zu Leipzig—Mathematisch-Physische Klasse, 42 (1890) 327–340

  55. [63]

    Pure and Appl

    Nirenberg, L., On non linear partial differential equations and H¨ older continuity, Commun. Pure and Appl. Math., 6 (1953) 103–156

  56. [64]

    Nirenberg, L., Topics in Nonlinear Functional Analysis , New York Uni- versity, (1973–1974)

  57. [65]

    Pacard, F., Rivi` ere, T.,Linear and Nonlinear Vortices: The Ginzburg- Landau model, Birkh¨ auser, Boston, 2000

  58. [66]

    Berestycki, Paris, 1984

    Rabinowitz, P., M´ ethodes topologiques et probl` emes aux limites non lin´ aires, notes r´ edig´ ees par H. Berestycki, Paris, 1984

  59. [67]

    Notes Math

    Sattinger, D., Topics in Stability Bifurcation Theory, Lect. Notes Math. vol. 309, Springer, Berlin (1973)

  60. [68]

    Sattinger, D., Monotone methods in nonlinear elliptic and parabolic equations, Indiana U. Math. J. 21 : 11 (1972) 979–1000

  61. [69]

    Schauder, J., Potentialtheoretische Untersuchungen, Math. Z. 33 (1931) 602–640. See also his remark on this paper: Math. Z. 35 (1932) 536–538

  62. [70]

    Schauder, J., ¨Uber lineare elliptische Differentialgleichungen zweiter Ordnung, Math. Z. 38 (1934) 257–282

  63. [71]

    5 (1934) 34–42

    Schauder, J., Numerische Absch¨ atzungen in elliptischen linearen Differ- entialgleichungen, Studia Math. 5 (1934) 34–42. 76

  64. [72]

    Shimakura N., Partial Differential Equations of Elliptic Type , Transl. Math. Monogr. vol. 99, AMS, Providence (1992); transl. and rev. by the author from the 1978 Japanese edition

  65. [73]

    Simon, L., Schauder estimates by scaling, Calc. Var. 5 (1997) 391–407

  66. [74]

    Shock Waves and Reaction-Diffusion Equations , Springer, Berlin (1983)

    Smoller, J. Shock Waves and Reaction-Diffusion Equations , Springer, Berlin (1983)

  67. [75]

    M., Harmonic Analysis , Princeton Univ

    Stein, E. M., Harmonic Analysis , Princeton Univ. Press, Princeton (1993)

  68. [76]

    Stroock, D., Varadhan, S. R. S., Multidimensional Diffusion Processes, Springer, Berlin (1979)

  69. [77]

    Taylor, M., Pseudodifferential Operators and Nonlinear P. D. E. , Birkh¨ auser, Boston (1991)

  70. [78]

    Estimates of the Caccioppoli-Schauder type in weighted function spaces, Trans

    Troianello, G. Estimates of the Caccioppoli-Schauder type in weighted function spaces, Trans. AMS 334 : 2 (1992) 551–573

  71. [79]

    CMA, vol

    Trudinger, N., A new approach to Schauder estimates for linear elliptic equations, Proc. CMA, vol. 14, Canberra, 1986, pp. 52–59. 77

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.