On constants in some inequalities for intermediate derivatives on a finite interval

Let L_q (1q<∞) be the space of functions f measurable on I=[−1,1] and integrable to the power q, with normL_∞ is the space of functions measurable on I with normWe denote by AC the set of all functions absolutely continuous on I. For nN, q[1,∞] we setW_n,q={f:f⁽ⁿ⁻¹⁾AC, f⁽ⁿ⁾L_q}.In this paper, we consider the problem of accuracy of constants A, B in the inequalities (1)|| f^(m)||_qA|| f||_p+B|| f^(m+k+1)||_r, mN, kW; p,q,r[1,∞], fW_m+k+1,r.     

Strong and uniform mean stability of cosine and sine operator functions

It is first observed that a uniformly bounded cosine operator function C() and the associated sine function S() are totally non-stable. Then, using a zero-one law for the Abel limit of a closed linear operator, we prove some results concerning strong mean stability and uniform mean stability of C(). Among them are: (1) C() is strongly (C,1)-mean stable (or (C,2)-mean stable, or Abel-mean stable) if and only if 0ρ(A)σ_c(A); (2) C() is uniformly (C,2)-mean stable if and only if S() is uniformly (C,1)-mean stable, if and only if , if and only if , if and only if C() is uniformly Abel-mean stable, if and only if S() is uniformly Abel-mean stable, if and only if 0ρ(A).     

Relative rearrangement and Lebesgue spaces with variable exponent

We apply the techniques of monotone and relative rearrangements to the nonrearrangement invariant spaces L^p()(Ω) with variable exponent. In particular, we show that the maps uL^p()(Ω)→k(t)u_*L^p_*()(0,measΩ) and uL^p()(Ω)→u_*L^p*()(0,measΩ) are locally -Hölderian (u_* (resp. p^*) is the decreasing (resp. increasing) rearrangement of u (resp. p)). The pointwise relations for the relative rearrangement are applied to derive the Sobolev embedding with eventually discontinuous exponents.     

Convergence of a Halpern-type iteration algorithm for a class of pseudo-contractive mappings

Let E be a real reflexive Banach space with uniformly Gâteaux differentiable norm. Let K be a nonempty bounded closed and convex subset of E. Let T:K→K be a strictly pseudo-contractive map and let L>0 denote its Lipschitz constant. Assume F(T){xK:Tx=x}≠0/ and let zF(T). Fix δ(0,1) and let δ^* be such that δ^*δL(0,1). Define , where δ_n(0,1) and limδ_n=0. Let {α_n} be a real sequence in (0,1) which satisfies the following conditions: . For arbitrary x₀,uK, define a sequence {x_n}K by x_n+1=α_nu+(1−α_n)S_nx_n. Then, {x_n} converges strongly to a fixed point of T.     

Existence results for -point boundary value problem of second order ordinary differential equations

This study concerns the existence of positive solutions to the boundary value problemwhere ξ_i(0,1) with 0<ξ₁<ξ₂<<ξ_n-2<1, a_i, b_i[0,∞) with and . By applying the Krasnoselskii's fixed-point theorem in Banach spaces, some sufficient conditions guaranteeing the existence of at least one positive solution or at least two positive solutions are established for the above general n-point boundary value problem.     

Cut points in metric spaces

In this note, we will define topological and virtual cut points of finite metric spaces and show that, though their definitions seem to look rather distinct, they actually coincide. More specifically, let X denote a finite set, and let denote a metric defined on X. The tight span T(D) of D consists of all maps for which f(x)=sup_yX(xy−f(x)) holds for all xX. Define a map fT(D) to be a topological cut point of D if T(D)−{f} is disconnected, and define it to be a virtual cut point of D if there exists a bipartition (or split) of the support of f into two non-empty sets A and B such that ab=f(a)+f(b) holds for all points aA and bB. It will be shown that, for any given metric D, topological and virtual cut points actually coincide, i.e., a map fT(D) is a topological cut point of D if and only if it is a virtual cut point of D.     

Gradient estimates of Poisson equations on Riemannian manifolds and applications

For the reflected diffusion generated by on a connected and complete Riemannian manifold M with empty or convex boundary, we establish some sharp estimates of sup_xM|G|(x) of the Poisson equation in terms of the dimension, the diameter and the lower bound of curvature. Applications to transportation-information inequality, to Cheeger's isoperimetric inequality and to Gaussian concentration inequality are given. Several examples are provided.     

On the similarity of dual operators

Let k be a field with an involution σ and a non-degenerate sesquilinear form, where V,W are n-dimensional k-spaces. Assume that ΛEnd(V) and Λ^*End(W) are dual operators. We show that if Λ and Λ^* are similar, then Λ^*=Λ^-1, where :V→W is Hermitian.     

On multipartite posets

