球函数に対するプランシュレルの定理
数学における球函数に対するプランシュレルの定理（プランシュレンのていり、）は半単純リー群の表現論における重要な結果で、最終形はハリッシュ＝チャンドラによる。この定理は、古典調和解析に属する実数の加法群の表現論におけるプランシュレルの公式およびフーリエ変転公式の、非可換調和解析における自然な一般化であり、微分方程式論とも同様に近しい相互関係を持つ。
「球函数に対するプランシュレルの定理」は、半単純リー群に対する一般のプランシュレルの定理（これもハリッシュ＝チャンドラが示した）の、帯球函数に対する特別の場合である。プランシュレルの定理は、対応付けられた対称空間 "X" 上のラプラス作用素に対する球対称函数 (radial function) の固有函数展開を与えるものであり、また L("X") 上の正則表現の、既約表現への直積分分解をも与えるものである。双曲空間の場合には、これらの展開はメーラー、ワイル、フォックによる既知の結果として知られていた。
主要な参考文献として、網羅的な教科書 にこの主題に関する話題がほとんど全て載っている。
単模な局所コンパクト群 "G" に対する抽象的なプランシュレルの公式の最初の版は、ジーゲルとモートナーによる。同じころ、ハリッシュ＝チャンドラ、ゲルファントとナイマークは、実二次特殊線型群 "SL"(2 R) および複素半単純リー群、特にローレンツ群に対する明示公式を導いた。またモートナーは、極大コンパクト部分群 "K" に対応する「位相的」対称空間 "G"/"K" に対する、より単純な抽象公式を導いている。ゴドマンはより具体的で申し分のない形で、"G"/"K" 上の球函数のクラスである正定値帯球函数に対する公式を与えている。"G" が半単純リー群のとき、それら球函数 φ は、ユークリッド空間の有限鏡映群の作用による商に値をとる径数 λ で添字付けられるから、問題はこの径数付けのもとでプランシュレル測度を明示的に決定することが中心課題となる。常微分方程式のスペクトル論からワイルの考え方を一般化して、ハリッシュ＝チャンドラは、 彼に名高い "c"-函数 "c"(λ) を球函数 φ の漸近挙動を記述するために導入して、"c"(λ)"d"λ をプランシュレル測度として提唱した。彼が示したのは、公式の "G" が複素または実階数 1 である特別の場合であり、これは特に "G"/"K" が双曲空間である場合をカバーしている。一般の場合については、"c"-函数およびいわゆる球フーリエ変換の性質に関する二つの予想に還元される。"c"-函数に対する明示公式は、後にバーニュ＝マーシーが古典的半単純リー群の広範なクラスに対するものを得ている。それからこれらの公式に促されて Gindikin と Karpelevič は、"c"-函数に対する蹟公式を導出した。これは階数 1 の場合にはハリッシュ＝チャンドラの公式の計算に帰着される。これらの仕事は、最終的にハリッシュ＝チャンドラによってまとめられ、1966年に球函数に対するプランシュレルの定理の証明が完成した。
多くの特別の場合、例えば複素半単純群やローレンツ群において、その理論を直接的に推し進める単純な方法が存在する。これらの群のある種の部分群は、よく知られたアダマールの「降下法」を一般化した手法によって扱うことができる。特に は、実半単純群に対する球変換の性質をその複素化から還元する一般手法を与えた。
球変換に対する主要な応用および動機の一つはセルバーグ蹟公式であった。古典的なポワソン和公式は、ベクトル群上のフーリエ反転公式を余コンパクト格子上の総和に結び付けるが、この和公式の類似物としてのセルバーグ蹟公式は、ベクトル群を "G"/"K" で、フーリエ変換を球変換で、格子を余コンパクト（あるいは補有限）離散部分群で、それぞれ取り替えたものである。セルバーグのオリジナルの論文 は球変換を暗黙の裡に用いており、球変換を前面に持ち出すのは で、これには特にセルバーグのスケッチに沿ってSL(2,R) に対する初等的な取り扱いが示されている。
"G" を半単純リー群、"K" を "G" の極大コンパクト部分群とする。"G" 上のコンパクト台付き両側 "K"-不変函数からなるヘッケ環 はヒルベルト空間 "H"="L"("G" / "K") に畳み込みで作用する。"G" ⁄ "K" は対称空間ゆえ、この ∗-代数は可換である。その像の、作用素ノルムに関する閉包は、単位的でない可換"C"-環 formula_1 であり、ゲルファント同型によってそのスペクトル "X" 上の連続函数で無限遠で消えているものの全体と同一することができる。このスペクトルの点は、formula_1 から C への連続 ∗-準同型、即ち formula_1 の指標で与えられる。
"S"′ で "H" 上の作用素の集合 "S" の交換団を表すならば、formula_4 は "H" 上の "G" の正則表現の交換団と同一視することができる。そうして、formula_1 は "H" における "K"-不変ベクトル全体の成す部分空間 "H" を変えない。さらに言えば、それが "H" 上で生成する可換フォンノイマン環は極大可換部分環である。スペクトル論により、局所コンパクト空間 "X" 上の測度 μ と、"H" と "L"("X", μ) の間のユニタリ変換 "U" で formula_1 に属する作用素の全体を対応する乗算作用素の全体の上へ写すものとが、本質的にただ一つ存在する。
この変換 "U" を球フーリエ変換あるいは単に球変換と呼び、μ をプランシュレル測度と呼ぶ。ヒルベルト空間 "H" は "G" 上の両側 "K"-不変自乗可積分函数全体の成す空間 "L"("K"\"G"/"K") と同一視することができる。
formula_1 の指標 χ（即ち "X" の点）は、 に属する "f" に対する等式
を通じて "G" 上の正定値球函数 φ によって記述することができる。ただし、π("f") は formula_1 における畳み込み作用素であり、積分は "G" のハール測度に関するものである。
"G" 上の球函数 φ はハリッシュ＝チャンドラの公式
で与えられる。この式に関して：
ここから、 
ことがわかる。
球函数 φ は "G" の球主系列の行列要素と同一視することができる。"M" が "K" における "A" の中心化群のとき、これは "MAN" の "A" の上への準同型と指標 λ との合成によって与えられる "B" = "MAN" の指標から誘導される "G" のユニタリ表現 π として定義される。この誘導表現は、"G" 上の函数 "f" で
を満たすものに対し、
で作用が定義されるものである。ただし、
とする。このような函数 "f" は L("K" / "M") に属する函数と同一視され、指標は
となる。
複素特殊線型群 "G" = SL(2,C) は四元的上半平面
にメビウス変換として推移的に作用する。即ち、二次の複素正方行列が
として作用する。一点 "j" の固定部分群は極大コンパクト部分群 "K" = SU(2) であり、故に formula_17 が成り立つ。この上半平面には "G"-不変リーマン計量
が入り、対応する体積要素 "dV" とラプラス作用素 Δ が
と定まる。上辺平面 formula_20 の各点は、"SU"(2) の元 "k" を用いて "k"("e""j") と書くことができて、"t" は符号の違いを除いて決まる。またこのラプラス作用素 Δ は、"SU"(2)-不変函数の上で
なる形に書くことができて、実数値助変数 "t" の函数と見做すことができる。SU(2)-不変函数の積分は
で与えられる。自乗可積分 SU(2)-不変函数の空間と L(R) とを、ユニタリ変換 "Uf"("t") = "f"("t") sinh "t" で同一視すると、Δ は作用素
に写される。ここで R に対するプランシュレルの定理およびフーリエ反転公式を用いれば、任意の "SU"(2)-不変函数 "f" は球函数
を使った球変換および球反転公式
によって表すことができる。
が導かれる。これを両側不変函数に対して用いれば、
球函数 Φ はラプラス作用素
の固有函数であり、また R 上のシュヴァルツ函数はハリッシュ＝チャンドラ・シュヴァルツ函数の空間
に属する函数 "f" の球変換として表せられる。ペイリー・ウィーナーの定理により、コンパクト台付き滑らかな "SU"(2)-不変函数の球変換はちょうど、指数的増加条件
を満足する C 上の正則函数の制限であるような R 上の函数である。"G" 上の函数として Φ は L(C) において定義される球主系列の行列要素になっている。ただし、C は formula_20 の境界と同一視するものとする。表現は等式
で与えられる。また函数
は "SU"(2) で固定され、
が成り立つ。この表現 π は既約であり、これとユニタリ同値なものは λ の符号を変えたものに限る。
で与えられる formula_38 から （最初の因子には測度 を入れる）の上への写像 "W" はユニタリであり、かつ formula_38 の球主系列への直積分分解を与える。
実特殊線型群 "G" = SL(2,R) はポワンカレ上半平面
にメビウス変換として推移的に作用する。即ち実行列は
なる変換を定める。一点 "i" の安定化部分群は極大コンパクト部分群 "K" = SO(2) であり、 formula_42　が成立する。上半平面には "G"-不変リーマン計量
が入り、対応する面素 "dA" とラプラス作用素 Δ がそれぞれ
で与えられる。formula_45 の各点は "k" ∈ "SO"(2) を用いて "k"("e""i") の形に書くことができて、"t" は符号の違いを除いて決まる。ラプラス作用素は "SO"(2)-不変函数の上で
の形に書くことができて、実径数 "t" の函数と見ることができる。"SO"(2)-不変函数の積分は
で与えられる。この常微分方程式に対して、対応する固有函数展開を導出する方法はいくつかあるが、例えば：
二つ目と三つ目の手法は後述する。降下法については二種類の異なるものを記述する。アダマールによる古典的な降下法は、双曲空間上の熱方程式および波動方程式の取り扱いに適している。また、フレンステッド-イェンゼンの降下法は双曲面 (hyperboloid) 上のものである。
"f"("x","r") が formula_45 上の函数で 
とすれば、formula_50 上のラプラス作用素 Δ に関して
が成立する。"SL"(2,C) の作用は Δ と可換であるから、"SO"(2)-不変函数上の作用素 "M" が "SU"(2) の作用による "M""f" の平均化として得られて、
を満足する。また、随伴作用素 "M" が
で定義されて
を満足する。同じく随伴作用素 "M" が "M""f" の "SO"(2) 上の平均化として定義されて、
が "SU"(2)-不変函数 "F" と "SO"(2)-不変函数 "f" に対して成立する。ここから
となることがわかる。函数
は "SO"(2)-不変で
を満足する。一方、
は ±"R", ±"R" + πi を頂点とする矩形の周りで formula_60 を積分することによって計算できる。このとき固有函数
は正規化条件 φ("i") = 1 を満足する。このような解は、常微分方程式のロンスキ行列式が消えるか、さもなくば sinh "r" を不定元とする冪級数に展開されるかの何れかでなければならない。これにより、
がわかる。同様にして
が得られる。formula_45 上の "SO"(2)-不変函数の球変換が
で定義されるならば、
が成り立つ。"f" = "M""F" と取れば、"F" に対する "SL"(2,C)-反転公式から直ちに、formula_45 上の "SO"(2)-不変函数に対する球反転公式
が導かれる。
"SL"(2,C) の場合と同じく、ここから直ちに "C"("SL"(2,R)/"SO"(2)) に属する "f" に対するプランシュレルの公式
が得られる。球函数 φ はラプラス作用素
の固有函数である。R 上のシュヴァルツ函数はハリッシュ＝チャンドラ・シュヴァルツ函数の空間
に属する函数 "f" の球変換である。コンパクト台付きの滑らかな "SO"(2)-不変函数の球変換は、ちょうど R 上の函数で指数的増加条件
を満足する C 上の正則函数の制限となっているものになる。これらの結果はともに、球函数がこの増加条件を満足することを直接確かめることと、関係式 formula_73 を用いることにより、"SL"(2,C) における対応する結果から降下法によって演繹することができる。
"G" 上の函数として φ は、formula_45 の境界を R と同一視すれば、L(R) 上で定義される球主系列表現の行列要素に一致する。この表現は公式
で与えられる。函数
は "SO"(2) で固定され、
を満たす。表現 π は既約であり、また λ の符号を変えて得られる表現のみがこれとユニタリ同値になる。formula_78 を
第一因子上の測度を 
で定めた L([0,∞) × R) の上へ写す写像
はユニタリであり、formula_78 の球主系列への直積分分解を与える。
アダマールの降下法は formula_20 における径数 "y" に関する平行移動全体の成す一径数部分群の作用のもと不変な函数に依拠するものである。フレンステッド-イェンゼンの方法は、"SO"(2) の "SL"(2,C) における中心化群を用いるもので、これは "SL"(2.C) を "SO"(2) と
なる形の行列全体の成す一径数部分群 "K" との直積に分解する。対称空間 "SL"(2,C)/"SU"(2) は、行列式の値が 1 の正値な二次正方行列 "A" 全体の成す空間 H と同一視することができる。そのような行列
に群作用は
で与えられる。従って
が成り立つ。故に双曲面 formula_87 の上で "g" は "y"-座標および "a" しか動かさない。同様に、"SO"(2) の作用を、"a" と "y" を変えずに座標 ("b", "x") の上の回転として入れる。"y" = 0 の正値実行列全体の成す空間 H は単位行列の "SL"(2,R)-軌道と同一視することができる。座標 ("b","x","y") ∈ H および ("b","x") ∈ H を取れば、体積要素および面素がそれぞれ
で与えられる。ただし各式の "r" はそれぞれ "b" + "x" + "y" あるいは "b" + "x" と等しいものとする。この "r" は "r" = sinh "t" と置くことにより、原点からの双曲距離と関係する。
また、ラプラス作用素は
によって与えられる。ただし、
および
とする。H 上の "SU"(2)-不変函数および H 上の "SO"(2)-不変函数は "r" または "t" の函数
と見做すことができる。"f"("b","x") が H 上の函数で、"Ef" が
で定義されるものとすると、
が成り立つ。"f" が "SO"(2)-不変ならば、"f" を "r" または "t" の函数と見做して
が成り立つ。他方、
であるから、"Sf"("t") = "f"(2"t") と置いて 
であり、"M" = "ES" に対するフレンステッド-イェンゼンの基本降下関係式
が導かれる。"Mf" が "M""f" の "SU"(2) 上の平均化で得られるとすると、同じ関係式が "M" を "M" に代えて成立する。
拡大 "Ef" は変数 "y" に関して定数で、従って変換 "g" で不変である。一方 H 上の適当な函数 "F" に対して、
で定義される函数 "QF" は変数 "y" に依存しない。変数変換によって直截に
が示される。"K" は "SO"(2) と可換であるから、"F" が "SO"(2)-不変ならば "QF" もそうである、特に "F" "SU"(2)-不変ならばそうなり、この場合 "QF" は "r" または "t" の函数で、故に "M""F" は
で定義することができる。従って、上記積分公式から
を得、それから "SO"(2)-不変な "f" に対して
となるから以下の随伴公式
が得られる。この帰結として
が成り立つ。従って
とすれば、アダマールの降下法と同様に
が成り立ち、
が従う。"f" = "M""F" と取って、"F" に対する "SL"(2,C)-反転公式から直ちに
を得る。
球函数 φ は
で与えられるから、球変換
を
と書くことができて、ここで "F" を
と定めれば、球変換は
なる形に書くことができる。"F" と "f" との間の関係性をアーベルの積分等式
によって入れ替えるのは古典的である。実は
が成り立つ。"F" と formula_29 との間の関係性はフーリエ反転公式:
によって逆転するから、結果として点 "i" に対する球反転
が得られる。いま、"g" ∈ SL(2,R) を固定して考えれば、新たに formula_45 上回転不変で "f"(i) = "f"("g"("i")) を満たす函数
を定義することができる。他方、両側不変函数 "f" に対して
従って、"w" = "g"("i") として
が成立する。これと上の "f" に対する反転公式とを組み合わせれば、一般の球反転公式
が導かれる。
任意の複素半単純リー群あるいは奇数 "N" に対するローレンツ群 "SO"("N", 1) は通常のフーリエ変換に帰着して直接的に扱うことができる。それ以外の実ローレンツ群は、フレンステッド-イェンゼンの降下法により、他の実階数 1 の半単純リー群と同様に演繹することができる。フレンステッド-イェンゼンの降下法は、実半単純リー環が複素半単純リー環の正規実型である場合を扱う際にも適用できる。"SL"("N",  C) の正規実型でもある "SL"("N", R) に対する特別の場合は が詳しく扱っている。
これは一般性という点では（ハリッシュ＝チャンドラよりは）弱いけれども、このクラスの群に対するプランシュレルの定理へのより簡明な手法を与えてくれる。
"G" が複素半単純リー群で、それがコンパクト半単純リー群である極大コンパクト部分群 "U" の複素化に一致するとする。"G" および "U" のリー環をそれぞれ formula_126 および formula_127 とすれば
が成り立つ。"U" の極大トーラスを "T", そのリー環を formula_129 とするとき、
と置けば、カルタン分解
が得られる。"U" の有限次元既約表現 π は適当な λ ∈ formula_132 添字付けられる。対応する指標公式とワイルの次元公式から、明示的に
が与えられる。これらの公式は、もともと formula_134 および formula_132 の上で定義され、それをその複素化まで正則に拡張したものである。さらに言えば、
が成り立つ。ただし、"W" はワイル群 "W" = "N"("T")/"T" で δ("e") は formula_129 の複素化へ正則に拡張した積公式（ワイルの分母公式）で与えられる。同様の積公式が λ に関する多項式である "d"(λ) にも存在する。
複素群 "G" 上で両側 "U"-不変函数 "F" の積分は、formula_138 として
で評価することができる。"G" の球函数は formula_140 に属する λ でラベル付けられ、ハリッシュ＝チャンドラ-ベレツィンの公式
で与えられる。これは λ に対応する "G" のボレル部分群の指標から誘導される "G" の既約球主系列表現の行列要素である。このような表現は既約であり、かつ何れも L("U" / "T") 上で実現することができる。
両側 "U"-不変函数 "F" の球変換は
で与えられ、球反転公式は
となる。ただし、formula_144 はワイルの小部屋である。実はこの結果は formula_145 上のフーリエ反転公式から従う。というのも、
だから formula_147 は formula_148 のフーリエ変換に他ならないからである。
注意すべきは、対角部分群 "U" に対して対称空間 "G"/"U" はコンパクト双対としてコンパクト対称空間 "U" &rimes; "U" ⁄ "U" を持つことである。後者の空間（これを "U" 自身と同一視することができる）に対する球函数は、formula_149 の内部に含まれる格子点で添字付けられた、正規化された指標 χ/"d"(λ) で、"A" の役割を "T" が果たす。"U" 上の類函数 "f" の球変換は
で与えられ。今の場合、球反転公式は、"T" 上のフーリエ級数論から
となることがわかる。これらの公式と非コンパクト双対における同等の公式の間には明白な双対性が存在する。
"G" を複素半単純リー群 "G" の正規実型で、"G" のリー環上で共軛線型な対合 &sigmma; の不動点全体に一致するものとする。また τ を "G" のカルタン対合を "G" の対合へ拡張したもので、"G" のリー環上複素線型かつ、σ と可換となるように選ぶ。τσ の不動点全体の成す部分群は "G" のコンパクト実型 "U" of "G" であり、その "G" との交わりは極大コンパクト部分群 "K" になる。また τ の不動点部分群 "K" は "K" の複素化である。"G" = "K""P" を対応する "G" のカルタン分解とし、"A" を "P" の極大可換部分群とする。 は
が成り立つことを示した。ここで "A" は、ワイルの小部屋の formula_145 における閉包の指数写像による像である。さらに言えば
が成り立つ。
であるから、これにより と および "A" の間に標準的な同一視が存在することが従う。従って "G" 上の両側 "K"-不変函数は、"G" 上の左 "K"-不変かつ右 "U"-不変函数ともども、"A" 上の函数と同一視することができる。
formula_156 に属する函数 "f" に対し
formula_157 の元 "Mf" を
で定義する。ここで、第三のカルタン分解 "G" = "UAU" は を "A" と同一視するのに用いられた。
Δ を "G"/"K" 上のラプラス作用素、Δ を "G"/"U" のラプラス作用素とすると、
が成り立つ。formula_157 の元 "F" に対し、formula_156 に属する函数 "M""F" を
で定義すれば、"M" と "M" とは
なる双対関係を満たす。特に
である。"G" の普遍包絡環の中心に属する他の作用素に対しても同様の両立性条件が存在する。これは "G" 上で formula_165 が φ に比例するという球函数の固有函数による特徴付けから従う。比例定数は
で与えられる。さらに今の場合には
である。"f" = "M""F" が成り立つならば、"G" 上の "F" の球反転公式は "G" 上の "f" に対して
となるから、"L" を定数係数作用素 "L" の摂動と見做すことができる。
いま、球函数 φ はラプラス作用素
の固有函数、従って formula_145 上の "W"-不変函数と見るとき "L" の固有函数である。
"e" およびその "W" による変換は "L" の同じ固有値に属する固有函数であるから、φ に対する公式は、正ルートの非負整数係数線型結合全体の成す錐 Λ に関する摂動級数
を用いて自然に見ることができ、"f" の "W" による変換として書ける。表式
から係数 "a"(λ) に対する漸化式が導かれる。特に係数は一意的に決まり、級数及びその導函数は "W" の基本領域 formula_173 上で絶対収斂する。注目すべきは、"f" が "G"/"K" 上の別の "G"-不変微分作用素の固有函数でもあり、何れも formula_145 上の "W"-不変微分作用素を導くことがわかることである。
ここから、φ が "f" とその "W" による変換との線型結合
として表すことができることが従う。ここで "c"(λ) はハリッシュ＝チャンドラの "c"-函数である。これは、formula_173 の元 "X" と十分大きな "t" < 0 に対して
なる形で φ の formula_173 における漸近挙動を記述する。ハリッシュ＝チャンドラは "G" のブリュア分解
を用いて φ に、従って "c"(λ) に、対する二次の積分公式を得た。ただし、"B" = "MAN" で合併は非交和である。"W" のコクセター元、即ち formula_173 を formula_181 の上へ写す唯一の元 "s" を取ると、σ("N") が稠密開軌道 "G"/"B" = "K"/"M" でその成分が次元が真に小さく従って測度零であるような胞体の和となるようなものを持つことがわかる。これにより、もともと "K"/"M" 上で定義される φ の積分公式
を σ("N") 上の積分公式
に引き移すことができる。
formula_173 の元 "X" に対して
が成り立つから、φ の漸近挙動はこの積分から読み取ることができて、公式
が導かれる。
非可換調和解析においてハリッシュ＝チャンドラの "c"-函数が果たすことになる多くの役割は にまとめられている。もともとは、前節に述べたとおりハリッシュ＝チャンドラが球函数の漸近展開を行うために導入したものであったけれども、すぐに誘導表現の間の経絡作用素（表現の準同型）とも緊密な関係にあることが理解されるようになった。そのような意味でこれを研究するのは が最初である。ここでいう経絡作用素は、ワイル群の元 "s" に対して π と π とがユニタリ同値であることを示すもので、そのような作用素に"c"-函数 "c"(λ) を割り当てることができる。具体的には、経絡作用素を定数函数 1 である ξ ∈ L("K"/"M") に施したものの 1 における値である。あるいは同じことだが、ξ はスカラー倍を除いて "K" の固定する唯一のベクトルであるから、これは経絡作用素の固有値 "c"(λ) に属する固有ベクトルである。これらの経絡作用素は全て同じ空間 L("K"/"M") に作用し、この空間は "MAN" 上の λ が定める一次元表現からの誘導表現と同一視することができる。"A" を一つ決めたならば、コンパクト部分群 "M" は "A" の "K" における中心化群として一意的に決定されるが、冪零部分群 "N" は formula_125 におけるワイルの小部屋の選び方に依存し、その選び方はワイル群 "W" = "M"′/ "M" による置換の分だけある。ただし、"M"′ は "A" の "K" における正規化群とする。対 ("s", λ) に対応する標準経絡作用素とは、
によって誘導表現上で定義されるものをいう。ここに、σ はカルタン対合である。これは経絡関係式（準同型性）
を満足する。このような経絡作用素およびそこに現れる積分の重要な性質は、ワイルの小部屋の選び方に付随するワイル群上の長さ函数 &ell; について
が成り立つ限りにおいて、乗法的なコサイクル条件
を満たすことである。これは "s" ∈ "W" に対して、小部屋の内部にある各点 "X" について "X" と "sX" とを結ぶ線分が交叉する小部屋の総数である。正の制限ルートの総数に等しい長さを持つ唯一の最長元 "s" は、ワイルの小部屋 formula_192 を formula_193 の上へ写す唯一の元である。ハリッシュ＝チャンドラの積分公式により、これはハリッシュ＝チャンドラの "c"-函数
に対応する。一般に "c" 函数は、ξ を L("K"/"M") における定数函数 1 として、等式
によって定義される。経絡作用素の満たすコサイクル条件から、"c"-函数の同様の乗法的性質
が formula_190 なる仮定のもとで得られる。
この性質は "c" の計算を "s" = "s", 即ち単純ルート α に関する鏡映の場合に帰着させる。いわゆる の「階数 1 還元」である。 
実は積分は Σ に載るような α に対する formula_198 が生成する部分リー環に対応する閉連結部分群 "G" のみが関係する 。そうして、"G" は実階数 1, 即ち dim "A" = 1 の実半単純リー群であり、"c" はちょうど "G" のハリッシュ＝チャンドラ "c"-函数になる。この場合 "c"-函数は様々な意味で直接的に計算することができる：
それによって公式
が導かれる。ただし
とする。"c"(λ) に対する一般のは、この公式と "c"(λ) の乗法性の帰結として、直ちに得られる。
ここでいうペイリー-ウィーナーの定理は、群 "G" 上でコンパクト台付きの滑らかな "K"-双変函数の球変換を特徴づけることによって通常のペイリー-ウィーナーの定理を一般化するものである。その必要十分な条件は、球変換が "W"-不変であること、あるいはまた、適当な "R" > 0 が存在して、各 "N" に対して
なる評価を持つようにできることである。この場合 "f" は "G"/"K" の原点を中心とする半径 "R" の閉球体の内部に台を持つ。
このことはヘルガソンとガンゴリが示した ( pg. 37)。
この定理は後に が、球反転定理とは独立に、彼の複素係数の場合への還元法の修正版を用いて証明している。
は、先の証明を大いに簡略化する技法によって、ペイリー-ウィーナーの定理と球反転定理が同時に証明されることを注意している。
ローゼンバーグの証明の第一段階は、ハリッシュ＝チャンドラ "c"-函数を用いて定義される逆変換が、ペイリー-ウィーナーの評価を満足するとき、原点中心の半径 "R" の閉球体の中に台を持つ函数を定めることを、直截に示すことからなる。これにより、逆変換を定義する非積分函数が formula_125 の複素化上の有理型函数に延長できるから、積分を formula_149 の元 μ と に対する formula_204 にシフトすることができる。ハリッシュ＝チャンドラによる φ の展開とガンマ函数を用いた "c"(λ) の公式を用いると、積分を十分大きな "t" で抑えることができて、従って原点中心・半径 "R" の閉球体の外側で積分が消えることが示せる。
この部分で、ペイリー-ウィーナーの定理からは
が原点 "o" に台を持つ "G"/"K" 上のシュヴァルツ超函数を定めることがわかる。積分のさらなる評価によって、実はこれが測度によって与えられること、またそれにより定数 "C" で
を満たすものが存在することが示される。この結果を
に適用すれば、
が従う。さらに適当な拡大縮小を施すことにより、評価不等式における "C" を 1 としてよいことが、formula_145 上のペイリー-ウィーナーの定理およびプランシュレルの定理から演繹される。
ハリッシュ＝チャンドラ・シュヴァルツ空間は
で定義される。球変換によってこれは、formula_125 上の "W"-不変シュヴァルツ函数の空間 formula_212 の上へ写る。
ハリッシュ＝チャンドラのもともとの証明は帰納法を用いた長いものであったが、 はペイリー-ウィーナーの定理の一種と反転公式を用いて直接的に簡略化した短く単純な証明を発見した。アンカーは、ハリッシュ＝チャンドラ・シュヴァルツ函数の球変換が通常のシュヴァルツ函数となることを示した。そして彼の重要な着眼点は、古典的な評価を用いて、通常のシュヴァルツ空間の半ノルムを備えたペイリー-ウィーナー空間上で逆変換が連続であると示すことであった。