Solución Parcial 20%

Dado

(T(z))(n)= z(n+1) – 2z(n) +z(n-1)

A) Pruebe que T es invariante por traslación

(T(𝑅𝑘 z))(n) = (𝑅𝑘 T(z))(z)

(T(𝑅𝑘 z))(n) = 𝑅𝑘 z(n+1) - 2𝑅𝑘 z(n) + 𝑅𝑘 z(n-1)

(T(z))(n-k) = z(n+1-k)-2z(n-k)+z(n-1-k)

(𝑅𝑘 T(z))(z)= 𝑅𝑘 (z(n+a)-2z(n)+z(n-1))

(T(𝑅𝑘 z))(n) = (𝑅𝑘 T(z))(z)

Queda demostrado que (T(z))(n) es invariante por traslación

B) Encuentre la matriz 𝐴T ,E que representa a T respecto a la base canónica.

𝐴 𝑇,𝐸 =[T(𝑒0 ) | T(𝑒1 ) | T(𝑒2 ) | T(𝑒3 )]

T(𝑒0 )(n) = 𝑒0 (n+1) -2 𝑒0 (n)+ 𝑒0 (n-1)

n=0

T(𝑒0 )(0) = 𝑒0 (0+1) -2 𝑒0 (0)+ 𝑒0 (0-1)

d
T(𝑒0 )(0) = 𝑒0 (1) -2 𝑒0 (0)+ 𝑒0 (-1)

T(𝑒0 )(0) = 𝑒0 (1) -2 𝑒0 (0)+ 𝑒0 (3)

T(𝑒0 )(0) = 0 –(2*1)+ 0 = -2

n=1

T(𝑒0 )(1) = 𝑒0 (1+1) -2 𝑒0 (1)+ 𝑒0 (1-1)

T(𝑒0 )(1) = 𝑒0 (2) -2 𝑒0 (1)+ 𝑒0 (0)

T(𝑒0 )(1) = 0 –(2*0)+ 1 =1

n=2

T(𝑒0 )(2) = 𝑒0 (2+1) -2 𝑒0 (2)+ 𝑒0 (2-1)

T(𝑒0 )(2) = 𝑒0 (3) -2 𝑒0 (2)+ 𝑒0 (1)

T(𝑒0 )(2) = 0- (2*0)+ 0 = 0

n=3

T(𝑒0 )(3) = 𝑒0 (3+1) -2 𝑒0 (3)+ 𝑒0 (3-1)

T(𝑒0 )(3) = 𝑒0 (4) -2 𝑒0 (3)+ 𝑒0 (2)

T(𝑒0 )(3) = 𝑒0 (0) -2 𝑒0 (3)+ 𝑒0 (2)

T(𝑒0 )(3) = 1 –(2*0)+ 0 = 1

−2
T(𝑒0 )= [ 1 ]
0
1

Pero como 𝐴 𝑇,𝐸 es una matriz circulante entonces

−2 1 0 1
𝐴 𝑇,𝐸 =[ 1 −2 1 0]
0 1 −2 1
1 0 1 −2

C) Encuentre b
Debibo al lema 2.3.9 se sabe que b(n) = 𝑎𝑛,0

𝑏(0) 𝑅1,0 −2
𝑏(1) 𝑅2,0
𝑏= [ ]= =[ 1 ]
𝑏(2) 𝑅3,0 0
𝑏(3) [𝑅4,0 ] 1
Ahora comprobando a b se tiene que:

b*z(m)= ∑3𝑛=0 𝑏(𝑚 − 𝑛) ∗ 𝑧(𝑛)= b(m)z(0) + b(m-1)z(1) + b(m-2)z(2) + b(m-3)z(3)

para m = 0
b(0)z(0) + b(0-1)z(1) + b(0-2)z(2) + b(0-3)z(3)

b(0)z(0) + b(-1)z(1) + b(-2)z(2) + b(-3)z(3)

b(0)z(0) + b(3)z(1) + b(2)z(2) + b(1)z(3)

-2z(0) + 1z(1) + 0+1z(3)

para m = 1

b(1)z(0) + b(1-1)z(1) + b(1-2)z(2) + b(1-3)z(3)

b(1)z(0) + b(0)z(1) + b(-1)z(2) + b(-2)z(3)

b(1)z(0) + b(0)z(1) + b(3)z(2) + b(2)z(3)

1z(0) -2z(1) + 1z(2) +0

para m = 2

