Weyl sums in with digital restrictions

Let be a finite field and consider the polynomial ring . Let . A function , where G is a group, is called strongly Q-additive, if f(AQ+B)=f(A)+f(B) holds for all polynomials with degB<degQ. We estimate Weyl sums in restricted by Q-additive functions. In particular, for a certain character E we study sums of the form

where is a polynomial with coefficients contained in the field of formal Laurent series over and the range of P is restricted by conditions on f_i(P), where f_i (1ir) are Q_i-additive functions. Adopting an idea of Gel'fond such sums can be rewritten as sums of the form

with . Sums of this shape are treated by applying the kth iterate of the Weyl–van der Corput inequality and studying higher correlations of the functions f_i. With these Weyl sum estimates we show uniform distribution results.     

An endpoint space–time estimate for the Schrödinger equation

We obtain endpoint estimates for the Schrödinger operator f→eitΔf in with initial data f in the homogeneous Sobolev space . The exponents and regularity index satisfy and . For n=2 we prove the estimates in the range q>16/5, and for n?3 in the range q>2+4/(n+1).     

Functions of normal operators under perturbations

In Peller (1980) [27], Peller (1985) [28], Aleksandrov and Peller (2009) [2], Aleksandrov and Peller (2010) [3], and Aleksandrov and Peller (2010) [4] sharp estimates for f(A)−f(B) were obtained for self-adjoint operators A and B and for various classes of functions f on the real line R. In this paper we extend those results to the case of functions of normal operators. We show that if a function f belongs to the Hölder class Λα(R²), 0<α<1, of functions of two variables, and N₁ and N₂ are normal operators, then ‖f(N₁)−f(N₂)‖?const‖fΛα_‖‖N₁−N₂α^‖. We obtain a more general result for functions in the space for an arbitrary modulus of continuity ω. We prove that if f belongs to the Besov class , then it is operator Lipschitz, i.e., . We also study properties of f(N₁)−f(N₂) in the case when f∈Λα(R²) and N₁−N₂ belongs to the Schatten–von Neumann class Sp.     

Homology of dihedral quandles

We solve the conjecture by R. Fenn, C. Rourke and B. Sanderson that the rack homology of dihedral quandles satisfies for p odd prime [T. Ohtsuki, Problems on invariants of knots and 3-manifolds, Geom. Topol. Monogr. 4 (2002) 377-572, Conjecture 5.12]. We also show that contains Z_p for n≥3. Furthermore, we show that the torsion of is annihilated by 3. We also prove that the quandle homology contains Z_p for p odd prime. We conjecture that for n>1 quandle homology satisfies: , where f_n are “delayed” Fibonacci numbers, that is, f_n=f_n−1+f_n−3 and f(1)=f(2)=0,f(3)=1. Our paper is the first step in approaching this conjecture.     

Interpolation and approximation in

Assume a standard Brownian motion W=(W_t)_t[0,1], a Borel function such that f(W₁)L₂, and the standard Gaussian measure γ on the real line. We characterize that f belongs to the Besov space , obtained via the real interpolation method, by the behavior of , where is a deterministic time net and the orthogonal projection onto a subspace of ‘discrete’ stochastic integrals with X being the Brownian motion or the geometric Brownian motion. By using Hermite polynomial expansions the problem is reduced to a deterministic one. The approximation numbers a_X(f(X₁);τ) can be used to describe the L₂-error in discrete time simulations of the martingale generated by f(W₁) and (in stochastic finance) to describe the minimal quadratic hedging error of certain discretely adjusted portfolios.     

On turbulent, erratic and other dynamical properties of Zadeh’s extensions

Let (X, d) be a compact metric space and f : X → X a continuous function. Consider the hyperspace (K(X),H) of all nonempty compact subsets of X endowed with the Hausdorff metric induced by d, and let (F(X),d_∞) be the metric space of all nonempty compact fuzzy set on X equipped with the supremum metric d_∞ which is calculated as the supremum of the Hausdorff distances of the corresponding level sets. If is the natural extension of f to (K(X),H) and is the Zadeh’s extension of f to (F(X),d_∞), then the aim of this paper is to study the dynamics of and when f is turbulent (erratic, respectively).     

