pith. sign in

arxiv: 2605.04241 · v1 · submitted 2026-05-05 · 🧮 math.AP

Fractional Vector Calculus and the Fractional Maxwell's Equations

Giovanni Covi , Ruirui Wu This is my paper

Pith reviewed 2026-05-08 17:05 UTC · model grok-4.3

classification 🧮 math.AP
keywords fractional Maxwell equationsfractional curltwo-point fieldsprojection mapfractional Helmholtz decompositionweighted fractional Sobolev spaceswell-posedness
0
0 comments X

The pith

A projection map reduces the two-point fractional Maxwell system to an equivalent one-point system whose well-posedness is proven in weighted fractional Sobolev spaces.

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

The paper formulates a fractional variant of Maxwell's equations in which the electric and magnetic fields are two-point objects rather than ordinary vector fields. It equips this setting with a fractional curl operator shown to be compatible with the fractional divergence so that the divergence-free constraint is preserved. A projection map then collapses two-point fields to one-point fields, and a new fractional Sobolev space is introduced in which this projection is bijective and a fractional Helmholtz decomposition exists. With these ingredients the authors establish existence and uniqueness for the reduced one-point system in weighted fractional Sobolev spaces and transfer the result back to the original two-point formulation. The construction supplies the analytic groundwork required for subsequent inverse-scattering analysis of the fractional model.

Core claim

By verifying that the projection map Π is a bijection on a newly defined fractional Sobolev space that admits a fractional Helmholtz decomposition, and that the fractional curl operator is compatible with the fractional divergence, the two-point fractional Maxwell system is reduced to an equivalent one-point system whose well-posedness is established in weighted fractional Sobolev spaces.

What carries the argument

The projection map Π that reduces two-point fields to one-point fields while preserving the divergence-free condition via compatibility of the fractional curl and fractional divergence operators.

If this is right

  • Existence and uniqueness hold for the one-point fractional Maxwell system in the weighted spaces.
  • The two-point formulation inherits the same well-posedness result directly from the bijection.
  • The divergence-free condition remains invariant under the fractional evolution.
  • The reduction permits all further analysis of the system to be carried out entirely in one-point variables.

Where Pith is reading between the lines

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

  • The same projection-plus-compatibility technique could be applied to other linear fractional vector-calculus systems such as the fractional Stokes or wave equations.
  • Well-posedness in weighted spaces may yield explicit stability estimates with respect to the fractional order that would support numerical approximation schemes.
  • The framework provides a natural setting in which to formulate and analyze the scattering inverse problem referenced as future work.

Load-bearing premise

The projection map Π is a bijection on the newly defined fractional Sobolev space and the fractional curl is compatible with the fractional divergence so that the divergence-free condition is preserved.

What would settle it

A concrete two-point field in the space whose one-point projection cannot be inverted uniquely, or an explicit solution of the reduced system that fails to be unique in the weighted fractional Sobolev space.

read the original abstract

We consider a fractional variant of Maxwell's equations, where the electric and magnetic fields are modeled as two-point fields. To formulate the system, we introduce a fractional curl operator that is compatible with the fractional divergence operator, ensuring the divergence-free condition. A key ingredient is a projection map $\Pi$ that reduces two-point fields to one-point fields. We also define a new fractional Sobolev space whose elements enjoy a fractional Helmholtz decomposition and observe that the projection $\Pi$ is a bijection in this space, which allows us to reformulate the problem entirely in terms of one-point fields. We then prove the well-posedness of the equations in one-point fields in weighted fractional Sobolev spaces, and deduce a corresponding well-posedness result for the two-points fractional Maxwell system. This constitutes a first necessary step towards the resolution of a scattering inverse problem for the fractional Maxwell's equations, which will be the topic of future work.

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

2 major / 1 minor

Summary. The paper constructs a fractional curl operator compatible with the fractional divergence for modeling two-point fields in a fractional variant of Maxwell's equations. It introduces a projection map Π reducing two-point fields to one-point fields and defines a new weighted fractional Sobolev space admitting a fractional Helmholtz decomposition, on which Π is claimed to be bijective. This allows reformulation of the system in one-point fields. The authors prove well-posedness of the one-point fractional Maxwell system in these spaces and deduce the corresponding result for the two-point system, positioning the work as a step toward a scattering inverse problem.

