ЭКОНОМИЧЕСКИЕ НАУКИ
АКСЕЛЕРАТОРЫ В МАКРОЭКОНОМИКЕ: СРАВНЕНИЕ ДИСКРЕТНОГО И НЕПРЕРЫВНОГО ПОДХОДОВ Тарасова В.В.1, Тарасов В.Е.2
1Тарасова Валентина Васильевна - магистрант, Высшая школа бизнеса, Московский государственный университет им. М.В. Ломоносова;
2Тарасов Василий Евгеньевич - доктор физико-математических наук, ведущий научный сотрудник, Научно-исследовательский институт ядерной физики им. Д.В. Скобельцына, Московский государственный университет им. М.В. Ломоносова,
г. Москва
Аннотация: в статье доказывается, что уравнение акселератора с дискретным временем нельзя рассматривать как точный дискретный аналог уравнения акселератора с непрерывным временем. В силу этого макроэкономические модели с дискретным временем нельзя рассматривать как точную дискретизацию соответствующих моделей с непрерывным временем. В результате уравнения дискретных и непрерывных макроэкономических моделей имеют разные решения и могут предсказывать разное поведение экономики. В этой статье предлагается самосогласованное дискретное описание экономических акселераторов, основанное на точных конечных разностях. Для моделей с дискретным временем уравнения с точными конечными разностями имеют те же решения, что и соответствующие модели с непрерывным временем, и эти дискретные и непрерывные модели описывают одно и то же поведение экономики. Используя модель Харрода-Домара в качестве примера, мы показываем, что уравнения модели с непрерывным временем и предлагаемая дискретная модель имеют одинаковые решения, и эти модели предсказывают одинаковое поведение экономики.
Ключевые слова: макроэкономика, акселератор, точные конечные разности, модель Харрода-Домара.
1. Введение
Экономический акселератор является важнейшей концепцией макроэкономической теории [1, 2, 3]. Акселераторы можно рассматривать в моделях с непрерывным и дискретным временем. Акселераторы с непрерывным временем математически описываются уравнениями с производными первого порядка. Дискретные акселераторы описываются уравнениеми с конечными разностями. Одной из простейших макроэкономических моделей, которая использует концепцию акселератора, является модель Харрода-Домара, предложенная в работах [4, 5, 6, 7, 8]. Известно, что модель Харрода-Домара с непрерывным временем [1, а 75-76], [2, с. 64-66] и модель Харрода-Домара с дискретным временем [1, а 83-84] [2, с. 74-76] не являются эквивалентными. Аналогичная ситуация наблюдается и с другими моделями в макроэкономике. Макроэкономические модели с дискретным временем не могут рассматриваться как точные дискретные аналоги моделей с непрерывным временем. Уравнения этих моделей имеют разные решения и могут предсказывать различное поведение экономики. В этой связи важно описать причины отсутствия эквивалентности дискретных и непрерывных моделей.
Хорошо известно, что стандартные конечные разности целых порядков не могут рассматриваться как точные дискретизации производных этих же порядков. Поэтому уравнения акселераторов с дискретным временем, использующие стандартные конечные разности, нельзя рассматривать как точные дискретные аналоги
дифференциальных уравнений акселераторов, использующих производные первого порядка. Чтобы определить дискретный акселератор, являющийся точным дискретным аналогом акселератора с непрерывным временем, важно рассмотреть соответствие между непрерывными и дискретными методами описания. Задача точной дискретизации дифференциальных уравнений целых порядков была сформулирована Поттсом [9, 10] и Микенсом [11, 12, 13] (см. также [14, 15, 16]). Доказано, что для дифференциальных уравнений существует конечно-разностная дискретизация такая, что локальные ошибки усечения равны нулю. Основным недостатком такого подхода к дискретизации является то, что предлагаемые нестандартные конечные разности зависят от вида рассматриваемого дифференциального уравнения и параметров, входящих в него. Кроме того, эти нестандартные разности не имеют тех же алгебраических свойств, что и стандартные производные целого порядка. Недавно в работах [17, 18, 19, 20, 21, 22, 23] был предложен новый подход к точной дискретизации. Этот подход основан на принципе универсальности и принципе алгебраического соответствия [18]. Точные конечные разности обладают свойством универсальности, если они не зависят от формы и параметров рассматриваемых дифференциальных уравнений. Алгебраическое соответствие означает, что точные конечные разности должны удовлетворять тем же алгебраическим отношениям, что и производные. В этой статье мы предлагаем самосогласованное дискретное описание экономических акселераторов, основанное на точных конечных разностях, которые были предложены в [17, 18, 19, 20, 21, 22, 23]. 2. Акселератор
В макроэкономике акселератор описывает то, как изменяется значение эндогенной переменной (например, индуцированных инвестиций Щ)) в ответ на изменения скорости роста экзогенной переменной (например, дохода Y(t)). Формулировка акселератора зависит от того, используется ли непрерывный или дискретный анализ. Простейшее выражение линейного акселератора в непрерывной форме без запаздывания [1, с. 73], [2, с. 62-63] имеет вид
= (1)
где dY(t)/dt - скорость роста выпуска продукции (скорость роста дохода), Щ) -функция, описывающая индуцированные инвестиции в момент времени [, а V -положительная постоянная, коэффициент инвестиционного акселератора, указывающий мощность акселератора. Из уравнения (1) следует, что индуцированные инвестиции являются постоянной долей текущей скорости изменения выпуска продукции.
В дискретном анализе, уравнение линейного акселератора без запаздывания [1, с. 74], [2, с. 63] записывается в виде
= V ■ (Ъ - У4_1), (2) где = У(1;), = 1(1) при целых значениям t=0. 1, 2, 3, ..., t [1, с. 40], то есть предполагается единичный шаг дискретизации (Г=1). Дискретное уравнение (2) соответствует уравнению (1). В дискретном подходе с произвольным шагом дискретизации ^>0), уравнение линейного акселератора может быть записано в виде
1п = ^а„-уп_1), (3) где У„ = У(пТ), 1„ = 1(пТ), и T - положительная постоянная, задающая масштаб времени. Если T=1, то тогда t=n и У„ = В этом случае уравнение (3) принимает вид (2). Уравнения (2) и (3) означают, что индуцированные инвестиции (капиталовложения) зависят от изменения текущего выпуска продукции [1, а 74], [2, с. 63].
Используя стандартные конечные разности, такие как обратная конечная разность ДьУ(1;) := УО) — У(1 — 1), уравнение (2) может быть записано в виде
1(1) = V ■ Д,У(1). (4) Уравнения (2), (3) и (4) не могут рассматриваться как точные дискретные аналоги уравнения (1). Этот факт обусловлен тем, что стандартные конечные
разности, такие как Дь У (0 := У (Г)-У (1-1 ) и Д^У (0 := У (1+1) - Уф, не обладают теми же характеристическими свойствами, что и производная первого порядка [17, 18, 19]. Например, стандартное правило Лейбница (правило дифференцирования произведения), являющееся характеристическим свойством производных, нарушается для стандартных конечных разностей [17, 18], то есть, в общем случае, мы имеем неравенство
д ь (X ! (Г) ■ Х2 (Г) ) Ф ( д ь Хх (Г) ) ■ Х2 (Г) + Хх (г) ■ (д ь Х2 (Г) ) . (5) Например, для обратной разности правило Лейбница имеет нестандартный вид
А,1, (X, (I) ■ х2(0) = (а,1, х, со) ■ х2(0 + х, (0 ■ (д> х2(1)) - (а,1, х, (I)) ■
( дь Х 2(1) ) . (6)
Для сравнения действия производной и стандартных конечных разностей на некоторые элементарные функции мы приводим Таблицу 1.
Таблица 1. Действие производных и стандартных конечных разностей на элементарные
функции
ад с1ед/си кт
ехр(Х•1:) 1 ■ ехр(Х • 1:) ехр(Х) - 1 ехрШ 'еХрМ
зт(Х • 1:) 1 ■ СОБ^Х ■ 1:)
соз(Х • 1:) —1 ■ зт(Х • 1:)
I:2 2 • t 2^-1
I:3 з-е 3 • t2 - 3 • t + 1
Из Таблицы 1 видно, что действие стандартной конечной разности Дь в общем случае не совпадает с действием первой производной. В результате решения уравнений со стандартными конечными разностями в общем случае не совпадают с решениями дифференциальных уравнений, которые получены заменой стандартных конечных разностей на производные соответствующих порядков [18].
Неэквивалентность действия производных и стандартных конечных разностей приводит к тому, что макроэкономические модели с дискретным временем не эквивалентны соответствующим моделям с непрерывным временем. В следующем разделе будет показана неэквивалентность непрерывных и дискретных макроэкономических моделей на примере моделей Харрода-Домара.
3. Модель Харрода-Домара с непрерывным временем
Рассмотрим модель Харрода-Домара с непрерывным временем [1, с. 75-76], [2, с. 64-66]. Если независимые инвестиции А(^) растут, например, в результате внезапного появления крупных изобретений, мультипликатор приводит к росту выпуска продукции равному А (1) / ( 1 — с) , где с - предельная величина склонности к потреблению (0<с<1). Расширение выпуска продукции включает акселератор, что приводит к дальнейшему росту индуцированных инвестиций (капиталовложений). Эти дополнительные инвестиции увеличивают выпуск продукции за счет эффекта мультипликатора, что порождает следующий цикл. В результате получается непрерывный рост выпуска продукции.
Модель Харрода-Домара описывает взаимодействие множителя и акселератора в отсутствие запаздывания (лагов) при использовании простейшей формы акселератора. В модели с непрерывным временем все переменные берутся в виде непрерывных функций времени, а уравнение акселератора описывается линейным дифференциальным уравнением. Если выделить независимые (автономные) расходы,
как для потребления, так и для инвестиций (капиталовложений), основное уравнение баланса можно записать в виде
Y (t) = С (t) + I (t) + A (t) , (7) где Y(t) - выпуск продукции (доход) в момент времени t, C(t) - потребление, I(t) -индуцированные капиталовложения (инвестиции), A(t) - независимые капиталовложения (инвестиции).
Далее в модели предполагается, что функция потребления C(t) описывается линейным уравнением мультипликатора С (t) = с ■ Y (t) , где 0<c<1, а уравнение акселератора имеет вид (1), где v>0. В результате получаем
Y (t) = с ■ Y(t)+v^ + A (t) . (8) Уравнение (8) можно записать в виде
(t)-i-A (t) , (9)
где X = s /v, а параметр s = 1 — с описывает предельную величину склонности к сбережению. Уравнение (9) является дифференциальным уравнением первого порядка, решение которого описывает динамику эндогенной переменной Y(t), то есть выпуска продукции или дохода. Решение уравнения (9) зависит от динамики независимых расходов A(t). Рассмотрим случай постоянства независимых расходов (A (t) = A = const). Обозначим через у (t) отклонение дохода (выпуска продукции) от фиксированного уровня , то есть и учтем, что
. В этом случае уравнение (9) можно записать в виде
^ = X ■ у (t) , (10) где . Решение уравнения (10) имеет вид
у (t) =у ( 0 ) ■ exp (X ■ t) . (11) где у (0) - постоянная, описывающая начальный уровень дохода. Используя выражение получаем решение уравнения (9) для случая
в виде
Y (t) = A/ s + (Y ( 0 ) — A/ s ) ■ exp (X ■ t) . (12) Решение (12) описывает непрерывный экспоненциальный рост выпуска продукции или дохода с постоянным темпом роста для случая постоянства уровня
независимых расходов.
4. Модель Харрода-Домара с дискретным временем
Рассмотрим модель Харрода-Домара с дискретным временем [1, c. 83-84], [2, с. 7476]. Основным предположением данной модели является то, что полнее (в первую очередь) реализуются планы сбережения, а не планы потребления. Данное предположение является одним из обоснований введения запаздывания. В линейном случае, когда исключаются из рассмотрения независимые расходы ( ), функция сбережений имеет вид где s - постоянная предельная величина
склонности к сбережениям. В общем случае, соотношение задает
ожидаемую величину сбережений. Однако, поскольку предполагается, что планы сбережений осуществляются в первую очередь, то описывает также и фактическую величину сбережений. Ожидаемая величина потребления описывается выражением . В силу этого фактическое потребление задается формулой С t = Yt — St = Yt — s ■ Yt_!. (13) Уравнение баланса, связывающее фактические величины дискретной модели, аналогично уравнению баланса (7) непрерывной модели и имеет вид
Yt = Ct + It + A, (14) где - индуцированные капиталовложения (инвестиции), а - независимые капиталовложения. Из уравнений (13) и (14) получаем уравнение St = It+At, которое описывает равенство сбережений и всех капиталовложений (инвестиций). Рассмотрим сначала случай отсутствия независимых капиталовложений ( ).
Тогда все фактические капиталовложения являются индуцированными и описываются уравнением
It = St = s ■ Yt_(15) Ожидаемые индуцированные инвестиции (капиталовложения) описываются конечно-разностным уравнением линейного акселератора
Jt = v(Yt-Y_ . (16) Дальнейшее уточнение модели зависит от взаимосвязи между ожидаемыми инвестициями Jt и фактическими капиталовложениями It. Гарантированный темп роста выпуска продукции Yt задается условием равенства фактических и ожидаемых инвестиций (Jt = I t) для всех t, то есть условием реализации всех планов инвестиций. В силу предположения, что планы сбережения реализуются в первую очередь, получаем, что ожидаемые и фактические величины всегда совпадают, как для сбережений, так и для инвестиции. Равенство ожидаемых и фактических величин приводит к уравнению
v ■ (Y - Yt_i) = s ■ Yt_l (17) Используя стандартные конечные разности ДЬY (t) : = Y (t) — Y (t — 1 ) , уравнение (17) можно записать в виде
ДьY (t) = X ■ Yt_i. (18) где X=s /v. Уравнение (17) можно также записать в виде Yt = (1 + X) ■ Yt_ Решение этого уравнения [1, c. 84], [2, с. 76] имеет вид
Yt = Y0 ■ (1 + X) t = Y0 ■ exp (t ■ ln (1 + X) ) . (19) Решение (19) выражает непрерывный рост выпуска продукции или дохода с постоянным гарантированным темпом роста в рамках дискретной модели
Харрода-Домара.
В случае постоянства уровня независимых расходов ( ), уравнение
дискретно модели имеет вид
ДЬ Y (t) = X ■ Yt _ i— £ (20) Решение уравнения (20) можно записать [1, c. 146-147], [2, p. 185-186] в виде выражения
Yt = A/s + (Y0 — A/s) ■ exp (t ■ ln (1 + X) ) , (21) которое описывает рост выпуска продукции с постоянным темпом равным ln ( 1 + X) .
Если учесть ненулевой шаг дискретизации (T^1), решение (19) будет иметь вид Yt = Y0 ■ ( 1 + X ■ T) t/T, где T>0. Совпадение решений для уравнений дискретной и непрерывной моделей Харрода-Домара получается лишь, используя предельный переход . Используя так называемый замечательный предел
e, выражение (19) в пределе T — 0, принимает вид Yt = Y0 ■ exp (X ■ t) совпадающий с решением (12) непрерывной модели при A=0. В общем случае (T>0), прямая подстановка выражения в уравнение (18) показывает, что это
выражения не является решением уравнения (18) поскольку ДЬехр (X ■ t) ^ X ■ exp (X ■ t) (см. Таблицу 1). Аналогично подстановка выражения (12) в уравнение (20) показывает, что это выражения не является решением уравнения (20). В результате решение дискретной модели (21) не эквивалентно решению непрерывной модели (12).
В результате получаем, что скорость роста дискретной модели не
совпадает со скоростью роста непрерывной модели . Совпадение решений
дискретной и непрерывной модели возникает только в предельном случае . В
общем случае, модели описывают разное поведение экономики. Аналогичная ситуация возникает и для других макроэкономических моделей, включая модель естественного роста, модель Кейнса, динамическую межотраслевую модель Леонтьева и другие. Совпадение дискретных и непрерывных макроэкономических моделей может существовать только в предельном случае, при стремлении шага
дискретизации к нулю, т.е. в пределе . Решения непрерывных моделей в общем случае не будет решениями дискретных моделей, описываемых уравнениями со стандартными конечными разностями.
Используя пример модели Харрода-Домара, было показано, что макроэкономические модели с дискретным временем, описываемые уравнениями со стандартными конечными разностями, не могут считаться точными дискретными аналогами моделей с непрерывным временем. Уравнения дискретных и непрерывных макроэкономических моделей могут иметь разные решения и могут предсказывать разное поведение экономики. В следующем разделе мы предлагаем самосогласованное дискретное описание экономических акселераторов, позволяющее предлагать дискретные макроэкономические модели, которые можно рассматривать как точную дискретизацию соответствующих моделей с непрерывным временем. Кроме того, эти дискретные модели предсказывают такое же поведение экономики, как и соответствующие непрерывные макроэкономические модели.
5. Концепция точной дискретизации
Для того чтобы иметь конечно-разностные уравнения акселераторов, можно было рассматривать как точные дискретные аналоги уравнения (1), конечно-разностные операторы должны удовлетворять принципу соответствия [18]: конечные разности, которые являются точными дискретизациями производных целых порядков, должны подчиняться тем же характеристическим соотношениям, что и производные. Предлагаемый принцип алгебраического соответствия означает, что соответствие между дискретными и непрерывными экономическими моделями заключается не столько в предельном переходе, когда шаг дискретизации стремится к нулю (Т ^ 0), сколько в том, что математические операторы, используемые в этих двух моделях, должны подчиняться во многих случаях одним и тем же математическим правилам.
Точные дискретные аналоги производных должны обладать теми же характеристическими свойствами, что и производные [18]:
(1) Правило Лейбница (правило дифференцирования произведения функций) является основным характеристическим свойством производных целого порядка. В силу этого точные конечные разности, являющиеся точными дискретными аналогами производных, должны удовлетворять правилу Лейбница.
(2) Точные конечные разности, являющиеся точной дискретизацией производных, должны подчиняться полугрупповому свойству. В том числе, действие точных конечных разностей второго порядка должны быть эквивалентно действию двух конечных разностей первого порядка.
(3) Действие точных конечных разностей на степенные функции должно давать те же выражения, что и действие производных. Это позволяет рассматривать точное соответствие производных и точных конечных разностей на пространстве целых функций.
В работах [17, 18, 19, 20, 21, 22, 23], был предложен подход к точной дискретизации, который базируется на новом типе конечных разностей. Предлагаемые конечные разности могут рассматриваться как точные дискретизации производных целого и нецелого порядков. Предлагаемые точные разностные операторы не зависят от формы и параметров рассматриваемых дифференциальных уравнений. Используя эти операторы, можно получать точные дискретные аналоги дифференциальных уравнений целого и дробного порядков [18].
Предлагаемый подход к точной дискретизации позволяет получить разностные уравнения, которые точно соответствуют дифференциальным уравнениям. При этом существует не только точное соответствие между уравнениями, но и точное соответствие между решениями этих уравнений. Точные конечные разности, предложенные в [17, 18, 19, 20, 21, 22, 23], позволяют предложить точные дискретные аналогии для уравнений акселераторов с непрерывным временем.
6. Точные дискретные аналоги стандартного акселератора
Обозначим пространства целых функций, определенных на вещественной оси R и на поле целых чисел Z, через E(R) и E(Z), соответственно. Любая функция X (t) 6 Е ( R) может рассматриваться в виде степенного ряда
X (t) = Z k=0xk-tk, (22) где коэффициенты xk удовлетворяют условию limk_>ot) V>xk =0 и 16 R. Очевидно, что для , если t . Определим точную
конечную разность ДТ целого положительного порядка k на пространстве целых функций E(Z). Линейный оператор ДТ будет называться точной конечной разностью порядка k>0, если выполняется следующее условие [18, 19]. Если X (t) , Y (t) 6 Е (R) и дифференциальное уравнение
^ = (t) (23) выполняется для всех t то, тогда конечно-разностное уравнение
ДТ Y (n) = 1 ■ X (п) (24) выполняется для всех n .
В статьях [17, 18, 19], точные конечные разности целого порядка были предложены в явном виде. Точная конечная разность первого порядка определяется уравнением
ДТХ (t) := Е»=1 ^ ■ (X (t - Т ■ m) - X (t + Т ■ т) ) , (25) где сумма подразумевает суммирование по Чезаро или по Пуассону-Абелю [18, с. 55-56].
Уравнение (23) при k=1 может интерпретироваться как стандартное уравнением акселератора для модели с непрерывным временем. Уравнение (24) с точной конечной разностью (25) можно рассматривать как точный дискретный аналог стандартного акселератора с непрерывным временем, который описывается уравнением (23) при k=1.
Точные конечные разности второго и последующих целых порядков могут определяться рекуррентной формулой
ДТ+ 1 X (t) := ДТ ОТ X (t) ) . (26)
В результате точная конечная разность второго порядка имеет вид
Д1 X (t) := - zm=1^^ ■ (X (t - Т ■ m) + X (t + Т ■ m) ) -1 ■ X (t) . (27) Для произвольных положительных целых значений n, точные конечные разности задаются уравнением
ДТ X (t) : = Еm=1 Mn (т) ■ (X (t - Т ■ т) + ( -1) п ■ X (t + Т ■ т) ) - Мп (0) ■ X (t) , (28) где функция определяется уравнением
Мп со="С::;:"" ■ ( <п - *> ■ - (?)+--■ - <29>
for 0 а для m=0 формулой
М (0)=£^° S(?) . (30)
Для отрицательных значений аргумента функции 2 1 в формуле (29)
предполагается использование 1/Г ( - z) = 0 для положительных целых значений z.
Важным характеристически свойством точной конечной разности первого порядка является стандартное правило Лейбница
Д Т (X (t) ■ Y (t) ) = (Д Т X (t) ) ■ Y (t) + X (t) ■ (Д Т Y (t) ) , (31) которое выполняется на пространстве целых функций [18], то есть для любых X (t) ,Y (t) 6 Е (Z) . Для точных конечных разностей целых порядков k>0 правило Лейбница имеет вид
ДТ (X (t) ■ Y (t) ) = ^ Q ■ (ДТ X (t) ) ■ (ДТ Y (t)) , (32)
который является точным аналогом правила Лейбница для стандартных производных с1к/сКк целого порядка k>0.
Для сравнения конечных разностей и производных в Таблице 2 приводится действие производных (1Щ) ДИ, и точных конечных разностей Д ТДХ) на те же элементарные функции ДГ), что и в Таблице 1.
Таблица 2. Действие производных и точных конечных разностей на элементарные функции
f(t) df(t)/dt A|f(t)
exp (X ■ t) X ■ exp (X ■ t) X ■ exp (X ■ t)
sin (X ■ t) X ■ co s (X ■ t) X ■ co s (X ■ t)
co s (X ■ t) - X ■ sin (X ■ t) - X ■ sin ( X ■ t)
t2 2 ■ t 2 -t
t3 3 ■ t2 3 ■ t2
Отметим, что элементарные функции, которые рассматриваются в таблице, являются примерами целых функций. В работе [18] доказывается, что действие точных конечных разностей Д^ на пространстве целых функций совпадает с действием первой производной. В результате решения уравнений с точными разностями совпадают с решениями широкого класса дифференциальных уравнений [18]. Эквивалентность действий производных и точных конечных разностей приводит к эквивалентности широкого класса макроэкономических моделей с дискретным и непрерывным временем, если в дискретных моделях будут использоваться точные конечные разности. Продемонстрируем эквивалентность решений уравнений на примере непрерывных и дискретных моделей Харрода-Домара.
Точный дискретный аналог дифференциального уравнения стандартного акселератора (1) имеет вид
I (t)=v-OTY) (t) . (33) Используя явный вид точной конечной разности, уравнение (33) записывается в виде
I (t) = v ■ ^ ^ ■ (Y (t - T ■ k) - Y (t + T ■ k) ) . (34) Используя уравнение Ньютона-Лейбница, уравнение (1) можно записать в интегральном виде
Y (t) = Y(0) +1 ■ Jq I(т)dx. (35) Дискретный аналог интегрального уравнения (35), которые соответствует уравнению (34), имеет вид
Y (t) = Y (0) + 1 ■ ^ ■ (I (t - T ■ k) - I (t + T ■ k) ) , (36)
где Si (71 ■ k) - интегральный синус и ATy (0) =0. В уравнении (36) мы использовали точную конечную разность T 1, которая является точным дискретным аналогом интеграла [17, 18]. Для этой конечной разности минус первого порядка
выполняются соотношения 1T T 1 t t и T 1 T 1 t T t для любых t . T T T T T
Дискретное уравнение, являющееся точным дискретным аналогом уравнения (9) модели Харрода-Домара с непрерывным временем, может быть записано в виде (ATY) (t) = bY (t)-i-A (t) , (37) где X = s /v и s = 1-c - предельная величина склонности к сбережению. Решение уравнения (37) при A t A c t имеет вид
Y (t) = A/s + (Y (0) - A/s) ■ exp (X ■ t) . (38) Тот факт, что функция (38) является решением конечно-разностного уравнения (37), можно проверить прямой подстановкой функции (38) в уравнение (37) и использования равенств Д^е xp (X ■ t) = X ■ exp (X ■ t) , и AT (A/ s ) = 0.
Решение (38) совпадает с решением (12) уравнения (9) модели Харрода-Домара с непрерывным временем. В результате можно утверждать, что дискретная модель Харрода-Домара, использующая точные конечные разности, эквивалентна непрерывной модели Харрода-Домара, основанной на дифференциальном уравнении.
Используя модель Харрода-Домара в качестве примера, было показано, что уравнения макроэкономических моделей с непрерывным временем и соответствующие им модели с дискретным временем, основанные на точных конечных разностях, имеют одинаковые решения. В результате эти дискретные и непрерывные макроэкономические модели описывают одно и то же поведение экономики. 7. Заключение
Предлагается новый подход к точной дискретизации макроэкономических моделей с непрерывным временем. Этот подход основан на точных конечных разностях, которые были предложены в работах [17, 18, 19, 20, 21, 22, 23]. Предлагаемые конечные разности удовлетворяют принципу универсальности и принципа алгебраического соответствия [18]. Конечные разности обладают свойством универсальности, если они не зависят от параметров и от вида рассматриваемых дифференциальных уравнений. Алгебраическое соответствие означает, что точные конечные разности должны удовлетворять тем же алгебраическим отношениям, что и производные. Мы предложили самосогласованное дискретное описание акселератора, основанное на точных конечных разностях. Мы доказали, что уравнения макроэкономических моделей с непрерывным временем и соответствующие им модели с дискретным временем, использующие точные конечные разности, могут иметь одинаковые решения. Эти дискретные и непрерывные макроэкономические модели могут описывать одно и то же поведение экономики.
Следует отметить, что предлагаемый подход может быть использован и для макроэкономических моделей с динамической памятью [24, 25, 26]. Точные дробные разности, предложенные в работах [17, 18, 19, 20, 21, 22, 23], позволяют получить точные дискретные аналоги уравнений с непрерывным временем для акселераторов и мультипликаторов со степенной памятью, определенных в [27]. Решения широкого класса уравнений с точными дробными разностями совпадают с решениями дробных дифференциальных уравнений [18]. Этот факт можно проверить подстановкой решения непрерывного уравнения в уравнение с точными дробными разностями. Широкий класс дискретных моделей, использующих точные дробные разности нецелых порядков, будет эквивалентен непрерывным макроэкономическим моделям с динамической памятью [28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38], использующим дробные дифференциальные уравнения. В силу этого дискретные и непрерывные макроэкономические модели будут предсказывать одинаковое поведение экономических процессов с памятью.
Список литературы
1. Аллен Р. Математическая экономия. М.: Изд-во иностранной литературы, 1963. 670 с.
2. Allen R.G.D. Mathematical Economics. Second edition. London: Macmillan, 1960. 812 p. DOI 10.1007/978-1-349-81547-0.
3. Allen R.G.D. Macro-Economic Theory. A Mathematical Treatment. London: Palgrave Macmillan, 1967. 420 p. ISBN: 978-1-349-81543-2 DOI: 10.1007/978-1-349-81541-8.
4. Domar E.D. Capital expansion, rate of growth and employment // Econometrica, 1946. Vol. 14. № 2. P. 137-147. DOI: 10.2307/1905364.
5. Domar E.D. Expansion and employment // The American Economic Review, 1947. Vol. 37. № 1. P. 34-55.
6. HarrodR. An essay in dynamic theory // Economic Journal, 1939. Vol. 49 (193). P. 1433. DOI: 10.2307/1905364.
7. Харрод Р. Ф. К теории экономической динамики. М. : Гелиос АРВ, 2011. 160 с.
8. Харрод Р.Ф. Теория экономической динамики. Пер. с англ. М.: ЦЭМИ РАН, 2008. 210 с.
9. Potts R.B. Differential and difference equations // American Mathematical Monthly, 1982. Vol. 89. № 6. P. 402-407.
10. Potts R.B. Ordinary and partial difference equations // Journal of the Australian Mathematical Society B., 1986. Vol. 27. № 6. P. 488-501.
11. Mickens R.E. Difference equation models of differential equations // Mathematical and Computer Modelling. 1988. Vol. 11. P. 528-530.
12.Mickens R.E. Discretizations of nonlinear differential equations using explicit nonstandard methods // Journal of Computational and Applied Mathematics, 1999. Vol. 110. № 1. P. 181-185.
13.Mickens R.E. Nonstandard finite difference schemes for differential equations // Journal of Difference Equations and Applications, 2002. Vol. 8. № 9. P. 823-847. DOI: 10.1080/1023619021000000807.
14.Mickens R.E. Nonstandard Finite Difference Models of Differential Equations. Singapore: World Scientific, 1993. 264 p.
15. Applications of Nonstandard Finite Difference Schemes. Edited by R.E. Mickens. Singapore: World Scientific, 2000. 264 p. ISBN: 978-981-02-4133-9.
16. Advances in the Applications of Nonstandard Finite Difference Schemes. Edited by R.E. Mickens. Singapore: World Scientific, 2005. 664 p.
17. Tarasov V.E. Exact discrete analogs of derivatives of integer orders: Differences as infinite series // Journal of Mathematics, 2015. Vol. 2015. Article ID 134842. 8 p. DOI: 10.1155/2015/134842.
18. Tarasov V.E. Exact discretization by Fourier transforms // Communications in Nonlinear Science and Numerical Simulation, 2016. Vol. 37. P. 31-61. DOI: 10.1016/j.cnsns.2016.01.006.
19. Тарасов В.Е. Точные конечные разности: краткий обзор // Альманах современной науки и образования, 2016. № 7 (109). С. 105-108. [Электронный ресурс]. Режим доступа: http://www.gramota.net/materials/1/2016/7/27.html/ (дата обращения: 18.07.2017).
20. Tarasov V.E. Lattice fractional calculus // Applied Mathematics and Computation. 2015. Vol. 257. P. 12-33. DOI: 10.1016/j.amc.2014.11.033.
21. Tarasov V.E. Toward lattice fractional vector calculus // Journal of Physics A., 2014. Vol. 47. № 35. Artilce ID 355204. 51 p. DOI: 10.1088/1751-8113/47/35/355204.
22. Tarasov V.E. United lattice fractional integro-differentiation // Fractional Calculus and Applied Analysis. 2016. Vol. 19. No. 3. P. 625-664. DOI: 10.1515/fca-2016-0034.
23. Tarasov V.E. Exact discretization of fractional Laplacian // Computers and Mathematics with Applications, 2017. Vol. 73. № 5. P. 855-863. DOI: 10.1016/j.camwa.2017.01.012.
24. Tarasova V.V., Tarasov V.E. Concept of dynamic memory in economics // Communications in Nonlinear Science and Numerical Simulation, 2018. Vol. 55. P. 127145. DOI: 10.1016/j.cnsns.2017.06.032.
25. Тарасова В.В., Тарасов В.Е. Понятие динамической памяти в экономической теории // Экономика и предпринимательство, 2017. № 6 (83). С. 868-880.
26. Tarasov V.E., Tarasova V. V. Long and short memory in economics: fractional-order difference and differentiation // IRA-International Journal of Management and Social Sciences, 2016. Vol. 5. No. 2. P. 327-334. DOI: 10.21013/jmss.v5.n2.p10.
27. Тарасова В.В., Тарасов В.Е. Обобщение понятий акселератора и мультипликатора для учета эффектов памяти в макроэкономике // Экономика и предпринимательство, 2016. № 10-3 (75-3). С. 1121-1129.
28. Tarasova V.V., Tarasov V.E. Dynamic intersectoral models with power-law memory // Communications in Nonlinear Science and Numerical Simulation, 2018. Vol. 54. P. 100-117. DOI: 10.1016/j.cnsns.2017.05.015.
13
29. Tarasova V.V., Tarasov V.E. Economic growth model with constant pace and dynamic memory // Проблемы современной науки и образования, 2017. № 2 (84). P. 40-45. DOI: 10.20861/2304-2338-2017-84-001.
30. Tarasova V.V., Tarasov V.E. Fractional dynamics of natural growth and memory effect in economics // European Research, 2016. № 12 (23). P. 30-37. DOI: 10.20861/24102873-2016-23-004.
31. Тарасова В.В., Тарасов В.Е. Экономическая модель естественного роста с динамической памятью // Актуальные проблемы гуманитарных и естественных наук, 2017. № 4-2. С. 51-58.
32. Тарасова В.В., Тарасов В.Е. Макроэкономические модели с динамической памятью // Экономика и предпринимательство, 2017. № 3-2 (80-2). С. 26-35.
33. Тарасова В.В., Тарасов В.Е. Эредитарное обобщение модели Харрода-Домара и эффекты памяти // Экономика и предпринимательство, 2016. № 10-2 (75-2). С. 72-78.
34. Тарасова В.В., Тарасов В.Е. Эффекты памяти в эредитарной модели Харрода— Домара // Проблемы современной науки и образования, 2016. № 32 (74). С. 38 -44. DOI: 10.20861/2304-2338-2016-74-002.
35. Тарасова В.В., Тарасов В.Е. Кейнсианская модель экономического роста с памятью // Экономика и управление: проблемы, решения, 2016. № 10-2 (58). С. 21-29.
36. Тарасова В.В., Тарасов В.Е. Эффекты памяти в эредитарной модели Кейнса // Проблемы современной науки и образования, 2016. № 38 (80). С. 56-61. DOI: 10.20861/2304-2338-2016-80-001.
37. Тарасова В.В., Тарасов В.Е. Динамические межотраслевые модели с памятью, обобщающие модель Леонтьева // Экономика и предпринимательство, 2017. № 2-1 (79-1). С. 913-924.
38. Тарасова В.В., Тарасов В.Е. Хронологическая экспонента для процессов с памятью и динамические межотраслевые модели экономики // Наука и образование сегодня, 2017. № 4 (15). С. 29-39.