Определения
ОпределятьВт( 2 | 1 )
как вероятность перехода в единицу времени из1
к2
. Это дает нам основное уравнение
∂тп ( а , м ) знак равно ∫∫( Вт( а , м |а′,м′) р (а′,м′) − Вт(а′,м′| а,м)р(а,м) ) dа′гм′
Определите дальше, для удовольствия,Вт (а,м |а′,м′) = Вт( а , м |а′,м′) − δ( а -а′) δ( м -м′) ∫∫Вт(а«,м«| а,м) га«гм«
. При прямой замене имеем∂тр = ∫∫Вт (а,м |а′м′) р (а′,м′) да′гм′
, операцию, которую мы обозначаем через
∂тр = Вт р
Теперь условие непрерывного детального баланса:
Вт( а , м |а′,м′)пэкв.(а′,м′) = Вт(а′,м′| а,м)пэкв.( а , м )
гдепэкв.( а , м )
- равновесное распределение вероятностей, определяемое уравнениемВтпэкв.= 0
. Подробный баланс можно записать в виде
Вт( а , м |а′,м′)пэкв.( а , м )"="Вт(а′,м′| а,м)пэкв.(а′,м′)
Теперь мы можем умножить это на некоторую функциюф( а , м )
и интегрировать болееа
им
. Если мы требуем, чтобы отношение выполнялось для всехф
, имеем эквивалентную форму
∫∫Вт( а , м |а′,м′)пэкв.( а , м )ф( а , м ) d а d м знак равно ∫∫Вт(а′,м′| а,м)пэкв.(а′,м′)ф( а , м ) д а д м ,∀ ф
Для симметрии проделаем то же самое с другой функциейг(а′,м′)
:
∫∫∫∫Вт( а , м |а′,м′)пэкв.( а , м )ф( а , м ) г(а′,м′) д а д м да′гм′= ∫∫∫∫Вт(а′,м′| а,м)пэкв.(а′,м′)ф( а , м ) г(а′,м′) д а д м да′гм′,∀ ф, г
Перестановка и метаниеВт
в смеси, мы имеем
∫∫ф( а , м ) ∫ ∫Вт (а,м |а′,м′) г(а′,м′) да′гм′пэкв.( а , м )d а d м=∫∫∫∫Вт (а′,м′| а,м)ж( а , м ) д а д м г (а′,м′)пэкв.(а′,м′)га′гм′,∀ ф, г
Теперь, используя приведенные выше определения, мы заключаем, что подробный баланс выполняется тогда и только тогда, когда
( Вт г, ф) = ( г, Вт ф) ,∀ ф, г
где внутренний продукт определяется как
( г, ф) = ∫∫г( а , м ) ж( а , м )пэкв.( а , м )д а д м
Вывод
Фу. Наконец, пришло время сделать сложную часть. Уравнение Фоккера-Планка, соответствующее вашей паре стохастических дифференциальных уравнений (при условии отсутствия корреляции между источниками шума):
∂тр = -∂а(Фап ) —∂м(Фмр ) +12о2а∂2ар +12о2м∂2мп
Это также удобно определяет операторВт
.
Теперь стратегия состоит в том, чтобы принять( Вт ф, г)
и интегрировать его по частям (только один раз), затем сделать то же самое с( ж, Вт г)
. Наконец, мы собираемся приравнять выражения. Давайте сделаем эти шаги по одному:
( Вт ф, г) = ∫∫( (Фаф−о2а2∂аф)∂а(гпэкв.) +(Фмф−о2м2∂мф)∂м(гпэкв.) ) д а д м
Выписывая производную, имеем внутри интеграла
Фаф∂агпэкв.−Фафг∂апэкв.(пэкв.)2−о2а∂аф∂аг2пэкв.+о2а∂афг∂апэкв.2 (пэкв.)2+Фмф∂мгпэкв.−Фмфг∂мпэкв.(пэкв.)2−о2м∂мф∂мг2пэкв.+о2м∂мфг∂мпэкв.2 (пэкв.)2
Вычитая из этого один раз интегрированный по частям( ж, Вт г)
, все симметричные члены отбрасываются, и у нас остается (после умножения напэкв.
):
(Фа−о2а∂апэкв.2пэкв.) (ф∂аг− г∂аф) + (Фм−о2м∂мпэкв.2пэкв.) (ф∂мг− г∂мф) = 0
Обратите внимание, что слева у нас есть вещи, которые зависят только ота
и на правильные вещи, которые зависят отм
. Это означает, что каждый из них должен быть равен нулю независимо от другого. После нехитрых манипуляций получаем желаемый результат
о2м∂мФа"="о2а∂аФм
Я никогда раньше не видел этого отношения и не нашел ссылки на него. Я немного удивлен, что это выглядит так просто.
Qмеханик
ВДГ