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 < ∞.     

Existence of three solutions for a class of elliptic eigenvalue problems

In this paper, we consider a problem of the type −Δu = λ(f(u) + μg(u)) in Ω, u¦∂Ω = 0, where Ω Rⁿ is an open-bounded set, f, g are continuous real functions on R, and λ, μ ε R. As an application of a new approach to nonlinear eigenvalues problems, we prove that, under suitable hypotheses, if ¦μ¦ is small enough, then there is some λ > 0 such that the above problem has at least three distinct weak solutions in W₀^1,2(Ω).     

The Pointwise Densities of the Cantor Measure

Let be the classical middle-third Cantor set and let μ be the Cantor measure. Set s = log 2/log 3. We will determine by an explicit formula for every point x the upper and lower s-densities Θ*^s(μ , x), Θ*^s(μ , x) of the Cantor measure at the point x, in terms of the 3-adic expansion of x. We show that there exists a countable set F such that 9(Θ*^s(μ , x))^{− 1/s} + (Θ*^s(μ , x))^{− 1/s} = 16 holds for x \F. Furthermore, for μ_C almost all x, Θ*^s(μ , X) − 2 · 4^{− s} and Θ*^s(μ , x) = 4^{− s}. As an application, we will show that the s-dimensional packing measure of the middle-third Cantor set is 4^s.     

Summability of orthogonal expansions of several variables

Summability of spherical h-harmonic expansions with respect to the weight function ∏_j=1^d |x_j|^2κ_j (κ_j0) on the unit sphere S^d−1 is studied. The main result characterizes the critical index of summability of the Cesàro (C,δ) means of the h-harmonic expansion; it is proved that the (C,δ) means of any continuous function converge uniformly in the norm of C(S^d−1) if and only if δ>(d−2)/2+∑_j=1^d κ_j−min_1jd κ_j. Moreover, it is shown that for each point not on the great circles defined by the intersection of the coordinate planes and S^d−1, the (C,δ) means of the h-harmonic expansion of a continuous function f converges pointwisely to f if δ>(d−2)/2. Similar results are established for the orthogonal expansions with respect to the weight functions ∏_j=1^d |x_j|^2κ_j(1−|x|²)^μ−1/2 on the unit ball B^d and ∏_j=1^d x_j^κ_j−1/2(1−|x|₁)^μ−1/2 on the simplex T^d. As a related result, the Cesàro summability of the generalized Gegenbauer expansions associated to the weight function |t|^2μ(1−t²)^λ−1/2 on [−1,1] is studied, which is of interest in itself.     

Commutators for Fourier multipliers on Besov Spaces

If T is any bounded linear operator on Besov spaces B_p^σ_j,q_j(Rⁿ)(j=0,1, and 0<σ₁<σ<σ₀), it is proved that the commutator [T,T_μ]=TT_μ−T_μT is bounded on B_p^σ,q(Rⁿ), if T_μ is a Fourier multiplier such that μ is any (possibly unbounded) symbol with uniformly bounded variation on dyadic coronas.     

Second-order linearity of the general signed-rank statistic

Let X₁,…, X_n be i.i.d. random variables symmetric about zero. Let R_i(t) be the rank of |X_i − tn^−1/2| among |X₁ − tn^−1/2|,…, |X_n − tn^−1/2| and T_n(t) = Σ_{i = 1}ⁿφ((n + 1)⁻¹R_i(t))sign(X_i − tn^−1/2). We show that there exists a sequence of random variables V_n such that sup_{0 ≤ t ≤ 1} |T_n(t) − T_n(0) − tV_n| → 0 in probability, as n → ∞. V_n is asymptotically normal.     

Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

Centres of Convex Sets inLMetrics

It is shown that for each convex bodyARⁿthere exists a naturally defined family _AC(Sⁿ⁻¹) such that for everyg _A, and every convex functionf: R→Rthe mappingy∫_Sⁿ⁻¹ f(g(x)−y, x) dσ(x) has a minimizer which belongs toA. As an application, approximation of convex bodies by balls with respect toL^pmetrics is discussed.     

X-inner automorphisms of enveloping rings

