Transformação canônica linear - Linear canonical transformation

Na mecânica hamiltoniana , a transformação canônica linear ( LCT ) é uma família de transformadas integrais que generaliza muitas transformadas clássicas. Possui 4 parâmetros e 1 restrição, portanto é uma família tridimensional e pode ser visualizada como a ação do grupo linear especial SL 2 ( R ) no plano tempo-frequência (domínio). Como isso define a função original até um signo, isso se traduz em uma ação de sua tampa dupla no espaço da função original.

O LCT generaliza as transformações de Fourier , Fourier fracionária , Laplace , Gauss-Weierstrass , Bargmann e as transformações de Fresnel como casos particulares. O nome "transformação canônica linear" vem de transformação canônica , um mapa que preserva a estrutura simplética, já que SL 2 ( R ) também pode ser interpretado como o grupo simplético Sp 2 e, portanto, os LCTs são os mapas lineares do domínio tempo-frequência que preservam a forma simplética , e sua ação no espaço de Hilbert é dada pelo grupo Metaplético .

As propriedades básicas das transformações mencionadas acima, como escala, deslocamento, multiplicação de coordenadas são consideradas. Qualquer transformação canônica linear está relacionada a transformações afins no espaço de fase, definidas por coordenadas de tempo-frequência ou posição-momento.

Definição

O LCT pode ser representado de várias maneiras; mais facilmente, pode ser parametrizado por uma matriz 2 × 2 com determinante 1, ou seja, um elemento do grupo linear especial SL 2 ( C ). Então, para qualquer matriz com ad  -  bc  = 1, a transformação integral correspondente de uma função para é definida como

Casos especiais

Muitas transformadas clássicas são casos especiais da transformação canônica linear:

Dimensionamento

Scaling , , corresponde a escalonando as dimensões de tempo e de frequência inversamente (como o tempo passa mais rapidamente, as frequências são mais elevados e os psiquiatras dimensão temporal):

transformada de Fourier

A transformada de Fourier corresponde a uma rotação no sentido horário de 90 ° no plano tempo-frequência, representado pela matriz:

Transformada fracionária de Fourier

A transformada fracionária de Fourier corresponde à rotação por um ângulo arbitrário; eles são os elementos elípticos de SL 2 ( R ), representados pelas matrizes:

A transformada de Fourier é a transformada fracionária de Fourier quando a transformada inversa de Fourier corresponde a

Transformada de Fresnel

A transformada de Fresnel corresponde ao cisalhamento e são uma família de elementos parabólicos , representados pelas matrizes,

onde z é a distância e λ é o comprimento de onda.

Transformada de Laplace

A transformada de Laplace corresponde à rotação de 90 ° no domínio complexo e pode ser representada pela matriz:

Transformada fracionária de Laplace

A transformada de Laplace fracionária corresponde à rotação por um ângulo arbitrário no domínio complexo e pode ser representada pela matriz:

A transformada de Laplace é a transformada de Laplace fracionária quando a transformada de Laplace inversa corresponde a

Multiplicação chirp

Multiplicação chirp,, corresponde a :

Composição

A composição de LCTs corresponde à multiplicação das matrizes correspondentes; isso também é conhecido como propriedade de aditividade da função de distribuição de Wigner (WDF). Ocasionalmente, o produto das transformações pode pegar um fator de sinal devido à escolha de um ramo diferente da raiz quadrada na definição do LCT. Na literatura, isso é denominado fase metaplética .

Se o LCT é denotado por , ou seja,

então

Onde

Se for o , onde está o LCT de , então

LCT é igual à operação de torção para o WDF e a distribuição de classe de Cohen também tem a operação de torção.

Podemos usar livremente o LCT para transformar o paralelogramo cujo centro está em (0,0) para outro paralelogramo que tem a mesma área e o mesmo centro

Desta imagem sabemos que o ponto (-1,2) se transforma no ponto (0,1) e o ponto (1,2) se transforma no ponto (4,3). Como resultado, podemos escrever as equações abaixo

podemos resolver as equações e obter (a, b, c, d) é igual a (2,1,1,1)

Em óptica e mecânica quântica

