Modelos de mecanica quˆ anticaˆ baseados em calculo...

Modelos demecanicaquantica

Nelson Faustino

Comecandopelas Equacoesde Maxwell

Passando aoOsciladorHarmonicoQuantico

Simetrias emtermos desuperalgebras deLie

Conexao comEstatısticaBayesiana

Modelos de mecanica quanticabaseados em calculo multivetorial

e estatıstica Bayesiana

Nelson Faustino

Centro de Matematica, Computacao e Cognicao, UFABC

[email protected]

Seminario da POSMAT da UFABC, 27 de fevereiro de 2018

1 / 27

Nelson Faustino

1 Comecando pelas Equacoes de Maxwell

2 Passando ao Oscilador Harmonico Quantico

3 Simetrias em termos de superalgebras de Lie

4 Conexao com Estatıstica Bayesiana

2 / 27

Nelson Faustino

Na figura abaixoEstatua em homenagem a Paul A.M. Dirac, Florida State University

”Negative energies and probabilities should not be considered asnonsense. They are well-defined concepts mathematically, like anegative of money, since the equations which express the importantproperties of energies and probabilities can still be used when they arenegative.”Paul A.M. Dirac, Bakerian Lecture. The Physical Interpretation ofQuantum Mechanics (1942)

3 / 27

Nelson Faustino

Equacoes de MaxwellLeis fundamentais

Lei de Faraday: rot−→E = −iω

−→B

Lei de Ampere:rot−→H = iω

−→F +

−→J

Leis Materiais:−→F = ε(x)

−→E e

−→B = µ(x)

−→H .

Lei de Ohm:−→J = σ

−→E +

−→J 0

Campos de vectoriais com apropriedade solenoidal (i.e.divergencia nula):div−→E = 0 = div

−→H

Figure: Se−→E e−→J sao ortogonais,

pode-se verificar que para estes doiscampos de vectores existe uma variacaosinusoidal de amplitude.

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

−→B

−→F +

−→J

−→E e

−→B = µ(x)

−→H .

−→E +

−→J 0

−→H

4 / 27

Nelson Faustino

Abordagem usando formas diferencias: Oferece-nos uma orientacaoinestimavel para a discretizacao das equacoes de Maxwell.

Correspondencia entre campos de vectores e formasdiferenciais: rot→ d e div→ −d∗

Leis Topologicas: d−→B = 0 = d(iω

−→F +

−→J )

Leis Materiais:∫

−→B ∧−→E ′ = aε(

−→E ,−→E ′) and∫

−→H ∧−→B ′ = a1/µ(

−→B ,−→B ′)

Vantagem desta abordagem: Teoria discreta de cohomologia emcomplexos celulares (i.e. simplexes) garantem que as propriedadesestructurais essenciais das leis topologicas sao preservadas.

5 / 27

Nelson Faustino

−→F +

−→J )

Leis Materiais:∫

−→B ∧−→E ′ = aε(

−→E ,−→E ′) and∫

−→H ∧−→B ′ = a1/µ(

−→B ,−→B ′)

5 / 27

Nelson Faustino

−→F +

−→J )

Leis Materiais:∫

−→B ∧−→E ′ = aε(

−→E ,−→E ′) and∫

−→H ∧−→B ′ = a1/µ(

−→B ,−→B ′)

5 / 27

Nelson Faustino

−→F +

−→J )

Leis Materiais:∫

−→B ∧−→E ′ = aε(

−→E ,−→E ′) and∫

−→H ∧−→B ′ = a1/µ(

−→B ,−→B ′)

5 / 27

Nelson Faustino

−→F +

−→J )

Leis Materiais:∫

−→B ∧−→E ′ = aε(

−→E ,−→E ′) and∫

−→H ∧−→B ′ = a1/µ(

−→B ,−→B ′)

5 / 27

Nelson Faustino

Modelo Fısico

Equacao de Schrodinger Estacionaria

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

2m (aj )2 - termo energia cinetica

2 (a†j )2- termo energia potencial

ε - nıveis de energia (autovalores)

F (x)- estados proprios de energia (autovetores)

6 / 27

Nelson Faustino

Modelo Fısico

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

6 / 27

Nelson Faustino

Modelo Fısico

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

6 / 27

Nelson Faustino

Modelo Fısico

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

6 / 27

Nelson Faustino

Modelo Fısico

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

6 / 27

Nelson Faustino

Modelo Fısico

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

6 / 27

Nelson Faustino

Modelo Fısico

n∑j=1

− 12m

(aj )2F (x) +

n∑j=1

2(a†j )2F (x) = εF (x).

m - massa

ω- frequencia1

6 / 27

Nelson Faustino

Solucao da Equacao de Schrodinger

Fatoracao do Oscilador Harmonico

H =n∑

− 12m

(aj )2 +

n∑j=1

2(a†j )2

Operadores escada: a±j =√

(a†j ∓

1mωaj

). Estes operadores

permitem-nos obter a seguinte fatoracao:

n∑j=1

j a−j + a+j a−j

Simetrias de Heisenberg-Weyl: Conjunto de relacoes decomutacao

[a+j , a

+k ] = [a−j , a

−k ] = 0, [a−j , a

+k ] = δjk id.

Daqui resulta que H =n∑

a+j a−j +

7 / 27

Nelson Faustino

H =n∑

− 12m

(aj )2 +

n∑j=1

2(a†j )2

(a†j ∓

1mωaj

). Estes operadores

n∑j=1

j a−j + a+j a−j

[a+j , a

+k ] = [a−j , a

−k ] = 0, [a−j , a

+k ] = δjk id.

a+j a−j +

7 / 27

Nelson Faustino

H =n∑

− 12m

(aj )2 +

n∑j=1

2(a†j )2

(a†j ∓

1mωaj

). Estes operadores

n∑j=1

j a−j + a+j a−j

[a+j , a

+k ] = [a−j , a

−k ] = 0, [a−j , a

+k ] = δjk id.

a+j a−j +

7 / 27

Nelson Faustino

Teoria Quantica de Campos (QFT)

Solucoes exatas da equacao de Schrodinger estacionaria podem serdeterminadas com base no segundo princıpio de quantizacao (tambemconhecido por quantizacao bosonica).

Espaco de Fock: Espacovetorial (F , 〈·|·〉) que satisfazos seguintes axiomas:

1 F : Algebra livre, geradaa partir dos geradorescanonicos a−j e a+

j , apartir do vetor de vacuoΦ tal que a−j Φ = 0.

2 〈·|·〉: Produto interno emF tal que 〈Φ|Φ〉 = 1 e a+

jseja o operador adjuntode a−j , i.e.〈a+

j x |y〉 = 〈x |a−j y〉.

Algebra de bosons: Espaco de Fock Fcujos geradores a+

j a−j satisfazem asrelacoes de comutacao, associadas aalgebra de Weyl-Heisenberg.

Lemma basico de QFT: Os vetores daforma

ηα :=

n∏j=1

(a†j )αj

formam uma base ortogonal em F .

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

j x |y〉 = 〈x |a−j y〉.

ηα :=

n∏j=1

(a†j )αj

8 / 27

Nelson Faustino

ExemplosAnel dos polinomios induzido por Rn

Monomios x = (x1, x2, . . . , xn) ∈ Rn:

xα = xα11 xα2

2 . . . xαnn

Anel R[x ]: Cada P(x) ∈ R[x ] e uma combinacao linear de xα’s.Polinomios de grau k sao todas as combinacoes lineares de xα’stais que |α| := α1 + α2 + . . .+ αn = k .Derivadas multi-ındice para ∂x := (∂x1 , ∂x2 , . . . , ∂xn ):

∂αx := ∂α1x1 ∂

α2x2 . . . ∂

αnxn ∈ End(R[x ]).

Propriedade: Para |α| > |β| obtemos

(∂x )βxα =α!

(α− β)!xα−β

Produto escalar:

〈P,Q〉 = [P(∂x )Q(x)]x=0

9 / 27

Nelson Faustino

xα = xα11 xα2

2 . . . xαnn

∂αx := ∂α1x1 ∂

α2x2 . . . ∂

(∂x )βxα =α!

(α− β)!xα−β

Produto escalar:

〈P,Q〉 = [P(∂x )Q(x)]x=0

9 / 27

Nelson Faustino

xα = xα11 xα2

2 . . . xαnn

∂αx := ∂α1x1 ∂

α2x2 . . . ∂

(∂x )βxα =α!

