Interpolation of Besov B pτ σq and Lizorkin-Triebel F pτ σq spaces

An interpolation method is introduced for anisotropic spaces which generalizes the method by D. L. Fernandez [4]. By means of this method, interpolation properties of Besov B _pτ ^σq and Lizorkin-Triebel F _pτ ^σq spaces are investigated. Among others, the completeness of the scale of these spaces is proved with respect to the considered interpolation method.     

On the eigenvalues of the Sturm-Liouville operator with potentials from Sobolev spaces

We study the asymptotic behavior of the eigenvalues the Sturm-Liouville operator Ly = ?y″ + q(x)y with potentials from the Sobolev space W ₂ ^θ?1 , θ ≥ 0, including the nonclassical case θ ∈ [0, 1) in which the potential is a distribution. The results are obtained in new terms. Let s _2k (q) = λ _k ^1/2 (q) ? k, s _2k?1(q) = μ _k ^1/2 (q) ? k ? 1/2, where {λ _k } ₁ ^∞ and {μ _k } ₁ ^∞ are the sequences of eigenvalues of the operator L generated by the Dirichlet and Dirichlet-Neumann boundary conditions, respectively,. We construct special Hilbert spaces t ₂ ^θ such that the mapping F:W ₂ ^θ?1 →t ₂ ^θ defined by the equality F(q) = {s _n } ₁ ^∞ is well defined for all θ ≥ 0. The main result is as follows: for θ > 0, the mapping F is weakly nonlinear, i.e., can be expressed as F(q) = Uq + Φ(q), where U is the isomorphism of the spaces W ₂ ^θ?1 and t ₂ ^θ , and Φ(q) is a compact mapping. Moreover, we prove the estimate ∥Ф(q)∥_τ ≤ C∥q∥_θ?1, where the exact value of τ = τ(θ) > θ ? 1 is given and the constant C depends only on the radius of the ball ∥q∥_θ? ≤ R, but is independent of the function q varying in this ball.     

The characterization of the Triebel-Lizorkin spaces forp=∞

We establish the characterization of the weighted Triebel-Lizorkin spaces for p=∞ by means of a “generalized” Littlewood-Paley function which is based on a kernel satisfying “minimal” moment and Tauberian conditions. This characterization completes earlier work by Bui et al. The definitions of the ? _∞,q ^α spaces are extended in a natural way to ? _∞,∞ ^α and it is proven that this is the same space as ? _∞,∞ ^α , which justifies the standard convention in which the two spaces are defined to be equal. As a consequence, we obtain a new characterization of the Hölder-Zygmund space ? _∞,∞ ^α .     

New Characterizations of Besov-Triebel-Lizorkin-Hausdorff Spaces Including Coorbits and Wavelets

In this paper, the authors establish new characterizations of the recently introduced Besov-type spaces $\dot{B}^{s,\tau}_{p,q}({\mathbb{R}}^{n})$ and Triebel-Lizorkin-type spaces $\dot{F}^{s,\tau}_{p,q}({\mathbb{R}}^{n})$ with p∈(0,∞], s∈?, τ∈[0,∞), and q∈(0,∞], as well as their preduals, the Besov-Hausdorff spaces $B\!\dot{H}^{s,\tau}_{p,q}({\mathbb{R}}^{n})$ and Triebel-Lizorkin-Hausdorff spaces $F\!\dot{H}^{s,\tau}_{p,q}({\mathbb{R}}^{n})$ , in terms of the local means, the Peetre maximal function of local means, and the tent space (the Lusin area function) in both discrete and continuous types. As applications, the authors then obtain interpretations as coorbits in the sense of Rauhut (Stud. Math. 180:237–253, 2007) and discretizations via biorthogonal wavelet bases for the full range of parameters of these function spaces. Even for some special cases of this setting such as $\dot{F}^{s}_{\infty,q}({\mathbb{R}}^{n})$ for s∈?, q∈(0,∞] (including ?BMO(? ⁿ ) when s=0 and q=2), the Q space Q _α (? ⁿ ), the Hardy-Hausdorff space HH _?α (? ⁿ ) for α∈(0,min{n/2,1}), the Morrey space ${\mathcal{M}}^{u}_{p}({\mathbb{R}}^{n})$ for 1<p≤u<∞, and the Triebel-Lizorkin-Morrey space $\dot{\mathcal{E}}^{s}_{upq}({\mathbb{R}}^{n})$ for 0<p≤u<∞, s∈? and q∈(0,∞], some of these results are new.     

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.     

