Мультипликатор (Фурье анализі) - Multiplier (Fourier analysis)

Жылы Фурье анализі, а мультипликатор операторы түрі болып табылады сызықтық оператор, немесе түрлендіру функциялары. Бұл операторлар функцияға оны өзгерту арқылы әрекет етеді Фурье түрлендіруі. Дәлірек айтқанда, олар функциялардың Фурье түрлендірулерін белгілі функцияға көбейтеді мультипликатор немесе таңба. Кейде термин мультипликатор операторы өзі қысқартылған мультипликатор.[1] Қарапайым тілмен айтқанда, мультипликатор кез-келген функцияға қатысатын жиіліктерді өзгертеді. Операторлардың бұл класы кең болып шығады: жалпы теория а-ға аударма-инвариантты операторды көрсетеді топ кейбір (өте жұмсақ) заңдылық шарттарына бағынатын көбейткіш оператор ретінде, керісінше көрсетілуі мүмкін.[2] Сияқты көптеген таныс операторлар аудармалар және саралау, мультипликатор операторлары болып табылады, дегенмен Гильберт түрлендіру.

Жылы сигналдарды өңдеу, мультипликатор операторы «деп аталадысүзгі «, ал көбейткіш - сүзгі жиілік реакциясы (немесе беру функциясы ).

Көбірек контексте мультипликатор операторлары дегеніміз спектралды көбейткіш операторларының ерекше жағдайлары болып табылады функционалды есептеу оператордың (немесе коммутация операторларының отбасының). Олар сондай-ақ ерекше жағдайлар жалған дифференциалдық операторлар және жалпы түрде Фурье интегралдық операторлары. Бұл салада әлі де ашық табиғи сұрақтар бар, мысалы Lб көбейтілген операторлар (төменде қараңыз).

Көбейткіш операторлар байланысты емес Лагранж көбейткіштері, тек екеуі де көбейту операциясын қамтиды.

Қажетті фон үшін Фурье түрлендіруі, сол бетті қараңыз. Қосымша маңызды фонды беттерден табуға болады операторлық норма және Lб ғарыш.

Мысалдар

Параметрінде мерзімді функциялар бойынша анықталған бірлік шеңбер, функцияның Фурье түрлендіруі дегеніміз жай оның реттілігі Фурье коэффициенттері. Дифференциалдауды көбейткіш ретінде жүзеге асыруға болатындығын көру үшін периодтық функцияның туындысы үшін Фурье қатарын қарастырыңыз Қолданғаннан кейін бөліктер бойынша интеграциялау Фурье коэффициентінің анықтамасында бізде бар

.

Сонымен, формальды түрде туындыға арналған Фурье қатары жай Фурье қатарына айналады коэффициентке көбейтіледі . Бұл дифференциалдау - мультипликаторы бар мультипликатор операторы деген сияқты .

Нақты түзудегі функцияларға әсер ететін мультипликатор операторының мысалы болып табылады Гильберт түрлендіру. Гильберт түрлендіргішінің көбейтінді операторы болатынын көрсетуге болады , мұндағы sgn - сигналдың функциясы.

Сонымен, мультипликатордың тағы бір маңызды мысалы болып табылады сипаттамалық функция бірлік текшенің ішіне Фурье түрлендіруі үшін «ішінара қосындыларды» зерттеу кезінде пайда болады (қараңыз) Фурье қатарының жақындауы ).

Анықтама

Көбейткіш операторларды кез-келген топта анықтауға болады G ол үшін Фурье түрлендіруі де анықталған (атап айтқанда, кез келгенінде) жергілікті ықшам абель тобы ). Жалпы анықтама келесідей. Егер жеткілікті тұрақты функция, рұқсат етіңіз оның Фурье түрленуін белгілеңіз (қайда болып табылады Понтрягин қосарланған туралы G). Келіңіздер деп атайтын басқа функцияны белгілейміз мультипликатор. Содан кейін мультипликатор операторы осы таңбамен байланысты м формула арқылы анықталады

Басқаша айтқанда, Фурье түрлендіруі Tf ξ жиілігінде Фурье түрлендіруімен берілген f сол жиілікте, осы жиіліктегі көбейткіштің мәніне көбейтіледі. Бұл «мультипликатор» терминологиясын түсіндіреді.

