On the asymptotic of homological solutions to linear multidimensional difference equations Текст научной статьи по специальности «Математика»

УДК 517.55

On the Asymptotic of Homological Solutions to Linear Multidimensional Difference Equations

Natalia A. Bushueva*

Institute of Mathematics and Computer Science Siberian Federal University Svobodny, 79, Krasnoyarsk, 660041

Russia

Konstantin V. Kuzvesov^

Multifunctional Center 9 May, 12, Krasnoyarsk, 660125

Russia

Avgust K. Tsikh

Institute of Mathematics and Computer Science Siberian Federal University Svobodny, 79, Krasnoyarsk, 660041

Russia

Received 18.08.2014, received in revised form 25.09.2014, accepted 20.10.2014 Given a linear homogeneous multidimensional difference equation with constant coefficients, we choose a pair (y, ш), where 7 is a homological k-dimensional cycle on the characteristic set of the equation and ш is a holomorphic form of degree k. This pair defines a so called homological solution by the integral over 7 of the form ш multiplied by an exponential kernel. A multidimensional variant of Perron's theorem in the class of homological solutions is illustrated by an example of the first order equation.

Keywords: difference equation, asymptotic, amoebas of algebraic sets, logarithmic Gauss map

Introduction

In this paper we consider linear homogeneous difference equations. In one-dimensional case they can be written as

f (x + k) + ak+1(x)f (x + k - 1) + • • • + ao(x)f (x) = 0, (1)

where f (x) is an unknown function of a discrete argument x e Z (or Z+) with values in C. Equations (1) were studied in detail in [1-3]. In the case of constant coefficients (when all aj do not depend on x) one associates with the equation (1) its characteristic polynomial

P (z) = zk + ak_izk-1 + ••• + ao. (2)

The roots A1; ..., Ak e C of this polynomial generate the space of solutions to (2) as exponential solutions; for example, if all roots are different, then Af, ..., Af are a base of the solution space.

In the case of variable coefficients an important role is played by the limit characteristic polynomial, which coefficients ak are equal to the limits of functions ak (x) as x ^ But in this case we can speak only of the effect of the roots of the limit characteristic polynomial on the asymptotic of the solutions to the equation (1), as follows from Poincare's theorem.

* [email protected] [email protected] [email protected] © Siberian Federal University. All rights reserved

Theorem (Poincare [1], see also [3]). Assume that the coefficients aj(x) of equation (1) have finite limits

lim aj(x) =: aj, j = 0,. .., k — 1,

and that the roots Ai,...,Ak of the limit characteristic polynomial all have different absolute values.

Then for any nonvanishing solution f (x) to the equation (1) the limit

y f (x +1) lim j/ N

x^+TO f (x)

exists and is equal to one of the characteristic roots Aj.

f (x + 1)

The question whether the limits of the ratios ——-— attain all the values of roots of the

f(x)

limit characteristic polynomial (when all base solutions f (x) of the equation (1) are run over) is answered by Perron's theorem.

Theorem (Perron [2], see also [3]). Assume that all conditions of the Poincare theorem hold for the equation (1), and moreover a0(x) = 0 for all x £ Z. Then there are k solutions fi(x),..., fk(x) of this equation such that

lim f+)11 =Aj, j = i,...,k.

x^+TO fj (x)

Now consider the multidimensional case. Let f(x) = f(x1,...,xn) be a complex-valued function of a discrete argument x £ Zn. We consider the linear shift operators on the vector space of such functions:

Sjf (x) = f (x + ej) = f (xi,... ,xj_i,xj + 1, xj+i,... ,x„), j = 1,... ,n.

Using notation S = (Ji,..., Sn) we can associate to every polynomial

P(x, z) = ^^ aa(x)za aeA

a difference equation

P(x, J)/(x) ^^ aa(x)f (x + a) = 0;

xj a ^

aeA

here A C Z+ is a finite set of indices a = (ai,..., an).

In the case of constant coefficients aa(x) = aa the polynomial

P(z) aaza

aeA

is said to be characteristic and each its solution z = A = (A1,...,A„) defines an elementary exponential solution / (x) = Ax = A^1 ... A^". But now the characteristic set

V = {z G Cn : P(z) = 0}

is not finite, so there exist many ways to compose solutions from the elementary exponents. For example, if the characteristic polynomial P(z) has no multiple factors, then all exponential solutions can be written as the integral [4]

