FUNCTIONAL INEQUALITIES AND BEST APPROXIMATION

We investigate the relationship between best approximations by elements of closed convexcones and the estimation of functionals on an inner product space (X,<·,·>)in terms of theinner product on X.     

Global Poincaré Inequalities on the Heisenberg Group and Applications

Let f be in the localized nonisotropic Sobolev space Wloc^1,p （H^n） on the n-dimensional Heisenberg group H^n = C^n ×R, where 1≤ p ≤ Q and Q = 2n ＋ 2 is the homogeneous dimension of H^n. Suppose that the subelliptic gradient is gloablly L^p integrable, i.e., fH^n ｜△H^n f｜^p du is finite. We prove a Poincaré inequality for f on the entire space H^n. Using this inequality we prove that the function f subtracting a certain constant is in the nonisotropic Sobolev space formed by the completion of C0^∞（H^n） under the norm of （∫H^n ｜f｜ Qp/Q-p）^Q-p/Qp ＋ （∫ H^n ｜△H^n f｜^p）^1/p. We will also prove that the best constants and extremals for such Poincaré inequalities on H^n are the same as those for Sobolev inequalities on H^n. Using the results of Jerison and Lee on the sharp constant and extremals for L^2 to L（2Q/Q-2） Sobolev inequality on the Heisenberg group, we thus arrive at the explicit best constant for the aforementioned Poincaré inequality on H^n when p=2. We also derive the lower bound of the best constants for local Poincaré inequalities over metric balls on the Heisenberg group H^n.     

本刊英文版Vol.26(2010),No.12论文摘要(英文)

<正>Distances between Elements of a Semigroup and Estimates for Derivatives Zohra BENDOUAD Isabelle CHALENDAR Jean ESTERLE Jonathan R.PARTINGTON Abstract This paper is concerned first with the behaviour of differences T(t) - T(s) near the origin,where(T(t)) is a semigroup of operators on a Banach space,defined either on the positive real line or a sector in the right half-plane(in which case it is assumed analytic).For the non-quasinilpotent case extensions of results in the published literature are provided,with best possible constants;in the case of quasinilpotent semigroups on the half-plane,it is shown     

Limiting weak-type behaviors for Riesz transforms and maximal operators in Bessel setting

We establish the limiting weak type behaviors of Riesz transforms associated to the Bessel operators on IR+. which are closely related to the best constants of the weak type (1,1) estimates for such operators. Meanwhile, the corresponding results for Hardy-Littlewood maximal operator and fractional maximal operator in Bessel setting are also obtained.     

积分微分方程的一个高精度导数恢复公式

A highly accurate derivative recovery formula is presented for the korder finite element approximations to integro-differential equations. This formula possesses O(h^k l) order of superconvergence on the whole domain in L∞ norm and O(h^2k) order of ultraconvergence at the mesh points, respectively, and the same type of results are demonstrated for the semi-discrete finite element approximates solutions of Sobolev equations.     

Limit theory of restricted range approximations of complex-valued continuous functions

This paper is concerned with the problem of the best restricted range approximations of complex-valued continuous functions.Several properties for the approximating set(?)such that the classical characterization results and/or the uniqueness results of the best approximations hold are introduced.Under the very mild conditions,we prove that these properties are equivalent that(?)is a Haar subspce.     

Trigonometric Widths and Best N-Term Approximations of the Generalized Periodic Besov Classes B_(p,θ)~Ω

In this paper,we determine the estimates exact in order for the trigonometric widths and the best n-term trigonometric approximations of the generalized classes of periodic functions B(p,θ)Ω in the space Lq for some values of parameters p,q.     

A POSTERIORI ENERGY-NORM ERROR ESTIMATES FOR ADVECTION-DIFFUSION EQUATIONS APPROXIMATED BY WEIGHTED INTERIOR PENALTY METHODS

