Introductions to AiryAi

Introduction to the Airy functions

General

In 1838, G. B. Airy investigated the simple-looking differential equation:

This is quite similar to the differential equation w''(z)- w(z)==0 for the hyperbolic sine and hyperbolic cosine functions, which has the general solution w(z)== (Subscript[c, 1])sinh(z)+(Subscript[c, 2])cosh(z). Airy built two partial solutions (Subscript[w, 1])(z) and (Subscript[w, 2])(z) for the first equation in the form of a power series w(z)==(∑_(j=0)^∞)(Subscript[a, j])(z^j). These solutions were named the Airy functions. Much later, H. Jeffreys (1928–1942) investigated these functions more deeply. The current notations Ai and Bi were proposed by J. C. P. Miller (1946).

The Airy functions Ai(z) and Bi(z) are the special solutions of the differential equation:

satisfying the following initial conditions:

These functions have different equivalent representations in the form of series or generalized hypergeometric functions. The hypergeometric representation can be conveniently used as a definition of the Airy functions.

Definition of Airy functions

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) can be defined by:

A quick look at the Airy functions

Here is a quick look at the graphics for the Airy functions and their derivatives along the real axis.

Connections within the group of Airy functions and with other function groups

Representations through more general functions

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) are particular cases of the more general Bessel, hypergeometric, and Meijer G functions.

The Airy functions can be represented as combinations of modified Bessel functions (Subscript[I, ν])(x) with argument x==((2 )/3)(z^(3/2)) and parameter ν==±(1/3),±(2/3) through the formulas:

Airy functions and their derivatives can be expressed as particular cases of single generalized Meijer G functions:

They cannot be represented as cases of single classical Meijer G functions. Such representations include combinations of two classical Meijer G functions:

The best-known properties and formulas for Airy functions

Real values for real arguments

For real values of argument z, the values of the Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) are real.

Simple values at zero

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) have rather simple values for argument z==0:

Analyticity

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) defined for all complex values of z, are analytic functions of z over the whole complex z-plane, and do not have branch cuts or branch points. These functions are entire functions with an essential singular point at z = (OverTilde[∞]).

Periodicity

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) are not periodic functions.

Parity and symmetry

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) have mirror symmetry:

Series representations

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) have rather simple series representations at the origin:

These series converge at the whole z-plane and their symbolic forms are the following:

Two sums in the previous formulas can be combined into one formula, and the resulting formulas can be rewritten as follows:

Interestingly, closed-form expressions for the truncated version of the Taylor series at the origin can be expressed in terms of the generalized hypergeometric function (Subscript[, 1])(Subscript[F, 2]), for example:

Asymptotic series expansions

The asymptotic behavior of the Airy functions Ai(z) and Bi(z) can be described through formulas that depend on the sector of Arg(z) (Stokes phenomenon). The following formulas are examples of asymptotic expansions that are valid for |Arg(z)|<π (for Ai(z) and Ai'(z)) and for the sector |Arg(z)|<(π/3) (for Bi(z) and Bi'(z)):

By using discontinuous functions such as ((-(z^3))^(1/3)), it is possible to write single expansions that are valid for all directions:

Integral representations

The Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) have rather simple integral representations through sine, cosine, and power functions:

Transformations

The argument of the Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) can be simplified for third roots:

Simple representations of derivatives

The derivatives of the Airy functions Ai(z) and Bi(z), and their derivatives Ai'(z) and Bi'(z) have simple representations that can also be expressed through Airy functions:

The symbolic ((n )^th)-order derivatives have more complicated representations in terms of the regularized hypergeometric function (Subscript[, 2])(Subscript[(OverTilde[F]), 3]):

Differential equations

The Airy functions Ai(z) and Bi(z) appeared as special solutions of the simple-looking linear second-order differential equation:

where (Subscript[c, 1]) and (Subscript[c, 2]) are arbitrary constants.

Additional restrictions on w(0) and w'(0) lead to corresponding Airy functions:

Similar properties are valid for derivatives of Airy functions:

Applications of Airy functions

Applications of Airy functions include quantum mechanics of linear potential, electrodynamics, electromagnetism, combinatorics, analysis of the algorithmic complexity, optical theory of the rainbow, solid state physics, radiative transfer, and semiconductors in electric fields.

Copyright