Математическая экономика — сфера теоретической и прикладной научной деятельности, целью которой является математически формализованное изучение экономических объектов, процессов и явлений. Наряду с простейшими геометрическими методами в рамках математической экономики применяется инструментарий интегрального и дифференциального исчисления, матричной алгебры, математического программирования, прочие вычислительные методы, составляются и решаются рекуррентные и дифференциальные уравнения^[2].

Язык математики позволяет экономистам формулировать содержательные и проверяемые гипотезы о многих сложных явлениях, описание которых без привлечения математического аппарата представляется затруднительным^[3]. Более того, противоречивая природа некоторых экономических явлений делает их исследование невозможным без использования математики^[4]. Ныне значительная часть теоретических экономических взаимосвязей нашла отражение в математических моделях^[5].

Математическая экономика позволила усовершенствовать многие методики экономического исследования, среди них:

• равновесный анализ, в рамках которого отдельные субъекты и крупные экономические системы представляются статическими объектами;
• сравнительная статика^[6], то есть компаративный анализ равновесных состояний;
• динамический анализ, то есть исследование траекторий перехода между состояниями равновесия^[2][7][8][9].

Методы математического моделирования экономических явлений и процессов обширно применяются с XIX века. Одним из первых распространённых инструментов стало дифференциальное исчисление: экономисты изучали процедуру максимизации полезности домохозяйств. Именно тогда арсенал экономиста-исследователя пополнили методы математической оптимизации — прикладной математической дисциплины о поиске экстремальных значений переменных. Развитие методов оптимизации продолжилось в первой половине XX века. В середине столетия, ввиду требований военного времени, область применения математических методов в экономике стала ещё шире. С 50-х годов важнейшим инструментом экономического моделирования стала теория игр^[10][9].

Процесс стремительной систематизации экономической теории критиковался многими авторитетными учёными. Кейнс, Хайек и другие именитые экономисты считали, что не всякий аспект экономического поведения поддаётся формализации.

Согласно Математической предметной классификации, математическая экономика входит в прикладную категорию № 91:

91 — Теория игр, экономика, общественные науки, поведенческие науки

Коды типа 91Axx закреплены за подразделом «Теория игр»^[11], коды типа 91Bxx — за подразделом «Математическая экономика»^[12].

Четырёхтомник Handbook of Mathematical Economics издательства Elsevier разделяет «математические методы в экономике» и «области экономики», где используется математика^[13].

Такое же разделение присутствует в «Новом экономическом словаре» издательства Palgrave. Предметный указатель содержит две категории для связанных с математикой статей:

«Математическая экономика» включает 24 статьи, в том числе «ацикличность», «проблема агрегирования», «сравнительная статика», «лексикографическое упорядочение», «линейные модели», «упорядочения» и «качественная экономика»;

«Математические методы» включает 42 статьи, в том числе «вариационное исчисление», «теория катастроф», «комбинаторика», «вычисление общего равновесия», «выпуклость», «выпуклое программирование», «стохастическое оптимальное управление».

Достаточно распространена кодовая классификация JEL, первоначально составленная редакцией журнала Journal of Economic Literature для категоризации книг и статей. Классификация JEL совместима с типологией «Нового экономического словаря»; ниже приведены ссылки на соответствующие разделы в онлайн-версии «Нового»^[14].

JEL: C01 — Эконометрика

JEL: C02 — Математические методы

JEL: C6 — Математические методы; Модели программирования; Математическое и имитационное моделирование^[15]

JEL: C61 — Методы оптимизации; Модели программирования; Динамический анализ^[16]

JEL: C62 — Условия существования и стабильности равновесия^[17]

JEL: C63 — Вычислительные методы; Имитационное моделирование^[18]

JEL: C67 — Модели межотраслевого баланса

JEL: C68 — Вычислимые модели общего равновесия^[19]

JEL: C7 — Теория игр и теория переговоров^[20]

JEL: C71 — Кооперативные игры^[21]

JEL: C72 — Некооперативные игры^[22]

JEL: C73 — Стохастические и динамические игры; Эволюционные игры; Повторяющиеся игры^[23]

JEL: C78 — Теория переговоров; Теория паросочетаний^[24]

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

Математический инструментарий экономики постепенно усложнялся. Современные магистерские программы по экономике и финансам требуют существенной математической подготовки. В результате магистрантами и аспирантами в области экономики становятся многие бакалавры математики. Практические задачи экономики нередко решаются прикладными математиками^[26].

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

Вообще говоря, формальные экономические модели можно подразделить по двум критериям: на стохастические и детерминированные, а также на дискретные и непрерывные. Объект экономики как науки весьма обширен, и его исследователи независимо друг от друга создали массу методологий^[27].

• Стохастические модели, выраженные в терминах случайных процессов, имитируют изменение наблюдаемых переменных во времени. Большинство эконометрических исследований посвящены тестированию гипотез об этих процессах и оценке их параметров. В период интербеллума Херман Волд разработал представление стационарного случайного процесса как суммы авторегрессионных рядов и детерминированного тренда. Волд, а также Ян Тинберген исследовали экономические данные как временные ряды. Современная теория временных рядов оснащена как более общими (ARCH, GARCH), так и более частными (ARMA) средствами анализа.
• Детерминированные модели могут строиться на качественном (некоторые аспекты теории общественного выбора), либо количественном уровне (например, построение финансовых переменных в гиперболической системе координат или моделирование функциональных зависимостей между ними). Если прогностическая мощность модели сводится к определению направлений, в которых изменяются переменные, функциональные зависимости будут иметь только качественную интерпретацию. Например, если цена товара или услуги возрастает, ожидается сокращение спроса. Подобные зависимости могут выражаться и без формул — достаточно построить график.
• Качественные модели распространены в меньшей степени, так как точность их предсказаний невелика. Примером может служить качественное сценарное планирование, когда происходит симуляция возможных будущих событий. Иногда производится нечисловой анализ дерева принятия решений.

