При­ме­не­ние теста Фукса - Ко­ва­лев­ской - Пе­н­ле­ве для ре­ше­ния мо­дель­ной за­да­чи о на­пор­ной филь­тра­ции га­зо­вой смеси в сплош­ной среде (на при­ме­ре пнев­мо­об­ра­бот­ки уголь­но­го пла­ста).

Доб­ро­воль­ский Ю.Н.

В дан­ной ста­тье пред­ла­га­ет­ся тест Фукса - Ко­ва­лев­ской - Пе­н­ле­ве для ре­ше­ния мо­дель­ной за­да­чи о на­пор­ной филь­тра­ции га­зо­вой смеси в сплош­ной среде. Необ­хо­ди­мость при­ме­не­ния этого теста объ­яс­ня­ет­ся тем, что мно­го­чис­лен­ны­ми ис­сле­до­ва­ни­я­ми уста­нов­ле­но, что мно­гие из­вест­ные ин­те­гри­ру­е­мые нели­ней­ные урав­не­ния ма­те­ма­ти­че­ской фи­зи­ки об­ла­да­ют свой­ством Фукса - Ко­ва­лев­ской – Пе­н­ле­ве. Были най­де­ны также новые урав­не­ния с таким свой­ством. При про­вер­ке более слож­ных урав­не­ний и си­стем урав­не­ний на тест Фукса - Ко­ва­лев­ской – Пе­н­ле­ве могут по­яв­лять­ся ре­зо­нан­сы с вы­со­ки­ми но­ме­ра­ми. При этом труд­но­сти ана­ли­ти­че­ско­го ре­ше­ния быст­ро на­рас­та­ют. Од­на­ко в виду вы­со­кой ал­го­рит­мич­но­сти тест до­пус­ка­ет успеш­ное ис­поль­зо­ва­ние ме­то­дов сим­воль­ных вы­чис­ле­ний. На­при­мер, с по­мо­щью си­сте­мы Maple V уда­лось про­ве­сти пол­ную клас­си­фи­ка­цию ин­те­гри­ру­е­мых слу­ча­ев урав­не­ний мел­кой воды с дис­си­па­ци­ей и дис­пер­си­ей низ­ших по­ряд­ков. Идея ме­то­да со­сто­ит в сле­ду­ю­щем. По ана­ло­гии с обык­но­вен­ны­ми диф­фе­рен­ци­аль­ны­ми урав­не­ни­я­ми ре­ше­ния урав­не­ний с част­ны­ми про­из­вод­ны­ми можно ис­кать в виде раз­ло­же­ний, со­дер­жа­щих осо­бен­ность типа по­движ­но­го по­лю­са. По­ло­же­ние по­лю­са за­да­ет­ся с по­мо­щью про­из­воль­ной функ­ции. Пер­во­на­чаль­но ре­ше­ние ищет­ся в окрест­но­сти син­гу­ляр­но­го мно­го­об­ра­зия x-x0(t)=0 в виде обос­но­ван­но­го в ста­тье раз­ло­же­ния, где по­ка­за­тель α – целое по­ло­жи­тель­ное число, что обес­пе­чи­ва­ет по­люс­ный ха­рак­тер по­движ­ной осо­бен­но­сти ре­ше­ния. Функ­ция x0(t) счи­та­ет­ся про­из­воль­ной. По­лу­чен­ное ре­ше­ние будет общим, если в это раз­ло­же­ние вой­дут про­из­воль­ные функ­ции, при­чем число этих функ­ций равно по­ряд­ку рас­смат­ри­ва­е­мо­го урав­не­ния. Далее ре­ше­ние урав­не­ния в част­ных про­из­вод­ных ищут в окрест­но­сти син­гу­ляр­но­го мно­го­об­ра­зия ε(x,t)=0 в уста­нов­лен­ном ста­тье виде - обоб­щен­но­го раз­ло­же­ния сим­мет­рич­но­го по неза­ви­си­мым пе­ре­мен­ным. По­ка­за­но, как хо­ро­шо ра­бо­та­ет тест Фукса – Ко­ва­лев­ской – Пе­н­ле­ве для урав­не­ния Бюр­гер­са. Уста­нов­ле­но, что име­ет­ся один ре­зо­нанс n=2, для ко­то­ро­го удо­вле­тво­ря­ет­ся со­от­но­ше­ние сов­мест­но­сти, по­это­му его ре­ше­ние имеет тре­бу­е­мый про­из­вол в две функ­ции. При те­сти­ро­ва­нии пер­во­го урав­не­ния рас­смот­рен­ной си­сте­мы ме­то­дом Фукса - Ко­ва­лев­ской – Пе­н­ле­ве, было уста­нов­ле­но сле­ду­ю­щее: Пер­вое. По­сколь­ку оба сла­га­е­мые пра­вой части урав­не­ния имеют квад­ра­тич­ную нели­ней­ность, то от­сут­ству­ет осо­бен­ность типа по­движ­но­го по­лю­са, а при­сут­ству­ет ал­геб­ра­и­че­ская точка ветв­ле­ния. По­это­му ре­ше­ние ис­ка­лось в виде сте­пен­но­го ряда об­ще­го вида. При этом по­лу­че­ны неко­то­рые ре­ше­ния пол­но­стью сов­па­да­ю­щие с ре­ше­ни­я­ми, най­ден­ны­ми в ав­то­ром ран­нее. Вто­рое. По­сколь­ку с функ­ци­о­наль­ной точки зре­ния все урав­не­ния си­сте­мы имеют оди­на­ко­вую при­ро­ду, то этим свой­ством об­ла­да­ют и осталь­ные урав­не­ния си­сте­мы. Тре­тье. При взя­тии до­ста­точ­но боль­шо­го числа сла­га­е­мых в одном или дру­гом раз­ло­же­нии, труд­но­сти ана­ли­ти­че­ско­го ре­ше­ния быст­ро на­рас­та­ют, по­это­му был вы­пол­нен со­гла­со­ван­ный обрыв чле­нов ряда на­чи­ная с неко­то­ро­го k. В про­тив­ном слу­чае, можно ис­поль­зо­вать си­сте­му сим­воль­ных вы­чис­ле­ний, на­при­мер, пакет Maple V или Maple VII. Чет­вер­тое. По­лез­ность по­лу­чен­ных ре­зуль­та­тов за­клю­ча­ет­ся в том, что под­би­рая ис­ход­ное ре­ше­ние таким об­ра­зом, по ним можно апри­о­ри выйти на нуж­ный ис­сле­до­ва­те­лю ре­зуль­тат. Пятое. В сле­ду­ю­щей ста­тье будет по­ка­за­но, как при­ме­нить по­лу­чен­ные раз­ло­же­ния к дан­ной си­сте­ме или найти пре­об­ра­зо­ва­ние (если оно су­ще­ству­ет), ли­не­а­ри­зу­ю­щее дан­ную си­сте­му.


За­гру­зить (pdf)