TY - JOUR
T1 - Fourier transforms of smooth functions on certain nilpotent Lie groups
AU - Corwin, L.
AU - Greenleaf, F. P.
PY - 1980/6/15
Y1 - 1980/6/15
N2 - The authors consider irreducible representations π ε{lunate} N ̂ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels Kφ(x, y) of the trace class operations πφ = ∝N φ(n)πn dn, regarding the π as modeled in L2(Rk) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels Kφ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rn, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rn → Rn with the following properties. The Fourier transforms F1φ = Kφ(x, y, λ) all factor through A to give "rationalized" Fourier transforms Fφ(u) such that Fφ {ring operator} A = F1φ. On the rationalized parameter space a function f(u) is of the form Fφ = f ⇔ f is Schwartz class on Rn. If polynomial operators T ε{lunate} P(N) are transferred to operators T ̃ on Rn such that F(Tφ) = T ̃(Fφ), P(N) is transformed isomorphically to P(Rn).
AB - The authors consider irreducible representations π ε{lunate} N ̂ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels Kφ(x, y) of the trace class operations πφ = ∝N φ(n)πn dn, regarding the π as modeled in L2(Rk) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels Kφ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rn, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rn → Rn with the following properties. The Fourier transforms F1φ = Kφ(x, y, λ) all factor through A to give "rationalized" Fourier transforms Fφ(u) such that Fφ {ring operator} A = F1φ. On the rationalized parameter space a function f(u) is of the form Fφ = f ⇔ f is Schwartz class on Rn. If polynomial operators T ε{lunate} P(N) are transferred to operators T ̃ on Rn such that F(Tφ) = T ̃(Fφ), P(N) is transformed isomorphically to P(Rn).
UR - http://www.scopus.com/inward/record.url?scp=49149145342&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=49149145342&partnerID=8YFLogxK
U2 - 10.1016/0022-1236(80)90041-5
DO - 10.1016/0022-1236(80)90041-5
M3 - Article
AN - SCOPUS:49149145342
SN - 0022-1236
VL - 37
SP - 203
EP - 217
JO - Journal of Functional Analysis
JF - Journal of Functional Analysis
IS - 2
ER -