/ (x) = y zxdM(z), (3)

V

where d^ is a measure with the support on the characteristic set.

In the present paper we introduce a subclass of exponential solutions for which the measure d^ in (3) is given by the pair (7, w), where 7 G Zk(V) is a k-dimensional homological cycle on V and w G Ok(V) is a closed holomorphic differential form on V of degree k. That is, we consider solutions given by the integral

f (x) = J zxw(z), y G Zk(V), w G Qk(V), k = 1,... ,n - 1. (4)

Y

We call them admissible or homological solutions, since they depend only on the homology class of 7. The restriction of the integral (4) on the ray Lq = {x = q • l; l G N} with the directing vector q = (qi,..., qn) G Zn \ {0} turns into the Laplace integral

f (x)|L, =| w(z)e''<q>z>,

Y

with the parameter l and the phase

y(z) = (q, ln z) = qi ln zi +-----+ q„ ln z„.

Consequently, the behaviour of a homological solution f (x) along radial directions can be studied by the method of stationary phase (see [5]). The stationary (critical) points of the phase y are exactly the values of the inversion z = Y-i(q) of the logarithmic Gauss map 7 for the characteristic set V (see formula (8) in section 2).

In the paper [6] solutions (4) were considered only for k = n — 1, i.e. for half-dimensional cycles 7. For such solutions a multidimensional analog of Poincare's theorem was proved in [6], where instead of the ratio f (x + 1)/f (x) the authors considered the vector (see section 2)

f (x + ei) f (x + en) f (x) ^^ f (x)

restricted on the ray Lq. This vector we call a Horn vector.

The main purpose here is to show by an example of one-order equation that the study of all dimensions k = 1,..., n in (4) allows to obtain a multidimensional Perron theorem (Theorem 3).

1. Basic definitions and some known facts around the concept of amoeba

Let us recall same notions and definitions we shall use. Denote by Tn = (C\{0})n the complex algebraic torus.

Definition 1 ( [7]). The amoeba Av of an algebraic set V c Tn is the image of V under the logarithmic map Log : Tn ^ Rn defined by the formula

Log : (zi,... ,zn) ^ (log|zi|,... ,log|zn|).

An important notion in the study of amoebas is the following one.

Definition 2 ( [8]). The contour Cv of the amoeba Av is defined to be the set of critical values of the logarithmic map Log restricted to V.

The structure of the contour is described with the help of the logarithmic Gauss map

yv : V ^ CPn_i,

which to any nonsingular point z £ V associates the complex normal yv (z) to the hypersurface log V at the point log z (here log Zj = log |zj | + i arg Zj is the complete (complex) logarithm). In the case of a hypersurface

V = {z £ Tn : P(z) = 0},

when V is the zero set of a single polynomial P(z), the logarithmic Gauss map admits the following analytic expression

dP dP

(zi,... ,z„) ^ (zi ^ : • • • : z„-—).

dzi 5z„

For the surfaces of codimension greater than 1 the corresponding expression for the logarithmic Gauss map see in [9].

Theorem ( [10]). A point of a hypersurface V is critical for the map Log|V if and only if its image under the logarithmic Gauss map belongs to the real projective subspace RPn-i C CPn-i.

According to this statement the contour CV of the amoeba AV is the set Log(Y_i(RPn_i)). The boundary dAV of the amoeba belongs to the contour CV but in general CV is larger. We say that the boundary dAV comprises the external part of the contour CV, while the rests of the contour we call its internal part.

Sometimes it is more useful to study the contour of the amoeba looking at the compactified amoeba.

By the compactified amoeba AV of a projective algebraic set V C CPn defined in the homogeneous coordinates (Z0 : • • • : Zn) we call the image of this variety under the moment map M : CP„ ^ £„

(Z : : Z ) (|Zo|,..., |ZW|) (Zo : ••• : Zn) ^|Zo| + ••• + |Zn|

into the standard simplex S„ = {t £ Rn+i : tj > 0,to +-----+ tn = 1} [11].

Remark. The projective space CPn is the union of the complex torus Tn and n +1 hypersurfaces {Zj =0}, j = 0,..., n. The amoeba AV corresponds to the points of V in the complex torus Tn, the compactified amoeba AV corresponds to AV with the (n + 1) compactified amoebas of hypersurfaces Vj = Vp|{Zj = 0} of one dimension less.

