Search

The hypergeometric solutions of the KZ equations were constructed almost 30 years ago. The polynomial solutions of the KZ equations over the finite field $F_p$ with a prime number $p$ of elements were constructed recently. In this paper we consider the example of the KZ equations whose hypergeometric solutions are given by hyperelliptic integrals of genus $g$. It is known that in this case the total $2g$-dimensional space of holomorphic solutions is given by the hyperelliptic integrals. We show that the recent construction of the polynomial solutions over the field $F_p$ in this case gives only a $g$-dimensional space of solutions, that is, a "half" of what the complex analytic construction gives. We also show that all the constructed polynomial solutions over the field $F_p$ can be obtained by reduction modulo $p$ of a single distinguished hypergeometric solution. The corresponding formulas involve the entries of the Cartier-Manin matrix of the hyperelliptic curve. That situation is analogous to the example of the elliptic integral considered in the classical Y.I. Manin's paper in 1961., Latex, 16 pages

In this paper, we consider weak, directional and strong matrix majorizations. Namely, for square matrices A and B of the same size we say that A is weakly majorized by B if there is a row stochastic matrix X such that A = XB. Further, A is strongly majorized by B if there is a doubly stochastic matrix X such that A = XB. Finally, A is directionally majorized by B if Ax is majorized by Bx for any vector x where the usual vector majorization is used. We introduce the notion of majorization of matrix tuples which is defined as a natural generalization of matrix majorizations: for a chosen type of majorization we say that one tuple of matrices is majorized by another tuple of the same size if every matrix of the “smaller” tuple is majorized by a matrix in the same position in the “bigger” tuple. We say that a linear operator preserves majorization if it maps ordered pairs to ordered pairs and the image of the smaller element does not exceed the image of the bigger one. This paper contains a full characterization of linear operators that preserve weak, strong or directional majorization of tuples of matrices and linear operators that map tuples that are ordered with respect to strong majorization to tuples that are ordered with respect to directional majorization. We have shown that every such operator preserves respective majorization of each component. For all types of majorization we provide counterexamples that demonstrate that the inverse statement does not hold, that is if majorization of each component is preserved, majorization of tuples may not.

Bidimensionality Theory was introduced by [E.D. Demaine, F.V. Fomin, M.Hajiaghayi, and D.M. Thilikos. Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, J. ACM, 52 (2005), pp.866--893] as a tool to obtain sub-exponential time parameterized algorithms on H-minor-free graphs. In [E.D. Demaine and M.Hajiaghayi, Bidimensionality: new connections between FPT algorithms and PTASs, in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM, 2005, pp.590--601] this theory was extended in order to obtain polynomial time approximation schemes (PTASs) for bidimensional problems. In this work, we establish a third meta-algorithmic direction for bidimensionality theory by relating it to the existence of linear kernels for parameterized problems. In particular, we prove that every minor (respectively contraction) bidimensional problem that satisfies a separation property and is expressible in Countable Monadic Second Order Logic (CMSO), admits a linear kernel for classes of graphs that exclude a fixed graph (respectively an apex graph) H as a minor. Our results imply that a multitude of bidimensional problems g graph classes. For most of these problems no polynomial kernels on H-minor-free graphs were known prior to our work., Comment: An an earlier version of this paper appeared in SODA 2010. That paper contained preliminary versions of some of the results of this paper

In this paper, we develop the elementary theory of inverse semigroups to the cases of type B semigroups. The main aim of this paper is to study proper type B semigroups. We introduce first the concept of a left admissible triple. After obtaining some basic properties of left admissible triple, we give the definition of a Q-semigroup and get a structure theorem of Q-semigroup. In particular, we introduce the notion of an admissible triple and give some characterization of proper type B semigroups. It is proved that an arbitrary Q-semigroup with an admissible triple is an E-unitary type B semigroup.

In this paper, we consider the existence and multiplicity of weak solutions for a class of fractional differential equations with non-homogeneous Sturm-Liouville conditions and impulsive conditions by using the critical point theory. In addition, at the end of this paper, we also give the existence results of infinite weak solutions of fractional differential equations under homogeneous Sturm-Liouville boundary value conditions. Finally, several examples are given to illustrate our main results.

