Cone isomorphisms and almost surjective operators

Let E$E$ be a Banach lattice and F$F$ a Banach space. A bounded linear operator T:E→F$T:E\to F$ is an isomorphism on the positive cone of E$E$ if and only if T^∗$T^{\ast }$ is almost surjective. A dual version of this theorem holds also. A bounded linear operator T:F→E$T:F\to E$ is almost surjective if and only if T^∗$T^{\ast }$ is an isomorphism on the positive cone of F^∗$F^{\ast }$.     

Iterative approximation of solutions of nonlinear equations of Hammerstein type

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are Lipschitz ?$?$-strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. An iteration process recently introduced by Chidume and Zegeye is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

Two remarks on frequent hypercyclicity

We show that if T:X→X$T:X\to X$ is a continuous linear operator on an F$F$-space X≠{0}$X\ne \left\{0\right\}$, then the set of frequently hypercyclic vectors of T$T$ is of first category in X$X$, and this answers a question of A. Bonilla and K.-G. Grosse-Erdmann. We also show that if T:X→X$T:X\to X$ is a bounded linear operator on a Banach space X≠{0}$X\ne \left\{0\right\}$ and if T$T$ is frequently hypercyclic (or, more generally, syndetically transitive), then the T^∗$T^{\ast }$-orbit of every non-zero element of X^∗$X^{\ast }$ is bounded away from 0, and in particular T^∗$T^{\ast }$ is not hypercyclic.     

New fundamental relation of hyperrings

We prove that θ^∗${\theta }^{\ast }$ as previously defined [Int. J. Contemp. Math. Sci. 5 (2010) 721] is the smallest equivalence relation such that the quotient structure R/θ^∗$R/{\theta }^{\ast }$ is a commutative fundamental ring. We also investigate some properties with respect to the commutative fundamental relation θ^∗${\theta }^{\ast }$ on a hyperring R$R$.     

Approximation of solutions of Hammerstein equations with bounded strongly accretive nonlinear operators

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are bounded strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. A new explicit coupled iteration process is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

On rigidity of Roe algebras

Roe algebras are C^?$C^{?}$-algebras built using large scale (or ‘coarse’) aspects of a metric space (X,d)$(X,d)$. In the special case that X=Γ$X=\Gamma$ is a finitely generated group and d   is a word metric, the simplest Roe algebra associated to (Γ,d)$(\Gamma ,d)$ is isomorphic to the crossed product C^?$C^{?}$-algebra l^∞(Γ)_?rΓ$l^{\infty }(\Gamma ){?}_r\Gamma$.     

Large deviations of infinite intersections of events in Gaussian processes

Consider events of the form {_Zs≥ζ(s),s∈S}$\{Z_s\ge \zeta \left(s\right),s\in S\}$, where Z$Z$ is a continuous Gaussian process with stationary increments, ζ$\zeta$ is a function that belongs to the reproducing kernel Hilbert space R$R$ of process Z$Z$, and S⊂R$S\subset \mathbb{R}$ is compact. The main problem considered in this paper is identifying the function β^∗∈R${\beta }^{\ast }\in R$ satisfying β^∗(s)≥ζ(s)${\beta }^{\ast }\left(s\right)\ge \zeta \left(s\right)$ on S$S$ and having minimal R$R$-norm. The smoothness (mean square differentiability) of Z$Z$ turns out to have a crucial impact on the structure of the solution. As examples, we obtain the explicit solutions when ζ(s)=s$\zeta \left(s\right)=s$ for s∈[0,1]$s\in [0,1]$ and Z$Z$ is either a fractional Brownian motion or an integrated Ornstein–Uhlenbeck process.     

Unbounded order convergence in dual spaces

A net (_xα)$(x_{\alpha })$ in a vector lattice X   is said to be unbounded order convergent (or uo-convergent, for short) to x∈X$x\in X$ if the net (|_xα−x|∧y)$(|x_{\alpha }-x|\wedge y)$ converges to 0 in order for all y∈_X+$y\in X_{+}$. In this paper, we study unbounded order convergence in dual spaces of Banach lattices. Let X   be a Banach lattice. We prove that every norm bounded uo-convergent net in X^?$X^{?}$ is w^?$w^{?}$-convergent iff X   has order continuous norm, and that every w^?$w^{?}$-convergent net in X^?$X^{?}$ is uo-convergent iff X is atomic with order continuous norm. We also characterize among σ  -order complete Banach lattices the spaces in whose dual space every simultaneously uo- and w^?$w^{?}$-convergent sequence converges weakly/in norm.     

A new approach to fixed point theorems on G-metric spaces

In this paper, we introduce the metric d^G$d^G$ on a G  -metric space (X,G)$(X,G)$ and use this notion to show that many contraction conditions for maps on the G  -metric space (X,G)$(X,G)$ reduce to certain contraction conditions for maps on the metric space (X,d^G)$(X,d^G)$. As applications, the proofs of many fixed point theorems for maps on the G  -metric space (X,G)$(X,G)$ may be simplified, and many fixed point theorems for maps on the G  -metric space (X,G)$(X,G)$ are direct consequences of preceding results for maps on the metric space (X,d^G)$(X,d^G)$.     

Gaussian bounds for higher-order elliptic differential operators with Kato type potentials

