Best simultaneous approximation in L∞(μ, X)

Let Y be a reflexive subspace of the Banach space X, let (Ω, Σ, μ) be a finite measure space, and let L_∞(μ, X) be the Banach space of all essentially bounded μ ‐Bochner integrable functions on Ω with values in X, 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 ?ⁿ . We prove that L_∞(μ, Y) is N ‐simultaneously proximinal in L_∞(μ,X), and that if X is reflexive then L_∞(μ₀, X) is N ‐simultaneously proximinal in L_∞(μ, X) in the sense of Fathi, Hussein, and Khalil [3]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Orthogonality of matrices

Let X be a real finite-dimensional normed space with unit sphere S_X and let L(X) be the space of linear operators from X into itself. It is proved that X is an inner product space if and only if for A,C∈L(X)

     

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.     

On real-analytic recurrence relations for cardinal exponential B-splines

Let L_N+1 be a linear differential operator of order N+1 with constant coefficients and real eigenvalues λ₁,…,λ_N+1, let E(Λ_N+1) be the space of all C^∞-solutions of L_N+1 on the real line. We show that for N2 and n=2,…,N, there is a recurrence relation from suitable subspaces to involving real-analytic functions, and with if and only if contiguous eigenvalues are equally spaced.     

On holomorphic domination, I

Let X be a separable Banach space and u:X→R locally upper bounded. We show that there are a Banach space Z and a holomorphic function h:X→Z with u(x)<‖h(x)‖ for x∈X. As a consequence we find that the sheaf cohomology group Hq(X,O) vanishes if X has the bounded approximation property (i.e., X is a direct summand of a Banach space with a Schauder basis), O is the sheaf of germs of holomorphic functions on X, and q?1. As another consequence we prove that if f is a C¹-smooth -closed (0,1)-form on the space X=L₁[0,1] of summable functions, then there is a C¹-smooth function u on X with on X.     

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.     

Global solutions for operator Riccati equations with unbounded coefficients: A non-linear semigroup approach

Let X be a Banach space of real-valued functions on [0, 1] and let ?(X) be the space of bounded linear operators on X. We are interested in solutions R:(0, ∞) → ?(X) for the operator Riccati equation where T is an unbounded multiplication operator in X and the B_i(t)'s are bounded linear integral operators on X. This equation arises in transport theory as the result of an invariant embedding of the Boltzmann equation. Solutions which are of physical interest are those that take on values in the space of bounded linear operators on L¹(0, 1). Conditions on X, R(0), T, and the coefficients are found such that the theory of non-linear semigroups may be used to prove global existence of strong solutions in ?(X) that also satisfy R(t) ? ?(L¹(0,1)) for all t ≥ 0.     

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

Mosco convergence of Dirichlet forms in infinite dimensions with changing reference measures

Let E be an infinite-dimensional locally convex space, let {μ_n} be a weakly convergent sequence of probability measures on E, and let be a sequence of Dirichlet forms on E such that is defined on L²(μ_n). General sufficient conditions for Mosco convergence of the gradient Dirichlet forms are obtained. Applications to Gibbs states on a lattice and to the Gaussian case are given. Weak convergence of the associated processes is discussed.     

Interpolation of Intersections Generated by a Linear Functional

Let (X ₀, X ₁) be a Banach couple such that X ₀ ∩ X ₁ is dense in X ₀ and X ₁. By (X ₀, X ₁)_θ,q , 0 < θ < 1, 1 ⩽ q < ∞, we denote the spaces of the real interpolation method. Let ψ be a nonzero linear functional defined on some linear space M ⊂ X ₀ + X ₁ and such that ψ ∈ (X ₀ ∩ X ₁)*, and let N = Ker ψ. We examine conditions under which the natural formula

Absolute continuity of information channels

Let [X, v, Y] be an abstract information channel with the input X = (X, ) and the output Y = (Y, ) which are measurable spaces, and denote by L(Y) = L(Y, ) the Banach space of all bounded signed measures with finite total variation as norm. The channel distribution ν(·,·) is considered as a function defined on (X, ) and valued in L(Y). It will be proved that, if the measurable space (Y, ) is countably generated, then the is a strongly measurable function from X into L(Y) if and only if there exists a probability measure μ on (Y, ) which dominates every measure ν(x, ·) (x X). Furthermore, under this condition, the Radon-Nikodym derivative ν(x, dy)/μ(dy) is jointly measurable with respect to the product measure space (X, , m) (Y, , μ) where m is any but fixed probability measure of (X, ). As an application, it will be shown that the channel given as above is uniformly approximated by channels of Hibert-Schmidt type.     

