Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

A sharp form of an embedding into multiple exponential spaces

Let Θ be a bounded open set in ℝ ⁿ , n ⩾ 2. In a well-known paper Indiana Univ. Math. J., 20, 1077–1092 (1971) Moser found the smallest value of K such that

Statistical ensemble error bounds for homogenized microheterogeneous solids

Typically, in order to characterize the homogenized effective macroscopic response of new materials possessing random heterogeneous microstructure, a relation between averages $ {\left\langle {\user2{ \sigma }} \right\rangle }_{\Omega } = \mathbb{E}^{*} :{\left\langle {\user2{ \epsilon }} \right\rangle }_{\Omega } $ {\left\langle {\user2{ \sigma }} \right\rangle }_{\Omega } = \mathbb{E}^{*} :{\left\langle {\user2{ \epsilon }} \right\rangle }_{\Omega } is sought, where $ {\left\langle \cdot \right\rangle }_{\Omega } {\mathop = \limits^{{\text{def}}} }\tfrac{1} {{|\Omega |}}{\int_\Omega { \cdot \,d} }\Omega , $ {\left\langle \cdot \right\rangle }_{\Omega } {\mathop = \limits^{{\text{def}}} }\tfrac{1} {{|\Omega |}}{\int_\Omega { \cdot \,d} }\Omega , and where \varvecs\varvec{\sigma} and \varvece\varvec{\epsilon} are the stress and strain tensor fields within a statistically representative volume element (SRVE) of volume |$ \mathbb{E}^{*} , $ \mathbb{E}^{*} , is known as the effective property, and is the elasticity tensor used in usual macroscale analyses. In order to generate homogenized responses computationally, a series of detailed boundary value representations resolving the heterogeneous microstructure, posed over the SRVEs domain, must be solved. This requires an enormous numerical effort that can overwhelm most computational facilities. A natural way of generating an approximation to the SRVEs response is by first computing the response of smaller (subrepresentative) samples, each with a different random realization of the microstructural type under investigation, and then to ensemble average the results afterwards. Compared to a direct simulation of an SRVE, testing many small samples is a computationally inexpensive process since the number of floating point operations is greatly reduced, as well as the fact that the samples responses can be computed trivially in parallel. However, there is an inherent error in this process. Clearly the populations ensemble average is not the SRVEs response. However, as shown in this work, the moments on the distribution of the population can be used to generate rigorous upper and lower error bounds on the quality of the ensemble-generated response. Two-sided bounds are given on the SRVE response in terms of the ensemble average, its standard deviation and its skewness.     

On some problems involving Hardy’s function

Some problems involving the classical Hardy function

On analytic continuation of a hypergeometric series using the Euler-Knopp transformation

The Euler-Knopp transformation is considered in terms of the problems of regularity and acceleration of the rate of convergence. The object of study is the hypergeometric series

Univalence and starlikeness of nonlinear integral transform of certain class of analytic functions

Let U(λ, μ) denote the class of all normalized analytic functions f in the unit disk |z| < 1 satisfying the condition

Some extremal problems for algebraic polynomials in loaded spaces

In a loaded Jacobi space with the inner product

Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):

Counting irreducible polynomials over finite fields

In this paper we generalize the method used to prove the Prime Number Theorem to deal with finite fields, and prove the following theorem:

The generalized Roper-Suffridge extension operator in Banach spaces (III)

Suppose that X is a complex Banach space with the norm ‖·‖ and n is a positive integer with dim X ⩾ n ⩾ 2. In this paper, we consider the generalized Roper-Suffridge extension operator $ \Phi _{n,\beta _2 ,\gamma _2 , \ldots ,\beta _{n + 1} ,\gamma _{n + 1} } (f) $ \Phi _{n,\beta _2 ,\gamma _2 , \ldots ,\beta _{n + 1} ,\gamma _{n + 1} } (f) on the domain $ \Omega _{p_1 ,p_2 , \ldots ,p_{n + 1} } $ \Omega _{p_1 ,p_2 , \ldots ,p_{n + 1} } defined by

Reproducing Spaces and Localization Operators

This paper, by using of windowed Fourier transform (WFT), gives a family of embedding operators Tn:L^2(R)→L^2(C,e^-|z|^2/2dzd-↑z/4πi), s.t. TnL^2(R) lontain in L^2(C,e^-|z|^2/2dzd-↑z/4πi) are reproducing subspaces (n=0, Bargmann Space); and gives a reproducing kernel and an orthonormal basis (ONB) of TnL^2(R), Furthermore, it shows the orthogonal spaces decomposition of L^2(C,e^-|z|^2/2dzd-↑z/4πi). Finally, by using the preceding results, it shows the eigenvalues and eigenfunctions of a class of localization operators associated with WFT, which extends the result of Daubechies in [1] and [6].     

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,

On the 2 k-th power mean of $$ \frac{{L'}} {L}(1,\chi ) $$ with the weight of Gauss sums

The main purpose of this paper is to study the hybrid mean value of $ \frac{{L'}} {L}(1,\chi ) $ \frac{{L'}} {L}(1,\chi ) and Gauss sums by using the estimates for trigonometric sums as well as the analytic method. An asymptotic formula for the hybrid mean value $ \sum\limits_{\chi \ne \chi _0 } {|\tau (\chi )||\frac{{L'}} {L}(1,\chi )|^{2k} } $ \sum\limits_{\chi \ne \chi _0 } {|\tau (\chi )||\frac{{L'}} {L}(1,\chi )|^{2k} } of $ \frac{{L'}} {L} $ \frac{{L'}} {L} and Gauss sums will be proved using analytic methods and estimates for trigonometric sums.     

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

On One Extremal Problem for a Seminorm on the Space l<Subscript>1</Subscript> with Weight

Let be a nondecreasing sequence of positive numbers and let l _1,α be the space of real sequences for which . We associate every sequence ξ from l _1,α with a sequence , where ϕ(·) is a permutation of the natural series such that , j ∈ ℕ. If p is a bounded seminorm on l _1,α and , then

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

Laguerre calculus and Paneitz operator on the Heisenberg group

Laguerre calculus is a powerful tool for harmonic analysis on the Heisenberg group. Many sub-elliptic partial differential operators can be inverted by Laguerre calculus. In this article, we use Laguerre calculus to find explicit kernels of the fundamental solution for the Paneitz operator and its heat equation. The Paneitz operator which plays an important role in CR geometry can be written as follows:

On the stability of the generalized sine functional equations

The aim of this paper is to study the stability problem of the generalized sine functional equations as follows：
g（x）f（y）=f（x＋y/2）^2-f（x-y/2）^2 f（x）g（y）=f（x＋y/2）^2-f（x-y/2）^2,g（x）g（y）=f（x＋y/2）^-f（x-y/2）^2
Namely, we have generalized the Hyers Ulam stability of the （pexiderized） sine functional equation.     

An accurate approximation of zeta-generalized-Euler-constant functions

Zeta-generalized-Euler-constant functions,