Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

Generalized uncertainty inequalities

The Heisenberg–Pauli–Weyl (HPW) uncertainty inequality on \mathbbRⁿ{\mathbb{R}^n} says that

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Uncorrelatedness and correlatedness of powers of random variables

Let x₁, ?, x_n \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ₊ⁿ, \mathbbZ₊ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x₁^j₁ ?x_n^j_n) = E(x₁^j₁) ?E(x_n^j_n) ? (j₁, ... ,j_n) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ₊ⁿ U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.     

Quermassintegrals of a random polytope in a convex body

Let K be a convex body in \mathbbRⁿ \mathbb{R}^n with volume |K| = 1 |K| = 1 . We choose N 3 n+1 N \geq n+1 points x₁,?, x_N x_1,\ldots, x_N independently and uniformly from K, and write C(x₁,?, x_N) C(x_1,\ldots, x_N) for their convex hull. Let f : \mathbbR⁺ ? \mathbbR⁺ f : \mathbb{R^+} \rightarrow \mathbb{R^+} be a continuous strictly increasing function and 0 ￡ i ￡ n-1 0 \leq i \leq n-1 . Then, the quantity¶¶E (K, N, f °W_i) = ò_K ?ò_K f[W_i(C(x₁, ?, x_N))]dx_N ?dx₁ E (K, N, f \circ W_{i}) = \int\limits_{K} \ldots \int\limits_{K} f[W_{i}(C(x_1, \ldots, x_N))]dx_{N} \ldots dx_1 ¶¶is minimal if K is a ball (W_i is the i-th quermassintegral of a compact convex set). If f is convex and strictly increasing and 1 ￡ i ￡ n-1 1 \leq i \leq n-1 , then the ball is the only extremal body. These two facts generalize a result of H. Groemer on moments of the volume of C(x₁,?, x_N) C(x_1,\ldots, x_N) .     

On a question of Erdös and Graham

We prove that for any $ \varepsilon > 0 $ \varepsilon > 0 there is k (e) k (\varepsilon) such that for any prime p and any integer c there exist k \leqq k(e) k \leqq k(\varepsilon) pairwise distinct integers x_i with 1 \leqq x_i \leqq p^e, i = 1, ?, k 1 \leqq x_{i} \leqq p^{\varepsilon}, i = 1, \ldots, k , and such that¶¶?_i=1^k [1/(x_i)] o c    (mod p). \sum\limits_{i=1}^k {{1}\over{x_i}} \equiv c\quad (\mathrm{mod}\, p). ¶¶ This gives a positive answer to a question of Erdös and Graham.     

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.     

Solutions for the generalized Loewner differential equation in several complex variables

We generalize a one-variable result of J. Becker to several complex variables. We determine the form of arbitrary solutions of the Loewner differential equation that is satisfied by univalent subordination chains of the form ${f(z, t)=e^{tA}z+\cdots,}We generalize a one-variable result of J. Becker to several complex variables. We determine the form of arbitrary solutions of the Loewner differential equation that is satisfied by univalent subordination chains of the form f(z, t)=e^tAz+?,{f(z, t)=e^{tA}z+\cdots,} where A ? L(\mathbbCⁿ, \mathbbCⁿ){A\in L(\mathbb{C}^n, \mathbb{C}^n)} has the property k ₊(A) < 2m(A). Here k₊(A)=max{?l:l ? s(A)}{k_+(A)=\max\{\Re\lambda:\lambda\in \sigma(A)\}} and m(A)=min{?áA(z), z ?: ||z||=1}{m(A)=\min\{\Re\langle A(z), z \rangle: \|z\|=1\}} . (The notion of parametric representation has a useful generalization under these conditions, so that one has a canonical solution of the Loewner differential equation.) In particular, we determine the form of the univalent solutions. The results are applied to subordination chains generated by spirallike mappings on the unit ball in \mathbbCⁿ{\mathbb{C}^n} . Finally, we determine the form of the solutions in the presence of certain coefficient bounds.     

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.     

On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

On the Crank-Nicolson scheme once again

Let (t_j)_{j ? \mathbbN}{\left(\tau_j\right)_{j\in\mathbb{N}}} be a sequence of strictly positive real numbers, and let A be the generator of a bounded analytic semigroup in a Banach space X. Put A_n=?_j=1ⁿ(I+\frac12 t_jA) (I-\frac12 t_jA)^-1{A_n=\prod_{j=1}^n\left(I+\frac{1}{2} \tau_jA\right) \left(I-\frac{1}{2} \tau_jA\right)^{-1}}, and let x ? X{x\in X}. Define the sequence (x_n)_{n ? \mathbbN} ì X{\left(x_n\right)_{n\in\mathbb{N}}\subset X} by the Crank–Nicolson scheme: x _n  = A _n x. In this paper, it is proved that the Crank–Nicolson scheme is stable in the sense that sup_{n ? \mathbbN}||A_nx|| < ￥{\sup_{n\in\mathbb{N}}\left\Vert A_nx\right\Vert<\infty}. Some convergence results are also given.     

Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}

