This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A mathematical theory of microscale hydrodynamic cloaking and shielding by electro-osmosis

Hongyu Liu Department of Mathematics, City University of Hong Kong, Kowloon, Hong Kong, China.  Email: [email protected]; [email protected]    Zhi-Qiang Miao College of Mathematics, Hunan University, Changsha 410082, Hunan Province, China. Email: [email protected]    Guang-Hui Zheng Corresponding author. College of Mathematics, Hunan University, Changsha 410082, Hunan Province, China. Email: [email protected]; [email protected]
Abstract

In this paper, we develop a general mathematical framework for perfect and approximate hydrodynamic cloaking and shielding of electro-osmotic flow, which is governed by a coupled PDE system via the field-effect electro-osmosis. We first establish the representation formula of the solution of the coupled system using the layer potential techniques. Based on Fourier series, the perfect hydrodynamic cloaking and shielding conditions are derived for the control region with the cross-sectional shape being annulus or confocal ellipses. Then we further propose an optimization scheme for the design of approximate cloaks and shields within general geometries. The well-posedness of the optimization problem is proved. In particular, the condition that can ensure the occurrence of approximate cloaks and shields for general geometries are also established. Our theoretical findings are validated and supplemented by a variety of numerical results. The results in this paper also provide a mathematical foundation for more complex hydrodynamic cloaking and shielding.

1 Introduction

During the past 16 years, there has been rapid progress in rendering objects invisible by cloaking them with metamaterials in physics and mathematics subjects. One influential methodology to design metamaterials is the transformation-based approach. Since the pioneering works [16, 32, 22], many studies about cloaking based on the transformation theory appear in succession in various scientific areas, including acoustic waves [4, 14, 20, 25], conductive heat flux [13, 27], electromagnetic waves[7, 15, 17], stresses in an elastic medium [24, 33, 23], dc electric currents [37], and quantum mechanical matter waves [38]. Effectively, these cloaks are shells composed of metamaterials with a tailor-made distribution of the effective material parameters, determined by the invariance of governing equations under a transformation of the spatial coordinates. However, the requirement for inhomogeneous and anisotropic parameters makes it difficult to fabricate devices designed by transformation optics. Consequently, the feasibility of fabricating cloaks using composite natural materials has attracted great interest. For this purpose, scattering-cancellation technology has been developed and successfully used in electromagnetism [1] and other fields [11]. Generally speaking, this method can realize a similar function to transformation optics, while it only needs bilayer or monolayer structures and homogeneous isotropic bulk materials. In addition to the bulk materials, the metasurface cloak has also received much attention with the advantages of low weight and thinness. Instead of employing a shell, the metasurface cloak uses an ultrathin frequency-selective surface which is designed so that the induced currents along the surface cancel the scattering from the object to a cloak [2, 9, 10, 28]. Such a strategy is particularly relevant at microwave frequencies at which frequency-selective surfaces are readily available and easy to fabricate [26, 34].

In fluid, hydrodynamic cloaking has been a subject of intense research all the time. There are reports in the physics literature. The first systematic analysis of hydrodynamic cloaking is due to Urzhumov and Smith [35], based on transformation theory. Later, they further extended the analysis to the case of a two-dimensional flow around a cylinder in a medium with mixed positive and negative permeability [36]. For the high Reynolds numbers, it was demonstrated how to confine the water waves in a certain area for cloaking regions [40, 39]. More recently, another hydrodynamic model has been used to control fluid motion, i.e., the creeping flow or Stokes flow (Reynolds number Re1Re\ll 1 ) inside two parallel plates, and a series of experimental works have been reported [29, 30, 31, 8]. The gap between two plates is much smaller than the characteristic length of the other two spatial dimensions, so the model is also called the Hele-Shaw flow or Hele-Shaw cell [18]. By using these microfluidic structures, Park et al [29, 30] have demonstrated by simulation that such anisotropic fluid media can be mimicked within the cloak, thereby producing the desired hydrodynamic cloaking effect. We should mention that a transformed fluid medium is not yet physically realizable; proof of concepts is so far by numerical simulation. The implementation of such a transformation-based fluid-flow cloak relied on 10 layers of metamaterial microstructures, as well as a fluid background filled with microcylinders to avoid impedance mismatch. Hence, there has been a growing interest in realizing metamaterial-less hydrodynamic cloaks.

In particular, in [8] Boyko et al present a new theoretical approach and an experimental demonstration of hydrodynamic cloaking and shielding in a Hele-Shaw cell that does not rely on metamaterials. In analogy to optics, “hydrodynamic cloaking” refers to a state wherein the (flow) field external to some region around an object is unaffected by the presence of the object. “Hydrodynamic cloaking” refers to the elimination of hydrodynamic forces on the object. The mechanism is based on the fact that flow fields on small scales are completely governed by momentum sources at boundaries and can be linearly superposed. An effective way to create such momentum sources is electro-osmotic flow (EOF)—an electrokinetic phenomenon that generates flow due to the interaction of an applied electric field with the native or induced net charge at liquid-solid interfaces [19]. The fluid pressure in the Hele-Shaw cell also satisfies a Laplacian-type equation, which has the analytical solutions for circular cylinder objects in the polar coordinate. With analytical solutions, Boyko et al first achieve both cloaking and shielding conditions for circular cylinder objects. Further, they establish approximate cloaking and shielding for the more complex shape of a slight deform from a perfectly cylindrical shape using shape perturbation theory.

In this paper, we greatly extend the results of Boyko et al [8] and establish a more general mathematical framework. For details, the contributions of this work are fourfold:

  • Based on the physics literature [8], we give the rigorous mathematical definition of hydrodynamic shielding and cloaking.

  • The representation formula of solution of the coupled system is obtained firstly, which gives a quantitative description of the hydrodynamic model.

  • By using the uniform approach–layer potential theory, we establish sharp conditions that can ensure the occurrence of the hydrodynamic cloaking and shielding for annulus (radial case) and confocal ellipses (non-radial case). Especially, for the confocal ellipses case which is not considered in [8], we introduce additional elliptic coordinates technique to overcome the difficulty caused by non-radial geometry.

  • For more general geometry, we further propose an optimization method to design the hydrodynamic shielding and cloaking, and prove the well-posedness of optimization problem. More important, the condition that can ensure the occurrence of approximate cloaks and shields for arbitrary-geometry are also established. A large amount of numerical experiments, which contains smooth objects, non-smooth objects and multiple objects, indicates that the optimized zeta potential can achieve the hydrodynamic shielding and cloaking effectively.

The paper is organized in the following way. We begin with the mathematical setting of the problem and statement of the main results in Section 2. In Section 3, we first present some preliminary knowledge on boundary layer potentials and then establish the representation formula of solution of the governing equations. Section 4 is devoted to the study of the perfect and approximate cloaking and shielding conditions by the analytical method and the optimization method, respectively. In Section 5, we conduct numerical experiments to corroborate our theoretical findings. The paper is concluded in Section 6 with some relevant discussions.

2 Mathematical setting of the problem and statement of the main results

To begin, we consider the creeping flow of a viscous fluid of density ρ\rho, viscosity μ\mu, and dielectric permittivity ε\varepsilon within a narrow gap h~\tilde{h} between two parallel plates of length L~\tilde{L} and width W~\tilde{W} forming a Hele-Shaw configuration in 3\mathbb{R}^{3}, as shown in Figure 2.1(a). We employ a Cartesian coordinate system x~=(x~1,x~2,x~3)3\tilde{x}=(\tilde{x}_{1},\tilde{x}_{2},\tilde{x}_{3})\in\mathbb{R}^{3}, where the x~1\tilde{x}_{1} and x~2\tilde{x}_{2} axes lie at the lower plane and the x~3\tilde{x}_{3} axis is perpendicular thereto. Let ζ~L=ζ~L(x~)\tilde{\zeta}^{L}=\tilde{\zeta}^{L}(\tilde{x}) and ζ~U=ζ~U(x~)\tilde{\zeta}^{U}=\tilde{\zeta}^{U}(\tilde{x}) be an arbitrary zeta-potential distribution in the lower and upper plates. Let 𝒗~=(𝒖~(x~,t~),w~(x~,t~))\tilde{\bm{v}}=(\tilde{\bm{u}}(\tilde{x},\tilde{t}),\tilde{w}(\tilde{x},\tilde{t})) and p~=p~(x~)\tilde{p}=\tilde{p}(\tilde{x}) denote the velocity field and the pressure, respectively, of the fluid. Here 𝒖~(x~,t~)\tilde{\bm{u}}(\tilde{x},\tilde{t}) is the in-plane velocity field. When an electrostatic in-plane electric field 𝑬~\tilde{\bm{E}} is applied parallel to the plates, the fluid motion is then governed by the continuity and momentum equations

~𝒗~=0,ρ(𝒗~t~+𝒗~~𝒗~)=~p~+μΔ~𝒗~,\tilde{\nabla}\cdot\tilde{\bm{v}}=0,\qquad\rho\Big{(}\frac{\partial\tilde{\bm{v}}}{\partial\tilde{t}}+\tilde{\bm{v}}\cdot\tilde{\nabla}\tilde{\bm{v}}\Big{)}=-\tilde{\nabla}\tilde{p}+\mu\tilde{\Delta}\tilde{\bm{v}},

with the Helmholtz–Smoluchowski slip boundary conditions

𝒖~|x~3=0=εζ~L𝑬~μ,𝒖~|x~3=h~=εζ~U𝑬~μ.\tilde{\bm{u}}|_{\tilde{x}_{3}=0}=-\frac{\varepsilon\tilde{\zeta}^{L}\tilde{\bm{E}}}{\mu},\qquad\tilde{\bm{u}}|_{\tilde{x}_{3}=\tilde{h}}=-\frac{\varepsilon\tilde{\zeta}^{U}\tilde{\bm{E}}}{\mu}.

These equations contain three independent dimensional parameters, the density ρ\rho, the viscosity μ\mu and the dielectric permittivity ε\varepsilon, which are both constant and assumed to be known. For convenience in what follows, we mark the dimensional variables that appear in these equations with a tilde, for instance, 𝒖~\tilde{\bm{u}}, p~\tilde{p}, and so on. In addition, we also denote the dimensional gradient and Laplace operator as ~\tilde{\nabla} and Δ~\tilde{\Delta}.

By making use of the Helmholtz–Smoluchowski slip condition, we have implicitly assumed that surface conduction is negligible and thus consider asymptotically small Dukhin numbers. Under this assumption, the fluid in the bulk is electrically neutral and the electric field 𝑬~\tilde{\bm{E}} is solenoidal, i.e., ~𝑬~=0\tilde{\nabla}\cdot\tilde{\bm{E}}=0. The electric field can be expressed through an electrostatic potential φ~\tilde{\varphi}, 𝑬~=~φ~\tilde{\bm{E}}=-\tilde{\nabla}\tilde{\varphi}, that is governed by the Laplace equation Δφ~=0\Delta\tilde{\varphi}=0, which satisfies the insulation boundary conditions on the walls, φ~x~3|x~3=0,h~=0\frac{\partial\tilde{\varphi}}{\partial\tilde{x}_{3}}|_{\tilde{x}_{3}=0,\tilde{h}}=0.

In microscale flows, fluidic inertia is commonly negligible compared to viscous stresses. Further, the gap is narrow. Therefore, we restrict our analysis to shallow geometries (h~L~,W~\tilde{h}\ll\tilde{L},\tilde{W}) and neglect fluidic inertia, represented by a small reduced Reynolds number. Applying the lubrication approximation, we average over the depth of the cell and reduce the analysis to a two-dimensional problem in 2\mathbb{R}^{2}. The governing equations for the depth-averaged velocity ~𝒖aver\bm{\tilde{}}{\bm{u}}_{aver}, the pressure p~\tilde{p}, and the electrostatic potential φ~\tilde{\varphi} in x~1\tilde{x}_{1}x~2\tilde{x}_{2} plane are (see [8] )

𝒖~aver=h~212μ~p~+𝒖~slip,Δ~p~=12εh~2~φ~~ζ~meanandΔ~φ~=0,\tilde{\bm{u}}_{aver}=-\frac{\tilde{h}^{2}}{12\mu}\tilde{\nabla}\tilde{p}+\tilde{\bm{u}}_{slip},\quad\tilde{\Delta}\tilde{p}=\frac{12\varepsilon}{\tilde{h}^{2}}\tilde{\nabla}\tilde{\varphi}\cdot\tilde{\nabla}\tilde{\zeta}_{mean}\quad\mbox{and}\quad\tilde{\Delta}\tilde{\varphi}=0, (2.1)

where ~𝒖aver\bm{\tilde{}}{\bm{u}}_{aver} is the average value of 𝒖~\tilde{\bm{u}} over x~3\tilde{x}_{3} by integration, 𝒖~slip=ε~ζ~μ~~φ~\tilde{\bm{u}}_{slip}=\frac{\tilde{\varepsilon}\langle\tilde{\zeta}\rangle}{\tilde{\mu}}\tilde{\nabla}\tilde{\varphi} is the depth-averaged Helmholtz-Smoluchowski slip velocity, ζmean{\zeta}_{mean} is the arithmetic mean value of the zeta potential on the lower and upper plates, i.e., ζmean=(ζ~L+ζ~U)/2{\zeta}_{mean}=(\tilde{\zeta}^{L}+\tilde{\zeta}^{U})/2. In the later analysis, we assume the zeta potential on the lower and upper plates is same. Scaling by the characteristic dimensions, we introduce the following dimensionless equations:

𝒖aver=112pζmeanφ,Δp=12φζmeanandΔφ=0,\bm{u}_{aver}=-\frac{1}{12}\nabla p-\zeta_{mean}\nabla\varphi,\quad\Delta p=-12\nabla\varphi\cdot\nabla\zeta_{mean}\quad\mbox{and}\quad\Delta\varphi=0, (2.2)

where 𝒖aver\bm{u}_{aver}, pp, φ\varphi and ζmean\zeta_{mean} are non-dimensional normalized variables.

Refer to caption
Refer to caption
Figure 2.1: Schematic illustration of the Hele-Shaw configuration. (a) the three-dimensional electro-osmosis model. (b) the reduced two-dimensional problem.

In addition to these equations and the geometry of the flow domain, we also require the boundary conditions that apply at the boundaries of the domain to completely characterize the flow. These boundary conditions include the form and magnitudes of the velocity on the left inlet and right outlet to the domain. In this paper, we mainly consider a pillar-shaped object with arbitrary cross-sectional shape confined between the walls of a Hele-Shaw cell and subjected to a pressure-driven flow with an externally imposed mean velocity u~ext\tilde{u}_{ext} and electric field E~\tilde{E} along the x~1\tilde{x}_{1}–axis, as shown in Figure 2.1. The reduced two-dimensional problem is shown in Figure 2.1(b). To cloak and shield the object hydrodynamically, we are concerned with the scattering by the object surrounded by a region, i.e., with exterior boundary value problems for the Laplace equation. We solve the problem assuming an unbounded domain, enabled by the fact that the boundaries of the chamber are located far from the cloaking and shielding region.

To mathematically state the problem, let Ω\Omega be a bounded domain in 2\mathbb{R}^{2} and let DD (object) be a domain whose closure is contained in Ω\Omega. Throughout this paper, we assume that Ω\Omega and DD are of class C1,αC^{1,\alpha} for some 0<α<10<\alpha<1. Let H(x)H(x) and P(x)P(x) be the harmonic function in 2\mathbb{R}^{2}, denoting the background electrostatic potential and pressure field. For a given constant parameter ζ0\zeta_{0}\in\mathbb{R}, the zeta potential distribution in 2D¯\mathbb{R}^{2}\setminus\overline{D} is given by

ζmean={ζ0in ΩD¯,0in 2Ω¯.\displaystyle\zeta_{mean}=\begin{cases}\displaystyle\zeta_{0}&\mbox{in }\Omega\setminus\overline{D},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle 0&\mbox{in }\mathbb{R}^{2}\setminus\overline{\Omega}.\end{cases}

We may consider the configuration as an insulation and no-penetration core coated by the shell (control region) ΩD¯\Omega\setminus\overline{D} with zeta potential ζ0\zeta_{0}. From the equations (2.2) and the assumption of unbounded domain, the governing equations for non-uniform electro-osmotic flow via a Hele-Shaw configuration is modeled as follows:

{Δφ=0in 2D¯,φν=0on D,φ=H(x)+O(|x|1)as |x|+,Δp=0in 2D¯,pν=0on D,p|+=p|on Ω,pν|+pν|=12ζ0φνon Ω,p=P(x)+O(|x|1)as |x|+,\displaystyle\begin{cases}\displaystyle\Delta\varphi=0&\mbox{in }\mathbb{R}^{2}\setminus\overline{D},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial\varphi}{\partial\nu}=0&\mbox{on }\partial D,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\varphi=H(x)+O(|x|^{-1})&\mbox{as }|x|\rightarrow+\infty,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\Delta p=0&\mbox{in }\mathbb{R}^{2}\setminus\overline{D},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial p}{\partial\nu}=0&\mbox{on }\partial D,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p|_{+}=p|_{-}&\mbox{on }\partial\Omega,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial p}{\partial\nu}\Big{|}_{+}-\frac{\partial p}{\partial\nu}\Big{|}_{-}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu}&\mbox{on }\partial\Omega,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=P(x)+O(|x|^{-1})&\mbox{as }|x|\rightarrow+\infty,\end{cases} (2.3)

where ν\frac{\partial}{\partial\nu} denote the outward normal derivative and we use the notation pν|±\frac{\partial p}{\partial\nu}\big{|}_{\pm} indicating

pν|±(x):=limt0+p(x±tν(x)),ν(x),xΩ,\frac{\partial p}{\partial\nu}\bigg{|}_{\pm}(x):=\lim_{t\rightarrow 0^{+}}\langle\nabla p(x\pm t\nu(x)),\nu(x)\rangle,\ \ x\in\partial\Omega,

where ν\nu is the outward unit normal vector to Ω\partial\Omega.

We are now in a position to introduce the definition of cloaking and shielding which play a central role in this paper.

Definition 2.1.

The triples {D,Ω;ζ0}\{D,\Omega;\zeta_{0}\} is said to be a perfect hydrodynamic cloaking if

𝒖aver=P/12in 2Ω¯,\bm{u}_{aver}=-\nabla P/12\quad\mbox{in }\mathbb{R}^{2}\setminus\overline{\Omega}, (2.4)

where 𝒖aver\bm{u}_{aver} is the dimensionless version of 𝒖~aver\tilde{\bm{u}}_{aver} defined in (2.1). If the notation "=""=" is replaced by """\approx", then it is called a near/approximate hydrodynamic cloaking.

Let the depth-averaged hydrodynamic force acting on the object be given by

𝑭=D𝝈νds(y),\bm{F}=\int_{\partial D}\bm{\sigma}\cdot\nu\mathrm{d}s(y), (2.5)

where 𝝈=pI\bm{\sigma}=-pI is the normalized stress tensor.

Definition 2.2.

The triples {D,Ω;ζ0}\{D,\Omega;\zeta_{0}\} is said to be a perfect hydrodynamic shielding if

𝑭=0on D.\bm{F}=0\quad\mbox{on }\partial D. (2.6)

If the notation "=""=" is replaced by """\approx", then it is called a near/approximate hydrodynamic shielding.

Outside the cloaking region, the pressure is related to the velocity field through 𝒖=p/12\langle\bm{u}\rangle=-\nabla p/12 subjected to the boundary condition p(x)=P(x)p(x)=P(x) as |x||x|\rightarrow\infty, and therefore, according to the Definition 2.1, the condition (2.4) can be expressed in terms of the pressure as

p(x)=P(x),x2Ω¯.\displaystyle p(x)=P(x),\quad x\in\mathbb{R}^{2}\setminus\overline{\Omega}. (2.7)

Similarly, from (2.5) it follows that the depth-averaged hydrodynamic force 𝑭\bm{F} vanishes provided

p(x)=0,xΩD¯.p(x)=0,\quad x\in\Omega\setminus\overline{D}. (2.8)

According to Definition 2.2, hydrodynamic shielding occurs. In this paper, we assume DD and Ω\Omega are known, and want to find appropriate zeta potential ζ0\zeta_{0} to achieve the hydrodynamic shielding and cloaking effectively.

Our main results in this paper are given in the following theorems. The proofs are given in Section 4.1 4.2 and 4.3, respectively.

Theorem 2.1.

Let the domains DD and Ω\Omega be concentric disks of radii rir_{i} and rer_{e}, where re>rir_{e}>r_{i}. Let H(x)=rneinθH(x)=r^{n}\mathrm{e}^{\mathrm{i}n\theta} and P(x)=12rneinθP(x)=12r^{n}\mathrm{e}^{\mathrm{i}n\theta} for n1n\geq 1. If

ζ0=2ri2nre2nre4nri4n,\zeta_{0}=\frac{2r_{i}^{2n}r_{e}^{2n}}{r_{e}^{4n}-r_{i}^{4n}}, (2.9)

then the perfect hydrodynamic cloaking condition (2.4) is satisfied. And if

ζ0=2re2nre2nri2n,\zeta_{0}=\frac{2r_{e}^{2n}}{r_{e}^{2n}-r_{i}^{2n}}, (2.10)

then the perfect hydrodynamic shielding condition (2.6) is satisfied.

Remark 2.1.

In [8], the authors consider the special case where the background electrostatic potential and pressure field are given by H(x)=rcos(θ)H(x)=r\cos(\theta) and P(x)=12rcos(θ)P(x)=12r\cos(\theta). In fact, the special case is included in Theorem 2.1 when n=1n=1. Compared with the linear background fields in [8], we extend the background electrostatic potential and pressure field to a more general harmonic function in Theorem 2.1.

Theorem 2.2.

Let the domains DD and Ω\Omega be confocal ellipses of elliptic radii ξi\xi_{i} and ξe\xi_{e}, where ξe>ξi\xi_{e}>\xi_{i}.

  • Let H(x)=cosh(nξ)cos(nη)H(x)=\cosh(n\xi)\cos(n\eta) and P(x)=12cosh(nξ)cos(nη)P(x)=12\cosh(n\xi)\cos(n\eta) for n1n\geq 1. If

    ζ0=sinh(nξi)(sinh(nξe)en(ξiξe)sinh(nξi))cosh(n(ξeξi)),\zeta_{0}=\frac{\sinh(n\xi_{i})}{\big{(}\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})\big{)}\cosh(n(\xi_{e}-\xi_{i}))}, (2.11)

    then the perfect hydrodynamic cloaking condition (2.4) is satisfied. If

    ζ0=enξesinh(nξe)en(ξiξe)sinh(nξi),\zeta_{0}=\frac{\mathrm{e}^{n\xi_{e}}}{\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})}, (2.12)

    then the perfect hydrodynamic shielding condition (2.6) is satisfied.

  • Let H(x)=sinh(nξ)sin(nη)H(x)=\sinh(n\xi)\sin(n\eta) and P(x)=12sinh(nξ)sin(nη)P(x)=12\sinh(n\xi)\sin(n\eta) for n1n\geq 1. If

    ζ0=cosh(nξi)(cosh(nξe)en(ξiξe)cosh(nξi))cosh(n(ξeξi)),\zeta_{0}=\frac{\cosh(n\xi_{i})}{\big{(}\cosh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\cosh(n\xi_{i})\big{)}\cosh(n(\xi_{e}-\xi_{i}))}, (2.13)

    then the perfect hydrodynamic cloaking condition (2.4) is satisfied. If

    ζ0=enξecosh(nξe)en(ξiξe)cosh(nξi),\zeta_{0}=\frac{\mathrm{e}^{n\xi_{e}}}{\cosh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\cosh(n\xi_{i})}, (2.14)

    then the perfect hydrodynamic shielding condition (2.6) is satisfied.

Remark 2.2.

If we change simultaneously the sign of the background field H(x)H(x) and P(x)P(x), then the cloaking and shielding structures will not be changed. However, if we only change the sign of one of them, then we need to change the sign of ζ0\zeta_{0} such that the cloaking and shielding occur. Further, we notice that

