Стабильность материи - NiNa.Az

Стабильность материи (стабильность вещества) — задача строгого доказательства того, что большое количество заряженных квантовых частиц может сосуществовать и образовывать макроскопические объекты, такие как обычная материя. Первое доказательство было предоставлено Фриманом Дайсоном и Эндрю Ленардом в 1967—1968 годах, но более короткое и более концептуальное доказательство было найдено позже Эллиоттом Либом и Уолтером Тиррингом в 1975 году.

Предыстория и история

В статистической механике существование макроскопических объектов обычно объясняется поведением энергии или свободной энергии по отношению к полному числу ${\displaystyle N}$ частиц. Точнее, они должены вести себя линейно в зависимости от ${\displaystyle N}$ для больших значений ${\displaystyle N}$ (термодинамическом пределе). В самом деле, если свободная энергия ведёт себя как ${\displaystyle N^{a}}$ для некоторых ${\displaystyle a\neq 1}$, то выливание двух стаканов воды даст энергию, пропорциональную ${\displaystyle (2N)^{a}-2N^{a}=(2^{a}-2)N^{a}}$, что представляет собой огромную величину для больших ${\displaystyle N}$. Система называется устойчивой второго рода или термодинамически устойчивой, когда (свободная) энергия ограничена снизу линейной функцией от ${\displaystyle N}$. Верхние границы обычно легко показать в приложениях, и поэтому люди больше работали над доказательством нижних оценок.

Пренебрегая другими силами, разумно предположить, что обычная материя состоит из отрицательных и положительных нерелятивистских зарядов (электронов и ядер), взаимодействующих исключительно посредством кулоновской силы. Конечное число таких частиц всегда коллапсирует в классической механике из-за бесконечной глубины электронно-ядерного притяжения, но может существовать в квантовой механике благодаря принципу неопределенности Гейзенберга. Доказательство того, что такая система термодинамически устойчива, называется проблемой стабильности материи, и это очень сложно доказать из-за большого радиуса действия кулоновского потенциала. Стабильность должна быть следствием эффектов экранирования, но их трудно измерить количественно.

Пусть

${\displaystyle H_{N,K}=-\sum _{i=1}^{N}{\frac {\Delta _{x_{i}}}{2}}-\sum _{k=1}^{K}{\frac {\Delta _{R_{k}}}{2M_{k}}}-\sum _{i=1}^{N}\sum _{k=1}^{K}{\frac {z_{k}}{|x_{i}-R_{k}|}}+\sum _{1\leq i<j\leq N}{\frac {1}{|x_{i}-x_{j}|}}+\sum _{1\leq k<m\leq K}{\frac {z_{k}z_{m}}{|R_{k}-R_{m}|}}}$

— квантовый гамильтониан ${\displaystyle N}$ электронов и ${\displaystyle K}$ ядер с зарядами ${\displaystyle z_{1},...,z_{K}}$ и массами ${\displaystyle M_{1},...,M_{K}}$ в атомных единицах. Здесь ${\displaystyle \Delta =\nabla ^{2}=\sum _{j=1}^{3}\partial _{jj}}$ — лапласиан, который является квантовым оператором кинетической энергии. При нулевой температуре вопрос состоит в том, будет ли энергия основного состояния (минимум спектра ${\displaystyle H_{N,K}}$) ограничена снизу константой, умноженной на общее число частиц:

${\displaystyle E_{N,K}=\min \sigma (H_{N,K})\geq -C(N+K)\,.}$

Постоянная ${\displaystyle C}$ может зависеть от наибольшего числа спиновых состояний для каждой частицы, а также наибольшего значения заряда ${\displaystyle z_{k}}$. В идеале она не должна зависеть от масс ${\displaystyle M_{1},...,M_{K}}$, чтобы иметь возможность рассматривать предел бесконечной массы, то есть в классическом пределе.

