Pith. sign in

REVIEW 5 minor 25 references

Nonlinear Media via Nonlocal Homogenisation

T0 review · 0 major / 5 minor · reviewed 2026-07-10 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Existence for nonlinear nonlocal electrostatics holds on weak Lipschitz domains without monotonicity or derivative assumptions on the nonlinearity.

desk verdict Clean existence proof for a nonlocal nonlinear static Maxwell system under weak Lipschitz geometry and no monotonicity; the novelty is the combination, not a new abstract tool. read the letter →

arxiv 2607.08140 v1 pith:KQSAPXWO submitted 2026-07-09 math.AP math.FA

Andreas Buchinger , Nathanael Skrepek , Marcus Waurick This is my paper · ORCID
classification math.APmath.FA MSC 35Q6135F5078M40
keywords nonlinearMaxwellequationsnonlocalH-convergenceSchurtopologySchauderfixedpointelectrostaticshomogenisationweakLipschitzdomainsHelga'stheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that a static nonlinear Maxwell problem with nonlocal dielectric response admits an L2 solution when the nonlinearity is merely continuous and bounded and a size condition keeps the effective medium uniformly elliptic. The argument never uses monotonicity of the material law and needs only a weak Lipschitz domain with connected complement. Compactness for the Schauder fixed-point map is supplied by a recent result on moving coefficients (Helga's theorem) that draws on nonlocal H-convergence from homogenisation theory. Because the method works under far weaker regularity than classical approaches, it shows that topological operator-theoretic homogenisation can produce existence theorems for nonlinear PDEs that previously looked inaccessible.

What carries the argument

Helga's theorem (compactness for sequences of solutions whose coefficients converge simultaneously in the weak operator topology and in the Schur topology of nonlocal H-convergence) together with the Picard–Weber–Weck selection theorem; these supply the compact embedding needed for Schauder's fixed-point argument.

What would settle it

Construct a continuous bounded F and a domain volume such that the size condition fails and show that the corresponding nonlinear div-curl system has no L2 solution, or exhibit a counter-example on a non-weak-Lipschitz domain where the selection theorem fails.

Watch

Extended reading notes

Core claim

Under the size condition that the product of the bound of F and the volume of the domain is strictly smaller than the lower ellipticity constant of a, the nonlinear nonlocal electrostatic system admits at least one L2 solution on any open bounded weak Lipschitz domain with connected complement, with no monotonicity assumption and no differentiability assumption on F.

Load-bearing premise

The size condition that the bound of the nonlinearity times the volume of the domain must stay strictly below the lower ellipticity constant of the linear part; if it fails the fixed-point map ceases to be well-defined.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proves existence of L^{2} solutions to a static nonlinear Maxwell system −div ε(E)=f, curl E=g with homogeneous tangential boundary conditions on a bounded weak-Lipschitz domain Ω⊂ℝ^{3} with connected complement. The nonlocal dielectricity is ε(E)=aE+F(E)∗E, where a belongs to the class M(α,β) of uniformly elliptic operators and F:ℂ^{3}→ℂ is merely continuous and bounded. Under the size condition ∥F∥_∞ λ(Ω)<α the fixed-point map G↦E (the unique solution of the linear problem with frozen coefficient a+F(G)∗) is well-defined, continuous and compact on a closed convex set of L^{2}(Ω)^{3}; Schauder’s theorem then yields a fixed point. Compactness is obtained by combining nonlocal H-convergence (Schur topology) with a “moving-coefficient” selection theorem (Helga’s theorem) that does not require monotonicity or differentiability of F, nor strong Lipschitz regularity of ∂Ω.

Significance. The result is a clean illustration that operator-theoretic homogenisation tools can produce existence theorems for nonlinear nonlocal Maxwell systems under minimal regularity. The avoidance of monotonicity and of any derivative assumption on F, together with the weak-Lipschitz setting, is a genuine technical advance over classical monotone-operator or higher-regularity approaches. The argument is fully written out once the linear theory and Helga’s theorem from the authors’ earlier works are granted; the size condition is explicit and standard for keeping the frozen coefficients inside M(α′,β′). The paper therefore supplies a useful existence template that can be adapted to other nonlocal constitutive laws.

minor comments (5)
  1. In the abstract and introduction the phrase “no assumption on the derivatives of the nonlinearity is needed” is slightly ambiguous: F is only required to be continuous and bounded, so the statement is correct, but a parenthetical “(F need only be continuous and bounded)” would prevent misreading.
  2. Theorem 2.7 states f∈L^{2}(Ω) while the abstract and Theorem 4.1 write f∈L^{2}(Ω)^{3}; the scalar nature of the divergence equation makes the former correct, but the notation should be uniform throughout.
  3. The proof of Theorem 5.3 invokes the subsubsequence principle without an explicit reference; a pointer to [1, Prop. 2.1.2] (already used for Lemma 5.2) would improve readability.
  4. A short remark after Theorem 4.1 on the necessity of the size condition (or on possible local existence when it fails) would help the reader assess the sharpness of the hypothesis.
  5. Typographical consistency: “homogenisation” versus “homogenization”, and the occasional missing space after commas in operator-theoretic expressions, should be standardised.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: existence via Schauder is a genuine application of independent prior homogenisation tools, not a reduction to inputs by construction.

  1. self citation load bearing [Thm 4.2 / proof of Thm 4.1 (§5)]
    "Theorem 4.2([25, Theorem 9.1–Helga’s theorem]) … Now, Theorem 4.2 leads to Enk o E in L2(Ω)3. Hence, M̃ is relatively compact."

    The compactness step that closes Schauder relies on a theorem proved in the authors’ prior paper [25]. The dependence is load-bearing for the existence argument, yet the cited theorem is an independent mathematical statement (with its own proof) whose hypotheses are verified afresh in the present manuscript; it does not encode the nonlinear result by definition.

full rationale

The central claim (Theorem 4.1) constructs a fixed-point map Φ(G) = E solving the linear div-curl system with coefficient a + F(G)*E, then obtains a fixed point by Schauder after proving that the image of a ball is relatively compact. Compactness is obtained by verifying the hypotheses of Helga’s theorem (Theorem 4.2 = [25, Thm 9.1]) via new auxiliary results (Lemma 5.2, Prop. 5.4, Thm 5.3) that are proved in full in §5; the size condition ‖F‖_∞ λ(Ω) < α is used only to keep a + F(G)* inside M(α',β') so that the linear solver of Thm 2.7 is applicable. The cited results [24] (nonlocal H-convergence / Schur topology) and [25] (linear well-posedness, Helga compactness) are earlier, self-contained operator-theoretic theorems whose statements do not contain the nonlinear existence claim; they function as black-box tools. There is no fitted parameter, no self-definitional identity, no uniqueness theorem used to forbid alternatives, and no renaming of a known empirical pattern. The mild self-citation therefore does not raise the circularity score above 1.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The central existence claim rests on standard functional-analytic tools, geometric hypotheses on the domain, a size restriction that keeps the nonlocal coefficient elliptic, and two prior theorems of the authors on nonlocal H-convergence and moving-coefficient compactness. No numerical free parameters are fitted; the only quantitative restriction is the explicit inequality involving ‖F‖_∞ and the measure of Ω.

assumptions (5)
  • standard math Schauder’s fixed-point theorem (continuous self-map of a nonempty compact convex set in a Banach space has a fixed point)
    Invoked as Theorem 5.1; the entire existence argument reduces to verifying its hypotheses for the map Φ.
  • standard math Picard–Weber–Weck selection theorem: H(˚div) ∩ H(curl) compactly embeds into L² on bounded weak Lipschitz domains
    Cited as Theorem 2.2; used to obtain closed ranges of curl and div and the linear well-posedness theory.
  • domain assumption Ω open, bounded, weak Lipschitz with connected complement
    Stated at the beginning of Sections 2–4; guarantees the Helmholtz decomposition and the vanishing of the kernel of ˚curl ∩ ker(div).
  • ad hoc to paper ‖F‖_∞ λ(Ω) < α (size condition ensuring a + F(G)* stays in M(α′,β′))
    Imposed immediately before Theorem 4.1 and used in the first paragraph of its proof to keep the frozen coefficients uniformly elliptic.
  • domain assumption Helga’s theorem (compactness for sequences of coefficients that converge both weakly and in the Schur topology)
    Cited as Theorem 4.2 from the authors’ prior work [25]; supplies the relative compactness of the image of the fixed-point map.