An optimal symbolic calculus on Besov algebras

In this paper we consider Besov algebras on , that is Besov spaces for s>1/p. For s>1+(1/p), p>4/3, and qp we prove that the above algebras have a maximal symbolic calculus in the following sense: for any function f belonging locally to and such that f(0)=0, the associated superposition operator T_f(g):=f○g takes to itself.     

Sections of convex bodies and splitting problem for selections

Let and be any convex-valued lower semicontinuous mappings and let be any linear surjection. The splitting problem is the problem of representation of any continuous selection f of the composite mapping L(F₁;F₂) in the form f=L(f₁;f₂), where f₁ and f₂ are some continuous selections of F₁ and F₂, respectively. We prove that the splitting problem always admits an approximate solution with fi being an ε-selection (Theorem 2.1). We also propose a special case of finding exact splittings, whose occurrence is stable with respect to continuous variations of the data (Theorem 3.1) and we show that, in general, exact splittings do not exist even for the finite-dimensional range.     

On the sampling and recovery of bandlimited functions via scattered translates of the Gaussian

Let λ be a positive number, and let be a fixed Riesz-basis sequence, namely, (x_j) is strictly increasing, and the set of functions is a Riesz basis (i.e., unconditional basis) for L₂[−π,π]. Given a function whose Fourier transform is zero almost everywhere outside the interval [−π,π], there is a unique sequence in , depending on λ and f, such that the function

is continuous and square integrable on (−∞,∞), and satisfies the interpolatory conditions I_λ(f)(x_j)=f(x_j), . It is shown that I_λ(f)converges to f in , and also uniformly on , as λ→0⁺. In addition, the fundamental functions for the univariate interpolation process are defined, and some of their basic properties, including their exponential decay for large argument, are established. It is further shown that the associated interpolation operators are bounded on for every p[1,∞].     

Compactness via symmetrization

Consider two types of translation-invariant functionals and on , and a sequence of functions f_n whose corresponding symmetric rearrangements are convergent. We show that f_n themselves converge up to translations if either or . These compactness results lead to applications in variational problems and stability problems in stellar dynamics.     

Euler–Lehmer constants and a conjecture of Erdös

The Euler–Lehmer constants γ(a,q) are defined as the limits We show that at most one number in the infinite list is an algebraic number. The methods used to prove this theorem can also be applied to study the following question of Erdös. If f:Z/qZ→Q is such that f(a)=±1 and f(q)=0, then Erdös conjectured that If , we show that the Erdös conjecture is true.     

Numerical boundaries for some classical Banach spaces

Globevnik gave the definition of boundary for a subspace . This is a subset of Ω that is a norming set for . We introduce the concept of numerical boundary. For a Banach space X, a subset BΠ(X) is a numerical boundary for a subspace if the numerical radius of f is the supremum of the modulus of all the evaluations of f at B, for every f in . We give examples of numerical boundaries for the complex spaces X=c₀, and d_*(w,1), the predual of the Lorentz sequence space d(w,1). In all these cases (if K is infinite) we show that there are closed and disjoint numerical boundaries for the space of the functions from B_X to X which are uniformly continuous and holomorphic on the open unit ball and there is no minimal closed numerical boundary. In the case of c₀, we characterize the numerical boundaries for that space of holomorphic functions.     

Pointwise universal trigonometric series

A series is called a pointwise universal trigonometric series if for any , there exists a strictly increasing sequence of positive integers such that converges to f(z) pointwise on . We find growth conditions on coefficients allowing and forbidding the existence of a pointwise universal trigonometric series. For instance, if as |n|→∞ for some ε>0, then the series S_a cannot be pointwise universal. On the other hand, there exists a pointwise universal trigonometric series S_a with as |n|→∞.     