sinh(nξe)en(ξiξe)sinh(nξi)=cosh(nξe)en(ξiξe)cosh(nξi),\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})=\cosh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\cosh(n\xi_{i}),

which means the shielding structure is not changed in these cases. In Section 5, the observation is verified numerically when n=1n=1.

For the arbitrary-geometry for DD and Ω\Omega, by using the optimization approach, we shall establish a sufficient condition for the occurrence of approximate hydrodynamic cloaking (or shielding) in the following theorem.

Theorem 2.3.

Let pp be the solution to (2.3) with p|+=Pp|_{+}=P on Ω\partial\Omega (or p|=0p|_{-}=0 on Ω\partial\Omega), and the optimization functional (ζ0,opt)\mathcal{F}(\zeta_{0,opt}), 𝒢(ζ0,opt)\mathcal{G}(\zeta_{0,opt}) are defined by (4.41), (4.44) respectively. If there exists an optimal zeta potential ζ0,opt\zeta_{0,opt} such that (ζ0,opt)<ϵ2\mathcal{F}(\zeta_{0,opt})<\epsilon^{2} (or 𝒢(ζ0,opt)<ϵ2\mathcal{G}(\zeta_{0,opt})<\epsilon^{2}) where ϵ1\epsilon\ll 1, then the approximate hydrodynamic cloaking (or shielding) occurs, that is, |pP|<ϵ|p-P|<\epsilon in 2Ω¯\mathbb{R}^{2}\setminus\overline{\Omega} (or |p|<ϵ|p|<\epsilon in ΩD¯\Omega\setminus\overline{D}).

Remark 2.3.

It’s worth noting that, for general geometry, the perfect hydrodynamic cloaking and shielding are usually difficult to achieve. It is more closely related to the corresponding overdetermined boundary value problem (see Section 4.3 for details).

3 Layer potentials formulation

In this section, we first collect some preliminary knowledge on boundary layer potentials and then establish the representation formula of solution of the governing equations. Let Γi:=D\Gamma_{i}:=\partial D and Γe:=Ω\Gamma_{e}:=\partial\Omega. For Γ=Γi\Gamma=\Gamma_{i} or Γe\Gamma_{e}, let us now introduce the single-layer potential by

𝒮Γ[ϑ](x):=ΓG(x,y)ϑ(y)ds(y),x2,\displaystyle\mathcal{S}_{\Gamma}[\vartheta](x):=\int_{\Gamma}G(x,y)\vartheta(y)\mathrm{d}s(y),\quad x\in\mathbb{R}^{2},

where ϑL2(Γ)\vartheta\in L^{2}(\Gamma) is the density function, and the Green function G(x,y)G(x,y) to the Laplace in 2\mathbb{R}^{2} is given by

G(x,y)=12πln|xy|.\displaystyle G(x,y)=\frac{1}{2\pi}\ln|x-y|.

Then the following jump relation holds :

𝒮Γ[ϑ]ν|±(x)\displaystyle\frac{\partial\mathcal{S}_{\Gamma}[\vartheta]}{\partial\nu}\bigg{|}_{\pm}(x) =(±12I+𝒦Γ)[ϑ](x),xΓ,\displaystyle=\Big{(}\pm\frac{1}{2}I+\mathcal{K}^{*}_{\Gamma}\Big{)}[\vartheta](x),\ \ x\in\Gamma, (3.15)

where 𝒦Γ\mathcal{K}^{*}_{\Gamma} denote Neumann-Poincare´\acute{e} (NP) operator defined by

𝒦Γ[ϑ](x)=ΓG(x,y)ν(x)ϑ(y)ds(y).\displaystyle\mathcal{K}_{\Gamma}^{*}[\vartheta](x)=\int_{\Gamma}\frac{\partial G(x,y)}{\partial\nu(x)}\vartheta(y)\mathrm{d}s(y).

To establish the representation formula of the solution, we make use of the following lemma.

Lemma 3.1.

[3] The operator 12I+𝒦Γi:L02(Γi)L02(Γi)\frac{1}{2}I+\mathcal{K}^{*}_{\Gamma_{i}}:L_{0}^{2}(\Gamma_{i})\rightarrow L_{0}^{2}(\Gamma_{i}) is invertible. Here L02:={fL2(Γi);Γifds=0}L_{0}^{2}:=\{f\in L^{2}(\Gamma_{i});\int_{\Gamma_{i}}f\mathrm{d}s=0\}.

By the layer potential theory, we can obtain the following theorem using Lemma 3.1.

Theorem 3.2.

Let φ,pC2(2D¯)C(2D)\varphi,p\in C^{2}(\mathbb{R}^{2}\setminus\overline{D})\bigcap C(\mathbb{R}^{2}\setminus D) be the classical solution to (2.3). Then φ\varphi can be represented as

φ=H(x)+𝒮Γi[ϕ](x),x2D¯,\varphi=H(x)+\mathcal{S}_{\Gamma_{i}}[\phi](x),\quad x\in\mathbb{R}^{2}\setminus\overline{D}, (3.16)

where density function ϕL02(Γi)\phi\in L_{0}^{2}(\Gamma_{i}) satisfies

(12I+𝒦Γi)[ϕ]=Hν|Γi.\displaystyle\Big{(}\frac{1}{2}I+\mathcal{K}^{*}_{\Gamma_{i}}\Big{)}[\phi]=-\frac{\partial H}{\partial\nu}\Big{|}_{\Gamma_{i}}. (3.17)

And pp can be represented using the single-layer potentials SΓiS_{\Gamma_{i}} and SΓeS_{\Gamma_{e}} as follows:

p=P(x)+𝒮Γi[ψi](x)+𝒮Γe[ψe](x),x2D¯,p=P(x)+\mathcal{S}_{\Gamma_{i}}[\psi_{i}](x)+\mathcal{S}_{\Gamma_{e}}[\psi_{e}](x),\quad x\in\mathbb{R}^{2}\setminus\overline{D}, (3.18)

where the pair (ψi,ψe)L02(Γi)×L02(Γe)(\psi_{i},\psi_{e})\in L_{0}^{2}(\Gamma_{i})\times L_{0}^{2}(\Gamma_{e}) satisfy

{(12I+𝒦Γi)[ψi]+𝒮Γe[ψe]νi=Pνion Γi,ψe=12ζ0φνeon Γe.\displaystyle\begin{cases}\displaystyle\Big{(}\frac{1}{2}I+\mathcal{K}^{*}_{\Gamma_{i}}\Big{)}[\psi_{i}]+\frac{\partial\mathcal{S}_{\Gamma_{e}}[\psi_{e}]}{\partial\nu_{i}}=-\frac{\partial P}{\partial\nu_{i}}&\quad\mbox{on }\Gamma_{i},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\psi_{e}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu_{e}}&\quad\mbox{on }\Gamma_{e}.\end{cases} (3.19)

Furthermore, there exists a constant C=C(ζ0,D,Ω)C=C(\zeta_{0},D,\Omega) such that

ψiL2(Γi)+ψeL2(Γe)C(PL2(Γi)+φL2(Γe)).\displaystyle\|\psi_{i}\|_{L^{2}(\Gamma_{i})}+\|\psi_{e}\|_{L^{2}(\Gamma_{e})}\leq C\big{(}\|\nabla P\|_{L^{2}(\Gamma_{i})}+\left\|\nabla\varphi\right\|_{L^{2}(\Gamma_{e})}\big{)}. (3.20)
Proof.

Using the jump formula (3.15) for the normal derivative of the single layer potential, the boundary condition on the boundary Γi\Gamma_{i} satisfied by (3.16) reads (3.17). Thus by Lemma 3.1, the density function ϕ\phi exists uniquely. Similarly, the boundary and transmission conditions along the boundary Γi\Gamma_{i} and interface Γe\Gamma_{e} satisfied by (3.18) read (3.19). The density function ψe\psi_{e} was already expressed by the normal derivative of the electrostatic potential. Hence the density function ψe\psi_{e} exists uniquely. By Lemma 3.1, the density function ψi\psi_{i} also exists uniquely. The estimate (3.20) is a consequence of the solvability and the closed graph theorem. The proof is complete. ∎

The following corollary is a direct consequence of Theorem 3.2, and thus its proof is skipped.

Corollary 3.3.

Let φ\varphi and pp be the classical solution to (2.3). Then there exists a positive constant C=C(ζ0,D,Ω)C=C(\zeta_{0},D,\Omega) such that

φHloc1(2D¯)CHH1(2D¯),\displaystyle\|\varphi\|_{H_{loc}^{1}(\mathbb{R}^{2}\setminus\overline{D})}\leq C\|H\|_{H^{1}(\mathbb{R}^{2}\setminus\overline{D})},

and

pHloc1(2D¯)C(PH1(2D¯)+HH1(2D¯)).\displaystyle\|p\|_{H_{loc}^{1}(\mathbb{R}^{2}\setminus\overline{D})}\leq C\big{(}\|P\|_{H^{1}(\mathbb{R}^{2}\setminus\overline{D})}+\|H\|_{H^{1}(\mathbb{R}^{2}\setminus\overline{D})}\big{)}.

According to Theorem 3.2 and Corollary 3.3, we obtain the representation formula and quantitative estimation of solution of the electro-osmosis model. It will be used to deduce the hydrodynamic cloaking and shielding conditions in the following sections.

4 Hydrodynamic cloaking and shielding

This section is devoted to the proofs of Theorems 2.1 and 2.2, which determine the conditions for hydrodynamic cloaking and shielding. We first consider the microscale hydrodynamic cloaking via electro-osmosis when the domains DD and Ω\Omega are concentric disks and confocal ellipses in Subsections 4.1 and 4.2, respectively. We calculate the explicit form of the solution to (2.3) for this two special cases. In Subsection 4.3, we then consider hydrodynamic cloaking and shielding for general shapes via an optimization method.

4.1 Perfect hydrodynamic cloaking and shielding on the annulus

Throughout this subsection, we set D:={|x|<ri}D:=\{|x|<r_{i}\} and Ω:={|x|<re}\Omega:=\{|x|<r_{e}\}, where re>rir_{e}>r_{i}. For each integer nn and a=i,ea=i,e, one can easily see that (cf. [5])