Дайсон показал в 1967 году, что если все частицы являются бозонами, то неравенство (1) не может быть верным и система термодинамически неустойчива. Фактически позже было доказано, что в этом случае энергия зависит как-то от ${\displaystyle N^{7/5}}$ вместо того, чтобы быть линейной функцией от ${\displaystyle N}$. Поэтому важно, чтобы положительные или отрицательные заряды были фермионами. Другими словами, устойчивость материи есть следствие принципа запрета Паули. В реальной жизни электроны действительно являются фермионами, но найти правильный способ использовать принцип Паули и доказать стабильность оказалось чрезвычайно сложно. Майкл Фишер и Дэвид Рюэль формализовали эту гипотезу в 1966 году и предложили бутылку шампанского любому, кто сможет её доказать. Дайсон и Ленард нашли доказательство (1) год спустя и поэтому выиграли пари.

Как было сказано ранее, устойчивость является необходимым условием существования макроскопических объектов, но не означает непосредственно существования термодинамических функций. Действительно, нужно показать, что энергия действительно линейно зависит от числа частиц. Основываясь на результате Дайсона — Ленарда, эта задача была остроумно решена Эллиоттом Либом и Джоэлом Лебовицем в 1972 году.

Доказательство Дайсона — Ленарда «чрезвычайно сложное и трудное» и опирается на глубокие и утомительные аналитические оценки. Полученная константа ${\displaystyle C}$ в (1) также было очень большим. В 1975 году Эллиотт Либ и Вальтер Тирринг нашли более простое и концептуальное доказательство, основанное на спектральном неравенстве, которое теперь называется . Они вычислили постоянную ${\displaystyle C}$, которая была на несколько порядков меньше постоянной Дайсона — Ленарда и имела реалистичное значение. Они пришли к окончательному неравенству

${\displaystyle E_{N,K}\geq -0.231q^{\frac {2}{3}}N\left(1+2.16Z(K/N)^{\frac {1}{3}}\right)^{2}\,,}$

где ${\displaystyle Z=\max(z_{k})}$ — самый большой ядерный заряд и ${\displaystyle q}$ — число электронных спиновых состояний равное 2. Поскольку ${\displaystyle N^{1/3}K^{2/3}\leq N+K}$, это даёт желаемую линейную нижнюю границу (1). Идея Либа — Тирринга заключалась в том, чтобы ограничить квантовую энергию снизу по методу Томаса — Ферми. Последний всегда устойчив благодаря теореме Эдварда Теллера, которая утверждает, что атомы никогда не образуют связи в теории Томаса — Ферми. Новое использовалось для ограничения квантовой кинетической энергии электронов через кинетическую энергию Томаса — Ферми равную ${\displaystyle \int _{\mathbb {R} ^{3}}\rho (x)^{\frac {5}{3}}d^{3}x}$. Теорема Теллера об отсутствии связных состояний фактически также использовалась для ограничения снизу полного кулоновского взаимодействия в терминах более простой энергии Хартри, появляющейся в теории Томаса — Ферми. Говоря о доказательстве Либа — Тирринга, Фримен Дайсон писал позже

″Ленард и я нашли доказательство стабильности материи в 1967 году. Наше доказательство было настолько сложным и неясным, что побудило Либа и Тирринга найти первое достойное доказательство. (. . . ) Почему наше доказательство было таким плохим, а их — таким хорошим? Причина проста. Мы с Ленардом начали с математических трюков и прорубили себе путь через лес неравенств без какого-либо физического понимания. Либ и Тирринг начали с физического понимания и затем нашли подходящий математический язык, чтобы сделать своё понимание строгим. Наше доказательство зашло в тупик. Это были ворота в новый мир идей.″

Подход Либа — Тирринга породил множество последующих работ и расширений на (псевдо-)релятивистские системы, магнитные поля, квантованные поля и двумерные дробную статистику (анионы). Также изучались и улучшалась с годами форма ограничения (1). Например, можно получить константу, не зависящую от числа ${\displaystyle K}$ ядер.

Примечания

