b)
Thakur's hypergeometric polynomials. We consider the polynomial case of Thakur's hypergeometric function (1.5), that is
$$\begin{array}{c}{}_{l}{F}_{\lambda}({a}_{1},\dots ,{a}_{l};{b}_{1},\dots ,{b}_{\lambda};z)={\sum}_{m}\frac{({a}_{1}{)}_{m}\dots ({a}_{l}{)}_{m}}{({b}_{1}{)}_{m}\dots ({b}_{\lambda}{)}_{m}{D}_{m}}{z}^{{q}^{m}}\end{array}$$ 
(7.10)

where
${a}_{1},\dots ,{a}_{l},{b}_{1},\dots ,{b}_{\lambda}\in {\mathbb{Z}}_{+}$
. It is seen from (1.4) that the terms in (7.10), which make sense and do not vanish, are those with
$m\le min({a}_{1},\dots ,{a}_{l},{b}_{1},\dots ,{b}_{\lambda})$
. Let the function
$f\in {\mathcal{\mathcal{F}}}_{l+\lambda +1}$
be given by
$$f(s,{t}_{1},\dots ,{t}_{l},{u}_{1},\dots ,{u}_{\lambda})={\sum}_{{k}_{1}=0}^{\infty}\dots {\sum}_{{k}_{l}=0}^{\infty}{\sum}_{{\nu}_{1}=0}^{\infty}\dots {{\sum}_{{\nu}_{\lambda}=0}^{\infty}}_{l}{F}_{\lambda}({k}_{1},\dots ,{k}_{l};{\nu}_{1},\dots ,{\nu}_{\lambda};s){t}_{1}^{{q}^{{k}_{1}}}\dots {t}_{l}^{{q}^{{k}_{l}}}{u}_{1}^{{q}^{{\nu}_{1}}}\dots {u}_{\lambda}^{{q}^{{\nu}_{\lambda}}}.$$
It is known ([
37]
, Sect. 6.5) that
$$\begin{array}{c}{{d}_{s}}_{l}{F}_{\lambda}({k}_{1},\dots ,{k}_{l};{\nu}_{1},\dots ,{\nu}_{\lambda};s){=}_{l}{F}_{\lambda}({k}_{1}+1,\dots ,{k}_{l}+1;{\nu}_{1}+1,\dots ,{\nu}_{\lambda}+1;s)\end{array}$$ 
(7.11)

if all the parameters
${k}_{1},\dots ,{k}_{l},{\nu}_{1},\dots ,{\nu}_{\lambda}$
are different from zero. If at least one of them is equal to zero, then the lefthand side of (7.11) equals zero. This property implies the identity
${d}_{s}f=f$
, the same as that for the Carlitz module function. Thus,
$f$
is holonomic.
c).
$K$
binomial coefficients. It can be shown [
22]
that the
$K$
binomial coefficients
$(\genfrac{}{}{0ex}{}{k}{m}{)}_{K}$
(see Sect. 6) satisfy the Pascaltype identity
$$\begin{array}{c}(\genfrac{}{}{0ex}{}{k}{m}{)}_{K}=(\genfrac{}{}{0ex}{}{k1}{m1}{)}_{K}^{q}+(\genfrac{}{}{0ex}{}{k1}{m}{)}_{K}^{q}{D}_{m}^{q1}\end{array}$$ 
(7.12)

where
$0\le m\le k$
and it is assumed that
$(\genfrac{}{}{0ex}{}{k}{1}{)}_{K}=(\genfrac{}{}{0ex}{}{k1}{k}{)}_{K}=0$
.
Consider a function
$f\in {\mathcal{\mathcal{F}}}_{2}$
associated with the
$K$
binomial coefficients, that is
$$\begin{array}{c}f(s,t)={\sum}_{k=0}^{\infty}{\sum}_{m=0}^{k}(\genfrac{}{}{0ex}{}{k}{m}{)}_{K}{s}^{{q}^{m}}{t}^{{q}^{k}}.\end{array}$$ 
(7.13)

The identity (7.12) implies the equation
$${d}_{s}f(s,t)={\Delta}_{t}f(s,t)+\left[1{]}^{1/q}f\right(s,t)$$
for the function (7.13). Therefore
$f$
is holonomic.
Acknowledgements This work was supported in part by CRDF (Grant UM12567OD03), DFG (Grant 436 UKR 113/72), and the Ukrainian Foundation for Fundamental Research (Grant 01.07/027).
References

F. Baldassarri, Differential modules and singular points of
$p$
adic differential equations, Adv. Math. 44 (1982), 155–179.

Yu. Berest and A. Kasman,
$\mathcal{D}$
modules and Darboux transformations, Lett. Math. Phys. 43 (1998), 279–294.

L. Carlitz, On certain functions connected with polynomials in a Galois field, Duke Math. J. 1 (1935), 137–168.

L. Carlitz, Some special functions over
$GF(q,x)$
, Duke Math. J. 27 (1960), 139–158.

P. Cartier, Démonstration “automatique” d'identités et fonctions hypergéometriques (d'après D. Zeilberger), Astérisque 206 (1992), 41–91.

D. N. Clark, A note on the
$p$
adic convergence of solutions of linear differential equations, Proc. Amer. Math. Soc. 17 (1966), 262–269.

K. Conrad, The digit principle, J. Number Theory 84 (2000), 230–237.

S. C. Coutinho, A Primer of Algebraic Dmodules, Cambridge University Press, 1995.

B. Dwork, G. Gerotto, and F. J. Sullivan, An Introduction to
$G$
Functions, Princeton University Press, 1994.

L. Ferrari, An umbral calculus over infinite coefficient fields of positive characteristic, Comp. Math. Appl. 41 (2001), 1099–1108.

D. Goss, Fourier series, measures, and divided power series in the theory of function fields, KTheory 1 (1989), 533–555.

D. Goss, Basic Structures of Function Field Arithmetic, Springer, Berlin, 1996.

S. Jeong, Continuous linear endomorphisms and difference equations over the completions of
$\mathbb{F}q\left[T\right]$
, J. Number Theory 84 (2000), 276–291.

S. Jeong, Hyperdifferential operators and continuous functions on function fields, J. Number Theory 89 (2001), 165–178.

A. N. Kochubei, Harmonic oscillator in characteristic
$p$
, Lett. Math. Phys. 45 (1998), 11–20.

A. N. Kochubei,
$\mathbb{F}q$
linear calculus over function fields, J. Number Theory 76 (1999), 281–300.

A. N. Kochubei, Differential equations for
$\mathbb{F}q$
linear functions, J. Number Theory 83 (2000), 137–154.

A. N. Kochubei, Differential equations for
$\mathbb{F}q$
linear functions II: Regular singularity, Finite Fields Appl. 9 (2003), 250–266.

A. N. Kochubei, Umbral calculus in positive characteristic, Adv. Appl. Math. 34 (2005), 175–191.

A. N. Kochubei, Strongly nonlinear differential equations with Carlitz derivatives over a function field, Ukrainian Math. J. (to appear), math.NT/ 0405542.

A. N. Kochubei, Polylogarithms and a zeta function for finite places of a function field, Contemporary Math. (to appear); math.NT/0405544.

A. N. Kochubei, Holonomic modules in positive characteristic, math.RA/0503398.

M. B. Nathanson, Additive number theory and the ring of quantum integers, math.NT/0204006.

B. Poonen, Fractional power series and pairings on Drinfeld modules, J. Amer. Math. Soc. 9 (1996), 783–812.

M. van der Put, Meromorphic differential equations over valued fields, Indag. Math. 42 (1980), 327–332.

M. van der Put, Differential equations in characteristic
$p$
, Compositio Math. 97 (1995), 227–251.

A. M. Robert, A Course in
$p$
Adic Analysis, Springer, New York, 2000.

S. Roman, The Umbral Calculus, Academic Press, London, 1984.

G.C. Rota, D. Kahaner and A. Odlyzko, On the foundations of combinatorial theory. VIII. Finite operator calculus, J. Math. Anal. Appl. 42 (1973), 684–760.

C. Sabbah, Systèmes holonomes d'équations aux qdifferences. In: Dmodules and Microlocal Geometry (M. Kashiwara et al., eds.), Walter de Gruyter, Berlin, 1993, pp. 125–147.

S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives: Theory and Applications, Gordon and Breach, New York, 1993.

W. Schikhof, Ultrametric Calculus, Cambridge University Press, 1984.

M. Setoyanagi, Note on Clark's theorem for
$p$
adic convergence, Proc. Amer. Math. Soc. 125 (1997), 717–721.

D. Sinnou and D. Laurent, Indépendence algebrique sur les
$T$
modules, Compositio Math. 122 (2000), 1–22.

D. S. Thakur, Hypergeometric functions for function fields, Finite Fields and Their Appl. 1 (1995), 219–231.

D. S. Thakur, Hypergeometric functions for function fields II, J. Ramanujan Math. Soc. 15 (2000), 43–52.

D. S. Thakur, Function Field Arithmetic, World Scientific, Singapore, 2004.

L. Van Hamme, Continuous operators, which commute with translations, on the space of continuous functions on
${\mathbb{Z}}_{p}$
. In:
$p$
Adic Functional Analysis (J. M. Bayod et al., eds.), Lect. Notes Pure Appl. Math. 137, Marcel Dekker, New York, 1992, pp. 75–88.

A. Verdoodt, Umbral calculus in nonArchimedean analysis. In:
$p$
Adic Functional Analysis (A. K. Katsaras et al., eds.), Lect. Notes Pure Appl. Math. 222, Marcel Dekker, New York, 2001, pp. 309–322.

J. F. Voloch, Differential operators and interpolation series in power series fields, J. Number Theory 71 (1998), 106–108.

C. G. Wagner, Linear operators in local fields of prime characteristic, J. Reine Angew. Math. 251 (1971), 153–160.

Z. Yang, Locally analytic functions over completions of
${\mathbf{F}}_{r}\left(U\right)$
, J. Number Theory 73 (1998), 451–458.

Z. Yang,
${C}^{n}$
functions over completions of
${\mathbb{F}}_{r}\left[T\right]$
at finite places of
${\mathbb{F}}_{r}\left(T\right)$
, J. Number Theory 108 (2004), 346–374.