Научная статья на тему 'О сходимости проекционного метода для уравнения задачи движения'

О сходимости проекционного метода для уравнения задачи движения Текст научной статьи по специальности «Математика»

CC BY
48
11
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КРАЕВЫЕ ЗАДАЧИ / ЧИСЛЕННЫЕ МЕТОДЫ / ОБОБЩЕННОЕ РЕШЕНИЕ / СКОРОСТЬ СХОДИМОСТИ ПРИБЛИЖЕННОГО МЕТОДА / REGIONAL TASKS / NUMERICAL METHODS / GENERALIZED SOLUTION / SPEED OF CONVERGENCE OF AN APPROXIMATE METHOD

Аннотация научной статьи по математике, автор научной работы — Горская Т. Ю., Ожегова А. В.

В работе проведен анализ существующих подходов к решению задачи движения в осесимметричных каналах. Представлены результаты по теоретическому обоснованию численного решения уравнения для задачи движения и получена оценка сходимости приближенного решения к обобщенному решению исходной задачи по метрике энергетического пространства в терминах наилучшего среднеквадратического приближения.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On the convergence of the projection method for an equation of the goals of the movement

Work is devoted to theoretical justification with the subsequent numerical solution of a problem of movement. This research is conducted within hydrodynamics studying in axisymmetric channels for the purpose of creation of channels for the highly effective heat exchange equipment. The mathematical apparatus allows to find out the hydrodynamic picture arising in flowing channels of various configurations for optimization of a profile of channels, for the purpose of improvement of a hydrodynamic picture. In work the approximate solution of the equation of Navier-Stokes is investigated. As functional space the space of the functions possessing the second generalized derivative from a class of square and summable functions is taken. The analysis of existing approaches to justifications and solutions of the initial equation is submitted. Using a method of monotonous operators, the general theory of approximate methods, existence and uniqueness of the approximate decision received by a projective method is established. The power space in which scalar work and norm were set was entered for this purpose. Convergence of the approximate decision to the exact decision on norm of power space in terms of the best mean square approach is proved.

Текст научной работы на тему «О сходимости проекционного метода для уравнения задачи движения»

Теплоснабжение, еешшлодия, конЭиционирование eosöyxa,

sasocm6±eme и освещение

УДК 532.5:621.694:519.6

Горская Т.Ю. - кандидат технических наук, доцент

E-mail: tatyana_gorskaya@mail.ru

Казанский государственный архитектурно-строительный университет

Адрес организации: 420043, Россия, г. Казань, ул. Зеленая, д. 1

Ожегова A.B. - кандидат физико-математических наук, доцент

E-mail: Alla.Ozhegova@ksu.ru

Казанский (Поволжский) федеральный университет

Адрес организации: 420008, Россия, г. Казань, ул. Кремлевская, д. 18

О сходимости проекционного метода для уравнения задачи движения

Аннотация

В работе проведен анализ существующих подходов к решению задачи движения в осесимметричных каналах. Представлены результаты по теоретическому обоснованию численного решения уравнения для задачи движения и получена оценка сходимости приближенного решения к обобщенному решению исходной задачи по метрике энергетического пространства в терминах наилучшего среднеквадратического приближения.

Ключевые слова: краевые задачи, численные методы, обобщенное решение, скорость сходимости приближенного метода.

Введение

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

Следует отметить, что краевую задачу течения вязкой жидкости решают, используя два подхода:

- традиционный - в терминах скорость-давление;

- с применением так называемых функций вихря и тока.

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

Во втором подходе вводятся новые переменные - функций вихря в виде w = rotv, где

W - вектор-функция вихря, V — вектор скорости и тока, который определяется из уравнения неразрывности: divv=0, при этом последнее будет исключено из системы уравнений. Кроме того, введением новой переменной понижается порядок дифференциальных уравнений. Однако, отмечая несомненные преимущества этого подхода, его применение может иметь некоторую сложность, связанную с определением граничных условий, поскольку поведение функции вихря на границе часто бывает неизвестно.

При рассмотрении конкретных задач гидродинамики в той или иной постановке всегда актуальны вопросы преодоления нелинейности системы дифференциальных уравнений Навье-Стокса. В настоящее время известны различные методы их линеаризации [1-4]. Известен [2] способ линеаризации, основанный на использовании

Теплоснабжение, еешшлодия, конЭиционирование eosöyxa,

