Remark on the Regularities of Kato’s Solutions to Navier-Stokes Equations with Initial Data in L^d(R^d)

Motivated by the results of J. Y. Chemin in ＂J. Anal. Math., 77, 1999, 27- 50＂ and G. Furioli et al in ＂Revista Mat. Iberoamer., 16, 2002, 605-667＂, the author considers further regularities of the mild solutions to Navier-Stokes equation with initial data uo ∈ L^d（R^d）. In particular, it is proved that if u C ∈（[0, T^＊）; L^d（R^d）） is a mild solution of （NSv）, then u（t,x）- e^vt△uo ∈ L^∞（（0, T）;B2/4^1,∞）~∩L^1 （（0, T）; B2/4^3 ,∞） for any T 〈 T^＊.     

Biorthogonal bases and multiple interpolation in weighted Hardy spaces

Let {z_k=x_k+iy_k} be a sequence on upper half plane and {s_i} be the number of appearence of z_k in {z₁,z₂,...,z_k}. Suppose sup s_i<+∞. Let ω(x) be a weight belonging to A^∞ and . We Consider the weighted Hardy space and operator T_p mapping f(z)∈H _+w ^p into a sequence defined by , 0<p≤+∞, j=1,2,.... Then T_p(H _+w ^p )=l^p if and only if {z_k} is uniformly separated. Besides the effective solution for interpolation is obtained. Supported by National Science Foundation of China and Shanghai Youth Science Foundation     

Nonvanishing derivatives and normal families

We consider the differential operators Ψ _k , defined by Ψ₁(y) =y and Ψ _k+1(y)=yΨ _k y+d/dz(Ψ _k (y)) fork ∈ ℕ fork∈ ℕ. We show that ifF is meromorphic in ℂ and Ψ _k F has no zeros for somek≥3, and if the residues at the simple poles ofF are not positive integers, thenF has the formF(z)=((k-1)z+a)/(z ²+β z+γ) orF(z)=1/(az+β) where α, β, γ ∈ ℂ. If the residues at the simple poles ofF are bounded away from zero, then this also holds fork=2. We further show that, under suitable additional conditions, a family of meromorphic functionsF is normal if each Ψ _k (F) has no zeros. These conditions are satisfied, in particular, if there exists δ>0 such that Re (Res(F, a)) <−δ for all polea of eachF in the family. Using the fact that Ψ _k (f ^′/f) =f ^(k)/f, we deduce in particular that iff andf ^(k) have no zeros for allf in some familyF of meromorphic functions, wherek≥2, then {f ^′/f :f ∈F} is normal. The first author is supported by the German-Israeli Foundation for Scientific Research and Development G.I.F., G-643-117.6/1999, and INTAS-99-00089. The second author thanks the DAAD for supporting a visit to Kiel in June–July 2002. Both authors thank Günter Frank for helpful discussions.     

Ordering Trees with Nearly Perfect Matchings by Algebraic Connectivity

Let T2k＋1 be the set of trees on 2k＋1 vertices with nearly perfect matchings and α（T） be the algebraic connectivity of a tree T. The authors determine the largest twelve values of the algebraic connectivity of the trees in T2k＋1. Specifically, 10 trees T2,T3,... ,T11 and two classes of trees T（1） and T（12） in T2k＋1 are introduced. It is shown in this paper that for each tree T^′1,T^″1∈T（1）and T^′12,T^″12∈T（12） and each i,j with 2≤i〈j≤11,α（T^′1）=α（T^″1）〉α（Tj）〉α（T^′12）=α（T^″12）.It is also shown that for each tree T with T∈T2k＋1／（T（1）∪{T2,T3,…,T11}∪T（12））,α（T^′12）〉α（T）.     

The second centralizer of a Bernoulli shift is just its powers

If ℐ is a collection of measure preserving transformations of a probability space, byC(ℐ), the centralizer of ℐ, we mean the group of all measure preserving transformationsS such thatTS=ST for allT ∈ ℐ. We show here that ifT is a Bernoulli shift, thenC(C(T))={T ⁱ |i ∈ Z}. The proof is carried out by constructing an action of Z², {T ₁ ⁱ °T ₂ ⁱ |i, j ∈ Z}, whereT ₁ is a Bernoulli shift of arbitrary entropy, but for anyj ≠ 0,C({T ₁,T ₂ ^i} ={T ₁ ⁱ °T ₂ ^k l, k ∈ Z}. The construction is a two-dimensional analogue of Ornstein’s “rank one mixing” transformation.     

Uniqueness theorem of solutions for stochastic differential equation in the plane

LetM={M _z, z ∈ R ₊ ² } be a continuous square integrable martingale andA={A _z, z ∈ R ₊ ² be a continuous adapted increasing process. Consider the following stochastic partial differential equations in the plane:dX _z=α(z, X_z)dM_z+β(z, X_z)dA_z, z∈R ₊ ² , X_z=Z_z, z∈∂R ₊ ² , whereR ₊ ² =[0, +∞)×[0,+∞) and ∂R ₊ ² is its boundary,Z is a continuous stochastic process on ∂R ₊ ² . We establish a new theorem on the pathwise uniqueness of solutions for the equation under a weaker condition than the Lipschitz one. The result concerning the one-parameter analogue of the problem we consider here is immediate (see [1, Theorem 3.2]). Unfortunately, the situation is much more complicated for two-parameter process and we believe that our result is the first one of its kind and is interesting in itself. We have proved the existence theorem for the equation in [2]. Supported by the National Science Foundation and the Postdoctoral Science Foundation of China     

Fixed point theorems for non-Lipschitzian mappings of asymptotically nonexpansive type

LetX be a Banach space,K a nonempty, bounded, closed and convex subset ofX, and supposeT:K→K satisfies: for eachx∈K, lim sup _i→∞{sup _y∈K ‖t ⁱx−Tⁱy∼−‖x−y‖}≦0. IfT ^N is continuous for some positive integerN, and if either (a)X is uniformly convex, or (b)K is compact, thenT has a fixed point inK. The former generalizes a theorem of Goebel and Kirk for asymptotically nonexpansive mappings. These are mappingsT:K→K satisfying, fori sufficiently large, ‖Tⁱx−Tⁱy‖≦k _i‖x−y∼,x,y∈K, wherek _i→1 asi→∞. The precise assumption in (a) is somewhat weaker than uniform convexity, requiring only that Goebel’s characteristic of convexity, ɛ₀ (X), be less than one. Research supported by National Science Foundation Grant GP 18045.     

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

Congruences Concerning Values of the Modular Functions <Emphasis Type="Italic">j</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The j-function j(z) = q⁻¹+ 744 + 196884q + ⋅s plays an important role in many problems. In [7], Zagier, presented an interesting series of functions obtained from the j-function: j_m(ζ) = (j(ζ) – 744)∨T₀(m), where T₀(m) is the usual m′th normalized weight 0 Hecke operator. In [3], Bruinier et al. show how this series of functions can be used to describe all meromorphic modular forms on SL₂(ℤ). In this note we use these functions and basic notions about modular forms to determine previously unidentified congruence relations between the coefficients of Eisenstein series and the j-function. 2000 Mathematics Subject Classification: Primary–11B50, 11F03, 11F30 The author thanks the National Science Foundation for their generous support.     

Large antipodal families

A family {A _i | i ∈ I} of sets in ℝ ^d is antipodal if for any distinct i, j ∈ I and any p ∈ A _i , q ∈ A _j , there is a linear functional ϕ:ℝ ^d → ℝ such that ϕ(p) ≠ ϕ(q) and ϕ(p) ≤ ϕ(r) ≤ ϕ(q) for all r ∈ ∪ _i∈I A _i . We study the existence of antipodal families of large finite or infinite sets in ℝ³. The research was supported by the Hungarian-South African Intergovernmental Scientific and Technological Cooperation Programme, NKTH Grant no. ZA-21/2006 and South African National Research Foundation Grant no. UID 61853, as well as Hungarian National Foundation for Scientific Research Grants no. NK 67867, no. T47102, and no. K72537.     

On pair correlations and Hausdorff dimension

We consider a system of “generalised linear forms” defined at a point x = (x _{(i, j)}) in a subset of R ^d by

On polynomial symbols for subdivision schemes

Given a dilation matrix A :ℤ^d→ℤ^d, and G a complete set of coset representatives of 2π(A ^−Tℤ^d/ℤ^d), we consider polynomial solutions M to the equation ∑ _g∈G M(ξ+g)=1 with the constraints that M≥0 and M(0)=1. We prove that the full class of such functions can be generated using polynomial convolution kernels. Trigonometric polynomials of this type play an important role as symbols for interpolatory subdivision schemes. For isotropic dilation matrices, we use the method introduced to construct symbols for interpolatory subdivision schemes satisfying Strang–Fix conditions of arbitrary order. Research partially supported by the Danish Technical Science Foundation, Grant No. 9701481, and by the Danish SNF-PDE network.     

Entire solutions of certain partial differential equations in<Emphasis Type="Bold">C</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We describe entire solutions inC ⁿ of non-linear partial differential equations of the form (∂w/∂z _j ) ^k =f(w), wheref is a meromorphic function in the complex plane andk is a positive integer. Supported in part by the National Science Foundation (USA) Grant DMS-0100486.     

Limsup results and LIL for partial sum processes of a Gaussian random field

Let {ξ _j ; j ∈ ℤ₊ ^d be a centered stationary Gaussian random field, where ℤ₊ ^d is the d-dimensional lattice of all points in d-dimensional Euclidean space ℝ^d, having nonnegative integer coordinates. For each j = (j ₁ , ..., jd) in ℤ₊ ^d , we denote |j| = j ₁ ... j _d and for m, n ∈ ℤ₊ ^d , define S(m, n] = Σ _m<j≤n ζ _j , σ²(|n−m|) = ES ² (m, n], S _n = S(0, n] and S ₀ = 0. Assume that σ(|n|) can be extended to a continuous function σ(t) of t > 0, which is nondecreasing and regularly varying with exponent α at b ≥ 0 for some 0 < α < 1. Under some additional conditions, we study limsup results for increments of partial sum processes and prove as well the law of the iterated logarithm for such partial sum processes. Research supported by NSERC Canada grants at Carleton University, Ottawa     

On exactlym times covers

In this paper it is shown that if every integer is covered bya ₁+n ₁ℤ,…,a _k +n _k ℤ exactlym times then for eachn=1,…,m there exist at least ( _n ^m ) subsetsI of {1,…k} such that ∑ _{i ∈ I} 1/n _i equalsn. The bound ( _n ^m ) is best possible. Research supported by the National Nature Science Foundation of P.R. of China.     

Subsequence generators for ergodic group translations

LetT be an ergodic translation on a compact abelian group. For every infinite set of integers {n _i} and ε >0 there is a setA of measure less than ε such that {T ⁿ _iA} generates the σ-algebra of measurable sets. Research partially supported by National Science Foundation Grants MCS7703659 (first author) and MCS7606735A01 (second author).     

Families of meromorphic functions avoiding continuous functions

Leth ₁,h ₂ andh ₃ be continuous functions from the unit disk D into the Riemann sphereC such thath _i(z) ≠ h_j(z) (i ≠ j) for eachz∈D. We prove that the setF of all functionsf meromorphic on D such thatf(z)≠h _j (z) for allz ∈ D andj=1,2,3 is a normal family. The result and the method of the proof extend to quasimeromorphic functions in higher dimensions as well. The second author was supported by a Heisenberg fellowship of the DFG. The fourth author was partially supported by the Marsden Fund, New Zealand. This research was completed while the authors were attending a conference at Mathematisches Forschungsinstitut Oberwolfach in Germany. The authors would like to express their sincere thanks to the Institute for providing a stimulating atmosphere and for its kind hospitality.     

Completeness of the system {z^λn} in L^2[B,α0]

Let B be an unbounded domain located outside an angle domain with vertex at the origin, A ={λn}（n = 1,2,...） be a sequence of complex numbers satisfying sup ｜ arg（λn）｜ 〈 α 〈 π/2 and denote by M（∧） = {z^λ, λ ∈ ∧} the corresponding system of functions z^λ（λ∈∧）. Let α0（z） be a weight function defined on B. We obtain a completeness theorem for the system M（∧） in the Hilbert space L^2 [B, α0].     

On the Nevanlinna characteristic of <Emphasis Type="Italic">f</Emphasis>(<Emphasis Type="Italic">z</Emphasis>+<Emphasis Type="Italic">η</Emphasis>) and difference equations in the complex plane

We investigate the growth of the Nevanlinna characteristic of f(z+η) for a fixed η∈C in this paper. In particular, we obtain a precise asymptotic relation between T(r,f(z+η)) and T(r,f), which is only true for finite order meromorphic functions. We have also obtained the proximity function and pointwise estimates of f(z+η)/f(z) which is a discrete version of the classical logarithmic derivative estimates of f(z). We apply these results to give new growth estimates of meromorphic solutions to higher order linear difference equations. This also allows us to solve an old problem of Whittaker (Interpolatory Function Theory, Cambridge University Press, Cambridge, 1935) concerning a first order difference equation. We show by giving a number of examples that all of our results are best possible in certain senses. Finally, we give a direct proof of a result in Ablowitz, Halburd and Herbst (Nonlinearity 13:889–905, 2000) concerning integrable difference equations. This research was supported in part by the Research Grants Council of the Hong Kong Special Administrative Region, China (HKUST6135/01P). The second author was also partially supported by the National Natural Science Foundation of China (Grant No. 10501044) and the HKUST PDF Matching Fund.     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.