Вильфредо Парето анализировал микроэкономические решения агентов как попытку перейти от одного распределения ресурсов к другому, более предпочтительному. Распределение ресурсов считается эффективным (или оптимальным) по Парето, если исчерпана любая возможность улучшить благосостояние одного из индивидов, не ухудшив благосостояние других^[28]. Доказательство Парето часто возникает в одном контексте с вальрасовским равновесием, а также гипотезой Адама Смита о «невидимой руке рынка»^[29]. Формулировка Парето является первым известным утверждением теоремы, впоследствии названной первой теоремой благосостояния^[30].

В своей знаменитой книге «Основания экономического анализа» (1947) Пол Самуэльсон заложил основы многих экономических моделей. Предложенная им математическая структура нашла применение в различных областях экономики. Опираясь на наследие Альфреда Маршалла, Самуэльсон адаптировал математические модели физики к экономической специфике. В этом выражается главная предпосылка математической экономики: поведение экономических агентов можно моделировать и описывать подобно любой другой системе. Так, принцип Ле Шателье и вальрасовский процесс нащупывания (процесс итеративного поиска равновесия) актуальны для систем разного рода, но описываемые ими закономерности подобны. Самуэльсон существенно развил теорию, начала которой заложили маржиналисты. Задачу об оптимизации индивидуальной полезности он рассмотрел с позиций сравнительной статики, когда в результате некого экзогенного изменения формируются и сопоставляются два равновесия. Этот и другие описанные в книге методы стали базисом для математической экономики XX века^[9][31]. Алгоритм вальрасова нащупывания был описан Кеннетом Эрроу и Леонидом Гурвичем в 1958 году^[32]. Алгоритм является продуктом имитационного моделирования: по результатам каждой итерации определяются значения полезности, объёмы спроса и предложения, а также избыточного спроса. В очередной итерации виртуальный аукционист предлагает виртуальным участникам новый вектор цен. Конечной целью является отсутствие избыточного спроса (равно как и избыточного предложения) на всех рынках^[33].

Одним из пионеров динамического моделирования в экономических науках стал Луи Башелье. Пытаясь объяснить ценообразование опционов с помощью броуновского движения, он одним из первых использовал дифференциальные уравнения при построении финансовой модели^[34]. Впоследствии дифференциальные уравнения возникали в контексте макроэкономических моделей, касающихся в том числе роста и деловых циклов. Исследование динамических систем и процессов макроэкономики подразумевает работу с дифференциальными уравнениями. Уравнение Эйлера (дифференциальное или разностное) появляется в работах макроэкономистов в 1920-е годы, в частности, в модели роста Фрэнка Рамсея (1928)^[35]. Во второй трети XX века дифференциальные уравнения становятся неотъемлемой частью крупнейших моделей роста (Харрода — Домара^[36]) и цикла (Самуэльсона — Хикса^[37], Калдора — Калецкого^[38]). Впрочем, этими разделами их применение не ограничивается: уравнения обнаруживаются в иных разделах макроэкономики (неравновесные модели^[39]) и микроэкономических конструкциях, например, мерах неприятия риска Эрроу — Пратта^[40]. Данный инструментарий применяется и экономистами неортодоксальных направлений, характерный пример — модель классовой борьбы Гудвина^[41].

Работы фон Неймана в области функционального анализа и топологии установили новые взаимосвязи между экономической теорией и математикой^[42][43]. При этом дифференциальное исчисление стало применяться реже — оно не позволяло доказывать существование равновесия. Теоретики общего равновесия стали предпочитать ему общую топологию, выпуклую геометрию и средства оптимизации.

И всё же дифференциальное исчисление никогда не исчезало из экономической методологии. Более того, оно вернуло утраченные прежде позиции в теории общего равновесия. В 60—70-х годах XX века Жерар Дебрё и Стивен Смэйл доказали его существование благодаря новым математическим открытиям: категории Бэра из общей топологии и теореме Сарда из топологии дифференциальной. Дифференциальные методы применяли и другие известные экономисты: Эгберт Диркер, Андреу Мас-Колелл, Ив Баласко^[44][45].

В 1937 году Джон фон Нейман построил модели общего равновесия^[42]. В отличие от предшественников, фон Нейман включил в модель ограничения в виде неравенств. Применив обобщённую теорему Брауэра о неподвижной точке, он доказал существование и единственность равновесия в расширяющейся экономике, смоделированной им же. Пусть случайный (транспонированный) вектор ${\displaystyle p}$ обозначает цены товаров, а случайный вектор ${\displaystyle q}$ — интенсивность производственного процесса. Матрицы ${\displaystyle A}$ и ${\displaystyle B}$ содержат информацию о затраченных ресурсах и выпуске соответственно^[46]. Фон Нейман рассматривал матричный пучок ${\displaystyle A-\lambda B}$, где ${\displaystyle A}$ и ${\displaystyle B}$ — неотрицательные матрицы; он пытался найти случайные векторы ${\displaystyle p,q}$ и постоянную ${\displaystyle \lambda }$ такие, что

