Abstract
A geometric decomposition previously adopted in areas of nonlinear continuum mechanics and soliton theory is applied to a two-dimensional time-independent magnetohydrodynamic system to obtain reduction to a canonical third order nonlinear equation subject to a constraint. Novel classes of exact solutions to the magnetohydrodynamic system are thereby constructed. Connection is made with kinematic conditions which attend certain steady two-dimensional motions of fibre-reinforced viscous fluids.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [1], an intrinsic geometric decomposition procedure was developed in a kinematic analysis of certain hydrodynamic motions. It has subsequently been applied in diverse areas such as, inter alia, nonlinear elasticity, gasdynamics, magnetohydrostatics, magnetohydrodynamics and modern soliton theory. Thus, in magnetohydrodynamics it has been applied to analyse motions with the admitted geometric characteristic that the Maxwellian surfaces contain the streamlines as geodesics and the magnetic lines as parallels on a normal congruence [2]. Viable helical geometries were thereby isolated. In soliton theory, this kind of anholonomic representation has been applied, in particular, in the derivation of both an auto-Bäcklund transformation and Lax pair in a purely geometric manner for the canonical nonlinear Schrödinger (NLS) equation [3]. NLS soliton surfaces may be thereby constructed systematically in a geometric way [4]. In [5], this intrinsic geometric approach uncovered a remarkable connection between a previously well-studied class of hydrodynamic motions [6,7,8,9] and the integrable solitonic Heisenberg spin equation subject to a geometric constraint. The nature of this Heisenberg spin link has subsequently been elaborated upon in [10,11,12,13] and most recently extended to spatial relativistic gasdynamics [14]. The corresponding solitonic connection in magnetohydrostatics to the S-integrable homogeneous Heisenberg spin equation has been employed in [15] to derive exact magnetic flux configurations which incorporate, in particular, nested toroidal geometries as originally described in [16] with relevance to tokamak design. An extension to magnetohydrodynamics leading to the solitonic Pohlmeyer-Lund-Regge model subject to a volume-preserving constraint was presented in [17]. This geometric procedure was again employed in soliton theory in [18] in an analysis of the spatial binormal motion of inextensible curves of either constant curvature or torsion. Novel integrable extensions with geometric origin of both the Dym equation [19] and classical sine-Gordon equation of Bour [20] together with associated Bäcklund transformations [21] and soliton surfaces were thereby constructed.
The important connection between certain motions of inextensible curves and the generation of associated soliton equations is well-established (see, e.g., [4, 22] and literature cited therein). The study of the motion of fibre-reinforced fluids on the other hand, as described in the authoritative monograph of Spencer [23] likewise requires the analysis of viable motions of inextensible curves, in that physical context, embedded in a viscous liquid. This commonality with soliton theory involving the constrained motion of inextensible curves indicated potential integrable structure underlying certain admitted deformations in the motion of fibre-reinforced materials in formation processes. Such integrable connections have indeed been established in [24,25,26].
The basic mathematical theory of the deformation of fibre-reinforced materials is contained in [27]. However, it is remarked that certain aspects of the deformation of elastic materials reinforced by inextensible chords had been treated in the classic work by Green and Adkins [28]. In [24, 25], it was established by geometric means that kinematic constraints as set down in [23] on the steady two-dimensional motion of an ideal fibre-reinforced fluid can be consolidated in a single 3rd order nonlinear equation. Importantly, the latter admits a particular solitonic reduction compatible with the classical sine-Gordon equation. The kinematic conditions in that case admit both a Bäcklund transformation and a novel duality property. In [24], kinematically admissible spatial motions were obtained in which the fibres constitute geodesic windings on nested toroidal surfaces. The analysis of the kinematics of 2+1-dimensional motions of a fibre-reinforced fluid was subsequently undertaken in [26]. Under a constant divergence constraint, remarkably, the evolution was shown to be linked to the inverse scattering problem for the solitonic modified Korteweg-de Vries hierarchy which, in turn, may be generated in a purely geometric manner [4]. Motions were isolated in [26] wherein the fibres which are convected by the viscous fluid constitute generalized tractrices.
Two-dimensional steady magnetohydrodynamics has previously been the subject of analysis when the magnetic and velocity fields are everywhere orthogonal [29] or, more generally, inclined at a constant angle [30]. These cases were subsequently subsumed in non-aligned planar magnetohydrodynamics in [31] via a novel representation involving a quartet of Bernoulli integrals admitted by the governing nonlinear system. The present work serves to complement that of [31] and applies an intrinsic geometric formulation. It emerges here that, remarkably, a key 3rd order nonlinear equation of a geometric nature as originally derived in the fibre-reinforced viscous liquid context of [24, 25] naturally arises in the present magnetohydrodynamic analysis. In most recent work [32] a time-dependent variant of this canonical equation has been derived in the description of the 2+1-dimensional motion of fibre-reinforced fluids. Importantly, this development indicates the potential to extend the present geometric analysis to 2+1-dimensional magnetodydrodynamics and magnetogasdynamics. It is remarked that, in the latter connection, novel integrable pulsrodon [33] and Ermakov-Ray-Reid structure [34, 35] has been previously isolated in [36].
2 The magnetohydrodynamic system
Here, a geometric decomposition is undertaken of the two-dimensional reduction of the time-independent nonlinear magnetohydrodynamic system
where \(\varvec{H}\), \(\varvec{q}\) and p denote, in turn, the magnetic field, velocity and pressure respectively. The density and magnetic permeability are assumed to be constant and have been scaled to unity. It is remarked that the system (1) has been previously shown in [37] to be analogous mutatis mutandis to that descriptive of the plane elastostatic deformation of neo-Hookean materials [38]. In the current case of a translational symmetry in the direction of a unit vector \(\varvec{b}\), the magnetic induction equation (1)\(_3\) admits a representation
where A is the magnetic flux. Faraday’s law (1)\(_4\) then shows that
The general solution of the latter may be decomposed into a particular solution \(A_0\) and a function of any non-constant quantity \(\rho\) which is convected by \(\varvec{q}\), that is,
It is this observation which, in part, motivates the following alignment of magnetohydrodynamic motions with those of fibre-reinforced fluids in which quantities which are convected by the fluid flow arise naturally.
3 Fibre-reinforced fluid flows
In order to make a connection with the steady planar motion of ideal fibre-reinforced fluids, we now assume that there exist notional inextensible “fibres” embedded in the fluid which are convected by \(\varvec{q}\). If \(\varvec{t}\) denotes the unit tangent to the fibre lines then the existence of these fibre lines is encoded in the commutativity of the vector fields \(\varvec{q}\cdot \nabla\) and \(\varvec{t}\cdot \nabla\), that is,
Accordingly, the compatibility condition which guarantees the existence of a function \(\rho\) obeying the pair of equations
is satisfied. Geometrically, this means that \(\rho\) constitutes arc length along the fibres which is convected by the fluid flow. It is noted that this is consistent with the assumption that the fibres are inextensible.
In order to proceed, it is convenient to introduce the directional derivatives
where \(\varvec{n}\) denotes the principal (unit) normal to the fibres. If \(\kappa\) is the curvature of the fibres then the orthonormal pair \((\varvec{t},\varvec{n})\) obeys the Serret-Frenet equations [39]
and, analogously,
with \(\theta ={\text {div}}\varvec{t}\) being the negative of the curvature of the trajectories which are orthogonal to the fibres. Furthermore, \(\varvec{t}\) and \(\varvec{n}\) are represented by
and the fibres and orthogonal trajectories are parametrised by s and n respectively so that a canonical orthogonal coordinate system (x(s, n), y(s, n)) on the plane is obtained. In terms of this parametrisation, it has been shown that the kinematic equation (3) subject to the continuity equation (1)\(_1\) may be brought into the following compact form [24, 25].
Theorem 1
Given a solution \((\rho ,\psi (\rho ))\) of the partial differential equation
a solution of the kinematic pair (1)\(_1\), (3) governing steady planar motions of fibre-reinforced fluids is given by (6) and
where c is an arbitrary constant and the angle \(\varphi\) is determined by the compatible system
The parametrisation of the Cartesian coordinates x and y is obtained via integration of the compatible system
The one-parameter family of fibres is given by \((x,y)(s,n=\text{ const})\). Conversely, any generic motion is encoded in this manner.
Remark 1
The relations (10) show that the metric of the plane and the gradient are given by
and
so that combination of the Serret-Frenet-type equations (4), (5) and (9) reveals that
It is also observed that
by virtue of the representation (8) of the velocity \(\varvec{q}\).
4 The momentum equation
In order to evaluate the compatibility condition for the momentum equation (1)\(_2\) which guarantees the existence of the pressure p, we first derive an explicit expression for the magnetic field \(\varvec{H}\). Inspection of the directional derivative (12) reveals that \(A_0 = n\tilde{c}/c\) is a particular solution of (2) so that the magnetic flux is given by
If \(\varvec{b}\) is chosen as the binormal to the fibres defined by \(\varvec{b}= \varvec{t}\times \varvec{n}\) then
where \(g(\rho ) = f'(\rho )\). Accordingly, we arrive at the decomposition
which turns out to be convenient in the following discussion.
The momentum equation (1)\(_2\) may be formulated as
so that the pressure p is well defined if and only if the associated compatibility condition
holds. Since the two terms in the compatibility condition are of the form \({\text {curl}}(\varvec{A}\times \varvec{B})\) with
so that the vector identity
reduces to
the compatibility condition (14) assumes the compact form
On use of the expansion (13), this may be formulated as
and, hence,
The vorticity \(\alpha\) may now be calculated. Thus, since \(\varvec{b}\) is constant, we conclude that
wherein the Serret-Frenet-type equations (4), (5) and the expressions (11) for the curvatures \(\kappa\) and \(\theta\) have been used. Two of the above terms may be combined to obtain
Moreover, since \(\beta\) is linear in \(\tilde{c}\), we may write it as \(\beta = \beta _0 + \tilde{c}\beta _1\) so that, on the one hand,
On the other hand,
Accordingly, the compatibility condition (15) is explicitly given by
where
We therefore conclude that any solution of the overdetermined system of the third-order partial differential equations (7) and
gives rise to an essentially unique magnetohydrodynamic motion.
5 Classes of solutions
Even though the preceding analysis demonstrates that considering cognate magnetohydrodynamic and fibre-reinforced fluid motions is natural, it is by no means evident that the overdetermined system (7), (16) admits non-trivial solutions.
5.1 Rotationally symmetric motions
A reduction to ordinary differential equations is obtained via the ansatz
Here, it should be observed that even though it is evident that the ansatz (17) is compatible with the constraint (16), it is, a priori, not obvious that any other symmetry reduction of (7) is consistent with (16). In the case (17), the third-order equation (7) may be integrated once to obtain the nonlinear pendulum-type equation
where \(\hat{c}\) is the constant of integration. Moreover, the left-hand side of (16) vanishes identically, while the right-hand constitutes a differential equation for \(\hat{g}(s+n) = g(\rho (s+n))\) if \(\tilde{c}\ne 0\). If the velocity and the magnetic field are aligned (\(\tilde{c}=0\)) then the function g is arbitrary.
Fibre-reinforced fluid motions generated by the ansatz (17) have been discussed in detail in [24]. In particular, it is readily verified that the Cartesian coordinate vector \(\varvec{r}= (x\,\, y)^T\) obeying the system (10) is given by
The vector-valued additive constant of integration which has been suppressed is irrelevant unless \(\hat{c}=0\) in which case the constant has to be chosen in such a manner that the limit \(\hat{c}\rightarrow 0\) exists. In the case \(\hat{c}\ne 0\), we conclude that \(\varvec{r}^2\) is a function of \(s+n\) and, hence, (8) and (13) reveal that the velocity and magnetic field are of the form
If we set aside the genesis of the latter then direct evaluation of the original magnetohydrodynamic system (1) leads to
and
In the aligned case associated with \(H_{10}=0\), the function \(H_0\) is arbitrary. This corresponds to the function g being arbitrary. In fact, one may show that the magnetohydrodynamic motions associated with the current ansatz \(\rho =\rho (s+n)\) and \(\hat{c}\ne 0\) completely represent the rotationally symmetric class (18). The latter is characterised by concentric circular streamlines and magnetic field lines of spiral type. In the case \(H_{01}=0\), one retrieves a sub-class of magnetohydrodnamic motions for which the magnetic field lines and streamlines meet at a constant angle. The entire class of this nature has been classified in [30].
5.2 Compatibility
We now present a route which may be taken to reveal to which extent the differential equations (7) and (16) share non-trivial solutions. The classification of all common solutions will be presented elsewhere. However, here, we will demonstrate that there exist common solutions which may be expressed in terms of Whittaker, Bessel and Airy functions.
We first introduce a function R according to
It is observed that if \(R = R(\rho )\) then, locally, \(\rho = \rho (S(s) + n)\) which is, in turn, equivalent to the ansatz (17) since a suitable reparametrisation of the fibre lines leads to \(S=s\). If we take into account that
then it is readily seen that the third-order equation (7) becomes the second-order equation
Secondly, if, for simplicity, we confine ourselves to the aligned case then (16) reduces to \(U = l(\rho )\) so that
Once again, the parametrisation (19) reduces the order of this differential equation to obtain
where
Elimination of \(R_n\) between (20) and (22) then produces the ordinary differential equation
which is linear in \(R^2\).
The general solution of the second-order equation (23) is of the form
In principle, for any given triple \((\psi ,h,k)\), the functions \(W_i\) are determined by (23). Alternatively, we may regard the functions \(W_i\) as being given so that insertion of (24) into (23) leads to a system of ordinary differential equations for \((\psi ,h,k)\). Now, “taking the square” of (22) leads to a functional equation of the form
where the functions \(\mathcal {N}_k\) and \(\mathcal {R}_k\) depend on \(N_i\) and \(h,k,W_i\) respectively. A classification of the classes of solutions of this functional equation may be obtained by standard techniques [40], leading to a system of constraints on the functions \(N_i,W_i\) and h, k.
5.3 Separation of variables
As an illustration of the procedure outlined in the preceding, we focus on the case \(W_0=W_2=0\) so that R is a product of a function of n and a function of \(\rho\). In this case, the functional equation (25) admits only one class of solutions. Instead of deriving this class explicitly, we observe that R being separable is equivalent to the ansatz
and, hence, we may directly deal with the pair of differential equations (7) and (21). Thus, insertion of (26) into (7) produces
while (21) becomes
The latter implies that
where \(c_1\) and \(c_2\) are arbitrary constants, so that l and g may be determined by
and
once F is known.
It remains to separate the variables in the differential equation (27). Comparison with (28) shows that
Since \(\psi _z = \psi 'F_z\), (29)\(_1\) may be formulated as
and, hence,
The second equation (29)\(_2\) then becomes
which may be integrated to obtain
or, equivalently,
It is noted that \(c_4\) may be appropriately parametrised so that the above remains valid in the limit \(c_1\rightarrow 0\). We therefore conclude that the functions F and \(\psi\) are obtained via the linear system
with
5.4 Motions involving special functions
The solution of the differential equation (28) may be expressed in terms of elementary functions. The case \(c_1=c_2=0\) essentially corresponds to the ansatz (17). If \(c_1\ne 0\) then, for instance,
is a solution of (28). In connection with the system (30), it is convenient to make the change of independent variable
leading to
so that
which is a special case of Whittaker’s equation [41]. In particular, if \(c_2 = 0\), its solution is given in terms of Bessel functions according to
If \(c_4=0\) then G is a linear combination of (hyperbolic) sine and cosine functions.
In order to deal with the case \(c_1=0\), we first set \(c_4 = c_9 + c_2c_3/c_1\) so that
in the limit \(c_1\rightarrow 0\). Hence, the Airy equation
is obtained. A detailed examination of the solutions of the overdetermined system (7), (21) together with the corresponding magnetohydrodynamic motions is presented elsewhere.
References
Marris AW, Passman SL (1969) Vector fields and flows on developable surfaces. Arch Ration Mech Anal 32:29–86
Rogers C, Kingston JG (1974) Non-dissipative magnetohydrodynamic flows with magnetic and velocity field lines orthogonal geodesics on a normal congruence. SIAM J Appl Math 26:183–195
Rogers C, Schief WK (1998) Intrinsic geometry of the NLS equation and its auto-Bäcklund transformation. Stud Appl Math 101:267–287
Rogers C, Schief WK (2002) Bäcklund and Darboux transformations: geometry and modern applications in soliton theory. Cambridge University Press
Rogers C (2000) On the Heisenberg spin equation in hydrodynamics, Informes de Matématica, Série B-127. Instituto de Matématica Pura e Aplicada, Rio de Janeiro, Brasil
Prim RC (1952) Steady rotational flow of ideal gases. Arch Ration Mech Anal 1:425–497
Wasserman RH (1962) On a class of three-dimensional compressible fluid flows. J Math Anal Appl 5:119–135
Marris AW (1985) On motions with constant speed and streamline parameters. Arch Ration Mech Anal 90:1–14
Schief WK, Rogers C (2005) The Da Rios system under a geometric constraint. The Gilbarg problem. J Geom Phys 54:286–300
Rogers C, Schief WK (2000) On geodesic hydrodynamic motions. Heisenberg spin connections. J Math Anal Appl 251:855–870
Rogers C (2002) On the geometry of spatial hydrodynamic motions. Solitonic connections, in Proceedings XIth International Meeting on Waves and Stability in Continuous Media, pp 465-470
Schief WK, Rogers C (2012) The Euler equations of spatial gasdynamics and the integrable Heisenberg spin equation. Stud Appl Math 128:407–419
Schief WK, Rogers C (2012) Connection of an integrable Heisenberg spin equation to a hydrodynamics-type system with collision term. J Phys A Math & Theor 45:432002
Rogers C, Ruggeri T, Schief WK (2020) On relativistic gasdynamics: invariance under a class of reciprocal transformations and integrable Heisenberg spin connections. Proc Royal Soc Lond A 487:2020487
Schief WK (2003) Nested toroidal flux surfaces in magnetohydrostatics. Generation via soliton theory. J Plasma Phys 69:465–484
Palumbo D (1968) Some considerations on closed configurations of magnetohydrostatic equilibrium. Il Nuovo Cimeto B53:507–511
Schief WK (2003) Hidden integrability in ideal magnetohydrodynamics. The Pohlmeyer-Lund-Regge model. Phys Plasmas 10:2677–2685
Schief WK, Rogers C (1999) Binormal motion of curves of constant curvature and torsion. Generation of soliton surfaces. Proc Royal Soc Lond A455:3163–3188
Vassiliou PJ (2001) Harry Dym equation in encyclopedia of mathematics. Springer
Bour E (1862) Théorie de la déformation des surfaces. J l’École Impériale Polytech 19: Cahiers 39:1–48
Rogers C (1982) Bäcklund Transformations and Their Applications. Academic Press, Mathematics in Science and Engineering Series, New York
Doliwa A, Santini P (1994) An elementary geometric characterization of the integrable motions of a curve. Phys Lett A 185:373–384
Spencer AJM (1997) Fibre-streamline flows of fibre-reinforced viscous fluids. Eur J Appl Math 8:209–215
Schief WK, Rogers C (2003) The kinematics of fibre-reinforced fluids. An integrable reduction. Quart J Mech Appl Math 56:493–512
Rogers C, Schief WK (2003) The kinematics of the plane motion of fiber-reinforced ideal fluid: an integrable reduction and Bäcklund transformation. Theor Math Phys 137:1598–1608
Schief WK, Rogers C, Murugesh S (2007) On the kinematics of 2+1-dimensional motions of a fibre-reinforced fluid. Integrable connections. Quart J Mech Appl Math 60:49–64
Spencer AJM (1972) Deformation of fibre-reinforced materials. Clarendon Press, Oxford
Green AE, Adkins JE (1970) Large elastic deformations. Clarendon Press, Oxford
Ladikov IP (1962) Properties of plane and axi symmetric stationary flows in magnetohydrodynamics. J Appl Math Mech 26:1646–1642
Waterhouse JS, Kingston JG (1973) Plane magnetohydrodynamic flows with constantly inclined magnetic and velocity fields. Zeit Angew Math Phys 24:653–658
Rogers C, Schief WK (2009) On a Bernoulli-integtrable magnetohydrodynamic system. Zeit Angew Math Phys 60:608–620
Demskoi DK, Schief WK (2020) On non-steady planar motions of fibre-reinforced fluids. Geometry and integrable structure. J Phys A Math Theor 53:494001
Rogers C (1989) Elliptic warm-core theory: the pulsrodon. Phys Lett A 138:267–273
Rogers C, Malomed B, Chow K (2010) Ermakov-Ray-Reid systems in nonlinear optics. J Phys A Math Theor 43:455214
Rogers C, Schief WK (2018) Ermakov-type systems in nonlinear physics and continuum mechanics. In: Euler Norbert, Hall Chapman (eds) Nonlinear systems and their remarkable mathematical structures. CRC Press, pp 541–576
Rogers C, Schief WK (2011) The pulsrodon in 2+1-dimensional magneto-gasdynamics: Hamiltonian structure and integrability. J Math Phys 52:083701
Hill JM, Rogers C (1984) On an analogy between finite elastic deformations and certain magnetohydrodynamic flows. Zeit Angew Math Phys 35:24–33
Truesdell C, Noll W (1960) Nonlinear field theories in mechanics. Springer, New York
Eisenhart LP (1960) A treatise on the differential geometry of curves and surfaces. Dover, New York
Aczél J (1961) Sur une classe d’équations fonctionelles bilinéaires à plusieurs fonctions inconnues. Publications de la Faculté d’Électrotechnique de l’Université à Belgrade, série Mathematiques et physique 62:12–20
Jeffreys H, Swirles Jeffreys B (1946) Methods of mathematical physics. Cambridge University Press
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work is dedicated to the memory of the late Professor Andrew Marris of Georgia Institute of Technology.
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
Rogers, C., Schief, W.K. A two-dimensional magnetohydrodynamic system: geometric decomposition and canonical reduction. Meccanica 58, 1021–1029 (2023). https://doi.org/10.1007/s11012-022-01579-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11012-022-01579-5