Congruence modularity implies cyclic terms for finite algebras

An n-ary operation f : A ⁿ → A is called cyclic if it is idempotent and ${f(a_1, a_2, a_3, \ldots , a_n) = f(a_2, a_3, \ldots , a_n, a_1)}$ for every ${a_1, \ldots, a_n \in A}$ . We prove that every finite algebra A in a congruence modular variety has a p-ary cyclic term operation for any prime p greater than |A|.     

Weighted approximation of entire functions of exponential type of several variables by trigonometric polynomials

Letf be an entire function (in Cⁿ) of exponential type for whichf(x)=0(?(x)) on the real subspace \(\mathbb{R}^w (\phi \geqslant 1,{\mathbf{ }}\mathop {\lim }\limits_{\left| x \right| \to \infty } \phi (x) = \infty )\) and ?δ>0?C_δ>0 $$\left| {f(z)} \right| \leqslant C_\delta \exp \left\{ {h_s (y) + S\left| z \right|} \right\},z = x + iy$$ where h, (x)=sup〈3, x〉, S being a convex set in ?ⁿ. Then for any ?, ?>0, the functionf can be approximated with any degree of accuracy in the form p→ \(\mathop {\sup }\limits_{x \in \mathbb{R}^w } \frac{{\left| {P(x)} \right|}}{{\varphi (x)}}\) by linear combinations of functions x→expi〈λx〉 with frequenciesX belonging to an ?-neighborhood of the set S.     

On pointwise approximation of arbitrary functions by countable families of continuous functions

The following problem is considered. Given a real-valued function f defined on a topological space X, when can one find a countable familyf _n :n∈ω of continuous real-valued functions on X that approximates f on finite subsets of X? That is, for any finite set F?X and every real number ε>0 one can choosen∈ω such that ∥f(x)?f_n(x)∥<ε for everyx∈F. It will be shown that the problem has a positive solution if and only if X splits. A space X is said to split if, for any A?X, there exists a continuous mapf _A:X→R ^ω such that A=f _A ^?1 (A). Splitting spaces will be studied systematically.     

A sharp weightedL 2-estimate for the solution to the time-dependent Schrödinger equation

For Ξ∈R ⁿ ,t∈R andf∈S(R ⁿ ) define $\left( {S^2 f} \right)\left( t \right)\left( \xi \right) = \exp \left( {it\left| \xi \right|^2 } \right)\hat f\left( \xi \right)$ . We determine the optimal regularitys ₀ such that $\int_{R^n } {\left\| {(S^2 f)[x]} \right\|_{L^2 (R)}^2 \frac{{dx}}{{(1 + |x|)^b }} \leqslant C\left\| f \right\|_{H^s (R^n )}^2 ,s > s_0 } ,$ holds whereC is independent off∈S(R ⁿ ) or we show that such optimal regularity does not exist. This problem has been treated earlier, e.g. by Ben-Artzi and Klainerman [2], Kato and Yajima [4], Simon [6], Vega [9] and Wang [11]. Our theorems can be generalized to the case where the exp(it|ξ|²) is replaced by exp(it|ξ|^a),a≠2. The proof uses Parseval's formula onR, orthogonality arguments arising from decomposingL ²(R ⁿ ) using spherical harmonics and a uniform estimate for Bessel functions. Homogeneity arguments are used to show that results are sharp with respect to regularity.     

ДИФФЕРЕНцИАльНыЕ сВ ОИстВА ИжВИВАУЩИхсь ФУНкцИИ

A continuous real valued function defined on an intervalD is called crinkly iff the setf ^?1(У) ∩I is uncountable for each interval \(I \subseteqq D\) and number \(y \in (\mathop {\inf }\limits_I f,\mathop {\sup }\limits_I f)\) . The main result of the paper consists in the following assertion. Let the closed segment [0, 1] be represented as a union of four measurable, mutually nonintersecting setsE ₁,Е ₂,E ₃,E ₄. Then, for each functionH(δ) such thatH(δ)→ + ∞ andδH(δ)→0 asδ→0, there exists a crinkly functionf possessing the following five properties:

1. a.e. onE ₁:D ⁺ f(x)=D-f(x)=+∞,D ₊ f(x)=D?f(x)=?∞;
2. a.e. onE ₂:D ⁺ f(x)=+∞,D?f(x)=?∞,D ₊f(x)=D-f(x)=0;
3. a.e. onE ₃:D ₊ f(x)=?∞,D ^? f(x)=+∞,D ⁺ f(x)=D?f(x)=0;
4. a.e. onE ₄:Df(x)=0;
5. the modulus of continuityΩ off on [0, 1] satisfies $$\omega (\delta ,f,[0,1]) \leqq \delta H(\delta ).$$

     

