Abstract
The magnetic field outside the earth is in good approximation a harmonic vector field determined by its values at the earth’s surface. The direction problem seeks to determine harmonic vector fields vanishing at infinity and with the prescribed direction of the field vector at the surface. In general this type of data neither guarantees the existence nor the uniqueness of solutions of the corresponding nonlinear boundary value problem. To determine conditions for existence, to specify the non-uniqueness and to identify cases of uniqueness is of particular interest when modeling the earth’s (or any other celestial body’s) magnetic field from these data. Here we consider the case of axisymmetric harmonic fields \(\mathbf{B}\) outside the sphere \(S^2 \subset {{\mathbb {R}}}^3\). We introduce a rotation number \({r\!o}\in {{\mathbb {Z}}}\) along a meridian of \(S^2\) for any axisymmetric Hölder continuous direction field \(\mathbf{D}\ne 0\) on \(S^2\) and, moreover, the (exact) decay order \(3 \le \delta \in {{\mathbb {Z}}}\) of any axisymmetric harmonic field \(\mathbf{B}\) at infinity. Fixing a meridional plane and in this plane \({r\!o}- \delta +1 \geqq 0\) points \(z_n\) (symmetric with respect to the symmetry axis and with \(|z_n| > 1\), \(n = 1,\ldots ,{r\!o}-\delta +1\)), we prove the existence of an (up to a positive constant factor) unique harmonic field \(\mathbf{B}\) vanishing at \(z_n\) and nowhere else, with decay order \(\delta \) at infinity, and with direction \(\mathbf{D}\) at \(S^2\). The proof is based on the global solution of a nonlinear elliptic boundary value problem, which arises from a complex analytic ansatz for the axisymmetric harmonic field in the meridional plane. The coefficients of the elliptic equation are discontinuous and singular at the symmetry axis, and this requires solution techniques that are adapted to this special situation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The standard boundary value problems for harmonic vector fields in exterior domains prescribe, besides asymptotic conditions at infinity, either the normal components or the tangential components of the sought-after field at the boundary. The well-posedness of these problems, solution methods, and corresponding results on existence and uniqueness are well-known (see for example [19]). Concerning the geomagnetic field, however, these types of data are not always available or expensive to provide. In fact, archaeomagnetic, palaeomagnetic, and even historical magnetic data sets up to the 19th century contain either exclusively information about the direction of the magnetic field vector or provide the directional information more reliably than information about the magnitude of the field vector (for more information about the significance of the direction problem for geomagnetism, we refer to [20, 22, 9] and references therein). In view of the (meanwhile well-established) fact that the geomagnetic field differed in its history drastically from its present form (especially during “pole reversals"), a general solution theory for large data of the direction problem would be of considerable interest.
When accepting some simplifications such as approximating the earth’s surface by the unit sphere \(S^2\), neglecting additional sources of the harmonic field in the exterior space \(E \subset {{\mathbb {R}}}^3\) of the unit ball, and assuming discrete boundary data to be continuously interpolated all over \(S^2\), the essence of the direction problem may be formalized as follows: let \(\mathbf{D}: S^2 \rightarrow {{\mathbb {R}}}^3\) be a nonvanishing continuous vector field (the “direction field”, see Fig. 1 for an example) and \(\delta \in {{\mathbb {N}}}{\setminus }\{1, 2\}\) (the “decay order” of the harmonic field at infinity). Given a direction field and a decay order, the direction problem \(P_{\mathbf{D}}\) asks for all vector fields \(\mathbf{B}\in C^1 (E) \cap C(\overline{E})\) for which a positive continuous function \(a: S^2 \rightarrow {{\mathbb {R}}}_+\) (the “amplitude function”) exists such that the conditions
are satisfied. The decay order \(\delta \) is called “exact" if \(|\mathbf{B}(\mathbf{x})| = O(|\mathbf{x}|^{-\delta })\) but not \(|\mathbf{B}(\mathbf{x})| = O(|\mathbf{x}|^{-(\delta + 1)})\) for \(|\mathbf{x}| \rightarrow \infty \); it will play a crucial role in the classification of solutions. Note, however, that usually the exact decay order is not part of the data in the direction problem and \(P_\mathbf{D}\) is formulated with \(\delta = 3\), which is the lowest possible decay order for magnetic fields vanishing at infinity.
As is obvious from (1.1)\(_3\), the direction problem is nonlinear in the sense that there is no linear relation between solution \(\mathbf{B}\) and boundary data \(\mathbf{D}\), which means that the usual solution techniques for the above-mentioned standard boundary value problems are not at our disposal and, moreover, that the solution set \(S_{\mathbf{D}}\) for a given direction field \(\mathbf{D}\) is not a linear space. However, the problem can be slightly relaxed so that the enlarged solution set becomes a linear space; dropping the positivity of the amplitude function defines the “unsigned" direction problem \(P^u_{\mathbf{D}}\) with solution space \(L_{\mathbf{D}} \supset S_{\mathbf{D}}\).Footnote 1
The boundary condition (1.1)\(_3\) resembles a well-investigated boundary condition, viz.,
with given direction field \(\mathbf{D}\) and scalar field b on \(S^2\). The “oblique” case, that is, \(\mathbf{D}\) is nowhere tangential to the boundary surface, is well understood and has much in common with the standard boundary value problems (see, for example, [18]). For the “Poincaré problem”, where the obliqueness condition is violated in some part of the boundary, only partial results are so far available and the problem seems not yet to be well understood (see, for example, [21]). Only in two dimensions, where the Poincaré problem for harmonic fields is known as “Riemann–Hilbert problem”, there is a close relationship to the (unsigned) 2D-analogue of (1.1) (see [13]).
So far, for both, the signed and the unsigned, versions of (1.1) there are only a few results concerning existence and uniqueness of solutions: non-uniqueness is known by examples for the (signed and unsigned) direction problem in the axisymmetric case [22] and in the non-axisymmetric case [14]. For the unsigned direction problem there is, furthermore, an upper bound on the dimension of the solution space \(L_{ \mathbf{D}}\) in terms of the number \(l_{\mathbf{D}}\) of “poles” of the direction field \(\mathbf{D}\) (loci on \(S^2\) with vanishing tangential components):
[12]; in general, however, this bound is not sharp [14]. In the axisymmetric situation a better bound has been formulated in terms of rotation number and decay order [13], and that this bound is sharp will be a corollary of the present work. Concerning the existence of solutions there is a small-data result in the axisymmetric case ([13], see below) and some results for special direction fields [15]. The approach in this latter reference is based on \(L^2\)-expansions in spherical harmonics, a method, which works well if the direction field is itself a single spherical harmonic.
The present paper provides a complete solution of the axisymmetric direction problem. The method is inspired by the solution of the two-dimensional version of this problem [13, 22], which used methods of complex analysis. Axisymmetry leads - in cylindrical coordinates \(\rho \), \(\zeta \) in a meridional plane \(\theta = const\) - likewise to a two-dimensional problem, which, although complicated by the coordinate singularity at \(\rho = 0\), is amenable to a complex formulation and corresponding ansätze. With \((B_\zeta , B_\rho )\) representing the nonvanishing components of the axisymmetric harmonic field we make the ansatz
with the given holomorphic (\(\triangleq \) complex analytic) function h representing the zeroes and the asymptotic behaviour of the harmonic field, and the “correction functions” p and q. Contrary to the two-dimensional case the axisymmetric problem then requires the solution of the following boundary value problem for the (angle-type) variable q in \(A_\infty \, {:}{=}\, \{(\zeta , \rho ) \in {{\mathbb {R}}}^2 : \zeta ^2 + \rho ^2 > 1 \} \subset {{\mathbb {R}}}^2\):
Here the bounded but discontinuous (angle-type) function \(\Psi \) is derived from h. \(\Psi \), the boundary function \(\phi \), and the (weak) solution q are assumed to be antisymmetric with respect to the variable \(\rho \). The key problem with (1.3), which prevents the application of more or less standard solution methods, is clearly the singular coefficients on the right-hand side of (1.3)\(_1\). In particular the second term on the right-hand side behaves near the symmetry axis \(\{\rho =0\}\) like a second order derivative, which has to be controlled by the left-hand side. In [13] this problem could be bypassed by a suitable embedding of the problem in \({{\mathbb {R}}}^5\) that eliminated the coordinate singularity; however, at the price of a then unbounded nonlinearity. Accordingly, only a small data result could be achieved (by the Banach fixed point principle). Unfortunately, the smallness assumptions were depending on constants whose numerical values are unknown; so, the compatibiliy of these assumptions with the physical data of the problem (direction field and decay order) remained an open question.
In this paper the two-dimensional, singular, but nonlinearly bounded problem (1.3) is directly attacked via Schauder’s fixed point principle. Without smallness assumptions the structure of the nonlinear terms must now more carefully be utilized. Key to success is a suitable choice of auxiliarily introduced parameters at the linear as well as at the nonlinear level of the solution procedure. At the linear level weighted Hardy-type inequalities of the form
allow the control of the right-hand side in (1.3)\(_1\) by the left-hand side. The solution of a linearized version of (1.3) then proceeds by a weighted Lax-Milgram-type solution criterion, whose applicability depends on two coercivity-type constants which in turn depend on the weight. The optimal constants are determined by min-max problems depending on \(\gamma \) and further parameters. Assisted by numerical computations we derive rigorous lower bounds on these constants with the result that the criterion works but only in a small “window” of \(\gamma \)-values. At the nonlinear level, the crucial point is to devise a space large enough to comprise the solutions of the linearized problem but not too large in order not to loose control of the nonlinear terms. Here we make use of a weighted \(L^p\)-space and, again, only the subtle balance between p and the weight makes Schauder’s principle work.
In a first step of this program is carried out in the bounded regions \(A_n {:}{=} \{(\zeta , \rho ) \in {{\mathbb {R}}}^2 : 1< \zeta ^2+ \rho ^2 <n^2 \}\), \(n \in {{\mathbb {N}}}{\setminus }\{1\}\) with artificial conditions at the exterior boundaries. The corresponding sequence of solutions turns out to be uniformly bounded, so, in a second step, by means of a “diagonal argument”, one then obtains a solution of (1.3) in the unbounded region \(A_\infty \). Finally, the function p is determined from q up to a constant \(p_0\), and by substitution into (1.2) one obtains the complete set of solutions of the (signed as well as unsigned) direction problem (1.1).
2 Reformulation of the Problem, Results, and Sketch of Proof
This section provides the mathematical framework for our treatment of the direction problem, we review results from [13] as far as they are relevant for the following, reduce problem (1.1) to (1.3), and present our results in the Theorems 2.1–2.5. Finally, we give an outline of the proofs.
Axisymmetric harmonic vector fields \(\mathbf{B}\), expressed in cylindrical coordinates \((\rho ,\theta , \zeta )\), have just two nontrivial components \(B_\rho \) and \(B_\zeta \), depending on \(\rho \) and \(\zeta \), which satisfy the system
So far, \(\mathbf{B}\) is defined on the half-plane \(H = \{(\zeta , \rho ) \in {{\mathbb {R}}}^2: \rho >0\}\) bounded by the symmetry axis \(\{ \rho = 0\}\). It is convenient, however, to extend the domain of the definition to \({{\mathbb {R}}}^2\) by an (anti)symmetric continuation:
Note that (2.1)\(_2\) implies (if defined) \(B_\rho (\zeta , 0) = 0\).
On \({{\mathbb {R}}}^2\) also polar coordinates \((r, \varphi ) \in (0, \infty ) \times (-\pi , \pi ]\) with basis vectors \(\mathbf{e}_r\) and \(\mathbf{e}_\varphi \) are useful. They are related to \((\zeta , \rho )\) by
(see Fig. 2). In these coordinates, condition (2.2) takes the form
where \(\mathbf{B}(r \cos \varphi , r \sin \varphi ) =: \widetilde{\mathbf{B}}(r, \varphi )\). Harmonic fields are associated with harmonic potentials \(\Upsilon (r, \varphi )\) by
and these potentials have well-known series representations in \(A_\infty \), which is a cross-section of the exterior space E through the symmetry axis:
(see, for example, [6], p. 144). Here \(P_n\) is the Legendre polynomial of order n and \({{\tilde{\delta }}}\in {{\mathbb {N}}}{\setminus } \{1,2\}\) is the exact decay order of the associated magnetic fieldFootnote 2:
where
is the exterior axisymmetric \(2^n\)-pole field restricted to the unit circle. These series are converging uniformly and absolutely for any \(r>1\).
Axisymmetric harmonic fields have only a finite number of isolated zeroes with finite negative indices (“x-points”) in \(A_\infty \). Let these zeroes be contained in the annulus \(A_R \,{:}{=}\, \{(\zeta , \rho ) \in {{\mathbb {R}}}^{2}: 1< \zeta ^2 + \rho ^2 < R^2 \} \subset A_\infty \), then its number \(\nu (\mathbf{B}, A_R)\) can be computed by
where \({r\!o}\) and \({\widehat{r\!o}}\) mean the rotation numbers of \(\mathbf{B}\) along the circles \(S_1\) and \(S_R\) of radii 1 and R, respectively.Footnote 3 The rotation number \({r\!o}\in {{\mathbb {Z}}}\) counts the number of turns, the field vector makes when circling once around \(S_1\). In \(\nu \) zeroes are counted as often as indicated by its index. Equation (2.6) is clearly an analogue of the argument principle in complex analysis and it has likewise some invariance properties with respect to continuous deformations (see Section 9); in particular, \({\widehat{r\!o}}\) is constant in the limit \(R\rightarrow \infty \), which yields, for \(A_\infty \), the relation
As in the two-dimensional case a complex formulation of the (signed) axisymmetric direction problem is promising as it allows us to view the direction of \(\mathbf{B}\) as the argument of a complex function f. With the identifications
Equations (2.1) then take the form
and the symmetry condition (2.2) amounts to
We made there use of the Wirtinger derivatives \(\partial _z \,{:}{=}\, \frac{1}{2} (\partial _\zeta - i \partial _\rho )\) and \(\partial _{\overline{z}}\,{:}{=}\, \frac{1}{2} (\partial _\zeta + i \partial _\rho )\) acting on functions \(f: {{\mathbb {C}}}\times {{\mathbb {C}}}\rightarrow {{\mathbb {C}}}\), \((z, {\overline{z}}) \mapsto f(z, {\overline{z}})\). Other than in two dimensions, where harmonic fields satisfy \(\partial _{\overline{z}}f = 0\) (that is, f is an analytic function), we are here left with the solution of the singular equation (2.9).
Direction fields \(\mathbf{D}: S_1 \rightarrow {{\mathbb {R}}}^2\), \(\varphi \mapsto \mathbf{D}(\varphi )\) are called symmetric if
and fields \(\mathbf{B}\) and functions f are called symmetric if they satisfy (2.2) and (2.10), respectively. Symmetry implies, obviously, \(D_\rho (0) = D_\rho (\pi ) = 0\), and hence, as \(\mathbf{D}\ne 0\), \(D_\zeta (0) > 0\) or \(D_\zeta (0) < 0\). The condition \(D_\zeta (0) > 0\) is no restriction in problem (1.1) and is henceforth considered as implied by symmetry. The axisymmetric direction problem \(P_\mathbf{D}= P_\mathbf{D}(A_\infty )\) then reads as follows:
Problem
\(P_{\mathbf{D}}(A_\infty )\): Let \(\mathbf{D}\in C(S_1, {{\mathbb {R}}}^2)\) be a symmetric direction field and \(\delta \in {{\mathbb {N}}}{\setminus } \{1, 2\}\). Determine all symmetric solutions \(\mathbf{B}\in C^1 (A_\infty ) \cap C(\overline{A_\infty })\) of (2.1) with decay order \(\delta \) and boundary condition
Equivalent is the following complex formulation:
Problem
\(P^c_{\mathbf{D}}(A_\infty )\): Let \(\mathbf{D}\in C(S_1, {{\mathbb {R}}}^2)\) be a symmetric direction field and \(\delta \in {{\mathbb {N}}}{\setminus } \{1, 2\}\). Determine all symmetric solutions \(f \in C^1 ( A_\infty ) \cap C(\overline{A_\infty })\) of (2.9) with decay order \(\delta \) and boundary condition
where \(D_c \,{:}{=}\, D_\zeta - i D_\rho \).Footnote 4
The ambiguity in the arg-function is removed by the condition that \(\varphi \mapsto \arg D_c\) is continuous on \((-\pi , \pi )\). We then have \(\arg D_c (0) = 0\) and \(\arg D_c (\pm \pi ) = \mp {r\!o}\, \pi \).
A bounded version of the problem reads as follows:
Problem
\(P^c_{\mathbf{D}, {\widehat{\mathbf{D}}}} (A_R)\): Let \(\mathbf{D}\in C(S_1, {{\mathbb {R}}}^2)\) and \(\widehat{\mathbf{D}} \in C(S_R, {{\mathbb {R}}}^2)\) be symmetric direction fields. Determine all symmetric solutions \(f \in C^1 ( A_R) \cap C(\overline{A_R})\) of (2.9) with boundary conditions
where \(D_c \,{:}{=}\, D_\zeta - i D_\rho \) and \({{\widehat{D}}}_c \,{:}{=}\, {{\widehat{D}}}_\zeta - i {{\widehat{D}}}_\rho \).
The basic idea to solve the direction problem is to extend the direction field from the boundary to the entire annulus and to replace the boundary value problem for the harmonic field by one for the direction field. The direction field, however, is in general multivalued and not well-defined at the zeroes of the harmonic field. This suggests for the harmonic field an ansatz with a given field describing the zeroes and by (2.6) the rotation numbers at the boundaries, and a further zero-free field with well-defined directions on the entire annulus. For the bounded complex problem \(P_{\mathbf{D}, {\widehat{\mathbf{D}}}}^c (A_R)\) such an ansatz is
with the analytic function
and the exponential function \(e^g\) with well-defined argument function \(\mathfrak {I}g\) on \(A_R\). Note that for given direction fields \(\mathbf{D}\) and \({\widehat{\mathbf{D}}}\) and hence rotation numbers \({r\!o}\) and \({\widehat{r\!o}}\), the number of zeroes in \(A_R\) is fixed by (2.6), so that the ansatz (2.15) does not restrict the solution set of \(P_{\mathbf{D}, {\widehat{\mathbf{D}}}}^c (A_R)\). However, there is a (preliminary) restriction: in order that h(z) is a symmetric function, the set S of zeroes must be symmetric, that is \(z \in S\) implies \({\overline{z}}\in S\). If zeroes on the symmetry axis are not allowed (as it will be the case in the subsequent solution procedure), \({r\!o}- {\widehat{r\!o}}\) must be an even number (a restriction that is lifted in Section 9).
When inserting (2.15) into (2.9), one obtains
which, by further differentiation, can be reduced to a semilinear elliptic equation in the variable \(2 \mathfrak {I}g =: q\) alone:
As \(|{\overline{h}}/h| = 1\), an angle-type variable \(\Psi \) may be introduced by \({\overline{h}}/h =: e^{i \Psi }\), where \(\Psi \) is a bounded but discontinuous function on \(A_R\) (see Appendix A). Using the real variables \((\zeta , \rho )\) in \(A_R\), Equation (2.18) then takes the real form
where \(\Delta \,{:}{=}\, \partial _\zeta ^2 + \partial _\rho ^2\). Boundary values for q on \(S_1\) arise from (2.14)–(2.16) as follows:
which give rise to the definition
and analogously, on \(S_R\),
Footnote 5 Note that by construction \(\phi (\pi ) = \phi (-\pi ) = {{\widehat{\phi }}}(\pi ) = {{\widehat{\phi }}}(-\pi ) = 0\), i.e. \(D_c \in C(S_1)\) implies \(\phi \in C(S_1)\), and analogously for \({{\widehat{\phi }}}\).
Once q is determined, the real part \(p\,{:}{=}\, 2 \mathfrak {R}g\) of g is given by the other half of Equation (2.17) up to a constant \(p_0\):
It is useful, in particular for a weak formulation of the problem, to transform to zero boundary conditions. To this end let \(\varPhi \) be a harmonic interpolation of the boundary functions, that is a solution of the (standard) boundary value problem
and define \(u\,{:}{=}\, q - \varPhi \), \(\Omega \,{:}{=}\, \Psi - \varPhi \). In these variables Equation (2.19) takes the form
or
with
and
The symmetry of f and h implies
and by (2.20), (2.21), \(\phi (-\varphi ) = - \phi (\varphi )\), \({{\widehat{\phi }}}(-\varphi ) = - {{\widehat{\phi }}}(\varphi )\), and hence (see Appendix B),
which implies, finally,
The boundary value problem (2.25)–(2.27), and (2.30) for u with given \(\Omega \) is henceforth called problem \(P_\Omega (A_R)\).
The divergence structure of Equation (2.25) and its non-smooth coefficients suggest a weak formulation of \(P_\Omega (A_R)\): a function \(u \in H_{0,as}^1 (A_R)\) is called weak solution of \(P_\Omega (A_R)\), if u satisfies
for all antisymmetric testfunctions \(\psi \in C_{0, as}^\infty (A_R)\), where
and
Note that in the bounded domain \(A_R\) by (1.4) \(\Vert \nabla \cdot \Vert _{L^2}\) is equivalent to the usual \(H^1\)-norm \(\Vert \cdot \Vert ^2_{H^1} = \Vert \cdot \Vert ^2_{L^2} + \Vert \nabla \cdot \Vert ^2_{L^2}\); \(C_0^\infty (A_R)\) denotes as usual the space of infinitely differentiable functions compactly supported in \(A_R\). In the unbounded case a function \(u \in H_{loc , as}^1 (A_\infty )\) with trace \(u|_{S_1} = 0\) is called a weak solution of problem \(P_\Omega (A_\infty )\), if u satisfies (2.31) (with \(A_R\) replaced by \(A_\infty \)) for every test function \(\psi \in C_{0, as}^\infty (A_\infty )\). The following theorems assert the existence of unique weak solutions in bounded annuli \(A_R\) and in the exterior plane \(A_\infty \):
Theorem 2.1
Let \(R > 1\) and \(\Omega \in L^\infty (A_R)\) with bound
for some constant \(K > 0\), then problem \(P_\Omega (A_R)\) has a unique weak (in the sense of Equation (2.31)) solution \(u \in H^1_{0,as} (A_R)\) with bound
where \(\beta = 1/5\) and C is some constant that depends on K, but does not depend on R.
Theorem 2.2
Let \(\Omega \in L^\infty (A_\infty )\) with bound
for some constant \(K > 0\). Then problem \(P_\Omega (A_\infty )\) has a unique weak solution \(u \in H^1_{loc,as} (A_\infty )\) with trace \(u\big |_{S_1} = 0\) and the bound
with \(\beta = 1/5\) and some constant \(C > 0\).
Based on these results the subsequent Theorems (2.3)–(2.5) give answers to the direction problems \(P^c_{\mathbf{D}, {\widehat{\mathbf{D}}}} (A_R)\), \(P_\mathbf{D}(A_R)\), and \(P^u_\mathbf{D}(A_\infty )\), respectively. To this end recall that for any continuous, symmetric direction field the \(\rho \)-component vanishes by (2.11)\(_2\) at the symmetry axis. The more precise condition
or, equivalently with \(D_c = D_\zeta - i D_\rho \),
turns out to be more appropriate in the following. Moreover, Hölder continuity of \(\mathbf{D}\) will help to establish continuity of the solution up to the boundary.
Theorem 2.3
Let \(\mathbf{D}\) and \({\widehat{\mathbf{D}}}\) be Hölder continuous, symmetric direction fields with rotation numbers \({r\!o}\) and \({\widehat{r\!o}}\in {{\mathbb {N}}}{\setminus } \{1\}\), respectively, \({r\!o}- {\widehat{r\!o}}\geqq 0\) and even, and satisfying condition (2.36) at the symmetry axis. Let, furthermore, \(\{z_1, \ldots ,z_{{r\!o}- {\widehat{r\!o}}} \}\) be a symmetric set of points in \(A_R\). Then, problem \(P^c_{\mathbf{D}, {\widehat{\mathbf{D}}}} (A_R)\) has a unique solution \(f = B_\zeta - i B_\rho \triangleq \mathbf{B}\) vanishing at \(z_1, \ldots ,z_{{r\!o}- {\widehat{r\!o}}}\) and nowhere else.
Theorem 2.4
Let \(\mathbf{D}\) be a Hölder continuous, symmetric direction field with rotation number \({r\!o}\in {{\mathbb {N}}}{\setminus } \{1\}\) and satisfying condition (2.36) at the symmetry axis. Let, furthermore, \({{\tilde{\delta }}}\in {{\mathbb {N}}}{\setminus } \{1,2\}\), \({{\tilde{\delta }}}\leqq {r\!o}+1\), and \(\{z_1, \ldots ,z_{{r\!o}- {{\tilde{\delta }}}+1} \}\) be a symmetric set of points in \(A_\infty \). Then, problem \(P^c_{\mathbf{D}} (A_\infty )\) has a unique solution \(f \triangleq \mathbf{B}\) with exact decay order \({{\tilde{\delta }}}\) vanishing at \(z_1, \ldots ,z_{{r\!o}- {{\tilde{\delta }}}+ 1}\) and nowhere else.
When the zeroes of a solution do not matter, the total set of solutions (with unspecified zeroes) of the signed direction problem can best be “counted” by means of the unsigned problem. Let \(\mathbf{D}\) be a Hölder continuous, symmetric direction field with rotation number \({r\!o}\) satisfying the axis-condition (2.36) and let \(S_\mathbf{D}^{{\tilde{\delta }}}\) and \(C_\mathbf{D}^\delta \) be the solution sets of the signed direction problem \(P_\mathbf{D}^s (A_\infty )\) with exact decay order \({{\tilde{\delta }}}\) and (not necessarily exact) order \(\delta \), respectively. Let furthermore, \(L_\mathbf{D}^\delta \) be the set of solutions of the unsigned problem \(P_\mathbf{D}^u (A_\infty )\), then we clearly have
where \(3 \leqq \delta \leqq {{\tilde{\delta }}}\leqq {r\!o}+ 1\). Moreover, \(L_\mathbf{D}^\delta \) is a linear space, whose dimension is determined by \({r\!o}\) and \(\delta \). More precisesly, the following theorem holds:
Theorem 2.5
Let \(S_\mathbf{D}^\delta \), \(C_\mathbf{D}^\delta \), and \(L_\mathbf{D}^\delta \) be the solution sets of the signed direction problem with exact decay order \(\delta \), of the signed problem with decay order \(\delta \), and of the unsigned problem with decay order \(\delta \), respectively. If \(3 \leqq \delta \leqq {r\!o}+ 1\), we have
where \({r\!o}\) is the rotation number of \(\mathbf{D}\) and \(\langle S\rangle \) denotes the real linear span of the set S. If \(\delta > {r\!o}+ 1\) we have \(L_\mathbf{D}^\delta = \{0\}\).
Some comments are in order:
1. Theorems 2.1 and 2.2 are robust in the sense that the theorems still hold for weights \(\beta \) that vary in some interval around 1/5.
2. The restriction to an even number of zeroes in Theorem 2.3 can supposedly be removed. The physically relevant case, however, is the unbounded one, where this restriction does not apply, and we saved us this effort.
3. In view of the regularity of the data \(\Omega \) (see Appendix A), much more regularity than \(u \in H^1_{loc}\) can not be expected.Footnote 6 However, when inserting \(q = u + \Phi \) into (1.2) the result will be more regular (by exponentiation of q and by multiplication by the zeroes of h). In fact, the harmonic vector field \(\mathbf{B}\) is known to be analytic in the exterior space E.
4. According to Theorems 2.3 and 2.4, all the nonuniqueness of the signed direction problem is encoded in the arbitrary positions of the zeroes. Uniqueness (up to a positive constant factor) in \(A_\infty \) is thus only guaranteed if \(\delta = {{\tilde{\delta }}}= {r\!o}+ 1\); if the direction field is the only data (and hence \(\delta = 3\)) this requires \({r\!o}=2\), which holds, for example, for “dipole-type” direction fields.
5. The unsigned direction problem prescribes the direction of the field vector only up to a sign at \(S_1\). Arbitrary linear combinations of different solutions for the same direction field \(\mathbf{D}\) are thus again solutions for \(\mathbf{D}\), forming the linear space \(L_\mathbf{D}^\delta \). As to the signed problem only positive linear combinations are admissible, that is \(C_\mathbf{D}^\delta \) has the representation
which is a cone in \(L_\mathbf{D}^\delta \).
As to the solution of problem \(P_\Omega (A_R)\) note that it does neither have a variational form nor does it have (obvious) monotonicity properties, but a favourable feature clearly is the boundedness of the nonlinear term. The method of choice to obtain global solutions of \(P_\Omega (A_R)\) is thus to solve a suitably linearized version and to define thereby a compact mapping to which Schauder’s fixed point principle applies. In the weak setting of Equation (2.31), linearized by replacing \(\mathbf{a}[u - \Omega ]\) by \(\mathbf{a}[w - \Omega ]\) with given function w , the Lax-Milgram criterion provides easily general solvability, if only (besides boundedness) some coercivity condition is satisfied. This latter condition amounts to
for some \(C < 1\). A superficial estimate of the left-hand side by (1.4) with \(\gamma =0\) and \(|a_\zeta | \leqq 0.73\), \(|a_\rho | \leqq 1\) (see Fig. 3), however, fails:
A great deal of the present work is devoted to overcoming this problem by the combined effect of three measures:
(i) We introduce the variable \(v\,{:}{=}\, \rho ^{\alpha }u\) in \(A_R^+\) with suitable \({\alpha }> 0\), which has the effect that \(a_\rho \) is shifted by \({\alpha }\) and allows a bound better than 1. Note that by antisymmetry it is sufficient to do calculations on \(A_R^+ \,{:}{=}\, A_R \cap \{\rho > 0\}\).
(ii) A \(\rho \)-dependent weight can improve the optimal constant in the Hardy inequality (1.4). But this requires a generalized (\(\rho \)-weighted) version of the Lax-Milgram criterion.
(iii) \(\partial _\zeta u\) and \(\partial _\rho u\) do not appear symmetrically in inequality (2.41). A weighted gradient \(\nabla _d \,{:}{=}\, d\, \mathbf{e}_\zeta \, \partial _\zeta + \mathbf{e}_\rho \, \partial _\rho \), \(d > 0\) can exploit this for further improvement.
Unfortunately, in the generalized Lax-Milgram criterion the coercivity condition is now governed by constants \(C_c\) and \({{{\widetilde{C}}}}_c\), which are defined by min-max problems, viz.
and similarly for \({{{\widetilde{C}}}}_c\). Here v and \(\psi \) vary in differently weighted versions of \(H_0^1 (A_R^+)\). The case \(\gamma = 0\), \(d = e =1\) corresponds to the ordinary coercivity constant \(C_c = 1\); increasing \(\gamma \) leads to decreasing \(C_c\)-values thus strengthening the coercivity condition. It needs a subtle balance of all involved parameters (\({\alpha }\), \(\gamma \), d, and e) to meet, finally, the coercivity condition of the generalized Lax-Milgram criterion.
To obtain sufficiently sharp lower bounds on \(C_c\) we proceed as follows. Firstly the annular region \(A_R\) is replaced by a rectangle Q, which allows us to split the two-dimensional problem in a sequence of one-dimensional problems in the variable \(\rho \). The Euler–Lagrange equations for these problems amount to low-dimensional systems of ordinary linear differential equations, which constitute eigenvalue problems whose minimum eigenvalue bounds \(C_c\). The numerical solution of these equations has heuristic value in that it allows us to identify appropriate values of the above parameters. A special case can be solved fully analytically and this solution hints to the kind of test function that, finally, yields rigorous lower bounds on \(C_c\) sufficient for our needs.
Once the solution of the linearized problem is established, a successful iteration depends crucially on the underlying space, which is here an \(L^p\)-space that is again suitably weighted by some power of \(\rho \). \(L^p\)-generalizations of (1.4) of the form
with as large as possible values of p and \(\delta \) for given \(\beta \) play here a major role. Optimal estimates of this type in two dimensions for “small” and “large” values of p are the key to prove continuity of the nonlinear iteration mapping. Compactness of the mapping then is a comparatively easy consequence of well-known embedding theorems.
Schauder’s fixed point principle does not provide uniqueness; so, this issue has to be faced separately. A heuristic consideration exploiting the divergence-character of Equation (2.25) suggests the kind of test function that would exclude nontrivial solutions of the corresponding equation for the difference of two solutions. In fact, in order to prove rigorously uniqueness in \(H_0^1 (A_R)\) it takes a whole sequence of test functions and special attention has to be given to the behaviour at the symmetry axis. In \(A_\infty \) the weight \(|\rho |^{-\beta }\) in (2.35) cannot be neglegted. Starting point is now a formulation of Equation (2.25) that incorporates the weight while keeping the divergence structure. The proof then proceeds quite analogously to the bounded case providing, finally, uniqueness for functions in \(H_{loc,as}^1 (A_\infty )\) satisfying the bound (2.35) for \(0< \beta <1\). Recall that all the nonuniqueness that is typical for the solutions \(\mathbf{B}\) of the direction problem is encoded in the zero-positions angle \(\Psi \), which is part of the data in Equation (2.25).
The transition from \(A_R\) to the unbounded region \(A_\infty \) proceeds by a suitable sequence of solutions \((u_n)\) defined on \(A_n\) with boundary values on \(S_n\) that are obtained from the exterior harmonic potential with boundary function \(\phi \) on \(S_1\). Restricting \(u_n\) on \(A_m\), \(m \leqq n\) yields actually a double sequence \((u_{m,n})\) with uniform bound (2.33). A suitably defined diagonal sequence \((u^{(k)})\) then has the favourable property that \(u^{(k+1)}\) extends \(u^{(k)}\) defined on \(A_k\) onto \(A_{k+1}\). Thus \((u^{(k)})\) allows for the definition of a function u on \(A_\infty \) that satisfies the bound (2.35) and that is in fact a weak solution of \(P_\Omega (A_\infty )\). Once u and hence q are known, p is determined by (2.22) up to a constant \(p_0\). By substitution into the ansatz (2.15) one obtains, finally, f, which corresponds to a weakly harmonic field \(\mathbf{B}\). Higher interior regularity then follows from standard elliptic regularity theory, whereas continuity up to the boundary requires some more subtle arguments depending on the Hölder continuity of the boundary data.
So far zeroes on the symmetry axis are not allowed mainly for the technical reason not to loose favourable properties of the zero-positions angle \(\Psi \) at the symmetry axis. So the number of zeroes in \(A_R\) must be even, which means, for example for \(\delta =3\), a restriction of possible direction fields to those with even rotation numbers (see (2.7)). This limitation can be overcome by taking suitable linear combinations of “even solutions”. The coefficients of a linear combination can be viewed as “deformation parameters” that govern the positions of the zeroes. Based on invariance properties of the degree of mapping with respect to continuous deformations (which are recalled in this context), single zeroes can be eliminated from \(A_\infty \) by “pushing” them to infinity. A crucial point is here to keep control over the other zeroes, which will move but which had to avoid the boundary.
Finally, we characterize and, in particular, determine the dimension of the solution space of the unsigned direction problem. The presentation follows here largely the corresponding one in the two-dimensional case in [13]. The basic result is that \(L_\mathbf{D}^\delta \) is generated by an arbitrary set of \({r\!o}- \delta + 2\) solutions of the signed problem with precisely \(0, 1, \ldots , {r\!o}- \delta +1\) zeroes. In this sense no fundamentally new solutions appear in the unsigned problem and \(L_\mathbf{D}^\delta \) can be viewed as a convenient way to quantify the nonuniqueness of the direction problem.
The material just described is organized in the following sections: Section 3 collects the various Hardy-type inequalities we make use of in the course of the proof. Uniqueness in the problem \(P_\Omega \), an issue that is independent of the rest of the paper, is proved in Section 4. Sections 5 and 6 are devoted to the linearized problem and, as an essential part of it, to the min-max problem. Sections 7 and 8 present solutions of \(P_\Omega \) in annuli \(A_R\) and in the exterior plane \(A_\infty \), respectively. The direction problem itself, again in \(A_R\) and in \(A_\infty \), is solved in Section 9 under the restriction that no zeroes are lying on the symmetry axis. Zeroes on the symmetry axis are discussed in Section 10 and the unsigned problem in Section 11. Some more technical estimates and some additional material are deferred to a number of appendices: appendices A and B contain estimates of the zero-positions angle \(\Psi \) and of the boundary function \(\Phi \), respectively. Appendix C contains a proof of the generalized Lax-Milgram criterion. Appendices D and E contain the analytic solution of a special one-dimensional min-max problem and numerical solutions of the general one-dimensional problem, respectively. Finally, Appendix F contains an explicit exemplary solution of the 2D-direction problem that illustrates the migration of a zero.
3 Hardy-type inequalities
The results 3.1–3.3 are formulated for (not necessarily bounded) domains G in the \(n+1\)-dimensional half-space
without causing additional effort. All other results hold for bounded domains \(G \subset H\) with
Note for subsequent applications the correspondence \((x,y) \triangleq (\zeta , \rho )\).
\(y^\gamma \)-weighted \(L^p\)-norms, especially with \(p = 2\), play in this paper a dominant role. Here the following notation is useful:
with given domain \(G \subset H^{(n+1)}\), \(p \geqq 1\), and \(\gamma \in {{\mathbb {R}}}\). For \(p= 2\) we use the simplified notation: \(\Vert \cdot \Vert _{2 ,\gamma } =: \Vert \cdot \Vert _{\gamma }\), and for \(p = \infty \): \(\Vert \cdot \Vert _{\infty , 0} =: \Vert \cdot \Vert _\infty \). The following function spaces are associated to these norms:
where
For bounded \(G\subset H^{(n+1)}\) we have the well-known inclusion
as well as
where the latter inclusion is in fact an equivalence in the case \(G \Subset H\), that is that G is compactly contained in H. With respect to c only the difference between \(c=0\) and \(c > 0\) matters:
Footnote 7The following proposition is a weighted \(L^p\)-version of Hardy’s inequality (see [10], p. 175) suitable to our needs.
Proposition 3.1
Let \(G \subset H^{(n+1)}\) be a domain and \(f \in \mathcal{H}^{(c)}_{p,\gamma } (G)\) with \(\gamma \ne 1-p\) and \(p \geqq 1\). Then, the following inequalities hold:
and, especially for \(p=2\),
Proof
Let \(\psi \in C_0^\infty (G) \subset C_0^\infty (H)\) and let us define \(\widetilde{\psi }\in C_0^\infty ({{\mathbb {R}}}_+)\) by fixing \( (x_1, \ldots , x_n) = \mathbf{x}\in {{\mathbb {R}}}^n\) in \(\psi \):
Integrating by parts then yields
where in the last line we applied Hölder’s inequality. By cancellation one obtains
Finally, applying Fubini’s theorem in the form
yields the assertion for \(\psi \in C_0^\infty (G)\) and by approximation for \(f \in \mathcal{H}^{(c)}_{p,\gamma }\). \(\square \)
Remark
In the case that G is contained in the half-ball \(B_R^+ \subset H^{(n+1)}\) of radius R centered at the origin, inequality (3.4) provides immediately a Poincaré-type inequality:
The following lemma demonstrates that the constant in inequality (3.5) cannot be improved in the case that G contains a box that touches the symmetry axis:
Lemma 3.2
(box-criterion) Let \(G\subset H^{(n+1)}\) be a domain and \(Q \subset G\) a box of the form \(Q = Q^{(n)} \times (a,b) \subset {{\mathbb {R}}}^n \times {{\mathbb {R}}}_+\) with \(0< a < b\). Then, any admissible constant c in inequality (3.5) satisfies
In particular, if G contains a box of the form \(Q^{(n)} \times (0,b)\), the constant in (3.5) is the smallest possible.
Proof
The smallest constant \(c_\text {min}\) in (3.5) is associated to a variational problem, viz.,
It suffices for our purposes to consider the following simpler, one-dimensional version:
Problem (3.9) is in fact a standard problem in the calculus of variation. The associated Euler–Lagrange equations,
constitute an eigenvalue problem in \(\lambda \), which can explicitly be solved. The minimizer in (3.9) is the eigenfunction with smallest eigenvalue:
Let now \({{{\widetilde{Q}}}}\,{:}{=}\, {{{\widetilde{Q}}}}^{(n)} \times (a,b)\) be an extension of \(Q \,{:}{=}\, Q^{(n)} \times (a,b)\) such that \(Q^{(n)} \Subset {{{\widetilde{Q}}}}^{(n)}\) and \(|{{{\widetilde{Q}}}}{\setminus } Q| < \varepsilon \). Let, furthermore, \(f : Q \rightarrow {{\mathbb {R}}}\) be given by \(f(\cdot , y) = f_\text {min} (y)\) and \({{\tilde{f}}}\) be a \(C^1\)-extension onto \({{{\widetilde{Q}}}}\) such that \({{\tilde{f}}}|_{\partial {{{\widetilde{Q}}}}} = 0\) and
For \({{\tilde{f}}}\) we then have the estimate
As \(C_0^\infty ({{{\widetilde{Q}}}})\) is dense in \(H_0^1 ({{{\widetilde{Q}}}})\) we can approximate \({{\tilde{f}}}\) on the left-hand side of (3.10) by \(\psi \in C_0^\infty ({{{\widetilde{Q}}}}) \subset C_0^\infty (G)\) and find the infimum in (3.8) be bounded from above by the right-hand side in (3.10). As \(\varepsilon >0\) is arbitrary we thus obtain
which is (3.7).
If G contains a box of the form \(Q^{(n)} \times (0,b)\), the first assertion holds for any \(a \in (0,b)\), that is
which is the second assertion of the box-criterion. \(\square \)
Inequality (3.5) allows for some alternative characterizations of \(\mathcal{H}^{(c)}_\gamma (G)\), which will be useful when dealing with the min-max problem.
Lemma 3.3
Let \(G \subset H^{(n+1)}\) be a domain and \(-1 \ne \gamma \in {{\mathbb {R}}}\). On \(\mathcal{H}^{(c)}_\gamma (G)\) we then have the equivalence of norms
with constants
Proof
By
and repeated use of (3.5) one obtains for \(\psi \in C_0^\infty (G)\):
Similarly, by
and again by (3.5), one obtains
\(\square \)
\(H_0^1 (G)\) denotes the usual Sobolev space clos\(\big (C_0^\infty (G) , \Vert \cdot \Vert _{H^1} \big )\) with
By (3.6) we have thus the norm equivalence \(\Vert \cdot \Vert _{H^1} \sim \Vert \nabla _c \cdot \Vert _0\) and hence the identity
provided that G is bounded and that \(c>0\). More generally, for \(\gamma \ne -1\), (3.6) and (3.11) imply, under these conditions,
and (3.3) implies
Note, finally, that \(\mathcal{H}_\gamma ^{(c)} (G)\), \(c>0\) equipped with the scalar product
is a Hilbert space, which implies in particular that \(\mathcal{H}_\gamma ^{(c)} (G)\) is a reflexive space.
The rest of this section is devoted to inequalities of type
which will be necessary in Section 7. G is now a bounded domain contained in some half-ball \(B_R^+ \subset H \subset {{\mathbb {R}}}^2\) and we suppose \(c> 0\). The focus is now on “optimal values” of p and \(\delta \) for given values of q, especially for \(q =2\), and \(\beta \).
We start with some one-dimensional inequalities, which are comparatively easy to derive. Let \(f \in H^1((0,R))\) with \(f(0) = 0\). By the fundamental theorem of calculus and by Hölder’s inequality one obtains
that is
where
Inequality (3.16) contains the special case
and (formally) the limit cases
Inequality (3.18) is clear for \(\beta = 0\). Otherwise we have
Thus, by summation and using (3.4) with \(p= 1\), one obtains
which is (3.18). Finally, interpolation between (3.17) and (3.5)Footnote 8 yields a (one-dimensional) inequality of type (3.15):
that is
with
Inequalities (3.16) and (3.19) are optimal in the sense that \(\delta \) cannot be enlarged as can easily be seen by testing the inequalities with \(f(y) = y^{\alpha }\).
In 2 dimensions we must proceed differently since a result of type (3.16) with \(q =2\) cannot be achieved (not even for \(\delta = \beta =0\)). We thus assume \(p < \infty \) and distinguish, moreover, between “small p” and “large p”.
Proposition 3.4
(small-p-case) Let G be a domain contained in \(B_R^+ \subset H \subset {{\mathbb {R}}}^2\) and \(f \in \mathcal{H}_\beta ^{(c)} (G)\) with \(\beta > -1\) and \(c>0\). Then, the following inequality holds
with
Proof
It is sufficient to prove (3.20) for functions \(\psi \in C_0^\infty (G)\). By (3.17) we have
and by the fundamental theorem
With these estimates one obtains
Interpolation with (3.5) then yields
where we set \(\delta \,{:}{=}\, \beta /2 + (6-p)/2p\) and made use of Hölder’s inequality in the second line. This is (3.20). \(\square \)
Proposition 3.5
(large-p-case) Let G be a domain contained in \(B_R^+ \subset H \subset {{\mathbb {R}}}^2\) and \(f \in \mathcal{H}_{\frac{2 p}{2 + p} ,{{\tilde{\beta }}}}^{(c)} (G)\) with \(p \geqq 2\), \({{\tilde{\beta }}}> 0\) and \(c>0\). Then, the following inequality holds:
with
Moreover, for \(f \in \mathcal{H}_\beta ^{(c)} (G)\) with \(\beta > -2 /p\) it holds that
with
Proof
Let \(\psi \in C_0^\infty (G)\). We proceed similarly as in the proof of Proposition 3.4, starting this time, however, with (3.18), that is
and
We then obtain
By approximation, inequality (3.23) holds for any \(g\in \mathcal{H}^{(c)}_{1, \beta } (G)\). Inserting \(g =: |f|^{p/2}\) and \(2 \beta =: {{\tilde{\beta }}}(p/2 + 1)\) and using Hölder’s inequality, we further obtain that
After cancellation we have
which is (3.21).
Using once more Hölder’s inequality, the right-hand side in (3.21) can be linked up with the \(L^2\)-norm:
with \(\varepsilon \,{:}{=}\, 1 - \beta + (2 + p)( \beta -{{\tilde{\beta }}})/2\). The necessary condition \(\varepsilon > 0\) implies \({{\tilde{\beta }}}< \beta + 2(1 -\beta )/(2 +p)\), which in turn by \({{\tilde{\beta }}}>0\) implies \(\beta > -2 /p\). Combining (3.21) with (3.24) yields, finally, (3.22) with \(\delta \,{:}{=}\, \beta /2 + (1-\varepsilon )/p\).\(\square \)
4 Uniqueness in the problems \(P_\Omega (A_R)\) and \(P_\Omega (A_\infty )\)
Uniqueness for fixed function \(\Omega \) means, in particular, uniqueness for fixed boundary values represented by the harmonic function \(\Phi \) and fixed set of zero-positions represented by the angle \(\Psi \). Together with the (up to a constant \(p_0\)) unique solution of (2.22) for given q, this implies by (2.15) an (up to a positive constant factor) unique solution f of the direction problem.
Let \(u_1\) and \(u_2\) be weak solutions of \(P_\Omega (A_R)\), \(R >1\). Then, \({\delta \! u}\,{:}{=}\, u_1 - u_2\) satisfies, weakly, the following “perturbation equation”:
with
Note that given \(u_1\) and \(u_2\), \(\mathbf{a}'\) is here considered as a given (bounded) vector field on \(A_R\) and (4.1) is thus a linear equation in \({\delta \! u}\).
Proposition 4.1
Let \(u_1\), \(u_2 \in H_{0, as}^1 (A_R)\) be weak solutions of problem \(P_\Omega (A_R)\) with \(R>1\) and \(\Omega \in L^\infty (A_R)\) satisfying the bound (2.32). Then
Proof
For functions \(f \in H^1_{0, as} (A_R)\) we have by definition \(\mathrm{trace}\, f\big |_{\{\rho = 0\}} = 0\); it is thus sufficient to consider functions \(f \in H_0^1 (A^+_R)\), where \(A_R^+ \,{:}{=}\, A_R \cap \{\rho >0\} \subset H\).
Let us start with a heuristic consideration that motivates the choice of test functions we will make use of in the following. Let \({\delta \! u}^+ \,{:}{=}\, \max \{{\delta \! u}, 0\}\) and integrate (4.1) over \(\mathrm{supp}\,{\delta \! u}^+\) to get
On the assumption that \({\delta \! u}^+\) and \(\mathrm{supp}\, {\delta \! u}^+\) are such that Gauss’ theorem is applicable one obtains
Where \(\mathbf{n}\) denotes the exterior normal at \(\partial (\mathrm{supp}\, {\delta \! u}^+)\). By definition we have \({\delta \! u}^+\big |_{\partial (\mathrm{supp}\,{\delta \! u}^+)} = 0\) and \(\mathbf{n}\cdot \nabla \, {\delta \! u}^+\big |_{\partial (\mathrm{supp}\,{\delta \! u}^+)} \leqq 0\) and thus from (4.4) we conclude:
This conclusion continues even in the case that \(\partial (\mathrm{supp}\, {\delta \! u}^+) \cap \{\rho =0\} \ne \emptyset \). On that portion of \(\{\rho = 0\}\) the second term in (4.4) need not vanish, but it exhibits a sign that fits to that of the first term:
At least in the real-analytic framework, (4.5) then implies by Cauchy-Kovalevskaya’s theorem \({\delta \! u}^+ \equiv 0\) (end of the heuristics).
Equation (4.3) suggests a test function that is constant on \(\mathrm{supp}\, {\delta \! u}^+\). The sequence
approximates for \(n \rightarrow \infty \) such a test function. Note that with \({\delta \! u}\in H^1_0 (A_R^+)\) we also have \({\delta \! u}^+\) and \(\psi _n \in H^1_0 (A_R^+)\) (see, for example, [8], p. 152f). Testing of (4.1) by \(\psi _n\) yields
where we made use of
By rearrangement, use of Cauchy-Schwarz’s inequality and some more estimates, (4.6) takes the form
By (4.2), (3.5), (A.7), and (B.4) the \(\mathbf{a}'\)-related terms have the n-independent bound
and similarly,
The second term on the left-hand side of (4.7) is finite by (3.5) for any \(n \in {{\mathbb {N}}}\):
and, moreover, by integrating by parts, it turns out to be nonnegative (see Fig. 4):
We therefore conclude from (4.7) that
and, furthermore, by (3.6) that
The monotonically increasing sequence \(\big ( \ln (1 + n\, {\delta \! u}^+)\big )_{n \in {{\mathbb {N}}}}\) thus has a bounded sequence of integrals, and Levi’s theorem implies convergence almost everywhere, which in turn means \({\delta \! u}^+ = 0\) almost everywhere. This argument works for \(-{\delta \! u}^- \,{:}{=} - \min \{{\delta \! u}, 0 \}\) as well, which completes the proof. \(\square \)
In the unbounded case we deal with solutions \(u \in H^1_{loc, as} (A_\infty )\) of the problem \(P_\Omega (A_\infty )\) that satisfy a bound of the form
with weight \(|\rho |^{-\beta }\) that cannot be neglected. To incorporate the weight while keeping the divergence-character of the governing equation, we rewrite Equation (2.24) in the region \(A_\infty ^+\) in the variable \(v\,{:}{=}\, \rho ^\beta u\):
From (4.11) follows a perturbation equation for \({\delta \! v}\,{:}{=}\, v_1 - v_2\) analogous to (4.1):
with \(\mathbf{a}'\) given by (4.2) and again considered as a given vector field on \(A_\infty ^+\).
Proposition 4.2
Let \(u_1\), \(u_2 \in H_{loc, as}^1 (A_\infty )\) be weak solutions of problem \(P_\Omega (A_\infty )\) with vanishing trace on \(S_1\) and bound (4.10); let \(\Omega \in L^\infty (A_\infty )\) satisfy the bound (2.34). Then
Proof
Based on Equation (4.12) the proof proceeds quite analogously to that of Proposition 4.1; we skip thus the details. With the sequence of test functions
one obtains instead of (4.6)
The \(\mathbf{a}'\)-related estimates are now done by (A.8) and (B.5):
and analogously for \(a_\rho '\). The fourth term in (4.13) is still nonnegative,
and (4.9) takes the form
with arbitrary \(R > 1\). By \(n \rightarrow \infty \) we can thus again conclude that \({\delta \! v}^+ = 0\) and hence \({\delta \! u}^+ = 0\) almost everywhere in \(A_R^+\) for any \(R > 1\).\(\square \)
5 The Linearized Problem
This section is devoted to the solution of Equation (2.31) for given right-hand side and given coefficients \(a_\zeta [\cdot ]\) and \(a_\rho [\cdot ]\) of type (2.26) with measurable but otherwise not further specified argument. Let us start with the observation that by antisymmetry it is sufficient to consider (2.31) in \(A_R^+ = A_R \cap \{\rho >0\}\). Given \(\Omega \), \(u \in H^1_0 (A_R^+)\) is called a weak solution of the problem \(P_\Omega (A_R^+)\) if u satisfies (2.31), with \(A_R\) replaced by \(A_R^+\), for any test function \(\psi \in C_0^\infty (A_R^+)\). The equivalence with \(P_\Omega (A_R)\) is clear when observing the one-to-one correspondence between elements of \(H_0^1 (A_R^+)\) and \(H_{0, as}^1 (A_R)\) (by antisymmetric continuation and restriction, respectively).
The general solution strategy for equations of type
where \(\mathbf{a}\) abbreviates \(\mathbf{a}[f]\) with some measurable function \(f : A_R^+ \rightarrow {{\mathbb {R}}}\), is to apply a Lax-Milgram type criterion, which requires, in particular, coerciveness of the bilinear form on the left-hand side of (5.1). In this situation as sharp as possible bounds on \(\mathbf{a}\) play a crucial role. A first step in this direction is to introduce the variable \(v \,{:}{=}\, \rho ^{\alpha }u\) that allows us to shift \(a_\rho \) by \({\alpha }\) and thus to take advantage of the asymmetry between upper and lower bounds on \(a_\rho \) (see Fig. 3). In fact, expressing (5.1) by v, one obtains
with \(\mathrm{d}\mu _{{\alpha }} = \rho ^{-{\alpha }} \mathrm{d}\zeta \mathrm{d}\rho \) and \(\mathbf{a}^{\alpha }= (a_\zeta , a_\rho - {\alpha })\). Proper choice of \({\alpha }\) “centers” \(a_\rho \) with the effect of an improved bound:
Obviously the bound
on the antisymmetric function \(a_\zeta \) cannot be improved this way.
In a second step we want to take advantage of the improved constant in the Hardy inequality (3.5) when weighted by a factor \(\rho ^{-\gamma }\), \(\gamma >0\). Note that by the box criterion 3.2 this constant is optimal in \(A_R^+\). The Lax-Milgram criterion must now be adapted to this weighted situation. A suitable version is given in the following proposition whose proof is deferred to Appendix C.
Proposition 5.1
(generalized Lax-Milgram criterion) Let \(\mathcal{B}\) and \({\widetilde{\mathcal{B}}}\) be reflexive Banach spaces and \(B : \mathcal{B}\times {\widetilde{\mathcal{B}}}\rightarrow {{\mathbb {R}}}\) be a continuous bilinear form, that is for some \(K> 0\) holds
Let, furthermore, \({\widetilde{\mathcal{B}}}'\) be the dual space of \({\widetilde{\mathcal{B}}}\) with norm
where \(\langle \cdot , \cdot \rangle \) denotes the dual pairing between \({\widetilde{\mathcal{B}}}\) and \({\widetilde{\mathcal{B}}}'\). Let, finally, \(c> 0\) and \({{\tilde{c}}}>0\) be constants such that
Then, the equation
with \(w \in {\widetilde{\mathcal{B}}}'\) has a unique solution \(u \in \mathcal{B}\) with bound
Obviously, conditions (5.7) and (5.8) replace the coercivity condition \(B(u,u) \geqq c\, \Vert u\Vert ^2\) of the ordinary Lax-Milgram criterion for a single (Hilbert) space.
To apply the criterion we set
with \(\mathcal{H}^{(c)}_\beta (G)\) defined in (3.2) and with parameters
yet to be fixed. The bilinear form B is given by
with
Condition (5.5) may easily be checked by Cauchy-Schwarz’s inequality and (3.5):
As to conditions (5.7), (5.8) note that there is no useful information about \(\mathbf{a}^{\alpha }\) other than the bounds (5.3), (5.4). In (5.12), \(B_1\) is thus considered as a perturbation of \(B_0\). The optimal (\(\triangleq \) largest possible) constants in (5.7), (5.8) with respect to \(B_0\) then are determined by the following min-max problems:
On the other side, \(B_1\) may be estimated similarly as in (5.14):
where we have set
It is this estimate that profits by the introduction of the parameters d and e; note that any \(d> 0\) is allowed in (5.17). Combining (5.12), (5.15), and (5.17) one obtains for any \(v \in \mathcal{H}^{(d)}_{{\alpha }+ \gamma } (A_R^+)\):
which is condition (5.7), provided that
An analogous estimate yields
which is (5.8), provided that
By (5.20) and (5.21) the generalized Lax-Milgram criterion 5.1 provides a solution \(v \in \mathcal{H}^{(d)}_{{\alpha }+ \gamma } (A_R^+)\) of Equation (5.2), which by (5.6) and (5.10) satisfies the bound
with
Having in mind problem \(P_\Omega (A_R^+)\) we call a function \(v \in \mathcal{H}_{2 {\alpha }} (A_R^+)\) solution of Equation (5.2) with given measurable functions \(a_\zeta \), \(a_\rho ^{\alpha }\), \(\Omega : A_R^+ \rightarrow {{\mathbb {R}}}\), if v satisfies (5.2) for any \(\psi \in C_0^\infty (A_R^+)\). By (5.13), Proposition 5.1 obviously provides a solution of this type. We summarize these results in the following proposition.
Proposition 5.2
Let \(a_\zeta \), \(a_\rho ^{\alpha }\) be bounded, measurable functions on \(A_R^+\), satisfying (5.3) and (5.4), and let \({\alpha }\), \(\gamma \), d, e, and R be such that conditions (5.11), (5.20), and (5.21) are satisfied, where \(C_c\) and \({{{\widetilde{C}}}}_c\) are given by (5.15) and (5.16), respectively. Let, furthermore, \(\Omega : A_R^+ \rightarrow {{\mathbb {R}}}\) be such that \(\Vert \Omega \Vert _{2 + \gamma - {\alpha }} < \infty \). Then, Equation (5.2) has a unique solution \(v \in \mathcal{H}_{{\alpha }+ \gamma }^{(d)} (A_R^+) \subset \mathcal{H}_{2 {\alpha }} (A_R^+)\) satisfying the bound
with \(\Delta \) given by (5.22).
By Lemma 3.3 the grad-norms of u and v are related by
The following corollary is thus an immediate consequence of the preceeding proposition:
Corollary 5.3
Under the conditions of Proposition 5.2, Equation (5.1) has a unique solution \(u \in H_0^1 (A_R^+)\) with bound
where the constant \({{\widehat{C}}}\) depends on \({\alpha }\), \(\gamma \), d, e, and R.
Remark
Inequality (3.4) offers yet another possibility to improve the Hardy constant: higher \(L^p\)-spaces. The generalized Lax-Milgram criterion then is applied to conjugate \(L^p\)-spaces (see [13]). However, the determination of the constants corresponding to (5.15) and (5.16) requires now the solution of systems of nonlinear partial differential equations as opposed to the linear systems associated to (5.15) and (5.16), which are considered and solved in Section 6.
6 A Minimum-Maximum Problem
In this section the min-max problems (5.15) and (5.16) are studied in some detail with the goal to establish parameter sets \(\{{\alpha }, \gamma , d, e\}\) that satisfy the sufficient conditions (5.20) and (5.21) for solvability of the linearized equation (5.2). Proposition 6.1 allows us to relate the problem posed in \(A_\infty ^+\) to one posed in some finite rectangle \(Q \subset H\). The rectangular geometry then allows the reduction of the two-dimensional problem to a sequence of one-dimensional ones (Proposition 6.3). We determine the Euler–Lagrange equations for the two-dimensional as well as for the one-dimensional problems and find a common lower bound on \(C_c\) and \({{{\widetilde{C}}}}_c\) in terms of the minimum eigenvalue associated to these equations (Proposition 6.2). The analytic solution of even the one-dimensional problems succeeds only in a special (the x-independent) case either directly (see Appendix D) or via Euler–Lagrange equations (see subsection 6.3). Finally, based on the analytic solution, we derive explicit rigorous lower bounds on \(C_c\) and \({{{\widetilde{C}}}}_c\) (Proposition 6.4), which are corroborated by the numerical solution of the general one-dimensional equations (see Appendix E).
Let us start with some simple observations. Using the notation
and
where \(G \subset H\) and \({\alpha }\), \(\gamma \), d, and e satisfy (5.11), one obtains, by Cauchy-Schwarz’s inequality,
Let \(I_x \times I_y \subset G\) some rectangle, \(\beta \in {{\mathbb {R}}}\), \(0 \not \equiv \chi _x \in C_0^\infty (I_x)\), and \((\chi _n) \subset C_0^\infty (I_y)\) a sequence of test functions with
Setting \(v_n (x,y) \,{:}{=}\, \chi _x (x)\, \chi _n (y) \in C_0^\infty (G)\) and \(\beta \,{:}{=}\, {\alpha }+ \gamma \) we find
which implies \(C_c \leqq 1\). The lower bound \(C_c \geqq 0\) follows for given v and \(\psi \) by proper choice of the relative sign.
In the case \(\gamma = 0\) by the choice \(\psi \,{:}{=}\, v\) we obtain the lower bound
where s denotes the ratio \(\int _G (\partial _y v)^2 \mathrm{d}\mu _{\alpha }/\int _G (\partial _x v)^2 \mathrm{d}\mu _{\alpha }\). By the condition
it is easily checked that \(C_c \geqq 1\) and hence \(C_c(G; {\alpha }, 0, d,e) = 1\).
Concerning G the following scaling property of \(\mathcal{F}\) plays an important role. Let \(G_\lambda \,{:}{=}\, \{ (\lambda x, \lambda y) \in H : (x,y) \in G\}\) and
Obviously we then have
and hence \(C_c (G) = C_c(G_\lambda )\). In particular, applying \(S_\lambda \) on \(B_R^+\) and \(A^+_{r_0, \infty } \,{:}{=}\, \{(x,y) \in H : x^2+ y^2 > r_0^2 \}\) we find in the limits \(\lambda \rightarrow \infty \) and \(\lambda \rightarrow 0\), respectively,
for any \(R > 0\), \(r_0 \geqq 0\). Similary, for any rectangle \(Q\,{:}{=}\, (-a, a) \times (0, b) \subset H\) holds
The same or similar arguments apply to \({{{\widetilde{C}}}}_c\) with identical results. We summarize these results in the following proposition:
Proposition 6.1
Let \(G \subset H\) and let \({\alpha }\), \(\gamma \), d, and e satisfy the conditions (5.11) and (6.6). Then, the variational constants \(C_c\) and \({{{\widetilde{C}}}}_c\) given by (6.1)–(6.3) satisfy the bounds
For \(\gamma = 0\) holds
and \(C_c (H)\) and \({{{\widetilde{C}}}}_c (H)\) coincide with \(C_c\) and \({{{\widetilde{C}}}}_c\), respectively, for some (bounded and unbounded) standard domains such as Q, \(B_R^+\), or \(A_{r_0, \infty }^+\).
6.1 Euler–Lagrange Equations
Critical points of the variational expression (6.1) are (weak) solutions of the associated Euler–Lagrange equations. We derive these equations in two steps. First we fix \(v \in \mathcal{H}_{{\alpha }+ \gamma } (G)\) and vary the functional
with respect to \(\psi \) under the constraint \(\Vert \nabla _e \psi \Vert _{{\alpha }- \gamma } = \Vert \nabla _d \, v\Vert _{{\alpha }+\gamma }\). Introducing the Lagrange parameter \(\lambda \in {{\mathbb {R}}}\), this is equivalent to the variation of the extended functional
with respect to \(\psi \) and \(\lambda \) (see, for example, [4], vol. I, p. 216 ff). Setting this variation to zero one obtains
In the second step we vary (6.13) under the differential constraint (6.14)\(_1\) and \(\Vert \nabla _d\, v \Vert _{{\alpha }+ \gamma } = 1\) with respect to v and \(\psi \). Introducing the Lagrange multipliers p, where \(y^{-({\alpha }-\gamma )/2}\, p \in H^1(G)\), and \(\mu \in {{\mathbb {R}}}\), this is equivalent to the variation of the extended functional
with respect to v, \(\psi \), p, and \(\mu \). Setting again the variation to zero one obtains together with (6.14)\(_2\):
This system is yet somewhat redundant. By (6.16)\(_4\) and (3.12) one finds \(p\in \mathcal{H}_{{\alpha }-\gamma } (G)\); setting thus \(p\,{:}{=}\, \psi \) makes Equations (6.16)\(_{2,3}\) equivalent. Furthermore, multiplying (6.16)\(_1\) by v and (6.16)\(_3\) by \(\psi \) and integrating over G one finds by (6.16)\(_5\) that \(\mu = 2\, \lambda \). Finally, when discarding conditions (6.16)\(_5\), we end up with the eigenvalue problem
whose eigenvalue \(\mu \) is related to the critical point \((v, \psi )\) by
Note that stationarity of the functional (6.1) is only a necessary condition for min-max-points. Comparing (6.18) with (5.15) we can thus only conclude that
where
Repeating this procedure with v and \(\psi \) interchanged yields instead of (6.14)
Therefore, in the second step we vary instead of (6.15) the functional
with respect to v, \(\psi \), p, and \(\mu \). Instead of (6.16) one obtains
Here, \(p \in \mathcal{H}_{{\alpha }+ \gamma } (G)\) and setting \(p \,{:}{=}\, v\) makes (6.22)\(_{1,3}\) equivalent. As before we find \(\mu = 2\,\lambda \) with the result that v, \(\psi \), and \(\mu \) satisfy precisely the Equations (6.17). We summarize these findings in the following proposition.
Proposition 6.2
Let (6.15) and (6.21) be the extended functionals associated to the variational problems (5.15) and (5.16), respectively. Then both functionals share the same set of critical points and their min-max-related critical values \(C_c\) and \({{{\widetilde{C}}}}_c\) satisfy the common lower bound
with \(\mu _\text {min}\) given by (6.19). In the case of a unique critical value \(\mu \) we have
6.2 One-Dimensional Min-Max Problems
Let us now specialize to the rectangular domain \(Q = (-a, a)\times (0, b)\) (see Fig. 5), which suggests the following product ansatz for the variational functions v and \(\psi \):
with
Note that \(s_n\) obeys the boundary conditions \(s_n (\pm a) =0\). Inserting (6.25) into the two-dimensional variational expression (6.1) yields a sequence of one-dimensional expressions. The following proposition relates the associated min-max problems with each other.
Proposition 6.3
Let \(s_n\) as in (6.26) and let \(v_n\), \(\psi _n : (0,b) \rightarrow {{\mathbb {R}}}\) such that \(s_n v_n \in \mathcal{H}_{{\alpha }+ \gamma } (Q)\), \(s_n \psi _n \in \mathcal{H}_{{\alpha }- \gamma } (Q)\) for any \(n \in {{\mathbb {N}}}\). Let, furthermore, \(\mathcal{F}[v, \psi ; G]\), \(C_c\), and \({{{\widetilde{C}}}}_c\) as given in (6.1)–(6.3). Then
Proof
Let us start with the observation that \(\{s_n : n \in {{\mathbb {N}}}\}\) is a complete orthonormal set in \(L^2 ((-a, a))\). We may thus assume for v and \(\psi \) \(L^2\)–expansions in the variable x with coefficients \(v_n (y)\) and \(\psi _n (y)\), respectively:
Inserting (6.29) into \(\mathcal{F}[v, \psi ]\) and performing the x–integration one obtains
with
Fixing v(x, y), that is now fixing \(\{v_n (y) : n \in {{\mathbb {N}}}\}\), and using Cauchy-Schwarz’s inequality in the form
we may estimate:
Inequality (6.31) is in fact an equality as can be seen by a more careful consideration that makes use of an optimal choice of the relative amplitudes of the \(\psi _n\). Let us demonstrate this by just two terms. Replacing \(\psi _2\) by \(\lambda \, \psi _2\) one obtains
as
where w.l.o.g. we may assume \(a_{1} > 0\), \(a_{2} > 0\), \(b_{1} > 0\), \(b_{2} > 0\). Iterating this argument yields (6.31) as equality.
Applying (6.31) as equality to (6.30) yields
On the other hand, let \(\big ((v_n , \psi _n)\big )_{n \in {{\mathbb {N}}}}\) be an optimizing sequence for the right-hand side of (6.32). The sequence \(\big ((s_n v_n , s_n \psi _n)\big )_{n \in {{\mathbb {N}}}}\), when inserted into \(\mathcal{F}[\cdot \, , \cdot ]\), clearly satisfies
and hence demonstrates that
Inequality (6.32) is thus an equality, too. By (6.2) this is the assertion (6.27). With obvious modifications these arguments apply to (6.28) as well.\(\square \)
6.3 A One-Dimensional Analytical Test Case
An especially simple one-dimensional problem is the x-independent case. It allows a direct analytic solution of the min-max problem (see Appendix D). Here we consider the corresponding Euler–Lagrange equations, which allow likewise an analytic solution. This solution is useful to estimate the min-max value and its dependence on the parameters also in the general case and, even more important, it gives the decisive clue how to obtain the sufficient lower bounds in subsection 6.4.
Let us introduce new variables, viz.,
which by (3.12) have the advantage to be both in \(H_0^1\). In the x-independent case system (6.17) then takes the form
A power ansatz of type
is here successful and yields without difficulty 4 linear independent solutions:
where \(\beta _0 \,{:}{=}\, \beta _+ + \beta _- + 1\). Implementing the boundary conditions
yields a homogeneous \(4\times 4\) system in the amplitudes, whose determinant must vanish:
Equation (6.35) determines a unique nonnegative eigenvalue \(\mu _0\), viz.
where in the last line we have set
As can be read off (6.36), \(\mu _0\) depends only on the ratio \(b_0/b_1\), which is in accordance with the scaling property (6.8); \(B\mapsto \mu _0\) is a monotonically increasing function on [0, 1] taking its minimum value \((1 - {{\widetilde{\gamma }}}^2)^{1/2}\) at \(B= 0\), which corresponds to an interval that touches the origin or stretches up to infinity. \({{\widetilde{\gamma }}}\mapsto \mu _0\) is a monotonically decreasing function on \([0, \infty )\) with \(\mu _0 = 1\) at \({{\widetilde{\gamma }}}=0\) in accordance with (6.12). Figure 6 shows curves \(\mu _0\) versus \(\gamma \) for some ratios \(b_0/b_1\); note that \(\gamma > 1 + {\alpha }\) makes sense in the case that \(b_0/b_1 > 0\).
Computing \(w_0\) and \(\chi _0\) explicitly we find up to positive factors and a global sign the unique optimal pair
with the remarkable property that \(w_0\) and \(\chi _0\) conicide in the limit \(B = 0\):
Note, by the way, that the uniqueness of the solution according to (6.24) implies \(C_c = \mu _0 = {{{\widetilde{C}}}}_c\) for the x-independent versions of problems (6.2) and (6.3).
6.4 Lower Bounds on \(C_c\) and \({{{\widetilde{C}}}}_c\)
Lower bounds on \(C_c\) and \({{{\widetilde{C}}}}_c\) are obtained by replacing the maximizing function by a test function leaving us with a pure minimization problem. When using the “symmetrical” variables w and \(\chi \), the test case of the preceeding subsection suggests the kind of test function that yields sharp bounds – at least for large domains. Note, moreover, that differently to min-max values a pure minimum has the advantage to depend monotonically on the domain.
Let us start with rewriting the functional (6.1) in the variables (6.33). The v-related denominator then takes the form
where we made use of the notation \(\beta _\pm \,{:}{=}\, ({\alpha }\pm \gamma )/2\) and \(\delta _\pm \,{:}{=}\, \beta _\pm (\beta _\pm + 1)\). In the last line we applied integration by parts. Similarly, one obtains
and hence,
In view of (6.37) we now replace \(\chi \) by w and obtain thus a lower bound on \(C_c\):
Here, in the last line we made use of the scaling property (6.8). As in subsection 6.2 the two-dimensional variational problem can be reduced to one dimension by expanding w into the complete orthonormal system \(\{s_n (x) : n \in {{\mathbb {N}}}\}\) with \(s_n (x)\) given by (6.26):
Inserting (6.39) into \(\widetilde{\mathcal{D}}^+ [w]\) yields
where we have introduced the variables \(z\,{:}{=}\, k_n y\) and \({{{\widetilde{w}}}}_n (z) \,{:}{=}\, w_n (y)\). An analogous calculation holds for \(\widetilde{\mathcal{D}}^- [w]\), whereas \(\widetilde{\mathcal{N}}[w, w]\) can be further simplified by integration by parts:
with the abbreviation \(\delta _0 \,{:}{=}\, \beta _+ \beta _- + (\beta _+ + \beta _-)/2\). Using the elementary inequality
(6.38) can thus be further estimated as
where the index “\(\infty \)” indicates the interval \((0,\infty )\) of integration. Introducing the ratios
we obtain the final lower bound on \(C_c(A^+_R)\):
with
and
Note that the range of t is restricted by inequality (3.5). The minimization in (6.40) is elementary with minima obtained either at \(s=0\) or \(t=1\) (depending on the parameters \({\alpha }\), \(\gamma \), d, and e). Denoting this lower bound by \(L\!B = L\!B ({\alpha }, \gamma , d,e)\), it obviously holds for \({{{\widetilde{C}}}}_c (A_R^+)\) as well and, moreover, for any \(R> 1\).
According to (5.20), (5.21) this bound has to be compared with the “comparison function”
Figure 7 displays the curves \(\gamma \mapsto L\!B (0.39, \gamma , d, 1.2)\) for \(d=1\) and 0.1 together with \(\gamma \mapsto C\!F(0.39, \gamma )\), where \({\alpha }\) and e have been fixed according to (5.3), (5.4), and (5.18).
The lower bound \(L\!B ({\alpha }, \gamma , d,e)\) with \(e=1.2\) and \(d=1\) (dashed line) or \(d= 0.1\) (solid thin line) together with the comparison function \(C\!F({\alpha }, \gamma )\) (solid thick line) and the exact x-independent curve \(\mu _0 = \big ( 1- (\gamma /(1 + {\alpha }))^2 \big )^{1/2}\) (dotted line). \({\alpha }= 0.39\) has been set throughout
For \(d=1\) the bounding curve lies strictly below the comparison function, for \(d=0.1\), however, a “\(\gamma \)-window”opens up, where the lower bound \(L\!B\) on \(C_c(A_R^+)\) and \({{{\widetilde{C}}}}_c (A_R^+)\) clearly exceeds its comparison values. Further lowering of d does not improve \(L\!B\) in a significant way. Also shown in Fig. 7 is the exact x-independent curve \(\gamma \mapsto \mu _0\) in the limit \(B=0\), which coincides with \(L\!B (0.39, \gamma , 0.1, 1.2)\) up to \(\gamma \approx 0.56\); this is in accordance with the fact that up to this value the minimum in (6.40) is taken at \(s=0\) and
Above \(\gamma \approx 0.56\) the minimum is located at \(t=1\).
To be definite let us fix \(\gamma = 0.6\) and \(d = 0.1\). We then have the proposition:
Proposition 6.4
Let
then inequalities (5.20) and (5.21) are satisfied for any \(R> 1\) and for the quantity \(\Delta \) from (5.22) holds the lower bound
Better lower bounds on \(C_c\), \({{{\widetilde{C}}}}_c\) can be obtained according to Proposition 6.2 by a numerical evaluation of the Euler–Lagrange equations (6.17) (see Appendix E) corroborating on one side the lower bound \(L\!B\) and demonstrating on the other side that \(L\!B\) generally is not sharp.
7 Solution of \(P_\Omega \) in Annuli
This section contains the proof of Theorem 2.1 based on Schauder’s fixed point principle and the general solution of the linearized problem in Section 5.
The next proposition provides a suitable version of Schauder’s theorem (see [5], p. 504, Theorem 4), which is often attributed to [23].
Proposition 7.1
(fixed point principle) Let \(T : \mathcal{B}\rightarrow \mathcal{B}\) be a continuous, compact (or completely continuous) mapping of the Banach space \(\mathcal{B}\) into itself and let the set
be bounded. Then, T has a fixed point \(u_0 \in \mathcal{B}\), that is
In order to find a (nonlinear) mapping T suitable for our purpose let us fix the parameters \({\alpha }\), \(\gamma \), d, and e according to Proposition 6.4 such that conditions (5.11), (6.6), (5.20), and (5.21) are satisfied for any \(R > 1\). Let \(\mathcal{B}\,{:}{=}\, \mathcal{L}_{p, \delta } (A_R^+)\) with
and p and \(\delta \) yet to be fixed. With \(w \in \mathcal{L}_{p, \delta } (A_R^+)\) and
where \(a_\zeta [\cdot ]\) and \(a_\rho [\cdot ]\) are given by (2.26), we solve Equation (5.2) and obtain by Proposition 5.2 a solution \(v \in \mathcal{H}^{(d)}_{{\alpha }+ \gamma } (A_R^+)\) with bound
The last inequality in (7.4) follows by condition (2.32) as in Lemma A.1. Supposing that
we find by (3.22) that
The mapping
is thus well defined and, moreover, continuous and compact.
To see the continuity of T let v and \({{\tilde{v}}}\) be two solutions of Equation (5.2) with (7.3) and
respectively, w and \({{{\widetilde{w}}}}\in \mathcal{L}_{p, \delta }(A_R^+)\), \(\psi \in C_0^\infty (A_R^+)\), and \(\Omega \in \mathcal{H}_{2 + \gamma -{\alpha }} (A_R^+)\). The difference of (5.2) for v and \({{\tilde{v}}}\) reads
or, after some rearrangement,
Using (5.12) on the left-hand side and estimating the right-hand side by Cauchy-Schwarz’s and Hölder’s inequality one obtains
where \(\frac{1}{p} + \frac{1}{q} = \frac{1}{2}\) and \(L\leqq 1\) is some Lipschitz constant for \(\mathbf{a}[\cdot ]\). The critical step is to find a bound on the parantheses in the last line. A bound on \(\Omega \) is easy by (2.32):
A bound on \({{\tilde{v}}}\), however, requires the refined inequality (3.20) for “small q”:
provided that
which means for the parameter set (6.41) that
By (7.4), inequality (7.8) may thus be rewritten as
where \(\breve{C}\) denotes a constant depending on p, \({\alpha }\), \(\gamma \), d, e, and R. By approximation (7.12) holds for any \(\psi \in \mathcal{H}^{(e)}_{{\alpha }- \gamma } (A_R^+)\). In view of (7.12) and (7.5) we choose \(\delta \,{:}{=}\, ({\alpha }+ \gamma )/2\) in (7.6) and find by combination of (3.22), (5.19) with (5.22), and (7.12):
which implies continuity of T in \(\mathcal{L}_{p, ({\alpha }+ \gamma )/2}\, (A_R^+)\).
To see the compactness of T it is sufficient to prove compactness of the embedding (7.6). This, however, is equivalent to the well-known compact emdedding \(H^1_0 (G) \Subset L^p (G)\) for bounded \(G \subset {{\mathbb {R}}}^2\) and \(1 \leqq p < \infty \). In fact, by (3.12) we can conclude that a bounded sequence \((v_n) \subset \mathcal{H}_\beta (A_R^+)\) implies boundedness of the sequence \((v_n\, \rho ^{-\beta /2} ) \subset H_0^1 (A_R^+)\) and convergence of a sequence \((v_m\, \rho ^{- \beta /2} ) \subset L^p (A_R^+)\) is equivalent to convergence of \((v_m) \subset \mathcal{L}_{p, \beta /2}\, (A_R^+)\).
Finally, boundedness of the set (7.1) is immediate by (3.22) and (7.4):
for any \(w \in \mathcal{L}_{p, ({\alpha }+ \gamma )/2}\, (A_R^+)\) and any \(\lambda \in [0,1]\) satisfying \(w = \lambda \, T w\).
The fixed point \(v_0 = w_0\) according to Proposition 7.1 is a solution of Equation (5.2) with
hence \(u_0 \,{:}{=}\, v_0 \rho ^{-{\alpha }}\) is a solution of the (nonlinear) equation (2.31) in \(A_R^+\), and by antisymmetric continuation in \(A_R\).
The bound (2.33) follows by (5.24), (6.41), (6.42), and (7.4). Note that this bound depends (besides the in (6.41) fixed parameters) on K but not on R. This together with Proposition 4.1 concludes the proof of Theorem 2.1.
8 Solution of \(P_\Omega \) in the Exterior Plane
The construction of solutions in the last section heavily depended on estimates that involved the diameter R of the underlying domain, the bound (2.33), however, does not (see the discussion at the very end of the preceeding section). This allows us to construct the solution of problem \(P_\Omega (A_\infty )\) by suitably manipulating a sequence of solutions on \(A_R\) with \(R \rightarrow \infty \), and to prove this way Theorem 2.2.
More precisely let \(\Omega _n\,{:}{=}\, \Omega \big |_{A_n}\) for \(n \in {{\mathbb {N}}}\setminus \{1\}\) and \(\Omega \in L^\infty (A_\infty )\) satisfying the bound (2.32) for some \(K > 0\). By Theorem 2.1 we then have a sequence of solutions \((u_n) \subset H^1_{0 , as} (A_n)\) of the problems \(P_{\Omega _n} (A_n)\), \(n \in {{\mathbb {N}}}\setminus \{1\}\), with bounds
Restricting \(u_n\) onto \(A_{2}\), the sequence \((u_n|_{A_{2}} )_{n \in {{\mathbb {N}}}\setminus \{1\}}\) is bounded by (8.1). There is thus a subsequence \((n^{(1)}) \subset {{\mathbb {N}}}\) such that \(\big (u_{n_i^{(1)}}|_{A_{2}} \big )_{i \in {{\mathbb {N}}}}\) coverges weakly to some \(u^{(1)} \in \mathcal{H}_\beta (A_{2})\) with bound \(\Vert \nabla u^{(1)} \Vert _\beta \leqq \sqrt{C}\). Applying this argument to the sequence \(\big (u_{n_i^{(1)}}|_{A_{3}} \big )_{i \in {{\mathbb {N}}}}\) one obtains a further subsequence \((n^{(2)} ) \subset (n^{(1)})\) such that \(\big (u_{n_i^{(2)}}|_{A_{3}} \big )_{i \in {{\mathbb {N}}}}\) converges weakly to some \(u^{(2)} \in \mathcal{H}_\beta (A_{3})\) with bound \(\Vert \nabla u^{(2)} \Vert _\beta \leqq \sqrt{C}\). Repeating this process one obtains a sequence \(\big ( (n^{(k)})\big )_{k \in {{\mathbb {N}}}}\) of sequences with each element being a subsequence of its predecessor. Let \(n_k^{(k)}\) denote the kth element of the subsequence \((n^{(k)})\) and \((n_k^{(k)})_{k \in {{\mathbb {N}}}} =: n^*\) the diagonal sequence. By construction we have \((n_i^* )_{i \geqq k} \subset (n^{(k)})\) and hence
![](http://media.springernature.com/lw343/springer-static/image/art%3A10.1007%2Fs00205-021-01719-3/MediaObjects/205_2021_1719_Equ164_HTML.png)
with
As \(u^{(k)} |_{A_{1 + l}} = u^{(l)}\) for any \(l \leqq k\), the definition
is unique and yields by (8.3) a function \(\in \mathcal{H}_\beta (A_\infty ) \subset H^1_{loc, as} (A_\infty )\) with bound (2.35).
In order to see that u satisfies Equation (2.31) in \(A_\infty \) recall that by antisymmetry it is enough to satisfy (2.31) in \(A_\infty ^+\). So, let \(\psi \in C_0^\infty (A_\infty ^+)\) and \(l \in {{\mathbb {N}}}\setminus \{1\}\) such that in fact \(\psi \in C_0^\infty (A_l^+)\). For \(u_{n^*_i}\) then holds
Letting \(i \rightarrow \infty \) the passage to u in the first term on the left-hand side of (8.4) is justified by weak convergence. For the other two terms recall that by compactness weak convergence in \(H^1_0 (A_l^+)\) implies strong convergence in \(L^2 (A_l^+)\). Therefore, by the estimate
where L denotes a Lipschitz constant for \(\mathbf{a}[\cdot ]\) and M a bound on \(|\nabla \psi /\rho |\) in \(\mathrm{supp}\, \psi \Subset A_l^+\), the passage to u in the second term on the left-hand side is justified, too, and a similar argument applies to the right-hand side. This together with Proposition 4.2 concludes the proof of Theorem 2.2.
9 Solution of the Signed Direction Problem Without Zeroes on the Symmetry Axis
In this section we prove Theorems 2.3 and 2.4 (with the stated restriction), which contain the solution of the axisymmetric signed direction problem (1.1) in spherical shells and in exterior space, respectively, by applying the results gathered so far and formulated essentially in Theorems 2.1 and 2.2 and the Appendices A and B. This application is straight forward; only to establish continuity of the solution up to the boundary requires some additional considerations.
To apply Theorem 2.1 let \(R > 1\) and let \(\mathbf{D}\) and \({\widehat{\mathbf{D}}}\) be continuous symmetric direction fields with rotation numbers \({r\!o}\) and \({\widehat{r\!o}}\) along the boundaries \(S_1\) and \(S_R\) of the annulus \(A_R\), respectively. Let \({r\!o}\geqq {\widehat{r\!o}}\geqq 2\) and \({r\!o}- {\widehat{r\!o}}\) be an even number (including zero). Let, furthermore, \(\{z_1, \ldots , z_{{r\!o}- {\widehat{r\!o}}}\}\) be a symmetric set of points in \(A_R\), which do not lie on the symmetry axis.Footnote 9 By (A.6) the associated zero-positions angle \(\Psi \) then satisfies condition (2.32). By (2.20) and (2.21), direction fields \(\mathbf{D}\) and \({\widehat{\mathbf{D}}}\), which satisfy the axis condition (2.36) give rise to boundary functions \(\phi \) and \({{\widehat{\phi }}}\), respectively, that satisfy (B.1). By (B.3) the harmonic interpolation \(\Phi \) then satisfies condition (2.32) as well. By Theorem 2.1 we thus obtain a weak solution \(u \in H_{0, as}^1 (A_R)\) of Equation (2.24), which implies a weak solution \(q = u + \Phi \in H_{as}^1 (A_R)\) of Equation (2.19). Given q, the function p is determined by (2.22) up to a constant \(p_0\). In fact, writing (2.22) in Cartesian coordinates in the form
we find by (3.5) the right-hand side in \(L^2 (A_R)\). The integrability condition for (9.1) is just (2.19), which takes the weak form
for any \(\psi \in C_0^\infty (A_R)\). We obtain thus a symmetric function \(p \in H^1 (A_R)\) that solves (2.22) (see, for example, [7], Lemma 1.1, p. 101, and corollary 4.1, p. 53). Inserting h as given by (2.16) and \(g= (p + i q)/2\) into (2.15) then yields a symmetric weak solution \(f \in H^1 (A_R)\) of Equation (2.9) with boundary condition (2.14), which by (2.8) is equivalent to an axisymmetric magnetic field \((B_\rho , B_\zeta )\) satisfying (2.1) almost everywhere in \(A_R\). To obtain higher (interior) regularity let us switch from cylindrical to Cartesian coordinates in \({{\mathbb {R}}}^3\). The field
then satisfies the system
where \(S\! S_R\) denotes the spherical shell \(B_R \setminus \overline{B_1} \subset {{\mathbb {R}}}^3\) corresponding to \(A_R \subset {{\mathbb {R}}}^2\). By the vector analysis identity
where \({\varvec{\psi }}= (\psi _1, \psi _2, \psi _3) \in (C_0^\infty (D))^3\), one finds each component to be a weakly harmonic and hence harmonic function in \(S\! S_R\). \(B_i\) and hence \(B_\zeta \) and \(B_\rho \) are thus smooth functions in their respective domains.
Improved boundary regularity, in particular \(\mathbf{B}\in C(\overline{A_R})\), needs some more subtle arguments, which in part are specific for two dimensions. As to the variable q we rely on a boundary-regularity theorem asserting Hölder continuity of a weak solution up to the boundary provided that the boundary values themselves satisfy a Hölder condition ([17], Theorem 14.1, p. 201f.). For this purpose let us write Equation (2.19) in the form
with bounded \(\mathbf{F}\) on \(A_{R, \varepsilon }^+\):
Here, \(A_{R, \varepsilon }^+ \,{:}{=}\, A_r^+ \cap \{\rho > \varepsilon \}\) denotes that part of \(A_R^+\), which has a distance \(\varepsilon > 0\) to the symmetry axis, and \(S_{1, \varepsilon }^+\) and \(S_{R, \varepsilon }^+\) denote the corresponding curved boundary components (see Fig. 8).
The direction fields \(\mathbf{D}\) and \({\widehat{\mathbf{D}}}\) are now assumed to be of Hölder class \(C^{0,\beta } (S_1)\) and \(C^{0,\beta } (S_R)\), respectively, for some \(0< \beta \leqq 1\), which implies the boundary functions \(\phi \) and \({{\widehat{\phi }}}\) to be of the same class. By \(q - \Phi \in H_0^1 (A_R)\) we thus have
To this situation the boundary-regularity theorem may be applied asserting \(q \in C^{0, {\alpha }} (\overline{A_{R, \varepsilon }^+})\) for some \(0 < {\alpha }\leqq 1\), which depends on \(\varepsilon \), R, \(\Vert q \Vert _0\), and \(\beta \), \(\Vert \phi \Vert _{C^{0, \beta }}\), \(\Vert {{\widehat{\phi }}}\Vert _{C^{0, \beta }}\). This implies, in particular, continuous assumption of the boundary values on \(S^+_{1,\varepsilon } \cup S^+_{R,\varepsilon }\) for any \(\varepsilon >0\), and hence on \(S_1^+ \cup S_R^+\).
This argument does not apply to p since a-priori no boundary values are prescribed for this quantity. However, according to the governing equations for p, Equations (9.1), the variables p and q are complex conjugate variables up to a (in \(A^+_{R, \varepsilon }\)) bounded “perturbation”. Without this perturbation Privaloff’s theorem guarantees uniform Hölder continuity of both variables in a disc if only one variable takes continuously boundary values that are in some Hölder class at the boundary (see [2], p. 279 or [13], Lemma 2.4). In order to take advantage of Privaloff’s theorem the following representation theorem (slightly adapted to our needs) is useful (see [3] or [2], p. 259).
Theorem 9.1
(Bers and Nirenberg) Let \(G \subset B_R \subset {{\mathbb {C}}}\) and let \(w \in H^1 (G)\) be a solution of the equation
with \(\gamma \in L^\infty (G)\). Then w has the representation
where f is complex analytic in G and where \(s_0\) is uniformly Hölder continuous in \(B_R\) and real on \(S_R\).
With
Equations (9.1) are clearly of type (9.2) in \(G\,{:}{=}\, A^+_{R, \varepsilon /2}\); (9.3) then yields, on \(S_{R,\varepsilon }^+\),
\(\mathfrak {I}f\) is thus of class \(C^{0, {\alpha }}\) on \(S^+_{R, \varepsilon }\) and even analytic on (say) \(\partial ({{{\widetilde{A}}}}^+_{R,\varepsilon }) \setminus S^+_{R, \varepsilon }\), where
Applying Privaloff’s theorem on f in the Lipschitz-domainFootnote 10\({{{\widetilde{A}}}}^+_{R, \varepsilon }\) yields \(f \in C^{0, {\alpha }} (\overline{{{{\widetilde{A}}}}^+_{R, \varepsilon }})\), which implies, in particular,
to be Hölder continuous up to the boundary component \(S^+_{R, \varepsilon }\). To see continuity up to the other boundary component \(S^+_{1, \varepsilon }\) let us apply the inversion \(z \mapsto \frac{1}{z}\) to (9.2), which yields an equation of the same type in the inverted half-annulus
with outer boundary \(S_1^-\). The above argument can thus be repeated establishing, finally, continuity of p up to the boundary \(S_1^+ \cup S_R^+\).
Concerning uniqueness let us remind that the number of zeroes is fixed by (2.6) for any solution f of problem \(P_{\mathbf{D}, {\widehat{\mathbf{D}}}}^c (A_R)\). Two solutions \(f_1\) and \(f_2\) with the same boundary direction fields \(\mathbf{D}^c\) and \({\widehat{\mathbf{D}}}^c\) and the same set of zeroes are thus represented by \(u_1 = q_1 - \Phi \) and \(u_2 = q_2 - \Phi \) satisfying (2.25) with the same boundary function \(\Phi \) and zero-positions angle \(\Psi \), and hence the same \(\Omega = \Psi - \Phi \). According to Proposition 4.1 there is \(u_1 = u_2\) and the only nonuniqueness left is due to \(p_0\), which in (9.1) remains free. Therefore, \(f_1\) and \(f_2\) differ by the positive factor \(e^{p_0/2}\). This proves Theorem 2.3 in the case of no zeroes lying on the symmetry axis.
With some obvious modifications all these arguments work in the unbounded case as well: \({\widehat{r\!o}}+ 1\) has to be replaced by the exact decay order \({{\tilde{\delta }}}\), \({\widehat{\mathbf{D}}}\) and \({{\widehat{\phi }}}\) can be discarded, and \(H^1_{as} (A_R)\) is replaced by \(H^1_{loc, as} (A_\infty )\), existence and uniqueness of q then follow from Theorem 2.2 and Proposition 4.2, p is again determined by Equations (9.1), and all the regularity arguments, local in character, apply to the unbounded case as well. This proves Theorem 2.4 (again with the mentioned restriction on the zeroes).
10 Zeroes on the Symmetry Axis
Zeroes on the symmetry axis are so far excluded. Overcoming this restriction by continuous deformation of known solutions is the subject of this section.
Let us start with a lemma on a general invariance property of the rotation number that is tailored to our needs (see, for example, [11], Theorem 3 or [13], Lemma 3.2).
Lemma 10.1
(deformation invariance) Let \(\mathbf{B}_\lambda \) be a continuous vector field on \(\overline{A_R} \times I\), where \(\lambda \) varies in the closed interval I. Let \(\mathbf{B}_\lambda \ne 0\) on \(S_{{{\widetilde{R}}}}\times I\), \(1 \leqq {{{\widetilde{R}}}}\leqq R\), and let \({\widetilde{r\!o}}_\lambda \) be the rotation number of \(\mathbf{B}_\lambda \) along \(S_{{{\widetilde{R}}}}\). Then, \({\widetilde{r\!o}}_\lambda = const =: {\widetilde{r\!o}}\) for any \(\lambda \in I\).
In the case that \(\mathbf{B}_\lambda \) is a harmonic vector field in \(A_R\) or \(A_\infty \), by (2.6) and (2.7) we can draw from Lemma 10.1 some consequences, which in a somewhat lax formulation can be summarized as follows:
(i) In the case that \(\mathbf{B}_\lambda |_{(S_1 \cup S_R) \times I} \ne 0\), zeroes of \(\mathbf{B}_\lambda \) can shift with \(\lambda \), can split or coalesce, but they can never spring up or vanish in \(A_R\).
(ii) If a zero with index \(-n\), \(n \in {{\mathbb {N}}}\), crosses \(S_{{{\widetilde{R}}}}\), \(1< {{{\widetilde{R}}}}< R\), at (say) \(\lambda = \lambda _0\), according to (2.6), \({\widetilde{r\!o}}_\lambda \) jumps at \(\lambda _0\) by \(+n\) in the case of “emigration” and by \(-n\) in the case of “immigration” into \(A_{{{\widetilde{R}}}}\).
(iii) In \(A_\infty \) zeroes can vanish at infinity or originate from infinity at (say) \(\lambda = \lambda _0\); according to (2.7) the exact decay order \({{\tilde{\delta }}}\) increases or decreases at \(\lambda _0\) according to the index of the zero.
(iv) If \({\widetilde{r\!o}}\) is fixed (as is the case in the direction problem for \({r\!o}\) along \(S_1\) and \({\widehat{r\!o}}\) along \(S_R\)), zeroes cannot cross \(S_{{{\widetilde{R}}}}\) (cannot originate or vanish at \(S_1\) or \(S_R\)). However, zeroes can migrate from \(A_R\) onto \(S_1\) (or \(S_R\)), split there and migrate as “border zeroes” along \(S_1\) (or \(S_R\)), and they can coalesce again and reenter into \(A_R\) (see Appendix E for a (two-dimensional) example of this behaviour).
In the following we denote by
the unique solutions of problem \(P_\mathbf{D}(A_\infty )\) according to Theorem 2.4 with rotation number \({r\!o}\), exact decay order \({{\tilde{\delta }}}\), and zeroes \(z_1, \ldots , z_{{r\!o}- {{\tilde{\delta }}}+1}\), which do not lie on the symmetry axis. In particular, let
be three solutions of \(P_\mathbf{D}(A_\infty )\) with \({r\!o}- {{\tilde{\delta }}}-1\) common zeroes indicated by “\(\ldots \)” and, additionally, the simple zeroes z, \({\overline{z}}\) in the first case and \({{\tilde{z}}}\), \({\overline{{\tilde{z}}}}\) in the second case. Let \(\mathbf{B}_{{\varvec{\lambda }}} = \mathbf{B}_{(\lambda , {{\tilde{\lambda }}}, {{{\hat{\lambda }}}})}\) be the linear combination
let, furthermore, \(z_S = \zeta _S\) and \({{\tilde{z}}}_S = {{\tilde{\zeta }}}_S\) be two positions on the symmetry axis in \(A_\infty \), and let \(c_{{{\tilde{\delta }}}- 2}\) and \({{\tilde{c}}}_{{{\tilde{\delta }}}-2}\) be the leading coefficients in the representation (2.5) of \(\mathbf{B}^{{\tilde{\delta }}}\) and \(\widetilde{\mathbf{B}}^{{\tilde{\delta }}}\), respectively.
For \(z \ne {{\tilde{z}}}\) the fields \(\mathbf{B}^{{\tilde{\delta }}}\), \(\widetilde{\mathbf{B}}^{{\tilde{\delta }}}\), and \(\mathbf{B}^{{{\tilde{\delta }}}+ 2}\) are clearly linearly independent and the linear systems (in the variables \(\lambda \), \({{\tilde{\lambda }}}\), \({{{\hat{\lambda }}}}\))
and
have each up to (for the present arbitrary) factors unique solutions \({\varvec{\lambda }}_1\) and \({\varvec{\lambda }}_2\) such that \(\mathbf{B}_{{\varvec{\lambda }}_1}\) has the \({r\!o}- {{\tilde{\delta }}}-1\) common zeroes outside the symmetry axis and the simple zero \(z_S\) on the symmetry axis, and \(\mathbf{B}_{{\varvec{\lambda }}_2}\) has, besides the common zeroes, the simple zeroes \(z_S\) and \({{\tilde{z}}}_S\) on the symmetry axis. Note that by (10.1)\(_b\) \(\mathbf{B}_{{\varvec{\lambda }}_1}\) has the decay order \({{\tilde{\delta }}}+ 1\), and by (10.1)\(_a\) and (2.7) this decay order is exact.
There is one question left open: Do \(\mathbf{B}_{{\varvec{\lambda }}_{1,2}}\) satisfy the boundary condition \(\mathbf{B}_{{\varvec{\lambda }}_{1,2}}|_{S_1} = a_{1,2}\, \mathbf{D}\) for some positive amplitudes \(a_{1,2}\)? A-priori the linear combinations \(\mathbf{B}_{{\varvec{\lambda }}_{1,2}}\) can have additional zeroes on \(S_1\). To refute this presumption let \(\mu \mapsto {\varvec{\lambda }}(\mu )\), \(\mu \in [0,1]\) be a continuous path in \(\lambda \)-space connecting \({\varvec{\lambda }}= (1,0,0)\) with \({\varvec{\lambda }}_1\); \(\mu \mapsto \mathbf{B}_{{\varvec{\lambda }}(\mu )}\) is thus a continuous deformation of \(\mathbf{B}_{{\varvec{\lambda }}(0)} = \mathbf{B}^{{\tilde{\delta }}}[\ldots , z, {\overline{z}}]\) with final state \(\mathbf{B}_{{\varvec{\lambda }}(1)} = \mathbf{B}^{{{\tilde{\delta }}}+1}_{{\varvec{\lambda }}_1} [\ldots , z_S]\). During the deformation the common zeroes remain fixed, whereas z, \({\overline{z}}\) will move. They can possibly enter \(S_1\) and leave again; finally, however, one zero migrates to \(z_S\), whereas the other vanishes at infinity. Additional zeroes cannot emerge, neither from \(S_1\) (see (iv)) nor from infinity (see (iii)Footnote 11). Therefore, \(\mathbf{B}_{{\varvec{\lambda }}_1}|_{S_1} \ne 0\), that is, \(\mathbf{B}_{{\varvec{\lambda }}_1}\) is a signed solution of the direction problem. A similar argument applies to \(\mathbf{B}_{{\varvec{\lambda }}_2}\), which is thus a signed solution of the direction problem, too.
Further zeroes can be shifted to the symmetry axis just by repeating the procedure with solutions, which possess already common zeroes on the symmetry axis. In the case that \({r\!o}- {{\tilde{\delta }}}+1 = \nu \) is even, this way all zeroes can be shifted to arbitrary positions at the symmetry axis. In the case that \({r\!o}- {{\tilde{\delta }}}+ 1 = \nu \) is odd, one simply solves the direction problem with \({{\tilde{\delta }}}- 1\) instead of \({{\tilde{\delta }}}\); we are then again in the even case and solution of the system (10.1) provides us with a field that has an odd number of zeroes on the symmetry axis, an even number \(\geqq 0\) of zeroes outside, and the original exact decay order \({{\tilde{\delta }}}\).
In the case of a bounded domain \(A_R\), solutions of type (10.2) still exist, that is, an even number of zeroes can likewise be shifted to the symmetry axis; (10.1), however, does no longer work: zeroes cannot be expelled from \(A_R\) with its fixed direction fields at the boundaries \(S_1\) and \(S_R\) (see (iv)).
In conclusion, these remarks remove the limitation in Theorems 2.3 and 2.4 we had to impose in Section 9.
11 The Unsigned Direction Problem
This concluding section discusses the unsigned direction problem, its relation to the signed problem, and proves, in particular, Theorem 2.5.
Let us start with recalling some definitions given in Section 2: \(S_\mathbf{D}^{{\tilde{\delta }}}\) means the set of all solutions of the signed direction problem \(P_\mathbf{D}^s (A_\infty )\) with direction field \(\mathbf{D}\) and exact decay order \({{\tilde{\delta }}}\) and \(L_\mathbf{D}^\delta \) means the linear space of all solutions of the unsigned problem \(P_\mathbf{D}^u (A_\infty )\) with decay order \(\delta \). Taking arbitrary linear combinations does clearly not respect the positivity of the amplitude function nor the exact decay order, but it respects the boundary condition up to a (locally varying) sign and the decay order. When taking only positive linear combinations, which defines a cone in \(L_\mathbf{D}^\delta \), positivity of the amplitude and decay order are preserved, exactness of the decay order, however, can get lost. The set \(C_\mathbf{D}^\delta \) of all solutions of \(P_\mathbf{D}^s (A_\infty )\) with decay order \(\delta \) is of this type.
The proof of Theorem 2.5 is based on the following relations between these sets:
Here \({r\!o}\) denotes again the rotation number of \(\mathbf{D}\) and \(\langle S \rangle \) the real linear span of the set S.
(11.1) is obvious by definition and (2.7).
As to (11.2): Let \({r\!o}\geqq \delta -1\). To prove the nontrivial inclusion \(L_\mathbf{D}^\delta \subset \langle C_\mathbf{D}^\delta \rangle \), let \(\mathbf{B}\in L_\mathbf{D}^\delta \) with \(\mathbf{B}|_{S_1} = a\, \mathbf{D}\) and \(a \in C(S_1)\). By Theorem 2.4 we have \(C_\mathbf{D}^\delta \ne \emptyset \). Let \(\widetilde{\mathbf{B}}\in C_\mathbf{D}^\delta \) with \(\widetilde{\mathbf{B}}|_{S_1} = {{\tilde{a}} } \, \mathbf{D}\) and continuous \({{\tilde{a}}} > 0\). Choosing \(\lambda > 0\) such that \(a + \lambda {{\tilde{a}}} > 0\) on \(S_1\), we have
which implies, for \(\mathbf{B}\) the representation,
that is, \(\mathbf{B}\in \langle C_\mathbf{D}^\delta \rangle \).
In the case \(2 \leqq {r\!o}< \delta - 1\) let \(\mathbf{B}\in L_\mathbf{D}^\delta \) and let \(\widetilde{\mathbf{B}}^{{r\!o}+1}\) be the unique solution \(\in S_\mathbf{D}^{{r\!o}+ 1}\). Choose as above \(\lambda > 0\) such that \(a + \lambda {{\tilde{a}}} > 0\) on \(S_1\). Then, by \({r\!o}+ 1 < \delta \) the linear combination
has exact decay order \({r\!o}+ 1\), that is, we find \(\mathbf{B}_\lambda ^{{r\!o}+1} \in S_\mathbf{D}^{{r\!o}+ 1}\) as well. By uniqueness we have \(\mathbf{B}_\lambda ^{{r\!o}+1} = \mu \, \widetilde{\mathbf{B}}^{{r\!o}+ 1}\) for some \(\mu > 0\), which implies \(\mathbf{B}= (\mu - \lambda ) \widetilde{\mathbf{B}}^{{r\!o}+ 1}\). Thus, either \(\mathbf{B}\) has the exact decay order \({r\!o}+ 1\), which contradicts \(\mathbf{B}\in L_\mathbf{D}^\delta \) with \(\delta > {r\!o}+ 1\), or \(\mathbf{B}\equiv 0\), hence \(L_\mathbf{D}^\delta = \{0 \}\).
As to (11.3): Choose arbitrary \(\mathbf{B}^i \in S_\mathbf{D}^i\), \(i= \delta , \ldots , {r\!o}+1\); then, the set \(S\,{:}{=}\, \{\mathbf{B}^i : \delta \leqq i \leqq {r\!o}+1 \}\) is linearly independent as the \(\mathbf{B}^i\) differ pairwise by their asymptotic terms in the representation (2.5). Defining
the set \({{{\widetilde{S}}}}\,{:}{=}\, \{\widetilde{\mathbf{B}}^i : \delta \leqq i \leqq {r\!o}+1 \}\) is likewise linearly independent and, moreover, we have \({{{\widetilde{S}}}} \subset S_\mathbf{D}^\delta \). To prove (11.3) we show that any \(\mathbf{B}^{{\tilde{\delta }}}\in S_\mathbf{D}^{{\tilde{\delta }}}\) for any \(\delta \leqq {{\tilde{\delta }}}\leqq {r\!o}+ 1\) has a representation in \({{{\widetilde{S}}}}\):
As \(\mathbf{B}^{{\tilde{\delta }}}\) has exact decay order \({{\tilde{\delta }}}\) and precisely \({r\!o}-{{\tilde{\delta }}}+1\) zeroes, say \(z_1, \ldots , z_{{r\!o}- {{\tilde{\delta }}}+1}\), the \(\lambda _i\) have to satisfy the following linear system of equations:
Here \({{\tilde{c}}}_{i, n}\) is the coefficient \(c_n\) in the representation (2.5) of \(\widetilde{\mathbf{B}}_i^\delta \). These \(({r\!o}- {{\tilde{\delta }}}+ 1) + ({{\tilde{\delta }}}- \delta ) = {r\!o}- \delta + 1\) equations for \({r\!o}- \delta + 2\) unknowns have always a nontrivial solution, say \(\{ \mu _i : \delta \leqq i \leqq {r\!o}+1\}\). Let
If \(\widehat{\mathbf{B}}^{{\tilde{\delta }}}|_{S_1} \ne 0\) either \(\widehat{\mathbf{B}}^{{\tilde{\delta }}}\) or \(-\widehat{\mathbf{B}}^{{\tilde{\delta }}}\) belongs to \(S_\mathbf{D}^{{\tilde{\delta }}}\) and has, moreover, the same zeroes as \(\mathbf{B}^{{\tilde{\delta }}}\). By uniqueness we thus have \(\mathbf{B}^\delta = \mu \, \widehat{\mathbf{B}}^{{\tilde{\delta }}}\) with \(\mu \ne 0\), that is, (11.5) holds. If \(\widehat{\mathbf{B}}^{{\tilde{\delta }}}\) has zeroes on \(S_1\) consider
with \(\lambda > 0\) such that \(\breve{\mathbf{B}}^{{\tilde{\delta }}}|_{S_1} \ne 0\), that is, \(\breve{\mathbf{B}}^{{\tilde{\delta }}}\in S_\mathbf{D}^{{\tilde{\delta }}}\). Again by uniqueness we find
with \(\mu > 0\) and hence \(1 - \mu \lambda \ne 0\), that is, (11.5) holds again.
As to (11.4): This is an immediate consequence of the preceeding arguments: the set \({{{\widetilde{S}}}}\) is linearly independent by construction and generates \(S_\mathbf{D}^\delta \) according to (11.5). \({{{\widetilde{S}}}}\) with its \({r\!o}-\delta + 2\) elements is thus a basis of \(S_\mathbf{D}^\delta \).
The proof of Theorem 2.5 now follows by (11.1)–(11.4) and the following concluding remark.
Remark
In the “trivial case” \(\delta > {r\!o}+1\), the condition \({r\!o}\geqq 2\) as stated in (11.2)\(_2\) is not necessary; the argument given there, however, must be altered. Equation (2.7) holds in fact for any \({r\!o}\in {{\mathbb {Z}}}\), which implies immediately \(S_\mathbf{D}^\delta = \emptyset \). To prove \(L_\mathbf{D}^\delta = \emptyset \) assume \(0 \not \equiv \mathbf{B}\in L_\mathbf{D}^\delta \), which then has necessarily zeroes on \(S_1\). Let \(\varepsilon >0\) such that \(\mathbf{B}\ne 0\) on \(\overline{B_{1 + \varepsilon }} \setminus \overline{B_1}\) and compare \({r\!o}\) with the rotation number \({r\!o}_\varepsilon \) of \(\mathbf{B}\) along \(S_{1+ \varepsilon }\). For \(\varepsilon \rightarrow 0\), \({r\!o}_\varepsilon \) remains constant; however, it will differ from \({r\!o}\) by \(-\frac{1}{2} \times \!\) number of sign reversals of \(\mathbf{B}\) along \(S_1\) (for an illustration see Fig. 14). Thus, \({r\!o}_\varepsilon < {r\!o}\) and applying (2.7) on \(\mathbf{B}\) in \({{\mathbb {R}}}^2\setminus B_{1+ \varepsilon }\) yields a contradiction. The assumption \(\mathbf{B}\not \equiv 0\) has thus to be dismissed.
Notes
Sometimes, if the distinction between “signed” and “unsigned” direction problem is to be stressed, we use the notation \(P_{\mathbf{D}} = P_{\mathbf{D}}^s\) as opposed to \(P_{\mathbf{D}}^u\).
Exact decay orders are often denoted by \({{\tilde{\delta }}}\) as opposed to \(\delta \) for decay orders in general.
Henceforth we skip the upper index 1 at S indicating the dimension of the “sphere”.
Note that the definitions of \(D_c\) here and in Ref. [13] differ by complex conjugation.
The tilde denotes, again, dependence on polar coordinates: \({{\tilde{q}}}(r, \varphi ) \,{:}{=}\, q(r \cos \varphi , r \sin \varphi )\).
Hölder continuity of u, q, and p is shown in Section 9.
To simplify the notation we sometimes omit the upper index c, which means that \(c> 0\), or omit the indication of G if the underlying domain is clear from the context.
Note that the proof of Proposition 3.1 works as well for functions \(f: (0, R) \rightarrow {{\mathbb {R}}}\) without zero-boundary-condition at R.
In the case \({r\!o}- {\widehat{r\!o}}= 0\) the set is empty.
By a conformal transformation with Lipschitz-continuous extension on the boundary, \({{{\widetilde{A}}}}^+_{R, \varepsilon }\) is equivalent to a disc.
Observe that by construction the decay order of \(\mathbf{B}_{{\varvec{\lambda }}(\mu )}\) cannot fall below \({{\tilde{\delta }}}\).
Recall that tilde denotes dependence on polar coordinates: \({{\widetilde{\Psi }}}(r, \varphi ) \,{:}{=}\, \Psi (r \cos \varphi , r \sin \varphi )\).
Recall that tilde denotes dependence on polar coordinates: \({{\widetilde{\Phi }}}(r, \varphi ) \,{:}{=}\, \Phi (r \cos \varphi , r \sin \varphi )\).
In the case that \(B=0\), \({{\widetilde{\gamma }}}< 1\) is assumed.
The two-dimensional field mimics an axisymmetric field in three dimensions, where polynomial solutions of type (F.2) are not at our disposal.
References
Axler, S., Bourdon, P., Ramey, W.: Harmonic Function Theory. Springer, New York, 1992
Bers, L., John, F., Schechter, M.: Partial Differential Equations. Interscience Publishers, New York, 1964
Bers, L., Nirenberg, L.: On a representation theorem for linear elliptic systems with discontinuous coefficients and its applications. Atti del convegno internazionale sulle equazioni alle derivate parzialli, pp. 111–140, Trieste, 1954
Courant, R., Hilbert, D.: Methods of Mathematical Physics, vol. I. Interscience, New York, 1953
Evans, L. C.: Partial Differential Equations. volume 19 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998
Folland, G.B.: Introduction To Partial Differential Equations. Princeton University Press, Princeton, N.Y., 1995
Galdi, G. P.: An Introduction to the Mathematical Theory of the Navier–Stokes Equations Vol. I. Linearized Steady Problems. Springer Tracts in Natural Philosophy Vol. 38, Springer-Verlag, Berlin, Heidelberg, New York, 1994
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, 2nd edn. Springer, Berlin, Heidelberg, New York, 1998
Gubbins, D., Herrero-Bervera, E. (Eds.), Encyclopedia of geomagnetism and paleomagnetism, p. 466f and p. 679f. Springer, Berlin, Heidelberg, New York, 2007
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge, 1973
Heinz, E.: An elementary analytic theory of the degree of mapping in \(n\)-dimensional space. J. Math. Mech. 8, 231–247, 1959
Hulot, G., Khokhlov, A., Le Mouël, J.L.: Uniqueness of mainly dipolar magnetic fields recovered from directional data. Geophys. J. Int. 129, 347–354, 1997
Kaiser, R.: The geomagnetic direction problem: the two-dimensional and the three-dimensional axisymmetric cases. SIAM J. Math. Anal. 42, 701–728, 2010
Kaiser, R.: Uniqueness and non-uniqueness in the non-axisymmetric direction problem. Q. Jl. Mech. Appl. Math. 65, 347–360, 2012
Kaiser, R., Neudert, M.: A non-standard boundary value problem related to geomagnetism. Q. Appl. Math. 62, 423–457, 2004
Kato, T.: Perturbation Theory for Linear Operators, 2nd edn. Springer, Berlin, Heidelberg, New York, 1976
Ladyzhenskaya, O.A., Ural’tseva, N.N.: Linear and Quasilinear Elliptic Equations. Academic Press, New York, London, 1968
Lieberman, G.M.: Oblique Derivative Problems for Elliptic Equations. World Scientific, Singapore, 2013
Martensen, E.: Potentialtheorie. Teubner-Verlag, Stuttgart, 1968
Merrill, R.T., McElhinny, M.W.: The Earth’s Magnetic Field (Its History, Origin and Planetary Perspective). Academic Press, London, 1983
Paneah, B.P.: The Oblique Derivative Problem. The Poincaré Problem. Mathematical Topics, vol. 17. Wiley-VCH-Verlag, Berlin, 2000
Proctor, M.R.E., Gubbins, D.: Analysis of geomagnetic directional data. Geophys. J. Int. 100, 69–77, 1990
Schaefer, H.: Über die Methode der a priori Schranken. Math. Ann. 129, 415–416, 1955
Acknowledgements
The authors would like to thank A. Tilgner for substantial help in preparing the numerical code for the computations in Appendix E.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P. Rabinowitz.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
The Zero-Positions Angle \(\Psi \)
Let us write the analytic function (2.16) in the form
with points \(\{z_1, \ldots , z_N\} \subset A_\infty ^+\), which satisfy, in particular, \(\mathfrak {I}z_n = \rho _n > 0\). Decomposing \({\overline{h}}/h\) into real and imaginary parts one obtains
with
We now define
where \(\arctan \) means the principal branch of the inverse \(\tan \) function with \(\arctan 0 = 0\). This definition resolves the ambiguity in the choice of \(\Psi \) and fixes the discontinuities of \(\Psi \) at the zeroes of v. Let us illustrate this by the special case \(h_0 = z^{-{r\!o}}\). With \(z = r e^{i \varphi }\) one obtains
and hence,
\({{\widetilde{\Psi }}}_0\) jumps by \(\pi \) along all rays with angles \(\varphi _\nu = \frac{\pi }{4 {r\!o}} \, (1 + 2 \nu )\), where \(\nu \) is an integer and \(\varphi _\nu \in (-\pi , \pi )\) (see Fig. 9).Footnote 12
Moreover, by the reflection symmetry \({{\widetilde{\Psi }}}_0 (\cdot , \pi - \varphi ) = - {{\widetilde{\Psi }}}_0(\cdot , \varphi )\) and the estimate \(\varphi \leqq \frac{\pi }{2} \sin \varphi \) on \([0, \pi /2]\), one finds the estimate
According to the following lemma inequality (A.5) (and some consequences) hold for general \(\Psi \).
Lemma A.1
Let \(\Psi \) as given by (A.1)–(A.4). Then the following inequalities hold:
for some \(K> 0\).
Proof
Inequality (A.7) is an immediate consequence of (A.6):
and (A.8) follows by integration:
Here we made use of \(\sin \varphi \geqq 2 \varphi /\pi \) on \([0, \pi /2]\).
It remains to prove (A.6). For this purpose we decompose \(A_\infty ^+\) into wedge-type components \(A_1 \cup A_2 \cup A_3\) with
(see Fig. 10).
Here \({{{\widetilde{R}}}}\) (and \(\varepsilon \)) are chosen such that
where C(N) is some combinatorial constant that appears in inequality (A.12). Note that by (A.3) \(v(\zeta , \rho )\) and \(w(\zeta , \rho )\) are real analytic functions in a neighbourhood of the symmetry axis \(\{\rho = 0\}\) with \(v(\cdot , 0) = 1\) and \(w(\cdot , 0) =0\). \(\varphi _0\) can thus be chosen such that \(v \geqq 1/2\) and \(|w| \leqq c\, \rho \) in \(A_2\) for some \(c > 0\). Moreover, it is assumed that
Under these conditions, inequality (A.6) then holds trivially in \(A_1 \cup A_2\):
For \(A_3\) we need a more careful consideration. Let
By \(z = r e^{i \varphi }\), \(z_n = r_n\, e^{i \varphi _n}\), \(g_n\) may be expressed as
which allows, by (A.9), the estimate
By (A.11) and the abbreviation \(8 \varepsilon /(1 - 3 \varepsilon ) =: \eta \) it follows for \(g_N \,{:}{=}\, \prod _{ n =1}^N g_n\):
and, furthermore,
Expressing now w/v by \(g_N\), using at that (A.1) and (A.3), one obtains
Combining (A.4), (A.13), and (A.14) yields, finally, the desired estimate for \(\Psi \) in \(A_3\):
where in the last estimate we made use of (A.10).\(\square \)
Harmonic Interpolation of the Boundary Data
The solution of the Dirichlet problem in bounded domains with regular boundary for continuous boundary data is a standard problem (see, for example, [8], p. 26). The only not quite standard issue is antisymmetry and some estimates related to it. We summarize useful properties in the following proposition:
Proposition B.1
Let \(\phi \) and \({{\widehat{\phi }}}: [-\pi , \pi ] \rightarrow {{\mathbb {R}}}\) be continuous, antisymmetric functions with \(\phi (-\pi ) = \phi (\pi )\) and axis condition
and analogously for \({{\widehat{\phi }}}\). Then there is a unique antisymmetric solution \(\Phi \in C^2 (A_R) \cap C(\overline{A_R})\) of the Dirichlet problem
which, moreover, satisfies the estimates
for some \(K> 0\), which does not depend on R.Footnote 13
Proof
Let \(\Phi ^+\) be the unique solution of the Dirichlet problem
in the half-annulus \(A_R^+ \,{:}{=}\, A_R \cap \{\rho > 0\}\) with continuous boundary data on the regular boundary \(\partial A_R^+\). By antisymmetric continuation onto \(A_R\) one obtains a function that is harmonic in \(A_R^+ \cup A_R^-\) and, by means of the mean-value characterization of harmonic functions, in fact in \(A_R\). This is the asserted antisymmetric solution of (B.2).
The bound (B.3) holds by (B.1) on the boundaries \(S_1\) and \(S_R\) with some constant \(K> 0\). To extend this bound onto \(A_R\) consider the comparison function
which satisfies the Dirichlet problem
Applying the maximum principle to \({{\widetilde{\Phi }}}^+ \mp {\overline{\Phi }}^+\) then yields
which is (B.3). (B.4) and (B.5) follow from (B.3) as in Appendix A.\(\square \)
Analogous results hold in the unbounded case, which by Kelvin’s transformation (see, for example, [1], p. 54f) can be reduced to a bounded problem.
Proposition B.2
Let \(\phi : [-\pi , \pi ] \rightarrow {{\mathbb {R}}}\) be a continuous, antisymmetric function with \(\phi (-\pi ) = \phi (\pi )\) and axis condition (B.1). Then there is a unique antisymmetric solution \(\Phi \in C^2 (A_\infty ) \cap C(\overline{A_\infty })\) of the exterior Dirichlet problem
which, moreover, satisfies the estimates (B.3)–(B.5) (with \(A_R\) replaced by \(A_\infty \)) for some \(K>0\).
Proof
The most simple way to obtain a solution of the asserted kind is to solve again a bounded problem, viz.,
to continue the solution \(\Phi '^+\) antisymmetrically onto \(B_1\), and to reflect \(\Phi '\) by Kelvin’s transformation into \(A_\infty \). The estimates (B.3)– (B.5) are proved as in the bounded case, where \(\overline{\Phi }'^+ \,{:}{=}\, (K/r) \sin \varphi \) is a suitable comparison function in \(A_\infty ^+\).\(\square \)
Proof of the Generalized Lax–Milgram Criterion
The proof of Proposition 5.1 is an exercise in standard functional analysis and is given here for completeness.
Fixing some \(u \in \mathcal{B}\) in the bilinear form \(B(\cdot , \cdot )\) yields a linear form on \({\widetilde{\mathcal{B}}}\). The mapping
is thus well defined with Au acting on \({\widetilde{\mathcal{B}}}\) according to
This mapping is bounded by (C.1), (5.6), and (5.5):
and injective by (5.7):
The range \(A(\mathcal{B})\) of A is thus a closed set.
In order to prove \(A(\mathcal{B}) = {\widetilde{\mathcal{B}}}'\) let us assume \(A(\mathcal{B}) \subsetneqq {\widetilde{\mathcal{B}}}'\). According to a well-known consequence of Hahn-Banach’s principle there is a nontrivial functional \(F_0 \in ({\widetilde{\mathcal{B}}}')'\) vanishing on \(A(\mathcal{B})\) (see, for example, [16], p. 135). By reflexivity of \({\widetilde{\mathcal{B}}}\), \(F_0\) is associated to some \({{\tilde{u}}}_0 \in {\widetilde{\mathcal{B}}}\) such that
By \(\Vert F_0 \Vert _{{\widetilde{\mathcal{B}}}''} \ne 0\) and (C.3), we find for \({{\tilde{u}}}_0\):
On the other hand, by \(F_0\big |_{A(\mathcal{B})} = 0\) and (C.1) we have for any \(u \in \mathcal{B}\):
and hence, by (5.8),
which contradicts (C.4).
\(A: \mathcal{B}\rightarrow {\widetilde{\mathcal{B}}}'\) is thus an isomorphism, which guarantees the unique solvability of the equation
which by (C.1) is equivalent to Equation (5.9). Finally, the estimate (5.10) follows from (C.2).\(\square \)
The x-independent min-max problem
We give here a direct (that is without use of Euler–Lagrange techniques) solution of the min-max problem (6.1), (6.2) corroborating the result (6.36).
In the x-independent case problem (6.1), (6.2) in the interval \((b_0, b_1)\) reads
with
and
(D.2) may be simplified by the substitution \((y/b_1)^{1 + {\alpha }} =: z\); \(\mathcal{F}_0\) then takes the form
with \({{\widetilde{\gamma }}}\,{:}{=}\, \gamma /(1 + {\alpha })\) and \(B\,{:}{=}\, (b_0 /b_1)^{1 + {\alpha }}\), and prime denoting derivation with respect to z.
To determine the maximizing \(\psi \) for given v let us estimate the numerator in (D.4) in the form
where we made use of the boundary conditions on \(\psi \). The maximum is reached if (D.5) is an equality, that is
with some \(\lambda \in {{\mathbb {R}}}\). Given v with \(z^{- {{\widetilde{\gamma }}}/2} \, v \in H_0^1 ((B, 1))\), which corresponds to (D.3)\(_a\), the choice
is admissible, that is \(z^{ {{\widetilde{\gamma }}}/2} \, \psi [v] \in H_0^1 ((B, 1))\).Footnote 14 Inserting (D.6) into (D.5) yields
and hence,
Similarly, using the boundary conditions on v, we can estimate
Choosing \(C \,{:}{=}\, (1 - B)(1 + {{\widetilde{\gamma }}})/(1 - B^{1 - {{\widetilde{\gamma }}}})\), (D.8) implies
and the admissible function
demonstrates that inequality (D.9) is in fact an equality. Combining (D.1), (D.7), and (D.9) we thus obtain
which is (6.36).
Numerical Solution of the Euler–Lagrange Equations Associated to the Min-Max Problem
In subsection 6.2 the product ansatz (6.25), (6.26) in the rectangular domain Q allowed the reduction of the two-dimensional min-max problem to a sequence of one-dimensional problems labeled by the index \(n \in {{\mathbb {N}}}\). The corresponding one-dimensional Euler–Lagrange equations are obtained by inserting (6.25) into (6.17). Moreover, using the symmmetric variables w and \(\chi \) as given by (6.33), one obtains the following second-order system of ordinary differential equations on the interval (0, b):
together with the boundary conditions
and eigenvalue \(\mu _n\).
For a numerical treatment of system (E.1) two more transformations are appropriate. Introducing the variable \(z\,{:}{=}\, k_n y\) yields the system
where we omitted the index n at \(\chi \), w, and \(\mu \) and where prime denotes differentiation with respect to the variable \(z \in [0, k_n b]\). Note that the parameters a, b, and n are now combined into the single parameter
which limits the interval \([0, {{\tilde{b}}}]\) of integration in (E.3). Finally, the change of variables \(f_\pm \,{:}{=}\, w \pm \chi \) separates the highest (\(\triangleq \) second) derivatives; in these variables (E.3) takes the form
Equations (E.4), together with the boundary conditions
are solved in the interval \([b_0, {{\tilde{b}}}]\) by a shooting method. To this end, trajectories are calculated starting from both ends of the interval towards the center for a given value of \(\mu \). The integration is done with the standard Runge-Kutta-Fehlberg method, consisting of a fourth-order Runge-Kutta solver with fifth-order error prediction to control the stepsize. The matching of the trajectories at the center of the interval amounts to the vanishing of a \(4\times 4\) determinant computed from the trajectories at the center. The search for zeroes of this determinant depending on \(\mu \) is done by an interval method with respect to \(\mu \): we scan systematically the interval \([\varepsilon , 1]\) for subintervals exhibiting a sign change at the endpoints and refine in the positive case the subinterval subsequently. In order not to miss higher-order zeroes we looked, additionally, for minima of the modulus of the determinant. These zeroes correspond to the eigenvalues of \(\mu \) and, in particular, the lowest one corresponds to \(\mu _\text {min}\).
To validate the numerical code let us first consider the x-independent case as described by Equations (6.34). These can be obtained from (E.4) just by dropping the coefficients \(1 \mp \frac{\mu }{2} (d^2 + e^2)\) and \(\frac{\mu }{2} (d^2- e^2)\). Figure 11 demonstrates good agreement of this way numerically determined points in a \(\gamma \)–\(\mu _0\)–diagram with curves \(\gamma \mapsto \mu _0\) as described by the analytical result (6.36) for \({\alpha }= 0.39\) and three representative ratios \(b_0 /b_1\). For all three ratios the deviation of the numerical data from the analytical curve is beyond the resolution of the plot.
The full equations (E.4) with boundary conditions (E.5) have been run with \({\alpha }= 0.39\), \(e =1.2\), and a variety of values for d, \(b_0\), and \({{\tilde{b}}}\). With respect to \({{\tilde{b}}}\) we find \(\mu _\text {min}\) to be a monotonically decreasing function. Figure 12 displays results in a \(\gamma \)–\(\mu _\text {min}\)–diagram for \(d= 0.1\), \(b_0= 10^{-3}\), and \({{\tilde{b}}}= 10^2\) together with the comparison function \(C\!F(0.39, \gamma )\) and the lower bound \(L\!B (0.39, \gamma , 0.1, 1.2)\). For \(\gamma \gtrsim 0.6\), \(\mu _\text {min}\) is above \(L\!B\), which means an improvement of the lower bound \(L\!B\).
Further decreasing \(b_0\) or increasing \({{\tilde{b}}}\) does not lower \(\mu _\text {min}\) in a significant way, which indicates that \((10^{-3}, 10^2)\) is a sufficient approximation of the interval \((0, \infty )\). For \(0.5 \lesssim \mu _\text {min} \lesssim 0.6\), \(\mu _\text {min}\) and \(L\!B\) coincide within numerical accuracy. No results are shown for \(\gamma \) below 0.5 because of numerical instability of our code in this range (a problem that we did not further pursue).
Let us finally recall that in the case that \(\mu _\text {min}\) is unique, which holds in the x-independent case but has not been proven in the general case, \(\mu _\text {min}\) represents the (in the limits of numerical accuracy) exact value \(C_c = {{{\widetilde{C}}}}_c\) of the min-max problem.
An Analytic Solution with Single Zero in Two Dimensions
This appendix presents the explicit solution of the direction problem for a simple direction field in two dimensions.Footnote 15 The solution contains a single zero, whose position is governed by a parameter \(\lambda \). The example illustrates the migration of this position with \(\lambda \) and, in particular, the splitting of the zero when hitting the boundary.
The two-dimensional direction field (F.1) with rotation number \({r\!o}= 3\)
Let \((r, \phi )\) be polar coordinates in \({{\mathbb {R}}}^2\) with basis vectors \(\mathbf{e}_r\) and \(\mathbf{e}_\varphi \), and \(A_\infty \) the exterior plane with boundary \(S_1\). Furthermore, let
be a (symmetric) direction field on \(S_1\) (see Fig. 13) and
a vector field on \(A_\infty \).
An elementary calculation shows that
and
\(\widetilde{\mathbf{B}}_\lambda \) is thus a harmonic vector field in \(A_\infty \) that solves the (unsigned) direction problem.
Let us consider the parameter range \(\lambda \in (-1, 1)\) , where \(\widetilde{\mathbf{B}}_\lambda \) has the exact decay order \({{\tilde{\delta }}}= 2\). As long as \(a_\lambda \ne 0\) the 2D-analogue of Equation (2.7) predicts \({r\!o}-{{\tilde{\delta }}}= 3-2 =1\) zero of \(\widetilde{\mathbf{B}}_\lambda \) in \(A_\infty \), where \({r\!o}\) is the rotation number of \(\mathbf{D}\) (see [13]). From (F.2), one obtains, explicitly, for \(z_0 = x_0 + i y_0 = r_0 (\cos \varphi _0 + i \sin \varphi _0)\), that
where \(\mu \,{:}{=}\, 3 \lambda /(2 - 2 \lambda ^2)\). With \(\lambda \) running through the interval \([-1, 1]\) from 1 to \(-1\) one finds the following behaviour of \(z_0\) (see Fig. 14): \(z_0\) moves from \(+ \infty \) (\(\lambda = 1\)) along the x-axis, hits the boundary at \(x =1\) (\(\lambda = 1/2\)), splits into two “boundary-zeroes”, which move symmetrically along \(S_1\) and coalesce again at \(x =-1\) (\(\lambda = -1/2\)); for \(\lambda < -1/2\), \(z_0\) enters again \(A_\infty \) and moves along the negative x-axis up to \(- \infty \) (\(\lambda = -1\)).
Note that Equation (2.7) remains valid in the presence of boundary-zeroes, if these are included on the left-hand side, however weighted by a factor 1/2.
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
Kaiser, R., Ramming, T. Axisymmetric Solutions in the Geomagnetic Direction Problem. Arch Rational Mech Anal 243, 329–399 (2022). https://doi.org/10.1007/s00205-021-01719-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-021-01719-3