Gagliardo-Nirenberg inequalities

The paper deals with Gagliardo-Nirenberg inequalities in function spaces of type B _p,q ^s (? ⁿ ) and F _p,q ^s (? ⁿ ).     

Discretization and best approximation in Besov spaces

In this paper we prove a theorem about existence of best approximation in a class of spaces involving Besov spaces, via a discretization technique. It is a consequence of this theorem that rational functions and exponencial sums are proximinal subsets of B _∞,q ^a (π). It is also proved the proximinality of R _m ⁿ [a, b] in B _p,q ^a (π) for arbitrary p,q and a.     

Matrix Maps of Quasi-Convex Null Sequences

In [7] Stieglitz and Tietz identify the space q ^α of all quasi-convex convergent sequences as a BK-space. They characterize all infinite matrices which map q ^α into an arbitrary FK-space. In [6] they do so for matrices which map a particular class of sequence spaces into q ^α . In [10] Zygmund introduces q ² in connexion with convergence factors of Fourier series. Dawson considers in [3] and [4] matrix maps of the space q ₀ ^α of all quasi-convex null sequences. In Section 2 we characterize all matrices which map q ₀ ^α into an arbitrary FK-space. Prior to that, a particular matrix map on q ₀ ^α gives us the BK-topology on q ₀ ^α . As an application we characterize in Section 3 the matrices which map q ₀ ^α into the FK-spaces considered by Stieglitz and Tietz in [8]. Based on [6], we determine the matrices which map these spaces into q ₀ ^α . Using methods similar to those in [7] our results in Section 2 depend on Theorems 2.1 and 4.1 in [5] due to Jakimovski and Livne. Theorem 2.1 gives for suitable pairs of sequence spaces necessary and sufficient conditions for an infinite matrix to map one space into the second one. In Theorem 4.1 a special sequence which is useful in applications of quasi-convexity is constructed. We close our paper with two remarks concerning three results in [8].     

Wavelet estimations for density derivatives

Donoho et al. in 1996 have made almost perfect achievements in wavelet estimation for a density function f in Besov spaces Bsr,q(R). Motivated by their work, we define new linear and nonlinear wavelet estimators flin,nm, fnonn,m for density derivatives f(m). It turns out that the linear estimation E(‖flinn,m-f(m)‖p) for f(m) ∈ Bsr,q(R) attains the optimal when r≥ p, and the nonlinear one E(‖fnonn,m-f(m)‖p) does the same if r≤p/2(s+m)+1 . In addition, our method is applied to Sobolev spaces with non-negative integer exponents as well.     

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.     

On the cosets of the 2q-power group in the unit group modulop