Significance. If the operator compatibilities and well-posedness hold, the manuscript supplies a foundational framework for non-local Maxwell equations, extending classical vector calculus identities to fractional orders via weighted spaces. The explicit construction of a compatible fractional curl and the Helmholtz decomposition in the new space represent a concrete advance that could support analysis of inverse problems in fractional settings.

major comments (2)
  1. [Abstract (paragraph on projection Π and new Sobolev space) and the subsequent construction of the space] The reduction from the two-point to the one-point system and the preservation of the divergence-free constraint both rest on the asserted bijection of Π on the new fractional Sobolev space together with the identity div(curl u) = 0 (up to the weight) for the fractional operators. These are not automatic for non-local fractional derivatives; they require explicit verification of the operator definitions, the choice of weights, and the Helmholtz decomposition property for the admissible range of the fractional order s. Without such verification the reformulation step is invalid and the well-posedness transfer does not follow.
  2. [Section containing the well-posedness proof for the one-point system] The well-posedness statement for the one-point system in weighted fractional Sobolev spaces is asserted after constructing the operators, yet the provided text supplies no explicit a-priori estimates, coercivity constants, or compactness arguments. These estimates are load-bearing for the central claim; their absence leaves open the possibility of hidden assumptions on the fractional order or the weight that could restrict the result.
minor comments (1)
  1. [Preliminary definitions] Notation for the fractional curl and the weight function should be introduced with a clear reference to the precise integral definition used, to avoid ambiguity when comparing with other fractional vector-calculus literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major points below and will revise the manuscript to improve clarity and explicitness where indicated.

read point-by-point responses

  1. Referee: [Abstract (paragraph on projection Π and new Sobolev space) and the subsequent construction of the space] The reduction from the two-point to the one-point system and the preservation of the divergence-free constraint both rest on the asserted bijection of Π on the new fractional Sobolev space together with the identity div(curl u) = 0 (up to the weight) for the fractional operators. These are not automatic for non-local fractional derivatives; they require explicit verification of the operator definitions, the choice of weights, and the Helmholtz decomposition property for the admissible range of the fractional order s. Without such verification the reformulation step is invalid and the well-posedness transfer does not follow.

    Authors: We agree that explicit verification is essential for fractional operators. The manuscript defines the fractional curl in Section 3 to be compatible with the weighted fractional divergence, satisfying div(curl u) = 0. In Section 4 we introduce the weighted fractional Sobolev space and prove the fractional Helmholtz decomposition (Theorem 4.3), from which the bijectivity of Π follows for s ∈ (0,1) excluding s=1/2, with the weight ensuring the required mapping properties. These steps are carried out in the proofs of Theorems 4.1–4.3. We will add a short summary paragraph after the construction to highlight the admissible range of s and the key verification steps. revision: partial

  2. Referee: [Section containing the well-posedness proof for the one-point system] The well-posedness statement for the one-point system in weighted fractional Sobolev spaces is asserted after constructing the operators, yet the provided text supplies no explicit a-priori estimates, coercivity constants, or compactness arguments. These estimates are load-bearing for the central claim; their absence leaves open the possibility of hidden assumptions on the fractional order or the weight that could restrict the result.

    Authors: The well-posedness of the one-point system is proved in Section 5 by casting the equations in variational form and invoking the Lax-Milgram theorem on the weighted space. Coercivity of the bilinear form follows from the Helmholtz decomposition and the lower bound on the weight, producing the a priori estimate ||u||_{H^s_w} ≤ C ||data|| with C depending explicitly on inf(weight) and s. Continuity is obtained similarly. No compactness argument is used, as the space is Hilbert and the form is coercive. We acknowledge that the constants and their dependence on s and the weight are not written out in full detail and will expand the proof of Theorem 5.1 to include these explicit expressions. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained via new operator definitions and standard fractional Sobolev properties

full rationale

The paper defines a fractional curl operator asserted to be compatible with the fractional divergence, introduces a projection Π reducing two-point to one-point fields, and constructs a weighted fractional Sobolev space in which Π is bijective and a fractional Helmholtz decomposition holds. Well-posedness is then proved directly in the one-point formulation before transferring back. These steps rest on the explicit construction of the operators and spaces rather than on any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation; the compatibility and bijection are presented as verifiable properties of the chosen definitions, not tautological. No renaming of known empirical patterns or smuggling of ansatzes via prior author work occurs. The overall argument therefore remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

