1: \documentclass[a4paper]{article}
2: \usepackage{amssymb,amsmath,amsthm}
3: \usepackage{graphicx}
4: \usepackage{mathrsfs}
5: %\usepackage{showlabels}
6: \usepackage{hyperref}
7: %\usepackage{natbib}
8:
9: \setlength{\oddsidemargin}{0.5cm} \topmargin-0.3cm
10: \textwidth5.6in \oddsidemargin0.5cm \rightmargin0.4cm
11: \theoremstyle{definition}
12: \newtheorem{thm}{Theorem}[section]
13: \newtheorem{prop}{Proposition}[section]
14: \newtheorem{lem}{Lemma}[section]
15: \theoremstyle{remark}
16: \newtheorem{rem}{Remark}[section]
17: \numberwithin{equation}{section}
18:
19: \parindent=0cm
20: \newcommand{\scurl}{\operatorname{curl}}
21: \newcommand{\curl}{\operatorname{\text{\bf curl}}}
22: \newcommand{\bs}{\boldsymbol}
23: \newcommand{\wt}{\widetilde}
24: \newcommand{\eps}{^\epsilon}
25: \newcommand{\loc}{\text{loc}}
26: \newcommand{\re}{\text{Re}\,}
27: \newcommand{\pd}[2]{\dfrac{\partial #1}{\partial #2}}
28: \newcommand{\build}[3]{\mathrel{\mathop{\kern 0pt#1}\limits_{#2}^{#3}}}
29: \newcommand{\CV}{\build{\longrightarrow}{\epsilon\to 0}{}}
30: \newcommand{\Cv}[1]{\build{\longrightarrow}{#1}{}}
31: \def\diver{\operatorname{div}}
32: \def\Int{\operatorname{Int}}
33:
34: \begin{document}
35:
36: \title{A Two-dimensional eddy current model using thin inductors}
37: \author{Youcef {\sc Amirat}, Rachid {\sc Touzani}\\
38: \small Laboratoire de Math\'ematiques, UMR CNRS 6620\\
39: \small Universit\'e Blaise Pascal (Clermont--Ferrand)\\
40: \small 63177 Aubi\`ere cedex, France\\
41: \small \tt \{Youcef.Amirat,Rachid.Touzani\}@math.univ-bpclermont.fr}
42: \date{}
43:
44: \maketitle
45:
46: \begin{abstract}
47: We derive a mathematical model for eddy currents in two dimensional geometries where
48: the conductors are thin domains. We assume that the current flows in the $x_3$-direction
49: and the inductors are domains with small diameters of order $O(\epsilon)$.
50: The model is derived by taking the limit $\epsilon\to 0$.
51: A convergence rate of $O(\epsilon^\alpha)$ with $0<\alpha<1/2$ in the $L^2$--norm is shown
52: as well as weak convergence in the $W^{1,p}$ spaces for $1<p<2$.
53:
54:
55: %\bigskip
56: %\begin{center}{\bf R\'esum\'e}\end{center}
57: \end{abstract}
58:
59: %\keywords{Eddy current problem, thin domain, Asymptotic analysis}
60: %\subjclass[2000]{35B40 35Q60}
61:
62:
63: \section{Introduction}
64: Mathematical modelling of eddy current problems often involves multiple conductors
65: with various sizes. Typically, electrotechnical devices involve thin conductors as wires
66: or coils as well as massive conductors. Numerical solution of such problems may then
67: encounter serious difficulties in the choice of the domain meshes which can in particular
68: lead to ill conditioning. Asymptotic analysis of these problems appears as an efficient tool
69: to obtain limit problems that are simpler to solve and better conditioned.
70:
71: We consider, in the present work, a two-dimensional eddy current problem, formulated in
72: terms of a scalar potential in the whole plane. The electrically conducting domain consists
73: in a ``thick" conductor $\Omega$ and two ``thin" domains assumed to carry the same current
74: with opposite sign. In terms of the current conservation principle, this means that these
75: inductors are assumed to be virtually \emph{linked at the infinity}. The derivation of the
76: model for thin inductors is obtained by assuming that these domains are of small diameters of
77: order $\epsilon\ll 1$. We show that taking the limit when these
78: diameters tend to zero leads to a singular elliptic problem, the singularity being due to the presence
79: of Dirac measures.
80:
81: The outline of the paper is the following: We start in Section 2 by deriving the considered
82: eddy current model from a 3-D model. We emphasize on a careful modelling that takes into
83: account the total current flowing in the inductors. In Section 3, we state the main convergence
84: result and prove it through some preliminary lemmas. Section 4 is devoted to further convergence
85: results in $W^{1,p}$ spaces.
86:
87: \section{Statement of the problem}
88:
89: Let $\Lambda=\Omega\times\mathbb R$ denote a cylindrical conductor where $\Omega$ is a domain in $\mathbb R^2$
90: with a smooth boundary $\Gamma$. We assume that the domain $\Omega$ is the union of three connected domains
91: $\Omega_k$ with respective boundaries $\Gamma_k$, $k=0,1,2$ (see Figure 1), and that the
92: closures of the domains $\Omega_k$ are disjointed.
93: We shall also deal with the complement $\Omega'=\mathbb R^2\setminus\overline\Omega$ of $\Omega$.
94:
95: \begin{figure}[!ht]
96: %\includegraphics[bb=100 540 596 650]{fig.pdf}
97: \includegraphics[bb=100 580 596 680]{fig1.ps}%
98: \label{fig}\caption{A typical configuration of the conductors}
99: \end{figure}
100:
101: In the following we shall make use of generic constants that do not depend on the small parameter $\epsilon$.
102: Time harmonic eddy currents equations read:
103: \begin{equation}
104: \begin{aligned}{}
105: &\curl\bs H - \bs J = 0&&\qquad\text{in }\Lambda,\\
106: &\curl\bs H = 0&&\qquad\text{in }\mathbb R^3\setminus\overline\Lambda,\\
107: &i\omega\mu\bs H + \curl\,(\sigma^{-1}\bs J) = 0&&\qquad\text{in }\Lambda,\\
108: &\diver\,(\mu\bs H) = 0&&\qquad\text{in }\mathbb R^3.
109: \end{aligned}
110: \label{EC-3D}
111: \end{equation}
112: Here the vector fields $\bs H$ and $\bs J$ denote respectively the magnetic field and
113: the current density. Moreover, $\sigma$ and $\mu$ are respectively the electric conductivity and the magnetic permeability.
114: We assume for the sake of simplicity that $\sigma$ and $\mu$ are positive constants.
115: In order to take advantage of the geometry of $\Lambda$, we seek unknowns in the form:
116: \begin{align}
117: &\bs H(x_1,x_2,x_3) = H_1(x_1,x_2)\,\bs e_1 + H_2(x_1,x_2),0)\,\bs e_2,\nonumber\\
118: &\bs J(x_1,x_2,x_3) = J(x_1,x_2)\,\bs e_3,\nonumber
119: \end{align}
120: where $(\bs e_1,\bs e_2,\bs e_3)$ is the canonical basis of $\mathbb R^3$.
121: Equations \eqref{EC-3D} become then
122: \begin{alignat}{2}
123: &\scurl\bs H - J = 0 &&\qquad\text{in }\Omega, \label{EC-1}\\
124: &\scurl\bs H = 0 &&\qquad\text{in }\Omega', \label{EC-2}\\
125: &i\omega\mu\bs H + \curl\,(\sigma^{-1}J) = 0 &&\qquad\text{in }\Omega, \label{EC-3}\\
126: &\diver\,\bs H = 0 &&\qquad\text{in }\mathbb R^2. \label{EC-4}
127: \end{alignat}
128: where $\scurl$ and $\curl$ denote respectively the scalar and vector curl operator in
129: 2-D, \emph{i.e.}
130: $$
131: \scurl\bs u := \pd{H_2}{x_1} - \pd{H_1}{x_2},\quad
132: \curl\varphi = \pd{\varphi}{x_2}\,\bs e_1 - \pd{\varphi}{x_1}\,\bs e_2.
133: $$
134: Our aim now is to derive a simple model for eddy currents. Using Equation \eqref{EC-4},
135: we deduce the existence of a scalar potential $u:\mathbb R^2\to\mathbb C$ such that
136: \begin{equation}
137: \mu\bs H = \curl u\qquad\text{in }\mathbb R^2.\label{divB=0}
138: \end{equation}
139: Equation \eqref{EC-1} yields
140: $$
141: \begin{aligned}{}
142: &\scurl\,\curl u = \mu J&&\qquad\text{in }\Omega,\\
143: &\scurl\,\curl u = 0&&\qquad\text{in }\Omega',
144: \end{aligned}
145: $$
146: or equivalently,
147: \begin{equation}
148: \begin{aligned}{}
149: -&\Delta u = \mu J&&\qquad\text{in }\Omega,\\
150: &\Delta u = 0&&\qquad\text{in }\Omega'.\label{eq1}
151: \end{aligned}
152: \end{equation}
153: On the other hand we obtain from \eqref{EC-3} and \eqref{divB=0},
154: $$
155: \curl\,(i\omega u + \sigma^{-1}J) = 0.
156: $$
157: Whence
158: \begin{equation}
159: i\omega\sigma u + J = \sigma C_k\qquad\text{in }\Omega_k,\label{eq-Ck}
160: \end{equation}
161: where $C_k$ are complex constants, for $k=0,1,2$. Replacing this in \eqref{eq1}, we obtain
162: $$
163: \begin{aligned}{}
164: &-\Delta u + i\omega\mu\sigma u = \mu\sigma C_k&&\qquad\text{in }\Omega_k,\ k=0,1,2,\\
165: &\Delta u = 0&&\qquad\text{in }\Omega'.
166: \end{aligned}
167: $$
168: Finally, various considerations dealing with interface conditions and the behaviour at the infinity lead to the
169: problem:
170: \begin{equation}
171: \begin{aligned}{}
172: &-\Delta u + i\omega\mu\sigma u = \mu\sigma C_k &&\qquad\text{in }\Omega_k,\ k=0,1,2,\\
173: &\Delta u = 0 &&\qquad\text{in }\Omega',\\
174: &[u] = 0 &&\qquad\text{on }\Gamma,\\
175: &\Big[\pd un\Big] = 0 &&\qquad\text{on }\Gamma,\\
176: &u(x) = \alpha + O(|x|^{-1}) &&\qquad\text{as } |x|\to\infty.
177: \end{aligned}
178: \end{equation}
179: Here above, $[\,\cdot\,]$ denotes the jump of a function across the boundary $\Gamma$, this jump being equal to
180: the external trace minus the internal one.
181: It remains to determine the constants $C_k$ in function of problem data. For this end,
182: it turns out to be realistic to prescribe the total current in each conductor. We then
183: assume that this quantity, denoted by $I$ is given as
184: \begin{equation}
185: \label{I}
186: \int_{\Omega_1} J\,dx = -\int_{\Omega_2} J\,dx = I.
187: \end{equation}
188: Note that the first identity is imposed in order to enforce a current conservation principle.
189: For the same reason, we impose
190: $$
191: \int_{\Omega_0} J\,dx = 0.
192: $$
193: Making use of these conditions, we obtain for the constants $C_k$, the values
194: \begin{align*}
195: &C_0 = i\omega\wt u_1,\\
196: &C_1 = i\omega\wt u_1 + \frac I{\sigma\,|\Omega_1|},\\
197: &C_2 = i\omega\wt u_2 - \frac I{\sigma\,|\Omega_2|},
198: \end{align*}
199: where $|\Omega_k|$ stands for the measure of $\Omega_k$ and $\wt u_k$ is the average of $u$
200: on $\Omega_k$, \emph{i.e.}
201: $$
202: \wt u_k := \frac 1{|\Omega_k|}\int_{\Omega_k}u\,dx.
203: $$
204: We obtain the problem:
205: \begin{equation}
206: \begin{aligned}{}
207: &-\Delta u + i\omega\mu\sigma(u-\wt u_0) = 0 &&\qquad\text{in }\Omega_0,\\
208: &-\Delta u + i\omega\mu\sigma(u-\wt u_1) = \frac {\mu I}{|\Omega_1|} &&\qquad\text{in }\Omega_1,\\
209: &-\Delta u + i\omega\mu\sigma(u-\wt u_2) = -\frac {\mu I}{|\Omega_2|} &&\qquad\text{in }\Omega_2,\\
210: &\Delta u = 0 &&\qquad\text{in }\Omega',\\
211: &[u] = 0 &&\qquad\text{on }\Gamma,\\
212: &\Big[\pd un\Big] = 0 &&\qquad\text{on }\Gamma,\\
213: &u(x) = \alpha + O(|x|^{-1}) &&\qquad\text{as } |x|\to\infty.
214: \end{aligned}\label{Pb-I}
215: \end{equation}
216: Note that, owing to \eqref{I}, the solution of Problem \eqref{Pb-I} is known up to an additive constant. For this reason,
217: we impose the condition
218: \begin{equation}
219: \wt u_0=0,\label{ZeroAverage}
220: \end{equation}
221: which enforces a value for the constant $\alpha$.
222:
223: Let us prove that Problem \eqref{Pb-I}--\eqref{ZeroAverage} has a unique solution.
224: We define, for this end, the Beppo-Levi space (see \cite{Nedelec}),
225: $$
226: W^1(\mathbb R^2) := \Big\{v;\ \rho\,v\in L^2(\mathbb R^2),\ \nabla v
227: \in L^2(\mathbb R^2)^2\Big\},
228: $$
229: where $\rho$ is the weight function given by
230: \begin{equation}
231: \rho(x)=\frac 1{(1+|x|)\log(2+|x|)}.\label{rho}
232: \end{equation}
233: We furthermore define the space
234: $$
235: V := \{v\in W^1(\mathbb R^2);\ \wt v_0=0\}.
236: $$
237: It is well known (cf. \cite{RT}) that the semi-norm
238: $$
239: |v|_{W^1(\mathbb R^2)} := \Big(\int_{\mathbb R^2}|\nabla v|^2\,dx\Big)^{\frac 12}
240: $$
241: is a norm on the space $V$, equivalent to the one induced by $W^1(\mathbb R^2)$, \emph{i.e.}
242: we have in particular
243: \begin{equation}
244: \|\rho\, v\|_{L^2(\mathbb R^2)} \le C\,|v|_{W^1(\mathbb R^2)}\qquad\forall\ v\in V.\label{EqNorm}
245: \end{equation}
246: Here and in the following $|\nabla v|$ stands for the function
247: $$
248: |\nabla v| = \Big(\pd v{x_1}\pd {\overline v}{x_1}+\pd v{x_2}\pd {\overline v}{x_2}\Big)^{\frac 12}.
249: $$
250:
251: A variational formulation of \eqref{Pb-I} consists in seeking a function $u\in V$ such that
252: \begin{equation}
253: \begin{aligned}{}
254: \int_{\mathbb R^2}\nabla u\cdot\nabla\overline v\,dx + i\beta\sum_{k=0}^2\int_{\Omega_k}(u-\wt u_k)\overline v\,dx
255: = \mu I(\overline{\wt v}_1-\overline{\wt v}_2)\quad\forall\ v\in V,
256: \end{aligned}
257: \label{pb-I-var}
258: \end{equation}
259: where $\beta=\omega\mu\sigma$ and $\overline v$ is the complex conjugate of $v$.
260:
261: \begin{thm}
262: Problem \eqref{pb-I-var} has a unique solution.
263: \end{thm}
264:
265: \begin{proof}
266: Let us define, for $u,v\in V$, the sesquilinear and antilinear forms,
267: \begin{align*}
268: &a(u,v) := \int_{\mathbb R^2}\nabla u\cdot\nabla\overline v\,dx +
269: i\beta\sum_{k=0}^2\int_{\Omega_k}(u-\wt u_k)\overline v\,dx,\\
270: &L(v) := \mu I(\overline{\wt v}_1-\overline{\wt v}_2).
271: \end{align*}
272: The forms $a$ and $L$ are obviously continuous. In addition, since
273: $$
274: \int_{\Omega_k}(u-\wt u_k)\overline v\,dx = \int_{\Omega_k}(u-\wt u_k)(\overline v-\overline{\wt v}_k)\,dx,
275: $$
276: then we have
277: \begin{align*}
278: a(v,v) &= \int_{\mathbb R^2}|\nabla v|^2\,dx +
279: i\beta\sum_{k=0}^2\int_{\Omega_k}(v-\wt v_k)\overline v\,dx\\
280: &= \int_{\mathbb R^2}|\nabla v|^2\,dx +
281: i\beta\sum_{k=0}^2\int_{\Omega_k}|v-\wt v_k|^2\,dx.
282: \end{align*}
283: Then
284: $$
285: \re(a(v,v)) = \int_{\mathbb R^2}|\nabla v|^2\,dx.
286: $$
287: We deduce then that $a$ is coercive on $V$ and the Lax-Milgram theorem gives the existence
288: and uniqueness of a solution $u\in V$ to \eqref{pb-I-var}.
289: \end{proof}
290:
291: We now consider that the domains $\Omega_1$ and $\Omega_2$ are thin in the following sense:
292: we define the domain $\Omega\eps_k:=\Omega_k$ by
293: $$
294: \Omega\eps_k = z_k + \epsilon\,\widehat\Omega_k\qquad k=1,2,
295: $$
296: where $\epsilon$ is a small positive number, $z_k\in\mathbb R^2$, and $\widehat\Omega_k$ is a smooth domain in $\mathbb R^2$.
297: We assume furthermore that the domains $\overline\Omega_k\eps$ and $\overline\Omega_0$
298: are disjointed for $\epsilon$ small enough. Furthermore, we denote in the following by $\Omega\eps$
299: the union $\Omega_0\cup\Omega_1\eps\cup\Omega_2\eps$. Finally, let us mention that, throughout this
300: paper, $C, C_1, C_2, \ldots$ will stand for generic constants that do not depend on $\epsilon$.
301: Our aim is to study the asymptotic behavior, as $\epsilon\to 0$, of the solution $u$ to Problem \eqref{Pb-I}.
302:
303: \section{The limit problem}
304:
305: Let us first, for clarity, rewrite Problem \eqref{Pb-I} with the parameter $\epsilon$.
306: Denoting by $\chi_0$ and $\chi_k\eps$ the characteristic functions of $\Omega_0$
307: and $\Omega_k\eps$, respectively, we have
308: \begin{equation}
309: \begin{aligned}{}
310: &-\Delta u\eps + i\beta\sum_{k=1}^2\chi_k\eps\,(u\eps-\wt u\eps_k)
311: + i\beta\chi_0\, u\eps = \mu I\Big(\frac{\chi_1\eps}{|\Omega_1\eps|}
312: -\frac{\chi_2\eps}{|\Omega_2\eps|}\Big)&&\text{in }\mathbb R^2,\\
313: &u\eps(x) = \alpha + O(|x|^{-1})&&\text{as } |x|\to\infty.
314: \end{aligned}\label{Pb-Ie}
315: \end{equation}
316: Let us recall that the condition \eqref{ZeroAverage} fixes the value of $\alpha$.
317: %A variational formulation
318: %of Problem \eqref{Pb-Ie} is given by
319: %\begin{equation}
320: %\left\{
321: %\begin{aligned}{}
322: %&\text{Find }u\eps\in V\text{ such that}\\
323: %&\int_{\mathbb R^2}\nabla u\eps\cdot\nabla\overline v\,dx + i\beta\sum_{k=0}^2\int_{\Omega\eps_k}
324: %(u\eps-\widetilde u_k\eps)\overline v\,dx = \mu I(\overline{\widetilde v_1}-\overline{\widetilde v_2})
325: %\qquad\forall\ v\in V.
326: %\end{aligned}
327: %\right.\label{Pb-Ie-var}
328: %\end{equation}
329:
330: We next define the weighted space that will be used for convergence results:
331: $$
332: L^2_\rho(\mathbb R^2) = \{v;\ \rho v\in L^2(\mathbb R^2)\}.
333: $$
334:
335: We also define a problem that will be defined as the limit problem. This one is the following:
336: \begin{equation}
337: \begin{aligned}{}
338: &-\Delta u + i\beta\chi_0\,u = \mu I(\delta_{z_1}-\delta_{z_2})&&\ \text{in }\mathbb R^2,\\
339: &u(x) = \alpha + O(|x|^{-1})&&\text{ as } |x|\to\infty,
340: \end{aligned}\label{Pb-Lim}
341: \end{equation}
342: where $\delta_{z_k}$ is the Dirac measure concentrated at $z_k$.
343: For Problem \eqref{Pb-Lim}, we need a uniqueness result. Let us define for this the notion
344: of weak solution. We shall say in the sequel that $u$ is a weak $L^2_\rho$--solution
345: of Problem \eqref{Pb-Lim} if $u\in L^2_\rho(\mathbb R^2)$ and if we have
346: \begin{equation}
347: \int_{\mathbb R^2} u\,(-\Delta\overline\varphi + i\beta\chi_0\,\overline\varphi)\,dx =
348: \mu I\,(\overline\varphi(z_1)-\overline\varphi(z_2))
349: \qquad\forall\ \varphi\in \mathscr D(\mathbb R^2),\label{WeakSol}
350: \end{equation}
351: where $\mathscr D(\mathbb R^2)$ is the space of indefinitely differentiable functions
352: with compact support in $\mathbb R^2$.
353:
354: \begin{lem}
355: \label{Uniqueness}
356: Problem \eqref{Pb-Lim} has at most one weak $L^2_\rho$--solution.
357: \end{lem}
358:
359: \begin{proof}
360: Let $u_1$ and $u_2$ denote two weak $L^2_\rho$--solutions of
361: \eqref{WeakSol}. The difference $u=u_1-u_2$ satisfies then
362: $$
363: \int_{\mathbb R^2} u\,(-\Delta\overline\varphi + i\beta\chi_0\,\overline\varphi)\,dx = 0
364: \qquad\forall\ \varphi\in\mathscr D(\mathbb R^2).
365: $$
366: This relation is still true for all functions $\varphi\in L^2_\rho(\mathbb R^2)$ with
367: $$
368: \int_{\mathbb R^2}\rho^2 u\,\overline\psi\,dx = 0\qquad\forall\ \psi\in L^2_\rho(\mathbb R^2),
369: $$
370: where
371: \begin{equation}
372: -\Delta\overline\varphi + i\beta\chi_0\,\overline\varphi = \rho^2\overline\psi\qquad\text{in }\mathbb R^2.
373: \label{weak-dual}
374: \end{equation}
375: Note that Equation \eqref{weak-dual} admits a unique solution in $W^1(\mathbb R^2)$.
376: Choosing $\psi=u$, we deduce
377: $$
378: \int_{\mathbb R^2}\rho^2\,|u|^2\,dx = 0.
379: $$
380: This implies $u=0$ and uniqueness follows.
381: \end{proof}
382:
383: We now state the first convergence result.
384:
385: %\begin{thm}
386: %Problem \eqref{Pb-Lim} has a unique solution that can be expressed as
387: %$$
388: %u(x) = w(x) + \frac{\mu I}{2\pi}\,\log\frac{|x-z_2|}{|x-z_1|},\qquad x\in\mathbb R^2\setminus\{z_1,z_2\},
389: %$$
390: %where $w\in W^1(\mathbb R^2)$.
391: %
392: %\end{thm}
393: %
394: %\begin{proof}
395: %Let us define the auxiliary problem
396: %\begin{alignat*}{2}
397: %&-\Delta\widehat u = \mu I(\delta_{z_1}-\delta_{z_2})&&\qquad\text{in }\mathbb R^2,\\
398: %&\widehat u(x) = \alpha + O(|x|^{-1})&&\qquad\text{as } |x|\to\infty.
399: %\end{alignat*}
400: %Using the fundamental solution of the Laplace operator we obtain that this problem has the unique solution
401: %$$
402: %\widehat u(x) = \frac{\mu I}{2\pi}\,\log\frac{|x-z_2|}{|x-z_1|}\quad\text{for }x\in\mathbb R^2\setminus\{z_1,z_2\}.
403: %$$
404: %Denoting by $w=u-\widehat u$, we obtain for $w$ the equation
405: %$$
406: %\begin{aligned}{}
407: %&-\Delta w + i\beta\chi_0\,w = -i\beta\chi_0\widehat u&&\qquad\text{in }\mathbb R^2,\\
408: %&w(x) = \gamma + O(|x|^{-1})&&\qquad\text{as } |x|\to\infty.
409: %\end{aligned}
410: %$$
411: %Since the function $\widehat u$ is $C^\infty$ in $\Omega_0$, we deduce from the Lax-Milgram theorem
412: %that this problem has a unique solution $w\in W^1(\mathbb R^2)$.
413: %\end{proof}
414:
415: \begin{thm}
416: \label{CV}
417: The sequence $(u\eps)$ converges in $L^2_\rho(\mathbb R^2)$, when $\epsilon\to 0$, to the unique solution of Problem
418: \eqref{Pb-Lim}.
419: \end{thm}
420:
421: The remaining of this section is devoted to the proof of Theorem \ref{CV}.
422: It is clear that the structure of the right-hand side in Problem \eqref{Pb-Ie} suggests
423: that the convergence cannot be obtained in the space $W^1(\mathbb R^2)$.
424: To obtain a weaker result we resort to a duality technique due to Lions-Magenes (\cite{LM}, p. 177)
425: and Damlamian-Ta Tsien Li \cite{DL}.
426:
427: Let, in the following, $B$ denote a ball that contains the domains $\overline\Omega_0$,
428: $\overline\Omega_1\eps$ and $\overline\Omega_2\eps$ for all $\epsilon\ll 1$.
429: Multiplying Equation \eqref{Pb-Ie} by a test function $\varphi\in V\cap H^2_\loc(\mathbb R^2)$,
430: and using the Green formula, we obtain
431: $$
432: -\int_{\mathbb R^2}u\eps\Delta\overline\varphi\,dx +
433: i\beta\sum_{k=1}^2\int_{\Omega_k\eps}(u\eps-\wt u\eps_k)\overline\varphi\,dx
434: + i\beta\int_{\Omega_0}u\eps\overline\varphi\,dx =
435: \mu I(\overline{\wt\varphi}_1-\overline{\wt\varphi}_2).
436: $$
437: Since
438: \begin{equation}
439: \int_{\Omega_k\eps}(u\eps-\wt u\eps_k)\,\overline\varphi\,dx =
440: \int_{\Omega_k\eps}u\eps(\overline\varphi-\overline{\wt\varphi}_k\eps)\,dx
441: =\int_{\Omega_k\eps}(u\eps-\wt u\eps_k)\,(\overline\varphi-\overline{\wt\varphi}_k\eps)\,dx,
442: \label{Ident}
443: \end{equation}
444: we deduce that
445: \begin{equation}
446: \int_{\mathbb R^2}u\eps\Big(-\Delta\overline\varphi + i\beta\sum_{k=1}^2\chi_k\eps(\overline\varphi
447: -\overline{\wt\varphi}\eps_k) + i\beta\chi_0\overline\varphi\Big)\,dx
448: = \mu I(\overline{\wt\varphi}_1-\overline{\wt\varphi}_2).
449: \label{Adjoint-A}
450: \end{equation}
451: Let $\psi$ denote a function in $L^2_\rho(\mathbb R^2)$.
452: Identity \eqref{Adjoint-A} can also be written as
453: \begin{equation}
454: \int_{\mathbb R^2}\rho^2 u\eps\overline\psi\,dx = \mu I(\overline{\wt\varphi}_1\eps-\overline{\wt\varphi}_2\eps),
455: \label{Dual}
456: \end{equation}
457: where $\varphi\eps$ is the solution in $V\cap H^2_{\text{loc}}(\mathbb R^2)$ of
458: \begin{equation}
459: -\Delta\varphi\eps + i\beta\sum_{k=1}^2\chi_k\eps(\varphi\eps-\wt\varphi_k\eps)
460: + i\beta\chi_0\varphi\eps = \rho^2\psi\qquad\text{in }\mathbb R^2.
461: \label{Adjoint}
462: \end{equation}
463:
464: \begin{lem}
465: \label{lem1}
466: We have the estimates:
467: \begin{align}
468: &\|\nabla\varphi\eps\|_{L^2(\mathbb R^2)^2} + \|\varphi\eps\|_{L^2(\Omega_0)} +
469: \epsilon^{-1}\sum_{k=1}^2\|\varphi\eps-\wt\varphi\eps_k\|_{L^2(\Omega_k\eps)} \le C\,\|\rho\psi\|_{L^2(\mathbb R^2)}.\label{Estim-phi}\\
470: &\|\varphi\eps\|_{H^2(B)}\le C\,\|\rho\psi\|_{L^2(\mathbb R^2)},\label{Estim-phi-a}
471: \end{align}
472: for each ball $B$ of $\mathbb R^2$ containing $\Omega\eps$.
473: \end{lem}
474:
475: \begin{proof}
476: By the Green's formula, we have from \eqref{Adjoint} and Identity \eqref{Ident}
477: $$
478: \int_{\mathbb R^2}|\nabla\varphi\eps|^2\,dx + i\beta\sum_{k=1}^2\int_{\Omega_k\eps}
479: |\varphi\eps-\wt\varphi_k\eps|^2\,dx + i\beta\int_{\Omega_0}|\varphi\eps|^2\,dx
480: = \int_{\mathbb R^2}\rho^2\psi\,\overline\varphi\eps\,dx.
481: $$
482: From this and \eqref{EqNorm} we deduce that
483: $$
484: \int_{\mathbb R^2}|\nabla\varphi\eps|^2\,dx\le\|\rho\psi\|_{L^2(\mathbb R^2)}\,
485: \|\rho\varphi\eps\|_{L^2(\mathbb R^2)}\le C\,
486: \|\rho\psi\|_{L^2(\mathbb R^2)}\,\|\nabla\varphi\eps\|_{L^2(\mathbb R^2)^2},
487: $$
488: and then
489: \begin{equation}
490: \label{Estim-phi-1}
491: \Big(\int_{\mathbb R^2}|\nabla\varphi^\epsilon|^2\,dx\Big)^{\frac 12}\le C\,\|\rho\psi\|_{L^2(\mathbb R^2)}.
492: \end{equation}
493: Therefore, the sequence $(\varphi\eps)$ is bounded in $W^1(\mathbb R^2)$.
494: The $L^2$-error estimate is obtained by using the Poincar\'e-Wirtinger inequality (see \cite{B}, p.~194).
495: We have indeed by using \eqref{Estim-phi-1}, and since the diameter of $\Omega\eps_k$ is an $O(\epsilon)$,
496: \begin{align*}
497: &\|\varphi\eps\|_{L^2(\Omega_0)} \le C_1\,\|\nabla\varphi\eps\|_{L^2(\mathbb R^2)^2}\le C_2\,\|\rho\psi\|_{L^2(\mathbb R^2)},\\
498: &\|\varphi\eps-\widetilde\varphi\eps_k\|_{L^2(\Omega_k\eps)}
499: \le C_3\epsilon\,\|\nabla\varphi\eps\|_{L^2(\mathbb R^2)^2}
500: \le C_4\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)},\qquad k=1,2.
501: \end{align*}
502: In order to prove the $H^2$--estimate, we use standard regularity results for elliptic equations
503: (See \cite{GT}, p.~183 for instance). We obtain for any ball $B$ of $\mathbb R^2$ containing
504: $\Omega\eps$, and any regular domain $D$ containing $\overline B$,
505: \begin{align*}
506: \|\varphi\eps\|_{H^2(B)}
507: &\le C_1\,\Big(\|\varphi\eps\|_{H^1(D)} + \|\rho^2\psi\|_{L^2(D)} +
508: \|\varphi\eps\|_{L^2(\Omega_0)}+
509: \sum_{k=1}^2\|\varphi\eps-\widetilde\varphi_k\eps\|_{L^2(\Omega_k\eps)}\Big)\\
510: &\le C_2\,\|\rho\psi\|_{L^2(\mathbb R^2)}.
511: \end{align*}
512: Note that the constant $C_2$ depends on the domain $B$ but does not depend on $\epsilon$.
513: \end{proof}
514:
515: The estimates obtained in Lemma \ref{lem1} enable concluding that a subsequence
516: of $(\varphi\eps)$ converges toward $\varphi$ weakly in $H^2(B)$ for any ball $B$ of $\mathbb R^2$. We now characterize
517: the limit function.
518:
519: \begin{lem}
520: The sequence $(\varphi\eps)$ converges, when $\epsilon\to 0$, in $W^1(\mathbb R^2)$ to
521: the unique solution of the equation:
522: \begin{equation}
523: -\Delta\varphi + i\beta\chi_0\varphi = \rho^2\psi\qquad\text{in }\mathbb R^2,
524: \label{AdjointL}
525: \end{equation}
526: Moreover, we have the error estimates
527: \begin{equation}
528: \sum_{k=1}^2\|\varphi\eps-\varphi\|_{L^2(\Omega\eps_k)} + \|\varphi\eps-\varphi\|_{H^2(B)} +
529: \|\nabla(\varphi\eps-\varphi)\|_{L^2(\mathbb R^2)^2} \le C\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)},
530: \label{ErrorPhi}
531: \end{equation}
532: for any ball $B$ of $\mathbb R^2$ containing $\Omega\eps$.
533: \end{lem}
534:
535: \begin{proof}
536: Let $\phi\eps=\varphi\eps-\varphi$. Then $\phi\eps\in V\cap H^2_\loc(\mathbb R^2)$ and satisfies the variational equation
537: $$
538: \int_{\mathbb R^2}\nabla\phi\eps\cdot\nabla\overline v\,dx + i\beta\int_{\Omega_0}\phi\eps\overline v\,dx
539: + i\beta\sum_{k=1}^2\int_{\Omega_k\eps}(\varphi\eps-\widetilde\varphi_k\eps)\overline v\,dx = 0
540: \qquad\forall\ v\in V.
541: $$
542: Choosing $v=\phi\eps$, we obtain
543: $$
544: \int_{\mathbb R^2}|\nabla\phi\eps|^2\,dx + i\beta\int_{\Omega_0}|\phi\eps|^2\,dx
545: = -i\beta\sum_{k=1}^2\int_{\Omega_k\eps}(\varphi\eps-\wt\varphi_k\eps)\overline\phi\eps\,dx.
546: $$
547: Then using the estimates \eqref{Estim-phi}, we have
548: \begin{align*}
549: \int_{\mathbb R^2}|\nabla\phi\eps|^2\,dx + \int_{\Omega_0}|\phi\eps|^2\,dx
550: &\le \beta\,\sum_{k=1}^2\Big(\int_{\Omega_k\eps}|\varphi\eps-\wt\varphi\eps_k|^2\,dx\Big)^{\frac 12}
551: \Big(\int_{\Omega_k\eps}|\phi\eps|^2\,dx\Big)^{\frac 12}\\
552: &\le C_1\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)}\,\|\nabla\phi\eps\|_{L^2(\mathbb R^2)^2}.
553: \end{align*}
554: Therefore, we have the bounds
555: \begin{align}
556: &\|\nabla\phi\eps\|_{L^2(\mathbb R^2)^2} \le C_1\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)},\label{Bound-0}\\
557: &\|\phi\eps\|_{L^2(\Omega_0)} \le C_2\,\|\nabla\phi\eps\|_{L^2(\mathbb R^2)^2}
558: \le C_3\,\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)}.\label{Bound-1}
559: \end{align}
560: The sequence $(\varphi\eps)$ converges then to $\varphi$ strongly in $W^1(\mathbb R^2)$, which yields the
561: limit problem \eqref{AdjointL}.
562:
563: To prove the $L^2$-error estimate, we have from \eqref{EqNorm} and \eqref{Bound-0}, for $k=1,2$,
564: $$
565: \|\phi\eps\|_{L^2(\Omega_k\eps)}
566: \le C_1\,\|\rho\phi\eps\|_{L^2(\Omega_k\eps)}
567: \le C_1\,\|\rho\phi\eps\|_{L^2(\mathbb R^2)}
568: \le C_2\,\|\nabla\phi\eps\|_{L^2(\mathbb R^2)}
569: \le C_3\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)}.
570: $$
571: The $H^2$--estimate is handled in the following way: By subtracting \eqref{Adjoint} from
572: \eqref{AdjointL}, we obtain
573: $$
574: -\Delta\phi\eps = -i\beta\chi_0\phi\eps - i\beta\sum_{k=1}^2\chi_k\eps(\varphi\eps-\wt\varphi_k\eps)
575: \qquad\text{in }\mathbb R^2.
576: $$
577: Using \eqref{Estim-phi}, \eqref{Bound-1} and classical regularity results for elliptic problems
578: (See \cite{GT}, p.~183 for instance), we get
579: \begin{align*}
580: \|\phi\eps\|_{H^2(B)}
581: &\le C_1\,\Big(\|\phi\eps\|_{H^1(D)} + \|\phi\eps\|_{L^2(\Omega_0)}+\sum_{k=1}^2\|\varphi\eps-\widetilde\varphi_k\eps\|_{L^2(\Omega_k\eps)}\Big)\\
582: &\le C_2\,\Big(\epsilon\,\|\nabla\phi\eps\|_{L^2(\mathbb R^2)^2} + \|\phi\eps\|_{L^2(\Omega_0)}+\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)^2}\Big)\\
583: &\le C_3\,\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)},
584: \end{align*}
585: for all compact subsets $B$ of $\mathbb R^2$ and all regular domains $D$ that contain $\overline B$.
586: Note that the constant $C$ depends actually on $B$.
587: \end{proof}
588:
589: We are now ready to obtain the first convergence result for $u\eps$.
590: \begin{thm}
591: \label{ErrEst-L2}
592: There exists a constant $C$, independent of $\epsilon$, such that
593: $$
594: \|\rho(u-u\eps)\|_{L^2(\mathbb R^2)}\le C\epsilon^{\alpha/2}\qquad 0<\alpha<1,
595: $$
596: \end{thm}
597:
598: \begin{proof}
599: Consider the problem \eqref{Dual} and the following one, for $\psi\in L^2_\rho(\mathbb R^2)$,
600: \begin{equation}
601: \int_{\mathbb R^2}\rho^2u\,\overline\psi\,dx = \mu I\,(\overline{\varphi}(z_1)-\overline{\varphi}(z_2)).
602: \end{equation}
603: where $\varphi$ is the solution of Problem \eqref{AdjointL}. Then
604: \begin{equation}
605: \int_{\mathbb R^2}\rho^2(u\eps-u)\overline\psi\,dx =
606: \mu I\Big(\frac 1{|\Omega\eps_1|}\int_{\Omega\eps_1}\varphi\eps\,dx-\varphi(z_1)\Big) -
607: \mu I\Big(\frac 1{|\Omega\eps_2|}\int_{\Omega\eps_2}\varphi\eps\,dx-\varphi(z_2)\Big).
608: \label{eq1-1}
609: \end{equation}
610: Since $\varphi\in H^2(B)\subset C^{0,\alpha}(\overline B)$ for all $\alpha$ with $0<\alpha<1$
611: (see \cite{B} for instance) and all compact subsets $B$ of $\mathbb R^2$, we have for $k=1,2$,
612: \begin{align}
613: \Big|\frac 1{|\Omega_k\eps|}\int_{\Omega_k\eps}\varphi(x)\,dx - \varphi(z_k)\Big|
614: &\le \frac 1{|\Omega_k\eps|}\int_{\Omega_k\eps}|\varphi(x) - \varphi(z_k)|\,dx\nonumber\\
615: &\le C\,\frac 1{|\Omega_k\eps|}\int_{\Omega_k\eps}|x-z_k|^\alpha\,dx\nonumber\\
616: &\le C\,\epsilon^\alpha.\label{eq2}
617: \end{align}
618: Furthermore, we have from \eqref{ErrorPhi}, the imbedding $H^2(B)\subset C^0(\overline B)$
619: and the mean value theorem,
620: \begin{align}
621: \frac 1{|\Omega_k\eps|}\Big|\int_{\Omega_k\eps}(\varphi\eps-\varphi)\,dx\Big|
622: &\le C_1\,\|\varphi\eps-\varphi\|_{C^0(B)}\nonumber\\
623: &\le C_2\,\|\varphi\eps-\varphi\|_{H^2(B)}\nonumber\\
624: &\le C_3\epsilon\,\|\rho\psi\|_{L^2(\mathbb R^2)}.\label{eq3}
625: \end{align}
626: Recalling \eqref{eq1-1} and using \eqref{eq2}, \eqref{eq3}, we get
627: $$
628: \lim_{\epsilon\to 0}\int_{\mathbb R^2}(u\eps-u)\,\rho^2\overline\psi\,dx = 0\qquad\forall\ \psi\in L^2_\rho(\mathbb R^2).
629: $$
630: The sequence $(u\eps)$ converges then weakly to $u$ in $L^2_\rho(\mathbb R^2)$.
631: To obtain the strong convergence of $u\eps$, we choose $\psi=(u\eps-u)\in L^2_\rho(\mathbb R^2)$ in \eqref{eq1-1}.
632: We have by using again \eqref{eq2}, \eqref{eq3},
633: \begin{align*}
634: \|\rho(u\eps-u)\|^2_{L^2(\mathbb R^2)} &\le \mu I \sum_{k=1}^2 \Big|\int_{\Omega_k\eps}(\varphi\eps-\varphi)\,dx\Big|
635: + \mu I \sum_{k=1}^2\left|\frac 1{|\Omega_k\eps|}\int_{\Omega_k\eps}\varphi\,dx-\varphi(z_k)\right|\\
636: &\le C_4\,\epsilon + C_5\,\epsilon^\alpha \le C\,\epsilon^\alpha.
637: \end{align*}
638: \end{proof}
639:
640: \section{Sharper convergence results}
641:
642: The convergence result obtained in the previous section can be improved, as we shall show hereafter,
643: by using the technique of renormalized solutions for elliptic equations following Boccardo -- Gallou\"et \cite{BG}
644: and Murat \cite{Murat}. To simplify the settings, we shall sometimes resort to writing
645: Problem \eqref{Pb-Ie} as a system of two coupled equations
646: involving real valued unknowns. Let us denote, for a complex number $z$, by $z_R$ and $z_I$
647: its real and imaginary parts respectively. Equation \eqref{Pb-Ie} can be written:
648: \begin{alignat}{2}
649: &-\Delta u\eps_R - \beta\sum_{k=1}^2\chi_k\eps\,(u\eps_I-\wt u\eps_{k,I})
650: - \beta\chi_0\, u\eps_I = \mu I\Big(\frac{\chi_1\eps}{|\Omega_1\eps|}
651: -\frac{\chi_2\eps}{|\Omega_2\eps|}\Big)&&\quad\text{in }\mathbb R^2,\label{Pb-Ie-R-1}\\
652: &-\Delta u\eps_I + \beta\sum_{k=1}^2\chi_k\eps\,(u\eps_R-\wt u\eps_{k,R})
653: + \beta\chi_0\, u\eps_R = 0&&\quad\text{in }\mathbb R^2,\label{Pb-Ie-R-2}\\
654: &u_R\eps(x) = \alpha_R + O(|x|^{-1})&&\quad\text{as } |x|\to\infty,\label{Pb-Ie-R-3}\\
655: &u_I\eps(x) = \alpha_I + O(|x|^{-1})&&\quad\text{as } |x|\to\infty.\label{Pb-Ie-R-4}
656: \end{alignat}
657:
658: We start by deriving $L^2$ and $L^1$ uniform estimates.
659:
660: \begin{lem}
661: \label{ErrEst-L2-A}
662: We have the estimates:
663: \begin{align}
664: &\|\rho\,u\eps\|_{L^2(\mathbb R^2)} + \epsilon^{-\frac 12}\sum_{k=1}^2\|u\eps-\wt u_k\eps\|_{L^2(\Omega_k\eps)}\le C,\label{Estim-L2}\\
665: &\|\rho^2 u\eps\|_{L^1(\mathbb R^2)} + \epsilon^{-\frac 32}\sum_{k=1}^2\|u\eps-\wt u_k\eps\|_{L^1(\Omega_k\eps)}\le C.\label{Estim-L1}
666: \end{align}
667: \end{lem}
668:
669: \begin{proof}
670: The estimate on $\|\rho\,u\eps\|_{L^2(\mathbb R^2)}$ is obtained from Theorem \ref{ErrEst-L2} and from the
671: fact that $\rho\, u\in L^2(\mathbb R^2)$.
672: Next, The H\"older's inequality gives
673: $$
674: \int_{\mathbb R^2}\rho^2|u\eps|\,dx \le \bigg(\int_{\mathbb R^2}|\rho\, u\eps|^2\,dx\bigg)^{\frac 12}\,
675: \bigg(\int_{\mathbb R^2}\rho^2\,dx\bigg)^{\frac 12} \le C_2\bigg(\int_{\mathbb R^2}|\rho\, u\eps|^2\,dx\bigg)^{\frac 12}.
676: $$
677: Using a variational formulation of Problem \eqref{Pb-Ie}, we then obtain the bound
678: $$
679: \int_{\mathbb R^2}|\nabla u\eps|^2\,dx \le C_1\sum_{k=1}^2\frac 1{|\Omega_k\eps|}\|u\eps\|_{L^1(\Omega_k\eps)}
680: \le C_2\,\epsilon^{-1}.
681: $$
682: The Poincar\'e-Wirtinger inequality yields for $k=1,2$,
683: $$
684: \int_{\Omega_k\eps}|u\eps-\wt u_k\eps|^2\,dx \le C_1\,\epsilon^2\int_{\mathbb R^2}|\nabla u\eps|^2\,dx \le C_2\,\epsilon.
685: $$
686: Again, the Cauchy-Schwarz inequality gives the $L^1$--estimate:
687: $$
688: \int_{\Omega_k\eps}|u\eps-\wt u_k\eps|\,dx \le |\Omega_k\eps|^{\frac 12}\Big(\int_{\Omega_k\eps}|u\eps-\wt u_k\eps|^2\,dx\Big)^{\frac 12}
689: \le C\,\epsilon^{\frac 32}.
690: $$
691: \end{proof}
692:
693: %Let us show the convergence in $L^1$.
694:
695: %\begin{lem}\label{Estim-L1}
696: %We have the bounds:
697: %\begin{align}
698: %&\int_{\Omega_0}|u\eps|\,dx\le C,\label{estim-L1-1}\\
699: %&\int_{\Omega\eps_k}|u\eps-u\eps_k|\,dx\le C\qquad k=1,2.\label{estim-L1-2}
700: %\end{align}
701: %\end{lem}
702: %
703: %\begin{proof}
704: %Let us define the real-valued function
705: %$$
706: %s_\eta(t) = \frac t{(|t|^2+\eta)^{\frac 12}},\quad t\in\mathbb R,\ \eta>0.
707: %$$
708: %We have obviously
709: %\begin{equation}
710: %|s_\eta(t)|\le 1,\quad \lim_{\eta\to 0}s_\eta(t) = \text{sign}(t)\quad\text{for }t\in\mathbb R,
711: %\label{ss}
712: %\end{equation}
713: %where $\text{sign}(t)=t/|t|$.
714: %Multiplying Equation \eqref{Pb-Ie} by $s_\eta(u\eps)$, we obtain
715: %\begin{multline}
716: %\eta\int_{\mathbb R^2}\frac{|\nabla u_R\eps|^2}{(|u_R\eps|^2+\eta)^{\frac 32}}\,dx +
717: %\eta\int_{\mathbb R^2}\frac{|\nabla u_I\eps|^2}{(|u_I\eps|^2+\eta)^{\frac 32}}\,dx -
718: %\beta\int_{\mathbb R^2}\chi_0 u_R\eps\,s_\eta(u_I\eps)\,dx \\
719: %+\beta\int_{\mathbb R^2}\chi_0 u_I\eps\,s_\eta(u_R\eps)\,dx
720: %-\beta\sum_{k=1}^2\int_{\mathbb R^2}\chi\eps_k (u_R\eps-\wt u\eps_{R,k})\,s_\eta(u\eps_I-\wt u\eps_{I,k})\,dx\\
721: %+\beta\sum_{k=1}^2\int_{\mathbb R^2}\chi\eps_k (u_I\eps-\wt u\eps_{I,k})\,s_\eta(u\eps_R-\wt u\eps_{R,k})\,dx\\
722: %= \int_{\mathbb R^2}\mu I\Big(\frac{\chi\eps_1}{|\Omega\eps_1|}-\frac{\chi\eps_2}{|\Omega\eps_2|}\Big)\,s_\eta(u\eps)\,dx.
723: %\label{eq4}
724: %\end{multline}
725: %Thanks to \eqref{ss} and to the positivity of the first term in \eqref{eq4}, we get
726: %$$
727: %\int_{\mathbb R^2}\chi_0 |u\eps|\,dx +
728: %\sum_{k=1}^2\int_{\mathbb R^2}\chi\eps_k |u\eps-\wt u\eps_k|\,dx
729: %\le \beta\mu I.
730: %$$
731: %\end{proof}
732:
733: We now need a technical result before proving a convergence result. The result, which is a variant of
734: the Poincar\'e--Wirtinger inequality, can be established by an analogous proof.
735:
736: \begin{lem}
737: \label{PW-p}
738: There exists a constant $C$ such that
739: $$
740: \|v\|_{L^p(B)} \le C\,\|\nabla v\|_{L^p(B)^2}\qquad\forall\ v\in W^{1,p}(B) \text{ with }\int_{\Omega_0} v\,dx=0,
741: $$
742: where $1\le p<\infty$ and $B$ is any compact subset of $\mathbb R^2$ that contains $\Omega\eps$.
743: \end{lem}
744:
745: \begin{thm}
746: The sequence $(u\eps)$ converges weakly in $W^{1,p}(B)$, $1\le p<2$, toward the unique solution $u$
747: of Problem \eqref{Pb-Lim} in each ball $B$ containing $\overline\Omega\eps$.
748: \end{thm}
749:
750: \begin{proof}
751: For an integer $m$, we define a subset $B_m\eps$ of $B$ by
752: $$
753: B\eps_m = \{x\in B;\ 2^m\le \max\{|u_R\eps(x)|,|u_I\eps(x)|\}\le 2^{m+1}\}.
754: $$
755: Let $\psi_m$ stand for the truncature function defined by
756: $$
757: \psi_m(s) := \begin{cases}
758: 0 &\text{if}\quad 0\le s\le 2^m,\\
759: s-2^m &\text{if}\quad 2^m\le s\le 2^{m+1},\\
760: 2^m &\text{if}\quad 2^{m+1}\le s,
761: \end{cases}
762: $$
763: extended to $\mathbb R$ by oddity. Multiplying Equation \eqref{Pb-Ie-R-1} by $\psi_m(u_R\eps)$ and
764: Equation \eqref{Pb-Ie-R-2} by $\psi_m(u_I\eps)$,
765: integrating on $\mathbb R^2$, using the Green formula and summing up, we get
766: \begin{multline}
767: \int_{\mathbb R^2}\psi'_m(u_R\eps)\,|\nabla u_R\eps|^2\,dx +
768: \int_{\mathbb R^2}\psi'_m(u_I\eps)\,|\nabla u_I\eps|^2\,dx -
769: \beta\int_{\mathbb R^2}\chi_0 u_I\eps\psi_m(u_R\eps)\,dx \\
770: +\beta\int_{\mathbb R^2}\chi_0 u_R\eps\psi_m(u_I\eps)\,dx
771: - \beta\sum_{k=1}^2\int_{\mathbb R^2}\chi_k\eps(u_I\eps-\wt u_{I,k}\eps)\psi_m(u_R\eps)\,dx \\
772: + \beta\sum_{k=1}^2\int_{\mathbb R^2}\chi_k\eps(u_R\eps-\wt u_{R,k}\eps)\psi_m(u_I\eps)\,dx
773: = \int_{\mathbb R^2}r\eps\psi_m(u_R\eps)\,dx,\label{ident-1}
774: \end{multline}
775: where
776: $$
777: r\eps = \mu I\Big(\frac{\chi_1\eps}{|\Omega_1\eps|}-\frac{\chi_2\eps}{|\Omega_2\eps|}\Big).
778: $$
779: Note that we have
780: \begin{equation}
781: \|r\eps\|_{L^1(\mathbb R^2)}\le C.\label{bound-r}
782: \end{equation}
783: Since $\psi'_m\ge 0$ and $|\psi_m(u\eps)|\le 2^m$, we have by using \eqref{Estim-L1},
784: \begin{equation}
785: \frac 1{2^m}\int_{B_m\eps}|\nabla u\eps|^2\,dx \le C,\label{Est-1}
786: \end{equation}
787: where $C$ is independent of $\epsilon$ and $m$. Let $p$ denote a real number with
788: $1<p<2$. We have from the H\"older inequality
789: \begin{equation}
790: \int_{B_m\eps}|\nabla u\eps|^p\,dx \le \Big(\int_{B_m\eps}|\nabla u\eps|^2\,dx\Big)^{\frac p2}
791: |B\eps_m|^{1-\frac p2}.\label{Est-1a}
792: \end{equation}
793: Since $|u\eps|\ge 2^m$ on $B_m\eps$, we have by using the H\"older inequality,
794: $$
795: |B\eps_m|\le \frac 1{2^m}\int_{B\eps_m}|u\eps|\,dx
796: \le \frac 1{2^m}\Big(\int_{B\eps_m}|u\eps|^s\,dx\Big)^{\frac 1s}|B_m\eps|^{\frac 1{s'}}
797: $$
798: for all $s,s'\ge 1$ with $1/s + 1/s'=1$. Hence
799: $$
800: |B_m\eps|\le \frac 1{2^{ms}}\Big(\int_{B\eps_m}|u\eps|^s\,dx\Big).
801: $$
802: Using \eqref{Est-1a} and \eqref{Est-1} yields then
803: $$
804: \int_{B\eps_m}|\nabla u\eps|^p\,dx \le \frac C{2^{m(s(1-p/2)-p/2)}}
805: \Big(\int_{B\eps_m}|u\eps|^s\,dx\Big)^{1-\frac p2}.
806: $$
807: We choose here $s>p/(2-p)$ so that $s(1-p/2)-p/2>0$. Therefore
808: \begin{equation}
809: \sum_{m\ge 0}\int_{B_m\eps}|\nabla u\eps|^p\,dx \le
810: C\sum_{m\ge 0}\frac 1{2^{m(s(1-p/2)-p/2)}}
811: \Big(\int_{B_m\eps}|u\eps|^s\,dx\Big)^{1-\frac p2}.\label{Est-2}
812: \end{equation}
813: From the discrete H\"older inequality
814: $$
815: \sum_m a_mb_m \le \Big(\sum_m a_m^r\Big)^{\frac 1r}\Big(\sum_m b_m^{r'}\Big)^{\frac 1{r'}}
816: \quad\text{for }r,r'\ge 1,\ \frac 1r+\frac 1{r'}=1,
817: $$
818: Inequality \eqref{Est-2} yields
819: $$
820: \sum_{m\ge 0}\int_{B_m\eps}|\nabla u\eps|^p\,dx
821: \le C\,\Big(\sum_{m\ge 0}\frac 1{2^{mr(s(1-p/2)-p/2)}}\Big)^{\frac 1r}
822: \Big(\sum_{m\ge 0}\Big(\int_{B_m\eps}|u\eps|^s\,dx\Big)^{r'(1-p/2)}\Big)^{\frac 1{r'}}.
823: $$
824: Choosing $r'=2/(2-p)$, we obtain
825: \begin{equation}
826: \sum_{m\ge 0}\int_{B\eps_m}|\nabla u\eps|^p\,dx \le C\Big(\sum_{m\ge 0}\int_{B_m\eps}|u\eps|^s\,dx\Big)^{1-\frac p2}.
827: \label{Est-3}
828: \end{equation}
829: We next define
830: $$
831: \wt B\eps = \{x\in B;\ 0\le \max\,\{|u_R\eps(x)|,|u_I\eps(x)|\}\le 1\},
832: $$
833: which clearly implies
834: $$
835: B = \wt B\eps\cup (\bigcup_{m\ge 0}B_m\eps).
836: $$
837: In order to estimate $u\eps$ in $W^{1,p}(\wt B\eps)$, we define the truncation function
838: $$
839: T(s) = \begin{cases}
840: \phantom{-}1 &\text{if }s\ge 1\\
841: \phantom{-}s &\text{if }-1\le s\le 1\\
842: -1 &\text{if }s\le -1.
843: \end{cases}
844: $$
845: Multiplying Equation \eqref{Pb-Ie-R-1} by $T(u_R\eps)$, Equation \eqref{Pb-Ie-R-2} by $T(u_I\eps)$,
846: integrating on $\mathbb R^2$, using the Green formula and summing up, we obtain
847: \begin{multline*}
848: \int_{\mathbb R^2}T'(u_R\eps)|\nabla u_R\eps|^2\,dx +
849: \int_{\mathbb R^2}T'(u_I\eps)|\nabla u_I\eps|^2\,dx -
850: \beta\int_{\mathbb R^2}\chi_0 u_I\eps\, T(u_R\eps)\,dx\\
851: +\beta\int_{\mathbb R^2}\chi_0 u_R\eps\, T(u_I\eps)\,dx
852: - \beta\sum_{k=1}^2\int_{\mathbb R^2}\chi_k\eps(u_I\eps-\wt u_{I,k}\eps)\, T(u_R\eps)\,dx \\
853: + \beta\sum_{k=1}^2\int_{\mathbb R^2}\chi_k\eps(u_R\eps-\wt u_{R,k}\eps)\, T(u_I\eps)\,dx
854: = \int_{\mathbb R^2}r\eps\, T(u_R\eps)\,dx.
855: \end{multline*}
856: Using \eqref{Estim-L1}, the bound \eqref{bound-r} and the properties $|T(s)|\le 1$, $T'\ge 0$, we deduce
857: \begin{align*}
858: \int_{\wt B\eps}|\nabla u_R\eps|^2\,dx + \int_{\wt B\eps}|\nabla u_I\eps|^2\,dx
859: &\le \|r\eps\|_{L^1(\mathbb R^2)} + \beta\,\Big(\|u_I\eps\|_{L^1(\Omega_0)} + \|u_R\eps\|_{L^1(\Omega_0)}\\
860: &\qquad + \sum_{k=1}^2\|u_R\eps-\wt u\eps_{R,k}\|_{L^1(\Omega_k\eps)}
861: + \sum_{k=1}^2\|u_I\eps-\wt u\eps_{I,k}\|_{L^1(\Omega_k\eps)}\Big)\\
862: &\le C.
863: \end{align*}
864: This yields
865: \begin{equation}
866: \int_{\wt B\eps}|\nabla u\eps|^p\,dx \le C.\label{Est-4}
867: \end{equation}
868: Combining \eqref{Est-4} and \eqref{Est-3}, we have then in particular
869: \begin{equation}
870: \int_B|\nabla u\eps|^p\,dx \le C\,\left(1+\Big(\int_B|u\eps|^s\,dx\Big)^{1-\frac p2}\right)
871: \quad\text{for }s>\frac p{2-p}.\label{est-p-1}
872: \end{equation}
873: We use successively the Gagliardo-Nirenberg (see Friedman \cite{Friedman}, p.~27) and Lemma \ref{PW-p}
874: to get
875: $$
876: \Big(\int_B |u\eps|^s\,dx\Big)^{\frac 1s} \le C\Big(\int_B|\nabla u\eps|^p\,dx\Big)^{\frac\lambda p}
877: \Big(\int_B|u\eps|\,dx\Big)^{1-\lambda},
878: $$
879: with $0\le\lambda\le 1$ and such that
880: $$
881: \lambda = \frac{1- \frac 1s}{\frac 32-\frac 1p}.
882: $$
883: Using \eqref{Estim-L1} yields
884: $$
885: \int_B |u\eps|^s\,dx\le C\,\Big(\int_B|\nabla u\eps|^p\Big)^{\frac{\lambda s}p},
886: $$
887: where $C=C(B)$.
888: Whence, from \eqref{est-p-1},
889: \begin{equation}
890: \int_B|\nabla u\eps|^p\,dx \le C\,\left(1+\Big(\int_B|\nabla u\eps|^p\,dx\Big)^{\frac{\lambda s(1-p/2)}{p}}\right),
891: \label{est-p-2}
892: \end{equation}
893: for all $s>p/(2-p)$ and $0\le\lambda\le 1$. Let us choose for $s$ the value
894: $(1+p)/(2-p)$ that yields
895: $$
896: \frac{\lambda s}p\Big(1-\frac p2\Big) = \frac{2-p}{3p-2} < 1 \quad\text{ for }1<p<2.
897: $$
898: We then deduce from \eqref{est-p-2} the bound
899: $$
900: \int_B|\nabla u\eps|^p\,dx \le C,
901: $$
902: with $C=C(B)$.
903: Therefore, the sequence $(u\eps)$ is bounded in $W^{1,p}(B)$ for all balls $B$ that contain $\overline\Omega\eps$.
904: From this, we deduce that a subsequence of $(u\eps)$, still denoted by $(u\eps)$, satisfies
905: $$
906: u\eps\rightharpoonup u^*\qquad\text{in }W^{1,p}(B).
907: $$
908: From the compactness of the imbedding $W^{1,p}(B)\subset L^q(B)$ for $1\le q<2p/(2-p)$, we have
909: $$
910: u\eps\to u^*\qquad\text{in }L^q(B)\quad\text{for }1\le q<\frac{2p}{2-p}.
911: $$
912: Theorem \ref{ErrEst-L2} implies $u^*=u$. Thus, the subsequence of $(u^\epsilon)$ converges
913: strongly to $u$ in $L^q(B)$.
914: Let us show that the convergence to the solution of \eqref{Pb-Lim} takes place in $W^{1,p}(B)$--weak for all bounded
915: balls $B$ of $\mathbb R^2$. We have from \eqref{Pb-Ie} for all
916: $\varphi\in W^{1,p'}(B)$ extended by zero outside $B$, with $1/p+1/p'=1$,
917: $$
918: \int_B\nabla u\eps\cdot\nabla\overline\varphi\,dx + i\beta\sum_{k=1}^2\int_{\Omega_k\eps}(u\eps-\wt u\eps_k)\overline\varphi
919: + i\beta\int_{\Omega_0}u\eps\overline\varphi\,dx
920: = \frac{\mu I}{|\Omega_1\eps|}\int_{\Omega_1\eps}\overline\varphi\,dx
921: - \frac{\mu I}{|\Omega_2\eps|}\int_{\Omega_2\eps}\overline\varphi\,dx.
922: $$
923: We have
924: \begin{equation}
925: \label{lim-1}
926: \int_B\nabla u\eps\cdot\nabla\overline\varphi\,dx\to\int_B\nabla u\cdot\nabla\overline\varphi\,dx.
927: \end{equation}
928: Next, using \eqref{Estim-L2}, we have for $k=1,2$,
929: $$
930: \big|\int_{\Omega_k\eps}(u\eps-\wt u\eps_k)\overline\varphi\,dx\Big|\le
931: \|u\eps-\wt u\eps_k\|_{L^2(\Omega_k\eps)}\,\|\varphi\|_{L^2(\Omega_k\eps)}\le C\epsilon^{\frac 12}\,\|\varphi\|_{L^2(\Omega_k\eps)}.
932: $$
933: Therefore
934: \begin{equation}
935: \label{lim-2}
936: \int_{\Omega_k\eps}(u\eps-\wt u\eps_k)\,\overline\varphi\,dx\to 0.
937: \end{equation}
938: For the term involving $\Omega_0$, we deduce from Lemma \ref{ErrEst-L2-A},
939: \begin{equation}
940: \label{lim-3}
941: \int_{\Omega_0}u\eps\,\overline\varphi\,dx\to \int_{\Omega_0} u\overline\varphi\,dx.
942: \end{equation}
943: Finally, since $p'>2$, then we have the imbedding of $W^{1,p'}(B)$ into $C^0(\overline B)$,
944: which implies
945: \begin{equation}
946: \label{lim-4}
947: \frac{\mu I}{|\Omega_1\eps|}\int_{\Omega_1\eps}\overline\varphi\,dx
948: - \frac{\mu I}{|\Omega_2\eps|}\int_{\Omega_2\eps}\overline\varphi\,dx
949: \to \mu I\overline\varphi(z_1) - \mu I\overline\varphi(z_2).
950: \end{equation}
951: Collecting \eqref{lim-1}--\eqref{lim-4}, we find for $u$ the equation
952: $$
953: \int_B\nabla u\cdot\nabla\overline\varphi\,dx + i\beta\int_{\Omega_0}u\overline\varphi\,dx
954: =\mu I\,(\overline\varphi(z_1) - \overline\varphi(z_2)).
955: $$
956: This implies that $u$ satisfies the first equation of Problem \eqref{Pb-Lim} on $B$.
957: Thanks to Lemma \ref{Uniqueness}, the whole sequence $(u\eps)$ converges to $u$ weakly in $W^{1,p}(B)$ and strongly
958: in $L^q(B)$, for $1\le q\le 2p/(2-p)$.
959: \end{proof}
960:
961: Let us conclude by some remarks:
962:
963: \begin{enumerate}
964: \item It is clear that the analysis carried out in this paper can be easily extended
965: to the case where the physical properties $\mu$ and $\sigma$ are not constant. We shall
966: however assume, in this case, that the magnetic permeability is a $W^{1,\infty}$ function.
967: This is necessary for $H^2$ regularity results.
968: \item The obtained results are generalizable to an arbitrary number of (``thick" or ``thin") conductors.
969: \item In the particular case where no ``thick" conductor is present (\emph{i.e.} $\Omega_0=\emptyset$),
970: the limit problem becomes
971: $$
972: -\Delta u = \mu I(\delta_{z_1}-\delta_{z_2})\qquad\text{in }\mathbb R^2.
973: $$
974: Clearly, the solution of this equation is given by
975: $$
976: u(x) = \frac{\mu I}{2\pi}\,\log\frac{|x-z_2|}{|x-z_1|},\qquad x\in\mathbb R^2.
977: $$
978:
979: \end{enumerate}
980:
981: \bibliographystyle{unsrt}
982: \begin{thebibliography}{10}
983:
984: \bibitem{B}
985: {H.~Brezis,}
986: {\em Analyse fonctionnelle}, Masson, Paris, 1983.
987:
988: \bibitem{BG}
989: {L.~Boccardo, T.~Gallou\"et,}
990: {\em Non-linear elliptic and parabolic equations involving measure data,}
991: J. Funct. Anal., Vol. 87 (1989) 149--169.
992:
993: \bibitem{DL}
994: {A.~Damlamian, Ta Tsien Li,}
995: {\em Comportement limite des solutions de certains probl\`emes mixtes pour les \'equations paraboliques},
996: J. Math. Pures et Appliqu\'ees, 61 (1982) 113--130.
997:
998: \bibitem{Friedman}
999: {A. Friedman,}
1000: {\em Partial Differential Equations}, Holt, Rinehart and Winston, Inc., 1969.
1001:
1002: \bibitem{GT}
1003: {D. Gilbarg, N.S. Trudinger,}
1004: {\em Elliptic Partial Differential Equations of Second Order}, Springer--Verlag, Berlin - Heidelberg - New York (1977).
1005:
1006: \bibitem{LM}
1007: {J.-L. Lions, E.~Magenes},
1008: {\em Probl\`emes aux limites non homog\`enes et applications}, Tome I, Dunod, Paris, 1968.
1009:
1010: \bibitem{Murat}
1011: {F.~Murat},
1012: {\em Soluciones renormalizadas de EDP elipticas non lineales},
1013: Preprints of the Laboratoire Jacques-Louis Lions No. 93023, Universit\'e Pierre et Marie Curie, 1993.
1014:
1015: \bibitem{Necas}
1016: {J.~Ne\v{c}as,}
1017: {\em Les m\'ethodes directes en th\'eorie des \'equations elliptiques},
1018: Masson, Paris (1967).
1019:
1020: \bibitem{Nedelec}
1021: {J.-C. N\'ed\'elec,}
1022: {\em Notions sur les \'equations int\'egrales de la physique},
1023: Centre de Math\'ematiques Appliqu\'ees, \'Ecole Polytechnique, Palaiseau (1977).
1024:
1025: \bibitem{RT} {J.~Rappaz, R.~Touzani,}
1026: {\em On a two--dimensional Magnetohydrodynamic problem, I. Modelling and analysis},
1027: Mod\'elisation Math\'ematique et Analyse Num\'erique, Vol. 26, No. 2 (1992) 347--364.
1028:
1029: \end{thebibliography}
1030:
1031: %\newpage
1032: %\section*{Appendix\\ Proof of Lemma \ref{PW-p}}
1033: %
1034: %We prove this result \emph{ab absurdo}. Let us assume that there exists a sequence $(v_n)$ of functions
1035: %of $W^{1,p}(B)$ such that
1036: %$$
1037: %\|v_n-\overline v_n\|_{L^p(B)} > n\,\|\nabla v_n\|_{L^p(B)}.
1038: %$$
1039: %Let us define
1040: %$$
1041: %w_n = \frac{v_n-\overline v_n}{\|v_n-\overline v_n\|_{L^p(B)}}.
1042: %$$
1043: %We have then
1044: %\begin{equation}
1045: %1 = \|w_n\|_{L^p(B)} > n\,\|\nabla w_n\|_{L^p(B)}.\label{Ineq-1}
1046: %\end{equation}
1047: %We deduce that the sequence $(w_n)$ is bounded in $W^{1,p}(B)$. Therefore, there exists a subsequence,
1048: %still denoted by $(w_n)$ such that $w_n\rightharpoonup w$ in $W^{1,p}(B)$ and then
1049: %$w_n\to w$ in $L^p(B)$. From \eqref{Ineq-1}, we obtain that $\nabla w_n\to 0$ in $L^p(B)$, and then using
1050: %\eqref{Ineq-1}, for integers $m$ and $n$,
1051: %$$
1052: %\|w_m-w_n\|^p_{W^{1,p}(B)} = \|w_m-w_n\|^p_{L^p(B)} + \|\nabla w_m-\nabla w_n\|^p_{L^p(B)}\Cv{m,n\to\infty} 0.
1053: %$$
1054: %The sequence $(w_n)$ is thus a Cauchy sequence in $W^{1,p}(B)$, and then $w_n$ converges toward a function $z\in W^{1,p}(B)$.
1055: %In particular, $(w_n)$ converges to $z$ in $L^p(B)$ and then $z=w$.
1056: %
1057: %Now, we can write from \eqref{Ineq-1},
1058: %$$
1059: %\|\nabla w\|_{L^p(B)} = \lim_{n\to\infty}\|\nabla w_n\|_{L^p(B)} \le \lim_{n\to\infty} \frac 1n = 0,
1060: %$$
1061: %and
1062: %\begin{align*}
1063: %&\overline w = \lim_{n\to\infty} \overline w_n = 0,\\
1064: %&\|v\|_{L^p(B)} = \lim_{n\to\infty} \|v_n\|_{L^p(B)} = 1.
1065: %\end{align*}
1066: %Since $\nabla w=0$ in $B$, then $w$ is constant in $B$, and since $\overline w=0$, then $w=0$ in $B$.
1067: %We have thus obtained
1068: %$$
1069: %v = 0,\ \|v\|_{L^p(B)} = 1,
1070: %$$
1071: %which is absurd.\qed
1072: \end{document}
1073: