Uniqueness of a solution to the problem of atmosphere dynamics

We consider the model of atmosphere dynamics and prove the uniqueness of a solution in a bounded domain W ì \mathbbR³ \Omega \subset {\mathbb{R}^3} in the space V(Q) of weak solutions equipped with the finite norm

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

Estimation of the norm of the derivative of a monotone rational function in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We show that the derivative of an arbitrary rational function R of degree n that increases on the segment [−1, 1] satisfies the following equality for all 0 < ε < 1 and p, q > 1:

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

Regularity of weak solutions to the Navier–Stokes equations in exterior domains

Let u be a weak solution of the Navier–Stokes equations in an exterior domain ${\Omega \subset \mathbb{R}^3}Let u be a weak solution of the Navier–Stokes equations in an exterior domain W ì \mathbbR³{\Omega \subset \mathbb{R}^3} and a time interval [0, T[ , 0 < T ≤ ∞, with initial value u ₀, external force f = div F, and satisfying the strong energy inequality. It is well known that global regularity for u is an unsolved problem unless we state additional conditions on the data u ₀ and f or on the solution u itself such as Serrin’s condition || u ||_{L^s(0,T; L^q(W))} < ￥{\| u \|_{L^s(0,T; L^q(\Omega))} < \infty} with 2 < s < ￥, \frac2s + \frac3q = 1{2 < s < \infty, \frac{2}{s} + \frac{3}{q} =1}. In this paper, we generalize results on local in time regularity for bounded domains, see Farwig et al. (Indiana Univ Math J 56:2111–2131, 2007; J Math Fluid Mech 11:1–14, 2008; Banach Center Publ 81:175–184, 2008), to exterior domains. If e.g. u fulfills Serrin’s condition in a left-side neighborhood of t or if the norm || u ||_{L^s￠(t-d,t; L^q(W))}{\| u \|_{L^{s'}(t-\delta,t; L^q(\Omega))}} converges to 0 sufficiently fast as δ → 0 + , where ${\frac{2}{s'} + \frac{3}{q} > 1}${\frac{2}{s'} + \frac{3}{q} > 1}, then u is regular at t. The same conclusion holds when the kinetic energy \frac12|| u(t) ||₂²{\frac{1}{2}\| u(t) \|_2^2} is locally H?lder continuous with exponent ${\alpha > \frac{1}{2}}${\alpha > \frac{1}{2}}.     

On approximation of periodic functions by Fourier sums

Let L _p , 1 ≤ p< ∞, be the space of 2π-periodic functions f with the norm || f ||_p = ( ò _{- p}^p | f |^p )^{1 \mathord}

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

Singular oscillatory integrals on {\mathbb{R}^n}

Let ${\mathcal{P}_{d,n}}Let P_d,n{\mathcal{P}_{d,n}} denote the space of all real polynomials of degree at most d on \mathbbRⁿ{\mathbb{R}^n} . We prove a new estimate for the logarithmic measure of the sublevel set of a polynomial P ? P_d,1{P\in \mathcal{P}_{d,1}} . Using this estimate, we prove that

supP ? Pd,n| p.v.ò\mathbbRneiP(x)\fracW(x/|x|)|x|ndx| ￡ c log d (||W||L logL(Sn-1)+1),\mathop{\rm sup}\limits_ {P \in \mathcal{P}_{d,n}}\left| p.v.\int_{\mathbb{R}^{n}}{e^{iP(x)}}{\frac{\Omega(x/|x|)}{|x|^n}dx}\right | \leq c\,{\rm log}\,d\,(||\Omega||_L \log L(S^{n-1})+1),      9. Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants      Torsten Ehrhardt  Bin Shao 《Journal of Fourier Analysis and Applications》2001,7(1):71-92 For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò02p s( \fracjn,eiq) e-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s](n+1)E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.      10. A regularity criterion for axially symmetric solutions to the Navier–Stokes equations      W. M. Zaja̧czkowski 《Journal of Mathematical Sciences》2011,178(3):265-273 The axially symmetric solutions to the Navier–Stokes equations are studied. Assume that either the radial component (v r ) of the velocity belongs to L ∞(0, T;L 3(Ω0)) or v r /r belongs to L ∞(0, T;L 3/2(Ω0)), where Ω0 is a neighborhood of the axis of symmetry. Assume additionally that there exist subdomains Ω k , k = 1, . . . , N, such that W0 ì èk = 1N Wk {\Omega_0} \subset \bigcup\limits_{k = 1}^N {{\Omega_k}} , and assume that there exist constants α 1, α 2 such that either || vr ||L￥ ( 0,T;L3( Wk ) ) ￡ a1 or  || \fracvrr ||L￥ ( 0,T;L3/2( Wk ) ) ￡ a2 {\left\| {{v_r}} \right\|_{{L_\infty }\left( {0,T;{L_3}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_1}\,or\;{\left\| {\frac{{{v_r}}}{r}} \right\|_{{L_\infty }\left( {0,T;{L_{3/2}}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_2} for k = 1, . . . , N. Then the weak solution becomes strong ( v ? W22,1( W×( 0,T ) ),?p ? L2( W×( 0,T ) ) ) \left( {v \in W_2^{2,1}\left( {\Omega \times \left( {0,T} \right)} \right),\nabla p \in {L_2}\left( {\Omega \times \left( {0,T} \right)} \right)} \right) . Bibliography: 28 titles.      11. On some inequalities for Doob decompositions in Banach function spaces      Masato Kikuchi 《Mathematische Zeitschrift》2010,265(4):865-887 Let ${\Phi : \mathbb{R} \to [0, \infty)}Let F: \mathbbR ? [0, ￥){\Phi : \mathbb{R} \to [0, \infty)} be a Young function and let f = (fn)n ? \mathbbZ+{f = (f_n)_n\in\mathbb{Z}_{+}} be a martingale such that F(fn) ? L1{\Phi(f_n) \in L_1} for all n ? \mathbbZ+{n \in \mathbb{Z}_{+}} . Then the process F(f) = (F(fn))n ? \mathbbZ+{\Phi(f) = (\Phi(f_n))_n\in\mathbb{Z}_{+}} can be uniquely decomposed as F(fn)=gn+hn{\Phi(f_n)=g_n+h_n} , where g=(gn)n ? \mathbbZ+{g=(g_n)_n\in\mathbb{Z}_{+}} is a martingale and h=(hn)n ? \mathbbZ+{h=(h_n)_n\in\mathbb{Z}_{+}} is a predictable nondecreasing process such that h 0 = 0 almost surely. The main results characterize those Banach function spaces X such that the inequality ||h￥||X ￡ C ||F(Mf) ||X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Mf)} \|_X} is valid, and those X such that the inequality ||h￥||X ￡ C ||F(Sf) ||X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Sf)} \|_X} is valid, where Mf and Sf denote the maximal function and the square function of f, respectively.      12. Interpolation of Banach Lattices and Factorization of p-Convex and q-Concave Operators      Yves Raynaud  Pedro Tradacete 《Integral Equations and Operator Theory》2010,66(1):79-112 We extend a result of ?estakov to compare the complex interpolation method [X 0, X 1]θ with Calderón-Lozanovskii’s construction ${{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}We extend a result of Šestakov to compare the complex interpolation method [X 0, X 1]θ with Calderón-Lozanovskii’s construction X1-q0Xq1{{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}, in the context of abstract Banach lattices. This allows us to prove that an operator between Banach lattices T : E → F which is p-convex and q-concave, factors, for any q ? (0, 1){{{{\theta \in (0, 1)}}}}, as T =  T 2 T 1, where T 2 is ( (\fracpq+ (1 - q)p ){{\left({\frac{p}{{\theta + (1 - \theta)p}}} \right)}}-convex and T 1 is (\fracq1 - q ){{\left({\frac{q}{{1 - \theta }}} \right)}}-concave.      13. On the derivatives of X-ray functions      A. Koldobsky 《Archiv der Mathematik》2002,79(3):216-222 We show that for every n \geqq 4, 0 \leqq k \leqq n - 3, p ? (0, 3] n \geqq 4, 0 \leqq k \leqq n - 3, p \in (0, 3] and every origin-symmetric convex body K in \mathbbRn \mathbb{R}^n , the function ||x ||-k2 ||x ||-n+k+pK \parallel x \parallel^{-k}_{2} \parallel x \parallel^{-n+k+p}_{K} represents a positive definite distribution on \mathbbRn \mathbb{R}^n , where ||·||2 \parallel \cdot \parallel_{2} is the Euclidean norm and ||·||K \parallel \cdot \parallel_{K} is the Minkowski functional of K. We apply this fact to prove a result of Busemann-Petty type that the inequalities for the derivatives of order (n - 4) at zero of X-ray functions of two convex bodies imply the inequalities for the volume of average m-dimensional sections of these bodies for all 3 \leqq m \leqq n 3 \leqq m \leqq n . We also prove a sharp lower estimate for the maximal derivative of X-ray functions of the order (n - 4) at zero.      14. Uniform estimates for order statistics and Orlicz functions      Yehoram Gordon  Alexander E. Litvak  Carsten Schütt  Elisabeth Werner 《Positivity》2012,16(1):1-28 We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ 1, … , ξ n and a vector of scalars x = (x 1, … , x n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min1 ￡ i ￡ n |xixi|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max1 ￡ i ￡ n|xixi|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||yx||M{\|y_x\|_M} of the vector y x  = (1/x 1, … , 1/x n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ 1|, G(t) = \mathbb P ({ |x1| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ 1 is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò0t e-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò0se-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.      15. Micro-Local Analysis with Fourier Lebesgue Spaces. Part?I      Stevan Pilipovi?  Nenad Teofanov  Joachim Toft 《Journal of Fourier Analysis and Applications》2011,17(3):374-407 Let ω,ω 0 be appropriate weight functions and q∈[1,∞]. We introduce the wave-front set, WFFLq(w)(f)\mathrm{WF}_{\mathcal{F}L^{q}_{(\omega)}}(f) of f ? S￠f\in \mathcal{S}' with respect to weighted Fourier Lebesgue space FLq(w)\mathcal{F}L^{q}_{(\omega )}. We prove that usual mapping properties for pseudo-differential operators Op (a) with symbols a in S(w0)r,0S^{(\omega _{0})}_{\rho ,0} hold for such wave-front sets. Especially we prove that $[b]{lll}\mathrm{WF}_{\mathcal{F}L^q_{(\omega /\omega _0)}}(\operatorname {Op}(a)f)&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega )}}(f)\\[6pt]&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega/\omega _0)}}(\operatorname {Op}(a)f)\cup \operatorname {Char}(a).$\begin{array}[b]{lll}\mathrm{WF}_{\mathcal{F}L^q_{(\omega /\omega _0)}}(\operatorname {Op}(a)f)&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega )}}(f)\\[6pt]&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega/\omega _0)}}(\operatorname {Op}(a)f)\cup \operatorname {Char}(a).\end{array}      16. A Completeness Problem Related to the Riemann Hypothesis      Julio Alcántara-Bode 《Integral Equations and Operator Theory》2005,53(3):301-309 It is proven that the set of eigenvectors and generalized eigenvectors associated to the non-zero eigenvalues of the Hilbert-Schmidt (non nuclear, non normal) integral operator on L2(0, 1) [Ar (a)f](q) = ò01 r( \fracaq x )f(x)dx [A_{\rho } (\alpha )f](\theta ) = {\int_0^1 {\rho {\left( {\frac{{\alpha \theta }} {x}} \right)}f(x)dx} }      17. On the boundedness of one recurrent sequence in a banach space      M. F. Horodnii  O. V. Vyatchaninov 《Ukrainian Mathematical Journal》2009,61(9):1529-1532 We establish necessary and sufficient conditions under which a sequence x 0 = y 0 , x n+1 = Ax n  + y n+1 , n ≥ 0, is bounded for each bounded sequence { yn :n \geqslant 0 } ì { x ? èn = 1￥ D( An ) |supn \geqslant 0 || An x || < ￥ }\left\{ {y_n :n \geqslant 0} \right\} \subset \left\{ {\left. {x \in \bigcup\nolimits_{n = 1}^\infty {D\left( {A^n } \right)} } \right|\sup _{n \geqslant 0} \left\| {A^n x} \right\| < \infty } \right\}, where A is a closed operator in a complex Banach space with domain of definition D(A) .      18. Best constant in a three-parameter Poincaré inequality      I. V. Gerasimov  A. I. Nazarov 《Journal of Mathematical Sciences》2011,179(1):80-99 We study the problem of finding the best constant in the generalized Poincaré inequality lpqr = min\frac|| y￠ ||Lp[0,1]|| y ||Lp[0,1],        ò01 | y(t) |r - 2y(t)dt = 0, {{\rm{\lambda }}_{pqr}} = \min \frac{{\left\| {y'} \right\|{L_p}[0,1]}}{{\left\| y \right\|{L_p}[0,1]}},\quad \quad \mathop {\int }\limits_0^1 {\left| {y(t)} \right|^{r - 2}}y(t)dt = 0,      19. On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)      Nikolaos D. Atreas 《Advances in Computational Mathematics》2012,36(1):21-38 Let ϕ be a function in the Wiener amalgam space W￥(L1)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={tn}n ? \mathbb Z{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and VftV_\phi^{\bf \tau} be a closed subspace of L2(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? Vftf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set Lft(f)={ò\mathbbR f(t)[`(f(t-tn))] dt}n ? \mathbb ZL_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.      20. L p Norms of Eigenfunctions in the Completely Integrable Case      J. A. Toth  S. Zelditch 《Annales Henri Poincare》2003,4(2):343-368 The eigenfunctions eiál,x? e^{i\langle\lambda,x\rangle} of the Laplacian on a flat torus have uniformly bounded Lp norms. In this article, we prove that for every other quantum integrable Laplacian, the Lp norms of the joint eigenfunctions blow up at least at the rate || jk || Lp 3 C(e)lk[(p-2)/(4p)]-e \| \varphi_k \| L^{p} \geq C(\epsilon)\lambda_{k}^{{p-2\over4p}-\epsilon} when p > 2. This gives a quantitative refinement of our recent result [TZ1] that some sequence of eigenfunctions must blow up in Lp unless (M,g) is flat. The better result in this paper is based on mass estimates of eigenfunctions near singular leaves of the Liouville foliation.      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

A regularity criterion for axially symmetric solutions to the Navier–Stokes equations

The axially symmetric solutions to the Navier–Stokes equations are studied. Assume that either the radial component (v _r ) of the velocity belongs to L _∞(0, T;L ₃(Ω₀)) or v _r /r belongs to L _∞(0, T;L _3/2(Ω₀)), where Ω₀ is a neighborhood of the axis of symmetry. Assume additionally that there exist subdomains Ω _k , k = 1, . . . , N, such that W₀ ì è_{k = 1}^N W_k {\Omega_0} \subset \bigcup\limits_{k = 1}^N {{\Omega_k}} , and assume that there exist constants α ₁, α ₂ such that either || v_r ||_{L￥ ( 0,T;L3( Wk ) )} ￡ a₁ or  || \fracv_rr ||_{L￥ ( 0,T;L3/2( Wk ) )} ￡ a₂ {\left\| {{v_r}} \right\|_{{L_\infty }\left( {0,T;{L_3}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_1}\,or\;{\left\| {\frac{{{v_r}}}{r}} \right\|_{{L_\infty }\left( {0,T;{L_{3/2}}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_2} for k = 1, . . . , N. Then the weak solution becomes strong ( v ? W₂^2,1( W×( 0,T ) ),?p ? L₂( W×( 0,T ) ) ) \left( {v \in W_2^{2,1}\left( {\Omega \times \left( {0,T} \right)} \right),\nabla p \in {L_2}\left( {\Omega \times \left( {0,T} \right)} \right)} \right) . Bibliography: 28 titles.     

On some inequalities for Doob decompositions in Banach function spaces

Let ${\Phi : \mathbb{R} \to [0, \infty)}Let F: \mathbbR ? [0, ￥){\Phi : \mathbb{R} \to [0, \infty)} be a Young function and let f = (f_n)_n ? \mathbbZ₊{f = (f_n)_n\in\mathbb{Z}_{+}} be a martingale such that F(f_n) ? L₁{\Phi(f_n) \in L_1} for all n ? \mathbbZ₊{n \in \mathbb{Z}_{+}} . Then the process F(f) = (F(f_n))_n ? \mathbbZ₊{\Phi(f) = (\Phi(f_n))_n\in\mathbb{Z}_{+}} can be uniquely decomposed as F(f_n)=g_n+h_n{\Phi(f_n)=g_n+h_n} , where g=(g_n)_n ? \mathbbZ₊{g=(g_n)_n\in\mathbb{Z}_{+}} is a martingale and h=(h_n)_n ? \mathbbZ₊{h=(h_n)_n\in\mathbb{Z}_{+}} is a predictable nondecreasing process such that h ₀ = 0 almost surely. The main results characterize those Banach function spaces X such that the inequality ||h_￥||_X ￡ C ||F(Mf) ||_X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Mf)} \|_X} is valid, and those X such that the inequality ||h_￥||_X ￡ C ||F(Sf) ||_X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Sf)} \|_X} is valid, where Mf and Sf denote the maximal function and the square function of f, respectively.     

Interpolation of Banach Lattices and Factorization of p-Convex and q-Concave Operators

We extend a result of ?estakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction ${{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}We extend a result of Šestakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction X^1-q₀X^q₁{{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}, in the context of abstract Banach lattices. This allows us to prove that an operator between Banach lattices T : E → F which is p-convex and q-concave, factors, for any q ? (0, 1){{{{\theta \in (0, 1)}}}}, as T =  T ₂ T ₁, where T ₂ is ( (\fracpq+ (1 - q)p ){{\left({\frac{p}{{\theta + (1 - \theta)p}}} \right)}}-convex and T ₁ is (\fracq1 - q ){{\left({\frac{q}{{1 - \theta }}} \right)}}-concave.     

On the derivatives of X-ray functions

We show that for every n \geqq 4, 0 \leqq k \leqq n - 3, p ? (0, 3] n \geqq 4, 0 \leqq k \leqq n - 3, p \in (0, 3] and every origin-symmetric convex body K in \mathbbRⁿ \mathbb{R}^n , the function ||x ||^-k₂ ||x ||^-n+k+p_K \parallel x \parallel^{-k}_{2} \parallel x \parallel^{-n+k+p}_{K} represents a positive definite distribution on \mathbbRⁿ \mathbb{R}^n , where ||·||₂ \parallel \cdot \parallel_{2} is the Euclidean norm and ||·||_K \parallel \cdot \parallel_{K} is the Minkowski functional of K. We apply this fact to prove a result of Busemann-Petty type that the inequalities for the derivatives of order (n - 4) at zero of X-ray functions of two convex bodies imply the inequalities for the volume of average m-dimensional sections of these bodies for all 3 \leqq m \leqq n 3 \leqq m \leqq n . We also prove a sharp lower estimate for the maximal derivative of X-ray functions of the order (n - 4) at zero.     

Uniform estimates for order statistics and Orlicz functions

We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ ₁, … , ξ _n and a vector of scalars x = (x ₁, … , x _n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min_{1 ￡ i ￡ n} |x_ix_i|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max_{1 ￡ i ￡ n}|x_ix_i|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||y_x||_M{\|y_x\|_M} of the vector y _x  = (1/x ₁, … , 1/x _n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ ₁|, G(t) = \mathbb P ({ |x₁| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ ₁ is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò₀^t e^-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò₀^se^-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.     

Micro-Local Analysis with Fourier Lebesgue Spaces. Part?I

Let ω,ω ₀ be appropriate weight functions and q∈[1,∞]. We introduce the wave-front set, WF_FL^q(w)(f)\mathrm{WF}_{\mathcal{F}L^{q}_{(\omega)}}(f) of f ? S￠f\in \mathcal{S}' with respect to weighted Fourier Lebesgue space FL^q_(w)\mathcal{F}L^{q}_{(\omega )}. We prove that usual mapping properties for pseudo-differential operators Op (a) with symbols a in S^(w₀)_r,0S^{(\omega _{0})}_{\rho ,0} hold for such wave-front sets. Especially we prove that

A Completeness Problem Related to the Riemann Hypothesis

It is proven that the set of eigenvectors and generalized eigenvectors associated to the non-zero eigenvalues of the Hilbert-Schmidt (non nuclear, non normal) integral operator on L²(0, 1)

On the boundedness of one recurrent sequence in a banach space

We establish necessary and sufficient conditions under which a sequence x ₀ = y ₀ , x _n+1 = Ax _n  + y _n+1 , n ≥ 0, is bounded for each bounded sequence { y_n :n \geqslant 0 } ì { x ? è_{n = 1}^￥ D( Aⁿ ) |sup_{n \geqslant 0} || Aⁿ x || < ￥ }\left\{ {y_n :n \geqslant 0} \right\} \subset \left\{ {\left. {x \in \bigcup\nolimits_{n = 1}^\infty {D\left( {A^n } \right)} } \right|\sup _{n \geqslant 0} \left\| {A^n x} \right\| < \infty } \right\}, where A is a closed operator in a complex Banach space with domain of definition D(A) .     

Best constant in a three-parameter Poincaré inequality

We study the problem of finding the best constant in the generalized Poincaré inequality

On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)

Let ϕ be a function in the Wiener amalgam space W_￥(L₁)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={t_n}_{n ? \mathbb Z}{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and V_f^tV_\phi^{\bf \tau} be a closed subspace of L₂(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? V_f^tf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set L_f^t(f)={ò_\mathbbR f(t)[`(f(t-t_n))] dt}_{n ? \mathbb Z}L_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.     

L p Norms of Eigenfunctions in the Completely Integrable Case

The eigenfunctions e^iál,x? e^{i\langle\lambda,x\rangle} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions blow up at least at the rate || j_k || L^p 3 C(e)l_k^{[(p-2)/(4p)]-e} \| \varphi_k \| L^{p} \geq C(\epsilon)\lambda_{k}^{{p-2\over4p}-\epsilon} when p > 2. This gives a quantitative refinement of our recent result [TZ1] that some sequence of eigenfunctions must blow up in L^p unless (M,g) is flat. The better result in this paper is based on mass estimates of eigenfunctions near singular leaves of the Liouville foliation.