HiS
RESEARCH
АЛГЕБРАИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ П - ТЕОРЕМЫ
Моисеев А.А., к.т.н., с.н.с., ГосНИИ химмотологии, [email protected]
Ключевые слова:
л - теорема, алгебраическая интерпретация, единица измерения, критерий подобия, размерность, логарифмические координаты, однородная линейной система, фундаментальное решение, линейное преобразование, ранг матрицы
АННОТАЦИЯ
Безразмерные критерии подобия активно используются в исследованиях физических процессов в ситуации недостаточной проработанности теории последних. Наиболее широко они используются в гидро - и термодинамике, хотя находят применение и в других областях, например в физической химии. Существует два основных метода формирования критериев подобия:
- по результатам нормализации точных уравнений процессов;
- по результатам априорного анализа параметров, определяющих протекание процессов с использованием та - теоремы.
Данная разработка посвящена анализу второго подхода с точки зрения его алгебраической интерпретации, которое базируется на формальном определении логарифмических координат размерности. В этом случае степенное представление размерности параметра трансформируется в линейную комбинацию логарифмов единиц измерения. Коэффициенты в этой комбинации естественно интерпретировать как координаты вектора размерности параметра в семимерном пространстве размерностей.
В ситуации, когда процесс определяется рядом параметров, каждому из них сопоставляется вектор его размерности. В совокупности эти векторы образуют матрицу А размерностей. Поскольку безразмерному критерию в логарифмическом представлении, соответствует нулевой вектор, все возможные безразмерные критерии, которые могут быть образованы на базе данного ряда параметров, являются нетривиальными решениями однородной линейной системы с матрицей коэффициентов А. Независимость параметров в этих условиях эквивалентна линейной независимости соответствующих векторов размерностей. При этом максимальное число независимых параметров соответствует рангу матрицы А. Если образовать матрицу С из оставшихся векторов матрицы А после удаления линейно - независимых, ее ранг будет соответствовать числу независимых критериев подобия, которые может быть определен на базе данного ряда параметров.
Эта интерпретация позволяет свести задачу построения системы независимых критериев подобия к построению системы фундаментальных решений однородной линейной системы в логарифмическом представлении. Задача замены единиц измерения в этих условиях сводится к линейному преобразованию логарифмических координат размерности, невырожденному в алгебраическом смысле. Таким образом, алгебраическая интерпретация та - теоремы позволяет уточнить ее смысл, а так же дать регулярное определение независимости параметров, базируясь на понятии линейной независимости векторов размерности.
US
RESEARCH
Безразмерные критерии подобия активно используются в исследованиях физических процессов в ситуации недостаточной проработанности теории последних. Наиболее широко они используются в гидро - и термодинамике, хотя находят применение и в других областях, например в физической химии. Существует два основных метода формирования критериев подобия:
- по результатам нормализации точных уравнений процессов [1, 2];
- по результатам априорного анализа параметров, определяющих протекание процессов с использованием п - теоремы [3, 4].
Данная разработка посвящена анализу второго подхода с точки зрения его алгебраической интерпретации, базирующейся на следующих соображениях. В системе СИ определяется следующая совокупность независимых единиц измерения [5]:
- килограмм - М
- метр - L
- секунда - Т
- кельвин - 0
- ампер -I
- кандела - Л.
Формально введем логарифмы единиц измерения [4]:
ММ = 1пМ
LL =
ТТ = 1пТ
00 = 1п0
NN = Ш
11= 1п1
Л = 1пЛ.
В этом случае степенное представление размерности параметра р трансформируется в линейную комбинацию логарифмов единиц измерения (ММ, LL, ..., Л). Коэффициенты в этой комбинации естественно интерпретировать как координаты вектора Р размерности параметра в семимерном пространстве размерностей. Предположим, что процесс определяется рядом параметров (р1, р2, ..., рп). Сопоставляя каждому параметру вектор его размерности, получаем ряд таких векторов (Р1, Р2, ..., Рп). В совокупности эти векторы образуют матрицу А размерности 7 X п. Безразмерному критерию в логарифмическом представлении, рассмотренном выше, соответствует нулевой столбец. Вследствие этого все безразмерные критерии, которые могут быть образованы на базе данного ряда параметров, являются нетривиальными решениями однородной линейной системы с матрицей коэффициентов А [6].
Независимость параметров в этих условиях эквивалентна линейной независимости соответствующих век
торов размерностей. При этом максимальное число г линейно - независимых векторов соответствует рангу матрицы А: г = ^А. Образуем определяющую матрицу В из г линейно независимых векторов, а определяемую матрицу С - из оставшихся векторов матрицы А. Ранг матрицы С соответствует числу к линейно - независимых векторов, образующих фундаментальную систему решений однородной линейной системы. Прочие решения представляют собой их линейные комбинации [6]. В степенном представлении размерностей это соответствует произведению степеней независимых параметров, т.е. зависимым параметрам. Поэтому к = ^С соответствует числу независимых критериев подобия, который может быть определен на базе данного ряда параметров.
Проиллюстрируем проведенное построение на примере формирования физико - химических критериев для жидкостей. Рассмотрим сначала гидростатическую ситуацию, учитывая, что электромагнитные единицы I и фотометрические единицы Л не задействованы, и считая, что процессы в жидкости определяются следующим рядом параметров (р, д, с, Р, с, S, Т, Е0), где:
плотность жидкости
М
р = Ь
М
и =--молярная масса жидкости
N
L
P =
0T2 M
LT2
- теплоемкость жидкости
давление сжатия
M
(Г = - коэффициент поверхностного натяжения
жидкости
г-
S = Ь - площадь свободной поверхности жидкости Т = 0 - температура жидкости
МЬ
энергия активации.
E =
NT2
В качестве независимых параметров выберем следующие: (р, д, с, Р, с). Соответствующая определяющая матрица невырождена и имеет вид:
B
1 1 0 1 1
- 3 0 2 -1 0
0 -1 0 0 0
0 0 - - -
0 0 -1 0 0
c
HiS
RESEARCH
а определяемая:
0 0 1
2 0 2
0 0 - 2
0 1 0
0 0 1
C
Ранг матрицы С равен 3, т.е. можно определить три независимых критерия подобия, используя каждый из столбцов C в качестве столбца свободных членов в линейной системе с матрицей коэффициентов B. Система уравнений для параметра S имеет вид:
а+в+0+S+e=0 - 3а + 0 + 2y-S+0 = 2 0-в + 0 + 0 + 0 = 0 0 + 0 - 2у- 28- 2е = 0 0 + 0 - у+ 0 + 0 = 0
Решая ее, получаем:
а = 0,в = 0,у= 0,8 = -2,е = 2.
Отсюда находим для характеристической в смысле
[1] площади свободной поверхности S
^2
. Крите-
рий при этом имеет вид П = S
/р\2
и выражает отно-
П
P
нагреве к давлению сжатии.
Система уравнений для Eo имеет вид:
а + в + 0 + 8 + е = 1
- 3а + 0 + 2у-8 + 0 = 2 0-в + 0 + 0 + 0 = -1 0 + 0 - 2у-28-2е = -2 0 + 0 - у+ 0 + 0 = 0
Решая ее, получаем:
а = -1,в = 1,7 = 0,8 = \,е = 0.
Отсюда находим для характеристической энергии г №
активации Е0 =-. Критерий при этом имеет вид
Пз =
JlP
рЕс
Р
и характеризует рост скорости реакции при
сжатии. Подставляя сюда давление P, выраженное через
е^Т
характеристическую температуру, получаем П4 =
Е
шение поверхностных и объемных напряжений в жидкости.
Система уравнений для T имеет вид:
а+в+0+8+£=0 ■3а + 0 + 2у-8 + 0 = 0 0-в + 0 + 0 + 0 = 0 0 + 0 - 2у- 28-2е = 0 0 + 0-у+ 0 + 0 = 1
Решая ее, получаем:
а = -1, в = 0,у= -1,8 = 1,£ = 0.
Отсюда находим для характеристической темпера-Р
туры Т =-. Критерий при этом имеет вид
еР
ерТ
Последний критерий представляет собой аналог крите-
ЯТ
рия Аррениуса Агг =- для химической реакции в
Е0
жидкости и характеризует температурную зависимость ее скорости [7].
Рассмотрим теперь гидродинамическую ситуацию, считая, что процессы в жидкости определяются следующим рядом параметров (р, д, c, u, V, P, T, E0), где:
Ь
- и =--скорость течения жидкости
Т Ь
- V =--кинематическая вязкость жидкости.
Т
В качестве независимых параметров выберем следующие: (р, д, ^ ^ V). Соответствующая определяющая матрица невырождена и имеет вид:
110 0 0 3 0 2 1 2
B = 0 0 0
а определяемая:
C
и выражает отношение роста давления при
- -2 -1
-1 0
1 0 0
1 0 1
-1 0 2
- 2 0 -2
0 1 0
0 0 1
US
RESEARCH
Ранг матрицы С равен 3, т.е. можно определить три независимых критерия подобия, используя каждый из столбцов С в качестве столбца свободных членов в линейной системе с матрицей коэффициентов В. Система уравнений для параметра Р имеет вид:
a + ß + 0 + 0 + 0 = 1
Отсюда находим для характеристической энергии активации E0 = flu2. Критерий при этом имеет вид
число Маха п
u
и имеет смысл отношения скоро-
3 4Ст
сти течения к скорости звука [4].
Система уравнений для параметра Е0 имеет вид:
а + ß + 0 + 0 + 0 = 1 - 3а + 0 + 2y+S + 2е = 2
0 + 0 - 2у-8-е = -2 0 + 0-у-0 - 0 = 0 0-ß + 0 + 0 + 0 = -1
п =
/и
-и имеет смысл отношения энергии торможе-
3а + 0 + 2y+S + 2е = -1 0 + 0 - 2у-д-е = -2 0 + 0-у-0 - 0 = 0 0-ß + 0 + 0 + 0 = 0
Решая ее, получаем:
а = 1,в = 0,у= 0,5 = 2,е = 0.
Отсюда находим для характеристического давления Р = ри2. Критерий при этом представляет собой число
Р
Эйлера [3, 4] П2 =-— и выражает отношение стати-
ри
ческого давления и скоростного напора.
Система уравнений для параметра Т имеет вид:
а + ß + 0 + 0 + 0 = 0 - 3а + 0 + 2у+8+ 2е = 0 0 + 0 - 2у-8-е = 0 0 + 0-у-0 - 0 = 1 0-ß + 0 + 0 + 0 = 0
Решая ее, получаем: а = 0,в = 0,у = -1,5 = 2,е = 0.
Отсюда находим для характеристической температуры Т = —. Критерий при этом представляет собой с
Решая ее, получаем:
а = 0,ß = 1, y= 0,8 = 2,е = 0.
ния к энергии активации [8].
Проведенное рассмотрение показывает, что алгебраическая интерпретация п - теоремы позволяет уточнить ее смысл, а так же дать регулярное определение независимости параметров, базируясь на понятии линейной независимости векторов размерности. Задача замены единиц измерения в этих условиях сводится к линейному преобразованию координат размерности, невырожденному в алгебраическом смысле.
Литература
1. Моисеев А.А., Применение теории подобия в имитационном моделировании динамических процессов// Приборы и системы, №10, 2004, с. 1.
2. Седов Л.И. Методы теории подобия и размерности в механике., М., «Наука», 1965, 388 с.
3. Гухман А.А., Введение в теорию подобия, М., Высшая школа, 1973, 296 с.
4. Веников В.А. Теория подобия и моделирования, М., Высшая школа, 1976, 479 с.
5. Сена Л.А., Единицы физических величин и их размерности, М., Наука, 1988, 432 с.
6. Курош А.Г. Курс высшей алгебры, М., Наука, 1971,432 с.
7. Эммануэль Н.М., Кнорре Д.Г. Курс химической кинетики, М., Высшая школа, 1962, 415 с.
8. Стернин Л.Е. Основы газовой динамики, М., МАИ, 1995, 336 с.
9. Буренин А.Н., Легков К.Е. Эффективные методы управления потоками в защищенных инфокоммуника-ционных сетях // H&ES: Наукоемкие технологии в космических исследованиях Земли. - 2010. -№ 2. - С. 29-34.
10. Буренин А.Н., Легков К.Е. К вопросу моделирования организации информационной управляющей сети для системы управления современными инфокоммуникацион-ными сетями // H&ES: Наукоемкие технологии в космических исследованиях Земли. - 2011. -№ 1. - С. 22-25.
11. Буренин А.Н., Легков К.Е. Модели процессов мониторинга при обеспечении оперативного контроля эксплуатации инфокоммуникационных сетей специального назначения // H&ES: Наукоемкие технологии в космических исследованиях Земли. - 2011. -№ 2. - С. 19-23.
12. Буренин А.Н., Легков К.Е. Особенности архитектур, функционирования, мониторинга и управления полевыми компонентами современных инфокоммуникационных сетей специального назначения // H&ES: Наукоемкие технологии в космических исследованиях Земли. - 2013. -№3. - С. 20-25.
us
RESEARCH
n - THEOREM ALGEBRAIC INTERPRETATION
Moiseev A., PhD,
National Research Institute of Chemmotology, [email protected]
Abstract
Dimensionless similarity criteria used for physical processes study when their theory isn't worked over. Most frequently they used in hydro - and thermodynamics but also can be used in others areas
- mechanics, physical chemistry etc. There are two base methods of such criteria forming - at processes equations normalization and on result of a priory analysis of process parameters, using n
- theorem. This development devoted to second approach analysis from the point of view of n - theorem algebraic interpretation based on formal definition of logarithmical units. In this case power parameter representation converted into linear combination of units logarithms. Coefficients in this combination can be interpreted as coordinates in seven-dimensional space. When process defined by parameters set every parameter has correspondent dimension vector. These vectors form dimension matrix A. Since dimensionless criterion correspond to zero vector, every such criterion is nontrivial solution of uniform linear system with coefficients matrix A. Parameters independence corresponds in this situation to linear independence of correspondent dimension vectors. Maximal number of such vector equals to matrix A rank. If we form matrix C by means of independent vectors removing, its rank will correspond to number of independent similarity criteria, which can be formed on the base these parameters. This operation allows transforming the problem of independent criteria building to base solution forming for uniform linear system in logarithmical representation. So, algebraic n - theorem interpretation allows to precise its meaning and to give the regular definition of criteria independence basing on linear independency idea. Units change converted in this case to nonsingular linear transformation of units logarithms.
Keywords: n - theorem, algebraic interpretation, unit, dimension, similarity criteria, logarithmical coordinates, uniform linear system, base solution, linear transformation, matrix rank
References
1. Moiseev A., Primenenie teorii podobiya v imitatsionnom mod-elirovanii dinamicheskich processov [Similarity theory application in dynamical processes simulation] // Pribory i sistemy [Devices and systems], №10, 2004, P. 1.
2. Sedov L.I. Metody podobiya i razmernosti v mechanike [Similarity methods and dimensions analysis in mechanics], M., publishing house "Nauka" ["Science"], 1965, 388 P.
3. Guchman A.A. Vvedenie v teoriyu podobiya, M., publisher house "Vysshaya shkola" ["High scool"], 1973, 296 P.
4. Venikov V.A. Teoriya podobiya i modelirovaniya [Similarity and modeling theory], M., publisher house "Vysshaya shkola" ["High scool"], 1976, 479 P.
5. Sena L.A. Edinitsy fizicheskich velichin i ich razmernosti [Physical values and their units], M., publishing house "Nauka" ["Science"], 1988, 432 P.
6. Kurosh A.G. Kurs vysshey algebry [Course of high-level algebra], M., publishing house "Nauka" ["Science"], 1988, 432 P.
7. Emmanuel N.M., Knorre D.G. Kurs chimicheskoy kinetiki [Course of chemical kinetics], M., publisher house "Vysshaya shkola" ["High scool"], 1962, 415 P.
8. Sternin L.E. Osnovy gazovoy dinamiki [Fundamentals of gas dynamics]. Moscow: publishing house «MAI», 1995. 336 P.
9. Burenin A.N., Legkov K.E. Effective methods of control over streams in protected infokommunikatsionny networks /H&ES: High technologies in space researches of Earth. - 2010.-№ 2. - pp. 29-34.
10. Burenin A.N., Legkov K.E. To a question of modeling of the organization of the information managing director of a network for a control system of modern infokommunikatsionny networks /H&ES: High technologies in space researches of Earth. - 2011.-№ 1. - pp. 22-25.
11. Burenin A.N., Legkov K.E. Model of monitoring processes when ensuring operative control of operation of infokommunikatsionny networks of special purpose /H&ES: High technologies in space researches of Earth. - 2011.-№ 2. - pp. 19-23.
12. Burenin A.N., Legkov K.E. Feature of architecture, functioning, monitoring and management of field components of modern infokommunikatsionny networks of special purpose /H&ES: High technologies in space researches of Earth. - 2013.-№ 3. - pp. 20-25.