𝒮Γ[einθ](x)={ra2n(rra)neinθ,|x|=r<ra,ra2n(rar)neinθ,|x|=r>ra,\displaystyle\mathcal{S}_{\Gamma}[e^{\mathrm{i}n\theta}](x)=\begin{cases}\displaystyle-\frac{r_{a}}{2n}\Big{(}\frac{r}{r_{a}}\Big{)}^{n}e^{\mathrm{i}n\theta},\quad&|x|=r<r_{a},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle-\frac{r_{a}}{2n}\Big{(}\frac{r_{a}}{r}\Big{)}^{n}e^{\mathrm{i}n\theta},\quad&|x|=r>r_{a},\end{cases} (4.21)

and

𝒦Γ[einθ](x)=0,n0.\mathcal{K}_{\Gamma}^{*}[e^{\mathrm{i}n\theta}](x)=0,\quad\forall\ n\neq 0. (4.22)

We begin with the proof of Theorem 2.1.

Proof of Theorem 2.1.

Let H(x)=rneinθH(x)=r^{n}\mathrm{e}^{\mathrm{i}n\theta} for n1n\geq 1. From Theorem 3.2, we have

φ=H(x)+𝒮Γi[ϕ](x),x2D¯,\varphi=H(x)+\mathcal{S}_{\Gamma_{i}}[\phi](x),\quad x\in\mathbb{R}^{2}\setminus\overline{D},

where

(12I+𝒦Γi)[ϕ]=Hr|r=ri.\displaystyle\Big{(}\frac{1}{2}I+\mathcal{K}^{*}_{\Gamma_{i}}\Big{)}[\phi]=-\frac{\partial H}{\partial r}\Big{|}_{r=r_{i}}.

By straightforward calculations and using (4.22), we can obtain

ϕ=2nrin1einθ.\displaystyle\phi=-2nr_{i}^{n-1}e^{\mathrm{i}n\theta}. (4.23)

Substituting (4.23) into (3.16) and using (4.21), we have the solution to (2.3)

φ=(rn+ri2nrn)einθ.\displaystyle\varphi=\Big{(}r^{n}+\frac{r_{i}^{2n}}{r^{n}}\Big{)}e^{\mathrm{i}n\theta}. (4.24)

Let P(x)=12rneinθP(x)=12r^{n}\mathrm{e}^{\mathrm{i}n\theta} for n1n\geq 1. By (3.19), (4.21), (4.22), and (4.24), if

[ψiψe]=[ψinψen]einθ,\displaystyle\left[\begin{array}[]{ccc}\psi_{i}\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \psi_{e}\end{array}\right]=\left[\begin{array}[]{cc}\psi_{i}^{n}\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \psi_{e}^{n}\end{array}\right]\mathrm{e}^{\mathrm{i}n\theta},

then we have

{ψi=12nrin1re2n((re2nri2n)ζ02re2n)einθ,ψe=12nζ0(ren1ri2nren+1)einθ.\displaystyle\begin{cases}\displaystyle\psi_{i}=12n\frac{r_{i}^{n-1}}{r_{e}^{2n}}\Big{(}(r_{e}^{2n}-r_{i}^{2n})\zeta_{0}-2r_{e}^{2n}\Big{)}\mathrm{e}^{\mathrm{i}n\theta},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\psi_{e}=12n\zeta_{0}\Big{(}r_{e}^{n-1}-\frac{r_{i}^{2n}}{r_{e}^{n+1}}\Big{)}\mathrm{e}^{\mathrm{i}n\theta}.\end{cases} (4.25)

Substituting (4.25) into (3.18) and using (4.21), we can find that the solution to (2.3) is

p={6re2n((re2nri2n)ζ02re2n)(rn+ri2nrn)einθ,ri<r<re,12rneinθ6re2n((re4nri4n)ζ02ri2nre2n)1rneinθ,r>re.\displaystyle p=\begin{cases}\displaystyle-\frac{6}{r_{e}^{2n}}\Big{(}(r_{e}^{2n}-r_{i}^{2n})\zeta_{0}-2r_{e}^{2n}\Big{)}\Big{(}r^{n}+\frac{r_{i}^{2n}}{r^{n}}\Big{)}\mathrm{e}^{\mathrm{i}n\theta},\quad r_{i}<r<r_{e},\vspace{1em}\\ \displaystyle 12r^{n}\mathrm{e}^{\mathrm{i}n\theta}-\frac{6}{r_{e}^{2n}}\Big{(}(r_{e}^{4n}-r_{i}^{4n})\zeta_{0}-2r_{i}^{2n}r_{e}^{2n}\Big{)}\frac{1}{r^{n}}\mathrm{e}^{\mathrm{i}n\theta},\quad r>r_{e}.\end{cases} (4.26)

From the second equation in (4.26), it follows that the outer flow and pressure satisfy the cloaking conditions (2.7) and (2.4) provided

ζ0=2ri2nre2nre4nri4n.\displaystyle\zeta_{0}=\frac{2r_{i}^{2n}r_{e}^{2n}}{r_{e}^{4n}-r_{i}^{4n}}.

From the first equation in (4.26), it follows that the inner pressure vanishes for ri<r<rer_{i}<r<r_{e} provided

ζ0=2re2nre2nri2n.\displaystyle\zeta_{0}=\frac{2r_{e}^{2n}}{r_{e}^{2n}-r_{i}^{2n}}.

Hence the depth-averaged hydrodynamic force 𝑭\bm{F} vanishes. The proof is complete. ∎

4.2 Perfect hydrodynamic cloaking and shielding on the confocal ellipses

To consider the perfect hydrodynamic cloaking and shielding on the confocal ellipses we introduce the elliptic coordinates (ξ,η)(\xi,\eta) so that x=(x1,x2)x=(x_{1},x_{2}) in Cartesian coordinates are defined by

x1=lcoshξcosη,x2=lsinhξsinη,ξ0,0η2π,\displaystyle x_{1}=l\cosh\xi\cdot\cos\eta,\quad x_{2}=l\sinh\xi\cdot\sin\eta,\quad\xi\geq 0,\quad 0\leq\eta\leq 2\pi,

where 2l2l is the focal distance. Suppose that D=Γi\partial D=\Gamma_{i} and Ω=Γe\partial\Omega=\Gamma_{e} are given by

Γi={(ξ,η):ξ=ξi}andΓe={(ξ,η):ξ=ξe},\Gamma_{i}=\{(\xi,\eta):\xi=\xi_{i}\}\quad\mbox{and}\quad\Gamma_{e}=\{(\xi,\eta):\xi=\xi_{e}\},

where the number ξi\xi_{i} and ξe\xi_{e} are called the elliptic radius Γi\Gamma_{i} and Γe\Gamma_{e}, respectively.

Let Γ={(ξ,η):ξ=ξa}\Gamma=\{(\xi,\eta):\xi=\xi_{a}\} for a=i,ea=i,e. One can see easily that the length element ds\mathrm{d}s and the outward normal derivative ν\frac{\partial}{\partial\nu} on Γ\Gamma are given in terms of the elliptic coordinates by

ds=γdηandν=γ1ξ,\mathrm{d}s=\gamma\mathrm{d}\eta\quad\mbox{and}\quad\frac{\partial}{\partial\nu}=\gamma^{-1}\frac{\partial}{\partial\xi},

where

γ=γ(ξa,η)=lsinh2ξa+sin2η.\gamma=\gamma(\xi_{a},\eta)=l\sqrt{\sinh^{2}\xi_{a}+\sin^{2}\eta}.

To proceed, it is convenient to use the following notations: for a=i,ea=i,e and n=1,2,n=1,2,\dots,

βnc,a:=γ(ξa,η)1cos(nη)andβns,a:=γ(ξa,η)1sin(nη).\displaystyle\beta_{n}^{c,a}:=\gamma(\xi_{a},\eta)^{-1}\cos(n\eta)\quad\mbox{and}\quad\beta_{n}^{s,a}:=\gamma(\xi_{a},\eta)^{-1}\sin(n\eta).

For a nonnegative integer nn and a=i,ea=i,e, it is proved in [12, 6] that

𝒮Γ[βnc,a](x)={cosh(nξ)nenξacos(nη),ξ<ξa,cosh(nξa)nenξcos(nη),ξ>ξa,\displaystyle\mathcal{S}_{\Gamma}[\beta_{n}^{c,a}](x)=\begin{cases}\displaystyle-\frac{\cosh(n\xi)}{n\mathrm{e}^{n\xi_{a}}}\cos(n\eta),\quad&\xi<\xi_{a},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle-\frac{\cosh(n\xi_{a})}{n\mathrm{e}^{n\xi}}\cos(n\eta),\quad&\xi>\xi_{a},\end{cases} (4.27)

and

𝒮Γ[βns,a](x)={sinh(nξ)nenξasin(nη),ξ<ξa,sinh(nξa)nenξsin(nη),ξ>ξa.\displaystyle\mathcal{S}_{\Gamma}[\beta_{n}^{s,a}](x)=\begin{cases}\displaystyle-\frac{\sinh(n\xi)}{n\mathrm{e}^{n\xi_{a}}}\sin(n\eta),\quad&\xi<\xi_{a},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle-\frac{\sinh(n\xi_{a})}{n\mathrm{e}^{n\xi}}\sin(n\eta),\quad&\xi>\xi_{a}.\end{cases}

Moreover, we also have

𝒦Γ[βnc,a]=12e2nξaβnc,aand𝒦Γ[βns,a]=12e2nξaβns,a.\displaystyle\mathcal{K}^{*}_{\Gamma}[\beta_{n}^{c,a}]=\frac{1}{2\mathrm{e}^{2n\xi_{a}}}\beta_{n}^{c,a}\quad\mbox{and}\quad\mathcal{K}^{*}_{\Gamma}[\beta_{n}^{s,a}]=-\frac{1}{2\mathrm{e}^{2n\xi_{a}}}\beta_{n}^{s,a}. (4.28)

We are ready to present the proof of Theorem 2.2.

Proof of Theorem 2.2.

Let H(x)=cosh(nξ)cos(nη)H(x)=\cosh(n\xi)\cos(n\eta) for n1n\geq 1. From the Theorem 3.2 in Section 3 and (4.28), if ϕ=ϕnβnc,i\phi=\phi_{n}\beta_{n}^{c,i}, we have

(12+12e2nξi)ϕ=nsinh(nξi)βnc,i.\Big{(}\frac{1}{2}+\frac{1}{2\mathrm{e}^{2n\xi_{i}}}\Big{)}\phi=-n\sinh(n\xi_{i})\;\beta_{n}^{c,i}. (4.29)

It is readily seen that the solution to (4.29) is given by

ϕ=nenξitanh(nξi)βnc,i.\phi=-n\mathrm{e}^{n\xi_{i}}\tanh(n\xi_{i})\;\beta_{n}^{c,i}. (4.30)

Substituting (4.30) into (3.16) and using (4.27), we have the solution to (2.3)

φ=(cosh(nξ)+enξisinh(nξi)enξ)cos(nη).\varphi=\big{(}\cosh(n\xi)+\mathrm{e}^{n\xi_{i}}\sinh(n\xi_{i})\;\mathrm{e}^{-n\xi}\big{)}\cos(n\eta). (4.31)

Let P(x)=12cosh(nξ)cos(nη)P(x)=12\cosh(n\xi)\cos(n\eta) for n1n\geq 1. From (3.19) and (4.31) we first have

ψe=12nζ0(sinh(nξe)en(ξiξe)sinh(nξi))βnc,e.\psi_{e}=12n\zeta_{0}\big{(}\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})\big{)}\beta_{n}^{c,e}. (4.32)

If ψi=ψinβnc,i\psi_{i}=\psi_{i}^{n}\beta_{n}^{c,i}, then the first equation in (3.19) is equivalent to

(12+12e2nξi)ψi=12n((sinh(nξe)en(ξiξe)sinh(nξi))sinh(nξi)enξeζ0sinh(nξi))βnc,i.\Big{(}\frac{1}{2}+\frac{1}{2\mathrm{e}^{2n\xi_{i}}}\Big{)}\psi_{i}=12n\Big{(}\big{(}\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})\big{)}\frac{\sinh(n\xi_{i})}{\mathrm{e}^{n\xi_{e}}}\zeta_{0}-\sinh(n\xi_{i})\Big{)}\beta_{n}^{c,i}.

By the simple calculation, we can obtain

ψi=12n((sinh(nξe)en(ξiξe)sinh(nξi))en(ξiξe)tanh(nξi)ζ0enξitanh(nξi))βnc,i.\psi_{i}=12n\Big{(}\big{(}\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})\big{)}\mathrm{e}^{n(\xi_{i}-\xi_{e})}\tanh(n\xi_{i})\;\zeta_{0}-\mathrm{e}^{n\xi_{i}}\tanh(n\xi_{i})\Big{)}\beta_{n}^{c,i}. (4.33)

Substituting (4.32) and (4.33) into (3.16) and using (4.27), we can obtain the solution to (2.3)

p={12enξe((sinh(nξe)en(ξiξe)sinh(nξi))ζ0enξe)(cosh(nξ)+enξisinh(nξi)enξ)cos(nη),ξi<ξ<ξe,(12cosh(nξ)12(ζ0(sinh(nξe)en(ξiξe)sinh(nξi))cosh(n(ξeξi)sinh(nξi)))enξienξ)cos(nη),ξ>ξe.\displaystyle p=\begin{cases}\displaystyle-\frac{12}{\mathrm{e}^{n\xi_{e}}}\Big{(}\big{(}\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})\big{)}\zeta_{0}-\mathrm{e}^{n\xi_{e}}\Big{)}\Big{(}\cosh(n\xi)+\mathrm{e}^{n\xi_{i}}\sinh(n\xi_{i})\,\mathrm{e}^{-n\xi}\Big{)}\cos(n\eta),\ &\xi_{i}<\xi<\xi_{e},\vspace{1em}\\ \displaystyle\Big{(}12\cosh(n\xi)-12\Big{(}\zeta_{0}\big{(}\sinh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\sinh(n\xi_{i})\big{)}\cosh(n(\xi_{e}-\xi_{i})-\sinh(n\xi_{i}))\Big{)}\frac{\mathrm{e}^{n\xi_{i}}}{\mathrm{e}^{n\xi}}\Big{)}\cos(n\eta),\ &\xi>\xi_{e}.\end{cases} (4.34)

