Skip to content

Airy function

In mathematics, the Airy function (or Airy function of the first kind) \mathbf{Ai(\boldsymbol x)} is a special function named after the British astronomer George Biddell Airy.

Version
v1 · 2026-09-28 · History
Domain-specific #
7908
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Special Functions → Mathematics

Core Idea

Airy function is treated here as the recurring crossdomainmodelsstructuresrepresentations identity summarized by this source-grounded definition: In mathematics, the Airy function (or Airy function of the first kind) \mathbf{Ai(\boldsymbol x)} is a special function named after the British astronomer George Biddell Airy. In mathematics, the Airy function (or Airy function of the first kind) \mathbf{Ai(\boldsymbol x)} is a special function named after the British astronomer George Biddell Airy. The function \operatorname{Ai}(x) and the related function \mathbf{Bi(\boldsymbol x)} are linearly independent solutions to the differential equation.

How would you explain it like I'm…

The Wiggle-Then-Smooth Curve

The Airy function is a special curve that math people use a lot. On one side it wiggles up and down like a wave. On the other side it stops wiggling and just changes smoothly. It is named after a man who studied stars, called George Airy.

Airy's Wave-to-Smooth Curve

The Airy function is a special curve named after the astronomer George Biddell Airy. It comes from a rule about how a curve bends: how fast the curve's slope changes has to equal the position x times the curve's height. On the left side, where x is negative, that rule makes the curve wiggle back and forth like a wave. On the right side, where x is positive, the rule makes it stop wiggling and change exponentially instead. There is also a partner curve, called Bi, that follows the same rule.

Solution of the Airy Equation

The Airy function Ai(x), named after astronomer George Biddell Airy, is a 'special function': a named function defined as a solution of an important equation. It solves the Airy (or Stokes) equation y'' − xy = 0, and together with a second solution Bi(x), which is linearly independent of it, it makes up all solutions. The behavior comes from comparing with the simpler equation y'' − ky = 0: when k is negative the solutions oscillate like sine waves, and when k is positive they behave exponentially. In the Airy equation, the coefficient is x itself, so the same function oscillates for negative x and behaves exponentially for positive x. The concept is the specific function defined this way, not just any curve that looks wavy on one side.

 

The Airy function of the first kind, Ai(x), is a special function named after George Biddell Airy. Ai and the Airy function of the second kind, Bi, are linearly independent solutions of the second-order linear differential equation y'' − xy = 0, known as the Airy or Stokes equation. Its behavior can be understood by comparison with y'' − ky = 0 for constant k: solutions are oscillatory when k is negative and exponential when k is positive. In the Airy equation the coefficient is x itself, so the solutions oscillate for x < 0 and are exponential for x > 0, with a transition near zero. What identifies the Airy function is being this specific solution of this specific equation, not merely having a similar wiggle-then-smooth shape.

Scope of Application

  • Definitions. For real values of x , the Airy function of the first kind can be defined by the improper Riemann integral.

  • Definitions. The standard choice for the other solution is the Airy function of the second kind, denoted \operatorname{Bi}(x).

  • Properties. This is supported by the asymptotic formulae below for the Airy functions.

  • Asymptotic formulae. As explained below, the Airy functions can be extended to the complex plane, giving entire functions.

  • Asymptotic formulae. The asymptotic behaviour of the Airy functions as goes to infinity at a constant value of depends on : this is called the Stokes phenomenon.

Clarity

A clear use of Airy function names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, the Airy function (or Airy function of the first kind) \mathbf{Ai(\boldsymbol x)} is a special function named after the British astronomer George Biddell Airy.

Manages Complexity

Airy function compresses multiple crossdomainmodelsstructuresrepresentations details into a stable diagnostic relation. The source shows both the central mechanism—for real values of x , the Airy function of the first kind can be defined by the improper Riemann integral.—and the practical consequence—this can be obtained by taking the Fourier transform of the Airy equation. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit.

Abstract Reasoning

  1. Type the carrier. Identify the crossdomainmodelsstructuresrepresentations entities to which the claim applies.
  2. State the relation. Use the source-grounded identity: In mathematics, the Airy function (or Airy function of the first kind) \mathbf{Ai(\boldsymbol x)} is a special function named after the British astronomer George Biddell Airy.
  3. Check operation and conditions. It is defined as the solution with the same amplitude of oscillation as \operatorname{Ai}(x) as x\to-\infty which differs in phase by \pi/2.
  4. Demand recognition evidence.

Knowledge Transfer

Within the home domain. Knowledge about Airy function transfers literally when a new case preserves the same carrier type, relation, and recognition test. For real values of x , the Airy function of the first kind can be defined by the improper Riemann integral. The standard choice for the other solution is the Airy function of the second kind, denoted \operatorname{Bi}(x). Beyond the home domain. No canonical parent is asserted for Airy function.

Neighborhood in Abstraction Space

Airy function sits in a moderately populated region (53rd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Continuum Mechanics & Field Models (42 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08