The central claim rests on the existence of a fractional curl compatible with fractional divergence, the bijectivity of the projection Π, and the fractional Helmholtz decomposition in the newly introduced space. These are introduced rather than derived from prior literature.

axioms (2)
  • domain assumption The fractional curl operator commutes appropriately with the fractional divergence to preserve the divergence-free condition.
    Invoked to ensure the projected system remains consistent with the original two-point formulation.
  • domain assumption The newly defined fractional Sobolev space admits a fractional Helmholtz decomposition.
    Required for the projection Π to be bijective and for the reformulation in one-point fields.
invented entities (3)
  • fractional curl operator no independent evidence
    purpose: To replace the classical curl while remaining compatible with the fractional divergence on two-point fields.
    New operator defined to formulate the fractional Maxwell system.
  • projection map Π no independent evidence
    purpose: To reduce two-point fields to one-point fields while preserving the divergence-free condition.
    Central device that allows the entire problem to be rewritten in ordinary fields.
  • new fractional Sobolev space no independent evidence
    purpose: Space whose elements enjoy a fractional Helmholtz decomposition and on which Π is bijective.
    Invented to obtain well-posedness after projection.

pith-pipeline@v0.9.0 · 5451 in / 1562 out tokens · 17178 ms · 2026-05-08T17:05:13.214453+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

