В статье рассматривается система маржирования портфеля из опционов и фьючерсов на срочном рынке с дефолт-менеджментом, основанным на методологии, предложенной рядом авторов изобретения, зарегистрированного в 2004 г. Математическая модель маржирования, т.е. определение требуемого уровня депозитной маржи (гарантийного обеспечения), основана на идеологии гарантированного детерминистского подхода к суперхеджированию: из экономического смысла задачи выводятся уравнения. Новизна статьи состоит в получении формы уравнений Беллмана–Айзекса, удобной для вычислений. Найдены рекуррентные формулы для численной оценки констант Липшица решений уравнений Беллмана–Айзекса, что позволяет следить за точностью вычислений. Построен программный комплекс, позволяющий эффективно выполнять трудоемкую вычислительную задачу решения уравнений Беллмана–Айзекса. На модельных примерах проведены численные эксперименты с целью продемонстрировать эффективность работы предлагаемой системы и выполнение важного теоретического свойства модели — субаддитивности маржи. Полученные результаты подтверждают целесообразность применения предложенной методологии центральным контрагентом для маржирования и урегулирования дефицита маржи при помощи фьючерсных коррекций. На модельном примере иллюстрируется практическая ценность свойства субаддитивности.