Let (G, V) be a prehomogeneous vector space, let O be any G(F_q)-invariant subset of V(F_q), and let f be the characteristic function of O. In this paper we develop a method for explicitly and efficiently evaluating the Fourier transform of f, based on combinatorics and linear algebra. We then carry out these computations in full for each of five prehomogeneous vector spaces, including the 12-dimensional space of pairs of ternary quadratic forms. Our computations reveal that these Fourier transforms enjoy a great deal of structure, and sometimes exhibit more than square root cancellation on average. These Fourier transforms naturally arise in analytic number theory, where explicit formulas (or upper bounds) lead to sieve level of distribution results for related arithmetic sequences. We describe some examples, and in a companion paper we develop a new method to do so, designed to exploit the particular structure of these Fourier transforms., 28 pages; to appear in American Journal of Mathematics. Includes a table after the bibliography. Also includes relevant PARI/GP code, embedded as a comment in the LaTeX code

We study movements of a loaded Stewart platform in this paper. A special form of differential equations is used (motion equations in excess coordinates are derived) to compose the motion equations. In this form, vectorial Lagrange equations of the first kind are compiled using differentiation with respect to the radius-vector of the center of mass of the system and the unit vectors (orts) of the main central axes of inertia of the moving body and with respect to their derivatives. These determine the position of a rigid body in space. The length invariance of the unit vectors and their orthogonality are taken into account as abstract holonomic relations imposed on vectors describing the motion of a rigid body. “Spurious oscillations” are some of the technical effects seen in the behavior of the Stewart platform in the equilibrium position. This reason for the system to leave the unstable equilibrium position is discussed in this paper. Such standard motion of the Stewart platform as vertical oscillations of the platform will be equally unstable. The simplest mechanism of the instability of such vertical movements of the platform is revealed in this work. We propose introducing classical feedbacks to obtain steady movement. The numerical solutions of the derived differential equations completely correspond to the numerical results obtained by solving the motion equations compiled using theorems on the motion of the center of mass and on the change in the kinetic moment when the system moves relative to the center of mass.

This paper is devoted to the study of dual singular integral equations with convolution kernels in the case of non-normal type. Via using the Fourier transforms, we transform such equations into Riemann boundary value problems. To solve the equation, we establish the regularity theory of solvability. The general solutions and the solvable conditions of the equation are obtained. Especially, we investigate the asymptotic property of solutions at nodes. This paper will have a significant meaning for the study of improving and developing complex analysis, integral equations and Riemann boundary value problems.

Homological properties of quotient divisible Abelian groups are studied. These groups form an important class of groups, which has been extensively studied in recent years. The first part of the paper is devoted to conditions for the triviality of extension groups in which one of the arguments is a quotient divisible group. Under certain additional assumptions, groups of homomorphisms from quotient divisible groups to reduced Abelian groups are described. Universality properties of quotient divisible Abelian groups are investigated. The second part of the paper considers homological properties of compact Abelian groups dual to quotient divisible groups in the sense of L.S. Pontryagin. Such groups are said to be “quotient toroidal.” Conditions for the triviality of group extensions in which one of the arguments is a quotient toroidal group are studied. Certain groups of continuous homomorphisms in which the second argument is a quotient toroidal group are described. The last part of the paper is devoted to conditions for the triviality of the groups of extensions of quotient divisible groups by compact quotient toroidal ones. The fundamental group of the topological space of a quotient toroidal group is characterized.

Recently, Bai and Zhang [Numerical Linear Algebra with Applications, 2013, 20, 425Ƀ439] constructed modulus-based synchronous multisplitting methods by an equivalent reformulation of the linear complementarity problem into a system of fixed-point equations and studied the convergence of them; Li et al. [Journal of Nanchang University (Natural Science), 2013, 37, 307Ƀ312] studied synchronous block multisplitting iteration methods; Zhang and Li [Computers and Mathematics with Application, 2014, 67, 1954Ƀ1959] analyzed and obtained the weaker convergence results for linear complementarity problems. In this paper, we generalize their algorithms and further study global relaxed modulus-based synchronous block multisplitting multi-parameters methods for linear complementarity problems. Furthermore, we give the weaker convergence results of our new method in this paper when the system matrix is a block $ H_{+}- $matrix. Therefore, new results provide a guarantee for the optimal relaxation parameters, please refer to [A. Hadjidimos, M. Lapidakis and M. Tzoumas, SIAM Journal on Matrix Analysis and Applications, 2012, 33, 97Ƀ110, (dx.doi.org/10.1137/100811222)], where optimal parameters are determined.

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.