invented entities (1)
  • Helga’s theorem (named compactness result for moving coefficients) independent evidence
    purpose: Provides the missing compactness needed to apply Schauder when classical Rellich embeddings fail because of the presence of div(aE).
    The result is taken from the authors’ earlier paper [25, Thm 9.1] and is not re-proved here; it is an external black-box tool rather than a new physical entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonlinear Media via Nonlocal Homogenisation." pith.science (2026). https://pith.science/paper/KQSAPXWO

@misc{pith2026260708140,
  author       = {Pith},
  title        = {Pith review of: Nonlinear Media via Nonlocal Homogenisation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KQSAPXWO}},
  note         = {Machine review of arXiv:2607.08140}
}
read the original abstract

We consider a nonlinear PDE describing a nonlinear electrostatic medium with nonlocal dielectricity. The existence proof for the corresponding equation is based on Schauder's theorem and a new compactness theorem for moving coefficients (``Helga's Theorem''). This technique uses insights from (operator-theoretic/topological) homogenisation theory. Surprisingly, even though monotonicity assumptions are neither used nor valid, the underlying domain is only required to be weak Lipschitz and no assumption on the derivatives of the nonlinearity is needed.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Buchinger and M

    A. Buchinger and M. Waurick. Avscon the Schur topology.Avscon Lectures in Mathematical Physics, Birkhäuser, Basel, 2027.arXiv:2604.01803, accepted

    work page arXiv 2027

  2. [2]

    Ciattoni and C

    A. Ciattoni and C. Rizza. Nonlocal homogenization theory in metamaterials: Effective electromagnetic spatial dispersion and artificial chirality.Phys. Rev. B, 91:184207, May 2015. doi:10.1103/PhysRevB.91.184207

    work page doi:10.1103/physrevb.91.184207 2015

  3. [3]

    Dohnal, M

    T. Dohnal, M. Ionescu-Tira, and M. Waurick. Well-posedness and exponential stability of nonlinear Maxwell equations for dispersive materials with interface.J. Differ. Equations, 383:24–77, 2024.doi:10.1016/j.jde.2023.11.005

    work page doi:10.1016/j.jde.2023.11.005 2024

  4. [4]

    Williams, V

    J. Flores Méndez, M. Salazar Villanueva, S. Hernández-Rodríguez, and J. Rodríguez Mora. Dynamic homogenization in the nonlocal and local regimes for a phononic superlattice: Resonant elastic metamaterial.Results in Physics, 7:1376–1378, 2017.doi:10.1016/j.rinp. 2017.03.039

    work page doi:10.1016/j.rinp 2017

  5. [5]

    Goldberg.Unbounded linear operators

    S. Goldberg.Unbounded linear operators. Theory and applications.New York, NY: Dover Publications, reprint of the 1985 corrected edition edition, 2006

    work page 1985

  6. [6]

    M. A. Gorlach, T. A. Voytova, M. Lapine, Y. S. Kivshar, and P. A. Belov. Nonlocal homogenization for nonlinear metamaterials.Phys. Rev. B, 93:165125, Apr 2016. doi: 10.1103/PhysRevB.93.165125

    work page doi:10.1103/physrevb.93.165125 2016

  7. [7]

    Graffi.Nonlinear partial differential equations in physical problems, volume 42 ofRes

    D. Graffi.Nonlinear partial differential equations in physical problems, volume 42 ofRes. Notes Math., San Franc.Pitman Publishing, London, 1980. 12 A. BUCHINGER, N. SKREPEK, AND M. W AURICK

    work page 1980

  8. [8]

    (76) Gramotnev, D

    M. Kauranen and A. V. Zayats. Nonlinear plasmonics.Nature Photonics, 6(11):737–748, 2012. doi:10.1038/nphoton.2012.244

    work page doi:10.1038/nphoton.2012.244 2012

Show all 25 references
  1. [9]

    Keller.Quantum theory of near-field electrodynamics

    O. Keller.Quantum theory of near-field electrodynamics. Nano-Opt. Nanophotonics. Berlin: Springer, 2011.doi:10.1007/978-3-642-17410-0

    2011 doi

  2. [10]

    Nicaise and M

    S. Nicaise and M. Waurick. Nonlocal homogenisation theory for curl-div-systems.Math. Nachr., 295(5):950–969, 2022.doi:10.1002/mana.202000073

    2022 doi

  3. [11]

    Pauly and M

    D. Pauly and M. Waurick. The index of some mixed order Dirac type operators and gen- eralised Dirichlet-Neumann tensor fields.Math. Z., 301(2):1739–1819, 2022.doi:10.1007/ s00209-021-02947-9

    2022

  4. [12]

    Pauly and W

    D. Pauly and W. Zulehner. The divDiv-complex and applications to biharmonic equations. Appl. Anal., 99(9):1579–1630, 2020.doi:10.1080/00036811.2018.1542685

    2020 doi

  5. [13]

    R. Picard. On the boundary value problems of electro- and magnetostatics.Proc. R. Soc. Edinb., Sect. A, Math., 92:165–174, 1982.doi:10.1017/S0308210500020023

    1982 doi

  6. [14]

    R. Picard. An elementary proof for a compact imbedding result in generalized electromagnetic theory.Math. Z., 187:151–164, 1984.doi:10.1007/BF01161700

    1984 doi

  7. [15]

    R. Picard. Some decomposition theorems and their application to nonlinear potential the- ory and Hodge theory.Math. Methods Appl. Sci., 12(1):35–52, 1989. doi:10.1002/mma. 1670120103

    1989 doi

  8. [16]

    Schauder

    J. Schauder. Der Fixpunktsatz in Funktionalräumen.Stud. Math., 2:171–180, 1930.doi: 10.4064/sm-2-1-171-180

    1930 doi

  9. [17]

    Schippa and R

    R. Schippa and R. Schnaubelt. On quasilinear Maxwell equations in two dimensions.Pure Appl. Anal., 4(2):313–365, 2022.doi:10.2140/paa.2022.4.313

    2022 doi

  10. [18]

    Seifert, S

    C. Seifert, S. Trostorff, and M. Waurick.Evolutionary equations. Picard’s theorem for partial differential equations, and applications, volume 287 ofOper. Theory: Adv. Appl.Cham: Birkhäuser, 2022.doi:10.1007/978-3-030-89397-2

    2022 doi

  11. [19]

    Y. R. Shen. Optical second harmonic generation at interfaces.Annual Review Physical Chemistry, 40:327–350, 1989.doi:10.1146/annurev.pc.40.100189.001551

    1989 doi

  12. [20]

    M. Spitz. Local wellposedness of nonlinear Maxwell equations with perfectly conducting boundary conditions.J. Differ. Equations, 266(8):5012–5063, 2019.doi:10.1016/j.jde.2018. 10.019

    2019 doi

  13. [21]

    Tartar.The general theory of homogenization, volume 7 ofLect

    L. Tartar.The general theory of homogenization, volume 7 ofLect. Notes Unione Mat. Ital. Berlin: Springer, 2009.doi:10.1007/978-3-642-05195-1

    2009 doi

  14. [22]

    Trostorff and M

    S. Trostorff and M. Waurick. A note on elliptic type boundary value problems with maximal monotone relations.Math. Nachr., 287(13):1545–1558, 2014.doi:10.1002/mana.201200242

    2014 doi

  15. [23]

    Voigt.A course on topological vector spaces

    J. Voigt.A course on topological vector spaces. Compact Textb. Math. Cham: Birkhäuser, 2020.doi:10.1007/978-3-030-32945-7

    2020 doi

  16. [24]

    M. Waurick. NonlocalH-convergence.Calc. Var. Partial Differ. Equ., 57(6):46, 2018. Id/No 159.doi:10.1007/s00526-018-1436-5

    2018 doi

  17. [25]

    M. Waurick. NonlocalH-convergence for topologically nontrivial domains.J. Funct. Anal., 288(3):49, 2025. Id/No 110710.doi:10.1016/j.jfa.2024.110710. TU Hamburg, Institute of Ma thematics, Am Schw arzenberg-Campus 3, 21073 Ham- burg, Germany Email address:andreas.buchinger@tuhh...

    2025 doi

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.