Abstract
This article offers a study of the Calderón type inverse problem of determining up to second order coefficients of higher order elliptic operators. Here we show that it is possible to determine an anisotropic second order perturbation given by a symmetric matrix, along with a first order perturbation given by a vector field and a zero-th order potential function inside a bounded domain, by measuring the Dirichlet to Neumann map of the perturbed biharmonic operator on the boundary of that domain.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of the main result
Let \(\Omega \subset \mathbb {R}^{n},\) \(n\ge 3\) be a bounded domain with smooth connected boundary. Let us consider the following perturbed biharmonic operator \(\mathcal {L}(x,D)\) of order 4, with perturbations up to second order, of the following form:
where \(D_j=\frac{1}{i}\partial _{x_j}\), \(A=(A_{jk}) \in W^{3,\infty }(\Omega , \mathbb {C}^{n^2})\), \(B=(B_{j}) \in W^{2,\infty }(\Omega , \mathbb {C}^{n})\) and \(q \in L^{\infty }(\Omega , \mathbb {C})\) are the perturbation coefficients.
Here in this article we will be considering an inverse problem of recovering the coefficients A, B, q in \(\Omega \) from the knowledge of the Dirichlet to Neumann map (DN map):
corresponding to \(\mathcal {L}(x,D)\), given on the boundary \(\partial \Omega \). The novelty of this work lies in full global recovery of the second order anisotropic matrix perturbation, along with the first and zero-th order perturbed terms of a biharmonic operator.
The inverse problem we present in this article falls into the generalized category of the Calderón type inverse problem. The original Calderón’s problem [9] modeled by the second order elliptic operator \(-\nabla \cdot \gamma \nabla \), first appeared on studying the Electrical Impedance Tomography (EIT), where one uses static voltage and current measurements at the boundary of an object to know about its internal conductivity \(\gamma \). If we assume the conductivity is isotropic and regular, then we do recover it from the voltage current measurements at the boundary. See the seminal work of Sylvester and Uhlmann [35] in dimension three and higher, and Nachmann [28] for the two dimensional case. If the conductivity is anisotropic, then the unique recovery assertion fails [36]. The inverse boundary value problem for magnetic Schrödinger operator \((D+A)^2+q\) that on the question of recovering the vector field A appearing as a first order perturbation of the Laplacian operator, [15, 34] show that the recovery of the magnetic field A along with unique recovery of scalar potential q can be achieved up to its natural gauge invariance, \(A=A+\nabla \varphi \) for \(\varphi \) scalar.
A generalization of Calderón type inverse problems for higher order (order \(>2\)) operators gets its due attention, and in this direction one seeks to recover lower order perturbations of a higher order operator from the boundary DN map. The work of [23, 24] first offer such study, and establish the complete recovery of the first (vector field) and zeroth order (scalar potential) coefficients of perturbed higher order elliptic operator of order 2m:
Note that, the complete recovery of the first order perturbation fails for \(m=1\) case. Following that, subsequent variations of the problems has been addressed, see [4,5,6, 18, 20, 25, 37] to mention. However, all these works remained considering up to first order perturbations (cf. (1.2)) of the biharmonic or polyharmonic operators.
One interesting aspect remained for example by allowing up to the second order perturbation of a biharmonic or polyharmonic operator, and seeking the determination of all the coefficients. Previously, [17] carries out one such exercise to establish that if the second order perturbation is governed by an isotropic matrix i.e. \(A_{jk}=a(x)\delta _{jk}\) for some scalar function a(x) in
then a can be determined along with the B, q by knowing the boundary DN map. Then in [8] we extend this result by showing that it is possible to determine any symmetric matrix A from the perturbed polyharmonic operator:
Clearly, the compromise we made there in order to recover anisotropic matrices A, we sought \(A_{jk}D_jD_k\) as the second order perturbation of the polyharmonic operator of order at least 6 (\(m=3\)). So the border line case for the perturbed biharmonic operator (\(m=2\)) remained open. In this article, we settle that part by establishing the recovery of the anisotropic matrix A of the perturbed biharmonic operator (\(m=2\)) (cf. (1.1)) from the knowledge of its boundary DN map. The presence of the anisotropic matrix A in \(\mathcal {L}(x,D)\) (cf. (1.1)) brings a number of challenges, we will get into that in the following sections.
The higher order elliptic operators as in (1.1) arise in the areas of physics and geometry, such as the study of the Kirchoff plate equation (perturbed biharmonic operator) in the theory of elasticity, buckling problem and the study of the Paneitz-Branson operator in conformal geometry, for more details see [3, 16]. For more on the elasticity model and perturbed biharmonic operators see [10, 29, 32]. A related study of unique continuation for Kirchoff–Love plate equation or in general fourth-order elliptic equation has its own appeal, we refer [12, 13, 27, 33] and reference therein. Let us also mention the recent work of [2] which studies the boundary unique continuation results for the Kirchoff–Love plate equation. The main method in both unique continuation and inverse problems remain to perform Carleman method of estimations, which we have discussed in Sect. 3. We end our discussion here with mentioning this recent publication [26] for a detailed understanding and wide references on the related topics of biharmonic operator.
1.1 Direct problem
Let \(\Omega \subset \mathbb {R}^{n},\) \(n\ge 3\) be a bounded domain with smooth connected boundary. Recall the operator \(\mathcal {L}(x,D)\) given as (1.1), defined in \(\Omega \). Consider the domain of this operator to be
The operator \(\mathcal {L}(x,D)\) in the domain \(\mathcal {D}(\mathcal {L}(x,D))\) is an unbounded closed operator with a purely discrete spectrum [19]. We make the assumption that 0 is not an eigenvalue of the operator \(\mathcal {L}(x,D) : \mathcal {D}(\mathcal {L}(x,D)) \rightarrow L^2(\Omega )\). Let us denote
then for any \(f=(f_0,f_1) \in H^{\frac{7}{2}}(\partial \Omega )\times H^{\frac{3}{2}}(\partial \Omega )\), the boundary value problem,
has a unique solution \(u_f \in H^{4}(\Omega )\).
Let us define the corresponding Neumann trace operator \(\gamma ^{\#}\) by
where \(\nu \) is the outward unit normal to the boundary \(\partial \Omega \). The Dirichlet to Neumann map (DN map) corresponding to the operator \(\mathcal {L}(x,D)\) is given as
where \(u_f\in H^{4}(\Omega )\) is the unique solution of (1.5). We also define the Cauchy data set to be the graph of the DN map as
Before we move into addressing the inverse problem, here we quickly go through this following observation. From the wellposedness of the direct problem we readily see that knowing the coefficients A, B, q in \(\Omega \), one can determine the DN map on \(\partial \Omega \). Therefore, we can establish a one sided relation:
Our goal is to address the injectivity of the above mapping. But first let us consider a general biharmonic operator \(\mathcal {M}\) with lower order perturbation up to order 3, defined as
where C(x) is a symmetric 3-tensor, A(x) is a symmetric matrix, B(x) is a vector field and q(x) is a function and C, A, B, q are smooth in \({\overline{\Omega }}\). Let \(u \in H^4(\Omega )\) be a solution of \(\mathcal {M}_{C,A,B,q} u = 0\) in \(\Omega \), then for any \(\Phi \in H^{4}_0(\Omega )\) we see that
where \(\mathcal {W},\mathcal {A},\mathcal {B},\mathcal {Q}\) are a set of \(C^{\infty }({\overline{\Omega }})\) coefficients given as
Note that
which implies \(\mathcal {M}_{C,A,B,q}\) and \(\mathcal {M}_{\mathcal {C},\mathcal {A},\mathcal {B},\mathcal {Q}}\) has the same DN map where \(\mathcal {C}, \mathcal {A}, \mathcal {B},\mathcal {Q}\) are as in (1.9) and \(\Phi \in H^4_0(\Omega )\).
This shows that \({\mathfrak {T}}_{\mathcal {M}}\) is certainly not injective for the operator \(\mathcal {M}\). This kind of obstruction towards injectivity exists for the magnetic Schrödinger operator as well, see [15, 34]. Since \(\mathcal {L}\) is a special case of the operator \(\mathcal {M}\), i.e. \(\mathcal {M}=\mathcal {L}\) when \(C=0\) in \(\Omega \), therefore one might doubt about the injectivity of \({\mathfrak {T}}_{\mathcal {L}}\).
Now, for the special case if \(C = 0\) in \(\Omega \), we get \(\mathcal {M}_{0,A,B,q} = \mathcal {L}_{A,B,q}(x,D)\) in \(\Omega \). If there is a gauge for the operator \(\mathcal {L}(x,D)\), then it would mean that there exist an operator \(\mathcal {L}_{\mathcal {A},\mathcal {B},\mathcal {Q}} = \mathcal {M}_{0,\mathcal {A},\mathcal {B},\mathcal {Q}}\) such that it satisfies the relation in (1.9) for some \(\Phi \in H^4_0(\Omega )\) such that \(\mathcal {C}=0\) in \(\Omega \). Since, we have assumed \(C=0\) in \(\Omega \), this means \(\nabla \Phi \otimes I=0\) in \(\Omega \) for \(\Phi \in H^4_0(\Omega )\), which implies \(\Phi =0\) in \(\Omega \). So the absence of the third order perturbations in \(\mathcal {L}(x,D)\) sets up the possibility of the complete recovery of A, B and q in \(\Omega \) from the knowledge of the DN map.
1.2 Inverse problem
The inverse problem we investigate here is, does the DN map \(\mathcal {N}\) determines the unknown coefficients of \(\mathcal {L}(x,D)\), namely the symmetric matrix A along with the vector field B and the potential function q in \(\Omega \)?
In this article we provide an affirmative answer to this question. Let \(\widetilde{A}\in W^{3,\infty }(\Omega )\) be a symmetric matrix, \(\widetilde{B} \in W^{2,\infty }(\Omega )\) be a vector field and \(q\in L^{\infty }(\Omega )\) be a function and write \(\widetilde{\mathcal {L}}(x,D) = \mathcal {L}_{\widetilde{A},\widetilde{B},\widetilde{q}}(x,D)\) defined in \(\Omega \). Let \(\widetilde{\mathcal {N}}\) be the DN map corresponding to the operator \(\widetilde{\mathcal {L}}(x,D)\).
Let \(\mathcal {E}'({\overline{\Omega }})\) be the dual of \(\mathcal {E}({\overline{\Omega }}) = C^{\infty }({\overline{\Omega }})\). In particular, \(\mathcal {E}'({\overline{\Omega }})\) is the space of all compactly supported distributions in \({\overline{\Omega }}\). We state our main result here.
Theorem 1.1
Let \(\Omega \subset \mathbb {R}^n, n\ge 3 \) be a bounded domain with smooth connected boundary. Let \(\mathcal {L}(x,D)\) and \(\widetilde{\mathcal {L}}(x,D)\) be two operators defined as in (1.1) with the coefficients \(A,\widetilde{A} \in W^{3,\infty }(\mathbb {R}^n;\mathbb {C}^{n^2}) \cap \mathcal {E}^{\prime }({\overline{\Omega }})\); \(B,\widetilde{B} \in W^{2,\infty }(\mathbb {R}^n;\mathbb {C}^{n}) \cap \mathcal {E}^{\prime }({\overline{\Omega }})\) and \(q,{\widetilde{q}} \in L^{\infty }(\Omega ;\mathbb {C})\). Assume that 0 is not an eigenvalue for \(\mathcal {L}(x,D), \widetilde{\mathcal {L}}(x,D)\) in \(\mathcal {D}(\mathcal {L}(x,D))\) and \(\mathcal {D}(\widetilde{\mathcal {L}}(x,D))\) respectively. If
then
1.3 Dirichlet boundary data
Let us now consider a different boundary information, for the same problem given in (1.5). Consider (1.5) given with the Dirichlet boundary conditions instead of Navier boundary conditions. Let us denote
Then for \(f= (f_0,f_1) \in H^{\frac{7}{2}}(\partial \Omega )\times H^{\frac{5}{2}}(\partial \Omega )\) we consider the boundary value problem
The corresponding Neumann trace is
where \(u\in H^{4}(\Omega )\) is the unique solution to the Dirichlet problem (1.10). See [1, 19] for the wellposedness of the forward problem (1.10). We introduce the set of Cauchy data for the operator \(\mathcal {L}(x,D)\) with the Dirichlet boundary condition by
As a corollary of Theorem 1.1, we have the following result:
Corollary 1.2
We assume \(A,{\widetilde{A}}\), \(B,\widetilde{B}\) and \(q,{\widetilde{q}}\) satisfy the same conditions as in Theorem 1.1. Let \(\widetilde{\mathcal {C}^{D}}\) be the Cauchy data corresponding to the operator \(\widetilde{\mathcal {L}}(x,D)\). Then \(\mathcal {C}^D= \widetilde{\mathcal {C}}^D\) on \(\partial \Omega \) implies that \(A = {\widetilde{A}}\), \(B=\widetilde{B}\) and \(q = \widetilde{q}\) in \(\Omega \).
Proof
Proceeding in a similar way as of Theorem 1.1, in this case we end up with an integral identity same as (4.4). Then following the same analysis, one can show uniqueness of the lower order perturbations in \(\Omega \). \(\square \)
1.4 A brief discussion on the techniques
A general approach to solve a Calderón type inverse problem follows from the pioneering work of [35]. By a clever use of integrations by parts formula and the equality of the DN map at the boundary, we obtain integral identities concerning the perturbation coefficients along with solutions of the operator and its adjoint under consideration. For instance, we obtain
where \(\widetilde{u}\) solves \(\mathcal {L}_{\widetilde{A},\widetilde{B},\widetilde{q}}(x,D)\widetilde{u}=0\) and v solves \(\mathcal {L}^{*}_{A,B,q}(x,D)v=0\) in \(\Omega \).
Next we seek for particular class of solutions for \(\widetilde{u}\) and v which are known as the complex geometric optics (CGO) solutions for the operator \(\mathcal {L}(x,D)\) and its adjoint \(\mathcal {L}^{*}(x,D)\) respectively. They consist of a complex phase function and a complex amplitude. The amplitude can be expanded asymptotically as solutions of a series of transport equations. For the summability, we prove a Carleman estimate to bound the tail of the series with desired smallness, see [22] for Schrödinger operator. In our case, we construct them in Sect. 2.
Note that, the key to make this method work is to produce enough amplitudes, solving the transport equations and thus enough CGO solutions for the operator. The main challenge to recover an anisotropic second order perturbation of a biharmonic operator is to construct enough CGO solutions. The transport equations we get for the amplitudes are of the form of a second order partial differential operator with a potential term, governed by the unknown anisotropic coefficient A:
where \(\mu _1,\mu _2\in \mathbb {R}^n\) satisfying \(|\mu _1|=|\mu _2|\) and \(\mu _1\perp \mu _2\). Note that, when A is an anisotropic matrix then \(A(x)(\mu _1+i\mu _2)\cdot (\mu _1+i\mu _2)\) remains non-zero, however when A is isotropic it remains always zero. In order to provide enough \(\widetilde{u},v\) in (1.11), we need to look for a rich class of solutions a of (1.12). We construct yet another CGO type solution for the amplitudes a and provide a sufficiently large class solutions. So altogether, we construct CGO solutions, for the biharmonic operator under considerations, having CGO amplitudes. To the best of the author’s knowledge, construction of CGO amplitudes is new in the analysis of the Calderón problem. For this construction, we use a Carleman estimate based on the two dimensional \({\overline{\partial }}\)-bar operator, which we prove in the due course. We dedicate Sect. 3 to construct such CGO amplitudes and provide a detailed discussion there. Finally, in Sect. 4, using the large class of solutions constructed in the previous sections we show that \(A=\widetilde{A}\), \(B=\widetilde{B}\) and \(q=\widetilde{q}\) in \(\Omega \).
2 Carleman estimate and CGO solutions
In this section we construct complex geometric optics (CGO) type solutions of \(\mathcal {L}(x,D)\) in (1.1). To construct complex geometric optics solutions we need certain solvability result for the correction term, with desired decay estimates. We use the method of Carleman estimates to derive suitable weighted estimates for the operator \(\mathcal {L}(x,D)\) and its formal \(L^{2}(\Omega )\) adjoint \(\mathcal {L}^{*}(x,D)\). Our method is essentially based on the Carleman estimates derived for the conjugated Laplacian operator with a gain of two derivatives [31].
2.1 Interior Carleman estimates
Let us recall \(\mathcal {L}(x,D)\) as in (1.1). Note that \(\mathcal {L}^{*}(x,D)\), the \(L^2(\Omega )\) adjoint of \(\mathcal {L}(x,D)\), has a similar form as of \(\mathcal {L}(x,D)\) with possibly different coefficients \(A^{\sharp }\), \(B^{\sharp }\) and \(q^{\sharp }\) (see (2.20)). In this section, we prove an interior Carleman estimate for the conjugated semiclassical version of the operator \(\mathcal {L}(x,D)\) as well as its adjoint operator.
First we prove a Carleman estimate for the principal part of the semiclassical version of the operator \(\mathcal {L}(x,D)\), which is given as \((-h^2\Delta )^2\). Then by adding lower order terms to it finally we derive the required Carleman estimate for the conjugated semiclassical version of the operator \(\mathcal {L}(x,D)\). We start by recalling the definition of a limiting Carleman weight for the semiclassical Laplacian \((-h^2\Delta )\). Let \(\widetilde{\Omega }\) be an open set in \(\mathbb {R}^n\) such that and let \(\varphi \in C^{\infty }(\widetilde{\Omega },\mathbb {R})\). Consider the conjugated, semiclassical Laplacian operator \(P_{0,\varphi } = e^{\frac{\varphi }{h}}(-h^2\Delta )e^{-\frac{\varphi }{h}}\) with its semiclassical symbol \(p_{0,\varphi }(x,\xi )=|\xi |^2-|\nabla _x\varphi |^2+2i\xi \cdot \nabla _x\varphi \).
Definition 2.1
[22] We say that \(\varphi \) is a limiting Carleman weight for \((-h^2\Delta )\) in \(\widetilde{\Omega }\) if \(\nabla \varphi \ne 0 \) in \(\widetilde{\Omega }\) and the Poisson bracket of \(\textrm {\textrm {Re}}(p_{0,\varphi })\) and \(\textrm {Im}(p_{0,\varphi })\) satisfies
Examples of such \(\varphi \) are the linear weights defined as \(\varphi (x) = \alpha \cdot x\), where \(\alpha \in \mathbb {R}^n{\setminus }\{0\}\) or the logarithmic weights \(\varphi (x)= \log |x-x_0|\) with \(x_0 \notin \overline{\widetilde{\Omega }}\). Throughout this article we consider the limiting Carleman weight to be of the form \(\varphi (x)=(\alpha \cdot x)\) where \(\alpha \in \mathbb {R}^n\) with \(|\alpha |=1\).
As the principal symbol of the semiclassical conjugated biharmonic operator \(e^{\frac{\varphi }{h}}(-h^2\Delta )^{2}e^{-\frac{\varphi }{h}}\) is given by \(p_{0,\varphi }^2\), which is not of principal type, the idea of Carleman weights for biharmonic operators does not make sense. Instead we work with the limiting Carleman weights for the conjugated semiclassical Laplacian operator. In order to get the Carleman estimate for the biharmonic operators we iterate the Carleman estimate obtained for the semiclassical Laplacian.
We use the semiclassical Sobolev spaces \(H^s_{\textrm {scl}}(\mathbb {R}^n)\) with \(s\in \mathbb {R}\), equipped with the norm
where \(\langle \xi \rangle = (1+|\xi |^2)^{\frac{1}{2}}\). For a bounded domain \(\Omega \subset \mathbb {R}^n\) with Lipschitz boundary, we define the semiclassical Sobolev space \(H^s_{scl}(\Omega )\) as the restriction of \(H^s_{scl}(\mathbb {R}^n)\) in \(\Omega \) with the norm as
For \(s=m\) a positive integer we get
where \(\simeq \) denotes equivalence in the two norms on both sides of the above relation. We define \(H^s_{scl,0}(\Omega )\) to be closure of the \(C^{\infty }_0(\Omega )\) in \(H^s_{scl}(\Omega )\) for any \(s>0\). For \(s<0\) one can realize \(H^{s}_{scl}(\Omega )\) to be the dual of the space \(H^{-s}_{scl,0}(\Omega )\).
With these notations we now prove the following proposition.
Proposition 2.2
Let \(A \in W^{2,\infty }(\Omega ,\mathbb {C}^{n^{2}})\), \(B \in W^{1,\infty }(\Omega ,\mathbb {C}^{n})\), \(q\in L^{\infty }(\Omega ,\mathbb {C})\) and \(\varphi \) be a limiting Carleman weight for the semiclassical Laplacian on \(\widetilde{\Omega }\). Then for \(0< h\ll 1 \) and \(-4\le s\le 0\), we have
the constant \(C = C_{s,\Omega , A,B,q}\) is independent of \(h>0\).
Proof
Let us consider the convexified Carleman weight (see [22]) defined as
We begin with the Carleman estimate for the semiclassical Laplacian with a gain of two derivatives proved in [31]:
Let \(-4\le s\le 0\), then iterating the estimate (2.2) for 2 times, we get the following estimate:
Next to get the required Carleman estimate for \(\mathcal {L}(x,D)\), we add the lower order perturbations (given in (1.1)) to the above estimate. We first take the zero-th order term \((h^{4}q)\), where \(q\in L^{\infty }(\Omega ,\mathbb {C})\), and we get
Next we consider the first order term \(h^{4}(B\cdot D)\), where \(B \in W^{1,\infty }(\Omega ,\mathbb {C}^n)\). We observe
The first term in the right hand side of (2.4) can be estimated as
Now as \(\varphi _{\epsilon } = \varphi + \frac{h}{\epsilon }\varphi ^2 \) and \(0 < h \ll \epsilon \ll 1\), that is, \(0< \frac{h}{\epsilon } < 1 \). Hence \( \Vert D^{\alpha } \varphi _{\epsilon }\Vert _{L^{\infty }} = \mathcal {O}(1)\) for any \(\alpha \) and consequently we get
For the second term in the right hand side of (2.4) we observe that for \(-4\le s\le 0\) we have
The last inequality follows from the fact that the operator given as multiplication by B is continuous from \(H^{s+4}_{\textrm {scl}}\) to \(H^{s+1}_{\textrm {scl}}\) where \(B\in W^{1,\infty }\). To prove the continuity, it suffices to consider the complex interpolation for the cases \(s = 0\) and \(s = -4\). Hence, we have
Now consider the term \(h^{4}A_{\alpha }D^{\alpha }e^{\varphi _{\epsilon }/h}u\), for \(|\alpha |= 2\), where A is a symmetric matrix. We have
For the first two terms in the right hand side of (2.6), we get
Analysing the third term in (2.6), we see
where for the first term we use the continuity of the multiplication operator \(A_{jk}: H^{s+4}_{\textrm {scl}}\rightarrow H^{s+1}_{\textrm {scl}}\) whenever \(A_{jk}\in W^{2,\infty }\).
Now, consider the last term of the expression on the right hand side of (2.6), we get
Here in the first term we use the continuity of the multiplication operator \(A_{jk}: H^{s+4}_{\textrm {scl}}\rightarrow H^{s+2}_{\textrm {scl}}\) whenever \(A_{jk}\in W^{2,\infty }\). The inequality on the second term on the right hand side follows from using the continuity of the multiplication operator \(A_{jk}: H^{s+4}_{\textrm {scl}}\rightarrow H^{s+1}_{\textrm {scl}}\) whenever \(A_{jk}\in W^{2,\infty }\).
Adding all the lower order terms in (2.3), choosing \(h\ll \epsilon \ll 1\) small enough and using the standard bounds i.e. \(1\le e^{\frac{\varphi ^2}{2\epsilon }}\le C, \frac{1}{2}\le 1 + \frac{h}{\epsilon }\varphi \le \frac{3}{2}\), we finally get our desired estimate (2.1). \(\square \)
Let us denote
The formal \(L^{2}\) adjoint of \(\mathcal {L}_{\varphi }(x,D)\) would be \({\mathcal {L}}^{*}_{\varphi }(x,D)=h^{4}e^{-\frac{\varphi }{h}}\mathcal {L}^{*}(x,D)e^{\frac{\varphi }{h}}\), where \(\mathcal {L}^{*}(x,D)\) is the formal \(L^2\)-adjoint of the operator \(\mathcal {L}(x,D)\).
As \(\mathcal {L}^{*}(x,D)\) has the similar form as \(\mathcal {L}(x,D)\) and \(-\varphi \) is a limiting Carleman weight if \(\varphi \) is, the Carleman estimate derived in Proposition 2.2 also holds for \({\mathcal {L}}^{*}_{\varphi }(x,D)\) as well. From (2.20) we see that \(\mathcal {L}_{A,B,q}^*(x,D) = \mathcal {L}_{A^{\sharp },B^{\sharp },q^{\sharp }}(x,D)\). Since we consider \(A \in W^{3,\infty }(\Omega )\) and \(B \in W^{2,\infty }(\Omega )\), hence, \(A^{\sharp }\in W^{3,\infty }(\Omega )\), \(B^{\sharp } \in W^{2,\infty }(\Omega )\). That is, we have the following result regarding the Carleman estimate for the adjoint operator.
Corollary 2.3
Let \(A \in W^{2,\infty }(\Omega ,\mathbb {C}^{n^{2}})\), \(B \in W^{1,\infty }(\Omega ,\mathbb {C}^{n})\), \(q\in L^{\infty }(\Omega ,\mathbb {C})\) and \(\varphi \) be a limiting Carleman weight for the semiclassical Laplacian on \(\widetilde{\Omega }\). Then for \(0< h\ll 1 \) and \(-4\le s\le 0\), we have
the constant \(C = C_{s,\Omega , A,B,q}\) is independent of \(h>0\).
Let us now convert the Carleman estimate (2.1) for \(\mathcal {L}_{\varphi }^{*}\) into a solvability result for \(\mathcal {L}_{\varphi }\).
Proposition 2.4
Let \(A\in W^{2,\infty }(\Omega ,\mathbb {C}^{n^{2}})\), \(B \in W^{1,\infty }(\Omega ,\mathbb {C}^{n^{2}})\) and \(q\in L^{\infty }(\Omega ,\mathbb {C})\) and \(\varphi \) be any limiting Carleman weight for the semiclassical Laplacian on \(\widetilde{\Omega }\). For \(0< h\ll 1\) sufficiently small, the equation
has a solution \(u\in H^4(\Omega )\), for \(v\in L^2(\Omega )\) satisfying,
The constant \(C>0\) is independent of h and depends only on A, B and q.
The proof of the above result follows from a standard functional analysis argument (see [15]).
2.2 Construction of C.G.O. solutions
Here we construct complex geometric optics type solutions of the equation \(\mathcal {L}(x,D)u=0\) and its \(L^2(\Omega )\) conjugate, based on Proposition 2.4. We propose a solution of \(\mathcal {L}(x,D)u=0\) in the form
where \(0<h\ll 1\), \(\varphi (x)\) is a limiting Carleman weight for the semiclassical Laplacian. The real valued phase function \(\psi \) is chosen such that \(\psi \) is smooth near \({\overline{\Omega }}\) and solves the Eikonal equation \(p_{0,\varphi }(x,\nabla \psi ) =0\) in \(\widetilde{\Omega }\). The functions \(a_0\) and \(a_1\) are the complex amplitudes solving certain transport equations. The function r(x; h) is the correction term which satisfies the following estimate \(\Vert r\Vert _{H^{4}_{\textrm {scl}}} = \mathcal {O}(h^2)\).
We consider \(\varphi \) and \(\psi \) to be
where \(\mu _1,\mu _2 \in \mathbb {R}^n{\setminus }\{0\}\) are such that \(\mu _1\cdot \mu _2 = 0\) and \(|\mu _2 |= |\mu _1 |\). Observe that \(\varphi \) and \(\psi \) solves the eikonal equation \(p_{0,\varphi }(x,\nabla \psi ) =0\) in \(\widetilde{\Omega }\), that is \(\left|\nabla \varphi \right|= \left|\nabla \psi \right|\) and \(\nabla \varphi \cdot \nabla \psi =0\).
In order to obtain the transport equations for the amplitudes \(a_0\) and \(a_1\), we define the transport operator
and expand the conjugated operator as
We solve for \(a_0\) and \(a_1\) satisfying
We will present a detailed proof for existence of complex amplitudes \(a_0\in H^4(\Omega )\), \(a_1\in H^4(\Omega )\) satisfying (2.14) and (2.15) in Sect. 3. For the time being let us assume that such \(a_0\) and \(a_1\) exists in \(H^4(\Omega )\). Having chosen the amplitudes \(a_0\), \(a_1\) in this way, from (2.13) we obtain
Thanks to Proposition 2.4, for \(h > 0\) small enough, there exists a solution \(r \in H^4(\Omega )\) of (2.16) with the decay estimate
Summing up, we have the following result.
Proposition 2.5
Let us consider the equation
where \(A\in W^{3,\infty }(\Omega ,\mathbb {C}^{n^{2}})\), \(B\in W^{2,\infty }(\Omega ,\mathbb {C}^{n})\) and \(q\in L^{\infty }(\Omega ,\mathbb {C})\). Then for all \(0< h \ll 1\), there exists a solution \(u\in H^4(\Omega )\) of (2.18) of the form
where \(\varphi \) and \(\psi \) are as in (2.11) real valued linear harmonic functions conjugate to each other. Here \(a_0,a_1 \in H^4(\Omega )\) are complex amplitudes satisfying the transport equations (2.14), (2.15) and \(r\in H^4(\Omega )\) satisfies the estimate \(\Vert r\Vert _{H^{4}_{\textrm {scl}}} = \mathcal {O}(h^2)\).
Remark 2.6
Note that in the above proposition, we assumed an extra regularity of A and B to be in \(W^{3,\infty }\) and \(W^{2,\infty }\) respectively. The reason being, our proof of the existence of the complex amplitudes \(a_0\) and \(a_1\) in \(H^4(\Omega )\), satisfying the transport equations (2.14) and (2.15) respectively, requires that; See also Remark 3.5.
2.3 The adjoint operator
Let us now calculate the formal \(L^{2}(\Omega )\) adjoint of the operator \(\mathcal {L}(x,D)\) as
where
Since the form of \(\mathcal {L}^*(x,D)\) is same as that of \(\mathcal {L}(x,D)\) with possibly different coefficient, we may argue that we can construct a CGO solution for \(\mathcal {L}^*(x,D)v=0\) in \(\Omega \). We state it formally in the following remark.
Remark 2.7
There exist solution \(v \in H^4(\Omega )\), solving \(\mathcal {L}^*(x,D)v=0\) in \(\Omega \), of the form
provided we have \(a_0^{\sharp },a_1^{\sharp } \in H^4(\Omega )\) satisfying
Now for existence of the amplitudes required in Proposition 2.5 and Remark 2.7 we move into the next section, where we show that the amplitudes \(a_0\) and \(a_1\) exist with suitable regularity and moreover, one can construct CGO type forms of the amplitudes solving homogeneous higher order transport equations.
3 Analysis on the amplitudes
In this section we prove existence of the solutions of (2.14) and (2.15) having a specific form. This part is crucial in our analysis since we get a second order transport equation with a potential term for the amplitudes which does not appear in the previous works. In the earlier works on the Schrödinger and the magnetic Schrödinger operators [7, 11, 14, 15, 21, 34, 35] we encounter only first order transport equations. On the other hand, the works on biharmonic and polyharmonic operators [8, 17, 23, 24] we get potential free higher order transport equations for the amplitudes that \(((\mu _1+i\mu _2)\cdot \nabla )^2a_0=0\), which can be dealt with in the same way as for the first order transport equations, see [8].
Let us first discuss the solvability of the transport equations as in (2.14):
Recall that, here \(\mu _1\perp \mu _2\) are unit vectors in \(\mathbb {R}^n\). Let us invoke the change of variables \(x \mapsto (t,s,x')\) such that
where \((t,s)\in \mathbb {R}^2\) and \(x' \in \mathbb {R}^{n-2}\). Let us define
Consider the \(\mathbb {R}^2\) plane and take \(z=t+is \in \mathbb {C}\) so that we can realize the operator \((\mu _1+i\mu _2)\cdot \nabla _x\) as \(2\overline{\partial _z}\) operator. This says essentially (3.1) fall into the category of solving equations like
where \(\Sigma \subset \mathbb {R}^2\) is a regular bounded open set, \(c(t,s)\in L^\infty (\Sigma ;\mathbb {C})\) and \(e_1=(1,0),e_2=(0,1) \in \mathbb {R}^2\) are elements of the standard Euclidean basis vectors of \(\mathbb {R}^2\).
In order to solve (3.2), we propose complex geometric optics solutions as
where \(b_0\in C^\infty ({\overline{\Sigma }})\) is non-zero, \({\widetilde{\varphi }}, {\widetilde{\psi }}\) are real valued linear harmonic functions, conjugate to each other, and \( \rho \) to be determined with the desired decay estimate with respect to \(\tau >0\) small enough.
We first decouple the operator \((\pm \partial _t + i\partial _s )^2\) into real and complex parts to have the following Carleman estimates.
Proposition 3.1
Let \(\Sigma \subset \mathbb {R}^2\) be a regular bounded open set. Let \({\widetilde{\varphi }}(t,s)= at+bs\) be a linear function, \((a,b)\ne (0,0)\). We have
and
where \(C_1,C_2>0\) are independent of \(0<\tau <1\), w.
Proof
Let us define
where \(D_1=\frac{1}{i}\partial _t\) and \(D_2=\frac{1}{i}\partial _s\).
Let us write
where \(A^{*}_\pm = A_\pm \) and \(B^{*}_\pm = B_\pm \) given as
Now we have
where \([A_\pm ,B_\pm ]=A_\pm B_\pm - B_\pm A_\pm \) is the commutator of \(A_\pm \) and \(B_\pm \). Since in our case \(A_\pm \) and \(B_\pm \) are constant coefficient differential operators, thus \([A_\pm , B_\pm ] = 0\).
Therefore,
Now by using the Poincaré inequalityFootnote 1 we simply obtain
where \(C_1>0\) is independent of \(\tau >0\) and w.
This completes the proof of (3.4). Similarly, one proves (3.5). We give a quick sketch of that.
Let
Here \(\widetilde{A}^{*}_\pm = \widetilde{A}_\pm \), \(\widetilde{B}^{*}_\pm = \widetilde{B}_\pm \), and \(\widetilde{A}_\pm \), \(i\widetilde{B}_\pm \) are the self-adjoint and skew-adjoint parts of \(Q_\pm \) respectively, to have as before
where the last inequality is due to Poincaré, and \(C_2>0\) is independent of \(\tau \) and w. \(\square \)
Proposition 3.2
Let \(\Sigma \), \({\widetilde{\varphi }}\) are as in Proposition 3.1. Then for \(\tau >0\) small enough and \(c=c_1+ic_2 \in L^{\infty }(\Sigma ,\mathbb {C})\) we get the following estimates
and
where \(C>0\) is independent of \(0<\tau <1\) and w.
Proof Since \(\Vert c_1(x) w(x)\Vert _{L^2} \le C\Vert w\Vert _{L^2}\), thus for \(\tau >0\) small enough
This proves (3.6). Similarly we prove (3.7). \(\square \)
Finally, as an application of the above results we prove the following existence result.
Proposition 3.3
(Existence result) Let \(\Sigma \), \({\widetilde{\varphi }}\) are as in Proposition 3.1, and \(c\in L^{\infty }(\Sigma )\). Then for \(\tau >0\) small enough, and for a given \(v\in L^2(\Sigma )\) the equation
has a solution \(u\in L^2(\Sigma )\), satisfying,
where the constant \(C>0\) is independent of \(\tau >0\) and u.
Proof Let us observe that the formal adjoint of \(T_{{\widetilde{\varphi }}, \pm }\) is
so, Proposition 3.2 is also true for \(Re\, T^*_{{\widetilde{\varphi }},\pm }\) and \(Im\,T^*_{{\widetilde{\varphi }},\pm }\) as well.
Let us define
Clearly, \(D\subset L^2(\Sigma )\times L^2(\Sigma ) \) is a subspace. Now for a given \(v=(v_1+iv_2)\in L^2(\Sigma )\), let us consider the linear functional \(L: D \rightarrow \mathbb {R}\),
By the above Carleman estimate (cf. (3.1)), it follows that
The Hahn–Banach theorem ensures that there is a bounded linear functional \({{\widetilde{L}}} : L^2(\Sigma )\times L^2(\Sigma ) \rightarrow \mathbb {R}\) satisfying \({{\widetilde{L}}} = L\) on D and \(||{{\widetilde{L}}}|| \le C\tau ^{-1} ||v||_{L^2(\Sigma )}\). By the Riesz Representation theorem there exists \((u_1,u_2) \in L^2(\Sigma )\times L^2(\Sigma ) \) such that for all \((\theta _1,\theta _2)\in D \),
this implies
for all \((w_1, w_2) \in C^{\infty }_0(\Sigma )\times C^{\infty }_0(\Sigma )\).
Hence, \(Re\,T_{{\widetilde{\varphi }},\pm } u_1 =Re\,v\) in \(\Sigma \), and \(Im\,T_{{\widetilde{\varphi }},\pm } u_2 =Im\,v\) in \(\Sigma \), along with the bound: \(||u_k||_{L^2}\le C\tau ^{-1} ||v_k||_{L^2}\), \(k=1,2\). Therefore, for \(v\in L^2(\Sigma )\), there exists \(u=u_1+iu_2\in L^2(\Sigma ),\) \( \,T_{{\widetilde{\varphi }},\pm }u = v\) in \(\Sigma \). \(\square \)
Now we will apply the above result in order to establish the CGO solution for the equation
where c(t, s) is a bounded function in \(\Sigma \). Let
where
are harmonic conjugate to each other, i.e. \(\partial _t{\widetilde{\psi }} =\partial _s{\widetilde{\varphi }},\) and \(\partial _s{\widetilde{\psi }}=-\partial _t{\widetilde{\varphi }}\). The amplitude function \(b_0\in C^\infty ({\overline{\Sigma }})\) is non-zero, and the reminder \(\rho \) to be determined later.
Now plugging (3.10) into (3.9) we get
Since
where due to our choice of \({\widetilde{\varphi }}=(at+bs)\) and \({\widetilde{\psi }}=(bt-as)\) it turns out
So the \(\mathcal {O}(\tau ^\alpha )\) terms for \(\alpha =0,1\) in (3.13) are identically 0.
Thus from (3.13) and (3.12), we get
Now by Proposition 3.3, the above equation (3.14) is solvable in \(L^2(\Sigma )\). Hence there exists a \(\rho \in L^2(\Sigma )\) with satisfying the estimate (cf. (3.8)): \(\tau \Vert \rho \Vert _{L^2(\Sigma )} \le \tau ^2\, C\), where \(C>0\) independent of \(\tau >0\) small enough, or,
This establishes the CGO solution (cf. (3.10)) solving the transport equation (3.9), with the required decay estimate on the reminder term (cf. (3.15)).
Consequently, we have established the CGO solutions of the transport equation (3.1), or (2.14).
Remark 3.4
(Regularity regarding (3.9)) It is evident from (3.14) that \(((e_1+ ie_2)\cdot \nabla _{t,s})^2\rho (\cdot ;\tau )=\mathcal {O}(1)\) in \(L^2(\Sigma )\). Since \(((e_1+ ie_2)\cdot \nabla _{t,s})^{-1}:L^2(\Sigma )\mapsto L^2(\Sigma )\) is a continuous operator, so in particular \(((e_1+ ie_2)\cdot \nabla _{t,s})\rho (\cdot ;\tau )\in L^2(\Sigma )\) and \(\Vert ((e_1+ ie_2)\cdot \nabla _{t,s})\rho (\cdot ;\tau )\Vert _{L^2}=\mathcal {O}(1)\). We conclude that, \(a_0\) (cf. (3.10)) solving (3.9) is in \(H^2(\Sigma )\) in a sense that \(((e_1+ ie_2)\cdot \nabla _{t,s})^ka_0\in L^2(\Sigma )\) for \(k=0,1,2\).
Next, we would like to discuss the solvability of the transport equation (2.15), i.e.
Comparing with (3.1), the Eq. (3.16) stands as the non-homogeneous equation. In particular, we will be interested in solving
where \(f\in L^2(\Sigma )\) is some given non-zero function.
We can use the same methodology as before to prove the existence of the solution. Let us start with an ansatz \(a_1 = e^{\frac{{\widetilde{\varphi }}-{i}{\widetilde{\psi }}}{\tau _1}} \left( b_1(x) + \rho _1(x,\tau _1)\right) \), where \(0<\delta<\tau _1<1\) for some fixed \(\delta >0\) small enough, \({\widetilde{\varphi }},{\widetilde{\psi }}\) are as in (3.11), \(b_1\in C^\infty ({\overline{\Omega }})\) is non-zero, and \(\rho _1\) to be determined. Then substituting it in the Eq. (3.17) we get
Using Proposition 3.3 we get \(\rho _1\in L^2(\Sigma )\) solving (3.18) with \(\Vert \rho _1\Vert _{L^2(\Sigma )}=\mathcal {O}(1)\) (depending on fixed \(\delta >0\)). Essentially, by the above Remark 3.4, we can also conclude that the above equation (3.17) is solvable in \(H^2(\Sigma )\) in a sense that \(((e_1+ ie_2)\cdot \nabla _{t,s})^ka_1\in L^2(\Sigma )\) for \(k=0,1,2\).
Consequently, one establishes the existence of the solution of the transport equation (3.16).
Remark 3.5
(Regularity regarding (2.14)–(2.15)) Here we mention the regularity of \(a_0\), \(a_1\) solving (3.1) (or, (2.14)), (3.16) (or, (2.15)) respectively. Note that, we need \(a_0, a_1 \) to be in \(H^4(\Omega )\) (see Proposition 2.5, Remark 2.7). Now it is easy to see, for example the regularity of \(a_0\) directly depends on the regularity of \(A\in W^{3,\infty }(\Omega )\). Since \(\partial _{x_l}a_0\), \(l=1,\ldots ,n\) solves
hence we find \(\partial _{x_l}a_0 \in H^2(\Omega )\) in a sense that \(((\mu _1+ i\mu _2)\cdot \nabla )^k \partial _{x_l}a_0\in L^2(\Omega )\) for \(k=0,1,2\), and repeating this process, our requirement of \(a_0\in H^4(\Omega )\) would be fulfilled. In fact, \(A\in W^{3,\infty }(\Omega )\) gives \(a_0\in H^5(\Omega )\). Similarly, we conclude the same for \(a_1\) to be in \(H^4(\Omega )\), and to get that regularity, we use \(a_0\in H^5(\Omega )\) and \(B\in W^{2,\infty }(\Omega )\), as per right hand side of (3.16) appears in that form. This justifies our extra regularity assumption on the coefficients.
Summing up, we have
Proposition 3.6
Let \(\Omega \subset \mathbb {R}^n\) be a bounded domain. Let \(\widetilde{A}, A^{\sharp } \in W^{3,\infty }(\mathbb {R}^n,\mathbb {C}^{n^{2}}) \cap \mathcal {E}^{\prime }({\overline{\Omega }})\) and consider the transport equations
Then for all \(\tau >0\) small enough, there exists solutions \({\widetilde{a}}_0, a_0\in H^{4}(\Omega )\) of (3.19) of the form
where \({\widetilde{\varphi }}\), \({\widetilde{\psi }}\) are real valued linear functions as
satisfying
The amplitude functions \(\widetilde{b}, b^\sharp \in C^\infty ({\overline{\Omega }})\) are non-zero, and \({\widetilde{\rho }},\rho ^\sharp \in H^4(\Omega )\) satisfies the estimate
Next we present the result of solving the transport equations (2.15).
Proposition 3.7
Let \(a_0(x) \in H^4(\Omega )\), \(\widetilde{A}, A^{\sharp } \in W^{3,\infty }(\Omega :\mathbb {C}^{n^2})\) and \(\widetilde{B}, B^{\sharp } \in W^{2,\infty }(\Omega :\mathbb {C}^{n})\). Then there exist \(\widetilde{a}_1(x),a^\sharp _1(x) \in H^4(\Omega )\) satisfying
4 Determination of the coefficients
In this section we use the special form of the solution u to determine the coefficients A, B and q in \(\Omega \). We consider two sets of parameters \(A, \widetilde{A} \in W^{3,\infty }(\mathbb {R}^n:\mathbb {C}^{n^2})\cap \mathcal {E}'({\overline{\Omega }})\), \(B,\widetilde{B} \in W^{2,\infty }(\mathbb {R}^n:\mathbb {C}^{n^2})\cap \mathcal {E}'({\overline{\Omega }})\) and \(q,{\tilde{q}} \in L^{\infty }(\Omega )\). Let \(\mathcal {C}_{A,B,q}\) be the set of Cauchy data, given in (1.7), corresponding to the operators \(\mathcal {L}_{A,B,q}\). In this section we will show that if \(\mathcal {C}_{A,B,q} = \mathcal {C}_{\widetilde{A},\widetilde{B},\widetilde{q}}\) on \(\partial \Omega \) then \(A=\widetilde{A}\), \(B=\widetilde{B}\) and \(q=\widetilde{q}\) in \(\Omega \).
First let us extend our problem to a larger simply connected domain \(\widetilde{\Omega }\). Let \(\widetilde{\Omega }\subset \mathbb {R}^n\) be a smooth, bounded, simply connected domain such that . Let us extend \(q, {\widetilde{q}}\) as zero on \(\widetilde{\Omega }{\setminus } {\overline{\Omega }}\) to have \(q,\widetilde{q} \in L^{\infty }(\widetilde{\Omega })\) with compact support inside \(\widetilde{\Omega }\). And since by our assumption \(A, \widetilde{A} \in W^{3,\infty }(\mathbb {R}^n:\mathbb {C}^{n^2})\cap \mathcal {E}'({\overline{\Omega }})\), \(B,\widetilde{B} \in W^{2,\infty }(\mathbb {R}^n:\mathbb {C}^{n^2})\cap \mathcal {E}'({\overline{\Omega }})\), so we can think \(A,\widetilde{A} \in W^{3,\infty }(\widetilde{\Omega })\), \(B,\widetilde{B}\in W^{2,\infty }(\widetilde{\Omega })\) with compact support inside \(\widetilde{\Omega }\). We extend the operator \(\mathcal {L}\) over \(\widetilde{\Omega }\) and denote them by the same notation.
Proposition 4.1
Let be two bounded domains in \(\mathbb {R}^n\) with smooth boundaries, and let \(A,\widetilde{A} \in W^{3,\infty }(\widetilde{\Omega },\mathbb {C}^{n^{2}})\), \(B,\widetilde{B} \in W^{2,\infty }(\widetilde{\Omega },\mathbb {C}^{n})\) and \(q,\, \widetilde{q} \in L^\infty (\Omega ,\mathbb {C})\) satisfy \(A_{jk} = \widetilde{A}_{jk}\), \(B_j=\widetilde{B}_j\) and \(q = \widetilde{q}\) in \(\widetilde{\Omega }{\setminus }\Omega \) for all \(j,k=1,\ldots ,n\). If the Cauchy data set (cf. (1.7)) \(\mathcal {C}_{A,B,q}(\Omega ) = \mathcal {C}_{\widetilde{A},\widetilde{B},\widetilde{q}}(\Omega )\), then \(\mathcal {C}_{A,B,q}(\widetilde{\Omega }) = \mathcal {C}_{\widetilde{A},\widetilde{B},\widetilde{q}}(\widetilde{\Omega })\).
The proof of the above proposition is standard in the literature of Calderón type inverse problems and can be found in [24, 35].
4.1 Integral identity involving the coefficients
We recall that
where \(A_{jk}\in W^{3,\infty }(\widetilde{\Omega },\mathbb {C}^{n^{2}})\), \(B_{j}\in W^{2,\infty }(\widetilde{\Omega },\mathbb {C}^n)\) and \(q \in L^{\infty }(\widetilde{\Omega },\mathbb {C})\).
We have the following integral identity
where \(H^{4}_0(\widetilde{\Omega })\) is the closure of \(C_0^\infty (\widetilde{\Omega })\) functions in \(H^{4}(\widetilde{\Omega })\) norm. Let \(u,\widetilde{u}\in H^{4}(\widetilde{\Omega })\) solve
From the assumption of the Theorem 1.1 and Proposition 4.1 on \(\partial \widetilde{\Omega }\) we now get
So we have \((u-{\widetilde{u}})\in H^{4}_0(\widetilde{\Omega })\).
Let \(v\in H^{4}(\widetilde{\Omega })\) satisfies \(\mathcal {L}^{*}_{A,B,q}(x,D)v = 0 \) in \(\widetilde{\Omega }\), then from the integral identity (4.1) we get
Next we choose \(\widetilde{u}\) and v to be the C.G.O. type solutions constructed in Sect. 2.2. We choose \(\varphi =\mu _1\cdot x\) and \(\psi =\mu _2\cdot x\) for \(\widetilde{u}\) and \(\varphi =-\mu _1\cdot x\) and \(\psi =\mu _2\cdot x\) for v, where \(\mu _1,\mu _2 \in \mathbb {R}^n\) satisfying \(|\mu _1|=|\mu _2|=1\) and \(\mu _1\cdot \mu _2=0\). For \(h>0\) small enough, we set the solutions are of the form
The amplitudes \(\widetilde{a}_{l}(\cdot ,\mu _1,\mu _2), a^{\sharp }_{l}(\cdot ,-\mu _1,\mu _2)\in H^4({\widetilde{\Omega }})\), for \(l=0,1\) satisfy the transport equations
along with
Now substituting (4.5) in (4.4) we get
where \((\mu _1+i \mu _2)_l\) is the lth component of the vector \((\mu _1+i\mu _2) \in \mathbb {C}^n\). We assume that \(\left( A-\widetilde{A}\right) \) is not an isotropic matrix. If it is isotropic, then the first term in (4.6) vanishes immediately. Multiplying (4.6) by \(h^{2}\) and letting \(h\rightarrow 0\) we get
This follows from the fact that \(A,\widetilde{A}\in W^{3,\infty }(\widetilde{\Omega })\); \(B,\widetilde{B}\in W^{2,\infty }(\widetilde{\Omega })\), \(\widetilde{a}_0,\, a^\sharp _0,\, \widetilde{a}_1,\, a^\sharp _1\in H^4(\overline{\widetilde{\Omega }})\), and the fact \(\Vert \widetilde{r}\Vert _{H^{4}_{\text {scl}}},\, \Vert r^\sharp \Vert _{H^{4}_{\text {scl}}} =\mathcal {O}(h^2)\). We use the later fact to obtain \(\Vert \widetilde{r}\Vert _{L^2},\, \Vert r^\sharp \Vert _{L^2} =\mathcal {O}(h^2)\), \(\Vert D^{\beta }\widetilde{r}\Vert _{L^2},\, \Vert D^{\beta }r^\sharp \Vert _{L^2}=\mathcal {O}(h)\), for \(|\beta |=1\) and \(\Vert D^{\alpha }\widetilde{r}\Vert _{L^2},\, \Vert D^{\alpha }r^\sharp \Vert _{L^2}=\mathcal {O}(1)\), for \(|\alpha |=2\).
4.2 Determining the difference \((A-{\widetilde{A}})\) up-to isotropic matrix
A priori we do not assume \(\left( A-\widetilde{A}\right) \) be an isotropic matrix, but then we show here that the identity (4.7) forces the difference to be isotropic. Let us begin with the identity (4.7). We plug the expression of \(\widetilde{a}_0\) and \(a^\sharp _0\) given in (3.20), to find
Then by taking \(\tau \rightarrow 0\) and using \(\Vert \widetilde{\rho }\Vert _{L^2}, \Vert \rho ^\sharp \Vert _{L^2} = \mathcal {O}(\tau )\), we obtain the limiting identity as
where \(\widetilde{b}\in C^\infty ({\overline{\Omega }})\) and \(b^\sharp \in C^\infty ({\overline{\Omega }})\) are non-zero complex amplitude functions.
Remark 4.2
In particular, we will be choosing \(\widetilde{b}, b^\sharp \in C^\infty ({\overline{\Omega }})\) as the non-zero solutions of the homogeneous equations:
Now let us choose \(b^\sharp =1\) and \({\widetilde{b}}=e^{-ix\cdot \xi }\) where \(\mu _1\perp \mu _2\perp \xi \). So, from the above identity we obtain
The above identity holds for all non-zero vectors \(\mu _1\), \(\mu _2\), \(\xi \) in \(\mathbb {R}^n\), where \(|\mu _1|=|\mu _2|\) and \(\mu _1\perp \mu _2\perp \xi \).
Let us recall that \(A,\widetilde{A},B,\widetilde{B},q,\widetilde{q}\) zero on \(\widetilde{\Omega }{\setminus }{\overline{\Omega }}\). We further extend \(A,\widetilde{A},B,\widetilde{B},q,\widetilde{q}\) by 0 outside \(\widetilde{\Omega }\) to all over \(\mathbb {R}^n\). Then (4.9) reads
To this end we closely follow the arguments in [8]. Let us fix \(\xi \in \mathbb {R}{\setminus } \{0\}\) and consider the orthonormal basis \(\mathbb {B}\) of \(\mathbb {R}^n\) as
Following [8] we have a unique decomposition of the symmetric 2-tensor field \((A-{\widetilde{A}})\) in \({\tilde{\Omega }}\) as
and \(V=(V_1,V_2,\ldots ,V_n)\) is a smooth 1-form in \(\widetilde{\Omega }\) with \(V|_{\partial \Omega } = 0\). Substituting the form of \((A-\widetilde{A})\) in (4.10) and using integration by parts we directly obtain
for \(\mu _p,\mu _l \in \mathbb {B}\), \(l,p=1,\ldots ,n-1\) and \(p\ne l\). Therefore, we get
Replacing \(\mu _l\) by \(-\mu _l\) in \(\mathbb {B}\) we get
From (4.13) and (4.14) we directly obtain
Writing \(d(\xi ) = \langle {\widehat{F}}(\xi )\mu _1,\mu _1\rangle \) we see \(\widehat{F}(\xi ) = P^t D P\), where \(D = diag(d(\xi ),d(\xi ),\ldots ,d(\xi ),0)\) and
Using this we can write a formal expression of \(\widehat{F}(\xi )\) for \(\xi \in \mathbb {R}^n{\setminus }\{0\}\) as
Consequently, in x-variable we get
where \(d_{\#} \in L^2(\mathbb {R}^n)\) with \(\widehat{d_{\#}}(\xi ) = d(\xi )\) and \(R_j\) are the classical Riesz transformation defined as \(\widehat{R_jf}(\xi )=\frac{1}{i}\frac{\xi _j}{|\xi |}\widehat{f}(\xi )\), for \(f \in L^2(\mathbb {R}^n)\). Observe that \(d_{\#}\) is compactly supported in \(\Omega \), (see [8, Equation 2.34]). Let \(\widetilde{d}(x) \in H^2_0(\mathbb {R}^n)\) solving \(-\Delta \widetilde{d} = d_{\#}\) in \(\mathbb {R}^n\). Then by using standard definition of Riesz transform we get
Therefore, from (4.11) we get
where \(\widetilde{V} = \nabla _x\widetilde{d} + V \in H^1_0(\widetilde{\Omega })\).
Substituting this form of \((A-{\widetilde{A}})\) back in (4.8) and using the fact that \((\mu _1+i\mu _2)\cdot (\mu _1+i\mu _2)=0\) we get
Using integration by parts and the fact that \(\widetilde{V}|_{\partial \widetilde{\Omega }}=0\) we obtain
Now, we choose \(\widetilde{b}(x) = e^{-ix\cdot \xi }(\mu _1\cdot x)\), \(b^\sharp (x)=1\) in \(\widetilde{\Omega }\) and see that
Observe that we can replace \(\mu _2\) by \(-\mu _2\) and using a similar analysis we obtain
Adding (4.18) and (4.19) we get
As \(\widetilde{V}=0\) outside \(\widetilde{\Omega }\) we can realise the above integration over \(\mathbb {R}^n\). Choosing \(\mu =(-\xi _2,\xi _1,0,\ldots ,0)\in \mathbb {R}^n\) and evaluating the Fourier transform in (4.20) we see
where d is the exterior derivative. Having \(\widetilde{\Omega }\) to be simply connected we obtain \(p \in H^2(\widetilde{\Omega })\) such that
Since, \(\widetilde{V}|_{\widetilde{\Omega }}=0\) so we get \(\nabla _{tan} p = \nabla p - (\partial _{\nu }p)\nu = 0\) on \(\partial \widetilde{\Omega }\) and thus \(p|_{\partial \widetilde{\Omega }}=c\) for some constant \(c \in \mathbb {R}\). Replacing p by \(p-c\) in \(\widetilde{\Omega }\) we get \(\widetilde{V} = \nabla p\) with \(p|_{\partial \widetilde{\Omega }}=0=\partial _{\nu }p|_{\partial \widetilde{\Omega }}\). The normal derivative of the function p vanishes on the boundary as a consequence of the fact the \(\widetilde{V}=\nabla p\) vanishes on the boundary. Therefore, summarizing the above analysis we get
Again going back to (4.8) and substituting the form of \((A-{\widetilde{A}})\) there, we get
We get rid of the part of \((A-{\widetilde{A}})\) contributed by the function \(d_{\#}\) by using the fact \((\mu _1+i\mu _2)\cdot (\mu _1+i\mu _2)=0\). Since \(p|_{\partial \widetilde{\Omega }} = 0 = \partial _{\nu } p|_{\partial \widetilde{\Omega }}\), using integration by parts we obtain
We choose \(\widetilde{b}(x) = e^{-ix\cdot \xi }(\mu _1\cdot x)\), \(b^\sharp (x) = \mu _1\cdot x\) in \(\widetilde{\Omega }\) and obtain
Thus, varying \(\xi \) we finally obtain \(p=0\) and hence
Since \((A-{\widetilde{A}})\in W^{3,\infty }(\widetilde{\Omega })\) with \((A-{\widetilde{A}})=0\) in \({\widetilde{\Omega }}{\setminus }{\overline{\Omega }}\). So \(d_{\#}\in W^{3,\infty }(\widetilde{\Omega })\) with \(d_{\#}=0\) in \({\widetilde{\Omega }}{\setminus }{\overline{\Omega }}\).
4.3 Determining the first order perturbation \(B={\widetilde{B}}\)
Writing \((A-{\widetilde{A}})=d_{\#}(x) I\) in (4.6) we get
Next by substituting the form of the amplitudes in (4.27) we obtain
Note that, on the fourth integral in the right hand side of (4.28), we did integration by-parts since \(d_{\#}\overline{b^\sharp }\in H^1_0({\widetilde{\Omega }})\). Since \((\mu _1+ i\mu _2)\cdot \nabla ({\widetilde{\varphi }}-i{\widetilde{\psi }})=0\) (cf. (3.21)), so the first term in the rhs of (4.28) disappears. Recall that (cf. Proposition 3.6) we have \(\Vert \widetilde{\rho }(\cdot ;\tau )\Vert _{L^2(\Omega )}, \Vert \rho ^\sharp (\cdot ;\tau )\Vert _{L^2(\Omega )} = \mathcal {O}(\tau )\) and \(\Vert (\mu _1+i\mu _2)\cdot \nabla _x \widetilde{\rho }(\cdot ;\tau )\Vert _{L^2(\Omega )}= \mathcal {O}(1)\). So by taking \(\tau \rightarrow 0\) in (4.28) we obtain
Next, let us choose \(\widetilde{b}(x)= e^{-ix\cdot \xi }\), since it implies \((\mu _1+i\mu _2)\cdot \nabla \widetilde{b} = 0\), so we obtain
Replacing \(\mu _2\) by \(-\mu _2\) and doing the same analysis as before we obtain
Adding (4.30), (4.31) and writing \(\mathcal {B}=(B-{\widetilde{B}})\) we see
Let us take \(b^\sharp (x)=1\). By extending \(\mathcal {B}\) as zero on \(\mathbb {R}{\setminus }\overline{\widetilde{\Omega }}\) and choosing \(\mu =(-\xi _2,\xi _1,0,\ldots ,0)\) we get
where d is the exterior derivative acting on the 1-form \(\mathcal {B}\). Using simply connectedness of \(\widetilde{\Omega }\) we get \(\Phi \in H^1_0(\widetilde{\Omega })\) such that \(\mathcal {B}=\nabla \Phi \) in \(\widetilde{\Omega }\).
Then plugging \(\mathcal {B}=\nabla \Phi \) for \(\Phi \in H^1_0(\widetilde{\Omega })\) in (4.32), and then doing integration by parts, we obtain
Hence, by choosing \(b^{\sharp }=-\mu _1\cdot x\) such that \((-\mu _1+i\mu _2)\cdot \nabla b^\sharp (x)=1\), from (4.33) we obtain \({\widehat{\Phi }}(\xi )=0\) for all \(\xi \in \mathbb {R}^n\), or, \(\Phi \equiv 0\). Thus
4.4 Determining the second order perturbation \(A={\widetilde{A}}\)
In (4.26), we have already shown the difference \((A-{\widetilde{A}})=d_{\#}I\) in \({\widetilde{\Omega }}\), so it is remained to show \(d_{\#}=0\). We get back to the identity (4.29) and put \(B={\widetilde{B}}\) (cf. (4.34)) there and obtain
Let us choose \(\widetilde{b}(x)=(\mu _1\cdot x)e^{-ix\cdot \xi }\) and \(b^\sharp =1\) in above, and we obtain \(\widehat{d_{\#}}(\xi )=0\) for all \(\xi \in \mathbb {R}^n\), or, \(d_{\#}\equiv 0\). Thus
4.5 Determining the potential \(q={\widetilde{q}}\)
Let us put \(A=\widetilde{A}\) and \(B=\widetilde{B}\) in (4.6) and observe that we end up with
where \(\widetilde{a}_0\), \(a_0\) satisfy (3.19). As usual by taking \(h\rightarrow 0\), and then using the form of \(\widetilde{a}_0, a_0\) in (3.20) and then taking \(\tau \rightarrow 0\) we get
Choosing \(\widetilde{b}(x)=e^{-ix\cdot \xi }\), \(b^\sharp (x)=1\), from (4.38) we obtain \(\widehat{(q-\widetilde{q})}(\xi )=0\). Varying \(\xi \in \mathbb {R}^n\) we finally obtain \(q(x)=\widetilde{q}(x)\) in \(\widetilde{\Omega }\). Along with (4.34) and (4.36), this completes the determination of \(A={\widetilde{A}}\), \(B={\widetilde{B}}\), and \(q={\widetilde{q}}\) in \(\Omega \). The proof of the Theorem 1.1 is now complete. \(\square \)
Notes
Let \(\alpha \in \mathbb {R}^n\) be some non-zero vector and \(S:=\{x \in \mathbb {R}^n \,:\,k_1<\alpha \cdot x<k_2 \}\) be some unbounded strip for some \(k_1,k_2 \in \mathbb {R}\) (note that, S can contain any bounded set in \(\mathbb {R}^n\)). Then one has the Poincaré inequality (c.f. [30]):
$$\begin{aligned} \Vert (\alpha \cdot D)u\Vert _{L^2(S)} \ge C\Vert u\Vert _{L^2(S)},\quad \forall u \in C^{\infty }_c(S). \end{aligned}$$
References
Agmon, S.: Lectures on elliptic boundary value problems. Prepared for publication by B. Frank Jones, Jr. with the assistance of George W. Batten, Jr. Van Nostrand Mathematical Studies, No. 2. D. Van Nostrand Co., Inc., Princeton (1965)
Alessandrini, G., Rosset, E., Vessella, S.: Optimal three spheres inequality at the boundary for the Kirchhoff–Love plate’s equation with Dirichlet conditions. Arch. Ration. Mech. Anal. 231(3), 1455–1486 (2019)
Ashbaugh, M.S.: On universal inequalities for the low eigenvalues of the buckling problem. In: Partial Differential Equations and Inverse Problems, Contemp. Math., vol. 362, pp. 13–31. Amer. Math. Soc., Providence (2004)
Assylbekov, Y., Iyer, K.: Determining rough first order perturbations of the polyharmonic operator. Inverse Probl. Imaging 13(5), 1045–1066 (2019)
Assylbekov, Y.M.: Corrigendum: Inverse problems for the perturbed polyharmonic operator with coefficients in Sobolev spaces with non-positive order (2016 inverse problems 32 105009). Inverse Probl. 33(9), 099501 (2017)
Assylbekov, Y.M., Yang, Y.: Determining the first order perturbation of a polyharmonic operator on admissible manifolds. J. Differ. Equ. 262(1), 590–614 (2017)
Bhattacharyya, S.: An inverse problem for the magnetic Schrödinger operator on Riemannian manifolds from partial boundary data. Inverse Probl. Imaging 12(3), 801–830 (2018)
Bhattacharyya, S., Ghosh, T.: Inverse boundary value problem of determining up to a second order tensor appear in the lower order perturbation of a polyharmonic operator. J. Fourier Anal. Appl. 25(3), 661–683 (2019)
Calderón, A.-P.: On an inverse boundary value problem. In: Seminar on Numerical Analysis and its Applications to Continuum Physics (Rio de Janeiro, 1980), pp. 65–73. Soc. Brasil. Mat., Rio de Janeiro (1980)
Campos, L.M.B.C.: Generalized Calculus with Applications to Matter and Forces. Mathematics and Physics for Science and Technology. CRC Press, Boca Raton (2014)
Chung, F.J.: A partial data result for the magnetic Schrödinger inverse problem. Anal. PDE 7(1), 117–157 (2014)
Colombini, F., Grammatico, C.: Some remarks on strong unique continuation for the Laplace operator and its powers. Commun. Partial Differ. Equ. 24(5–6), 1079–1094 (1999)
Colombini, F., Koch, H.: Strong unique continuation for products of elliptic operators of second order. Trans. Am. Math. Soc. 362(1), 345–355 (2010)
Dos Santos, D., Ferreira, C.E., Kenig, M.S., Uhlmann, G.: Limiting Carleman weights and anisotropic inverse problems. Invent. Math. 178(1), 119–171 (2009)
Dos Santos, D., Ferreira, C.E., Kenig, J.S., Uhlmann, G.: Determining a magnetic Schrödinger operator from partial Cauchy data. Commun. Math. Phys. 271(2), 467–488 (2007)
Gazzola, F., Grunau, H.-C., Sweers, G.: Positivity preserving and nonlinear higher order elliptic equations in bounded domains. In: Polyharmonic Boundary Value Problems, Lecture Notes in Mathematics, vol. 1991. Springer, Berlin (2010)
Ghosh, T., Krishnan, V.: Determination of lower order perturbations of the polyharmonic operator from partial boundary data. Appl. Anal. Int. J. 94, 2444–63 (2015)
Ghosh, T.: An inverse problem on determining upto first order perturbations of a fourth order operator with partial boundary data. Inverse Probl. 31(10), 105009 (2015)
Grubb, G.: Distributions and Operators, Graduate Texts in Mathematics, vol. 252. Springer, New York (2009)
Ikehata, M.: A special Green’s function for the biharmonic operator and its application to an inverse boundary value problem. Comput. Math. Appl. 22(4–5), 53–66 (1991)
Kenig, C., Salo, M.: The Calderón problem with partial data on manifolds and applications. Anal. PDE 6(8), 2003–2048 (2013)
Kenig, C.E., Sjöstrand, J., Uhlmann, G.: The Calderón problem with partial data. Ann. Math. (2) 165(2), 567–591 (2007)
Krupchyk, K., Lassas, M., Uhlmann, G.: Determining a first order perturbation of the biharmonic operator by partial boundary measurements. J. Funct. Anal. 262(4), 1781–1801 (2012)
Krupchyk, K., Lassas, M., Uhlmann, G.: Inverse boundary value problems for the perturbed polyharmonic operator. Trans. Am. Math. Soc. 366(1), 95–112 (2014)
Krupchyk, K., Uhlmann, G.: Inverse boundary problems for polyharmonic operators with unbounded potentials. J. Spectr. Theory 6(1), 145–183 (2016)
Le Rousseau, J., Robbiano, L.: Spectral inequality and resolvent estimate for the bi-Laplace operator. J. Eur. Math. Soc. (JEMS) 22(4), 1003–1094 (2020)
Lin, C.-L., Nagayasu, S., Wang, J.-N.: Quantitative uniqueness for the power of the Laplacian with singular coefficients. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 10(3), 513–529 (2011)
Nachman, A.I.: Global uniqueness for a two-dimensional inverse boundary value problem. Ann. Math. (2) 143(1), 71–96 (1996)
Nakamura, G., Uhlmann, G.: Erratum: “Global uniqueness for an inverse boundary value problem arising in elasticity” [Invent. Math. 118 (1994), no. 3, 457–474; MR1296354 (95i:35313)]. Invent. Math. 152(1), 205–207 (2003)
Salo, M.: Calderón problem Lecture notes (2008). http://users.jyu.fi/salomi/lecturenotes/calderon_lectures.pdf
Salo, M., Tzou, L.: Carleman estimates and inverse problems for Dirac operators. Math. Ann. 344(1), 161–184 (2009)
Selvadurai, A.P.S.: The biharmonic equation. In: Partial Differential Equations in Mechanics 2, pp. 1–502. Springer, Berlin (2000)
Shirota, T.: A remark on the unique continuation theorem for certain fourth order elliptic equations. Proc. Japan Acad. 36, 571–573 (1960)
Sun, V.: An inverse boundary value problem for Schrödinger operators with vector potentials. Trans. Am. Math. Soc. 338(2), 953–969 (1993)
Sylvester, J., Uhlmann, G.: A global uniqueness theorem for an inverse boundary value problem. Ann. Math. (2) 125(1), 153–169 (1987)
Sylvester, J., Uhlmann, G.: Inverse problems in anisotropic media. In: Inverse Scattering and Applications (Amherst, MA, 1990), Contemp. Math., vol. 122, pp. 105–117. Amer. Math. Soc., Providence (1991)
Yang, Y.: Determining the first order perturbation of a bi-harmonic operator on bounded and unbounded domains from partial data. J. Differ. Equ. 257(10), 3607–3639 (2014)
Acknowledgements
The research of T.G. is supported by the Collaborative Research Center, membership no. 1283, Universität Bielefeld. S.B. is partly supported by Project no.: 16305018 of the Hong Kong Research Grant Council.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Roseline Periyanayagam.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bhattacharyya, S., Ghosh, T. An inverse problem on determining second order symmetric tensor for perturbed biharmonic operator. Math. Ann. 384, 1–33 (2022). https://doi.org/10.1007/s00208-021-02276-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02276-6