arxiv:0904.4794v [math.ap] 30 Apr 009 Reconstruction in the Calderón Problem with Partial Data Adrian Nachman and Brian Street Abstract We consider the problem of recovering the coefficient σ (x of the elliptic equation (σ u = 0 in a body from measurements of the Cauchy data on possibly very small subsets of its surface. We give a constructive proof of a uniqueness result by Kenig, Sjöstrand, and Uhlmann. We construct a uniquely specified family of solutions such that their traces on the boundary can be calculated by solving an integral equation which involves only the given partial Cauchy data. The construction entails a new family of Green s functions for the Laplacian, and corresponding single layer potentials, which may be of independent interest. Introduction Let be a bounded domain in R n, n 3, with C boundary, and let σ be a strictly positive function in C (. The Dirichlet-to-Neumann map is the operator on the boundary Λ σ : H ( H ( defined as Λ σ f = σ ν u, where u H ( is the solution of the Dirichlet problem: (σ u = 0 in, u = f ( and ν denotes the exterior unit normal to. If models an inhomogeneous, isotropic body with conductivity σ then Λ σ f is the normal component of the current flux at the boundary corresponding to a voltage potential f on. In 980, Calderón [Cal80] posed the following problem: decide whether σ is uniquely determined by Λ σ and, if so, find a method to reconstruct σ from knowledge of Λ σ. The problem is of practical interest in medical imaging and nachman@math.toronto.edu; Department of Mathematics, University of Toronto, Room 690, 40 St. George Street, Toronto, Ontario; The Edward S. Rogers Sr. Department of Electrical and Computer Engineering, University of Toronto, 0 King s College Road, Toronto, Ontario bstreet@math.toronto.edu; Department of Mathematics, University of Toronto, Room 690, 40 St. George Street, Toronto, Ontario
geophysics, where one seeks to image the conductivity of a body by making voltage and current measurements at its surface. For a summary of the considerable progress achieved on Calderón s problem since his groundbreaking paper, see [GKLU09], Section. Recent work has shown that uniqueness in the above problem holds even if measurements are available only on part of the boundary. Bukhgeim and Uhlmann [BU0] proved that knowledge of values of Λ σ on, roughly, slightly more that half of the boundary for all f uniquely determines the conductivity σ in (assuming it is known on. This was improved by Kenig, Sjöstrand, and Uhlmann [KSU07] who assumed Λ σ f known on a possibly very small open subset U of the boundary for f supported in a neighborhood of \ U. (We describe this result more precisely below. The methods in [KSU07] are non-constructive: one assumes that one is given two Dirichlet-to-Neumann maps which agree on appropriate subsets of the boundary and one shows that the corresponding conductivities must also agree. In this paper, we give a reconstruction method. As in the solution of the the reconstruction part of Calderón s problem in [Nac88], we would like to set up an integral equation on the boundary which in this case involves only the given data and yields the boundary values of the geometric optics solutions introduced in [KSU07]. The main difficulty is that the complex geometrical optics solutions of [KSU07] are highly non-unique. Starting from the Carleman estimate of [KSU07] we show how to construct new solutions which are uniquely specified and for which the boundary values can be calculated by solving an integral equation which involves only the assumed partial knowledge of the Cauchy data. To do so we construct, given a (possibly small open subset U of as above, a new family of Green s functions G(x, y for the Laplacian which vanish, roughly speaking, when x U or when y \ U (see Theorem 3. for a precise statement. We also give a novel treatment of the boundedness properties of the corresponding single layer operators, which may be of independent interest. These are the main ingredients needed for our boundary integral equation. We now turn to more rigorous details. Fix any point x 0 in R n \ ch(, the complement of the closure of the convex hull, ch(, of. Following [KSU07], we define the front and back faces of by F (x 0 = {x : (x x 0 ν (x 0} B (x 0 = {x : (x x 0 ν (x 0}. The uniqueness result of [KSU07] can then be stated as follows: Theorem. ([KSU07], Cor..4. Let, x 0, F (x 0, and B (x 0 be as above, and let σ, σ C ( be strictly positive. Assume that σ = σ on. Suppose that there exist open neighborhoods F, B of F (x 0 and B (x 0 respectively, such that Λ σ f = Λ σ f in F for all f H ( supported in B. Then σ = σ in. The above theorem was obtained in [KSU07] as a consequence of the following result for Schrödinger operators. Let q L ( (possibly complex valued,
and assume that 0 is not a Dirichlet eigenvalue of +q in. Then for any v H ( there is a unique (weak solution w H ( of ( +qw = 0 in ( with w = v. Define the corresponding Dirichlet-to-Neumann map Λ q : H ( H ( by tr(w 0,Λ q v = w 0 w + qw 0 w for any w 0 H (, (3 where, denotes the bilinear paring of H ( and H (. Theorem. ([KSU07], Theorem.. Let x 0,, F (x 0, and B (x 0 be as above, and let q i L (, i =,, be two potentials such that 0 is not a Dirichlet eigenvalue of +q i in. Suppose that there exist open neighborhoods F, B of F (x 0 and B (x 0 respectively, such that Λ q v = Λ q v in F, for all v H ( with support in B. Then, q = q. The well-known substitution u = σ / w in ( yields a solution w of (, with q = σ/ σ /, and Λ q = σ / ( Λ σ + σ ν σ /. (4 We note that, for σ C (, with σ known, σ ν can be reconstructed on F B from measurements of Λ σ f on F for all f H ( supported in B. (See Theorem 6(ii in [Nac96]. Thus, we henceforth assume known the map v Λ q v ef for v supported in B (see Remark.4 for the precise class of v. As mentioned earlier, the proof of Theorem. in [KSU07] is nonconstructive, and begins with the assumption that one is given two such q and q for which the partial boundary data agree. Under these assumptions, it was shown in [DSFKSU07] that one can conclude that certain Radon transform information of q q must vanish, and this is enough to show that q = q (actually, [DSFKSU07] deals with more general magnetic Schrödinger operators. The goal of this paper is to show how, given the map v Λ q v ef for v supported in B, one may reconstruct the aforementioned Radon transform information of q. We now describe more precisely the transform our method reconstructs. We follow the presentation of [DSFKSU07], which provides a change of variables which will simplify the exposition. Fix R > 0 so large that B (x 0, R, let H be a hyperplane separating x 0 and ch(, and let H + denote the corresponding open half space containing. Set Γ = { θ S n : x 0 + Rθ H +} and let ˇΓ denote the image of Γ under the antipodal map. Fix α 0 S n \ ( Γ ˇΓ. It is important that both x0 and α 0 may be perturbed slightly, and all of our assumptions remain intact. 3
With this x 0 and α 0 fixed, we may translate and rotate so that, without loss of generality, x 0 = 0 and α 0 = (, 0,..., 0; note, then, that does not intersect the line R {0} {0} R n. For x R n, we write x = (x, x R R n. We then switch to polar coordinates in the x variable. Indeed, denote by (x, r, θ R R + S n such a coordinate system. Note that, since does not intersect R {0} {0}, these coordinates are good on all of. Let z denote the complex variable z = x + ir. We have: = x + r + n r r + r S n ( z + z = 4 (n + z z z z With this notation, we now state our main result. (z z S n. Theorem.3. Let x 0,, F (x 0, B (x 0 be as above, and let F, B be open neighborhoods of F (x 0, respectively B (x 0. Let q L ( be such that 0 is not a Dirichlet eigenvalue of +q in. Given Λ q v on F for all v supported in B one can reconstruct the integrals q (x, r, θg (θ dx dr dθ (6 for all g C ( S n. (Here dθ denotes the usual surface measure on the unit sphere S n. By varying x 0 and α 0 slightly (staying within the given data, it is shown in [DSFKSU07] that the resulting integrals determine q; we refer the reader to that paper for the details of the proof. A brief outline of our paper is as follows. In Section we define the function space on the boundary in which our integral equation will be solved. In Section 3 we construct the new Green s operators for the Laplacian. In Section 4 we select appropriate uniquely specified complex geometrical optics solutions from those of [KSU07] when q = 0. These will serve as incident waves in our construction. In Section 5 we define our new solutions and the corresponding nonlinear transform t (τ, q of q. In Section 6, we introduce the new single layer operators and prove the unique solvability of our boundary integral equation. This yields the reconstruction of t (τ, q from the partial data, and the proof of Theorem.3. Function Spaces We define the Bergman space b q = { u L ( : ( +qu = 0 } See Remark.4 for the precise class of v we work with. (5 4
and topologize it as a closed subspace of L (. We define the harmonic Bergman space b 0 in a similar way, with q replaced by 0. Following [BU0], we work with the Hilbert space H ( = { u L ( : u L ( }, the maximal domain of the Laplacian, with norm The trace map u H ( = u L ( + u L (. tr (u = u extends to a continuous map H ( H ( ; moreover, if u H ( and tr (u H 3 (, then u H ( (see [BU0], [LM68]. We define: H ( = {tr(u : u H (} H ( though for the moment, we do not define a topology on H (. The space H ( will be the setting for our main boundary integral equation. Note that b q H (, and so the trace map makes sense as a map b q H (. In fact, this map is one-to-one and onto. Proposition.. If q L ( and 0 is not a Dirichlet eigenvalue of +q in, then the trace map tr : b q H ( is one-to-one and onto. Proof. Suppose u, v b q, with tr (u = tr (v. Then w = u v b q, with tr(w = 0. Hence, w H (, ( +qw = 0, so by the hypothesis on q, w = 0. Thus tr is one-to-one. Suppose g H (. Thus there exists a function u H ( such that tr(u = g. Let v be the H 0 ( solution to the Dirichlet problem ( +qv = ( +qu, tr(v = 0, and let w = u v. Then w H (, tr(w = g and ( +qw = 0. Thus tr is onto. We define P 0 to the the inverse of tr : b 0 H ( and P q to be the inverse of tr : b q H (. We now define the norm on H ( by g H( = P 0 (g L (. With this topology on H (, the above maps are all continuous. Lemma.. The map tr : H ( H ( is continuous, and under the hypothesis of Proposition., tr : b q H ( is a homeomorphism. Proof. Take u H (, let v be the unique H 0 ( solution to the Dirichlet problem v = u, tr (v = 0, and let w = u v. Note that the map u w is continuous H ( L (, and since w = 0, u w is continuous H ( b 0. Thus, u tr (w is continuous H ( H ( ; however tr(u = tr (w, establishing the first claim. Since b q continuously embeds into H (, we have that tr : b q H ( is continuous. Since it is bijective (Proposition. the open mapping theorem shows that it is a homeomorphism. 5
Having extended the solvability of the Dirichlet problem to boundary data in H (, we now turn to the Dirichlet-to-Neumann map. Proposition.3. Assume q L ( and 0 is not a Dirichlet eigenvalue of +q in. Then Λ q Λ 0 extends to a continuous map H ( H (. Proof. Suppose f, g H (. From (3 we have g, (Λ q Λ 0 f = P 0 (gqp q (f. (7 The right hand side extends continuously to all f, g H( and therefore so does the left hand side. Remark.4. We will henceforth assume knowledge of (Λ q Λ 0 ef f for f ( H ( E B. 3 The Green s Operators For τ R (later on we will take τ large, define: L τ = z τ z τ, L τ = z τ z τ. Here, τ is playing the role that h played in [KSU07, DSFKSU07]. Note that since lies in the open half plane r = Im(z > 0, z τ C ( (where z τ is defined via the principal branch of the logarithm. Remark 3.. Of course, L τ is the formal adjoint of L τ, however we use the above notation since we will construct Green s operators for L τ and L τ in tandem, which we will not a priori know to be adjoints of each other. We define: ± = {x : ±x ν (x 0} Note that F (0 = and B (0 = +. For x, we define γ (x = x ν(x x. Then, the Carleman estimate of [KSU07] (see also [DSFKSU07] can be written as: for τ > 0 and all u C ( with tr(u = 0, τ γ ν u L ( sgn(τ + u L ( τ L τ u L ( + τ γ ν u L ( sgn(τ, (8 and the same inequality holds with L τ replaced by L τ. Define D ± = { v C ( : v = 0, ν v ± = 0 }. The goal of this section is to prove the following theorem. 6
Theorem 3.. For any τ 0, there exist operators such that: G τ, G τ : L ( L ( (i L τ G τ = I = L τ G τ, i.e., z τ G τ z τ = I = z τ G τ z τ. (ii G τ L ( L (, ( Gτ L ( L ( = O for τ >> 0. (iii G τ : L ( z τ H ( and for all u L (, tr(g τ u is supported in sgn(τ. Similarly, tr ( G τ u is supported in sgn(τ. (iv G τ = G τ. (v If v D sgn(τ, then G τ L τ v = v, with a similar result for G τ. Let π τ be the orthogonal projection onto the closure in L ( of L τ D sgn(τ, and π τ the projection onto the closure in L ( of L τ D sgn(τ. The following lemma yields a unique solution of L τ u = f which vanishes on sgn(τ and is in the range of π τ. The proof is an immediate modification of arguments in [LM68], [BU0], [KSU07]; we include it for completeness. Lemma 3.3. Given f L ( and τ 0, there exists a unique u L ( such that. u, L τ v L ( = f, v L (, v D sgn(τ. ( π τ u = u Moreover, this u satisfies u L ( τ f L (, L τu = f, and tr(u is supported in sgn(τ. Proof. Define a linear function l on L τ D sgn(τ by: τ l ( L τ v = v, f L ( We have: l ( L τ v v L ( f L ( τ L τ v L ( f L ( (9 where we have applied the Carleman estimate (8. The functional l extends by continuity to the closure of L τ D sgn(τ. Define l 0 on the orthogonal complement in L ( of L τ D sgn(τ. There exists a unique u L ( such that: L τ v, u L ( = l ( L τ v = v, f L (, ( π τu = u. Here, we are using, L to denote the sesquilinear pairing between two L functions. This is in contrast to our notation, without the subscript, which denotes the bilinear pairing of a distribution and a test function. 7
Moreover (9 shows that u L ( τ f L (. Taking v C 0 ( in the above equation shows that L τ u = f. Now letting v D sgn(τ be arbitrary, we see via Green s formula: L τ v, u L ( = sgn(τ ( ν v tr(u + v, f L ( and therefore, sgn(τ ( ν v tr(u = 0. Thus, as v D sgn(τ was arbitrary, tr(u must be supported in sgn(τ. Define H τ : L ( L ( by H τ f = u, where u and f are as in Lemma 3.3. In a similar manner, we construct H τ. We then have:. L τ H τ = I = L τ H τ. ( π τ H τ = H τ, ( π τ H τ = H τ 3. H τ L ( L ( = O ( τ, Hτ L ( L ( = O ( τ 4. For all u L (, tr (H τ u and tr ( H τ u are supported in sgn(τ. Moreover, H τ is characterized by the fact that ( π τ H τ = H τ and Hτ f, L τ v L ( = f, v L (, v D sgn(τ. Thus, the operators H τ, H τ satisfy (i-(iii of Theorem 3.. We need to suitable modify H τ, H τ to obtain the crucial property (iv. As a preliminary step, we define T τ = H τ ( π τ, T τ = H τ ( π τ Lemma 3.4. T τ = T τ Proof. Since T τ π τ = 0 = T τ π τ, it suffices to show that T τ L τv = H τ L τ v, v D sgn(τ Moreover, since ( π τ T τ = T τ and ( π τh τ = H τ, it suffices to show: Lτ w, T τ L τ v L ( = L τ w, H τ L τ v L (, w D sgn(τ, v D sgn(τ By the definition of H τ (since w D sgn(τ, we have: Lτ w, H τ L τ v L ( = w, L τ v L (. 8
We also have: Lτ w, T τ L τv L ( = L τ w, ( π τ H τ L τv L ( = H τ ( π τ L τ w, L τ v L ( = H τ L τ w, L τ v L ( = L τ w, v L ( = w, L τ v L ( where in the second to last line we used the definition of H τ and in the last line we integrated by parts and used the fact that w D sgn(τ, v D sgn(τ. This completes the proof of the lemma. Lemma 3.5. π τ is the orthogonal projection onto { u L ( : L τ u = 0 and tr(u is supported in sgn(τ }, with a similar result for π τ. Proof. Indeed, we will show that u is orthogonal to L τ D sgn(τ if and only if u is as in the statement of the lemma. Suppose u is orthogonal to L τ D sgn(τ. Then, in particular, for all v C 0 (, we have: u, L τ v L ( = 0 and thus L τ u = 0. Next, allowing v D sgn(τ to be arbitrary we see that: 0 = L τ v, u L ( = sgn(τ ( ν vtr (u and it follows that tr(u is supported in sgn(τ. The converse follows by the same integration by parts, and is left to the reader. Proof of Theorem 3.. Define G τ = H τ + π τ H τ, G τ = H τ + π τ H τ. It follows from the construction of H τ and Lemma 3.5 that L τ G τ = I, tr (G τ u is supported in sgn(τ for all u L (, G τ L ( L ( = O ( τ, and similar results hold for G τ. To show that G τ = G τ, we use Lemma 3.4: G τ = H τ + H τπ τ = (H τ π τ + T τ + H τ T τ = π τ H τ + T τ + H τ T τ = H τ + π τ H τ = G τ. 9
To verify (v, consider, for h L (, v D sgn(τ, h, Gτ L τ v L ( = G τ h, L τ v L ( completing the proof. = h, v L (, 4 Special Solutions when q = 0 In this section we consider only τ > 0. All of the results in this section hold for τ < 0, provided one reverses the roles of + and everywhere. Recall that B is a neighborhood of +. The goal of this section is to construct a family of harmonic functions u τ in which vanish on \ B and have specified asymptotics for large τ. More precisely, given any g C ( S n, we construct µ τ = z τ u τ L ( such that:. L τ µ τ = 0, ie u τ = 0.. The support of tr (µ τ is in B. 3. µ τ (z z n g (θ, in L ( norm as τ. To do this, we use Proposition 7. of [KSU07]. Define D = { f C ( : f = 0 }, and define M τ = {( L τ f, ν f + : f D }. We think of M τ as a (non-closed subspace of L ( L ( τγ ds, +, where ds denotes the surface measure on. Let M τ denote the orthogonal projection onto the closure of M τ in this Hilbert space. We then have the following result, which is essentially Proposition 7. of [KSU07]. Proposition 4.. Given ( v L (,v L γ ds,, there exists a unique u L ( such that. L τ u = v,. tr (u = v, 3. M τ ( u, tr(u = ( u, tr(u. This u satisfies u L ( τ v L ( + τ γ v L (. 0
Proof. Define a linear function l on M τ by: l ( L τ f, ν f + = f, v L ( + νf, v L (. Let l 0 on the orthogonal complement of M τ. Note that (using (8: ( l L τ f, ν f v L ( f L ( + γ νf L ( v L ( τ v L ( + τ γ v L ( γ ds, ( L τf + τ L γ ν f ( L ( + However, the norm applied to ( L τ f, ν f + on the RHS is precisely the norm in L ( L ( τγ ds, +. Thus, there exists with (u, u + L ( L ( τ γ ds, + u L ( τ v L ( + τ γ v L ( and satisfying: L τ f, u L ( + νf, u + L ( + = f, v L ( + νf, v L ( Taking f C0 ( shows that L τu = v. Now allowing f D to be arbitrary shows that tr(u = v and tr(u + = u +. It is clear that this u is unique under the conditions of the proposition. Let R τ (v, v = u, where u, v, v are as in Proposition 4.. ( By reversing the roles of + and we also get R τ (v, v + where v + L γ ds, +. We now turn to the construction of the solutions promised at the beginning of this section. It is easy to see, using (5, that: ( 4 (n L τ = + τ z z (z zz = + τ z L where Note that: and so: L = 4 z (n (z z L ((z z n g (θ = 0 L τ (z z n g (θ = (z z n g (θ
Hence, if we let χ + C 0 ({x : x ν > 0}, with χ + = on an open set containing \ B, we see that (if h + = (z z n g (θ: µ τ = h + R τ ( h +, (χ + tr(h + has the desired properties. In addition, if we take χ C 0 ({x : x ν < 0}, with χ = on a neighborhood of \ F, and if we define h = (z z n, ν τ = h R τ ( h, (χ tr (h satisfies L τ ν τ = 0, the support of tr (ν τ is in F, and ν τ (z z n in L ( norm as τ. For the rest of the paper, we fix this choice of harmonic functions u τ = z τ µ τ and v τ = z τ ν τ. 5 Special Solutions for General q In this section we construct our family of solutions w τ = z τ ω τ of ( +qw τ = 0 in, which vanish on \ B and have specified asymptotics for large τ. We also define a corresponding nonlinear transform of q. We take u τ and v τ as constructed in Section 4. Recall that u τ was defined in terms of a fixed g C ( S n. Proposition 5.. Let, q, x 0, F (x 0, B (x 0, F, and B be as in the hypothesis of Theorem.3. For τ >> 0, g C ( S n and µ τ as above, there exists a unique solution ω τ = z τ w τ of the integral equation This solution satisfies (i ( L τ + q ω τ = 0, (ii tr (ω τ is supported in B, ω τ = µ τ + G τ qω τ. (0 (iii ω τ (z z n g (θ in L ( norm as τ. Proof. Since q L (, unique solvability of (0 for τ sufficiently large follows from the bound G τ L ( L ( = O ( τ (Theorem 3. (ii. Property (i follows from L τ µ τ = 0 and L τ G τ = I. Property (ii is a consequence of the support properties of tr (µ τ and tr G τ (Theorem 3. (iii. Finally, (iii follows from the corresponding asymptotics of µ τ and the above bound on G τ. By analogy with the approach to Calderón s problem in [Nac88], [Nac96], we define the following nonlinear transform of q t (τ, g = t (τ, g, x 0, α 0 = v τ qw τ = ν τ qω τ (
with ω τ as constructed above and ν τ the solution for homogeneous background defined in Section 4. Then lim t (τ, g = (z z τ n q (z z n g = q (x, r, θg (θ(ir (n r n dr dθ dx = (i (n q (x, r, θ g (θ dr dθ dx. ( Thus, to prove Theorem.3 it suffices to reconstruct t (τ, g from the given partial knowledge of the Dirichlet-to-Neumann map. Theorem 5.. Given partial knowledge of Λ q as in the hypothesis of Theorem.3, one can reconstruct t (τ, g for any g C ( S n and τ sufficiently large. Proof. Using (7 we can express t (τ, g in terms of boundary data as t (τ, g = v τ qw τ = tr (v τ (Λ q Λ 0 tr (w τ (3 Recall that v τ was defined independently of q. Since tr(v τ is supported in F and tr (w τ is supported in B, the above formula only involves the given partial knowledge of Λ q. The proof will be completed in the following section, where we will show that tr (w τ can be reconstructed from the given data. 6 Single Layer Operators and the Boundary Integral Equation In this section, we define the single layer operators S τ corresponding to the Green s operators constructed in Section 3 and show that tr (w τ can be reconstructed as the unique solution of the integral equation in H ( : (Compare with (0.7 in [Nac96]. Consider the map tr (w τ = tr(u τ + S τ (Λ q Λ 0 tr(w τ (4 (tr G τ : z τ H ( L ( defined for h z τ H (, f L ( by: ( (tr G τ h f = Lemma 6.. For all h z τ H (, (i L τ (tr G τ h = 0 h (tr G τ f 3
(ii tr ( (tr G τ h is supported in. Moreover if B is a neighborhood of + such that B B, and if h is supported in \ B, we have that (tr Gτ h = 0. Proof. If h is supported in \ B, ( (tr G τ h f = h (tr G τ f = 0 + for all f L (, since (tr G τ f is supported in +. Thus, (tr G τ h = 0. Now consider, for f D and all h, ( (tr G τ h L τ f = h (tr G τ L τ f (5 = htr(f where in the second to last line we have used Theorem 3. (v, and in the last line we have used that tr(f = 0. The rest of the lemma now follows from (5 and integration by parts (similar to that in Lemma 3.3. = 0 For any τ 0, define the operator S τ on H ( as S τ h = z τ ( tr (tr G τ ( hz τ (6 To streamline the notation we assume τ > 0 in some of the results below. Proposition 6.. (i S τ is a bounded operator H ( H (. (ii If τ > 0, S τ h only depends on h ef. (iii If τ > 0, S τ h is supported in B. Proof. It follows from Lemma 6. (i that (tr G τ : z τ H ( z τ H (, hence tr (tr G τ : z τ H ( z τ H (. Thus, ( tr (tr G τ is a bounded operator z τ H ( z τ H ( and (i follows. (ii By Lemma 6. (ii, if h H( then tr (tr G τ z τ h is supported in, so that for h H ( one may compute z τ ( tr (tr G τ z τ h using only knowledge of h ef. (iii Since tr (tr G τ z τ h = 0 for all h H( supported in \ B, we see that z τ ( tr (tr G τ z τ h is supported in B for any h H (. 4
It follows from the above and Proposition.3 that the operator S τ (Λ q Λ 0 is bounded H ( H (, and that for τ > 0 and any h H (, S τ (Λ q Λ 0 h is supported in B. Moreover, if τ > 0 and h is supported in B, then S τ (Λ q Λ 0 h can be computed using only the given partial knowledge of Λ q. To prove the solvability of the integral equation (4, we ll use the following factorization identity (compare with (7.4 of [Nac96]. Proposition 6.3. S τ (Λ q Λ 0 = tr z τ G τ z τ qp q. Proof. Consider, for any f H (, h H(, f, tr z τ G τ z τ qp q h ( = z τ (tr G τ z τ f qp q h. By Lemma 6., z τ (tr G τ z τ f b 0 and, using (7 we find that the right hand side of the above equality equals z τ tr (tr G τ z τ f, (Λ q Λ 0 h = f, z τ ( tr (tr G τ z τ (Λ q Λ 0 h = f, S τ (Λ q Λ 0 h. The next three results below will yield the solvability of (4. Proposition 6.4. For f, h H (, [I S τ (Λ q Λ 0 ] h = f if and only if ( I z τ G τ z τ q P q h = P 0 f. Corollary 6.5. I S τ (Λ q Λ 0 : H ( H ( is an isomorphism if and only if I z τ G τ z τ q : b q b 0 is an isomorphism. Proposition 6.6. For τ >> 0, I z τ G τ z τ q : b q b 0 is an isomorphism. 5
Proof of Proposition 6.4. Suppose [I S τ (Λ q Λ 0 ] h = f. We wish to show that ( I z τ G τ z τ q P q h = P 0 f. Since it suffices to show that ie that ( I z τ G τ z τ q P q h = qp q h qp q h = 0, tr (( I z τ G τ z τ q P q h = f h tr ( z τ G τ z τ qp q h = f. However, Proposition 6.3 shows that the left side equals h S τ (Λ q Λ 0 h, which we are assuming equal to f. For the converse, suppose that ( I z τ G τ z τ q P q h = P 0 f taking the trace of both sides yields, using Proposition 6.3 as claimed. h S τ (Λ q Λ 0 h = f, Proof of Proposition 6.6. Since q L ( and since G τ L ( L ( = O ( (Theorem 3. (ii, I G τ q : L ( L ( is an isomorphism for τ sufficiently large. For such τ, the operator I z τ G τ z τ q is then an isomorphism L ( L ( with inverse z τ (I G τ q z τ. If u b 0, we claim Indeed, w = z τ (I G τ q z τ u b q. w z τ G τ qz τ w = u and z τ G τ z τ = I, hence w qw = 0. Proof of Theorem 5. (completed. Let w τ be defined as in Proposition 5.. Then, in view of Proposition 6.4, tr(w τ satisfies (4. Corollary 6.5 and Proposition 6.6 show that (4 is uniquely solvable for large τ. Substituting the solution tr(w τ in formula (3 yields t (τ, g. Proof of Theorem.3. We solve the boundary integral equation (4 for τ >> 0, as indicated above. We then calculate t (τ, g using formula (3. The large τ limit ( then gives the integrals (6, as claimed. τ 6
References [BU0] [Cal80] Alexander L. Bukhgeim and Gunther Uhlmann, Recovering a potential from partial Cauchy data, Comm. Partial Differential Equations 7 (00, no. 3-4, 653 668. Alberto-P. Calderón, On an inverse boundary value problem, Seminar on Numerical Analysis and its Applications to Continuum Physics (Rio de Janeiro, 980, Soc. Brasil. Mat., Rio de Janeiro, 980, pp. 65 73. [DSFKSU07] David Dos Santos Ferreira, Carlos E. Kenig, Johannes Sjöstrand, and Gunther Uhlmann, Determining a magnetic Schrödinger operator from partial Cauchy data, Comm. Math. Phys. 7 (007, no., 467 488. [GKLU09] [KSU07] [LM68] [Nac88] [Nac96] Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, and Gunther Uhlmann, Invisibility and inverse problems, Bull. Amer. Math. Soc. (N.S. 46 (009, no., 55 97. MR MR45707 Carlos E. Kenig, Johannes Sjöstrand, and Gunther Uhlmann, The Calderón problem with partial data, Ann. of Math. ( 65 (007, no., 567 59. J.-L. Lions and E. Magenes, Problèmes aux limites non homogènes et applications. Vol., Travaux et Recherches Mathématiques, No. 7, Dunod, Paris, 968. MR MR04743 (40 #5 Adrian I. Nachman, Reconstructions from boundary measurements, Ann. of Math. ( 8 (988, no. 3, 53 576., Global uniqueness for a two-dimensional inverse boundary value problem, Ann. of Math. ( 43 (996, no., 7 96. MR MR370758 (96k:3589 7