Optimization of convex functions on w*-compact sets

We give a direct, self-contained, and iterative proof that for any convex, Lipschitz andw ^*-lower semicontinuous function ϕ defined on aw ^*-compact convex setC in a dual Banach spaceX ^* and for any ε>0 there is anx∈X, with ‖x‖≤ε, such that ϕ+x attains its supremum at an extreme point ofC. This result is implicitly contained in the work of Lindenstrauss [9] and the work of Ghoussoub and Maurey on strongw ^*−H _σ sets [8]. In addition, we discuss the applications of this result to the geometry of convex sets. Research supported in part by the NSERC of Canada under grant OGP41983 for the first author and grant OGP7926 for the second author.     

A random walk for the solution sought: Remarks on the difference scheme approach to nonlinear semigroups and evolution operators

In [2], Crandall and Evans show existence of mild solution to an abstract Cauchy Problem: u′(t)+Au(t)∋f(t), 0≤t≤T, u(0)=x₀, where A is an accretive operator in a general Banach space X and f ε L¹(0,T;X). Their method involves proving convergence in the L^∞-norm of a sequence of step function approximations α_n(σ, τ) to the solution of a first order partial differential equation. We consider a more general Cauchy Problem and show a.e. existence of mild solution by proving convergence of the step functions α_n(σ, τ) in the L¹-norm. Fundamental to the proof is a nonhomogeneous random walk in the plane.     

Projective bases of division algebras and groups of central type

Letk be a field. For each finite groupG and two-cocylef inZ ² (G, k ^x ) (with trivial action), one can form the twisted group algebra wherex _σ x _τ =f(σ,τ)x _στ for all σ, τ∃G. Our main result is a short list ofp-groups containing all thep-groupsG for which there is a fieldk and a cocycle such that the resulting twisted group algebra is ak-central division algebra. We also complete the proof (presented in all but one case in a previous paper by Aljadeff and Haile) that everyk-central division algebra that is a twisted group algebra is isomorphic to a tensor product of cyclic algebras.     

线性时滞微分方程稳定性分析和数值例子

§ 1　IntroductionFunctional differential equations have a wide range of applications in science andengineering.The simplestand perhapsmostnatural type of functional differential equationis a“delay differential equation”,that is,differential equation with dependence on the paststate.The simplest type of pastdependence is thatit is carried through the state variablebut not through its derivative.Then the equation can be expressed as delay differentialequations(DDEs) .There are also a number…     

Existence of solutions with turning points for nonlinear singularly perturbed boundary-value problems

We consider the following singularly perturbed boundary-value problem:

A functional characterization of certain mixed volumes

A function over the convex coneK{inn}, of convex bodiesK in Euclideann-space (where addition is vector addition, positive scalar multiplication is dilatation), which is linear overK{inn}, increasing with respect to set inclusion, and zero at point bodies must be a mixed volumeV(K; đ, p−1;σ ₁, …,σ _n−p). Heređ, takenp−1 times, is inK{inn} andσ ₁, …,σ _n−pare pairwise orthogonal unit segments spanning the orthogonal complement of the affine hull ofđ.     

The central connection problem at turning points of linear differential equations

A system of linear differential equations of the vectorial form εdy/dx=A (x, ε) y is considered, where ε is a positive parameter, and the matrixA (x, ε) is holomorphic in |x|⩽x ₀, 0 < ε ⩽ ε₀ , with an asymptotic expansionsA (x, ε) ∼ ∑ _r=0 ^∞ A _r (x) ε ^r , as ε→0. The eigenvalues ofA ₀(x) are supposed to coalesce atx=0 so as to make this point a simple turning point. With the help of refinements of the representations for the inner and outer asymptotic solutions, as ε→0, that were introduced in the articles [9] and [10] by the author (see the references at the end of the paper), explicit connection formulas between these solutions are calculated. As part of this derivation it is shown that only the diagonal entries of the connection matrix are asymptotically relevant.     

Testing Serial Correlation in Semiparametric Varying-Coefficient Partially Linear EV Models

