Entropy estimation of the Hénon attractor

The topological entropy of the Hénon attractor is estimated using a function that describes the stable and unstable manifolds of the Hénon map. This function provides an accurate estimate of the length of curves in the attractor. The estimation method presented here can be applied to cases in which the invariant set is not hyperbolic. From the result of the length calculation, we have estimated the topological entropy h as h ～ 0.49703 for the original parameters a = 1.4 and b = 0.3 adopted by Hénon.     

Symmetries and nonlocal conservation laws of the general magma equation

In this paper the general magma equation modelling a melt flow in the Earth’s mantle is discussed. Applying the new theorem on nonlocal conservation laws [Ibragimov NH. A new conservation theorem. J Math Anal Appl 2007;333(1):311–28] and using the symmetries of the model equation nonlocal conservation laws are computed. In accordance with Ibragimov [Ibragimov NH. Quasi-self-adjoint differential equations. Preprint in Archives of ALGA, vol. 4, BTH, Karlskrona, Sweden: Alga Publications; 2007. p. 55–60, ISSN: 1652-4934] it is shown that the general magma equation is quasi-self-adjoint for arbitrary m and n and self-adjoint for n = ?m. These important properties are used for deriving local conservation laws.     

The conservation laws and group properties of the equations of gas dynamics with zero velocity of sound

All the conservation laws of zero order are obtained by the method of A-operators for a system of n-dimensional (n ≥ 1) equations of gas dynamics with zero velocity of sound. A group subdivision is carried out of this system with respect to an infinite subgroup, which is a normal divider of its main Lie group of transformations; the main group of the resolving system is obtained. First-order non-local symmetries are obtained for the initial system. A special choice of the mass Lagrange variables enables this system to be converted to a reduced system equivalent to it, containing n - 1 spatial variables, which, for n = 2, is written in the form of a one-dimensional complex heat-conduction equation using complex dependent and independent variables.     

Hyperbolic invariant sets of the real generalized Hénon maps

In this paper, the conditions under which there exists a uniformly hyperbolic invariant set for the generalized Hénon map F(x, y) =  (y, ag(y) ? δx) are investigated, where g(y) is a monic real-coefficient polynomial of degree d ? 2, a and δ are non-zero parameters. It is proved that for certain parameter regions the map has a Smale horseshoe and a uniformly hyperbolic invariant set on which it is topologically conjugate to the two-sided fullshift on two symbols, where g(y) has at least two different non-negative or non-positive real zeros, and ∣a∣ is sufficiently large. Moreover, it is shown that if g(y) has only simple real zeros, then for sufficiently large ∣a∣, there exists a uniformly hyperbolic invariant set on which F is topologically conjugate to the two-sided fullshift on d symbols.     

Discrepancy principle for DSM II

Let Ay = f, A is a linear operator in a Hilbert space H, y ⊥ N(A) ≔ {u : Au = 0}, R(A) ≔ {h : h = Au, u ∈ D(A)} is not closed, ∥f_δ − f∥ ⩽ δ. Given f_δ, one wants to construct u_δ such that lim_δ→0∥u_δ − y∥ = 0. Two versions of discrepancy principles for the DSM (dynamical systems method) for finding the stopping time and calculating the stable solution u_δ to the original equation Ay = f are formulated and mathematically justified.     

An exact algorithm for the knapsack sharing problem with common items

We are concerned with a variation of the knapsack problem as well as of the knapsack sharing problem, where we are given a set of n items and a knapsack of a fixed capacity. As usual, each item is associated with its profit and weight, and the problem is to determine the subset of items to be packed into the knapsack. However, in the problem there are s players and the items are divided into s + 1 disjoint groups, N_k (k = 0, 1, … , s). The player k is concerned only with the items in N₀ ∪ N_k, where N₀ is the set of ‘common’ items, while N_k represents the set of his own items. The problem is to maximize the minimum of the profits of all the players. An algorithm is developed to solve this problem to optimality, and through a series of computational experiments, we evaluate the performance of the developed algorithm.     

The dynamics of systems with large gyroscopic forces and the realization of constraints

Lagrangian systems with a large multiplier N on the gyroscopic terms are considered. Simplified equations of motion of general form with holonomic constraints are obtained in the first approximation with respect to the small parameter ɛ = 1/N. The structure of the solutions of the precessional equations is examined.     

