Abstract
In this paper we aim to combine tools from variational calculus with modern techniques from quaternionic analysis that involve Dirac type operators and related hypercomplex integral operators. The aim is to develop new methods for showing geometry independent explicit global existence and uniqueness criteria as well as new computational methods with special focus to the stationary incompressible viscous magnetohydrodynamic equations. We first show how to specifically apply variational calculus in the quaternionic setting. To this end we explain how the mountain pass theorem can be successfully applied to guarantee the existence of (weak) solutions. To achieve this, the quaternionic integral operator calculus serves as a key ingredient allowing us to apply Schauder’s fixed point theorem. The advantage of the approach using Schauder’s fixed point theorem is that it is also applicable to large data since it does not require any kind of contraction property. These considerations will allow us to provide explicit iterative algorithms for its numerical solution. Finally to obtain more precise a-priori estimates one can use in the situations dealing with small data the Banach fixed point theorem which then also grants the uniqueness.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Nowadays, there are many powerful numerical methods available, for instance well-developed Finite Elements or Boundary Elements Methods, that can be used to solve numerically complicated non-linear systems of partial differential equations arising in modern problems of mathematical physics and engineering in dimension \(n \ge 3\). According to our knowledge, much less has been developed on the level of analytical methods. To get deeper theoretical inside on the existence, uniqueness, regularity and the structure of solutions analytical methods are very useful, too.
In 1989 K. Gürlebeck and W. Sprößig proposed in their first book [24] a new analytic toolkit for the treatment of three-dimensional non-linear elliptic boundary value problems, including the stationary viscous Navier–Stokes system. The main ingredients are quaternionic integral operators that arise from a higher dimensional generalization of complex function theory in the sense of the Riemann approach which considers null-solutions to the Euclidean Dirac operator, see also [15] or the famous volume [36] edited by J. Ryan which addressed particularly applications to singular boundary value operators, including Calderon Zygmund type operators acting on Lipschitz surfaces. During the following two decades M. Shapiro, V.V. Kravchenko, S. Bernstein, P. Cerejeiras, U. Kähler, J. Ryan, F. Sommen, N. Vieira, see for example [7, 9, 10, 12, 22, 24, 32, 33], and many others extended this new analytic machinery to also treat non-linear elliptic, parabolic and hypoelliptic systems.
The quaternionic calculus leads to some new explicit criteria for the existence and the uniqueness of the solutions and also provided some information on the regularity behavior. Based on this quaternionic operator calculus also new numerical algorithms have been worked out in the first decade of this century, see for instance [17, 21]. In [17, 21] it was particularly shown how one can directly derive from the continuous quaternionic operator calculus a discrete quaternionic calculus version, which then even guarantees strong convergence instead of weak convergence only. Furthermore, for some particular domains under some special conditions these methods even allowed us to fully obtain explicit representation formulas for the solutions to the Navier–Stokes equations, the Maxwell, Helmholtz and time independent Klein-Gordon equation, see for example [14].
In the series of more recent papers [11, 30, 31] it has been shown how to apply the classical quaternionic operator calculus even to the much more complicated stationary viscous magnohydrodynamic equations (MHD) that combine the Navier–Stokes system with the Maxwell-equation. See also the more recent book [26] Section 7.7.6.
Since the works of M. Sermagne and R. Temam in 1983 the study of MHD equations have attracted the interest of a constantly and rapidly growing research community - just to mention a few milestones and some more recent developments we recommend the reader for instance to consult [4, 5, 8, 13, 16, 18,19,20, 27,28,29, 34, 37,38,40, 44] among many others.
Also complex quaternions and even octonions have been used for instance in [16, 41] in the description of the dynamics of dyonic plasmas in an elegant way.
Most of the literature, including our recent papers [11, 30, 31], in which we presented explicit estimates involving operator norms and the Reynolds numbers under which we obtain global existence and uniqueness of the solutions, use the Banach fixed point algorithm.
We got an explicit geometry independent formula for the Lipschitz constant, however to have the contraction property we can only apply the presented algorithm to small data. This is a general problem when using the Banach fixed point algorithm, see also [6]. One way to overcome this problem to also address large data is to work with Schauder’s fixed point theorem instead, such as suggested for the Navier–Stokes system also in [6]. To apply the ideas of Schauder’s fixed point theorem in the framework of the quaternionic operator calculus however some substantial new tools have to be developed first.
In this paper we now aim for the first time according to our knowledge to combine tools from variational calculus with tools from quaternionic analysis. Indeed, our approach then will allow us to develop new methods for showing geometry independent explicit global existence and uniqueness criteria as well as new computational methods using Schauder’s fixed point theorem. Again we concretely focus on the stationary incompressible viscous magnetohydrodynamic equations while the instationary case and other cases will be studied in some of our follow-up papers.
Concretely, in Sect. 2.3 we show how to specifically apply the variational calculus in the quaternionic setting. To this end we explain in Sect. 2.4 how the mountain pass theorem can be successfully applied to guarantee the existence of (weak) solutions. To achieve this, the quaternionic integral operator calculus serves again as a key ingredient allowing us later in Sect. 3 to apply Schauder’s fixed point theorem. As already pointed out, the great advantage of the approach using Schauder’s fixed point theorem is that it is also applicable to large data since it does not require any kind of contraction property. These considerations will allow us to provide explicit iterative algorithms for its numerical solution which we also present in Sect. 3, see Eqs. (35)–(37). A disadvantage is of course that we only get the existence but in general not the uniqueness of a solution by following this approach. For the sake of giving a complete state of the art we also briefly summarize at the end of the paper in the “Appendix” how the quaternionic operator calculus gives a unique solution when the Banach fixed point is applicable such that the reader is provided with an offrounded self-contained presentation.
2 Toolkits for Solving the Stationary Convective MHD Equations
2.1 The Stationary Convective Model
We recall the stationary convective case of the MHD equations. To leave it simple we work in the dimension-less setting and consider the system
where \(\textbf{u}=(u_1, u_2, u_3)\) represents the velocity of the flow, p the pressure, \(\textbf{B}=(B_1, B_2, B_3)\) the magnetic field, \(\mu _0\) is the magnetic permeability of the vacuum, and \(R_e, R_m\) denote the fluid mechanical and the magnetic Reynolds numbers, respectively.
Equations (3) express the incompressibility of the flow and the non-existence of magnetic monopoles, respectively, while (4) indicate the data at the boundary of the domain. From now on, we shall refer to this system as System 1.
This paper addresses the case where the non-linear convective terms \((\textbf{u}~ \textrm{grad}) \textbf{u}, (\textbf{B} ~\textrm{grad}) \textbf{u},\) and \((\textbf{u}~\textrm{grad}) \textbf{B}\) are not negligibly small, but where the flow is still viscous.
We remark that all quantities are three-dimensional. Furthermore \(\cdot \) and \(\times \) denote the standard inner product and vector product, respectively. Furthermore, we assume that \(\Omega \) is a bounded domain in \(\mathbb {R}^3\) with a boundary \(\Gamma = \partial \Omega \) representable as a finite union of disjoint closed \(C^2\) surfaces (each having finite surface area). More generally, our considerations can also be applied to the case where \(\Gamma \) is a finite union of Liapunov surfaces or even a strongly Lipschitz surface in the sense of [35, 36].
2.2 Quaternionic Formulation of the Problem
2.2.1 Algebraic Concepts
We consider the quaternionic algebra
where the elements \(\textbf{e}_1, \textbf{e}_2, \textbf{e}_3\) satisfy the multiplication rules
The term \(x_0 =:\textrm{Sc}(q)\) is called the real part or sometimes the scalar part of the quaternion q and \(\textbf{x}= x_1 \textbf{e}_1 + x_2 \textbf{e}_2 + x_3 \textbf{e}_3\) is its vectorial part. The latter is also denoted by \(\textrm{Vec}(q)\). This consideration allows the embedding of \(\mathbb {R}^3\) into \(\mathbb {H}\) by identifying a purely imaginary element \(\textbf{x}= x_1 \textbf{e}_1 + x_2 \textbf{e}_2 + x_3 \textbf{e}_3\) from \(\mathbb {H}\) with a vector \((x_1, x_2, x_3)\) from \(\mathbb {R}^3\). Since the product of two quaternions can be expressed in terms of a symmetric and an anti-symmetric part, we obtain the following relation between the symmetric and the anti-symmetric part, as well as between the standard inner product and the vector product, sometimes also called outer product, in \(\mathbb {R}^3\):
The quaternionic conjugation is the involutory automorphism \(\overline{\cdot } : \mathbb {H}\rightarrow \mathbb {H}\) defined by \(q = x_0 +\textbf{x}\mapsto \overline{ q}= x_0 - \textbf{x}\). Using this notation we can express the Euclidean norm in \(\mathbb {H}\) by
2.2.2 Quaternionic-Hilbert Modules
Given an open domain \(\Omega \subset \mathbb {R}^3,\) we define a quaternion-valued function \(f : \Omega \subset \mathbb {R}^3 \rightarrow \mathbb {H}\) as
where \(f_0, f_1, f_2, f_3 : \Omega \subset \mathbb {R}^3 \rightarrow \mathbb {R}\) are its real-valued coefficient functions. Properties such as continuity, etc., are to be understood component-wisely. A \(C^1\) quaternion-valued function \(f : \Omega \subset \mathbb {R}^3 \rightarrow \mathbb {H}\) is called monogenic in \(\Omega \subset \mathbb {R}^3\) if and only if it is a null solution of the Dirac operator \(\textbf{D},\) that is,
In the particular case of pure vectorial functions, i.e. functions with the mapping behavior \(\textbf{u}= u_1 \textbf{e}_1 + u_2 \textbf{e}_2 + u_3 \textbf{e}_3 : \Omega \subset \mathbb {R}^3 \rightarrow \mathbb {H}\) the action of \(\textbf{D}\) can be expressed as
Additionally, we remark that \(\Delta \textbf{u}= -\textbf{D}^2 \textbf{u}.\)
Using the quaternionic System (1)–(4) can be rewritten in the form
which will be called System 2 from now on. Here again, \(R_e\) and \(R_m\) denote the mechanical and magnetic Reynolds numbers, respectively. Recall here that \( \textrm{Vec}(\textbf{D}\textbf{B}) = \textbf{D}\textbf{B}\) since we always have that \(\textrm{Sc}(\textbf{D}\textbf{B}) = \nabla \cdot \textbf{B}=0\).
Next we define a right (unitary) quaternionic function module as a function space V (over an open domain \(\Omega \subset \mathbb {R}^3\) whose boundary is for instance a smooth Liapunov surface) together with the algebra morphism (also called right multiplication) \(R : \mathbb {H}\mapsto \textrm{End}(V),\) given as the point-wise multiplication \(\textbf{x}\mapsto (R(a)f)(\textbf{x}) = f(\textbf{x})a.\) When V is a Hilbert space we say we have a quaternionic Hilbert module.
The quaternionic Hilbert module \(\mathcal {H}=L^2(\Omega ; \mathbb H)\) gives rise to the quaternionic valued functional
for \(\textbf{u}, \textbf{v}\in \mathcal {H},\) and where \(d\textbf{x}= dx_1dx_2dx_3.\) Associated to this (quaternionic valued) functional is the scalar functional
which corresponds to a real-valued inner product and, hence, gives rise to a norm in the classic sense. Together with this norm and (quaternionic-valued) inner product the set \(\mathcal {B}(\Omega ;\mathbb {H}) := L^2(\Omega ;\mathbb {H}) \cap \{f: \Omega \rightarrow \mathbb {H} | ~{\textbf{D}} f(\textbf{x}) = 0,\;\forall \textbf{x}\in \Omega \}\) is a right-quaternionic Hilbert module called the quaternionic Bergman module of left monogenic functions. It is a reproducing kernel Hilbert module in the sense that there is a unique kernel \(B(\textbf{x},\textbf{y})\) satisfying \(f(\textbf{x}) = \left\langle B(\textbf{x},\cdot ), f \right\rangle \) for all \(f \in \mathcal {B}(\Omega ;\mathbb {H})\). For details, see for instance [15]. Associated to it one can consider the quaternionic Bergman projection \(P:L^{2}(\Omega ;\mathbb {H}) \rightarrow \mathcal {B}(\Omega ;\mathbb {H})\) given by \(Pf(\textbf{x}) = \left\langle B(\textbf{x},\cdot ), f \right\rangle \). This projection is an orthogonal projection with respect to \(\left\langle \cdot ,\cdot \right\rangle \).
In what follows, we consider
the Sobolev space of \(L^2(\Omega ; \mathbb {H})\) functions such that the functions and its weak derivatives have finite \(L^2-\)norm, together with the space of test functions
Also for simplicity sake, we shall denote from now on the spaces \(H_2^1\) and \({{\mathop {H_2^1}\limits ^{\circ }}}\) by \(H^1\) and \({{\mathop {H^1}\limits ^{\circ }}}\), respectively, thus omitting the lower index 2.
Following [24, 25] and others, one has a Hodge type decomposition (in terms of a direct orthogonal sum) of the form
where \({{\mathop {H^1}\limits ^{\circ }}}\) is the usual Sobolev space of the \(L^2\)-function having a first weak Sobolev derivative and with vanishing boundary data. In all that follows we shall denote the complementary part of the Bergman projection by \(Q:= I -P\) where I is the identity operator. Note that \(Q:L^2(\Omega ;\mathbb {H}) \rightarrow \textbf{D} {{\mathop {H^1}\limits ^{\circ }}}(\Omega ;\mathbb {H})\).
We now use the fact that the differential operator \(\textbf{D}\) has a left (but not right) inverse. Following for instance [24] and others for all \(u \in C(\Omega ;\mathbb {H})\) we have
where \(q_\textbf{0}(\textbf{x}) = -\frac{\textbf{x}}{|\textbf{x}|^3}\). \(T_{\Omega }\) is called the (quaternionic) Teodorescu transform. Its boundary analogue is the quaternionic Cauchy transform given by
Here, \(dS(\textbf{y})\) is the surface element and \(n(\textbf{y})\) denotes the exterior normal unit at \(\textbf{y}\in \partial \Omega = \Gamma \).
Again, we may recall from [24] the following important properties
For our needs it is important to mention that these two relations remain valid in \(H^1(\Omega ;\mathbb {H})\), cf. [24].
Now apply the operator \(T_{\Omega } Q T_{\Omega }\) to System 2. The properties (17), (18), application of the quaternionic Cauchy integral formula \(QF_{\Gamma } {\textbf{D}} \textbf{u}= 0, QF_{\Gamma } p = 0\), \(QF_{\Gamma } \textbf{u}= 0\) (since \(u|_{\Gamma }=0\)) and the property that \(\textbf{D}\textbf{u}\in \textrm{Vec}(Q)\) which implies that \(T_{\Omega }Q{\textbf{D}} \textbf{u}= T_{\Omega } \textbf{D}\textbf{u}\) allow us to rewrite System 2 in the following form, cf. for details [30, 31]:
This system will be called System 3 in what follows. Also here and in all that is going to follow the symbols \(R_e\) and \(R_m\) stand for the dimension-less mechanical and magnetic Reynolds numbers, respectively.
These representation formulas, which are deduced by quaternionic function theory tools will play a crucial role our proof of existence where we want to use Schauder’s fixed point theorem in order to also admit the case of large data, for its motivation see also [6]. When it is clear which domain \(\Omega \) is considered, the indices \(\Omega \) and \(\Gamma \) will be omitted in the sequel for the sake of simplicity.
2.2.3 Preparatory Norm Estimates
For our specific purposes we need some particular norm estimates involving some the quaternionic operators that we introduced before.
To start, as an application of the identity \({\textbf{D}} T_{\Omega } f = f\) and the orthogonality \(\langle \textbf{u}, \textbf{D}p\rangle _{L^2}\) we may directly obtain the following generalization of Lemma 4.1 from [10]:
Lemma 1
Let \(\textbf{u}\in H_2^k(\Omega ;\mathbb {H}) \cap \textrm{ker}\;\textrm{div}(\textbf{D}), k \ge 1, p \in L^2(\Omega ;\mathbb {H}), \textbf{B}\in H_2^k(\Omega ;\mathbb {H})\) be solutions of System 2. Then we have
where \(M(\textbf{u}) := \textrm{Sc}(\textbf{u}\textbf{D}) \textbf{u}- \frac{1}{\mu _0} \textrm{Vec}((\textbf{D}\textbf{B})\cdot \textbf{B})\).
We also require
Lemma 2
Let \(\Omega \subset \mathbb {R}^3\) be a domain with the general requirements mentioned at the end of Section 2.1. Then, relying on [24], we have the following estimate on the operator norm
where \(\lambda _{\min }(-\Delta )\) denotes the minimal eigenvalue of the negative Laplacian \(-\Delta \).
Proof
This inequality follows from the norm estimate \(\Vert T_{\Omega }\Vert = \Vert \Delta ^{-1}\Vert \le \frac{1}{\sqrt{\lambda _{min}(-\Delta )}}\) and from the other norm identity \(\Vert Q\Vert =1\) (Q is an orthogonal projector). \(\square \)
Furthermore, applying analogous arguments as in [10, 24] we can infer
Lemma 3
(Norm estimates) Let \(\textbf{u},\textbf{B}\) be a solution of System 2. Then there is a global constant \(C_S > 0\) (called Poisson constant) such that
with \(1<q<3/2\).
Proof
For the first estimate we refer to [9], Lemma 4.1. The second estimate is analogously obtained to the first and the last is simply the boundedness of the Dirac operator from \(H^1(\Omega )\) to \(L_2(\Omega )\). \(\square \)
Remark 1
Since the \(T_\Omega \)-operator is a bounded operator from \(L_q(\Omega )\), \(1<q<3/2\), to \(L_2(\Omega )\) the above statement means that we have norm estimates like
2.3 Variational Formulation
Now we establish the variational formulation for System 2. The usual variational principles establish
In the case of the Dirac operator, we get
as \(\overline{\textbf{e}_i} = -\textbf{e}_i.\) Therefore, the Dirac operator is selfadjoint and has real eigenvalues.
First of all, we observe that
so that Eq. (11) in System 2 becomes
In a similar way, we obtain for Equation (12) the variational formulation
Moreover, due to Eq. (13) one restricts the space of functions further as
Hence, the variational form of System 2 is the following: find \(\textbf{u}, \textbf{B}\in H^{1,div}(\Omega ; \mathbb {H})\), and \(p \in L^2(\Omega ; \mathbb {H}),\) such that, for all \(\textbf{v}, \textbf{w}\in {{\mathop {H^1}\limits ^{\circ }}}(\Omega ; \mathbb {H})\) we have
2.4 Energy Functional
From the above variational formulation we obtain, for \(\textbf{v}=\textbf{u}\) and \(\textbf{w}=\textbf{B},\) the energy functional
with \(\textbf{u}, \textbf{B}\in H^{1, div}(\Omega ; \mathbb {H})\) and \(p\in L^2(\Omega ;\mathbb {H})\).
Notice that we are working in the dimensionless setting; otherwise one has to involve a constant correcting the physical units. Due to Equation (13) we obtain
since the divergence of \(\textbf{u}\) is zero. This implies that \(\textbf{D}p\) is orthogonal to the velocity of the flow \(\textbf{u}\) and, furthermore, the energy functional is independent on p.
In a similar way,
again due to the divergence of \(\textbf{u}\) equal zero. This leads to \(J(\textbf{u},\textbf{B},p) = J(\textbf{u},\textbf{B})\) and hence
In the first place notice that J is a lower semi-continuous function. It is also easy to see that J is Fréchet differentiable. This allows us to apply the Mountain Pass Theorem which we recall here for convenience, cf. for example [45]:
Lemma 4
(Mountain Pass Theorem). Let X be a Banach space, \(J:X\mapsto \mathbb {R}\) a \(C^1\)-functional satisfying the Palais-Smale condition and \(J(0)=0\). Suppose
-
(a)
there exists \(\rho ,\alpha >0\) such that \(J|_{\partial B_\rho }\ge \alpha \) where \(B_\rho \) denotes the ball of radius \(\rho \) centered at 0,
-
(b)
there exists \(e\in X\setminus B_\rho \) with \(J(e)\le 0\). Then J has a critical value \(c\ge \alpha \) and c is given by
$$\begin{aligned} c=\int _{\Gamma } \max _{u\in \gamma ([0,1])} J(u) \end{aligned}$$where \(\Gamma =\{\gamma \in C([0,1],X):\gamma (0)=0,\gamma (1)=e\}\).
Using this Mountain Pass Theorem we are able to establish the main theorem of this section:
Theorem 1
The energy functional \(J(\textbf{u},\textbf{B})\) has at least one minimum.
Proof
Let us consider the energy functional \(J(\textbf{u},\textbf{B})\)
Now consider \((\textbf{u},\textbf{B})\). Again note that \(p \in L^2(\Omega ; \mathbb {H})\) has already been eliminated. The boundary of the ball of radius \(\rho \) thus is equivalent to
For subsequential purposes we note that we always can rely on
To be able to apply the mountain pass theorem we have to show that
Now, Eq. (29) is equivalent to
Furthermore, from the Poincaré inequalities \(\Vert \textbf{D}\textbf{u}\Vert ^2_{L^2} \le C_S \Vert \textbf{u}\Vert ^2_{H^1}\) and \(\Vert \textbf{D}\textbf{B}\Vert ^2_{L^2} \le C_S \Vert \textbf{B}\Vert ^2_{H^1}\) with the same Poincaré constant \(C_S\) which get the estimate
To show that
we next use the identity
Therefore we can estimate the expression on the left-hand side of inequality (31) by
The third term is positive and hence it can be dropped. Therefore, we finally arrived at
Using that \(\Vert \textbf{B}\Vert _{H^1} \le \rho \) we obtain that
This means that for \(\rho \) satisfying \(\rho < \frac{\min \{\frac{C_S}{R_e},\frac{C_S}{R_m}\}}{1+\frac{1}{2\mu _0}}\) we have
In fact, we here get a condition on how large the radius \(\rho \) may be chosen.
Choosing \((\textbf{u}_0,\textbf{B}_0)\) sufficiently far away from the origin we may find \(J(\textbf{u}_0,\textbf{B}_0)<0\) and the conditions for the mountain pass theorem are fulfilled. This means that the functional \(J(\textbf{u},\textbf{B})\) has at least one minimum. \(\square \)
We also get the following statement.
Corollary 1
If
then \(J(\textbf{u},\textbf{B})\) is coercive.
This corollary means that we could have got our result also from the Lemma of Lax-Milgram. This statement follows directly from (32) and it is a sufficient condition for coercivity.
Remark 2
In the pure Navier–Stokes case (where \(\textbf{B}=\textbf{0}\)) the energy functional reduces to
In this case we always deal with a coercive system. We have \(J(\textbf{u})= 0\) if and only if \(\textbf{u}\in \textrm{ker}\textbf{D}\) and \(J(\textbf{u}) > 0\) if and only if \(\textbf{D}\textbf{u}\ne 0\). The function theoretic property of being quaternionic monogenic is hence equivalent to the property that the energy functional J vanishes.
3 Solvability via Schauder’s Fixed Point Theorem
The previous calculations allowed us to study the solvability of the system in the form
Here, we can also use our variational formulation together with Schauder’s fixed point theorem whose outcome will be our Theorem 2 presented at the end of this section representing the main result of this section. To this end we remark that our variational formulation can be considered in the form to find \((\textbf{u},\textbf{B},p)\) such that
for all \(\textbf{v}\in {{\mathop {H^1}\limits ^{\circ }}}(\Omega ; \mathbb {H})\) and \(\textbf{w}\in {{\mathop {H^1}\limits ^{\circ }}}(\Omega ; \mathbb {H}) \cap \textrm{ker}\;\textrm{div}\). Note again that div\(\textbf{B}= 0\) and div\(\textbf{w}=0\). So we have \(\textbf{D}\textbf{B}= \textrm{rot} \textbf{B}\) and \(\textbf{D}\textbf{w}= \textrm{rot} \textbf{w}\) in \(\Omega .\)
Also we remark that
since \(\textbf{D}p = \)grad(p) is orthogonal to \(\textbf{v}.\)
The linearized problem is now: Given \((\tilde{\textbf{u}}, \tilde{\textbf{B}})\) we want to find \((\textbf{u},\textbf{B})\) such that
for all \((\textbf{v},\textbf{w})\).
From [1], Lemma 2.1, we have
such that the Lemma of Lax-Milgram gives us the unique solvability with the following norm estimates:
where we have \(C_u\) being the coercivity constant over the domain \(\Omega \), i.e.
Let us now consider the mapping \(G: {{\mathop {H^1}\limits ^{\circ }}}(\Omega )\times H^1(\Omega )\rightarrow {{\mathop {H^1}\limits ^{\circ }}}(\Omega )\times H^1(\Omega )\), s.t \((\tilde{\textbf{u}},\tilde{\textbf{B}})\mapsto (\textbf{u},\textbf{B})\), which maps \((\tilde{\textbf{u}},\tilde{\textbf{B}})\) to the solution \((\textbf{u},\textbf{B})\) of (33)–(33).
It is easily seen that G is a continuous mapping. Schauder’s fixed point theorem ensures the existence of a fixed point \((\tilde{\textbf{u}},\tilde{\textbf{B}})= (\textbf{u},\textbf{B})\) if we guarantee that taken \((\tilde{\textbf{u}},\tilde{\textbf{B}})\) from a bounded convex set \(\mathbb K\) we have that \(G(\mathbb K)\) is compact. The map’s continuity ensures the boundedness of \(G(\mathbb K)\) while proving \((\textbf{u}, \textbf{B}) \in H^{1+\epsilon }, ~\epsilon >0,\) implies compactness of \(G(\mathbb K)\) due to the compact embedding of \(H^{1+\epsilon }\) in \(H^{1}.\)
To prove that such a bounded convex set \(\mathbb K\) does exist we need the equations in the TQT-form, but the fixed point iteration is constructed as a modification and in a different way from that considered in [31].
For simplicity we here assume that \(\textbf{h} = \textbf{0}\), otherwise one adds the term \(F_{\partial \mathbb K} \textbf{h} + T_{\mathbb K} \textbf{P}_{\mathbb K} \textbf{H}\) to the solution for \(\textbf{B},\) where \(\textbf{H} \in H^2(\mathbb K)\) is an extension of \(\textbf{h}\).
Next, the system above can be rewritten in the following way
Equations (38) and (39) can be rewritten in form of Neumann series
whenever \(\left\| \frac{R_e^2}{\mu _0} TQT \textrm{Sc}(\tilde{\textbf{u}}\textbf{D}) \right\| = q_1 < 1,\) and
whenever \(\left\| R_m^2 TQT \textrm{Sc}(\tilde{\textbf{u}}\textbf{D}) \right\| = q_2 < 1.\)
Further let us put \( k:= \Vert TQT\Vert \le \frac{1}{\lambda _{min}(-\Delta )}\).
Then these two conditions are satisfied if \(\Vert \tilde{\textbf{u}}\Vert _{H^1} \!\le \! \min \{ \mu /(Re^2 k \!C_D)\!,\! 1/(R_m^2 k C_D),\!\}\) where \(C_D\) is the operator norm of the Dirac operator.
From these representations we may directly infer that
while
Next we can estimate
and
The latter equation actually implies that there is a constant \(C > 0\) such that
Since we have
from Theorem 6.1. in [3] we have \(\tilde{\textbf{B}} \in H^{1+\epsilon }\), \(\epsilon > 0\). This ensures the necessary embedding of \((\textbf{u}, \textbf{B}) \in H^{1+\epsilon },\) for small enough \(\epsilon >0,\) and concludes the compactness argument for \(G(\mathbb {K}).\)
We just have proved our main result of this section:
Theorem 2
Let \(\Vert \tilde{\textbf{u}}\Vert _{H^1} \le \min \{ \mu /(Re^2 k C_D), 1/(R_m^2 k C_D) \}\) then problem (38) and (39) has a solution.
We remark that the condition of the theorem also implies the boundedness of \(\tilde{\textbf{B}}\) although the theory does not provide uniqueness. To get also uniqueness we have to apply stronger fixed point theorems such as the Banach fixed point theorem which is summarized in the following “Appendix” providing an offrounded presentation.
4 Appendix: Application of Banach’s Fixed Point Algorithm
One advantage of using Schauder’s fixed point theorem is that it can be applied to large data. A disadvantage consists in the fact that it usually does not guarantee the uniqueness of a solution. To achieve this one needs to use for instance the Banach fixed point theorem, which however can only be applied to small data as a consequence of the contraction property that is required. In some preceding papers, see [11, 30, 31], we already showed that the quaternionic operator calculus can also be successfully used in this context. For the sake of completeness we finish this paper by adding a concise summary on the application of Banach’s fixed point theorem on the level of these quaternionic integral operators so that the reader gets a rather complete picture of the current state of the art.
To start we wish to emphasize that the representation formulas for the velocity \(\textbf{u}\), the pressure p and the magnetic field \(\textbf{B}\) presented in System 3 (19)-(22) also hold when the convective terms are high in comparison with the viscous terms. In the case where the viscous terms dominate the convective terms (the exact conditions will be given Theorem 3 and Theorem 4) we may use the following Banach fixed point algorithm to compute \(\textbf{u}\), \(\textbf{B}\) and p, see [31]:
where \(n=1,2,\ldots \)
Remark 3
Note that whenever the Eqs. (19) and (20) have a unique solution, then also (21) will have a unique solution.
In practice we can first compute \(\textbf{B}_n\) by applying the inner iteration:
In [31] we proved
Theorem 3
Suppose that \(\textbf{u}_n \in {{\mathop {H^1}\limits ^{\circ }}}(G)\) and that \(\textbf{u}\) fulfils the condition
Then the problem
has a uniquely solution in \(H^{1}(G)\) . The sequence defined in (40) converges in \(H^{1}(G)\) to a unique solution of (42).
Sketch of the proof (for all the details, see [31]). Note that to show the convergence of the inner iteration proposed in (40), we can directly use the estimates from Lemma 2 and Lemma 3. From the simple fact that \(\textrm{Sc}(a\pm b)=\textrm{Sc}(a)\pm \textrm{Sc}(b)\), we may infer from Lemma 3 that
involving again the same positive constant \(C_S\). The norm estimates of Lemma 2 and Lemma 3 yield
The classical Banach’s fixed point theorem now tells us that \(\textbf{B}_n^{(i)}\) \(i=1,2,\ldots \) converges under the condition (41) to a unique solution for \(\textbf{B}_n\). Finally, since each \(\textbf{u}_n\) is an element of \({{\mathop {H^1}\limits ^{\circ }}}(G)\), it is bounded over G. \(\square \)
Now one can further estimate using Lemma 2 and Lemma 3 that
with \(F:= 2C_S(\Vert \textbf{B}_{n}\Vert _{H^1}+\Vert \textbf{B}_{n-1}\Vert _{H^1}) \le 4 C_S \sup \limits _{n \in \mathbb {N}}\{\Vert \textbf{B}_n\Vert _{H^1}\}\}\). For details see again [31]. The problem is thus reduced to show the convergence of \((\textbf{u}_n)_{n \in \mathbb {N}}\).
Following further [31] one can estimate
Furthermore, with \(C_3:=\Vert \textbf{u}_{n-1}\Vert _{H^1}+\Vert \textbf{u}_{n-2}\Vert _{H^1}\) and \(C_4:=\Vert \textbf{B}_{n-1}\Vert _{H^1}+\Vert \textbf{B}_{n-2}\Vert _{H^1} \le 2 \sup _{n \in {\mathbb {N}}}\{\Vert \textbf{B}_n\Vert _{H^1}\}\) we have
This leads to the estimate
with the Lipschitz constant
Banach’s fixed point theorem tells us that we get convergence if \(L_n < 1\).
We can say more.
Theorem 4
(cf. [31]) Under the conditions
and
where
the proposed fixed point algorithm converges to a unique triple of solutions \((\textbf{u},p,\textbf{B})\) of the boundary value problem (11)–(15), where p is unique up to a constant when G is bounded, and fully unique when G is unbounded.
For the detailed proof we refer [31].
Remark: The interested reader may also consult [26] Section 7.7.6 where the authors also followed basically the same line of arguments using a slightly different notation but established rather analogous estimates based on similar norm constants. The results are qualitatively consistent with those that were obtained previously in [31].
Remarks: This method provides us with an explicit estimate on the Lipschitz contraction constant giving an a priori estimate on how many iterations are needed, cf. [24, 25]. However, since the Lipschitz constant must be smaller than 1, it can only be applied to small data. A further advantage of the quaternionic operator calculus method is that it always guarantees strong convergence when switching to the discretized versions of these quaternionic operators. It is worthwhile to mention that in many (practical) situations the Teodorescu transform can also be replaced by a simpler primitivation operator [2] whose evaluation requires much less computational steps. This is also a significant input and added value of the quaternionic function theory, since these fnction theoretical concept allow the replacement of a 3D-integral by a one-dimensional primitivation under certain circumstances. Details and extensions to the instationary case will be treated in one of our follow up papers.
References
Amrouche, C., Rodríguez-Bellido, M.A.: Weak solutions for the Oseen system in 2D and when the given velocity is not sufficiently regular. Appl. Math. Lett. 91, 220–226 (2019)
Bahmann, H., Gürlebeck, K., Shapiro, M., Sprößig, W.: On a Modified Teodorescu Transform. Integral Transform. Spec. Funct. 12(3), 213–226 (2001)
Behzadan, A., Holst, M.: Multiplication in Sobolev spaces, revisited. Ark. Mat. 59, 275–306 (2021)
Belien, A., Botchev, M., Goedbloed, J., van der Holst, B., Keppens, R.: FINESSE: axisymmetric MHD equilibria with flow. J. Comput. Phys. 82, 91–117 (2002)
Blanc, X., Ducomet, B.: Weak and strong solutions of compressible magnetohydrodynamics. In: Handbook of Mathematical Analysis in Mechanics of Viscous Fluids (2016)
Benjemaa, M., Krichen, B., Meslameni, M.: Fixed point theory in fluid mechanics: an application to the stationary Navier–Stokes problem. J. Pseudo-Differ. Oper. Appl. (2016)
Bernstein, S.: Factorization of the nonlinear Schrödinger equation and applications. Complex Var. Elliptic Equ. 51(5), 429–452 (2006)
Cannone, M.: Harmonic analysis tools for solving the incompressible Navier–Stokes equations. In: Friedlander, S., Serre, D. (eds.) Handbook of Mathematical Fluid Dynamics, vol. 3, pp. 161–244. Elsevier, New York (2004)
Cerejeiras, P., Kähler, U.: Elliptic boundary value problems of fluid dynamics over unbounded domains. Math. Methods Appl. Sci. 23(1), 81–101 (2000)
Cerejeiras, P., Kähler, U., Sommen, F.: Parabolic Dirac operators and the Navier–Stokes equations over time-varying domains. Math. Methods Appl. Sci. 28(14), 1715–1724 (2005)
Cerejeiras, P., Kähler, U., Kraußhar, R.S.: Applications of parabolic Dirac operators to the instationary viscous MHD equations on conformally flat manifolds. In: Bernstein, S., et al. (eds.) Topics in Clifford Analysis. Trends in Mathematics, pp. 173–190. Cham, Birkhäuser (2019)
Cerejeiras, P., Vieira, N.: Regularization of the non-stationary Schrödinger operator. Math. Methods Appl. Sci. 32(4), 535–555 (2009)
Chen, Q., Miao, C., Zhang, Z.: On the regularity criterion of weak solution for the 3D viscous magneto-hydrodynamics equations. Commun. Math. Phys. 284, 919–930 (2008)
Constales, D., Kraußhar, R.S.: On the Navier–Stokes equation with Free Convection in three dimensional triangular channels. Math. Methods Appl. Sci. 31(6), 735–751 (2008)
Delanghe, R., Sommen, F., Souček, V.: Clifford Algebra and Spinor Valued Functions. Kluwer, Dortrecht (1992)
Demir, S., Tanisli, M., Emre Kansu, M.: Octonic Maxwell-type multifluid plasma equations. Eur. Phys. J. Plus 136, 332 (2021)
Faustino, N., Gürlebeck, K., Hommel, A., Kähler, U.: Difference potentials for the Navier–Stokes equations in unbounded domains. J. Differ. Equ. Appl. 12(6), 577–595 (2006)
Gala, S.: Extension criterion on regularity for weak solutions to the 3D MHD equations. Math. Methods Appl. Sci. (to appear)
Ge, Y., Shao, S.: Global solution of 3D incompressible magnetohydrodyanamic equations with finite energy. J. Math. Anal. Appl. 425, 571–578 (2015)
Goedbloed, H., Poedts, S.: Principles of Magnetohydrodynamics. Cambridge University Press, Cambridge (2004)
Gürlebeck, K., Hommel, A.: On discrete Stokes and Navier–Stokes equations in the plane. In: Ablamowicz, R. (ed.) Clifford Algebras. Applications to Mathematics, Physics, and Engineering. Progress in Mathematical Physics, vol. 34, pp. 35–58. Birkhäuser, Boston (2004)
Gürlebeck, K., Kähler, U., Ryan, J., Sprößig, W.: Clifford analysis over unbounded domains. Adv. Appl. Math. 19(2), 216–239 (1997)
Gürlebeck, K., Kraußhar, R.S., Poedts, S.: A quaternionic approach to treat the ideally stationary magnetohydrodynamic equations. In: American Institute of Physics Conference Proceedings, 1168, vol. 2, pp. 789–792 (2009)
Gürlebeck, K., Sprößig, W.: Quaternionic Analysis and Elliptic Boundary Value Problems. Birkhäuser, Basel (1990)
Gürlebeck, K., Sprößig, W.: Quaternionic and Clifford Calculus for Physicists and Engineers. Wiley, Chichester (1997)
Gürlebeck, K., Habetha, K., Sprößig, W.: Application of Holomorphic Functions in Two and Higher Dimensions. Birkhäuser, Basel (2016)
Gunzburger, M., Meir, A., Peterson, J.: On the existence, uniqueness and finite element approximation of the equations of stationary, incompressible magnetohydrodynamics. Math. Comput. 56(194), 523–563 (1991)
Gunzburger, M., Trenchea, C.: Optimal control of the time-periodic MHD equations. Nonlinear Anal. 63, 1987–1699 (2005)
He, C., Wang, Y.: Remark on the regularity for weak solutions to the magnetohydrodynamic equations. Math. Methods Appl. Sci. 31, 1667–1684 (2008)
Kraußhar, R.S.: On the incompressible viscous MHD equations and explicit solution formulas for some three dimensional radially symmetric domains. In: Sabadini, I., Sommen, F. (eds.) Hypercomplex Analysis and Applications. Trends in Mathematics, pp. 125–137. Basel, Birkhäuser (2011)
Kraußhar, R.S.: Applications of the quaternionic calculus to the convective stationary MHD equations in \(\mathbb{R} ^3\). Adv. Appl. Cliff. Anal 24, 1047–1058 (2014)
Kravchenko, V.: Applied Quaternionic Analysis. Research and Exposition in Mathematics 28. Heldermann Verlag, Lemgo (2003)
Kravchenko, V., Shapiro, M.: Integral Representations for Spatial Models of Mathematical Physics. Addison Wesley Longman, Harlow (1996)
Lei, Z.: On axially symmetric incompressible magnetohydrodynamics in three dimensions. J. Differ. Equ. 259, 3202–3215 (2015)
Li, C., McIntosh, A., Semmes, S.: Convolution singular integrals on Lipschitz surfaces. J. Am. Math. Soc. 5, 455–481 (1992)
McIntosh, A.: Clifford algebras, Fourier theory, singular integrals, and harmonic functions on Lipschitz domains. In: Ryan, J. (ed.) Clifford Algebras in Analysis and Related Topics, pp. 33–87. CRC Press, Boca Raton (1996)
Meir, A.: Thermal coupled, stationary, incompressible MHD flow: existence, uniqueness ad finite element approximation. Numer. Methods Partial Differ. Equ. 11, 311–337 (1993)
Miao, C., Yuan, B.: On well-posedness of the Cauchy problem for MHD systems in Besov spaces. Math. Methods Appl. Sci. 32(1), 53–76 (2010)
Rashidi, S., Esfahani, J.A., Maskaniyan, M.: Applications of magnetohydrodynamics in biological systems-a review on the numerical studies. J. Magn. Magn. Mater. 439, 358–372 (2017)
Sermagne, M., Temam, R.: Some mathematical questions related to the MHD equations. Commun. Pure Appl. Math. 6, 635–664 (1983)
Tanisli, M., Demir, S., Tolan, T.: Hydromagnetic equations for dyonic plasmas in higher dimensions. Math. Methods Appl. Sci. (2013)
Wu, J.: Viscous and inviscid magneto-hydrodynamics equations. Journal d’analyse Mathématique 73, 251–265 (1997)
Wu, S.: Well-posedness in Sobolev spaces of the full water wave problem in 3D. J. Am. Math. Soc. 12, 445–495 (1999)
Zhai, X., Yin, Z.: Global well-posedness for the 3D incompressible inhomogeneous Navier–Stokes equations and MHD equations. J. Differ. Equ. 262, 1359–1412 (2017)
Zeidler, E.: Nonlinear Functional Analysis and Its Applications—IV. Applications to Mathematical Physics. Springer, New York (1988)
Acknowledgements
P. Cerejeiras and U. Kähler were supported by Portuguese funds through the CIDMA - Center for Research and Development in Mathematics and Applications, and the Portuguese Foundation for Science and Technology (“FCT–Fundação para a Ciência e a Tecnologia”), within project UIDB/04106/2020 and UIDP/04106/2020. They also acknowledge the support of the NSFC project ref: NSFC11971178.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniele Struppa.
This paper is dedicated to Professor John Ryan on the occasion of his retirement.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of Topical Collection in Honor of Prof. John Ryan’s Retirement.
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
Cerejeiras, P., Kähler, U. & Kraußhar, R.S. Variational Principles in Quaternionic Analysis with Applications to the Stationary MHD Equations. Complex Anal. Oper. Theory 18, 43 (2024). https://doi.org/10.1007/s11785-023-01455-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-023-01455-4
Keywords
- Quaternionic integral operator calculus
- Stationary incompressible viscous magnetohydrodynamics equations
- Dirac operators
- Existence and uniqueness theorems
- Variational calculus
- Mountain pass theorem
- Coercivity