On estimation of a density and its derivatives

Summary Letf _n ^(p) be a recursive kernel estimate off ^(p) thepth order derivative of the probability density functionf, based on a random sample of sizen. In this paper, we provide bounds for the moments of and show that the rate of almost sure convergence of to zero isO(n ^−α), α<(r−p)/(2r+1), iff ^(r),r>p≧0, is a continuousL ₂(−∞, ∞) function. Similar rate-factor is also obtained for the almost sure convergence of to zero under different conditions onf. This work was supported in part by the Research Foundation of SUNY.     

On numerical experiments with symmetric semigroups generated by three elements and their generalization

We give a simple explanation of numerical experiments of V. Arnold with two sequences of symmetric numerical semigroups, S(4,6+4k,87−4k) and S(9,3+9k,85−9k) generated by three elements. We present a generalization of these sequences by numerical semigroups S(r₁²,r₁r₂+r₁²k,r₃-r₁²k)\mathsf{S}(r_{1}^{2},r_{1}r_{2}+r_{1}^{2}k,r_{3}-r_{1}^{2}k), k∈ℤ, r ₁,r ₂,r ₃∈ℤ⁺, r ₁≥2 and gcd(r ₁,r ₂)=gcd(r ₁,r ₃)=1, and calculate their universal Frobenius number Φ(r ₁,r ₂,r ₃) for the wide range of k providing semigroups be symmetric. We show that this type of semigroups admit also nonsymmetric representatives. We describe the reduction of the minimal generating sets of these semigroups up to {r₁²,r₃-r₁²k}\{r_{1}^{2},r_{3}-r_{1}^{2}k\} for sporadic values of k and find these values by solving the quadratic Diophantine equation.     

Kernels of Toeplitz operators,smooth functions,and Bernstein type inequalities

Let ϕ be a unimodular function on the unit circle and let K_p(ϕ) denote the kernel of the Toeplitz operator T_ϕ in the Hardy space H^p, p≥1; . Suppose K_p(ϕ)≠{0}. The problem is to find out how the smoothness of the symbol ϕ influences the boundary smoothness of functions in K_p(ϕ). One of the main results is as follows. Theorem 1 Let 1<p, q<+∞, 1<r≤+∞, q⁻¹=p⁻¹+r⁻¹. Suppose |ϕ|≡1 on and ϕ∈W _r ¹ (i.e., ). Then K_p(ϕ)⊂W _q ¹ . Moreover, for any f∈K_p(ϕ) we have ‖f′‖_q≤c(p, r)‖ϕ′‖_r ‖f‖. Bibliography: 19 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 201, 1992, pp. 5–21. Translated by K. M. D'yakonov.     

Singular solutions of some nonlinear parabolic equations with spatially inhomogeneous absorption

We study the limit behaviour of solutions of with initial data k δ ₀ when k → ∞, where h is a positive nondecreasing function and p > 1. If h(r) = r ^β , β > N(p − 1) − 2, we prove that the limit function u _∞ is an explicit very singular solution, while such a solution does not exist if β ≤  N(p − 1) − 2. If lim inf _{r→ 0} r ² ln (1/h(r))  >  0, u _∞ has a persistent singularity at (0, t) (t ≥  0). If , u _∞ has a pointwise singularity localized at (0, 0).     

An elementary approach to gap theorems

Using elementary comparison geometry, we prove: Let (M, g) be a simply-connected complete Riemannian manifold of dimension ≥ 3. Suppose that the sectional curvature K satisfies −1 − s(r) ≤ K ≤ −1, where r denotes distance to a fixed point in M. If lim _{r → ∞} e^2r s(r) = 0, then (M, g) has to be isometric to ℍ ⁿ . The same proof also yields that if K satisfies −s(r) ≤ K ≤ 0 where lim _{r → ∞} r ² s(r) = 0, then (M, g) is isometric to ℝ ⁿ , a result due to Greene and Wu. Our second result is a local one: Let (M, g) be any Riemannian manifold. For a ∈ ℝ, if K ≤ a on a geodesic ball B _p (R) in M and K = a on ∂B _p (R), then K = a on B _p (R).     

Riesz multiwavelet bases generated by vector refinement equation

