Search

Congruences mod p for a prime p and partial products of the numbers 1,…, p − 1 are obtained. Bibliography: 2 titles.

In 1985, Odoni showed that in characteristic 0 0 the Galois group of the n n -th iterate of the generic polynomial with degree d d is as large as possible. That is, he showed that this Galois group is the n n -th wreath power of the symmetric group S d S_d . We generalize this result to positive characteristic, as well as to the generic rational function. These results can be applied to prove certain density results in number theory, two of which are presented here. This work was partially completed by the late R.W.K. Odoni in an unpublished paper.

International audience; In this short paper we prove that the almost Schur theorem, introduced by De Lellis and Topping, is true on 4-dimensional Riemannian manifolds of nonnegative scalar curvature and discuss some related problems on other dimensional manifolds.

In this short note we show that non-negative Ricci curvature is not preserved under Ricci flow for closed manifolds of dimensions four and above, strengthening a previous result of Knopf in \cite{K} for complete non-compact manifolds of bounded curvature. This brings down to four dimensions a similar result B\"ohm and Wilking have for dimensions twelve and above, \cite{BW}. Moreover, the manifolds constructed here are \Kahler manifolds and relate to a question raised by Xiuxiong Chen in \cite{XC}, \cite{XCL}., Comment: New version with added references and corrected typos

This paper is a survey of results on countable families with natural degree spectra. These results were obtained by a modification of the methodology proposed by Wechner, who first found a family of sets with the spectrum consisting precisely of nonzero Turing degrees. Based on this method, many researchers obtained examples of families with other natural spectra. In addition, in this paper we extend these results and present new examples of natural spectra. In particular, we construct a family of finite sets with the spectrum consisting of exactly non-K-trivial degrees and also we find new sufficient conditions on $$ {\Delta}_2^0 $$ -degree a, which guarantees that the class {x : x ≰ a} is the degree spectrum of some family. Finally, we give a survey of our recent results on the degree spectra of α-families, where α is an arbitrary computable ordinal.

In this paper, we consider boundary-value problems for a new class of hybrid systems of differential equations whose coefficients contain the Dirac delta-function. Hybrid systems are systems that contain both ordinary and partial differential equations; such systems appear, for example, when equations of motion of mechanical systems of rigid bodies attached to a beam by elastic bonds are derived from the Hamilton–Ostrogradsky variational principle. We present examples that lead to such systems and introduce the notions of generalized solutions and eigenvalues of a boundary-value problem. We also compare results of numerical simulations based on methods proposed in this paper with results obtained by previously known methods and show that our approach is reliable and universal.

In this paper we compute the rates of convergence of power series statistical convergence of sequences of positive linear operators. We also investigate some Korovkin type approximation properties of the $$q$$ -Meyer–Konig and Zeller operators and Durrmeyer variant of the $$q$$ -Meyer–Konig and Zeller operators via power series statistical convergence. We show that the approximation results obtained in this paper expand some previous approximation results of the corresponding operators.

A dynamical system $$ {\displaystyle \begin{array}{ll}{u}_{tt}-\Delta u-\nabla 1\mathrm{n}\;\rho \cdot \nabla u=0& in\kern0.6em {\mathrm{\mathbb{R}}}_{+}^3\times \left(0,T\right),\\ {}{\left.u\right|}_{t=0}={\left.{u}_t\right|}_{t=0}=0& in\kern0.6em \overline{{\mathrm{\mathbb{R}}}_{+}^3},\\ {}{\left.{u}_z\right|}_{z=0}=f& for\kern0.36em 0\le t\le T,\end{array}} $$ is under consideration, where ρ = ρ(x, y, z) is a smooth positive function; f = f(x, y, t) is a boundary control; u = uf (x, y, z, t) is a solution. With the system one associates a response operator R : f ↦ uf|z = 0. The inverse problem is to recover the function ρ via the response operator. A short representation of the local version of the BC-method, which recovers ρ via the data given on a part of the boundary, is provided. If ρ is constant, the forward problem is solved in explicit form. In the paper, the corresponding representations for the solutions and response operator are derived. A way to use them for testing the BC-algorithm, which solves the inverse problem, is outlined. The goal of the paper is to extend the circle of the BC-method users, who are interested in numerical realization of methods for solving inverse problems.

