Математическая модель акустических волн в ограниченной области с "белым шумом"
Автор: Бычков Е.В., Соловьва Н.Н., Свиридюк Г.А.
Рубрика: Математика
Статья в выпуске: 3 т.11, 2019 года.
Бесплатный доступ
Представлен новый взгляд на классическую задачу о распространении акустических волн в ограниченной области с постоянной фазовой скоростью. Классическая постановка формулируется в детерминированных пространствах, а в данной работе - в пространствах К-«шумов». Исследуется начально-краевая задача для неоднородного стохастического гиперболического уравнения. Начальные данные являются случайными K-величинами, а функция неоднородности - случайным K-процессом в абстрактной постановке. При рассмотрении приложения функция неоднородности задается как «белый шум». В данной работе под термином «белый шум» понимается первая производная в смысле Нельсона-Гликлиха винеровского К-процесса. Данную задачу можно считать обобщением классической, поскольку производная Нельсона-Гликлиха от детерминированной функции совпадает с классической производной. Результаты, полученные для абстрактного детерминированного гиперболического уравнения, переложены на стохастический случай. Абстрактные результаты применяются к математической модели распространения акустических волн в ограниченной области из Rn с гладкой границей с неоднородностью в виде «белого шума».
Акустические волны, задача коши-дирихле, "белый шум", винеровский к-процесс, пропагаторы
Короткий адрес: https://sciup.org/147232818
IDR: 147232818 | УДК: 517.9 | DOI: 10.14529/mmph190302
Mathematical model of acoustic waves in a bounded domain with “white noise”
The article presents a fresh approach at the classical problem of the acoustic waves propagation in a bounded region with a constant phase velocity. The classical statement of the problem is formulated in deterministic spaces, but in that work this problem will be studied in spaces of K-“noise”. An initial-boundary value problem for an inhomogeneous stochastic hyperbolic equation is investigated. The initial data are a random K-variables, and the inhomogeneity function is a random K-process in the general case. The inhomogeneous function is defined as “white noise”, in the application. In this paper the term “white noise” refers to the first derivative in the sense of Nelson-Gliklich Wiener K-process. This problem can be considered as generalization of the classical, since the Nelson-Gliklich derivative of the deterministic function coincides with the classical derivative. In the article, the results are obtained for an abstract deterministic hyperbolic equation are shifted to the stochastic case. Abstract results are applied to the mathematical model of the acoustic waves propagation with additive “white noise” in a bounded region from Rn with a smooth boundary.
Текст научной статьи Математическая модель акустических волн в ограниченной области с "белым шумом"
Классическое гиперболическое уравнение математической физики 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.