Аннотация:
с целью включить в рассмотрение диффузии с нерегулярными коэффициентами. Основным результатом упомянутой работы является верификационная теорема. Решения модифицированной задачи со свободной границей позволяют найти решения задачи оптимальной остановки. В этой работе мы устанавливаем, что верно и обратное: решения задачи оптимальной остановки являются решениями модифицированной задачи со свободной границей. Таким образом, модифицированная задача со свободной границей не “теряет” решений соответствующей задачи оптимальной остановки. В частности, мы доказываем, что в нашей ситуации гладкое склеивание всегда имеет место. В заключительной части статьи обсуждаются подобные вопросы для подхода, основанного на понятии вязких решений (viscosity solutions), и описывается преимущество модифицированной задачи со свободной границей.
Ключевые слова:оптимальная остановка, задача со свободной границей, одномерная диффузия, условия Энгельберта–Шмидта, локальное время, формула для времени пребывания, формула Ито–Танака, вязкое решение (viscosity solution) одномерного обыкновенного дифференциального уравнения второго порядка.