On integrability of a heavy rigid body sinking in an ideal fluid

We consider a rigid body possessing 3 mutually perpendicular planes of symmetry, sinking in an ideal fluid. We prove that the general solution to the equations of motion branches in the complex time plane, and that the equations consequently are not algebraically integrable. We show that there are solutions with an infinitely-sheeted Riemannian surface.     

INVARIANCE AND STABILITY OF THE PROFILE EQUATIONS OF GEOMETRIC OPTICS

The profile equations of geometric optics are described in a form invariant under the natural transformations of first order systems of partial differential equations. This allows us to prove that various strategies for computing profile equations are equivalent. We prove that if L generates an evolution on L 2 the same is true of the profile equations. We prove that the characteristic polynomial of the profile equations is the localization of the characteristic polynomial of the background operator at (y, dφ(y)) where φ is the background phase. We prove that the propagation cones of the profile equations are subsets of the propagation cones of the background operator.     

On the asymptotic behavior of solutions of integro-differential equations in a Hilbert space

We consider integro-differential equations that are an abstract form of the well-known Gurtin-Pipkin equation. We obtain representations of strong solutions of these equations in the form of series in the exponentials corresponding to points of spectrum of the symbols of such equations.     

The Theory of Linear G-Difference Equations

We introduce the notion of difference equations defined on a structured set. The symmetry group of the structure determines the set of difference operators. All main notions in the theory of difference equations are introduced as invariants of the action of the symmetry group. Linear equations are modules over the skew group algebra, solutions are morphisms relating a given equation to other equations, symmetries of an equation are module endomorphisms, and conserved structures are invariants in the tensor algebra of the given equation.We show that the equations and their solutions can be described through representations of the isotropy group of the symmetry group of the underlying set. We relate our notion of difference equation and solutions to systems of classical difference equations and their solutions and show that out notions include these as a special case.     

Outcomes of a service teaching module on ODEs for physics students

This paper reports on the first part of a multiphase research project that seeks to identify and address the difficulties encountered by physics students when studying differential equations. Differential equations are used extensively by undergraduate physics students, particularly in the advanced modules of their degree. It is, therefore, necessary that students develop conceptual understanding of differential equations in addition to procedural skills. We have investigated the difficulties encountered by third-year students at Dublin City University in an introductory differential equations module. We developed a survey to identify these difficulties and administered it to students who had recently completed the module. We found that students’ mathematical ability in relation to procedural competence is an issue in their study of differential equations, but not as severe an issue as their conceptual understanding. Mathematical competence alone is insufficient if we expect our students to be able to recognize the need for differential equations in a physical context and to be able to set up, solve and interpret the solutions of such equations. We discuss the implications of these results for the next stages of the research project.     

Existence of solutions and Gevrey class regularity for Leray-alpha equations

In this paper we consider some equations similar to Navier-Stokes equations, the three-dimensional Leray-alpha equations with space periodic boundary conditions. We establish the regularity of the equations by using the classical Faedo-Galerkin method. Our argument shows that there exist an unique weak solution and an unique strong solution for all the time for the Leray-alpha equations, furthermore, the strong solutions are analytic in time with values in the Gevrey class of functions (for the space variable). The relations between the Leray-alpha equations and the Navier-Stokes equations are also considered.     

A Numerical Study of the Exact Evolution Equations for Surface Waves in Water of Finite Depth

We describe a pseudo-spectral numerical method to solve the systems of one-dimensional evolution equations for free surface waves in a homogeneous layer of an ideal fluid. We use the method to solve a system of one-dimensional integro-differential equations, first proposed by Ovsjannikov and later derived by Dyachenko, Zakharov, and Kuznetsov, to simulate the exact evolution of nonlinear free surface waves governed by the two-dimensional Euler equations. These equations are written in the transformed plane where the free surface is mapped onto a flat surface and do not require the common assumption that the waves have small amplitude used in deriving the weakly nonlinear Korteweg–de Vries and Boussinesq long-wave equations. We compare the solution of the exact reduced equations with these weakly nonlinear long-wave models and with the nonlinear long-wave equations of Su and Gardner that do not assume the waves have small amplitude. The Su and Gardner solutions are in remarkably close agreement with the exact Euler solutions for large amplitude solitary wave interactions while the interactions of low-amplitude solitary waves of all four models agree. The simulations demonstrate that our method is an efficient and accurate approach to integrate all of these equations and conserves the mass, momentum, and energy of the Euler equations over very long simulations.     

Functions orthogonal to polynomials and their application in axially symmetric problems in physics

We investigate properties of sets of functions comprising countably many elements A_n such that every function A_n is orthogonal to all polynomials of degrees less than n. We propose an effective method for solving Fredholm integral equations of the first kind whose kernels are generating functions for these sets of functions. We study integral equations used to solve some axially symmetric problems in physics. We prove that their kernels are generating functions that produce functions in the studied families and find these functions explicitly. This allows determining the elements of the matrices of systems of linear equations related to the integral equations for considering the physical problems.     

The similarity forms and invariant solutions of two-layer shallow-water equations

In this study symmetry group properties and general similarity forms of the two-layer shallow-water equations are discussed by Lie group theory. We represent that Lie group theory can be used as an effective approach for investigation of the self-similar solutions for the shallow-water equations with variable inflow as the generalization of dimensional analysis that was used so far for a regular approach in the literature. We also represent that the results obtained by dimensional analysis are just a special case of the results obtained by Lie group theory and it is possible to obtain the new similarity forms and the new variable inflow functions for the study of gravity currents in two-layer flow under shallow-water approximations based on Lie group theory. The symmetry groups of the system of nonlinear partial differential equations are found and the corresponding similarity and reduced forms are obtained. Some similarity solutions of the reduced equations are investigated. It is shown that reduced equations and similarity forms of the system depend on the group parameters. We show that an analytic similarity solution for the system of equations can be found for some special values of them. For other values of the group parameters, the similarity solutions of the two-layer shallow-water equations representing the gravity currents with a variable inflow are found by the numeric integration.     

Stability of solutions to differential equations with several variable delays. I

We consider a class of scalar linear differential equations with several variable delays and constant coefficients. A family of equations of the class is defined by coefficients and maximum admissible values of delays. We obtain conditions that are necessary and sufficient for the stability of solutions to all equations of the family. It is ascertained that the conditions are determined entirely by properties of the solution to the initial problem for an autonomous equation that belongs to the family. Some alternatives of required conditions are obtained in the form of estimates for solutions to autonomous equations in a finite interval.     

Multidimensional nonlinear wave equations with multivalued solutions

We present the theory of breaking waves in nonlinear systems whose dynamics and spatial structure are described by multidimensional nonlinear hyperbolic wave equations. We obtain a general relation between systems of first-order quasilinear equations and nonlinear hyperbolic equations of higher orders, which, in particular, describe electromagnetic waves in a medium with nonlinear polarization of an arbitrary form. We use this approach to construct exact multivalued solutions of such equations and to study their spatial structure and dynamics. The results are generalized to a wide class of multidimensional equations such as d’Alembert equations, nonlinear Klein-Gordon equations, and nonlinear telegraph equations.     

Equivalence transformations of the Clebsch equations

We consider the Clebsch equations describing the motion of an ideal incompressible fluid in the absence of mass forces. These equations contain an arbitrary element, namely a function of three variables. We find the equivalence transformations of the variables which act on the arbitrary element and preserve the structure of the equations. The equivalence transformation is pointed out that takes the arbitrary element to zero. Some examples are given.     

Lax Pairs for Equations Describing Compatible Nonlocal Poisson Brackets of Hydrodynamic Type and Integrable Reductions of the Lamé Equations

We solve the problem of describing compatible nonlocal Poisson brackets of hydrodynamic type. We prove that for nonsingular pairs of compatible nonlocal Poisson brackets of hydrodynamic type, there exist special local coordinates such that the metrics and the Weingarten operators of both brackets are diagonal. The nonlinear evolution equations describing all nonsingular pairs of compatible nonlocal Poisson brackets of hydrodynamic type are derived in these special coordinates, and the integrability of these equations is proved using the inverse scattering transform. The Lax pairs with a spectral parameter for these equations are found. We construct various classes of integrable reductions of the derived equations. These classes of reductions are of an independent differential-geometric and applied interest. In particular, if one of the compatible Poisson brackets is local, we obtain integrable reductions of the classical Lamé equations describing all orthogonal curvilinear coordinate systems in a flat space; if one of the compatible brackets is generated by a constant-curvature metric, the corresponding equations describe integrable reductions of the equations for orthogonal curvilinear coordinate systems in a space of constant curvature.     

Solving resultant form equations over number fields

We give an efficient algorithm for solving resultant form equations over number fields. This is the first time that such equations are completely solved by reducing them to unit equations in two variables.

     

Well-posed solvability of volterra integro-differential equations in Hilbert space

We study the well-posed solvability of initial value problems for abstract integrodifferential equations with unbounded operator coefficients in a Hilbert space. These equations are an abstract form of linear partial integro-differential equations that arise in the theory of viscoelasticity and have a series of other important applications. We obtain results on the wellposed solvability of the considered integro-differential equations in weighted Sobolev spaces of vector functions defined on the positive half-line and ranging in a Hilbert space.     

Parameter estimation in moving boundary problems

We describe an approximation scheme which can be used to estimate unknown parameters in moving boundary problems. The model equations we consider are fairly general nonlinear diffusion/reaction equations of one spatial variable. Here we give conditions on the parameter sets and model equations under which we can prove that the estimates obtained using the approximations will converge to best-fit parameters for the original model equations. We conclude with a numerical example.     

Arithmetic Laplacians

We develop an arithmetic analogue of elliptic partial differential equations. The role of the space coordinates is played by a family of primes, and that of the space derivatives along the various primes are played by corresponding Fermat quotient operators subjected to certain commutation relations. This leads to arithmetic linear partial differential equations on algebraic groups that are analogues of certain operators in analysis constructed from Laplacians. We classify all such equations on one-dimensional groups, and analyze their spaces of solutions.     

Recursive analysis of singular ordinary differential equations

We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations.