On normal approximation of discounted and strongly mixing random variables

We estimate the difference for bounded functions h: ℝ → ℝ satisfying the Lipschitz condition, where Z _v = B _v ⁻¹ ∑ _i=0 ^∞ v ⁱ X _i and with discount factor ν such that 0 < ν < 1. Here {X _n , n ≥ 0} is a sequence of strongly mixing random variables with , and N is a standard normal random variable. In a particular case, the obtained upper bounds are of order O((1 − ν)^1/2). Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 399–409, July–September, 2007. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-15/07.     

The Balian-Low theorem and regularity of Gabor systems

For any positive real numbers A, B, and d satisfying the conditions , d>2, we construct a Gabor orthonormal basis for L²(ℝ), such that the generating function g∈L²(ℝ) satisfies the condition:∫_ℝ|g(x)|²(1+|x| ^A )/log ^d (2+|x|)dx < ∞ and .     

A divergent Khintchine theorem in the real,complex, and <Emphasis Type="Italic">p</Emphasis>-adic fields

In this paper, we show that if the sum ∑_r=1^∞ Ψ(r) diverges, then the set of points (x, z, w) ∈ ℝ × ℂ × ℚ_p satisfying the inequalities , and for infinitely many integer polynomials P has full measure. With a special choice of parameters v _i and λ _i , i = 1, 2, 3, we can obtain all the theorems in the metric theory of transcendental numbers which were known in the real, complex, or p-adic fields separately.     

Nonexistence of invariant graphs in all supercritical energy levels of mechanical Lagrangians in T 2

Let (T², g) be a smooth Riemannian structure in the torus T². We show that given ε > 0 and any C^∞ function U : T² → ℝ there exists a C¹ function U_ε with Lipschitz derivatives that is ε-C⁰ close to U for which there are no continuous invariant graphs in any supercritical energy level of the mechanical Lagrangian L_ε : TT² → ℝ given by . We also show that given n ∈ ℕ, the set of C^∞ potentials U : T² → ℝ for which there are no continuous invariant graphs in any supercritical energy level E ≤ n of is C⁰ dense in the set of C^∞ functions. Partially supported by CNPq, FAPERJ-Cientistas do nosso estado.     

Remainder estimates for the approximation numbers of weighted Hardy operators acting onL 2

We consider the weighted Hardy integral operatorT:L ²(a, b) →L ²(a, b), −∞≤a<b≤∞, defined by . In [EEH1] and [EEH2], under certain conditions onu andv, upper and lower estimates and asymptotic results were obtained for the approximation numbersa _n(T) ofT. In this paper, we show that under suitable conditions onu andv, where ∥w∥_p=(∫ _a ^b |w(t)|^p dt)^1/p. Research supported by NSERC, grant A4021. Research supported by grant No. 201/98/P017 of the Grant Agency of the Czech Republic.     

Convergence rates of the LIL for random fields in Hilbert spaces

Considering the positive d-dimensional lattice point Z ₊ ^d (d ≥ 2) with partial ordering ≤, let {X _k: k ∈ Z ₊ ^d } be i.i.d. random variables taking values in a real separable Hilbert space (H, ‖ · ‖) with mean zero and covariance operator Σ, and set $ S_n = \sum\limits_{k \leqslant n} {X_k } $ S_n = \sum\limits_{k \leqslant n} {X_k } , n ∈ Z ₊ ^d . Let σ _i ², i ≥ 1, be the eigenvalues of Σ arranged in the non-increasing order and taking into account the multiplicities. Let l be the dimension of the corresponding eigenspace, and denote the largest eigenvalue of Σ by σ ². Let logx = ln(x ∨ e), x ≥ 0. This paper studies the convergence rates for $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) . We show that when l ≥ 2 and b > −l/2, E[‖X‖²(log ‖X‖) ^d−2(log log ‖X‖) ^b+4] < ∞ implies $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} , where Γ(·) is the Gamma function and $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } .     

Littlewood-Paley theorem for arbitrary intervals: Weighted estimates

Let 1 < r < 2 and let b is a weight on ℝ such that satisfies the Muckenhoupt condition A_r′/2 (r′ is the exponent conjugate to r). If f_j are functions whose Fourier transforms are supported on mutually disjoint intervals, then

