Differences of Composition Operators between Weighted Banach Spaces of Holomorphic Functions on the Unit Polydisk

We consider differences of composition operators between given weighted Banach spaces H ^∞ _v or H ⁰ _v of analytic functions defined on the unit polydisk D ^N with weighted sup-norms and give estimates for the distance of these differences to the space of compact operators. We also study boundedness and compactness of the operators. This paper is an extension of [6] where the one-dimensional case is treated. Received: May 15, 2007. Revised: October 8, 2007.     

Finite volume method based on stabilized finite elements for the nonstationary Navier–Stokes problem

A finite volume method based on stabilized finite element for the two‐dimensional nonstationary Navier–Stokes equations is investigated in this work. As in stabilized finite element method, macroelement condition is introduced for constructing the local stabilized formulation of the nonstationary Navier–Stokes equations. Moreover, for P₁ ? P₀ element, the H¹ error estimate of optimal order for finite volume solution (u_h,p_h) is analyzed. And, a uniform H¹ error estimate of optimal order for finite volume solution (u_h, p_h) is also obtained if the uniqueness condition is satisfied. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007     

Inductive definitions,models of comprehension and invariant definability

The connections between inductive definability and models of comprehension are studied. Let = 〈A, R _l, ...,R _n 〉 be an infinite structure and letI _φ be a set inductively defined by a formulaφ of the second order language . We prove that if is a model of Δ ₁ ¹ -Comprehension relativized toφ, andφ is -absolute, then for everyη smaller than the height of (h( )),I _φ is in . If is aβ-structure which satisfies Σ ₁ ¹ -Comprehension relativized toφ and WF(X), and φ is -absolute, thenI _φ is in and ‖φ| <h ( ). These results imply that Barwise-Grilliot theorem is false in the case of uncountable acceptable structures. We also study the notion of invariant definability over models₁ of Δ ₁ ¹ -Comprehension. This paper is registered as Report ZW 69/76 of the Mathematical Centre.     

Translation-invariant subspaces of functions on the group of linear transformations on the real line

The characterization of right translation-invariant subspaces ofL _∞(G ^*), where , is studied. We introduce the class of multiplier functions which, in the semisimple case, play a role similar to that played by the exponentials for the real line. However, it is proved that multiplier functions ofG ^* with respect toR fail to characterize right translation-invariant subspaces ofL _∞(G ^*). That is, we construct a right translation-invariant, w^*-closed subspace ofL _∞(G ^*) which contains no multiplier function. This paper is a part of the author's Ph.D. thesis prepared at the Hebrew University of Jerusalem under the supervision of Professor H. Furstenberg, to whom the author wishes to express his thanks for his helpful guidance, and valuable remarks.     

On minimum and maximum spanning trees of linearly moving points

In this paper we investigate the upper bounds on the numbers of transitions of minimum and maximum spanning trees (MinST and MaxST for short) for linearly moving points. Here, a transition means a change on the combinatorial structure of the spanning trees. Suppose that we are given a set ofn points ind-dimensional space,S={p ₁,p ₂, ...p _n }, and that all points move along different straight lines at different but fixed speeds, i.e., the position ofp _i is a linear function of a real parametert. We investigate the numbers of transitions of MinST and MaxST whent increases from-∞ to +∞. We assume that the dimensiond is a fixed constant. Since there areO(n ²) distances amongn points, there are naivelyO(n ⁴) transitions of MinST and MaxST. We improve these trivial upper bounds forL ₁ andL _∞ distance metrics. Letk _p (n) (resp. ) be the number of maximum possible transitions of MinST (resp. MaxST) inL _p metric forn linearly moving points. We give the following results in this paper: κ₁(n)=O(n ^5/2 α(n)),κ _∞(n)=O(n ^5/2 α(n)), , and where α(n) is the inverse Ackermann's function. We also investigate two restricted cases, i.e., thec-oriented case in which there are onlyc distinct velocity vectors for movingn points, and the case in which onlyk points move.     

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

On quotients of non‐Archimedean Fréchet spaces

It is proved when a non‐Archimedean Fréchet space E of countable type has a quotient isomorphic to ??^?, c^?₀ or c₀ × ??^?. It is also shown when E has a non‐normable quotient with a continuous norm. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Kurosh–Amitsur Right Jacobson Radicals of Type-1 and 2 for Right Near-Rings

