\documentclass[]{amsbook}
\usepackage{amsmath,amsopn}
\usepackage{graphicx}
\usepackage{hyperref,url}
% BEGIN SPECIAL COMMANDS
\newcommand{\MADerror}[1]{\begin{flushleft}\fbox{\begin{minipage}{\textwidth}{\tt #1}\end{minipage}}\end{flushleft}}
\newcommand{\MADierror}[1]{\fbox{\tt #1}}
% END SPECIAL COMMANDS
% BEGIN STATIC HEADER

% END STATIC HEADER
% BEGIN DYNAMIC HEADER
% Copyright \copyright 2001-2003 by the Algorithms Project and INRIA. All rigths reserved.

% END DYNAMIC HEADER
\begin{document}
\chapter*{DAI Derivative of Airy Ai}
\label{DAI}
\section*{DAI.1 Introduction}
\label{DAI:intro}


Let $x$ be a complex variable of $\mathbb{C} \setminus \{\infty\}$.The function Derivative of Airy Ai (noted $\operatorname{Ai} \prime$) is defined by the following second order differential equation
\begin{equation*}
\label{DAI:diffeq}
\begin{split}
-x^{2} y (x) - \frac{\partial y (x)}{\partial x} + x \frac{\partial^{2} y (x)}{\partial x^{2}}& =0.
\end{split}\tag{DAI.1.1}
\end{equation*}



Although $0$ is a singularity of DAI.1.1, the initial conditions can be given by 
\begin{equation*}
\label{DAI:inicond}
\begin{split}
[1] \operatorname{Ai} \prime (x)& =\frac{-\sqrt[6]{3} \Gamma \Bigl(\frac{2}{3}\Bigr)}{2 \pi}, \\
\bigl[x^{2}\bigr] \operatorname{Ai} \prime (x)& =\frac{\sqrt[3]{3}}{6 \Gamma \Bigl(\frac{2}{3}\Bigr)}.
\end{split}\tag{DAI.1.2}
\end{equation*}



Related function: \href{http://algo.inria.fr/esf/function/DBI/DBI.html#DBI}{Derivative of Airy Bi}
\section*{DAI.2 Series and asymptotic expansions}
\label{DAI:asympt}
\subsection*{DAI.2.1 Asymptotic expansion at $\infty$}
\label{743357740557558955}
\subsubsection*{DAI.2.1.1 First terms}
\label{743356858190028854}

\begin{equation*}
\begin{split}
& \operatorname{Ai} \prime (x)\approx \frac{\operatorname{e} ^{\Bigl(\frac{-2}{3 \xi^{3}}\Bigr)} \biggl(\frac{-1}{2 \sqrt{\pi}} - \frac{7 \xi^{3}}{96 \sqrt{\pi}} + \ldots\biggr)}{\sqrt{\xi}}
\end{split}
\end{equation*}
where $\xi = \sqrt{\frac{1}{x}}$\subsubsection*{DAI.2.1.2 General form}
\label{743357425401942769}

\begin{equation*}
\begin{split}
& \operatorname{Ai} \prime (x)\approx \frac{\operatorname{e} ^{\Bigl(\frac{-2}{3 \xi^{3}}\Bigr)} \sum_{n = 0}^{\infty} u (n) \xi^{n}}{\sqrt{\xi}}
\end{split}
\end{equation*}
where $\xi = \sqrt{\frac{1}{x}}$The coefficients $u (n)$ satisfy the following recurrence
\begin{equation*}
\begin{split}
16 u (n) n + u (n - 3) \bigl(-43 + 12 n + 4 (n - 3)^{2}\bigr)& =0.
\end{split}
\end{equation*}
whose initial conditions are given by
\begin{equation*}
\begin{split}
u (0)& =\frac{-1}{2 \sqrt{\pi}}, \\
u (1)& =0, \\
u (2)& =0.
\end{split}
\end{equation*}
This recurrence has the closed form solution
\begin{equation*}
\begin{split}
u (3 n + 1)& =0, \\
u (3 n + 2)& =0, \\
u (3 n)& =\frac{(-1)^{n} 6^{(2 n)} \Gamma \Bigl(n + \frac{7}{6}\Bigr) \Gamma \Bigl(n - \frac{1}{6}\Bigr)}{4 \pi^{\frac{3}{2}} 48^{n} \Gamma (n + 1)}.
\end{split}
\end{equation*}
\subsection*{DAI.2.2 Asymptotic expansion at $0$}
\label{743356292784936593}
\subsubsection*{DAI.2.2.1 First terms}
\label{DAI:asympt:0:termsec}



\begin{equation*}
\label{DAI:asympt:0:terms}
\begin{split}
& \operatorname{Ai} \prime (x)\approx \Biggl(\frac{\sqrt[3]{3} x^{8}}{4320 \Gamma \Bigl(\frac{2}{3}\Bigr)} - \frac{x^{6} \sqrt[6]{3} \Gamma \Bigl(\frac{2}{3}\Bigr)}{144 \pi} + \frac{\sqrt[3]{3} x^{5}}{90 \Gamma \Bigl(\frac{2}{3}\Bigr)} - \frac{x^{3} \sqrt[6]{3} \Gamma \Bigl(\frac{2}{3}\Bigr)}{6 \pi} +  \\
& \quad{}\quad{}\frac{\sqrt[3]{3} x^{2}}{6 \Gamma \Bigl(\frac{2}{3}\Bigr)} - \frac{\sqrt[6]{3} \Gamma \Bigl(\frac{2}{3}\Bigr)}{2 \pi}\ldots\Biggr).
\end{split}\tag{DAI.2.2.1.1}
\end{equation*}

\subsubsection*{DAI.2.2.2 General form}
\label{743356161840343668}
The general form of is not easy to state and requires to exhibit the basis of formal solutions of ?? (coming soon).\end{document}