一个六点七边图的填充与覆盖

$\lambda{K_v}$为$\lambda$重$v$点完全图, $G$ 为有限简单图. $\lambda {K_v}$ 的一个 $G$-设计 ( $G$-填充设计, $G$-覆盖设计), 记为 ($v,G,\lambda$)-$GD$(($v,G,\lambda$)-$PD$, ($v,G,\lambda$)-$CD$), 是指一个序偶($X,\calB$)，其中 $X$ 为 ${K_v}$ 的顶点集， $\cal B$ 为 ${K_v}$ 中同构于 $G$的子图的集合, 称为区组集,使得 ${K_v     

关于Hutton定理的一个注

本文证明了存在一个一一对应$\varphi: {\cal J}\cup{\cal J}'\longrightarrow\delta\cup\delta'$,它满足: \ \ (1) $\varphi|{\cal J}: ({\cal J},\subset)\longrightarrow(\delta,\leq)$是frame同构. \ \ (2) $\varphi|{\cal J}': ({\cal J}',\subset)\longrightarrow(\delta',\leq)$是coframe同构.     

ON THE CHARACTERISTIC FUNCTION OF SEMI-HYPONORMAL OPERATOR

本文继[3]之后，研究拟亚正常算子和半亚正常算子的特征函数.设\[A = U|A{|_r}\]是\[H{\kern 1pt} {\kern 1pt} \] 上拟亚正常算子，\[U\]是酉算子，\[B = |A{|_ + } - |A{|_ - }\],作算子\[A\]的特征函数\[W(\lambda ,A) = I - {B^{\frac{1}{2}}}{(\lambda I - {A_ - })^{ - 1}}U{B^{\frac{1}{2}}}\] 定理1 设\[A = U|A{|_r}\]及\[{A^'} = {U^'}|{A^'}{|_r}\]为\[\varphi - \]拟亚正常算子而且都是简单的.又设 \[U\]与\[{U^'}|\]是酉算子.如果有酉算\[T\]将\[H\]映照成\[{H^'}\]而且\[|{A^'}{|_ \pm } = T|A{|_ \pm }{T^{ - 1}}\]，\[{U^'} = TU{T^{ - 1}}\]那末必有\[{\cal B}(A)\]到\[{\cal B}({A^'}){\kern 1pt} \]上的酉算子\[S{\kern 1pt} {\kern 1pt} \]使当\[\lambda \notin \sigma ({A_ - }) = \sigma (A_ - ^')\]时\[W(\lambda ,{A^'}) = SW(\lambda ,A){S^{ - 1}}\]反之亦真. 下面设\[A\]是半亚正常的.又设\[{\cal D}\]为一辅助的希尔伯特空间，\[K\]为\[{\cal D}\]到\[{\kern 1pt} H\]中的线 性算子使\[Q = |A{|_{\rm{r}}} - |A{|_l} = K{K^*}{\kern 1pt} {\kern 1pt} \]，当\[\lambda \in \rho (A)\]，\[|Z| \ne 1\]时作 \[Y(z,\lambda ) = I - {\kern 1pt} {\kern 1pt} z{K^*}{(I - z{U^*})^{ - 1}}{(A - \lambda I)^{ - 1}}K\] 定理2设\[A = U|A{|_r}{\kern 1pt} {\kern 1pt} {\kern 1pt} \]及\[{A^'} = {U^'}|{A^'}{|_r}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \]分别是\[H\]与\[{H^'}{\kern 1pt} {\kern 1pt} {\kern 1pt} \]中的半亚正常算子，\[U\]与 \[{U^'}\]是酉算子而且\[A\]与\[{A^'}\]都是简单的.如果存在\[{\cal D} \to {{\cal D}^'}{\kern 1pt} \]上的酉算子\[S\]使 \[{Y^'}(z,\lambda ) = SY(z,\lambda ){S^{ - 1}}\] 那末必有由\[H\]到\[{H^'}{\kern 1pt} {\kern 1pt} {\kern 1pt} \]上的酉算子\[T\]使(1)成立，反之亦真. 定理3 若\[K\]是希尔伯特-许密特算子则\[Y(z,\lambda )\]的行列式（当\[|Z| \ne 1\]时）存在， 且\[\det (Y(z,\lambda )) = \det ((I - z{U^*})(A - \lambda I){(I - z{U^*})^{ - 1}}{(A - \lambda I)^{ - 1}})\] 下面只考虑奇型积分模型这时\[W(\lambda ,A)\]成为乘法算子，\[(W(\lambda ,A)f)({e^{i\theta }}) = W({e^{i\theta }},\lambda )f({e^{i\theta }})\]其中\[W({e^{i\theta }},\lambda ) = I - \alpha ({e^{i\theta }}){(\lambda {e^{i\theta }}I - \beta ({e^{i\theta }}))^{ - 1}}\alpha ({e^{i\theta }})\] 我们又假设\[A\]是完全非正常的.记\[{Y_ \pm }({e^{i\theta }},\lambda )a = \mathop {\lim }\limits_{r \to 1 \pm 0} Y({e^{i\theta }},\lambda )a\] 定理4设\[\lambda \in \rho (A){\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \]，\[a \in {\cal D}{\kern 1pt} {\kern 1pt} {\kern 1pt} \]为固定的，那末\[{Y_ \pm }({e^{i\theta }},\lambda )a\]为黎曼-希尔伯特问题 \[{Y_ - }({e^{i\theta }},\lambda )a = W({e^{i\theta }},\lambda ){Y_ + }({e^{i\theta }},\lambda )a\] 的解. 设\[{\cal L}({\cal D}{\kern 1pt} {\kern 1pt} {\kern 1pt} ){\kern 1pt} {\kern 1pt} {\kern 1pt} \]为\[{\cal D}{\kern 1pt} {\kern 1pt} {\kern 1pt} \]上线性有界算子全体所成的Banach空间，\[H_ \pm ^p({\cal L}{\kern 1pt} ({\cal D}{\kern 1pt} {\kern 1pt} ){\kern 1pt} {\kern 1pt} ){\kern 1pt} {\kern 1pt} \]为单位圆 外，内取值于\[{\cal L}({\cal D}{\kern 1pt} {\kern 1pt} {\kern 1pt} ){\kern 1pt} \]的某些解析函数所成的Hardy空间.设\[f({e^{i\theta }})\]是单位圆周上的函 数，如果有\[{u_ \pm } \in H_ \pm ^p({\cal L}{\kern 1pt} ({\cal D}{\kern 1pt} {\kern 1pt} ){\kern 1pt} {\kern 1pt} ){\kern 1pt} {\kern 1pt} (p > 2)\]使\[u_ - ^{ - 1}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \]存在\[{u_ - }{\kern 1pt} {\kern 1pt} {\kern 1pt} {({e^{i\theta }})^{ - 1}}{u_ + }{\kern 1pt} ({e^{i\theta }}) = f({e^{i\theta }})\]则称\[f\]是可分解的.     

组型为$2^u$的Kite-可分组设计的相交数问题

Kite-可分组设计的相交数问题是确定所有可能的元素对$(T,s)$, 使得存在一对具有相同组型 $T$ 的Kite-可分组设计 $(X,{\cal H},{\cal B}_1)$ 和$(X,{\cal H},{\cal B}_2)$ 满足$|{\cal B}_1\cap {\cal B}_2|=s$. 本文研究组型为 $2^u$ 的Kite-可分组设计的相交数问题, 设 $J(u)=\{s:\exists$ 组型为 $2^u$ 的Kite-可分组设计相交于$s$ 个区组\}, $I(u)=\{0,1,\ldots,b_{u}-2,b_{u}\}$,其中 $b_u=u(u-1)/2$ 是组型为$2^u$ 的Kite-可分组设计的区组个数. 我们将给出对任意整数 $u\ge 4$ 都有$J(u)=I(u)$ 且 $J(3)= \{0,3\}$.     

低于临界增长 p -调和型方程组的完全正则性

当p≥ 2时,得到一类低于临界增长的退化椭圆型方程组弱解微商属于局部Morrey-Campanauo空间$L^{ p,\lambda}$和${\cal L}^{p, \gamma}$;在附加条件下,进一步建立其弱解微商的局部H\"older连续性.     

广义线性回归极大似然估计的强相合性

设有该文第1节所描述的广义线性回归模型,以$\underline{\lambda}_n$和$\overline{\lambda}_n$分别记$\sum\limits_{i=1}^{n}Z_iZ_i^{\prime}$的最小和最大特征根,$\hat{\beta}_n$记$\beta_0$的极大似然估计.在文献[1]中,当\{$Z_i,i\ge1$\}有界时得到$\hat{\beta}_n$强相合的充分条件,在自然联系和非自然联系下分别为$\underline{\lambda}_n\rightarrow\infty$, $(\overline{\lambda}_n)^{1/2+\delta}=O(\underline{\lambda}_n)$（对某$\delta>0$)以及$\underline{\lambda}_n\rightarrow\infty$, $\overline{\lambda}_n=O(\underline{\lambda}_n)$.作者将后一结果改进为只要求$(\overline{\lambda}_n)^{1/2+\delta}=O(\underline{\lambda}_n)$,从而与自然联系情况下的条件达到一致.     

旗传递点本原且基柱为${\rm PSL}_n(q)$的$(v,k,4)$-对称设计

若$\cal D$为一个非平凡旗传递点本原对称$(v,k,4)$设计, 其基柱为${\rm PSL}_n(q)$且$G\leq {\rm Aut}(\cal D)$. 那么, $\cal D$ 必为$2$-$(15,8,4)$设计且${\rm Soc}(G)={\rm PSL}_2(9)$.     

Hom-$\omega$-smash 积Hopf 代数的拟三角结构

设 $(A,\alpha)$和$(H,\beta)$ 是 Hom-\!\!双代数, $\omega:H\otimes A\rightarrow A\otimes H$ 是线性映射, 定义了 Hom-$\omega$-smash 积$(A\sharp_{\omega} H,\gamma)$,并给出了 $(A\bowtie_{\omega}H,\gamma)$ 是 Hom-bialgebra 的充要条件. 最后,研究了$(A\bowtie_{\omega} H,\gamma)$上的拟三角结构, 并给出了它是拟 三角 Hom-Hopf 代数的充要条件.     

连续函数之集在上半连续函数之集中的一种拓扑位置

设$(X,\rho)$是一个度量空间. 用$\dd {\rm USCC}(X)$和$\dd {\rm CC}(X)$ 分别表示从$X$ 到 $\I=[0,1]$的紧支撑的上半连续函数和紧支撑的连续函数下方图形全体. 赋予 Hausdorff 度量后, 它们是拓扑空间. 文中证明了, 如果 $X$ 是一个无限的且孤立点集稠密的紧度量空间, 则 $(\dd {\rm USCC}(X),\dd {\rm CC}(X))\approx(Q,c_0\cup (Q\setminus \Sigma))$, 即存在一个同胚 $h:~\dd {\rm USCC}(X)\to Q$, 使得 $h(\dd {\rm CC}(X))=c_0\cup (Q\setminus \Sigma)$, 这里 $Q=[-1,1]^{\omega},\,\Sigma=\{(x_n)_{n}\in Q: {\rm sup}|x_n|<1\},\, c_0=\Big\{(x_n)_{n}\in \Sigma: \lim\limits_{n\to +\infty}x_n=0\Big\}.$ 结合这个论断和另一篇文章的结果, 可以得到: 如果 $X$ 是一个无限的紧度量空间, 则 $(\uscc(X), \cc(X))\approx \left\{ \begin{array}{ll} (Q,c_0\cup (Q\setminus \Sigma)), &;\quad \text{如 果 孤 立 点 集 在} X \text{中稠密},\\ (Q, c_0), &;\quad \text{ 其他}. \end{array} \right.$ 还证明了, 对一个度量空间$X$, $(\dd {\rm USCC}(X),\dd {\rm CC}(X))\approx (\Sigma,c_0)$ 当且仅当 $X$是一个非紧的、局部紧的、非离散的可分空间.     

UNBOUNDED SELF-ADJOINT OPERATOR ΠK SPACE

如果A是Πsubsub空间上的自共轭算子，由文[1]可知存在空间昨一个标准分解 \[{\Pi _k} = N \oplus \{ Z + {Z^*}\} \oplus P\] 在此分解下，A有三角模型\[A = \{ S,{A_N},{A_p},F,G,Q\} \].利用三角模型，我们直接证明了 定理1设A是\[{\Pi _k}\]上的-共轭算子，n是任何自然数，那末\[{A^n}\]也是自共轭算子. 定理2设A是\[{A^n}\]上的自共轭算子，那末对所有的\[{A^n}(n = 1,2,...)\]，存在一个公共 的标准分解，在此分解下 \[\begin{gathered} {A^n} = \{ {S^n},A_N^n,A_P^n,\sum\limits_{i = 0}^{n - 1} {{S^i}} FA_N^{n - 1 - i},\sum\limits_{i = 0}^{n - 1} {{S^i}GA_P^{n - 1 - i}} , \hfill \ \sum\limits_{i = 0}^{n - 1} {{S^i}} Q{S^{*n - 1 - i}} - \sum\limits_{i + j + k = n - 2} {{S^i}(FA_N^j{F^*} + GA_P^j{G^*}){S^{*k}}} \} \hfill \\ \end{gathered} \] 定理3 设A是瓜空间上的自共轭算子，\[\sigma (A) \subset [0,\infty ),0 \notin {\sigma _P}(A),\]，那末存在唯 一的自共轭算子A1，满足\[A_1^n = A,\sigma ({A_1}) \subset [0,\infty )\] 其次，我们研究了谱系在临界点附近的性状.记临界点全体为\[C(A)\]).对 \[{\lambda _0} \in C(A)\]记S与入0相应的最高阶根向量的阶数为\[r({\lambda _0})\] 定理4设A是\[{\Pi _k}\]空间上的无界自共轭算子，\[C(A) \cap ({\mu _1},{\nu _1}) = \{ {\lambda _0}\} \],那末以下四 个命题等价： (i）\[\mathop {sup}\limits_{\mu ,\nu } \{ \left\| {{E_{\mu \nu }}} \right\||{\lambda _0} \in (\mu ,\nu ) \subset ({\mu _1},{\nu _1})\} < \infty \] (ii）\[{\mu ^{{\text{1}}}}...,{\mu ^{{{\text{k}}_{\text{0}}}}}\]是全有限的测度； （iii）\[s - \lim {\kern 1pt} {\kern 1pt} {\kern 1pt} {E_{\mu \nu }}\]存在； （iv)A与\[{\lambda _0}\]相应的根子空间\[{\Phi _{{\lambda _0}}}\]非退化；这里\[{\mu ^{{\text{1}}}}...,{\mu ^{{{\text{k}}_{\text{0}}}}}\]是由\[{A_P}\]与G导出的测度. 定通5 设A是\[{\Pi _k}\]上自共轭算子，\[{\lambda _0} \in C(A),r({\lambda _0}) = n\]，那么 （i）\[{E_{\mu \nu }}\]在\[{{\lambda _0}}\]处的奇性次数不超过2n， （ii）\[s - \mathop {\lim }\limits_{\varepsilon \to 0} \int_{[{M_1},{\lambda _0} - \varepsilon )} {(t - {\lambda _0}} {)^{2n}}d{E_t},s - \mathop {\lim }\limits_{\varepsilon \to 0} \int_{[{\lambda _0} + \varepsilon ,{M_2})} {(t - {\lambda _0}} {)^{2n}}d{E_t},\]存在。这里\[{M_1},{M_2}\]满足\[[{M_1},{M_2}] \cap C(A) = \{ {\lambda _0}\} \] 定理6 设A是\[{\Pi _k}\]上的自共轭算子，临界点集\[C(A) = \{ {\lambda _1},...,{\lambda _l},{\lambda _{l + 1}},{\overline \lambda _{l + 1}},...,{\lambda _{l + p}},{\overline \lambda _{l + p}},\]，这里\[\operatorname{Im} {\lambda _v} = 0(1 \leqslant \nu \leqslant l),r({\lambda _\nu }) = {n_\nu }\]那么有 \[{(\lambda - A)^{ - 1}} = \int_{ - \infty }^\infty {K(\lambda ,t)d{E_t}} + \sum\limits_{\nu = 1}^l {\sum\limits_{i = 1}^{2{n_\nu } + 1} {\frac{{{B_{\nu i}}}}{{{{(\lambda - {\lambda _\nu })}^i}}}} } + \sum\limits_{\nu = l + 1}^{l + p} {\sum\limits_{i = 1}^{{n_\nu }} {[\frac{{{B_{\nu i}}}}{{{{(\lambda - {\lambda _\nu })}^i}}}} } + \frac{{B_{\nu i}^ + }}{{{{(\lambda - {{\overline \lambda }_v})}^i}}}]\] 这里 \[K(\lambda ,t) = \frac{1}{{\lambda - t}} - \sum\limits_{v = 1}^l {\delta (t - {\lambda _v}} )\sum\limits_{i = 1}^{2{n_v}} {\frac{{{{(t - {\lambda _v})}^{i - 1}}}}{{{{(\lambda - {\lambda _v})}^i}}}} ,\delta \lambda {\text{ = }}\left\{ \begin{gathered} {\text{1}}{\text{|}}\lambda {\text{| < }}\delta \hfill \ {\text{0}}{\text{|}}\lambda {\text{|}} \geqslant \delta \hfill \\ \end{gathered} \right.\] \[0 < \delta < \mathop {\min }\limits_\begin{subarray}{l} 1 \leqslant \mu ,v \leqslant l \\ {\lambda _\mu } \ne {\lambda _v} \end{subarray} |{\lambda _\mu } - {\lambda _v}|\].对\[1 \leqslant v \leqslant l\]，\[{B_{vi}}\]是\[{\Pi _k}\]上的有界自共轭算子，而当\[l + 1 \leqslant v \leqslant l + p\]时，\[{B_{vi}} = {({\lambda _\mu } - S)^{i - 1}}{P_{\lambda v}}\]是以与\[{{\lambda _v}}\]相应的根子空间为值域的某些平行投影. 定理7 在定理6的条件下，有 \[\begin{gathered} {\text{f}}(A) = \int_{ - \infty }^\infty {[f(t) - \sum\limits_{v = 1}^l {\delta (t - {\lambda _v}} } )\sum\limits_{i = 0}^{2{n_v} - 1} {\frac{{{f^{(i)}}({\lambda _v})}}{{i!}}} (t - {\lambda _v})d{E_t} \hfill \ {\text{ + }}\sum\limits_{{\text{v = 1}}}^{\text{l}} {\sum\limits_{i = 0}^{2{n_v}} {\frac{{{f^{(i)}}({\lambda _0})}}{{i!}}} } {B_v} + \sum\limits_{v = l + 1}^{l + p} {\sum\limits_{i = 0}^{{n_v} - 1} {[\frac{{{f^{(i)}}({\lambda _v})}}{{i!}}} } {B_{vi}} + \frac{{{f^{(i)}}({{\overline \lambda }_v})}}{{i!}}B_{vi}^ + ] \hfill \\ \end{gathered} \] 这里\[f(\lambda )\]在\[\sigma (A)\]的一个邻域内解析. 为了建立更一般的算子演算，我们引入两个特殊的代数： \[{\Omega _n} = \{ (f,\{ {a_i}\} _{i = 0}^{2n})|f\]为Borel可测函数，\[\{ {a_i}\} \]为一常数}。对\[F = (f,\{ {a_i}\} ) \in {\Omega _n},G = (g,\{ {b_i}\} ) \in {\Omega _n}\]，定义 \[\begin{gathered} \alpha F + \beta G = (\alpha f + \beta G,\{ \alpha {a_i} + \beta {b_i}\} ) \hfill \ F \cdot G = (f \cdot g,\{ \sum\limits_{j = 0}^i {{a_j}} {b_{i - j}}\} ),\overline F = (\overline f ,\{ {\overline a _i}\} ) \hfill \\ \end{gathered} \] 显然\[{\Omega _n}\]是一个交换代数，它的子代数\[{\omega _n}\]定义为 \[{\omega _n} = \{ F = (f,\{ {a_i}\} ) \in {\Omega _n}|\]在0点的一个与F有关的邻域中，成立\[{\text{|f(t) - }}\sum\limits_{i = 0}^{2n} {a{t^i}} | \leqslant {M_F}|t{|^{2n + 1}},{M_F}\]与F有关} 定义 设A是\[{\Pi _k}\]上的自共轭算子，C（A）={0}，r(0)=n,对\[F = (f,\{ {a_i}\} ) \in {\omega _n}\]，定义 \[\begin{gathered} FA{\text{ = }}\int_{{\text{ - }}\infty }^\infty {|f(t) - \sum\limits_{i = 0}^{2n} {{a_i}} } {t^i}{|^2}d{E_t} + \sum\limits_{i = 0}^{2n} {{a_i}} {A^i} \hfill \ DF(A)) = D({A^{2n}}) \cap \{ x \in {\Pi _k}\int_{{\text{ - }}\infty }^\infty {|f(t) - \sum\limits_{i = 0}^{2n} {{a_i}} } {t^i}{|^2}d{\left\| {{E_t}x} \right\|^2} < \infty \hfill \\ \end{gathered} \] 如果f解析，\[F = (f,\{ \frac{{{f^{(i)}}(0)}}{{i!}}\} )\]，那么可得F（A）=f（A）。 定理8 设A是有界自共轭算子，C（A）={0}，r（0）=n，\[G \in {\omega _n}\]，那么 \[\begin{gathered} \overline F (A) = {[F(A)]^ + },(\alpha F + \beta G)(A) = \alpha F(A) + \beta G(A) \hfill \ (FG)(A) = F(A)G(A). \hfill \\ \end{gathered} \] 定理9 设A是\[{\Pi _k}\]上的自共轭算子，C（A）={0}，r（0）=n，\[{F_1} = ({f_1},\{ {a_i}\} ) \in {\Omega _n}\]，\[{F_2} = ({f_2},\{ {a_i}\} ) \in {\omega _n},{f_1},{f_2}\]在\[( - \infty ,\infty )\]连续，在\[\sigma (A)\]上恒等，那么\[{F_1}(A) = {F_2}(A)\]。 定理10 设A是\[{\Pi _k}\]上自共轭算子C（A）={0}，r（0）=n，\[F = (f,\{ {a_i}\} ) \in {\Omega _n}\]f是连续函数，那么\[\sigma (F(A)) = \{ f(t)|t \in \sigma (A)\} \]。 在定理11中，我们建立了F（A）的三角模型并由此证明当\[F = \overline F \]时，\[C(F(A)) = \{ f(t)|t \in C(A)\} \] 定理12 设A施可析\[{\Pi _k}\]空间上的自共轭算子，C（A）={0}，r（0）=n，与0相应的根子空间非退化，T是稠定闭算子，那么\[T \in {\{ A\} ^{'}}\]的充要条件是存在\[F \in {\Omega _n}\]，使T=F（A）。这里\[{\{ A\} ^{'}} = \{ T|\]对满足\[BA \subset AB\]的有界算子B，均有\[BT \subset TB\]}     

可分解的Hybrid三元系大集和超大集的构造

An LRHTS(v)(or LARHTS(v)) is a collection of {(X, B i) : 1 ≤ i ≤ 4(v-2)},where X is a v-set, each(X, B i) is a resolvable(or almost resolvable) HTS(v), and all B i s form a partition of all cycle triples and transitive triples on X. An OLRHTS(v)(or OLARHTS(v))is a collection {(Y \{y}, A j y) : y ∈ Y, j = 0, 1, 2, 3}, where Y is a(v + 1)-set, each(Y \{y}, A j y)is a resolvable(or almost resolvable) HTS(v), and all A j y s form a partition of all cycle and transitive triples on Y. In this paper, we establish some directed and recursive constructions for LRHTS(v), LARHTS(v), OLRHTS(v), OLARHTS(v) and give some new results.     

区组长为奇素数的自反MD设计 (英)

本文利用差方法对自反MD设计SCMD$(4mp, p,1)$的存在性给出了构造性证明, 这里$p$为奇素数, $m$为正整数.     

Symmetry-Breaking Phenomena in an Optimization Problem for some Nonlinear Elliptic Equation

Let $\Omega$ be a bounded domain in ${\bf R^n}$ with Lipschitz boundary, $\lambda >0,$ and $1\le p \le (n+2)/(n-2)$ if $n\ge 3$ and $1\le p< +\infty$ if $n=1,2$. Let $D$ be a measurable subset of $\Omega$ which belongs to the class $ {\cal C}_{\beta}=\{D\subset \Omega \quad | \quad |D|=\beta\} $ for the prescribed $\beta\in (0, |\Omega|).$ For any $D\in{\cal C}_{\beta}$, it is well known that there exists a unique global minimizer $u\in H^1_0(\Omega)$, which we denote by $u_D$, of the functional \[\quad J_{\Omega,D}(v)=\frac12\int_{\Omega}|\nabla v|^2\, dx+\frac{\lambda}{p+1}\int_{\Omega}|v|^{p+1}\, dx -\int_{\Omega}\chi_Dv\,dx \] on $H^1_0(\Omega)$. We consider the optimization problem $ E_{\beta,\Omega}=\inf_{D\in {\cal C}_{\beta}} J_D(u_D) $ and say that a subset $D^*\in {\cal C}_{\beta}$ which attains $E_{\beta,\Omega}$ is an optimal configuration to this problem. In this paper we show the existence, uniqueness and non-uniqueness, and symmetry-preserving and symmetry-breaking phenomena of the optimal configuration $D^*$ to this optimization problem in various settings.     

$\alpha$-可分解4-圈系统

An m-cycle system of order v and index λ, denoted by m-CS（v,λ）, is a collection of cycles of length m whose edges partition the edges of λKv. An m-CS（v,λ） is α-resolvable if its cycles can be partitioned into classes such that each point of the design occurs in precisely α cycles in each class. The necessary conditions for the existence of such a design are m｜λv（v-1）/2,2｜λ（v -1）,m｜αv,α｜λ（v-1）/2. It is shown in this paper that these conditions are also sufficient when m = 4.     

Ultrafilters on the collection of finite subsets of an infinite set

Let $J$ be an infinite set and let $I={\cal P}_{f}( J)$, i.e., $I$ is the collection of all non empty finite subsets of $J$. Let $\beta I$ denote the collection of all ultrafilters on the set $I$. In this paper, we consider $( \beta I,\uplus ),$ the compact (Hausdorff) right topological semigroup that is the {\it Stone-$\check{C}\!\!$ech} $Compactification$ of the semigroup $\left( I,\cup \right)$ equipped with the discrete topology. It is shown that there is an injective map $A\rightarrow \beta _{A}( I) $ of ${\cal P}( J) $ into ${\cal P}( \beta I) $ such that each $\beta _{A}( I) $ is a closed subsemigroup of $ ( \beta I,\uplus ) $, the set $\beta _{J}( I) $ is a closed ideal of $( \beta I,\uplus ) $and the collection $\{ \beta _{A}( I) \mid A\in {\cal P} ( J) \} $ is a partition of $\beta I$. The algebraic structure of $\beta I$ is explored. In particular, it is shown that {\bf (1)} $\beta _{J}\left( I\right) =\overline{K( \beta I) }$, i.e., $\beta _{J}( I) $is the closure of the smallest ideal of $\beta I$, and {\bf (2)} for each non empty $A\subset J$, the set ${\cal V}_{A}=\tbigcup \{ \beta_{B}( I) \mid B\subset A\} $is a closed subsemigroup of $( \beta I,\uplus ) ,$ $\beta _{A}( I) $ is a proper ideal of ${\cal V}_{A},$ and ${\cal V}_{A}$ is the largest subsemigroup of $( \beta I,\uplus ) $ that has $ \beta _{A}( I) $ as an ideal.     

Green's Equivalences on Semigroups of Transformations Preserving Order and an Equivalence Relation

Let ${\cal T}_X$ be the full transformation semigroup on the set $X$, \[ T_{E}(X)=\{f\in {\cal T}_X\colon \ \forall(a,b)\in E,(f(a),f(b))\in E\} \] be the subsemigroup of ${\cal T}_X$ determined by an equivalence $E$ on $X$. In this paper the set $X$ under consideration is a totally ordered set with $mn$ points where $m\geq 2$ and $n\geq 3$. The equivalence $E$ has $m$ classes each of which contains $n$ consecutive points. The set of all order preserving transformations in $T_{E}(X)$ forms a subsemigroup of $T_E(X)$ denoted by \[ {\cal O}_{E}(X)=\{f\in T_{E}(X)\colon \ \forall\, x, y\in X, \ x\leq y \mbox{ implies } f(x)\leq f(y)\}. \] The nature of regular elements in ${\cal O}_{E}(X)$ is described and the Green's equivalences on ${\cal O}_{E}(X)$ are characterized completely.     

以PSL(2,q)作为本原自同构群的旗传递对称$(v,k,\lambda)$设计的分类

设$D$是一个非平凡的对称$(v,k,\lambda)$设计, $G$是$D$的一个自同构群.本文证明了如果$G$以二维典型群PSL$(2,q)$作为基柱且在$D$上的作用是旗传递和点本原的,那么设计$D$的参数只能为$(7, 3, 1)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 3)$或$(15, 8, 4)$.     

缺项算子矩阵的本性谱

Let =(A C X B)be a 2×2 operator matrix acting on the Hilbert space н( )κ.For given A ∈B (H),B ∈B(K)and C ∈B(K,H)the set Ux∈B(H,к)σe(Mx)is determined,where σe(T)denotes the essential spectrum.