Abstract
In this work, we study the solvability of a boundary value problem for the magneto-hydrostatic equations originally proposed by Grad and Rubin (Proceedings of the 2nd UN conference on the peaceful uses of atomic energy. IAEA, Geneva, 1958). The proof relies on a fixed point argument which combines the so-called current transport method together with Hölder estimates for a class of non-convolution singular integral operators. The same method allows to solve an analogous boundary value problem for the steady incompressible Euler equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and prior results
In this paper we consider some boundary value problem for the two dimensional magneto-hydrostatic equation (MHS) given by
where B denotes the magnetic field, \(j=\nabla \times B\) the current density and p the fluid pressure on a suitable two dimensional manifold \(\Omega \). The MHS equations are a particular case of the ideal steady magneto-hydrodynamics equations with trivial fluid flow \(v=0\). Magneto-hydrostatics is relevant in a wide variety of problems in astrophysical plasmas describing coronal field structures and stellar winds as well as in the study of plasma confinement fusion, (cf. [11, 12, 20]). Using the vector identity \(j\times B=(\nabla \times B)\times B=B\cdot \nabla B-\frac{1}{2}\nabla (|B|^2)\) and defining the magnetic pressure or total pressure \(p_{m}=p+\frac{1}{2}|B|^2\), equations (1) recast into
Using the appropriate identification of variables, equations (2) are equivalent to the well-known equations of steady incompressible Euler equations, namely,
where \(v:\Omega \rightarrow {\mathbb {R}}^2\) is the velocity fluid vector field and \(p:\Omega \rightarrow {\mathbb {R}}\) denotes the fluid pressure. Indeed, a quick inspections shows that (2) is equivalent to (3) using the transformations of variables \(v\leftrightarrow B\) and \(-p\leftrightarrow p_{m}\).
In this paper we are interested in studying some specific boundary value problems for (1) where information about the magnetic field B is given in different parts of the boundaries. Hereafter we will describe in detail the boundary value conditions into consideration for the case of the MHS equations (1). Since from the mathematical point of view systems (2) and (3) are identical, a similar analysis and results can be shown for the steady Euler equations (3). Nevertheless a specific boundary value problem for one of the equations might not be physically relevant for the other and vice-versa.
Let \(\Omega \) be a two dimensional orientable manifold with smooth boundary \(\partial \Omega \). We will denote by n the outer normal to the boundary and assume that the normal component of the magnetic field \(B\cdot n\) is given. We now decompose the boundary \(\partial \Omega =\partial \Omega _{+}\cup \partial \Omega _{-}\) where
The boundary problem which we treat in this paper consists in prescribing in addition to the normal component \(B\cdot n\) on \(\partial \Omega \), the tangential component \(B\cdot \tau \) in one part of the boundary, namely on \(\partial \Omega _{-}\). Here and in the following we denote by \(\tau \) a unit vector tangent to the boundary. This boundary value problem was introduced in the seminal paper of Grad and Rubin [13]. To the best of our knowledge, the well-posedness of this boundary value problem remains open even in the two-dimensional case. Furthermore, in [13] the authors also suggested different boundary value problems for the MHS equations in two dimensional and three dimensional cases. A relevant feature of the solutions constructed in this article is that the current j is different from zero for generic choices of the boundary values. For the construction of zero current density solutions, i.e. \(j=0\), it is well-known that system (1) reduces to the study of the Laplace equation where the theory of harmonic functions can be applied to study the existence of solutions.
In this work, we will restrict ourselves to a very particular geometric setting, namely we will assume that
with \(L>0.\) The reason to choose this manifold is the following: for \(\Omega \) as in (4) we can choose the values of \(B\cdot n\) in such a way that \(\partial \Omega _{+}\cap \partial \Omega _{-}=\emptyset \) and in particular we can guarantee that \(B\cdot n\ne 0\) at all points \(\varvec{x}\in \partial \Omega \). As it has been discussed in [2] at the points of the set \(\partial \Omega _{+}\cap \partial \Omega _{-}\) some singular behaviour for B arise for generic domains \(\Omega \). In order to avoid the technical difficulties that should be considered in that situation, we will just work on the particular manifold (4).
It is worth to notice that several boundary value problems for the steady Euler or MHS equations have been considered in the literature [1, 2, 4, 5, 17, 23, 24]. We refer the interested reader to [2] for a thorough description of the currently available results considering the well-posedness of the different boundary value problems for the steady Euler or MHS equations.
In order to solve boundary value problems for both equations, two main methods have been considered in the literature: the Grad–Shafranov method [14, 22] and the vorticity transport method introduced by Alber [1]. The former is restricted to two dimensional settings or to problems with particular symmetries, for instance axisymmetric or toroidal symmetries. The main idea behind the Grad–Shafranov method relies on reducing the steady Euler or the MHS equations to an elliptic equation where large number of techniques are available. See for instance, [6,7,8, 15] for ideas closely related to the Grad–Shafranov approach that have been recently applied to derive properties solutions of the steady Euler equation and MHS equation. The question of controllability for the full magneto hydrodynamics equations (MHD) in the two dimensional setting has been recently addressed in [16].
A different approach to obtain solutions with non-vanishing vorticity (since it was originally applied for the steady Euler equation) was introduced by Alber [1]. Roughly speaking, he constructed solutions where the velocity field v can be split into \(v=v_0+V\) where \(v_0\) is an irrotational solution to (3) and V a small perturbation. The boundary value problem for the Euler equations is reduced to a fixed point problem for a function V combining the fact that the vorticity satisfies a suitable transport equation and that the velocity can be recovered from the vorticity using the Biot-Savart law. This idea will be discussed later in more detail. In particular, we will explain why Alber’s method cannot be directly applied to solve the boundary value problem we are interested in and more importantly what are the new key tools we implement to address the problem.
1.1 Notation
We will use the following notation throughout the manuscript.
-
We recall that we are working on a manifold with boundary \(\Omega = {\mathbb {S}}^1\times [0,L]\) with \(L>0\). The boundary of the manifold \(\Omega \), will be denoted by \(\partial \Omega =\partial \Omega _{+}\cup \partial \Omega _{-}\) where \(\partial \Omega _{+}={\mathbb {S}}^{1}\times \{L\}\) and \(\partial \Omega _{-}={\mathbb {S}}^{1}\times \{0\}\). We will use several operators that will be defined in \(\partial \Omega _{-}\). In those cases it will be convenient to identify \(\partial \Omega _{-}\) with \({\mathbb {S}}^1\) and then to consider that the operators are acting of spaces of functions with domain \({\mathbb {S}}^1\) instead of \(\partial \Omega _{-}\). Notice that these spaces of functions are isomorphic. Let us denote by n the outer normal to \(\partial \Omega \) in the points of \(\partial \Omega _{+}\), the inner normal to \(\partial \Omega \) in the points of \(\partial \Omega _{-}\) and by \(\tau \) the tangential vector, see Fig. 1 below.
-
In order to simplify the exposition, we will also use the bold notation \(\varvec{x}\in \Omega \) to denote a pair \(\varvec{x}=(x,y)\in \Omega \).
-
Let \(C_{b}(\Omega )\) be the set of bounded continuous functions on \(\Omega .\) For any bounded continuous function and \(0<\alpha <1\) we call f uniformly Hölder continuous with exponent \(\alpha \) in \(\Omega \) if the quantity
$$\begin{aligned} \left[ f \right] _{\alpha ,\Omega }:= \displaystyle \sup _{\varvec{x}\ne \varvec{y}; \varvec{x},\varvec{y}\in {\overline{\Omega }}} \frac{|f(\varvec{x})-f(\varvec{y})|}{|\varvec{x}-\varvec{y}|^\alpha } \end{aligned}$$is finite. However, this is just a semi-norm and hence in order to work with Banach spaces we define the space of Hölder continuous functions as
$$\begin{aligned} C^{\alpha }(\Omega )=\{ f\in C_{b}(\Omega ): \left\Vert f\right\Vert _{C^\alpha (\Omega )}< \infty \}, \end{aligned}$$equipped with the norm
$$\begin{aligned} \left\Vert f\right\Vert _{C^{\alpha }(\Omega )}:=\displaystyle \sup _{\varvec{x}\in {\overline{\Omega }}}|f(\varvec{x})|+ \left[ f \right] _{\alpha ,\Omega }. \end{aligned}$$Similarly, for any non-negative integer k we define the Hölder spaces \(C^{k,\alpha }(\Omega )\) as
$$\begin{aligned} C^{\alpha }(\Omega )=\{ f\in C^{k}_{b}(\Omega ): \left\Vert f\right\Vert _{C^{k,\alpha }(\Omega )}< \infty \}, \end{aligned}$$equipped with the norm
$$\begin{aligned} \left\Vert f\right\Vert _{C^{k,\alpha }(\Omega )}=\displaystyle \max _{|\beta |\le k }\sup _{\varvec{x}\in {\overline{\Omega }}}|\partial ^{\beta }f(\varvec{x})|+\displaystyle \sum _{|\beta |=k}\left[ \partial ^{\beta }f \right] _{\alpha ,\Omega }. \end{aligned}$$where \(\beta =(\beta _1,\beta _2)\in {\mathbb {N}}^{2}_{0}\) and \({\mathbb {N}}_{0}=\{0,1,2,\ldots \}\). Notice that in the definitions above the Hölder regularity holds up to the boundary, i.e in \({\overline{\Omega }}\). We omit in the functional spaces whether we are working with scalars or vectors fields, this is \(C^{k,\alpha }(\Omega ,{\mathbb {R}})\) or \(C^{k,\alpha }(\Omega ,{\mathbb {R}}^2)\) and instead just write \(C^{k,\alpha }(\Omega )\). The specific type of functional space (scalar or vector) will be clear from the context. Moreover, we will denote Hölder spaces on the boundary of the manifold, namely on \(\partial \Omega \), \(\partial \Omega _{+}\) and \(\partial \Omega _{+}\) by \(C^{k,\alpha }(\partial \Omega )\), \(C^{k,\alpha }(\partial \Omega _{+})\) and \(C^{k,\alpha }(\partial \Omega _{-})\) respectively.
-
Let \(M>0\) and let X be Banach space. Then we define by \(B_{M}(X)\) the closed ball in \(X(\Omega )\) with radius M, i.e.
$$\begin{aligned} B_{M}(X)=\{f\in X: \left\Vert f\right\Vert _{X}\le M \}. \end{aligned}$$ -
We identify the functions \(f\in C^{k,\alpha }({\mathbb {S}}^1)\),\(k=0,1,2...\), \(\alpha \in (0,1)\) with the subspace of \(C^{k,\alpha }({\mathbb {R}})\) such that \(f(x+2\pi )=f(x)\). Moreover, we will also identify \({\mathbb {S}}^1\) with any interval [a, b] where \(b-a=2\pi \).
-
For a sufficiently smooth \(2\pi \)-periodic function in the x variable f, we define the Fourier coefficients of f in the first variable by
$$\begin{aligned} {\widehat{f}}(n,y)=\frac{1}{2\pi }\int _{0}^{2\pi }f(x,y)e^{-inx} \ dx. \end{aligned}$$Then we have the Fourier series representation, \(f(x,y)=\sum _{n=-\infty }^{n=\infty }{\widehat{f}}(n,y)e^{inx}.\)
-
Throughout the manuscript we will denote with C a positive generic constant that depends only on fixed parameters. More precisely, they will depend on the the parameter L and the Hölder exponent \(\alpha \). Note also that this constant might differ from line to line.
-
We will also use the brackets \(\big [ \cdot \big ]\), in order to denote the dependence of an operator on the bracketed function, namely \(T\big [ f\big ]\) denotes that the operator T depends in a certain way on the function f.
-
Let E and F be Banach spaces. We say that T is a bounded operator from E to F if there exists a constant \(c\ge 0\) such that \(\left\Vert Tu\right\Vert _{F}\le c\left\Vert u\right\Vert _{E}\), \(\forall u\in E.\) The norm of the bounded operator T is defined and denoted as
$$\begin{aligned} \left\Vert T\right\Vert _{{\mathcal {L}}(E,F)}= \displaystyle \sup _{u\ne 0}\frac{\left\Vert Tu\right\Vert _{F}}{\left\Vert u\right\Vert _{E}}. \end{aligned}$$Moreover, if \(E=F\), we just write \({\mathcal {L}}(E)\) instead of \({\mathcal {L}}(E,E)\).
1.2 Main result
The main result in this article deals with the well-posedness of a boundary value problem for the MHS equations suggested by Grad–Rubin in [13]. Specifically we prescribe the normal component \(B\cdot n\) on \(\partial \Omega \) and the tangential component \(B\cdot \tau \) in one part of the boundary, namely on \(\partial \Omega _{-}\). In particular, our result reads as follows
Theorem 1.1
Let \(\Omega =\{ (x,y)\in {\mathbb {S}}^{1}\times [0,L]\}\), with \(L>0\) and \(\alpha \in (0,1)\). There exists \(M=M(\alpha ,L)>0\) sufficiently small such that for \(f\in C^{{2,\alpha }}(\partial \Omega )\) and \(g\in C^{{2,\alpha }}(\partial \Omega _{-})\) satisfying
and
there exists a unique \((B,p)\in C^{{2,\alpha }}(\Omega )\times C^{{2,\alpha }}(\Omega )\) with \(B=(B_1,B_2)\) to (1) with
such that
Remark 1
Notice that the solutions (B, p) are obtained as small perturbations around the particular vertical constant magnetic field \(B_0=(0,1)\). The constant magnetic fields of the form \(B_0=(0,a)\) for \(a>0\) can be reduced by a re-scaling argument to the unitary magnetic field \(B_0=(0,1)\). On the other hand, it is not a priori clear if it is possible to perturb around more general non-constant magnetic fields.
Remark 2
A question that could be interesting to explore is whether one can generalize Theorem 1.1 to more general domains \(\Omega = \{(x_1,x_2): \gamma _1(x_1)< x_2< \gamma _2(x_1) \}\) where \(\gamma _j\) are smooth functions satisfying the periodicity condition \(\gamma _{j}(x_1+2\pi )=\gamma _{j}(x_1)\) for \(j=1,2\). In the proof of Theorem 1.1, several computations which can be made in a explicit manner in the case of the domain \(\Omega ={\mathbb {S}}^1\times [0,L]\), will become more involved for more general domains.
Remark 3
In the three dimensional setting \(\Omega ={\mathbb {S}}^1\times {\mathbb {S}}^1\times [0,L]\), we believe that the same ideas developed in this paper can be carried out, although the computations are more involved. In particular, we will need to derive Hölder estimates for non-convolution singular integral operators that in the three dimensional case are more delicate.
Notice that using the change of variables \(B\leftrightarrow v\) and \(p_{m}\leftrightarrow -p\) the following result can be obtained for the steady Euler equations
Theorem 1.2
Let \(\Omega =\{ (x,y)\in {\mathbb {S}}^{1}\times [0,L]\}\), with \(L>0\) and \(\alpha \in (0,1)\). There exists \(M=M(\alpha ,L)>0\) sufficiently small such that for \(f\in C^{{2,\alpha }}(\partial \Omega )\) and \(g\in C^{{2,\alpha }}(\partial \Omega _{-})\) satisfying
and
there exists a unique \((v,p)\in C^{{2,\alpha }}(\Omega )\times C^{{2,\alpha }}(\Omega )\) with \(v=(v_1,v_2)\) to (3) with
such that
1.3 Strategy behind the proof and novelties
The strategy of the proof is based on two ingredients, namely the transport equation for the current and the div-curl problem that recovers the magnetic field in terms of the current. Suppose that we have a magnetic field with the form \((B_1,B_2)=(0,1)+b\) where b is a small perturbation of the vertical base magnetic field.
For magnetic fields for which the magnetic vector is contained always in a given plane, the current j is a vector in the direction of the normal to the plane. However, in these two dimensional settings it is more convenient to assume that the current is a scalar quantity and therefore we will use the notation \(j=\nabla \times B=-\partial _{y}B_{1}+\partial _{x}B_2\).
It is well-known that if B solves (1), the current density j solves the following transport equation
On the other hand, assuming that we have a current j we can recover the corresponding magnetic field B solving the following system of equations
The Eqs. (8) and (9) must be solved under suitable boundary value conditions. It turns out that given the function j we can obtain a unique solution B to (9) if we prescribe the normal component of the magnetic field on the two connected components of the boundary of \(\Omega \)
as well as the horizontal flux for the magnetic field
We will see later, that the value of J has to be chosen in a very specific way to obtain a uni-valued pressure p on \(\Omega \).
On the other hand, if we assume that b is sufficiently small (in a sense to be precise later), the current j is uniquely determined in \(\Omega \) if we prescribe it in any of the two connected components of \(\partial \Omega \). For instance, if
is given, we can obtain j in \(\Omega \) just by using the method of characteristics. Notice however that the boundary conditions for the problem (1)–(7) do not allow to compute the value of \(j_0\) in (12).
On the other hand, we have an additional boundary condition that yields the tangential component of the magnetic field
The structure of the problem suggests to use a fixed point argument in order to construct the solution. More precisely, given a vector field B defined in \(\Omega \) as a well as a function \(j_0\) on \(\partial \Omega _{-}\) we can solve (8) with the boundary condition (12) to construct a current field \(j[B;j_0](\cdot )\) defined in \(\Omega \). Using this current function we can solve (9) with boundary conditions (10) and (11) to find a new vector field \({\widetilde{B}}[B;j_{0}](\cdot )\) in \(\Omega \). Notice that the new vector field \({\widetilde{B}}\) does not satisfy in general the boundary condition (13). However, this equation can be reformulated as
that turns out to be an integral equation for the function \(j_0\) on \(\partial \Omega _{-}\). We can prove that this integral equation can be solved by means a fixed point argument using regularity estimates for non-convolution singular integral operators in Hölder spaces. The solution of this equation yields an operator \(B\rightarrow j_{0}[B]\). Notice that this operator depends also on the boundary value conditions f, g, but we will not write this dependence explicitly. We can now define an operator \(B\rightarrow \Gamma [B]={\widetilde{B}}[B,j_0[B]]\). A fixed point argument for the operator \(\Gamma (\cdot )\) solves the problem (8), (9), (10), (11) and (13). Using now the fact that \(\nabla \times (j\times B)=B\cdot \nabla j=0\) one can show, arguing as in [2], that there exists a pressure function p such that (B, p) satisfies (1) and (7).
It is worth to notice that there are several important differences regarding the problem treated here and previous works [1, 2, 5, 17, 23, 24]. For a more detailed description of the different boundary value problems mentioned previously, we refer the reader to [2]. In the case treated by Alber [1] for the steady incompressible Euler equation, the vorticity \(\omega _0\) (or current \(j_0\) in our case) on \(\partial \Omega _{-}\) can be readily obtained from the boundary values given in the problem, so roughly speaking \(\omega _0\) (or \(j_0\)) on \(\partial \Omega _{-}\) is already prescribed. On the other hand, this is not the case for the boundary value type problems solved in [2] where the vorticity \(\omega _0\) (or current \(j_0\) in our case) is not fully prescribed by the boundary values. Instead in those cases, \(\omega _0\) (or \(j_0\)) is part of the solution. Nevertheless, it can be obtained by means of the fixed point argument. More precisely, the value of \(\omega _0\) (or \(j_0\)) can be computed using the Euler equation (3) and is given in terms of v (or B), its derivative and the boundary value conditions. Using the characteristics one can solve the transport equation (8) to construct \(\omega [v;\omega _0](\cdot )\) (or \(j[B;j_0](\cdot )\)) and then equation (9) to construct the new velocity field \({\widetilde{v}}[v;\omega _{0}](\cdot )\) or magnetic field \({\widetilde{B}}[B;j_{0}](\cdot )\). The crucial point is that the new velocity field or magnetic field already satisfies the required boundary value conditions, since \(\omega _0\) or \(j_0\) has been chosen in terms of the boundary conditions and v or B in a precise way.
To deal with the boundary value conditions imposed in (7), we have to use a more sophisticated argument to compute the value of \(j_0\) on \(\partial \Omega _{-}\). As we have explained above, this reduces to study an integral equation containing singular integral operators. To show the existence and uniqueness of the integral equation, we derive some general results providing Hölder estimates for a class of non-convolution singular integral operators which are of independent interest (cf. Sect. 4). The use of Hölder spaces instead of Sobolev spaces (as in [1] for instance) is an important detail. Indeed, the value \(j_0\) at the boundary \(\partial \Omega _{-}\) depends on the value of B (and the boundary data) and therefore, if the estimates for B are given in terms of Sobolev spaces, we obtain less regularity for \(j_0\) due to the classical regularity trace theorem. Once \(j_0\) is obtained we can compute j along \(\Omega \) using the transport equation (8) which does not improve the regularity due its hyperbolic character. Therefore, the new function B computed via the div-curl problem (9) has a loss of regularity which prevents to close a fixed point argument. This obstructions can be avoided by making use of Hölder spaces.
The time dependent boundary value problem for the incompressible forced Euler equation (2D and 3D) has been studied in the literature. Indeed, in the monograph [3, Chapter 4], the well-posedness theory is established in Hölder spaces under the same boundary conditions treated in this article, i.e. \(v\cdot n\) in \(\partial \Omega \) and \(v\cdot \tau \) in part of the boundary, for instance in \(\partial \Omega _{-}\). The problem in [3] has been considered in simply connected domains and extensions of these results to construct solutions with higher Hölder regularity on multiply connected domains has been recently obtained in [9, 10]. We also refer to the work in [19] where the author studies the same time-dependent boundary value problem extending the work in [3] to deal with three-dimensional infinite (or periodic) channel.
The problem treated in all those papers studies the well-posedness boundary value problem for small times (even in the two dimensional setting). The strategy employed by the authors has certain similarities with our approach. Nevertheless, there are relevant differences between the time dependent case and the stationary case treated here which we stress out hereafter.
In the analysis of the time dependent problem considered in [3, 9, 10] one of the main issues is to compute the value of the vorticity \(\omega _{0}\) on the entering part of the domain \(\partial \Omega _{-}\). This is also a crucial point for the problem that we consider in this paper. In [3, 9, 10], the computation of \(\omega _0\) in \(\partial \Omega _{-}\) is achieved by writing an elliptic equation for the pressure p for which the boundary values are determined by means of the values of the velocity v on \(\partial \Omega \). After computing this pressure, the value of the vorticity \(\omega _{0}\) can be obtained in \(\partial \Omega _{-}\) integrating in time the Euler equation. This procedure gives the vorticity \(\omega _{0}\) in \(\partial \Omega _{-}\) for times \(t\in [0,T)\) assuming that the velocity v is already known for this range of times. This allows to formulate a fixed point problem for the velocity for small times.
However, in the stationary case considered in this paper the way \(\omega _{0}\) (or \(j_0\) in our case for (MHS)) is chosen is much more rigid. In particular, the vorticity of \(\omega _{0}\) in \(\partial \Omega _{-}\) depends in a sensitive manner on the values of \(v\cdot n\) on the remaining part of the boundary \(\partial \Omega _{+}\). Specifically, to compute \(\omega _{0}\) we need to solve an integral equation containing singular integral operators which has source terms that depend on the values of \(v\cdot n\) in \(\partial \Omega \) as well as the tangential component \(v\cdot \tau \) in \(\partial \Omega _{-}\).
Actually, the rigidity in the determination of \(\omega _0\) in \(\partial \Omega _-\) in our case is the reason why we need to consider velocities fields (magnetic fields) which are small perturbations of trivial constant solutions. Moreover, this choice also restricts significantly the geometrical setting where we can show our main theorems due to existence of tangency points where the velocity can developed singularities. On the other hand, in the time-dependent case [3, 9, 10], the time variable can be used as a small parameter to use a fixed point argument to construct the solution and avoid perturbative techniques. This is also the reason why the results in [3, 9, 10] can be shown in a more general geometrical setting.
1.4 Plan of the paper
In Sect. 2 we illustrate the main formal idea used to construct the solution of (1), (7) by means of the study of a suitable linearized problem which can be explicitly solved by using Fourier series. In Sect. 3 it is seen how to reformulate the full non-linear boundary value problem (1), (7) as a fix point problem for a suitable operator. The precise definitions of the operators needed to reformulate the problem are postponed until Sect. 7 since the proof that the operators are well-defined required several estimates showed in Sects. 4–6. In Sect. 3 (more precisely in Sect. 3.3) we derive an integral equation for the current \(j_0\) which is a consequence of the Eq. (1) and the boundary values (7). This integral equation plays a crucial role in the proof of the result proved in this paper. In Sect. 4 we derive some general lemmas showing \(C^{1,\alpha }\) and \(C^{\alpha }\) Hölder estimates for non-convolution singular integral operators. These operators are a suitable class of perturbations of convolution operators. In Sect. 5 we will provide the \(C^\alpha \) and \(C^{1,\alpha }\) Hölder estimates for the operators contained in the integral integral equation for \(j_0\). In Sect. 6 we show the existence and uniqueness of solutions to the integral equation for \(j_0\) by using the previous derived estimates. In Sect. 7, as indicated above, we provide the precise definitions of the operators required to reformulate the original boundary value problem (1), (7) as a fixed point problem for a suitable operator. Moreover, we also show that the operator has a fixed point on a suitable functional space. To conclude the article, in Sect. 8 we prove Theorem 1.1 as a direct application of the fixed point theorem showed in the previous section.
2 The linearized problem
In this section, we will describe the formal idea behind the method to construct solutions (B, p) to (1) satisfying the boundary value conditions (7). As we have mentioned in the introduction, the proof is based on defining an adequate operator \(\Gamma \) on a subspace of \(C^{2,\alpha }(\Omega )\) which has a fixed point b such that \(B=(0,1)+b\) is a solution to (1) and (7). We define the operator \(\Gamma : B_{M}(C^{2,\alpha }(\Omega )) \rightarrow C^{2,\alpha }(\Omega )\) in two steps. First, given \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) we define \(j\in C^{1,\alpha }(\Omega )\) solving the following the transport type problem
where \(j_{0}\) is a priori an unknown quantity. As a second step, we define \(W\in C^{2,\alpha }(\Omega )\) as the unique solution to the div-curl problem
Thus we define \(\Gamma (b,J)=W\). We remark that J is a degree of freedom of the problem, since there exists non trivial solutions (W, J) of the homogeneous problem (16) with \(f=g=0\) given by
This degree of freedom will be used later to obtain a uni-valued function pressure p in \(\Omega \).
We are interested in obtaining solutions of the form \(B=(0,1)+b\) where \(b=(b_1,b_2)\) is a small perturbation, i.e. \(\left\Vert b\right\Vert _{C^{2,\alpha }(\Omega )} \le M\) with \(M\le M_0\) and \(M_0\) sufficiently small. Therefore, in the lowest order (dropping the small nonlinear terms of order \(M^2\)), the transport equation (15) reduces to
and hence \(j(x,y)= j_0(x)\). Then, with this approximation, the div-curl problem (16) becomes
Notice that (19) is a non-homogeneous linear problem for W. To solve (19), we examine the following auxiliary problem (cf. [2, Section 3.1.1]), namely
where
and
For a sufficiently smooth stream function \(\psi \), the function \(W=(0,A)+\nabla ^{\perp }\psi \), where \(\nabla ^{\perp }\psi =(-\frac{\partial \psi }{\partial y},\frac{\partial \psi }{\partial x})\), solves (19). However, for any fixed \(j_0(x)\) the problem (20) is over-determined. This fact will be used in order to obtain the a priori unknown function \(j_0(x)\).
In order to obtain a complete linearized version of the problem (1) satisfying boundary conditions (7), it remains to add a condition that guarantees that the pressure is a uni-valued function on \(\Omega \). Indeed, a linearized version of (1) with \(B=(0,1)+b\) (with b small) is given by
A necessary condition for the solvability of this problem is that \(\partial _{y}j(x,y)=0\) and hence \(j(x,y)=j_0(x)\), similar as the condition derived in (18). Therefore, (23) reduces to
Then, we can obtain a solution to (24) given by
where the integral on the right hand side is the line integration computed along any contour connecting \(\varvec{0}=(0,0)\) and \(\varvec{x}\in \Omega \). Notice that a necessary and sufficient condition to ensure that p(x, y) is a uni-valued function in \(\Omega \) is that
To this end, we apply the Fourier transform in the x variable to Eq. (20). This transforms the PDE (20) into the following second-order non-homogeneous ODEs with constant coefficients
Above, \(\widehat{h^{+}}(n), \widehat{h^{-}}(n)\) are the Fourier coefficients associated with the function \(h^{+}, h^{-}\) respectively, and \({\widehat{g}}(n)\) the Fourier coefficients of the function g.
After a straightforward calculation using variation of parameters method we find that
for \(n\in {\mathbb {N}}\). In the case \(n=0\), the functions multiplying \(\widehat{h^{+}}(n), \widehat{h^{-}}(n)\) and \(\widehat{j_0}(n)\) must be understood as the limit when n tends to zero. More precisely, for \(n=0\), we use the replacements
and
This convention of understanding several combinations of trigonometric hyperbolic functions when \(n=0\) as the limit when n tends to zero will be used throughout the paper. Imposing the last boundary condition \(\partial _{y} {\widehat{\psi }}(n,0)=-{\widehat{g}}(n)\) in (27), we find that
Taking the inverse Fourier transform in the first variable we obtain
with
Using the symmetry in n and denoting the kernel
and
we have that (29) can be expressed as the following convolution equation for \(j_0\),
Notice that the function \({\widetilde{g}}\) depends only on the boundary values g and f. Using the fact that the Fourier coefficients in (31) are different than zero, we can use standard Fourier techniques to invert the operator yielding
where the kernel function \(\widetilde{{\mathcal {G}}^L}(x)\) can be explicitly computed as
The value of J that until now is undetermined is obtained by means of the previous derived formula (26). Using (34) we find that
Once we have obtained the value of \(j_0\) and J, we can use formula (28) which combined with Fourier inverse formula yields \(\psi (x,y)\) and hence W since \(W=(0,A)+\nabla ^{\perp }\psi \).
In the following sections we will show how to solve the full non-linear problem (15), (16) and (7) by using a perturbative argument with respect to the linear problem.
3 The non-linear problem: an integral equation for the current
In this section we will derive an integral equation for the current j on \(\partial \Omega _{-}\), namely \(j_0=j(x,0)\), \(x\in {\mathbb {S}}^1\). As expected, this integral equation will be a perturbation of Eq. (34) that we have obtained for the linearized problem. The solution of this equation will give \(j_0(x)\) in terms of the perturbation magnetic field b and the boundary values f and g. In the following subsection, using a formal argument that assumes the convergence of some Fourier series, we show how to arrive to an integral equation for \(j_0(x)\). We will not consider in detail the convergence of the Fourier series and the precise definitions of the operators that appeared in this section will be given later (cf. Sect. 3.3).
3.1 The formal argument using Fourier series
Proceeding as in the Sect. 2, we define the operator \(\Gamma : B_{M}(C^{2,\alpha }(\Omega )) \rightarrow C^{2,\alpha }(\Omega )\) using two building blocks: a transport type problem and a div-curl problem. Given \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) we define \(j\in C^{1,\alpha }(\Omega )\) as the solution to the transport type problem
where \(j_{0}\) is a priori an unknown quantity. As a second step, we define \(W\in C^{2,\alpha }(\Omega )\) as the unique solution to the following div-curl problem
Then, we define \(\Gamma (b)=W\). By the theory of transport equations (cf. [2, Proposition 3.8]), it is well-known that system (36) can be solved by using the integral curves of the vector field \(B=(0,1)+b\). More precisely, the explicit solution to (36) is given
where \(X^{-1}\) is the inverse of the mapping \(\xi \rightarrow X(\xi ,y)\) solving the ordinary differential equation
Arguing as in (20) in Sect. 2 using the stream function \(\psi \), the div-curl problem (37) becomes
where we recall that \(h^{+}(x), h^{-}(x)\) and A are given in (21) and (22) respectively. To solve (40) we do not use variation of parameters but compute directly the fundamental solution \(\Phi (x,y,y_0)\) solving the problem
Using Fourier transform and imposing the continuity jump conditions we infer that
Moreover, the normal derivative at \(y=0\) is given by
Computing an homogeneous solution and imposing the boundary value conditions
we conclude (similarly as in Sect. 2) that
where \({\mathcal {Z}}(x)\) is defined in (30). Therefore we have that for \({\widetilde{g}}\) as in (32) we can write (43) as the following integral equation for \(j_0\)
Notice that the operator in (44) reduces to (33) in the particular case where \(X^{-1}(\xi ,y_0)=\xi \), which corresponds to the linearized case considered in Sect. 2. From now on, in integral expressions like (44) which results in functions depending only on x we replace the integration variable \(y_0\) for y for the sake of simplicity. We rewrite the operator equation (44) into a more convenient form. To that purpose, we define
and plugging (45) in (44) we infer that the operator \({\mathcal {T}}^{NL}\) can be expressed as
Using the following changes of variables
we obtain
Defining, \(\Lambda (\eta ,y)=X(\eta ,y)-\eta \) we notice that the operator (48) can be written as
where
with
Thus the integral equation (44) for \(j_0\) becomes
3.2 Decomposing the operator \({\mathcal {T}}^{NL}\)
In this subsection, we will decompose the operator \({\mathcal {T}}^{NL}\) defined in (49)-(51) into several operators which are more tractable and easier to estimate. In particular, we will split the operator into one main term which is a convolution operator and several remainder terms which are perturbations of convolution operators.
To that purpose we first notice that the coefficients in (51) can be written as
The first term can be easily integrated since it does not depend on \(\eta \), giving
and the second term is split as
Moreover, we have that
where
By means of this computation, we find that
where
Similarly, we have that
where
Therefore, collecting the expressions (53)-(59)
and using the definition of \({\mathcal {G}}^{NL}(x,\eta )\) given in (50) we can rewrite \({\mathcal {G}}^{NL}(x,\eta )\) as
where the main term is given by
and the remainder terms
Using this decomposition we write the operator \({\mathcal {T}}^{NL}\) in (49) as
where
Remark 4
Notice that the main term \({\mathcal {G}}^{NL}_{0}(x)\) does not depend on \(\eta \) and coincides with the linearized kernel \({\mathcal {G}}^{L}(x)\) in (31). Therefore, \({\mathcal {T}}^{NL}_{0}\) is a convolution operator that can be inverted using Fourier series.
We can formally rewrite the integral equation (52) for \(j_0\) in the form a second order Fredholm integral equation. Indeed, using the fact that the operator \({\mathcal {T}}^{NL}_{0}\) is a convolution that can be inverted using Fourier series, we can write Eq. (52) as
where
with \({\widetilde{g}}\) defined in (32). We now argue as in the case of the linearized problem and explain how to choose J in order to obtain a uni-valued pressure function p on \(\Omega \). To this end, we use Eq. (36) to construct the pressure p by means of the following identity
where the integral on the right hand side is the line integration computed along any curve connecting \(\varvec{0}=(0,0)\) and \(\varvec{x}\in \Omega \). The function p given by (66) is uni-valued in \(\Omega \) if and only if
where \((j\times B)_{1}\) denotes the first component of the vector \(j\times B\). Moreover, we notice that \((j\times B)_{1}(x,0)=-j_0(x)(1+b_{2}(x,0))=-j_{0}(x)(1+f^{-}(x))\) where \(f^{-}= f\vert _{\partial \Omega _{-}}\). Then, (67) is equivalent to
Using (64) we find that
Combining (68) and (69) we obtain that
Plugging (70) into (64) and denoting by \(\langle h \rangle =\frac{1}{2\pi } \int _{0}^{2\pi } h(x) \ dx\) we have that
The problem (71) is a fixed point type of equation which will be shown to be equivalent to the solution (B, p). Indeed, after solving Eq. (71), we can obtain the value of j(x, y) in \(\Omega \) using the transport type problem (36) and recover the new magnetic field W using the div-curl system (37).
3.3 A rigorous formulation of the problem
The previous computations in Sects. 3.1 and 3.2 are purely formal, since we did not consider in a rigorous manner the convergence of the Fourier series. In this subsection, we will give a precise meaning of the integral equation (71) for \(j_0\). To this end, we first give a detailed definition of the operators \({\textsf{T}}_{1},\ldots , {\textsf{T}}_{4}\) in (65). We defined the operators \({\textsf{T}}_{1}\) and \({\textsf{T}}_{2}\) as
where
On the other hand, the operators \({\textsf{T}}_{3},{\textsf{T}}_{4}\) are given by
where
with M(n, y) as in (55). The operators \({\textsf{T}}_{i}\) for \(i=1,\ldots , 4\) will act on functions \(j_0\) on some suitable Hölder spaces. The fact that the operators \({\textsf{T}}_{i}\) for \(i=1,\ldots , 4\) in this spaces are well-defined operators will be shown in Sect. 4. For instance the reason why operators \({\textsf{T}}_{3}, {\textsf{T}}_{4}\) are well defined acting on Hölder functions \(j_0\) readily follows from the fact that \({\mathfrak {G}}_{3}(x,\eta ),{\mathfrak {G}}_{4}(x,\eta )\) are \(C^\infty \) in x due with the exponential decay of the function M(n, y) as \(|n|\rightarrow \infty .\) To deal with operators \({\textsf{T}}_{1},{\textsf{T}}_{2}\) some refined estimates for perturbations of non-convolution singular integral operators will be required.
We now define in a precise manner the operator \({\mathcal {T}}^{NL}_{0}\) in (62). On the one hand notice that
where
We recall that the periodic Hilbert transform denoted by \({\mathcal {H}}\) is given in Fourier side as
and define the linear operator \(\partial _{x}^{-1}:L^2({\mathbb {S}}^1)\rightarrow H^1({\mathbb {S}}^1)\) by means of
Then it is natural to define \({\mathcal {T}}^{NL}_{0}\) in (62) as
where
On the other hand, notice that the derivative operator \(\partial _{x}\) is the inverse of \(\partial _{x}^{-1}\), i.e. \(\partial _{x}\circ \partial _{x}^{-1}= {\mathcal {I}}\), where \({\mathcal {I}}\) denotes the identity operator. Hence, we find that the inverse operator \(({\mathcal {T}}^{NL}_{0})^{-1}\) is given by
where
and
Thus, we have that \(({\mathcal {T}}^{NL}_{0})^{-1}\circ ({\mathcal {T}}^{NL}_{0})=({\mathcal {T}}^{NL}_{0})\circ ({\mathcal {T}}^{NL}_{0})^{-1}= {\mathcal {I}}\). The easiest way to check this identity is to use the Fourier expression for \({\mathcal {T}}^{NL}_{0}\) on the left hand side in (80). With these definitions at hand we have that the function \({\textsf{G}}(x)\) in (65) is given by
where
where \({\mathcal {Z}}\) is defined in (30). Roughly, speaking the function \({\widetilde{g}}\) and hence \({\textsf{G}}\) take into account the given boundary value conditions f on \(\partial \Omega \), g on \(\partial \Omega _{-}\) satisfied by the magnetic fields.
To conclude, we will define the operators given in (63) for \(i=1,\ldots ,4\) as
where \({\mathcal {T}}_{0}^{NL}\) is given by (83) and \({\textsf{T}}_{i}\) are given as (72), (73), (76) and (77).
Remark 5
The fact that the operators \({\mathcal {T}}^{NL}_{i}\) for \(i=1,\ldots ,4\) can be written as in (63) acting on spaces of Hölder functions will be proved at the end of the paper, cf. Corollary 1 in Sect. 8.1.
4 Hölder estimates for non-convolution singular integral operators
In order to show the existence and uniqueness of solutions of Eq. (71), we will need to derive bounds for the operators \({\textsf{T}}_{1},\ldots ,{\textsf{T}}_{4}\) in the functional spaces \(C^{1,\alpha }\) and \(C^{\alpha }\). To that purpose, we will first derive in this section some general lemmas showing \(C^{1,\alpha }\) and \(C^{\alpha }\) Hölder estimates for non-convolution singular integral operators. These operators differ from convolutions because they contain a function \(\Lambda :\Omega \rightarrow {\mathbb {S}}^{1}\). Estimates for these operators in Hölder norms will be shown assuming a suitable smallness condition on \(\Lambda \) which will be used repeatedly in the rest of the paper. More precisely, the assumptions reads
Assumption 1
Let us assume that the function \(\Lambda :\Omega \rightarrow {\mathbb {S}}^{1}\) has \(C^{2,\alpha }(\Omega )\) regularity and satisfies that \(\Lambda (\eta ,0)=0\). Moreover, there exists \(\delta _0\in (0,\frac{1}{2})\) such that
Let us start with the following calculus lemma that will be used throughout this section.
Lemma 1
Then there exists a numerical constant \(c_0>0\) such that for any \(\Lambda \) satisfying Assumption 1 the following inequality holds
for \(x\in [-\pi ,\pi ]\), \(\eta \in [x-\pi ,x+\pi ]\) and \(y\in [0,L]\).
Proof
Denoting by \(z=i(x-\eta )-y-i\Lambda (\eta ,y)\), we have that for \(|z|\le \frac{1}{2}\)
Indeed, a straightforward calculation shows that
and hence
Therefore, (88) follows. Furthermore,
Since by assumption \(\Lambda (\eta ,0)=0\) and \(\left\Vert \Lambda \right\Vert _{C^{1}(\Omega )}\le \frac{1}{2}\) we find that
Applying Young’s inequality in (90) yields
and hence
\( \text{ for } x\in [-\pi ,\pi ], \eta \in [x-\pi ,x+\pi ] \text{ and } y\in [0,L].\) On the other hand for \(|z|\ge \frac{1}{2}\) one can readily check that for \(\left\Vert \Lambda \right\Vert _{C^{1}(\Omega )}\le \delta _0\) we have that
where the constant \(c_0\) is independent of \(\Lambda \). Combining (89), (93) and (94) we conclude that estimate (87) follows. \(\square \)
Remark 6
Notice that in Assumption 1 we imposed that \(\Lambda \in C^{2,\alpha }(\Omega )\), however the proof of Lemma 1 can be shown only assuming \(\Lambda \in C^{1}(\Omega )\). However, later in the application we will use this stronger regularity assumption and therefore we prefer to already state the calculus lemma for \(\Lambda \in C^{2,\alpha }(\Omega )\).
4.1 \(C^{\alpha }\) Hölder estimates
In this subsection, we provide a \(C^\alpha \) Hölder estimates for a type of non-convolution singular integral operators.
Proposition 1
Let \(H(\eta , y)\in C^{\alpha }(\Omega )\) and let Assumption 1 hold. Then for any \(x\in {\mathbb {S}}^{1}\) the following limit exists
where
with
Moreover, we have that
with \(C>0\).
Proof of Proposition 1
In order to check that the left hand side in (95) exists, we first notice that
where
Therefore, using the fact that \(\int _{{\mathbb {S}}^{1}} d\eta \ \partial _{\eta }(\ldots )=0 \) we can rewrite (95) as
where
Expanding the derivative in (101) and manipulating the corresponding expression, we have that
where
where
Identifying \({\mathbb {S}}^1\) with \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\) and using the bound (87) as well as the Hölder regularity for H we obtain
where \(C>0\) is independent on \(\epsilon \). Therefore, using the dominated convergence it follows \(\displaystyle \lim _{\epsilon \rightarrow 0^{+}}I_{j,\epsilon }\) exists, for \(j=1,\ldots ,3.\) On the other hand, we can combine \(I_{4,\epsilon }\) and \(\Xi _{2,\epsilon }\) as
where
Hence using again (87) and Assumption 1, we have that
Similarly using dominated convergence it follows that the limit \(\lim _{\epsilon \rightarrow 0^{+}}\left( I_{4,\epsilon }+\Xi _{2,\epsilon }\right) \) exists. Therefore, the limit on the left hand side of (95) exists and the function \(\Xi (x)\) is well-defined. Moreover, we have the pointwise bounds
We now proceed with the \(\alpha \)-Hölder semi-norm. More precisely, we will show that
Due to the translation invariance of the estimate it suffices to check, without loss of generality, that the bound holds for \(x_2=0\) and \(x_{1}=x\), namely
To that purpose, by means of Eqs. (101) and (102), we compute the difference
where
Notice that the functions \(J_{1,\epsilon }\) and \(J_{2,\epsilon }\) depend on x, but do not write it explicitly for the sake of simplicity. Moreover, recall that using the arguments above we have that the limits \(\lim _{\epsilon \rightarrow 0^{+}}J_{1,\epsilon }\) and \(\lim _{\epsilon \rightarrow 0^{+}}J_{2,\epsilon }\) exist. Expanding the derivative we can split the integral in the following manner
where
Notice that in \(J_{14,\epsilon }\) we have combined one of the terms resulting in \(J_{1,\epsilon }\) with \(J_{2,\epsilon }\) in the same way that we combined the term \(I_{4,\epsilon }+\Xi _{2,\epsilon }\) in (107).
We divide the region of integration \(\{ (\eta ,y))\in {\mathbb {S}}^1 \times [\epsilon ,L]\}\) into sets of the form
for \(\epsilon \ge 0\) and estimate each integral in the different sets. For the sake of simplicity we will write \(R^{0}_{\Omega ,\le }=R_{\Omega ,\le }\) and \(R^{0}_{\Omega ,>}=R_{\Omega ,>}\). Therefore, we have
for \(k=1,\ldots ,4\). Using Lemma 1 to estimate the denominators in the integrals we obtain
In the region \(R^{\epsilon }_{\Omega ,>}=\{\displaystyle \max \{|y|,|\eta |\}> 2|x| \text{ and } \epsilon \le y\le L\}\), we rewrite the term \(J_{1k2,\epsilon }\) for \(k=1,\ldots ,4\) in the following way
The integrands of the terms \(K_{1,\epsilon },K_{3,\epsilon },K_{5,\epsilon }\) and \(K_{7,\epsilon }\) can be bounded in the region \(R^{\epsilon }_{\Omega ,>}\) using the mean value theorem as well as Lemma 1 and the Hölder regularity of H. Thus
Furthermore, a direct computation using Lemma 1 shows that
Similarly, using the fact that \(\partial _{\eta }\Lambda (\eta ,0)=0\) (cf. Assumption 1) we have that
and hence
To conclude the proof of the \(C^\alpha \) bound (98), it only remains to estimate the more singular terms, namely \(K_{4,\epsilon }\) and \(K_{6,\epsilon }\). In these terms we can not just estimate the integrands by the absolute value because this will result on the onset of a logarithmically divergent term. To that purpose, we further simplify the integrand until arriving to an expression in which the integral of the most singular term in the y variable can be explicitly computed. First, we decompose
where \(A(\eta )=\partial _{y}\Lambda (\eta ,0)\). Notice that
Using this decomposition, \(K_{4,\epsilon }\) can be written as
where the remainder term \(r_{1}(\eta ,y)\) can be bounded using (123) by \(|r_1(\eta ,y)|\le Cy^{2}\). Using Taylor expansion we obtain that
where the new remainder \(r_2(\eta ,y)\) is bounded by \(|r_2(\eta ,y)|\le C |y|.\) The integrand in \(K_{42,\epsilon }\) is integrable and can be bounded by using Lemma 1 for \(\Lambda (\eta ,y)=yA(\eta )\) as
To most delicate term is \(K_{41,\epsilon }\). Using again Taylor expansion we find that
with \(|r_{3}(\eta ,y)|\le C (\eta -y)^2\). Then
To estimate the remaining term \(K_{411,\epsilon }\), we recall that \(A(\eta )=\partial _{y}\Lambda (\eta ,0)\) and that by Assumption 1, it follows that \(\left\Vert \Lambda \right\Vert _{C^{2,\alpha }(\Omega )}\le \delta _{0}\) for \(\delta _{0}\in (0,\frac{1}{2})\). Hence we can write \( A(\eta )=A(0)+[A(\eta )-A(0)] \) where
Therefore,
with \(|K_{4112,\epsilon }|\le C |x|^\alpha \left\Vert H\right\Vert _{C^{\alpha }(\Omega )}\). Doing the rescaling variables \(\eta =y\zeta \) and recalling that
we infer that the above integral can be expressed as
with
In order to estimate this integral, we consider two different cases, the case for \(L\ge y\ge 2|x|\) and \(\epsilon \le y<2|x|\), namely
In the case of the integral \(L_1\), this is for \(L\ge y\ge 2|x|\), the domain of integration \(\Sigma \) reduces to \(\Sigma (x,y)=\{\zeta \in {\mathbb {R}}: \ |\zeta |\le \frac{\pi }{y} \}\). Therefore we can extend the domain of integration of \(\zeta \) to the whole space \({{\mathbb {R}}}\) just adding a remainder term that can be estimated by \(C|y|^2\) for small y. This follows from the fact that the integrand in \(\zeta \) can be estimated by \(\frac{C}{|\zeta |^3}\) for \(|\zeta |\ge 1\). Thus, we have that
with \(|L_{12}|\le C\). To deal with the first integral in (131) we use contour integrating using residues yields
using the fact that the only poles are in \(\zeta =-i, \zeta =-i+A(0)\) and \(A(0)\in {{\mathbb {R}}}\). We now estimate \(L_2\). Since \(\epsilon \le y<2|x|\), we have that \( \frac{2|x|}{y}>1\) and therefore
Hence applying Fubini’s theorem we obtain
Combining (131)-(133) we have shown that
as desired. Collecting (125), (127) and (134) we find that
We can estimate the term \(K_{6,\epsilon }\) in a similar manner. We recall that
Indeed, using again the decomposition (122) and the estimate (123) we find that
with \(|r_{5}(\eta ,y)|\le C |y|\). Therefore, \(K_{62,\epsilon }\) can be easily bounded using Lemma 1 for \(\Lambda (\eta ,y)=yA(\eta )\) by
To deal with \(K_{61,\epsilon }\), we argue as in the estimate of \(K_{411,\epsilon }\). Then
where \(|K_{612,\epsilon }|\le C |x|^\alpha \left\Vert H\right\Vert _{C^{\alpha }(\Omega )}\). To estimate the remaining term, we perform the change of variables \(\eta =y\zeta \) and readily check that the resulting integral
where \(\Sigma (x,y)\) is defined in (129) can be bounded similarly as we estimated integral (130), namely,
Hence, combining (136), (137) and (138) we conclude
Therefore, by means of (95) and (113) and collecting estimates (114)–(116), (117)–(119), (120), (121) and bounds (135), (139) we have shown that
which shows the desired \(\alpha \)-Hölder semi-norm estimate. The later estimate combined with the pointwise bound (111) yields the estimate for the \(C^{\alpha }({\mathbb {S}}^1)\) norm. This concludes the proof of the proposition. \(\square \)
4.2 \(C^{1,\alpha }\) Hölder estimate
We now derived the following Hölder estimates for the derivative of \(\Xi \).
Proposition 2
(\(C^{1,\alpha }\) estimate) Let \(H(\eta , y)\in C^{1,\alpha }(\Omega )\) and suppose that Assumption 1 holds. For every \(x\in {\mathbb {S}}^1\), define the function \(\Xi (x)\) as in (95). Then we have that
with \(C>0\).
Proof (Proof of Proposition 2)
By Proposition 1, it is clear that the function \(\Xi (x)\) defined in (95) exists and it is well defined. Moreover, we also showed in the previous lemma that the pointwise bound
holds. We will see at the end of the proof that estimate (141) would be a consequence of (142) and the following bound
where \(\Xi _{\epsilon }\) is defined in (96). As before, due to the translation invariance of the estimate it suffices to check without loss of generality that the bound holds for \(x_2=0\) and \(x_{1}=x\), namely
To that purpose, using the definition of \({\mathcal {A}}(x,y,\eta )\) in (97) we have that
where \({\mathcal {R}}(x,y,\eta )\) is given in (100). Therefore, recalling the definitions (96), (101), (102), using (144) and integrating by parts we obtain
where
Notice that the term (145) has exactly the same form as (96) with \(\partial _{\eta }H(\eta ,y)\) replaced by \(H(\eta ,y)\). As a consequence, mimicking the estimate (110) in Lemma 1 we have that
Moreover, arguing as in the proof of the previous lemma using dominated convergence it follows that
exists. A direct application of estimate (98) with \(H(\eta ,y)\) replaced by \(\partial _{\eta }H(\eta ,y)\) yields
We next show that limit in (146) as \(\epsilon \) tends to zero exists. To that purpose we write
where
Plugging (150) in (146), we infer that
with
where in the first term we have applied integration by parts. Identifying \({\mathbb {S}}^1\) with the symmetric interval \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\), using bound (87) and the Hölder regularity for H we obtain
for \(x\in {\mathbb {S}}^1\). Similarly arguing as in the proof of Lemma 1, by dominated convergence we have that the limits
exist. The most singular term in (155) is \(\partial _{x}\Xi _{23,\epsilon }\). This term can be written as
Identifying again \({\mathbb {S}}^1\) with the interval \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\), using the bound (87) and the Hölder regularity for H we obtain
for \(x\in {\mathbb {S}}^1.\) Using the decomposition
we infer that
Using that
identifying once again \({\mathbb {S}}^1\) with \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\) and invoking Lemma 1 we find that
On the other hand, using Taylor’s expansion and decomposition (122), we have that
with \(A(\eta )=\partial _{y}\Lambda (\eta ,0)\). The remainder \(N_{12,\epsilon }\) has an integrable singularity and can be easily estimated using (123), namely
To estimate the first term on the right hand side of (162) we further use the decomposition
to write
where \(|N_{112,\epsilon }|\le C \left\Vert H\right\Vert _{L^\infty }.\) After the change of variables \((x-\eta )=-y\zeta \) we find that the first term on the right hand side in (165) is given by
Extending the value \(\zeta \) to the whole space \({{\mathbb {R}}}\) we have that
where the remaining term \(|N_{111,\epsilon }|\le C\). Since the only poles are in \(\zeta =-i, \zeta =-i+A(x)\) and \(A(x)\in {{\mathbb {R}}}\), computing the integral using residues yields
Hence, we have that bounds (161), (163), (165) and (168) yield
Therefore, collecting the previous estimates (158) and (169) we have shown that
Application of dominated convergence as well as the fact that in the previous estimates the integrands where estimated by an integrable function independent of \(\epsilon \) shows that the
exists. Therefore, recalling that
and definitions (148), (156) and (170) we infer that
By the fundamental theorem of calculus, one can readily see that
We remark that in Lemma 1 we already showed that \(\lim _{\epsilon \rightarrow 0} \Xi _{\epsilon }(x)=\Xi (x)\) for \(x\in {\mathbb {S}}^1\) we have by uniqueness that
Noticing that we proved in (149) the Hölder semi-norm bound
and recalling that \( \partial _{x}\Xi _{\epsilon }= \partial _{x}\Xi _{1,\epsilon }+ \partial _{x}\Xi _{2,\epsilon }\) it remains to prove that
Indeed, combining the last two estimates we conclude the \(C^{1,\alpha }\) semi-norm estimate (143). To that purpose, recalling (150)–(154) and the decomposition (155) we compute the difference
where
with \({\mathcal {R}}_{j}\) for \(j=0,\ldots ,3\) defined as in (151)–(154).
We divide as in the previous proposition, the region of integration \(\{ (\eta ,y)\in {\mathbb {S}}^1 \times [\epsilon ,L] \}\) into sets of the form
for \(\epsilon \ge 0\) and estimate each integral in the different sets. For the sake of simplicity we will write \(R^{0}_{\Omega ,\le }=R_{\Omega ,\le }\) and \(R^{0}_{\Omega ,>}=R_{\Omega ,>}\). Therefore, we have
Notice that we did not include above the most singular term, namely \(M_{3,\epsilon }\). We will prove the required estimates for that quantity later on. Let us now show how to bound the other integral quantities \(M_{0,\epsilon }\) to \(M_{2,\epsilon }\) in the different regions of integration \(R^{\epsilon }_{\Omega ,\le }\) and \(R^{\epsilon }_{\Omega ,>}\).
In the inner region \(R^{\epsilon }_{\Omega ,\le }\), using the Hölder regularity for H we readily see that
In the outer region \(R^{\epsilon }_{\Omega ,>}=\{\displaystyle \max \{|y|,|\eta |\}> 2|x| \text{ and } \epsilon \le y\le L\}\), we can estimate \(M_{12,\epsilon },M_{22,\epsilon }\) by applying the mean value theorem and using Lemma 1 as
To estimate the term \(M_{02,\epsilon }\), we rewrite it by adding and subtracting as
Recalling the definition of \({\mathcal {R}}_{0}\) in (151), using Lemma 1 and applying the mean value theorem we find that
Moreover, similarly we obtain
Hence, we have that
Collecting estimates (177)–(181) we obtain that
Let us deal with the most singular term \(M_{3,\epsilon }\), given by
with \({\mathcal {R}}_{3}\) as in (154). We claim that the following estimate holds
Defining the auxiliary function
we have that
We first bound \(M_{4,\epsilon }\). Rewriting the term we obtain
Using the decomposition of the regions of integration in (175) we find that
Similarly as before, using the bound (87) we have that
On the exterior region \(R^{\epsilon }_{\Omega ,>}\) given in (175), we obtain after rearranging terms by adding and subtracting \({\widetilde{H}}(0,0)\) that
The later integral can be estimated using Lemma 1 and the mean value theorem as
On the other hand, to bound \(M_{6,\epsilon }\), we follow the same ideas as we did to estimate the term \(K_{4,\epsilon }\) or \(K_{6,\epsilon }\) in Lemma 1. Using the decomposition (122) and bound (123), we can write
where the remainder term \(r_{1}(\eta ,y)\) can be bounded \(|r_1(\eta ,y)|\le Cy^{2}\) and remainder \(r_2(\eta ,y)\) is bounded by \(|r_2(\eta ,y)|\le C |y|.\) The integrand in \(M_{62,\epsilon }\) is integrable and can be bounded by means of Lemma 1 as
The most involved term is \(M_{61,\epsilon }\). To deal with it, we argue as in the estimate of \(K_{41,\epsilon }\) in (126) or \(K_{61,\epsilon }\) in (137). Using Taylor expansion, recalling decomposition and the bound (128) we infer that
with \(|M_{612,\epsilon }| \le C |x|^{\alpha } \left\Vert {\widetilde{H}}\right\Vert _{C^{\alpha }(\Omega )}.\) Performing the change of variables \(x-\eta =y\zeta \) we have that
where the domain integration \({\widetilde{\Sigma }}\) is given by
We recall that the integration domain \({\widetilde{\Sigma }}\) is just a shifted version of the integration domain \(\Sigma \) defined in (129). Therefore, similarly as we estimated integral (130), we have that
and hence, collecting estimates (192), (193), (196) we find that
To end the bound for \(M_{4,\epsilon }\) we are left to estimate \(M_{42,\epsilon }\) in (187). Identifying \({\mathbb {S}}^1\) with \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\) and using Taylor’s expansion and decomposition (122) we obtain that
where the term \(M_{422,\epsilon }\) has an integrable singularity and can be estimated using (123), namely
We further decompose the function \(A(\eta )\) by
to write
with \(|M_{4222,\epsilon }|\le C |x|^{\alpha } \left\Vert {\widetilde{H}}\right\Vert _{C^{\alpha }(\Omega )}\). After a change of variable \((x-\eta )=y\zeta \) we find that
Estimating the integral as in (166) by extending the value \(\zeta \) to the whole space \({\mathbb {R}}\) and contour integrating via residues yields that
and hence estimates (198), (199) and (200) shows that
Thus, combining bounds (187), (188), (191), (197) and (201) we conclude that
We provide now the estimate for \(M_{5,\epsilon }\) in (186). Using the change of variables \({\widetilde{\eta }}=\eta -x\) and recalling the definition of \({\mathcal {R}}_{3}\) in (154) we find that
where by abusing of notation we wrote \(\eta \) instead of \({\widetilde{\eta }}\). Identifying \({\mathbb {S}}^1\) with \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\), using bound (87) and Taylor expansion we have that
where in the second inequality we used Assumption 1 to bound
To get the desired bound for \(M_{52,\epsilon }\) let us first rewrite the term in brackets inside the integral. To that purpose, denoting by \({\mathfrak {D}}=e^{-i \eta -y-i\Lambda (\eta ,y)}\) we have that
Therefore, plugging (205) into \(M_{52,\epsilon }\) and recalling that \({\mathfrak {D}}=e^{-i \eta -y-i\Lambda (\eta ,y)}\) we have that
where
Next, we claim that the function \({\mathfrak {J}}_{x}(\eta ,y)\) is \(C^\alpha \) Hölder is the variables \((\eta ,y)\in \Omega \), this is
Indeed, to show the pointwise \(L^{\infty }(\Omega )\) bound we readily check by applying Taylor’s expansion, Assumption 1 and bound (204) that
To show the \(\alpha \)-Hölder semi-norm bound, we have prove that
By computing the difference and using the notation
we have that
Moreover, further manipulations show that
where
and
Let us first bound \({\mathfrak {I}}_{1}\). Using Taylor’s expansion, (204) and Assumption 1 we have that
To bound \({\mathfrak {I}}_{2}\), we further split it as \( {\mathfrak {I}}_{2}= {\mathfrak {I}}_{21}+{\mathfrak {I}}_{22} \) where
Similarly as before, Taylor’s expansion, (204) and Assumption 1 yields
To bound \({\mathfrak {I}}_{22}\) we first notice that by Lemma 1 we have that
On the other hand, denoting by
we have that
where the right hand side is the line integral connecting the point \((\xi _1,y_1)\) with \((\xi _2,y_2)\) where \(\xi _1={\mathfrak {L}}_{x}(\eta _1,y_1)\) and \(\xi _2={\mathfrak {L}}_{x}(\eta _2,y_2)\). The contour of integration consists in a horizontal segment connecting \((\xi _1,y_1)\) with \((\xi _2,y_1)\) plus a vertical segment connecting this point with \((\xi _2,y_2)\). After a direct computation using Taylor’s expansion, we can check that
and hence
Using estimate (204) and Assumption 1 we can readily check that
To bound \({\mathfrak {I}}_{221}\) we proceed as follows. First, notice that for \(W(\eta ,y)=\frac{\Lambda (\eta ,y)}{y}\) we have that
After changing variables in the second integral, we infer that
Recalling that \(W(\eta ,y)=\frac{\Lambda (\eta ,y)}{y}\) and using Assumption 1, we have that \(W\in C^{1,\alpha }(\Omega )\). Therefore, we find that
and hence
Collecting the estimates (217), (218) we obtain that
which combined with (215) yields the desired estimate for \({\mathfrak {I}}_{22}\), namely,
Therefore, recalling that \({\mathfrak {I}}_{2}={\mathfrak {I}}_{21}+{\mathfrak {I}}_{22}\) and bounds (214), (219) we find that
The later estimate and (213) provide the \(\alpha \)-Hölder semi-norm bound (209) since
proving bound (207) and concluding the claim.
Hence using the fact that the function \({\mathfrak {J}}_{x}(\eta ,y)\) is \(C^\alpha \) Hölder and satisfies bound (207) we can bound the term \(M_{52,\epsilon }\) as follows. Adding and subtracting \({\mathfrak {J}}_{x}(0,0)\) we have that
Identifying \({\mathbb {S}}^1\) with the symmetric interval \(I_{x}=[x-\pi ,x+\pi ]\) for \(x\in [-\pi ,\pi ]\), using bound (87) and the \(\alpha \)-Hölder bound (207) for \( {\mathfrak {J}}_{x}(\eta ,y)\) we obtain
To deal with the second integral \(M_{522,\epsilon }\), we notice that we can mimick the ideas that we used to bound the singular term \(K_{4,\epsilon }\) in (124) which relies on using the decomposition \(\Lambda (\eta ,y)=yA(\eta )+[\Lambda (\eta ,y)-A(\eta )y]\) and bound (123). The main difference is that, for \(M_{522,\epsilon }\), the \(|x|^{\alpha }\) power is obtained using the fact that \(|{\mathfrak {J}}_{x}(0,0)|\le C|x|^{\alpha }.\) Combining those elements, and closely following the arguments to estimate \(K_{4,\epsilon }\) one can find that
Therefore, since \( M_{52,\epsilon }=M_{521,\epsilon }+M_{522,\epsilon }\) we conclude that
Estimate (203) and (223) shows that
Collecting the previous estimates (202) and (224), and recalling that \(M_{3,\epsilon }=M_{4,\epsilon }+M_{5,\epsilon }\) we infer that
Moreover, using the definition of \({\widetilde{H}}\) in (185) and Assumption 1 we infer that
and hence (225) and (226) yield
proving claim (184).
Hence, by means of estimates (182) and (184) we conclude that
Recalling that
and bounds (149), (227) we find that
which shows the desired \(C^{1,\alpha }\) semi-norm bound in (143).
To conclude the proof of the proposition, we claim that the \(C^{1,\alpha }\) semi-norm bound (228) and the \(L^{\infty }\) pointwise bound (142) implies the \(C^{1,\alpha }\) Hölder norm (141). This is, we have to show that we can control the \(L^\infty \) norm of \(\partial _{x}\Xi _{\epsilon }\). Indeed, by means of the identity
and using the \(C^{1,\alpha }\) semi-norm bound (228) and the \(L^{\infty }\) pointwise bound (142)
since \(|x_{1}-x_{2}|\le 2\pi \). Therefore, estimate (230) and the previous \(C^{1,\alpha }\) semi-norm bound (228) implies the desired \(C^{1,\alpha }\) Hölder norm estimate (141). \(\square \)
4.3 \(C^\alpha \) and \(C^{1,\alpha }\) estimates for simplified singular integral operators
We provide a similar type of estimate for a simplified operator that do not have the dependence on the function \(\Lambda \) (and hence is of convolution type) which reads
Proposition 3
Let \(H(\eta , y)\in C^{1,\alpha }(\Omega )\) and let Assumption 1 hold. Then for any \(x\in {\mathbb {S}}^{1}\) the following limit exists
where
Moreover, we have that
with \(C>0\).
Proof of Proposition 3
The proof follows closely the ideas of Propositions 1 and 2 and the estimates can be shown mimicking the arguments used there. For the sake of completeness, we include the computations to derive bound (233), being the \(C^{1,\alpha }\) bound (234) analogous. To show that the left hand side of (231) exists, we first notice that
Using the fact that \(\int _{{\mathbb {S}}^{1}} d\eta \ \partial _{\eta }(\ldots )=0\), we rewrite (232) as
Expanding the derivative and using Lemma 1 (for the trivial case of \(\Lambda \equiv 0\)), where for \(x\in [-\pi ,\pi ]\) we identify \(\eta \in {\mathbb {S}}^1\) with the symmetric interval \(I_{x}=[x-\pi ,x+\pi ]\) we find that
Since we are estimating the integrands of (236) by integrable functions that are independent on \(\epsilon \) it follows from Lebesgue Dominated Convergence Theorem that \(\lim _{\epsilon \rightarrow 0^{+}}{\widetilde{\Xi }}_{\epsilon }(x)\) exists. Therefore, the limit on the left hand side of (231) exists and the function \({\widetilde{\Xi }}\) is well-defined.
To obtain the Hölder estimate, we compute the difference \({\widetilde{\Xi }}_{\epsilon }(x)-{\widetilde{\Xi }}_{\epsilon }(0)\) and divide the region of integration in the integrals \(\int _{\epsilon }^{L} dy \int _{{\mathbb {S}}^{1}} d\eta (\ldots )\) into sets of the form
as
In the inner region, we have that using Lemma 1 (again in the trivial case of \(\Lambda \equiv 0\)),
In the outer region we rewrite the term \(D_{2,\epsilon }\) as follows
The first integral \(D_{21,\epsilon }\) can be bounded using the mean value theorem as
To deal with \(D_{22,\epsilon }\), we make the following change of variables \({\widetilde{\eta }}=x-\eta \) to find that
Therefore we have that
which together with (239) yields
Combining estimates (238)–(241) we infer that
which shows the desired \(C^\alpha \) semi-norm bound (233). \(\square \)
To conclude this subsection, let us state the following result which will be needed later to show the contracting estimates in Sect. 5.1.
Proposition 4
(Difference \(C^\alpha \) estimate) Let \(H(\eta , y)\in C^{\alpha }(\Omega )\) and let \(\Lambda ^1,\Lambda ^2\) satisfy Assumption 1. Then for any \(x\in {\mathbb {S}}^{1}\) the following limit exists
where
with \(\epsilon >0.\) Moreover, we have that
with \(C>0\).
Proof of Proposition 4
This result can be proved by a means an elementary adaption of the Proposition 1. Notice that the only difference between this result and Proposition 1 is that instead of a single function \(\Lambda \) appearing as a perturbation in the denominator we have two different functions \(\Lambda ^1,\Lambda ^2\) affecting the denominator in (244). Actually, Proposition 1 is a particular case in which we take \(\Lambda ^1=0 \) and \(\Lambda ^2=\Lambda \). The proof of this Proposition 4 can be showed around similar lines of Proposition 1 just estimating the corrective terms due to \(\Lambda ^1,\Lambda ^2\) as it was made in the proof of Proposition 1. We will not provide the details here. \(\square \)
5 The a priori estimates for the operators \({\textsf{T}}_{1},\ldots ,{\textsf{T}}_{4}\)
In this section, we will provide the \(C^\alpha \) and \(C^{1,\alpha }\) Hölder estimates for the operators \({\textsf{T}}_{1},\ldots ,{\textsf{T}}_{4}\) and the function \({\textsf{G}}\). The key point towards the estimates relies on the \(C^\alpha \) and \(C^{1,\alpha }\) Hölder bounds showed in the previous Sect. 4.
In order to do so, let us introduce the following new assumption:
Assumption 2
We assume that the function \(\vartheta :\Omega \rightarrow {\mathbb {S}}^{1}\) belongs to \(C^{1,\alpha }(\Omega )\) and also that there exists \(\delta _1\in (0,\frac{1}{2})\) such that
Remark 7
The new function \(\vartheta (\eta ,y)\) will play the role of the function \(\partial _{\xi } \Theta (X(\eta ,y),y))\) in the operators \({\textsf{T}}_{1},\ldots ,{\textsf{T}}_{4}\). However, using this notation reduces the length of the formulas.
Remark 8
In the following we will define the operators \({\textsf{T}}_{1},\ldots ,{\textsf{T}}_{4}\) by means of certain integral expressions which represent operators from \(C^\alpha \) to \(C^\alpha \) and from \(C^{1,\alpha }\) to \(C^{1,\alpha }\). For the sake of simplicity, we will use the same symbol to denote these operators, in spite of the fact that they act in different spaces. The space on which they act will be clear in each particular case from the context.
Proposition 5
(Estimates \({\textsf{T}}_{1})\) Let Assumptions 1 and 2 hold. Then for \(j_0\in C^{1,\alpha }({\mathbb {S}}^1)\) we define the operator \({\textsf{T}}_{1}\) as follows
where
The limit in (246) exists, moreover we have that
Proof
To show that the right hand side of (246) exists, let us split the function \({\mathfrak {G}}_{1,\epsilon }(x,\eta )\) for \(n>0\) and \(n<0\). We will use the notation \({\mathfrak {G}}^{+}_{1,\epsilon }\) for \(n>0\) and \({\mathfrak {G}}^{-}_{1,\epsilon }\) otherwise. Therefore, for \(n>0\) we have that
where
On the one hand, calculating explicitly the summation via geometric series, we have that the first term in (250) denoted by \( {\mathfrak {G}}^{+}_{11,\epsilon }\) is given by
with
Therefore, by means of (252), we have that the operator \({\textsf{T}}_{1}\) for \(n>0\) given in (246) can be written after changing the order of integration as
assuming that the limits exist. To show that the limit of the second integral \({\textsf{T}}^{+}_{12}j_{0}(x)\) exists, we notice that the function \({\mathfrak {G}}^{+}_{12}(x,\eta )\) given in (251) is a smooth function in x and decays exponentially in n. Therefore, using the bound
we find that
Since the estimate is independent of \(\epsilon \) using the Lebesgue Dominated Convergence Theorem, we can ensure that the limit exists and that the operator \({\textsf{T}}^{+}_{12}[\Lambda ,\vartheta ]j_{0}(x)\) is well defined. Moreover, we also have the pointwise bound
On the other hand, to ensure that \({\textsf{T}}^{+}_{11}j_{0}(x)\) in (253) is well defined we make use of Proposition 1 where
It is straightforward to check that choosing \(H(\eta ,y)\) as in (255), we have that \(H(\eta ,y)\in C^{\alpha }(\Omega )\) since
where in the last inequality we have used Assumption 1. To show the \(C^{\alpha }\) and \(C^{1,\alpha }\) semi-norm estimate (248) and (249), we check that using estimate
we find that
Thus
Similarly, as before a direct application of Proposition 1 and Proposition 2 with \(H(\eta ,y)\) as in (255) yields
since
Since the estimates for \(n<0\) follow identically, we omit a detailed proof here. \(\square \)
Proposition 6
(Estimates \({\textsf{T}}_{2})\) Let Assumption 2 hold. Then for \(j_0\in C^{1,\alpha }({\mathbb {S}}^1)\) we define the operator \({\textsf{T}}_{2}\) as follows
where
The limit (261) exists and in addition the following estimates hold
Proof
The proof follows the same lines of Proposition 5. We first, show that the right hand side of (261) exists, and afterwards we provide the Hölder bounds (263) and (264). To that purpose, we split \({\mathfrak {G}}_{2,\epsilon }(x,\eta )\) for \(n>0\) and \(n<0\) and just show the estimates for \(n>0\), being the case for \(n<0\) identical. Therefore, for \(n>0\) we have that
where
Computing the sum in the first term in (265) we obtain
and changing the order of integration the operator \({\textsf{T}}_{2}[\vartheta ]j_{0}\) in (261) can be written for \(n>0\) as
As before, the remainder smoothing term \({\mathfrak {G}}^{+}_{22}(x,\eta )\) (266) is a smooth function in x and in particular
Hence, since estimate (268) is independent of \(\epsilon \), Lebesgue Dominated Convergence Theorem shows that the limit exists and that the associated operator \({\textsf{T}}^{+}_{22}[\vartheta ]j_0\) is well-defined. Choosing
and noticing that
we can apply Lemma 3 to obtain that \({\textsf{T}}^{+}_{21}[\vartheta ]j_0\) is well defined. We are left to show the \(C^\alpha \) and \(C^{1,\alpha }\) semi-norm estimates (263)–(264). Making use of the bound
we infer that for \({\mathfrak {G}}^{+}_{22}\) defined in (266)
holds. Thus, due to Assumption 2 we obtain
To deal with the most singular operator \({\textsf{T}}_{21}^{+}[\vartheta ]\) we make use of Proposition 3. Indeed, applying estimates (233) and (234) to the function \(H(\eta ,y)\) as in (269) we find that
since
Therefore, using (271) and (273) we conclude that
and similarly invoking (272) and (274) we find that
\(\square \)
Proposition 7
(Estimates \({\textsf{T}}_{3}\) and \({\textsf{T}}_{4})\) Let Assumptions 1 and 2 hold. Then for \(j_0\in C^{1,\alpha }({\mathbb {S}}^1)\) we define the operators \({\textsf{T}}_{3}\) and \({\textsf{T}}_{4}\) as follows
with
and
Then we have that
and
Remark 9
As we can see from the estimates the operators, \({\textsf{T}}_{3}\) and \({\textsf{T}}_{4}\) are smoothing operators that transform functions from \(L^\infty ({\mathbb {S}}^1)\) to functions in \(C^{1,\alpha }({\mathbb {S}}^1)\). Moreover, the series in \({\mathfrak {G}}_{3}\) and \({\mathfrak {G}}_{4}\) are uniformly convergent and therefore we do not need to define the operators \({\textsf{T}}_{3}\) and \({\textsf{T}}_{4}\) in (277), (278) as a limit since the integrals are well defined.
Proof
Notice that M(n, y) defined in (281) is a smooth function in y and decays exponential in n. Therefore, the simple bounds
yield
Moreover using that \(|e^{i nx_{1}}-e^{in x_2}| \le C |n|^\alpha |x_{1}-x_{2}|^{\alpha }\) for \(\alpha \in (0,1)\) and \(x_{1},x_{2}\in {\mathbb {S}}^{1}\) we have that for \(\eta \in {\mathbb {S}}^1\)
Therefore using the above pointwise estimates we conclude that the Hölder semi-norm of \({\textsf{T}}_{3}\), \({\textsf{T}}_{4}\) defined in (277)–(278) is bounded as
concluding the proof. \(\square \)
5.1 Estimates for the differences of \({\textsf{T}}_{j}\)
In this subsection, we will derive estimates for the difference operators. This will be needed in order to show the contraction estimate in the general fixed point argument (see Sect. 7) in the lower order Hölder space \(C^{\alpha }\). The proof follows the same lines as in the previous subsection but some extra computations are needed in order to get the desired contraction type estimate. More precisely, our first result reads
Proposition 8
Let \(\Lambda ^1,\Lambda ^2\) satisfy Assumption 1 and \(\vartheta ^1,\vartheta ^2\) satisfy Assumption 2. Let \(j_{0}\in C^{\alpha }({\mathbb {S}}^1)\) and define
where \({\textsf{T}}_{1}[\cdot ,\cdot ]\) is given in (246). Then we have that
Proof
Let us first introduce some notation. We define by \({\mathfrak {G}}^{d}_{1,\epsilon }\) the difference function
where \({\mathfrak {G}}_{1,\epsilon }[\cdot ,\cdot ]\) is given in (247). Following the lines of Proposition 5, we split the function (247) for \(n>0\) and \(n<0\). Similarly as in the previous propositions, we will use the notation \({\mathfrak {G}}^{d,+}_{1,\epsilon }\) for \(n>0\) and \({\mathfrak {G}}^{d,-}_{1,\epsilon }\) otherwise.Then, for \(n>0\) we find that
with
It will be convenient to decompose \({\textsf{L}}^{n}(\eta ,y)\) as follows
Plugging the decomposition \({\textsf{L}}^{n}={\textsf{L}}^{n}_1+{\textsf{L}}^{n}_2\) into (289) and calculating the sum in n for the first term \({\mathfrak {G}}^{d}_{11,\epsilon }(x,\eta )\) we obtain
Denoting by
we obtain that
Therefore, recalling the definition of the operator \({\textsf{T}}^{d}_{1}\) in (286) and the previous computations we find, after changing the order of integration that
where
We start estimating the third term \({\textsf{T}}^{d}_{13}j_{0}(x)\). Notice that the function \({\mathfrak {G}}^{d}_{12,\epsilon }\) in (289) is a smooth function in x due to the exponential decay in n of the terms that define the function (289). Furthermore, we also have that the functions \({\textsf{L}}^{n}_{1}(\eta ,y),{\textsf{L}}^{n}_{2}(\eta ,y)\) defined in (291) are bounded by
and thus
Since the estimate (297) is independent of \(\epsilon \), Lebesgue Dominated Convergence Theorem shows that the limit exists and that the associated operator \({\textsf{T}}^{d}_{13}j_0\) in (294) is well-defined. Moreover, we have the pointwise estimate
The \(C^{\alpha }\) semi-norm estimate for \({\textsf{T}}^{d,+}_{13}j_0\) follows directly by using estimate (256) which combined with (298) shows
To deal with \({\textsf{T}}^{d,+}_{11}j_0\) in (292) and \({\textsf{T}}^{d,+}_{12}j_0\) in (293), we can invoke Proposition 4 and Proposition 1, respectively. Notice that a consequence of the before mentioned lemmas is that the limits of the integrals (292) and (293) are well-defined.
To that purpose, we first notice using the expression (291) that
since by Assumption 1 we can write \(\Lambda ^{2}(\eta ,y)-\Lambda ^{1}(\eta ,y)=yB(\eta ,y)\) for \(B(\eta ,y)\in C^{1,\alpha }(\Omega ).\) Thus, choosing
we apply estimate (245) in Proposition 4 combined with (300) to obtain that
On the other hand, proceeding in a similar way and choosing
we use Lemma 1 to show that
Collecting bounds (299)–(302) we deduce estimate (287) for \(n>0\). Repeating the same arguments for \(n<0\) concludes the proof. \(\square \)
Proposition 9
Let \(\vartheta ^1,\vartheta ^2\) satisfy Assumption 2. Let \(j_0\in C^{\alpha }({\mathbb {S}}^1)\) and define
where \({\textsf{T}}_{2}[\cdot ]\) is given in (261). Then we have that
Proof
Following the same notation as in the last proposition and the arguments of the proof of Proposition 6, we introduce the difference function \({\mathfrak {G}}^{d}_{2,\epsilon }\)
where \({\mathfrak {G}}_{2,\epsilon }[\cdot ]\) is given in (262). The using the same notation by means of the superscripts ± as before, we find that for \(n>0\) we have that
with
Therefore, calculating the sum in n in \({\mathfrak {G}}^{d}_{21,\epsilon }(x,\eta )\) we find that
and thus
where
Since the function \({\mathfrak {G}}^{d,+}_{22}\) is smooth in x since the series that defines it decays exponentially in n, we infer using the expression on \({\textsf{L}}_3(\eta ,y)\) that
Since estimate is independent of \(\epsilon \), Lebesgue Dominated Convergence Theorem shows that the limit exists and that the associated operator \({\textsf{T}}^{d,+}_{22}j_0\) in (308) is well-defined. Moreover, we have the pointwise estimate
The Hölder semi-norm estimate follows in a similar way as in (256). Therefore,
To estimate the remainder operator \({\textsf{T}}^{d}_{21}j_0\) we apply Proposition 3 with \(H(\eta ,y)={\textsf{L}}_{3}j_{0}(\eta )\in C^{\alpha }(\Omega )\) and hence
By means of (311)–(312) we deduce that (304) concluding the proof. \(\square \)
Proposition 10
Let \(\Lambda ^1,\Lambda ^2\) satisfy Assumption 1 and let \(\vartheta ^1,\vartheta ^2\) satisfy Assumption 2. Let \(j_0\in C^{\alpha }({\mathbb {S}}^1)\) and define
where \({\textsf{T}}_{3}[\cdot ,\cdot ]\) and \({\textsf{T}}_{4}[\cdot ]\) are given in (277)–(278). Then we have that
Proof
The proof follows simply by combining the bounds derived in Proposition 8, Proposition 9 and Proposition 7. \(\square \)
5.2 Estimates for \({\textsf{G}}\)
In this subsection, we provide the \(C^{1,\alpha }\) Hölder estimate for the term \({\textsf{G}}\) defined in (85). To that purpose, let us start with the following lemma:
Lemma 2
Let \(f\in C^{2,\alpha }(\partial \Omega )\) and define the functions
Denote by \(\widehat{h^{+}}(n),\widehat{h^{-}}(n)\) the Fourier coefficients of \(h^{+},h^{-}\) respectively. We define
Then the function \({\mathcal {Z}}\in C^{2,\alpha }({\mathbb {S}}^1)\). Moreover, we have that
Proof
Adding and subtracting \(|n|\widehat{h^{-}}(n)e^{inx}\) in (317) we obtain that
where \(|W_{i}(n)|\le C e^{-Ln}\) for \(i=1,2\). Therefore, recalling that
where \({\mathcal {H}}\) is the periodic Hilbert transform we arrive at
Moreover, using the fact that the Hilbert transform is a bounded operator in the class of Hölder spaces (cf. [18]) namely
and that \(\partial _{x}h^{-}(x)=(f(x,L)-A)\in C^{2,\alpha }({\mathbb {S}}^1)\) we obtain
\(\square \)
Lemma 3
Let \(g\in C^{2,\alpha }(\partial \Omega _{-})\) and define \({\widetilde{g}}(x)=g(x)-{\mathcal {Z}}(x)\) where \({\mathcal {Z}}(x)\) is given in (317). Then for \(x\in {\mathbb {S}}^1\) we define
Moreover, we have that
Proof
Recalling (85), we have that
where
and
Therefore, using the fact
and (256) we infer that
To conclude, we recall that \({\widetilde{g}}(x)=g(x)-{\mathcal {Z}}(x)\) and thus by means of Lemma 2 we obtain that
\(\square \)
6 Existence of solutions to the integral equation for \(j_{0}\)
In this section we are interested in studying the existence of a solution \(j_0\in C^{1,\alpha }(\partial \Omega _{-})\) to the integral equation (71) given by
To that purpose, let us first introduce the following notation. Given \(j_{0}\in C^{1,\alpha }(\partial \Omega _{-})\) we define the operator
such that for \((\Lambda ,\vartheta )\in B_{\delta _{0}}(C^{2,\alpha }(\Omega ))\times B_{\delta _{1}}(C^{1,\alpha }(\Omega ))\) we have that
where \({\textsf{T}}_{i}\) are defined in (72), (73), (76) and (77).
Remark 10
More precisely, the operators \({\textsf{T}}_{i}[\Lambda ,\vartheta ]\) as stated in (72), (73), (76) and (77) are written for the particular case where \(\vartheta (\eta ,y)=\partial _{\xi } \Theta (X(\eta ,y),y))\). However, we will show the existence of solutions for a more general class of integral equations, namely for general functions \(\Lambda \) and \(\vartheta \) which satisfied certain regularity and smallness assumptions. We will later check that for the particular case where \(\vartheta (\eta ,y)=\partial _{\xi } \Theta (X(\eta ,y),y))\) the required assumptions are satisfied (cf. Sect. 7).
Remark 11
In a similar manner as we did for the operators \({\textsf{T}}_{1}, \ldots , {\textsf{T}}_{4}\), we now define an operator \(\Upsilon \) acting either in \(C^\alpha \) or in \(C^{1,\alpha }\). We will not use different symbols for operators acting in different spaces for the sake of simplicity, (cf. Remark 8).
In the first place, we have the following two lemmas
Lemma 4
Let \(M_{0}\le \displaystyle \min \{\delta _0,\delta _1\}\) where \(\delta _0, \delta _1\) are defined in Assumptions 1 and 2, respectively. Let \({\widetilde{M}}\le M_{0}\) and
Then we have that
Furthermore, the operator \(\Upsilon [\Lambda ,\vartheta ]\) is Lipschitz in \(C^{\alpha }(\partial \Omega _{-})\), i.e. for any \(\Lambda ^{1},\Lambda ^{2}\) and \(\vartheta ^{1},\vartheta ^{2}\) satisfying (326) we have that
Proof
The proof of (327) is a consequence of the estimates (249), (264), (284) and (285), as well as the fact that those estimates are preserved for the averaging operators \(\langle \cdot \rangle \). Notice that the derivatives of the averaging operators are zero since they are just constant functions.
Indeed, applying those bounds we readily check that
for \( {\widetilde{M}}\le M_{0}\). To show estimate (328), we invoke bounds (287), (304), (315) and (316) to obtain
where the action of the operators \(\langle {\textsf{T}}_{i}[\Lambda _{\ell },\vartheta _{\ell }](\cdot ) \rangle \) for \(i=1,\ldots ,4\) and \(\ell =1,2\) acting on the function \(j_0\) is given by \(\langle {\textsf{T}}_{i}[\Lambda _{\ell },\vartheta _{\ell }]j_{0} \rangle \). We also use the fact that the terms \(\langle f^{-}j_0 \rangle \) cancel out. \(\square \)
Lemma 5
There exists \(M_{0}\le \displaystyle \min \{\delta _0,\delta _1\}\) such that for any \( {\widetilde{M}}\le M_{0}\) and \(\Lambda ,\vartheta , f^{-}\) satisfying (326) the operator \(\left( {\textsf{I}}-\Upsilon \right) \) is invertible in \(C^{1,\alpha }(\partial \Omega _{-})\). More precisely, there exists an operator \(\Pi [\Lambda ,\vartheta ]= \left( {\textsf{I}}-\Upsilon [\Lambda ,\vartheta ]\right) ^{-1}\) such that
Moreover, the operator \(\Pi [\Lambda ,\vartheta ]\) is Lipschitz in \(C^{\alpha }(\partial \Omega _{-})\), i.e. for any \(\Lambda ^{1},\Lambda ^{2}\) and \(\vartheta ^{1},\vartheta ^{2}\) satisfying (326) we have that
Proof
Under the hypothesis of Lemma 4 we have shown that \(\left\Vert \Upsilon [\Lambda ,\vartheta ]\right\Vert _{{\mathcal {L}}\left( C^{1,\alpha }(\partial \Omega _{-})\right) }\le C {\widetilde{M}}\) for some \({\widetilde{M}}\) sufficiently small. Therefore, the existence of \(\left( {\textsf{I}}-\Upsilon \right) ^{-1}\) follows from the classical Neumann series (cf. [21]). Indeed, we have that
where \(n=0\), \(\Upsilon ^{0}[\Lambda ,\vartheta ]={\mathcal {I}}\) is the identity operator. Moreover, for \(\Upsilon [\Lambda ,\vartheta ]\in {\mathcal {L}}\left( C^{1,\alpha }(\partial \Omega _{-})\right) \) and using estimate (327) we find that
Denoting by \(A_{1}^{n}=\Upsilon ^{n}[\Lambda ^1,\vartheta ^1]\), \(A_{2}^{n}=\Upsilon ^{n}[\Lambda ^2,\vartheta ^2]\) we can find that
Thus, combining (331) and (333) we find that
and hence by means of bounds (327) and (328)we infer that if \(M_0\) is sufficiently small that
\(\square \)
Combining both lemmas we can provide the existence of solutions to the integral equation (324) which reads
Proposition 11
Let the hypothesis of Lemma 4 hold. Let also \(f\in C^{2,\alpha }(\Omega )\), \(g\in C^{2,\alpha }(\partial \Omega _{-})\) and \({\textsf{G}}\) given as in (85). Then there exists a solution \(j_0\in C^{1,\alpha }(\partial \Omega _{-})\) to (324) given by
Furthermore,
Proof
The fact that \(j_0\) as given in (334) solves (324) is a consequence of the definition of the operator \(\Pi [\Lambda ,\vartheta ]\) in Lemma 5. On the other hand, we notice by means of Lemma 3 and estimate (321) yields
where \({\textsf{G}}\) is as in (85). This estimate as well as the fact that \(\Pi :B_{{\widetilde{M}}}(C^{2,\alpha }(\Omega ))\times B_{{\widetilde{M}}}(C^{1,\alpha }(\Omega )) \rightarrow {\mathcal {L}}\left( C^{1,\alpha }(\partial \Omega _{-})\right) \)
\(\square \)
7 The fixed point argument
In this section we will provide the fixed point argument, this is, we will define an adequate operator \(\Gamma \) on a subspace of \(C^{2,\alpha }(\Omega )\) which has a fixed point b such that \(B=(0,1)+b\) is a solution to (1) and (7).
We define the operator \(\Gamma : B_{M}(C^{2,\alpha }(\Omega )) \rightarrow C^{2,\alpha }(\Omega )\) using several intermediate building blocks. Given \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) we define the flow map associated with the vector field \(B=(0,1)+b\) as the mapping \(X[b]: B_{M}(C^{2,\alpha }(\Omega ))\rightarrow C^{2,\alpha }(\Omega )\) which satisfies the ordinary differential equation
Moreover, we denote by \(X[b]^{-1}(\xi ,y)\) the inverse function of X[b] in the first variable, namely \(X[b](X[b]^{-1}(\xi ,y),y)=\xi \). Then we define \(\Lambda :B_{M}(C^{2,\alpha }(\Omega ))\rightarrow C^{2,\alpha }(\Omega )\) as
Actually, in Lemma 6 we will show the stronger result \(Im(\Lambda )\subset B_{CM}(C^{2,\alpha }(\Omega ))\) for \(C>0\). We define also the function \(\Theta :B_{M}(C^{2,\alpha }(\Omega ))\rightarrow C^{2,\alpha }(\Omega )\) as
Finally \(\vartheta [b]:B_{M}(C^{2,\alpha }(\Omega ))\rightarrow C^{1,\alpha }(\Omega )\) is given by
Notice that combining (340) and (341) we can write
Moreover, arguing as in Lemma 6 we prove that \(Im(\vartheta )\subset B_{CM}(C^{1,\alpha }(\Omega ))\).
Therefore, we now introduce the following operator
defined by \(\Psi [b]=(\Lambda [b], \vartheta [b])\) and choose \({\widetilde{M}}=CM\le M_{0}\). Next, notice that the function \(j_{0}\in C^{1,\alpha }(\partial \Omega _{-})\) given by (334) solving the integral equation (325) can be expressed as the following composition of operators
The condition \({\widetilde{M}}=CM\le M_{0}\) must be satisfied so that Proposition 11 can be applied. To conclude the construction, we use two additional building blocks. First, for \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) and \(j_0= \Pi [\Psi [b]]({\textsf{G}}-\langle {\textsf{G}} \rangle )\), we define
where j is the unique solution to the transport type problem
To conclude, the new velocity field \(W\in C^{2,\alpha }(\Omega )\) is recovered by means of the div-curl problem (also known as Biot-Savart operator) given by
where W is the unique solution to
where \(J=J[f,g,b]\) is given by
(cf. (70)) with \(j_0= \Pi [\Psi [b]]({\textsf{G}}-\langle {\textsf{G}} \rangle )\). Then, we define \(\Gamma (b)=W\). In particular, the full operator can be expressed as the following composition of operators
The precise statement of the theorem reads as follows:
Theorem 7.1
Let \(f\in C^{2,\alpha }(\Omega )\) satisfying (6) and \(g\in C^{2,\alpha }(\partial \Omega _{-})\). There exist \(\epsilon _{0}>0, M_{0}=M_{0}(L,\alpha )\) sufficiently small such that if
then \(\Gamma (B_{M}(C^{2,\alpha }(\Omega )))\subset B_{M}(C^{2,\alpha }(\Omega ))\). Furthermore, the operator \(\Gamma \) has a unique fixed point in \(B_{M}(C^{2,\alpha }(\Omega ))\).
7.1 Preliminary estimates: ODE, transport problem and div-curl problem
Before showing the proof of Theorem 7.1, let us first show several Lemmas that will be needed to provide the proof of Theorem 7.1. The first result summarizes general Hölder estimates for \(\Lambda [b]\) and \(\vartheta [b]\).
Lemma 6
Let \(M_{0}\) be sufficiently small and let \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) with \(M\le M_0\). Then, for \(\Lambda [b], \vartheta [b]\) given in (339) and (342), we have that \(\Lambda [b]\in C^{2,\alpha }(\Omega )\) \(\vartheta [b]\in C^{1,\alpha }(\Omega )\) and
Moreover, the operator \(\Lambda [b]\) and \(\vartheta [b]\) are Lipschitz in \(C^{1,\alpha }(\Omega )\) and \(C^{\alpha }(\Omega )\) respectively. This is for any \(b^{1},b^{2} \in B_{M}(C^{2,\alpha }(\Omega ))\)
Proof
The proof of Lemma 6 is the standard argument used to compute the dependence of the solutions for an ODE in their parameters. More precisely, the main idea of the proof is to control incremental quotients of the form \(\frac{f(x+h)-f(x)}{h}\) for \(h>0\), as well as terms quotients of the form \(\frac{|f(x)-f(y)|}{|x-y|^{\alpha }}\) using Grönwall type arguments. A bound similar to (349), (350) in Lemma 6 but estimating only the \(C^{1,\alpha }\) Hölder norm have been shown in [2, Lemma 3.7]. Moreover, the proof of (351), (352) is obtained computing the differences of the solutions of the differential equations which define \(\Lambda \), \(\vartheta \) (cf. (339), (342) and (338)) with \(b=b^1\) and \(b=b^2\). \(\square \)
The next results deals with Hölder estimates for solutions to the hyperbolic transport type problem (344). For a proof of this result we refer the reader to [2, Proposition 3.8], where a more general result is shown.
Proposition 12
Let \(M_{0}\) be sufficiently small. Then for every \(M\le M_{0}\), \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) and \(j_0\in C^{1,\alpha }(\partial \Omega _{-})\), there exists a unique \(j\in C^{1,\alpha }(\Omega )\) solving
Moreover, there exists a constant \(C=C(\alpha ,L)>0\) such that the following estimate holds
Furthermore, let \(j_{1},j_{2}\in C^{\alpha }(\Omega )\) be two different solutions to (353) with b given by \(b^{1},b^{2}\in B_{M}(C^{2,\alpha }(\Omega ))\) respectively. Then
where \(C=C(\alpha ,L)>0\).
To conclude let us also recall the following result regarding Hölder estimate for the div-curl problem, cf. [2, Proposition 3.11] for a detailed proof.
Proposition 13
For every \(J\in {\mathbb {R}}\), \(j\in C^{1,\alpha }(\Omega )\) and \(f\in C^{2,\alpha }(\partial \Omega )\) satisfying (6), there exists a unique solution \(W\in C^{2,\alpha }(\Omega )\) solving
where the curve \({\mathcal {C}}=\{ (0,y), y\in [0,L]\}.\) Moreover, the solution satisfies the inequality
where \(C=C(L,\alpha )>0\).
7.2 Proof of Theorem 7.1
First, we show that the operator \(\Gamma \) maps \( b\in B_{M}(C^{2,\alpha }(\Omega ))\) into itself and second, that the operator \(\Gamma \) is a contraction mapping in the lower order norm \(C^{1,\alpha }(\Omega )\). By combining both ingredients, we can invoke Banach fixed point theorem to infer that the operator \(\Gamma \) has a unique fixed point in \(B_{M}(C^{2,\alpha }(\Omega )).\) Let us start with the former assertion. By means of (347) we find that for \(b\in B_{M}(C^{2,\alpha }(\Omega ))\)
where in the first inequality we have used (357) in Proposition 13 and in the latter we invoked (355) in Proposition 12. On the other hand, recall that by definition \(\Psi [b]=(\Lambda [b],\vartheta [b])\). Hence, combining inequalities (349) and (350) in Lemma 6 and estimate (335) in Proposition 11 we have that
Moreover, we can show using the expression of J given in (346) and the previous estimates (249), (264), (284), (285) and (335) that
Thus, we readily check that
where in the second inequality we have used the smallness assumption (348). Choosing \(\epsilon _{0}=\frac{1}{4C}\), we obtain that \(\Gamma (B_{M}(C^{2,\alpha }(\Omega )))\subset B_{M}(C^{2,\alpha }(\Omega ))\).
We now claim that the \(B_{M}(C^{2,\alpha }(\Omega ))\) endowed with the topology \(C^{1,\alpha }\) is a complete metric space which we will denote by \((B_{M}(C^{2,\alpha }(\Omega )), \left\Vert \cdot \right\Vert _{C^{1,\alpha }})\). In order to show this it is sufficient to check that \(B_{M}(C^{2,\alpha }(\Omega ))\) is a closed subset of \(C^{1,\alpha }(\Omega )\), (cf. [2, Proof of Lemma 3.12]).
Moreover, we also claim that
is a contraction mapping. To this end, we have to show that for \(b^{1},b^{2}\in B_{M}(C^{2,\alpha }(\Omega ))\), we need to estimate the difference \(\left\Vert \Gamma (b^1)-\Gamma (b^2)\right\Vert _{C^{1,\alpha }(\Omega )}\). To that purpose, using the expression of the full operator given in (347) and noticing that the Biot-Savart operator defined in (345) is a linear operator, we obtain by means of Proposition 13 that
where \(J^{\ell }\) is given by (346) with \(j_0= \Pi [\Psi [b^{\ell }]]({\textsf{G}}-\langle {\textsf{G}} \rangle )\) for \(\ell =1,2\). To deal with the transport type operator T given in (344), we invoke inequality (355) in Proposition 12 to find that
On other hand by means of (330) in Lemma 5 and recalling that \(\Psi [b^1]=(\Lambda [b^1],\vartheta [b^1])\) we arrive at
and
Hence, combining both estimates with the fact that
and using (348) we find that
On the other hand using Eq. (346) and noticing that the first term on the right hand side of (346) cancels out we infer that
where we have argued as in the derivation of (362) and using that \(j^{\ell }_0= \Pi [\Psi [b^{\ell }]]({\textsf{G}}-\langle {\textsf{G}}\rangle )\) with \(\ell =1,2.\)
Combining the later estimate with (360), (362) and making use of the estimates (351)-(352) in Lemma 6 we conclude
where \(\beta \) is strictly less than one for \(\epsilon _{0}= \frac{1}{2\,CM}\). Therefore,
is a contraction mapping for \(M\le M_{0}\). Invoking Banach fixed point theorem we find that \(\Gamma \) admits a unique fixed point \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) and thus \(\Gamma (b)=b\), which concludes the proof.
8 Proof of Theorem 1.1
Take \(\epsilon _{0}>0\) and \(M_{0}=M_{0}(L,\alpha )\) be the constants defined in Theorem 7.1. Let also \(M\le M_{0}\). Then, Theorem 7.1 implies that \(\Gamma \) has a unique fixed point \(b\in B_{M}(C^{2,\alpha }(\Omega ))\). We claim that if \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) is a fixed point operator of \(\Gamma \) then \(B=(0,1)+b\) is the velocity field which is a solution \((B,p)\in C^{{2,\alpha }}(\Omega )\times C^{{2,\alpha }}(\Omega )\) to (1) satisfying the boundary conditions
On the one hand, assuming that \(b\in B_{M}(C^{2,\alpha }(\Omega ))\) is a fixed point operator of \(\Gamma \) it is straightforward to check by construction (see that b solves (345)) that
On the other hand, since b is a fixed point of of \(\Gamma \) we find that
where in the last equality we have use the first equation in (345) where j solves the transport system (344). Thus,
and \(j_0\) as in (343). Then we can define a uni-valued function p in \(\Omega \) given by means of
where the integral on the right hand side is the line integration computed along any curve connecting \(\varvec{0}=(0,0)\) and \(\varvec{x}\in \Omega \). In order to check that p is a uni-valued function on \(\Omega \), we only need to show that (67) holds or equivalently that (68) is satisfied. However, this follows because J has been chosen as in (346) (cf. (70)).
Finally, since \(B\in C^{2,\alpha }(\Omega )\) and \(j\in C^{1,\alpha }(\Omega )\) it follows from (364) that \(p\in C^{2,\alpha }(\Omega )\) and
holds. Therefore, \((B,p)\in C^{{2,\alpha }}(\Omega )\times C^{{2,\alpha }}(\Omega )\) solves (1).
8.1 Checking the tangential boundary value condition
To conclude the proof of Theorem 1.1, it is only left to show that \(B\cdot \tau =g, \text{ on } \partial \Omega _{-}.\) To that purpose, let us first show some consequences of the a priori estimates in Sect. 4.
Corollary 1
Let \(j_{0}\in C^{1,\alpha }(\partial \Omega _{-})\). Then, for \(i=1,\ldots ,4\) the operators
are well defined operators. Furthermore, they can be expressed as the perturbation of convolution operators given in (63).
Proof
By means of Proposition 5, Proposition 6 and Proposition 7 we have that for \(j_0\in C^{1,\alpha }(\partial \Omega _{-})\) the operators \({\textsf{T}}_{i}j_{0}\) are well defined and \({\textsf{T}}_{i}j_{0}\in C^{1,\alpha }(\partial \Omega _{-})\), \(i=1,\ldots ,4.\) On the other hand, for \(j_{0}\in C^{1,\alpha }(\partial \Omega _{-})\), the operator \({\mathcal {T}}_{0}^{NL}j_{0}\) given as in (83) is well defined and \({\mathcal {T}}_{0}^{NL}j_{0}\in C^{2,\alpha }(\partial \Omega _{-})\). Thus combining both facts yields that
We now show that we can express \({\mathcal {T}}_{i}^{NL}j_{0}(x)\) as the convolution operators given in (63), for \(i=1,\ldots ,4.\) We will just provide the proof for \(i=1\), since the cases \(i=2,3,4\) are very similar. Recalling that the \({\textsf{T}}_{1}\) is understood as the limit operator (72)
we have that
By means of Proposition 5, we have shown the uniform estimate
Therefore, by the Lebesgue Dominated Convergence Theorem and the fact that \({\mathcal {T}}_{0}^{NL}\) has an integrable kernel, we conclude that
Using the formal Fourier computations in Sect. 3.2, we have that for \(\epsilon >0\)
where
Computing the summation in n, in a similar fashion in (252) we find that
and hence by Lebesgue Dominated Convergence Theorem we conclude that
Moreover \( \lim _{\epsilon \rightarrow 0^{+}} {\mathcal {G}}_{1,\epsilon }^{NL}(x,\eta )\rightarrow {\mathcal {G}}_{1}^{NL}(x,\eta ), \forall x\ne 0\). Therefore, combining the previous computations we obtain that
which shows the desired asserted expression as in (63). \(\square \)
The following lemma gives the tangential velocity in terms of the Biot–Savart system (356).
Lemma 7
Let \(b\in C^{2,\alpha }(\Omega ), X^{-1}\in C^{2,\alpha }(\Omega )\), \(f\in C^{2,\alpha }(\partial \Omega )\) and \(j_{0}\in C^{1,\alpha }(\partial \Omega _{-})\) satisfy the following system
with J as in (346) (cf. (70)).
Then, we have that
with
Proof
Arguing as in Sect. 3.1, we have that since b solves (372) there exists a stream function \(\psi \) such that
for \(A=\int _{\partial \Omega _{+}} f \ dS=\int _{\partial \Omega _{-}} f\ dS\). Moreover, using the fundamental solution \(\Phi (x,y)\) solving the problem
we can readily check (cf. Sect. 3.1) that the normal derivative at \(y=0\) is given by
Computing an homogeneous solution and imposing the boundary value conditions using Fourier techniques as in (28) in Sect. 2 we conclude that
where \({\mathcal {Z}}(x)\) as in (30). Since \(f\in C^{2,\alpha }(\partial \Omega )\), it is straightforward to check that boundary condition term \({\mathcal {Z}}(x)\) is well defined. On the other hand, invoking Corollary 1 we have that for \(j_0\in C^{1,\alpha }(\partial \Omega _{-})\) the operators
are well defined operators and can be expressed as the convolution operators given in (63). Hence, by recalling the definition (61) we infer that
it admit the representation formula
where
where \(\Lambda (\eta ,y)=X(\eta ,y)-\eta \in C^{2,\alpha }(\Omega )\) and \(X^{-1}(\xi ,y)=\xi +\Theta (\xi ,y)=\eta \). Unraveling notation (cf. computations (43)–(52)), it is easy to check that
is a well defined operator. Therefore, combining (375) and (376) and noticing that \(-\dfrac{\partial \psi }{\partial y}=b\cdot \tau \) on \(\partial \Omega _{-}\) provides our claim. \(\square \)
Corollary 2
We have that \(B\cdot \tau =g \ \text{ on } \ \partial \Omega _{-}.\)
Proof
Applying Lemma 7 and noticing that by construction \(j_0(x)\) solves
where \({\widetilde{g}}(x)=-g(x)-{\mathcal {Z}}(x)\) we conclude that \(B\cdot \tau =b\cdot \tau =g \ \text{ on } \ \partial \Omega _{-}\). \(\square \)
Data availibility
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Alber, H.D.: Existence of three dimensional, steady, inviscid, incompressible flows with nonvanishing vorticity. Math. Ann. 292, 493–528 (1992)
Alonso-Orán, D., Velázquez, J.J.L.: Boundary value problems for two dimensional steady incompressible fluids. J. Differ. Equ. 307, 211–249 (2022)
Antontsev, S.N., Kazhikhov, A.V., Monakhov, V.N.: Boundary Value Problems in Mechanics of Non-homogeneous Fluids Studies in Mathematics and Its Applications, vol. 22. North-Holland Publishing Co., Amsterdam (1990)
Bineau, M.: On the existence of force-free magnetic fields. Commun. Pure Appl. Math. 27, 77–84 (1972)
Buffoni, B., Wahlén, E.: Steady three-dimensional rotational flows: an approach via two stream functions and Nash–Moser iteration. Anal. PDE 12, 1225–1258 (2019)
Constantin, P., Drivas, T., Ginsberg, D.: Flexibility and rigidity in steady fluid motion. Commun. Math. Phys. 385, 521–563 (2021)
Constantin, P., Drivas, T., Ginsberg, D.: On quasisymmetric plasma equilibria sustained by small force. J. Plasma Phys. 87(1), 905870111 (2021)
Constantin, P., La, J., Vicol, V.: Remarks on a paper by Gavrilov: Grad-Shafranov equations, steady solutions of the three dimensional incompressible Euler equations with compactly supported velocities, and applications. Geom. Funct. Anal. 29, 1773–1793 (2019)
Gie, G.M., Kelliher, J.P., Mazzucato, A.L.: The linearized 3D Euler equations with inflow, outflow. arXiv:2203:14410 (2022)
Gie, G.M., Kelliher, J.P., Mazzucato, A.L.: The 3D Euler equations with inflow, outflow and vorticity boundary conditions. arXiv:2203:15180 (2022)
Goedbloed, J.P., Poedts, S.: Principles of Magnetohydrodynamics: With Applications to Laboratory and Astrophysical Plasmas. Cambridge University Press, Cambridge (2010)
Goedbloed, J.P., Poedts, S.: Advanced Magnetohydrodynamics: With Applications to Laboratory and Astrophysical Plasmas. Cambridge University Press, Cambridge (2010)
Grad, H., Rubin, H.: Hydromagnetic equilibria and force-free fields. Proceedings of the 2nd UN Conf. on the Peaceful Uses of Atomic Energy, vol. 31, p. 190. IAEA, Geneva (1958)
Grad, H.: Toroidal containment of a plasma. Phys. Fluids 10(1), 137–154 (1967)
Hamel, F., Nadirashvili, N.: Shear flows of an ideal fluid and elliptic equations in unbounded domains. Commun. Pure Appl. Math. 70(3), 590–608 (2017)
Kukavica, I., Novack, M., Vicol, V.: Exact boundary controllability for the ideal magneto-hydrodynamic equations. J. Differ. Equ. 318, 94–112 (2022)
Molinet, L.: On the existence of inviscid compressible steady flows through a three-dimensional bounded domain. Adv. Differ. Equ. 4, 493–528 (1999)
Muskhelishvili, N.I.: Singular Integral Equations. Boundary Problems of Functions Theory and Their Applications to Mathematical Physics. Springer Science, Business Media B.V., Berlin (1958)
Petcu, M.: Euler equation in a 3D channel with a noncharacteristic boundary. Differ. Integral Equ. 19(3), 297–326 (2006)
Priest, E.: Magnetohydrodynamics of the Sun. Cambridge University Press, Cambridge (2014)
Reeds, M., Simon, B.: Methods of Modern Mathematical Physics. Academic Press INC, London (1980)
Safranov, V.D.: Plasma Equilibrium in a Magnetic Field. Reviews of Plasma Physics, vol. 2, p. 103. Consultants Bureau, New York (1966)
Seth, D.S.: Steady three-dimensional ideal flows with nonvanishing vorticity in domains with edges. J. Differ. Equ. 274, 345–381 (2021)
Tang, C., Xin, Z.: Existence of solutions for three dimensional stationary incompressible Euler equations with nonvanishing vorticity. Chin. Ann. Math. Ser. B 30, 803–830 (2009)
Acknowledgements
D. Alonso-Orán has been supported by the Alexander von Humboldt Foundation and by the Spanish MINECO through Juan de la Cierva fellowship FJC2020-046032-I. J. J. L. Velázquez acknowledges support through the CRC 1060 (The Mathematics of Emergent Effects) that is funded through the German Science Foundation (DFG), and the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany as Excellence Strategy EXC-2047/1-390685813.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Alonso-Orán, D., Velázquez, J.J.L. On the Grad–Rubin boundary value problem for the two-dimensional magneto-hydrostatic equations. Math. Ann. 388, 2387–2472 (2024). https://doi.org/10.1007/s00208-023-02582-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-023-02582-1