Heisenberg群上与Schr\"odinger算子相关的Poisson半群的分数阶导数估计

令$\mathcal{L}=-{\Delta}_{\mathbb{H}^{n}}+V$为Heisenberg群$\mathbb{H}^{n}$上的Schr\"odinger算子, 其中${\Delta}_{\mathbb{H}^{n}}$为次Laplace算子, 非负位势$V$属于逆H\"{o}lder类. 本文中, 利用从属性公式, 我们给出与$\mathcal{L}$相关的Poisson半群的分数阶导数的正则性估计, 作为应用, 我们得到了与$\mathcal{L}$相关的Campanato型空间的一个刻画.     

一列连续函数的遍历优化

设$T:X\rightarrow X$是紧度量空间$X$上的连续映射, $\mathcal{F}=\{f_n\}_{n\geq 1}$是$X$上的一族连续函数. 如果 $\mathcal{F}$是渐近次可加的, 那么$\sup\limits_{x\in \mathrm{Reg}(\mathcal{F},T)}\lim\limits_{n\rightarrow\infty}\frac 1 n f_n (x)=\sup\limits_{x\in X} \limsup\limits_{n\rightarrow\infty}\frac 1 n f_n (x) =\lim\limits_{n\rightarrow\infty}\frac 1 n \max\limits_{x\in X}f_n (x)=\sup\{\mathcal{F}^*(\mu):\mu\in\mathcal{M}_T\}$, 其中$\mathcal{M}_T$表示$T$-\!\!不变的Borel概率测度空间, $\mathrm{Reg}(\mathcal{F},T)$ 表示函数族$\mathcal{F}$的正规点集, $\mathcal{F}^*(\mu)=\lim\limits_{n\rightarrow\infty}\frac 1 n \int f_n \mathrm{d}\mu$. 这把Jenkinson, Schreiber 和 Sturman 等人的一些结果推广到渐近次可加势函数, 并且给出了次可加势函数从属原理成立的充分条件, 最后给出了 一些相关的应用.     

$k$-广义拟树的第一个leap Zagreb 指标

图$G$的第一个leap Zagreb指标定义如下: $LM_1(G)=\sum_(v\in v(G)}d_2(v/G)^2$, 其中$d_2(v/G)$是离点$v$的距离为2的顶点. 令$\mathcal{QT}^{(k)}(n)$是有$n$个顶点的$k$-广义拟树的集合.若$G\in \mathcal{QT}^{(k)}(n)$, 本文给出了图$G$的第一个leap Zagreb指标的范围.     

单圈图和双圈图的最大无符号拉普拉斯分离度

设G是一个n阶简单图,q_{1}(G)\geq q_{2}(G)\geq \cdots \geq q_{n}(G)是其无符号拉普拉斯特征值. 图G的无符号拉普拉斯分离度定义为S_{Q}(G)=q_{1}(G)-q_{2}(G). 确定了n阶单圈图和双圈图的最大的无符号拉普拉斯分离度,并分别刻画了相应的极图.     

三角Banach代数的Lie弱顺从性

设$\mathcal {A,\ B}$ 是含单位元的Banach代数, $\mathcal M$ 是一个Banach $\mathcal {A,\ B}$-双模. $\mathcal {T}=\left ( \begin{array}{cc} \mathcal {A} & \mathcal M \\ & \mathcal {B} \\ \end{array} \right )$按照通常矩阵加法和乘法,范数定义为$\|\left( \begin{array}{cc} a & m \\ & b\\ \end{array} \right)\|=\|a\|_{\mathcal A}+\|m\|_{\mathcal M}+\|b\|_{\mathcal B}$,构成三角Banach 代数.如果从$\mathcal T$到其$n$次对偶空间$\mathcal T^{n}$上的Lie导子都是标准的,则称$\mathcal T$是Lie $n$弱顺从的.本文研究了三角Banach代数$\mathcal T$上的Lie $n$弱顺从性,证明了有限维套代数是Lie $n$弱顺从的.     

强连通双圈有向图的无符号拉普拉斯谱刻画

设$\overrightarrow{G}$ 是一个强连通双圈有向图, $A(\overrightarrow{G})$是其邻接矩阵.设$D(\overrightarrow{G})$ 是$\overrightarrow{G}$的顶点出度的对角矩阵, $Q(\overrightarrow{G})=D(\overrightarrow{G})+A(\overrightarrow{G})$是$\overrightarrow{G}$ 的无符号拉普拉斯矩阵. $Q(\overrightarrow{G})$的谱半径称为$\overrightarrow{G}$的无符号拉普拉斯谱半径.在这篇文章中, 确定了在所有强连通双圈有向图中达到最大或最小无符号拉普拉斯谱半径的唯一有向图. 此外,还证明了任意一个强连通双圈有向图是由它的无符号拉普拉斯谱所确定的.     

