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.     

Asymptotic behaviour for a nonlocal diffusion equation on a lattice

In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, u^￠_n(t) = ?_{j ? \mathbbZ^d} J_n-ju_j(t)-u_n(t)u^{\prime}_{n}(t) = \sum_{{j\in}{{{\mathbb{Z}}}^{d}}} J_{n-j}u_{j}(t)-u_{n}(t) with t ≥ 0 and n ? \mathbbZ^dn \in {\mathbb{Z}}^{d}. We assume that J is nonnegative and verifies ?_{n ? \mathbbZ^d}J_n = 1\sum_{{n \in {\mathbb{Z}}}^{d}}J_{n}= 1. We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

On the Selberg orthogonality for automorphic L-functions

For automorphic L-functions L(s, π) and L( s,p^￠){L( s,\pi^{\prime })} attached to automorphic irreducible cuspidal representations π and π′ of GL_m( \mathbbQ_A){GL_{m}( \mathbb{Q}_{A})} and GL_m^￠(\mathbbQ_A) {GL_{m^{\prime }}(\mathbb{Q}_{A}) }, we prove the Selberg orthogonality unconditionally for m ≤ 4 and m′ ≤ 4, and under hypothesis H of Rudnik and Sarnak if m > 4 or m′ > 4, without the additional requirement that at least one of these representations be self-contragradient.     

Dimension Free Estimates for Riesz Transforms Associated to the Harmonic Oscillator on \mathbb{R}^{n}

Let L=?Δ+|ξ|² be the harmonic oscillator on $\mathbb{R}^{n}Let L=−Δ+|ξ|² be the harmonic oscillator on \mathbbRⁿ\mathbb{R}^{n} , with the associated Riesz transforms R_2j−1=(∂/∂ξ_j)L^−1/2,R_2j=ξ_jL^−1/2. We give a shorter proof of a recent result of Harboure, de Rosa, Segovia, Torrea: For 1<p<∞ and a dimension free constant C_p,

