# 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} }

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.

#### 10 Citations

On the mixed derivatives of a separately twice differentiable function

- Mathematics
- 2015

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}$ and… Expand

Convex neighborhoods for Lipschitz connections and sprays

- Mathematics, Physics
- 2013

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 normal… Expand

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 much… Expand

Nonholonomic and constrained variational mechanics

- 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 variational… Expand

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 not… Expand

Fourier Transform Inversion Using an Elementary Differential Equation and a Contour Integral

- 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 the… Expand

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$ the… Expand

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

- Computer Science, Mathematics
- ArXiv
- 2019

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☆

- Mathematics
- 2007

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 of… Expand

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

- Mathematics
- 1999

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 almost… Expand

Proof of the fundamental theorems on second-order cross partial derivatives

- Mathematics
- 1933

(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 with… Expand

A note on inverse function theorems

- Mathematics
- 1961

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 a… Expand

Convex neighborhoods for Lipschitz connections and sprays

- Mathematics, Physics
- 2013

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 normal… Expand

Lipschitz distributions and Anosov flows

- Mathematics
- 1996

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

- Mathematics
- 1978

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

- Mathematics
- 1966

Generalized Functions and Their Properties. Test and Generalized Functions. Differentiation of Generalized Functions. Direct Product of Generalized Functions. The Convolution of Generalized… Expand

Real and complex analysis

- Mathematics
- 1966

Preface Prologue: The Exponential Function Chapter 1: Abstract Integration Set-theoretic notations and terminology The concept of measurability Simple functions Elementary properties of measures… Expand