قاعده ایزومتری
الگو:بدون منبع قاعده ایزومتری، یک رابطه مهم در مورد انتگرال کاتوره ای ایتو است، که توسط Kiyoshi Itô کشف شده است. به یاری این قاعده می توان واریانس و کواریانس متغیرهای کاتوره ای ایتو را حساب کرد.
صورت کلی[۱]
گیریم که فرایند وینر باشد و Xt و Yt متغیرهای کاتورهای انتگرالپذیر -سازگار به فیلتراسیون طبیعی وینر ، آنگاه داریم [۲]:
که میانگینگیری بر روی اندازه احتمال وینر است، همچنین داریم:
اثبات: با گسستهسازی که در آن داریم:
قاعده ایزومتری برروی تابع
در حالت کلیتر، با استفاده از لم Stein، میتوان نشان داد که:
که در آن مشتق تابع است.
اثبات:
اینجا نیاز به روشنگری است. برطبق لم Stein اگر و متغیرهای گاووسی با میانگین صفر باشند آنگاه
حال توجه داریم که یک متغیر گاوسی با میانکین صفر (و البته واریانس ) است.