Пі-тэарэма

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

Π-тэарэма (пі-тэарэма) — асноўная тэарэма аналізу размернасцей. Тэарэма сцвярджае, што калі маецца залежнасць паміж 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.