Airy Function Calculator Ai(x) and Bi(x)

Airy function Ai(x), Bi(x) and derivatives calculator: power series, WKB asymptotic, zeros, 1/pi Wronskian and quantum mechanical turning point applications.

Calculation parameters
Was this calculator useful?

Airy functions

Airy functions, introduced by George Biddell Airy in 1838 studying rainbow light caustic, are two linearly independent solutions of Airy's differential equation:

y''(x) - x * y(x) = 0

Fundamental in quantum mechanics (classical turning points), optics (Bremsstrahlung caustics), signal processing and color theory. Standard solutions Ai(x) and Bi(x) form canonical basis for solution space.

Two functions: Ai and Bi

  • Ai(x): first Airy function, exponentially decaying for x > 0, oscillating for x < 0. Ai(0) = 1 / (3^(2/3) * Gamma(2/3)) ~ 0.3550.
  • Bi(x): second Airy function, exponentially growing for x > 0, oscillating for x < 0. Bi(0) = 1 / (3^(1/6) * Gamma(2/3)) ~ 0.6149.

Every general solution of Airy equation is c_1 * Ai(x) + c_2 * Bi(x). Pair (Ai, Bi) plays same role for Airy as (J_n, Y_n) for Bessel.

Series representation

Airy functions have convergent series around x = 0:

Ai(x) = c_1 * f(x) - c_2 * g(x), Bi(x) = sqrt(3) * (c_1 * f(x) + c_2 * g(x))

where c_1 = 1/(3^(2/3) * Gamma(2/3)) = 0.3550..., c_2 = 1/(3^(1/3) * Gamma(1/3)) = 0.2588..., and f, g defined by power series. Series converge for all real x but inefficient for |x| > 8, where asymptotic formulas are used.

WKB asymptotic

As x -> +infinity:

Ai(x) ~ exp(-zeta) / (2 * sqrt(pi) * x^(1/4))

Bi(x) ~ exp(zeta) / (sqrt(pi) * x^(1/4))

where zeta = (2/3) * x^(3/2). From WKB method (Wentzel-Kramers-Brillouin).

As x -> -infinity:

Ai(x) ~ sin(zeta + pi/4) / (sqrt(pi) * |x|^(1/4))

Bi(x) ~ cos(zeta + pi/4) / (sqrt(pi) * |x|^(1/4))

Damped oscillations with frequency growing as sqrt(|x|).

Zeros and Wronskian

Ai(x) and Bi(x) have infinitely many negative roots, all real distinct. First roots:

  • Ai: a_1 = -2.338, a_2 = -4.088, a_3 = -5.521, a_4 = -6.787
  • Bi: b_1 = -1.174, b_2 = -3.271, b_3 = -4.831, b_4 = -6.170
  • Asymptotic: a_k ~ -[(3 pi (4k-1))/8]^(2/3) for large k

Wronskian: W[Ai, Bi](x) = Ai(x) * Bi'(x) - Ai'(x) * Bi(x) = 1/pi. Constant indicates Ai and Bi linearly independent for every x.

Five calculator modes

  1. Ai(x): first solution, series or asymptotic.
  2. Bi(x): second solution, analogous with opposite decay.
  3. Derivatives Ai'(x), Bi'(x): term-by-term computation.
  4. Zeros: roots of Ai, Bi, Ai', Bi' tabulated.
  5. WKB asymptotic: exact series vs asymptotic comparison.

Quantum mechanics: turning points

One-dimensional Schrodinger equation with linear potential V(x) = F*x becomes:

-hbar^2/2m * psi''(x) + F*x * psi(x) = E * psi(x)

Substituting xi = (2mF/hbar^2)^(1/3) * (x - E/F), reduces to psi''(xi) = xi * psi(xi), Airy equation. Solution: psi = Ai(xi), represents particle in constant electric field or linear gravity. Bound state of neutron above gravitational plate uses Ai zeros: E_n = cbrt(m g^2 hbar^2 / 2) * |a_n|.

Optics: rainbow caustic

Airy studied (1838) intensity distribution near rainbow edge. Rigorous calculation gives intensity pattern proportional to Ai^2, showing 'supernumerary' weak oscillations inside primary rainbow, separated from 'Alexander's dark band' between primary and secondary.

Applications

  • Quantum mechanics: tunneling through barriers, linear oscillator, atom in electric field.
  • Optics: caustics (wavefront edges), prism diffraction, mirage effect.
  • Acoustics: propagation in media with refractive index gradient.
  • Geophysics: seismic wave propagation in variable-density lithosphere.
  • Engineering: aerodynamic stability analysis, variable Reynolds flows.
  • Applied math: singular ODE solution via WKB transformations.