b(2)z(0) + b(2-1)z(1) + b(2-2)z(2) + b(2-3)z(3)

b(2)z(0) + b(1)z(1) + b(0)z(2) + b(-1)z(3)

b(2)z(0) + b(1)z(1) + b(0)z(2) + b(3)z(3)

0 + 1z(1) + -2z(2) + 1z(3)

para m = 3

b(3)z(0) + b(3-1)z(1) + b(3-2)z(2) + b(3-3)z(3)

b(3)z(0) + b(2)z(1) + b(1)z(2) + b(0)z(3)

1z(0) + 0 + 1z(2)- 2z(3)

−2𝑧(0) + 𝑧(1) + 𝑧(3)

𝑧(0) − 2𝑧(1) + 𝑧(2)
𝑧(1) − 2𝑧(2) + 𝑧(3)
[ 𝑧(0) + 𝑧(2) − 2𝑧(3) ]

Y para comprobar que b cumple lo anterior entonces

 −2 1 0 1 𝑧(0) −2𝑧(0) + 𝑧(1) + 𝑧(3)
𝑧(1) 𝑧(0) − 2𝑧(1) + 𝑧(2)
[ 1 −2 1 0 ]*[ ]=
0 1 −2 1 𝑧(2) 𝑧(1) − 2𝑧(2) + 𝑧(3)
1 0 1 −2 𝑧(3) [ 𝑧(0) + 𝑧(2) − 2𝑧(3) ]

Queda comprobado que b satisface b*z(m)

Ahora comprobar que T(δ)=𝑏 ∗ 𝑒0 =b

Se tiene que T(δ)=b entonces

b*𝑒0 (m)= ∑3𝑛=0 𝑏(𝑚 − 𝑛) ∗ 𝑒0 (𝑛)= b(m)𝑒0 (0) + b(m-1)𝑒0 (1) + b(m-2)𝑒0 (2) + b(m-3)𝑒0 (3)

para m = 0

b(0)𝑒0 (0) + b(0-1)𝑒0 (1) + b(0-2)𝑒0 (2) + b(0-3)𝑒0 (3)

b(0)𝑒0 (0) + b(-1)𝑒0 (1) + b(2)𝑒0 (2) + b(3)𝑒0 (3)

-2𝑒0 (0) + 1𝑒0 (3) + b(2)𝑒0 (2) + b(1)𝑒0 (3)

-2

para m = 1

b(1)𝑒0 (0) + b(1-1)𝑒0 (1) + b(1-2)𝑒0 (2) + b(1-3)𝑒0 (3)

b(1)𝑒0 (0) + b(0)𝑒0 (1) + b(-1)𝑒0 (2) + b(-2)𝑒0 (3)

b(1)𝑒0 (0) + b(0)𝑒0 (1) + b(3)𝑒0 (2) + b(2)𝑒0 (3)

1𝑒0 (0) -2𝑒0 (1) + 1𝑒0 (2) + 0𝑒0 (3)

para m = 2

b(2)𝑒0 (0) + b(2-1)𝑒0 (1) + b(2-2)𝑒0 (2) + b(2-3)𝑒0 (3)

b(2)𝑒0 (0) + b(1)𝑒0 (1) + b(0)𝑒0 (2) + b(-1)𝑒0 (3)

b(2)𝑒0 (0) + b(1)𝑒0 (1) + b(0)𝑒0 (2) + b(3)𝑒0 (3)

0𝑒0 (0) +1𝑒0 (1) - 2𝑒0 (2) + 1𝑒0 (3)

0
para m = 3

b(3)𝑒0 (0) + b(3-1)𝑒0 (1) + b(3-2)𝑒0 (2) + b(3-3)𝑒0 (3)

b(3)𝑒0 (0) + b(2)𝑒0 (1) + b(1)𝑒0 (2) + b(0)𝑒0 (3)

b(3)𝑒0 (0) + b(2)𝑒0 (1) + b(1)𝑒0 (2) + b(0)𝑒0 (3)

1𝑒0 (0) +0𝑒0 (1) + 1𝑒0 (2) - 2𝑒0 (3)

−2
T(δ) = 𝑏 = [ 1 ]
0
1

D) Hallar m

Dado que m = 𝑇(𝑚) entonces

1 1 1 1 𝑏(0) 1 1 1 1 −2 0
𝑏(1)
[1 −𝑖 −1 𝑖 ]*[ ] =[1 −𝑖 −1 𝑖 ]∗[ 1 ]= −2
[ ] Eingenvalores
1 −1 1 −1 𝑏(2) 1 −1 1 −1 0 −4
1 𝑖 −1 −𝑖 𝑏(3) 1 𝑖 −1 −𝑖 1 −2

E) Hallar la matriz T respecto a la base de Fourier

Dado que D es una matriz diagonal, la cual su diagonal contiene eigenvalores de A entonces:

0 0 0 0
D= [0 −2 0 0]
0 0 −4 0
0 0 0 −2

F) Mediante el calculo directo comprobar que D=𝑊4 𝐴 𝑇,𝐸 𝑊4−1

1
D=𝑊4 𝐴 𝑇,𝐸 𝑊4−1 = 𝑊4 𝐴 𝑇,𝐸 𝑊̅4
4
 1 1 1 1 −2 1 0 1 0 0 0 0
𝑊4 𝐴 𝑇,𝐸 = [1 −𝑖 −1 𝑖 ]*[ 1 −2 1 0 ]= [−2 2𝑖 2 −2𝑖 ]
1 −1 1 −1 0 1 −2 1 −4 4 −4 4
1 𝑖 −1 −𝑖 1 0 1 −2 −2 −2𝑖 2 2𝑖

0 0 0 0 1 1 1 1 0 0 0 0
1
̅4
𝑊4 𝐴 𝑇,𝐸 4 𝑊 =[ −2 2𝑖 2 −2𝑖 ]*[1 𝑖 −1 −𝑖 ]=[0 −8 0 0 ]
−4 4 −4 4 1 −1 1 −1 0 0 −16 0
−2 −2𝑖 2 2𝑖 1 −𝑖 −1 𝑖 0 0 0 −8

0 0 0 0 0 0 0 0
[0 −8 0 0 ]*1= [0 −2 0 0 ] = D
0 0 −16 0 4 0 0 −4 0
0 0 0 −8 0 0 0 −2

La expresión 𝑊4 𝐴 𝑇,𝐸 𝑊4−1 satisface D.

G) Diagrama de matrices similares

𝐴 𝑇,𝐸
ℓ2 (ℤ4 ) ℓ2 (ℤ4 )
E E

𝑃 𝑃−1

𝐷
ℓ2 (ℤ4 ) ℓ2 (ℤ4 )
F F

Donde 𝑃 = 𝑊4−1 Y 𝑝−1 = 𝑊4

La matriz que contiene los eigenvectores de la base de Fourier es la matriz de cambio de F a E, 𝑃 = 𝑊4−1

2. Dado Z: ℓ2 (ℤ4 ) ℓ2 (ℤ4 ) encontrar la transformada bidimensional de:

 1+𝑖 2 3𝑖 2 − 𝑖
𝑍=[ 1 −𝑖 2+𝑖 0 ]
𝑖 1−𝑖 −1 −𝑖
1 + 2𝑖 4 1 − 3𝑖 2𝑖

Usando la matriz de transformación 𝑊4 , se multiplica 𝑊4 a cada fila de la matriz Z así:

1 1 1 1 1+𝑖 5 + 3𝑖
[1 −𝑖 −1 𝑖 ]*[ 2 ]= [ 2 − 2𝑖 ]
1 −1 1 −1 3𝑖 −3 + 5𝑖
1 𝑖 −1 −𝑖 2 − 𝑖 −2𝑖

1 1 1 1 1 3
[1 −𝑖 −1 𝑖 ]*[ −𝑖 ]= [−2 − 𝑖 ]
1 −1 1 −1 2+𝑖 3 + 2𝑖
1 𝑖 −1 −𝑖 0 −𝑖

1 1 1 1 𝑖 −𝑖
[1 −𝑖 −1 𝑖 ]*[1 − 𝑖 ]= [ 1 ]
1 −1 1 −1 −1 −2 + 3𝑖
1 𝑖 −1 −𝑖 −𝑖 1 + 2𝑖

1 1 1 1 1 + 2𝑖 6+𝑖
[1 −𝑖 −1 𝑖 ]*[ 4 ]= [ −2 + 𝑖 ]
1 −1 1 −1 1 − 3𝑖 −2 − 3𝑖
1 𝑖 −1 −𝑖 2𝑖 2 + 9𝑖

Luego se rescribe la matriz de filas a las cuales se les aplico transformación de Fourier así:

