首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 671 毫秒
1.
We prove that max |p′(x)|, where p runs over the set of all algebraic polynomials of degree not higher than n ≥ 3 bounded in modulus by 1 on [−1, 1], is not lower than ( n - 1 ) \mathord
/ \vphantom ( n - 1 ) ?{1 - x2} ?{1 - x2} {{\left( {n - 1} \right)} \mathord{\left/{\vphantom {{\left( {n - 1} \right)} {\sqrt {1 - {x^2}} }}} \right.} {\sqrt {1 - {x^2}} }} for all x ∈ (−1, 1) such that | x | ? èk = 0[ n \mathord/ \vphantom n 2 2 ] [ cos\frac2k + 12( n - 1 )p, cos\frac2k + 12np ] \left| x \right| \in \bigcup\nolimits_{k = 0}^{\left[ {{n \mathord{\left/{\vphantom {n 2}} \right.} 2}} \right]} {\left[ {\cos \frac{{2k + 1}}{{2\left( {n - 1} \right)}}\pi, \cos \frac{{2k + 1}}{{2n}}\pi } \right]} .  相似文献   

2.
Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakBn(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakBn( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e 1 e 3⋯ e 2f-1 where 0 ≤ f ≤ [n/2]. Let HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V n . In this paper we prove that dimHTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textdK\textSp(V)( V ?n \mathord
/ \vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) are both independent of K, and the natural homomorphism from \mathfrakBn( - 2m ) \mathord/ \vphantom ( - 2m ) \mathfrakBn(f) \mathfrakBn(f) {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} to \textEn\textdK\textSp(V)( V ?n \mathord/ \vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) is always surjective. We show that HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} has a Weyl filtration and is isomorphic to the dual of V ?n\mathfrakBn(f) \mathord/ \vphantom V ?n\mathfrakBn(f) V V ?n\mathfrakBn( f + 1 ) {{{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} V}} \right.} V}^{ \otimes n}}\mathfrak{B}_n^{\left( {f + 1} \right)} as an \textSp(V) - ( \mathfrakBn( - 2m ) \mathord/ \vphantom ( - 2m ) \mathfrakBn( f + 1 ) \mathfrakBn( f + 1 ) ) {\text{Sp}}(V) - \left( {{\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right.} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right) -bimodule. We obtain an \textSp(V) - \mathfrakBn {\text{Sp}}(V) - {\mathfrak{B}_n} -bimodules filtration of V n such that each successive quotient is isomorphic to some ?( l) ?zg,l\mathfrakBn \nabla \left( \lambda \right) \otimes {z_{g,\lambda }}{\mathfrak{B}_n} with λ ⊢ n 2g, ℓ(λ)≤m and 0 ≤ g ≤ [n/2], where ∇(λ) is the co-Weyl module associated to λ and z g is an explicitly constructed maximal vector of weight λ. As a byproduct, we show that each right \mathfrakBn {\mathfrak{B}_n} -module zg,l\mathfrakBn {z_{g,\lambda }}{\mathfrak{B}_n} is integrally defined and stable under base change.  相似文献   

3.
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:
|| R ||Lp[ - 1 + \upvarepsilon ,1 - \upvarepsilon ]C ·9n( 1 - 1 / p )\upvarepsilon 1 / p - 1 / q - 1|| R ||Lq[ - 1,1 ], {\left\| {R^{\prime}} \right\|_{{L_p}\left[ { - 1 + {\upvarepsilon },1 - {\upvarepsilon }} \right]}} \leq C \cdot {9^{n\left( {1 - {{1} \left/ {p} \right.}} \right)}}{{\upvarepsilon }^{{{1} \left/ {p} \right.} - {{1} \left/ {q} \right.} - 1}}{\left\| {R} \right\|_{{L_q}\left[ { - 1,1} \right]}},  相似文献   

4.
Let K be a three-dimensional centrally symmetric compact convex set of unit volume. It is proved that K is contained in a centrally symmetric hexagonal prism (or a parallelepiped) of volume 4
/ 3?{3} < 2.7734451 {{4} \left/ {{\sqrt[3]{3} < 2.7734451}} \right.} . This fact implies that space contains a lattice packing of translates of K with density $ {{{\sqrt[3]{3}}} \left/ {{4 > 0.36056}} \right.} $ {{{\sqrt[3]{3}}} \left/ {{4 > 0.36056}} \right.} . Furthermore, K is contained in a parallelepiped of volume \frac43( 2 + ?3 )2 / 3 < 3.2080203 \frac{4}{3}{\left( {2 + \sqrt {3} } \right)^{{{2} \left/ {3} \right.}}} < 3.2080203 . Bibliography: 6 titles.  相似文献   

5.
Let G be a finite soluble group and F\mathfrakX(G) {\Phi_\mathfrak{X}}(G) an intersection of all those maximal subgroups M of G for which G
/ \textCor\texteG(M) ? \mathfrakX {{G} \left/ {{{\text{Cor}}{{\text{e}}_G}(M)}} \right.} \in \mathfrak{X} . We look at properties of a section F( G / F\mathfrakX(G) ) F\left( {{{G} \left/ {{{\Phi_\mathfrak{X}}(G)}} \right.}} \right) , which is definable for any class \mathfrakX \mathfrak{X} of primitive groups and is called an \mathfrakX \mathfrak{X} -crown of a group G. Of particular importance is the case where all groups in \mathfrakX \mathfrak{X} have equal socle length.  相似文献   

6.
In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y i } i∈ℤ of points y i = y i+2s + 2π such that the function f does not decrease on [y i , y i−1] if i is odd and does not increase if i is even), for any natural k and n, nN(Y, k) = const, we construct a trigonometric polynomial T n of order ≤n that changes its monotonicity at the same points y i Y as f and is such that
*20c || f - Tn || £ \fracc( k,s )n2\upomega k( f",1 \mathord\vphantom 1 n n ) ( || f - Tn || £ \fracc( r + k,s )nr\upomega k( f(r),1 \mathord/ \vphantom 1 n n ),    f ? C(r),    r 3 2 ), \begin{array}{*{20}{c}} {\left\| {f - {T_n}} \right\| \leq \frac{{c\left( {k,s} \right)}}{{{n^2}}}{{{\upomega }}_k}\left( {f',{1 \mathord{\left/{\vphantom {1 n}} \right.} n}} \right)} \\ {\left( {\left\| {f - {T_n}} \right\| \leq \frac{{c\left( {r + k,s} \right)}}{{{n^r}}}{{{\upomega }}_k}\left( {{f^{(r)}},{1 \mathord{\left/{\vphantom {1 n}} \right.} n}} \right),\quad f \in {C^{(r)}},\quad r \geq 2} \right),} \\ \end{array}  相似文献   

7.
It is established that H. Bohr’s inequality \(\sum\nolimits_{k = 0}^\infty {\left| {{{f^{\left( k \right)} \left( 0 \right)} \mathord{\left/ {\vphantom {{f^{\left( k \right)} \left( 0 \right)} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right| \leqslant \sqrt 2 \left\| f \right\|_\infty }\) is sharp on the class H .  相似文献   

8.
The trigonometric polynomials of Fejér and Young are defined by $S_n (x) = \sum\nolimits_{k = 1}^n {\tfrac{{\sin (kx)}} {k}}$S_n (x) = \sum\nolimits_{k = 1}^n {\tfrac{{\sin (kx)}} {k}} and $C_n (x) = 1 + \sum\nolimits_{k = 1}^n {\tfrac{{\cos (kx)}} {k}}$C_n (x) = 1 + \sum\nolimits_{k = 1}^n {\tfrac{{\cos (kx)}} {k}}, respectively. We prove that the inequality $\left( {{1 \mathord{\left/ {\vphantom {1 9}} \right. \kern-\nulldelimiterspace} 9}} \right)\sqrt {15} \leqslant {{C_n \left( x \right)} \mathord{\left/ {\vphantom {{C_n \left( x \right)} {S_n \left( x \right)}}} \right. \kern-\nulldelimiterspace} {S_n \left( x \right)}}$\left( {{1 \mathord{\left/ {\vphantom {1 9}} \right. \kern-\nulldelimiterspace} 9}} \right)\sqrt {15} \leqslant {{C_n \left( x \right)} \mathord{\left/ {\vphantom {{C_n \left( x \right)} {S_n \left( x \right)}}} \right. \kern-\nulldelimiterspace} {S_n \left( x \right)}} holds for all n ≥ 2 and x ∈ (0, π). The lower bound is sharp.  相似文献   

9.
Forn a positive integer letp(n) denote the number of partitions ofn into positive integers and letp(n,k) denote the number of partitions ofn into exactlyk parts. Let , thenP(n) represents the total number of parts in all the partitions ofn. In this paper we obtain the following asymptotic formula for .  相似文献   

10.
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 fC. 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.  相似文献   

11.
We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( Aa ) ?R( Aa ) )q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as
{ x  ?  X|t - q\textRea y1 ( tA )xt - q\textRea y2 ( tA )x ? L*p ( ( 0,¥ );X ) } {\left\{ {x\, \in \,X|t^{{ - \theta {\text{Re}}\alpha }} \psi _{1} {\left( {tA} \right)}x,\,t^{{ - \theta {\text{Re}}\alpha }} \psi _{2} {\left( {tA} \right)}x \in L_{*}^{p} {\left( {{\left( {0,\infty } \right)};X} \right)}} \right\}}  相似文献   

12.
For the number N(x) of solutions to the equation aqbc = 1 in positive integers a, b, c and square-free numbers q satisfying the condition aqx the asymptotic formula
$N\left( x \right) = \sum\limits_{n \leqslant x} {2^{\omega \left( n \right)} \tau \left( {n - 1} \right) = \xi _0 x\ln ^2 x + \xi _1 x\ln x + \xi _2 x + O\left( {x^{{5 \mathord{\left/ {\vphantom {5 {6 + \varepsilon }}} \right. \kern-\nulldelimiterspace} {6 + \varepsilon }}} } \right)}$N\left( x \right) = \sum\limits_{n \leqslant x} {2^{\omega \left( n \right)} \tau \left( {n - 1} \right) = \xi _0 x\ln ^2 x + \xi _1 x\ln x + \xi _2 x + O\left( {x^{{5 \mathord{\left/ {\vphantom {5 {6 + \varepsilon }}} \right. \kern-\nulldelimiterspace} {6 + \varepsilon }}} } \right)}  相似文献   

13.
For the Dirichlet series F(s) = ?n = 1 anexp{ sln } F(s) = \sum\nolimits_{n = 1}^\infty {{a_n}\exp \left\{ {s{\lambda_n}} \right\}} with abscissa of absolute convergence σ a =0, we establish conditions for (λ n ) and (a n ) under which lnM( s, F ) = TR( 1 + o(1) )exp{ rR
/ | s| } \ln M\left( {\sigma, F} \right) = {T_R}\left( {1 + o(1)} \right)\exp \left\{ {{{{{\varrho_R}}} \left/ {{\left| \sigma \right|}} \right.}} \right\} for σ ↑ 0, where M( s, F ) = sup{ | F( s+ it ) |:t ? \mathbbR } M\left( {\sigma, F} \right) = \sup \left\{ {\left| {F\left( {\sigma + it} \right)} \right|:t \in \mathbb{R}} \right\} and T R and ϱ R are positive constants.  相似文献   

14.
Under the Riemann hypothesis and the conjecture that the order of growth of the argument of ζ(1/2 + it) is bounded by $\left( {\log t} \right)^{\frac{1} {2} + o\left( 1 \right)}$\left( {\log t} \right)^{\frac{1} {2} + o\left( 1 \right)} , we show that for any given α > 0 the interval $(X,X + \sqrt X (\log X)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} + o\left( 1 \right)} ]$(X,X + \sqrt X (\log X)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} + o\left( 1 \right)} ] contains an integer having no prime factor exceeding X α for all X sufficiently large.  相似文献   

15.
The paper describes a systematic computational study of the prime counting function π(x) and three of its analytic approximations: the logarithmic integral \({\text{li}}{\left( x \right)}: = {\int_0^x {\frac{{dt}}{{\log \,t}}} }\), \({\text{li}}{\left( x \right)} - \frac{1}{2}{\text{li}}{\left( {{\sqrt x }} \right)}\), and \(R{\left( x \right)}: = {\sum\nolimits_{k = 1}^\infty {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} \mathord{\left/ {\vphantom {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} k}} \right. \kern-\nulldelimiterspace} k} }\), where μ is the Möbius function. The results show that π(x)x) for 2≤x≤1014, and also seem to support several conjectures on the maximal and average errors of the three approximations, most importantly \({\left| {\pi {\left( x \right)} - {\text{li}}{\left( x \right)}} \right|} < x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}}\) and \( - \frac{2}{5}x^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} < {\int_2^x {{\left( {\pi {\left( u \right)} - {\text{li}}{\left( u \right)}} \right)}du < 0} }\) for all x>2. The paper concludes with a short discussion of prospects for further computational progress.  相似文献   