The Monte Carlo method to solve the Cauchy problem for large systems of linear differential equations is proposed in this paper. Firstly, a quick overview of previously obtained results from applying the approach towards the Fredholm-type integral equations is made. In the main part of the paper, the method is applied towards a linear ODE system that is transformed into an equivalent system of the Volterra-type integral equations, which makes it possible to remove the limitations due to the conditions of convergence of the majorant series. The following key theorems are stated. Theorem 1 provides the necessary compliance conditions that should be imposed upon the transition propability and initial distribution densities that initiate the corresponding Markov chain, for which equality between the mathematical expectation of the estimate and the functional of interest would hold. Theorem 2 formulates the equation that governs the estimate’s variance. Theorem 3 states the Markov chain parameters that minimize the variance of the estimate of the functional. Proofs are given for all three theorems. In the practical part of this paper, the proposed method is used to solve a linear ODE system that describes a closed queueing system of ten conventional machines and seven conventional service persons. The solutions are obtained for systems with both constant and time-dependent matrices of coefficients, where the machine breakdown intensity is time dependent. In addition, the solutions obtained by the Monte Carlo and Runge–Kutta methods are compared. The results are presented in the corresponding tables.

In this paper, we consider the operator sheaf $$ -\Delta +V+\varepsilon {\mathrm{\mathcal{L}}}_{\varepsilon}\left(\lambda \right)+{\lambda}^2 $$ in the space L2(ℝ2), where the real-valued potential V depends only on the first variable x1, e is a small positive parameter, λ is the spectral parameter, $$ {\mathrm{\mathcal{L}}}_{\varepsilon}\left(\lambda \right) $$ is a localized operator bounded with respect to the Laplacian −Δ, and the essential spectrum of this operator is independent of e and contains certain critical points defined as isolated eigenvalues of the operator $$ -\frac{d^2}{dx_1^2}+V\left({x}_1\right) $$ in L2(ℝ). The basic result obtained in this paper states that for small values of e, in neighborhoods of critical points mentioned, isolated eigenvalues of the sheaf considered arise. Sufficient conditions for the existence or absence of such eigenvalues are obtained. The number of arising eigenvalues is determined, and in the case where they exist, the first terms of their asymptotic expansions are found.

In this paper, we investigate a mixed fractional integral boundary value problem with p(t)-Laplacian operator. Firstly, we derive the Green function through the direct computation and obtain the properties of Green function. For $$p(t)\ne $$ constant, under the appropriate conditions of the nonlinear term, we establish the existence result of at least one positive solution of the above problem by means of the Leray–Schauder fixed point theorem. Meanwhile, we also obtain the positive extremal solutions and iterative schemes in view of applying a monotone iterative method. For $$p(t)=$$ constant, by using Guo–Krasnoselskii fixed point theorem, we study the existence of positive solutions of the above problem. These results enrich the ones in the existing literatures. Finally, some examples are included to demonstrate our main results in this paper and we give out an open problem.

In this paper, a new approach to the definition of the interpolating rational process of Fejer – Hermite with first-type Chebyshev – Markov nodes on a segment is studied and some of its approximating properties are described. In the introduction a brief analysis of the results on the topic of the research is carried out. Herein, the methods of the construction of interpolating processes, in particular, Fejer – Hermite processes, in the polynomial and rational approximation are analysed. A new method to determine the interpolating rational Fejer – Hermite process is proposed. One of the main results of this paper is the proof of the uniform convergence of this process for an arbitrary function, which is continuous on the segment, under some restrictions for the poles of approximating functions. This result is preceded by some auxiliary statements describing the properties of special rational functions. The classic methods of mathematical analysis, approximation theory, and theory of functions of a complex variable are used to prove the results of the work. Moreover, we present the numerical analysis of the effectiveness of the application of the constructed interpolating Fejer – Hermite process for the approximation of a continuous function with singularities. The choice of parameters, on which the nodes of interpolation depend, is made in several standard ways. The obtained results can be applied to further study the approximating properties of interpolating processes.

A goal of the paper is to prove new inequalities connecting some functionals of probability distribution functions. These inequalities are based on the strict convexity of functions used in the definition of the functionals. The starting point is the paper “Cramer–von Mises distance: probabilistic interpretation, confidence intervals and neighborhood of model validation” by Ludwig Baringhaus and Norbert Henze. The present paper provides a generalization of inequality obtained in probabilistic interpretation of the Cramer–von Mises distance. If the equality holds there, then a chance to give characterization of some probability distribution functions appears. Considering this fact and a special character of the functional, it is possible to create a class of free-of-distribution two sample tests.