${\displaystyle p^{T}(A-\lambda B)q=0}$

При этом даны две системы неравенств, гарантирующих экономическую эффективность. Единственное решение ${\displaystyle A}$ представляет собой темп прироста ВВП, который равен ставке процента. Доказательства существования положительного решения и равенства решения ставке процента — выдающиеся для своего времени достижения^[47][48]. Результаты фон Неймана рассматривались как частный случай линейного программирования с неотрицательными матрицами^[49]. Модель фон Неймана по-прежнему интересует исследователей в области вычислительной экономики^[50][51][52].

В 1936 году экономист российского происхождения Василий Леонтьев построил модель межотраслевого баланса. Её основной стали таблицы материального баланса, разработанные советскими экономистами, те же полагались на разработки физиократов. Модель Леонтьева связывала производственные процессы и спрос, благодаря чему экономисты научились предсказывать, как изменение спроса в одной отрасли повлияет на объем производства в другой^[53]. Хотя модель и была довольно простой, оценка коэффициентов позволила Леонтьеву ответить на некоторые интересные вопросы.

Допущения модели подразумевают, что факторы производства добавляются исключительно в фиксированных пропорциях вне зависимости от производимого объекта — получаемая в результате функция производства носит имя экономиста. Это допущение заметно облегчало вычисления, но за простоту пришлось заплатить точностью предсказаний. Модель расширяющейся экономики фон Неймана, напротив, нечувствительна к функции производства, однако оценить коэффициенты необходимо для каждой технологии в отдельности^[54][55].

Под математической оптимизацией (также математическим программированием) понимают нахождение лучшего (худшего) элемента во множестве альтернатив^[56]. В простейшем случае оптимизационная задача подразумевает нахождение экстремума вещественнозначной функции, то есть определение тех аргументов, в которых функция принимает оптимальное значение. Решение должно удовлетворять свойствам необходимости и достаточности. В более общем случае задача оптимизации заключается в поиске оптимальных элементов некого множества посредством разнообразных методов и алгоритмов^[57].

Известное определение экономики как науки гласит: «это изучение человеческого поведения как соотношение целей и недостающих средств»^{[прим. 1][58]}. Экономическим агентам приходится оптимизировать принимаемые ими решения, что обеспечивает неразрывную связь между экономикой и оптимизацией. Оптимизационные задачи пронизывают современную экономическую науку. В микроэкономике это задача максимизации полезности и двойственная ей задача минимизации расходов при заданном уровне полезности^[59]. Теория постулирует, что потребители добиваются максимальной полезности в условиях ограниченного бюджета. Фирмы стремятся извлечь максимальную прибыль, руководствуясь ограничениями производственной функции, рынка ресурсов и спроса на своём рынке^[60].

Экономическое равновесие — один из центральных элементов оптимизационного анализа, так как любая проверяемая на данных теория что-либо говорит о равновесии^[9][61]. Относительно новая тенденция в динамическом программировании и оптимальном моделировании связана с учётом риска и неопределённости. Приложения обнаружены в портфельной теории, экономике информации, теории поиска^[60].

Языком математики можно описать даже систему рынка во всей её целостности. Характерные тому примеры — первая и вторая фундаментальные теоремы благосостояния^[62] и модель общего равновесия Эрроу — Дебрё^[63]. Говоря точнее, многие экономические задачи имеют аналитическое решение, то есть решением является формула. Если аналитическое решение невозможно, экономисты прибегают к вычислительным методам, которые опосредованы программным обеспечением^[57]. Существуют вычислительные модели общего равновесия^[64].

Линейное и нелинейное программирование глубочайшим образом повлияло на методологию микроэкономики, до того полагавшейся исключительно на ограничения-равенства^[65]. Линейным программированием занимались многие нобелевские лауреаты, в том числе Леонид Канторович, Леонид Гурвич, Тьяллинг Купманс, Кеннет Дж. Эрроу, а также Роберт Дорфман, Пол Самуэльсон, Роберт Солоу^[66]. Канторович и Купманс получили премию (1975) именно за разработку метода. Оба признавали, что вклад Джорджа Данцига в развитие линейного программирования как минимум равносилен их собственному. Канторович, Гурвич, Купманс, Эрроу, Самуэльсон, а также Рагнар Фриш создали предпосылки для появления нелинейного программирования.

Метод линейного программирования впервые упомянут в работах Леонида Канторовича конца 1930-х годов. Он использовался советскими, а с 40-х годов — и американскими экономистами для оптимизации распределения ресурсов между фирмами и отраслями. Во время блокады Западного Берлина (1948) линейное программирование позволило спланировать поставки продовольствия и предотвратить голод^[67][68].

Нелинейная оптимизация с ограничениями в виде неравенств зародилась в 1951 году, когда Альберт Таккер и Гарольд Кун решили следующую оптимизационную задачу:

Минимизировать ${\displaystyle f}$(${\displaystyle x}$) при условиях ${\displaystyle g}$_i(${\displaystyle x}$) ≤ 0 и ${\displaystyle h}$_j(${\displaystyle x}$) = 0, где:

${\displaystyle f}$(^.) — целевая функция, подлежащая минимизации;

${\displaystyle g}$_i(^.) (${\displaystyle j}$ = 1, …, ${\displaystyle m}$) — функции, соответствующие ${\displaystyle m}$ ограничениям в виде неравенств;