sasocm6±eme и освещение

процесса итерации, где нелинейный член заменяется значением, полученным из предыдущей итерации. В некоторых случаях линеаризация уравнения осуществляется путем замены нелинейного члена неким средним значением функции на интервале интегрирования. При постановке математических моделей гидродинамики широко используют линеаризации Буссинеска, Стокса [3], Озеена [4]. Так, в приближениях Стокса полностью пренебрегают конвективной частью, а в приближении Озеена конвективная часть учитывается лишь частично. Но по сравнению с линеаризацией Стокса она все же имеет несомненное преимущество, т.к. учитывает влияние конвективных сил инерции [4]. В приближениях Буссинеска пользуются приемом осреднения, заменяя истинное, беспорядочное движение частиц прямолинейным фиктивным движением, что упрощает конвективную часть, делая ее линейной.

Постановка задачи с последующей ее линеаризацией влечет за собой вопрос о корректности исходной задачи, т.е. о существовании, единственности и устойчивости решения.

Теоретическому обоснованию существования и единственности решения краевых задач посвящено много работ, например, [5-7]. Этим вопросом занимались O.A. Ладыженская, В. А Солонников, Е. Хопф, И.Ж. Хейвурд, Р. Темам.

В конце пятидесятых годов было доказано, что для стационарных краевых задач имеется по крайней мере одно «хорошее» решение для чисел Рейнольдса, соответствующих ламинарному течению [5], если выполнено условие:

s

где v - вектор скорости, п - нормаль к S, S - граница области Q. Если область Q содержит бесконечно удаленную точку, то ставится дополнительное условие: v —> Vе0.

Е. Хопф доказал, что в силу выполнения условия divv = 0, искомый вектор

скорости v должен удовлетворять (1), так как справедливо равенство JvnöS' = JdivvJF,

S Q

следовательно, интеграл (1) будет равен нулю.

Позднее для решения краевых задач математической физики был предложен функциональный метод [6], опирающийся на простую аналитическую основу - оценку интеграла Дирихле для искомого решения v. Важным элементом этого метода было своеобразное исключение давления р и редукция всей задачи к нахождению только поля скоростей v (давление р определялось непосредственно из системы Навье - Стокса после того, как найдено V ). Для этого было введено гильбертово пространство H(Q), являющееся замыканием всех гладких соленоидальных векторных полей, имеющих компактные носители, лежащие в Q, и с нормой, соответствующей скалярному произведению:

(u,v)H = \uxvxdx=\ Xütxvtxkdx,

Q Q',k=1

где n - размерность евклидова пространства Rn .

Метод, рассмотренный в [6], позволил исследовать и ряд задач для произвольных неограниченных областей.

Для случая трехмерного пространства И. Ж. Хейвурд ом [7] было обоснованно существование обобщенного решения для нестационарных систем Навье-Стокса. В качестве функционального пространства рассматривалось пространство Соболева

W\ (£2)- Для плоских или осесимметричных задач [4] установлено существование и

единственность решения в функциональном классе «обобщенных решений».

В данной статье для решения представленной задачи в традиционной постановке применяется аппроксимативный метод. Для доказательства существования и единственности приближенного решения, полученного по методу Галеркина, используется общая теория приближенных методов анализа, метод монотонных операторов и методика доказательства, предложенная в [10].

Теплоснабжение, еентилациа, конЭиционирование eosôyxa,

ёайоснабжение и освещение

Постановка задачи

Известно [3], что задача движения вязкой жидкости в заданном канале описывается уравнениями Навье-Стокса, которые для их теоретического исследования удобно представлять ее в векторном виде:

-AV + (V-V)V = F-Vp,

(2)

divV = 0, для у е Q, V = 0, для Ve SQ. w

Здесь V - вектор скорости, /?-вектор давления, F - вектор массовых сил, область Q-осесимметричный канал, конечной длины, образованный вращением дуги плоской кривой. Запишем уравнение (2) в операторном виде:

Lv = Av+Bv= /, f eL2(Q), ve ¡V2(Q), L:W2^L2, (3)

где L2 (Q) - пространство квадратично-суммируемых функций, со скалярным произведением и нормой соответственно:

(<Р, Щ) = j<p(x)i/s(x)dx, \\ç>\\2 = | J| (р{х) |2 , ç>, ц/ e 4 (Q), Q LQ J

W2(Q) - пространство Соболева, т.е. пространство функций, имеющих вторую обобщенную производную из пространства L2(Q). Норма в пространстве fF22(Q) определяется

Г 1 1 ]1/2

равенством к и, u)v/2 = < f ^ DkxuDJxudx > ,где Д. - дифференциальный оператор к- го

Щ U^=oy=o * * J

порядка. Здесь А - оператор Лапласа, симметричный, положительно определенный оператор, т.е. для которого выполняется неравенство (Av,v) > у2 II vf 2, уф 0, оператор В -

Il IIîF2

дифференциальный оператор первого порядка вида (о5Ц^о).

Введем энергетическое пространство НА, порождаемое оператором А. В области

определения D(A) = ^м:м еW2(Q),divu = 0,w|aQ = ojвведем скалярное произведение и

норму соответственно, и] = (Au, и), \и\ = и^2. Пополняя D(A) по норме, приходим к полному гильбертову пространству НА, называемому энергетическим пространством.

Назовем, согласно [8], обобщенным решением уравнения (3) функцию veHA, удовлетворяющую соотношению (Av, и) + (Bv, и) = (/, и) для любых функций и е HА.

Метод Галерки на и его сходимость

Рассмотрим задачу гидродинамики для системы уравнений (2) в области Q = {(F,F) : 0 < F <RÇz),0 < F < m}. Параметры вектора скорости и давление находятся

согласно [9] в виде: vr = u0y/(z,r), V(p = oir<p(z,r), vz = u0H(z,r), p - po = pu§F(z,r)/Re,

где Re = jv - число Рейиольдса; d3 = 4cos /(r03 - i^3)/(3(r2o - Я2о)) - эквивалентный диаметр трубы; f = r/r0 ,z = z/L, Î?(z) = R(z)/d3~ безразмерные переменные; =r0/L, R0 = r0/d3~ безразмерные константы. N = û)r/uQ - число закрутки, = 1 + (-1)й ztgy ¡R0, где n=0 в случае диффузора и п=1 в случае конфузора [9]. Граничные условия определяются в виде:

1 = 0, ¥=0, ф=О, Н = 1, F = 0, ^ = 0, ^ = 0, Êi = 0,

dz dz dz

7 = 0, ц/ = 0, ф=0, — = 0, — = 0;

<3F oF

r=#(z), y/=0, 0 = 1, Я = 0.

Теплоснабжение, еентишциа, конЭииионирование eosöyxa,

еазоснабжение и освещение

Введем систему алгебраических функций:

gß(r,z) = l (4)

Неизвестные функции ц/, ф, Н, F будем искать в виде:

N N N N

¿•=0 /=0 к=0 /=0

(5)

N N N N 4 у

нм(7,Т)=^п?гк, г.г) -

¿•=о у=о ¿-=о у=о

где а,щ, , у ^ ? 0ц - неизвестные коэффициенты, которые найдем из условия равенства нулю момента невязки по системе функций (4).

Это условие эквивалентно системе линейных алгебраических уравнений (СЛАУ), которую, в свою очередь, можно представить в операторном виде:

РЫ^Ы=РЫГ, Ры-Ь2(0)^хы, (6)

где Ры - линейный проекционный оператор, Хы- подпространство элементов вида (5).

Установлена следующая теорема.

Теорема. Пусть уравнение (2) имеет единственное обобщенное решение. Тогда при достаточно больших натуральных N аппроксимирующее уравнение (6) однозначно разрешимо и приближенные решения ум , сходятся по норме НА к обобщенному

