Orbital integral: Difference between revisions
m changed some H's to K's. |
Jezhotwells (talk | contribs) m Added {{article issues}} with parameters cleanup, context and essay-like {{expert}} tag to article. using Friendly |
||
Line 1: | Line 1: | ||
{{article issues|cleanup=July 2009|context=July 2009|essay-like=July 2009}} |
|||
{{expert|date=July 2009}} |
|||
In [[mathematics]], an '''orbital integral''' is an [[integral]] that generalizes the [[spherical mean]] operator to [[homogeneous space]]s. Instead of integrating over spheres, one integrates over [[generalized sphere]]s: for a homogeneous space ''X'' = ''G''/''H'', a generalized sphere centered at a point ''x''<sub>0</sub> is a [[group orbit]] of the [[isotropy group]] of ''x''<sub>0</sub>. The model case for orbital integrals is a [[symmetric space]] ''G''/''K'' where ''G'' is a [[Lie group]] and ''K'' a necessarily compact unimodular subgroup. Generalized spheres in this case are then actual [[geodesic]] spheres, and one can define the spherical averaging operator directly by |
In [[mathematics]], an '''orbital integral''' is an [[integral]] that generalizes the [[spherical mean]] operator to [[homogeneous space]]s. Instead of integrating over spheres, one integrates over [[generalized sphere]]s: for a homogeneous space ''X'' = ''G''/''H'', a generalized sphere centered at a point ''x''<sub>0</sub> is a [[group orbit]] of the [[isotropy group]] of ''x''<sub>0</sub>. The model case for orbital integrals is a [[symmetric space]] ''G''/''K'' where ''G'' is a [[Lie group]] and ''K'' a necessarily compact unimodular subgroup. Generalized spheres in this case are then actual [[geodesic]] spheres, and one can define the spherical averaging operator directly by |
||
:<math>M^rf(x) = \int_K f(gk\cdot y)\,dk</math> |
:<math>M^rf(x) = \int_K f(gk\cdot y)\,dk</math> |
Revision as of 23:49, 28 July 2009
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
No issues specified. Please specify issues, or remove this template. |
This article needs attention from an expert on the subject. Please add a reason or a talk parameter to this template to explain the issue with the article.(July 2009) |
In mathematics, an orbital integral is an integral that generalizes the spherical mean operator to homogeneous spaces. Instead of integrating over spheres, one integrates over generalized spheres: for a homogeneous space X = G/H, a generalized sphere centered at a point x0 is a group orbit of the isotropy group of x0. The model case for orbital integrals is a symmetric space G/K where G is a Lie group and K a necessarily compact unimodular subgroup. Generalized spheres in this case are then actual geodesic spheres, and one can define the spherical averaging operator directly by
where
- the dot product denotes the action of the group G on the homogeneous space X
- g ∈ G is a group element such that x = g·o
- y ∈ X is an arbitrary element of the geodesic sphere of radius r centered at x: d(x,y) = r
- the integration is taken with respect to the Haar measure on K.
A central problem of integral geometry is to reconstruct a function from knowledge of its orbital integrals. The Funk transform and Radon transform are two special cases. In the theory of automorphic forms, orbital integrals enter naturally into the formulation of the stable trace formula.
References
- Helgason, Sigurdur (1984), Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions, Academic Press, ISBN 0-12-338301-3