||(?k=12n|Rk(f)|2)1/2||Lp(\mathbbRn,dx)\leqslant Cp||f||Lp(\mathbbRn,dx).\bigg\Vert \bigg(\sum_{k=1}^{2n}\vert R_{k}(f)\vert ^{2}\bigg)^{{1}/{2}}\bigg\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}\leqslant C_{p}\Vert f\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}.      6. A New Regularity Criterion in Terms of the Direction of the Velocity for the MHD Equations      Xiaochun Chen  Sadek Gala  Zhengguang Guo 《Acta Appl Math》2011,113(2):207-213 In this paper we obtain a new regularity criterion for weak solutions to the 3D MHD equations. It is proved that if div( \fracu|u|) \mathrm{div}( \frac{u}{|u|}) belongs to L\frac21-r( 0,T;[(X)\dot]r( \mathbbR3) ) L^{\frac{2}{1-r}}( 0,T;\dot{X}_{r}( \mathbb{R}^{3}) ) with 0≤r≤1, then the weak solution actually is regular and unique.      7. Spectral decomposition and Gelfand’s theorem      A. Driouich  O. El-Mennaoui  M. Jazar 《Semigroup Forum》2010,80(3):391-404 We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={ilk;k ? \mathbb\mathbbZ*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|lk|ldkn < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and dk=min(\frac|lk+1-lk|2,\frac|lk-1-lk|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (Pk)k ? \mathbb\mathbbZ*(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A n+ℓ ), the decomposition ∑P k x=x holds.      8. 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.      9. Univalent Functions, <Emphasis Type="Italic">VMOA</Emphasis> and Related Spaces      Petros Galanopoulos  Daniel Girela  Rodrigo Hernández 《Journal of Geometric Analysis》2011,21(3):665-682 This paper is concerned mainly with the logarithmic Bloch space ℬlog  which consists of those functions f which are analytic in the unit disc \mathbbD{\mathbb{D}} and satisfy sup|z| < 1(1-|z|)log\frac11-|z||f￠(z)| < ￥\sup_{\vert z\vert <1}(1-\vert z\vert )\log\frac{1}{1-\vert z\vert}\vert f^{\prime}(z)\vert <\infty , and the analytic Besov spaces B p , 1≤p<∞. They are all subspaces of the space VMOA. We study the relation between these spaces, paying special attention to the membership of univalent functions in them. We give explicit examples of: •  A bounded univalent function in $\bigcup_{p>1}B^{p}$\bigcup_{p>1}B^{p} but not in the logarithmic Bloch space.      10. Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem      V. V. Lebedev 《Functional Analysis and Its Applications》2012,46(2):121-132 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 1(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||A(\mathbbT) = || [^(f)] ||l1 (\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 || einf ||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 || einf ||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.      11. Approximations of the exponential of an operator with periodic coefficients      S. E. Pastukhova 《Journal of Mathematical Sciences》2012,181(5):668-700 We consider the operator exponential e −tA , t > 0, where A is a selfadjoint positive definite operator corresponding to the diffusion equation in \mathbbRn {\mathbb{R}^n} with measurable 1-periodic coefficients, and approximate it in the operator norm ||   ·   ||L2( \mathbbRn ) ? L2( \mathbbRn ) {\left\| {\; \cdot \;} \right\|_{{{L^2}\left( {{\mathbb{R}^n}} \right) \to {L^2}\left( {{\mathbb{R}^n}} \right)}}} with order O( t - \fracm2 ) O\left( {{t^{{ - \frac{m}{2}}}}} \right) as t → ∞, where m is an arbitrary natural number. To construct approximations we use the homogenized parabolic equation with constant coefficients, the order of which depends on m and is greater than 2 if m > 2. We also use a collection of 1-periodic functions N α (x), x ? \mathbbRn x \in {\mathbb{R}^n} , with multi-indices α of length | a| \leqslant m \left| \alpha \right| \leqslant m , that are solutions to certain elliptic problems on the periodicity cell. These results are used to homogenize the diffusion equation with ε-periodic coefficients, where ε is a small parameter. In particular, under minimal regularity conditions, we construct approximations of order O(ε m ) in the L 2-norm as ε → 0. Bibliography: 14 titles.      12. Closed-Range Composition Operators on Weighted Bergman Spaces      John?R.?AkeroydEmail author  Shanda?R.?Fulmer 《Integral Equations and Operator Theory》2012,72(1):103-114 For analytic self-maps φ of the unit disk, we show that recently given conditions that are both necessary and sufficient for the composition operator C φ to be closed-range on the classical Bergman space \mathbbA2{\mathbb{A}^2} are actually necessary and sufficient in the general setting of the weighted Bergman spaces \mathbbApa{\mathbb{A}^p_{\alpha}} , for 1 ≤ p < ∞ and weights of the form (1 - |z|2)a{(1 - |z|^2)^{\alpha}} ; where α > −1. Along the way, we show how work done in a paper of J. Akeroyd, P. Ghatage and M. Tjani can be used to improve upon the most definitive of these conditions, and we give applications.      13. Rectifiability of metric flat chains and fractional masses      E. Stepanov 《Journal of Mathematical Sciences》2010,167(3):406-417 We prove that every real flat chain T of finite mass in a complete separable metric space E is rectifiable when \mathbbMa (T) < + ￥ {\mathbb{M}^\alpha }(T) < + \infty for some α ∈ [0, 1), where \mathbbMa (T) {\mathbb{M}^\alpha }(T) is the α-mass of T. Bibliography: 12 titles.      14. Exotic smooth structures on small 4-manifolds with odd signatures      Anar Akhmedov  B. Doug Park 《Inventiones Mathematicae》2010,181(3):577-603 Let M be (2n-1)\mathbbCP2#2n[`(\mathbbCP)]2(2n-1)\mathbb{CP}^{2}\#2n\overline{\mathbb{CP}}{}^{2} for any integer n≥1. We construct an irreducible symplectic 4-manifold homeomorphic to M and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to M. We also construct such exotic smooth structures when M is \mathbbCP2#4[`(\mathbbCP)]2\mathbb{CP}{}^{2}\#4\overline {\mathbb{CP}}{}^{2} or 3\mathbbCP2#k[`(\mathbbCP)]23\mathbb{CP}{}^{2}\#k\overline{\mathbb{CP}}{}^{2} for k=6,8,10.      15. On approximation of periodic functions by Fourier sums      V. V. Zhuk 《Journal of Mathematical Sciences》2010,166(2):167-185 Let L p , 1 ≤ p< ∞, be the space of 2π-periodic functions f with the norm || f ||p = ( ò - pp | f |p )1 \mathord / \vphantom 1 p p {\left\| f \right\|_p} = {\left( {\int\limits_{ - \pi }^\pi {{{\left| f \right|}^p}} } \right)^{{1 \mathord{\left/{\vphantom {1 p}} \right.} p}}} , and let C = L ∞ be the space of continuous 2π-periodic functions with the norm || f ||￥ = || f || = maxe ? \mathbbR | f(x) | {\left\| f \right\|_\infty } = \left\| f \right\| = \mathop {\max }\limits_{e \in \mathbb{R}} \left| {f(x)} \right| . Let CP be the subspace of C with a seminorm P invariant with respect to translation and such that P(f) \leqslant M|| f || P(f) \leqslant M\left\| f \right\| for every f ∈ C. By ?k = 0￥ Ak (f) \sum\limits_{k = 0}^\infty {{A_k}} (f) denote the Fourier series of the function f, and let l = { lk }k = 0￥ \lambda = \left\{ {{\lambda_k}} \right\}_{k = 0}^\infty be a sequence of real numbers for which ?k = 0￥ lk Ak(f) \sum\limits_{k = 0}^\infty {{\lambda_k}} {A_k}(f) is the Fourier series of a certain function f λ ∈ L p . The paper considers questions related to approximating the function f λ by its Fourier sums S n (f λ) on a point set and in the spaces L p and CP. Estimates for || fl - Sn( fl ) ||p {\left\| {{f_\lambda } - {S_n}\left( {{f_\lambda }} \right)} \right\|_p} and P(f λ − S n (f λ)) are obtained by using the structural characteristics (the best approximations and the moduli of continuity) of the functions f and f λ. As a rule, the essential part of deviation is estimated with the use of the structural characteristics of the function f. Bibliography: 11 titles.      16. The Hermite Property of a Causal Wiener Algebra Used in Control Theory      Amol Sasane 《Complex Analysis and Operator Theory》2010,4(1):97-107 Let \mathbbC+ : = {s ? \mathbbC    |     Re(s) 3 0}{{\mathbb{C}}}_{+} := \{s \in {{\mathbb{C}}}\quad | \quad {\rm Re}(s) \geq 0\} and let A\mathcal{A} denote the Banach algebra A = { s( ? \mathbbC+ ) ? [^(f)]a (s) + ?k = 0￥ fk e - stk | lfa ? L1 (0,￥),(fk )k 3 0 ? l1, 0 = t0 < t1 < t2 < ? }{{{\mathcal{A}}}} = \left\{ s( \in {{{\mathbb{C}}}}_ + ) \mapsto \hat{f}_a (s) + \sum\limits_{k = 0}^\infty {f_k e^{ - st_k }}\bigg | \bigg.{\begin{array}{l}{f_a \in L^1 (0,\infty ),(f_k )_{k \geq 0} \in \ell^{1}, } \cr {{0 = t_0 < t_1 < t_2 < \ldots}} \end{array}} \right\}      17. New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces      Dachun Yang  Wen Yuan 《Mathematische Zeitschrift》2010,265(2):451-480 Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,￥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]s, tp, q(\mathbbRn){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ￥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]s, tp, q(\mathbbRn) for p ? (0, ￥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]s, tp, q(\mathbbRn) and [(F)\dot]s, tp, q(\mathbbRn){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]s, tp, q(\mathbbRn) and [(F)\dot]s, tp, q(\mathbbRn){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ￥), q ? [1, ￥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{p, q})￠]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]s, tp, q(\mathbbRn){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]s, tp, q(\mathbbRn){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]-s, tp￠, q￠(\mathbbRn){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,￥){t\in (1,\infty)} .      18. Schlicht envelopes of holomorphy and topology      Christopher Hammond 《Mathematische Zeitschrift》2010,266(2):285-288 Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC2{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC2{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i*:p1(W) ? p1(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.      19. A categorification of Morelli’s theorem      Bohan Fang  Chiu-Chu Melissa Liu  David Treumann  Eric Zaslow 《Inventiones Mathematicae》2011,186(1):79-114       20. Density of the polynomials in Hardy and Bergman spaces of slit domains      John R. Akeroyd 《Arkiv f?r Matematik》2011,49(1):1-16 It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbAt(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in Ht(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

A New Regularity Criterion in Terms of the Direction of the Velocity for the MHD Equations

In this paper we obtain a new regularity criterion for weak solutions to the 3D MHD equations. It is proved that if div( \fracu|u|) \mathrm{div}( \frac{u}{|u|}) belongs to L^\frac21-r( 0,T;[(X)\dot]_r( \mathbbR³) ) L^{\frac{2}{1-r}}( 0,T;\dot{X}_{r}( \mathbb{R}^{3}) ) with 0≤r≤1, then the weak solution actually is regular and unique.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

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.     

Univalent Functions, <Emphasis Type="Italic">VMOA</Emphasis> and Related Spaces

This paper is concerned mainly with the logarithmic Bloch space ℬ_log which consists of those functions f which are analytic in the unit disc \mathbbD{\mathbb{D}} and satisfy sup_{|z| < 1}(1-|z|)log\frac11-|z||f^￠(z)| < ￥\sup_{\vert z\vert <1}(1-\vert z\vert )\log\frac{1}{1-\vert z\vert}\vert f^{\prime}(z)\vert <\infty , and the analytic Besov spaces B ^p , 1≤p<∞. They are all subspaces of the space VMOA. We study the relation between these spaces, paying special attention to the membership of univalent functions in them. We give explicit examples of:

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.     

Approximations of the exponential of an operator with periodic coefficients

We consider the operator exponential e ^−tA , t > 0, where A is a selfadjoint positive definite operator corresponding to the diffusion equation in \mathbbRⁿ {\mathbb{R}^n} with measurable 1-periodic coefficients, and approximate it in the operator norm ||   ·   ||_{L²( \mathbbRⁿ ) ? L²( \mathbbRⁿ )} {\left\| {\; \cdot \;} \right\|_{{{L^2}\left( {{\mathbb{R}^n}} \right) \to {L^2}\left( {{\mathbb{R}^n}} \right)}}} with order O( t ^{- \fracm2} ) O\left( {{t^{{ - \frac{m}{2}}}}} \right) as t → ∞, where m is an arbitrary natural number. To construct approximations we use the homogenized parabolic equation with constant coefficients, the order of which depends on m and is greater than 2 if m > 2. We also use a collection of 1-periodic functions N _α (x), x ? \mathbbRⁿ x \in {\mathbb{R}^n} , with multi-indices α of length | a| \leqslant m \left| \alpha \right| \leqslant m , that are solutions to certain elliptic problems on the periodicity cell. These results are used to homogenize the diffusion equation with ε-periodic coefficients, where ε is a small parameter. In particular, under minimal regularity conditions, we construct approximations of order O(ε ^m ) in the L ²-norm as ε → 0. Bibliography: 14 titles.     

Closed-Range Composition Operators on Weighted Bergman Spaces

For analytic self-maps φ of the unit disk, we show that recently given conditions that are both necessary and sufficient for the composition operator C _φ to be closed-range on the classical Bergman space \mathbbA²{\mathbb{A}^2} are actually necessary and sufficient in the general setting of the weighted Bergman spaces \mathbbA^p_a{\mathbb{A}^p_{\alpha}} , for 1 ≤ p < ∞ and weights of the form (1 - |z|²)^a{(1 - |z|^2)^{\alpha}} ; where α > −1. Along the way, we show how work done in a paper of J. Akeroyd, P. Ghatage and M. Tjani can be used to improve upon the most definitive of these conditions, and we give applications.     

Rectifiability of metric flat chains and fractional masses

We prove that every real flat chain T of finite mass in a complete separable metric space E is rectifiable when \mathbbM^a (T) < + ￥ {\mathbb{M}^\alpha }(T) < + \infty for some α ∈ [0, 1), where \mathbbM^a (T) {\mathbb{M}^\alpha }(T) is the α-mass of T. Bibliography: 12 titles.     

Exotic smooth structures on small 4-manifolds with odd signatures

Let M be (2n-1)\mathbbCP²#2n[`(\mathbbCP)]<sup>2</sup>(2n-1)\mathbb{CP}^{2}\#2n\overline{\mathbb{CP}}{}^{2} for any integer n≥1. We construct an irreducible symplectic 4-manifold homeomorphic to M and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to M. We also construct such exotic smooth structures when M is \mathbbCP<sup>2</sup>#4[`(\mathbbCP)]²\mathbb{CP}{}^{2}\#4\overline {\mathbb{CP}}{}^{2} or 3\mathbbCP²#k[`(\mathbbCP)]²3\mathbb{CP}{}^{2}\#k\overline{\mathbb{CP}}{}^{2} for k=6,8,10.     

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}

The Hermite Property of a Causal Wiener Algebra Used in Control Theory

Let \mathbbC₊ : = {s ? \mathbbC    |     Re(s) 3 0}{{\mathbb{C}}}_{+} := \{s \in {{\mathbb{C}}}\quad | \quad {\rm Re}(s) \geq 0\} and let A\mathcal{A} denote the Banach algebra

New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces

Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,￥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ￥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]^s, t_p, q(\mathbbRⁿ) for p ? (0, ￥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ￥), q ? [1, ￥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{p, q})￠]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]^-s, t_p￠, q￠(\mathbbRⁿ){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,￥){t\in (1,\infty)} .     

Schlicht envelopes of holomorphy and topology

Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC²{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC²{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i_*:p₁(W) ? p₁(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.     

Density of the polynomials in Hardy and Bergman spaces of slit domains

It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbA^t(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in H^t(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.