Special Uniform Approximations of Continuous Vector-Valued Functions. Part I: Special Approximations in CX(T)

In this paper, we give special uniform approximations of functions u from the spaces C_X(T) and C_∞(T,X), with elements of the tensor products C_Γ(T)X, respectively C₀(T,Γ)X, for a topological space T and a Γ-locally convex space X. We call an approximation special, if satisfies additional constraints, namely supp vu⁻¹(X\{0}) and (T) co(u(T)) (resp. co(u(T){0})). In Section 3, we give three distinct applications, which are due exactly to these constraints: a density result with respect to the inductive limit topology, a Tietze–Dugundji's type extension new theorem and a proof of Schauder–Tihonov's fixed point theorem.     

A discrete Korovkin theorem

In this paper we give a sufficient condition for the pointwise Korovkin property on B(X), the space of bounded real valued functions on an arbitrary countable set X = {x_l,…, x_j,…}. Our theorem follows from its L_p(X, μ) analogue (and conversely); here 1 p < ∞ and μ is a positive finite measure on X such that μ({x_j}) > 0 for all j.     

Multifunctions of faces for conditional expectations of selectors and Jensen's inequality

Let (T, , P) be a probability space, a P-complete sub-δ-algebra of and X a Banach space. Let multifunction t → Γ(t), t T, have a (X)-measurable graph and closed convex subsets of X for values. If x(t) ε Γ(t) P-a.e. and y(·) ε E_p x(·), then y(t) ε Γ(t) P-a.e. Conversely, x(t) ε F(Γ(t), y(t)) P-a.e., where F(Γ(t), y(t)) is the face of point y(t) in Γ(t). If X = , then the same holds true if Γ(t) is Borel and convex, only. These results imply, in particular, extensions of Jensen's inequality for conditional expectations of random convex functions and provide a complete characterization of the cases when the equality holds in the extended Jensen inequality.     

Best approximation in L(μ, X), II

The object of this paper is to prove the following theorem: If Y is a closed subspace of the Banach space X, then L¹(μ, Y) is proximinal in L¹(μ, X) if and only if L^p(μ, Y) is proximinal in L^p(μ, Y) for every p, 1 < p < ∞. As an application of this result we prove that if Y is either reflexive or Y is a separable proximinal dual space, then L¹(μ, Y) is proximinal in L¹(μ, X).     

On the approximate behavior of the posterior distribution for an extreme multivariate observation

