The density of rational points on non-singular hypersurfaces

LetF(x) =F[x₁,…,x_n]∈ℤ[x₁,…,x_n] be a non-singular form of degree d≥2, and letN(F, X)=#{xεℤ ⁿ ;F(x)=0, |x|⩽X}, where . It was shown by Fujiwara [4] [Upper bounds for the number of lattice points on hypersurfaces,Number theory and combinatorics, Japan, 1984, (World Scientific Publishing Co., Singapore, 1985)] thatN(F, X)≪X ^n−2+2/n for any fixed formF. It is shown here that the exponent may be reduced ton - 2 + 2/(n + 1), forn ≥ 4, and ton - 3 + 15/(n + 5) forn ≥ 8 andd ≥ 3. It is conjectured that the exponentn - 2 + ε is admissable as soon asn ≥ 3. Thus the conjecture is established forn ≥ 10. The proof uses Deligne’s bounds for exponential sums and for the number of points on hypersurfaces over finite fields. However a composite modulus is used so that one can apply the ‘q-analogue’ of van der Corput’s AB process. Dedicated to the memory of Professor K G Ramanathan     

An Erdös-Ko-Rado theorem for restricted signed sets

A restricted signed r-set is a pair （A, f）, where A lohtain in [n] = {1, 2,…, n} is an r-set and f is a map from A to [n] with f（i） ≠ i for all i ∈ A. For two restricted signed sets （A, f） and （B, g）, we define an order as （A, f） ≤ （B, g） if A C B and g｜A ： f A family .A of restricted signed sets on [n] is an intersecting antiehain if for any （A, f）, （B, g） ∈ A, they are incomparable and there exists x ∈ A ∩ B such that f（x） = g（x）. In this paper, we first give a LYM-type inequality for any intersecting antichain A of restricted signed sets, from which we then obtain ｜A｜≤ （r-1^n-1）（n-1）^r-1 if A. consists of restricted signed r-sets on [n]. Unless r = n = 3, equality holds if and only if A consists of all restricted signed r-sets （A, f） such that x0∈ A and f（x0） =ε0 for some fixed x0 ∈ [n], ε0 ∈ [n] ／ {x0}.     

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

On Sikkema-Kantorovič polynomials of order K

Let a_n≥0 and F(u)∈C [0,1], Sikkema constructed polynomials: , ifα _n ≡0, then B_n (0, F, x) are Bernstein polynomials. Let , we constructe new polynomials in this paper: Q _n ^(k) (α _n ,f(t))=d ^k /dx ^k B _n+k (α _n ,F _k (u),x), which are called Sikkema-Kantorovic polynomials of order k. Ifα _n ≡0, k=1, then Q_n ⁽¹⁾ (0, f(t), x) are Kantorovič polynomials P_n(f). Ifα _n =0, k=2, then Q_n ⁽²⁾, (0, f(t), x) are Kantorovič polynomials of second order (see Nagel). The main result is: Theorem 2. Let 1≤p≤∞, in order that for every f∈L^P [0, 1], , it is sufficient and necessary that , § 1. Let f(t) de a continuous function on [a, b], i. e., f∈C [a, b], we define^{[1–2],[8–10]}: . As usual, for the space L^p [a,b](1≤p<∞), we have and L[a, b]=l¹[a, b]. Letα _n ⩾0and F(u)∈C[0,1],Sikkema-Bernstein polynomials ^{[3] [4]}. The author expresses his thanks to Professor M. W. Müller of Dortmund University at West Germany for his supports.     

TWO-DISTANCE PRESERVING FUNCTIONS FROM EUCLIDEAN SPACE

Let 0 < c < s be fixed real numbers such that , and let f : E² → E ^d for d ≥ 2 be a function such that for every p, q ∈ E ² if |p − q| = c, then |f(p) − f(q)| ≤ c, and if |p − q| = s, then |f(p) − f(q)| ≥ s. Then f is a congruence. This result depends on and expands a result of Rádo et. al. [9], where a similar result holds, but for replacing . We also present a further extensions where E² is replaced by E ⁿ for n > 2 and where the range of c/s is enlarged. This revised version was published online in August 2006 with corrections to the Cover Date.     

Regularity of solutions of Poisson’s equation in multiplier spaces

