With the aid of P-index iteration theory, we consider the minimal period estimates on P-symmetric periodic solutions of nonlinear P-symmetric Hamiltonian systems with mild superquadratic growth.
Biquadratic tensors play a central role in many areas of science. Examples include elastic tensor and Eshelby tensor in solid mechanics, and Riemannian curvature tensor in relativity theory. The singular values and spectral norm of a general third order tensor are the square roots of the M-eigenvalues and spectral norm of a biquadratic tensor, respectively. The tensor product operation is closed for biquadratic tensors. All of these motivate us to study biquadratic tensors, biquadratic decomposition, and norms of biquadratic tensors. We show that the spectral norm and nuclear norm for a biquadratic tensor may be computed by using its biquadratic structure. Then, either the number of variables is reduced, or the feasible region can be reduced. We show constructively that for a biquadratic tensor, a biquadratic rank-one decomposition always exists, and show that the biquadratic rank of a biquadratic tensor is preserved under an independent biquadratic Tucker decomposition. We present a lower bound and an upper bound of the nuclear norm of a biquadratic tensor. Finally, we define invertible biquadratic tensors, and present a lower bound for the product of the nuclear norms of an invertible biquadratic tensor and its inverse, and a lower bound for the product of the nuclear norm of an invertible biquadratic tensor, and the spectral norm of its inverse.
The regularity of random attractors is considered for the nonautonomous fractional stochastic FitzHugh-Nagumo system. We prove that the system has a pullback random attractor that is compact in
This paper is a summary of the research on the characterizations of central function spaces by the author and his collaborators in the past ten years. More precisely, the author gives some characterizations of central Campanato spaces via the boundedness and compactness of commutators of Hardy operator.
We first prove that if a is both left (b; c)-invertible and left (c; b)- invertible, then a is both (b; c)-invertible and (c; b)-invertible in a *-monoid, which generalizes the recent result about the inverse along an element by L. Wang and D. Mosić [Linear Multilinear Algebra, Doi.org/10.1080/03081087. 2019.1679073], under the conditions (ab)* = ab and (ac)* = ac: In addition, we consider that ba is (c; b)-invertible, and at the same time ca is (b; c)-invertible under the same conditions, which extend the related results about Moore- Penrose inverses studied by J. Chen, H. Zou, H. Zhu, and P. Patrício [Mediterr J. Math., 2017, 14: 208] to (b; c)-inverses. As applications, we obtain that under condition (a2)* = a2; a is an EP element if and only if a is one-sided core invertible, if and only if a is group invertible.
We prove the asymptotic stability of solitary waves to 1D nonlinear Schrödinger equations in the subcritical case with symmetry and spectrum assumptions. One of the main ideas is to use the vector fields method developed by S. Cuccagna, V. Georgiev, and N. Visciglia [Comm. Pure Appl. Math., 2013, 6: 957–980] to overcome the weak decay with respect to t of the linearized equation caused by the one dimension setting and the weak nonlinearity caused by the subcritical growth of the nonlinearity term. Meanwhile, we apply the polynomial growth of the high Sobolev norms of solutions to 1D Schrödinger equations obtained by G. Staffilani [Duke Math. J., 1997, 86(1): 109–142] to control the high moments of the solutions emerging from the vector fields method.
Let
Let k>2 be an integer and P be a 2n×2n symplectic orthogonal matrix satisfying Pk = I2n and ker(Pj - I2n) = 0; 1≤j <k: For any compact convex hypersurface
We introduce a class of singular integral operators on product domains along twisted surfaces. We prove that the operators are bounded on Lp provided that the kernels satisfy weak conditions.
The first aim of the paper is to study the Hermitizability of secondorder differential operators, and then the corresponding isospectral operators. The explicit criteria for the Hermitizable or isospectral properties are presented. The second aim of the paper is to study a non-Hermitian model, which is now well known. In a regular sense, the model does not belong to the class of Hermitizable operators studied in this paper, but we will use the theory developed in the past years, to present an alternative and illustrated proof of the discreteness of its spectrum. The harmonic function plays a critical role in the study of spectrum. Two constructions of the function are presented. The required conclusion for the discrete spectrum is proved by some comparison technique.
Abundant exact interaction solutions, including lump-soliton, lumpkink, and lump-periodic solutions, are computed for the Hirota-Satsuma-Ito equation in (2+1)-dimensions, through conducting symbolic computations with Maple. The basic starting point is a Hirota bilinear form of the Hirota-Satsuma-Ito equation. A few three-dimensional plots and contour plots of three special presented solutions are made to shed light on the characteristic of interaction solutions.
We give a recursive algorithm to compute the multivariable Zassenhaus formula
We prove that there do not exist quasi-isometric embeddings of connected nonabelian nilpotent Lie groups equipped with left invariant Riemannian metrics into a metric measure space satisfying the curvaturedimension condition RCD(0;N) with N 2 R and N>1: In fact, we can prove that a sub-Riemannian manifold whose generic degree of nonholonomy is not smaller than 2 cannot be bi-Lipschitzly embedded in any Banach space with the Radon-Nikodym property. We also get that every regular sub-Riemannian manifold do not satisfy the curvature-dimension condition CD(K;N); where K;N 2 R and N>1: Along the way to the proofs, we show that the minimal weak upper gradient and the horizontal gradient coincide on the Carnot-Carathéodory spaces which may have independent interests.
In this paper, we study the multivariate linear equations with arbitrary positive integral coefficients. Under the Generalized Riemann Hypothesis, we obtained the asymptotic formula for the linear equations with more than five prime variables. This asymptotic formula is composed of three parts, that is, the first main term, the explicit second main term and the error term. Among them, the first main term is similar with the former one, the explicit second main term is relative to the non-trivial zeros of Dirichlet L-functions, and our error term improves the former one.
For solving minimization problems whose objective function is the sum of two functions without coupled variables and the constrained function is linear, the alternating direction method of multipliers (ADMM) has exhibited its efficiency and its convergence is well understood. When either the involved number of separable functions is more than two, or there is a nonconvex function, ADMM or its direct extended version may not converge. In this paper, we consider the multi-block separable optimization problems with linear constraints and absence of convexity of the involved component functions. Under the assumption that the associated function satisfies the Kurdyka- Lojasiewicz inequality, we prove that any cluster point of the iterative sequence generated by ADMM is a critical point, under the mild condition that the penalty parameter is sufficiently large. We also present some sufficient conditions guaranteeing the sublinear and linear rate of convergence of the algorithm.
The alternating links give a classical class of links. They play an important role in Knot Theory. Ozsváth and Szabó introduced a quasi-alternating link which is a generalization of an alternating link. In this paper we review some results of alternating links and quasi-alternating links on the Jones polynomial and the Khovanov homology. Moreover, we introduce a long pass link. Several problems worthy of further study are provided.
We establish a new characterization of the Musielak–Orlicz–Sobolev space on
For an irreducible character
Let
Third order three-dimensional symmetric and traceless tensors play an important role in physics and tensor representation theory. A minimal integrity basis of a third order three-dimensional symmetric and traceless tensor has four invariants with degrees two, four, six, and ten, respectively. In this paper, we show that any minimal integrity basis of a third order three-dimensional symmetric and traceless tensor is also an irreducible function basis of that tensor, and there is no syzygy relation among the four invariants of that basis, i.e., these four invariants are algebraically independent.
Life activities are extremely complex phenomena in nature. From molecular signaling regulation to multi-cellular tissue formation and so on, the biological system consists of multiple temporal, spatial and functional scales. Multiscale mathematical models have extensive applications in life science research due to their capacity of appropriately simulating the complex multiscale biological systems. Many mathematical methods, including deterministic methods, stochastic methods as well as discrete or rule-based methods, have been widely used for modeling biological systems. However, the models at single scale are not sufficient to simulate complex biological systems. Therefore, in this paper we give a survey of two multiscale modeling approaches for biological systems. One approach is continuous stochastic method that couples ordinary differential equations and stochastic differential equations; Another approach is hybrid continuous-discrete method that couples agent-based model with partial differential equations. We then introduce the applications of these multiscale modeling approaches in systems biology and look ahead to the future research.
A combinatorial batch code has strong practical motivation in the distributed storage and retrieval of data in a database. In this survey, we give a brief introduction to the combinatorial batch codes and some progress.
For an n×n complex matrix A with ind(A) = r; let AD and
This paper is concerned with numerical simulations for the GBrownian motion (defined by S. Peng in Stochastic Analysis and Applications, 2007, 541–567). By the definition of the G-normal distribution, we first show that the G-Brownian motions can be simulated by solving a certain kind of Hamilton-Jacobi-Bellman (HJB) equations. Then, some finite difference methods are designed for the corresponding HJB equations. Numerical simulation results of the G-normal distribution, the G-Brownian motion, and the corresponding quadratic variation process are provided, which characterize basic properties of the G-Brownian motion. We believe that the algorithms in this work serve as a fundamental tool for future studies, e.g., for solving stochastic differential equations (SDEs)/stochastic partial differential equations (SPDEs) driven by the G-Brownian motions.
The existence of bounded weak solutions, to a class of nonlinear elliptic equations with variable exponents, is investigated in this article. A uniform a priori
We establish necessary and sufficient conditions for the existence of the reducible solution to the quaternion tensor equation
We focus on the Lp(R2) theory of the fractional Fourier transform (FRFT) for 1 ≤ p ≤ 2. In L1(R2), we mainly study the properties of the FRFT via introducing the two-parameter chirp operator. In order to get the point-wise convergence for the inverse FRFT, we introduce the fractional convolution and establish the corresponding approximate identities. Then the well-defined inverse FRFT is given via approximation by suitable means, such as fractional Gauss means and Able means. Furthermore, if the signal Fα,βf is received, we give the process of recovering the original signal f with MATLAB. In L2(R2), the general Plancherel theorem, direct sum decomposition, and the general Heisenberg inequality for the FRFT are obtained.
The strong ellipticity condition plays an important role in nonlinear elasticity and in materials. In this paper, we de?ne M-eigenvalues for an elasticity tensor. The strong ellipticity condition holds if and only if the smallest M-eigenvalue of the elasticity tensor is positive. If the strong ellipticity condition holds, then the elasticity tensor is rank-one positive de?nite. The elasticity tensor is rank-one positive de?nite if and only if the smallest Z-eigenvalue of the elasticity tensor is positive. A Z-eigenvalue of the elasticity tensor is an M-eigenvalue but not vice versa. If the elasticity tensor is second-order positive de?nite, then the strong ellipticity condition holds. The converse conclusion is not right. Computational methods for ?nding M-eigenvalues are presented.
The Herz type Besov and Triebel-Lizorkin spaces with variable exponent are introduced. Then characterizations of these new spaces by maximal functions are given.
We propose a class of new hierarchical model for the evolution of two interacting age-structured populations, which is a system of integro-partial differential equations with global feedback boundary conditions and may describe the interactions such as competition, cooperation and predator-prey relation. Based upon a group of natural conditions, the existence and uniqueness of solutions on infinite time interval are proved by means of fixed point and extension principle, and the continuous dependence of the solution on the initial age distribution is established. These results lay a sound basis for the investigation of stability, controllability and variable optimal control problems.
In this paper, we study the continuous dependence of eigenvalue of Sturm-Liouville differential operators on the boundary condition by using of implicit function theorem. The work not only provides a new and elementary proof of the above results, but also explicitly presents the expressions for derivatives of the n-th eigenvalue with respect to given parameters. Furthermore, we obtain the new results of the position and number of the generated double eigenvalues under the real coupled boundary condition.
Determining the search direction and the search step are the two main steps of the nonlinear optimization algorithm, in which the derivatives of the objective and constraint functions are used to determine the search direction, the one-dimensional search and the trust domain methods are used to determine the step length along the search direction. One dimensional line search has been widely discussed in various textbooks and references. However, there is a less-known technique—arc-search method, which is relatively new and may generate more efficient algorithms in some cases. In this paper, we will survey this technique, discuss its applications in different optimization problems, and explain its potential improvements over traditional line search method.
The H-matrices are an important class in the matrix theory, and have many applications. Recently, this concept has been extended to higher order ?-tensors. In this paper, we establish important properties of diagonally dominant tensors and ?-tensors. Distributions of eigenvalues of nonsingular symmetric ?-tensors are given. An ?+-tensor is semi-positive, which enlarges the area of semi-positive tensor from ?-tensor to ?+-tensor. The spectral radius of Jacobi tensor of a nonsingular (resp. singular) ?-tensor is less than (resp. equal to) one. In particular, we show that a quasi-diagonally dominant tensor is a nonsingular ?-tensor if and only if all of its principal sub-tensors are nonsingular ?-tensors. An irreducible tensor
We study iterative methods for solving a set of sparse non-negative tensor equations (multivariate polynomial systems) arising from data mining applications such as information retrieval by query search and community discovery in multi-dimensional networks. By making use of sparse and non-negative tensor structure, we develop Jacobi and Gauss-Seidel methods for solving tensor equations. The multiplication of tensors with vectors are required at each iteration of these iterative methods, the cost per iteration depends on the number of non-zeros in the sparse tensors. We show linear convergence of the Jacobi and Gauss-Seidel methods under suitable conditions, and therefore, the set of sparse non-negative tensor equations can be solved very efficiently. Experimental results on information retrieval by query search and community discovery in multi-dimensional networks are presented to illustrate the application of tensor equations and the effectiveness of the proposed methods.
The aim of this paper is to state some conjectures and problems on Bochner-Riesz means in multiple Fourier series and integrals. The progress on these conjectures and problems are also mentioned.
We obtain the operator norms of the n-dimensional fractional Hardy operator
The first Zagreb index M1(G) is equal to the sum of squares of the degrees of the vertices, and the second Zagreb index M2(G) is equal to the sum of the products of the degrees of pairs of adjacent vertices of the underlying molecular graph G. In this paper, we obtain lower and upper bounds on the first Zagreb index M1(G) of G in terms of the number of vertices (n), number of edges (m), maximum vertex degree (Δ), and minimum vertex degree (δ). Using this result, we find lower and upper bounds on M2(G). Also, we present lower and upper bounds on M2(G) +M2(G) in terms of n, m, Δ, and δ, where G denotes the complement of G. Moreover, we determine the bounds on first Zagreb coindex M1(G) and second Zagreb coindex M2(G). Finally, we give a relation between the first Zagreb index and the second Zagreb index of graph G.
Let
We investigate the properties of nil-Coxeter algebras and nil-Ariki-Koike algebras. To be precise, from the view of standardly based algebras introduced by J. Du, H. Rui [Trans. Amer. Math. Soc, 1998, 350: 3207–3235], we give a description of simple modules of nil-Coxeter algebras and nil-Ariki-Koike algebras. Then we determine the representation type of nil-Coxeter algebras and nil-Ariki-Koike algebras. We also give a description of the center of nil-Ariki-Koike algebras.
To ?nd a cycle (resp. path) of a given length in a graph is the cycle (resp. path) embedding problem. To ?nd cycles of all lengths from its girth to its order in a graph is the pancyclic problem. A stronger concept than the pancylicity is the panconnectivity. A graph of order n is said to be panconnected if for any pair of different vertices
In the setting of the Heisenberg group, based on the rotation method, we obtain the sharp (p, p) estimate for the Hardy operator. It will be shown that the norm of the Hardy operator on Lp(
In this paper, we investigate functional limit problem for path of a Brownian sheet, Chung's functional law of the iterated logarithm for a Brownian sheet is obtained. The main tool in the proof is large deviation and small deviation for a Brownian sheet.
A generalized strongly regular graph of grade
Based on the Lie symmetry method, we derive the explicit optimal invest strategy for an investor who seeks to maximize the expected exponential (CARA) utility of the terminal wealth in a defined-contribution pension plan under a constant elasticity of variance model. We examine the point symmetries of the Hamilton-Jacobi-Bellman (HJB) equation associated with the portfolio optimization problem. The symmetries compatible with the terminal condition enable us to transform the (2+ 1)-dimensional HJB equation into a (1+ 1)-dimensional nonlinear equation which is linearized by its infinite-parameter Lie group of point transformations. Finally, the ansatz technique based on variables separation is applied to solve the linear equation and the optimal strategy is obtained. The algorithmic procedure of the Lie symmetry analysis method adopted here is quite general compared with conjectures used in the literature.
This article deals with the ruin probability in a Sparre Andersen risk process with the inter-claim times being Erlang distributed in the framework of piecewise deterministic Markov process (PDMP). We construct an exponential martingale by virtue of the extended generator of the PDMP to change the measure. Some results are derived for the ruin probabilities, such as the general expressions for ruin probability, Lundberg bounds, Cramér-Lundberg approximations, and finite-horizon ruin probability.
In this paper, we use the elementary and analytic methods to study the computational problem of one kind mean value involving the classical Dedekind sums and two-term exponential sums, and give two exact computational formulae for them.
We discuss the role of differential equations in Lie group representation theory. We use Kashiwara’s pentagon as a reference frame for the real representation theory and then report on some work arising from its p-adic analogue by Emerton, Kisin, Patel, Huyghe, Schmidt, Strauch using Berthelot’s theory of arithmetic D-modules and Schneider–Stuhler theory of sheaves on buildings.