非广义$\mathcal {H}$-张量的判定准则[英文]

给出判定非广义$\mathcal {H}$-张量的充要条件, 从理论上彻底解决了不可约非广义$\mathcal {H}$-张量的判定问题, 并给出判定不可约非广义$\mathcal {H}$-张量的具体算法. 最后, 利用数值算例表明了结果的有效性.     

无条件C的广义$\alpha \eta $}-单调性的判别标准

用$\alpha $和 $\eta $关于第一分量是仿射的且是斜对称的条件代替条件C, 得到如下结论: (1)如果一个函数的梯度是(严格)$\alpha \eta $-伪单调的,则该函数是(严格)伪$\alpha \eta $-不变凸的; (2)如果一个函数的梯度是拟$\alpha \eta $-单调的,则该函数是拟$\alpha \eta $-不变凸的.     

关于图中存在不含给定k-因子的[a,b]-因子的度条件

设$1\leq a<b, 0\leq k$是整数. 设$G$是一个含有$k$-因子$Q$且阶为$|G|$的图. 设\delta(G)$表示$G$的最小度, 且$\delta(G)\geq a+k$. 如果$Q$连通, 设$\varepsilon=k$, 否则设$\varepsilon=k+1$.证明:当$b\geq a+\varepsilon-1$时, 如果对$G$的任意两个不相邻的点$x$和$y$都有max$\{d_G(x),d_G(y)\}\geq {\rm max}\{{{a|G|} \over {a+b}},{{(|G|+(a-1)(2a+b+\varepsilon-2))} \over {b+1}}\}+k$, 那么$G$有一个$[a, b]$-因子$F$ 使得 $E(F)\cap E(Q)=\emptyset$. 这个度条件是最佳的, 条件$b\geqa+\varepsilon-1$不能去掉. 进一步,得到图存在含给定$k$-因子的$[a, b]$-因子的度条件.     

奇 $Hamiltonian$ 超代数偶部的负 $\mathbb{Z}$-齐次导子

本文主要研究了特征 $p>3$ 的域上的有限维奇 $Hamiltonian$ 李超代数 $HO$ 的偶部到广义 $Witt$李超代数 $W$ 的奇部的负$\mathbb{Z}$-齐次导子. 我们利用 $\mathcal{HO}$ 的生成元集, 通过计算导子在其生成元集上的作用的方法, 首先计算了$\mathbb{Z}$-次数为 $-1$ 的导子, 然后决定了 $\mathbb{Z}$-次数小于 $-1$ 的导子.     

$C^*$-代数上可加Jordan左$*$-导子的刻画

设$\delta$是一个$*$-代数$\mathcal A$到其左$\mathcal A$-模$\mathcal M$的可加映射, 如果对任意$A\in\mathcal A$, 有$\delta(A^2)=A\delta(A)+A^*\delta(A)$, 则称$\delta$~是一个可加Jordan左$*$-导子. 在本文中, 我们证明了复的单位$C^*$- 代数到其Banach左模的每个可加Jordan左$*$-导子都恒等于零. 设$G\in\mathcal A$, 如果对任意$A,B\in \mathcal A$, 当$AB=G$时, 有$\delta(AB)=A\delta(B)+B^*\delta(A)$, 则称$\delta$在$G$处左$*$-可导. 我们证明了复的单位$C^*$-代数到其Banach左模的在单位点处左$*$-可导的连续可加映射恒等于零.     

一个关于平面图的K-(2,1)-全可选性的结果

设图$G$的一个列表分配为映射$L: V(G)\bigcup E(G)\rightarrow2^{N}$. 如果存在函数$c$使得对任意$x\in V(G)\cup E(G)$有$c(x)\in L(x)$满足当$uv\in E(G)$时, $|c(u)-c(v)|\geq1$, 当边$e_{1}$和$e_{2}$相邻时, $|c(e_{1})-c(e_{2})|\geq1$, 当点$v$和边$e$相关联时, $|c(v)-c(e)|\geq 2$, 则称图$G$为$L$-$(p,1)$-全可标号的. 如果对于任意一个满足$|L(x)|=k,x\in V(G)\cup E(G)$的列表分配$L$来说, $G$都是$L$-$(2,1)$-全可标号的, 则称$G$是 $k$-(2,1)-全可选的. 我们称使得$G$为$k$-$(2,1)$-全可选的最小的$k$为$G$的$(2,1)$-全选择数, 记作$C_{2,1}^{T}(G)$. 本文, 我们证明了若$G$是一个$\Delta(G)\geq 11$的平面图, 则$C_{2,1}^{T}(G)\leq\Delta+4$.     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

