SciELO - Scientific Electronic Library Online

 
vol.25 issue2-3PrefaceA regularized solution with weighted Bregman distances for the inverse problem of photoacoustic spectroscopy author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Computational & Applied Mathematics

On-line version ISSN 1807-0302

Comput. Appl. Math. vol.25 no.2-3 Petrópolis  2006

 

On an inverse boundary value problem*

 

 

Alberto P. Calderón

Department of Mathematics, The University of Chicago

 

 


ABSTRACT

This paper is a reprint of the original work by A. P. Calderón published by the Brazilian Mathematical Society (SBM) in ATAS of SBM (Rio de Janeiro), pp. 65-73, 1980. The original paper had no abstract, so this reprint to be truthful to the original work is published with no abstract.
Mathematical subject classification: 35J25, 35Q60, 47F05, 86A20, 86A22.

Key words: inverse problems, boundary value problems, identification problem, elliptic equations.


 

 

In this note we shall discuss the following problem. Let D be a boundedDomain in n, n > 2, with Lipschitzian boundary dD, and g be a real bounded measurable function in D with a positive lower bound. Consider the differential operator

Lg (w) = Ñ . (g Ñ w)

acting on function of H1(D) and the quadratic form Qg(f) , where the functions in H1(n) , defined by

The problem is then to decide whether g is uniquely determined by Qg and to calculate g in terms Qg, if g is indeedDetermined by Qg.

This problem originates in the following problem of electrical prospection. If D represents an inhomogeneous conducting body with electrical conductivity g, determine g by means of direct current steady state electrical measurements carried out on the surface of D, that is without penetrating D. In this physical situation Qg(f) represents the power necessary to maintain an electrical potential g in D.

In principle Qg can be determined through measurements effected on dD and contains all information about g which can be thus obtained.

But let us return to our mathematical problem. Let us introduce the following norms in the space of functions g on dD and in the space of quadratic forms Q(f)

Then the mapping

F : g ® Qg

is bounded and analytic in the subset of L¥(D) consisting of functions which are real and have a positive lower bound. Our goal is then to determine whether F is injective, and invert F if this is the case. This we are yet unable to do and is, as far as we know, an open problem. However we shall show that dF|g = const is indeed injective, that is, the linearized problem has an affirmative answer. If dF|g = const, which is a linear operator, had a closer range, one could conclude that F itself is injective in a sufficiently small neighborhood of g = const. But the range of dF is not closed and the desired conclusion cannot be obtained in this fashion. Nevertheless, as we shall see below, if g is sufficiently close to a constant, it is nearly determined by Qg and in some cases it can be calculated with an error much smaller than ||g - const||L¥.

To show this let us first obtain an expression for the solution of the equation

Lg (W) = Ñ . (g Ñ W), W|dD = f. g = 1+d

Let W = u + v, where Du = L1 u = 0, u|dD = f. Then

Lg(W) = L1+g (u+v) = L1v + Lgv + Lgu = 0

Since u|dD = W|dD we have v|dD = 0 and v Î (D), the closure in H1(n) of functions of C¥ with support in D. But L1, as an operator from (D) into H-1(D), has a bounded inverse G, and from the last expression we obtain

v + GLdv = - GLdu

and

Since for W Î (D), if A denotes the norm of G, the series above will converge for A < 1 and

From (1) it follows that f is analytic at g = 1. The same argument would show that f is analytic at any other point g.

Next let us calculate d f|g = 1. We have

The contribution of the second term in the integrand of the last integral vanishes on account of the fact that Du = 0. Furthermore, from (1) one sees readily that the parts linear in d of the last two terms in the integrand vanish. Thus setting d g = d we obtain

To show that d Qg(f) |g = 1 is injective, we merely have to show that if the last integral vanishes for all u with Du = 0 then d = 0. But if the integral vanishes for all such u, then we also have

whenever Du1 = Du2 = 0 in D. Now let Z be any vector in n and a another vector such that |a| = |Z|,( a.Z) = 0 . Then the functions

are harmonic, and substituting in (3) we obtain

whence it follows that d = 0.

Now let us return to Qg (W) . We set again g = 1+d and introduce the bilinear form

and setting Wj = uj + vj, j = 1,2, Duj = 0, uj|dD = fj we obtain

Now, substitution of the exponentials in (5) for u1 and u2 in the preceding expression (taking a to be a function of Z such that |a| = |Z|, (a.Z) = 0 ) yields

where (Z) is a Fourier transform of g extended to be zero outside D, the function

is known and, as follows readily from (2),

provided that A < 1-e, where C depends only on D and e, and r is the radius of the smallest sphere containing D. Now R(Z) is too large to permit estimating g(x). However, under favorable circumstances it is still possible to obtain satisfactory information about g. Choose a, 1 < a < 2, then for

we have |R(Z)| < C. Let h be a function such that Î C¥, supp Ì {|Z| < 1} (0) = 1, and let hs = snh(sZ). Then we have

and

where * denotes convolution and

where C1 depends only on D, a e e.

Thus if is sufficiently small, (9) gives an approximation for g*hs with an error which is much smaller than . Clearly, if is small then s is large and g*hs is itself in some sense, a good approximation to g.

Approximations to the function g itself may be obtained if one assumes that g, extended to be equal to 1 outside D, is in Cm, m > n. In this case one obtains

(Z) = 1 (Z) + (Z)

where F1 is known and R(Z) is the same as in (6). One then calculates d(x) by integrating over |Z| < s with s as in (8) and estimates the error by using the decay of at ¥. Thus one obtains

g(x) = F2(x) + s(x)

where F2(x) is known and

where M is a bound for the derivatives of order m of g.

 

REFERENCES

We have been unable to find treatments of the problem discussed above in the literature, at least not in the general setting in which we are interested. Similar problems have been studied in the papers listed below.

[1] J.R. Cannon, Determination of certain parameters in heat conduction problems. J. Math. Anal. Appl., 8 (1964), 188-201.        [ Links ]

[2] J.R. Cannon, Determination of an unknown coefficient in a parabolic differential equation. Duke Math. J., 30 (1963), 313-323.         [ Links ]

[3] J.R. Cannon, Determination of the unknown coefficient k(u) in the equation V·k(u) Ñu = 0 from overspecified boundary data. J. Math. Anal. Appl., 18 (1967), 112-114.         [ Links ]

[4] J.R.Cannon and Paul Du Chateau, Determining unknown coefficients in a non-linear heat conduction problem. SIAM J. Appl. Math., 24(3) (1973), 298-314.         [ Links ]

[5] Jim Douglas, Jr and G.F. Jones, Determination of a coefficient in a parabolic differential equation, Part. II: numerical approximation. J. Math. Mech., 11 (1962), 919-926.         [ Links ]

[6] B.F. Jones, Various methods for finding unknown coefficients in parabolic differential equations. Comm. Pure Appl. Math., 16 (1963), 33-44.        [ Links ]

 

 

Received: 14/XI/06

 

 

#693/06.
* We thank the Brazilian Mathematical Society (SBM) for the permission to reproduce this article originally published at the "Seminar on Numerical Analysis and its Application to Continuum Physics'' in the ATAS of SBM (Rio de Janeiro), 1980, pp. 65-73.