Well-posedness of equations with fractional derivative via the method of sum

We study the well-posedness of the equations with fractional derivative Dαu(t)=Au(t)+f(t)(0 ≤t≤2π),where A is a closed operator in a Banach space X,0α1 and Dα is the fractional derivative in the sense of Weyl.Although this problem is not always well-posed in Lp(0,2π;X) or periodic continuous function spaces Cper([0,2π];X),we show by using the method of sum that it is well-posed in some subspaces of L p(0,2π;X) or C per([0,2π];X).     

On the subspaces ofL p (p>2) spanned by sequences of independent random variables

Let 2<p<∞. The Banach space spanned by a sequence of independent random variables inL ^p , each of mean zero, is shown to be isomorphic tol ²,l ^p ,l ²⊕l ^p , or a new spaceX _p , and the linear topological properties ofX _p are investigated. It is proved thatX _p is isomorphic to a complemented subspace ofL ^p and another uncomplemented subspace ofL ^p , whence there exists an uncomplemented subspace ofl ^p isomorphic tol ^p . It is also proved thatX _p is not isomorphic to the previously knownℒ _p spaces. The work for this research was partially supported by the National Science Foundation GP-12997.     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

The Geometry of Relations

The classical way to study a finite poset (X, ≤ ) using topology is by means of the simplicial complex Δ _X of its nonempty chains. There is also an alternative approach, regarding X as a finite topological space. In this article we introduce new constructions for studying X topologically: inspired by a classical paper of Dowker (Ann Math 56:84–95, 1952), we define the simplicial complexes K _X and L _X associated to the relation ≤. In many cases these polyhedra have the same homotopy type as the order complex Δ _X . We give a complete characterization of the simplicial complexes that are the K or L-complexes of some finite poset and prove that K _X and L _X are topologically equivalent to the smaller complexes K′ _X , L′ _X induced by the relation <. More precisely, we prove that K _X (resp. L _X ) simplicially collapses to K′ _X (resp. L′ _X ). The paper concludes with a result that relates the K-complexes of two posets X, Y with closed relations R ⊂ X × Y.     

On the Hasse principle for Shimura curves

Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C has points everywhere locally but not globally. We show that our conjecture holds for all but finitely many Shimura curves of the form X ₀ ^D (N)_/ℚ or X ₁ ^D (N)_/ℚ, where D > 1 and N are coprime squarefree positive integers. The proof uses a variation on a theorem of Frey, a gonality bound of Abramovich, and an analysis of local points of small degree.     

l p n Superspaces of spans of independent random variables

We show that for 1 ≦p < ∞,p ≠ 2, ifɛ > 0 is small enough andX ≦L _p is the span ofn independent Rademacher functions orn independent Gaussian random variables, then any superspaceY ofX satisfyingd(Y,L _p ^m ) ≦ 1 +ɛ has dimension larger thanr ⁿ, wherer =r(ɛ, p) > 1. This forms part of the author’s doctoral dissertation prepared at Texas A&M University under the direction of Professor W. B. Johnson. Supported in part by NSF DMS-85 00764.     

Besov spaces andK-functionals inL p, 0<p<1*

We investigate Besov spaces and their connection with trigonometric polynomial approximation inL _p[−π,π], algebraic polynomial approximation inL _p[−1,1], algebraic polynomial approximation inL _p(S), and entire function of exponential type approximation inL _p(R), and characterizeK-functionals for certain pairs of function spaces including (L _p[−π,π],B _s ^a(L _p[−π,π])), (L _p(R),_s ^a(L_p(R))), , and , where 0<s≤∞, 0<p<1,S is a simple polytope and 0<α<r. This project is supported by the National Science Foundation of China.     

Code length between Markov processes

