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

где
, введем обозначение

где
- натуральные числа.
Рассмотрим области

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


Обозначим через
вронскиан функций
.
Лемма 3.1. Для всех ![]()
![]()
справедливо
представление
![]()
где
не зависит от x.
Доказательство этой леммы полностью повторяет доказательство аналогичного утверждения для уравнений первого типа, приведенное в работе [3] (см. § 3).
Конкретный вид частичной суммы
зависит от
значений "главных" коэффициентов
в
асимптотическом
разложении (0.6) и будет приведен позднее. А пока в
соответствии с планом, изложенным во введении, продолжим
построение асимптотического представления фундаментального
решения
при
Положим в
соответствии с формулой (0.12)

Функция
- это на самом деле девять функций,
каждая из которых определена в области
и является в этой области задачи
(0.10)
при
По построению все эти функции согласованы в
общих частях областей
, поэтому из них легко строится
(см., например, [3], § 4) функция
, которая
определена уже для всех
, совпадает
в каждой из
областей
с построенной там функцией
и
является задачи (0.10) для всех
при
Функция
является асимптотическим
представлением
функции
при
Справедлива
Теорема 3.1.
В области
для
функции
- решения задачи (0.10), справедлива оценка
![]()
а в области
- оценка
![]()
где
- построенная выше функция,
-
произвольно, а постоянные
и M зависят от
и не
зависят от x, s и
.
Доказательство этой теоремы совершенно аналогично доказательству теоремы 3 работы [3].