Definition 3. The contour of a compactified amoeba is the image of the set of critical values of the projection Log|V under the moment map m.

Example 1. The amoeba of the complex line zi + z2 + 1 = 0 in T2 is shown on Fig. 1 (left). The contour of this amoeba consists only of the boundary dAV. The compactified amoeba of this line is shown on Fig. 1 (right) as the shaded triangle.

Theorem ( [11,12]). Let n ^ 3. The compactified amoeba AV of the hyperplane

V = {z £ Tn : P = bo + Mi + • • • + b„z„ = 0}, bj = 0,

is an n-dimensional polyhedron with 2(n +1) hyperfaces in the simplex £„ defined by the inequalities

n

tj > 0, y, ti = 1, j tj ^Y, % tk, j = 0,..., n,

l=0 k=j

Fig. 1. Amoeba for a complex line in C2 and its compactified variant

where fy = |bj The external part of its contour (the boundary dAV) consists of (n+1) simplicial faces of Av

t G £„ : fyjtj = ^2 fyktk, j = 0,..., n,

k=j

and the internal part consists of (2n — n — 2) polyhedrons of the form

t G En : ^ ßktk =J2 ßiti

I kei i/i

I C{0,...,n}, 2 < #I < n - 1.

We see that in the case n = 2 the internal part of the contour of the amoeba is empty (we saw this also in Example 1). For n = 3 the compactified amoeba of the hyperplane zi + z2 + + 1 = 0 in C3 is an octahedron (Fig. 2). On the left of Fig. 2 the external part of the contour is coloured, it consists of n +1 = 4 faces of the octahedron, which correspond to the boundaries of connected components of R3 \ Av. The remaining 2n — (n +1) — 1 = 3 internal pieces of the contour are parallelograms, each dividing the octahedron in two quadrangular pyramids (on the right of Fig. 2). In accordance with the remark to the definition of the compactified amoeba, the four non coloured faces of the octahedron correspond to amoebas of smaller dimension, namely, to amoebas of lines Vj.

Fig. 2. The external and internal parts of the contour of the compactified amoeba for the complex hyperplane zi + + + 1=0 in C3

Further, we shall need some more general facts about amoebas.

1. The complement Rn \AV consists of a finite number of connected components {E}, each is open and convex, and each preimage Log-i(E) is the domain of convergence of the corresponding Laurent series for the rational function 1/P centred at the origin, see [7].

2. There exists an injective mapping

v : {E} ^ Zn n NP

such that the normal cone of the Newton polyhedron NP at the point v(E) coincides with the recession cone of the component E. The integer vector v(E) is called the order of the component E, and we shall denote by Ev the component of the order v, see [11].

3. The number of connected components is at least equal to the number of vertices of the polytope NP and is at most equal to the total number of integer points of NP:

#vertNp < #{E} < #{Zn n Np} .

2. Fundamental solutions to equations with constant coefficients

In [6] a class of fundamental solutions to the scalar difference equations with constant coefficients

P (<*)/(x) = 0 (5)

was defined. Like homological solutions (4) these fundamental solutions are defined by integrals, but the integration cycles here lie outside the characteristic set. Namely, in [6] to each connected component Ev of the amoeba complement Rn \AV a fundamental solution is associated by means of the integral

I /" zx dz

P(x) = ^y P(Z)T' (6)

rv

where rv = Log-1 u is an n-dimensional real torus defined by an arbitrary point u G Ev (Fig. 3),

and — is the differential form —1 A • • • A —-. The integral (6) satisfies the relation

z Z1 Z—

V aaPv(x + a) = ,0 \n f zX — = ^x,0' a£A V ' rV

where Jx,0 is the function equal to zero for all x G Zn \ {0}, and at the point 0 its value is equal to 1. Thus, P(x) is a fundamental solution.

Now, a certain class of solutions to equation (5) can be obtained as linear combinations of fundamental solutions

/(x) = ^2i mvPv(i), = 0. (7)

v v

In fact, besides (5), the class of solutions (7) satisfies the extended system of difference equations

P(*)/(x) := £ ««/(x + a) =0,

aeA

£ (x—ai - xja-)aa/(x + a) = 0, i = 1, ..., n - 1, aeA

E2,

2,1

Fig. 3. Components of the amoeba complement for the polynomial z2w — 4zw + zw2 + 1 and some integration cycles rv

