Пі-тэарэма

З пляцоўкі Вікіпедыя.
Перайсці да: рух, знайсці

Π-тэарэма (пі-тэарэма) — асноўная тэарэма аналізу памернасцяў. Тэарэма сцвярджае, што калі маецца залежнасць паміж n фізічнымі велічынямі, якая не мяняе свайго выгляду пры змене маштабаў адзінак у пэўным класе сістэм адзінак, то яна эквівалентная залежнасці паміж, наогул кажучы, меншым лікам p=n-k беспамерных велічынь, дзе k — найбольшая колькасць велічынь з незалежнымі памернасцямі сярод зыходных n велічынь. Π-тэарэма дазваляе ўсталяваць агульную структуру залежнасці, вынікаючую толькі з патрабавання інварыянтавасці фізічнай залежнасці пры змене маштабаў адзінак, нават калі канкрэтны выгляд залежнасці паміж зыходнымі велічынямі невядомы.

Варыянты назвы[правіць | правіць зыходнік]

У рускамоўнай літаратуры па тэорыі памернасцяў і мадэляванні звычайна выкарыстоўваецца назва π-тэарэма (Π-тэарэма, пі-тэарэма)[1][2][3][4], якая пайшла ад традыцыйнага абазначэння беспамерных камбінацый з дапамогай (вялікай або маленькай) грэцкай літары «пі». У англамоўнай літаратуры тэарэму звычайна звязваюць з імем Бакінгема («Buckingham π theorem»), а ў франкамоўнай - з імем Вашы («Théorème de Vaschy-Buckingham»).

Гістарычная даведка[правіць | правіць зыходнік]

Відаць, упершыню пі-тэарэма была даказаная Ж.Бертранам [5] у 1878. Бертран разглядае прыватныя прыклады задач з электрадынамікі і тэорыі цеплаправоднасці, аднак яго пераказ ўтрымлівае ў выразным выглядзе ўсе асноўныя ідэі сучаснага доказы пі-тэарэмы, а таксама яснае ўказанне на прымяненне пі-тэарэмы для мадэлявання фізічных з'яў. Шырокую вядомасць методыка прымянення пі-тэарэмы («the method of dimensions") атрымала дзякуючы працам Рэлея (першае прымяненне пі-тэарэмы ў агульным выглядзе [6] да залежнасці падзення ціску ў трубаправодзе ад вызначальных параметраў адносіцца, верагодна, да 1892 [7], Эўрыстычны доказ з выкарыстаннем раскладання ў ступенны шэраг - да 1894[8]).

Фармальнае абагульненне пі-тэарэмы на выпадак адвольнага ліку велічынь было ўпершыню сфармулявана Вашы у 1892 [9], а пазней і, відаць, незалежна - А. Фэдэрманам [10], Д.Рябушынскім [11] ў 1911 г. і Бакінгемам [12] ў 1914 г. Пасля пі-тэарэма абагульненая Германам Вейлям ў 1926 г.

Фармулёўка тэарэмы[правіць | правіць зыходнік]

Для прастаты ніжэй прыводзіцца фармулёўка для дадатных велічынь q_i.

Выкажам здагадку, што маецца залежнасць паміж n фізічнымі велічынямі q_1, q_2, \ldots, q_n:

f(q_1,q_2,\ldots,q_n)=0,


выгляд якой не змяняецца пры змене маштабаў адзінак у абраным класе сістэм адзінак (напрыклад, калі выкарыстоўваецца клас сістэм адзінак LMT, то выгляд функцыі f не мяняецца пры любых зменах эталонаў даўжыні, часу і масы, скажам пры пераходзе ад вымярэнняў у кілаграмах, метрах і секундах да вымярэннях ў фунтах, цалях і гадзінах).

Абярэм сярод аргументаў функцыі найбольшую сукупнасць велічынь з незалежнымі памернасцямі (такі выбар можна, наогул кажучы, вырабляць рознымі спосабамі). Тады калі лік велічынь з незалежнымі памернасцямі пазначана k і яны занумараваных індэксамі 1, 2, \ldots, k (у адваротным выпадку іх можна перанумараваць), то зыходная залежнасць f эквівалентная залежнасці паміж p=n-k беспамернымі велічынямі \pi_1, \pi_2, \ldots, \pi_p:

F(\pi_1,\pi_2,\ldots,\pi_p)=0,

дзе \pi_i — беспамерныя камбінацыі, атрыманыя з зыходных велічынь, якія засталіся q_{k+1}, q_{k+2}, \ldots, q_n дзяленнем на выбраныя велічыні ў адпаведных ступенях:

\pi_1=\frac{q_{k+1}}{q_1^a\cdot q_2^b\times \ldots\times q_k^z},

\ldots,

\pi_p=\frac{q_n}{q_1^A\cdot q_2^B\times \ldots\times q_k^Z}

(беспамерныя камбінацыі заўсёды існуюць таму, што q_1, q_2, \ldots, q_k — сукупнасць памерна-незалежных велічынь найбольшага памеру, і пры даданні да іх яшчэ адной велічыні атрымліваецца сукупнасць з залежнымі памернасцямі).

Доказ[правіць | правіць зыходнік]

Доказ пі-тэарэмы вельмі просты. Зыходную залежнасць f паміж q_1, q_2, \ldots, q_n можна разглядаць як некаторую залежнасць паміж q_1, q_2, \ldots, q_k і \pi_1, \pi_2, \ldots, \pi_p:

\Phi(q_1, q_2, \ldots, q_k, \pi_1, \pi_2, \ldots, \pi_p)=0,

прычым выгляд функцыі \Phi таксама не змяняецца пры змене маштабаў адзінак. Застаецца заўважыць, што ў сілу памернай незалежнасці велічынь q_1, q_2, \ldots, q_k заўсёды можна абраць такі маштаб адзінак, што гэтыя велічыні стануць роўнымі адзінцы, у той час як \pi_1, \pi_2, \ldots, \pi_p, будучы беспамернымі камбінацыямі, сваіх значэнняў не зменяць, таму пры так абраным маштабе адзінак, а значыць, у сілу інварыянтнасці, і ў любой сістэме адзінак, функцыя \Phi фактычна залежыць толькі ад \\pi_i:

\Phi(1, 1, \ldots, 1, \pi_1, \pi_2, \ldots, \pi_p)\equiv H(\pi_1, \pi_2, \ldots, \pi_p)=0.

Прыватныя выпадкі[правіць | правіць зыходнік]

Прымяненне да ураўнення, вырашанага адносна адной велічыні[правіць | правіць зыходнік]

Часта выкарыстоўваецца варыянт пі-тэарэмы для функцыянальнай залежнасці адной фізічнай велічыні q ад некалькіх іншых q_1, q_2, \ldots, q_n:

q=f(q_1,q_2,\ldots,q_n).

У гэтым выпадку пі-тэарэма сцвярджае, што залежнасць эквівалентная сувязі

\pi=F(\pi_1,\pi_2,\ldots,\pi_p),

дзе

\pi=\frac{q}{q_1^\alpha\cdot q_2^\beta\times \ldots\times q_k^\omega},

а \pi_i вызначаюцца так жа, як і вышэй.

Выпадак, калі пі-тэарэма дае выгляд залежнасці з дакладнасцю да множніка[правіць | правіць зыходнік]

У адным важным прыватным выпадку, калі ў залежнасці

q=f(q_1,q_2,\ldots,q_n)

ўсе аргументы маюць незалежныя памернасці, прымяненне пі-тэарэмы дае

\pi=\frac{q}{q_1^\alpha\cdot q_2^\beta\times \ldots\times q_k^\omega}=\text{const},

гэта значыць выгляд функцыянальнай залежнасці вызначаецца з дакладнасцю да канстанты. Значэнне канстанты метадамі тэорыі памернасцяў не вызначаецца, і для яе знаходжання трэба выкарыстоўваць эксперыментальныя або іншыя тэарэтычныя метады.