${\displaystyle h}$_j(^.) (${\displaystyle j}$ = 1, …, ${\displaystyle l}$) — функции, соответствующие ${\displaystyle l}$ ограничениям в виде равенств.

Введя ограничения в форме неравенств, Кун и Таккер обобщили классический метод множителей Лагранжа, где неравенствами могли быть только уравнения^[69]. Метод послужил источником вдохновения для новых исследований лагранжевой двойственности^[70][71]. Двойственность в нелинейном программировании особенно полезна в задачах выпуклой оптимизации, где актуальна выпуклая теория двойственности Фенхеля и Рокафеллара. К выпуклым многогранным областям, встречающимся в линейном программировании, выпуклая двойственность применима в своём сильнейшем виде. Лагранжева двойственность и выпуклый анализ распространены в исследовании операций, планировании работы электростанций, заводов, планировании деятельности авиакомпаний^[71].

Экономическая динамика предполагает изменение экономически значимых переменных во времени, в том числе в контексте динамических систем. Задачи поиска оптимальных решений, связанных с этими изменениями, исследуются в рамках вариационного исчисления и теории оптимального управления. Ещё до начала Второй мировой войны Фрэнк Рамсей и Гарольд Хотеллинг пользовались методами вариационного исчисления для изучения экономических явлений.

Экономические исследования на базе оптимального управления появились после выхода работ Ричарда Беллмана и коллектива авторов во главе с Л. С. Понтрягиным (советская статья вышла раньше, однако перевод на английский язык был опубликован уже после работы Беллмана)^[72]. Оптимальное управление помогало найти равновесный экономический рост и параметры стабильности экономических систем^[73]. Хрестоматийный пример подобной задачи — поиск оптимальных уровней потребления и сбережений^[74]. Модели управления для детерминированного и стохастического случаев существенно различаются^[75]. Указанные методы также применимы к управлению финансами, производством и запасами^[76].

Доказывая существование равновесия в модели экономического роста, фон Нейман задействовал аппарат функционального анализа. Затронув в доказательстве теорему о неподвижной точке, фон Нейман стал первопроходцем топологических методов в экономике^[10][42][77]. За ним последовали Эрроу и Дебрё, которые создали абстрактные модели экономических равновесий с помощью выпуклых множеств и теории неподвижных точек. В 1954 году они опубликовали модель, где доказали существование равновесия, а также показали, что всякое равновесие по Вальрасу Парето-эффективно. В общем случае равновесие не единственно^[78]. В их построении «исходное» векторное пространство содержит объёмы продаваемых товаров, а сопряжённое к нему — их цены^[79].

Леонид Канторович строил модели в частично упорядоченных векторных пространствах, что также подчёркивало двойственность между ценами и объёмами^[80]. Канторович называл цены «объективно обусловленными оценками» (ООО), указывая на политическую подоплёку дискуссии о ценах в СССР^[79][81][82].

Функциональный анализ заметно обогатил экономическую методологию даже в случае конечномерных пространств. Было установлено, что вектор цен нормален к гиперплоскости, опорной для выпуклого множества производственных или потребительских возможностей. Оптимизация во времени или в условиях неопределённости требует построений в бесконечномерных пространствах, так как экономические агенты делают выбор между функциями или случайными процессами^{[79][83][84][85]}.

Развитие теории вероятностей и математической статистики в период между мировыми войнами, а также появление математически компетентных экономистов дало рождение эконометрике — методологии на стыке математики, статистики и экономики. Под эконометрикой часто понимают применение статистических методов в экономических исследованиях, по большей части — линейных регрессий и анализ временных рядов.

Термин «эконометрика» предложил Рагнар Фриш. В 1930 году он участвовал в создании Эконометрического общества, в 1933 году — журнала Econometrica^[86][87]. Студент Фриша Трюгве Ховельмо в 1944 году опубликовал статью «Вероятностный подход в эконометрике» (англ. The Probability Approach in Econometrics), где утверждал, что математические модели в экономике можно тестировать строгими статистическими средствами, собирая данные из множественных источников^[88]. Увязать статистический анализ и экономическую теорию предлагали и в Комиссии Коулза (ныне — Фонде Коулза)^[89].

Зачатки современной эконометрики наблюдаются у американского экономиста Генри Л. Мура, изучавшего производительность в сельском хозяйстве. Перебирая различные значения эластичности, он пытался связать производительность почвы с колебаниями спроса и предложения кукурузы и других культур. Математика Мура была достаточно слабой: он допустил несколько ошибок, в том числе неверно избрал спецификацию модели. Точность предсказаний ограничивалась и качеством данных. Первые его модели были статичны, а в 1925 году он представил динамическую модель «подвижного равновесия», в рамках которой пытался объяснить природу экономических циклов. Описанная им периодическая вариация, вызванная избыточной коррекцией спроса и предложения, ныне известна как паутинообразная модель. Особую известность приобрела формальная интерпретация этого феномена, данная Николасом Калдором^[90].

В 1944 году фон Нейман и Оскар Моргенштерн совершили прорыв, начав формировать методологический аппарат теории игр. Новая теория покоилась на свойствах выпуклых множеств и топологической теории о неподвижной точке^[10][43]. Они обошли дифференциальное исчисление стороной, так как многие функции, встречающиеся в теории игр, недифференцируемы. Развитие кооперативной теории игр продолжили Ллойд Шепли, Мартин Шубик, Эрве Мулен, Нимрод Мегиддо, Безалель Пелег. Приложения теории игр распространялись и за пределы экономики. Исследование кооперативных игр и систем голосования на предмет справедливости выигрышей привело к изменению правил голосования в законодательных органах и пересчёту расходов при планировании инфраструктурных объектов. Специалисты по кооперативной теорий игр привлекались для проектирования системы водоснабжения в южной части Швеции и тарификации выделенных телефонных линий в США.

