Converse theorems for approximation by bernstein polynomials in Lp[0,1] (1<p<∞)

The class of all continuous functions possessing n^?α(1/p<α≤1) order of approximation by Bernstein polynomials inL _p[0, 1] is characterized.     

Degenerate Second Order Differential Operators Generating Analytic Semigroups in Lp and W1,p

We deal with the problem of analyticity for the semigroup generated by the second order differential operator Au ≔ αu″ + βu′ (or by some restrictions of it) in the spaces L^p(0, 1), with or without weight, and in W^1,p(0, 1), 1 < p < ∞. Here α and β are assumed real‐valued and continuous in [0, 1], with α(x) > 0 in (0, 1), and the domain of A is determined by the generalized Neumann boundary conditions and by Wentzell boundary conditions.     

Best Approximation of Functions like |x| exp(−A|x|)

We determine the exact order of best approximation by polynomials and entire functions of exponential type of functions like?_λ, α(x)=|x|^λ exp(−A|x|^−α). In particular, it is shown thatE(?_λ, α, _n, L_p(−1, 1))∼n^{−(2λp+αp+2)/2p(1+α)}×exp(−(1+α⁻¹)(Aα)^1/(1+α) cos απ/2(1+α) n^α/(1+α)), whereE(?_λ, α, _n, L_p(−1, 1)) denotes best polynomial approximation of?_λ, αinL_p(−1, 1),λ∈,α∈(0, 2],A>0, 1?p?∞. The problem, concerning the exact order of decrease ofE(?_0, 2, _n, L_∞(−1, 1)), has been posed by S. N. Bernstein.     

On the completeness of the functions e−np(x) cos nx,e−np(x) sin nx for n ≥ 0 and p(x) a 2π periodic function

It is shown how a conjecture of G. B. Whitham on the completeness of the functions { ψ _n } = { e^?np(x) cos nx, e^?np(x) sin nx } in the interval [0, 2π] is indeed true provided p has a Hölder continuous first derivative, i.e., p ∈ C^{1, α}[0, 2π]. Also an elementary proof of Whitham's conjecture is given for p ∈ C^{2, α}[0, 2π].     

Gâteaux derivatives and their applications to approximation in Lorentz spaces Γp,w

We establish the formulas of the left‐ and right‐hand Gâteaux derivatives in the Lorentz spaces Γ_p,w = {f: ∫₀^α (f **)^p w < ∞}, where 1 ≤ p < ∞, w is a nonnegative locally integrable weight function and f ** is a maximal function of the decreasing rearrangement f * of a measurable function f on (0, α), 0 < α ≤ ∞. We also find a general form of any supporting functional for each function from Γ_p,w , and the necessary and sufficient conditions for which a spherical element of Γ_p,w is a smooth point of the unit ball in Γ_p,w . We show that strict convexity of the Lorentz spaces Γ_p,w is equivalent to 1 < p < ∞ and to the condition ∫₀^∞ w = ∞. Finally we apply the obtained characterizations to studies the best approximation elements for each function f ∈ Γ_p,w from any convex set K ? Γ_p,w (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Towards Practical Non-Interactive Public-Key Cryptosystems Using Non-Maximal Imaginary Quadratic Orders

We present a new non-interactive public-key distribution system based on the class group of a non-maximal imaginary quadratic order Cl( _p ). The main advantage of our system over earlier proposals based on (Z/nZ)* [25,27] is that embedding id information into group elements in a cyclic subgroup of the class group is easy (straight-forward embedding into prime ideals suffices) and secure, since the entire class group is cyclic with very high probability. Computational results demonstrate that a key generation center (KGC) with modest computational resources can set up a key distribution system using reasonably secure public system parameters. In order to compute discrete logarithms in the class group, the KGC needs to know the prime factorization of _p =₁ p ². We present an algorithm for computing discrete logarithms in Cl( _p ) by reducing the problem to computing discrete logarithms in Cl(₁) and either F* _p or F* _p ². Our algorithm is a specific case of the more general algorithm used in the setting of ray class groups [5]. We prove—for arbitrary non-maximal orders—that this reduction to discrete logarithms in the maximal order and a small number of finite fields has polynomial complexity if the factorization of the conductor is known.     

A boundedness result for twisted convolution

We consider twisted convolution operators with kernels having singularities on a sphere and having as Fourier transform the oscillatory symbol m_α(|ξ|) = |ξ|^–αe^i|ξ|, 0 ≤ ??α < 2n. We give integral representations for such operators and, as a principal result, we study L_p–L_q estimates for them.     

The old subvariety ofJ 0(pq) and the Eisenstein kernel in Jacobians

Whenp, q are distinct odd primes, and γ:J ₀(p)²×J ₀(q)²→J ₀(pq) is the natural map defined by the degeneracy maps, Ribet [10] determined the odd part of the kernel of γ. We study the 2-primary part of this kernel through its intersection with the Eisenstein kernelJ ₀(p)[I _p )²×J ₀(q)[I _q ]². We determine this intersection forp≢1 mod 16,q≢1 mod 16, and also produce new elements of ker γ wheneverp≡9 mod 16 orq≡9 mod 16. These sharpen Ribet's results in [10].     

Fonctions lipschitziennes et espaces de Sobolev fractionnaires

We consider a semigroup of Markovian and symmetric operators to which we associate fractional Sobolev spaces D^α_p (0 < α < 1 and 1 < p < ∞) defined as domains of fractional powers (−A_p)^α/2, where A_p is the generator of the semigroup in L^p. We show under rather general assumptions that Lipschitz continuous functions operate by composition on D^α_p if p ≥ 2. This holds in particular in the case of the Ornstein-Uhlenbeck semigroup on an abstract Wiener space.     

Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the Q-rational cuspidal subgroup and the component group ofJ 0(p r )

Forp≥3 a prime, we compute theQ-rational cuspidal subgroupC(p ^r ) of the JacobianJ ₀(p ^r ) of the modular curveX ₀(p ^r ). This result is then applied to determine the component group Φ _p ^r of the Néron model ofJ ₀(p ^r ) overZ _p . This extends results of Lorenzini [7]. We also study the action of the Atkin-Lehner involution on thep-primary part ofC(p ^r ), as well as the effect of degeneracy maps on the component groups.     

The <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Approximation Order of Surface Spline Interpolation for 1 \leq <Emphasis Type="Italic">p</Emphasis> \leq 2

We show that the L_p-approximation order of surface spline interpolation equals m+1/p for p in the range 1 \leq p \leq 2, where m is an integer parameter which specifies the surface spline. Previously it was known that this order was bounded below by m + &frac; and above by m+1/p. With h denoting the fill-distance between the interpolation points and the domain , we show specifically that the L_p()-norm of the error between f and its surface spline interpolant is O(h^{m + 1/p}) provided that f belongs to an appropriate Sobolev or Besov space and that \subset R^d is open, bounded, and has the C^2m-regularity property. We also show that the boundary effects (which cause the rate of convergence to be significantly worse than O(h^2m)) are confined to a boundary layer whose width is no larger than a constant multiple of h |log h|. Finally, we state numerical evidence which supports the conjecture that the L_p-approximation order of surface spline interpolation is m + 1/p for 2 < p \leq \infty.     

Small Data Scattering for the One-Dimensional Nonlinear Dirac Equation with Power Nonlinearity

We study scattering problems for the one-dimensional nonlinear Dirac equation (?_t + α?_x + iβ)Φ = λ|Φ|^p?1Φ. We prove that if p > 3 (resp. p > 3 + 1/6), then the wave operator (resp. the scattering operator) is well-defined on some 0-neighborhood of a weighted Sobolev space. In order to prove these results, we use linear operators D(t)xD(?t) and t?_x + x?_t ? α/2, where {D(t)}_t∈? is the free Dirac evolution group. For the reader's convenience, in an appendix we list and prove fundamental properties of D(t)xD(?t) and t?_x + x?_t ? α/2.     

Laplace-type exact asymptotic formulas for the Bogoliubov Gaussian measure

We obtain new asymptotic formulas for two classes of Laplace-type functional integrals with the Bogoliubov measure. The principal functionals are the L^p functionals with 0 < p < ∞ and two functionals of the exact-upper-bound type. In particular, we prove theorems on the Laplace-type asymptotic behavior for the moments of the L^p norm of the Bogoliubov Gaussian process when the moment order becomes infinitely large. We establish the existence of the threshold value p ₀ = 2+4π ² /β ² ω ₂ , where β > 0 is the inverse temperature and ω > 0 is the harmonic oscillator eigenfrequency. We prove that the asymptotic behavior under investigation differs for 0 < p < p ₀ and p > p ₀ . We obtain similar asymptotic results for large deviations for the Bogoliubov measure. We establish the scaling property of the Bogoliubov process, which allows reducing the number of independent parameters.     

Statistical Convergence of Order α for Difference Sequences

Abstract

In this paper the concepts of ?^m_v-statistical convergence of order α and strong (p, ?^m)-Ces`aro summability of order α are introduced for sequences of complex (or real) numbers. Some relations between the ?<sup>m</sup><sub>v</sub>-statistical convergence of order α and strong (p, ?<sup>m</sup><sub>v</sub>)-Ces`aro summability of order α are given. Also some relations between the space ω^α_p (?^m_v, f) and S^α (?^m_v) are examined.     

Oscillation and Nonoscillation for Second Order Linear Differential Equations

New oscillation and nonoscillation theorems are obtained for the second order linear differential equationu″ + p(t)u = 0, wherep(t) ∈ C[0, ∞) andp(t) ≥ 0. Conditions only about the integrals ofp(t) on every interval [2ⁿt₀, 2^{n + 1}t₀] (n = 1, 2,…) for some fixedt₀ > 0 are used in the results.     

Global solutions for superlinear parabolic equations involving the biharmonic operator for initial data with optimal slow decay

We are interested in stability/instability of the zero steady state of the superlinear parabolic equation u _t + Δ² u = |u| ^p-1 u in , where the exponent is considered in the “super-Fujita” range p > 1 + 4/n. We determine the corresponding limiting growth at infinity for the initial data giving rise to global bounded solutions. In the supercritical case p > (n + 4)/(n−4) this is related to the asymptotic behaviour of positive steady states, which the authors have recently studied. Moreover, it is shown that the solutions found for the parabolic problem decay to 0 at rate t ^−1/(p-1).     

Classes of interval graphs under expanding length restrictions

Let C(α) denote the finite interval graphs representable as intersection graphs of closed real intervals with lengths in [1, α]. The points of increase for C are the rational α ≥ 1. The set D(α) = [∩_β>αC(β)]\C(α) of graphs that appear as soon as we go past α is characterized up to isomorphism on the basis of finite sets E(α) of irreducible graphs for each rational α. With α = p/q and p and q relatively prime, ∣E(α)∣ is computed for all (p,q) with q ? 2 and p = q + 1. When q = 1, E(p) contains only the bipartite star K¹, p_+2. A lowr bound on ∣E(α)∣ is given for all rational α.     

Positivity and conditional positivity of Loewner matrices

We give elementary proofs of the fact that the Loewner matrices [\fracf(p_i) - f (p_j)p_i-p_j]{[\frac{f(p_i) - f (p_j)}{p_i-p_j}]} corresponding to the function f(t) = t ^r on (0, ∞) are positive semidefinite, conditionally negative definite, and conditionally positive definite, for r in [0, 1], [1, 2], and [2, 3], respectively. We show that in contrast to the interval (0, ∞) the Loewner matrices corresponding to an operator convex function on (−1, 1) need not be conditionally negative definite.