The behavior of the posterior for a large observation is considered. Two basic situations are discussed; location vectors and natural parameters.Let X = (X₁, X₂, …, X_n) be an observation from a multivariate exponential distribution with that natural parameter Θ = (Θ₁, Θ₂, …, Θ_n). Let θ_x^* be the posterior mode. Sufficient conditions are presented for the distribution of Θ − θ_x^* given X = x to converge to a multivariate normal with mean vector 0 as |x| tends to infinity. These same conditions imply that E(Θ | X = x) − θ_x^* converges to the zero vector as |x| tends to infinity.The posterior for an observation X = (X₁, X₂, …, X_n is considered for a location vector Θ = (Θ₁, Θ₂, …, Θ_n) as x gets large along a path, γ, in Rⁿ. Sufficient conditions are given for the distribution of γ(t) − Θ given X = γ(t) to converge in law as t → ∞. Slightly stronger conditions ensure that γ(t) − E(Θ | X = γ(t)) converges to the mean of the limiting distribution.These basic results about the posterior mean are extended to cover other estimators. Loss functions which are convex functions of absolute error are considered. Let δ be a Bayes estimator for a loss function of this type. Generally, if the distribution of Θ − E(Θ | X = γ(t)) given X = γ(t) converges in law to a symmetric distribution as t → ∞, it is shown that δ(γ(t)) − E(Θ | X = γ(t)) → 0 as t → ∞.     

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(Ω).     

Interpretation of the Lavrentiev phenomenon by relaxation

We consider functionals of the calculus of variations of the form F(u)= ∝₀¹ f(x, u, u′) dx defined for u ε W^1,∞(0, 1), and we show that the relaxed functional with respect to weak W^1,1(0, 1) convergence can be written as

Full-size image

, where the additional term L(u), called the Lavrentiev term, is explicitly identified in terms of F.     

Limit distributions and one-parameter groups of linear operators on Banach spaces

Let = {U_t: t > 0} be a strongly continuous one-parameter group of operators on a Banach space X and Q be any subset of a set (X) of all probability measures on X. By (Q; ) we denote the class of all limit measures of {U_tn(μ₁ * μ₂*…*μ_n)*δ_xn}, where {μ_n}Q, {x_n}X and measures U_tnμ_j (j=1, 2,…, n; N=1, 2,…) form an infinitesimal triangular array. We define classes L_m( ) as follows: L₀( )= ( (X); ), L_m( )= (L_m−1( ); ) for m=1, 2,… and L_∞( )=_m=0^∞L_m( ). These classes are analogous to those defined earlier by Urbanik on the real line. Probability distributions from L_m( ), m=0, 1, 2,…, ∞, are described in terms of their characteristic functionals and their generalized Poisson exponents and Gaussian covariance operators.     

Global nonparametric estimation of conditional quantile functions and their derivatives

Let (X, Y) be a random vector such that X is d-dimensional, Y is real valued, and θ(X) is the conditional αth quantile of Y given X, where α is a fixed number such that 0 < α < 1. Assume that θ is a smooth function with order of smoothness p > 0, and set r = (p − m)/(2p + d), where m is a nonnegative integer smaller than p. Let T(θ) denote a derivative of θ of order m. It is proved that there exists estimate of T(θ), based on a set of i.i.d. observations (X₁, Y₁), …, (X_n, Y_n), that achieves the optimal nonparametric rate of convergence n^−r in L_q-norms (1 ≤ q < ∞) restricted to compacts under appropriate regularity conditions. Further, it has been shown that there exists estimate of T(θ) that achieves the optimal rate (n/log n)^−r in L_∞-norm restricted to compacts.     

Best simultaneous approximation in

Let X be a Banach space, (Ω,Σ,μ) a finite measure space, and L₁(μ,X) the Banach space of X-valued Bochner μ-integrable functions defined on Ω endowed with its usual norm. Let us suppose that Σ₀ is a sub-σ-algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in . It is shown that if X is reflexive then L₁(μ₀,X) is N-simultaneously proximinal in L₁(μ,X) in the sense of Fathi et al. [Best simultaneous approximation in L^p(I,E), J. Approx. Theory 116 (2002), 369–379]. Some examples and remarks related with N-simultaneous proximinality are also given.     

Pointwise Best Approximation in the Space of Strongly Measurable Functions with Applications to Best Approximation in L(μ,X)

The object of this paper is to prove the following theorem: Let Y be a closed subspace of the Banach space X, (S,Σ,μ) a σ-finite measure space, L(S,Y) (respectively, L(S, X)) the space of all strongly measurable functions from S to Y (respectively, X), and p a positive number. Then L(S,Y) is pointwise proximinal in L(S,X) if and only if L^p(μ,Y) is proximinal in L^p(μ,X). As an application of the theorem stated above, we prove that if Y is a separable closed subspace of the Banach space X, p is a positive number, then L^p(μ,Y) is proximinal in L^p(μ,X) if and only if Y is proximinal in X. Finally, several other interesting results on pointwise best approximation are also obtained.     

Rates for approximation of unbounded functions by positive linear operators

Let g_a(t) and g_b(t) be two positive, strictly convex and continuously differentiable functions on an interval (a, b) (−∞ a < b ∞), and let {L_n} be a sequence of linear positive operators, each with domain containing 1, t, g_a(t), and g_b(t). If L_n(ƒ; x) converges to ƒ(x) uniformly on a compact subset of (a, b) for the test functions ƒ(t) = 1, t, g_a(t), g_b(t), then so does every ƒ ε C(a, b) satisfying ƒ(t) = O(g_a(t)) (t → a⁺) and ƒ(t) = O(g_b(t)) (t → b⁻). We estimate the convergence rate of L_nƒ in terms of the rates for the test functions and the moduli of continuity of ƒ and ƒ′.     

A Schrödinger singular perturbation problem

Consider the equation −ε²Δu_ε + q(x)u_ε = f(u_ε) in , u(∞) < ∞, ε = const > 0. Under what assumptions on q(x) and f(u) can one prove that the solution u_ε exists and lim_ε→0u_ε = u(x), where u(x) solves the limiting problem q(x)u = f(u)? These are the questions discussed in the paper.     

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.     

On the increments of the local time of a Wiener sheet

{W(x, y), x≥0, y≥0} be a Wiener process and let η(u, (x, y)) be its local time. The continuity of η in (x, y) is investigated, i.e., an upper estimate of the process η(μ, [x, x + α) × [y, y + β)) is given when αβ is small.     

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.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

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.     

An explicit extension formula of bounded holomorphic functions from analytic varieties to strictly convex domains

We consider a strictly convex domain D ⁿ and m holomorphic functions, φ₁,…, φ_m, in a domain . We set V = {z ε Ω: φ₁(z) = ··· = φ_m(z) = 0}, M = V ∩ D and ∂M = V ∩ ∂D. Under the assumptions that the variety V has no singular point on ∂M and that V meets ∂D transversally we construct an explicit kernel K(ζ, z) defined for ζ ε ∂M and z ε D so that the integral operator Ef(z) = ∝ _{ζ ε ∂M} f(ζ) K(ζ, z) (z ε D), defined for f ε H^∞(M) (using the boundary values f(ζ) for a.e. ζ ε ∂M), is an extension operator, i.e., Ef(z) = f(z) for z ε M and furthermore E is a bounded operator from H^∞ to H^∞(D).     

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.