Uniform asymptotics of the boundary values of the solution in a linear problem on the run-up of waves on a shallow beach

We consider the Cauchy problem with spatially localized initial data for a two-dimensional wave equation with variable velocity in a domain Omega. The velocity is assumed to degenerate on the boundary a,Omega of the domain as the square root of the distance to a,Omega. In particular, this problems describes the run-up of tsunami waves on a shallow beach in the linear approximation. Further, the problem contains a natural small parameter (the typical source-to-basin size ratio) and hence admits analysis by asymptotic methods. It was shown in the paper "Characteristics with singularities and the boundary values of the asymptotic solution of the Cauchy problem for a degenerate wave equation" [1] that the boundary values of the asymptotic solution of this problem given by a modified Maslov canonical operator on the Lagrangian manifold formed by the nonstandard characteristics associatedwith the problemcan be expressed via the canonical operator on a Lagrangian submanifold of the cotangent bundle of the boundary. However, the problem as to how this restriction is related to the boundary values of the exact solution of the problem remained open. In the present paper, we show that if the initial perturbation is specified by a function rapidly decaying at infinity, then the restriction of such an asymptotic solution to the boundary gives the asymptotics of the boundary values of the exact solution in the uniform norm. To this end, we in particular prove a trace theorem for nonstandard Sobolev type spaces with degeneration at the boundary.