L 1 decay properties for a semilinear parabolic system

This article is concerned with the decay property in theL ¹ norm ast»∞ of the nonnegative solutions of the initial value problem in ? ⁿ $\left\{ {\begin{array}{*{20}c} {u_t = \Delta u + \mu |\nabla \upsilon |^q } \\ {\upsilon _t = \Delta \upsilon + \upsilon |\nabla \upsilon |^p } \\ \end{array} } \right.$ for different values of the parametersp, q≥1 and when μ, ν<0. If $pq > \frac{{\inf \left( {p,q} \right)}}{{n + 1}} + \left( {n + 2} \right)/\left( {n + 1} \right)$ then lim _t→∞∥u(t)+v(t)∥₁>0 and when $pq< \frac{{\inf \left( {p,q} \right)}}{{n + 1}} + \left( {n + 2} \right)/\left( {n + 1} \right)$ then lim _t→∞∥u(t)+v(t)∥₁>0.     

On Quasi-static Non=Newtonian Fluids with Power-law

We discuss certain classes of quasi-static non-Newtonian fluids for which a power-law of the form σ^D=∇ϕ(ℰv) holds. Here σ^D is the stress deviator, v the velocity field, ℰv its symmetric derivative and ϕ is the function \[ \phi ({\cal E}v)=\frac 12\mu _\infty \left| {\cal E}v\right| ⁁2+\frac 1p\mu _0\left\{ \begin{array}{c} \left( 1+\left| {\cal E}v\right| ⁁2\right) ⁁{p/2} \\ \text{or} \\ \left| {\cal E}v\right| ⁁p \end{array} \right\}, \] ϕ(ℰv)=1 2 μ_∞∣ℰv∣²+1 p μ₀ (1+∣ℰv∣²)^p/2 or ∣ℰv∣^p, μ_∞⩾0, μ₀⩾0, μ_∞+μ₀>0, 1<p<∞. We then prove various regularity results for the velocity field v, for example differentiability almost everywhere and local boundedness of the tensor ℰv.     

A general oscillation theorem for self-adjoint differential systems with applications to Sturm-Liouville eigenvalue problems and quadratic functionals

For given 2n×2n matricesS ₁₃,S ₂₄ with rank(S ₁₃,S ₂₄)=2n we consider the eigenvalue problem:u′=A(x)u+B(x)v,v′=C ₁(x;λ)u-A ^T(x)v with

The Besov subspace consisting of most non-smooth functions

Under the assumptions that Δ(f, h)(t) = |f(t + h) − f(t)|, X is a symmetric space of functions in [0, 1], α ∈ (0, 1) and p ∈ [1, ∞) are any fixed number, by the triple (X, α, p) a Besov type space Λ _X,p ^α is constructed, where the norm is given by the equality

A remark on the coefficients of bounded polynomials

Let be such that |p(e^iq)|≤1 for ϕ∈R and |p(1)|=a∈[0,1]. An inequality of Dewan and Govil for the sum |a_v|+|a_n|, 0≤u<v≤n is sharpened.     

Propagation of oscillations to 2D incompressible Euler equations

The asymptotic expansions are studied for the vorticity to 2D incompressible Euler equations with-initial vorticity , where ϕ₀(x) satisfies |d ϕ₀(x)|≠0 on the support of and is sufficiently smooth and with compact support in ℝ² (resp. ℝ²×T) The limit,v(t,x), of the corresponding velocity fields {v ^ɛ(t,x)} is obtained, which is the unique solution of (E) with initial vorticity ω₀(x). Moreover, (ℤ²)) for all 1≽p∞, where and ϕ(t,x) satisfy some modulation equation and eikonal equation, respectively.     

Operator error estimates in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> for homogenization of an elliptic dirichlet problem

In a bounded domain O ⊂ ℝd with C ^1,1 boundary a matrix elliptic second-order operator A _D,ɛ with Dirichlet boundary condition is studied. The coefficients of this operator are periodic and depend on x/ɛ, where ɛ s 0 is a small parameter. The sharp-order error estimate $ \left\| {A_{D,\varepsilon }^{ - 1} - \left( {A_D^0 } \right)^{ - 1} } \right\|\left. {L_2 \to L_2 \leqslant C\varepsilon } \right| $ \left\| {A_{D,\varepsilon }^{ - 1} - \left( {A_D^0 } \right)^{ - 1} } \right\|\left. {L_2 \to L_2 \leqslant C\varepsilon } \right|      

