We propose a numerical method to solve an inverse source problem of computing the initial condition of hyperbolic equations from the measurements of Cauchy data. This problem arises in thermo- and photo- acoustic tomography in a bounded cavity, in which the reflection of the wave makes the widely-used approaches, such as the time reversal method, not applicable. In order to solve this inverse source problem, we approximate the solution to the hyperbolic equation by its Fourier series with respect to a special orthogonal basis of $L^2$. Then, we derive a coupled system of elliptic equations for the corresponding Fourier coefficients. We solve it by the quasi-reversibility method. The desired initial condition follows. We rigorously prove the convergence of the quasi-reversibility method as the noise level tends to 0. Some numerical examples are provided. In addition, we numerically prove that the use of the special basic above is significant.
We study a time-reversed hyperbolic heat conduction problem based upon the Maxwell--Cattaneo model of non-Fourier heat law. This heat and mass diffusion problem is a hyperbolic type equation for thermodynamics systems with thermal memory or with finite time-delayed heat flux, where the Fourier or Fick law is proven to be unsuccessful with experimental data. In this work, we show that our recent variational quasi-reversibility method for the classical time-reversed heat conduction problem, which obeys the Fourier or Fick law, can be adapted to cope with this hyperbolic scenario. We establish a …
In this work, we introduce a novel approach to formulating an artificial viscosity for shock capturing in nonlinear hyperbolic systems by utilizing the property that the solutions of hyperbolic conservation laws are not reversible in time in the vicinity of shocks. The proposed approach does not require any additional governing equations or a priori knowledge of the hyperbolic system in question, is independent of the mesh and approximation order, and requires the use of only one tunable parameter. The primary novelty is that the resulting artificial viscosity is unique for each component of t…
We develop an efficient and convergent numerical method for solving the inverse problem of determining the potential of nonlinear hyperbolic equations from lateral Cauchy data. In our numerical method we construct a sequence of linear Cauchy problems whose corresponding solutions converge to a function that can be used to efficiently compute an approximate solution to the inverse problem of interest. The convergence analysis is established by combining the contraction principle and Carleman estimates. We numerically solve the linear Cauchy problems using a quasi-reversibility method. Numerical…
We consider constrained partial differential equations of hyperbolic type with a small parameter $\varepsilon>0$, which turn parabolic in the limit case, i.e., for $\varepsilon=0$. The well-posedness of the resulting systems is discussed and the corresponding solutions are compared in terms of the parameter $\varepsilon$. For the analysis, we consider the system equations as partial differential-algebraic equation based on the variational formulation of the problem. For a particular choice of the initial data, we reach first- and second-order estimates. For general initial data, lower-order es…
Many hyperbolic and kinetic equations contain a non-stiff convection/transport part and a stiff relaxation/collision part (characterized by the relaxation or mean free time $\varepsilon$). To solve this type of problems, implicit-explicit (IMEX) multistep methods have been widely used and their performance is understood well in the non-stiff regime ($\varepsilon=O(1)$) and limiting regime ($\varepsilon\rightarrow 0$). However, in the intermediate regime (say, $\varepsilon=O(Δt)$), uniform accuracy has been reported numerically without a complete theoretical justification (except some asymptoti…
This paper is concerned with the inverse scattering problem which aims to determine the spatially distributed dielectric constant coefficient of the 2D Helmholtz equation from multifrequency backscatter data associated with a single direction of the incident plane wave. We propose a globally convergent convexification numerical algorithm to solve this nonlinear and ill-posed inverse problem. The key advantage of our method over conventional optimization approaches is that it does not require a good first guess about the solution. First, we eliminate the coefficient from the Helmholtz equation …
Linear, Second order and Unconditionally Energy stable schemes for The Viscous Cahn-Hilliard Equation with hyperbolic relaxation using the invariant energy quadratization method
University of South Carolina（南卡罗来纳大学）；Utah State University（犹他州立大学）
In this paper, we theoretically and numerically verify that the discontinuous Galerkin (DG) methods with central fluxes for linear hyperbolic equations on non-uniform meshes have sub-optimal convergence properties when measured in the $L^2$-norm for even degree polynomial approximations. On uniform meshes, the optimal error estimates are provided for arbitrary number of cells in one and multi-dimensions, improving previous results. The theoretical findings are found to be sharp and consistent with numerical results.
Hyperbolic model for Helmholtz equation with impedance boundary conditions
Ivane Javakhishvili Tbilisi State University（伊万·贾瓦赫什维利第比利斯国立大学）；Institute of Energy and Climate research 8: Troposphere, Research Center Jülich（于利希研究中心能源与气候研究所8：对流层）
We address the issue of the suboptimality in the p-version discontinuous Galerkin (dG) methods for first order hyperbolic problems. The convergence rate is derived for the upwind dG scheme on tensor product meshes in any dimension. The standard proof in seminal work [14] leads to suboptimal convergence in terms of the polynomial degree by 3/2 order for general convection fields, with the exception of piecewise multi-linear convection fields, which rather yield optimal convergence. Such suboptimality is not observed numerically. Thus, it might be caused by a limitation of the analysis, which we…
This article considers a Cauchy problem of Helmholtz equations whose solution is well known to be exponentially unstable with respect to the inputs. In the framework of variational quasi-reversibility method, a Fourier truncation is applied to appropriately perturb the underlying problem, which allows us to obtain a stable approximate solution. The corresponding approximate problem is of a hyperbolic equation, which is also a crucial aspect of this approach. Error estimates between the approximate and true solutions are derived with respect to the noise level. From this analysis, the Lipschitz…
Hyperboloidal layers for hyperbolic equations on unbounded domains
Laboratoire Jacques-Louis Lions, Université Pierre et Marie Curie (Paris VI)（雅克-路易·利翁斯实验室，巴黎第六大学）；Theoretical Astrophysics, California Institute of Technology（理论天体物理学部，加州理工学院）
In this paper, we evaluate the performance of the multilevel Monte Carlo method (MLMC) for deterministic and uncertain hyperbolic systems, where randomness is introduced either in the modeling parameters or in the approximation algorithms. MLMC is a well known variance reduction method widely used to accelerate Monte Carlo (MC) sampling. However, we demonstrate in this paper that for hyperbolic systems, whether MLMC can achieve a real boost turns out to be delicate. The computational costs of MLMC and MC depend on the interplay among the accuracy (bias) and the computational cost of the numeri…
Determining initial conditions for nonlinear hyperbolic equations with time dimensional reduction and the Carleman contraction
University of Science, Vietnam National University（越南国立大学科学大学）；University of North Carolina at Charlotte（北卡罗来纳大学夏洛特分校）；University of Finance-Marketing（财经市场营销大学）
We propose an adaptive stencil construction for high order accurate finite volume schemes aposteriori stabilized devoted to solve one-dimensional steady-state hyperbolic equations. High-accuracy (up to the sixth-order presently) is achieved thanks to polynomial reconstructions while stability is provided with an aposteriori MOOD method which controls the cell polynomial degree for eliminating non-physical oscillations in the vicinity of discontinuities. We supplemented this scheme with a stencil construction allowing to reduce even further the numerical dissipation. The stencil is shifted away…
In this paper we analyze the stability of equilibrium manifolds of hyperbolic shallow water moment equations. Shallow water moment equations describe shallow flows for complex velocity profiles which vary in vertical direction and the models can be seen as extensions of the standard shallow water equations. Equilibrium stability is an important property of balance laws that determines the linear stability of solutions in the vicinity of equilibrium manifolds and it is seen as a necessary condition for stable numerical solutions. After an analysis of the hyperbolic structure of the models, we i…
We propose a deep learning based discontinuous Galerkin method (D2GM) to solve hyperbolic equations with discontinuous solutions and random uncertainties. The main computational challenges for such problems include discontinuities of the solutions and the curse of dimensionality due to uncertainties. Deep learning techniques have been favored for high-dimensional problems but face difficulties when the solution is not smooth, thus have so far been mainly used for viscous hyperbolic system that admits only smooth solutions. We alleviate this difficulty by setting up the loss function using disc…
The objective of this paper is to propose a hyperbolic relaxation technique for the dispersive Serre-Green-Naghdi equations (also known as the fully non-linear Boussinesq equations) with full topography effects introduced in Green, A.E. and Naghdi, P.M. (J. Fluid Mech., 78, 237-246, 1976) and Seabra-Santos el al (J. Fluid Mec.h, 176, 117-134, 1997). This is done by revisiting a similar relaxation technique introduced in Guermond el al (J. Comput. Phys., 399, 108917, 2019) with partial topography effects. We also derive a family of analytical solutions for the one-dimensional dispersive Serre-G…
Linear models for the radiative transfer equation have been well developed, while nonlinear models are seldom investigated even for slab geometry due to some essential difficulties. We have proposed a moment model in MPN for slab geometry which combines the ideas of the classical PN and MN model. Though the model is far from perfect, it was demonstrated to be quite efficient in numerically approximating the solution of the radiative transfer equation, that we are motivated to further improve this model. Consequently we propose in this paper a new model following the chartmap in MPN with some s…
Explicit time-marching schemes are popular for solving time-dependent partial differential equations; one of the biggest challenges these methods suffer is increasing the critical time-marching step size that guarantees numerical stability. In general, there are two ways to increase the critical step size. One is to reduce the stiffness of the spatially discretized system, while the other is to design time-marching schemes with larger stability regions. In this paper, we focus on the recently proposed explicit generalized-$α$ method for second-order hyperbolic equations and increase the critic…
We consider the development of hyperbolic transport models for the propagation in space of an epidemic phenomenon described by a classical compartmental dynamics. The model is based on a kinetic description at discrete velocities of the spatial movement and interactions of a population of susceptible, infected and recovered individuals. Thanks to this, the unphysical feature of instantaneous diffusive effects, which is typical of parabolic models, is removed. In particular, we formally show how such reaction-diffusion models are recovered in an appropriate diffusive limit. The kinetic transpor…
