Calculus in positive characteristic \(p\) (Q531844): Difference between revisions

The author establishes some results on the integral theory of calculus in positive characteristic \(p\). Hasse defined the sequence of hyperderivatives \(\mathcal D_nf(x)\) of a power series \(f(x)\) over a field of arbitrary characteristic by the rule: \(f(x+y)=\sum_{n=0}^\infty\mathcal D_nf(x)y^n\). Instead of the usual \(n\)-th derivatives, Hasse considered the sequence of operators \(\mathcal D_n\), which are nontrivial even over a field of positive characteristic \(p\). After revisiting some basic properties of hyperderivatives in Sections 2 and 3, the author establishes an analogue of the classical logarithm derivative in the positive characteristic \(p\) in Section 4. In Section 5, the author studies the hyperantiderivative of an exact hyperdifferential (defined via hyperderivatives \(\mathcal D_{p^i}\)). The author provides a necessary and sufficient condition for a hyperdifferential form to be exact and proposes a closed formula for finding the hyperantiderivative of an exact form.