Предшествующая неоклассическая теория лишь очерчивала круг возможных исходов игры, причём таких моделей было немного. Примером может служить двухсторонняя монополия или договорная кривая в ящике Эджворта^[91]. Предсказательный потенциал новых моделей был сопоставим с неоклассическим. Тем не менее, результаты фон Неймана и Моргенштерна дали толчок новым открытиям: вооружившись теоремами о неподвижной точке, Джон Нэш обнаружил условия, при которых задача о сделках и некооперативные игры могут иметь единственное равновесное решение^[92]. Некооперативная теория игр стала неотъемлемой частью экспериментальной^[93], поведенческой экономики^[94], экономики информации^[95], теории отраслевых рынков^[96] и политической экономии^[97]. На базе теории игр зародился дизайн механизмов, иногда называемый обратной теорией игр. Предметом исследования в дизайне механизмов выступают стимулы к обмену информацией — принципы их оптимального построения применимы и в государственной политике, и в частных экономических инициативах^[98].

В 1994 году Нэш, Джон Харсаньи и Рейнхард Зельтен получили премию памяти Нобеля за изучение некооперативных игр. Кроме того, были отмечены заслуги Харсаньи и Зельтена в исследовании повторяющихся игр. Впоследствии их результаты были адаптированы для вычислительных методов моделирования^[99].

Агентная вычислительная экономика (АВЭ, англ. agent-based computational economics) — относительно новое научное направление, зародившееся в 1990-х годах. АВЭ занимается изучением экономических объектов как динамических систем, возникающих и изменяющихся в результате последовательного взаимодействия экономических агентов. Объект удовлетворяет определению сложной адаптивной системы^[100]. Моделируемые агенты предстают не как реальные индивиды, но как «вычислительные объекты, взаимодействующие по определённым правилам», причём «взаимодействие на микроуровне образует новые закономерности» во времени и пространстве^[101]. Правила задают поведение и взаимодействие агентов в соответствии с имеющимися стимулами и доступной им информацией. Допущение об оптимальном (с математической точки зрения) поведении агентов ослабляется: вводится принцип ограниченной рациональности, согласно которому агенты адаптируются к рыночным условиям^[102].

Модели АВЭ, как следует из названия, полагаются на численные методы анализа, родственные компьютерному моделированию. Участие вычислительных машин обусловлено невозможностью аналитического решения сложных динамических задач^[103]. На первой стадии моделирования определяются начальные условия, после чего агенты многократно взаимодействуют друг с другом, формируя экономическую систему. В этой связи АВЭ классифицируют как «восходящий» метод (от меньшего к большему), проводя аналогию с подходом in vitro в биологии^[104]. Генерируемые в моделях АВЭ события зависят только от начальных условий, что отличает метод от других средств моделирования. Существование равновесия и простота его нахождения не принципиальны. Вместе с тем, агенты способны адаптироваться, обучаться, и они автономны^[105]. Методология АВЭ во многом схожа с теоретико-игровой, которая в сущности является агентным моделированием социальных взаимодействий^[99]. АВЭ позволяет решать вопросы, связанные с конкуренцией и сотрудничеством^[106], структурой рынка и отраслевыми рынками^[107], транзакционными издержками^[108], экономикой благосостояния^[109] и дизайном механизмов^[98], информацией и неопределённостью^[110], макроэкономикой^[111][112].

С развитием информатики и вычислительных мощностей метод становится всё более привлекательным. Проблематика АВЭ отчасти продиктована трудностями, свойственными экспериментальной экономике в целом^[113], отчасти — собственной спецификой^[114]; АВЭ предстоит стандартизирвать подход к эмпирической валидации и решить имеющиеся открытые вопросы^[115]. Конечной целью метода называют «тестирование теоретических открытий на реальных данных», причём тесты должны поддерживать совместимость эмпирически обоснованных теорией; теории будут накапливаться, и «работа каждого следующего исследователя будет должным образом базироваться на предшествующих результатах»^{[прим. 2][116]}.

История применения математического аппарата для нужд общественных наук восходит к XVII веку. Профессора университетов, преимущественно германских, разработали новый стиль преподавания — детальное представление социально значимых данных. Преподававший в этом стиле Готфрид Ахенвалль предложил называть его статистикой. Параллельно группа английских профессоров создала метод «численной аргументации государственной политики», который был назван политической арифметикой^[117]. Экономические категории, изучавшиеся английским экономистом Уильямом Петти, — налогообложение, скорость обращения денег, национальный доход — впоследствии заняли центральное место в экономической науке. Петти работал с количественными данными, однако абстрактную математическую методологию он отвергал. И Петти, и основоположник демографии Джон Граунт были во многом проигнорированы современниками, хотя и оказали определённое влияние на английских экономистов и статистиков^[118].

