投影的约化极小模和空间的夹角

Let M and N be nonzero subspaces of a Hilbert space H, and PM and PN denote the orthogonal projections on M and N, respectively. In this note, an exact representation of the angle and the minimum gap of M and N is obtained. In addition, we study relations between the angle, the minimum gap of two subspaces M and N, and the reduced minimum modulus of （I - PN）PM,     

ON THE EXPECTED SAMPLE SIZES OF SOME POWER ONE TESTS FOR NORMAL MEAN WITH UNKNOWN VARIANCE

Suppose that $\[{x_1},{x_2}, \cdots \]$ are i i d. random variables on a probability space $\[(\Omega ,F,P)\]$ and $\[{x_1}\]$ is normally distributed with mean $\[\theta \]$ and variance $\[{\sigma ^2}\]$, both of which are unknown. Given $\[{\theta _0}\]$ and $\[0 < \alpha < 1\]$, we propose a concrete stopping rule T w. r. e.the $\[\{ {x_n},n \ge 1\} \]$ such that $$\[{P_{\theta \sigma }}(T < \infty ) \le \alpha \begin{array}{*{20}{c}} {for}&{\begin{array}{*{20}{c}} {all}&{\theta \le {\theta _0},\sigma > 0,} \end{array}} \end{array}\]$$ $$\[{P_{\theta \sigma }}(T < \infty ) = 1\begin{array}{*{20}{c}} {for}&{\begin{array}{*{20}{c}} {all}&{\theta > {\theta _0},\sigma > 0,} \end{array}} \end{array}\]$$ $$\[\mathop {\lim }\limits_{\theta \downarrow {\theta _0}} {(\theta - {\theta _0})^2}{({\ln _2}\frac{1}{{\theta - {\theta _0}}})^{ - 1}}{E_{\theta \sigma }}T = 2{\sigma ^2}{P_{{\theta _0}\sigma }}(T = \infty )\]$$ where $\[{\ln _2}x = \ln (\ln x)\]$.     

具$p$-Laplacian 算子的多点边值问题迭代解的存在性

利用单调迭代技巧和推广的Mawhin定理得到下述带有p-Laplacian算子的多点边值问题迭代解的存在性,{(Фp(u'))' f(t,u, Tu)=0, 0(≤)t(≤)1,u(0)=q-1∑i=1γiu(δi),u(1)=m-1∑i=1ηiu(ξi),其中Фp(s)=|s|p-2s,p＞1;0＜δi＜1,γi＞0,1(≤)i(≤)q-1;0＜ξi＜1,ηi(≥)0,1(≤)i(≤)m-1且q-1∑i=1γi＜1,m-1∑i=1ηi(≤)1;Tu(t)=∫t0k(t,s)u(s)ds,k(t,s)∈C(I×I,R ).     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.     

三维液晶关于压力水平梯度的相关正则性准则

This paper is devoted to investigating regularity criteria for the 3-D nematic liquid crystal flows in terms of horizontal derivative components of the pressure and gradient of the orientation field. More precisely, we mainly proved that the strong solution(u, d)can be extended beyond T, provided that the horizontal derivative components of the pressure■ and gradient of the orientation field satisfy■ and■.     

一类振荡积分算子在Wiener 共合空间上的有界性

假设a,b0并且K_(a,b)(x)=(e~(i|x|~(-b)))/(|x|~(n+a))定义强奇异卷积算子T如下:Tf(x)=(K_(a,b)*f)(x),本文主要考虑了如上定义的算子T在Wiener共合空间W(FL~p,L~q)(R~n)上的有界性.另一方面,设α,β0并且γ(t)=|t|~k或γ(t)=sgn(t)|t|~k.利用振荡积分估计,本文还研究了算子T_(α,β)f(x,y)=p.v∫_(-1)~1f(x-t,y-γ(t))(e~(2πi|t|~(-β)))/(t|t|~α)dt及其推广形式∧_(α,β)f(x,y,z)=∫_(Q~2)f(x-t,y-s,z-t~ks~j)e~(-2πit)~(-β_1_s-β_2)t~(-α_1-1)s~(-α_2-1)dtds在Wiener共合空间W(FL~p,L~q)上的映射性质.本文的结论足以表明,Wiener共合空间是Lebesgue空间的一个很好的替代.     

Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

A Parameterization of the Canonical Bases of Affine Modified Quantized Enveloping Algebras

For a symmetrizable Kac-Moody Lie algebra g, Lusztig introduced the corresponding modified quantized enveloping algebra˙U and its canonical basis˙B given by Lusztig in 1992. In this paper, in the case that g is a symmetric Kac-Moody Lie algebra of finite or affine type, the authors define a set M which depends only on the root category R and prove that there is a bijection between M and ˙B, where R is the T~2-orbit category of the bounded derived category of the corresponding Dynkin or tame quiver. The method in this paper is based on a result of Lin, Xiao and Zhang in 2011, which gives a PBW-type basis of U~+.     

某类$q$差分方程亚纯解的性质

对于一个有穷非零复数$q$, 若下列$q$差分方程存在一个非常数亚纯解$f$, $$f(qz)f(\frac{z}{q})=R(z,f(z))=\frac{P(z,f(z))}{Q(z,f(z))}=\frac{\sum_{j=0}^{\tilde{p}}a_j(z)f^{j}(z)}{\sum_{k=0}^{\tilde{q}}b_k(z)f^{k}(z)},\eqno(\dag)$$ 其中 $\tilde{p}$和$\tilde{q}$是非负整数, $a_j$ ($0\leq j\leq \tilde{p}$)和$b_k$ ($0\leq k\leq \tilde{q}$)是关于$z$的多项式满足$a_{\tilde{p}}\not\equiv 0$和$b_{\tilde{q}}\not\equiv 0$使得$P(z,f(z))$和$Q(z,f(z))$是关于$f(z)$互素的多项式, 且$m=\tilde{p}-\tilde{q}\geq 3$. 则在$|q|=1$时得到方程$(\dag)$不存在亚纯解, 在$m\geq 3$和$|q|\neq 1$时得到方程$(\dag)$解$f$的下级的下界估计.     

单位方体上沿曲面的振荡积分在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有界性.     

Notes on von Neumann–Jordan and James Constants for Absolute Norms on {\mathbb{R}^2}

Let ${\|\cdot\|_{\psi}}$ be the absolute norm on ${\mathbb{R}^2}$ corresponding to a convex function ${\psi}$ on [0, 1] and ${C_{\text{NJ}}(\|\cdot\|_{\psi})}$ its von Neumann–Jordan constant. It is known that ${\max \{M_1^2, M_2^2\} \leq C_{\text{NJ}}(\| \cdot \|_{\psi}) \leq M_1^2 M_2^2}$ , where ${M_1 = \max_{0 \leq t \leq 1} \psi(t)/ \psi_2(t)}$ , ${M_2 = \max_{0\leq t \leq 1} \psi_2(t)/ \psi(t)}$ and ${\psi_2}$ is the corresponding function to the ? ₂-norm. In this paper, we shall present a necessary and sufficient condition for the above right side inequality to attain equality. A corollary, which is valid for the complex case, will cover a couple of previous results. Similar results for the James constant will be presented.     

On the number of moduli of plane sextics with six cusps

Let be the variety of irreducible sextics with six cusps as singularities. Let be one of irreducible components of . Denoting by the space of moduli of smooth curves of genus 4, we consider the rational map sending the general point [Γ] of Σ, corresponding to a plane curve , to the point of parametrizing the normalization curve of Γ. The number of moduli of Σ is, by definition the dimension of Π(Σ). We know that , where ρ(2, 4, 6) is the Brill–Noether number of linear series of dimension 2 and degree 6 on a curve of genus 4. We prove that both irreducible components of have number of moduli equal to seven.      

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

$L^{p}_{[0,1]}$空间M\"{u}ntz有理逼近的Jackson型估计 (英)

设$\Lambda=\{\lambda_{n}\}_{n=1}^{\infty}$为正的实数数列, 且当$n\rightarrow\infty$时, 有$\lambda_{n}\searrow 0$.本文给出了当 $\lambda_{n}\leq Mn^{-\frac{1}{2}},\;n=1,2, \cdots ,$(其中$M>0$为一正常数)时M\"{u}ntz系统$\{x^{\lambda_n}\}$的有理函数在$ L_{[0,1]} ^{p}$空间的逼近速度,主要结论为$R_{n} (f, \Lambda )_{L^{p}}\leq C_M \omega (f, n^{-\frac{1}{2}})_{L^{p}},\;1 \leq p \leq \infty.$     

对偶均值积分的Marcus-Lopes不等式

Milman曾提出过一个问题;在混合体积理论,是否存在Marcus-Lopes型和Bergstrom型不等式?即对R~n上任意凸体K与L且i=0,…,n-1,是否成立(W_i(K+L))/(W_i+1(K+L))≥(W_i(K))/(W_i+1(K))+(W_i(L))/(W_i+1(L))?这里W_i表示凸体的i次均值积分.当且仅当i=n-1或i=n-2时,这个问题是正确的,已被证明.作者考虑了一个对偶问题,证明了:若K与L是R~n上的星体,n-2≤i≤n-1且i∈R,则(W_i(K+L))/(W_i+1(K+L))≤(W_i(K))/(W_i+1(K))+(W_i(L))/(W_i+1(L))/(W_i+1(L))其中W_i表示星体的i次对偶均值积分.     

Boundary Values of Harmonic Functions in Spaces of Triebel–Lizorkin Type

Triebel (J Approx Theory 35:275–297, 1982; 52:162–203, 1988) investigated the boundary values of the harmonic functions in spaces of the Triebel–Lizorkin type ${\mathcal F^{\alpha,q}_{p}}$ on ${\mathbb{R}^{n+1}_+}$ by finding an characterization of the homogeneous Triebel–Lizorkin space ${{\bf \dot{F}}^{\alpha,q}_p}$ via its harmonic extension, where ${0 < p < \infty, 0 < q \leq \infty}$ , and ${\alpha < {\rm min}\{-n/p, -n/q\}}$ . In this article, we extend Triebel’s result to α < 0 and ${0 < p, q \leq \infty}$ by using a discrete version of reproducing formula and discretizing the norms in both ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf{\dot{F}}}^{\alpha,q}_p}$ . Furthermore, for α < 0 and ${1 < p,q \leq \infty}$ , the mapping from harmonic functions in ${\mathcal{F}^{\alpha,q}_{p}}$ to their boundary values forms a topological isomorphism between ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf \dot{F}}^{\alpha,q}_p}$ .     

On the numerical computation of blowing‐up solutions for semilinear parabolic equations

Theoretical aspects related to the approximation of the semilinear parabolic equation: $u_t=\Delta u+f(u)$\nopagenumbers\end , with a finite unknown ‘blow‐up’ time T_b have been studied in a previous work. Specifically, for ε a small positive number, we have considered coupled systems of semilinear parabolic equations, with positive solutions and ‘mass control’ property, such that: \def\ve{^\varepsilon}$$u_t\ve=\Delta u\ve+f(u\ve)v\ve\qquad v_t\ve=\Delta v\ve‐\varepsilon f(u\ve)v\ve$$\nopagenumbers\end The solution \def\ve{^\varepsilon}$$\{u\ve,v\ve\}$$\nopagenumbers\end of such systems is known to be global. It is shown that $$\|(u^\varepsilon‐u)(\, .\, ,t)\|_\infty\leq C(M_T)\varepsilon$$\nopagenumbers\end , \def\lt{\char'74}$t\leq T \lt T_b$\nopagenumbers\end where $M_T=\|u(\, .\, ,T)\|_\infty$\nopagenumbers\end and $C(M_T)$\nopagenumbers\end is given by (6). In this paper, we suggest a numerical procedure for approaching the value of the blow‐up time T_b and the blow‐up solution u. For this purpose, we construct a sequence $\{M_\eta\}$\nopagenumbers\end , with $\lim_{\eta\rightarrow 0}M_\eta=\infty$\nopagenumbers\end . Correspondingly, for $\varepsilon\leq1/2C(M_\eta+1)=\eta^\alpha$\nopagenumbers\end and \def\lt{\char'74}$0\lt\alpha\lt\,\!1$\nopagenumbers\end , we associate a specific sequence of times $\{T_\varepsilon\}$\nopagenumbers\end , defined by $\|u^\varepsilon(\, .\, ,T_\varepsilon)\|_\infty=M_\eta$\nopagenumbers\end . In particular, when $\varepsilon=\eta\leq\eta^\alpha$\nopagenumbers\end , the resulting sequence $\{T_\varepsilon\equiv T_\eta\}$\nopagenumbers\end , verifies, $\|(u‐u^\eta)(\, .\, ,t)\|_\infty\leq{1\over2}(\eta)^{1‐\alpha}$\nopagenumbers\end , \def\lt{\char'74}$0\leq t\leq T_\eta\lt T_{\rm b}$\nopagenumbers\end with $\lim_{\eta\rightarrow 0}T_\eta=T_{\rm b}$\nopagenumbers\end . The two special cases of a single‐point blow‐up where $f(u)=\lambda{\rm e}^u$\nopagenumbers\end and $f(u)=u^p$\nopagenumbers\end are then studied, yielding respectively sequences $\{M_\eta\}$\nopagenumbers\end of order $O(\ln|\ln(\eta)|)$\nopagenumbers\end and $O(\{|\ln(\eta)|\}^{1/p‐1})$\nopagenumbers\end . The estimate $|T_\eta‐T_{\rm b}|/T_{\rm b}=O(1/|\ln(\eta)|)$\nopagenumbers\end is proven to be valid in both cases. We conduct numerical simulations that confirm our theoretical results. Copyright © 2001 John Wiley & Sons, Ltd.     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

沿着不连通曲面的Heegaard分解的不可稳定化的融合积

Let M be a 3-manifold, F= {F1 , F2 , . . . , Fn } be a collection of essential closed surfaces in M (for any i, j ∈ {1, ..., n}, ifi≠j, Fi is not parallel to Fj and Fi ∩Fj = φ) and0 M be a collection of components of M. Suppose M-UFi ∈FFi×(-1, 1) contains k components M1 , M2 , . . . , Mk . If each M i has a Heegaard splitting ViUSiWi with d(Si) > 4(g(M1 ) + ··· + g(Mk )), then any minimal Heegaard splitting of M relative to 0M is obtained by doing amalgamations and self-amalgamations from minimal Heegaard splittings or -stabilization of minimal Heegaard splittings of M1 , M2 , . . . , Mk .     

Congruences with intervals and arbitrary sets

Given a prime p, an integer $$H\in [1,p)$$, and an arbitrary set $${\mathcal {M}} \subseteq {\mathbb {F}} _p^*$$, where $${\mathbb {F}} _p$$ is the finite field with p elements, let $$J(H,{\mathcal {M}} )$$ denote the number of solutions to the congruence $$\begin{aligned} xm\equiv yn~\mathrm{mod}~ p \end{aligned}$$for which $$x,y\in [1,H]$$ and $$m,n\in {\mathcal {M}} $$. In this paper, we bound $$J(H,{\mathcal {M}} )$$ in terms of p, H, and the cardinality of $${\mathcal {M}} $$. In a wide range of parameters, this bound is optimal. We give two applications of this bound: to new estimates of trilinear character sums and to bilinear sums with Kloosterman sums, complementing some recent results of Kowalski et al. (Stratification and averaging for exponential sums: bilinear forms with generalized Kloosterman sums, 2018, arXiv:1802.09849).