next up previous
Next: Асимптотика ФР G(xs,t) при Up: ОБ АСИМПТОТИКЕ ФУНДАМЕНТАЛЬНОГО РЕШЕНИЯ Previous: Построение формального асимптотического разложения

3. Построение асимптотики ФР tex2html_wrap_inline3077 при tex2html_wrap_inline3089

Используя частичные суммы формальных рядов (2.1), (2.12), (2.13), (2.26), (2.30), (2.32), (2.33), (2.38), построим асимптотическое разложение решения tex2html_wrap_inline3077 задачи (0.10) при tex2html_wrap_inline4193 для всех tex2html_wrap_inline4195. Для асимптотического ряда
displaymath4197
где tex2html_wrap_inline4199, введем обозначение
displaymath4201
где tex2html_wrap_inline4203 - натуральные числа.

Рассмотрим области
eqnarray2766
где tex2html_wrap_inline4205 и определим в каждой из этих областей функции tex2html_wrap_inline4207 следующим образом:
eqnarray2768

eqnarray2770
Обозначим через tex2html_wrap_inline4209 вронскиан функций tex2html_wrap_inline4211.

Лемма 3.1. Для всех tex2html_wrap_inline4213tex2html_wrap_inline4215tex2html_wrap_inline4217 справедливо представление
eqnarray2772
где tex2html_wrap_inline4219 не зависит от x.

Доказательство этой леммы полностью повторяет доказательство аналогичного утверждения для уравнений первого типа, приведенное в работе [3] (см. § 3).

Конкретный вид частичной суммы tex2html_wrap_inline4223 зависит от значений "главных" коэффициентов tex2html_wrap_inline4225 в асимптотическом разложении (0.6) и будет приведен позднее. А пока в соответствии с планом, изложенным во введении, продолжим построение асимптотического представления фундаментального решения tex2html_wrap_inline3077 при tex2html_wrap_inline3137 Положим в соответствии с формулой (0.12)
eqnarray2776
Функция tex2html_wrap_inline4231 - это на самом деле девять функций, каждая из которых определена в области tex2html_wrap_inline4233 и является в этой области задачи (0.10) при tex2html_wrap_inline3137 По построению все эти функции согласованы в общих частях областей tex2html_wrap_inline4239, поэтому из них легко строится (см., например, [3], § 4) функция tex2html_wrap_inline4241, которая определена уже для всех tex2html_wrap_inline4243, совпадает в каждой из областей tex2html_wrap_inline4239 с построенной там функцией tex2html_wrap_inline4231 и является задачи (0.10) для всех tex2html_wrap_inline4243 при tex2html_wrap_inline3137 Функция tex2html_wrap_inline4241 является асимптотическим представлением функции tex2html_wrap_inline3077 при tex2html_wrap_inline3137 Справедлива

Теорема 3.1. В области tex2html_wrap_inline4261 для функции tex2html_wrap_inline3077 - решения задачи (0.10), справедлива оценка
eqnarray2782
а в области tex2html_wrap_inline4267 - оценка
eqnarray2785
где tex2html_wrap_inline4241 - построенная выше функция, tex2html_wrap_inline4271 - произвольно, а постоянные tex2html_wrap_inline4273 и M зависят от tex2html_wrap_inline3815 и не зависят от x, s и tex2html_wrap_inline4281.

Доказательство этой теоремы совершенно аналогично доказательству теоремы 3 работы [3].