Обширная математизация экономической науки началась в XIX веке. Зародившаяся тогда классическая школа политической экономии объединила экономистов, изучавших экономики западноевропейских стран. Почти вся классическая теория представима в виде простейших геометрических и аналитических объектов. Ядром метода классиков была алгебра; дифференциальное исчисление тогда ещё не применялось. В 1826 году вышел знаменитый труд Иоганна фон Тюнена «Изолированное государство» (нем. Der Isolierte Staat), содержавший абстрактную поведенческую модель, чётко изложенную на языке математики. Моделируя эксплуатацию сельскохозяйственных угодий, фон Тюнен первым в истории рассмотрел маржинальные величины^{[прим. 3][119][120]}. Фон Тюнена интересовали вопросы теории, однако для подтверждения своих выводов он использовал эмпирические данные. В отличие от многих современников, немецкий экономист не исследовал новые явления уже имеющимися методами, развивая оригинальные модели и инструменты^[121].

Другие экономисты пробовали решать экономические задачи, адаптируя математические модели физики^[122]. Данное течение ныне характеризуется как переход от геометрического мышления к механике^[123]. В 1862 году Уильям Стенли Джевонс опубликовал «общую математическую теорию политической экономии»^{[прим. 4]}, в которой фрагментарно излагалась концепция предельной полезности^[124]. В 1871 году экономист представил вниманию публики «Принципы политической экономии» (англ. The Principles of Political Economy). Джевонс предположил, что предмет изучения экономики должен быть тривиален с точки зрения математики, ведь эта наука оперирует количественными показателями^{[прим. 5]}. Он считал, что сбор данных о сделках — объёмах и ценах сбыта — достаточен для создания точной науки на базе политической экономии^[125].

Французские экономисты Огюст Курно и Леон Вальрас строили аксиоматику экономики вокруг полезности благ. Учёные утверждали, что индивиды стремятся получить наиболее полезный для себя набор благ, и процедуру выбора можно описать математически^[26]. Считалось, что полезность представима в количественной форме; была даже выдвинута гипотетическая единица полезности — ютиль^{[прим. 6]}. Курно, Вальрас, а также британский экономист Фрэнсис И. Эджуорт являются предшественниками современной математической экономики^[126].

В 1838 году вышла работа «Исследования математических принципов теории богатства», где профессор математики Огюст Курно представил модель дуополии — рынка с двумя производителями^[126][127]. Курно допустил, что симметричные (имеющие равный доступ к рынку) продавцы не несут издержек. Кроме того, товары гомогенны, то есть совершенно идентичны в представлении потребителя. Каждый из продавцов определяет свой объём выпуска, исходя из соответствующего выбора соперника; цена устанавливается в зависимости от суммарного предложения. Так как издержки отсутствуют, прибыль равна выручке, то есть произведению цены на количество сбытой продукции. Дифференцирование обеих функций прибыли по объёму сбыта даёт систему линейных уравнений, решение которой позволяет получить равновесные показатели выпуска, цены и вычислить прибыль^[128].

Десятки лет вклад Курно в развитие математических методов экономики оставался незамеченными. Впоследствии его построения вдохновили многих маржиналистов^[128][129]. Модель дуополии стала одной из первых некооперативных игр, то есть Курно предвосхитил появление теории игр более чем на сто лет. Выражаясь современным языком, Курно нашёл равновесное по Нэшу решение дуопольной игры^[130].