We propose and analyze a posteriori energy-norm error estimates for weighted interior penalty discontinuous Galerkin approximations of advection-diffusion-reaction equations with heterogeneous and anisotropic diffusion. The weights, which play a key role in the analysis, depend on the diffusion tensor and are used to formulate the consistency terms in the discontinuous Galerkin method. The error upper bounds, in which all the constants are specified, consist of three terms： a residual estimator which depends only on the elementwise fluctuation of the discrete solution residual, a diffusive flux estimator where the weights used in the method enter explicitly, and a non-conforming estimator which is nonzero because of the use of discontinuous finite element spaces. The three estimators can be bounded locally by the approximation error. A particular attention is given to the dependency on problem parameters of the constants in the local lower error bounds. For moderate advection, it is shown that full robustness with respect to diffusion heterogeneities is achieved owing to the specific design of the weights in the discontinuous Galerkin method, while diffusion anisotropies remain purely local and impact the constants through the square root of the condition number of the diffusion tensor. For dominant advection, it is shown, in the spirit of previous work by Verfiirth on continuous finite elements, that the local lower error bounds can be written with constants involving a cut-off for the ratio of local mesh size to the reciprocal of the square root of the lowest local eignevalue of the diffusion tensor.     

UNIFORM RECIPROCAL APPROXIMATION SUBJECT TO COEFFICIENT CONSTRAINTS

In this paper best approximation by reciprocals of functions of a subspace U_n=span(u_1,…,u_n)satisfying coefficient constraints is considered.We present a characterization ofbest approximations.When(u_1,…,u_n)is a Descartes system an explicit characterization ofbest approximations by equioscillations is given.Existence and uniqueness results are shown.Moreover,the theory is applied to best approximaitons by reciprocals of polynomials.     

Elliptic systems involving multiple critical nonlinearities and symmetric multi-polar potentials

In this paper,a system of elliptic equations is investigated,which involves multiple critical Sobolev exponents and symmetric multi-polar potentials.By variational methods and analytic techniques,the relevant best constants are studied and the existence of(Zk×SO(N.2))2-invariant solutions to the system is established.     

Relative average widths of Sobolev spaces in L 2(ℝ d )

In this paper, in order to consider the problems of relative width on ? ^d , we proposed definitions of relative average width which combine the ideas of the relative width and the average width. We established the smallest number M which make the following equality $$ \overline K _\sigma (U(W_2^\alpha ),M(W_2^\alpha ),L_2 ({\mathbb{R}}^d )) = \overline d _\sigma (U(W_2^\alpha ),L_2 ({\mathbb{R}}^d )) $$ hold, where U(W ₂ ^α ) is the Riesz potential or Bessel potential of the unit ball in L ²(? ^k ) and the notations $ \overline K _\sigma $ (·, ·,L ₂(? ^d )) and $ \overline d _\sigma $ (·, L ₂(? ^d )) denote respectively the relative average width in the sense of Kolmogorov and the average width in the sense of Kolmogorov in their given order. In 2001, Subbotin and Telyakovskii got similar results on the relative width of Kolmogorov type. We also proved that $$ \overline K _\sigma (U(W_2^\alpha ) \cap B(L_2 (\mathbb{R}^d )),U(W_2^\beta ) \cap B(L_2 (\mathbb{R}^d ))L_2 (\mathbb{R}^d )) = \overline d _\sigma (U(W_2^\alpha ),L_2 (\mathbb{R}^d )), $$ where 0 × β × α.     

A Characterization of Hardy Spaces Associated with Certain Schrödinger Operators

Let {K _t } _t>0 be the semigroup of linear operators generated by a Schrödinger operator ?L = Δ ? V (x) on ? ^d , d ≥ 3, where V (x) ≥ 0 satisfies Δ ^?1 V ∈ L ^∞. We say that an L ¹-function f belongs to the Hardy space \({H^{1}_{L}}\) if the maximal function ? _L f (x) = sup _t>0 |K _t f (x)| belongs to L ¹ (? ^d ). We prove that the operator (?Δ)^1/2 L ^?1/2 is an isomorphism of the space \({H^{1}_{L}}\) with the classical Hardy space H ¹(? ^d ) whose inverse is L ^1/2(?Δ)^?1/2. As a corollary we obtain that the space \({H^{1}_{L}}\) is characterized by the Riesz transforms \(R_{j}=\frac {\partial }{\partial x_{j}}L^{-1\slash 2}\) .     

Best trigonometric and bilinear approximations of classes of functions of several variables

