DENSEST CIRCLE PACKING ON THE FLAT TORUS

Melissen [1] considered packings of k congruent circles in the symmetric flat torus T ² = [0, 1)² and determined the largest possible radius for k ≤ 4. In the present paper the analogous problem is studied for an arbitrary asymmetric torus T′² = [0,b) × [0,a), 0 < a ≤ b and the maximal radius is found again for k ≤ 4. This revised version was published online in August 2006 with corrections to the Cover Date.     

A nonlinear version of Roth's theorem for sets of positive density in the real line

It is proved that given ε>0, there is δ(ε)>0 such that ifS is a measurable set of [0,N], |S|>εN, then there is a triplex, x+h, x+h ² inS withh satisfyingh>δ(ε)N ^1/2. The argument is related to [B] and uses the behavior of certain non-linear convolution-type operators. The method can be adapted in a variety of situations. For instance, it can be used to prove the analogue of the previous statement with the square replaced by another power,h ³,h ⁴ etc.     

Retrieving random media

Benjamini asked whether the scenery reconstruction methods of Matzinger (see e.g. [21], [22], [20]) can be done in polynomial time. In this article, we give the following answer for a 2-color scenery and simple random walk with holding: We prove that a piece of the scenery of length of the order 3 ⁿ around the origin can be reconstructed – up to a reflection and a small translation – with high probability from the first 2 · 3^{10 αn} observations with a constant α > 0 independent of n. Thus, the number of observations needed is polynomial in the length of the piece of scenery which we reconstruct. The probability that the reconstruction fails tends to 0 as n→∞. In contrast to [21], [22], and [20], the proofs in this article are all constructive. Our reconstruction algorithm is an algorithm in the sense of computer science. This is the first article which shows that the scenery reconstruction is also possible in the 2-color case with holding. The case with holding is much more difficult than [22] and requires completely different methods.     

Regularity at the boundary for v onQ-pseudoconvex domainsonQ-pseudoconvex domains

Solvability for with regularity at the boundary of a domain Ω ⊂⊂ ℂ ⁿ for forms of any degreek≥1 was characterized by pseudoconvexity of ϖΩ in [16]. It is proved here thatq-pseudoconvexity suffices to guarantee solvability of forms of degreek≥q+1. The method relies on theL ² estimates in [13], and on their Sobolev version in [15] and [16].     

On Cesáro summability of fourier series with respect to double complete orthonormal systems

Let {ϕn(x), n = 1, 2,...} be an arbitrary complete orthonormal system on the interval I:= [0, 1]which consists of a.e. bounded functions. Suppose that E ₀ ⊂ I ² is any Lebesgue measurable set such that μ₂ E ₀ > 0, and φ, φ(0) = 0, is an increasing continuous function on [0, ∞) with φ(u) = o(u ln u) as u → ∞. Then there exist a function f ∈ L¹(I ²) and a set E ₀ ^′ , ⊂ E ₀, μ₂ E ₀ ^′ > 0, such that

On double sine and cosine transforms,Lipschitz and Zygmund classes

We consider complex-valued functions f ∈ L 1 (R+2),where R +:= [0,∞),and prove sufficient conditions under which the double sine Fourier transform f ss and the double cosine Fourier transform f cc belong to one of the two-dimensional Lipschitz classes Lip(α,β) for some 0 α,β≤ 1;or to one of the Zygmund classes Zyg(α,β) for some 0 α,β≤ 2.These sufficient conditions are best possible in the sense that they are also necessary for nonnegative-valued functions f ∈ L 1 (R+2).     

Some properties of the range of super-Brownian motion

We consider a super-Brownian motion X. Its canonical measures can be studied through the path-valued process called the Brownian snake. We obtain the limiting behavior of the volume of the ɛ-neighborhood for the range of the Brownian snake, and as a consequence we derive the analogous result for the range of super-Brownian motion and for the support of the integrated super-Brownian excursion. Then we prove the support of X _t is capacity-equivalent to [0, 1]² in ℝ^d, d≥ 3, and the range of X, as well as the support of the integrated super-Brownian excursion are capacity-equivalent to [0, 1]⁴ in ℝ^d, d≥ 5. Received: 7 April 1998 / Revised version: 2 October 1998     

Limitations to Fréchet’s metric embedding method

Fréchet’s classical isometric embedding argument has evolved to become a major tool in the study of metric spaces. An important example of a Fréchet embedding is Bourgain's embedding [4]. The authors have recently shown [2] that for every ε>0, anyn-point metric space contains a subset of size at leastn ^1−ε which embeds into ℓ₂ with distortion . The embedding used in [2] is non-Fréchet, and the purpose of this note is to show that this is not coincidental. Specifically, for every ε>0, we construct arbitrarily largen-point metric spaces, such that the distortion of any Fréchet embedding into ℓ_p on subsets of size at leastn ^1/2+ε is Ω((logn)^1/p ). Supported in part by a grant from the Israeli National Science Foundation. Supported in part by a grant from the Israeli National Science Foundation. Supported in part by the Landau Center.     

The Singularity Property of Banach Function Spaces and Unconditional Convergence in L 1[0, 1]

Let X be a Banach function space, L^∞ [0, 1] ⊂ X ⊂ L¹[0, 1]. It is proved that if dual space of X has singularity property in closed set E ⊂ [0, 1] then: 1) there exists no orthonormal basis in C[0, 1], which forms an unconditional basis in X in metric of L¹[0, 1] space, 2) for the Hardy-Littlewood maximal operator M we have      

The old subvariety ofJ 0(pq) and the Eisenstein kernel in Jacobians

Whenp, q are distinct odd primes, and γ:J ₀(p)²×J ₀(q)²→J ₀(pq) is the natural map defined by the degeneracy maps, Ribet [10] determined the odd part of the kernel of γ. We study the 2-primary part of this kernel through its intersection with the Eisenstein kernelJ ₀(p)[I _p )²×J ₀(q)[I _q ]². We determine this intersection forp≢1 mod 16,q≢1 mod 16, and also produce new elements of ker γ wheneverp≡9 mod 16 orq≡9 mod 16. These sharpen Ribet's results in [10].     

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.     

Stokes and Navier–Stokes problems in a half-space: the existence and uniqueness of solutions a priori nonconvergent to a limit at infinity

The Cauchy problem and the initial boundary value problem in the half-space of the Stokes and Navier–Stokes equations are studied. The existence and uniqueness of classical solutions (u, π) (considered at least C ² × C ¹ smooth with respect to the space variable and C ¹ × C ⁰ smooth with respect to the time variable) without requiring convergence at infinity are proved. A priori the fields u and π are nondecreasing at infinity. In the case of the Stokes problem, the existence, for any t > 0, and the uniqueness of solutions with kinetic field and pressure field are established for some β ∈ (0, 1) and γ ∈ (0, 1 − β). In the case of Navier–Stokes equations, the existence (local in time) and the uniqueness of classical solutions to the Navier–Stokes equations are shown under the assumption that the initial data are only continuous and bounded, by proving that, for any t ∈ (0, T), the kinetic field u(x, t) is bounded and, for any γ ∈ (0, 1), the pressure field π(x, t) is O(1 + |x| ^γ ). Bibliography: 20 titles. To V. A. Solonnikov on his 75th birthday Published in Zapiski Nauchnykh Seminarov POMI, Vol. 362, 2008, pp. 176–240.     

About entire functions with specialL 2-properties on one-dimensional subspaces of ℂ n

In this paper we consider special elements of the Fock space #x2131; _n . That is the space of entire functionsf:ℂ: ⁿ →ℂ, such that the followingL ²- condition is satisfied: . Here we show that there exists an entire functiong:ℂ ⁿ →ℂ such that for every one-dimensional subspace Π⊂ℂ ⁿ and for all 0<∈<2 we have , but in the limit case ∈=0 we have . This result is analogue to a result from [1]. There holomorphic functions on the unit-ball are investigated. Furthermore the proof — as the one in [1] — uses a theorem from [2]. Therefore we give another application of the results from [2] — namely for spaces of entire functions.     

A family of counterexamples in ergodic theory

LetT _α be the translationx↦x+α (mod 1) of [0, 1), α irrational. LetT be the Lebesgue measure-preserving automorphism ofX=[0, 3/2) defined byTx = x + 1 forx∈[0, 1/2),Tx=T _α(x−1) forx∈[1,3/2) andTx = T _α x forx∈[1/2, 1), i.e.T isT _α with a tower of height one built over [0, 1/2). If α is poorly approximable by rationals (there does not exist {p _n /q _n } with |α−p _n /q _n |=o(q _n ⁻²)) and λ is a measure onX ^k all of whose one-dimensional marginals are Lebesgue and which is ⊗ _{i − 1} ^k T ¹ invariant and ergodic (l>0) then λ is a product of off-diagonal measures. This property suffices for many purposes of counterexample construction. A connection is established with the POD (proximal orbit dense) condition in topological dynamics. Research supported in part by NSF contract MCS-8003038.     

Stable Subconstructs: A Correction and New Results