Maple packages for computing Hirota’s bilinear equation and multisoliton solutions of nonlinear evolution equations

The Hirota method for generating Hirota’s bilinear equation and constructing soliton solutions of nonlinear evolution equations is discussed and illustrated. Two Maple programs Bilinearization and Multisoliton are presented to automatically calculate Hirota’s bilinear equations for nonlinear evolution equations and to compute their N-soliton solutions for N = 1, 2 or 3, respectively. Different kinds of examples are used to demonstrate the effectiveness of the packages.     

Calculation of a static potential created by plane fractal cluster

In this paper we demonstrate new approach that can help in calculation of electrostatic potential of a fractal (self-similar) cluster that is created by a system of charged particles. For this purpose we used the simplified model of a plane dendrite cluster [1] that is generated by a system of the concentric charged rings located in some horizontal plane (see Fig. 2). The radiuses and charges of the system of concentric rings satisfy correspondingly to relationships: r_n = r₀ξⁿ and e_n = e₀bⁿ, where n determines the number of a current ring. The self-similar structure of the system considered allows to reduce the problem to consideration of the functional equation that similar to the conventional scaling equation. Its solution represents itself the sum of power-low terms of integer order and non-integer power-law term multiplied to a log-periodic function [5], [6]. The appearance of this term was confirmed numerically for internal region of the self-similar cluster (r₀ ≪ r ≪ r_N−1), where r₀, r_N−1 determine the smallest and the largest radiuses of the limiting rings correspondingly. The results were obtained for homogeneously (b > 0) and heterogeneously (b < 0) charged rings. We expect that this approach allows to consider more complex self-similar structures with different geometries of charge distributions.     

Inverse problems for parabolic equations 2

Let u_t − u_xx = h(t) in 0 ⩽ x ⩽ π, t ⩾ 0. Assume that u(0, t) = v(t), u(π, t) = 0, and u(x, 0) = g(t). The problem is: what extra data determine the three unknown functions {h, v, g} uniquely? This question is answered and an analytical method for recovery of the above three functions is proposed.     

Space–time symmetry violation,configuration mixing model and E-infinity theory

We have studied the time reversal symmetry violation on the bases of the configuration mixing model and E-infinity theory. With the use of the Cabibbo angle approximation, we have presented the transformation matrix in terms of the golden ratio (?), and shown that the time reversal symmetry violation is described by the configuration mixing of the unstable and stable manifolds (W^u, W^s). The magnitude of the mixing for the weak interaction field is given by the expression sin² θ_T(theor) ≈ sin⁴ θ_C(theor) ≈ (?)¹² = 3.105 × 10^?3, which is compared to the Kaon decay experiment ～2.3 × 10^?3. We have also discussed the space–time symmetry violation by using the CPT theorem.     

Statistical properties of nucleotides in human chromosomes 21 and 22

In this paper the statistical properties of nucleotides in human chromosomes 21 and 22 are investigated. The n-tuple Zipf analysis with n = 3, 4, 5, 6, and 7 is used in our investigation. It is found that the most common n-tuples are those which consist only of adenine (A) and thymine (T), and the rarest n-tuples are those in which GC or CG pattern appears twice. With the n-tuples become more and more frequent, the double GC or CG pattern becomes a single GC or CG pattern. The percentage of four nucleotides in the rarest ten and the most common ten n-tuples are also considered in human chromosomes 21 and 22, and different behaviors are found in the percentage of four nucleotides. Frequency of appearance of n-tuple f(r) as a function of rank r is also examined. We find the n-tuple Zipf plot shows a power-law behavior for r < 4ⁿ⁻¹ and a rapid decrease for r > 4ⁿ⁻¹. In order to explore the interior statistical properties of human chromosomes 21 and 22 in detail, we divide the chromosome sequence into some moving windows and we discuss the percentage of ξη (ξ, η = A, C, G, T) pair in those moving windows. In some particular regions, there are some obvious changes in the percentage of ξη pair, and there maybe exist functional differences. The normalized number of repeats N₀(l) can be described by a power law: N₀(l) ∼ l^−μ. The distance distributions P₀(S) between two nucleotides in human chromosomes 21 and 22 are also discussed. A two-order polynomial fit exists in those distance distributions: log P₀(S) = a + bS + cS², and it is quite different from the random sequence.     