In this paper, we prove the integrability of certain classes of dynamical systems on the tangent bundles of four-dimensional manifolds (systems with four degrees of freedom). The force field considered possessed so-called variable dissipation; they are generalizations of fields studied earlier. This paper continues earlier works of the author devoted to systems on the tangent bundles of two- and three-dimensional manifolds.

Since the second half of the twentieth century, wide studies of Sobolev-type equations are undertaken. These equations contain items that are derivatives with respect to time of the second order derivatives of the unknown function with respect to space variables. They can describe nonstationary processes in semiconductors, in plasm, phenomena in hydrodinamics and other ones. Notice that wide studies of qualitative properties of solutions of Sobolev-type equations exist. Namely, results about existence and uniqueness of solutions, their asymptotics and blow-up are known. But there are few results about exact solutions of Sobolev-type equations. There are books and papers about exact solutions of partial equations, but they are devoted mainly to classical equations, where the first or second order derivative with respect to time or the derivative with respect to time of the first order derivative of the unknown function with respect to the space variable is equal to a stationary expression. Therefore it is interesting to study exact solutions of Sobolev-type equations. In the present paper, a fourth order nonlinear partial equation is studied. Three classes of its exact solutions are built. They are expressed in terms of special functions (solutions of some ordinary differential equations). For two of these classes subsets that can be expressed in elementary functions are built, for the third one subsets that can be described in elementary functions and an implicit function (without a quadrature) are built.

We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic., 10 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.08267

The work is devoted to the fundamental problem of studying the solvability of the initial-boundary value problem for a pseudo-parabolic equation (also called Sobolev type equations) with a fairly smooth boundary. In this paper, the initial-boundary value problem for a quasilinear equation of a pseudoparabolic type with a nonlinear Neumann–Dirichlet boundary condition is studied. From a physical point of view, the initial-boundary-value problem we are considering is a mathematical model of quasi-stationary processes in semiconductors and magnetics, taking into account the most diverse physical factors. Many approximate methods are suitable for finding eigenvalues and eigenfunctions of tasks boundary conditions of which are linear with respect to the function and its derivatives. Among these methods, Galerkin’s method leads to the simplest calculations. In the paper, by means of the Galerkin method the existence of a weak solution of a pseudoparabolic equation in a bounded domain is proved. The use of the Galerkin approximations allows us to get an estimate above the time of the solution existence. Using Sobolev ’s attachment theorem, a priori solution estimates are obtained. The local theorem of the existence of the solution has been proved. The uniqueness of the weak generalized solution of the initial-boundary value problem of quasi-linear equations of pseudoparabolic type is proved on the basis of a priori estimates.A special place in the theory of nonlinear equations is taken by the range of studies of unlimited solutions, or, as they are otherwise called, modes with exacerbation. Nonlinear evolutionary problems that allow unlimited solutions are globally intractable: solutions increase indefinitely over a finite period of time. Sufficient conditions have been obtained for the destruction of its solution over finite time in a limited area with a nonlinear Neumann–Dirichle boundary condition.

Let H2(ⅅ2) be the Hardy space over the bidisk ⅅ2, and let Mψ,ϕ = [(ψ(z) − ϕ(w))2] be the submodule generated by (ψ(z) − ϕ(w))2, where ψ(z) and ϕ(w) are nonconstant inner functions. The related quotient module is denoted by Nψ,ϕ = H2(ⅅ2) ⊖ Mψ,ϕ. In this paper, we give a complete characterization for the essential normality of Nψ,ϕ. In particular, if ψ(z)= z, we simply write Mψ,ϕ and Nψ,ϕ as Mϕ and Nϕ respectively. This paper also studies compactness of evaluation operators L(0)∣nϕ and R(0)ϕnϕ, essential spectrum of compression operator Sz on Nϕ, essential normality of compression operators Sz and Sw on Nϕ.

A very short proof of an unpublished result due to O. Gabber is given. More exactly, let R be a regular local ring containing a finite field k. Let G be a simply-connected reductive group scheme over k. It is proved that a principal G-bundle over R is trivial if it is trivial over the fraction field of R. This is the mentioned unpublished result due to O. Gabber. In this paper, this result is derived from a purely geometric one, proved in another paper of the author and stated in the Introduction.

