Logarithmic Estimates for the Density of Hypoelliptic Two-Parameter Diffusions

We consider a hypoelliptic two-parameter diffusion. We first prove a sharp upper bound in small time (s, t)[0, 1]² for the L^p-moments of the inverse of the Malliavin matrix of the diffusion process. Second, we establish the behaviour of2² log p_s, t(x, y), as ↓0, where x is the initial condition of the diffusion, = , and p_s, t(x, y) is the density of the hypoelliptic two-parameter diffusion.     

RELATIVE WIDTH OF SMOOTH CLASSES OF MULTIVARIATE PERIODIC FUNCTIONS WITH RESTRICTIONS ON ITERATED LAPLACE DERIVATIVES IN THE L2-METRIC

For two subsets W and V of a Banach space X, let Kn(W, V, X) denote the relative Kolmogorov n-width of W relative to V defined by Kn (W, V, X) := inf sup Ln f∈W g∈V∩Ln inf ‖f-g‖x,where the infimum is taken over all n-dimensional linear subspaces Ln of X. Let W2(△r) denote the class of 2w-periodic functions f with d-variables satisfying ∫[-π,π]d |△rf(x)|2dx ≤ 1,while △r is the r-iterate of Laplace operator △. This article discusses the relative Kolmogorov n-width of W2(△r) relative to W2(△r) in Lq([-r, πr]d) (1 ≤ q ≤∞), and obtain its weak asymptotic result.     

Estimates of Freud-Christoffel functions for some weights with the whole real line as support

Upper and lower bounds for generalized Christoffel functions, called Freud-Christoffel functions, are obtained. These have the form λ_n,p(W,j,x) = infPW_Lp(R)/|P^(j)(X)| where the infimum is taken over all polynomials P(x) of degree at most n − 1. The upper and lower bounds for λ_n,p(W,j,x) are obtained for all 0 < p ∞ and J = 0, 1, 2, 3,… for weights W(x) = exp(−Q(x)), where, among other things, Q(x) is bounded in [− A, A], and Q″ is continuous in β(−A, A) for some A > 0. For p = ∞, the lower bounds give a simple proof of local and global Markov-Bernstein inequalities. For p = 2, the results remove some restrictions on Q in Freud's work. The weights considered include W(x) = exp(− ¦x¦^α/2), α > 0, and W(x) = exp(− exp(¦x¦)), > 0.     

On the structure of biharmonic functions satisfying the clamped plate conditions on a right angle

Let u(r,θ) be biharmonic and bounded in the circular sector ¦θ¦ < π/4, 0 < r < ρ (ρ > 1) and vanish together with δu/δθ when ¦θ¦ = π/4. We consider the transform û(p,θ) = ∝₀¹r^{p − 1}u(r,θ)dr. We show that for any fixed θ₀ u(p,θ₀) is meromorphic with no real poles and cannot be entire unless u(r, θ₀) ≡ 0. It follows then from a theorem of Doetsch that u(r, θ₀) either vanishes identically or oscillates as r → 0.     

On the Orders of Nonlinear Approximations for Classes of Functions of Given Form

Suppose that Δ ₊ ^s is the set of functions x: I → ℝ on a finite interval I such that the divided differences [x; t ₀,..., t _s ] of order _s ∈ ℕ of these functions are nonnegative for all collections from (s +1) different points t ₀,..., t _s ∈ I. For all s ∈ ℕ and 1 ≤ p ≤ ∞, we establish exact orders of best approximations by splines with free nodes and rational functions in the metrics of L _p for classes , where B _p is the unit ball in L _p . We also establish the asymptotics of pseudodimensional widths in L _p of these classes of functions.__________Translated from Matematicheskie Zametki, vol. 78, no. 1, 2005, pp. 98–114.Original Russian Text Copyright © 2005 by V. N. Konovalov.     

Global existence and blow-up of solutionsfor a higher-order kirchhoff-type equation with nonlinear dissipation

This paper deals with the higher-order Kirchhoff-type equation with nonlinear dissipationu_tt+(∫_Ω׀D^mu׀²dx)^q(−Δ)^mu+u_t׀u_t׀^r=׀u׀^pu,xΩ,t>0,in a bounded domain, where m < 1 is a positive integer, q, p, r < 0 arepositive constants. We obtain that the solution exists globally if p ≤ r, while ifp > max r, 2q , then for any initial data with negative initial energy, the solution blowsup at finite time in L^p+2 norm.     

