Complete rank theorem of advanced calculus and singularities of bounded linear operators

Let E and F be Banach spaces, f: U ⊂ E → F be a map of C ^r (r ⩾ 1), x ₀ ∈ U, and ft (x ₀) denote the FréLechet differential of f at x ₀. Suppose that f′(x ₀) is double split, Rank(f′(x ₀)) = ∞, dimN(f′(_{x 0})) > 0 and codimR(f′(x ₀)) s> 0. The rank theorem in advanced calculus asks to answer what properties of f ensure that f(x) is conjugate to f′(x ₀) near x ₀. We have proved that the conclusion of the theorem is equivalent to one kind of singularities for bounded linear operators, i.e., x ₀ is a locally fine point for f′(x) or generalized regular point of f(x); so, a complete rank theorem in advanced calculus is established, i.e., a sufficient and necessary condition such that the conclusion of the theorem to be held is given.      

Embeddings ofC(Δ) andL 1[0, 1] in Banach lattices

It is proved that ifE is a separable Banach lattice withE′ weakly sequentially complete,F is a Banach space andT:E→F is a bounded linear operator withT′F′ non-separable, then there is a subspaceG ofE, isomorphic toC(Δ), such thatT _G is an isomorphism, whereC(Δ) denotes the space of continuous real valued functions on the Cantor discontinuum. This generalizes an earlier result of the second-named author. A number of conditions are proved equivalent for a Banach latticeE to contain a subspace order isomorphic toC(Δ). Among them are the following:L ¹ is lattice isomorphic to a sublattice ofE′;C(Δ)′ is lattice isomorphic to a sublattice ofE′; E contains an order bounded sequence with no weak Cauchy subsequence;E has a separable closed sublatticeF such thatF′ does not have a weak order unit. The research of both authors was partially supported by the National Science Foundation, NSF Grant No MPS 71-02839 A04.     

A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

An ergodic theorem on Banach lattices

E is a Banach lattice that is weakly sequentially complete and has a weak unitu. TLf _n=ϕ means that the infimum of |f _n−ϕ| andu converges strongly to zero.T is a positive contraction operator onE andA _n=(1/n)(I+T+...+T ⁿ⁻¹). Without an additional assumption onE, the “truncated limit” TLA _nf need not exist forf inE. This limit exists for eachf ifE satisfies the following additional assumption (C): For everyf inE ₊ and for every numberα>0, there is a numberβ=β(f, α) such that ifg is inE ₊, ‖g‖≦1, 0≦f′≦f and ‖f′‖>α then ‖f′+g‖≧‖g‖+β. Research of this author is partially supported by NSERC Grant A3974. Research of this author is partially supported by NSF Grant 8301619.     

On the range of the derivative of Gâteaux-smooth functions on separable banach spaces

We prove that there exists a Lipschitz function froml ¹ into ℝ² which is Gateaux-differentiable at every point and such that for everyx, y εl ¹, the norm off′(x) −f′(y) is bigger than 1. On the other hand, for every Lipschitz and Gateaux-differentiable function from an arbitrary Banach spaceX into ℝ and for everyε > 0, there always exist two pointsx, y εX such that ‖f′(x) −f′(y)‖ is less thanε. We also construct, in every infinite dimensional separable Banach space, a real valued functionf onX, which is Gateaux-differentiable at every point, has bounded non-empty support, and with the properties thatf′ is norm to weak* continuous andf′(X) has an isolated pointa, and that necessarilya ε 0. This work has been initiated while the second-named author was visiting the University of Bordeaux. The second-named author is supported by grant AV 1019003, A1 019 205, GA CR 201 01 1198.     

A result on the composition of distributions

LetF be a distribution and letf be a locally summable function. The distributionF(f) is defined as the neutrix limit of the sequenceF _n (f), whereF _n (x) = F(x) * δ _n (x) andδ _n (x) is a certain sequence of infinitely differentiable functions converging to the Dirac delta-functionδ(x). The distribution (x^r)^−s is valuated forr, s = 1,2, ….     

Existence of subgraph with orthogonal (g,f)-factorization

Simple graphs are considered. Let G be a graph andg(x) andf(x) integer-valued functions defined on V(G) withg(x)⩽f(x) for everyxɛV(G). For a subgraphH ofG and a factorizationF=|F ₁,F ₂,⃛,F ₁| ofG, if |E(H)∩E(F ₁)|=1,1⩽i⩽j, then we say thatF orthogonal toH. It is proved that for an (mg(x)+k,mf(x) -k)-graphG, there exists a subgraphR ofG such that for any subgraphH ofG with |E(H)|=k,R has a (g,f)-factorization orthogonal toH, where 1⩽k<m andg(x)⩾1 orf(x)⩾5 for everyxɛV(G). Project supported by the Chitia Postdoctoral Science Foundation and Chuang Xin Foundation of the Chinese Academy of Sciences.     

Nonvanishing derivatives and normal families