45 extracted references · 45 canonical work pages

  1. [1]

    Analysis & PDE , volume =

    Tuhin Ghosh and Mikko Salo and Gunther Uhlmann , title =. Analysis & PDE , volume =. 2020 , doi =

    work page 2020

  2. [2]

    Ten equivalent definitions of the fractional

    Mateusz Kwa. Ten equivalent definitions of the fractional. Fractional Calculus and Applied Analysis , volume =. 2017 , doi =

    work page 2017

  3. [3]

    Nonlinear Analysis , volume =

    Giovanni Covi , title =. Nonlinear Analysis , volume =. 2020 , doi =

    work page 2020

  4. [4]

    Inverse Problems , volume =

    Giovanni Covi , title =. Inverse Problems , volume =. 2020 , doi =

    work page 2020

  5. [5]

    2000 , series =

    William McLean , title =. 2000 , series =

    work page 2000

  6. [6]

    Qiang Du and Max Gunzburger and R. B. Lehoucq and Kun Zhou , title =. Mathematical Models and Methods in Applied Sciences , volume =. 2013 , doi =

    work page 2013

  7. [7]

    Qiang Du and Max Gunzburger and R. B. Lehoucq and Kun Zhou , title =. SIAM Review , volume =. 2012 , doi =

    work page 2012

  8. [8]

    Tarasov , title =

    Vasily E. Tarasov , title =. Annals of Physics , volume =. 2008 , doi =

    work page 2008

  9. [9]

    1992 , edition =

    David Colton and Rainer Kress , title =. 1992 , edition =

    work page 1992

  10. [10]

    2003 , series =

    Peter Monk , title =. 2003 , series =

    work page 2003

  11. [11]

    Unique continuation property and Poincar

    Giovanni Covi and Keijo M. Unique continuation property and Poincar. Inverse Problems and Imaging , volume =. 2020 , doi =

    work page 2020

  12. [12]

    Inverse Problems , volume =

    Fioralba Cakoni and David Colton and Peter Monk and Jiguang Sun , title =. Inverse Problems , volume =. 2010 , doi =

    work page 2010

  13. [13]

    and Salo, M

    Ghosh, T. and Salo, M. and Uhlmann, G. , title =. Analysis and PDEs , volume =

    work page

  14. [14]

    and Salo, M

    Rüland, A. and Salo, M. , title =. Nonlinear Analysis , volume =

    work page

  15. [15]

    and Rüland, A

    Ghosh, T. and Rüland, A. and Salo, M. and Uhlmann, G. , title =. Journal of Functional Analysis , volume =

    work page

  16. [16]

    and Salo, M

    Rüland, A. and Salo, M. , title =. Inverse Problems , volume =

    work page

  17. [17]

    , title =

    Rüland, A. , title =. SIAM Journal on Mathematical Analysis , volume =

    work page

  18. [18]

    and Sincich, E

    Rüland, A. and Sincich, E. , title =. Inverse Problems and Imaging , volume =

    work page

  19. [19]

    and Covi, G

    Baers, H. and Covi, G. and Rüland, A. , title =

    work page

  20. [20]

    and Rüland, A

    Koch, H. and Rüland, A. and Salo, M. , title =. Ars Inveniendi Analytica , volume =

    work page

  21. [21]

    and Lin, Y.-H

    Cekic, M. and Lin, Y.-H. and Rüland, A. , title =. Calculus of Variations and PDEs , volume =

    work page

  22. [22]

    and Mönkkönen, K

    Covi, G. and Mönkkönen, K. and Railo, J. , title =. Inverse Problems & Imaging , volume =

    work page

  23. [23]

    , title =

    Li, L. , title =. Inverse Problems , volume =

    work page

  24. [24]

    , title =

    Li, L. , title =. Communications in PDEs , volume =

    work page

  25. [25]

    , title =

    Li, L. , title =. Journal of Differential Equations , volume =

    work page

  26. [26]

    and Krupchyk, K

    Feizmohammadi, A. and Krupchyk, K. and Uhlmann, G. , title =

    work page

  27. [27]

    and Ouhabaz, E

    Choulli, M. and Ouhabaz, E. , title =. Communications in Contemporary Mathematics , volume =

    work page

  28. [28]

    and Senapati, S

    Banerjee, A. and Senapati, S. , title =. SIAM Journal on Mathematical Analysis , volume =

    work page

  29. [29]

    and de Hoop, M

    Covi, G. and de Hoop, M. and Salo, M. , title =. Proceedings of the Royal Society A , volume =

    work page

  30. [30]

    and Garcia-Ferrero, M

    Covi, G. and Garcia-Ferrero, M. A. and Rüland, A. , title =. Journal of Differential Equations , volume =

    work page

  31. [31]

    and Lin, Y.-H

    Ghosh, T. and Lin, Y.-H. and Xiao, J. , title =. Communications in PDEs , volume =

    work page

  32. [32]

    and Lin, Y.-H

    Kow, P.-Z. and Lin, Y.-H. and Wang, J.-N. , title =. SIAM Journal on Mathematical Analysis , volume =

    work page

  33. [33]

    and Lin, Y.-H

    Lai, R.-Y. and Lin, Y.-H. and Rüland, A. , title =. SIAM Journal on Mathematical Analysis , volume =

    work page

  34. [34]

    and Ghosh, T

    Covi, G. and Ghosh, T. and Rüland, A. and Uhlmann, G. , title =

    work page

  35. [35]

    and Uhlmann, G

    Ghosh, T. and Uhlmann, G. , title =

    work page

  36. [36]

    , title =

    Rüland, A. , title =

    work page

  37. [37]

    , title =

    Salo, M. , title =. Journees Equations aux Derivees Partielles , year =

    work page

  38. [38]

    , title =

    Covi, G. , title =. SIAM Journal on Mathematical Analysis , volume =

    work page

  39. [39]

    Communications in Partial Differential Equations , volume =

    Li, Li , title =. Communications in Partial Differential Equations , volume =

    work page

  40. [40]

    Inverse Problems , volume =

    Li, Li , title =. Inverse Problems , volume =

    work page

  41. [41]

    2508.12463 , archivePrefix =

    Uhlmann, Gunther and Wang, Yiran , title =. 2508.12463 , archivePrefix =

    work page arXiv

  42. [42]

    2025 , eprint =

    Das, Saumyajit and Ghosh, Tuhin and Ma, Shiqi , title =. 2025 , eprint =

    work page 2025

  43. [43]

    Colton, David and Kress, Rainer , title =

    work page

  44. [44]

    An inverse boundary value problem in electrodynamics , journal =

    Ola, Petri and P. An inverse boundary value problem in electrodynamics , journal =. 1993 , doi =

    work page 1993

  45. [45]

    and Salo, Mikko and Uhlmann, Gunther , title =

    Kenig, Carlos E. and Salo, Mikko and Uhlmann, Gunther , title =. Duke Mathematical Journal , volume =. 2011 , doi =

    work page 2011