In a joint paper of the author with Alexei Stepanov, it was established that for any two comaximal ideals A and B of a commutative ring R, A + B = R, and any n ≥ 3 one has [E(n,R,A),E(n,R,B)] = E(n,R,AB). Alec Mason and Wilson Stothers constructed counterexamples demonstrating that the above equality may fail when A and B are not comaximal, even for such nice rings as ℤ [i]. The present note proves a rather striking result that the above equality and, consequently, also the stronger equality [GL(n,R,A), GL(n,R,B)] = E(n,R,AB) hold whenever R is a Dedekind ring of arithmetic type with infinite multiplicative group. The proof is based on elementary calculations in the spirit of the previous papers by Wilberd van der Kallen, Roozbeh Hazrat, Zuhong Zhang, Alexei Stepanov, and the author, and also on an explicit computation of the multirelative SK1 from the author’s paper of 1982, which, in its turn, relied on very deep arithmetical results by Jean-Pierre Serre and Leonid Vaserstein (as corrected by Armin Leutbecher and Bernhard Liehl). Bibliography: 50 titles.

The classical Morse–Sard theorem claims that for a mapping v : R n → R m + 1 of class C k the measure of critical values v ( Z v , m ) is zero under condition k ≥ n − m . Here the critical set, or m-critical set is defined as Z v , m = { x ∈ R n : rank ∇ v ( x ) ≤ m } . Further Dubovitskiĭ in 1957 and independently Federer and Dubovitskiĭ in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R n → R d belongs to the Holder class C k , α , 0 ≤ α ≤ 1 , then for every q > m the identity H μ ( Z v , m ∩ v − 1 ( y ) ) = 0 holds for H q -almost all y ∈ R d , where μ = n − m − ( k + α ) ( q − m ) . Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C k -case (when α = 0 ); similar result is established for the Sobolev classes of mappings W p k ( R n , R d ) with minimal integrability assumptions p = max ⁡ ( 1 , n / k ) , i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools).

A regular system is a Delone set in Euclidean space with a transitive group of symmetries or, in other words, the orbit of a crystallographic group. The local theory for regular systems, created by the geometric school of B. N. Delone, was aimed, in particular, to rigorously establish the “local-global-order” link, i.e., the link between the arrangement of a set around each of its points and symmetry/regularity of the set as a whole. The main result of this paper is a proof of the so-called 10R-theorem. This theorem asserts that identity of neighborhoods within a radius 10R of all points of a Delone set (in other words, an (r, R)-system) in 3D Euclidean space implies regularity of this set. The result was obtained and announced long ago independently by M. Shtogrin and the author of this paper. However, a detailed proof remains unpublished for many years. In this paper, we give a proof of the 10R-theorem. In the proof, we use some recent results of the author, which simplify the proof.

The aim of this (mostly expository) article is to show a connection between the finiteness conditions arising in twisted K-theory. There are two different conditions arising naturally in two main approaches to the problem of computing the index of the appropriate family of elliptic operators (the approach of Nistor and Troitsky and the approach of Mathai, Melrose, and Singer). These conditions are formulated absolutely differently, but in some sense they should be close to each other. In this paper, we find this connection and prove the corresponding formal statement. Thereby it is shown that these conditions map to each other. This opens a possibility to synthesize these approaches. It is also shown that the finiteness condition arising in the paper of Nistor and Troitsky is a special case of the finiteness condition that appears in the paper of Emerson and Meyer, where the theorem of Nistor and Troitsky is proved not only for the case of a bundle of Lie groups, but also for the case of a general groupoid.

In the classical theory of solid mechanics, the behavior of solids is described by partial differential equations (PDE) through Newton’s second law of motion. However, when spontaneous cracks and fractures exist, such PDE models are inadequate to characterize the discontinuities of physical quantities such as the displacement field. Recently, a peridynamic continuum model was proposed which only involves the integration over the differences of the displacement field. A linearized peridynamic model can be described by the integro-differential equation with initial values. In this paper, we study the well-posedness and regularity of a linearized peridynamic model with singular kernel. The novelty of the paper is that the singular kernel is represented as the Laplacian of a regular function. This let to convert the model to an operator valued Volterra integral equation. Then the existence and regularity of the solution of the peridynamics problem are established through the study of the Volterra integral equation.

In this paper, we suggest a new type of tasks for control theory for stochastic dynamical systems — programmed control with Probability 1 (PCP1). PCP1 is an application of an invariant theory. We use the PCP1 concept for dynamical processes described by a system of Ito differential equations with jump-diffusion (GSDES). The considered equations include the drift, the diffusion, and the jumps, together or not. Features of our approach are both a wide set of dynamical systems and investigation of such systems for their unique trajectories. Our method is based on the concept of a stochastic first integral (SFI) for GSDES and its equations which author studied before. The purpose of the present paper is to construct a differential equation system (both stochastic and deterministic) using a known set of FIs for the investigating process. Several examples are given.

Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.