which is called the associated system for the equation (5). This system is holonomic, i.e. the dimension of the space of its solutions is finite. As x ^ to along the ray x = a + lq with the directing vector q = (q1;..., qn) its limit characteristic system is

P (z) =0,

iPz

znPz,

= — i = 1

qn '

.., n — 1.

(8)

The roots z = A(q) of the algebraic system of equations (8) are exactly the preimages Y-1(q) of the logarithmic Gauss map 7 : V ^ CPn-1 (see the analytic definition of 7 in section 1). The asymptotic behaviour of solutions (7) is described by the following theorem.

Theorem (Leinartas, Passare, Tsikh [6]). If for the direction q G QPn-1 the roots Aj)(q) of the limit characteristic system (8) are such that the absolute values of all monomials [A(j) (q)]q are different, then for any solution f (x) of the form (7) non-vanishing on the sequence {a + lq}, a G Zn, the limit of the Horn vector

V f (-)

f (- + ew) f (-)

x=a+lq

is equal to one of the characteristic roots A(p)(q).

In [6] we investigated the connection between combinations (7) of fundamental solutions (6) and homological solutions (4) in the case k = n — 1. In section 3 we shall complete the list of fundamental solutions (see formula (17)) and describe their connection with homological solutions (4) for k ^ n — 1 (see Proposition 1).

3. Multidimensional Version of the Perron Theorem for the First Order Difference Equation

Consider a scalar difference equation of the first order

bof (z) + &1f (x + e1) + • • • + b„f„(x + en) = 0, (9)

1

with the linear function as the characteristic polynomial

P (z) = 6q + bizi +-----+ b„z„.

(10)

In this case the characteristic set V = {z G Tn : P(z) =0} is a hypersurface. We assume that all coefficients bj = 0.

We introduce the following notion in order to formulate results in terms of the contour of the amoeba.

Definition 4. The logarithmic Horn vector of the function f (x) along the direction q G is defined to be the vector

2-1

log

f (x + ei)

f (x)

, log

f (x + e„)

f(x)

Theorem 1. The limit positions of the logarithmic Horn vector for fundamental solutions (6) to the scalar first order difference equation (9) fill the external contour of the amoeba .

Proof. In the case of the first order scalar difference equation the theorem by Leinartas-Passare-Tsikh [6] describes the asymptotic behaviour of solutions f (x) only for directions q, corresponding to the external part of the contour of the amoeba of the characteristic set, because according to the definition, the fundamental solution Pv(a + 1q) is equal to zero for directions q, corresponding to the internal part of the contour of . □

Recall that an admissible solutions of the equation (9) has the form

f(x) =

zx w(z), Y G Z(V), w G (V).

(11)

Fundamental solutions (6), described in the previous section, are defined by integrals over cycles y G Hn-1(V) of maximal dimension. We use them to obtain solutions to the equation (10) with asymptotic behaviour only along the directions q that correspond to the internal part of the contour of the amoeba of the characteristic set V = {z G Tn : P(z) = 0}.

The remaining solutions with asymptotic along the directions q, corresponding to the internal part of the contour of , are given by the cycles t g (V) of smaller dimension k < n — 1.

Let us find a section of V by a plane S such that a point of the internal part of the contour of the amoeba lies in the external part of the contour of the section V n S.

Lemma 1. Let the point a belong to the internal part of the contour of the amoeba of the complex hypersurface V = {z G Tn : b0 + b1z1 + • • • + bnzn = 0}. Then there exists a plane S of the form {zj = cj = const : j G J} (here J is a subset of {1,..., n} and depends on the point a) such that

— the point a belongs to the internal part of the contour of the amoeba ns;

— the parts of the external contour of the amoeba nS that do not contain the point a belong to the external part of the contour of the amoeba .

Proof. The critical set of the logarithmic projection Log |V is defined by a solution z(q) of the system of equations

bo + b1z1 +-----+ b„z„ = 0,

b1z1 b„ z„

q1 qn

where q = (q1 : • • • : qn) G RPn-1. This solution is given by the formula

zi(q) = —

bo

qi

bi q1 +-----+ q„

1,

(12)

n.

Let us find out for which values of q the image Log z(q) lies in the external and in the internal part of the contour of AV.

On the Reinhardt diagram, the external part of the contour corresponds to the boundary of the image of V. The boundary consists of n + 1 connected components defined by the equations