16.
We study the asymptotics of the spectrum of the Maxwell operator M in a bounded Lipschitz domain W ì \mathbbR3 \Omega \subset {\mathbb{R}^3} under the condition of the perfect conductivity of the boundary ∂Ω. We obtain the following estimate for the remainder in the Weyl asymptotic expansion of the counting function N(λ,M) of positive eigenvalues of the Maxwell operator M:
N( l, M ) = \frac\textmeas W3p2l3( 1 + O( l - 2 / 5 ) ), N\left( {\lambda, M} \right) = \frac{{{\text{meas }}\Omega }}{{3{\pi^2}}}{\lambda^3}\left( {1 + O\left( {{\lambda^{{{{ - 2}} \left/ {5} \right.}}}} \right)} \right),  相似文献   

17.
Using measure-capacity inequalities we study new functional inequalities, namely L q -Poincaré inequalities
and L q -logarithmic Sobolev inequalities
for any q ∈ (0, 1]. As a consequence, we establish the asymptotic behavior of the solutions to the so-called weighted porous media equation
for m ≥ 1, in terms of L 2-norms and entropies.   相似文献   

18.
We investigate the approximate number of n-element partial orders of width k, for each fixed k. We show that the number of width 2 partial orders with vertex set {1, 2, ..., n} is
  相似文献   

19.
We prove the following statement, which is a quantitative form of the Luzin theorem on C-property: Let (X, d, μ) be a bounded metric space with metric d and regular Borel measure μ that are related to one another by the doubling condition. Then, for any function f measurable on X, there exist a positive increasing function η ∈ Ω (η(+0) = 0 and η(t)t a decreases for a certain a > 0), a nonnegative function g measurable on X, and a set EX, μE = 0 , for which
| f(x) - f(y) | \leqslant [ g(x) + g(y) ]h( d( x,y ) ), x,y ? X / E \left| {f(x) - f(y)} \right| \leqslant \left[ {g(x) + g(y)} \right]\eta \left( {d\left( {x,y} \right)} \right),\,x,y \in {{X} \left/ {E} \right.}  相似文献   

20.
Let ξ(t) be an almost lower semicontinuous integer-valued process with moment generating function of the negative parts of jumps
xk:E[ zxk / xk < 0 ] = \frac1 - bz - b,   0 \leqslant b < 1. {\xi_k}:E\left[ {{{{{z^{{\xi_k}}}}} \left/ {{{\xi_k} < 0}} \right.}} \right] = \frac{{1 - b}}{{z - b}},\,\,\,0 \leqslant b < 1.  相似文献   

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

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