The fundamental theorem of geometric calculus via a generalized Riemann integral

Alan Macdonald

DOI: https://doi.org/10.48550/arXiv.math/9807024

1998-07-06

Differential Geometry

Abstract:Using recent advances in integration theory, we give a proof of the fundamental theorem of geometric calculus. We assume only that the tangential derivative $\nabla_VF$ exists and is Lebesgue integrable. We also give sufficient conditions that $\nabla_VF$ exists.

What problem does this paper attempt to address?

Towards a geometric theory of integration

Filip Bár

2024-03-09

Abstract:Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards a geometric theory of integration in the context of Synthetic Differential Geometry (SDG) by analysing the differential aspect of the integration process. Starting from two heuristic principles that combine the idea of differential forms as infinitesimal measures while formalising the process of taking infinitesimal differences at the same time we derive a general notion of differential form as an equivariant map from infinitesimal $n$-cuboids to the base ring coordinatising a line. Besides the familiar differential forms introduced by Cartan we discover two new types. We also discover a new differential operator besides the exterior derivative. Analogous to the relationship between the exterior derivative and the Stokes-Cartan integral theorem, this new operator is linked to the generalised Fundamental Theorem of Calculus in higher dimensions, as discussed in prior research. This shows that the Fundamental Theorem is an integral theorem like Stokes-Cartan, but for one of the new types of differential forms.

Differential Geometry
The Fundamental Theorem of Calculus in higher dimensions

Filip Bár

2024-02-22

Abstract:We generalise the Fundamental Theorem of Calculus to higher dimensions. Our generalisation is based on the observation that the antiderivative of a function of $n$-variables is a solution of a partial differential equation of order $n$ generalising the classical case. The generalised Fundamental Theorem of Calculus then states that the $n$-dimensional integrals over $n$-dimensional axis-parallel rectangular hypercuboids is given by a combinatorial formula evaluating the antiderivative on the vertices of the hypercuboid.

General Mathematics
The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms

Steven Vickers

2023-12-09

Abstract:Working in point-free topology under the constraints of geometric logic, we prove the Fundamental Theorem of Calculus, and apply it to prove the usual rules for the derivatives of $x^\alpha$, $\gamma^x$, and $\log_\gamma x$.

Category Theory,Logic
Newton's Method for Sections on Riemannian Manifolds: Generalized Covariant Α-Theory

Chong Li,Jinhua Wang

DOI: https://doi.org/10.1016/j.jco.2007.12.003

IF: 1.333

2007-01-01

Journal of Complexity