If H(x)=sinh(nξ)sin(nη)H(x)=\sinh(n\xi)\sin(n\eta) and P=12sinh(nξ)sin(nη)P=12\sinh(n\xi)\sin(n\eta) for n1n\geq 1, in a similar way we can find the solution to (2.3)

φ=(sinh(nξ)+enξicosh(nξi)enξ)sin(nη),\varphi=\big{(}\sinh(n\xi)+\mathrm{e}^{n\xi_{i}}\cosh(n\xi_{i})\;\mathrm{e}^{-n\xi}\big{)}\sin(n\eta),

and the solution to (2.3)

p={12enξe((cosh(nξe)en(ξiξe)cosh(nξi))ζ0enξe)(sinh(nξ)+enξicosh(nξi)enξ)sin(nη),ξi<ξ<ξe,(12sinh(nξ)12(ζ0(cosh(nξe)en(ξiξe)cosh(nξi))cosh(ξeξi)cosh(nξi))enξienξ)sin(nη),ξ>ξe.\displaystyle p=\begin{cases}\displaystyle-\frac{12}{\mathrm{e}^{n\xi_{e}}}\Big{(}\big{(}\cosh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\cosh(n\xi_{i})\big{)}\zeta_{0}-\mathrm{e}^{n\xi_{e}}\Big{)}\Big{(}\sinh(n\xi)+\mathrm{e}^{n\xi_{i}}\cosh(n\xi_{i})\,\mathrm{e}^{-n\xi}\Big{)}\sin(n\eta),\quad&\xi_{i}<\xi<\xi_{e},\vspace{1em}\\ \displaystyle\Big{(}12\sinh(n\xi)-12\Big{(}\zeta_{0}\big{(}\cosh(n\xi_{e})-\mathrm{e}^{n(\xi_{i}-\xi_{e})}\cosh(n\xi_{i})\big{)}\cosh(\xi_{e}-\xi_{i})-\cosh(n\xi_{i})\Big{)}\frac{\mathrm{e}^{n\xi_{i}}}{\mathrm{e}^{n\xi}}\Big{)}\sin(n\eta),\quad&\xi>\xi_{e}.\end{cases} (4.35)

The cloaking and shielding conditions immediately follow from the equations (4.34) and (4.35).

The proof is complete. ∎

4.3 Approximate hydrodynamic cloaking using optimization method

In this subsection, we discuss a general framework for hydrodynamic cloaking and shielding. According to Definition 2.1 and equation (2.7) and in order to ensure the cloaking occurs, we only need to solve the following overdetermined boundary value problem with {D,Ω;ζ0}\{D,\Omega;\zeta_{0}\}:

{Δp=0in ΩD¯,pν=0on D,p=Pon Ω,Pνpν=12ζ0φνon Ω.\displaystyle\begin{cases}\displaystyle\Delta p=0&\mbox{in }\Omega\setminus\overline{D},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial p}{\partial\nu}=0&\mbox{on }\partial D,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=P&\mbox{on }\partial\Omega,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu}&\mbox{on }\partial\Omega.\end{cases} (4.36)

and φ\varphi satisfies:

{Δφ=0in 2D¯,φν=0on D,φ=H(x)+O(|x|1)as |x|+.\displaystyle\begin{cases}\displaystyle\Delta\varphi=0&\mbox{in }\mathbb{R}^{2}\setminus\overline{D},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial\varphi}{\partial\nu}=0&\mbox{on }\partial D,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\varphi=H(x)+O(|x|^{-1})&\mbox{as }|x|\rightarrow+\infty.\end{cases} (4.37)

In fact, from the uniqueness of exterior Dirichlet problem for the Laplace equation with p|Ω=Pp|_{\partial\Omega}=P, we obtain p=Pp=P, in 2Ω¯\mathbb{R}^{2}\setminus\overline{\Omega}, i.e., the perfect hydrodynamic cloaking occurs.

Similarly, according to Definition 2.2 and equation (2.8), and in order to ensure the shielding occurs, the following overdetermined exterior boundary value problem is needed to solve:

{Δp=0in 2Ω¯,p=0on Ω,pν=12ζ0φνon Ω,p=P(x)+O(|x|1)as |x|+.\displaystyle\begin{cases}\displaystyle\Delta p=0&\mbox{in }\mathbb{R}^{2}\setminus\overline{\Omega},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=0&\mbox{on }\partial\Omega,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial p}{\partial\nu}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu}&\mbox{on }\partial\Omega,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=P(x)+O(|x|^{-1})&\mbox{as }|x|\rightarrow+\infty.\end{cases} (4.38)

In Sections 4.1 and 4.2, we know that perfect hydrodynamic cloaking and shielding occur in two special cases by using explicit expressions. One can easily verify that these cloaking and shielding structures {D,Ω;ζ0}\{D,\Omega;\zeta_{0}\} satisfy equations (4.36) and (4.38), respectively. However, for the arbitrary shape, we can not demonstrate the cloaking and shielding structures {D,Ω;ζ0}\{D,\Omega;\zeta_{0}\} exists since the analytical solutions do not exist for the general shape. In particular, the overdetermined problem (4.36) and (4.38) with general domain have no solution. Fortunately, the numerical experiments show that the approximate hydrodynamic cloaking and shielding exist for the general shape.

To find the approximate hydrodynamic cloaking structure {D,Ω;ζ0}\{D,\Omega;\zeta_{0}\} for general shape, we first solve the electrostatic potential equation in (2.3) and then the following interior mixed boundary value problem

{Δp=0in ΩD¯,pν=0on D,p=Pon Ω.\displaystyle\begin{cases}\displaystyle\Delta p=0&\mbox{in }\Omega\setminus\overline{D},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle\frac{\partial p}{\partial\nu}=0&\mbox{on }\partial D,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=P&\mbox{on }\partial\Omega.\end{cases} (4.39)

Hence we can obtain ζ0\zeta_{0} that satisfies the cloaking condition (2.7) by solving the following equation

Pνpν=12ζ0φνon Ω.\displaystyle\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\quad\mbox{on }\partial\Omega. (4.40)

In order to solve equation (4.39), one can use the standard Nyström method or finite element method. It is worth noting that the solution to (4.40) does not exist for the general shape. Hence we need to choose optimal ζ0\zeta_{0} by optimization method. Define a cost functional to be

(ζ0)=Pνpν12ζ0φνL2(Ω)2,ζ0[a,b].\mathcal{F}(\zeta_{0})=\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)},\quad\zeta_{0}\in[a,b]\subset\mathbb{R}. (4.41)

Then the optimal zeta potential is defined by

ζ0,opt:=argminζ0[a,b](ζ0).\zeta_{0,opt}:=\mathop{\arg\min}_{\zeta_{0}\in[a,b]}\,\mathcal{F}(\zeta_{0}). (4.42)

That is, to design the approximate hydrodynamic cloaking, we can solve the PDE-constrained optimization problem (4.39), (4.37) and (4.42).

Similarly, for shielding, we first solve electrostatic potential equation in (2.3) and the following exterior Dirichlet boundary value problem

{Δp=0in 2Ω¯,p=0on Ω,p=P(x)+O(|x|1)as |x|+.\displaystyle\begin{cases}\displaystyle\Delta p=0&\mbox{in }\mathbb{R}^{2}\setminus\overline{\Omega},\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=0&\mbox{on }\partial\Omega,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ \displaystyle p=P(x)+O(|x|^{-1})&\mbox{as }|x|\rightarrow+\infty.\end{cases} (4.43)

Let the cost functional be

𝒢(ζ0)=pν12ζ0φνL2(Ω)2,ζ0[c,d],\mathcal{G}(\zeta_{0})=\Big{\|}\frac{\partial p}{\partial\nu}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)},\quad\zeta_{0}\in[c,d], (4.44)

then the optimal zeta potential is defined by

ζ0,opt:=argminζ0[c,d]𝒢(ζ0).\zeta_{0,opt}:=\mathop{\arg\min}_{\zeta_{0}\in[c,d]}\,\mathcal{G}(\zeta_{0}). (4.45)

The existence, uniqueness and stability of a minimizer for the constrained optimization problem (4.41)\eqref{cost-functional-cloaking} and (4.44)\eqref{cost-functional-shielding} are given in the following theorems. We only give the proof of the optimal problem (4.41)\eqref{cost-functional-cloaking}. The proof of (4.44)\eqref{cost-functional-shielding} is similar to that of the optimization problem (4.41)\eqref{cost-functional-cloaking} and therefore is skipped.

Theorem 4.1.

There exists a unique optimal zeta potential ζ0,opt[a,b]\zeta_{0,opt}\in[a,b], which minimizes the cost functional (ζ0)\mathcal{F}(\zeta_{0}) with the PDE-constraint (4.39) and (4.37) (or 𝒢(ζ0)\mathcal{G}(\zeta_{0}) with the PDE-constraint (4.37) and (4.43)) over all ζ0[a,b]\zeta_{0}\in[a,b].

Proof.

For any ζ0(1)\zeta_{0}^{(1)}, ζ0(2)[a,b]\zeta_{0}^{(2)}\in[a,b], by the L2L^{2}-estimation of solution for (4.39), we have

|(ζ0(1))(ζ0(1))|\displaystyle|\mathcal{F}\big{(}\zeta_{0}^{(1)}\big{)}-\mathcal{F}\big{(}\zeta_{0}^{(1)}\big{)}|
24|ζ0(1)ζ0(2)|(Pp)νL2(Ω)φνL2(Ω)+122|ζ0(1)ζ0(2)||ζ0(1)+ζ0(2)|φνL2(Ω)2\displaystyle\leq 24\big{|}\zeta_{0}^{(1)}-\zeta_{0}^{(2)}\big{|}\cdot\Big{\|}\frac{\partial(P-p)}{\partial\nu}\Big{\|}_{L^{2}(\partial\Omega)}\cdot\Big{\|}\frac{\partial\varphi}{\partial\nu}\Big{\|}_{L^{2}(\partial\Omega)}+12^{2}\big{|}\zeta_{0}^{(1)}-\zeta_{0}^{(2)}\big{|}\cdot\big{|}\zeta_{0}^{(1)}+\zeta_{0}^{(2)}\big{|}\cdot\Big{\|}\frac{\partial\varphi}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)}
C|ζ0(1)ζ0(2)|.\displaystyle\leq C\big{|}\zeta_{0}^{(1)}-\zeta_{0}^{(2)}\big{|}.

Hence (ζ0)\mathcal{F}(\zeta_{0}) is Lipschitz continuous in [a,b][a,b]. Furthermore, supposing λ1\lambda_{1}, λ2(0,1)\lambda_{2}\in(0,1) and λ1+λ2=1\lambda_{1}+\lambda_{2}=1, we obtain

(λ1ζ0(1)+λ2ζ0(2))\displaystyle\mathcal{F}\Big{(}\lambda_{1}\zeta_{0}^{(1)}+\lambda_{2}\zeta_{0}^{(2)}\Big{)}
=Pνpν12(λ1ζ0(1)+λ2ζ0(2))φνL2(Ω)2\displaystyle=\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}-12\big{(}\lambda_{1}\zeta_{0}^{(1)}+\lambda_{2}\zeta_{0}^{(2)}\big{)}\frac{\partial\varphi}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)}
<λ1Pνpν12ζ0(1)φνL2(Ω)2+λ2Pνpν12ζ0(2)φνL2(Ω)2\displaystyle<\lambda_{1}\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}-12\zeta_{0}^{(1)}\frac{\partial\varphi}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)}+\lambda_{2}\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}-12\zeta_{0}^{(2)}\frac{\partial\varphi}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)}
=λ1(ζ0(1))+λ2(ζ0(2)).\displaystyle=\lambda_{1}\mathcal{F}\big{(}\zeta_{0}^{(1)}\big{)}+\lambda_{2}\mathcal{F}\big{(}\zeta_{0}^{(2)}\big{)}.