W(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension F_* of a function ƒ:E → R (i.e., the H^r,p-spline with knots in E) and studies the cone H_*E^r,p of all such splines. We study the problem of determining when F_* is in W^r,p ≡ H^r,p ∩ L^p. If F_* ε W^r,p, then F_* is called a W^r,p-spline, and we denote by W_*E^r,p the cone of all such splines. If E is quasiuniform, then F_* ε W^r,p if and only if {ƒ(t_i)}_tiεE ε l^p. The cone W_*E^r,p with E quasiuniform is shown to be homeomorphic to l^p. Similarly, H_*E^r,p is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size ¦ E ¦ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of ¦ E ¦ are derived.     

Asymptotic behaviour of nonlinear parabolic equations with critical exponents. A dynamical systems approach

We investigate the large-time behaviour of solutions to the nonlinear heat-conduction equation with absorption u_t = Δ(u^{σ + 1}) − u^β in Q = R^N × (0, ∞) (E) with N 1, σ > 0 and critical absorption exponent β = σ + 1 + 2/N; the initial function u(x, 0) = 0 is assumed to be integrable, nonnegative and compactly supported. We prove that u converges as t → ∞ to a unique self-similar function which is a contracted version of one of the asymptotic profiles of the nonabsorptive problem u_t = Δ(u^{σ + 1}), the same for any initial data. The cornerstone of the proof is a result about ω-limits of (infinite-dimensional) asymptotical dynamical systems. Combining this result with an asymptotic evaluation of the mass function as well as typical PDE estimates gives the behaviour of (E) for large times.Similar unusual asymptotic behaviour is obtained for the equation u_t = div(¦Du¦^σ Du) − u^β with same conditions on σ and u(x, 0) and critical value for β = σ + 1 + (σ + 2)/N.     

Sur l'approximation de fonctions intégrables sur [0, 1] par des polynômes de Bernstein modifies

We study here a new kind of modified Bernstein polynomial operators on L¹(0, 1) introduced by J. L. Durrmeyer in [4]. We define for f integrable on [0, 1] the modified Bernstein polynomial M_n f: M_nf(x) = (n + 1) ∑ⁿ_{k = o}P_nk(x)∝¹₀ P_nk(t) f(t) dt. If the derivative d^r f/dx^r with r 0 is continuous on [0, 1], d^r/dx^rM_n f converge uniformly on [0,1] and sup_xε[0,1] ¦M_n f(x) − f(x)¦ 2ω_f(1/trn) if ω_f is the modulus of continuity of f. If f is in Sobolev space W_l,p(0, 1) with l 0, p 1, M_n f converge to f in w^l,p(0, 1).     

On piecewise-polynomial approximation of functions with a bounded fractional derivative in an Lp-norm

We study the error in approximating functions with a bounded (r + α)th derivative in an L_p-norm. Here r is a nonnegative integer, α ε [0, 1), and ƒ^{(r + α)} is the classical fractional derivative, i.e., ƒ^{(r + α)}(y) = ∝₀¹, ^α d(ƒ^(r)(t)). We prove that, for any such function ƒ, there exists a piecewise-polynomial of degree s that interpolates ƒ at n equally spaced points and that approximates ƒ with an error (in sup-norm) ƒ^{(r + α)}_p O(n^{−(r+α−1/p}). We also prove that no algorithm based on n function and/or derivative values of ƒ has the error equal ƒ^{(r + α)}_p O(n^{−(r+α−1/p}) for any ƒ. This implies the optimality of piecewise-polynomial interpolation. These two results generalize well-known results on approximating functions with bounded rth derivative (α = 0). We stress that the piecewise-polynomial approximation does not depend on α nor on p. It does not depend on the exact value of r as well; what matters is an upper bound s on r, s r. Hence, even without knowing the actual regularity (r, α, and p) of ƒ, we can approximate the function ƒ with an error equal (modulo a constant) to the minimal worst case error when the regularity were known.     

Best Polynomial Approximations in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> and Widths of Some Classes of Functions

We obtain the exact values of extremal characteristics of a special form that connect the best polynomial approximations of functions f(x) ∈ L ₂ ^r (r ∈ ℤ₊) and expressions containing moduli of continuity of the kth order ω_k(f(^r), t). Using these exact values, we generalize the Taikov result for inequalities that connect the best polynomial approximations and moduli of continuity of functions from L ₂. For the classes (k, r, Ψ_*) defined by ω _k(f ^(r), t) and the majorant , we determine the exact values of different widths in the space L₂.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 11, pp. 1458–1466, November, 2004.     

Comonotone Jackson's Inequality

Let 2s points y_i=−πy_2s<…<y₁<π be given. Using these points, we define the points y_i for all integer indices i by the equality y_i=y_i+2s+2π. We shall write fΔ⁽¹⁾(Y) if f is a 2π-periodic continuous function and f does not decrease on [y_i, y_i−1], if i is odd; and f does not increase on [y_i, y_i−1], if i is even. In this article the following Theorem 1—the comonotone analogue of Jackson's inequality—is proved. 1. If fΔ⁽¹⁾(Y), then for each nonnegative integer n there is a trigonometric polynomial τ_n(x) of order n such that τ_nΔ⁽¹⁾(Y), and |f(x)−π_n(x)|c(s) ω(f; 1/(n+1)), x , where ω(f; t) is the modulus of continuity of f, c(s)=const. Depending only on s.     

Remarks Concerning Completeness of Translates in Function Spaces

This note explains how to translate the author's old result on cyclic vectors of the multiple shift operator into the language of completeness theorems for integer translates. This translation, together with those results, turns out to be a source for many completeness theorems. In particular, there follows the existence of functions f whose positive integer translates f(x−k), where k ₊ are complete in the spaces C^l₀( ), L^p( ), W^l_p( ), 2<p<∞, l=0, 1, …, as well as in their weighted and/or vector-valued analogues.     

On the Rate of Almost Everywhere Convergence of Certain Classical Integral Means

The main purpose of this article is to establish nearly optimal results concerning the rate of almost everywhere convergence of the Gauss–Weierstrass, Abel–Poisson, and Bochner–Riesz means of the one-dimensional Fourier integral. A typical result for these means is the following: If the function f belongs to the Besov spaceB^s_{p, p}, 1<p<∞, 0<s<1, thenT_mtf (x)−f(x)=o_x(t^s) a.e. ast→0+.     

Ridge Functions and Orthonormal Ridgelets

Orthonormal ridgelets provide an orthonormal basis for L²(R²) built from special angularly-integrated ridge functions. In this paper we explore the relationship between orthonormal ridgelets and true ridge functions r(x₁ cos θ+x₂ sin θ). We derive a formula for the ridgelet coefficients of a ridge function in terms of the 1-D wavelet coefficients of the ridge profile r(t). The formula shows that the ridgelet coefficients of a ridge function are heavily concentrated in ridge parameter space near the underlying scale, direction, and location of the ridge function. It also shows that the rearranged weighted ridgelet coefficients of a ridge function decay at essentially the same rate as the rearranged weighted 1-D wavelet coefficients of the 1-D ridge profile r(t). In short, the full ridgelet expansion of a ridge function is in a certain sense equally as sparse as the 1-D wavelet expansion of the ridge profile. It follows that partial ridgelet expansions can give good approximations to objects which are countable superpositions of well-behaved ridge functions. We study the nonlinear approximation operator which “kills” coefficients below certain thresholds (depending on angular- and ridge-scale); we show that for approximating objects which are countable superpositions of ridge functions with 1-D ridge profiles in the Besov space B^1/p_p, p(R), 0<p<1, the thresholded ridgelet approximation achieves optimal rates of N-term approximation. This implies that appropriate thresholding in the ridgelet basis is equally as good, for certain purposes, as an ideally-adapted N-term nonlinear ridge approximation, based on perfect choice of N-directions.     

A Kernel Estimator of a Conditional Quantile

Let (X₁, Y₁), (X₂, Y₂), …, be two-dimensional random vectors which are independent and distributed as (X, Y). For 0<p<1, letξ(px) be the conditionalpth quantile ofYgivenX=x; that is,ξ(px)=inf{y : P(YyX=x)p}. We consider the problem of estimatingξ(px) from the data (X₁, Y₁), (X₂, Y₂), …, (X_n, Y_n). In this paper, a new kernel estimator ofξ(px) is proposed. The asymptotic normality and a law of the iterated logarithm are obtained.     

Set-Indexed Conditional Empirical and Quantile Processes Based on Dependent Data

We consider a conditional empirical distribution of the form F_n(C x)=∑ⁿ_t=1 ω_n(X_t−x) I{Y_tC} indexed by C , where {(X_t, Y_t), t=1, …, n} are observations from a strictly stationary and strong mixing stochastic process, {ω_n(X_t−x)} are kernel weights, and is a class of sets. Under the assumption on the richness of the index class in terms of metric entropy with bracketing, we have established uniform convergence and asymptotic normality for F_n(· x). The key result specifies rates of convergences for the modulus of continuity of the conditional empirical process. The results are then applied to derive Bahadur–Kiefer type approximations for a generalized conditional quantile process which, in the case with independent observations, generalizes and improves earlier results. Potential applications in the areas of estimating level sets and testing for unimodality (or multimodality) of conditional distributions are discussed.     

On the asymptotic behaviour of a semigroup of linear operators

Let T = {T(t)}_{t ≥ 0} be a C₀-semigroup on a Banach space X. In this paper, we study the relations between the abscissa ω_Lp(T) of weak p-integrability of T (1 ≤ p < ∞), the abscissa ω^p_R(A) of p-boundedness of the resolvent of the generator A of T (1 ≤ p ≤ ∞), and the growth bounds ω_β(T), β ≥ 0, of T. Our main results are as follows.

1. (i) Let T be a C₀-semigroup on a B-convex Banach space such that the resolvent of its generator is uniformly bounded in the right half plane. Then ω_{1 − ε}(T) < 0 for some ε > 0.

2. (ii) Let T be a C₀-semigroup on L^p such that the resolvent of the generator is uniformly bounded in the right half plane. Then ω_β(T) < 0 for all β>¦1/p − 1/p′¦, 1/p + 1/p′ = 1.

3. (iii) Let 1 ≤ p ≤ 2 and let T be a weakly L^p-stable C₀-semigroup on a Banach space X. Then for all β>1/p we have ω_β(T) ≤ 0.

Further, we give sufficient conditions in terms of ω^q_R(A) for the existence of L^p-solutions and W^1,p-solutions (1 ≤ p ≤ ∞) of the abstract Cauchy problem for a general class of operators A on X.     

Where does smoothness count the most for Fredholm equations of the second kind with noisy information?

We study the complexity of Fredholm problems (I−T_k)u=f of the second kind on I^d=[0,1]^d, where T_k is an integral operator with kernel k. Previous work on the complexity of this problem has assumed either that we had complete information about k or that k and f had the same smoothness. In addition, most of this work has assumed that the information about k and f was exact. In this paper, we assume that k and f have different smoothness; more precisely, we assume that fW^r,p(I^d) with r>d/p and that kW^s,∞(I^2d) with s>0. In addition, we assume that our information about k and f is contaminated by noise. We find that the nth minimal error is Θ(n^−μ+δ), where μ=min{r/d,s/(2d)} and δ is a bound on the noise. We prove that a noisy modified finite element method has nearly minimal error. This algorithm can be efficiently implemented using multigrid techniques. We thus find tight bounds on the -complexity for this problem. These bounds depend on the cost c(δ) of calculating a δ-noisy information value. As an example, if the cost of a δ-noisy evaluation is proportional to δ^−t, then the -complexity is roughly (1/)^t+1/μ.     

A theory of entropy in Fourier analysis

This thesis deals with a certain set function called entropy and its ápplications to some problems in classical Fourier analysis. For a set S [0, 1/e] the entropy of S is defined by E(S) = inf_{SkIk,Ik intervals} Σ_k | I_k | log(1/|I_k|). We begin by using notions related to entropy in order to investigate the maximal operator M_Ω given by M_Ω(f)(x) = sup_r>0(1/rⁿ) ∫_{|t| ≤r} Ω(t) |f(x + t)| dt, f ε L¹(Rⁿ), where Ω is a positive function, homogeneous of degree 0, and satisfying a certain weak smoothness condition. Then the set function entropy is investigated, and certain of its properties are derived. We then apply these to solve various problems in differentiation theory and the theory of singular integrals, deriving in the process, entropic versions of the theorems of Hardy and Littlewood and Calderón and Zygmund.