Функция Эйри первого рода. Является частным решением (8.79) с коэффициентами

Является частным решением (8.79) с коэффициентами

. (8.80)

Условия нормировки

При малом аргументе учитываем (8.11)

,

из (8.80) находим

первое слагаемое дает нуль. Нормировка

. (8.81)

Интегральная нормировка

(8.82)

следует из (8.84). Выполняется

,

. (8.82а)

Доказательство (8.82а):

При используем (8.80) и заменяем

,

где

, ,

. (8.14).