Dynamics of landslide model with time delay and periodic parameter perturbations

In present paper, we analyze the dynamics of a single-block model on an inclined slope with Dieterich–Ruina friction law under the variation of two new introduced parameters: time delay T_d and initial shear stress μ. It is assumed that this phenomenological model qualitatively simulates the motion along the infinite creeping slope. The introduction of time delay is proposed to mimic the memory effect of the sliding surface and it is generally considered as a function of history of sliding. On the other hand, periodic perturbation of initial shear stress emulates external triggering effect of long-distant earthquakes or some non-natural vibration source. The effects of variation of a single observed parameter, T_d or μ, as well as their co-action, are estimated for three different sliding regimes: β < 1, β = 1 and β > 1, where β stands for the ratio of long-term to short-term stress changes. The results of standard local bifurcation analysis indicate the onset of complex dynamics for very low values of time delay. On the other side, numerical approach confirms an additional complexity that was not observed by local analysis, due to the possible effect of global bifurcations. The most complex dynamics is detected for β < 1, with a complete Ruelle–Takens–Newhouse route to chaos under the variation of T_d, or the co-action of both parameters T_d and μ. These results correspond well with the previous experimental observations on clay and siltstone with low clay fraction. In the same regime, the perturbation of only a single parameter, μ, renders the oscillatory motion of the block. Within the velocity-independent regime, β = 1, the inclusion and variation of T_d generates a transition to equilibrium state, whereas the small oscillations of μ induce oscillatory motion with decreasing amplitude. The co-action of both parameters, in the same regime, causes the decrease of block’s velocity. As for β > 1, highly-frequent, limit-amplitude oscillations of initial stress give rise to oscillatory motion. Also for β > 1, in case of perturbing only the initial shear stress, with smaller amplitude, velocity of the block changes exponentially fast. If the time delay is introduced, besides the stress perturbation, within the same regime, the co-action of T_d (T_d < 0.1) and small oscillations of μ induce the onset of deterministic chaos.     

Structurally unstable regular dynamics in 1D piecewise smooth maps,and circle maps

In this work we consider a simple system of piecewise linear discontinuous 1D map with two discontinuity points: X′ = aX if ∣X∣ < z, X′ = bX if ∣X∣ > z, where a and b can take any real value, and may have several applications. We show that its dynamic behaviors are those of a linear rotation: either periodic or quasiperiodic, and always structurally unstable. A generalization to piecewise monotone functions X′ = F(X) if ∣X∣ < z, X′ = G(X) if ∣X∣ > z is also given, proving the conditions leading to a homeomorphism of the circle.     

Behavior of different ansätze in the generalized projection operator method

Using the recently reported generalized projection operator method for the nonlinear Schrödinger equation, we derive the generalized pulse parameters equations for ansätze like hyperbolic secant and raised cosine functions. In general, each choice of the phase factor θ in the projection operator gives a different set of ordinary differential equations. For θ = 0 or θ = π/2, the corresponding projection operator scheme is equivalent to the Lagrangian variation method or the bare approximation of the collective variable theory. We prove that because of the inherent symmetric property between the pulse parameters of a Gaussian ansätz results the same set of pulse parameters equations for any value of the generalized projection operator parameter θ. Finally we prove that after the substitution of the ansätze function, the Lagrange function simplifies to the same functional form irrespective of the ansätze used because of a special property shared by all the anätze chosen in this work.     

Matrix characterization of linear codes with arbitrary Hamming weight hierarchy

