The article studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations given the knowledge of an associated source-to-solution map. We introduce a method to solve inverse problems for nonlinear equations using interaction of three waves that makes it possible to study the inverse problem in all globally hyperbolic spacetimes of the dimension $n+1\geqslant 3$ and with partial data. We consider the case when the set $\Omega _{\mathrm{in}}$ , where the sources are supported, and the set $\Omega _{\mathrm{out}}$ , where the observations are made, are separated. As model problems we study both a quasi-linear equation and a semi-linear wave equation and show in each case that it is possible to uniquely recover the background metric up to the natural obstructions for uniqueness that is governed by finite speed of propagation for the wave equation and a gauge corresponding to change of coordinates. The proof consists of two independent components. In the geometric part of the article we introduce a novel geometrical object, the three-to-one scattering relation. We show that this relation determines uniquely the topological, differential and conformal structures of the Lorentzian manifold in a causal diamond set that is the intersection of the future of the point $p_{in}\in \Omega _{\mathrm{in}}$ and the past of the point $p_{out}\in \Omega _{\mathrm{out}}$ . In the analytic part of the article we study multiple-fold linearisation of the nonlinear wave equation using Gaussian beams. We show that the source-to-solution map, corresponding to sources in $\Omega _{\mathrm{in}}$ and observations in $\Omega _{\mathrm{out}}$ , determines the three-to-one scattering relation. The methods developed in the article do not require any assumptions on the conjugate or cut points.

The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). Here we extend the Wadge hierarchy of Borel sets to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show that our extension behaves well in second countable spaces and especially in quasi-Polish spaces. In particular, all levels are preserved by continuous open surjections between second countable spaces which implies e.g., several Hausdorff–Kuratowski (HK)-type theorems in quasi-Polish spaces. In fact, many results hold not only for the Wadge hierarchy of sets but also for its extension to Borel functions from a space to a countable better quasiorder Q.

The study of chaotic vibration for multidimensional PDEs due to nonlinear boundary conditions is challenging. In this paper, we mainly investigate the chaotic oscillation of a two-dimensional non-strictly hyperbolic equation due to an energy-injecting boundary condition and a distributed self-regulating boundary condition. By using the method of characteristics, we give a rigorous proof of the onset of the chaotic vibration phenomenon of the zD non-strictly hyperbolic equation. We have also found a regime of the parameters when the chaotic vibration phenomenon occurs. Numerical simulations are also provided.

We introduce a third order adaptive mesh method to arbitrary high order Godunov approach. Our adaptive mesh method consists of two parts, i.e., mesh-redistribution algorithm and solution algorithm. The mesh-redistribution algorithm is derived based on variational approach, while a new solution algorithm is developed to preserve high order numerical accuracy well. The feature of proposed Adaptive ADER scheme includes that 1). all simulations in this paper are stable for large CFL number, 2). third order convergence of the numerical solutions is successfully observed with adaptive mesh method, and 3). high resolution and non-oscillatory numerical solutions are obtained successfully when there are shocks in the solution. A variety of numerical examples show the feature well.

Grad's moment models for Boltzmann equation were recently regularized to globally hyperbolic systems and thus the regularized models attain local well-posedness for Cauchy data. The hyperbolic regularization is only related to the convection term in Boltzmann equation. We in this paper studied the regularized models with the presentation of collision terms. It is proved that the regularized models are linearly stable at the local equilibrium and satisfy Yong's first stability condition with commonly used approximate collision terms, and particularly with Boltzmann's binary collision model.

We show improved local energy decay for the wave equation on asymptotically Euclidean manifolds in odd dimensions in the short range case. The precise decay rate depends on the decay of the metric towards the Euclidean metric. We also give estimates of powers of the resolvent of the wave propagator between weighted spaces.