Основные направления. Направление 6

1.Тео­рия непре­рыв­ных недиф­фе­рен­ци­ру­е­мых функ­ций

В по­след­ние годы боль­шое вни­ма­ние при­вле­ка­ет тео­рия непре­рыв­ных, но ни­где не диф­фе­рен­ци­ру­е­мых функ­ций. Бла­го­да­ря су­ще­ствен­ным труд­но­стям, свя­зан­ным с изу­че­ни­ем по­доб­ных функ­ций, эта тео­рия на про­тя­же­нии мно­гих де­ся­ти­ле­тий раз­ви­ва­лась от­но­си­тель­но мед­лен­ны­ми тем­па­ми. Не слу­чай­но ос­нов­ные ре­зуль­та­ты, по­лу­чен­ные в ма­те­ма­ти­че­ском ана­ли­зе Нью­то­ном, Лейб­ни­цем и дру­ги­ми клас­си­ка­ми от­но­сят­ся к глад­ким функ­ци­ям. Из обыч­но­го кур­са ма­те­ма­ти­че­ско­го ана­ли­за хо­ро­шо из­ве­стен клас­си­че­ский при­мер функ­ции Вей­ер­штрас­са, ко­то­рая на дей­стви­тель­ной оси всю­ду непре­рыв­на и ни­где не диф­фе­рен­ци­ру­е­ма. В по­след­нее вре­мя вни­ма­ние мно­гих ис­сле­до­ва­те­лей при­вле­ка­ет дру­гой при­мер по­доб­ной непре­рыв­ной ни­где не диф­фе­рен­ци­ру­е­мой функ­ции, пред­ло­жен­ный в 1903 г. япон­ским ма­те­ма­ти­ком Т. Та­ка­ги. Необ­хо­ди­мость изу­чать имен­но непре­рыв­ные, но не диф­фе­рен­ци­ру­е­мые функ­ции мож­но по­яс­нить сле­ду­ю­щим из­вест­ным фак­том. В неко­то­ром смыс­ле, непре­рыв­ных недиф­фе­рен­ци­ру­е­мых функ­ций «несрав­нен­но боль­ше», чем диф­фе­рен­ци­ру­е­мых, а имен­но, по­чти все, по мере Ви­не­ра, непре­рыв­ные функ­ции на от­рез­ке яв­ля­ют­ся недиф­фе­рен­ци­ру­е­мы­ми. Од­на­ко, и при от­сут­ствии та­ко­го важ­но­го свой­ства, как диф­фе­рен­ци­ру­е­мость, име­ет­ся ряд ха­рак­те­ри­стик непре­рыв­ных функ­ций, ко­то­рые мож­но и нуж­но изу­чать. К ним от­но­сят­ся: свой­ство Гёль­де­ра, дроб­ная диф­фе­рен­ци­ру­е­мость, во­гну­тость, гло­баль­ные и ло­каль­ные экс­тре­му­мы, фрак­таль­ная раз­мер­ность гра­фи­ка та­ких функ­ций.

  1. Тео­рия ра­ци­о­наль­ных при­бли­же­ний непре­рыв­ных функ­ций