In this paper, we investigate compactly supported Riesz multiwavelet sequences and Riesz multiwavelet bases for L ₂(ℝ ^s ). Suppose ψ = (ψ¹,..., ψ ^r ) ^T and are two compactly supported vectors of functions in the Sobolev space (H ^μ(ℝ ^s )) ^r for some μ > 0. We provide a characterization for the sequences {ψ _jk ^l : l = 1,...,r, j ε ℤ, k ε ℤ ^s } and to form two Riesz sequences for L ₂(ℝ ^s ), where ψ _jk ^l = m ^j/2ψ ^l (M ^j ·−k) and , M is an s × s integer matrix such that lim _n→∞ M ⁻ⁿ = 0 and m = |detM|. Furthermore, let ϕ = (ϕ¹,...,ϕ ^r ) ^T and be a pair of compactly supported biorthogonal refinable vectors of functions associated with the refinement masks a, and M, where a and are finitely supported sequences of r × r matrices. We obtain a general principle for characterizing vectors of functions ψ^ν = (ψ^ν1,...,ψ^νr ) ^T and , ν = 1,..., m − 1 such that two sequences {ψ _jk ^νl : ν = 1,..., m − 1, l = 1,...,r, j ε ℤ, k ε ℤ ^s } and { : ν=1,...,m−1,ℓ=1,...,r, j ∈ ℤ, k ∈ ℤ ^s } form two Riesz multiwavelet bases for ^L ₂(ℝ ^s ). The bracket product [f, g] of two vectors of functions f, g in (L ₂(ℝ ^s )) ^r is an indispensable tool for our characterization. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771190, 10471123)     

Spaces of analytic functions of Hardy-Bloch type

For 0<p≤∞ and 0<q≤∞, the space of Hardy-Bloch type ℬ(p,q) consists of those functionsf which are analytic in the unit diskD such that (1−r)M _p (r,f′)⊂L ^q (dr/(1−r)). We note that ℬ(∞,∞) coincides with the Bloch space ℬ and that ℬ⊂ℬ(p,∞) for allp. Also, the space ℬ(p,p) is the Dirichlet spaceD _p−1 ^p . We prove a number of results on decomposition of spaces with logarithmic weights which allow us to obtain sharp results about the mean growth of the ℬ(p,q). In particular, we prove that iff is an analytic function inD and 2≤p<∞, then the conditionM _p (r,f′)=O((1−r)⁻¹), asr→1, implies that

On the Selberg orthogonality for automorphic L-functions

For automorphic L-functions L(s, π) and L( s,p^￠){L( s,\pi^{\prime })} attached to automorphic irreducible cuspidal representations π and π′ of GL_m( \mathbbQ_A){GL_{m}( \mathbb{Q}_{A})} and GL_m^￠(\mathbbQ_A) {GL_{m^{\prime }}(\mathbb{Q}_{A}) }, we prove the Selberg orthogonality unconditionally for m ≤ 4 and m′ ≤ 4, and under hypothesis H of Rudnik and Sarnak if m > 4 or m′ > 4, without the additional requirement that at least one of these representations be self-contragradient.     

New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups

A partial difference set having parameters (n ², r(n − 1), n + r ² − 3r, r ² − r) is called a Latin square type partial difference set, while a partial difference set having parameters (n ², r(n + 1), − n + r ² + 3r, r ² + r) is called a negative Latin square type partial difference set. Nearly all known constructions of negative Latin square partial difference sets are in elementary abelian groups. In this paper, we develop three product theorems that construct negative Latin square type partial difference sets and Latin square type partial difference sets in direct products of abelian groups G and G′ when these groups have certain Latin square or negative Latin square type partial difference sets. Using these product theorems, we can construct negative Latin square type partial difference sets in groups of the form where the s _i are nonnegative integers and s ₀ + s ₁ ≥ 1. Another significant corollary to these theorems are constructions of two infinite families of negative Latin square type partial difference sets in 3-groups of the form for nonnegative integers s _i . Several constructions of Latin square type PDSs are also given in p-groups for all primes p. We will then briefly indicate how some of these results relate to amorphic association schemes. In particular, we construct amorphic association schemes with 4 classes using negative Latin square type graphs in many nonelementary abelian 2-groups; we also use negative Latin square type graphs whose underlying sets can be elementary abelian 3-groups or nonelementary abelian 3-groups to form 3-class amorphic association schemes.      

Shape preserving widths of Sobolev-type classes ofs-monotone functions on a finite interval

LetI be a finite interval andr ∈ ℕ. Denote by △ ₊ ^s L _q the subset of all functionsy ∈L _q such that thes-difference △ _T ^s y(·) is nonnegative onI, ∀τ>0. Further, denote by △ ₊ ^s W _p ^r the class of functionsx onI with the seminorm ‖x ^(r) ‖L _p ≤1, such that △ _T ^s x≥0, τ > 0, τ>0. Fors=3,…,r+1, we obtain two-sided estimates of the shape preserving widths , whereM ⁿ is the set of all linear manifoldsM ⁿ inL _q , dimM ⁿ ≤n, such thatM ⁿ ⋂△ ₊ ^s L _q ≠ 0. Part of this work was done while the first author visited Tel Aviv University in 2001 and part of it while the second author was a member of the Industrial Mathematics Institute (IMI), University of South Carolina.     

Very weak solutions to elliptic equations with nonlinear Neumann boundary conditions

