Some Limit Theorems for a Particle System of Single Point Catalytic Branching Random Walks

We study the scaling limit for a catalytic branching particle system whose particles perform random walks on Z and can branch at 0 only. Varying the initial （finite） number of particles, we get for this system different limiting distributions. To be more specific, suppose that initially there are n^β particles and consider the scaled process Zt^n（·） = Znt（√n·）, where Zt is the measure-valued process 1 and to a representing the original particle system. We prove that Ztn converges to 0 when β 〈1/4 and to a nondegenerate discrete distribution when β=1/4.In addition,if 1/4〈β〈1/2 then n-^（2β-1/2）Zt^n converges to a random limit,while if β 〉21then n^-βZtn converges to a deterministic limit.     

Strong Approximation by Cesàro Means with Critical Index in the Hardy Spaces H p (\mathbb{S}^{{d - 1}} ) (0 < p ≤ 1)

Let be a unit sphere of the d–dimensional Euclidean space ℝ ^d and let (0 < p ≤ 1) denote the real Hardy space on For 0 < p ≤ 1 and let E _j (f,H ^p ) (j = 0, 1, ...) be the best approximation of f by spherical polynomials of degree less than or equal to j, in the space Given a distribution f on its Cesàro mean of order δ > –1 is denoted by For 0 < p ≤ 1, it is known that is the critical index for the uniform summability of in the metric H ^p . In this paper, the following result is proved: Theorem Let 0<p<1 and Then for

Asymptotic Expansions of the Heat Kernel of the Laplacian for General Annular Bounded Domains with Robin Boundary Conditions：Further Results

The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained.     

Semi-Fredholm Spectrum and Weyl＇s Theorem for Operator Matrices

When A ∈ B（H） and B ∈ B（K） are given, we denote by Mc an operator acting on the Hilbert space HΘ K of the form Me = （ A0 CB）. In this paper, first we give the necessary and sufficient condition for Mc to be an upper semi-Fredholm （lower semi-Fredholm, or Fredholm） operator for some C ∈B（K,H）. In addition, let σSF＋（A） = {λ ∈ C ： A-λI is not an upper semi-Fredholm operator} bc the upper semi-Fredholm spectrum of A ∈ B（H） and let σrsF- （A） = {λ∈ C ： A-λI is not a lower semi-Fredholm operator} be the lower semi Fredholm spectrum of A. We show that the passage from σSF±（A） U σSF±（B） to σSF±（Mc） is accomplished by removing certain open subsets of σSF-（A） ∩σSF＋ （B） from the former, that is, there is an equality σSF±（A） ∪σSF± （B） = σSF± （Mc） ∪＆ where L is the union of certain of the holes in σSF±（Mc） which ilappen to be subsets of σSF- （A） A σSF＋ （B）. Weyl＇s theorem and Browder＇s theorem are liable to fail for 2 × 2 operator matrices. In this paper, we also explore how Weyl＇s theorem, Browder＇s theorem, a-Weyl＇s theorem and a-Browder＇s theorem survive for 2 × 2 upper triangular operator matrices on the Hilbert space.     

Wavelets and Geometric Structure for Function Spaces

Abstract With Littlewood–Paley analysis, Peetre and Triebel classified, systematically, almost all the usual function spaces into two classes of spaces: Besov spaces and Triebel–Lizorkin spaces ; but the structure of dual spaces of is very different from that of Besov spaces or that of Triebel–Lizorkin spaces, and their structure cannot be analysed easily in the Littlewood–Paley analysis. Our main goal is to characterize in tent spaces with wavelets. By the way, some applications are given: (i) Triebel–Lizorkin spaces for p = ∞ defined by Littlewood–Paley analysis cannot serve as the dual spaces of Triebel–Lizorkin spaces for p = 1; (ii) Some inclusion relations among these above spaces and some relations among and L ¹ are studied. Supported by NNSF of China (Grant No. 10001027)     

A Representation of the Lorentz Spin Group and Its Application