Заўвагі аб прымяненні пі-тэарэмы[правіць | правіць зыходнік]

  • Выбар аргументаў з незалежнымі памернасцямі, наогул кажучы, можна рабіць рознымі спосабамі, у выніку чаго пры ўжыванні пі-тэарэмы фармальна могуць атрымлівацца розныя выразы. Аднак на самай справе атрымліваюцца вынікі эквівалентныя, і з адной формы запісу можна атрымаць іншы шляхам пераходу да камбінацый беспамерных параметраў.
  • У фармулёўцы пі-тэарэмы патрабаванне інварыянтавасці залежнасці з'яўляецца важным. Калі, напрыклад, пры працы ў Міжнароднай сістэме адзінак (СІ) у эксперыменце была атрымана залежнасць шляху s, пройдзенага падальным целам, ад часу t
s=\frac{9{,}81\cdot t^2}{2},
то ў такім выглядзе яна не задавальняе умовам пі-тэарэмы.

Прымяненне пі-тэарэмы для фізічнага мадэлявання[правіць | правіць зыходнік]

Пі-тэарэма прымяняцца для фізічнага мадэлявання розных з'яў у аэрадынаміцы, гідрадынаміцы, тэорыі пругкасці, тэорыі ваганняў. Мадэляванне заснавана на тым, што калі для двух прыродных працэсаў («мадэльнага» і «натурного», напрыклад для патоку паветра ў вакол мадэлі самалёта ў аэрадынамічнай трубе і патоку паветра вакол рэальнага самалёта) беспамерныя аргументы (іх называюць крытэрыі падабенства) у залежнасці

\pi=F(\pi_1,\pi_2,\ldots,\pi_p)

супадаюць, што можа быць ажыццёўлена за кошт спецыяльнага выбару параметраў «мадэльнага» аб'екта, то і беспамерныя значэнні функцыі \pi таксама супадаюць. Гэта дазваляе «пералічваць» памерныя эксперыментальныя значэнні параметраў ад «мадэльнага» аб'екта да «натурных» нават калі выгляд функцыі F невядомы. Калі супадзенні ўсіх крытэраў падабенства для «мадэльнага» і «натурнага» аб'ектаў дасягнуць немагчыма, то часта звяртаюцца да набліжанаму мадэляванні, калі дасягаецца падабенства толькі па крытэрыях, якія адлюстроўваюць уплыў найбольш істотных фактараў, тады як ўплыў другарадных фактараў ўлічваецца набліжана на аснове дадатковых меркаванняў (не вынікаючых з тэорыі памернасцяў).

Прыклады прымянення пі-тэарэмы[правіць | правіць зыходнік]

  • Частата ваганняў звону
Выпраменьванне гуку звонам адбываецца ў выніку яго ўласных ваганняў, якія могуць апісвацца ў рамках лінейнай тэорыі пругкасці. Частата f гуку, які выдаецца,залежыць ад шчыльнасці \rho, модуля Юнга E і каэфіцыента Пуасона \nu металу, з якога зроблены звон, і ад канчатковага ліку геаметрычных памераў l_1, l_2, \ldots, l_N звону:
f=F(\rho,E,\nu,l_1,l_2,\ldots,l_N).
Калі выкарыстоўваецца клас сістэм адзінак LMT, то ў якасці велічынь з незалежнымі памернасцямі можна, напрыклад, выбраць \rho, E м l_1 (выбраныя велічыні, якія ўваходзяць у максімальную памерна-незалежную падсістэму, падкрэслены):
f=F(\underline{\rho},\underline{E_\text{ }},\nu,\underline{l_1},l_2,\ldots,l_N),
і прымяненне пі-тэарэмы дае
\frac{f l_1}{\sqrt{E/\rho}}=G\left(\nu,\frac{l_2}{l_1},\frac{l_3}{l_1},\ldots,\frac{l_N}{l_1}\right).
Калі маюцца два геаметрычна падобных званы з аднаго і таго ж матэрыялу, то для іх аргументы функцыі G супадаюць, таму стаўленне іх частот зваротна прапарцыйна адносінах іх памераў (ці зваротна прапарцыйна кубічнаму кораню з адносіны іх мас). Гэтая заканамернасць пацвярджаецца эксперыментальна [13].
Адзначым, што калі б у якасці велічынь з незалежнымі памернасцямі былі абраныя іншыя велічыні, напрыклад \rho, E і l_2, то прымяненне пі-тэарэмы дало б фармальна іншы вынік
\frac{f l_2}{\sqrt{E/\rho}}=H\left(\nu,\frac{l_1}{l_2},\frac{l_3}{l_2},\ldots,\frac{l_N}{l_2}\right),
Але высновы засталіся б, вядома, тымі ж.
  • Супраціўленне пры павольным руху шара ў вязкай вадкасці