Then (ζ0)\mathcal{F}(\zeta_{0}) is strictly convex in [a,b][a,b]. Therefore the cost functional (4.41) has a unique minimizer.

The proof is complete. ∎

Theorem 4.2.

Let {pk}\{p_{k}\} and {φk}\{\varphi_{k}\} be sequences such that pkνp\frac{\partial p_{k}}{\partial\nu}\rightarrow p and φkνφ\frac{\partial\varphi_{k}}{\partial\nu}\rightarrow\varphi, as kk\rightarrow\infty in L2(Ω)L^{2}(\partial\Omega) and let {ζ0,opt(k)}\{\zeta_{0,opt}^{(k)}\} be a minimizer of (4.41) (or (4.44)) with φ\varphi and pp replaced by φk\varphi_{k} and pkp_{k}. Then the optimal zeta potential is stable with respect to the electrostatic potential φ\varphi and pressure pp, i.e., ζ0,opt(k)ζ0,opt{\zeta_{0,opt}^{(k)}}\rightarrow\zeta_{0,opt}.

Proof.

From the definition of ζ0,opt(k){\zeta_{0,opt}^{(k)}}, we find

Pνpkν12ζ0,opt(k)φkνL2(Ω)2Pνpkν12ζ0φkνL2(Ω)2,ζ0[a,b].\displaystyle\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p_{k}}{\partial\nu}-12\zeta_{0,opt}^{(k)}\frac{\partial\varphi_{k}}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)}\leq\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p_{k}}{\partial\nu}-12\zeta_{0}\frac{\partial\varphi_{k}}{\partial\nu}\Big{\|}^{2}_{L^{2}(\partial\Omega)},\quad\forall\;\zeta_{0}\in[a,b]. (4.46)

Since ζ0,opt(k)[a,b]\zeta_{0,opt}^{(k)}\in[a,b], there exists a subsequence, still denoted {ζ0,opt(k)}\{\zeta_{0,opt}^{(k)}\}, which implies ζ0,opt(k)ζ0,opt(0)\zeta_{0,opt}^{(k)}\rightarrow\zeta_{0,opt}^{(0)} and ζ0,opt[a,b]\zeta_{0,opt}\in[a,b]. Based on the continuity of L2L^{2}-norm, by (4.46) it follows that

Pνpν12ζ0,opt(0)φνL2(Ω)2\displaystyle\left\|\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}-12\zeta_{0,opt}^{(0)}\frac{\partial\varphi}{\partial\nu}\right\|^{2}_{L^{2}(\partial\Omega)} =limkPνpkν12ζ0,opt(k)φkνL2(Ω)2\displaystyle=\lim_{k\rightarrow\infty}\left\|\frac{\partial P}{\partial\nu}-\frac{\partial p_{k}}{\partial\nu}-12\zeta_{0,opt}^{(k)}\frac{\partial\varphi_{k}}{\partial\nu}\right\|^{2}_{L^{2}(\partial\Omega)}
limkPνpkν12ζ0φkνL2(Ω)2\displaystyle\leq\lim_{k\rightarrow\infty}\left\|\frac{\partial P}{\partial\nu}-\frac{\partial p_{k}}{\partial\nu}-12\zeta_{0}\frac{\partial\varphi_{k}}{\partial\nu}\right\|^{2}_{L^{2}(\partial\Omega)}
=Pνpν12ζ0φνL2(Ω)2,\displaystyle=\left\|\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\right\|^{2}_{L^{2}(\partial\Omega)},

for all ζ0[a,b]\zeta_{0}\in[a,b]. This deduces that ζ0,opt(0)\zeta_{0,opt}^{(0)} is a minimizer of (ζ0)\mathcal{F}(\zeta_{0}). By the uniqueness of the minimizer, we have ζ0,opt(0)=ζ0,opt\zeta_{0,opt}^{(0)}=\zeta_{0,opt}. The proof is complete. ∎

Remark 4.1.

In fact, from the continuous dependence on the background fields HH and PP of the solutions of (4.39) and (4.37), we can also deduce the stability of the minimizer with respect to the background fields.

Next, we give the proof of Theorem 2.3.

Proof of Theorem 2.3.

We first prove the case of cloaking. From the boundary condition pν|+pν|=12ζ0φν\frac{\partial p}{\partial\nu}\Big{|}_{+}-\frac{\partial p}{\partial\nu}\Big{|}_{-}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu} on Ω\partial\Omega defined in equation (2.3), we have

Pνpν|+=Pνpν|12ζ0φνon Ω.\displaystyle\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{+}=\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{-}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\quad\mbox{on }\partial\Omega. (4.47)

Applying the L2(Ω)L^{2}(\partial\Omega) norm to both sides of the equation (4.47) gives

Pνpν|+L2(Ω)=Pνpν|12ζ0φνL2(Ω).\displaystyle\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{+}\Big{\|}_{L^{2}(\partial\Omega)}=\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{-}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\Big{\|}_{L^{2}(\partial\Omega)}.

Setting ζ0=ζ0,opt\zeta_{0}=\zeta_{0,opt} and using the condition (ζ0,opt)<ϵ2\mathcal{F}(\zeta_{0,opt})<\epsilon^{2}, we obtain Pνpν|+L2(Ω)<ϵ\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{+}\Big{\|}_{L^{2}(\partial\Omega)}<\epsilon. Applying Green’s formula [21] to PP and pp in 2Ω¯\mathbb{R}^{2}\setminus\overline{\Omega}, we have

P(x)\displaystyle\displaystyle P(x) =P+ΩG(x,y)Pν(y)ds(y)ΩG(x,y)ν(y)P(y)ds(y),\displaystyle=P_{\infty}+\int_{\partial\Omega}G(x,y)\frac{\partial P}{\partial\nu}(y)\mathrm{d}s(y)-\int_{\partial\Omega}\frac{\partial G(x,y)}{\partial\nu(y)}P(y)\mathrm{d}s(y),\quad x2Ω¯,\displaystyle x\in\mathbb{R}^{2}\setminus\overline{\Omega}, (4.48)
p(x)\displaystyle\displaystyle p(x) =p+ΩG(x,y)pν(y)ds(y)ΩG(x,y)ν(y)p(y)ds(y),\displaystyle=p_{\infty}+\int_{\partial\Omega}G(x,y)\frac{\partial p}{\partial\nu}(y)\mathrm{d}s(y)-\int_{\partial\Omega}\frac{\partial G(x,y)}{\partial\nu(y)}p(y)\mathrm{d}s(y),\quad x2Ω¯.\displaystyle x\in\mathbb{R}^{2}\setminus\overline{\Omega}. (4.49)

where the mean value properties at infinity

P=12πr|y|=rP(y)ds(y)andp=12πr|y|=rp(y)ds(y)\displaystyle P_{\infty}=\frac{1}{2\pi r}\int_{|y|=r}P(y)\mathrm{d}s(y)\quad\mbox{and}\quad p_{\infty}=\frac{1}{2\pi r}\int_{|y|=r}p(y)\mathrm{d}s(y)

for sufficiently large rr are satisfied.

In the case of cloaking, we require p|+=Pp|_{+}=P on Ω\partial\Omega. Moreover, from (4.48), (4.49) and the boundary condition Pνpν|+L2(Ω)<ϵ\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{+}\Big{\|}_{L^{2}(\partial\Omega)}<\epsilon, the following inequalities hold:

|p(x)P(x)|\displaystyle|p(x)-P(x)| |pP|+|ΩG(x,y)(pν(y)Pν(y))ds(y)ΩG(x,y)ν(y)(p(y)P(y))ds(y)|\displaystyle\leq|p_{\infty}-P_{\infty}|+\Big{|}\int_{\partial\Omega}G(x,y)\Big{(}\frac{\partial p}{\partial\nu}(y)-\frac{\partial P}{\partial\nu}(y)\Big{)}\mathrm{d}s(y)-\int_{\partial\Omega}\frac{\partial G(x,y)}{\partial\nu(y)}\big{(}p(y)-P(y)\big{)}\mathrm{d}s(y)\Big{|}
12πr|y|=r|p(y)P(y)|ds(y)+(ΩG2(x,y)ds(y))12(Ω(pν(y)Pν(y))2ds(y))12\displaystyle\leq\frac{1}{2\pi r}\int_{|y|=r}|p(y)-P(y)|\mathrm{d}s(y)+\Big{(}\int_{\partial\Omega}G^{2}(x,y)\mathrm{d}s(y)\Big{)}^{\frac{1}{2}}\cdot\Big{(}\int_{\partial\Omega}\Big{(}\frac{\partial p}{\partial\nu}(y)-\frac{\partial P}{\partial\nu}(y)\Big{)}^{2}\mathrm{d}s(y)\Big{)}^{\frac{1}{2}}
CPνpν|+L2(Ω)\displaystyle\leq C\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{+}\Big{\|}_{L^{2}(\partial\Omega)}
<ϵ,x2Ω¯.\displaystyle<\epsilon,\quad x\in\mathbb{R}^{2}\setminus\overline{\Omega}.

We next prove the case of shielding. Setting ζ0=ζ0,opt\zeta_{0}=\zeta_{0,opt} and using the condition 𝒢(ζ0,opt)<ϵ2\mathcal{G}(\zeta_{0,opt})<\epsilon^{2} and the boundary condition pν|+pν|=12ζ0φν\frac{\partial p}{\partial\nu}\Big{|}_{+}-\frac{\partial p}{\partial\nu}\Big{|}_{-}=12\zeta_{0}\frac{\partial\varphi}{\partial\nu} on Ω\partial\Omega, we obtain pν|L2(Ω)<ϵ\Big{\|}\frac{\partial p}{\partial\nu}\Big{|}_{-}\Big{\|}_{L^{2}(\partial\Omega)}<\epsilon. Applying Green’s formula [21] to pp in ΩD¯\Omega\setminus\overline{D}, we have

p(x)\displaystyle\displaystyle p(x) =ΩG(x,y)ν(y)p(y)ds(y)ΩG(x,y)pν(y)ds(y),xΩD¯.\displaystyle=\int_{\partial\Omega}\frac{\partial G(x,y)}{\partial\nu(y)}p(y)\mathrm{d}s(y)-\int_{\partial\Omega}G(x,y)\frac{\partial p}{\partial\nu}(y)\mathrm{d}s(y),\quad x\in\Omega\setminus\overline{D}. (4.50)

In the case of shielding, we require p|=0p|_{-}=0 on Ω\partial\Omega. Moreover, from (4.50) and the boundary condition pν|L2(Ω)<ϵ\Big{\|}\frac{\partial p}{\partial\nu}\Big{|}_{-}\Big{\|}_{L^{2}(\partial\Omega)}<\epsilon, the following inequalities hold:

|p(x)|\displaystyle|p(x)| =|ΩG(x,y)ν(y)p(y)ds(y)ΩG(x,y)pν(y)ds(y)|\displaystyle=\Big{|}\int_{\partial\Omega}\frac{\partial G(x,y)}{\partial\nu(y)}p(y)\mathrm{d}s(y)-\int_{\partial\Omega}G(x,y)\frac{\partial p}{\partial\nu}(y)\mathrm{d}s(y)\Big{|}
=|ΩG(x,y)pν(y)ds(y)|\displaystyle=\Big{|}\int_{\partial\Omega}G(x,y)\frac{\partial p}{\partial\nu}(y)\mathrm{d}s(y)\Big{|}
(ΩG2(x,y)ds(y))12(Ω(pν(y))2ds(y))12\displaystyle\leq\Big{(}\int_{\partial\Omega}G^{2}(x,y)\mathrm{d}s(y)\Big{)}^{\frac{1}{2}}\cdot\Big{(}\int_{\partial\Omega}\Big{(}\frac{\partial p}{\partial\nu}(y)\Big{)}^{2}\mathrm{d}s(y)\Big{)}^{\frac{1}{2}}
Cpν|L2(Ω)<ϵ,xΩD¯.\displaystyle\leq C\Big{\|}\frac{\partial p}{\partial\nu}\Big{|}_{-}\Big{\|}_{L^{2}(\partial\Omega)}<\epsilon,\quad x\in\Omega\setminus\overline{D}.

