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:
Transformada de Fresnel
A transformada de Fresnel corresponde ao cisalhamento e são uma família de elementos parabólicos , representados pelas matrizes,
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:
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
Assumindo que o sistema se parece com o representado na figura, a onda viaja do plano x i , y i - plano para o x , y - 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
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
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
A relação entre a entrada e a saída, podemos usar LCT para representar
- Se , é a imagem real reversa.
- Se , é transformada de Fourier + escala
- 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
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
- Distribuição Segal-Shale-Weil , um grupo metaplético de operadores relacionados à transformada chirplet
- Outras transformações de tempo-frequência:
- Formulários:
Notas
- ^ 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.
- ^ 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 )
- ^ KB Wolf (1979) cap. 9: transformações canônicas .
- ^ KB Wolf (1979) cap. 9 e 10 .
- ^ 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.
- ^ 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