Research ArticleNo Access

The Differentiation Lemma and the Reynolds Transport Theorem for submanifolds with corners

Department of Physics and Astronomy, Department of Chemistry and Biochemistry, Texas Tech University, Box 41061, Lubbock, Texas 79409-1061, USA

E-mail Address: maik.reddiger@ttu.edu

Corresponding author.

Search for more papers by this author

and

Bill Poirier

Department of Chemistry and Biochemistry, Department of Physics and Astronomy, Texas Tech University, Box 41061, Lubbock, Texas 79409-1061, USA

E-mail Address: bill.poirier@ttu.edu

Search for more papers by this author

https://doi.org/10.1142/S0219887823501372Cited by:4 (Source: Crossref)

Abstract

The Reynolds Transport Theorem, colloquially known as “differentiation under the integral sign”, is a central tool of applied mathematics, finding application in a variety of disciplines such as fluid dynamics, quantum mechanics, and statistical physics. In this work, we state and prove generalizations thereof to submanifolds with corners evolving in a manifold via the flow of a smooth time-independent or time-dependent vector field. Thereby we close a practically important gap in the mathematical literature, as related works require various “boundedness conditions” on domain or integrand that are cumbersome to satisfy in common modeling situations. By considering manifolds with corners, a generalization of manifolds and manifolds with boundary, this work constitutes a step towards a unified treatment of classical integral theorems for the “unbounded case” for which the boundary of the evolving set can exhibit some irregularity.

Keywords:

AMSC: 53Z05, 58C35, 58Z05, 81Q70

References

