Pith. sign in

REVIEW 2 major objections 3 minor 59 references

Integral formulas for under/overdetermined differential operators via recovery on curves and the finite-dimensional cokernel condition I: General theory

T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A full-rank complex symbol guarantees curve-supported integral solution operators for a wide class of underdetermined PDEs, and dual representation formulas for overdetermined adjoints.

desk verdict A substantial, mostly correct general theory for integral solution operators, but the stated \tilde W-cokernel triviality claims are false as written due to boundary-supported distributions. read the letter →

arxiv 2509.04617 v1 pith:5ST7ANKL submitted 2025-09-04 math.AP gr-qcmath.DG

Philip Isett , Yuchen Mao , Sung-Jin Oh , Zhongkai Tao This is my paper · ORCID
classification math.APgr-qcmath.DG MSC 35A0135A0835S0535Q75
keywords underdeterminedPDEssolutionoperatorsrecoveryoncurvesfinite-dimensionalcokernelconditiongradedaugmentedsystemssingularintegralkernelsKorninequalitiesEinsteinconstraintequations
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 paper builds a general machine for solving underdetermined linear PDEs of divergence type and, by duality, for representing solutions to their overdetermined adjoints. The central claim is that a purely algebraic condition on the principal symbol—full rank for every nonzero complex frequency—guarantees the existence of integral solution operators whose kernels are supported on prescribed curves and which gain the full order of the operator. If true, this turns a previously case-by-case matter into a checkable recipe that covers the divergence, Hessian, Killing, conformal Killing, linearized scalar curvature, and Einstein constraint operators. The paper proves the condition is equivalent, in constant-coefficient settings, to the finiteness of the formal cokernel, and shows how the resulting representation formulas yield Poincaré- and Korn-type inequalities.

What carries the argument

The load-bearing object is the graded augmented system: a collection of augmented variables $\Phi^A$ consisting of the unknown $\varphi$ and its derivatives up to order $N_0-1$, chosen so that their derivatives along any curve obey a first-order linear ODE with the data $P^*\varphi$ entering as a forcing term. The paper proves via Hilbert's Nullstellensatz that the algebraic condition (FC) always supplies such a system, with the coefficients of the ODE built from polynomial identities $\xi^\alpha I = g_\alpha(x,\xi)p^*(x,\xi)$. Once the augmented system exists, Duhamel's formula along a curve expresses $\varphi(y)$ through $P^*\varphi$ along the curve and the endpoint value, which is exactly recovery on curves; averaging over curves then gives the integral kernels with controlled singularity.

What would settle it

A concrete check is to take $P h = \partial_j\partial_k h^{jk}$ on $\mathbb{R}^d$ and substitute the explicit kernel $K^{ij}_\eta$ from Appendix A.2.3 into the identity $P K_\eta(\cdot,y) = \delta_0(\cdot-y) - b_\eta(\cdot,y)$; if the identity fails for any smooth compactly supported $\eta$, the central Green's-function claim is false.

Watch

Extended reading notes

Core claim

The paper's core discovery is the chain (FC) implies (graded augmented system) implies (recovery on curves) implies (integral solution and representation formulas). The finite-dimensional cokernel condition (FC) asks that the principal symbol $p^*(x,\xi)$ of the adjoint $P^*$ be injective for every $x$ in the domain and every nonzero complex covector $\xi$; this is stronger than ordinary ellipticity, which only requires injectivity for real $\xi$. Theorem 1.11 asserts that (FC) implies the existence of a maximal graded augmented system, a first-order ODE system along curves that encodes all derivatives of the unknown up to a fixed order; the augmented system immediately gives recovery on curves. Smooth averaging over an admissible family of curves converts the resulting curve-supported distribution kernels into classical pseudodifferential operators of order $-m$, so the solution operator gains $m$ derivatives, and the support of the kernel remains inside the prescribed union of curves. In the constant-coefficient case the three conditions collapse: (FC), (RC), and finite dimensionality of the formal cokernel are equivalent.

Load-bearing premise

The construction's payoff—a bounded, optimally regularizing solution operator with prescribed support—hinges on the existence of an admissible family of curves connecting each point to a prescribed endpoint set, with quantitative control on how the curves spread as they move; without such a family, the recovery identities do not give usable operators.

Editorial extensions

If this is right

  • For any operator satisfying (FC), the construction yields a right inverse up to finite rank that gains $m$ derivatives and whose kernel is supported on prescribed curves; data with suitable support can be solved with solutions supported in the corresponding unions of curves.
  • By duality, every such operator produces an integral representation $\varphi = S^*P^*\varphi$ modulo finite-rank terms, hence Poincaré- or Friedrich-type and Korn-type inequalities on domains that are star-shaped with respect to the curve family or for which the curves exit the domain.
  • The seven geometric examples listed in Theorem 1.14—divergence, trace-free double divergence, Killing, conformal Killing, linearized scalar curvature, and Einstein constraint operators—all satisfy (FC); therefore the method applies to lower-order variable-coefficient perturbations of their principal parts.
  • When the principal symbol has constant coefficients, finite dimensionality of the formal cokernel is enough to guarantee the whole chain, so the method captures exactly the operators one might hope to treat by integral formulas without parametrix constructions.

Reading between the lines

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

  • A likely extension, not explored here, is to treat complexes of such operators: a Bogovskii-type chain homotopy for the de Rham complex would follow from the same curve-averaging mechanism, connecting the construction to pullback and Darboux-type theorems.
  • The non-effectiveness of the finite-rank correction $Q$ noted in the paper suggests that quantitative bounds for Poincaré constants will have to come from special solutions or from the completely integrable case; testing the method on non-completely integrable variable-coefficient operators would clarify how much of the gain is genuinely new.
  • Since (FC) is only sufficient in variable-coefficient settings, one could look for variable-coefficient operators satisfying (RC) but failing (FC), which would mark the boundary of the algebraic condition as a detection criterion.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper develops a general framework for constructing regularizing right-inverses (up to finite rank) of underdetermined differential operators and, by duality, integral representation formulas and Poincaré-/Friedrich-type inequalities for their adjoints. The key device is the 'recovery on curves' condition (RC), which yields curve-supported Green's functions, followed by smooth averaging over a family of curves to obtain pseudodifferential solution operators of optimal order. The paper also introduces the finite-dimensional cokernel condition (FC), an algebraic full-rank condition on the complex principal symbol, proves via Hilbert's Nullstellensatz that (FC) implies (RC), and verifies (FC) for divergence, Hessian, Killing, conformal Killing, and linearized Einstein constraint operators. Detailed formulas are worked out in the appendices for constant-curvature backgrounds. The constructive parts of the theory appear sound and are presented with care; however, one central cokernel claim involving the spaces \tilde W^{-s,p'}(U) is false as stated.

Significance. If the cokernel statements are corrected, this is a substantial and useful paper. It unifies and generalizes Bogovskii's and Oh–Tataru's divergence formulas and Reshetnyak's representation formulas, gives a checkable algebraic criterion for a large class of geometric operators, and provides explicit integral kernels with prescribed support. The construction is self-contained and non-circular: (FC) is an algebraic hypothesis, and the solution operators are built directly from it. The proof structure is detailed, with careful tracking of derivative counts and a clean use of Hilbert's Nullstellensatz in Section 7. The main defect found below is localized to the boundary-sensitive cokernel statements for \tilde W^{-s,p'}(U); the actual construction of S and \tilde S and the W-based inequalities appear unaffected.

major comments (2)
  1. [Theorem 1.1(1), §5.3.2, §2.3] The cokernel claim ker_{\tilde W^{-s,p'}(U)} P^* = {0} in Theorem 1.1(1) is false as stated. The proof via Theorem 5.12(3) only establishes the statement for open sets V compactly contained in the auxiliary open set \tilde U, but \tilde W^{-s,p'}(U) contains distributions supported on \partial U, and the condition 'P^*Z = 0 in D'(\tilde U)' depends on the choice of \tilde U. Concrete counterexample: take U=(0,1)\subset R, P u = \partial_x u, so P^*\varphi = -\partial_x\varphi, and use straight-line curves x(y,y_1,s)=y+s(y_1-y) with U_1=(1,2); all hypotheses of Theorem 1.1 are satisfied. For s=-1, p'=2, the Dirac mass \delta_0 belongs to \tilde H^{-1}(0,1), and choosing \tilde U=(0,2) we have P^*\delta_0=0 in D'((0,2)), because test functions supported in (0,2) vanish near 0. Yet \delta_0\neq 0 in \tilde H^{-1}(0,1). This also disproves the claimed independence of the choice of \tilde U in (1.4): taking \tilde U=(-1,2) gives P^*\delta_0\neq 0. The statement should be repaired, for example by requiring P^*Z=0 in an appropriate \tilde W-based sense or by replacing the \tilde W cokernel statement with a local statement on sets compactly contained in U; the constructive Parts (2) and (3) do not appear to be affected.
  2. [Proposition 5.19(1), §5.4.3] Proposition 5.19(1) inherits the same defect and is false as stated. With U=(0,1), P=\partial_x, and the same choice \tilde U=(0,2), the distribution \delta_0 lies in ker_{\tilde H^{-1}(0,1)}P^* under the definition used in (1.4), but \ker P^* on (0,1) consists only of constants. Hence the asserted equality ker_{\tilde W^{-s_0,p_0}(U)}P^* = ker_{\tilde W^{-s_1,p_1}(U)}P^* = \ker P^* fails across Sobolev scales. The proof of Proposition 5.19 uses the representation formula in W^{-s,p'}(U), which does not control boundary-supported contributions to \tilde W^{-s,p'}(U). This point is already visible from the discussion in Section 2.3, where the authors explicitly note that \tilde W^{s,p}(U) may contain distributions supported in \partial U. The proposition should be reformulated so that boundary-supported distributions are either excluded by the definition of the cokernel or handled by a genuinely local statement.
minor comments (3)
  1. [Definition 1.4] In (Φ-4), the phrase 'for the maximal degree 1 that occurs in (1.8)' appears to contain a typo; it should presumably read 'the maximal degree that occurs in (1.8)'.
  2. [Remark 1.13] The spelling of Reshetnyak is inconsistent: 'Retshenyak' appears in Remark 1.13 and once in the introduction, while the standard spelling is used elsewhere.
  3. [Remark 5.3] The claimed converse implication from (wRC) to (RC∨) is stated without proof. Since this fact is explicitly not used later, it would be clearer to defer it to an appendix or to give the short proof indicated by (5.7).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the (FC) to augmented-system to (RC) to integral-formula chain is self-contained; the reviewer concern about boundary-supported cokernel elements is a correctness issue, not circularity.

full rationale

The paper's central claim is a mathematical implication chain: the algebraic condition (FC) implies a maximal graded augmented system (Theorem 7.2, via Hilbert's Nullstellensatz); the augmented system implies the quantitative recovery-on-curves condition (RC-q) (Proposition 6.6, via ODE estimates); and (RC-q) yields the integral solution and representation operators (Section 5). Each step is proven from stated definitions; no parameter is fitted and no quantity is predicted from data that already contains the target conclusion. The condition (FC) is not defined in terms of (RC) or of the solution operators: it is an explicit injectivity/full-rank condition on the principal symbol p*(x,xi). The examples in Theorem 1.14 are verified by direct algebraic computations, and Appendix A independently supplies graded augmented systems. Citations to the companion papers [38,47] and to [52,48,46] are for applications, motivation, and inspiration, not as load-bearing support for the construction. The reviewer's concern about Theorem 1.1(1) and Proposition 5.19(1), involving boundary-supported distributions such as delta_0 in \tilde H^{-1}(0,1) for P = \partial_x, is a potential correctness defect in the claimed equality of \tilde W-cokernels; it does not show that any theorem input is assumed to have the property the paper is trying to prove, so it does not constitute circularity.

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

No free parameters fitted to data. The paper's input is a purely analytic and geometric hypothesis (FC) plus a geometric family of curves; the output is derived. The listed axioms are the standard background theorems and the stated structural assumptions. No new physical entities are postulated.

assumptions (8)
  • standard math Hilbert's Nullstellensatz (Proposition 7.1)
    Used in Section 7, Step 1, to construct polynomial matrices g_alpha satisfying xi^alpha I = g_alpha p*(x0,xi), the starting point for the maximal augmented system.
  • standard math Sobolev space duality, interpolation and Rellich-Kondrachov compactness
    Section 2.3 and Lemma 2.2 underpin the function space framework, duality arguments and the contradiction argument in Proposition 5.19.
  • standard math Boundedness of classical pseudodifferential operators on Sobolev spaces
    Corollary 4.7 converts the symbol bounds of Proposition 4.6 into the optimal regularization property of the averaged solution operators.
  • standard math Hahn-Banach theorem
    Corollary 5.20 uses it to turn the Poincare-type inequality into existence of special solutions, a step needed for the Bogovskii-type operator.
  • standard math Ambrose-Singer holonomy theorem
    Section 6.4 uses it to identify the cokernel with holonomy-invariant vectors and to prove Proposition 1.7 on complete integrability.
  • domain assumption (FC): principal symbol p*(x,xi) is injective for all x in U and xi in C^d excluding 0
    The key hypothesis throughout; it is stronger than real ellipticity and is the algebraic criterion that the paper shows implies (RC).
  • domain assumption Admissible curve family x(y,y1,s) satisfying (x-1)-(x-3), with nontrapping or x-star-shaped condition
    Hypotheses of Theorems 1.1 and 1.2; they control the support of the kernels and the geometry of the domain. Without them the smooth averaging does not yield a solution operator.
  • domain assumption Quantitative recovery-on-curves bounds (RC-q), (by1-1)-(by1-2) and the (C-infinity) smoothness assumption
    Assumed in the general construction of Section 5.4; the paper shows they follow from graded augmented systems with bounded coefficients, Proposition 6.6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integral formulas for under/overdetermined differential operators via recovery on curves and the finite-dimensional cokernel condition I: General theory." pith.science (2026). https://pith.science/paper/5ST7ANKL

@misc{pith2026250904617,
  author       = {Pith},
  title        = {Pith review of: Integral formulas for under/overdetermined differential operators via recovery on curves and the finite-dimensional cokernel condition I: General theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5ST7ANKL}},
  note         = {Machine review of arXiv:2509.04617}
}
abstract

We introduce a new versatile method for constructing solution operators (i.e., right-inverses up to a finite rank operator) for a wide class of underdetermined PDEs $P u = f$, which are regularizing of optimal order and, more interestingly, whose integral kernels have certain prescribed support properties. By duality, we simultaneously obtain integral representation formulas (i.e., left-inverses up to a finite rank operator) for overdetermined PDEs $P^{\ast} v = g$ with analogous properties, which lead to Poincar\'e- or Korn-type inequalities. Our method applies to operators such as the divergence, linearized scalar curvature, and linearized Einstein constraint operators (which are underdetermined), as well as the gradient, Hessian, trace-free part of the Hessian, Killing, and conformal Killing operators (which are overdetermined). The starting point for our construction is a condition - dubbed the recovery on curves condition (RC) - that leads to Green's functions for $P$ supported on prescribed curves. Then the desired integral solution operators (and, by duality, integral representation formulas) are obtained by taking smooth averages over a suitable family of curves. This procedure generalizes the previous constructions of Bogovskii, Oh-Tataru, and Reshetnyak. We furthermore identify a simple algebraic sufficient condition for (RC), namely, that the principal symbol $p(x, \xi)$ of $P$ is full-rank for all non-zero complex vectors $\xi$ (as opposed to real, as in ellipticity). When the principal symbol has constant coefficients, this is equivalent to (RC) and also to the condition that the formal cokernel of $P$ (without any boundary conditions) is finite-dimensional; for this reason, we call it the finite-dimensional cokernel condition (FC). We give a short proof that all operators above satisfy (FC), and thus (RC). Various applications will be considered in subsequent papers.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

59 extracted references · 53 canonical work pages

  1. [1]

    Dur´ an, and Mar´ ıa A

    Gabriel Acosta, Ricaodo G. Dur´ an, and Mar´ ıa A. Muschietti,Solutions of the divergence operator on John domains , Adv. Math. 206 (2006), no. 2, 373–401

    work page 2006

  2. [2]

    1, 415–455

    Dallas Albritton, Elia Bru´ e, and Maria Colombo,Non-uniqueness of Leray solutions of the forced Navier-Stokes equations , Annals of Mathematics 196 (2022), no. 1, 415–455

    work page 2022

  3. [3]

    Ambrose and I

    W. Ambrose and I. M. Singer, A theorem on holonomy , Trans. Amer. Math. Soc. 75 (1953), 428–443. MR 63739

    work page 1953

  4. [4]

    Co., Reading, MA, 1969

    Michael Francis Atiyah and Ian Grant Macdonald,Introduction to commutative algebra, Addison-Wesley Pub. Co., Reading, MA, 1969

    work page 1969

  5. [5]

    M. E. Bogovski˘ ı,Solution of the first boundary value problem for an equation of continuity of an incompressible medium , Dokl. Akad. Nauk SSSR 248 (1979), no. 5, 1037–1040. MR 553920

    work page 1979

  6. [6]

    Wolfgang Borchers and Tetsuro Miyakawa, Algebraicl2 decay for Navier-Stokes flows in exterior domains , (1990)

    work page 1990

  7. [7]

    Wolfgang Borchers and Hermann Sohr, On the semigroup of the stokes operator for exterior domains in l q-spaces , Math- ematische Zeitschrift 196 (1987), 415–425

    work page 1987

  8. [8]

    1764, Springer-Verlag, Berlin,

    Ana Cannas da Silva, Lectures on symplectic geometry, Lecture Notes in Mathematics, vol. 1764, Springer-Verlag, Berlin,

    work page

Show all 59 references
  1. [9]

    Alessandro Carlotto and Richard Schoen, Localizing solutions of the Einstein constraint equations , Invent. Math. 205 (2016), no. 3, 559–615. MR 3539922

    2016

  2. [10]

    S. N. Chandler-Wilde, D. P. Hewett, and A. Moiola, Sobolev spaces on non-Lipschitz subsets of Rn with application to boundary integral equations on fractal screens, Integral Equations Operator Theory 87 (2017), no. 2, 179–224. MR 3620760

    2017

  3. [11]

    41, Princeton University Press, Princeton, NJ, 1993

    Demetrios Christodoulou and Sergiu Klainerman, The global nonlinear stability of the Minkowski space , Princeton Mathe- matical Series, vol. 41, Princeton University Press, Princeton, NJ, 1993. MR 1316662

    1993

  4. [12]

    Chru´ sciel, Albachiara Cogo, and Andrea N¨ utzi,A Bogovsk˘ ı-type operator for Corvino-Schoen hyperbolic gluing, arXiv preprint arXiv:2409.07502 (2024)

    Piotr P. Chru´ sciel, Albachiara Cogo, and Andrea N¨ utzi,A Bogovsk˘ ı-type operator for Corvino-Schoen hyperbolic gluing, arXiv preprint arXiv:2409.07502 (2024)

    2024

  5. [13]

    Chru´ sciel and Erwann Delay, On mapping properties of the general relativistic constraints operator in weighted function spaces, with applications , M´ em

    Piotr T. Chru´ sciel and Erwann Delay, On mapping properties of the general relativistic constraints operator in weighted function spaces, with applications , M´ em. Soc. Math. Fr. (N.S.) (2003), no. 94, vi+103. MR 2031583

    2003

  6. [14]

    Sergio Conti, Georg Dolzmann, and Stefan M¨ uller,Optimal rigidity estimates for maps of a compact Riemannian manifold to itself, SIAM J. Math. Anal. 56 (2024), no. 6, 8070–8095. MR 4839684

    2024

  7. [15]

    Justin Corvino, Scalar curvature deformation and a gluing construction for the Einstein constraint equations , Comm. Math. Phys. 214 (2000), no. 1, 137–189. MR 1794269

    2000

  8. [16]

    Schoen, On the asymptotics for the vacuum Einstein constraint equations , J

    Justin Corvino and Richard M. Schoen, On the asymptotics for the vacuum Einstein constraint equations , J. Differential Geom. 73 (2006), no. 2, 185–217. MR 2225517

    2006

  9. [17]

    83, Birkh¨ auser/Springer, New York, 2012

    Gyula Csat´ o, Bernard Dacorogna, and Olivier Kneuss, The pullback equation for differential forms , Progress in Nonlinear Differential Equations and their Applications, vol. 83, Birkh¨ auser/Springer, New York, 2012. MR 2883631

    2012

  10. [18]

    Stefan Czimek and Igor Rodnianski, Obstruction-free gluing for the einstein equations , (2022)

    2022

  11. [19]

    Bernard Dacorogna and J¨ urgen Moser, On a partial differential equation involving the Jacobian determinant , Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire7 (1990), no. 1, 1–26. MR 1046081 67

    1990

  12. [20]

    Sergio Dain, Generalized Korn’s inequality and conformal Killing vectors , Calc. Var. Partial Differential Equations 25 (2006), no. 4, 535–540. MR 2214623

    2006

  13. [21]

    Differential Geom

    Camillo De Lellis and Stefan M¨ uller, Optimal rigidity estimates for nearly umbilical surfaces , J. Differential Geom. 69 (2005), no. 1, 75–110. MR 2169583

    2005

  14. [22]

    PDE 37 (2012), no

    Erwann Delay, Smooth compactly supported solutions of some underdetermined elliptic PDE, with gluing applications , Comm. PDE 37 (2012), no. 10, 1689–1716

    2012

  15. [23]

    Duran, M

    R. Duran, M. A. Muschietti, E. Russ, and P. Tchamitchian, Divergence operator and Poincar´ e inequalities on arbitrary bounded domains, Complex Variables and Elliptic Equations 55 (2010), no. 8–10, 795–816

    2010

  16. [24]

    Dur´ an and Fernando L´ opez Garc´ ıa,A right inverse of the divergence for planar H¨ older- α domains, arXiv preprint arXiv:0804.4873 (2008)

    Ricaodo G. Dur´ an and Fernando L´ opez Garc´ ıa,A right inverse of the divergence for planar H¨ older- α domains, arXiv preprint arXiv:0804.4873 (2008)

    2008 arXiv

  17. [25]

    , Solution of the divergence and Korn inequalities on domains with an external cusp , Annales Academiæ Scientiarum Fennicæ Mathematica 35 (2010), 421–438

    2010

  18. [26]

    Evans, Partial differential equations, second ed., Graduate Studies in Mathematics, vol

    Lawrence C. Evans, Partial differential equations, second ed., Graduate Studies in Mathematics, vol. 19, American Math- ematical Society, Providence, RI, 2010. MR 2597943

    2010

  19. [27]

    James, and Stefan M¨ uller, A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity , Comm

    Gero Friesecke, Richard D. James, and Stefan M¨ uller, A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity , Comm. Pure Appl. Math. 55 (2002), no. 11, 1461–1506. MR 1916989

    2002

  20. [28]

    Giovanni Galdi, An introduction to the mathematical theory of the navier-stokes equations: Steady-state problems , Springer Science & Business Media, 2011

    2011

  21. [29]

    1, 503–524

    Giovanni P Galdi, On the existence of steady motions of a viscous flow with non-homogeneous boundary conditions , Le Matematiche 46 (1991), no. 1, 503–524

    1991

  22. [30]

    Yoshikazu Giga and Hermann Sohr, On the Stokes operator in exterior domains , J. Fac. Univ. Tokyo Sect. IA, Math. (1989), no. 36, 103–130

    1989

  23. [31]

    69, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011, Reprint of the 1985 original [ MR0775683], With a foreword by Susanne C

    Pierre Grisvard, Elliptic problems in nonsmooth domains , Classics in Applied Mathematics, vol. 69, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011, Reprint of the 1985 original [ MR0775683], With a foreword by Susanne C. Brenner. MR 3396210

    2011

  24. [32]

    Peter Hintz, Gluing small black holes along timelike geodesics I: formal solution , arXiv preprint arXiv:2306.07409 (2023)

    2023 arXiv

  25. [33]

    , Gluing small black holes along timelike geodesics II: uniform analysis on glued spacetimes , arXiv preprint arXiv:2408.06712 (2024)

    2024 arXiv

  26. [34]

    , Gluing small black holes along timelike geodesics III: construction of true solutions and extreme mass ratio mergers, arXiv preprint arXiv:2408.06715 (2024)

    2024 arXiv

  27. [35]

    6, 2123–2159

    Philip Isett, On the endpoint regularity in Onsager’s conjecture , Analysis & PDE 17 (2024), no. 6, 2123–2159

    2024

  28. [36]

    Philip Isett and Shi-Zhuo Looi, A proof of onsager’s conjecture for the sqg equation , arXiv preprint arXiv:2407.02578 (2024)

    2024 arXiv

  29. [37]

    Philip Isett and Andrew Ma, A direct approach to nonuniqueness and failure of compactness for the sqg equation , Nonlin- earity 34 (2021), no. 5, 3122

    2021

  30. [38]

    Philip Isett, Yuchen Mao, Sung-Jin Oh, and Zhongkai Tao,Integral formulas for under/overdetermined differential operators via recovery on curves and the finite-dimensional cokernel condition II: Sharp solvability , preprint (2025)

    2025

  31. [39]

    Philip Isett and Sung-Jin Oh, On nonperiodic Euler flows with H¨ older regularity, Arch. Ration. Mech. Anal. 221 (2016), no. 2, 725–804. MR 3488536

    2016

  32. [40]

    Hirokazu Iwashita, lq−lr estimates for solutions of the nonstationary Stokes equations in an exterior domain and the Navier-Stokes initial value problems in lq spaces, Mathematische Annalen 285 (1989), 265–288

    1989

  33. [41]

    Vladimir Alexandrovich Kondratiev and Olga Arsenievna Oleinik, On Korn’s inequalities , C. R. Acad. Sci. Paris S´ er. I Math. 308 (1989), no. 16, 483–487. MR 995908

    1989

  34. [42]

    Arthur Korn, Ueber einige Ungleichungen, welche in der Theorie der elastischen und elektrischen Schwingungen eine Rolle spielen, Bulletin internationale de l’Academie de Sciences de Cracovie 9 (1909), 705–724

    1909

  35. [43]

    Lions and E

    J.-L. Lions and E. Magenes, Non-homogeneous boundary value problems and applications. Vol. I , Die Grundlehren der mathematischen Wissenschaften, Band 181, Springer-Verlag, New York-Heidelberg, 1972, Translated from the French by P. Kenneth. MR 350177

    1972

  36. [44]

    , Non-homogeneous boundary value problems and applications. Vol. II , Die Grundlehren der mathematischen Wis- senschaften, Band 182, Springer-Verlag, New York-Heidelberg, 1972, Translated from the French by P. Kenneth. MR 350178

    1972

  37. [45]

    , Non-homogeneous boundary value problems and applications. Vol. III , Die Grundlehren der mathematischen Wis- senschaften, Band 183, Springer-Verlag, New York-Heidelberg, 1973, Translated from the French by P. Kenneth. MR 350179

    1973

  38. [46]

    Mao, S-J

    Y. Mao, S-J. Oh, and Z. Tao, Initial data gluing in the asymptotically flat regime via solution operators with prescribed support properties, arXiv preprint arXiv:2308.13031 (2023)

    2023 arXiv

  39. [47]

    Yuchen Mao, Sung-Jin Oh, and Zhongkai Tao, Flexibility of general relativistic initial data sets with or without constant mean curvature, in preparation (2025)

    2025

  40. [48]

    Yuchen Mao and Zhongkai Tao, Localized initial data for Einstein equations , arXiv preprint arXiv:2210.09437 (2022)

    2022 arXiv

  41. [49]

    MR 1742312

    William McLean, Strongly elliptic systems and boundary integral equations , Cambridge University Press, Cambridge, 2000. MR 1742312

    2000

  42. [50]

    Andrea N¨ utzi,A support preserving homotopy for the de rham complex with boundary decay estimates , (2024)

    2024

  43. [51]

    Sung-Jin Oh and Daniel Tataru, The hyperbolic Yang-Mills equation for connections in an arbitrary topological class , Comm. Math. Phys. 365 (2019), no. 2, 685–739. MR 3907955

    2019

  44. [52]

    Yu. G. Reshetnyak, Linear differential operators of finite type , Siberian Mathematical Journal 24 (1983), 796–808. 68 PHILIP ISETT, YUCHEN MAO, SUNG-JIN OH, AND ZHONGKAI TAO

    1983

  45. [53]

    304, Kluwer Academic Pub- lishers Group, Dordrecht, 1994, Translated from the 1982 Russian original by N

    , Stability theorems in geometry and analysis , Mathematics and its Applications, vol. 304, Kluwer Academic Pub- lishers Group, Dordrecht, 1994, Translated from the 1982 Russian original by N. S. Dairbekov and V. N. Dyatlov, and revised by the author, Translation edited and wi...

    1994

  46. [54]

    1-2, 261–285

    Takahashi Shuji, On a regularity criterion up to the boundary for weak solutions of the Navier–Stokes equations , Commu- nications in partial differential equations 17 (1992), no. 1-2, 261–285

    1992

  47. [55]

    A modern approach to classical theorems of advanced calculus , W

    Michael Spivak, Calculus on manifolds. A modern approach to classical theorems of advanced calculus , W. A. Benjamin, Inc., New York-Amsterdam, 1965. MR 209411

    1965

  48. [56]

    Stein, Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals , Princeton Mathematical Series, Princeton Mathematical Press, Princeton, NJ, 1993

    Elias M. Stein, Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals , Princeton Mathematical Series, Princeton Mathematical Press, Princeton, NJ, 1993

    1993

  49. [57]

    Japan Acad

    Shuji Takahashi, On the Poincar´ e-Bogovski lemma on differential forms, Proc. Japan Acad. Ser. A Math. Sci. 68 (1992), no. 1, 1–6

    1992

  50. [58]

    Appl 11 (1991), 153–185

    A Tani, Global exstence of incompressible viscous capillary fluid flow in a field of external forces , Lecture Notes in Num. Appl 11 (1991), 153–185

    1991

  51. [59]

    Hans Tribel, Theory on function spaces , Modern Birkhauser Classics, Birkhauser Verlag, Boston, MA, 2010. Department of Mathematics, California Institute of Technology, Pasadena, CA 91125, USA Email address: isett@caltech.edu Department of Mathematics, UC Berkeley, Berkeley, C...

    2010

Pith tools

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