Approximation of continuous functions by trigonometric polynomials almost everywhere

We consider the problem of the rate of approximation of continuous 2π-periodic functions of class W^rH[ω]C by trigonometric polynomials of order n on sets of total measure. We prove that when r≥0,ω(δ)δ ^?1 → ∞ (δ → 0) there exists a function f ε W^rH[ω]C such thatf ε W^rH[ω]C and for any sequence {t_{n n=1} ^∞ we have almost everywhere on [0, 2π] $\begin{array}{l} \overline {\mathop {\lim }\limits_{n \to \infty } } \left| {f(x) - t_n (x)} \right|n^r \omega ^{ - 1} (1/n) > C_x > 0, \\ \overline {\mathop {\lim }\limits_{n \to \infty } } \left| {\tilde f(x) - t_n (x)} \right|n^r \omega ^{ - 1} (1/n) > C_x > 0. \\ \end{array}$      

The distribution of extreme points in best complex polynomial approximation

LetK be a compact point set in the complex plane having positive logarithmic capacity and connected complement. For anyf continuous onK and analytic in the interior ofK we investigate the distribution of the extreme points for the error in best uniform approximation tof onK by polynomials. More precisely, if $$A_n (f): = \{ z \in K:|f(z) - p_n^* (f;z)| = \parallel f - p_n^* (f)\parallel _K \} ,$$ wherep _n ^* (f) is the polynomial of degree≤n of best uniform approximation tof onK, we show that there is a subsequencen _k with the property that the sequence of (n _k +2)-point Fekete subsets of \(A_{n_k }\) has limiting distribution (ask→∞) equal to the equilibrium distribution forK. Analogues for weighted approximation are also given.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Zeros ofA p functions and related classes of analytic functions

The functionf(z), analytic in the unit disc, is inA ^p if \(\int {\int {_{\left| z \right|< 1} \left| {f(z)} \right|^p dxdy< \infty } } \) . A necessary condition on the moduli of the zeros ofA ^p functions is shown to be best possible. The functionf(z) belongs toB ^p if \(\int {\int {_{\left| z \right|< 1} \log ^ + \left| {f(z)} \right|)^p } } \) . Let {z _n } be the zero set of aB ^p function. A necessary condition on |z _n | is obtained, which, in particular, implies that Σ(1?|z _n |)^1+(1/p)+g <∞ for all ε>0 (p≧1). A condition on the Taylor coefficients off is obtained, which is sufficient for inclusion off inB ^p. This in turn shows that the necessary condition on |z _n | is essentially the best possible. Another consequence is that, forq≧1,p<q, there exists aB ^p zero set which is not aB ^q zero set.     

Algebraic-polynomial approximation of functions satisfying a Lipschitz condition