1. A. Klenke, Probability Theory: A Comprehensive Course (Springer, Berlin, 2013), https://doi.org/10.1007/978-1-84800-048-3. Google Scholar
2. D. J. Acheson, Elementary Fluid Dynamics (Clarendon Press, Oxford, 1990). Crossref, Google Scholar
3. M. E. Gurtin, An Introduction to Continuum Mechanics, Mathematics in Science and Engineering, Vol. 158 (Academic Press, New York, 1981). Google Scholar
4. C. A. Truesdell, III, A First Course in Rational Continuum Mechanics. Vol. 1: General Concepts, Pure and Applied Mathematics, Vol. 71, 2nd edn. (Academic Press, San Diego, 1991). Google Scholar
5. P. Ehrenfest, Bemerkung über die angenäherte Gültigkeit der klassischen Mechanik innerhalb der Quantenmechanik, Z. Phys. 45(7) (1927) 455–457, https://doi.org/10.1007/BF01329203. Crossref, Google Scholar
6. M. Reddiger, The Madelung picture as a foundation of geometric quantum theory, Found. Phys. 47(10) (2017) 1317–1367, https://doi.org/10.1007/s10701-017-0112-5. Crossref, Web of Science, Google Scholar
7. A. B. Nassar and S. Miret-Artés, Bohmian Mechanics, Open Quantum Systems and Continuous Measurements (Springer, Cham, 2017). Crossref, Google Scholar
8. S. Hassani, Mathematical Physics: A Modern Introduction to Its Foundations, 2nd edn. (Springer, Cham, 2013). Crossref, Google Scholar
9. S. Hawking and G. Ellis, The Large Scale Structure of Space-Time, Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, 1973). Crossref, Google Scholar
10. F. Schwabl, Statistical Mechanics, 2nd edn. (Springer, Berlin, 2006). Crossref, Google Scholar
11. J. D. Jackson, Classical Electrodynamics, 3rd edn. (Wiley, Hoboken, 1999). Google Scholar
12. C. C. Lin and L. A. Segel, Mathematics Applied to Deterministic Problems in the Natural Sciences, Classics in Applied Mathematics, Vol. 1 (SIAM, Philadelphia, 1988). Crossref, Google Scholar
13. C. Truesdell and R. A. Toupin, The classical field theories, in Principles of Classical Mechanics and Field Theory/Prinzipien der Klassischen Mechanik und Feldtheorie, Encyclopedia of Physics/Handbuch der Physik, ed. S. Flügge, Vol. III/1 (Springer, Berlin, 1960), pp. 226–858. Crossref, Google Scholar
14. G. Jaumann, Die Grundlagen der Bewegungslehre von einem modernen Standpunkte aus dargestellt (J. A. Barth, Leipzig, 1905). Google Scholar
15. J. Spielrein, Lehrbuch der Vektorrechnung nach den Bedürfnissen in der Technischen Mechanik und Elektrizitätslehre (Verlag von K. Wittwer, Stuttgart, 1916). Google Scholar
16. O. Reynolds, The sub-mechanics of the universe, in Papers on Mechanical and Physical Subjects, Vol. III (Cambridge University Press, Cambridge, 1903). Google Scholar
17. J. M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics, Vol. 218, 2nd edn. (Springer, New York, 2003). Crossref, Google Scholar
18. G. Rudolph and M. Schmidt, Differential Geometry and Mathematical Physics: Manifolds, Lie Groups and Hamiltonian Systems, Theoretical and Mathematical Physics, Vol. I (Springer, Dordrecht, 2013), https://doi.org/10.1007/978-94-007-5345-7. Crossref, Google Scholar
19. B. Poirier, Trajectory–Based Theory of Relativistic Quantum Particles, arXiv:1208.6260 [quant-ph]. Google Scholar
20. J. Schiff and B. Poirier, Communication: Quantum mechanics without wavefunctions, J. Chem. Phys. 136(3) (2012) 031102, https://doi.org/10.1063/1.3680558. Crossref, Web of Science, Google Scholar
21. H.-M. Tsai and B. Poirier, Exploring the propagation of relativistic quantum wavepackets in the trajectory-based formulation, J. Phys. Conf. Ser. 701 (2016) 012013, https://doi.org/10.1088/1742-6596/701/1/012013. Crossref, Google Scholar
22. M. Lienert and R. Tumulka, Born’s rule for arbitrary Cauchy surfaces, Lett. Math. Phys. 110(4) (2019) 753–804, https://doi.org/10.1007/s11005-019-01239-y. Crossref, Web of Science, Google Scholar
23. T. Miller, M. Eckstein, P. Horodecki and R. Horodecki, Generally covariant $N$ -particle dynamics, J. Geom. Phys. 160 (2021) 103990, https://doi.org/10.1016/j.geomphys.2020.103990. Crossref, Web of Science, Google Scholar
24. H. Flanders, Differentiation under the integral sign, Am. Math. Mon. 80(6) (1973) 615–627, https://doi.org/10.2307/2319163. Crossref, Web of Science, Google Scholar
25. E. W. Weisstein, Leibniz integral rule (2003), http://mathworld.wolfram.com/LeibnizIntegralRule.html. Google Scholar
26. W. Kaplan, Advanced Calculus, 1st edn. (Addison-Wesley, Reading, 1952). Google Scholar
27. L. H. Loomis and S. Sternberg, Advanced Calculus (Addison-Wesley, Reading, 1968). Google Scholar
28. H. Flanders, Correction to “Differentiation under the Integral Sign”, Am. Math. Mon. 81(2) (1974) 145. Google Scholar
29. D. E. Betounes, The kinematical aspect of the fundamental theorem of calculus, Am. J. Phys. 51(6) (1983) 554–560, https://doi.org/10.1119/1.13202. Crossref, Web of Science, Google Scholar
30. D. E. Betounes, Kinematics of submanifolds and the mean curvature normal, Arch. Ration. Mech. Anal. 96(1) (1986) 1–27, https://doi.org/10.1007/BF00251411. Crossref, Web of Science, Google Scholar
31. K. Duggal and B. Sahin, Differential Geometry of Lightlike Submanifolds, Frontiers in Mathematics (Birkhäuser, Basel, 2010). Crossref, Google Scholar
32. J. Ehlers, General relativity and kinetic theory, in Proceedings of the International School of Physics “Enrico Fermi”, Course XLVII: General Relativity and Cosmology, ed. R. K. Sachs (Academic Press, New York, 1971). Google Scholar
33. J. Ehlers, Survey of general relativity theory, in Relativity, Astrophysics and Cosmology, Astrophysics and Space Science Library, ed. W. Israel (Springer, Dordrecht, 1973), pp. 1–125, https://doi.org/10.1007/978-94-010-2639-0_1. Crossref, Google Scholar
34. R. Niven, L. Cordier, E. Kaiser, M. Schlegel and B. R. Noack, New Conservation Laws Based on Generalised Reynolds Transport Theorems, in 22nd Australasian Fluid Mechanics Conf. AFMC2020, Brisbane, Australia, 2020, https://doi.org/10.14264/380a993. Crossref, Google Scholar
35. R. K. Niven, L. Cordier, E. Kaiser, M. Schlegel and B. R. Noack, Rethinking the Reynolds transport theorem, Liouville equation, and Perron–Frobenius and Koopman operators, arXiv:1810.06022 [physics]. Google Scholar
36. R. H. Abraham, T. Ratiu and J. E. Marsden, Manifolds, Tensor Analysis, and Applications (Springer, New York, 1988). Crossref, Google Scholar
37. T. Frankel, The Geometry of Physics: An Introduction, 1st edn. (Cambridge University Press, Cambridge, 1997). Google Scholar
38. H. Amann and J. Escher, Analysis III (Birkhäuser, Basel, 2009). Crossref, Google Scholar
39. L. Schwartz, Théorie Des Distributions (Hermann, Paris, 1950). Google Scholar
40. R. Estrada and R. P. Kanwal, Non-classical derivation of the transport theorems for wave fronts, J. Math. Anal. Appl. 159(1) (1991) 290–297, https://doi.org/10.1016/0022-247X(91)90236-S. Crossref, Web of Science, Google Scholar
41. J. Harrison, Operator calculus of differential chains and differential forms, J. Geom. Anal. 25(1) (2015) 357–420, https://doi.org/10.1007/s12220-013-9433-6. Crossref, Web of Science, Google Scholar
42. B. Seguin and E. Fried, Roughening it — evolving irregular domains and transport theorems, Math. Models Methods Appl. Sci. 24(9) (2014) 1729–1779, https://doi.org/10.1142/S0218202514500067. Link, Web of Science, Google Scholar
43. M. E. Gurtin, A. Struthers and W. O. Williams, A transport theorem for moving interfaces, Quart. Appl. Math. 47(4) (1989) 773–777, https://doi.org/10.1090/qam/1031691. Crossref, Web of Science, Google Scholar
44. L. Ambrosio, N. Fusco and D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems, Oxford Mathematical Monographs (Clarendon Press, Oxford, 2000). Crossref, Google Scholar
45. B. Seguin, D. F. Hinz and E. Fried, Extending the transport theorem to rough domains of integration, Appl. Mech. Rev. 66(5) (2014) 050802-1–050802-16, https://doi.org/10.1115/1.4026910. Crossref, Web of Science, Google Scholar
46. G. De Rham, Differentiable Manifolds (Springer, New York, 1984). Crossref, Google Scholar
47. L. Falach and R. Segev, Reynolds transport theorem for smooth deformations of currents on manifolds, Math. Mech. Solids 20(6) (2015) 770–786, https://doi.org/10.1177/1081286514551503. Crossref, Web of Science, Google Scholar
48. J. Harrison, Stokes’ Theorem for nonsmooth chains, Bull. Amer. Math. Soc. 29(2) (1993) 235–242, https://doi.org/10.1090/S0273-0979-1993-00429-4. Crossref, Web of Science, Google Scholar
49. J. Harrison, Geometric representations of currents and distributions, Fractal Geometry and Stochastics III, Progress in Probability, eds. C. Bandt, U. Mosco and M. Zähle (Birkhäuser, Basel, 2004), pp. 193–204, https://doi.org/10.1007/978-3-0348-7891-3_12. Crossref, Google Scholar
50. H. Pugh, Applications of differential chains to complex analysis and dynamics, Thesis, Harvard (2009). Google Scholar
51. P. W. Michor, Manifolds of mappings for continuum mechanics, in Geometric Foundations of Continuum Mechanics, Advances in Mechanics and Mathematics, eds. R. Segev and M. Epstein, Vol. 42 (Birkhäuser, Cham, 2020), pp. 3–75. Crossref, Google Scholar
52. B. Seguin, A transport theorem for nonconvecting open sets on an embedded manifold, Continuum Mech. Thermodyn. 32(1) (2020) 1–8, https://doi.org/10.1007/s00161-019-00777-z. Crossref, Web of Science, Google Scholar
53. R. B. Melrose, Differential analysis on manifolds with corners, Unpublished Notes (1996), https://math.mit.edu/r̃bm/book.html. Google Scholar
54. D. Joyce, On manifolds with corners, arXiv:0910.3518 [math]. Google Scholar
55. D. Joyce, A new definition of Kuranishi space, arXiv:1409.6908 [math]. Google Scholar
56. P. W. Michor, Manifolds of Differentiable Mappings (Shiva Publishing, Kent, 1980). Google Scholar
57. A. Borel and J.-P. Serre, Corners and arithmetic groups, Comment. Math. Helv. 48(1) (1973) 436–491, https://doi.org/10.1007/BF02566134. Crossref, Web of Science, Google Scholar
58. M. Manetti, Topology (UNITEXT), Vol. 91 (Springer, Cham, 2015). Crossref, Google Scholar
59. Y. Choquet-Bruhat, C. DeWitt-Morette and M. Dillard-Bleick, Analysis, Manifolds, and Physics (North-Holland, 1977). Google Scholar
60. M. Spivak, A Comprehensive Introduction to Differential Geometry, 2nd edn., Vol. IV (Publish or Perish, Wilmington, 1979). Google Scholar
61. V. I. Arnold, Mathematical Methods of Classical Mechanics, 2nd edn. (Springer, New York, 1989). Crossref, Google Scholar
62. P. Libermann and C.-M. Marle, Symplectic Geometry and Analytical Mechanics, Mathematics and Its Applications (D. Reidel Publishing, Dordrecht, 1987). Google Scholar
63. E. Cartan, Leçons sur les invariants intégraux (A. Hermann, Paris, 1922). Google Scholar
64. H. Poincaré, Les méthodes nouvelles de la mécanique céleste (Gauthier-Villars et fils, Paris, 1892). Google Scholar
65. J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Applied Mathematical Sciences, Vol. 42 (Springer, New York, 1983). Crossref, Google Scholar
66. E. N. Lorenz, Deterministic nonperiodic flow, J. Atmos. Sci. 20(2) (1963) 130–141, https://doi.org/10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2. Crossref, Web of Science, Google Scholar
67. H. Bondi, Plane gravitational waves in general relativity, Nature 179(4569) (1957) 1072–1073, https://doi.org/10.1038/1791072a0. Crossref, Web of Science, Google Scholar
68. H. Bondi, F. A. E. Pirani and I. Robinson, Gravitational waves in general relativity. III: Exact plane waves, Proc. R. Soc. London, Ser. A 251(1267) (1959) 519–533. Crossref, Web of Science, Google Scholar
69. M. Reddiger, An observer’s view on relativity: Space-time splitting and Newtonian limit, arXiv:1802.04861 [math-ph]. Google Scholar
70. B. O’Neill, Semi-Riemannian Geometry: With Applications to Relativity (Academic Press, San Diego, 1983). Google Scholar
71. M. Reddiger and B. Poirier, The one-body Born rule on curved spacetime, arXiv:2012.05212 [math-ph]. Google Scholar