The proof is complete. ∎

In the proof of Theorem 2.3, we find the following corollary.

Corollary 4.3.

Let pp be the solution to (2.3) with p|+=Pp|_{+}=P on Ω\partial\Omega. Then there exists a positive constant CC such that

|p(x)P(x)|CPνpν|12ζ0φνL2(Ω),x2Ω¯.\displaystyle|p(x)-P(x)|\leq C\Big{\|}\frac{\partial P}{\partial\nu}-\frac{\partial p}{\partial\nu}\Big{|}_{-}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\Big{\|}_{L^{2}(\partial\Omega)},\quad x\in\mathbb{R}^{2}\setminus\overline{\Omega}.

Let pp be the solution to (2.3) with p|=0p|_{-}=0 on Ω\partial\Omega. Then there exists a positive constant CC such that

|p(x)|Cpν|+12ζ0φνL2(Ω),xΩD¯.\displaystyle|p(x)|\leq C\Big{\|}\frac{\partial p}{\partial\nu}\Big{|}_{+}-12\zeta_{0}\frac{\partial\varphi}{\partial\nu}\Big{\|}_{L^{2}(\partial\Omega)},\quad x\in\Omega\setminus\overline{D}.

Corollary 4.3 shows that the error is minimized when the cost function (ζ0)\mathcal{F}(\zeta_{0}) (or 𝒢(ζ0)\mathcal{G}(\zeta_{0})) is minimized. It will be further corroborated by our numerical experiments in Section 5 in what follows.

5 Numerical experiments

In this section, we validate the theoretical results based on a two-dimensional model by performing three-dimensional finite-element simulations, which shows nice agreement. We perform the finite-element numerical simulations using the commercial software COMSOL Multiphysics.

Before showing the numerical results, we give the values of the physical and geometrical parameters used in the finite-element simulations, which are summarized in the following table.

Physical property Notation Value Units
Gap between the plates h~\tilde{h} 15 μm\mu\mathrm{m}
Length of computational domain L~\tilde{L} 2 mm\mathrm{mm}
Width of computational domain W~\tilde{W} 2 mm\mathrm{mm}
Density of fluid ρ\rho 10310^{3} Kg/m3\mathrm{Kg}/\mathrm{m}^{3}
Viscosity of fluid μ\mu 10310^{-3} Pas\mathrm{Pa}\cdot\mathrm{s}
Permittivity of fluid ε\varepsilon 7.08×10107.08\times 10^{-10} F/m\mathrm{F}/\mathrm{m}
Electric field far from object E~\tilde{E} 3×1023\times 10^{2} V/m\mathrm{V}/\mathrm{m}
External velocity u~ext\tilde{u}_{ext} 5151 μm/s\mu\mathrm{m}/\mathrm{s}
Table 1: Values of the physical and geometrical parameters used in the finite-element simulations.

We first perform finite-element simulations of the flow around a circular cylinder of radius 100μm100\ \mu\mathrm{m} in a Hele-Shaw cell. The radius of the cloaking and shielding region is 200μm200\ \mu\mathrm{m}. We derive the important quantity, that is, the characteristic value of ζ~0\tilde{\zeta}_{0}. Scaling (4.26) by the characteristic dimensions, we know that the pressure distribution is [8]