Os sistemas ópticos paraxiais implementados inteiramente com lentes finas e propagação através do espaço livre e / ou meios de índice graduado (GRIN), são sistemas de fase quadrática (QPS); estes eram conhecidos antes de Moshinsky e Quesne (1974) chamarem a atenção para sua importância em relação às transformações canônicas na mecânica quântica. O efeito de qualquer QPS arbitrário em um campo de onda de entrada pode ser descrito usando a transformada canônica linear, um caso particular desenvolvido por Segal (1963) e Bargmann (1961) para formalizar o cálculo do bóson de Fock (1928).

Na mecânica quântica , as transformações canônicas lineares podem ser identificadas com as transformações lineares que misturam o operador de momento com o operador de posição e deixam invariáveis ​​as relações de comutação canônicas .

Formulários

As transformadas canônicas são usadas para analisar equações diferenciais. Isso inclui a difusão , a partícula livre de Schrödinger , o potencial linear (queda livre) e as equações do oscilador atraente e repulsivo. Também inclui alguns outros, como a equação de Fokker-Planck . Embora essa classe esteja longe de ser universal, a facilidade com que as soluções e propriedades são encontradas torna as transformações canônicas uma ferramenta atraente para problemas como esses.

A propagação das ondas através do ar, uma lente e entre as antenas parabólicas é discutida aqui. Todos os cálculos podem ser reduzidos a álgebra matricial 2 × 2. Este é o espírito do LCT.

Propagação de ondas eletromagnéticas

TFA LCT fresnel.jpg

Assumindo que o sistema se parece com o representado na figura, a onda viaja do plano x iy i - plano para o xy - plano. A transformada de Fresnel é usada para descrever a propagação de ondas eletromagnéticas no ar:

Onde

  • é o número da onda ;
  • λ é o comprimento de onda ;
  • z é a distância de propagação; e
  • é a unidade imaginária.

Isso é equivalente a LCT (cisalhamento), quando

Quando a distância percorrida ( z ) é maior, o efeito de cisalhamento é maior.

Lente esférica

TFA LCT lens.jpg

Com a lente representada na figura e o índice de refração denotado como n , o resultado é:

onde f é a distância focal e Δ é a espessura da lente.

A distorção que passa pela lente é semelhante ao LCT, quando

Este também é um efeito de cisalhamento: quando a distância focal é menor, o efeito de cisalhamento é maior.

Espelho esférico

TFA LCT disk.jpg

O espelho esférico, por exemplo, uma antena parabólica, pode ser descrito como um LCT, com

Isto é muito semelhante à lente, excepto distância focal é substituído pelo raio do prato, R . Portanto, se o raio for menor, o efeito de cisalhamento será maior.

Espaço livre da junta e lente esférica

Joint Free space and spherical lens.png

A relação entre a entrada e a saída, podemos usar LCT para representar

  1. Se , é a imagem real reversa.
  2. Se , é transformada de Fourier + escala
  3. Se , é transformada de Fourier fracionária + escala

Propriedades Básicas

Nesta parte, mostramos as propriedades básicas do LCT

Operador Matriz de transformação

Dado um vetor de coluna bidimensional , mostramos algumas propriedades básicas (resultado) para a entrada específica abaixo

Entrada Saída Observação
Onde
linearidade
Teorema de Parseval
Onde conjugado complexo
multiplicação
derivação
modulação
mudança
Onde escala
escala
1
Onde

Exemplo

TFA LCT dish2.jpg

O sistema considerado é representado na figura à direita: dois pratos - sendo um deles o emissor eo outro o receptor - e um sinal viajando entre eles a uma distância D . Em primeiro lugar, para o prato A (emissor), a matriz LCT se parece com isto:

Então, para o prato B (receptor), a matriz LCT torna-se da mesma forma:

Por último, para a propagação do sinal no ar, a matriz LCT é:

Juntando todos os três componentes, o LCT do sistema é:

Relação com a física de partículas

Foi demonstrado que pode ser possível estabelecer uma relação entre algumas propriedades do Férmion elementar no Modelo Padrão de Física de Partículas e a representação de Spin de transformações canônicas lineares. Nesta abordagem, a carga elétrica , hipercarga fraca e isospin fraca das partículas são expressas como combinações lineares de alguns operadores definidos a partir dos geradores da álgebra de Clifford associados à representação de spin de transformações canônicas lineares.