For functionsf(x) ε KH^(α) [satisfying the Lipschitz condition of order α (0 < α < 1) with constant K on [?1, 1], the existence is proved of a sequence P_n (f; x) of algebraic polynomials of degree n = 1, 2,..., such that $$|f(x) - P_{n - 1} (f;x)| \leqslant \mathop {\sup }\limits_{f \in KH^{(\alpha )} } E_n (f)[(1 - x^2 )^{a/2} + o(1)],$$ when n → ∞, uniformly for x ε [?1, 1], where E_n(f) is the best approximation off(x) by polynomials of degree not higher than n.     

The rate of the normal approximation for jackknifingU-statistics

Let U_n be a U-statistic with symmetric kernel h(x,y) such that Eh(X_1,X_2)=θ and Var E[h(X_1,X_2)-θ|X_j]>0.Let f(x) be a function defined on R and f″ be bounded.If f(θ) is the parameterof interest,a natural estimator is f(U_n).It is known that the distribution function of z_n=(n~(1/2){Jf(U_n)-f(θ)})/(S_n~*) converges to the standard normal distribution Φ(x) as n→∞,where Jf(U_n) isthe jackknife estimator of f(U_n),and S_n~(*2) is the jackknife estimator of the asymptotic variance ofn~(1/2) Jf(U_n).It is of theoretical value to study the rate of the normal approximation of the statistic.In this paper,assuming the existence of fourth moment of h(X_1,X_2),we show that(?)|P{z_n≤x}-Φ(x)|=O(n~(-1/2)log n).This improves the earlier results of Cheng(1981).     

A criterion of vanishing of the spectral density based on homoclinic sums

Let (X, d) be a compact metric space, let T: X→X be a homeomorphism satisfying a certain suitable hyperbolicity assumption, and let μ be a Gibbs measure on X relative to T. Let λ be a complex number |λ|=1, and let f:X → ? be a Hölder continuous function. It is proved that $\sum\limits_{k \in \mathbb{Z}} {\lambda ^{ - k} } \left( {\int\limits_X {f(T^k x)\bar f(x)\mu (dx) - \left| {\int\limits_X {f(x)\mu (dx)} } \right|^2 } } \right) = 0$ if and only if ∑λ^?k(f(T^ky) ? f(T^kx)) = 0 for all x, y ε X such that $d(T^k x,T^k y)\xrightarrow[{|k| \to \infty }]{}0$ . Bibliography: 11 titles.     

Zeros of analytic functions and norms of inverse matrices

Letk _n be the smallest constant such that for anyn-dimensional normed spaceX and any invertible linear operatorT ∈L(X) we have $|\det (T)| \cdot ||T^{ - 1} || \le k_n |||T|^{n - 1} $ . LetA ₊ be the Banach space of all analytic functionsf(z)=Σ _k≥0 a _kz^k on the unit diskD with absolutely convergent Taylor series, and let ‖f‖A ₊=σ _k≥0 |ακ|; define ? _n on $\overline D ^n $ by $ \begin{array}{l} \varphi _n \left( {\lambda _1 ,...,\lambda _n } \right) \\ = inf\left\{ {\left\| f \right\|_{A + } - \left| {f\left( 0 \right)} \right|; f\left( z \right) = g\left( z \right)\prod\limits_{i = 1}^n {\left( {\lambda _1 - z} \right), } g \in A_ + , g\left( 0 \right) = 1 } \right\} \\ \end{array} $ . We show thatk _n=sup {? _n(λ₁,…, λ _n ); (λ₁,…, λ _n )∈ $\overline D ^n $ }. Moreover, ifS is the left shift operator on the space ?∞:S(x ₀,x ₁, …,x _p, …)=(x ₁,…,x _p,…) and if J_n(S) denotes the set of allS-invariantn-dimensional subspaces of ?∞ on whichS is invertible, we have $k_n = \sup \{ |\det (S|_E )|||(S|_E )^{ - 1} ||E \in J_n (S)\} $ . J. J. Schäffer (1970) proved thatk _n≤√en and conjectured thatk _n=2, forn≥2. In factk ₃>2 and using the preceding results, we show that, up to a logarithmic factor,k _n is of the order of √n whenn→+∞.     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

On the distortion required for embedding finite metric spaces into normed spaces

We investigate the minimum dimensionk such that anyn-point metric spaceM can beD-embedded into somek-dimensional normed spaceX (possibly depending onM), that is, there exists a mappingf: M→X with $$\frac{1}{D}dist_M (x,y) \leqslant \left| {f(x) - f(y)} \right| \leqslant dist_M (x,y) for any$$ Extending a technique of Arias-de-Reyna and Rodríguez-Piazza, we prove that, for any fixedD≥1,k≥c(D)n ^1/2D for somec(D)>0. For aD-embedding of alln-point metric spaces into the samek-dimensional normed spaceX we find an upper boundk≤12Dn ^1/[(D+1)/2]lnn (using thel _∞ ^k space forX), and a lower bound showing that the exponent ofn cannot be decreased at least forD?[1,7)∪[9,11), thus the exponent is in fact a jumping function of the (continuously varied) parameterD.     

Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

Equivalent norms onL p spaces of harmonic functions

This note gives necessary and sufficient conditions for a measurable setG in the unit ballB in ? ⁿ to satisfy the following property: there exists a constantC>0 such that $$\int\limits_B {|f|^2 } dm \leqslant C\int\limits_G {|f|^2 } dm$$ for everyf∈L ² (B, dm) which is harmonic inB. Herem is the Lebesgue measure of dimensionn. The same condition is sufficient if any exponentp>0 replaces 2 in (^*), and if certain weighted measures replacem. Applications to the problem of representing harmonic functions inL ² (B) as a sum of kernel functions are indicated.     

An extremal problem related to Kolmogoroff’s inequality for bounded functions

LetA andB be positive numbers andm andn positive integers,m. Then there is for complex valued functions φ onR with sufficient differentiability and boundedness properties a representation wherev ₁ andv ₂ are bounded Borel measures withv ₁ absolutely continuous, such that there exists a function φ with ∣φ⁽ⁿ⁾∣ ?A and ∣φ∣ ?A onR and satisfying $$\varphi ^{(m)} (0) = A\int_R {\left| {d\nu _1 } \right|} + B\int_R {\left| {d\nu _2 } \right|} .$$ This result is formulated and proved in a general setting also applicable to derivatives of fractional order. Necessary and sufficient conditions are given in order that the measures and the optimal functions have the same essential properties as those which occur in the particular case stated above.