Найденное Курно равновесие является частичным, общее же изучал Леон Вальрас. Каждого экономического агента Вальрас рассматривал и как производителя, и как потребителя. Он разработал четыре модели обмена в экономике, причём каждая следующая модель обобщала предыдущую. Общее равновесие находилось как решение системы уравнений, линейных и нелинейных^[131]. Решение системы произвольного числа уравнений на тот момент не представлялось возможным, однако Вальрас всё-таки получил несколько важных результатов, а именно т. н. закон Вальраса и процесс нащупывания. Его работы были беспрецедентно математизированы для своего времени — об этом писал и Эджуорт, давший рецензию на «Элементы чистой экономики» (фр. Éléments d'économie politique pure) Вальраса^[132].

Закон Вальраса — стоимость востребованных в экономике товаров равна стоимости продаваемых товаров — даёт решение задачи об общем равновесии. Современная и оригинальная формулировки отличаются. Вальрас предполагал, что в равновесии будут куплены все товары и потрачены все деньги. Это позволило ему показать, что в экономике с ${\displaystyle n}$ рынками равновесие любых ${\displaystyle n-1}$ рынков гарантирует равновесие и на n-м. Проще всего проиллюстрировать закон для случая двух рынков: товарного и денежного. Если денежный (товарный) достиг равновесного состояния, ни одни товар (денежная единица) не может ни покинуть рынок, ни проникнуть на него. Следовательно, второй рынок тоже находится в равновесии^[133]. Подобную идею Джон Стюарт Милль высказал ещё в 1844 году, однако формальной аргументации он не представил^[134].

Процесс нащупывания (фр. tâtonnement) создавался как практическое выражение вальрасова общего равновесия. Абстрагируясь, он представлял рынок как большой аукцион, где аукционист поочерёдно озвучивает различные варианты цен (озвучиваются цены на все возможные товары — речь идёт об общем равновесии). Покупатели ждут до тех пор, пока им не предложат удовлетворительный вариант, то есть такие цены, которые позволят им купить все желаемые блага в необходимом количестве^[135]. Затем заключаются соответствующие сделки, и рынок очищается — нет ни дефицита, ни избытка товаров. Движение рынка в сторону очищения, то есть последовательность цен в устах аукциониста и называется нащупыванием. Процедура кажется динамической, однако модель Вальраса статична: сделки не совершаются до тех пор, пока все рынки не пришли к равновесию. В действительности такое положение дел наблюдается крайне редко^[136].

В 1881 году вышел трактат Фрэнсиса Эджуорта «Математическая психология» (англ. Mathematical Psychics), который явным образом позиционировался как исследование в области математической экономики^[138]. Эджуорт перенял у Иеремии Бентама подход под названием «гедонистическое исчисление»^[139] (англ. felicific calculus), который позволял измерить субъективную полезность любого экономического решения^[140]. На базе «исчисления» Эджуорт построил модель экономического обмена, сделав три допущения:

• индивиды руководствуются только собственной выгодой;
• индивиды стремятся извлечь максимально возможную полезность;
• индивиды «вправе перезаключить сделку без согласия третьей стороны»^{[прим. 7][141]}.

Графическая интерпретация модели с двумя агентами, ныне известная как ящик Эджуорта, опубликована в 1924 году Артуром Боули^[142]. Множество решений, в которых оба индивида добиваются максимальной полезности, описывается договорной (контрактной) кривой. Кривая, а также её обобщение на n-мерный случай, называются ядром экономики^[143].

Эджуорт настаивал, что доказательные математические методы должны быть усвоены всеми школами экономической мысли. Находясь во главе The Economic Journal, он выпустил ряд критических публикаций о коллегах, исследования которых были недостаточно строгими. Среди прочих критике подвергся Эдвин Селигмен, известный своим скептицизмом в отношении математической экономики^[144]. Статьи по большей части касались налоговой нагрузки и её воздействия на поведение производителей. Эджуорт изучил монопольные рынки, где предложение товара зависит от предложения некого другого блага, а спрос независим (примером может служить рынок авиаперевозок: экономический и бизнес-классы обслуживания предназначаются для разных сегментов рынка, однако транспортировка осуществляется одним и тем же самолётом). Выяснилось, что повышение налога может снизить конечную цену одного из зависимых товаров, хотя здравый смысл и традиционные методы вычисления говорили об обратном. Селигмен утверждал, что полученный результат — не более, чем причуда, вытекающая из математической постановки задачи. По мнению Селигмена, парадокс возник из-за непрерывности функции спроса и бесконечно малом изменении налога. Гарольд Хотеллинг позже подтвердил правоту Эджуорта, показав, что та же ситуация возможна как при разрывной функции спроса, так и при больших изменениях налоговой ставки^[145].

В конце 1930-х годов математический инструментарий экономистов заметно расширился. В экономических исследованиях стали применяться дифференциальное исчисление и дифференциальные уравнения, а графы соседствовали с выпуклыми множествами. Экономическая теория развивалась благодаря усвоению математических методов; схожим путём ранее проследовала физика^[10][146]. Возникли аналогии между математизацией экономики и переходом от механики к аксиоматике^[147].

На протяжении XX века подавляющее большинство экономических публикаций в ведущих научных журналах^[148] принадлежало экономистам, занятым в академических организациях. В результате большая часть материала была так или иначе связана с теорией, в то время как сама экономическая теория «становилась всё более абстрактной и математизированной»^{[прим. 8][149]}. Субъективная оценка^[150] широты применения математических методов в ведущих экономических журналах показала, что количество статей без математических формул и иллюстраций сократилось с 95 % в 1892 году до 5,3 % в 1990 году^[151]. Опрос редакторов десяти ведущих журналов продемонстрировал, что лишь 5,8 % статей, опубликованных в 2003—2004 годах, не содержали ни анализа данных, ни (нумеруемых) математических выражений^[152].

Фридрих фон Хайек считал, что формальные методы неприменимы для моделирования реальных экономических агентов, чья информация об окружающем мире ограничена^[153].

Историк экономической мысли Роберт Хайлбронер утверждал, что математизация и «перегрузка данными» сделала экономический анализ наукообразным^[154]. Отмечая, что подобие научного метода ещё не гарантирует его истинное присутствие, он был склонен считать математическую экономику наукой^{[154][прим. 9]}. В то же время он считал неуместным математическое толкование многих экономических вопросов, поскольку им присущ неколичественной характер^{[прим. 10][155]}.

В 1940—50-х годах философ Карл Поппер высказывался о положении экономики как науки. Математическую экономику Поппер считал тавтологичной: коль скоро экономика стала математической теорией, математическая экономика с её строгими доказательствами окончательно перестала опровергать гипотезы эмпирически^[156]. Поппер считал, что фальсифицируемые допущения возможно тестировать путём наблюдения или экспериментально, в то время как нефальсифицируемые должны изучаться математикой, которая выведет из них следствия и проверит на согласованность с другими допущениями^[157].

Милтон Фридман разделял скептицизм Поппера в отношении допущений; они интересовали его не только в контексте математических методов, но и в остальной экономической науке. Фридман утверждал: «никакое допущение не является реалистичным»^{[прим. 11]}. Экономист предлагал оценивать качество модели с точки зрения точности прогноза, а не адекватности допущений^[158].

В «Общей теории» (1936) Кейнс писал:^[159]

Отвечая на критику, Пол Самуэльсон приводил аргумент Джозайи У. Гиббса о том, что математика — лишь язык. В экономике этот язык необходим для выражения многих важных вопросов. Более того, математический язык позволил развить экономическую теорию на концептуальном уровне^[160]. По мнению Самуэльсона, в отсутствие математического языка микроэкономику постигли бы немногие; при должной математической подготовке её без затруднений освоит большинство^{[прим. 13][161]}

Роберт Солоу (1988) заключает, что математическая экономика являет собой инфраструктуру современной экономической теории. Любая попытка познать современный мир, считает он, требует обращения либо к технической экономике, либо к истории — никакая другая методология ответа не даст^{[прим. 14][162]}.

• Математические методы в экономике
• Финансовая математика
• Эконофизика

• Carter Michael (2001). Foundations of Mathematical Economics, MIT Press. Contents.
• Chiang Alpha C., Wainwright Kevin [1967] 2005. Fundamental Methods of Mathematical Economics, McGraw-Hill Irwin. Contents.
• Dixit A. K. (1976, 1990) Optimization in Economic Theory, 2nd ed., Oxford. Description and contents preview.
• Gandolfo Giancarlo (1997, 2009). Economic Dynamics, 4th ed., Springer. Description and preview.
• Glaister Stephen (1984). Mathematical Methods for Economists, 3rd ed., Blackwell. Contents.
• Hands D. Wade (2004). Introductory Mathematical Economics, 2nd ed. Oxford. Contents.
• Judd Kenneth L. (1998). Numerical Methods in Economics, MIT Press. Description and chapter-preview links.
• Stachurski John (2009). Economic Dynamics: Theory and Computation, MIT Press. Description and preview.
• Stokey Nancy L., Lucas Robert E. Prescott Edward (1989). Recursive Methods in Economic Dynamics, Harvard University Press. Desecription and chapter-preview links.
• Szidarovszky Ferenc, Molnár Sándor (2002). Introduction to Matrix Theory: With Applications to Business and Economics, World Scientific Publishing. Description and preview.
• Takayama Akira (1985). Mathematical Economics, 2nd ed. Cambridge. Contents.
• Weintraub E. Roy (1982). Mathematics for Economists, Cambridge. Contents.

• Аллен Р. Математическая экономия. — М.: Издательство иностранной литературы, 1963.
• Андреев М. Ю., Поспелов И. Г., Поспелова И. И., Хохлов М. А. Новая технология моделирования экономики и модель современной экономики России. — М.: МИФИ, 2007. — 262 с.
• Математические модели экономики дефицита / А. П. Абрамов ; Рос. акад. наук, Вычисл. центр им. А. А. Дородницына. — М. : Вычисл. центр им. А. А. Дородницына РАН (ВЦ РАН), 2004 (Ротапринт Вычислительного центра). — 142 с.; 20 см; ISBN 5-201-09806-1
• Сбалансированный рост в моделях децентрализованной экономики / А. П. Абрамов. — Москва : URSS, cop. 2011. — 128 с.; 22 см; ISBN 978-5-397-02001-5
• Циклическая динамика в математических моделях экономических систем / А. П. Абрамов. — Москва : URSS, 2018. — 113 с.; 22 см; ISBN 978-5-9710-4658-5
• Белых А. А. История российских экономико-математических исследований: Первые сто лет. Изд. 3. М.: URSS. 2011. 240 с. ISBN 978-5-382-01311-4.
• Блюмин И. Г. Часть II. Математическая школа // Критика буржуазной политической экономии: В 3 томах. — М.: Изд-во АН СССР, 1962. — Т. I. Субъективная школа в буржуазной политической экономии. — С. 431—865. — VIII, 872 с. — 3200 экз.
• Воробьёв Н. Н. Теория игр для экономистов-кибернетиков. — М.: Наука, 1985
• Васин А. А., Морозов В. В. Теория игр и модели математической экономики. — М.: Макс-пресс, 2005. — 272 с. — ISBN 5-317-01388-7.
• Васин А. А. Некооперативные игры в природе и обществе. М.: Макс Пресс, 2005, 412 с. ISBN 5-317-01306-2.
• Теоретико-игровые модели принятия решений в эколого-экономических системах / В. А. Горелик, А. Ф. Кононенко. — М. : Радио и связь, 1982. — 145 с.
• Колемаев В. А. Математическая экономика. М.: Юнити-Дана, 1998, 2002, 2005.
• Ланкастер К. Математическая экономика. М.: Советское радио, 1972. 464 с.
• Петров А. А., Поспелов И. Г., Шананин А. А. Опыт математического моделирования экономики. — М.: Энергоатомиздат, 1996. — 544 с. — 1500 экз. — ISBN 5-283-03169-1.
• Покровский В.Н. Эконодинамика. Теория общественного производства.. — М.: URSS: ЛЕНАНД, 2014. — 330 с. — ISBN 978-5-9710-1219-1.
• Поспелов И. Г. Моделирование экономических структур. — М.: ФАЗИС; ВЦ РАН, 2004. — 208 с.
• Поспелов И. Г. Модели экономической динамики, основанные на равновесии прогнозов экономических агентов. — М.: ВЦ РАН, 2003. — 200 с. — ISBN 5-201-09794-4.
• Салманов О. Математическая экономика с применением Mathcad и Excel. БХВ-Петербург, 2003.

• Journal of Mathematical Economics: границы научной области и её цели
• Mathematical Economics and Financial Mathematics в каталоге ссылок Curlie (dmoz)
• Erasmus Mundus Master QEM — Models and Methods of Quantitative Economics
• Центральный экономико-математический институт РАН
• Математическая экономика : [арх. 19 октября 2022] / В. Л. Макаров // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
• Лебедев В. В. Компьютерное моделирование рыночных механизмов // Природа, 2001, № 12.

Эта статья входит в число хороших статей русскоязычного раздела Википедии.