pith. sign in

arxiv: 2604.27463 · v1 · submitted 2026-04-30 · 🧮 math.AP

Multiphase quadrature domains (existence and uniqueness)

Pu-Zhao Kow , Henrik Shahgholian , Tomas Sj\"odin This is my paper

Pith reviewed 2026-05-07 09:44 UTC · model grok-4.3

classification 🧮 math.AP
keywords multiphase quadrature domainsexistence and uniquenessenergy minimizationsegregated statessubharmonic functionsvariational methodsinterior support conditiontwo-phase counterexample
0
0 comments X

The pith

Multiphase quadrature domains for subharmonic functions exist and are unique when constructed as minimizers of an energy functional over constrained segregated states.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a precise definition of multiphase quadrature domains for subharmonic functions in which prescribed measures must lie in the interior of the domains. It proves existence and uniqueness by minimizing an energy functional over a restricted class of segregated states that incorporate a natural constraint tied to those measures. The variational method refines earlier work but does not always guarantee the interior support condition on its own. An explicit example shows that, unlike the one-phase case, a quadrature domain in two phases need not be an energy minimizer.

Core claim

Restricting minimization of the energy functional to the subset of segregated states obeying a natural constraint with respect to the given measures produces unique multiphase quadrature domains in which the measures are supported in the interior; under suitable conditions on the data, such minimizers exist.

What carries the argument

The energy functional minimized over the constrained subset of segregated states, where the constraint enforces compatibility with the prescribed measures.

If this is right

  • Uniqueness of the multiphase quadrature domain follows whenever a minimizer exists under the constraint.
  • Sufficient conditions on the measures guarantee that the constrained minimization problem attains its infimum.
  • In the two-phase setting the set of quadrature domains is strictly larger than the set of energy minimizers.
  • The standard unconstrained variational approach alone fails to force interior support of the measures.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same constrained minimization might serve as a computational method to approximate the domains by discretizing the segregated states.
  • The observed breakdown of equivalence between quadrature identities and energy minimizers may require new comparison principles when more than two phases are present.
  • The framework could adapt to related free-boundary problems in which multiple subharmonic functions interact through segregation.

Load-bearing premise

The constrained minimization produces domains whose associated subharmonic functions satisfy the quadrature identity with the measures strictly inside.

What would settle it

An explicit pair of distinct domains that both satisfy the multiphase quadrature condition for the same data but yield different energy values would disprove uniqueness of the minimizer.

read the original abstract

The primary goal of this paper is to give a precise definition and prove existence and uniqueness of multiphase quadrature domains for subharmonic functions, ensuring that the prescribed measures are supported in the interior of the resulting domains. The approach to prove existence is based on a variational framework, where we minimize an energy functional over so called segregated states. In this respect we refine earlier results in this direction. But we also show that this approach alone is not enough for two reasons. First of all it seems hard to get existence results which ensure that the interior support condition is satisfied. And second it may happen, as we show by an example, that a multiphase quadrature domain exists but is not a minimizer of the energy functional. The main novelty of this work is the study of minimizers, if they exist, of the energy functional over a subset of the segregated states given by a natural constraint with respect to the given measures. From this approach we are able to prove uniqueness, and also give sufficient conditions for existence. We also give an example showing that, unlike the energy minimization and partial balayage approaches which are equivalent in the one-phase case, this equivalence breaks down already in the two-phase setting.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper defines multiphase quadrature domains for subharmonic functions such that the given measures are supported in the interior of the domains. It refines the variational approach of minimizing an energy functional over segregated states by restricting to a natural constraint with respect to the measures; this yields uniqueness of the constrained minimizers together with sufficient conditions for existence. The authors also exhibit an example of a multiphase quadrature domain that is not an energy minimizer and demonstrate that the equivalence between energy minimization and partial balayage, which holds in the one-phase case, already fails for two phases.

Significance. If the proofs are complete, the constrained variational method supplies the first uniqueness result for multiphase quadrature domains while clarifying the limitations of unconstrained minimization. The explicit counter-example separating quadrature domains from energy minimizers and the breakdown of equivalence in the two-phase setting are valuable distinctions from the one-phase theory and should inform future work on multiphase free-boundary problems in potential theory.

minor comments (3)
  1. The abstract states that the variational approach alone is insufficient to guarantee the interior support condition, yet the precise formulation of the natural constraint (and how it enforces support) is not previewed; a brief sentence indicating the form of the constraint would help readers.
  2. Notation for segregated states and the energy functional is introduced gradually; collecting the main definitions in a preliminary section or subsection would improve readability for readers familiar with one-phase quadrature domains.
  3. The example showing non-equivalence in the two-phase case is central; a short remark on whether the construction extends to higher phases or requires specific dimension assumptions would strengthen the discussion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; variational constraint is independent