В тео­рии ра­ци­о­наль­ных при­бли­же­ний функ­ций изу­ча­ют­ся та­кие во­про­сы, как су­ще­ство­ва­ние ра­ци­о­наль­ной дро­би наи­луч­ше­го при­бли­же­ния дан­ной непре­рыв­ной функ­ции, един­ствен­ность этой дро­би, свой­ства ра­ци­о­наль­ных дро­бей наи­луч­ше­го при­бли­же­ния, ал­го­рит­мы по­ис­ка наи­луч­ше­го ра­ци­о­наль­но­го при­бли­же­ния и свой­ства этих ал­го­рит­мов. Тео­рия ра­ци­о­наль­ных при­бли­же­ний воз­ник­ла во вто­рой по­ло­вине 19-го века в свя­зи с ра­бо­та­ми П.Л. Че­бы­ше­ва. Осо­бен­но быст­ро она раз­ви­ва­ет­ся в по­след­ние годы бла­го­да­ря рас­ту­щим прак­ти­че­ским по­треб­но­стя­ми и со­вер­шен­ство­ва­нию вы­чис­ли­тель­ной тех­ни­ки. Услож­ня­ют­ся и за­да­чи, сто­я­щие пе­ред тео­ри­ей ра­ци­о­наль­ных при­бли­же­ний. На­при­мер, фи­зи­ки нуж­да­ют­ся в ре­зуль­та­тах по ра­ци­о­наль­ным при­бли­же­ни­ям в сред­не­квад­ра­тич­ной нор­ме, что­бы сгла­жи­вать ре­зуль­та­ты из­ме­ре­ний. Кро­ме того, воз­ни­ка­ет необ­хо­ди­мость при­бли­жать непре­рыв­ные функ­ции не толь­ко на от­рез­ке, но и на фрак­таль­ных мно­же­ствах. Од­ним из наи­бо­лее из­вест­ных ал­го­рит­мов по­ис­ка наи­луч­ших ра­ци­о­наль­ных при­бли­же­ний яв­ля­ет­ся так на­зы­ва­е­мый ал­го­ритм Ре­ме­за. На од­ном из его ша­гов тре­бу­ет­ся най­ти ра­ци­о­наль­ную дробь, удо­вле­тво­ря­ю­щую усло­вию аль­тер­нан­са. Для это­го мо­жет при­ме­нять­ся ал­го­ритм Вер­не­ра, ко­то­рый так­же яв­ля­ет­ся од­ним из объ­ек­тов ис­сле­до­ва­ний, про­во­ди­мых на ка­фед­ре.

  1. Рав­но­мер­ное при­бли­же­ние функ­ций ком­плекс­ной пе­ре­мен­ной

Ис­сле­до­ва­ния в дан­ном на­прав­ле­нии на­хо­дят­ся в рус­ле клас­си­че­ской тео­рии при­бли­же­ний функ­ции мно­го­чле­на­ми, на­ча­ло ко­то­рой для функ­ций ком­плекс­ной пе­ре­мен­ной было по­ло­же­но С.Н. Мер­ге­ля­ном, пред­ло­жив­шим ме­тод при­бли­же­ния ана­ли­ти­че­ских функ­ций мно­го­чле­на­ми на за­мкну­тых мно­же­ствах. Впо­след­ствии этот ре­зуль­тат был рас­про­стра­нен на слу­чай при­бли­же­ния ча­стич­ны­ми сум­ма­ми сте­пен­ных и функ­ци­о­наль­ных ря­дов, а так­же раз­но­го рода при­бли­же­ний обоб­ще­ни­я­ми ча­стич­ных сумм этих ря­дов. Ак­ту­аль­ность по­след­них ис­сле­до­ва­ний объ­яс­ня­ет­ся тем, что не для всех клас­си­че­ских ре­зуль­та­тов дан­но­го на­прав­ле­ния мо­гут быть по­лу­че­ны ука­зан­ные обоб­ще­ния. В свя­зи с этим несо­мнен­ный ин­те­рес пред­став­ля­ет ис­сле­до­ва­ние за­ко­нов про­пус­ков ча­стич­ных сумм ря­дов, но­вые под­хо­ды и ме­то­ды, ко­то­рые поз­во­ля­ют по­лу­чать ука­зан­ные обоб­ще­ния при опре­де­лён­ных есте­ствен­ных усло­ви­ях.

  1. Зада­ча Вал­ле Пус­се­на для урав­не­ния сверт­ки в про­стран­стве це­лых функ­ций