Veja também

Notas

  1. ^ de Bruijn, NG (1973). "Uma teoria das funções generalizadas, com aplicações para distribuição de Wigner e correspondência de Weyl", Nieuw Arch. Wiskd. , III. Ser., 21 205-280.
  2. ^ PR Deshmukh & AS Gudadhe (2011) Estrutura de convolução para duas versões da transformada de Laplace fracionária. Journal of Science and Arts, 2 (15): 143-150. "Cópia arquivada" . Arquivado do original em 23/12/2012 . Página visitada em 29/08/2012 .CS1 maint: cópia arquivada como título ( link )
  3. ^ KB Wolf (1979) cap. 9: transformações canônicas .
  4. ^ KB Wolf (1979) cap. 9 e 10 .
  5. ^ Goodman, Joseph W. (2005), Introdução à óptica de Fourier (3ª ed.), Roberts and Company Publishers, ISBN 0-9747077-2-4, §5.1.3, pp. 100–102.
  6. ^ RT Ranaivoson e outros (2021) Phys. Scr. 96 065204

Referências

  • JJ Healy, MA Kutay, HM Ozaktas e JT Sheridan, " Linear Canonical Transforms: Theory and Applications ", Springer, New York 2016.
  • JJ Ding, " Análise de frequência de tempo e nota do curso sobre transformação wavelet ", Departamento de Engenharia Elétrica, Universidade Nacional de Taiwan (NTU), Taipei, Taiwan, 2007.
  • KB Wolf, " Integral Transforms in Science and Engineering ", cap. 9 e 10, New York, Plenum Press, 1979.
  • SA Collins, "Integral de difração do sistema de lentes escrito em termos de óptica de matriz," J. Opt. Soc. Amer. 60 , 1168–1177 (1970).
  • M. Moshinsky e C. Quesne, "Linear canonical transformations and its unitary representations," J. Math. Phys. 12 , 8, 1772-1783, (1971).
  • BM Hennelly e JT Sheridan, "Fast Numerical Algorithm for the Linear Canonical Transform", J. Opt. Soc. Sou. A 22 , 5, 928–937 (2005).
  • HM Ozaktas, A. Koç, I. Sari, e MA Kutay, "Efficient computation of quadratic-phase integrals in optics", Opt. Deixar. 31 , 35–37, (2006).
  • Bing-Zhao Li, Ran Tao, Yue Wang, "New sampling formulas related to the linear canonical transform", Signal Processing ' 87' , 983–990, (2007).
  • A. Koç, HM Ozaktas, C. Candan e MA Kutay, "Digital computation of linear canonical transforms", IEEE Trans. Processo de sinal. , vol. 56, não. 6, 2383–2394, (2008).
  • Ran Tao, Bing-Zhao Li, Yue Wang, "Na amostragem de sinais limitados por banda associados com a transformação canônica linear", IEEE Transactions on Signal Processing , vol. 56, não. 11, 5454–5464, (2008).
  • D. Stoler, "Operator methods in Physical Optics", 26º Simpósio Técnico Anual . Sociedade Internacional de Óptica e Fotônica, 1982.
  • Tian-Zhou Xu, Bing-Zhao Li, " Linear Canonical Transform and Its Applications ", Pequim, Science Press, 2013.
  • Raoelina Andriambololona, ​​RT Ranaivoson, HDE Randriamisy, R. Hanitriarivo, "Dispersion Operators Algebra and Linear Canonical Transformations", Int. J. Theor. Phys. , 56 , 4, 1258–1273, (2017)
  • RT Ranaivoson et al, "Linear Canonical Transformations in Relativistic Quantum Physics", Phys. Scr. 96 , 065204, (2021).
  • Tatiana Alieva., Martin J. Bastiaans. (2016) The Linear Canonical Transformations: Definition and Properties. Em: Healy J., Alper Kutay M., Ozaktas H., Sheridan J. (eds) Linear Canonical Transforms. Springer Series in Optical Sciences, vol. 198. Springer, New York, NY