Order-sharp estimates of the best orthogonal trigonometric approximations of the Nikol’skii-Besov classes B _p,θ ^r of periodic functions of several variables in the space L _q are obtained. Also the orders of the best approximations of functions of 2d variables of the form g(x, y) = f(x?y), x, y ∈ $\mathbb{T}$ ^d = Π _j=1 ^d [?π, π], f(x) ∈ B _p,θ ^r , by linear combinations of products of functions of d variables are established.     

Predual Spaces of Banach Completions of Orlicz-Hardy Spaces Associated with Operators

Let L be a linear operator in L ²(? ⁿ ) and generate an analytic semigroup {e ^?tL } _t??0 with kernels satisfying an upper bound of Poisson type, whose decay is measured by ??(L)??(0,??]. Let ?? on (0,??) be of upper type 1 and of critical lower type $\widetilde{p}_{0}(\omega)\in(n/(n+\theta(L)),1]$ and ??(t)=t ^?1/?? ^?1(t ^?1) for t??(0,??). In this paper, the authors first introduce the VMO-type space VMO _??,L (? ⁿ ) and the tent space $T^{\infty}_{\omega,\mathrm{v}}({\mathbb{R}}^{n+1}_{+})$ and characterize the space VMO _??,L (? ⁿ ) via the space $T^{\infty}_{\omega,\mathrm{v}}({{\mathbb{R}}}^{n+1}_{+})$ . Let $\widetilde{T}_{\omega}({{\mathbb{R}}}^{n+1}_{+})$ be the Banach completion of the tent space $T_{\omega}({\mathbb{R}}^{n+1}_{+})$ . The authors then prove that $\widetilde{T}_{\omega}({\mathbb{R}}^{n+1}_{+})$ is the dual space of $T^{\infty}_{\omega,\mathrm{v}}({\mathbb{R}}^{n+1}_{+})$ . As an application of this, the authors finally show that the dual space of $\mathrm{VMO}_{\rho,L^{\ast}}({\mathbb{R}}^{n})$ is the space B _??,L (? ⁿ ), where L ^* denotes the adjoint operator of L in L ²(? ⁿ ) and B _??,L (? ⁿ ) the Banach completion of the Orlicz-Hardy space H _??,L (? ⁿ ). These results generalize the known recent results by particularly taking ??(t)=t for t??(0,??).     

Musielak–Orlicz–Hardy Spaces Associated with Operators and Their Applications

Let $\mathcal{X}$ be a metric space with doubling measure and L a nonnegative self-adjoint operator in $L^{2}(\mathcal{X})$ satisfying the Davies–Gaffney estimates. Let $\varphi:\mathcal{X}\times[0,\infty)\to[0,\infty)$ be a function such that φ(x,?) is an Orlicz function, $\varphi(\cdot,t)\in\mathbb{A}_{\infty}(\mathcal{X})$ (the class of uniformly Muckenhoupt weights), its uniformly critical upper type index I(φ)∈(0,1], and it satisfies the uniformly reverse Hölder inequality of order 2/[2?I(φ)]. In this paper, the authors introduce a Musielak–Orlicz–Hardy space $H_{\varphi,L}(\mathcal{X})$ , by the Lusin area function associated with the heat semigroup generated by L, and a Musielak–Orlicz BMO-type space $\mathrm{BMO}_{\varphi,L}(\mathcal{X})$ , which is further proved to be the dual space of $H_{\varphi,L}(\mathcal{X})$ and hence whose φ-Carleson measure characterization is deduced. Characterizations of $H_{\varphi,L}(\mathcal{X})$ , including the atom, the molecule, and the Lusin area function associated with the Poisson semigroup of L, are presented. Using the atomic characterization, the authors characterize $H_{\varphi,L}(\mathcal{X})$ in terms of the Littlewood–Paley $g^{\ast}_{\lambda}$ -function $g^{\ast}_{\lambda,L}$ and establish a Hörmander-type spectral multiplier theorem for L on $H_{\varphi,L}(\mathcal{X})$ . Moreover, for the Musielak–Orlicz–Hardy space H _φ,L (? ⁿ ) associated with the Schrödinger operator L:=?Δ+V, where $0\le V\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})$ , the authors obtain its several equivalent characterizations in terms of the non-tangential maximal function, the radial maximal function, the atom, and the molecule; finally, the authors show that the Riesz transform ?L ^?1/2 is bounded from H _φ,L (? ⁿ ) to the Musielak–Orlicz space L ^φ (? ⁿ ) when i(φ)∈(0,1], and from H _φ,L (? ⁿ ) to the Musielak–Orlicz–Hardy space H _φ (? ⁿ ) when $i(\varphi)\in(\frac{n}{n+1},1]$ , where i(φ) denotes the uniformly critical lower type index of φ.     