We consider the differential operators Ψ _k , defined by Ψ₁(y) =y and Ψ _k+1(y)=yΨ _k y+d/dz(Ψ _k (y)) fork ∈ ℕ fork∈ ℕ. We show that ifF is meromorphic in ℂ and Ψ _k F has no zeros for somek≥3, and if the residues at the simple poles ofF are not positive integers, thenF has the formF(z)=((k-1)z+a)/(z ²+β z+γ) orF(z)=1/(az+β) where α, β, γ ∈ ℂ. If the residues at the simple poles ofF are bounded away from zero, then this also holds fork=2. We further show that, under suitable additional conditions, a family of meromorphic functionsF is normal if each Ψ _k (F) has no zeros. These conditions are satisfied, in particular, if there exists δ>0 such that Re (Res(F, a)) <−δ for all polea of eachF in the family. Using the fact that Ψ _k (f ^′/f) =f ^(k)/f, we deduce in particular that iff andf ^(k) have no zeros for allf in some familyF of meromorphic functions, wherek≥2, then {f ^′/f :f ∈F} is normal. The first author is supported by the German-Israeli Foundation for Scientific Research and Development G.I.F., G-643-117.6/1999, and INTAS-99-00089. The second author thanks the DAAD for supporting a visit to Kiel in June–July 2002. Both authors thank Günter Frank for helpful discussions.     

On trigonometric series and primitive functions

It is proved that any measurable, finite function f(x) has a smooth primitive F(x), i.e. there is a function F(x) such that F′(x) = f(x) almost everywhere, and particularly ω(δ; F) = o(δ ln δ). This is an improvement of N. N. Luzin’s theorem which states just the continuity of the primitive F(x).     

Connexité des sous-niveaux des fonctionnelles intégrales

Let (T, ℐ, μ) be a σ-finite atomless measure space,p∈[1,∞),E a real Banach space andf a measurable function:E xT→ℝ. We denote byF the functionalF: and byDom(F) its domain, it is the set {uεL ^p(T,E):ū(t)=f(u),t)εL ¹(T)}, and we prove that the sublevelsS(λ)={u:F(u)≤λ} are all connected in the subspaceDom(F) of the Banach spaceL ^p(T, E).     

Packing,covering and decomposing of a complete uniform hypergraph into delta-systems

Anh-uniform hypergraph generated by a set of edges {E ₁,...,E _c} is said to be a delta-system Δ(p,h,c) if there is ap-element setF such that ∇F|=p andE _i⌢E _j=F,∀i≠j. The main result of this paper says that givenp, h andc, there isn ₀ such that forn≥n ₀ the set of edges of a completeh-uniform hypergraphK _n ^h can be partitioned into subsets generating isomorphic delta-systems Δ(p, h, c) if and only if . This result is derived from a more general theorem in which the maximum number of delta-systems Δ(p, h, c) that can be packed intoK _n ^h and the minimum number of delta-systems Δ(p, h, c) that can cover the edges ofK _n ^h are determined for largen. Moreover, we prove a theorem on partitioning of the edge set ofK _n ^h into subsets generating small but not necessarily isomorphic delta-systems.     

Invertibility and the fredholm property of difference operators

We obtain conditions for the invertibility and the Fredholm property of the difference operator (Dx)(n)=x(n) -U(n)x(n − 1),n ε ℤ, in the Banach space l _p (ℤ, X),p ε [1, ∞], of vector sequences, whereX is a Banach space andU is a bounded operator function. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 816–827, June, 2000.     

The approximation property for spaces of holomorphic functions on infinite-dimensional spaces I

For an open subset U of a locally convex space E, let (H(U),τ₀) denote the vector space of all holomorphic functions on U, with the compact-open topology. If E is a separable Fréchet space with the bounded approximation property, or if E is a (DFC)-space with the approximation property, we show that (H(U),τ₀) has the approximation property for every open subset U of E. These theorems extend classical results of Aron and Schottenloher. As applications of these approximation theorems we characterize the spectra of certain topological algebras of holomorphic mappings with values in a Banach algebra.     

A theorem on level lines of continuous functions

A property of a continuous functionf(x), x ∈ E ₂, similar to the classical intermediate value property is established. Namely, let a Jordan compactJ ⊂ E ₂ be the domain of definition off. Then, for each parametrizationx(t), 0≦t≦T,x(0)=x(T), of the boundary Fr(J) ofJ there exists a unique real λ and a unique connected component Φ of the level set {x ∈ J: f(x)=λ} with the following property: any connected subset Ω ofJ containing “opposite” points of Fr(J) (i.e. pointsx(t′) andx(t″) such thatt″−t′=T/2) has a common element with Φ.     

Growth and distortion theorems on subclasses of quasi-convex mappings in several complex variables

In this paper, the refining growth and covering theorems for f are established, where f is a quasi-convex mapping of order α and x = 0 is a zero of order k + 1 of f(x) − x. As an application, we obtain the upper and lower bounds on the distortion theorem of f(x) defined on the unit polydisc of ℂ ⁿ . The upper bound of the distortion theorem for f(x) defined on the unit ball of a complex Banach space is also given. Our results extend the growth and distortion theorems for convex functions of one complex variable to quasi-convex mappings of several complex variables.     

A Principle for Critical Point Under Generalized Regular Constraint and Ill-Posed Lagrange Multipliers Under Nonregular Constraints

In this article, a kind of nonregular constraint and a principle for seeking critical point under the constraint are presented, where no Lagrange multiplier is involved. Let E, F be two Banach spaces, g: E → F a c ¹ map defined on an open set U in E, and the constraint S = the preimage g ^?1(y ₀), y ₀ ∈ F. A main deference between the nonregular constraint and regular constraint is that g′(x) at any x ∈ S is not surjective. Recently, the critical point theory under the nonregular constraint is a concerned focus in optimization theory. The principle also suits the case of regular constraint. Coordinately, the generalized regular constraint is introduced and the critical point principle on generalized regular constraint is established. Let f: U → ? be a nonlinear functional. While the Lagrange multiplier L in classical critical point principle is considered, its expression is given by using generalized inverse g′⁺(x) of g′(x) as follows: if x ∈ S is a critical point of f| _S , then L = f′(x) ○ g′⁺(x) ∈ F*. Moreover, it is proved that if S is a regular constraint, then the Lagrange multiplier L is unique; otherwise, L is ill-posed. Hence, in case of the nonregular constraint, it is very difficult to solve Euler equations; however, it is often the case in optimization theory. So the principle here seems to be new and applicable. By the way, the following theorem is proved: if A ∈ B(E, F) is double split, then the set of all generalized inverses of A, GI(A) is smooth diffeomorphic to certain Banach space. This is a new and interesting result in generalized inverse analysis.     

On homomorphisms from the Hamming cube to Z

WriteF for the set of homomorphisms from {0, 1} ^d toZ which send0 to 0 (think of members ofF as labellings of {0, 1} ^d in which adjacent strings get labels differing by exactly 1), andF ₁ for those which take on exactlyi values. We give asymptotic formulae for |F| and |F|. In particular, we show that the probability that a uniformly chosen memberf ofF takes more than five values tends to 0 asd→∞. This settles a conjecture of J. Kahn. Previously, Kahn had shown that there is a constantb such thatf a.s. takes at mostb values. This in turn verified a conjecture of I. Benjaminiet al., that for eacht>0,f a.s. takes at mosttd values. Determining |F| is equivalent both to counting the number of rank functions on the Boolean lattice 2^[d] (functionsf: 2^[d]→N satisfyingf( ) andf(A)≤f(A∪x)≤f(A)+1 for allA∈2^[d] andx∈[d]) and to counting the number of proper 3-colourings of the discrete cube (i.e., the number of homomorphisms from {0, 1} ^d toK ₃, the complete graph on 3 vertices). Our proof uses the main lemma from Kahn’s proof of constant range, together with some combinatorial approximation techniques introduced by A. Sapozhenko. Research supported by a Graduate School Fellowship from Rutgers University.     

On Cesáro summability of fourier series with respect to double complete orthonormal systems

Let {ϕn(x), n = 1, 2,...} be an arbitrary complete orthonormal system on the interval I:= [0, 1]which consists of a.e. bounded functions. Suppose that E ₀ ⊂ I ² is any Lebesgue measurable set such that μ₂ E ₀ > 0, and φ, φ(0) = 0, is an increasing continuous function on [0, ∞) with φ(u) = o(u ln u) as u → ∞. Then there exist a function f ∈ L¹(I ²) and a set E ₀ ^′ , ⊂ E ₀, μ₂ E ₀ ^′ > 0, such that

Explosive solutions of elliptic equations with absorption and nonlinear gradient term

Letf be a non-decreasing C¹-function such that andF(t)/f ² a(t)→ 0 ast → ∞, whereF(t)=∫ ₀ ^t f(s) ds anda ∈ (0, 2]. We prove the existence of positive large solutions to the equationΔu +q(x)|Δu| ^a =p(x)f(u) in a smooth bounded domain Ω ⊂R^N, provided thatp, q are non-negative continuous functions so that any zero ofp is surrounded by a surface strictly included in Ω on whichp is positive. Under additional hypotheses onp we deduce the existence of solutions if Ω is unbounded.     

Containment of c<Subscript>0</Subscript> and ℓ<Subscript>1</Subscript> in π<Subscript>1</Subscript>(<Emphasis Type="Italic">E,F</Emphasis>)

Suppose π₁(E, F) is the space of all absolutely 1-summing operators between two Banach spacesE andF. We show that ifF has a copy of c₀, then π₁ (E, F) will have a copy of c₀, and under some conditions ifE has a copy of ℓ₁ then π₁ (E, F) would have a complemented copy of ℓ₁.