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.     

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).     

Study of vector mesons in dimuon production in a large kinematic region in p-W and S-W interactions at 200 GeV/c/nucleon

Results are presented on and production in p–W and S–W interactions at 200 GeV/c/nucleon measured via the dimuon decay in a large kinematic region. The data are normalized to the charged particle multiplicity in the same rapidity interval. They have been collected using the HELIOS/3 muon spectrometer at the CERN SPS. The ratio , where is the relevant resonance branching fraction, increases between proton and sulphur projectiles, and is somewhat enhanced going from peripheral to central S–W interactions. This results from an increase in the number of produced 's per charged particle. The ratio is measured in different intervals of p and rapidity. It is not clearly dependent on p, but is larger at higher rapidities. production, likewise normalized to charged multiplicity, is significantly lower in S–W compared to p–W interactions. Received: 27 October 1997 / Revised version: 5 March 1998 / Published online: 13 July 1998     

Band mixing in 49Cr and 47V: Importance of a correct treatment of hole excitations and the J2 term

Band mixing calculations treating correctly the $\text{j}{}^2$ term and hole excitations have been undertaken on the cross-conjugate pair ⁴⁷V, ⁴⁹Cr. It is found that such a treatment gives rise to appreciable differences from the usual band mixing calculations of nuclei in the lf-2p shell. The results are in good agreement with the experimental level schemes.     

On the Continuity of Inversion in Countably Compact Inverse Topological Semigroups

Let S be a countably compact Hausdorff space endowed with a continuous semigroup operation turning S into an inverse semigroup. It is shown that the inversion inv : x x^-1 in S is continuous provided one of the following conditions is satisfied: (1) the space S is sequential, (2) the semigroup S is Clifford, inversely regular, and topologically periodic, (3) the semigroup S is Clifford, topologically periodic and the square S × S is regular and countably compact. These results are close to the best possible since there is an example of a quasi-regular sequentially compact commutative inverse topological semigroup with discontinuous inversion.