关于环$Z_4[u]/\langle u2-2\rangle$上的斜多元循环码

本文探索了环$R=Z_4[u]/\langle u2-2\rangle$ 上的几类斜多元循环码和多元循环码. 首先得到了环$R$上$(1,2u)$-多元循环码的生成多项式. 其次由定义的Gray映射得到了环$R$上$(1,2u)$- 多元循环码的Gray像是$Z_4$上的循环码或指数为2的逆循环码. 最后, 通过环$R$上$(1,2u)$- 多元循环码的一些例子来展示本文的主要结果.     

具$w_0$-距离度量空间中$p$-逼近$\alpha$-$\eta$-$\beta$-拟压缩的最佳逼近点定理

本文提出了一类称为$p$-逼近$\alpha$-$\eta$-$\beta$-拟压缩的新的非自映射,并引进了关于$\eta$的$\alpha$-逼近可容许映射和关于$\eta$的$(\alpha,d)$正则映射的概念.基于这些新概念,在$w_0$-距离度量空间中研究了此类新压缩最佳逼近点的存在唯一性,并给出了一个新的定理,推广和补充了文[Ayari, M. I. et al. Fixed Point Theory Appl., 2017, 2017: 16]和[Ayari, M. I. et al. Fixed Point Theory Appl., 2019, 2019: 7]中的结果.给出了一个例子来说明主要结果的有效性.进一步地,作为推论得到关于两个映射的最佳逼近点和公共不动点定理.作为其中一个推论的应用,讨论了一类Volterra型积分方程组的求解问题.     

基于完备BR0-代数的全蕴涵三I算法

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

关于丢番图方程(an)x+(bn)y=(cn)z

设n,a,b,c是正整数,gcd(a,b,c)=1,a,b≥3,且丢番图方程a~x+b~y=c~z只有正整数解(x,y,z)=(1,1,1).证明了若(x,y,z)是丢番图方程(an)~x+(bn)~y=(cn)~z的正整数解且(x,y,z)≠(1,1,1),则yzz或xzy.还证明了当(a,b,c)=(3,5,8),(5,8,13),(8,13,21),(13,21,34)时,丢番图方程(an)~x+(bn)~y=(cn)~z只有正整数解(x,y,z)=(1,1,1).     

Double Biproduct Hom-Bialgebra and Related Quasitriangular Structures

Let(H, β) be a Hom-bialgebra such that β~2= id_H.(A, α_A) is a Hom-bialgebra in the left-left Hom-Yetter-Drinfeld category (_H~H)YD and(B, α_B) is a Hom-bialgebra in the right-right Hom-Yetter-Drinfeld category YD_H~H. The authors define the two-sided smash product Hom-algebra(A■H■B, α_A ? β ? α_B) and the two-sided smash coproduct Homcoalgebra(A◇H◇B, α_A ? β ? α_B). Then the necessary and sufficient conditions for(A■H■B, α_A ? β ? α_B) and(A◇H◇B, α_A ? β ? α_B) to be a Hom-bialgebra(called the double biproduct Hom-bialgebra and denoted by(A_◇~■H_◇~■B, α_A ? β ? α_B)) are derived. On the other hand, the necessary and sufficient conditions for the smash coproduct Hom-Hopf algebra(A◇H, α_A ? β) to be quasitriangular are given.     

二部图形式的Erd\H{O}s-S\'{o}s猜想

二部图形式的Erd\H{O}s-S\''{o}s猜想     

关于商高数的Je\'{s}manowicz猜想

Let(a, b, c) be a primitive Pythagorean triple. Je′smanowicz conjectured in 1956 that for any positive integer n, the Diophantine equation(an)x+(bn)y=(cn)z has only the positive integer solution(x, y, z) =(2, 2, 2). Let p ≡ 3(mod 4) be a prime and s be some positive integer. In the paper, we show that the conjecture is true when(a, b, c) =(4p2s-1, 4p s, 4p2s+ 1) and certain divisibility conditions are satisfied.     

Upper bounds for the associated number of zeros of Abelian integrals for two classes of quadratic reversible centers of genus one

In this paper, by using the method of Picard-Fuchs equation and Riccati equation, we study the upper bounds for the associated number of zeros of Abelian integrals for two classes of quadratic reversible centers of genus one under any polynomial perturbations of degree $n$, and obtain that their upper bounds are $3n-3$ ($n\geq 2$) and $18\left[\frac{n}{2}\right]+3\left[\frac{n-1}{2}\right]$ ($n\geq 4$) respectively, both of the two upper bounds linearly depend on $n$.     

Multiplicative Lattice with Maximal Condition

This paper defines multiplicative lattice. The conception of multiplicative lattice is abstracted from several lattices, which may be composed of ideals of the associative ring, ideals of the non-associative ring, or ideals of the both non-assooiatiye and non-distributive ring and which may be composed of normal subgroups of the group as well. Definition 1. The multiplicative lattice L is a lattice with following conditions: 1. L is complemented and Dedekind's, the least upper bound of L equals 1 and the greatest lower bound of L equals 0. 2. The multiplication is closed and ab\leq a \cap b, where a\cap b denotes the greatest lower bound of a and b. 3.a(b+c)=ab+ac,(b+c)=ba+bc, where b+c denotes the least upper bound of b and c. Suppose L is multiplicative lattice with maximal condition, the following theorems are proved: Theorem 1. Every element a of L has normal (right) third decomposition, that means every element is the intersection of finite number of (right) third elements, whose (right) third roots are different from each other and if $a=T_1\cap \cdots \cap T_m=T_1'\cap \cdots\cap T_n'$ are two different normal (right) third decomposition of a, then m=n and their third roots are equal correspondingly by rearranging properly Theorem 2. If A is an element of L and has property that c^2\leq A \rightarrow c\leq A, then A is the intersection of finite number of prime elements. Theorem 3. Every element of L has primary decomposition if and only if L satisfies Artin-Rees condition. Definition 2. u is called a solvable radical of the multiplicative lattice with maximal condition if u is the least upper bound, of the subset of L whose every element a? satisfies that there exists a group of positive integers n_1,\cdots,n_r such that $X^n_1,\cdots,n_r=0$. Theorem 4. u is an intersection of finite number of prime elements. Theorem 5. If L is semi-simple, i. e. $O=u=\cap\limits_{i=1}^n P_i$, and if $P_i+P_j=1(i\ne j)$ and $1\cdot 1=1$ then 1 is the direct sum in R_1,\cdots,R_n, where $R_i=P_1\cap \cdots \cap P_i-1\cap P_i+1\cap \cdots \cap P_n$     

具有BMO系数的拟线性椭圆方程解的BMO估计

We establish a global limiting case of nonlinear Calderon-Zygmund theory to quasilinear elliptic equations div A(x,Du) = div(|F|~(p-2)F) under the BMO smallness of the nonlinearity,that is |F|~(p-2)F∈BMO implies that Du ∈BMO.     

Centers for the Kukles homogeneous systems with even degree

For the polynomial differential system $\dot{x}=-y$, $\dot{y}=x +Q_n(x,y)$, where $Q_n(x,y)$ is a homogeneous polynomial of degree $n$ there are the following two conjectures done in 1999. (1) Is it true that the previous system for $n \ge 2$ has a center at the origin if and only if its vector field is symmetric about one of the coordinate axes? (2) Is it true that the origin is an isochronous center of the previous system with the exception of the linear center only if the system has even degree? We give a step forward in the direction of proving both conjectures for all $n$ even. More precisely, we prove both conjectures in the case $n = 4$ and for $n\ge 6$ even under the assumption that if the system has a center or an isochronous center at the origin, then it is symmetric with respect to one of the coordinate axes, or it has a local analytic first integral which is continuous in the parameters of the system in a neighborhood of zero in the parameters space. The case of $n$ odd was studied in [8].     

Infinitely many low- and high-energy solutions for a class of elliptic equations with variable exponent

This paper is concerned with the $p(x)$-Laplacian equation of the form $$ \left\{\begin{array}{ll} -\Delta_{p(x)} u=Q(x)|u|^{r(x)-2}u, &\mbox{in}\ \Omega,\u=0, &\mbox{on}\ \partial \Omega, \end{array}\right. \eqno{0.1} $$ where $\Omega\subset\R^N$ is a smooth bounded domain, $1p^+$ and $Q: \overline{\Omega}\to\R$ is a nonnegative continuous function. We prove that (0.1) has infinitely many small solutions and infinitely many large solutions by using the Clark''s theorem and the symmetric mountain pass lemma.