Abstract
The primary objective of this paper is to explore the multi-phase variant of quadrature domains associated with the Helmholtz equation, commonly referred to as k-quadrature domains. Our investigation employs both the minimization problem approach, which delves into the segregation ground state of an energy functional, and the partial balayage procedure, drawing inspiration from the recent work by Gardiner and Sjödin. Furthermore, we present practical applications of these concepts in the realms of acoustic waves and magnetic fields.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Background
The subject under consideration in this note is k-quadrature domains with \(k > 0\), also known as quadrature domains for the Helmholtz operator. This topic is intricately connected to the inverse scattering theory, as detailed in references [33, 36, 41].
Given any \(\mu \in \mathscr {E}'(\mathbb {R}^{n})\) (\(n\ge 2\)), we recall that a bounded open set \(D \subset \mathbb {R}^{n}\) is termed a (one-phase) k-quadrature domain with respect to \(\mu \) if \(\mu \in \mathscr {E}'(D)\) and
holds for all \(w \in L^{1}(D)\) satisfying \((\Delta + k^{2})w=0\) in D. It is shown in [33, Proposition 2.1] that a bounded open set \(D \subset \mathbb {R}^{n}\) is a k-quadrature domain for \(\mu \in \mathscr {E}'(D)\) if and only if there exists \(\tilde{u}\in \mathscr {D}'(\mathbb {R}^{n})\) satisfying the following equations
Later in [36], the system of equations (1.1) was further generalized by introducing the following Bernoulli-type free boundary problem:
where the Bernoulli condition \(|\nabla \tilde{u} | = g\) is considered in a very weak sense. Refer also to [35] for a connection between the anisotropic non-scattering problem and the Bernoulli-type free boundary problem. We refer to a bounded domain D in (1.2) as the hybrid k-quadrature domain.
1.2 Two- and multiphase k-quadrature domains (the notion)
A bounded domain D in \(\mathbb {R}^{n}\) is referred to as a quadrature domain for harmonic functions, associated with a distribution \(\mu \in \mathscr {E}'(D)\) if
holds for every harmonic function \(h \in L^{1}(D)\); see, for example, the monograph [39]. In the special case when \(\mu = \sum _{j=1}^{m} \lambda _{j}\delta _{x_{j}}\), where \(\delta _{a}\) is the Dirac measure at a, (1.3) reduces to a quadrature identity for computing integrals of harmonic functions; refer to [25]. Quadrature domains can also be regarded as a generalization of the mean value theorem for harmonic functions: \(B_{r}(a)\) is a quadrature domain with \(\mu = |B_{r}(a) |\delta _{a}\). Various examples can be constructed using complex analysis; see, for instance, [13, 25, 40] for further background.
A generalization of the Helmholtz operator was investigated in [19, 33]. For \(k > 0\), a bounded open set D in \(\mathbb {R}^{n}\) (not necessarily connected) is referred to as a quadrature domain for \((\Delta + k^{2})\), or a k-quadrature domain, associated with a distribution \(\mu \in \mathscr {E}'(D)\), if
holds for all \(w \in L^{1}(D)\) satisfying \((\Delta + k^{2})w=0\) in D. It is essential to note that the k-quadrature domain can also be regarded as a generalization of the mean value theorem: For each \(k > 0\), \(B_{r}(a)\) is a k-quadrature domain with \(\mu = c_{k,k,r}^\textrm{MVT} \delta _{a}\) for some suitable constant \(c_{n,k,r}^\textrm{MVT}\) (which may be zero for specific parameters n, k, and r). Similar to the classical case (\(k=0\)), various examples can also be constructed using complex analysis [33].
We now introduce the concept of two-phase quadrature domains as defined in [14], and later in [18].
Let \(D_{\pm }\) be disjoint bounded open subsets of \(\mathbb {R}^{n}\), and let \(\mu _{\pm } \in \mathscr {E}'(D_{\pm })\), respectively. If a pair \((D_{+}, D_{-})\) has the property that
holds for every harmonic function h on \(D_{+}\cup D_{-}\) with \(h \in C(\overline{D_{+}\cup D_{-}})\), then we designate such a pair \((D_{+}, D_{-})\) as a two-phase quadrature domain (for harmonic functions) corresponding to distributions \((\mu _{+}, \mu _{-}) \in \mathscr {E}'(D_{+})\times \mathscr {E}'(D_{-})\). The precise meaning in the right hand side of (1.5) is the distributional pairing \(\langle \mu _{+},h \rangle - \langle \mu _{-},h \rangle \), which is well-defined since \(h \in C^{\infty }(D_{\pm })\). The following trivial example also illustrates this notion:
Example
It is evident that if \(D_{\pm }\) are quadrature domains (for harmonic functions) corresponding to distributions \(\mu \in \mathscr {E}'(D_{\pm })\) respectively in the sense of (1.3) and satisfy \(\overline{D_{+}} \cap \overline{D_{-}} = \emptyset \), then such a pair \((D_{+},D_{-})\) clearly satisfies (1.5).
Here, we refer to [14, 18] for some less trivial examples of two-phase quadrature domains (1.5). It is worth mentioning that Gardiner and Sjödin [18, Theorem 3.1(b)] proved that if \((D_{+},D_{-})\) is a two-phase quadrature domain (for harmonic functions) corresponding to distributions \((\mu _{+},\mu _{-}) \in \mathscr {E}'(D_{+})\times \mathscr {E}'(D_{-})\), then there exist polar sets \(Z_{\pm }\) such that there exists \(\tilde{u}\) such that
Conversely, if a function \(\tilde{u} \in H^{1}(\mathbb {R}^{n})\) with compact support satisfiesFootnote 1
and if \({{\,\textrm{supp}\,}}\,(\mu _{\pm }) \subset \{\pm \tilde{u}>0\}\), by [18, Theorem 3.1(a)] we see that \(\left( \{\tilde{u}>0\},\{\tilde{u}<0\}\right) \) a two-phase quadrature domain (for harmonic functions) corresponding to distributions \((\mu _{+},\mu _{-}) \in \mathscr {E}'(D_{+})\times \mathscr {E}'(D_{-})\).
In [14], they use a minimization approach to study the model equation
The above discussions strongly suggest studying the following model equation, which is also the main theme of this paper:
where \(k_{\pm }\ge 0\), \(\lambda _{\pm } > 0\) and \(\mu _{\pm } \in \mathscr {E}'(\mathbb {R}^{n})\). We refer to such pair of domains \((D_{+},D_{-})\) with \(D_{\pm } = \{\pm \, \tilde{u}>0\}\) as the two-phase \((k_{+},k_{-})\)-quadrature domain.
In [1], the following problem in terms of partial differential equations was considered: Given m positive measures \(\mu _{i}\) and constants \(\lambda _{i}\), for \(i=1,\cdots ,m\), find functions \(u_{i} \ge 0\) with suitable regularity and disjoint sets \(D_{i}=\{u_{i}>0\}\) such that
It is easy to see that (1.6) is simply a special case of (1.8) for \(m=2\). We remark that (1.8) is locally a two-phase problem in the set \(\mathbb {R}^{n}{\setminus } \bigcup _{\ell \ne i,j} \overline{D_{\ell }}\), which excludes all points in \(\partial D_{i}\cap \partial D_{j}\), therefore it is not easy to establish quadrature identities similar to (1.5) for multi-phase case. One can think about the Lakes of Wada, which are three disjoint connected open sets of the plane or open unit square with the counter-intuitive property that they all have the same boundary. Indeed, one can also construct a countable infinite number of disjoint connected open sets of the plane with the same boundary.
According to [1], inspired by the segregation problem [11], they minimize some suitable energy functional so that the minimizer satisfies (1.8). In other words, the supports of densities \(u_{i}\) have to satisfy a suitable optimal partition problem in \(\mathbb {R}^{n}\).
Not only the multi-phase problem which we considered, there are also some other type of segregation problem, for example [8]: they minimize the Dirichlet functional (say)
where \(f_\epsilon (u) \) is chosen such that the functional gets huge penalties, say \(1/\epsilon \), on the set \(\left\{ u_i> 0\right\} \cap \left\{ u_j > 0\right\} \), and the limit of this functional leads to a segregation of the supports of the components. The work [1] or the equation (1.8) strongly suggests studying the following model equation: We want to find functions \(u_{i} \ge 0\) with disjoint positivity sets \(D_{i}=\{u_{i}>0\}\) such that
where \(k_{i} \ge 0\), \(\lambda _{i} \ge 0\) and \(\mu _{i} \in \mathscr {E}'(\mathbb {R}^{n})\), for some open domain \(\Omega \). We refer to such k-tuple of domains \((D_{1},\cdots ,D_{m})\) as the multi-phase \((k_{1},\cdots ,k_{m})\)-quadrature domain (in \(\Omega \)).
1.3 Applications: acoustic waves and magnetic fields
1.3.1 Inverse scattering in acoustic waves
To provide motivation for this study, we initially establish a connection between the two-phase problem (1.7) and the inverse scattering problem for acoustic waves. We consider the acoustic scattering problem governed by the wave equation \(c(x)^{-2}\partial _{t}^{2}U - \Delta U=0\), where c is the velocity of sound in the given medium. The acoustic wave with a fixed frequency (wave number) \(k_{0}>0\) corresponds to solutions of the form \(U(x,t)=e^{\textbf{i}k_{0}t}u_{\tilde{\rho }}(x)\), where the total field \(u_{\tilde{\rho }}\) satisfies the (inhomogeneous) Helmholtz equation
where (for simplicity) we have set \(\tilde{\rho } = \tilde{\rho } (x) = c(x)^{-2} \). Later, we will also explain that (1.9) models the cylindrical magnetic field; refer to Sect. 1.3.2 below.
If we expose the medium with an incoming wave \(u_{0}\) that solves
then the total field \(u_{\tilde{\rho }}\), which verifies (1.9), has the form \(u_{\tilde{\rho }} = u_{0}+u^\textrm{sc}\) for some scattered wave \(u^\textrm{sc}\), which is outgoing. Classical scattering theory [9, 10, 31] guarantees the existence and uniqueness of such an outgoing scattered field \(u^\textrm{sc}\in H_\textrm{loc}^{1}(\mathbb {R}^{n})\).
In order to define non-scattering phenomenon, we need to recall some background in the topic. Indeed, we first recall that a solution v of \((\Delta + k_{0}^{2})v=0\) in \(\mathbb {R}^{n}{\setminus } B_{R}\) \((\text {for some }R>0)\) is outgoing if it satisfies the Sommerfeld radiation condition
where \(\partial _{|x |}=\hat{x}\cdot \nabla \) denotes the radial derivative. In this case, the far-field pattern \(v^{\infty }\) of v is defined by
for some normalizing constant \(\gamma _{n,k_{0}}\ne 0\). The Rellich uniqueness theorem [10, 27] implies that \(v^{\infty }\equiv 0\) if and only if \(v=0\) in \(\mathbb {R}^{n}{\setminus } B_{R}\).
To formulate our theorem, regarding applications to acoustic waves, we need the following definition.
Definition
(Non-scattering) Consider two acoustic-penetrable obstacles (medium) \((D_{\pm },\rho _{\pm })\) such that \(D_{+}\cap D_{-}=\emptyset \) with refraction indices (the light bending ability of that medium) \(\rho _{\pm } \in L^{\infty }(D_{\pm })\). We call \(\rho _{\pm } \in L^{\infty }(D_{\pm })\) signed contrasts if \(\rho _{\pm } \ge c > 0\) near \(\partial D_{\pm }\), respectively. For each fixed wave number \(k_{0}>0\), we illuminate the obstacles \((D_{\pm },\rho _{\pm })\) using the incident field \(u_{0}\) as in (1.10), producing a unique total field \(u_{\rho _{\pm }} = u_{0} + u_\textrm{sc}\) (see (1.9)) satisfying
We say that the pair of obstacles \((D_{\pm },\rho _{\pm })\) is non-scattering with respect to the incident field \(u_{0}\) if \(u_\textrm{sc}=0\) outside \(B_{R}\) for some sufficiently large \(R>0\).
Remark
If \((D_{\pm },\rho _{\pm })\) is non-scattering and \(u_{0}\) is real-valued, then by taking the real and imaginary parts of (1.12), one sees that \(u_{\rho \pm }\) must be real-valued.
Theorem 1.1
Let \(k_{0} \ge 0\), \(k_{\pm } \ge 0\), \(\lambda _{\pm } > 0\) and \(\mu _{\pm } \in \mathscr {E}'(\mathbb {R}^{n})\). Suppose that there exists a solution \(\tilde{u} \in \mathscr {E}'(\mathbb {R}^{n})\) of the two-phase problem (1.7) with
If there exists an incident field \(u_{0}\) of \((\Delta + k_{0}^{2})u_{0}=0\) in \(\mathbb {R}^{n}\) such that \(u_{0}<0\) on \(\partial D_{+} \cup \partial D_{-}\), then there exist contrasts \(\rho _{\pm } \in L^{\infty }(D_{\pm })\) such that the pair of obstacles \((D_{\pm },\rho _{\pm })\) is non-scattering with respect to \(u_{0}\).
Remark
In the above theorem, if the obstacles \(D_{\pm }\) are “touching” each other, i.e., \(\partial D_{+}\cap \partial D_{-} \ne \emptyset \), then the common boundary is a two-phase free boundary:
where \(u_{\rho \pm }\) is given in (1.12). In addition, \(\lim _{D_{\pm }\ni x \rightarrow x_{0}} \rho _{\pm }(x)\) both exist with
for each \(x_{0}\in \partial D_{+} \cap \partial D_{-}\).
Remark
(Existence of incident field \(u_{0}\)) In general \(\hbox {int}(\overline{ D_{+}\cup D_{-}})\) is not a Lipschitz domain. We still can construct such \(u_{0}\) (can be even chosen to be Herglotz wave function (1.22) below) using [34, Theorem 1.2] when \(\partial D_{+}\cup \partial D_{-}\) is contained in a small set.
Proof of Theorem 1.1
From (1.7) and the support condition (1.13), one sees that there exists a neighborhood U of \(\partial (D_{+}\cup D_{-}) \equiv \partial D_{+} \cup \partial D_{-}\) in \(\mathbb {R}^{n}\) such that
where
By continuity of \(\tilde{u}\) in U and \(\left. \tilde{u}\right| _{\partial D}=0\), one has \(|h | \ge \frac{1}{2} \min \{\lambda _{+},\lambda _{-}\} > 0\) near \(\partial D\) in D. Now, the theorem (and the following remark) can be proved by following the exact same argument as in [36, Theorem 2.4] (with \(g\equiv 0\)) and the discussions following the theorem. \(\square \)
1.3.2 Connection with magnetic fields
The Helmholtz equation is fundamental for understanding the spatial characteristics of electromagnetic fields, which provides a mathematical framework to describe how electromagnetic fields propagate and vary in space.
Here, we shall connect the concept developed in this paper to one of the waveguide mode, called the transverse-electric mode (TE-mode), which roughly means that there is no electric field in the direction of propagation, see (1.19) below. In this case, since there is only a magnetic field along the direction of propagation, sometimes we call this waveguide mode the \(\textbf{H}\)-mode. One can refer e.g. the monograph [32] for mode details about this topic.
Let \(\omega _{0} > 0\) denote a frequency, \(\varepsilon _{0}\) represent the electric permittivity in a vacuum, and \(\mu _{0}\) denote the magnetic permeability in a vacuum. The (time-harmonic) magnetic field \(\textbf{H} = (H_{1}, H_{2}, H_{3})\) in a medium with zero conductivity is governed by the equation
where \(k_{0} = \omega _{0}\sqrt{\varepsilon _{0}\mu _{0}} > 0\) is the wave number. In this equation, \(\varepsilon (x)\) signifies the electric permittivity in the medium, and \(\sigma (x)\) represents its conductivity; for further details, refer to [31, (5.18)–(5.19)] or [32, (1.8)–(1.9)].
We assume that \(\mathcal {E}= 1\) if and only if \(\varepsilon =\varepsilon _{0}\) and \(\sigma =0\) outside of a bounded domain. When we illuminate the inhomogeneity, supported on \({{\,\textrm{supp}\,}}\,(\mathcal {E}-1)\), using the incident magnetic field \(\textbf{H}_{0}\) that satisfies
then, under certain mild assumptions on \(\varepsilon \) and \(\sigma \) (refer to [31, Theorem 5.5]), there exists a unique scattered magnetic field \(\textbf{H}_\textrm{sc}\) that satisfies the equation
and the Silver-Müller radiation condition
uniformly on all direction \(\hat{x}=x/|x| \in \mathcal {S}^{2}\).
Remark
By using the fact that \(\textrm{div}\,{{\,\textrm{curl}\,}}\equiv 0\) and the curl–curl identity
it is easy to see that (1.16) is equivalent to
It is also noteworthy that the incident field satisfies the equation
and by direct computations, one can easily see that \(\Delta (x\cdot \textbf{H}_{0}) + k_{0}^{2}(x\cdot \textbf{H}_{0})=0\) in \(\mathbb {R}^{3}\). The curl–curl identity (1.17) can be extended for dimension \(n \ge 2\) in terms of n-dimensional curl and its formal transpose. This even can be further extended to the symmetric tensors case in terms of Saint Venant operator [28].
In practical application, one usually illuminates the inhomogeneity using the superposition of plane waves, which called the Herglotz wave:
where
The radiation condition for electromagnetic field is usually called the Silver-Müller radiation condition, which is closely related to (see [32, Corollary 2.53]) Sommerfeld radiation condition (1.11) and the far-field operator is analogously defined by the far-field amplitude of the scattered field. In fact, one can reconstruct \({{\,\textrm{supp}\,}}\,(\mathcal {E}-1)\) from the far-field amplitude [31].
In the case when both \(\mathcal {E}\) and \(\textbf{H}\) are cylindrical, i.e. independent to the variable \(x_{3}\), we see that the third component \(H_{3}(x')\) of \(\textbf{H}\) in (1.16) satisfies the isotropic elliptic equation
where \(\nabla '\) and \(\textrm{div}'\) are gradient and divergence operator on \(\mathbb {R}^{2}\). In this case, we usually not interested in the first two components \(H_{1}\) and \(H_{2}\), and we simply put \(H_{1}\equiv H_{2} \equiv 0\), and this situation is called the magnetic mode (\(\textbf{H}\)-mode) or transverse-electric mode (TE-mode) [32, p. 11].
If \(\mathcal {E}\in C^{2}(\mathbb {R}^{2})\) and is real-valued (iff \(\sigma \equiv 0\)), one can rewrite (1.19) as the Helmholtz equation:
with \(u = (\mathcal {E}(x'))^{\frac{1}{2}} H_{3}(x')\) and \(q(x')= - (\mathcal {E}(x'))^{\frac{1}{2}} \Delta ' \left( (\mathcal {E}(x'))^{-\frac{1}{2}} \right) \), where \(\Delta ' = \textrm{div}' \nabla '\) is the Laplacian on \(\mathbb {R}^{2}\), see e.g. [37, (0.2)–(0.3)]. We can formulate similar inverse problems involving the reconstruction of q from the knowledge of the far-field operator (1.23). After recovering q, we then finally recover \(\mathcal {E}\) by solving the following elliptic boundary-value problem:
by choosing suitable large \(R>0\). We can construct \(q = \rho _{+}\chi _{D_{+}} - \rho _{-}\chi _{D_{-}}\) as described in Theorem 1.1, and then construct \(\mathcal {E}= \mathcal {E}(x_{1},x_{2})\) by solving (1.21). Formally, this is non-scattering with respect to some incident \(\textbf{H}\)-mode/TE-mode magnetic field.
1.3.3 Some related application
We now revisit the Helmholtz equation, selecting \(u^\textrm{inc}\) as the superposition of the plane incident wave, expressed as the Herglotz wave function:
where \(f \in L^{2}(\mathcal {S}^{n-1})\). Consequently, we consider the far-field operator:
Here, \(u^{\infty }(\theta ',\theta )\) represents the far-field of the scattered field corresponding to the incident plane wave \(e^{\textbf{i}kx\cdot \theta }\).
Combining results from [37, 43], if \(k^{2}\) is not a Dirichlet eigenvalue of \(-\Delta \) on D, it can be shown that \(\rho \chi _{D}\) can be uniquely determined from the far-field operator (1.23). Refer to [26] for a log-type stability estimate, which is nearly optimal [29]. See also [16, Appendix B]. In practice, obtaining only finitely many measurements \(\left\{ u^\textrm{inc}[f_{i}]:i=1,\cdots ,N\right\} \) is feasible. However, based on nonscattering results in Theorem 1.1 above (also see [33, 36]), it is generally impossible to determine \(\rho \chi _{D}\) solely from a single measurement \(u^\textrm{inc}[f_{1}]\). Thus, one should not expect to always determine \(\rho \chi _{D}\) from finitely many measurements \(\left\{ u^\textrm{inc}[f_{i}]:i=1,\cdots ,N\right\} \).
Intuitively, one can approximate the far-field operator (1.23) using \(\left\{ u^\textrm{inc}[f_{i}]:i\!=\!1,\cdots ,N\!\right\} \) for large N. For instance, choosing \(f_{i}\) as the eigenfunction of the Laplace-Beltrami operator on \(\mathcal {S}^{n-1}\) is a possible approach. This intuition can be validated in a probabilistic sense (with randomly chosen samples \(f_{1},\cdots ,f_{N}\) with a large N), as seen in [16]. In simple terms, while one might fail to determine \(\rho \chi _{D}\) from the knowledge of \(\left\{ u^\textrm{inc}[f_{i}]:i=1,\cdots ,N\right\} \) for randomly chosen \(f_{1},\cdots ,f_{N}\), the probability of such a situation occurring decreases as the sample size N increases.
2 Multiphase problem through minimization
2.1 Main results
We now delve into the exploration of the existence of two-phase \((k_{1},k_{2})\)-quadrature domains (1.7). Let \(\Omega \subset \mathbb {R}^{n}\) be a bounded Lipschitz domain in \(\mathbb {R}^{n}\) (\(n \ge 2\)). The function space \(C_{c}^{\infty }(\Omega )\) consists of \(C^{\infty }(\mathbb {R}^{n})\) functions supported in \(\Omega \), and \(H_{0}^{1}(\Omega )\) is the completion of \(C_{c}^{\infty }(\Omega )\) with respect to the \(H^{1}(\Omega )\)-norm.
For each \(f_{1},\ldots ,f_{m} \in L^{\infty }(\mathbb {R}^{n})\) and \(\textbf{k}=(k_{1},\ldots ,k_{m})\) with \(k_{1},\ldots ,k_{m}\ge 0\), we consider the functional
for \(\textbf{u}=(u_{1},\ldots ,u_{m})\in (H^{1}(\Omega ))^{m}\). We define
Similar to [11], we refer to the elements in \(\mathbb {S}_{m}(\Omega )\) as segregated states. A state \(\textbf{u}=(u_{1},\ldots ,u_{m})\in (H^{1}(\Omega ))^{m}\) is called segregated if \(u_{i}\cdot u_{j}=0\) for all \(i\ne j\).
The primary focus of this paper is to investigate the following minimization problem:
The situation where \(\textbf{k}\equiv \textbf{0}\) was examined in [1], and an application from control theory was presented. Also in [36], the functional \(\mathcal {J}_{k_{i}}\) was investigated for sufficiently small \(k_{i} > 0\).
By using [36, Lemma 3.1], it is easy to see that \(\mathcal {J}_{\textbf{k}}\) is unbounded from below in \(\mathbb {S}_{m}(\Omega )\) if \(k_{i}>k_{*}\) for some \(i \in \{1,\cdots ,m\}\), where
is the first Dirichlet eigenvalue of \(\Omega \). When \(0\le k_{i}<k_{*}\) for all \(i=1,\cdots ,m\), by using [36, Lemma 3.4], we know that \(\mathcal {J}_{\textbf{k}}\) is weakly lower semi-continuous on \((H_{0}^{1}(\Omega ))^{m}\). Since the set \(\mathbb {S}_{m}(\Omega )\) is closed in \((H_{0}^{1}(\Omega ))^{m}\), by following the standard arguments of calculus of variations (as in [36, Proposition 3.6]) one can show that
We show that the difference \(u_{*,i}-u_{*,j}\) locally satisfies the two-phase obstacle equation.
Theorem 2.1
Let \(\Omega \) be a bounded Lipschitz domain in \(\mathbb {R}^{n}\), let \(0 \le k_{i} < k_{*}\) and \(f_{i}\in L^{\infty }(\Omega )\) for all \(i=1,\cdots ,m\). If \(\textbf{u}_{*}=(u_{*,1},\cdots ,u_{*,m})\) is a segregated ground state of the energy functional \(\mathcal {J}_{\textbf{k}}\), i.e. a minimizer of the functional \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {S}_{m}(\Omega )\), then
where \(\Omega _{i} = \{u_{*,i}>0\}\) for all \(i=1,\cdots ,m\).
Remark
As mentioned above, we assume \(\Omega \) has Lipschitz boundary in order to guarantee (2.4), see also [36, Remark 3.5].
When \(m=2\), the functional \(\mathcal {J}_{k_{1},k_{2}} \equiv \mathcal {J}_{\textbf{k}}\) reads
and the minimization problem (2.2) reads:
Similar to [14], we consider the functional
with \(f_{1},f_{2} \in L^{\infty }(\Omega )\), and the minimization problem
In fact, the minimizing problems (2.6) and (2.7) are equivalent in the following sense:
This can be proved by following the arguments in [1, Theorem 2] and the observation
When \(0 \le k_{1},k_{2} < k_{*}\), by using (2.4), one immediately sees that there exists a minimizer \(\tilde{u}\) of the functional \(\tilde{\mathcal {J}}_{k_{1},k_{2}}\) in \(H_{0}^{1}(\Omega )\). Consequently, from Theorem 2.1, we can easily conclude that: If \(\tilde{u}\) is a minimizer of the functional \(\tilde{J}_{k_{1},k_{2}}\) in \(H_{0}^{1}(\Omega )\), then
Therefore the two-phase problem (1.7) is a special case of the multi-phase problem (2.5). We also exhibit some interesting point in Appendix A.
By using approximation theorem, we are also able to extend the existence result for the solution of the local two-phase problem (2.5) for \(f_{i} = \mu _{i} - \lambda _{i}\) when \(\mu _{i}\) is a measure.
Theorem 2.2
Let \(\Omega \) be a bounded Lipschitz domain in \(\mathbb {R}^{n}\), let \(0 \le k_{i} < k_{*}\), let \(\lambda _{i}\) be positive \(L^{\infty }(\Omega )\) functions with \(\lambda _{i} \ge c > 0\) in \(\Omega \), and let \(\mu _{i} \in \mathscr {E}'(\Omega )\). Then there exists at least one solution \(\textbf{u}_{*}=(u_{*,1},\cdots ,u_{*,m})\) of (2.5) with \(f_{i}=\mu _{i}-\lambda _{i}\).
In [36, Proposition 3.6] it is shown that there exists a minimizer \(v_{*,i}\) of the functional \(\mathcal {J}_{k_{i}}\) in \(\mathbb {K}_{1}(\Omega )\). In this case, by using the Euler-Lagrange equation, one can prove that such a minimizer \(v_{*,i}\) of the functional \(\mathcal {J}_{k_{i}}\) is unique in \(\mathbb {K}_{1}(\Omega )\). This implies thatFootnote 2
However, at this point, we do not know whether \(\textbf{v}{*}\) is segregated (i.e., \(v_{i}\cdot v_{j}=0\) for all \(i\ne j\)) or not. We can compare the supports of minimizers in (2.2) with \(\text {supp}(v_{*,i})\) as presented in the following theorem.
Theorem 2.3
Let \(\Omega \) be a bounded Lipschitz domain in \(\mathbb {R}^{n}\), let \(k_{1}=\cdots =k_{m}=k\) with \(0 \le k < k_{*}\) and let \(f_{i} \in L^{\infty }(\Omega )\) for all \(i=1,\cdots ,m\). Then for each minimizer \(\textbf{u}_{*}=(u_{*,1},\cdots ,u_{*,m})\) of the functional \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {S}_{m}(\Omega )\) one has
where \(\textbf{v}_{*}=(v_{*,1},\cdots ,v_{*,m})\) is given in (2.10).
Suppose that for each \(i=1,2,\cdots ,m\) we are given the non-negative distribution \(\mu _{i}\) which is sufficiently concentrated near \(x_{i}\in \mathbb {R}^{n}\) in the sense of
and
for some constants \(\epsilon _{i}>0\) and \(\lambda _{i}>0\), where \(\Gamma \) is the standard Gamma function, \(J_{\alpha }\) is the Bessel functions of order \(\alpha \) of the first kind, and \(j_{\alpha ,m}\) is the mth positive root of \(J_{\alpha }\). We now fix a parameter \(0< \beta < j_{\frac{n-2}{2},1}\). By using [36, Theorem 7.6], for each \(k>0\) satisfying
there exists a non-negative function \(v_{*,i} \in C_\textrm{loc}^{0,1}(\mathbb {R}^{n})\) such that
with the support condition
where
Here, \(Q_{i}\) is a (1-phase) k-quadrature domain corresponding to \(\mu _{i}\) and positive constant \(\lambda _{i}\). In addition, such \(v_{*,i}\) is also the unique minimizer of \(\mathcal {J}_{k}\) with \(f_{i}=\mu _{i}-\lambda _{i}\chi _{Q_{i}}\) in \(\mathbb {K}_{1}(\Omega )\). Hence we see that \(\textbf{v}_{*}=(v_{*,1},\cdots ,v_{*,m})\) is the unique minimizer of the functional \(\mathcal {J}_{\textbf{k}}\) with \(\textbf{k}=(k,k,\cdots ,k)\) and \(f_{i}=\mu _{i}-\lambda _{i}\chi _{Q_{i}}\) in \(\mathbb {K}_{m}(\Omega )\). When \(\mu \) is bounded, the above also holds true by replacing \(\tilde{\mu }\) with \(\mu \).
It is important to notice that \(Q_{i}\) may not be disjoint even in the case when \({{\,\textrm{supp}\,}}\,(\mu _{i})\cap {{\,\textrm{supp}\,}}\,(\mu _{j})=\emptyset \) for all \(i\ne j\). In this case, we need to shrink \(Q_{i}\) into \(\{u_{*,i}>0\}\) in the sense of Theorem 2.3.
An essential component of the theory of quadrature domains involves the relationship:
From Theorem 2.3, it becomes evident that a prerequisite for (2.13) is expressed by:
In this scenario, for each \(i=1,\ldots ,n\), it can be observed that \(Q_{i}\) represents a one-phase k-quadrature domain corresponding to \(\mu _{i}\). This observation prompts the formulation of sufficient conditions for (2.13) in terms of 1-phase k-quadrature domains.
The following theorem exhibits some sufficient condition to guarantee the following weaker support condition:
where \(\textbf{u}_{*}=(u_{*,1},\cdots ,u_{*,m})\) is a minimizer of the functional \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {S}_{m}(\Omega )\):
Theorem 2.4
Let \(\Omega \) be a bounded Lipschitz domain and let \(0<k<k_{*}\). For each \(i=1,\cdots ,m\), let \(\mu _{i} \in L^{\infty }(\mathbb {R}^{n})\) with \({{\,\textrm{supp}\,}}\,(\mu _{i}) \subset \Omega \) and let \(Q_{i}=\left\{ v_{*,i}>0\right\} \), where \(v_{*,i}\) is the unique minimizer of \(\mathcal {J}_{k_{i}}\) in \(\mathbb {K}_{1}(\Omega )\) with \(k_{i}=k\). Suppose that
and let \(\textbf{k}=(k,k,\cdots ,k)\) and \(f_{i} = \mu _{i}-\lambda _{i}\) for \(i=1,\cdots ,m\). If
for some open sets \(U_{i} \subset {{\,\textrm{supp}\,}}\,(\mu _{i})\), then all minimizers of \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {S}_{m}(\Omega )\) satisfy the support condition
Remark
If \({{\,\textrm{supp}\,}}\,(\mu _{i})=\overline{\textrm{int}\,({{\,\textrm{supp}\,}}\,(\mu _{i}))}\), then we can guarantee (2.14) by choosing \(U_{i}=\textrm{int}\,({{\,\textrm{supp}\,}}\,(\mu _{i}))\).
2.2 Proofs of the theorems
By modifying the ideas in [1, Proposition 1], we now prove Theorem 2.1.
Proof of Theorem 2.1
Let \(\psi \in C_{c}^{\infty }\) be non-negative such that \({{\,\textrm{supp}\,}}\,(\psi ) \subset \Omega {\setminus } \bigcup _{k\ne i,j} \overline{\Omega _{k}}\). Given any \(\epsilon >0\), we define
If we define \(\textbf{z}:= (z_{1},z_{2},\cdots ,z_{m})\) as
then \(\textbf{z}\in \mathbb {S}_{m}(\Omega )\). Since \(\left. u_{*,j} \right| _{\Omega {\setminus } Q_{\epsilon }}=0\), \(u_{*,i} = (u_{*,i}-u_{*,j})_{+}\) and \(u_{*,i} = (u_{*,i}-u_{*,j})_{-}\), we obtain
where
and
Following the exactly same arguments as in [1, Proposition 1], one can show that
On the other hand, we see that
Since \(u_{*,i}\cdot u_{*,j}=0\), then
as well as
From this, we reach
Combining (2.18), (2.19) and (2.20), we divide the resulting inequality by \(2\epsilon \) and then taking the limit \(\epsilon \rightarrow 0\), we reach
Finally, by interchanging the role of i and j we conclude (2.5). \(\square \)
We are now in position to prove Theorem 2.2, which can be done similarly to [1, Theorem 5].
Proof of Theorem 2.2
For each \(\mu _{i}\), we choose the sequence \(\mu _{i}^{n} \in C_{c}^{\infty }(\Omega )\) such that \(\mu _{i}^{n} \rightarrow \mu _{i}\) in \(\mathscr {E}'(\Omega )\). We choose \(f_{i}^{n} = \mu _{i}^{n} - \lambda _{i}\), and it is clear that \(f_{i}^{n}\rightarrow f_{i}:= \mu _{i} - \lambda _{i}\) in \(\mathscr {E}'(\Omega )\). We consider the functional
By (2.4), for each \(n\in \mathbb {N}\) there exists a minimizer \(\textbf{u}_{*}^{n}\) of the functional \(\mathcal {J}_{\textbf{k}}^{n}\) in \(\mathbb {S}_{m}(\Omega )\). By using Theorem 2.1, such minimizer satisfies
Since the support of the minimizers \(\textbf{u}_{*}^{n}\) remain in a compact set \(\overline{\Omega } \times \cdots \times \overline{\Omega }\), there exists a subsequence which is weak-\(*\) convergent as distributions to a limit \(\textbf{u}_{*}\), which satisfies (2.5) with \(f_{i}=\mu _{i}-\lambda _{i}\). \(\square \)
For later convenience, we introduce the notation
We now prove Theorem 2.3 by modifying the ideas in [1, Theorem 1].
Proof of Theorem 2.3
Let \(\textbf{u}_{*}=(u_{*,1},\cdots ,u_{*,m}) \in \mathbb {S}_{m}(\Omega )\) be a minimizer of the problem (2.4). Since
and \(k_{1}=k_{2}=\cdots =k_{m}\in [0,k_{*})\), then
Since \(\min \{\textbf{u}_{*},\textbf{v}_{*}\}\in \mathbb {S}_{m}(\Omega )\), then
Hence we reach
Since \(\max \{\textbf{u}_{*},\textbf{v}_{*}\} \in \mathbb {K}_{m}(\Omega )\) and \(\textbf{v}_{*}\) is the unique minimizer of \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {K}_{m}(\Omega )\), then
which proves our lemma. \(\square \)
We are now in position to prove Theorem 2.4 by modifying the ideas in [1, Theorem 7] or [14, Theorem 5.1].
Proof of Theorem 2.4
Let \(\textbf{u}_{*}=(u_{*,1},\cdots ,u_{*,m})\) be a minimizer of \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {S}_{m}(\Omega )\) with \(\textbf{k}=(k,k,\cdots ,k)\). The remaining task is to prove the support condition (2.17). In order to do this, we only need to show
Suppose the contrary, assuming the existence of \(i_{0}\) such that \(U_{i_{0}} \setminus {{\,\textrm{supp}\,}}\,(u_{*,i_{0}}) \ne \emptyset \). Let’s fix \(z_{0} \in U_{i_{0}} \setminus {{\,\textrm{supp}\,}}\,(u_{*,i_{0}})\). According to Theorem 2.3, we have \({{\,\textrm{supp}\,}}\,(u_{*,i}) \subset \overline{Q_{i}}\) for all \(i=1,\ldots ,m\). Consequently, using (2.15), it is evident that \(z_{0} \in U_{i_{0}} {\setminus } \tilde{\Omega }\), where \(\tilde{\Omega }=\bigcup _{i=1}^{m} {{\,\textrm{supp}\,}}\,(u_{*,i})\). Since \(\tilde{\Omega }\) is compact and \(U_{i_{0}}\) is open, we can find \(0<R<\beta k^{-1}\) with \(0< \beta < j_{\frac{n-2}{2},1}\) such that \(\overline{B_{R}(z_{0})} \cap \tilde{\Omega } =\emptyset \) and \(B_{R}(z_{0})\subset U_{i_{0}}\).
Let \(0< \varepsilon < M\) be such that
Let \(0<r<R\) be a constant to be determined later, and we define
It is easy to see that
Since the mapping \(t \mapsto t^{\frac{n}{2}} J_{\frac{n}{2}}(kt)\) is monotone increasing on \((0,\beta k^{-1})\), we can choose \(r>0\) sufficiently small so that
and hence
The sufficient condition of [36, Proposition 7.4] can be verified by (2.16) and (2.21), and one sees that
where \(\tilde{v}_{*,i_{0}}\) is the unique minimizer to the functional
in \(\mathbb {K}_{1}(B_{\beta k^{-1}}(z_{0}))\). Since \(B_{R}(z_{0}) \subset \Omega \), then in particular \(\tilde{v}_{*,i_{0}}\) is also the unique minimizer to the functional
in \(\mathbb {K}_{1}(\Omega )\). The second inclusion in (2.22) implies \(\{\tilde{v}_{*,i_{0}}>0\}\ne \emptyset \), therefore \(\mathcal {J}_{k,\nu _{i_{0}},\lambda _{i_{0}}}(\tilde{v}_{*,i_{0}})<0\).
Since \(\overline{B_{R}(z_{0})}\cap \tilde{\Omega }=\emptyset \), then first inclusion in (2.22) implies \({{\,\textrm{supp}\,}}\,(\tilde{v}_{*,i_{0}})\cap \tilde{\Omega }=\emptyset \), therefore
as well as \(\nabla \tilde{v}_{*,i_{0}} \cdot \nabla u_{*,i_{0}}=0\) and \(\tilde{v}_{*,i_{0}} u_{*,i_{0}}=0\). If we consider the functional \(\mathcal {J}_{\textbf{k}}\) with \(\textbf{k}=(k,\cdots ,k)\) and \(f_{i} = \mu _{i}-\lambda _{i}\), then we see that
which contradicts the minimality of \(\textbf{u}_{*} \in \mathbb {S}_{m}(\Omega )\).
Therefore, we conclude that \(U_{i}\setminus {{\,\textrm{supp}\,}}\,(u_{*,i})=\emptyset \) for all \(i=1,\cdots ,m\), which is equivalent to \(U_{i} \subset {{\,\textrm{supp}\,}}\,(u_{*,i})\) for all \(i=1,\cdots ,m\), which concludes our theorem. \(\square \)
3 Two-phase problem through partial balayage
3.1 Main results
It appears that Theorem 2.4 does not ensure the crucial support condition (1.13) in our application. Even for the one-phase case with \(k=0\) there is no simple way to guarantee the support condition. To address this limitation, we slightly refine Theorem 2.4 specifically for the case of \(m=2\), as presented in Theorem 3.1 below. This refinement employs a potential-theoretic analysis known as partial balayage [17, 19, 22,23,24]. The framework adopted here largely follows the concepts outlined in [18, 19]. For ease of discussion, we introduce the same terminologies as in [19].Footnote 3
Definition
Let \(k > 0\). A function s that is upper semicontinuous (USC) and satisfies \((\Delta + k^{2})s \ge 0\) in the sense of distributions will be referred to as k-metasubharmonic.
Similarly, s will be termed k-metasuperharmonic if \(-s\) is k-metasubharmonic. Additionally, we use the term k-metaharmonic when s is both k-metasubharmonic and k-metasuperharmonic.
The partial balayage heavily relies on the following concept:
Definition
We say that the k-maximum principle holds on a domain (i.e. open and connected) \(\Omega \subset \mathbb {R}^{n}\) if the following properties holds: Every k-metasubharmonic function s which is bounded from above and satisfies
must also satisfy \(s\le 0\) in \(\Omega \).
We introduce the number
It is worth mentioning that there exists a positive eigenfunction h of \(-\Delta \) corresponding to \(\tilde{k}_{*}=\tilde{k}_{*}(\Omega )\), meaning
as stated more precisely in [4, Theorem 2.1]. Importantly, it is also noted that \(\tilde{k}_{*}(\Omega )=k_{*}(\Omega )\), where \(k_{*}\) is the number given in (2.3), a result that holds true for arbitrary bounded domains \(\Omega \), as shown in [19, Proposition 2.6]. The connectedness of \(\Omega \) is crucial here. Additionally, it was demonstrated in [19, Proposition 2.8] that the following are equivalent (see also [4, Theorem 1.1]):
-
(i)
the k-maximum principle holds on \(\Omega \);
-
(ii)
\(0 \le k < k_{*}\);
-
(iii)
there is a positive k-metasuperharmonic function on \(\Omega \) which is not a multiple of h;
-
(iv)
there is a k-metaharmonic function \(v\ge 1\) in \(\Omega \).
By imitating some ideas in [17, 18], we now introduce a version of partial balayage which is slightly general than the one in [19, Section 3]. Let \(k>0\). Given an open set \(D \subset \mathbb {R}^{n}\) and a positive measure \(\mu \) with compact support in \(\mathbb {R}^{n}\), we define
where the potential is given by
We simply denote
Obviously \(\mathscr {F}_{k}(\mu ) \subset \mathscr {F}_{k,D}(\mu )\), and by [19, Theorem 1.4], one can guarantee \(\mathscr {F}_{k}(\mu ) \ne \emptyset \), and so is \(\mathscr {F}_{k,D}(\mu )\), when \(k>0\) is sufficiently small such that
where
see also [19, Corollary 3.21 and Corollary 3.22] for some refinements.
By using the ideas in [19, Lemma 2.4], which involves Kato’s inequality for the Laplacian [5] (see also [18, Corollary 2.3]), one sees that
Standard potential theoretic arguments [2, Section 3.7] now show that \(\mathscr {F}_{k,D}(\mu )\) has a largest element, which has a USC representative. We denote this function by \(V_{k,D}^{\mu }\), which also can be referred to as the partial reduction of \(U_{k}^{\mu }\) [17]. Accordingly, we can define the non-contact set by
and the partial balayage is defined by
Obviously one has \(V_{k}^{\mu } \le V_{k,D}^{\mu }\) and \(\omega _{k,D}(\mu ) \subset \omega _{k}(\mu ) \cap D\) for any open set D. If we further assume that
since \(\omega _{k}(\mu )\) is bounded, then one can choose \(\epsilon >0\) such that
again using [19, Theorem 1.4], we see that \(\mathscr {F}_{k}(\mu + \epsilon \textsf{m}|_{\omega _{k}(\mu )}) \ne \emptyset \). Consequently, by using [19, Theorem 3.9] we see that
By using the fact \(V_{k,D}^{\mu }=U_{k}^{\mu }\) in \(\mathbb {R}^{n}{\setminus } D\), one can easily verify that
Following the same arguments as in [17, 19], similar to [18, (5)] or [42, (4)], one also can show that there exists a measure \(\nu \ge 0\) which is supported on \(\partial D \cap \partial \omega _{k,D}(\mu )\) such that
where \(\textsf{m}\) is the usual Lebesgue measure. In addition, \({{\,\textrm{Bal}\,}}_{k,D}(\mu ) \le 1\) in D. Here and after, we identify \(\textsf{m}\) with 1. When \(D=\mathbb {R}^{n}\), the above definitions are identical to the one mentioned in [19].
We will prove the following analogue to [18, Theorem 5.1].
Theorem 3.1
(See (3.15) below for a more precise description) Let \(\mu _{\pm }\) be positive measures with disjoint compact supports in \(\mathbb {R}^{n}\), and let \(k>0\) satisfies
If
and additionally assume that
then there exist two disjoint open bounded sets \(D_{\pm }\) such that \((D_{+},D_{-})\) is a two-phase (k, k)-quadrature domain, in the sense of (1.7), with \(\lambda _{+}=\lambda _{-}=1\), which the support condition (1.13) holds.
By combining Theorem 3.1 and [33, Theorem 7.1 and Remark 7.2], we also can prove the following result:
Theorem 3.2
Let \(\mu _{\pm }\) be positive measures with disjoint compact supports in \(\mathbb {R}^{n}\). There exists a positive constant \(c_{n}\) depending only on dimension n such that the following statement holds true: If \(k>0\) satisfies
and \(\mu _{\pm }\) satisfy (3.4) as well as the concentration condition
then there exist two disjoint open bounded sets \(D_{\pm }\) such that \((D_{+},D_{-})\) is a two-phase (k, k)-quadrature domain, in the sense of (1.7), with \(\lambda _{+}=\lambda _{-}=1\), which the support condition (1.13) holds.
3.2 Proofs of the theorems
Given a signed measure \(\mu =\mu _{+}-\mu _{-}\) with compact support and a Borel function \(u:\mathbb {R}^{n}\rightarrow [-\infty ,+\infty ]\), we define the signed measure
We recall the properties of \(\eta \):
Lemma 3.3
([18, Lemma 4.1]) Let \(u,u_{1},u_{2}:\mathbb {R}^{n}\rightarrow [-\infty ,+\infty ]\) be Borel measurable functions, \(\mu ,\mu _{1},\mu _{2}\) be signed measures with compact supports, and \(A \subset \mathbb {R}^{n}\) be a Borel set. Then
-
(a)
\(\eta (-u,-\mu )=-\eta (u,\mu )\);
-
(b)
\(\mu -1 \le \eta (u,\mu ) \le \mu + 1\); and
-
(c)
\(u_{1}|_{A}\le u_{2}|_{A}\) and \(\mu _{1}|_{A} \ge \mu _{2}|_{A}\) imply \(\eta (u_{1},\mu _{1})|_{A} \ge \eta (u_{2},\mu _{2})|_{A}\).
Similar to [18, Section 2.2], by a \(\delta \)-k-metasubharmonic function on an open set \(\Omega \) we mean a function \(w = s_{1}-s_{2}\) for some k-metasubharmonic functions \(s_{1}\) and \(s_{2}\) on \(\Omega \), which is well-defined outside the polar set where \(s_{1}=s_{2}=-\infty \). By using exactly same ideas there, we also can refine this observation using the fine topology: As a distribution, \(-(\Delta + k^{2})w\) is locally a signed measure, and there exists a unique decomposition
where \((-(\Delta + k^{2})w)_\textrm{d}\) does not charge polar sets and \((-(\Delta + k^{2})w)_\textrm{c}\) is carried by a polar set. We always assign values to a \(\delta \)-k-metasubharmonic function in the following way (without explicitly mention after that):
where \((-(\Delta + k^{2})w)_\textrm{c} = ((-(\Delta + k^{2})w)_\textrm{c})_{+} - ((-(\Delta + k^{2})w)_\textrm{c})_{-}\) is the Jordan decomposition of \((-(\Delta + k^{2})w)_\textrm{c}\).
It is convenient to define \(W_{k,D}^{\mu }:= U_{k}^{\mu } - V_{k,D}^{\mu }\), whence \(W_{k,D}^{\mu }\) is lower semicontinuous (we use the abbreviation “LSC”), and we also denote \(W_{k}^{\mu }:= W_{k,\mathbb {R}^{n}}^{\mu }\). We now define
Fix any \(\varphi \in C^{\infty }(\mathbb {R}^{n})\) with \((\Delta +k^{2})\varphi =1\), we also can consider the collection
where the elements of \(\tau _{k,\mu }'\) are suitably refined on a polar set to make them k-metasuperharmonic. When \(k=0\), one can simply choose \(\varphi (x)=|x |^{2}/2n\). We now modify [18, Lemma 4.2] in the following lemma:
Lemma 3.4
Let \(\mu _{\pm }\) be positive measures with disjoint compact supports in \(\mathbb {R}^{n}\), and let \(k>0\) satisfies (3.1a) with respect to \(\mu _{\pm }\). If \(v_{1},v_{2} \in \tau _{k,\mu }'\) with \(\mu =\mu _{+}-\mu _{-}\), then \(\min \{v_{1},v_{2}\} \in \tau _{k,\mu }'\).
Proof
Let \(v_{1},v_{2} \in \tau _{k,\mu }'\) and write \(v_{i} = w_{i} + U_{k}^{\mu _{-}} - \varphi \) where \(w_{i} \in \tau _{k,\mu }\). Following the arguments in [18, Lemma 4.2], by using [19, Lemma 2.4] one can show that \(\min \{v_{1},v_{2}\}\) is \(\delta \)-k-metasubharmonic function and \(\min \{w_{1},w_{2}\} \ge -W_{k}^{\mu _{-}}\) in \(\mathbb {R}^{n}\), as well as
By using Kato’s inequality for Laplacian, one further computes that
we conclude our lemma. \(\square \)
We can prove the following two technical lemmas by employing the ideas presented in [18, Theorem 4.3].
Lemma 3.5
Let \(\mu _{\pm }\) be positive measures with disjoint compact supports in \(\mathbb {R}^{n}\), and let \(k>0\). Consider \(u_{1}\) and \(u_{2}\) as \(\delta \)-k-metasubharmonic functions with
for some open set \(\tilde{\Omega }\) such that the k-maximum principle (i)–(iv) holds. If \(-(\Delta +k^{2}) u_{1} \ge \eta (u_{1},\mu )\) and \(-(\Delta + k^{2})u_{2} \le \eta (u_{2},\mu )\) with \(\mu =\mu _{+}-\mu _{-}\), then it follows that \(u_{2} \le u_{1}\).
Proof
One computes that the function \(v = u_{2} - u_{1}\) satisfies
so \(\left. -(\Delta + k^{2})v \right| _{\{v \ge 0\}} \le 0\). By using the Kato’s inequality as in [19, Lemma 2.4], one sees that
in other words, \(v_{+}\) is k-metasubharmonic. Since \(\{v_{+}>0\} \subset \tilde{\Omega }\), we conclude \(v_{+} \equiv 0\) by k-maximum principle (i)–(iv), which completes our proof. \(\square \)
If we have the assumption (3.3), from the discussions in (3.1c) above we know that \(\left. \mathscr {F}_{k}(\mu _{+}+\mu _{-})\right. \ne \emptyset \) and
By using [19, Lemma 3.3], we have
Based on these observations, we now able to proof the following lemma.
Lemma 3.6
Let \(\mu _{\pm }\) be positive measures with disjoint compact supports in \(\mathbb {R}^{n}\), and let \(k>0\) satisfy (3.3). Consider u as a \(\delta \)-k-metasubharmonic function with \(\{u\ne 0\} \subset \omega _{k}(\mu _{+} + \mu _{-})\). Then the following hold:
-
(a)
If \(-(\Delta + k^{2})u \le \eta (u,\mu )\) with \(\mu =\mu _{+}-\mu _{-}\), then \(u \le W_{k}^{\mu _{+}}\).
-
(b)
If \(-(\Delta + k^{2})u \ge \eta (u,\mu )\) with \(\mu =\mu _{+}-\mu _{-}\), then \(u \ge -W_{k}^{\mu _{-}}\) and so \(u \in \tau _{k,\mu }\).
Proof
First of all, we remind the readers that \(W_{k}^{\mu _{+}}\) is non-negative (see the definition of \(V_{k}^{\mu _{+}}\) and the definition of \(\mathscr {F}_{k}(\mu _{+})\)), \(\delta \)-k-metasubharmonic and has compact support. Since \({{\,\textrm{Bal}\,}}_{k}(\mu _{+}) \le 1\) in \(\mathbb {R}^{n}\), by the structure of partial balayage (3.2) we see that
Consequently, together with Lemma 3.3(c) we compute that
Now we choose \(u_{1} = W_{k}^{\mu _{+}}\), \(u_{2}=u\) and \(\tilde{\Omega } = \omega _{k}(\mu _{+}+\mu _{-})\) in Lemma 3.5 (together with (3.8a)–(3.8b)) to conclude \(u \le W_{k}^{\mu _{+}}\) and we complete the proof of Lemma 3.6(a).
We now replacing \(\mu \) with \(-\mu \) to obtain
where the last equality follows from Lemma 3.3(a). Now we choose \(u_{1}=u\), \(u_{2} = - W_{k}^{\mu _{-}}\) and \(\tilde{\Omega } = \omega _{k}(\mu _{+}+\mu _{-})\) in Lemma 3.5 (together with (3.8a)–(3.8b)) to conclude \(- W_{k}^{\mu _{-}} \le u\) and we complete the proof of Lemma 3.6(b). \(\square \)
We now follow the arguments in [18, Theorem 4.4, Theorem 4.5, Corollary 4.6, and Remark 1] to establish the following lemma.
Lemma 3.7
Let \(\mu _{\pm }\) be positive measures with disjoint compact supports in \(\mathbb {R}^{n}\), and let \(k>0\) satisfies (3.3). If we write \(\mu =\mu _{+}-\mu _{-}\), then the set \(\tau _{k,\mu }\) contains a least element \(\overline{W}_{k}^{\mu }\) with \(\{\overline{W}_{k}^{\mu } \ne 0\} \subset \omega _{k}(\mu _{+}+\mu _{-})\)Footnote 4. If the following support conditions hold:
then both \(D_{\pm }\) are open set in \(\mathbb {R}^{n}\) and the pair of domains \((D_{+},D_{-})\) is a two-phase (k, k)-quadrature domain with \(\lambda _{+}=\lambda _{-}=1\), that is, \(\tilde{u}:= \overline{W}_{k}^{\mu }\) satisfies the model equation (1.7) with \(k_{+}=k_{-}=k\) and \(\lambda _{+}=\lambda _{-}=1\).
We now ready to prove Theorem 3.1.
Proof of Theorem 3.1
We define
and using the disjoint condition between \(\mu _{\pm }\) (3.4) we observe that
Combining (3.5) and (3.10), we reach
By using (3.8b), we see that all the sets mentioned in (3.10) are contained in \(\omega _{k}(\mu _{+}+\mu _{-})\), and thus
For readers’ convenience, we recall (3.8a): \(\omega _{k}(\mu _{+}+\mu _{-})\) satisfies the k-maximum principle (i)–(iv).
On the other hand, by using the structure of partial balayage (3.2), from (3.10) one sees that
In view of the structure of partial balayage (3.2) (with \(D =\mathbb {R}^{n}\)), one observes that \(\mu _{+} \le 1\) outside \(\omega _{k}(\mu _{+})=\{u>0\}\), hence one sees that
Combining (3.13) and (3.12) with Lemma 3.6, we conclude \(u \in \tau _{k,\mu }\), and we reach \(u \ge \overline{W}_{k}^{\mu }\). Consequently, from (3.11) we conclude that
One can similar show that
This means that the support conditions (3.9) are verified by (3.14a) and (3.14b). Using the second part of Lemma 3.7, we can conclude our theorem defining
\(\square \)
Using Theorem 3.1, we can prove Theorem 3.2 following the ideas in [18, Corollary 5.2].
Proof of Theorem 3.2
First of all, let \(c_{n}\) be the small positive constant (depending only on dimension) described in [33, Theorem 7.1]. Let \(x \in {{\,\textrm{supp}\,}}\,(\mu _{+})\) and from (3.7) there exists a decreasing sequence of positive numbers \(\{r_{j}\}\) which converges to 0 such that
If \(\mu _{+}(\{x\})=0\), then from (3.4) we know that there exists j such that
Applying [33, Theorem 7.1] to the measure \(\left. \mu _{+}\right| _{B_{r_{j}}(x)}\) we see that
If \(\mu _{+}(\{x\})>0\), there exists \(\epsilon >0\) such that \(\epsilon \delta _{x} \le \mu _{+}\), using similar arguments as in [19, Lemma 3.3], one can show that
We now combine (3.16) and (3.17) to conclude
Similar arguments also work for \(\mu _{-}\), verifying condition (3.5). Possibly replacing \(c_{n}\) by a smaller constant, still depending only on dimension n, the condition (3.3) can be guaranteed by (3.6). Therefore we conclude Theorem 3.2 using Theorem 3.1. \(\square \)
Data availability
All data needed are contained in the manuscript.
Notes
We define the sets \(\{v>0\}:= \mathbb {R}^{n}{\setminus } \{v \le 0\}\) and \(\{v<0\}:= \mathbb {R}^{n}{\setminus } \{v \ge 0\}\). In the case when \(v \in H^{1}(\mathbb {R}^{n})\) has compact support, the inequalities \(v \ge 0\) and \(v \le 0\) also can be understood in almost-every pointwise (a.e.) sense, see [30, Definition II.5.1 and Proposition 5.2].
Given \(\textbf{v}_{*}'=(v_{*,1}',\cdots ,v_{*,m}') \in \mathbb {K}_{m}(\Omega )\) with \(\textbf{v}_{*}'\ne \textbf{v}_{*}\), i.e. \(v_{*,j}'\ne v_{*,j}\) for some j, one sees that \(v_{*,j}'\) must not the minimizer of \(\mathcal {J}_{k_{j}}\), therefore \(\mathcal {J}_{k_{j}}(v_{*,j}') > \mathcal {J}_{k_{j}}(v_{*,j})\), which implies \(\mathcal {J}_{\textbf{k}}(\textbf{v}_{*}') > \mathcal {J}_{\textbf{k}}(\textbf{v}_{*})\), i.e. the minimizer of \(\mathcal {J}_{\textbf{k}}\) in \(\mathbb {K}_{m}(\Omega )\) is unique.
The approach based on Balayage, does not straightforwardly generalize to multi-phase cases, and one would need to find an enhanced version of it to assure an existence theory with the support-inclusion conditions (1.13).
Since \(W_{k}^{\mu _{+}} \ge 0 \ge -W_{k}^{\mu _{-}}\), then \(W_{k}^{\mu _{+}} \in \tau _{k,\mu }\). By definition of \(\tau _{k,\mu }\) and the minimality of \(\overline{W}_{k}^{\mu }\), one has \(W_{k}^{\mu _{+}} \ge \overline{W}_{k}^{\mu } \ge -W_{k}^{\mu _{-}}\). Consequently by (3.8b), one reaches \(\{\overline{W}_{k}^{\mu } \ne 0\} \subset \omega _{k}(\mu _{+}+\mu _{-})\). This condition is essential when applying Lemma 3.6.
References
Arakelyan, A., Shahgholian, H.: Multi-phase quadrature domains and a related minimization problem. Potential Anal. 45(1), 135–155 (2016). https://doi.org/10.1007/s11118-016-9539-0. arXiv:1511.02779
Armitage, D.H., Gardiner, S.J.: Classical Potential Theory. Springer Monogr. Math. Springer-Verlag, London Ltd, London (2001). https://doi.org/10.1007/978-1-4471-0233-5
Aviles, P.: Symmetry theorems related to Pompeiu’s problem. Am. J. Math. 108(5), 1023–1036 (1986). https://doi.org/10.2307/2374594
Berestycki, H., Nirenberg, L., Varadhan, S.R.S.: The principal eigenvalue and maximum principle for second-order elliptic operators in general domains. Commun. Pure Appl. Math. 47(1), 47–92 (1994). https://doi.org/10.1002/cpa.3160470105
Brezis, H., Ponce, A.: Kato’s inequality when \(\delta u\) is a measure. C. R. Math. Acad. Sci. Paris 338(8), 599–604 (2004). https://doi.org/10.1016/j.crma.2003.12.032. arXiv:1312.6498
Brown, L., Kahane, J.-P.: A note on the Pompeiu problem for convex domains. Math. Ann. 259(1), 107–110 (1982). https://doi.org/10.1007/BF01456832
Brown, L., Schreiber, B.M., Taylor, B.A.: Spectral synthesis and the Pompeiu problem. Ann. Inst. Fourier (Grenoble) 23(3), 125–154 (1973). https://doi.org/10.5802/aif.474
Caffarelli, L.A., Karakhanyan, A.L., Lin, F.-H.: The geometry of solutions to a segregation problem for nondivergence systems. J. Fixed Point Theory Appl. 5(2), 319–351 (2009). https://doi.org/10.1007/s11784-009-0110-0
Cakoni, F., Colton, D., Haddar, H.: Inverse Scattering Theory and Transmission Eigenvalues, vol. 98 of CBMS-NSF Regional Conference Series in Applied Mathematics. Industrial and Applied Mathematics (SIAM), Philadelphia, PA (2023). https://doi.org/10.1137/1.9781611977424
Colton, D., Kress, R.: Inverse Acoustic and Electromagnetic Scattering Theory, vol. 93 of Applied Mathematical Sciences, 4th edn. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30351-8
Conti, M., Terracini, S., Verzini, G.: A variational problem for the spatial segregation of reaction–diffusion systems. Indiana Univ. Math. J. 54(3), 779–815 (2005). https://doi.org/10.1512/iumj.2005.54.2506. arXiv:math/0312210
Cummings, P., Feng, X.: Sharp regularity coefficient estimates for complex-valued acoustic and elastic Helmholtz equations. Math. Models Methods Appl. Sci. 16(1), 139–160 (2006). https://doi.org/10.1142/S021820250600108X
Davis, P.J.: The Schwarz Function and Its Applications, vol. 17 of The Carus Mathematical Monographs. The Mathematical Association of America, Buffalo, NY (1974). https://doi.org/10.5948/9781614440178
Emamizadeh, B., Prajapat, J.V., Shahgholian, H.: A two phase free boundary problem related to quadrature domains. Potential Anal. 34(2), 119–138 (2011). https://doi.org/10.1007/s11118-010-9184-y
Feng, X., Lin, J., Lorton, C.: An efficient numerical method for acoustic wave scattering in random media. SIAM/ASA J. Uncertain. Quantif. 3(1), 790–822 (2015). https://doi.org/10.1137/140958232. arXiv:1402.5407
Furuya, T., Kow, P.-Z., Wang, J.-N.: Consistency of the Bayes method for the inverse scattering problem. Inverse Prob. (2024). https://doi.org/10.1088/1361-6420/ad3089
Gardiner, S., Sjödin, T.: Partial balayage and the exterior inverse problem of potential theory. In: Potential Theory and Stochastics in Albac, vol. 11, pp. 111–123. Theta, Bucharest (2009). Theta Ser. Adv. Math. Zbl:1199.31009. https://mathscinet.ams.org/mathscinet-getitem?mr=2681841. https://zbmath.org/1199.31009
Gardiner, S.J., Sjödin, T.: Two-phase quadrature domains. J. Anal. Math. 116, 335–354 (2012). https://doi.org/10.1007/s11854-012-0009-3
Gardiner, S.J., Sjödin, T.: Partial Balayage for the Helmholtz Equation. Manuscript (2024). arXiv:2404.05552
Garofalo, N., Segàla, F.: Another step toward the solution of the Pompeiu problem in the plane. Commun. Partial Differ. Equ. 18(3–4), 491–503 (1993). https://doi.org/10.1080/03605309308820938
Grebenkov, D.S., Nguyen, B.-T.: Geometrical structure of Laplacian eigenfunctions. SIAM Rev. 55(4), 601–667 (2013). https://doi.org/10.1137/120880173. arXiv:1206.1278
Gustafsson, B.: Lectures on balayage. In: Clifford Algebras and Potential Theory, vol. 7 of Univ. Joensuu Dept. Math. Rep. Ser., pp. 17–63. Univ. Joensuu, Joensuu (2004). Zbl:1088.31001, diva2:492834 https://mathscinet.ams.org/mathscinet-getitem?mr=2103705, https://zbmath.org/1088.31001. http://kth.diva-portal.org/smash/record.jsf?pid=diva2%3A492834
Gustafsson, B., Roos, J.: Partial balayage on Riemannian manifolds. J. Math. Pures Appl. (9) 118, 82–127 (2018). https://doi.org/10.1016/j.matpur.2017.07.013. arXiv:1605.03102
Gustafsson, B., Sakai, M.: Properties of some balayage operators, with applications to quadrature domains and moving boundary problems. Nonlinear Anal. 22(10), 1221–1245 (1994). https://doi.org/10.1016/0362-546X(94)90107-4
Gustafsson, B., Shapiro, H.S.: What is a quadrature domain? In: Quadrature Domains and Their Applications, vol. 156 of Oper. Theory Adv. Appl., pp. 1–25. Birkhäuser, Basel (2005). Zbl:1086.30002, https://doi.org/10.1007/3-7643-7316-4_1. https://mathscinet.ams.org/mathscinet-getitem?mr=2129734, https://zbmath.org/1086.30002
Hähner, P., Hohage, T.: New stability estimates for the inverse acoustic inhomogeneous medium problem and applications. SIAM J. Math. Anal. 33(3), 670–685 (2001). https://doi.org/10.1137/S0036141001383564
Hörmander, L.: Lower bounds at infinity for solutions of differential equations with constant coefficients. Israel J. Math. 16, 103–116 (1973). https://doi.org/10.1007/BF02761975
Ilmavirta, J., Kow, P.-Z., Sahoo, S.K.: Unique continuation for the momentum ray transform. arXiv preprint (2023). arXiv:2304.00327
Isaev, M.I.: Exponential instability in the inverse scattering problem on the energy interval. Funct. Anal. Appl. 47(3), 187–194 (2013). Translation from Funktsional. Anal. i Prilozhen 47(3):28–36 (2013). Zbl:1335.35171, https://doi.org/10.1007/s10688-013-0025-9. arXiv:1012.5526. https://mathscinet.ams.org/mathscinet/article?mr=3154837. https://zbmath.org/1335.35171
Kinderlehrer, D., Stampacchia, G.: An Introduction to Variational Inequalities and Their Applications, vol. 31 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (2000). Reprint of the 1980 original. https://doi.org/10.1137/1.9780898719451. https://mathscinet.ams.org/mathscinet-getitem?mr=1786735
Kirsch, A., Grinberg, N.: The Factorization Method for Inverse Problems, vol. 36 of Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford (2008). https://doi.org/10.1093/acprof:oso/9780199213535.001.0001
Kirsch, A., Hettlich, F.: The Mathematical Theory of Time-harmonic Maxwell’s Equations. Expansion-, Integral-, and Variational Methods, vol. 190 of Appl. Math. Sci. Springer, Cham (2015). Zbl:1342.35004, https://doi.org/10.1007/978-3-319-11086-8. https://mathscinet.ams.org/mathscinet/article?mr=3288313. https://zbmath.org/1342.35004
Kow, P.-Z., Larson, S., Salo, M., Shahgholian, H.: Quadrature domains for the Helmholtz equation with applications to non-scattering phenomena. Potential Anal. 60(1), 387–424 (2024). Zbl:7798456 https://doi.org/10.1007/s11118-022-10054-5. The results in the appendix are well-known, and the proofs can found at arXiv:2204.13934. https://mathscinet.ams.org/mathscinet/article?mr=4696043. https://zbmath.org/7798456
Kow, P.-Z., Salo, M., Shahgholian, H.: On positivity sets for Helmholtz solutions. Vietnam J. Math. 51, 985–994 (2023). Special issue dedicated to Carlos E. Kenig on the occasion of his 70th birthday. Zbl:7785099, https://doi.org/10.1007/s10013-023-00646-y. arXiv:2301.04965. https://mathscinet.ams.org/mathscinet/article?mr=4669027. https://zbmath.org/7785099
Kow, P.-Z., Salo, M., Shahgholian, H.: On scattering behavior of corner domains with anisotropic inhomogeneities. arXiv preprint (2023). arXiv:2309.11213
Kow, P.-Z., Salo, M., Shahgholian, H.: A minimization problem with free boundary and its application to inverse scattering problems. Interfaces Free Bound. (2024). https://doi.org/10.4171/ifb/515. arXiv:2303.12605
Nachman, A.I.: Global uniqueness for a two-dimensional inverse boundary value problem. Ann. Math. 143(1), 71–96 (1996). https://doi.org/10.2307/2118653
Pompeiu, P.: Sur certains systèmes d’équations linéaires et sur une propriété intégrale des fonctions de plusieurs variables. Comp. Rend. Acad. Sci. Ser I Math. 188:1138–1139 (1929). JFM:55.0139.02. https://zbmath.org/55.0139.02
Sakai, M.: Quadrature Domains, vol. 934 of Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York (1982). Zbl:0483.30001, https://doi.org/10.1007/BFb0095892. https://mathscinet.ams.org/mathscinet-getitem?mr=663007. https://zbmath.org/0483.30001
Sakai, M.: Applications of variational inequalities to the existence theorem on quadrature domains. Trans. Am. Math. Soc. 276(1), 267–279 (1983). https://doi.org/10.1090/S0002-9947-1983-0684507-2
Salo, M., Shahgholian, H.: Free boundary methods and non-scattering phenomena. Res. Math. Sci. 8(4), Paper No. 58 (2021). https://doi.org/10.1007/s40687-021-00294-z. arXiv:2106.15154
Shahgholian, H., Sjödin, T.: Harmonic balls and the two-phase Schwarz function. Complex Var. Elliptic Equ. 58(6), 837–852 (2013). https://doi.org/10.1080/17476933.2011.622046. arXiv:1105.0212
Sylvester, J., Uhlmann, G.: A global uniqueness theorem for an inverse boundary value problem. Ann. Math. (2) 125(1), 153–169 (1987). https://doi.org/10.2307/1971291
Williams, S.A.: A partial solution of the Pompeiu problem. Math. Ann. 223(2), 183–190 (1976). https://doi.org/10.1007/BF01360881
Williams, S.A.: Analyticity of the boundary for Lipschitz domains without the Pompeiu property. Indiana Univ. Math. J. 30(3), 357–369 (1981)
Yau, S.T.: Problem section. In: Seminar on Differential Geometry, vol. 102 of Ann. of Math. Stud., pp. 669–706. Princeton University Press, Princeton, NJ (1982). Zbl:0479.53001. https://mathscinet.ams.org/mathscinet/article?mr=0645762. https://zbmath.org/0479.53001
Funding
Open access funding provided by Royal Institute of Technology.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there are no financial, competing or conflict of interest.
Additional information
P.-Z. Kow was supported by the NCCU Office of research and development and the National Science and Technology Council of Taiwan, NSTC 112-2115-M-004-004-MY3; H. Shahgholian was supported by Swedish Research Council grant nr 2021-03700. We would like to express our sincere gratitude to the anonymous referee for a meticulous review of the manuscript and for graciously pointing out several inaccuracies and partial flaws.
This article is part of the section “Applications of PDEs” edited by Hyeonbae Kang.
Appendix A. The Pompeiu problem (a minimization viewpoint)
Appendix A. The Pompeiu problem (a minimization viewpoint)
Given a ball \(B_{R}\) with radius \(R>0\) we consider the functional corresponding to \(k_{1}=k_{2}=k\), \(f_{1}=-1\), \(f_{2}=1\) (This corresponds to Theorem 2.2 with \(\mu _{i}=0\) and \(\lambda _1=1\), and \(\lambda _2=-1\)):
In view of Theorem 2.1, we consider the function \(\tilde{u}\) which is a solution of the following (unstable) two-phase problem, or no-sign one-phase problem:
provided \(\overline{D}\subset B_{R}\). If \(k < k_{*}(B_{R}) = j_{\frac{n-2}{2},1}k^{-1}\), then the (unique) minimizer of \(\tilde{\mathcal {J}}_{k,k}\) must trivial. This suggests us to consider the case when \(k > k_{*}(B_{R})\). In this case, the above functional is indeed unbounded below in \(H_{0}^{1}(B_{R})\), see [36, Lemma 3.1] or a more concrete example below in (A.8). The main theme of this appendix is to exhibit some interesting point of \(\tilde{\mathcal {J}}_{k,k}\) as below:
Theorem A.1
Let \(\tilde{u}\) be a solution of (A.1) for some bounded Lipschitz domain D in \(\mathbb {R}^{n}\), then it satisfies
and it is neither a local minima nor local maxima of the functional \(\tilde{\mathcal {J}}_{k,k}\) in \(H_{0}^{1}(B_{R})\) for each \(R>0\) with \(\overline{D}\subset B_{R}\).
Remark
See Example A.2 below for an example of such D in (A.1).
Proof of Theorem A.1
By integrating the identity \(\nabla \cdot (x|u |^{2}) = n|u |^{2} + 2 u x \cdot \nabla u\) over D, one can easily obtain
for all real-valued \(u\in H^{1}(D)\). On the other hand, combining the equationsFootnote 5
and
we obtain
Then by integrating the above identity over D we obtain
for all real-valued \(u\in H^{2}(D)\). See also [15, Lemma 2.3] for a probabilistic version of (A.3a)–(A.3b).
If we choose \(u=\tilde{u}\), then from (A.3a)–(A.3b) we see that
because \(\tilde{u}=|\nabla \tilde{u} |=0\) on \(\partial D\). By testing (A.1) using \(x\cdot \nabla \tilde{u}\) over D, we see that
On the other hand, we integrate (A.1) over D to obtain
We combine (A.4) and (A.5) to obtain the energy estimate
We also test (A.1) by \(\tilde{u}\), and using (A.5) to obtain
Solving (A.6) and (A.7), we reach (A.2), that is,
For each \(t\in \mathbb {R}\), from (A.5) and (A.2) we see that
for all \(R>0\) with \(\overline{D} \subset B_{R}\). It is clear that
which shows that \(\tilde{\mathcal {J}}_{k,k}\) is unbounded below in \(H_{0}^{1}(B_{R})\) and \(\tilde{u}\) is not a local minimum. We now fix an eigenfunction \(\phi \in H_{0}^{1}(B_{R})\) with \(-\Delta \phi = k_{0}^{2} \phi \) with \(k_{0} > k\). We see that
If \((k_{0}^{2}-k^{2})\int _{D} \tilde{u}\phi \,\textrm{d}x \ge \int _{D}\phi \, \textrm{d}x\), then we see that
Otherwise, if \((k_{0}^{2}-k^{2})\int _{D} \tilde{u}\phi \,\textrm{d}x \le \int _{D}\phi \, \textrm{d}x\) then we see that
In either case, we see that \(\tilde{u}\) is not a local maximum. \(\square \)
Example A.2
(A refinement of [33, Example 2.3]) For each \(m=1,2,3,\cdots \), we now show that \(B_{k^{-1}j_{\frac{n}{2},m}}\) is a null k-quadrature domain. We consider the function \(x\mapsto |x |^{\frac{2-n}{2}}J_{\frac{n-2}{2}}(k|x |)\) that solves \((\Delta + k^{2})u=0\) in \(\mathbb {R}^{n}\). By using the fact
one can easily see that \(\{k^{-1}j_{\frac{n}{2},m}: m\text { is odd}\}\) are all positive local minima with \(J_{\frac{n-2}{2}}(j_{\frac{n}{2},m})<0\), while \(\{k^{-1}j_{\frac{n}{2},m}: m\text { is even}\}\) are all positive local maxima with \(J_{\frac{n-2}{2}}(j_{\frac{n}{2},m})>0\). For each \(m\in \mathbb {N}\), we define
We see that \(\chi _{\{\tilde{u}_{m}>0\} \cup \{\tilde{u}_{m}<0\}} = \chi _{B_{k^{-1}j_{\frac{n}{2},m}}}\) and \(\tilde{u}_{m}\in C^{1,1}(\mathbb {R}^{n})\) satisfy (A.1). It is interesting to mention for the case \(m=1\) that \(\tilde{u}_{1} \ge 0\) in \(\mathbb {R}^{n}\).
Recall that the assumption in the Pompeiu problem [38] is equivalent to the existence of a function \(\tilde{u}\) solving the two-phase problem (A.1) for some \(k > 0\), as demonstrated in [44, 45]. It’s worth mentioning that [45] guarantees that if D has a Lipschitz boundary \(\partial D\) which is homeomorphic to the unit sphere in \(\mathbb {R}^{n}\) and it satisfies the assumption in the Pompeiu problem, then the boundary of such D must be analytic. However, the unanswered question, posed in [46, Problem 80], is whether D, a bounded Lipschitz domain homeomorphic to a ball and satisfying (A.1), must be a ball or not.
Partial results exist [3, 6, 7, 20] as partial answers to this question. In [33], it is observed that such a domain D is also a k-quadrature domain. Therefore, using the maximum principle along with the positivity of the first Dirichlet eigenfunction of \(-\Delta \), it is necessary that \(k > k_{*}(D)\). This problem is challenging from the following perspective:
-
By using Theorem A.1, one sees that nontrivial local minima (if they exist) of the functional \(\tilde{\mathcal {J}}_{k,k}\) in \(H_{0}^{1}(B_{R})\) never satisfy (A.1). We do not see how to study the symmetry of null k-quadrature domain by directly using the ideas in [1, Corollary 1].
-
The lack of positivity of solution to the Pompeiu problem, is also an obstacle for using the moving plane technique.
-
It is easy to see that \(k>0\) is also a Neumann eigenvalue of D with eigenfunction \(\tilde{v}=\tilde{u}-k^{-2}\), which satisfies \(\left. \tilde{v}\right| _{\partial D}=-k^{-2}\). One also can see e.g. [21] for isoperimetric inequality for (Dirichlet, Neumann or Robin) eigenvalues. The main difficulty is the knowledge of \(\left. \tilde{v}\right| _{\partial D}\) does not explicitly contained in the Courant minimax characterization of Neumann eigenvalues. Therefore we also believe that the Courant minimax principle is not helpful in the study of the Pompeiu problem.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kow, PZ., Shahgholian, H. Multi-phase k-quadrature domains and applications to acoustic waves and magnetic fields. Partial Differ. Equ. Appl. 5, 13 (2024). https://doi.org/10.1007/s42985-024-00283-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42985-024-00283-1
Keywords
- Quadrature domain
- Variational problem
- Partial balayage
- Non-scattering phenomena
- Helmholtz equation
- Acoustic waves
- Magnetic fields