5 + 3𝑖 2 − 2𝑖 −3 + 5𝑖 −2𝑖
[ 3 −2 − 2𝑖 3 + 2𝑖 −𝑖 ]
−𝑖 1 −2 + 3𝑖 1 + 2𝑖
6+𝑖 −2 + 𝑖 −2 − 3𝑖 2 + 9𝑖

Seguido se vuelve a Usar 𝑊4 para calcular la transformada de Fourier a las columnas así:

1 1 1 1 5 + 3𝑖 14 + 3𝑖
[1 −𝑖 −1 𝑖 ]*[ 3 ]= [ 4 + 7𝑖 ]
1 −1 1 −1 −𝑖 −4 + 𝑖
1 𝑖 −1 −𝑖 6 + 𝑖 6+𝑖

1 1 1 1 2 − 2𝑖 −1 − 3𝑖
[1 −𝑖 −1 𝑖 ]*[−2 − 2𝑖 ]= [−2 − 2𝑖 ]
1 −1 1 −1 1 7−𝑖
1 𝑖 −1 −𝑖 −2 + 𝑖 4 − 2𝑖
 1 1 1 1 −3 + 5𝑖 −4 + 7𝑖
[1 −𝑖 −1 𝑖 ]*[ 3 + 2𝑖 ]= [ 4 − 3𝑖 ]
1 −1 1 −1 −2 + 3𝑖 −6 + 9𝑖
1 𝑖 −1 −𝑖 −2 − 3𝑖 −6 + 7𝑖

1 1 1 1 −2𝑖 1 + 10𝑖
[1 −𝑖 −1 𝑖 ]*[ −𝑖 ]= [ −13 ]
1 −1 1 −1 1 + 2𝑖 −3 − 6𝑖
1 𝑖 −1 −𝑖 2 + 9𝑖 7 − 4𝑖

Finalmente se rescribe los vectores columna como una matriz a la cual se le va a llamar 𝑧̂

14 + 3𝑖 −1 − 3𝑖 −4 + 7𝑖 1 + 10𝑖
𝑧̂ = [ 4 + 7𝑖 −2 − 2𝑖 4 − 3𝑖 −13 ]
−4 + 𝑖 7−𝑖 −6 + 9𝑖 −3 − 6𝑖
6+𝑖 4 − 2𝑖 −6 + 7𝑖 7 − 4𝑖

3) Mostrar que existen Z, W ϵ ℓ2 (ℤ4 ) talque Z≠0 y W ≠0 , pero Z*W=0, donde 0 = (0,0,0,0)
Entonces si se toma dos círculos de radio uno y se toma sus valores cada pi/2 entonces:

1 1
𝑧= [ 𝑖 ] 𝑤 = [ −𝑖 ]
−1 −1
−𝑖 𝑖

z*w(m)= ∑3𝑛=0 𝑧(𝑚 − 𝑛) ∗ 𝑤(𝑛)= z(m)w(0) + z(m-1)w(1) + z(m-2)w(2) + z(m-3)w(3)

para m = 0

z(0)w(0) + z(0-1)w(1) + z(0-2)w(2) + z(0-3)w(3)

z(0)w(0) + z(-1)w(1) + z(-2)w(2) + z(-3)w(3)

z(0)w(0) + z(3)w(1) + z(2)w(2) + z(1)w(3)

1(1) + (-i)(-i) + (-1)(-1)+(i)(i) = 0

para m = 1

z(1)w(0) + z(1-1)w(1) + z(1-2)w(2) + z(1-3)w(3)

z(1)w(0) + z(0)w(1) + z(-1)w(2) + z(-2)w(3)

z(1)w(0) + z(0)w(1) + z(3)w(2) + z(2)w(3)

(i)(1)+(1)(-i)+(-i)(-1)+(-1)(i) = 0

para m = 2

z(2)w(0) + z(2-1)w(1) + z(2-2)w(2) + z(2-3)w(3)

z(2)w(0) + z(1)w(1) + z(0)w(2) + z(-1)w(3)

z(2)w(0) + z(1)w(1) + z(0)w(2) + z(3)w(3)

(-1)(1)+(i)(-i)+(1)(-1)+(-i)(i) = 0

para m = 3

z(3)w(0) + z(3-1)w(1) + z(3-2)w(2) + z(3-3)w(3)

z(3)w(0) + z(2)w(1) + z(1)w(2) + z(0)w(3)

(-i)(1)+(-1)(-i)+(i)(-1)+(1)(i) = 0

Entonces ordenando se tiene que

0= (0,0,0,0)

Demostrar la fórmula de Parseval