решению V со скоростью — у] = 0{ЕК(171/)}, где Е^ср) - наилучшее среднеквадратическое приближение функций (р элементами вида (5).

Список литературы

1. Ши Д. Численные методы в задачах теплообмена. - М.: Мир, 1988. - 544 с.

2. Никитенко H.H., Кольчик Ю.Н., Сороковая H.H. Метод конечных элементов для моделирования течения и теплообмена несжимаемой жидкости в областях произвольной формы. // Пром. Теплоэнергетика, 2002, № 1. - С. 16-23.

3. Седов ЛИ. Механика сплошной среды. - М.: Наука, 1973, Т. 2. - 584 с.

4. Белоносов С.М., Черноус К. А., Краевые задачи для уравнений Навье-Стокса. - М.: Наука, 1985.-312 с.

5. Ладыженская O.A. Математические вопросы динамики вязкой жидкости. - М.: Наука, 1970.-288 с.

6. Ладыженская O.A. Исследование уравнений Навье-Стокса в случае стационарного движения несжимаемой жидкости. // УМН, 1958, (13), - С. 219-220.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

7. Heywood I.G. On uniqueness in the theory of viscous flow. // Asta math. (Uppsala), 1976, V. 136, № 1,2. - P. 61-102.

8. Марчук Г.И., Агошков В.И. Введение в проекционно-сеточные методы. - М.: Наука, 1981.-416 с.

9. Горская Т.Ю. Гидродинамика ламинарного течения вязкой жидкости в теплообменных устройствах с вращающейся поверхностью типа «конфузор-диффузор». Дис... канд. техн. наук. - Казань, 2004. - 110 с.

10. Габдулхаев Б.Г. Проекционные методы решения сингулярных интегральных уравнений. // Известия вузов. Математика, 2004, № 7. - С. 12-24.

Ten3iocm6±eme, eemiujKiuua, KOH9uuuoHupo6aiiae eosQyxa,

sasocHa6±eHue u oceetneme

Gorskaya T.Iu. - candidate of technical sciences, associate professor E-mail: tatyana_gorskaya@mail.ru

Kazan State University of Architecture and Engineering

The organization address: 420043, Russia, Kazan, Zelenaya st., 1

Ozhegova A. V. - candidate of physical-mathematical sciences, associate professor

E-mail: Alla.Ozhegova@ksu.ru

Kazan (Volga) Federal University

The organization address: 420008, Russia, Kazan, Kremlevskaya st., 18 On the convergence of the projection method for an equation of the goals of the movement Resume

Work is devoted to theoretical justification with the subsequent numerical solution of a problem of movement. This research is conducted within hydrodynamics studying in axisymmetric channels for the purpose of creation of channels for the highly effective heat exchange equipment. The mathematical apparatus allows to find out the hydrodynamic picture arising in flowing channels of various configurations for optimization of a profile of channels, for the purpose of improvement of a hydrodynamic picture. In work the approximate solution of the equation of Navier-Stokes is investigated. As functional space the space of the functions possessing the second generalized derivative from a class of square and summable functions is taken. The analysis of existing approaches to justifications and solutions of the initial equation is submitted. Using a method of monotonous operators, the general theory of approximate methods, existence and uniqueness of the approximate decision received by a projective method is established. The power space in which scalar work and norm were set was entered for this purpose. Convergence of the approximate decision to the exact decision on norm of power space in terms of the best mean square approach is proved.

Keywords: regional tasks, numerical methods, generalized solution, speed of convergence of an approximate method.

References

1. Shi D. Numerical methods in problems of heat exchange. - M.: World, 1988. - 544 p.

2. Nikitenko N.I., Kolchik Yu.N. The fortieth H.H. Method of final elements for modeling of a current and heat exchange of incompressible liquid in areas any form. // Prom. Power system, 2002, № 1. - P. 16-23.

3. Sedov L.I. Mekhanika's sets of the continuous environment. - M.: Science, 1973. T. 2. -584 p.

4. Belonosov S.M., Chernous K.A. Regional tasks for Navier's Equations-Stokes. - M: Science, 1985.-312 p.

5. Ladyzhensky Lake. And. Mathematical questions of dynamics of viscous liquid. - M: Science, 1970.-288 p.

6. Ladyzhensky O.A. Issledovaniye of Navier's equations-Stokes in case of stationary movement incompressible fluid. // UMN, 1958, (13). - P. 219-220.

7. Heywood I.G. On uniqueness in the theory of viscous flow. - Asta math. (Uppsala). 1976, V. 136, № 1,2. - P. 61-102.

8. Marchuk G.I., Agoshkov V.I. Introduction in proyektsionno-net methods. - M.: Science, 1981.-416 p.

9. Gorskaya T.Ur. Hydrodynamics of laminar flow of viscid liquid in heat-exchange devices with the revolved surface of type «contractor-diffuser». Diss. Kand. tech. sciences. -Kazan, 2004. - 110 p.

10. Gabdulkhaev B.G. Projection methods for solving singular integral equations. // Izvestiya universities. Mathematics, 2004, № 7 - P. 12-24.

i Надоели баннеры? Вы всегда можете отключить рекламу.