# The equality of mixed partial derivatives under weak differentiability conditions

```@article{Minguzzi2013TheEO,
title={The equality of mixed partial derivatives under weak differentiability conditions},
author={E. Minguzzi},
journal={arXiv: History and Overview},
year={2013}
}```
• E. Minguzzi
• Published 2013
• Mathematics
• arXiv: History and Overview
We review and develop two little known results on the equality of mixed partial derivatives which can be considered the best results so far available in their respective domains. The former, due to Mikusi\'nski and his school, deals with equality at a given point, while the latter, due to Tolstov, concerns equality almost everywhere. Applications to differential geometry and General Relativity are commented.
On the mixed derivatives of a separately twice differentiable function
We prove that a function \$f(x,y)\$ of real variables defined on a rectangle, having square integrable partial derivatives \$f"_{xx}\$ and \$f"_{yy}\$, has almost everywhere mixed derivatives \$f"_{xy}\$ andExpand
Convex neighborhoods for Lipschitz connections and sprays
We establish that over a \$\$C^{2,1}\$\$C2,1 manifold the exponential map of any Lipschitz connection or spray determines a local Lipeomorphism and that, furthermore, reversible convex normalExpand
Characterizations of Integral Input-to-State Stability for Systems With Multiple Invariant Sets
• Computer Science
• IEEE Transactions on Automatic Control
• 2017
We extend the classical integral Input-to-State Stability (iISS) theory to systems evolving on complete Riemannian manifolds and admitting multiple disjoint invariant sets, so as to allow a muchExpand
Nonholonomic and constrained variational mechanics
• Andrew D. Lewis
• Mathematics
• 2020
Equations governing mechanical systems with nonholonomic constraints can be developed in two ways: (1) using the physical principles of Newtonian mechanics; (2) using a constrained variationalExpand
Characterizations of Input-to-State Stability for Systems With Multiple Invariant Sets
• Mathematics, Computer Science
• IEEE Transactions on Automatic Control
• 2015
We generalize the theory of Input-to-State Stability (ISS) and of its characterizations by means of Lyapunov dissipation inequalities to the study of systems admitting invariant sets, which are notExpand
Fourier Transform Inversion Using an Elementary Differential Equation and a Contour Integral
• E. Talvila
• Mathematics, Computer Science
• Am. Math. Mon.
• 2019
The Fourier transform inversion theorem is proved under the assumption that f is absolutely continuous such that f and are Lebesgue integrable and with only minor changes the method is used to prove the inversion thesis and to prove Riemann’s localization theorem. Expand
New class of exact solutions to Einstein-Maxwell-dilaton theory on four-dimensional Bianchi type IX geometry
• Physics
• 2020
We construct new classes of cosmological solution to the five dimensional Einstein-Maxwelldilaton theory, that are non-stationary and almost conformally regular everywhere. The base geometry for theExpand
Actions of symplectic homeomorphisms/diffeomorphisms on foliations by curves in dimension 2.
• Mathematics
• 2020
The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that \$\bullet\$ theExpand
Formal computations and methods
• Computer Science
• 2012
This work is an integral part of the Flyspeck project (a formal proof of the Kepler conjecture) and it is shown how developed formal procedures solve formal computational problems in this project. Expand
Chain Rules for Hessian and Higher Derivatives Made Easy by Tensor Calculus
This paper discusses how to relatively simply carry multivariate derivatives of matrix-like expressions in the compact, coordinate free fashion based on the (simplified as adapted in applied computer science) concept of tensors using modern Python libraries. Expand

#### References

SHOWING 1-10 OF 29 REFERENCES
Frobenius-type theorems for Lipschitz distributions☆
We generalize the classical Frobenius Theorem to distributions that are spanned by locally Lipschitz vector fields. The various versions of the involutivity conditions are extended by means ofExpand
Mixed Partial Derivatives and Fubini's Theorem
• Mathematics
• 2002
(2002). Mixed Partial Derivatives and Fubini's Theorem. The College Mathematics Journal: Vol. 33, No. 2, pp. 126-130.
SECOND-ORDER CONVEX ANALYSIS
The classical theorem of Alexandrov asserts that a finite convex function has a second-order Taylor expansion almost everywhere, even though its first partial derivatives may only exist almostExpand
Proof of the fundamental theorems on second-order cross partial derivatives
(1 . 1) fxxy fxyy fyxy fUy exist almost everywhere. Then fxy = fyx almost everywhere on A. At the conclusion of this paper we state a number of interesting problems which are closely connected withExpand
A note on inverse function theorems
In this note we use the Newton-Raphson approach to inverse function theorems. We draw natural conclusions when only a left or a right inverse to the differential at a point is available. By using aExpand
Convex neighborhoods for Lipschitz connections and sprays
We establish that over a \$\$C^{2,1}\$\$C2,1 manifold the exponential map of any Lipschitz connection or spray determines a local Lipeomorphism and that, furthermore, reversible convex normalExpand
Lipschitz distributions and Anosov flows
We show that if a distribution is locally spanned by Lipschitz vector fields and is involutive a.e., then it is uniquely integrable giving rise to a Lipschitz foliation with leaves of class C1,Lip.Expand
The Bochner Integral
By brick functions we will understand, exactly as in Chapter I, characteristic functions of bricks. By a vector valued step function f we mean a function which can be represented in the form \$\$f =Expand
Methods of the theory of generalized functions
Generalized Functions and Their Properties. Test and Generalized Functions. Differentiation of Generalized Functions. Direct Product of Generalized Functions. The Convolution of GeneralizedExpand
Real and complex analysis
Preface Prologue: The Exponential Function Chapter 1: Abstract Integration Set-theoretic notations and terminology The concept of measurability Simple functions Elementary properties of measuresExpand