This paper studies estimation and serial correlation test of a semiparametric varying-coefficient partially linear EV model of the form Y = X^Tβ ＋Z^Tα（T） ＋ε,ξ = X ＋ η with the identifying condition E[（ε,η^T）^T] =0, Cov[（ε,η^T）^T] = σ^2Ip＋1. The estimators of interested regression parameters /3 , and the model error variance σ2, as well as the nonparametric components α（T）, are constructed. Under some regular conditions, we show that the estimators of the unknown vector β and the unknown parameter σ2 are strongly consistent and asymptotically normal and that the estimator of α（T） achieves the optimal strong convergence rate of the usual nonparametric regression. Based on these estimators and asymptotic properties, we propose the VN,p test statistic and empirical log-likelihood ratio statistic for testing serial correlation in the model. The proposed statistics are shown to have asymptotic normal or chi-square distributions under the null hypothesis of no serial correlation. Some simulation studies are conducted to illustrate the finite sample performance of the proposed tests.     

Dynamics of non-expansive maps on strictly convex Banach spaces

This paper concerns the dynamics of non-expansive maps on strictly convex finite dimensional normed spaces. By using results of Edelstein and Lyubich, we show that if X = (ℝ ⁿ , ∥ · ∥) is strictly convex and X has no 1-complemented Euclidean plane, then every bounded orbit of a non-expansive map f: X → X, converges to a periodic orbit. By putting extra assumptions on the derivatives of the norm, we also show that the period of each periodic point of a non-expansive map f: X → X is the order, or, twice the order of a permutation on n letters. This last result generalizes a theorem of Sine, who proved it for ℓ _p ⁿ where 1 < p < ∞ and p ≠ 2. To obtain the results we analyze the ranges of non-expansive projections, the geometry of 1-complemented subspaces, and linear isometries on 1-complemented subspaces. B. Lemmens acknowledges the support by Marie Curie Intra European Fellowship (MEIF-CT-2005-515391) of the European Commission. O. van Gaans acknowlegdes the support by “Vidi subsidie” (639.032.510) of the Netherlands Organisation for Scientific Research (N.W.O.).     

Symmetric block bases of sequences with large average growth

We show that if 0<ε≦1, 1≦p<2 andx ₁, …,x _n is a sequence of unit vectors in a normed spaceX such thatE ‖∑ _l ⁿ ε_i x _l‖≧n ^1/p, then one can find a block basisy ₁, …,y _m ofx ₁, …,x _n which is (1+ε)-symmetric and has cardinality at leastγn ^2/p-1(logn)⁻¹, where γ depends on ε only. Two examples are given which show that this bound is close to being best possible. The first is a sequencex ₁, …,x _n satisfying the above conditions with no 2-symmetric block basis of cardinality exceeding 2n ^2/p-1. This sequence is not linearly independent. The second example is a sequence which satisfies a lowerp-estimate but which has no 2-symmetric block basis of cardinality exceedingCn ^2/p-1(logn)^4/3, whereC is an absolute constant. This applies when 1≦p≦3/2. Finally, we obtain improvements of the lower bound when the spaceX containing the sequence satisfies certain type-condition. These results extend results of Amir and Milman in [1] and [2]. We include an appendix giving a simple counterexample to a question about norm-attaining operators.     

On the exact non-null distribution of Wilks'L VC criterion and power studies

Letx ₁, x₂, ..., x_Nbep×1 random vectors distributed independently asN(u, Σ), Σ>0;u and Σ are unknown. In this paper, we derive the exact non-null distribution of Wilks' likelihood ratio criterion,L _VC, for testingH:∑=σ ²[(1−ρ)I+ρee′], σ>0 and ρ are unknown against the alternativeA≠H,e′=(1, 1, …, 1): 1×p. The distribution has been derived in three series forms: (1) a series of Meijer'sG-functions through Mellin transform, (2) an, alternate series using contour, intergration and (3) a series of chi square distributions. Powers have been computed based on these forms of the distribution forp=2 and 3.     

Almost continuous orbit equivalence for non-singular homeomorphisms