Жоғарыда келтірілген анықтама тек Tf-ті анықтайтынын ескеріңіз; қалпына келтіру үшін Tf Фурье түрлендіруін инверсиялау керек. Мұны екі жағдайда да оңай жасауға болады f және м жеткілікті тегіс және интеграцияланған. Пәндегі маңызды мәселелердің бірі - кез келген көрсетілген мультипликаторды анықтау м, сәйкес Фурье мультипликаторы операторы қашан жақсы анықталғанын жалғастыра ма f өте төмен заңдылыққа ие, мысалы, егер ол тек «ан» деп ұйғарылса Lб ғарыш. Төмендегі «шектілік проблемасы» туралы талқылауды қараңыз. Минималды түрде көбінесе көбейткіш қажет м шектелген және өлшенетін; бұл шектеулерді орнату үшін жеткілікті бірақ басқа кеңістіктерге шек қою үшін жалпы күші жеткіліксіз.

Мультипликатор операторын көруге болады Т үш оператордың құрамы, атап айтқанда Фурье түрлендіруі ретінде, нүктелік көбейту операциясын м, содан кейін кері Фурье түрлендіруі. Эквивалентті, Т көбейту операторының Фурье түрлендіруімен конъюгациясы болып табылады. Сонымен, мультипликатор операторларын Фурье түрлендіруі арқылы диагонализацияланған операторлар ретінде қарастыруға болады.

Жалпы топтардағы көбейткіш операторлар

Біз қазір жоғарыдағы жалпы анықтаманы белгілі бір топтарға мамандандырамыз G. Алдымен бірлік шеңберін қарастырыңыз функциялары қосулы G осылайша нақты сызықтағы 2π-периодты функция ретінде қарастыруға болады. Бұл топта Понтрягин дуалы бүтін сандар тобы болып табылады, Фурье түрлендіруі (жеткілікті тұрақты функциялар үшін f) арқылы беріледі

және кері Фурье түрлендіруі берілген

Бұл параметрдегі мультипликатор - бұл жай реттілік сандар және оператор осы көбейткішке байланысты формула бойынша беріледі

ең болмағанда мультипликатордың жеткілікті жақсы мінез-құлықты таңдаулары үшін және функциясы f.

Енді рұқсат етіңіз G болуы а Евклид кеңістігі . Мұнда қос топ Евклид, ал Фурье және кері Фурье түрлендірулері формулалармен берілген

Бұл параметрдегі мультипликатор функция болып табылады және байланысты мультипликатор операторы арқылы анықталады

мультипликатор мен функция бойынша жеткілікті күшті заңдылық пен шектеулер туралы болжамдарды тағы да қабылдаймыз.

Мағынасында тарату, көбейтінді операторларының арасында ешқандай айырмашылық жоқ конволюция операторлары; әрбір мультипликатор Т түрінде де білдіруге болады Tf = f * K кейбір тарату үшін Қ, ретінде белгілі конволюция ядросы туралы Т. Бұл тұрғыдан аударма сомаға аударылады х0 болып табылады Dirac delta функциясы δ (· -х0), дифференциация - бұл δ 'көмегімен конволюция. Бұдан әрі мысалдар төмендегі кесте.

Диаграммалар

Фурье мультипликаторы diagram.png

Басқа мысалдар

Бірлік шеңберінде

Келесі кестеде бірлік шеңберіндегі мультипликатор операторларының кең таралған мысалдары келтірілген

Аты-жөніКөбейткіш Оператор Ядро
Сәйкестендіру операторы1f(т)Dirac delta функциясы
Тұрақтыға көбейту cccf(т)
Аудармасы: сf(т − с)
Саралаужылы
к- дифференциалдау
Тұрақты коэффициент дифференциалдық оператор
Бөлшек туынды тәртіп
Орташа мән1
Орташа компонент
Интеграция (орташа мәнсіз компонент)Ара тістерінің қызметі
Мерзімді Гильберт түрлендіру H
Дирихлетті қорытындылау Дирихлет ядросы
Fejér қорытындысы Фейер ядросы
Жалпы мультипликатор
Жалпы конволюция оператор

Евклид кеңістігінде

Келесі кестеде Евклид кеңістігіндегі мультипликатор операторларының кең таралған мысалдары келтірілген .

Аты-жөніКөбейткіш Оператор Ядро
Сәйкестендіру операторы1f(х)
Тұрақтыға көбейту cccf(х)
Аудармасы: ж
Туынды (тек бір өлшем)
Ішінара туынды
Лаплациан
Тұрақты коэффициентті дифференциалдық оператор
Тапсырыстың бөлшек туындысы
Riesz әлеуеті тәртіп
Бессель әлеуеті тәртіп
Жылу ағыны операторы Жылу ядросы
Шредингер теңдеуі эволюция операторы Шредингер ядросы
Гильберт түрлендіру H (тек бір өлшем)
Riesz түрлендіреді Rj
Ішінара Фурье интегралы (тек бір өлшем)
Дискінің мультипликаторы (Дж Бұл Бессель функциясы )
Bochner-Riesz операторлары
Жалпы мультипликатор
Жалпы айналу операторы