关于数论函数$\sigma(n)$的一个注记

对于两个不相同的正整数$m$和$n$, 如果满足$\sigma(m)=\sigma(n)=m+n$, 则称之为一对亲和数, 这里$\sigma(n)=\sum_{d|n}d$.本文给出了$f(x,y)=x^{2^{x}}+y^{2^{x}}(x>y\geq{1},(x,y)=1)$不与任何正整数构成亲和数对的结论, 这里$x$,$y$具有不同的奇偶性, 即, 关于$z$的方程$\sigma(f(x,y))=\sigma(z)=f(x,y)+z$不存在正整数解.     

SOME SIMPLE GROUPS OF LIE TYPE CONSTRUCTED BY THE INNER-AUTOMORPHISM

当\[L \cong {C_l}\]，l为偶数，且l≥4,域\[\mathcal{H}\]=\[{\mathcal{H}_0}(\sqrt { - 1} )\]，其中\[{\mathcal{H}_0}\]为一有序域（或\[{\mathcal{H}_0}\]满足： а)\[\sqrt { - 1} \notin {\mathcal{H}_0},{(\sqrt { - 1} )^2} = - 1\]; b)\[ch{\mathcal{H}_0} > 3\]; c)若\[a,b \in {\mathcal{H}_0}\]，则 \[{a^2} + {b^2} \ne - 1\]，设Ф和 \[\prod :\{ {\alpha _1},{\alpha _2},...,{\alpha _l}\} \]，\[{\alpha _l}\]为长根分别为L的一组根系和素根系.令\[\{ {h_r},r \in \prod ,{e_r}r \in \Phi \} \]为L的一组Chevalley基;\[G = L({\cal H})\]为对于这一组Chevalley基在域\[{\cal H}\]上的L型 Chevalley群,令\[{w_0} = {w_{{\alpha _1}}}{w_{{\alpha _2}}}...{w_{{\alpha _{l - 1}}}}\]，其中\[{\alpha _i} \in \prod \]且为对于垂直于\[{\alpha _i}\]的平面的反射，显然\[{w_0}\]为L的Weyl群中的元素.设N为G的单项子群，\[{n_0} \in N\]，\[{n_0}\]的自然同态 像为 \[{w_0}\]，且\[{n_0}^2{\rm{ = }}I\]，存在域\[{\cal H}\]的自同构f:f(a)=a,\[a \in {{\cal H}_0}\] , \[{\rm{f(}}\sqrt { - 1} {\rm{) = }} - \sqrt { - 1} \],f在G中的扩充为G的一个域自同构(仍记为f)，且令U(V)为G对于正(负)根生 成的么幂子群，令\[{U^1}\{ u \in U|{n_0}f(u){n_0}^{ - 1} = u\} \];\[{V^1}\{ v \in V|{n_0}f(v){n_0}^{ - 1} = v\} \], 本文证明了 \[{}^2{C_l}({\cal H}) = < {U^1},{V^1} > \]为一单群.     

图$(\bigcup\limits_{i{\in}A}P_i){\bigcup}(\bigcup\limits_{j{\in}B}U_j)$伴随唯一的充要条件

设$h(G; x) =h(G)$和$[G]_h$分别表示图$G$的伴随多项式和伴随等价类. 文中给出了$[G]_h$的一个新应用. 利用$[G]_h$, 给出了图$H{\;}(H \cong G)$伴随唯一的充要条件, 其中$H=(\bigcup_{i{\in}A}P_i){\bigcup}(\bigcup_{j{\in}B}U_j)$, $A \subseteq A^{'}=\{1,2,3,5\} \bigcup \{2n|n \in N, n \geq 3\}$, $B \subseteq B^{'}     

DMk OPERATORS AND SPECTRAL OPERATORS

