Продолжу критику использования нормального распределения.
Рассмотрим, как оно появляется в молекулярно-кинетической теории Максвелла.
Пусть
![$f(v)$ $f(v)$](https://dxdy-04.korotkov.co.uk/f/f/1/9/f194c4eb88a14a535a669e7ca44605c782.png)
-плотность распределения вероятности по скоростям частиц
![$v=(v_1,v_2,v_3)$ $v=(v_1,v_2,v_3)$](https://dxdy-04.korotkov.co.uk/f/b/6/2/b6257fed765188f7c335084445fc5ac382.png)
.
Чтобы получить нормальный закон предполагают:
1. изотропность распределения - это значит что
![$f(v_1,v_2,v_3)$ $f(v_1,v_2,v_3)$](https://dxdy-01.korotkov.co.uk/f/c/f/3/cf322cc8abadb64e9dd8131bcd1d18b882.png)
не зависит от направления, все направления для движения равноправны, то есть
![$f(v_1,v_2,v_3)$ $f(v_1,v_2,v_3)$](https://dxdy-01.korotkov.co.uk/f/c/f/3/cf322cc8abadb64e9dd8131bcd1d18b882.png)
есть функция от
![$v^2=v_1^2+v_2^2+v_3^2$ $v^2=v_1^2+v_2^2+v_3^2$](https://dxdy-04.korotkov.co.uk/f/7/3/5/7358971e9e96dacc46564e4e2253769382.png)
,
2. плотность распределения представима в виде
![$f(v_1,v_2,v_3)=f_1(v_1)\cdot f_2(v_2)\cdot f_3(v_3)$ $f(v_1,v_2,v_3)=f_1(v_1)\cdot f_2(v_2)\cdot f_3(v_3)$](https://dxdy-01.korotkov.co.uk/f/4/a/0/4a0a3aa58e8b25a5d612413d68fdde7d82.png)
.
Дифференцируя формулу из Предположения 2 получаем:
![$df= (\frac {f_1'(v_1)}{f_1(v_1)}dv_1+\frac {f_2'(v_2)}{f_2(v_2)}dv_2+\frac {f_3'(v_3)}{f_3(v_3)}dv_3)\cdot f$ $df= (\frac {f_1'(v_1)}{f_1(v_1)}dv_1+\frac {f_2'(v_2)}{f_2(v_2)}dv_2+\frac {f_3'(v_3)}{f_3(v_3)}dv_3)\cdot f$](https://dxdy-02.korotkov.co.uk/f/9/f/5/9f541bff03d136d9af0478ec9509883182.png)
.
Но из изотропности - Предположения 1 следует, что
![$df=0$ $df=0$](https://dxdy-04.korotkov.co.uk/f/7/7/6/77600791768aeed86254eb77aebadf0c82.png)
, если
![$v_1dv_1+v_2dv_2+v_3dv_3=0$ $v_1dv_1+v_2dv_2+v_3dv_3=0$](https://dxdy-03.korotkov.co.uk/f/2/5/1/251c7ee777dfde1ee14ee104458b6e8282.png)
- плотность не меняется, если не меняется квадрат скорости.
Значит вектор
![$(\frac {f_1'(v_1)}{f_1(v_1)},\frac {f_2'(v_2)}{f_2(v_2)},\frac {f_3'(v_3)}{f_3(v_3)})$ $(\frac {f_1'(v_1)}{f_1(v_1)},\frac {f_2'(v_2)}{f_2(v_2)},\frac {f_3'(v_3)}{f_3(v_3)})$](https://dxdy-04.korotkov.co.uk/f/7/4/3/743252abf72f71cd672beda459069b9582.png)
сонаправлен с вектором
![$(v_1,v_2,v_3)$ $(v_1,v_2,v_3)$](https://dxdy-02.korotkov.co.uk/f/9/c/5/9c5b0f7e8518eb15b40f84d83f25cc5582.png)
. Значит
![$\frac {f_1'(v_1)}{v_1f_1(v_1)}=\frac {f_2'(v_2)}{v_2f_2(v_2)}=\frac {f_3'(v_3)}{v_3f_3(v_3)}=a(v_1,v_2,v_3)$ $\frac {f_1'(v_1)}{v_1f_1(v_1)}=\frac {f_2'(v_2)}{v_2f_2(v_2)}=\frac {f_3'(v_3)}{v_3f_3(v_3)}=a(v_1,v_2,v_3)$](https://dxdy-03.korotkov.co.uk/f/a/5/5/a55c7d507a9dc67b8de70d26022c0b9a82.png)
.
Но
![$a(v_1,v_2,v_3)$ $a(v_1,v_2,v_3)$](https://dxdy-02.korotkov.co.uk/f/9/d/8/9d8c32cad80e5ac65f614ba0dea5489482.png)
не зависит ни от
![$v_1$ $v_1$](https://dxdy-01.korotkov.co.uk/f/4/1/9/41922e474070adc90e7c1379c28d22fe82.png)
, ни от
![$v_3$ $v_3$](https://dxdy-01.korotkov.co.uk/f/0/5/c/05c877a200537666fe474d27f67272df82.png)
, ведь она представима в виде
![$\frac {f_2'(v_2)}{v_2f_2(v_2)}$ $\frac {f_2'(v_2)}{v_2f_2(v_2)}$](https://dxdy-01.korotkov.co.uk/f/8/6/2/862b77945b829fc1ca04dc518465a39e82.png)
. Также
![$a(v_1,v_2,v_3)$ $a(v_1,v_2,v_3)$](https://dxdy-02.korotkov.co.uk/f/9/d/8/9d8c32cad80e5ac65f614ba0dea5489482.png)
не зависит от
![$v_2$ $v_2$](https://dxdy-02.korotkov.co.uk/f/5/3/2/53292819177dbb29ba6d92fe3aa2880c82.png)
. Значит это вообще константа.
Таким образом, получается
![$\frac {f_1'(v_1)}{v_1f_1(v_1)}=a, \frac {f_2'(v_2)}{v_2f_2(v_2)}=a, \frac {f_3'(v_3)}{v_3f_3(v_3)}=a$ $\frac {f_1'(v_1)}{v_1f_1(v_1)}=a, \frac {f_2'(v_2)}{v_2f_2(v_2)}=a, \frac {f_3'(v_3)}{v_3f_3(v_3)}=a$](https://dxdy-02.korotkov.co.uk/f/9/f/d/9fd1fd85960808ed0925abb590dd126582.png)
.
Решая дифференциальное уравнение, получаем:
![$f_k(v_k)=C_k \cdot e^{a\frac {v_k^2} 2}$ $f_k(v_k)=C_k \cdot e^{a\frac {v_k^2} 2}$](https://dxdy-01.korotkov.co.uk/f/4/d/8/4d88e9598eb172374e620a6d9edd109b82.png)
Значит
![$f(v)=C\cdot e^{a\frac {v^2} 2}$ $f(v)=C\cdot e^{a\frac {v^2} 2}$](https://dxdy-01.korotkov.co.uk/f/0/a/e/0ae734183356851693f4a4ddf4e5cba182.png)
, где
![$a<0$ $a<0$](https://dxdy-04.korotkov.co.uk/f/7/c/7/7c7d1bd09e333f7d7e5c42872b8f98f182.png)
, чтобы была сходимость.
Итак, из двух предположений вытекает нормальный закон, но если Предположение 1 естественное,
то Предположение 2 никак не обосновано, и кажется, взято с потолка.
Реально введение предположения 2 влечет нормальный закон и наоборот из нормального закона вытекает Предположение 2.
Получается, что нормальный закон введен в МКТ, как произвольный постулат.