1
〈𝑧, 𝑤〉 = 〈𝑧̂ , 𝑤
̂〉
𝑁1 𝑁2

𝑁2 −1 𝑁1 −1
1 −𝑖2𝜋𝑚 1 𝑛1
𝑧 = ∑ 𝑧̂ (𝑚1 )𝐹𝑚1 = ∑ 𝑧̂ (𝑚1 ) 𝑒 𝑁1
𝑁1
𝑚1 =0 𝑚1 =0

𝑁2 −1 𝑁2 −1
1 −𝑖2𝜋𝑚 2 𝑛2
𝑤= ∑ 𝑤
̂ (𝑚2 )𝐹𝑚2 = ∑ 𝑤
̂ (𝑚2 ) 𝑒 𝑁2
𝑁2
𝑚2 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
̅̅̅̅̅̅̅̅̅̅̅̅̅
〈𝑧, 𝑤〉 = ∑ 𝑧̂ (𝑚1 )𝐹𝑚1 ∑ 𝑤
̂(𝑚2 )𝐹𝑚2
𝑚1 =0 𝑚2 =0
 𝑁1 −1 2 𝑁 −1
1 −𝑖2𝜋𝑚 1 𝑛1 ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
1 −𝑖2𝜋𝑚2 𝑛2
〈𝑧, 𝑤〉 = ∑ 𝑧̂ (𝑚1 ) 𝑒 𝑁1 ̂(𝑚2 ) 𝑒 𝑁2
∑ 𝑤
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
1 −𝑖2𝜋𝑚1 𝑛1 1 𝑖2𝜋𝑚2 𝑛2
〈𝑧, 𝑤〉 = ∑ 𝑧̂ (𝑚1 ) 𝑒 𝑁1 ∑ ̅̅̅̅̅̅̅̅̅
̂(𝑚2 ) 𝑒 𝑁2
𝑤
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
1 −𝑖2𝜋𝑚 1 𝑛1 1 𝑖2𝜋𝑚2 𝑛2
〈𝑧, 𝑤〉 = ∑ ∑ 𝑧̂ (𝑚1 ) 𝑒 𝑁1 ̅̅̅̅̅̅̅̅̅
̂(𝑚2 ) 𝑒 𝑁2
𝑤
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
1 −𝑖2𝜋𝑚1 𝑛1 𝑖2𝜋𝑚2 𝑛2
〈𝑧, 𝑤〉 = ∑ ∑ 𝑧̂ (𝑚1 )𝑒 𝑁1 ̅̅̅̅̅̅̅̅̅
̂(𝑚2 ) 𝑒 𝑁2
𝑤
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
1 −𝑖2𝜋𝑚1 𝑛1 𝑖2𝜋𝑚2 𝑛2
〈𝑧, 𝑤〉 = ∑ ∑ 𝑧̂ (𝑚1 ) ̅̅̅̅̅̅̅̅̅
̂(𝑚2 ) 𝑒 𝑁1 𝑒 𝑁2
𝑤
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
1 −𝑖2𝜋𝑚1 𝑛1 𝑖2𝜋𝑚2 𝑛2
〈𝑧, 𝑤〉 = ∑ ∑ 𝑧̂ (𝑚1 ) ̅̅̅̅̅̅̅̅̅
̂(𝑚2 ) 𝑒 𝑁1 𝑒 𝑁2
𝑤
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

𝑁1 −1 𝑁2 −1
1 −𝑖2𝜋(𝑚1 𝑛1 −𝑚1 𝑛1 )
〈𝑧, 𝑤〉 = ∑ ∑ 𝑧̂ (𝑚1 ) ̅̅̅̅̅̅̅̅̅
̂(𝑚1 ) 𝑒
𝑤 𝑁1
𝑁1 𝑁2
𝑚1 =0 𝑚2 =0

Haciendo a 𝑚1 = 𝑚2 𝑦 𝑛1 = 𝑛2 se tiene que 𝑒 0 =1 y 𝑁1 = 𝑁2 ahora:

𝑁−1
1
〈𝑧, 𝑤〉 = ∑ 𝑧̂ (𝑚1 ) ̅̅̅̅̅̅̅̅̅
𝑤
̂(𝑚1 )
𝑁1 𝑁2
𝑚1 =0

1
〈𝑧, 𝑤〉 = 〈𝑧̂ , 𝑤
̂〉
𝑁1 𝑁2

Queda demostrada la fórmula de Parseval