bf H(curl²) conforming element for Maxwell's transmission eigenvalue problem using fixed-point approach
Pith reviewed 2026-05-24 11:08 UTC · model grok-4.3
The pith
New H(curl²) conforming elements with a fixed-point formulation deliver optimal error estimates for Maxwell transmission eigenvalues.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using newly developed H(curl²) conforming elements on the fixed-point weak formulation of Maxwell's transmission eigenvalue problem, with reasonable assumptions, the optimal error estimates for numerical eigenvalues and eigenfunctions are established in the H(curl²)-norm and H(curl)-semi-norm.
What carries the argument
H(curl²) conforming finite elements applied to the fixed-point weak formulation of the transmission eigenvalue problem.
If this is right
- Optimal error estimates apply to both real and complex eigenvalues.
- Eigenfunctions converge at optimal order in the H(curl²) norm.
- Eigenvalues achieve optimal accuracy from the fixed-point discretization.
- The estimates cover the H(curl) semi-norm as well.
Where Pith is reading between the lines
- The method could support more accurate forward simulations in electromagnetic scattering where transmission eigenvalues determine unknown material coefficients.
- The same elements might be tested on related curl-curl eigenvalue problems arising in cavity resonators.
- Implementation on adaptive meshes could be examined to see whether the conformity properties preserve the predicted rates in practice.
Load-bearing premise
The fixed-point weak formulation admits reasonable assumptions that permit derivation of the optimal error estimates.
What would settle it
Numerical experiments on a sequence of refined meshes in which the observed convergence rate for eigenvalues or eigenfunctions falls below the predicted optimal order would falsify the claims.
read the original abstract
Using newly developed ${\bf H}(\mathrm{curl}^2)$ conforming elements, we solve the Maxwell's transmission eigenvalue problem. Both real and complex eigenvalues are considered. Based on the fixed-point weak formulation with reasonable assumptions, the optimal error estimates for numerical eigenvalues and eigenfunctions (in the ${\bf H}(\mathrm{curl}^2)$-norm and ${\bf H}(\mathrm{curl})$-semi-norm) are established.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops new H(curl²)-conforming finite elements to discretize Maxwell's transmission eigenvalue problem for both real and complex eigenvalues. It employs a fixed-point weak formulation and claims to prove optimal error estimates for the computed eigenvalues and eigenfunctions in the H(curl²)-norm and H(curl)-semi-norm.
Significance. If the error analysis is complete, the work supplies a conforming discretization and convergence theory for a non-self-adjoint eigenvalue problem that arises in scattering theory, which could enable reliable numerical computation of transmission eigenvalues with optimal rates.
major comments (2)
- [Abstract and fixed-point weak formulation] Abstract and the fixed-point formulation section: the headline result (optimal error estimates) is stated to hold only 'with reasonable assumptions,' yet no explicit list or verification of those assumptions (compactness of the solution operator, spectral gap, interface regularity, etc.) is provided; without this, the applicability of the error analysis to the transmission problem cannot be confirmed.
- [Error estimates] Error analysis section (presumably §4–5): the derivation of the optimal rates in the H(curl²)-norm and H(curl)-semi-norm must be shown to rest only on the listed assumptions and not on additional hidden regularity or mesh conditions; the manuscript should include a dedicated paragraph verifying that the Maxwell transmission problem satisfies the hypotheses of the abstract error theorem.
minor comments (1)
- [Throughout] Notation: ensure that the boldface convention for vector fields is applied uniformly in all displayed equations and text.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions highlight opportunities to improve clarity regarding the assumptions underlying our error analysis. We address each major comment below and will incorporate the requested clarifications in the revised version.
read point-by-point responses
-
Referee: [Abstract and fixed-point weak formulation] Abstract and the fixed-point formulation section: the headline result (optimal error estimates) is stated to hold only 'with reasonable assumptions,' yet no explicit list or verification of those assumptions (compactness of the solution operator, spectral gap, interface regularity, etc.) is provided; without this, the applicability of the error analysis to the transmission problem cannot be confirmed.
Authors: We agree that an explicit enumeration of the assumptions would strengthen the presentation and allow readers to verify applicability more readily. In the revised manuscript we will insert a new subsection (approximately §2.3) immediately after the fixed-point formulation. This subsection will list all hypotheses required by the abstract error theorem, including compactness of the solution operator, existence of a spectral gap, and sufficient interface regularity. Brief justifications will be supplied, drawing on standard results for the Maxwell transmission problem under the usual physical assumptions (smooth interfaces, positive bounded material coefficients). These additions will make the scope of the error estimates explicit without altering the analysis itself. revision: yes
-
Referee: [Error estimates] Error analysis section (presumably §4–5): the derivation of the optimal rates in the H(curl²)-norm and H(curl)-semi-norm must be shown to rest only on the listed assumptions and not on additional hidden regularity or mesh conditions; the manuscript should include a dedicated paragraph verifying that the Maxwell transmission problem satisfies the hypotheses of the abstract error theorem.
Authors: We accept this recommendation. A new paragraph will be added at the start of the error-analysis section (new §4.1) that systematically checks each hypothesis of the abstract theorem against the Maxwell transmission eigenvalue problem. The paragraph will confirm that the subsequent proofs invoke only the listed assumptions together with standard mesh quasi-uniformity; no supplementary regularity or mesh restrictions are used. Cross-references will be inserted in §§4–5 to ensure every step is traceable to these hypotheses. This change addresses the concern directly while preserving the existing proofs. revision: yes
Circularity Check
No circularity: standard error analysis under stated assumptions
full rationale
The derivation relies on a fixed-point weak formulation to obtain optimal error estimates for eigenvalues and eigenfunctions in the H(curl²) and H(curl) norms. This is the conventional structure of finite-element convergence proofs for transmission eigenvalue problems: the estimates follow from approximation properties of the discrete spaces once the weak form and its compactness/spectral properties are assumed. No step reduces a claimed prediction to a fitted parameter by construction, renames a known result, or depends on a self-citation chain whose validity is internal to the paper. The assumptions are external to the numerical result and the analysis remains self-contained against standard a priori theory.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Fixed-point weak formulation with reasonable assumptions
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
I. Babuska, J. Osborn. Eigenvalue Problems, in: P .G. Ciar let, J. L. Lions, (Ed.), Finite Element Methods (Part 1), Handbook of Numerical Analysis, vol.2, Elsevier Science Pu blishers, North-Holand, 1991, pp. 640-787
work page 1991
-
[4]
S. C. Brenner, J. Sun, and L. Sung. Hodge decomposition met hods for a quad-curl problem on planar domains. J. Sci. Comput., 73(2017), 495-513
work page 2017
-
[5]
F. Brezzi and M. Fortin. Mixed and Hybrid Finite Element Me thods, vol. 15, Springer, New York, NY, USA, 1991
work page 1991
- [6]
- [7]
-
[8]
F. Cakoni, D. Gintides, and H. Haddar. The existence of an i nfinite discrete set of transmission eigenvalues. SIAM J. Math. Anal., 42(2010), 237-255. 14 T able 6 The numerical eigenvalues by lowest order element on the L-s haped-domain with h0 = √ 2 16 . N = [16 0; 0 16 + x1 − x2] N = [16 x1; x1 2] j h k j,h rh |f ′ h(τj,h)| j h k j,h rh |f ′ h(τj,h)| 1 h...
work page 2010
- [9]
- [10]
- [11]
- [12]
- [13]
- [14]
- [15]
-
[16]
Q. Hong, J. Hun, S. Shu, and J. Xu. A discontinuous galerki n method for the fourth-order curl problem. J. Comp. Math., 30(2012), 565-578
work page 2012
-
[17]
K. Hu, Q. Zhang, and Z. Zhang. Simple curl-curl-conformi ng finite elements in two dimensions, SIAM Journal on Scientific Computing, 42(2020), A3859-A3877
work page 2020
- [18]
-
[19]
T. M. Huang, W. Q. Huang, and W. W. Lin. A robust numerical a lgorithm for computing Maxwell’s transmission eigenvalue problems, SIAM J. Sci. Comput. 37(2015), A2403- A2423
work page 2015
-
[20]
X. Ji, J. Sun, and H. Xie. A multigrid method for Helmholtz transmission eigenvalue problems. J. Sci. Comput., 60(2014), 276-294
work page 2014
-
[21]
A. Kleefeld and L. Pieronek. The method of fundamental so lutions for computing acoustic interior transmission eige n- values. Inverse Problems, 34 (2018), 035007
work page 2018
-
[22]
F. Kikuchi. W eak formulations for finite element analysi s of an electromagnetic eigenvalue problem. Scientific Pape rs of the College of Arts and Sciences, University of Tokyo, 38 ( 1988), 43-67
work page 1988
-
[23]
F. Kikuchi. On a discrete compactness property for the Ne delec finite elements. J.fac.sci.univ.tokyo Sect. 1A Math, 36(1989), 479-490
work page 1989
-
[24]
P. Monk . Finite Element Methods for Maxwell’s Equations, Oxford Un iversity Press, Oxford, UK, 2003
work page 2003
-
[25]
P. Monk and J. Sun. Finite element methods for Maxwell’s t ranmission eigenvalues. SIAM. J. Sci. Comput., 34(2012), B247-B264
work page 2012
-
[26]
P. Monk and L. Demkowicz. Discrete compactness and the ap proximation of Maxwell’s equations in R3. Math. Comp., 70(2000), pp. 507-523
work page 2000
-
[27]
J. C. N´ ed´elec. Mixed finite elements in R3. Numer. Math., 35(1980), 315-341
work page 1980
-
[28]
J. E. Osborn. Spectral approximation for compact operat ors. Math. Comput., 26(1975), 712-725
work page 1975
-
[29]
L. P¨ aiv¨ arinta and J. Sylvester. Transmission eigenvalues, SIAM J. Math. Anal., 40(2008), 738-753
work page 2008
-
[30]
J. Sun. Iterative methods for transmission eigenvalues , SIAM J. Numer. Anal., 49(2011), pp. 1860-1874
work page 2011
- [31]
-
[32]
J. Sun. A mixed FEM for the quad-curl eigenvalue problem, Numer. Math., 132(2016), 185-200
work page 2016
- [33]
- [34]
-
[35]
Y. Yang, J. Han, and H. Bi. Error estimates and a two grid sc heme for approximating transmission eigenvalues. arXiv: 1506.06486 V2 [math. NA] 2 Mar 2016
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[36]
Y. Yang, H. Bi, H. Li, and J. Han. Mixed method for the helmh oltz transmission eigenvalues. SIAM J. Sci. Comput., 38(2016), A1383-A1403
work page 2016
- [37]
-
[38]
S. Zhang. Mixed schemes for quad-curl equations, ESAIM: M2AN, 52 (2018), 147-161
work page 2018
- [39]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.