Some Universal Properties of the Green’s Functions Associated with the Wave Equation in Bounded Partially-Homogeneous Domains and Their Use in Acoustic Tomography

Direct and inverse scattering problems connected with the wave equation in non-homogeneous bounded domains constitute challenging actual subjects for both mathematicians and engineers. Among them one can mention, for example, inverse source problems in seismology, nondestructive archeological probing, mine prospecting, inverse initial-value problems in acoustic tomography, etc. In spite of its crucial importance, almost all of the available rigorous investigations concern the case of unbounded simple domains such as layered planar or cylindrical or spherical structures. The main reason for the lack of the works related to non-homogeneous bounded structures is the extreme complexity of the explicit expressions of the Green’s functions. The aim of the present work consists in discovering some universal properties of the Green’s functions in question, which reduce enormously the difficulties arising in various applications. The universality mentioned here means that the properties are not depend on the geometrical and physical properties of the configuration. To this end one considers first the case when the domain is partially-homogeneous. Then the results are generalized to the most general case. To show the importance of the universal properties in question, they are applied to an inverse initial-value problem connected with photo-acoustic tomography.

Logarithmic Sine and Cosine Transforms and Their Applications to Boundary-Value Problems Connected with Sectionally-Harmonic Functions

Let stand for the polar coordinates in R2, ?be a given constant while satisfies the Laplace equation in the wedge-shaped domain or . Here αj(j = 1,2,...,n + 1) denote certain angles such that αj αj(j = 1,2,...,n + 1). It is known that if r = a satisfies homogeneous boundary conditions on all boundary lines ?in addition to non-homogeneous ones on the circular boundary , then an explicit expression of in terms of eigen-functions can be found through the classical method of separation of variables. But when the boundary?condition given on the circular boundary r = a is homogeneous, it is not possible to define a discrete set of eigen-functions. In this paper one shows that if the homogeneous condition in question is of the Dirichlet (or Neumann) type, then the logarithmic sine transform (or logarithmic cosine transform) defined by (or ) may be effective in solving the problem. The inverses of these transformations are expressed through the same kernels on or . Some properties of these transforms are also given in four theorems. An illustrative example, connected with the heat transfer in a two-part wedge domain, shows their effectiveness in getting exact solution. In the example in question the lateral boundaries are assumed to be non-conducting, which are expressed through Neumann type boundary conditions. The application of the method gives also the necessary condition for the solvability of the problem (the already known existence condition!). This kind of problems arise in various domain of applications such as electrostatics, magneto-statics, hydrostatics, heat transfer, mass transfer, acoustics, elasticity, etc.

Matrix Functions of Exponential Order

Both the theoretical and practical investigations of various dynamical systems need to extend the definitions of various functions defined on the real axis to the set of matrices. To this end one uses mainly three methods which are based on 1) the Jordan canonical forms, 2) the polynomial interpolation, and 3) the Cauchy integral formula. All these methods give the same result, say g(A), when they are applicable to given function g(t) and matrix A. But, unfortunately, each of them puts certain restrictions on g(t) and/or A, and needs tedious computations to find explicit exact expressions when the eigen-values of A are not simple. The aim of the present paper is to give an alternate method which is more logical, simple and applicable to all functions (continuous or discontinuous) of exponential order. It is based on the two-sided Laplace transform and analytical continuation concepts, and gives the result as a linear combination of certain n matrices determined only through A. Here n stands for the order of A. The coefficients taking place in the combination in question are given through the analytical continuation of g(t) (and its derivatives if A has multiple eigen-values) to the set of eigen-values of A (numerical computation of inverse transforms is not needed). Some illustrative examples show the effectiveness of the method.