1. Dyson, Freeman J. (March 1967). Stability of Matter. I. Journal of Mathematical Physics. 8 (3): 423–434. Bibcode:1967JMP.....8..423D. doi:10.1063/1.1705209.
2. Lenard, A. (May 1968). Stability of Matter. II. Journal of Mathematical Physics. 9 (5): 698–711. Bibcode:1968JMP.....9..698L. doi:10.1063/1.1664631.
3. Lieb, Elliott H. (1975-09-15). Bound for the Kinetic Energy of Fermions Which Proves the Stability of Matter. Physical Review Letters. 35 (11): 687–689. Bibcode:1975PhRvL..35..687L. doi:10.1103/PhysRevLett.35.687.
4. Ruelle, David. Statistical Mechanics: Rigorous Results. — World Scientific, April 1999. — ISBN 978-981-02-3862-9. — doi:10.1142/4090.
5. Dyson, Freeman J. (August 1967). Ground‐State Energy of a Finite System of Charged Particles. Journal of Mathematical Physics. 8 (8): 1538–1545. Bibcode:1967JMP.....8.1538D. doi:10.1063/1.1705389.
6. Conlon, Joseph G. (September 1988). TheN 7/5 law for charged bosons. Communications in Mathematical Physics. 116 (3): 417–448. Bibcode:1988CMaPh.116..417C. doi:10.1007/BF01229202.
7. Lieb, Elliott H. (December 2004). Ground State Energy of the Two-Component Charged Bose Gas. Communications in Mathematical Physics. 252 (1–3): 485–534. arXiv:math-ph/0311010. Bibcode:2004CMaPh.252..485L. doi:10.1007/s00220-004-1144-1.
8. Fisher, Michael E. (February 1966). The Stability of Many‐Particle Systems. Journal of Mathematical Physics. 7 (2): 260–270. Bibcode:1966JMP.....7..260F. doi:10.1063/1.1704928.
9. Dyson, Freeman. A bottle of champagne to prove the stability of matter  (неопр.). Youtube. Дата обращения: 22 июня 2022. Архивировано 22 июня 2022 года.
10. Lieb, Elliott H (December 1972). The constitution of matter: Existence of thermodynamics for systems composed of electrons and nuclei. Advances in Mathematics. 9 (3): 316–398. doi:10.1016/0001-8708(72)90023-0.
11. Lieb, Elliott H. (2015-12-31). Inequalities for the Moments of the Eigenvalues of the Schrodinger Hamiltonian and Their Relation to Sobolev Inequalities. Studies in Mathematical Physics: Essays in Honor of Valentine Bargmann: 269–304. doi:10.1515/9781400868940-014. ISBN 978-1-4008-6894-0.
12. Lieb, Elliott H. (1973-09-10). Thomas-Fermi Theory Revisited. Physical Review Letters. 31 (11): 681–683. Bibcode:1973PhRvL..31..681L. doi:10.1103/PhysRevLett.31.681. Архивировано 31 июля 2023. Дата обращения: 31 июля 2023.
13. Lieb, Elliott H (January 1977). The Thomas-Fermi theory of atoms, molecules and solids. Advances in Mathematics. 23 (1): 22–116. doi:10.1016/0001-8708(77)90108-6.
14. Lieb, Elliott H. (1981-10-01). Thomas-fermi and related theories of atoms and molecules. Reviews of Modern Physics. 53 (4): 603–641. Bibcode:1981RvMP...53..603L. doi:10.1103/RevModPhys.53.603.
15. Lieb, Elliott H. The Stability of Matter: From Atoms to Stars: Selecta of Elliott H. Lieb / Thirring. — Springer, 2005. — ISBN 978-3-540-22212-5. — doi:10.1007/b138553. Архивная копия от 11 ноября 2020 на Wayback Machine
16. Dyson, Freeman. Lieb and Thirring clean up my matter stability proof  (неопр.). youtube. Дата обращения: 22 июня 2022. Архивировано 22 июня 2022 года.
17. Lieb, Elliott H. (June 1988). The stability and instability of relativistic matter. Communications in Mathematical Physics. 118 (2): 177–213. Bibcode:1988CMaPh.118..177L. doi:10.1007/BF01218577.
18. Lieb, Elliott H. (October 1997). Stability and instability of relativistic electrons in classical electromagnetic fields. Journal of Statistical Physics. 89 (1–2): 37–59. arXiv:cond-mat/9610195. Bibcode:1997JSP....89...37L. doi:10.1007/BF02770753.
19. Frank, Rupert L. (2007-08-20). Stability of Relativistic Matter with Magnetic Fields for Nuclear Charges up to the Critical Value. Communications in Mathematical Physics. 275 (2): 479–489. Bibcode:2007CMaPh.275..479F. doi:10.1007/s00220-007-0307-2.
20. Lieb, Elliott H. (1996-12-01). Stability of relativistic matter via Thomas-Fermi theory. Helvetica Physica Acta. 69 (5–6): 974–984. arXiv:cond-mat/9608060. Bibcode:1996cond.mat..8060L. ISSN 0018-0238. Архивировано 1 апреля 2023. Дата обращения: 31 июля 2023.
21. Fefferman, C (1995-05-23). Stability of Coulomb systems in a magnetic field. Proceedings of the National Academy of Sciences of the United States of America. 92 (11): 5006–5007. Bibcode:1995PNAS...92.5006F. doi:10.1073/pnas.92.11.5006. PMID 11607547.
22. Lieb, Elliott H. (1995-08-07). Stability of Matter in Magnetic Fields. Physical Review Letters. 75 (6): 985–989. arXiv:cond-mat/9506047. Bibcode:1995PhRvL..75..985L. doi:10.1103/PhysRevLett.75.985. PMID 10060179.
23. Bugliaro, Luca (1996-10-21). Stability of Quantum Electrodynamics with Nonrelativistic Matter. Physical Review Letters. 77 (17): 3494–3497. Bibcode:1996PhRvL..77.3494B. doi:10.1103/PhysRevLett.77.3494. PMID 10062234.
24. Fefferman, Charles (1997-12-01). Stability of Ultraviolet-Cutoff Quantum Electrodynamics with Non-Relativistic Matter. Communications in Mathematical Physics. 190 (2): 309–330. Bibcode:1997CMaPh.190..309F. doi:10.1007/s002200050243.
25. Lieb, Elliott H. (2002-07-01). Stability of a Model of Relativistic Quantum Electrodynamics. Communications in Mathematical Physics. 228 (3): 561–588. arXiv:math-ph/0109002. Bibcode:2002CMaPh.228..561L. doi:10.1007/s002200200665.
26. Lundholm, Douglas (June 2014). Local Exclusion and Lieb–Thirring Inequalities for Intermediate and Fractional Statistics. Annales Henri Poincaré. 15 (6): 1061–1107. arXiv:1301.3436. Bibcode:2014AnHP...15.1061L. doi:10.1007/s00023-013-0273-5.
27. Lundholm, Douglas (September 2013). Hardy and Lieb-Thirring Inequalities for Anyons. Communications in Mathematical Physics. 322 (3): 883–908. arXiv:1108.5129. Bibcode:2013CMaPh.322..883L. doi:10.1007/s00220-013-1748-4.
28. Hainzl, Christian (June 2009). The thermodynamic limit of quantum Coulomb systems Part II. Applications. Advances in Mathematics. 221 (2): 488–546. doi:10.1016/j.aim.2008.12.011.

Литература

• The Stability of Matter: From Atoms to Stars. Selecta of Elliott H. Lieb. Edited by W. Thirring, and with a preface by F. Dyson. Fourth edition. Springer, Berlin, 2005.
• Elliott H. Lieb and , The Stability of Matter in Quantum Mechanics. Cambridge Univ. Press, 2010.
• Elliott H. Lieb, The stability of matter: from atoms to stars. Bull. Amer. Math. Soc. (N.S.) 22 (1990), no. 1, 1-49.