Abstract:The paper generalizes Lazarus Fuchs' theorem on the solutions of complex ordinary linear differential equations with regular singularities to the case of ground fields of arbitrary characteristic, giving a precise description of the shape of each solution. This completes partial investigations started by Taira Honda and Bernard Dwork. The main features are the introduction of a differential ring $\mathcal{R}$ in infinitely many variables mimicking the role of the (complex) iterated logarithms, and the proof that adding these "logarithms" already provides sufficiently many primitives so as to solve any differential equation with regular singularity in $\mathcal{R}$. A key step in the proof is the reduction of the involved differential operator to an Euler operator, its normal form, to solve Euler equations in $\mathcal{R}$ and to lift their (monomial) solutions to solutions of the original equation. The first (and already very striking) example of this outset is the exponential function $\exp_p$ in positive characteristic, solution of $y' = y$. We prove that it necessarily involves all variables and we construct its explicit (and quite mysterious) power series expansion. Additionally, relations of our results to the Grothendieck-Katz $p$-curvature conjecture and related conjectures will be discussed.

Some Transcendental Functions over Function Fields with Positive Characteristic

A transcendence criterion in positive characteristic and applications

Hypergeometric Functions for Function Fields and Transcendence

Transcendence and the Carlitz–Goss Gamma Function

Transcendence of L(1,χ S )/Π in Positive Characteristic. A Simple Automata-Style Proof

A generalized family of transcendental functions with one dimensional Julia sets

Expansions in completions of global function fields

Nonvanishing of $L$-function of some Hecke characters on cyclotomic fields

Normal Bases For Function Fields

Arithmetic Problems in Cubic and Quartic Function Fields

Infinite-dimensional Thurston theory and transcendental dynamics II: classification of entire functions with escaping singular orbits

On the Exceptional Set of Transcendental Entire Functions in Several Variables

The T^1-lifting theorem in positive characteristic

Special Values of Fractional Hypergeometric Functions for Function Fields

Carlitz-Goss gamma function, Wade's method, and transcendence

Quantitatively hyper-positive real rational functions II

Transcendence of values of logarithms of $E$-functions

Fuchs' theorem on linear differential equations in arbitrary characteristic

An Explicit Uniform Mordell Conjecture over Function Fields of Characteristic Zero

A simple proof of the transcendence of the trigonometric functions

Non-Linearizability of power series over complete non-Archimedean fields of positive characteristic