Letp be a prime number ≡ 3 mod 4,G ^p the unit group of ?/p?, andg a generator ofG _p. Letq be an odd divisor ofp - 1 andG _p ^2q = {t ^2q;t ∈G _pthe subgroup of index2q inG _p. The groupG _p ² / _p ^2q consists of the classes \(\bar g^{2j} \) ,j = 0,...,q – 1. In this paper we study the ’excesses’ of the classes \(\bar g^{2j} \) in {l,...,(_p–l)/2}, i.e., the numbers \(\Phi _j = \left| {\left\{ {k;1 \leqslant k \leqslant \left( {p - 1} \right)/2,\bar k \in \bar g^{2j} } \right\}} \right| - \left| {\left\{ {k;\left( {p - 1} \right)/2 \leqslant k \leqslant p - 1,\bar k \in \bar g^{2j} } \right\}} \right|\) ,j = 0.....q — 1. First we express therelative class number h _2q of the subfieldK _2q? ?(e^2#x03C0;i/p ) of degree [K _2q: ?] =2q in terms of these excesses. We use this formula to establish certaincongruences for the Ф^j. E.g., ifq ∈ {3,5,11}, each number Фj is congruent modulo 4 to each other iff 2 dividesh _2q ^- . Finally we study thevariance of the excesses, i.e., the number \(\sigma ^2 = ((\Phi _0 - \hat \Phi )^2 + \ldots + (\Phi _{q - 1} - \hat \Phi )^2 )/(q - 1)\) , where \(\hat \Phi \) is the mean value of the numbers Ф_j. We obtain an explicit lower bound for σ² in terms ofh _2q ^- /h ₂ ^- . Moreover, we show that log σ² is asymptotically equal to 21og(h _2q ^- h ₂ ^- )/(q - 1) forp→∞. Three tables illustrate the results.     

�����֧�֧�ߧڧܧ� �� �ߧѧڧݧ���֧� ���ڧҧݧڧا֧ߧڧ� �ܧݧѧ���� B p,�� r ��֧�ڧ�էڧ�֧�ܧڧ� ���ߧܧ�ڧ� �ާߧ�ԧڧ� ��֧�֧ާ֧ߧߧ��

Exact estimates with respect to the order of magnitude are obtained for the ortho-projective and linear diameters of the classes B _p,?? ^r periodic functions of several variables in the spaces L _q , 1 ?? p, q ?? ??. The order of magnitude of the best approximation is established in the space Leo of the classes B _??,?? ^r of periodic functions of two variables with trigonometric polynomials with harmonics from a hyperbolic cross.     

Atomic decomposition characterizations of weighted multiparameter Hardy spaces

Let w ?? A _??. In this paper, we introduce weighted-(p, q) atomic Hardy spaces H _w ^p,q (? ⁿ ×? ^m ) for 0 < p ? 1, q >q _w and show that the weighted Hardy space H _w ^p (? ⁿ × ? ^m ) defined via Littlewood-Paley square functions coincides with H _w ^p,q (? ⁿ × ? ^m ) for 0 < p ? 1, q > q _w . As applications, we get a general principle on the H _w ^p (? ⁿ × ? ^m ) to L _w ^p (? ⁿ ×? ^m ) boundedness and a boundedness criterion for two parameter singular integrals on the weighted Hardy spaces.     

Solutions of second order degenerate integro-differential equations in vector-valued function spaces

We study the well-posedness of the second order degenerate integro-differential equations(P2):(Mu)(t)+α(Mu)(t) = Au(t)+ft-∞ a(ts)Au(s)ds + f(t),0t2π,with periodic boundary conditions M u(0)=Mu(2π),(Mu)(0) =(M u)(2π),in periodic Lebesgue-Bochner spaces Lp(T,X),periodic Besov spaces B s p,q(T,X) and periodic Triebel-Lizorkin spaces F s p,q(T,X),where A and M are closed linear operators on a Banach space X satisfying D(A) D(M),a∈L1(R+) and α is a scalar number.Using known operatorvalued Fourier multiplier theorems,we completely characterize the well-posedness of(P2) in the above three function spaces.     

General function spaces. III(SpacesB p,q g(x) andF p,q g(x) , 1<p<∞: basic properties)

qNАстОьЩАь РАБОтА (А тАк жЕ ЕЕ пРОДОлжЕНИЕ — РА БОтА «ОБЩИЕ ФУНкцИОНАльН ыЕ пРО-стРАНстВА, IV») пОсВьЩЕНА ИсслЕДОВ АНИУ БАНАхОВых пРОст РАНстВB _{p, q} ^g(x) ИF _p,q ^g(x) РАспРЕДЕлЕНИИ (ОБОБЩЕННых) ВR _n . В спЕц ИАльНых слУЧАьх ЁтИ пРОстРАНстВА РОДстВ ЕННы ИжВЕстНыМ клАсс АМ сОБОлЕВА—лЕБЕгА—БЕ сОВА, ИжОтРОпНыМ И АНИ жОтРОпНыМ. жДЕсь РАссМАтРИВАУт сь слЕДУУ-ЩИЕ сВОИстВА: плОтНОсть г лАДкИх ФУНкцИИ, ЁкВИВ АлЕНтНыЕ НОРМы, ИНтЕРпОльцИь, В клУЧЕНИь И сРАВНЕНИь. ОБЩИЕ ФУНкцИОНАльНы Е пРОстРАНстВА. III (пРОстРАНстВАB _p,q ^g(x) ИF _p,q ^g(x) , 1     

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.     

Uniform stability of the inverse Sturm-Liouville problem with respect to the spectral function in the scale of Sobolev spaces

We consider the inverse problem of recovering the potential for the Sturm-Liouville operator Ly = ?y″ + q(x)y on the interval [0, π] from the spectrum of the Dirichlet problem and norming constants (from the spectral function). For a fixed θ ≥ 0, with this problem we associate a map F: W ₂ ^θ → l _D ^θ , F(σ) = {s _k } ₁ ^∞ , where W ₂ ^θ = W ₂ ^θ [0, π] is the Sobolev space, σ = ∫ q is a primitive of the potential q ∈ W ₂ ^{θ ? 1} , and l _D ^θ is a specially constructed finite-dimensional extension of the weighted space l ₂ ^θ ; this extension contains the regularized spectral data s = {s _k } ₁ ^∞ for the problem of recovering the potential from the spectral function. The main result consists in proving both lower and upper uniform estimates for the norm of the difference ‖σ ? σ ₁‖ _θ in terms of the l _D ^θ norm of the difference of the regularized spectral data ‖s ? s₁‖ _θ . The result is new even for the classical case q ∈ L ₂, which corresponds to the case θ = 1.     

On bounds for solutions to nonlinear wave equations in Hilbert space with applications to nonlinear elastodynamics

For the nonlinear wave equationu _tt -Nu +G(t,u, u _t ) = ? in Hilbert space, with associated homogeneous initial data, we show how ana priori bound of the form ∫ ₀ ^T ∥G(τ,u, u _τ)∥² dτ ≤ κ ∫ ₀ ^T ∥?(τ)∥² dτ leads to upper and lower bounds for ∥u∥ in terms of ∥?∥. An application to nonlinear elastodynamics is presented.     

An embedding theorem for a weighted space of Sobolev type and correct solvability of the Sturm-Liouville equation

We consider the weighted space W ₁ ⁽²⁾ (?,q) of Sobolev type $$W_1^{(2)} (\mathbb{R},q) = \left\{ {y \in A_{loc}^{(1)} (\mathbb{R}):\left\| {y''} \right\|_{L_1 (\mathbb{R})} + \left\| {qy} \right\|_{L_1 (\mathbb{R})} < \infty } \right\} $$ and the equation $$ - y''(x) + q(x)y(x) = f(x),x \in \mathbb{R} $$ Here f ε L ₁(?) and 0 ? q ∈ L ₁ ^loc (?). We prove the following:

1. The problems of embedding W ₁ ⁽²⁾ (?q) ? L ₁(?) and of correct solvability of (1) in L ₁(?) are equivalent
2. an embedding W ₁ ⁽²⁾ (?,q) ? L ₁(?) exists if and only if $$\exists a > 0:\mathop {\inf }\limits_{x \in R} \int_{x - a}^{x + a} {q(t)dt > 0} $$