Analysis of the Dynamics of a Predator-prey Model with Holling Functional Response

A diffusive predator-prey system with Holling functional response is considered. Firstly, existence of positive equilibrium of this reaction diffusion model under Neumann boundary condition is obtained. Meanwhile, the existence conditions for Turing instability and Hopf bifurcations of a system with Holling \uppercase\expandafter{\romannumeral2} functional response are established. Next, the existence of the hydra effect is demonstrated, when the system is undergoing non-homogeneous steady-state solutions. Finally, numerical simulations are illustrated to support our theory results.     

Ext_F-投射生成子与Ext_F-内射余生成子

设A是Abel范畴,F是Ext_A~1(-,-):A~(op)×A→A的加法子双函子.首先研究了Ext_(F-)投射生成子与Ext_F-内射余生成子的同调性质,其次引入了W_F-Gorenstein模的概念.特别地,证明了如果重复W_F-Gorenstein模的定义程序将不会产生新的模类.最后,统一并推广了许多参考文献中的结论.     

On the generalization of Faltings’ Annihilator Theorem

Let R be a commutative Noetherian ring, and let n be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever R is a homomorphic image of a Noetherian Gorenstein ring, then the invariants ${\inf\{i \in \mathbb{N}_0|\, \rm{dim\, Supp}(\mathfrak{b}^t H_{\mathfrak{a}}^i(M)) \geq n\, \rm{for\, all}\, t \in \mathbb{N}_0\}}$ and ${\inf\{\lambda_{\mathfrak{a} R_{\mathfrak{p}}}^{\mathfrak{b} R_{\mathfrak{p}}}(M_{\mathfrak{p}})|\, \mathfrak{p} \in {\rm Spec} \, R\, \rm{and\, dim}\, R/ \mathfrak{p} \geq n\}}$ are equal, for every finitely generated R-module M and for all ideals ${\mathfrak{a}, \mathfrak{b}}$ of R with ${\mathfrak{b}\subseteq \mathfrak{a}}$ . This generalizes Faltings’ Annihilator Theorem (see [6]).     

Point Counting in Families of Hyperelliptic Curves

Let E _Γ be a family of hyperelliptic curves defined by , where is defined over a small finite field of odd characteristic. Then with in an extension degree n field over this small field, we present a deterministic algorithm for computing the zeta function of the curve by using Dwork deformation in rigid cohomology. The time complexity of the algorithm is and it needs bits of memory. A slight adaptation requires only space, but costs time . An implementation of this last result turns out to be quite efficient for n big enough. H. Hubrechts is a Research Assistant of the Research Foundation–Flanders (FWO–Vlaanderen).     

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.     

ON A THEOREM CONCERNING CARLESON MEASURE AND ITS APPLICATIONS