Some inequalities for polynomials satisfying p(z)≡znp(1/z)

Let be a polynomial degreen and let . Then according to Bernstein’s inequality ‖p’‖≤n‖p‖. It is a well known open problem to obtain inequality analogous to Bernstein’s inequality for the class II_n of polynomials satisfying p(z)≡zⁿp(1/z). Here we obtain an inequality analogous to Bernstein’s inequality for a subclass of II_n. Our results include several of the known results as special cases.     

Eine Bemerkung über diophantische Approximationen vone a,a≠0 rational

The following theorem is proved, based on an irrationality measure fore ^a (a∈0, rational) ofP. Bundschuh: Letp, q, u, v∈0 be rational integers withq≥1,v≥1,a=u/v, 0<δ≤2. If $$\begin{gathered} q > \exp \{ u^2 ((ea)^2 /8) (1 + u^2 (a e/2)^2 ) + |u|^{8/\delta } e^{2/\delta } + (4/\delta )\log \upsilon + \hfill \\ + (2/\delta )\log 12 + |a| + \log (3 + 20|a|e^{|a|} )) + \log ((3/2)e^{|a|} ) + e/2\} , \hfill \\ then |e^a - p/q| > q^{ - (2 + \delta )} . \hfill \\ \end{gathered} $$      

Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures

Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ ⁿ , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ ⁿ satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ ⁿ , |·|, d _λ ), or the space (S, d, ρ), where S ≡ ℝ ⁿ ⋉ ℝ⁺ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { X_s ( Y ) }_{0 < s \leqslant ￥}\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }_{0 < s \leqslant ￥}\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H ¹ ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L ₀¹ ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L ¹ ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X _s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X _s ( Y )\left( \mathcal{Y} \right) = H ¹ ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X _∞ ( Y )\left( \mathcal{Y} \right) = L ₀¹ ( Y )\left( \mathcal{Y} \right) (or L ¹ ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H ¹ ( Y )\left( \mathcal{Y} \right) to L ¹ ( Y )\left( \mathcal{Y} \right) and from L ¹ ( Y )\left( \mathcal{Y} \right) to L ^1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X _r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L ^1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ ⁿ , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ ⁿ , |·|, d _γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.     

Fujita-Liouville Type Theorem for Coupled Fourth-Order Parabolic Inequalities

This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ 2u + |v|q,|v|t ≥ 2v + |u|p in S = Rn × R+ with p,q > 1,n ≥ 1.A FujitaLiouville type theorem is established that the inequality system does not admit nontrivial nonnegative global solutions on S whenever n4 ≤ max(ppq+11,pqq+11).Since the general maximum-comparison principle does not hold for the fourth-order problem,the authors use the test function method to get the global non-existence of nontrivial solutions.     

On simultaneous approximation to a differentiable function and its derivative by inverse Pal-Type interpolation polynomials

Let ξ_{n −1} < ξ_{n −2} < ξ_{n − 2} < ... < ξ₁ be the zeros of the the (n−1)-th Legendre polynomial P_n−1(x) and −1=x_n<x_n−1<...<x₁=1, the zeros of the polynomial . By the theory of the inverse Pal-Type interpolation, for a function f(x)∈C _[−1,1] ¹ , there exists a unique polynomial R_n(x) of degree 2n−2 (if n is even) satisfying conditions R_n(f, ξ_k) = f (ε_k) (1 ⩽ k ⩽ n −1); R¹ _n(f,x_k)=f¹(x_k)(1≤k≤n). This paper discusses the simultaneous approximation to a differentiable function f by inverse Pal-Type interpolation polynomial {R_n(f, x)} (n is even) and the main result of this paper is that if f∈C _[1,1] ^r , r≥2, n≥r+2, and n is even then |R¹ _n(f,x)−f¹(x)|=0(1)|W_n(x)|h(x)·n^3−r·E_2n−r−3(f^(r)) holds uniformly for all x∈[−1,1], where .