Файл: Желобенко, Д. П. Гармонический анализ на полупростых комплексных группах Ли.pdf

из

норм

II« llpnr =

sup р (а (о)) (1 +

II аIIP e_Re<r>°>,

(10)

О

при

фиксированных

р ЕЕ SPo,

п E N ,

?• е

(j+,

где

9>0 определяется формулой (8).

Пусть

@ Го _

подпро­

странство всех

элементов

а Е ®

класса 3 Г(> по

о.

Заметим,

что

aba ЕЕ А

для

всех

я е Я

Отсюда также

вытекает

31.8. А является двусторон­

П р е д л о ж е н и е

ним

идеалом в алгебре ©■

Полагая

— ab,

а ЕЕ А,

Д о к а з а т е л ь с т в о .

х

6ЕЕ ©, заметим, что

хх* ЕЕ А

и полунормы ра (а) —

—

|sp а {а) |,

р (а) =

max ра (а)

непрерывны

в

А.

Отсюда находим,

что

а

да (х) = Iх (<з)||н= sp х (а) х (а)*

удовлетворяет оценкам (2)

§ 20,

и то же верно с заме­

ной х на б^хб"2. Следовательно,

Аналогично

рассматривается у =

Ьа. Предложение доказано.

Соответственно, билинейная

форма

<о, b) = ^a (v, а) Ъ(v, а) d\i (v, а),

а ^ А ,

Ъ ^ © ,

(11)

определяет

двойственность

между

А

и

©.

Положим Жг =

{ у Е

Ж: supp х е

Gr}.

Фурье

П р е д л о ж е н и е

31.9.

Преобразование

Ф: у ь* у (а) =

®

у (v, а) является гомоморфизмом ал-

гебры Ж е

V

причем

Жг ->■ © Т-

алгебру

напомнить

(§

Д о к а з а т е л ь с т в о .

Достаточно

6),

что Ж=

UC0 (G).

Вложение ФС0 (G)

СИ ©

про­

веряется так же, как

и

вложение

ФХ d

А

(§ 30).

Умножение на Фк, и ЕЕ U, не меняет типа целой функ­

ции.

Предложение доказано.

© 0 (2).

Введем

обозначение

© =

V. Т е о р е м а д в о й с т в е н н о с т и д л я Ж.

Пусть 51 — алгебра всех

элементов

а ЕЕ ©,

удовлетво­

ряющих соотношениям

симметрии

§ 16

(относительно

W

и W).

51 Q

@ г.

Положим 5tr =

V

St, причем Жг <-> Str.

алгебру

Пусть

ЪЕЕ Str. Заметим,

Д о к а з а т е л ь с т в о .

что (11) определяет вложение

@

в А ', и положим у —

= Ф~гб,

где b рассматривается

как

элемент А ’.

По­

ложим

Уп — бпг/бпЕЕ X ,

где бп определяется

формулой (4),

supp бпЕ (? е)

е =

= е (п)

0. Тогда сп = Ф6Пе

A t =$>Ьп =

Фуп = спЬсп е

^ А г\й)

откуда заключаем (теорема 28),

что г/пЕЕ Х г+2е.

Следовательно,

У ^ Н т упЕЕ

П

(предел

в т о п о л о г и и

X'), т.

е.

Ф-1:

Str -> Жг.

Об­

мы Пэли — Винера — Шварца (см. [15]).

З а м е ч а н и е

2.

Соответствие между Ж, St яв­

ляется

топологическим

изоморфизмом

относительно

слабых

топологий

сг (Ж,

X),

a (St,

А).

(То же верно и

для сильных

топологий.)

т е о р е м ы . Изложение бу­

VI.

Л о к а л ь н ы е

дет неполным, если не отметить более глубокие ло­

кальные теоремы для Ж, которые являются аналогами

результатов

§ 29.

е^Же^, X,

р ее Л.

Положим

=

Из

теоремы 29

получаем

Stx>\

С л е д с т в и е

31.10. ФЖХ(А =

Этот результат является аналогом теоремы полно­

ты § 29.

всех

функций / (v,

а)

Пусть 3х** — множество

со значениями в Н от (Е^(v), Е* (v)), класса 3 по а, удов­

летворяющих

уравнениям симметрии §

16.

Из опреде­

ления 3(Х1А ясно, что

St^ =

Jf-ф 0 3xl\

где Му#. — Н от (Е

Е х). Множество

Зх^

совпадает

с категорией Фурье

для

определяемой для

алгебры

Ж

по аналогии с

X-

Т е о р е м а

30

(редукционная

теорема). Пусть

31Х[А(е) — множество всех

элементов

/

ЕЕ 3Х(Х таких,

что / (v, cr) = 0 при v+ >

е.

Тогда

3 l^ (e )=

2

Sxsg81".

(12)

6 < €

Д о к а з а т е л ь с т в о .

Пусть

g*1 — множест­

во всех сужений

/

е= gX|i на индекс

v.

Положим

ж* _

5

ж _ CEV+

O v

--- Ov

Ov --- Ov •

С л е д с т в и е

31.11.

31х^ = 2

5x8g8l\

В частности,

пусть 31х =

8<t

91хх.

С л е д с т в и е

31.12. 91х =

2 gx8g8x-

5<Х

Из определения 91х следует

также, что Зх/91х~ Г х ,

где положено 3х = Зхх.

Соответственно, для алгебры Xх имеем

Ях/§>х~

. / ^

0 Гх,

где положено §)х = Ф-1 (

® 31х).

Отметим симметричность полученных формул (срав­

нительно с локальными

теоремами для X).

классы

функций на

G:

финитные

функции

класса

L2 (G),

быстро убывающие гладкие

функции

на G,

обобщенные функции

с

носителями

в К.

Полагая

х — у,

получаем

формулу Лланшереля

$ \х (g) 12dg = ^ sp |x (v, з) |2dp (v, з),

где

положено

|х (v, cr)

|2 =

х (v,

а) х (v,

o')*).

Соответственно, преобразование Фурье продолжа­

ется

до

изометрического

преобразования

L2 (G) на

З2 (2 ),

где

22 (2 ) — множество

всех

операторных

функций х (v,

ct) ( © v —>-©v), квадратично

интегри­

руемых

относительно dp (v,

а) (см. (81]).

В частности,

пусть

Ж — Lq(G) — пространство

та)

функций

из

L2 (G)

*).

ф = § (2 ) — простран­

С другой

стороны,

пусть

ство всех функций из

S2 (2 ),

класса 3 по а,

удовлет­

воряющих

равномерным оценкам

||a;(3)|KCeR e<r-°>,

(1)

где

х (а)

=

® х (у,

а)

— норма

оператора

х в

уни-

V

© v.

тарном пространстве

функций

из

рав­

Пусть

Ж г — множество всех

Ж,

ных нулю (почти всюду) вне компакта Gr.

из (Q,

удов­

Пусть § г — множество всех

функций

летворяющих

(1) при

фиксированном г £Е (>+.

Т е о р е м а

31.

Преобразование Фурье

устанавли­

ранствами Ж

и

Ж г и $ г.

х ее Ж по­

Д о к а з а т е л ь с т в о .

Для каждого

ложим

я О3) =

$ * (8) 8 (в) dg,

где g (о) = Ф ev0 (g).

Если

х е= Ж г, то

мы имеем

V

IIх (б) II <

$ Iх (8) IeRe <г’ а> dg = II х fa** <r' °>,

I * I! <

$

dg$ |ж(g) \4g =

CrI х |||,

G T

где Ст=

mes Gr,

|x ||2 — норма

x

в L? (G).

Следова­

тельно,

x

(а)

содержится

в §.

§ г,

С

другой

стороны,

пусть

х (а) — элемент

x(g) — его

прообраз

Фурье

в L2 (G).

Производя,

как и в § 31,

операцию сглаживания, получаем элемент

хп(g) =

(бпа:6„) (g),

х п^ Х ,

образ Фурье которого содержится в А г+2е, е =

е (/г)->-0.

При этом хп (g)

х (g)

почти всюду,

откуда заклю­

чаем,

что

x(g) — элемент Ж т.

Теорема

доказана.

З а м е ч а н и е

1.

Теорему

31 удобно

выразить

также в терминах ядер х (к:, /с2,

V,

а)

(см.

§

30) таких,

что

5 1х (Al к„ v, а) 14\i (v, з) <

оо.

2.

А л г е б р а

«2? = СГ (G).

Положим

|g |=

= max I g |г для элементов

g ЕЕ G.

Функция х (g)

на

1< i< l

группе G называется быстро убывающей, если

| * (г )| < с »| * Г . « = 0, 1 , 2, . . .

(2)

Пусть

ЗС — СТ (G) — пространство

всех

функций

на

G, быстро убывающих вместе со всеми производными,

с топологией,

определяемой полунормами

р (х) — max |(их) (g) |•|g Ц",

b £ N ,

u ^ U .

Заметим,

что ЗС — полное монтелевское пространство.

но свертки.

стороны, пусть

Е (Ос) — пространство

С

другой

всех

целых

функций / (о),

о е

Ос»

с ограниченными

полунормами

p(f) =

max |я (а)/(б) |,

c e R ,

л е Р (Ос)-'

Re а—с