Let X and Y be Polish spaces with non-atomic Borel measures μ and ν of full support. Suppose that T and S are ergodic non-singular homeomorphisms of (X, μ) and (Y, ν) with continuous Radon-Nikodym derivatives. Suppose that either they are both of type III ₁ or that they are both of type III _λ, 0 < λ < 1 and, in the III _λ case, suppose in addition that both ‘topological asymptotic ranges’ (defined in the article) are log λ · ℤ. Then there exist invariant dense G _δ-subsets X′ ⊂ X and Y′ ⊂ Y of full measure and a non-singular homeomorphism ϕ: X′ → Y′ which is an orbit equivalence between T| _X′ and S| _Y′, that is ϕ{T ⁱ x} = {S ⁱ ϕx} for all x ∈ X′. Moreover, the Radon-Nikodym derivative dν ∘ ϕ/dμ is continuous on X′ and, letting S′ = ϕ ⁻¹ Sϕ, we have T _x = S′ ^n(x) x and S′x = T ^m(x) x where n and m are continuous on X′.     

Reconstruction of functions from their integrals over<Emphasis Type="Italic">k</Emphasis>-planes

Thek-plane Radon transform assigns to a functionsf(x) on ℝ ⁿ the collection of integralsf(τ)=∫ _τ f over allk-dimensional planesτ. We give a systematic treatment of two inversion methods for this transform, namely, the method of Riesz potentials, and the method of spherical means. We develop new analytic tools which allow to invertf(τ) under minimal assumptions forf. It is assumed thatfεL ^p , 1≤p<n/k, orf is a continuous function with minimal rate of decay at infinity. In the framework of the first method, our approach employs intertwining fractional integrals associated to thek-plane transform. Following the second method, we extend the original formula of Radon for continuous functions on ℝ² tofεL ^p (ℝ ⁿ ) and all 1≤k<n. New integral formulae and estimates, generalizing those of Fuglede and Solmon, are obtained. The work was supported in part by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

On the existence and stability of periodic and almost periodic solutions of quasilinear equations with maxima

We study the problem of existence of periodic and almost periodic solutions of the scalar equation x′ (t) = − δx(t) + pmax _{u∈[t − h, t]} x(u) + f(t) where δ, p ∈ R, with a periodic (almost periodic) perturbation f(t). For these solutions, we establish conditions of global exponential stability and prove uniqueness theorems. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 6, pp. 747–754, June, 1998.     

Second fundamental forms of holomorphic isometries of the Poincaré disk into bounded symmetric domains and their boundary behavior along the unit circle

Motivated by problems arising from Arithmetic Geometry, in an earlier article one of the authors studied germs of holomorphic isometries between bounded domains with respect to the Bergman metric. In the case of a germ of holomorphic isometry f: (Δ, λ ds _Δ²;0) → (Ω, ds _Ω²;0) of the Poincaré disk Δ into a bounded symmetric domain Ω ⋐ ℂ ^N in its Harish-Chandra realization and equipped with the Bergman metric, f extends to a proper holomorphic isometric embedding F: (Δ, λ ds _Δ²;) → (Ω, ds _Ω²) and Graph(f) extends to an affine-algebraic variety V ⊂ ℂ × ℂ ^N . Examples of F which are not totally geodesic have been constructed. They arise primarily from the p-th root map ρ _p : H → H ^p and a non-standard holomorphic embedding G from the upper half-plane to the Siegel upper half-plane H ₃ of genus 3. In the current article on the one hand we examine second fundamental forms σ of these known examples, by computing explicitly φ = |σ|². On the other hand we study on the theoretical side asymptotic properties of σ for arbitrary holomorphic isometries of the Poincaré disk into polydisks. For such mappings expressing via the inverse Cayley transform in terms of the Euclidean coordinate τ = s + it on the upper half-plane H, we have φ(τ) = t ² u(τ), where u| _t=0 ≢ 0. We show that u must satisfy the first order differential equation δu/δt| _t=0 ≡ 0 on the real axis outside a finite number of points at which u is singular. As a by-product of our method of proof we show that any non-standard holomorphic isometric embedding of the Poincaré disk into the polydisk must develop singularities along the boundary circle. The equation δu/δt| _t=0 ≡ 0 along the real axis for holomorphic isometries into polydisks distinguishes the latter maps from holomorphic isometries into Siegel upper half-planes arising from G. Towards the end of the article we formulate characterization problems for holomorphic isometries suggested both by the theoretical and the computational results of the article.     

