A note on the linear independence of a class of series of functions

Abstract: For

k i n m a t h b b R

, we consider a

m a t h b b C

-algebra

m a t h c a l A_{k}

of holomorphic functions in the half plane

R e; z > k

with (at most) subexponential growth on the real line to

+ i n f t y

. In the

m a t h c a l A_{k}

-algebra of sequences of functions

a l p h a : m a t h b b N i g h t a r r o w m a t h c a l A_{k}

, we consider the

m a t h c a l A_{k}

-subalgebra

m a t h c a l H_{k}

consisting in those

a l p h a

for which there exists a continuous map

M : R e; z > k i g h t a r r o w [0, + i n f t y)

such that

| a l p h a (n) (z) | l e q M (z) n^{k}

for all

R e; z > k, n g e q 1

, and

l i m_{x i g h t a r r o w + i n f t y} e^{- a x} M (x) = 0

, for all

a > 0

. Given

L

a sequence of holomorphic functions on

R e; z > k

which satisfies certain conditions, we prove that the map

a l p h a m a p s t o F_{L} (a l p h a)

, where

F_{L} (a l p h a) := s u m_{n = 1}^{+ i n f t y} a l p h a (n) (z) L (n) (z)

, is an injective morphism of

m a t h c a l A_{k}

-modules (or

m a t h c a l A_{k}

-algebras). Consequently, if

n m a p s t o a l p h a_{j} (n) (z) i n m a t h b b C

,

1 l e q j l e q r

, are linearly (algebraically) independent over

m a t h b b C

, for

z

in a nondiscrete subset of

R e; z > k

, then

F_{a l p h a_{1}}, l d o t s, F_{a l p h a_{r}}

are linearly (algebraically) independent over the quotient field of

m a t h c a l A_{k}

.

Recommendations

Cites Work

Cited In (5)

This page was built for publication: A note on the linear independence of a class of series of functions