Extension of functions from Sobolev spaces

By definition, the domain Ω ??ⁿ belongs to the class EW _p ^l if there exists a continuous linear extension operator . An example is given of a domain Ω ??² with compact closure and Jordan boundary, having the following properties: (1) The curve ?Ω is not a quasicircle, has finite length and is Lipschitz in a neighborhood of any of its points except one. (2) Ω ε EW _p ¹ for p<2. and Ω ? EW _p ¹ for p?2. (3) for p>2 and for p?2.     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

Variational formulas of higher order mean curvatures

In this paper,we establish the first variational formula and its Euler-Lagrange equation for the total 2p-th mean curvature functional M2p of a submanifold M n in a general Riemannian manifold N n+m for p = 0,1,...,[n 2 ].As an example,we prove that closed complex submanifolds in complex projective spaces are critical points of the functional M2p,called relatively 2p-minimal submanifolds,for all p.At last,we discuss the relations between relatively 2p-minimal submanifolds and austere submanifolds in real space forms,as well as a special variational problem.     

On the local structure of subspaces of Banach lattices

The conjecture that every Banach space contains uniformly complementedl _p ⁿ ’s for some 1≦p≦∞ is verified for subspaces of Banach lattices which do not containl _∞ ⁿ ’s uniformly.     

Sierpiński graphs as spanning subgraphs of Hanoi graphs

Hanoi graphs H _p ⁿ model the Tower of Hanoi game with p pegs and n discs. Sierpinski graphs S _p ⁿ arose in investigations of universal topological spaces and have meanwhile been studied extensively. It is proved that S _p ⁿ embeds as a spanning subgraph into H _p ⁿ if and only if p is odd or, trivially, if n = 1.     

Inversion complexity of self-correcting circuits for a certain sequence of boolean functions

The asymptotics L _k ^? (f ₂ ⁿ ) ?? n min{k+1, p} is obtained for the sequence of Boolean functions $f_2^n \left( {x_1 , \ldots ,x_n } \right) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n}$ for any fixed k, p ?? 1 and growing n, here L _k ^? (f ₂ ⁿ ) is the inversion complexity of realization of the function f ₂ ⁿ by k-self-correcting circuits of functional elements in the basis B = {&, ?}, p is the weight of a reliable invertor.     

Description of traces of functions in the Sobolev space with a Muckenhoupt weight

We characterize the trace of the Sobolev space W _p ^l (? ⁿ , γ) with 1 < p < ∞ and weight γ ∈ A _p ^loc (? ⁿ ) on a d-dimensional plane for 1 ≤ d < n. It turns out that for a function φ to be the trace of a function f ∈ W _p ^l (? ⁿ , γ), it is necessary and sufficient that φ belongs to a new Besov space of variable smoothness, $\overline B _p^l \left( {\mathbb{R}^d ,\left\{ {\gamma _{k,m} } \right\}} \right)$ , constructed in this paper. The space $\overline B _p^l \left( {\mathbb{R}^d ,\left\{ {\gamma _{k,m} } \right\}} \right)$ is compared with some earlier known Besov spaces of variable smoothness.     

The maximal variation of a bounded martingale

Let \(\chi _0^n = \left\{ {X_t } \right\}_0^n \) be a martingale such that 0≦X_i≦1;i=0, …,n. For 0≦p≦1 denote by ? _p ⁿ the set of all such martingales satisfying alsoE(X₀)=p. Thevariation of a martingale χ ₀ ⁿ is denoted byV ₀ ⁿ and defined by \(V(\chi _0^n ) = E\left( {\sum {_{l = 0}^{n - 1} } \left| {X_{l + 1} - X_l } \right|} \right)\) . It is proved that $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\mathop {Sup}\limits_{x_0^n \in \mathcal{M}_p^n } \left[ {\frac{1}{{\sqrt n }}V(\chi _0^n )} \right]} \right\} = \phi (p)$$ , where ?(p) is the well known normal density evaluated at itsp-quantile, i.e. $$\phi (p) = \frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi _p^2 ) where \int_{ - \alpha }^{x_p } {\frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi ^2 )} dx = p$$ . A sequence of martingales χ ₀ ⁿ ,n=1,2, … is constructed so as to satisfy \(\lim _{n \to \infty } (1/\sqrt n )V(\chi _0^n ) = \phi (p)\) .     

On the chromatic numbers of spheres in ℝ n

Let χ(S _r ^n?1 )) be the minimum number of colours needed to colour the points of a sphere S _r ^n?1 of radius $r \geqslant \tfrac{1} {2}$ in ? ⁿ so that any two points at the distance 1 apart receive different colours. In 1981 P. Erd?s conjectured that χ(S _r ^n?1 )→∞ for all $r \geqslant \tfrac{1} {2}$ . This conjecture was proved in 1983 by L. Lovász who showed in [11] that χ(S _r ^n?1 ) ≥ n. In the same paper, Lovász claimed that if $r < \sqrt {\frac{n} {{2n + 2}}}$ , then χ(S _r ^n?1 ) ≤ n+1, and he conjectured that χ(S _r ^n?1 ) grows exponentially, provided $r \geqslant \sqrt {\frac{n} {{2n + 2}}}$ . In this paper, we show that Lovász’ claim is wrong and his conjecture is true: actually we prove that the quantity χ(S _r ^n?1 ) grows exponentially for any $r > \tfrac{1} {2}$ .     

On the boundedness of operators rearranging the Haar system in the spacesL p

Operators of the form Tπχ _n ^k =χ _n ^πn(k) where {χ _n ^k (t)} is the Haar system and π_n is a rearrangement of the numbers 1,2, ?.2ⁿ (n=1,2,?) are studied. Criterion for the boundedness of such operators from the spaceL _p intoL _p is obtained.     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Continuite-Besov des operateurs definis par des integrales singulieres

