МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ, ЧИСЛЕННЫЕ МЕТОДЫ И КОМПЛЕКСЫ ПРОГРАММ
УДК 517.953
О КОРРЕКТНОСТИ МАТЕМАТИЧЕСКОЙ МОДЕЛИ МАЛЫХ ПОПЕРЕЧНЫХ КОЛЕБАНИЙ СТИЛТЬЕСОВСКОЙ СТРУНЫ С ПРОИЗВОЛЬНЫМ
РАСПРЕДЕЛЕНИЕМ МАСС
Меач Мон
Существование классического решения математической модели, описывающей некоторый процесс в среде с особенностями, которые приводят к потере гладкости у решения, очень важны для приложений. В работе используется поточечный подход к трактовке решения, предложенный Ю.В. Покорным в 1999 году. Этот подход показал свою эффективность не только при изучении линейных одномерных краевых задач, но и нелинейных.
Ключевые слова: математическая модель, стилтьесовская струна, собственные колебания, вынужденные колебания, корректность модели.
Введение. Для приложений важно знать значение решения в каждой точке, а для анализа решения - и ее производных до некоторого порядка. В то же время наличие локализованных особенностей у внешней среды (типа пружины), сосредоточенных сил у внешней силы и внутренних особенностей системы, как правило, приводит к потере гладкости у решения. Применение теории обобщенных функций к данным задачам не дает нужного эффекта, так как проявляется ряд трудно разрешимых проблем. Во-первых, возникает необходимость умножения обобщенной функции на разрывную, а это проблема не решена до сих пор. Во-вторых, при обобщенной трактовке исследователь может гарантировать наличие только слабого решения, что в приложениях не дает требуемой информации.
Мы используем поточечный подход, предложенный Ю.В. Покорным [1] в 1999 году и показавший свою эффективность в одномерных задачах [2-9].
1. Проблема разрешимости математической модели малых колебаний стилтьесовой
Меач Мон, аспирант,
Воронежский государственный университет; Россия, г. Воронеж, e-mail: [email protected]
© Меач Мон, 2014
струны. В этом параграфе доказывается, что при определенных условиях на начальные данные и /(х, /) решение математической модели
. . d2u д ( du J dQ
M■x І? =5Л p< x) & J" u7ï+f 1 x-t)-
u(0j) = u((j) = 0, (1)
u{x, 0) = <p0 С x), u, С x, 0) = p^x),
существует в классе Е - функций и(х,/) непрерывных по совокупности переменных, сама функция и( х, t) и ее производная и' (х, ?) при всех фиксированных х имеют непрерывные производные до второго порядка по переменной t; при каждом t и(х,^ абсолютно непрерывна по переменной х на отрезке [О:»]: первая производная н'.(х.О - а -абсолютно непрерывна по переменной х для всякого фиксированного t .
Уравнение в (1) задано при всех (х, Г), принадлежащих декартовому произведению множеств [0; (?] и [0; Т]. Первое множество строится следующим образом. Пусть в (а) - множество точек разрыва функции а(х), которая порождает на [0; /;] меру а .
На [(): I ] введем метрику
р(х; у) =| а(х) — <т(у) \. Достаточно очевидно, что О;£ ,р - неполное метрическое пространство. Стандартное пополнение (с точностью до изоморфизма) приводит к множеству [0;/] в котором
каждая точка £ е S(a) заменяется на тройку собст-
венных элементов £ — 0; £; Ç + 0 .
Пусть G(x, s) - функция влияния граничной
задачи
d ( dv Л dQ dF
Lv =--------------------1 p(x)— + v-=-,
da ^ chc ) da da
v(0) = v(£) = 0,
существование и единственность которой доказаны в работах [2], [3].
Тогда, разрешимость математической модели (1) эквивалентна разрешимости системы
Ou
Ma (s) ТТ (St ) “ f (S t) Ot
da(s) = u(x, t),
(2)
u(x,0) = (p(j (x), Т (x,0) = эд ( x).
Проинтегрировав дважды по переменной t в пределах от 0 до t получим, что разрешимость (2) эквивалентна разрешимости в Е уравнения Фредгольма первого рода
(Аи)(х, ,) = 2(х, t), (3)
где
(Аи)(х, €) = 10(х, 5)м(«, €) сМ («) +1 (г - т)и(х, г) ¿г (4)
решение в Е, если функция г(х, t) образует множества Е , т. е. г <е АЕ .
Единственность классического решения математической модели (1) доказана А.В. Баевым [10].
2. Корректность математической модели малых колебаний струны с произвольным распределением масс. В этом параграфе показывается, что при малом изменении начальных условий щ (х) и щ (х) соответствующее решение математической модели
д2и д ( ди Л dQ
'■(х)^’Мр(х)ъГ"^+ЛхЛ (6)
и(0,/) = и(£,/) = 0, и(х, 0) = (р0(х), и, (х, 0) = щ( х), изменяется мало.
Пусть щ (х,,) и щ (х,,) - решения модели (6) при начальных данных <рЦ) (х), щ(1) (х) и щ(2) (х)
(2) ( x) соответственно, т. е. решения моделей
д2и O ( Ou Л dQ М,(x)TTT = ^-| P(x)^~ 1“Тт~ + f(x’t)’
Ot 0(J\ OX J d(7
w(0,/) = u(£,f) = 0,
(7)
u(x, 0) = ^°(x),
Г0
и1 (х, 0) = щ(,)( х),
(1 = 1,2 ). Обозначим через и(х,,) их разность: и (х,,) = щ (х,,) - щ (х,,) .
Также как и при доказательстве единственности решения математической модели, для функции и( х,,) рассмотрим интеграл
д2и „ , , ч ,
иQст da dt, (8)
JJ
М, (x)
Ot2
д ( Ou
д, p(x) â
(x, f ) = J G(x, s) % (s) + іф) + J (f - z)f(s, z)dz
da(s). (5)
Нетрудно видеть, что уравнение (3) имеет
который равен нулю.
С другой стороны, разбивая интеграл (8) на три, интегрируя второй интеграл по частям и применяя те же рассуждения, что и в работе [10], будем иметь
. . A., ¡j и
0 0
-І
2J
Ot
- - , ч д , > I dQ і, ,
—тМ (x)------------p(x)— + u— Idadt =
Ot1 a 0,1 Ox I da1
Ot
(Х,Ґ
(x,0)
p(x)
Ox Ot
x=0 0
j — d I — J dt + -j(м2(х,Г’)-м2(х,0)|й?2(х) =
1
+-
1 1 I r) \ 1 f 1 f I r) \ 1 '
dM(x)--^(x)dM(x) + -^p(x)\^(xX)J dx--^p{x)<pl{x)dx-\
î , î | u1 (x, Ґ ) dQ(x) - - j <pl (x) dQ(x),
и
z
так как и(х, 0) = щ0(х), щ(х, 0) = щ0х(х), и,(х,0) = ^(х) и ^(0,0 =^(£,() =0 в силу граничных условий. Таким образом, приходим к равенству
^(1(х’пТ^(х)+
+ ^}кх)(^(х>:П ] ife + yjM2(x,r)û?ô(x) = = ^}^і2(х)йй^(х)-
(9)
1 ^ 2 1 (
+ -1 Р(х)<Ро (х) ^ + т { (х) 4?(х),
2 0 2 0
из которого следует, что левая часть мала, так как по условию правая часть мала. Обозначая через є правую часть равенства (9), найдем, что для всякого '/' є |0,/| и каждого хє[0;^] будем иметь
х ( \ 2
||— 0,Г*)1 йМ(5)<е (хє[о^]х) (10)
I P<x)( ^ <s,T*) ] ds <є.
5x
Покажем, что для всех х є 10; (| и /' є [0;Г] величина | м(х,Г*) | мала, если є мало. Имеем (после применения неравенства Коши-Буняковского)
I u< x, T *) |<
112 ds
v í î5u <sT
<4i
&
V2
ds
Ге,
■ йЪ
V0 V“ / P<J)j где c0 = min p(x) > 0 . Таким образом, из
*E[0;.f]s
последнего неравенства и следует требуемое. Другими словами, показана корректность математической модели малых вынужденных колебаний стил-тьесовской струны.
Заключение. В работе доказана корректность математической модели вынужденных малых колебаний струны с произвольным распределением масс, помещенной во внешнюю среду с локализованными особенностями. Корректность модели позволяет утверждать: задача нечувствительна к незначительным изменениям начальных данных, что позволяет применять различные численные схемы нахождения приближенного решения, как, например, в работах [11]—[15].
Библиографический список
1. Покорный, Ю. В. Интеграл Стилтьеса и производные по мере в обыкновенных дифференциальных уравнениях / Ю.В. Покорный // ДАН. -1999. - Т. 364. - № 2. - С. 167-169.
2. Покорный, Ю. В. Осцилляционная теория Штурма-Лиувилля для импульсных задач / Ю. В. Покорный, М. Б. Зверева, С. А. Шабров // Успехи математических наук. - 2008. - Т. 63. -Вып. 1 (379). - С. 98-141.
3. Осцилляционный метод Штурма в спектральных задачах / Покорный Ю.В. [и др.] -М.: Физматлит, 2009. - 192 с.
4. Покорный, Ю. В. О нерегулярном расширении осцилляционной теории спектральной задачи Штурма-Лиувилля / Ю. В. Покорный, М. Б. Зверева, А. С. Ищенко, С. А. Шабров // Математические заметки. - 2007. - Т. 82. - № 4. - С. 578-582.
5. Pokornyi, Yu. V. An Irregular Extension of the Oscillation Theory of the Sturm-Liouville Spectral Problem / Yu.V. Pokornyi, M.B. Zvereva, S.A. Shabrov, A.S. Ishchenko // Mathematical Notes. -2007. - Т. 82. - № 3-4. - С. 518-521.
6. Pokornyi, Yu. V. Toward a Sturm-Liouville Theory for an Equation with Generalized Coefficients / Yu. V. Pokornyi, S. A. Shabrov // Journal of Mathematical Sciences. - 2004. - Т. 119. - № 6. - С. 769787.
7. Давыдова, М.Б. О числе решений нелинейной краевой задачи с интегралом Стилтьеса / М.Б. Давыдова, С.А. Шабров // Известия Саратов-
References
1. Pokornyiy, Yu. V. Integral Stiltesa i proizvodnyie po mere v obyiknovennyih differentsialnyih uravneniyah / Yu.V. Pokornyiy // DAN. - 1999. - T. 364. - № 2. - S. 167-169.
2. Pokornyiy, Yu. V. Ostsillyatsionnaya teo-riya Shturma-Liuvillya dlya impulsnyih zadach / Yu. V. Pokornyiy, M. B. Zvereva, S. A. Shabrov // Uspehi matematicheskih nauk. - 2008. - T. 63. - Vyip. 1 (379). - S. 98-141.
3. Ostsillyatsionnyiy metod Shturma v spektralnyih zadachah / Pokornyiy Yu.V. i dr. - M.: Fizmatlit, 2009. - 192 s.
4. Pokornyiy, Yu. V. O neregulyarnom ras-shirenii ostsillyatsionnoy teorii spektralnoy zadachi Shturma-Liuvillya / Yu. V. Pokornyiy, M. B. Zvereva, A. S. Ischenko, S. A. Shabrov // Matematicheskie zametki. - 2007. - T. 82. - № 4. - S. 578-582.
5. Pokornyi, Yu. V. An Irregular Extension of the Oscillation Theory of the Sturm-Liouville Spectral Problem / Yu.V. Pokornyi, M.B. Zvereva, S.A. Shabrov, A.S. Ishchenko // Mathematical Notes. -2007. - T. 82. - № 3-4. - S. 518-521.
6. Pokornyi, Yu. V. Toward a Sturm-Liouville Theory for an Equation with Generalized Coefficients / Yu. V. Pokornyi, S. A. Shabrov // Journal of Mathematical Sciences. - 2004. - T. 119. - № 6. - S. 769787.
7. Davyidova, M. B. O chisle resheniy neli-neynoy kraevoy zadachi s integralom Stiltesa / M.B. Davyidova, S.A. Shabrov // Izvestiya Saratovskogo universiteta. Novaya seriya. Seriya: Matematika.
и
2
x
0
ского университета. Новая серия. Серия: Математика. Механика. Информатика. - 2011. - Т. 11. - №
4. - С. 13-17.
8. Давыдова, М. Б. О нелинейных теоремах сравнения для дифференциальных уравнений второго порядка с производными Радона-Никодима / М. Б. Давыдова, С. А. Шабров // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2013. - № 1. - С. 155-160.
9. Шабров, С. А. Об одной математической модели малых деформаций стержневой системы с внутренними особенностями / С. А. Шабров // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2013. - № 1.
- С. 232-250.
10. Баев, А. Д. О единственности решения математической модели вынужденных колебаний струны с особенностями / А. Д. Баев, С. А. Шаб-ров, Меач Мон // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2014. - № 1. - С. 50-55.
11. Зверева, М. Б. Об адаптации метода конечных элементов для решения граничной задачи с дифференциалами Стилтьеса на геометрическом графе / М. Б. Зверева, С. А. Шабров, Е. В. Лылов // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2014. - № 1. - С. 97-105.
12. Шепилова, Е. В. О решении уравнения типа Шредингера с постоянным оператором проекционно-разностным методом со схемой Кранка-Николсон по времени / Е. В. Шепилова // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2011. - № 2. -С 141-146.
13. Нгуен Тыонг Хуен Сходимость проекционно-разностного метода приближенного решения параболического уравнения с интегральным условием на решение / Нгуен Тыонг Хуен // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2011. - № 1. - С 202-208.
14. Сотников, Д. С. Сходимость в сильных нормах проекционно-разностного метода для квазилинейного параболического уравнения / Д.С. Сотников // Вестник Воронежского государственного университета. Серия: Физика. Математика. -2009. - № 2. - С 126-133.
15. Сотников, Д. С. Сходимость проекционно-разностного метода для квазиленейных параболических задач в условиях обобщенной разрешимости / Д.С. Сотников // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2009. - № 1. - С 170-176.
Mehanika. Informatika. - 2011. - T. 11. - № 4. - S. 13-17.
8. Davyidova, M. B. O nelineynyih teoremah
sravneniya dlya differentsialnyih uravneniy vtorogo poryadka s proizvodnyimi Radona-Nikodima / M. B. Davyidova, S. A. Shabrov // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika.
Matematika. - 2013. - № 1. - S. 155-160.
9. Shabrov, S. A. Ob odnoy matematicheskoy modeli malyih deformatsiy sterzhnevoy sistemyi s vnutrennimi osobennostyami / S. A. Shabrov // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika. - 2013. - №
1. - S.232-250.
10. Baev, A. D. O edinstvennosti resheniya
matematicheskoy modeli vyinuzhdennyih kolebaniy strunyi s osobennostyami / A. D. Baev, S. A. Shabrov, Meach Mon // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika.
Matematika. - 2014. - № 1. - S.50-55.
11. Zvereva, M. B. Ob adaptatsii metoda
konechnyih elementov dlya resheniya granichnoy zadachi s differentsialami Stiltesa na geometricheskom grafe / M. B. Zvereva, S. A. Shabrov, E. V. Lyilov // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika.
Matematika. - 2014. - № 1. - S.97-105.
12. Shepilova, E. V. O reshenii uravneniya tipa Shredingera s postoyannyim operatorom pro-ektsionno-raznostnyim metodom so shemoy Kranka-Nikolson po vremeni / E. V. Shepilova // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika. - 2011. -№ 2. - C.141-146.
13. Nguen Tyiong Huen Shodimost proek-
tsionno-raznostnogo metoda priblizhennogo
resheniya parabolicheskogo uravneniya s integralnyim usloviem na reshenie / Nguen Tyiong Huen // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika. - 2011. -№ 1. - C. 202-208.
14. Sotnikov, D. S. Shodimost v silnyih normah proektsionno-raznostnogo metoda dlya kvazilineynogo parabolicheskogo uravneniya / D.S. Sotnikov // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika. - 2009. - №
2. - C. 126-133.
15. Sotnikov, D. S. Shodimost proektsi-onno-raznostnogo metoda dlya kvazileneynyih parabolicheskih zadach v usloviyah obobschennoy razreshimosti / D.S. Sotnikov // Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika. - 2009. - № 1. - C. 170-176.
ABOUT THE CORRECTNESS OF MATHEMATICAL MODELS OF SMALL TRANSVERSE VIBRATIONS STYLESOURCE STRINGS WITH
ARBITRARY MASS DISTRIBUTION
Meach Mon
graduate student,
Voronezh State University,
Russia, Voronezh,
e-mail: [email protected]
Existence of a classical solution of a mathematical model describing the process in some environments with features that lead to the loss of smoothness of the solution, it is very important for applications. In this paper we use the pointwise approach proposed Yu. V. Porornii in 1999, to the interpretation of solutions. This approach has been shown to be effective not only in the study of linear one-dimensional boundary value problems, but also non-linear. In the first section of the paper, we obtain sufficient conditions for the existence of a mathematical model of the studied solutions. The second section is devoted to the proof of the continuous dependence on the initial conditions.
Keywords: Mathematical model, Stieltjes String, natural oscillations, forced oscillations, correctness model.
15 - 21 сентября 2014 года состоится VII Международная научная конференция «Современные методы прикладной математики, теории управления и компьютерных технологий», организованная Московским государственным университетом им. М.В. Ломоносова, Санкт-Петербургским государственным университетом, Воронежским государственным университетом, Воронежским государственным техническим университетом, Пермским национальным исследовательским политехническим университетом, Пермским государственным национальным исследовательским университетом, Воронежским институтом ГПС МЧС России, Тамбовским государственным техническим университетом. Во время ее работы планируется проведение V Международной научно-практической конференции «Пожарная безопасность: проблемы и перспективы».
На конференции предполагается работа по следующим направлениям:
- Математическое моделирование, управление чрезвычайными ситуациями и оценка риска.
- Технологии обеспечения оперативно-служебной деятельности Государственной противопожарной службы. Актуальные проблемы обеспечения пожарной безопасности.
- Технологии тушения пожаров и спасения людей.
- Социально-гуманитарные науки: теоретические подходы, эмпирические исследования, практические решения.
- Технологии контроля и прогнозирования свойств веществ, материалов и изделий.
- Информационно-психологическая безопасность, медицинское обеспечение ликвидации последствий ЧС.
- Технологии гражданской защиты. Системы пожарного мониторинга.
- Теоретико-методологические основы анализа и управления кадрового, правового и психологического обеспечения в системе МЧС России.
По результатам конференции планируется издание сборника материалов и электронная публикация докладов участников на сайте института: http://www.vigps.ru, Шр://вигпс.рф.
Регистрационный взнос не предусмотрен.
По всем вопросам обращаться в оргкомитет конференции по адресам:
Электронный: [email protected]
Почтовый: 394052, г. Воронеж, ул. Краснознаменная, 231.
Телефоны: (473) 277-86-53, (473) 236-33-05 - дежурная часть;
(473)242-12-63 - организационно-научный и редакционно-издательский отдел (Шимон Николай Степанович - начальник отдела; Никитская Людмила Михайловна - научный сотрудник).