Near-rings considered are right near-rings. Let ν ∈ {1, 2}. J ^r _ν , the right Jacobson radical of type-ν, was introduced for near-rings by the first and second authors. In this paper properties of these radicals J ^r _ν are studied. It is shown that J ^r _ν is a Kurosh-Amitsur radical (KA-radical) in the variety of all near-rings R in which the constant part R _c of R is an ideal of R. Thus, unlike the left Jacobson radical of type-1 of near-rings, J ^r ₁ is a KA-radical in the class of all zero-symmetric near-rings. J ^r _ν is not s-hereditary and hence not an ideal-hereditary radical in the class of all zero-symmetric near-rings. Received: April 1, 2007. Revised: July 11, 2007.     

A decomposition of 2-weak vertex-packing polytopes

The 2-weak vertex-packing polytope of a loopless graphG withd vertices is the subset of the unitd-cube satisfyingx _i +x _j ≤1 for every edge (i,j) ofG. The dilation by 2 of this polytope is a polytope with integral vertices. We triangulate with lattice simplices of minimal volume and label the maximal simplices with elements of the hyperoctahedral groupB _d . This labeling gives rise to a shelling of the triangulation of , where theh-vector of (and the Ehrharth ^*-vector of can be computed as a descent statistic on a subset ofB _d defined in terms ofG. A recursive way of computing theh-vector of is also given, and a recursive formula for the volume of . This work was partially supported by grants from the Icelandic Council of Science and the Royal Swedish Academy of Sciences, respectively.     

The L p spectrum of Riemannian products

We prove that the L ^p spectrum of a Riemannian product M ₁×M ₂ coincides with the set theoretic sum of the L ^p spectra of M ₁ and M ₂ . Received: 13 June 2007     

Estimating the distance to a monotone function

In standard property testing, the task is to distinguish between objects that have a property 𝒫 and those that are ε‐far from 𝒫, for some ε > 0. In this setting, it is perfectly acceptable for the tester to provide a negative answer for every input object that does not satisfy 𝒫. This implies that property testing in and of itself cannot be expected to yield any information whatsoever about the distance from the object to the property. We address this problem in this paper, restricting our attention to monotonicity testing. A function f : {1,…,n} ↦ R is at distance ε_f from being monotone if it can (and must) be modified at ε_fn places to become monotone. For any fixed δ > 0, we compute, with probability at least 2/3, an interval [(1/2 − δ)ε,ε] that encloses ε_f. The running time of our algorithm is O(ε_f⁻¹ log log ε_f^{− 1} log n), which is optimal within a factor of loglog ε_f⁻¹ and represents a substantial improvement over previous work. We give a second algorithm with an expected running time of O(ε_f⁻¹ log nlog log log n). Finally, we extend our results to multivariate functions. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2007     

On normal approximation of discounted and strongly mixing random variables

We estimate the difference for bounded functions h: ℝ → ℝ satisfying the Lipschitz condition, where Z _v = B _v ⁻¹ ∑ _i=0 ^∞ v ⁱ X _i and with discount factor ν such that 0 < ν < 1. Here {X _n , n ≥ 0} is a sequence of strongly mixing random variables with , and N is a standard normal random variable. In a particular case, the obtained upper bounds are of order O((1 − ν)^1/2). Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 399–409, July–September, 2007. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-15/07.     

Fractal penrose tiles II: Tiles with fractal boundary as duals of penrose triangles

Summary Suppose given a quasi-periodic tiling of some Euclidean space E _u which is self-similar under the linear expansiong: E_μ→E_μ. It is known that there is an embedding of E_μ into some higher-dimensional space ℝ ^N and a linear automorphism with integer coefficients such that E _u ⊂ ℝ ^N is invariant under andg is the restriction of to E _u . Let E _s be the -invariant complement of E _u , and . If certain conditions are fulfilled (e.g. must be a lattice automorphism,g ^* is an expansion), we construct a self-similar tiling of E _s whose expansion isg ^*, using the information contained in the original tiling of E_μ. The term “Galois duality” of tilings is motivated by the fact that the eigenvalues ofg ^* are Galois conjugates of those ofg. Our method can be applied to find the Galois duals which are given by Thurston, obtained in a somewhat other way for the case that dim E_μ=1, andg is the multiplication by a cubic Pisot unit. Bandt and Gummelt have found fractally shaped tilings which can be considered as strictly self-similar modifications of the kites-and-darts, and the rhombi tilings of Penrose. As one of the examples, we show that these fractal versions can be constructed by dualizing tilings by Penrose triangles.     

Stability and error analysis for spectral Galerkin method for the Navier–Stokes equations with L2 initial data

In this article we consider the spectral Galerkin method with the implicit/explicit Euler scheme for the two‐dimensional Navier–Stokes equations with the L² initial data. Due to the poor smoothness of the solution on [0,1), we use the the spectral Galerkin method based on high‐dimensional spectral space H_M and small time step Δt² on this interval. While on [1,∞), we use the spectral Galerkin method based on low‐dimensional spectral space H_m(m = O(M^1/2)) and large time step Δt. For the spectral Galerkin method, we provide the standard H²‐stability and the L²‐error analysis. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2007     

On the existence of integral currents with prescribed mean curvature vector

Given an integralm-currentT ₀ in ℝ ^m+k and a tensorH of typ (m, 1) on ℝ ^m+k with values orthogonal to each of its arguments we prove the existence of an integralm-currentT with boundary ∂T=∂T ₀ having prescribed mean curvature vectorH, i. e. is a solution of      

The Stokes operator in weighted Lq-spaces II: weighted resolvent estimates and maximal Lp-regularity

In this paper we establish a general weighted L ^q -theory of the Stokes operator in the whole space, the half space and a bounded domain for general Muckenhoupt weights . We show weighted L ^q -estimates for the Stokes resolvent system in bounded domains for general Muckenhoupt weights. These weighted resolvent estimates imply not only that the Stokes operator generates a bounded analytic semigroup but even yield the maximal L ^p -regularity of in the respective weighted L ^q -spaces for arbitrary Muckenhoupt weights . This conclusion is archived by combining a recent characterisation of maximal L ^p -regularity by -bounded families due to Weis [Operator-valued Fourier multiplier theorems and maximal L _p -regularity. Preprint (1999)] with the fact that for L ^q -spaces -boundedness is implied by weighted estimates.     

Further properties of a function of Ogg and Ligozat

Certain identities of Ramanujan may be succinctly expressed in terms of the rational function on the modular curve X ₀(N), where and f _χ is a certain modular unit on the Nebentypus cover X _χ (N) introduced by Ogg and Ligozat for prime and w _N is the Fricke involution. These correspond to levels N=5,13, where the genus g _N of X ₀(N) is zero. In this paper we study slightly more general kind of relations for each such that X ₀(N) has genus g _N =1,2, and also for each such that the Atkin–Lehner quotient X ₀⁺(N) has genus g _N ⁺=1,2. Finally we study the normal closure of the field of definition of the zeros of the latter.      

Entropy and uniform distribution of orbits in\mathbb{T}

We present a class of integer sequences {c _n } with the property that for everyp-invariant and ergodic positive-entropy measure μ on L ₂ , {c _n x (mod 1)} is uniformly distributed for μ-almost everyx. This extends a result of B. Host, who proved this for the sequence {q ⁿ }, forq relatively prime top. Our class of sequences includes, for instance, the sequencec _n =Мf _i (n)q _i ⁿ , where the numbersq _i are distinct and are relatively prime top andf _i are any polynomials. More generally, recursion sequences for which the free coefficient of the recursion polynomial is relatively prime top are in this class as well, provided they satisfy a simple irreducibility condition. In the multi-dimensional case we derive sufficient conditions for a pair of endomorphisms (withA diagonal) and anA-invariant and ergodic measure μ, such thatB-orbits of the form {B ⁿ ω} are uniformly distributed for μ-almost every .     

Distributions for which div v = F has a continuous solution

The equation div v = F has a continuous weak solution in an open set U ? ?^m if and only if the distribution F satisfies the following condition: the F(φ_i) converge to 0 for every sequence {φ_i} of test functions such that the support of each φ_i is contained in a fixed compact subset of U, and in the L¹ norm, {φ_i} converges to 0 and {?φ_i} is bounded. © 2007 Wiley Periodicals, Inc.     

Approximation of (ψ, β)-differentiable functions by Weierstrass integrals

We obtain asymptotic equalities for upper bounds of approximations of functions from the classes C _ψ ^{β, ∞} and L _ψ ^{β, 1} by Weierstrass integrals. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 7, pp. 953–978, July, 2007.