Abstract

Inverse problems for hyperbolic equations are found in geophysical prospecting and seismology, and their multidimensional analogues are especially important for applied work. However, whereas results have been established for the some narrow classes of hyperbolic equations, no results exist for more general classes. This paper proves the solvability of the inverse problem for a general class of multidimensional hyperbolic equations. Our approach consists of properly choosing the shape of the overidentifying condition that is needed to determine the right-hand side of the hyperbolic PDE and then applying the Fourier series method. We are then able to establish the results of the existence of solution for the cases when the unknown right-hand side is time- independent or space independent.

1. Introduction

One key applied informational problem with heavy involvement of advanced mathematical modelling is the inverse problem. Generally speaking, it can be described as follows: a physical, biological, or an economic model relates some parameters, via the knowledge of certain fundamental laws, to observational data. An inverse problem then consists of recovering the (unknown) parameters of the model from known observational data. Such problems often emerge and are intensively studied in geophysics and seismology (in physical sciences, [13]), tomography (in biological sciences, [1, 46]) and economic geography, econometrics, and macroeconomics (in economic sciences, [710]).

The mathematical problems that emerge in such studies often reduce to the analysis of linear second-order partial differential equations. For instance, in recent analysis of spatial economic development, economists construct models with continuous time and space dimensions. Capital accumulation in different points of space is modelled via an equation of motion that becomes a parabolic partial differential equation [11, 12]. An important (inverse) problem is then recovering the unknown parameters of the aggregate production function of the economy from observations about the level of capital stock at some moment in time [7].

Instead, inverse problems for hyperbolic equations emerge in the study of the problems of geophysics and seismology [13]. For instance, two major types of problems in geophysical prospecting are (i) the structural problems that are concerned with the structure of sedimentary deposits and the Earth's crust (the structures that have to do with oil and gas resources) and (ii) the location problems that are concerned with establishing local non-homogeneities in sedimentary deposits and crust (caused by mineral deposits, e.g., ore). Both problems basically consists of recovering the Earth's inner structure from the surface measurements of physical fields.

In seismology, one of the most important problems is determining the velocity of propagation of seismic waves within the Earth, given the information about the seismic wave fronts on the surface (coming from different earthquakes). The velocities of longitudinal and transverse waves and the elastic properties of the medium are linked through some known formulae. The determination of the propagation velocities given these formulae reduces mathematically to an inverse problem known as the Herglotz-Wiechert inverse kinematic problem of seismics.

In most practical applications, the parameters of the physical model are a multidimensional function (e.g. three-dimensional space plus time). Therefore, considerable attention has been devoted to the analysis of multidimensional inverse problems. Chapter 8 of [3] provides a good survey of the current state of the literature for hyperbolic problems, together with a fine discussion of the mathematical difficulties involved.

So far, however, most of the results have been obtained for relatively narrow classes of equations: the so-called model equations, that is, including only the wave operator, or only some of the lower-order derivatives. After the classic study of the inverse problem for the wave equation [1], some results have been established (and applied techniques developed) for the hyperbolic equations of the following classes: in [13], in [14], and in [15]. To the best of our knowledge, no results have been yet found for more general classes of hyperbolic equations. This paper tries to close this gap by establishing the existence result for a general class of multidimensional hyperbolic equations.

Our approach consists of properly choosing the shape of the overidentifying condition that is needed to determine the right-hand side of the hyperbolic PDE, and then applying the Fourier series method. We are then able to establish the results of the existence of solution for the cases when the unknown right-hand side is time independent or space-independent.

2. Setup of the Problem

Let be a finite domain of the Euclidean space of points bounded by the surfaces , and the plane , where denotes the length of the vector , , and . Moreover, let us denote the parts of these surfaces that form the boundary of the domain as , , and , respectively.

In this domain, a number of applied problems described in the Introduction can be described mathematically as some special cases of the following general inverse problem.

Problem 2.1. Find the functions and   that are linked in the domain by the following equation: where the functions should satifsy the conditions being the Laplace operator defined over the variables and being the cone .

Note that in this inverse problem the conditions (2.2) are the conditions of the standard Cauchy problem, while the condition (2.3) is the overidentification condition, which is needed to determine the unknown function . The appropriate choice of this condition would allow us to establish the results below.

Before deriving our main results, however, it is useful to switch from the Cartesian coordinates to the spherical ones , with .

We need further some additional notation. Let be a system of linearly independent spherical functions of degree —are Sobolev spaces, and .