Jacobson radical of skew polynomial rings and skew group rings

LetR be a ring and σ an automorphism ofR. We prove the following results: (i)J(R _σ[x])={Σ_ir_i x ⁱ:r₀∈I∩J(R]), r _i∈I for alliε 1} whereI↪ {r∈R:rx ∈J(R _Σ[x])|s= (ii)J(R _σ<x>)=(J(R _σ<x>)∩R)_σ<x>. As an application of the second result we prove that ifG is a solvable group such thatG andR, + have disjoint torsions thenJ(R)=0 impliesJ(R(G))=0.     

On the spectrum of the Dirichlet Laplacian in a narrow strip

We consider the Dirichlet Laplacian Δ_∈ in a family of bounded domains {−a < x < b, 0 < y < εh(x)}. The main assumption is that x = 0 is the only point of global maximum of the positive, continuous function h(x). We find the two-term asymptotics in ε → 0 of the eigenvalues and the one-term asymptotics of the corresponding eigenfunctions. The asymptotic formulas obtained involve the eigenvalues and eigenfunctions of an auxiliary ODE on ℝ that depends on the behavior of h(x) as x → 0. The proof is based on a detailed study of the resolvent of the operator Δ_∈.     

On the Oscillation of Second Order Neutral Differential Equations of Emden-Fowler Type

Some oscillation criteria are established by the averaging technique for the second order neutral delay differential equation of Emden-Fowler type where x(t) = y(t) + p(t)y(t − τ), τ, σ₁ and σ₂ are nonnegative constants, α > 0, β > 0, and a, p, q ₁, . The results of this paper extend and improve some known results. In particular, two interesting examples that point out the importance of our theorems are also included.     

The Density of Translates of Zonal Kernels on Compact Homogeneous Spaces

Compact manifolds embedded in Euclidean space which have a transitive group G of linear isometries, such as the spheres with the rotation group or the “flat” tori with the group of rotations in each coordinate direction, admit a natural notion of a continuous G-invariant kernel function k(x, y), which generalizes the idea of a radial or distance-dependent function on the spheres and tori. In connection with a study of quasi-interpolation on these spaces, we have reproved and extended results of Sun for the spheres to characterize those kernels for which the span of the translates, ∑ a_nk(x, y_n), is dense in the continuous functions. The essence of the characterization is that the integral operator with G-invariant kernel k(x, y) must be non-singular when restricted to the space of nth degree polynomial functions. This requires that the polynomials be invariant under all such linear operators, which is true for many compact homogeneous M including the spheres, tori, and others. In fact the non-singularity must hold only on any finite-dimensional space of zonal polynomials, those which are pointwise fixed by the subgroup of all isometries fixing a single point on M. In practical terms this later condition is verified by choosing one point on the manifold (the north pole on the spheres or the identity element on the flat tori), picking some basis for the polynomials of given degree which are fixed under the isometries leaving the pole invariant, and testing whether the integral operator (which leaves this space invariant) has a non-singular matrix. In all the cases considered, where the family of G-invariant kernels lead to commuting operator families, there are diagonalizing bases for this restricted operator, and the characterization becomes the non-vanishing of the appropriate Fourier-like coefficients.     

Stopping rules forx n/n and related problems

The following results illustrate the problems with which this note deals. Letx _n (n=1, 2, ...) be non-negative, independent, identically distributed random variables, letβ>1 andEx ₁ ^β <∞. Then there exists a stopping ruleτ withP{τ<∞}=1, which maximizesE x _t/t among all stopping rulest. Moreover, the same rule maximizesE max (x ₁, ...,x _t)/t andE max (x ₁,..,x _τ)/τ=Ex _τ/τ Research supported in part by Grant GP-5705 of the National Science Foundation, USA.