The Inverse Problem for a General Class of Multidimensional Hyperbolic Equations

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 timeindependent or space independent.


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, 1-3 , tomography in biological sciences, 1, 4-6 and economic geography, econometrics, and macroeconomics in economic sciences, 7-10 .
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 1-3 .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 nonhomogeneities 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: u tt Δu − p x u in 13 , u tt Δu p x, t u in 14 , and c x u tt Δu 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.

Setup of the Problem
Let D ε be a finite domain of the Euclidean space of E m 1 points x 1 , . . ., x m , t bounded by the surfaces |x| t ε, |x| 1 − t and the plane t 0, where |x| denotes the length of the vector x x 1 , . . ., x m , 0 ≤ t ≤ 1 − ε /2, and 0 < ε < 1.Moreover, let us denote the parts of these surfaces that form the boundary ∂D ε of the domain D ε as S ε , S 1 , and S, 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 u x, t ∈ C D ε ∩ C 2 D ε and g x, t that are linked in the domain D ε by the following equation: where the functions u x, t should satifsy the conditions Δ x being the Laplace operator defined over the variables x 1 , . . ., x m , m ≥ 2 and S β being the cone β|x| t ε, 0 < β const < 1.
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 g x, t .The appropriate choice of this condition would allow us to establish the results below.
We need further some additional notation.Let {Y k n,m θ } be a system of linearly independent spherical functions of degree n, Also, let us denote as , and σ k n r the coefficients of the decomposition of the series 2.4 , respectively, of the functions a i r, θ, t ρ θ , a i x i /r ρ, b r, θ, t ρ, c r, θ, t ρ, g r, θ , ρ θ , i 1,. .., m, τ r, θ , υ r, θ , and σ r, θ , and moreover, ρ θ ∈ C ∞ Γ , Γ being the unit sphere in E m .
For our analysis, we will exploit the following lemma that has been shown in 16 .
as well as the series obtained through its differentiation of order p ≤ l − m 1, converges absolutely and uniformly.
Next, one introduces the set of functions

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.
then the functions u r, θ, t and g r, θ always exist.
, then the functions u r, θ, t and g t 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 u r, θ, t where u k n r, t are the functions to be determined later.Substituting 3.1 into 2.1 , and first multiplying the resulting expression by ρ θ / 0 and then integrating over the unit sphere Γ, we get for u k n see 18, 19

3.2
Next, let us analyze the infinite system of differential equations

3.5
Note that if we sum the expression 3.4 from 1 to k 1 , the expression 3.5 from 1 to k n , and then add the obtained expressions to 3.3 , we obtain 3.2 .Therefore, if {u k n }, k 1, k n , n 0, 1, . . . 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 Y k n,m θ 16 and given expression 3.1 , we obtain, from the boundary-value conditions 2.2 , 2.3 :

3.6
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 f k n r, t are determined from the previous equations of this system and, moreover, f 1 0 r, t ≡ 0. From 3.7 , having done the substitution of variables u k n r, t r 1−m /2 u k n r, t , and then setting ξ r t /2, η r − t /2, we obtain and, given this result, the boundary-value conditions 3.6 will take the form , k 1, k n , n 0, 1, . . . .

3.9
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 10 , for η αξ γ, using the boundary-value conditions 3.9 , we obtain where 3.12 which, after the double differentiation reduces to the following loaded Volterra integral equation of the second kind see 22 : 1 2α

3.13
It is handy to rewrite 3.13 as

3.15
Furthermore, it is evident that

3.16
Continuing this process, we obtain where F n is the nth degree of the operator F. From here, one can see that we can find such n that

3.18
The inequality 3.18 implies that the operator F n is a contraction.
Thus, the operator F has a fixed point 24 .This fixed point is the solution of 3.14 , that is, 3.13 .

3.19
Let f r, θ, t R r ρ θ T t , and, moreover, R r where u k n r, t are determined from 3.10 , in which g k n ξ, η are found from 3.13 .Taking into account the restrictions on the functions τ r, θ , υ r, θ , σ r, θ , one can analogously prove as shown, e.g., in 18, 19 that the obtained solution u r, θ, t in the form 3.21 belongs to the required class.
This completes the proof of Theorem 3.1.Theorem 3.2 is proven analogously.

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 wellposedness problem in applied fields, we believe that this is an important avenue for future work.
is the Riemann function of the equation Mu 0 see 21 and P μ z is the Legendre function, the integral operator F maps the full metric space C 1 J with the norm g k