Здесь представлено доказательство из пособия:
Чистяков С.В., Ишханова М.В. Математические модели выбора налоговых шкал. СПб., 1998.
Естественно, что нумерация формул другая. Я только исправил те номера, где ссылка на формулы из моей книги. Кроме того, в приводимом фрагменте пособия функция выигрыша обозначена не через T, а через S.
Р.О. Смирнов.
Сергей Владимирович Чистяков,
Марина Владимировна Ишханова
МАТЕМАТИЧЕСКИЕ МОДЕЛИ ВЫБОРА НАЛОГОВЫХ ШКАЛ
Учебное пособие
Зав. редакцией Г.Чередниченко
Редактор Ф. Бастиан
Техн. редактор Л.Иванова
Лицензия ЛР № 040050 от 15.08.96.
Подписано в печать с оригинала-макета 17.06.98. Ф-т 60  84 / 16.
Печать офсетная. Усл.печ.л. 3,02. Уч.-изд. л. 2,85.
Тираж 200 экз. Заказ №
Редакция оперативной подготовки
учебно-методических и научных изданий
Издательства Санкт-Петербургского университета.
199034, С.-Петербург, Университетская наб., 7/ 9.
Центр оперативной полиграфии
Санкт-петербургского университета.
199034, С.-Петербург, наб. Макарова, 6 .
Литература
Инструкция № 35 по применению закона Российской Федерации о подоходном налоге с физических лиц с изменениями и дополнениями. М.: Изд-во “Ось-89”, 1995. 96 с.
Your Federal Income Tax. Publication 17. IRS, 1990.
Львов Ю.А. Основы экономики и организации бизнеса. СПб.: ГМП “Формика”, 1992. 383 с.
Смирнов Р.О., Чистяков С.В. О ставках налогообложения как инструменте государственного регулирования // Экономика и мат. методы. 1993. Т.29. Вып.2. С. 268–274.
Филиппов А.Ф. Дифференциальные уравнения с разрывной правой частью. М.: Наука, 1985. 224 с.
Понтрягин Л.С., Болтянский В.Г., Гамкрелидзе Р.В., Мищенко Е.Ф. Математическая теория оптимальных процессов. М.:Наука, 1969. 392 с.
Рудин У. Основы математического анализа. М.: Мир, 1976. 319 c.
Зангвил У.И. Нелинейное программирование: Единый подход: Пер.с англ. М.: Сов. радио, 1973. 312 с.
Пшеничный Б.Н., Данилин Ю.М. Численные методы в экстремальных задачах. М.: Наука, 1975. 96 с.
Оглавление
Литература 4
§ 5. Решение вспомогательной задачи оптимального управления 11
§ 6. Исследование теоретико-игровой модели 17
С целью доказательства того, что в игре Г существует доминирующая стратегия 1-го игрока, запишем формулу (2.1.14) с учетом условий (2.1.17) в следующем виде:
	
,	(2.1.21)
где 
.
Теперь рассмотрим “усеченную”
антагонистическую игру 
,
в которой  множество стратегий 1-го
(2-го) игрока совпадает с множеством
всех
функций, каждая их которых представляет
собой сужение на промежуток 
той или иной функции 
,
а функция выигрыша 
имеет вид
	
,
.
Из определения игр 
и 
следует, что если будет доказано
существование доминирующей стратегии
1-го игрока 
в игре 
,
то стратегия 
такая, что
	
	(2.1.22)
будет доминирующей стратегией 1-го
игрока в игре 
.
Эту стратегию 
естественно считать оптимальной
модельной шкалой средних ставок налога
при заданных параметрах 
,
,
,
,
.
Для доказательства существования
доминирующей стратегии 1-го игрока в
игре 
зафиксируем произвольную стратегию
2-го игрока 
и рассмотрим задачу на максимум
функционала
	
,	(2.1.23)
где 
.	
Очевидно, что если будет доказано, что
задача имеет решение, не зависящее от
выбранной функции 
,
то это решение будет доминирующей
стратегией 1-го игрока в игре 
.
Докажем это сначала в том случае, когда
дифференцируема и имеет при почти всех
положительную производную 
.
В этом случае интеграл Стилтьеса сводится
к обычному интегралу Римана:
	
.
Поэтому задача на максимум функционала (2.1.23) при ограничениях (2.1.15) – (2.1.17) равносильна следующей задаче оптимального управления:
	
,	(4.6)
	
,	(4.7)
	
	(4.8)
	
,
	
