Dual partially harmonic tensors and Brauer-Schur-Weyl duality

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 \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?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 dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

A Splitting of the Frobenius Morphism on the Whole Algebra of Distributions of SL 2

We define, over k = \BbbF_pk = {\Bbb{F}}_{p}, a splitting of the Frobenius morphism Fr : \textDist (G) ? \textDist (G)Fr : {\text{Dist}}\,(G) \rightarrow {\text{Dist}}\,(G) on the whole \textDist (G){\text{Dist}}\,(G), the algebra of distributions of the k-algebraic group G: = SL ₂. This splitting is compatible (and lifts) the theory of Frobenius descent for arithmetic D{\cal{D}}-modules over X:=\BbbP_k¹X:={\Bbb{P}}_{k}^{1}.     

On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)

Let ϕ be a function in the Wiener amalgam space W_￥(L₁)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={t_n}_{n ? \mathbb Z}{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and V_f^tV_\phi^{\bf \tau} be a closed subspace of L₂(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? V_f^tf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set L_f^t(f)={ò_\mathbbR f(t)[`(f(t-t_n))] dt}_{n ? \mathbb Z}L_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.     

On the regular growth of Dirichlet series absolutely convergent in a half-plane

For the Dirichlet series F(s) = ?_{n = 1}^￥ a_nexp{ sl_n } 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 ) = T_R( 1 + o(1) )exp{ r_R

Lp convergence of Cesàro means on sphere

LetR ⁿ be n-dimensional Euclidean space with n>-3. Demote by Ω _n the unit sphere inR ⁿ. ForfɛL(Ω _n ) we denote by σ _N ^δ its Cesàro means of order σ for spherical harmonic expansions. The special value l = \tfracn - 22\lambda = \tfrac{{n - 2}}{2} of σ is known as the critical one. For 0<σ≤λ, we set p₀ = \tfrac2ld+ lp_0 = \tfrac{{2\lambda }}{{\delta + \lambda }} . This paper proves that

Lower bound in the Bernstein inequality for the first derivative of algebraic polynomials

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

Calculus of functors,operad formality,and rational homology of embedding spaces

Let M be a smooth manifold and V a Euclidean space. Let [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V) be the homotopy fiber of the map Emb(M,V) → Imm(M,V). This paper is about the rational homology of [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V). We study it by applying embedding calculus and orthogonal calculus to the bifunctor (M,V)↦ HQ ∧ [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V)₊. Our main theorem states that if

Blow up of subcritical quantities at the first singular time of the mean curvature flow

Consider a family of smooth immersions F(·,t) : Mⁿ? \mathbbRⁿ⁺¹{F(\cdot,t)\,:\,{M^n\to \mathbb{R}^{n+1}}} of closed hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} moving by the mean curvature flow \frac?F(p,t)?t = -H(p,t)·n(p,t){\frac{\partial F(p,t)}{\partial t} = -H(p,t)\cdot \nu(p,t)}, for t ? [0,T){t\in [0,T)}. We show that at the first singular time of the mean curvature flow, certain subcritical quantities concerning the second fundamental form, for example ò₀^tò_Ms\frac|A|^{n + 2} log (2 + |A|) dmds,{\int_{0}^{t}\int_{M_{s}}\frac{{\vert{\it A}\vert}^{n + 2}}{ log (2 + {\vert{\it A}\vert})}} d\mu ds, blow up. Our result is a log improvement of recent results of Le-Sesum, Xu-Ye-Zhao where the scaling invariant quantities were considered.     

Boxicity of Circular Arc Graphs

A k-dimensional box is a Cartesian product R ₁ × · · · × R _k where each R _i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G can be represented as the intersection graph of a collection of k-dimensional boxes. That is, two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle. We show that if G is a circular arc graph which admits a circular arc representation in which no arc has length at least p(\fraca-1a){\pi(\frac{\alpha-1}{\alpha})} for some a ? \mathbbN _{3 2}{\alpha\in\mathbb{N}_{\geq 2}}, then box(G) ≤ α (Here the arcs are considered with respect to a unit circle). From this result we show that if G has maximum degree D < ?\fracn(a-1)2a?{\Delta < \lfloor{\frac{n(\alpha-1)}{2\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha \in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. We also demonstrate a graph having box(G) > α but with D = n\frac(a-1)2a+ \fracn2a(a+1)+(a+2){\Delta=n\frac{(\alpha-1)}{2\alpha}+ \frac{n}{2\alpha(\alpha+1)}+(\alpha+2)}. For a proper circular arc graph G, we show that if D < ?\fracn(a-1)a?{\Delta < \lfloor{\frac{n(\alpha-1)}{\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha\in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. Let r be the cardinality of the minimum overlap set, i.e. the minimum number of arcs passing through any point on the circle, with respect to some circular arc representation of G. We show that for any circular arc graph G, box(G) ≤ r + 1 and this bound is tight. We show that if G admits a circular arc representation in which no family of k ≤ 3 arcs covers the circle, then box(G) ≤ 3 and if G admits a circular arc representation in which no family of k ≤ 4 arcs covers the circle, then box(G) ≤ 2. We also show that both these bounds are tight.     

Diffeomorphism classification of smooth weighted complete intersections

Xn(d1, . . . , dr-1, dr; w) and Xn(e1, . . . , er-1, dr; w) are two complex odd-dimensional smooth weighted complete intersections defined in a smooth weighted hypersurface Xn+r-1(dr; w). We prove that they are diffeomorphic if and only if they have the same total degree d, the Pontrjagin classes and the Euler characteristic, under the following assumptions: the weights w = (ω0, . . . , ωn+r) are pairwise relatively prime and odd, νp(d/dr) ≥ 2n+1/ 2(p-1) + 1 for all primes p with p(p-1) ≤ n + 1, where νp(d/dr) satisfies d/dr =Ⅱp prime pνp (d/dr).     

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:

Some inequalities about mixed volumes

We prove inequalities about the quermassintegralsV _k (K) of a convex bodyK in ℝ ⁿ (here,V _k (K) is the mixed volumeV((K, k), (B _n ,n − k)) whereB _n is the Euclidean unit ball). (i) The inequality

On approximation of periodic functions by Fourier sums

Let L _p , 1 ≤ p< ∞, be the space of 2π-periodic functions f with the norm || f ||_p = ( ò _{- p}^p | f |^p )^{1 \mathord}

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 )}.      16. Greedy Bases for Besov Spaces      S. J. Dilworth  D. Freeman  E. Odell  T. Schlumprecht 《Constructive Approximation》2011,34(2):281-296 We prove that the Banach space (?n=1￥lpn)lq(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{\ell_{q}}, which is isomorphic to certain Besov spaces, has a greedy basis whenever 1≤p≤∞ and 1<q<∞. Furthermore, the Banach spaces (?n=1￥lpn)l1(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{1}}, with 1<p≤∞, and (?n=1￥lpn)c0(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{c_{0}}, with 1≤p<∞, do not have a greedy basis. We prove as well that the space (?n=1￥lpn)lq(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{q}} has a 1-greedy basis if and only if 1≤p=q≤∞.      17. Uniform estimates for order statistics and Orlicz functions      Yehoram Gordon  Alexander E. Litvak  Carsten Schütt  Elisabeth Werner 《Positivity》2012,16(1):1-28 We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ 1, … , ξ n and a vector of scalars x = (x 1, … , x n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min1 ￡ i ￡ n |xixi|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max1 ￡ i ￡ n|xixi|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||yx||M{\|y_x\|_M} of the vector y x  = (1/x 1, … , 1/x n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ 1|, G(t) = \mathbb P ({ |x1| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ 1 is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò0t e-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò0se-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.      18. Asymptotic behaviour for a nonlocal diffusion equation on a lattice      Liviu I. Ignat  Julio D. Rossi 《Zeitschrift für Angewandte Mathematik und Physik (ZAMP)》2008,170(1):918-925 In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, u￠n(t) = ?j ? \mathbbZd Jn-juj(t)-un(t)u^{\prime}_{n}(t) = \sum_{{j\in}{{{\mathbb{Z}}}^{d}}} J_{n-j}u_{j}(t)-u_{n}(t) with t ≥ 0 and n ? \mathbbZdn \in {\mathbb{Z}}^{d}. We assume that J is nonnegative and verifies ?n ? \mathbbZdJn = 1\sum_{{n \in {\mathbb{Z}}}^{d}}J_{n}= 1. We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.      19. Isoperimetric estimates for the first eigenfunction of a class of linear elliptic problems      M. F. Betta  F. Chiacchio  A. Ferone 《Zeitschrift für Angewandte Mathematik und Physik (ZAMP)》2007,58(2):37-52 We find some optimal estimates for the first eigenfunction of a class of elliptic equations whose prototype is - ( guxi )xi = lgu \textin W ì \mathbbRn - {\left( {\gamma u_{{x_{i} }} } \right)}_{{x_{i} }} = \lambda \gamma u\,{\text{in}}\,\Omega \subset \mathbb{R}^{n} with Dirichlet boundary condition, where γ is the normalized Gaussian function in \mathbbRn \mathbb{R}^{n} . To this aim we make use of the Gaussian symmetrization which transforms a domain into an half-space with the same Gaussian measure. The main tools we use are the properties of the weighted rearrangements and in particular the isoperimetric inequality with respect to Gaussian measure.      20. Saddle solutions of nonlinear elliptic equations involving the p-Laplacian      Zhuoran Du  Zheng Zhou  Baishun Lai 《NoDEA : Nonlinear Differential Equations and Applications》2011,18(1):101-114 We prove the existence of saddle solutions of nonlinear elliptic equation involving the p-Laplacian -Dpu=f(u)     \textin  Rn, -\Delta_{p}u=f(u) \quad \text{in}\,\,R^n,

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

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

Greedy Bases for Besov Spaces

We prove that the Banach space (?_n=1^￥l_pⁿ)_lq(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{\ell_{q}}, which is isomorphic to certain Besov spaces, has a greedy basis whenever 1≤p≤∞ and 1<q<∞. Furthermore, the Banach spaces (?_n=1^￥l_pⁿ)_l1(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{1}}, with 1<p≤∞, and (?_n=1^￥l_pⁿ)_c0(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{c_{0}}, with 1≤p<∞, do not have a greedy basis. We prove as well that the space (?_n=1^￥l_pⁿ)_lq(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{q}} has a 1-greedy basis if and only if 1≤p=q≤∞.     

Uniform estimates for order statistics and Orlicz functions

We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ ₁, … , ξ _n and a vector of scalars x = (x ₁, … , x _n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min_{1 ￡ i ￡ n} |x_ix_i|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max_{1 ￡ i ￡ n}|x_ix_i|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||y_x||_M{\|y_x\|_M} of the vector y _x  = (1/x ₁, … , 1/x _n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ ₁|, G(t) = \mathbb P ({ |x₁| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ ₁ is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò₀^t e^-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò₀^se^-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.     

Asymptotic behaviour for a nonlocal diffusion equation on a lattice

In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, u^￠_n(t) = ?_{j ? \mathbbZ^d} J_n-ju_j(t)-u_n(t)u^{\prime}_{n}(t) = \sum_{{j\in}{{{\mathbb{Z}}}^{d}}} J_{n-j}u_{j}(t)-u_{n}(t) with t ≥ 0 and n ? \mathbbZ^dn \in {\mathbb{Z}}^{d}. We assume that J is nonnegative and verifies ?_{n ? \mathbbZ^d}J_n = 1\sum_{{n \in {\mathbb{Z}}}^{d}}J_{n}= 1. We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.     

Isoperimetric estimates for the first eigenfunction of a class of linear elliptic problems

We find some optimal estimates for the first eigenfunction of a class of elliptic equations whose prototype is - ( gu_xi )_xi = lgu \textin W ì \mathbbRⁿ - {\left( {\gamma u_{{x_{i} }} } \right)}_{{x_{i} }} = \lambda \gamma u\,{\text{in}}\,\Omega \subset \mathbb{R}^{n} with Dirichlet boundary condition, where γ is the normalized Gaussian function in \mathbbRⁿ \mathbb{R}^{n} . To this aim we make use of the Gaussian symmetrization which transforms a domain into an half-space with the same Gaussian measure. The main tools we use are the properties of the weighted rearrangements and in particular the isoperimetric inequality with respect to Gaussian measure.     

Saddle solutions of nonlinear elliptic equations involving the p-Laplacian

We prove the existence of saddle solutions of nonlinear elliptic equation involving the p-Laplacian