In this paper, we determine the X-inner automorphisms of the smash product R # U(L) of a prime ring R by the universal enveloping algebra U(L) of a characteristic 0 Lie algebra L. Specifically, we show that any such automorphism σ stabilizing R can be written as a product σ = σ₁σ₂, where σ₁ is induced by conjugation by a unit of Q₃(R), the symmetric Martindale ring of quotients of R, and σ₂ is induced by conjugation by a unit of Q₃(T). Here S = Q_l(R) is the left Martindale ring of quotients of R and T is the centralizer of S in S # U(L) - R # U(L). One of the subtleties of the proof is that we must work in several unrelated overrings of R # U(L).     

Transformations with Improved Chi-Squared Approximations

Suppose that a nonnegative statistic T is asymptotically distributed as a chi-squared distribution with f degrees of freedom, χ²_f, as a positive number n tends to infinity. Bartlett correction T was originally proposed so that its mean is coincident with the one of χ²_f up to the order O(n⁻¹). For log-likelihood ratio statistics, many authors have shown that the Bartlett corrections are asymptotically distributed as χ²_f up to O(n⁻¹), or with errors of terms of O(n⁻²). Bartlett-type corrections are an extension of Bartlett corrections to other statistics than log-likelihood ratio statistics. These corrections have been constructed by using their asymptotic expansions up to O(n⁻¹). The purpose of the present paper is to propose some monotone transformations so that the first two moments of transformed statistics are coincident with the ones of χ²_f up to O(n⁻¹). It may be noted that the proposed transformations can be applied to a wide class of statistics whether their asymptotic expansions are available or not. A numerical study of some test statistics that are not a log-likelihood ratio statistic is discribed. It is shown that the proposed transformations of these statistics give a larger improvement to the chi-squared approximation than do the Bartlett corrections. Further, it is seen that the proposed approximations are comparable with the approximation based on an Edgeworth expansion.     

Asymptotic distributions of regression and autoregression coefficients with martingale difference disturbances

In this paper a form of the Lindeberg condition appropriate for martingale differences is used to obtain asymptotic normality of statistics for regression and autoregression. The regression model is y_t = Bz_t + v_t. The unobserved error sequence {v_t} is a sequence of martingale differences with conditional covariance matrices {Σ_t} and satisfying sup_{t=1,…, n} {v′_tv_tI(v′_tv_t>a) |z_t, v_t−1, z_t−1, …} 0 as a → ∞. The sample covariance of the independent variables z₁, …, z_n, is assumed to have a probability limit M, constant and nonsingular; max_t=1,…,nz′_tz_t/n 0. If (1/n)Σ_t=1ⁿΣ_t Σ, constant, then √nvec( _n−B) N(0,M⁻¹Σ) and _n Σ. The autoregression model is x_t = Bx_{t − 1} + v_t with the maximum absolute value of the characteristic roots of B less than one, the above conditions on {v_t}, and (1/n)Σ_t=max(r,s)+1(Σ_tv_t−1−rv′_t−1−s) δ_rs(ΣΣ), where δ_rs is the Kronecker delta. Then √nvec( _n−B) N(0,Γ⁻¹Σ), where Γ = Σ_{s = 0}^∞B^sΣ(B′)^s.     

Compact causal data interpolation

Consider a Hilbert space equipped with a time-structure, i.e., a resolution E of the identity on defined on subsets of some linearly ordered set Λ. For which x and y in is it possible to find a causal (time respecting) compact operator T, so that Tx = y? When T is required to be a Hilbert-Schmidt operator and (Λ, E) is sufficiently regular, this question is answered in terms of the “time-densities” of x and y. The condition is that the integral ∝_gLμ_x({s t})⁻¹ dμ_y(t) should be finite, where μ_x and μ_y are the measures on Λ given by μ_x(Ω) = ¦|E(Ω)x¦|² and μ_y(Ω) = ¦|E(Ω)y¦|². Further a solution is given for the related problem of minimizing the sum of ¦|Tx − y¦|² and the squared Hilbert-Schmidt norm ¦|R¦|₂² of T.     

Existence and Regularity of a Class of Weak Solutions to the Navier–Stokes Equations