In Lowen and Wuyts (Appl Categ Struct 8:235–245, 2000) the authors studied the simultaneously concretely reflective and concretely coreflective subconstructs of the category Ap of approach spaces. For the sake of shortness we call such subconstructs stable. Using a technique introduced in Herrlich and Lowen (1999) it was possible to explicitly describe such stable subconstructs by a condition on the objects which used certain subsets of [0, ∞ ]. Thus each stable subconstruct Ap _m described in [9] corresponds to the subset {0} ∪ [m, ∞ ] ⊂ [0, ∞ ] for m ∈ [0, ∞ ]. Although this characterization is correct, Theorem 4.7 in [9] stating that the subconstructs Ap _m were the only stable subconstructs of Ap is not. The main results, which together prove that the only stable subconstructs are those where a restriction is put on the range of the distances of the objects, are upheld, but it turns out that not only the sets {0} ∪ [m, ∞ ], but actually each closed subsemigroup of [0, ∞ ] determines a stable subconstruct (albeit again in exactly the same way as characterized in [9]). In the first part of our paper, Sections 1 and 2, we develop the general technique, which is totally different to the one from [3], and in Theorem 2.13 we prove the main result for the case of approach spaces. The technique which we develop is also applicable to other cases. Thus, in Section 3, more precisely in Theorems 3.9 and 3.11, we give the complete solution to the corresponding characterization problem for the constructs pq Met ^∞ of pseudo-quasi-metric spaces and p Met ^∞ of pseudometric spaces and in Section 4 we briefly sketch how the technique can be adapted and used to also completely solve the problem in the case of more general types of approach spaces and metric spaces. At the same time, in all cases, we are able to give necessary and sufficient conditions under which two stable subconstructs of one of these topological constructs are concretely isomorphic. It turns out that in all cases there are 2^à₀2^{\aleph_0} non-concretely isomorphic stable subconstructs.     

Empirical multifractal moment measures of self-similar measure for q < 0*

For q ≥ 0, Olsen [1] has attained the exact rate of convergence of the L ^q -spectrum of a self-similar measure and showed that the so-called empirical multifractal moment measures converges weakly to the normalized multifractal measures. Unfortunately, nothing is known for q < 0. Indeed, the problem of analysing the L ^q - spectrum for q < 0 is generally considered significantly more difficult since the L ^q -spectrum is extremely sensitive to small variations of μ for q < 0. In [2] we showed that self-similar measures satisfying the Open Set Condition (OSC) are Ahlfors regular and, using this fact, we obtained the exact rate of convergence of the L ^q -spectrum of a self-similar measure satisfying the OSC for q < 0. In this paper, we apply the results from [2] to show the empirical multifractal q’th moment measures of self-similar measures satisfying the OSC converges weakly to the normalized multifractal Hausdorff measures for q < 0.     

Clifford martingale Φ-Equivalence betweenS(f) andf*

TheL ²-norm equivalence between a Clifford martingalef and its square functionS(f) plays an important role in the proof of theL ²-boundedness of Cauchy integral operators on Lipschitz graphs and the CliffordT(b) Theorem [2, 4]. This note generalises the result to the Φ-equivalence between the maximal functionf* andS(f), where Φ is a nondecreasing and continuous function fromIR ⁺ toIR ⁺, of the moderate growth Φ(2u)≤C ₁Φ(u) and satisfies Φ(0)=0.     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

On the stability of the quadratic functional equation on bounded domains

A result of Skof and Terracini will be generalized; More precisely, we will prove that if a functionf : [-t, t]ⁿ →E satisfies the inequality (1) for some δ > 0 and for allx, y ∈ [-t, t]ⁿ withx + y, x - y ∈ [-t, t]ⁿ, then there exists a quadratic functionq: ℝⁿ →E such that ∥f(x) -q(x)∥ < (2912n² + 1872n + 334)δ for anyx ∈ [-t, t] ⁿ .     

Karhunen-Loève expansions of <Emphasis Type="Italic">α</Emphasis>-Wiener bridges

We study Karhunen-Loève expansions of the process(X _t ^(α)) _t∈[0,T) given by the stochastic differential equation $ dX_t^{(\alpha )} = - \frac{\alpha } {{T - t}}X_t^{(\alpha )} dt + dB_t ,t \in [0,T) $ dX_t^{(\alpha )} = - \frac{\alpha } {{T - t}}X_t^{(\alpha )} dt + dB_t ,t \in [0,T) , with the initial condition X ₀^(α) = 0, where α > 0, T ∈ (0, ∞), and (B _t )t≥0 is a standard Wiener process. This process is called an α-Wiener bridge or a scaled Brownian bridge, and in the special case of α = 1 the usual Wiener bridge. We present weighted and unweighted Karhunen-Loève expansions of X ^(α). As applications, we calculate the Laplace transform and the distribution function of the L ²[0, T]-norm square of X ^(α) studying also its asymptotic behavior (large and small deviation).