The Jordan–von Neumann constants and fixed points for multivalued nonexpansive mappings

The purpose of this paper is to study the existence of fixed points for nonexpansive multivalued mappings in a particular class of Banach spaces. Furthermore, we demonstrate a relationship between the weakly convergent sequence coefficient WCS(X) and the Jordan–von Neumann constant C_NJ(X) of a Banach space X. Using this fact, we prove that if C_NJ(X) is less than an appropriate positive number, then every multivalued nonexpansive mapping has a fixed point where E is a nonempty weakly compact convex subset of a Banach space X, and KC(E) is the class of all nonempty compact convex subsets of E.     

Existence of maximal solutions

Let Ω be a plane bounded region. Let U = {U_μ(P):μ(P)εL∞(Ω), u_μ ε H²_{2, 0}(Ω) and a(P, μ(P))u_μ,xx + 2b(P, μ(P))u_μ,xy + c(P, μ(P))u_μ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L_∞(Ω × E¹), ƒ(P) ε L_p(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ₀ ε L_∞(Ω) such that u_μ0 (P) u_μ(P) for all P ε Ω and for each μ ε L_∞(Ω). Similar results are obtained for a difference equation and convergence is proved.     

A variational characterisation of spherical designs

In this paper we first establish a new variational characterisation of spherical designs: it is shown that a set , where , is a spherical L-design if and only if a certain non-negative quantity A_L,N(X_N) vanishes. By combining this result with a known “sampling theorem” for the sphere, we obtain the main result, which is that if is a stationary point set of A_L,N whose “mesh norm” satisfies h_XN<1/(L+1), then X_N is a spherical L-design. The latter result seems to open a pathway to the elusive problem of proving (for fixed d) the existence of a spherical L-design with a number of points N of order (L+1)^d. A numerical example with d=2 and L=19 suggests that computational minimisation of A_L,N can be a valuable tool for the discovery of new spherical designs for moderate and large values of L.     

Kuznietsov trace formula and weighted distribution of Hecke eigenvalues

Let (X,μ) be a measurable topological space. Let S₁,S₂,… be a family of finite subsets of X. Suppose each x∈S_i has a weight w_ix∈R⁺ assigned to it. We say {S_i} is {w_i}-distributed with respect to the measure μ if for any continuous function f on X, we have .Let S(N,k) be the space of modular cusp forms over Γ₀(N) of weight k and let be a basis which consists of Hecke eigenforms. Let a_r(h) be the rth Fourier coefficient of h. Let x_p^h be the eigenvalue of h relative to the normalized Hecke operator T′_p. Let ||·|| be the Petersson norm on S(N,k). In this paper we will show that for any even integer k?3, is -distributed with respect to a polynomial times the Sato-Tate measure when N→∞.     

Continuous extension operators and convexity

Given a nonempty closed subset A of a Hilbert space X, we denote by L(A) the space of all bounded Lipschitz mappings from A into X, equipped with the supremum norm. We show that there is a continuous mapping F_c:L(A)?L(X) such that for each g∈L(A), F_c(g)|_A=g, , and . We also prove that the corresponding set-valued extension operator is lower semicontinuous.     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .     

Right ideals generated by an idempotent of finite rank

Let R be a K-algebra acting densely on V_D, where K is a commutative ring with unity and V is a right vector space over a division K-algebra D. Let f(X₁,…,X_t) be an arbitrary and fixed polynomial over K in noncommuting indeterminates X₁,…,X_t with constant term 0 such that for some μK occurring in the coefficients of f(X₁,…,X_t). It is proved that a right ideal ρ of R is generated by an idempotent of finite rank if and only if the rank of f(x₁,…,x_t) is bounded above by a same natural number for all x₁,…,x_tρ. In this case, the rank of the idempotent that generates ρ is also explicitly given. The results are then applied to considering the triangularization of ρ and the irreducibility of f(ρ), where f(ρ) denotes the additive subgroup of R generated by the elements f(x₁,…,x_t) for x₁,…,x_tρ.     

Square functions and <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript> calculus on subspaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and on Hardy spaces

Let X be a (closed) subspace of L^p with 1≤p<∞, and let A be any sectorial operator on X. We consider associated square functions on X, of the form and we show that if A admits a bounded H^∞ functional calculus on X, then these square functions are equivalent to the original norm of X. Then we deduce a similar result when X=H¹(ℝ^N) is the usual Hardy space, for an appropriate choice of || ||_F. For example if N=1, the right choice is the sum for h ∈ H¹(ℝ), where H denotes the Hilbert transform.