Ис­сле­до­ва­ния в об­ла­сти ком­плекс­но­го ана­ли­за по­свя­ще­ны изу­че­нию раз­ре­ши­мо­сти обоб­щен­ной за­да­чи Вал­ле Пус­се­на для урав­не­ния сверт­ки в про­стран­стве це­лых функ­ций. За­да­ча Вал­ле Пус­се­на пер­во­на­чаль­но ста­ви­лась для ли­ней­ных од­но­род­ных диф­фе­рен­ци­аль­ных урав­не­ний n-го по­ряд­ка с непре­рыв­ны­ми ко­эф­фи­ци­ен­та­ми на от­рез­ке. В ней за­да­ние клас­си­че­ских на­чаль­ных усло­вий Коши было за­ме­не­но за­да­ни­ем зна­че­ний ре­ше­ния в n точ­ках. В 1929 г. Вал­ле Пус­сен на­шел усло­вия, обес­пе­чи­ва­ю­щие в этой си­ту­а­ции су­ще­ство­ва­ние и един­ствен­ность ре­ше­ния мно­го­то­чеч­ной за­да­чи для диф­фе­рен­ци­аль­но­го урав­не­ния. По­доб­ные мно­го­то­чеч­ные усло­вия ча­сто воз­ни­ка­ют в при­клад­ных за­да­чах. По­сколь­ку опе­ра­тор сверт­ки яв­ля­ет­ся обоб­ще­ни­ем раз­лич­ных опе­ра­то­ров, в том чис­ле и ли­ней­но­го диф­фе­рен­ци­аль­но­го опе­ра­то­ра с по­сто­ян­ны­ми ко­эф­фи­ци­ен­та­ми, то важ­но знать, при ка­ких усло­ви­ях раз­ре­ши­ма за­да­ча Вал­ле Пус­се­на в ядре опе­ра­то­ра сверт­ки. Ока­за­лось, что раз­ре­ши­мость мно­го­то­чеч­ной за­да­чи Вал­ле Пус­се­на для од­но­род­но­го свер­точ­но­го урав­не­ния эк­ви­ва­лент­на су­ще­ство­ва­нию так на­зы­ва­е­мо­го пред­став­ле­ния Фи­ше­ра, т.е. су­ще­ство­ва­нию пред­став­ле­ния про­стран­ства це­лых функ­ций в виде сум­мы ядра опе­ра­то­ра сверт­ки и глав­но­го иде­а­ла, по­рож­ден­но­го це­лой функ­ци­ей. Цен­траль­ное вни­ма­ние в рам­ках ука­зан­но­го на­уч­но­го на­прав­ле­ния уде­ля­ет­ся изу­че­нию усло­вий су­ще­ство­ва­ния пред­став­ле­ния Фи­ше­ра. При этом рас­смат­ри­ва­ет­ся об­щая си­ту­а­ция, ко­гда мно­же­ство уз­лов, в ко­то­рых за­да­ет­ся зна­че­ние це­лой функ­ции, пред­став­ля­ет со­бою до­ста­точ­но про­из­воль­ное мно­же­ство то­чек в ком­плекс­ной плос­ко­сти, яв­ля­ю­ще­е­ся мно­же­ством ну­лей неко­то­рой це­лой функ­ции. Свя­зан­ная с пред­став­ле­ни­ем Фи­ше­ра те­ма­ти­ка на про­тя­же­нии дли­тель­но­го вре­ме­ни при­вле­ка­ла и при­вле­ка­ет вни­ма­ние как оте­че­ствен­ных, так и за­ру­беж­ных ма­те­ма­ти­ков (В. Барг­ман (уче­ник А. Эйн­штей­на), А. Ме­рил, Д. Нью­мен, Д. Струп­па, Л. Хер­ман­дер, Г. Ша­пи­ро, Л. Эрен­прайс, А. Ягер, В.В. На­пал­ков, С.Г. Мерз­ля­ков, С.В. По­пе­нов).

  1. Ди­на­ми­че­ские си­сте­мы на мно­го­об­ра­зи­ях

