Related papers: A symbolic calculus for Fourier integral operators
Given a Lie group $G$ of quantized canonical transformations acting on the space $L^2(M)$ over a closed manifold $M$, we define an algebra of so-called $G$-operators on $L^2(M)$. We show that to $G$-operators we can associate symbols in…
In this paper, we briefly discuss the dynamic and functional approach to computer symbolic tensor analysis. The ccgrg package for Wolfram Language/Mathematica is used to illustrate this approach. Some examples of applications are attached.
The R package calculus implements C++ optimized functions for numerical and symbolic calculus, such as the Einstein summing convention, fast computation of the Levi-Civita symbol and generalized Kronecker delta, Taylor series expansion,…
In this note, we shall prove a formula for the Fourier transform of spherical Bessel functions over complex numbers, viewed as the complex analogue of the classical formulae of Hardy and Weber. The formula has strong representation…
There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. The purpose of this article is to translate some important results and operators from the context of $L^2(\R)$ to that of…
In recent years there has been a renewed interest in finding fast algorithms to compute accurately the linear canonical transform (LCT) of a given function. This is driven by the large number of applications of the LCT in optics and signal…
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, based on dual vector fields. For a function analytic in a…
We study the composition of an arbitrary number of Fourier integral operators $A_j$, $j=1,\dots,M$, $M\ge 2$, defined through symbols belonging to the so-called SG classes. We give conditions ensuring that the composition…
We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.
A symbolic method is used to establish some properties of the Bernoulli-Barnes polynomials.
There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. We study the action of the Bargmann transform on several classical integral operators on $L^2(\R)$, including the…
We describe how Computational Group Theory provides tools for manipulating tensors in explicit index notation. In special, we present an algorithm that puts tensors with free indices obeying permutation symmetries into the canonical form.…
`Umbral calculus' deals with representations of the canonical commutation relations. We present a short exposition of it and discuss how this calculus can be used to discretize continuum models and to construct representations of Lie…
In this paper we define canonical sine and cosine transform, convolution operations, prove convolution theorems in space of integrable functions on real space. Further, obtain some results require to construct the spaces of integrable…
We show that intertwining operators for the discrete Fourier transform form a cubic algebra $\mathcal{C}_q$ with $q$ a root of unity. This algebra is intimately related to the two other well-known realizations of the cubic algebra: the…
We introduce a symbolic operator framework for simulating quantum photonic systems that works directly with the canonical commutation relations and the Weyl algebra. Unlike existing Fock-space or Gaussian simulators, our method treats…
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inherent symmetries of polynomial systems to reduce complexity,…
This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…
This work presents a brief discussion and a plan towards the analytical solving of Partial Differential Equations (PDEs) using symbolic computing, as well as an implementation of part of this plan as the PDEtools software-package of…
We construct a special class of semiclassical Fourier integral operators whose wave fronts are symplectic micromorphisms. These operators have very good properties: they form a category on which the wave front map becomes a functor into the…