Жалпы пікірлер

Карта Бұл гомоморфизм туралы C * -алгебралар. Бұл екі мультипликатор операторының қосындысынан туындайды және көбейткіші бар мультипликатор операторлары , осы екі мультипликатор операторының құрамы мультипликаторы бар мультипликатор операторы болып табылады және бірлескен мультипликатор операторы мультипликаторы бар тағы бір мультипликатор операторы .

Атап айтқанда, кез-келген екі мультипликатор операторы екенін көреміз жүру бір-бірімен. Мультипликатор операторлары аударма-инвариантты екені белгілі. Керісінше, кез-келген трансляция-инвариантты сызықтық оператормен байланысқандығын көрсетуге болады L2(G) мультипликатор операторы болып табылады.

The Lб шектеу проблемасы

The Lб шектеу проблемасы (кез келген нақты үшін) б) берілген топ үшін G жай көбейткіштерді анықтау үшін айтылған м сәйкес көбейтінді операторы шектелген болатындай Lб(G) дейін Lб(G). Мұндай көбейткіштерді әдетте «деп атайдыLб көбейткіштер ».Мультипликаторлар әрдайым сызықтық болатындығына назар аударыңыз, мұндай операторлар олар болған жағдайда ғана шектеледі үздіксіз. Бұл мәселе өте қиын деп саналады, бірақ көптеген ерекше жағдайларды емдеуге болады. Мәселе өте тәуелді ббар болса да екі жақты қатынас: егер және 1 ≤ б, q ≤ ∞, содан кейін мультипликатор операторы шектелген Lб егер ол шектеулі болса ғана Lq.

The Риз-Торин теоремасы мультипликатор операторының екіге байланысты болатындығын көрсетеді Lб кеңістіктер, содан кейін ол барлық аралық кеңістіктермен шектелген. Демек, көбейткіштер кеңістігі ең кіші болады L1 және L және жақындаған сайын өседі L2, ең үлкен мультипликатор кеңістігі бар.

Шектілік L2

Бұл ең оңай жағдай. Парсевал теоремасы бұл мәселені толығымен шешуге және осы функцияны алуға мүмкіндік береді м болып табылады L2(G) егер ол шектелген және өлшенетін болса ғана көбейткіш.

Шектілік L1 немесе L

Бұл жағдай қарағанда күрделі Гильбертиан (L2) іс, бірақ толық шешілді. Келесі дұрыс:

Теорема: Ішінде эвклид кеңістігі функция болып табылады L1 мультипликатор (баламалы түрде an L мультипликатор) және егер ол шектеулі болса ғана Борель өлшемі μ осылай м μ-нің Фурье түрлендіруі болып табылады.

(«Егер» бөлігі қарапайым есеп. Мұндағы «тек егер» бөлігі күрделі болса.)

Шектілік Lб 1 <үшін б < ∞

Бұл жалпы жағдайда шектеулер үшін қажетті және жеткілікті жағдайлар, тіпті эвклид кеңістігі немесе бірлік шеңбері үшін де белгіленбеген. Алайда бірнеше қажетті шарттар мен бірнеше жеткілікті шарттар белгілі. Мысалы, мультипликатор операторының тек бір сандармен шектелетіні белгілі Lб кеңістік, көбейткіш шектелген және өлшенетін болуы керек (бұл сипаттамасынан туындайды L2 көбейткіштер және қосу қасиеті). Алайда, бұл жағдайдан басқа уақытта жеткіліксіз б = 2.

Шектілікке жеткілікті шарттар беретін нәтижелер белгілі көбейткіш теоремалар. Осындай үш нәтиже төменде келтірілген.

Марцинкевич мультипликаторы теоремасы

Келіңіздер шектелген функция болуы керек үздіксіз дифференциалданатын форманың барлық жиынтығында [түсіндіру қажет ] үшін және оның туындысы бар

Содан кейін м болып табылады Lб барлығына көбейткіш 1 < б < ∞.

Михлин көбейткіш теоремасы

Келіңіздер м шектелген функция болуы керек тегіс, мүмкін шығу тегі, мүмкін функциясы барлық сандар үшін шектелген : содан кейін м болып табылады Lб барлығына көбейткіш 1 < б < ∞.

Бұл Хормендер-Михлин мультипликаторы теоремасының ерекше жағдайы.

Осы екі теореманың дәлелі өте күрделі, оған техникалар кіреді Кальдерон-Зигмунд теориясы және Марцинкевич интерполяция теоремасы: түпнұсқа дәлел үшін қараңыз Михлин (1956) немесе Михлин (1965, 225–240 бб.).

Радиалды көбейткіштер

