阶极小渐近基

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.     

Co-commuting Mappings of Generalized Matrix Algebras

Let G be a generalized matrix algebra over a commutative ring R and Z(G)be the center of G.Suppose that F,T:G→G are two co-commuting R-linear mappings,i.e.,F(x)x=xT(x) for all x∈G.In this note,we study the question of when co-commuting mappings on G are proper.     

Microlocal Analysis of the Doppler Transform on R<Superscript>3</Superscript>

The Doppler transform of a vector field $F = (f_1,f_2,f_3)$ on $\mathbb{R}^3$ is defined by \[\displaystyle\mathcal{D}F(x,\omega) = \sum_j\int_\mathbb{R} \omega_j f_j(x+t\omega)\, dt~,\] where $x\in \mathbb{R}^3$ and $\omega \in S^2$ specifies the direction of a line passing through $x$. In practical applications, $\mathcal{D}F$ is known only for a small subset of lines in $\mathbb{R}^3$. In this article, we deal with the case of $\mathcal{D}F$ restricted to all lines passing through a fixed smooth curve. Using techniques from microlocal analysis, we study the problem of recovering the wavefront set of $\mbox{curl}(F)$ from that of the restricted Doppler transform of $F$.     

$\mathcal{F}$-Perfect Rings and Modules

Let $R$ be a ring, and let $(\mathcal{F}, C)$ be a cotorsion theory. In this article, the notion of $\mathcal{F}$-perfect rings is introduced as a nontrial generalization of perfect rings and A-perfect rings. A ring $R$ is said to be right $\mathcal{F}$-perfect if $F$ is projective relative to $R$ for any $F ∈ \mathcal{F}$. We give some characterizations of $\mathcal{F}$-perfect rings. For example, we show that a ring $R$ is right $\mathcal{F}$-perfect if and only if $\mathcal{F}$-covers of finitely generated modules are projective. Moreover, we define $\mathcal{F}$-perfect modules and investigate some properties of them.     

3$\times$3阶上三角型算子矩阵的可能谱

Let H1, H2 and H3 be infinite dimensional separable complex Hilbert spaces. We denote by M（D,V,F） a 3×3 upper triangular operator matrix acting on Hi ＋H2＋ H3 of theform M（D,E,F）=（A D F 0 B F 0 0 C）.For given A ∈ B（H1）, B ∈ B（H2） and C ∈ B（H3）, the sets ∪D,E,F^σp（M（D,E,F））,∪D,E,F ^σr（M（D,E,F））,∪D,E,F ^σc（M（D,E,F）） and ∪D,E,F σ（M（D,E,F）） are characterized, where D ∈ B（H2,H1）, E ∈B（H3, H1）, F ∈ B（H3,H2） and σ（·）, σp（·）, σr（·）, σc（·） denote the spectrum, the point spectrum, the residual spectrum and the continuous spectrum, respectively.     

具误差隐格式迭代逼近严格伪压缩映像族公共不动点 (英)

设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设K是实Banach空间E中非空闭凸集，{Ti}i=1^N是N个具公共不动点集F的严格伪压缩映像，{αn}包括于[0,1]是实数例，{un}包括于K是序列，且满足下面条件（i）0〈α≤αn≤1;（ii）∑n=1∞（1-αn）=＋∞.（iii）∑n=1∞ ‖un‖〈＋∞.设x0∈K,{xn}由正式定义xn=αnxn-1＋（1-αn）Tnxn＋un-1,n≥1,其中Tn=Tnmodn，则下面结论（i）limn→∞‖xn-p‖存在，对所有p∈F；（ii）limn→∞d（xn,F）存在，当d（xn,F）=infp∈F‖xn-p‖；（iii）lim infn→∞‖xn-Tnxn‖=0.文中另一个结果是，如果{xn}包括于[1-2^-n,1]，则{xn}收敛，文中结果改进与扩展了Osilike（2004）最近的结果，证明方法也不同。     

非单特征值的广义分歧定理