Also, let us denote as ,,,,,,, and the coefficients of the decomposition of the series (2.4), respectively, of the functions , , , , , , ,, , , , and , and moreover, , being the unit sphere in .

For our analysis, we will exploit the following lemma that has been shown in [16].

Lemma 2.2. Let . If , then the series as well as the series obtained through its differentiation of order , converges absolutely and uniformly.

Next, one introduces the set of functions Finally, let , and , .

3. Main Results

We are now ready to establish our main results. These are theorems of the existence of solutions of Problem 1, when the unknown right-hand side of (2.1) is time independent or space independent.

Theorem 3.1. If , then the functions and always exist.

Theorem 3.2. If , then the functions and always exist.

Proof of Theorem 1. The uniqueness of the solution of the (direct) Cauchy problem (2.1), (2.2) is well known (see, for instance, [17]). We will search for the solution of this problem in the form of the series where are the functions to be determined later.
Substituting (3.1) into (2.1), and first multiplying the resulting expression by and then integrating over the unit sphere , we get for (see [18, 19])
Next, let us analyze the infinite system of differential equations
Note that if we sum the expression (3.4) from 1 to , the expression (3.5) from 1 to , and then add the obtained expressions to (3.3), we obtain (3.2). Therefore, if is the solution of the system (3.3)–(3.5), then it is also the solution of (3.2). The opposite is not true, however; therefore, we cannot show the uniqueness of the solution of Problem 1.
Now, taking into account the orthogonality of the spherical functions ([16]) and given expression (3.1), we obtain, from the boundary-value conditions (2.2), (2.3):
Thus, we have shown that our inverse problem (2.1)–(2.3) reduces to a system of inverse problems for the equations (3.3)–(3.5). We can now look for the solution of these problems.
It is easy to see that each equation of the system (3.3)–(3.5) can be represented in the form
where are determined from the previous equations of this system and, moreover, . From (3.7), having done the substitution of variables , and then setting , , we obtain and, given this result, the boundary-value conditions (3.6) will take the form
Using the general solution of the equation (3.8) (see [20]), it is easy to show that the solution of the Cauchy problem for the equation (3.8) takes the form where is the Riemann function of the equation (see [21]) and is the Legendre function, .
From (3.10), for , using the boundary-value conditions (3.9), we obtain
where
which, after the double differentiation reduces to the following loaded Volterra integral equation of the second kind (see [22]):
It is handy to rewrite (3.13) as
Given that [23], , the integral operator maps the full metric space with the norm into itself, where is the interval .
Next, let and be arbitrary elements of the space . It is easy to see that for , the following estimate is valid:
Furthermore, it is evident that
Continuing this process, we obtain
where is the th degree of the operator . From here, one can see that we can find such that
The inequality (3.18) implies that the operator is a contraction.
Thus, the operator has a fixed point [24]. This fixed point is the solution of (3.14), that is, (3.13).
Therefore, having first solved the problem (3.3), (3.6), (3.7) (for ), and then (3.4), (3.6), (3.7) (for ) and so on, we can find sequentially all .
Thus, we have shown that
Let , and, moreover, is dense in is dense in , and is dense in . Then, is dense in (see, e.g., [25]).
Thus, from (3.19), it follows that
Therefore, the problem (2.1)–(2.3) has the solutions of the form
where are determined from (3.10), in which are found from (3.13).
Taking into account the restrictions on the functions , one can analogously prove (as shown, e.g., in [18, 19]) that the obtained solution in the form (3.21) belongs to the required class.
This completes the proof of Theorem 3.1. Theorem 3.2 is proven analogously.

4. Conclusion

In this paper, we have proven the existence theorems for the solution of the inverse problem for a general class of multidimensional hyperbolic PDEs, for the cases of time-independent and space-independent unknown right-hand sides of the equation. The potential importance of this work comes from the fact that multidimensional inverse problems for hyperbolic equations are extremely important in applied work, but so far, only the results for relatively narrow classes of equations have been established.

Turning to the limitations of our work, we should note that so far, we have not been able show the uniqueness or stability of the solution. Given the importance of the well-posedness problem in applied fields, we believe that this is an important avenue for future work.

Acknowledgments

The authors thank two referees and Professor Carlo Cattani (Editor) for useful suggestions. They acknowledge financial support from the Belgian Science Policy Program on Inter-University Poles of Attraction (PAI-UAP P6/07) and National Bank of Belgium grant for the research project “Spatial Economic Dynamics”.