LetX ₁ andX ₂ be two mixing Markov shifts over finite alphabet. If the entropy ofX ₁ is strictly larger than the entropy ofX ₂, then there exists a finitary homomorphism ϕ:X ₁→X ₂ such that the code length is anL ^p random variable for allp<4/3. In particular, the expected length of the code ϕ is finite. Research supported by KBN grant 2 P03A 039 15 1998–2001.     

Boundedness criteria for singular integrals in weighted grand lebesgue spaces

Boundedness criteria for the Calderón singular integral, Riesz transform and Cauchy singular integral in generalized weighted grand Lebesgue spaces L ^p),θ _w , 1 < p < ∞, are studied. It is shown that an operator K of this type is bounded in L ^p),θ _w if and only if the weight w satisfies the Muckenhoupt A _p condition. Bibliography: 15 titles.     

Positive definite functions and stable random vectors

We say that a random vector X = (X ₁, …, X _n ) in ℝ ⁿ is an n-dimensional version of a random variable Y if, for any a ∈ ℝ ⁿ , the random variables Σa _i X _i and γ(a)Y are identically distributed, where γ: ℝ ⁿ → [0,∞) is called the standard of X. An old problem is to characterize those functions γ that can appear as the standard of an n-dimensional version. In this paper, we prove the conjecture of Lisitsky that every standard must be the norm of a space that embeds in L ₀. This result is almost optimal, as the norm of any finite-dimensional subspace of L _p with p ∈ (0, 2] is the standard of an n-dimensional version (p-stable random vector) by the classical result of P. Lèvy. An equivalent formulation is that if a function of the form f(‖ · ‖ _K ) is positive definite on ℝ ⁿ , where K is an origin symmetric star body in ℝ ⁿ and f: ℝ → ℝ is an even continuous function, then either the space (ℝ ⁿ , ‖·‖ _K ) embeds in L ₀ or f is a constant function. Combined with known facts about embedding in L ₀, this result leads to several generalizations of the solution of Schoenberg’s problem on positive definite functions.     

Triviality of the peripheral point spectrum

If T_t = e^Zt is a positive one-parameter contraction semigroup acting on l^p(X) where X is a countable set and 1 ≤ p < ∞, then the peripheral point spectrum P of Z cannot contain any non-zero elements. The same holds for Feller semigroups acting on L^p(X) if X is locally compact.     

Lattice-embedding scales ofL p spaces into orlicz spaces

