On topological properties of the Hartman-Mycielski functor

We investigate some topological properties of a normal functorH introduced earlier by Radul which is some functorial compactification of the Hartman-Mycielski construction HM. We prove that the pair (H X, HMY) is homeomorphic to the pair (Q, σ) for each nondegenerated metrizable compactumX and each denseσ-compact subsetY.     

Instability of the finite‐difference split‐step method applied to the nonlinear Schrödinger equation. II. moving soliton

We analyze a mechanism and features of a numerical instability (NI) that can be observed in simulations of moving solitons of the nonlinear Schrödinger equation (NLS). This NI is completely different than the one for the standing soliton. We explain how this seeming violation of the Galilean invariance of the NLS is caused by the finite‐difference approximation of the spatial derivative. Our theory extends beyond the von Neumann analysis of numerical methods; in fact, it critically relies on the coefficients in the equation for the numerical error being spatially localized. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1024–1040, 2016     

Instability of the finite‐difference split‐step method applied to the nonlinear Schrödinger equation. I. standing soliton

We consider numerical instability that can be observed in simulations of solitons of the nonlinear Schrödinger equation (NLS) by a split‐step method (SSM) where the linear part of the evolution is solved by a finite‐difference discretization. The von Neumann analysis predicts that this method is unconditionally stable on the background of a constant‐amplitude plane wave. However, simulations show that the method can become unstable on the background of a soliton. We present an analysis explaining this instability. Both this analysis and the features and threshold of the instability are substantially different from those of the Fourier SSM, which computes the linear part of the NLS by a spectral discretization. For example, the modes responsible for the numerical instability are not similar to plane waves, as for the Fourier SSM or, more generally, in the von Neumann analysis. Instead, they are localized at the sides of the soliton. This also makes them different from “physical” (as opposed to numerical) unstable modes of nonlinear waves, which (the modes) are localized around the “core” of a solitary wave. Moreover, the instability threshold for thefinite‐difference split‐step method is considerably relaxed compared with that for the Fourier split‐step. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1002–1023, 2016     

Division and <Emphasis Type="Italic">k</Emphasis>-th root theorems for <Emphasis Type="Italic">Q</Emphasis>-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z _∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f: K → X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X ² and X × [0, 1] are Q-manifolds as well. We construct a countable family χ of spaces with DDP and cd-AP such that no space X ∈ χ is homeomorphic to the Hilbert cube Q whereas the product X × Y of any different spaces X, Y ∈ χ is homeomorphic to Q. We also show that no uncountable family χ with such properties exists. This work was supported by the Slovenian-Ukrainian (Grant No. SLO-UKR 04-06/07)     

Instability of the finite‐difference split‐step method applied to the generalized nonlinear Schrödinger equation. III. external potential and oscillating pulse solutions

This is the final part of a series of articles where we have studied numerical instability (NI) of localized solutions of the generalized nonlinear Schrödinger equation (gNLS). It extends our earlier studies of this topic in two ways. First, it examines differences in the development of the NI between the case of the purely cubic NLS and the case where the gNLS has an external bounded potential. Second, it investigates how the NI is affected by the oscillatory dynamics of the simulated pulse. The latter situation is common when the initial condition is not an exact stationary soliton. We have found that in this case, the NI may remain weak when the time step exceeds the threshold quite significantly. This means that the corresponding numerical solution, while formally numerically unstable, can remain sufficiently accurate over long times, because the numerical noise will stay small. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 633–650, 2017     

Large free sets in powers of universal algebras

We prove that for each universal algebra ${(A, \mathcal{A})}$ of cardinality ${|A| \geq 2}$ and infinite set X of cardinality ${|X| \geq | \mathcal{A}|}$ , the X-th power ${(A^{X}, \mathcal{A}^{X})}$ of the algebra ${(A, \mathcal{A})}$ contains a free subset ${\mathcal{F} \subset A^{X}}$ of cardinality ${|\mathcal{F}| = 2^{|X|}}$ . This generalizes the classical Fichtenholtz–Kantorovitch–Hausdorff result on the existence of an independent family ${\mathcal{I} \subset \mathcal{P}(X)}$ of cardinality ${|\mathcal{I}| = |\mathcal{P}(X)|}$ in the Boolean algebra ${\mathcal{P}(X)}$ of subsets of an infinite set X.     

Approximation by light maps and parametric Lelek maps

The class of metrizable spaces M with the following approximation property is introduced and investigated: M∈AP(n,0) if for every ε>0 and a map g:In→M there exists a 0-dimensional map g^′:In→M which is ε-homotopic to g. It is shown that this class has very nice properties. For example, if Mi∈AP(ni,0), i=1,2, then M₁×M₂∈AP(n₁+n₂,0). Moreover, M∈AP(n,0) if and only if each point of M has a local base of neighborhoods U with U∈AP(n,0). Using the properties of AP(n,0)-spaces, we generalize some results of Levin and Kato-Matsuhashi concerning the existence of residual sets of n-dimensional Lelek maps.     

Search for maximum points of a vector criterion based on decomposition properties

We address the problem of optimal reconstruction of the values of a linear operator on ℝ ^d or ℤ ^d from approximate values of other operators. Each operator acts as the multiplication of the Fourier transform by a certain function. As an application, we present explicit expressions for optimal methods of reconstructing the solution of the heat equation (for continuous and difference models) at a given instant of time from inaccurate measurements of this solution at other time instants.     

On universal spaces and absorbing sets related to a transfinite extension of covering dimension

R. Pol has shown that for every countable ordinal number α there exists a universal space for separable metrizable spaces X with trindX?α. W. Olszewski has shown that for every countable limit ordinal number λ there is no universal space for separable metrizable space with trIndX?λ. T. Radul and M. Zarichnyi have proved that for every countable limit ordinal number there is no universal space for separable metrizable spaces with dimWX?α where dimW is a transfinite extension of covering dimension introduced by P. Borst. We prove the same result for another transfinite extension dimC of the covering dimension.As an application, we show that there is no absorbing sets (in the sense of Bestvina and Mogilski) for the classes of spaces X with dimCX?α belonging to some absolute Borel class.     

Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

We study algebraic and topological properties of the convolution semigroup of probability measures on a topological groups and show that a compact Clifford topological semigroup S embeds into the convolution semigroup P(G) over some topological group G if and only if S embeds into the semigroup exp(G)\exp(G) of compact subsets of G if and only if S is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup S embeds into the functor-semigroup F(G) over a suitable compact topological group G for each weakly normal monadic functor F in the category of compacta such that F(G) contains a G-invariant element (which is an analogue of the Haar measure on G).