Spruck is well known in the field of elliptic partial differential equations for his series of papers "The Dirichlet problem for nonlinear second-order elliptic equations," written in collaboration with Luis Caffarelli, Joseph J. Kohn, and Louis Nirenberg. These papers were among the first to develop a general theory of second-order elliptic differential equations which are fully nonlinear, with a regularity theory that extends to the boundary. Caffarelli, Nirenberg & Spruck (1985) has been particularly influential in the field of geometric analysis since many geometric partial differential equations are amenable to its methods.
With Basilis Gidas, Spruck studied positive solutions of subcritical second-order elliptic partial differential equations of Yamabe type. With Caffarelli, they studied the Yamabe equation on Euclidean space, proving a positive mass-style theorem on the asymptotic behavior of isolated singularities.
Hoffman, David; Spruck, Joel. Sobolev and isoperimetric inequalities for Riemannian submanifolds. Comm. Pure Appl. Math. 27 (1974), 715–727.
Gidas, B.; Spruck, J. A priori bounds for positive solutions of nonlinear elliptic equations. Comm. Partial Differential Equations 6 (1981), no. 8, 883–901.
Gidas, B.; Spruck, J. Global and local behavior of positive solutions of nonlinear elliptic equations. Comm. Pure Appl. Math. 34 (1981), no. 4, 525–598.
Caffarelli, L.; Nirenberg, L.; Spruck, J. The Dirichlet problem for nonlinear second-order elliptic equations. I. Monge-Ampère equation. Comm. Pure Appl. Math. 37 (1984), no. 3, 369–402.
Caffarelli, L.; Kohn, J.J.; Nirenberg, L.; Spruck, J. The Dirichlet problem for nonlinear second-order elliptic equations. II. Complex Monge-Ampère, and uniformly elliptic, equations. Comm. Pure Appl. Math. 38 (1985), no. 2, 209–252.
Caffarelli, L.; Nirenberg, L.; Spruck, J. The Dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hessian. Acta Math. 155 (1985), no. 3–4, 261–301.
Caffarelli, Luis A.; Gidas, Basilis; Spruck, Joel. Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth. Comm. Pure Appl. Math. 42 (1989), no. 3, 271–297.
Evans, L.C.; Spruck, J. Motion of level sets by mean curvature. I. J. Differential Geom. 33 (1991), no. 3, 635–681.
Spruck, Joel; Yang, Yi Song. Topological solutions in the self-dual Chern-Simons theory: existence and approximation. Ann. Inst. H. Poincaré Anal. Non Linéaire 12 (1995), no. 1, 75–97.
^Michael, J.H.; Simon, L.M. Sobolev and mean-value inequalities on generalized submanifolds of Rn. Comm. Pure Appl. Math. 26 (1973), 361–379.
^Huisken, Gerhard. Contracting convex hypersurfaces in Riemannian manifolds by their mean curvature. Invent. Math. 84 (1986), no. 3, 463–480.
^Schoen, Richard; Yau, Shing Tung. Proof of the positive mass theorem. II. Comm. Math. Phys. 79 (1981), no. 2, 231–260.
^Osher, Stanley; Sethian, James A. Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations. J. Comput. Phys. 79 (1988), no. 1, 12–49.
^Chen, Yun Gang; Giga, Yoshikazu; Goto, Shun'ichi. Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations. J. Differential Geom. 33 (1991), no. 3, 749–786.
^Huisken, Gerhard; Ilmanen, Tom. The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differential Geom. 59 (2001), no. 3, 353–437.
^A more general version of the Riemannian Penrose inequality was found at the same time by Hubert Bray, who did not make use of level-set methods.
^Spruck, Joel. Fully nonlinear elliptic equations and applications to geometry. In: Srishti D. Chatterji (ed.): Proceedings of the International Congress of Mathematicians. August 3–11, 1994, Zürich, Switzerland. vol. 2. Basel, Birkhäuser 1995, ISBN3-7643-5153-5, pp. 1145–1152.