\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{cogerm differential form} \hypertarget{cogerm_differential_forms}{}\section*{{Cogerm differential forms}}\label{cogerm_differential_forms} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak \noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak \noindent\hyperlink{the_cogerm_differential}{The cogerm differential}\dotfill \pageref*{the_cogerm_differential} \linebreak \noindent\hyperlink{integration}{Integration}\dotfill \pageref*{integration} \linebreak \noindent\hyperlink{naive_integration}{Naive integration}\dotfill \pageref*{naive_integration} \linebreak \noindent\hyperlink{genuine_integration}{Genuine integration}\dotfill \pageref*{genuine_integration} \linebreak \noindent\hyperlink{integration_of_negligible_forms}{Integration of negligible forms}\dotfill \pageref*{integration_of_negligible_forms} \linebreak \noindent\hyperlink{the_fundamental_theorem_of_calculus}{The fundamental theorem of calculus}\dotfill \pageref*{the_fundamental_theorem_of_calculus} \linebreak \noindent\hyperlink{existence_of_integrals}{Existence of integrals}\dotfill \pageref*{existence_of_integrals} \linebreak \noindent\hyperlink{parametrization_invariance}{Parametrization invariance}\dotfill \pageref*{parametrization_invariance} \linebreak \noindent\hyperlink{affine_integration}{Affine integration}\dotfill \pageref*{affine_integration} \linebreak \noindent\hyperlink{stieltjes_integrals_fuctions_and_distributions}{Stieltjes integrals, $\delta$-fuctions, and distributions}\dotfill \pageref*{stieltjes_integrals_fuctions_and_distributions} \linebreak \noindent\hyperlink{higher_forms}{Higher forms}\dotfill \pageref*{higher_forms} \linebreak \noindent\hyperlink{nonsymmetrized_version}{Nonsymmetrized version}\dotfill \pageref*{nonsymmetrized_version} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} A cogerm differential form is a vast generalization of the usual exterior [[differential forms]], which includes also [[absolute differential forms]], as well as ``higher'' differential forms such as $d^2x$ and a commutative differential operator (at least in the case of 1-forms). \hypertarget{definition}{}\subsection*{{Definition}}\label{definition} Let $X$ be a [[set]]. Usually, $X$ will be a [[manifold]] or a [[generalized smooth space]], but the definition does not require this. By a \emph{[[curve]]} in $X$ we mean a function $c:(-\epsilon,\epsilon)\to X$ for some real number $\epsilon\gt 0$. Two curves $c:(-\epsilon,\epsilon)\to X$ and $c':(-\epsilon',\epsilon')\to X$ have the same \emph{[[germ]]} (at 0) if there exists $\epsilon'' \le min(\epsilon,\epsilon')$ such that $c$ and $c'$ agree when restricted to $(-\epsilon'',\epsilon'')$. Let $C X$ denote the set of germs of curves in $X$, i.e. the [[quotient]] of the set of curves in $X$ by the [[equivalence relation]] ``has the same germ as''. \begin{udefn} A (partial) \textbf{cogerm differential 1-form} on $X$ is a [[partial function]] $\omega : C X \to \mathbb{R}$. We write the action of $\omega$ on a curve $c$ (or germ thereof) as $\langle \omega | c \rangle$. \end{udefn} \hypertarget{examples}{}\subsection*{{Examples}}\label{examples} \begin{itemize}% \item If $f: X\to \mathbb{R}$ is a function, then it defines a cogerm differential 1-form, also denoted $f$, by evaluation at $0$: \begin{displaymath} \langle f | c \rangle = (f\circ c)(0). \end{displaymath} This is defined on \emph{all} germs. \item We also have the differential of $f$, denoted $\mathrm{d}f$, defined by \begin{displaymath} \langle \mathrm{d}f | c \rangle = (f\circ c)'(0) \end{displaymath} which is defined on all germs $c$ having the property that $f\circ c$ is differentiable at $0$. In particular, if $f$ is smooth (for $X$ a [[smooth space]]), then $\mathrm{d}f$ is defined on all smooth germs. When $X$ is a [[differentiable manifold]], $\langle \mathrm{d}f | c \rangle$ depends only on the [[tangent vector]] of $c$ at $0$. \item More generally, any real-valued function on the [[tangent bundle]] of $X$ can be regarded as a cogerm differential 1-form; this includes in particular all [[differential form|exterior differential 1-forms]]. \item We also have the second differential $\mathrm{d}^2f$, defined by \begin{displaymath} \langle \mathrm{d}^2f | c \rangle = (f\circ c)''(0), \end{displaymath} which depends only on the 2-[[jet]] of $c$ at $0$. We can similarly consider higher differentials which depend on higher jets. A cogerm differential 1-form which depends only on the jet of $c$ may be called a \emph{cojet differential 1-form}. \item For an example of a cogerm differential form that is not a cojet differential form, let $\langle{\omega|c}\rangle$ be $0$ or $1$ according as $c$ is or is not [[analytic function|analytic]] (say for $X$ the real line). We do not know any more interesting examples. \item We can also apply arbitrary real functions: if $\phi:\mathbb{R}^n\to \mathbb{R}$ is a function (or even a partial function) and $\omega_1,\dots,\omega_n$ are cogerm differential 1-forms, then we have $\phi(\omega_1,\dots,\omega_n)$ defined by \begin{displaymath} \langle \phi(\omega_1,\dots,\omega_n) | c \rangle = \phi(\langle\omega_1|c\rangle,\dots,\langle\omega_n|c\rangle) \end{displaymath} \item For instance, any $\omega$ has an absolute value ${|\omega|}$. \item And if $X=\mathbb{R}^2$, then we have the ``length element'' $đ s = \sqrt{\mathrm{d}x^2 + \mathrm{d}y^2}$. \item Generalizing $đs$, any [[absolute differential form|absolute differential 1-form]] can be regarded as a cogerm differential 1-form. \item Any [[symmetric bilinear form]] on tangent vectors can also be regarded as a [[quadratic form|quadratic]] covector form and therefore a quadratic cogerm form. In particular, this applies to the [[Riemannian metric|metric]] $g$ on any (pseudo)-[[Riemannian manifold]]. We then have $g = đs^2$ in the algebra of cogerm forms on a Riemannian manifold. \item For any function $f$, we have a cogerm differential form $\Delta f$, defined by $f(x+\mathrm{d}x)-f(x)$. When $f$ is the [[Heaviside function]], $\Delta f$ is a candidate for the [[Dirac delta function]]. \item A somewhat better way to represent the [[Dirac delta function]] as a cogerm differential form is \begin{displaymath} \delta = \begin{cases} \frac{1}{|\mathrm{d}x|} &\qquad x=0 \;and\; \mathrm{d}x\neq 0\\ 0 &\qquad otherwise. \end{cases} \end{displaymath} In the section on integration below we will see why this deserves the name ``delta function''. \end{itemize} \hypertarget{the_cogerm_differential}{}\subsection*{{The cogerm differential}}\label{the_cogerm_differential} For any curve $c$ and real number $h$, let $c_h$ be the curve defined by $c_h(t) = c(t+h)$. If $\omega$ is any cogerm differential 1-form, then we define its \textbf{differential} $\mathrm{d}\omega$ by \begin{displaymath} \langle \mathrm{d}\omega | c \rangle = \lim_{h\to 0} \frac{\langle \omega | c_h \rangle - \langle \omega | c\rangle}{h}. \end{displaymath} Note that while the fraction on the right-hand side only makes sense for a specific representative curve $c$ and a sufficiently small $h$, the limit depends only on the germ of $c$. Of course, in general, $\mathrm{d}\omega$ may not be defined on as many curves as $\omega$ is. \begin{udefn} If $X$ is a smooth space, so that we have a notion of \emph{smooth curve}, then we say that a cogerm differential 1-form $\omega$ is \textbf{smooth} if \begin{enumerate}% \item $\omega$ is defined on all germs of smooth curves, and \item $\mathrm{d}\omega$ is smooth ([[coinductive definition|coinductively]]). \end{enumerate} \end{udefn} For example, if $f:X\to \mathbb{R}$ is a [[smooth function]], then it is also a smooth cogerm differential 1-form, and its differentials $\mathrm{d}^n f$ are those mentioned above. By stopping the coinduction at an appropriate point and requiring only [[continuous function|continuity]], we obtain an analogous definition of $k$-times [[continuously differentiable function]] $C^k$; for example, $\omega$ is $C^2$ if $\omega$, $\mathrm{d}\omega$, and $\mathrm{d}^2\omega$ are defined on all smooth curves and the last of these is continuous. (But the obvious definition of [[differentiable function]] without continuity is too weak, even if we require $\mathrm{d}\omega$ to be defined on all differentiable germs, as the classic example of $x y^2/(x^2 + y^2)$ shows; extended continuously to the origin, this and its differential are defined on all smooth curves, although the differential is not continuous, but this function is not differentiable, which we know because its differential is not linear as a covector form.) Note that the cogerm differential $\mathrm{d}$ is \emph{not} the same as the exterior differential, except when applied to $0$-forms. In particular, $\mathrm{d}^2 \neq 0$. We have the expected multivariable chain rule: \begin{utheorem} If $\phi:\mathbb{R}^n\to \mathbb{R}$ is a [[differentiable function]] and $\omega_1,\dots,\omega_n$ are cogerm differential 1-forms, then \begin{displaymath} \mathrm{d}(\phi(\omega_1,\dots,\omega_n)) = \partial_1\phi(\omega_1,\dots,\omega_n) \mathrm{d}\omega_1 + \cdots + \partial_n\phi(\omega_1,\dots,\omega_n) \mathrm{d}\omega_n \end{displaymath} where $\partial_i\phi$ denotes the partial derivative with respect to the $i^{th}$ variable. \end{utheorem} In particular, taking $\phi(x,y) = x y$, we have the product rule: \begin{displaymath} \mathrm{d}(\omega\eta) = \omega \mathrm{d}\eta + \eta \mathrm{d}\omega. \end{displaymath} This also enables us to calculate the iterated cogerm differentials of functions. If $x:X\to \mathbb{R}$ is a ``coordinate'' and $f:\mathbb{R}\to \mathbb{R}$ is a function, so that $f(x) : X\to \mathbb{R}$ is a function of that coordinate, then by the theorem we have \begin{displaymath} \mathrm{d}f(x) = f'(x) \mathrm{d}x. \end{displaymath} Thus, by the product rule, we have \begin{displaymath} \mathrm{d}^2 f(x) = f''(x) \mathrm{d}x^2 + f'(x) \mathrm{d}^2x \end{displaymath} and so on. Note that the first formula justifies the common notation $\frac{\mathrm{d}f(x)}{\mathrm{d}x}$ for the derivative $f'(x)$, while the second \emph{almost} justifies the common notation $\frac{\mathrm{d}^2f(x)}{\mathrm{d}x^2}$ for the second derivative $f''(x)$ --- it would be correct only if $\mathrm{d}^2x=0$, which is not generally the case. Instead it would be better to write $f''(x) = \frac{\partial^2f(x)}{\partial x^2}$, indicating that $f''(x)$ is the coefficient of $\mathrm{d}x^2$ in a canonical expansion of $\mathrm{d}^2 f(x)$. \hypertarget{integration}{}\subsection*{{Integration}}\label{integration} Let $c:[a,b] \to X$ be a curve and $\omega$ a cogerm differential 1-form; we would like to integrate $\omega$ over $c$. There are at least two possible definitions. \hypertarget{naive_integration}{}\subsubsection*{{Naive integration}}\label{naive_integration} The \textbf{naive integral} of $\omega$ over $c$ is defined to be \begin{displaymath} \int_c \omega = \int_{t=a}^b \langle \omega | c_t \rangle \mathrm{d}t. \end{displaymath} if this exists. If $\omega$ is an exterior differential $1$-form or an absolute differential $1$-form, then this agrees with its usual line integral over $c$. \hypertarget{genuine_integration}{}\subsubsection*{{Genuine integration}}\label{genuine_integration} The \textbf{(genuine) integral} of $\omega$ over $c$ is defined as follows. Given a [[tagged partition]] $a = t_0 \lt t_1 \cdots \lt t_{n-1} \lt t_n = b$ with tags $t^*_i \in [t_{i-1},t_i]$, we define the corresponding [[Riemann sum]] to be \begin{displaymath} \sum_{i=1}^n \langle \omega | \Delta t_i \cdot c_{t^*_i} \rangle \end{displaymath} Here $\Delta t_i = t_i - t_{i-1}$, and for a curve $c$ and a number $h$ the curve $h\cdot c$ is defined by $(h\cdot c)(t) = c(h t)$. Now we take the limit as the tagged partitions shrink. It is convenient to do this in the manner of the [[Henstock integral]]. That is, we consider \emph{gauges} $\delta : [a,b] \to \mathbb{R}_{\gt 0}$ and say that a tagged partition is \emph{$\delta$-fine} if $[t_{i-1},t_i] \subset (t^*_i - \delta(t^*_i), t^*_i + \delta(t^*_i))$ for all $i$. Then we say that a number $I$ is the integral $\int_c \omega$ if for all $\epsilon\gt 0$ there exists a gauge $\delta$ such that the Riemann sum of any $\delta$-fine tagged partition is within $\epsilon$ of $I$. The genuine integral also agrees with the usual integral for exterior 1-forms, and probably also for absolute differential forms. However, in other cases it disagrees with the naive integral. In particular, it ``detects only the degree-1 part'' of a form, in a way that we can make precise as follows. \hypertarget{integration_of_negligible_forms}{}\subsubsection*{{Integration of negligible forms}}\label{integration_of_negligible_forms} Let us say that $\omega$ is \textbf{$o(dx)$} if $\lim_{h\to 0} \frac{\langle \omega | h\cdot c \rangle}{h} = 0$ for any curve $c$. Some examples of forms that are $o(dx)$ are $\mathrm{d}x^2$ and $\mathrm{d}^2x$. \begin{utheorem} If $\omega$ is $o(dx)$, then $\int_c \omega = 0$ for any curve $c$. \end{utheorem} \begin{proof} Suppose $\epsilon\gt 0$; then for any $t\in [a,b]$ there is a $\delta(t)$ such that ${\langle \omega {|} h \cdot c_t\rangle} \lt \frac{\epsilon}{b-a} h$ for any $0\lt h\lt \delta(t)$. This defines a gauge $\delta$ on $[a,b]$. Now suppose we have a $\delta$-fine tagged partition $a = x_0 \lt \cdots \lt x_n = b$ with tags $t_i \in [x_{i-1},x_i]$, so that $\Delta x_i = x_i - x_{i-1} \lt \delta(t_i)$. Then the corresponding Riemann sum is, by definition, $\sum_{i} \langle \omega {|} \Delta x_i \cdot c_{t_i}\rangle$. Since $\Delta x_i \lt \delta(t_i)$, each $\langle \omega {|} \Delta x_i \cdot c_{t_i}\rangle \lt \frac{\epsilon}{b-a} \Delta x_i$. Thus, when we sum them up, we get something less than $\frac{\epsilon}{b-a} \sum_i \Delta x_i = \frac{\epsilon}{b-a} (b-a) = \epsilon$. Thus, for any $\epsilon$ there is a gauge $\delta$ such that the Riemann sum over any $\delta$-fine tagged partition is $\lt\epsilon$; so the integral is zero. \end{proof} Thus, for instance, $\int_c \mathrm{d}^2 x = 0$ according to the genuine integral, while according to the naive integral it would be (by the fundamental theorem of calculus) $\langle \mathrm{d}x | c_b \rangle - \langle \mathrm{d}x|c_a \rangle = (x\circ c)'(b) - (x\circ c)'(a)$. The answer $0$ given by the genuine integral is preferable if we regard $\mathrm{d}x$ as a ``first-order change in $x$'', so that $\mathrm{d}x^2$ or $\mathrm{d}^2x$ are ``second-order'' quantities and hence ought to be negligible. For instance, we usually compute the area under a curve $y=f(x)$ between $x=a$ and $x=b$ by dividing the interval $[a,b]$ into subintervals of width $\Delta x$ and approximating the area for each subinterval using a rectangle, obtaining $f(x) \Delta x$. This leads us to integrate the differential form $f(x) \mathrm{d}x$. However, a \emph{better} approximation would be to replace the rectangle with a trapezoid, having an area of $\frac{1}{2}(f(x+\Delta x) + f(x))\Delta x$. At least if $f$ is differentiable, we can approximate $f(x+\Delta x)$ by $f(x) + f'(x) \Delta x$, and thus approximate the area by \begin{displaymath} \frac{1}{2}(f(x) + f'(x)\Delta x + f(x))\Delta x = f(x) \Delta x + \frac{1}{2} f'(x) (\Delta x)^2. \end{displaymath} This would lead us to integrate the form $f(x) \mathrm{d}x + \frac{1}{2} f'(x) \mathrm{d}x^2$. Since this is based on a better approximation, we should expect it to give at least as good an answer. And with the genuine integral it does give the same answer, since the additional term $\frac{1}{2} f'(x) \mathrm{d}x^2$ is $o(dx)$ and hence has vanishing integral. But with the naive integral, it does not. \hypertarget{the_fundamental_theorem_of_calculus}{}\subsubsection*{{The fundamental theorem of calculus}}\label{the_fundamental_theorem_of_calculus} The naive integral satisfies a fundamental theorem of calculus for all cogerm forms: for any $\omega$ we have \begin{displaymath} \int_c \mathrm{d}\omega = \langle \omega| c_b\rangle - \langle \omega | c_a \rangle. \end{displaymath} This follows directly from the definition of the naive integral and the cogerm differential $\mathrm{d}$. The genuine integral does not satisfy as general a fundamental theorem of calculus as the naive integral. It does, however, satisfy FTC for differentials of \emph{functions}: \begin{displaymath} \int_c \mathrm{d}f = f(c(b)) - f(c(a)) \end{displaymath} This can be proven in exactly the same way as the usual FTC for (line) integrals. The restriction of FTC to differentials of functions is fairly natural if we recognize that FTC is a special case of the generalized [[Stokes' theorem]], which is about \emph{exterior} differentials of forms, not the commutative cogerm differential. It just so happens that if $f$ is a function, then the exterior differential of $f$ regarded as a 0-form agrees with the cogerm differential of $f$ regarded as a cogerm 1-form. \hypertarget{existence_of_integrals}{}\subsubsection*{{Existence of integrals}}\label{existence_of_integrals} The existence of naive integrals is fairly easy to verify, since they are just defined in terms of ordinary 1-variable integrals. But the existence of genuine integrals is rather less obvious. Here we prove that they exist for at least one reasonably general class of forms. Recall that a \emph{1-cojet differential 1-form} is a cogerm 1-form that depends only on the 1-jet of a curve, i.e. its value and its tangent vector. A 1-cojet form is equivalently just a function (not necessarily linear) on the [[tangent bundle]] $T X$; we may write it as $\omega(\mathbf{x},\mathrm{d}\mathbf{x})$, where $\mathbf{x}$ is a point of $X$ (with coordinates $x$, $y$, $z$, \ldots{}) and $\mathrm{d}\mathbf{x}\in T_{\mathbf{x}}X$ a tangent vector at $\mathbf{x}$ (with coordinates $\mathrm{d}x$, $\mathrm{d}y$, $\mathrm{d}z$, \ldots{}). \begin{utheorem} Suppose $\omega$ is a 1-cojet differential form and that \begin{enumerate}% \item $\omega(\mathbf{x},0) = 0$ for all $\mathbf{x}$. \item For each $\mathbf{x}\in X$ and $\mathrm{d}\mathbf{x}\in T_{\mathbf{x}}X$ the function $\lambda h.\omega(\mathbf{x},h \, \mathrm{d}\mathbf{x}):\mathbb{R} \to \mathbb{R}$ is differentiable from the right at $h=0$, and the derivative of the above function is continuous as a function on $T X$. \end{enumerate} Then the genuine integral of $\omega$ over any differentiable curve exists. \end{utheorem} \begin{proof} The Riemann sums in the definition of the genuine integral simplify in the case of a 1-cojet form to \begin{displaymath} \sum_{n=1}^\infty \omega(c(t^*_i), \Delta t_i \cdot c'(t^*_i)). \end{displaymath} Note that $\Delta t_i = t_i - t_{i-1}$ is always positive. By the assumptions, for any positive $h$ we can write \begin{displaymath} \omega(\mathbf{x}, h\cdot \mathrm{d}\mathbf{x}) = f(\mathbf{x}, \mathrm{d}\mathbf{x})\, h + g(\mathbf{x}, \mathrm{d}\mathbf{x},h)\,h \end{displaymath} where $f$ is continuous and $\lim_{h\to 0} g(\mathbf{x},\mathrm{d}\mathbf{x},h) = 0$. Therefore the Riemann sum is \begin{displaymath} \sum_{n=1}^\infty f(c(t^*_i), c'(t^*_i))\,\Delta t_i + g(c(t^*_i), c'(t^*_i),\Delta t_i)\,\Delta t_i. \end{displaymath} Now, essentially the same argument as in the proof that $o(dx)$ forms have zero integral shows that the second term can be neglected; thus we may as well consider only \begin{displaymath} \sum_{n=1}^\infty f(c(t^*_i), c'(t^*_i))\,\Delta t_i \end{displaymath} However, this is just an ordinary Riemann sum for computing the integral \begin{displaymath} \int_{t=a}^b f(c(t),c'(t)) \, \mathrm{d}t. \end{displaymath} Since $f$ is assumed continuous, this integral exists. \end{proof} The hypotheses of this theorem are a bit restrictive, but they include both the usual exterior 1-forms and [[absolute differential forms]] such as ${|\mathrm{d}x|}$ and $đl = \sqrt{\mathrm{d}x^2+\mathrm{d}y^2}$. The latter are not differentiable at $\mathrm{d}\mathbf{x}=0$, but they do have one-sided derivatives along any line approaching the origin. It is also necessary to \emph{exclude} forms such as the following: \begin{itemize}% \item A function on $X$, regarded as a cogerm differential form. If such a function is nonzero on any region, then its genuine integral will diverge. These are excluded by requirement (1). \item Forms such as $\sqrt{\mathrm{d}x}$, whose genuine integral also diverges. These are excluded by requirement (2). \end{itemize} There are, however, some cogerm forms that are not 1-cojet forms, nor are they $o(dx)$, yet their geniune integrals exist. An example is $\sqrt{\mathrm{d}^2x}$, whose genuine integral over a curve $c:[a,b]\to X$ is essentially $\int_{t=a}^b \sqrt{(x\circ c)''(t)} \,\mathrm{d}t$. There is probably a generalization of the above existence theorem to $k$-cojet forms, involving somewhat more complicated vanishing and differentiability conditions. \hypertarget{parametrization_invariance}{}\subsubsection*{{Parametrization invariance}}\label{parametrization_invariance} Since both naive and genuine integrals agree with ordinary line integrals when restricted to exterior 1-forms, such integrals are invariant under orientation-preserving reparametrization. However, for general cogerm 1-forms, neither integral is so invariant. Nevertheless, we may ask for conditions under which they are. The naive integral is very much not invariant under reparametrization. This is most obvious when $\omega$ is just a function, in which case its integral is just its ordinary integral. Similarly, a naive integral like $\int_c \mathrm{d}^2 x$, which equals $(x\circ c)'(b) - (x\circ c)'(a)$ by FTC, is not invariant under reparametrization since it involves the derivative of the coordinate function of $c$. The genuine integral is somewhat more invariant under reparametrization. For instance, \begin{itemize}% \item Since the genuine integral $\int_c \omega = 0$ whenever $\omega$ is $o(dx)$, independently of whatever $c$ might be, any such integral is parametrization-independent. \item The genuine integral of any form along any curve is invariant under orientation-preserving \emph{affine} reparametrization. This follows fairly directly from its definition. \end{itemize} There are forms whose genuine integral exists, but is not parametrization-invariant, such as $\sqrt{\mathrm{d}^2x}$. However, we can isolate a useful class of forms, including both exterior forms and absolute forms, whose genuine integral is so invariant. This is most easily done by reformulating the integral, as follows. \hypertarget{affine_integration}{}\subsubsection*{{Affine integration}}\label{affine_integration} For 1-cojet differential 1-forms satisfying a weak sublinearity condition, there is an equivalent definition of the genuine integral that is more obviously parametrization-invariant. A 1-cojet form can be considered as a function on tangent vectors $(x,v)$ where $v\in T_x X$. Let us say that such a form $\omega$ is \textbf{tangent-Lipschitz} if for each $x\in X$ there is a constant $L\gt 0$ such that \begin{displaymath} {|\omega(x,v) - \omega(x,w)|} \lt L \,\Vert v-w\Vert \end{displaymath} for all $v,w\in V$. Here we are using a [[norm]] on the tangent space $T_x X$. Since this vector space is finite-dimensional, the notion of tangent-Lipschitz is independent of the norm chosen (although the numerical value of $L$ will vary with the norm). Note that this says nothing at all about the continuity of $\omega$ as a function of $x$. In particular, if each $\omega(x,-)$ is separately either linear or absolute, then $\omega$ is tangent-Lipschitz. Thus, tangent-Lipschitz is a weak replacement for linearity in the tangent variable. To define our new version of the integral, suppose first that $X$ is a finite-dimensional real [[affine space]], regarded as a smooth manifold. Then we can canonically identify all its tangent spaces with the same vector space $V$. Let $c:[a,b]\to X$ be a curve in such an affine space $X$, and $\omega$ a 1-cojet differential 1-form on some open subset $U\subseteq X$ containing the image of $c$. Then we can regard $\omega$ as a function $U\times V\to \mathbb{R}$. Now for any [[tagged partition]] $a = t_0 \lt t_1 \cdots \lt t_{n-1} \lt t_n = b$ with tags $t^*_i \in [t_{i-1},t_i]$, we define the corresponding [[Riemann sum]] to be \begin{displaymath} \sum_{i=1}^n \omega(c(t^*_i), \Delta c_i) \end{displaymath} where $\Delta c_i = c(t_i) - c(t_{i-1})$, the subtraction being the usual way to subtract points in an affine space and obtain a vector. We then take the limit of such Riemann sums in the Henstock way, as before; let us call this the \textbf{affine integral}. Note that this Riemann sum manifestly depends only on the points $c(t_i)$ and $c(t^*_i)$ (and the order in which they occur). Thus, any increasing bijection $\phi:[a',b'] \to [a,b]$ induces a bijection between tagged partitions which respects their Riemann sums. It also maps intervals to intervals, so any gauge on one interval induces one on the other interval. Thus the limits also coincide (in the strong sense that one exists if and only if the other does, and in that case they are equal), and so the affine integral is completely parametrization-independent. We now show that the affine integral agrees with the genuine integral. \begin{utheorem} If $\omega$ is a tangent-Lipschitz 1-cojet form on an open subset of an affine space $X$, then its genuine and affine integrals over any differentiable curve agree, in the strong sense that each exists if and only if the other does and in that case they are equal. \end{utheorem} \begin{proof} Let $c:[a,b]\to X$ be differentiable. Then by definition of differentiability, for any $t_1 \lt t^*\lt t_2$ in $[a,b]$ we can write \begin{displaymath} c(t_2) - c(t_1) - c'(t^*)(t_2-t_1) = g(t^*,t_1,t_2)(t_2-t_1) \end{displaymath} where $g(t^*,t_1,t_2) \to 0$ as $t_2-t_1 \to 0$. Thus, since $\omega$ is tangent-Lipschitz, for any tagged partition we have \begin{displaymath} {|\omega(c(t^*_i), \Delta c_i) - \omega(c(t^*_i),\Delta t_i \cdot c'(t^*))|} \lt L \Vert g(t^*,t_1,t_2) \Vert \cdot \Delta t_i. \end{displaymath} Since $g(t^*,t_1,t_2) \to 0$ as $t_2-t_1 \to 0$, we can choose gauges to make this difference vanish in the limit, just as we did for integrating $o(dx)$ forms. But $\omega(c(t^*_i), \Delta c_i)$ and $\omega(c(t^*_i),\Delta t_i \cdot c'(t^*))$ are exactly the terms in the Riemann sums for the affine and genuine integrals. \end{proof} Finally, a similar argument shows that the affine integral can be extended to all finite-dimensional smooth manifolds by local charts. \begin{utheorem} Let $U\subseteq X$ and $V\subseteq Y$ be open subsets of affine spaces and $\phi:U\to V$ be differentiable. Let $\omega$ be a tangent-Lipschitz 1-cojet form on $V$ and $c:[0,1]\to U$ a differentiable curve. Then for the affine integrals we have \begin{displaymath} \int_c \phi^*\omega = \int_{\phi c} \omega. \end{displaymath} \end{utheorem} \begin{proof} By definition, $\phi^*\omega(x,v) = \omega(\phi(x),d_x\phi(v))$. Thus, the LHS is a limit of Riemann sums of the form \begin{displaymath} \sum_i \omega(\phi(c(t^*_i)),d_{c(t^*_i)}\phi(\Delta c_i)). \end{displaymath} while the RHS is a limit of sums of the form \begin{displaymath} \sum_i \omega(\phi(c(t^*_i)),\Delta (\phi c)_i). \end{displaymath} Since $\phi$ is differentiable, for any point $c(t^*_i)$ we have \begin{displaymath} \Delta (\phi c)_i = \phi(c(t_{i})) - \phi(c(t_{i-1})) = d_{c(t^*_i)}\phi(\Delta c_i) + E(c(t^*_i),\Delta c_i)\cdot {\Vert \Delta c_i \Vert } \end{displaymath} where $E(c(t^*_i),\Delta c_i)\to 0$ as $t_i - t_{i-1} \to 0$. Since $\omega$ is tangent-Lipschitz, this gives \begin{displaymath} \Big\Vert \omega(\phi(c(t^*_i)),\Delta (\phi c)_i) - \omega(\phi(c(t^*_i)),d_{c(t^*_i)}\phi(\Delta c_i)) \Big\Vert \lt L \cdot E(c(t^*_i),\Delta c_i) \cdot {\Vert \Delta c_i \Vert }. \end{displaymath} Now $L$ and $E$ depend on the point chosen, but nevertheless, we can choose gauges as before to make this term vanish in the limit. Thus, the two integrals agree. \end{proof} \hypertarget{stieltjes_integrals_fuctions_and_distributions}{}\subsubsection*{{Stieltjes integrals, $\delta$-fuctions, and distributions}}\label{stieltjes_integrals_fuctions_and_distributions} An alternative approach to proving FTC would be to observe that essentially by definition of $\mathrm{d}f$, the form \begin{displaymath} f(x+\mathrm{d}x) - f(x) - \mathrm{d}f \end{displaymath} is $o(dx)$. Therefore, $\int_c \mathrm{d}f = \int_c (f(x+\mathrm{d}x)-f(x))$ if either exists. If the latter integral can be calculated using only partitions tagged by their left endpoint, then it is obviously $f(c(b))-f(c(a))$ --- but it is not clear that such partitions suffice. In the list of examples above, we denoted $f(x+\mathrm{d}x)-f(x)$ by $\Delta f$. More generally, we might expect that integration of $\Delta f$ (perhaps multiplied by another function $g$) is a sort of [[Stieltjes integration]]. However, it is again not clear whether left endpoints suffice. We can, at least, show that the second definition of the [[Dirac delta function]] has its expected properties. Recall that this was \begin{displaymath} \delta = \begin{cases} \frac{1}{|\mathrm{d}x|} &\qquad x=0 \;and\; \mathrm{d}x\neq 0\\ 0 &\qquad otherwise. \end{cases} \end{displaymath} \begin{utheorem} For any function $f:\mathbb{R}\to \mathbb{R}$, if $a\le 0 \le b$ then we have $\int_a^b f(x)\, \delta \,\mathrm{d}x = f(0)$ for the affine integral. \end{utheorem} \begin{proof} We define a gauge, denoted $\eta$ (since the letter $\delta$ is already in use) as follows: \begin{displaymath} \eta(x) = \begin{cases} \infty &\qquad x=0\\ {|x|} &\qquad x\neq 0. \end{cases} \end{displaymath} Then in any $\eta$-fine tagged partition, $0$ must be the tag of the subinterval containing it. Therefore, the Riemann sum of $f(x)\, \delta \,\mathrm{d}x$ over any such tagged partition is simply \begin{displaymath} f(0) \frac{1}{|\mathrm{d}x|} \mathrm{d}x \end{displaymath} where $\mathrm{d}x$ is the width of the subinterval containing $0$. But this is positive, so the Riemann sum is simply $f(0)$. Thus, the integral equals $f(0)$. \end{proof} One might instead define $\delta$ to be $1$ if $x=0$, so that we would integrate $f(x)\, \delta$ rather than $f(x) \,\delta \,\mathrm{d}x$. Our choice matches more closely the common informal notation ``$\int f(x)\, \delta(x)\,\mathrm{d}x$'', although of course here $\delta$ is a function of $\mathrm{d}x$ as well as $x$. Our choice also gives $\delta$ the usual scaling and precomposition properties, usually written as \begin{displaymath} \delta(\alpha x) = \frac{\delta(x)}{|\alpha|} \end{displaymath} \begin{displaymath} \delta(g(x)) = \sum_{g(c)=0} \frac{\delta(x-c)}{|g'(c)|} \end{displaymath} In our notation, instead of $\delta(g(x))$ we would write $\delta(g(x),\mathrm{d}g)$, which is how we precompose a differential form with a function; the above formulas then follow from $\mathrm{d}g = g'(x)\,\mathrm{d}x$. Note that $\delta$-functions are usually defined as measures or distributions, which are integrated over \emph{unoriented} regions. Since our integrals are oriented, we have to specify that $[a,b]$ is traversed left-to-right (as in the notation $\int_a^b$) in order to get $f(0)$ as the answer; if we integrated $\int_b^a$ instead we would get $-f(0)$. We can, of course, avoid the minus sign by integrating against $\delta\,|\mathrm{d}x|$ instead of $\delta \,\mathrm{d}x$. (We could also omit the absolute value in the definition of $\delta$, but this would break the usual scaling properties.) Since we have successfully represented the $\delta$-distribution as a cogerm differential form, one may wonder whether other distributions can also be so represented. It is unclear to me whether this is possible. For instance, if $\phi_\epsilon$ are test functions converging to a distribution $\theta$ as $\epsilon\to 0$, we could consider a differential form such as $\theta(x,\mathrm{d}x) = \phi_{\mathrm{d}x}(x)$, but it's not clear whether this would have the right behavior under integration. \hypertarget{higher_forms}{}\subsection*{{Higher forms}}\label{higher_forms} One can define a \textbf{cogerm differential $k$-form} to be a function on germs of $k$-dimensional hypersurfaces in $X$. These include in particular the usual [[differential form|exterior]] differential $k$-forms as well as [[absolute differential form|absolute]] differential $k$-forms. And they can be integrated over $k$-dimensional hypersurfaces, by a similar formula as above. There is a sort of ``\textbf{exterior differential}'' acting from cogerm $k$-forms to cogerm $(k+1)$-forms, which we denote by $(\mathrm{d}\wedge -)$ to avoid confusion with the commutative cogerm differential $\mathrm{d}$. When $k=1$, the definition is \begin{displaymath} \langle \mathrm{d}\wedge \omega {|} c \rangle = \lim_{A \to 0} \frac{1}{\Vert A \Vert} \oint_{c(\partial A)} \omega. \end{displaymath} Here the limit is over some neighborhoods $A$ of $0\in\mathbb{R}^2$ whose areas $\Vert A \Vert$ shrink to zero, and the integral over the boundary is defined as above. The definition for general $k$ is similar. This limit can only exist if the integral $\oint_{c(\partial A)} \omega$ is invariant under oriented reparametrization of $\partial A$. Moreover, if $\omega$ is an absolute form, then usually there will not be enough cancellation to make the limit above finite (it would be analogous to defining a 1-dimensional ``derivative'' as $\lim_{h\to 0} \frac{f(x+h)+f(x)}{h}$ rather than $\lim_{h\to 0} \frac{f(x+h)-f(x)}{h}$). Thus, this ``exterior differential'' seems barely (if at all) more general than the usual one acting on exterior $k$-forms. It is unclear whether there is a notion of exterior differential which is significantly more general. Similarly, it is unclear whether the wedge product of exterior forms can be sensibly extended to cogerm ones, or whether there is a sensible commutative cogerm differential $\mathrm{d}$ acting on cogerm $k$-forms for $k\gt 1$. \hypertarget{nonsymmetrized_version}{}\subsection*{{Nonsymmetrized version}}\label{nonsymmetrized_version} More general than cojet forms (but analytic), we have the \emph{coflare differential forms}, in which there are any number of differentials (or higher differentials) $\mathrm{d}_1x$, $\mathrm{d}_2x$, $\mathrm{d}_{2,1}x = \mathrm{d}_2\mathrm{d}_1x$, etc. Both cojet forms and [[exterior differential forms]] are included in the calculus of coflare forms. \hypertarget{references}{}\subsection*{{References}}\label{references} \begin{itemize}% \item nForum discussions: \href{http://nforum.ncatlab.org/discussion/5402/what-is-a-variable/}{I}, \href{http://nforum.ncatlab.org/discussion/5518/differentials/}{II}, \href{http://nforum.ncatlab.org/discussion/5700/cogerm-forms/}{III}, \href{http://nforum.ncatlab.org/discussion/5817/cojet-differential-forms/}{IV}, \href{http://nforum.ncatlab.org/discussion/5941/higher-differentials-again/}{V}, \href{https://nforum.ncatlab.org/discussion/7636/coflare-differential-forms/}{VI}. \end{itemize} Historical reference saved for later reading: \begin{itemize}% \item Henk Bos (1973). Differentials, Higher-Order Differentials and the Derivative in the Leibnizian Calculus. Archive for History of Exact Sciences 14:1--90. \href{http://dx.doi.org/10.1007%2FBF00327456}{DOI}. \href{http://www.tau.ac.il/~corry/teaching/toldot/download/Bos1974.pdf}{PDF} hosted by Leo Corry. \end{itemize} [[!redirects cogerm differential form]] [[!redirects cogerm differential forms]] [[!redirects cogerm form]] [[!redirects cogerm forms]] [[!redirects cojet differential form]] [[!redirects cojet differential forms]] [[!redirects cojet form]] [[!redirects cojet forms]] \end{document}