The most important result stated in this paper is to show that the solutions of the Poisson equation −Δu = f, where f ∈ (Ḣ¹(ℝ ^d ) → (Ḣ⁻¹(ℝ ^d )) is a complex-valued distribution on ℝ ^d , satisfy the regularity property D ^k u ∈ (Ḣ¹ → Ḣ⁻¹) for all k, |k| = 2. The regularity of this equation is well studied by Maz’ya and Verbitsky [12] in the case where f belongs to the class of positive Borel measures.      

Global-in-time Uniform Convergence for Linear Hyperbolic-Parabolic Singular Perturbations

We consider the Cauchy problem εu^″ε ＋ δu′ε ＋ Auε = 0, uε（0） = uo, u′ε（0） = ul, where ε 〉 0, δ 〉 0, H is a Hilbert space, and A is a self-adjoint linear non-negative operator on H with dense domain D（A）. We study the convergence of （uε） to the solution of the limit problem ,δu＇ ＋ Au = 0, u（0） = u0. For initial data （u0, u1） ∈ D（A1/2）× H, we prove global-in-time convergence with respect to strong topologies. Moreover, we estimate the convergence rate in the case where （u0, u1）∈ D（A3/2） ∈ D（A1/2）, and we show that this regularity requirement is sharp for our estimates. We give also an upper bound for ｜u′ε（t）｜ which does not depend on ε.     

Convergence rates of the LIL for random fields in Hilbert spaces

Considering the positive d-dimensional lattice point Z ₊ ^d (d ≥ 2) with partial ordering ≤, let {X _k: k ∈ Z ₊ ^d } be i.i.d. random variables taking values in a real separable Hilbert space (H, ‖ · ‖) with mean zero and covariance operator Σ, and set $ S_n = \sum\limits_{k \leqslant n} {X_k } $ S_n = \sum\limits_{k \leqslant n} {X_k } , n ∈ Z ₊ ^d . Let σ _i ², i ≥ 1, be the eigenvalues of Σ arranged in the non-increasing order and taking into account the multiplicities. Let l be the dimension of the corresponding eigenspace, and denote the largest eigenvalue of Σ by σ ². Let logx = ln(x ∨ e), x ≥ 0. This paper studies the convergence rates for $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) . We show that when l ≥ 2 and b > −l/2, E[‖X‖²(log ‖X‖) ^d−2(log log ‖X‖) ^b+4] < ∞ implies $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} , where Γ(·) is the Gamma function and $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } .     

Algebraic methods in sum-product phenomena

We classify the polynomials f(x, y) ∈ ℝ[x, y] such that, given any finite set A ⊂ ℝ, if |A + A| is small, then |f(A,A)| is large. In particular, the following bound holds: |A + A‖f(A,A)| ≳ |A|^5/2. The Bezout theorem and a theorem by Y. Stein play an important role in our proof.     

Quantitative form of the Luzin <Emphasis Type="Italic">C</Emphasis>-property

We prove the following statement, which is a quantitative form of the Luzin theorem on C-property: Let (X, d, μ) be a bounded metric space with metric d and regular Borel measure μ that are related to one another by the doubling condition. Then, for any function f measurable on X, there exist a positive increasing function η ∈ Ω (η(+0) = 0 and η(t)t ^−a decreases for a certain a > 0), a nonnegative function g measurable on X, and a set E ⊂ X, μE = 0 , for which

A note on regularity for a class of quasilinear elliptic equations

The following regularity of weak solutions of a class of elliptic equations of the form are investigated.     

Continuous functions taking every value a given number of times

We give necessary and sufficient conditions for a function f: [0, 1] → {1,2,...,w, c} under which there exists a continuous function F: [0, 1] → [0, 1] such that for every y ɛ [0, 1], |F ⁻¹ (y)| = f(y).      

A zero-one law for random subgroups of some totally disconnected groups