Our purpose is to give necessary and sufficient conditions for continuity, on Besov spaces \(\dot B_p^{s,q} \) , of singular integral operators whose kernels satisfy: $$|\partial _x^\alpha K(x, y)| \leqslant C_\alpha |x - y|^{ - n - |\alpha |} for|\alpha | \leqslant m,$$ where m ∈ ? and 0 < s < m. The criterion is compared to the M.Meyer theorem [11] where 0 _p ^s,q spaces for s?1. For 0 _p ^s,p space is characterized by the localization and by Besov-capacity. In particular we show that the BMO ₁ ^s,1 space is characterized by generalized Carleson conditions.     

A method for summing Fourier integrals of functions from H p (E 2n + ), 0 < p < ∞

Suppose that H ^p (E _2n ⁺ ) is the Hardy space for the first octant $$E_{2n}^ + = \{ z \in \mathbb{C}^n :\operatorname{Im} z_j > 0, j = 1, \ldots ,n\} $$ and P _? ^l (f, x), l > 0, is the generalized Abel-Poisson means of a function f ? H ^p (E _2n ⁺ ). In this paper, we prove the inequalities $$C_1 (l,p)\widetilde\omega _l (\varepsilon ,f)_p \leqslant \left\| {f(x) - P_\varepsilon ^l (f,x)} \right\|_p \leqslant C_2 (l,p)\omega _l (\varepsilon ,f)_p ,$$ where $\widetilde\omega _l (\varepsilon ,f)_p $ and ω _l (?, f) _p are the integral moduli of continuity of lth order. For n = 1 and an integer l, this result was obtained by Soljanik.     

Estimates for wave and Klein-Gordon equations on modulation spaces

We prove that the fundamental semi-group eit(m 2I+|Δ|)1/2(m = 0) of the Klein-Gordon equation is bounded on the modulation space M ps,q(Rn) for all 0 < p,q ∞ and s ∈ R.Similarly,we prove that the wave semi-group eit|Δ|1/2 is bounded on the Hardy type modulation spaces μsp,q(Rn) for all 0 < p,q ∞,and s ∈ R.All the bounds have an asymptotic factor tn|1/p 1/2| as t goes to the infinity.These results extend some known results for the case of p 1.Also,some applications for the Cauchy problems related to the semi-group eit(m2I+|Δ|)1/2 are obtained.Finally we discuss the optimum of the factor tn|1/p 1/2| and raise some unsolved problems.     

A moment theorem for completely hyperexpansive operators

Given a family $ \{ A_m^x \} _{\mathop {m \in \mathbb{Z}_ + ^d }\limits_{x \in X} } $ (X is a non-empty set) of bounded linear operators between the complex inner product space $ \mathcal{D} $ and the complex Hilbert space ? we characterize the existence of completely hyperexpansive d-tuples T = (T ₁, … , T _d ) on ? such that A _m ^x = T ^m A ₀ ^x for all m ? ? ₊ ^d and x ? X.     

Spectral asymptotics and trace formulas for differential operators with unbounded coefficients

In the space L ²[0, π], we consider the operators $$ L = L_0 + V, L_0 = - y'' + (\nu ^2 - 1/4)r^{ - 2} y (\nu \geqslant 1/2) $$ with the Dirichlet boundary conditions. The potential V is the operator of multiplication by a function (in general, complex-valued) in L ²[0, π] satisfying the condition $$ \int\limits_0^\pi {r^\varepsilon } (\pi - r)^\varepsilon |V(r)|dr < \infty , \varepsilon \in [0,1] $$ . We prove the trace formula Σ _n=1 ^∞ [µ _n ? λ _n ? Σ _k=1 ^m α _k ⁽ⁿ⁾ ] = 0.     

Invariant Weighted Algebras ℒ p w (G)

The paper is devoted to weighted spaces ? _p ^w (G) on a locally compact group G. If w is a positive measurable function on G, then the space ? _p ^w (G), p ≥ 1, is defined by the relation ? _p ^w (G) = {f: fw ∈ ? _p (G)}. The weights w for which these spaces are algebras with respect to the ordinary convolution are treated. It is shown that, for p > 1, every sigma-compact group admits a weight defining such an algebra. The following criterion is proved (which was known earlier for special cases only): a space ? _p ^w (G) is an algebra if and only if the function w is semimultiplicative. It is proved that the invariance of the space ? _p ^w (G) with respect to translations is a sufficient condition for the existence of an approximate identity in the algebra ? _p ^w (G). It is also shown that, for a nondiscrete group G and for p > 1, no approximate identity of an invariant weighted algebra can be bounded.     

On positive linear interpolation operators

В этой работе мы даем о бобщение понятия нор мальной системы точек, введен ного Фейером [3]. Наше определ ение включает и случа й бесконечного интерв ала (0, ∞). Доказано, в частности, что систе ма точек 0<x ₁ ⁽ⁿ⁾ /(n)<... _n ⁽ⁿ⁾ <∞ является нормальной в смысле нашего определения тогда и т олько тогда, когда вып олняются оценки — фиксированное чис ло, 0≦?<1. Мы доказываем, что есл и точкиx _k ⁽ⁿ⁾ /(n) являются ну лями многочлена ЛагерраL _n ^(α) (x), то они образуют норма льную систему в том и т олько том случае, когда ?1<α≦0. Мы получаем, таким обр азом, положительный интерполяционный пр оцесс для каждой нормальной системы т очек и устанавливаем теорему сходимости для того с лучая, когда эти точки являются ну лямиL _n ^(α) (x) при — 1相似文献