ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu
DIRICHLET-TO-NEUMANN OPERATOR ON THE PERTURBED UNIT DISK
HASSAN EMAMIRAD, MOHAMED-REZA MOKHTARZADEH
Abstract. This article concerns the Laplacian on a perturbed unit disk Ω= {z=rexp(iθ) :r <1 +f(θ)}, with dynamical boundary condition whose so- lution can be represented by a Dirichlet-to-Neumann semigroup. By neglecting the terms of order2, we obtain a simple expression which allows us to use Chernoff’s theorem for its approximation. As a motivation for this research, we present an example which shows the feasibility of applying Chernoff’s The- orem.
1. Introduction
In many inverse problems the reconstruction of the Dirichlet-to-Neumann oper- ator has paramount importance. For example, in [1, 2, 10] a nondestructive testing technique is used to determine the distribution of electrical conductivity within some inaccessible region from electrostatic measurements at its boundary. It has been able to detect the presence and the approximate location of some object of unknown shape buried in a medium of constant background conductivity. In the present work we elaborate the same shape of the buried object, that is a star-shaped perturbation of a circle (see Figure 1). On this domain our problem is generated by an elliptic equation with a time dependent boundary condition as follows.
Let Ω ={z =rexp(iθ) : r < 1 +f(θ)} be the perturbed unit disk. In the cylinder Γ= (0,∞)×Ωwith boundary∂Γ= (0,∞)×∂Ω, we consider the linear elliptic differential equation with dynamic boundary conditions
∆u= 0, in Γ,
∂u
∂t +∂u
∂ν = 0, on∂Γ, u(0) =g, on∂Ω,
(1.1)
We will see in the next section that by making the change of variables to polar co- ordinates and neglecting the terms of order2, the system (1.1) can be transformed
2000Mathematics Subject Classification. 35J25, 47F05, 47D06.
Key words and phrases. Dirichlet-to-Neumann operator,γ-harmonic lifting.
c
2012 Texas State University - San Marcos.
Submitted June 19, 2012. Published September 18, 2012.
1
into the system
∆γv= 0, in Γ,
∂v
∂t + ∂v
∂νγ
= 0, on∂Γ, v(0) =h, on∂D,
(1.2)
whereDis the unit disk, Γ the cylinder (0,∞)×Dwith boundary∂Γ = (0,∞)×∂D,
∆γ= div(γ∇), γ=
1 −f0
−f0 1
and h(ρ, θ) =g(ρ(1 +f(θ)), θ). The Dirichlet-to-Neumann operator Λγ for this new system is defined by
[Λγh](ω) =− ∂v
∂νγ
=−ω·γ∇v
∂D, (1.3)
whereω is the outer normal vector atω∈∂D, which coincides withω.
It is well known that the operator Λγ generates a (C0) semigroup in L2(∂Ω) (see [9]) or in C(∂Ω) (see [7]). In a simple case, whereγ =I and Ω is the unit ball B in Rn this semigroup has a trivial explicit representation given by Lax [8], which is
e−tΛIh(ω) =w(e−tω), for anyω∈∂D.
wherewis the harmonic lifting ofh; i.e., the solution of
∆Iw= 0, inD, w
∂D=h, on∂D, (1.4)
In [6], it is shown that this representation cannot be generalized if Ωhas other geometry than a ball inRn. This consideration motivates the authors of [5] to use a new technique for having an approximation of the solution via Chernoff’s Theorem.
In fact, Chernoff [3] proves the following result.
Theorem 1.1. If X is a Banach space and {V(t)}t≥0 is a family of contractions onX withV(0) =I. Suppose that the derivative V0(0)f exists for allf in a setD and the closureΛofV0(0)|D generates aC0-semigroupS(t)of contractions. Then, for eachf ∈X,
n→∞lim kV(t
n)nf−S(t)fk= 0, (1.5) uniformly fort in compact subsets ofR+.
In the next section we define all the ingredients of the above Theorem in the framework of our problem and we prove how we can approximate the solution of the system (1.2) by mean of this Theorem. Section 3 is devoted to give a bench mark example for justifying the feasibility of our method. Finally we generalize in section 4 this problem to 3D-consideration and take Ωas a perturbed unit sphere.
Because of the extreme complexity of the system we restrict ourself to the discrete values ofφ,{φjj= 1, . . . , N}, which achieves toN times 2D system, each of which can be computed as above.
2. Modified system By making the change of variables
ρ= r
1 +f(θ)
andθremains invariant, the Laplacian in the new coordinates will be (see [4]),
∆ρ,θ = 1
(1 +f)2 + 2(f0)2 (1 +f)4
∂2
∂ρ2 +1 ρ
1
(1 +f)2 + 22(f0)2
(1 +f)4 − f00 (1 +f)3
∂
∂ρ
−1 ρ
2f0 (1 +f)3
∂2
∂ρ∂θ + 1 ρ2
1 (1 +f)2
∂2
∂θ2.
(2.1) By factoring the term (1+f)1 2 and neglecting the terms of order 2, we obtain
∆()ρ,θ = ∂2
∂ρ2 +1
ρ(1−f00) ∂
∂ρ−1
ρ(2f0) ∂2
∂ρ∂θ + 1 ρ2
∂2
∂θ2. (2.2) Here we have replaced 1+f1 by 1−f+. . .. Now let
γ=
1 −f0
−f0 1
and ∆γ=div(γ∇). Since in polar coordinates,
∇=t(∂
∂ρ,1 ρ
∂
∂θ), div(F1, F2) = 1 ρ
∂
∂ρρF1+ ∂
∂θF2
,
we obtain ∆()ρ,θ = ∆γ. Consequently the Dirichlet-to-Neumann operator will be [Λγh](1,0) =−(1,0)·
1 −f0
−f0 1 vρ vθ ρ
(ρ,θ)=(1,0)
. (2.3)
Remark 2.1. Since γ is not continuous at the origin, even for f ∈ C1([0,2π]), in the sequel we replace Ω by Ω \ {0}, because for any periodic function f ∈ C∞([0,2π]), we haveγ∈C∞(Ω\ {0}).
Now, let us define∂X :=C(∂D) and the operatorV(t) by V(t)h(ω) :=v(e−tγω)
∂D, for any h∈∂X, (2.4) wherev is the solution of (1.3).
Theorem 2.2. The family of the operators {V(t)}t≥0 defined above satisfies the assumptions of the Chernoff ’s Theorem 1.1.
Proof. Forsmall enough, the eigenvalues ofγ,λ= 1±f0(θ) are positive implies that for anyω∈∂D, we havee−tγω∈D. Hence the fact thatV(t) is a contraction follows from the maximum principle. It is obvious that V(0) =I on the Banach space∂X. Since
D(Λγ) ={h∈∂X: Λγh∈∂X}, for anyh∈D(Λγ),dtdV(t)h
t=0=−ω·γ∇v(ω) = Λγh. This shows that we can apply Theorem 1.1 for the family of operators{V(t)}t≥0.
3. An example Let us denote ∆0u= div(∇u) and ∆1u= div(f0
0 1 1 0
∇u) in such a way that
∆γ= ∆0−∆1. Now let us defineu0andu1 such that by neglecting the terms of order2, v=u0+u1 satisfies the system (1.2). In fact by takingu0the solution of the Dirichlet problem
∆0u0= 0, inD, u0
∂D=g0, on∂D, (3.1)
andu1the solution of the Poisson problem
∆0u1= ∆1u0, in D, u1
∂D=g1, on∂D. (3.2)
Since
∆γ(u0+u1) = (∆0−∆1)(u0+u1)
= ∆0u0+(∆0u1−∆1u0)−2∆1u1
by takingh=g0+g1,w=u0+u1approximates the solution of (1.2). Now by choosingg0(θ) = cos(2θ), the solution of (1.3) will beu0(ρ, θ) =ρ2cos(2θ), hence
Φ(ρ, θ) = ∆1u0= div(f0 0 1
1 0
∇u0)
= (−8f0(θ) sin(2θ) + 2f00(θ) cos(2θ))
Taking f(θ) = cos(4θ) (see Figure 1), one gets Φ(ρ, θ) = −32 cos(6θ). Putting g1(θ) = cos(6θ) in (2.3) its solutionu1(ρ, θ) =ρ2cos(6θ).
-1.0 -0.5 0.5 1.0 x
-1.0 -0.5 0.5 1.0 y
Figure 1. Ωforf(θ) = cos(4θ) and= 0.1
Hence forf(θ) = cos(4θ) andh(θ) = cos(2θ) +cos(6θ), the function
w(ρ, θ) =ρ2[cos(2θ) +cos(6θ)] (3.3) approximates the solution of (1.2).
Since forf(θ) = cos(4θ), etγ=et
coshψ(t) sinhψ(t)) sinhψ(t) coshψ(t)
,
whereψ(t) = 4tsin(4θ). In this example the approximating family given by (2.4) can be constructed as
[V(t)h](1, θ) =w
e−t
coshψ(t) −sinhψ(t)
−sinhψ(t) coshψ(t) 1 0
and by replacing in it in (3.3), we obtain [V(t)h](1, θ)
=w e−t(coshψ(t)), e−t(−sinhψ(t))
= e−t(coshψ(t))2 cosh
2e−t(−sinhψ(t))i
+cosh
6e−t(−sinhψ(t))i .
(3.4)
Consequently,
d
dt[V(0)h](1, θ) =−2(1 +)
which is exactly the directional derivative obtained by the following standard for- mula
[Λγh](1,0) =−(1,0)·
1 4sin 4θ
4sin 4θ 1
2ρ(cos 2θ+cos 6θ) ρ(−2 sin 2θ−6sin 6θ)
(ρ,θ)=(1,0)
. This proves thatV(t) given by (3.4), can be used in Chernoff’s Theorem in order to compute an approximating expression for the system (1.2).
4. Generalization to the perturbed unit sphere Let
Ω:={(r, θ, φ)∈[0,1 +f(θ, φ)]×[0,2π)×[−π/2, π/2)}
be a perturbed unit sphere. Then the spherical coordinate the system (1.1) can be written as
1 r2
∂
∂r
r2∂u
∂r
+ 1
r2sin2φ
∂2u
∂θ2 + 1 r2sinφ
∂
∂φ
sinφ∂u
∂φ
= 0, in Γ,
∂u
∂t +∂u
∂r = 0, on∂Γ, u(0) =g, on∂Ω,
(4.1)
where Γ= [0,∞)×Ω. As in Section 2, we change variables:
ρ= r
1 +f(θ, φ)
where θ and φ remain invariant. Then the Laplacian in the new coordinates will be ∆ρ,θ,φ, which has a rather complicated expression, but by neglecting the terms of order 2, we transform ∆ρ,θ,φ to ∆()ρ,θ,φ. Our goal at this stage is to solve the problem,
∆()ρ,θ,φv= 0, in Γ,
∂v
∂t +∂v
∂ρ = 0, on∂Γ, v(0) =g, on∂Ω,
(4.2)
where Γ = [0,∞)×Ω, with Ω being the unit ball in R3. This system is still quite complicate to be solved; so by taking N discrete values of φ, {φj := jh : j = 1, . . . , N} with h= π/N, replacing ∂φ∂v by (v(ρ, θ, φj+1)−v(ρ, θ, φj))/h and replacing ∂∂φ2v2 by (v(ρ, θ, φj+1)−2v(ρ, θ, φj) +v(ρ, θ, φj−1))/h2we retrieve a system of N equations of (ρ, θ) parameters, each of which has an expression as we have already discussed in the preceding sections.
We postpone the numerical resolution of this system for a future article, with numerical illustrations.
References
[1] H. Ammari, E. Beretta, E. Francini, H. Kang, M. Lim; Reconstruction of small interface changes of an inclusion from modal measurements II: the elastic case.J. Math. Pures Appl.
94(2010), 322-339.
[2] H. Ammari, H. Kang, M. Lim, H. Zribi; Conductivity interface problems. I. Small perturba- tions of an interface.Trans. Amer. Math. Soc.362(2010), 2435-2449.
[3] P. R. Chernoff; Note on product formulas for operator semigroups. J. Funct. Analysis. 2 (1968), 238–242.
[4] D. Ehsani, M. R. Mokhtarzadeh, A. Razani, Expansions of Dirichlet to Neumann operators under perturbations.Appl. Anal.89(2010), 789–799.
[5] H. Emamirad, I. Laadnani; An approximating family for the Dirichelet-to-Neumann semi- group.Adv. Diff. Eqn.11(2006), 241-257.
[6] H. Emamirad, M. Sharifitabar; On Explicit Representation and Approximations of Dirichlet- to-Neumann Semigroup,Semigroup Forum, to appear.
[7] J. Escher; The Dirichlet-Neumann operator on continuous functions. Annali della Scuola Norm. Sup. Pisa,21(1994), 235–266.
[8] P. D. Lax;Functional Analysis, Wiley Inter-science, New-York, 2002.
[9] M. Taylor; Partial Differential Equations II: Qualitative Studies of Linear Equations.
Springer-Verlag, New-York. 1996.
[10] C. F. Tolmasky, A. Wiegmann; Recovery of small perturbations of an interface for an elliptic inverse problem via linearization.Inverse Problems,15(1999), 465-487.
Hassan Emamirad
School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O.
Box 19395-5746, Tehran, Iran E-mail address:emamirad@ipm.ir
Mohamed-Reza Mokhtarzadeh
School of Mathematics, Institute for Research in FundamentalSciences (IPM), P.O.
Box 19395-5746, Tehran, Iran
E-mail address:mrmokhtarzadeh@ipm.ir