APLICACIONES TOPOL

OGICAS DE LA
INTEGRAL FUNCIONALTOPOLOGICAL
APPLICATIONS OF FUNCTIONAL INTEGRATIO
Informal report #4
Nicol as Hatcher
10-Agosto-2009
In this report we are going to calculate asymptoticaly the product
N
1
1

n
1
=1

N
D
1

n
D
=1
_
4N
2
1
a
2
1
sin
2
_
n
1

2N
1
_
+ ... +
4N
2
D
a
2
D
sin
2
_
n
D

2N
D
__
(1)
That is we want to calculate the asymptotic properties of the discrete Laplacian in
a hipercube in D dimensions. We start by a using the Euler-Maclaurin formula to
approximate the heat-kernel of the discrete Laplacian:

N
(a, t) =
N1

n=1
e
t
4N
2
a
2
sin
2
(
n
2N
)

2N

_
/2
0
e
t
4N
2
a
2
sin
2
x
dx
1
2
_
1 e
t
4N
2
a
2
_
= T
N
(a, t)
(2)
This formula is usefull enough to be of use in D dimension because the sum factorices
N
1
1

n
1
=1

N
D
1

n
D
=1
e
t

4N
2
1
a
2
1
sin
2

n
1

2N
1

+...+
4N
2
D
a
2
D
sin
2

n
D

2N
D

=
_
2N
1

_
/2
0
e
t
4N
2
1
a
2
1
sin
2
x
dx
1
2
_
1 e
t
4N
2
1
a
2
1
__

_
2N
D

_
/2
0
e
t
4N
2
D
a
2
D
sin
2
x
dx
1
2
_
1 e
t
4N
2
D
a
2
D
__
(3)
This sum is composed of a series of terms:
C
D
D
(
1
, ...,
D
)N
1
N
D
+ C
D
D1
(
1
, ...,
D
)(
N

j=1
N
1


N
i
N
D
) + .
.. + C
1
(
1
, ...,
D
)(N
1
+ ... + N
D
) + C
0
(
1
, ...,
D
) (4)
1
C
D
D
(
1
, ...,
D
) =
_
2

_
D
_
/2
0
dx
1

_
/2
0
dx
D
exp
_
4t
_
N
2
1
a
2
1
sin
2
x
1
+ ... +
N
2
D
a
2
D
sin
2
x
D
__
C
D
D1
(
1
, ...,
D
) =

_
2

_
D1 D

j=1
_
1 + e

4tN
2
j
a
2
j
_
_
/2
0
dx
1

_
/2
0
dx
j

_
/2
0
dx
D
exp
_
4t
_
N
2
1
a
2
1
sin
2
x
1
+ ... +

N
2
j
a
2
j
sin
2
x
1
+ ... +
N
2
D
a
2
D
sin
2
x
D
__
...
C
0
(
1
, ...,
D
) =
_
1
2
_
D D

j=1
_
1 + e

4tN
2
j
a
2
j
_
(5)
Now we dene de asympototic part of this expansion
A
N
1
,...,N
D
(a
1
, ..., a
D
, t) = T
N
1
(a
1
, t) T
N
D
(a
D
, t)
_
1
2
_
D
(6)
And now we simply state the main theorem that asserts:
1
(s)
_

0
t
s
(
N
1
,...N
D
(a
1
, ..., a
D
, t) A
N
1
,...,N
D
(a
1
, ..., a
D
, t))
dt
t

D
a
1
,...,a
D
(s) (7)
where
D
a
1
,...,a
D
(s) is understood as the analytic prolongation of

D
a
1
,...,a
D
(s) =

n
1
=1

n
D
=1
_
_
n
1

a
1
_
2
+ ... +
_
n
D

a
D
_
2
_
s
(8)
In particular it is not dicult to see that

D
a
1
,...,a
D
(0) =
_
1
2
_
D
(9)
2