In this paper, the structure of relative disposition of 3-vertex cutsets in a 3-connected graph is studied. All such cutsets are divided into structural units – complexes of flowers, of cuts, of single cutsets, and trivial complexes. The decomposition of the graph by a complex of each type is described in detail. It is proved that for any two complexes C1 and C2 of a 3-connected graph G there is a unique part of the decomposition of G by C1 that contains C2. The relative disposition of complexes is described with the help of a hypertree T (G) – a hypergraph any cycle of which is a subset of a certain hyperedge. It is also proved that each nonempty part of the decomposition of G by the set of all of its 3-vertex cutsets is either a part of the decomposition of G by one of the complexes or corresponds to a hyperedge of T (G). This paper can be considered as a continuation of studies begun in the joint paper by D. V. Karpov and A. V. Pastor “On the structure of a 3-connected graph,” published in 2011. Bibliography: 10 titles.

This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation., Comment: 23 pages. Section 5.4 corrected

The present paper is a continuation of our research that was devoted to the theory of the boundary behavior of mappings in the Sobolev classes (mappings with generalized derivatives) on Riemann surfaces. Here we develop the theory of the boundary behavior of the mappings in the class of FLD (mappings with finite length distortion) first introduced for the Euclidean spaces in the article of Martio-Ryazanov-Srebro-Yakubov at 2004 and then included in the known book of these authors at 2009 on the modern mapping theory. As was shown in the recent papers of Kovtonyuk-Petkov-Ryazanov at 2017, such mappings, generally speaking, are not mappings in the Sobolev classes, because their first partial derivatives can be not locally integrable. At the same time, this class is a natural generalization of the well-known significant classes of isometries and quasiisometries. We prove here a series of criteria in terms of dilatations for the continuous and homeomorphic extensions to the boundary of the mappings with finite length distortion between domains on Riemann surfaces by Caratheodory prime ends. The criterion for the continuous extension of the inverse mapping to the boundary is turned out to be the very simple condition on the integrability of the dilatations in the first power. The criteria for the continuous extension of the direct mappings to the boundary have a much more refined nature. One of such criteria is the existence of a majorant for the dilatation in the class of functions with finite mean oscillation, i.e., having a finite mean deviation from its mean value over infinitesimal disks centered at boundary points. As consequences, the corresponding criteria for a homeomorphic extension of mappings with finite length distortion to the closures of domains by Caratheodory prime ends are obtained.

This paper investigates, using a simulation program, a retrial queuing system with a single server which is subject to random breakdowns. The number of sources of calls is finite, and collisions can take place. We assume that the failure of the server blocks the system’s operation such that newly arriving customers cannot enter the system, contrary to an earlier paper where the failure does not affect the arrivals. All the random variables included in the model construction are assumed to be independent of each other, and all times are exponentially distributed except for the service time, which is gamma distributed. The novelty of this analysis is the inspection of the blocking effect on the performance measures using different distributions. Various figures represent the impact of the squared coefficient of the variation of the service time on the main performance measures such as the mean and variance of the number of customers in the system, the mean and variance of the response time, the mean and variance of the time a customer spends in the service, and the mean and variance of the sojourn time in the orbit.

This paper continues a series of studies dealing with noninvasive preoperative methods for localizing eloquent areas of the human brain. The inverse problem of magnetoencephalography (MEG) is illposed and difficult for both analytical and numerical solutions. An analytical formula is derived for the solution of the forward problem that computes the magnetic field on the surface of the head from the known location and orientation of a current dipole in the low-frequency approximation in the spherical model. In addition, the paper considers the question of stability of solutions of the inverse problem of MEG to the effect of noise. The solution is unstable to the effect of noise on its angular component, but the deviation from the true solution is much less than the noise variance.

The main motive of the paper is to look on rectifying and osculating curves on a smooth surface. In this paper we find the normal and geodesic curvature for a rectifying curve on a smooth surface and we also prove that geodesic curvature is invariant under the isometry of surfaces such that rectifying curves remain. We find a sufficient condition for which an osculating curve on a smooth surface remains invariant under isometry of surfaces and also we prove that the component of the position vector of an osculating curve α(s) on a smooth surface along any tangent vector to the surface at α(s) is invariant under such isometry.

