Convex dynamic programming with (bounded) recursive utility

ما برنامه های پویای محدب را با خدمات عمومی (محدود) بازگشتی در نظر می گیریم. قضیه تطبیق تطبیق نتواند زمانی که ابزار جمع کننده از هیچ ویژگی تخفیفی اطاعت نکند. این شکست حتی با جمع آوری های سنتی و مشخصات متقابل مشخص می شود. با این حال، اپراتور بلمن یک نقطه ثابت منحصر به فرد را زمانی که یک سیاست داخلی امکان پذیر است، تایید می کند. این اتفاق می افتد به این دلیل که ارزش های ابزار در برنامه های مصرف داخلی منحصر به فرد است و، زمانی که اختلال در داخل ممکن است امکان پذیر است، می توان از مقادیر کمکی اجتناب کرد.