arXiv research

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.

We present type $θ$ Stokes' theorem for type $θ$ $k$-chains which extends the fundamental theorem of calculus in higher dimensions.

Survey revisits vector calculus results using exterior derivative and provides a new formulation of Stokes' theorem.

We introduce a method for evaluating integrals in geometric calculus without introducing coordinates, based on using the fundamental theorem of calculus repeatedly and cutting the resulting manifolds so as to create a boundary and allow for the existence of an antiderivative at each step. The method is a direct general…

A theorem connects integral of second-order derivatives to function rise.

Geometric theory of integration developed in SDG.

In this paper, we introduce the notions of map-germs of pedal unfolding type and normalized Legendrian map-germs; and then we show that the fundamental theorem of calculus provides a natural one to one correspondence between Whitney umbrellas of pedal unfolding type and normalized swallowtails.

Families of objects appear in several contexts, like algebraic topology, theory of deformations, theoretical physics, etc. An unified coordinate-free algebraic framework for families of geometrical quantities is presented here, which allows one to work without introducing ad hoc spaces, by using the language of differe…

We define a non-absolutely convergent integration on integral currents of dimension 1 in Euclidean space. This integral is closely related to the Henstock-Kurzweil and Pfeffer Integrals. Using it, we prove a generalized Fundamental Theorem of Calculus on these currents. A detailed presentation of Henstock-Kurzweil Inte…

Extends Seeley's theorem for Bastiani's differential calculus in infinite dimensions.

Simplified calculus for manifold operators, proving index theorems.

The basic theorems of vector calculus are illuminated when we replace the original 3 stooges of vector calculus: Grad, Div, and Curl, with combinatorial substitutes. In addition to providing simple proofs of Green's theorem and the equivalence of the integral and derivative definitions of curl, we also provide a brief …

Study differential and integral calculus on noncommutative C*-algebras.

The paper derives theorems about curl eigenfields on a 3-sphere using angular momentum theory.

Develops a graphical calculus for stable curvature invariants.

New tensors help determine if metrics are related to Poincaré-Einstein ones.

In a 2006 article (\cite{A1}), Allouba gave his quadratic covariation differentiation theory for Itô's integral calculus. He defined the derivative of a semimartingale with respect to a Brownian motion as the time derivative of their quadratic covariation and a generalization thereof. He then obtained a systematic diff…

Study embedding calculus and link invariants using functor calculus.

Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisf…

Develops calculus for tamed Dirichlet spaces using measure theory.

The fundamental group of the Menger universal curve is uncountable and not free, although all of its finitely generated subgroups are free. It contains an isomorphic copy of the fundamental group of every one-dimensional separable metric space and an isomorphic copy of the fundamental group of every planar Peano contin…

A new discrete calculus for bundle-valued forms is proposed and validated.

Secondary Calculus formalizes PDEs using cohomology, simplifying their study.

We present a self-contained proof of the Gauss-Bonnet theorem for two-dimensional surfaces embedded in $R^3$ using just classical vector calculus. The exposition should be accessible to advanced undergraduate and non-expert graduate students. It may be viewed as an illustration and exercise in multivariate calculus and…

New calculus on spacetimes for nonlinear differential equations.

The Cartan-Kähler theorem is extended to Lie algebroids.

The classical Getzler rescaling theorem is extended to the transverse geometry of foliations. More precisely, a Getzler rescaling calculus, as well as a Block-Fox calculus of asymptotic operators, is constructed for all transversely spin foliations. This calculus applies to operators of degree $m$ globally times degree…

The paper details local forms of morphisms in colored supermanifolds.

Global homotopies upgrade classical map in differential geometry.

We consider two calculi of pseudodifferential operators on manifolds with fibered boundary: Mazzeo's edge calculus, which has as local model the operators associated to products of closed manifolds with asymptotically hyperbolic spaces, and the phi calculus of Mazzeo and the second author, which is similarly modeled on…

We present an extension of the classical theory of calculus of variations to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions while sharing many nonlinear properties with ordinary smooth functions. We prove full connections between extremals and…

Study of 3-handle attachments in 4D manifolds using Kirby calculus.

We introduce a proximal subdifferential and develop a calculus for nonsmooth functions defined on any Riemannian manifold $M$. We give several applications of this theory, concerning: 1) differentiability and geometrical properties of the distance function to a closed subset $C$ of $M$; 2) solvability and implicit func…

This work is thought as an operative guide to discrete exterior calculus (DEC), but at the same time with a rigorous exposition. We present a version of (DEC) on cubic cell, defining it for discrete manifolds. An example of how it works, it is done on the discrete torus, where usual Gauss and Stokes theorems are recove…

In this note, we prove an index theorem on Galois covering for Heisenberg elliptic differential operators, which is not elliptic, analogous to Atiyah's $Γ$-index theorem. This note also contains an example of Heisenberg differential operators with non-trivial $Γ$-index.

Let $X$ be a smooth compact manifold with corners which has two embedded boundary hypersurfaces $\partial_0 X , \partial_1 X$, and a fiber bundle $φ:\partial_0 X \to Y$ is given. By using the method of blowing up, we define a pseudodifferential culculus $Ψ^* _{Φ,b} (X)$ generalizing the $Φ$-calculus of Mazzeo and Melro…

This article provides a version of scale calculus geared towards a notion of (nonlinear) Fredholm maps between certain types of Frechet spaces, retaining as many as possible of the properties Fredholm maps between Banach spaces enjoy, and the existence of a constant rank theorem for such maps. It does so by extending t…

The paper has been withdrawn by the author due an error in the proof of Theorem 3.2.

The extremely useful method of Malliavin calculus has not yet gained adequate popularity because of the complicated analytic apparatus of this method. The author attempts here to propose a simplified algebraic formalism similar to Malliavin calculus, but based on the notion of creation-annihilation operators instead of…

Introduces generalized products for pseudodifferential operators on manifolds with corners.

New methods solve inverse problem for Lagrangians in calculus of variations.

We introduce a family of pairwise stochastic gradient estimators for gradients of expectations, which are related to the log-derivative trick, but involve pairwise interactions between samples. The simplest example of our new estimator, dubbed the fundamental trick estimator, is shown to arise from either a) introducin…

We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely…

In this paper we establish the basic tools to develop the "Calculus" associated with group-valued continuously Pansu differentiable mappings. We develop the technical machinery on which all of our results rely. In particular, the linearization of addends appearing in the Baker-Campbell-Hausdorff formula is one of the m…

We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We focus on finding harmonic cochains cohomologous to a given cocycle. Amongst other …

Develops global pseudo-differential calculus on homogeneous vector bundles.

An affine Cartan calculus is developed. The concepts of special affine bundles and special affine duality are introduced. The canonical isomorphisms, fundamental for Lagrangian and Hamiltonian formulations of the dynamics in the affine setting are proved.

A generalized Lepage form for second-order Lagrangians is described.