讨论了抽象算子方程F(λ,u)=0的局部分歧问题,其中F:R×X→Y是一个C~2微分映射,λ是参数,X,Y为Banach空间.利用Lyapunov-Schmidt约化过程及偏导算子F_u(λ~*,O)的有界线性广义逆,在dim N(F_u(λ~*,0))≥codim R(F_u(λ~*,O))=1的条件下,证明了一个广义跨越式分歧定理.当参数空间的维数等于值域余维数时,应用同样的方法又得到了多参数方程的抽象分歧定理.     

New Class of Kirchhoff Type Equations with Kelvin-Voigt Damping and General Nonlinearity: Local Existence and Blow-up in Solutions

In this paper, we consider a class of Kirchhoff equation, in the presence of a Kelvin-Voigt type damping and a source term of general nonlinearity forms. Where the studied equation is given as follows\begin{equation*}u_{tt} -\mathcal{K}\left( \mathcal{N}u(t)\right)\left[ \Delta_{p(x)}u +\Delta_{r(x)}u_{t}\right]=\mathcal{F}(x, t, u).\end{equation*}Here, $\mathcal{K}\left( \mathcal{N}u(t)\right)$ is a Kirchhoff function, $\Delta_{r(x)}u_{t}$ represent a Kelvin-Voigt strong damping term, and $\mathcal{F}(x, t, u)$ is a source term. According to an appropriate assumption, we obtain the local existence of the weak solutions by applying the Galerkin's approximation method. Furthermore, we prove a non-global existence result for certain solutions with negative/positive initial energy. More precisely, our aim is to find a sufficient conditions for $p(x), q(x), r(x), \mathcal{F}(x,t,u)$ and the initial data for which the blow-up occurs.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

<Emphasis Type="Italic">F</Emphasis>-isocristaux surconvergents et surcohérence différentielle

Résumé Soient un anneau de valuation discrète complet d’inégales caractéristiques, de corps résiduel parfait k, un -schéma formel propre et lisse, T un diviseur de la fibre spéciale P de , U l’ouvert de P complémentaire de T, Y un sous-k-schéma fermé lisse de U. Nous prouvons que la catégorie des F-isocristaux surconvergents sur Y est équivalente à celle des F-isocristaux surcohérents sur Y (voir [Car, 6.2.1 et 6.4.3.a)]). Plus généralement, nous établissons par recollement une telle équivalence pour tout k-schéma séparé lisse Y. Nous vérifions de plus que les F-complexes de -modules à cohomologie bornée et -surcohérente se dévissent en F-isocristaux surconvergents.     

分担值与正规族

设F是平面区域D上的亚纯函数族,a,b是两个有穷非零复数.如果■ff∈F,f(z)=a■f~((k))(z)=a,ff~((k))(z)=b■f~((k+1))(z)=b,且f-a的零点重数至少为k(k≥3),那么函数族F在D内正规;当k=2时,在条件a≠4b的情况下,同样有函数族F在D内正规.     

Around splitting and reaping for partitions of ω

We investigate splitting number and reaping number for the structure (ω) ^ω of infinite partitions of ω. We prove that \mathfrakr_d ￡ non(M),non(N),\mathfrakd{\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}} and \mathfraks_d 3 \mathfrakb{\mathfrak{s}_{d}\geq\mathfrak{b}} . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})} . To prove the consistency \mathfrakr_d < add(M){\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and \mathfraks_d < cof(M){\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})} we introduce new cardinal invariants \mathfrakr_pair{\mathfrak{r}_{pair}} and \mathfraks_pair{\mathfrak{s}_{pair}} . We also study the relation between \mathfrakr_pair, \mathfraks_pair{\mathfrak{r}_{pair}, \mathfrak{s}_{pair}} and other cardinal invariants. We show that cov(M),cov(N) ￡ \mathfrakr_pair ￡ \mathfraks_d,\mathfrakr{\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}} and \mathfraks ￡ \mathfraks_pair ￡ non(M),non(N){\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})} .     

Nontrivial Solution for a Kirchhoff Type Problem with Zero Mass