This paper contains an explanation of Ramanujan-type formulas with cubic radicals of cubic irrationalities in the situation when these radicals are contained in a pure cubic extension. We give a complete description of formulas of such type, answering the Zippel’s question. It turns out that Ramanujan-type formulas are in some sense unique in this situation. In particular, there must be no more than three summands in the right-hand side and the norm of the irrationality in question must be a cube. In this situation we associate cubic irrationalities with a cyclic cubic polynomial, which is reducible if and only if one can simplify the corresponding cubic radical. This correspondence is inverse to the so-called Ramanujan correspondence defined in the preceding papers, where one associates a pure cubic extension to some cyclic polynomial.

In this paper, we analyzed the physical meaning of scalar curvatures for a generalized Riemannian space. It is developed the Madsen's formulae for pressures and energy-densities with respect to the corresponding energy-momentum tensors. After that, the energy-momentum tensors, pressures, energy-densities and state-parameters are analyzed with respect to different concepts of generalized Riemannian spaces. At the end of this paper, linearities of the energy-momentum tensor, pressure, energy-density and the state-parameter are examined., Comment: 17 pages, 0 figures, manuscript

In this paper we provide quantitative Bloom type estimates for iterated commutators of fractional integrals improving and extending results from a work of Holmes, Rahm and Spencer. We give new proofs for those inequalities relying upon a new sparse domination that we provide as well in this paper and also in techniques developed in a recent paper due to Lerner, Ombrosi and the third author. We extend as well the necessity established in the work of Holmes, Rahm and Spencer to iterated commutators providing a new proof. As a consequence of the preceding results we recover the one weight estimates in works of Cruz-Uribe and Moen and B\'enyi, Martell, Moen, Stachura, Torres and establish the sharpness in the iterated case. Our result provides as well a new characterization of the BMO space., Comment: 18 pages

In this paper, we propose and study the polar Orlicz-Minkowski problems: under what conditions on a nonzero finite measure $\mu$ and a continuous function $\varphi:(0,\infty)\rightarrow(0,\infty)$, there exists a convex body $K\in\mathcal{K}_0$ such that $K$ is an optimizer of the following optimization problems: \begin{equation*} \inf/\sup \bigg\{\int_{S^{n-1}}\varphi\big( h_L \big) \,d \mu: L \in \mathcal{K}_{0} \ \text{and}\ |L^\circ|=\omega_{n}\bigg\}. \end{equation*} The solvability of the polar Orlicz-Minkowski problems is discussed under different conditions. In particular, under certain conditions on $\varphi,$ the existence of a solution is proved for a nonzero finite measure $\mu$ on $S^{n-1}$ which is not concentrated on any hemisphere of $S^{n-1}.$ Another part of this paper deals with the $p$-capacitary Orlicz-Petty bodies. In particular, the existence of the $p$-capacitary Orlicz-Petty bodies is established and the continuity of the $p$-capacitary Orlicz-Petty bodies is proved., Comment: This paper has been accepted by Indiana University Mathematics Journal

The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $\Lambda_{s,\chi}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,\pi\otimes\chi)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places., Comment: 39 pages. The current version of this paper is significantly shorter than the previous one, as the first author pointed out a conceptual intepretation of construction of cohomological test vector in the old version of this paper. Section 4 is completely rewritten. Also fix some inaccuracies

In this paper we provide some quantitative mixed weak-type estimates assuming conditions that imply that $$uv\in A_{\infty }$$ for Calderon–Zygmund operators, rough singular integrals and commutators. The main novelty of this paper lies in the fact that we rely upon sparse domination results, pushing an approach to endpoint estimates that was introduced in Domingo-Salazar et al. (Bull Lond Math Soc 48(1):63–73, 2016) and extended in Lerner et al. (Adv Math 319:153–181, 2017) and Li et al. (J Geom Anal, 2018).

In this paper, by the affine analogue of the fundamental theorem for Euclidean planar curves, we classify the affine curves with constant affine curvatures. Note that we use the fully affine group and not the equi-affine subgroup consisting of area-preserving affine transformations. (Caution: much of the literature omits the “equi-” in their treatment.) According to the equivariant method of moving frames, explicit formulas for the generating affine differential invariants and invariant differential operators are constructed. At the same time, by using the fact that the affine transformation group GA$$(2,\mathbb {R})$$ can factor as a product of two subgroup $$B\cdot \mathrm{SE}(2,\mathbb {R})$$ and the moving frame of the subgroup SE$$(2,\mathbb {R})$$, we build the moving frame of GA$$(2,\mathbb {R})$$ and obtain the relations among invariants of group GA$$(2,\mathbb {R})$$ and its subgroup SE$$(2,\mathbb {R})$$. Applying the affine curvature to recognize affine equivalent objects is considered in the last part of this paper.

In this paper, we have pointed out that the proof of Theorem 11 in the recent paper (Lafhim in Positivity, 2019. https://doi.org/10.1007/s11117-019-00685-1 ) is erroneous. Using techniques from variational analysis, we propose other proofs to detect necessary optimality conditions in terms of Karush–Kuhn–Tucker multipliers. Our main results are given in terms of the limiting subdifferentials and the limiting normal cones. Completely detailed first order necessary optimality conditions are then given in the smooth setting while using the generalized differentiation calculus of Mordukhovich.

This paper generalizes the Kunita–Watanabe decomposition of an $L^2$ space. The generalization comes from using nonlinear stochastic integrals where the integrator is a family of continuous martingales bounded in $L^2$ . This result is also the solution of an optimization problem in $L^2$ . First, martingales are assumed to be stochastic integrals. Then, to get the general result, it is shown that the regularity of the family of martingales with respect to its spatial parameter is inherited by the integrands in the integral representation of the martingales. Finally, an example showing how the results of this paper, with the Clark–Ocone formula, can be applied to polynomial functions of Brownian integrals.

The paper deals with the normal extensions of cancellative commutative semigroups and the Toeplitz algebras for those semigroups. By the Toeplitz algebra for a semigroup S one means the reduced semigroup C*-algebra C*(S). We study the normal extensions of cancellative commutative semigroups by the additive group ℤn of integers modulo n. Moreover, we assume that such an extension is generated by one element. We present a general method for constructing normal extensions of semigroups which contain no non-trivial subgroups. The Grothendieck group for a given semigroup and the group of all integers are involved in this construction. Examples of such extensions for the additive semigroup of non-negative integers are given. A criterion for a normal extension generated by an element to be isomorphic to a numerical semigroup is given in number-theoretic terms. The results concerning the Toeplitz algebras are the following. For a cancellative commutative semigroup S and its normal extension L generated by one element, there exists a natural embedding the semigroup C*-algebra C*(S) into C*(L). The semigroup C*-algebra C*(L) is topologically ℤn-graded. The results in the paper are announced without proofs.

This paper aims to present a new pathwise approximation method, which gives approximate solutions of order $\begin{array}{} \displaystyle \frac{3}{2} \end{array}$ for stochastic differential equations (SDEs) driven by multidimensional Brownian motions. The new method, which assumes the diffusion matrix non-degeneracy, employs the Runge-Kutta method and uses the Itô-Taylor expansion, but the generating of the approximation of the expansion is carried out as a whole rather than individual terms. The new idea we applied in this paper is to replace the iterated stochastic integrals Iα by random variables, so implementing this scheme does not require the computation of the iterated stochastic integrals Iα. Then, using a coupling which can be found by a technique from optimal transport theory would give a good approximation in a mean square. The results of implementing this new scheme by MATLAB confirms the validity of the method.

In this paper, we consider the wavelet estimators of a nonparametric regression model based on widely orthant dependent random errors. The moment consistency and the completely consistency for wavelet estimators under some more mild moment conditions are investigated. The results obtained in the paper improve and extend the corresponding ones for dependent random variables. Finally, we provide a numerical simulation to verify the validity of our results.

In this paper, the authors introduce a class of functionals. This class forms a Banach algebra for the special cases. The main purpose of this paper is to investigate some properties of the modified analytic function space Feynman integral of functionals in the class. Those properties contain various results and formulas which were not obtained in previous papers. Also, the authors establish some relationships involving the first variation via the translation theorem on function space. In particular, the authors establish the Fubini theorem for the modified analytic function space Feynman integral which was not obtained in previous researches yet.

If $G$ is a group, a virtual retract of $G$ is a subgroup which is a retract of a finite index subgroup. Most of the paper focuses on two group properties: property (LR), that all finitely generated subgroups are virtual retracts, and property (VRC), that all cyclic subgroups are virtual retracts. We study the permanence of these properties under commensurability, amalgams over retracts, graph products and wreath products. In particular, we show that (VRC) is stable under passing to finite index overgroups, while (LR) is not. The question whether all finitely generated virtually free groups satisfy (LR) motivates the remaining part of the paper, studying virtual free factors of such groups. We give a simple criterion characterizing when a finitely generated subgroup of a virtually free group is a free factor of a finite index subgroup. We apply this criterion to settle a conjecture of Brunner and Burns., 30 pages, 1 figure. v3: added Lemma 5.8 and made minor corrections following referee's comments. This version of the paper has been accepted for publication

[EN] In this paper, a novel technique is formed to obtain the solution of a fractional gas dynamics equation. Some reproducing kernel Hilbert spaces are defined. Reproducing kernel functions of these spaces have been found. Some numerical examples are shown to confirm the efficiency of the reproducing kernel Hilbert space method. The accurate pulchritude of the paper is arisen in its strong implementation of Caputo fractional order time derivative on the classical equations with the success of the highly accurate solutions by the series solutions. Reproducing kernel Hilbert space method is actually capable of reducing the size of the numerical work. Numerical results for different particular cases of the equations are given in the numerical section., This research was partially supported by Spanish Ministerio de Ciencia, Innovacion y Universidades PGC2018-095896-B-C22 and Generalitat Valenciana PROMETEO/2016/089.

The presented paper is strictly connected, among others, with the paper On the sum of some alternating series, Comp. Math. Appl. (2011), written by Wituła and Słota. A problem concerning the form of determinants formulated in the cited paper is solved here. Next, the obtained result is adapted to solve some system of linear equations and the description of the sum of alternating series.

In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxiliary vector bundle. The aim of this paper is to present other, in a sense more geometric, interpretations of this local input. One of them results from a generalization of Segre species of real lines on cubic surfaces and another from a generalization of Welschinger weights of real lines on quintic threefolds., Comment: 20 pages, typos are corrected (most essential, in Proposition 4.3.3)

Let $f\in\mathbb{Z}[T]$ be any polynomial of degree $d>1$ and $F\in\mathbb{Z}[X_{0},...,X_{n}]$ an irreducible homogeneous polynomial of degree $e>1$ such that the projective hypersurface $V(F)$ is smooth. In this paper we give a bound for \[ N(f,F,B):=|\{\textbf{x}\in\mathbb{Z}^{n+1}:\max_{0\leq i\leq n}|x_{i}|\leq B,\exists t\in\mathbb{Z}\text{ such that }f(t)=F(\textbf{x})\}|, \] To do this, we introduce a generalization of the Heath-Brown and Munshi's power sieve and we extend two results by Deligne and Katz on estimates for additive and multiplicative characters in many variables., Theorem 1 has been improved. The paper has been reorganized to improve the exposition

We investigate a steady planar flow of an ideal fluid in a bounded simply connected domain and focus on the vortex patch problem with prescribed vorticity strength. There are two methods to deal with the existence of solutions for this problem: the vorticity method and the stream function method. A long standing open problem is whether these two entirely different methods result in the same solution. In this paper, we will give a positive answer to this problem by studying the local uniqueness of the solutions. Another result obtained in this paper is that if the domain is convex, then the vortex patch problem has a unique solution.

An endofunction on an Abelian group A is a fonction f: An → A such that φf (x1, …, xn) = f (φ(x1), …, φ(xn)) for all endomorphisms φ of group A and all n from ℕ. If each endofunction has the form $$f\left(x_{1}, \ldots, x_{n}\right)=\sum\nolimits_{i=1}^{n} \lambda_{i} x_{i}$$ for some central endomorphisms λ1, …, λn of group A, then such a group is called generalized endoprimal (GE) group. In this paper, we find GE-groups in the class of nonreduced Abelian groups. In addition, results paper, we find GE-group in the class of nonreduced Abelian groups. In addition, results concerning connections of GE-groups with Abelian groups whose endomorphism rings are unique addition rings have been obtained.

The paper presents an efficient numerical technique for 3D-modeling of seismic stability of large buried structures. This technique allows considering the subsoil-structure contact interaction, gravity field effects, the inhomogeneous structure of soil and the varieties location of the earthquake hypocenter. As part of this technique is substantiated sizing of the soil-structure computational domain and continuum model for hard and soft soil foundations describing. The numerical technique for determining the kinematic conditions at the lower boundary of the computational domain from the experimental accelerations at the soil surface is given, offered special non-reflecting waves boundary conditions. The methods described above and algorithms for seismic resistance solving have been implemented in certified software package “Dynamica-3”, parallelization of the algorithm has been held according to the spatial domain decomposition principle. The developed numerical technique allows correctly posing the problem of seismic vibrations of buried structure, reducing computing costs and increasing the efficiency of numerical studies of Earthquake Engineering. Through this, the multiple recalculation of the task with different action scenarios generated from experimental seismograms by probabilistic methods became technically possible. The results of these calculations allow reflecting the experience of many earthquakes, which increases reliability of the estimates. The paper presents the model calculations results of seismic stability of large-sized buried structure—the mutual vertical and horizontal displacement of soil and building walls—which can then be used to assess strength of adjacent underground pipelines. A number of numerical experiments on seismic vibrations of nearby large-sized structures have been carried out to assess the mutual influence of structures on their behavior in an earthquake. It is established that the influence of nearby large-sized objects on seismic vibrations of structures differs for different buildings.

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 purpose of this paper is to show well-posedness results in L 2 -based Sobolev spaces for transmission, Dirichlet, Neumann, and mixed boundary value problems for the Brinkman system with L ∞ coefficients in Lipschitz domains on a compact Riemannian manifold of dimension m ≥ 2 . The Dirichlet, transmission, and mixed problems for the nonlinear Darcy-Forchheimer-Brinkman system with L ∞ coefficients are also analyzed. First, we focus on the well-posedness of linear transmission, Dirichlet and mixed boundary value problems for the Brinkman system with L ∞ coefficients in Lipschitz domains on compact Riemannian manifolds by using a variational approach that reduces such a boundary value problem to a mixed variational formulation defined in terms of two bilinear continuous forms, one of them satisfying a coercivity condition and another one the inf-sup condition. Further, we show the equivalence between each boundary value problem for the Brinkman system with L ∞ coefficients and its mixed variational counterpart, and then the well posedness in L 2 -based Sobolev spaces by using the Necas-Babuska-Brezzi technique. The second goal of this paper is the construction of the Newtonian and layer potential operators for the Brinkman system with L ∞ coefficients in Lipschitz domains on compact Riemannian manifolds by using the well-posedness results for the analyzed linear transmission problems. Various mapping properties of these operators are also obtained and used to describe the weak solutions of the Poisson problems with Dirichlet and Neumann conditions for the nonsmooth Brinkman system in terms of such potentials. Finally, we combine the well-posedness results of the Poisson problems of Dirichlet, transmission, and mixed type for the nonsmooth Brinkman system with a fixed point theorem in order to show the existence of a weak solution of the Poisson problem of Dirichlet, transmission, or mixed type for the (nonlinear) Darcy-Forchheimer-Brinkman system with L ∞ coefficients in L 2 -based Sobolev spaces in Lipschitz domains on compact Riemannian manifolds of dimension m ∈ { 2 , 3 } .

The main goal of this paper is to demonstrate that the newest generation of NEC SX-Aurora TSUBASA architecture can perform large-scale graph processing extremely efficiently. This paper proposes approaches, which can be used for the development of high-performance vector-oriented implementations of page rank and shortest paths algorithms, including vectorised graph storage format, efficient vector-friendly graph traversals, optimised cache-aware memory accesses and efficient load-balancing. The developed implementations are optimised according to the most important features and properties of SX-Aurora architecture, which allows them achieve up to 15 times better performance compared to the optimised Intel Skylake parallel implementations and up to 5 times better performance compared to NVGRAPH library implementations for Pascal GPU architecture.

This paper is concerned with the asymptotic behavior of bounded solutions of the Cauchy problem { u t = u x x + f ( t , u ) , x ∈ R , t > 0 , u ( x , 0 ) = u 0 , x ∈ R , where u 0 is a nonnegative bounded function with compact support and f is a rather general nonlinearity that is periodic in t and satisfies f ( ⋅ , 0 ) = 0 . In the autonomous case where f = f ( u ) , the convergence of every bounded solution to an equilibrium has been established by Du and Matano (2010). However, the presence of periodic forcing makes the problem significantly more difficult, partly because the structure of time periodic solutions is much less understood than that of steady states. In this paper, we first prove that any ω-limit solution is either spatially constant or symmetrically decreasing. Furthermore, we show that the set of ω-limit solutions either consists of a single time-periodic solution or it consists of multiple time-periodic solutions and heteroclinic connections among them. Next, under a mild non-degenerate assumption on the corresponding ODE, we prove that the ω-limit set is a singleton, which implies the solution converges to a time-periodic solution. Lastly, we apply these results to equations with bistable nonlinearity and combustion nonlinearity, and specify more precisely which time-periodic solutions can possibly be selected as the limit.

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, a type of accurate a posteriori error estimator is proposed for the Steklov eigenvalue problem based on the complementary approach, which provides an asymptotic exact estimate for the approximate eigenpair. Besides, we design a type of cascadic adaptive finite element method for the Steklov eigenvalue problem based on the proposed a posteriori error estimator. In this new cascadic adaptive scheme, instead of solving the Steklov eigenvalue problem in each adaptive space directly, we only need to do some smoothing steps for linearized boundary value problems on a series of adaptive spaces and solve some Steklov eigenvalue problems on a low dimensional space. Furthermore, the proposed a posteriori error estimator provides the way to refine mesh and control the number of smoothing steps for the cascadic adaptive method. Some numerical examples are presented to validate the efficiency of the algorithm in this paper.

This paper proves the boundedness of the generalized Riesz potentials I ρ , μ , τ ⁢ f {I_{\rho,\mu,\tau}f} of functions in the Morrey space L ( 1 , φ ; κ ) ⁢ ( G ) {L^{(1,\varphi;\kappa)}(G)} over a general measure space X, with G a bounded open set in X (or G is X ) {X)} , as an extension of earlier results. The modification parameter τ is introduced for the purpose of including the case where the underlying measure does not satisfy the doubling condition. What is new in the present paper is that ρ depends on x ∈ X {x\in X} . An example in the end of this article convincingly explains why the modification parameter τ must be introduced.

Let G be a graph with vertex set V(G), edge set E(G) and maximum degree Δ respectively. G is called degree-magic if it admits a labelling of the edges by integers {1, 2, …, |E(G)|} such that for any vertex v the sum of the labels of the edges incident with v is equal to $${{1 + \left| {E(G)} \right|} \over 2} \cdot d(v)$$ , where d(v) is the degree of v. Let f be a proper edge coloring of G such that for each vertex v ∈ V(G), |{e : e ∈ Ev, f(e) ≤ Δ/2}| = |{e : e ∈ Ev, f(e) > Δ/2}|, and such an f is called a balanced edge coloring of G. In this paper, we show that if G is a supermagic even graph with a balanced edge coloring and m ≥ 1, then (2m + 1)G is a supermagic graph. If G is a d-magic even graph with a balanced edge coloring and n ≥ 2, then nG is a d-magic graph. Results in this paper generalise some known results.

We give a simplified and complete proof of the convergence of the chordal exploration process in critical FK–Ising percolation to chordal $$\mathrm {SLE}_\kappa ( \kappa -6)$$ with $$\kappa =16/3$$. Our proof follows the classical excursion construction of $$\mathrm {SLE}_\kappa (\kappa -6)$$ processes in the continuum, and we are thus led to introduce suitable cut-off stopping times in order to analyse the behaviour of the driving function of the discrete system when Dobrushin boundary condition collapses to a single point. Our proof is very different from that of Kemppainen and Smirnov (Conformal invariance of boundary touching loops of FK–Ising model. arXiv:1509.08858, 2015; Conformal invariance in random cluster models. II. Full scaling limit as a branching SLE. arXiv:1609.08527, 2016) as it only relies on the convergence to the chordal $$\mathrm {SLE}_{\kappa }$$ process in Dobrushin boundary condition and does not require the introduction of a new observable. Still, it relies crucially on several ingredients: One important emphasis of this paper is to carefully write down some properties which are often considered folklore in the literature but which are only justified so far by hand-waving arguments. The main examples of these are: We end the paper with a detailed sketch of the convergence to radial $$\mathrm {SLE}_\kappa ( \kappa -6)$$ when $$\kappa =16/3$$ as well as the derivation of Onsager’s one-arm exponent 1 / 8.

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is $\mathcal{T}_X\mathcal{C}$. When $\mathcal{C}$ consists of algebras over a nice $\infty$-operad in a stable $\infty$-category, $\mathcal{T}_X\mathcal{C}$ is equivalent to the $\infty$-category of operadic modules, by work of Basterra--Mandell, Schwede and Lurie. In this paper we develop the model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable. This extended comparison can be used, for example, to identify the cotangent complex of enriched categories, an application we take up in a subsequent paper., Comment: The section concerning stabilization of model categories was separated into an independent paper, appearing now as arXiv:1802.08031

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.

In this paper, we consider the improved estimation of average production of peppermint at block level of Barabanki district of Uttar Pradesh State (India). We suggest certain estimators for population-mean. Here, population refers to production population as study variable and auxiliary-variable refers to Area of field. We study the sampling properties naming bias and MSE of estimators, which are presently proposed by us in the paper. We compare our proposed estimators with other ones existing in literature. For the support of the theoretical findings, we carry out a numerical study for the natural population on primary data collected from Banikodar Block of Barabanki District situated in Uttar Pradesh State.

The aim of this paper is to present some results concerning the problem of minimal projections and extensions. Let X be a reflexive Banach space and let Y be a closed subspace of X of codimension one. Let W be a finite-dimensional Banach space. We present a new sufficient condition under which any minimal extension of an operator A ∈ L ( Y , W ) is strongly unique. In this paper we show (in some circumstances) that if 1 λ ( Y , X ) , then a minimal projection from X onto Y is a strongly unique minimal projection. Moreover, we introduce and study a new geometric property of normed spaces. In this paper we also present a result concerning the strong unicity of best approximation.

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.

Though the boundary layer formation in the chemotactic process has been observed in experiment (cf. [63] ), the mathematical study on the boundary layer solutions of chemotaxis models is just in its infant stage. Apart from the sophisticated theoretical tools involved in the analysis, how to impose/derive physical boundary conditions is a state-of-the-art in studying the boundary layer problem of chemotaxis models. This paper will proceed with a previous work [24] in one dimension to establish the convergence of boundary layer solutions of the Keller–Segel model with singular sensitivity in a two-dimensional space (half-plane) with respect to the chemical diffusion rate denoted by e ≥ 0 . Compared to the one-dimensional boundary layer problem, there are many new issues arising from multi-dimensions such as possible Prandtl type degeneracy, curl-free preservation and well-posedness of large-data solutions. In this paper, we shall derive appropriate physical boundary conditions and gradually overcome these barriers and hence establish the convergence of boundary layer solutions of the singular Keller–Segel system in the half-plane as the chemical diffusion rate vanishes. Specially speaking, we justify that the boundary layer converges to the outer layer (solution with e = 0 ) plus the inner layer as e → 0 , where both outer and inner layer profiles are precisely derived and well understood. By doing this, the structure of boundary layer solutions is clearly characterized. We hope that our results and methods can shed lights on the understanding of underlying mechanisms of the boundary layer patterns observed in the experiment for chemotaxis such as the work by Tuval et al. [63] , and open a new window in the future theoretical study of chemotaxis models.

In this paper the linear representation of a graph is defined. A linear representation of a graph is a subgroup of $GL(p,\mathbb{R})$, the group of invertible matrices of order $ p $ and real coefficients. It will be demonstrated that every graph admits a linear representation. In this paper, simple and finite graphs will be used, framed in the graphs theory's area

This paper deals with the pulsating waves and entire solutions for a spatially periodic nonlocal dispersal model with a quiescent stage. By the method of super- and subsolutions together with the comparison principle, we establish the existence of pulsating waves with any speed larger than the spreading speed. The construction of the super- and subsolutions depends on the principal eigenvalue theory for a periodic eigenvalue problem with partially degenerate nonlocal dispersal. The joint results of this paper and our recent work (Wang J B, Li W T, Sun J W. Global dynamics and spreading speeds for a partially degenerate system with non-local dispersal in periodic habitats. Proc Roy Soc Edinburgh Sect A, 2018, 148: 849–880) show that the spreading speed coincides with the minimal wave speed of pulsating waves for the considered system. Moreover, combining the rightward and leftward pulsating waves with different speeds and a spatially periodic solution, we prove the existence and qualitative properties of entire solutions other than pulsating waves, which provide some new spreading ways in a heterogeneous habitat.

The basic aim of this paper is to provide a fundamental tool, the resolvent decomposition theorem, in the construction theory of denumerable Markov processes. We present a detailed analytic proof of this extremely useful tool and explain its clear probabilistic interpretation. We then apply this tool to investigate the basic problems of existence and uniqueness criteria for denumerable Markov processes with instantaneous states to which few results have been obtained even until now. Although the complete answers regarding these existence and uniqueness criteria will be given in a subsequent paper, we shall, in this paper, present part solutions of these very important problems that are closely linked with the subtle Williams S and N conditions.