Abstract
We address the questions (P1), (P2) asked in Kirchheim et al. (Studying nonlinear PDE by geometry in matrix space. Geometric analysis and nonlinear partial differential equations, Springer, Berlin, 1986) concerning the structure of the Rank-1 convex hull of a submanifold \(\mathcal {K}_1\subset M^{3\times 2}\) that is related to weak solutions of the two by two system of Lagrangian equations of elasticity studied by DiPerna (Trans Am Math Soc 292(2):383–420, 1985) with one entropy augmented. This system serves as a model problem for higher order systems for which there are only finitely many entropies. The Rank-1 convex hull is of interest in the study of solutions via convex integration: the Rank-1 convex hull needs to be sufficiently non-trivial for convex integration to be possible. Such non-triviality is typically shown by embedding a \(\mathbb {T}_4\) (Tartar square) into the set; see for example Müller et al. (Attainment results for the two-well problem by convex integration. Geometric analysis and the calculus of variations, Int. Press, Cambridge, 1996) and Müller and Šverák (Ann Math (2) 157(3):715–742, 2003). We show that in the strictly hyperbolic, genuinely nonlinear case considered by DiPerna (1985), no \(\mathbb {T}_4\) configuration can be embedded into \(\mathcal {K}_1\).
Similar content being viewed by others
Notes
Contrast this with the well known result of Evans [14] that minimizers do have partial regularity.
This goal and this approach has been introduced to us by Šverák [39].
Note that a differential inclusion into set \(\mathcal {K}_1\) gives a solution to (3) with the inequality replaced by an equality.
For the general case in \(M^{m\times n}\) the construction is the same, simply slightly harder to visualize.
Here we are stating a more restrictive version of their theorem to avoid some technicalities.
It is likely that the sharp results of [17] could also be used to generate explicit examples in \(M^{2\times 2}\).
The two by two system (2) has infinitely many entropies, and it is known from [13] that the method of compensated compactness works even for the system adjoined by two appropriate entropies. It seems to the authors of this paper that for two by two systems augmented by infinitely many entropies there is little hope to counterexamples of uniqueness and regularity by differential inclusions and convex integration.
On a somewhat related well known result, it is known that the differential inclusion into any finite set of four matrices without Rank-1 connections has no convex integration solutions [6], however there exists a set of five matrices without Rank-1 connections that admits convex integration solutions of the corresponding differential inclusion; see [23, Chapter 4, Section 3].
References
Bianchini, S., Bressan, A.: Vanishing viscosity solutions of nonlinear hyperbolic systems. Ann. Math. (2) 161(1), 223–342 (2005)
Bressan, A., Crasta, G., Piccoli, B.: Well-posedness of the Cauchy problem for \(n\times n\) systems of conservation laws. Mem. Am. Math. Soc. 146(694) (2000)
Buckmaster, T., De Lellis, C., Isett, P., Székelyhidi Jr., L.: Anomalous dissipation for \(1/5\)-Hölder Euler flows. Ann. Math. (2) 182(1), 127–172 (2015)
Buckmaster, T., De Lellis, C., Székelyhidi Jr., L., Vicol, V.: Onsager’s conjecture for admissible weak solutions. Commun. Pure Appl. Math. 72(2), 229–274 (2019)
Buckmaster, T., Vicol, V.: Nonuniqueness of weak solutions to the Navier–Stokes equation. Ann. Math. (2) 189(1), 101–144 (2019)
Chlebik, M., Kirchheim, B.: Rigidity for the four gradient problem. J. Reine Angew. Math. 551, 1–9 (2002)
De Lellis, C., De Philippis, G., Kirchheim, B., Tione, R.: Geometric measure theory and differential inclusions. Preprint. arxiv: 1910.00335
De Lellis, C., Székelyhidi, L.: The Euler equations as a differential inclusion. Ann. Math. (2) 170(3), 1417–1436 (2009)
De Lellis, C., Székelyhidi, L.: The h-principle and the equations of fluid dynamics. Bull. Am. Math. Soc. (N.S.) 49(3), 347–375 (2012)
De Lellis, C., Székelyhidi, L.: Dissipative continuous Euler flows. Invent. Math. 193(2), 377–407 (2013)
De Lellis, C., Székelyhidi, L.: On turbulence and geometry: from Nash to Onsager (To appear in the Notices of the AMS)
DiPerna, R.J.: Convergence of approximate solutions to conservation laws. Arch. Ration. Mech. Anal. 82(1), 27–70 (1983)
DiPerna, R.J.: Compensated compactness and general systems of conservation laws. Trans. Am. Math. Soc. 292(2), 383–420 (1985)
Evans, L.C.: Quasiconvexity and partial regularity in the calculus of variations. Arch. Ration. Mech. Anal. 95(3), 227–252 (1986)
Evans, L.C.: Weak convergence methods in partial differential equations. In: CBMS Regional Conference Series in Mathematics, 74. Published for the Conference Board of the Mathematical Sciences, Washington, DC. American Mathematical Society, Providence, RI (1990)
Evans, L.C.: Partial Differential Equations. Graduate Studies in Mathematics, 2nd edn, p. 19. American Mathematical Society, Providence (2010)
Faraco, D., Székelyhidi, L.: Tartar’s conjecture and localization of the quasiconvex hull in \({\mathbb{R}}^{2\times 2}\). Acta Math. 200(2), 279–305 (2008)
Förster, C., Székelyhidi, L.: \(T_5\)-configurations and non-rigid sets of matrices. Calc. Var. Partial Differe. Equ. 57(1), Art. 19 (2018)
Gromov, M.: Partial Differential Relations. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], p. 9. Springer, Berlin (1986)
Isett, P.: Hölder continuous Euler flows with compact support in time. Thesis (Ph.D.). Princeton University (2013)
Isett, P.: Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time. Annals of Mathematics Studies, 196. Princeton University Press, Princeton (2017)
Isett, P.: A proof of Onsager’s conjecture. Ann. Math. (2) 188(3), 871–963 (2018)
Kirchheim, B.: Rigidity and Geometry of Microstructures. Habilitation Thesis, University of Leipzig (2003). MIS.MPG preprint 16/2003
Kirchheim, B., Müller, S., Šverák, V.: Studying Nonlinear PDE by Geometry in Matrix Space. Geometric Analysis and Nonlinear Partial Differential Equations, pp. 347–395. Springer, Berlin (2003)
Kuiper, N. H.: On \(C^1\)-Isometric Imbeddings. I, II. Nederl. Akad. Wetensch. In: Proceedings of the Ser. A. 58 = Indag. Math., vol. 17, pp. 545–556, 683–689 (1955)
Lorent, A., Peng, G.: Null Lagrangian measures in subspaces, compensated compactness and conservation laws. Arch. Ration. Mech. Anal. 234(2), 857–910 (2019)
Müller, S.: Variational models for microstructure and phase transitions. Calculus of variations and geometric evolution problems (Cetraro, 1996), 85–210, Lecture Notes in Math., 1713, Fond. CIME/CIME Found. Subser. Springer, Berlin (1999)
Müller, S., Rieger, M.O., Šverák, V.: Parabolic systems with nowhere smooth solutions. Arch. Ration. Mech. Anal. 177(1), 1–20 (2005)
Müller, S., Šverák, V.: Attainment Results for the Two-well Problem by Convex Integration. Geometric Analysis and the Calculus of Variations, pp. 239–251. Int. Press, Cambridge (1996)
Müller, S., Šverák, V.: Convex integration with constraints and applications to phase transitions and partial differential equations. J. Eur. Math. Soc. (JEMS) 1(4), 393–422 (1999)
Müller, S., Šverák, V.: Convex integration for Lipschitz mappings and counterexamples to regularity. Ann. Math. (2) 157(3), 715–742 (2003)
Murat, F.: Compacite par compensation. Ann. Sc. Norm. Sup. Pisa Sci. Fis. Mat. 5, 489–507 (1978)
Nash, J.: \(C^1\) isometric imbeddings. Ann. Math. (2) 60, 383–396 (1954)
Oleinik, O. A.: Discontinuous Solutions of Nonlinear Differential Equations. Usp. Mat. Nauk. 12 (1957), pp. 3–73; English transl. AMS Transl. 26, 1155–1163 (1963)
Scheffer, V.: Regularity and Irregularity of Solutions to Nonlinear Second Order Elliptic Systems of Partial Differential Equations and Inequalities. Thesis (Ph.D.). Princeton University (1974)
Scheffer, V.: An inviscid flow with compact support in space-time. J. Geom. Anal. 3(4), 343–401 (1993)
Shnirelman, A.: On the nonuniqueness of weak solution of the Euler equation. Commun. Pure Appl. Math. 50(12), 1261–1286 (1997)
Šverák, V.: New examples of quasiconvex functions. Arch. Ration. Mech. Anal. 119(4), 293–300 (1992)
Šverák, V.: Personal Communication. Sabbatical visit, Minneapolis (2016)
Šverák, V.: Personal Communication. Research visit, Minneapolis (2018)
Székelyhidi Jr., L.: The regularity of critical points of polyconvex functionals. Arch. Ration. Mech. Anal. 172(1), 133–152 (2004)
Székelyhidi Jr., L.: Rank-one convex hulls in \({\mathbb{R}}^{2\times 2}\). Calc. Var. Partial Differ. Equ. 22(3), 253–281 (2005)
Tartar, L.: Compensated compactness and applications to partial differential equations. In: Nonlinear Analysis and Mechanics: Heriot–Watt Symposium, Vol. IV, pp. 136–212, Res. Notes in Math., 39, Pitman, Boston (1979)
Tartar, L.: The compensated compactness method applied to systems of conservation laws. Systems of nonlinear partial differential equations (Oxford, 1982), 263–285, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol 111. Reidel, Dordrecht (1983)
Tartar, L.: Some Remarks on Separately Convex Functions. Microstructure and Phase Transition, pp. 191–204, IMA Vol. Math. Appl., 54. Springer, New York (1993)
Acknowledgements
The first author would like to thank V. Šverák for many very helpful discussions during a visit to Minnesota in summer of 2018. The idea to study entropy solutions of systems of conservation laws via differential inclusions and convex integration is from him. Also a number of key ideas used in this paper (in particular Lemmas 10 and 16) are from Šverák [40]. The first author also gratefully acknowledges the support of the Simons foundation, collaboration Grant #426900. Both authors warmly thank the anonymous referee for very careful reading of the paper and for pointing out a number of improvements.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J.Ball.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lorent, A., Peng, G. On the Rank-1 convex hull of a set arising from a hyperbolic system of Lagrangian elasticity. Calc. Var. 59, 156 (2020). https://doi.org/10.1007/s00526-020-01805-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-020-01805-6