Үшін радиалды көбейткіштер, үшін қажетті және жеткілікті шарт шектеуліліктің кейбір ішінара диапазонымен белгілі . Келіңіздер және

. Айталық - шығу тегі жағынан ықшам тірелген радиалды мультипликатор. Содан кейін болып табылады мультипликаторы егер және егер болса Фурье түрлендіруі туралы тиесілі .

Бұл Хео теоремасы, Назаров, және Сеггер.[3] Олар сондай-ақ ықшам қолдау туралы болжамсыз жарамды және жеткілікті шартты ұсынды .

Мысалдар

Аудармалар кез келген бойынша шектелген операторлармен шектелген Lб. Дифференциация ешқайсысымен шектелмейді Lб. The Гильберт түрлендіру үшін ғана шектелген б қатаң 1 мен ∞ аралығында. Оның шексіз екендігі L оңай, өйткені қадам функциясын Гильберт түрлендіруі шексіз екендігі белгілі. Дуальность сол үшін береді б = 1. Алайда, Марцинкевич те, Михлин мультипликаторы теоремалары да Гильберт түрлендіруінің шектелгендігін көрсетеді Lб барлығы 1 < б < ∞.

Бірлік шеңберіндегі тағы бір қызықты жағдай - бұл реттілік мультипликатор ретінде ұсынылатын тұрақты болып табылады n жиынтықтардың әрқайсысында және Марцинкевич мультипликаторы теоремасынан (бірлік шеңберінің мәнмәтініне бейімделген) біз кез-келген осындай дәйектіліктің болатындығын көреміз (сонымен қатар, әрине, шектелген деп есептеледі)[түсіндіру қажет ] әрбір 1 <үшін көбейткіш болып табылады б < ∞.

Бір өлшемде дискінің мультипликаторы (жоғарыдағы кестені қараңыз) шектелген Lб әрбір 1 <үшін б <∞. Алайда, 1972 ж. Чарльз Фефферман таңқаларлық нәтиже көрсетті, бұл екі және одан жоғары өлшемдерде диск мультипликаторы шектеусіз Lб әрқайсысы үшін б ≠ 2. Bochner – Riesz көбейткіштері үшін сәйкес мәселе жартылай ғана шешілді; қараңыз Bochner-Riesz болжамдары.

Сондай-ақ қараңыз

Ескертулер

  1. ^ Duoandikoetxea 2001, 3.5 бөлім.
  2. ^ Штейн 1970, II тарау.
  3. ^ Хео, Ярён; Назаров, Федор; Сеггер, Андреас. Жоғары өлшемдегі радиалды Фурье көбейткіштері. Acta Math. 206 (2011), жоқ. 1, 55-92. doi: 10.1007 / s11511-011-0059-x. https://projecteuclid.org/euclid.acta/1485892528

Келтірілген жұмыстар

  • Duoandikoetxea, Javier (2001), Фурье анализі, Американдық математикалық қоғам, ISBN  0-8218-2172-5
  • Штайн, Элиас М. (1970), Функциялардың сингулярлық интегралдары және дифференциалдану қасиеттері, Принстон университетінің баспасы

Жалпы сілтемелер

  • Графакос, Лукас (2008), Классикалық Фурье анализі (2-ші басылым), Спрингер, ISBN  978-0-387-09431-1
  • Катцнельсон, Ицхак (2004), Гармоникалық талдауға кіріспе, Кембридж университетінің баспасы, ISBN  978-0-521-54359-0
  • Хормандер, Ларс (1960), «L-дегі инвариантты операторлардың аударымдарыб кеңістіктер », Acta Mathematica, 104: 93–140, дои:10.1007 / bf02547187
  • Хормандер, Ларс (1990), Сызықтық дербес дифференциалдық операторларды талдау, таралу теориясы және Фурье анализі (2-ші басылым), Springer-Verlag, ISBN  3-540-52343-X
  • Михлин, Соломон Г. (1956), «Фурье интегралдарының көбейткіштері туралы», Doklady Akademii Nauk SSSR, 109: 701–703, Zbl  0073.08402 (in.) Орыс ).
  • Михлин, Соломон Г. (1965), Көпөлшемді сингулярлық интегралдар және интегралдық теңдеулер, Таза және қолданбалы математикадағы халықаралық монографиялар сериясы, 83, Pergamon Press, Zbl  0129.07701. Мұнда жариялау кезінде белгілі болған барлық нәтижелерге, соның ішінде тарихтың эскизіне жан-жақты сауалнама бар.
  • Рудин, Вальтер (1962), Топтар бойынша Фурье анализі, Ғылымаралық
  • Торчинский, Альберто (2004), Гармоникалық анализдегі нақты айнымалы әдістер, Довер, ISBN  0-486-43508-3