In this paper, we study questions related to the theory of stochastic processes on Lie nilpotent groups. In particular, we consider the stochastic process on the Heisenberg group H3(ℝ) whose trajectories satisfy the horizontal conditions in the stochastic sense relative to the standard contact structure on H3 (ℝ). It is shown that this process is a homogeneous Markov process relative to the Heisenberg group operation. There was found a representation in the form of a Wiener integral for a one-parameter linear semigroup of operators for which the Heisenberg sublaplacian generated by basis vector fields of the corresponding Lie algebra L(H3) is producing. The main method of solving the problem in this paper is using the path integrals technique, which indicates the common direction of further development of the results.

We consider in this paper an automatic control second-order discrete-time system whose nonlinearity satisfies the generalized Routh–Hurwitz conditions. Systems of this type are widely used in solving modern application problems that arise in engineering, theory of motion control, mechanics, physics, and robotics. Two constructed examples of discrete-time systems with nonlinearities that lie in a Hurwitz angle were presented in recent papers by W. Heath, J. Carrasco, and M. de la Sen. These examples demonstrate that in the discrete case, the Aizerman and Kalman conjectures are untrue even for second-order systems. One such system in these examples has a three-period cycle and the other system, a four-period cycle. We assume in the present paper that the nonlinearity is two-periodic and lies in a Hurwitz angle; here, we study a system for all possible parameter values. We explicitly present the conditions (for the parameters) under which it is possible to construct a two-periodic nonlinearity in such a way that a system with it is not globally asymptotically stable. Such a nonlinearity can be constructed in more than one way. We propose a method for constructing the nonlinearity in such a way that a family of four-period cycles is found in the system. The cycles are nonisolated; any solution of the system with the initial data, which lies on a certain specified ray, is a periodic solution.

The word maps $$ \tilde{w}:\kern0.5em {\mathrm{GL}}_m{(D)}^{2k}\to {\mathrm{GL}}_n(D) $$ and $$ \tilde{w}:\kern0.5em {D}^{\ast 2k}\to {D}^{\ast } $$ for a word $$ w=\prod \limits_{i=1}^k\left[{x}_i,{y}_i\right], $$ where D is a division algebra over a field K, are considered. It is proved that if $$ \tilde{w}\left({D}^{\ast 2k}\right)=\left[{D}^{\ast },{D}^{\ast}\right], $$ then $$ \tilde{w}\left({\mathrm{GL}}_n(D)\right)\supset {E}_n(D)\backslash Z\left({E}_n(D)\right), $$ where En(D) is the subgroup of GLn(D), generated by transvections, and Z(En(D)) is its center. Furthermore if, in addition, n > 2, then $$ \tilde{w}\left({E}_n(D)\right)\supset {E}_n(D)\backslash Z\left({E}_n(D)\right). $$ The proof of the result is based on an analog of the “Gauss decomposition with prescribed semisimple part” (introduced and studied in two papers of the second author with collaborators) in the case of the group GLn(D), which is also considered in the present paper.

It is well known that developing methods for solving Dirichlet problems is important and relevant for various areas of mathematical physics related to the Laplace equation, the Helmholtz equation, the Stokes equation, the Maxwell equation, the Dirac equation, and others. The author in previous papers studied the solvability of Dirichlet boundary value problems of the first and second orders in quaternionic analysis. In the present paper, we study a higher-order Dirichlet boundary value problem associated with the two-dimensional Helmholtz equation with complex potential. The existence and uniqueness of a solution to the Dirichlet boundary value problem in the two-dimensional case is proved and an appropriate representation formula for the solution of this problem is found. Most Dirichlet problems are solved for the case in three variables. Note that the case of two variables is not a simple consequence of the three-dimensional case. To solve the problem, we use the method of orthogonal decomposition of the quaternion-valued Sobolev space. This orthogonal decomposition of the space is also a tool for the study of many elliptic boundary value problems that arise in various areas of mathematics and mathematical physics. An orthogonal decomposition of the quaternion-valued Sobolev space with respect to the high-order Dirac operator is also obtained in this paper.

The notion of quantized characters was introduced in our previous paper as a natural quantization of characters in the context of asymptotic representation theory forquantum groups. As in the case of ordinary groups, the representation associated with any extreme quantized character generates a von Neumann factor. From the viewpoint of operator algebras (and measurable dynamical systems), it is natural to ask what is the Murray–von Neumann–Connes type of the resulting factor. In this paper, we give a complete solution to this question when the inductive system is of quantum unitary groups $U_{q}(N)$.