Commutator of hypersingular integral with rough kernels on Sobolev spaces

In this paper, the authors give the boundedness of the commutator of hypersingular integral T γ from the homogeneous Sobolev space Lpγ (Rn) to the Lebesgue space Lp(Rn) for 1p∞ and 0 γ min{ n/2 , n/p }.     

A characterization of the Wishart exponential families by an invariance property

E is the space of real symmetric (d, d) matrices, andS and \(\bar S\) are the subsets ofE of positive definite and semipositive-definite matrices. Let there be ap in $$\Lambda = \left\{ {\frac{1}{2},1,\frac{3}{2}, \ldots \frac{{d - 1}}{2}} \right\} \cup \left] {\frac{{d - 1}}{2}, + \infty } \right[$$ The Wishart natural exponential family with parameterp is a set of probability distributions on \(\bar S\) defined by $$F_p = \{ \exp [ - \tfrac{1}{2}Tr(\Gamma x)](det\Gamma )^p \mu _p (dx);\Gamma \in S\} $$ where μ_p is a suitable measure on \(\bar S\) . LetGL(?^d) be the subset ofE of invertible matrices. Fora inGL(?^d), define the automorphismg _a ofE byg _a(x)=^t axa, where ^t a is the transpose ofa. The aim of this paper is to show that a natural exponential familyF onE is invariant byg _a for alla inGL(?^d) if and only if there existsp in Λ such that eitherF=F _p, orF is the image ofF _p byx??x. (Theorem).     

Semilinear equations in ℝ N without condition at infinity

In this paper we establish that some nonlinear elliptic (and parabolic) problems are well posed in all of ? ^N without prescribing the behavior at infinity. A typical example is the following: Let 1<p<∞. For everyf ∈ L _loc ¹ (? ^N ) there is a uniqueu ∈ L _loc ^p (? ^N ) satisfying $$ - \Delta u + |u|^{p - 1} u = f(x) on \mathbb{R}^N $$ .     

Commutators of the fractional maximal function on variable exponent Lebesgue spaces

Let \({M_\beta }\) be the fractional maximal function. The commutator generated by \({M_\beta }\) and a suitable function b is defined by \([{M_\beta },b]f = {M_\beta }(bf) - b{M_\beta }(f)\) . Denote by P(? ⁿ ) the set of all measurable functions p(·): ? ⁿ → [1,∞) such that $1 < p_ - : = \mathop {es\sin fp(x)}\limits_{x \in \mathbb{R}^n } andp_ + : = \mathop {es\operatorname{s} \sup p(x) < \infty }\limits_{x \in \mathbb{R}^n } ,$ and by B(? ⁿ ) the set of all p(·) ∈ P(? ⁿ ) such that the Hardy-Littlewood maximal function M is bounded on L ^p(·)(? ⁿ ). In this paper, the authors give some characterizations of b for which \([{M_\beta },b]\) is bounded from L ^p(·)(? ⁿ ) into L ^q(·)(? ⁿ ), when p(·) ∈ P(? ⁿ ), 0 < β < n/p ₊ and 1/q(·) = 1/p(·) ? β/n with q(·)(n ? β)/n ∈ B(? ⁿ ).     

Riesz transform characterization of Hardy spaces associated with Schrödinger operators with compactly supported potentials

Let L=?Δ+V be a Schrödinger operator on ? ^d , d≥3. We assume that V is a nonnegative, compactly supported potential that belongs to L ^p (? ^d ), for some p>d /2. Let K _t be the semigroup generated by ?L. We say that an L ¹(? ^d )-function f belongs to the Hardy space \(H^{1}_{L}\) associated with L if sup?_t>0|K _t f| belongs to L ¹(? ^d ). We prove that \(f\in H^{1}_{L}\) if and only if R _j f∈L ¹(? ^d ) for j=1,…,d, where R _j =(?/? x _j )L ^?1/2 are the Riesz transforms associated with L.