Let A be a locally compact group topologically generated by d elements and let k > d. Consider the action, by precomposition, of Γ = Aut(F _k ) on the set of marked, k-generated, dense subgroups $ {D_{k,A}}: = \left\{ {\eta \in {\text{Hom}}\left( {{F_k},A} \right)\left| {\overline {\left\langle {\phi \left( {{F_k}} \right)} \right\rangle } = A} \right.} \right\} Let A be a locally compact group topologically generated by d elements and let k > d. Consider the action, by precomposition, of Γ = Aut(F _k ) on the set of marked, k-generated, dense subgroups D_k,A: = { h ? \textHom( F_k,A )| [`( á f( F_k ) ñ )] = A } {D_{k,A}}: = \left\{ {\eta \in {\text{Hom}}\left( {{F_k},A} \right)\left| {\overline {\left\langle {\phi \left( {{F_k}} \right)} \right\rangle } = A} \right.} \right\} . We prove the ergodicity of this action for the following two families of simple, totally disconnected, locally compact groups:

•	A = PSL2(K) where K is a non-Archimedean local field (of characteristic ≠ 2);
•	A = Aut0(T q+1)—the group of orientation-preserving automorphisms of a q + 1 regular tree, for q \geqslant 2.q \geqslant 2.

In contrast, a recent result of Minsky’s shows that the same action fails to be ergodic for A = PSL₂(C) and, when k is even, also for A = PSL₂(R). Therefore, if k \geqslant 4 k \geqslant 4 is even and K is a local field (with char(K) ≠ 2), the action of Aut(F _k ) on D_{k,\textPS\textL2(K)} {D_{k,{\text{PS}}{{\text{L}}_2}(K)}} is ergodic if and only if K is non-Archimedean. Ergodicity implies that every “measurable property” either holds or fails to hold for almost every k-generated dense subgroup of A.     

Duals of holomorphic Besov spaces on the polydisks and diagonal mappings

Let U ⁿ be the unit polydisk in C ⁿ and S be the space of functions of regular variation. Let 1 ≤ p < ∞, ω = (ω ₁, ..., ω _n ), ω _j ∈ S(1 ≤ j ≤ n) and f ∈ H(U ⁿ ). The function f is said to be in holomorphic Besov space B _p (ω) if

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.     

On the ingham divisor problem

The main result of this paper is the following theorem. Suppose thatτ(n) = ∑ _d|n l and the arithmetical functionF satisfies the following conditions:

Roots of the affine Cremona group

Let k ^[n] = k[x ₁,…, x _n ] be the polynomial algebra in n variables and let \mathbbAⁿ = \textSpec  \boldk^{[ n ]} {\mathbb{A}^n} = {\text{Spec}}\;{{\bold{k}}^{\left[ n \right]}} . In this note we show that the root vectors of \textAu\textt^*( \mathbbAⁿ ) {\text{Au}}{{\text{t}}^*}\left( {{\mathbb{A}^n}} \right) , the subgroup of volume preserving automorphisms in the affine Cremona group \textAut( \mathbbAⁿ ) {\text{Aut}}\left( {{\mathbb{A}^n}} \right) , with respect to the diagonal torus are exactly the locally nilpotent derivations x ^α (∂/∂x _i ), where x ^α is any monomial not depending on x _i . This answers a question posed by Popov.     

Operator error estimates in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> for homogenization of an elliptic dirichlet problem

In a bounded domain O ⊂ ℝd with C ^1,1 boundary a matrix elliptic second-order operator A _D,ɛ with Dirichlet boundary condition is studied. The coefficients of this operator are periodic and depend on x/ɛ, where ɛ s 0 is a small parameter. The sharp-order error estimate $ \left\| {A_{D,\varepsilon }^{ - 1} - \left( {A_D^0 } \right)^{ - 1} } \right\|\left. {L_2 \to L_2 \leqslant C\varepsilon } \right| $ \left\| {A_{D,\varepsilon }^{ - 1} - \left( {A_D^0 } \right)^{ - 1} } \right\|\left. {L_2 \to L_2 \leqslant C\varepsilon } \right|      

The hardy and bellman operators in spaces connected with H( \mathbb{T} ) and BMO( \mathbb{T} )

Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series $ \sum\limits_{n = 1}^\infty {a_n } Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series cos nx. According to one result of G.H. Hardy, the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. But if 1 < p ≤ ∞ and f ∈ L ^p [0, π], then the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. Similar assertions are true for sine series. This allows one to define the Hardy operator on L ^p (), 1 ≤ p < ∞, and to define the Bellman operator on L ^p (), 1 < p ≤ ∞. In this paper we prove that the Bellman operator boundedly acts in VMO(), and the Hardy operator also maps a certain subspace C() onto VMO(). We also prove the invariance of certain classes of functions with given majorants of modules of continuity or best approximations in the spaces H(), L(), VMO() with respect to the Hardy and Bellman operators. Original Russian Text ? S.S. Volosivets and B.I. Golubov, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 5, pp. 4–13.     

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.