p~={6μh~2r~e2((r~e2r~i2)u~EOF2r~e2u~ext)(r~+r~i2r~)cosθ,r~i<r~<r~e,12μu~exth~2r~cosθ+6μh~2r~e2((r~e4r~i4)u~EOF2r~i2r~e2u~ext)1r~cosθ,r~>r~e.\displaystyle\tilde{p}=\begin{cases}\displaystyle\frac{6\mu}{\tilde{h}^{2}\tilde{r}_{e}^{2}}\Big{(}(\tilde{r}_{e}^{2}-\tilde{r}_{i}^{2})\tilde{u}_{EOF}-2\tilde{r}_{e}^{2}\tilde{u}_{ext}\Big{)}\Big{(}\tilde{r}+\frac{\tilde{r}_{i}^{2}}{\tilde{r}}\Big{)}\cos\theta,\quad\tilde{r}_{i}<\tilde{r}<\tilde{r}_{e},\vspace{1em}\\ \displaystyle-\frac{12\mu\tilde{u}_{ext}}{\tilde{h}^{2}}\tilde{r}\cos\theta+\frac{6\mu}{\tilde{h}^{2}\tilde{r}_{e}^{2}}\Big{(}(\tilde{r}_{e}^{4}-\tilde{r}_{i}^{4})\tilde{u}_{EOF}-2\tilde{r}_{i}^{2}\tilde{r}_{e}^{2}\tilde{u}_{ext}\Big{)}\frac{1}{\tilde{r}}\cos\theta,\quad\tilde{r}>\tilde{r}_{e}.\end{cases} (5.51)

Where u~EOF=εζ~0E~/μ\tilde{u}_{EOF}=-\varepsilon\tilde{\zeta}_{0}\tilde{E}/\mu, r~i=100μm\tilde{r}_{i}=100\ \mu\mathrm{m} and r~e=200μm\tilde{r}_{e}=200\ \mu\mathrm{m}. From (5.51), we can obtain shielding and cloaking conditions

u~EOF=2r~e2r~e2r~i2u~extandu~EOF=2r~i2r~e2r~e4r~i4u~ext.\displaystyle\tilde{u}_{EOF}=\frac{2\tilde{r}_{e}^{2}}{\tilde{r}_{e}^{2}-\tilde{r}_{i}^{2}}\tilde{u}_{ext}\quad\mbox{and}\quad\tilde{u}_{EOF}=\frac{2\tilde{r}_{i}^{2}\tilde{r}_{e}^{2}}{\tilde{r}_{e}^{4}-\tilde{r}_{i}^{4}}\tilde{u}_{ext}.

Furthermore, in terms of ζ~0\tilde{\zeta}_{0}, we have shielding and cloaking conditions

ζ~0=μεE~2r~e2r~e2r~i2u~extandζ~0=μεE~2r~i2r~e2r~e4r~i4u~ext.\displaystyle\tilde{\zeta}_{0}=-\frac{\mu}{\varepsilon\tilde{E}}\frac{2\tilde{r}_{e}^{2}}{\tilde{r}_{e}^{2}-\tilde{r}_{i}^{2}}\tilde{u}_{ext}\quad\mbox{and}\quad\tilde{\zeta}_{0}=-\frac{\mu}{\varepsilon\tilde{E}}\frac{2\tilde{r}_{i}^{2}\tilde{r}_{e}^{2}}{\tilde{r}_{e}^{4}-\tilde{r}_{i}^{4}}\tilde{u}_{ext}. (5.52)

The equations in (5.52) are equivalent to

ζ~0=2re2re2ri2μεE~u~extandζ~0=2ri2re2re4ri4μεE~u~ext.\displaystyle\tilde{\zeta}_{0}=-\frac{2r_{e}^{2}}{r_{e}^{2}-r_{i}^{2}}\frac{\mu}{\varepsilon\tilde{E}}\tilde{u}_{ext}\quad\mbox{and}\quad\tilde{\zeta}_{0}=-\frac{2r_{i}^{2}r_{e}^{2}}{r_{e}^{4}-r_{i}^{4}}\frac{\mu}{\varepsilon\tilde{E}}\tilde{u}_{ext}. (5.53)

Comparing the dimensionless shielding and cloaking conditions (2.9, 2.10) and (5.53), we find that the difference is a factor. In fact, the factor is precisely the characteristic value of ζ~0\tilde{\zeta}_{0}.

Figure 5.2 presents a comparison of the finite-element simulation results corresponding to pressure-driven flow (a), shielding (b), and cloaking (c) conditions. Figures 5.2(a)–5.2(c) present the resulting pressure distribution (colormap) and streamlines (white lines), showing excellent shielding and cloaking in the finite-element simulations for the cylinder object. Under shielding conditions (2.10), the pressure inside the region surrounding the cylinder becomes uniform, and the force on the object vanishes. Under cloaking conditions (2.9), the streamlines outside of the control region are straight, unmodified relative to the uniform far field, and undisturbed by the object.

Refer to caption
Refer to caption
Refer to caption
Figure 5.2: Comparison of finite-element simulation results on the annulus. Numerical (a,b,c) results for the pressure distribution (colormap) and streamlines (white lines), corresponding to pressure-driven flow (a), shielding (b), and cloaking (c) conditions. Here in the case of shielding, the zeta potential is ζ~0=0.64V\tilde{\zeta}_{0}=-0.64\,\mathrm{V}, and in the case of cloaking the zeta potential is ζ~0=0.128V\tilde{\zeta}_{0}=-0.128\,\mathrm{V}.

We perform finite-element simulations of the flow around an elliptic cylinder in a Hele-Shaw cell. We consider an elliptic cylinder of boundary ξ~i\tilde{\xi}_{i} wrapped by a region of interior and exterior boundaries ξ~i\tilde{\xi}_{i} and ξ~e\tilde{\xi}_{e}, choosing ξ~i=50μm\tilde{\xi}_{i}=50\ \mu\mathrm{m} and ξ~e=100μm\tilde{\xi}_{e}=100\ \mu\mathrm{m}. It is remarked that the inner and outer ellipses are of the same focus. We first consider a uniform electric filed and velocity externally applied in the x~1\tilde{x}_{1} direction. The zeta potentials ζ~0\tilde{\zeta}_{0} of cloaking and shielding region depend on the equations (2.11, 2.12) and the characteristic value of ζ~0\tilde{\zeta}_{0}. Figures 5.3(a)–5.3(c) present the resulting pressure distribution (colormap) and streamlines (white lines) with the background electric field and velocity in the x~1\tilde{x}_{1} direction. Analogously, when the background electric field and velocity are externally applied in the x~2\tilde{x}_{2} direction, under conditions (2.13) and (2.14) we can obtain numerical results illustrated in Figures 5.3(d)–5.3(f). These results also show excellent agreement like the circular cylinder case. The performance of the proposed cloaking and shielding conditions have been numerically confirmed. Moreover, it also is verified that the confocal ellipses have the same shielding condition, comparing Figure 5.3(b) and Figure 5.3(e).

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 5.3: Comparison of finite-element simulation results on the confocal ellipses with background field in the x~1\tilde{x}_{1} (Top: a,b,c) and x~2\tilde{x}_{2} direction (Bottom: d,e,f). The zeta potentials are ζ~0=0.7593V(b),0.1291V(c),0.7593V(e)\tilde{\zeta}_{0}=-0.7593\ \mathrm{V}(b),-0.1291\ \mathrm{V}(c),-0.7593\ \mathrm{V}(e) and 0.2793V(f)-0.2793\ \mathrm{V}(f), respectively.

In Figure 5.4, we consider thin cloaking region for annulus and confocal ellipses with r~i=100μm\tilde{r}_{i}=100\ \mu\mathrm{m}, r~e=110μm\tilde{r}_{e}=110\ \mu\mathrm{m}, ξ~i=50μm\tilde{\xi}_{i}=50\ \mu\mathrm{m} and ξ~e=70μm\tilde{\xi}_{e}=70\ \mu\mathrm{m}. These results show that thin region can also have excellent cloaking. However, these regions are not so thin that meta-surfaces occur because the cloaking conditions are singular.

Refer to caption
Refer to caption
Refer to caption
Figure 5.4: Comparison of finite-element simulation results with thin cloaking region. The zeta potentials are ζ~0=1.2515V(a),0.3693V(b)\tilde{\zeta}_{0}=-1.2515\ \mathrm{V}(a),-0.3693\ \mathrm{V}(b) and 0.7992V(c)-0.7992\ \mathrm{V}(c), respectively.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 5.5: Comparison of finite-element simulation results for some objects with regular boundaries. Numerical results for the pressure distribution (colormap) and streamlines (white lines) corresponding to cloaking (a-c) and shielding (d-f). The zeta potentials are ζ~0,opt=0.1288V(a),0.0864V(b),0.0751V(c),0.6456V(d),0.5832V(e)\tilde{\zeta}_{0,opt}=-0.1288\ \mathrm{V}(a),-0.0864\ \mathrm{V}(b),-0.0751\ \mathrm{V}(c),-0.6456\ \mathrm{V}(d),-0.5832\ \mathrm{V}(e) and 0.5664V(f)-0.5664\ \mathrm{V}(f), respectively. The cloaking regions are circles with a radius of 200μm200\ \mu\mathrm{m}.

For a benchmarking experiment, we consider the flow of a cylinder with a flower-shaped cross-section with boundary described by the parametric representation

x(t)=10.1cos5t,0t2π.x(t)=1-0.1\cos 5t,\quad 0\leq t\leq 2\pi.

Extending our analysis to more complex shapes, we also considered the case of a non-convex kite-shaped object parameterized by

x(t)=(0.6cost+0.39cos2t+0.01,0.9sint),0t2π,x(t)=(0.6\cos t+0.39\cos 2t+0.01,0.9\sin t),\quad 0\leq t\leq 2\pi,

and a peanut-shaped object parameterized by

x(t)=cos2t+0.25sin2t,0t2π.x(t)=\sqrt{\cos^{2}t+0.25\sin^{2}t},\quad 0\leq t\leq 2\pi.

When these objects are surrounded by an appropriate circle, we observe that good cloaking and shielding occur in Figure 5.5.

Without loss of generality, we confine our presentation to objects with boundary curve D\partial D with some corners. We consider some special shapes, for instance, triangles, squares and pentagons inscribed in the circle of radius 100μm100\ \mu\mathrm{m}. Here the cloaking and shielding region is a circle of radius 200μm200\ \mu\mathrm{m}. Figure 5.6 shows good cloaking and shielding. These zeta potentials used in finite-element numerical simulations are calculated by the optimization method in Subsection 4.3. They are scaled by the characteristic value of ζ~0\tilde{\zeta}_{0}.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 5.6: Comparison of finite-element simulation results for some objects with corners. Numerical (a-f) results for the pressure distribution (colormap) and streamlines (white lines) corresponding to cloaking (a-c) and shielding (d-f). The zeta potentials are ζ~0,opt=0.0636V(a),0.0912V(b),0.0984V(c),0.5568V(d),0.5904V(e)\tilde{\zeta}_{0,opt}=-0.0636\ \mathrm{V}(a),-0.0912\ \mathrm{V}(b),-0.0984\ \mathrm{V}(c),-0.5568\ \mathrm{V}(d),-0.5904\ \mathrm{V}(e) and 0.5997V(f)-0.5997\ \mathrm{V}(f), respectively.

We extend numerical simulations by investigating the possibility of cloaking multiple objects placed in close proximity to each other. Figures 5.7, 5.8 and 5.9 show good cloaking for multiple circular, elliptical objects and the combination of them. Here excellent cloaking remains exist. However, the shielding does not exist for multiple objects.

Refer to caption
Refer to caption
Refer to caption
Figure 5.7: Cloaking for multiple circular cylinder objects. Here r~i=100μm\tilde{r}_{i}=100\ \mu\mathrm{m}, r~e=200μm\tilde{r}_{e}=200\ \mu\mathrm{m} and ζ~0=0.128V\tilde{\zeta}_{0}=-0.128\,\mathrm{V}.
Refer to caption
Refer to caption
Refer to caption
Figure 5.8: Cloaking for multiple elliptic cylinder objects. Here ξ~i=50μm\tilde{\xi}_{i}=50\ \mu\mathrm{m}, ξ~e=100μm\tilde{\xi}_{e}=100\ \mu\mathrm{m} and ζ~0=0.1291V\tilde{\zeta}_{0}=-0.1291\,\mathrm{V}.
Refer to caption
Refer to caption
Refer to caption
Figure 5.9: Cloaking for the combination of circular and elliptic cylinder objects. The parameters are the same as that of Figures 5.7 and 5.8.

6 Conclusion

In this paper, we consider the hydrodynamic cloaking and shielding of objects in microscale flows. We established a systematic and comprehensive mathematical framework that allows us to derive the shielding and cloaking conditions via electroosmosis for complex geometries. In addition to the theoretical results, extensive numerical experiments were conducted to corroborate the theoretical findings. We would like to emphasize that the above approach is metamaterial-less, namely without using any “exotic” materials. The corresponding “cloaks” and “shields” presented here have simpler structures than their metamaterial equivalents. Moreover, these structures are easy to control by adapting the gate electrode in physics. The idea can be extended in several directions: (i) to investigate the enhancement of approximate hydrodynamic cloaking and shielding based on the perfect hydrodynamic cloaking and shielding on the annuls and confocal ellipses using the perturbation theory; (ii) to study the case when the electric filed is cloaked simultaneously; (iii) to consider the bigger scale flow. These new developments will be reported in our forthcoming works.

Acknowledgment

The research of H Liu was supported by NSFC/RGC Joint Research Scheme, N_CityU101/21, ANR/RGC Joint Research Scheme, A-CityU203/19, and the Hong Kong RGC General Research Funds (projects 12302919, 12301420 and 11300821).

References

  • [1] A. Alù and N. Engheta, Achieving transparency with plasmonic and metamaterial coatings, Phys. Rev. E. 72 (2005), 016623.
  • [2] A. Alù, Mantle cloak: Invisibility induced by a surface, Phys. Rev. B 80 (2009), 245115.
  • [3] H. Ammari and H. Kang, Polarization and Moment Tensors with Applications to Inverse Problems and Effective Medium Theory, (Springer-Verlag, New York, 2007).
  • [4] H. Ammari, H. Kang, H. Lee and M. Lim, Enhancement of approximate-cloaking. Part II: The Helmholtz equation, Comm. Math. Phys. 317 (2013), 485-502.
  • [5] H. Ammari, G. Ciraolo, H. Kang, H. Lee and G. Milton, Spectral theory of a Neumann-Poincaré-type operator and analysis of cloaking due to anomalous localized resonance, Arch. Rational Mech. Anal. 208 (2013), 667-692.
  • [6] K. Ando and H. Kang, Analysis of plasmon resonance on smooth domains using spectral properties of the Neumann–Poincaré operator, Jour. Math. Anal. Appl. 435 (2016), 162–178.
  • [7] G. Bao, H. Liu and J. Zou, Nearly cloaking the full Maxwell equations: cloaking active contents with general conducting layers, J. Math. Pures Appl. 101 (2014), 716-733.
  • [8] E. Boyko, V. Bacheva, M. Eigenbrod, F. Paratore, A. Gat, S. Hardt and M. Bercovici, Microscale hydrodynamic cloaking and shielding via electro-osmosis, Phys. Rev. Lett. 126 (2021), 184502.
  • [9] P. Chen and A. Alù, Mantle cloaking using thin patterned metasurfaces, Phys. Rev. B 84 (2011), 205110.
  • [10] P. Chen, F. Monticone and A. Alù, Suppressing the electromagnetic scattering with an helical mantle cloak, IEEE Antennas Wireless Propag. Lett. 10 (2011), 1598.
  • [11] P. Chen, J. Soric and A. Alù, Invisibility and cloaking based on scattering cancellation, Adv. Mater. 24 (2012), OP281COP304.
  • [12] D. Chung, H. Kang, K. Kim and H. Lee, Cloaking due to anomalous localized resonance in plasmonic structures of confocal ellipses, SIAM J. Appl. Math. 74 (2014), 1691–1707.
  • [13] R. Craster, S. Guenneau, H. Hutridurga and G. Pavliotis, Cloaking via Mapping for the Heat Equation, Multiscale Model. Simul., 16 (2017), 1146-1174.
  • [14] Y. Deng, H. Liu and G. Uhlmann, On regularized full- and partial-cloaks in acoustic scattering, Commun. Part. Differ. Equ. 42 (2017), 821-851.
  • [15] Y. Deng, H. Liu and G. Uhlmann, Full and partial cloaking in electromagnetic scattering, Arch. Ration. Mech. Anal. 223 (2017), 265-299.
  • [16] A. Greenleaf, M. Lassas and G. Uhlmann, On nonuniqueness for Calderón’s inverse problem, Math. Res. Lett. 10 (2003), no. 5-6, 685–693.
  • [17] A. Greenleaf, Y. Kurylev, M. Lassas and G. Uhlmann, Cloaking devices, electromagnetic wormholes and transformation optics, SIAM Review 51 (2009), 3-33.
  • [18] H. Hele-Shaw, The flow of water, Nature 58, 34 (1898).
  • [19] R. Hunter, Foundations of Colloid Science, (Oxford University Press, New York, 2001).
  • [20] R. Kohn, D. Onofrei, M. Vogelius and M. Weinstein, Cloaking via change of variables for the helmholtz equation, Comm. Pure Appl. Math., 63 (2010), 973–1016.
  • [21] R. Kress, Linear Integral Equations, (Springer-Verlag, New York, 1989).
  • [22] U. Leonhardt, Optical conformal mapping, Science, 312 (2006), pp. 1777–1780.
  • [23] H. Li and H. Liu, On anomalous localized resonance for the elastostatic system, SIAM J. Math. Anal. 48 (2016), 3322-3344.
  • [24] H. Li and H. Liu, On novel elastic structures inducing polariton resonances with finite frequencies and cloaking due to anomalous localized resonance, J. Math. Pures Appl. 120 (2018), 195-219.
  • [25] H. Liu, Virtual reshaping and invisibility in obstacle scattering, Inverse Probl. 25 (2009), 045006.
  • [26] B. Munk, Frequency Selective Surfaces: Theory and Design (John Wiley & Sons, New York, 2005).
  • [27] S. Narayana and Y. Sato, Heat Flux Manipulation with Engineered Thermal Materials, Phys. Rev. Lett. 108 (2012), 214303.
  • [28] Y. Padooru, A. Yakovlev, P. Chen and A. Alù, Line-source excitation of realistic conformal metasurface cloaks, J. Appl. Phys. 112 (2012), 104902.
  • [29] J. Park, J. Youn and Y. Song, Hydrodynamic metamaterial cloak for drag-free flow, Phys. Rev. Lett. 123 (2019), 074502.
  • [30] J. Park, J. Youn and Y. Song, Fluid-flow rotator based on hydrodynamic metamaterial, Phys. Rev. Appl. 12 (2019), 061002.
  • [31] J. Park, J. Youn, Y. Song, Metamaterial hydrodynamic flow concentrator, Extreme Mech. Lett. 42 (2021), 101061.
  • [32] J. Pendry, D. Schurig and D. Smith, Controlling electromagnetic fields, Science, 12(5781): (2006), pp. 1780–1782.
  • [33] N. Stenger, M. Wilhelm and M. Wegener, Experiments on Elastic Cloaking in Thin Plates, Phys. Rev. Lett. 108 (2012), 014301.
  • [34] S. Tretyakov, Analytical Modeling in Applied Electromagnetics (Artech House, Boston, 2003).
  • [35] Y. Urzhumov and D. Smith, Fluid flow control with transformation media, Phys. Rev. Lett. 107 (2011), 074501.
  • [36] Y. Urzhumov and D. Smith, Flow stabilization with active hydrodynamic cloaks, Phys. Rev. E 86 (2012), 056313.
  • [37] F. Yang, Z. Mei, T. Jin and T. Cui, dc ElectricInvisibility Cloak, Phys. Rev. Lett. 109 (2012), 053902.
  • [38] S. Zhang, D. Genov, C. Sun and X. Zhang, Cloaking of Matter Waves, Phys. Rev. Lett. 100 (2008), 123002.
  • [39] Z. Zhang, S. Liu, Z. Luan, Z. Wang and G. He, Invisibility concentrator for water waves, Phys. Fluids 32 (2020), 081701.
  • [40] S. Zou, Y. Xu, R. Zatianina, C. Li, X. Liang, L. Zhu, Y. Zhang, G. Liu, Q. Liu, H. Chen and Z. Wang, Broadband Waveguide Cloak for Water Waves, Phys. Rev. Lett. 123 (2019), 074501.