,	(4.9)
	
	(4.10)
	
.
Выясним условия существования допустимого управления в этой задаче, а, следовательно, непустоты множества стратегий 1-го игрока в игре .1 С этой целью сделаем в задаче (4.6) – (4.10) замену
	
,	(4.11)
	
,	(4.12)
	
,	(4.13)
	
,	(4.14)
	
.	(4.15)
В результате этой замены задача (4.6) – (4.10) примет вид
	
,	(4.16)
	
,	(4.17)
	
,	(4.18)
	
,	(4.19)
	
	(4.20)
	
.
Очевидно, что если будет установлено условие существования допустимого управления в задаче (4.16) – (4.20), то, пользуясь зависимостями (4.11) – (4.15) между функциями и параметрами этой задачи и функциями и параметрами задачи (4.6) – (4.10), будет установлено и условие существования допустимого управления в задаче (4.6) – (4.10).
Проинтегрируем уравнение (4.17) с начальным
условием (4.19) для произвольного допустимого
управления 
.
В итоге получим
	
.	(4.21)
Рассмотрим два постоянных управления
	
,
и, соответственно,
	
,
.
Эти управления могут и не быть допустимыми. По формуле (4.21) найдем соответствующие им решения уравнения (4.17) с начальным условием (4.19)
	
,	(4.22)
	
.	(4.23)
Поскольку предполагается, что 
при почти всех 
,
то для решений (4.21), (4.22) и (4.23) будет
справедливо неравенство
	
.
Отсюда с учетом формул (4.22) и (4.23) при 
,
получим
	
.	(4.24)
Поэтому если здесь управление 
является допустимым в задаче (4.16) –
(4.20), т.е. если 
,
то должно выполняться неравенство
	
.	(4.25)
Очевидно, верно и обратное, т.е. если справедливо это неравенство, то в задаче (4.16) – (4.20) существует допустимое управление. Действительно, с учетом формул (4.22) и (4.23) неравенство (4.25) может быть переписано в виде
	
,	(4.26)
а это с учетом определения решений 
и 
,
а также с учетом теоремы о непрерывной
зависимости решений дифференциального
уравнения от параметров означает, что
в задаче (4.16) – (4.20) существует, и при
этом постоянное, допустимое управление
,
.
Таким образом, справедливо следующее утверждение.
Лемма 1. Для того чтобы в задаче (4.16) – (4.20) существовало допустимое управление, необходимо и достаточно, чтобы выполнялись неравенства (4.25).
Замечание 1. Если одно из нестрогих неравенств (4.25) выполняется как равенство, то, как следует из вывода этих неравенств, в задаче (4.16) – (4.20) существует единственное, с точностью до эквивалентности измеримых по Лебегу функций, допустимое управление. А именно этим единственным допустимым управлением будет постоянное управление , если как равенство выполняется левое из неравенств (4.25), и, соответственно, им будет постоянное управление , если как равенство выполняется правое из неравенств (4.25).
Замечание 2. Справедливо и обратное
утверждение к утверждению, сформулированному
в замечании 1. А именно если одно из
постоянных управлений 
или 
является допустимым в задаче  (4.16) –
(4.20), то в первом случае левое из  неравенств
будет выполняться как равенство, а во
втором, соответственно, правое из этих
неравенств будет выполняться как
равенство. Причем в обоих этих случаях
других допустимых управлений, с точностью
до эквивалентности измеримых по Лебегу
функций, в задаче (4.16) – (4.20) нет.
Замечание 3. Если одно из нестрогих
неравенств (4.25) выполняется как равенство,
то с учетом замечания 1 одно из указанных
в нем управлений и будет оптимальным
(в силу  единственности допустимого
управления). В этом случае оптимальное
управление, очевидно, не зависит от
выбранной ранее функции 
.
В силу имеющихся связей (4.11) – (4.15) между задачами (4.6) – (4.10) и (4.16) – (4.20) из леммы 1 в качестве следствия получим следующее утверждение.
Лемма 2. Для того чтобы в задаче (4.6) – (4.10) существовало допустимое управление, необходимо и достаточно, чтобы выполнялось следующее неравенство:
	
.
	(4.27)
Значение этого условия в конечном итоге
состоит в том, что оно позволяет проверить,
корректно ли поставлена исходная задача
о построении оптимальной налоговой
шкалы. В частности, если для выбранных
каким-то образом параметров 
,
,
,
,
неравенство (4.27) не выполняется, то
необходимо скорректировать выбор всех
или некоторых из этих параметров.
