GALYRKIN’S METHOD IN INVERSTIGATIONS OF INVERSE BOUNDARY PROBLEMS FOR WAVE EQUATIONS

Abstract

The paper is devoted to solvability of inverse problem for one-dimensional wave equations with the help of Galerkin`n method. This theme attracts the interest of researchers due to many practical applications of such type problems: it is very actual task to find the wave speed in many acoustic problems. To solve the inverse problem it means to find (numerically or analytically) unknown coefficient of equations (in our case—to find the wave speed). In this directions the papers of Gorbachuk V. I. [7], Lions J.-L. [1], L. Pestov [8, 10], D. Strelnikov [8] can be mentioned.

In the paper the principal methods of investigations are based on methods of mentioned papers and the main task of the paper is to adapt and to use the Galerkin’s method for solving the Cauchy-Dirichlet inverse problem for wave equation.

As it is known, wave equation simulates the wave processes in the space, 3-dimensional wave equation simulates the acoustic wave. Solving inverse problems it is arising the necessarity to find unknown coefficient of equation, which in the case of wave equations is acoustic speed. This tasks are very interesting due to many applications in tomography, car-industry, where it is necessary to find signal, acoustic wave as inverse signal: car testing in limit speed, image quality of tomography, etc.

The main goal of the paper is to prove the existence theorem for weak solution to inverse Cauchy-Dirichlet problem for one-dimensional wave equation with the help of Galerkin`s method and its adaptation for evolution equations. Let us note, that result of the existence theorem (see Theorem 1) coincide with the results of the work  [8] in the case of the first boundary value problem and . But we did not use BC method, which can be applied only for concrete equations and concrete type of boundary conditions due to definition of corresponding to equation quadratic form. As alternative approach, we use Galerkin`s method, which is universal for all equations and all types of boundary conditions and which allows only to realize its steps and to prove convergence of approximating consequences.