(α− β)!xα−β

Produto escalar:

〈P,Q〉 = [P(∂x )Q(x)]x=0

9 / 27

Nelson Faustino

xα = xα11 xα2

2 . . . xαnn

∂αx := ∂α1x1 ∂

α2x2 . . . ∂

(∂x )βxα =α!

(α− β)!xα−β

Produto escalar:

〈P,Q〉 = [P(∂x )Q(x)]x=0

9 / 27

Nelson Faustino

xα = xα11 xα2

2 . . . xαnn

∂αx := ∂α1x1 ∂

α2x2 . . . ∂

(∂x )βxα =α!

(α− β)!xα−β

Produto escalar:

〈P,Q〉 = [P(∂x )Q(x)]x=0

9 / 27

Nelson Faustino

ExemplosFuncoes de Hermite em L2(Rn)

Produto interno em Rn:

〈f , g〉 =

f (x)g(x)dx

Distribuicao Normal N(0,1)– Funcao Gaussiana

Φ(x) = π−n4 e−

|x|22 satisfaz 〈Φ,Φ〉 = 1 & 1√

2(xj + ∂xj )Φ(x) = 0.

Usando integracao por partes– Operadores da formaa−j = 1√

2(xj + ∂xj ) e a+

j = 1√2

(xj − ∂xj ) (geradores da algebra deWeyl-Heisenberg) satisfazem 〈a−j f , g〉 = 〈f , a+

j g〉.

Base ortogonal de L2(Rn)– As funcoes geradas pela formula

operatorial ηα(x) =

n∏j=1

