A Negative Answer to Harrach's Question on the Potential Map in the Unified Eddy-Current Formulation

In the unified variational formulation of the parabolic-elliptic eddy-current equations due to Arnold and Harrach, the electric field is written as E = A + ∇φ_A, where A is divergence free and φ_A solves div(σ∇φ_A) = −div(σA). Harrach asked whether the potential map can be defined for general nonnegative bounded conductivity. We give a negative answer for H¹_loc potentials. A cyclic necklace of touching balls, with indicator conductivity or a smooth conductivity positive exactly on the open balls, admits a smooth, compactly supported, divergence-free field for which the potential equation has no H¹_loc solution. A solid torus with conductivity positive almost everywhere but vanishing on one cross-section gives the same conclusion. With zero initial data, corresponding smooth divergence-free forcing yields no eddy-current solution in L²(0,T;W(curl)). The weighted current σ(A + ∇φ_A), however, is defined for every nonnegative conductivity by an orthogonal projection, and the unified variational formulation remains uniquely solvable and uniformly coercive. Scope: the obstruction concerns H¹_loc potentials and the stated variational solution class. The eddy-current equivalence and nonexistence conclusions are proved with zero initial data; this is not a classification of every conductivity. Sketches in Remarks 7.1 and 7.2 are not used in the proved theorems. The ingredients include classical capacity and touching-conductor energy arguments. No absolute priority claim is made. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Author: Alper Ferudun, Mercury Software GmbH. Corpus identifier: OWR-11578-001 (Oberwolfach Report 11/2012, p. 631, B. Harrach). Paper page: https://eulersolve.org/papers/owr-11578-001/

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-30
DOI
https://doi.org/10.5281/zenodo.23049211
Primary Topic
Numerical methods in inverse problems
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

A Negative Answer to Harrach's Question on the Potential Map in the Unified Eddy-Current Formulation

Alper Ferudun
Zenodo (CERN European Organization for Nuclear Research)
Numerical methods in inverse problems
preprint

A Negative Answer to Harrach's Question on the Potential Map in the Unified Eddy-Current Formulation

Alper Ferudun
preprint en

Abstract

In the unified variational formulation of the parabolic-elliptic eddy-current equations due to Arnold and Harrach, the electric field is written as E = A + ∇φ_A, where A is divergence free and φ_A solves div(σ∇φ_A) = −div(σA). Harrach asked whether the potential map can be defined for general nonnegative bounded conductivity. We give a negative answer for H¹_loc potentials. A cyclic necklace of touching balls, with indicator conductivity or a smooth conductivity positive exactly on the open balls, admits a smooth, compactly supported, divergence-free field for which the potential equation has no H¹_loc solution. A solid torus with conductivity positive almost everywhere but vanishing on one cross-section gives the same conclusion. With zero initial data, corresponding smooth divergence-free forcing yields no eddy-current solution in L²(0,T;W(curl)). The weighted current σ(A + ∇φ_A), however, is defined for every nonnegative conductivity by an orthogonal projection, and the unified variational formulation remains uniquely solvable and uniformly coercive. Scope: the obstruction concerns H¹_loc potentials and the stated variational solution class. The eddy-current equivalence and nonexistence conclusions are proved with zero initial data; this is not a classification of every conductivity. Sketches in Remarks 7.1 and 7.2 are not used in the proved theorems. The ingredients include classical capacity and touching-conductor energy arguments. No absolute priority claim is made. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Author: Alper Ferudun, Mercury Software GmbH. Corpus identifier: OWR-11578-001 (Oberwolfach Report 11/2012, p. 631, B. Harrach). Paper page: https://eulersolve.org/papers/owr-11578-001/

Zenodo (CERN European Organization for Nuclear Research)
Numerical methods in inverse problems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A Negative Answer to Harrach's Question on the Potential Map in the Unified Eddy-Current Formulation — Alper Ferudun · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS