Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

Transformations preserving normality and Wishart-ness

Let R^n×p, (n), Gl(p) and ₊(p) denote respectively the set of n×p matrices, the set of n×n orthogonal matrices, the set of p×p nonsingular matrices and the set of p × p positive definite matrices. In this paper, it is first shown that a bijective and bimeasurable transformation (BBT) g on R^p≡R^p×1 preserving the multivariate normality of N_p(μ, Σ) for fixed μ=μ₁, μ₂ (μ₁≠μ₂) and for all Σ ₊(p) is of the form g(x)=Ax+b a.e. for some (A, b)Gl(p)×R^p. Second, a BBT g on R^n×p preserving the form for certain 's and all Σ ₊(p) is shown to be of the form g(x)=QxA+E a.e. for some (Q, A, E) (n)×Gl(p)×R^n×p. Third, a BBT h on ₊(p) preserving the Wishart-ness of W_p(Σ, m) (m≥p) for all Σ ₊(p) is shown to be of the form h(w)=A′wA a.e. for some AGl(p). Fourth, a BBT k(x, w)=(k₁(x, w), k₂(x, w)) on R^n×p× ₊(p) which preserves the form of for certain 's and all Σ ₊(p) is shown to be of the form k(x, w)=(QxA+E, A′wA) a.e. for some (Q, A, E) (n)×Gl(p)×R^n×p.     

On non–symmetric generalized schrodinger semigroup

In this paper some general phenomena are described for not necessarily systemeric so–called generalized Schrödinger semigroups (or generalized absorption/exciatation semigroups). These results are also applicable in case we consider Schrödinger semigroups on R ^v. In particular we describe some results on integral kernels: continuity, pointwise inequalities, ultracontractivity etc.For these inequalities we use a kind of stochastic bridge measure. The operator H is a closed linear extension of the operator H ⁰ + V in the space C ⁰(E) Here E is a locally compact second countable Hausdorff space and –H ₀ is supposed to generate a Feller semigroup in C ₀(E). Results in L^p (E,m) are also availale. Some examples are given     

Tangential Convergence of Temperatures and Harmonic Functions in Besov and in Triebel-Lizorkin Spaces

We study the maximal function Mf(x) = sup |f(x + y, t)| when Ω is a region in the (y,t) Ω upper half space R and f(x, t) is the harmonic extension to R₊^N+1 of a distribution in the Besov space B^α_p,q(R^N) or in the Triebel-Lizorkin space F^α_p,q(R^N). In particular, we prove that when Ω= {|_y|^{N/ (N-αp)} < t < 1} the operator M is bounded from F (R^N) into L^p (R^N). The admissible regions for the spaces B (R^N) with p < q are more complicated.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

On the enumeration of chains in regular chain-groups

Let N be a regular chain-group on E (see W. T. Tutte, Canad. J. Math.8 (1956), 13–28); for instance, N may be the group of integer flows or tensions of a directed graph with edge-set E). It is known that the number of proper Z_λ-chains of N (λ ∈ Z, λ ≥ 2) is given by a polynomial in λ, P(N, λ) (when N is the chain-group of integer tensions of the connected graph G, λP(N, λ) is the usual chromatic polynomial of G). We prove the formula: P(N, λ) = Σ_{[E′]∈O(N)⁺/～}Q(R_[E′](N), λ), where O(N)⁺ is the set of orientations of N with a proper positive chain, ～ is a simple equivalence relation on O(N)⁺ (sequence of reversals of positive primitive chains), and Q(R_[E′](N), λ) is the number of chains with values in [1, λ ? 1] in any reorientation of N associated to an element of [E′]. Moreover, each term Q(R_[E′](N), λ) is a polynomial in λ. As applications we obtain: P(N, 0) = (?1)^r(N)∥O(N)⁺/～∥; P(N, ?1) = (?1)^r(N)∥O(N)⁺∥ (a result first proved by Brylawski and Lucas); P(N, λ + 1) ≥ P(N, λ) for λ ≥ 2, λ ∈ Z. Our result can also be considered as a refinement of the following known fact: A regular chain-group N has a proper Z_λ-chain iff it has a proper chain in [?λ + 1, λ ? 1].     

Coherent Rings and Gorenstein FP-Injective Modules

In this article, Gorenstein FP-injective modules are introduced and investigated. A left R-module M is called Gorenstein FP-injective if there is an exact sequence … → E ₁ → E ₀ → E ⁰ → E ¹ → … of FP-injective left R-modules with M = ker(E ⁰ → E ¹) such that Hom _R (P, ?) leaves the sequence exact whenever P is a finitely presented left R-module with pd _R (P) < ∞. Some properties of Gorenstein FP-injective modules are obtained. Several well-known classes of rings are characterized in terms of Gorenstein FP-injective modules.     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

THREE NOTES ON NICE EXTENSION DOMAINS

The first note shows that the integral closure L′ of certain localities L over a local domain R are unmixed and analytically unramified, even when it is not assumed that R has these properties. The second note considers a separably generated extension domain B of a regular domain A, and a sufficient condition is given for a prime ideal p in A to be unramified with respect to B (that is, p B is an intersection of prime ideals and B/P is separably generated over A/p for all P ∈ Ass (B/p B)). Then, assuming that p satisfies this condition, a sufficient condition is given in order that all but finitely many q ∈ S = {q ∈ Spec(A), p ? q and height(q/p) = 1} are unramified with respect to B, and a form of the converse is also considered. The third note shows that if R′ is the integral closure of a semi-local domain R, then I(R) = ∩{R′ _p′ ;p′ ∈ Spec(R′) and altitude(R′/p′) = altitude(R′) ? 1} is a quasi-semi-local Krull domain such that: (a) height(N ^*) = altitude(R) for each maximal ideal N ^* in I(R); and, (b) I(R) is an H-domain (that is, altitude(I(R)/p ^*) = altitude(I(R)) ? 1 for all height one p ^* ∈ Spec(I(R))). Also, K = ∩{R _p ; p ∈ Spec(R) and altitude(R/p) = altitude(R) ? 1} is a quasi-semi-local H-domain such that height (N) = altitude(R) for all maximal ideals N in K.     

Sistemi parabolici del secondo ordine,non variazionali,a coefficienti discontinui

Riassunto Nel cilindroQ=Ω×(0,T) si considerano sistemi parabolici (E+ϖ/ϖt) di forma non variazionale e con coefficienti discontinui, e si dimostra un teorema di isomorfismoW ₀ ^p (Q)→L ^p (Q;R ^N ) e un teorema di regolarità locale negli spazi di Morrey.

---

Summary In the cylinderQ=Ω×(0, T) we consider parabolic systems (E+ϖ/ϖt), in non variational form and with discontinuous coefficients, and we prove an theorem of isomorphismW ₀ ^p (Q)→L ^p (Q;R ^N ) and an theorem of local regularity in the Morrey’s spaces.

---

---

Lavoro eseguito nell’ambito del gruppo G.N.A.F.A. del C.N.R.     

Conditions for Correct Solvability of a Simplest Singular Boundary Value Problem

We consider a boundary value problem where f(x) ∈ L_p(R), p ∈ [1,∞] (L_∞(R) ≔ C(R) and 0 ≤ q(x) ∈ L^loc₁( R). Boundary value problem (0.1) is called correctly solvable in the given space L_p(R) if for any f(x) ∈ L_p(R) there is a unique solution y(x) ∞ L_p(R) and the following inequality holds with absolute constant c(p) ∈ (0,∞). We find criteria for correct solvability of the problem (0.1) in L_p(R).     

A Rank Theorem of Operators between Banach Spaces

Suppose that E and F are two Banach spaces and that B(E, F) is the space of all bounded linear operators from E to F. Let T ₀∈B(E, F) with a generalized inverse T ₀ ⁺∈B(F, E). This paper shows that, for every T∈B(E, F) with ‖T ₀ ⁺ (T−T ₀)‖<1, B ≡ (I + T ₀ ⁺(T−T ₀))⁻¹ T ₀ ⁺ is a generalized inverse of T if and only if (I−T ₀ ⁺ T ₀)N(T) = N(T ₀), where N(·) stands for the null space of the operator inside the parenthesis. This result improves a useful theorem of Nashed and Cheng and further shows that a lemma given by Nashed and Cheng is valid in the case where T ₀ is a semi-Fredholm operator but not in general.     

A weak generalized localization of multiple Fourier series of continuous functions with a certain module of continuity

Let E be an arbitrary measurable set, E ⊂ T ^N = [−π, π)^N, N ≥ 1, μE > 0, and let μ be a measure. In this paper, a weak generalized almost everywhere localization is studied, i.e., for given subsets E ₁ ⊂ E, μE ₁ > 0 we study the almost everywhere convergence of multiple trigonometric Fourier series of functions that are zero on E. We obtain sufficient conditions for the almost everywhere convergence of multiple Fourier series (summable over rectangles) of functions from {ie031-01}, as δ → 0 on E ₁. These conditions are given in terms of the structure and geometry of the sets E ₁ and E and are related to certain orthogonal projections of the sets; they are called the {ie031-02} property of the set E. Previously, one of the authors had introduced the {ie031-03}, k = 1, 2, properties of the set E, which are related to one-dimensional and two-dimensional projections of the sets E and E ₁ respectively, as sufficient conditions for the almost everywhere convergence of Fourier series of functions from L ₁(T ^N ) and L _p (T ^N ), p > 1. The results presented generalize these ideas. __________ Translated from Sovremennaya Matematika. Fundamental'nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 25, Theory of Functions, 2007.     

ABSTRACT CAPACITY OF REGIONS AND COMPACT EMBEDDING WITH APPLICATIONS

The weighted Sobolev-Lions type spaces W pl,γ(Ω; E0, E) = W pl,γ(Ω; E) ∩ Lp,γ (Ω; E0) are studied, where E0, E are two Banach spaces and E0 is continuously and densely embedded on E. A new concept of capacity of region Ω∈ Rn in W pl,γ(; E0, E) is introduced. Several conditions in terms of capacity of region Ω and interpolations of E0 and E are found such that ensure the continuity and compactness of embedding operators. In particular, the most regular class of interpolation spaces Eα between E0 and E, depending of α and l, are found such that mixed differential operators Dα are bounded and compact from W pl,γ(Ω; E0, E) to Eα-valued Lp,γ spaces. In applications, the maximal regularity for differential-operator equations with parameters are studied.     

Multiresolution Approximations and Wavelet Bases of WeightedLpSpaces

We study boundedness and convergence on L ^p (R ⁿ ,d) of the projection operators P _j given by MRA structures with non-necessarily compactly supported scaling function. As a consequence, we prove that if w is a locally integrable function such that w ^-(1/p–1)(x) (1+|x|)^-N is integrable for some N > 0, then the Muckenhoupt A _p condition is necessary and sufficient for the associated wavelet system to be an unconditional basis for the weighted space L ^p (R ⁿ ,w(x) dx), 1 < p < .     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Compactness of Schrödinger semigroups with unbounded below potentials

By using the super Poincaré inequality of a Markov generator L₀ on L²(μ) over a σ-finite measure space (E,F,μ), the Schrödinger semigroup generated by L₀−V for a class of (unbounded below) potentials V is proved to be L²(μ)-compact provided μ(V?N)<∞ for all N>0. This condition is sharp at least in the context of countable Markov chains, and considerably improves known ones on, e.g., Rd under the condition that V(x)→∞ as |x|→∞. Concrete examples are provided to illustrate the main result.     

Efficiency of the polyphase merge and a related method

A sorting technique known as the polyphase merge is described. The notationE _n ^(p) is introduced for the effective power of the merge. It is defined for the maximal file that can be sorted withinn passes withp+1 available magnetic tape stations. Then the valueE ^(p)=lim _n E _n ^(p) is evaluated as a function ofp. UsingE ^(p) as a measure of efficiency the author discusses the polyphase merge comparing it with a merge technique which is essentially a combination of the polyphase and the balanced merge. To the author's knowledge this technique is new.     

Solutions of the Cheeger problem via torsion functions

The Cheeger problem for a bounded domain Ω⊂RN, N>1 consists in minimizing the quotients |∂E|/|E| among all smooth subdomains E⊂Ω and the Cheeger constant h(Ω) is the minimum of these quotients. Let be the p-torsion function, that is, the solution of torsional creep problem −Δp?p=1 in Ω, ?p=0 on ∂Ω, where Δpu:=div(|∇u|^p−2∇u) is the p-Laplacian operator, p>1. The paper emphasizes the connection between these problems. We prove that . Moreover, we deduce the relation limp→¹⁺‖?p_‖L¹(Ω)?CNlimp→¹⁺‖?p_‖L^∞(Ω) where CN is a constant depending only of N and h(Ω), explicitely given in the paper. An eigenfunction u∈BV(Ω)∩L^∞(Ω) of the Dirichlet 1-Laplacian is obtained as the strong L¹ limit, as p→¹⁺, of a subsequence of the family {?p/‖?p_‖L¹(Ω)}_p>1. Almost all t-level sets Et of u are Cheeger sets and our estimates of u on the Cheeger set |E₀| yield |B₁|hN(B₁)?|E₀|hN(Ω), where B₁ is the unit ball in RN. For Ω convex we obtain u=|E₀|⁻¹χE₀.