В настоящее время важную роль в развитии теории дифференциальных уравнений играет применение современных электронных вычислительных машин. Исследование дифференциальных уравнений часто облегчает возможность провести вычислительный эксперимент для выявления тех или иных свойств их решений, которые потом могут быть теоретически обоснованы и послужат фундаментом для дальнейших теоретических исследований.
Вычислительный эксперимент стал также мощным средством теоретических исследований в физике. Он проводится над математической моделью физического явления, но при этом по одним параметрам модели вычисляются другие параметры и делаются выводы о свойствах изучаемого физического явления. Цель вычислительного эксперимента - построение с необходимой точностью с помощью ЭВМ за возможно меньшее машинное время адекватного количественного описания изучаемого физического явления. В основе такого эксперимента очень часто лежит численное решение системы уравнений с частными производными. Отсюда происходит связь теории дифференциальных уравнений с вычислительной математикой и, в частности, с такими ее важными разделами, как метод конечных разностей, метод конечных элементов и другие.
Итак, первая черта теории дифференциальных уравнений - ее тесная связь с приложениями. Другими словами, можно сказать, что теория дифференциальных уравнений родилась из приложений. В этом своем разделе - теории дифференциальных уравнений - математика прежде всего выступает как неотъемлемая часть естествознания, на которой основывается вывод и понимание количественных и качественных закономерностей, составляющих содержание наук о природе.
Именно естествознание является для теории дифференциальных уравнений замечательным источником новых проблем, оно в значительной мере определяет направление их исследований, дает правильную ориентацию этим исследованиям. Более того, дифференциальные уравнения не могут плодотворно развиваться в отрыве от физических задач. И не только потому, что природа богаче человеческой фантазии. Развитая в последние годы теория о неразрешимости некоторых классов уравнений с частными производными показывает, что даже очень простые по форме линейные уравнения с частными производными с бесконечно дифференцируемыми коэффициентами могут не иметь ни одного решения не только в обычном смысле, но также и в классах обобщенных функций, и в классах гиперфункций, и, следовательно, для них не может быть построена содержательная теория (теория обобщенных функций, обобщающая основное понятие математического анализа - понятие функции, была создана в середине нашего века трудами С.Л. Соболева и Л. Шварца).
Изучение уравнений с частными производными в общем случае - столь сложная задача, что если кто-нибудь наугад напишет какое-нибудь даже линейное дифференциальное уравнение с частными производными, то с большой вероятностью ни один математик не сможет о нем сказать что-либо и, в частности, выяснить, имеет ли это уравнение хотя бы одно решение.
Задачи физики и других естественных наук снабжают теорию дифференциальных уравнений проблемами, из которых вырастают богатые содержанием теории. Однако бывает и так, что математическое исследование, рожденное в рамках самой математики, через значительное время после его проведения находит приложение в конкретных физических проблемах в результате их более глубокого изучения. Таким примером может служить задача Трикоми для уравнений смешанного типа, которая спустя более четверти века после ее решения нашла важные применения в задачах современной газовой динамики при изучении сверхзвуковых течений газа.
Ф. Клейн в книге "Лекции о развитии математики в XIX столетии" писал, что "математика сопровождала по пятам физическое мышление и, обратно, получила наиболее мощные импульсы со стороны проблем, выдвигавшихся физикой".
Второй особенностью теории дифференциальных уравнений является ее связь с другими разделами математики, такими, как функциональный анализ, алгебра и теория вероятностей. Теория дифференциальных уравнений и особенно теория уравнений с частными производными широко используют основные понятия, идеи и методы этих областей математики и, более того, влияют на их проблематику и характер исследований. Некоторые большие и важные разделы математики были вызваны к жизни задачами теории дифференциальных уравнений. Классическим примером такого взаимодействия с другими областями математики являются исследования колебаний струны, проводившиеся в середине XVIII века.
Уравнение колебаний струны было выведено Д'Аламбером в 1747 году. Он получил также формулу, которая дает решение этого уравнения: u(t, x) = F1(x + t) + F2(x - t), где F1 и F2 - произвольные функции. Эйлер получил для него формулу, которая дает для него решение с заданными начальными условиями (задача Коши). (Эта формула в настоящее время называется формулой Д'Аламбера.) Возник вопрос, какие функции считать решением. Эйлер полагал, что это может быть произвольно начерченная кривая. Д'Аламбер считал, что решение должно записываться аналитическим выражением. Д. Бернулли утверждал, что все решения представляются в виде тригонометрических рядов. С ним не соглашались Д'Аламбер и Эйлер. В связи с этим спором возникли задачи об уточнении понятия функции, важнейшего понятия математического анализа, а также вопрос об условиях представимости функции в виде тригонометрического ряда, который позднее рассматривали Фурье, Дирихле и другие крупные математики и изучение которого привело к созданию теории тригонометрических рядов. Как известно, потребности развития теории тригонометрических рядов привели к созданию современной теории меры, теории множеств, теории функций.
При изучении конкретных дифференциальных уравнений, возникающих в процессе решения физических задач, часто создавались методы, обладающие большой общностью и применявшиеся без строгого математического обоснования к широкому кругу математических проблем. Такими методами являются, например, метод Фурье, метод Ритца, метод Галёркина, методы теории возмущений и другие. Эффективность применения этих методов явилась одной из причин попыток их строгого математического обоснования. Это приводило к созданию новых математических теорий, новых направлений исследований. Так возникла теория интеграла Фурье, теория разложения по собственным функциям и, далее, спектральная теория операторов и другие теории.
В первый период развития теории обыкновенных дифференциальных уравнений одной из основных задач было нахождение общего решения в квадратурах, то есть через интегралы от известных функций (этим занимались Эйлер, Риккати, Лагранж, Д'Аламбер и др.). Задачи интегрирования дифференциальных уравнений с постоянными коэффициентами оказали большое влияние на развитие линейной алгебры. В 1841 году Лиувилль показал, что уравнение Риккати y' + a(x)y + b(x)y2 = c(x) не может быть в общем случае разрешено в квадратурах. Изучение непрерывных групп преобразований в связи с задачами интегрирования дифференциальных уравнений привело к созданию теории групп Ли.
Начало качественной теории дифференциальных уравнений было положено в работах знаменитого французского математика Пуанкаре. Эти исследования Пуанкаре по обыкновенным дифференциальным уравнениям привели его к созданию основ современной топологии.
Таким образом, дифференциальные уравнения находятся как бы на перекрестке математических дорог. С одной стороны, новые важные достижения в топологии, алгебре, функциональном анализе, теории функций и других областях математики сразу же приводят к прогрессу в теории дифференциальных уравнений и тем самым находят путь к приложениям. С другой стороны, проблемы физики, сформулированные на языке дифференциальных уравнений, вызывают к жизни новые направления в математике, приводят к необходимости совершенствования математического аппарата, дают начало новым математическим теориям, имеющим внутренние законы развития, свои собственные проблемы.
В своих "Лекциях о развитии математики в XIX столетии" Ф. Клейн писал: "Математика в наши дни напоминает оружейное производство в мирное время. Образцы восхищают знатока. Назначение этих вещей отходит на задний план."
Несмотря на эти слова, можно сказать, что нельзя стоять за "разоружение" математики. Вспомним, например, что древние греки изучали конические сечения задолго до того, как было открыто, что по ним движутся планеты. Действительно, созданная древними греками теория конических сечений не находила своего применения почти две тысячи лет, пока Кеплер не воспользовался ею для создания теории движения небесных тел. Исходя из теории Кеплера, Ньютон создал механику, являющуюся основой всей физики и техники.
Другим таким примером может служить теория групп, зародившаяся в конце XVIII века (Лагранж, 1771 год) в недрах самой математики и нашедшая лишь в конце XIX века плодотворное применение сначала в кристаллографии, а позднее в теоретической физике и других естественных науках. Возвращаясь к современности, заметим, что важнейшие научно-технические задачи, такие, как овладение атомной энергией, космические полеты, были успешно решены в Советском Союзе также благодаря высокому теоретическому уровню развития математики в нашей стране.
Таким образом, в теории дифференциальных уравнений ясно прослеживается основная линия развития математики: от конкретного и частного через абстракцию к конкретному и частному.
Как уже говорилось, в XVIII и XIX веках изучались в основном конкретные уравнения математической физики. Из общих результатов теории уравнений с частными производными в этот период следует отметить построение теории уравнений с частными производными первого порядка (Монж, Коши, Шарпи) и теорему Ковалевской.
Теоремы о существовании аналитического (то есть представимого в виде степенного ряда) решения для обыкновенных дифференциальных уравнений, а также для линейных систем уравнений с частными производными были доказаны ранее Коши (Cauchy, 1789 - 1857). Эти вопросы рассматривались им в нескольких статьях. Но работы Коши не были известны Вейерштрассу, который предложил С.В. Ковалевской изучить вопрос о существовании аналитических решений уравнений с частными производными в качестве докторской диссертации. (Отмечу, что Коши опубликовал 789 статей и большое число монографий; его наследие огромно, поэтому неудивительно, что некоторые его результаты могли остаться некоторое время незамеченными.) С.В. Ковалевская в своей работе опиралась на лекции Вейерштрасса, где рассматривалась задача с начальными условиями для обыкновенных дифференциальных уравнений. Исследование Ковалевской придало вопросу о разрешимости задачи Коши для уравнений и систем с частными производными в определенном смысле завершающий характер. Пуанкаре высоко ценил эту работу Ковалевской. Он писал: "Ковалевская значительно упростила доказательство и придала теореме окончательную форму".