full rationale

The derivation relies on standard variational minimization of an energy functional over segregated states, augmented by an explicitly introduced natural constraint with respect to the given measures. This constraint is not derived from the energy itself but imposed separately to enforce interior support and obtain uniqueness. The paper explicitly demonstrates that unconstrained minimization fails to guarantee the support condition and that quadrature domains need not be minimizers, providing a counterexample. No load-bearing step reduces by definition or self-citation to the target result; prior results are refined rather than invoked as uniqueness theorems. This yields a self-contained argument with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claims rest on standard properties of subharmonic functions, potentials, and variational methods from potential theory; no free parameters, ad-hoc axioms, or new entities are introduced.

axioms (1)
  • standard math Standard properties of subharmonic functions and their associated potentials in potential theory
    Used to define quadrature domains and the energy functional throughout the work.

pith-pipeline@v0.9.0 · 5511 in / 1205 out tokens · 74904 ms · 2026-05-07T09:44:22.902423+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Br´ehier, Approximation of the Invariant Measure with an Euler Scheme for Stochastic PDEs Driven by Space-Time White Noise, Potential Analysis 40.1 (2013), pp

    MR3511808, Zbl:1346.35237, doi:10.1007/s11118- 016-9539-0,arXiv:1511.02779. [AG01] D. H. Armitage and S. J. Gardiner.Classical potential theory. Springer Monogr. Math. Springer- Verlag London, Ltd., London,

    work page doi:10.1007/s11118-

  2. [2]

    [BP04] H

    MR1801253, Zbl:0972.31001, doi:10.1007/978-1-4471-0233-5. [BP04] H. Brezis and A. Ponce. Kato’s inequality whenδuis a measure.C. R. Math. Acad. Sci. Paris, 338(8):599–604,

    work page doi:10.1007/978-1-4471-0233-5

  3. [3]

    [CTV05] M

    MR2056467, Zbl:1101.35028, doi:10.1016/j.crma.2003.12.032, arXiv:1312.6498. [CTV05] M. Conti, S. Terracini, and G. Verzini. A variational problem for the spatial segregation of reaction- diffusion systems.Indiana Univ. Math. J., 54(3):779–815,

    work page doi:10.1016/j.crma.2003.12.032 2003

  4. [4]

    Indiana Univ

    MR2151234, Zbl:1132.35397, doi:10.1512/iumj.2005.54.2506,arXiv:math/0312210. [EPS11] B. Emamizadeh, J. V. Prajapat, and H. Shahgholian. A two phase free boundary problem re- lated to quadrature domains.Potential Anal., 34(2):119–138,

    work page doi:10.1512/iumj.2005.54.2506 2005

  5. [5]

    [GS09] S

    MR2754967, Zbl:1216.35161, doi:10.1007/s11118-010-9184-y. [GS09] S. Gardiner and T. Sjödin. Partial balayage and the exterior inverse problem of potential theory. InPotential theory and stochastics in Albac, volume 11, pages 111–123, Theta, Bucharest,

    work page doi:10.1007/s11118-010-9184-y

  6. [6]

    Theta Ser. Adv. Math. MR2681841, Zbl:1199.31009. [GS12] S. J. Gardiner and T. Sjödin. Two-phase quadrature domains.J. Anal. Math., 116:335–354,

    work page arXiv

  7. [7]

    [GS14] S

    MR2892623, Zbl:1288.31002, doi:10.1007/s11854-012-0009-3. [GS14] S. J. Gardiner and T. Sjödin. Stationary boundary points for a Laplacian growth problem in higher dimensions.Arch. Ration. Mech. Anal., 213(2):503–526,

    work page doi:10.1007/s11854-012-0009-3

  8. [8]

    [GS25] S

    MR3211858, Zbl:1308.35210, doi:10.1007/s00205-014-0750-0. [GS25] S. J. Gardiner and T. Sjödin. Partial balayage for the Helmholtz equation.Poten- tial Anal., 63(4):1671–1697,

    work page doi:10.1007/s00205-014-0750-0

  9. [9]

    [GT01] D

    MR4990500, Zbl:8127979, doi:10.1007/s11118-025-10217-0, arXiv:2404.05552. [GT01] D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order (reprint of the 1998 edition), volume 224 ofClassics in Mathematics. Springer-Verlag Berlin Heidelberg,

    work page doi:10.1007/s11118-025-10217-0 1998

  10. [10]

    and Trudinger, N

    MR1814364, Zbl:1042.35002, doi:10.1007/978-3-642-61798-0. [Gus90] B. Gustafsson. On quadrature domains and an inverse problem in potential theory.J. Analyse Math., 55:172–216,

    work page doi:10.1007/978-3-642-61798-0

  11. [11]

    [Gus04] B

    MR1094715, Zbl:0745.31002, doi:10.1007/BF02789201. [Gus04] B. Gustafsson. Lectures on balayage. InClifford algebras and potential theory, volume 7 of Univ. Joensuu Dept. Math. Rep. Ser., pages 17–63. Univ. Joensuu, Joensuu,

    work page doi:10.1007/bf02789201

  12. [12]

    MR2103705, Zbl:1088.31001, diva2:492834. MULTIPHASE QUADRATURE DOMAINS (EXISTENCE AND UNIQUENESS) 32 [GS94] B.GustafssonandM.Sakai.Propertiesofsomebalayageoperators, withapplicationstoquadrature domains and moving boundary problems.Nonlinear Anal., 22(10):1221–1245,

    work page arXiv

  13. [13]

    [GS05] B

    MR1279981, Zbl:0852.35144, doi:10.1016/0362-546X(94)90107-4. [GS05] B. Gustafsson and H. S. Shapiro. What is a quadrature domain? InQuadrature domains and their applications, volume 156 ofOper. Theory Adv. Appl., pages 1–25. Birkhäuser, Basel,

    work page doi:10.1016/0362-546x(94)90107-4

  14. [14]

    [Hör03] L

    MR2129734, Zbl:1086.30002, doi:10.1007/3-7643-7316-4_1. [Hör03] L. Hörmander.The analysis of linear partial differential operators I. Distribution theory and Fourier analysis. Classics Math. Springer-Verlag, Berlin, second edition,

    work page doi:10.1007/3-7643-7316-4_1

  15. [15]

    The analysis of linear partial differential operators

    MR1996773, Zbl:1028.35001, doi:10.1007/978-3-642-61497-2. [KLSS24] P.-Z.Kow, S.Larson, M.Salo, andH.Shahgholian.QuadraturedomainsfortheHelmholtzequation with applications to non-scattering phenomena.Potential Anal., 60(1):387–424,

    work page doi:10.1007/978-3-642-61497-2

  16. [16]

    The results in the appendix are well-known, and the proofs can found atarXiv:2204.13934

    MR4696043, Zbl:7798456 doi:10.1007/s11118-022-10054-5. The results in the appendix are well-known, and the proofs can found atarXiv:2204.13934. [KSS24] P.-Z. Kow, M. Salo, and H. Shahgholian. A minimization problem with free boundary and its ap- plication to inverse scattering problems.Interfaces Free Bound., 26(3):415–471,

    work page doi:10.1007/s11118-022-10054-5

  17. [17]

    [KS24] P.-Z

    MR4762088, Zbl:7902359, doi:10.4171/ifb/515,arXiv:2303.12605. [KS24] P.-Z. Kow and H. Shahgholian. Multi-phasek-quadrature domains and applications to acoustic waves and magnetic fields.Partial Differ. Equ. Appl., 5(3),

    work page doi:10.4171/ifb/515

  18. [18]

    13, MR4732406, Zbl:1540.35127, doi:10.1007/s42985-024-00283-1,arXiv:2401.13279

    Paper No. 13, MR4732406, Zbl:1540.35127, doi:10.1007/s42985-024-00283-1,arXiv:2401.13279. [PSU12] A. Petrosyan, H. Shahgholian, and N. Uraltseva.Regularity of free boundaries in obstacle-type problems, volume 136 ofGraduate Studies in Mathematics. American Mathematical Society, Prov- idence, RI,

    work page doi:10.1007/s42985-024-00283-1

  19. [19]

    [Sak10] M

    MR2962060, Zbl:1254.35001, doi:10.1090/gsm/136. [Sak10] M. Sakai. Small modifications of quadrature domains.Mem. Amer. Math. Soc., 206(969),

    work page doi:10.1090/gsm/136

  20. [20]

    MR2667421, Zbl:1198.31001, doi:10.1090/S0065-9266-10-00596-X. Department of Mathematical Sciences, National Chengchi University, Taipei 116, Taiw an Email address:pzkow@g.nccu.edu.tw Department of Mathematics, KTH Royal Institute of Technology, SE-10044 Stockholm, Sweden Email address:henriksh@kth.se Department of Mathematics, Linköping University, SE-581...

    work page doi:10.1090/s0065-9266-10-00596-x