Пры павольным (пры малых ліках Рэйнальдса) стацыянарным руху сферы ў вязкай вадкасці велічыня сілы супраціўлення F залежыць ад вязкасці вадкасці \mu, а таксама ад хуткасці V і радыусу R сферы (шчыльнасць вадкасці не ўваходзіць у лік вызначальных параметраў, так як пры малых хуткасцях ўплыў інерцыі вадкасці занядбана мала). Ужываючы да залежнасці
F=f(\mu,V,R)
пі-тэарэму, атрымліваем
\frac{F}{\mu V R}=\text{const},
г.зн. ў гэтай задачы сіла супраціўлення знаходзіцца з дакладнасцю да канстанты. Значэнне канстанты з меркаванняў памернасці ці не знаходзіцца (рашэнне адпаведнай гідрадынамічнай задачы дае для канстанты значэнне 6\pi, якое пацвярджаецца эксперыментальна).

Гл. таксама[правіць | правіць зыходнік]

Спасылкі[правіць | правіць зыходнік]

Зноскі

  1. Баренблатт Г. И. Подобие, автомодельность, промежуточная асимптотика. Теория и приложения к геофизической гидродинамике — Л., 1978. — С. 25. — 208 с.
  2. Седов Л. И. Методы подобия и размерности в механике — М., 1981. — С. 31. — 448 с.
  3. Бриджмен П. Анализ размерностей — Ижевск, 2001. — С. 45. — 148 с.
  4. Хантли Г. Анализ размерностей — М., 1970. — С. 6. — 176 с. (прадмова да рускага выдання)
  5. Bertrand J. Sur l'homogénété dans les formules de physique // Comptes rendus. — 1878. — Т. 86. — № 15. — С. 916-920.
  6. Калі пасля прымянення пі-тэарэмы ўзнікае адвольная функцыя ад беспамерных камбінацый.
  7. Шаблон:Артыку
  8. Теория звука — М., 1955 Т. 2. — С. 348. — 476 с.
  9. Vaschy A. {{{загаловак}}} // Annales Télégraphiques. — 1892. — Т. 19. — С. 25–28. Цытаты з артыкулу Вашы з фармулёўкай пі-тэарэмы прыводзяцца у арткуле: Macagno E. O. Historico-critical review of dimensional analysis // Journal of the Franklin Institute. — 1971. — В. 6. — Т. 292.
  10. Федерман А. О некоторых общих методах интегрирования уравнений с частными производными первого порядка // Известия Санкт-Петербургского политехнического института императора Петра Великого. Отдел техники, естествознания и математики. — 1911. — В. 1. — Т. 16. — С. 97-155.
  11. Riabouchinsky D. Мéthode des variables de dimension zéro et son application en aérodynamique // L’Aérophile. — 1911. — С. 407–408.
  12. Buckingham E. On physically similar systems: illustrations of the use of dimensional equations // Physical Review. — 1914. — Т. 4. — С. 345-376.
  13. Пухначёв Ю. Рассеяние, затухание, рефракция — три ключа к разгадке парадокса // Наука и жизнь. — 1983. — № 2. — С. 117–118.