В тео­рии ди­на­ми­че­ских си­стем на мно­го­обpа­зи­ях по-преж­не­му ак­ту­аль­ной оста­ет­ся про­бле­ма отыс­ка­ния то­по­ло­ги­че­ских ин­ваpи­ан­тов, опpе­де­ля­ю­щих гло­баль­ное по­ве­де­ние тpа­ек­тоpий диф­фео­мор­физ­мов на глад­ких за­мкну­тых оpи­ен­тиpу­е­мых мно­го­об­ра­зи­ях и пpи­ме­не­ния этих ин­ваpи­ан­тов к ре­ше­нию про­бле­мы то­по­ло­ги­че­ской клас­си­фи­ка­ции. В на­сто­я­щее вре­мя уси­лия в ука­зан­ном на­прав­ле­нии на­прав­ле­ны, в част­но­сти, на по­лу­че­ние си­стем ин­ва­ри­ан­тов для негру­бых диф­фео­мор­физ­мов, име­ю­щих ка­са­ния ин­ва­ри­ант­ных мно­го­об­ра­зий раз­лич­ных сед­ло­вых то­чек. Те­ма­ти­ка дан­но­го на­прав­ле­ния вос­хо­дит к клас­си­че­ским ра­бо­там А.А. Ан­д­ро­но­ва, Л.С. Понт­ря­ги­на, Е.А. Леон­то­вич, А.Г. Май­е­ра. К на­сто­я­ще­му вре­ме­ни наи­бо­лее ис­чер­пы­ва­ю­щим об­ра­зом за­да­ча то­по­ло­ги­че­ской клас­си­фи­ка­ции ре­ше­на для струк­тур­но устой­чи­вых (гру­бых) по­то­ков на мно­го­об­ра­зи­ях раз­мер­но­сти два и три, а так­же для дву­мер­ных и трех­мер­ных струк­тур­но устой­чи­вых диф­фео­мор­физ­мов с ко­неч­ным неблуж­да­ю­щим мно­же­ством (диф­фео­мор­физ­мов Мор­са-Смей­ла). Си­сте­мы, при­над­ле­жа­щие гра­ни­це мно­же­ства си­стем Мор­са-Смей­ла, мож­но раз­бить на две ча­сти: 1) си­сте­мы с ко­неч­ным мно­же­ством неблуж­да­ю­щих тра­ек­то­рий, со­дер­жа­щие либо неги­пер­бо­ли­че­ские непо­движ­ные точ­ки или цик­лы, либо тра­ек­то­рии нетранс­вер­саль­но­го пе­ре­се­че­ния устой­чи­вых и неустой­чи­вых мно­го­об­ра­зий непо­движ­ных то­чек или (и) цик­лов, либо и те, и дру­гие од­но­вре­мен­но; 2) си­сте­мы с бес­ко­неч­ным мно­же­ством неблуж­да­ю­щих тра­ек­то­рий. Хо­ро­шо из­вест­но, что ка­са­ние ин­ва­ри­ант­ных мно­го­об­ра­зий сед­ло­вых то­чек кас­ка­да хотя бы вдоль од­ной ор­би­ты при­во­дит к негру­бо­сти си­сте­мы и, бо­лее того, к су­ще­ство­ва­нию кон­ти­ну­у­ма то­по­ло­ги­че­ски несо­пря­жен­ных диф­фео­мор­физ­мов в лю­бой ее -окрест­но­сти (мо­ду­ля то­по­ло­ги­че­ской со­пря­жен­но­сти). Если в неко­то­рой окрест­но­сти диф­фео­мор­физ­ма мно­же­ство клас­сов эк­ви­ва­лент­но­сти воз­мож­но опи­сать с по­мо­щью ко­неч­но­го чис­ла па­ра­мет­ров, то го­во­рят, что диф­фео­мор­физм име­ет ко­неч­ное чис­ло мо­ду­лей то­по­ло­ги­че­ской со­пря­жен­но­сти. Су­ще­ству­ет ряд ра­бот, по­свя­щен­ных изу­че­нию струк­ту­ры окрест­но­сти та­ко­го диф­фео­мор­физ­ма. Од­на­ко ин­те­рес­на за­да­ча клас­си­фи­ка­ции «да­ле­ких» си­стем с ко­неч­ным чис­лом мо­ду­лей, то есть си­стем, за­дан­ных на раз­ных мно­го­об­ра­зи­ях.