For an integer m ≥ 4, we define a set of 2[m/2] × 2[m/2] matrices γj （m）, （j = 0, 1,..., m - 1） which satisfy γj （m）γk （m） ＋γk （m）γj （m） = 2ηjk （m）I[m/2], where （ηjk （m）） 0≤j,k≤m-1 is a diagonal matrix, the first diagonal element of which is 1 and the others are -1, I[m/2] is a 2[m/1] × 2[m/2] identity matrix with [m/2] being the integer part of m/2. For m = 4 and 5, the representation （m） of the Lorentz Spin group is known. For m≥ 6, we prove that （i） when m = 2n, （n ≥ 3）, （m） is the group generated by the set of matrices {T｜T=1/√ξ（（I＋k） 0 ＋ 0 I-K） （ U 0 0 U）, （ii） when m = 2n ＋ 1 （n≥ 3）, （m） is generated by the set of matrices {T｜T=1/√ξ（I -k^- k I）U,U∈ （m-1）,ξ=1-m-2 ∑k,j=0 ηkja^k a^j〉0, K=i[m-3 ∑j=0 a^j γj（m-2）＋a^（m-2） In],K^-=i[m-3∑j=0 a^j γj（m-2）-a^（m-2） In]}     

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

Fundamental Solution of the Anisotropic Porous Medium Equation

We establish the existence of fundamental solutions for the anisotropic porous medium equation, ut = ∑n i=1（u^mi）xixi in R^n × （O,∞）, where m1,m2,..., and mn, are positive constants satisfying min1≤i≤n{mi}≤ 1, ∑i^n=1 mi 〉 n - 2, and max1≤i≤n{mi} ≤1/n（2 ＋ ∑i^n=1 mi）.     

Ultraproducts of real interpolation spaces between L p -spaces

Let , be a family of compatible couples of L^p-spaces. We show that, given a countably incomplete ultrafilter in , the ultraproduct of interpolation spaces defined by the real method is isomorphic to the direct sum of an interpolation space of type , an intermediate K?the space between and being a purely atomic measure space, and a K?the function space K(Ω₃) defined on some purely non atomic measure space (Ω₃, ν₃) in such a way that Ω₂ ∪ Ω₃ ≠∅. The research of first and third authors is partially supported by the MEC and FEDER project MTM2004-02262 and AVCIT group 03/050.     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

The 3D Inverse Problem of the Wave Equation for a General Multi-connected Vibrating Membrane with a Finite Number of Piecewise Smooth Boundary Conditions

The trace of the wave kernel μ（t） =∑ω=1^∞ exp（-itEω^1/2）, where {Eω}ω^∞=1 are the eigenvalues of the negative Laplacian -△↓2 = -∑k^3=1 （δ/δxk）^2 in the （x^1, x^2, x^3）-space, is studied for a variety of bounded domains, where -∞ 〈 t 〈 ∞ and i= √-1. The dependence of μ （t） on the connectivity of bounded domains and the Dirichlet, Neumann and Robin boundary conditions are analyzed. Particular attention is given for a multi-connected vibrating membrane Ω in Ra surrounded by simply connected bounded domains Ω j with smooth bounding surfaces S j （j = 1,……, n）, where a finite number of piecewise smooth Dirichlet, Neumann and Robin boundary conditions on the piecewise smooth components Si^＊ （i = 1 ＋ kj-1,……, kj） of the bounding surfaces S j are considered, such that S j = Ui-1＋kj-1^kj Si^＊, where k0=0. The basic problem is to extract information on the geometry Ω by using the wave equation approach from a complete knowledge of its eigenvalues. Some geometrical quantities of Ω （e.g. the volume, the surface area, the mean curvuture and the Gaussian curvature） are determined from the asymptotic expansion ofexpansion of μ（t） for small │t│.     

The Asymptotics of the Two-Dimensional Wave Equation for a General Multi-Connected Vibrating Membrane with Piecewise Smooth Robin Boundary Conditions

The asymptotic expansion for small |t| of the trace of the wave kernel ∧↑μ(t) =∑v=1^∞exp(-it μv^1/2), where i= √-1 and {μv}v=1^∞ are the eigenvalues of the negative Laplacian -△=-∑β=1^2(δ/δx^β)^2 in the (x^1, x^2)-plane, is studied for a multi-connected vibrating membrane Ω in R^2 surrounded by simply connected bounded domains Ωj with smooth boundaries δΩj(j=1,...,n), where a finite number of piecewise smooth Robin boundary conditions on the piecewise smooth components Гi(i=1 κj-1,...,κj) of the boundaries δΩj are considered, such that δΩj=∪i=1 κj-1^κj Гi and κ0=0. The basic problem is to extract information on the geometry of Ω using the wave equation approach. Some geometric quantities of Ω (e.g. the area of Ω, the total lengths of its boundary, the curvature of its boundary, the number of the holes of Ω, etc.) are determined from the asymptotic expansion of the trace of the wave kernel ∧↑μ(t) for small |t|.     

Precise Asymptotics in the Law of the Iterated Logarithm of Moving-Average Processes

In this paper, we discuss the moving-average process Xk = ∑i=-∞ ^∞ ai＋kεi, where {εi;-∞ 〈 i 〈 ∞} is a doubly infinite sequence of identically distributed ψ-mixing or negatively associated random variables with mean zeros and finite variances, {ai;-∞ 〈 i 〈 -∞） is an absolutely solutely summable sequence of real numbers.     

8-ranks of Class Groups of Some Imaginary Quadratic Number Fields

Let F = Q（√-p1p2） be an imaginary quadratic field with distinct primes p1 = p2 = 1 mod 8 and the Legendre symbol （p1/p2） = 1. Then the 8-rank of the class group of F is equal to 2 if and only Pl if the following conditions hold： （1） The quartic residue symbols （p1/p2）4 = （p2/p1）4 = 1; （2） Either both p1 and p2 are represented by the form a^2 ＋ 32b^2 over Z and p^h2＋（2p1）/4=x^2-2p1y^2,x,y∈Z,or both p1 and p2 are not represented by the form a^2 ＋ 32b^2 over Z and p^h2＋（2p1）/4=ε（2x^2-p1y^2）,x,y∈Z,ε∈{±1},where h＋（2p1） is the narrow class number of Q（√2p1）,Moreover, we also generalize these results.     

Boundedness of Some Marcinkiewicz Integral Operators Related to Higher Order Commutators on Hardy Spaces

In this paper, the authors study the boundedness properties of μΩ↑m,b generated by the function b ∈Lipβ（R^n）（0 〈β≤ 1/m） and the Marcinkiewicz integrals operator μΩ. The boundednesses are established on the Hardy type spaces Hb^m^p,n（R^n） and the Herz Hardy type spaces Hbm Kq^α,p（R^b）.     

Nonlinear Parabolic Equations with Singularities in Colombeau Vector Spaces

We consider nonlinear parabolic equations with nonlinear non-Lipschitz＇s term and singular initial data like Dirac measure, its derivatives and powers. We prove existence-uniqueness theorems in Colombeau vector space yC^1,W^2,2（[0,T）,R^n）,n ≤ 3. Due to high singularity in a case of parabolic equation with nonlinear conservative term we employ the regularized derivative for the conservative term, in order to obtain the global existence-uniqueness result in Colombeau vector space yC^1,L^2（[0,T）,R^n）,n≤ 3.     

Uniform Convergence Rate of Estimators of Autocovariances in Partly Linear Regression Models with Correlated Errors

Consider the partly linear regression model ,where yi's are responses, xi = (xi1, xi2,…,xip)' and ti ∈T are known and nonrandom design points, T is a compact set in the real line is an unknown parameter vector, g(·) is an unknown function and {Ei} isa linear process, i.e., random variables with zeromean and variance o2e. Drawing upon B-spline estimation of g(·) and least squares estimation of 0, we construct estimators of the autocovariances of {Ei}- The uniform strong convergence rate of these estimators to their true values is then established. These results not only are a compensation for those of [23], but also have some application in modeling error structure. When the errors {Ei} are an ARMA process, our result can be used to develop a consistent procedure for determining the order of the ARMA process and identifying the non-zero coefficients of the process. Moreover, our result can be used to construct the asymptotically efficient estimators for parameters in the ARMA error process.     

On the Relationship Between the Baum-Katz-Spitzer Complete Convergence Theorem and the Law of the Iterated Logarithm

For a sequence of i.i.d. Banach space-valued random variables {Xn; n ≥ 1} and a sequence of positive constants {an; n ≥ 1}, the relationship between the Baum-Katz-Spitzer complete convergence theorem and the law of the iterated logarithm is investigated. Sets of conditions are provided under which （i） lim sup n→∞ ｜｜Sn｜｜/an〈∞ a.s.and ∞ ∑n=1（1/n）P（｜｜Sn｜｜/an ≥ε〈∞for all ε 〉 λ for some constant λ ∈ [0, ∞） are equivalent; （ii） For all constants λ ∈ [0, ∞）, lim sup ｜｜Sn｜｜/an =λ a.s.and ^∞∑ n=1（1/n） P（｜｜Sn｜｜/an ≥ε）{〈∞, if ε〉λ =∞,if ε〈λare equivalent. In general, no geometric conditions are imposed on the underlying Banach space. Corollaries are presented and new results are obtained even in the case of real-valued random variables.     

On the Order of Magnitude of the Divisor Function

Let D be an increasing sequence of positive integers, and consider the divisor functions： d（n, D） =∑d｜n,d∈D,d≤√n1, d2（n,D）=∑[d,δ]｜n,d,δ∈D,[d,δ]≤√n1, where [d,δ]=1.c.m.（d,δ）. A probabilistic argument is introduced to evaluate the series ∑n=1^∞and（n,D） and ∑n=1^∞and2（n,D）.