Consider the equation −Δu = 0 in a bounded smooth domain , complemented by the nonlinear Neumann boundary condition ∂_ν u = f(x, u) − u on ∂Ω. We show that any very weak solution of this problem belongs to L ^∞(Ω) provided f satisfies the growth condition |f(x, s)| ≤ C(1 + |s| ^p ) for some p ∈ (1, p*), where . If, in addition, f(x, s) ≥ −C + λs for some λ > 1, then all positive very weak solutions are uniformly a priori bounded. We also show by means of examples that p* is a sharp critical exponent. In particular, using variational methods we prove the following multiplicity result: if N ∈ {3, 4} and f(x, s) =  s ^p then there exists a domain Ω and such that our problem possesses at least two positive, unbounded, very weak solutions blowing up at a prescribed point of ∂Ω provided . Our regularity results and a priori bounds for positive very weak solutions remain true if the right-hand side in the differential equation is of the form h(x, u) with h satisfying suitable growth conditions.     

Omega subgroups of pro-<Emphasis Type="Italic">p</Emphasis> groups

Let G be a pro-p group and let k ≥ 1. If γ _k(p−1) (G) ≤ γ _r for some r and s such that k(p − 1) < r + s(p − 1), we prove that the exponent of Ω_i(G) is at most p ^i+k−1 for all i. Supported by the Spanish Ministry of Science and Education, grant MTM2004-04665, partly with FEDER funds. The first author is also supported by the University of the Basque Country, grant UPV05/99. The second author is also supported by the Basque Government.     

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})} .     

Structural formulas and value regions of functionals in certain classes of regular functions

We study the structural properties of the class M_k,λ,b(k≥2, 0≤λ≤1, b∈ℂ\{0}) of functions f(z)=z+ ... which are regular in |z|<1 and satisfy the conditions f(z)f′(z)z⁻¹≠0 and , where J(z)=λ(1+b⁻¹zf″(z)/f′(z)+(1−λ)(b⁻¹zf′(z)/f(z)+1−b⁻¹). The value regions of some functionals on this class are found. The case λ=1 was considered in our previous paper. Bibliography: 4 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 204, 1993, pp. 55–60. Translated by O. A. Ivanov.     

Asymptotic normality and efficiency of a weighted correlogram

For a process X(t)=Σ _j=1 ^M g _j (t)ξ _j (), where g_j(t) are nonrandom given functions, is a stationary vector-valued Gaussian process, Eξ_k(t) = 0, and Eξ_k(0) Eξ_l(τ) = r _kl(τ), we construct an estimate for the functions r _kl(τ) on the basis of observations X(t), t ∈ [0, T]. We establish conditions for the asymptotic normality of as T → ∞. We consider the problem of the optimal choice of parameters of the estimate depending on observations. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 7, pp. 937–947, July, 1998.     

Dominant Families of Pointed Curves in Projective Spaces

Fix non-negative integers r, e, m, g, s such that r ≥ 3, 0 ≤ m < r, e > 0, g + s ≤ er + max{0, m − 1} + 2, g ≤ (e − 1)r + max{0,m − 1} and 0 ≤ s ≤ er + 2. Set d := er + m. Fix any such that and S is in linearly general position. Fix an ordering of the points P ₁, . . . , P _s of S. Here we prove the existence of an irreducible family Γ of smooth, non-degenerate and connected curves with degree d and genus g, all of them containing S and such that the induced map is dominant. Received: September 19, 2006.     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

Convex mappings on some Reinhardt domains

In this paper, we consider the following Reinhardt domains. Let M = （M1, M2,..., Mn） ： [0,1] → [0,1]^n be a C2-function and Mj（0） = 0, Mj（1） = 1, Mj″ 〉 0, C1jr^pj-1 〈 Mj′（r） 〈 C2jr^pj-1, r∈ （0, 1）, pj 〉 2, 1 ≤ j ≤ n, 0 〈 C1j 〈 C2j be constants. Define
DM={z=（z1,z2,…,Zn）^T∈C^n：n∑j=1 Mj（｜zj｜）〈1}
Then DM C^n is a convex Reinhardt domain. We give an extension theorem for a normalized biholomorphic convex mapping f ： DM -→ C^n.     

Besov spaces andK-functionals inL p, 0<p<1*

We investigate Besov spaces and their connection with trigonometric polynomial approximation inL _p[−π,π], algebraic polynomial approximation inL _p[−1,1], algebraic polynomial approximation inL _p(S), and entire function of exponential type approximation inL _p(R), and characterizeK-functionals for certain pairs of function spaces including (L _p[−π,π],B _s ^a(L _p[−π,π])), (L _p(R),_s ^a(L_p(R))), , and , where 0<s≤∞, 0<p<1,S is a simple polytope and 0<α<r. This project is supported by the National Science Foundation of China.     

On sharp Kolmogorov-type inequalities taking into account the number of sign changes of derivatives

We obtain new sharp Kolmogorov-type inequalities, in particular the following sharp inequality for 2π-periodic functions x ∈ L _∞ ^r (T):