|bizi| + ••• + |&„z„MM =0,

|bizi|+----|bjzj| + • • • + |bnz„| + |bo| =0, j = 1,...,

(13)

(14)

Indeed, on the Reinhardt diagram, in a neighbourhood of the image of each solution to, for example, the equations (13), there are both points belonging to the image of V, and points that do not have a preimage on V. Such points should be looked for on hyperplanes defined by the equations of the kind

|bi ||zi | + ••• + |bn||zn|- r = 0.

(15)

For r < |bo| the solutions to (15) do not have a preimage on V, and for r > |b0| there are points from a neighbourhood of the solution having a preimage. Similarly, the equations (14) describe the external part of the contour.

Now we find the condition on the parameter q which guarantees that the image of the critical points of the logarithmic map lies in the boundary of V on the Reinhardt diagram.

We substitute (12) in (13) and (14) to see that the parameters corresponding to the connected components of the external part of the contour satisfy one of the equations

qi

qi

qi +-----+ qn

q1 +----

+ qn

qj

qi +-----+ qn

+ ••• +

+

qn

q1 • +

+ qn

qn

-1 = 0,

qi +-----+ qn

+ 1 = 0, j = 1,.

Therefore, the image Log z(q) of the point z(q) lies in the external part of the contour of AV if the inequality

—q— > o

qi +-----+ qn

holds either for all i or only one.

Correspondingly, the image a of the point z0 = z(q0) belongs to the internal part of the contour of AV if

qjo

q0 + • • • + q0

q0

q0 + • • • + q0

< 0 for j G J C {1,. .. , n}, > 0 for i G {1, ..., n} \ J,

(16)

with the condition 1 ^ | J| ^ n — 2 on the cardinal number of the set J (for n = 3 see Fig. 4, where (qi,q2) are affine coordinates).

Consider the point a lying in the internal part of the contour of AV and construct a suitable section S.

Let a = Log z0 and z0 = z(q0). Determine the set J, for which the parameter q0 = (q0,..., q^) satisfies the system of equation (16) and consider the plane

S = {z G Tn : zj = Cj, j G J}, where cj = z0 are constants, which depend on the parameter q0:

60

bj q0 + • • • + q

0 n

n.

n

0

q

j

Cj = —

j

q i + q2 + 1 = 0

q i + q2 + 1 = 0

Fig. 4. The connected components of the definition domain for the parametrization of the contour of the amoeba of a plane in C3: for the external components (left) and for the internal components (right)

The intersection of V and S is a plane, which we see as a hyperplane in the space T11 of the remaining variables 'z = (z,), i G I, where I = {1,..., n} \ J:

V n S = {'z G Tm : b0 + Y hCJ + X) biz, = 0}.

jeJ

ie/

The Log-image of the point 'z0 with the coordinates z°, i G I, belongs to the external part of the contour of AVnS• Indeed, denote b0 = b0 + £jeJ bjcj, then according to (12) the contour of amoeba nS consists of the Log-images of points 'z G T111 with the coordinates

zi® = -

_bo Qi

i G I,

where (/ = (q,j)je/ runs over RP|/1_i. Furthermore, the point 'z0 corresponds to the value of q such that

bo Qi

bo

qi

Qi bi q0 +-----+ q'

i G I.

So, according to (16), for all i G I

qQi

b0

b0

Eie/ Qi b0 q0 + • • • + q'

1

b0 ^je j bj ( -

q0

b0

qj0

q0 + • • • + q'

1 ^ q30 q0 + • • • + q

^jeJ q0 + ••• + qS0

bj q0 + • • • + q > o,

this means that the point Log('z0) belongs to the external part of the contour of the amoeba nS.

Hence, the first statement of the lemma is proved.

Now consider the parts of the contour of nS not containing the point a. It is obvious that the internal parts of the contour of nS, if they exist, do not intersect the external contour of Av •

0

0

q

q

then

Let the image of the point 'z

qi

z(q) G S lies in the external part of the contour of AVnS, > 0 only for one i from I, because the external part of the contour, corresponding

Sie/ qi

to the positive relations for all i, contains the point a. The point z G V, corresponding to 'z G V n S, has the parametrization z = z(q), related to the parameters used above by

bn

bi q i H-----H qn

bn qj bj q l H-----H qn

bi Eie/

bn

bj qn + • • • + q;

for i G I, for j G J.

Let us show that the image of the point z lies in the external part of the contour of . Indeed, for i G I the inequality

qi

qi

bo + Eje J bj c3

qqi

qi +-----+ qn boEi£/ qi bo qi

holds only for one value of i. But for j G J

qo

qj qj

i-E

qjn

qqi

je J

q n H

H qnn

ie/ qqi

> 0

q l H-----H qn

q n H

H qnn

< 0.

Thus, the second statement of the lemma is also proved. □

It follows that in the constructed sections we act exactly as in Cn taking into account that one of the external parts of the contour of the amoeba nS of the section lies in the internal contour of the amoeba of the given hyperplane.

We are now going to determine the asymptotic of the solutions of the type (11) for the cycles of dimension less then n — 1 in the directions q corresponding to the internal part of the contour of . Let z = z(q) be a point in the internal part of the contour, this means

qj

q l H-----H qn

qi

q i H-----H qn

< 0 for j G J =C{1,...,n}, > 0 for i G I = {1,...,n}\ J,

and k is the cardinal number of I.

Consider a cycle 7 G 1 (V n S) and the corresponding integral

f (*) = / "(z) = / n j n zf ^(zj) = n j J n zf w(cj,zi)

where zJ = (zj! , . . . , zjn-k ), z1 = (zil , . . . , zifc ) and CJ = (cji , . . . , Cj„_fc ).

For x = ql it is a Laplace integral

f (ql) = H Cqj I exp(l < qi,lnz/ >)^(cj,z/). j£J Y

The critical phase points <^(z/) =< q/, ln z/ >|VnS coincide with the critical points of the monomial z/qi and project to the contour of the amoeba nS (see [6]). Moreover, max Re ^(z/) is

Zj £7

attained in the only point z/(q) G V n S, for which the image of the logarithmic Gauss map 7(z/) equals to q/.

n

z = —

n

q

j

zo = —

0o = —

j

j

n

Therefore, following the saddle point method, we have the asymptotic

f II j 1 • C • rkz/(q)qi 1 = C • l-kz(q)qi, l ^ to,

k

k

je J

where the coefficient C does not depend on l, therefore,

lim log f (f. + e) =log |z(q)|. i^œ f ( ql )

Note that it is possible to calculate the asymptotic of the solutions of the type (11) represented by integrals over any cycles y G (V) and not only over cycles lying in the section VnS. Indeed, by the Bernshtein-Danilov-Khovanskii theorem [13] the elements of the group (V) are given by cycles in sections of V by complex planes of dimension k. One can do this the following way.

Every k-cycle on V is homologous to a sum of iterated Leray coboundaries over the intersection of the closure V in Cn with intersections of k coordinate planes Tj = {z G Cn : zj = 0} (see [14]):

where the sum is taken over all ordered sets of integers 1 < i 1 < • • • < < n, and is an iterated Leray coboundary [15].

The construction of a Leray coboundary allows to consider a tube not just in Cn but in the section V n S c Tn over the intersection V nie/ Tj. Therefore, any k-dimensional cycle on V is homologous to a sum of cycles lying in the section of V by some k-dimensional plane.

Consider on the chosen intersections V n S the fundamental solutions

where r/jV = Log- 1 and belongs to E/jV, a connected component of the complement of the amoeba nS C Rk.

This proves the following theorem.

Theorem 2. The limit positions of the logarithmic Horn vector for the fundamental solutions (17) of the first-order scalar difference equation (9) fill the internal contour of the amoeba .

Analogously to formula (7), a linear combination of solutions (17) gives some class of solutions to the equation (9):

Hk(V)= 0 ¿fcHc(VnTil n---nTik),

l^il <••• <ik

(17)

f (x) = Yj m/,vP/,v(x), Y m/,v = 0.

V

Moreover, f (x) can be represented in the form (11) due to the following proposition. Proposition 1. For v =

where Res

dz/

is a Leray residue form for in (C \ {0})k.

P (z)z/

M be defined by points and

from different connected and by the segment h.

Proof. Let the cycles r/jV and r_f components of the complement of the amoeba nS• Connect u, The difference of the cycles r/ v — T/jM is homeomorphic in Ck \ V n S to a tube over the cycle V n S n Log-1(h).

Indeed, Log-1(h) is a (k + 1)-dimensional chain homeomorphic to a cylinder: Log-1(h) ~

I x S x ... S1. The tube over V n Sn Log 1(h) divides Log 1(h) into two parts, one of which is

-h

bounded by this tube and the boundary of the chain Log 1(h), therefore the difference r/jV —r/

is homological to a tube over the cycle V n S n Log (h).

Now it remains to apply the Leray formula to the integral (x) — P/,M(x)

(x) — (x) =

1

(2ni)

;\k

z cdzo * cdzo j

41 A ... A —

rj,v-rj

P (z) Zii

1

(2™)k y p(z) ^A...A zik j z

dzr

LP (z)z/J

that gives us the stated formula. □

Thus, we have a multidimensional analogue of Perron's theorem for the first order difference equations.

Theorem 3. Each point of the contour of the amoeba for the characteristic set of the equation (10) is a limit position of the logarithmic Horn vector of some fundamental solution to this equation. The points in the external part of the contour of the amoeba correspond to fundamental solutions of the form (6), and for k ^ 2 the points in the internal part correspond to fundamental solution of the type (17).

Proof. The proof follows from theorems 1 and 2. □

The research was carried out at Siberian Federal University with funding provided by the grant of the Russian Federation Government to support scientific research under the supervision of leading scientist, 14. Y26.S1.0006. The first and third authors were also supported by the RFBR grant 14-01-00544.

z

X

References

[1] H.Poincaré, Sur les équations linéaires aux différentielles ordinaires et aux différences finies, Amer. J. Math., 7(1885), 203-258.

[2] O.Perron, Uber die Poincarésche lineare Differenzengleichung, J. Reine Angew. Math., 137(1909), 6-64.

[3] A.O.Gelfond, Calculus of finite differences, Hindustan Publishing Corp., Delhi, 1971.

[4] V.M.Trutnev, A.K.Tsikh, On the structure of residue currents and functionals orthogonal to ideals in the space of holomorphic functions, Izvestiya. Math., 59(1995), no. 5, 1083-1107.

[5] M.V.Fedoryuk, The Saddle Point method, Nauka, Moscow, 1977 (in Russian).

[6] E.K.Leinartas, M.Passare, A.K.Tsikh, Multidimensional versions of Poincare's theorem for difference equations, Sb. Math., 199(2008), no. 10, 1505-1522.

[7] I.Gelfand, M.Kapranov, A.Zelevinsky, Discriminants, resultants and multidimensional determinants, Birkhauser, Boston, 1994.

[8] M.Passare, A.Tsikh, Amoebas: their spines and contours, Contemporary maths., 377(2005), 275-288.

[9] N.A.Bushueva, A.K.Tsikh, On amoebas of algebraic sets of higher codimension, Proceedings of the Steklov Institute of Mathematics, 279(2012), 52-62.

10] G.Mikhalkin, Real algebraic curves, the moment map and amoebas, Ann. Math., 151(2000), 309-326.

11] M.Forsberg, M.Passare, A.Tsikh, Laurent determinants and arrangements of hyperplane amoebas, Adv. in Math., 151(2000), 54-70.

12] K.V.Kuzvesov, Contour of compactified amoeba of a hypersurface, Vestnik KrasGU, 7(2006), 85-90 (in Russian).

13] V.I.Danilov, A.G.Khovanskii, Newton polyhedra and an algorithm for computing Hodge-Deligne numbers, Mathematics of the USSR-Izvestiya, 29(1987), no. 2, 279-298.

14] N.A.Bushueva, On Isotopies and Homologies of Subvarieties of Toric Varieties, Sib. Math. J., 51(2010), no. 5, 776-788.

15] J.Leray, Le calcul differentiel et integral sur une variete analytique complexe (Probleme de Cauchy III), Bull. Math. Soc. France, 87(1959), 81-180.

Об асимптотике гомологических решений многомерных линейных разностных уравнений

Наталья А. Бушуева Константин В. Кузвесов Август К. Цих

Рассматривается многомерное линейное разностное уравнение с постоянными коэффициентами и пара (y, ш), где y — гомологический k-мерный цикл на характеристическом множестве уравнения, а ш — голоморфная форма степени k. Интеграл по y формы ш, умноженной на экспоненциальное ядро, называется гомологическим решением. На примере уравнения первого порядка иллюстрируется многомерный вариант теоремы Перрона в классе гомологических решений.

Ключевые слова: разностное уравнение, асимптотика, амеба алгебраического множества, логарифмическое отображение Гаусса.