共查询到20条相似文献,搜索用时 312 毫秒
1.
Let r ∈ N, α, t ∈ R, x ∈ R 2, f: R 2 → C, and denote $ \Delta _{t,\alpha }^r (f,x) = \sum\limits_{k = 0}^r {( - 1)^{r - k} c_r^k f(x_1 + kt\cos \alpha ,x_2 + kt\sin \alpha ).} $ In this paper, we investigate the relation between the behavior of the quantity $ \left\| {\int\limits_E {\Delta _{t,\alpha }^r (f, \cdot )\Psi _n (t)dt} } \right\|_{p,G} , $ as n → ∞ (here, E ? R, G ∈ {R 2, R + 2 }, and ψ n ∈ L 1(E) is a positive kernel) and structural properties of function f. These structural properties are characterized by its “directional” moduli of continuity: $ \omega _{r,\alpha } (f,h)_{p,G} = \mathop {\sup }\limits_{0 \leqslant t \leqslant h} \left\| {\Delta _{t,\alpha }^r (f)} \right\|_{p,G} . $ Here is one of the results obtained. Theorem 1. Let E and A be intervals in R + such that A ? E, f ∈ L p (G), α ∈ [0, 2π] when G =R 2 and α ∈ [0, π/2] when G = R + 2 Denote Δ n, k = ∫ A t k ψ n (t)dt. If there exists an r ∈ N such that, for any m ∈ N, we have Δ m, r > 0, Δ m, r + 1 < ∞, and $ \mathop {\lim }\limits_{n \to \infty } \frac{{\Delta _{n,r + 1} }} {{\Delta _{n,r} }} = 0,\mathop {\lim }\limits_{n \to \infty } \Delta _{n,r}^{ - 1} \int\limits_{E\backslash A} {\Psi _n = 0} , $ then the relations $ \mathop {\lim }\limits_{n \to \infty } \Delta _{n,r}^{ - 1} \left\| {\int\limits_E {\Delta _{t,\alpha }^r (f, \cdot )\Psi _n dt} } \right\|_{p,G} \leqslant K, \mathop {\sup }\limits_{t \in (0,\infty )} t^r \omega _{r,\alpha } (f,t)_{p,G} \leqslant K $ are equivalent. Particular methods of approximation are considered. We establish Corollary 1. Let p, G, α, and f be the same as in Theorem 1, and $ \sigma _{n,\alpha } (f,x) = \frac{2} {{\pi n}}\int\limits_{R_ + } {\Delta _{t,\alpha }^1 (f,x)} \left( {\frac{{\sin \frac{{nt}} {2}}} {t}} \right)^2 dt. $ Then the relations $ \mathop {\underline {\lim } }\limits_{n \to \infty } \frac{{\pi n}} {{\ln n}}\left\| {\sigma _{n,\alpha } (f)} \right\|_{p,G} \leqslant K Let r ∈ N, α, t ∈ R, x ∈ R
2, f: R
2 → C, and denote
In this paper, we investigate the relation between the behavior of the quantity
as n → ∞ (here, E ⊂ R, G ∈ {R
2, R
+2}, and ψ
n
∈ L
1(E) is a positive kernel) and structural properties of function f. These structural properties are characterized by its “directional” moduli of continuity:
Here is one of the results obtained.
Theorem 1. Let E and A be intervals in
R
+
such that A ⊂ E, f ∈ L
p
(G), α ∈ [0, 2π] when G =R
2
and α ∈ [0, π/2] when G = R
+2
Denote Δ
n, k
= ∫
A
t
k
ψ
n
(t)dt. If there exists an r ∈ N
such that, for any m ∈ N, we have Δ
m, r
> 0, Δ
m, r + 1 < ∞, and
then the relations
are equivalent. Particular methods of approximation are considered. We establish
Corollary 1. Let p, G, α, and f be the same as in Theorem 1, and
Then the relations and are equivalent.
Original Russian Text ? N.Yu. Dodonov, V.V. Zhuk, 2008, published in Vestnik Sankt-Peterburgskogo Universiteta. Seriya 1.
Matematika, Mekhanika, Astronomiya, 2008, No. 2, pp. 23–33. 相似文献
2.
We study the behavior of measure-preserving systems with continuous time along sequences of the form {n α}n∈#x2115;} where α is a positive real number1. Let {S t } t∈? be an ergodic continuous measure preserving flow on a probability Lebesgue space (X, β, μ). Among other results we show that:
- For all but countably many α (in particular, for all α∈???) one can find anL ∞-functionf for which the averagesA N (f)(1/N)=Σ n=1 N f(S nα x) fail to converge almost everywhere (the convergence in norm holds for any α!).
- For any non-integer and pairwise distinct numbers α1, α2,..., α k ∈(0, 1) and anyL ∞-functionsf 1,f 2, ...,f k , one has $$\mathop {lim}\limits_{N \to \infty } \left\| {\frac{1}{N}\sum\limits_{n - 1}^N {\prod\limits_{i - 1}^k {f_i (S^{n^{\alpha _i } } x) - \prod\limits_{i - 1}^k {\int_X {f_i d\mu } } } } } \right\|_{L^2 } = 0$$
3.
Huixue LAO 《数学年刊B辑(英文版)》2012,33(6):877-888
Let f(z) be a holomorphic Hecke eigencuspform of weight k for the full modular group. Let ?? f (n) be the nth normalized Fourier coefficient of f(z). Suppose that L(sym2 f, s) is the symmetric square L-function associated with f(z), and $ \lambda _{sym^2 f} (n) $ (n) denotes the nth coefficient L(sym2 f, s). In this paper, it is proved that $$ \sum\limits_{n \leqslant x} {\lambda _{sym^2 f}^4 (n)} = xP2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where P 2(t) is a polynomial in t of degree 2. Similarly, it is obtained that $$ \sum\limits_{n \leqslant x} {\lambda _f^4 (n^2 )} = x\tilde P2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where $ \tilde P_2 (t) $ is a polynomial in t of degree 2. 相似文献
4.
SUN Zhi-Wei 《中国科学 数学(英文版)》2014,57(7):1375-1400
For integers b and c the generalized central trinomial coefficient Tn(b,c)denotes the coefficient of xnin the expansion of(x2+bx+c)n.Those Tn=Tn(1,1)(n=0,1,2,...)are the usual central trinomial coefficients,and Tn(3,2)coincides with the Delannoy number Dn=n k=0n k n+k k in combinatorics.We investigate congruences involving generalized central trinomial coefficients systematically.Here are some typical results:For each n=1,2,3,...,we have n-1k=0(2k+1)Tk(b,c)2(b2-4c)n-1-k≡0(mod n2)and in particular n2|n-1k=0(2k+1)D2k;if p is an odd prime then p-1k=0T2k≡-1p(mod p)and p-1k=0D2k≡2p(mod p),where(-)denotes the Legendre symbol.We also raise several conjectures some of which involve parameters in the representations of primes by certain binary quadratic forms. 相似文献
5.
A. Khatamov 《Mathematical Notes》1977,21(3):198-207
The following inequalities are shown to hold for the least uniform rational deviations Rn(f) of a function f(x), continuous and convex in the interval [a, b]: $$R_n (f) \leqslant C(v)\Omega (f)n^{ - 1} \overbrace {\ln \ldots \ln }^{vtimes}n$$ (ν is an integer, C(ν) depends only on ν, and Ω(f) is the total oscillation of f); $$R_n (f) \leqslant C_1 n^{ - 1} \overbrace {\ln \ldots \ln }^{vtimes}n\mathop {\inf }\limits_{(b - a)\chi _n \leqslant \lambda< b - a} \left\{ {\omega (\lambda ,f) + M(f)n^{ - 1} \ln \frac{{b - a}}{\lambda }} \right\}$$ (ν is an integer, C1(ν) depends only on ν, xn = exp (-n/(500 In2n)), ω (δ,f) is the modulus of continuity of f, and M(f) = max¦f(x) ¦. 相似文献
6.
For a cubature formula of the form $$\int\limits_0^{2\pi } {\int\limits_0^{2\pi } {f(x,y)dxdy = \frac{{4\pi ^2 }} {{mn}}\sum\limits_{i = 0}^{n - 1} {\sum\limits_{j = 0}^{m - 1} {f\left( {\frac{{2\pi i}} {n},\frac{{2\pi j}} {m}} \right) + R_{n,m} (f)} } } }$$ on a Chebyshev grid, the remainder R n,m (f) is proved to satisfy the sharp estimate $$\mathop {\sup }\limits_{f \in H\left( {r_1 ,r_2 } \right)} \left| {R_{n,m} (f)} \right| = O\left( {n^{ - r_1 + 1} + m^{ - r_1 + 1} } \right)$$ in some class of functions H(r 1, r 2) defined by a generalized shift operator. Here, r 1, r 2 > 1; ???1 ?? n/m ?? ?? with ?? > 0; and the constant in the O-term depends only on ??. 相似文献
7.
Let C(Q) denote the space of continuous functions f(x, y) in the square Q = [?1, 1] × [?1, 1] with the norm $\begin{gathered} \left\| f \right\| = \max \left| {f(x,y)} \right|, \hfill \\ (x,y) \in Q. \hfill \\ \end{gathered} $ On a Chebyshev grid, a cubature formula of the form $\int\limits_{ - 1}^1 {\int\limits_{ - 1}^1 {\frac{1} {{\sqrt {(1 - x^2 )(1 - y^2 )} }}f(x,y)dxdy = \frac{{\pi ^2 }} {{mn}}\sum\limits_{i = 1}^n {\sum\limits_{j = 1}^m {f\left( {\cos \frac{{2i - 1}} {{2n}}\pi ,\cos \frac{{2j - 1}} {{2m}}\pi } \right)} + R_{m,n} (f)} } } $ is considered in some class H(r 1, r 2) of functions f ?? C(Q) defined by a generalized shift operator. The remainder R m, n (f) is proved to satisfy the estimate $\mathop {\sup }\limits_{f \in H(r_1 ,r_2 )} \left| {R_{m,n} (f)} \right| = O(n^{ - r_1 + 1} + m^{ - r_2 + 1} ), $ where r 1, r 2 > 1; ???1 ?? n/m ?? ?? with ?? > 0; and the constant in O(1) depends on ??. 相似文献
8.
Let {ξi,-∞i∞} be a doubly infinite sequence of identically distributed-mixing random variables with zero means and finite variances,{ai,-∞i∞} be an absolutely summable sequence of real numbers and X k =∑i=-∞+∞ aiξi+k be a moving average process.Under some proper moment conditions,the precise asymptotics are established for 相似文献
9.
Let{Xn;n≥1}be a sequence of i.i.d, random variables with finite variance,Q(n)be the related R/S statistics. It is proved that lim ε↓0 ε^2 ∑n=1 ^8 n log n/1 P{Q(n)≥ε√2n log log n}=2/1 EY^2,where Y=sup0≤t≤1B(t)-inf0≤t≤sB(t),and B(t) is a Brownian bridge. 相似文献
10.
Let {X n : n ?? 1} be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set $S_n = \sum\limits_{k = 1}^n {X_k }$ , $Mn = \mathop {\max }\limits_{k \leqslant n} \left| {S_k } \right|$ , n ?? 1. Suppose that $0 < \sigma ^2 = EX_1^2 + 2\sum\limits_{k = 2}^\infty {EX_1 X_k < \infty }$ . In this paper, we prove that if E|X 1|2+?? < for some ?? ?? (0, 1], and $\sum\limits_{j = n + 1}^\infty {Cov\left( {X_1 ,X_j } \right) = O\left( {n^{ - \alpha } } \right)}$ for some ?? > 1, then for any b > ?1/2 $$\mathop {\lim }\limits_{\varepsilon \searrow 0} \varepsilon ^{2b + 1} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^{b - 1/2} }} {{n^{3/2} \log n}}} E\left\{ {M_n - \sigma \varepsilon \sqrt {2n\log \log n} } \right\}_ + = \frac{{2^{ - 1/2 - b} E\left| N \right|^{2(b + 1)} }} {{(b + 1)(2b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2(b + 1)} }}}$$ and $$\mathop {\lim }\limits_{\varepsilon \nearrow \infty } \varepsilon ^{ - 2(b + 1)} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^b }} {{n^{3/2} \log n}}E\left\{ {\sigma \varepsilon \sqrt {\frac{{\pi ^2 n}} {{8\log \log n}}} - M_n } \right\}} _ + = \frac{{\Gamma (b + 1/2)}} {{\sqrt 2 (b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2b + 2} }}} ,$$ where x + = max{x, 0}, N is a standard normal random variable, and ??(·) is a Gamma function. 相似文献
11.
Y. Rakotondratsimba 《Georgian Mathematical Journal》1996,3(6):583-600
Sufficient (almost necessary) conditions are given on the weight funotiousu(·),v(·) for $$\Phi _2^{ - 1} \left[ {\int\limits_{\mathbb{R}^n } {\Phi _2 (C_2 (M_s f)(x))u(x)dx} } \right] \leqslant \Phi _1^{ - 1} \left[ {C_1 \int\limits_{\mathbb{R}^n } {\Phi _1 (|f(x)|)} v(x)dx} \right]$$ to hold when Φ1, Φ2 are ?-functions with subadditive Φ1Φ 2 ?1 , andM s (0≤s<n), is the usual fractional maximal operator. 相似文献
12.
13.
Г. Г. Геворкян 《Analysis Mathematica》1988,14(3):219-251
В работе доказываютс я следующие утвержде ния. Теорема I.Пусть ? n ↓0u \(\sum\limits_{n = 0}^\infty {\varepsilon _n^2 = + \infty } \) .Тогд а существует множест во Е?[0, 1]с μЕ=0 такое что:1. Существует ряд \(\sum\limits_{n = 0}^\infty {a_n W_n } (t)\) с к оеффициентами ¦а n ¦≦{in¦n¦, который сх одится к нулю всюду вне E и ε∥an∥>0.2. Если b n ¦=о(ε n )и ряд \(\sum\limits_{n = 0}^\infty {b_n W_n (t)} \) сх одится к нулю всюду вн е E за исключением быть может некоторого сче тного множества точе к, то b n =0для всех п. Теорема 3.Пусть ? n ↓0u \(\mathop {\lim \sup }\limits_{n \to \infty } \frac{{\varepsilon _n }}{{\varepsilon _{2n} }}< \sqrt 2 \) Тогд а существует множест во E?[0, 1] с υ E=0 такое, что:
- Существует ряд \(\sum\limits_{n = - \infty }^{ + \infty } {a_n e^{inx} ,} \sum\limits_{n = - \infty }^{ + \infty } {\left| {a_n } \right|} > 0,\) кот орый сходится к нулю в сюду вне E и ¦an≦¦n¦ для n=±1, ±2, ...
- Если ряд \(\sum\limits_{n = - \infty }^{ + \infty } {b_n e^{inx} } \) сходится к нулю всюду вне E и ¦bv¦=о(ε ¦n¦), то bn=0 для всех я. Теорема 5. Пусть послед овательности S(1)={ε 0 (1) , ε 1 (1) , ε 2 (1) , ...} u S2=ε 0 (2) , ε 1 (2) . ε 2 (2) монотонно стремятся к нулю, \(\mathop {\lim \sup }\limits_{n \to \infty } \varepsilon ^{(i)} /\varepsilon _{2n}^{(i)}< 2,i = 1,2\) , причем \(\mathop {\lim }\limits_{n \to \infty } \varepsilon _n^{(2)} /\varepsilon _n^{(i)} = + \infty \) . Тогда для каждого ε>O н айдется множество Е? [-π,π], μE >2π — ε, которое является U(S1), но не U(S1) — множеством для тригонометричес кой системы. Аналог теоремы 5 для си стемы Уолша был устан овлен в [7].
14.
15.
А. А. Лигун 《Analysis Mathematica》1979,5(4):269-286
Пусть Tn(f)={L1(f), ..., Ln(f)} — набор линейных функционал ов, заданных на простран стве \(C_{(r - 1)} (\parallel f\parallel _{C_{(r - 1)} } = \mathop {\max }\limits_{0 \leqq i \leqq r - 1} \parallel f^{(i)} \parallel _C );A_{n,r}\) — множество всех так их наборов функцио налов; С2n, 2 — множество всех н аборов из 2n функциона лов вида $$T_{2n} (f) = \{ f(x_1 ), \ldots ,f(x_n ),f'(x_1 ), \ldots ,f'(x_n )\}$$ и s: Еn→Е1. Доказано, что е слиW ∞ r множество всех 2π-периодических функ цийfεW∞0, 2πr, то приr=1,2,3,... ирε(1, ∞) и $$\begin{gathered} \mathop {\inf }\limits_{T_{2n} \in A_{2n,r} } \parallel \mathop {\inf }\limits_s \mathop {\sup }\limits_{f \in W_\infty ^r } |f( \cdot ) - s(T_{2n} ,f, \cdot )|\parallel _p = \parallel \varphi _{n,r} \parallel _p \hfill \\ \mathop {\inf }\limits_{T_{2n} \in C_{2n,2} } \parallel \mathop {\inf }\limits_s \mathop {\sup }\limits_{f \in W_\infty ^r } |f( \cdot ) - s(T_{2n} ,f, \cdot )|\parallel _p = \parallel \parallel \varphi _{n,r} \parallel _\infty - \varphi _{n,r} \parallel _p , \hfill \\ \end{gathered}$$ где ?n,r —r-й периодичес кий интеграл, в средне м равный нулю на периоде, от фун кции ?n, 0t=sign sinnt. При этом указан ы оптимальные методы приближенного вычис ления. 相似文献
16.
Guangshi Lü 《Archiv der Mathematik》2013,100(3):255-265
Let φ be a primitive Maass cusp form and t φ (n) be its nth Fourier coefficient at the cusp infinity. In this short note, we are interested in the estimation of the sums ${\sum_{n \leq x}t_{\varphi}(n)}$ and ${\sum_{n \leq x}t_{\varphi}(n^2)}$ . We are able to improve the previous results by showing that for any ${\varepsilon > 0}$ $$\sum_{n \leq x}t_{\varphi}(n) \ll\, _{\varphi, \varepsilon} x^{\frac{1027}{2827} + \varepsilon} \quad {and}\quad\sum_{n \leq x}t_{\varphi}(n^2) \ll\,_{\varphi, \varepsilon} x^{\frac{489}{861} + \varepsilon}.$$ 相似文献
17.
B. S. Kašin 《Analysis Mathematica》1978,4(1):27-35
В статье рассматрива ются множестваQ n , 1≦п<∞, ортонормированных с истемΦ={φ i (x)} i n =1, состоящих из функций, постоянных на интервалах \(\left( {\frac{{j - 1}}{n}, \frac{j}{n}} \right)\) , 1 ≦j ≦j ≦п. НаQ n естественно перенос ится с группы ортогон альных матриц порядкаn мера Хаара. Изучается поведение наQ n функци и $$S(\Phi ) = \mathop {\sup }\limits_{\mathop \sum \limits_{i = 1}^n y_i^2 = 1} (\int\limits_0^1 {\mathop {sup}\limits_{1 \leqq r \leqq n} } (\mathop \sum \limits_{i = 1}^n y_i \varphi (x))^2 dx)^{1/2} $$ . Доказывается, что приt > 0 иn=1,2,... $$\mu \{ \Phi \in Q^n :s(\Phi ) \geqq t\} \leqq (Ce^{ - \gamma t^2 } )^n $$ . 相似文献
18.
H. Brass 《Aequationes Mathematicae》1975,13(1-2):151-154
Remark on the estimation ofE n [x n+2m ]. Let be $$E_n [f]: = \mathop {\inf }\limits_{p \in P_n } \mathop {\sup }\limits_{x \in [ - 1, 1]} |f(x) - p(x)|$$ (P n : set of all polynomials of degreen). Riess-Johnson [4] proved (3) $$E_n [x^{n + 2m} ] = \frac{{n^{m - 1} }}{{2^{n + 2m - 1} (m - 1)!}}[1 + O(n^{ - 1} )],n even.$$ This degree of approximation is realized by expansion in Chebyshev polynomials and by interpolation at Chebyshev nodes. The purpose of this paper is to give a more precise estimation by constructing the polynomial of best approximation on a finite set. This construction is easily done and one obtains the result, that the termO(n ?1) in (3) may be replaced by 1/2(m ? 1) (3m + 2)n ?1 + O(n ?2). 相似文献
19.
Let F be a cubic cyclic field with t(2)ramified primes.For a finite abelian group G,let r3(G)be the 3-rank of G.If 3 does not ramify in F,then it is proved that t-1 r3(K2O F)2t.Furthermore,if t is fixed,for any s satisfying t-1 s 2t-1,there is always a cubic cyclic field F with exactly t ramified primes such that r3(K2O F)=s.It is also proved that the densities for 3-ranks of tame kernels of cyclic cubic number fields satisfy a Cohen-Lenstra type formula d∞,r=3-r2∞k=1(1-3-k)r k=1(1-3-k)2.This suggests that the Cohen-Lenstra conjecture for ideal class groups can be extended to the tame kernels of cyclic cubic number fields. 相似文献
20.
K. Yu. Osipenko 《Analysis Mathematica》1990,16(4):277-289
Дль сИстЕМы РАжлИЧНы х тОЧЕкΤ=(t 1,...,t n ) Иж ОтРЕ жкА [?1,1] Иk?[0,1) ВВОДИтсь ВЕлИЧ ИНА $$L_n (\tau ,p,k) = \mathop {\max }\limits_{t \in [ - 1,1]} (\mathop \Sigma \limits_{j = 1}^n |D_j (t)|^p )^{1/p} ,$$ где $$D_j (t) = \frac{{\omega _j (t)}}{{\omega _j (t_j )}}[1 - kW_j^2 (t)],{\mathbf{ }}\omega _j (t) = \mathop \prod \limits_{\begin{array}{*{20}c} {m = 1} \\ {m \ne 1} \\ \end{array} }^n W_m (t),{\mathbf{ }}W_m (t) = \frac{{t - t_m }}{{1 - kt_m t}}.$$ пРИk=0 ОНА сОВпАДАЕт с кОНс тАНтОИ лЕБЕгА, сВьжАН НОИ с ИНтЕРпОльцИЕИ МНОгО ЧлЕНОМ лАгРАНжА. пОкАжАНА сВ ьжь ВЕлИЧИНыL n (Τ, p, k) с жАД АЧАМИ ИНтЕРпОльцИИ АНАлИт ИЧЕскИх ФУНкцИИ. Дль сИстЕМы $$Z = \left\{ {sn\left[ {\left( {\frac{{2j - 1}}{n} - 1} \right)K,k} \right]} \right\}_{j = 1}^n ,$$ ьВльУЩЕИсь АНАлОгОМ ЧЕБышЕВскОИ сИстЕМы, пОлУЧЕНы ОцЕНкИL n (Z, p, k) пРИp≧2 Иp≧1. 相似文献