Let P(D)$P(D)$ be a nonnegative homogeneous elliptic operator of order 2m   with real constant coefficients on Rⁿ${\mathbb{R}}^n$ and V   be a suitable real measurable function. In this paper, we are mainly devoted to establish the Gaussian upper bound for Schrödinger type semigroup e^−tH$e^{-tH}$ generated by H=P(D)+V$H=P(D)+V$ with Kato type perturbing potential V  , which naturally generalizes the classical result for Schrödinger semigroup e^−t(Δ+V)$e^{-t(\mathrm{\Delta }+V)}$ as V∈_K2(Rⁿ)$V\in K_2({\mathbb{R}}^n)$, the famous Kato potential class. Our proof significantly depends on the analyticity of the free semigroup e^−tP(D)$e^{-tP(D)}$ on L¹(Rⁿ)$L^1({\mathbb{R}}^n)$. As a consequence of the Gaussian upper bound, the L^p$L^p$-spectral independence of H is concluded.     

Hardy and uncertainty inequalities on stratified Lie groups

We prove various Hardy-type and uncertainty inequalities on a stratified Lie group G  . In particular, we show that the operators _Tα:f?|⋅|^−αL^−α/2f$T_{\alpha }:f?{|\cdot |}^{-\alpha }{L}^{-\alpha /2}f$, where |⋅|$|\cdot |$ is a homogeneous norm, 0<α<Q/p$0<\alpha <Q/p$, and L   is the sub-Laplacian, are bounded on the Lebesgue space L^p(G)$L^p(G)$. As consequences, we estimate the norms of these operators sufficiently precisely to be able to differentiate and prove a logarithmic uncertainty inequality. We also deduce a general version of the Heisenberg–Pauli–Weyl inequality, relating the L^p$L^p$ norm of a function f   to the L^q$L^q$ norm of |⋅|^βf${|\cdot |}^{\beta }f$ and the L^r$L^r$ norm of L^δ/2f$L^{\delta /2}f$.     

The Dirichlet problem for the fractional Laplacian: Regularity up to the boundary

We study the regularity up to the boundary of solutions to the Dirichlet problem for the fractional Laplacian. We prove that if u   is a solution of (−Δ)^su=g${(-\mathrm{\Delta })}^{s}u=g$ in Ω  , u≡0$u\equiv 0$ in Rⁿ\Ω${\mathbb{R}}^n\backslash \Omega$, for some s∈(0,1)$s\in (0,1)$ and g∈L^∞(Ω)$g\in L^{\infty }(\Omega )$, then u   is C^s(Rⁿ)$C^s({\mathbb{R}}^n)$ and u/δ^s_|Ω$u/{\delta }^s{|}_{\Omega }$ is C^α$C^{\alpha }$ up to the boundary ∂Ω   for some α∈(0,1)$\alpha \in (0,1)$, where δ(x)=dist(x,∂Ω)$\delta (x)=\mathrm{dist}(x,\partial \Omega )$. For this, we develop a fractional analog of the Krylov boundary Harnack method.     

Stable extendibility of vector bundles over real projective spaces

Let F$\mathbb{F}$ be either the real number field R$\mathbb{R}$ or the complex number field C$\mathbb{C}$ and RPⁿ${\mathbb{RP}}^n$ the real projective space of dimension n. Theorems A and C in Hemmi and Kobayashi (2008) [2] give necessary and sufficient conditions for a given F$\mathbb{F}$-vector bundle over RPⁿ${\mathbb{RP}}^n$ to be stably extendible to RP^m${\mathbb{RP}}^m$ for every m?n$m?n$. In this paper, we simplify the theorems and apply them to the tangent bundle of RPⁿ${\mathbb{RP}}^n$, its complexification, the normal bundle associated to an immersion of RPⁿ${\mathbb{RP}}^n$ in R^n+r${\mathbb{R}}^{n+r}$(r>0)$(r>0)$, and its complexification. Our result for the normal bundle is a generalization of Theorem A in Kobayashi et al. (2000) [8] and that for its complexification is a generalization of Theorem 1 in Kobayashi and Yoshida (2003) [5].     

On affine motions and universal rigidity of tensegrity frameworks

Recently, Alfakih and Ye (2013) [4] proved that if an r  -dimensional bar framework (G,p)$(G,p)$ on n?r+2$n?r+2$ nodes in general position in R^r${\mathbb{R}}^r$ admits a positive semidefinite stress matrix with rank n−r−1$n-r-1$, then (G,p)$(G,p)$ is universally rigid. In this paper, we generalize this result in two directions. First, we extend this result to tensegrity frameworks. Second, we replace the general position assumption by the weaker assumption that in configuration p, each point and its neighbors in G   affinely span R^r${\mathbb{R}}^r$.     

p-Laplacian boundary value problems on exterior regions

This paper treats some variational principles for solutions of inhomogeneous p  -Laplacian boundary value problems on exterior regions U?R^N$U?{\mathbb{R}}^N$ with dimension N?3$N?3$. Existence-uniqueness results when p∈(1,N)$p\in (1,N)$ are provided in a space E^1,p(U)$E^{1,p}(U)$ of functions that contains W^1,p(U)$W^{1,p}(U)$. Functions in E^1,p(U)$E^{1,p}(U)$ are required to decay at infinity in a measure theoretic sense. Various properties of this space are derived, including results about equivalent norms, traces and an L^p$L^p$-imbedding theorem. Also an existence result for a general variational problem of this type is obtained.