#### Introduction

In this work, we analyze the numerical approximation of the inverse design problem for the Burgers equation, both in the viscous and in the inviscid case:

(1)

(2)

distinguishing the viscous, , and the inviscid case, . Given a time and a target function the aim is to identify the initial datum so that the solution, at time , reaches the target or gets as close as possible to it. In particular, we focus on problems with large values of , for which convergence of the numerical schemes in the classical sense of numerical analysis might not suffice to obtain accurate results.

This issue is motivated by the challenging problem of sonic-boom minimization for supersonic aircrafts, which is governed by a Burgers-like equation. The travel time of the signal to the ground is larger than the time scale of the initial disturbance by orders of magnitude and this motivates our study of large time control of the sonic-boom propagation.

#### Description of the numerical algorithms

To implement the problem numerically, we opt for a discretization of (2) using classical conservative schemes. Let us denote spatial nodes , , and time instants , , where are the mesh size and time-step respectively. We approximate the solution of (2) by a piecewise constant function such that

(3)

Here, is the number of time-steps needed to reach . We denote , where the function is the numerical flux. In this paper we compare two fluxes:

In the simulations we follow the discrete approach to optimization. For the discretization of (1), we consider a simple quadrature rule:

(4)

where the target function has been discretized in the same manner as the initial data in (3).

Regarding the optimization technique, we use the classical gradient descent method based on the adjoint methodology. Following the discrete approach, it is easy to obtain the corresponding discrete adjoint system for (3):

(5)

To minimize (4), we will take the descent direction given by:

This direction is straightforwardly obtained following the same arguments as for the continuous level. Thus, the new initial data will be given by

for some small enough.

The pseudocode for the complete algorithm can be found in Algorithm 1. Note that it is valid both for the viscous and the inviscid case of the Burgers equation.

#### Algorithm 1: Solve discrete optimization problem

Input:, , N, ,

fortodosetend forcomputefrom using (3)computefunctional using (4)whilestopping criteria are not metdofortodosetsetend forcomputefrom and using (5)computedescending step-sizefortodosetend forcomputefrom using (3)computefunctional using (4)end whilefortodosetend forOutput:Optimal solution

#### Numerical viscosity

It is well known that (3) can be rewritten in its viscous form in the following manner:

where is uniquely defined by

In the case of the numerical fluxes that we consider in this paper, we have:

Both schemes are convergent in the classical sense of the numerical analysis. However, the large-time behavior of depends on the degree of homogeneity of the term . In other words, let us assume that there exists such that

It is clear that for Engquist-Osher and for modified Lax-Friedrichs. Thus, the numerical viscosity inherent in MLF drives the system into a diffusive wave too early and, consequently, continuous metastable states are not reproduced numerically.

The main aim of our work is to emphasize that ignoring the dynamics of the continuous model at the numerical level can produce undesired results in optimal control problems in large time horizons. On one hand, we show that the gradient descent method performs successfully whenever the numerical flux and the mesh sizes are chosen appropriately. On the other hand, we present examples where excessive numerical viscosity dominates the physical one.