1谱位于平面上的有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子 记号与[1,2]相同，不再一一赘述.设序列 {Mk}满足（M.1)，(M.2)，(M.3)即.对数凸性、非拟解析性、可微性[1]. 由{M（k）}我们可以 定义二元相关函数\[M({t_1},{t_2})\](详见[7])以及二元\[{\mathcal{D}_{ < {M_k} > }}\]空间 \[{\mathcal{D}_{ < {M_k} > }} = \{ \varphi |\varphi \in \mathcal{D};\exists \nu ,st{\left\| \varphi \right\|_\nu } = \mathop {\sup }\limits_\begin{subarray}{l} s \in {R^2} \\ {k_i} \geqslant 0 \\ (i = 1,2) \end{subarray} |\frac{{{\partial ^{{k_1} + {k_2}}}}}{{{\partial ^{{k_1}}}{s_1}\partial _{{s_2}}^{{k_2}}}}\varphi (s)|/{\nu ^k}{M_k} < + \infty \} \] 其中\[s = ({s_1},{s_2})k = {k_1} + {k_2}\].关于谱位于复平面上的有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子的定义及性质可 参看[3,4].设X为Banach空间，B(X)为X上有界线性算子的全体组成的环.当 \[T \in B(X)\]为\[{\mathcal{D}_{ < {M_k} > }}\]型算子时，有\[T = {T_1} + i{T_2};{T_1} = {U_{Ret}}{T_2}{\text{ = }}{U_{\operatorname{Im} {\kern 1pt} t}}\] ,此处U为T的谱超广义函数，t为复变量.由于supp(U)为紧集，故可将U延拓到\[{\varepsilon _{ < {M_k} > }}\]上且保持连续性. 经过简单的计算，若\[T \in B(X)\]为谱位于平面上的一个\[{\mathcal{D}_{ < {M_k} > }}\]型算子，则T的一个谱 超广义函数（1）U可表成 \[{U_\varphi } = \int_{ - \infty }^{ + \infty } {\int_{ - \infty }^{ + \infty } {{e^{i({t_1}{T_1} + {t_2}{T_2})}}\hat \varphi } } ({t_1},{t_2})d{t_1}d{t_2}\] 设\[T \in B(X)\]为谱算子，S、N、E（.)分别为T的标量部分、根部、谱测度.下面的定理给出了谱算子成为\[{\mathcal{D}_{ < {M_k} > }}\]型算子的一个充分条件： 定理1设T为谱算子适合下面的条件 \[\mathop {\sup }\limits_{k > 0} \mathop {\sup }\limits_\begin{subarray}{l} |{\mu _j}| < 1 \\ {\delta _j} \in \mathcal{B} \\ j = 1,2,...,k \end{subarray} {(\left\| {\frac{{{N^n}}}{{n!}}\sum\limits_{j = 1}^k {{\mu _j}E({\delta _j})} } \right\|{M_n})^{\frac{1}{n}}} \to 0(n \to \infty )\] 其中\[\mathcal{B}\]为平面本的Borel集类.则T为\[{\mathcal{D}_{ < {M_k} > }}\]型算子且它的一个谱广义函数可表为 \[{U_\varphi } = \sum\limits_{n = 0}^\infty {\frac{{{N^n}}}{{n!}}} \int {{\partial ^n}} \varphi (s)dE(s)\] 推论1设E（?），N满足 \[{(\frac{{{M_n}}}{{n!}} \vee ({N^n}E))^{\frac{1}{n}}} \to 0\] 则T为\[{\mathcal{D}_{ < {M_k} > }}\]型算子. 推论2设N为广义幂零算子，则对于任何与N可换的标量算子S,S+N为\[{\mathcal{D}_{ < {M_k} > }}\]型算子的充分必要条件是 \[{(\frac{{\left\| {{N^n}} \right\|}}{{n!}}{M_n})^{\frac{1}{n}}} \to 0{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} (n \to \infty )\] 在[4]中称满足上式的算子为\[\{ {M_k}\} \]广义幂零算子.显然\[\{ {M_k}\} \]广义幂零算子必为通 常的广义幂零算子.下面的命题给出了\[\{ {M_k}\} \] 广义幂零算子的一些性质. 命题 设N为广义幂零算子，则下列事实等价： (i ) N为\[\{ {M_k}\} \]广义幂零算子； (ii)对于任给的\[\lambda > 0\],存在\[{B_\lambda } > 0\]使(1) \[\left\| {R(\xi ,N)} \right\| \leqslant {B_\lambda }{e^{{M^*}(\frac{\lambda }{{|\xi |}})}}\](\[{|\xi |}\]充分小)； (iii)对于任给的\[\mu > 0\],存在\[{A_\mu } > 0\]使 \[\left\| {{e^{izN}}} \right\| \leqslant {A_\mu }{e^{M(\mu |z|)}}\] 2谱位于实轴上的有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子本节讨论有界\[{\mathcal{D}_{ < {M_k} > }}\]型算子T成为谱算子 的条件，这里假定\[{\mathcal{D}_{ < {M_k} > }}\]中的函数是一元的，于是Т的谱位于实轴上.X^*表示X的共轭 空间. 设\[f \in {\mathcal{D}^'}_{ < {M_k} > }\]，由[8, 9]，存在测度\[{\mu _n}(n \geqslant 0)\]使得对任何h>0,存在A>0适合 \[\sum\limits_{n = 0}^\infty {\frac{{{h^n}}}{{n!}}} {M_n}\int {|d{\mu _n}| \leqslant A} \]且 \[ < f,\varphi > = \sum\limits_{n = 0}^\infty {\frac{1}{{n!}}} \int {{\varphi ^{(n)}}} (t)d{\mu _n}(t)\] 一般说，上述\[{\mu _n}(n \geqslant 0)\]不是唯一的，为此我们引入 定义设\[{n_0}\]为正整，如果对一切\[n \geqslant {n_0}\]，存在测度\[{{\mu _n}}\]，它们的支集均包含在某一L 零测度闭集内，则称f是\[{n_0}\]奇异的，若\[{n_0}\] = 1，则称f是奇异的.设\[T \in B(X)\]为\[{\mathcal{D}_{ < {M_k} > }}\]型 算子，U为其谱超广义函数，如果对于任何\[x \in X{x^*} \in {X^*},{x^*}U\].x是\[{n_0}\]奇异的（奇异 的)，则称T是\[{n_0}\]奇异的(奇异的）\[{\mathcal{D}_{ < {M_k} > }}\]型算子. 经过若干准备，可以证明下面的 定理2 设X为自反的Banach空间，则\[T \in B(X)\]为奇异\[{\mathcal{D}_{ < {M_k} > }}\]型算子的充分必要 条件是T为满足下列条件的谱算子： (i)对每个\[x \in X\]及\[{x^*} \in X\]，\[\sup p({x^*}{N^n}E()x)\]包含在一个与\[n \geqslant 1\]无关的L零测 度闭集F内(F可以依赖于\[x{x^*}\])，此处E(?)、N分别是T的谱测度与根部； (ii)算子N是\[\{ {M_k}\} \]广义幂零算子. 推论 设X为自反的banach空间，\[T \in B(X)\]为奇异\[{\mathcal{D}_{ < {M_k} > }}\]型算子且\[\sigma (T)\]的测度 为零的充分必要条件是T为满足下列条件的谱算子： (i) E(?）的支集为L零测度集； (ii) 算子N是\[\{ {M_k}\} \]广义幂零算子.；     

定向图的斜Randic能量

图G是一个简单无向图,G~σ是图G在定向σ下的定向图,G被称作G~σ的基础图.定向图G~σ的斜Randi6矩阵是实对称n×n矩阵R_s(G~σ)=[(r_s)_(ij)].如果(v_i,v_j)是G~σ的弧,那么(r_s)_(ij)=(d_id_j)~(-1/2)且(r_s)_(ji)=(d_id_j)~(-1/2),否则(r_s)_(ij)=(r_s)_(ji)=0.定向图G~σ的斜Randi能量RE_s(G~σ)是指R_s(G~σ)的所有特征值的绝对值的和.首先刻画了定向图G~σ的斜Randi矩阵R_s(G~σ)的特征多项式的系数.然后给出了定向图G~σ的斜Randi能量RE_s(G~σ)的积分表达式.之后给出了RE_s(G~σ)的上界.最后计算了定向圈的斜Randi能量RE_s(G~σ).     

单圈图的极小能量

For a simple graph G, the energy E(G) is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Let Undenote the set of all connected unicyclic graphs with order n, and Ur n= {G ∈ Un| d(x) = r for any vertex x ∈ V(Cl)}, where r ≥ 2 and Cl is the unique cycle in G. Every unicyclic graph in Ur nis said to be a cycle-r-regular graph.In this paper, we completely characterize that C39(2, 2, 2) ο Sn-8is the unique graph having minimal energy in U4 n. Moreover, the graph with minimal energy is uniquely determined in Ur nfor r = 3, 4.     

关于三圈图的拉普拉斯谱半径的一些结果

边数等于点数加二的连通图称为三圈图.~设 ~$\Delta(G)$~和~$\mu(G)$~
分别表示图~$G$~的最大度和其拉普拉斯谱半径,设${\mathcal
T}(n)$~表示所有~$n$~阶三圈图的集合,证明了对于~${\mathcal
T}(n)$~的两个图~$H_{1}$~和~$H_{2}$~,~若~$\Delta(H_{1})>
\Delta(H_{2})$ ~且 ~$\Delta(H_{1})\geq \frac{n+7}{2}$,~则~$\mu
(H_{1})> \mu (H_{2}).$ 作为该结论的应用,~确定了~${\mathcal
T}(n)(n\geq9)$~中图的第七大至第十九大的拉普拉斯谱半径及其相应的极图.     

图的无符号拉普拉斯和距离无符号拉普拉斯特征值

Let G be a simple graph. We first show that ■, where δiand di denote the i-th signless Laplacian eigenvalue and the i-th degree of vertex in G, respectively.Suppose G is a simple and connected graph, then some inequalities on the distance signless Laplacian eigenvalues are obtained by deleting some vertices and some edges from G. In addition, for the distance signless Laplacian spectral radius ρQ(G), we determine the extremal graphs with the minimum ρQ(G) among the trees with given diameter, the unicyclic and bicyclic graphs with given girth, respectively.     

阶极小渐近基

Let N denote the set of all nonnegative integers and A be a subset of N.Let W be a nonempty subset of N.Denote by F~*(W) the set of all finite,nonempty subsets of W.Fix integer g≥2,let A_g(W) be the set of all numbers of the form sum f∈Fa_fg~f where F∈F~*(W)and 1≤a_f≤g-1.For i=0,1,2,3,let W_i = {n∈N|n≡ i(mod 4)}.In this paper,we show that the set A = U_i~3=0 A_g(W_i) is a minimal asymptotic basis of order four.     

单位方体上沿曲面的振荡积分在Sobolev空间上的有界性

研究了欧氏空间R~2中单位方体Q~2=[0,1]~2上沿曲面(t,s,γ(t,s))的振荡奇异积分算子T_(α,β)f(u,v,x)=∫_(Q~2)f(u-t,v-s,x-γ(t,s))e~(it~(-β_1)s~(-β_2))t~(-1-α_1)s~(-1-α_2)dtds从Sobolev空间L_τ~p(R~(2+n))到L~p(R~(2+n))中的有界性,其中x∈R~n,(u,v)∈R~2,(t,s,γ(t,s))=(t,s,t~(P_1)s~(q_1),t~(p_2)s~(q_2),…,t~(p_n)s~(q_n))为R~(2+n)上一个曲面,且β_1α_1≥0,β_2α_20.这些结果推广和改进了R~3上的某些已知的结果.作为应用,得到了乘积空间上粗糖核奇异积分算子的Sobolev有界性.     

关于图的符号边全控制数

Let G = （V,E） be a graph.A function f ： E → {-1,1} is said to be a signed edge total dominating function （SETDF） of G if e ∈N（e） f（e ） ≥ 1 holds for every edge e ∈ E（G）.The signed edge total domination number γ st （G） of G is defined as γ st （G） = min{ e∈E（G） f（e）｜f is an SETDF of G}.In this paper we obtain some new lower bounds of γ st （G）.     

增益图与其底图的正惯性指数之间的关系

设$\mathbb{T}$是模为1的复数乘法子群.图$G=(V,E)$,这里$V,E$分别表示图的点和边.增益图是将底图中的每条边赋于$\mathbb{T}$中的某个数值$\varphi(v_iv_j)$,且满足$\varphi(v_iv_j) =\overline{\varphi(v_jv_i)}$.将赋值以后的增益图表示为$(G,\varphi)$.设$i_+(G,\varphi)$和$i_+(G)$分别表示增益图与底图的正惯性指数,本文证明了如下结论: $$ - c( G ) \le {i_ + } ( {G,\varphi } ) - {i_ + }( G ) \le c( G ), $$ 这里$c(G)$表示圈空间维数,并且刻画了等号成立时候的所有极图.     

树和单圈图的斜谱矩

给定图$G$,对图$G$的每条边确定一个方向,称为$G$的定向图$G^\sigma$, $G$称为$G^\sigma$的基础图. $G^\sigma$的斜邻接矩阵$S(G^\sigma)$是反对称矩阵,其特征值是0或纯虚数. $S(G^\sigma)$所有特征值的$k$次幂之和称为$G^\sigma$的$k$阶斜谱矩,其中$k$是非负整数.斜谱矩序列可用于对图进行排序.本文主要研究定向树和定向单圈图的斜谱矩,并对这两类图的斜谱矩序列依照字典序进行排序.首先确定了直径为$d$的树作为基础图的所有定向树中,斜谱矩序最大的$2\lfloor\frac{d}{4}\rfloor$个图; 然后确定以围长为$g$的单圈图作为基础图的所有定向单圈图中, 斜谱矩序最大的$2\lfloor\frac{g}{4}\rfloor+1$个图.