Multiphysics implementation of advanced soil mechanics models

Classical theory for systems of the first order partial differential equations for a scalar function can be rephrased as the submanifold theory of contact manifolds (geometric first order jet spaces). In the same spirit, we will develop the geometric theory of systems of partial differential equations of second order for a scalar function as the Contact Geometry of Second Order, following E. Cartan.We will formulate the submanifold theory of second order jet spaces as the geometry of PD manifolds (R;D 1 ,D 2 ) of second order. Moreover we will establish the First Reduction Theorem for (R;D 1,D 2) admitting non-trivial Cauchy characteristic systems. By utilizing Parabolic Geometry, we will give, directly or combined with reduction theorems, several classes of systems of partial differential equations of second order, for which the model equation of each class admits the Lie algebra of infinitesimal contact transformations, which is finite dimensional and simple.

Exact solutions of some nonlinear systems of partial differential equations by using the first integral method

A method for reducing systems of partial differential equations to corresponding systems of ordinary differential equations is proposed. A system of equations describing two-dimensional, cylindrical, and spherical flows of a polytropic gas; a system of dimensionless Stokes equations for the dynamics of a viscous incompressible fluid; a system of Maxwell’s equations for vacuum; and a system of gas dynamics equations in cylindrical coordinates are studied. It is shown how this approach can be used for solving certain problems (shockless compression, turbulence, etc.).

Automatic differentiation (AD) is a well-known technique for evaluating analytic derivatives of calculations implemented on a computer, with numerous software tools available for incorporating AD technology into complex applications. However, a growing challenge for AD is the efficient differentiation of parallel computations implemented on emerging manycore computing architectures such as multicore CPUs, GPUs, and accelerators as these devices become more pervasive. In this work, we explore forward mode, operator overloading-based differentiation of C++ codes on these architectures using the widely available Sacado AD software package. In particular, we leverage Kokkos, a C++ tool providing APIs for implementing parallel computations that is portable to a wide variety of emerging architectures. We describe the challenges that arise when differentiating code for these architectures using Kokkos, and two approaches for overcoming them that ensure optimal memory access patterns as well as expose additional dimensions of fine-grained parallelism in the derivative calculation. We describe the results of several computational experiments that demonstrate the performance of the approach on a few contemporary CPU and GPU architectures. We then conclude with applications of these techniques to the simulation of discretized systems of partial differential equations.

For a class of nonlinear systems of partial differential equations of high order in a cylindrical domain the following boundary value problem is considered: Cauchy-type conditions are prescribed on the upper and lower bases of the cylinder, and a Robin-type condition is prescribed on the lateral part of the boundary. This boundary value problem is reduced in an equivalent way to a nonlinear functional equation in a certain subspace of the Sobolev space. Under certain assumptions about the nonlinear terms an a priori estimate is obtained for the solution of the problem in question and the existence of the solution is established, while in the case when these conditions fail, the absence of a solution is established. The question of uniqueness is also discussed for the solution. Bibliography: 18 titles.

A mathematical model for fluid transport in peritoneal dialysis is constructed. The model is based on a nonlinear system of two-dimensional partial differential equations with corresponding boundary and initial conditions. Using the classical Lie scheme, we establish that the base system of partial differential equations (under some restrictions on coefficients) is invariant under the infinite-dimensional Lie algebra, which enables us to construct families of exact solutions. Moreover, exact solutions with a more general structure are found using another (non-Lie) technique. Finally, it is shown that some of the solutions obtained describe the hydrostatic pressure and the glucose concentration in peritoneal dialysis.

The method of Lyapunov functions is used to investigate the stability of systems with distributed and lumped parameters, described by linear partial and ordinary differential equations. The original high-order partial differential equations are represented by a first-order system of partial differential evolution equations and constraint equations; to do that, we introduce additional variables. Passing to the first-order system of partial differential equations and representing ordinary differential equations in the normal Cauchy form, we obtain a possibility to construct the Lyapunov function as a sum of integral and classical quadratic forms and develop general methods of the investigation of the stability of a broad class of systems with distributed and lumped parameters. For example, we consider the stability of the work of the wind-driven lift pump and take into account the elasticity of the shaft transmitting the torque from the wind engine to the pump.

A new family of exact solutions to the unsteady Navier–Stokes equations using canonical transformation with complex coefficients

Singular perturbation problems for systems of partial differential equations of elliptic type

Existence of series solutions for certain nonlinear systems of time fractional partial differential equations

Kranc: a Mathematica package to generate numerical codes for tensorial evolution equations

Boundary value problems are considered for a system of stationary partial differential equations that stems from the models describing the implantation of impurities into semiconductor devices and is similar to the equations of carrier transport. The existence of solutions by functional analytic means (energetic method) is proved. Besides, an upper estimate for the set of solutions is obtained.

Degeneration of the solutions of certain well-posed systems of partial differential equations depending on a small parameter

A new technique to solve models for the reaction of solid particles and for parallel catalyst deactivation

The alternate-block-factorization (ABF) method is a procedure for partially decoupling systems of elliptic partial differential equations by means of a carefully chosen change of variables. By decoupling we mean that the ABF strategy attempts to reduce intra-equation coupling in the system rather than intra-grid coupling for a single elliptic equation in the system. This has the effect of speeding convergence of commonly used iteration schemes, which use the solution of a sequence of linear elliptic PDEs as their main computational step. Algebraically, the change of variables is equivalent to a postconditioning of the original system. The results of using ABF postconditioning on some problems arising from semiconductor device simulation are discussed.