History of the Airy functions

The functions are named after the English astronomer and mathematician George Biddell Airy, who introduced them in 1838 while studying the intensity of light near a caustic, that is the bright curve formed when light rays concentrate, as in the rainbow. Airy, who was long Astronomer Royal of Great Britain, was trying to explain the fine structure of the rainbow's bright bands, which geometric theory could not describe. His wave analysis led to an integral, today known as the Airy integral, which defines the function Ai(x). From this 19th-century optical problem grew one of the most important special functions of mathematical physics, today central in quantum mechanics, optics and wave theory.

The Airy functions in modern physics

The Airy functions are ubiquitous in problems where a physical quantity passes from oscillatory to exponential behaviour. In quantum mechanics they describe the wavefunction of a particle near a classical turning point, where the energy equals the potential: they are the key to the WKB method and its connection formulas, and they govern the phenomenon of tunnelling. The function Ai(x) exactly solves the problem of a particle in a constant force field, like an electron in a uniform electric field. In optics, besides the rainbow caustic, the Airy functions describe the Airy beams, particular light rays that propagate by curving without spreading, discovered experimentally in 2007. They also appear in the theory of dispersive waves and in the physics of semiconductors.

Updated July 2026

Frequently Asked Questions

What are Airy functions?

They are two special functions, Ai(x) and Bi(x), that solve the Airy differential equation y'' = x·y, the simplest linear second-order equation with a turning point. The function Ai(x) decays exponentially for positive x and oscillates for negative x; Bi(x) instead grows exponentially for positive x. They are fundamental in quantum mechanics, optics and wave theory.

What is the difference between Ai and Bi?

They are the two linearly independent solutions of the Airy equation. Ai(x) is the 'regular' solution: it decays to zero exponentially as x → +∞ and oscillates in a damped way as x → −∞. Bi(x) is the 'irregular' solution: it grows exponentially as x → +∞. Together they form a complete basis: every solution of the Airy equation is a linear combination of Ai and Bi, and their Wronskian equals 1/π.

What is the Airy equation?

It is the differential equation y'' = x·y, that is the second derivative equal to the product of the variable and the function. It is notable because it has a 'turning point' at x = 0: for x > 0 the solutions behave exponentially, for x < 0 in an oscillatory way. It is the canonical form of countless physical problems near a point where the behaviour changes nature, as in quantum mechanics at classical turning points.

What is the WKB asymptotic?

It is the approximation of the Airy functions for large values of |x|. For large positive x, Ai(x) ≈ e^(−ζ)/(2√π·x^(1/4)) with ζ = (2/3)x^(3/2), an exponential decay; for large negative x, Ai oscillates like sin(ζ + π/4)/(√π|x|^(1/4)). The name WKB comes from the Wentzel-Kramers-Brillouin method in quantum mechanics, where the Airy functions connect the classical and forbidden regions.

Where are the zeros of the Airy functions?

All the zeros of Ai and Bi are real and negative. The first zeros of Ai are about −2.338, −4.088, −5.521; those of Bi are −1.174, −3.271, −4.831. There are no zeros for positive x, where the functions decay or grow monotonically. Asymptotically, the kth zero of Ai is near −(3π(4k−1)/8)^(2/3). In quantum mechanics, these zeros give the energy levels of a particle in a linear field.

What is the Wronskian of the Airy functions?

The Wronskian W[Ai, Bi] = Ai(x)·Bi'(x) − Ai'(x)·Bi(x) is a constant equal to 1/π for every value of x. This constancy confirms that Ai and Bi are linearly independent solutions of the Airy equation. The Wronskian is a fundamental tool in the theory of differential equations: its constant, non-zero value guarantees that the two functions form a complete basis of the solution space.

Why do they appear in quantum mechanics?

Because they describe the wavefunction of a particle near a classical turning point, where the total energy equals the potential energy. At these points the WKB approximation, which divides space into classically allowed (oscillatory) and forbidden (exponential) regions, fails; the Airy functions provide the exact connection between the two regions. They thus govern quantum tunnelling and the behaviour of particles in uniform force fields.

Who introduced the Airy functions?

They were introduced by the English astronomer George Biddell Airy in 1838, studying the intensity of light in the rainbow and more generally near an optical caustic. Airy, British Astronomer Royal, was trying to explain the bright bands that geometric theory did not describe. The function Ai(x) arose from his integral. Today the Airy functions are central in quantum mechanics, optics, wave theory and semiconductor physics.

Comments (0)

No comments yet. Be the first!