Asymptotic solutions: glancing trajectories, Lagrangian singularities, and Bessel cylinders

Let the following conditions hold:

1. the restriction H|_{\Lambda_0} has a local non-degenerate extremum (maximum or minimum) E_0 at a point z_0 = (p_0,x_0);

2. d H (z_0) \neq 0;

3. z_\star = (p_\star, x_\star, t_\star, E_0) \in \Lambda is a point of the glancing trajectory \mathcal{C} starting at the point z_0;

4. the restriction

   \pi_{t}|_\Lambda : \Lambda \to \mathbb{R}^{n+1}_{t}

   is a local diffeomorphism of a neighborhood of the point z_\star onto a neighborhood of the point (x_\star, t_\star), i. e. z_* is not a focal point.

Then there exists a local canonical diffeomorphism \gamma of T^\ast \mathbb{R}^{n+1}_{t} defined in a neighborhood of the point z_\star and satisfying the following conditions:

• \gamma: z_\star \mapsto 0;

• \gamma sends the fibres of the projection \pi_{E} to each other;

• \gamma sends the hypersurface E=E_0 to E=0;

• the Lagrangian submanifold \Lambda' = \gamma (\Lambda) is given by the following equations

  S'(x,t) = t^3/3 + (x_2^2 + \dots + x_{n}^2) t, \quad E = - \partial_{t} S', \quad p = \partial_x S'

  in a neighborhood of the point \gamma(z_\star) = 0.

Let

be the function defined by (?), (?), and the conditions ?–? from Assumptions 2.1 hold with the following ones:

1. The restriction H|_{\Lambda_0} attains its a local non-degenerate extremum E_0 at a point z_0 = (p_0,x_0).

2. z_\star = (p_\star, x_\star, t_\star, E_0) \in \Lambda, t_\star > 0 is a point of the glancing trajectory \mathcal{C} starting at the point z_0.

3. The restriction

   \pi_{t}|_\Lambda : \Lambda \to \mathbb{R}^{n+1}_{t}

   is a local diffeomorphism of a neighborhood of the point z_\star onto a neighborhood of the point (x_\star, t_\star).

4. From the half-space t>0 the only point z_\star is sent to the point (x_\star, E_0) by the restriction

   \pi_{E}|_{\Lambda } : \Lambda \to \mathbb{R}^{n+1}_{E}.

5. x_\star \notin \pi(\mathop{\mathrm{supp}}\nolimits{a}).

Then

in some local smooth coordinates

in a neighborhood of the point x_\star:

where w, b_h, c_h are smooth functions, \mathop{\rm Ai}\nolimits is the Airy function, and \mathop{\rm Ai}\nolimits' is its derivative.

Let \Lambda_0 be the n-dimensional Bessel cylinder (?) and H\in C^\infty(T^*\mathbb{R}^n) be homogeneous of degree m with respect to p. Then z=(x,p)\in\Lambda_0 is a glancing point at energy E if and only if

Let H(x,p) be positively homogeneous of degree 1 with respect to p. Then

is a generating family for \Lambda \subset T^\ast \mathbb{R}^{n+1}_\mathrm{t} at the points satisfying the inequality \det(P,P_\psi)\neq0, which holds at least for small t (because \det(P,\partial_\psi P)=1 for t=0). In particular, \Phi satisfies the initial condition \Phi(\theta, 0, x)=\Phi_0(\theta,x).

Let H(x,p) be positively homogeneous of degree 1 with respect to p, \Phi be the generating family for \Lambda\subset \mathbb{R}^{n+1}_\mathrm{t} from Proposition 3.3, \theta=(\lambda,\varphi,\psi), and y=(\varphi,\psi,t). Then

Assume \Lambda as above to be parameterized by a quadratic phase \phi=\phi_0. In Cases (I), (II), (III) \phi_0 are one-parameter families taking values:

respectively, where a,b,c\neq0. The manifold \Lambda is transverse to F at z=0, and the corresponding matrices A_z(\Lambda,G),B_z(\Lambda,G) above are then given by:

So with the notations of Definition 1.3, case (I) is of type (6) or (7) according to a^3+2a^2+1=0 or not, while cases (II) and and (III) are of type (6).

At last, Case (IV) does not occur.