Эта статья посвящена специальной функции Эйри. Для функции напряжения Эйри, используемой в механике твердого тела, см. Стресс-функции.
В физических науках Функция Эйри (или же Функция Эйри первого рода) Ай (Икс) это специальная функция назван в честь британского астронома Джордж Бидделл Эйри (1801–1892). Функция Ai (Икс) и связанная функция Би (Икс), являются линейно независимыми решениями дифференциальное уравнение
известный как Уравнение Эйри или Уравнение Стокса. Это простейший второй порядок линейное дифференциальное уравнение с точкой поворота (точка, в которой характер решения меняется с колебательного на экспоненциальный).
Функция Эйри - это решение не зависящее от времени уравнение Шредингера для частицы, заключенной в треугольник потенциальная яма и для частицы в одномерном поле постоянной силы. По той же причине он также служит для обеспечения однородных полуклассических приближений вблизи точки поворота в Приближение ВКБ, когда потенциал может быть локально аппроксимирован линейной функцией положения. Решение с треугольной потенциальной ямой имеет прямое отношение к пониманию электронов, захваченных в полупроводнике. гетеропереходы.
Функция Эйри также лежит в основе формы интенсивности вблизи оптического направленного едкий, например, радуга. Исторически именно эта математическая проблема привела Эйри к разработке этой специальной функции.
который сходится Тест Дирихле. Для любого реального числа есть положительное действительное число такая, что функция является возрастающей, неограниченной и выпуклой с непрерывной и неограниченной производной на интервале . Сходимость интеграла на этом интервале проверяется критерием Дирихле после подстановки .
у = Ai (Икс) удовлетворяет уравнению Эйри
Это уравнение имеет два линейно независимый решения. С точностью до скалярного умножения Ai (Икс) является решением с условием у → 0 как Икс → ∞. Стандартный выбор для другого решения - функция Эйри второго рода, обозначенная Bi (Икс). Он определяется как решение с той же амплитудой колебаний, что и Ai (Икс) в качестве Икс → −∞, отличающееся по фазе на π / 2:
Характеристики
Значения Ai (Икс) и Bi (Икс) и их производные при Икс = 0 даются
Здесь Γ обозначает Гамма-функция. Отсюда следует, что Вронскиан Ай (Икс) и Bi (Икс) равно 1 / π.
Когда Икс положительно, Ai (Икс) положительно, выпуклый, и экспоненциально убывает до нуля, а Bi (Икс) положительный, выпуклый и экспоненциально возрастающий. Когда Икс отрицательно, Ai (Икс) и Bi (Икс) колеблются около нуля с постоянно увеличивающейся частотой и постоянно уменьшающейся амплитудой. Это подтверждается приведенными ниже асимптотическими формулами для функций Эйри.
снова с использованием несобственного интеграла Римана.
Асимптотические формулы
Ai (синий) и синусоидальная / экспоненциальная асимптотика Ai (пурпурный)
Bi (синий) и синусоидальная / экспоненциальная асимптотика Bi (пурпурный)
Как объясняется ниже, функции Эйри могут быть расширены до комплексной плоскости, давая целые функции. Асимптотика функций Эйри при | z | уходит в бесконечность при постоянном значении аргумент (z) зависит от arg (z): это называется Феномен Стокса. Для | arg (z) | <π имеем асимптотическая формула для Ai (z):[2]
и аналогичный для Bi (z), но применимо только когда | arg (z) | <π / 3:
Более точная формула для Ai (z) и формулу для Bi (z), когда π / 3 <| arg (z) | <π или, что то же самое, для Ai (-z) и Bi (-z), когда | arg (z) | <2π / 3, но не равны нулю:[2][3]
Когда | arg (z) | = 0 это хорошие приближения, но они не являются асимптотическими, потому что отношение между Ai (-z) или Bi (-z), и указанное выше приближение стремится к бесконечности всякий раз, когда синус или косинус стремится к нулю.Асимптотические разложения для этих лимитов также доступны. Они перечислены в (Abramowitz and Stegun, 1954) и (Olver, 1974).
Также можно получить асимптотические выражения для этих производных Ai '(z) и Bi' (z). Как и раньше, когда | arg (z) | <π:[3]
Аналогично, выражение для Ai '(-z) и Bi '(-z), когда | arg (z) | <2π / 3, но не равны нулю.[3]
Сложные аргументы
Мы можем расширить определение функции Эйри на комплексную плоскость следующим образом:
где интеграл по пути C начиная с бесконечности с аргументом −π / 3 и заканчивая бесконечной точкой с аргументом π / 3. В качестве альтернативы мы можем использовать дифференциальное уравнение у′′ − ху = 0 для продолжения Ai (Икс) и Bi (Икс) к целые функции на комплексной плоскости.
Асимптотическая формула для Ai (Икс) по-прежнему действует в комплексной плоскости, если главное значение Икс2/3 взят и Икс отделен от отрицательной действительной оси. Формула для Bi (Икс) действительно при условии Икс находится в секторе {Икс ∈ C : | arg (Икс) | <(π / 3) −δ} для некоторого положительного δ. Наконец, формулы для Ai (-Икс) и Bi (-Икс) действительны, если Икс находится в секторе {Икс ∈ C : | arg (Икс) | <(2π / 3) −δ}.
Из асимптотики функций Эйри следует, что как Ai (Икс) и Bi (Икс) имеют бесконечное количество нулей на отрицательной действительной оси. Функция Ai (Икс) других нулей на комплексной плоскости нет, а функция Bi (Икс) также имеет бесконечно много нулей в секторе {z ∈ C : π / 3 <| arg (z) | <π / 2}.
где обе поверхности имеют отражательную способность р и
это коэффициент ловкости.
Дифракция на круглом отверстии
«Функция Эйри» в смысле дифракции на круговой апертуре.
Самостоятельно, как третье значение термина, форма Диск Эйри в результате волны дифракция на круглой апертуре иногда также обозначается как Функция Эйри (см., например, здесь ). Эта функция тесно связана с Функция Бесселя.
Фрэнк Уильям Джон Олвер (1974). Асимптотики и специальные функции, Глава 11. Academic Press, Нью-Йорк.
Нажмите, WH; Теукольский С.А.; Феттерлинг, штат Вашингтон; Фланнери, BP (2007), «Раздел 6.6.3. Функции Эйри», Числовые рецепты: искусство научных вычислений (3-е изд.), Нью-Йорк: Издательство Кембриджского университета, ISBN978-0-521-88068-8