Abstract:One kind of the L-average Lipschitz condition is introduced to covariant derivatives of sections on Riemannian manifolds. A convergence criterion of Newton's method and the radii of the uniqueness balls of the singular points for sections on Riemannian manifolds, which is independent of the curvatures, are established under the assumption that the covariant derivatives of the sections satisfy this kind of the L-average Lipschitz condition. Some applications to special cases including Kantorovich's condition and the γ-condition as well as Smale's α-theory are provided. In particular, the result due to Ferreira and Svaiter [Kantorovich's Theorem on Newton's method in Riemannian manifolds, J. Complexity 18 (2002) 304–329] is extended while the results due to Dedieu Priouret, Malajovich [Newton's method on Riemannian manifolds: covariant alpha theory, IMA J. Numer. Anal. 23 (2003) 395–419] are improved significantly. Moreover, the corresponding results due to Alvarez, Bolter, Munier [A unifying local convergence result for Newton's method in Riemannian manifolds, Found. Comput. Math. to appear] for vector fields and mappings on Riemannian manifolds are also extended.
On the basic theory of some generalized and fractional derivatives

Leila Gholizadeh Zivlaei,Angelo B. Mingarelli

DOI: https://doi.org/10.48550/arXiv.2204.12450

2022-09-27

Abstract:We continue the development of the basic theory of generalized derivatives as introduced in \cite{JPA} and give some of their applications. In particular, we formulate versions of a weak maximum principle, Rolle's theorem, the Mean value theorem, the Fundamental theorem of Calculus, Integration by parts, along with an existence and uniqueness theorem for a generalized Riccati equation, each of which includes, as corollaries, the corresponding version for conformable fractional derivatives considered by \cite{kat}, \cite{kha} among many others. Finally, we show that for each $\alpha > 1$ there is a fractional derivative and a corresponding function whose fractional derivative fails to exist everywhere on the real line.

Classical Analysis and ODEs
Integral theorems for the gradient of a vector field, with a fluid dynamical application

Jonathan M. Lilly,Joel Feske,Baylor Fox-Kemper,Jeffrey Early

2024-01-31

Abstract:The familiar divergence and Kelvin-Stokes theorem are generalized by a tensor-valued identity that relates the volume integral of the gradient of a vector field to the integral over the bounding surface of the outer product of the vector field with the exterior normal. The importance of this long-established yet little-known result is discussed. In flat two-dimensional space, it reduces to a relationship between an integral over an area and that over its bounding curve, combining the 2D divergence and Kelvin-Stokes theorems together with two related theorems involving the strain, as is shown through a decomposition using a suitable tensor basis. A fluid dynamical application to oceanic observations along the trajectory of a moving platform is given. The potential generalization of the generalized identity to curved two-dimensional surfaces is considered and is shown not to hold. Finally, the paper includes a substantial background section on tensor analysis, and presents results in both symbolic notation and index notation in order to emphasize the correspondence between these two notational systems.

Fluid Dynamics,Mathematical Physics
The fundamental theorem of calculus in differential rings

Clemens G. Raab,Georg Regensburger

2024-04-11

Abstract:In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notion of evaluation. We investigate properties of such integro-differential rings and discuss many examples. We also construct corresponding integro-differential operators and provide normal forms via rewrite rules. They are then used to derive several identities and properties in a purely algebraic way, generalizing well-known results from analysis. In identities like shuffle relations for nested integrals and the Taylor formula, additional terms are obtained that take singularities into account. Another focus lies on treating basics of linear ODEs in this framework of integro-differential operators. These operators can have matrix coefficients, which allow to treat systems of arbitrary size in a unified way. In the appendix, using tensor reduction systems, we give the technical details of normal forms and prove them for operators including other functionals besides evaluation.

Operator Algebras
Double Forms, Curvature Integrals and the Gauss-Bonnet Formula

Marc Troyanov

DOI: https://doi.org/10.48550/arXiv.2308.15385

2023-08-29

Differential Geometry

Abstract:The Gauss-Bonnet Formula is a significant achievement in 19th century differential geometry for the case of surfaces and the 20th century cumulative work of H. Hopf, W. Fenchel, C. B. Allendoerfer, A. Weil and S.S. Chern for higher-dimensional Riemannian manifolds. It relates the Euler characteristic of a Riemannian manifold to a curvature integral over the manifold plus a somewhat enigmatic boundary term. In this paper, we revisit the formula using the formalism of double forms, a tool introduced by de Rham, and further developed by Kulkarni, Thorpe, and Gray. We explore the geometric nature of the boundary term and provide some examples and applications.
The Generalized Fractional Calculus of Variations

Tatiana Odzijewicz,Delfim F. M. Torres

DOI: https://doi.org/10.48550/arXiv.1401.7291

2014-01-29

Abstract:We review the recent generalized fractional calculus of variations. We consider variational problems containing generalized fractional integrals and derivatives and study them using indirect methods. In particular, we provide necessary optimality conditions of Euler-Lagrange type for the fundamental and isoperimetric problems, natural boundary conditions, and Noether type theorems.

Optimization and Control
An elementary multidimensional fundamental theorem of calculus

Joaquim Bruna

DOI: https://doi.org/10.48550/arXiv.2304.14763

2023-08-15

Abstract:We discuss a version of the fundamental theorem of calculus in several variables and some applications, of potential interest as a teaching material in undergraduate courses.

History and Overview
Riemannian Geometry to Higher Order in the Infinitesimals

William Bies

2024-06-06

Abstract:Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for future exploration. The first order of business is to furnish the notion of a higher tangent vector, as defined abstractly by means of commutative algebra, with a workable interpretation in terms of spatial intuition. Then we introduce the differential calculus of the so-called jet connection, viz., an extension of the usual affine connection that takes higher tangent vectors as its arguments -- thereby enabling us to give a sense to parallel transport in the direction of a higher tangent, what has (to our knowledge) never been entertained before. After generalizing the Riemannian metric tensor to include a dependence up to any order in the infinitesimals, we arrive at natural analogues of the Levi-Civita connection and the Riemannian curvature tensor which display novel phenomena rooted in interactions among infinitesimals differing in order. Finally on the integral side, an intrinsic theory of integration adapted to integrands possibly of higher than first order in the differentials is developed, with a view towards eventually defining an action functional that will be applicable in the general theory of relativity.

Differential Geometry,Mathematical Physics
A classical functional generalization of the first Barnes lemma

Raffaele Marcovecchio

DOI: https://doi.org/10.48550/arXiv.1902.02241

2019-02-06

Abstract:We give a brief account and a simpler proof of a contour integral formula for the Gauss hypergeometric function. Such formula is alternative to Barnes's integral formula and generalizes the first Barnes Lemma.

Complex Variables,Number Theory
Integration in General Relativity

Andrew DeBenedictis

DOI: https://doi.org/10.48550/arXiv.physics/9802027

1998-02-14

Abstract:This paper presents a brief but comprehensive introduction to certain mathematical techniques in General Relativity. Familiar mathematical procedures are investigated taking into account the complications of introducing a non trivial space-time geometry. This transcript should be of use to the beginning student and assumes only very basic familiarity with tensor analysis and modern notation. This paper will also be of use to gravitational physicists as a quick reference.

Mathematical Physics,General Relativity and Quantum Cosmology
An Integral Formula for Lipschitz-Killing Curvature and the Critical Points of Height Functions

Katsuhiro Shiohama,Hong-Wei Xu

DOI: https://doi.org/10.1007/s12220-010-9116-5

2010-01-01

Abstract:We have established (see Shiohama and Xu in J. Geom. Anal. 7:377–386, 1997; Lemma) an integral formula on the absolute Lipschitz-Killing curvature and critical points of height functions of an isometrically immersed compact Riemannian n-manifold into R n+q. Making use of this formula, we prove a topological sphere theorem and a differentiable sphere theorem for hypersurfaces with bounded L n/2 Ricci curvature norm in R n+1. We show that the theorems of Gauss-Bonnet-Chern, Chern-Lashof and the Willmore inequality are all its consequences.
A Global Diffeomorphism Theorem for Fréchet spaces

Kaveh Eftekharinasab

DOI: https://doi.org/10.1007/s10958-020-04802-4

2023-07-30

Abstract:We give sufficient conditions for a $ C^1_c $-local diffeomorphism between Fréchet spaces to be a global one. We extend the Clarke's theory of generalized gradients to the more general setting of Fréchet spaces. As a consequence, we define the Chang Palais-Smale condition for Lipschitz functions and show that a function which is bounded below and satisfies the Chang Palais-Smale condition at all levels is coercive. We prove a version of the mountain pass theorem for Lipschitz maps in the Fréchet setting and show that along with the Chang Palais-Smale condition we can obtain a global diffeomorphism theorem.

Differential Geometry
Integral Theorems Based on a New Gradient Operator Derived from Biomembranes (part II): Applications

Yin Yajun

DOI: https://doi.org/10.1016/s1007-0214(05)70084-5

2005-01-01

Tsinghua Science & Technology

Abstract:Based on the second gradient operator and corresponding integral theorems such as the second divergence theorem, the second gradient theorem, the second curl theorem, and the second circulation theorem on curved surfaces, a few new scalar differential operators are defined and a series of integral transformations are derived. Interesting transformations between the average curvature and the Gauss curvature are presented. Various conserved integrals related to the Gauss curvature and the second fundamental tensor are disclosed. The important applications of the results in disciplines such as the geometry, physics, mechanics, and biology are briefly discussed.
Integral Bounds on Curvature and Gromov-Hausdorff Limits

X. -X. Chen,S. K. Donaldson

DOI: https://doi.org/10.1112/jtopol/jtt037

2013-01-01

Journal of Topology

Abstract:We develop a new approach to, and somewhat extend, results of Cheeger, Colding and Tian (Geom. Funct. Anal. 12 (2002) 873–914), which give restrictions on the singular sets that can arise as Gromov‐Hausdorff limits in the presence of integral bounds on the curvature. The foundation of this approach is provided by a rigidity result for flat singular spaces, which has independent interest.
A Topological View on Integration and Exterior Calculus

Petal B. Mokryn

2024-07-23

Abstract:A construction of integration, function calculus, and exterior calculus is made, allowing for integration of unital magma valued functions against (compactified) unital magma valued measures over arbitrary topological spaces. The Riemann integral, geometric product integral, and Lebesgue integral are shown as special cases. Notions similar to chain complexes are developed to allow this form of integration to define notions of exterior derivative for differential forms, and of derivatives of functions as well. Resulting conclusions on integration, orientation, dimension, and differentiation are discussed. Applications include calculus on fractals, stochastic analysis, discrete analysis, and other novel forms of calculus.

Differential Geometry,General Topology,K-Theory and Homology
General Fractional Vector Calculus

Vasily E. Tarasov

DOI: https://doi.org/10.3390/math9212816

2021-11-04

Abstract:A generalization of fractional vector calculus as a self-consistent mathematical theory is proposed to take into account a general form of non-locality in kernels of fractional vector differential and integral operators. Self-consistency involves proving generalizations of all fundamental theorems of vector calculus for generalized kernels of operators. In the generalization of FVC from power-law nonlocality to the general form of nonlocality in space, we use the general fractional calculus in the Luchko approach. This paper proposed the following: (1) Self-consistent definitions of general fractional differential vector operators: the regional and line general fractional gradients, the regional and surface general fractional curl operators, the general fractional divergence are proposed. (2) Self-consistent definitions of general fractional integral vector operators: the general fractional circulation, general fractional flux and general fractional volume integral are proposed. (3) The general fractional gradient, Green, Stokes and Gauss theorems as fundamental theorems of general fractional vector calculus are proved for simple and complex regions. The fundamental theorems (Gradient, Green, Stokes, Gauss theorems) of the proposed general FVC are proved for a wider class of domains, surfaces and curves. Therefore we can state that we proposed a calculus, which is a general fractional vector calculus. The difficulties and problems of defining general fractional integral and differential vector operators are discussed to the nonlocal case, caused by the violation of standard product (Leibniz) rule, chain rule, and semigroup property. General FVC for orthogonal curvilinear coordinates, which includes general fractional vector operators for the spherical and cylindrical coordinates, is also proposed.

Classical Analysis and ODEs
A Generalization of Liu-Yau's Quasi-Local Mass

Mu-Tao Wang,Shing-Tung Yau

DOI: https://doi.org/10.4310/cag.2007.v15.n2.a2

2007-01-01

Communications in Analysis and Geometry

Abstract:In [11, 12], Liu and the second author propose a definition of the quasi-local mass and prove its positivity. This is demonstrated through an inequality which in turn can be interpreted as a total mean curvature comparison theorem for isometric embeddings of a surface of positive Gaussian curvature. The Riemannian version corresponds to an earlier theorem of Shi and Tam [18]. In this article, we generalize such an inequality to the case when the Gaussian curvature of the surface is allowed to be negative. This is done by an isometric embedding into the hyperboloid in the Minkowski space and a future-directed time-like quasi-local energy-momentum is obtained.

The fundamental theorem of geometric calculus via a generalized Riemann integral

Towards a geometric theory of integration

The Fundamental Theorem of Calculus in higher dimensions

The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms

Newton's Method for Sections on Riemannian Manifolds: Generalized Covariant Α-Theory

On the basic theory of some generalized and fractional derivatives

Integral theorems for the gradient of a vector field, with a fluid dynamical application

The fundamental theorem of calculus in differential rings

Double Forms, Curvature Integrals and the Gauss-Bonnet Formula

The Generalized Fractional Calculus of Variations

An elementary multidimensional fundamental theorem of calculus

Riemannian Geometry to Higher Order in the Infinitesimals

A classical functional generalization of the first Barnes lemma

Integration in General Relativity

An Integral Formula for Lipschitz-Killing Curvature and the Critical Points of Height Functions

A Global Diffeomorphism Theorem for Fréchet spaces

Integral Theorems Based on a New Gradient Operator Derived from Biomembranes (part II): Applications

Integral Bounds on Curvature and Gromov-Hausdorff Limits

A Topological View on Integration and Exterior Calculus

General Fractional Vector Calculus

A Generalization of Liu-Yau's Quasi-Local Mass