Abstract
We propose some crystalline materials showing a strong correspondence with a construction by Ball and Murat for elastostatic problems. Such a construction, translated into a space-time setting, is producing a plenty of turbulence self similar solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction: the spatial setting
In a series of remarkable works [2, 3] Ball and Murat, starting from previous ideas of Meyers [5], introduce solutions of a self-similar type, unorthodox in one sense, which show how from a given variational solution of a static problem in elasticity, one can generate a plenty of new solutions, more precisely, attributing the same numerical value to the energy functional of the given initial solution. The key tool turns out to be Vitali’s covering theorem. A substantially exhaustive discussion (arising around delicate quasi-convexity questions) on the correct regularity to choose for this type of problems, involving \(W^{1,p}\) spaces, has been elaborated in [1,2,3].
Below we propose a version of that order of ideas for static problems, together with a statement of Vitali’s theorem. In the next Section, we introduce a space time version of this setting, obtaining a plenty of turbulence self similarity solutions in a full conservative environment.
Consider an elastic body \({{\mathcal {B}}}\), which we identify with the reference configuration \(\Omega \subset {\mathbb {R}}^3\), homogeneous with mass density \(\mu \equiv 1\) in \(\Omega \) and stored energy density
Let
be a minimizing of the functional
with some natural boundary conditions.
Ball and Murat [2, 3] highlight the following (see also [7]).
Vitali Covering Theorem in the spatial domain \(\Omega \subset {\mathbb {R}}^3\). Given any \(\varepsilon \in (0,1)\), there exists a finite or countable family of real numbers \(0< \varepsilon _i\le \varepsilon \), \(i\in I\subseteq {\mathbb {N}}\), and vectors \(a_i \in {\mathbb {R}}^3\), such that
- (i):
-
\(a_i + \varepsilon _i \Omega \) are disjoint subsets of \(\Omega \),
and
- (ii):
-
\(meas\left( \bigcup _{i\in I} \big [a_i + \varepsilon _i \Omega \big ]\setminus \overline{\Omega }\right) =0.\)
Hence, they show that if x(X) is a minimum for J then
is also a minimum for J: \(J(x)=J({\bar{x}})\); we do not verify the above statement since this may be easily done inside the next space-time setting. Again, in this order of ideas, for us it is sufficient to take into account the above \({\bar{x}}\) in (5), which is a slight simplified version of the proposed in [2, 3].
It is surprising to realize that these amazing new self-similarity solutions so generated have a remarkable physical crystallographic relevance. The pictures in Fig. 1 showFootnote 1 very clearly natural realizations (crystals of carbonate and fluorite) of such predicted mathematical behaviors.
2 The space-time setting
Once again we consider an elastic body \({{\mathcal {B}}}\) identified with the reference configuration \(\Omega \subset {\mathbb {R}}^3\), e.g. a non-viscous homogeneous fluid (mass reference density \( \mu \equiv 1\)) and stored energy density as in (1).
Let
be a T-periodic motion of \(\Omega \) into itself, minimizing the functional
in some appropriate (see [1,2,3]) functional space, with velocities tangent to the boundary \(\partial \Omega \) :
Inspired by the above framework of Ball and Murat, we extend into the space-time their self-similarity construction, and rephrase the Vitali covering theorem—see [7]—for the space-time cylinder \([0,T] \times \Omega \) of \( {\mathbb {R}}^4\).
Vitali Covering Theorem in the space-time cylinder \([0,T] \times \Omega \subset {\mathbb {R}}^4\). Given any \(\varepsilon \in (0,1)\), there exists a finite or countable family of real numbers \(0< \varepsilon _i\le \varepsilon \), \(i\in I\subset {\mathbb {N}}\), and vectors \((\tau _i,a_i) \in {\mathbb {R}}\times {\mathbb {R}}^3\), such that
- (a):
-
\((\tau _i, a_i) + \varepsilon _i ( [0,T] \times \Omega )\) are disjoint subsets of \([0,T] \times \Omega \),
and
- (b):
-
\(meas\left( \bigcup _{i\in I} \big [(\tau _i,a_i ) + \varepsilon _i ([0,T] \times \Omega )\big ]\setminus \overline{( [0,T] \times \Omega )}\right) =0.\)
By reparametrizing any cylinder \((\tau _i, a_i) + \varepsilon _i ( [0,T] \times \Omega )\) into \([0,T]\times \Omega \),
we see that
and necessarily the sequence \(\{\varepsilon _i\}\) satisfies
Starting from a motion (6), x(t, X), we define a new candidate (non smooth) motion \({\bar{x}}(t,X)\):
It follows that, \(\text {for}\ t\in \tau _i + \varepsilon _i [0,T] \ \text {and }\ X\in a_i + \varepsilon _i \Omega \),
In the interior of any space-time i-cylinder, we see that \({\bar{x}}(t,X)\) satisfies the expected Euler-Lagrange system if x(t, X) does:
Next to that, we check that \(J({\bar{x}})=J( x)\).
Indeed, if in some suitable functional space x(t, X) realizes a minimum for J, then \({\bar{x}}(t,X)\) does too:
because (10) does hold. \(\square \)
This expected ‘phenomenology’ seems to evoke something like the cascade theoryFootnote 2 of Richardson [6] subsequently taken up by Kolmogorov (see K41 in [4]), although definitely different, since our environment is not dissipative (Fig. 2).
Notes
I thank Gilberto Artioli of the Department of Geosciences of Padova for his kind assistance.
So, nat’ralists observe, a flea hath smaller fleas that on him prey; and these have smaller yet to bite them, and so proceed ad infinitum. From ‘On Poetry: A Rapsody’, Jonathan Swift, 1733. Quoted by Uriel Frisch in [4, p. 106].
References
Acerbi, E., Fusco, N.: Semicontinuity problems in the calculus of variations. Arch. Ration. Mech. Anal. 86, 125–145 (1984)
Ball, J.B.: Minimizing sequences in thermomechanics. In: Acts of the Meeting at Accademia Nazionale Dei Lincei on: “Finite Thermoelasticity” (Rome, 30th May–1st June 1985), pp. 43–54, (1986)
Ball, J.B., Murat, F.: \(W^{1, p}\)-quasiconvexity and variational problems for multiple integrals. J. Funct. Anal. 58(3), 225–253 (1984)
Frisch, U.: Turbulence: The Legacy of A. N. Kolmogorov, p. xiv+296. Cambridge University Press (1995)
Meyers, N.G.: Quasi-convexity and lower semi-continuity of multiple variational integrals of any order. Trans. Am. Math. Soc. 119, 125–149 (1965)
Richardson, L.F.: Atmospheric diffusion shown on a distance-neighbour graph. Proc. R. Soc. Lond. A 110, 709–737 (1926) (also in Collected Papers of L. F. Richardson, vol. 1, ed. P. G. Drazin, pp. 523-551, Cambridge University Press 1993)
Saks, S.: Theory of the Integral, p. xv+343 pp. Dover Publications Inc, New York (1964)
Valerio, C.: Storia Umana Della Matematica. Einaudi, Torino (2016)
Funding
Open access funding provided by Università degli Studi di Padova within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper is dedicated to the memory of the Professor Salvatore Rionero.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
We got to know and appreciate Salvatore from various scientific and human points of view. Finally I have been sincerely amazed and a little moved to find Salvatore mentioned in a recent delightful little book, “Storia umana della matematica” [8], where the author recalls nice anecdotal words by Salvatore on the history of mechanics.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cardin, F. Vitali covering theorem: from crystals to turbulence. Ricerche mat 73 (Suppl 1), 85–90 (2024). https://doi.org/10.1007/s11587-023-00774-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11587-023-00774-0