Region of variability for close-to-convex functions-II

For a complex number α with let be the class of analytic functions f in the unit disk with f(0)=0 satisfying in , for some convex univalent function in . For any fixed , and we shall determine the region of variability V(z₀,α,λ) for f(z₀) when f ranges over the class

In the final section we graphically illustrate the region of variability for several sets of parameters z₀ and α.     

Reflection about k-jets and holomorphic extension of CR mappings

Let be a CR mapping between real analytic generic submanifolds M, M₁ of and , respectively. According to Webster's theory (Proc. Amer. Math. Soc. 86 (1982) 236-240) and its further developments, f has holomorphic extension to a full neighborhood of M in when the following requirements are fulfilled: f extends to a wedge W continuous up to M; f is of class C^k; (where denotes the complex tangent bundle); M₁ is “k-nondegenerate.” We deal here with the case where is strictly smaller than but is still real analytic in suitable sense. We show that a suitably refined condition of k-nondegeneracy still entails holomorphic extension of f.     

Notes on ordered reproducing Hilbert spaces over the complex plane

Let f, g be entire functions. If there exist M₁,M₂>0 such that |f(z)|?M₁|g(z)| whenever |z|>M₂ we say that f?g. Let X be a reproducing Hilbert space with an orthogonal basis . We say that X is an ordered reproducing Hilbert space (or X is ordered) if f?g and g∈X imply f∈X. In this note, we show that if then X is ordered; if then X is not ordered. In the case , there are examples to show that X can be of order or opposite.     

Stable functions and Vietoris' theorem

An analytic function f(z) in the unit disc D is called stable if s_n(f,·)/f?1/f holds for all for . Here s_n stands for the nth partial sum of the Taylor expansion about the origin of f, and ? denotes the subordination of analytic functions in . We prove that (1−z)^λ, λ∈[−1,1], are stable. The stability of turns out to be equivalent to a famous result of Vietoris on non-negative trigonometric sums. We discuss some generalizations of these results, and related conjectures, always with an eye on applications to positivity results for trigonometric and other polynomials.     

Univalent positive polynomial maps and the equilibrium state of chemical networks of reversible binding reactions

We consider a map given for x=(x₁,…,x_n) by

where I is a finite subset of , a_α is a constant in for each αI, and ψ₁,…,ψ_n are differentiable order-preserving functions . We prove that f is a bijection. Surjectivity arises as a consequence of the Brouwer Fixed-Point Theorem. For injectivity, we show that the Jacobian matrix of f is everywhere a P-matrix and we then apply the Gale–Nikaidô Global Univalence Theorem. With ψ₁==ψ_n=1, f is a positive polynomial map of interest in the study of chemical networks of reversible binding reactions. For these, we propose notions of elementary and composite species and of normal and complete networks. Many networks in pharmacology and other fields fall in these classes. We prove that their equilibrium states and detailed-balanced states coincide and are unique with respect to total concentrations of elementary species. The map f gives rise to an equation that has a unique solution which gives the equilibrium state. We also prove that concentrations always converge to the equilibrium state, thereby settling for complete networks the Global Attractor Conjecture, which affirms this property for the larger class of complex-balancing networks.     

Linear interpolation and Sobolev orthogonality

There is a strong connection between Sobolev orthogonality and Simultaneous Best Approximation and Interpolation. In particular, we consider very general interpolatory constraints , defined by

where f belongs to a certain Sobolev space, a_ij() are piecewise continuous functions over [a,b], b_ijk are real numbers, and the points t_k belong to [a,b] (the nonnegative integer m depends on each concrete interpolation scheme). For each f in this Sobolev space and for each integer l greater than or equal to the number of constraints considered, we compute the unique best approximation of f in , denoted by p_f, which fulfills the interpolatory data , and also the condition that best approximates f⁽ⁿ⁾ in (with respect to the norm induced by the continuous part of the original discrete–continuous bilinear form considered).