On Generalized Finitary Groups

We introduce a wide range of generalized finitary automorphism groups of an arbitrary module M over an arbitrary ring R. The largest such subgroup of Aut_RM that we seriously consider here is the subgroup of all R-automorphisms g of M such that M(g − 1) has Krull dimension. We also consider the subgroup of all R-automorphisms g of M such that M(g − 1) is Artinian as an R-module. The results are vaguely analogous to the genuine finitary case but are somewhat weaker.     

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.     

Interpolation by Integer-Valued Polynomials

LetRbe a Krull ring with quotient fieldKanda₁,…,a_ninR. If and only if thea_iare pairwise incongruent mod every height 1 prime ideal of infinite index inRdoes there exist for all valuesb₁,…,b_ninRan interpolating integer-valued polynomial, i.e., anf ∈ K[x] withf(a_i) = b_iandf(R) ⊆ R.IfSis an infinite subring of a discrete valuation ringR_vwith quotient fieldKanda₁,…,a_ninSare pairwise incongruent mod allM^k_v ∩ Sof infinite index inS, we also determine the minimald(depending on the distribution of thea_iamong residue classes of the idealsM^k_v ∩ S) such that for allb₁,…,b_n ∈ R_vthere exists a polynomialf ∈ K[x] of degree at mostdwithf(a_i) = b_iandf(S) ⊆ R_v.     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

One-basedness and groups of the form G/G 00

We initiate a geometric stability study of groups of the form G/G ⁰⁰, where G is a 1-dimensional definably compact, definably connected, definable group in a real closed field M. We consider an enriched structure M?? with a predicate for G ⁰⁰ and check 1-basedness or non-1-basedness for G/G ⁰⁰, where G is an additive truncation of M, a multiplicative truncation of M, SO ₂(M) or one of its truncations; such groups G/G ⁰⁰ are now interpretable in M??. We prove that the only 1-based groups are those where G is a sufficiently ??big?? multiplicative truncation, and we relate the results obtained to valuation theory. In the last section we extend our results to ind-hyperdefinable groups constructed from those above.     

On generalized Jordan 1-derivation in rings

Let n ⩾ 1 be a fixed integer and let R be an (n + 1)!-torsion free 1-ring with identity element e. If F, d:R → R are two additive mappings satisfying F(xⁿ⁺¹) = F(x)(x¹)ⁿ + xd(x)(x¹)ⁿ⁻¹ + x²d(x)(x¹)ⁿ⁻²+ ⋯ +xⁿd(x) for all x ∈ R, then d is a Jordan 1-derivation and F is a generalized Jordan 1-derivation on R.     

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.     

Thom stratifications for functions definable in o-minimal structures on (R, +, ·)

We prove the existence of Thom stratifications for functions definable in any o-minimal structure on (R, +, ·).     

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.     

The stochastic soliton-like solutions of stochastic KdV equations

By means of a generalized method and symbolic computation, we consider a stochastic KdV equation U_t + f(t)U ♢ U_x + g(t)U_xxx = W(t) ♢ R^♢(t, U, U_x, U_xxx). We construct new and more general formal solutions. At the same time, we recover all the solutions found by Xie [Phys. Lett. A 310 (2003) 161]. The solutions obtained include the nontravelling wave and coefficient function’s stochastic soliton-like solutions, singular stochastic soliton-like solutions, stochastic triangular functions solutions.     

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.     

Exact solutions for the rotational flow of a generalized Maxwell fluid between two circular cylinders

Unsteady flow of an incompressible generalized Maxwell fluid between two coaxial circular cylinders is studied by means of the Laplace and finite Hankel transforms. The motion of the fluid is produced by the rotation of cylinders around their common axis. The solutions that have been obtained, written in integral and series form in terms of the generalized G_a,b,c(·, t)-functions, are presented as a sum of the Newtonian solutions and the corresponding non-Newtonian contributions. They satisfy all imposed initial and boundary conditions and for λ → 0 reduce to the solutions corresponding to the Newtonian fluids performing the same solution. Furthermore, the corresponding solutions for ordinary Maxwell fluids are also obtained for β = 1. Finally, in order to reveal some relevant physical aspects of the obtained results, the diagrams of the velocity field ω(r, t) have been depicted against r and t for different values of the material and fractional parameters.     

Smooth functions in o-minimal structures

Fix an o-minimal expansion of the real exponential field that admits smooth cell decomposition. We study the density of definable smooth functions in the definable continuously differentiable functions with respect to the definable version of the Whitney topology. This implies that abstract definable smooth manifolds are affine. Moreover, abstract definable smooth manifolds are definably C^∞-diffeomorphic if and only if they are definably C¹-diffeomorphic.     

A Sard theorem for tame set-valued mappings

If F is a set-valued mapping from Rn into Rm with closed graph, then y∈Rm is a critical value of F if for some x with y∈F(x), F is not metrically regular at (x,y). We prove that the set of critical values of a set-valued mapping whose graph is a definable (tame) set in an o-minimal structure containing additions and multiplications is a set of dimension not greater than m−1 (respectively a σ-porous set). As a corollary of this result we get that the collection of asymptotically critical values of a set-valued mapping with a semialgebraic graph has dimension not greater than m−1. We also give an independent proof of the fact that a definable continuous real-valued function is constant on components of the set of its subdifferentiably critical points.     

Curious Characterizations of Projective and Affine Geometries

We prove the following characterization theorem: If any three of the following four matroid invariants—the number of points, the number of lines, the coefficient of λ^n − 2 in the characteristic polynomial, and the number of three-element dependent sets—of a rank-n combinatorial geometry (or simple matroid) are the same as those of a rank-n projective geometry, then it is a projective geometry (of the same order). To do this, we use a lemma which is of independent interest: If H is a geometry in which all the lines have exactly ℓ − 1 or ℓ points and G is a geometry with at least three of the four matroid invariants the same as H, then all the lines in G also have exactly ℓ − 1 or ℓ points. An analogue of the characterization theorem holds for affine geometries. Our methods also yield inequalities amongst the four matroid invariants.     

On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields

Let R, >,+,• be a real closed field, and let M be ano-minimal expansion of R. We prove here several results regardingrings and groups which are definable in M. We show that everyM–definable ring without zero divisors is definably isomorphicto R, R((–l)) or the ring of quaternions over R. One corollaryis that no model of T_exp is interpretable in a model of T_an.     

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.     

New exact solitary-wave special solutions for the nonlinear dispersive K(m, n) equations

In this paper, we study the nonlinear dispersive K(m, n) equations: u_t + (u^m)_x − (uⁿ)_xxx = 0 which exhibit solutions with solitary patterns. New exact solitary solutions are found. The two special cases, K(2, 2) and K(3, 3), are chosen to illustrate the concrete features of the decomposition method in K(m, n) equations. The nonlinear equations K(m, n) are studied for two different cases, namely when m = n being odd and even integers. General formulas for the solutions of K(m, n) equations are established.