Home Overview Documents Content Dictionaries Software & Tools The OpenMath Society OpenMath Projects OpenMath Discussion Lists OpenMath Meetings Links

OpenMath Content Dictionary: airy

Canonical URL:
http://www.openmath.org/CDs/airy.ocd
CD File:
airy.ocd
CD as XML Encoded OpenMath:
airy.omcd
Defines:
Ai, Ai2, Bi, Bi2
Date:
2002-01-19
Version:
1
Review Date:
2003-04-01
Status:
experimental
Uses CD:
alg1, arith1, calculus1, fns1, euler, list1, nums1, odesoln1, relation1

This content dictionary contains symbols to describe the Airy functions and associated functions.


Ai

Description:

The symbol Ai defines the unary Airy Ai function; as in Abramovitz & Stegun equation 10.4.1. This is a solution to the equation:

$$w^{\prime\prime}-x*w=0$$

It is linearly independent to the Airy Bi function represented by the Bi symbol in this Content Dictionary and is specifically given by:

$$Ai(x)=Ai(0)~f(z)-(-Ai^\prime (0))~g(z)$$

where:

$$f(z)=\sum_{k=0}^\infty 3^k{\left (\frac{1}{3}\right )}_k \frac{z^{3k}}{(3k)!}$$

and:

$$g(z)=\sum_{k=0}^\infty 3^k{\left (\frac{2}{3}\right )}_k \frac{z^{3k+1}}{(3k+1)!}$$

Formal Mathematical property (FMP):
  
Ai = ODEsolution w , x . D ( D ( w ) ) - w x
Signatures:
sts


[Next: Bi] [Last: Bi2] [Top]

Bi

Description:

The symbol Bi defines the unary Airy Bi function. This is defined in Abramivitz and Stegun 10.4.1 and is a solution to the equation:

$$w^{\prime\prime}-x*w=0$$

It is linearly independant to the Airy Ai function represented by the Ai symbol in this Content Dictionary and is specifically given by:

$$Bi(x)=\sqrt{3}(Bi(0)~f(z)+(-Bi^\prime (0))~g(z))$$

where:

$$f(z)=\sum_{k=0}^\infty 3^k{\left (\frac{1}{3}\right )}_k \frac{z^{3k}}{(3k)!}$$

and:

$$g(z)=\sum_{k=0}^\infty 3^k{\left (\frac{2}{3}\right )}_k \frac{z^{3k+1}}{(3k+1)!}$$

Formal Mathematical property (FMP):
  
Ai = ODEsolution w , x . D ( D ( w ) ) - w x
Signatures:
sts


[Next: Ai2] [Previous: Ai] [Top]

Ai2

Description:

The symbol Ai2 takes two arguments, it represents derivatives of the Airy Ai function. The symbol Ai2(n,z) represents the n'th derivative of Ai(z).

Formal Mathematical property (FMP):
  
Ai ( z ) = Ai2 ( 0 , z )
Formal Mathematical property (FMP):
  
( d d z ( Ai2 ( n , z ) ) ) ( z ) = Ai2 ( n + 1 , z )
Signatures:
sts


[Next: Bi2] [Previous: Bi] [Top]

Bi2

Description:

The symbol Bi2 takes two arguments, it represents derivatives of the Airy Bi function. The symbol Bi2(n,z) represents the n'th derivative of Bi(z).

Formal Mathematical property (FMP):
  
Bi ( z ) = Bi2 ( 0 , z )
Formal Mathematical property (FMP):
  
( d d z ( Bi2 ( n , z ) ) ) ( z ) = Bi2 ( n + 1 , z )
Signatures:
sts


[First: Ai] [Previous: Ai2] [Top]

Home Overview Documents Content Dictionaries Software & Tools The OpenMath Society OpenMath Projects OpenMath Discussion Lists OpenMath Meetings Links