버킹엄 θ 정리
Buckingham π theorem공학, 응용 수학, 물리학에서 버킹엄 θ 정리는 차원 해석의 핵심 정리이다.이것은 레일리 차원 분석 방법의 공식화이다.대략적으로, 이 정리는 특정 개수의 물리적 변수를 포함하는 물리적으로 의미 있는 방정식이 있을 경우, 원래의 변수로부터 구성된 p = n2 - kp 차원 없는 매개변수 집합의1 관점에서 원래의 방정식을 다시 쓸 수 있다고 명시한다.(여기서 k는 관련된 물리 치수의 수이며, 특정 매트릭스의 등급으로 취득됩니다.)
이 정리는 방정식의 형태가 아직 알려지지 않은 경우에도 주어진 변수 또는 비차원화로부터 무차원 매개변수 집합을 계산하는 방법을 제공합니다.
버킹엄의 정리는 물리법칙의 타당성이 특정 단위계에 의존하지 않는다는 것을 나타낸다.이 정리의 진술은 어떤 물리적 법칙도 법칙에 의해 연결된 변수의 차원 없는 조합(비율 또는 곱)만을 포함하는 동일성으로 표현될 수 있다는 것이다. (예를 들어, 압력과 부피는 보일의 법칙에 의해 연결되며, 그것들은 반비례합니다.)만약 무차원 조합의 값이 단위계에 따라 변한다면, 방정식은 항등식이 될 수 없을 것이고, 정리는 유지될 수 없을 것이다.
역사
에드가 버킹엄의 이름을 따서 명명되었지만, 이 정리는 1878년 프랑스 수학자 조셉[1] 버트랑에 의해 처음 증명되었다.베르트랑은 전기역학 및 열전도로 인한 문제의 특별한 경우만을 고려했지만, 그의 논문은 뚜렷한 용어로 정리 현대 증명의 모든 기본 개념을 포함하고 있고 물리 현상을 모델링하는 데 있어서 정리의 효용을 명확하게 나타낸다.정리("차원법")를 사용하는 기술은 레일리의 연구로 인해 널리 알려지게 되었다.일반적인[note 1] 사례에서 파이프의 압력 강하의존성에 대한 δ 정리의 첫 번째 적용은 아마도 [2]1892년으로 거슬러 올라가며, 직렬 팽창을 사용한 경험적 증거이다.[3]
임의로 많은 양의 경우에 대한 δ정리의 정식 일반화는 A에 의해 먼저 제시되었다.1892년에 [4]바시가, 그리고 1911년에 각각 독립적으로 A에 의해.페더맨과[5] D. 리아부친스키,[6] 그리고 1914년 [7]버킹엄에 의해 다시.버킹엄의 기사에서 무차원 변수(또는 파라미터)에 { _ { "를 사용한 것이 정리의 출처이다.
진술
보다 공식적으로, 형성될 수 있는 무차원 항의 수 p는 차원 행렬의 무효와 같으며 k는 순위이다.실험 목적상, 이러한 무차원 수치와 관련하여 동일한 설명을 공유하는 다른 시스템은 동등합니다.
수학적인 용어로, 우리가 다음과 같은 물리적으로 의미 있는 방정식을 가지고 있다면,
중요성
버킹엄 θ 정리는 방정식의 형태가 알려지지 않은 경우에도 주어진 변수로부터 차원 없는 매개변수 집합을 계산하는 방법을 제공합니다.그러나, 무차원 매개변수의 선택은 유일하지 않다. 버킹엄의 정리는 무차원 매개변수의 집합을 생성하는 방법을 제공할 뿐 "물리적으로 가장 의미 있는" 매개변수를 나타내지 않는다.
이들 모수가 일치하는 두 계를 유사(비슷한 삼각형과 마찬가지로 크기가 다를 뿐)라고 합니다. 방정식의 목적을 위해 동등하며 방정식의 형태를 결정하고자 하는 실험가는 가장 편리한 계를 선택할 수 있습니다.가장 중요한 것은 버킹엄의 정리가 변수의 수와 기본 차원 사이의 관계를 기술한다는 것이다.
증명
개요
기본 물리 단위와 파생 물리 단위의 공간이 유리 수 위에 벡터 공간을 형성한다고 가정할 것입니다. 기본 단위는 기본 벡터로서, 물리적 단위는 "벡터 덧셈" 연산으로서 곱하고, "스칼라 곱셈" 연산으로서 거듭제곱합니다.기본 단위에 필요한 지수 집합(특정 기본 단위가 존재하지 않는 경우 0의 거듭제곱)예를 들어 표준 g({g})는 / T- ({ D}=의 를 가지므로 기본 거리 단위인 벡터 -)로 나타낸다.
여러 물리 방정식에 걸쳐 물리 단위를 일치시키는 것은 물리 단위 벡터 공간에 선형 구속조건을 부과하는 것으로 간주할 수 있다.
정식 증명
n개의\n차원 1, , n \ {} , \ldots ,_ { } (물리 치수 포함)의 k n \ k\ n M{ m} ( k\)입니다 k행은 기본 치수이며 의은 변수의 입니다.서 1 i k 1 \ i \ leq k 1 display 1display jdisplay n \ j{\ j 변수에 tal dimension을 입력합니다.매트릭스는 가변 수량의 치수를 조합하여 이 제품의 치수를 기본 치수로 나타내는 것으로 해석할 수 있습니다.k × 1) 벡터는 을 통해 얻을 수 있습니다
무차원 변수는 모든 기본 치수가 0제곱(기본 치수에 대한 벡터 공간의 0 벡터)까지 상승하는 양입니다.무차원 변수는 이 매트릭스의 ker†[note 2] M(\ M에 속하는 벡터입니다.
rank-display정리에 따르면 k\의 독립 (행렬의 순위는 기본 차원 수)에 n개의 벡터(의 시스템은 p M을 시키는 pdim(을 남긴다} 여기서 null은 무차원으로 선택할 수 있는 외부 치수 수입니다
무차원 변수는 항상 (분모를 지움으로써) 치수 변수의 정수 조합으로 간주할 수 있습니다.수학적으로 차원 없는 변수의 자연스러운 선택은 없습니다. 차원 없는 변수의 일부 선택은 물리적으로 더 의미가 있으며, 이상적으로 사용되는 것입니다.
국제 단위계는 k k의 기본 단위를 하며, 이 기본 단위는 암페어, 켈빈, 초, 미터, 킬로그램, 칸델라 및 몰입니다.치수 분석 기법을 개선하기 위해 추가 기본 단위와 기술을 도입하는 것이 때로는 유리합니다.(방향 분석 및 참조 참조).[8]
예
속도
이 예는 기본적인 것이지만 절차를 보여주는 역할을 합니다.
자동차가 시속 100km로 달리고 있다고 가정하면, 200km까지 가는데 얼마나 걸립니까?
이 질문에서는 n n) 차원 변수d, {displaystyle d t{ t 및 v { v를 하며, 시간 ( .{ t=\ ( display, d) 형식의 법칙을 찾고 있습니다.} 이 변수들은 k (\2} 치수: 치수(\ T 및 치수D(\ D의 기준을 허용하므로 p - k - 2 (\p= 1) 차원 없는 양이
차원 행렬은
무차원 상수 V 3 ,{\= 이 aa { \=[{1}, 를 찾습니다.선형대수에서 이 성질을 가진 벡터 집합을 차원행렬의 커널(또는 늘스페이스)이라고 한다이 경우 커널은 1차원입니다.위에서 기술한 치수 행렬은 축소행 echelon 형식으로 되어 있기 때문에 0이 아닌 커널 벡터를 곱셈 상수 내로 읽어낼 수 있습니다.
차원 행렬이 아직 축소되지 않았다면, 더 쉽게 커널을 결정하기 위해 차원 행렬에서 가우스-요르단 제거를 수행할 수 있었다.따라서 치수를 해당 치수 변수로 대체하는 무차원 상수가 다음과 같이 기록될 수 있다.
커널은 곱셈 상수 내에서만 정의되기 때문에 임의의 거듭제곱으로 상승된 위의 무차원 상수는 또 다른(등가) 무차원 상수를 산출합니다.
따라서 치수 분석은 세 가지 물리적 변수와 관련된 일반적인 방정식을 제공했다.
이 세 변수 간의 실제 관계는 t. { d . } 즉, 이 F F는 물리적으로 관련된 하나의 루트를 가지며, 그것은 통일성입니다.C C의 단일 값만 사용할 수 있고 1이라는 사실은 치수 해석 기법으로는 알 수 없다.
단순 진자
단순한 진자에서 작은 진동의 주기T(\ T를 결정하고 싶습니다.길이 { M 및 지구 의 중력에 의한 가속도 G,{ g의 함수로 간주되며, 이 함수는 길이 치수를 시간 제곱으로 나눈 값이다.모델은 형식입니다.
(이것은 함수가 아닌 관계로서 작성됩니다. T는 M 및의 함수로 여기에 기재되어 있지 않습니다 M, {\{}}g . )
이 방정식에는 k k의 기본적인 물리적 치수가 . t {\ t { 및 길이θ, {displaystyle \ n n 치수 변수, g입니다. 따라서 p - - {\ pdimensionless 파라미터만 합니다.이 파라미터는 \ 로 표시됩니다.모델은 다음과 같이 재인식할 수 있습니다.
치수량의 치수는 다음과 같습니다.
치수 매트릭스는 다음과 같습니다.
(행은 m m, \ \, \ {\ (예: 4번째 열, 0 g 변수의 치수는 - 1 입니다 t^ { - 2 } { } \ ell ^ { } 。)
{의 곱이 0 0이 되는 커널 a [1를 찾고 있습니다.} 위와 같은 차원행렬은 축소행 echelon 형식이므로 곱셈 상수 내의 커널 벡터를 읽어낼 수 있습니다
아직 축소되지 않았다면, 더 쉽게 커널을 결정하기 위해 차원 행렬에서 가우스-요르단 제거를 수행할 수 있었다.따라서 무차원 상수는 다음과 같이 기록될 수 있습니다.
이 예에서는 4차원 수량의 3개가 기본 단위이므로 마지막 수g)는 앞의 수량의 조합이어야 합니다.의 \ M가 0이 아닌 M M 을 취소할 수 2는 0이어야 합니다.치수 분석을 통해 진자의 주기는 의 함수가 아니라는 결론을 내릴 수 있습니다 (, 시간 및 거리의 힘의 3차원 공간에서 질량에 대한 벡터는 다른 세 변수의 벡터와는 선형적으로 독립적이라고 할 수 있습니다스케일링 팩터까지 + T - {{은(는) 차원 없는 파라미터의 벡터를 구성하는 유일한 간단한 방법입니다.)
이제 모델은 다음과 같이 표현될 수 있습니다.
F F의 0이 이산형이며 로 이 붙어 있다고 가정하면, 는 C style 1}, {2ldots에 대해 / = C i(\ GT})가 있음을 의미합니다.은 C C, {\,}, / L {\}/C.} 실제로 0이 하나이고 상수가 실제로 C {\에 주어진다는 것을 증명하려면 더 많은 물리적 통찰이나 실험이 필요합니다.
진자의 큰 진동에서는 최대 흔들림 각도인 추가 무차원 파라미터에 의해 분석이 복잡해진다.위의 분석은 각도가 0에 가까워짐에 따라 적절한 근사치입니다.
기타 예
치수 해석의 예는 얇고, 고체이며, 평행한 면의 회전 디스크의 메커니즘에 대해 찾을 수 있다.두 개의 비차원 그룹으로 축소되는 5개의 변수가 관련됩니다.이들 사이의 관계는 예를 들어 유한 요소 [9]방법을 사용한 수치 실험을 통해 결정될 수 있다.
이 정리는 스포츠 [10]과학 등 물리학 이외의 분야에서도 사용되고 있습니다.
「 」를 참조해 주세요.
레퍼런스
메모들
- ^ δ–이론을 적용하면 무차원 수의 임의 함수가 발생한다.
- ^ a b 기본 단위가 1, k i 1 + + k}= 1} + \ +인 n(\는 다음과 같습니다Mk1⋯ mk나는 ⋯ mkn]{\displaystyle M={\begin{bmatrix}m_{11}&, \cdots &, m_{1i}&, \cdots &, m_{1n}\\\vdots &,&\vdots &,&\vdots \\m_{k1}&, \cdots &, m_{해법.}&, \cdots &, m_{kn}\\\end{bmatrix}}}은 너무 예를 들면, 이러한 장치를 q1{\displaystyle q_{1}}에 따라 이 basi.S단위 M(T.[10⋯ 0] 있 } 구체적인 예로서 k ({2}) 기본 단위가 b m = m } b , {= ,}이고 { , , 2/m 이라고 합니다}V의 벡터 덧셈 및 스칼라 의 정의에 {\ V 따라서 M [ m m m m ][- - 1 . { M ={} _ { } & _ { 13 } \ _ { & m _ m _ & m _ } \ \ \ \ \ \ \ begin { }} 정의상 무차원 단위는 m , {\} 의 이며 이는 ker Ms :∈1 ,- 1 , q 3] T { ( 1 - 2 + q ) : s : : Q display m = display style \ style \ corn m 。 이는 직접 계산을 통해 확인할 수 있습니다.정말 무차원적이야.따라서 일부 물리법칙에서 1, 2, 33}})이 f일부 )에 대해 f(1, , 3) 0({},}}, = 의 (불명확실한) 방정식에 의해 관련된다고 기술되어 있는 경우)f R { } (즉, tuple 1,2, 3){ ( {}\는 반드시 f의 이 됩니다. F^{ p - 1 { p=3 - 1 1 - 2 + 3 3/ 2 { \ 1 }1 - { 1 q } 변수에만 합니다.1 s ( 1 ) \ \ { 、 1、 \ pi {}、 0 ( \ 0 \ \ \ { Q ) 、 () 0 \ \ { 1 1}) }을(를) 사용하면^ ) : = ( /s ) (x로 할 수 있습니다= right) 및 ) left {right0) 따라서 원래 변수와 하여F ( 3 / 2) { { { F{1)=이( : / {\hat {1}) 유지되어야 합니다. 3 / 2 ) )= 유지 )즉, 버킹엄의 정리는 / 2F - ( {\ 3}^{ F의 경우 이 {\ F가 정확하게1개의 C를 갖는다는 을 의미합니다 2 C({}=는 반드시 유지됩니다(정리는 C({ C의 정확한 값에 대한 정보를 제공하지 않으며F({F})가 정확히 0을 가지는 도 보장하지 않습니다).
인용문
- ^ Bertrand, J. (1878). "Sur l'homogénéité dans les formules de physique". Comptes Rendus. 86 (15): 916–920.
- ^ Rayleigh (1892). "On the question of the stability of the flow of liquids". Philosophical Magazine. 34 (206): 59–70. doi:10.1080/14786449208620167.
- ^ Strutt, John William (1896). The Theory of Sound. Vol. II (2nd ed.). Macmillan.
- ^ 파이에 대한 그의 진술과 함께 Vasschy의 기사에서 인용한 내용은 다음과 같습니다.
- ^ Федерман, А.(1911년)."О некоторых общих методах интегрирования уравнений с частными производными первого порядка".Известия Санкт-Петербургского политехнического института императора Петра Великого.Отдел техники,естествознания и математики. 16(1):97–155.(Federman A, 1계 편미분 방정식의 통합의 몇가지 일반적인 방법에서 북한사 공예 학원의 회보.기술, 자연과학, 수학과)
- ^ Riabouchinsky, D. (1911). "Мéthode des variables de dimension zéro et son application en aérodynamique". L'Aérophile: 407–408.
- ^ 버킹엄 1914년
- ^ Schlick, R.; Le Sergent, T. (2006). "Checking SCADE Models for Correct Usage of Physical Units". Computer Safety, Reliability, and Security. Lecture Notes in Computer Science. Berlin: Springer. 4166: 358–371. doi:10.1007/11875567_27. ISBN 978-3-540-45762-6.
- ^ Ramsay, Angus. "Dimensional Analysis and Numerical Experiments for a Rotating Disc". Ramsay Maunder Associates. Retrieved 15 April 2017.
- ^ Blondeau, J. (2020). "The influence of field size, goal size and number of players on the average number of goals scored per game in variants of football and hockey: the Pi-theorem applied to team sports". Journal of Quantitative Analysis in Sports. 17 (2): 145–154. doi:10.1515/jqas-2020-0009. S2CID 224929098.
참고 문헌
- Hanche-Olsen, Harald (2004). "Buckingham's pi-theorem" (PDF). NTNU. Retrieved April 9, 2007.
- Hart, George W. (1995). Multidimensional Analysis: Algebras and Systems for Science and Engineering. Springer. ISBN 978-0-387-94417-3.
- Kline, Stephen J. (1986). Similitude and Approximation Theory. Springer. ISBN 978-0-387-16518-9.
- Hartke, Jan-David (2019). "On Buckingham's Π-theorem". arXiv:1912.08744.
- Wan, Frederic Y.M. (1989). Mathematical Models and their Analysis. Harper & Row. ISBN 978-0-06-046902-3.
- Vignaux, G.A. (1991). "Dimensional analysis in data modelling" (PDF). Victoria University of Wellington. Retrieved December 15, 2005.
- Sheppard, Mike (2008). "Systematic Search for Expressions of Dimensionless Constants using the NIST database of Physical Constants". Archived from the original on 2012-09-28.
- Gibbings, J.C. (2011). Dimensional Analysis. Springer. ISBN 978-1-84996-316-9.
원본 소스
- Vaschy, A. (1892). "Sur les lois de similitude en physique". Annales Télégraphiques. 19: 25–28.
- Buckingham, E. (1914). "On physically similar systems; illustrations of the use of dimensional equations". Physical Review. 4 (4): 345–376. Bibcode:1914PhRv....4..345B. doi:10.1103/PhysRev.4.345. hdl:10338.dmlcz/101743.
- Buckingham, E. (1915). "The principle of similitude". Nature. 96 (2406): 396–397. Bibcode:1915Natur..96..396B. doi:10.1038/096396d0. S2CID 3956628.
- Buckingham, E. (1915). "Model experiments and the forms of empirical equations". Transactions of the American Society of Mechanical Engineers. 37: 263–296.
- Taylor, Sir G. (1950). "The Formation of a Blast Wave by a Very Intense Explosion. I. Theoretical Discussion". Proceedings of the Royal Society A. 201 (1065): 159–174. Bibcode:1950RSPSA.201..159T. doi:10.1098/rspa.1950.0049. S2CID 54070514.
- Taylor, Sir G. (1950). "The Formation of a Blast Wave by a Very Intense Explosion. II. The Atomic Explosion of 1945". Proceedings of the Royal Society A. 201 (1065): 175–186. Bibcode:1950RSPSA.201..175T. doi:10.1098/rspa.1950.0050.