CC BY
14
Прикладная математика & Физика, 2021, том 53, №3. С. 213-229.
УДК 51(091) DOI 10.52575/2687-0959-2021-53-3-213-229
Посвящается 100-летнему юбилею уравнения Некрасова
ОБ ИСТОРИИ УРАВНЕНИЯ НЕКРАСОВА1 Е. М. Богатов
(Статья представлена членом редакционной коллегии Ю. П. Вирченко)
Филиал Национального исследовательского технологического университета «МИСиС» в г. Губкине
Белгородской области, Белгородская обл., г. Губкин, 309180, Россия Старооскольский технологический институт им. А. А. Угарова (филиал) Национального исследовательского технологического университета «МИСиС», Белгородская обл., г. Старый Оскол, 309516, Россия
E-mail: [email protected]
Аннотация. Появившись в 1921 г. как уравнение волн малой амплитуды на поверхности бесконечно глубокой жидкости, уравнение Некрасова быстро стало источником получения новых результатов. Это проявилось как в области математики (теория нелинейных интегральных уравнений А. И. Некрасова; 1922, позже - Н. Н. Назарова; 1941), так и в области механики (переход к жидкости конечной глубины - А. И. Некрасов; 1927, и отказ от малости амплитуды волн - Ю. П. Красовский; 1960). Основная задача автора - выяснить предысторию возникновения уравнения Некрасова и проследить изменение подходов к его решению в контексте развития нелинейного функционального анализа 1940-х - 1960-х гг. Пристальное внимание будет уделено вкладу европейских и отечественных математиков и механиков: А. М. Ляпунова, Э. Шмидта, Т. Леви-Чивита, А. Вилля, Л. Лихтенштейна, М. А. Красносельского, Н. Н. Моисеева, В. В. Покорного и др. В контексте развития качественных методов исследования уравнения Некрасова будет также освещён вопрос о взаимодействии воронежской школы нелинейного функционального анализа под руководством профессора М. А. Красносельского и ростовской школы нелинейной механики под руководством профессора И. И. Воровича.
Ключевые слова: нелинейные интегральные уравнения, уравнение Некрасова, уравнение Гаммерштейна, теория Ляпунова-Шмидта, Т. Леви-Чивита, Н. Н. Назаров, М. А. Красносельский, Ю. П. Красовский, воронежская школа нелинейного функционального анализа; ростовская школа нелинейной механики. Благодарности: Работа выполнена при финансовой поддержке РФФИ, проект 20-011-00402.
Автор выражает признательность участникам Воронежской весенней математической школы «Понтрягинские чтения - XXXII» за внимание к работе и полезные обсуждения, а также В.П. Богатовой за помощь в доступе к первоисточниками.
Для цитирования: Богатов Е. М. 2021. Об истории уравнения Некрасова. Прикладная математика & Физика. 53(3): 213-229. DOI 10.52575/2687-0959-2021-53-3-213-229.
ON THE HISTORY OF THE NEKRASOV EQUATION Egor Bogatov
(Article submitted by a member of the editorial board Yu. P. Virchenko)
Branch of National Research University of Science and Technology «MISIS» in Gubkin town of Belgorod Region
Gubkin, 309180, Russia;
Stary Oskol Technological Institute of National Research University of Science and Technology «MISIS»
Stary Oskol, 309516, Russia E-mail: [email protected] Received September, 4, 2021
Abstract. Appearing in 1921 as an equation for small-amplitude waves on the surface of an infinitely deep liquid, the Nekrasov equation quickly became a source of new results. This manifested itself both in the field of mathematics (theory of nonlinear integral equations of A. I. Nekrasov; 1922, later - of N. N. Nazarov; 1941), and in the field of mechanics (transition to a fluid of finite depth - A. I. Nekrasov; 1927 and refusal on the smallness of the wave amplitude - Yu. P. Krasovskii; 1960). The main task of the author is to find out the prehistory of the Nekrasov equation and to trace the change in approaches to its solution in the context of the nonlinear functional analysis development in the 1940s - 1960s. Close attention will be paid to the contribution of European and Russian mathematicians and mechanics: A. M. Lyapunov, E. Schmidt, T. Levi-Civita,
1 Основные результаты работы обсуждались на Воронежской весенней математической школе «Понтрягинские чтения - XXXII» 04.05.2021 [5].
A. Villat, L. Lichtenstein, M. A. Krasnoselskii, N. N. Moiseev, V. V. Pokornyi, etc. In the context of the development of qualitative methods for the Nekrasov equation investigating, the question of the interaction between Voronezh school of nonlinear functional analysis under the guidance of Professor M. A. Krasnoselskii and Rostov school of nonlinear mechanics under the guidance of Professor 1.1. Vorovich.
Keywords: nonlinear integral equations, Nekrasov equation, Hammerstein equation, Lyapunov-Schmidt theory, T. Levi-Civita, N. N. Nazarov, M. A. Krasnoselskii, Yu. P. Krasovskii, Voronezh School of Nonlinear Functional Analysis; Rostov School of Nonlinear Mechanics.
Acknowledgements: The work is supported by RFBR, project No 20-011-00402.
For citation: Bogatov E. M. 2021. On the history of the Nekrasov equation. Applied Mathematics & Physics. 53(3): 213-229. (in Russian) DOI 10.52575/2687-0959-2021-53-3-213-229.
1. Введение. С момента опубликования Александром Ивановичем Некрасовым своего уравнения, описывающего распространение малых волн на поверхности тяжёлой жидкости [Некрасов, 1921]:
12я" Jo 1 + ц fJ sin Ф(а)da
где К(е, в) = ln ; И - параметр, Ф(0) - угол наклона касательной к профилю волны, прошло 100
лет. Несмотря на это, полноценный историко-научный анализ его математических работ, в особенности по нелинейным интегральным уравнениям, до 2020 г. проведён не был (некоторые фрагменты такого анализа можно найти в [Вайнберг, Треногин, 1962, §2], [Секерж-Зенькович, 1960], [Волгина, Тюлина, 2001, Гл. 3]). В 2021 вышла статья российского учёного Н. Г. Кузнецова «Повесть о двух интегральных уравнениях Некрасова» [Kuznetsov, 2021], в которой указанный пробел был частично восполнен. В настоящей работе мы попытаемся дополнить исследование Кузнецова новыми фактами и предложить свой взгляд на историю уравнения (1).
Основным инструментом для построения решений (1), предложенным Некрасовым, было разложение в степенной ряд. С того времени появились новые подходы к исследованию подобных уравнений, основанные, прежде всего, на методах нелинейного функционального анализа. При этом само уравнение не потеряло своей актуальности как для математиков, так и для механиков [Kuznetsov, 2021, § 3].
Задача автора - проследить эволюцию подходов к изучению уравнения (1), ответив на следующие вопросы:
1. На каком уровне находилась теория нелинейных интегральных уравнений до Некрасова?
2. Что привело Некрасова к нелинейным интегральным уравнениям? На какие работы он опирался?
3. Проводились ли подобные исследования в других странах?
4. Можно ли сопоставить метод Некрасова с другими методами?
5. Кто и когда занимался продолжением идей Некрасова до начала 1960-х гг.?
2. Предыстория: работы А. М. Ляпунова и Э. Шмидта. Прежде чем перейти к исследованиям самого Некрасова, обозначим уровень развития нелинейных интегральных уравнений к концу 1910-х гг. Одним из первых таких уравнений было уравнение (2), возникшее при отыскании форм равновесия вращающихся жидкостей в работе 1903 г. выдающегося русского математика Александра Михайловича Ляпунова [Liapunoff, 1903]
J* p\a')da' ¡{ 1 + (ç'))2 (l + Ç + уда2{ 1 + ç2) sin2 в = F (a). (2)
Здесь a - угловая скорость вращения жидкой массы, g - постоянная всемирного тяготения; А - расстояние между переменной точкой Р'(г', в', <р') внутри жидкости и фиксированной точкой Р(г, в, <р) на S; (г,9,(р) - сферические координаты, Ç - искомая функция параметра а и координат (9,(р), характеризующая отклонение поверхности уровня жидкой массы от сферы радиуса ; F (а) - заданная функция; интегрирование во втором интеграле производится по поверхности единичной сферы S.
Более общий случай был рассмотрен Ляпуновым в работе 1905 г. [Liapounoff, 1905]. В процессе доказательства существования неэллипсоидальных форм равновесия жидкой массы он вывел уравнение
(3)
где R = R(9, (р) - заданная функция. Основную сложность этого уравнения составляла правая часть, состоящая из бесконечного числа интегро-степенных слагаемых (пояснение будет дано ниже, при описании вклада Э. Шмидта).
Ляпунов искал малые решения (3) в виде ряда по степеням некоторого малого параметра (равного отношению центробежной силы к силе тяжести на экваторе жидкой планеты). Сходимость этого ряда доказывалась методом мажорант. Доказательство наличия нескольких решений опиралось на нетривиальную разрешимость соответствующего линейного интегрального уравнения.
Ляпунов получил свои результаты ещё до того, как теория линейных интегральных уравнений обрела более или менее сложившуюся форму. Его аргументация отличалась большой сложностью, тем не менее его теория малых решений нелинейных интегральных уравнений вызвала в Европе живой интерес. Математический аппарат теории уравнений вида (3) был разработан немецким математиком Эрхардом Шмидтом (1907-1908), учеником Д. Гильберта [Schmidt, 1907] - [Schmidt, 1908]. Он, как и Ляпунов, ограничился случаем малых решений уравнений
и(х) - / К(х, s)u(s)ds = f(x) + / K1(x,s)v(s)ds - ^ Umn¡ Х J.
Ja Ja m+n >?. \U'Ü)
(4)
где х € (a,b); o(s), f(x), K(x,s) и K\(x,s) - заданные функции; u(x) - искомая функция; Umn ^J -
конечная или бесконечная сумма интегро-степенных слагаемых. При малых |м|, |о| ряды правой части (4) должны, по условию, сходиться абсолютно и равномерно при всех х е (а, Ъ). В качестве простейшего примера уравнения (4) можно предложить уравнение
и(х) - / К{х, s)u(s)ds = а(х) + / / K(x,y1,y2)u¿(y1)üi(y2)dy1dy2.
Jo Jo Jo
Для исследования разрешимости уравнения (4) Шмидт представил его как уравнение с известной правой частью и применил к нему теорию Фредгольма о представлении решений линейного уравнения посредством резольвенты (разрешающего ядра) R(x, t). В соответствии с этой теорией здесь необходимо было выделить два варианта дальнейшего рассмотрения, в зависимости от того, является ли оператор, стоящий в левой части (4), обратимым или нет.
В случае, когда единица является собственным значением интегрального оператора А, решение линейного интегрального уравнения с «замороженной» правой частью будет зависеть от нескольких произвольных постоянных ¿f; (по величине кратности единицы, как собственного значения оператора А). При этом оказалось естественным, ориентируясь на принцип Коха обращения ряда, искать решение исходного уравнения в виде 2
и(х)= 2 гей- (5)
т+п> 1 ' '
Для определения возможных значений ¿f оставалось подставить ряд (5) в выражение для и через резольвенту линейного уравнения (по Фредгольму) и получить уравнение разветвления 3:
2 Г [Ь <p(s)VnmlS)ds-, (6)
т+п> 1 \ '
(р{х) - собственная функция линейного оператора А.
Шмидт показал, что в правой части уравнения (6) фактически отсутствуют первые степени ¿f, значит, в общем случае оно имеет не единственное решение. Независимо от величины модуля функции v(x), число решений исходного уравнения определяется числом решений уравнения разветвления (6). Из уравнения (6) можно также получить информацию о виде всех нетривиальных малых решений уравнения (4).
После опубликования работ Ляпунова и Шмидта стало очевидным, что неединственность решений нелинейных интегральных уравнений является их типичным свойством. Уравнение разветвления быстро превратилось в рабочий инструмент для исследования интегральных уравнений [Богатов, Мухин, 2021].
3. Задача об обтекания препятствия - исток уравнения Некрасова. А. И. Некрасов был учеником Н. Н. Жуковского - основателя московской школы механики, имеющей международное признание. Одной из первых работ Некрасова, связанных с уравнением (1), была статья «О прерывном течении жидкости в двух измерениях вокруг препятствия в форме дуги круга» (1922) [Некрасов, 1922], в которой он
2В этой формуле Уп - подлежащая определению интегро-степенная форма степени п.
3Такой вид уравнения (6) соответствует случаю, когда кратность единицы, как собственного значения оператора А, равна
одному.
обобщил результаты итальянского математика и механика Тулио Леви-Чивита4 и его французского коллеги Анри Билля5. Обзор более ранних результатов по теории струйных течений конца XIX в. - начала XX в. (работы Г. Гельмгольца, Г. Кирхгофа, Н. И Жуковского и др.) был сделан учеником А. И. Некрасова, механиком Л.И. Седовым [Седов, 1939, § 10].
К Леви-Чивита восходит исследование подобных задач на плоскости методами комплексного анализа6. При его подходе предполагалось, что решение будет зависеть от нахождения некоторой функции (р, способ определения которой не был указан [ЬеуЬОуНа, 1907]. Кроме того, данная функция никак не была связана с формой препятствия текущей жидкости. Билля взялся исправить ситуацию, продолжив исследования Леви-Чивиты по совету своего учителя, французского механика М. Бриллюэна [ТаггюК, 2017]. Билля применил конформное отображение области с неизвестной границей на полукольцо и ввёл новую функцию в, которая уже имела тесную связь с формой препятствия. В своей диссертации 1911 г., сведя задачу к отысканию двух сопряжённых тригонометрических рядов переменной в, он получил некоторое соотношение между ними, которое привело его к нелинейному интегро-дифференциальному уравнению вида7 [УНЫ, 1911]:
в'(а)=АН(в,а)ех 6'(е)К(е,(г)с1е^, (7)
где А > 0 - некоторая постоянная; Н{в, а) - некоторая заданная функция; К{с, а) = 1п ^^
Отметим, что до начала 1920-х гг. методы решения уравнения (7) отсутствовали. Они были предложены в работах А. И. Некрасова применительно к аналогу уравнения (7) и основывались на использовании функции Жуковского (логарифма от комплексной скорости течения жидкости гу = (р + Iф - комплексный потенциал). Задачу обтекания криволинейной дуги Некрасов свёл к уравнению относительно некоторой вспомогательной функции /¡(0), зная которую можно найти функцию Жуковского. Следуя методу Билля, он привёл задачу к отысканию двух сопряжённых тригонометрических рядов
оо
д(0) =^а2„+1С08(2п + 1)(9; (8)
п=1 оо
= 2а2П+18ш(2п + 1)0, (9)
п=1
между которыми имелось следующее соотношение
д'(в) = ~е-мв) &тв(\-ьтв). (10)
Здесь А > 0 - некоторая постоянная, в - аргумент параметрического переменного и, от которого зависят » и ^ (определение этой зависимости позволяет рассчитать все силовые, кинематические и геометрические характеристики течения).
Соотношение (10) привело Некрасова к нелинейному интегральному уравнению
Н9) =F(9)+А 1 - в"*« ] (1 + 2 " C°S 2£) In
tg^
tg^
de, (11)
где Р(в) - некоторая известная функция.
Решение уравнения (11) Некрасов представил рядом по степеням А, сходящимся при А < Ао (при этом числу Ао соответствует дуга окружности, ограничивающей препятствие, равная 20°).
4. Задачи плоской теории волн. Задачам нелинейной теории волн установившегося вида на поверхности тяжёлой жидкости Некрасов посвятил семь работ, вышедших в 1919 - 1928 гг. [Некрасов, 1919] - [Некрасов, 1928]. На протяжении XX в. подобные задачи решались приближённо, из-за сложности этих задач в них отбрасывались нелинейные члены, что оставляло открытым само существование установившихся волн. В работе [Некрасов, 1922а] Некрасов впервые представил алгоритм решения указанной задачи для волн на поверхности бесконечно глубокой тяжёлой жидкости. Как и в приведённой выше задаче об обтекании препятствия, решение задачи о волнах было основано на идее, идущей от Билля: область, занятая одной волной конформно отображается внутрь единичного круга так, что
4В 1934 г. Леви-Чивита был избран почётным членом Академии наук СССР.
5 Действительный член Парижской Академии наук с 1932 г.
6Метод Леви-Чивита описан в книге М.И. Гуревича [Гуревич, 1979, Гл. IV, § 17].
'Вывод уравнения (7) можно найти в статье [Гуревич, 1970, § 2].
свободная поверхность жидкости соответствует границе этого круга. При этом опять возникают тригонометрические ряды вида (8)-(9) и соотношение между ними вида (10), что в конечном итоге 8 даёт уравнение (1) [Некрасов, 1961, с. 255].
Для волн малой амплитуды (зтФ ~ Ф) уравнение (1) переходит в линейное интегральное уравнение вида
de. (12)
1 - со$(е + I
Некрасов показал, что если параметр ц принадлежит промежутку [0, //*), где //* - первое собственное значение уравнения (12), то установившиеся волны отсутствуют. Математический смысл этого результата состоит в том, что первое собственное значение линеаризованного интегрального уравнения является бифуркационным значением исходного (нелинейного) интегрального уравнения.
Для исследования уравнения (1), (10) Некрасов разрабатывает самостоятельную теорию [Некрасов, 1922Ь] - [Некрасов, 1922с], в которой рассматривает нелинейное интегральное уравнение общего вида 9 с вырожденным ядром:
/»Ъ />Ь
Г(х)=Х Пу)К(х,у)<1у + еЛ т,уЛу)Шх,У^у. (13)
«/а «/а
Здесь К(х, у) = 2^=1 ^д0"^, {(р1(х)} - некоторая система ортонормированных на отрезке [а, Ъ] функций; Я; - собственные значения однородного уравнения Фредгольма, получающегося из (13) при подстановке е = 0.
Некрасов искал решения (13) в виде
оо
/(х) = ^(ГГ;-/;М, (14)
¡=0
где X = Х\ ± е ■ X' - малый параметр, р = т > 2 - наименьшая степень разложения функции Я по степеням /(у):
(М±е- Х'МЪ уЛу)] = (Х')р+1Кг + (Г)Р+2Д2 + •••,&= е).
Используя специальный приём, Некрасов пришёл к выражению /т(х) через функции системы <рт(х):
/о(х) = С0(р1(х),
°° А
/т(х) = Стф^а) + V -—Ц-а;ш<р;(*)> т = 1, 2,... (15)
им-х!
для которого величины Ст и а;ш определяются однозначно, а вот величина С0 - нет:
• ъ
С0 = + Ri[Xi,y,Co(p{y)]dy J а
[Некрасов, 1961, с. 87], что приводит к ветвлению.
Для доказательства сходимости рядов (14) - (15) Некрасов применял (как Ляпунов и Шмидт) метод мажорант. Однако в отличие от своих предшественников Некрасов решал исходное нелинейное интегральное уравнение непосредственно (не используя редукцию задачи к решению преобразованного функционального уравнения).
Для построения решения уравнения (1) Некрасову удалось использовать более простое соображение. Полагая ц = 3 + X, он отыскивал решение этого уравнения в виде степенного ряда
оо
= (16)
к=1
Подстановка данного ряда в уравнение (1) привела к рекуррентной системе для определения Ф^:
ф1(0)=з/ Ф^К^в^ср ¿0
Фг(в) = ЗА(Ф2)+А2(Ф1) Ф3(0) = ЗА(Фз)+АЗ(Ф1,Ф2) (17)
Ф„(0) =ЗА(Фп)+А„(Ф1,Ф2,...,Ф„-1)
8Некрасов применил здесь преобразования, идею которых предложил один из основателей Московской математической школы профессор Н. Н. Лузин [Некрасов, 1961, с. 44].
'Специальный случай уравнения, введённого через 8 лет после Некрасова в работе [Натте^еш, 1930].
~е)]
где Ак - нелинейные операторы по всем своим переменным, кроме последней, но при к = 3,4,... операторы Ак являются линейными относительно Фк-1 [Вайнберг, Треногин, 1962, § 2]. Оператор А -линейный интегральный оператор с ядром К(<р, в).
Следует отметить, что за работу [Некрасов, 1921] по теории волн Некрасов был удостоен премии Жуковского [Секерж-Зенькович, 1960, с. 154].
В более поздней своей работе Некрасов исследует задачу о волне установившегося вида на поверхности конечной глубины [Некрасов, 1928]. В этом случае область, занятая одной волной, конформно отображается в круговое кольцо. Опираясь опять на метод Билля, Некрасов сводит задачу к решению нелинейного интегрального уравнения, аналогичного (1), в котором
К(е,в) = - In
Здесь со = Const; <73 и а - это эллиптические сигма-функции Вейерштрасса [Некрасов, 1947].
Поскольку основные результаты по теории нелинейных интегральных уравнений Некрасова были опубликованы в малоизвестных журналах, они не получили широкого распространения в то время ни в России, ни за рубежом.
Отметим, что на международном съезде по теоретической механике (1924) доклад Некрасова (по причине отсутствия докладчика) был прочитан Леви-Чивитой [Лапко, Люстерник, 1957, с. 119]. После этого некоторые западноевропейские учёные обратили внимание на статьи Некрасова 1921-22 гг. (см., например, книгу Л. Лихтенштейна [Lichtenstein, 1931, с. 54]). Леви-Чивита работал над определением профиля устоявшихся безвихревых волн на поверхности жидкости бесконечной глубины параллельно с Некрасовым. Об этом говорит тот факт, что в 1921 г. он включил эту тему в цикл лекций по вопросам классической и релятивистской механики [Levi-Civita, 1922]. В 1925 г. Леви-Чивита опубликовал своё «уравнение волны» [Levi-Civita, 1925], [Stoker, 1957, с. 523-524]:
— = pe sin Y, (18)
da
где р > 0 - параметр; Y = Im со, Ф = Reco; д = pel9\ со = со(д) - аналог потенциала скорости течения жидкости.
Функция со предполагается аналитической внутри круга < 1, непрерывной при < 1 и обладающей свойством й>(0) = 0. Уравнение (18) относится к точкам окружности = 1; оно является следствием условия постоянства давления жидкости на её поверхности.
Существование решения уравнения (18) доказывалось Леви-Чивитой с помощью довольно сложной процедуры, в которой были задействованы нелинейные тригонометрические выражения и метод мажорант. Он оказался в более выгодном, по сравнению с Некрасовым, положении: 50-страничная работа [Levi-Civita, 1925] вышла в престижном немецком журнале Mathematische Annalen и быстро стала классической. Но и исследования Некрасова долгое время продолжали оставаться актуальными, и в 1951 году на эту тему им была опубликована монография [Некрасов, 1951], за которую Некрасов получил Сталинскую премию. После этого его результаты стали более востребованы западно-европейскими учёными (см., например, [Stoker, 1957, с. IX]) и встал вопрос о приоритете Некрасова в нелинейной теории волн. Для решения этого вопроса в начале 1960-х гг. во Франции было осуществлено подробное сопоставление результатов Некрасова и Леви-Чивита, которое показало их равносильность [Jolas, 1962].
В начале 1940-х гг. метод Некрасова был «переоткрыт10» среднеазиатским математиком Николаем Николаевичем Назаровым [Назаров, 1941], учеником В.А. Стеклова. Назаров стал применять указанный метод для абстрактных аналогов уравнений (1), (11):
u(x)=Ä [ H(x,y,u(y))dy (19)
J а
с аналитическими операторами Н, раскладывающихся в ряд в окрестности известного решения щ(х):
оо
H(x,y,u0(x)+ü) = ^Нк(х,у)ик.
к=О
В этих условиях Назаров преобразовал исходное уравнение к равенству •Ъ гъ
/» ü /»ü
э(х)-Ло / H1(x,y)v(y))dy= / [//(Но+Н1гО + 0/ + Ло)(Н2г)2 +Я3а3 + •••)] Ja Ja
dy
"Назаров не был знаком с результатами Некрасова, поскольку он не ссылается на работы [Некрасов, 1919] - [Некрасов, 1928].
и представил его малые решения в виде рядов по целым или дробным степеням параметра ¡1 = А — Ао. Коэффициенты этих рядов были определены рекуррентно из бесконечной системы уравнений, а их сходимость установлена путём построения мажорант.
Важным моментом в результатах Назарова является возможность судить о существовании решения уравнения (19) для любого значения А, лежащего в окрестности Л0> на основе знания решения щ исходного уравнения, соответствующего Ао. Назаровым были также найдены условия единственности и неединственности такого решения [Назаров, 1945].
Впоследствии под методом Некрасова - Назарова стали подразумевать представление решения уравнения в виде рядов по степеням А —А0 или {А —А0)», причём функциональные коэффициенты этих рядов находятся последовательным решением линейных интегральных уравнений, а сходимость полученных рядов устанавливается методом мажорант [Ахмедов, 1957, с.137].
5. Метод Ляпунова - Шмидта в решении уравнения Некрасова. В 1930-м г. немецкий математик А. Гаммерштейн ввёл в рассмотрение уравнение11
у(х) = [ K(x,s)f(s,y(x))ds, J а
(20)
и доказал его разрешимость «в целом», используя вариационный подход [НаттеШеш, 1930], [Bogatov, 2020]. Кроме того, он применил к изучению уравнения (20) метод Ляпунова - Шмидта и вывел для него систему уравнений разветвления [Смирнов, 1936, § 15].
Подход Гаммерштейна был взят на вооружение его коллегой Л. Лихтенштейном, который исследовал задачи теории волн в постановке Леви-Чивиты [1лсЬ1еш1еш, 1931, Гл. II, § 1]. Лихтенштейн ввёл условия нечётности на функции ¥ и чётности функций Ф из уравнения (18), связанные с предполагаемой симметричностью волн. Это позволило ему, опираясь на теорию потенциала, свести задачу к системе нелинейных интегральных уравнений Вольтерра - Фредгольма
о Г 1 = ln-e-3*sin 4de
Л J 0 в
Г<Р
Ф ((р)=р e"3í,sin Wd6 Jo
(21)
и вывести для неё уравнение разветвления [1лсЬ1еш1еш, 1931, с. 48-52].
Дальнейшее продвижение в исследовании уравнения Некрасова (1) было связано с развитием методов Ляпунова - Шмидта в контексте общей теории операторов в банаховых пространствах [Вайнберг, Айзенгендлер, 1966, § 5].
Эта теория позволяла записать уравнение (1) (и ему подобные) в операторной форме:
<р=АА(<р,А), (22)
где А = ——; А - вполне непрерывный оператор: 12ж
A(íU)= / --K(£,<p)d£.
Jo 1-12ttA L sinm(a)da
- 12яА fj sin <p(a)da
Для исследования уравнения (22) на предмет наличия малых решений удобно преобразовать его к виду
х = Щх), (23)
где В - оператор Ляпунова - Шмидта (данное преобразование было выполнено Н. Н. Моисеевым в [Моисеев, 1957]). Тогда теорема существования нелинейных волн не требует специальных доказательств - она является прямым следствием теории Ляпунова - Шмидта.
Редукция к интегральным уравнениям Шмидта оказалась выгодной и с прикладной точки зрения. Она позволила применить метод Ляпунов - Шмидта для эффективного расчёта нелинейных волн. Как показал Моисеев, уравнение разветвления, соответствующее интегральному уравнению (23), имеет «полезный» вид с = /(Я, а), с - скорость движения жидкости; А — длина волны; а - амплитуда.
В начале 1960-х метод Ляпунова - Шмидта был также применён к исследованию уравнения (22) непосредственно [Hyers, 1964, с. 322-324].
В середине 1950-х гг. М. А. Красносельский высказал гипотезу о том, что для нелинейных интегральных уравнений (19) формальные решения в виде рядов всегда являются истинными решениями при достаточно малых значениях параметров [Покорный, 1958, с. 711]. Справедливость этой гипотезы была
Оно получило название уравнение Гаммерштейна.
проверена В. В. Покорным, который обобщил теорию формальных рядов с числовыми коэффициентами, развитую С. Бохнером и У. Мартиным, на случай формальных степенных рядов с функциональными коэффициентами [Покорный, 1958]. Рассматривая аналог «обобщённого уравнения Некрасова» (13) в виде
<р(х)= [ А10(х,у)<р(у)<1у+ [ Т[х, у, <р(у);А]с1у, (24)
л о ¿о
где Т[х,у,г;А] = ААп{х,у) + Т^к+1>2Аы(х,у)хкА1, Покорный представил его решение, в соответствии с методом Ляпунова - Шмидта, следующим образом [Покорный, 1956, с. 43]
<р{х,Х) = ф{х,Х) + а{Х)а{х). (25)
Здесь а(х) - нормированная собственная функция ядра А10(х, у); а(А) определяется условием ортогональности функций а(х) и ф(х,А) в пространстве Л2(0,1). Функция \)/{х,Х) определялась решением уравнения
f{x)= [ Aw{x,y)^{y)dy + f[xMx)\a,X\, (26)
J о
Г 1
где через f[x, ф(х); а, А] обозначен интеграл Jß Т[х, у, (p(y);A]dy при подстановке в него выражения для <р(х,А) из (25).
Условие разрешимости уравнения (26) даёт зависимость между а и А, которую можно представить в упрощённом виде
F(a,A) = 0, (27)
где F (a, À) - аналитическая в некоторой окрестности точки (0,0) относительно обеих своих переменных функция.
Покорный показал, что система уравнений (17), используемая в методе Некрасова - Назарова, эквивалентна уравнению разветвления, составленному для уравнения (24) и даже совпадает с ним, если правую часть уравнения разветвления разложить в ряд по соответствующему параметру и условие (27) заменить условием обращения в нуль всех коэффициентов этого разложения [Покорный, 1960]. Попутно Покорный обнаружил, что применение методов Ляпунова - Шмидта и Некрасова - Назарова требует преодоления одинаковых технических трудностей - построения резольвенты и решения уравнения разветвления.
6. Качественный анализ уравнения Некрасова. Применение качественных методов к анализу задач гидродинамики восходит к французскому учёному Жану Лере (1935) [Leray, 1935а]-[Leray, 1935b], который исследовал вопросы существования и единственности решений задачи о струйном обтекании препятствия неограниченным потоком (см. также [Гуревич, 1979, Гл. IV, § 18]). Лере опирался на созданную им вместе с польским математиком Юлиушем Шаудером теорию степени отображения [Leray, Schauder, 1934] (историю вопроса см., например, в [Mawhin, 2006]). В середине 1950-х гг. подход Лере был распространён на задачи плоской теории волн тяжёлой жидкости в постановке Леви-Чивиты (Р. Жербе, [Gerber, 1955]), однако и здесь дальше вопросов разрешимости дело не пошло.
Поворотным моментом следует, по-видимому, считать защиту докторской диссертации советского математика Марка Александровича Красносельского [Красносельский, 1950], в которой идеи Лере - Ша-удера получили своё дальнейшее развитие. Красносельский смотрел на нелинейный функциональный анализ, как на возможность проводить качественное исследование уравнений, не прибегая к построению их решений по примеру того, как это происходило в теории дифференциальных уравнений [Немыцкий, Степанов, 1947]. Он разработал ряд топологических методов анализа, которые нашли своё применение в различных прикладных областях [Красносельский, 2000], в том числе, при анализе задач теории волн.
В работе [Красносельский, 1956] Красносельский рассмотрел оператор Некрасова вида
w , f2n К(х,у) sin (p(y)dy
Ai((p, //)=/// --—-, (28)
Jо 1 + // J0 sm (p(t)dt
где
со
v^ Sin ИХ Sin nu / N
K(x,y)= У-У~, (29)
ài ^
a //„ = Цп - положительные собственные значения ядра К(х, у), имеющие различный вид для жидкости конечной (8 = 1) и бесконечной (8 = 2) глубины. Точные формулы для ц^ имеют следующий вид: /4 = 3ncoth^j^, где А - длина волны, h - глубина жидкости [Некрасов, 1961, с. 405]; ¡/п = Ъп.
Красносельский показал, что оператор А\ допускает разложение по формуле Тейлора в окрестности нуля в банахова пространства Е:
М{<р,р) = цВ(р + С((р,ц) + D((p,n), (30)
где В - линейный вполне непрерывный оператор (производная Фреше оператора А\ в точке в); C((p,fi) - оператор к-то порядка относительно (р:
C(a(p,fi) = акС(<р, ¡j.); (31)
D(<p,fj) - оператор высшего, чем к порядка относительно <р:
lim " , [ J = 0. (32)
<р"
При выполненных условиях уравнение
||<р||—»0 H/nllfc
(р=А1(<р,р) (33)
имеет нулевое решение в при всех значениях //.
Интерес представляют случаи, когда наряду с тривиальным решением, при некотором значении ¡1, близком к критическому12 значению //*, уравнение (33) имеет ещё одно (малое) решение, которое и будет определять форму волны.
Развитая Красносельским теория бифуркаций (историю вопроса см. в [Богатов, Мухин, 2015]) включала в себя обоснование линеаризации для уравнения (28). Соответствующая теорема может быть сформулирована так [Красносельский, 1956, с.457]:
Теорема 1. Пусть оператор Аг((р, ц) представляется в виде (30) и выполнены условия (31)-(32). Тогда каждая точка бифуркации этого оператора является характеристическим значением линейного оператора В. Каждое характеристическое значение нечётной кратности оператора В является точкой бифуркации оператора А\.
е2я
Поскольку производная Фреше оператора А\ в точке в имеет вид В(р = уо К^, [Красно-
сельский, 1956а, с. 204], все его характеристические значения //„ нечётнократны. Следовательно, все они будут точками бифуркации для операторов Некрасова (28).
Отметим, что подход Красносельского позволял ответить на вопрос о точках бифуркации уравнения Некрасова без построения уравнения разветвления или исследования сходимости рядов Назарова.
Доказанные Красносельским теоремы о структуре множества решений уравнения (33) для вполне непрерывных операторов Аг общего вида и его линеаризованных аналогов были основаны на свойствах вращения вполне непрерывных векторных полей [Красносельский, 1956а, Гл. IV]. Эти теоремы помогли обнаружить качественно новые свойства глобальных решений уравнения Некрасова. В частности, было выяснено, что
1. Решения (рц уравнения (33), отвечающие значениям параметра ц, близким к цп, образуют в окрестности в непрерывную ветвь13, причём ц —>//„, когда ||<^|| —» 0 [Красносельский, 1956а, с. 203].
2. В каждой непрерывной ветви, существование которой обозначено в предыдущем пункте, фиксированным значениям ц, близким к цп, соответствует единственное ненулевое решение уравнения (33), непрерывно зависящее от ц. [Красносельский, 1956, с. 458].
7. Переход к теории волн немалой амплитуды. Топологические методы теории бифуркаций, разработанные Красносельским и основанные на степени отображения, позволили отказаться от предположения о малости амплитуды волны в теории Некрасова. Кроме того, поскольку физически осмысленные решения уравнений, подобных (1), (11) являются неотрицательными, для дальнейшего анализа уравнений вида (33) с оператором (28) имело смысл задействовать теорию конусов, основанную М. Г. Крейном и М. А. Рутманом [Крейн, Рутман, 1948] и развитую Красносельским (историю вопроса см. в [Богатов, 2020а]). Несмотря на то, что Красносельский хорошо ориентировался в задачах нелинейной механики (см., например, [Бахтин, Красносельский, 1955]), для дальнейшего качественного анализа задач о волнах установившегося вида лучше подходили специалисты, имеющие базовое образование в области механики и гидродинамики.
Так сложилось, что в 1950-х гг. одна из школ нелинейной механики СССР была создана в Ростовском-на-Дону государственном университете (РГУ). Её организатором был выдающийся механик, впоследствии академик, Иосиф Израилевич Ворович. Он сам получил фундаментальную математическую подготовку (в том числе в области нелинейного анализа) на мехмате МГУ и хорошо понимал необходимость
12Такое значение параметра называется бифуркационным.
13Собственные функции некоторого оператора А образуют в области С с £ непрерывную ветвь, проходящую через точку <рц, если граница каждого ограниченного открытого множества ¡7 с С, содержащего <рц, имеет непустое пересечение с множеством собственных векторов А [Красносельский, 1956, с. 190].
аналогичной подготовки для своих учеников, занимающихся вопросами нелинейной механики сплошной среды. По словам Воровича [Ворович, Хапланов, 1963, с.213]
«Коллектив механиков14 ощутил, что углубленная математическая разработка задач нелинейной механики возможна только на базе современных методов, в первую очередь, на базе нелинейного функционального анализа.»
В связи с этим в 1953 г. на кафедре теоретической механики РГУ был организован семинар по функциональному анализу, который имел тесные связи с одноимённым Воронежским семинаром. Это подтверждается выступлениями ростовчан на семинаре Красносельского [Красносельский, Крейн, Мышкис, 1957, с.249], а также выходом совместного сборника статей по функциональному анализу Воронежского госуниверситета и РГУ. Как отмечали Ворович и Хапланов [Ворович, Хапланов, 1963, с.213],
«Работа семинара сблизила ростовчан с воронежскими математиками, прежде всего с МЛ. Красносельским, С.Г. Крейном и В.И. Соболевым.»
В результате один из учеников Воровича - Юрий Петрович Красовский - смог применить методы нелинейного функционального анализа к решению задач теории волн [Ворович, Хапланов, 1963, с. 226]. Красовский предполагал, что установившаяся жидкость бесконечной глубины движется без образования вихрей с постоянной скоростью, направленной по горизонтали, а профиль свободной границы является неподвижной периодической кривой. Отталкиваясь от постановки Леви-Чивита (18) и считая волны симметричными, Красовский пришёл к задаче отыскания периодической функции Ф(<р) £ в
/» 71
Ф(<р)=И Кг(е, (р)еЪЦ! вшФ^е, (34)
где ¡1 > 0 - число Фруда, а К^е, (р) - ядро, определяемое аналогично формуле (29) с заменой цп на величину ™. ¥ - функция, сопряжённая с Ф и удовлетворяющая условию
/ Т(е)& = 0.
Искомая функция Ф(<р) (как и в работах Некрасова) - это угол, образованный касательной к профилю волны с горизонталью.
Красовский ограничился случаем, когда волны имеют по одному гребню (точка <р = ж) и одной впадине (точка <р = 0). То есть
1. Ф(<р) > 0 при (р е [0, ж];
2. Ф(0) = Ф(ж) = 0.
Это предположение позволило использовать теорию положительных операторов Красносельского [Красносельский, 1956а, Гл. V], краеугольным камнем которой является понятие конуса К банахова пространства Е - замкнутого выпуклого множества, содержащее вместе с каждой своей точкой х луч, проходящий через неё и такого, что из того, что х,—хеК следует, что х = в. При помощи конуса К в пространстве Е вводят полуупорядоченность, полагая х < у, если у — х е К(щт этом знак < обладает всеми свойствами обычного знака <), а также определяют положительные операторы, как операторы, оставляющие конус К инвариантным. Большую пользу в контексте теории конусов приносит рассмотрение монотонных операторов А, обладающих свойством х < у => Ах < Ау. Вернёмся к уравнению (34) - его можно записать в операторном виде:
Ф = цАФ, (35)
где АФ = /0п К1(е,(р)езц' вшФ^е.
Обозначим через С[0, ж] - пространство непрерывных на [0, ж] функций, обращающихся в ноль на
границе отрезка [0,ж]; К - конус неотрицательных в С[0,ж] функций; Вг - шар пространства С[0,ж] ж
радиуса г < —. Тогда, как показал Красовский [Красовский, 1960, с. 1238], оператор А из (35) будет 6
вполне непрерывным в Вг и положительным на множестве Кг = Вг П К. При этом оператор А не является монотонным из-за наличия множителя ьт Ф. Тем не менее, поскольку он имеет монотонную миноранту (монотонный оператор В, для которого при всех х е Кг выполнено неравенство Вх < Ах), к анализу уравнения (35) применимы теоремы о собственных функциях положительных операторов, доказанные Красносельским [Красносельский, 1956а, Гл. V, § 2-3]:
Теорема 2. Положительные собственные функции оператора А образуют в конусе К непрерывную ветвь длиной г.
Теорема 3. Позитивный15 спектр оператора А целиком лежит в некотором интервале 0 < а < ц < Ъ, причём аиЪ не зависят от ||Ф||.
14Имеется в виду коллектив кафедры теоретической механики РГУ.
15Позитивный спектр положительного оператора А - совокупность тех его собственных чисел, которым соответствуют положительные собственные функции.
Из этих теорем следует, что в жидкости бесконечно большой глубины [Красовский, 1960, с. 1238]
1. при ограниченной скорости нет волн произвольно большой амплитуды;
2. существуют периодические симметричные волны, у которых максимум угла наклона к профилю волны принимает любое значение из интервала (0; —).
Похожие результаты были получены Красовским и при изучении волновых движений жидкости конечной глубины [Красовский, 1961].
Заключение. Появлению уравнения Некрасова предшествовали исследования двух ярких представителей школ механики: итальянской (Т. Леви-Чивиты, который стал изучать задачи об обтекании жидкостью препятствий методами теории функций комплексного переменного) и французской (А. Билля, который получил нелинейное интегро-дифференциальное уравнение для формы обтекания жидкости с использованием подхода Леви-Чивиты). Наличие указанных результатов дало Некрасову возможность двигаться дальше и применить принятый в московской школе механики во главе с Жуковским подход, основанный на использовании функции Жуковского. Вкупе со взаимодействием с сильной математической школой МГУ во главе с Н. Н. Лузиным это помогло Некрасову перейти к более простому (интегральному) варианту уравнения, описывающему течение жидкости вокруг препятствия в задаче Билля - Леви-Чивиты. Кроме того, это позволило распространить данный подход на задачи теории волн.
В силу ряда обстоятельств Некрасов, как и многие его коллеги (в том числе математики Н. Н. Лузин, А. Я. Хинчин и др.) был вынужден уехать из Москвы в 1920-м г. в г. Иваново в поисках лучшего жизнеобеспечения [Люстерник, 1967, с. 160]. До 1922 г. Некрасов был штатным профессором Иваново-Вознесенского политехнического института, организованного в 1918 г. [Секерж-Зенькович, 1960, с. 153]. Научная библиотека этого института, естественно, не шла ни в какое сравнение со столичными научными библиотеками, что затрудняло доступ профессуры к трудам своих зарубежных и даже петербургских коллег. Этим, по-видимому, можно объяснить тот факт, что Некрасов не использовал метод Ляпунова-Шмидта для решения своего уравнения, а создавал свой метод самостоятельно, «с нуля». С другой стороны, данное обстоятельство сослужило хорошую службу Некрасову, побуждая его к созданию теории нелинейных интегральных уравнений, ставшую хорошим дополнением к теории Ляпунова - Шмидта. Как выяснилось позднее, теория Некрасова содержала в себе потенциал для её распространения на нелинейные уравнения общего вида в абстрактных пространствах. Поскольку методы, используемые Некрасовым - разложение в ряд по степеням малого параметра и мажорирование (как, впрочем, и метод Ляпунова - Шмидта) - имели локальный характер, ответить на вопросы о глубинных свойствах решений уравнения Некрасова они не могли. Здесь на помощь пришли топологические методы нелинейного анализа, развитые в работах М. А. Красносельского середины 1950-х гг. и основанные на теории степени отображения в банаховом пространстве.
Это позволило выяснить
• сколько малых ненулевых решений имеет уравнение Некрасова при значениях параметра, близких к бифуркационному значению //„;
• когда ненулевые решения образуют непрерывные ветви и сколько таких ветвей существует при И —>
• как зависят от ц ненулевые решения уравнения Некрасова;
• при каких условиях на уравнение спектр оператора Некрасова будет сплошным.
Кроме того, применение Ю. П. Красовским теории конусов, разработанной Красносельским для решения задач нелинейного функционального анализа во второй половине 1950-х гг., позволило отказаться от предположения о малости амплитуды волны в уравнении Некрасова и провести его качественный анализ в новых условиях (1960). Немаловажную роль здесь сыграло тесное сотрудничество двух молодых научных школ СССР: воронежской школы функционального анализа (руководитель - М. А. Красносельский) и ростовской школы нелинейной механики (руководитель - И. И. Ворович).
Дальнейшее использование теории конусов применительно к глобальному анализу уравнения Некрасова было осуществлено в 1970-е гг. силами западных учёных [Кигпе1$оу, 2021, § 3.1].
Поводя итог, можно утверждать, что уравнение Некрасова достойно того, чтобы быть поставленным в один ряд с известными нелинейными уравнениями, таким как, например, уравнение Лиувилля, изучение которых даёт всё новые результаты и находит новое применение [Богатов, 2020Ь]. Ожидать ослабления интереса к уравнению Некрасова в ближайшем будущем не приходится.
Список литературы
1. Ахмедов К. Т. 1957. Аналитический метод Некрасова - Назарова в нелинейном анализе. Успехи математических наук, 12:4(76): 135-153.
2. Бахтин И. А., Красносельский М. А. 1955. К задаче о продольном изгибе стержня переменной жёсткости. Доклады Академии наук СССР, 105(4): 621-624.
3. Богатов Е. М. 2020 a. Об истории положительных операторов (1900-е-1960-е гг.) и вкладе М. А. Красносельского. Научные ведмости БелГУ. Серия Прикладная математика, Физика, 52(2): 105-127.
4. Богатов Е. М. 2020 b. Об истории уравнения Аи = кеи и вкладе отечественных математиков. Обозрение Промышленной и Прикладной Математики, 27(1): 67-69.
5. Богатов Е. М. 2021. О развитии теории нелинейных интегральных уравнений в работах А. И. Некрасова. Современные методы теории краевых задач : материалы Международ. конф. : Воронежская весенняя математическая школа Понтрягинские чтения - XXXII (3-9 мая 2021 г.). ВГУ; МГУ им. М. В. Ломоносова. Воронеж : Издат. дом ВГУ, 42-45.
6. Богатов Е. М., Мухин Р. Р. 2015. О связи между нелинейным анализом, бифуркациями и нелинейной динамикой: на примере воронежской школы нелинейного функционального анализа. Известия вузов. Прикладная нелинейная динамика, 23(6): 74-88.
7. Богатов Е. М., Мухин Р. Р. 2021. О развитии нелинейных интегральных уравнений на раннем этапе и вкладе отечественных математиков. Чебышевский сборник, 3 ( В печати).
8. Вайнберг М. М., Треногин В. А. 1962. Методы Ляпунова и Шмидта в теории нелинейных уравнений и их дальнейшее развитие. Успехи математических наук, 17:2(104): 13-75.
9. Вайнберг М. М., Айзенгендлер П. Г. 1966. Методы исследования в теории разветвления решений. Итоги науки. Серия Математика. Математический анализ. 1965. М., ВИНИТИ, 7-69.
10. Волгина В. Н., Тюлина И. А. 2001. Александр Иванович Некрасов. 1883-1957. Отв. ред. В.П. Карликов. М: Наука, 102.
11. Ворович И. И., Хапланов М. Г. 1963. О работах ростовских математиков за последние годы. Успехи математических наук, 18:2(110) : 211-233.
12. Гуревич М. И. 1970. Теория струй. Механика в СССР за 50 лет. Том 2. Механика жидкости и газа. М.: Наука, 5-36.
13. Гуревич М. И. 1979. Теория струй идеальной жидкости. Предисловие Л.И. Седова, Г.Ю. Степанова. 2-е изд., переработанное и дополненное. М. : Наука, 536.
14. Красносельский М. А. 1950. Исследования по нелинейному функциональному анализу. Автореферат докторской диссертации. Киев, Ин-т математики АН УССР, 1-21.
15. Красносельский М. А. 1956. Об уравнении Некрасова в теории волн на поверхности тяжёлой жидкости. Доклады Академии наук СССР, 109 (3) : 456-459.
16. Красносельский М.А. 1956 a. Топологические методы в теории интегральных уравнений. М.: Государственное издательство технико-теоретической литературы, 392.
17. Красносельский М. А., Крейн С. Г., Мышкис А. Д. 1957. Расширенные заседания Воронежского семинара по функциональному анализу в марте 1957 г. Успехи математических наук, 12:4(76): 241-250.
18. Красовский Ю. П. 1960. К теории установившихся волн немалой амплитуды. Доклады Академии наук СССР, 130(6): 1237-1240.
19. Красовский Ю. П. 1961. К теории установившихся волн конечной амплитуды. Журнал вычислительной математики и математической физики 1(5): 836-855.
20. Крейн М. Г., Рутман М. А. 1948. Линейные операторы, оставляющие инвариантным конус в пространстве Банаха. Успехи математических наук, 3:1(23) : 3-95.
21. Лапко А. Ф., Люстерник Л. А. 1957. Математические съезды и конференции в СССР. Успехи математических наук, 12:6(78): 47-130.
22. Люстерник Л. А. 1967. Молодость Московской математической школы. Успехи математических наук, 22:1(133): 137-161.
23. Марк Александрович Красносельский. К 80-летию со дня рождения. Сб. статей. М.: Институт проблем передачи информации РАН, 2000, 216.
24. Назаров Н.Н. 1941. Нелинейные интегральные уравнения типа Гаммерштейна. Труды Среднеазиатского гос. ун-та. Серия V-а, Математика, 33: 1-79.
25. Назаров Н.Н. 1945. Методы решения нелинейных интегральных уравнений типа Гаммерштейна. Труды Среднеазиатского гос. ун-та. Серия 6, физико-математические науки, 3-14.
26. Некрасов А. И. 1919. О волне Стокса. Известия Иваново-Вознесенского политехнического ин-та, 2: 81-89.
27. Некрасов А. И. 1921. О волнах установившегося вида. Известия Иваново-Вознесенского политехнического ин-та, 3: 52-65.
28. Некрасов А. И. 1922. О прерывном течении жидкости в двух измерениях вокруг препятствия в форме дуги круга. Известия Иваново-Вознесенского политехнического ин-та, 5: 3-19.
29. Некрасов А. И. 1922 a. О волнах установившегося вида на поверхности тяжёлой жидкости. Научные известия Академического центра Народного Комиссариата Просвещения. Физика, 3: 128-138.
30. Некрасов А. И. 1922 b. О волнах установившегося вида, гл.2. О нелинейных интегральных уравнениях. Известия Иваново-Вознесенского политехнического ин-та, 6: 155-171.
31. Некрасов А. И. 1922 с. О нелинейных интегральных уравнениях с постоянными пределами. Известия Физического института при Московском научном институте и Института биологической физики при Народном комиссариате здравоохранения, 2: 221-238.
32. Некрасов А. И. 1928. О волнах установившегося вида на поверхности тяжёлой жидкости (конечной глубины). Труды Всероссийского математического съезда 1927 г. в Москве. М.-Л., 258-262.
33. Некрасов А. И. 1947. Обзор работ автора по аэрогидромеханике. Известия Академии наук CCCP. Отделение технических наук, 10: 1265-1270.
34. Некрасов А. И. 1951. Точная теория волн установившегося вида на поверхности тяжелой жидкости. М.: Изд-во Академии наук СССР, 96.
35. Некрасов А. И. 1961. Собрание сочинений, Т. 1. Отв. ред. Я.И. Секерж-Зенькович. М.: Изд-во Академии наук СССР, 444.
36. Немыцкий В. В., Степанов В. В. 1947. Качественная теория дифференциальных уравнений. М.-Л.: Государственное издательство технико-теоретической литературы, 448.
37. Моисеев Н. Н. 1957. О течении тяжелой жидкости над волнистым дном. Прикладная математика и механика, 21(1): 15-20.
38. Покорный В. В. 1958. О сходимости формальных решений нелинейных интегральных уравнений. Доклады Академии наук СССР, 120(4): 711-714.
39. Покорный В.В. 1956. Об аналитичности решений некоторых нелинейных уравнений. Труды семинара по функциональному анализу, 2: 39-45.
40. Покорный В. В. 1960. О двух аналитических методах в теории малых решений нелинейных интегральных уравнений. Доклады Академии наук СССР, 133(5): 1027-1030.
41. Седов Л. И. 1939. Приложение теории функций комплексного переменного к некоторым задачам плоской гидродинамики. Успехи математических наук, 6: 120-182.
42. Секерж-Зенькович Я. И. 1960. Александр Иванович Некрасов (к 75-летию со дня рождения). Успехи математических наук, 15(1): 153-162 .
43. Смирнов Н. С. 1936. Введение в теорию нелинейных интегральных уравнений. Л.-М., Объединённое научно-техническое издательство, 124.
44. Bogatov E. M. 2020. On the history of variational methods of non-linear equations investigations and the contribution of Soviet scientists (1920s-1950s). Antiquitates Mathematicae, 14: 1-36.
45. Gerber R. 1955. Sur les solutions exactes des equations du mouvement avec surface libre d'un liquide pesant: theses. Universite Joseph-Fourier-Grenoble 1,128.
46. Hammerstein A. 1930. Nichtlineare Integralgleichungen nebst Anwendungen. Acta Mathematica, 54: 117-176.
47. Hyers D. H. 1964. Some nonlinear integral equations of hydrodynamics. Nonlinear Integral Equations. (P. M. Anselone, ed.), Madison, University of Wisconsin Press, 319-344.
48. Jolas P. 1962. Contribution à l'étude des oscillations périodiques des liquides pesants avec surface libre. Grenoble, La Houille Blanche, 5: 635-655
49. Kuznetsov N. 2021. A tale of two Nekrasov's integral equations. Water Waves, 1-29.
50. Leray J. 1935 a. Les problàmes de representation conforme d'Helmholtz; theories des sillages et des proues
I. Commentarii Mathematici Helvetici, 8 (1): 149-180.
51. Leray J. 1935 b. Les problàmes de représentation conforme d'Helmholtz; theories des sillages et des proues
II. Commentarii Mathematici Helvetici, 8 (1): 250-263.
52. Leray J., Schauder J. 1934 Topologie et equationss fonctionnelles. Annales Scientifiques de l' Ecole Normale Superieure, 61 : 45-73.
53. Levi-Civita T. 1907. Sulla resistenza d'attrito. Rendiconti del Circolo matematico di Palermo, 23 : 1-37.
54. Levi-Civita T. 1922. Questions de mecànica clàssica i relativista: conferàncies donades el gener de 1921. Barcelona, Institut d'estudis catalans, 151.
55. Levi-Civita T. 1925. Détermination rigoureuse des ondes permanentes d'ampleur finie. Mathematische Annalen, 93 (1): 264-314.
56. Liapunoff A. M. 1903. Recherches dans la theorie de lafigures des corps celestes. Memoires de l'Academie impeériale des sciences de St. Peétersbourg. 8-me Seérie, 14 (7) : 1-37.
57. Liapounoff A. 1905. Sur un probleme de Tchebycheff. Mémoires de l'Academie imperiale des sciences de St. Pétersbourg. 8-me Serie, 17 (3) : 1-31.
58. Lichtenstein L. 1931. Vorlesungen uber einige Klassen nichtlinearer Integralgleichungen und Integro-Differentialgleichungen nebst Anwendungen. Berlin, Julius Springer, 164.
59. Mawhin J. 2006. Le theoràme du point fixe de Brouwer: Un siàcle de metamorphoses. Sciences et Techniques en Perspective, Blanchard, 10 (1-2): 175-220.
60. Schmidt E. 1907. Zur Theorie der linearen und nichtlinearen Integralgleichungen. II. Teil. Auflösung der allgemeinen linearen Integralgleichung. Mathematische Annalen, 64:161-174.
61. Schmidt E. 1908. Zur Theorie der linearen und nichtlinearen Integralgleichungen. III. Teil. Uber die Auflosung der nichtlinearen Integralgleichung und die Verzweigung ihrer Losungen. Mathematische Annalen, 65(3): 370-399.
62. Stoker J. J. 1957. Water Waves. The Mathematical Theory with Applications. New York, Interscience Publ. Inc., 609.
63. Tazzioli R. 2017. D'Alembert's paradox, 1900-1914: Levi-Civita and his Italian and French followers. Comptes Rendus Meécanique, 345 (7): 488-497.
64. Villat H. 1911. Sur la resistance des fluides. Annales scientifiques l' Ecole Normale Superieure, 28 : 203-311.
References
1. Akhmedov K. T. 1957. The analytic method of Nekrasov-Nazarov in non-linear analysis. Uspekhi Mat. Nauk, 12:4(76): 135-153.
2. Bakhtin I. A., Krasnosel'skii M. A. 1955. On the problem of longitudinal bending of a rod of variable stiffness. Dokl. Akad. Nauk SSSR, 105 (4) : 621-624. (in Russian).
3. Bogatov E. M. 2020. On the history of variational methods of non-linear equations investigations and the contribution of Soviet scientists (1920s-1950s). Antiq. Math., 14: 1-36.
4. Bogatov E. M. 2020 a. On the history of the positive operators (1900s-1960s) and the contribution of M. A. Krasnosel'skii. Scientific bulletin of BelSU. Ser. Appl. Mat. Phys., 52 (2) : 105-127. (in Russian).
5. Bogatov E. M. 2020 b. On the history of the equation Au = keu and the contribution of domestic scientists. Surveys on Applied and Industrial Maths., 27 (1): 67-69.(in Russian).
6. Bogatov E. M. 2021. On the development of the theory of nonlinear integral equations in the works of A. I. Nekrasov. Modern methods of the theory of boundary value problems: materials International. conf.: Voronezh Spring Mathematical School Pontryagin Readings - XXXII (May 3-9, 2021), Voronezh, VSU Publishing House, 42-45. (In Russian).
7. Bogatov E. M., Mukhin R. R. 2015. On the relationship between nonlinear analysis, bifurcations and nonlinear dynamics: on the example of the Voronezh school of nonlinear functional analysis. Izvestiya VUZ. Applied nonlinear dynamics, 23 (6): 74-88.(in Russian).
8. Bogatov E. M., Mukhin R. R. 2021 On the development of nonlinear integral equations at an early stage and the contribution of Russian mathematicians. Chebyshevskii Sbornik, 3. (To appear in Russian).
9. Vainberg M. M., Trenogin V. A. 1962. The methods of Lyapunov and Schmidt in the theory of non-linear equations and their further development. Russian Math. Surveys, 17:2: 1-60.
10. Vainberg M. M., Aizengendler P. G. 1966. Methods of investigation in the theory of branching of solutions. Moscow, Itogi Nauki. Ser. Matematika. Mat. Anal. 1965, VINITI, 7-69. (in Russian).
11. Volgina V. N., Tyulina I. A. 2001. Aleksandr Ivanovich Nekrasov 1883-1957. Moscow, Nauka, 102.
12. Vorovich 1.1., Khaplanov M. G. 1963. On the work of mathematicians of Rostov for the last years. Uspekhi Mat. Nauk, 18:2(110) : 211-233. (in Russian).
13. Gurevich M. I. 1970. Teoriya struj . Mekhanika v SSSR za 50 let. Tom 2. Mekhanika zhidkosti i gaza. [Jet Theory. Mechanics in the USSR for 50 years. Volume 2. Mechanics of liquid and gas]. Moscow: Nauka, 5-36.
14. Gurevich M. I. 2014.The theory of jets in an ideal fluid. Pure and Applied Mathematics, Vol. 39. London, Elsevier, 602.
15. Krasnoselskii M. A. 1950. Issledovaniya po nelinejnomu funkcional'nomu analizu. [Research in nonlinear functional analysis]. Abstract of doctoral dissertation. Institute of Mathematics. Academy of Sciences of the Ukrainian SSR. Kiev, 1-21.
16. Krasnoselskii M. A. 1956. Ob uravnenii Nekrasova v teorii voln na poverhnosti tyazhyoloj zhidkosti [On the Nekrasov equation in the theory of waves on the surface of a heavy liquid]. Dokl. Akad. Nauk SSSR, 109: 456-459.
17. Krasnosel'skii M. A. 1956 a. Topologicheskie metody v teorii integral'nyh uravnenii, Moscow, GITL, 392. English translation: Topological methods in the theory of integral equations. International Series of Monographs on Pure and Applied Mathematics, Vol. 45, Oxford/
London/New York/Paris, Pergamon Press. 1964.
18. Krasnosel'skii M. A., Krein S. G., Myshkis A. D. 1957. Enlarged Session of Voronezh Seminar on Functional Analysis, March 1957. Uspekhi Mat. Nauk, 12:4(76) : 241-250. (in Russian).
19. Krasovskii Yu. P. 1960. The theory of steady-state waves of large amplitude. Dokl. Akad. Nauk SSSR, 130 (6): 1237-1240. (in Russian).
20. Krasovskii Yu. P. 1962. On the theory of steady-state waves of finite amplitude. U.S.S.R. Comput. Math. Math. Phys., 1(4) : 996-1018.
21. Krein M. G., Rutman M. A. 1948. Linear operators leaving invariant a cone in a Banach space. Uspekhi Mat. Nauk, 3:1(23) : 3-95 (in Russian).
22. Lapko A. F., Lyusternik L. A. 1957. Mathematical sessions and conferences in the USSR. Uspekhi Mat. Nauk, 12:6 (78): 47-130. (in Russian).
23. Lyusternik L. A. 1967. The early years of the Moscow Mathematics School. Russian Math. Surveys, 22 (1): 133-157.
24. Mark Aleksandrovich Krasnosel'skij. K 80-letiyu so dnya rozhdeniya. Sb. Statej [On the occasion of the 80th birthday. Digest of articles]. 2000. Moscow: Institut problem peredachi informacii RAN, 216.
25. Nazarov N.N. 1941. Nonlinear integral equations of Hammerstein's type. Acta Universitatis Asiae Mediae, ser. V-a, Mathematicae, 33: 1-79 (in Russian).
26. Nazarov N. N. 1945 Metody reshenija nelinejnyh integral'nyh uravnenij tipa Gammershtejna [Methods for solving nonlinear integral equations of Hammerstein type]. Acta Universitatis Asiae Mediae, new ser., 6: 3-14.
27. Nekrasov A. I. 1919. O volne Stoksa [On Stokes' wave]. Izvestia Ivanovo-Voznesensk. Politekhn. Inst. 2: 81-89.
28. Nekrasov A. I. 1921. O volnah ustanovivshegosya vida [On steady-state waves]. Izv. Ivanovo-Voznesensk. Politehn Inst., 3: 52-65.
29. Nekrasov A. I. 1922. O preryvnom techenii zhidkosti v dvuh izmereniyah vokrug prepyatstviya v forme dugi kruga [Discontinuous flow of fluid in two dimensions around an obstacle in the form of an arc of a circle]. Izv. Ivanovo-Voznesensk. Politehn Inst., 5: 3-19.
30. Nekrasov A. I. 1922a. O volnah ustanovivshegosya vida na poverhnosti tyazhyoloj zhidkosti [On waves of permanent type on the surface of a heavy fluid]. Nauch. Izvestia Akad. Tsentra Narkomprosa. Physics, 3:128-138.
31. Nekrasov A. I. 1922b. O volnah ustanovivshegosja vida, gl.2. O nelinejnyh integral'nyh uravnenijah [On steady waves. Part 2, On nonlinear integral equations]. Izvestia Ivanovo-Voznesensk. Politekhn. Inst., 6: 155-171.
32. Nekrasov A. 1.1922c. O nelinejnyh integral'nyh uravneniyah s postoyannymi predelami [Nonlinear integral equations with constant limits]. Bulletin of Physics Institute at Moscow Scientific Institute and Institute of Biological Physics at People's Commissariat of Health, 2: 221-238. (In Russian).
33. Nekrasov A. I. 1928 O volnah ustanovivshegosya vida na poverhnosti tyazhyoloj zhidkosti (konechnoj glubiny) [On steady-state waves on the surface of a heavy liquid (finite depth)]. Moscow-Leningrad, Proc. All-Russian. Math. Congress of 1927 in Moscow, 258-262.
34. Nekrasov A. I. 1947. Obzor rabot avtora po aerogidromekhanike [Review of the author's work on aerohydromechanics]. Izv. Acad. Sci. USSR. Department of Engineering Sciences, 10:1265-1270 (in Russian).
35. Nekrasov A. I. 1951. Tochnaya teoriya voln ustanovivshegosya vida na poverhnosti tyazheloj zhidkosti [The Exact Theory of Steady Waves on the Surface of a Heavy Fluid]. Moscow, Izdat. Akad. Nauk SSSR, 96; translated as University of Wisconsin MRC Report No. 813 (1967).
36. Nekrasov A. 1.1961. Collected Papers, I. Moscow, Izdat. Akad. Nauk SSSR, 444.
37. Nemytskii V. V., Stepanov V. V. 1989. Qualitative Theory of Differential Equations. New York, Dover Publication Inc., 523.
38. Moiseev N. N. 1957. O techenii tyazheloj zhidkosti nad volnistym dnom [About the flow of heavy fluid over a wavy bottom] Prikladnaya matematika i mekhanika, 21 (1): 15-20.
39. Pokornyj V. V. 1956. Ob analitichnosti reshenij nekotoryh nelinejnyh uravnenij [On the analyticity of solutions of some nonlinear equations]. Tr. seminara po funkc. analizu, 2: 39-45.
40. Pokornyj V. V. 1958. Convergence of formal solutions of nonlinear integral equations. Dokl. Akad. Nauk SSSR, 120 (4):711-714. (in Russian).
41. Pokornyj V. V. 1960. Two analytic methods in the theory of small solutions of nonlinear integral equations. Dokl. Akad. Nauk SSSR, 133(5):1027-1030. (in Russian).
42. Sedov L. 1.1939. Application of the theory of functions of a complex variable to some problems of the plane hydrodynamics. Uspekhi Mat. Nauk, 6: 120-182. (In Russian).
43. Sekerzh-Zen'kovich Ya. I. 1960. Aleksandr Ivanovich Nekrasov (on the 75th anniversary of his birth). Uspekhi Mat. Nauk, 15:1(91): 153-162. (In Russian).
44. Smirnov N. S. 1936. Vvedenie v teoriju nelinejnyh integral'nyh uravnenij [Introduction to the theory of nonlinear integral equations]. Moscow-Leningrad, ONTI, 124.
45. Gerber R. 1955. Sur les solutions exactes des equations du mouvement avec surface libre d'un liquide pesant: theses. Universite Joseph-Fourier-Grenoble I, 128.
46. Hammerstein A. 1930. Nichtlineare Integralgleichungen nebst Anwendungen. Acta Math. 54: 117-176.
47. Hyers D.H. 1964. Some nonlinear integral equations of hydrodynamics. Nonlinear Integral Equations. (P. M. Anselone, ed.), Madison, University of Wisconsin Press, 319-344.
48. Jolas P. 1962. Contribution à l'etude des oscillations periodiques des liquides pesants avec surface libre. Grenoble, La Houille Blanche, 5: 635-655
49. Kuznetsov N. 2021. A tale of two Nekrasov's integral equations. Water Waves, 1-29.
50. Leray J. 1935 a. Les problèmes de représentation conforme d'Helmholtz; théories des sillages et des proues
I. Commentarii Mathematici Helvetici, 8 (1): 149-180.
51. Leray J. 1935 b. Les problèmes de représentation conforme d'Helmholtz; theories des sillages et des proues
II. Commentarii Mathematici Helvetici, 8 (1): 250-263.
52. Leray J., Schauder J. 1934 Topologie et equationss fonctionnelles. Annales Scientifiques de l' Ecole Normale Superieure, 61 : 45-73.
53. Levi-Civita T. 1907. Sulla resistenza d'attrito. Rendiconti del Circolo matematico di Palermo, 23 : 1-37.
54. Levi-Civita T. 1922. Questions de mecènica clèssica i relativista: conferències donades el gener de 1921. Barcelona, Institut d'estudis catalans, 151.
55. Levi-Civita T. 1925. Détermination rigoureuse des ondes permanentes d'ampleur finie. Mathematische Annalen, 93 (1): 264-314.
56. Liapunoff A.M. 1903. Recherches dans la theorie de lafigures des corps celestes. Memoires de l'Academie impeériale des sciences de St. Peétersbourg. 8-me Seérie, 14 (7) : 1-37.
57. Liapounoff A. 1905. Sur un probleme de Tchebycheff. Mémoires de l'Academie imperiale des sciences de St. Pétersbourg. 8-me Serie, 17 (3) : 1-31.
58. Lichtenstein L. 1931. Vorlesungen uber einige Klassen nichtlinearer Integralgleichungen und Integro-Differentialgleichungen nebst Anwendungen. Berlin, Julius Springer, 164.
59. Mawhin J. 2006. Le theorème du point fixe de Brouwer: Un siècle de metamorphoses. Sciences et Techniques en Perspective, Blanchard, 10 (1-2): 175-220.
60. Schmidt E. 1907. Zur Theorie der linearen und nichtlinearen Integralgleichungen. II. Teil. Auflösung der allgemeinen linearen Integralgleichung. Mathematische Annalen, 64:161-174.
61. Schmidt E. 1908. Zur Theorie der linearen und nichtlinearen Integralgleichungen. III. Teil. Uber die Auflosung der nichtlinearen Integralgleichung und die Verzweigung ihrer Losungen. Mathematische Annalen, 65(3): 370-399.
62. Stoker J. J. 1957. Water Waves. The Mathematical Theory with Applications. New York, Interscience Publ. Inc., 609.
63. Tazzioli R. 2017. D'Alembert's paradox, 1900-1914: Levi-Civita and his Italian and French followers. Comptes Rendus Meécanique, 345 (7): 488-497.
64. Villat H. 1911. Sur la resistance des fluides. Annales scientifiques l' Ecole Normale Superieure, 28 : 203-311.
Конфликт интересов: о потенциальном конфликте интересов не сообщалось. Conflict of interest: no potential conflict of interest related to this article was reported.
Получена 04.09.2021
СВЕДЕНИЯ ОБ АВТОРЕ Богатов Егор Михайлович - кандидат физико-математических наук, доцент, доцент кафедры высшей математики и информатики Старооскольского технологического института (филиала) Национального
исследовательского технологического университета «МИСиС»
©http://orcid.org/0000-0002-4897-0394
мкр. Макаренко, 42., г. Старый Оскол, 309516, Россия;
Доцент кафедры горного дела филиала Национального исследовательского технологического университета «МИСиС» в г. Губкине Белгородской области ул. Комсомольская, 16, г. Губкин, 309180, Россия E-mail: [email protected]
INFORMATION ABOUT THE AUTHOR Egor M. Bogatov - PhD in Physics and Mathematics, Associate Professor, Associate Professor of the Department of Higher Mathematics and Informatics of the Starooskol Technological Institute (branch) of the National Research Technological University «MISiS », Stary Oskol, Russia;
Associate Professor of the Department of Mining of the branch of the National Research Technological University "MISiS"in the city of Gubkin, Belgorod Region, Gubkin, Russia