The paper is devoted to one open extremal problem in the geometric function theory of complex variables associated with estimates of a functional defined on the systems of non-overlapping domains. We consider the problem of the maximum of a product of inner radii of n non-overlapping domains containing points of a unit circle and the power γ of the inner radius of a domain containing the origin. The problem was formulated in 1994 in Dubinin’s paper in the journal “Russian Mathematical Surveys” in the list of unsolved problems and then repeated in his monograph in 2014. Currently, it is not solved in general. In this paper, we obtained a solution of the problem for five simply connected domains and power γ ∈ (1; 2:57] and generalized this result to the case of multidimensional complex space.

This paper concerns the study of the global structure of measure-preserving actions of countable groups on standard probability spaces. Weak containment is a hierarchical notion of complexity of such actions, motivated by an analogous concept in the theory of unitary representations. This concept gives rise to an associated notion of equivalence of actions, called weak equivalence, which is much coarser than the notion of isomorphism (conjugacy). It is well understood now that, in general, isomorphism is a very complex notion, a fact which manifests itself, for example, in the lack of any reasonable structure in the space of actions modulo isomorphism. On the other hand, the space of weak equivalence classes is quite well behaved. Another interesting fact that relates to the study of weak containment is that many important parameters associated with actions, such as the type, cost, and combinatorial parameters, turn out to be invariants of weak equivalence and in fact exhibit desirable monotonicity properties with respect to the pre-order of weak containment, a fact that can be useful in certain applications. There has been quite a lot of activity in this area in the last few years, and our goal in this paper is to provide a survey of this work.

The waveguide considered coincides with a strip having two narrows of width e. An electron wave function satisfies the Dirichlet boundary value problem for the Helmholtz equation. The part of the waveguide between the narrows serves as a resonator, and conditions for the electron resonant tunneling may occur. In the paper, asymptotic formulas as e → 0 for characteristics of the resonant tunneling are used. The asymptotic results are compared with the numerical ones obtained by approximate calculation of the scattering matrix for energies in the interval between the second and third thresholds. The comparison allows us to state an interval of e, where the asymptotic and numerical approaches agree. The suggested methods can be applied to more complicated models than that considered in the paper. In particular, the same approach can be used for asymptotic and numerical analysis of the tunneling in three-dimensional quantum waveguides of variable cross-sections. Bibliography: 3 titles.

A general method was proposed in our previous paper for explicitly finding all solutions of the differential inequality, which is based on the general solution of the corresponding differential equation or, in other words, on the variation of arbitrary constants. Criteria of extendibility and characteristics of the maximally extended (full) solution of the inequality were proven. In this paper, we applied these results to specific types of inequalities most frequently encountered in applications and literature. We also compared them to other known methods in the literature.

The present paper offers a new approach to the construction of the coordinate asymptotics of the kernel of the resolvent of the Schrodinger operator in the scattering problem of three onedimensional quantum particles with short-range pair potentials. Within the framework of this approach, the asymptotics of eigenfunctions of the absolutely continuous spectrum of the Schrodinger operator can be constructed. In the paper, the possibility of a generalization of the suggested approach to the case of the scattering problem of N particles with arbitrary masses is discussed.

The paper presents a general duality theory for vector measure spaces taking its origin in the author's papers written in the 1960s. The main result establishes a direct correspondence between the geometry of a measure in a vector space and the properties of the space of measurable linear functionals on this space regarded as closed subspaces of an abstract space of measurable functions. An example of useful new features of this theory is the notion of a free measure and its applications., Comment: 20 pp.23 Ref

The present paper deals with the performance evaluation of a cognitive radio network with the help of a queueing model. The queueing system contains two interconnected, not independent sub-systems. The first part is for the requests of the Primary Units (PU). The number of sources is finite, and each source generates high priority requests after a exponentially distributed time. The requests are sent to a single server unit or Primary Channel Service (PCS) with a preemptive priority queue. The service times are assumed to be exponentially distributed. The second sub-system is for the requests of the Secondary Units (SU), which is finite sources system too; the inter-request times and service times of the single server unit or Secondary system Channel Service (SCS) are assumed to be exponentially distributed, respectively. A generated high priority packet goes to the primary service unit. If the unit is idle, the service of the packet begins immediately. If the server is busy with a high priority request, the packet joins the preemptive priority queue. When the unit is engaged with a request from SUs, the service is interrupted and the interrupted low priority task is sent back to the SCS. Depending on the state of the secondary channel, the interrupted job is directed to either the server or the orbit. In case the requests from SUs find the SCS idle, the service starts, and if the SCS is busy, the packet looks for the PCS. In the case of an idle PCS, the service of the low-priority packet begins at the high-priority channel (PCS). If the PCS is busy, the packet goes to the orbit. From the orbit it retries to be served after an exponentially distributed time. The novelty of our investigation is that each server is subject to random breakdowns, in which case the interrupted request is sent to the queue or orbit, respectively. The operating and repair times of the servers are assumed to be generally distributed. Finally, all the random times included in the model construction are assumed to be independent of each other. The main aim of the paper is to analyze the effect of the nonreliability of the servers on the mean and variance of the response time for the SUs by using simulation.