We show that if A is a closed analytic subset of \mathbbPⁿ{\mathbb{P}^n} of pure codimension q then Hⁱ(\mathbbPⁿ\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that H^n-2(\mathbbPⁿ\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .     

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).     

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:

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 )}.      18. Towards dimension expanders over finite fields      Zeev Dvir  Amir Shpilka 《Combinatorica》2011,31(3):305-320 In this paper we study the problem of explicitly constructing a dimension expander raised by [3]: Let \mathbbFn \mathbb{F}^n be the n dimensional linear space over the field \mathbbF\mathbb{F}. Find a small (ideally constant) set of linear transformations from \mathbbFn \mathbb{F}^n to itself {A i } i∈I such that for every linear subspace V ⊂ \mathbbFn \mathbb{F}^n of dimension dim(V)<n/2 we have dim( ?i ? I Ai (V) ) \geqslant (1 + a) ·dim(V),\dim \left( {\sum\limits_{i \in I} {A_i (V)} } \right) \geqslant (1 + \alpha ) \cdot \dim (V),      19. Orthogonalities in linear spaces and difference operators      R. Ger 《Aequationes Mathematicae》2000,60(3):268-282 Summary. Quite recently C. Alsina, P. Cruells and M. S. Tomás [2], motivated by F. Suzuki's property of isosceles trapezoids, have proposed the following orthogonality relation in a real normed linear space (X, ||·||) (X, \Vert \cdot \Vert) : two vectors x,y ? X x,y \in X are T-orthogonal whenever¶||z-x ||2 + ||z-y ||2 = ||z ||2 + ||z-(x+y) ||2 \Vert z-x \Vert^2 + \Vert z-y \Vert^2 = \Vert z \Vert^2 + \Vert z-(x+y) \Vert^2 ¶for every z ? X z \in X . A natural question arises whether an analogue of T-orthogonality may be defined in any real linear space (without a norm structure). Our proposal reads as follows. Given a functional j \varphi on a real linear space X we say that two vectors x,y ? X x,y \in X are j \varphi -orthogonal (and write x^jy x\perp_{\varphi}y ) provided that Dx,yj = 0 \Delta_{x,y}\varphi = 0 (Dh1,h2 \Delta_{h_1,h_2} stands here and in the sequel for the superposition Dh1 °Dh2 \Delta_{h_1} \circ \Delta_{h_2} of the usual difference operators).¶We are looking for necessary and/or sufficient conditions upon the functional j \varphi to generate a j \varphi -orthogonality such that the pair X,^j X,\perp_{\varphi} forms an orthogonality space in the sense of J. Rätz (cf. [6]). Two new characterizations of inner product spaces as well as a generalization of some results obtained in [2] are presented.      20. 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.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Towards dimension expanders over finite fields

In this paper we study the problem of explicitly constructing a dimension expander raised by [3]: Let \mathbbFⁿ \mathbb{F}^n be the n dimensional linear space over the field \mathbbF\mathbb{F}. Find a small (ideally constant) set of linear transformations from \mathbbFⁿ \mathbb{F}^n to itself {A _i } _i∈I such that for every linear subspace V ⊂ \mathbbFⁿ \mathbb{F}^n of dimension dim(V)<n/2 we have

Orthogonalities in linear spaces and difference operators

Summary. Quite recently C. Alsina, P. Cruells and M. S. Tomás [2], motivated by F. Suzuki's property of isosceles trapezoids, have proposed the following orthogonality relation in a real normed linear space (X, ||·||) (X, \Vert \cdot \Vert) : two vectors x,y ? X x,y \in X are T-orthogonal whenever¶||z-x ||² + ||z-y ||² = ||z ||² + ||z-(x+y) ||² \Vert z-x \Vert^2 + \Vert z-y \Vert^2 = \Vert z \Vert^2 + \Vert z-(x+y) \Vert^2 ¶for every z ? X z \in X . A natural question arises whether an analogue of T-orthogonality may be defined in any real linear space (without a norm structure). Our proposal reads as follows. Given a functional j \varphi on a real linear space X we say that two vectors x,y ? X x,y \in X are j \varphi -orthogonal (and write x^_jy x\perp_{\varphi}y ) provided that D_x,yj = 0 \Delta_{x,y}\varphi = 0 (D_h1,h2 \Delta_{h_1,h_2} stands here and in the sequel for the superposition D_h1 °D_h2 \Delta_{h_1} \circ \Delta_{h_2} of the usual difference operators).¶We are looking for necessary and/or sufficient conditions upon the functional j \varphi to generate a j \varphi -orthogonality such that the pair X,^_j X,\perp_{\varphi} forms an orthogonality space in the sense of J. Rätz (cf. [6]). Two new characterizations of inner product spaces as well as a generalization of some results obtained in [2] are presented.     

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.