Abstract
We consider Backus’s problem in geophysics. This consists in reconstructing a harmonic potential outside the Earth when the intensity of the related field is measured on the Earth’s surface. Thus, the boundary condition is (severely) nonlinear. The gravitational case is quite understood. It consists in the local resolution near a monopole, i.e. the potential generated by a point mass. In this paper, we consider the geomagnetic case. This consists in linearizing the field’s intensity near the so-called dipole, a harmonic function which models the solenoidal potential of a magnet. The problem is quite difficult, because the resolving operator related to the linearized problem is generally unbounded. Indeed, existence results for Backus’s problem in this framework are not present in the literature. In this work, we locally solve the geomagnetic version of Backus’s problem in the axially symmetric case. In mathematical terms, we show the existence of harmonic functions in the exterior of a sphere, with given (boundary) field’s intensity sufficiently close to that of a dipole and which have the same axial symmetry of a dipole. We also show that unique solutions can be selected by prescribing the average of the potential on the equatorial circle of the sphere. We obtain those solutions as series of spherical harmonics. The functional framework entails the use of fractional Sobolev Hilbert spaces on the sphere, endowed with a spectral norm. A crucial ingredient is the algebra structure of suitable subspaces.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
One of the most interesting problems in geophysics is the determination of the gravitational or magnetic field of the Earth from surface measurements of its intensity. It is in fact much more convenient to measure field intensities rather than field directions. In mathematical terms, the problem can be formulated as follows.
We shall represent the Earth’s surface by the unit sphere \({\mathcal {S}}\subset \mathbb {R}^3\) (centered at the origin). We will denote by \(\Omega \) the exterior of \({\mathcal {S}}\), i.e. the unbounded component of \(\mathbb {R}^3\setminus {\mathcal {S}}\). Also, we suppose a positive continuous function g is given on \({\mathcal {S}}\). If u represents the Earth’s external scalar potential associated to the gravitational or magnetic field, then \(|\nabla u|\) represents the field’s intensity. Backus’s problem then consists in finding solutions \(u\in C^2(\Omega )\cap C^1(\overline{\Omega })\) of the following nonlinear boundary value problem:
It is also important to specify sufficient conditions that ensure the uniqueness of a solution.
A large part of the results known about this problem is contained in the pioneering work of G. E. Backus [4]. There, the problem of finding solutions of the first two equations in (1.1) is first examined for the two-dimensional case in a bounded domain and, by conformal mappings, also in exterior domains. A complete analysis is carried out: existence of solutions is proved, a severe lack of uniqueness is pointed out, and conditions which restore uniqueness are stated. Related to this case, questions about the regularity of solutions are investigated in [12], together with an analysis of the case in which the data g may vanish at isolated points.
In [4], a condition for uniqueness of a solution for problem (1.1) is given in the gravitational case. Non-uniqueness for the geomagnetic case is noted in [5]; [10] contains a general uniqueness condition for (1.1), which includes both the gravitational and geomagnetic case. The solution of the linearized problem near the dipole is also constructed in [10] by means of an expansion in spherical harmonics. By a similar technique, the linearization near quadripoles is considered in [1] and solved.
For what concerns the existence of a solution of (1.1) in physical dimension, a first conclusive result is contained in [9]. There, it is proved local existence and uniqueness of a solution in the gravitational case. It is obtained by linearizing (1.1) at the so-called monopole,
which is nothing else than a normalized version of the fundamental solution of Laplace’s equation. More precisely, one can prove existence and uniqueness of a solution of the form
provided g is sufficiently close to \(|\nabla \Phi |\equiv 1\) in the norm of \(C^{0,\alpha }({\mathcal {S}})\), \(0<\alpha <1\), the space of \(\alpha \)-Hölder continuous functions on \({\mathcal {S}}\). In fact, plugging the ansatz (1.2) into (1.1) gives that w must solve the problem:
Here, \(\nu \) denotes the unit normal to \({\mathcal {S}}\), exterior to \(\Omega \).
In [9] (see also [13]), the nonlinear problem (1.3) is solved by a Neumann series, essentially based on the following fixed point argument. In fact, one can introduce a (nonlinear) operator \({\mathcal {T}}_\Phi \) by formally setting
where v is the solution of the Neumann problem:
Since we know that (1.4) always has a unique solution \(v\in C^{1,\alpha }(\overline{\Omega })\) for any \(f\in C^{0,\alpha }({\mathcal {S}})\), then \({\mathcal {T}}_\Phi \) turns out to be well-defined as an operator on \(C^{0,\alpha }({\mathcal {S}})\) into itself. The problem (1.3) is thus converted into the fixed-point equation:
This can be uniquely solved by a function \(f^*\in C^{0,\alpha }({\mathcal {S}})\), provided \(g^2-1\) is sufficiently small in the norm of \(C^{0,\alpha }({\mathcal {S}})\). A solution of (1.1) is therefore obtained by means of (1.2), where w is the solution of (1.4) corresponding to \(f^*\).
We conclude our review of known results with a couple of papers, [7, 8], which provide a genuinely nonlinear approach to problem (1.1). In [7], (1.1) is converted into a boundary value problem in the unit ball B:
where \(\nabla _{\mathcal {S}}U\) denotes the tangential gradient of U on \({\mathcal {S}}\). Here, U is the Kelvin’s transformation of u, which is such that
Then, a solution of (1.5) is obtained by solving the following boundary value problem:
Since \(U+U_\nu =-u_\nu \) on \({\mathcal {S}}\), the corresponding solution u of (1.1) is such that \(u_\nu \le 0\) on \({\mathcal {S}}\). It turns out that harmonic functions in \(\Omega \), which vanish at infinity and are subject to the constraint \(u_\nu \le 0\) on \({\mathcal {S}}\), satisfy some sort of comparison principle. This property is then instrumental to the definition of maximal and minimal solutions of (1.1) such that \(u_\nu \le 0\) on \({\mathcal {S}}\). This fact allows the construction of a suitably defined viscosity solution of (1.6). In [8], a numerical scheme to construct a maximal solution is proposed.
The aim of this paper is to study the local resolution of the geomagnetic case, i.e. the (local) existence and uniqueness of solutions of (1.1) near the dipole defined by
In spherical coordinates \(x=r\,(\cos \theta \cos \varphi , \cos \theta \sin \varphi , \sin \theta )\), d can be written as
Here \(r=|x|\), \(-\pi /2\le \theta \le \pi /2\) is the latitude, and \(-\pi \le \varphi <\pi \) is the longitude on the Earth \({\mathcal {S}}\). To the best of our knowledge, existence results for this problem are not present in the literature.
Thus, similarly to the gravitational case, we linearize problem (1.1) by setting \(u=d+w\) and obtain the following problem for w:
Note that, being as \(\nu (x)=-x\), we have that
The vector field
is tangential to S and is obtained by projecting \(e_3=(0,0, 1)\) on the tangent plane of \({\mathcal {S}}\) at \(x\in {\mathcal {S}}\). Notice that \(\nabla d(x)\) has intensity \(|\nabla d(x)|=\sqrt{1+3 x_3^2}\) for \(x\in {\mathcal {S}}\), and points outward to the Earth’s surface on the south hemisphere, becomes tangential on the equator \({\mathcal {E}}=\{ x\in {\mathcal {S}}: x_3=0\}\), and points inward on the north hemisphere. This behavior of \(\nabla d\) tells us that neither d nor any solution of (1.1) sufficiently close to d falls within the class of solutions studied in [7, 8].
Proceeding as in the monopole case gives the (irregular) oblique derivative problem:
Differently from regular oblique derivative problems, in which the relevant directional derivative is controlled by a vector field that points either inward or outward on the whole boundary, the irregular ones may present at least two setbacks. These are caused precisely by a change of direction, as described for \(\nabla d\).
The former is a non-trivial lack of uniqueness. In fact, uniqueness can be obtained only by prescribing Dirichlet boundary values on the subset of the boundary in which the relevant vector field becomes tangential (the equator \({\mathcal {E}}\) in the problem at stake). In other words, the homogeneous problem related to (1.9) has infinitely many solutions.
The latter is the so-called loss of derivatives. In fact, it may happen that suitably determined unique solutions of oblique boundary value problems with, say, \(C^{0,\alpha }\)-regular boundary data, do not gain \(C^{1,\alpha }\)-regularity up to the boundary, as it does happen for the Neumann problem or the regular oblique derivative problem (see for instance [2, 15, 16]). In other words, the linear operator on \(C^{0,\alpha }({\mathcal {S}})\) associating the oblique derivative data to the (trace on the boundary of the) solution of the problem may be unbounded. A similar behavior also occurs if we try to solve the oblique derivative problem in the scale of fractional Sobolev spaces \(H^s({\mathcal {S}})\) (this fact can be detected by an inspection of the solution obtained in [10]).
Besides causing a loss of surjectivity of the relevant operator, more importantly, the loss of derivatives disrupts the iterative scheme on which a classical contraction argument is based. Thus, the strategy of defining an operator \({\mathcal {T}}_{d,h}\) by first setting
where, for some fixed \(h:{\mathcal {E}}\rightarrow \mathbb {R}\), v is the solution of (1.9), subject to the Dirichlet-type condition
and then solving the equation
may miserably fail.
To by-pass these difficulties, a standard idea would be to use the Nash-Moser implicit function theorem. This often works when a loss of derivatives occurs. The second author and M. C. Jorge have tried this pathway, but with no success. The main difficulty is the lack of sufficiently precise estimates for the relevant oblique derivative problems involved. In fact, in such approach, one would need to precisely control estimates not only for the solution of (1.9), but also for a class of oblique derivative problems obtained by perturbing \(\nabla d\).
In this paper, we turn back to a fixed-point approach and obtain local existence near the dipole for the nonlinear problem (1.1) in the case the boundary data g is axially symmetric around the Earth’s axis. This result is obtained in the framework of fractional Sobolev spaces and is made possible from the discovery that the relevant oblique derivative problem (1.9) no longer loses derivatives in presence of axially symmetric data. Hence, a fixed-point scheme still works for problem (1.7).
From a technical viewpoint, we construct solutions of (1.9)-(1.10) by means of series expansions of spherical harmonics as done in [10]. This time, we trace more carefully the dependence on the data f and h of the coefficients of the relevant expansion. The aim is to obtain precise estimates for the operator \({\mathcal {T}}_{d,h}\) in the scale of Sobolev spaces \(H^s({\mathcal {S}})\). It turns out that \({\mathcal {T}}_{d,h}\) is well-defined as an operator on the subspace \(H^s_\mathrm{ax}({\mathcal {S}})\) of axially symmetric functions on \({\mathcal {S}}\). (For a precise definition of \(H^s({\mathcal {S}})\) and \(H^s_\mathrm{ax}({\mathcal {S}})\), see Sect. 2.)
Our main result is then the following existence and uniqueness theorem.
Theorem 1.1
Suppose that \(g \in H^s_\mathrm{ax}({\mathcal {S}})\) for some \(s>1\) and that \(h\equiv h_0\) on \({\mathcal {S}}\) with \(h_0\in \mathbb {R}\). If \(\Vert g -|\nabla d|\Vert _{H^s({\mathcal {S}})}\) and \(|h_0|\) are sufficiently small, then problem (1.1) has a unique solution \(u \in C^2(\Omega ) \cap C^1(\overline{\Omega })\) satisfying (1.10). Moreover, we have that \(u|_{{\mathcal {S}}} \in H^{s+1}_\mathrm{ax}({\mathcal {S}})\) and
for some constant \(C>0\).
From the continuous embedding of \(H^s({\mathcal {S}})\) into \(C({\mathcal {S}})\) (see Proposition 2.1 below) and the maximum principle for harmonic functions, we see that (1.11) holds if the left-hand side is replaced with \(\Vert u-d\Vert _{C(\overline{\Omega })}\).
We conclude this introduction with one more important technical remark about the proof of Theorem 1.1.
In fact, it should be noticed that the Hilbert-space structure we adopt for \(H^s({\mathcal {S}})\) and \(H^s_\mathrm{ax}({\mathcal {S}})\) is based on an inner product of a spectral-type. In other words, the relevant inner product is defined in terms of the coefficients in the spherical-harmonics series expansions of the functions at stake. In order to deal with problem (1.7), which shows a quadratic nonlinearity in the gradient, a Banach-algebra structure for \(H^s({\mathcal {S}})\) is desirable. As a matter of fact, Banach-algebra structures for Sobolev spaces on Riemannian manifolds are systematically studied in [6] (see [6, Theorem 24] for the most relevant result), in which the norm is defined by
where the fractional Laplace-Beltrami operator \((-\Delta )^{s/2}\) is defined by the Dunford integral. It is shown that \((-\Delta )^{s/2}u\) is comparable to an integral representation of the fractional derivative of u, and hence an algebra structure is derived by Leibniz’ rule. However, to the best of our knowledge, there is no explicit comparison between our spectral norm \(\Vert u\Vert _{H^s({\mathcal {S}})}\) and \(|\!|\!|u|\!|\!|_{H^{s,2}({\mathcal {S}})}\) in the literature. Thus, in Theorem 2.4, we provide our own proof for the case of axially symmetric functions. This is based on the series expansions in spherical harmonics of products of spherical harmonics, and the so-called Wigner 3j-symbols. (In Proposition 2.5, we show that such a structure also holds in other instances.)
The paper is organized as follows. We begin with Sect. 2, in which we collect all the functional analytical results on the spaces \(H^s({\mathcal {S}})\) and \(H^s_\mathrm{ax}({\mathcal {S}})\) useful for our purposes. Then, in Sect. 3, we derive the appropriate estimates for the relevant oblique derivative problem. The proof of Theorem 1.1 is given in Sect. 4.
2 The fractional spectral Sobolev space \(H^s({\mathcal {S}})\) and its subspace \(H^s_\mathrm{ax}({\mathcal {S}})\)
In this section, we collect old and new results on the spectral Hilbert space \(H^s({\mathcal {S}})\).
2.1 Spherical harmonics and the space \(H^s({\mathcal {S}})\)
As mentioned in the introduction, we adopt a system of spherical coordinates by setting
we call \(\theta \) the latitude and \(\varphi \) the longitude on the earth surface \({\mathcal {S}}\). With this parametrization, the surface element on \({\mathcal {S}}\) is given by \(dS_x=\cos \theta \,d\theta \,d\varphi \).
We denote by \(\{ Y_l^m(\theta ,\varphi )\}_{|m|\le l, l=0, 1,\dots }\) the spherical harmonics system of functions. We have that
where \(P_l^m(z)\) is the associated Legendre polynomial of degree l and order m, and \(\alpha _l^m\) is defined by
It is well-known that \(\{ Y_l^m(\theta ,\varphi )\}_{|m|\le l, l=0, 1,\dots }\) forms an orthonormal basis of \(L^2({\mathcal {S}})\), that is, the equality
holds in \(L^2({\mathcal {S}})\) for any function \(\psi \in L^2({\mathcal {S}})\).
For any non-negative real number s, we define the fractional Sobolev space:
Thus, we have that \(H^0({\mathcal {S}})=L^2({\mathcal {S}})\) and we know that \(H^s({\mathcal {S}})\) is a Hilbert space endowed with the inner product
Similarly, we set
and write the norm on \(H^s({\mathcal {E}})\) as
Then, any function \(\Psi \in H^s({\mathcal {E}})\) can be expanded in \(H^s({\mathcal {E}})\) as
The following properties of \(H^s({\mathcal {S}})\) will be useful in the sequel.
Proposition 2.1
Set \(s>1\). Then, the Sobolev space \(H^s({\mathcal {S}})\) is continuously embedded into \(C({\mathcal {S}})\).
Proof
It is known that the identity
holds for any \(l=0, 1, \dots \), \(-\pi /2\le \theta _1, \theta _2 \le \pi /2\), and \(-\pi \le \varphi _1, \varphi _2<\pi \) (see [3, (16.57), (16.59)]). In particular, this identity and the fact that \(P_l(1)=1\) give
Hence, by the Cauchy-Schwarz inequality, we have that
Taking the sum in l and using the Cauchy-Schwarz inequality again, we obtain
Thus, the series (of continuous functions) on the left-hand side defines a continuous function, since it converges uniformly and absolutely for \(s>1\). \(\square \)
Proposition 2.2
Let k be any natural number. Then, \(C^k({\mathcal {S}})\) is continuously embedded into \(H^k({\mathcal {S}})\).
Proof
Assume \(u \in C^k({\mathcal {S}})\). Let \(\nabla _{{\mathcal {S}}}\) and \(\Delta _{{\mathcal {S}}}\) denote the gradient and the Laplace-Beltrami operator on \({\mathcal {S}}\), respectively. In order to prove the proposition, we verify that the equalities
hold for any nonnegative integer j with \(2j \le k\), \(2j+1 \le k\), respectively.
By repeated integration by parts and the fact that
the Fourier-Laplace coefficient of \((-\Delta _{{\mathcal {S}}})^j u\) is computed as
Hence (2.3) follows. To derive (2.4), we set \(w=(-\Delta _{{\mathcal {S}}})^ju\). For the moment, we suppose that \(w \in C^2({\mathcal {S}})\). Then, we have that
where we used integration by parts and the expansion
From the definition of w and (2.5), we see that
and therefore
By approximation, this equality also holds if \(w \in C^1({\mathcal {S}})\). We thus obtain (2.4).
Using (2.3) and (2.4), we deduce that
where \(C>0\) is some constant. This proves the proposition. \(\square \)
2.2 The subspace \(H^s_\mathrm{ax}({\mathcal {S}})\) and its Banach-algebra structure
In our analysis, the subspace of axially symmetric functions defined by
will play a crucial role. It is clear that
This section is the technical core of this paper. In fact, observe that, for the solvability of the nonlinear problem (1.7), we need to deal with the quadratic term \(|\nabla w|^2\). In other words, in the functional framework adopted, we must be sure that the product of two functions in the relevant space still belongs to the same space. We shall show that the subspace \(H^s_\mathrm{ax}({\mathcal {S}})\) enjoys this property, i.e. it is a Banach algebra with respect to the pointwise product.
To this aim, we recollect some notations and results about products of spherical harmonics. We recall (see [14, Appendix III]) that the product of two spherical harmonics \(Y_{l_1}^{m_1}, Y_{l_2}^{m_2}\) is represented by the formula:
In this formula, the so-called Wigner 3-j symbol is defined by
if \(m_1+m_2+m_3=0\), \(|l_1-l_2|\le l_3\le l_1+l_2\), \(|m_1|\le l_1\), \(|m_2|\le l_2\) and \(|m_3|\le l_3\); the symbol is set to be zero otherwise. The summation in the formula is taken over all integers k for which all the factorials in the sum have nonnegative arguments.
By using the product formula, we find that the product uv of \(u,v\in H^s({\mathcal {S}})\) has the following Fourier-Laplace coefficients:
where
Our proof of the Banach-algebra property of \(H^s_\mathrm{ax}({\mathcal {S}})\) is based on an l-sum relation (see [14, (7.61)]) satisfied by the Wigner 3-j symbols, that is
if \(m_1+m_2+m_3=0\) and \(|m_i|\le l_i\) for \(i\ne j\). This yields that
by the Cauchy-Schwarz inequality.
We conclude our preliminaries with the following simple result.
Lemma 2.3
For any \(\sigma <s-1/2\), there is a constant \(C>0\) such that
for any \(u\in H^s_\mathrm{ax}({\mathcal {S}})\).
Proof
The Cauchy-Schwarz inequality implies that
where the first series on the right hand side converges if \(2(\sigma -s)<-1\). \(\square \)
We are now ready to state and prove the main result of this section.
Theorem 2.4
(\(H^s_\mathrm{ax}({\mathcal {S}})\) is a Banach algebra). Let \(s>1\). If \(u,v\in H^s_\mathrm{ax}({\mathcal {S}})\), then \(uv\in H^s_\mathrm{ax}({\mathcal {S}})\) and
for some constant \(C>0\) independent of u, v.
Proof
Let us simply write \(\widehat{u}_l, \widehat{v}_l, \widehat{uv}_l\) for \(\widehat{u}_l^0, \widehat{v}_l^0, \widehat{uv}_l^0\), respectively. Since \(W^{l_1,l_2,l}_{0,0,0}\) is nonzero only when \(l\le l_1+l_2\), and in this situation \(l_1\le l_2\) implies \(l\le 2l_2\), while \(l_1\ge l_2\) implies \(l\le 2l_1\), we have
In what follows, we denote the two summands in this formula by \(I_l\) and \(J_l\), respectively.
Now, Lemma 2.3 shows that
Thus, we use Lemma A.3 with the settings
and, by recalling the l-sum relation (2.7), we see that
A similar formula can be obtained for the terms \(J_l\). Therefore, the proof is completed. \(\square \)
For future reference, we conclude this section by showing that the algebra structure still holds for the entire space \(H^s({\mathcal {S}})\) if \(s>3/2\).
Proposition 2.5
If \(u,v\in H^s({\mathcal {S}})\) with \(s>3/2\), then \(uv\in H^s({\mathcal {S}})\) and
Proof
The proof runs similarly to that of Theorem 2.4. All what is needed is an extension of (2.8) to the case of two independent variables l and m. Indeed, we simply have that the inequality
holds for \(u\in H^s({\mathcal {S}})\) if \(s>3/2\), as in the proof of Lemma 2.3. \(\square \)
2.3 The square of the gradient of a function in \(H^s_\mathrm{ax}({\mathcal {S}})\)
In the case of axially symmetric functions, we have that
The following two lemmas will be decisive for the proof of existence for problem (1.1) of Sect. 4.
Lemma 2.6
Let u, v be harmonic functions in \(\Omega \), continuous up to the boundary \({\mathcal {S}}\), and such that \(u, v\rightarrow 0\) as \(|x|\rightarrow \infty \). If \(u,v\in H^{s+1}_\mathrm{ax}({\mathcal {S}})\) for \(s>1\), then \(u_r v_r\in H^s_\mathrm{ax}({\mathcal {S}})\) and
for some \(C>0\) independent of u, v.
Proof
If \(u=\sum \limits _{l=0}^\infty r^{-l-1}\widehat{u}_l\,Y_l^0\), then \(u_r=-\sum \limits _{l=0}^\infty r^{-l-2} (l+1)\widehat{u}_l\,Y_l^0\), and similarly for v. Hence, Theorem 2.4 gives
as desired. \(\square \)
We now turn to the estimate for \(v_\theta ^2\) in the \(H^s({\mathcal {S}})\)-norm. Unlike the case of \(v_r\), we do not have a simple expression of the spherical harmonics expansion of \(v_\theta \). Nevertheless, we will show that there is one for \(v_\theta ^2\), by using the fact that the Legendre polynomial \(P_l^0(z)\) of degree l, which we will denote here by \(P_l(z)\), solves the differential equation:
Lemma 2.7
Let u, v be harmonic functions in \(\Omega \), continuous up to the boundary \({\mathcal {S}}\), and such that \(u, v\rightarrow 0\) as \(|x|\rightarrow \infty \). If \(u,v\in H^{s+1}_\mathrm{ax}({\mathcal {S}})\) for \(s>1\), then \(u_\theta v_\theta \in H^s_\mathrm{ax}({\mathcal {S}})\) and
for some \(C>0\) independent of u, v.
Proof
Recall that
Hence, if \(u(\theta )=\sum \limits _{i=0}^\infty \widehat{u}_iY_i^0(\theta ,\varphi )\) and \(v(\theta )=\sum \limits _{j=0}^\infty \widehat{v}_jY_j^0(\theta ,\varphi )\), we infer that
where
The last integral can be represented by the symbols \(W_{0,0,0}^{i,j,l}\) defined in (2.6). Indeed, (2.9) gives that
An integration by parts then gives:
Hence, we compute:
Note that \(W_{0,0,0}^{i,j,l}\) is nonzero only when \(|i-j|\le l\le i+j\), so that we have:
Therefore, as in the proof of Theorem 2.4, we can split up the sum into two summands and obtain the inequality:
The desired estimate then follows thanks to the same arguments as those in the proof of Theorem 2.4. \(\square \)
3 Series solution for the linearized problem
In this section, we collect the results on the linearized problem (1.9)–(1.10), which will be instrumental for the proof of our main theorem in Sect. 4.
In the spherical system of coordinates, we can compute that
Thus, problem (1.9)–(1.10) reads as
The main result of this section is the following.
Theorem 3.1
(Unique existence and fractional Sobolev estimates). Suppose that \(f \in H^s({\mathcal {S}})\), with \(f_\varphi \in H^{s-1/2}({\mathcal {S}})\), and \(h \in H^{s+3/4}({\mathcal {E}})\) for some \(s>1\). Then (3.1) has a unique classical solution \(v \in C^2(\Omega ) \cap C^1(\overline{\Omega })\). Furthermore, the solution satisfies \(v|_{{\mathcal {S}}} \in H^{s+1}({\mathcal {S}})\) and
where \(C>0\) is a constant independent of f and h.
In particular, if \(f \in H^s_\mathrm{ax}({\mathcal {S}})\) and h is a constant, then \(v|_{{\mathcal {S}}} \in H^{s+1}_\mathrm{ax}({\mathcal {S}})\) and
The proof of Theorem 3.1 is given in Sect. 3.2.
3.1 Formal derivation of a series solution
We start by formally deriving a representation formula of a solution v of problem (3.1) (computations here will be verified in Proposition 3.7 below). The formula is given by
where \(b_l^m\) and \(c_l^m\) are defined as follows. We set
and put
For \(f \in L^2({\mathcal {S}})\) and \(h \in L^2({\mathcal {E}})\), we write
(note that the denominator in the definition of \({\tilde{a}}^m\) is nonzero due to the inequality (3.8) of Lemma 3.3 below). \(b_l^m\) is then defined by the recurrence relation
and \(c_l^m\) is given by
Let us derive (3.3). Let \(\widehat{v}_l^m(r)\) denote the Fourier-Laplace coefficients of \(v(r,\cdot ,\cdot )\), that is,
For abbreviation, we write \(\widehat{v}_l^m\) instead of \(\widehat{v}_l^m(1)\) and, for convenience, we set \(\widehat{v}_l^{m}=0\) if \(l<|m|\). First, we observe that v has the form
This follows from (3.1a) and (3.1c). Indeed, multiplying (3.1a) by \(\overline{Y_l^m}\), integrating over \({\mathcal {S}}\) and using the fact that \(-\Delta _{{\mathcal {S}}} Y_l^m=l(l+1)Y_l^m\), we see that \(\widehat{v}_l^m(r)\) satisfies
This together with the condition (3.1c) gives \(\widehat{v}_l^m(r)=\widehat{v}_l^m r^{-l-1}\), and hence we obtain (3.4).
Next, we derive a recurrence relation for \(\widehat{v}_l^m\) from (3.1b). It is known that the following recurrence relations hold (see [3, (15.88)] for the first equality and [3, (15.88), (15.89), (15.92)] for the second equality):
Hence we have that
Here, \(Y_l^m=0\) if \(l<|m|\). From these identities, we see that
and
where we used integration by parts. Thus, multiplying (3.1b) by \(\overline{Y_l^m}\) and integrating over \({\mathcal {S}}\), we find the recurrence relation
Finally, we consider the condition (3.1d). Interchanging the sum in (3.4), we have that
Hence, by (3.1d), we deduce that
The recurrence relations for \(b_l^m\) and \(\widehat{v}_l^m\) show that \(d_l^m=\widehat{v}_l^m-b_l^m\) satisfies
and therefore \(d_{|m|+2k-1}^m=0\) and \(d_{|m|+2k}^m=\Gamma _k^m \,\widehat{v\,}_{|m|}^m\). Plugging \(\widehat{v}_l^m=b_l^m+d_l^m\) into (3.5) and using the fact that \(P_l^{|m|} (0)=0\) if \(l-|m|\) is odd (see [3, (15.96)]), we find that
This gives \(d_l^m=c_l^m\), and thus we obtain (3.3).
Remark 3.2
Suppose that f and h are independent of \(\varphi \), that is, \(\widehat{f}_l^m=\widehat{h}_m=0\) if \(m \ne 0\). Then, by definition, we see that \(b_l^m=c_l^m=0\) unless \(m=0\). This shows that the function v defined by (3.3) is also independent of \(\varphi \).
3.2 Proof of Theorem 3.1
We divide the proof of Theorem 3.1 into a sequence of lemmas. First we show some estimates to be mainly used in deriving (3.2).
Lemma 3.3
The inequalities
hold with some positive constants c and C.
Proof
It is known (see [3, (15.96)]) that
which gives:
Also, by definition, we have that
Therefore (3.6) and (3.7) follow from Lemma A.1 and some simple estimates. The inequality (3.8) is derived easily by (3.6) and (3.7). \(\square \)
Next, we derive an estimate of the \(H^s({\mathcal {S}})\)-norm of the formal solution (3.3). For \(a \in \mathbb {R}\), we write \(a_+=\max \{ a,0\}\).
Lemma 3.4
(Fractional Sobolev estimates for v). Suppose that \(f \in H^s({\mathcal {S}})\), \(f_\varphi \in H^{(s-1/2)_+}({\mathcal {S}})\) and \(h \in H^{s+3/4}({\mathcal {E}})\) for some \(s \ge 0\). Then the function v defined by (3.3) satisfies \(v|_{{\mathcal {S}}} \in H^{s+1}({\mathcal {S}})\) and
for some constant \(C>0\) independent of f and h.
Proof
Throughout the proof, c and C denote generic positive constants depending only on s, which may change from formula to formula.
Notice that, since \((Y_l^m)_\varphi =im Y_l^m\), we have that \( \widehat{(f_\varphi )}_l^m =im \widehat{f}_l^m, \) and hence
Next, we write \(v|_{{\mathcal {S}}}\) as
and estimate the norms of \(v_1\) and \(v_2\) separately. We first consider \(v_1\). It is elementary to show that \(|\gamma _l^m| \le 2/3\), and hence \(|b_{l+1}^m| \le 2|b_{l-1}^m|/3 +|a_l^m|\). Thus, applying Lemma A.2 with \(p_k=|b_{|m|+2k}^m|\), \(q_k=|a_{|m|+2k+1}^m|\), \(\sigma =2/3\), \(\tau _1=2(s+1)\), \(\tau _2=0\), and \(\chi =|m|\) gives:
We use Lemma A.2 again with \(p_k=|b_{|m|+2k-1}^m|\) and \(q_k=|a_{|m|+2k}^m|\), and combine the resulting inequality with the above inequality to obtain that
Since
we find
By taking the sum over m and applying (3.10), we conclude that
In order to examine \(v_2\), we estimate \({\tilde{a}}^m\). We see from (3.6) and the Cauchy-Schwarz inequality that
Applying Lemma A.2 with \(p_k=|b_{|m|+2k}^m|\), \(q_k=|a_{|m|+2k+1}^m|\), \(\sigma =2/3\), \(\tau _1=1/2\), \(\tau _2=1\), and \(\chi =|m|\) yields that
Hence
From this and (3.8), we obtain that
Now, we are ready to estimate \(v_2\). Note that
By (3.7) and the fact that \(|m|+1 \le |m|+2k+1 \le (|m|+1)(2k+1)\), we have
This, together with (3.12), gives
Since
we deduce that
Combining this and (3.11), we obtain (3.9). Thus the proof is completed. \(\square \)
In the next lemma we check that, under the assumptions of Theorem 3.1, the function v given by (3.3) is indeed a classical solution of (3.1).
Lemma 3.5
(Regularity of v). Suppose that \(f \in H^s({\mathcal {S}})\), \(f_\varphi \in H^{s-1/2}({\mathcal {S}})\) and \(h \in H^{s+3/4}({\mathcal {E}})\) for some \(s>1\), and let v be defined by (3.3). Then v belongs to \(C^2 (\Omega ) \cap C^1(\overline{\Omega })\) and satisfies (3.1) in the classical sense.
Proof
We know that the Fourier-Laplace coefficients \(\widehat{v}_l^m\) of \(v|_{{\mathcal {S}}}\) is given by \(\widehat{v}_l^m=b_l^m+c_l^m\). From (2.2) and the Cauchy-Schwarz inequality, we have that
Lemma 3.4 and the fact that \(s>0\) show that the right-hand side is bounded by a constant independent of \((r,\theta ,\varphi )\). Hence the series on the left-hand side converges uniformly on \(\overline{\Omega }\). Since it is well-known that a uniform limit of a sequence of harmonic functions is smooth and harmonic, we deduce that v is of class \(C^2\) in \(\Omega \) and satisfies (3.1a). In addition, from (3.13), we see at once that (3.1c) is satisfied.
Next, we show that \(v \in C^1(\overline{\Omega })\) and that (3.1b) and (3.1d) hold. It suffices to show that the series
are uniformly convergent on \(\overline{\Omega }\). A computation similar to that in the derivation of (3.13) gives
Since the right-hand side is finite if \(s>1\), we deduce that the first series of (3.14) converges uniformly. For the second and third series, we use the identities
which are derived by operating \(\partial ^2/\partial \theta _1 \partial \theta _2\) or \(\partial ^2/\partial \varphi _1 \partial \varphi _2\) to the equality (2.1) and then taking \((\theta _1,\varphi _1)=(\theta _2,\varphi _2)=(\theta ,\varphi )\). From these identities and the Cauchy-Schwarz inequality, we have that
This shows that the second and third series of (3.14) are uniformly convergent, and thus the assertion follows. \(\square \)
Finally, we prove the uniqueness of a solution of (3.1).
Lemma 3.6
Let \(v_1,v_2 \in C^2(\Omega ) \cap C^1(\overline{\Omega })\) satisfy (3.1). Then \(v_1=v_2\) on \(\overline{\Omega }\).
Proof
Although the lemma can be shown in the same way as [10, Theorem], we give a proof for readers’ convenience.
We know that the function \(w=v_1-v_2\) satisfies
We show that \(w \le 0\) on \(\overline{\Omega }\). On the contrary, suppose that w is positive somewhere. Then, we can take a point \(x_0 \in \overline{\Omega }\) such that \(w(x_0)=\sup _{\overline{\Omega }} w>0\), since w decays at infinity. By the last condition of (3.15), we have either \(x_0 \in \Omega \) or \(x_0 \in {\mathcal {S}}\setminus {\mathcal {E}}\). Assume \(x_0 \in \Omega \). Then, since w is harmonic in \(\Omega \) and vanishes on \({\mathcal {E}}\), we see from the strong maximum principle that \(w(x_0)=0\), a contradiction. Assume \(x_0 \in {\mathcal {S}}\setminus {\mathcal {E}}\). In this case, we note that the tangential derivative of w on \({\mathcal {S}}\) vanishes at \(x_0\). From (1.8) and the second condition of (3.15), it follows that
Hence the Hopf lemma and the last condition of (3.15) give \(w(x_0)=0\), which is impossible. Consequently w is nonpositive everywhere. The fact that \(w \ge 0\) can be shown in the same way, and therefore we obtain \(w=0\). \(\square \)
We can now prove Theorem 3.1.
Proof of Theorem 3.1
The unique existence of a solution of (3.1) follows from Lemmas 3.5 and 3.6 . The inequality (3.2) is a direct consequence of Lemma 3.4. From Remark 3.2, we see that the solution v satisfies \(v|_{{\mathcal {S}}} \in H^{s+1}_\mathrm{ax}({\mathcal {S}})\) if \(f \in H^s_\mathrm{ax}({\mathcal {S}})\) and h is a constant. Therefore the proof is completed. \(\square \)
3.3 Validity of the formula (3.3)
We have proved in Theorem 3.1 that any classical solution of (3.1) is given by the formula (3.3), provided that f and h are in certain Sobolev spaces. At the end of this section, we prove that this is still true without assuming extra regularity conditions on f and h.
Proposition 3.7
Any solution \(v \in C^2(\Omega ) \cap C^1(\overline{\Omega })\) of (3.1) is of the form (3.3).
Proof
Most of computations in Sect. 3.1 are valid, since the assumption \(v \in C^2(\Omega ) \cap C^1(\overline{\Omega })\) implies that \(\widehat{v}_l^m(r) \in C^2((1,\infty )) \cap C^1([1,\infty ))\), \(f \in C({\mathcal {S}})\) and \(h \in C^1({\mathcal {E}})\). The only point where we have to verify is (3.5). In order to ensure (3.5), we need to show that the equality (3.1) holds in \(L^2({\mathcal {E}})\) for \(\theta =0\). For this purpose, we use the inequality (see [11, Corollary 1])
which gives
From this and the Cauchy-Schwarz inequality, we have that
Since Proposition 2.2 and the assumption \(v|_{{\mathcal {S}}} \in C^1({\mathcal {S}})\) show that
we see from the Weierstrass M-test that the series \(\sum _{m=-\infty }^\infty |\widehat{v}_m(\theta )|^2\) converges locally uniformly in \(\theta \in (-\pi /2,\pi /2)\). This means that the right-hand side of (3.1) is convergent in \(L^2({\mathcal {E}})\) locally uniformly in \(\theta \in (-\pi /2,\pi /2)\). Since we know that (3.1) holds in \(L^2({\mathcal {S}})\), we conclude that (3.1) is valid in \(L^2({\mathcal {E}})\) for every \(\theta \in (-\pi /2,\pi /2)\). Thus (3.5) is verified, and the proof is completed. \(\square \)
4 Axially symmetric solutions of Backus problem
In this section, we finally prove the existence of axially symmetric solutions of Backus problem (1.1) near the dipole.
Remark 4.1
Notice that, since \(|\nabla d(x)|=\sqrt{1+3\,x_3^2}\) for \(x\in {\mathcal {S}}\), then \(|\nabla d| \in H^s({\mathcal {S}})\) for any s, thanks to Proposition 2.2, being as \(|\nabla d|\in C^\infty ({\mathcal {S}})\).
Lemma 4.2
Let u, v be harmonic functions in \(\mathbb {R}^N\setminus \overline{B}\), continuous up to the boundary \({\mathcal {S}}\), and such that \(u, v\rightarrow 0\) as \(|x|\rightarrow \infty \). If \(u,v\in H^{s+1}_\mathrm{ax}({\mathcal {S}})\) for \(s>1\). Then, \(|\nabla u|^2 ,|\nabla v|^2\in H^s_\mathrm{ax}({\mathcal {S}})\) and
for some constant \(C>0\) independent of u, v.
Proof
The assertion follows from the decompositions
Lemmas 2.6 and 2.7 . \(\square \)
We are now in position to prove our main result.
Proof of Theorem 1.1
In the proof C denotes a generic positive constant depending only on s. We define operators \({\mathcal {T}}\) and \(\Psi \) by
where v is a unique solution of (3.1). Due to Theorem 3.1, Remark 4.1 and Lemma 4.2, we see that \({\mathcal {T}}\) and \(\Psi \) are defined as mappings from \(H^s_\mathrm{ax}({\mathcal {S}})\) to \(H^s_\mathrm{ax}({\mathcal {S}})\). Put \(\delta =\Vert g-|\nabla d|\Vert _{H^s({\mathcal {S}})}+|h|\) and define a closed subset \(X_\delta \) of \(H^s({\mathcal {S}})\) by
We shall prove that \(\Psi \) has a unique fixed point, by showing that it is a contraction mapping on \(X_\delta \), for some number \(M>0\).
To this end, we observe that Theorems 2.4 and 3.1, Remark 4.1 and Lemma 4.2 give that
for any \(f \in X_\delta \). Hence, the inequality
holds for some other positive constant \(C_1\) only depending on s.
Next, let \(f_j \in X_\delta \) and let \(v_j\) be a unique solution of (3.1) for \(f=f_j\) (\(j=1,2\)). We see from Theorem 3.1 and Lemma 4.2 that
Therefore we have
for a constant \(C_2>0\), which only depends on s.
Now, in order to show that \(\Psi \) is a contraction mapping on \(X_\delta \), we must choose the positive parameters M and \(\delta \) such that
so that \(\Psi (X_\delta )\subset X_\delta \) thanks to (4.1), and
from (4.2). The last two inequalities are certainly satisfied if we take \(M=2 C_1\) and
Thus, by the Banach fixed-point theorem, \(\Psi \) has a unique fixed point \(f_*\) in \(X_\delta \). Therefore, we can easily see that the solution \(v_*\) of (3.1) with \(f=f_*\) is such that \(u=d+v_*\) satisfies (1.1) with \(u=h\) on \({\mathcal {E}}\). Thus, the proof is completed. \(\square \)
Remark 4.3
The constant \(h_0\) can be chosen as the average on \({\mathcal {E}}\) of a function h. Thus, loosely speaking, Theorem 1.1 can be interpreted from a geophysics point of view as: for any field intensity of dipolar character given on the Earth’s surface, there exists a unique geomagnetic potential outside the Earth, with that field intensity on its surface, and with given average potential on the equator.
References
Akhmet’ev, P.M., Khokhlov, A.V.: On the classification of harmonic functions in the exterior of the unit ball. Mat. Zametki 75(2), 182–191 (2004)
Alimov, Sh.A.: On a problem with an oblique derivative. Differentsial’nye Uravneniya 17(10), 1738–1751 (1981). ((Russian))
Arfken, G.B., Weber, H.J., Harris, F.E.: Mathematical Methods for Physicists, 7th edn. Elsevier, London (2013)
Backus, G.E.: Application of a non-linear boundary value problem for the Laplace’s equation to gravity and geomagnetic surveys. Quart. J. Mech. Appl. Math. XX I, 195–221 (1968)
Backus, G.E.: Non-uniqueness of the external geomagnetic field determined by surface intensity measurements. J. Geophys. Res. Space Phys. 75, 6339–6341 (1970)
Coulhon, T., Russ, E., Tardivel-Nachef, V.: Sobolev algebras on Lie groups and Riemannian manifolds. Am. J. Math. 123(2), 283–342 (2001)
Díaz, G., Díaz, J.J., Otero, J.: On an oblique boundary value problem related to the Backus problem in Geodesy. Nonl. Anal. Real World Appl. 7, 147–166 (2006)
Díaz, G., Díaz, J.J., Otero, J.: Construction of the maximal solution of Backus’ problem in geodesy and geomagnetism. Stud. Geophys. Geod. 55, 415–440 (2001)
Jorge, M.C.: Local existence of the solution to a nonlinear inverse problem in gravitation. Quart. Appl. Math. 45, 287–292 (1987)
Jorge, M.C., Magnanini, R.: Explicit calculation of the solution to Backus problem with condition for uniqueness. J. Math. Anal. Appl. 173, 515–522 (1993)
Lohöfer, G.: Inequalities for the associated Legendre functions. J. Approx. Theory 95(2), 178–193 (1998)
Magnanini, R.: A fully nonlinear boundary value problem for the Laplace equation in dimension two. Appl. Anal. 39(2–3), 185–192 (2020)
Sacerdote, F., Sansò, F.: On the analysis of the fixed-boundary gravimetric boundary-value problem, in: Sacerdote F. and Sansò F. (Eds.), Hotine-Marussi Symposium on Mathematical Geodesy Politecnico di Milano, 2nd edn, Milano, Italy, pp. 507–516
Thompson, W.: Angular Momentum: An Illustrated Guide to Rotational Symmetries for Physical Systems. Wiley, London (1994)
Winzell, B.: Sub-elliptic estimates for the oblique derivative problem. Math. Scand. 43, 169–176 (1978)
Winzell, B.: A boundary value problem with oblique derivative. Commun. PDE. 6, 305–328 (1981)
Acknowledgements
The first author was partially supported by the Grant-in-Aid for Early-Career Scientists 19K14574, Japan Society for the Promotion of Science. The second author was partially supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) dell’Istituto Nazionale di Alta Matematica (INdAM). The third author was supported in part by the Grant-in-Aid for Scientific Research (C) 20K03673, Japan Society for the Promotion of Science. This research started while the second author was visiting the Department of Mathematics of Tokyo Institute of Technology. He wants to thank their kind hospitality.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Technical lemmas
Appendix A. Technical lemmas
In this appendix, we collect the following simple lemmas for numerical sequences. In what follows, we use the standard notations for the double factorial:
where \([\,\cdot \,]\) is the greatest integer function.
Lemma A.1
There are constants \(c>0\) and \(C>0\) such that
for all \(n=0, 1, \cdots \).
Proof
By Stirling’s formula, we can check that
The desired inequalities then ensue. \(\square \)
Lemma A.2
Let the sequences of non-negative real numbers \(\{ p_k\}_{k=0, 1, \dots }\) and \(\{ q_k\}_{k=0, 1, \dots }\) satisfy the recurrence relations:
for some constant \(0 \le \sigma <1\). Then, for any non-negative numbers \(\tau _1\), \(\tau _2\) and \(\chi \), there exists a positive constant C depending only on \(\sigma \), \(\tau _1\) and \(\tau _2\) such that
Proof
Iterating the recurrence relations gives that
so that by the Cauchy-Schwarz inequality we infer that
Next, we compute that
after switching the two sums in the second line and then setting \(k=i+j\). Finally, we apply the simple algebraic inequality \(a+b+3 \le (a+1)(b+3)\) (for \(a,b \ge 0\)), and hence infer:
Thus, the lemma follows. \(\square \)
We conclude this appendix by recalling a well-known result for the standard space \(l^p\) (\(p\ge 1\)) of numerical sequences \(\{a_n\}_{n=0, 1, \dots }\) such that
Lemma A.3
Let \({\mathbf {p}}=\{p_i\}_{i=0, 1,\dots }\in l^1\), \(\mathbf{q}=\{q_j\}_{j=0, 1, \dots }\in l^2\) and let the 3-indices sequence \(\{r_{i,j,k}\}_{i, j, k=0, 1, \dots }\) satisfy
Then, the sequence \(\mathbf{s}=\{s_k\}_{k=0}^\infty \) defined by
belongs to \(l^2\) and satisfies
Proof
The Cauchy-Schwarz inequality gives that
The claim then follows at once. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kan, T., Magnanini, R. & Onodera, M. Backus problem in geophysics: a resolution near the dipole in fractional Sobolev spaces. Nonlinear Differ. Equ. Appl. 29, 21 (2022). https://doi.org/10.1007/s00030-022-00749-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-022-00749-4
Keywords
- Backus problem in geophysics
- Geomagnetic potential
- Fully nonlinear boundary conditions
- Fractional Sobolev algebra