The support of an [n, k] linear code C over a finite field F_q is the set of all coordinate positions such that at least one codeword has a nonzero entry in each of these coordinate position. The rth generalized Hamming weight d_r(C), 1 ⩽ r ⩽ k, of C is defined as the minimum of the cardinalities of the supports of all [n, r] subcodes of C. The sequence (d₁(C), d₂(C), … , d_k(C)) is called the Hamming weight hierarchy (HWH) of C. The HWH, d_r(C) = n − k + r;  r = 1, 2 , …, k, characterizes maximum distance separable (MDS) codes. Therefore the matrix characterization of MDS codes is also the characterization of codes with the HWH d_r(C) = n − k + r; r = 1, 2, … , k. A linear code C with systematic check matrix [I∣P], where I is the (n − k) × (n − k) identity matrix and P is a (n − k) × k matrix, is MDS iff every square submatrix of P is nonsingular. In this paper we extend this characterization to linear codes with arbitrary HWH. Using this result, we characterize Near-MDS codes, Near-Near-MDS (N²-MDS) codes and A^μ-MDS codes. The MDS-rank of C is the smallest integer η such that d_η+1 = n − k + η + 1 and the defect vector of C with MDS-rank η is defined as the ordered set {μ₁(C), μ₂(C), μ₃(C), … , μ_η(C), μ_η+1(C)}, where μ_i(C) = n − k + i − d_i(C). We call C a dually defective code if the defect vector of the code and its dual are the same. We also discuss matrix characterization of dually defective codes. Further, the codes meeting the generalized Greismer bound are characterized in terms of their generator matrix. The HWH of dually defective codes meeting the generalized Greismer bound are also reported.     

Net-convergence and weak separation axioms in (L, M)-fuzzy topological molecular lattices

In this paper, we used the concept of (L, M)-fuzzy remote neighborhood system to study and establish the convergence theory of molecular nets. Next, we introduce the T_i-axioms (i = ?1, 0, 1, 2) in (L, M)-fuzzy topological molecular lattices, and discuss some of their characterizations. Finally, we show that the T_i-axioms (i = ?1, 0, 1, 2) are preserved under homeomorphisms.     

Complex dynamics in Duffing–Van der Pol equation

Duffing–Van der Pol equation with fifth nonlinear-restoring force and two external forcing terms is investigated. The threshold values of existence of chaotic motion are obtained under the periodic perturbation. By second-order averaging method and Melnikov method, we prove the criterion of existence of chaos in averaged system under quasi-periodic perturbation for ω₂ = nω₁ + εσ, n = 1, 3, 5, and cannot prove the criterion of existence of chaos in second-order averaged system under quasi-periodic perturbation for ω₂ = nω₁ + εσ, n = 2, 4, 6, 7, 8, 9, 10, where σ is not rational to ω₁, but can show the occurrence of chaos in original system by numerical simulation. Numerical simulations including heteroclinic and homoclinic bifurcation surfaces, bifurcation diagrams, Lyapunov exponent, phase portraits and Poincaré map, not only show the consistence with the theoretical analysis but also exhibit the more new complex dynamical behaviors. We show that cascades of interlocking period-doubling and reverse period-doubling bifurcations from period-2 to -4 and -6 orbits, interleaving occurrence of chaotic behaviors and quasi-periodic orbits, transient chaos with a great abundance of period windows, symmetry-breaking of periodic orbits in chaotic regions, onset of chaos which occurs more than one, chaos suddenly disappearing to period orbits, interior crisis, strange non-chaotic attractor, non-attracting chaotic set and nice chaotic attractors. Our results show many dynamical behaviors and some of them are strictly departure from the behaviors of Duffing–Van der Pol equation with a cubic nonlinear-restoring force and one external forcing.     

On the positive definite solutions of nonlinear matrix equation X + A⋆ X−δA = Q

In this paper we consider the positive definite solutions of nonlinear matrix equation X + A^⋆X^−δA = Q, where δ ∈ (0, 1], which appears for the first time in [S.M. El-Sayed, A.C.M. Ran, On an iteration methods for solving a class of nonlinear matrix equations, SIAM J. Matrix Anal. Appl. 23 (2001) 632–645]. The necessary and sufficient conditions for the existence of a solution are derived. An iterative algorithm for obtaining the positive definite solutions of the equation is discussed. The error estimations are found.     

Differential invariants of the one-dimensional quasi-linear second-order evolution equation

We consider evolution equations of the form u_t = f(x, u, u_x)u_xx + g(x, u, u_x) and u_t = u_xx + g(x, u, u_x). In the spirit of the recent work of Ibragimov [Ibragimov NH. Laplace type invariants for parabolic equations. Nonlinear Dynam 2002;28:125–33] who adopted the infinitesimal method for calculating invariants of families of differential equations using the equivalence groups, we apply the method to these equations. We show that the first class admits one differential invariant of order two, while the second class admits three functional independent differential invariants of order three. We use these invariants to determine equations that can be transformed into the linear diffusion equation.