Approximation of values of algebraic elements over the ring of power sums

Abstract: Let

m a t h b b Q m a t h c a l E_{m a t h b b Z}

be the set of power sums whose characteristic roots belong to

m a t h b b Z

and whose coefficients belong to

m a t h b b Q

, i.e.

G : m a t h b b N i g h t a r r o w m a t h b b Q

satisfies �egin{equation*} G(n) = G_n = b_1 c_1^n + cdots + b_h c_h^n end{equation*} with

c_{1}, l d o t s, c_{h} i n m a t h b b Z

and

b_{1}, l d o t s, b_{h} i n m a t h b b Q

. Furthermore, let

f i n m a t h b b Q [x, y]

be absolutely irreducible and

a l p h a : m a t h b b N i g h t a r r o w o v e r l i n e m a t h b b Q

be a solution

y

of

f (G_{n}, y) = 0

, i.e.

f (G_{n}, a l p h a (n)) = 0

identically in

n

. Then we will prove under suitable assumptions a lower bound, valid for all but finitely many positive integers

n

, for the approximation error if

a l p h a (n)

is approximated by rational numbers with bounded denominator. After that we will also consider the case that

a l p h a

is a solution of �egin{equation*} f(G_n^{(0)}, ldots, G_n^{(d)},y) = 0, end{equation*} i.e. defined by using more than one power sum and a polynomial

f

satisfying some suitable conditions. This extends results of Bugeaud, Corvaja, Luca, Scremin and Zannier.

Recommendations

Cites Work

Cited In (3)

This page was built for publication: Approximation of values of algebraic elements over the ring of power sums