-
On the Hill's Spherical Vortex in Fluid and Plasma, its Generalization, and Stability
Authors:
Jason M. Keller,
Alexei F. Cheviakov
Abstract:
In 1894 M.J.M. Hill published an article describing a spherical vortex moving through a stationary fluid. Using cylindrical coordinates and assuming the azimuthal velocity component zero, Hill found a simple solution that described this flow. A similar modern problem in the MHD framework was put forth in 1987 by A. A. Bobnev and in 1995 by R. Kaiser and D. Lortz who applied the setup to model a ba…
▽ More
In 1894 M.J.M. Hill published an article describing a spherical vortex moving through a stationary fluid. Using cylindrical coordinates and assuming the azimuthal velocity component zero, Hill found a simple solution that described this flow. A similar modern problem in the MHD framework was put forth in 1987 by A. A. Bobnev and in 1995 by R. Kaiser and D. Lortz who applied the setup to model a ball lighting. We present a much simpler derivation of Hill's spherical vortex using the Bragg-Hawthorne equation. In particular, by using the moving frame of reference, the Euler equations reduce to equilibrium flow which are equivalent to the static equilibrium MHD equations up to relabelling. A new generalized version of Hill's spherical vortex with a nonzero azimuthal component is derived. A physical solution to the static equilibrium MHD equations is computed by looking at a separated solution to the Grad-Shafranov equation in spherical coordinates. Finally, the stability of Hill's spherical vortex is examined by performing an axisymmetric perturbation described; it is shown that the Hill's spherical vortex is linearly unstable with respect to certain kinds of small perturbations.
△ Less
Submitted 26 March, 2022;
originally announced April 2022.
-
A Method for Random Packing of Spheres with Application to Bonding Modeling in Powder Bed 3D Printing Process
Authors:
Travis J. Black,
Alexei F. Cheviakov
Abstract:
A Matlab-based computational procedure is proposed to fill a given volume with spheres whose radii are randomly picked from any specified probability distribution supported by \verb|Matlab|. The general program sequence and examples of filling a unit cube, a parallelepiped, and a concave domain between two hemispherical surfaces, with spheres whose radii are drawn from the Weibull and Gamma distri…
▽ More
A Matlab-based computational procedure is proposed to fill a given volume with spheres whose radii are randomly picked from any specified probability distribution supported by \verb|Matlab|. The general program sequence and examples of filling a unit cube, a parallelepiped, and a concave domain between two hemispherical surfaces, with spheres whose radii are drawn from the Weibull and Gamma distributions, are presented. A sample application to the numerical modeling of bond formation between particles heated by a laser beam in powder bed 3D printing process is considered.
△ Less
Submitted 8 March, 2022;
originally announced April 2022.
-
New Exact Plasma Equilibria with Axial and Helical Symmetry
Authors:
Jason M. Keller,
Alexei F. Cheviakov
Abstract:
Exact solutions to the static equilibrium magnetohydrodynamic equations are presented and discussed for both axially and helically reduced systems. For both symmetries, physical restrictions on the solutions are discussed and it is seen that there arise two different families of physical solutions corresponding to two distinct pressure profiles. One is suitable for atmospherically confined plasma…
▽ More
Exact solutions to the static equilibrium magnetohydrodynamic equations are presented and discussed for both axially and helically reduced systems. For both symmetries, physical restrictions on the solutions are discussed and it is seen that there arise two different families of physical solutions corresponding to two distinct pressure profiles. One is suitable for atmospherically confined plasma whereas the other is suitable for plasma residing in a vacuum. For solutions in vacuum, the radial dependence is found to behave periodically for both axial and helical symmetries. For these physical solutions, only a truncated solution inside of some chosen domain can be considered. The magnetic field boundary can than be described by a current sheet. In the last part of the paper, these static equilibrium solutions are transformed into solutions with non-zero fluid velocity.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
On Exact and Approximate Symmetries of Algebraic and Ordinary Differential Equations with a Small Parameter
Authors:
Mahmood R. Tarayrah,
Alexei F. Cheviakov
Abstract:
The framework of Baikov-Gazizov-Ibragimov approximate symmetries has proven useful for many examples where a small perturbation of an ordinary differential equation (ODE) destroys its local symmetry group. For the perturbed model, some of the local symmetries of the unperturbed equation may (or may not) re-appear as approximate symmetries, and new approximate symmetries can appear. Approximate sym…
▽ More
The framework of Baikov-Gazizov-Ibragimov approximate symmetries has proven useful for many examples where a small perturbation of an ordinary differential equation (ODE) destroys its local symmetry group. For the perturbed model, some of the local symmetries of the unperturbed equation may (or may not) re-appear as approximate symmetries, and new approximate symmetries can appear. Approximate symmetries are useful as a tool for the construction of approximate solutions. We show that for algebraic and first-order differential equations, to every point symmetry of the unperturbed equation, there corresponds an approximate point symmetry of the perturbed equation. For second and higher-order ODEs, this is not the case: some point symmetries of the original ODE may be unstable, that is, they do not arise in the approximate point symmetry classification of the perturbed ODE. We show that such unstable point symmetries correspond to higher-order approximate symmetries of the perturbed ODE, and can be systematically computed. Two detailed examples, including a fourth-order nonlinear Boussinesq equation, are presented. Examples of the use of higher-order approximate symmetries and approximate integrating factors to obtain approximate solutions of higher-order ODEs are provided.
△ Less
Submitted 31 March, 2021;
originally announced April 2021.
-
Invariant Conservation Law-Preserving Discretizations of Linear and Nonlinear Wave Equations
Authors:
A. F. Cheviakov,
V. A. Dorodnitsyn,
E. I. Kaptsov
Abstract:
Symmetry- and conservation law-preserving finite difference discretizations are obtained for linear and nonlinear one-dimensional wave equations on five- and nine-point stencils, using the theory of Lie point symmetries of difference equations, and the discrete direct multiplier method of conservation law construction. In particular, for the linear wave equation, an explicit five-point scheme is p…
▽ More
Symmetry- and conservation law-preserving finite difference discretizations are obtained for linear and nonlinear one-dimensional wave equations on five- and nine-point stencils, using the theory of Lie point symmetries of difference equations, and the discrete direct multiplier method of conservation law construction. In particular, for the linear wave equation, an explicit five-point scheme is presented that preserves the discrete analogs of its basic geometric point symmetries, and six of the corresponding conservation laws. For a class of nonlinear wave equations arising in hyperelasticity, a nine-point implicit scheme is constructed, preserving four point symmetries and three local conservation laws. Other discretization of the nonlinear wave equations preserving different subsets of conservation laws are discussed.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Variational symmetries and conservation laws of the wave equation in one space dimension
Authors:
Roman O. Popovych,
Alexei F. Cheviakov
Abstract:
The direct method based on the definition of conserved currents of a system of differential equations is applied to compute the space of conservation laws of the (1+1)-dimensional wave equation in the light-cone coordinates. Then Noether's theorem yields the space of variational symmetries of the corresponding functional. The results are also presented for the standard space-time form of the wave…
▽ More
The direct method based on the definition of conserved currents of a system of differential equations is applied to compute the space of conservation laws of the (1+1)-dimensional wave equation in the light-cone coordinates. Then Noether's theorem yields the space of variational symmetries of the corresponding functional. The results are also presented for the standard space-time form of the wave equation.
△ Less
Submitted 21 January, 2020; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Locally and Globally Optimal Configurations of $N$ Particles on the Sphere with Applications in the Narrow Escape and Narrow Capture Problems
Authors:
Wesley J. M. Ridgway,
Alexei F. Cheviakov
Abstract:
Determination of \emph{optimal} arrangements of $N$ particles on a sphere is a well-known problem in physics. A famous example of such is the Thomson problem of finding equilibrium configurations of electrical charges on a sphere. More recently however, similar problems involving other potentials and non-spherical domains have arisen in biophysical systems. Many optimal configurations have previou…
▽ More
Determination of \emph{optimal} arrangements of $N$ particles on a sphere is a well-known problem in physics. A famous example of such is the Thomson problem of finding equilibrium configurations of electrical charges on a sphere. More recently however, similar problems involving other potentials and non-spherical domains have arisen in biophysical systems. Many optimal configurations have previously been computed, especially for the Thomson problem, however few results exist for potentials that correspond to more applied problems. Here we numerically compute optimal configurations corresponding to the \emph{narrow escape} and \emph{narrow capture} problems in biophysics. We provide comprehensive tables of global energy minima for $N\leq120$ and local energy minima for $N\leq65$, and we exclude all saddle points. Local minima up to $N=120$ are available online.
△ Less
Submitted 15 December, 2018;
originally announced December 2018.
-
A Solution Set-Based Entropy Principle for Constitutive Modeling in Mechanics
Authors:
J. Heß,
A. F. Cheviakov
Abstract:
Entropy principles based on thermodynamic consistency requirements are widely used for constitutive modeling in continuum mechanics, providing physical constraints on a priori unknown constitutive functions. The well-known Müller-Liu procedure is based on Liu's lemma for linear systems. While the Müller-Liu algorithm works well for basic models with simple constitutive dependencies, it cannot take…
▽ More
Entropy principles based on thermodynamic consistency requirements are widely used for constitutive modeling in continuum mechanics, providing physical constraints on a priori unknown constitutive functions. The well-known Müller-Liu procedure is based on Liu's lemma for linear systems. While the Müller-Liu algorithm works well for basic models with simple constitutive dependencies, it cannot take into account nonlinear relationships that exist between higher derivatives of the fields in the cases of more complex constitutive dependencies.
The current contribution presents a general solution set-based procedure, which, for a model system of differential equations, respects the geometry of the solution manifold, and yields a set of constraint equations on the unknown constitutive functions, which are necessary and sufficient conditions for the entropy production to stay nonnegative for any solution. Similarly to the Müller-Liu procedure, the solution set approach is algorithmic, its output being a set of constraint equations and a residual entropy inequality. The solution set method is applicable to virtually any physical model, allows for arbitrary initially postulated forms of the constitutive dependencies, and does not use artificial constructs like Lagrange multipliers. A Maple implementation makes the solution set method computationally straightforward and useful for the constitutive modeling of complex systems.
Several computational examples are considered, in particular, models of gas, anisotropic fluid, and granular flow dynamics. The resulting constitutive function forms are analyzed, and comparisons are provided. It is shown how the solution set entropy principle can yield classification problems, leading to several complementary sets of admissible constitutive functions; such problems have not previously appeared in the constitutive modeling literature.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
On the different types of global and local conservation laws for partial differential equations in three spatial dimensions: review and recent developments
Authors:
Stephen C. Anco,
Alexei F. Cheviakov
Abstract:
For systems of partial differential equations in three spatial dimensions, dynamical conservation laws holding on volumes, surfaces, and curves, as well as topological conservation laws holding on surfaces and curves, are studied in a unified framework. Both global and local formulations of these different conservation laws are discussed, including the forms of global constants of motion. The main…
▽ More
For systems of partial differential equations in three spatial dimensions, dynamical conservation laws holding on volumes, surfaces, and curves, as well as topological conservation laws holding on surfaces and curves, are studied in a unified framework. Both global and local formulations of these different conservation laws are discussed, including the forms of global constants of motion. The main results consist of providing an explicit characterization for when two conservation laws are locally or globally equivalent, and for when a conservation law is locally or globally trivial, as well as deriving relationships among the different types of conservation laws. In particular, the notion of a ``trivial'' conservation law is clarified for all of the types of conservation laws. Moreover, as further new results, conditions under which a trivial local conservation law on a domain can yield a non-trivial global conservation law on the domain boundary are determined and shown to be related to differential identities that hold for PDE systems containing both evolution equations and spatial constraint equations. Numerous physical examples from fluid flow, gas dynamics, electromagnetism, and magnetohydrodynamics are used as illustrations.
△ Less
Submitted 28 July, 2020; v1 submitted 23 March, 2018;
originally announced March 2018.
-
Nonlinear Dynamics of a Viscous Bubbly Fluid
Authors:
Ryan J. Thiessen,
Alexei F. Cheviakov
Abstract:
A physical model of a three-dimensional flow of a viscous bubbly fluid in an intermediate regime between bubble formation and breakage is presented. The model is based on mechanics and thermodynamics of a single bubble coupled to the dynamics of a viscous fluid as a whole, and takes into account multiple physical effects, including gravity, viscosity, and surface tension. Dimensionless versions of…
▽ More
A physical model of a three-dimensional flow of a viscous bubbly fluid in an intermediate regime between bubble formation and breakage is presented. The model is based on mechanics and thermodynamics of a single bubble coupled to the dynamics of a viscous fluid as a whole, and takes into account multiple physical effects, including gravity, viscosity, and surface tension. Dimensionless versions of the resulting nonlinear model are obtained, and values of dimensionless parameters are estimated for typical magma flows in horizontal subaerial lava fields and vertical volcanic conduits.
Exact solutions of the resulting system of nonlinear equations corresponding to equilibrium flows and traveling waves are analyzed in the one-dimensional setting. Generalized Su-Gardner-type perturbation analysis is employed to study approximate solutions of the model in the long-wave ansatz. Simplified nonlinear partial differential equations (PDE) satisfied by the leading terms of the perturbation solutions are systematically derived. It is shown that for specific classes of perturbations, approximate solutions of the bubbly fluid model arise from solutions of the classical diffusion, Burgers, variable-coefficient Burgers, and Korteweg-de Vries equations.
△ Less
Submitted 5 January, 2019; v1 submitted 30 November, 2017;
originally announced November 2017.
-
A Symbolic Computation Framework for Constitutive Modelling Based On Entropy Principles
Authors:
A. F. Cheviakov,
J. Heß
Abstract:
The entropy principle in the formulation of Müller and Liu is a common tool used in constitutive modelling for the development of restrictions on the unknown constitutive functions describing material properties of various physical continua. In the current work, a symbolic software implementation of the Liu algorithm, based on \verb|Maple| software and the \verb|GeM| package, is presented. The com…
▽ More
The entropy principle in the formulation of Müller and Liu is a common tool used in constitutive modelling for the development of restrictions on the unknown constitutive functions describing material properties of various physical continua. In the current work, a symbolic software implementation of the Liu algorithm, based on \verb|Maple| software and the \verb|GeM| package, is presented. The computational framework is used to algorithmically perform technically demanding symbolic computations related to the entropy principle, to simplify and reduce Liu's identities, and ultimately to derive explicit formulas describing classes of constitutive functions that do not violate the entropy principle. Detailed physical examples are presented and discussed.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Symbolic Computation of Equivalence Transformations and Parameter Reduction for Nonlinear Physical Models
Authors:
Alexei F. Cheviakov
Abstract:
An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary functions and/or arbitrary constant parameters), using the software package GeM for Maple. Application of equivalence transformations to the reduction of the nu…
▽ More
An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary functions and/or arbitrary constant parameters), using the software package GeM for Maple. Application of equivalence transformations to the reduction of the number of arbitrary elements in a given system of equations is discussed, and several examples are considered. First computational example of a generalized equivalence transformation where the transformation of the dependent variable involves the arbitrary constitutive function is presented.
As a detailed physical example, a three-parameter family of nonlinear wave equations describing finite anti-plane shear displacements of an incompressible hyperelasic fiber-reinforced medium is considered. Equivalence transformations are computed and employed to radically simplify the model for an arbitrary fiber direction, invertibly reducing the model to a simple form that corresponds to a special fiber direction, and involves no arbitrary elements.
The presented computation algorithm is applicable to wide classes of systems of differential equations containing arbitrary elements.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
Exact Solutions of a Fully Nonlinear Two-Fluid Model
Authors:
Alexei F. Cheviakov
Abstract:
A nonlinear coupled Choi-Camassa model describing one-dimensional incompressible motion of two non-mixing fluid layers in a horizontal channel has been derived in Ref.1. An equivalence transformation is presented, leading to a special dimensionless form of the system, with the number of constant physical parameters reduced from five to one. A first-order dimensionless ordinary differential equatio…
▽ More
A nonlinear coupled Choi-Camassa model describing one-dimensional incompressible motion of two non-mixing fluid layers in a horizontal channel has been derived in Ref.1. An equivalence transformation is presented, leading to a special dimensionless form of the system, with the number of constant physical parameters reduced from five to one. A first-order dimensionless ordinary differential equation describing traveling wave solutions is analyzed. Several multi-parameter families of exact closed-form solutions of the Choi-Camassa model are obtained, describing periodic, solitary, and kink-type bidirectional traveling waves.
△ Less
Submitted 26 February, 2016;
originally announced February 2016.
-
Computation of fluxes of conservation laws
Authors:
Alexei F. Cheviakov
Abstract:
The direct method of construction of local conservation laws of partial differential equations (PDE) is a systematic method applicable to a wide class of PDE systems [Anco S. and Bluman G., Direct construction method for conservation laws of partial differential equations Part II: General treatment. {\sl Europ. J. Appl. Math.} {\bf 13}, 567--585 (2002)]. Within the direct method, one seeks multi…
▽ More
The direct method of construction of local conservation laws of partial differential equations (PDE) is a systematic method applicable to a wide class of PDE systems [Anco S. and Bluman G., Direct construction method for conservation laws of partial differential equations Part II: General treatment. {\sl Europ. J. Appl. Math.} {\bf 13}, 567--585 (2002)]. Within the direct method, one seeks multipliers, such that the linear combination of PDEs of a given system with these multipliers yields a divergence expression.
After local conservation law multipliers are found, one needs to reconstruct the fluxes of the conservation law. In this review paper, we discuss common methods of flux computation, compare them, and illustrate by examples. An implementation of these methods in symbolic software is also presented.
△ Less
Submitted 3 July, 2009;
originally announced July 2009.
-
Symmetries, conservation laws and exact solutions of static plasma equilibrium systems in three dimensions
Authors:
Alexei F. Cheviakov,
Stephen C. Anco
Abstract:
For static reductions of isotropic and anisotropic Magnetohydrodynamics plasma equilibrium models, a complete classification of admitted point symmetries and conservation laws up to first order is presented. It is shown that the symmetry algebra for the isotropic equations is finite-dimensional, whereas anisotropic equations admit infinite symmetries depending on a free function defined on the s…
▽ More
For static reductions of isotropic and anisotropic Magnetohydrodynamics plasma equilibrium models, a complete classification of admitted point symmetries and conservation laws up to first order is presented. It is shown that the symmetry algebra for the isotropic equations is finite-dimensional, whereas anisotropic equations admit infinite symmetries depending on a free function defined on the set of magnetic surfaces. A direct transformation is established between isotropic and anisotropic equations, which provides an efficient way of constructing new exact anisotropic solutions. In particular, axially and helically symmetric anisotropic plasma equilibria arise from classical Grad-Shafranov and JFKO equations.
△ Less
Submitted 16 November, 2007; v1 submitted 30 August, 2007;
originally announced August 2007.
-
Point symmetries of 3D static plasma equilibrium systems: comparison and applications
Authors:
Alexei F. Cheviakov
Abstract:
Dynamic plasma equilibrium systems, both in isotropic and anisotropic framework, possess infinite-dimensional Lie groups of point symmetries, which depend on solution topology and lead to construction of infinite families of new physical solutions.
By performing the complete classification, we show that in the static isotropic case no infinite point symmetries arise, whereas static anisotropic…
▽ More
Dynamic plasma equilibrium systems, both in isotropic and anisotropic framework, possess infinite-dimensional Lie groups of point symmetries, which depend on solution topology and lead to construction of infinite families of new physical solutions.
By performing the complete classification, we show that in the static isotropic case no infinite point symmetries arise, whereas static anisotropic plasma equilibria still possess a Lie group of symmetries depending on one free function defined on the set of magnetic field lines. The finite form of the symmetries is found and used to obtain new exact solutions. We demonstrate how anisotropic axially- and helically-symmetric equilibria are obtained using conventional Grad-Shafranov and JFKO equations.
A recently developed multifunctional automated Maple-based software package for symmetry and conservation law analysis is presented and used in this work.
△ Less
Submitted 30 September, 2005;
originally announced October 2005.
-
Plasma equilibrium equations in coordinates connected with magnetic surfaces. Exact equilibrium solutions
Authors:
Alexei F. Cheviakov
Abstract:
A representation of the static MHD equilibrium system in coordinates connected with magnetic surfaces is suggested. It is used for producing families of non-trivial 3D exact solutions of isotropic and anisotropic plasma equilibria in different geometries, with and without dynamics, and often without geometrical symmetries. The ways of finding coordinates in which exact equilibria can be construc…
▽ More
A representation of the static MHD equilibrium system in coordinates connected with magnetic surfaces is suggested. It is used for producing families of non-trivial 3D exact solutions of isotropic and anisotropic plasma equilibria in different geometries, with and without dynamics, and often without geometrical symmetries. The ways of finding coordinates in which exact equilibria can be constructed are discussed; examples and their applications as physical models are presented.
△ Less
Submitted 19 October, 2004;
originally announced October 2004.
-
Lie Group analysis of Plasma equilibrium equations
Authors:
Alexei F. Cheviakov
Abstract:
In this paper we perform Lie group analysis of systems of partial differential equations which describe different cases of classical plasma equilibria, and find groups of transformations admitted by those equations in several important cases.
We also give a recipe how to apply Lie formalism to look for Bäcklund transformations between systems of partial differential equations, using plasma equ…
▽ More
In this paper we perform Lie group analysis of systems of partial differential equations which describe different cases of classical plasma equilibria, and find groups of transformations admitted by those equations in several important cases.
We also give a recipe how to apply Lie formalism to look for Bäcklund transformations between systems of partial differential equations, using plasma equilibrium system as an example.
△ Less
Submitted 30 October, 2002;
originally announced October 2002.
-
Infinite-dimensional Bäcklund transformations between isotropic and anisotropic plasma equilibria. Infinite symmetries of anisotropic plasma equilibria
Authors:
Alexei F. Cheviakov
Abstract:
In this paper we establish Bäcklund transformations between solutions of several cases of classical isotropic MHD and plasma equilibria and corresponding anisotropic equilibria. The transformations appear to be infinite-dimensional and allow building solutions with variety of physical properties. We also present a new infinite-dimensional Lie group of intrinsic symmetries of anisotropic plasma e…
▽ More
In this paper we establish Bäcklund transformations between solutions of several cases of classical isotropic MHD and plasma equilibria and corresponding anisotropic equilibria. The transformations appear to be infinite-dimensional and allow building solutions with variety of physical properties. We also present a new infinite-dimensional Lie group of intrinsic symmetries of anisotropic plasma equilibria equations, similar to those for the isotropic case.
△ Less
Submitted 30 October, 2002;
originally announced October 2002.