A measure μ is called Carleson measure,iff the condition of Carleson type μ(Q~*)≤C|Q|~α(a≥1)is satisfied,where C is a constant independent of the cube Q with edge lengthq>0 in R~n and Q~*={(y,t)∈R_+~(+1)|y∈Q,0相似文献   

Symmetrization of Closure Operators and Visibility

For an arbitrary set E and a given closure operator , we want to construct a symmetric closure operator via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator . defines a matroid. If and is the convex closure operator, turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by visibility. Received March 9, 2005     

Hierarchies of ineffabilities

We study combinatorial large cardinal properties on ${\mathcal {P}}_{\kappa } \lambda$, such as ineffability, almost ineffability, subtlety, and the Shelah property. We show that, even when λ > κ, the almost ineffability of ${\mathcal {P}}_{\kappa } \lambda$ does not yield the ineffability of κ. We also show that the Shelah property and the partition property of ${\mathcal {P}}_{\kappa } \lambda$ do not yield the subtlety of κ.     

三角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$弱顺从的.     

Approximating periodic functions in the uniform metric by Jackson type polynomials

Let C be the space of continuous 2π-periodic functions f with the norm . Let , where , be the Jackson polynomials of a function f, E _n (f) be the best approximation of f in the space C by trigonometric polynomials of order n, and let , be the function trigonometrically conjugate to the primitive of f. The paper establishes results of the following types:

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

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,     

The Initial Value Problems and Nonlinear Boundary Value Problems for a Class of the Second order Quasilinear Parabolio Systems

In this paper initial value problems and nonlinear mixed boundary value problems for the quasilinear parabolic systems below $\[\frac{{\partial {u_k}}}{{\partial t}} - \sum\limits_{i,j = 1}^n {a_{ij}^{(k)}} (x,t)\frac{{{\partial ^2}{u_k}}}{{\partial {x_i}\partial {x_j}}} = {f_k}(x,t,u,{u_x}),k = 1, \cdots ,N\]$ are discussed.The boundary value conditions are $\[{u_k}{|_{\partial \Omega }} = {g_k}(x,t),k = 1, \cdots ,s,\]$ $\[\sum\limits_{i = 1}^n {b_i^{(k)}} (x,t)\frac{{\partial {u_k}}}{{\partial {x_i}}}{|_{\partial \Omega }} = {h_k}(x,t,u),k = s + 1, \cdots N.\]$ Under some "basically natural" assumptions it is shown by means of the Schauder type estimates of the linear parabolic equations and the embedding inequalities in Nikol'skii spaces,these problems have solutions in the spaces $\[{H^{2 + \alpha ,1 + \frac{\alpha }{2}}}(0 < \alpha < 1)\]$.For the boundary value problem with $\[b_i^{(k)}(x,t) = \sum\limits_{j = 1}^n {a_{ij}^{(k)}} (x,t)\cos (n,{x_j})\]$ uniqueness theorem is proved.     

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”.     

p-超循环嵌入子群的一个判别准则

令E是有限群G的一个正规子群,且U是所有有限超可解群的集合.E称为在G中是p-超循环嵌入的,如果E的每个pd-阶的G-主因子是循环的.G的子群H称为在G中是U-Φ-可补充的,如果存在G的一个次正规子群T,使得G=HT,且(H∩T)H_G/H_G≤Φ/(H/H_G)Z_U(G/H_G),其中Z_U(G/H_G)是商群G/H_G的U-超中心.作者证明,如果E的一些p-子群在G中是U-Φ-可补充的,那么E在G中是p-超循环嵌入的.作为应用,得到了有限群是p-超可解的若干判断准则,并且推广了一些已知的结果.     

Wiener's lemma for infinite matrices

The classical Wiener lemma and its various generalizations are important and have numerous applications in numerical analysis, wavelet theory, frame theory, and sampling theory. There are many different equivalent formulations for the classical Wiener lemma, with an equivalent formulation suitable for our generalization involving commutative algebra of infinite matrices . In the study of spline approximation, (diffusion) wavelets and affine frames, Gabor frames on non-uniform grid, and non-uniform sampling and reconstruction, the associated algebras of infinite matrices are extremely non-commutative, but we expect those non-commutative algebras to have a similar property to Wiener's lemma for the commutative algebra . In this paper, we consider two non-commutative algebras of infinite matrices, the Schur class and the Sjöstrand class, and establish Wiener's lemmas for those matrix algebras.

     

ON THE TAYLOR'S JOINT SPECTRUM OF 2n-TUPLE (L_A, R_B)

Let A= (A_1, …, A_n) and B=(B_1, …, B_n) be double commuting n-tuples of operators on Hilbert space H and let L_(A_i), and R_(B_j), decode the left and right multiplications induced by A_i and B_j, respectively. The following results are proven: Sp (L_A, R_B)=Sp(A)×Sp(B), Sp_e(L_A, R_B)=Sp_e(A)×Sp(B) ∪ Sp(A)×Sp_e(B).     

参数函数$\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.     

Serre duality for non-commutative -bundles

Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .

     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

Convergence of Solutions of General Dispersive Equations Along Curve

In this paper, the authors give the local L~2 estimate of the maximal operator S_(φ,γ)~* of the operator family {S_(t,φ,γ)} defined initially by ■which is the solution(when n = 1) of the following dispersive equations(~*) along a curve γ:■where φ : R~+→R satisfies some suitable conditions and φ((-?)~(1/2)) is a pseudo-differential operator with symbol φ(|ξ|). As a consequence of the above result, the authors give the pointwise convergence of the solution(when n = 1) of the equation(~*) along curve γ.Moreover, a global L~2 estimate of the maximal operator S_(φ,γ)~* is also given in this paper.