We study the setP _X of scalarsp such thatL ^p is lattice-isomorphically embedded into a given rearrangement invariant (r.i.) function spaceX[0, 1]. Given 0<α≤β<∞, we construct a family of Orlicz function spacesX=L ^F [0, 1], with Boyd indicesα andβ, whose associated setsP _X are the closed intervals [γ, β], for everyγ withα≤γ≤β. In particular forα>2, this proves the existence of separable 2-convex r.i. function spaces on [0,1] containing isomorphically scales ofL ^p -spaces for different values ofp. We also show that, in general, the associated setP _X is not closed. Similar questions in the setting of Banach spaces with uncountable symmetric basis are also considered. Thus, we construct a family of Orlicz spaces ℓ ^F (I), with symmetric basis and indices fixed in advance, containing ℓ ^p (Γ-subspaces for differentp’s and uncountable Λ⊂I. In contrast with the behavior in the countable case (Lindenstrauss and Tzafriri [L-T₁]), we show that the set of scalarsp for which ℓ ^p (Γ) is isomorphic to a subspace of a given Orlicz space ℓ ^F (I) is not in general closed. Supported in part by DGICYT grant PB 94-0243.     

Some equivalence relations which are borel reducible to isomorphism between separable banach spaces

We prove that the relationE _K σ is Borel reducible to isomorphism and complemented biembeddability between subspaces ofc ₀ orl _p with 1≤p<2. We also show that the relationE _K σ ⊗=⁺ is Borel reducible to isomorphism, complemented biembeddability, and Lipschitz isomorphism between subspaces ofL _p for 1≤p<2. This author was supported by FAPESP Grant 2002/09662-1.     

On a Banach space approximable by Jacobi polynomials

Let X represent either the space C[-1,1] L _p ^(α,β) (w), 1 ≦ p < ∞ on [-1, 1]. Then Xare Banach spaces under the sup or the p norms, respectively. We prove that there exists a normalized Banach subspace X ¹ _αβ of Xsuch that every f ∈ X ¹ _αβ can be represented by a linear combination of Jacobi polynomials to any degree of accuracy. Our method to prove such an approximation problem is Fourier–Jacobi analysis based on the convergence of Fourier–Jacobi expansions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Exact and explicit analytic solutions of an extended Jabotinsky functional differential equation

A Banach space X will be called extensible if every operator E → X from a subspace E ⊂ X can be extended to an operator X → X. Denote by dens X. The smallest cardinal of a subset of X whose linear span is dense in X, the space X will be called automorphic when for every subspace E ⊂ X every into isomorphism T: E → X for which dens X/E = dens X/TE can be extended to an automorphism X → X. Lindenstrauss and Rosenthal proved that c ₀ is automorphic and conjectured that c ₀ and ℓ₂ are the only separable automorphic spaces. Moreover, they ask about the extensible or automorphic character of c ₀(Γ), for Γ uncountable. That c ₀(Γ) is extensible was proved by Johnson and Zippin, and we prove here that it is automorphic and that, moreover, every automorphic space is extensible while the converse fails. We then study the local structure of extensible spaces, showing in particular that an infinite dimensional extensible space cannot contain uniformly complemented copies of ℓ _n ^p , 1 ≤ p < ∞, p ≠ 2. We derive that infinite dimensional spaces such as L _p (μ), p ≠ 2, C(K) spaces not isomorphic to c ₀ for K metric compact, subspaces of c ₀ which are not isomorphic to c ₀, the Gurarij space, Tsirelson spaces or the Argyros-Deliyanni HI space cannot be automorphic. The work of the first author has been supported in part by project MTM2004-02635     

On isometric stability of complemented subspaces of L p

We show that the Rudin-Plotkin isometry extension theorem inL _pimplies that whenX andY are isometric subspaces ofL _pandp is not an even integer, 1≤p<∞, thenX is complemented inL _pif and only ifY is; moreover, the constants of complementation ofX andY are equal. We provide examples demonstrating that this fact fails whenp is an even integer larger than 2.     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

An extension of a result of ribe

It is proved that for every 1≦p<∞, 1≦q<∞ and for every sequence {p _n}, 1≦p _n<∞,p _n→p, the spaceX=(Σ⊕l _{p n}) _q (resp.U=(Σ⊕L _{p n}(0, 1)) _q ) is uniformly homeomorphic toX⊕l _p (resp.U⊕L _p(0, 1)). This extends Ribe’s result from the casep=1 to generalp<∞ and thus provides examples of uniformly convex, uniformly homeomorphic Banach spaces which are not Lipschitz equivalent.     

Analogues of the “zero-two” law for positive linear contractions inL p andC(X)

LetT be a positive linear contraction inL ^p (1≦p<∞), then we show that lim ‖T ^pf −T ⁿ⁺¹ f‖ _p ≦(1 − ε)2^1/p (f∈L _p ⁺ , ε>0 independent off) implies already lim_n n→∞ ‖T ⁿf −T ⁿ⁺¹ n+1f ‖_p p=0. Several other related results as well as uniform variants of these are also given. Finally some similar results inLsu/t8 andC(X) are shown.     

Compactness in Vector-valued Banach Function Spaces

We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces L_X^p, where X is a Banach space and 1≤ p<∞, and extend the result to vector-valued Banach function spaces E_X, where E is a Banach function space with order continuous norm. The author is supported by the ‘VIDI subsidie’ 639.032.201 in the ‘Vernieuwingsimpuls’ programme of the Netherlands Organization for Scientific Research (NWO) and by the Research Training Network HPRN-CT-2002-00281.