On the Darboux Integrability of the Hindmarsh–Rose Burster

We study the Hindmarsh–Rose burster which can be described by the differential system = y-x~3+ bx~2+ I-z,  = 1-5 x2~-y, z = μ(s(x-x_0)-z),where b, I, μ, s, x_0 are parameters. We characterize all its invariant algebraic surfaces and all its exponential factors for all values of the parameters. We also characterize its Darboux integrability in function of the parameters. These characterizations allow to study the global dynamics of the system when such invariant algebraic surfaces exist.     

Cartan Matrices in the Toda–Darboux Chain Theory

We discuss a one-to-one correspondence between the polynomial first integrals of Hamiltonian systems with exponential interaction and the hyperintegrals of the two-dimensional Toda lattice. We establish formulas for recalculating the corresponding polynomials and some general properties of their algebraic structure.     

Global Saturation of Regularization Methods for Inverse Ill-Posed Problems

In this article the concept of saturation of an arbitrary regularization method is formalized based upon the original idea of saturation for spectral regularization methods introduced by Neubauer (Beiträge zur angewandten Analysis und Informatik, pp. 262–270, 1994). Necessary and sufficient conditions for a regularization method to have global saturation are provided. It is shown that for a method to have global saturation the total error must be optimal in two senses, namely as optimal order of convergence over a certain set which at the same time, must be optimal (in a very precise sense) with respect to the error. Finally, two converse results are proved and the theory is applied to find sufficient conditions which ensure the existence of global saturation for spectral methods with classical qualification of finite positive order and for methods with maximal qualification. Finally, several examples of regularization methods possessing global saturation are shown.     

Least-square Solutions of Inverse Problems for Anti-symmetric and Skew-symmetric Matrices

The least-square solutions of inverse problem for anti-symmetric and skew-symmetric matrices are studied. In addition, the problem of using anti-symmetric and skew-symmetric matrices to construct the optimal approximation to a given matrix is discussed, the necessary and sufficient conditions for the problem are derived, and the expression of the solution is provided. A numerical example is given to show the effectiveness of the proposed method.     

Weak Characterizations of Stochastic Integrability and Dudley’s Theorem in Infinite Dimensions

In this paper we consider stochastic integration with respect to cylindrical Brownian motion in infinite-dimensional spaces. We study weak characterizations of stochastic integrability and present a natural continuation of results of van Neerven, Weis and the second named author. The limitation of weak characterizations will be demonstrated with a nontrivial counterexample. The second subject treated in the paper addresses representation theory for random variables in terms of stochastic integrals. In particular, we provide an infinite-dimensional version of Dudley’s representation theorem for random variables and an extension of Doob’s representation for martingales.     

Phenomena in Inverse Stackelberg Games,Part 2: Dynamic Problems

Games are considered in which the role of the players is a hierarchical one. Some players behave as leaders, others as followers. Such games are named after Stackelberg. In the current paper, a special type of these games is considered, known in the literature as inverse Stackelberg games. In such games, the leader (or: leaders) announces his strategy as a mapping from the follower (or: followers) decision space into his own decision space. Arguments for studying such problems are given. The routine way of analysis, leading to a study of composed functions, is not very fruitful. Other approaches are given, mainly by studying specific examples. Phenomena in problems with more than one leader and/or follower are studied within the context of the inverse Stackelberg concept. As a side issue, expressions like “two captains on a ship” and “divide and conquer” are given a mathematical foundation.     

Galerkin’s Method in the Theory of Dipole Antennas

It is proved that an approximate solution of the integro-differential equation for the current at the surface of a dipole antenna obtained by Galerkin’s method converges to the exact solution. A method is proposed for calculating the matrix elements of linear operators that enter the above equation.     

Inverse relations in Shapiro’s open questions

As an inverse relation, involution with an invariant sequence plays a key role in combinatorics and features prominently in some of Shapiro’s open questions (Shapiro, 2001). In this paper, invariant sequences are used to provide answers to some of these questions about the Fibonacci matrix and Riordan involutions.     

On a Uniform Treatment of Darboux’s Method

Let F(z) be an analytic function in |z| < 1. If F(z) has only a finite number of algebraic singularities on the unit circle |z| = 1, then Darbouxs method can be used to give an asymptotic expansion for the coefficient of zⁿ in the Maclaurin expansion of F(z). However, the validity of this expansion ceases to hold, when the singularities are allowed to approach each other. A special case of this confluence was studied by Fields in 1968. His results have been considered by others to be too complicated, and desires have been expressed to investigate whether any simplification is feasible. In this paper, we shall show that simplification is indeed possible. In the case of two coalescing algebraic singularities, our expansion involves only two Bessel functions of the first kind.     

An Augmented Lagrangian Method for a Class of Inverse Quadratic Programming Problems

We consider an inverse quadratic programming (QP) problem in which the parameters in the objective function of a given QP problem are adjusted as little as possible so that a known feasible solution becomes the optimal one. We formulate this problem as a minimization problem with a positive semidefinite cone constraint and its dual is a linearly constrained semismoothly differentiable (SC¹) convex programming problem with fewer variables than the original one. We demonstrate the global convergence of the augmented Lagrangian method for the dual problem and prove that the convergence rate of primal iterates, generated by the augmented Lagrange method, is proportional to 1/r, and the rate of multiplier iterates is proportional to  $1/\sqrt{r}$ , where r is the penalty parameter in the augmented Lagrangian. As the objective function of the dual problem is a SC¹ function involving the projection operator onto the cone of symmetrically semi-definite matrices, the analysis requires extensive tools such as the singular value decomposition of matrices, an implicit function theorem for semismooth functions, and properties of the projection operator in the symmetric-matrix space. Furthermore, the semismooth Newton method with Armijo line search is applied to solve the subproblems in the augmented Lagrange approach, which is proven to have global convergence and local quadratic rate. Finally numerical results, implemented by the augmented Lagrangian method, are reported.     

Initiation of Cracks in Griffith’s Theory: An Argument of Continuity in Favor of Global Minimization

The initiation of a crack in a sound body is a real issue in the setting of Griffith’s theory of brittle fracture. If one uses the concept of critical energy release rate (Griffith’s criterion), it is in general impossible to initiate a crack. On the other hand, if we replace it by a least energy principle (Francfort–Marigo’s criterion), it becomes possible to predict the onset of cracking in any circumstance. However this latter criterion can appear too strong. We propose here to reinforce its interest by an argument of continuity. Specifically, we consider the issue of the initiation of a crack at a notch whose angle ω is considered as a parameter. The result predicted by the Griffith criterion is not continuous with respect to ω, since no initiation occurs when ω>0 while a crack initiates when ω=0. In contrast, the Francfort–Marigo’s criterion delivers a response which is continuous with respect to ω, even though the onset of cracking is necessarily brutal when ω>0. The theoretical analysis is illustrated by numerical computations.     

Application of Dzyadyk’s Polynomial Kernels in the Constructive Function Theory

Ukrainian Mathematical Journal - This is a survey of recent results in the constructive theory of functions of complex variable obtained by the author through the application of the theory of...     

A generalization of Bonnet’s theorem on Darboux surfaces

The well-known Bonnet theorem claims that, on a Darboux surface in three-dimensional Euclidean space, along each line of curvature, the corresponding principal curvature is proportional to the cube of another principal curvature. In the present paper, this theorem is generalized (with respect to dimension) to n-dimensional hypersurfaces of Euclidean spaces.     

Hamiltonization and Integrability of the Chaplygin Sphere in ℝ n

This paper studies a natural n-dimensional generalization of the classical nonholonomic Chaplygin sphere problem. We prove that for a specific choice of the inertia operator, the restriction of the generalized problem onto a zero value of the SO(n−1)-momentum mapping becomes an integrable Hamiltonian system after an appropriate time reparametrization.     

Generalized Characteristics of Smoothness and Some Extreme Problems of the Approximation Theory of Functions in the Space L2(ℝ). II

Ukrainian Mathematical Journal - In the second part of the paper, we establish the exact Jackson-type inequalities for the characteristic of smoothness Λw on the classes of functions $$...     

Generalized Characteristics of Smoothness and Some Extreme Problems of the Approximation Theory of Functions in the Space L2(ℝ). I

Ukrainian Mathematical Journal - We consider the generalized characteristics of smoothness of the functions ωw(f, t) and Λw(f, t), t &gt; 0, in the space L2(?) and on the...     

Problems and solutions in students’ reinvention of a definition for sequence convergence

Little research exists on the ways in which students may develop an understanding of formal limit definitions. We conducted a study to (i) generate insights into how students might leverage their intuitive understandings of sequence convergence to construct a formal definition and (ii) assess the extent to which a previously established approximation scheme may support students in constructing their definition. Our research is rooted in the theory of Realistic Mathematics Education and employed the methodology of guided reinvention in a teaching experiment. In three 90-min sessions, two students, neither of whom had previously seen a formal definition of sequence convergence, constructed a rigorous definition using formal mathematical notation and quantification equivalent to the conventional definition. The students’ use of an approximation scheme and concrete examples were both central to their progress, and each portion of their definition emerged in response to overcoming specific cognitive challenges.     

Conservation of ‘Moving’ Energy in Nonholonomic Systems with Affine Constraints and Integrability of Spheres on Rotating Surfaces

Energy is in general not conserved for mechanical nonholonomic systems with affine constraints. In this article we point out that, nevertheless, in certain cases, there is a modification of the energy that is conserved. Such a function is the pull-back of the energy of the system written in a system of time-dependent coordinates in which the constraint is linear, and for this reason will be called a ‘moving’ energy. After giving sufficient conditions for the existence of a conserved, time-independent moving energy, we point out the role of symmetry in this mechanism. Lastly, we apply these ideas to prove that the motions of a heavy homogeneous solid sphere that rolls inside a convex surface of revolution in uniform rotation about its vertical figure axis, are (at least for certain parameter values and in open regions of the phase space) quasi-periodic on tori of dimension up to three.