https://hal.inria.fr/hal-01486222v2Baratchart, LaurentLaurentBaratchartAPICS - Analysis and Problems of Inverse type in Control and Signal processing - CRISAM - Inria Sophia Antipolis - Méditerranée - Inria - Institut National de Recherche en Informatique et en AutomatiqueGerhards, ChristianChristianGerhardsUniversity of Vienna [Vienna]On the Recovery of Core and Crustal Components of Geomagnetic Potential FieldsHAL CCSD2017Hardy-Hodge DecompositionGeomagnetic FieldSeparation of SourcesExtremal ProblemsHarmonic Potentials[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG][MATH.MATH-FA] Mathematics [math]/Functional Analysis [math.FA][MATH.MATH-CA] Mathematics [math]/Classical Analysis and ODEs [math.CA][SDU.STU.GP] Sciences of the Universe [physics]/Earth Sciences/Geophysics [physics.geo-ph]Chevillard, Sylvain2021-12-15 11:58:472023-03-15 08:58:082021-12-15 12:19:24enJournal articleshttps://hal.inria.fr/hal-01486222v2/document10.1137/17M1121640https://hal.inria.fr/hal-01486222v1application/pdf2In Geomagnetism it is of interest to separate the Earth's core magnetic field from the crustal magnetic field. However, measurements by satellites can only sense the sum of the two contributions. In practice, the measured magnetic field is expanded in spherical harmonics and separation into crust and core contribution is achieved empirically, by a sharp cutoff in the spectral domain. In this paper, we derive a mathematical setup in which the two contributions are modeled by harmonic potentials $Φ0$ and $Φ1$ generated on two different spheres $SR 0$ (crust) and $SR 1$ (core) with radii $R1 < R0$. Although it is not possible in general to recover $Φ0$ and $Φ1$ knowing their superposition $Φ0 + Φ1$ on a sphere $SR 2$ with radius $R2 > R0$, we show that it becomes possible if the magnetization m generating $Φ0$ is localized in a strict subregion of $SR 0$. Beyond unique recoverability, we show in this case how to numerically reconstruct characteristic features of $Φ0$ (e.g., spherical harmonic Fourier coefficients). An alternative way of phrasing the results is that knowledge of m on a nonempty open subset of $SR 0$ allows one to perform separation.