2−αj2(xj − ∂xj

Φ(x) correspondem as

funcoes de Hermite de ordem |α|.

10 / 27

Nelson Faustino

〈f , g〉 =

f (x)g(x)dx

Φ(x) = π−n4 e−

|x|22 satisfaz 〈Φ,Φ〉 = 1 & 1√

2(xj + ∂xj )Φ(x) = 0.

2(xj + ∂xj ) e a+

j = 1√2

j g〉.

n∏j=1

10 / 27

Nelson Faustino

〈f , g〉 =

f (x)g(x)dx

Φ(x) = π−n4 e−

|x|22 satisfaz 〈Φ,Φ〉 = 1 & 1√

2(xj + ∂xj )Φ(x) = 0.

2(xj + ∂xj ) e a+

j = 1√2

j g〉.

n∏j=1

10 / 27

Nelson Faustino

〈f , g〉 =

f (x)g(x)dx

Φ(x) = π−n4 e−

|x|22 satisfaz 〈Φ,Φ〉 = 1 & 1√

2(xj + ∂xj )Φ(x) = 0.

2(xj + ∂xj ) e a+

j = 1√2

j g〉.

n∏j=1

10 / 27

Nelson Faustino

Nıveis de LandauOscilador Harmonico descrito em termos de simetrias de Weyl-Heisenberg

O Hamiltoniano12

(−∆ + |x |2

n∑j=1

)satisfaz as

seguintes propriedades:

Fatoracao:12

(−∆ + |x |2

n∑j=1

(xj − ∂xj )(xj + ∂xj ) +n2

Espectro: Para |α| = k , ε = k + n2

sao os autovalores de12

(−∆ + |x |2

)associados aos

autovetores ηα(x).

Energia mınima: A menor energiade − 1

2 ∆ + 12 |x |

2 (igual a n2 ) esta

associada a funcao Gaussiana

Φ(x) = π−n4 e−

|x|22 .

Figure: Modelo atomico para o atomo dehidrogenio (Niels Bohr, 1914)

11 / 27

Nelson Faustino

O Hamiltoniano12

(−∆ + |x |2

n∑j=1

)satisfaz as

Fatoracao:12

(−∆ + |x |2

n∑j=1

(xj − ∂xj )(xj + ∂xj ) +n2

(−∆ + |x |2

)associados aos

2 ∆ + 12 |x |

Φ(x) = π−n4 e−

|x|22 .

11 / 27

Nelson Faustino

O Hamiltoniano12

(−∆ + |x |2

n∑j=1

)satisfaz as

Fatoracao:12

(−∆ + |x |2

n∑j=1

(xj − ∂xj )(xj + ∂xj ) +n2

(−∆ + |x |2

)associados aos

2 ∆ + 12 |x |

Φ(x) = π−n4 e−

|x|22 .

11 / 27

Nelson Faustino

O Hamiltoniano12

(−∆ + |x |2

n∑j=1

)satisfaz as

Fatoracao:12

(−∆ + |x |2

n∑j=1

(xj − ∂xj )(xj + ∂xj ) +n2

(−∆ + |x |2

)associados aos

2 ∆ + 12 |x |

Φ(x) = π−n4 e−

|x|22 .

11 / 27

Nelson Faustino

O Hamiltoniano12

(−∆ + |x |2

n∑j=1

)satisfaz as

Fatoracao:12

(−∆ + |x |2

n∑j=1

(xj − ∂xj )(xj + ∂xj ) +n2

(−∆ + |x |2

)associados aos

2 ∆ + 12 |x |

Φ(x) = π−n4 e−

|x|22 .

11 / 27

Nelson Faustino

O Hamiltoniano12

(−∆ + |x |2

n∑j=1

)satisfaz as

Fatoracao:12

(−∆ + |x |2

n∑j=1

(xj − ∂xj )(xj + ∂xj ) +n2

(−∆ + |x |2

)associados aos

2 ∆ + 12 |x |

Φ(x) = π−n4 e−

|x|22 .

11 / 27

Nelson Faustino

Formulacao em termos de algebras de CliffordF. Sommen, An Algebra of Abstract Vector Variables, (1997), Portugalia Math.

Analise usando algebras de Clifford: Estudo de operadores que saoelementos da algebra

xj , ∂xj , ej : j = 1, . . . , n

1 xj e ∂xj satisfazem as relacoes de Weyl-Heisenberg[∂xj , ∂xk

]= [xj , xk ] = 0 and

[∂xj , xk

]= δjk I.

2 e1, e2, . . . , en sao os geradores canonicos da algebra de CliffordC`0,n:

ej ek + ek ej = −2δjk .

Derivada multivetorial: D =n∑

ej∂xj corresponde ao operador de

Dirac (embebimento do operador gradiente em C`0,n).

Operador de multiplicacao multivetorial: X : f(x) 7→n∑

ejxj f(x)

corresponde ao operador de multiplicacao pelo vetor de Clifford

x =n∑

xj ej .12 / 27

Nelson Faustino

xj , ∂xj , ej : j = 1, . . . , n

]= [xj , xk ] = 0 and

[∂xj , xk

]= δjk I.

ejxj f(x)

x =n∑

xj ej .12 / 27

Nelson Faustino

xj , ∂xj , ej : j = 1, . . . , n

]= [xj , xk ] = 0 and

[∂xj , xk

]= δjk I.

ejxj f(x)

x =n∑

xj ej .12 / 27

Nelson Faustino

xj , ∂xj , ej : j = 1, . . . , n

]= [xj , xk ] = 0 and

[∂xj , xk

]= δjk I.

ejxj f(x)

x =n∑

xj ej .12 / 27

Nelson Faustino

Representacao de sl(2,R)

Derivada radial: E =∑n

j=1 xj∂xj

Propriedades basicas:1 Fatoracao do Laplaciano: ∆ :=

∑nj=1 ∂

= −D2

2 Propriedades de Invariancia: [E ,X ] = X e [E ,D] = −D.3 Fatoracao da derivada radial: XD + DX = −2(E + n

2 id).

Representacao canonica de Analise Harmonica: p = − 12 ∆,

p† = 12 X 2 e q = E + n

2 I sao os geradores canonicos da algebrade Lie sl(2,R):[

p,p†]

= q,[q,p†

]= p†, [q,p] = −p.

13 / 27

Nelson Faustino

j=1 xj∂xj

∑nj=1 ∂

= −D2

2 id).

p† = 12 X 2 e q = E + n

p,p†]

= q,[q,p†

]= p†, [q,p] = −p.

13 / 27

Nelson Faustino

j=1 xj∂xj

∑nj=1 ∂

= −D2

2 id).

p† = 12 X 2 e q = E + n

p,p†]

= q,[q,p†

]= p†, [q,p] = −p.

13 / 27

Nelson Faustino

j=1 xj∂xj

∑nj=1 ∂

= −D2

2 id).

p† = 12 X 2 e q = E + n

p,p†]

= q,[q,p†

]= p†, [q,p] = −p.

13 / 27

Nelson Faustino

j=1 xj∂xj

∑nj=1 ∂

= −D2

2 id).

p† = 12 X 2 e q = E + n

p,p†]

= q,[q,p†

]= p†, [q,p] = −p.

13 / 27

Nelson Faustino

j=1 xj∂xj

∑nj=1 ∂

= −D2

2 id).

p† = 12 X 2 e q = E + n

p,p†]

= q,[q,p†

]= p†, [q,p] = −p.

13 / 27

Nelson Faustino

Uma nova versao do Calculo de Landau-WeylD. Constales, N.F. & R.S. Kraußhar, J. Phys. A: Math. Theor. 44 135303 (2011)

Oscilador harmonico classico: H = 12 (−∆ + |x |2) = 1

2 (D2 − X 2)

Fatoracao alternativa do oscilador harmonico: Os operadoresD± = 1√

2(X ∓ D) satisfazem a propriedade D+D− + D−D+ = −2H.

Operador de Dirac esferico: Γ := −XD − E e um operadorradialmente independente, uma vez que [Γ,X 2] = 0.

Propriedades

Os operadores X ,D,E ,∆ e Γ satisfazem as seguintes relacoes:

XD + DX = −2E − nI, [E ,D] = −D, [E ,X ] = X[∆,X ] = 2D, XD = −E − Γ, [E , Γ] = 0

Γ = E + nI + DX , Γ,X = −(n + 1)X , Γ,D = −(n + 1)D,[E ,X 2] = 2X 2,

[Γ,X 2] = 0, [Γ,∆] = 0.

14 / 27

Nelson Faustino

2 (D2 − X 2)

Propriedades

[Γ,X 2] = 0, [Γ,∆] = 0.

14 / 27

Nelson Faustino

2 (D2 − X 2)

Propriedades

[Γ,X 2] = 0, [Γ,∆] = 0.

14 / 27

Nelson Faustino

2 (D2 − X 2)

Propriedades

[Γ,X 2] = 0, [Γ,∆] = 0.

14 / 27

Nelson Faustino

Simetrias em termos de superalgebras de Lie:

Os geradores p,p†,q, r, r† da forma

p = − 12 ∆, p† = 1

2 X 2, q = 12

(E + n

r† = 12√

2iX , r = 1

correspondem a uma representacao da algebra ortosimplectica deLie osp(1|2) = osp(1|2)par⊕

[·,·] osp(1|2)ımpar. As relacoes decomutacao sao dadas por[

r†,p†]

= 0,[r†,p

]= r, [q,p†] = p†[

r,p†]

= r†, [r,p] = 0, [q, r] = −r[p,p†

[q,p†

]= p†, [q,p] = −p

Observacao: osp(1|2)par = sl(2,R).

15 / 27

Nelson Faustino

Operador Eletromagnetico de Schrodinger emreticulados

Operador eletromagnetico de Schrodinger no reticulado hZn

Lhf(x) =1

n∑j=1

qhf(x)− ah(xj )f(x + hej )− ah(xj − h)f(x − hej )

)+ q Φh(x)f(x).

µ - massa

q- carga eletrica

ah(x) =n∑

ejah(xj ) - potencial magnetico discreto.

Φh(x)- potencial eletrico discreto.

16 / 27

Nelson Faustino

Lhf(x) =1

n∑j=1

)+ q Φh(x)f(x).

µ - massa

q- carga eletrica

ah(x) =n∑

16 / 27

Nelson Faustino

Lhf(x) =1

n∑j=1

)+ q Φh(x)f(x).

µ - massa

q- carga eletrica

ah(x) =n∑

16 / 27

Nelson Faustino

Lhf(x) =1

n∑j=1

)+ q Φh(x)f(x).

µ - massa

q- carga eletrica

ah(x) =n∑

16 / 27

Nelson Faustino

Lhf(x) =1

n∑j=1

)+ q Φh(x)f(x).

µ - massa

q- carga eletrica

ah(x) =n∑

16 / 27

Nelson Faustino

Aproximacao assintotica do operador deSturm-Liouville

Lhf(x) = − h2

n∑j=1

)∂f∂xj

)f(x) + O

A aproximacao assintotica e satisfeita, desde que:

1 ah(x) =n∑

)(1 + O (h)) .

2 qΦh(x) +1

n∑j=1

qh− ah(xj )− ah(xj − h)

17 / 27

Nelson Faustino

Lhf(x) = − h2

n∑j=1

)∂f∂xj

)f(x) + O

1 ah(x) =n∑

)(1 + O (h)) .

2 qΦh(x) +1

n∑j=1

17 / 27

Nelson Faustino

Lhf(x) = − h2

n∑j=1

)∂f∂xj

)f(x) + O

1 ah(x) =n∑

)(1 + O (h)) .

2 qΦh(x) +1

n∑j=1

17 / 27

Nelson Faustino

Um Problema InversoEstados Vinculados vs. Potenciais Eletricos & Magneticos associados ao operadoreletromagnetico de Schrodinger

Dado um par de operadores (A+h ,A

−h ) com valores na algebra de Clifford

que satisfazem a propriedade de fatoracao

Lh =12(A+

h A−h + A−h A+h

sera possıvel determinar os potenciais eletricos e magneticos deLh, Φh(x) e ah(x) respetivamente, a partir dos k−estados vinculadosψk (x ; h) (k ∈ N0) de Lh?

18 / 27

Nelson Faustino

Fatoracao do operador de SchrodingerEletromagneticoRelacoes Isospectrais

Par de operadores escada

Considere agora o par (A+h ,A

−h ) de operadores escadas definidos por

n∑j=1

ejA+jh with A+j

√qh4µ

(ah(xj )T

+jh −

A−h =n∑

ejA−jh with A−j

√qh4µ

qhI − ah(xj − h)T−j

Assumindo que o vetor de vacuum ψ0(x ; h) = φ(x ; h)s (s ∈ Pin(n)) euma solucao nula de A+

h , segue prontamente que o par de operadoresescada (A+

h ,A−h ) e iso-espectralmente equivalente ao par de

operadores (D+h ,Mh), com

D+h f(x) =

n∑j=1

ej∂+jh , Mh =

n∑j=1

(hah(xj − h)2T−j

h −4

q2hI).

19 / 27

Nelson Faustino

Abordagem de Fatoracaoquasi-monomios vs. estados vinculados ao operador eletromagnetico de Schrodinger

Adicionalmente, para o caso em que os potenciais eletricos emagneticos sao determinados por

Φh(x) =h

n∑j=1

(φ(x ; h)2

φ(x + hej ; h)2 +φ(x − hej ; h)2

φ(x ; h)2

ah(x) =n∑

qhφ(x ; h)

φ(x + hej ; h)

segue diretamente da propriedade de fatoracao Lh = 12 (A+

h A−h + A−h A+h )

que Lh e o equivalente iso-espectral do anti-comutador MhD+h + D+

h Mh.De fato, a formula iso-espectral

φ(x ; h)−1Lh(φ(x ; h)f(x) = − q4µh

(MhD+h + D+

resulta naturalmente da combinacao da propriedade de fatoracao comas relacoes iso-espectrais mencionadas acima.

20 / 27

Nelson Faustino

Um resumo de alguns dos meus resultadospublicados recentemente em ’Applied Mathematics and Computation’ (2017)

A partir da condicao de energia associada ao espaco de Fock Fh

induzido pelo modulo de Clifford `2(hZn; C`0,n) := `2(hZn)⊗ C`0,n,para vetores vacuo da forma ψ0(x ; h) = φ(x ; h)s (s ∈ Pin(n)), aquantidade

n∑j=1

ejXj = x

= hnψ0(x ; h)†ψ0(x ; h)

pode ser considerada como uma lei discreta dequasi-probabibilidade no reticulado hZn, carregando um conjuntode variaveis aleatorias independentes e identicamente distribuıdas(i.i.d.) X1,X2, . . . ,Xn.Foi utilizada a formulacao de probabilidade Bayesiana baseadana nocao de quasi-probabilidade a la Dirac (podem existir valoresde probabilidade negativa) para calcular alguns exemplosenvolvendo as conhecidas distribuicoes de Poisson ehypergeometricas, bem como distribuicoes de quasi-probabilidadedistributions envolvendo as funcoes generalizadasMittag-Leffler/Wright (de calculo fracionario).

21 / 27

Nelson Faustino

Um resumo de alguns dos meus resultadospublicados recentemente em ’Applied Mathematics and Computation’ (2017)

A partir da condicao de energia associada ao espaco de Fock Fh

induzido pelo modulo de Clifford `2(hZn; C`0,n) := `2(hZn)⊗ C`0,n,para vetores vacuo da forma ψ0(x ; h) = φ(x ; h)s (s ∈ Pin(n)), aquantidade

n∑j=1

ejXj = x

= hnψ0(x ; h)†ψ0(x ; h)

pode ser considerada como uma lei discreta dequasi-probabibilidade no reticulado hZn, carregando um conjuntode variaveis aleatorias independentes e identicamente distribuıdas(i.i.d.) X1,X2, . . . ,Xn.Foi utilizada a formulacao de probabilidade Bayesiana baseadana nocao de quasi-probabilidade a la Dirac (podem existir valoresde probabilidade negativa) para calcular alguns exemplosenvolvendo as conhecidas distribuicoes de Poisson ehypergeometricas, bem como distribuicoes de quasi-probabilidadedistributions envolvendo as funcoes generalizadasMittag-Leffler/Wright (de calculo fracionario).

21 / 27

Nelson Faustino

ExemplosGeneralizacao da distribuicao de Poisson

hnφ(x ; h)2 =

Eα,β(

4q2−αh2

)−1 4xjh q

(2−α)xjh h−

Γ(β + α

) , se x ∈ hZn≥0

0 , caso contrario

Observe que funcao generalizada de Mittag-Leffler

Eα,β(λ) =∑∞

m=0λm

Γ(β + αm)e bem definida para valores Re(α) > 0,

Re(β) > 0.1 Potencial eletrico discreto:

Φh(x) =h

n∑j=1

Γ(α + β + α

)Γ(β + α

) +Γ(β + α

)Γ(β − α + α

2 Potencial magnetico discreto:

ah(x) =n∑

√√√√√ 1qα

Γ(α + β + α

)Γ(β + α

22 / 27

Nelson Faustino

ExemplosGeneralizacao da distribuicao de Poisson

hnφ(x ; h)2 =

Eα,β(

4q2−αh2

)−1 4xjh q

(2−α)xjh h−

Γ(β + α

) , se x ∈ hZn≥0

0 , caso contrario

Observe que funcao generalizada de Mittag-Leffler

Eα,β(λ) =∑∞

m=0λm

Γ(β + αm)e bem definida para valores Re(α) > 0,

Re(β) > 0.1 Potencial eletrico discreto:

Φh(x) =h

n∑j=1

Γ(α + β + α

)Γ(β + α

) +Γ(β + α

)Γ(β − α + α

2 Potencial magnetico discreto:

ah(x) =n∑

√√√√√ 1qα

Γ(α + β + α

)Γ(β + α

22 / 27

Nelson Faustino

Propriedade de AppellExtensao hipercomplexa dos polinomios de Charlier

1 Observacao: Para as escolhas de q = 2 e λ = 1h2 , o operador de

escada resultante da distribuicao de Mittag-Leffler

Mh =n∑

((xj +

)T−j

h −1h

corresponde a uma

aproximacao envolvendo diferencas finitas do operador de

Clifford-Hermite xI − D = − exp

(|x |2

)D exp

(−|x |

2 Os quasi-monomios gerados a partir da formula operatorialmk (x ; h) = µk (Mh)k s (s ∈ Pin(n)), associadas as constantes

µ2m = (−1)m

(k = 2m) e µ2m+1 = (−1)m

2 + 1)

2m + 1)

satisfaz a propriedade de Appell D+h mk (x ; h) = kmk−1(x ; h).

Estes quasi-monomios correspondem a uma extensaohipercomplexa para os polinomios de Poisson-Charlier.

23 / 27

Nelson Faustino

Propriedade de AppellExtensao hipercomplexa dos polinomios de Charlier

1 Observacao: Para as escolhas de q = 2 e λ = 1h2 , o operador de

escada resultante da distribuicao de Mittag-Leffler

Mh =n∑

((xj +

)T−j

h −1h

corresponde a uma

aproximacao envolvendo diferencas finitas do operador de

Clifford-Hermite xI − D = − exp

(|x |2

)D exp

(−|x |

2 Os quasi-monomios gerados a partir da formula operatorialmk (x ; h) = µk (Mh)k s (s ∈ Pin(n)), associadas as constantes

µ2m = (−1)m

(k = 2m) e µ2m+1 = (−1)m

2 + 1)

2m + 1)

satisfaz a propriedade de Appell D+h mk (x ; h) = kmk−1(x ; h).

Estes quasi-monomios correspondem a uma extensaohipercomplexa para os polinomios de Poisson-Charlier.

23 / 27

Nelson Faustino

Mais ExemplosA distribuicao generalizada de Wright

n∏j=1

[(δ, γ)(β, α)

q1+γ−αh2

Γ(δ + γ

)Γ(β + α

) ααxj

h γ−γxj

h 4xjh q−

(1+γ−α)xjh h−

xjh + 1

) , x ∈ hZn≥0

0 , caso contrario

1 Note que a funcao de Wright 1Ψ1

[(δ, γ)(β, α)

]corresponde a

uma serie de potencias, que e absolutamente convergente para

valores de |λ| < αα

γγe de |λ| =

γγ, Re(β)− Re(δ) > 1

2 para o caso

de h2 >γ2γ

4q1+γ−α e de h2 =

4q1+γ−α , Re(β)− Re(δ) > 1

sempre que α− γ = −1.

24 / 27

Nelson Faustino

Distribuicoes Generalizas de WrightAlgumas observacoes adicionais

Para γ = δ = 1, a funcao de verossimilhanca acima coincide a,menos de uma constante, com a distribuicao de Mittag-Lefflerdefinida anteriormente. Adicionalmente, se α = Re(α) > 0, α→ 0+

e h >2q

, a funcao de verossimilhanca definida anteriormente

simplifica-se para

hnφ(x ; h)2 =

(1− 4

q−2xjh h−

2xjh , if x ∈ hZn

0 , caso contrario

Para β = δ, a funcao de verossimilhanca da-nos a distribuicao dePoisson (α = γ = 1), bem como a distribuicao hipergeometricano reticulado hZn

≥0, de parametros λ = 4q2h2 (α→ 0+, γ = 1 e

h > 2q ).

25 / 27

Nelson Faustino

Distribuicoes Generalizas de WrightAlgumas observacoes adicionais

Para γ = δ = 1, a funcao de verossimilhanca acima coincide a,menos de uma constante, com a distribuicao de Mittag-Lefflerdefinida anteriormente. Adicionalmente, se α = Re(α) > 0, α→ 0+

e h >2q

, a funcao de verossimilhanca definida anteriormente

simplifica-se para

hnφ(x ; h)2 =

(1− 4

q−2xjh h−

2xjh , if x ∈ hZn

0 , caso contrario

Para β = δ, a funcao de verossimilhanca da-nos a distribuicao dePoisson (α = γ = 1), bem como a distribuicao hipergeometricano reticulado hZn

≥0, de parametros λ = 4q2h2 (α→ 0+, γ = 1 e

h > 2q ).

25 / 27

Nelson Faustino

BibliografiaAlguns artigos adicionais

Faustino, Nelson (2013). Special Functions ofHypercomplex Variable on the Lattice Based on SU (1, 1).Symmetry, Integrability and Geometry: Methods andApplications 9, no. 0 : 65-18.

Faustino, N. (2014). Classes of hypercomplex polynomials ofdiscrete variable based on the quasi-monomiality principle.Applied Mathematics and Computation, 247, 607-622.

Faustino, Nelson (2017). Symmetry PreservingDiscretization Schemes through Hypercomplex Variables,Conference: 15th International Conference of NumericalAnalysis and Applied Mathematics , DOI:10.13140/RG.2.2.35900.74882

26 / 27

Nelson Faustino

26 / 27

Nelson Faustino

26 / 27

Nelson Faustino

Obrigado pela vossa atencao!Questoes e comentarios sao bem-vindos!

http://professor.ufabc.edu.br/∼nelson.faustino/

Figure: ’Selfie’ com Paul A.M. Dirac, Florida State University(Tallahassee), 15 de dezembro de 2014

27 / 27

Modelos de mecanica quˆ anticaˆ baseados em calculo...

Documents

Transcript of Modelos de mecanica quˆ anticaˆ baseados em calculo...