行政院國家科學委員會專題研究計畫 期中進度報告
複幾何光學解及電流阻抗斷層掃描(1/3)
期中進度報告(精簡版)
計 畫 類 別 : 個別型 計 畫 編 號 : NSC 96-2628-M-002-009- 執 行 期 間 : 96 年 08 月 01 日至 97 年 07 月 31 日 執 行 單 位 : 國立臺灣大學數學系暨研究所 計 畫 主 持 人 : 王振男 處 理 方 式 : 本計畫可公開查詢中 華 民 國 97 年 05 月 19 日
Report on ”Complex geometrical optics solutions and
electrical impedance tomography (1/3)
(96-2628-M-002-009)”
Jenn-Nan Wang
This is a report on the NSC grant 96-2628-M-002-009 entitled ”Complex geometrical optics solutions and electrical impedance tomography (1/3)”. The main theme of this grant is to investigate some problems related to the electric impedance tomography. My aim is to develop reliable numerical algorithm in reconstructing unknown object from observable data such as boundary measurements. The focal point is that the complex geometrical optics solutions. I am grateful to the grant support from NSC. Now I list several results benefited from this grant.
1. With Hideki Takuwa and Gunther Uhlmann, we construct complex geometrical optics so-lutions with general phase functions for the second order elliptic equation in two dimensions. We then use these special solutions to treat the inverse problem of reconstructing embedded inclusions by boundary measurements.
In previous works, special complex geometrical optics (CGO) solutions for certain isotropic systems in the plane were constructed and their applications to the object identification problem were also demonstrated theoretically and numerically. Those systems include the conductivity equation, the elasticity equations, and the Stokes equations, all with isotropic inhomogeneous coefficients. In this work we extend the method to scalar equations with anisotropic inhomogeneous coefficients in the plane. We shall focus on the conductivity equation: Lγu =: 2 X i,j=1 ∂xj(γij(x)∂xiu) = 0 in Ω, (1)
where Ω is a bounded open set in R2with smooth boundary ∂Ω and the matrix γ(x) = [γij(x)]
is symmetric and there exists C0 > 0 such that
γ(x) ≥ C0I for all x ∈ Ω.
The precise regularity of γ will be specified later on. Our method can treat the equation with Lγ as the leading order without essential modification. The main aim here is to construct
solutions to (1) with general complex phases. These types of solutions are very useful in the reconstruction of objects embedded in Ω by boundary measurements.
The key step in treating (1) is to transform it to an isotropic equation using isothermal coordinates, which are closely related to quasiconformal mappings. This idea is crucial in studying the Calder´on problem in two dimensions. This work is currently under review for journal publication.
2. With Ching-Lung Lin and Gen Nakamura, we study the local behavior of a solution to second order elliptic operators with sharp singular coefficients in lower order terms. One of the main results is the bound on the vanishing order of the solution, which is a quantitative estimate of the strong unique continuation property. Our proof relies on Carleman estimates with carefully chosen phases. A key strategy in the proof is to derive doubling inequalities via three-sphere inequalities. Our method can also be applied to certain elliptic systems with similar singular coefficients.