We construct a class of weak solutions to the Navier–Stokes equations, which have second order spatial derivatives and one order time derivatives, ofppower summability for 1 < p ≤ 5/4. Meanwhile, we show thatu L^s(0, T; W^{2, r}(Ω)) with 1/s + 3/2r = 2 for 1 < r ≤ 5/4.rcan be relaxed not to exceed 3/2 if we consider only in the interior of Ω. In the end, we extend the classical regularity theorem. Our results show thatuis a regular solution if u L^s(0, T; L^r(Ω)) with 1/s + 3/2r = 1 for Ω satisfying (1.3), with 1/s + 1/r = 5/6 for arbitrary domain inR³and 1 < s ≤ 2. For Ω = Rⁿwithn ≥ 3, this result was previously obtained byH. Beirão da Veiga (Chinese Ann. Math. Ser. B16, 1995, 407–412).     

Maximum likelihood estimation of a change-point in the distribution of independent random variables: General multiparameter case

In a sequence ofn independent random variables the pdf changes fromf(x, 0) tof(x, 0 + δv_n⁻¹) after the firstnλ variables. The problem is to estimateλ (0, 1 ), where 0 and δ are unknownd-dim parameters andv_n → ∞ slower thann^1/2. Let_n denote the maximum likelihood estimator (mle) ofλ. Analyzing the local behavior of the likelihood function near the true parameter values it is shown under regularity conditions that ifn_n²(− λ) is bounded in probability asn → ∞, then it converges in law to the timeT_(δjδ)^1/2 at which a two-sided Brownian motion (B.M.) with drift1/2(δ′Jδ)^1/2ton(−∞, ∞) attains its a.s. unique minimum, whereJ denotes the Fisher-information matrix. This generalizes the result for small change in mean of univariate normal random variables obtained by Bhattacharya and Brockwell (1976,Z. Warsch. Verw. Gebiete37, 51–75) who also derived the distribution ofT_μ forμ > 0. For the general case an alternative estimator is constructed by a three-step procedure which is shown to have the above asymptotic distribution. In the important case of multiparameter exponential families, the construction of this estimator is considerably simplified.     

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/μ.     

Coboundaries in

Let T be an ergodic automorphism of a probability space, f a bounded measurable function, . It is shown that the property that the probabilities μ(|S_n(f)|>n) are of order n^−p roughly corresponds to the existence of an approximation in L^∞ of f by functions (coboundaries) g−g○T, gL^p. Similarly, the probabilities μ(|S_n(f)|>n) are exponentially small iff f can be approximated by coboundaries g−g○T where g have finite exponential moments.

Résumé

Soit T un automorphisme ergodique d'un espace probabilisé, f une fonction bornée mesurable et . Une correspondance est établie entre l'existence de l'estimation des probabilités μ(|S_n(f)|>n) d'ordre n^−p et l'existence de l'approximation dans L^∞ de la fonction f par des cobords g−g○T où g est “presque” dans L^p. De manière similaire, les probabilités μ(|S_n(f)|>n) sont d'ordre e^−cn, pour un certain c>0, n=1,2… , si et seulement si f admet une approximation dans L^∞ par des cobords g−g○T avec g ayant des moments exponentiels.     

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.     

A Nonsymmetric Correlation Inequality for Gaussian Measure

Letμbe a Gaussian measure (say, onRⁿ) and letK,LRⁿbe such thatKis convex,Lis a “layer” (i.e.,L={x: ax, ub} for somea, bRanduRⁿ), and the centers of mass (with respect toμ) ofKandLcoincide. Thenμ(K∩L)μ(K)·μ(L). This is motivated by the well-known “positive correlation conjecture” for symmetric sets and a related inequality of Sidak concerning confidence regions for means of multivariate normal distributions. The proof uses the estimateΦ(x)> 1−((8/π)^1/2/(3x+(x²+8)^1/2))e^−x2/2,x>−1, for the (standard) Gaussian cumulative distribution function, which is sharper than the classical inequality of Komatsu.     

Nonexistence of backward self-similar blowup solutions to a supercritical semilinear heat equation

We consider a Cauchy problem for a semilinear heat equation

with p>p_S where p_S is the Sobolev exponent. If u(x,t)=(T−t)^−1/(p−1)φ((T−t)^−1/2x) for xR^N and t[0,T), where φ is a regular positive solution of

(P)

then u is called a backward self-similar blowup solution. It is immediate that (P) has a trivial positive solution κ≡(p−1)^−1/(p−1) for all p>1. Let p_L be the Lepin exponent. Lepin obtained a radial regular positive solution of (P) except κ for p_S<p<p_L. We show that there exist no radial regular positive solutions of (P) which are spatially inhomogeneous for p>p_L.     

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.