Sharpness of the Calderón-Lozanovskii interpolation construction

We present a short proof of the sharpness of the Calderón-Lozanovskii interpolation construction in couples of weighted L _p spaces in the “lower triangle,” i.e., for operators from a couple { L _p0 (V ₀), L _p1 (V ₁)} to a couple {L _q0 (U ₀), L _q1 (U ₁)} with p ₀ ? q ₀ and p ₁ ? q ₁. This generalizes the well-known result due to Dmitriev and Semenov on the sharpness of the Riesz-Thorin interpolation theorem in the “lower triangle” for L _p spaces on intervals.     

Interpolation orbits in couples of Lebesgue spaces

The paper deals with interpolation orbits for linear operators acting from a arbitrary couple { (U ₀), (U ₁)} of weighted L _p spaces into an arbitrary couple { (V ₀), (V ₁)} of such spaces, where 1 p ₀,p ₁,q ₀,q ₁ . Here L _p (U) is the space of measurable functions f on a measure space such that fU L _p , equipped with the norm . The paper describes the orbits of arbitrary elements a (U ₀) + (U ₁). It contains proofs of the results announced in C. R. Acad. Sci. Paris, Ser. I, 334, 881–884 (2002).__________Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 39, No. 1, pp. 56–68, 2005Original Russian Text Copyright © by V. I. OvchinnikovTranslated by V. I. Ovchinnikov     

Stabilization for viscous compressible heat-conducting media equations with nonmonotone state functionsStabilisation pour un milieu continu compressible avec pression non monotone

We consider the system of quasilinear equations for 1d-motion of viscous compressible heat-conducting media. The state function has the form p(η,θ)=p₀(η)+p₁(η)θ, with general nonmonotone p₀ and p₁, which allows us to treat both nuclear fluids and thermoviscoelastic solids (for fluids, p, η, and θ are the pressure, specific volume, and temperature). For an initial boundary value problem with large data, we establish stabilization as t→∞: pointwise and in L^q for η, in L^q for v (the velocity), for any q∈[2,∞), and in L² for θ. To cite this article: B. Ducomet, A. Zlotnik, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 119–124     

(1, 1)-<Emphasis Type="Italic">q</Emphasis>-coherent pairs

In this paper, we introduce the concept of (1, 1)-q-coherent pair of linear functionals (U,V)(\mathcal{U},\mathcal{V}) as the q-analogue to the generalized coherent pair studied by Delgado and Marcellán in (Methods Appl Anal 11(2):273–266, 2004). This means that their corresponding sequences of monic orthogonal polynomials {P _n (x)} _n ≥ 0 and {R _n (x)} _n ≥ 0 satisfy

<Emphasis Type="Italic">m</Emphasis>-Dissipativity of Some Gradient Systems with Measurable Potential

We consider the operator in L ²(B, ν) and in L ¹(B, ν) with Neumann boundary condition, where U is an unbounded function belonging to for some q ∈(1, ∞), B is the possibly unbounded convex open set in where U is finite and ν(dx) = C exp (−2U (x))dx is a probability measure, infinitesimally invariant for N ₀. We prove that the closure of N ₀ is a m-dissipative operator both in L ²(B, ν) and in L ¹(B, ν). Moreover we study the properties of ergodicity and strong mixing of the measure ν in the L ² case.      

Monotonicity properties of interpolation spaces

For any interpolation pair (A ₀ A ₁), Peetre’sK-functional is defined by: $$K\left( {t,a;A_0 ,A_1 } \right) = \mathop {\inf }\limits_{a = a_0 + a_1 } \left( {\left\| {a_0 } \right\|_{A_0 } + t\left\| {a_1 } \right\|_{A_1 } } \right).$$ It is known that for several important interpolation pairs (A ₀,A ₁), all the interpolation spacesA of the pair can be characterised by the property ofK-monotonicity, that is, ifa∈A andK(t, b; A₀, A₁)≦K(t, a; A₀, A₁) for all positivet thenb∈A also. We give a necessary condition for an interpolation pair to have its interpolation spaces characterized byK-monotonicity. We describe a weaker form ofK-monotonicity which holds for all the interpolation spaces of any interpolation pair and show that in a certain sense it is the strongest form of monotonicity which holds in such generality. On the other hand there exist pairs whose interpolation spaces exhibit properties lying somewhere betweenK-monotonicity and weakK-monotonicity. Finally we give an alternative proof of a result of Gunnar Sparr, that all the interpolation spaces for (L _v ^p , L _w ^q ) areK-monotone.     

Extended Cesàro operators on Bergman spaces

We define an extended Cesàro operator T_g with holomorphic symbol g in the unit ball B of Cⁿ. For a large class of weights w we characterize those g for which T_g is bounded (or compact) from Bergman space L^p_a,w(B) to L^q_a,w(B), 0<p,q<∞. In addition, we obtain some results about equivalent norms, the norm of point evaluation functionals, and the interpolation sequences on L^p_a,w(B).     

Sum formulas for reductive algebraic groups

Let V be a Weyl module either for a reductive algebraic group G or for the corresponding quantum group Uq. If G is defined over a field of positive characteristic p, respectively if q is a primitive lth root of unity (in an arbitrary field) then V has a Jantzen filtration V=V⁰⊃V¹⊃?⊃Vr=0. The sum of the positive terms in this filtration satisfies a well-known sum formula.If T denotes a tilting module either for G or Uq then we can similarly filter the space HomG(V,T), respectively HomUq(V,T) and there is a sum formula for the positive terms here as well.We give an easy and unified proof of these two (equivalent) sum formulas. Our approach is based on an Euler type identity which we show holds without any restrictions on p or l. In particular, we get rid of previous such restrictions in the tilting module case.     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

Homoclinic solutions for a class of the second order Hamiltonian systems

We study the existence of homoclinic orbits for the second order Hamiltonian system , where q∈Rⁿ and V∈C¹(R×Rⁿ,R), V(t,q)=-K(t,q)+W(t,q) is T-periodic in t. A map K satisfies the “pinching” condition b₁|q|²?K(t,q)?b₂|q|², W is superlinear at the infinity and f is sufficiently small in L²(R,Rⁿ). A homoclinic orbit is obtained as a limit of 2kT-periodic solutions of a certain sequence of the second order differential equations.     

An integral transform in L2-cohomology for the ladder representations of U(p, q)

Starting from the realization of the Fock space as L²-cohomology of $\text{C}$^{p + q}, $\text{H}$^0,p($\text{C}$^{p + q}) = ⊕_m?$\text{Z}$$\text{H}$_m^0,p($\text{C}$^{p + q}), an integral transform is constructed which is a direct-image mapping from $\text{H}$_m^{0,p($\text{C}$p + q) into the space of holomorphic sections of some vector bundle E_m over M ≈ U(p, q)/(U(q) × U(p)), m ? 0}. The transform intertwines the natural actions of U(p, q) and is injective if m ? 0, so it provides a geometric realization of the ladder representations of U(p, q). The sections in the image of the transform satisfy certain linear differential equations, which are explicitly described. For example, Maxwell's equations are of this form if p = q = 2 and m = 2. Thus, this transform is analogous to the Penrose correspondence.     

On certain functional equations related to Jordan triple (q, f){(\theta, \phi)}-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let q{\theta} and f{\phi} be automorphisms of R. Suppose T:R? R{T:R\rightarrow R} is an additive mapping satisfying the relation T(xyx)=T(x)q(y)q(x)-f(x)T(y)q(x)+f(x)f(y)T(x){T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}, for all pairs x,y ? R{x,y\in R}. In this case T is of the form 2T(x)=qq(x)+f(x)q{2T(x)=q\theta (x)+\phi (x)q}, for all x ? R{x\in R} and some fixed element q ? Q_s{q\in Q_{s}}.     

Accuracy of discrete schemes for a class of abstract evolution inequalities

For a triple of Hilbert spaces {V, H, V*}, we study a discrete and a semidiscrete scheme for an evolution inclusion of the form u′(t) + A(t)u(t) + ??(t, u(t)) ? f(t), u(0) = u ₀, t ∈ (0, T], where the pair {A(t), ?(t, ·)} consists of a family of nonlinear operators from V into V* and a family of proper convex lower semicontinuous functionals with common effective domain D(?) ? V. The discrete scheme is a combination of the Galerkin method with perturbations and the implicit Euler method. Under conditions on the data providing the existence and uniqueness of the solution of the problem in the space H ¹(0, T; V) ∩ W _∞ ¹ (0, T;H), we obtain an abstract estimate for the method error in the energy norm of first-order accuracy with respect to the time increment. By way of application, we consider a problem with an obstacle inside the domain, for which we obtain an optimal estimate of the accuracy of two implicit schemes (standard and new) on the basis of the finite element method.     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

Characterization of the absence of a spectral gapfor a class of periodic Jacobi operators

Let q ∈ {2, 3} and let 0 = s₀ < s₁ < … < s_q = T be integers. For m, n ∈ Z, we put ¯m,n = {j ∈ Z| m? j ? n}. We set l_j = s_j − s_j−1 for j ∈ 1, q. Given (p₁,, p_q) ∈ R^q, let b: Z → R be a periodic function of period T such that b(·) = p_j on s_j−1 + 1, s_j for each j ∈ 1, q. We study the spectral gaps of the Jacobi operator (Ju)(n) = u(n + 1) + u(n − 1) + b(n)u(n) acting on l²(Z). By [λ_2j , λ_2j−1] we denote the jth band of the spectrum of J counted from above for j ∈ 1, T. Suppose that p_m ≠ p_n for m ≠ n. We prove that the statements (i) and (ii) below are equivalent for λ ∈ R and i ∈ 1, T − 1.     

Le théorème ergodique pour les opérateurs positifs sur les espaces Lp (1<p<∞) revisitéErgodic theorem for positive operators on Lp-spaces Lp (1<p<∞) revisited

We consider positive linear operators on L_p-spaces (1<p<∞), (A(L_p⁺)?L_p⁺), satisfying the inequality A^m+n<A^m+Aⁿ for all $\text{m,n∈}\text{N}\text{.}$ We describe the structure of these operators (Theorem 1). As a consequence we obtain for all f∈L^p,Aⁿf converges a.e. The last statement contains the theorem of a.e. convergence of Cesaro averages for positive mean bounded operators. To cite this article: A. Brunel, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 205–207.     

Average Width and Optimal Interpolation of the Sobolev-Wiener Class Wpq(R) in the Metric Lq(R)

In this paper, we determine the exact value of average n − K width _n(W^r_pq(R), L_q(R)) of Sobolev-Wiener class W^r_pq(R) in the metric L_q(R) for 1 > q ≥ p > ∞ and get the value of _n(W^r_p(R), L_qp(R)) for the dual case. We also solve the optimal interpolation problems of W^r_pq(R) in the metric L_q(R) and W^r_p(R) in the metric L_qp(R) for 1 < q ≤ p < ∞.     

Codeterminants and <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We study codeterminants in the q-Schur algebra S _q (n,r) and prove that the standard ones form a basis of S _q (n,r), using a quantized version of the Désarménien matrix. We find elements of the form F _S 1_λ E _T in Lusztig’s modified enveloping algebra of gl(n), which, up to powers of q, map to the basis of standard codeterminants, where F _S ∈U ^– and E _T ∈U ⁺ are explicitly given products of root vectors, depending on Young tableaux S and T.     

Sur l'existence des opérateurs d'onde pour l'équation de Wigner dans les espaces L2,pExistence of wave operators for the Wigner equation in L2,p spaces

Basing on the formalism established by Markovich, we show the completeness of wave operators for the Wigner equation in L². In the second part, using estimations proved by Castella and Perthame on the one hand, and the L^p→L^q estimations for the Schrödinger group on the other hand, we prove the existence of the wave operators in L^2,p spaces. To cite this article: H. Emamirad, P. Rogeon, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 811–816.     

Some new Triebel-Lizorkin spaces on spaces of homogeneous type and their frame characterizations

Let(X,p,μ)d,θ be a space of homogeneous type,(?) ∈(0,θ],|s|＜(?) andmax{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞.The author introduces the new Triebel-Lizorkin spaces (?)_∞q~s(X) and establishes the framecharacterizations of these spaces by first establishing a Plancherel-P(?)lya-type inequalityrelated to the norm of the spaces (?)_∞q~s(X).The frame characterizations of the Besovspace (?)_pq~s(X) with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p≤∞ and 0＜q≤∞and the Triebel-Lizorkin space (?)_pq~s(X)with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p＜∞ and max{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞ are also presented.Moreover,the au-thor introduces the new TriebeI-Lizorkin spaces b(?)_∞q~s(X) and H(?)_∞q~s(X) associated to agiven para-accretive function b.The relation between the space b(?)_∞q~s(X) and the spaceH(?)_∞q~s(X) is also presented.The author further proves that if s＝0 and q＝2,thenH(?)_∞q~s(X)＝(?)_∞q~s(X),which also gives a new characterization of the space BMO(X),since (?)_∞q~s(X)＝BMO(X).