05.06.2013 Views

FUNCIONES THETA DE RIEMANN 1. Introducción El objetivo de ...

FUNCIONES THETA DE RIEMANN 1. Introducción El objetivo de ...

FUNCIONES THETA DE RIEMANN 1. Introducción El objetivo de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

214 E. GÓMEZ AND J. M. MUÑOZ<br />

Una base <strong>de</strong> Vl está formada por las siguientes funciones:<br />

θ[ a b](z, τ) = <br />

exp(πi(a + n) 2 τ + 2πi(n + a)(z + b))<br />

con a, b ∈ 1<br />

con características.<br />

n∈Z<br />

l Z. Las funciones θ[a b<br />

](z, τ) se <strong>de</strong>nominan funciones theta<br />

2.2. Función theta, función zeta y sus ecuaciones funcionales.<br />

Dada una función f : R + → C integrable y con apropiadas cotas en 0<br />

y en el infinito, se <strong>de</strong>fine su transformada <strong>de</strong> Mellin como la siguiente<br />

función analítica:<br />

∞<br />

(Mf)(s) =<br />

o<br />

s dx<br />

f(x) x<br />

x<br />

, con a < Re(s) < b<br />

La transformada <strong>de</strong> Mellin es simplemente una transformada <strong>de</strong> Fourier<br />

multiplicativa (haciendo el cambio <strong>de</strong> variable x = exp(y) se convierte<br />

en una transformada <strong>de</strong> Fourier clásica). En particular, si consi<strong>de</strong>ramos<br />

la función f(x) = θ(0, ix) − 1 y Re(s) > 1, se tiene que<br />

(Mf)(1/2 s) = 2 ∞<br />

n∈N<br />

0<br />

<br />

= 2 (πn 2 )<br />

n∈N<br />

1<br />

−<br />

= 2π 2 s<br />

exp(−πn 2 x) x 1<br />

2<br />

1<br />

− 2 s<br />

∞<br />

0<br />

<br />

n −s<br />

∞<br />

n∈N<br />

1<br />

−<br />

= 2π 2 s ζ(s) Γ(1/2 s)<br />

0<br />

s dx<br />

x<br />

<br />

= (y = πn 2 x) =<br />

exp(−y) y 1<br />

s dy<br />

2<br />

y =<br />

exp(−y) y 1<br />

s dy<br />

2<br />

y =<br />

don<strong>de</strong> ζ(s) = <br />

n∈N n−s , con Re(s) < 1, es la función zeta <strong>de</strong> Riemann<br />

y Γ(1/2 s) = ∞<br />

1<br />

s dy<br />

exp(−y) y 2 . Por tanto, se tiene la fórmula<br />

0 y<br />

fundamental:<br />

1<br />

−<br />

(2.1) 2π 2 s ∞<br />

s dx<br />

ζ(s) Γ(1/2 s) = (θ(0, ix) − 1) x<br />

x<br />

Ahora bien, si a, b, c, d ∈ Z son números impares tales que ad − bc = 1,<br />

se tiene que<br />

<br />

z aτ + b<br />

<br />

θ , = µ (cτ + d)<br />

cτ + d cτ + d<br />

1/2 exp(πicz 2 /(cτ + d)) θ(z, τ)<br />

o

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!