Consider the Kirchhoff type equation \begin{equation}\label{eq0.1}-\left(a+b\int_{\mathbb{R}^{N}}|\nabla u|^{2}\,dx\right) \Delta u=\left(\frac{1}{|x|^\mu}*F(u)\right)f(u)\ \ \mbox{in}\ \mathbb{R}^N, \ \ u\in D^{1,2}(\mathbb{R}^N), ~~~~~~(0.1)\end{equation}where $a>0$, $b\geq0$, $0<\mu<\min\{N, 4\}$ with $N\geq 3$, $f: \mathbb{R}\to\mathbb{R}$ is a continuous function and $F(u)=\int_0^u f(t)\,dt$. Under some general assumptions on $f$, we establish the existence of a nontrivial spherically symmetric solution for problem (0.1). The proof is mainly based on mountain pass approach and a scaling technique introduced by Jeanjean.     

On the Betti numbers of sign conditions

Let be a real closed field and let and be finite subsets of such that the set has elements, the algebraic set defined by has dimension and the elements of and have degree at most . For each we denote the sum of the -th Betti numbers over the realizations of all sign conditions of on by . We prove that

This generalizes to all the higher Betti numbers the bound on . We also prove, using similar methods, that the sum of the Betti numbers of the intersection of with a closed semi-algebraic set, defined by a quantifier-free Boolean formula without negations with atoms of the form or for , is bounded by

making the bound more precise.

     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

Some properties for a class of symmetric functions with applications

For x = (x ₁, x ₂, ..., x _n ) ∈ ℝ₊ ⁿ , the symmetric function ψ _n (x, r) is defined by $\psi _n (x,r) = \psi _n \left( {x_1 ,x_2 , \cdots ,x_n ;r} \right) = \sum\limits_{1 \leqslant i_1 < i_2 \cdots < i_r \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 + x_{i_j } }} {{x_{i_j } }}} } ,$\psi _n (x,r) = \psi _n \left( {x_1 ,x_2 , \cdots ,x_n ;r} \right) = \sum\limits_{1 \leqslant i_1 < i_2 \cdots < i_r \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 + x_{i_j } }} {{x_{i_j } }}} } ,     

循环群$Z_{2}$的模向量不变式

Let G be the finite cyclic group Z_2 and V be a vector space of dimension 2n with basis x_1,...,x_n,y_1,...,y_n over the field F with characteristic 2.If σ denotes a generator of G,we may assume that σ（x_i）= ayi,σ（y_i）= a～-1x_i,where a ∈ F.In this paper,we describe the explicit generator of the ring of modular vector invariants of F[V]～G.We prove that F[V]～G = F[l_i = x_i ＋ ay_i,q_i = x_iy_i,1 ≤ i ≤ n,M_I = X_I ＋ a～-I-Y_I],where I∈An = {1,2,...,n},2 ≤-I-≤ n.     

非退化扩散过程的水平集和极集

设X(t)(t∈R )是一个d维非退化扩散过程．本文得到了比原有结果更一般的非退化扩散过程极性的充分条件,证明了对任意u∈Rd,紧集E(0, ∞),有若d=1,则对任意紧集F(?)R, 若d≥2,则对任意紧集E ∈(0, ∞), 其中B(Rd)为Rd上的Borel σ-代数,dim和Dim分别表示Hausdorff维数和Packing 维数．     

参数函数$\epsilon$取边际值时的$GCF_\epsilon$集

Let ∈ :N → R be a parameter function satisfying the condition ∈(k) + k + 1 > 0and let T∈ :(0,1] →(0,1] be a transformation defined by T∈(x) =-1 +(k + 1)x1 + k-k∈x for x ∈(1k + 1,1k].Under the algorithm T∈,every x ∈(0,1] is attached an expansion,called generalized continued fraction(GCF∈) expansion with parameters by Schweiger.Define the sequence {kn(x)}n≥1of the partial quotients of x by k1(x) = ∈1/x∈ and kn(x) = k1(Tn-1∈(x)) for every n ≥ 2.Under the restriction-k-1 < ∈(k) <-k,define the set of non-recurring GCF∈expansions as F∈= {x ∈(0,1] :kn+1(x) > kn(x) for infinitely many n}.It has been proved by Schweiger that F∈has Lebesgue measure 0.In the present paper,we strengthen this result by showing that{dim H F∈≥12,when ∈(k) =-k-1 + ρ for a constant 0 < ρ < 1;1s+2≤ dimHF∈≤1s,when ∈(k) =-k-1 +1ksfor any s ≥ 1where dim H denotes the Hausdorff dimension.