Математическая модель акустических волн в ограниченной области с "белым шумом"
Автор: Бычков Е.В., Соловьва Н.Н., Свиридюк Г.А.
Рубрика: Математика
Статья в выпуске: 3 т.11, 2019 года.
Бесплатный доступ
Представлен новый взгляд на классическую задачу о распространении акустических волн в ограниченной области с постоянной фазовой скоростью. Классическая постановка формулируется в детерминированных пространствах, а в данной работе - в пространствах К-«шумов». Исследуется начально-краевая задача для неоднородного стохастического гиперболического уравнения. Начальные данные являются случайными K-величинами, а функция неоднородности - случайным K-процессом в абстрактной постановке. При рассмотрении приложения функция неоднородности задается как «белый шум». В данной работе под термином «белый шум» понимается первая производная в смысле Нельсона-Гликлиха винеровского К-процесса. Данную задачу можно считать обобщением классической, поскольку производная Нельсона-Гликлиха от детерминированной функции совпадает с классической производной. Результаты, полученные для абстрактного детерминированного гиперболического уравнения, переложены на стохастический случай. Абстрактные результаты применяются к математической модели распространения акустических волн в ограниченной области из Rn с гладкой границей с неоднородностью в виде «белого шума».
Акустические волны, задача коши-дирихле, "белый шум", винеровский к-процесс, пропагаторы
Короткий адрес: https://sciup.org/147232818
IDR: 147232818 | DOI: 10.14529/mmph190302
Текст научной статьи Математическая модель акустических волн в ограниченной области с "белым шумом"
Классическое гиперболическое уравнение математической физики utt = a 2 Au + f (1)
в настоящее время хорошо изучено в различных постановках и в ограниченной области, и в неограниченной, и с нелокальными граничными условиями, и с разрывными функциями на границе, например, [1]. На основе этого уравнения строятся динамические математические модели, а также математические модели, описывающие волновые процессы [2]. Также оно может быть базовым уравнением для исследования математических моделей шумового загрязнения окружающей среды. Одним из наиболее сильных источников шумового загрязнения является авиация [3]. Влияние авиационного шума на оператора авиационных эргатических систем управления исследовалось в [3].
В работах И.В. Мельниковой [4] построена теория M, N- функций, на основе которой исследуются абстрактные операторно-дифференциальные уравнения. Для исследования уравнений соболевского типа второго порядка
Au = Bi u + B 0 u + f (2)
в работах А.А. Замышляевой, например [5], было введено понятие вырожденного семейства M,N -функций, разработана теория полиномиально относительно ограниченных пучков операторов, и на ее основе построены пропагаторы уравнения (3):
U 0 =^ f ^ / A ( B )( A A — B i ) e^M , U i t =t^ M ( B ) Ae ^ d M , (3)
2ni2ni γγ найдено частное решение неоднородного уравнения (2) t u = J U0- 5 Ai-1 Qf (s) ds (4)
и получено общее решение задачи Коши в виде u (t) = Uu + U0u 0 + u.
Бычков Е.В., Соловьёва Н.Н., Математическая модель акустических волн
Свиридюк Г.А. в ограниченной области с «белым шумом»
В настоящей работе будет рассмотрено уравнение (1) в ограниченной области Ω⊂Rn c гладкой границей ∂Ω в виде o2 o utt = a2Δu+wKt(5)
с начальными условиями Коши
o lim u(τ) =u0, lim ut(τ) =u1,(6)
τ→0+ где a – фазовая скорость распространения волны (скорость звука в среде), а wK – «белый шум», характеризующий источники звука внутри области, u0 и u1 – начальная форма волны и начальная скорость волны (случайные величины) соответственно. На границе области зададим однородное условие Дирихле
u ( x , t ) =0, ( x , t ) ∈ ∂Ω× R , (7)
естественно, можно рассмотреть и неоднородное граничное условие, которое описывает случайное воздействие на границе области. Линейной заменой можно перейти от неоднородного граничного условия к однородному, поэтому без потери общности рассмотрим только условие вида (7). Символом uot (uott) обозначим первую (вторую) производную Нельсона–Гликлиха случайно- го процесса u . Под «белым шумом» wKt(t) будем понимать первую производную Нельсона–
o wK(t) 2t
Гликлиха винеровского процесса wK ( t ), т. е. wKt ( t ) =
Понятие производной Нельсона–Гликлиха введено в монографии [6], там же найдена первая производная произвольного случайного процесса. Позже вычислены производные случайных процессов высших порядков, и исследованы первые математические модели с «белым шумом» [7]. Производная Нельсона–Гликлиха базируется на понятии производной в среднем, введенном Нельсоном [8]. Помимо подхода к «белому шуму» как производной Нельсона–Гликлиха распространен подход Ито–Стратоновича–Скорохода, который используется в работе Ковача и Ларсона [9] и в [10]. Кроме того в работе [9] рассмотрено уравнение (5) в форме дифференциалов Ито с однородными начальными условиями, решение поставленной задачи найдено путем сведения уравнения к системе первого порядка. Аналогичного подхода придерживается И.В. Мельникова: в работе [11], в ней вводится понятие пространства обобщенных H -значных случайных величин, в которых H -значный белый шум оказывается гладким по переменной t . В работе [12] показано, что производная Нельсона–Гликлиха винеровского процесса хорошо согласуется с предсказаниями теории броуновского движения Эйнштейна–Смолуховского, поэтому стохастический процесс был назван «белым шумом». Данный подход успешно применяется и к исследованию дихотомий стохастического уравнения, заданного на многообразии [13], и к исследованию математических моделей измерительных устройств [12].
Статья помимо введения и списка литературы состоит из трех параграфов. В первом параграфе коротко описаны пространства случайных K -величин, случайных K -процессов и K -шумов, подробнее [14, 15]. Во втором параграфе результаты, полученные для детерминированного уравнения (3), переносятся в пространства K- шумов, затем абстрактные результаты применяются к исследованию математической модели (5)–(7).
1. Пространство К-шумов
Теория уравнений соболевского типа в настоящее время переносится в пространства К -шумов. В данном параграфе для полноты картины приведем лишь необходимые сведения о пространствах К -шумов, подчерпнутые в основном в [14, 15]. Обозначим через Ω≡ ( Ω , A , P ) полное вероятностное пространство. Измеримое отображение ξ : Ω→ R назовем случайной величиной . Множество случайных величин, чьи математические ожидания равны нулю (т. е. E ξ =0), а дисперсии конечны (т. е. D ξ < +∞ ), образует гильбертово пространство L 2 со скалярным произведением ( ξ 1 , ξ 2 ) = E ξ 1 ξ 2 . Обозначим через A 0 σ -подалгебру σ -алгебры A и
Математика
0 0
построим пространство L 2 случайных величин, измеримых относительно A o , тогда L 2 является подпространством пространства L 2. Пусть ^е L 2, тогда П ^ , где П : L 2 — L 0 - ортопроектор, будем называть условным математическим ожиданием случайной величины ^ и обозначим символом E ( ^ | A 0 ).
Пусть I = (0, T ), T е R + . Рассмотрим два отображения: f : I — L 2, которое каждому t е I ставит в соответствие случайную величину ^е L 2, и g : L 2 х Q — R , которое каждой паре ( £ , у ) ставит в соответствие точку ^ ( У ) е R . Отображение n : I х Q — R , имеющее вид П = n ( t, У ) = g ( f ( t ), у ), мы назовем ( одномерным ) случайным процессом . Если п. н. все траектории случайного процесса непрерывны, то такой процесс назовем непрерывным . Обозначим через CL 2 множество непрерывных случайных процессов, которое образует банахово пространство. Примером непрерывного случайного процесса является одномерный винеровский процесс в = в ( t ), который можно представить в виде ∞
в ( t )= E ^ k sin - (2 k + 1) t , (8)
k =0 2
где ^ k - некоррелируемые гауссовы случайные величины, такие что
E ^ k =0, D ^ k = [ f(2 k + 1) ] — 2 .
Теперь зафиксируем произвольный непрерывный случайный процесс ?е CL2 и t е I через N? обозначим ст-алгебру, порожденную случайной величиной n(t), а через Ef = E(• | N?) - условное математическое ожидание.
Пусть пе CL 2 , производной в среднем справа D ? (t , • ) ( слева D * n (t , • )) случайного процесса П в точке t е ( £ , т ) называется случайная величина
Df( tv) = lim E? f ? t' t'•>-?1
At —>0+ ^ A t fD?(t,•) = lim E? f ?t^?(t-At•■’U
^ At —0+ ^ At если предел существует в смысле равномерной метрики на R. Случайный процесс ? называется дифференцируемым в среднем справа (слева) на I, если в каждой точке t е I существует производная в среднем справа (слева). Пусть ?е CL2 - дифференцируемый случайный процесс в среднем справа и слева на I. Тогда симметрическая производная в среднем определяется как ? = DS? 1(D + D*)?. Симметрическую производную в среднем в дальнейшем будем называть
o производной Нельсона -Гликлиха. Через ?(l) , l е N, обозначим l -ю производную Нельсона-Гликлиха случайного процесса ?. Следует отметить, что если ?(t) является детерминированной функцией, то производная Нельсона-Гликлиха совпадает с классической производной. В случае одномерного винеровского процесса в = в(t) справедливо:
в ( t )
-
(i) в ( t ) = при всех t е R + ;
o ( 1 ) -1 - !
-
(ii) в ( t ) = ( - 1 ) 1 1-П(2 i - 1) ' ^ ( t T, l е N , l ^ 2.
i =1 (2 1 ) l
Построим пространства шумов C l L 2, l е N как пространство случайных процессов из CL 2, чьи траектории почти наверно дифференцируемы в смысле производной Нельсона-Гликлиха на I до порядка l включительно.
Бычков Е.В., Соловьёва Н.Н., Математическая модель акустических волн
Свиридюк Г.А. в ограниченной области с «белым шумом»
Пусть V - некоторое вещественное сепарабельное гильбертово пространство со скалярным произведением < • , • >. В пространстве ( V , < • , • >) выберем базис { ф к }, тогда каждый элемент
∞∞ u е V представим в виде и = Е^кФк = £ < и,фк > фк . Пусть K = Ук} - монотонно убывающая к=1 к=1
∞ числовая последовательность такая, что ^ук < +—. В пространстве L2 выберем к=1
∞ последовательность случайных величин {^к} таких, что Уу2 d^ < +—. Тогда через VKL2 к=1 ∞ обозначим гильбертово пространство случайных K - величин вида £ = ^Ук(;кФк. При этом для к=1
существования случайной K -величины ^е VK L 2 достаточно, например, чтобы D ^ k < const V к .
Заметим, что пространство VK L 2 гильбертово со скалярным произведением
∞
■ - ^Vk Е^к.
к =1
В пространстве CL 2 выберем последовательность случайных процессов { п к }, определим V - значный непрерывный случайный K - процесс формулой
∞
n ( t ) = ^ уШк ( t )фк , (9)
k =1
при условии, что ряд (9) сходится равномерно на любом компакте из I по норме VK L 2 . Введем в О ( l ) - о ( l )
рассмотрение производные Нельсона-Гликлиха случайного K -процесса п ( t ) = ^ Ук П к ( t ) ф к k =1
при условии, что в правой части существуют производные Нельсона-Гликлиха до порядка l включительно, и все ряды сходятся равномерно на любом компакте из I по норме V K L 2. Рассмотрим пространство C l ( I ; VK L 2) непрерывных случайных K -процессов, чьи траектории п.н. непрерывно дифференцируемы по Нельсону-Гликлиху до порядка l е N включительно. Примером K -процесса из пространства C 1 ( I ; VK L 2) служит винеровский K -процесс [15]
∞ wK(t ) = ^УкДк (tфк, где {вк } с ClL2 - последовательность одномерных винеровских процессов k =1
(или же математическая модель броуновского движения в теории Эйнштейна-Смолуховского) на I . Краткости ради пространство C 1 ( I ; VK L 2) будем называть пространством K - «шумов» .
2. Математическая модель
В данном параграфе мы рассмотрим вспомогательную задачу и для нее построим пропагаторы. Используя следующую лемму, мы можем перенести теорию пропагаторов и полиномиально ограниченных пучков операторов в пространство случайных К -величин
Лемма 1 . Пусть U , F - сепарабельные гильбертовы пространства и A е L(U ; F ) (линейный и непрерывный). Тогда A е L(UK L 2; FK L 2) .
Рассмотрим вспомогательную начальную задачу
o lim и(т) = и0, lim ut(т) = u1
-
т^0+
для абстрактного уравнения
Utt = B0 и + Nf,(11)
где B 0 е L(VK L 2; VK L 2), и е C + 2( I ; Vk L 2) - искомый случайный K -процесс, f е Cl + 1( I , Vli L 2) -«белый шум».
Список литературы Математическая модель акустических волн в ограниченной области с "белым шумом"
- Вишик, М.И. Краевые задачи для уравнений в частных производных и некоторых классов операторных уравнений / М.И. Вишик, О.А. Ладыженская // Успехи математических наук. - 1956. - Т. 11. - Вып. 6 (72). - С. 41-97.
- Информационно-логическое моделирование сбора и обработки информации при оценивании функциональной надежности оператора авиационных эргатических систем управления / А.В. Богомолов, В.Н. Зинкин, М.Д. Алёхин и др. // Труды Третьей международной научно-практической конференции «Человеческий фактор в сложных технических системах и средах» (Эрго-2018), Санкт-Петербург, 04-07 июля 2018 г. - С. 315-323.
- Методическое обеспечение системы автоматизированного мониторинга состояния операторов, подвергающихся воздействию авиационного шума / А.В. Богомолов, С.П. Драган, Ю.А. Кукушкин и др. // Материалы одиннадцатой международной конференции «Управление Развитием Крупномасштабных Систем» (MLSD'2018), Москва, 01-03 октября 2018 г. - С. 440-443.
- Melnikova, I.V. General theory of the ill-posed Cauchy problem / I.V. Melnikova // Journal of Inverse and Ill-Posed Problems. - 1995. - Vol. 3. - Iss. 2. - P. 149-171.
- Замышляева, А.А. Математические модели соболевского типа высокого порядка / А.А. Замышляева // Вестник ЮУрГУ. Серия: «Математическое моделирование и программирование». - 2014. - Т. 7, № 2. - С. 5-28.
- Gliklikh, Yu.E. Global and Stochastic Analysis with Applications to Mathematical Physics / Yu.E. Gliklikh. - London, Dordrecht, Heidelberg, N.Y., Springer, 2011. - 436 p.
- Гликлих, Ю.Е. Изучение уравнений леонтьевского типа с белым шумом методами производных в среднем случайных процессов / Ю.Е. Гликлих // Вестник ЮУрГУ. Серия: «Математическое моделирование и программирование». - 2012. - № 27 (286). - Вып. 13.- С. 24-34.
- Nelson, E. Dynamical theory of Brownian motion / E. Nelson. - Princeton: Princeton University Press, 1967. - 142 p.
- Kovacs, M. Introduction to Stochastic Partial Differential Equations / M. Kovacs, S. Larsson // New Directions in the Mathematical and Computer Sciences: сб. науч. тр. - National Universities Commission, Abuja, Nigeria, October 8-12, 2007. - Vol. 4. - C. 159-232. Publications of the ICMCS, Lagos, 2008.
- Zamyshlyaeva, A.A. The Linearized Benney-Luke Mathematical Model with Additive White Noise / A.A. Zamyshlyaeva, G.A. Sviridyuk // Semigroups of Operators - Theory and Applications. Springer Proceedings in Mathematics & Statistics, Springer, Cham, 2015. - Vol. 113. - P. 327-337.
- Мельникова, И.В. Обобщенная корректность задачи Коши для абстрактного стохастического уравнения с мультипликативным шумом / И.В. Мельникова, М.А. Альшанский // Труды института математики и механики УрО РАН. - 2012. - Т. 18, № 1. - С. 251-267.
- Сагадеева, М.А. Построение наблюдения для задачи оптимального динамического измерения по искаженным данным / М.А. Сагадеева // Вестник ЮУрГУ. Серия: «Математическое моделирование и программирование». - 2019. - Т. 12, № 2. - С. 82-96.
- Kitaeva, O.G. Exponential dichotomies in Barenblatt-Zheltov-Kochina model in spaces of differential forms with «noise» / O.G. Kitaeva, D.E. Shafranov, G.A. Sviridyuk // Вестник ЮУрГУ. Серия: «Математическое моделирование и программирование». - 2019. - Т. 12, № 2. - С. 47-57.
- Свиридюк, Г.А. Динамические модели соболевского типа с условием Шоуолтера-Сидорова аддитивными шумами / Г.А. Свиридюк, Н.А. Манакова // Вестник ЮУрГУ. Серия: «Математическое моделирование и программирование». - 2014. - Т. 7, № 1. - С. 90-103.
- Sviridyuk, G.A. Multipoint initial-final problem for one class of Sobolev type models of higher order with additive «white noise» / G.A. Sviridyuk, A.A. Zamyshlyaeva, S.A. Zagrebina // Вестник ЮУрГУ. Серия: «Математическое моделирование и программирование». - 2018. - Т. 11, № 3. - С. 103-117.