REVIEW 3 major objections 5 minor 38 references
General Magneto-Static Model
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that the nonlinear magneto-static system on a bounded multiply connected domain has weak solutions under Dirichlet, tangential-curl, normal-curl, natural, and co-normal boundary conditions, with solvability depending on…
desk verdict Solid technical existence theory for nonlinear magnetostatics on multiply-connected domains, but the abstract oversells the results: most theorems prove existence only after adjusting the topological harmonic field h1 or h2, not for arbitrary prescribed data. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the material-law package (H1)-(H3): the $BH$-relation $H(x,z)$ is strongly monotone and Lipschitz in the field variable $z$, with a coercive, monotone inverse $B(x,w)$. This package makes the map $w \mapsto \operatorname{curl}\,[H(x,\operatorname{curl}\,w+h_2)]$ a strongly monotone operator on the space $X = H^1_{t0}(\Omega,\mathrm{div}\,0) \cap \mathbb{H}_2(\Omega)^\perp$, so the Browder-Minty surjectivity theorem applies. The domain topology enters through the Hodge-type decompositions $L^2 = H_\Gamma(\Omega,\mathrm{div}\,0) \oplus \mathbb{H}_2(\Omega) \oplus \mathrm{grad}\,H^1_0$ and $L^2 = H_\Sigma^0(\Omega,\mathrm{div}\,0) \oplus \mathbb{H}_1(\Omega) \oplus \mathrm{grad}\,H^1$, together with the projections $P_\nu$ and $P_n$, which convert each boundary value problem into a scalar quasilinear div-curl equation for a potential $\varphi$. The reduction method solves the scalar problem and then selects $h_1$ or $h_2$ by an acute-angle (Brouwer degree) argument to satisfy the required orthogonality conditions.
What would settle it
Choose a smooth $BH$-relation on a toroidal domain whose inverse $B$ is multivalued or whose monotonicity constant $\mu$ is zero (a saturation plateau). Then the reduction (4.13) and the monotone-operator proofs cannot be run; the concrete test is to construct a current $J$ for which the weak formulation of the Dirichlet problem (4.1) has no solution, which would contradict the claim that (H1)-(H3) is sufficient for existence.
Extended reading notes
Core claim
The central claim is that the nonlinear magneto-static equations with a monotone $BH$-relation are always solvable in the weak sense on any bounded $C^2$ domain, no matter how many holes it has, provided the right topological data are admitted. The equations contain the Neumann field $h_1 \in \mathbb{H}_1(\Omega)$ and the Dirichlet field $h_2 \in \mathbb{H}_2(\Omega)$, the finite-dimensional harmonic fields whose dimensions equal the number of boundary components and the number of holes (and cutting surfaces); for current depending on the magnetic induction, an unknown gradient $\nabla p$ is also included. The paper proves existence for the current-given system under Dirichlet, tangential-curl, normal-curl, natural, and co-normal boundary conditions (Theorems 4.3, 4.8, 5.7, 6.3, 6.8, 6.11), and for the Maxwell-Stokes system under normal-curl-Neumann, natural-Neumann, and co-normal-Neumann conditions (Theorems 7.6, 7.10, 7.14), in each case with $h_1$ or $h_2$ adjusted to match the topology. The theorems are proved by a combination of monotone operator theory, reduction to scalar quasilinear elliptic problems, and Schauder fixed point arguments, and the solution is sought in the divergence-free space $H^1(\Omega,\mathrm{div}\,0)$.
Load-bearing premise
The entire existence theory rests on the assumption that the $BH$-curve is uniformly strongly monotone and Lipschitz with a global inverse; a real material whose magnetic response saturates or exhibits hysteresis would violate this, and the theorems would not apply.
Editorial extensions
If this is right
- For any multiply connected magnet with a monotone, invertible $BH$-curve, the magnetostatic problem has a weak solution for each admissible choice of the harmonic topological data.
- When the current is prescribed, the solution is unique in the quotient space $H^1(\Omega,\mathrm{div}\,0) \cap \mathbb{H}_2(\Omega)^\perp$ and depends continuously on $(h_1,J)$.
- When the current depends on the magnetic induction, existence holds under sublinear growth of the current term $f$ with respect to $|z|$, on each of the three boundary condition families.
- The boundary condition for the pressure-like term $p$ is forced by the topology: Neumann conditions when holes are present, Dirichlet conditions when the domain is simply connected.
- In the co-normal and natural cases, the theorem asserts existence after re-adjusting $h_2$ (or $h_1$) in the finite-dimensional spaces $\mathbb{H}_2$ or $\mathbb{H}_1$, so the result is existence for some topological data rather than for every prescribed pair.
Reading between the lines
- If these theorems are right, numerical solvers for eddy-current and magnetostatic problems on multi-material or multi-hole geometries should expect well-posedness only when harmonic fields are included as unknowns; fixing them a priori may be the reason some formulations appear unsolvable.
- The reduction to a scalar quasilinear Neumann or Dirichlet problem suggests a constructive numerical route: solve the scalar $\varphi$-problem, then recover the required $h_1$ or $h_2$ by projecting the mismatch onto the finite-dimensional cohomology spaces.
- A natural testable extension is to relax the sublinear growth condition on the current term; the paper leaves open whether superlinear dependence on $\operatorname{curl}\,u$ breaks the Schauder fixed-point argument, since a bounded invariant ball may no longer exist.
- The explicit dependence of the solution on $h_1$ and $h_2$ could serve as a diagnostic tool: if a computed magnetostatic field fails to satisfy the equation, the residual should be a harmonic field, identifying which topological mode the geometry is imposing.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the quasilinear magneto-static system curl[H(x, curl u + h2)] = J + h1 (+ grad p), div u = 0, on a bounded multiply connected domain, where h1 in H1 and h2 in H2 are harmonic fields encoding the domain topology and p is an unknown electric potential. It derives the model from Maxwell's equations in Section 3, then proves existence of weak or classical solutions for several boundary conditions: Dirichlet (Section 4), tangential curl (Section 5), normal curl, natural, and co-normal (Section 6), and three Maxwell-Stokes problems with solution-dependent current (Section 7). The main tools are Hodge-type decompositions, monotone operator theory, reduction to scalar quasilinear elliptic problems, and Schauder fixed-point arguments. Theorems 4.3 and 6.8 give existence for prescribed h1 and h2, while most other theorems establish existence only after choosing one of the topological fields, usually h2, in a data-dependent way.
Significance. If the results are read as conditional existence statements for suitable topological fields, the paper is a substantial contribution to the rigorous theory of nonlinear magnetostatics on topologically nontrivial domains. It makes explicit how the number of holes and cuts enters the solvability conditions, and it provides detailed proofs by monotone operators and reduction methods rather than merely formal arguments. The assumptions (H1)-(H3) and (B1)-(B2) are clearly stated, and the compatibility conditions for the natural boundary value problem are written down explicitly. The main limitation is that several of the central theorems do not establish existence for arbitrary prescribed topological data, which weakens the abstract's claim of existence results under five boundary conditions. The paper would be significantly strengthened by either proving fixed-topological-field versions of Theorems 5.7, 6.3, 6.11, 7.6, 7.10, and 7.14, or by explicitly rephrasing the claims as results on the dependence of solvability on the choice of h1 and h2.
major comments (3)
- [Abstract; Theorems 5.7, 6.3, 6.11, 7.6, 7.10, 7.14] The quantifier order in the main existence theorems is not what the abstract and introduction lead the reader to expect. Theorem 5.7 proves existence for some h2 depending on h0_1, Theorem 6.3 and Theorem 6.11 construct h2 after fixing an auxiliary h0_1, Theorem 7.6 constructs h2 depending on h1 and hat h1, Theorem 7.10 constructs h1 depending on h2, and Theorem 7.14 constructs h2 depending on hat h1. In the physical model, h1 and h2 are not free auxiliary parameters: h2 is the harmonic part of B and represents the flux through the holes, while h1 is the harmonic part of sigma E. The abstract's phrase 'existence results ... under various types of boundary conditions are proved' should therefore be qualified so that it is clear that, except for Theorems 4.3 and 6.8, the results show existence after adjusting one of the topological fields rather than for arbitrary prescribed topological data.
- [Theorem 5.7 and Proposition 5.5] Theorem 5.7 is conditional not only on the choice of h2 but also on the existence of h0_1 in H1 satisfying the compatibility condition (5.18). The paper does not prove that such an h0_1 exists, and the first condition in (5.18), namely nu dot curl[H(x, B0_T)] = nu dot J on the boundary, depends only on the data J and B0_T and cannot be arranged by choosing h0_1. As written, the tangential-curl BVP is therefore solved only for data satisfying an unverified compatibility condition. The theorem should either prove that (5.18) is nonempty for a natural class of data, or be explicitly labeled as a conditional existence result with a discussion of the meaning of the compatibility condition.
- [Theorems 6.3, 6.11, 7.6, 7.14] In these theorems the successful choice of h2 is made only after the reduced problem has been solved, through orthogonality conditions such as (6.5), (7.14), or (7.33). This does not address the physically relevant case of a prescribed flux h2. Since h2 is finite-dimensional, a natural strengthening would be to fix h2 and search for the auxiliary H1-component by a finite-dimensional degree argument; if such an argument is not possible, the paper should explicitly characterize the set of h2 for which existence holds. Without this, the claim that the normal-curl, co-normal, and Maxwell-Stokes boundary value problems are solvable is weaker than a reader would reasonably infer from the abstract.
minor comments (5)
- [Title and Abstract] There are typos in the title and abstract, such as 'Magneto-St a tic' and 'various type of boundary conditions'; these should be corrected.
- [Remark 2.2] The displayed formulas for the constants in (B2) list N2 twice; the first occurrence should presumably be N1, the constant for the bound on grad_x B.
- [Section 5 and Section 6] The notation h0_1 and h0_2 in Sections 5-7 is easily confused with the physical topological field h1; renaming the auxiliary fields, for example alpha and beta, would improve readability.
- [Lemma 2.7] In the proof of Lemma 2.7 the notation H0 is used before it is defined in the context of condition (6.8); the extension used in the proof should be named explicitly to avoid ambiguity.
- [Introduction after (1.3)] The abstract says grad p represents the electric field, while Remark 3.6 and the introduction state that grad p represents both the electric field and the domain topology; these statements should be reconciled.
Circularity Check
No significant circularity: the existence proofs are direct monotone-operator and fixed-point arguments, and the topological parameters are honestly quantified.
full rationale
The paper's derivation chain is not circular. Section 3 derives the magneto-static equations (1.4) and (1.5) from the time-independent Maxwell system using standard Hodge decompositions (2.5)-(2.7); the representations sigma E = grad p + h1 and B = curl u + h2 define h1 and h2 as the topological harmonic components, but the subsequent existence theorems do not assume their own conclusions. The proofs in Sections 4-7 use Browder-Minty monotone operator theory, Schauder fixed point arguments, and standard elliptic regularity, with the material-law hypotheses (H1)-(H3), (B1)-(B2), and (f1) as inputs. Theorems such as 5.7, 6.3, 6.11, 7.6, 7.10, and 7.14 prove existence after constructing h2 (or h1) from the solution of a reduced problem (e.g., formula (5.23) and condition (7.14)); because the existence of such a topological field is exactly the stated conclusion, rather than a prescribed datum, this is not a fitted input renamed as a prediction. It is a weaker quantifier than 'for all h1 and h2', but that is an issue of strength of claim, not circularity. The self-citations to the author's prior works [P4] and [P5] provide technical De Rham lemmas and modeling context (e.g., the choice of Neumann condition for p); these are external mathematical statements used as lemmas, and the central existence results do not reduce to an unverified self-citation chain. Therefore no circular step is identified.
Assumptions & free parameters
assumptions (5)
- domain assumption The domain satisfies (O1)-(O2): bounded C^r or C^2/C^{3,alpha} boundary, finite boundary components and cut surfaces, making the standard Hodge-type decompositions of L^2 valid.
- domain assumption The BH relation H(x,z) satisfies (H1)-(H3): growth, uniform strong monotonicity, Lipschitz continuity, and existence of a global inverse B with coercive estimates (B1)-(B2).
- standard math Classical background results: Hodge decomposition theorems, div-curl-gradient inequalities, regularity of div-curl systems, Browder-Minty theorem, Schauder fixed point theorem, and quasilinear elliptic regularity.
- domain assumption The current functions and boundary data satisfy the stated compatibility conditions, for example J in H_Gamma(div0) for (4.1), (5.18) for the tangential-curl BVP, (6.10) for the natural BVP, and (7.12) for the solution-dependent current.
- domain assumption The solution-dependent current f satisfies (f1) and the sublinear growth condition (7.12) when Schauder fixed points are used.
Cite this review
Pith. "Pith review of General Magneto-Static Model." pith.science (2026). https://pith.science/paper/AGSDC34G
@misc{pith2026190803882,
author = {Pith},
title = {Pith review of: General Magneto-Static Model},
year = {2026},
howpublished = {\url{https://pith.science/paper/AGSDC34G}},
note = {Machine review of arXiv:1908.03882}
}
abstract
In this paper we study a nonlinear magneto-static model on a general domain which is multiply-connected and has $m$ holes, and under a nonlinear relation between magnetic induction $\bold B$ and magnetic field $\bold H$. The equation contains a Neumann field $\bold h_1\in\Bbb H_1(\Omega)$ and a Dirichlet field $\bold h_2\in\Bbb H_2(\Omega)$, which represent the effects of domain topology. For a general electric current, the equation contains an unknown gradient $\nabla p(x)$, which represents the electric field. Existence results of solutions of boundary value problems of this model under various types of boundary conditions are proved, which exhibit the effects of domain topology.
Reference graph
Works this paper leans on
-
[1]
C. Amrouche and N. Seloula, L^p -teory for vector potentials and Sobolev's inequalities for vector fields. Application to the Stokes equations with presure boundary conditions , Math. Models Methods Appl. Sci., 23 (2013), 37-92
work page 2013
-
[2]
G. Auchmuty and J. C. Alexander, L^2 -well-posedness of 3d-div-curl boundary value problems , Quart. Appl. Math. 63 , 479-508 (2005)
work page 2005
-
[3]
F. Bachinger, U. Langer and J. Sch\"oberl, Numerical analysis of nonlinear multiharmonic eddy current problems , Numer. Math., 100 (2005), 593-616
work page 2005
-
[4]
P. Bates and X. B. Pan, On a problem related to vortex nucleation of 3 dimensional superconductors , Comm. Math. Phys., 276 (2007), 571--610. Erratum, 283 (2008), 861
work page 2007
-
[5]
V. Benci and D. Fortunato, Towards a unified field theory for classical electrodynamics , Arch. Rational Mech. Anal., 173 (2004), 379-414
work page 2004
-
[6]
J. Bolik and W. von Wahl, Estimating in terms of div , curl , either ( , ) or and the topology , Math. Methods Appl. Sci., 20 (1997), 734-744
work page 1997
-
[7]
Chapman, Macroscopic Models of Superconductivity , Ph
S. Chapman, Macroscopic Models of Superconductivity , Ph. D thesis, Oxford University, 1991
work page 1991
-
[8]
M. Costabel, M. Dauge, and S. Nicaise, Singularities of eddy current problems , ESAIM Math. Model. Numer. Anal., 37 (2003), 807-831
work page 2003
Show all 38 references
-
[9]
Dautray and J
R. Dautray and J. -L. Lions, Mathematical Analysis and Numerical Methods for Science and technology , vol. 3 , Springer-Verlag, New York, 1990
1990
-
[10]
Gilbarg and N
D. Gilbarg and N. Trudinger, Elliptic Partial Differential Equations of Second Order , 2nd edition, Springer, Berlin, 1983
1983
-
[11]
Girault and P
V. Girault and P. A. Raviart, Finite Element Methods for the Navier-Stokes Equations, Theory and Algorithms , Springer, Berlin, 1986
1986
-
[12]
Grisvard, Elliptic problems in nonsmooth domains , Monographs and Studies in Mathematics, 24 , Pitman, Boston, 1985
P. Grisvard, Elliptic problems in nonsmooth domains , Monographs and Studies in Mathematics, 24 , Pitman, Boston, 1985
1985
-
[13]
Jan\'ikov\'a and M
E. Jan\'ikov\'a and M. Slodi c ka, Fix-point linearization schemes for nonlinear steady-state eddy current problems , Math. Meth. Appl. Sci., 30 (2007), 1697-1704
2007
-
[14]
Jiang and W
X. Jiang and W. Y. Zheng, An efficient eddy current model for nonlinear Maxwell equations with laminated conductors , SIAM J. Appl. Math., 72 (2012), 1021-1040
2012
-
[15]
Jiang and W
X. Jiang and W. Y. Zheng, Homogenization of quasi-static Maxwell's equation , SIAM Multiscale Model. Simul., 12 (1) (2014), 152-180
2014
-
[16]
Jochmann, The semistatic limit for Maxwell's equations in an exterior domain , Comm
F. Jochmann, The semistatic limit for Maxwell's equations in an exterior domain , Comm. PDE, 23 (11-12) (1998), 2035-2076
1998
-
[17]
Kozono and T
H. Kozono and T. Yanagisawa, L^r -variational inequality for vector fields and the Helmholtz-Weyl decomposition in bounded domains, Indiana Univ. Math. J. 58 (4), (2009) 1853-1920
2009
-
[18]
O. A. Ladyzhenskaja and N. N. Uraltzeva, Linear and Quasilinear Elliptic Equations , 2nd ed., Nauka, Moscow, 1964. [English transl.by Academic Press, New York, 1968.]
1964
-
[19]
Landau and E.M
L.D. Landau and E.M. Lifshitz, Electrodynamics of Continuous Media , Elsvier (Singapore), 2007
2007
-
[20]
Lieberman, Oblique Derivative Problems for Elliptic Equations , World Scientific Pub
G. Lieberman, Oblique Derivative Problems for Elliptic Equations , World Scientific Pub. Co., Singapore, 2013
2013
-
[21]
Lieberman and X.B
G. Lieberman and X.B. Pan, On a quasilinear system arising in the theory of superconductivity , Proc. Royal Soc. Edinburgh, 141 A (2) (2011), 397-407
2011
-
[22]
Milani and R
A. Milani and R. Picard, Decomposition theorems and their application to nonlinear electro- and magneto-static boundary value problems , in: S. Hildebrandt and R. Leis eds., Partial Differential Equations and Calculus of Variations, pp. 317-340, Lecture Notes in Math., vol. 13...
1988
-
[23]
Milani and R
A. Milani and R. Picard, Weak solution theory for Maxwell's equstions in the semistatic limit case , J. Math. Anal. Appl., 191 (1995), 77-100
1995
-
[24]
Mitrea, M
D. Mitrea, M. Mitrea and M. Taylor, Layer Potentials, the Hodge Laplacian and Global Boundary Problems in Non-Smooth Riemannian Manifolds , Memoirs Amer. Math. Soc., vol. 150 , no. 713, 2001
2001
-
[25]
Monneau, Quasilinear elliptic system arising in a three-dimensional type I\!I superconductor for infinite , Nonlinear Analysis, 52 (2003), 917-930
R. Monneau, Quasilinear elliptic system arising in a three-dimensional type I\!I superconductor for infinite , Nonlinear Analysis, 52 (2003), 917-930
2003
-
[26]
Neudert and W
M. Neudert and W. Wahl, Asymptotic behavior of the div-curl problem in exterior domains , Adv. in Differential Equations, 6 (2001), 1347-1376
2001
-
[27]
X. B. Pan, On a quasilinear system involving the operator Curl , Calc. Var. PDE, 36 (3) (2009), 317-342
2009
-
[28]
X. B. Pan, Minimizing curl in a multiconnected domain , J. Math. Phys., 50 (3) (2009), art. no. 033508
2009
-
[29]
X. B. Pan, Regularity of weak solutions to nonlinear Maxwell systems , J. Math. Phys., 56 (2015), 071508
2015
-
[30]
Pan, Existence and regularity of solutions to quasilinear systems of Maxwell type and Maxwell-Stokes type , Calculus of Variations and PDEs, 55 (6) (2016), 1-43
X.B. Pan, Existence and regularity of solutions to quasilinear systems of Maxwell type and Maxwell-Stokes type , Calculus of Variations and PDEs, 55 (6) (2016), 1-43
2016
-
[31]
X. B. Pan, Variational and operator methods for Maxwell-Stokes system , Disc. Contin. Dyn. Systems, Ser. A, special issue dedicated to the 70th birthday of Prof. Wei-Ming Ni, to appear
-
[32]
Picard, On the boundary value problems of electro- and magnetostatics , Proc
R. Picard, On the boundary value problems of electro- and magnetostatics , Proc. Royal Soc. Edinburgh, 92 A (1982), 165-174
1982
-
[33]
Schwarz, Hodge Decomposition-- A Method for Solving Boundary Value Problems , Lecture Notes in Math., vol
G. Schwarz, Hodge Decomposition-- A Method for Solving Boundary Value Problems , Lecture Notes in Math., vol. 1607 , Springer-Verlag, Berlin Heidelberg, 1995
1995
-
[34]
von Wahl, Estimating by div and curl , Math
W. von Wahl, Estimating by div and curl , Math. Methods Appl. Sci., 15 (1992), 123-143
1992
-
[35]
H. M. Yin, On a nonlinear Maxwell's system in quasi-stationary electromagnetic fields , Math. Models Methods Appl. Sci., 14 (10) (2004), 1521-1539
2004
-
[36]
Yousept, Optimal control of quasilinear H(curl)-elliptic partial differential equations in magnetostatic field problems , SIAM J
I. Yousept, Optimal control of quasilinear H(curl)-elliptic partial differential equations in magnetostatic field problems , SIAM J. Control Optim., 51 (5) (2013), 3624-3651
2013
-
[37]
Zeidler, Nonlinear Functional Analysis and Its Applications, Fixed Point Theorems , Vol
E. Zeidler, Nonlinear Functional Analysis and Its Applications, Fixed Point Theorems , Vol. I, Springer-Verlag, New York, 1986
1986
-
[38]
Zeidler, Nonlinear Functional Analysis and Its Applications , II/B: Nonlinear Monotone Operators, Springer-Verlag, New York, 1990
E. Zeidler, Nonlinear Functional Analysis and Its Applications , II/B: Nonlinear Monotone Operators, Springer-Verlag, New York, 1990
1990
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.