Search

Inspired by the article “Anomalous relaxation model based on the fractional derivative with a Prabhakar-like kernel” (Z. Angew. Math. Phys. (2019) 70:42) whose authors Zhao and Sun studied the integro-differential equation with the kernel given by the Prabhakar function $$e^{-\gamma }_{\alpha , \beta }(t, \lambda )$$ , we provide the solution to this equation which is complementary to that obtained up to now. Our solution is valid for effective relaxation times whose admissible range extends the limits given in Zhao and Sun (Z Angew Math Phys 70:42, 2019, Theorem 3.1) to all positive values. For special choices of parameters entering the equation itself and/or characterizing the kernel, the solution comprises to known phenomenological relaxation patterns, e.g., to the Cole–Cole model (if $$\gamma = 1, \beta =1-\alpha $$ ) or to the standard Debye relaxation.

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

The purpose of this short paper is to present a new form of the so called early exercise premium for the American type derivatives. The decomposition we derived consists of the corresponding European derivative and a derivative with a stochastic maturity. In different particular cases we reach to the well known form for the American put option where the underlying asset is driven by a Brownian motion or a Levy process.

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.

This paper presents some new formulas and properties of the generalized fractional derivative with non-singular kernel that covers various types of fractional derivatives such as the Caputo–Fabrizio fractional derivative, the Atangana–Baleanu fractional derivative, and the weighted Atangana–Baleanu fractional derivative. These new properties extend many recent results existing in the literature. Furthermore, the paper proposes some interesting inequalities that estimate the generalized fractional derivatives of some specific functions. These inequalities can be used to construct Lyapunov functions with the aim to study the global asymptotic stability of several fractional-order systems arising from diverse fields of science and engineering.

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 consider a class of fractional-order systems described by the Caputo derivative. The behaviors of the dynamics of this particular class of fractional-order systems will be proposed and experienced by a numerical scheme to obtain the phase portraits. Before that, we will provide the conditions under which the considered fractional-order system’s solution exists and is unique. The fractional-order impact will be analyzed, and the advantages of the fractional-order derivatives in modeling chaotic systems will be discussed. How the parameters of the model influence the considered fractional-order system will be studied using the Lyapunov exponents. The topological changes of the systems and the detection of the chaotic and hyperchaotic behaviors at the assumed initial conditions and the considered fractional-order systems will also be investigated using the Lyapunov exponents. The investigations related to the Lyapunov exponents in the context of the fractional-order derivative will be the main novelty of this paper. The stability analysis of the model’s equilibrium points has been focused in terms of the Matignon criterion.

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.

This paper is concerned with a system governed by nonsingular delay differential equations. We study the β-Ulam-type stability of the mentioned system. The investigations are carried out over compact and unbounded intervals. Before proceeding to the main results, we convert the system into an equivalent integral equation and then establish an existence theorem for the addressed system. To justify the application of the reported results, an example along with graphical representation is illustrated at the end of the paper.

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.

An adaptive high-order difference solution about a 2D nonlinear degenerate singular reaction-diffusion equation with a convection term is initially proposed in the paper. After the first and the second central difference operator approximating the first-order and the second-order spatial derivative, respectively, the higher-order spatial derivatives are discretized by applying the Taylor series rule and the temporal derivative is discretized by using the Crank–Nicolson (CN) difference scheme. An alternating direction implicit (ADI) scheme with a nonuniform grid is built in this way. Meanwhile, accuracy analysis declares the second order in time and the fourth order in space under certain conditions. Sequentially, the high-order scheme is performed on an adaptive mesh to demonstrate quenching behaviors of the singular parabolic equation and analyse the influence of combustion chamber size on quenching. The paper displays rationally that the proposed scheme is practicable for solving the 2D quenching-type problem.

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.

This research paper is about the existence and uniqueness of the coupled system of nonlinear fractional Langevin equations with multipoint and nonlocal integral boundary conditions. The Caputo fractional derivative is used to formulate the fractional differential equations, and the fractional integrals mentioned in the boundary conditions are due to Atangana–Baleanu and Katugampola. The existence of solution has been proven by two main fixed-point theorems: O’Regan’s fixed-point theorem and Krasnoselskii’s fixed-point theorem. By applying Banach’s fixed-point theorem, we proved the uniqueness result for the concerned problem. This research paper highlights the examples related with theorems that have already been proven.

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.

The paper investigates the dynamical behaviors of a two-species discrete predator-prey system with Crowley–Martin functional response incorporating prey refuge proportional to prey density. The existence of equilibrium points, stability of three fixed points, period-doubling bifurcation, Neimark–Sacker bifurcation, Marottos chaos, and Control Chaos are analyzed for the discrete-time domain. The time graphs, phase portraits, and bifurcation diagrams are obtained for different parameters of the model. Numerical simulations and graphics show that the discrete model exhibits rich dynamics, which also present that the system is a chaotic and complex one. This paper attempts to present a feedback control method which can stabilize chaotic orbits at an unstable equilibrium point.

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 Lie symmetry and invariants for a generalized Birkhoffian system on time scales are studied, which include exact invariants and adiabatic invariants. First, the generalized Pfaff-Birkhoff principle on time scales is established, and by using Dubois-Reymond lemma the generalized Birkhoff’s equations on time scale are derived. Secondly, the determining equations of Lie symmetry for the generalized Birkhoffian system on time scales are established. We prove that if the Lie symmetry satisfies the structural equation, it leads to a conserved quantity, which is an exact invariant of the system. Again, the perturbation of Lie symmetry under the action of small disturbance is considered, the determining equations and the structural equations of disturbed system are established, and the adiabatic invariants led by the Lie symmetry perturbation for the generalized Birkhoffian system on time scales are given. Because of the arbitrariness of selecting time scales and the generality of the generalized Birkhoffian system, the results of this paper are of universal significance. The results of this paper contain the corresponding results for Birkhoffian system on time scales and classical generalized Birkhoffian system as its special cases. At the end of the paper, an example is given to illustrate the validity of the method and the results.

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.

In this paper, we study the existence and the numerical estimates of solutions for a specific types of fractional differential equations. The nonlinear part of the problem, however, presupposes certain hypotheses. Particularly, for exact localization of the parameter, the existence of a non-zero solution is established, which requires the sublinearity of the nonlinear part at the origin and infinity. We also take into consideration several theoretical and numerical examples. One of the main novelties of this paper is to use the variational method to investigate the properties of solutions of boundary values problems involving Atangana–Baleanu fractional derivative for the first time.

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.

In this paper, we use integral equations of non-integer orders to derive discrete maps with memory. Note that discrete maps with memory were not previously derived from fractional integral equations of non-integer orders. Such a derivation of discrete maps with memory is proposed for the first time in this work. In this paper, we derived discrete maps with nonlocality in time and memory from exact solutions of fractional integral equations with the Riemann–Liouville and Hadamard type fractional integrals of non-integer orders and periodic sequence of kicks that are described by Dirac delta-functions. The suggested discrete maps with nonlocality in time are derived from these fractional integral equations without any approximation and can be considered as exact discrete analogs of these equations. The discrete maps with memory, which are derived from integral equations with the Hadamard type fractional integrals, do not depend on the period of kicks.