A poset P=(X,) is m-partite if X has a partition X=X₁X_m such that (1) each X_i forms an antichain in P, and (2) xy implies xX_i and yX_j where i<j. In this article we derive a tight asymptotic upper bound on the order dimension of m-partite posets in terms of m and their bipartite sub-posets in a constructive and elementary way.     

A new kind of graph coloring

A proper k-coloring C¹,C²,…,C^k of a graph G is called strong if, for every vertex uV(G), there exists an index i{1,2,…,k} such that u is adjacent to every vertex of Cⁱ. We consider classes of strongly k-colorable graphs and show that the recognition problem of is NP-complete for every k4, but it is polynomial-time solvable for k=3. We give a characterization of in terms of forbidden induced subgraphs. Finally, we solve the problem of uniqueness of a strong 3-coloring.     

Equivalence relation groupoids associated with certain linearly ordered dimension groups

We consider linearly ordered, Archimedean dimension groups (G,G⁺,u) for which the group G/u is torsion-free. It will be shown that if, in addition, G/u is generated by a single element (i.e., ), then (G,G⁺,u) is isomorphic to for some irrational number τ(0,1). This amounts to an extension of related results where dimension groups for which G/u is torsion were considered. We will prove, in the case of the Fibonacci dimension group, that these results can be used to directly construct an equivalence relation groupoid whose C^*-algebra is the Fibonacci C^*-algebra.     

Conditions for a class of dimensional dual hyperovals to be of polar type

A d-dimensional dual hyperoval with monomial is of polar type if and only if d is even, Gal(GF(2^d+1)/GF(2)) and σ²=id_GF(2^d+1).     

Inner Functions and Cyclic Composition Operators on H(Bn)

The present paper shows that the algebra generated by {C|  Aut(B_n)} is cyclic on H²(B_n), and any nonconstant function f  H²(B_n) is a cyclic vector of . In addition, the hypercyclic and cyclic composition operators will be discussed.     

Arithmetic progressions consisting of unlike powers

In this paper we present some new results about unlike powers in arithmetic progression. We prove among other things that for given k 4 and L 3 there are only finitely many arithmetic progressions of the form with x_i , gcd(x₀, x_l) = 1 and 2 l_i L for i = 0, 1, …, k − 1. Furthermore, we show that, for L = 3, the progression (1, 1,…, 1) is the only such progression up to sign. Our proofs involve some well-known theorems of Faltings [9], Darmon and Granville [6] as well as Chabauty's method applied to superelliptic curves.     

The eigenvalue problem for the Laplacian equations

This article studies the Dirichlet eigenvalue problem for the Laplacian equations △u = -λu, x ∈Ω, u = 0, x ∈ (δ)Ω, where Ω (∩) Rn is a smooth bounded convex domain. By using the method of appropriate barrier function combined with the maximum principle, authors obtain a sharp lower bound of the difference of the first two eigenvalues for the Dirichlet eigenvalue problem. This study improves the result of S.T.Yau et al.     

A characterization of convex calibrable sets in with respect to anisotropic norms

A set is called “calibrable” if its characteristic function is an eigenvector of the subgradient of the total variation. The main purpose of this paper is to characterize the “-calibrability” of bounded convex sets in with respect to a norm (called anisotropy in the sequel) by the anisotropic mean -curvature of its boundary. It extends to the anisotropic and crystalline cases the known analogous results in the Euclidean case. As a by-product of our analysis we prove that any convex body C satisfying a -ball condition contains a convex -calibrable set K such that, for any V[|K|,|C|], the subset of C of volume V which minimizes the -perimeter is unique and convex. We also describe the anisotropic total variation flow with initial data the characteristic function of a bounded convex set.     

On universal cycles for multisets

A Universal Cycle for t-multisets of [n]={1,…,n} is a cyclic sequence of integers from [n] with the property that each t-multiset of [n] appears exactly once consecutively in the sequence. For such a sequence to exist it is necessary that n divides , and it is reasonable to conjecture that this condition is sufficient for large enough n in terms of t. We prove the conjecture completely for t{2,3} and partially for t{4,6}. These results also support a positive answer to a question of Knuth.     

Theorems about the attractor for incompressible non-Newtonian flow driven by external forces that are rapidly oscillating in time but have a smooth average

This paper discusses the incompressible non-Newtonian fluid with rapidly oscillating external forces g(x,t)=g(x,t,t/) possessing the average g⁰(x,t) as →0⁺, where 0<₀<1. Firstly, with assumptions (A₁)–(A₅) on the functions g(x,t,ξ) and g⁰(x,t), we prove that the Hausdorff distance between the uniform attractors and in space H, corresponding to the oscillating equations and the averaged equation, respectively, is less than O() as →0⁺. Then we establish that the Hausdorff distance between the uniform attractors and in space V is also less than O() as →0⁺. Finally, we show for each [0,₀].