のSchwartz空間上の表現を見たが、この表現を微分表現とするLie群の表現があるか?という問いが出る。これの答えとなるのが"Linear Canonical Transform"(以後LCT)と呼ばれるものである。LCTは2次行列をパラメータに取り、Weierstrass変換や実数階Fourier変換、スケール変換等を内包する高度な一般性を持つ変換である。
記号を定義しておく。
複素数の偏角
(巡回定義みがありますが...)
の実行列全体
(※僕が調べた範囲(Wikipediaなど)だと代数的分岐が現れるということまでは書いてましたが、積構造の符号が曖昧になっていたりそもそも書かれてなかったりして困りました。自力でうまくLie群やLie代数構造とつながるように丁寧に整理してこの記事を書いてますが、間違いをしているかもしれません。
もう一度考え直した結果、符号部分の定め方に間違いが有りました。2022/2/9に修正しました。申し訳ありません。)
積分変換とは、次の形をとるような変換 T のことである。
この積分変換の入力は関数 f であり、出力は関数 Tf である。積分変換は作用素の一種である。
個々の積分変換は、その変換の核関数,積分核,あるいは核 と呼ばれる二変数関数 K を定めれば決まる。
各々の積分変換が持つ性質は多岐に渡るが、いくつかの性質は共通のものとなっている。例えば、すべての積分変換は線形作用素である。実は、核函数が超関数となることをも許せば、すべての線形作用素は積分変換になる(このことをきちんと定式化したものがシュワルツの核定理である)。LCTは線形変換で核関数はの形を取る(退化した場合はデルタ関数との積が核関数となる。)
単位元は定義より自明であるが、積の式は非自明である。
退化
という変化で積分表示が崩れるが、その計算法を見る。
積分表示で変数変換をする。
途中Gauss積分
とを用いた。Gauss積分の有効な範囲はなので分岐に注意しなければならない。
積構造
とする。
まずの成分に0が含まれない場合を考察する。
なお、の各成分の正負通りすべてについて場合分けして定義式を見ることで、
となることが確かめられる。次にに一つ0が含まれる場合を見る。
として、退化の式を用いて
となる。やはり
が\成立することが分かる。他の成分が0の場合もすこし同様である(少しってなんだよ)。のうちつの成分がである場合、行列計算でのもう一方の成分もになることが分かる。実際に計算をすると
となって、
が成立する。
符号について整理する。が成立するのパターンは符号の組み合わせ27(ありえるのは21)通りのうち、
の場合と
の場合の11(6)通りに限られる。それ以外のときはである。
このようにLCTはというパラメータの群構造を持つが、これはMetaplectic群と呼ばれるLie群である。。Symplectic行列は解析力学の正準交換等に現れる線形Lie群であるが、次行列の場合はという関係が成り立つ。一般にSymplectic群は無限巡回群(円周のように無限要素からなる巡回群)を含んでいて、二重被覆が唯一存在するため、それをMetaplectic群と呼ぶのである。Metaplectic群は忠実な有限次元表現を持たない、つまり行列だけであらあわすことが不可能なLie群である。LCTを多変数化するとき一般のSymplectic Lie群の構造を取るが、この記事を書いている現在の自分はまだ一般の場合の正当な計算方法を知らず、Metaplectic群と関わるか具体的に分からない状態であるため、この記事ではとりあえずに限定して話す。二重被覆であるかといったLie群の大域的な性質(離散的な違い)はLie環の構造にあらわれてこない。離散的な違いはLCTの場合は符号のパラメータに対応して、どちらも「一様」にを被覆している。。LCTを随伴作用させるときの違いは消えてただのの作用になることは、次のようにして理解できる。
この補題は計算公式としても有効である。
とする。
より演算子として
また、
なので演算子として
となる。部分積分のところで、が急激減少関数であるからでの値が0であると仮定した。省略するがである場合も同様である。
実際にLCTの微分表現が
Schwartz空間上の表現であることを確認する。
途中Weierstrass変換の積分表示を微分演算子の表示に変えた。
以後、LCTの積分表示を微分演算子による表示に書き換えて、色々な公式を導くようにする。
のときWeierstrass変換の公式より
となる。
ただし、となるように調整した。
Lie代数の同型はLie群が単位元近傍で局所的に同構造であることを意味するので、単位元近傍でSchwartz空間上の表現(Lie同型写像)を対応させるとLCTの公式として次を得る
LCTの大まかなことがわかったのでの部分群に着目するなどして得られる系や具体例を見る。
は恒等変換。
はパリティ変換。
よりは位数4の巡回部分群である。
の場合、LCTはスケール変換との乗算演算子の合成であり、これはBorel部分群に対応している。
LCTはFourier変換やLaplace変換を含んでいる。
Fourier変換
とする。
はFourier変換である(倍違う点に注意。)。逆Fourier変換は
となる。Fourier変換を2回行うとパリティ変換となるが、それはLCTの公式としてを意味する。Fourier変換の4回合成は元にもどるが、倍されるのでは位数8の巡回部分群である。の範囲から逸脱してしまうが、パラメータを複素数に拡張した場合、LCTはLaplace変換を含む。
実数階Fourier変換
Fourier変換の実数回作用とは何であるか?
加法的な実数パラメータを持つ群でかつがFourier変換となっているような拡張を考えればいいとわかる。LCTはLie部分群として実数階Fourier変換を含んでいるのである。
部分群である回転群で考えた場合、の近傍で
が成立する。まではこの積分表示が成立するが、を超えるときではこの表示が存在しないため等号が成立しない。しかし指数関数の加法性
は成立すべきものであるので、と分解したらに対して積分表示を出せる。
また、であるからとなる。
以上より実数階Fourier変換は
と結論付けられる。
なお、実数階Fourier変換の核関数をMehler核と呼ぶ。
Fourier変換の微分演算子表示
観賞用に特筆すべき系を書いておく。
この公式は『数学の現在』の第1講(小林俊行著)に紹介されている。
(余談ですが:僕はこの公式を高1で初めて見たときとても強い衝撃を受けて、演算子の計算を更に活発に行うようになり、表現論やリー代数と量子力学の関係に興味を持つ今に至ります。この公式が僕の数学の原点となっています。僕は上の公式の一般化を試みて、LCTの積構造の符号を場合分けをすること無く一発で表示できる方法が無いかと模索しました。結局符号部分の議論の詳細を見つけることができなかったので、実数階Fourier変換の計算からエスパーする形であのような符号の定義の仕方を導入しました。計算がうまく行ったから恐らく正しいと思いますが、文献に載ってるといった情報があれば教えてほしいと思います。)
としたとき、行列をQR分解することで
というように各部分群の積で表せる。なのでLCTは実数階Fourier変換とスケール変換との乗算作用で生成されるということがわかる。(岩澤分解)