The existing notion of the Kostrikin radical as a radical in the Kurosh–Amitsur sense on classes of Mal’tsev algebras over rings with 1/6 is not completely justified. More precisely, to the fullest extent it is true for classes of Lie algebras over fields of characteristic zero and, as shown in the given paper, classes of algebraic Lie algebras of degree not greater than n over rings with 1/n! at all n ≥ 1. Similar conclusions are obtained in the paper also for the Jordan, regular, and extremal radicals constructed analogously to the Kostrikin radical.

In the paper, we consider a nonlinear integrodifferential equation of the third order with delay. We establish sufficient conditions guaranteeing the global existence and boundedness of the solutions of the analyzed equation. We use the Lyapunov second method to prove the main result. An example is also given to illustrate the applicability of our result. The result of this paper is new and improves previously known results.

Hilbert famously showed that polynomials in n variables are not too complicated, in various senses. For example, the Hilbert Syzygy Theorem shows that the process of resolving a module by free modules terminates in finitely many (in fact, at most n) steps, while the Hilbert Basis Theorem shows that the process of finding generators for an ideal also terminates in finitely many steps. These results laid the foundations for the modern algebraic study of polynomials. Hilbert's results are not uniform in n: unsurprisingly, polynomials in n variables will exhibit greater complexity as n increases. However, an array of recent work has shown that in a certain regime---namely, that where the number of polynomials and their degrees are fixed---the complexity of polynomials (in various senses) remains bounded even as the number of variables goes to infinity. We refer to this as Stillman uniformity, since Stillman's Conjecture provided the motivating example. The purpose of this paper is to give an exposition of Stillman uniformity, including: the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture, the followup results that clarified and expanded on those ideas, and the implications for understanding polynomials in many variables., This expository paper was written in conjunction with Craig Huneke's talk on Stillman's Conjecture at the 2018 JMM Current Events Bulletin

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are perfect sequence spaces. As a consequence we describe the tensor structure of sequential mappings on the spaces of smooth type functions and characterise their adjoint mappings. As an application we prove the universality of the spaces of smooth type functions on compact manifolds without boundary., 23 pages

This paper describes a number of simple but quite effective methods for constructing exact solutions of nonlinear partial differential equations that involve a relatively small amount of intermediate calculations. The methods employ two main ideas: (i) simple exact solutions can serve to construct more complex solutions of the equations under consideration and (ii) exact solutions of some equations can serve to construct solutions of other, more complex equations. In particular, we propose a method for constructing complex solutions from simple solutions using translation and scaling. We show that in some cases, rather complex solutions can be obtained by adding one or more terms to simpler solutions. There are situations where nonlinear superposition allows us to construct a complex composite solution using similar simple solutions. We also propose a few methods for constructing complex exact solutions to linear and nonlinear PDEs by introducing complex-valued parameters into simpler solutions. The effectiveness of the methods is illustrated by a large number of specific examples (over 30 in total). These include nonlinear heat equations, reaction–diffusion equations, wave type equations, Klein–Gordon type equations, equations of motion through porous media, hydrodynamic boundary layer equations, equations of motion of a liquid film, equations of gas dynamics, Navier–Stokes equations, and some other PDEs. Apart from exact solutions to `ordinary’ partial differential equations, we also describe some exact solutions to more complex nonlinear delay PDEs. Along with the unknown function at the current time, u=u(x,t), these equations contain the same function at a past time, w=u(x,t−τ), where τ&gt, 0 is the delay time. Furthermore, we look at nonlinear partial functional-differential equations of the pantograph type, which, in addition to the unknown u=u(x,t), also contain the same functions with dilated or contracted arguments, w=u(px,qt), where p and q are scaling parameters. We propose an efficient approach to construct exact solutions to such functional-differential equations. Some new exact solutions of nonlinear pantograph-type PDEs are presented. The methods and examples in this paper are presented according to the principle “from simple to complex”.